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