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