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