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