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