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