[Home] [Table] [Glossary]
[Families]
On this page are computer-accessible forms for the graph C4[ 500, 1 ] =
W(250,2).
(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}, {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}, {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},
{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}, {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}, {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}, {23, 24}, {39, 40}, {55, 56}, {71,
72}, {87, 88}, {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}, {2, 251}, {4, 253}, {6, 255}, {1, 250}, {4, 255},
{5, 254}, {1, 252}, {3, 254}, {2, 253}, {383, 384}, {127, 128}, {3, 252}, {5,
256}, {143, 394}, {141, 392}, {135, 386}, {133, 384}, {127, 378}, {125, 376},
{119, 370}, {117, 368}, {111, 362}, {109, 360}, {103, 354}, {101, 352}, {95,
346}, {93, 344}, {87, 338}, {7, 258}, {13, 264}, {15, 266}, {21, 272}, {23,
274}, {29, 280}, {31, 282}, {37, 288}, {39, 290}, {45, 296}, {47, 298}, {53,
304}, {55, 306}, {61, 312}, {63, 314}, {69, 320}, {71, 322}, {77, 328}, {79,
330}, {85, 336}, {149, 400}, {151, 402}, {157, 408}, {159, 410}, {165, 416},
{167, 418}, {173, 424}, {175, 426}, {181, 432}, {183, 434}, {189, 440}, {191,
442}, {197, 448}, {199, 450}, {205, 456}, {207, 458}, {213, 464}, {215, 466},
{221, 472}, {223, 474}, {229, 480}, {231, 482}, {237, 488}, {239, 490}, {245,
496}, {247, 498}, {6, 257}, {143, 392}, {142, 393}, {135, 384}, {134, 385},
{127, 376}, {126, 377}, {119, 368}, {118, 369}, {111, 360}, {110, 361}, {103,
352}, {102, 353}, {95, 344}, {94, 345}, {87, 336}, {7, 256}, {14, 265}, {15,
264}, {22, 273}, {23, 272}, {30, 281}, {31, 280}, {38, 289}, {39, 288}, {46,
297}, {47, 296}, {54, 305}, {55, 304}, {62, 313}, {63, 312}, {70, 321}, {71,
320}, {78, 329}, {79, 328}, {86, 337}, {150, 401}, {151, 400}, {158, 409}, {159,
408}, {166, 417}, {167, 416}, {174, 425}, {175, 424}, {182, 433}, {183, 432},
{190, 441}, {191, 440}, {198, 449}, {199, 448}, {206, 457}, {207, 456}, {214,
465}, {215, 464}, {222, 473}, {223, 472}, {230, 481}, {231, 480}, {238, 489},
{239, 488}, {246, 497}, {247, 496}, {8, 257}, {142, 391}, {140, 389}, {138,
387}, {136, 385}, {126, 375}, {124, 373}, {122, 371}, {120, 369}, {110, 359},
{108, 357}, {106, 355}, {104, 353}, {94, 343}, {92, 341}, {90, 339}, {88, 337},
{10, 259}, {12, 261}, {14, 263}, {24, 273}, {26, 275}, {28, 277}, {30, 279},
{40, 289}, {42, 291}, {44, 293}, {46, 295}, {56, 305}, {58, 307}, {60, 309},
{62, 311}, {72, 321}, {74, 323}, {76, 325}, {78, 327}, {152, 401}, {154, 403},
{156, 405}, {158, 407}, {168, 417}, {170, 419}, {172, 421}, {174, 423}, {184,
433}, {186, 435}, {188, 437}, {190, 439}, {200, 449}, {202, 451}, {204, 453},
{206, 455}, {216, 465}, {218, 467}, {220, 469}, {222, 471}, {232, 481}, {234,
483}, {236, 485}, {238, 487}, {248, 497}, {250, 499}, {8, 259}, {141, 390},
{140, 391}, {137, 386}, {136, 387}, {125, 374}, {124, 375}, {121, 370}, {120,
371}, {109, 358}, {108, 359}, {105, 354}, {104, 355}, {93, 342}, {92, 343}, {89,
338}, {88, 339}, {9, 258}, {12, 263}, {13, 262}, {24, 275}, {25, 274}, {28,
279}, {29, 278}, {40, 291}, {41, 290}, {44, 295}, {45, 294}, {56, 307}, {57,
306}, {60, 311}, {61, 310}, {72, 323}, {73, 322}, {76, 327}, {77, 326}, {152,
403}, {153, 402}, {156, 407}, {157, 406}, {168, 419}, {169, 418}, {172, 423},
{173, 422}, {184, 435}, {185, 434}, {188, 439}, {189, 438}, {200, 451}, {201,
450}, {204, 455}, {205, 454}, {216, 467}, {217, 466}, {220, 471}, {221, 470},
{232, 483}, {233, 482}, {236, 487}, {237, 486}, {248, 499}, {249, 498}, {9,
260}, {139, 390}, {137, 388}, {123, 374}, {121, 372}, {107, 358}, {105, 356},
{91, 342}, {89, 340}, {11, 262}, {25, 276}, {27, 278}, {41, 292}, {43, 294},
{57, 308}, {59, 310}, {73, 324}, {75, 326}, {153, 404}, {155, 406}, {169, 420},
{171, 422}, {185, 436}, {187, 438}, {201, 452}, {203, 454}, {217, 468}, {219,
470}, {233, 484}, {235, 486}, {249, 500}, {10, 261}, {139, 388}, {138, 389},
{123, 372}, {122, 373}, {107, 356}, {106, 357}, {91, 340}, {90, 341}, {11, 260},
{26, 277}, {27, 276}, {42, 293}, {43, 292}, {58, 309}, {59, 308}, {74, 325},
{75, 324}, {154, 405}, {155, 404}, {170, 421}, {171, 420}, {186, 437}, {187,
436}, {202, 453}, {203, 452}, {218, 469}, {219, 468}, {234, 485}, {235, 484},
{251, 500}, {16, 265}, {146, 395}, {144, 393}, {118, 367}, {116, 365}, {114,
363}, {112, 361}, {18, 267}, {20, 269}, {22, 271}, {48, 297}, {50, 299}, {52,
301}, {54, 303}, {80, 329}, {82, 331}, {84, 333}, {86, 335}, {148, 397}, {150,
399}, {176, 425}, {178, 427}, {180, 429}, {182, 431}, {208, 457}, {210, 459},
{212, 461}, {214, 463}, {240, 489}, {242, 491}, {244, 493}, {246, 495}, {16,
267}, {145, 394}, {144, 395}, {117, 366}, {116, 367}, {113, 362}, {112, 363},
{17, 266}, {20, 271}, {21, 270}, {48, 299}, {49, 298}, {52, 303}, {53, 302},
{80, 331}, {81, 330}, {84, 335}, {85, 334}, {148, 399}, {149, 398}, {176, 427},
{177, 426}, {180, 431}, {181, 430}, {208, 459}, {209, 458}, {212, 463}, {213,
462}, {240, 491}, {241, 490}, {244, 495}, {245, 494}, {17, 268}, {145, 396},
{115, 366}, {113, 364}, {19, 270}, {49, 300}, {51, 302}, {81, 332}, {83, 334},
{147, 398}, {177, 428}, {179, 430}, {209, 460}, {211, 462}, {241, 492}, {243,
494}, {18, 269}, {147, 396}, {146, 397}, {115, 364}, {114, 365}, {19, 268}, {50,
301}, {51, 300}, {82, 333}, {83, 332}, {178, 429}, {179, 428}, {210, 461}, {211,
460}, {242, 493}, {243, 492}, {32, 281}, {102, 351}, {100, 349}, {98, 347}, {96,
345}, {34, 283}, {36, 285}, {38, 287}, {160, 409}, {162, 411}, {164, 413}, {166,
415}, {224, 473}, {226, 475}, {228, 477}, {230, 479}, {32, 283}, {101, 350},
{100, 351}, {97, 346}, {96, 347}, {33, 282}, {36, 287}, {37, 286}, {160, 411},
{161, 410}, {164, 415}, {165, 414}, {224, 475}, {225, 474}, {228, 479}, {229,
478}, {33, 284}, {99, 350}, {97, 348}, {35, 286}, {161, 412}, {163, 414}, {225,
476}, {227, 478}, {34, 285}, {99, 348}, {98, 349}, {35, 284}, {162, 413}, {163,
412}, {226, 477}, {227, 476}, {64, 313}, {66, 315}, {68, 317}, {70, 319}, {192,
441}, {194, 443}, {196, 445}, {198, 447}, {64, 315}, {65, 314}, {68, 319}, {69,
318}, {192, 443}, {193, 442}, {196, 447}, {197, 446}, {65, 316}, {67, 318},
{193, 444}, {195, 446}, {66, 317}, {67, 316}, {194, 445}, {195, 444}, {1, 500},
{128, 377}, {134, 383}, {132, 381}, {130, 379}, {128, 379}, {133, 382}, {132,
383}, {129, 378}, {129, 380}, {131, 382}, {130, 381}, {255, 256}, {131, 380}
}>;
(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: (242, 492) (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: (145, 395)
c: (81, 331)
d: (178, 428)
e: (209, 459)
f: (17, 267)
g: (50, 300)
h: (114, 364)
m: (9, 259)
n1: (106, 356)
a1: (170, 420)
b1: (73, 323)
c1: (42, 292)
d1: (234, 484)
e1: (201, 451)
f1: (137, 387)
g1: (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)
h1: (131, 381)
m1: (134, 384)
n2: (249, 499)
a2: (154, 404)
b2: (90, 340)
c2: (218, 468)
d2: (26, 276)
e2: (57, 307)
f2: (185, 435)
g2: (121, 371)
h2: (29, 279)
m2: (157, 407)
n3: (93, 343)
a3: (221, 471)
b3: (190, 440)
c3: (62, 312)
d3: (126, 376)
e3: (10, 260)
f3: (105, 355)
g3: (169, 419)
h3: (74, 324)
m3: (41, 291)
n4: (233, 483)
a4: (202, 452)
b4: (138, 388)
c4: (223, 473)
d4: (95, 345)
e4: (159, 409)
f4: (31, 281)
g4: (192, 442)
h4: (64, 314)
m4: (128, 378)
n5: (28, 278)
a5: (156, 406)
b5: (92, 342)
c5: (220, 470)
d5: (59, 309)
e5: (187, 437)
f5: (123, 373)
g5: (14, 264)
h5: (142, 392)
m5: (109, 359)
n6: (173, 423)
a6: (78, 328)
b6: (206, 456)
c6: (45, 295)
d6: (237, 487)
e6: (8, 258)
f6: (103, 353)
g6: (167, 417)
h6: (39, 289)
m6: (231, 481)
n7: (200, 450)
a7: (72, 322)
b7: (136, 386)
c7: (193, 443)
d7: (65, 315)
e7: (194, 444)
f7: (66, 316)
g7: (227, 477)
h7: (99, 349)
m7: (163, 413)
n8: (35, 285)
a8: (133, 383)
b8: (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)(252, 500)(253, 499)(254, 498)(255, 497)(256, 496)(257,
495)(258, 494)(259, 493)(260, 492)(261, 491)(262, 490)(263, 489)(264, 488)(265,
487)(266, 486)(267, 485)(268, 484)(269, 483)(270, 482)(271, 481)(272, 480)(273,
479)(274, 478)(275, 477)(276, 476)(277, 475)(278, 474)(279, 473)(280, 472)(281,
471)(282, 470)(283, 469)(284, 468)(285, 467)(286, 466)(287, 465)(288, 464)(289,
463)(290, 462)(291, 461)(292, 460)(293, 459)(294, 458)(295, 457)(296, 456)(297,
455)(298, 454)(299, 453)(300, 452)(301, 451)(302, 450)(303, 449)(304, 448)(305,
447)(306, 446)(307, 445)(308, 444)(309, 443)(310, 442)(311, 441)(312, 440)(313,
439)(314, 438)(315, 437)(316, 436)(317, 435)(318, 434)(319, 433)(320, 432)(321,
431)(322, 430)(323, 429)(324, 428)(325, 427)(326, 426)(327, 425)(328, 424)(329,
423)(330, 422)(331, 421)(332, 420)(333, 419)(334, 418)(335, 417)(336, 416)(337,
415)(338, 414)(339, 413)(340, 412)(341, 411)(342, 410)(343, 409)(344, 408)(345,
407)(346, 406)(347, 405)(348, 404)(349, 403)(350, 402)(351, 401)(352, 400)(353,
399)(354, 398)(355, 397)(356, 396)(357, 395)(358, 394)(359, 393)(360, 392)(361,
391)(362, 390)(363, 389)(364, 388)(365, 387)(366, 386)(367, 385)(368, 384)(369,
383)(370, 382)(371, 381)(372, 380)(373, 379)(374, 378)(375, 377)
c8: (3, 253)
d8: (4, 254)
e8: (248, 498)
f8: (151, 401)
g8: (87, 337)
h8: (215, 465)
m8: (23, 273)
n9: (56, 306)
a9: (184, 434)
b9: (120, 370)
c9: (239, 489)
d9: (144, 394)
e9: (80, 330)
f9: (175, 425)
g9: (208, 458)
h9: (16, 266)
m9: (47, 297)
n10: (111, 361)
a10: (27, 277)
b10: (155, 405)
c10: (91, 341)
d10: (219, 469)
e10: (60, 310)
f10: (188, 438)
g10: (129, 379)
h10: (228, 478)
m10: (100, 350)
n11: (164, 414)
a11: (36, 286)
b11: (12, 262)
c11: (107, 357)
d11: (171, 421)
e11: (76, 326)
f11: (43, 293)
g11: (235, 485)
h11: (204, 454)
m11: (140, 390)
n12: (245, 495)
a12: (150, 400)
b12: (86, 336)
c12: (214, 464)
d12: (22, 272)
e12: (53, 303)
f12: (181, 431)
g12: (117, 367)
h12: (243, 493)
m12: (148, 398)
n13: (84, 334)
a13: (179, 429)
b13: (212, 462)
c13: (20, 270)
d13: (51, 301)
e13: (115, 365)
f13: (247, 497)
g13: (152, 402)
h13: (88, 338)
m13: (216, 466)
n14: (24, 274)
a14: (55, 305)
b14: (183, 433)
c14: (119, 369)
d14: (2, 252)
e14: (244, 494)
f14: (147, 397)
g14: (83, 333)
h14: (211, 461)
m14: (19, 269)
n15: (52, 302)
a15: (180, 430)
b15: (116, 366)
c15: (13, 263)
d15: (141, 391)
e15: (110, 360)
f15: (174, 424)
g15: (77, 327)
h15: (205, 455)
m15: (46, 296)
n16: (238, 488)
a16: (224, 474)
b16: (96, 346)
c16: (160, 410)
d16: (32, 282)
e16: (191, 441)
f16: (63, 313)
g16: (127, 377)
h16: (6, 256)
m16: (195, 445)
n17: (67, 317)
a17: (230, 480)
b17: (5, 255)
c17: (102, 352)
d17: (166, 416)
e17: (38, 288)
f17: (132, 382)
g17: (241, 491)
h17: (146, 396)
m17: (82, 332)
n18: (177, 427)
a18: (210, 460)
b18: (18, 268)
c18: (49, 299)
d18: (113, 363)
e18: (226, 476)
f18: (98, 348)
g18: (162, 412)
h18: (34, 284)
m18: (11, 261)
n19: (108, 358)
a19: (172, 422)
b19: (75, 325)
c19: (44, 294)
d19: (236, 486)
e19: (203, 453)
f19: (139, 389)
g19: (25, 275)
h19: (153, 403)
m19: (89, 339)
n20: (217, 467)
a20: (58, 308)
b20: (186, 436)
c20: (122, 372)
d20: (250, 500)
e20: (229, 479)
f20: (101, 351)
g20: (165, 415)
h20: (37, 287)
m20: (222, 472)
n21: (94, 344)
a21: (158, 408)
b21: (30, 280)
c21: (61, 311)
d21: (189, 439)
e21: (125, 375)
f21: (197, 447)
g21: (69, 319)
h21: (246, 496)
m21: (149, 399)
n22: (85, 335)
a22: (213, 463)
b22: (21, 271)
c22: (54, 304)
d22: (182, 432)
e22: (118, 368)
f22: (7, 257)
g22: (104, 354)
h22: (168, 418)
m22: (40, 290)
n23: (232, 482)
a23: (199, 449)
b23: (71, 321)
c23: (135, 385)
d23: (198, 448)
e23: (70, 320)
f23: (196, 446)
g23: (68, 318)
h23: (240, 490)
m23: (143, 393)
n24: (79, 329)
a24: (176, 426)
b24: (207, 457)
c24: (15, 265)
d24: (48, 298)
e24: (112, 362)
f24: (225, 475)
g24: (97, 347)
h24: (161, 411)
m24: (33, 283)
n25: (130, 380)
C4[ 500, 1 ]
500
-1 2 500 250 252
-2 253 1 3 251
-3 254 2 4 252
-4 253 255 3 5
-5 254 256 4 6
-6 255 257 5 7
-7 256 258 6 8
-8 257 259 7 9
-9 258 260 8 10
-10 11 259 261 9
-11 12 260 262 10
-12 11 13 261 263
-13 264 12 14 262
-14 265 13 15 263
-15 264 266 14 16
-16 265 267 15 17
-17 266 268 16 18
-18 267 269 17 19
-19 268 270 18 20
-20 269 271 19 21
-21 22 270 272 20
-22 23 271 273 21
-23 22 24 272 274
-24 275 23 25 273
-25 276 24 26 274
-26 275 277 25 27
-27 276 278 26 28
-28 277 279 27 29
-29 278 280 28 30
-30 279 281 29 31
-31 280 282 30 32
-32 33 281 283 31
-33 34 282 284 32
-34 33 35 283 285
-35 286 34 36 284
-36 287 35 37 285
-37 286 288 36 38
-38 287 289 37 39
-39 288 290 38 40
-40 289 291 39 41
-41 290 292 40 42
-42 291 293 41 43
-43 44 292 294 42
-44 45 293 295 43
-45 44 46 294 296
-46 297 45 47 295
-47 298 46 48 296
-48 297 299 47 49
-49 298 300 48 50
-50 299 301 49 51
-51 300 302 50 52
-52 301 303 51 53
-53 302 304 52 54
-54 55 303 305 53
-55 56 304 306 54
-56 55 57 305 307
-57 308 56 58 306
-58 309 57 59 307
-59 308 310 58 60
-60 309 311 59 61
-61 310 312 60 62
-62 311 313 61 63
-63 312 314 62 64
-64 313 315 63 65
-65 66 314 316 64
-66 67 315 317 65
-67 66 68 316 318
-68 319 67 69 317
-69 320 68 70 318
-70 319 321 69 71
-71 320 322 70 72
-72 321 323 71 73
-73 322 324 72 74
-74 323 325 73 75
-75 324 326 74 76
-76 77 325 327 75
-77 78 326 328 76
-78 77 79 327 329
-79 330 78 80 328
-80 331 79 81 329
-81 330 332 80 82
-82 331 333 81 83
-83 332 334 82 84
-84 333 335 83 85
-85 334 336 84 86
-86 335 337 85 87
-87 88 336 338 86
-88 89 337 339 87
-89 88 90 338 340
-90 341 89 91 339
-91 342 90 92 340
-92 341 343 91 93
-93 342 344 92 94
-94 343 345 93 95
-95 344 346 94 96
-96 345 347 95 97
-97 346 348 96 98
-98 99 347 349 97
-99 100 348 350 98
-100 99 101 349 351
-101 352 100 102 350
-102 353 101 103 351
-103 352 354 102 104
-104 353 355 103 105
-105 354 356 104 106
-106 355 357 105 107
-107 356 358 106 108
-108 357 359 107 109
-109 110 358 360 108
-110 111 359 361 109
-111 110 112 360 362
-112 363 111 113 361
-113 364 112 114 362
-114 363 365 113 115
-115 364 366 114 116
-116 365 367 115 117
-117 366 368 116 118
-118 367 369 117 119
-119 368 370 118 120
-120 121 369 371 119
-121 122 370 372 120
-122 121 123 371 373
-123 374 122 124 372
-124 375 123 125 373
-125 374 376 124 126
-126 375 377 125 127
-127 376 378 126 128
-128 377 379 127 129
-129 378 380 128 130
-130 379 381 129 131
-131 132 380 382 130
-132 133 381 383 131
-133 132 134 382 384
-134 385 133 135 383
-135 386 134 136 384
-136 385 387 135 137
-137 386 388 136 138
-138 387 389 137 139
-139 388 390 138 140
-140 389 391 139 141
-141 390 392 140 142
-142 143 391 393 141
-143 144 392 394 142
-144 143 145 393 395
-145 396 144 146 394
-146 397 145 147 395
-147 396 398 146 148
-148 397 399 147 149
-149 398 400 148 150
-150 399 401 149 151
-151 400 402 150 152
-152 401 403 151 153
-153 154 402 404 152
-154 155 403 405 153
-155 154 156 404 406
-156 407 155 157 405
-157 408 156 158 406
-158 407 409 157 159
-159 408 410 158 160
-160 409 411 159 161
-161 410 412 160 162
-162 411 413 161 163
-163 412 414 162 164
-164 165 413 415 163
-165 166 414 416 164
-166 165 167 415 417
-167 418 166 168 416
-168 419 167 169 417
-169 418 420 168 170
-170 419 421 169 171
-171 420 422 170 172
-172 421 423 171 173
-173 422 424 172 174
-174 423 425 173 175
-175 176 424 426 174
-176 177 425 427 175
-177 176 178 426 428
-178 429 177 179 427
-179 430 178 180 428
-180 429 431 179 181
-181 430 432 180 182
-182 431 433 181 183
-183 432 434 182 184
-184 433 435 183 185
-185 434 436 184 186
-186 187 435 437 185
-187 188 436 438 186
-188 187 189 437 439
-189 440 188 190 438
-190 441 189 191 439
-191 440 442 190 192
-192 441 443 191 193
-193 442 444 192 194
-194 443 445 193 195
-195 444 446 194 196
-196 445 447 195 197
-197 198 446 448 196
-198 199 447 449 197
-199 198 200 448 450
-200 451 199 201 449
-201 452 200 202 450
-202 451 453 201 203
-203 452 454 202 204
-204 453 455 203 205
-205 454 456 204 206
-206 455 457 205 207
-207 456 458 206 208
-208 209 457 459 207
-209 210 458 460 208
-210 209 211 459 461
-211 462 210 212 460
-212 463 211 213 461
-213 462 464 212 214
-214 463 465 213 215
-215 464 466 214 216
-216 465 467 215 217
-217 466 468 216 218
-218 467 469 217 219
-219 220 468 470 218
-220 221 469 471 219
-221 220 222 470 472
-222 473 221 223 471
-223 474 222 224 472
-224 473 475 223 225
-225 474 476 224 226
-226 475 477 225 227
-227 476 478 226 228
-228 477 479 227 229
-229 478 480 228 230
-230 231 479 481 229
-231 232 480 482 230
-232 231 233 481 483
-233 484 232 234 482
-234 485 233 235 483
-235 484 486 234 236
-236 485 487 235 237
-237 486 488 236 238
-238 487 489 237 239
-239 488 490 238 240
-240 489 491 239 241
-241 242 490 492 240
-242 243 491 493 241
-243 242 244 492 494
-244 495 243 245 493
-245 496 244 246 494
-246 495 497 245 247
-247 496 498 246 248
-248 497 499 247 249
-249 498 500 248 250
-250 1 499 249 251
-251 2 500 250 252
-252 253 1 3 251
-253 254 2 4 252
-254 253 255 3 5
-255 254 256 4 6
-256 255 257 5 7
-257 256 258 6 8
-258 257 259 7 9
-259 258 260 8 10
-260 11 259 261 9
-261 12 260 262 10
-262 11 13 261 263
-263 264 12 14 262
-264 265 13 15 263
-265 264 266 14 16
-266 265 267 15 17
-267 266 268 16 18
-268 267 269 17 19
-269 268 270 18 20
-270 269 271 19 21
-271 22 270 272 20
-272 23 271 273 21
-273 22 24 272 274
-274 275 23 25 273
-275 276 24 26 274
-276 275 277 25 27
-277 276 278 26 28
-278 277 279 27 29
-279 278 280 28 30
-280 279 281 29 31
-281 280 282 30 32
-282 33 281 283 31
-283 34 282 284 32
-284 33 35 283 285
-285 286 34 36 284
-286 287 35 37 285
-287 286 288 36 38
-288 287 289 37 39
-289 288 290 38 40
-290 289 291 39 41
-291 290 292 40 42
-292 291 293 41 43
-293 44 292 294 42
-294 45 293 295 43
-295 44 46 294 296
-296 297 45 47 295
-297 298 46 48 296
-298 297 299 47 49
-299 298 300 48 50
-300 299 301 49 51
-301 300 302 50 52
-302 301 303 51 53
-303 302 304 52 54
-304 55 303 305 53
-305 56 304 306 54
-306 55 57 305 307
-307 308 56 58 306
-308 309 57 59 307
-309 308 310 58 60
-310 309 311 59 61
-311 310 312 60 62
-312 311 313 61 63
-313 312 314 62 64
-314 313 315 63 65
-315 66 314 316 64
-316 67 315 317 65
-317 66 68 316 318
-318 319 67 69 317
-319 320 68 70 318
-320 319 321 69 71
-321 320 322 70 72
-322 321 323 71 73
-323 322 324 72 74
-324 323 325 73 75
-325 324 326 74 76
-326 77 325 327 75
-327 78 326 328 76
-328 77 79 327 329
-329 330 78 80 328
-330 331 79 81 329
-331 330 332 80 82
-332 331 333 81 83
-333 332 334 82 84
-334 333 335 83 85
-335 334 336 84 86
-336 335 337 85 87
-337 88 336 338 86
-338 89 337 339 87
-339 88 90 338 340
-340 341 89 91 339
-341 342 90 92 340
-342 341 343 91 93
-343 342 344 92 94
-344 343 345 93 95
-345 344 346 94 96
-346 345 347 95 97
-347 346 348 96 98
-348 99 347 349 97
-349 100 348 350 98
-350 99 101 349 351
-351 352 100 102 350
-352 353 101 103 351
-353 352 354 102 104
-354 353 355 103 105
-355 354 356 104 106
-356 355 357 105 107
-357 356 358 106 108
-358 357 359 107 109
-359 110 358 360 108
-360 111 359 361 109
-361 110 112 360 362
-362 363 111 113 361
-363 364 112 114 362
-364 363 365 113 115
-365 364 366 114 116
-366 365 367 115 117
-367 366 368 116 118
-368 367 369 117 119
-369 368 370 118 120
-370 121 369 371 119
-371 122 370 372 120
-372 121 123 371 373
-373 374 122 124 372
-374 375 123 125 373
-375 374 376 124 126
-376 375 377 125 127
-377 376 378 126 128
-378 377 379 127 129
-379 378 380 128 130
-380 379 381 129 131
-381 132 380 382 130
-382 133 381 383 131
-383 132 134 382 384
-384 385 133 135 383
-385 386 134 136 384
-386 385 387 135 137
-387 386 388 136 138
-388 387 389 137 139
-389 388 390 138 140
-390 389 391 139 141
-391 390 392 140 142
-392 143 391 393 141
-393 144 392 394 142
-394 143 145 393 395
-395 396 144 146 394
-396 397 145 147 395
-397 396 398 146 148
-398 397 399 147 149
-399 398 400 148 150
-400 399 401 149 151
-401 400 402 150 152
-402 401 403 151 153
-403 154 402 404 152
-404 155 403 405 153
-405 154 156 404 406
-406 407 155 157 405
-407 408 156 158 406
-408 407 409 157 159
-409 408 410 158 160
-410 409 411 159 161
-411 410 412 160 162
-412 411 413 161 163
-413 412 414 162 164
-414 165 413 415 163
-415 166 414 416 164
-416 165 167 415 417
-417 418 166 168 416
-418 419 167 169 417
-419 418 420 168 170
-420 419 421 169 171
-421 420 422 170 172
-422 421 423 171 173
-423 422 424 172 174
-424 423 425 173 175
-425 176 424 426 174
-426 177 425 427 175
-427 176 178 426 428
-428 429 177 179 427
-429 430 178 180 428
-430 429 431 179 181
-431 430 432 180 182
-432 431 433 181 183
-433 432 434 182 184
-434 433 435 183 185
-435 434 436 184 186
-436 187 435 437 185
-437 188 436 438 186
-438 187 189 437 439
-439 440 188 190 438
-440 441 189 191 439
-441 440 442 190 192
-442 441 443 191 193
-443 442 444 192 194
-444 443 445 193 195
-445 444 446 194 196
-446 445 447 195 197
-447 198 446 448 196
-448 199 447 449 197
-449 198 200 448 450
-450 451 199 201 449
-451 452 200 202 450
-452 451 453 201 203
-453 452 454 202 204
-454 453 455 203 205
-455 454 456 204 206
-456 455 457 205 207
-457 456 458 206 208
-458 209 457 459 207
-459 210 458 460 208
-460 209 211 459 461
-461 462 210 212 460
-462 463 211 213 461
-463 462 464 212 214
-464 463 465 213 215
-465 464 466 214 216
-466 465 467 215 217
-467 466 468 216 218
-468 467 469 217 219
-469 220 468 470 218
-470 221 469 471 219
-471 220 222 470 472
-472 473 221 223 471
-473 474 222 224 472
-474 473 475 223 225
-475 474 476 224 226
-476 475 477 225 227
-477 476 478 226 228
-478 477 479 227 229
-479 478 480 228 230
-480 231 479 481 229
-481 232 480 482 230
-482 231 233 481 483
-483 484 232 234 482
-484 485 233 235 483
-485 484 486 234 236
-486 485 487 235 237
-487 486 488 236 238
-488 487 489 237 239
-489 488 490 238 240
-490 489 491 239 241
-491 242 490 492 240
-492 243 491 493 241
-493 242 244 492 494
-494 495 243 245 493
-495 496 244 246 494
-496 495 497 245 247
-497 496 498 246 248
-498 497 499 247 249
-499 498 500 248 250
-500 1 499 249 251
0