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