C4graphGraph forms for C4 [ 425, 2 ] = C_425(1,132)

[Home] [Table] [Glossary] [Families]

On this page are computer-accessible forms for the graph C4[ 425, 2 ] = C_425(1,132).

(I) Following is a form readable by MAGMA:

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

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

**************