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