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