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