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