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