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