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