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