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