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