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