0010x1020031x10010x1020410x10010x1200021x13010x102310x13010x131002x13010x131100x13010x131200x13010x131500x13010x135100x13010x150310x13010x1202310x13010x1220310x13010x1315000x13010x1315020x13010x1315100x13010x1315200x13010x1315500x13010x1322100x13010x1351002x13010x1351500x13010x1511300x13410x131240x13410x131402x13410x131540x13410x134210x13410x1311540x13410x1312140x13410x1312540x13410x1314202x13410x1315402x13410x1315540x13410x1342110x13410x1345120x101410x1011402x102010x1020031x102010x1200031x103010x1003130x103010x1003310x103010x1003510x103010x1200310x103410x1020431x105010x1000152x105010x1001510x105010x1020015x130100x1313000x130110x1310120x130210x1203110x130210x1231500x130210x1312010x130210x1312050x130510x1315200x131010x1203110x131010x1311100x131010x1312100x131410x1312140x131410x1315140x132010x1023150x132010x1203110x133010x1312030x133010x1312300x133410x1312430x133410x1313402x133410x1314310x134010x1024130x134010x1314002x134010x1320410x134410x1311440x12.00100x1130020x10100x1014020x10100x1120002x10103x101320x10103x120013x10103x100113x10103x100213x10103x100513x10103x100153x10103x101305x10103x1013202x10103x1013022x10103x1000513x10103x1020513x10103x1001513x10103x1002513x10103x1005513x10103x1001223x10103x1200153x10103x1005153x10103x1003115x10143x104213x10143x120413x10143x104513x10143x101243x10143x1045113x10143x1041213x10143x1045213x10143x1202413x10143x1204513x10143x1045513x10143x1011243x10143x1021543x101410x1204110x101020x1130020x101020x1130002x101030x1031300x101030x1013300x101030x1015300x101030x1013002x101430x1134020x101050x1251000x101050x1015100x101050x1510020x100103x1000313x101103x1021013x101203x1011302x101203x1005132x101203x1010213x101203x1050213x101503x1002513x101013x1011302x101013x1001113x101013x1001213x101413x1041213x101413x1041513x101023x1051320x101023x1011302x101033x1030213x101033x1003213x101433x1034213x101433x1204313x101433x1013413x101043x1031420x101043x1200413x101043x1014023x101443x1044113x10100x10020x10100x1020x10100x1014020x10100x10002x10100x1002x10100x102x10103x101320x10103x10x10103x10013x10103x1013x10103x100113x10103x10113x10103x100213x10103x10213x10103x100513x10103x10513x10103x100153x10103x10153x10103x101305x10103x105x10103x1013202x10103x102x10103x1013022x10103x1022x10103x1000513x10103x1020513x10103x1001513x10103x101513x10103x1002513x10103x102513x10103x1005513x10103x105513x10103x1001223x10103x101223x10103x1005153x10103x105153x10103x1003115x10103x103115x10143x104213x10143x10413x10143x104513x10143x101243x10143x1045113x10143x1041213x10143x1045213x10143x102413x10143x1045513x10143x1011243x10143x1021543x101410x104110x101020x10020x101020x10002x101020x1002x101020x102x101030x1031300x101030x100x101030x1013300x101030x1015300x101030x1013002x101030x1002x101030x102x101430x1020x101050x1000x101050x100x101050x1015100x101050x10020x101050x1020x100103x1000313x100103x100313x100103x10313x101103x1021013x101103x1013x101203x1011302x101203x102x101203x1005132x101203x105132x101203x1010213x101203x10213x101203x1050213x101503x1002513x101503x102513x101013x1011302x101013x102x101013x1001113x101013x101113x101013x1001213x101013x101213x101413x1041213x101413x1041513x101023x1051320x101023x10x101023x1011302x101023x102x101033x1030213x101033x10213x101033x1003213x101033x103213x101433x1034213x101433x104313x101433x1013413x101043x1031420x101043x10x101043x100413x101043x10413x101043x1014023x101043x1023x101443x1044113x1true01030x100x10103x10x101050x1000x101050x100x101023x10x101043x10x1true123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101310100001110000100101000000000131000001510000121000000000141000000010100x10020x1false0100x1020x1false0100x1014020x1false0100x10002x1false0100x1002x1false0100x102x1false0103x101320x1false0103x10013x1false0103x1013x1false0103x100113x1false0103x10113x1false0103x100213x1false0103x10213x1false0103x100513x1false0103x10513x1false0103x100153x1false0103x10153x1false0103x101305x1false0103x105x1false0103x1013202x1false0103x102x1false0103x1013022x1false0103x1022x1false0103x1000513x1false0103x1020513x1false0103x1001513x1false0103x101513x1false0103x1002513x1false0103x102513x1false0103x1005513x1false0103x105513x1false0103x1001223x1false0103x101223x1false0103x1005153x1false0103x105153x1false0103x1003115x1false0103x103115x1false0143x104213x1false0143x10413x1false0143x104513x1false0143x101243x1false0143x1045113x1false0143x1041213x1false0143x1045213x1false0143x102413x1false0143x1045513x1false0143x1011243x1false0143x1021543x1false01410x104110x1false01020x10020x1false01020x10002x1false01020x1002x1false01020x102x1false01030x1031300x1false01030x1013300x1false01030x1015300x1false01030x1013002x1false01030x1002x1false01030x102x1false01430x1020x1false01050x1015100x1false01050x10020x1false01050x1020x1false00103x1000313x1false00103x100313x1false00103x10313x1false01103x1021013x1false01103x1013x1false01203x1011302x1false01203x102x1false01203x1005132x1false01203x105132x1false01203x1010213x1false01203x10213x1false01203x1050213x1false01503x1002513x1false01503x102513x1false01013x1011302x1false01013x102x1false01013x1001113x1false01013x101113x1false01013x1001213x1false01013x101213x1false01413x1041213x1false01413x1041513x1false01023x1051320x1false01023x1011302x1false01023x102x1false01033x1030213x1false01033x10213x1false01033x1003213x1false01033x103213x1false01433x1034213x1false01433x104313x1false01433x1013413x1false01043x1031420x1false01043x100413x1false01043x10413x1false01043x1014023x1false01043x1023x1false01443x1044113x1false
AProVE
20cf63ea9f01bf40524adf2af9b95e39102e7dab rene 20110328 unpublished dirty
http://aprove.informatik.rwth-aachen.de/
John
Doe