011x10211x1011x100211x1011x102121x1011x121021x1301x1130024x1351x11345x1351x124531x1513x15312x10101x1110024x10123x131502x10123x1031211x10141x1021241x10141x1400211x10151x1002115x10451x101345x13201x1130245x13511x113451x13511x115312x13513x135312x13541x141345x15123x155312x15201x1531024x15433x131345x15501x1102455x101201x1030211x101221x1021213x103051x1034501x103423x1053432x103541x1052431x104123x1032451x104123x1431002x104551x1245501x105101x1015501x105321x1002531x130123x1023431x130123x1113302x130123x1123302x130411x1001341x132413x1434312x133411x1134531x133511x1314531x135413x1145313x135441x1414345x152423x1324532x154201x1512024x12.0011x10211x1011x100211x1011x102121x1011x1021x1301x130024x1301x10024x1301x1024x1351x1345x1351x15x1351x1531x1351x131x1513x15312x1513x1312x10101x10024x10101x1024x10123x131502x10123x1502x10123x102x10123x1031211x10123x131211x10141x1021241x10141x100211x10141x10211x10151x1002115x10151x102115x10151x15x10451x101345x10451x1345x10451x15x13201x130245x13201x10245x13201x15x13511x13451x13511x151x13511x15312x13511x1312x13513x135312x13513x15312x13513x1312x13541x1345x13541x15x15123x155312x15123x15312x15123x1312x15201x1531024x15201x131024x15201x1024x15433x131345x15433x1345x15433x15x15501x102455x15501x155x15501x15x101201x1030211x101201x130211x101201x10211x101221x1021213x101221x13x103051x1034501x103051x134501x103051x1501x103051x101x103423x1053432x103423x153432x103423x13432x103423x132x103541x1052431x103541x152431x103541x131x104123x1032451x104123x132451x104123x151x104123x131002x104123x1002x104123x102x104551x15501x104551x1501x104551x101x105101x1015501x105101x15501x105101x1501x105321x1002531x105321x102531x105321x1531x105321x131x130123x1023431x130123x13431x130123x131x130123x13302x130123x1302x130123x102x130411x1001341x130411x101341x130411x1341x132413x134312x132413x1312x133411x134531x133411x1531x133411x131x133511x1314531x133511x1531x133511x131x135413x15313x135413x1313x135441x1345x135441x15x152423x1324532x152423x1532x152423x132x154201x1512024x154201x1024x1true04123x1032451x1true123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105101114111111210310511132413x1434312x103051x101x1false45691516172021222324252627282930313233343536373839404142434447484950515253545556575859606162636465666768838485868788899091929394959697989910010110210310404551x101x1false3458141516192021222324252627282930313233343536373839404142434647484950515253545556575859606162636465666782838485868788899091929394959697989910010110210305101x1015501x1false2347131415181920212223242526272829303132333435363738394041424546474849505152535455565758596061626364656681828384858687888990919293949596979899100101102011x10211x1false51317282944455354555657585960616768698990100101011x100211x1false15111213162122232425262728434445464748495051525354555657585960798081828384858687888990919293949596979899100011x102121x1false11152627424351525354555657585987889899011x1021x1false1014252641425051525354555657588687979801221x13x1false9132425404149505152535455565785869697301x130024x1false8122324394048495051525354555684859596301x10024x1false7112223383947484950515253545583849495301x1024x1false6102122373846474849505152535482839394351x1345x1false592021363745464748495051525381829293351x15x1false481920353644454647484950515280819192351x1531x1false371819343543444546474849505179809091351x131x1false2617183334424344454647484950787989900151x15x1false1516173233414243444546474849777888890451x15x1false4151631324041424344454647487677878803051x1034501x1false141539404103423x132x1false13143839403541x15x1false737403051x1501x1false727304551x15501x1false04551x1501x1false05101x15501x1false05101x1501x1false35441x15x1false5433x15x15501x155x15501x15x152423x1532x152423x132x13201x15x1true15111411131115111011111111211131115433x15x152423x1532x152423x132x1513x15312x15123x155312x15201x1531024x15433x131345x15501x1102455x152423x1324532x154201x1512024x13201x1130245x132413x1434312x152423x1532x15433x15x1true11511121111411131110101105105433x15x13201x1130245x132413x1434312x15433x15x11
true
152423x132x1false3511x151x1false04123x151x1false513x15312x1false513x1312x1false0101x10024x1false0101x1024x1false0123x131502x1false0123x1502x1false0123x102x1false0123x1031211x1false0123x131211x1false0141x1021241x1false0141x100211x1false0141x10211x1false0151x1002115x1false0151x102115x1false0451x101345x1false0451x1345x1false3201x130245x1false3201x10245x1false3511x13451x1false3511x15312x1false3511x1312x1false3513x135312x1false3513x15312x1false3513x1312x1false3541x1345x1false5123x155312x1false5123x15312x1false5123x1312x1false5201x1531024x1false5201x131024x1false5201x1024x1false5433x131345x1false5433x1345x1false5501x102455x1false01201x1030211x1false01201x130211x1false01201x10211x1false01221x1021213x1false03051x134501x1false03423x1053432x1false03423x153432x1false03423x13432x1false03541x1052431x1false03541x152431x1false03541x131x1false04123x132451x1false04123x131002x1false04123x1002x1false04123x102x1false05321x1002531x1false05321x102531x1false05321x1531x1false05321x131x1false30123x1023431x1false30123x13431x1false30123x131x1false30123x13302x1false30123x1302x1false30123x102x1false30411x1001341x1false30411x101341x1false30411x1341x1false52423x1324532x1false32413x134312x1false32413x1312x1false33411x134531x1false33411x1531x1false33411x131x1false33511x1314531x1false33511x1531x1false33511x131x1false35413x15313x1false35413x1313x1false35441x1345x1false54201x1512024x1false54201x1024x1false
AProVE
20cf63ea9f01bf40524adf2af9b95e39102e7dab rene 20110328 unpublished dirty
http://aprove.informatik.rwth-aachen.de/
John
Doe