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