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