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