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