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