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