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