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