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