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