active 2nd cons X cons Y Z mark Y active from X mark cons X from s X mark 2nd X active 2nd mark X mark cons X1 X2 active cons mark X1 X2 mark from X active from mark X mark s X active s mark X 2nd mark X 2nd X 2nd active X 2nd 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 from mark X from X from active X from X s mark X s X s active X s X 2.2 active from X cons X from s X mark s X s mark X 2nd mark X 2nd X cons mark X1 X2 cons X1 X2 cons X1 active X2 cons X1 X2 s mark X s X 2nd active X 2nd X from active X from X cons X1 mark X2 cons X1 X2 mark cons X1 X2 active cons mark X1 X2 mark 2nd X 2nd mark X mark s X mark X cons active X1 X2 cons X1 X2 mark s X active s mark X active 2nd cons X cons Y Z mark Y mark cons X1 X2 mark X1 mark from X mark X mark 2nd X active 2nd mark X mark cons X1 X2 cons mark X1 X2 mark 2nd X mark X mark from X from mark X active from X from s X active from X mark cons X from s X from mark X from X mark from X active from mark X active from X s X s active X s X true mark cons X1 X2 active cons mark X1 X2 mark from X active from mark X active from X mark cons X from s X mark 2nd X mark X mark 2nd X active 2nd mark X mark from X mark X mark cons X1 X2 mark X1 active 2nd cons X cons Y Z mark Y mark s X active s mark X mark s X mark X true cons 2 0 s 1 8366 2nd 1 8857 mark 1 8857 from 1 8857 s 1 0 2nd 1 0 mark 1 8857 from 1 0 active 1 1 0 cons 2 8856 active 1 1 0 mark s X mark X active 2nd cons X cons Y Z mark Y mark cons X1 X2 mark X1 mark from X mark X mark 2nd X active 2nd mark X mark 2nd X mark X active from X mark cons X from s X mark from X active from mark X mark cons X1 X2 active cons mark X1 X2 s mark X s X 2nd active X 2nd X active 2nd cons X cons Y Z mark Y mark 2nd X active 2nd mark X s active X s X mark from X active from mark X cons X1 mark X2 cons X1 X2 2nd mark X 2nd X from active X from X cons X1 active X2 cons X1 X2 cons active X1 X2 cons X1 X2 cons mark X1 X2 cons X1 X2 from mark X from X mark s X active s mark X active from X mark cons X from s X mark cons X1 X2 mark X1 active 2nd cons X cons Y Z mark Y mark 2nd X mark X mark 2nd X active 2nd mark X mark from X mark X mark from X active from mark X mark s X mark X active from X mark cons X from s X true cons 2 0 s 1 1 0 2nd 1 1 8366 mark 1 1 0 from 1 1 11799 s 1 0 2nd 1 0 mark 1 1 0 from 1 0 active 1 1 0 cons 2 1 11798 2 0 0 active 1 1 0 active from X mark cons X from s X mark s X mark X mark from X active from mark X mark 2nd X active 2nd mark X mark cons X1 X2 active cons mark X1 X2 s mark X s X 2nd active X 2nd X active 2nd cons X cons Y Z mark Y mark 2nd X active 2nd mark X s active X s X mark from X active from mark X cons X1 mark X2 cons X1 X2 2nd mark X 2nd X from active X from X cons X1 active X2 cons X1 X2 cons active X1 X2 cons X1 X2 cons mark X1 X2 cons X1 X2 from mark X from X mark s X active s mark X active from X mark cons X from s X mark 2nd X active 2nd mark X mark from X active from mark X mark s X mark X active from X mark cons X from s X true cons 2 0 s 1 52870 2nd 1 52868 mark 1 52870 from 1 52870 s 1 0 2nd 1 0 mark 1 52870 from 1 0 active 1 1 1 cons 2 0 active 1 1 0 active from X mark cons X from s X mark s X mark X mark from X active from mark X s mark X s X 2nd active X 2nd X s active X s X cons X1 mark X2 cons X1 X2 2nd mark X 2nd X from active X from X cons X1 active X2 cons X1 X2 cons active X1 X2 cons X1 X2 cons mark X1 X2 cons X1 X2 from mark X from X mark from X active from mark X mark s X mark X active from X mark cons X from s X true cons 2 0 s 1 1 52870 2nd 1 52868 mark 1 1 0 from 1 42006 s 1 0 2nd 1 0 mark 1 1 from 1 0 active 1 1 cons 2 42004 active 1 42005 mark cons X1 X2 active cons mark X1 X2 active 2nd cons X cons Y Z mark Y mark 2nd X active 2nd mark X mark from X active from mark X 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 mark s X active s mark X active from X mark cons X from s X mark s X s mark X false mark from X from mark X false active from X from s X false from active X from X from mark X from X true cons 2 0 s 1 1 1 2nd 1 0 mark 1 1 0 from 1 0 s 1 0 2nd 1 0 mark 1 1 12618 from 1 1 0 active 1 1 12619 cons 2 0 active 1 42005 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 active from X s X false s active X s X s mark X s X true cons 2 0 s 1 1 1 2nd 1 0 mark 1 1 0 from 1 0 s 1 1 0 2nd 1 0 mark 1 1 868 from 1 0 active 1 1 869 cons 2 0 active 1 42005 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 mark cons X1 X2 cons mark X1 X2 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 mark X1 X2 cons X1 X2 cons active X1 X2 cons X1 X2 true cons 2 2 0 s 1 1 1 2nd 1 0 mark 1 1 0 from 1 0 s 1 0 2nd 1 0 mark 1 1 868 from 1 0 active 1 1 869 cons 2 0 active 1 42005 cons active X1 X2 cons X1 X2 cons mark X1 X2 cons X1 X2 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 cons active X1 X2 cons X1 X2 cons mark X1 X2 cons X1 X2 true cons 2 1 0 s 1 1 1 2nd 1 0 mark 1 1 0 from 1 0 s 1 0 2nd 1 0 mark 1 1 868 from 1 0 active 1 1 869 cons 2 0 active 1 42005 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 mark 2nd X 2nd mark X false 2nd active X 2nd X 2nd mark X 2nd X true cons 2 0 s 1 1 1 2nd 1 0 mark 1 1 0 from 1 0 s 1 0 2nd 1 1 0 mark 1 1 868 from 1 0 active 1 1 869 cons 2 0 active 1 42005 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 NaTT certifiable-1.6