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