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