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