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