22873 Alarm clock | NaTT.exe -v:0 -x:"$2/cpf.xml" --tcap --edge:1 i i DIFF i i DIFF UNIV i interior s0 i interior i i DIFF UNIV s0 i frontier s0 i i connectedu_component UNIV x UNIV i i realu_div sol0 pi const1 i i p_ i i t_ m n i i t_ m p i i t_ m i i p_ n p i i sub6 i i scalar6 i i add6 i mku_456 i rotate5 i truncateu_solu_x c i i add6 i mku_456 i rotate6 i truncateu_solu_x c i mku_456 i rotate4 i truncateu_solu_x c i i realu_mul i realu_ofu_num i NUMERAL i BIT0 i BIT1 u_0 i i realu_div mm1 pi i i scalar6 i i add6 i i mul6 i i scalar6 i uni i i c_ lfun i i scalar6 proju_y4 i i DECIMAL i NUMERAL i BIT1 i BIT0 i BIT1 u_0 i NUMERAL i BIT0 i BIT1 i BIT0 i BIT1 u_0 m4 i mku_456 i rotate4 i truncateu_dihu_x c i i add6 i i mul6 i i scalar6 i uni i i c_ lfun i i scalar6 proju_y5 i i DECIMAL i NUMERAL i BIT1 i BIT0 i BIT1 u_0 i NUMERAL i BIT0 i BIT1 i BIT0 i BIT1 u_0 m5 i mku_456 i rotate5 i truncateu_dihu_x c i i mul6 i i scalar6 i uni i i c_ lfun i i scalar6 proju_y6 i i DECIMAL i NUMERAL i BIT1 i BIT0 i BIT1 u_0 i NUMERAL i BIT0 i BIT1 i BIT0 i BIT1 u_0 m6 i mku_456 i rotate6 i truncateu_dihu_x c i i realu_mul i realu_ofu_num i NUMERAL i BIT0 i BIT0 i BIT0 i BIT1 u_0 i i realu_div mm2 pi i i i i truncateu_vol3f c m4 m5 m6 i i realu_integral i closedu_realu_interval i i CONS i i c_ a b NIL f i i realu_integral i openu_realu_interval i i c_ a b f 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 realu_div i realu_ofu_num i NUMERAL i BIT1 u_0 i sqrt i i realu_add i realu_ofu_num i NUMERAL i BIT1 u_0 i i realu_pow x i NUMERAL i BIT0 i BIT1 u_0 i cos i atn x i ssqrt i realu_ofu_num i NUMERAL u_0 i realu_ofu_num i NUMERAL u_0 i intu_neg i i intu_min i intu_neg x i intu_neg y i i intu_max x y i i UNION s0 s0 s0 i i b_s_ i FINITE s0 i i a_u_c s0 UNIV i COUNTABLE s0 i i realu_sub i i realu_mul i i realu_sub i realu_ofu_num i NUMERAL i BIT0 i BIT0 i BIT0 i BIT1 u_0 x i i realu_div i sqrt x i realu_ofu_num i NUMERAL i BIT0 i BIT0 i BIT0 i BIT1 i BIT1 u_0 i i realu_sub i i realu_mul i i realu_mul i realu_ofu_num i NUMERAL i BIT0 i BIT1 u_0 i i realu_div mm1 pi i i realu_sub i realu_ofu_num i NUMERAL i BIT1 u_0 i i realu_div i sqrt x sqrt8 i i realu_mul i i realu_mul i realu_ofu_num i NUMERAL i BIT0 i BIT0 i BIT0 i BIT1 u_0 i i realu_div mm2 pi i i realu_mul m i lfun i i realu_div i sqrt x i realu_ofu_num i NUMERAL i BIT0 i BIT1 u_0 i i truncateu_gamma2u_x m x i i IMAGE mku_finiteu_sum i i o_o_ i NUMERAL i BIT1 u_0 i i p_ i dimindex UNIV i dimindex UNIV UNIV i i sums i i o lift f i lift l i i realu_sums f l i i DIFF s0 EMPTY s0 i i add6 i truncateu_dihu_x c i i add6 i rotate2 i truncateu_dihu_x c i i sub6 i rotate3 i truncateu_dihu_x c i constant6 pi i truncateu_solu_x c 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 vectoru_add i Cx i Re z i i complexu_mul ii i Cx i Im z z i w_ i i realu_le y x i i realu_lt x y i i b_s_ i i s_b_ i i realu_le i realu_ofu_num i NUMERAL u_0 x i i realu_le i realu_ofu_num i NUMERAL u_0 y i i s_b_ i i realu_le x i realu_ofu_num i NUMERAL u_0 i i realu_le 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 INTER s0 s0 s0 i i realu_mul i lfun i i realu_div i sqrt x2 i realu_ofu_num i NUMERAL i BIT0 i BIT1 u_0 i i i i i i dih2u_x x1 x2 x3 x4 x5 x6 i i i i i i ldih2u_x x1 x2 x3 x4 x5 x6 i Arg i Cx i realu_ofu_num i NUMERAL u_0 i realu_ofu_num i NUMERAL u_0 i i p_ i i i COND i criticalu_edgeu_y y1 i NUMERAL i BIT1 u_0 i NUMERAL u_0 i i p_ i i i COND i criticalu_edgeu_y y2 i NUMERAL i BIT1 u_0 i NUMERAL u_0 i i i COND i criticalu_edgeu_y y3 i NUMERAL i BIT1 u_0 i NUMERAL u_0 i i i wtcount3u_y y1 y2 y3 i i realu_mul i gchi i sqrt x4 i i i i i i dih4u_x x1 x2 x3 x4 x5 x6 i i i i i i gchi4u_x x1 x2 x3 x4 x5 x6 i cos i i realu_sub i i realu_mul i realu_ofu_num i NUMERAL i BIT0 i BIT1 u_0 pi x i cos x i i m_ i i p_ n i NUMERAL i BIT1 u_0 m i CARD i i o_o_ m n i UNIONS i components u u i i realu_lt i i dot x x i i dot y y i i realu_lt i vectoru_norm x i vectoru_norm y i i INTER i INTERS f i INTERS g i INTERS i i UNION f g i i realu_lt i i realu_div pi i realu_ofu_num i NUMERAL i BIT0 i BIT1 u_0 i i i arcV p u v i i realu_lt i cos i i i arcV p u v i realu_ofu_num i NUMERAL u_0 i i a_ x i i inverse i nodeu_map H y i i a_ y i i nodeu_map H x i i a_ i realu_ofu_int i intu_ofu_real r r i integer r i i realu_le i i dot x x i i dot y y i i realu_le i vectoru_norm x i vectoru_norm y i pathu_image i reversepath g i pathu_image g i i i COND i w_ i i IN u i i i setu_ofu_edge v V E u i i i i i sigmau_fan x V E v u i i i i i extensionu_sigmau_fan x V E v u i i matrixu_vectoru_mul A0 i vec i NUMERAL u_0 i vec i NUMERAL u_0 i rotate3 rhazimu_x rhazim3u_x i i continuous i i o lift f net0 i i realu_continuous f net0 i angle i i c_ v i i c_ u w i i i arcV u v w i i vectoru_add x i vec i NUMERAL u_0 x i i realu_integral i closedu_realu_interval i i CONS i i c_ a a NIL f i realu_ofu_num i NUMERAL u_0 i i a_ i i DELETE s0 x s0 i w_ i i IN x s0 i openu_interval i i c_ i i vectoru_sub x i lift e i i vectoru_add x i lift e i ball i i c_ x e i i i COND i i a_ n i NUMERAL i BIT1 i BIT1 u_0 i NUMERAL u_0 i i i COND i i a_ n i NUMERAL i BIT0 i BIT0 i BIT1 u_0 i NUMERAL i BIT0 i BIT0 i BIT1 i BIT1 i BIT0 i BIT0 i BIT0 i BIT0 i BIT0 i BIT0 i BIT0 i BIT1 u_0 i i i COND i i a_ n i NUMERAL i BIT1 i BIT0 i BIT1 u_0 i NUMERAL i BIT1 i BIT1 i BIT0 i BIT0 i BIT1 i BIT0 i BIT1 i BIT1 i BIT0 i BIT1 i BIT0 i BIT0 i BIT1 u_0 i i i COND i i a_ n i NUMERAL i BIT0 i BIT1 i BIT1 u_0 i NUMERAL i BIT0 i BIT0 i BIT0 i BIT0 i BIT1 i BIT0 i BIT1 i BIT1 i BIT1 i BIT1 i BIT0 i BIT1 i BIT1 u_0 bnu_squanderTarget i bnu_squanderFace n i i intu_lt i i intu_add x i intu_neg y z i i intu_lt x i i intu_add z y i mku_num i INDu_SUC i destu_num n i SUC n i i s_b_ i i realu_le i i au_sy s1 i i c_ p q i i au_sy s0 i i c_ p q i i s_b_ i i realu_le i i au_sy s2 i i c_ p q i i au_sy s0 i i c_ p q i i s_b_ i i realu_le i i au_sy s0 i i c_ p q i i bu_sy s1 i i c_ p q i i realu_le i i au_sy s0 i i c_ p q i i bu_sy s2 i i c_ p q i i i i i COVER5u_SY p q s0 s1 s2 i i i i dihV i i vectoru_add v u i i vectoru_add v w i i vectoru_add v v1 i i vectoru_add v v2 i i i i dihV u w v1 v2 i i CONS i i c_ i realu_ofu_num i NUMERAL i BIT0 i BIT1 u_0 i i c_ y1 i i DECIMAL i NUMERAL i BIT0 i BIT1 i BIT0 i BIT1 i BIT1 i BIT0 i BIT1 i BIT1 u_0 i NUMERAL i BIT0 i BIT0 i BIT1 i BIT0 i BIT0 i BIT1 i BIT1 u_0 i i CONS i i c_ i realu_ofu_num i NUMERAL i BIT0 i BIT1 u_0 i i c_ y2 i i DECIMAL i NUMERAL i BIT0 i BIT1 i BIT0 i BIT1 i BIT1 i BIT0 i BIT1 i BIT1 u_0 i NUMERAL i BIT0 i BIT0 i BIT1 i BIT0 i BIT0 i BIT1 i BIT1 u_0 i i CONS i i c_ i realu_ofu_num i NUMERAL i BIT0 i BIT1 u_0 i i c_ y3 i i DECIMAL i NUMERAL i BIT0 i BIT1 i BIT0 i BIT1 i BIT1 i BIT0 i BIT1 i BIT1 u_0 i NUMERAL i BIT0 i BIT0 i BIT1 i BIT0 i BIT0 i BIT1 i BIT1 u_0 i i CONS i i c_ i realu_ofu_num i NUMERAL i BIT0 i BIT1 u_0 i i c_ y4 i i DECIMAL i NUMERAL i BIT0 i BIT0 i BIT1 i BIT1 i BIT1 i BIT1 i BIT1 i BIT1 u_0 i NUMERAL i BIT0 i BIT0 i BIT1 i BIT0 i BIT0 i BIT1 i BIT1 u_0 i i CONS i i c_ i i DECIMAL i NUMERAL i BIT1 i BIT0 i BIT0 i BIT0 i BIT0 i BIT1 i BIT1 i BIT1 u_0 i NUMERAL i BIT0 i BIT0 i BIT1 i BIT0 i BIT0 i BIT1 i BIT1 u_0 i i c_ y5 i i DECIMAL i NUMERAL i BIT0 i BIT0 i BIT1 i BIT1 i BIT1 i BIT1 i BIT1 i BIT1 u_0 i NUMERAL i BIT0 i BIT0 i BIT1 i BIT0 i BIT0 i BIT1 i BIT1 u_0 i i CONS i i c_ i i DECIMAL i NUMERAL i BIT1 i BIT0 i BIT0 i BIT0 i BIT0 i BIT1 i BIT1 i BIT1 u_0 i NUMERAL i BIT0 i BIT0 i BIT1 i BIT0 i BIT0 i BIT1 i BIT1 u_0 i i c_ y6 i i DECIMAL i NUMERAL i BIT0 i BIT0 i BIT1 i BIT1 i BIT1 i BIT1 i BIT1 i BIT1 u_0 i NUMERAL i BIT0 i BIT0 i BIT1 i BIT0 i BIT0 i BIT1 i BIT1 u_0 NIL i i i i i i apexu_std3u_lllu_xww y1 y2 y3 y4 y5 y6 i i c_ i i bnu_tri g v i i c_ i i bnu_quad g v i i bnu_except g v i i bnu_vertextype g v i i s_b_ i i intu_lt i intu_ofu_num i NUMERAL u_0 d i i s_b_ i i intu_lt i i intu_sub x d y i i intu_lt y i i intu_add x d i i intu_lt i intu_abs i i intu_sub y x d i i HASu_SIZE i i INSERT a i i INSERT b EMPTY i NUMERAL i BIT0 i BIT1 u_0 i w_ i i a_ a b i i INSERT x UNIV UNIV i transp i rowvector v i columnvector v i i s_b_ i i b_s_ i w_ b t1 i i b_s_ b t2 i i i COND b t1 t2 i realu_abs i twopow a i twopow a i collinear i i INSERT i vec i NUMERAL u_0 i i INSERT v i i INSERT w EMPTY i i parallel v w i i i i conicu_cap v0 v0 r a EMPTY i i i i i i i deltau_sub1u_x x1s x1 x2 x3 x4 x5 x6 i i i i i i deltau_x x1s x2 x3 x4 x5 x6 i i mul6 i uni i i c_ gchi proju_y3 dih3u_x gchi3u_x i i a_ i i dot x x i i dot y y i i a_ i vectoru_norm x i vectoru_norm y i i i hasu_integral i indicator s0 i vec i NUMERAL u_0 UNIV i negligible s0 i sqrt i i realu_mul i i dot vc vc i i realu_sub i i realu_mul i i dot va va i i dot vc vc i i realu_pow i i dot va vc i NUMERAL i BIT0 i BIT1 u_0 i vectoru_norm i i vectoru_sub i i r_ i i dot vc vc va i i r_ i i dot va vc vc i i realu_sub i i realu_pow i i realu_add a b i NUMERAL i BIT0 i BIT1 u_0 i i realu_mul i realu_ofu_num i NUMERAL i BIT0 i BIT0 i BIT1 u_0 i i realu_mul a b i i realu_pow i i realu_sub a b i NUMERAL i BIT0 i BIT1 u_0 i rank i i matrixu_mul i transp A0 A0 i rank A0 i rotate3 dihu_x dih3u_x i sin i i realu_add x i i realu_mul i realu_ofu_num n i i realu_mul i realu_ofu_num i NUMERAL i BIT0 i BIT1 u_0 pi i sin x i i DELETE EMPTY x EMPTY i i UNION i i DIFF X Y i i DIFF Y X i i SDIFF X Y i i s_b_ i i DISJOINT s0 u i i DISJOINT t u i i DISJOINT i i UNION s0 t u i i realu_mul i sqn i i i i i i deltau_x x1 x2 x3 x4 x5 x6 i i i i i i ldih6u_xu_divu_sqrtdeltau_posbranch x1 x2 x3 x4 x5 x6 i i i i i i ldih6u_xu_n x1 x2 x3 x4 x5 x6 i i hull conic EMPTY EMPTY i i i i i i i i i deltau_126u_x x3s x4s x5s x1 x2 x3 x4 x5 x6 i i i i i i deltau_x x1 x2 x3s x4s x5s x6 i pathstart i i o f p i f i pathstart p i i a_ i vec m i vec n i i a_ m n i i openu_in euclidean s0 i open s0 i i realu_sub i i realu_mul i cos x i cos y i i realu_mul i sin x i sin y i cos i i realu_add x y i UNIONS i i IMAGE i DIFF X V i i DIFF X i INTERS V i i intu_sub i i intu_sub x y x i intu_neg y i pathstart i linepath i i c_ a b a i i intu_pow i intu_neg i intu_ofu_num x i NUMERAL i BIT0 n i i intu_pow i intu_ofu_num x i NUMERAL i BIT0 n i i matrixu_mul i transp B0 i transp A0 i transp i i matrixu_mul A0 B0 i cos i realu_abs x i cos x i i sum i i o_o_ n n f i f n i conv EMPTY EMPTY i i b_s_ i i a_ i i edgeu_map H x x i i b_s_ i i a_ i i nodeu_map H x x i i a_ i i faceu_map H x x i i dartu_degenerate H x i swap i i c_ a a I i convex i i IMAGE lift s0 i isu_realinterval s0 i i intu_sub i intu_neg x i intu_neg y i i intu_sub y x i sqrt i i dot x x i vectoru_norm x i i realu_mul i realu_ofu_num i NUMERAL i BIT0 i BIT1 u_0 i realu_inv i realu_ofu_num i NUMERAL i BIT0 i BIT1 u_0 i realu_ofu_num i NUMERAL i BIT1 u_0 i rotate5 solu_euleru_xu_divu_sqrtdelta solu_euler345u_xu_divu_sqrtdelta i i i upsu_x i i realu_mul x x i i realu_mul y y i i realu_mul z z i i i upsu_xu_pow2 x y z i interior i closedu_interval i i CONS i i c_ a b NIL i openu_interval i i c_ a b i i a_ x i i inverse i faceu_map H y i i a_ y i i faceu_map H x i i IMAGE g i closedu_interval i i CONS i i c_ i vec i NUMERAL u_0 i vec i NUMERAL i BIT1 u_0 NIL i pathu_image g i i l_ i i p_ m n i i p_ m p i i l_ n p i i intu_sub x i i intu_sub x y y i closed i i IMAGE lift s0 i realu_closed s0 i i DECIMAL i NUMERAL i BIT0 i BIT1 i BIT1 i BIT0 i BIT0 i BIT0 i BIT1 i BIT1 i BIT1 i BIT1 i BIT0 i BIT0 i BIT1 i BIT1 u_0 i NUMERAL i BIT0 i BIT0 i BIT0 i BIT0 i BIT1 i BIT0 i BIT0 i BIT0 i BIT1 i BIT1 i BIT1 i BIT0 i BIT0 i BIT1 u_0 hplus i i vectoru_sub i lift x i lift y i lift i i realu_sub x y i i intu_le i i intu_add x y i i intu_add x z i i intu_le y z i i realu_lt i realu_ofu_num i NUMERAL u_0 i i realu_mul x x i w_ i i a_ x i realu_ofu_num i NUMERAL u_0 i intu_neg i intu_neg x x i realu_ofu_num i i p_ i i m_ m n i i m_ n m i realu_abs i i realu_sub i realu_ofu_num n i realu_ofu_num m i i intu_mul i intu_neg x i intu_neg y i i intu_mul x y i i realu_lt i i realu_add x i realu_neg y z i i realu_lt x i i realu_add z y i i a_ i i realu_pow x i NUMERAL i BIT0 i BIT1 u_0 i i realu_pow y i NUMERAL i BIT0 i BIT1 u_0 i i a_ i realu_abs x i realu_abs y i i mul6 proju_x2 i uni i i c_ asn i i mul6 i i add6 i i mul6 proju_x1 i constant6 i i realu_div sqrt3 i i DECIMAL i NUMERAL i BIT0 i BIT0 i BIT0 i BIT1 i BIT0 i BIT1 u_0 i NUMERAL i BIT0 i BIT1 i BIT0 i BIT1 u_0 i i mul6 i uni i i c_ sqrt i i sub6 unit6 i uni i i c_ pow2 i i mul6 proju_x1 i constant6 i i DECIMAL i NUMERAL i BIT1 i BIT0 i BIT1 u_0 i NUMERAL i BIT0 i BIT1 i BIT0 i BIT1 u_0 i constant6 i i DECIMAL i NUMERAL i BIT1 i BIT0 i BIT1 u_0 i NUMERAL i BIT0 i BIT1 i BIT0 i BIT1 u_0 i uni i i c_ sin i i div6 i constant6 pi proju_x2 asnFnhk i i s_b_ i i bnu_admissible1 w g i i s_b_ i i bnu_admissible2 w g i i bnu_admissible3 w g i i bnu_admissible w g i i a_ i