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