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