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