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