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