(double, dip) 144 FsharpMIN
(double, dip) 144 FsharpMIN