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