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