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