! diam19.scl Optimized 13-limit from diamond9plus 19 ! 182.1261 204.0654 231.1980 266.9967 315.5588 383.3099 435.7345 497.2228 582.3425 617.6575 702.7772 764.2655 816.6901 884.4412 933.0033 968.8020 995.9346 1017.8739 2/1