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