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