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