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