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