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