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