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