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