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