0012x102011x10122x102210x10122x110220x10123x102013x10123x102331x10212x102201x10212x102221x10212x1022211x10322x134022x10322x1022223x10412x102214x10412x140201x10501x1020251x10505x102055x10521x102251x10525x102255x10542x1402205x12103x1402231x12104x1140222x12542x140225x100104x1002014x100542x1040025x101012x1020141x101203x1020413x101222x1022212x101232x1134022x101323x1002331x101342x1023411x102101x1002011x102122x1020221x102305x1020053x103013x1004313x103041x1001443x103204x1400234x104523x1022345x105003x1020305x105012x1002015x105142x1020145x105251x1020551x121004x1144002x125003x1020053x125301x1502231x150122x1510202x152012x1154022x152101x1023151x152301x1150223x153041x1450231x12.02100x111020x12210x101220x12210x102201x13210x131020x13210x113320x12120x110220x12120x112220x12120x1112220x12230x122043x12230x1322220x12140x141220x12140x110204x11050x1152020x15050x155020x11250x115220x15250x155220x12450x1502204x13012x1132204x14012x1222041x12452x152204x140100x1410200x124500x1520040x121010x1141020x130210x1314020x122210x1212220x123210x1220431x132310x1133200x124310x1114320x110120x1110200x122120x1122020x150320x1350020x131030x1313400x114030x1344100x140230x1432004x132540x1543220x130050x1503020x121050x1510200x124150x1541020x115250x1155020x140012x1200441x130052x1350020x110352x1132205x122105x1202015x121025x1220451x110125x1151320x110325x1322051x114035x1132054x12100x111020x12100x11020x12100x120x12210x11220x12210x1220x12210x120x12210x12201x12210x1201x12210x11x13210x131020x13210x11020x13210x120x13210x113320x13210x13320x13210x1320x12120x110220x12120x1220x12120x112220x12120x12220x12120x1112220x12230x122043x12230x12043x12230x143x12230x13x12230x1322220x12230x122220x12230x12220x12230x1220x12230x120x12140x141220x12140x11220x12140x1220x12140x120x12140x110204x12140x1204x12140x14x11050x1152020x11050x152020x11050x12020x11050x120x15050x155020x15050x15020x15050x120x11250x115220x11250x15220x11250x1220x11250x120x15250x155220x15250x15220x15250x1220x15250x120x12450x1502204x12450x12204x12450x1204x12450x14x13012x1132204x13012x132204x13012x12204x13012x1204x13012x14x14012x1222041x14012x122041x14012x12041x14012x141x14012x11x12452x152204x12452x12204x12452x1204x12452x14x140100x1410200x140100x110200x140100x1200x124500x1520040x124500x120040x124500x140x121010x1141020x121010x141020x121010x11020x121010x120x130210x1314020x130210x114020x130210x14020x130210x120x122210x1212220x122210x112220x122210x12220x122210x1220x122210x120x123210x1220431x123210x120431x123210x1431x123210x131x123210x11x132310x1133200x132310x133200x132310x13200x132310x1200x124310x1114320x124310x114320x124310x14320x124310x1320x124310x120x110120x1110200x110120x110200x110120x1200x122120x1122020x122120x122020x122120x12020x150320x1350020x150320x150020x131030x1313400x131030x113400x131030x13400x131030x1400x114030x1344100x114030x144100x114030x14100x114030x1100x140230x1432004x140230x132004x140230x12004x140230x14x132540x1543220x132540x143220x132540x13220x132540x1220x132540x120x130050x1503020x130050x13020x130050x120x121050x1510200x121050x110200x121050x1200x124150x1541020x124150x141020x124150x11020x124150x120x115250x1155020x115250x155020x115250x15020x115250x120x140012x1200441x140012x1441x140012x141x140012x11x130052x1350020x130052x150020x130052x120x110352x1132205x110352x132205x110352x12205x110352x1205x110352x15x122105x1202015x122105x12015x122105x115x121025x1220451x121025x120451x121025x1451x121025x151x121025x11x110125x1151320x110125x151320x110125x11320x110125x1320x110125x120x110325x1322051x110325x122051x110325x12051x110325x151x110325x11x114035x1132054x114035x132054x114035x12054x114035x154x114035x14x1true2100x111020x1false2711141718202130313233343554555657585960616263646566676872737475767778828384919293941021031041051111121131171181191201211221231241251261271281291301311321331411421431441451461471481491501511521571581591601611621631641651661672100x11020x1false1610131617192029303132333453545556575859606162636465666771727374757677818283909192931011021031041101111121161171181191201211221231241251261271281291301311321401411421431441451461471481491501511561571581591601611621631641651662100x120x1false59121516181928293031323352535455565758596061626364656670717273747576808182899091921001011021031091101111151161171181191201211221231241251261271281291301311391401411421431441451461471481491501551561571581591601611621631641652210x11220x1false141517185152535455565758596061626364657374757980811081091101141151161171181191201211221381391401411421461471481491541551561571581591601611621631642210x1220x1false131416175051525354555657585960616263647273747879801071081091131141151161171181191201211371381391401411451461471481531541551561571581591601611621632210x120x1false121315164950515253545556575859606162637172737778791061071081121131141151161171181191201361371381391401441451461471521531541551561571581591601611622210x12201x1false111214154849505152535455565758596061627071727677781051061071111121131141151161171181191351361371381391431441451461511521531541551561571581591601612210x1201x1false101113144748495051525354555657585960616970717576771041051061101111121131141151161171181341351361371381421431441451501511521531541551561571581591602210x11x1false91012134647484950515253545556575859606869707475761031041051091101111121131141151161171331341351361371411421431441491501511521531541551561571581592230x13x1false89111245464748495051525354555657585967686973747510210310410810911011111211311411511613213313413513614014114214314814915015115215315415515615715823210x131x1false78101144454647484950515253545556575866676872737410110210310710810911011111211311411513113213313413513914014114214714814915015115215315415515615731030x13400x131030x1313400x1true679104344454647484950515253545556576566677172731001011021061071081091101111121131141301311321331341381391401411461471481491501511521531541551561311111110111131141121051040012x1200441x13210x131020x13210x113320x13012x1132204x130210x1314020x132310x1133200x131030x1313400x132540x1543220x130050x1503020x130052x1350020x11050x1152020x11250x115220x110120x1110200x114030x1344100x115250x1155020x110352x1132205x110125x1151320x110325x1322051x114035x1132054x13210x131020x1false5689424344454647484950515253545556646566707172991001011051061071081091101111121131291301311321331371381391401451461471481491501511521531541553210x11020x1false457841424344454647484950515253545563646569707198991001041051061071081091101111121281291301311321361371381391441451461471481491501511521531543210x120x1false34674041424344454647484950515253546263646869709798991031041051061071081091101111271281291301311351361371381431441451461471481491501511521533210x113320x1false23563940414243444546474849505152536162636768699697981021031041051061071081091101261271281291301341351361371421431441451461471481491501511523210x13320x1false12453839404142434445464748495051526061626667689596971011021031041051061071081091251261271281291331341351361411421431441451461471481491501513210x1320x1false1343738394041424344454647484950515960616566679495961001011021031041051061071081241251261271281321331341351401411421431441451461471481491502120x110220x1false40414247484950991002120x1220x1false3940414647484998992120x112220x1false3839404546474897982120x12220x1false3738394445464796972120x1112220x1false2230x122043x1false2230x12043x1false2230x143x1false2230x1322220x1false2230x122220x1false2230x12220x1false2230x1220x1false2230x120x1false2140x141220x1false2140x11220x1false2140x1220x1false2140x120x1false2140x110204x1false2140x1204x1false2140x14x1false2450x14x1false3012x14x1false2452x14x1false24500x140x1false23210x1431x1false31030x1400x1false21025x1451x1false23210x11x1false31030x113400x1false22105x115x1false21025x11x1false10325x11x114035x14x14012x141x14012x11x140230x14x140012x1441x140012x141x140012x11x1true11111101113111211151114111411111111110325x11x114035x14x14012x141x140230x14x140012x1441x140012x141x11050x1152020x11250x115220x110120x1110200x114030x1344100x115250x1155020x110352x1132205x110125x1151320x110325x1322051x114035x1132054x14012x1222041x140100x1410200x140230x1432004x140012x1200441x15050x155020x15250x155220x150320x1350020x110325x11x1true1210325x11x11
true
114035x14x1false140230x14x14012x141x140012x1441x140012x141x1true14111011121113111111410511140230x14x14012x141x140012x141x11050x1152020x11250x115220x110120x1110200x114030x1344100x115250x1155020x110352x1132205x110125x1151320x110325x1322051x114035x1132054x14012x1222041x140100x1410200x140230x1432004x140012x1200441x15050x155020x15250x155220x150320x1350020x11411101111211131111115104101050x1152020x11250x115220x110120x1110200x114030x1344100x115250x1155020x110352x1132205x110125x1151320x110325x1322051x114035x1132054x15050x155020x15250x155220x150320x1350020x11050x1152020x1false1050x152020x1false1050x12020x1false1050x120x1false10352x15x1false21025x151x1false10325x151x1false14035x154x1false5050x155020x1false5050x15020x1false5050x120x1false1250x115220x1false1250x15220x1false1250x1220x1false1250x120x1false5250x155220x1false5250x15220x1false5250x1220x1false5250x120x1false2450x1502204x1false2450x12204x1false2450x1204x1false3012x1132204x1false3012x132204x1false3012x12204x1false3012x1204x1false4012x1222041x1false4012x122041x1false4012x12041x1false2452x152204x1false2452x12204x1false2452x1204x1false40100x1410200x1false40100x110200x1false40100x1200x1false24500x1520040x1false24500x120040x1false21010x1141020x1false21010x141020x1false21010x11020x1false21010x120x1false30210x1314020x1false30210x114020x1false30210x14020x1false30210x120x1false22210x1212220x1false22210x112220x1false22210x12220x1false22210x1220x1false22210x120x1false23210x1220431x1false23210x120431x1false32310x1133200x1false32310x133200x1false32310x13200x1false32310x1200x1false24310x1114320x1false24310x114320x1false24310x14320x1false24310x1320x1false24310x120x1false10120x1110200x1false10120x110200x1false10120x1200x1false22120x1122020x1false22120x122020x1false22120x12020x1false50320x1350020x1false50320x150020x1false14030x1344100x1false14030x144100x1false14030x14100x1false14030x1100x1false40230x1432004x1false40230x132004x1false40230x12004x1false32540x1543220x1false32540x143220x1false32540x13220x1false32540x1220x1false32540x120x1false30050x1503020x1false30050x13020x1false30050x120x1false21050x1510200x1false21050x110200x1false21050x1200x1false24150x1541020x1false24150x141020x1false24150x11020x1false24150x120x1false15250x1155020x1false15250x155020x1false15250x15020x1false15250x120x1false40012x1200441x1false30052x1350020x1false30052x150020x1false30052x120x1false10352x1132205x1false10352x132205x1false10352x12205x1false10352x1205x1false22105x1202015x1false22105x12015x1false21025x1220451x1false21025x120451x1false10125x1151320x1false10125x151320x1false10125x11320x1false10125x1320x1false10125x120x1false10325x1322051x1false10325x122051x1false10325x12051x1false14035x1132054x1false14035x132054x1false14035x12054x1false
AProVE
20cf63ea9f01bf40524adf2af9b95e39102e7dab rene 20110328 unpublished dirty
http://aprove.informatik.rwth-aachen.de/
John
Doe