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