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