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