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