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