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