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