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