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