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