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