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