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