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