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