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