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