a__f X cons mark X f g X a__g 0 s 0 a__g s X s s a__g mark X a__sel 0 cons X Y mark X a__sel s X cons Y Z a__sel mark X mark Z mark f X a__f mark X mark g X a__g mark X mark sel X1 X2 a__sel mark X1 mark X2 mark cons X1 X2 cons mark X1 X2 mark 0 0 mark s X s mark X a__f X f X a__g X g X a__sel X1 X2 sel X1 X2 2.2 mark f X mark X mark g X mark X mark sel X1 X2 a__sel mark X1 mark X2 a__sel s X cons Y Z mark Z a__g s X mark X a__f X mark X mark sel X1 X2 mark X1 a__sel s X cons Y Z a__sel mark X mark Z a__g s X a__g mark X mark g X a__g mark X a__sel 0 cons X Y mark X mark cons X1 X2 mark X1 mark f X a__f mark X a__sel s X cons Y Z mark X mark sel X1 X2 mark X2 mark s X mark X true mark s X mark X mark sel X1 X2 mark X1 mark sel X1 X2 mark X2 a__f X mark X a__sel s X cons Y Z mark X mark f X a__f mark X mark cons X1 X2 mark X1 a__sel 0 cons X Y mark X a__g s X mark X a__sel s X cons Y Z mark Z mark sel X1 X2 a__sel mark X1 mark X2 mark g X mark X mark g X a__g mark X a__g s X a__g mark X a__sel s X cons Y Z a__sel mark X mark Z mark f X mark X true a__g 1 1 0 s 1 1 0 a__g 1 1 0 a__f 1 1 2242 f 1 1 2242 mark 1 1 0 0 0 1 sel 2 1 28884 2 1 0 a__sel 2 1 28884 2 1 0 mark 1 1 0 a__sel 2 1 28884 2 1 0 cons 2 1 1 2 0 0 a__f 1 1 2241 g 1 1 0 a__sel s X cons Y Z a__sel mark X mark Z a__g s X a__g mark X mark g X a__g mark X mark g X mark X mark sel X1 X2 a__sel mark X1 mark X2 a__g s X mark X mark s X mark X a__sel 0 cons X Y mark X mark sel X1 X2 a__sel mark X1 mark X2 a__f X cons mark X f g X a__g s X s s a__g mark X a__sel s X cons Y Z a__sel mark X mark Z mark 0 0 mark g X a__g mark X a__sel X1 X2 sel X1 X2 a__f X f X mark s X s mark X mark cons X1 X2 cons mark X1 X2 a__g X g X mark f X a__f mark X a__g 0 s 0 a__g s X mark X a__g s X a__g mark X mark g X mark X mark g X a__g mark X mark s X mark X true a__g 1 1 mark 1 1 mark 1 1 a__g 1 4 1 s 1 3 1 a__f 1 0 f 1 0 0 0 2 sel 2 0 a__sel 2 0 1 a__sel 2 0 cons 2 0 a__f 1 0 g 1 4 1 a__g 1 1 0 s 1 1 0 a__f 1 1 1 f 1 1 1 0 0 0 sel 2 1 2 18588 a__sel 2 1 1 a__sel 2 1 2 18588 cons 2 1 0 2 0 0 a__f 1 1 g 1 1 0 a__sel 0 cons X Y mark X mark sel X1 X2 a__sel mark X1 mark X2 a__f X cons mark X f g X a__g s X s s a__g mark X a__sel s X cons Y Z a__sel mark X mark Z mark 0 0 mark g X a__g mark X a__sel X1 X2 sel X1 X2 a__f X f X mark s X s mark X mark cons X1 X2 cons mark X1 X2 a__g X g X mark f X a__f mark X a__g 0 s 0 mark sel X1 X2 a__sel mark X1 mark X2 false a__sel s X cons Y Z a__sel mark X mark Z true a__g 1 1 mark 1 1 a__sel 2 1 mark 1 1 a__g 1 4 1 s 1 3 1 a__f 1 2 f 1 2 0 0 2 sel 2 2 a__sel 2 2 cons 2 2 a__f 1 0 g 1 4 1 a__g 1 1 0 s 1 1 0 a__f 1 1 25075 f 1 1 25075 0 0 0 sel 2 2 36069 a__sel 2 2 36069 cons 2 1 12457 2 0 0 a__f 1 1 g 1 1 0 a__sel 0 cons X Y mark X mark sel X1 X2 a__sel mark X1 mark X2 a__f X cons mark X f g X a__g s X s s a__g mark X a__sel s X cons Y Z a__sel mark X mark Z mark 0 0 mark g X a__g mark X a__sel X1 X2 sel X1 X2 a__f X f X mark s X s mark X mark cons X1 X2 cons mark X1 X2 a__g X g X mark f X a__f mark X a__g 0 s 0 NaTT certifiable-1.6