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