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