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