ú먅 experimentalconal@conal.net Safe-Inferred Safe-Inferred experimentalconal@conal.net Safe-Inferred    experimentalconal@conal.net Safe-Inferred   experimentalconal@conal.net Safe-Inferred     NumInstances-1.3Data.NumInstances.UtilData.NumInstances.PreRequisitesData.NumInstances.TupleData.NumInstances.FunctionData.NumInstancesnoOvlift2lift3lift4$fFloating(,,,)$fFractional(,,,) $fNum(,,,)$fFloating(,,)$fFractional(,,) $fNum(,,) $fFloating(,)$fFractional(,)$fNum(,)$fFloating(->)$fFractional(->) $fNum(->)