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