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