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