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