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