}[[[],[1.7613184362e+308],93,[1616334.62e08],9.133157e+308]*57