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