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