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