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