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