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