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