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 active from X from active X active cons X1 X2 cons active X1 X2 active s X s active X active sel X1 X2 sel active X1 X2 active sel X1 X2 sel X1 active X2 from mark X mark from X cons mark X1 X2 mark cons X1 X2 s mark X mark s X sel mark X1 X2 mark sel X1 X2 sel X1 mark X2 mark sel X1 X2 proper from X from proper X proper cons X1 X2 cons proper X1 proper X2 proper s X s proper X proper sel X1 X2 sel proper X1 proper X2 proper 0 ok 0 from ok X ok from X cons ok X1 ok X2 ok cons X1 X2 s ok X ok s X sel ok X1 ok X2 ok sel X1 X2 top mark X top proper X top ok X top active X 2.2 active s X active X active from X from s X proper cons X1 X2 proper X2 active from X active X top ok X top active X cons ok X1 ok X2 cons X1 X2 top mark X proper X proper from X from proper X s ok X s X from ok X from X proper from X proper X active sel X1 X2 sel X1 active X2 active sel X1 X2 sel active X1 X2 active from X s X proper s X s proper X proper sel X1 X2 sel proper X1 proper X2 top ok X active X sel mark X1 X2 sel X1 X2 proper cons X1 X2 cons proper X1 proper X2 s mark X s X active from X cons X from s X proper sel X1 X2 proper X2 proper cons X1 X2 proper X1 active sel s X cons Y Z sel X Z active cons X1 X2 cons active X1 X2 active sel X1 X2 active X2 sel ok X1 ok X2 sel X1 X2 proper s X proper X active from X from active X proper sel X1 X2 proper X1 cons mark X1 X2 cons X1 X2 sel X1 mark X2 sel X1 X2 active s X s active X top mark X top proper X active sel X1 X2 active X1 from mark X from X active cons X1 X2 active X1 true top mark X top proper X top ok X top active X true proper 1 1 ok 1 1 sel 2 1 active 1 1 active 1 1 cons 2 0 2 s 1 4 1 top 1 0 top 1 0 1 0 0 3 from 1 5 1 sel 2 3 1 2 s 1 0 mark 1 1 1 proper 1 0 from 1 0 cons 2 4 1 cons 2 2 1 0 s 1 1 0 top 1 1 top 1 1 1 0 0 1 from 1 1 46113 sel 2 1 2 46111 s 1 1 mark 1 1 0 proper 1 1 from 1 1 cons 2 1 46112 2 0 0 top ok X top active X proper 0 ok 0 active from X from active X proper cons X1 X2 cons proper X1 proper X2 active sel X1 X2 sel X1 active X2 active from X mark cons X from s X active sel s X cons Y Z mark sel X Z proper s X s proper X s ok X ok s X from ok X ok from X proper sel X1 X2 sel proper X1 proper X2 sel ok X1 ok X2 ok sel X1 X2 active cons X1 X2 cons active X1 X2 cons mark X1 X2 mark cons X1 X2 active sel X1 X2 sel active X1 X2 cons ok X1 ok X2 ok cons X1 X2 proper from X from proper X sel mark X1 X2 mark sel X1 X2 s mark X mark s X from mark X mark from X sel X1 mark X2 mark sel X1 X2 active s X s active X active sel 0 cons X Y mark X top ok X top active X true cons 2 0 s 1 1 0 top 1 0 top 1 1 0 proper 1 17069 ok 1 1 2 0 0 17067 sel 2 0 from 1 1 0 sel 2 1 0 s 1 0 mark 1 0 proper 1 0 from 1 0 active 1 1 1 cons 2 1 0 active 1 0 proper 0 ok 0 active from X from active X proper cons X1 X2 cons proper X1 proper X2 active sel X1 X2 sel X1 active X2 active from X mark cons X from s X active sel s X cons Y Z mark sel X Z proper s X s proper X s ok X ok s X from ok X ok from X proper sel X1 X2 sel proper X1 proper X2 sel ok X1 ok X2 ok sel X1 X2 active cons X1 X2 cons active X1 X2 cons mark X1 X2 mark cons X1 X2 active sel X1 X2 sel active X1 X2 cons ok X1 ok X2 ok cons X1 X2 proper from X from proper X sel mark X1 X2 mark sel X1 X2 s mark X mark s X from mark X mark from X sel X1 mark X2 mark sel X1 X2 active s X s active X active sel 0 cons X Y mark X top mark X proper X false top ok X active X false proper from X proper X proper sel X1 X2 proper X1 proper s X proper X proper cons X1 X2 proper X1 proper sel X1 X2 proper X2 proper cons X1 X2 proper X2 true cons 2 0 s 1 1 1 top 1 0 top 1 0 proper 1 17069 ok 1 1 2 0 0 1 sel 2 0 from 1 1 1 sel 2 1 2 1 s 1 0 mark 1 0 proper 1 1 0 from 1 0 active 1 1 1 cons 2 1 2 1 active 1 0 proper 0 ok 0 active from X from active X active sel X1 X2 sel X1 active X2 active from X mark cons X from s X active sel s X cons Y Z mark sel X Z s ok X ok s X from ok X ok from X sel ok X1 ok X2 ok sel X1 X2 active cons X1 X2 cons active X1 X2 cons mark X1 X2 mark cons X1 X2 active sel X1 X2 sel active X1 X2 cons ok X1 ok X2 ok cons X1 X2 sel mark X1 X2 mark sel X1 X2 s mark X mark s X from mark X mark from X sel X1 mark X2 mark sel X1 X2 active s X s active X active sel 0 cons X Y mark X proper from X from proper X false proper s X s proper X false proper cons X1 X2 cons proper X1 proper X2 false active cons X1 X2 active X1 active sel X1 X2 active X1 active sel X1 X2 active X2 active from X active X active s X active X true cons 2 0 s 1 1 1 top 1 0 top 1 0 proper 1 2 ok 1 1 1 0 0 1 sel 2 0 from 1 1 1 sel 2 1 2 1 s 1 0 mark 1 0 proper 1 0 from 1 0 active 1 1 1 cons 2 1 2 1 active 1 1 0 proper 0 ok 0 active from X from active X active sel X1 X2 sel X1 active X2 active from X mark cons X from s X active sel s X cons Y Z mark sel X Z s ok X ok s X from ok X ok from X sel ok X1 ok X2 ok sel X1 X2 active cons X1 X2 cons active X1 X2 cons mark X1 X2 mark cons X1 X2 active sel X1 X2 sel active X1 X2 cons ok X1 ok X2 ok cons X1 X2 sel mark X1 X2 mark sel X1 X2 s mark X mark s X from mark X mark from X sel X1 mark X2 mark sel X1 X2 active s X s active X active sel 0 cons X Y mark X active s X s active X false active sel X1 X2 sel active X1 X2 false active cons X1 X2 cons active X1 X2 false active sel s X cons Y Z sel X Z false active from X cons X from s X false cons mark X1 X2 cons X1 X2 cons ok X1 ok X2 cons X1 X2 true cons 2 2 0 s 1 1 1 top 1 0 top 1 0 proper 1 29261 ok 1 1 1 0 0 29260 sel 2 0 from 1 1 19265 sel 2 1 2 22115 s 1 0 mark 1 0 proper 1 0 from 1 0 active 1 1 1 cons 2 1 2 14137 active 1 0 cons mark X1 X2 cons X1 X2 proper 0 ok 0 active from X from active X active sel X1 X2 sel X1 active X2 active from X mark cons X from s X active sel s X cons Y Z mark sel X Z s ok X ok s X from ok X ok from X sel ok X1 ok X2 ok sel X1 X2 active cons X1 X2 cons active X1 X2 cons mark X1 X2 mark cons X1 X2 active sel X1 X2 sel active X1 X2 cons ok X1 ok X2 ok cons X1 X2 sel mark X1 X2 mark sel X1 X2 s mark X mark s X from mark X mark from X sel X1 mark X2 mark sel X1 X2 active s X s active X active sel 0 cons X Y mark X cons mark X1 X2 cons X1 X2 true cons 2 1 0 s 1 1 1 top 1 0 top 1 0 proper 1 2 ok 1 1 1 0 0 1 sel 2 0 from 1 1 0 sel 2 1 2 31964 s 1 0 mark 1 1 1 proper 1 0 from 1 0 active 1 1 2 cons 2 1 2 0 active 1 0 proper 0 ok 0 active sel s X cons Y Z mark sel X Z s ok X ok s X from ok X ok from X sel ok X1 ok X2 ok sel X1 X2 cons mark X1 X2 mark cons X1 X2 cons ok X1 ok X2 ok cons X1 X2 sel mark X1 X2 mark sel X1 X2 s mark X mark s X from mark X mark from X sel X1 mark X2 mark sel X1 X2 active sel 0 cons X Y mark X active from X from s X false active from X s X false s ok X s X s mark X s X true cons 2 0 s 1 1 1 top 1 0 top 1 0 proper 1 2 ok 1 1 1 0 0 1 sel 2 0 from 1 1 0 sel 2 1 2 28493 s 1 1 0 mark 1 1 1 proper 1 0 from 1 0 active 1 1 3154 cons 2 1 2 0 active 1 0 proper 0 ok 0 active sel s X cons Y Z mark sel X Z s ok X ok s X from ok X ok from X sel ok X1 ok X2 ok sel X1 X2 cons mark X1 X2 mark cons X1 X2 cons ok X1 ok X2 ok cons X1 X2 sel mark X1 X2 mark sel X1 X2 s mark X mark s X from mark X mark from X sel X1 mark X2 mark sel X1 X2 active sel 0 cons X Y mark X active sel X1 X2 sel X1 active X2 false active from X from active X false from mark X from X from ok X from X true cons 2 0 s 1 1 2805 top 1 0 top 1 0 proper 1 2 ok 1 1 1 0 0 1 sel 2 0 from 1 1 0 sel 2 1 2 1 s 1 0 mark 1 1 1 proper 1 0 from 1 1 0 active 1 1 6992 cons 2 1 2 0 active 1 0 proper 0 ok 0 active sel s X cons Y Z mark sel X Z s ok X ok s X from ok X ok from X sel ok X1 ok X2 ok sel X1 X2 cons mark X1 X2 mark cons X1 X2 cons ok X1 ok X2 ok cons X1 X2 sel mark X1 X2 mark sel X1 X2 s mark X mark s X from mark X mark from X sel X1 mark X2 mark sel X1 X2 active sel 0 cons X Y mark X proper sel X1 X2 sel proper X1 proper X2 false sel X1 mark X2 sel X1 X2 sel ok X1 ok X2 sel X1 X2 sel mark X1 X2 sel X1 X2 true cons 2 0 s 1 1 1 top 1 0 top 1 0 proper 1 2 ok 1 1 1 0 0 1 sel 2 2 0 from 1 1 0 sel 2 1 2 37558 s 1 0 mark 1 1 1 proper 1 0 from 1 0 active 1 1 2 cons 2 1 2 0 active 1 0 sel mark X1 X2 sel X1 X2 proper 0 ok 0 active sel s X cons Y Z mark sel X Z s ok X ok s X from ok X ok from X sel ok X1 ok X2 ok sel X1 X2 cons mark X1 X2 mark cons X1 X2 cons ok X1 ok X2 ok cons X1 X2 sel mark X1 X2 mark sel X1 X2 s mark X mark s X from mark X mark from X sel X1 mark X2 mark sel X1 X2 active sel 0 cons X Y mark X sel mark X1 X2 sel X1 X2 true cons 2 0 s 1 1 24324 top 1 0 top 1 0 proper 1 2 ok 1 1 1 0 0 1 sel 2 1 0 from 1 1 0 sel 2 1 2 1 s 1 0 mark 1 1 1 proper 1 0 from 1 0 active 1 1 24325 cons 2 1 2 0 active 1 0 proper 0 ok 0 active sel s X cons Y Z mark sel X Z s ok X ok s X from ok X ok from X sel ok X1 ok X2 ok sel X1 X2 cons mark X1 X2 mark cons X1 X2 cons ok X1 ok X2 ok cons X1 X2 sel mark X1 X2 mark sel X1 X2 s mark X mark s X from mark X mark from X sel X1 mark X2 mark sel X1 X2 active sel 0 cons X Y mark X NaTT certifiable-1.6