a__from X cons mark X from s X a__head cons X XS mark X a__2nd cons X XS a__head mark XS a__take 0 XS nil a__take s N cons X XS cons mark X take N XS a__sel 0 cons X XS mark X a__sel s N cons X XS a__sel mark N mark XS mark from X a__from mark X mark head X a__head mark X mark 2nd X a__2nd mark X mark take X1 X2 a__take mark X1 mark X2 mark sel X1 X2 a__sel mark X1 mark X2 mark cons X1 X2 cons mark X1 X2 mark s X s mark X mark 0 0 mark nil nil a__from X from X a__head X head X a__2nd X 2nd X a__take X1 X2 take X1 X2 a__sel X1 X2 sel X1 X2 2.2 a__sel 0 cons X XS mark X mark take X1 X2 a__take mark X1 mark X2 a__sel s N cons X XS a__sel mark N mark XS mark sel X1 X2 a__sel mark X1 mark X2 mark sel X1 X2 mark X2 mark from X mark X mark s X mark X a__sel s N cons X XS mark N a__2nd cons X XS mark XS mark take X1 X2 mark X1 mark sel X1 X2 mark X1 mark head X mark X mark from X a__from mark X mark 2nd X mark X a__2nd cons X XS a__head mark XS a__from X mark X mark 2nd X a__2nd mark X mark cons X1 X2 mark X1 a__head cons X XS mark X mark take X1 X2 mark X2 a__sel s N cons X XS mark XS mark head X a__head mark X a__take s N cons X XS mark X true a__take s N cons X XS mark X mark head X a__head mark X a__sel s N cons X XS mark N a__sel s N cons X XS mark XS mark s X mark X mark take X1 X2 mark X2 a__head cons X XS mark X mark from X mark X mark cons X1 X2 mark X1 mark 2nd X a__2nd mark X a__from X mark X mark sel X1 X2 mark X2 mark sel X1 X2 a__sel mark X1 mark X2 a__sel s N cons X XS a__sel mark N mark XS a__2nd cons X XS a__head mark XS mark 2nd X mark X mark take X1 X2 a__take mark X1 mark X2 mark from X a__from mark X mark head X mark X mark sel X1 X2 mark X1 mark take X1 X2 mark X1 a__sel 0 cons X XS mark X a__2nd cons X XS mark XS true s 1 1 0 a__head 1 1 47562 a__from 1 1 47563 a__from 1 1 35658 take 2 1 26287 2 26287 0 2nd 1 1 2999 a__2nd 1 1 2999 a__take 2 2 47563 0 a__2nd 1 1 47563 mark 1 1 47562 0 0 1 from 1 1 35658 sel 2 1 20977 2 0 0 nil 0 26288 a__sel 2 1 68539 2 47562 0 mark 1 1 0 a__sel 2 1 20977 2 0 0 head 1 1 1098 cons 2 1 20978 2 0 0 a__take 2 1 26287 2 26287 0 a__head 1 1 1098 a__sel s N cons X XS a__sel mark N mark XS mark sel X1 X2 a__sel mark X1 mark X2 mark sel X1 X2 mark X2 mark s X mark X a__sel s N cons X XS mark XS a__head X head X a__take 0 XS nil mark 0 0 mark from X a__from mark X a__from X cons mark X from s X a__2nd cons X XS a__head mark XS mark nil nil a__sel X1 X2 sel X1 X2 a__2nd X 2nd X a__from X from X a__take s N cons X XS cons mark X take N XS mark 2nd X a__2nd mark X a__sel s N cons X XS a__sel mark N mark XS a__take X1 X2 take X1 X2 mark s X s mark X mark sel X1 X2 a__sel mark X1 mark X2 mark take X1 X2 a__take mark X1 mark X2 mark head X a__head mark X mark cons X1 X2 cons mark X1 X2 a__sel 0 cons X XS mark X a__head cons X XS mark X a__sel s N cons X XS mark XS a__sel s N cons X XS a__sel mark N mark XS mark s X mark X mark sel X1 X2 mark X2 mark sel X1 X2 a__sel mark X1 mark X2 true s 1 1 0 a__head 1 1 47562 a__from 1 1 47563 a__from 1 1 38104 take 2 1 1 2 1 0 2nd 1 1 42594 a__2nd 1 1 42594 a__take 2 2 47563 0 a__2nd 1 1 47563 mark 1 1 841 0 0 1 from 1 1 38104 sel 2 1 2 2 1 0 nil 0 2 a__sel 2 2 842 0 mark 1 1 0 a__sel 2 1 2 2 1 0 head 1 1 32869 cons 2 1 1 2 0 0 a__take 2 1 1 2 1 0 a__head 1 1 32869 mark sel X1 X2 a__sel mark X1 mark X2 mark s X mark X a__sel s N cons X XS a__sel mark N mark XS a__head X head X a__take 0 XS nil mark 0 0 mark from X a__from mark X a__from X cons mark X from s X a__2nd cons X XS a__head mark XS mark nil nil a__sel X1 X2 sel X1 X2 a__2nd X 2nd X a__from X from X a__take s N cons X XS cons mark X take N XS mark 2nd X a__2nd mark X a__sel s N cons X XS a__sel mark N mark XS a__take X1 X2 take X1 X2 mark s X s mark X mark sel X1 X2 a__sel mark X1 mark X2 mark take X1 X2 a__take mark X1 mark X2 mark head X a__head mark X mark cons X1 X2 cons mark X1 X2 a__sel 0 cons X XS mark X a__head cons X XS mark X mark s X mark X true s 1 1 1 a__head 1 0 a__from 1 0 a__from 1 1 1 take 2 2 2nd 1 1 31603 a__2nd 1 31602 a__take 2 0 a__2nd 1 0 mark 1 1 0 0 0 31602 from 1 2 sel 2 2 nil 0 31604 a__sel 2 0 mark 1 31601 a__sel 2 2 1 head 1 3 cons 2 1 31598 a__take 2 1 1 a__head 1 1 2 mark sel X1 X2 a__sel mark X1 mark X2 false a__sel s N cons X XS a__sel mark N mark XS true mark 1 1 s 1 1 1 a__head 1 0 a__from 1 0 a__from 1 2 take 2 4 2nd 1 5 a__2nd 1 5 a__take 2 0 a__2nd 1 0 mark 1 0 0 0 3 from 1 2 sel 2 4 nil 0 0 a__sel 2 2 1 2 a__sel 2 4 head 1 4 cons 2 0 a__take 2 4 a__head 1 4 s 1 1 0 a__head 1 1 a__from 1 1 a__from 1 1 27232 take 2 2 1326 2nd 1 1 0 a__2nd 1 1 0 a__take 2 1 a__2nd 1 1 mark 1 1 0 0 1058 from 1 1 27232 sel 2 2 1 nil 0 1057 a__sel 2 1 2 1 a__sel 2 2 1 head 1 1 0 cons 2 1 1325 2 0 0 a__take 2 2 1326 a__head 1 1 0 a__head X head X a__take 0 XS nil mark 0 0 mark from X a__from mark X a__from X cons mark X from s X a__2nd cons X XS a__head mark XS mark nil nil a__sel X1 X2 sel X1 X2 a__2nd X 2nd X a__from X from X a__take s N cons X XS cons mark X take N XS mark 2nd X a__2nd mark X a__sel s N cons X XS a__sel mark N mark XS a__take X1 X2 take X1 X2 mark s X s mark X mark sel X1 X2 a__sel mark X1 mark X2 mark take X1 X2 a__take mark X1 mark X2 mark head X a__head mark X mark cons X1 X2 cons mark X1 X2 a__sel 0 cons X XS mark X a__head cons X XS mark X NaTT certifiable-1.6