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