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