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