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