-- ///Temp/CounterSize.list -- Size estimates for counters (Mint) Variables: NbBits Ripple Lookahead Values: 2 0.07384 0.07696 3 0.104 0.11648 4 0.13208 0.1456 5 0.16224 0.18512 6 0.19032 0.21424 7 0.22048 0.24752 8 0.24856 0.27664 9 0.27872 0.32448 10 0.3068 0.3536 11 0.33696 0.38688 12 0.36504 0.416 13 0.40144 0.45968 14 0.42952 0.4888 15 0.45968 0.52208 16 0.48776 0.5512 17 0.51792 0.59904 18 0.546 0.62816 19 0.57616 0.66144 20 0.60424 0.69056 21 0.64064 0.73424 22 0.66872 0.76336 23 0.69888 0.79664 24 0.72696 0.82576 25 0.75712 0.86736 26 0.7852 0.89648 27 0.81536 0.92976 28 0.84344 0.95888 29 0.87984 1.00256 30 0.90792 1.03168 31 0.93808 1.06496 32 0.96616 1.09408