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