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