#!/bin/sh

exec awk '
{ printf "%6g\t%6g\n", $1, 6406.47968 + 58123.59442 / ($1 + 13.23958); }
' $*