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