[Home] [Table] [Glossary]
[Families]
On this page are computer-accessible forms for the graph C4[ 480, 552 ] =
SS[480,35].
(I) Following is a form readable by MAGMA:
g:=Graph<480|{ {1, 3}, {468, 470}, {65, 67}, {49, 51}, {48, 50}, {1, 2}, {1, 5},
{465, 469}, {75, 79}, {64, 68}, {1, 4}, {467, 470}, {75, 78}, {56, 62}, {32,
39}, {466, 469}, {56, 63}, {33, 38}, {6, 14}, {55, 63}, {51, 59}, {50, 58}, {7,
15}, {32, 41}, {432, 441}, {375, 382}, {374, 383}, {65, 72}, {64, 73}, {33, 40},
{272, 281}, {273, 280}, {432, 442}, {53, 62}, {464, 475}, {432, 443}, {373,
382}, {372, 383}, {55, 60}, {54, 61}, {66, 78}, {432, 444}, {67, 79}, {32, 45},
{83, 94}, {82, 95}, {33, 44}, {50, 60}, {51, 61}, {52, 59}, {81, 94}, {80, 95},
{53, 58}, {37, 53}, {455, 471}, {429, 445}, {425, 441}, {418, 434}, {69, 85},
{68, 84}, {67, 83}, {66, 82}, {39, 55}, {38, 54}, {168, 184}, {258, 274}, {8,
25}, {461, 476}, {459, 474}, {423, 438}, {77, 92}, {76, 93}, {75, 90}, {74, 91},
{71, 86}, {70, 87}, {33, 48}, {32, 49}, {9, 24}, {167, 182}, {259, 274}, {36,
54}, {429, 447}, {428, 446}, {424, 442}, {421, 439}, {419, 433}, {6, 21}, {463,
476}, {458, 473}, {457, 474}, {427, 440}, {422, 437}, {73, 90}, {72, 91}, {43,
56}, {42, 57}, {9, 26}, {8, 27}, {7, 20}, {262, 277}, {263, 276}, {6, 18}, {428,
440}, {361, 381}, {69, 81}, {68, 80}, {45, 57}, {44, 56}, {35, 55}, {7, 19}, {8,
29}, {462, 475}, {460, 473}, {360, 381}, {77, 88}, {76, 89}, {73, 92}, {72, 93},
{9, 28}, {34, 52}, {261, 275}, {6, 17}, {329, 350}, {328, 351}, {7, 16}, {260,
275}, {270, 281}, {271, 280}, {76, 84}, {430, 438}, {427, 435}, {426, 434},
{419, 443}, {354, 378}, {76, 85}, {421, 444}, {355, 378}, {258, 283}, {259,
282}, {260, 285}, {261, 284}, {262, 287}, {263, 286}, {74, 80}, {431, 437},
{430, 436}, {429, 439}, {425, 435}, {358, 380}, {327, 349}, {326, 348}, {268,
278}, {74, 81}, {452, 479}, {426, 433}, {359, 380}, {269, 278}, {40, 52}, {431,
435}, {429, 433}, {427, 439}, {426, 438}, {424, 436}, {422, 442}, {420, 440},
{41, 53}, {267, 279}, {46, 51}, {453, 472}, {327, 346}, {326, 347}, {75, 86},
{74, 87}, {47, 50}, {264, 277}, {265, 276}, {266, 279}, {77, 83}, {454, 472},
{449, 479}, {448, 478}, {428, 434}, {423, 441}, {418, 444}, {357, 379}, {169,
183}, {8, 23}, {456, 471}, {427, 436}, {426, 437}, {420, 443}, {356, 379}, {77,
82}, {71, 88}, {70, 89}, {9, 22}, {158, 190}, {159, 191}, {157, 188}, {159,
189}, {450, 480}, {451, 480}, {144, 180}, {145, 181}, {156, 185}, {78, 104},
{145, 183}, {79, 105}, {145, 182}, {156, 187}, {157, 186}, {149, 189}, {154,
178}, {155, 179}, {145, 184}, {329, 352}, {328, 353}, {147, 186}, {146, 187},
{256, 297}, {257, 296}, {264, 289}, {265, 288}, {270, 295}, {271, 294}, {147,
185}, {148, 191}, {149, 190}, {401, 445}, {320, 365}, {321, 364}, {146, 188},
{78, 97}, {400, 447}, {321, 366}, {320, 367}, {79, 96}, {154, 181}, {155, 180},
{266, 293}, {267, 292}, {268, 291}, {269, 290}, {91, 107}, {333, 381}, {332,
380}, {331, 379}, {330, 378}, {322, 370}, {30, 47}, {399, 446}, {335, 382},
{334, 383}, {322, 371}, {90, 107}, {31, 46}, {84, 102}, {396, 446}, {324, 374},
{87, 101}, {86, 100}, {85, 103}, {324, 375}, {88, 108}, {395, 447}, {140, 184},
{129, 181}, {128, 180}, {30, 43}, {89, 108}, {85, 96}, {84, 97}, {83, 102}, {82,
103}, {31, 42}, {92, 106}, {323, 373}, {93, 106}, {394, 445}, {323, 372}, {90,
98}, {133, 189}, {91, 99}, {272, 296}, {273, 297}, {80, 105}, {133, 188}, {131,
186}, {93, 100}, {92, 101}, {81, 104}, {30, 36}, {141, 183}, {132, 190}, {87,
109}, {31, 37}, {86, 109}, {130, 185}, {89, 98}, {88, 99}, {30, 34}, {325, 377},
{143, 179}, {142, 178}, {131, 191}, {31, 35}, {325, 376}, {132, 187}, {134,
198}, {404, 468}, {393, 457}, {135, 199}, {160, 224}, {161, 225}, {165, 229},
{166, 230}, {142, 207}, {307, 370}, {306, 371}, {281, 344}, {280, 345}, {165,
228}, {166, 231}, {176, 241}, {177, 240}, {130, 192}, {392, 458}, {279, 341},
{137, 203}, {135, 197}, {158, 220}, {159, 221}, {278, 340}, {172, 239}, {173,
238}, {136, 204}, {405, 465}, {305, 373}, {304, 372}, {137, 205}, {143, 202},
{309, 368}, {308, 369}, {307, 374}, {306, 375}, {156, 217}, {157, 216}, {168,
237}, {169, 236}, {276, 337}, {277, 336}, {278, 339}, {279, 338}, {136, 206},
{406, 464}, {405, 467}, {404, 466}, {164, 226}, {156, 219}, {303, 360}, {302,
361}, {295, 352}, {294, 353}, {157, 218}, {164, 227}, {168, 239}, {169, 238},
{170, 237}, {171, 236}, {138, 194}, {411, 467}, {293, 365}, {292, 364}, {140,
196}, {155, 211}, {155, 210}, {388, 461}, {305, 376}, {304, 377}, {301, 356},
{300, 357}, {291, 362}, {290, 363}, {158, 215}, {159, 214}, {162, 235}, {163,
234}, {174, 231}, {175, 230}, {139, 193}, {390, 460}, {170, 224}, {171, 225},
{129, 202}, {399, 452}, {394, 449}, {389, 462}, {301, 358}, {300, 359}, {143,
196}, {162, 233}, {163, 232}, {174, 229}, {175, 228}, {143, 195}, {413, 465},
{391, 459}, {387, 463}, {291, 367}, {290, 366}, {174, 227}, {397, 448}, {303,
354}, {302, 355}, {175, 226}, {49, 127}, {412, 466}, {410, 468}, {398, 448},
{281, 343}, {280, 342}, {141, 195}, {134, 200}, {154, 212}, {48, 127}, {398,
449}, {397, 450}, {396, 451}, {395, 452}, {319, 368}, {318, 369}, {128, 207},
{154, 213}, {46, 126}, {414, 462}, {409, 457}, {47, 126}, {144, 193}, {144,
194}, {415, 461}, {414, 460}, {410, 456}, {408, 458}, {386, 464}, {385, 467},
{312, 362}, {289, 371}, {288, 370}, {149, 199}, {400, 451}, {408, 459}, {401,
450}, {148, 192}, {415, 459}, {403, 455}, {402, 454}, {384, 468}, {312, 364},
{147, 198}, {409, 460}, {319, 362}, {318, 363}, {317, 360}, {316, 361}, {293,
368}, {292, 369}, {289, 372}, {288, 373}, {167, 241}, {403, 453}, {310, 352},
{146, 197}, {310, 353}, {167, 240}, {177, 233}, {413, 453}, {407, 463}, {144,
201}, {407, 462}, {315, 354}, {314, 355}, {149, 204}, {177, 232}, {274, 331},
{275, 330}, {138, 208}, {412, 454}, {402, 456}, {311, 365}, {139, 209}, {176,
234}, {276, 334}, {277, 335}, {176, 235}, {443, 480}, {406, 461}, {317, 358},
{316, 359}, {309, 366}, {308, 367}, {146, 206}, {411, 455}, {311, 363}, {148,
200}, {142, 208}, {147, 205}, {158, 192}, {142, 209}, {315, 356}, {314, 357},
{148, 203}, {274, 333}, {275, 332}, {20, 116}, {445, 477}, {152, 248}, {161,
193}, {21, 116}, {447, 478}, {152, 249}, {25, 120}, {23, 118}, {18, 112}, {19,
113}, {160, 194}, {161, 195}, {150, 245}, {446, 477}, {444, 479}, {151, 244},
{176, 211}, {177, 210}, {150, 242}, {434, 470}, {433, 469}, {151, 243}, {160,
196}, {162, 198}, {163, 199}, {24, 125}, {25, 124}, {19, 117}, {313, 351}, {16,
119}, {442, 477}, {441, 478}, {313, 350}, {287, 376}, {286, 377}, {153, 254},
{152, 255}, {18, 117}, {162, 197}, {26, 114}, {417, 457}, {166, 206}, {167,
207}, {17, 120}, {287, 374}, {286, 375}, {27, 114}, {165, 204}, {16, 122}, {416,
458}, {23, 125}, {22, 124}, {17, 123}, {150, 253}, {431, 452}, {151, 252}, {163,
200}, {166, 205}, {428, 448}, {28, 113}, {431, 450}, {430, 451}, {151, 250},
{150, 251}, {29, 112}, {164, 201}, {29, 115}, {417, 463}, {153, 247}, {164,
202}, {165, 203}, {22, 121}, {440, 471}, {439, 472}, {438, 473}, {437, 474},
{436, 475}, {435, 476}, {430, 449}, {153, 246}, {28, 115}, {24, 119}, {298,
346}, {416, 464}, {298, 347}, {172, 222}, {173, 223}, {170, 217}, {297, 346},
{296, 347}, {171, 216}, {14, 122}, {15, 123}, {26, 111}, {285, 360}, {284, 361},
{52, 65}, {27, 110}, {15, 121}, {299, 349}, {63, 73}, {62, 72}, {54, 64}, {170,
220}, {171, 221}, {172, 219}, {299, 348}, {297, 350}, {296, 351}, {173, 218},
{14, 118}, {285, 357}, {284, 356}, {57, 65}, {168, 208}, {169, 209}, {57, 64},
{283, 354}, {282, 355}, {60, 70}, {295, 349}, {294, 348}, {63, 69}, {20, 111},
{61, 70}, {21, 110}, {172, 215}, {173, 214}, {174, 213}, {175, 212}, {59, 71},
{283, 359}, {282, 358}, {62, 66}, {58, 71}, {58, 68}, {59, 69}, {160, 222},
{161, 223}, {60, 67}, {61, 66}, {122, 240}, {123, 241}, {120, 232}, {121, 233},
{119, 230}, {114, 224}, {118, 228}, {114, 225}, {98, 246}, {107, 255}, {106,
254}, {99, 247}, {96, 245}, {105, 252}, {104, 253}, {97, 244}, {116, 236}, {116,
237}, {256, 409}, {257, 408}, {117, 239}, {117, 238}, {100, 248}, {119, 235},
{118, 234}, {101, 249}, {102, 251}, {120, 229}, {103, 250}, {121, 231}, {125,
227}, {124, 226}, {34, 130}, {39, 135}, {36, 132}, {38, 135}, {45, 140}, {44,
141}, {43, 138}, {42, 139}, {46, 141}, {47, 140}, {38, 131}, {39, 130}, {35,
133}, {37, 131}, {113, 217}, {113, 216}, {34, 136}, {43, 129}, {35, 137}, {42,
129}, {44, 128}, {382, 466}, {115, 223}, {112, 220}, {36, 137}, {115, 222},
{112, 221}, {95, 242}, {94, 243}, {45, 128}, {41, 132}, {40, 133}, {37, 136},
{40, 134}, {383, 465}, {41, 134}, {125, 210}, {124, 211}, {123, 212}, {122,
213}, {111, 219}, {380, 456}, {111, 218}, {126, 201}, {110, 214}, {110, 215},
{381, 455}, {48, 139}, {49, 138}, {378, 454}, {379, 453}, {344, 414}, {345,
415}, {127, 182}, {126, 178}, {127, 179}, {336, 413}, {339, 414}, {338, 415},
{337, 412}, {336, 384}, {337, 385}, {330, 411}, {333, 412}, {332, 413}, {331,
410}, {346, 392}, {347, 393}, {334, 410}, {335, 411}, {340, 386}, {341, 387},
{338, 389}, {339, 388}, {350, 391}, {351, 390}, {348, 391}, {349, 390}, {342,
393}, {345, 390}, {344, 391}, {343, 392}, {331, 419}, {364, 388}, {330, 419},
{365, 388}, {353, 392}, {352, 393}, {335, 421}, {334, 421}, {367, 387}, {366,
387}, {332, 418}, {363, 389}, {333, 418}, {362, 389}, {344, 425}, {345, 424},
{368, 386}, {371, 385}, {370, 384}, {340, 423}, {369, 386}, {341, 422}, {336,
420}, {337, 420}, {341, 416}, {340, 417}, {339, 422}, {338, 423}, {342, 416},
{343, 417}, {376, 385}, {377, 384}, {342, 425}, {343, 424}, {10, 267}, {11,
266}, {12, 271}, {13, 270}, {12, 264}, {12, 265}, {10, 269}, {11, 268}, {10,
259}, {11, 258}, {13, 263}, {13, 262}, {10, 260}, {11, 261}, {12, 272}, {13,
273}, {94, 261}, {95, 260}, {243, 403}, {242, 403}, {246, 404}, {247, 405}, {96,
259}, {101, 262}, {100, 263}, {97, 258}, {104, 269}, {107, 270}, {106, 271},
{105, 268}, {244, 402}, {254, 408}, {255, 409}, {245, 402}, {253, 407}, {98,
265}, {99, 264}, {252, 407}, {248, 404}, {249, 405}, {250, 406}, {102, 267},
{109, 256}, {108, 257}, {103, 266}, {251, 406}, {108, 273}, {109, 272}, {183,
311}, {184, 312}, {19, 401}, {14, 394}, {15, 395}, {21, 400}, {27, 401}, {28,
400}, {182, 313}, {189, 301}, {191, 303}, {188, 302}, {190, 300}, {29, 398},
{185, 301}, {187, 303}, {24, 397}, {26, 399}, {25, 396}, {186, 300}, {178, 298},
{152, 257}, {153, 256}, {179, 298}, {20, 398}, {210, 329}, {211, 328}, {16,
396}, {23, 395}, {22, 394}, {17, 397}, {18, 399}, {212, 329}, {213, 328}, {181,
299}, {180, 299}, {228, 324}, {224, 321}, {225, 320}, {230, 325}, {231, 323},
{226, 327}, {227, 326}, {229, 322}, {234, 323}, {235, 322}, {232, 325}, {233,
324}, {238, 321}, {239, 320}, {240, 327}, {241, 326}, {5, 469}, {4, 470}, {5,
471}, {236, 319}, {237, 318}, {2, 474}, {250, 290}, {251, 291}, {252, 292},
{253, 293}, {2, 475}, {248, 289}, {249, 288}, {254, 295}, {255, 294}, {3, 473},
{5, 479}, {2, 478}, {4, 472}, {3, 477}, {3, 476}, {220, 317}, {221, 316}, {222,
319}, {223, 318}, {216, 315}, {217, 314}, {4, 480}, {208, 309}, {209, 308},
{218, 317}, {219, 316}, {242, 283}, {243, 282}, {244, 285}, {245, 284}, {246,
287}, {247, 286}, {214, 314}, {215, 315}, {192, 302}, {196, 308}, {201, 313},
{197, 305}, {199, 307}, {194, 311}, {195, 309}, {198, 304}, {193, 312}, {207,
310}, {200, 306}, {203, 305}, {202, 310}, {204, 304}, {206, 306}, {205, 307}
}>;
(II) A more general form is to represent the graph as the orbit of {1, 3}
under the group generated by the following permutations:
a: (1, 10)(2, 269, 3, 267)(4, 259, 5, 260)(6, 71)(7, 70)(8, 72)(9, 73)(11,
427)(12, 172, 13, 171)(14, 58, 17, 59)(15, 61, 16, 60)(18, 88, 21, 86)(19, 89,
20, 87)(22, 64, 24, 63)(23, 62, 25, 65)(26, 92, 28, 90)(27, 93, 29, 91)(30, 175,
31, 174)(32, 177, 33, 176)(34, 228, 37, 229)(35, 231, 36, 230)(38, 235, 39,
233)(40, 234, 41, 232)(42, 227, 43, 226)(44, 211, 45, 210)(46, 213, 47, 212)(48,
241, 49, 240)(50, 123, 51, 122)(52, 118, 53, 120)(54, 119, 55, 121)(56, 124, 57,
125)(66, 396, 67, 395)(68, 397, 69, 394)(74, 401, 76, 398)(75, 399, 77, 400)(78,
446, 83, 447)(79, 452, 82, 451)(80, 450, 85, 449)(81, 445, 84, 448)(94, 429, 97,
428)(95, 480, 96, 479)(98, 111, 101, 113)(99, 110, 100, 112)(102, 478, 104,
477)(103, 430, 105, 431)(106, 115, 107, 114)(108, 116, 109, 117)(126, 154)(127,
167)(128, 155)(129, 164)(130, 324, 131, 322)(132, 325, 133, 323)(134, 163)(135,
162)(136, 165)(137, 166)(138, 327, 139, 326)(140, 329, 141, 328)(142, 298)(143,
310)(144, 299)(145, 313)(146, 305)(147, 307)(148, 306)(149, 304)(150, 432)(151,
426)(152, 170, 153, 173)(156, 287, 157, 288)(158, 286, 159, 289)(160, 295, 161,
294)(168, 297, 169, 296)(179, 207)(181, 201)(183, 351, 184, 350)(185, 374, 186,
370)(187, 376, 188, 373)(189, 372, 190, 377)(191, 371, 192, 375)(193, 348, 194,
349)(195, 353, 196, 352)(198, 199)(203, 206)(208, 346, 209, 347)(214, 248, 220,
247)(215, 263, 221, 264)(216, 265, 219, 262)(217, 246, 218, 249)(222, 270, 225,
271)(223, 255, 224, 254)(236, 272, 239, 273)(237, 256, 238, 257)(242, 443, 245,
444)(243, 433, 244, 434)(250, 438, 252, 437)(251, 441, 253, 442)(258, 440, 261,
439)(266, 436, 268, 435)(274, 471, 275, 472)(276, 316, 277, 315)(278, 476, 279,
475)(280, 319, 281, 320)(282, 469, 285, 470)(283, 420, 284, 421)(290, 473, 292,
474)(291, 425, 293, 424)(300, 384, 301, 383)(302, 382, 303, 385)(308, 393, 309,
392)(311, 390, 312, 391)(314, 404, 317, 405)(318, 409, 321, 408)(330, 454, 333,
455)(331, 456, 332, 453)(334, 359, 336, 356)(335, 354, 337, 361)(338, 462, 339,
461)(340, 463, 341, 464)(342, 368, 343, 367)(344, 365, 345, 362)(355, 466, 360,
467)(357, 468, 358, 465)(363, 460, 364, 459)(366, 458, 369, 457)(378, 412, 381,
411)(379, 410, 380, 413)(386, 417, 387, 416)(388, 415, 389, 414)(402, 418, 403,
419)(406, 423, 407, 422) (III) Last is Groups&Graphs. Copy everything between (not including)
the lines of asterisks into a plain text file and save it as "graph.txt". Then
launch G&G (Groups&Graphs) and select Read Text from the File menu.
**************
&Graph **************
b: (34, 36)(35, 37)(38, 40)(39, 41)(52, 54)(53, 55)(58, 60)(59, 61)(62, 63)(64,
65)(66, 69)(67, 68)(70, 71)(72, 73)(74, 75)(76, 77)(78, 81)(79, 80)(82, 85)(83,
84)(86, 87)(88, 89)(90, 91)(92, 93)(94, 97)(95, 96)(98, 99)(100, 101)(130,
132)(131, 133)(134, 135)(136, 137)(146, 147)(148, 149)(185, 187)(186, 188)(189,
191)(190, 192)(197, 198)(199, 200)(203, 204)(205, 206)(242, 245)(243, 244)(246,
247)(248, 249)(258, 261)(259, 260)(262, 263)(264, 265)(274, 275)(276, 277)(282,
285)(283, 284)(286, 287)(288, 289)(300, 302)(301, 303)(304, 305)(306, 307)(330,
331)(332, 333)(334, 335)(336, 337)(354, 356)(355, 357)(358, 360)(359, 361)(370,
371)(372, 373)(374, 375)(376, 377)(378, 379)(380, 381)(382, 383)(384, 385)(402,
403)(404, 405)(410, 411)(412, 413)(453, 454)(455, 456)(465, 466)(467, 468)
c: (10, 11)(30, 31)(32, 33)(34, 35)(36, 37)(38, 41)(39, 40)(42, 43)(44, 45)(46,
47)(48, 49)(50, 51)(52, 55)(53, 54)(56, 57)(58, 61)(59, 60)(62, 64)(63, 65)(66,
68)(67, 69)(70, 71)(72, 73)(74, 75)(76, 77)(78, 80)(79, 81)(82, 84)(83, 85)(86,
87)(88, 89)(90, 91)(92, 93)(94, 96)(95, 97)(98, 99)(100, 101)(102, 103)(104,
105)(130, 133)(131, 132)(134, 135)(136, 137)(138, 139)(140, 141)(146, 147)(148,
149)(150, 151)(156, 157)(158, 159)(160, 161)(168, 169)(170, 171)(172, 173)(183,
184)(185, 188)(186, 187)(189, 192)(190, 191)(193, 194)(195, 196)(197, 198)(199,
200)(203, 204)(205, 206)(208, 209)(214, 215)(216, 217)(218, 219)(220, 221)(222,
223)(224, 225)(236, 237)(238, 239)(242, 244)(243, 245)(246, 247)(248, 249)(250,
251)(252, 253)(258, 260)(259, 261)(262, 263)(264, 265)(266, 267)(268, 269)(274,
275)(276, 277)(282, 284)(283, 285)(286, 287)(288, 289)(290, 291)(292, 293)(300,
303)(301, 302)(304, 305)(306, 307)(308, 309)(311, 312)(314, 315)(316, 317)(318,
319)(320, 321)(330, 331)(332, 333)(334, 335)(336, 337)(354, 357)(355, 356)(358,
361)(359, 360)(362, 363)(364, 365)(366, 367)(368, 369)(370, 371)(372, 373)(374,
375)(376, 377)(378, 379)(380, 381)(382, 383)(384, 385)(402, 403)(404, 405)(410,
411)(412, 413)(453, 454)(455, 456)(465, 466)(467, 468)
d: (4, 5)(6, 7)(8, 9)(14, 16)(15, 17)(18, 19)(20, 21)(22, 25)(23, 24)(26,
27)(28, 29)(110, 111)(112, 113)(118, 119)(120, 121)(146, 149)(147, 148)(156,
158)(157, 159)(162, 163)(165, 166)(185, 192)(186, 191)(187, 190)(188, 189)(197,
199)(198, 200)(203, 205)(204, 206)(214, 218)(215, 219)(216, 221)(217, 220)(228,
230)(229, 231)(232, 233)(234, 235)(300, 303)(301, 302)(304, 306)(305, 307)(314,
317)(315, 316)(322, 323)(324, 325)(330, 332)(331, 333)(334, 337)(335, 336)(354,
359)(355, 358)(356, 361)(357, 360)(370, 373)(371, 372)(374, 376)(375, 377)(378,
380)(379, 381)(382, 384)(383, 385)(394, 396)(395, 397)(398, 400)(399, 401)(410,
412)(411, 413)(418, 419)(420, 421)(428, 429)(433, 434)(439, 440)(443, 444)(445,
446)(447, 448)(449, 451)(450, 452)(453, 455)(454, 456)(465, 467)(466, 468)(469,
470)(471, 472)(479, 480)
e: (2, 5, 3, 4)(6, 7, 9, 8)(10, 12)(11, 13)(14, 19, 24, 29)(15, 26, 25, 21)(16,
28, 23, 18)(17, 20, 22, 27)(31, 32)(34, 43, 36, 47)(35, 45, 37, 49)(38, 48, 40,
44)(39, 42, 41, 46)(50, 52, 56, 54)(51, 55, 57, 53)(58, 59, 63, 64)(60, 65, 62,
61)(66, 70, 67, 72)(68, 71, 69, 73)(74, 75, 76, 77)(78, 89, 83, 91)(79, 93, 82,
87)(80, 86, 85, 92)(81, 90, 84, 88)(94, 107, 97, 108)(95, 109, 96, 106)(98, 102,
99, 104)(100, 103, 101, 105)(110, 123, 111, 124)(112, 122, 113, 125)(114, 120,
116, 121)(115, 118, 117, 119)(126, 130, 129, 132)(127, 133, 128, 131)(134, 141,
135, 139)(136, 138, 137, 140)(142, 147, 143, 149)(144, 148, 145, 146)(150,
153)(151, 152)(154, 156, 164, 158)(155, 159, 167, 157)(160, 165, 168, 166)(161,
163, 169, 162)(170, 174)(171, 177)(172, 175)(173, 176)(178, 185, 202, 190)(179,
189, 207, 186)(180, 191, 182, 188)(181, 187, 201, 192)(183, 197, 193, 200)(184,
206, 194, 203)(195, 199, 209, 198)(196, 204, 208, 205)(210, 221, 240, 216)(211,
214, 241, 218)(212, 219, 226, 215)(213, 217, 227, 220)(222, 228, 239, 230)(223,
234, 238, 235)(224, 229, 237, 231)(225, 232, 236, 233)(242, 256, 245, 254)(243,
255, 244, 257)(246, 251, 247, 253)(248, 250, 249, 252)(258, 273, 261, 270)(259,
271, 260, 272)(262, 268, 263, 266)(264, 269, 265, 267)(274, 280, 275, 281)(276,
279, 277, 278)(282, 294, 285, 296)(283, 297, 284, 295)(286, 293, 287, 291)(288,
292, 289, 290)(298, 301, 310, 300)(299, 303, 313, 302)(304, 309, 307, 308)(305,
312, 306, 311)(314, 326, 317, 328)(315, 329, 316, 327)(318, 323, 321, 322)(319,
324, 320, 325)(330, 344, 333, 345)(331, 342, 332, 343)(334, 341, 336, 340)(335,
339, 337, 338)(346, 356, 352, 359)(347, 358, 353, 357)(348, 360, 351, 355)(349,
354, 350, 361)(362, 375, 365, 376)(363, 373, 364, 371)(366, 370, 369, 372)(367,
377, 368, 374)(378, 391, 381, 390)(379, 393, 380, 392)(382, 388, 385, 389)(383,
387, 384, 386)(394, 401, 397, 398)(395, 399, 396, 400)(402, 408, 403, 409)(404,
406, 405, 407)(410, 416, 413, 417)(411, 414, 412, 415)(418, 424, 419, 425)(420,
423, 421, 422)(426, 427)(428, 430, 429, 431)(433, 435, 434, 436)(437, 440, 438,
439)(441, 444, 442, 443)(445, 450, 448, 449)(446, 451, 447, 452)(453, 457, 456,
458)(454, 459, 455, 460)(461, 467, 462, 466)(463, 468, 464, 465)(469, 476, 470,
475)(471, 473, 472, 474)(477, 480, 478, 479)
f: (10, 11)(12, 13)(30, 33)(31, 32)(34, 38)(35, 41)(36, 40)(37, 39)(42, 45)(43,
44)(46, 49)(47, 48)(52, 54)(53, 55)(58, 60)(59, 61)(62, 63)(64, 65)(66, 69)(67,
68)(70, 71)(72, 73)(74, 77)(75, 76)(78, 85)(79, 84)(80, 83)(81, 82)(86, 89)(87,
88)(90, 93)(91, 92)(94, 95)(96, 97)(98, 100)(99, 101)(102, 105)(103, 104)(106,
107)(108, 109)(126, 127)(128, 129)(130, 131)(132, 133)(134, 137)(135, 136)(138,
141)(139, 140)(142, 145)(143, 144)(150, 151)(152, 153)(154, 167)(155, 164)(156,
157)(158, 159)(160, 161)(162, 166)(163, 165)(168, 169)(170, 171)(172, 173)(174,
177)(175, 176)(178, 182)(179, 201)(180, 202)(181, 207)(183, 208)(184, 209)(185,
186)(187, 188)(189, 190)(191, 192)(193, 196)(194, 195)(197, 206)(198, 205)(199,
204)(200, 203)(210, 227)(211, 226)(212, 241)(213, 240)(214, 215)(216, 217)(218,
219)(220, 221)(222, 223)(224, 225)(228, 234)(229, 232)(230, 235)(231, 233)(236,
237)(238, 239)(242, 243)(244, 245)(246, 248)(247, 249)(250, 253)(251, 252)(254,
255)(256, 257)(258, 259)(260, 261)(262, 264)(263, 265)(266, 269)(267, 268)(270,
271)(272, 273)(278, 279)(280, 281)(282, 283)(284, 285)(286, 288)(287, 289)(290,
293)(291, 292)(294, 295)(296, 297)(298, 313)(299, 310)(300, 301)(302, 303)(304,
307)(305, 306)(308, 312)(309, 311)(314, 315)(316, 317)(318, 319)(320, 321)(322,
325)(323, 324)(326, 329)(327, 328)(338, 340)(339, 341)(342, 344)(343, 345)(346,
351)(347, 350)(348, 352)(349, 353)(354, 355)(356, 357)(358, 359)(360, 361)(362,
369)(363, 368)(364, 367)(365, 366)(370, 377)(371, 376)(372, 374)(373, 375)(386,
389)(387, 388)(390, 392)(391, 393)(406, 407)(408, 409)(414, 416)(415, 417)(457,
459)(458, 460)(461, 463)(462, 464)
g: (10, 13, 11, 12)(14, 18)(15, 20)(16, 19)(17, 21)(22, 26)(23, 29)(24, 28)(25,
27)(30, 31, 33, 32)(34, 35, 38, 41)(36, 37, 40, 39)(42, 48, 49, 43)(44, 45, 47,
46)(50, 51, 56, 57)(52, 55, 54, 53)(58, 59, 63, 64)(60, 61, 62, 65)(66, 72, 67,
70)(68, 71, 69, 73)(74, 75)(76, 77)(78, 91, 79, 87)(80, 86, 81, 90)(82, 93, 83,
89)(84, 88, 85, 92)(94, 98, 95, 100)(96, 101, 97, 99)(102, 108, 103, 106)(104,
107, 105, 109)(110, 120)(111, 121)(112, 118)(113, 119)(114, 124)(115, 125)(116,
123)(117, 122)(126, 141, 128, 140)(127, 138, 129, 139)(130, 137, 131, 134)(132,
136, 133, 135)(142, 145)(143, 144)(150, 152, 151, 153)(154, 169, 167, 168)(155,
160, 164, 161)(156, 166, 157, 162)(158, 165, 159, 163)(170, 175, 171, 176)(172,
174, 173, 177)(178, 183, 207, 184)(179, 194, 202, 193)(180, 196, 201, 195)(181,
209, 182, 208)(185, 205, 186, 198)(187, 206, 188, 197)(189, 199, 190, 204)(191,
200, 192, 203)(210, 222, 227, 223)(211, 224, 226, 225)(212, 236, 241, 237)(213,
238, 240, 239)(214, 232, 215, 229)(216, 235, 217, 230)(218, 233, 219, 231)(220,
228, 221, 234)(242, 248, 243, 246)(244, 247, 245, 249)(250, 254, 251, 257)(252,
256, 253, 255)(258, 264, 259, 262)(260, 263, 261, 265)(266, 271, 267, 273)(268,
272, 269, 270)(274, 277)(275, 276)(278, 281)(279, 280)(282, 287, 283, 289)(284,
288, 285, 286)(290, 295, 291, 296)(292, 297, 293, 294)(298, 311, 310, 312)(299,
308, 313, 309)(300, 304, 301, 307)(302, 305, 303, 306)(314, 325, 315, 322)(316,
323, 317, 324)(318, 329, 319, 326)(320, 328, 321, 327)(330, 337)(331, 336)(332,
334)(333, 335)(338, 342)(339, 343)(340, 344)(341, 345)(346, 365, 353, 364)(347,
363, 352, 362)(348, 369, 350, 368)(349, 367, 351, 366)(354, 371, 355, 376)(356,
370, 357, 377)(358, 374, 359, 372)(360, 375, 361, 373)(378, 385)(379, 384)(380,
383)(381, 382)(386, 391)(387, 390)(388, 392)(389, 393)(394, 399)(395, 398)(396,
401)(397, 400)(402, 405)(403, 404)(406, 408)(407, 409)(410, 413)(411, 412)(414,
417)(415, 416)(418, 421)(419, 420)(422, 424)(423, 425)(426, 427)(428, 429)(430,
431)(433, 440)(434, 439)(435, 438)(436, 437)(445, 446)(447, 448)(449, 452)(450,
451)(453, 468)(454, 467)(455, 466)(456, 465)(457, 462)(458, 461)(459, 464)(460,
463)(469, 471)(470, 472)(473, 476)(474, 475)
h: (1, 6)(2, 18)(3, 21)(4, 14)(5, 17)(7, 427)(8, 426)(9, 432)(10, 143, 11,
144)(12, 147)(13, 146)(15, 440)(16, 439)(19, 436)(20, 435)(22, 443)(23, 434)(24,
444)(25, 433)(26, 441)(27, 438)(28, 442)(29, 437)(30, 74, 31, 77)(32, 75, 33,
76)(34, 87, 37, 92)(35, 88, 36, 91)(38, 93, 39, 86)(40, 89, 41, 90)(42, 83, 47,
80)(43, 81, 46, 82)(44, 85, 49, 78)(45, 79, 48, 84)(50, 68, 57, 67)(51, 66, 56,
69)(52, 70, 53, 73)(54, 72, 55, 71)(58, 64, 65, 60)(59, 61, 62, 63)(94, 126, 95,
129)(96, 127, 97, 128)(98, 134)(99, 137)(100, 135)(101, 136)(102, 140, 105,
139)(103, 138, 104, 141)(106, 130, 109, 131)(107, 133, 108, 132)(110, 473)(111,
425)(112, 474)(113, 424)(114, 423)(115, 422)(116, 476)(117, 475)(118, 470)(119,
421)(120, 469)(121, 420)(122, 472)(123, 471)(124, 419)(125, 418)(142, 150, 145,
151)(148, 153)(149, 152)(154, 403)(155, 274)(156, 281, 157, 280)(158, 409, 159,
408)(160, 278, 161, 279)(162, 276)(163, 404)(164, 275)(165, 405)(166, 277)(167,
402)(168, 407, 169, 406)(170, 417, 171, 415)(172, 414, 173, 416)(174, 413)(175,
411)(176, 410)(177, 412)(178, 242, 181, 243)(179, 258, 180, 259)(182, 244, 207,
245)(183, 250, 208, 253)(184, 252, 209, 251)(185, 272, 186, 271)(187, 270, 188,
273)(189, 257, 190, 255)(191, 254, 192, 256)(193, 267, 196, 268)(194, 269, 195,
266)(197, 263)(198, 265)(199, 248)(200, 246)(201, 260, 202, 261)(203, 247)(204,
249)(205, 264)(206, 262)(210, 333)(211, 331)(212, 455)(213, 453)(214, 458, 215,
460)(216, 345, 217, 343)(218, 342, 219, 344)(220, 457, 221, 459)(222, 339, 223,
341)(224, 340, 225, 338)(226, 330)(227, 332)(228, 467)(229, 465)(230, 335)(231,
336)(232, 466)(233, 337)(234, 468)(235, 334)(236, 461, 237, 463)(238, 464, 239,
462)(240, 454)(241, 456)(282, 298, 283, 299)(284, 313, 285, 310)(286, 305)(287,
306)(288, 304)(289, 307)(290, 309, 293, 311)(291, 312, 292, 308)(294, 301, 296,
300)(295, 302, 297, 303)(314, 392, 315, 390)(316, 391, 317, 393)(318, 387, 319,
388)(320, 389, 321, 386)(322, 383)(323, 384)(324, 385)(325, 382)(326, 380)(327,
378)(328, 379)(329, 381)(346, 354, 349, 355)(347, 359, 348, 358)(350, 360, 352,
361)(351, 357, 353, 356)(362, 364, 369, 367)(363, 366, 368, 365)(370, 372)(371,
374)(373, 377)(375, 376)(394, 480)(395, 428)(396, 429)(397, 479)(398, 431)(399,
478)(400, 477)(401, 430)(445, 451)(446, 447)(448, 452)(449, 450)
m: (6, 9)(7, 8)(14, 22)(15, 23)(16, 25)(17, 24)(18, 26)(19, 27)(20, 29)(21,
28)(30, 33)(31, 32)(34, 38)(35, 41)(36, 40)(37, 39)(42, 45)(43, 44)(46, 49)(47,
48)(52, 54)(53, 55)(58, 60)(59, 61)(62, 63)(64, 65)(66, 69)(67, 68)(70, 71)(72,
73)(74, 75)(76, 77)(78, 81)(79, 80)(82, 85)(83, 84)(86, 87)(88, 89)(90, 91)(92,
93)(94, 97)(95, 96)(98, 99)(100, 101)(110, 113)(111, 112)(114, 117)(115,
116)(118, 121)(119, 120)(122, 124)(123, 125)(126, 127)(128, 129)(130, 131)(132,
133)(134, 137)(135, 136)(138, 141)(139, 140)(142, 143)(144, 145)(146, 149)(147,
148)(154, 155)(156, 159)(157, 158)(160, 169)(161, 168)(162, 165)(163, 166)(164,
167)(170, 173)(171, 172)(174, 176)(175, 177)(178, 179)(180, 181)(182, 201)(183,
194)(184, 193)(185, 191)(186, 192)(187, 189)(188, 190)(195, 208)(196, 209)(197,
204)(198, 203)(199, 206)(200, 205)(202, 207)(210, 212)(211, 213)(214, 217)(215,
216)(218, 220)(219, 221)(222, 236)(223, 237)(224, 238)(225, 239)(226, 240)(227,
241)(228, 233)(229, 235)(230, 232)(231, 234)(242, 245)(243, 244)(246, 247)(248,
249)(258, 261)(259, 260)(262, 263)(264, 265)(274, 275)(276, 277)(282, 285)(283,
284)(286, 287)(288, 289)(300, 302)(301, 303)(304, 305)(306, 307)(330, 331)(332,
333)(334, 335)(336, 337)(354, 356)(355, 357)(358, 360)(359, 361)(370, 371)(372,
373)(374, 375)(376, 377)(378, 379)(380, 381)(382, 383)(384, 385)(402, 403)(404,
405)(410, 411)(412, 413)(453, 454)(455, 456)(465, 466)(467, 468)
n1: (6, 9)(7, 8)(14, 22)(15, 23)(16, 25)(17, 24)(18, 26)(19, 27)(20, 29)(21,
28)(30, 33)(31, 32)(34, 38)(35, 41)(36, 40)(37, 39)(42, 49)(43, 48)(44, 47)(45,
46)(50, 56)(51, 57)(52, 54)(53, 55)(58, 63)(59, 64)(60, 62)(61, 65)(66, 67)(68,
69)(70, 72)(71, 73)(74, 76)(75, 77)(78, 83)(79, 82)(80, 85)(81, 84)(86, 92)(87,
93)(88, 90)(89, 91)(94, 97)(95, 96)(98, 99)(100, 101)(102, 104)(103, 105)(106,
109)(107, 108)(110, 113)(111, 112)(114, 117)(115, 116)(118, 121)(119, 120)(122,
124)(123, 125)(126, 128)(127, 129)(130, 131)(132, 133)(134, 137)(135, 136)(138,
139)(140, 141)(142, 144)(143, 145)(146, 149)(147, 148)(154, 155)(156, 159)(157,
158)(160, 169)(161, 168)(162, 165)(163, 166)(164, 167)(170, 173)(171, 172)(174,
176)(175, 177)(178, 180)(179, 181)(182, 202)(183, 196)(184, 195)(185, 191)(186,
192)(187, 189)(188, 190)(193, 208)(194, 209)(197, 204)(198, 203)(199, 206)(200,
205)(201, 207)(210, 212)(211, 213)(214, 217)(215, 216)(218, 220)(219, 221)(222,
236)(223, 237)(224, 238)(225, 239)(226, 240)(227, 241)(228, 233)(229, 235)(230,
232)(231, 234)(242, 245)(243, 244)(246, 247)(248, 249)(250, 252)(251, 253)(254,
256)(255, 257)(258, 261)(259, 260)(262, 263)(264, 265)(266, 268)(267, 269)(270,
273)(271, 272)(274, 275)(276, 277)(278, 279)(280, 281)(282, 285)(283, 284)(286,
287)(288, 289)(290, 292)(291, 293)(294, 296)(295, 297)(298, 299)(300, 302)(301,
303)(304, 305)(306, 307)(308, 311)(309, 312)(310, 313)(330, 331)(332, 333)(334,
335)(336, 337)(338, 340)(339, 341)(342, 344)(343, 345)(346, 349)(347, 348)(350,
352)(351, 353)(354, 356)(355, 357)(358, 360)(359, 361)(362, 368)(363, 369)(364,
366)(365, 367)(370, 371)(372, 373)(374, 375)(376, 377)(378, 379)(380, 381)(382,
383)(384, 385)(386, 389)(387, 388)(390, 392)(391, 393)(402, 403)(404, 405)(406,
407)(408, 409)(410, 411)(412, 413)(414, 416)(415, 417)(453, 454)(455, 456)(457,
459)(458, 460)(461, 463)(462, 464)(465, 466)(467, 468)
a1: (2, 3)(6, 7)(8, 9)(10, 11)(12, 13)(14, 15)(16, 17)(18, 20)(19, 21)(22,
23)(24, 25)(26, 29)(27, 28)(74, 76)(75, 77)(78, 82)(79, 83)(80, 84)(81, 85)(86,
88)(87, 89)(90, 92)(91, 93)(94, 96)(95, 97)(98, 101)(99, 100)(102, 105)(103,
104)(106, 107)(108, 109)(110, 113)(111, 112)(114, 115)(116, 117)(118, 121)(119,
120)(122, 123)(124, 125)(146, 149)(147, 148)(150, 151)(152, 153)(156, 158)(157,
159)(162, 163)(165, 166)(170, 172)(171, 173)(174, 175)(176, 177)(185, 192)(186,
191)(187, 190)(188, 189)(197, 199)(198, 200)(203, 205)(204, 206)(210, 211)(212,
213)(214, 216)(215, 217)(218, 221)(219, 220)(222, 224)(223, 225)(226, 227)(228,
231)(229, 230)(232, 235)(233, 234)(236, 238)(237, 239)(240, 241)(242, 244)(243,
245)(246, 249)(247, 248)(250, 253)(251, 252)(254, 255)(256, 257)(258, 260)(259,
261)(262, 265)(263, 264)(266, 269)(267, 268)(270, 271)(272, 273)(274, 275)(276,
277)(278, 279)(280, 281)(282, 284)(283, 285)(286, 289)(287, 288)(290, 293)(291,
292)(294, 295)(296, 297)(300, 303)(301, 302)(304, 306)(305, 307)(314, 315)(316,
317)(318, 320)(319, 321)(322, 325)(323, 324)(326, 327)(328, 329)(330, 331)(332,
333)(334, 335)(336, 337)(338, 339)(340, 341)(342, 343)(344, 345)(346, 347)(348,
349)(350, 351)(352, 353)(354, 357)(355, 356)(358, 361)(359, 360)(362, 364)(363,
365)(366, 368)(367, 369)(370, 376)(371, 377)(372, 375)(373, 374)(378, 379)(380,
381)(382, 383)(384, 385)(386, 387)(388, 389)(390, 391)(392, 393)(394, 395)(396,
397)(398, 399)(400, 401)(402, 403)(404, 405)(406, 407)(408, 409)(410, 411)(412,
413)(414, 415)(416, 417)(422, 423)(424, 425)(430, 431)(435, 436)(437, 438)(441,
442)(445, 447)(446, 448)(449, 452)(450, 451)(453, 454)(455, 456)(457, 458)(459,
460)(461, 462)(463, 464)(465, 466)(467, 468)(473, 474)(475, 476)(477, 478)
C4[ 480, 552 ]
480
-1 2 3 4 5
-2 1 474 475 478
-3 473 1 476 477
-4 1 480 470 472
-5 1 479 469 471
-6 14 17 18 21
-7 15 16 19 20
-8 23 25 27 29
-9 22 24 26 28
-10 267 269 259 260
-11 266 268 258 261
-12 264 265 271 272
-13 270 262 273 263
-14 122 6 118 394
-15 121 123 7 395
-16 396 122 7 119
-17 397 123 6 120
-18 112 399 6 117
-19 113 401 7 117
-20 111 398 116 7
-21 110 400 6 116
-22 121 124 9 394
-23 125 8 118 395
-24 397 125 9 119
-25 396 124 8 120
-26 111 399 114 9
-27 110 114 401 8
-28 113 400 115 9
-29 112 398 115 8
-30 34 36 47 43
-31 35 46 37 42
-32 45 49 39 41
-33 44 48 38 40
-34 136 30 52 130
-35 55 133 137 31
-36 132 137 30 54
-37 136 31 53 131
-38 33 135 54 131
-39 55 135 130 32
-40 33 133 134 52
-41 132 134 53 32
-42 57 139 129 31
-43 56 138 30 129
-44 33 56 128 141
-45 57 128 140 32
-46 126 51 31 141
-47 126 50 30 140
-48 33 50 127 139
-49 127 138 51 32
-50 47 58 48 60
-51 46 59 49 61
-52 34 59 40 65
-53 58 37 62 41
-54 36 38 61 64
-55 35 60 39 63
-56 44 62 63 43
-57 45 42 64 65
-58 68 71 50 53
-59 69 71 51 52
-60 55 67 70 50
-61 66 70 51 54
-62 66 56 72 53
-63 55 56 69 73
-64 57 68 73 54
-65 67 57 72 52
-66 78 82 61 62
-67 79 60 83 65
-68 58 80 84 64
-69 59 81 63 85
-70 89 60 61 87
-71 88 58 59 86
-72 91 93 62 65
-73 90 92 63 64
-74 80 91 81 87
-75 78 79 90 86
-76 89 93 84 85
-77 88 92 82 83
-78 66 104 75 97
-79 67 105 96 75
-80 68 105 95 74
-81 69 104 94 74
-82 66 77 103 95
-83 77 67 102 94
-84 68 102 97 76
-85 69 103 96 76
-86 100 71 75 109
-87 101 70 74 109
-88 77 99 71 108
-89 70 108 76 98
-90 73 107 75 98
-91 99 72 74 107
-92 77 101 73 106
-93 100 72 106 76
-94 243 81 83 261
-95 242 80 82 260
-96 79 245 259 85
-97 78 244 258 84
-98 89 265 90 246
-99 88 264 91 247
-100 93 248 86 263
-101 92 249 262 87
-102 267 83 84 251
-103 266 82 85 250
-104 253 78 81 269
-105 79 80 268 252
-106 254 92 93 271
-107 90 255 91 270
-108 88 89 257 273
-109 256 272 86 87
-110 27 214 215 21
-111 26 20 218 219
-112 220 221 18 29
-113 28 216 19 217
-114 26 224 27 225
-115 222 223 28 29
-116 236 237 20 21
-117 18 238 19 239
-118 23 14 234 228
-119 24 235 16 230
-120 232 25 17 229
-121 22 231 233 15
-122 14 213 16 240
-123 212 15 17 241
-124 22 211 25 226
-125 23 210 24 227
-126 46 178 47 201
-127 179 48 49 182
-128 44 45 180 207
-129 202 181 42 43
-130 34 192 39 185
-131 37 191 38 186
-132 187 36 190 41
-133 188 35 189 40
-134 198 200 40 41
-135 199 38 39 197
-136 34 37 204 206
-137 35 36 203 205
-138 49 194 43 208
-139 209 48 193 42
-140 45 47 184 196
-141 44 46 183 195
-142 209 178 207 208
-143 179 202 195 196
-144 201 180 193 194
-145 181 182 183 184
-146 187 188 206 197
-147 198 205 185 186
-148 200 191 192 203
-149 199 189 190 204
-150 242 253 245 251
-151 243 244 250 252
-152 255 257 248 249
-153 254 256 246 247
-154 178 212 213 181
-155 210 211 179 180
-156 187 217 185 219
-157 188 216 218 186
-158 220 190 192 215
-159 221 189 191 214
-160 222 224 194 196
-161 223 225 193 195
-162 198 233 235 197
-163 199 232 200 234
-164 201 202 226 227
-165 203 204 228 229
-166 231 205 206 230
-167 182 207 240 241
-168 237 184 239 208
-169 209 236 183 238
-170 220 224 237 217
-171 221 225 236 216
-172 222 215 239 219
-173 223 214 238 218
-174 231 213 227 229
-175 212 226 228 230
-176 211 234 235 241
-177 210 232 233 240
-178 154 298 126 142
-179 143 155 298 127
-180 144 155 299 128
-181 154 145 299 129
-182 145 167 313 127
-183 145 311 169 141
-184 145 168 312 140
-185 156 147 301 130
-186 157 300 147 131
-187 132 156 146 303
-188 133 146 157 302
-189 133 301 159 149
-190 132 300 158 149
-191 148 159 303 131
-192 158 148 302 130
-193 144 312 139 161
-194 144 311 138 160
-195 143 309 161 141
-196 143 308 160 140
-197 135 146 162 305
-198 134 147 304 162
-199 135 149 163 307
-200 134 148 163 306
-201 144 126 313 164
-202 143 310 129 164
-203 165 137 148 305
-204 165 136 149 304
-205 166 147 137 307
-206 166 146 136 306
-207 167 310 128 142
-208 309 168 138 142
-209 308 169 139 142
-210 155 177 125 329
-211 176 155 124 328
-212 154 123 175 329
-213 154 122 174 328
-214 110 159 314 173
-215 110 158 172 315
-216 113 157 171 315
-217 156 113 170 314
-218 111 157 173 317
-219 111 156 172 316
-220 112 158 170 317
-221 112 159 171 316
-222 319 115 160 172
-223 115 161 173 318
-224 321 114 170 160
-225 320 114 171 161
-226 124 327 164 175
-227 125 326 174 164
-228 165 324 118 175
-229 165 322 174 120
-230 166 325 119 175
-231 121 166 323 174
-232 177 325 163 120
-233 121 177 324 162
-234 176 323 118 163
-235 176 322 162 119
-236 319 169 116 171
-237 168 170 116 318
-238 321 169 117 173
-239 320 168 117 172
-240 122 177 167 327
-241 176 123 167 326
-242 95 150 403 283
-243 94 282 403 151
-244 402 151 97 285
-245 402 150 96 284
-246 287 404 98 153
-247 99 286 405 153
-248 100 289 404 152
-249 101 288 152 405
-250 103 290 151 406
-251 102 291 150 406
-252 407 105 292 151
-253 407 104 150 293
-254 408 106 295 153
-255 409 107 294 152
-256 297 409 109 153
-257 408 108 152 296
-258 11 283 97 274
-259 282 96 10 274
-260 275 95 10 285
-261 11 275 94 284
-262 287 13 101 277
-263 286 100 276 13
-264 99 12 277 289
-265 12 276 288 98
-266 11 103 279 293
-267 102 279 292 10
-268 11 278 291 105
-269 278 290 104 10
-270 13 281 107 295
-271 12 280 106 294
-272 12 281 109 296
-273 297 13 280 108
-274 331 333 258 259
-275 330 332 260 261
-276 265 334 337 263
-277 264 335 336 262
-278 268 269 339 340
-279 341 266 267 338
-280 342 345 271 273
-281 343 344 270 272
-282 243 355 259 358
-283 242 354 258 359
-284 245 356 261 361
-285 244 357 260 360
-286 375 377 247 263
-287 374 376 246 262
-288 265 249 370 373
-289 264 248 371 372
-290 363 366 269 250
-291 268 367 251 362
-292 364 267 369 252
-293 253 266 365 368
-294 353 255 271 348
-295 352 254 270 349
-296 257 347 272 351
-297 256 346 273 350
-298 178 179 346 347
-299 180 181 348 349
-300 190 357 359 186
-301 189 356 358 185
-302 188 355 192 361
-303 187 354 191 360
-304 198 377 204 372
-305 376 203 197 373
-306 375 200 206 371
-307 374 199 205 370
-308 209 367 369 196
-309 366 368 195 208
-310 352 353 202 207
-311 363 365 183 194
-312 364 193 184 362
-313 201 182 350 351
-314 355 214 357 217
-315 354 356 215 216
-316 221 359 361 219
-317 220 358 360 218
-318 363 223 237 369
-319 222 236 368 362
-320 365 367 225 239
-321 364 366 224 238
-322 235 370 371 229
-323 231 234 372 373
-324 374 375 233 228
-325 232 376 377 230
-326 347 227 348 241
-327 346 226 349 240
-328 353 211 213 351
-329 352 210 212 350
-330 275 419 378 411
-331 419 410 379 274
-332 275 418 380 413
-333 418 412 381 274
-334 276 410 421 383
-335 277 421 411 382
-336 277 420 413 384
-337 385 276 420 412
-338 279 389 423 415
-339 278 388 422 414
-340 386 278 423 417
-341 387 279 422 416
-342 280 425 393 416
-343 281 424 392 417
-344 281 391 414 425
-345 280 390 424 415
-346 297 298 392 327
-347 298 326 393 296
-348 299 391 326 294
-349 299 390 327 295
-350 297 313 391 329
-351 313 390 328 296
-352 310 393 295 329
-353 310 392 294 328
-354 378 303 315 283
-355 378 302 314 282
-356 301 379 315 284
-357 300 379 314 285
-358 301 380 282 317
-359 300 380 283 316
-360 303 381 317 285
-361 302 381 316 284
-362 319 312 389 291
-363 311 290 389 318
-364 321 388 312 292
-365 320 311 388 293
-366 309 321 387 290
-367 308 320 387 291
-368 319 309 386 293
-369 308 386 292 318
-370 288 322 307 384
-371 385 289 322 306
-372 289 323 304 383
-373 288 323 305 382
-374 287 324 383 307
-375 286 324 382 306
-376 385 287 325 305
-377 286 325 304 384
-378 330 354 355 454
-379 331 453 356 357
-380 332 456 358 359
-381 333 455 360 361
-382 375 466 335 373
-383 374 465 334 372
-384 377 336 468 370
-385 376 467 337 371
-386 464 368 369 340
-387 341 463 366 367
-388 364 365 339 461
-389 363 462 338 362
-390 345 349 460 351
-391 344 348 459 350
-392 353 343 346 458
-393 352 342 347 457
-394 22 14 445 449
-395 23 452 15 447
-396 451 25 16 446
-397 24 17 448 450
-398 29 448 20 449
-399 452 26 446 18
-400 451 28 447 21
-401 27 445 19 450
-402 244 245 454 456
-403 242 243 453 455
-404 246 466 248 468
-405 465 247 467 249
-406 464 250 251 461
-407 253 462 463 252
-408 254 257 458 459
-409 255 256 457 460
-410 331 334 456 468
-411 330 455 335 467
-412 333 454 466 337
-413 332 453 465 336
-414 462 344 339 460
-415 345 338 459 461
-416 341 342 464 458
-417 463 343 457 340
-418 332 333 444 434
-419 330 331 443 433
-420 440 443 336 337
-421 334 444 335 439
-422 341 442 437 339
-423 441 338 438 340
-424 343 442 345 436
-425 342 441 344 435
-426 433 434 437 438
-427 440 435 436 439
-428 440 434 446 448
-429 433 445 447 439
-430 451 436 438 449
-431 452 435 437 450
-432 441 442 443 444
-433 429 419 469 426
-434 418 426 470 428
-435 431 476 425 427
-436 430 475 424 427
-437 474 431 422 426
-438 473 430 423 426
-439 429 421 427 472
-440 420 427 471 428
-441 432 423 478 425
-442 432 422 477 424
-443 419 420 432 480
-444 418 421 432 479
-445 429 477 401 394
-446 396 399 477 428
-447 429 400 478 395
-448 397 398 478 428
-449 430 398 479 394
-450 397 431 401 480
-451 396 430 400 480
-452 431 399 479 395
-453 379 413 403 472
-454 378 412 402 472
-455 411 381 403 471
-456 410 380 402 471
-457 474 409 393 417
-458 473 408 392 416
-459 408 474 391 415
-460 473 409 390 414
-461 388 476 415 406
-462 407 475 389 414
-463 407 387 476 417
-464 386 475 416 406
-465 413 469 383 405
-466 412 469 382 404
-467 385 411 470 405
-468 410 404 470 384
-469 465 433 466 5
-470 4 434 467 468
-471 440 455 5 456
-472 453 454 4 439
-473 3 458 438 460
-474 2 457 437 459
-475 462 2 464 436
-476 463 3 435 461
-477 442 3 445 446
-478 441 2 447 448
-479 452 444 5 449
-480 451 443 4 450
0