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