c0xxcxcyzc+xyz+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+yz*000*010*020*030*040*050*060*070*080*090*100*111*122*133*144*155*166*177*188*199*200*212*224*236*248*25c10*26c12*27c14*28c16*29c18*300*313*326*339*34c12*35c15*36c18*37c21*38c24*39c27*400*414*428*43c12*44c16*45c20*46c24*47c28*48c32*49c36*500*515*52c10*53c15*54c20*55c25*56c30*57c35*58c40*59c45*600*616*62c12*63c18*64c24*65c30*66c36*67c42*68c48*69c54*700*717*72c14*73c21*74c28*75c35*76c42*77c49*78c56*79c63*800*818*82c18*83c24*84c32*85c40*86c48*87c56*88c64*89c72*900*919*92c18*93c27*94c36*95c45*96c54*97c63*98c72*99c81*xcyzc*xy*xz*cxyzc*xz*yz2.0cxcyzc+xyzcxcyz+xy+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+yz*25c10*26c12*27c14*28c16*29c18*34c12*35c15*36c18*37c21*38c24*39c27*43c12*44c16*45c20*46c24*47c28*48c32*49c36*52c10*53c15*54c20*55c25*56c30*57c35*58c40*59c45*62c12*63c18*64c24*65c30*66c36*67c42*68c48*69c54*72c14*73c21*74c28*75c35*76c42*77c49*78c56*79c63*82c18*83c24*84c32*85c40*86c48*87c56*88c64*89c72*92c18*93c27*94c36*95c45*96c54*97c63*98c72*99c81*xcyzc*xy*xz*xcyz*xy*xcyz*xz*cxyzc*xz*yz*cxyz*xz*cxyz*yztrue*xcyz*xz*xcyz*xy*cxyz*xz*cxyz*yztrue1234567891011121314151617181920212223242526272829303132333435363738394041424344454647484950515253545556575859606162636465666768697071727374757677787980818283848586878889909192939495969798991001011021031041051061*21122c22122*xcyz*xz*xcyz*xy*cxyz*xz*cxyz*yz1*23112c232122*25c10false60616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105*26c12false5960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104*27c14false585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103*28c16false57585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102*29c18false5657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101*34c12false555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100*35c15false54555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899*36c18false53545556575859606162636465666768697071727374757677787980818283848586878889909192939495969798*37c21false52535455565758596061626364656667686970717273747576777879808182838485868788899091929394959697*38c24false51525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596*39c27false50515253545556575859606162636465666768697071727374757677787980818283848586878889909192939495*43c12false49505152535455565758596061626364656667686970717273747576777879808182838485868788899091929394*44c16false48495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293*45c20false47484950515253545556575859606162636465666768697071727374757677787980818283848586878889909192*46c24false46474849505152535455565758596061626364656667686970717273747576777879808182838485868788899091*47c28false45464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990*48c32false44454647484950515253545556575859606162636465666768697071727374757677787980818283848586878889*49c36false43444546474849505152535455565758596061626364656667686970717273747576777879808182838485868788*52c10false42434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687*53c15false41424344454647484950515253545556575859606162636465666768697071727374757677787980818283848586*54c20false40414243444546474849505152535455565758596061626364656667686970717273747576777879808182838485*55c25false39404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384*56c30false38394041424344454647484950515253545556575859606162636465666768697071727374757677787980818283*57c35false37383940414243444546474849505152535455565758596061626364656667686970717273747576777879808182*58c40false36373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081*59c45false35363738394041424344454647484950515253545556575859606162636465666768697071727374757677787980*62c12false34353637383940414243444546474849505152535455565758596061626364656667686970717273747576777879*63c18false33343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778*64c24false32333435363738394041424344454647484950515253545556575859606162636465666768697071727374757677*65c30false31323334353637383940414243444546474849505152535455565758596061626364656667686970717273747576*66c36false30313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475*67c42false29303132333435363738394041424344454647484950515253545556575859606162636465666768697071727374*68c48false28293031323334353637383940414243444546474849505152535455565758596061626364656667686970717273*69c54false27282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172*72c14false26272829303132333435363738394041424344454647484950515253545556575859606162636465666768697071*73c21false25262728293031323334353637383940414243444546474849505152535455565758596061626364656667686970*74c28false24252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869*75c35false23242526272829303132333435363738394041424344454647484950515253545556575859606162636465666768*76c42false22232425262728293031323334353637383940414243444546474849505152535455565758596061626364656667*77c49false21222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566*78c56false20212223242526272829303132333435363738394041424344454647484950515253545556575859606162636465*79c63false19202122232425262728293031323334353637383940414243444546474849505152535455565758596061626364*82c18false18192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263*83c24false17181920212223242526272829303132333435363738394041424344454647484950515253545556575859606162*84c32false16171819202122232425262728293031323334353637383940414243444546474849505152535455565758596061*85c40false15161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960*86c48false14151617181920212223242526272829303132333435363738394041424344454647484950515253545556575859*87c56false13141516171819202122232425262728293031323334353637383940414243444546474849505152535455565758*88c64false12131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657*89c72false11121314151617181920212223242526272829303132333435363738394041424344454647484950515253545556*92c18false10111213141516171819202122232425262728293031323334353637383940414243444546474849505152535455*93c27false9101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354*94c36false891011121314151617181920212223242526272829303132333435363738394041424344454647484950515253*95c45false78910111213141516171819202122232425262728293031323334353637383940414243444546474849505152*96c54false6789101112131415161718192021222324252627282930313233343536373839404142434445464748495051*97c63false567891011121314151617181920212223242526272829303132333435363738394041424344454647484950*98c72false45678910111213141516171819202122232425262728293031323334353637383940414243444546474849*99c81false3456789101112131415161718192021222324252627282930313233343536373839404142434445464748*xcyzc*xy*xzfalse234567891011121314151617181920212223242526272829303132333435363738394041424344454647*cxyzc*xz*yzfalse12345678910111213141516171819202122232425262728293031323334353637383940414243444546cxcyz+xy+xcyzcy+xzcxcyzc+xyz+xcyz+xz+cxyzcx+yz+cxyz+yztrue1234567891011121314151617181920212223242526272829303132333435363738394041424344451c211112c211112+211112+211112000100200300400500600700800900+xcyzcy+xzcxcyzc+xyz+cxyzcx+yz+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+yzcxcyzc+xyzc0xx+xcyzcy+xzfalse2+cxyzcx+yzfalse1cxcyzc+xyztrue1c212c211112+20000100200300400500600700800900+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
20cf63ea9f01bf40524adf2af9b95e39102e7dab rene 20110328 unpublished dirty
http://aprove.informatik.rwth-aachen.de/
John
Doe