}[[[],[1157e+3081,761636.62e+308],8.1e+308],9.133157e+308"2/]*57