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