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