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