Mini-Challenge: Rudin-Shapiro Sequence

[Allen]

Output with the LCG internal state and the bit mask for a_n = bit7 .. except for a few entries, it's correct up through a_50

Code:


n  LCG       LCG bits    correct?
-2    0 00000 0 000000 N/A
-1    2 00000 0 000010 N/A   <-- initial state from program 
 0   30 00000 0 011110 True  <-- a_0 = 0
 1  422 00011 0 100110 True
 2 2461 10011 0 011101 True
 3 3415 11010 1 010111 True
 4 2975 10111 0 011111 True
 5  264 00010 0 001000 True
 6  249 00001 1 111001 True
 7   39 00000 0 100111 True
 8  548 00100 0 100100 True
 9  776 00110 0 001000 True
10  519 00100 0 000111 True
11  370 00010 1 110010 True
12 1733 01101 1 000101 True
13  121 00000 1 111001 True
14 1696 01101 0 100000 True
15 3052 10111 1 101100 True
16 1342 01010 0 111110 True
17 1545 01100 0 001001 True
18  938 00111 0 101010 True
19 2787 10101 1 100011 True
20 1081 01000 0 111001 True
21 1340 01010 0 111100 True
22 1517 01011 1 101101 True
23  546 00100 0 100010 True
24  748 00101 1 101100 True
25  127 00000 1 111111 True
26 1780 01101 1 110100 True
27  779 00110 0 001011 True
28  561 00100 0 110001 True
29  958 00111 0 111110 True
30 3067 10111 1 111011 True
31 1552 01100 0 010000 True
32 1036 01000 0 001100 True
33  710 00101 1 000110 False  <-- starts going off the rails here
34 3044 10111 1 100100 False
35 1230 01001 1 001110 True
36 3426 11010 1 100010 False
37 3129 11000 0 111001 True
38 2420 10010 1 110100 True
39 2841 10110 0 011001 True
40 1837 01110 0 101101 True
41 1577 01100 0 101001 True
42 1386 01010 1 101010 False
43 2161 10000 1 110001 True
44 2664 10100 1 101000 True
45 2808 10101 1 111000 True
46 1375 01010 1 011111 False
47 2007 01111 1 010111 True
48  508 00011 1 111100 True
49  216 00001 1 011000 True
50 3026 10111 1 010010 True
51  978 00111 1 010010 False
52 3347 11010 0 010011 False
53 2023 01111 1 100111 True
54  732 00101 1 011100 False
55 3352 11010 0 011000 False
56 2093 10000 0 101101 True
57 1712 01101 0 110000 True
58 3276 11001 1 001100 False
59 1029 01000 0 000101 False
60  612 00100 1 100100 True
61 1672 01101 0 001000 False