all:
	pdflatex aiger1
