active f X mark cons X f g X active g 0 mark s 0 active g s X mark s s g X active sel 0 cons X Y mark X active sel s X cons Y Z mark sel X Z mark f X active f mark X mark cons X1 X2 active cons mark X1 X2 mark g X active g mark X mark 0 active 0 mark s X active s mark X mark sel X1 X2 active sel mark X1 mark X2 f mark X f X f active X f X cons mark X1 X2 cons X1 X2 cons X1 mark X2 cons X1 X2 cons active X1 X2 cons X1 X2 cons X1 active X2 cons X1 X2 g mark X g X g active X g X s mark X s X s active X s X sel mark X1 X2 sel X1 X2 sel X1 mark X2 sel X1 X2 sel active X1 X2 sel X1 X2 sel X1 active X2 sel X1 X2 2.2 active g 0 s 0 active sel 0 cons X Y mark X s active X s X active f X mark cons X f g X cons X1 mark X2 cons X1 X2 mark g X mark X active f X f g X active f X g X f active X f X mark g X g mark X sel X1 mark X2 sel X1 X2 mark sel X1 X2 sel mark X1 mark X2 mark sel X1 X2 mark X2 active sel s X cons Y Z mark sel X Z mark s X mark X sel active X1 X2 sel X1 X2 active g s X mark s s g X f mark X f X cons active X1 X2 cons X1 X2 active sel s X cons Y Z sel X Z mark cons X1 X2 mark X1 mark 0 active 0 mark g X active g mark X mark sel X1 X2 mark X1 active g s X s g X mark f X mark X g mark X g X g active X g X mark s X s mark X active g s X g X cons X1 active X2 cons X1 X2 s mark X s X active g s X s s g X mark cons X1 X2 cons mark X1 X2 sel mark X1 X2 sel X1 X2 active f X cons X f g X mark s X active s mark X sel X1 active X2 sel X1 X2 mark f X active f mark X active g 0 mark s 0 mark sel X1 X2 active sel mark X1 mark X2 cons mark X1 X2 cons X1 X2 mark f X f mark X mark cons X1 X2 active cons mark X1 X2 true mark cons X1 X2 active cons mark X1 X2 active g s X mark s s g X mark sel X1 X2 active sel mark X1 mark X2 active g 0 mark s 0 mark s X mark X mark f X active f mark X active sel s X cons Y Z mark sel X Z mark s X active s mark X mark sel X1 X2 mark X2 mark f X mark X mark g X mark X mark sel X1 X2 mark X1 mark g X active g mark X active f X mark cons X f g X active sel 0 cons X Y mark X mark cons X1 X2 mark X1 true cons 2 0 s 1 1143 f 1 1144 mark 1 1144 0 0 1 sel 2 0 sel 2 1144 s 1 0 mark 1 1 f 1 0 g 1 0 active 1 1 cons 2 1107 active 1 1 0 g 1 1144 mark cons X1 X2 mark X1 active sel 0 cons X Y mark X active f X mark cons X f g X mark g X active g mark X mark sel X1 X2 mark X1 mark g X mark X mark f X mark X mark sel X1 X2 mark X2 active sel s X cons Y Z mark sel X Z mark f X active f mark X mark s X mark X active g 0 mark s 0 mark sel X1 X2 active sel mark X1 mark X2 active g s X mark s s g X g mark X g X active sel 0 cons X Y mark X cons X1 mark X2 cons X1 X2 mark g X active g mark X active f X mark cons X f g X active g s X mark s s g X cons active X1 X2 cons X1 X2 s active X s X g active X g X cons X1 active X2 cons X1 X2 sel mark X1 X2 sel X1 X2 active sel s X cons Y Z mark sel X Z mark s X active s mark X mark cons X1 X2 active cons mark X1 X2 s mark X s X sel X1 active X2 sel X1 X2 cons mark X1 X2 cons X1 X2 f mark X f X sel X1 mark X2 sel X1 X2 sel active X1 X2 sel X1 X2 mark sel X1 X2 active sel mark X1 mark X2 mark 0 active 0 f active X f X mark f X active f mark X active g 0 mark s 0 active sel 0 cons X Y mark X mark g X mark X mark g X active g mark X active f X mark cons X f g X active g s X mark s s g X active sel s X cons Y Z mark sel X Z mark s X mark X mark cons X1 X2 mark X1 mark sel X1 X2 mark X2 mark sel X1 X2 mark X1 mark sel X1 X2 active sel mark X1 mark X2 mark f X mark X mark f X active f mark X active g 0 mark s 0 true cons 2 0 s 1 1 0 f 1 1 2999 mark 1 1 0 0 0 35657 sel 2 0 sel 2 1 1 2 2 0 s 1 0 mark 1 1 0 f 1 0 g 1 0 active 1 1 0 cons 2 1 2998 2 0 0 active 1 1 0 g 1 1 0 active g 0 mark s 0 mark f X active f mark X mark sel X1 X2 active sel mark X1 mark X2 mark s X mark X active sel s X cons Y Z mark sel X Z active g s X mark s s g X active f X mark cons X f g X mark g X active g mark X mark g X mark X g mark X g X active sel 0 cons X Y mark X cons X1 mark X2 cons X1 X2 mark g X active g mark X active f X mark cons X f g X active g s X mark s s g X cons active X1 X2 cons X1 X2 s active X s X g active X g X cons X1 active X2 cons X1 X2 sel mark X1 X2 sel X1 X2 active sel s X cons Y Z mark sel X Z mark s X active s mark X mark cons X1 X2 active cons mark X1 X2 s mark X s X sel X1 active X2 sel X1 X2 cons mark X1 X2 cons X1 X2 f mark X f X sel X1 mark X2 sel X1 X2 sel active X1 X2 sel X1 X2 mark sel X1 X2 active sel mark X1 mark X2 mark 0 active 0 f active X f X mark f X active f mark X active g 0 mark s 0 mark g X mark X mark g X active g mark X active f X mark cons X f g X active g s X mark s s g X active sel s X cons Y Z mark sel X Z mark s X mark X mark sel X1 X2 active sel mark X1 mark X2 mark f X active f mark X active g 0 mark s 0 true cons 2 1 mark 1 1 mark 1 1 f 1 1 active 1 1 active 1 1 s 1 0 1 f 1 3 1 0 0 1 sel 2 0 sel 2 3 s 1 0 g 1 0 cons 2 3 g 1 2 1 s 1 1 0 f 1 1 17221 0 0 33036 sel 2 1 1 sel 2 2 2438 s 1 1 g 1 1 cons 2 1 0 2 0 0 g 1 1 0 mark f X active f mark X mark sel X1 X2 active sel mark X1 mark X2 active sel s X cons Y Z mark sel X Z mark g X active g mark X g mark X g X active sel 0 cons X Y mark X cons X1 mark X2 cons X1 X2 mark g X active g mark X active f X mark cons X f g X active g s X mark s s g X cons active X1 X2 cons X1 X2 s active X s X g active X g X cons X1 active X2 cons X1 X2 sel mark X1 X2 sel X1 X2 active sel s X cons Y Z mark sel X Z mark s X active s mark X mark cons X1 X2 active cons mark X1 X2 s mark X s X sel X1 active X2 sel X1 X2 cons mark X1 X2 cons X1 X2 f mark X f X sel X1 mark X2 sel X1 X2 sel active X1 X2 sel X1 X2 mark sel X1 X2 active sel mark X1 mark X2 mark 0 active 0 f active X f X mark f X active f mark X active g 0 mark s 0 mark g X active g mark X active sel s X cons Y Z mark sel X Z mark sel X1 X2 active sel mark X1 mark X2 mark f X active f mark X true cons 2 0 s 1 1 f 1 36412 mark 1 36413 0 0 1 sel 2 0 sel 2 36413 s 1 0 mark 1 1 f 1 0 g 1 0 active 1 2 cons 2 1 active 1 1 0 g 1 1 mark sel X1 X2 active sel mark X1 mark X2 active sel s X cons Y Z mark sel X Z g mark X g X cons X1 mark X2 cons X1 X2 cons active X1 X2 cons X1 X2 s active X s X g active X g X cons X1 active X2 cons X1 X2 sel mark X1 X2 sel X1 X2 s mark X s X sel X1 active X2 sel X1 X2 cons mark X1 X2 cons X1 X2 f mark X f X sel X1 mark X2 sel X1 X2 sel active X1 X2 sel X1 X2 f active X f X active sel s X cons Y Z mark sel X Z mark sel X1 X2 active sel mark X1 mark X2 true cons 2 1 mark 1 1 mark 1 1 f 1 1 active 1 1 active 1 1 s 1 1 1 f 1 3 1 0 0 0 sel 2 0 sel 2 2 1 s 1 0 g 1 0 cons 2 3 g 1 2 1 s 1 1 0 f 1 1 28101 0 0 34178 sel 2 1 1 sel 2 1 2 5854 s 1 1 g 1 1 cons 2 1 0 2 0 0 g 1 1 0 mark sel X1 X2 active sel mark X1 mark X2 g mark X g X active sel 0 cons X Y mark X cons X1 mark X2 cons X1 X2 mark g X active g mark X active f X mark cons X f g X active g s X mark s s g X cons active X1 X2 cons X1 X2 s active X s X g active X g X cons X1 active X2 cons X1 X2 sel mark X1 X2 sel X1 X2 active sel s X cons Y Z mark sel X Z mark s X active s mark X mark cons X1 X2 active cons mark X1 X2 s mark X s X sel X1 active X2 sel X1 X2 cons mark X1 X2 cons X1 X2 f mark X f X sel X1 mark X2 sel X1 X2 sel active X1 X2 sel X1 X2 mark sel X1 X2 active sel mark X1 mark X2 mark 0 active 0 f active X f X mark f X active f mark X active g 0 mark s 0 mark sel X1 X2 active sel mark X1 mark X2 false active g 0 s 0 false mark f X f mark X false mark 0 active 0 false active sel s X cons Y Z sel X Z false mark sel X1 X2 sel mark X1 mark X2 false sel active X1 X2 sel X1 X2 sel X1 active X2 sel X1 X2 sel mark X1 X2 sel X1 X2 sel X1 mark X2 sel X1 X2 true cons 2 0 s 1 21598 f 1 0 mark 1 0 0 0 1 sel 2 1 2 0 sel 2 0 s 1 0 mark 1 1 7177 f 1 0 g 1 0 active 1 1 26442 cons 2 1 19266 active 1 1 g 1 2332 s active X s X s mark X s X active g s X s s g X false active g s X s g X false active g s X g X false mark cons X1 X2 cons mark X1 X2 false active f X cons X f g X false cons active X1 X2 cons X1 X2 cons mark X1 X2 cons X1 X2 cons X1 active X2 cons X1 X2 cons X1 mark X2 cons X1 X2 true cons 2 1 0 s 1 20369 f 1 0 mark 1 0 0 0 1 sel 2 0 sel 2 0 s 1 0 mark 1 1 7177 f 1 0 g 1 0 active 1 1 26442 cons 2 1 19266 active 1 1 g 1 1 cons X1 mark X2 cons X1 X2 cons X1 active X2 cons X1 X2 s active X s X s mark X s X cons X1 mark X2 cons X1 X2 cons X1 active X2 cons X1 X2 true cons 2 2 0 s 1 52721 f 1 0 mark 1 0 0 0 1 sel 2 0 sel 2 0 s 1 0 mark 1 1 7177 f 1 0 g 1 0 active 1 1 26442 cons 2 1 19266 active 1 1 g 1 33455 s active X s X s mark X s X active f X f g X false f mark X f X f active X f X true cons 2 0 s 1 37163 f 1 0 mark 1 0 0 0 1 sel 2 0 sel 2 0 s 1 0 mark 1 1 7177 f 1 1 0 g 1 0 active 1 1 26442 cons 2 1 35969 active 1 1 g 1 17897 s active X s X s mark X s X active f X g X false mark s X s mark X false s mark X s X s active X s X true cons 2 0 s 1 3 f 1 0 mark 1 0 0 0 1 sel 2 0 sel 2 0 s 1 1 0 mark 1 1 7177 f 1 0 g 1 0 active 1 1 7178 cons 2 1 2 active 1 1 g 1 1 s active X s X s mark X s X mark g X g mark X false g active X g X g mark X g X true cons 2 0 s 1 6993 f 1 0 mark 1 0 0 0 1 sel 2 0 sel 2 0 s 1 0 mark 1 1 7177 f 1 0 g 1 1 0 active 1 1 7178 cons 2 1 2 active 1 1 g 1 6991 s active X s X s mark X s X NaTT certifiable-1.6