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