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