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