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