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