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