let
sci_05i = [| num_0 ; num_1 ; num_minus_1 |]