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