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