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