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