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