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