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