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