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