att6: < 59.22880272 -> 5 < 68.00621871999999 -> 8 < 77.388822855 -> 5 < 81.72735524000001 -> 8 < 84.112681745 -> 5 < 87.40616518499999 -> 2 < 90.8092148 -> 5 < 95.08529693 -> 2 < 99.10226199 -> 5 < 101.63259822 -> 2 < 105.662321975 -> 5 < 108.71022332 -> 2 < 111.415066035 -> 8 < 114.34224455500001 -> 2 < 116.83960188500001 -> 8 < 120.23441006499999 -> 2 < 126.85890373000001 -> 8 < 130.67876422 -> 2 < 144.540168795 -> 8 < 148.88545763000002 -> 3 < 159.19947083 -> 2 < 163.789226985 -> 5 < 167.21684537 -> 8 < 172.72262312499998 -> 2 < 176.21880142499998 -> 8 < 192.94090727 -> 2 < 198.59104865 -> 5 < 213.15293024 -> 3 < 220.32080524 -> 2 < 225.425025535 -> 3 < 228.099499665 -> 4 < 233.99012031 -> 3 < 236.683100345 -> 10 < 243.37528384 -> 3 < 249.008841955 -> 4 < 251.94500569500002 -> 3 < 255.516035865 -> 7 < 282.042781945 -> 4 < 287.29428058999997 -> 10 < 290.20467294 -> 6 < 293.19809335 -> 4 < 298.53954212 -> 10 < 305.00116937999996 -> 7 < 309.00224824 -> 9 < 313.736992775 -> 4 < 317.86398433 -> 7 < 321.48166318999995 -> 10 < 324.77984094 -> 3 < 329.752762565 -> 4 < 333.90302117 -> 9 < 338.85158803 -> 7 < 340.996762605 -> 6 < 344.749581025 -> 7 < 349.51146330999995 -> 1 < 358.464945035 -> 9 < 364.11822269000004 -> 10 < 370.34258712999997 -> 7 < 380.83705677499995 -> 6 < 384.068547285 -> 10 < 411.50545492 -> 9 < 423.19586451500004 -> 6 < 438.137728625 -> 1 < 443.08310065 -> 9 < 449.19505015000004 -> 6 >= 449.19505015000004 -> 1 (759/2000 instances correct)