active from X mark cons X from s X active sel 0 cons X Y mark X active sel s X cons Y Z mark sel X Z mark from X active from mark X mark cons X1 X2 active cons mark X1 X2 mark s X active s mark X mark sel X1 X2 active sel mark X1 mark X2 mark 0 active 0 from mark X from X from active X from 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 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 mark s X active s mark X s mark X s X from mark X from X mark sel X1 X2 mark X1 cons X1 active X2 cons X1 X2 mark sel X1 X2 active sel mark X1 mark X2 active from X mark cons X from s X active sel s X cons Y Z sel X Z mark sel X1 X2 sel mark X1 mark X2 mark from X from mark X mark sel X1 X2 mark X2 mark from X active from mark X active from X cons X from s X sel active X1 X2 sel X1 X2 cons mark X1 X2 cons X1 X2 sel X1 active X2 sel X1 X2 sel X1 mark X2 sel X1 X2 cons active X1 X2 cons X1 X2 mark 0 active 0 active sel s X cons Y Z mark sel X Z active from X s X mark cons X1 X2 cons mark X1 X2 mark from X mark X sel mark X1 X2 sel X1 X2 active from X from s X s active X s X mark cons X1 X2 active cons mark X1 X2 mark s X s mark X active sel 0 cons X Y mark X cons X1 mark X2 cons X1 X2 from active X from X mark s X mark X mark cons X1 X2 mark X1 true mark cons X1 X2 mark X1 mark s X mark X mark from X active from mark X mark sel X1 X2 mark X2 active sel 0 cons X Y mark X active from X mark cons X from s X mark cons X1 X2 active cons mark X1 X2 mark sel X1 X2 active sel mark X1 mark X2 mark sel X1 X2 mark X1 mark from X mark X active sel s X cons Y Z mark sel X Z mark s X active s mark X true cons 2 0 s 1 20163 mark 1 29019 0 0 1 sel 2 0 from 1 29019 sel 2 29019 s 1 0 mark 1 1 from 1 0 active 1 2 cons 2 1 active 1 1 0 active sel s X cons Y Z mark sel X Z mark from X mark X mark sel X1 X2 mark X1 mark sel X1 X2 active sel mark X1 mark X2 active from X mark cons X from s X active sel 0 cons X Y mark X mark sel X1 X2 mark X2 mark from X active from mark X mark s X mark X mark cons X1 X2 mark X1 sel X1 mark X2 sel X1 X2 s mark X s X s active X s X sel active X1 X2 sel X1 X2 sel mark X1 X2 sel X1 X2 from active X from X sel X1 active X2 sel X1 X2 cons X1 active X2 cons X1 X2 cons X1 mark X2 cons X1 X2 cons mark X1 X2 cons X1 X2 from mark X from X cons active X1 X2 cons X1 X2 mark from X mark X mark from X active from mark X active from X mark cons X from s X active sel s X cons Y Z mark sel X Z 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 s X mark X active sel 0 cons X Y mark X true cons 2 0 s 1 1 0 mark 1 1 0 0 0 1 sel 2 0 from 1 1 1144 sel 2 1 28101 2 28102 0 s 1 0 mark 1 1 0 from 1 0 active 1 1 0 cons 2 1 1143 2 0 0 active 1 1 0 mark s X mark X mark sel X1 X2 active sel mark X1 mark X2 active sel s X cons Y Z mark sel X Z active from X mark cons X from s X mark from X active from mark X sel X1 mark X2 sel X1 X2 mark from X active from mark X s mark X s X mark 0 active 0 active from X mark cons X from s X active sel s X cons Y Z mark sel X Z s active X s X sel active X1 X2 sel X1 X2 sel mark X1 X2 sel X1 X2 mark cons X1 X2 active cons mark X1 X2 from active X from X mark sel X1 X2 active sel mark X1 mark X2 sel X1 active X2 sel X1 X2 cons X1 active X2 cons X1 X2 cons X1 mark X2 cons X1 X2 cons mark X1 X2 cons X1 X2 from mark X from X cons active X1 X2 cons X1 X2 mark s X active s mark X active sel 0 cons X Y mark X mark from X active from mark X active from X mark cons X from s X active sel s X cons Y Z mark sel X Z mark sel X1 X2 active sel mark X1 mark X2 mark s X mark X true cons 2 0 s 1 1 20163 mark 1 1 0 0 0 1 sel 2 0 from 1 29021 sel 2 29020 s 1 0 mark 1 0 from 1 0 active 1 1 cons 2 1 active 1 29020 mark sel X1 X2 active sel mark X1 mark X2 active sel s X cons Y Z mark sel X Z sel X1 mark X2 sel X1 X2 sel active X1 X2 sel X1 X2 sel mark X1 X2 sel X1 X2 sel X1 active X2 sel X1 X2 cons X1 active X2 cons X1 X2 cons X1 mark X2 cons X1 X2 cons mark X1 X2 cons X1 X2 cons active X1 X2 cons X1 X2 active sel s X cons Y Z mark sel X Z mark sel X1 X2 active sel mark X1 mark X2 true mark 1 1 mark 1 1 from 1 1 active 1 1 active 1 1 cons 2 0 s 1 0 1 0 0 3 sel 2 0 1 2 from 1 2 1 sel 2 2 1 s 1 0 cons 2 2 cons 2 1 1 0 s 1 1 0 0 0 1 sel 2 1 2 1 from 1 1 2999 sel 2 1 2 2998 s 1 1 cons 2 1 2999 2 0 0 mark sel X1 X2 active sel mark X1 mark X2 sel X1 mark X2 sel X1 X2 mark from X active from mark X s mark X s X mark 0 active 0 active from X mark cons X from s X active sel s X cons Y Z mark sel X Z s active X s X sel active X1 X2 sel X1 X2 sel mark X1 X2 sel X1 X2 mark cons X1 X2 active cons mark X1 X2 from active X from X mark sel X1 X2 active sel mark X1 mark X2 sel X1 active X2 sel X1 X2 cons X1 active X2 cons X1 X2 cons X1 mark X2 cons X1 X2 cons mark X1 X2 cons X1 X2 from mark X from X cons active X1 X2 cons X1 X2 mark s X active s mark X active sel 0 cons X Y mark X mark sel X1 X2 active sel mark X1 mark X2 false mark s X s mark X false mark sel X1 X2 sel mark X1 mark X2 false mark cons X1 X2 cons mark X1 X2 false mark 0 active 0 false active sel s X cons Y Z sel X Z false mark from X from mark X false active from X cons X from s X false cons X1 mark X2 cons X1 X2 cons X1 active X2 cons X1 X2 cons active X1 X2 cons X1 X2 cons mark X1 X2 cons X1 X2 true cons 2 2 0 s 1 0 mark 1 0 0 0 1 sel 2 0 from 1 0 sel 2 35495 s 1 0 mark 1 1 35497 from 1 0 active 1 1 1 cons 2 1 active 1 0 cons mark X1 X2 cons X1 X2 cons active X1 X2 cons X1 X2 from active X from X from mark X from X cons mark X1 X2 cons X1 X2 cons active X1 X2 cons X1 X2 true cons 2 1 0 s 1 0 mark 1 0 0 0 1 sel 2 0 from 1 0 sel 2 30401 s 1 0 mark 1 1 30403 from 1 0 active 1 1 1 cons 2 1 active 1 0 from active X from X from mark X from X active from X from s X false from active X from X from mark X from X true cons 2 0 s 1 0 mark 1 0 0 0 1 sel 2 0 from 1 0 sel 2 49485 s 1 0 mark 1 1 49487 from 1 1 0 active 1 1 1 cons 2 1 active 1 0 from active X from X from mark X from X active from X s X false s active X s X s mark X s X true cons 2 0 s 1 0 mark 1 0 0 0 1 sel 2 0 from 1 0 sel 2 15208 s 1 1 0 mark 1 1 15210 from 1 0 active 1 1 1 cons 2 46471 active 1 0 from active X from X from mark X from X sel mark X1 X2 sel X1 X2 sel X1 mark X2 sel X1 X2 sel X1 active X2 sel X1 X2 sel active X1 X2 sel X1 X2 true cons 2 0 s 1 0 mark 1 0 0 0 1 sel 2 1 2 0 from 1 0 sel 2 1 s 1 0 mark 1 1 3 from 1 0 active 1 1 1 cons 2 1 active 1 0 from active X from X from mark X from X NaTT certifiable-1.6