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