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