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