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