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