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