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