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