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