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