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