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