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