a__from X cons mark X from s X a__sel 0 cons X Y mark X a__sel s X cons Y Z a__sel mark X mark Z mark from X a__from mark X 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 a__from X from X a__sel X1 X2 sel X1 X2 2.2 mark cons X1 X2 mark X1 mark sel X1 X2 mark X2 a__sel s X cons Y Z mark Z mark from X a__from mark X mark from X mark X a__sel s X cons Y Z a__sel mark X mark Z a__from X mark X mark sel X1 X2 mark X1 mark s X mark X a__sel 0 cons X Y mark X a__sel s X cons Y Z mark X mark sel X1 X2 a__sel mark X1 mark X2 true mark sel X1 X2 a__sel mark X1 mark X2 mark from X mark X a__sel s X cons Y Z mark X a__sel 0 cons X Y mark X mark s X mark X mark from X a__from mark X a__sel s X cons Y Z mark Z mark sel X1 X2 mark X2 mark sel X1 X2 mark X1 a__from X mark X a__sel s X cons Y Z a__sel mark X mark Z mark cons X1 X2 mark X1 true s 1 1 0 a__from 1 1 35231 a__from 1 1 20539 mark 1 1 35230 0 0 1 from 1 1 20539 sel 2 1 4902 2 284 0 a__sel 2 1 40131 2 35231 0 mark 1 1 0 a__sel 2 1 4902 2 284 0 cons 2 1 4618 2 0 0 a__sel s X cons Y Z a__sel mark X mark Z mark s X mark X mark from X a__from mark X mark 0 0 a__from X cons mark X from s X a__sel s X cons Y Z a__sel mark X mark Z mark sel X1 X2 a__sel mark X1 mark X2 a__sel X1 X2 sel X1 X2 mark s X s mark X a__from X from X mark cons X1 X2 cons mark X1 X2 a__sel 0 cons X Y mark X a__sel s X cons Y Z a__sel mark X mark Z true a__sel 2 1 mark 1 1 s 1 2 1 a__from 1 0 a__from 1 1 mark 1 0 0 0 0 from 1 1 sel 2 3 1 2 a__sel 2 3 1 2 cons 2 0 s 1 1 0 a__from 1 1 a__from 1 1 8858 mark 1 1 0 0 1 from 1 1 8858 sel 2 1 2 8856 a__sel 2 1 2 8856 cons 2 1 8857 2 0 0 mark from X a__from mark X mark 0 0 a__from X cons mark X from s X a__sel s X cons Y Z a__sel mark X mark Z mark sel X1 X2 a__sel mark X1 mark X2 a__sel X1 X2 sel X1 X2 mark s X s mark X a__from X from X mark cons X1 X2 cons mark X1 X2 a__sel 0 cons X Y mark X mark s X mark X true s 1 1 1 a__from 1 2 a__from 1 2 mark 1 1 2 0 0 2 from 1 3 sel 2 1 3 a__sel 2 0 mark 1 1 a__sel 2 2 cons 2 3 NaTT certifiable-1.6