#include "funcs.h" value_type costab[COSTABSIZE] = { 1024, 1023, 1023, 1023, 1023, 1023, 1023, 1023, 1022, 1022, 1022, 1021, 1021, 1020, 1020, 1019, 1019, 1018, 1017, 1017, 1016, 1015, 1014, 1013, 1012, 1011, 1010, 1009, 1008, 1007, 1006, 1005, 1004, 1003, 1001, 1000, 999, 997, 996, 994, 993, 991, 990, 988, 986, 985, 983, 981, 979, 978, 976, 974, 972, 970, 968, 966, 964, 962, 959, 957, 955, 953, 950, 948, 946, 943, 941, 938, 936, 933, 930, 928, 925, 922, 920, 917, 914, 911, 908, 906, 903, 900, 897, 894, 890, 887, 884, 881, 878, 875, 871, 868, 865, 861, 858, 854, 851, 847, 844, 840, 837, 833, 829, 826, 822, 818, 814, 811, 807, 803, 799, 795, 791, 787, 783, 779, 775, 771, 767, 762, 758, 754, 750, 745, 741, 737, 732, 728, 724, 719, 715, 710, 706, 701, 696, 692, 687, 683, 678, 673, 668, 664, 659, 654, 649, 644, 639, 634, 629, 625, 620, 615, 609, 604, 599, 594, 589, 584, 579, 574, 568, 563, 558, 553, 547, 542, 537, 531, 526, 521, 515, 510, 504, 499, 493, 488, 482, 477, 471, 466, 460, 454, 449, 443, 437, 432, 426, 420, 414, 409, 403, 397, 391, 386, 380, 374, 368, 362, 356, 350, 344, 339, 333, 327, 321, 315, 309, 303, 297, 291, 285, 279, 273, 267, 260, 254, 248, 242, 236, 230, 224, 218, 212, 205, 199, 193, 187, 181, 175, 168, 162, 156, 150, 144, 137, 131, 125, 119, 112, 106, 100, 94, 87, 81, 75, 69, 62, 56, 50, 43, 37, 31, 25, 18, 12, 6, 0, -6, -12, -18, -25, -31, -37, -43, -50, -56, -62, -69, -75, -81, -87, -94, -100, -106, -112, -119, -125, -131, -137, -144, -150, -156, -162, -168, -175, -181, -187, -193, -199, -205, -212, -218, -224, -230, -236, -242, -248, -254, -260, -267, -273, -279, -285, -291, -297, -303, -309, -315, -321, -327, -333, -339, -344, -350, -356, -362, -368, -374, -380, -386, -391, -397, -403, -409, -414, -420, -426, -432, -437, -443, -449, -454, -460, -466, -471, -477, -482, -488, -493, -499, -504, -510, -515, -521, -526, -531, -537, -542, -547, -553, -558, -563, -568, -574, -579, -584, -589, -594, -599, -604, -609, -615, -620, -625, -629, -634, -639, -644, -649, -654, -659, -664, -668, -673, -678, -683, -687, -692, -696, -701, -706, -710, -715, -719, -724, -728, -732, -737, -741, -745, -750, -754, -758, -762, -767, -771, -775, -779, -783, -787, -791, -795, -799, -803, -807, -811, -814, -818, -822, -826, -829, -833, -837, -840, -844, -847, -851, -854, -858, -861, -865, -868, -871, -875, -878, -881, -884, -887, -890, -894, -897, -900, -903, -906, -908, -911, -914, -917, -920, -922, -925, -928, -930, -933, -936, -938, -941, -943, -946, -948, -950, -953, -955, -957, -959, -962, -964, -966, -968, -970, -972, -974, -976, -978, -979, -981, -983, -985, -986, -988, -990, -991, -993, -994, -996, -997, -999,-1000,-1001,-1003, -1004,-1005,-1006,-1007,-1008,-1009,-1010,-1011,-1012,-1013,-1014,-1015,-1016,-1017,-1017,-1018, -1019,-1019,-1020,-1020,-1021,-1021,-1022,-1022,-1022,-1023,-1023,-1023,-1023,-1023,-1023,-1023, -1024,-1023,-1023,-1023,-1023,-1023,-1023,-1023,-1022,-1022,-1022,-1021,-1021,-1020,-1020,-1019, -1019,-1018,-1017,-1017,-1016,-1015,-1014,-1013,-1012,-1011,-1010,-1009,-1008,-1007,-1006,-1005, -1004,-1003,-1001,-1000, -999, -997, -996, -994, -993, -991, -990, -988, -986, -985, -983, -981, -979, -978, -976, -974, -972, -970, -968, -966, -964, -962, -959, -957, -955, -953, -950, -948, -946, -943, -941, -938, -936, -933, -930, -928, -925, -922, -920, -917, -914, -911, -908, -906, -903, -900, -897, -894, -890, -887, -884, -881, -878, -875, -871, -868, -865, -861, -858, -854, -851, -847, -844, -840, -837, -833, -829, -826, -822, -818, -814, -811, -807, -803, -799, -795, -791, -787, -783, -779, -775, -771, -767, -762, -758, -754, -750, -745, -741, -737, -732, -728, -724, -719, -715, -710, -706, -701, -696, -692, -687, -683, -678, -673, -668, -664, -659, -654, -649, -644, -639, -634, -629, -625, -620, -615, -609, -604, -599, -594, -589, -584, -579, -574, -568, -563, -558, -553, -547, -542, -537, -531, -526, -521, -515, -510, -504, -499, -493, -488, -482, -477, -471, -466, -460, -454, -449, -443, -437, -432, -426, -420, -414, -409, -403, -397, -391, -386, -380, -374, -368, -362, -356, -350, -344, -339, -333, -327, -321, -315, -309, -303, -297, -291, -285, -279, -273, -267, -260, -254, -248, -242, -236, -230, -224, -218, -212, -205, -199, -193, -187, -181, -175, -168, -162, -156, -150, -144, -137, -131, -125, -119, -112, -106, -100, -94, -87, -81, -75, -69, -62, -56, -50, -43, -37, -31, -25, -18, -12, -6, 0, 6, 12, 18, 25, 31, 37, 43, 50, 56, 62, 69, 75, 81, 87, 94, 100, 106, 112, 119, 125, 131, 137, 144, 150, 156, 162, 168, 175, 181, 187, 193, 199, 205, 212, 218, 224, 230, 236, 242, 248, 254, 260, 267, 273, 279, 285, 291, 297, 303, 309, 315, 321, 327, 333, 339, 344, 350, 356, 362, 368, 374, 380, 386, 391, 397, 403, 409, 414, 420, 426, 432, 437, 443, 449, 454, 460, 466, 471, 477, 482, 488, 493, 499, 504, 510, 515, 521, 526, 531, 537, 542, 547, 553, 558, 563, 568, 574, 579, 584, 589, 594, 599, 604, 609, 615, 620, 625, 629, 634, 639, 644, 649, 654, 659, 664, 668, 673, 678, 683, 687, 692, 696, 701, 706, 710, 715, 719, 724, 728, 732, 737, 741, 745, 750, 754, 758, 762, 767, 771, 775, 779, 783, 787, 791, 795, 799, 803, 807, 811, 814, 818, 822, 826, 829, 833, 837, 840, 844, 847, 851, 854, 858, 861, 865, 868, 871, 875, 878, 881, 884, 887, 890, 894, 897, 900, 903, 906, 908, 911, 914, 917, 920, 922, 925, 928, 930, 933, 936, 938, 941, 943, 946, 948, 950, 953, 955, 957, 959, 962, 964, 966, 968, 970, 972, 974, 976, 978, 979, 981, 983, 985, 986, 988, 990, 991, 993, 994, 996, 997, 999, 1000, 1001, 1003, 1004, 1005, 1006, 1007, 1008, 1009, 1010, 1011, 1012, 1013, 1014, 1015, 1016, 1017, 1017, 1018, 1019, 1019, 1020, 1020, 1021, 1021, 1022, 1022, 1022, 1023, 1023, 1023, 1023, 1023, 1023, 1023,}, tantab[TANTABSIZE] = { -2147483648,-166883,-83438,-55622,-41713,-33366,-27801,-23826,-20843,-18524,-16667,-15148,-13882,-12810,-11891,-11094, -10396,-9781,-9233,-8743,-8302,-7902,-7539,-7207,-6903,-6622,-6364,-6124,-5901,-5693,-5499,-5318, -5147,-4987,-4836,-4694,-4560,-4432,-4311,-4197,-4088,-3984,-3885,-3790,-3700,-3613,-3531,-3451, -3375,-3302,-3232,-3164,-3099,-3036,-2976,-2918,-2861,-2807,-2754,-2703,-2654,-2606,-2560,-2515, -2472,-2429,-2388,-2348,-2310,-2272,-2235,-2199,-2165,-2131,-2098,-2065,-2034,-2003,-1973,-1944, -1915,-1887,-1860,-1833,-1807,-1782,-1756,-1732,-1708,-1684,-1661,-1639,-1617,-1595,-1574,-1553, -1532,-1512,-1492,-1473,-1453,-1435,-1416,-1398,-1380,-1363,-1345,-1328,-1312,-1295,-1279,-1263, -1247,-1232,-1216,-1201,-1187,-1172,-1158,-1143,-1129,-1115,-1102,-1088,-1075,-1062,-1049,-1036, -1023,-1011, -999, -986, -974, -963, -951, -939, -928, -916, -905, -894, -883, -872, -861, -850, -840, -829, -819, -809, -799, -789, -779, -769, -759, -749, -740, -730, -721, -711, -702, -693, -684, -675, -666, -657, -648, -639, -630, -622, -613, -605, -596, -588, -580, -571, -563, -555, -547, -539, -531, -523, -515, -507, -499, -492, -484, -476, -469, -461, -453, -446, -438, -431, -424, -416, -409, -402, -395, -387, -380, -373, -366, -359, -352, -345, -338, -331, -324, -317, -310, -303, -296, -290, -283, -276, -269, -263, -256, -249, -243, -236, -229, -223, -216, -210, -203, -197, -190, -184, -177, -171, -164, -158, -151, -145, -139, -132, -126, -119, -113, -107, -100, -94, -88, -81, -75, -69, -62, -56, -50, -44, -37, -31, -25, -18, -12, -6, 0, 6, 12, 18, 25, 31, 37, 44, 50, 56, 62, 69, 75, 81, 88, 94, 100, 107, 113, 119, 126, 132, 139, 145, 151, 158, 164, 171, 177, 184, 190, 197, 203, 210, 216, 223, 229, 236, 243, 249, 256, 263, 269, 276, 283, 290, 296, 303, 310, 317, 324, 331, 338, 345, 352, 359, 366, 373, 380, 387, 395, 402, 409, 416, 424, 431, 438, 446, 453, 461, 469, 476, 484, 492, 499, 507, 515, 523, 531, 539, 547, 555, 563, 571, 580, 588, 596, 605, 613, 622, 630, 639, 648, 657, 666, 675, 684, 693, 702, 711, 721, 730, 740, 749, 759, 769, 779, 789, 799, 809, 819, 829, 840, 850, 861, 872, 883, 894, 905, 916, 928, 939, 951, 963, 974, 986, 999, 1011, 1023, 1036, 1049, 1062, 1075, 1088, 1102, 1115, 1129, 1143, 1158, 1172, 1187, 1201, 1216, 1232, 1247, 1263, 1279, 1295, 1312, 1328, 1345, 1363, 1380, 1398, 1416, 1435, 1453, 1473, 1492, 1512, 1532, 1553, 1574, 1595, 1617, 1639, 1661, 1684, 1708, 1732, 1756, 1782, 1807, 1833, 1860, 1887, 1915, 1944, 1973, 2003, 2034, 2065, 2098, 2131, 2165, 2199, 2235, 2272, 2310, 2348, 2388, 2429, 2472, 2515, 2560, 2606, 2654, 2703, 2754, 2807, 2861, 2918, 2976, 3036, 3099, 3164, 3232, 3302, 3375, 3451, 3531, 3613, 3700, 3790, 3885, 3984, 4088, 4197, 4311, 4432, 4560, 4694, 4836, 4987, 5147, 5318, 5499, 5693, 5901, 6124, 6364, 6622, 6903, 7207, 7539, 7902, 8302, 8743, 9233, 9781, 10396,11094,11891,12810,13882,15148,16667,18524,20843,23826,27801,33366,41713,55622,83438,166883,};