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