active first 0 X mark nil active first s X cons Y Z mark cons Y first X Z active from X mark cons X from s X mark first X1 X2 active first mark X1 mark X2 mark 0 active 0 mark nil active nil mark s X active s mark X mark cons X1 X2 active cons mark X1 X2 mark from X active from mark X first mark X1 X2 first X1 X2 first X1 mark X2 first X1 X2 first active X1 X2 first X1 X2 first X1 active X2 first X1 X2 s mark X s X s active X s 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 2.2 active first s X cons Y Z cons Y first X Z mark cons X1 X2 mark X1 cons active X1 X2 cons X1 X2 mark from X active from mark X mark s X active s mark X first X1 mark X2 first X1 X2 s mark X s X active from X from s X active from X cons X from s X from mark X from X mark first X1 X2 active first mark X1 mark X2 mark s X s mark X s active X s X active from X s X from active X from X mark from X from mark X first active X1 X2 first X1 X2 mark first X1 X2 mark X1 first X1 active X2 first X1 X2 mark cons X1 X2 cons mark X1 X2 active from X mark cons X from s X mark first X1 X2 mark X2 mark cons X1 X2 active cons mark X1 X2 mark 0 active 0 mark first X1 X2 first mark X1 mark X2 cons X1 active X2 cons X1 X2 active first 0 X mark nil cons mark X1 X2 cons X1 X2 first mark X1 X2 first X1 X2 active first s X cons Y Z first X Z active first s X cons Y Z mark cons Y first X Z mark from X mark X mark s X mark X mark nil active nil cons X1 mark X2 cons X1 X2 true mark s X mark X mark first X1 X2 active first mark X1 mark X2 mark from X mark X active first s X cons Y Z mark cons Y first X Z mark s X active s mark X mark from X active from mark X mark cons X1 X2 active cons mark X1 X2 mark first X1 X2 mark X2 active from X mark cons X from s X mark first X1 X2 mark X1 mark cons X1 X2 mark X1 true cons 2 0 s 1 1 31755 mark 1 1 1 0 0 19306 from 1 1 60388 s 1 0 first 2 0 nil 0 5854 mark 1 1 0 first 2 1 2 8647 from 1 0 active 1 1 0 cons 2 1 60386 active 1 1 0 cons active X1 X2 cons X1 X2 mark first X1 X2 active first mark X1 mark X2 s active X s X mark cons X1 X2 active cons mark X1 X2 active first 0 X mark nil active from X mark cons X from s X cons mark X1 X2 cons X1 X2 from active X from X cons X1 active X2 cons X1 X2 cons X1 mark X2 cons X1 X2 mark 0 active 0 first mark X1 X2 first X1 X2 mark s X active s mark X from mark X from X s mark X s X first active X1 X2 first X1 X2 first X1 mark X2 first X1 X2 mark from X active from mark X first X1 active X2 first X1 X2 mark nil active nil active first s X cons Y Z mark cons Y first X Z mark from X from mark X false mark s X s mark X false mark 0 active 0 false active first s X cons Y Z first X Z false mark cons X1 X2 cons mark X1 X2 false active from X cons X from s X false active from X from s X false active from X s X false s active X s X s mark X s X true cons 2 0 s 1 1 1 mark 1 1 1 0 0 53255 from 1 1 41617 s 1 1 0 first 2 0 nil 0 1651 mark 1 1 0 first 2 27230 from 1 0 active 1 1 1 cons 2 2241 active 1 0 s mark X s X cons active X1 X2 cons X1 X2 s active X s X cons mark X1 X2 cons X1 X2 from active X from X cons X1 active X2 cons X1 X2 cons X1 mark X2 cons X1 X2 first mark X1 X2 first X1 X2 from mark X from X s mark X s X first active X1 X2 first X1 X2 first X1 mark X2 first X1 X2 first X1 active X2 first X1 X2 s mark X s X true cons 2 0 s 1 1 0 mark 1 1 1 0 0 0 from 1 1 s 1 1 0 first 2 0 nil 0 2649 mark 1 1 1 first 2 1 42199 from 1 0 active 1 1 2 cons 2 2 active 1 0 cons active X1 X2 cons X1 X2 s active X s X cons mark X1 X2 cons X1 X2 from active X from X cons X1 active X2 cons X1 X2 cons X1 mark X2 cons X1 X2 first mark X1 X2 first X1 X2 from mark X from X s mark X s X first active X1 X2 first X1 X2 first X1 mark X2 first X1 X2 first X1 active X2 first X1 X2 active first 0 X mark nil false mark nil active nil false mark first X1 X2 first mark X1 mark X2 false first mark X1 X2 first X1 X2 first X1 mark X2 first X1 X2 first X1 active X2 first X1 X2 first active X1 X2 first X1 X2 true cons 2 0 s 1 1 0 mark 1 1 1 0 0 0 from 1 1 s 1 0 first 2 1 2 0 nil 0 2 mark 1 1 1 first 2 1 62709 from 1 0 active 1 1 2 cons 2 1 active 1 0 cons active X1 X2 cons X1 X2 s active X s X cons mark X1 X2 cons X1 X2 from active X from X cons X1 active X2 cons X1 X2 cons X1 mark X2 cons X1 X2 first mark X1 X2 first X1 X2 from mark X from X s mark X s X first active X1 X2 first X1 X2 first X1 mark X2 first X1 X2 first X1 active X2 first X1 X2 active first s X cons Y Z cons Y first X Z false cons X1 mark X2 cons X1 X2 cons mark X1 X2 cons X1 X2 cons X1 active X2 cons X1 X2 cons active X1 X2 cons X1 X2 true cons 2 1 0 s 1 1 0 mark 1 1 1 0 0 0 from 1 1 s 1 0 first 2 0 nil 0 7453 mark 1 1 1 first 2 1 14661 from 1 0 active 1 1 2 cons 2 1 active 1 0 cons X1 active X2 cons X1 X2 cons X1 mark X2 cons X1 X2 cons active X1 X2 cons X1 X2 s active X s X cons mark X1 X2 cons X1 X2 from active X from X cons X1 active X2 cons X1 X2 cons X1 mark X2 cons X1 X2 first mark X1 X2 first X1 X2 from mark X from X s mark X s X first active X1 X2 first X1 X2 first X1 mark X2 first X1 X2 first X1 active X2 first X1 X2 cons X1 active X2 cons X1 X2 cons X1 mark X2 cons X1 X2 true cons 2 2 0 s 1 1 0 mark 1 1 1 0 0 0 from 1 27857 s 1 0 first 2 0 nil 0 2684 mark 1 1 1 first 2 1 21653 from 1 0 active 1 1 2 cons 2 1 active 1 0 cons active X1 X2 cons X1 X2 s active X s X cons mark X1 X2 cons X1 X2 from active X from X cons X1 active X2 cons X1 X2 cons X1 mark X2 cons X1 X2 first mark X1 X2 first X1 X2 from mark X from X s mark X s X first active X1 X2 first X1 X2 first X1 mark X2 first X1 X2 first X1 active X2 first X1 X2 from mark X from X from active X from X true cons 2 0 s 1 1 0 mark 1 1 1 0 0 0 from 1 15261 s 1 0 first 2 0 nil 0 1 mark 1 1 1 first 2 1 21387 from 1 1 0 active 1 1 2 cons 2 1 active 1 0 cons active X1 X2 cons X1 X2 s active X s X cons mark X1 X2 cons X1 X2 from active X from X cons X1 active X2 cons X1 X2 cons X1 mark X2 cons X1 X2 first mark X1 X2 first X1 X2 from mark X from X s mark X s X first active X1 X2 first X1 X2 first X1 mark X2 first X1 X2 first X1 active X2 first X1 X2 NaTT certifiable-1.6