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