/export/starexec/sandbox2/solver/bin/starexec_run_certified /export/starexec/sandbox2/benchmark/theBenchmark.xml /export/starexec/sandbox2/output/output_files -------------------------------------------------------------------------------- YES 0012x13454453003x13222x10324441353x102452x10340000313x114051x15444543330x154120x10044304130x1032535x13134434335x1051150x10003133130x1125223x10424543433x1200123x11333134443x1201351x10034545301x1255001x14103431530x1304031x14445301031x1321550x14133404330x1324122x14445420342x1325220x13440213530x1341223x13541444445x1352035x13343434425x1400014x12303341314x1401324x14141331414x1430544x14345314424x1512350x12244244330x1530133x12441443133x1545553x13544243403x1550153x15444130543x1555022x12414343443x1555523x13304142443x10245223x10514413153x10304153x10033443005x10434522x10045342332x11320223x11343511123x11455220x13213445030x11502224x10513543314x11540213x10115334403x12015205x13400313025x12200224x12114454444x12305013x12310510313x12402250x11304544030x12450250x14431340511x12522524x14341304044x13202222x14531323505x13255245x13000324345x13255323x13105032433x13350222x14430433535x13452112x13453544205x14033154x11310003444x14124122x13453114405x15252332x14310313253x15322302x14543310502x15325250x15422443031x15522220x10535131030x15552110x14224542331x15552200x11403342331x12.12100x13003544543x12223x13531444230x125420x13130000430x115041x10333454445x102145x10314034400x1535230x15334344313x1051150x10313313000x1322521x13343454240x1321002x13444313331x1153102x11035454300x1100552x10351343014x1130403x11301035444x1055123x10334043314x1221423x12430245444x1022523x10353120443x1322143x15444441453x1530253x15244343433x1410004x14131433032x1423104x14141331414x1445034x14244135434x1053215x10334424422x1331035x13313441442x1355545x13043424453x1351055x13450314445x1220555x13443434142x1325555x13442414033x13225420x13513144150x13514030x15003443300x12254340x12332435400x13220231x13211153431x10225541x10305443123x14222051x14133453150x13120451x13044335110x15025102x15203130043x14220022x14444544112x13105032x13130150132x10522042x10304454031x10520542x11150431344x14252252x14404031434x12222023x15053231354x15425523x15434230003x13235523x13342305013x12220533x15353340344x12112543x15024453543x14513304x14443000131x12214214x15044113543x12332525x13523130134x12032235x12050133454x10525235x11303442245x10222255x10301315350x10112555x11332454224x10022555x11332433041x12100x13003544543x12100x1003544543x12100x103544543x12100x13544543x12100x1544543x12100x144543x12100x14543x12100x1543x12100x143x12100x13x12223x13531444230x12223x1531444230x12223x131444230x12223x11444230x12223x1444230x12223x144230x12223x14230x12223x1230x12223x130x12223x10x125420x13130000430x125420x1130000430x125420x130000430x125420x10000430x125420x1000430x125420x100430x125420x10430x125420x1430x125420x130x115041x10333454445x115041x1333454445x115041x133454445x115041x13454445x115041x1454445x115041x154445x115041x14445x115041x1445x115041x145x115041x15x102145x10314034400x102145x1314034400x102145x114034400x102145x14034400x102145x1034400x102145x134400x102145x14400x102145x1400x102145x100x102145x10x1535230x15334344313x1535230x1334344313x1535230x134344313x1535230x14344313x1535230x1344313x1535230x144313x1535230x14313x1535230x1313x1535230x113x1535230x13x1051150x10313313000x1051150x1313313000x1051150x113313000x1051150x13313000x1051150x1313000x1051150x113000x1051150x13000x1051150x1000x1051150x100x1322521x13343454240x1322521x1343454240x1322521x143454240x1322521x13454240x1322521x1454240x1322521x154240x1322521x14240x1322521x1240x1322521x140x1322521x10x1321002x13444313331x1321002x1444313331x1321002x144313331x1321002x14313331x1321002x1313331x1321002x113331x1321002x13331x1321002x1331x1321002x131x1321002x11x1153102x11035454300x1153102x1035454300x1153102x135454300x1153102x15454300x1153102x1454300x1153102x154300x1153102x14300x1153102x1300x1153102x100x1153102x10x1100552x10351343014x1100552x1351343014x1100552x151343014x1100552x11343014x1100552x1343014x1100552x143014x1100552x13014x1100552x1014x1100552x114x1100552x14x1130403x11301035444x1130403x1301035444x1130403x101035444x1130403x11035444x1130403x1035444x1130403x135444x1130403x15444x1130403x1444x1130403x144x1130403x14x1055123x10334043314x1055123x1334043314x1055123x134043314x1055123x14043314x1055123x1043314x1055123x143314x1055123x13314x1055123x1314x1055123x114x1055123x14x1221423x12430245444x1221423x1430245444x1221423x130245444x1221423x10245444x1221423x1245444x1221423x145444x1221423x15444x1221423x1444x1221423x144x1221423x14x1022523x10353120443x1022523x1353120443x1022523x153120443x1022523x13120443x1022523x1120443x1022523x120443x1022523x10443x1022523x1443x1022523x143x1322143x15444441453x1322143x1444441453x1322143x144441453x1322143x14441453x1322143x1441453x1322143x141453x1322143x11453x1322143x1453x1322143x153x1530253x15244343433x1530253x1244343433x1530253x144343433x1530253x14343433x1530253x1343433x1530253x143433x1530253x13433x1530253x1433x1530253x133x1410004x14131433032x1410004x1131433032x1410004x131433032x1410004x11433032x1410004x1433032x1410004x133032x1410004x13032x1410004x1032x1410004x132x1410004x12x1423104x14141331414x1423104x1141331414x1423104x141331414x1423104x11331414x1423104x1331414x1423104x131414x1423104x11414x1423104x1414x1423104x114x1445034x14244135434x1445034x1244135434x1445034x144135434x1445034x14135434x1445034x1135434x1445034x135434x1445034x15434x1445034x1434x1053215x10334424422x1053215x1334424422x1053215x134424422x1053215x14424422x1053215x1424422x1053215x124422x1053215x14422x1053215x1422x1053215x122x1053215x12x1331035x13313441442x1331035x1313441442x1331035x113441442x1331035x13441442x1331035x1441442x1331035x141442x1331035x11442x1331035x1442x1331035x142x1331035x12x1355545x13043424453x1355545x1043424453x1355545x143424453x1355545x13424453x1355545x1424453x1355545x124453x1355545x14453x1355545x1453x1355545x153x1355545x13x1351055x13450314445x1351055x1450314445x1351055x150314445x1351055x10314445x1351055x1314445x1351055x114445x1351055x14445x1351055x1445x1351055x145x1220555x13443434142x1220555x1443434142x1220555x143434142x1220555x13434142x1220555x1434142x1220555x134142x1220555x14142x1220555x1142x1220555x142x1220555x12x1325555x13442414033x1325555x1442414033x1325555x142414033x1325555x12414033x1325555x1414033x1325555x114033x1325555x14033x1325555x1033x1325555x133x1325555x13x13225420x13513144150x13225420x1513144150x13225420x113144150x13225420x13144150x13225420x1144150x13225420x144150x13225420x14150x13225420x1150x13225420x150x13514030x15003443300x13514030x1003443300x13514030x103443300x13514030x13443300x13514030x1443300x13514030x143300x13514030x13300x13514030x1300x13514030x100x12254340x12332435400x12254340x1332435400x12254340x132435400x12254340x12435400x12254340x1435400x12254340x135400x12254340x15400x12254340x1400x12254340x100x13220231x13211153431x13220231x1211153431x13220231x111153431x13220231x11153431x13220231x1153431x13220231x153431x13220231x13431x13220231x1431x10225541x10305443123x10225541x1305443123x10225541x105443123x10225541x15443123x10225541x1443123x10225541x143123x10225541x13123x10225541x1123x10225541x123x10225541x13x14222051x14133453150x14222051x1133453150x14222051x133453150x14222051x13453150x14222051x1453150x14222051x153150x14222051x13150x14222051x1150x14222051x150x14222051x10x13120451x13044335110x13120451x1044335110x13120451x144335110x13120451x14335110x13120451x1335110x13120451x135110x13120451x15110x13120451x1110x13120451x110x13120451x10x15025102x15203130043x15025102x1203130043x15025102x103130043x15025102x13130043x15025102x1130043x15025102x130043x15025102x10043x15025102x1043x15025102x143x15025102x13x14220022x14444544112x14220022x1444544112x14220022x144544112x14220022x14544112x14220022x1544112x14220022x144112x14220022x14112x14220022x1112x14220022x112x13105032x13130150132x13105032x1130150132x13105032x130150132x13105032x10150132x13105032x1150132x13105032x150132x13105032x10132x13105032x1132x10522042x10304454031x10522042x1304454031x10522042x104454031x10522042x14454031x10522042x1454031x10522042x154031x10522042x14031x10522042x1031x10522042x131x10522042x11x10520542x11150431344x10520542x1150431344x10520542x150431344x10520542x10431344x10520542x1431344x10520542x131344x10520542x11344x10520542x1344x10520542x144x10520542x14x14252252x14404031434x14252252x1404031434x14252252x104031434x14252252x14031434x14252252x1031434x14252252x131434x14252252x11434x14252252x1434x14252252x134x14252252x14x12222023x15053231354x12222023x1053231354x12222023x153231354x12222023x13231354x12222023x1231354x12222023x131354x12222023x11354x12222023x1354x12222023x154x12222023x14x15425523x15434230003x15425523x1434230003x15425523x134230003x15425523x14230003x15425523x1230003x15425523x130003x15425523x10003x15425523x1003x15425523x103x13235523x13342305013x13235523x1342305013x13235523x142305013x13235523x12305013x13235523x1305013x13235523x105013x13235523x15013x13235523x1013x13235523x113x12220533x15353340344x12220533x1353340344x12220533x153340344x12220533x13340344x12220533x1340344x12220533x140344x12220533x10344x12220533x1344x12220533x144x12220533x14x12112543x15024453543x12112543x1024453543x12112543x124453543x12112543x14453543x12112543x1453543x12112543x153543x12112543x13543x14513304x14443000131x14513304x1443000131x14513304x143000131x14513304x13000131x14513304x1000131x14513304x100131x14513304x10131x14513304x1131x14513304x131x14513304x11x12214214x15044113543x12214214x1044113543x12214214x144113543x12214214x14113543x12214214x1113543x12214214x113543x12214214x13543x12214214x1543x12214214x143x12214214x13x12332525x13523130134x12332525x1523130134x12332525x123130134x12332525x13130134x12332525x1130134x12332525x130134x12332525x10134x12332525x1134x12332525x134x12332525x14x12032235x12050133454x12032235x1050133454x12032235x150133454x12032235x10133454x12032235x1133454x12032235x133454x12032235x13454x12032235x1454x12032235x154x12032235x14x10525235x11303442245x10525235x1303442245x10525235x103442245x10525235x13442245x10525235x1442245x10525235x142245x10525235x12245x10525235x1245x10525235x145x10222255x10301315350x10222255x1301315350x10222255x101315350x10222255x11315350x10222255x1315350x10222255x115350x10222255x15350x10222255x1350x10222255x150x10222255x10x10112555x11332454224x10112555x1332454224x10112555x132454224x10112555x12454224x10112555x1454224x10112555x154224x10112555x14224x10112555x1224x10112555x124x10112555x14x10022555x11332433041x10022555x1332433041x10022555x132433041x10022555x12433041x10022555x1433041x10022555x133041x10022555x13041x10022555x1041x10022555x141x10022555x11x1true251031021001051041011001011021031041120100000x130000030514140514030x1302020502010x130314031405140214000x1302020502011x130314031405140214001x120100001x130000030514140514031x1302020502010x1314031405140214000x1302020502011x1314031405140214001x1302020502010x14031405140214000x1302020502011x14031405140214001x1302020502010x131405140214000x1302020502011x131405140214001x1302020502010x1405140214000x1302020502011x1405140214001x1302020502010x15140214000x1302020502011x15140214001x1302020502010x140214000x1302020502011x140214001x1302020502010x1214000x1302020502011x1214001x1302020502010x14000x1302020502011x14001x1302020502010x100x1302020502011x101x1302010000020x131414140301030303010x1302010000021x131414140301030303011x1302010000020x1414140301030303010x1302010000021x1414140301030303011x1302010000020x14140301030303010x1302010000021x14140301030303011x1302010000020x140301030303010x1302010000021x140301030303011x1302010000020x1301030303010x1302010000021x1301030303011x1302010000020x11030303010x1302010000021x11030303011x1302010000020x130303010x1302010000021x130303011x1302010000020x1303010x1302010000021x1303011x1302010000020x13010x1302010000021x13011x1302010000020x110x1302010000021x111x1302020114030x151414141414011405030x1302020114031x151414141414011405031x1302020114030x1414141414011405030x1302020114031x1414141414011405031x1302020114030x14141414011405030x1302020114031x14141414011405031x1302020114030x141414011405030x1302020114031x141414011405031x1302020114030x1414011405030x1302020114031x1414011405031x1302020114030x14011405030x1302020114031x14011405031x1302020114030x111405030x1302020114031x111405031x1302020114030x1405030x1302020114031x1405031x1302020114030x15030x1302020114031x15031x1303010003050x130301031414011414020x1303010003051x130301031414011414021x1303010003050x1301031414011414020x1303010003051x1301031414011414021x1303010003050x11031414011414020x1303010003051x11031414011414021x1303010003050x131414011414020x1303010003051x131414011414021x1303010003050x1414011414020x1303010003051x1414011414021x1303010003050x14011414020x1303010003051x14011414021x1303010003050x111414020x1303010003051x111414021x1303010003050x1414020x1303010003051x1414021x1303010003050x14020x1303010003051x14021x1303010003050x120x1303010003051x121x1305050514050x130014031402141405030x1305050514051x130014031402141405031x1305050514050x1014031402141405030x1305050514051x1014031402141405031x1305050514050x14031402141405030x1305050514051x14031402141405031x1305050514050x131402141405030x1305050514051x131402141405031x1305050514050x1402141405030x1305050514051x1402141405031x1305050514050x12141405030x1305050514051x12141405031x1305050514050x141405030x1305050514051x141405031x1305050514050x1405030x1305050514051x1405031x1305050514050x15030x1305050514051x15031x1305050514050x130x1305050514051x131x1305010005050x131405000301141414050x1305010005051x131405000301141414051x1305010005050x1405000301141414050x1305010005051x1405000301141414051x1305010005050x15000301141414050x1305010005051x15000301141414051x1305010005050x100301141414050x1305010005051x100301141414051x1305010005050x1301141414050x1305010005051x1301141414051x1305010005050x11141414050x1305010005051x11141414051x1305010005050x141414050x1305010005051x141414051x1305010005050x1414050x1305010005051x1414051x1305010005050x14050x1305010005051x14051x1302050505050x131414021401140003030x1302050505051x131414021401140003031x1302050505050x1414021401140003030x1302050505051x1414021401140003031x1302050505050x14021401140003030x1302050505051x14021401140003031x1302050505050x121401140003030x1302050505051x121401140003031x1302050505050x1401140003030x1302050505051x1401140003031x1302050505050x11140003030x1302050505051x11140003031x1302050505050x140003030x1302050505051x140003031x1302050505050x1003030x1302050505051x1003031x1302050505050x13030x1302050505051x13031x1302050505050x130x1302050505051x131x130202051402000x130501030114140105000x130202051402001x130501030114140105001x130202051402000x1501030114140105000x130202051402001x1501030114140105001x130202051402000x11030114140105000x130202051402001x11030114140105001x130202051402000x130114140105000x130202051402001x130114140105001x130202051402000x1114140105000x130202051402001x1114140105001x130202051402000x14140105000x130202051402001x14140105001x130202051402000x140105000x130202051402001x140105001x130202051402000x1105000x130202051402001x1105001x130202051402000x15000x130202051402001x15001x130501140003000x150000031414030300000x130501140003001x150000031414030300001x130501140003000x1000031414030300000x130501140003001x1000031414030300001x130501140003000x10031414030300000x130501140003001x10031414030300001x130501140003000x131414030300000x130501140003001x131414030300001x130501140003000x1414030300000x130501140003001x1414030300001x130501140003000x14030300000x130501140003001x14030300001x130501140003000x130300000x130501140003001x130300001x130501140003000x1300000x130501140003001x1300001x130501140003000x10000x130501140003001x10001x130202000203010x130201010105031403010x130202000203011x130201010105031403011x130202000203010x1201010105031403010x130202000203011x1201010105031403011x130202000203010x11010105031403010x130202000203011x11010105031403011x130202000203010x110105031403010x130202000203011x110105031403011x130202000203010x1105031403010x130202000203011x1105031403011x130202000203010x15031403010x130202000203011x15031403011x130202000203010x131403010x130202000203011x131403011x130202000203010x1403010x130202000203011x1403011x130102001405010x130014140303050101000x130102001405011x130014140303050101001x130102001405010x1014140303050101000x130102001405011x1014140303050101001x130102001405010x14140303050101000x130102001405011x14140303050101001x130102001405010x140303050101000x130102001405011x140303050101001x130102001405010x1303050101000x130102001405011x1303050101001x130102001405010x13050101000x130102001405011x13050101001x130102001405010x150101000x130102001405011x150101001x130102001405010x1101000x130102001405011x1101001x130102001405010x11000x130102001405011x11001x130102001405010x100x130102001405011x101x130100050003020x130103000105000103020x130100050003021x130103000105000103021x130100050003020x1103000105000103020x130100050003021x1103000105000103021x130100050003020x13000105000103020x130100050003021x13000105000103021x130100050003020x100105000103020x130100050003021x100105000103021x130100050003020x1105000103020x130100050003021x1105000103021x130100050003020x15000103020x130100050003021x15000103021x130100050003020x100103020x130100050003021x100103021x130100050003020x1103020x130100050003021x1103021x130203050502030x130314020300050001030x130203050502031x130314020300050001031x130203050502030x1314020300050001030x130203050502031x1314020300050001031x130203050502030x14020300050001030x130203050502031x14020300050001031x130203050502030x120300050001030x130203050502031x120300050001031x130203050502030x1300050001030x130203050502031x1300050001031x130203050502030x10050001030x130203050502031x10050001031x130203050502030x150001030x130203050502031x150001031x130203050502030x1001030x130203050502031x1001031x130203050502030x11030x130203050502031x11031x120100000x1000030514140514030x10020114050x100301140003141400000x10020114051x100301140003141400001x120100001x1000030514140514031x10020114050x1301140003141400000x10020114051x1301140003141400001x10020114050x11140003141400000x10020114051x11140003141400001x10020114050x140003141400000x10020114051x140003141400001x10020114050x1003141400000x10020114051x1003141400001x10020114050x13141400000x10020114051x13141400001x10020114050x141400000x10020114051x141400001x10020114050x1400000x10020114051x1400001x10020114050x10000x10020114051x10001x10020114050x100x10020114051x101x1005010105000x100301030301030000000x1005010105001x100301030301030000001x1005010105000x1301030301030000000x1005010105001x1301030301030000001x1005010105000x11030301030000000x1005010105001x11030301030000001x1005010105000x130301030000000x1005010105001x130301030000001x1005010105000x1301030000000x1005010105001x1301030000001x1005010105000x11030000000x1005010105001x11030000001x1005010105000x130000000x1005010105001x130000001x1005010105000x1000000x1005010105001x1000001x1005010105000x10000x1005010105001x10001x1005050102030x100303140014030301140x1005050102031x100303140014030301141x1005050102030x1303140014030301140x1005050102031x1303140014030301141x1005050102030x13140014030301140x1005050102031x13140014030301141x1005050102030x140014030301140x1005050102031x140014030301141x1005050102030x1014030301140x1005050102031x1014030301141x1005050102030x14030301140x1005050102031x14030301141x1005050102030x130301140x1005050102031x130301141x1005050102030x1301140x1005050102031x1301141x1005050102030x11140x1005050102031x11141x1005050102030x140x1005050102031x141x1002020502030x100305030102001414030x1002020502031x100305030102001414031x1002020502030x1305030102001414030x1002020502031x1305030102001414031x1002020502030x15030102001414030x1002020502031x15030102001414031x1002020502030x130102001414030x1002020502031x130102001414031x1002020502030x1102001414030x1002020502031x1102001414031x1002020502030x12001414030x1002020502031x12001414031x1002020502030x101414030x1002020502031x101414031x1002020502030x1414030x1002020502031x1414031x1002020502030x14030x1002020502031x14031x1005030201050x100303141402141402020x1005030201051x100303141402141402021x1005030201050x1303141402141402020x1005030201051x1303141402141402021x1005030201050x13141402141402020x1005030201051x13141402141402021x1005030201050x141402141402020x1005030201051x141402141402021x1005030201050x1402141402020x1005030201051x1402141402021x1005030201050x12141402020x1005030201051x12141402021x1005030201050x141402020x1005030201051x141402021x1005030201050x1402020x1005030201051x1402021x1005030201050x12020x1005030201051x12021x1005030201050x120x1005030201051x121x100202050514010x100300051414030102030x100202050514011x100300051414030102031x100202050514010x1300051414030102030x100202050514011x1300051414030102031x100202050514010x10051414030102030x100202050514011x10051414030102031x100202050514010x151414030102030x100202050514011x151414030102031x100202050514010x1414030102030x100202050514011x1414030102031x100202050514010x14030102030x100202050514011x14030102031x100202050514010x130102030x100202050514011x130102031x100202050514010x1102030x100202050514011x1102031x100202050514010x12030x100202050514011x12031x100202050514010x130x100202050514011x131x100502020014020x100300141405140003010x100502020014021x100300141405140003011x100502020014020x1300141405140003010x100502020014021x1300141405140003011x100502020014020x10141405140003010x100502020014021x10141405140003011x100502020014020x141405140003010x100502020014021x141405140003011x100502020014020x1405140003010x100502020014021x1405140003011x100502020014020x15140003010x100502020014021x15140003011x100502020014020x140003010x100502020014021x140003011x100502020014020x1003010x100502020014021x1003011x100502020014020x13010x100502020014021x13011x100502020014020x110x100502020014021x111x100502000514020x110105001403010314140x100502000514021x110105001403010314141x100502000514020x1105001403010314140x100502000514021x1105001403010314141x100502000514020x15001403010314140x100502000514021x15001403010314141x100502000514020x101403010314140x100502000514021x101403010314141x100502000514020x1403010314140x100502000514021x1403010314141x100502000514020x13010314140x100502000514021x13010314141x100502000514020x110314140x100502000514021x110314141x100502000514020x1314140x100502000514021x1314141x100502000514020x14140x100502000514021x14141x100502000514020x140x100502000514021x141x100502050203050x110300031414020214050x100502050203051x110300031414020214051x100502050203050x1300031414020214050x100502050203051x1300031414020214051x100502050203050x10031414020214050x100502050203051x10031414020214051x100502050203050x131414020214050x100502050203051x131414020214051x100502050203050x1414020214050x100502050203051x1414020214051x100502050203050x14020214050x100502050203051x14020214051x100502050203050x120214050x100502050203051x120214051x100502050203050x1214050x100502050203051x1214051x100502050203050x14050x100502050203051x14051x100202020205050x100300010301050305000x100202020205051x100300010301050305001x100202020205050x1300010301050305000x100202020205051x1300010301050305001x100202020205050x10010301050305000x100202020205051x10010301050305001x100202020205050x110301050305000x100202020205051x110301050305001x100202020205050x1301050305000x100202020205051x1301050305001x100202020205050x11050305000x100202020205051x11050305001x100202020205050x150305000x100202020205051x150305001x100202020205050x1305000x100202020205051x1305001x100202020205050x15000x100202020205051x15001x100202020205050x100x100202020205051x101x100101020505050x110303021405140202140x100101020505051x110303021405140202141x100101020505050x1303021405140202140x100101020505051x1303021405140202141x100101020505050x13021405140202140x100101020505051x13021405140202141x100101020505050x121405140202140x100101020505051x121405140202141x100101020505050x1405140202140x100101020505051x1405140202141x100101020505050x15140202140x100101020505051x15140202141x100101020505050x140202140x100101020505051x140202141x100101020505050x1202140x100101020505051x1202141x100101020505050x12140x100101020505051x12141x100101020505050x140x100101020505051x141x100002020505050x110303021403030014010x100002020505051x110303021403030014011x100002020505050x1303021403030014010x100002020505051x1303021403030014011x100002020505050x13021403030014010x100002020505051x13021403030014011x100002020505050x121403030014010x100002020505051x121403030014011x100002020505050x1403030014010x100002020505051x1403030014011x100002020505050x13030014010x100002020505051x13030014011x100002020505050x130014010x100002020505051x130014011x100002020505050x1014010x100002020505051x1014011x100002020505050x14010x100002020505051x14011x100002020505050x110x100002020505051x111x120100000x10030514140514030x120100001x10030514140514031x120100000x130514140514030x120100001x130514140514031x120100000x1514140514030x1503050203000x150303140314140301030x1503050203001x150303140314140301031x120100001x1514140514031x1503050203000x1303140314140301030x1503050203001x1303140314140301031x1503050203000x13140314140301030x1503050203001x13140314140301031x1503050203000x140314140301030x1503050203001x140314140301031x1503050203000x1314140301030x1503050203001x1314140301031x1503050203000x14140301030x1503050203001x14140301031x1503050203000x140301030x1503050203001x140301031x1503050203000x1301030x1503050203001x1301031x1503050203000x11030x1503050203001x11031x1503050203000x130x1503050203001x131x1503000205030x150214140314031403030x1503000205031x150214140314031403031x1503000205030x1214140314031403030x1503000205031x1214140314031403031x1503000205030x14140314031403030x1503000205031x14140314031403031x1503000205030x140314031403030x1503000205031x140314031403031x1503000205030x1314031403030x1503000205031x1314031403031x1503000205030x14031403030x1503000205031x14031403031x1503000205030x131403030x1503000205031x131403031x1503000205030x1403030x1503000205031x1403031x1503000205030x13030x1503000205031x13031x150002050100020x150200030103000014030x150002050100021x150200030103000014031x150002050100020x1200030103000014030x150002050100021x1200030103000014031x150002050100020x10030103000014030x150002050100021x10030103000014031x150002050100020x130103000014030x150002050100021x130103000014031x150002050100020x1103000014030x150002050100021x1103000014031x150002050100020x13000014030x150002050100021x13000014031x150002050100020x100014030x150002050100021x100014031x150002050100020x1014030x150002050100021x1014031x150002050100020x14030x150002050100021x14031x150002050100020x130x150002050100021x131x151402050502030x151403140203000000030x151402050502031x151403140203000000031x151402050502030x1403140203000000030x151402050502031x1403140203000000031x151402050502030x13140203000000030x151402050502031x13140203000000031x151402050502030x140203000000030x151402050502031x140203000000031x151402050502030x1203000000030x151402050502031x1203000000031x151402050502030x13000000030x151402050502031x13000000031x151402050502030x100000030x151402050502031x100000031x151402050502030x1000030x151402050502031x1000031x151402050502030x10030x151402050502031x10031x120100000x14140514030x1401000000140x140103011403030003020x1401000000141x140103011403030003021x120100001x14140514031x1401000000140x1103011403030003020x1401000000141x1103011403030003021x1401000000140x13011403030003020x1401000000141x13011403030003021x1401000000140x111403030003020x1401000000141x111403030003021x1401000000140x1403030003020x1401000000141x1403030003021x1401000000140x13030003020x1401000000141x13030003021x1401000000140x130003020x1401000000141x130003021x1401000000140x1003020x1401000000141x1003021x1401000000140x13020x1401000000141x13021x1401000000140x120x1401000000141x121x1402030100140x140114010303011401140x1402030100141x140114010303011401141x1402030100140x1114010303011401140x1402030100141x1114010303011401141x1402030100140x14010303011401140x1402030100141x14010303011401141x1402030100140x110303011401140x1402030100141x110303011401141x1402030100140x1303011401140x1402030100141x1303011401141x1402030100140x13011401140x1402030100141x13011401141x1402030100140x111401140x1402030100141x111401141x1402030100140x1401140x1402030100141x1401141x1402030100140x11140x1402030100141x11141x1414050003140x140214140103051403140x1414050003141x140214140103051403141x1414050003140x1214140103051403140x1414050003141x1214140103051403141x1414050003140x14140103051403140x1414050003141x14140103051403141x1414050003140x140103051403140x1414050003141x140103051403141x1414050003140x1103051403140x1414050003141x1103051403141x1414050003140x13051403140x1414050003141x13051403141x1414050003140x151403140x1414050003141x151403141x1414050003140x1403140x1414050003141x1403141x140202020005010x140103031405030105000x140202020005011x140103031405030105001x140202020005010x1103031405030105000x140202020005011x1103031405030105001x140202020005010x13031405030105000x140202020005011x13031405030105001x140202020005010x131405030105000x140202020005011x131405030105001x140202020005010x1405030105000x140202020005011x1405030105001x140202020005010x15030105000x140202020005011x15030105001x140202020005010x130105000x140202020005011x130105001x140202020005010x1105000x140202020005011x1105001x140202020005010x15000x140202020005011x15001x140202020005010x100x140202020005011x101x140202000002020x141414140514140101020x140202000002021x141414140514140101021x140202000002020x1414140514140101020x140202000002021x1414140514140101021x140202000002020x14140514140101020x140202000002021x14140514140101021x140202000002020x140514140101020x140202000002021x140514140101021x140202000002020x1514140101020x140202000002021x1514140101021x140202000002020x14140101020x140202000002021x14140101021x140202000002020x140101020x140202000002021x140101021x140202000002020x1101020x140202000002021x1101021x140202000002020x11020x140202000002021x11021x140205020205020x141400140003011403140x140205020205021x141400140003011403141x140205020205020x1400140003011403140x140205020205021x1400140003011403141x140205020205020x10140003011403140x140205020205021x10140003011403141x140205020205020x140003011403140x140205020205021x140003011403141x140205020205020x1003011403140x140205020205021x1003011403141x140205020205020x13011403140x140205020205021x13011403141x140205020205020x111403140x140205020205021x111403141x140205020205020x1403140x140205020205021x1403141x140205020205020x13140x140205020205021x13141x140205020205020x140x140205020205021x141x140501030300140x141414030000000103010x140501030300141x141414030000000103011x140501030300140x1414030000000103010x140501030300141x1414030000000103011x140501030300140x14030000000103010x140501030300141x14030000000103011x140501030300140x130000000103010x140501030300141x130000000103011x140501030300140x1000000103010x140501030300141x1000000103011x140501030300140x10000103010x140501030300141x10000103011x140501030300140x100103010x140501030300141x100103011x140501030300140x1103010x140501030300141x1103011x140501030300140x13010x140501030300141x13011x140501030300140x110x140501030300141x111x120100000x140514030x120100001x140514031x120100000x1514030x120100001x1514031x120100000x14030x120100001x14031x120100000x130x120100001x131x120202030x130503011414140203000x120202031x130503011414140203001x120202030x1503011414140203000x120202031x1503011414140203001x120202030x13011414140203000x120202031x13011414140203001x120202030x111414140203000x11050014010x100303031405141414050x11050014011x100303031405141414051x120202031x111414140203001x11050014010x1303031405141414050x11050014011x1303031405141414051x11050014010x13031405141414050x11050014011x13031405141414051x11050014010x131405141414050x11050014011x131405141414051x11050014010x1405141414050x11050014011x1405141414051x11050014010x15141414050x11050014011x15141414051x11050014010x141414050x11050014011x141414051x11050014010x1414050x11050014011x1414051x11050014010x14050x11050014011x14051x11050014010x150x11050014011x151x1105030100020x110003051405140300000x1105030100021x110003051405140300001x1105030100020x1003051405140300000x1105030100021x1003051405140300001x1105030100020x13051405140300000x1105030100021x13051405140300001x1105030100020x151405140300000x1105030100021x151405140300001x1105030100020x1405140300000x1105030100021x1405140300001x1105030100020x15140300000x1105030100021x15140300001x1105030100020x140300000x1105030100021x140300001x1105030100020x1300000x1105030100021x1300001x1105030100020x10000x1105030100021x10001x1105030100020x100x1105030100021x101x1100000505020x100305010314030001140x1100000505021x100305010314030001141x1100000505020x1305010314030001140x1100000505021x1305010314030001141x1100000505020x15010314030001140x1100000505021x15010314030001141x1100000505020x110314030001140x1100000505021x110314030001141x1100000505020x1314030001140x1100000505021x1314030001141x1100000505020x14030001140x1100000505021x14030001141x1100000505020x130001140x1100000505021x130001141x1100000505020x1001140x1100000505021x1001141x1100000505020x11140x1100000505021x11141x1100000505020x140x1100000505021x141x1103001400030x110300010003051414140x1103001400031x110300010003051414141x1103001400030x1300010003051414140x1103001400031x1300010003051414141x1103001400030x10010003051414140x1103001400031x10010003051414141x1103001400030x110003051414140x1103001400031x110003051414141x1103001400030x1003051414140x1103001400031x1003051414141x1103001400030x13051414140x1103001400031x13051414141x1103001400030x151414140x1103001400031x151414141x1103001400030x1414140x1103001400031x1414141x1103001400030x14140x1103001400031x14141x1103001400030x140x1103001400031x141x120202030x1414140203000x120202031x1414140203001x120202030x14140203000x120202031x14140203001x120202030x140203000x120202031x140203001x120202030x1203000x120202031x1203001x120202030x13000x120202031x13001x120202030x100x120202031x101x12051402000x130103000000001403000x12051402001x130103000000001403001x12051402000x1103000000001403000x12051402001x1103000000001403001x12051402000x13000000001403000x12051402001x13000000001403001x12051402000x100000001403000x12051402001x100000001403001x12051402000x1000001403000x12051402001x1000001403001x12051402000x10001403000x12051402001x10001403001x12051402000x101403000x12051402001x101403001x12051402000x1403000x12051402001x1403001x12051402000x13000x12051402001x13001x1202011402030x121403000214051414140x1202011402031x121403000214051414141x1202011402030x1403000214051414140x1202011402031x1403000214051414141x1202011402030x13000214051414140x1202011402031x13000214051414141x1202011402030x100214051414140x1202011402031x100214051414141x1202011402030x1214051414140x1202011402031x1214051414141x1202011402030x14051414140x1202011402031x14051414141x1202011402030x151414140x1202011402031x151414141x1202011402030x1414140x1202011402031x1414141x1202011402030x14140x1202011402031x14141x1202011402030x140x1202011402031x141x1202000505050x131414031403140114020x1202000505051x131414031403140114021x1202000505050x1414031403140114020x1202000505051x1414031403140114021x1202000505050x14031403140114020x1202000505051x14031403140114021x1202000505050x131403140114020x1202000505051x131403140114021x1202000505050x1403140114020x1202000505051x1403140114021x1202000505050x13140114020x1202000505051x13140114021x1202000505050x140114020x1202000505051x140114021x1202000505050x1114020x1202000505051x1114021x1202000505050x14020x1202000505051x14021x1202000505050x120x1202000505051x121x120205140314000x120303021403051400000x120205140314001x120303021403051400001x120205140314000x1303021403051400000x120205140314001x1303021403051400001x120205140314000x13021403051400000x120205140314001x13021403051400001x120205140314000x121403051400000x120205140314001x121403051400001x120205140314000x1403051400000x120205140314001x1403051400001x120205140314000x13051400000x120205140314001x13051400001x120205140314000x151400000x120205140314001x151400001x120205140314000x1400000x120205140314001x1400001x120205140314000x10000x120205140314001x10001x120202020002030x150005030203010305140x120202020002031x150005030203010305141x120202020002030x1005030203010305140x120202020002031x1005030203010305141x120202020002030x15030203010305140x120202020002031x15030203010305141x120202020002030x130203010305140x120202020002031x130203010305141x120202020002030x1203010305140x120202020002031x1203010305141x120202020002030x13010305140x120202020002031x13010305141x120202020002030x110305140x120202020002031x110305141x120202020002030x1305140x120202020002031x1305141x120202020002030x15140x120202020002031x15141x120202020002030x140x120202020002031x141x120202000503030x150305030314000314140x120202000503031x150305030314000314141x120202000503030x1305030314000314140x120202000503031x1305030314000314141x120202000503030x15030314000314140x120202000503031x15030314000314141x120202000503030x130314000314140x120202000503031x130314000314141x120202000503030x1314000314140x120202000503031x1314000314141x120202000503030x14000314140x120202000503031x14000314141x120202000503030x100314140x120202000503031x100314141x120202000503030x1314140x120202000503031x1314141x120202000503030x14140x120202000503031x14141x120202000503030x140x120202000503031x141x120101020514030x150002141405030514030x120101020514031x150002141405030514031x120101020514030x1002141405030514030x120101020514031x1002141405030514031x120101020514030x12141405030514030x120101020514031x12141405030514031x120101020514030x141405030514030x120101020514031x141405030514031x120101020514030x1405030514030x120101020514031x1405030514031x120101020514030x15030514030x120101020514031x15030514031x120101020514030x130514030x120101020514031x130514031x120201140201140x150014140101030514030x120201140201141x150014140101030514031x120201140201140x1014140101030514030x120201140201141x1014140101030514031x120201140201140x14140101030514030x120201140201141x14140101030514031x120201140201140x140101030514030x120201140201141x140101030514031x120201140201140x1101030514030x120201140201141x1101030514031x120201140201140x11030514030x120201140201141x11030514031x120201140201140x130514030x120201140201141x130514031x120201140201140x1514030x120201140201141x1514031x120201140201140x14030x120201140201141x14031x120201140201140x130x120201140201141x131x120303020502050x130502030103000103140x120303020502051x130502030103000103141x120303020502050x1502030103000103140x120303020502051x1502030103000103141x120303020502050x12030103000103140x120303020502051x12030103000103141x120303020502050x130103000103140x120303020502051x130103000103141x120303020502050x1103000103140x120303020502051x1103000103141x120303020502050x13000103140x120303020502051x13000103141x120303020502050x100103140x120303020502051x100103141x120303020502050x1103140x120303020502051x1103141x120303020502050x13140x120303020502051x13141x120303020502050x140x120303020502051x141x120003020203050x120005000103031405140x120003020203051x120005000103031405141x120003020203050x1005000103031405140x120003020203051x1005000103031405141x120003020203050x15000103031405140x120003020203051x15000103031405141x120003020203050x100103031405140x120003020203051x100103031405141x120003020203050x1103031405140x120003020203051x1103031405141x120003020203050x13031405140x120003020203051x13031405141x120003020203050x131405140x120003020203051x131405141x120003020203050x1405140x120003020203051x1405141x120003020203050x15140x120003020203051x15141x120003020203050x140x120003020203051x141x120100000x130000030514140514030x120100001x130000030514140514031x120202030x130503011414140203000x120202031x130503011414140203001x12051402000x130103000000001403000x12051402001x130103000000001403001x11050014010x100303031405141414050x11050014011x100303031405141414051x10020114050x100301140003141400000x10020114051x100301140003141400001x1503050203000x150303140314140301030x1503050203001x150303140314140301031x1005010105000x100301030301030000000x1005010105001x100301030301030000001x1302020502010x130314031405140214000x1302020502011x130314031405140214001x1302010000020x131414140301030303010x1302010000021x131414140301030303011x1105030100020x110003051405140300000x1105030100021x110003051405140300001x1100000505020x100305010314030001140x1100000505021x100305010314030001141x1103001400030x110300010003051414140x1103001400031x110300010003051414141x1005050102030x100303140014030301140x1005050102031x100303140014030301141x1202011402030x121403000214051414140x1202011402031x121403000214051414141x1002020502030x100305030102001414030x1002020502031x100305030102001414031x1302020114030x151414141414011405030x1302020114031x151414141414011405031x1503000205030x150214140314031403030x1503000205031x150214140314031403031x1401000000140x140103011403030003020x1401000000141x140103011403030003021x1402030100140x140114010303011401140x1402030100141x140114010303011401141x1414050003140x140214140103051403140x1414050003141x140214140103051403141x1005030201050x100303141402141402020x1005030201051x100303141402141402021x1303010003050x130301031414011414020x1303010003051x130301031414011414021x1305050514050x130014031402141405030x1305050514051x130014031402141405031x1305010005050x131405000301141414050x1305010005051x131405000301141414051x1202000505050x131414031403140114020x1202000505051x131414031403140114021x1302050505050x131414021401140003030x1302050505051x131414021401140003031x130202051402000x130501030114140105000x130202051402001x130501030114140105001x130501140003000x150000031414030300000x130501140003001x150000031414030300001x120205140314000x120303021403051400000x120205140314001x120303021403051400001x130202000203010x130201010105031403010x130202000203011x130201010105031403011x100202050514010x100300051414030102030x100202050514011x100300051414030102031x140202020005010x140103031405030105000x140202020005011x140103031405030105001x130102001405010x130014140303050101000x130102001405011x130014140303050101001x150002050100020x150200030103000014030x150002050100021x150200030103000014031x140202000002020x141414140514140101020x140202000002021x141414140514140101021x130100050003020x130103000105000103020x130100050003021x130103000105000103021x100502020014020x100300141405140003010x100502020014021x100300141405140003011x100502000514020x110105001403010314140x100502000514021x110105001403010314141x140205020205020x141400140003011403140x140205020205021x141400140003011403141x120202020002030x150005030203010305140x120202020002031x150005030203010305141x151402050502030x151403140203000000030x151402050502031x151403140203000000031x130203050502030x130314020300050001030x130203050502031x130314020300050001031x120202000503030x150305030314000314140x120202000503031x150305030314000314141x120101020514030x150002141405030514030x120101020514031x150002141405030514031x140501030300140x141414030000000103010x140501030300141x141414030000000103011x120201140201140x150014140101030514030x120201140201141x150014140101030514031x120303020502050x130502030103000103140x120303020502051x130502030103000103141x120003020203050x120005000103031405140x120003020203051x120005000103031405141x100502050203050x110300031414020214050x100502050203051x110300031414020214051x100202020205050x100300010301050305000x100202020205051x100300010301050305001x100101020505050x110303021405140202140x100101020505051x110303021405140202141x100002020505050x110303021403030014010x100002020505051x110303021403030014011x1302020502010x14000x140202020005010x1405030105000x140202020005010x15030105000x1503050203000x140301030x140202020005010x130105000x1302020502010x100x10020114050x1400000x140202020005010x1105000x11050014010x1405141414050x140202020005010x15000x1503050203000x1301030x1302010000020x140301030303010x140202020005010x100x10020114050x10000x1005010105000x100301030301030000000x1005010105000x1301030301030000000x1302010000020x1301030303010x1302010000020x11030303010x11050014011x1405141414051x140202000002020x140514140101020x140202000002020x1514140101020x151402050502030x140203000000030x140202000002020x140101020x140202000002020x1101020x11050014010x15141414050x151402050502030x1203000000030x120100000x130000030514140514030x1302010000020x130303010x1302010000020x1303010x1302010000020x13010x1302010000020x110x11050014011x15141414051x151402050502030x13000000030x1303010003050x14020x140202020005011x1405030105001x140202000002020x11020x11050014010x14050x140205020205020x140x1401000000140x1403030003020x140501030300140x14030000000103010x140501030300140x130000000103010x1303010003050x120x120100000x1000030514140514030x1005010105000x11030301030000000x11050014011x14051x140501030300140x1000000103010x1005010105000x130301030000000x1305050514050x1405030x140501030300140x10000103010x1005010105000x1301030000000x1305050514050x15030x1503050203000x11030x11050014010x150x1503050203000x130x1302020114030x1405030x140501030300140x100103010x1005010105000x11030000000x11050014011x151x151402050502030x100000030x1005010105000x130000000x1305050514050x130x1302020114030x15030x1503000205030x1403030x140501030300140x1103010x1105030100020x110003051405140300000x1105030100020x1003051405140300000x1005010105000x1000000x1005010105000x10000x1005050102030x140x1401000000140x13030003020x1305010005050x14050x140501030300140x13010x1305010005051x14051x140501030300140x110x1105030100020x13051405140300000x1302050505050x140003030x1302050505050x1003030x1002020502030x100305030102001414030x1002020502030x1305030102001414030x1302050505050x13030x1302050505050x130x130202051402000x140105000x130202051402001x140105001x130202051402000x1105000x1105030100020x151405140300000x151402050502030x1000030x1002020502030x15030102001414030x1503000205030x13030x130202051402000x15000x150002050100020x14030x150002050100020x130x130202051402001x1105001x130501140003000x14030300000x130501140003000x130300000x130202000203010x1403010x130100050003020x130103000105000103020x130100050003020x1103000105000103020x1105030100020x1405140300000x1105030100020x15140300000x151402050502030x10030x1002020502030x130102001414030x130102001405010x140303050101000x130102001405010x1303050101000x130100050003020x13000105000103020x130100050003020x100105000103020x1002020502030x14030x1005030201050x1402020x140202020005011x15030105001x140202020005011x130105001x130100050003020x1105000103020x1105030100020x140300000x1105030100020x1300000x130100050003020x15000103020x130100050003020x100103020x1005030201050x12020x120100000x10030514140514030x1005030201050x120x120100000x130514140514030x130100050003020x1103020x1105030100020x10000x100202050514010x100300051414030102030x100202050514010x1300051414030102030x130203050502030x14020300050001030x130203050502030x120300050001030x120100000x1514140514030x120100000x140514030x120100000x1514030x120100000x14030x120100000x130x130501140003000x1300000x130203050502030x1300050001030x130203050502030x10050001030x100202050514010x10051414030102030x100202050514010x151414030102030x100202050514010x14030102030x100202050514010x130102030x130203050502030x150001030x130203050502030x1001030x100202050514010x1102030x1105030100020x100x10020114050x100x100202050514010x12030x120202030x140203000x120202030x1203000x120202030x13000x130203050502030x11030x1100000505020x140x1401000000140x130003020x1401000000140x1003020x100202050514010x130x130501140003000x10000x100502000514020x140x1401000000140x13020x1401000000140x120x120202030x100x100502020014020x1405140003010x100502020014020x15140003010x100502020014020x140003010x100502020014020x1003010x100502050203050x14050x100502050203051x14051x100202020205050x100300010301050305000x100202020205050x1300010301050305000x100202020205050x10010301050305000x100202020205050x110301050305000x1103001400030x110300010003051414140x1103001400030x1300010003051414140x1103001400031x1300010003051414141x1103001400030x10010003051414140x100202020205050x1301050305000x100202020205050x11050305000x1103001400031x110300010003051414141x1103001400031x10010003051414141x100202020205050x150305000x100202020205050x1305000x100202020205050x15000x100202020205050x100x100502020014020x13010x130102001405010x13050101000x130102001405010x150101000x130102001405010x1101000x1103001400030x110003051414140x1103001400030x1003051414140x100101020505050x140x140202020005011x1105001x100002020505050x14010x100002020505050x110x1103001400031x110003051414141x1103001400031x1003051414141x1103001400030x13051414140x1103001400031x13051414141x1103001400030x151414140x1103001400031x151414141x1103001400030x140x130102001405010x11000x130102001405010x100x100502020014020x110x12051402000x1403000x12051402000x13000x1202011402030x14051414140x1202011402031x14051414141x1202011402030x151414140x1202011402031x151414141x1202011402030x140x1202000505050x14020x1202000505050x120x120205140314000x1403051400000x120205140314000x13051400000x120205140314000x151400000x120205140314000x1400000x120205140314000x10000x120202020002030x150005030203010305140x120202020002031x150005030203010305141x120202020002030x1005030203010305140x120202020002031x1005030203010305141x120202020002030x15030203010305140x120202020002031x15030203010305141x120202020002030x130203010305140x120202020002031x130203010305141x120202020002030x1203010305140x120202020002030x13010305140x120202020002031x13010305141x120202020002030x110305140x120202020002031x110305141x120202020002030x1305140x120202020002031x1305141x120202020002030x15140x120202020002031x15141x120202020002030x140x120202000503030x140x120101020514030x1405030514030x120101020514030x15030514030x120101020514030x130514030x120303020502050x140x120003020203050x1405140x120003020203051x1405141x120003020203050x15140x120003020203051x15141x120003020203050x140x120202020002031x1203010305141x120201140201140x140101030514030x120201140201140x1101030514030x120201140201140x11030514030x120201140201140x130514030x120201140201140x1514030x120201140201140x14030x120201140201140x130x1true120111110111001113011151111411114011101111131111501111111112111130111401115011110011110111511112011120100000x130000030514140514030x1303010003050x14020x1401000000140x1403030003020x120100000x1000030514140514030x1401000000140x13030003020x130100050003020x130103000105000103020x130100050003020x1103000105000103020x130100050003020x13000105000103020x130100050003020x100105000103020x130100050003020x1105000103020x130100050003020x15000103020x120100000x10030514140514030x120100000x130514140514030x120100000x1514140514030x120100000x140514030x120100000x1514030x120100000x14030x120100000x130x1401000000140x130003020x1401000000140x1003020x1401000000140x13020x120101020514030x1405030514030x120101020514030x15030514030x120202031x130503011414140203001x10020114051x100301140003141400001x1105030100021x110003051405140300001x1401000000140x140103011403030003020x1303010003050x130301031414011414020x1303010003051x130301031414011414021x1305050514051x130014031402141405031x130501140003000x150000031414030300000x130501140003001x150000031414030300001x130102001405011x130014140303050101001x150002050100021x150200030103000014031x130100050003020x130103000105000103020x130100050003021x130103000105000103021x100502000514021x110105001403010314141x120101020514030x150002141405030514030x120101020514031x150002141405030514031x120100000x130000030514140514030x1false401000000140x13030003020x1false20100000x130514140514030x1false20100000x130x1false401000000140x130003020x1false401000000140x13020x1false30100050003020x130103000105000103020x1false30100050003020x13000105000103020x1false303010003050x14020x1false401000000140x1403030003020x1false20100000x1000030514140514030x1false30100050003020x1103000105000103020x1false30100050003020x100105000103020x1false30100050003020x1105000103020x1false30100050003020x15000103020x1false20100000x10030514140514030x1false20100000x1514140514030x1false20100000x140514030x1false20100000x1514030x1false20100000x14030x1false401000000140x1003020x1false20101020514030x1405030514030x1false20101020514030x15030514030x1false20100000x14140514030x1false20202030x1414140203000x1false20202030x14140203000x1false1050014010x141414050x1false1050014011x141414051x1false1050014010x1414050x1false1050014011x1414051x1false0020114050x141400000x1false503050203000x14140301030x1false302010000020x1414140301030303010x1false302010000020x14140301030303010x1false100000505021x141x1false103001400030x1414140x1false103001400031x1414141x1false103001400030x14140x1false103001400031x14141x1false103001400031x141x1false005050102031x141x1false202011402030x1414140x1false202011402031x1414141x1false202011402030x14140x1false202011402031x14141x1false202011402031x141x1false002020502030x1414030x1false005030201050x141402020x1false303010003050x1414020x1false305050514050x141405030x1false305010005050x141414050x1false305010005051x141414051x1false305010005050x1414050x1false305010005051x1414051x1false30202051402000x14140105000x1false30202051402001x14140105001x1false30501140003000x1414030300000x1false00202050514010x1414030102030x1false30102001405010x14140303050101000x1false40202000002020x141414140514140101020x1false40202000002020x1414140514140101020x1false40202000002020x14140514140101020x1false40202000002020x14140101020x1false00502020014020x141405140003010x1false00502000514020x14140x1false00502000514021x14141x1false00502000514021x141x1false40205020205021x141x1false20202020002031x141x1false20202000503030x14140x1false20202000503031x14141x1false20202000503031x141x1false20101020514030x141405030514030x1false40501030300140x141414030000000103010x1false40501030300140x1414030000000103010x1false20201140201140x14140101030514030x1false20303020502051x141x1false20003020203051x141x1false00101020505051x141x1false302020502010x130314031405140214000x1false302020502011x130314031405140214001x1false20100001x130000030514140514031x1false20100001x130514140514031x1false20202030x130503011414140203000x1false20202031x130503011414140203001x1false20202030x13011414140203000x1false20202031x13011414140203001x1false20202031x13001x1false2051402000x130103000000001403000x1false2051402001x130103000000001403001x1false2051402000x13000000001403000x1false2051402001x13000000001403001x1false2051402001x13001x1false1050014010x1303031405141414050x1false1050014011x1303031405141414051x1false1050014010x13031405141414050x1false1050014011x13031405141414051x1false0020114050x1301140003141400000x1false0020114051x1301140003141400001x1false503050203000x1303140314140301030x1false503050203001x1303140314140301031x1false503050203001x1301031x1false005010105001x1301030301030000001x1false005010105001x130301030000001x1false005010105001x1301030000001x1false005010105001x130000001x1false302010000021x1301030303011x1false302010000021x130303011x1false302010000021x1303011x1false302010000021x13011x1false105030100021x13051405140300001x1false105030100021x1300001x1false100000505020x1305010314030001140x1false100000505021x1305010314030001141x1false100000505020x130001140x1false100000505021x130001141x1false005050102030x1303140014030301140x1false005050102031x1303140014030301141x1false005050102030x130301140x1false005050102031x130301141x1false005050102030x1301140x1false005050102031x1301141x1false202011402030x13000214051414140x1false202011402031x13000214051414141x1false002020502031x1305030102001414031x1false002020502031x130102001414031x1false503000205031x13031x1false401000000140x13011403030003020x1false401000000141x13011403030003021x1false401000000141x13030003021x1false401000000141x130003021x1false401000000141x13021x1false402030100140x1303011401140x1false402030100141x1303011401141x1false402030100140x13011401140x1false402030100141x13011401141x1false414050003140x13051403140x1false414050003141x13051403141x1false005030201050x1303141402141402020x1false005030201051x1303141402141402021x1false303010003050x130301031414011414020x1false303010003051x130301031414011414021x1false303010003050x1301031414011414020x1false303010003051x1301031414011414021x1false305050514050x130014031402141405030x1false305050514051x130014031402141405031x1false305010005050x1301141414050x1false305010005051x1301141414051x1false302050505051x13031x1false30202051402000x130501030114140105000x1false30202051402001x130501030114140105001x1false30202051402000x130114140105000x1false30202051402001x130114140105001x1false30501140003001x130300001x1false30501140003001x1300001x1false20205140314000x1303021403051400000x1false20205140314001x1303021403051400001x1false20205140314000x13021403051400000x1false20205140314001x13021403051400001x1false20205140314001x13051400001x1false30202000203010x130201010105031403010x1false30202000203011x130201010105031403011x1false00202050514011x1300051414030102031x1false00202050514011x130102031x1false40202020005010x13031405030105000x1false40202020005011x13031405030105001x1false30102001405010x130014140303050101000x1false30102001405011x130014140303050101001x1false30102001405011x1303050101001x1false30102001405011x13050101001x1false50002050100020x130103000014030x1false50002050100021x130103000014031x1false50002050100020x13000014030x1false50002050100021x13000014031x1false30100050003021x130103000105000103021x1false30100050003021x13000105000103021x1false00502020014020x1300141405140003010x1false00502020014021x1300141405140003011x1false00502020014021x13011x1false00502000514020x13010314140x1false00502000514021x13010314141x1false40205020205020x13011403140x1false40205020205021x13011403141x1false51402050502031x13000000031x1false30203050502030x130314020300050001030x1false30203050502031x130314020300050001031x1false30203050502031x1300050001031x1false20202000503030x1305030314000314140x1false20202000503031x1305030314000314141x1false20202000503030x130314000314140x1false20202000503031x130314000314141x1false20101020514031x130514031x1false40501030300141x130000000103011x1false40501030300141x13011x1false20201140201141x130514031x1false20303020502050x130502030103000103140x1false20303020502051x130502030103000103141x1false20303020502050x130103000103140x1false20303020502051x130103000103141x1false20303020502050x13000103140x1false20303020502051x13000103141x1false20003020203050x13031405140x1false20003020203051x13031405141x1false00502050203050x1300031414020214050x1false00502050203051x1300031414020214051x1false00202020205051x1300010301050305001x1false00202020205051x1301050305001x1false00202020205051x1305001x1false00101020505050x1303021405140202140x1false00101020505051x1303021405140202141x1false00101020505050x13021405140202140x1false00101020505051x13021405140202141x1false00002020505050x1303021403030014010x1false00002020505051x1303021403030014011x1false00002020505050x13021403030014010x1false00002020505051x13021403030014011x1false00002020505050x13030014010x1false00002020505051x13030014011x1false00002020505050x130014010x1false00002020505051x130014011x1false305010005050x100301141414050x1false305010005051x100301141414051x1false302050505051x1003031x1false30501140003000x1000031414030300000x1false30501140003001x1000031414030300001x1false30501140003000x10031414030300000x1false30501140003001x10031414030300001x1false30501140003001x10001x1false30100050003021x100105000103021x1false30100050003021x100103021x1false30203050502031x10050001031x1false30203050502031x1001031x1false0020114050x100301140003141400000x1false0020114051x100301140003141400001x1false20100001x1000030514140514031x1false20100001x10030514140514031x1false2051402000x100000001403000x1false2051402001x100000001403001x1false2051402000x1000001403000x1false2051402001x1000001403001x1false2051402000x10001403000x1false2051402001x10001403001x1false1050014010x100303031405141414050x1false1050014011x100303031405141414051x1false0020114050x1003141400000x1false0020114051x1003141400001x1false0020114051x10001x1false005010105001x100301030301030000001x1false005010105001x1000001x1false005010105001x10001x1false105030100021x1003051405140300001x1false105030100021x10001x1false100000505020x100305010314030001140x1false100000505021x100305010314030001141x1false100000505020x1001140x1false100000505021x1001141x1false005050102030x100303140014030301140x1false005050102031x100303140014030301141x1false202011402030x100214051414140x1false202011402031x100214051414141x1false002020502031x100305030102001414031x1false401000000141x1003021x1false005030201050x100303141402141402020x1false005030201051x100303141402141402021x1false20205140314001x10001x1false00202050514011x100300051414030102031x1false00202050514011x10051414030102031x1false50002050100020x10030103000014030x1false50002050100021x10030103000014031x1false50002050100020x100014030x1false50002050100021x100014031x1false00502020014020x100300141405140003010x1false00502020014021x100300141405140003011x1false00502020014021x1003011x1false40205020205020x1003011403140x1false40205020205021x1003011403141x1false51402050502031x100000031x1false51402050502031x1000031x1false51402050502031x10031x1false20202000503030x100314140x1false20202000503031x100314141x1false20101020514030x1002141405030514030x1false20101020514031x1002141405030514031x1false40501030300141x1000000103011x1false40501030300141x10000103011x1false40501030300141x100103011x1false20303020502050x100103140x1false20303020502051x100103141x1false20003020203050x1005000103031405140x1false20003020203051x1005000103031405141x1false20003020203050x100103031405140x1false20003020203051x100103031405141x1false00502050203050x10031414020214050x1false00502050203051x10031414020214051x1false00202020205051x100300010301050305001x1false00202020205051x10010301050305001x1false302020114031x15031x1false305050514051x15031x1false305010005050x15000301141414050x1false305010005051x15000301141414051x1false30202051402000x1501030114140105000x1false30202051402001x1501030114140105001x1false30202051402001x15001x1false30501140003000x150000031414030300000x1false30501140003001x150000031414030300001x1false30202000203010x15031403010x1false30202000203011x15031403011x1false30102001405011x150101001x1false30100050003021x15000103021x1false30203050502031x150001031x1false002020502031x15030102001414031x1false00502000514020x15001403010314140x1false00502000514021x15001403010314141x1false00202020205051x150305001x1false00202020205051x15001x1false503050203000x150303140314140301030x1false503050203001x150303140314140301031x1false20202030x1503011414140203000x1false20202031x1503011414140203001x1false100000505020x15010314030001140x1false100000505021x15010314030001141x1false503000205030x150214140314031403030x1false503000205031x150214140314031403031x1false40202020005011x15001x1false50002050100020x150200030103000014030x1false50002050100021x150200030103000014031x1false20202000503030x150305030314000314140x1false20202000503031x150305030314000314141x1false20202000503030x15030314000314140x1false20202000503031x15030314000314141x1false20101020514030x150002141405030514030x1false20101020514031x150002141405030514031x1false20101020514031x15030514031x1false20201140201140x150014140101030514030x1false20201140201141x150014140101030514031x1false20303020502050x1502030103000103140x1false20303020502051x1502030103000103141x1false20003020203050x15000103031405140x1false20003020203051x15000103031405141x1false302020502010x15140214000x1false302020502011x15140214001x1false302020114030x151414141414011405030x1false302020114031x151414141414011405031x1false00202050514011x151414030102031x1false00502020014021x15140003011x1false00101020505050x15140202140x1false00101020505051x15140202141x1false20100001x1514140514031x1false51402050502030x151403140203000000030x1false51402050502031x151403140203000000031x1false20100001x1514031x1false105030100021x151405140300001x1false105030100021x15140300001x1false414050003140x151403140x1false414050003141x151403141x1false20205140314001x151400001x1false40202000002021x1514140101021x1false20201140201141x1514031x1false302010000021x1414140301030303011x1false302010000021x14140301030303011x1false302020114030x1414141414011405030x1false302020114031x1414141414011405031x1false302020114030x14141414011405030x1false302020114031x14141414011405031x1false302020114030x141414011405030x1false302020114031x141414011405031x1false302020114030x1414011405030x1false302020114031x1414011405031x1false303010003050x1414011414020x1false303010003051x1414011414021x1false303010003051x1414021x1false305050514051x141405031x1false302050505050x1414021401140003030x1false302050505051x1414021401140003031x1false30501140003001x1414030300001x1false30102001405011x14140303050101001x1false0020114051x141400001x1false002020502031x1414031x1false005030201050x141402141402020x1false005030201051x141402141402021x1false005030201051x141402021x1false00202050514011x1414030102031x1false00502020014021x141405140003011x1false00502050203050x1414020214050x1false00502050203051x1414020214051x1false503050203001x14140301031x1false503000205030x14140314031403030x1false503000205031x14140314031403031x1false20100001x14140514031x1false20202031x1414140203001x1false20202031x14140203001x1false414050003140x14140103051403140x1false414050003141x14140103051403141x1false202000505050x1414031403140114020x1false202000505051x1414031403140114021x1false40202000002021x141414140514140101021x1false40202000002021x1414140514140101021x1false40202000002021x14140514140101021x1false40202000002021x14140101021x1false40205020205020x141400140003011403140x1false40205020205021x141400140003011403141x1false20101020514031x141405030514031x1false40501030300141x141414030000000103011x1false40501030300141x1414030000000103011x1false20201140201141x14140101030514031x1false302020502010x14031405140214000x1false302020502011x14031405140214001x1false302020502010x1405140214000x1false302020502011x1405140214001x1false302020502010x140214000x1false302020502011x140214001x1false302020502011x14001x1false302010000021x140301030303011x1false302020114030x14011405030x1false302020114031x14011405031x1false302020114031x1405031x1false303010003050x14011414020x1false303010003051x14011414021x1false303010003051x14021x1false305050514050x14031402141405030x1false305050514051x14031402141405031x1false305050514050x1402141405030x1false305050514051x1402141405031x1false305050514051x1405031x1false305010005050x1405000301141414050x1false305010005051x1405000301141414051x1false302050505050x14021401140003030x1false302050505051x14021401140003031x1false302050505050x1401140003030x1false302050505051x1401140003031x1false302050505051x140003031x1false30501140003001x14030300001x1false30202000203011x1403011x1false30102001405011x140303050101001x1false30203050502031x14020300050001031x1false0020114050x140003141400000x1false0020114051x140003141400001x1false0020114051x1400001x1false005050102030x140014030301140x1false005050102031x140014030301141x1false005050102030x14030301140x1false005050102031x14030301141x1false002020502031x14031x1false005030201050x1402141402020x1false005030201051x1402141402021x1false005030201051x1402021x1false00202050514011x14030102031x1false00502020014021x1405140003011x1false00502020014021x140003011x1false00502000514020x1403010314140x1false00502000514021x1403010314141x1false00502050203050x14020214050x1false00502050203051x14020214051x1false00101020505050x1405140202140x1false00101020505051x1405140202141x1false00101020505050x140202140x1false00101020505051x140202141x1false00002020505050x1403030014010x1false00002020505051x1403030014011x1false00002020505051x14011x1false503050203000x140314140301030x1false503050203001x140314140301031x1false503050203001x140301031x1false503000205030x140314031403030x1false503000205031x140314031403031x1false503000205030x14031403030x1false503000205031x14031403031x1false503000205031x1403031x1false50002050100021x14031x1false51402050502030x1403140203000000030x1false51402050502031x1403140203000000031x1false51402050502031x140203000000031x1false401000000140x140103011403030003020x1false401000000141x140103011403030003021x1false20100001x140514031x1false20100001x14031x1false20202031x140203001x1false2051402001x1403001x1false105030100021x1405140300001x1false105030100021x140300001x1false100000505020x14030001140x1false100000505021x14030001141x1false202011402030x1403000214051414140x1false202011402031x1403000214051414141x1false401000000141x1403030003021x1false402030100140x140114010303011401140x1false402030100141x140114010303011401141x1false402030100140x14010303011401140x1false402030100141x14010303011401141x1false402030100140x1401140x1false402030100141x1401141x1false414050003140x140214140103051403140x1false414050003141x140214140103051403141x1false414050003140x140103051403140x1false414050003141x140103051403141x1false414050003140x1403140x1false414050003141x1403141x1false202000505050x14031403140114020x1false202000505051x14031403140114021x1false202000505050x1403140114020x1false202000505051x1403140114021x1false202000505050x140114020x1false202000505051x140114021x1false202000505051x14021x1false20205140314001x1403051400001x1false20205140314001x1400001x1false40202020005010x140103031405030105000x1false40202020005011x140103031405030105001x1false40202000002021x140514140101021x1false40202000002021x140101021x1false40205020205020x1400140003011403140x1false40205020205021x1400140003011403141x1false40205020205020x140003011403140x1false40205020205021x140003011403141x1false40205020205020x1403140x1false40205020205021x1403141x1false20202000503030x14000314140x1false20202000503031x14000314141x1false20101020514031x1405030514031x1false40501030300141x14030000000103011x1false20201140201141x140101030514031x1false20201140201141x14031x1false302010000021x11030303011x1false303010003050x11031414011414020x1false303010003051x11031414011414021x1false30202051402000x11030114140105000x1false30202051402001x11030114140105001x1false30202000203010x11010105031403010x1false30202000203011x11010105031403011x1false30202000203010x110105031403010x1false30202000203011x110105031403011x1false30202000203010x1105031403010x1false30202000203011x1105031403011x1false30102001405011x1101001x1false30102001405011x11001x1false30100050003021x1103000105000103021x1false30100050003021x1105000103021x1false30100050003021x1103021x1false30203050502031x11031x1false005010105001x11030301030000001x1false005010105001x11030000001x1false002020502030x1102001414030x1false002020502031x1102001414031x1false00202050514011x1102031x1false00502000514020x110105001403010314140x1false00502000514021x110105001403010314141x1false00502000514020x1105001403010314140x1false00502000514021x1105001403010314141x1false00502000514020x110314140x1false00502000514021x110314141x1false00502050203050x110300031414020214050x1false00502050203051x110300031414020214051x1false00202020205051x110301050305001x1false00202020205051x11050305001x1false00101020505050x110303021405140202140x1false00101020505051x110303021405140202141x1false00002020505050x110303021403030014010x1false00002020505051x110303021403030014011x1false503050203001x11031x1false50002050100020x1103000014030x1false50002050100021x1103000014031x1false401000000140x1103011403030003020x1false401000000141x1103011403030003021x1false402030100140x110303011401140x1false402030100141x110303011401141x1false414050003140x1103051403140x1false414050003141x1103051403141x1false40202020005010x1103031405030105000x1false40202020005011x1103031405030105001x1false40202000002021x1101021x1false40202000002021x11021x1false40501030300141x1103011x1false2051402000x1103000000001403000x1false2051402001x1103000000001403001x1false105030100021x110003051405140300001x1false100000505020x110314030001140x1false100000505021x110314030001141x1false20201140201141x1101030514031x1false20201140201141x11030514031x1false20303020502050x1103000103140x1false20303020502051x1103000103141x1false20303020502050x1103140x1false20303020502051x1103141x1false20003020203050x1103031405140x1false20003020203051x1103031405141x1false30202000203010x1201010105031403010x1false30202000203011x1201010105031403011x1false30203050502031x120300050001031x1false002020502030x12001414030x1false002020502031x12001414031x1false005030201051x12021x1false00202050514011x12031x1false00502050203050x120214050x1false00502050203051x120214051x1false00101020505050x1202140x1false00101020505051x1202141x1false50002050100020x1200030103000014030x1false50002050100021x1200030103000014031x1false51402050502031x1203000000031x1false20202031x1203001x1false20205140314000x120303021403051400000x1false20205140314001x120303021403051400001x1false20303020502050x12030103000103140x1false20303020502051x12030103000103141x1false20003020203050x120005000103031405140x1false20003020203051x120005000103031405141x1false302020502010x1314031405140214000x1false302020502011x1314031405140214001x1false302020502010x131405140214000x1false302020502011x131405140214001x1false302020502010x1214000x1false302020502011x1214001x1false302020502011x101x1false302010000020x131414140301030303010x1false302010000021x131414140301030303011x1false302010000021x111x1false302020114030x111405030x1false302020114031x111405031x1false303010003050x131414011414020x1false303010003051x131414011414021x1false303010003050x111414020x1false303010003051x111414021x1false303010003051x121x1false305050514050x1014031402141405030x1false305050514051x1014031402141405031x1false305050514050x131402141405030x1false305050514051x131402141405031x1false305050514050x12141405030x1false305050514051x12141405031x1false305050514051x131x1false305010005050x131405000301141414050x1false305010005051x131405000301141414051x1false305010005050x11141414050x1false305010005051x11141414051x1false302050505050x131414021401140003030x1false302050505051x131414021401140003031x1false302050505050x121401140003030x1false302050505051x121401140003031x1false302050505050x11140003030x1false302050505051x11140003031x1false302050505051x131x1false30202051402000x1114140105000x1false30202051402001x1114140105001x1false30501140003000x131414030300000x1false30501140003001x131414030300001x1false30202000203010x131403010x1false30202000203011x131403011x1false30102001405010x1014140303050101000x1false30102001405011x1014140303050101001x1false30102001405011x101x1false30203050502030x1314020300050001030x1false30203050502031x1314020300050001031x1false0020114050x11140003141400000x1false0020114051x11140003141400001x1false0020114050x13141400000x1false0020114051x13141400001x1false0020114051x101x1false005050102030x13140014030301140x1false005050102031x13140014030301141x1false005050102030x1014030301140x1false005050102031x1014030301141x1false005050102030x11140x1false005050102031x11141x1false002020502030x101414030x1false002020502031x101414031x1false005030201050x13141402141402020x1false005030201051x13141402141402021x1false005030201050x12141402020x1false005030201051x12141402021x1false005030201051x121x1false00202050514011x131x1false00502020014020x10141405140003010x1false00502020014021x10141405140003011x1false00502020014021x111x1false00502000514020x101403010314140x1false00502000514021x101403010314141x1false00502000514020x1314140x1false00502000514021x1314141x1false00502050203050x131414020214050x1false00502050203051x131414020214051x1false00502050203050x1214050x1false00502050203051x1214051x1false00202020205051x101x1false00101020505050x121405140202140x1false00101020505051x121405140202141x1false00101020505050x12140x1false00101020505051x12141x1false00002020505050x121403030014010x1false00002020505051x121403030014011x1false00002020505050x1014010x1false00002020505051x1014011x1false00002020505051x111x1false503050203000x13140314140301030x1false503050203001x13140314140301031x1false503050203000x1314140301030x1false503050203001x1314140301031x1false503050203001x131x1false503000205030x1214140314031403030x1false503000205031x1214140314031403031x1false503000205030x1314031403030x1false503000205031x1314031403031x1false503000205030x131403030x1false503000205031x131403031x1false50002050100020x1014030x1false50002050100021x1014031x1false50002050100021x131x1false51402050502030x13140203000000030x1false51402050502031x13140203000000031x1false401000000140x111403030003020x1false401000000141x111403030003021x1false401000000141x121x1false402030100140x1114010303011401140x1false402030100141x1114010303011401141x1false402030100140x111401140x1false402030100141x111401141x1false402030100140x11140x1false402030100141x11141x1false414050003140x1214140103051403140x1false414050003141x1214140103051403141x1false40202020005010x131405030105000x1false40202020005011x131405030105001x1false40202020005011x101x1false40205020205020x10140003011403140x1false40205020205021x10140003011403141x1false40205020205020x111403140x1false40205020205021x111403141x1false40205020205020x13140x1false40205020205021x13141x1false40501030300141x111x1false20100001x131x1false20202030x111414140203000x1false20202031x111414140203001x1false1050014010x131405141414050x1false1050014011x131405141414051x1false105030100021x101x1false100000505020x1314030001140x1false100000505021x1314030001141x1false100000505020x11140x1false100000505021x11141x1false20202031x101x1false2051402000x101403000x1false2051402001x101403001x1false202011402030x121403000214051414140x1false202011402031x121403000214051414141x1false202011402030x1214051414140x1false202011402031x1214051414141x1false202000505050x131414031403140114020x1false202000505051x131414031403140114021x1false202000505050x131403140114020x1false202000505051x131403140114021x1false202000505050x13140114020x1false202000505051x13140114021x1false202000505050x1114020x1false202000505051x1114021x1false202000505051x121x1false20205140314000x121403051400000x1false20205140314001x121403051400001x1false20202000503030x1314000314140x1false20202000503031x1314000314141x1false20202000503030x1314140x1false20202000503031x1314141x1false20101020514030x12141405030514030x1false20101020514031x12141405030514031x1false20201140201140x1014140101030514030x1false20201140201141x1014140101030514031x1false20201140201141x131x1false20303020502050x13140x1false20303020502051x13141x1false20003020203050x131405140x1false20003020203051x131405141x1falseAProVEAProVE Commit ID: c69e44bd14796315568835c1ffa2502984884775 mhark 20210624 unpublished Statistics for single proof: 100.00 % (6 real / 0 unknown / 0 assumptions / 6 total proof steps)http://aprove.informatik.rwth-aachen.deJohnDoe