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