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