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