YES 0001x12322422405x11050x11224442211x103014x12242405514x104010x12051111335x105001x10511144315x1003452x12342414211x1003525x12411225235x1004510x13144312411x1004514x13424142054x1014553x12244450324x1030025x12403242525x1040022x12240323022x1043102x12224110352x1050034x12420145224x1050341x12432143131x1150002x11115515224x1155041x11144243321x1210454x12242102334x1410050x14151441151x1450322x14224252242x1500045x15054114435x1503500x15223151155x1504050x10544424420x1504544x12152444142x1513550x15232154441x1525012x15242401524x10003405x10154115115x10034504x13211545353x10103053x12202143553x10131342x15442111154x10250305x12452400115x10320401x13200424131x10352003x12023343423x10530402x12210513214x10532250x12321224151x11001040x11413221545x11004112x12240205412x11011104x11411403302x11014505x14111141015x11045450x12212025311x11354133x11442011533x11500305x11141505515x12513301x12134324555x14001034x14323315520x15000004x12421311232x15001252x15202215452x15003104x13124343421x15051034x15541222415x15100434x15432322544x15130400x15141452235x15201042x12511411412x1010441x12202455431x1010534x10133241324x1135204x11522422152x1203012x12215242102x1404034x14214224532x10100504x12052303252x10525002x10315154452x14005214x14252322414x15345454x14424403134x12.10123451050x11224442211x105001x10511144315x1150002x11115515224x1155041x11144243321x1210454x12242102334x1410050x14151441151x1450322x14224252242x1500045x15054114435x1503500x15223151155x1513550x15232154441x1525012x15242401524x10003405x10154115115x11001040x11413221545x11011104x11411403302x11354133x11442011533x11500305x11141505515x12513301x12134324555x14001034x14323315520x15001252x15202215452x15051034x15541222415x15100434x15432322544x15130400x15141452235x100001x102322422405x110001x112322422405x120001x122322422405x130001x132322422405x140001x142322422405x150001x152322422405x1003014x102242405514x1103014x112242405514x1203014x122242405514x1303014x132242405514x1403014x142242405514x1503014x152242405514x1004010x102051111335x1104010x112051111335x1204010x122051111335x1304010x132051111335x1404010x142051111335x1504010x152051111335x10003452x102342414211x11003452x112342414211x12003452x122342414211x13003452x132342414211x14003452x142342414211x15003452x152342414211x10003525x102411225235x11003525x112411225235x12003525x122411225235x13003525x132411225235x14003525x142411225235x15003525x152411225235x10004510x103144312411x11004510x113144312411x12004510x123144312411x13004510x133144312411x14004510x143144312411x15004510x153144312411x10004514x103424142054x11004514x113424142054x12004514x123424142054x13004514x133424142054x14004514x143424142054x15004514x153424142054x10014553x102244450324x11014553x112244450324x12014553x122244450324x13014553x132244450324x14014553x142244450324x15014553x152244450324x10030025x102403242525x11030025x112403242525x12030025x122403242525x13030025x132403242525x14030025x142403242525x15030025x152403242525x10040022x102240323022x11040022x112240323022x12040022x122240323022x13040022x132240323022x14040022x142240323022x15040022x152240323022x10043102x102224110352x11043102x112224110352x12043102x122224110352x13043102x132224110352x14043102x142224110352x15043102x152224110352x10050034x102420145224x11050034x112420145224x12050034x122420145224x13050034x132420145224x14050034x142420145224x15050034x152420145224x10050341x102432143131x11050341x112432143131x12050341x122432143131x13050341x132432143131x14050341x142432143131x15050341x152432143131x10504050x100544424420x11504050x110544424420x12504050x120544424420x13504050x130544424420x14504050x140544424420x15504050x150544424420x10504544x102152444142x11504544x112152444142x12504544x122152444142x13504544x132152444142x14504544x142152444142x15504544x152152444142x100034504x103211545353x110034504x113211545353x120034504x123211545353x130034504x133211545353x140034504x143211545353x150034504x153211545353x100103053x102202143553x110103053x112202143553x120103053x122202143553x130103053x132202143553x140103053x142202143553x150103053x152202143553x100131342x105442111154x110131342x115442111154x120131342x125442111154x130131342x135442111154x140131342x145442111154x150131342x155442111154x100250305x102452400115x110250305x112452400115x120250305x122452400115x130250305x132452400115x140250305x142452400115x150250305x152452400115x100320401x103200424131x110320401x113200424131x120320401x123200424131x130320401x133200424131x140320401x143200424131x150320401x153200424131x100352003x102023343423x110352003x112023343423x120352003x122023343423x130352003x132023343423x140352003x142023343423x150352003x152023343423x100530402x102210513214x110530402x112210513214x120530402x122210513214x130530402x132210513214x140530402x142210513214x150530402x152210513214x100532250x102321224151x110532250x112321224151x120532250x122321224151x130532250x132321224151x140532250x142321224151x150532250x152321224151x101004112x102240205412x111004112x112240205412x121004112x122240205412x131004112x132240205412x141004112x142240205412x151004112x152240205412x101014505x104111141015x111014505x114111141015x121014505x124111141015x131014505x134111141015x141014505x144111141015x151014505x154111141015x101045450x102212025311x111045450x112212025311x121045450x122212025311x131045450x132212025311x141045450x142212025311x151045450x152212025311x105000004x102421311232x115000004x112421311232x125000004x122421311232x135000004x132421311232x145000004x142421311232x155000004x152421311232x105003104x103124343421x115003104x113124343421x125003104x123124343421x135003104x133124343421x145003104x143124343421x155003104x153124343421x105201042x102511411412x115201042x112511411412x125201042x122511411412x135201042x132511411412x145201042x142511411412x155201042x152511411412x1010534x10133241324x1135204x11522422152x1203012x12215242102x1404034x14214224532x10525002x10315154452x14005214x14252322414x10010441x102202455431x11010441x112202455431x12010441x122202455431x13010441x132202455431x14010441x142202455431x15010441x152202455431x100100504x102052303252x110100504x112052303252x120100504x122052303252x130100504x132052303252x140100504x142052303252x150100504x152052303252x105345454x104424403134x115345454x114424403134x125345454x124424403134x135345454x134424403134x145345454x144424403134x155345454x154424403134x110055001x112222444444222211111x110055000x112222444444222211110x110055005x112222444444222211115x110055002x112222444444222211112x110055004x112222444444222211114x110055003x112222444444222211113x10550000111x105511111144443311551x10550000110x105511111144443311550x10550000115x105511111144443311555x10550000112x105511111144443311552x10550000114x105511111144443311554x10550000113x105511111144443311553x1155000000221x111111555511552222441x1155000000220x111111555511552222440x1155000000225x111111555511552222445x1155000000222x111111555511552222442x1155000000224x111111555511552222444x1155000000223x111111555511552222443x1155550044111x111144442244333322111x1155550044110x111144442244333322110x1155550044115x111144442244333322115x1155550044112x111144442244333322112x1155550044114x111144442244333322114x1155550044113x111144442244333322113x1211004455441x122244221100223333441x1211004455440x122244221100223333440x1211004455445x122244221100223333445x1211004455442x122244221100223333442x1211004455444x122244221100223333444x1211004455443x122244221100223333443x1411000055001x141155114444111155111x1411000055000x141155114444111155110x1411000055005x141155114444111155115x1411000055002x141155114444111155112x1411000055004x141155114444111155114x1411000055003x141155114444111155113x1455003322221x142222442255222244221x1455003322220x142222442255222244220x1455003322225x142222442255222244225x1455003322222x142222442255222244222x1455003322224x142222442255222244224x1455003322223x142222442255222244223x1500000044551x150055441111444433551x1500000044550x150055441111444433550x1500000044555x150055441111444433555x1500000044552x150055441111444433552x1500000044554x150055441111444433554x1500000044553x150055441111444433553x1500335500001x152222331155111155551x1500335500000x152222331155111155550x1500335500005x152222331155111155555x1500335500002x152222331155111155552x1500335500004x152222331155111155554x1500335500003x152222331155111155553x1511335555001x152233221155444444111x1511335555000x152233221155444444110x1511335555005x152233221155444444115x1511335555002x152233221155444444112x1511335555004x152233221155444444114x1511335555003x152233221155444444113x1522550011221x152244224400115522441x1522550011220x152244224400115522440x1522550011225x152244224400115522445x1522550011222x152244224400115522442x1522550011224x152244224400115522444x1522550011223x152244224400115522443x100000334400551x101155441111551111551x100000334400550x101155441111551111550x100000334400555x101155441111551111555x100000334400552x101155441111551111552x100000334400554x101155441111551111554x100000334400553x101155441111551111553x110000110044001x114411332222115544551x110000110044000x114411332222115544550x110000110044005x114411332222115544555x110000110044002x114411332222115544552x110000110044004x114411332222115544554x110000110044003x114411332222115544553x110011111100441x114411114400333300221x110011111100440x114411114400333300220x110011111100445x114411114400333300225x110011111100442x114411114400333300222x110011111100444x114411114400333300224x110011111100443x114411114400333300223x113355441133331x114444220011115533331x113355441133330x114444220011115533330x113355441133335x114444220011115533335x113355441133332x114444220011115533332x113355441133334x114444220011115533334x113355441133333x114444220011115533333x115500003300551x111144115500555511551x115500003300550x111144115500555511550x115500003300555x111144115500555511555x115500003300552x111144115500555511552x115500003300554x111144115500555511554x115500003300553x111144115500555511553x125511333300111x121133443322445555551x125511333300110x121133443322445555550x125511333300115x121133443322445555555x125511333300112x121133443322445555552x125511333300114x121133443322445555554x125511333300113x121133443322445555553x140000110033441x143322333311555522001x140000110033440x143322333311555522000x140000110033445x143322333311555522005x140000110033442x143322333311555522002x140000110033444x143322333311555522004x140000110033443x143322333311555522003x150000112255221x152200222211554455221x150000112255220x152200222211554455220x150000112255225x152200222211554455225x150000112255222x152200222211554455222x150000112255224x152200222211554455224x150000112255223x152200222211554455223x150055110033441x155544112222224411551x150055110033440x155544112222224411550x150055110033445x155544112222224411555x150055110033442x155544112222224411552x150055110033444x155544112222224411554x150055110033443x155544112222224411553x151100004433441x154433223322225544441x151100004433440x154433223322225544440x151100004433445x154433223322225544445x151100004433442x154433223322225544442x151100004433444x154433223322225544444x151100004433443x154433223322225544443x151133004400001x151144114455222233551x151133004400000x151144114455222233550x151133004400005x151144114455222233555x151133004400002x151144114455222233552x151133004400004x151144114455222233554x151133004400003x151144114455222233553x10000000111x10223322224422224400551x10000000110x10223322224422224400550x10000000115x10223322224422224400555x10000000112x10223322224422224400552x10000000114x10223322224422224400554x10000000113x10223322224422224400553x11000000111x11223322224422224400551x11000000110x11223322224422224400550x11000000115x11223322224422224400555x11000000112x11223322224422224400552x11000000114x11223322224422224400554x11000000113x11223322224422224400553x12000000111x12223322224422224400551x12000000110x12223322224422224400550x12000000115x12223322224422224400555x12000000112x12223322224422224400552x12000000114x12223322224422224400554x12000000113x12223322224422224400553x13000000111x13223322224422224400551x13000000110x13223322224422224400550x13000000115x13223322224422224400555x13000000112x13223322224422224400552x13000000114x13223322224422224400554x13000000113x13223322224422224400553x14000000111x14223322224422224400551x14000000110x14223322224422224400550x14000000115x14223322224422224400555x14000000112x14223322224422224400552x14000000114x14223322224422224400554x14000000113x14223322224422224400553x15000000111x15223322224422224400551x15000000110x15223322224422224400550x15000000115x15223322224422224400555x15000000112x15223322224422224400552x15000000114x15223322224422224400554x15000000113x15223322224422224400553x1000330011441x10222244224400555511441x1000330011440x10222244224400555511440x1000330011445x10222244224400555511445x1000330011442x10222244224400555511442x1000330011444x10222244224400555511444x1000330011443x10222244224400555511443x1100330011441x11222244224400555511441x1100330011440x11222244224400555511440x1100330011445x11222244224400555511445x1100330011442x11222244224400555511442x1100330011444x11222244224400555511444x1100330011443x11222244224400555511443x1200330011441x12222244224400555511441x1200330011440x12222244224400555511440x1200330011445x12222244224400555511445x1200330011442x12222244224400555511442x1200330011444x12222244224400555511444x1200330011443x12222244224400555511443x1300330011441x13222244224400555511441x1300330011440x13222244224400555511440x1300330011445x13222244224400555511445x1300330011442x13222244224400555511442x1300330011444x13222244224400555511444x1300330011443x13222244224400555511443x1400330011441x14222244224400555511441x1400330011440x14222244224400555511440x1400330011445x14222244224400555511445x1400330011442x14222244224400555511442x1400330011444x14222244224400555511444x1400330011443x14222244224400555511443x1500330011441x15222244224400555511441x1500330011440x15222244224400555511440x1500330011445x15222244224400555511445x1500330011442x15222244224400555511442x1500330011444x15222244224400555511444x1500330011443x15222244224400555511443x1000440011001x10220055111111113333551x1000440011000x10220055111111113333550x1000440011005x10220055111111113333555x1000440011002x10220055111111113333552x1000440011004x10220055111111113333554x1000440011003x10220055111111113333553x1100440011001x11220055111111113333551x1100440011000x11220055111111113333550x1100440011005x11220055111111113333555x1100440011002x11220055111111113333552x1100440011004x11220055111111113333554x1100440011003x11220055111111113333553x1200440011001x12220055111111113333551x1200440011000x12220055111111113333550x1200440011005x12220055111111113333555x1200440011002x12220055111111113333552x1200440011004x12220055111111113333554x1200440011003x12220055111111113333553x1300440011001x13220055111111113333551x1300440011000x13220055111111113333550x1300440011005x13220055111111113333555x1300440011002x13220055111111113333552x1300440011004x13220055111111113333554x1300440011003x13220055111111113333553x1400440011001x14220055111111113333551x1400440011000x14220055111111113333550x1400440011005x14220055111111113333555x1400440011002x14220055111111113333552x1400440011004x14220055111111113333554x1400440011003x14220055111111113333553x1500440011001x15220055111111113333551x1500440011000x15220055111111113333550x1500440011005x15220055111111113333555x1500440011002x15220055111111113333552x1500440011004x15220055111111113333554x1500440011003x15220055111111113333553x100000334455221x10223344224411442211111x100000334455220x10223344224411442211110x100000334455225x10223344224411442211115x100000334455222x10223344224411442211112x100000334455224x10223344224411442211114x100000334455223x10223344224411442211113x110000334455221x11223344224411442211111x110000334455220x11223344224411442211110x110000334455225x11223344224411442211115x110000334455222x11223344224411442211112x110000334455224x11223344224411442211114x110000334455223x11223344224411442211113x120000334455221x12223344224411442211111x120000334455220x12223344224411442211110x120000334455225x12223344224411442211115x120000334455222x12223344224411442211112x120000334455224x12223344224411442211114x120000334455223x12223344224411442211113x130000334455221x13223344224411442211111x130000334455220x13223344224411442211110x130000334455225x13223344224411442211115x130000334455222x13223344224411442211112x130000334455224x13223344224411442211114x130000334455223x13223344224411442211113x140000334455221x14223344224411442211111x140000334455220x14223344224411442211110x140000334455225x14223344224411442211115x140000334455222x14223344224411442211112x140000334455224x14223344224411442211114x140000334455223x14223344224411442211113x150000334455221x15223344224411442211111x150000334455220x15223344224411442211110x150000334455225x15223344224411442211115x150000334455222x15223344224411442211112x150000334455224x15223344224411442211114x150000334455223x15223344224411442211113x100000335522551x10224411112222552233551x100000335522550x10224411112222552233550x100000335522555x10224411112222552233555x100000335522552x10224411112222552233552x100000335522554x10224411112222552233554x100000335522553x10224411112222552233553x110000335522551x11224411112222552233551x110000335522550x11224411112222552233550x110000335522555x11224411112222552233555x110000335522552x11224411112222552233552x110000335522554x11224411112222552233554x110000335522553x11224411112222552233553x120000335522551x12224411112222552233551x120000335522550x12224411112222552233550x120000335522555x12224411112222552233555x120000335522552x12224411112222552233552x120000335522554x12224411112222552233554x120000335522553x12224411112222552233553x130000335522551x13224411112222552233551x130000335522550x13224411112222552233550x130000335522555x13224411112222552233555x130000335522552x13224411112222552233552x130000335522554x13224411112222552233554x130000335522553x13224411112222552233553x140000335522551x14224411112222552233551x140000335522550x14224411112222552233550x140000335522555x14224411112222552233555x140000335522552x14224411112222552233552x140000335522554x14224411112222552233554x140000335522553x14224411112222552233553x150000335522551x15224411112222552233551x150000335522550x15224411112222552233550x150000335522555x15224411112222552233555x150000335522552x15224411112222552233552x150000335522554x15224411112222552233554x150000335522553x15224411112222552233553x100000445511001x10331144443311224411111x100000445511000x10331144443311224411110x100000445511005x10331144443311224411115x100000445511002x10331144443311224411112x100000445511004x10331144443311224411114x100000445511003x10331144443311224411113x110000445511001x11331144443311224411111x110000445511000x11331144443311224411110x110000445511005x11331144443311224411115x110000445511002x11331144443311224411112x110000445511004x11331144443311224411114x110000445511003x11331144443311224411113x120000445511001x12331144443311224411111x120000445511000x12331144443311224411110x120000445511005x12331144443311224411115x120000445511002x12331144443311224411112x120000445511004x12331144443311224411114x120000445511003x12331144443311224411113x130000445511001x13331144443311224411111x130000445511000x13331144443311224411110x130000445511005x13331144443311224411115x130000445511002x13331144443311224411112x130000445511004x13331144443311224411114x130000445511003x13331144443311224411113x140000445511001x14331144443311224411111x140000445511000x14331144443311224411110x140000445511005x14331144443311224411115x140000445511002x14331144443311224411112x140000445511004x14331144443311224411114x140000445511003x14331144443311224411113x150000445511001x15331144443311224411111x150000445511000x15331144443311224411110x150000445511005x15331144443311224411115x150000445511002x15331144443311224411112x150000445511004x15331144443311224411114x150000445511003x15331144443311224411113x100000445511441x10334422441144220055441x100000445511440x10334422441144220055440x100000445511445x10334422441144220055445x100000445511442x10334422441144220055442x100000445511444x10334422441144220055444x100000445511443x10334422441144220055443x110000445511441x11334422441144220055441x110000445511440x11334422441144220055440x110000445511445x11334422441144220055445x110000445511442x11334422441144220055442x110000445511444x11334422441144220055444x110000445511443x11334422441144220055443x120000445511441x12334422441144220055441x120000445511440x12334422441144220055440x120000445511445x12334422441144220055445x120000445511442x12334422441144220055442x120000445511444x12334422441144220055444x120000445511443x12334422441144220055443x130000445511441x13334422441144220055441x130000445511440x13334422441144220055440x130000445511445x13334422441144220055445x130000445511442x13334422441144220055442x130000445511444x13334422441144220055444x130000445511443x13334422441144220055443x140000445511441x14334422441144220055441x140000445511440x14334422441144220055440x140000445511445x14334422441144220055445x140000445511442x14334422441144220055442x140000445511444x14334422441144220055444x140000445511443x14334422441144220055443x150000445511441x15334422441144220055441x150000445511440x15334422441144220055440x150000445511445x15334422441144220055445x150000445511442x15334422441144220055442x150000445511444x15334422441144220055444x150000445511443x15334422441144220055443x100011445555331x10222244444455003322441x100011445555330x10222244444455003322440x100011445555335x10222244444455003322445x100011445555332x10222244444455003322442x100011445555334x10222244444455003322444x100011445555333x10222244444455003322443x110011445555331x11222244444455003322441x110011445555330x11222244444455003322440x110011445555335x11222244444455003322445x110011445555332x11222244444455003322442x110011445555334x11222244444455003322444x110011445555333x11222244444455003322443x120011445555331x12222244444455003322441x120011445555330x12222244444455003322440x120011445555335x12222244444455003322445x120011445555332x12222244444455003322442x120011445555334x12222244444455003322444x120011445555333x12222244444455003322443x130011445555331x13222244444455003322441x130011445555330x13222244444455003322440x130011445555335x13222244444455003322445x130011445555332x13222244444455003322442x130011445555334x13222244444455003322444x130011445555333x13222244444455003322443x140011445555331x14222244444455003322441x140011445555330x14222244444455003322440x140011445555335x14222244444455003322445x140011445555332x14222244444455003322442x140011445555334x14222244444455003322444x140011445555333x14222244444455003322443x150011445555331x15222244444455003322441x150011445555330x15222244444455003322440x150011445555335x15222244444455003322445x150011445555332x15222244444455003322442x150011445555334x15222244444455003322444x150011445555333x15222244444455003322443x100033000022551x10224400332244225522551x100033000022550x10224400332244225522550x100033000022555x10224400332244225522555x100033000022552x10224400332244225522552x100033000022554x10224400332244225522554x100033000022553x10224400332244225522553x110033000022551x11224400332244225522551x110033000022550x11224400332244225522550x110033000022555x11224400332244225522555x110033000022552x11224400332244225522552x110033000022554x11224400332244225522554x110033000022553x11224400332244225522553x120033000022551x12224400332244225522551x120033000022550x12224400332244225522550x120033000022555x12224400332244225522555x120033000022552x12224400332244225522552x120033000022554x12224400332244225522554x120033000022553x12224400332244225522553x130033000022551x13224400332244225522551x130033000022550x13224400332244225522550x130033000022555x13224400332244225522555x130033000022552x13224400332244225522552x130033000022554x13224400332244225522554x130033000022553x13224400332244225522553x140033000022551x14224400332244225522551x140033000022550x14224400332244225522550x140033000022555x14224400332244225522555x140033000022552x14224400332244225522552x140033000022554x14224400332244225522554x140033000022553x14224400332244225522553x150033000022551x15224400332244225522551x150033000022550x15224400332244225522550x150033000022555x15224400332244225522555x150033000022552x15224400332244225522552x150033000022554x15224400332244225522554x150033000022553x15224400332244225522553x100044000022221x10222244003322330022221x100044000022220x10222244003322330022220x100044000022225x10222244003322330022225x100044000022222x10222244003322330022222x100044000022224x10222244003322330022224x100044000022223x10222244003322330022223x110044000022221x11222244003322330022221x110044000022220x11222244003322330022220x110044000022225x11222244003322330022225x110044000022222x11222244003322330022222x110044000022224x11222244003322330022224x110044000022223x11222244003322330022223x120044000022221x12222244003322330022221x120044000022220x12222244003322330022220x120044000022225x12222244003322330022225x120044000022222x12222244003322330022222x120044000022224x12222244003322330022224x120044000022223x12222244003322330022223x130044000022221x13222244003322330022221x130044000022220x13222244003322330022220x130044000022225x13222244003322330022225x130044000022222x13222244003322330022222x130044000022224x13222244003322330022224x130044000022223x13222244003322330022223x140044000022221x14222244003322330022221x140044000022220x14222244003322330022220x140044000022225x14222244003322330022225x140044000022222x14222244003322330022222x140044000022224x14222244003322330022224x140044000022223x14222244003322330022223x150044000022221x15222244003322330022221x150044000022220x15222244003322330022220x150044000022225x15222244003322330022225x150044000022222x15222244003322330022222x150044000022224x15222244003322330022224x150044000022223x15222244003322330022223x100044331100221x10222222441111003355221x100044331100220x10222222441111003355220x100044331100225x10222222441111003355225x100044331100222x10222222441111003355222x100044331100224x10222222441111003355224x100044331100223x10222222441111003355223x110044331100221x11222222441111003355221x110044331100220x11222222441111003355220x110044331100225x11222222441111003355225x110044331100222x11222222441111003355222x110044331100224x11222222441111003355224x110044331100223x11222222441111003355223x120044331100221x12222222441111003355221x120044331100220x12222222441111003355220x120044331100225x12222222441111003355225x120044331100222x12222222441111003355222x120044331100224x12222222441111003355224x120044331100223x12222222441111003355223x130044331100221x13222222441111003355221x130044331100220x13222222441111003355220x130044331100225x13222222441111003355225x130044331100222x13222222441111003355222x130044331100224x13222222441111003355224x130044331100223x13222222441111003355223x140044331100221x14222222441111003355221x140044331100220x14222222441111003355220x140044331100225x14222222441111003355225x140044331100222x14222222441111003355222x140044331100224x14222222441111003355224x140044331100223x14222222441111003355223x150044331100221x15222222441111003355221x150044331100220x15222222441111003355220x150044331100225x15222222441111003355225x150044331100222x15222222441111003355222x150044331100224x15222222441111003355224x150044331100223x15222222441111003355223x100055000033441x10224422001144552222441x100055000033440x10224422001144552222440x100055000033445x10224422001144552222445x100055000033442x10224422001144552222442x100055000033444x10224422001144552222444x100055000033443x10224422001144552222443x110055000033441x11224422001144552222441x110055000033440x11224422001144552222440x110055000033445x11224422001144552222445x110055000033442x11224422001144552222442x110055000033444x11224422001144552222444x110055000033443x11224422001144552222443x120055000033441x12224422001144552222441x120055000033440x12224422001144552222440x120055000033445x12224422001144552222445x120055000033442x12224422001144552222442x120055000033444x12224422001144552222444x120055000033443x12224422001144552222443x130055000033441x13224422001144552222441x130055000033440x13224422001144552222440x130055000033445x13224422001144552222445x130055000033442x13224422001144552222442x130055000033444x13224422001144552222444x130055000033443x13224422001144552222443x140055000033441x14224422001144552222441x140055000033440x14224422001144552222440x140055000033445x14224422001144552222445x140055000033442x14224422001144552222442x140055000033444x14224422001144552222444x140055000033443x14224422001144552222443x150055000033441x15224422001144552222441x150055000033440x15224422001144552222440x150055000033445x15224422001144552222445x150055000033442x15224422001144552222442x150055000033444x15224422001144552222444x150055000033443x15224422001144552222443x100055003344111x10224433221144331133111x100055003344110x10224433221144331133110x100055003344115x10224433221144331133115x100055003344112x10224433221144331133112x100055003344114x10224433221144331133114x100055003344113x10224433221144331133113x110055003344111x11224433221144331133111x110055003344110x11224433221144331133110x110055003344115x11224433221144331133115x110055003344112x11224433221144331133112x110055003344114x11224433221144331133114x110055003344113x11224433221144331133113x120055003344111x12224433221144331133111x120055003344110x12224433221144331133110x120055003344115x12224433221144331133115x120055003344112x12224433221144331133112x120055003344114x12224433221144331133114x120055003344113x12224433221144331133113x130055003344111x13224433221144331133111x130055003344110x13224433221144331133110x130055003344115x13224433221144331133115x130055003344112x13224433221144331133112x130055003344114x13224433221144331133114x130055003344113x13224433221144331133113x140055003344111x14224433221144331133111x140055003344110x14224433221144331133110x140055003344115x14224433221144331133115x140055003344112x14224433221144331133112x140055003344114x14224433221144331133114x140055003344113x14224433221144331133113x150055003344111x15224433221144331133111x150055003344110x15224433221144331133110x150055003344115x15224433221144331133115x150055003344112x15224433221144331133112x150055003344114x15224433221144331133114x150055003344113x15224433221144331133113x105500440055001x10005544444422444422001x105500440055000x10005544444422444422000x105500440055005x10005544444422444422005x105500440055002x10005544444422444422002x105500440055004x10005544444422444422004x105500440055003x10005544444422444422003x115500440055001x11005544444422444422001x115500440055000x11005544444422444422000x115500440055005x11005544444422444422005x115500440055002x11005544444422444422002x115500440055004x11005544444422444422004x115500440055003x11005544444422444422003x125500440055001x12005544444422444422001x125500440055000x12005544444422444422000x125500440055005x12005544444422444422005x125500440055002x12005544444422444422002x125500440055004x12005544444422444422004x125500440055003x12005544444422444422003x135500440055001x13005544444422444422001x135500440055000x13005544444422444422000x135500440055005x13005544444422444422005x135500440055002x13005544444422444422002x135500440055004x13005544444422444422004x135500440055003x13005544444422444422003x145500440055001x14005544444422444422001x145500440055000x14005544444422444422000x145500440055005x14005544444422444422005x145500440055002x14005544444422444422002x145500440055004x14005544444422444422004x145500440055003x14005544444422444422003x155500440055001x15005544444422444422001x155500440055000x15005544444422444422000x155500440055005x15005544444422444422005x155500440055002x15005544444422444422002x155500440055004x15005544444422444422004x155500440055003x15005544444422444422003x105500445544441x10221155224444441144221x105500445544440x10221155224444441144220x105500445544445x10221155224444441144225x105500445544442x10221155224444441144222x105500445544444x10221155224444441144224x105500445544443x10221155224444441144223x115500445544441x11221155224444441144221x115500445544440x11221155224444441144220x115500445544445x11221155224444441144225x115500445544442x11221155224444441144222x115500445544444x11221155224444441144224x115500445544443x11221155224444441144223x125500445544441x12221155224444441144221x125500445544440x12221155224444441144220x125500445544445x12221155224444441144225x125500445544442x12221155224444441144222x125500445544444x12221155224444441144224x125500445544443x12221155224444441144223x135500445544441x13221155224444441144221x135500445544440x13221155224444441144220x135500445544445x13221155224444441144225x135500445544442x13221155224444441144222x135500445544444x13221155224444441144224x135500445544443x13221155224444441144223x145500445544441x14221155224444441144221x145500445544440x14221155224444441144220x145500445544445x14221155224444441144225x145500445544442x14221155224444441144222x145500445544444x14221155224444441144224x145500445544443x14221155224444441144223x155500445544441x15221155224444441144221x155500445544440x15221155224444441144220x155500445544445x15221155224444441144225x155500445544442x15221155224444441144222x155500445544444x15221155224444441144224x155500445544443x15221155224444441144223x10000033445500441x10332211115544553355331x10000033445500440x10332211115544553355330x10000033445500445x10332211115544553355335x10000033445500442x10332211115544553355332x10000033445500444x10332211115544553355334x10000033445500443x10332211115544553355333x11000033445500441x11332211115544553355331x11000033445500440x11332211115544553355330x11000033445500445x11332211115544553355335x11000033445500442x11332211115544553355332x11000033445500444x11332211115544553355334x11000033445500443x11332211115544553355333x12000033445500441x12332211115544553355331x12000033445500440x12332211115544553355330x12000033445500445x12332211115544553355335x12000033445500442x12332211115544553355332x12000033445500444x12332211115544553355334x12000033445500443x12332211115544553355333x13000033445500441x13332211115544553355331x13000033445500440x13332211115544553355330x13000033445500445x13332211115544553355335x13000033445500442x13332211115544553355332x13000033445500444x13332211115544553355334x13000033445500443x13332211115544553355333x14000033445500441x14332211115544553355331x14000033445500440x14332211115544553355330x14000033445500445x14332211115544553355335x14000033445500442x14332211115544553355332x14000033445500444x14332211115544553355334x14000033445500443x14332211115544553355333x15000033445500441x15332211115544553355331x15000033445500440x15332211115544553355330x15000033445500445x15332211115544553355335x15000033445500442x15332211115544553355332x15000033445500444x15332211115544553355334x15000033445500443x15332211115544553355333x10001100330055331x10222200221144335555331x10001100330055330x10222200221144335555330x10001100330055335x10222200221144335555335x10001100330055332x10222200221144335555332x10001100330055334x10222200221144335555334x10001100330055333x10222200221144335555333x11001100330055331x11222200221144335555331x11001100330055330x11222200221144335555330x11001100330055335x11222200221144335555335x11001100330055332x11222200221144335555332x11001100330055334x11222200221144335555334x11001100330055333x11222200221144335555333x12001100330055331x12222200221144335555331x12001100330055330x12222200221144335555330x12001100330055335x12222200221144335555335x12001100330055332x12222200221144335555332x12001100330055334x12222200221144335555334x12001100330055333x12222200221144335555333x13001100330055331x13222200221144335555331x13001100330055330x13222200221144335555330x13001100330055335x13222200221144335555335x13001100330055332x13222200221144335555332x13001100330055334x13222200221144335555334x13001100330055333x13222200221144335555333x14001100330055331x14222200221144335555331x14001100330055330x14222200221144335555330x14001100330055335x14222200221144335555335x14001100330055332x14222200221144335555332x14001100330055334x14222200221144335555334x14001100330055333x14222200221144335555333x15001100330055331x15222200221144335555331x15001100330055330x15222200221144335555330x15001100330055335x15222200221144335555335x15001100330055332x15222200221144335555332x15001100330055334x15222200221144335555334x15001100330055333x15222200221144335555333x10001133113344221x10554444221111111155441x10001133113344220x10554444221111111155440x10001133113344225x10554444221111111155445x10001133113344222x10554444221111111155442x10001133113344224x10554444221111111155444x10001133113344223x10554444221111111155443x11001133113344221x11554444221111111155441x11001133113344220x11554444221111111155440x11001133113344225x11554444221111111155445x11001133113344222x11554444221111111155442x11001133113344224x11554444221111111155444x11001133113344223x11554444221111111155443x12001133113344221x12554444221111111155441x12001133113344220x12554444221111111155440x12001133113344225x12554444221111111155445x12001133113344222x12554444221111111155442x12001133113344224x12554444221111111155444x12001133113344223x12554444221111111155443x13001133113344221x13554444221111111155441x13001133113344220x13554444221111111155440x13001133113344225x13554444221111111155445x13001133113344222x13554444221111111155442x13001133113344224x13554444221111111155444x13001133113344223x13554444221111111155443x14001133113344221x14554444221111111155441x14001133113344220x14554444221111111155440x14001133113344225x14554444221111111155445x14001133113344222x14554444221111111155442x14001133113344224x14554444221111111155444x14001133113344223x14554444221111111155443x15001133113344221x15554444221111111155441x15001133113344220x15554444221111111155440x15001133113344225x15554444221111111155445x15001133113344222x15554444221111111155442x15001133113344224x15554444221111111155444x15001133113344223x15554444221111111155443x10002255003300551x10224455224400001111551x10002255003300550x10224455224400001111550x10002255003300555x10224455224400001111555x10002255003300552x10224455224400001111552x10002255003300554x10224455224400001111554x10002255003300553x10224455224400001111553x11002255003300551x11224455224400001111551x11002255003300550x11224455224400001111550x11002255003300555x11224455224400001111555x11002255003300552x11224455224400001111552x11002255003300554x11224455224400001111554x11002255003300553x11224455224400001111553x12002255003300551x12224455224400001111551x12002255003300550x12224455224400001111550x12002255003300555x12224455224400001111555x12002255003300552x12224455224400001111552x12002255003300554x12224455224400001111554x12002255003300553x12224455224400001111553x13002255003300551x13224455224400001111551x13002255003300550x13224455224400001111550x13002255003300555x13224455224400001111555x13002255003300552x13224455224400001111552x13002255003300554x13224455224400001111554x13002255003300553x13224455224400001111553x14002255003300551x14224455224400001111551x14002255003300550x14224455224400001111550x14002255003300555x14224455224400001111555x14002255003300552x14224455224400001111552x14002255003300554x14224455224400001111554x14002255003300553x14224455224400001111553x15002255003300551x15224455224400001111551x15002255003300550x15224455224400001111550x15002255003300555x15224455224400001111555x15002255003300552x15224455224400001111552x15002255003300554x15224455224400001111554x15002255003300553x15224455224400001111553x10003322004400111x10332200004422441133111x10003322004400110x10332200004422441133110x10003322004400115x10332200004422441133115x10003322004400112x10332200004422441133112x10003322004400114x10332200004422441133114x10003322004400113x10332200004422441133113x11003322004400111x11332200004422441133111x11003322004400110x11332200004422441133110x11003322004400115x11332200004422441133115x11003322004400112x11332200004422441133112x11003322004400114x11332200004422441133114x11003322004400113x11332200004422441133113x12003322004400111x12332200004422441133111x12003322004400110x12332200004422441133110x12003322004400115x12332200004422441133115x12003322004400112x12332200004422441133112x12003322004400114x12332200004422441133114x12003322004400113x12332200004422441133113x13003322004400111x13332200004422441133111x13003322004400110x13332200004422441133110x13003322004400115x13332200004422441133115x13003322004400112x13332200004422441133112x13003322004400114x13332200004422441133114x13003322004400113x13332200004422441133113x14003322004400111x14332200004422441133111x14003322004400110x14332200004422441133110x14003322004400115x14332200004422441133115x14003322004400112x14332200004422441133112x14003322004400114x14332200004422441133114x14003322004400113x14332200004422441133113x15003322004400111x15332200004422441133111x15003322004400110x15332200004422441133110x15003322004400115x15332200004422441133115x15003322004400112x15332200004422441133112x15003322004400114x15332200004422441133114x15003322004400113x15332200004422441133113x10003355220000331x10220022333344334422331x10003355220000330x10220022333344334422330x10003355220000335x10220022333344334422335x10003355220000332x10220022333344334422332x10003355220000334x10220022333344334422334x10003355220000333x10220022333344334422333x11003355220000331x11220022333344334422331x11003355220000330x11220022333344334422330x11003355220000335x11220022333344334422335x11003355220000332x11220022333344334422332x11003355220000334x11220022333344334422334x11003355220000333x11220022333344334422333x12003355220000331x12220022333344334422331x12003355220000330x12220022333344334422330x12003355220000335x12220022333344334422335x12003355220000332x12220022333344334422332x12003355220000334x12220022333344334422334x12003355220000333x12220022333344334422333x13003355220000331x13220022333344334422331x13003355220000330x13220022333344334422330x13003355220000335x13220022333344334422335x13003355220000332x13220022333344334422332x13003355220000334x13220022333344334422334x13003355220000333x13220022333344334422333x14003355220000331x14220022333344334422331x14003355220000330x14220022333344334422330x14003355220000335x14220022333344334422335x14003355220000332x14220022333344334422332x14003355220000334x14220022333344334422334x14003355220000333x14220022333344334422333x15003355220000331x15220022333344334422331x15003355220000330x15220022333344334422330x15003355220000335x15220022333344334422335x15003355220000332x15220022333344334422332x15003355220000334x15220022333344334422334x15003355220000333x15220022333344334422333x10005533004400221x10222211005511332211441x10005533004400220x10222211005511332211440x10005533004400225x10222211005511332211445x10005533004400222x10222211005511332211442x10005533004400224x10222211005511332211444x10005533004400223x10222211005511332211443x11005533004400221x11222211005511332211441x11005533004400220x11222211005511332211440x11005533004400225x11222211005511332211445x11005533004400222x11222211005511332211442x11005533004400224x11222211005511332211444x11005533004400223x11222211005511332211443x12005533004400221x12222211005511332211441x12005533004400220x12222211005511332211440x12005533004400225x12222211005511332211445x12005533004400222x12222211005511332211442x12005533004400224x12222211005511332211444x12005533004400223x12222211005511332211443x13005533004400221x13222211005511332211441x13005533004400220x13222211005511332211440x13005533004400225x13222211005511332211445x13005533004400222x13222211005511332211442x13005533004400224x13222211005511332211444x13005533004400223x13222211005511332211443x14005533004400221x14222211005511332211441x14005533004400220x14222211005511332211440x14005533004400225x14222211005511332211445x14005533004400222x14222211005511332211442x14005533004400224x14222211005511332211444x14005533004400223x14222211005511332211443x15005533004400221x15222211005511332211441x15005533004400220x15222211005511332211440x15005533004400225x15222211005511332211445x15005533004400222x15222211005511332211442x15005533004400224x15222211005511332211444x15005533004400223x15222211005511332211443x10005533222255001x10223322112222441155111x10005533222255000x10223322112222441155110x10005533222255005x10223322112222441155115x10005533222255002x10223322112222441155112x10005533222255004x10223322112222441155114x10005533222255003x10223322112222441155113x11005533222255001x11223322112222441155111x11005533222255000x11223322112222441155110x11005533222255005x11223322112222441155115x11005533222255002x11223322112222441155112x11005533222255004x11223322112222441155114x11005533222255003x11223322112222441155113x12005533222255001x12223322112222441155111x12005533222255000x12223322112222441155110x12005533222255005x12223322112222441155115x12005533222255002x12223322112222441155112x12005533222255004x12223322112222441155114x12005533222255003x12223322112222441155113x13005533222255001x13223322112222441155111x13005533222255000x13223322112222441155110x13005533222255005x13223322112222441155115x13005533222255002x13223322112222441155112x13005533222255004x13223322112222441155114x13005533222255003x13223322112222441155113x14005533222255001x14223322112222441155111x14005533222255000x14223322112222441155110x14005533222255005x14223322112222441155115x14005533222255002x14223322112222441155112x14005533222255004x14223322112222441155114x14005533222255003x14223322112222441155113x15005533222255001x15223322112222441155111x15005533222255000x15223322112222441155110x15005533222255005x15223322112222441155115x15005533222255002x15223322112222441155112x15005533222255004x15223322112222441155114x15005533222255003x15223322112222441155113x10110000441111221x10222244002200554411221x10110000441111220x10222244002200554411220x10110000441111225x10222244002200554411225x10110000441111222x10222244002200554411222x10110000441111224x10222244002200554411224x10110000441111223x10222244002200554411223x11110000441111221x11222244002200554411221x11110000441111220x11222244002200554411220x11110000441111225x11222244002200554411225x11110000441111222x11222244002200554411222x11110000441111224x11222244002200554411224x11110000441111223x11222244002200554411223x12110000441111221x12222244002200554411221x12110000441111220x12222244002200554411220x12110000441111225x12222244002200554411225x12110000441111222x12222244002200554411222x12110000441111224x12222244002200554411224x12110000441111223x12222244002200554411223x13110000441111221x13222244002200554411221x13110000441111220x13222244002200554411220x13110000441111225x13222244002200554411225x13110000441111222x13222244002200554411222x13110000441111224x13222244002200554411224x13110000441111223x13222244002200554411223x14110000441111221x14222244002200554411221x14110000441111220x14222244002200554411220x14110000441111225x14222244002200554411225x14110000441111222x14222244002200554411222x14110000441111224x14222244002200554411224x14110000441111223x14222244002200554411223x15110000441111221x15222244002200554411221x15110000441111220x15222244002200554411220x15110000441111225x15222244002200554411225x15110000441111222x15222244002200554411222x15110000441111224x15222244002200554411224x15110000441111223x15222244002200554411223x10110011445500551x10441111111144110011551x10110011445500550x10441111111144110011550x10110011445500555x10441111111144110011555x10110011445500552x10441111111144110011552x10110011445500554x10441111111144110011554x10110011445500553x10441111111144110011553x11110011445500551x11441111111144110011551x11110011445500550x11441111111144110011550x11110011445500555x11441111111144110011555x11110011445500552x11441111111144110011552x11110011445500554x11441111111144110011554x11110011445500553x11441111111144110011553x12110011445500551x12441111111144110011551x12110011445500550x12441111111144110011550x12110011445500555x12441111111144110011555x12110011445500552x12441111111144110011552x12110011445500554x12441111111144110011554x12110011445500553x12441111111144110011553x13110011445500551x13441111111144110011551x13110011445500550x13441111111144110011550x13110011445500555x13441111111144110011555x13110011445500552x13441111111144110011552x13110011445500554x13441111111144110011554x13110011445500553x13441111111144110011553x14110011445500551x14441111111144110011551x14110011445500550x14441111111144110011550x14110011445500555x14441111111144110011555x14110011445500552x14441111111144110011552x14110011445500554x14441111111144110011554x14110011445500553x14441111111144110011553x15110011445500551x15441111111144110011551x15110011445500550x15441111111144110011550x15110011445500555x15441111111144110011555x15110011445500552x15441111111144110011552x15110011445500554x15441111111144110011554x15110011445500553x15441111111144110011553x10110044554455001x10222211220022553311111x10110044554455000x10222211220022553311110x10110044554455005x10222211220022553311115x10110044554455002x10222211220022553311112x10110044554455004x10222211220022553311114x10110044554455003x10222211220022553311113x11110044554455001x11222211220022553311111x11110044554455000x11222211220022553311110x11110044554455005x11222211220022553311115x11110044554455002x11222211220022553311112x11110044554455004x11222211220022553311114x11110044554455003x11222211220022553311113x12110044554455001x12222211220022553311111x12110044554455000x12222211220022553311110x12110044554455005x12222211220022553311115x12110044554455002x12222211220022553311112x12110044554455004x12222211220022553311114x12110044554455003x12222211220022553311113x13110044554455001x13222211220022553311111x13110044554455000x13222211220022553311110x13110044554455005x13222211220022553311115x13110044554455002x13222211220022553311112x13110044554455004x13222211220022553311114x13110044554455003x13222211220022553311113x14110044554455001x14222211220022553311111x14110044554455000x14222211220022553311110x14110044554455005x14222211220022553311115x14110044554455002x14222211220022553311112x14110044554455004x14222211220022553311114x14110044554455003x14222211220022553311113x15110044554455001x15222211220022553311111x15110044554455000x15222211220022553311110x15110044554455005x15222211220022553311115x15110044554455002x15222211220022553311112x15110044554455004x15222211220022553311114x15110044554455003x15222211220022553311113x10550000000000441x10224422113311112233221x10550000000000440x10224422113311112233220x10550000000000445x10224422113311112233225x10550000000000442x10224422113311112233222x10550000000000444x10224422113311112233224x10550000000000443x10224422113311112233223x11550000000000441x11224422113311112233221x11550000000000440x11224422113311112233220x11550000000000445x11224422113311112233225x11550000000000442x11224422113311112233222x11550000000000444x11224422113311112233224x11550000000000443x11224422113311112233223x12550000000000441x12224422113311112233221x12550000000000440x12224422113311112233220x12550000000000445x12224422113311112233225x12550000000000442x12224422113311112233222x12550000000000444x12224422113311112233224x12550000000000443x12224422113311112233223x13550000000000441x13224422113311112233221x13550000000000440x13224422113311112233220x13550000000000445x13224422113311112233225x13550000000000442x13224422113311112233222x13550000000000444x13224422113311112233224x13550000000000443x13224422113311112233223x14550000000000441x14224422113311112233221x14550000000000440x14224422113311112233220x14550000000000445x14224422113311112233225x14550000000000442x14224422113311112233222x14550000000000444x14224422113311112233224x14550000000000443x14224422113311112233223x15550000000000441x15224422113311112233221x15550000000000440x15224422113311112233220x15550000000000445x15224422113311112233225x15550000000000442x15224422113311112233222x15550000000000444x15224422113311112233224x15550000000000443x15224422113311112233223x10550000331100441x10331122443344334422111x10550000331100440x10331122443344334422110x10550000331100445x10331122443344334422115x10550000331100442x10331122443344334422112x10550000331100444x10331122443344334422114x10550000331100443x10331122443344334422113x11550000331100441x11331122443344334422111x11550000331100440x11331122443344334422110x11550000331100445x11331122443344334422115x11550000331100442x11331122443344334422112x11550000331100444x11331122443344334422114x11550000331100443x11331122443344334422113x12550000331100441x12331122443344334422111x12550000331100440x12331122443344334422110x12550000331100445x12331122443344334422115x12550000331100442x12331122443344334422112x12550000331100444x12331122443344334422114x12550000331100443x12331122443344334422113x13550000331100441x13331122443344334422111x13550000331100440x13331122443344334422110x13550000331100445x13331122443344334422115x13550000331100442x13331122443344334422112x13550000331100444x13331122443344334422114x13550000331100443x13331122443344334422113x14550000331100441x14331122443344334422111x14550000331100440x14331122443344334422110x14550000331100445x14331122443344334422115x14550000331100442x14331122443344334422112x14550000331100444x14331122443344334422114x14550000331100443x14331122443344334422113x15550000331100441x15331122443344334422111x15550000331100440x15331122443344334422110x15550000331100445x15331122443344334422115x15550000331100442x15331122443344334422112x15550000331100444x15331122443344334422114x15550000331100443x15331122443344334422113x10552200110044221x10225511114411114411221x10552200110044220x10225511114411114411220x10552200110044225x10225511114411114411225x10552200110044222x10225511114411114411222x10552200110044224x10225511114411114411224x10552200110044223x10225511114411114411223x11552200110044221x11225511114411114411221x11552200110044220x11225511114411114411220x11552200110044225x11225511114411114411225x11552200110044222x11225511114411114411222x11552200110044224x11225511114411114411224x11552200110044223x11225511114411114411223x12552200110044221x12225511114411114411221x12552200110044220x12225511114411114411220x12552200110044225x12225511114411114411225x12552200110044222x12225511114411114411222x12552200110044224x12225511114411114411224x12552200110044223x12225511114411114411223x13552200110044221x13225511114411114411221x13552200110044220x13225511114411114411220x13552200110044225x13225511114411114411225x13552200110044222x13225511114411114411222x13552200110044224x13225511114411114411224x13552200110044223x13225511114411114411223x14552200110044221x14225511114411114411221x14552200110044220x14225511114411114411220x14552200110044225x14225511114411114411225x14552200110044222x14225511114411114411222x14552200110044224x14225511114411114411224x14552200110044223x14225511114411114411223x15552200110044221x15225511114411114411221x15552200110044220x15225511114411114411220x15552200110044225x15225511114411114411225x15552200110044222x15225511114411114411222x15552200110044224x15225511114411114411224x15552200110044223x15225511114411114411223x1011005533441x101133332244113322441x1011005533440x101133332244113322440x1011005533445x101133332244113322445x1011005533442x101133332244113322442x1011005533444x101133332244113322444x1011005533443x101133332244113322443x1133552200441x115522224422221155221x1133552200440x115522224422221155220x1133552200445x115522224422221155225x1133552200442x115522224422221155222x1133552200444x115522224422221155224x1133552200443x115522224422221155223x1200330011221x122211552244221100221x1200330011220x122211552244221100220x1200330011225x122211552244221100225x1200330011222x122211552244221100222x1200330011224x122211552244221100224x1200330011223x122211552244221100223x1400440033441x142211442222445533221x1400440033440x142211442222445533220x1400440033445x142211442222445533225x1400440033442x142211442222445533222x1400440033444x142211442222445533224x1400440033443x142211442222445533223x105522550000221x103311551155444455221x105522550000220x103311551155444455220x105522550000225x103311551155444455225x105522550000222x103311551155444455222x105522550000224x103311551155444455224x105522550000223x103311551155444455223x140000552211441x142255223322224411441x140000552211440x142255223322224411440x140000552211445x142255223322224411445x140000552211442x142255223322224411442x140000552211444x142255223322224411444x140000552211443x142255223322224411443x100011004444111x10222200224455554433111x100011004444110x10222200224455554433110x100011004444115x10222200224455554433115x100011004444112x10222200224455554433112x100011004444114x10222200224455554433114x100011004444113x10222200224455554433113x110011004444111x11222200224455554433111x110011004444110x11222200224455554433110x110011004444115x11222200224455554433115x110011004444112x11222200224455554433112x110011004444114x11222200224455554433114x110011004444113x11222200224455554433113x120011004444111x12222200224455554433111x120011004444110x12222200224455554433110x120011004444115x12222200224455554433115x120011004444112x12222200224455554433112x120011004444114x12222200224455554433114x120011004444113x12222200224455554433113x130011004444111x13222200224455554433111x130011004444110x13222200224455554433110x130011004444115x13222200224455554433115x130011004444112x13222200224455554433112x130011004444114x13222200224455554433114x130011004444113x13222200224455554433113x140011004444111x14222200224455554433111x140011004444110x14222200224455554433110x140011004444115x14222200224455554433115x140011004444112x14222200224455554433112x140011004444114x14222200224455554433114x140011004444113x14222200224455554433113x150011004444111x15222200224455554433111x150011004444110x15222200224455554433110x150011004444115x15222200224455554433115x150011004444112x15222200224455554433112x150011004444114x15222200224455554433114x150011004444113x15222200224455554433113x10001100005500441x10220055223300332255221x10001100005500440x10220055223300332255220x10001100005500445x10220055223300332255225x10001100005500442x10220055223300332255222x10001100005500444x10220055223300332255224x10001100005500443x10220055223300332255223x11001100005500441x11220055223300332255221x11001100005500440x11220055223300332255220x11001100005500445x11220055223300332255225x11001100005500442x11220055223300332255222x11001100005500444x11220055223300332255224x11001100005500443x11220055223300332255223x12001100005500441x12220055223300332255221x12001100005500440x12220055223300332255220x12001100005500445x12220055223300332255225x12001100005500442x12220055223300332255222x12001100005500444x12220055223300332255224x12001100005500443x12220055223300332255223x13001100005500441x13220055223300332255221x13001100005500440x13220055223300332255220x13001100005500445x13220055223300332255225x13001100005500442x13220055223300332255222x13001100005500444x13220055223300332255224x13001100005500443x13220055223300332255223x14001100005500441x14220055223300332255221x14001100005500440x14220055223300332255220x14001100005500445x14220055223300332255225x14001100005500442x14220055223300332255222x14001100005500444x14220055223300332255224x14001100005500443x14220055223300332255223x15001100005500441x15220055223300332255221x15001100005500440x15220055223300332255220x15001100005500445x15220055223300332255225x15001100005500442x15220055223300332255222x15001100005500444x15220055223300332255224x15001100005500443x15220055223300332255223x10553344554455441x10444422444400331133441x10553344554455440x10444422444400331133440x10553344554455445x10444422444400331133445x10553344554455442x10444422444400331133442x10553344554455444x10444422444400331133444x10553344554455443x10444422444400331133443x11553344554455441x11444422444400331133441x11553344554455440x11444422444400331133440x11553344554455445x11444422444400331133445x11553344554455442x11444422444400331133442x11553344554455444x11444422444400331133444x11553344554455443x11444422444400331133443x12553344554455441x12444422444400331133441x12553344554455440x12444422444400331133440x12553344554455445x12444422444400331133445x12553344554455442x12444422444400331133442x12553344554455444x12444422444400331133444x12553344554455443x12444422444400331133443x13553344554455441x13444422444400331133441x13553344554455440x13444422444400331133440x13553344554455445x13444422444400331133445x13553344554455442x13444422444400331133442x13553344554455444x13444422444400331133444x13553344554455443x13444422444400331133443x14553344554455441x14444422444400331133441x14553344554455440x14444422444400331133440x14553344554455445x14444422444400331133445x14553344554455442x14444422444400331133442x14553344554455444x14444422444400331133444x14553344554455443x14444422444400331133443x15553344554455441x15444422444400331133441x15553344554455440x15444422444400331133440x15553344554455445x15444422444400331133445x15553344554455442x15444422444400331133442x15553344554455444x15444422444400331133444x15553344554455443x15444422444400331133443x111011110511115011110111112111221112411144111421112111111111001111151110211104111114111031111311151111431113111155111521115411153111411112011114011112511114511112311133111321113411135111130111113355441133331x114444220011115533331x113355441133330x114444220011115533330x113355441133335x114444220011115533335x113355441133332x114444220011115533332x113355441133334x114444220011115533334x113355441133333x114444220011115533333x1000330011441x10222244224400555511441x1000330011440x10222244224400555511440x1000330011445x10222244224400555511445x1000330011442x10222244224400555511442x1000330011444x10222244224400555511444x1000330011443x10222244224400555511443x1100330011441x11222244224400555511441x1100330011440x11222244224400555511440x1100330011445x11222244224400555511445x1100330011442x11222244224400555511442x1100330011444x11222244224400555511444x1100330011443x11222244224400555511443x1200330011441x12222244224400555511441x1200330011440x12222244224400555511440x1200330011445x12222244224400555511445x1200330011442x12222244224400555511442x1200330011444x12222244224400555511444x1200330011443x12222244224400555511443x1300330011441x13222244224400555511441x1300330011440x13222244224400555511440x1300330011445x13222244224400555511445x1300330011442x13222244224400555511442x1300330011444x13222244224400555511444x1300330011443x13222244224400555511443x1400330011441x14222244224400555511441x1400330011440x14222244224400555511440x1400330011445x14222244224400555511445x1400330011442x14222244224400555511442x1400330011444x14222244224400555511444x1400330011443x14222244224400555511443x1500330011441x15222244224400555511441x1500330011440x15222244224400555511440x1500330011445x15222244224400555511445x1500330011442x15222244224400555511442x1500330011444x15222244224400555511444x1500330011443x15222244224400555511443x100011445555331x10222244444455003322441x100011445555330x10222244444455003322440x100011445555335x10222244444455003322445x100011445555332x10222244444455003322442x100011445555334x10222244444455003322444x100011445555333x10222244444455003322443x110011445555331x11222244444455003322441x110011445555330x11222244444455003322440x110011445555335x11222244444455003322445x110011445555332x11222244444455003322442x110011445555334x11222244444455003322444x110011445555333x11222244444455003322443x120011445555331x12222244444455003322441x120011445555330x12222244444455003322440x120011445555335x12222244444455003322445x120011445555332x12222244444455003322442x120011445555334x12222244444455003322444x120011445555333x12222244444455003322443x130011445555331x13222244444455003322441x130011445555330x13222244444455003322440x130011445555335x13222244444455003322445x130011445555332x13222244444455003322442x130011445555334x13222244444455003322444x130011445555333x13222244444455003322443x140011445555331x14222244444455003322441x140011445555330x14222244444455003322440x140011445555335x14222244444455003322445x140011445555332x14222244444455003322442x140011445555334x14222244444455003322444x140011445555333x14222244444455003322443x150011445555331x15222244444455003322441x150011445555330x15222244444455003322440x150011445555335x15222244444455003322445x150011445555332x15222244444455003322442x150011445555334x15222244444455003322444x150011445555333x15222244444455003322443x10001133113344221x10554444221111111155441x10001133113344220x10554444221111111155440x10001133113344225x10554444221111111155445x10001133113344222x10554444221111111155442x10001133113344224x10554444221111111155444x10001133113344223x10554444221111111155443x12001133113344221x12554444221111111155441x12001133113344220x12554444221111111155440x12001133113344225x12554444221111111155445x12001133113344222x12554444221111111155442x12001133113344224x12554444221111111155444x12001133113344223x12554444221111111155443x13001133113344221x13554444221111111155441x13001133113344220x13554444221111111155440x13001133113344225x13554444221111111155445x13001133113344222x13554444221111111155442x13001133113344224x13554444221111111155444x13001133113344223x13554444221111111155443x14001133113344221x14554444221111111155441x14001133113344220x14554444221111111155440x14001133113344225x14554444221111111155445x14001133113344222x14554444221111111155442x14001133113344224x14554444221111111155444x14001133113344223x14554444221111111155443x10110000441111221x10222244002200554411221x10110000441111220x10222244002200554411220x10110000441111225x10222244002200554411225x10110000441111222x10222244002200554411222x10110000441111224x10222244002200554411224x10110000441111223x10222244002200554411223x11110000441111221x11222244002200554411221x11110000441111220x11222244002200554411220x11110000441111225x11222244002200554411225x11110000441111222x11222244002200554411222x11110000441111224x11222244002200554411224x11110000441111223x11222244002200554411223x12110000441111221x12222244002200554411221x12110000441111220x12222244002200554411220x12110000441111225x12222244002200554411225x12110000441111222x12222244002200554411222x12110000441111224x12222244002200554411224x12110000441111223x12222244002200554411223x13110000441111221x13222244002200554411221x13110000441111220x13222244002200554411220x13110000441111225x13222244002200554411225x13110000441111222x13222244002200554411222x13110000441111224x13222244002200554411224x13110000441111223x13222244002200554411223x14110000441111221x14222244002200554411221x14110000441111220x14222244002200554411220x14110000441111225x14222244002200554411225x14110000441111222x14222244002200554411222x14110000441111224x14222244002200554411224x14110000441111223x14222244002200554411223x15110000441111221x15222244002200554411221x15110000441111220x15222244002200554411220x15110000441111225x15222244002200554411225x15110000441111222x15222244002200554411222x15110000441111224x15222244002200554411224x15110000441111223x15222244002200554411223x131331341543513x131335315110120424414x130331341543513x130335315110120424414x135331341543513x135335315110120424414x132331341543513x132335315110120424414x134331341543513x134335315110120424414x133331341543513x133335315110120424414x1411401300300x14114515505402442242202x1401401300300x14014515505402442242202x1451401300300x14514515505402442242202x1421401300300x14214515505402442242202x1441401300300x14414515505402442242202x1431401300300x14314515505402442242202x1411401300310x14114515505402442242212x1401401300310x14014515505402442242212x1451401300310x14514515505402442242212x1421401300310x14214515505402442242212x1441401300310x14414515505402442242212x1431401300310x14314515505402442242212x1411401300320x14114515505402442242222x1401401300320x14014515505402442242222x1451401300320x14514515505402442242222x1421401300320x14214515505402442242222x1441401300320x14414515505402442242222x1431401300320x14314515505402442242222x1411401300330x14114515505402442242232x1401401300330x14014515505402442242232x1451401300330x14514515505402442242232x1421401300330x14214515505402442242232x1441401300330x14414515505402442242232x1431401300330x14314515505402442242232x1411401300340x14114515505402442242242x1401401300340x14014515505402442242242x1451401300340x14514515505402442242242x1421401300340x14214515505402442242242x1441401300340x14414515505402442242242x1431401300340x14314515505402442242242x1411401300350x14114515505402442242252x1401401300350x14014515505402442242252x1451401300350x14514515505402442242252x1421401300350x14214515505402442242252x1441401300350x14414515505402442242252x1431401300350x14314515505402442242252x131535545140100x14124320350454444242202x130535545140100x14024320350454444242202x135535545140100x14524320350454444242202x132535545140100x14224320350454444242202x134535545140100x14424320350454444242202x133535545140100x14324320350454444242202x131535545140110x14124320350454444242212x130535545140110x14024320350454444242212x135535545140110x14524320350454444242212x132535545140110x14224320350454444242212x134535545140110x14424320350454444242212x133535545140110x14324320350454444242212x131535545140120x14124320350454444242222x130535545140120x14024320350454444242222x135535545140120x14524320350454444242222x132535545140120x14224320350454444242222x134535545140120x14424320350454444242222x133535545140120x14324320350454444242222x131535545140130x14124320350454444242232x130535545140130x14024320350454444242232x135535545140130x14524320350454444242232x132535545140130x14224320350454444242232x134535545140130x14424320350454444242232x133535545140130x14324320350454444242232x131535545140140x14124320350454444242242x130535545140140x14024320350454444242242x135535545140140x14524320350454444242242x132535545140140x14224320350454444242242x134535545140140x14424320350454444242242x133535545140140x14324320350454444242242x131535545140150x14124320350454444242252x130535545140150x14024320350454444242252x135535545140150x14524320350454444242252x132535545140150x14224320350454444242252x134535545140150x14424320350454444242252x133535545140150x14324320350454444242252x12142341331130100x14154151111112142445405x12042341331130100x14054151111112142445405x12542341331130100x14554151111112142445405x12242341331130100x14254151111112142445405x12442341331130100x14454151111112142445405x12342341331130100x14354151111112142445405x12142341331130120x14154151111112142445425x12042341331130120x14054151111112142445425x12542341331130120x14554151111112142445425x12242341331130120x14254151111112142445425x12442341331130120x14454151111112142445425x12342341331130120x14354151111112142445425x12142341331130130x14154151111112142445435x12042341331130130x14054151111112142445435x12542341331130130x14554151111112142445435x12242341331130130x14254151111112142445435x12442341331130130x14454151111112142445435x12342341331130130x14354151111112142445435x12142341331130140x14154151111112142445445x12042341331130140x14054151111112142445445x12542341331130140x14554151111112142445445x12242341331130140x14254151111112142445445x12442341331130140x14454151111112142445445x12342341331130140x14354151111112142445445x12112114104001001x12112415405200240242202x12012114104001001x12012415405200240242202x12512114104001001x12512415405200240242202x12212114104001001x12212415405200240242202x12412114104001001x12412415405200240242202x12312114104001001x12312415405200240242202x12112114104001011x12112415405200240242212x12012114104001011x12012415405200240242212x12512114104001011x12512415405200240242212x12212114104001011x12212415405200240242212x12412114104001011x12412415405200240242212x12312114104001011x12312415405200240242212x12112114104001021x12112415405200240242222x12012114104001021x12012415405200240242222x12512114104001021x12512415405200240242222x12212114104001021x12212415405200240242222x12412114104001021x12412415405200240242222x12312114104001021x12312415405200240242222x12112114104001031x12112415405200240242232x12012114104001031x12012415405200240242232x12512114104001031x12512415405200240242232x12212114104001031x12212415405200240242232x12412114104001031x12412415405200240242232x12312114104001031x12312415405200240242232x12112114104001041x12112415405200240242242x12012114104001041x12012415405200240242242x12512114104001041x12512415405200240242242x12212114104001041x12212415405200240242242x12412114104001041x12412415405200240242242x12312114104001041x12312415405200240242242x12112114104001051x12112415405200240242252x12012114104001051x12012415405200240242252x12512114104001051x12512415405200240242252x12212114104001051x12212415405200240242252x12412114104001051x12412415405200240242252x12312114104001051x12312415405200240242252x113111133111131114111154111351112531111151111111101111201111421114411114111301112321113411110311100111511115511110511140111124111221110211145111143111110111112111501111521112111125111123111104111131331341543513x131335315110120424414x130331341543513x130335315110120424414x135331341543513x135335315110120424414x132331341543513x132335315110120424414x134331341543513x134335315110120424414x133331341543513x133335315110120424414x1411401300300x14114515505402442242202x1401401300300x14014515505402442242202x1451401300300x14514515505402442242202x1421401300300x14214515505402442242202x1441401300300x14414515505402442242202x1431401300300x14314515505402442242202x133535545140100x14324320350454444242202x12112114104001001x12112415405200240242202x12012114104001001x12012415405200240242202x12512114104001001x12512415405200240242202x12212114104001001x12212415405200240242202x12412114104001001x12412415405200240242202x12312114104001001x12312415405200240242202x12112114104001011x12112415405200240242212x12012114104001011x12012415405200240242212x12512114104001011x12512415405200240242212x12212114104001011x12212415405200240242212x12412114104001011x12412415405200240242212x12312114104001011x12312415405200240242212x12112114104001021x12112415405200240242222x12012114104001021x12012415405200240242222x12512114104001021x12512415405200240242222x12212114104001021x12212415405200240242222x12412114104001021x12412415405200240242222x12312114104001021x12312415405200240242222x12112114104001031x12112415405200240242232x12012114104001031x12012415405200240242232x12512114104001031x12512415405200240242232x12212114104001031x12212415405200240242232x12412114104001031x12412415405200240242232x12312114104001031x12312415405200240242232x12112114104001041x12112415405200240242242x12012114104001041x12012415405200240242242x12512114104001041x12512415405200240242242x12212114104001041x12212415405200240242242x12412114104001041x12412415405200240242242x12312114104001041x12312415405200240242242x12112114104001051x12112415405200240242252x12012114104001051x12012415405200240242252x12512114104001051x12512415405200240242252x12212114104001051x12212415405200240242252x12412114104001051x12412415405200240242252x12312114104001051x12312415405200240242252x11311113311111311141111541113511153111151111111101111201114211144111141113011132111341110311100111511115511105111401112411122111021114511143111501112111112111041111011125111231115211131331341543513x131335315110120424414x130331341543513x130335315110120424414x135331341543513x135335315110120424414x132331341543513x132335315110120424414x134331341543513x134335315110120424414x133331341543513x133335315110120424414x1411401300300x14114515505402442242202x1401401300300x14014515505402442242202x1451401300300x14514515505402442242202x1421401300300x14214515505402442242202x1441401300300x14414515505402442242202x1431401300300x14314515505402442242202x12112114104001001x12112415405200240242202x12012114104001001x12012415405200240242202x12512114104001001x12512415405200240242202x12212114104001001x12212415405200240242202x12412114104001001x12412415405200240242202x12312114104001001x12312415405200240242202x12112114104001011x12112415405200240242212x12012114104001011x12012415405200240242212x12512114104001011x12512415405200240242212x12212114104001011x12212415405200240242212x12412114104001011x12412415405200240242212x12312114104001011x12312415405200240242212x12112114104001021x12112415405200240242222x12012114104001021x12012415405200240242222x12512114104001021x12512415405200240242222x12212114104001021x12212415405200240242222x12412114104001021x12412415405200240242222x12312114104001021x12312415405200240242222x12112114104001031x12112415405200240242232x12012114104001031x12012415405200240242232x12512114104001031x12512415405200240242232x12212114104001031x12212415405200240242232x12412114104001031x12412415405200240242232x12312114104001031x12312415405200240242232x12112114104001041x12112415405200240242242x12012114104001041x12012415405200240242242x12512114104001041x12512415405200240242242x12212114104001041x12212415405200240242242x12412114104001041x12412415405200240242242x12312114104001041x12312415405200240242242x12112114104001051x12112415405200240242252x12012114104001051x12012415405200240242252x12512114104001051x12512415405200240242252x12212114104001051x12212415405200240242252x12412114104001051x12412415405200240242252x12312114104001051x12312415405200240242252x1131111331111311141111541113511115311115111111110111120111421114411114111301113211134111031110011151111551110511140111241112211102111451114311121111121110411110111251112311152111411401300300x14114515505402442242202x1401401300300x14014515505402442242202x1451401300300x14514515505402442242202x1421401300300x14214515505402442242202x1441401300300x14414515505402442242202x1431401300300x14314515505402442242202x12112114104001001x12112415405200240242202x12012114104001001x12012415405200240242202x12512114104001001x12512415405200240242202x12212114104001001x12212415405200240242202x12412114104001001x12412415405200240242202x12312114104001001x12312415405200240242202x12112114104001011x12112415405200240242212x12012114104001011x12012415405200240242212x12512114104001011x12512415405200240242212x12212114104001011x12212415405200240242212x12412114104001011x12412415405200240242212x12312114104001011x12312415405200240242212x12112114104001021x12112415405200240242222x12012114104001021x12012415405200240242222x12512114104001021x12512415405200240242222x12212114104001021x12212415405200240242222x12412114104001021x12412415405200240242222x12312114104001021x12312415405200240242222x12112114104001031x12112415405200240242232x12012114104001031x12012415405200240242232x12512114104001031x12512415405200240242232x12212114104001031x12212415405200240242232x12412114104001031x12412415405200240242232x12312114104001031x12312415405200240242232x12112114104001041x12112415405200240242242x12012114104001041x12012415405200240242242x12512114104001041x12512415405200240242242x12212114104001041x12212415405200240242242x12412114104001041x12412415405200240242242x12312114104001041x12312415405200240242242x12112114104001051x12112415405200240242252x12012114104001051x12012415405200240242252x12512114104001051x12512415405200240242252x12212114104001051x12212415405200240242252x12412114104001051x12412415405200240242252x12312114104001051x12312415405200240242252x11411111411101111301110311110011151111551110511140111241114211122111021114511144111431112111112111111110411110111541112011125111231113111132111521112112114104001001x12112415405200240242202x12012114104001001x12012415405200240242202x12512114104001001x12512415405200240242202x12212114104001001x12212415405200240242202x12412114104001001x12412415405200240242202x12312114104001001x12312415405200240242202x12112114104001011x12112415405200240242212x12012114104001011x12012415405200240242212x12512114104001011x12512415405200240242212x12212114104001011x12212415405200240242212x12412114104001011x12412415405200240242212x12312114104001011x12312415405200240242212x12112114104001021x12112415405200240242222x12012114104001021x12012415405200240242222x12512114104001021x12512415405200240242222x12212114104001021x12212415405200240242222x12412114104001021x12412415405200240242222x12312114104001021x12312415405200240242222x12112114104001031x12112415405200240242232x12012114104001031x12012415405200240242232x12512114104001031x12512415405200240242232x12212114104001031x12212415405200240242232x12412114104001031x12412415405200240242232x12312114104001031x12312415405200240242232x12112114104001041x12112415405200240242242x12012114104001041x12012415405200240242242x12512114104001041x12512415405200240242242x12212114104001041x12212415405200240242242x12412114104001041x12412415405200240242242x12312114104001041x12312415405200240242242x12112114104001051x12112415405200240242252x12012114104001051x12012415405200240242252x12512114104001051x12512415405200240242252x12212114104001051x12212415405200240242252x12412114104001051x12412415405200240242252x12312114104001051x12312415405200240242252x112111112111111114111104111001111011101111154111051112011102111401112411122111251112311131111321114211151111521112112114104001011x12112415405200240242212x12012114104001011x12012415405200240242212x12512114104001011x12512415405200240242212x12212114104001011x12212415405200240242212x12412114104001011x12412415405200240242212x12312114104001011x12312415405200240242212x12112114104001021x12112415405200240242222x12012114104001021x12012415405200240242222x12512114104001021x12512415405200240242222x12212114104001021x12212415405200240242222x12412114104001021x12412415405200240242222x12312114104001021x12312415405200240242222x12112114104001031x12112415405200240242232x12012114104001031x12012415405200240242232x12512114104001031x12512415405200240242232x12212114104001031x12212415405200240242232x12412114104001031x12412415405200240242232x12312114104001031x12312415405200240242232x12112114104001041x12112415405200240242242x12012114104001041x12012415405200240242242x12512114104001041x12512415405200240242242x12212114104001041x12212415405200240242242x12412114104001041x12412415405200240242242x12312114104001041x12312415405200240242242x12112114104001051x12112415405200240242252x12012114104001051x12012415405200240242252x12512114104001051x12512415405200240242252x12212114104001051x12212415405200240242252x12412114104001051x12412415405200240242252x12312114104001051x12312415405200240242252x11211111211111111411110411120011110111541110511120111021114011124111221111251112311131111321111421111511115211112112114104001021x12112415405200240242222x12012114104001021x12012415405200240242222x12512114104001021x12512415405200240242222x12212114104001021x12212415405200240242222x12412114104001021x12412415405200240242222x12312114104001021x12312415405200240242222x12112114104001031x12112415405200240242232x12012114104001031x12012415405200240242232x12512114104001031x12512415405200240242232x12212114104001031x12212415405200240242232x12412114104001031x12412415405200240242232x12312114104001031x12312415405200240242232x12112114104001041x12112415405200240242242x12012114104001041x12012415405200240242242x12512114104001041x12512415405200240242242x12212114104001041x12212415405200240242242x12412114104001041x12412415405200240242242x12312114104001041x12312415405200240242242x12112114104001051x12112415405200240242252x12012114104001051x12012415405200240242252x12512114104001051x12512415405200240242252x12212114104001051x12212415405200240242252x12412114104001051x12412415405200240242252x12312114104001051x12312415405200240242252x1121111112111111114111104111001111011154111051112011102111401112411122111251112311131111321114211151111521112112114104001031x12112415405200240242232x12012114104001031x12012415405200240242232x12512114104001031x12512415405200240242232x12212114104001031x12212415405200240242232x12412114104001031x12412415405200240242232x12312114104001031x12312415405200240242232x12112114104001041x12112415405200240242242x12012114104001041x12012415405200240242242x12512114104001041x12512415405200240242242x12212114104001041x12212415405200240242242x12412114104001041x12412415405200240242242x12312114104001041x12312415405200240242242x12112114104001051x12112415405200240242252x12012114104001051x12012415405200240242252x12512114104001051x12512415405200240242252x12212114104001051x12212415405200240242252x12412114104001051x12412415405200240242252x12312114104001051x12312415405200240242252x1121111121111111141111041110011110111311111541110511120111021114011124111221113211125111231114211151111521112112114104001041x12112415405200240242242x12012114104001041x12012415405200240242242x12512114104001041x12512415405200240242242x12212114104001041x12212415405200240242242x12412114104001041x12412415405200240242242x12312114104001041x12312415405200240242242x12112114104001051x12112415405200240242252x12012114104001051x12012415405200240242252x12512114104001051x12512415405200240242252x12212114104001051x12212415405200240242252x12412114104001051x12412415405200240242252x12312114104001051x12312415405200240242252x112111112111111114111110411100111101115411105111201110211140111241112211142111251112311151111521112112114104001051x12112415405200240242252x12012114104001051x12012415405200240242252x12512114104001051x12512415405200240242252x12212114104001051x12212415405200240242252x12412114104001051x12412415405200240242252x12312114104001051x12312415405200240242252x112111112111111114111104111100111101115111154111051112011102111401112411122111521112511123111AProVEAProVE Commit ID: 48fb2092695e11cc9f56e44b17a92a5f88ffb256 marcel 20180622 unpublished dirty Statistics for single proof: 100.00 % (16 real / 0 unknown / 0 assumptions / 16 total proof steps)http://aprove.informatik.rwth-aachen.deJohnDoe