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