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