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