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