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