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