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