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