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