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