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