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