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