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