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