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