t o x1 m a x1 t e x1 n s x1 a l x1 a t x1 o m a x1 t e n x1 s a x1 l a t o m a t e x1 n s x1 a l a t x1 2.2 t e x1 s x1 s a x1 a t o m a t e x1 t o x1 a x1 s a x1 a t e x1 a l x1 a t x1 a l x1 t x1 o m a x1 t e n x1 s a x1 t o m a t e x1 s a x1 t e x1 n s x1 t x1 n s x1 a l a t x1 t e x1 n s x1 s a x1 o m a t e x1 o m a x1 n x1 n s x1 a t x1 true n s x1 a t x1 o m a x1 t e n x1 o m a x1 n x1 a l x1 t x1 s a x1 o m a t e x1 t e x1 n s x1 n s x1 a l a t x1 a l x1 a t x1 s a x1 a t e x1 t o x1 a x1 s a x1 a t o m a t e x1 n s x1 t x1 s a x1 t e x1 s a x1 t o m a t e x1 t e x1 s x1 true 2 1 a 1 0 1 0 0 1 0 1 s 1 1 1 n 1 0 2 t 1 1 0 1 l 1 1 0 0 0 1 1 1 o 1 0 1 0 0 1 2 44542 s 1 12300 0 o 1 0 0 1 0 1 0 0 e 1 0 1 0 1 1 0 44541 a 1 12300 0 t 1 12300 0 n 1 1 0 0 0 1 12299 0 m 1 0 1 0 1 1 2 12299 t e x1 s x1 s a x1 t o m a t e x1 s a x1 t e x1 n s x1 t x1 s a x1 a t o m a t e x1 t o x1 a x1 s a x1 a t e x1 a l x1 a t x1 n s x1 a l a t x1 t e x1 n s x1 s a x1 o m a t e x1 a l x1 t x1 o m a x1 t e n x1 n s x1 a t x1 o m a x1 t e n x1 t o x1 m a x1 a l x1 a t x1 s a x1 l a t o m a t e x1 n s x1 a l a t x1 t e x1 n s x1 o m a x1 t e n x1 t o x1 a x1 a l x1 t x1 a l x1 a t x1 s a x1 t e x1 s a x1 a t e x1 s a x1 o m a t e x1 s a x1 t o m a t e x1 s a x1 a t o m a t e x1 n s x1 t x1 n s x1 a t x1 n s x1 a l a t x1 t e x1 s x1 t e x1 n s x1 true a 1 1 0 s 1 1 1 n 1 0 t 1 0 l 1 1 0 o 1 1 26643 s 1 1 28884 o 1 28884 e 1 1 28884 a 1 1 1 t 1 1 0 n 1 1 1 m 1 0 t e x1 s x1 s a x1 o m a t e x1 s a x1 t e x1 a l x1 a t x1 o m a x1 t e n x1 o m a x1 t e n x1 t o x1 m a x1 a l x1 a t x1 s a x1 l a t o m a t e x1 n s x1 a l a t x1 t e x1 n s x1 a l x1 a t x1 true a 1 0 s 1 2 n 1 1 t 1 1 l 1 2 o 1 1 26643 s 1 28884 o 1 28884 e 1 28884 a 1 1 1 t 1 1 0 n 1 1 1 m 1 1 o m a x1 t e n x1 t o x1 m a x1 a l x1 a t x1 s a x1 l a t o m a t e x1 n s x1 a l a t x1 t e x1 n s x1 o m a x1 t e n x1 s a x1 t e x1 s a x1 o m a t e x1 t e x1 s x1 true 2 1 a 1 0 0 0 1 1 0 1 s 1 0 0 1 0 1 1 1 n 1 1 0 0 0 1 1 1 t 1 0 1 1 0 1 1 0 l 1 0 1 0 0 1 1 0 o 1 0 1 1 1 1 37542 25201 s 1 0 0 1 0 1 57539 0 o 1 57540 0 e 1 0 0 0 1 1 4751 40487 a 1 12300 0 t 1 1 0 1 0 1 12301 0 n 1 12299 0 m 1 0 0 1 1 1 3967 2946 t e x1 s x1 s a x1 o m a t e x1 o m a x1 t e n x1 o m a x1 t e n x1 t o x1 m a x1 a l x1 a t x1 s a x1 l a t o m a t e x1 n s x1 a l a t x1 t e x1 n s x1 o m a x1 t e n x1 s a x1 o m a t e x1 t e x1 s x1 true 2 1 a 1 0 0 0 1 1 30787 0 s 1 1 4 n 1 0 1 1 0 1 30783 0 t 1 1 0 0 0 1 30787 1 l 1 1 1 o 1 1 0 1 1 1 61570 1 s 1 1 0 0 0 1 12300 0 o 1 1 0 0 0 1 43085 0 e 1 1 0 0 a 1 12300 0 t 1 1 0 0 0 1 12301 0 n 1 12299 0 m 1 0 0 1 0 1 0 0 o m a x1 t e n x1 t o x1 m a x1 a l x1 a t x1 s a x1 l a t o m a t e x1 n s x1 a l a t x1 t e x1 n s x1 NaTT certifiable-1.6