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