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