Graph forms
for C4 [ 416, 21 ] = MPS(4,208;51)
[Home] [Table] [Glossary]
[Families]
On this page are computer-accessible forms for the graph C4[ 416, 21 ] =
MPS(4,208;51).
(I) Following is a form readable by MAGMA:
g:=Graph<416|{ {192, 218}, {193, 219}, {196, 222}, {197, 223}, {194, 220}, {195,
221}, {198, 224}, {199, 225}, {206, 232}, {207, 233}, {200, 226}, {201, 227},
{204, 230}, {205, 231}, {202, 228}, {203, 229}, {264, 315}, {268, 319}, {264,
316}, {267, 319}, {266, 318}, {265, 317}, {265, 316}, {267, 318}, {266, 317},
{208, 234}, {261, 313}, {263, 315}, {262, 314}, {263, 314}, {262, 313}, {268,
320}, {303, 355}, {302, 354}, {301, 353}, {300, 352}, {287, 339}, {286, 338},
{285, 337}, {284, 336}, {271, 323}, {270, 322}, {269, 321}, {269, 320}, {303,
354}, {301, 352}, {287, 338}, {285, 336}, {271, 322}, {144, 223}, {302, 353},
{286, 337}, {270, 321}, {160, 239}, {176, 255}, {131, 210}, {133, 212}, {135,
214}, {137, 216}, {139, 218}, {141, 220}, {143, 222}, {161, 240}, {163, 242},
{165, 244}, {167, 246}, {169, 248}, {171, 250}, {173, 252}, {175, 254}, {130,
209}, {312, 363}, {308, 359}, {304, 355}, {284, 335}, {280, 331}, {276, 327},
{272, 323}, {134, 213}, {138, 217}, {142, 221}, {162, 241}, {166, 245}, {170,
249}, {174, 253}, {272, 324}, {312, 364}, {307, 359}, {306, 358}, {305, 357},
{304, 356}, {283, 335}, {282, 334}, {281, 333}, {280, 332}, {275, 327}, {274,
326}, {273, 325}, {273, 324}, {307, 358}, {305, 356}, {283, 334}, {281, 332},
{275, 326}, {132, 211}, {306, 357}, {282, 333}, {274, 325}, {140, 219}, {164,
243}, {172, 251}, {276, 328}, {311, 363}, {310, 362}, {309, 361}, {308, 360},
{279, 331}, {278, 330}, {277, 329}, {277, 328}, {311, 362}, {309, 360}, {279,
330}, {136, 215}, {310, 361}, {278, 329}, {168, 247}, {183, 209}, {190, 216},
{191, 217}, {8, 111}, {16, 119}, {24, 127}, {1, 105}, {2, 106}, {3, 107}, {4,
108}, {5, 109}, {6, 110}, {7, 111}, {16, 120}, {17, 121}, {18, 122}, {19, 123},
{20, 124}, {21, 125}, {22, 126}, {23, 127}, {3, 106}, {5, 108}, {7, 110}, {17,
120}, {19, 122}, {21, 124}, {23, 126}, {184, 210}, {185, 211}, {188, 214}, {189,
215}, {2, 105}, {6, 109}, {18, 121}, {22, 125}, {186, 212}, {187, 213}, {4,
107}, {20, 123}, {145, 224}, {147, 226}, {149, 228}, {151, 230}, {153, 232},
{155, 234}, {157, 236}, {159, 238}, {146, 225}, {300, 351}, {296, 347}, {292,
343}, {288, 339}, {150, 229}, {154, 233}, {158, 237}, {288, 340}, {299, 351},
{298, 350}, {297, 349}, {296, 348}, {291, 343}, {290, 342}, {289, 341}, {289,
340}, {299, 350}, {297, 348}, {291, 342}, {148, 227}, {298, 349}, {290, 341},
{156, 235}, {8, 112}, {9, 113}, {10, 114}, {11, 115}, {12, 116}, {13, 117}, {14,
118}, {15, 119}, {9, 112}, {11, 114}, {13, 116}, {15, 118}, {10, 113}, {14,
117}, {292, 344}, {295, 347}, {294, 346}, {293, 345}, {293, 344}, {295, 346},
{12, 115}, {294, 345}, {152, 231}, {105, 235}, {108, 238}, {109, 239}, {112,
242}, {113, 243}, {116, 246}, {117, 247}, {120, 250}, {121, 251}, {124, 254},
{125, 255}, {106, 236}, {107, 237}, {114, 244}, {115, 245}, {122, 252}, {123,
253}, {118, 248}, {119, 249}, {24, 128}, {95, 199}, {94, 198}, {93, 197}, {92,
196}, {91, 195}, {90, 194}, {89, 193}, {88, 192}, {63, 167}, {62, 166}, {61,
165}, {60, 164}, {59, 163}, {58, 162}, {57, 161}, {25, 129}, {26, 130}, {27,
131}, {28, 132}, {29, 133}, {30, 134}, {31, 135}, {56, 160}, {25, 128}, {95,
198}, {93, 196}, {91, 194}, {89, 192}, {63, 166}, {61, 164}, {59, 162}, {27,
130}, {29, 132}, {31, 134}, {57, 160}, {26, 129}, {260, 415}, {256, 411}, {94,
197}, {90, 193}, {62, 165}, {58, 161}, {30, 133}, {256, 412}, {259, 415}, {258,
414}, {257, 413}, {257, 412}, {259, 414}, {110, 240}, {111, 241}, {28, 131},
{258, 413}, {92, 195}, {60, 163}, {260, 416}, {261, 416}, {32, 135}, {40, 143},
{48, 151}, {56, 159}, {96, 199}, {104, 207}, {32, 136}, {33, 137}, {34, 138},
{35, 139}, {36, 140}, {37, 141}, {38, 142}, {39, 143}, {48, 152}, {49, 153},
{50, 154}, {51, 155}, {52, 156}, {53, 157}, {54, 158}, {55, 159}, {96, 200},
{97, 201}, {98, 202}, {99, 203}, {100, 204}, {101, 205}, {102, 206}, {103, 207},
{33, 136}, {35, 138}, {37, 140}, {39, 142}, {49, 152}, {51, 154}, {53, 156},
{55, 158}, {97, 200}, {99, 202}, {101, 204}, {103, 206}, {34, 137}, {38, 141},
{50, 153}, {54, 157}, {98, 201}, {102, 205}, {36, 139}, {52, 155}, {100, 203},
{40, 144}, {41, 145}, {42, 146}, {43, 147}, {44, 148}, {45, 149}, {46, 150},
{47, 151}, {104, 208}, {41, 144}, {43, 146}, {45, 148}, {47, 150}, {42, 145},
{46, 149}, {44, 147}, {1, 208}, {64, 167}, {88, 191}, {80, 183}, {72, 175}, {64,
168}, {87, 191}, {86, 190}, {85, 189}, {84, 188}, {83, 187}, {82, 186}, {81,
185}, {80, 184}, {71, 175}, {70, 174}, {69, 173}, {68, 172}, {67, 171}, {66,
170}, {65, 169}, {65, 168}, {87, 190}, {85, 188}, {83, 186}, {81, 184}, {71,
174}, {69, 172}, {67, 170}, {66, 169}, {86, 189}, {82, 185}, {70, 173}, {68,
171}, {84, 187}, {72, 176}, {79, 183}, {78, 182}, {77, 181}, {76, 180}, {75,
179}, {74, 178}, {73, 177}, {73, 176}, {79, 182}, {77, 180}, {75, 178}, {74,
177}, {78, 181}, {76, 179}, {87, 320}, {95, 328}, {88, 321}, {94, 327}, {92,
325}, {90, 323}, {89, 322}, {93, 326}, {32, 318}, {65, 351}, {64, 350}, {33,
319}, {96, 382}, {97, 383}, {91, 324}, {27, 313}, {95, 381}, {94, 380}, {91,
377}, {90, 376}, {87, 373}, {86, 372}, {83, 369}, {82, 368}, {79, 365}, {78,
364}, {75, 361}, {74, 360}, {71, 357}, {70, 356}, {67, 353}, {66, 352}, {30,
316}, {31, 317}, {28, 314}, {93, 379}, {92, 378}, {85, 371}, {84, 370}, {77,
363}, {76, 362}, {69, 355}, {68, 354}, {29, 315}, {96, 329}, {98, 331}, {100,
333}, {102, 335}, {97, 330}, {101, 334}, {72, 358}, {89, 375}, {88, 374}, {73,
359}, {99, 332}, {103, 336}, {104, 337}, {80, 366}, {81, 367}, {105, 288}, {107,
290}, {109, 292}, {111, 294}, {121, 304}, {123, 306}, {125, 308}, {127, 310},
{106, 289}, {110, 293}, {122, 305}, {126, 309}, {108, 291}, {124, 307}, {2,
339}, {4, 341}, {6, 343}, {8, 345}, {10, 347}, {12, 349}, {14, 351}, {32, 369},
{34, 371}, {36, 373}, {38, 375}, {40, 377}, {42, 379}, {44, 381}, {46, 383}, {1,
338}, {5, 342}, {9, 346}, {13, 350}, {33, 370}, {37, 374}, {41, 378}, {45, 382},
{3, 340}, {11, 348}, {35, 372}, {43, 380}, {112, 295}, {120, 303}, {113, 296},
{115, 298}, {117, 300}, {119, 302}, {114, 297}, {118, 301}, {7, 344}, {39, 376},
{116, 299}, {34, 320}, {63, 349}, {62, 348}, {59, 345}, {58, 344}, {35, 321},
{38, 324}, {39, 325}, {42, 328}, {43, 329}, {46, 332}, {47, 333}, {50, 336},
{51, 337}, {54, 340}, {55, 341}, {228, 384}, {255, 411}, {254, 410}, {253, 409},
{252, 408}, {247, 403}, {246, 402}, {245, 401}, {244, 400}, {239, 395}, {238,
394}, {237, 393}, {236, 392}, {231, 387}, {229, 385}, {230, 386}, {229, 384},
{255, 410}, {253, 408}, {247, 402}, {245, 400}, {239, 394}, {237, 392}, {231,
386}, {36, 322}, {61, 347}, {60, 346}, {37, 323}, {44, 330}, {45, 331}, {52,
338}, {53, 339}, {230, 385}, {254, 409}, {246, 401}, {238, 393}, {80, 313}, {86,
319}, {84, 317}, {82, 315}, {81, 314}, {252, 407}, {248, 403}, {236, 391}, {232,
387}, {85, 318}, {232, 388}, {251, 407}, {250, 406}, {249, 405}, {248, 404},
{235, 391}, {234, 390}, {233, 389}, {233, 388}, {251, 406}, {249, 404}, {235,
390}, {40, 326}, {57, 343}, {41, 327}, {56, 342}, {15, 352}, {250, 405}, {234,
389}, {83, 316}, {31, 368}, {16, 353}, {18, 355}, {20, 357}, {22, 359}, {24,
361}, {26, 363}, {28, 365}, {30, 367}, {17, 354}, {21, 358}, {25, 362}, {29,
366}, {19, 356}, {27, 364}, {240, 395}, {244, 399}, {240, 396}, {243, 399},
{242, 398}, {241, 397}, {241, 396}, {243, 398}, {48, 334}, {49, 335}, {126,
256}, {127, 257}, {23, 360}, {242, 397}, {128, 258}, {129, 259}, {132, 262},
{133, 263}, {136, 266}, {137, 267}, {140, 270}, {141, 271}, {144, 274}, {145,
275}, {148, 278}, {149, 279}, {152, 282}, {153, 283}, {156, 286}, {157, 287},
{160, 290}, {161, 291}, {164, 294}, {165, 295}, {168, 298}, {169, 299}, {172,
302}, {173, 303}, {176, 306}, {177, 307}, {180, 310}, {181, 311}, {1, 391}, {8,
398}, {9, 399}, {16, 406}, {17, 407}, {24, 414}, {25, 415}, {130, 260}, {131,
261}, {138, 268}, {139, 269}, {146, 276}, {147, 277}, {154, 284}, {155, 285},
{162, 292}, {163, 293}, {170, 300}, {171, 301}, {178, 308}, {179, 309}, {2,
392}, {3, 393}, {6, 396}, {7, 397}, {18, 408}, {19, 409}, {22, 412}, {23, 413},
{4, 394}, {5, 395}, {20, 410}, {21, 411}, {134, 264}, {135, 265}, {150, 280},
{151, 281}, {166, 296}, {167, 297}, {182, 312}, {10, 400}, {11, 401}, {14, 404},
{15, 405}, {224, 379}, {228, 383}, {224, 380}, {225, 381}, {226, 382}, {227,
383}, {225, 380}, {227, 382}, {12, 402}, {13, 403}, {142, 272}, {143, 273},
{174, 304}, {175, 305}, {226, 381}, {212, 368}, {213, 369}, {214, 370}, {215,
371}, {220, 376}, {221, 377}, {222, 378}, {223, 379}, {213, 368}, {215, 370},
{221, 376}, {223, 378}, {214, 369}, {222, 377}, {216, 371}, {220, 375}, {216,
372}, {217, 373}, {218, 374}, {219, 375}, {217, 372}, {219, 374}, {47, 384},
{63, 400}, {218, 373}, {48, 385}, {62, 399}, {60, 397}, {58, 395}, {50, 387},
{52, 389}, {54, 391}, {56, 393}, {177, 256}, {179, 258}, {181, 260}, {183, 262},
{185, 264}, {187, 266}, {189, 268}, {191, 270}, {49, 386}, {61, 398}, {57, 394},
{53, 390}, {178, 257}, {182, 261}, {186, 265}, {190, 269}, {51, 388}, {59, 396},
{128, 311}, {180, 259}, {188, 267}, {129, 312}, {26, 416}, {212, 367}, {209,
365}, {210, 366}, {211, 367}, {209, 364}, {211, 366}, {158, 288}, {159, 289},
{55, 392}, {184, 263}, {210, 365}, {192, 271}, {208, 287}, {64, 401}, {78, 415},
{76, 413}, {74, 411}, {72, 409}, {70, 407}, {68, 405}, {66, 403}, {193, 272},
{195, 274}, {197, 276}, {199, 278}, {201, 280}, {203, 282}, {205, 284}, {207,
286}, {65, 402}, {77, 414}, {73, 410}, {69, 406}, {194, 273}, {198, 277}, {202,
281}, {206, 285}, {67, 404}, {75, 412}, {196, 275}, {204, 283}, {71, 408}, {200,
279}, {98, 384}, {99, 385}, {102, 388}, {103, 389}, {100, 386}, {101, 387},
{104, 390}, {79, 416} }>;
(II) A more general form is to represent the graph as the orbit of {192, 218}
under the group generated by the following permutations:
a: (31, 83)(134, 316)(135, 369)(186, 368)(187, 317)(213, 265) (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: (6, 58)(109, 395)(110, 344)(161, 343)(162, 396)(240, 292)
c: (8, 242)(60, 294)(111, 397)(163, 345)
d: (46, 228)(98, 280)(150, 384)(202, 332)
e: (22, 256)(74, 308)(125, 411)(177, 359)
f: (10, 244)(62, 296)(113, 399)(165, 347)
g: (33, 85)(136, 318)(137, 371)(188, 370)(189, 319)(215, 267)
h: (34, 86)(137, 319)(138, 372)(189, 371)(190, 320)(216, 268)
m: (30, 82)(133, 315)(134, 368)(185, 367)(186, 316)(212, 264)
n1: (22, 74)(125, 411)(126, 360)(177, 359)(178, 412)(256, 308)
a1: (14, 66)(117, 403)(118, 352)(169, 351)(170, 404)(248, 300)
b1: (23, 75)(126, 412)(127, 361)(178, 360)(179, 413)(257, 309)
c1: (36, 218)(88, 270)(140, 374)(192, 322)
d1: (12, 64)(115, 401)(116, 350)(167, 349)(168, 402)(246, 298)
e1: (28, 80)(131, 313)(132, 366)(183, 365)(184, 314)(210, 262)
f1: (7, 241)(59, 293)(110, 396)(162, 344)
g1: (5, 239)(57, 291)(108, 394)(160, 342)
h1: (9, 61)(112, 398)(113, 347)(164, 346)(165, 399)(243, 295)
m1: (7, 59)(110, 396)(111, 345)(162, 344)(163, 397)(241, 293)
n2: (26, 260)(78, 312)(129, 415)(181, 363)
a2: (48, 230)(100, 282)(152, 386)(204, 334)
b2: (44, 226)(96, 278)(148, 382)(200, 330)
c2: (38, 220)(90, 272)(142, 376)(194, 324)
d2: (43, 225)(95, 277)(147, 381)(199, 329)
e2: (27, 209)(79, 261)(131, 365)(183, 313)
f2: (16, 250)(68, 302)(119, 405)(171, 353)
g2: (39, 221)(91, 273)(143, 377)(195, 325)
h2: (33, 215)(85, 267)(137, 371)(189, 319)
m2: (40, 92)(143, 325)(144, 378)(195, 377)(196, 326)(222, 274)
n3: (6, 240)(58, 292)(109, 395)(161, 343)
a3: (49, 101)(152, 334)(153, 387)(204, 386)(205, 335)(231, 283)
b3: (25, 77)(128, 414)(129, 363)(180, 362)(181, 415)(259, 311)
c3: (4, 56)(107, 393)(108, 342)(159, 341)(160, 394)(238, 290)
d3: (48, 100)(151, 333)(152, 386)(203, 385)(204, 334)(230, 282)
e3: (27, 79)(130, 416)(131, 365)(182, 364)(183, 313)(209, 261)
f3: (45, 97)(148, 330)(149, 383)(200, 382)(201, 331)(227, 279)
g3: (25, 259)(77, 311)(128, 414)(180, 362)
h3: (10, 62)(113, 399)(114, 348)(165, 347)(166, 400)(244, 296)
m3: (32, 214)(84, 266)(136, 370)(188, 318)
n4: (35, 87)(138, 320)(139, 373)(190, 372)(191, 321)(217, 269)
a4: (3, 55)(106, 392)(107, 341)(158, 340)(159, 393)(237, 289)
b4: (1, 105, 2, 106, 3, 107, 4, 108, 5, 109, 6, 110, 7, 111, 8, 112, 9, 113, 10,
114, 11, 115, 12, 116, 13, 117, 14, 118, 15, 119, 16, 120, 17, 121, 18, 122, 19,
123, 20, 124, 21, 125, 22, 126, 23, 127, 24, 128, 25, 129, 26, 130, 27, 131, 28,
132, 29, 133, 30, 134, 31, 135, 32, 136, 33, 137, 34, 138, 35, 139, 36, 140, 37,
141, 38, 142, 39, 143, 40, 144, 41, 145, 42, 146, 43, 147, 44, 148, 45, 149, 46,
150, 47, 151, 48, 152, 49, 153, 50, 154, 51, 155, 52, 156, 53, 157, 54, 158, 55,
159, 56, 160, 57, 161, 58, 162, 59, 163, 60, 164, 61, 165, 62, 166, 63, 167, 64,
168, 65, 169, 66, 170, 67, 171, 68, 172, 69, 173, 70, 174, 71, 175, 72, 176, 73,
177, 74, 178, 75, 179, 76, 180, 77, 181, 78, 182, 79, 183, 80, 184, 81, 185, 82,
186, 83, 187, 84, 188, 85, 189, 86, 190, 87, 191, 88, 192, 89, 193, 90, 194, 91,
195, 92, 196, 93, 197, 94, 198, 95, 199, 96, 200, 97, 201, 98, 202, 99, 203,
100, 204, 101, 205, 102, 206, 103, 207, 104, 208)(209, 313, 210, 314, 211, 315,
212, 316, 213, 317, 214, 318, 215, 319, 216, 320, 217, 321, 218, 322, 219, 323,
220, 324, 221, 325, 222, 326, 223, 327, 224, 328, 225, 329, 226, 330, 227, 331,
228, 332, 229, 333, 230, 334, 231, 335, 232, 336, 233, 337, 234, 338, 235, 339,
236, 340, 237, 341, 238, 342, 239, 343, 240, 344, 241, 345, 242, 346, 243, 347,
244, 348, 245, 349, 246, 350, 247, 351, 248, 352, 249, 353, 250, 354, 251, 355,
252, 356, 253, 357, 254, 358, 255, 359, 256, 360, 257, 361, 258, 362, 259, 363,
260, 364, 261, 365, 262, 366, 263, 367, 264, 368, 265, 369, 266, 370, 267, 371,
268, 372, 269, 373, 270, 374, 271, 375, 272, 376, 273, 377, 274, 378, 275, 379,
276, 380, 277, 381, 278, 382, 279, 383, 280, 384, 281, 385, 282, 386, 283, 387,
284, 388, 285, 389, 286, 390, 287, 391, 288, 392, 289, 393, 290, 394, 291, 395,
292, 396, 293, 397, 294, 398, 295, 399, 296, 400, 297, 401, 298, 402, 299, 403,
300, 404, 301, 405, 302, 406, 303, 407, 304, 408, 305, 409, 306, 410, 307, 411,
308, 412, 309, 413, 310, 414, 311, 415, 312, 416)
c4: (4, 238)(56, 290)(107, 393)(159, 341)
d4: (1, 2)(3, 52)(4, 51)(5, 50)(6, 49)(7, 48)(8, 47)(9, 46)(10, 45)(11, 44)(12,
43)(13, 42)(14, 41)(15, 40)(16, 39)(17, 38)(18, 37)(19, 36)(20, 35)(21, 34)(22,
33)(23, 32)(24, 31)(25, 30)(26, 29)(27, 28)(53, 54)(55, 104)(56, 103)(57,
102)(58, 101)(59, 100)(60, 99)(61, 98)(62, 97)(63, 96)(64, 95)(65, 94)(66,
93)(67, 92)(68, 91)(69, 90)(70, 89)(71, 88)(72, 87)(73, 86)(74, 85)(75, 84)(76,
83)(77, 82)(78, 81)(79, 80)(106, 338)(107, 155)(108, 154)(109, 153)(110,
152)(111, 151)(112, 150)(113, 149)(114, 148)(115, 147)(116, 146)(117, 145)(118,
144)(119, 143)(120, 142)(121, 141)(122, 140)(123, 139)(124, 138)(125, 137)(126,
136)(127, 135)(128, 134)(129, 133)(130, 132)(156, 340)(158, 390)(159, 207)(160,
206)(161, 205)(162, 204)(163, 203)(164, 202)(165, 201)(166, 200)(167, 199)(168,
198)(169, 197)(170, 196)(171, 195)(172, 194)(173, 193)(174, 192)(175, 191)(176,
190)(177, 189)(178, 188)(179, 187)(180, 186)(181, 185)(182, 184)(208, 392)(209,
262)(210, 261)(211, 260)(212, 259)(213, 258)(214, 257)(215, 256)(216, 255)(217,
254)(218, 253)(219, 252)(220, 251)(221, 250)(222, 249)(223, 248)(224, 247)(225,
246)(226, 245)(227, 244)(228, 243)(229, 242)(230, 241)(231, 240)(232, 239)(233,
238)(234, 237)(235, 288)(236, 287)(263, 312)(264, 311)(265, 310)(266, 309)(267,
308)(268, 307)(269, 306)(270, 305)(271, 304)(272, 303)(273, 302)(274, 301)(275,
300)(276, 299)(277, 298)(278, 297)(279, 296)(280, 295)(281, 294)(282, 293)(283,
292)(284, 291)(285, 290)(286, 289)(313, 365)(314, 364)(315, 363)(316, 362)(317,
361)(318, 360)(319, 359)(320, 358)(321, 357)(322, 356)(323, 355)(324, 354)(325,
353)(326, 352)(327, 351)(328, 350)(329, 349)(330, 348)(331, 347)(332, 346)(333,
345)(334, 344)(335, 343)(336, 342)(337, 341)(339, 391)(366, 416)(367, 415)(368,
414)(369, 413)(370, 412)(371, 411)(372, 410)(373, 409)(374, 408)(375, 407)(376,
406)(377, 405)(378, 404)(379, 403)(380, 402)(381, 401)(382, 400)(383, 399)(384,
398)(385, 397)(386, 396)(387, 395)(388, 394)(389, 393)
e4: (46, 98)(149, 331)(150, 384)(201, 383)(202, 332)(228, 280)
f4: (37, 89)(140, 322)(141, 375)(192, 374)(193, 323)(219, 271)
g4: (32, 84)(135, 317)(136, 370)(187, 369)(188, 318)(214, 266)
h4: (18, 252)(70, 304)(121, 407)(173, 355)
m4: (28, 210)(80, 262)(132, 366)(184, 314)
n5: (17, 251)(69, 303)(120, 406)(172, 354)
a5: (40, 222)(92, 274)(144, 378)(196, 326)
b5: (8, 60)(111, 397)(112, 346)(163, 345)(164, 398)(242, 294)
c5: (34, 216)(86, 268)(138, 372)(190, 320)
d5: (41, 223)(93, 275)(145, 379)(197, 327)
e5: (20, 254)(72, 306)(123, 409)(175, 357)
f5: (24, 258)(76, 310)(127, 413)(179, 361)
g5: (51, 233)(103, 285)(155, 389)(207, 337)
h5: (19, 253)(71, 305)(122, 408)(174, 356)
m5: (13, 65)(116, 402)(117, 351)(168, 350)(169, 403)(247, 299)
n6: (49, 231)(101, 283)(153, 387)(205, 335)
a6: (11, 245)(63, 297)(114, 400)(166, 348)
b6: (52, 104)(155, 337)(156, 390)(207, 389)(208, 338)(234, 286)
c6: (26, 78)(129, 415)(130, 364)(181, 363)(182, 416)(260, 312)
d6: (41, 93)(144, 326)(145, 379)(196, 378)(197, 327)(223, 275)
e6: (24, 76)(127, 413)(128, 362)(179, 361)(180, 414)(258, 310)
f6: (19, 71)(122, 408)(123, 357)(174, 356)(175, 409)(253, 305)
g6: (5, 57)(108, 394)(109, 343)(160, 342)(161, 395)(239, 291)
h6: (39, 91)(142, 324)(143, 377)(194, 376)(195, 325)(221, 273)
m6: (12, 246)(64, 298)(115, 401)(167, 349)
n7: (20, 72)(123, 409)(124, 358)(175, 357)(176, 410)(254, 306)
a7: (15, 249)(67, 301)(118, 404)(170, 352)
b7: (42, 94)(145, 327)(146, 380)(197, 379)(198, 328)(224, 276)
c7: (35, 217)(87, 269)(139, 373)(191, 321)
d7: (13, 247)(65, 299)(116, 402)(168, 350)
e7: (18, 70)(121, 407)(122, 356)(173, 355)(174, 408)(252, 304)
f7: (29, 211)(81, 263)(133, 367)(185, 315)
g7: (31, 213)(83, 265)(135, 369)(187, 317)
h7: (2, 52)(3, 51)(4, 50)(5, 49)(6, 48)(7, 47)(8, 46)(9, 45)(10, 44)(11, 43)(12,
42)(13, 41)(14, 40)(15, 39)(16, 38)(17, 37)(18, 36)(19, 35)(20, 34)(21, 33)(22,
32)(23, 31)(24, 30)(25, 29)(26, 28)(54, 104)(55, 103)(56, 102)(57, 101)(58,
100)(59, 99)(60, 98)(61, 97)(62, 96)(63, 95)(64, 94)(65, 93)(66, 92)(67, 91)(68,
90)(69, 89)(70, 88)(71, 87)(72, 86)(73, 85)(74, 84)(75, 83)(76, 82)(77, 81)(78,
80)(105, 338)(106, 155)(107, 154)(108, 153)(109, 152)(110, 151)(111, 150)(112,
149)(113, 148)(114, 147)(115, 146)(116, 145)(117, 144)(118, 143)(119, 142)(120,
141)(121, 140)(122, 139)(123, 138)(124, 137)(125, 136)(126, 135)(127, 134)(128,
133)(129, 132)(130, 131)(156, 339)(157, 390)(158, 207)(159, 206)(160, 205)(161,
204)(162, 203)(163, 202)(164, 201)(165, 200)(166, 199)(167, 198)(168, 197)(169,
196)(170, 195)(171, 194)(172, 193)(173, 192)(174, 191)(175, 190)(176, 189)(177,
188)(178, 187)(179, 186)(180, 185)(181, 184)(182, 183)(208, 391)(209, 261)(210,
260)(211, 259)(212, 258)(213, 257)(214, 256)(215, 255)(216, 254)(217, 253)(218,
252)(219, 251)(220, 250)(221, 249)(222, 248)(223, 247)(224, 246)(225, 245)(226,
244)(227, 243)(228, 242)(229, 241)(230, 240)(231, 239)(232, 238)(233, 237)(234,
236)(235, 287)(262, 312)(263, 311)(264, 310)(265, 309)(266, 308)(267, 307)(268,
306)(269, 305)(270, 304)(271, 303)(272, 302)(273, 301)(274, 300)(275, 299)(276,
298)(277, 297)(278, 296)(279, 295)(280, 294)(281, 293)(282, 292)(283, 291)(284,
290)(285, 289)(286, 288)(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)(365, 416)(366, 415)(367, 414)(368, 413)(369,
412)(370, 411)(371, 410)(372, 409)(373, 408)(374, 407)(375, 406)(376, 405)(377,
404)(378, 403)(379, 402)(380, 401)(381, 400)(382, 399)(383, 398)(384, 397)(385,
396)(386, 395)(387, 394)(388, 393)(389, 392)
m7: (23, 257)(75, 309)(126, 412)(178, 360)
n8: (15, 67)(118, 404)(119, 353)(170, 352)(171, 405)(249, 301)
a8: (36, 88)(139, 321)(140, 374)(191, 373)(192, 322)(218, 270)
b8: (45, 227)(97, 279)(149, 383)(201, 331)
c8: (44, 96)(147, 329)(148, 382)(199, 381)(200, 330)(226, 278)
d8: (47, 99)(150, 332)(151, 385)(202, 384)(203, 333)(229, 281)
e8: (17, 69)(120, 406)(121, 355)(172, 354)(173, 407)(251, 303)
f8: (30, 212)(82, 264)(134, 368)(186, 316)
g8: (21, 255)(73, 307)(124, 410)(176, 358)
h8: (37, 219)(89, 271)(141, 375)(193, 323)
m8: (43, 95)(146, 328)(147, 381)(198, 380)(199, 329)(225, 277)
n9: (14, 248)(66, 300)(117, 403)(169, 351)
a9: (50, 102)(153, 335)(154, 388)(205, 387)(206, 336)(232, 284)
b9: (21, 73)(124, 410)(125, 359)(176, 358)(177, 411)(255, 307)
c9: (42, 224)(94, 276)(146, 380)(198, 328)
d9: (38, 90)(141, 323)(142, 376)(193, 375)(194, 324)(220, 272)
e9: (16, 68)(119, 405)(120, 354)(171, 353)(172, 406)(250, 302)
f9: (3, 237)(55, 289)(106, 392)(158, 340)
g9: (11, 63)(114, 400)(115, 349)(166, 348)(167, 401)(245, 297)
h9: (29, 81)(132, 314)(133, 367)(184, 366)(185, 315)(211, 263)
m9: (52, 234)(104, 286)(156, 390)(208, 338)
n10: (50, 232)(102, 284)(154, 388)(206, 336)
a10: (47, 229)(99, 281)(151, 385)(203, 333)
b10: (51, 103)(154, 336)(155, 389)(206, 388)(207, 337)(233, 285)
c10: (9, 243)(61, 295)(112, 398)(164, 346)
C4[ 416, 21 ]
416
-1 105 391 338 208
-2 105 106 392 339
-3 106 107 393 340
-4 341 107 108 394
-5 342 108 109 395
-6 110 396 343 109
-7 110 111 397 344
-8 111 112 398 345
-9 112 113 399 346
-10 113 114 400 347
-11 114 115 401 348
-12 115 116 402 349
-13 116 117 403 350
-14 117 118 404 351
-15 352 118 119 405
-16 353 119 120 406
-17 121 407 354 120
-18 121 122 408 355
-19 122 123 409 356
-20 123 124 410 357
-21 124 125 411 358
-22 125 126 412 359
-23 126 127 413 360
-24 127 128 414 361
-25 128 129 415 362
-26 363 129 130 416
-27 364 313 130 131
-28 132 365 314 131
-29 132 133 366 315
-30 133 134 367 316
-31 134 135 368 317
-32 135 136 369 318
-33 319 136 137 370
-34 320 137 138 371
-35 321 138 139 372
-36 322 139 140 373
-37 374 323 140 141
-38 375 324 141 142
-39 143 376 325 142
-40 143 144 377 326
-41 144 145 378 327
-42 145 146 379 328
-43 146 147 380 329
-44 330 147 148 381
-45 331 148 149 382
-46 332 149 150 383
-47 333 150 151 384
-48 385 334 151 152
-49 386 335 152 153
-50 154 387 336 153
-51 154 155 388 337
-52 155 156 389 338
-53 156 157 390 339
-54 157 158 391 340
-55 341 158 159 392
-56 342 159 160 393
-57 343 160 161 394
-58 344 161 162 395
-59 396 345 162 163
-60 397 346 163 164
-61 165 398 347 164
-62 165 166 399 348
-63 166 167 400 349
-64 167 168 401 350
-65 168 169 402 351
-66 352 169 170 403
-67 353 170 171 404
-68 354 171 172 405
-69 355 172 173 406
-70 407 356 173 174
-71 408 357 174 175
-72 176 409 358 175
-73 176 177 410 359
-74 177 178 411 360
-75 178 179 412 361
-76 179 180 413 362
-77 363 180 181 414
-78 364 181 182 415
-79 365 182 183 416
-80 366 313 183 184
-81 367 314 184 185
-82 368 315 185 186
-83 187 369 316 186
-84 187 188 370 317
-85 188 189 371 318
-86 319 189 190 372
-87 320 190 191 373
-88 374 321 191 192
-89 375 322 192 193
-90 376 323 193 194
-91 377 324 194 195
-92 378 325 195 196
-93 379 326 196 197
-94 198 380 327 197
-95 198 199 381 328
-96 199 200 382 329
-97 330 200 201 383
-98 331 201 202 384
-99 385 332 202 203
-100 386 333 203 204
-101 387 334 204 205
-102 388 335 205 206
-103 389 336 206 207
-104 390 337 207 208
-105 1 2 288 235
-106 2 3 289 236
-107 3 4 290 237
-108 4 5 291 238
-109 5 6 292 239
-110 6 7 293 240
-111 7 8 294 241
-112 242 8 9 295
-113 243 9 10 296
-114 11 297 244 10
-115 11 12 298 245
-116 12 13 299 246
-117 13 14 300 247
-118 14 15 301 248
-119 15 16 302 249
-120 16 17 303 250
-121 17 18 304 251
-122 18 19 305 252
-123 253 19 20 306
-124 254 20 21 307
-125 22 308 255 21
-126 22 23 309 256
-127 23 24 310 257
-128 24 25 311 258
-129 25 26 312 259
-130 209 26 27 260
-131 210 27 28 261
-132 211 28 29 262
-133 212 29 30 263
-134 264 213 30 31
-135 265 214 31 32
-136 33 266 215 32
-137 33 34 267 216
-138 34 35 268 217
-139 35 36 269 218
-140 36 37 270 219
-141 220 37 38 271
-142 221 38 39 272
-143 222 39 40 273
-144 223 40 41 274
-145 275 224 41 42
-146 276 225 42 43
-147 44 277 226 43
-148 44 45 278 227
-149 45 46 279 228
-150 46 47 280 229
-151 47 48 281 230
-152 231 48 49 282
-153 232 49 50 283
-154 233 50 51 284
-155 234 51 52 285
-156 286 235 52 53
-157 287 236 53 54
-158 55 288 237 54
-159 55 56 289 238
-160 56 57 290 239
-161 57 58 291 240
-162 58 59 292 241
-163 242 59 60 293
-164 243 60 61 294
-165 244 61 62 295
-166 245 62 63 296
-167 297 246 63 64
-168 298 247 64 65
-169 66 299 248 65
-170 66 67 300 249
-171 67 68 301 250
-172 68 69 302 251
-173 69 70 303 252
-174 253 70 71 304
-175 254 71 72 305
-176 255 72 73 306
-177 256 73 74 307
-178 308 257 74 75
-179 309 258 75 76
-180 77 310 259 76
-181 77 78 311 260
-182 78 79 312 261
-183 209 79 80 262
-184 210 80 81 263
-185 264 211 81 82
-186 265 212 82 83
-187 266 213 83 84
-188 267 214 84 85
-189 268 215 85 86
-190 269 216 86 87
-191 88 270 217 87
-192 88 89 271 218
-193 89 90 272 219
-194 220 90 91 273
-195 221 91 92 274
-196 275 222 92 93
-197 276 223 93 94
-198 277 224 94 95
-199 278 225 95 96
-200 279 226 96 97
-201 280 227 97 98
-202 99 281 228 98
-203 99 100 282 229
-204 100 101 283 230
-205 231 101 102 284
-206 232 102 103 285
-207 286 233 103 104
-208 1 287 234 104
-209 364 365 183 130
-210 365 366 184 131
-211 132 366 367 185
-212 133 367 368 186
-213 187 134 368 369
-214 188 135 369 370
-215 189 136 370 371
-216 190 137 371 372
-217 191 138 372 373
-218 374 192 139 373
-219 374 375 193 140
-220 375 376 194 141
-221 376 377 195 142
-222 143 377 378 196
-223 144 378 379 197
-224 198 145 379 380
-225 199 146 380 381
-226 200 147 381 382
-227 201 148 382 383
-228 202 149 383 384
-229 385 203 150 384
-230 385 386 204 151
-231 386 387 205 152
-232 387 388 206 153
-233 154 388 389 207
-234 155 389 390 208
-235 156 390 105 391
-236 157 391 106 392
-237 158 392 107 393
-238 159 393 108 394
-239 160 394 109 395
-240 110 396 161 395
-241 396 111 397 162
-242 397 112 398 163
-243 398 113 399 164
-244 165 399 114 400
-245 166 400 115 401
-246 167 401 116 402
-247 168 402 117 403
-248 169 403 118 404
-249 170 404 119 405
-250 171 405 120 406
-251 121 407 172 406
-252 407 122 408 173
-253 408 123 409 174
-254 409 124 410 175
-255 176 410 125 411
-256 177 411 126 412
-257 178 412 127 413
-258 179 413 128 414
-259 180 414 129 415
-260 181 415 130 416
-261 313 182 416 131
-262 132 313 314 183
-263 133 314 315 184
-264 134 315 316 185
-265 135 316 317 186
-266 187 136 317 318
-267 319 188 137 318
-268 319 320 189 138
-269 320 321 190 139
-270 321 322 191 140
-271 322 323 192 141
-272 323 324 193 142
-273 143 324 325 194
-274 144 325 326 195
-275 145 326 327 196
-276 146 327 328 197
-277 198 147 328 329
-278 330 199 148 329
-279 330 331 200 149
-280 331 332 201 150
-281 332 333 202 151
-282 333 334 203 152
-283 334 335 204 153
-284 154 335 336 205
-285 155 336 337 206
-286 156 337 338 207
-287 157 338 339 208
-288 158 105 339 340
-289 341 159 106 340
-290 341 342 160 107
-291 342 343 161 108
-292 343 344 162 109
-293 110 344 345 163
-294 111 345 346 164
-295 165 112 346 347
-296 166 113 347 348
-297 167 114 348 349
-298 168 115 349 350
-299 169 116 350 351
-300 352 170 117 351
-301 352 353 171 118
-302 353 354 172 119
-303 354 355 173 120
-304 121 355 356 174
-305 122 356 357 175
-306 176 123 357 358
-307 177 124 358 359
-308 178 125 359 360
-309 179 126 360 361
-310 180 127 361 362
-311 363 181 128 362
-312 363 364 182 129
-313 80 27 261 262
-314 81 28 262 263
-315 264 82 29 263
-316 264 265 83 30
-317 265 266 84 31
-318 266 267 85 32
-319 33 267 268 86
-320 34 268 269 87
-321 88 35 269 270
-322 89 36 270 271
-323 90 37 271 272
-324 91 38 272 273
-325 92 39 273 274
-326 275 93 40 274
-327 275 276 94 41
-328 276 277 95 42
-329 277 278 96 43
-330 44 278 279 97
-331 45 279 280 98
-332 99 46 280 281
-333 100 47 281 282
-334 101 48 282 283
-335 102 49 283 284
-336 103 50 284 285
-337 286 104 51 285
-338 286 1 287 52
-339 287 2 288 53
-340 288 3 289 54
-341 55 289 4 290
-342 56 290 5 291
-343 57 291 6 292
-344 58 292 7 293
-345 59 293 8 294
-346 60 294 9 295
-347 61 295 10 296
-348 11 297 62 296
-349 297 12 298 63
-350 298 13 299 64
-351 299 14 300 65
-352 66 300 15 301
-353 67 301 16 302
-354 68 302 17 303
-355 69 303 18 304
-356 70 304 19 305
-357 71 305 20 306
-358 72 306 21 307
-359 22 308 73 307
-360 308 23 309 74
-361 309 24 310 75
-362 310 25 311 76
-363 77 311 26 312
-364 209 78 312 27
-365 209 210 79 28
-366 210 211 80 29
-367 211 212 81 30
-368 212 213 82 31
-369 213 214 83 32
-370 33 214 215 84
-371 34 215 216 85
-372 35 216 217 86
-373 36 217 218 87
-374 88 37 218 219
-375 220 89 38 219
-376 220 221 90 39
-377 221 222 91 40
-378 222 223 92 41
-379 223 224 93 42
-380 224 225 94 43
-381 44 225 226 95
-382 45 226 227 96
-383 46 227 228 97
-384 47 228 229 98
-385 99 48 229 230
-386 231 100 49 230
-387 231 232 101 50
-388 232 233 102 51
-389 233 234 103 52
-390 234 235 104 53
-391 1 235 236 54
-392 55 2 236 237
-393 56 3 237 238
-394 57 4 238 239
-395 58 5 239 240
-396 59 6 240 241
-397 242 60 7 241
-398 242 243 61 8
-399 243 244 62 9
-400 244 245 63 10
-401 11 245 246 64
-402 12 246 247 65
-403 66 13 247 248
-404 67 14 248 249
-405 68 15 249 250
-406 69 16 250 251
-407 70 17 251 252
-408 253 71 18 252
-409 253 254 72 19
-410 254 255 73 20
-411 255 256 74 21
-412 22 256 257 75
-413 23 257 258 76
-414 77 24 258 259
-415 78 25 259 260
-416 79 26 260 261
0