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