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