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