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