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