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