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