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