-
Notifications
You must be signed in to change notification settings - Fork 2
/
original-6-873.txt
99 lines (99 loc) · 82.2 KB
/
original-6-873.txt
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
# 96 Small Superpermutations
# This file contains 96 distinct superpermutations (one on each line) on the symbols {1, 2, 3, 4, 5, 6}, each of length 873, which is conjectured to be minimal.
# Generated by Nathaniel Johnston
123456123451623451263451236451234651234156234152634152364152346152341652341256341253641253461253416253412653412356412354612354162354126354123654123145623145263145236145231645231465231425631425361425316425314625314265314235614235164235146235142635142365142315642315462315426315423615423165423124563124536124531624531264531246531243561243516243512643512463512436512431562431526431524631524361524316524312564312546312543612543162543126543121345621345261345216345213645213465213425613425163425136425134625134265134215634215364215346215342615342165342135642135462135426135421635421365421324561324516324513624513264513246513241563241536241532641532461532416532413562413526413524613524163524136524132564132546132541632541362541326541321456321453621453261453216453214653214356214352614352164352146352143652143256143251643251463251436251432651432156432154632154362154326154321654321
123456123451623451263451236451234651234156234152634152364152346152341652341256341253641253461253416253412653412356412354612354162354126354123654123145623145263145236145231645231465231425631425361425316425314625314265314235614235164235146235142635142365142315642315462315426315423615423165423124563124536124531624531264531246531243561243516243512643512463512436512431562431526431524631524361524316524312564312546312543612543162543126543121345621345261345216345213645213465213425613425163425136425134625134265134215634215364215346215342615342165342135642135462135426135421635421365421324561324516324513624513264513246513241563241536241532641532461532416532413562413526413524613524163524136524132564132546132541632541362541326541321465321463521463251463215463214563214365214362514362154362145362143562143265143261543261453261435261432561432165432164532164352164325164321564321
123456123451623451263451236451234651234156234152634152364152346152341652341256341253641253461253416253412653412356412354612354162354126354123654123145623145263145236145231645231465231425631425361425316425314625314265314235614235164235146235142635142365142315642315462315426315423615423165423124563124536124531624531264531246531243561243516243512643512463512436512431562431526431524631524361524316524312564312546312543612543162543126543121345621345261345216345213645213465213425613425163425136425134625134265134215634215364215346215342615342165342135642135462135426135421635421365421324651324615324613524613254613245613241653241635241632541632451632415632413652413625413624513624153624135624132654132645132641532641352641325641321465321463521463251463215463214563214365214362514362154362145362143562143265143261543261453261435261432561432165432164532164352164325164321564321
123456123451623451263451236451234651234156234152634152364152346152341652341256341253641253461253416253412653412356412354612354162354126354123654123145623145263145236145231645231465231425631425361425316425314625314265314235614235164235146235142635142365142315642315462315426315423615423165423124563124536124531624531264531246531243561243516243512643512463512436512431562431526431524631524361524316524312564312546312543612543162543126543121345621345261345216345213645213465213425613425163425136425134625134265134215634215364215346215342615342165342135642135462135426135421635421365421324651324615324613524613254613245613241653241635241632541632451632415632413652413625413624513624153624135624132654132645132641532641352641325641321456321453621453261453216453214653214356214352614352164352146352143652143256143251643251463251436251432651432156432154632154362154326154321654321
123456123451623451263451236451234651234156234152634152364152346152341652341256341253641253461253416253412653412356412354612354162354126354123654123145623145263145236145231645231465231425631425361425316425314625314265314235614235164235146235142635142365142315642315462315426315423615423165423124563124536124531624531264531246531243561243516243512643512463512436512431562431526431524631524361524316524312564312546312543612543162543126543121346521346251346215346213546213456213426513426153426135426134526134256134216534216354216345216342516342156342136542136452136425136421536421356421324651324615324613524613254613245613241653241635241632541632451632415632413652413625413624513624153624135624132654132645132641532641352641325641321465321463521463251463215463214563214365214362514362154362145362143562143265143261543261453261435261432561432165432164532164352164325164321564321
123456123451623451263451236451234651234156234152634152364152346152341652341256341253641253461253416253412653412356412354612354162354126354123654123145623145263145236145231645231465231425631425361425316425314625314265314235614235164235146235142635142365142315642315462315426315423615423165423124563124536124531624531264531246531243561243516243512643512463512436512431562431526431524631524361524316524312564312546312543612543162543126543121346521346251346215346213546213456213426513426153426135426134526134256134216534216354216345216342516342156342136542136452136425136421536421356421324651324615324613524613254613245613241653241635241632541632451632415632413652413625413624513624153624135624132654132645132641532641352641325641321456321453621453261453216453214653214356214352614352164352146352143652143256143251643251463251436251432651432156432154632154362154326154321654321
123456123451623451263451236451234651234156234152634152364152346152341652341256341253641253461253416253412653412356412354612354162354126354123654123145623145263145236145231645231465231425631425361425316425314625314265314235614235164235146235142635142365142315642315462315426315423615423165423124563124536124531624531264531246531243561243516243512643512463512436512431562431526431524631524361524316524312564312546312543612543162543126543121346521346251346215346213546213456213426513426153426135426134526134256134216534216354216345216342516342156342136542136452136425136421536421356421324561324516324513624513264513246513241563241536241532641532461532416532413562413526413524613524163524136524132564132546132541632541362541326541321456321453621453261453216453214653214356214352614352164352146352143652143256143251643251463251436251432651432156432154632154362154326154321654321
123456123451623451263451236451234651234156234152634152364152346152341652341256341253641253461253416253412653412356412354612354162354126354123654123145623145263145236145231645231465231425631425361425316425314625314265314235614235164235146235142635142365142315642315462315426315423615423165423124563124536124531624531264531246531243561243516243512643512463512436512431562431526431524631524361524316524312564312546312543612543162543126543121346521346251346215346213546213456213426513426153426135426134526134256134216534216354216345216342516342156342136542136452136425136421536421356421324561324516324513624513264513246513241563241536241532641532461532416532413562413526413524613524163524136524132564132546132541632541362541326541321465321463521463251463215463214563214365214362514362154362145362143562143265143261543261453261435261432561432165432164532164352164325164321564321
123456123451623451263451236451234651234156234152634152364152346152341652341256341253641253461253416253412653412356412354612354162354126354123654123145623145263145236145231645231465231425631425361425316425314625314265314235614235164235146235142635142365142315642315462315426315423615423165423124563124536124531624531264531246531243561243516243512643512463512436512431562431526431524631524361524316524312564312546312543612543162543126543121354621354261354216354213654213564213524613524163524136524135624135264135214635214365214356214352614352164352134652134562134526134521634521364521325461325416325413625413265413256413251463251436251432651432561432516432513462513426513425613425163425136425132465132456132451632451362451326451321546321543621543261543216543215643215346215342615342165342156342153642153246153241653241563241536241532641532146532145632145362145326145321645321
123456123451623451263451236451234651234156234152634152364152346152341652341256341253641253461253416253412653412356412354612354162354126354123654123145623145263145236145231645231465231425631425361425316425314625314265314235614235164235146235142635142365142315642315462315426315423615423165423124563124536124531624531264531246531243561243516243512643512463512436512431562431526431524631524361524316524312564312546312543612543162543126543121354621354261354216354213654213564213524613524163524136524135624135264135214635214365214356214352614352164352134652134562134526134521634521364521325461325416325413625413265413256413251463251436251432651432561432516432513462513426513425613425163425136425132465132456132451632451362451326451321564321563421563241563214563215463215364215362415362145362154362153462153264153261453261543261534261532461532164532165432165342165324165321465321
123456123451623451263451236451234651234156234152634152364152346152341652341256341253641253461253416253412653412356412354612354162354126354123654123145623145263145236145231645231465231425631425361425316425314625314265314235614235164235146235142635142365142315642315462315426315423615423165423124563124536124531624531264531246531243561243516243512643512463512436512431562431526431524631524361524316524312564312546312543612543162543126543121354621354261354216354213654213564213524613524163524136524135624135264135214635214365214356214352614352164352134652134562134526134521634521364521325641325614325613425613245613254613251643251634251632451632541632514632513642513624513625413625143625134625132645132654132651432651342651324651321564321563421563241563214563215463215364215362415362145362154362153462153264153261453261543261534261532461532164532165432165342165324165321465321
123456123451623451263451236451234651234156234152634152364152346152341652341256341253641253461253416253412653412356412354612354162354126354123654123145623145263145236145231645231465231425631425361425316425314625314265314235614235164235146235142635142365142315642315462315426315423615423165423124563124536124531624531264531246531243561243516243512643512463512436512431562431526431524631524361524316524312564312546312543612543162543126543121354621354261354216354213654213564213524613524163524136524135624135264135214635214365214356214352614352164352134652134562134526134521634521364521325641325614325613425613245613254613251643251634251632451632541632514632513642513624513625413625143625134625132645132654132651432651342651324651321546321543621543261543216543215643215346215342615342165342156342153642153246153241653241563241536241532641532146532145632145362145326145321645321
123456123451623451263451236451234651234156234152634152364152346152341652341256341253641253461253416253412653412356412354612354162354126354123654123145623145263145236145231645231465231425631425361425316425314625314265314235614235164235146235142635142365142315642315462315426315423615423165423124563124536124531624531264531246531243561243516243512643512463512436512431562431526431524631524361524316524312564312546312543612543162543126543121356421356241356214356213456213546213526413526143526134526135426135246135216435216345216354216352416352146352136452136542136524136521436521346521325641325614325613425613245613254613251643251634251632451632541632514632513642513624513625413625143625134625132645132654132651432651342651324651321564321563421563241563214563215463215364215362415362145362154362153462153264153261453261543261534261532461532164532165432165342165324165321465321
123456123451623451263451236451234651234156234152634152364152346152341652341256341253641253461253416253412653412356412354612354162354126354123654123145623145263145236145231645231465231425631425361425316425314625314265314235614235164235146235142635142365142315642315462315426315423615423165423124563124536124531624531264531246531243561243516243512643512463512436512431562431526431524631524361524316524312564312546312543612543162543126543121356421356241356214356213456213546213526413526143526134526135426135246135216435216345216354216352416352146352136452136542136524136521436521346521325641325614325613425613245613254613251643251634251632451632541632514632513642513624513625413625143625134625132645132654132651432651342651324651321546321543621543261543216543215643215346215342615342165342156342153642153246153241653241563241536241532641532146532145632145362145326145321645321
123456123451623451263451236451234651234156234152634152364152346152341652341256341253641253461253416253412653412356412354612354162354126354123654123145623145263145236145231645231465231425631425361425316425314625314265314235614235164235146235142635142365142315642315462315426315423615423165423124563124536124531624531264531246531243561243516243512643512463512436512431562431526431524631524361524316524312564312546312543612543162543126543121356421356241356214356213456213546213526413526143526134526135426135246135216435216345216354216352416352146352136452136542136524136521436521346521325461325416325413625413265413256413251463251436251432651432561432516432513462513426513425613425163425136425132465132456132451632451362451326451321546321543621543261543216543215643215346215342615342165342156342153642153246153241653241563241536241532641532146532145632145362145326145321645321
123456123451623451263451236451234651234156234152634152364152346152341652341256341253641253461253416253412653412356412354612354162354126354123654123145623145263145236145231645231465231425631425361425316425314625314265314235614235164235146235142635142365142315642315462315426315423615423165423124563124536124531624531264531246531243561243516243512643512463512436512431562431526431524631524361524316524312564312546312543612543162543126543121356421356241356214356213456213546213526413526143526134526135426135246135216435216345216354216352416352146352136452136542136524136521436521346521325461325416325413625413265413256413251463251436251432651432561432516432513462513426513425613425163425136425132465132456132451632451362451326451321564321563421563241563214563215463215364215362415362145362154362153462153264153261453261543261534261532461532164532165432165342165324165321465321
123456123451623451263451236451234651234156234152634152364152346152341652341256341253641253461253416253412653412356412354612354162354126354123654123145623145263145236145231645231465231425631425361425316425314625314265314235614235164235146235142635142365142315642315462315426315423615423165423124563124536124531624531264531246531243561243516243512643512463512436512431562431526431524631524361524316524312564312546312543612543162543126543121364521364251364215364213564213654213624513624153624135624136524136254136214536214356214365214362514362154362134562134652134625134621534621354621326451326415326413526413256413265413261453261435261432561432651432615432613452613425613426513426153426135426132456132465132461532461352461325461321645321643521643251643215643216543216345216342516342156342165342163542163245163241563241653241635241632541632145632146532146352146325146321546321
123456123451623451263451236451234651234156234152634152364152346152341652341256341253641253461253416253412653412356412354612354162354126354123654123145623145263145236145231645231465231425631425361425316425314625314265314235614235164235146235142635142365142315642315462315426315423615423165423124563124536124531624531264531246531243561243516243512643512463512436512431562431526431524631524361524316524312564312546312543612543162543126543121364521364251364215364213564213654213624513624153624135624136524136254136214536214356214365214362514362154362134562134652134625134621534621354621326451326415326413526413256413265413261453261435261432561432651432615432613452613425613426513426153426135426132456132465132461532461352461325461321654321653421653241653214653216453216354216352416352146352164352163452163254163251463251643251634251632451632154632156432156342156324156321456321
123456123451623451263451236451234651234156234152634152364152346152341652341256341253641253461253416253412653412356412354612354162354126354123654123145623145263145236145231645231465231425631425361425316425314625314265314235614235164235146235142635142365142315642315462315426315423615423165423124563124536124531624531264531246531243561243516243512643512463512436512431562431526431524631524361524316524312564312546312543612543162543126543121364521364251364215364213564213654213624513624153624135624136524136254136214536214356214365214362514362154362134562134652134625134621534621354621326541326514326513426513246513264513261543261534261532461532641532614532613542613524613526413526143526134526132546132564132561432561342561324561321654321653421653241653214653216453216354216352416352146352164352163452163254163251463251643251634251632451632154632156432156342156324156321456321
123456123451623451263451236451234651234156234152634152364152346152341652341256341253641253461253416253412653412356412354612354162354126354123654123145623145263145236145231645231465231425631425361425316425314625314265314235614235164235146235142635142365142315642315462315426315423615423165423124563124536124531624531264531246531243561243516243512643512463512436512431562431526431524631524361524316524312564312546312543612543162543126543121364521364251364215364213564213654213624513624153624135624136524136254136214536214356214365214362514362154362134562134652134625134621534621354621326541326514326513426513246513264513261543261534261532461532641532614532613542613524613526413526143526134526132546132564132561432561342561324561321645321643521643251643215643216543216345216342516342156342165342163542163245163241563241653241635241632541632145632146532146352146325146321546321
123456123451623451263451236451234651234156234152634152364152346152341652341256341253641253461253416253412653412356412354612354162354126354123654123145623145263145236145231645231465231425631425361425316425314625314265314235614235164235146235142635142365142315642315462315426315423615423165423124563124536124531624531264531246531243561243516243512643512463512436512431562431526431524631524361524316524312564312546312543612543162543126543121365421365241365214365213465213645213625413625143625134625136425136245136215436215346215364215362415362145362135462135642135624135621435621345621326541326514326513426513246513264513261543261534261532461532641532614532613542613524613526413526143526134526132546132564132561432561342561324561321654321653421653241653214653216453216354216352416352146352164352163452163254163251463251643251634251632451632154632156432156342156324156321456321
123456123451623451263451236451234651234156234152634152364152346152341652341256341253641253461253416253412653412356412354612354162354126354123654123145623145263145236145231645231465231425631425361425316425314625314265314235614235164235146235142635142365142315642315462315426315423615423165423124563124536124531624531264531246531243561243516243512643512463512436512431562431526431524631524361524316524312564312546312543612543162543126543121365421365241365214365213465213645213625413625143625134625136425136245136215436215346215364215362415362145362135462135642135624135621435621345621326541326514326513426513246513264513261543261534261532461532641532614532613542613524613526413526143526134526132546132564132561432561342561324561321645321643521643251643215643216543216345216342516342156342165342163542163245163241563241653241635241632541632145632146532146352146325146321546321
123456123451623451263451236451234651234156234152634152364152346152341652341256341253641253461253416253412653412356412354612354162354126354123654123145623145263145236145231645231465231425631425361425316425314625314265314235614235164235146235142635142365142315642315462315426315423615423165423124563124536124531624531264531246531243561243516243512643512463512436512431562431526431524631524361524316524312564312546312543612543162543126543121365421365241365214365213465213645213625413625143625134625136425136245136215436215346215364215362415362145362135462135642135624135621435621345621326451326415326413526413256413265413261453261435261432561432651432615432613452613425613426513426153426135426132456132465132461532461352461325461321645321643521643251643215643216543216345216342516342156342165342163542163245163241563241653241635241632541632145632146532146352146325146321546321
123456123451623451263451236451234651234156234152634152364152346152341652341256341253641253461253416253412653412356412354612354162354126354123654123145623145263145236145231645231465231425631425361425316425314625314265314235614235164235146235142635142365142315642315462315426315423615423165423124563124536124531624531264531246531243561243516243512643512463512436512431562431526431524631524361524316524312564312546312543612543162543126543121365421365241365214365213465213645213625413625143625134625136425136245136215436215346215364215362415362145362135462135642135624135621435621345621326451326415326413526413256413265413261453261435261432561432651432615432613452613425613426513426153426135426132456132465132461532461352461325461321654321653421653241653214653216453216354216352416352146352164352163452163254163251463251643251634251632451632154632156432156342156324156321456321
123456123451623451263451236451234651234156234152634152364152346152341652341256341253641253461253416253412653412356412354612354162354126354123654123145623145263145236145231645231465231425631425361425316425314625314265314235614235164235146235142635142365142315642315462315426315423615423165423124653124635124631524631254631245631243651243615243612543612453612435612431652431625431624531624351624315624312654312645312643512643152643125643121345621345261345216345213645213465213425613425163425136425134625134265134215634215364215346215342615342165342135642135462135426135421635421365421324561324516324513624513264513246513241563241536241532641532461532416532413562413526413524613524163524136524132564132546132541632541362541326541321456321453621453261453216453214653214356214352614352164352146352143652143256143251643251463251436251432651432156432154632154362154326154321654321
123456123451623451263451236451234651234156234152634152364152346152341652341256341253641253461253416253412653412356412354612354162354126354123654123145623145263145236145231645231465231425631425361425316425314625314265314235614235164235146235142635142365142315642315462315426315423615423165423124653124635124631524631254631245631243651243615243612543612453612435612431652431625431624531624351624315624312654312645312643512643152643125643121345621345261345216345213645213465213425613425163425136425134625134265134215634215364215346215342615342165342135642135462135426135421635421365421324561324516324513624513264513246513241563241536241532641532461532416532413562413526413524613524163524136524132564132546132541632541362541326541321465321463521463251463215463214563214365214362514362154362145362143562143265143261543261453261435261432561432165432164532164352164325164321564321
123456123451623451263451236451234651234156234152634152364152346152341652341256341253641253461253416253412653412356412354612354162354126354123654123145623145263145236145231645231465231425631425361425316425314625314265314235614235164235146235142635142365142315642315462315426315423615423165423124653124635124631524631254631245631243651243615243612543612453612435612431652431625431624531624351624315624312654312645312643512643152643125643121345621345261345216345213645213465213425613425163425136425134625134265134215634215364215346215342615342165342135642135462135426135421635421365421324651324615324613524613254613245613241653241635241632541632451632415632413652413625413624513624153624135624132654132645132641532641352641325641321465321463521463251463215463214563214365214362514362154362145362143562143265143261543261453261435261432561432165432164532164352164325164321564321
123456123451623451263451236451234651234156234152634152364152346152341652341256341253641253461253416253412653412356412354612354162354126354123654123145623145263145236145231645231465231425631425361425316425314625314265314235614235164235146235142635142365142315642315462315426315423615423165423124653124635124631524631254631245631243651243615243612543612453612435612431652431625431624531624351624315624312654312645312643512643152643125643121345621345261345216345213645213465213425613425163425136425134625134265134215634215364215346215342615342165342135642135462135426135421635421365421324651324615324613524613254613245613241653241635241632541632451632415632413652413625413624513624153624135624132654132645132641532641352641325641321456321453621453261453216453214653214356214352614352164352146352143652143256143251643251463251436251432651432156432154632154362154326154321654321
123456123451623451263451236451234651234156234152634152364152346152341652341256341253641253461253416253412653412356412354612354162354126354123654123145623145263145236145231645231465231425631425361425316425314625314265314235614235164235146235142635142365142315642315462315426315423615423165423124653124635124631524631254631245631243651243615243612543612453612435612431652431625431624531624351624315624312654312645312643512643152643125643121346521346251346215346213546213456213426513426153426135426134526134256134216534216354216345216342516342156342136542136452136425136421536421356421324651324615324613524613254613245613241653241635241632541632451632415632413652413625413624513624153624135624132654132645132641532641352641325641321465321463521463251463215463214563214365214362514362154362145362143562143265143261543261453261435261432561432165432164532164352164325164321564321
123456123451623451263451236451234651234156234152634152364152346152341652341256341253641253461253416253412653412356412354612354162354126354123654123145623145263145236145231645231465231425631425361425316425314625314265314235614235164235146235142635142365142315642315462315426315423615423165423124653124635124631524631254631245631243651243615243612543612453612435612431652431625431624531624351624315624312654312645312643512643152643125643121346521346251346215346213546213456213426513426153426135426134526134256134216534216354216345216342516342156342136542136452136425136421536421356421324651324615324613524613254613245613241653241635241632541632451632415632413652413625413624513624153624135624132654132645132641532641352641325641321456321453621453261453216453214653214356214352614352164352146352143652143256143251643251463251436251432651432156432154632154362154326154321654321
123456123451623451263451236451234651234156234152634152364152346152341652341256341253641253461253416253412653412356412354612354162354126354123654123145623145263145236145231645231465231425631425361425316425314625314265314235614235164235146235142635142365142315642315462315426315423615423165423124653124635124631524631254631245631243651243615243612543612453612435612431652431625431624531624351624315624312654312645312643512643152643125643121346521346251346215346213546213456213426513426153426135426134526134256134216534216354216345216342516342156342136542136452136425136421536421356421324561324516324513624513264513246513241563241536241532641532461532416532413562413526413524613524163524136524132564132546132541632541362541326541321456321453621453261453216453214653214356214352614352164352146352143652143256143251643251463251436251432651432156432154632154362154326154321654321
123456123451623451263451236451234651234156234152634152364152346152341652341256341253641253461253416253412653412356412354612354162354126354123654123145623145263145236145231645231465231425631425361425316425314625314265314235614235164235146235142635142365142315642315462315426315423615423165423124653124635124631524631254631245631243651243615243612543612453612435612431652431625431624531624351624315624312654312645312643512643152643125643121346521346251346215346213546213456213426513426153426135426134526134256134216534216354216345216342516342156342136542136452136425136421536421356421324561324516324513624513264513246513241563241536241532641532461532416532413562413526413524613524163524136524132564132546132541632541362541326541321465321463521463251463215463214563214365214362514362154362145362143562143265143261543261453261435261432561432165432164532164352164325164321564321
123456123451623451263451236451234651234156234152634152364152346152341652341256341253641253461253416253412653412356412354612354162354126354123654123145623145263145236145231645231465231425631425361425316425314625314265314235614235164235146235142635142365142315642315462315426315423615423165423124653124635124631524631254631245631243651243615243612543612453612435612431652431625431624531624351624315624312654312645312643512643152643125643121354621354261354216354213654213564213524613524163524136524135624135264135214635214365214356214352614352164352134652134562134526134521634521364521325461325416325413625413265413256413251463251436251432651432561432516432513462513426513425613425163425136425132465132456132451632451362451326451321546321543621543261543216543215643215346215342615342165342156342153642153246153241653241563241536241532641532146532145632145362145326145321645321
123456123451623451263451236451234651234156234152634152364152346152341652341256341253641253461253416253412653412356412354612354162354126354123654123145623145263145236145231645231465231425631425361425316425314625314265314235614235164235146235142635142365142315642315462315426315423615423165423124653124635124631524631254631245631243651243615243612543612453612435612431652431625431624531624351624315624312654312645312643512643152643125643121354621354261354216354213654213564213524613524163524136524135624135264135214635214365214356214352614352164352134652134562134526134521634521364521325461325416325413625413265413256413251463251436251432651432561432516432513462513426513425613425163425136425132465132456132451632451362451326451321564321563421563241563214563215463215364215362415362145362154362153462153264153261453261543261534261532461532164532165432165342165324165321465321
123456123451623451263451236451234651234156234152634152364152346152341652341256341253641253461253416253412653412356412354612354162354126354123654123145623145263145236145231645231465231425631425361425316425314625314265314235614235164235146235142635142365142315642315462315426315423615423165423124653124635124631524631254631245631243651243615243612543612453612435612431652431625431624531624351624315624312654312645312643512643152643125643121354621354261354216354213654213564213524613524163524136524135624135264135214635214365214356214352614352164352134652134562134526134521634521364521325641325614325613425613245613254613251643251634251632451632541632514632513642513624513625413625143625134625132645132654132651432651342651324651321564321563421563241563214563215463215364215362415362145362154362153462153264153261453261543261534261532461532164532165432165342165324165321465321
123456123451623451263451236451234651234156234152634152364152346152341652341256341253641253461253416253412653412356412354612354162354126354123654123145623145263145236145231645231465231425631425361425316425314625314265314235614235164235146235142635142365142315642315462315426315423615423165423124653124635124631524631254631245631243651243615243612543612453612435612431652431625431624531624351624315624312654312645312643512643152643125643121354621354261354216354213654213564213524613524163524136524135624135264135214635214365214356214352614352164352134652134562134526134521634521364521325641325614325613425613245613254613251643251634251632451632541632514632513642513624513625413625143625134625132645132654132651432651342651324651321546321543621543261543216543215643215346215342615342165342156342153642153246153241653241563241536241532641532146532145632145362145326145321645321
123456123451623451263451236451234651234156234152634152364152346152341652341256341253641253461253416253412653412356412354612354162354126354123654123145623145263145236145231645231465231425631425361425316425314625314265314235614235164235146235142635142365142315642315462315426315423615423165423124653124635124631524631254631245631243651243615243612543612453612435612431652431625431624531624351624315624312654312645312643512643152643125643121356421356241356214356213456213546213526413526143526134526135426135246135216435216345216354216352416352146352136452136542136524136521436521346521325641325614325613425613245613254613251643251634251632451632541632514632513642513624513625413625143625134625132645132654132651432651342651324651321564321563421563241563214563215463215364215362415362145362154362153462153264153261453261543261534261532461532164532165432165342165324165321465321
123456123451623451263451236451234651234156234152634152364152346152341652341256341253641253461253416253412653412356412354612354162354126354123654123145623145263145236145231645231465231425631425361425316425314625314265314235614235164235146235142635142365142315642315462315426315423615423165423124653124635124631524631254631245631243651243615243612543612453612435612431652431625431624531624351624315624312654312645312643512643152643125643121356421356241356214356213456213546213526413526143526134526135426135246135216435216345216354216352416352146352136452136542136524136521436521346521325641325614325613425613245613254613251643251634251632451632541632514632513642513624513625413625143625134625132645132654132651432651342651324651321546321543621543261543216543215643215346215342615342165342156342153642153246153241653241563241536241532641532146532145632145362145326145321645321
123456123451623451263451236451234651234156234152634152364152346152341652341256341253641253461253416253412653412356412354612354162354126354123654123145623145263145236145231645231465231425631425361425316425314625314265314235614235164235146235142635142365142315642315462315426315423615423165423124653124635124631524631254631245631243651243615243612543612453612435612431652431625431624531624351624315624312654312645312643512643152643125643121356421356241356214356213456213546213526413526143526134526135426135246135216435216345216354216352416352146352136452136542136524136521436521346521325461325416325413625413265413256413251463251436251432651432561432516432513462513426513425613425163425136425132465132456132451632451362451326451321546321543621543261543216543215643215346215342615342165342156342153642153246153241653241563241536241532641532146532145632145362145326145321645321
123456123451623451263451236451234651234156234152634152364152346152341652341256341253641253461253416253412653412356412354612354162354126354123654123145623145263145236145231645231465231425631425361425316425314625314265314235614235164235146235142635142365142315642315462315426315423615423165423124653124635124631524631254631245631243651243615243612543612453612435612431652431625431624531624351624315624312654312645312643512643152643125643121356421356241356214356213456213546213526413526143526134526135426135246135216435216345216354216352416352146352136452136542136524136521436521346521325461325416325413625413265413256413251463251436251432651432561432516432513462513426513425613425163425136425132465132456132451632451362451326451321564321563421563241563214563215463215364215362415362145362154362153462153264153261453261543261534261532461532164532165432165342165324165321465321
123456123451623451263451236451234651234156234152634152364152346152341652341256341253641253461253416253412653412356412354612354162354126354123654123145623145263145236145231645231465231425631425361425316425314625314265314235614235164235146235142635142365142315642315462315426315423615423165423124653124635124631524631254631245631243651243615243612543612453612435612431652431625431624531624351624315624312654312645312643512643152643125643121364521364251364215364213564213654213624513624153624135624136524136254136214536214356214365214362514362154362134562134652134625134621534621354621326451326415326413526413256413265413261453261435261432561432651432615432613452613425613426513426153426135426132456132465132461532461352461325461321645321643521643251643215643216543216345216342516342156342165342163542163245163241563241653241635241632541632145632146532146352146325146321546321
123456123451623451263451236451234651234156234152634152364152346152341652341256341253641253461253416253412653412356412354612354162354126354123654123145623145263145236145231645231465231425631425361425316425314625314265314235614235164235146235142635142365142315642315462315426315423615423165423124653124635124631524631254631245631243651243615243612543612453612435612431652431625431624531624351624315624312654312645312643512643152643125643121364521364251364215364213564213654213624513624153624135624136524136254136214536214356214365214362514362154362134562134652134625134621534621354621326451326415326413526413256413265413261453261435261432561432651432615432613452613425613426513426153426135426132456132465132461532461352461325461321654321653421653241653214653216453216354216352416352146352164352163452163254163251463251643251634251632451632154632156432156342156324156321456321
123456123451623451263451236451234651234156234152634152364152346152341652341256341253641253461253416253412653412356412354612354162354126354123654123145623145263145236145231645231465231425631425361425316425314625314265314235614235164235146235142635142365142315642315462315426315423615423165423124653124635124631524631254631245631243651243615243612543612453612435612431652431625431624531624351624315624312654312645312643512643152643125643121364521364251364215364213564213654213624513624153624135624136524136254136214536214356214365214362514362154362134562134652134625134621534621354621326541326514326513426513246513264513261543261534261532461532641532614532613542613524613526413526143526134526132546132564132561432561342561324561321654321653421653241653214653216453216354216352416352146352164352163452163254163251463251643251634251632451632154632156432156342156324156321456321
123456123451623451263451236451234651234156234152634152364152346152341652341256341253641253461253416253412653412356412354612354162354126354123654123145623145263145236145231645231465231425631425361425316425314625314265314235614235164235146235142635142365142315642315462315426315423615423165423124653124635124631524631254631245631243651243615243612543612453612435612431652431625431624531624351624315624312654312645312643512643152643125643121364521364251364215364213564213654213624513624153624135624136524136254136214536214356214365214362514362154362134562134652134625134621534621354621326541326514326513426513246513264513261543261534261532461532641532614532613542613524613526413526143526134526132546132564132561432561342561324561321645321643521643251643215643216543216345216342516342156342165342163542163245163241563241653241635241632541632145632146532146352146325146321546321
123456123451623451263451236451234651234156234152634152364152346152341652341256341253641253461253416253412653412356412354612354162354126354123654123145623145263145236145231645231465231425631425361425316425314625314265314235614235164235146235142635142365142315642315462315426315423615423165423124653124635124631524631254631245631243651243615243612543612453612435612431652431625431624531624351624315624312654312645312643512643152643125643121365421365241365214365213465213645213625413625143625134625136425136245136215436215346215364215362415362145362135462135642135624135621435621345621326541326514326513426513246513264513261543261534261532461532641532614532613542613524613526413526143526134526132546132564132561432561342561324561321654321653421653241653214653216453216354216352416352146352164352163452163254163251463251643251634251632451632154632156432156342156324156321456321
123456123451623451263451236451234651234156234152634152364152346152341652341256341253641253461253416253412653412356412354612354162354126354123654123145623145263145236145231645231465231425631425361425316425314625314265314235614235164235146235142635142365142315642315462315426315423615423165423124653124635124631524631254631245631243651243615243612543612453612435612431652431625431624531624351624315624312654312645312643512643152643125643121365421365241365214365213465213645213625413625143625134625136425136245136215436215346215364215362415362145362135462135642135624135621435621345621326541326514326513426513246513264513261543261534261532461532641532614532613542613524613526413526143526134526132546132564132561432561342561324561321645321643521643251643215643216543216345216342516342156342165342163542163245163241563241653241635241632541632145632146532146352146325146321546321
123456123451623451263451236451234651234156234152634152364152346152341652341256341253641253461253416253412653412356412354612354162354126354123654123145623145263145236145231645231465231425631425361425316425314625314265314235614235164235146235142635142365142315642315462315426315423615423165423124653124635124631524631254631245631243651243615243612543612453612435612431652431625431624531624351624315624312654312645312643512643152643125643121365421365241365214365213465213645213625413625143625134625136425136245136215436215346215364215362415362145362135462135642135624135621435621345621326451326415326413526413256413265413261453261435261432561432651432615432613452613425613426513426153426135426132456132465132461532461352461325461321645321643521643251643215643216543216345216342516342156342165342163542163245163241563241653241635241632541632145632146532146352146325146321546321
123456123451623451263451236451234651234156234152634152364152346152341652341256341253641253461253416253412653412356412354612354162354126354123654123145623145263145236145231645231465231425631425361425316425314625314265314235614235164235146235142635142365142315642315462315426315423615423165423124653124635124631524631254631245631243651243615243612543612453612435612431652431625431624531624351624315624312654312645312643512643152643125643121365421365241365214365213465213645213625413625143625134625136425136245136215436215346215364215362415362145362135462135642135624135621435621345621326451326415326413526413256413265413261453261435261432561432651432615432613452613425613426513426153426135426132456132465132461532461352461325461321654321653421653241653214653216453216354216352416352146352164352163452163254163251463251643251634251632451632154632156432156342156324156321456321
123456123451623451263451236451234651234156234152634152364152346152341652341256341253641253461253416253412653412356412354612354162354126354123654123146523146253146235146231546231456231426531426351426315426314526314256314236514236154236145236142536142356142316542316452316425316423516423156423124563124536124531624531264531246531243561243516243512643512463512436512431562431526431524631524361524316524312564312546312543612543162543126543121345621345261345216345213645213465213425613425163425136425134625134265134215634215364215346215342615342165342135642135462135426135421635421365421324561324516324513624513264513246513241563241536241532641532461532416532413562413526413524613524163524136524132564132546132541632541362541326541321456321453621453261453216453214653214356214352614352164352146352143652143256143251643251463251436251432651432156432154632154362154326154321654321
123456123451623451263451236451234651234156234152634152364152346152341652341256341253641253461253416253412653412356412354612354162354126354123654123146523146253146235146231546231456231426531426351426315426314526314256314236514236154236145236142536142356142316542316452316425316423516423156423124563124536124531624531264531246531243561243516243512643512463512436512431562431526431524631524361524316524312564312546312543612543162543126543121345621345261345216345213645213465213425613425163425136425134625134265134215634215364215346215342615342165342135642135462135426135421635421365421324561324516324513624513264513246513241563241536241532641532461532416532413562413526413524613524163524136524132564132546132541632541362541326541321465321463521463251463215463214563214365214362514362154362145362143562143265143261543261453261435261432561432165432164532164352164325164321564321
123456123451623451263451236451234651234156234152634152364152346152341652341256341253641253461253416253412653412356412354612354162354126354123654123146523146253146235146231546231456231426531426351426315426314526314256314236514236154236145236142536142356142316542316452316425316423516423156423124563124536124531624531264531246531243561243516243512643512463512436512431562431526431524631524361524316524312564312546312543612543162543126543121345621345261345216345213645213465213425613425163425136425134625134265134215634215364215346215342615342165342135642135462135426135421635421365421324651324615324613524613254613245613241653241635241632541632451632415632413652413625413624513624153624135624132654132645132641532641352641325641321465321463521463251463215463214563214365214362514362154362145362143562143265143261543261453261435261432561432165432164532164352164325164321564321
123456123451623451263451236451234651234156234152634152364152346152341652341256341253641253461253416253412653412356412354612354162354126354123654123146523146253146235146231546231456231426531426351426315426314526314256314236514236154236145236142536142356142316542316452316425316423516423156423124563124536124531624531264531246531243561243516243512643512463512436512431562431526431524631524361524316524312564312546312543612543162543126543121345621345261345216345213645213465213425613425163425136425134625134265134215634215364215346215342615342165342135642135462135426135421635421365421324651324615324613524613254613245613241653241635241632541632451632415632413652413625413624513624153624135624132654132645132641532641352641325641321456321453621453261453216453214653214356214352614352164352146352143652143256143251643251463251436251432651432156432154632154362154326154321654321
123456123451623451263451236451234651234156234152634152364152346152341652341256341253641253461253416253412653412356412354612354162354126354123654123146523146253146235146231546231456231426531426351426315426314526314256314236514236154236145236142536142356142316542316452316425316423516423156423124563124536124531624531264531246531243561243516243512643512463512436512431562431526431524631524361524316524312564312546312543612543162543126543121346521346251346215346213546213456213426513426153426135426134526134256134216534216354216345216342516342156342136542136452136425136421536421356421324651324615324613524613254613245613241653241635241632541632451632415632413652413625413624513624153624135624132654132645132641532641352641325641321465321463521463251463215463214563214365214362514362154362145362143562143265143261543261453261435261432561432165432164532164352164325164321564321
123456123451623451263451236451234651234156234152634152364152346152341652341256341253641253461253416253412653412356412354612354162354126354123654123146523146253146235146231546231456231426531426351426315426314526314256314236514236154236145236142536142356142316542316452316425316423516423156423124563124536124531624531264531246531243561243516243512643512463512436512431562431526431524631524361524316524312564312546312543612543162543126543121346521346251346215346213546213456213426513426153426135426134526134256134216534216354216345216342516342156342136542136452136425136421536421356421324651324615324613524613254613245613241653241635241632541632451632415632413652413625413624513624153624135624132654132645132641532641352641325641321456321453621453261453216453214653214356214352614352164352146352143652143256143251643251463251436251432651432156432154632154362154326154321654321
123456123451623451263451236451234651234156234152634152364152346152341652341256341253641253461253416253412653412356412354612354162354126354123654123146523146253146235146231546231456231426531426351426315426314526314256314236514236154236145236142536142356142316542316452316425316423516423156423124563124536124531624531264531246531243561243516243512643512463512436512431562431526431524631524361524316524312564312546312543612543162543126543121346521346251346215346213546213456213426513426153426135426134526134256134216534216354216345216342516342156342136542136452136425136421536421356421324561324516324513624513264513246513241563241536241532641532461532416532413562413526413524613524163524136524132564132546132541632541362541326541321456321453621453261453216453214653214356214352614352164352146352143652143256143251643251463251436251432651432156432154632154362154326154321654321
123456123451623451263451236451234651234156234152634152364152346152341652341256341253641253461253416253412653412356412354612354162354126354123654123146523146253146235146231546231456231426531426351426315426314526314256314236514236154236145236142536142356142316542316452316425316423516423156423124563124536124531624531264531246531243561243516243512643512463512436512431562431526431524631524361524316524312564312546312543612543162543126543121346521346251346215346213546213456213426513426153426135426134526134256134216534216354216345216342516342156342136542136452136425136421536421356421324561324516324513624513264513246513241563241536241532641532461532416532413562413526413524613524163524136524132564132546132541632541362541326541321465321463521463251463215463214563214365214362514362154362145362143562143265143261543261453261435261432561432165432164532164352164325164321564321
123456123451623451263451236451234651234156234152634152364152346152341652341256341253641253461253416253412653412356412354612354162354126354123654123146523146253146235146231546231456231426531426351426315426314526314256314236514236154236145236142536142356142316542316452316425316423516423156423124563124536124531624531264531246531243561243516243512643512463512436512431562431526431524631524361524316524312564312546312543612543162543126543121354621354261354216354213654213564213524613524163524136524135624135264135214635214365214356214352614352164352134652134562134526134521634521364521325461325416325413625413265413256413251463251436251432651432561432516432513462513426513425613425163425136425132465132456132451632451362451326451321546321543621543261543216543215643215346215342615342165342156342153642153246153241653241563241536241532641532146532145632145362145326145321645321
123456123451623451263451236451234651234156234152634152364152346152341652341256341253641253461253416253412653412356412354612354162354126354123654123146523146253146235146231546231456231426531426351426315426314526314256314236514236154236145236142536142356142316542316452316425316423516423156423124563124536124531624531264531246531243561243516243512643512463512436512431562431526431524631524361524316524312564312546312543612543162543126543121354621354261354216354213654213564213524613524163524136524135624135264135214635214365214356214352614352164352134652134562134526134521634521364521325461325416325413625413265413256413251463251436251432651432561432516432513462513426513425613425163425136425132465132456132451632451362451326451321564321563421563241563214563215463215364215362415362145362154362153462153264153261453261543261534261532461532164532165432165342165324165321465321
123456123451623451263451236451234651234156234152634152364152346152341652341256341253641253461253416253412653412356412354612354162354126354123654123146523146253146235146231546231456231426531426351426315426314526314256314236514236154236145236142536142356142316542316452316425316423516423156423124563124536124531624531264531246531243561243516243512643512463512436512431562431526431524631524361524316524312564312546312543612543162543126543121354621354261354216354213654213564213524613524163524136524135624135264135214635214365214356214352614352164352134652134562134526134521634521364521325641325614325613425613245613254613251643251634251632451632541632514632513642513624513625413625143625134625132645132654132651432651342651324651321564321563421563241563214563215463215364215362415362145362154362153462153264153261453261543261534261532461532164532165432165342165324165321465321
123456123451623451263451236451234651234156234152634152364152346152341652341256341253641253461253416253412653412356412354612354162354126354123654123146523146253146235146231546231456231426531426351426315426314526314256314236514236154236145236142536142356142316542316452316425316423516423156423124563124536124531624531264531246531243561243516243512643512463512436512431562431526431524631524361524316524312564312546312543612543162543126543121354621354261354216354213654213564213524613524163524136524135624135264135214635214365214356214352614352164352134652134562134526134521634521364521325641325614325613425613245613254613251643251634251632451632541632514632513642513624513625413625143625134625132645132654132651432651342651324651321546321543621543261543216543215643215346215342615342165342156342153642153246153241653241563241536241532641532146532145632145362145326145321645321
123456123451623451263451236451234651234156234152634152364152346152341652341256341253641253461253416253412653412356412354612354162354126354123654123146523146253146235146231546231456231426531426351426315426314526314256314236514236154236145236142536142356142316542316452316425316423516423156423124563124536124531624531264531246531243561243516243512643512463512436512431562431526431524631524361524316524312564312546312543612543162543126543121356421356241356214356213456213546213526413526143526134526135426135246135216435216345216354216352416352146352136452136542136524136521436521346521325641325614325613425613245613254613251643251634251632451632541632514632513642513624513625413625143625134625132645132654132651432651342651324651321564321563421563241563214563215463215364215362415362145362154362153462153264153261453261543261534261532461532164532165432165342165324165321465321
123456123451623451263451236451234651234156234152634152364152346152341652341256341253641253461253416253412653412356412354612354162354126354123654123146523146253146235146231546231456231426531426351426315426314526314256314236514236154236145236142536142356142316542316452316425316423516423156423124563124536124531624531264531246531243561243516243512643512463512436512431562431526431524631524361524316524312564312546312543612543162543126543121356421356241356214356213456213546213526413526143526134526135426135246135216435216345216354216352416352146352136452136542136524136521436521346521325641325614325613425613245613254613251643251634251632451632541632514632513642513624513625413625143625134625132645132654132651432651342651324651321546321543621543261543216543215643215346215342615342165342156342153642153246153241653241563241536241532641532146532145632145362145326145321645321
123456123451623451263451236451234651234156234152634152364152346152341652341256341253641253461253416253412653412356412354612354162354126354123654123146523146253146235146231546231456231426531426351426315426314526314256314236514236154236145236142536142356142316542316452316425316423516423156423124563124536124531624531264531246531243561243516243512643512463512436512431562431526431524631524361524316524312564312546312543612543162543126543121356421356241356214356213456213546213526413526143526134526135426135246135216435216345216354216352416352146352136452136542136524136521436521346521325461325416325413625413265413256413251463251436251432651432561432516432513462513426513425613425163425136425132465132456132451632451362451326451321546321543621543261543216543215643215346215342615342165342156342153642153246153241653241563241536241532641532146532145632145362145326145321645321
123456123451623451263451236451234651234156234152634152364152346152341652341256341253641253461253416253412653412356412354612354162354126354123654123146523146253146235146231546231456231426531426351426315426314526314256314236514236154236145236142536142356142316542316452316425316423516423156423124563124536124531624531264531246531243561243516243512643512463512436512431562431526431524631524361524316524312564312546312543612543162543126543121356421356241356214356213456213546213526413526143526134526135426135246135216435216345216354216352416352146352136452136542136524136521436521346521325461325416325413625413265413256413251463251436251432651432561432516432513462513426513425613425163425136425132465132456132451632451362451326451321564321563421563241563214563215463215364215362415362145362154362153462153264153261453261543261534261532461532164532165432165342165324165321465321
123456123451623451263451236451234651234156234152634152364152346152341652341256341253641253461253416253412653412356412354612354162354126354123654123146523146253146235146231546231456231426531426351426315426314526314256314236514236154236145236142536142356142316542316452316425316423516423156423124563124536124531624531264531246531243561243516243512643512463512436512431562431526431524631524361524316524312564312546312543612543162543126543121364521364251364215364213564213654213624513624153624135624136524136254136214536214356214365214362514362154362134562134652134625134621534621354621326451326415326413526413256413265413261453261435261432561432651432615432613452613425613426513426153426135426132456132465132461532461352461325461321645321643521643251643215643216543216345216342516342156342165342163542163245163241563241653241635241632541632145632146532146352146325146321546321
123456123451623451263451236451234651234156234152634152364152346152341652341256341253641253461253416253412653412356412354612354162354126354123654123146523146253146235146231546231456231426531426351426315426314526314256314236514236154236145236142536142356142316542316452316425316423516423156423124563124536124531624531264531246531243561243516243512643512463512436512431562431526431524631524361524316524312564312546312543612543162543126543121364521364251364215364213564213654213624513624153624135624136524136254136214536214356214365214362514362154362134562134652134625134621534621354621326451326415326413526413256413265413261453261435261432561432651432615432613452613425613426513426153426135426132456132465132461532461352461325461321654321653421653241653214653216453216354216352416352146352164352163452163254163251463251643251634251632451632154632156432156342156324156321456321
123456123451623451263451236451234651234156234152634152364152346152341652341256341253641253461253416253412653412356412354612354162354126354123654123146523146253146235146231546231456231426531426351426315426314526314256314236514236154236145236142536142356142316542316452316425316423516423156423124563124536124531624531264531246531243561243516243512643512463512436512431562431526431524631524361524316524312564312546312543612543162543126543121364521364251364215364213564213654213624513624153624135624136524136254136214536214356214365214362514362154362134562134652134625134621534621354621326541326514326513426513246513264513261543261534261532461532641532614532613542613524613526413526143526134526132546132564132561432561342561324561321654321653421653241653214653216453216354216352416352146352164352163452163254163251463251643251634251632451632154632156432156342156324156321456321
123456123451623451263451236451234651234156234152634152364152346152341652341256341253641253461253416253412653412356412354612354162354126354123654123146523146253146235146231546231456231426531426351426315426314526314256314236514236154236145236142536142356142316542316452316425316423516423156423124563124536124531624531264531246531243561243516243512643512463512436512431562431526431524631524361524316524312564312546312543612543162543126543121364521364251364215364213564213654213624513624153624135624136524136254136214536214356214365214362514362154362134562134652134625134621534621354621326541326514326513426513246513264513261543261534261532461532641532614532613542613524613526413526143526134526132546132564132561432561342561324561321645321643521643251643215643216543216345216342516342156342165342163542163245163241563241653241635241632541632145632146532146352146325146321546321
123456123451623451263451236451234651234156234152634152364152346152341652341256341253641253461253416253412653412356412354612354162354126354123654123146523146253146235146231546231456231426531426351426315426314526314256314236514236154236145236142536142356142316542316452316425316423516423156423124563124536124531624531264531246531243561243516243512643512463512436512431562431526431524631524361524316524312564312546312543612543162543126543121365421365241365214365213465213645213625413625143625134625136425136245136215436215346215364215362415362145362135462135642135624135621435621345621326541326514326513426513246513264513261543261534261532461532641532614532613542613524613526413526143526134526132546132564132561432561342561324561321654321653421653241653214653216453216354216352416352146352164352163452163254163251463251643251634251632451632154632156432156342156324156321456321
123456123451623451263451236451234651234156234152634152364152346152341652341256341253641253461253416253412653412356412354612354162354126354123654123146523146253146235146231546231456231426531426351426315426314526314256314236514236154236145236142536142356142316542316452316425316423516423156423124563124536124531624531264531246531243561243516243512643512463512436512431562431526431524631524361524316524312564312546312543612543162543126543121365421365241365214365213465213645213625413625143625134625136425136245136215436215346215364215362415362145362135462135642135624135621435621345621326541326514326513426513246513264513261543261534261532461532641532614532613542613524613526413526143526134526132546132564132561432561342561324561321645321643521643251643215643216543216345216342516342156342165342163542163245163241563241653241635241632541632145632146532146352146325146321546321
123456123451623451263451236451234651234156234152634152364152346152341652341256341253641253461253416253412653412356412354612354162354126354123654123146523146253146235146231546231456231426531426351426315426314526314256314236514236154236145236142536142356142316542316452316425316423516423156423124563124536124531624531264531246531243561243516243512643512463512436512431562431526431524631524361524316524312564312546312543612543162543126543121365421365241365214365213465213645213625413625143625134625136425136245136215436215346215364215362415362145362135462135642135624135621435621345621326451326415326413526413256413265413261453261435261432561432651432615432613452613425613426513426153426135426132456132465132461532461352461325461321645321643521643251643215643216543216345216342516342156342165342163542163245163241563241653241635241632541632145632146532146352146325146321546321
123456123451623451263451236451234651234156234152634152364152346152341652341256341253641253461253416253412653412356412354612354162354126354123654123146523146253146235146231546231456231426531426351426315426314526314256314236514236154236145236142536142356142316542316452316425316423516423156423124563124536124531624531264531246531243561243516243512643512463512436512431562431526431524631524361524316524312564312546312543612543162543126543121365421365241365214365213465213645213625413625143625134625136425136245136215436215346215364215362415362145362135462135642135624135621435621345621326451326415326413526413256413265413261453261435261432561432651432615432613452613425613426513426153426135426132456132465132461532461352461325461321654321653421653241653214653216453216354216352416352146352164352163452163254163251463251643251634251632451632154632156432156342156324156321456321
123456123451623451263451236451234651234156234152634152364152346152341652341256341253641253461253416253412653412356412354612354162354126354123654123146523146253146235146231546231456231426531426351426315426314526314256314236514236154236145236142536142356142316542316452316425316423516423156423124653124635124631524631254631245631243651243615243612543612453612435612431652431625431624531624351624315624312654312645312643512643152643125643121345621345261345216345213645213465213425613425163425136425134625134265134215634215364215346215342615342165342135642135462135426135421635421365421324561324516324513624513264513246513241563241536241532641532461532416532413562413526413524613524163524136524132564132546132541632541362541326541321456321453621453261453216453214653214356214352614352164352146352143652143256143251643251463251436251432651432156432154632154362154326154321654321
123456123451623451263451236451234651234156234152634152364152346152341652341256341253641253461253416253412653412356412354612354162354126354123654123146523146253146235146231546231456231426531426351426315426314526314256314236514236154236145236142536142356142316542316452316425316423516423156423124653124635124631524631254631245631243651243615243612543612453612435612431652431625431624531624351624315624312654312645312643512643152643125643121345621345261345216345213645213465213425613425163425136425134625134265134215634215364215346215342615342165342135642135462135426135421635421365421324561324516324513624513264513246513241563241536241532641532461532416532413562413526413524613524163524136524132564132546132541632541362541326541321465321463521463251463215463214563214365214362514362154362145362143562143265143261543261453261435261432561432165432164532164352164325164321564321
123456123451623451263451236451234651234156234152634152364152346152341652341256341253641253461253416253412653412356412354612354162354126354123654123146523146253146235146231546231456231426531426351426315426314526314256314236514236154236145236142536142356142316542316452316425316423516423156423124653124635124631524631254631245631243651243615243612543612453612435612431652431625431624531624351624315624312654312645312643512643152643125643121345621345261345216345213645213465213425613425163425136425134625134265134215634215364215346215342615342165342135642135462135426135421635421365421324651324615324613524613254613245613241653241635241632541632451632415632413652413625413624513624153624135624132654132645132641532641352641325641321465321463521463251463215463214563214365214362514362154362145362143562143265143261543261453261435261432561432165432164532164352164325164321564321
123456123451623451263451236451234651234156234152634152364152346152341652341256341253641253461253416253412653412356412354612354162354126354123654123146523146253146235146231546231456231426531426351426315426314526314256314236514236154236145236142536142356142316542316452316425316423516423156423124653124635124631524631254631245631243651243615243612543612453612435612431652431625431624531624351624315624312654312645312643512643152643125643121345621345261345216345213645213465213425613425163425136425134625134265134215634215364215346215342615342165342135642135462135426135421635421365421324651324615324613524613254613245613241653241635241632541632451632415632413652413625413624513624153624135624132654132645132641532641352641325641321456321453621453261453216453214653214356214352614352164352146352143652143256143251643251463251436251432651432156432154632154362154326154321654321
123456123451623451263451236451234651234156234152634152364152346152341652341256341253641253461253416253412653412356412354612354162354126354123654123146523146253146235146231546231456231426531426351426315426314526314256314236514236154236145236142536142356142316542316452316425316423516423156423124653124635124631524631254631245631243651243615243612543612453612435612431652431625431624531624351624315624312654312645312643512643152643125643121346521346251346215346213546213456213426513426153426135426134526134256134216534216354216345216342516342156342136542136452136425136421536421356421324651324615324613524613254613245613241653241635241632541632451632415632413652413625413624513624153624135624132654132645132641532641352641325641321465321463521463251463215463214563214365214362514362154362145362143562143265143261543261453261435261432561432165432164532164352164325164321564321
123456123451623451263451236451234651234156234152634152364152346152341652341256341253641253461253416253412653412356412354612354162354126354123654123146523146253146235146231546231456231426531426351426315426314526314256314236514236154236145236142536142356142316542316452316425316423516423156423124653124635124631524631254631245631243651243615243612543612453612435612431652431625431624531624351624315624312654312645312643512643152643125643121346521346251346215346213546213456213426513426153426135426134526134256134216534216354216345216342516342156342136542136452136425136421536421356421324651324615324613524613254613245613241653241635241632541632451632415632413652413625413624513624153624135624132654132645132641532641352641325641321456321453621453261453216453214653214356214352614352164352146352143652143256143251643251463251436251432651432156432154632154362154326154321654321
123456123451623451263451236451234651234156234152634152364152346152341652341256341253641253461253416253412653412356412354612354162354126354123654123146523146253146235146231546231456231426531426351426315426314526314256314236514236154236145236142536142356142316542316452316425316423516423156423124653124635124631524631254631245631243651243615243612543612453612435612431652431625431624531624351624315624312654312645312643512643152643125643121346521346251346215346213546213456213426513426153426135426134526134256134216534216354216345216342516342156342136542136452136425136421536421356421324561324516324513624513264513246513241563241536241532641532461532416532413562413526413524613524163524136524132564132546132541632541362541326541321456321453621453261453216453214653214356214352614352164352146352143652143256143251643251463251436251432651432156432154632154362154326154321654321
123456123451623451263451236451234651234156234152634152364152346152341652341256341253641253461253416253412653412356412354612354162354126354123654123146523146253146235146231546231456231426531426351426315426314526314256314236514236154236145236142536142356142316542316452316425316423516423156423124653124635124631524631254631245631243651243615243612543612453612435612431652431625431624531624351624315624312654312645312643512643152643125643121346521346251346215346213546213456213426513426153426135426134526134256134216534216354216345216342516342156342136542136452136425136421536421356421324561324516324513624513264513246513241563241536241532641532461532416532413562413526413524613524163524136524132564132546132541632541362541326541321465321463521463251463215463214563214365214362514362154362145362143562143265143261543261453261435261432561432165432164532164352164325164321564321
123456123451623451263451236451234651234156234152634152364152346152341652341256341253641253461253416253412653412356412354612354162354126354123654123146523146253146235146231546231456231426531426351426315426314526314256314236514236154236145236142536142356142316542316452316425316423516423156423124653124635124631524631254631245631243651243615243612543612453612435612431652431625431624531624351624315624312654312645312643512643152643125643121354621354261354216354213654213564213524613524163524136524135624135264135214635214365214356214352614352164352134652134562134526134521634521364521325461325416325413625413265413256413251463251436251432651432561432516432513462513426513425613425163425136425132465132456132451632451362451326451321546321543621543261543216543215643215346215342615342165342156342153642153246153241653241563241536241532641532146532145632145362145326145321645321
123456123451623451263451236451234651234156234152634152364152346152341652341256341253641253461253416253412653412356412354612354162354126354123654123146523146253146235146231546231456231426531426351426315426314526314256314236514236154236145236142536142356142316542316452316425316423516423156423124653124635124631524631254631245631243651243615243612543612453612435612431652431625431624531624351624315624312654312645312643512643152643125643121354621354261354216354213654213564213524613524163524136524135624135264135214635214365214356214352614352164352134652134562134526134521634521364521325461325416325413625413265413256413251463251436251432651432561432516432513462513426513425613425163425136425132465132456132451632451362451326451321564321563421563241563214563215463215364215362415362145362154362153462153264153261453261543261534261532461532164532165432165342165324165321465321
123456123451623451263451236451234651234156234152634152364152346152341652341256341253641253461253416253412653412356412354612354162354126354123654123146523146253146235146231546231456231426531426351426315426314526314256314236514236154236145236142536142356142316542316452316425316423516423156423124653124635124631524631254631245631243651243615243612543612453612435612431652431625431624531624351624315624312654312645312643512643152643125643121354621354261354216354213654213564213524613524163524136524135624135264135214635214365214356214352614352164352134652134562134526134521634521364521325641325614325613425613245613254613251643251634251632451632541632514632513642513624513625413625143625134625132645132654132651432651342651324651321564321563421563241563214563215463215364215362415362145362154362153462153264153261453261543261534261532461532164532165432165342165324165321465321
123456123451623451263451236451234651234156234152634152364152346152341652341256341253641253461253416253412653412356412354612354162354126354123654123146523146253146235146231546231456231426531426351426315426314526314256314236514236154236145236142536142356142316542316452316425316423516423156423124653124635124631524631254631245631243651243615243612543612453612435612431652431625431624531624351624315624312654312645312643512643152643125643121354621354261354216354213654213564213524613524163524136524135624135264135214635214365214356214352614352164352134652134562134526134521634521364521325641325614325613425613245613254613251643251634251632451632541632514632513642513624513625413625143625134625132645132654132651432651342651324651321546321543621543261543216543215643215346215342615342165342156342153642153246153241653241563241536241532641532146532145632145362145326145321645321
123456123451623451263451236451234651234156234152634152364152346152341652341256341253641253461253416253412653412356412354612354162354126354123654123146523146253146235146231546231456231426531426351426315426314526314256314236514236154236145236142536142356142316542316452316425316423516423156423124653124635124631524631254631245631243651243615243612543612453612435612431652431625431624531624351624315624312654312645312643512643152643125643121356421356241356214356213456213546213526413526143526134526135426135246135216435216345216354216352416352146352136452136542136524136521436521346521325641325614325613425613245613254613251643251634251632451632541632514632513642513624513625413625143625134625132645132654132651432651342651324651321564321563421563241563214563215463215364215362415362145362154362153462153264153261453261543261534261532461532164532165432165342165324165321465321
123456123451623451263451236451234651234156234152634152364152346152341652341256341253641253461253416253412653412356412354612354162354126354123654123146523146253146235146231546231456231426531426351426315426314526314256314236514236154236145236142536142356142316542316452316425316423516423156423124653124635124631524631254631245631243651243615243612543612453612435612431652431625431624531624351624315624312654312645312643512643152643125643121356421356241356214356213456213546213526413526143526134526135426135246135216435216345216354216352416352146352136452136542136524136521436521346521325641325614325613425613245613254613251643251634251632451632541632514632513642513624513625413625143625134625132645132654132651432651342651324651321546321543621543261543216543215643215346215342615342165342156342153642153246153241653241563241536241532641532146532145632145362145326145321645321
123456123451623451263451236451234651234156234152634152364152346152341652341256341253641253461253416253412653412356412354612354162354126354123654123146523146253146235146231546231456231426531426351426315426314526314256314236514236154236145236142536142356142316542316452316425316423516423156423124653124635124631524631254631245631243651243615243612543612453612435612431652431625431624531624351624315624312654312645312643512643152643125643121356421356241356214356213456213546213526413526143526134526135426135246135216435216345216354216352416352146352136452136542136524136521436521346521325461325416325413625413265413256413251463251436251432651432561432516432513462513426513425613425163425136425132465132456132451632451362451326451321546321543621543261543216543215643215346215342615342165342156342153642153246153241653241563241536241532641532146532145632145362145326145321645321
123456123451623451263451236451234651234156234152634152364152346152341652341256341253641253461253416253412653412356412354612354162354126354123654123146523146253146235146231546231456231426531426351426315426314526314256314236514236154236145236142536142356142316542316452316425316423516423156423124653124635124631524631254631245631243651243615243612543612453612435612431652431625431624531624351624315624312654312645312643512643152643125643121356421356241356214356213456213546213526413526143526134526135426135246135216435216345216354216352416352146352136452136542136524136521436521346521325461325416325413625413265413256413251463251436251432651432561432516432513462513426513425613425163425136425132465132456132451632451362451326451321564321563421563241563214563215463215364215362415362145362154362153462153264153261453261543261534261532461532164532165432165342165324165321465321
123456123451623451263451236451234651234156234152634152364152346152341652341256341253641253461253416253412653412356412354612354162354126354123654123146523146253146235146231546231456231426531426351426315426314526314256314236514236154236145236142536142356142316542316452316425316423516423156423124653124635124631524631254631245631243651243615243612543612453612435612431652431625431624531624351624315624312654312645312643512643152643125643121364521364251364215364213564213654213624513624153624135624136524136254136214536214356214365214362514362154362134562134652134625134621534621354621326451326415326413526413256413265413261453261435261432561432651432615432613452613425613426513426153426135426132456132465132461532461352461325461321645321643521643251643215643216543216345216342516342156342165342163542163245163241563241653241635241632541632145632146532146352146325146321546321
123456123451623451263451236451234651234156234152634152364152346152341652341256341253641253461253416253412653412356412354612354162354126354123654123146523146253146235146231546231456231426531426351426315426314526314256314236514236154236145236142536142356142316542316452316425316423516423156423124653124635124631524631254631245631243651243615243612543612453612435612431652431625431624531624351624315624312654312645312643512643152643125643121364521364251364215364213564213654213624513624153624135624136524136254136214536214356214365214362514362154362134562134652134625134621534621354621326451326415326413526413256413265413261453261435261432561432651432615432613452613425613426513426153426135426132456132465132461532461352461325461321654321653421653241653214653216453216354216352416352146352164352163452163254163251463251643251634251632451632154632156432156342156324156321456321
123456123451623451263451236451234651234156234152634152364152346152341652341256341253641253461253416253412653412356412354612354162354126354123654123146523146253146235146231546231456231426531426351426315426314526314256314236514236154236145236142536142356142316542316452316425316423516423156423124653124635124631524631254631245631243651243615243612543612453612435612431652431625431624531624351624315624312654312645312643512643152643125643121364521364251364215364213564213654213624513624153624135624136524136254136214536214356214365214362514362154362134562134652134625134621534621354621326541326514326513426513246513264513261543261534261532461532641532614532613542613524613526413526143526134526132546132564132561432561342561324561321654321653421653241653214653216453216354216352416352146352164352163452163254163251463251643251634251632451632154632156432156342156324156321456321
123456123451623451263451236451234651234156234152634152364152346152341652341256341253641253461253416253412653412356412354612354162354126354123654123146523146253146235146231546231456231426531426351426315426314526314256314236514236154236145236142536142356142316542316452316425316423516423156423124653124635124631524631254631245631243651243615243612543612453612435612431652431625431624531624351624315624312654312645312643512643152643125643121364521364251364215364213564213654213624513624153624135624136524136254136214536214356214365214362514362154362134562134652134625134621534621354621326541326514326513426513246513264513261543261534261532461532641532614532613542613524613526413526143526134526132546132564132561432561342561324561321645321643521643251643215643216543216345216342516342156342165342163542163245163241563241653241635241632541632145632146532146352146325146321546321
123456123451623451263451236451234651234156234152634152364152346152341652341256341253641253461253416253412653412356412354612354162354126354123654123146523146253146235146231546231456231426531426351426315426314526314256314236514236154236145236142536142356142316542316452316425316423516423156423124653124635124631524631254631245631243651243615243612543612453612435612431652431625431624531624351624315624312654312645312643512643152643125643121365421365241365214365213465213645213625413625143625134625136425136245136215436215346215364215362415362145362135462135642135624135621435621345621326541326514326513426513246513264513261543261534261532461532641532614532613542613524613526413526143526134526132546132564132561432561342561324561321654321653421653241653214653216453216354216352416352146352164352163452163254163251463251643251634251632451632154632156432156342156324156321456321
123456123451623451263451236451234651234156234152634152364152346152341652341256341253641253461253416253412653412356412354612354162354126354123654123146523146253146235146231546231456231426531426351426315426314526314256314236514236154236145236142536142356142316542316452316425316423516423156423124653124635124631524631254631245631243651243615243612543612453612435612431652431625431624531624351624315624312654312645312643512643152643125643121365421365241365214365213465213645213625413625143625134625136425136245136215436215346215364215362415362145362135462135642135624135621435621345621326541326514326513426513246513264513261543261534261532461532641532614532613542613524613526413526143526134526132546132564132561432561342561324561321645321643521643251643215643216543216345216342516342156342165342163542163245163241563241653241635241632541632145632146532146352146325146321546321
123456123451623451263451236451234651234156234152634152364152346152341652341256341253641253461253416253412653412356412354612354162354126354123654123146523146253146235146231546231456231426531426351426315426314526314256314236514236154236145236142536142356142316542316452316425316423516423156423124653124635124631524631254631245631243651243615243612543612453612435612431652431625431624531624351624315624312654312645312643512643152643125643121365421365241365214365213465213645213625413625143625134625136425136245136215436215346215364215362415362145362135462135642135624135621435621345621326451326415326413526413256413265413261453261435261432561432651432615432613452613425613426513426153426135426132456132465132461532461352461325461321645321643521643251643215643216543216345216342516342156342165342163542163245163241563241653241635241632541632145632146532146352146325146321546321
123456123451623451263451236451234651234156234152634152364152346152341652341256341253641253461253416253412653412356412354612354162354126354123654123146523146253146235146231546231456231426531426351426315426314526314256314236514236154236145236142536142356142316542316452316425316423516423156423124653124635124631524631254631245631243651243615243612543612453612435612431652431625431624531624351624315624312654312645312643512643152643125643121365421365241365214365213465213645213625413625143625134625136425136245136215436215346215364215362415362145362135462135642135624135621435621345621326451326415326413526413256413265413261453261435261432561432651432615432613452613425613426513426153426135426132456132465132461532461352461325461321654321653421653241653214653216453216354216352416352146352164352163452163254163251463251643251634251632451632154632156432156342156324156321456321