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