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