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