012x10211x1231x13421x10120x100211x10120x102110x10121x102111x10124x140211x10125x102511x10125x104215x10131x100311x10131x1302111x10141x140111x10145x104115x10201x100241x10531x1503111x10532x103425x12320x122130x12452x121425x13012x134021x14432x143421x14531x135441x14531x143151x14532x134254x14532x135421x101022x1002142x101031x1034011x101451x1402511x101501x1001551x102313x1034213x104152x1042511x105132x1302115x105204x1042504x105315x1503415x105325x1043525x120131x1114302x120135x1251103x120153x1211305x123101x1032115x123141x1342511x123512x1232151x130120x1340210x132010x1321500x132351x1334215x135313x1354313x140331x1034311x144325x1342415x145052x1042155x145231x1534321x145252x1425521x145351x1455431x12.0012x10211x1012x1211x1231x13421x1231x1421x1231x121x10120x100211x10120x10211x10120x1211x10120x102110x10120x12110x10121x102111x10121x12111x10124x140211x10124x10211x10124x1211x10125x102511x10125x12511x10125x104215x10125x14215x10125x1215x10131x100311x10131x10311x10131x1311x10131x1302111x10131x102111x10131x12111x10141x140111x10141x10111x10145x104115x10145x14115x10201x100241x10201x10241x10201x1241x10201x141x10531x103111x10531x13111x10532x103425x10532x13425x10532x1425x10532x125x12320x122130x12320x12130x12320x130x12452x121425x12452x1425x12452x125x13012x134021x13012x14021x13012x1021x13012x121x14432x143421x14432x13421x14432x1421x14432x121x14531x135441x14531x1441x14531x141x14531x143151x14531x13151x14532x134254x14532x14254x14532x1254x14532x14x14532x135421x14532x1421x14532x121x101022x1002142x101022x102142x101022x12142x101022x142x101031x1034011x101031x134011x101031x14011x101031x1011x101451x1402511x101451x102511x101451x12511x101501x1001551x101501x101551x102313x1034213x102313x134213x102313x14213x102313x1213x104152x1042511x104152x142511x104152x12511x105132x1302115x105132x102115x105132x12115x105204x1042504x105204x142504x105204x12504x105315x103415x105315x13415x105315x1415x105325x1043525x105325x143525x105325x13525x120131x14302x120131x1302x120131x102x120131x12x120135x1251103x120135x103x120135x13x120153x1211305x120153x1305x120153x105x123101x1032115x123101x132115x123101x12115x123141x1342511x123141x142511x123141x12511x123512x1232151x123512x132151x123512x12151x130120x1340210x130120x140210x130120x10210x130120x1210x132010x1321500x132010x121500x132010x100x132351x1334215x132351x134215x132351x14215x132351x1215x135313x1354313x135313x14313x140331x1034311x140331x134311x140331x14311x140331x1311x144325x1342415x144325x142415x144325x12415x144325x1415x145052x1042155x145052x142155x145052x12155x145231x134321x145231x14321x145231x1321x145231x121x145252x1425521x145252x125521x145252x121x145351x1455431x145351x1431x145351x131x1true20131x12x1true12345678910111213141516171819202122232425262728293031323334353637383940414243444546474849505152535455565758596061626364656667686970717273747576777879808182838485868788899091929394959697989910010110210310410510610710810911011111211311411511611711811912012112212312412512612712812913013113213313413513613713813914014114214314414514614714814915020131x12x11
true
120131x102x1false671011121617181920212223242526272829303132333435363738394041424344454647484950565758596061626364656667686970717273747576777879808182838485868788899091929394959697989910010110210310410511711811912012112212312412512612712812913013113213313413513613713813914014114214314414514614714814920135x103x1false569101115161718192021222324252627282930313233343536373839404142434445464748495556575859606162636465666768697071727374757677787980818283848586878889909192939495969798991001011021031041161171181191201211221231241251261271281291301311321331341351361371381391401411421431441451461471482320x130x1false45891014151617181920212223242526272829303132333435363738394041424344454647485455565758596061626364656667686970717273747576777879808182838485868788899091929394959697989910010110210311511611711811912012112212312412512612712812913013113213313413513613713813914014114214314414514614720131x1302x1false347891314151617181920212223242526272829303132333435363738394041424344454647535455565758596061626364656667686970717273747576777879808182838485868788899091929394959697989910010110211411511611711811912012112212312412512612712812913013113213313413513613713813914014114214314414514620135x13x1false36781213141516171819202122232425262728293031323334353637383940414243444546565758596061626364656667686970717273747576777879808182838485868788899091929394959697989910010112512612712812913013113213313413513613713813914014114214314414520153x1305x1false2567111213141516171819202122232425262728293031323334353637383940414243444555565758596061626364656667686970717273747576777879808182838485868788899091929394959697989910012412512612712812913013113213313413513613713813914014114214314432010x100x1false1456101112131415161718192021222324252627282930313233343536373839404142434454555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899123124125126127128129130131132133134135136137138139140141142143012x10211x1false3535455565758596061626364656667122123124125126127128129130131132133134135136137138139140141142012x1211x1false2525354555657585960616263646566121122123124125126127128129130131132133134135136137138139140141231x13421x1false363738394041858687888990919293949596231x1421x1false505152535455565758596061626364119120121122123124125126127128129130131132133134135136137138139231x121x1false0120x100211x1false0120x10211x1false0120x1211x1false0120x102110x1false0120x12110x1false0121x102111x1false0121x12111x1false0124x140211x1false0124x10211x1false0124x1211x1false0125x102511x1false0125x12511x1false0125x104215x1false0125x14215x1false0125x1215x1false0131x100311x1false0131x10311x1false0131x1311x1false0131x1302111x1false0131x102111x1false0131x12111x1false0141x140111x1false0141x10111x1false0145x104115x1false0145x14115x1false0201x100241x1false0201x10241x1false0201x1241x1false0201x141x1false20153x105x1false0531x103111x1false0531x13111x1false0532x103425x1false0532x13425x1false0532x1425x1false0532x125x1false2320x122130x1false2320x12130x1false2452x121425x1false2452x1425x1false2452x125x1false3012x134021x1false3012x14021x1false3012x1021x1false3012x121x1false01022x142x1false20131x14302x1false4532x14x1true4532x14x11
true
14432x143421x1false4432x13421x1false4432x1421x1false4432x121x1false4531x135441x1false4531x1441x1false4531x141x1false4531x143151x1false4531x13151x1false4532x134254x1false4532x14254x1false4532x1254x1false4532x135421x1false4532x1421x1false4532x121x1false01022x1002142x1false01022x102142x1false01022x12142x1false01031x1034011x1false01031x134011x1false01031x14011x1false01031x1011x1false01451x1402511x1false01451x102511x1false01451x12511x1false01501x1001551x1false01501x101551x1false02313x1034213x1false02313x134213x1false02313x14213x1false02313x1213x1false04152x1042511x1false04152x142511x1false04152x12511x1false05132x1302115x1false05132x102115x1false05132x12115x1false05204x1042504x1false05204x142504x1false05204x12504x1false05315x103415x1false05315x13415x1false05315x1415x1false05325x1043525x1false05325x143525x1false05325x13525x1false20135x1251103x1false20153x1211305x1false23101x1032115x1false23101x132115x1false23101x12115x1false23141x1342511x1false23141x142511x1false23141x12511x1false23512x1232151x1false23512x132151x1false23512x12151x1false30120x1340210x1false30120x140210x1false30120x10210x1false30120x1210x1false32010x1321500x1false32010x121500x1false32351x1334215x1false32351x134215x1false32351x14215x1false32351x1215x1false35313x1354313x1false35313x14313x1false40331x1034311x1false40331x134311x1false40331x14311x1false40331x1311x1false44325x1342415x1false44325x142415x1false44325x12415x1false44325x1415x1false45052x1042155x1false45052x142155x1false45052x12155x1false45231x134321x1false45231x14321x1false45231x1321x1false45231x121x1false45252x1425521x1false45252x125521x1false45252x121x1false45351x1455431x1false45351x1431x1false45351x131x1false
AProVE
cb833845625c1ead9ffe8258c791cc945104daa0 rene 20110429 unpublished dirty
http://aprove.informatik.rwth-aachen.de/
John
Doe