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