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