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