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