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