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