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