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