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