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