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