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