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