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