rev1 0 nil 0 rev1 s X nil s X rev1 X cons Y L rev1 Y L rev nil nil rev cons X L cons rev1 X L rev2 X L rev2 X nil nil rev2 X cons Y L rev cons X rev rev2 Y L 2.2 rev2 X cons Y L rev rev2 Y L rev1 X cons Y L rev1 Y L rev cons X L rev2 X L rev2 X cons Y L rev2 Y L rev2 X cons Y L rev cons X rev rev2 Y L rev cons X L rev1 X L true rev2 X cons Y L rev cons X rev rev2 Y L rev2 X cons Y L rev2 Y L rev cons X L rev2 X L rev2 X cons Y L rev rev2 Y L true rev 1 1 0 s 1 1 0 rev1 2 1 rev1 2 0 rev2 2 2 1 0 0 0 nil 0 1 rev 1 1 0 cons 2 2 10452 rev2 2 2 0 rev nil nil rev cons X L cons rev1 X L rev2 X L rev2 X cons Y L rev cons X rev rev2 Y L rev2 X nil nil rev cons X L rev1 X L false rev1 X cons Y L rev1 Y L true rev 1 1 0 s 1 1 0 rev1 2 1 rev1 2 2 0 rev2 2 1 0 0 0 nil 0 1 rev 1 1 0 cons 2 2 1 rev2 2 2 0 rev nil nil rev cons X L cons rev1 X L rev2 X L rev2 X cons Y L rev cons X rev rev2 Y L rev2 X nil nil NaTT certifiable-1.6