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