active 2nd cons1 X cons Y Z mark Y active 2nd cons X X1 mark 2nd cons1 X X1 active from X mark cons X from s X active 2nd X 2nd active X active cons X1 X2 cons active X1 X2 active from X from active X active s X s active X active cons1 X1 X2 cons1 active X1 X2 active cons1 X1 X2 cons1 X1 active X2 2nd mark X mark 2nd X cons mark X1 X2 mark cons X1 X2 from mark X mark from X s mark X mark s X cons1 mark X1 X2 mark cons1 X1 X2 cons1 X1 mark X2 mark cons1 X1 X2 proper 2nd X 2nd proper X proper cons X1 X2 cons proper X1 proper X2 proper from X from proper X proper s X s proper X proper cons1 X1 X2 cons1 proper X1 proper X2 2nd ok X ok 2nd X cons ok X1 ok X2 ok cons X1 X2 from ok X ok from X s ok X ok s X cons1 ok X1 ok X2 ok cons1 X1 X2 top mark X top proper X top ok X top active X 2.2 active 2nd cons X X1 cons1 X X1 proper from X from proper X proper s X proper X active from X cons X from s X active 2nd X active X active 2nd X 2nd active X active from X s X active cons1 X1 X2 cons1 active X1 X2 active cons1 X1 X2 cons1 X1 active X2 cons1 X1 mark X2 cons1 X1 X2 cons1 ok X1 ok X2 cons1 X1 X2 s ok X s X from mark X from X top ok X active X top ok X top active X cons1 mark X1 X2 cons1 X1 X2 top mark X proper X proper cons1 X1 X2 cons1 proper X1 proper X2 top mark X top proper X proper cons X1 X2 cons proper X1 proper X2 active cons X1 X2 cons active X1 X2 active cons1 X1 X2 active X2 active cons1 X1 X2 active X1 from ok X from X proper 2nd X 2nd proper X s mark X s X proper from X proper X proper s X s proper X cons ok X1 ok X2 cons X1 X2 proper 2nd X proper X proper cons X1 X2 proper X2 active s X s active X 2nd ok X 2nd X 2nd mark X 2nd X proper cons X1 X2 proper X1 active from X from s X active cons X1 X2 active X1 proper cons1 X1 X2 proper X2 active from X from active X active 2nd cons X X1 2nd cons1 X X1 cons mark X1 X2 cons X1 X2 proper cons1 X1 X2 proper X1 active from X active X active s X active X true top mark X top proper X top ok X top active X true cons 2 0 s 1 1 0 cons1 2 0 top 1 0 2nd 1 1 0 top 1 1 0 cons1 2 1 2 0 proper 1 0 ok 1 1 2 from 1 1 0 s 1 0 2nd 1 0 mark 1 1 proper 1 0 from 1 0 active 1 1 1 cons 2 1 0 active 1 0 proper from X from proper X active 2nd X 2nd active X cons1 X1 mark X2 mark cons1 X1 X2 active cons1 X1 X2 cons1 active X1 X2 active 2nd cons1 X cons Y Z mark Y active from X mark cons X from s X proper 2nd X 2nd proper X 2nd ok X ok 2nd X proper s X s proper X proper cons X1 X2 cons proper X1 proper X2 cons ok X1 ok X2 ok cons X1 X2 active cons X1 X2 cons active X1 X2 2nd mark X mark 2nd X active s X s active X proper cons1 X1 X2 cons1 proper X1 proper X2 cons1 ok X1 ok X2 ok cons1 X1 X2 cons1 mark X1 X2 mark cons1 X1 X2 from mark X mark from X from ok X ok from X s ok X ok s X cons mark X1 X2 mark cons X1 X2 active cons1 X1 X2 cons1 X1 active X2 s mark X mark s X active from X from active X active 2nd cons X X1 mark 2nd cons1 X X1 top mark X proper X false top ok X active X false active s X active X active from X active X active cons X1 X2 active X1 active 2nd X active X active cons1 X1 X2 active X1 active cons1 X1 X2 active X2 true cons 2 0 s 1 1 11650 cons1 2 0 top 1 0 2nd 1 1 0 top 1 1 0 cons1 2 1 2 0 proper 1 1 0 ok 1 1 1 from 1 1 0 s 1 0 2nd 1 0 mark 1 1 proper 1 0 from 1 0 active 1 1 1 cons 2 1 2 0 active 1 1 0 active cons1 X1 X2 active X2 active cons1 X1 X2 active X1 active 2nd X active X active cons X1 X2 active X1 active from X active X proper from X from proper X active 2nd X 2nd active X cons1 X1 mark X2 mark cons1 X1 X2 active cons1 X1 X2 cons1 active X1 X2 active 2nd cons1 X cons Y Z mark Y active from X mark cons X from s X proper 2nd X 2nd proper X 2nd ok X ok 2nd X proper s X s proper X proper cons X1 X2 cons proper X1 proper X2 cons ok X1 ok X2 ok cons X1 X2 active cons X1 X2 cons active X1 X2 2nd mark X mark 2nd X active s X s active X proper cons1 X1 X2 cons1 proper X1 proper X2 cons1 ok X1 ok X2 ok cons1 X1 X2 cons1 mark X1 X2 mark cons1 X1 X2 from mark X mark from X from ok X ok from X s ok X ok s X cons mark X1 X2 mark cons X1 X2 active cons1 X1 X2 cons1 X1 active X2 s mark X mark s X active from X from active X active 2nd cons X X1 mark 2nd cons1 X X1 active 2nd X active X active cons1 X1 X2 active X1 active cons X1 X2 active X1 active cons1 X1 X2 active X2 active from X active X true cons 2 0 s 1 1 11650 cons1 2 0 top 1 0 2nd 1 1 0 top 1 1 0 cons1 2 1 2 0 proper 1 1 0 ok 1 1 1 from 1 1 1 s 1 0 2nd 1 0 mark 1 1 proper 1 0 from 1 0 active 1 1 1 cons 2 1 2 0 active 1 1 0 active cons1 X1 X2 active X2 active cons X1 X2 active X1 active cons1 X1 X2 active X1 active 2nd X active X proper from X from proper X active 2nd X 2nd active X cons1 X1 mark X2 mark cons1 X1 X2 active cons1 X1 X2 cons1 active X1 X2 active 2nd cons1 X cons Y Z mark Y active from X mark cons X from s X proper 2nd X 2nd proper X 2nd ok X ok 2nd X proper s X s proper X proper cons X1 X2 cons proper X1 proper X2 cons ok X1 ok X2 ok cons X1 X2 active cons X1 X2 cons active X1 X2 2nd mark X mark 2nd X active s X s active X proper cons1 X1 X2 cons1 proper X1 proper X2 cons1 ok X1 ok X2 ok cons1 X1 X2 cons1 mark X1 X2 mark cons1 X1 X2 from mark X mark from X from ok X ok from X s ok X ok s X cons mark X1 X2 mark cons X1 X2 active cons1 X1 X2 cons1 X1 active X2 s mark X mark s X active from X from active X active 2nd cons X X1 mark 2nd cons1 X X1 active 2nd X active X active cons1 X1 X2 active X1 active cons X1 X2 active X1 active cons1 X1 X2 active X2 true cons 2 0 s 1 1 11650 cons1 2 0 top 1 0 2nd 1 1 1 top 1 1 0 cons1 2 1 2 0 proper 1 1 0 ok 1 1 41379 from 1 1 1 s 1 0 2nd 1 0 mark 1 1 proper 1 0 from 1 0 active 1 1 1 cons 2 1 2 0 active 1 1 0 active cons1 X1 X2 active X2 active cons X1 X2 active X1 active cons1 X1 X2 active X1 proper from X from proper X active 2nd X 2nd active X cons1 X1 mark X2 mark cons1 X1 X2 active cons1 X1 X2 cons1 active X1 X2 active 2nd cons1 X cons Y Z mark Y active from X mark cons X from s X proper 2nd X 2nd proper X 2nd ok X ok 2nd X proper s X s proper X proper cons X1 X2 cons proper X1 proper X2 cons ok X1 ok X2 ok cons X1 X2 active cons X1 X2 cons active X1 X2 2nd mark X mark 2nd X active s X s active X proper cons1 X1 X2 cons1 proper X1 proper X2 cons1 ok X1 ok X2 ok cons1 X1 X2 cons1 mark X1 X2 mark cons1 X1 X2 from mark X mark from X from ok X ok from X s ok X ok s X cons mark X1 X2 mark cons X1 X2 active cons1 X1 X2 cons1 X1 active X2 s mark X mark s X active from X from active X active 2nd cons X X1 mark 2nd cons1 X X1 active cons1 X1 X2 active X1 active cons X1 X2 active X1 active cons1 X1 X2 active X2 true cons 2 0 s 1 1 11650 cons1 2 0 top 1 0 2nd 1 1 top 1 1 0 cons1 2 1 2 0 proper 1 1 0 ok 1 1 from 1 1 1 s 1 0 2nd 1 0 mark 1 1 proper 1 0 from 1 0 active 1 1 1 cons 2 1 2 13214 active 1 1 0 active cons1 X1 X2 active X2 active cons1 X1 X2 active X1 proper from X from proper X active 2nd X 2nd active X cons1 X1 mark X2 mark cons1 X1 X2 active cons1 X1 X2 cons1 active X1 X2 active 2nd cons1 X cons Y Z mark Y active from X mark cons X from s X proper 2nd X 2nd proper X 2nd ok X ok 2nd X proper s X s proper X proper cons X1 X2 cons proper X1 proper X2 cons ok X1 ok X2 ok cons X1 X2 active cons X1 X2 cons active X1 X2 2nd mark X mark 2nd X active s X s active X proper cons1 X1 X2 cons1 proper X1 proper X2 cons1 ok X1 ok X2 ok cons1 X1 X2 cons1 mark X1 X2 mark cons1 X1 X2 from mark X mark from X from ok X ok from X s ok X ok s X cons mark X1 X2 mark cons X1 X2 active cons1 X1 X2 cons1 X1 active X2 s mark X mark s X active from X from active X active 2nd cons X X1 mark 2nd cons1 X X1 active cons1 X1 X2 active X1 active cons1 X1 X2 active X2 true cons 2 0 s 1 1 1 cons1 2 0 top 1 0 2nd 1 4426 top 1 0 cons1 2 1 2 1 proper 1 1 0 ok 1 1 from 1 1 1 s 1 0 2nd 1 0 mark 1 1 0 proper 1 0 from 1 0 active 1 1 2 cons 2 1 2 1 active 1 1 0 proper from X from proper X active 2nd X 2nd active X cons1 X1 mark X2 mark cons1 X1 X2 proper 2nd X 2nd proper X 2nd ok X ok 2nd X proper s X s proper X proper cons X1 X2 cons proper X1 proper X2 cons ok X1 ok X2 ok cons X1 X2 2nd mark X mark 2nd X proper cons1 X1 X2 cons1 proper X1 proper X2 cons1 ok X1 ok X2 ok cons1 X1 X2 cons1 mark X1 X2 mark cons1 X1 X2 from mark X mark from X from ok X ok from X s ok X ok s X cons mark X1 X2 mark cons X1 X2 s mark X mark s X active 2nd cons X X1 2nd cons1 X X1 false active from X from active X false active cons1 X1 X2 cons1 X1 active X2 false active s X s active X false active from X from s X false active from X s X false active cons1 X1 X2 cons1 active X1 X2 false active 2nd X 2nd active X false active from X cons X from s X false proper cons1 X1 X2 proper X1 proper cons1 X1 X2 proper X2 proper cons X1 X2 proper X1 proper cons X1 X2 proper X2 proper 2nd X proper X proper from X proper X proper s X proper X true cons 2 0 s 1 1 1 cons1 2 0 top 1 0 2nd 1 1 1 top 1 0 cons1 2 1 2 1 proper 1 1 0 ok 1 37414 from 1 1 1 s 1 0 2nd 1 0 mark 1 1 0 proper 1 1 0 from 1 0 active 1 1 2 cons 2 1 2 1 active 1 0 proper from X from proper X cons1 X1 mark X2 mark cons1 X1 X2 proper 2nd X 2nd proper X 2nd ok X ok 2nd X proper s X s proper X proper cons X1 X2 cons proper X1 proper X2 cons ok X1 ok X2 ok cons X1 X2 2nd mark X mark 2nd X proper cons1 X1 X2 cons1 proper X1 proper X2 cons1 ok X1 ok X2 ok cons1 X1 X2 cons1 mark X1 X2 mark cons1 X1 X2 from mark X mark from X from ok X ok from X s ok X ok s X cons mark X1 X2 mark cons X1 X2 s mark X mark s X proper cons1 X1 X2 cons1 proper X1 proper X2 false proper cons X1 X2 cons proper X1 proper X2 false proper s X s proper X false s ok X s X s mark X s X true cons 2 0 s 1 1 1 cons1 2 0 top 1 0 2nd 1 1 1 top 1 0 cons1 2 1 2 1 proper 1 1 0 ok 1 1 37414 from 1 1 1 s 1 1 0 2nd 1 0 mark 1 1 0 proper 1 0 from 1 0 active 1 1 1 cons 2 1 2 0 active 1 0 s mark X s X proper from X from proper X cons1 X1 mark X2 mark cons1 X1 X2 proper 2nd X 2nd proper X 2nd ok X ok 2nd X proper s X s proper X proper cons X1 X2 cons proper X1 proper X2 cons ok X1 ok X2 ok cons X1 X2 2nd mark X mark 2nd X proper cons1 X1 X2 cons1 proper X1 proper X2 cons1 ok X1 ok X2 ok cons1 X1 X2 cons1 mark X1 X2 mark cons1 X1 X2 from mark X mark from X from ok X ok from X s ok X ok s X cons mark X1 X2 mark cons X1 X2 s mark X mark s X s mark X s X true cons 2 0 s 1 1 1 cons1 2 0 top 1 0 2nd 1 1 1 top 1 0 cons1 2 1 2 1 proper 1 1 0 ok 1 1 1 from 1 1 35955 s 1 1 0 2nd 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 from X from proper X cons1 X1 mark X2 mark cons1 X1 X2 proper 2nd X 2nd proper X 2nd ok X ok 2nd X proper s X s proper X proper cons X1 X2 cons proper X1 proper X2 cons ok X1 ok X2 ok cons X1 X2 2nd mark X mark 2nd X proper cons1 X1 X2 cons1 proper X1 proper X2 cons1 ok X1 ok X2 ok cons1 X1 X2 cons1 mark X1 X2 mark cons1 X1 X2 from mark X mark from X from ok X ok from X s ok X ok s X cons mark X1 X2 mark cons X1 X2 s mark X mark s X proper 2nd X 2nd proper X false 2nd ok X 2nd X 2nd mark X 2nd X true cons 2 0 s 1 1 1 cons1 2 0 top 1 0 2nd 1 1 40578 top 1 0 cons1 2 1 2 1 proper 1 1 0 ok 1 1 1 from 1 1 1 s 1 0 2nd 1 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 from X from proper X cons1 X1 mark X2 mark cons1 X1 X2 proper 2nd X 2nd proper X 2nd ok X ok 2nd X proper s X s proper X proper cons X1 X2 cons proper X1 proper X2 cons ok X1 ok X2 ok cons X1 X2 2nd mark X mark 2nd X proper cons1 X1 X2 cons1 proper X1 proper X2 cons1 ok X1 ok X2 ok cons1 X1 X2 cons1 mark X1 X2 mark cons1 X1 X2 from mark X mark from X from ok X ok from X s ok X ok s X cons mark X1 X2 mark cons X1 X2 s mark X mark s X proper from X from proper X false from mark X from X from ok X from X true cons 2 0 s 1 1 1 cons1 2 0 top 1 0 2nd 1 1 1 top 1 0 cons1 2 1 2 1 proper 1 1 0 ok 1 1 1 from 1 1 1 s 1 0 2nd 1 0 mark 1 1 1 proper 1 0 from 1 1 0 active 1 1 2 cons 2 1 2 0 active 1 0 proper from X from proper X cons1 X1 mark X2 mark cons1 X1 X2 proper 2nd X 2nd proper X 2nd ok X ok 2nd X proper s X s proper X proper cons X1 X2 cons proper X1 proper X2 cons ok X1 ok X2 ok cons X1 X2 2nd mark X mark 2nd X proper cons1 X1 X2 cons1 proper X1 proper X2 cons1 ok X1 ok X2 ok cons1 X1 X2 cons1 mark X1 X2 mark cons1 X1 X2 from mark X mark from X from ok X ok from X s ok X ok s X cons mark X1 X2 mark cons X1 X2 s mark X mark s X active 2nd cons X X1 cons1 X X1 false cons1 mark X1 X2 cons1 X1 X2 cons1 ok X1 ok X2 cons1 X1 X2 cons1 X1 mark X2 cons1 X1 X2 true cons 2 0 s 1 1 1 cons1 2 1 0 top 1 0 2nd 1 1 36351 top 1 0 cons1 2 1 2 1 proper 1 1 0 ok 1 1 1 from 1 1 1 s 1 0 2nd 1 0 mark 1 1 1 proper 1 0 from 1 0 active 1 1 2 cons 2 1 2 0 active 1 0 cons1 X1 mark X2 cons1 X1 X2 proper from X from proper X cons1 X1 mark X2 mark cons1 X1 X2 proper 2nd X 2nd proper X 2nd ok X ok 2nd X proper s X s proper X proper cons X1 X2 cons proper X1 proper X2 cons ok X1 ok X2 ok cons X1 X2 2nd mark X mark 2nd X proper cons1 X1 X2 cons1 proper X1 proper X2 cons1 ok X1 ok X2 ok cons1 X1 X2 cons1 mark X1 X2 mark cons1 X1 X2 from mark X mark from X from ok X ok from X s ok X ok s X cons mark X1 X2 mark cons X1 X2 s mark X mark s X cons1 X1 mark X2 cons1 X1 X2 true cons 2 0 s 1 1 1 cons1 2 2 0 top 1 0 2nd 1 1 1 top 1 0 cons1 2 1 2 1 proper 1 1 0 ok 1 1 1 from 1 1 1 s 1 0 2nd 1 0 mark 1 1 11495 proper 1 0 from 1 0 active 1 1 11496 cons 2 1 2 0 active 1 0 proper from X from proper X cons1 X1 mark X2 mark cons1 X1 X2 proper 2nd X 2nd proper X 2nd ok X ok 2nd X proper s X s proper X proper cons X1 X2 cons proper X1 proper X2 cons ok X1 ok X2 ok cons X1 X2 2nd mark X mark 2nd X proper cons1 X1 X2 cons1 proper X1 proper X2 cons1 ok X1 ok X2 ok cons1 X1 X2 cons1 mark X1 X2 mark cons1 X1 X2 from mark X mark from X from ok X ok from X s ok X ok s X cons mark X1 X2 mark cons X1 X2 s mark X mark s X active cons X1 X2 cons active X1 X2 false cons mark X1 X2 cons X1 X2 cons ok X1 ok X2 cons X1 X2 true cons 2 1 0 s 1 1 1 cons1 2 0 top 1 0 2nd 1 1 13363 top 1 0 cons1 2 1 2 1 proper 1 1 0 ok 1 1 1 from 1 1 1 s 1 0 2nd 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 from X from proper X cons1 X1 mark X2 mark cons1 X1 X2 proper 2nd X 2nd proper X 2nd ok X ok 2nd X proper s X s proper X proper cons X1 X2 cons proper X1 proper X2 cons ok X1 ok X2 ok cons X1 X2 2nd mark X mark 2nd X proper cons1 X1 X2 cons1 proper X1 proper X2 cons1 ok X1 ok X2 ok cons1 X1 X2 cons1 mark X1 X2 mark cons1 X1 X2 from mark X mark from X from ok X ok from X s ok X ok s X cons mark X1 X2 mark cons X1 X2 s mark X mark s X NaTT certifiable-1.6