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