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