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