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