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