Whole_weight: < 0.05675 -> 4 < 0.09175 -> 5 < 0.09625 -> 6 < 0.112 -> 5 < 0.12725 -> 6 < 0.1355 -> 7 < 0.1705 -> 6 < 0.175 -> 7 < 0.1805 -> 6 < 0.18725 -> 7 < 0.19225 -> 6 < 0.19725 -> 7 < 0.20475 -> 6 < 0.212 -> 7 < 0.22025 -> 6 < 0.231 -> 7 < 0.23825 -> 6 < 0.246 -> 7 < 0.25775000000000003 -> 6 < 0.267 -> 7 < 0.27575000000000005 -> 8 < 0.30574999999999997 -> 7 < 0.3145 -> 6 < 0.32025000000000003 -> 7 < 0.32825000000000004 -> 6 < 0.34675 -> 7 < 0.35775 -> 9 < 0.38875000000000004 -> 7 < 0.39575000000000005 -> 9 < 0.41525 -> 8 < 0.42 -> 7 < 0.42974999999999997 -> 8 < 0.43825000000000003 -> 9 < 0.44125000000000003 -> 8 < 0.44725000000000004 -> 7 < 0.45925000000000005 -> 9 < 0.46425000000000005 -> 8 < 0.47075 -> 7 < 0.50725 -> 8 < 0.51125 -> 9 < 0.53625 -> 8 < 0.54375 -> 9 < 0.5674999999999999 -> 8 < 0.57475 -> 7 < 0.57775 -> 9 < 0.6285 -> 8 < 0.63925 -> 9 < 0.64575 -> 8 < 0.6617500000000001 -> 9 < 0.6685000000000001 -> 11 < 0.67675 -> 9 < 0.68625 -> 8 < 0.6944999999999999 -> 9 < 0.70075 -> 10 < 0.718 -> 9 < 0.7282500000000001 -> 8 < 0.73675 -> 11 < 0.7422500000000001 -> 9 < 0.75325 -> 8 < 0.75875 -> 10 < 0.77625 -> 8 < 0.7907500000000001 -> 9 < 0.79575 -> 10 < 0.80325 -> 9 < 0.8107500000000001 -> 10 < 0.81975 -> 9 < 0.83175 -> 10 < 0.84475 -> 9 < 0.85225 -> 8 < 0.87075 -> 9 < 0.87375 -> 10 < 0.87575 -> 8 < 0.87925 -> 10 < 0.88725 -> 11 < 0.89725 -> 8 < 0.90725 -> 11 < 0.97075 -> 9 < 0.97725 -> 10 < 0.9842500000000001 -> 9 < 0.99125 -> 8 < 1.0037500000000001 -> 11 < 1.0107499999999998 -> 9 < 1.01775 -> 10 < 1.02525 -> 9 < 1.0354999999999999 -> 11 < 1.0415 -> 9 < 1.05675 -> 10 < 1.06325 -> 9 < 1.07275 -> 8 < 1.08425 -> 9 < 1.11625 -> 10 < 1.1205 -> 9 < 1.135 -> 10 < 1.16575 -> 9 < 1.17475 -> 11 < 1.1807500000000002 -> 9 < 1.1942499999999998 -> 10 < 1.20275 -> 11 < 1.2262499999999998 -> 10 < 1.23475 -> 11 < 1.2432500000000002 -> 10 < 1.2545 -> 9 < 1.26275 -> 10 < 1.2725 -> 11 < 1.2854999999999999 -> 9 < 1.29025 -> 11 < 1.298 -> 9 < 1.3127499999999999 -> 11 < 1.3312499999999998 -> 9 < 1.33775 -> 10 < 1.3465 -> 11 < 1.38225 -> 10 < 1.39275 -> 11 < 1.4092500000000001 -> 10 < 1.43225 -> 11 < 1.44225 -> 9 < 1.46325 -> 11 < 1.5205 -> 10 < 1.5325 -> 11 < 1.5507499999999999 -> 10 < 1.5605 -> 11 < 1.58875 -> 10 < 1.6127500000000001 -> 11 < 1.62375 -> 12 < 1.8585 -> 11 < 1.9132500000000001 -> 10 < 2.14175 -> 11 < 2.2357500000000003 -> 10 < 2.44525 -> 12 >= 2.44525 -> 11 (1379/4177 instances correct)