31529 Alarm clock | NaTT.exe -v:0 -x:"$2/cpf.xml" --tcap --edge:1 i i realu_div i realu_abs i i realu_add i i realu_mul i i realu_sub i i d_ b i NUMERAL i BIT1 u_0 i i d_ a i NUMERAL i BIT1 u_0 i i realu_mul i i realu_sub i i d_ c i NUMERAL i BIT0 i BIT1 u_0 i i d_ a i NUMERAL i BIT0 i BIT1 u_0 i i realu_sub i i d_ d i NUMERAL i BIT1 i BIT1 u_0 i i d_ a i NUMERAL i BIT1 i BIT1 u_0 i i realu_add i i realu_mul i i realu_sub i i d_ b i NUMERAL i BIT0 i BIT1 u_0 i i d_ a i NUMERAL i BIT0 i BIT1 u_0 i i realu_mul i i realu_sub i i d_ c i NUMERAL i BIT1 i BIT1 u_0 i i d_ a i NUMERAL i BIT1 i BIT1 u_0 i i realu_sub i i d_ d i NUMERAL i BIT1 u_0 i i d_ a i NUMERAL i BIT1 u_0 i i realu_sub i i realu_sub i i realu_sub i i realu_mul i i realu_sub i i d_ b i NUMERAL i BIT1 i BIT1 u_0 i i d_ a i NUMERAL i BIT1 i BIT1 u_0 i i realu_mul i i realu_sub i i d_ c i NUMERAL i BIT1 u_0 i i d_ a i NUMERAL i BIT1 u_0 i i realu_sub i i d_ d i NUMERAL i BIT0 i BIT1 u_0 i i d_ a i NUMERAL i BIT0 i BIT1 u_0 i i realu_mul i i realu_sub i i d_ b i NUMERAL i BIT1 u_0 i i d_ a i NUMERAL i BIT1 u_0 i i realu_mul i i realu_sub i i d_ c i NUMERAL i BIT1 i BIT1 u_0 i i d_ a i NUMERAL i BIT1 i BIT1 u_0 i i realu_sub i i d_ d i NUMERAL i BIT0 i BIT1 u_0 i i d_ a i NUMERAL i BIT0 i BIT1 u_0 i i realu_mul i i realu_sub i i d_ b i NUMERAL i BIT0 i BIT1 u_0 i i d_ a i NUMERAL i BIT0 i BIT1 u_0 i i realu_mul i i realu_sub i i d_ c i NUMERAL i BIT1 u_0 i i d_ a i NUMERAL i BIT1 u_0 i i realu_sub i i d_ d i NUMERAL i BIT1 i BIT1 u_0 i i d_ a i NUMERAL i BIT1 i BIT1 u_0 i i realu_mul i i realu_sub i i d_ b i NUMERAL i BIT1 i BIT1 u_0 i i d_ a i NUMERAL i BIT1 i BIT1 u_0 i i realu_mul i i realu_sub i i d_ c i NUMERAL i BIT0 i BIT1 u_0 i i d_ a i NUMERAL i BIT0 i BIT1 u_0 i i realu_sub i i d_ d i NUMERAL i BIT1 u_0 i i d_ a i NUMERAL i BIT1 u_0 i realu_ofu_num i NUMERAL i BIT0 i BIT1 i BIT1 u_0 i measure i i hull convex i i INSERT a i i INSERT b i i INSERT c i i INSERT d EMPTY i i realu_add i i realu_mul i i d_ i i d_ A i NUMERAL i BIT1 u_0 i NUMERAL i BIT1 u_0 i i realu_mul i i d_ i i d_ A i NUMERAL i BIT0 i BIT1 u_0 i NUMERAL i BIT0 i BIT1 u_0 i i d_ i i d_ A i NUMERAL i BIT1 i BIT1 u_0 i NUMERAL i BIT1 i BIT1 u_0 i i realu_add i i realu_mul i i d_ i i d_ A i NUMERAL i BIT1 u_0 i NUMERAL i BIT0 i BIT1 u_0 i i realu_mul i i d_ i i d_ A i NUMERAL i BIT0 i BIT1 u_0 i NUMERAL i BIT1 i BIT1 u_0 i i d_ i i d_ A i NUMERAL i BIT1 i BIT1 u_0 i NUMERAL i BIT1 u_0 i i realu_sub i i realu_sub i i realu_sub i i realu_mul i i d_ i i d_ A i NUMERAL i BIT1 u_0 i NUMERAL i BIT1 i BIT1 u_0 i i realu_mul i i d_ i i d_ A i NUMERAL i BIT0 i BIT1 u_0 i NUMERAL i BIT1 u_0 i i d_ i i d_ A i NUMERAL i BIT1 i BIT1 u_0 i NUMERAL i BIT0 i BIT1 u_0 i i realu_mul i i d_ i i d_ A i NUMERAL i BIT1 u_0 i NUMERAL i BIT1 u_0 i i realu_mul i i d_ i i d_ A i NUMERAL i BIT0 i BIT1 u_0 i NUMERAL i BIT1 i BIT1 u_0 i i d_ i i d_ A i NUMERAL i BIT1 i BIT1 u_0 i NUMERAL i BIT0 i BIT1 u_0 i i realu_mul i i d_ i i d_ A i NUMERAL i BIT1 u_0 i NUMERAL i BIT0 i BIT1 u_0 i i realu_mul i i d_ i i d_ A i NUMERAL i BIT0 i BIT1 u_0 i NUMERAL i BIT1 u_0 i i d_ i i d_ A i NUMERAL i BIT1 i BIT1 u_0 i NUMERAL i BIT1 i BIT1 u_0 i i realu_mul i i d_ i i d_ A i NUMERAL i BIT1 u_0 i NUMERAL i BIT1 i BIT1 u_0 i i realu_mul i i d_ i i d_ A i NUMERAL i BIT0 i BIT1 u_0 i NUMERAL i BIT0 i BIT1 u_0 i i d_ i i d_ A i NUMERAL i BIT1 i BIT1 u_0 i NUMERAL i BIT1 u_0 i det A i i s_b_ i i a_ i i realu_add i i realu_pow i i d_ i i d_ A i NUMERAL i BIT1 u_0 i NUMERAL i BIT1 u_0 i NUMERAL i BIT0 i BIT1 u_0 i i realu_pow i i d_ i i d_ A i NUMERAL i BIT0 i BIT1 u_0 i NUMERAL i BIT1 u_0 i NUMERAL i BIT0 i BIT1 u_0 i realu_ofu_num i NUMERAL i BIT1 u_0 i i b_s_ i i s_b_ i i a_ i i d_ i i d_ A i NUMERAL i BIT1 u_0 i NUMERAL i BIT1 u_0 i i d_ i i d_ A i NUMERAL i BIT0 i BIT1 u_0 i NUMERAL i BIT0 i BIT1 u_0 i i a_ i i d_ i i d_ A i NUMERAL i BIT1 u_0 i NUMERAL i BIT0 i BIT1 u_0 i realu_neg i i d_ i i d_ A i NUMERAL i BIT0 i BIT1 u_0 i NUMERAL i BIT1 u_0 i i s_b_ i i a_ i i d_ i i d_ A i NUMERAL i BIT1 u_0 i NUMERAL i BIT1 u_0 i realu_neg i i d_ i i d_ A i NUMERAL i BIT0 i BIT1 u_0 i NUMERAL i BIT0 i BIT1 u_0 i i a_ i i d_ i i d_ A i NUMERAL i BIT1 u_0 i NUMERAL i BIT0 i BIT1 u_0 i i d_ i i d_ A i NUMERAL i BIT0 i BIT1 u_0 i NUMERAL i BIT1 u_0 i orthogonalu_matrix A i i s_b_ i i a_ i i realu_add i i realu_pow i i d_ i i d_ A i NUMERAL i BIT1 u_0 i NUMERAL i BIT1 u_0 i NUMERAL i BIT0 i BIT1 u_0 i i realu_pow i i d_ i i d_ A i NUMERAL i BIT0 i BIT1 u_0 i NUMERAL i BIT1 u_0 i NUMERAL i BIT0 i BIT1 u_0 i realu_ofu_num i NUMERAL i BIT1 u_0 i i s_b_ i i a_ i i realu_add i i realu_pow i i d_ i i d_ A i NUMERAL i BIT1 u_0 i NUMERAL i BIT0 i BIT1 u_0 i NUMERAL i BIT0 i BIT1 u_0 i i realu_pow i i d_ i i d_ A i NUMERAL i BIT0 i BIT1 u_0 i NUMERAL i BIT0 i BIT1 u_0 i NUMERAL i BIT0 i BIT1 u_0 i realu_ofu_num i NUMERAL i BIT1 u_0 i i a_ i i realu_add i i realu_mul i i d_ i i d_ A i NUMERAL i BIT1 u_0 i NUMERAL i BIT1 u_0 i i d_ i i d_ A i NUMERAL i BIT1 u_0 i NUMERAL i BIT0 i BIT1 u_0 i i realu_mul i i d_ i i d_ A i NUMERAL i BIT0 i BIT1 u_0 i NUMERAL i BIT1 u_0 i i d_ i i d_ A i NUMERAL i BIT0 i BIT1 u_0 i NUMERAL i BIT0 i BIT1 u_0 i realu_ofu_num i NUMERAL u_0 i orthogonalu_matrix A i vector i i CONS i i realu_sub i i realu_mul i i d_ a i NUMERAL i BIT0 i BIT1 u_0 i i d_ b i NUMERAL i BIT1 i BIT1 u_0 i i realu_mul i i d_ a i NUMERAL i BIT1 i BIT1 u_0 i i d_ b i NUMERAL i BIT0 i BIT1 u_0 i i CONS i i realu_sub i i realu_mul i i d_ a i NUMERAL i BIT1 i BIT1 u_0 i i d_ b i NUMERAL i BIT1 u_0 i i realu_mul i i d_ a i NUMERAL i BIT1 u_0 i i d_ b i NUMERAL i BIT1 i BIT1 u_0 i i CONS i i realu_sub i i realu_mul i i d_ a i NUMERAL i BIT1 u_0 i i d_ b i NUMERAL i BIT0 i BIT1 u_0 i i realu_mul i i d_ a i NUMERAL i BIT0 i BIT1 u_0 i i d_ b i NUMERAL i BIT1 u_0 NIL i i cross a b i i i COND i i s_b_ i i realu_lt i i d_ a i NUMERAL i BIT1 u_0 i i d_ b i NUMERAL i BIT1 u_0 i i s_b_ i i realu_lt i i d_ a i NUMERAL i BIT0 i BIT1 u_0 i i d_ b i NUMERAL i BIT0 i BIT1 u_0 i i realu_lt i i d_ a i NUMERAL i BIT1 i BIT1 u_0 i i d_ b i NUMERAL i BIT1 i BIT1 u_0 i i realu_mul i i realu_sub i i d_ b i NUMERAL i BIT1 u_0 i i d_ a i NUMERAL i BIT1 u_0 i i realu_mul i i realu_sub i i d_ b i NUMERAL i BIT0 i BIT1 u_0 i i d_ a i NUMERAL i BIT0 i BIT1 u_0 i i realu_sub i i d_ b i NUMERAL i BIT1 i BIT1 u_0 i i d_ a i NUMERAL i BIT1 i BIT1 u_0 i realu_ofu_num i NUMERAL u_0 i measure i openu_interval i i c_ a b i i i COND i i s_b_ i i realu_lt i i d_ a i NUMERAL i BIT1 u_0 i i d_ b i NUMERAL i BIT1 u_0 i i s_b_ i i realu_lt i i d_ a i NUMERAL i BIT0 i BIT1 u_0 i i d_ b i NUMERAL i BIT0 i BIT1 u_0 i i realu_lt i i d_ a i NUMERAL i BIT1 i BIT1 u_0 i i d_ b i NUMERAL i BIT1 i BIT1 u_0 i i realu_mul i i realu_sub i i d_ b i NUMERAL i BIT1 u_0 i i d_ a i NUMERAL i BIT1 u_0 i i realu_mul i i realu_sub i i d_ b i NUMERAL i BIT0 i BIT1 u_0 i i d_ a i NUMERAL i BIT0 i BIT1 u_0 i i realu_sub i i d_ b i NUMERAL i BIT1 i BIT1 u_0 i i d_ a i NUMERAL i BIT1 i BIT1 u_0 i realu_ofu_num i NUMERAL u_0 i measure i closedu_interval i i CONS i i c_ a b NIL i i i COND i i s_b_ i i realu_lt i i d_ a i NUMERAL i BIT1 u_0 i i d_ b i NUMERAL i BIT1 u_0 i i s_b_ i i realu_lt i i d_ a i NUMERAL i BIT0 i BIT1 u_0 i i d_ b i NUMERAL i BIT0 i BIT1 u_0 i i realu_lt i i d_ a i NUMERAL i BIT1 i BIT1 u_0 i i d_ b i NUMERAL i BIT1 i BIT1 u_0 i i realu_mul i i realu_sub i i d_ b i NUMERAL i BIT1 i BIT1 u_0 i i d_ a i NUMERAL i BIT1 i BIT1 u_0 i i realu_mul i i realu_sub i i d_ b i NUMERAL i BIT0 i BIT1 u_0 i i d_ a i NUMERAL i BIT0 i BIT1 u_0 i i realu_sub i i d_ b i NUMERAL i BIT1 u_0 i i d_ a i NUMERAL i BIT1 u_0 i realu_ofu_num i NUMERAL u_0 i i volu_rect a b i i i COND i i s_b_ i i realu_le i i d_ a i NUMERAL i BIT1 u_0 i i d_ b i NUMERAL i BIT1 u_0 i i s_b_ i i realu_le i i d_ a i NUMERAL i BIT0 i BIT1 u_0 i i d_ b i NUMERAL i BIT0 i BIT1 u_0 i i realu_le i i d_ a i NUMERAL i BIT1 i BIT1 u_0 i i d_ b i NUMERAL i BIT1 i BIT1 u_0 i i realu_mul i i realu_sub i i d_ b i NUMERAL i BIT1 u_0 i i d_ a i NUMERAL i BIT1 u_0 i i realu_mul i i realu_sub i i d_ b i NUMERAL i BIT0 i BIT1 u_0 i i d_ a i NUMERAL i BIT0 i BIT1 u_0 i i realu_sub i i d_ b i NUMERAL i BIT1 i BIT1 u_0 i i d_ a i NUMERAL i BIT1 i BIT1 u_0 i realu_ofu_num i NUMERAL u_0 i measure i openu_interval i i c_ a b i i i COND i i s_b_ i i realu_le i i d_ a i NUMERAL i BIT1 u_0 i i d_ b i NUMERAL i BIT1 u_0 i i s_b_ i i realu_le i i d_ a i NUMERAL i BIT0 i BIT1 u_0 i i d_ b i NUMERAL i BIT0 i BIT1 u_0 i i realu_le i i d_ a i NUMERAL i BIT1 i BIT1 u_0 i i d_ b i NUMERAL i BIT1 i BIT1 u_0 i i realu_mul i i realu_sub i i d_ b i NUMERAL i BIT1 u_0 i i d_ a i NUMERAL i BIT1 u_0 i i realu_mul i i realu_sub i i d_ b i NUMERAL i BIT0 i BIT1 u_0 i i d_ a i NUMERAL i BIT0 i BIT1 u_0 i i realu_sub i i d_ b i NUMERAL i BIT1 i BIT1 u_0 i i d_ a i NUMERAL i BIT1 i BIT1 u_0 i realu_ofu_num i NUMERAL u_0 i measure i closedu_interval i i CONS i i c_ a b NIL i i s_b_ i i a_ i i realu_add i i realu_pow i i d_ i i d_ A i NUMERAL i BIT1 u_0 i NUMERAL i BIT1 u_0 i NUMERAL i BIT0 i BIT1 u_0 i i realu_pow i i d_ i i d_ A i NUMERAL i BIT0 i BIT1 u_0 i NUMERAL i BIT1 u_0 i NUMERAL i BIT0 i BIT1 u_0 i realu_ofu_num i NUMERAL i BIT1 u_0 i i s_b_ i i a_ i i d_ i i d_ A i NUMERAL i BIT1 u_0 i NUMERAL i BIT1 u_0 i i d_ i i d_ A i NUMERAL i BIT0 i BIT1 u_0 i NUMERAL i BIT0 i BIT1 u_0 i i a_ i i d_ i i d_ A i NUMERAL i BIT1 u_0 i NUMERAL i BIT0 i BIT1 u_0 i realu_neg i i d_ i i d_ A i NUMERAL i BIT0 i BIT1 u_0 i NUMERAL i BIT1 u_0 i rotationu_matrix A i i s_b_ i i realu_le i realu_abs i i d_ x i NUMERAL i BIT1 u_0 i realu_ofu_num i NUMERAL i BIT1 u_0 i i s_b_ i i realu_le i realu_abs i i d_ x i NUMERAL i BIT0 i BIT1 u_0 i realu_ofu_num i NUMERAL i BIT1 u_0 i i b_s_ i i a_ i i d_ x i NUMERAL i BIT1 u_0 i realu_neg i realu_ofu_num i NUMERAL i BIT1 u_0 i i b_s_ i i a_ i i d_ x i NUMERAL i BIT1 u_0 i realu_ofu_num i NUMERAL i BIT1 u_0 i i b_s_ i i a_ i i d_ x i NUMERAL i BIT0 i BIT1 u_0 i realu_neg i realu_ofu_num i NUMERAL i BIT1 u_0 i i a_ i i d_ x i NUMERAL i BIT0 i BIT1 u_0 i realu_ofu_num i NUMERAL i BIT1 u_0 i i a_ i infnorm x i realu_ofu_num i NUMERAL i BIT1 u_0 i i realu_add i i realu_mul x1 i i realu_mul x4 i i realu_add i realu_neg x1 i i realu_add x2 i i realu_add i i realu_sub x3 x4 i i realu_add x5 x6 i i realu_add i i realu_mul x2 i i realu_mul x5 i i realu_add i i realu_sub x1 x2 i i realu_add x3 i i realu_add i i realu_sub x4 x5 x6 i i realu_sub i i realu_sub i i realu_sub i i realu_sub i i realu_mul x3 i i realu_mul x6 i i realu_add x1 i i realu_add i i realu_sub x2 x3 i i realu_add x4 i i realu_sub x5 x6 i i realu_mul x2 i i realu_mul x3 x4 i i realu_mul x1 i i realu_mul x3 x5 i i realu_mul x1 i i realu_mul x2 x6 i i realu_mul x4 i i realu_mul x5 x6 i i i i i i deltau_x x1 x2 x3 x4 x5 x6 i i i COND i i a_ i Im z i realu_ofu_num i NUMERAL u_0 i i i COND i i realu_le i realu_ofu_num i NUMERAL u_0 i Re z i complex i i c_ i sqrt i Re z i realu_ofu_num i NUMERAL u_0 i complex i i c_ i realu_ofu_num i NUMERAL u_0 i sqrt i realu_neg i Re z i complex i i c_ i sqrt i i realu_div i i realu_add i vectoru_norm z i Re z i realu_ofu_num i NUMERAL i BIT0 i BIT1 u_0 i i realu_mul i i realu_div i Im z i realu_abs i Im z i sqrt i i realu_div i i realu_sub i vectoru_norm z i Re z i realu_ofu_num i NUMERAL i BIT0 i BIT1 u_0 i csqrt z i i realu_div i sqrt i i i i i i deltau_x i i realu_pow i distance i i c_ x1 x2 i NUMERAL i BIT0 i BIT1 u_0 i i realu_pow i distance i i c_ x1 x3 i NUMERAL i BIT0 i BIT1 u_0 i i realu_pow i distance i i c_ x1 x4 i NUMERAL i BIT0 i BIT1 u_0 i i realu_pow i distance i i c_ x3 x4 i NUMERAL i BIT0 i BIT1 u_0 i i realu_pow i distance i i c_ x2 x4 i NUMERAL i BIT0 i BIT1 u_0 i i realu_pow i distance i i c_ x2 x3 i NUMERAL i BIT0 i BIT1 u_0 i realu_ofu_num i NUMERAL i BIT0 i BIT0 i BIT1 i BIT1 u_0 i measure i i hull convex i i INSERT x1 i i INSERT x2 i i INSERT x3 i i INSERT x4 EMPTY i i s_b_ i i differentiable f i at z i i s_b_ i i a_ i i d_ i i d_ i i jacobian f i at z i NUMERAL i BIT1 u_0 i NUMERAL i BIT1 u_0 i i d_ i i d_ i i jacobian f i at z i NUMERAL i BIT0 i BIT1 u_0 i NUMERAL i BIT0 i BIT1 u_0 i i a_ i i d_ i i d_ i i jacobian f i at z i NUMERAL i BIT1 u_0 i NUMERAL i BIT0 i BIT1 u_0 i realu_neg i i d_ i i d_ i i jacobian f i at z i NUMERAL i BIT0 i BIT1 u_0 i NUMERAL i BIT1 u_0 i i complexu_differentiable f i at z i i s_b_ i i a_ i i dot e1 e1 i realu_ofu_num i NUMERAL i BIT1 u_0 i i s_b_ i i a_ i i dot e2 e2 i realu_ofu_num i NUMERAL i BIT1 u_0 i i s_b_ i i a_ i i dot e3 e3 i realu_ofu_num i NUMERAL i BIT1 u_0 i i s_b_ i i a_ i i dot e1 e2 i realu_ofu_num i NUMERAL u_0 i i s_b_ i i a_ i i dot e1 e3 i realu_ofu_num i NUMERAL u_0 i i s_b_ i i a_ i i dot e2 e3 i realu_ofu_num i NUMERAL u_0 i i realu_lt i realu_ofu_num i NUMERAL u_0 i i dot i i cross e1 e2 e3 i i i orthonormal e1 e2 e3 i i realu_add i i realu_mul i det i vector i i CONS y1 i i CONS x2 i i CONS x3 NIL i det i vector i i CONS x1 i i CONS y2 i i CONS y3 NIL i i realu_add i i realu_mul i det i vector i i CONS y2 i i CONS x2 i i CONS x3 NIL i det i vector i i CONS y1 i i CONS x1 i i CONS y3 NIL i i realu_mul i det i vector i i CONS y3 i i CONS x2 i i CONS x3 NIL i det i vector i i CONS y1 i i CONS y2 i i CONS x1 NIL i i realu_mul i det i vector i i CONS x1 i i CONS x2 i i CONS x3 NIL i det i vector i i CONS y1 i i CONS y2 i i CONS y3 NIL i i realu_div i realu_abs i i realu_sub i i realu_mul i i realu_sub i i d_ b i NUMERAL i BIT1 u_0 i i d_ a i NUMERAL i BIT1 u_0 i i realu_sub i i d_ c i NUMERAL i BIT0 i BIT1 u_0 i i d_ a i NUMERAL i BIT0 i BIT1 u_0 i i realu_mul i i realu_sub i i d_ b i NUMERAL i BIT0 i BIT1 u_0 i i d_ a i NUMERAL i BIT0 i BIT1 u_0 i i realu_sub i i d_ c i NUMERAL i BIT1 u_0 i i d_ a i NUMERAL i BIT1 u_0 i realu_ofu_num i NUMERAL i BIT0 i BIT1 u_0 i measure i i hull convex i i INSERT a i i INSERT b i i INSERT c EMPTY i i i COND i i s_b_ i i realu_lt i i d_ a i NUMERAL i BIT1 u_0 i i d_ b i NUMERAL i BIT1 u_0 i i realu_lt i i d_ a i NUMERAL i BIT0 i BIT1 u_0 i i d_ b i NUMERAL i BIT0 i BIT1 u_0 i i realu_mul i i realu_sub i i d_ b i NUMERAL i BIT1 u_0 i i d_ a i NUMERAL i BIT1 u_0 i i realu_sub i i d_ b i NUMERAL i BIT0 i BIT1 u_0 i i d_ a i NUMERAL i BIT0 i BIT1 u_0 i realu_ofu_num i NUMERAL u_0 i measure i openu_interval i i c_ a b i i i COND i i s_b_ i i realu_lt i i d_ a i NUMERAL i BIT1 u_0 i i d_ b i NUMERAL i BIT1 u_0 i i realu_lt i i d_ a i NUMERAL i BIT0 i BIT1 u_0 i i d_ b i NUMERAL i BIT0 i BIT1 u_0 i i realu_mul i i realu_sub i i d_ b i NUMERAL i BIT1 u_0 i i d_ a i NUMERAL i BIT1 u_0 i i realu_sub i i d_ b i NUMERAL i BIT0 i BIT1 u_0 i i d_ a i NUMERAL i BIT0 i BIT1 u_0 i realu_ofu_num i NUMERAL u_0 i measure i closedu_interval i i CONS i i c_ a b NIL i i i COND i i s_b_ i i realu_le i i d_ a i NUMERAL i BIT1 u_0 i i d_ b i NUMERAL i BIT1 u_0 i i realu_le i i d_ a i NUMERAL i BIT0 i BIT1 u_0 i i d_ b i NUMERAL i BIT0 i BIT1 u_0 i i realu_mul i i realu_sub i i d_ b i NUMERAL i BIT1 u_0 i i d_ a i NUMERAL i BIT1 u_0 i i realu_sub i i d_ b i NUMERAL i BIT0 i BIT1 u_0 i i d_ a i NUMERAL i BIT0 i BIT1 u_0 i realu_ofu_num i NUMERAL u_0 i measure i openu_interval i i c_ a b i i i COND i i s_b_ i i realu_le i i d_ a i NUMERAL i BIT1 u_0 i i d_ b i NUMERAL i BIT1 u_0 i i realu_le i i d_ a i NUMERAL i BIT0 i BIT1 u_0 i i d_ b i NUMERAL i BIT0 i BIT1 u_0 i i realu_mul i i realu_sub i i d_ b i NUMERAL i BIT1 u_0 i i d_ a i NUMERAL i BIT1 u_0 i i realu_sub i i d_ b i NUMERAL i BIT0 i BIT1 u_0 i i d_ a i NUMERAL i BIT0 i BIT1 u_0 i realu_ofu_num i NUMERAL u_0 i measure i closedu_interval i i CONS i i c_ a b NIL i i a_ i i realu_mul i i realu_sub i i d_ z i NUMERAL i BIT1 u_0 i i d_ x i NUMERAL i BIT1 u_0 i i realu_sub i i d_ y i NUMERAL i BIT0 i BIT1 u_0 i i d_ x i NUMERAL i BIT0 i BIT1 u_0 i i realu_mul i i realu_sub i i d_ y i NUMERAL i BIT1 u_0 i i d_ x i NUMERAL i BIT1 u_0 i i realu_sub i i d_ z i NUMERAL i BIT0 i BIT1 u_0 i i d_ x i NUMERAL i BIT0 i BIT1 u_0 i collinear i i INSERT x i i INSERT y i i INSERT z EMPTY i i realu_sub i i realu_mul i i d_ i i d_ A i NUMERAL i BIT1 u_0 i NUMERAL i BIT1 u_0 i i d_ i i d_ A i NUMERAL i BIT0 i BIT1 u_0 i NUMERAL i BIT0 i BIT1 u_0 i i realu_mul i i d_ i i d_ A i NUMERAL i BIT1 u_0 i NUMERAL i BIT0 i BIT1 u_0 i i d_ i i d_ A i NUMERAL i BIT0 i BIT1 u_0 i NUMERAL i BIT1 u_0 i det A i i realu_sub i i realu_add i i realu_pow i distance i i c_ A B i NUMERAL i BIT0 i BIT1 u_0 i i realu_pow i distance i i c_ A C i NUMERAL i BIT0 i BIT1 u_0 i i realu_mul i realu_ofu_num i NUMERAL i BIT0 i BIT1 u_0 i i realu_mul i distance i i c_ A B i i realu_mul i distance i i c_ A C i cos i angle i i c_ B i i c_ A C i i realu_pow i distance i i c_ B C i NUMERAL i BIT0 i BIT1 u_0 i vector i i CONS i i realu_mul i i d_ t i NUMERAL i BIT1 u_0 i i d_ u i NUMERAL i BIT1 u_0 i i CONS i i realu_mul i i d_ t i NUMERAL i BIT0 i BIT1 u_0 i i d_ u i NUMERAL i BIT0 i BIT1 u_0 i i CONS i i realu_mul i i d_ t i NUMERAL i BIT1 i BIT1 u_0 i i d_ u i NUMERAL i BIT1 i BIT1 u_0 NIL i i scale t u i vector i i CONS i i realu_sub i i realu_mul i i d_ x i NUMERAL i BIT1 u_0 i cos t i i realu_mul i i d_ x i NUMERAL i BIT0 i BIT1 u_0 i sin t i i CONS i i realu_add i i realu_mul i i d_ x i NUMERAL i BIT1 u_0 i sin t i i realu_mul i i d_ x i NUMERAL i BIT0 i BIT1 u_0 i cos t NIL i i rotate2d t x i i i COND i i b_s_ i i a_ a b i i a_ c b i realu_ofu_num i NUMERAL i BIT1 u_0 i sqrt i i realu_sub i realu_ofu_num i NUMERAL i BIT1 u_0 i i realu_pow i i realu_div i i dot i i vectoru_sub a b i i vectoru_sub c b i i realu_mul i vectoru_norm i i vectoru_sub a b i vectoru_norm i i vectoru_sub c b i NUMERAL i BIT0 i BIT1 u_0 i sin i angle i i c_ a i i c_ b c i complex i i c_ i i realu_div i Re z i i realu_add i i realu_pow i Re z i NUMERAL i BIT0 i BIT1 u_0 i i realu_pow i Im z i NUMERAL i BIT0 i BIT1 u_0 i i realu_div i realu_neg i Im z i i realu_add i i realu_pow i Re z i NUMERAL i BIT0 i BIT1 u_0 i i realu_pow i Im z i NUMERAL i BIT0 i BIT1 u_0 i complexu_inv z i i realu_add i i realu_mul i i d_ x i NUMERAL i BIT1 u_0 i i d_ y i NUMERAL i BIT1 u_0 i i realu_add i i realu_mul i i d_ x i NUMERAL i BIT0 i BIT1 u_0 i i d_ y i NUMERAL i BIT0 i BIT1 u_0 i i realu_mul i i d_ x i NUMERAL i BIT1 i BIT1 u_0 i i d_ y i NUMERAL i BIT1 i BIT1 u_0 i i dot x y i i s_b_ i w_ i i a_ A B i i s_b_ i w_ i i a_ C B i i b_s_ i i a_ i distance i i c_ A B i i realu_add i distance i i c_ A C i distance i i c_ C B i i a_ i distance i i c_ B C i i realu_add i distance i i c_ A C i distance i i c_ A B i i a_ i angle i i c_ A i i c_ B C i realu_ofu_num i NUMERAL u_0 i i i COND i i b_s_ i i a_ a b i i a_ c b i realu_ofu_num i NUMERAL i BIT1 u_0 i i realu_sub i realu_ofu_num i NUMERAL i BIT1 u_0 i i realu_pow i i realu_div i i dot i i vectoru_sub a b i i vectoru_sub c b i i realu_mul i vectoru_norm i i vectoru_sub a b i vectoru_norm i i vectoru_sub c b i NUMERAL i BIT0 i BIT1 u_0 i i realu_pow i sin i angle i i c_ a i i c_ b c i NUMERAL i BIT0 i BIT1 u_0 i i i COND i i b_s_ i i a_ x i vec i NUMERAL u_0 i i a_ y i vec i NUMERAL u_0 i realu_ofu_num i NUMERAL i BIT1 u_0 i sqrt i i realu_sub i realu_ofu_num i NUMERAL i BIT1 u_0 i i realu_pow i i realu_div i i dot x y i i realu_mul i vectoru_norm x i vectoru_norm y i NUMERAL i BIT0 i BIT1 u_0 i sin i i vectoru_angle x y i i i COND i i a_ k i i p_ n i NUMERAL i BIT1 u_0 i realu_ofu_num i NUMERAL i BIT1 u_0 i i realu_mul i i realu_div i i realu_add i realu_ofu_num n i realu_ofu_num i NUMERAL i BIT1 u_0 i i realu_add i realu_ofu_num n i i realu_sub i realu_ofu_num i NUMERAL i BIT1 u_0 i realu_ofu_num k i realu_ofu_num i binom i i c_ n k i realu_ofu_num i binom i i c_ i i p_ n i NUMERAL i BIT1 u_0 k i i i COND i i b_s_ i i a_ x i vec i NUMERAL u_0 i i a_ y i vec i NUMERAL u_0 i realu_ofu_num i NUMERAL i BIT1 u_0 i i realu_sub i realu_ofu_num i NUMERAL i BIT1 u_0 i i realu_pow i i realu_div i i dot x y i i realu_mul i vectoru_norm x i vectoru_norm y i NUMERAL i BIT0 i BIT1 u_0 i i realu_pow i sin i i vectoru_angle x y i NUMERAL i BIT0 i BIT1 u_0 i i b_s_ i i a_ x i realu_ofu_num i NUMERAL u_0 i i b_s_ i i a_ y i realu_ofu_num i NUMERAL u_0 i i b_s_ i i s_b_ i i realu_lt i realu_ofu_num i NUMERAL u_0 x i i realu_lt i realu_ofu_num i NUMERAL u_0 y i i s_b_ i i realu_lt x i realu_ofu_num i NUMERAL u_0 i i realu_lt y i realu_ofu_num i NUMERAL u_0 i i realu_le i realu_ofu_num i NUMERAL u_0 i i realu_mul x y i i b_s_ i i a_ x i intu_ofu_num i NUMERAL u_0 i i b_s_ i i a_ y i intu_ofu_num i NUMERAL u_0 i i b_s_ i i s_b_ i i intu_lt i intu_ofu_num i NUMERAL u_0 x i i intu_lt i intu_ofu_num i NUMERAL u_0 y i i s_b_ i i intu_lt x i intu_ofu_num i NUMERAL u_0 i i intu_lt y i intu_ofu_num i NUMERAL u_0 i i intu_le i intu_ofu_num i NUMERAL u_0 i i intu_mul x y i i realu_mul i i i i azim v0 v1 v2 v3 i i realu_mul i i realu_pow h i NUMERAL i BIT1 i BIT1 u_0 i i realu_div i i realu_sub i i realu_div i realu_ofu_num i NUMERAL i BIT1 u_0 i i realu_mul a a i realu_ofu_num i NUMERAL i BIT1 u_0 i realu_ofu_num i NUMERAL i BIT0 i BIT1 i BIT1 u_0 i i i i i i volu_frusttu_wedge v0 v1 v2 v3 h a i i realu_div i i realu_sub i i realu_add i i realu_pow i vectoru_norm x i NUMERAL i BIT0 i BIT1 u_0 i i realu_pow i vectoru_norm y i NUMERAL i BIT0 i BIT1 u_0 i i realu_pow i vectoru_norm i i vectoru_sub x y i NUMERAL i BIT0 i BIT1 u_0 i realu_ofu_num i NUMERAL i BIT0 i BIT1 u_0 i i dot x y i i realu_div i i realu_sub i i realu_sub i i realu_pow i vectoru_norm i i vectoru_add x y i NUMERAL i BIT0 i BIT1 u_0 i i realu_pow i vectoru_norm x i NUMERAL i BIT0 i BIT1 u_0 i i realu_pow i vectoru_norm y i NUMERAL i BIT0 i BIT1 u_0 i realu_ofu_num i NUMERAL i BIT0 i BIT1 u_0 i i dot x y i i realu_add i i realu_mul i det i vector i i CONS y1 i i CONS x2 NIL i det i vector i i CONS x1 i i CONS y2 NIL i i realu_mul i det i vector i i CONS y2 i i CONS x2 NIL i det i vector i i CONS y1 i i CONS x1 NIL i i realu_mul i det i vector i i CONS x1 i i CONS x2 NIL i det i vector i i CONS y1 i i CONS y2 NIL i i INTER i i hull affine i i INSERT a i i INSERT b EMPTY i ball i i c_ i i r_ i realu_inv i realu_ofu_num i NUMERAL i BIT0 i BIT1 u_0 i i vectoru_add a b i i realu_div i vectoru_norm i i vectoru_sub b a i realu_ofu_num i NUMERAL i BIT0 i BIT1 u_0 i openu_segment i i c_ a b i i INTER i i hull affine i i INSERT a i i INSERT b EMPTY i cball i i c_ i i r_ i realu_inv i realu_ofu_num i NUMERAL i BIT0 i BIT1 u_0 i i vectoru_add a b i i realu_div i vectoru_norm i i vectoru_sub b a i realu_ofu_num i NUMERAL i BIT0 i BIT1 u_0 i closedu_segment i i CONS i i c_ a b NIL i i complexu_mul i Cx i realu_ofu_num i NUMERAL i BIT0 i BIT1 u_0 i i complexu_mul i csin i i complexu_div i i vectoru_sub w z i Cx i realu_ofu_num i NUMERAL i BIT0 i BIT1 u_0 i ccos i i complexu_div i i vectoru_add w z i Cx i realu_ofu_num i NUMERAL i BIT0 i BIT1 u_0 i i vectoru_sub i csin w i csin z i i complexu_mul i Cx i realu_ofu_num i NUMERAL i BIT0 i BIT1 u_0 i i complexu_mul i csin i i complexu_div i i vectoru_add w z i Cx i realu_ofu_num i NUMERAL i BIT0 i BIT1 u_0 i ccos i i complexu_div i i vectoru_sub w z i Cx i realu_ofu_num i NUMERAL i BIT0 i BIT1 u_0 i i vectoru_add i csin w i csin z i i complexu_mul i Cx i realu_ofu_num i NUMERAL i BIT0 i BIT1 u_0 i i complexu_mul i csin i i complexu_div i i vectoru_add w z i Cx i realu_ofu_num i NUMERAL i BIT0 i BIT1 u_0 i csin i i complexu_div i i vectoru_sub z w i Cx i realu_ofu_num i NUMERAL i BIT0 i BIT1 u_0 i i vectoru_sub i ccos w i ccos z i i complexu_mul i Cx i realu_ofu_num i NUMERAL i BIT0 i BIT1 u_0 i i complexu_mul i ccos i i complexu_div i i vectoru_add w z i Cx i realu_ofu_num i NUMERAL i BIT0 i BIT1 u_0 i ccos i i complexu_div i i vectoru_sub w z i Cx i realu_ofu_num i NUMERAL i BIT0 i BIT1 u_0 i i vectoru_add i ccos w i ccos z i i DIFF i i hull convex i i INSERT a i i INSERT b i i INSERT c EMPTY i i UNION i closedu_segment i i CONS i i c_ a b NIL i i UNION i closedu_segment i i CONS i i c_ b c NIL i closedu_segment i i CONS i i c_ c a NIL i interior i i hull convex i i INSERT a i i INSERT b i i INSERT c EMPTY i i complexu_mul i i complexu_div ii i Cx i realu_ofu_num i NUMERAL i BIT0 i BIT1 u_0 i clog i i complexu_div i i vectoru_sub i Cx i realu_ofu_num i NUMERAL i BIT1 u_0 i i complexu_mul ii z i i vectoru_add i Cx i realu_ofu_num i NUMERAL i BIT1 u_0 i i complexu_mul ii z i catn z i i i COND i i b_s_ i i a_ x i vec i NUMERAL u_0 i i a_ y i vec i NUMERAL u_0 i i realu_div pi i realu_ofu_num i NUMERAL i BIT0 i BIT1 u_0 i acs i i realu_div i i dot x y i i realu_mul i vectoru_norm x i vectoru_norm y i i vectoru_angle x y i i b_s_ i i a_ i angle i i c_ A i i c_ B C i angle i i c_ Ai_ i i c_ Bi_ Ci_ i i a_ i angle i i c_ A i i c_ B C i i realu_sub pi i angle i i c_ Ai_ i i c_ Bi_ Ci_ i i a_ i sin i angle i i c_ A i i c_ B C i sin i angle i i c_ Ai_ i i c_ Bi_ Ci_ i i i COND i i b_s_ i i a_ a b i i a_ c b i realu_ofu_num i NUMERAL u_0 i i realu_div i i dot i i vectoru_sub a b i i vectoru_sub c b i i realu_mul i vectoru_norm i i vectoru_sub a b i vectoru_norm i i vectoru_sub c b i cos i angle i i c_ a i i c_ b c i i realu_mul i realu_ofu_num i NUMERAL i BIT0 i BIT1 u_0 i i realu_mul i sin i i realu_div i i realu_add x y i realu_ofu_num i NUMERAL i BIT0 i BIT1 u_0 i cos i i realu_div i i realu_sub x y i realu_ofu_num i NUMERAL i BIT0 i BIT1 u_0 i i realu_add i sin x i sin y i i realu_mul i realu_ofu_num i NUMERAL i BIT0 i BIT1 u_0 i i realu_mul i sin i i realu_div i i realu_sub x y i realu_ofu_num i NUMERAL i BIT0 i BIT1 u_0 i cos i i realu_div i i realu_add x y i realu_ofu_num i NUMERAL i BIT0 i BIT1 u_0 i i realu_sub i sin x i sin y i i realu_mul i realu_ofu_num i NUMERAL i BIT0 i BIT1 u_0 i i realu_mul i cos i i realu_div i i realu_add x y i realu_ofu_num i NUMERAL i BIT0 i BIT1 u_0 i cos i i realu_div i i realu_sub x y i realu_ofu_num i NUMERAL i BIT0 i BIT1 u_0 i i realu_add i cos x i cos y i i realu_mul i realu_ofu_num i NUMERAL i BIT0 i BIT1 u_0 i i realu_mul i sin i i realu_div i i realu_add x y i realu_ofu_num i NUMERAL i BIT0 i BIT1 u_0 i sin i i realu_div i i realu_sub y x i realu_ofu_num i NUMERAL i BIT0 i BIT1 u_0 i i realu_sub i cos x i cos y i i s_b_ i w_ i i a_ x i vec i NUMERAL u_0 i i s_b_ i w_ i i a_ y i vec i NUMERAL u_0 i i a_ i i vectoru_add i i r_ i vectoru_norm x y i i r_ i vectoru_norm y x i vec i NUMERAL u_0 i i a_ i i vectoru_angle x y pi i i i COND i i a_ a i realu_ofu_num i NUMERAL u_0 i i realu_div pi i realu_ofu_num i NUMERAL i BIT0 i BIT1 u_0 i i i COND i i realu_le i realu_ofu_num i NUMERAL u_0 a i i vectoru_angle x y i i realu_sub pi i i vectoru_angle x y i i vectoru_angle i i r_ a x y i i i COND i i a_ a i realu_ofu_num i NUMERAL u_0 i i realu_div pi i realu_ofu_num i NUMERAL i BIT0 i BIT1 u_0 i i i COND i i realu_le i realu_ofu_num i NUMERAL u_0 a i i vectoru_angle x y i i realu_sub pi i i vectoru_angle x y i i vectoru_angle x i i r_ a y i i i COND i i realu_lt i i realu_add i frac x i frac y i realu_ofu_num i NUMERAL i BIT1 u_0 i i realu_add i frac x i frac y i i realu_sub i i realu_add i frac x i frac y i realu_ofu_num i NUMERAL i BIT1 u_0 i frac i i realu_add x y i i i COND i i realu_lt i i realu_add i frac x i frac y i realu_ofu_num i NUMERAL i BIT1 u_0 i i realu_add i floor x i floor y i i realu_add i i realu_add i floor x i floor y i realu_ofu_num i NUMERAL i BIT1 u_0 i floor i i realu_add x y i i s_b_ i i a_ i Im x i realu_ofu_num i NUMERAL u_0 i i b_s_ i i s_b_ i i realu_le a i Re x i i realu_le i Re x b i i s_b_ i i realu_le b i Re x i i realu_le i Re x a i i IN x i closedu_segment i i CONS i i c_ i Cx a i Cx b NIL i i b_s_ i i s_b_ i i l_a_ i NUMERAL i BIT0 i BIT1 u_0 x i i l_ m n i i s_b_ i i a_ x i NUMERAL u_0 i i s_b_ i w_ i i a_ m i NUMERAL u_0 i i a_ n i NUMERAL u_0 i i l_ i i EXP x m i i EXP x n i i realu_add i i realu_mul i i d_ x i NUMERAL i BIT1 u_0 i i d_ y i NUMERAL i BIT1 u_0 i i realu_mul i i d_ x i NUMERAL i BIT0 i BIT1 u_0 i i d_ y i NUMERAL i BIT0 i BIT1 u_0 i i dot x y i i b_s_ i i s_b_ i i a_ i closedu_interval i i CONS i i c_ a b NIL EMPTY i i a_ i closedu_interval i i CONS i i c_ c d NIL EMPTY i i s_b_ i i a_ a c i i a_ b d i i a_ i closedu_interval i i CONS i i c_ a b NIL i closedu_interval i i CONS i i c_ c d NIL i i realu_mul i i i i azim v0 v1 v2 v3 i i realu_mul i i realu_sub i realu_ofu_num i NUMERAL i BIT1 u_0 c i i realu_div i i realu_pow r i NUMERAL i BIT1 i BIT1 u_0 i realu_ofu_num i NUMERAL i BIT1 i BIT1 u_0 i i i i i i volu_conicu_capu_wedge v0 v1 v2 v3 r c i i s_b_ i w_ i i a_ A B i i s_b_ i w_ i i a_ C B i i a_ i distance i i c_ A C i realu_abs i i realu_sub i distance i i c_ A B i distance i i c_ C B i i a_ i angle i i c_ A i i c_ B C i realu_ofu_num i NUMERAL u_0 i i i COND i i realu_lt i realu_ofu_num i NUMERAL u_0 x i realu_ofu_num i NUMERAL i BIT1 u_0 i i i COND i i realu_lt x i realu_ofu_num i NUMERAL u_0 i realu_neg i realu_ofu_num i NUMERAL i BIT1 u_0 i realu_ofu_num i NUMERAL u_0 i realu_sgn x i i realu_lt i realu_ofu_num i NUMERAL u_0 i Re i i complexu_div i i vectoru_sub i Cx i realu_ofu_num i NUMERAL i BIT1 u_0 i i complexu_mul ii z i i vectoru_add i Cx i realu_ofu_num i NUMERAL i BIT1 u_0 i i complexu_mul ii z i i realu_lt i vectoru_norm z i realu_ofu_num i NUMERAL i BIT1 u_0 i i i COND i i intu_lt i intu_ofu_num i NUMERAL u_0 x i intu_ofu_num i NUMERAL i BIT1 u_0 i i i COND i i intu_lt x i intu_ofu_num i NUMERAL u_0 i intu_neg i intu_ofu_num i NUMERAL i BIT1 u_0 i intu_ofu_num i NUMERAL u_0 i intu_sgn x i complex i i c_ i i realu_sub i i realu_mul i Re w i Re z i i realu_mul i Im w i Im z i i realu_add i i realu_mul i Re w i Im z i i realu_mul i Im w i Re z i i complexu_mul w z i i s_b_ i w_ i i a_ x i vec i NUMERAL u_0 i i s_b_ i w_ i i a_ y i vec i NUMERAL u_0 i i a_ i vectoru_norm i i vectoru_sub x y i i realu_add i vectoru_norm x i vectoru_norm y i i a_ i i vectoru_angle x y pi i i i COND i i b_s_ i i a_ x i vec i NUMERAL u_0 i i a_ y i vec i NUMERAL u_0 i realu_ofu_num i NUMERAL u_0 i i realu_div i i dot x y i i realu_mul i vectoru_norm x i vectoru_norm y i cos i i vectoru_angle x y i i s_b_ i w_ i i a_ x i vec i NUMERAL u_0 i i s_b_ i w_ i i a_ y i vec i NUMERAL u_0 i i a_ i vectoru_norm i i vectoru_add x y i i realu_add i vectoru_norm x i vectoru_norm y i i a_ i i vectoru_angle x y i realu_ofu_num i NUMERAL u_0 i i a_ i Im i i complexu_div i i vectoru_sub i Cx i realu_ofu_num i NUMERAL i BIT1 u_0 i i complexu_mul ii z i i vectoru_add i Cx i realu_ofu_num i NUMERAL i BIT1 u_0 i i complexu_mul ii z i realu_ofu_num i NUMERAL u_0 i i a_ i Re z i realu_ofu_num i NUMERAL u_0 i measure i i INTER i ball i i c_ i vec i NUMERAL u_0 r i i affu_gt i i INSERT i vec i NUMERAL u_0 EMPTY i i INSERT i vectoru_neg v1 i i INSERT i vectoru_neg v2 i i INSERT i vectoru_neg v3 EMPTY i measure i i INTER i ball i i c_ i vec i NUMERAL u_0 r i i affu_gt i i INSERT i vec i NUMERAL u_0 EMPTY i i INSERT v1 i i INSERT v2 i i INSERT v3 EMPTY i i realu_mul i i i i azim v0 v1 v2 v3 i i realu_mul i realu_ofu_num i NUMERAL i BIT0 i BIT1 u_0 i i realu_div i i realu_pow r i NUMERAL i BIT1 i BIT1 u_0 i realu_ofu_num i NUMERAL i BIT1 i BIT1 u_0 i i i i i volu_ballu_wedge v0 v1 v2 v3 r i i s_b_ i w_ i i a_ A B i i s_b_ i w_ i i a_ C B i i a_ i distance i i c_ A C i i realu_add i distance i i c_ A B i distance i i c_ B C i i a_ i angle i i c_ A i i c_ B C pi i i realu_sub i i realu_mul i realu_ofu_num i NUMERAL i BIT0 i BIT0 i BIT1 u_0 i i realu_pow i cos x i NUMERAL i BIT1 i BIT1 u_0 i i realu_mul i realu_ofu_num i NUMERAL i BIT1 i BIT1 u_0 i cos x i cos i i realu_mul i realu_ofu_num i NUMERAL i BIT1 i BIT1 u_0 x i i b_s_ i i s_b_ i i realu_lt i realu_ofu_num i NUMERAL u_0 x i i realu_lt i realu_ofu_num i NUMERAL u_0 y i i s_b_ i i realu_lt x i realu_ofu_num i NUMERAL u_0 i i realu_lt y i realu_ofu_num i NUMERAL u_0 i i realu_lt i realu_ofu_num i NUMERAL u_0 i i realu_mul x y i i s_b_ i w_ i i a_ x i vec i NUMERAL u_0 i i s_b_ i w_ i i a_ y i vec i NUMERAL u_0 i i a_ i i r_ i vectoru_norm x y i i r_ i vectoru_norm y x i i a_ i i vectoru_angle x y i realu_ofu_num i NUMERAL u_0 i i b_s_ i i s_b_ i i intu_lt i intu_ofu_num i NUMERAL u_0 x i i intu_lt i intu_ofu_num i NUMERAL u_0 y i i s_b_ i i intu_lt x i intu_ofu_num i NUMERAL u_0