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