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