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