0123x120312x10123x120313x10123x120321x10123x121030x10123x121302x10123x121430x10123x123021x10123x1203211x10123x1203321x10123x1213030x10153x1210335x10153x1210345x10523x120335x10523x1200353x100123x1020310x100123x1211300x100423x1034032x100423x1300244x100523x1035240x101023x1324100x101053x1011503x101053x1150034x101213x1210031x101223x1203312x101233x1203341x101253x1250310x104553x1503415x104553x1540335x105213x1210335x105423x1203451x110053x1031350x110123x1111230x110123x1120351x115353x1550331x140123x1214403x140123x1432100x150053x1303550x150123x1303125x150123x1453021x150123x1510302x150123x1510312x150423x1024153x150423x1033524x150423x1244035x150523x1503542x153053x1553003x153123x1203153x153123x1330215x12.13210x121302x13210x131302x13210x112302x13210x103012x13210x120312x13210x103412x13210x112032x13210x1112302x13210x1123302x13210x1030312x13510x1533012x13510x1543012x13250x153302x13250x1353002x132100x1013020x132100x1003112x132400x1230430x132400x1442003x132500x1042530x132010x1001423x135010x1305110x135010x1430051x131210x1130012x132210x1213302x133210x1143302x135210x1013052x135540x1514305x135540x1533045x131250x1533012x132450x1154302x135001x1053130x132101x1032111x132101x1153021x135351x1133055x132104x1304412x132104x1001234x135005x1055303x132105x1521303x132105x1120354x132105x1203015x132105x1213015x132405x1351420x132405x1425330x132405x1530442x132505x1245305x135035x1300355x132135x1351302x132135x1512033x13210x1302x13210x131302x13210x13012x13210x1312x13210x13412x13210x132x13210x13302x13210x130312x13510x133012x13510x13012x13250x13302x13250x1302x13250x1353002x13250x13002x132100x13020x132100x13112x132400x130430x132400x130x132400x13x132500x130x132010x13x135010x1305110x135010x130051x131210x130012x132210x13302x132210x1302x133210x13302x133210x1302x135210x13052x135540x1305x135540x133045x135540x13045x131250x133012x131250x13012x132450x1302x135001x13130x135001x130x132101x132111x132101x13021x135351x133055x135351x13055x132104x1304412x132104x134x135005x1303x135005x13x132105x1303x132105x13x132105x1354x132105x13015x132405x1351420x132405x1330x132405x130x132405x130442x132505x1305x135035x1300355x135035x1355x132135x1351302x132135x1302x132135x133x132135x13x1true32400x13x13210x132x132010x13x135005x13x132105x13x132135x133x132135x13x1true313100001210000001014100000001010000001110000000001510000000000131000000132400x13x13210x132x132010x13x135005x13x132135x133x132135x13x1513100000000000000000000000001000012100000010000000001000000000000114100000000000000000000000010000010100100000000010000010000010011011100000000000000010000000110000015100000000001000000000100000100113100000001000111000000000000000013210x132x132010x13x135005x13x132135x133x132135x13x131310001210000000011100000000000101000000015100000000001310000001110014100113210x132x132010x13x135005x13x132135x133x13131000012100000011100000000001011000000015101000100000013100000000001410113210x132x132010x13x132135x133x13131000121100001110000010010100100000100131000000000151100000010014100132010x13x132135x133x13131000112100001101111000111100001310000100151000101410010135035x1355x1false3210x1312x1false3210x1302x1false3210x131302x1false3210x13012x1false3210x13412x1false3210x13302x1false3210x130312x1false3510x133012x1false3510x13012x1false3250x13302x1false3250x1302x1false3250x1353002x1false3250x13002x1false32100x13020x1false32100x13112x1false32400x130430x1false32400x130x1false32500x130x1false35010x1305110x1false35010x130051x1false31210x130012x1false32210x13302x1false32210x1302x1false33210x13302x1false33210x1302x1false35210x13052x1false35540x1305x1false35540x133045x1false35540x13045x1false31250x133012x1false31250x13012x1false32450x1302x1false35001x13130x1false35001x130x1false32101x132111x1false32101x13021x1false35351x133055x1false35351x13055x1false32104x1304412x1false32104x134x1false35005x1303x1false32105x1303x1false32105x1354x1false32105x13015x1false32405x1351420x1false32405x1330x1false32405x130x1false32405x130442x1false32505x1305x1false35035x1300355x1false32135x1351302x1false32135x1302x1falseAProVEAProVE Commit ID: 794c25de1cacf0d048858bcd21c9a779e1221865 marcel 20200619 unpublished dirty Statistics for single proof: 100.00 % (10 real / 0 unknown / 0 assumptions / 10 total proof steps)http://aprove.informatik.rwth-aachen.deJohnDoe