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