a__from X cons mark X from s X a__after 0 XS mark XS a__after s N cons X XS a__after mark N mark XS mark from X a__from mark X mark after X1 X2 a__after 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__after X1 X2 after X1 X2 2.2 mark cons X1 X2 mark X1 mark after X1 X2 mark X2 a__after s N cons X XS mark XS mark from X a__from mark X mark from X mark X a__after s N cons X XS a__after mark N mark XS a__from X mark X mark after X1 X2 mark X1 mark s X mark X a__after 0 XS mark XS a__after s N cons X XS mark N mark after X1 X2 a__after mark X1 mark X2 true mark after X1 X2 a__after mark X1 mark X2 mark from X mark X a__after s N cons X XS mark N a__after 0 XS mark XS mark s X mark X mark from X a__from mark X a__after s N cons X XS mark XS mark after X1 X2 mark X2 mark after X1 X2 mark X1 a__from X mark X a__after s N cons X XS a__after mark N mark XS mark cons X1 X2 mark X1 true s 1 1 0 a__from 1 1 5854 a__from 1 1 41065 after 2 1 71680 2 30614 0 a__after 2 1 46918 2 5854 0 a__after 2 1 71680 2 30614 0 mark 1 1 5853 0 0 0 from 1 1 41065 mark 1 1 0 cons 2 1 41065 2 0 0 a__after s N cons X XS a__after mark N mark XS 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__after s N cons X XS a__after mark N mark XS mark after X1 X2 a__after mark X1 mark X2 a__after X1 X2 after X1 X2 mark s X s mark X a__from X from X mark cons X1 X2 cons mark X1 X2 a__after 0 XS mark XS a__after s N cons X XS a__after mark N mark XS true s 1 1 9727 a__from 1 0 a__from 1 44245 after 2 2 9726 a__after 2 1 0 a__after 2 2 9726 mark 1 0 0 0 31328 from 1 34519 mark 1 1 9726 cons 2 2 9726 mark from X a__from mark X mark 0 0 a__from X cons mark X from s X a__after s N cons X XS a__after mark N mark XS mark after X1 X2 a__after mark X1 mark X2 a__after X1 X2 after X1 X2 mark s X s mark X a__from X from X mark cons X1 X2 cons mark X1 X2 a__after 0 XS mark XS mark s X mark X true s 1 1 9727 a__from 1 0 a__from 1 35496 after 2 2 1 a__after 2 1 0 a__after 2 2 1 mark 1 1 0 0 0 31328 from 1 35495 mark 1 1 1 cons 2 2 1 mark from X a__from mark X mark 0 0 a__from X cons mark X from s X a__after s N cons X XS a__after mark N mark XS mark after X1 X2 a__after mark X1 mark X2 a__after X1 X2 after X1 X2 mark s X s mark X a__from X from X mark cons X1 X2 cons mark X1 X2 a__after 0 XS mark XS NaTT certifiable-1.6