active zeros mark cons 0 zeros active tail cons X XS mark XS mark zeros active zeros mark cons X1 X2 active cons mark X1 X2 mark 0 active 0 mark tail X active tail mark 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 tail mark X tail X tail active X tail X 2.2 mark tail X active tail mark X tail mark X tail X active zeros cons 0 zeros cons X1 active X2 cons X1 X2 mark zeros active zeros active zeros mark cons 0 zeros cons X1 mark X2 cons X1 X2 tail active X tail X mark 0 active 0 cons active X1 X2 cons X1 X2 mark cons X1 X2 mark X1 mark cons X1 X2 cons mark X1 X2 mark tail X tail mark X active tail cons X XS mark XS cons mark X1 X2 cons X1 X2 mark cons X1 X2 active cons mark X1 X2 mark tail X mark X true mark tail X mark X mark cons X1 X2 active cons mark X1 X2 active zeros mark cons 0 zeros active tail cons X XS mark XS mark zeros active zeros mark cons X1 X2 mark X1 mark tail X active tail mark X true cons 2 0 zeros 0 8857 tail 1 8857 mark 1 8857 0 0 1 tail 1 0 mark 1 1 active 1 1 1 cons 2 1 active 1 1 0 mark tail X active tail mark X mark cons X1 X2 mark X1 mark zeros active zeros active tail cons X XS mark XS active zeros mark cons 0 zeros mark tail X mark X cons X1 mark X2 cons X1 X2 cons X1 active X2 cons X1 X2 cons mark X1 X2 cons X1 X2 tail active X tail X tail mark X tail X cons active X1 X2 cons X1 X2 mark cons X1 X2 mark X1 active zeros mark cons 0 zeros mark zeros active zeros mark tail X mark X mark tail X active tail mark X active tail cons X XS mark XS true cons 2 0 zeros 0 1143 tail 1 1 28101 mark 1 1 8857 0 0 0 tail 1 0 mark 1 1 0 active 1 1 0 cons 2 1 2 0 active 1 1 8857 mark tail X active tail mark X mark zeros active zeros active zeros mark cons 0 zeros mark cons X1 X2 mark X1 mark cons X1 X2 active cons mark X1 X2 cons X1 mark X2 cons X1 X2 active zeros mark cons 0 zeros mark zeros active zeros mark 0 active 0 cons X1 active X2 cons X1 X2 cons mark X1 X2 cons X1 X2 tail active X tail X tail mark X tail X cons active X1 X2 cons X1 X2 mark tail X active tail mark X active tail cons X XS mark XS mark cons X1 X2 mark X1 active zeros mark cons 0 zeros mark zeros active zeros mark tail X active tail mark X true cons 2 0 zeros 0 2 tail 1 1 mark 1 8857 0 0 1 tail 1 0 mark 1 1 active 1 1 cons 2 1 active 1 1 8855 mark zeros active zeros active zeros mark cons 0 zeros mark cons X1 X2 mark X1 mark cons X1 X2 active cons mark X1 X2 cons X1 mark X2 cons X1 X2 active zeros mark cons 0 zeros mark zeros active zeros mark 0 active 0 cons X1 active X2 cons X1 X2 cons mark X1 X2 cons X1 X2 tail active X tail X tail mark X tail X cons active X1 X2 cons X1 X2 mark tail X active tail mark X active tail cons X XS mark XS mark cons X1 X2 mark X1 active zeros mark cons 0 zeros mark zeros active zeros true cons 2 0 zeros 0 2322 tail 1 0 mark 1 1 6534 0 0 0 tail 1 0 mark 1 1 4 active 1 1 1 cons 2 1 2320 active 1 8855 cons X1 mark X2 cons X1 X2 cons X1 active X2 cons X1 X2 cons mark X1 X2 cons X1 X2 cons active X1 X2 cons X1 X2 mark tail X tail mark X false tail mark X tail X tail active X tail X true cons 2 0 zeros 0 1 tail 1 0 mark 1 1 6534 0 0 0 tail 1 1 0 mark 1 1 4 active 1 1 3 cons 2 1 1 active 1 8855 cons X1 mark X2 cons X1 X2 cons X1 active X2 cons X1 X2 cons mark X1 X2 cons X1 X2 cons active X1 X2 cons X1 X2 mark 0 active 0 false mark cons X1 X2 cons mark X1 X2 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 2 0 zeros 0 1 tail 1 0 mark 1 1 6534 0 0 0 tail 1 0 mark 1 1 2 active 1 1 1 cons 2 1 1 active 1 8855 cons X1 mark X2 cons X1 X2 cons X1 active X2 cons X1 X2 cons mark X1 X2 cons X1 X2 cons active X1 X2 cons X1 X2 active zeros cons 0 zeros false NaTT certifiable-1.6