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