a__2nd cons1 X cons Y Z mark Y a__2nd cons X X1 a__2nd cons1 mark X mark X1 a__from X cons mark X from s X mark 2nd X a__2nd mark X mark from X a__from mark X mark cons X1 X2 cons mark X1 X2 mark s X s mark X mark cons1 X1 X2 cons1 mark X1 mark X2 a__2nd X 2nd X a__from X from X 2.2 a__2nd cons X X1 mark X mark from X a__from mark X mark 2nd X mark X a__2nd cons1 X cons Y Z mark Y mark cons1 X1 X2 mark X2 mark 2nd X a__2nd mark X mark from X mark X mark cons1 X1 X2 mark X1 mark s X mark X a__2nd cons X X1 mark X1 a__2nd cons X X1 a__2nd cons1 mark X mark X1 a__from X mark X mark cons X1 X2 mark X1 true mark cons X1 X2 mark X1 mark 2nd X a__2nd mark X a__from X mark X a__2nd cons X X1 a__2nd cons1 mark X mark X1 a__2nd cons X X1 mark X1 mark cons1 X1 X2 mark X2 a__2nd cons1 X cons Y Z mark Y mark 2nd X mark X mark from X a__from mark X mark s X mark X mark cons1 X1 X2 mark X1 mark from X mark X a__2nd cons X X1 mark X true s 1 1 0 a__from 1 1 30614 a__from 1 1 30614 2nd 1 1 2 a__2nd 1 1 2 a__2nd 1 1 2 cons1 2 1 5854 2 0 0 mark 1 1 1 from 1 1 30614 mark 1 1 0 cons 2 1 5855 2 0 0 mark s X mark X mark cons1 X1 X2 mark X2 a__2nd cons X X1 a__2nd cons1 mark X mark X1 mark 2nd X a__2nd mark X mark cons1 X1 X2 cons1 mark X1 mark X2 a__2nd cons1 X cons Y Z mark Y a__from X cons mark X from s X mark from X a__from mark X a__from X from X mark s X s mark X a__2nd X 2nd X mark cons X1 X2 cons mark X1 X2 a__2nd cons X X1 a__2nd cons1 mark X mark X1 mark cons1 X1 X2 mark X2 mark s X mark X true s 1 1 0 a__from 1 0 a__from 1 2 2nd 1 3 a__2nd 1 2 a__2nd 1 0 cons1 2 2 1 mark 1 1 0 from 1 1 3 mark 1 1 cons 2 2 2 mark s X mark X mark s X mark X true s 1 1 1 a__from 1 0 a__from 1 19782 2nd 1 19783 a__2nd 1 19782 a__2nd 1 0 cons1 2 2 1 mark 1 1 0 from 1 1 19783 mark 1 19781 cons 2 2 19782 a__2nd cons X X1 a__2nd cons1 mark X mark X1 false NaTT certifiable-1.6