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