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