1024 1024_1 0 1024_1 x if lt x 10 x if true x double 1024_1 s x if false x s 0 lt 0 s y true lt x 0 false lt s x s y lt x y double 0 0 double s x s s double x 10 double s double s s 0 2.2 1024_1 x lt x 10 10 double s double s s 0 if true x 1024_1 s x 10 double s s 0 1024 1024_1 0 lt s x s y lt x y 1024_1 x 10 1024_1 x if lt x 10 x if true x double 1024_1 s x double s x double x true 1024 1024_1 0 false 1024_1 x if lt x 10 x if true x 1024_1 s x true Failed! NaTT certifiable-1.6