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