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