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