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