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