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