+000+011+022+033+044+055+066+077+088+099+101+112+123+134+145+156+167+178+189+19c10+202+213+224+235+246+257+268+279+28c10+29c11+303+314+325+336+347+358+369+37c10+38c11+39c12+404+415+426+437+448+459+46c10+47c11+48c12+49c13+505+516+527+538+549+55c10+56c11+57c12+58c13+59c14+606+617+628+639+64c10+65c11+66c12+67c13+68c14+69c15+707+718+729+73c10+74c11+75c12+76c13+77c14+78c15+79c16+808+819+82c10+83c11+84c12+85c13+86c14+87c15+88c16+89c17+909+91c10+92c11+93c12+94c13+95c14+96c15+97c16+98c17+99c18+xcyzcy+xz+cxyzcx+yzc0xxcxcyzc+xyz2.1+19c10+28c10+29c11+37c10+38c11+39c12+46c10+47c11+48c12+49c13+55c10+56c11+57c12+58c13+59c14+64c10+65c11+66c12+67c13+68c14+69c15+73c10+74c11+75c12+76c13+77c14+78c15+79c16+82c10+83c11+84c12+85c13+86c14+87c15+88c16+89c17+91c10+92c11+93c12+94c13+95c14+96c15+97c16+98c17+99c18+xcyzcy+xz+xcyz+xz+cxyzcx+yz+cxyz+yzcxcyzc+xyzcxcyz+xytrue+xcyzcy+xzcxcyzc+xyzcxcyz+xy+xcyz+xz+cxyzcx+yz+cxyz+yztrue123456789101112131415161718192021222324252627282930313233343536373839404142434445+200c2001+21112c211112c21112+211112000100200301401500600701801901+xcyzcy+xzcxcyzc+xyz+cxyzcx+yz+xcyzcy+xzfalse2+cxyzcx+yzfalse1cxcyzc+xyztruec2201c21c211112+21001100200301400500601700801900+19c10false+28c10false+29c11false+37c10false+38c11false+39c12false+46c10false+47c11false+48c12false+49c13false+55c10false+56c11false+57c12false+58c13false+59c14false+64c10false+65c11false+66c12false+67c13false+68c14false+69c15false+73c10false+74c11false+75c12false+76c13false+77c14false+78c15false+79c16false+82c10false+83c11false+84c12false+85c13false+86c14false+87c15false+88c16false+89c17false+91c10false+92c11false+93c12false+94c13false+95c14false+96c15false+97c16false+98c17false+99c18false
AProVE
3d3b40ebf1f1cc0cfb76e51606fb79299fd7ea19 rene 20120105 unpublished dirty
http://aprove.informatik.rwth-aachen.de/
John
Doe