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