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