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