0000x1000102x10000x1000220x10000x1010200x10030x100203x10030x1001340x10030x1020320x10030x1030404x10030x1043020x10030x1043040x10030x1102003x10030x1200203x10030x1300220x10500x102005x10500x1003510x10500x1005104x10500x1020450x10500x1025040x10500x1040052x10500x1040150x10500x1051010x10500x1200205x10500x1205020x10500x1501020x10500x1501040x10530x100325x10530x100351x10530x100352x10530x100523x10530x102035x10530x103405x10530x153010x10530x1001354x10530x1005223x10530x1005243x10530x1015340x10530x1020315x10530x1035204x10530x1052043x10530x1052203x10530x1053440x10530x1053520x10530x1103540x10530x1135400x10530x1230510x10530x1251003x10530x1300252x10530x1303510x10530x1304051x10530x1304052x10530x1305101x10530x1305120x10530x1320150x10530x1340520x10530x1345002x10530x1351002x10530x1501320x10530x1522300x10530x1530110x13000x1003201x13000x1021030x13000x1030220x13000x1030240x13000x1302020x13030x1003234x13030x1003434x13030x1102033x13030x1301023x13030x1302031x13030x1303101x13030x1303520x13030x1304023x13030x1310320x13030x1340103x13300x103340x13300x130203x13300x130320x13300x1010133x13300x1013403x13300x1022330x13300x1024033x13300x1203320x13300x1301043x13300x1302203x13300x1303202x13300x1303410x13300x1310103x13300x1330402x13300x1330404x13300x1330410x13300x1340340x13330x133103x13330x133320x13330x1031323x13330x1320323x13330x1331203x13330x1332103x13330x1335103x13500x100351x13500x100352x13500x100354x13500x103520x13500x103540x13500x130025x13500x130510x13500x1001513x13500x1001523x13500x1003452x13500x1013520x13500x1020315x13500x1031045x13500x1032051x13500x1035220x13500x1253010x13500x1300245x13500x1304051x13500x1304105x13500x1310405x13500x1320520x13500x1325020x13500x1350510x13500x1351040x13500x1354040x13500x1531040x13530x103523x13530x130325x13530x130354x13530x133052x13530x133405x13530x135103x13530x1023345x13530x1023352x13530x1031354x13530x1033512x13530x1033521x13530x1034543x13530x1043354x13530x1235203x13530x1303225x13530x1303251x13530x1303425x13530x1303552x13530x1305131x13530x1305223x13530x1310351x13530x1334052x13530x1334105x13530x1334205x13530x1353440x13530x1353520x13530x1353540x13530x1522033x13530x1530131x13530x1531310x13530x1533402x13530x1533404x13530x1533410x100300x1030200x100305x1002305x100530x1030520x105305x1305105x105305x1340055x105330x1530203x130030x1033400x130330x1332003x130530x1330540x131530x1305231x132500x1032054x132500x1052203x132530x1323250x132530x1352031x132530x1352034x133005x1350340x133305x1303513x134500x1013405x134500x1304015x134500x1340510x135300x1035302x135300x1353200x135305x1354035x135330x1351033x135330x1353340x135530x1053513x135530x1353540x150330x1035301x150330x1035320x150330x1330205x150330x1353020x150530x1534500x153030x1303510x153030x1351300x153330x1052333x153330x1530233x153530x1530325x155305x1530255x12.00000x1201000x10000x1022000x10000x1002010x10300x130200x10300x1043100x10300x1023020x10300x1404030x10300x1020340x10300x1040340x10300x1300201x10300x1302002x10300x1022003x10050x150020x10050x1015300x10050x1401500x10050x1054020x10050x1040520x10050x1250040x10050x1051040x10050x1010150x10050x1502002x10050x1020502x10050x1020105x10050x1040105x10350x152300x10350x115300x10350x125300x10350x132500x10350x153020x10350x150430x10350x101035x10350x1453100x10350x1322500x10350x1342500x10350x1043510x10350x1513020x10350x1402530x10350x1340250x10350x1302250x10350x1044350x10350x1025350x10350x1045301x10350x1004531x10350x1015032x10350x1300152x10350x1252003x10350x1015303x10350x1150403x10350x1250403x10350x1101503x10350x1021503x10350x1051023x10350x1025043x10350x1200543x10350x1200153x10350x1023105x10350x1003225x10350x1011035x10003x1102300x10003x1030120x10003x1022030x10003x1042030x10003x1020203x10303x1432300x10303x1434300x10303x1330201x10303x1320103x10303x1130203x10303x1101303x10303x1025303x10303x1320403x10303x1023013x10303x1301043x10033x104330x10033x130203x10033x102303x10033x1331010x10033x1304310x10033x1033220x10033x1330420x10033x1023302x10033x1340103x10033x1302203x10033x1202303x10033x1014303x10033x1301013x10033x1204033x10033x1404033x10033x1014033x10033x1043043x10333x130133x10333x102333x10333x1323130x10333x1323023x10333x1302133x10333x1301233x10333x1301533x10053x115300x10053x125300x10053x145300x10053x102530x10053x104530x10053x152003x10053x101503x10053x1315100x10053x1325100x10053x1254300x10053x1025310x10053x1513020x10053x1540130x10053x1150230x10053x1022530x10053x1010352x10053x1542003x10053x1150403x10053x1501403x10053x1504013x10053x1025023x10053x1020523x10053x1015053x10053x1040153x10053x1040453x10053x1040135x10353x132530x10353x152303x10353x145303x10353x125033x10353x150433x10353x130153x10353x1543320x10353x1253320x10353x1453130x10353x1215330x10353x1125330x10353x1345430x10353x1453340x10353x1302532x10353x1522303x10353x1152303x10353x1524303x10353x1255303x10353x1131503x10353x1322503x10353x1153013x10353x1250433x10353x1501433x10353x1502433x10353x1044353x10353x1025353x10353x1045353x10353x1330225x10353x1131035x10353x1013135x10353x1204335x10353x1404335x10353x1014335x100300x1002030x150300x1503200x103500x1025030x150350x1501503x150350x1550043x103350x1302035x103003x1004330x103303x1300233x103503x1045033x103513x1132503x100523x1450230x100523x1302250x103523x1052323x103523x1130253x103523x1430253x150033x1043053x150333x1315303x100543x1504310x100543x1510403x100543x1015043x100353x1203530x100353x1002353x150353x1530453x103353x1330153x103353x1043353x103553x1315350x103553x1045353x103305x1103530x103305x1023530x103305x1502033x103305x1020353x103505x1005435x103035x1015303x103035x1003153x103335x1333250x103335x1332035x103535x1523035x150355x1552035x10000x101000x10000x1022000x10000x1002010x10000x102010x10000x1010x10300x10200x10300x1043100x10300x1023020x10300x1020x10300x104030x10300x1030x10300x1020340x10300x10340x10300x1040340x10300x100201x10300x10201x10300x101x10300x102002x10300x1002x10300x102x10300x1022003x10300x1003x10300x103x10050x150020x10050x10020x10050x1020x10050x1015300x10050x15300x10050x100x10050x101500x10050x1500x10050x1054020x10050x154020x10050x1040520x10050x10520x10050x1520x10050x150040x10050x10040x10050x1040x10050x1051040x10050x151040x10050x1010150x10050x10150x10050x1502002x10050x102002x10050x1002x10050x102x10050x1020502x10050x10502x10050x1502x10050x1020105x10050x10105x10050x105x10050x15x10050x1040105x10350x152300x10350x100x10350x15300x10350x1500x10350x153020x10350x1020x10350x150430x10350x10430x10350x101035x10350x1035x10350x15x10350x153100x10350x1043510x10350x1510x10350x1513020x10350x102530x10350x1530x10350x10250x10350x102250x10350x1044350x10350x1025350x10350x15350x10350x1045301x10350x15301x10350x101x10350x1004531x10350x104531x10350x1531x10350x1015032x10350x15032x10350x1032x10350x100152x10350x10152x10350x152x10350x152003x10350x1003x10350x103x10350x1015303x10350x15303x10350x150403x10350x10403x10350x101503x10350x1503x10350x1021503x10350x1051023x10350x151023x10350x1023x10350x1025043x10350x15043x10350x1043x10350x100543x10350x10543x10350x1543x10350x100153x10350x10153x10350x153x10350x1023105x10350x105x10350x1003225x10350x103225x10350x1011035x10003x102300x10003x100x10003x10x10003x1030120x10003x10120x10003x1022030x10003x1030x10003x1042030x10003x1020203x10003x10203x10303x100x10303x10x10303x10201x10303x101x10303x10103x10303x10203x10303x101303x10303x1025303x10303x15303x10303x10403x10303x1023013x10303x1013x10303x101043x10303x1043x10033x104330x10033x10x10033x10203x10033x103x10033x102303x10033x1010x10033x104310x10033x1033220x10033x10420x10033x1023302x10033x102x10033x10103x10033x102203x10033x1014303x10033x101013x10033x1013x10033x104033x10033x1014033x10033x1043043x10033x1043x10333x10133x10333x102333x10333x10x10333x1023x10333x102133x10333x101233x10333x101533x10333x1533x10053x15300x10053x100x10053x10x10053x102530x10053x1530x10053x104530x10053x152003x10053x1003x10053x103x10053x101503x10053x1503x10053x15100x10053x154300x10053x1025310x10053x15310x10053x1513020x10053x1020x10053x1540130x10053x10130x10053x150230x10053x10230x10053x1022530x10053x1010352x10053x10352x10053x152x10053x1542003x10053x150403x10053x10403x10053x1501403x10053x101403x10053x1504013x10053x104013x10053x1013x10053x1025023x10053x15023x10053x1023x10053x1020523x10053x10523x10053x1523x10053x1015053x10053x15053x10053x1040153x10053x10153x10053x1040453x10053x10453x10053x1040135x10053x10135x10053x15x10353x1530x10353x10x10353x152303x10353x103x10353x15303x10353x15033x10353x1033x10353x150433x10353x10433x10353x10153x10353x1543320x10353x153320x10353x153130x10353x15330x10353x15430x10353x153340x10353x102532x10353x1532x10353x1522303x10353x1524303x10353x155303x10353x1503x10353x153013x10353x1013x10353x1501433x10353x101433x10353x1502433x10353x102433x10353x1044353x10353x1025353x10353x15353x10353x1045353x10353x10225x10353x15x10353x1035x10353x1013135x10353x104335x10353x1014335x100300x1002030x100300x102030x100300x1030x150300x1503200x150300x103200x103500x1025030x103500x15030x103500x1030x150350x1501503x150350x101503x150350x1503x150350x103x150350x1550043x150350x150043x150350x10043x150350x1043x103350x102035x103350x1035x103350x15x103003x1004330x103003x104330x103003x10x103303x100233x103303x10233x103503x1045033x103503x15033x103503x1033x103513x1503x103513x103x100523x150230x100523x10230x100523x10x100523x102250x100523x150x103523x1052323x103523x152323x103523x10253x103523x153x150033x1043053x150033x1053x150033x153x150333x15303x150333x103x100543x1504310x100543x104310x100543x10x100543x1510403x100543x10403x100543x103x100543x1015043x100543x15043x100543x1043x100353x103530x100353x1530x100353x10x100353x1002353x100353x102353x150353x1530453x150353x10453x103353x10153x103353x1043353x103553x15350x103553x150x103553x10x103553x1045353x103553x15353x103305x103530x103305x1530x103305x10x103305x1023530x103305x1502033x103305x102033x103305x1033x103305x1020353x103305x10353x103305x153x103505x1005435x103505x105435x103505x15435x103035x1015303x103035x15303x103035x103x103035x1003153x103035x103153x103035x153x103335x150x103335x10x103335x1035x103535x1523035x103535x1035x150355x1552035x150355x152035x150355x1035x1true0300x1030x10300x1003x10300x103x10350x100x10050x100x10050x1500x150350x1503x150350x103x10350x1500x150333x103x10350x1035x10350x15x150355x1035x10350x1003x10050x105x10050x15x10350x103x10350x1503x10350x100543x100543x10x10350x105x10003x100x10003x10x10003x1030x10303x100x10303x10x10033x10x10033x103x10333x10x10053x100x10053x10x10053x1003x10053x103x10353x10x10053x1503x10053x15x10353x103x10353x15033x10353x1033x103350x1035x10353x1503x10353x15x10353x1035x103500x15030x103500x1030x103350x15x103003x10x100300x1030x103503x15033x103503x1033x103305x103530x103535x1035x103513x1503x103513x103x103553x150x103553x10x100523x10x100523x150x100543x103x103305x10x100353x103530x100353x10x103305x1033x103305x10353x103335x150x103335x10x103505x1005435x103035x103x103335x1035x1true123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278101111311101111511151114111111121110350x100x10350x1500x150333x103x150355x1035x10350x1003x10350x100543x10303x100x10333x10x10053x100x10053x1003x10353x10x10353x103x10353x15033x10353x1033x10353x1503x10353x1035x103305x103530x103535x1035x103513x1503x103513x103x103553x150x103553x10x100353x103530x103335x150x103335x10x103505x1005435x103335x1035x10350x1500x150333x103x10350x100x10350x1003x10303x100x10333x10x10053x100x10053x1003x10353x10x10353x103x10353x15033x150355x1035x10353x1033x103305x103530x10353x1503x10353x1035x103513x1503x103513x103x103553x150x103553x10x100353x103530x103535x1035x103335x150x103335x10x103335x1035x1true121012151-2110122121-211-211311141-25121150333x103x10303x100x10333x10x10353x1035x103513x1503x103513x103x103335x1035x1101221011121-251221512113121141-111-2110350x100543x1false03505x1005435x1false0000x101000x1false2372382392400000x1022000x1false0000x1002010x1false0000x102010x1false0000x1010x1false0300x10200x1false0300x1043100x1false0300x1023020x1false0300x1020x1false0300x104030x1false0300x1020340x1false0300x10340x1false0300x1040340x1false0300x100201x1false0300x10201x1false0300x101x1false0300x102002x1false0300x1002x1false0300x102x1false0300x1022003x1false0050x150020x1false0050x10020x1false0050x1020x1false0050x1015300x1false0050x15300x1false0050x101500x1false0050x1054020x1false0050x154020x1false0050x1040520x1false0050x10520x1false0050x1520x1false0050x150040x1false0050x10040x1false0050x1040x1false0050x1051040x1false0050x151040x1false0050x1010150x1false0050x10150x1false0050x1502002x1false0050x102002x1false0050x1002x1false0050x102x1false0050x1020502x1false0050x10502x1false0050x1502x1false0050x1020105x1false0050x10105x1false0050x1040105x1false0350x152300x1false0350x15300x1false0350x153020x1false0350x1020x1false0350x150430x1false0350x10430x1false0350x101035x1false0350x153100x1false0350x1043510x1false0350x1510x1false0350x1513020x1false0350x102530x1false0350x1530x1false0350x10250x1false0350x102250x1false0350x1044350x1false0350x1025350x1false0350x15350x1false0350x1045301x1false0350x15301x1false0350x101x1false0350x1004531x1false0350x104531x1false0350x1531x1false0350x1015032x1false0350x15032x1false0350x1032x1false0350x100152x1false0350x10152x1false0350x152x1false0350x152003x1false0350x1015303x1false0350x15303x1false0350x150403x1false0350x10403x1false0350x101503x1false0350x1021503x1false0350x1051023x1false0350x151023x1false0350x1023x1false0350x1025043x1false0350x15043x1false0350x1043x1false0350x10543x1false0350x1543x1false0350x100153x1false0350x10153x1false0350x153x1false0350x1023105x1false0350x1003225x1false0350x103225x1false0350x1011035x1false0003x102300x1false0003x1030120x1false0003x10120x1false0003x1022030x1false0003x1042030x1false0003x1020203x1false0003x10203x1false0303x10201x1false0303x101x1false0303x10103x1false0303x10203x1false0303x101303x1false0303x1025303x1false0303x15303x1false0303x10403x1false0303x1023013x1false0303x1013x1false0303x101043x1false0303x1043x1false0033x104330x1false0033x10203x1false0033x102303x1false0033x1010x1false0033x104310x1false0033x1033220x1false0033x10420x1false0033x1023302x1false0033x102x1false0033x10103x1false0033x102203x1false0033x1014303x1false0033x101013x1false0033x1013x1false0033x104033x1false0033x1014033x1false0033x1043043x1false0033x1043x1false0333x10133x1false0333x102333x1false0333x1023x1false0333x102133x1false0333x101233x1false0333x101533x1false0333x1533x1false0053x15300x1false0053x102530x1false0053x1530x1false0053x104530x1false0053x152003x1false0053x101503x1false0053x15100x1false0053x154300x1false0053x1025310x1false0053x15310x1false0053x1513020x1false0053x1020x1false0053x1540130x1false0053x10130x1false0053x150230x1false0053x10230x1false0053x1022530x1false0053x1010352x1false0053x10352x1false0053x152x1false0053x1542003x1false0053x150403x1false0053x10403x1false0053x1501403x1false0053x101403x1false0053x1504013x1false0053x104013x1false0053x1013x1false0053x1025023x1false0053x15023x1false0053x1023x1false0053x1020523x1false0053x10523x1false0053x1523x1false0053x1015053x1false0053x15053x1false0053x1040153x1false0053x10153x1false0053x1040453x1false0053x10453x1false0053x1040135x1false0053x10135x1false0353x1530x1false0353x152303x1false0353x15303x1false0353x150433x1false0353x10433x1false0353x10153x1false0353x1543320x1false0353x153320x1false0353x153130x1false0353x15330x1false0353x15430x1false0353x153340x1false0353x102532x1false0353x1532x1false0353x1522303x1false0353x1524303x1false0353x155303x1false0353x153013x1false0353x1013x1false0353x1501433x1false0353x101433x1false0353x1502433x1false0353x102433x1false0353x1044353x1false0353x1025353x1false0353x15353x1false0353x1045353x1false0353x10225x1false0353x1013135x1false0353x104335x1false0353x1014335x1false00300x1002030x1false00300x102030x1false50300x1503200x1false50300x103200x1false03500x1025030x1false50350x1501503x1false50350x101503x1false50350x1550043x1false50350x150043x1false50350x10043x1false50350x1043x1false03350x102035x1false03003x1004330x1false03003x104330x1false03303x100233x1false03303x10233x1false03503x1045033x1false00523x150230x1false00523x10230x1false00523x102250x1false03523x1052323x1false03523x152323x1false03523x10253x1false03523x153x1false50033x1043053x1false50033x1053x1false50033x153x1false50333x15303x1false00543x1504310x1false00543x104310x1false00543x1510403x1false00543x10403x1false00543x1015043x1false00543x15043x1false00543x1043x1false00353x1530x1false00353x1002353x1false00353x102353x1false50353x1530453x1false50353x10453x1false03353x10153x1false03353x1043353x1false03553x15350x1false03553x1045353x1false03553x15353x1false03305x1530x1false03305x1023530x1false03305x1502033x1false03305x102033x1false03305x1020353x1false03305x153x1false03505x105435x1false03505x15435x1false03035x1015303x1false03035x15303x1false03035x1003153x1false03035x103153x1false03035x153x1false03535x1523035x1false50355x1552035x1false50355x152035x1false
AProVE
cb833845625c1ead9ffe8258c791cc945104daa0 rene 20110429 unpublished dirty
http://aprove.informatik.rwth-aachen.de/
John
Doe