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