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