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