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