Navigation Menu

Skip to content

Instantly share code, notes, and snippets.

@mvw

mvw/regexc101.log

Last active October 18, 2015 17:52
Show Gist options
  • Star 0 You must be signed in to star a gist
  • Fork 0 You must be signed in to fork a gist
  • Save mvw/73f9aa8dfcc18656d3fc to your computer and use it in GitHub Desktop.
Save mvw/73f9aa8dfcc18656d3fc to your computer and use it in GitHub Desktop.
Download ZIP
Raw
regexc101.log
Testing "not containing 101" for the first 1024 non-empty binary words:
0: 0 => goal: true, r1: true, r2: true, 3: true
1: 1 => goal: true, r1: false ERROR, r2: true, 3: true
2: 10 => goal: true, r1: true, r2: true, 3: true
3: 11 => goal: true, r1: false ERROR, r2: true, 3: true
4: 100 => goal: true, r1: true, r2: true, 3: true
5: 101 => goal: false, r1: false, r2: false, 3: false
6: 110 => goal: true, r1: false ERROR, r2: true, 3: true
7: 111 => goal: true, r1: false ERROR, r2: true, 3: true
8: 1000 => goal: true, r1: true, r2: true, 3: true
9: 1001 => goal: true, r1: false ERROR, r2: true, 3: true
10: 1010 => goal: false, r1: false, r2: false, 3: false
11: 1011 => goal: false, r1: false, r2: false, 3: false
12: 1100 => goal: true, r1: true, r2: true, 3: true
13: 1101 => goal: false, r1: false, r2: false, 3: false
14: 1110 => goal: true, r1: false ERROR, r2: true, 3: true
15: 1111 => goal: true, r1: false ERROR, r2: true, 3: true
16: 10000 => goal: true, r1: true, r2: true, 3: true
17: 10001 => goal: true, r1: false ERROR, r2: true, 3: true
18: 10010 => goal: true, r1: true, r2: true, 3: true
19: 10011 => goal: true, r1: false ERROR, r2: true, 3: true
20: 10100 => goal: false, r1: false, r2: false, 3: false
21: 10101 => goal: false, r1: false, r2: false, 3: false
22: 10110 => goal: false, r1: false, r2: false, 3: false
23: 10111 => goal: false, r1: false, r2: false, 3: false
24: 11000 => goal: true, r1: true, r2: true, 3: true
25: 11001 => goal: true, r1: false ERROR, r2: true, 3: true
26: 11010 => goal: false, r1: false, r2: false, 3: false
27: 11011 => goal: false, r1: false, r2: false, 3: false
28: 11100 => goal: true, r1: true, r2: true, 3: true
29: 11101 => goal: false, r1: false, r2: false, 3: false
30: 11110 => goal: true, r1: false ERROR, r2: true, 3: true
31: 11111 => goal: true, r1: false ERROR, r2: true, 3: true
32: 100000 => goal: true, r1: true, r2: true, 3: true
33: 100001 => goal: true, r1: false ERROR, r2: true, 3: true
34: 100010 => goal: true, r1: true, r2: true, 3: true
35: 100011 => goal: true, r1: false ERROR, r2: true, 3: true
36: 100100 => goal: true, r1: true, r2: true, 3: true
37: 100101 => goal: false, r1: false, r2: false, 3: false
38: 100110 => goal: true, r1: false ERROR, r2: true, 3: true
39: 100111 => goal: true, r1: false ERROR, r2: true, 3: true
40: 101000 => goal: false, r1: false, r2: false, 3: false
41: 101001 => goal: false, r1: false, r2: false, 3: false
42: 101010 => goal: false, r1: false, r2: false, 3: false
43: 101011 => goal: false, r1: false, r2: false, 3: false
44: 101100 => goal: false, r1: false, r2: false, 3: false
45: 101101 => goal: false, r1: false, r2: false, 3: false
46: 101110 => goal: false, r1: false, r2: false, 3: false
47: 101111 => goal: false, r1: false, r2: false, 3: false
48: 110000 => goal: true, r1: true, r2: true, 3: true
49: 110001 => goal: true, r1: false ERROR, r2: true, 3: true
50: 110010 => goal: true, r1: true, r2: true, 3: true
51: 110011 => goal: true, r1: false ERROR, r2: true, 3: true
52: 110100 => goal: false, r1: false, r2: false, 3: false
53: 110101 => goal: false, r1: false, r2: false, 3: false
54: 110110 => goal: false, r1: false, r2: false, 3: false
55: 110111 => goal: false, r1: false, r2: false, 3: false
56: 111000 => goal: true, r1: true, r2: true, 3: true
57: 111001 => goal: true, r1: false ERROR, r2: true, 3: true
58: 111010 => goal: false, r1: false, r2: false, 3: false
59: 111011 => goal: false, r1: false, r2: false, 3: false
60: 111100 => goal: true, r1: true, r2: true, 3: true
61: 111101 => goal: false, r1: false, r2: false, 3: false
62: 111110 => goal: true, r1: false ERROR, r2: true, 3: true
63: 111111 => goal: true, r1: false ERROR, r2: true, 3: true
64: 1000000 => goal: true, r1: true, r2: true, 3: true
65: 1000001 => goal: true, r1: false ERROR, r2: true, 3: true
66: 1000010 => goal: true, r1: true, r2: true, 3: true
67: 1000011 => goal: true, r1: false ERROR, r2: true, 3: true
68: 1000100 => goal: true, r1: true, r2: true, 3: true
69: 1000101 => goal: false, r1: false, r2: false, 3: false
70: 1000110 => goal: true, r1: false ERROR, r2: true, 3: true
71: 1000111 => goal: true, r1: false ERROR, r2: true, 3: true
72: 1001000 => goal: true, r1: true, r2: true, 3: true
73: 1001001 => goal: true, r1: false ERROR, r2: true, 3: true
74: 1001010 => goal: false, r1: false, r2: false, 3: false
75: 1001011 => goal: false, r1: false, r2: false, 3: false
76: 1001100 => goal: true, r1: true, r2: true, 3: true
77: 1001101 => goal: false, r1: false, r2: false, 3: false
78: 1001110 => goal: true, r1: false ERROR, r2: true, 3: true
79: 1001111 => goal: true, r1: false ERROR, r2: true, 3: true
80: 1010000 => goal: false, r1: false, r2: false, 3: false
81: 1010001 => goal: false, r1: false, r2: false, 3: false
82: 1010010 => goal: false, r1: false, r2: false, 3: false
83: 1010011 => goal: false, r1: false, r2: false, 3: false
84: 1010100 => goal: false, r1: false, r2: false, 3: false
85: 1010101 => goal: false, r1: false, r2: false, 3: false
86: 1010110 => goal: false, r1: false, r2: false, 3: false
87: 1010111 => goal: false, r1: false, r2: false, 3: false
88: 1011000 => goal: false, r1: false, r2: false, 3: false
89: 1011001 => goal: false, r1: false, r2: false, 3: false
90: 1011010 => goal: false, r1: false, r2: false, 3: false
91: 1011011 => goal: false, r1: false, r2: false, 3: false
92: 1011100 => goal: false, r1: false, r2: false, 3: false
93: 1011101 => goal: false, r1: false, r2: false, 3: false
94: 1011110 => goal: false, r1: false, r2: false, 3: false
95: 1011111 => goal: false, r1: false, r2: false, 3: false
96: 1100000 => goal: true, r1: true, r2: true, 3: true
97: 1100001 => goal: true, r1: false ERROR, r2: true, 3: true
98: 1100010 => goal: true, r1: true, r2: true, 3: true
99: 1100011 => goal: true, r1: false ERROR, r2: true, 3: true
100: 1100100 => goal: true, r1: true, r2: true, 3: true
101: 1100101 => goal: false, r1: false, r2: false, 3: false
102: 1100110 => goal: true, r1: false ERROR, r2: true, 3: true
103: 1100111 => goal: true, r1: false ERROR, r2: true, 3: true
104: 1101000 => goal: false, r1: false, r2: false, 3: false
105: 1101001 => goal: false, r1: false, r2: false, 3: false
106: 1101010 => goal: false, r1: false, r2: false, 3: false
107: 1101011 => goal: false, r1: false, r2: false, 3: false
108: 1101100 => goal: false, r1: false, r2: false, 3: false
109: 1101101 => goal: false, r1: false, r2: false, 3: false
110: 1101110 => goal: false, r1: false, r2: false, 3: false
111: 1101111 => goal: false, r1: false, r2: false, 3: false
112: 1110000 => goal: true, r1: true, r2: true, 3: true
113: 1110001 => goal: true, r1: false ERROR, r2: true, 3: true
114: 1110010 => goal: true, r1: true, r2: true, 3: true
115: 1110011 => goal: true, r1: false ERROR, r2: true, 3: true
116: 1110100 => goal: false, r1: false, r2: false, 3: false
117: 1110101 => goal: false, r1: false, r2: false, 3: false
118: 1110110 => goal: false, r1: false, r2: false, 3: false
119: 1110111 => goal: false, r1: false, r2: false, 3: false
120: 1111000 => goal: true, r1: true, r2: true, 3: true
121: 1111001 => goal: true, r1: false ERROR, r2: true, 3: true
122: 1111010 => goal: false, r1: false, r2: false, 3: false
123: 1111011 => goal: false, r1: false, r2: false, 3: false
124: 1111100 => goal: true, r1: true, r2: true, 3: true
125: 1111101 => goal: false, r1: false, r2: false, 3: false
126: 1111110 => goal: true, r1: false ERROR, r2: true, 3: true
127: 1111111 => goal: true, r1: false ERROR, r2: true, 3: true
128: 10000000 => goal: true, r1: true, r2: true, 3: true
129: 10000001 => goal: true, r1: false ERROR, r2: true, 3: true
130: 10000010 => goal: true, r1: true, r2: true, 3: true
131: 10000011 => goal: true, r1: false ERROR, r2: true, 3: true
132: 10000100 => goal: true, r1: true, r2: true, 3: true
133: 10000101 => goal: false, r1: false, r2: false, 3: false
134: 10000110 => goal: true, r1: false ERROR, r2: true, 3: true
135: 10000111 => goal: true, r1: false ERROR, r2: true, 3: true
136: 10001000 => goal: true, r1: true, r2: true, 3: true
137: 10001001 => goal: true, r1: false ERROR, r2: true, 3: true
138: 10001010 => goal: false, r1: false, r2: false, 3: false
139: 10001011 => goal: false, r1: false, r2: false, 3: false
140: 10001100 => goal: true, r1: true, r2: true, 3: true
141: 10001101 => goal: false, r1: false, r2: false, 3: false
142: 10001110 => goal: true, r1: false ERROR, r2: true, 3: true
143: 10001111 => goal: true, r1: false ERROR, r2: true, 3: true
144: 10010000 => goal: true, r1: true, r2: true, 3: true
145: 10010001 => goal: true, r1: false ERROR, r2: true, 3: true
146: 10010010 => goal: true, r1: true, r2: true, 3: true
147: 10010011 => goal: true, r1: false ERROR, r2: true, 3: true
148: 10010100 => goal: false, r1: false, r2: false, 3: false
149: 10010101 => goal: false, r1: false, r2: false, 3: false
150: 10010110 => goal: false, r1: false, r2: false, 3: false
151: 10010111 => goal: false, r1: false, r2: false, 3: false
152: 10011000 => goal: true, r1: true, r2: true, 3: true
153: 10011001 => goal: true, r1: false ERROR, r2: true, 3: true
154: 10011010 => goal: false, r1: false, r2: false, 3: false
155: 10011011 => goal: false, r1: false, r2: false, 3: false
156: 10011100 => goal: true, r1: true, r2: true, 3: true
157: 10011101 => goal: false, r1: false, r2: false, 3: false
158: 10011110 => goal: true, r1: false ERROR, r2: true, 3: true
159: 10011111 => goal: true, r1: false ERROR, r2: true, 3: true
160: 10100000 => goal: false, r1: false, r2: false, 3: false
161: 10100001 => goal: false, r1: false, r2: false, 3: false
162: 10100010 => goal: false, r1: false, r2: false, 3: false
163: 10100011 => goal: false, r1: false, r2: false, 3: false
164: 10100100 => goal: false, r1: false, r2: false, 3: false
165: 10100101 => goal: false, r1: false, r2: false, 3: false
166: 10100110 => goal: false, r1: false, r2: false, 3: false
167: 10100111 => goal: false, r1: false, r2: false, 3: false
168: 10101000 => goal: false, r1: false, r2: false, 3: false
169: 10101001 => goal: false, r1: false, r2: false, 3: false
170: 10101010 => goal: false, r1: false, r2: false, 3: false
171: 10101011 => goal: false, r1: false, r2: false, 3: false
172: 10101100 => goal: false, r1: false, r2: false, 3: false
173: 10101101 => goal: false, r1: false, r2: false, 3: false
174: 10101110 => goal: false, r1: false, r2: false, 3: false
175: 10101111 => goal: false, r1: false, r2: false, 3: false
176: 10110000 => goal: false, r1: false, r2: false, 3: false
177: 10110001 => goal: false, r1: false, r2: false, 3: false
178: 10110010 => goal: false, r1: false, r2: false, 3: false
179: 10110011 => goal: false, r1: false, r2: false, 3: false
180: 10110100 => goal: false, r1: false, r2: false, 3: false
181: 10110101 => goal: false, r1: false, r2: false, 3: false
182: 10110110 => goal: false, r1: false, r2: false, 3: false
183: 10110111 => goal: false, r1: false, r2: false, 3: false
184: 10111000 => goal: false, r1: false, r2: false, 3: false
185: 10111001 => goal: false, r1: false, r2: false, 3: false
186: 10111010 => goal: false, r1: false, r2: false, 3: false
187: 10111011 => goal: false, r1: false, r2: false, 3: false
188: 10111100 => goal: false, r1: false, r2: false, 3: false
189: 10111101 => goal: false, r1: false, r2: false, 3: false
190: 10111110 => goal: false, r1: false, r2: false, 3: false
191: 10111111 => goal: false, r1: false, r2: false, 3: false
192: 11000000 => goal: true, r1: true, r2: true, 3: true
193: 11000001 => goal: true, r1: false ERROR, r2: true, 3: true
194: 11000010 => goal: true, r1: true, r2: true, 3: true
195: 11000011 => goal: true, r1: false ERROR, r2: true, 3: true
196: 11000100 => goal: true, r1: true, r2: true, 3: true
197: 11000101 => goal: false, r1: false, r2: false, 3: false
198: 11000110 => goal: true, r1: false ERROR, r2: true, 3: true
199: 11000111 => goal: true, r1: false ERROR, r2: true, 3: true
200: 11001000 => goal: true, r1: true, r2: true, 3: true
201: 11001001 => goal: true, r1: false ERROR, r2: true, 3: true
202: 11001010 => goal: false, r1: false, r2: false, 3: false
203: 11001011 => goal: false, r1: false, r2: false, 3: false
204: 11001100 => goal: true, r1: true, r2: true, 3: true
205: 11001101 => goal: false, r1: false, r2: false, 3: false
206: 11001110 => goal: true, r1: false ERROR, r2: true, 3: true
207: 11001111 => goal: true, r1: false ERROR, r2: true, 3: true
208: 11010000 => goal: false, r1: false, r2: false, 3: false
209: 11010001 => goal: false, r1: false, r2: false, 3: false
210: 11010010 => goal: false, r1: false, r2: false, 3: false
211: 11010011 => goal: false, r1: false, r2: false, 3: false
212: 11010100 => goal: false, r1: false, r2: false, 3: false
213: 11010101 => goal: false, r1: false, r2: false, 3: false
214: 11010110 => goal: false, r1: false, r2: false, 3: false
215: 11010111 => goal: false, r1: false, r2: false, 3: false
216: 11011000 => goal: false, r1: false, r2: false, 3: false
217: 11011001 => goal: false, r1: false, r2: false, 3: false
218: 11011010 => goal: false, r1: false, r2: false, 3: false
219: 11011011 => goal: false, r1: false, r2: false, 3: false
220: 11011100 => goal: false, r1: false, r2: false, 3: false
221: 11011101 => goal: false, r1: false, r2: false, 3: false
222: 11011110 => goal: false, r1: false, r2: false, 3: false
223: 11011111 => goal: false, r1: false, r2: false, 3: false
224: 11100000 => goal: true, r1: true, r2: true, 3: true
225: 11100001 => goal: true, r1: false ERROR, r2: true, 3: true
226: 11100010 => goal: true, r1: true, r2: true, 3: true
227: 11100011 => goal: true, r1: false ERROR, r2: true, 3: true
228: 11100100 => goal: true, r1: true, r2: true, 3: true
229: 11100101 => goal: false, r1: false, r2: false, 3: false
230: 11100110 => goal: true, r1: false ERROR, r2: true, 3: true
231: 11100111 => goal: true, r1: false ERROR, r2: true, 3: true
232: 11101000 => goal: false, r1: false, r2: false, 3: false
233: 11101001 => goal: false, r1: false, r2: false, 3: false
234: 11101010 => goal: false, r1: false, r2: false, 3: false
235: 11101011 => goal: false, r1: false, r2: false, 3: false
236: 11101100 => goal: false, r1: false, r2: false, 3: false
237: 11101101 => goal: false, r1: false, r2: false, 3: false
238: 11101110 => goal: false, r1: false, r2: false, 3: false
239: 11101111 => goal: false, r1: false, r2: false, 3: false
240: 11110000 => goal: true, r1: true, r2: true, 3: true
241: 11110001 => goal: true, r1: false ERROR, r2: true, 3: true
242: 11110010 => goal: true, r1: true, r2: true, 3: true
243: 11110011 => goal: true, r1: false ERROR, r2: true, 3: true
244: 11110100 => goal: false, r1: false, r2: false, 3: false
245: 11110101 => goal: false, r1: false, r2: false, 3: false
246: 11110110 => goal: false, r1: false, r2: false, 3: false
247: 11110111 => goal: false, r1: false, r2: false, 3: false
248: 11111000 => goal: true, r1: true, r2: true, 3: true
249: 11111001 => goal: true, r1: false ERROR, r2: true, 3: true
250: 11111010 => goal: false, r1: false, r2: false, 3: false
251: 11111011 => goal: false, r1: false, r2: false, 3: false
252: 11111100 => goal: true, r1: true, r2: true, 3: true
253: 11111101 => goal: false, r1: false, r2: false, 3: false
254: 11111110 => goal: true, r1: false ERROR, r2: true, 3: true
255: 11111111 => goal: true, r1: false ERROR, r2: true, 3: true
256: 100000000 => goal: true, r1: true, r2: true, 3: true
257: 100000001 => goal: true, r1: false ERROR, r2: true, 3: true
258: 100000010 => goal: true, r1: true, r2: true, 3: true
259: 100000011 => goal: true, r1: false ERROR, r2: true, 3: true
260: 100000100 => goal: true, r1: true, r2: true, 3: true
261: 100000101 => goal: false, r1: false, r2: false, 3: false
262: 100000110 => goal: true, r1: false ERROR, r2: true, 3: true
263: 100000111 => goal: true, r1: false ERROR, r2: true, 3: true
264: 100001000 => goal: true, r1: true, r2: true, 3: true
265: 100001001 => goal: true, r1: false ERROR, r2: true, 3: true
266: 100001010 => goal: false, r1: false, r2: false, 3: false
267: 100001011 => goal: false, r1: false, r2: false, 3: false
268: 100001100 => goal: true, r1: true, r2: true, 3: true
269: 100001101 => goal: false, r1: false, r2: false, 3: false
270: 100001110 => goal: true, r1: false ERROR, r2: true, 3: true
271: 100001111 => goal: true, r1: false ERROR, r2: true, 3: true
272: 100010000 => goal: true, r1: true, r2: true, 3: true
273: 100010001 => goal: true, r1: false ERROR, r2: true, 3: true
274: 100010010 => goal: true, r1: true, r2: true, 3: true
275: 100010011 => goal: true, r1: false ERROR, r2: true, 3: true
276: 100010100 => goal: false, r1: false, r2: false, 3: false
277: 100010101 => goal: false, r1: false, r2: false, 3: false
278: 100010110 => goal: false, r1: false, r2: false, 3: false
279: 100010111 => goal: false, r1: false, r2: false, 3: false
280: 100011000 => goal: true, r1: true, r2: true, 3: true
281: 100011001 => goal: true, r1: false ERROR, r2: true, 3: true
282: 100011010 => goal: false, r1: false, r2: false, 3: false
283: 100011011 => goal: false, r1: false, r2: false, 3: false
284: 100011100 => goal: true, r1: true, r2: true, 3: true
285: 100011101 => goal: false, r1: false, r2: false, 3: false
286: 100011110 => goal: true, r1: false ERROR, r2: true, 3: true
287: 100011111 => goal: true, r1: false ERROR, r2: true, 3: true
288: 100100000 => goal: true, r1: true, r2: true, 3: true
289: 100100001 => goal: true, r1: false ERROR, r2: true, 3: true
290: 100100010 => goal: true, r1: true, r2: true, 3: true
291: 100100011 => goal: true, r1: false ERROR, r2: true, 3: true
292: 100100100 => goal: true, r1: true, r2: true, 3: true
293: 100100101 => goal: false, r1: false, r2: false, 3: false
294: 100100110 => goal: true, r1: false ERROR, r2: true, 3: true
295: 100100111 => goal: true, r1: false ERROR, r2: true, 3: true
296: 100101000 => goal: false, r1: false, r2: false, 3: false
297: 100101001 => goal: false, r1: false, r2: false, 3: false
298: 100101010 => goal: false, r1: false, r2: false, 3: false
299: 100101011 => goal: false, r1: false, r2: false, 3: false
300: 100101100 => goal: false, r1: false, r2: false, 3: false
301: 100101101 => goal: false, r1: false, r2: false, 3: false
302: 100101110 => goal: false, r1: false, r2: false, 3: false
303: 100101111 => goal: false, r1: false, r2: false, 3: false
304: 100110000 => goal: true, r1: true, r2: true, 3: true
305: 100110001 => goal: true, r1: false ERROR, r2: true, 3: true
306: 100110010 => goal: true, r1: true, r2: true, 3: true
307: 100110011 => goal: true, r1: false ERROR, r2: true, 3: true
308: 100110100 => goal: false, r1: false, r2: false, 3: false
309: 100110101 => goal: false, r1: false, r2: false, 3: false
310: 100110110 => goal: false, r1: false, r2: false, 3: false
311: 100110111 => goal: false, r1: false, r2: false, 3: false
312: 100111000 => goal: true, r1: true, r2: true, 3: true
313: 100111001 => goal: true, r1: false ERROR, r2: true, 3: true
314: 100111010 => goal: false, r1: false, r2: false, 3: false
315: 100111011 => goal: false, r1: false, r2: false, 3: false
316: 100111100 => goal: true, r1: true, r2: true, 3: true
317: 100111101 => goal: false, r1: false, r2: false, 3: false
318: 100111110 => goal: true, r1: false ERROR, r2: true, 3: true
319: 100111111 => goal: true, r1: false ERROR, r2: true, 3: true
320: 101000000 => goal: false, r1: false, r2: false, 3: false
321: 101000001 => goal: false, r1: false, r2: false, 3: false
322: 101000010 => goal: false, r1: false, r2: false, 3: false
323: 101000011 => goal: false, r1: false, r2: false, 3: false
324: 101000100 => goal: false, r1: false, r2: false, 3: false
325: 101000101 => goal: false, r1: false, r2: false, 3: false
326: 101000110 => goal: false, r1: false, r2: false, 3: false
327: 101000111 => goal: false, r1: false, r2: false, 3: false
328: 101001000 => goal: false, r1: false, r2: false, 3: false
329: 101001001 => goal: false, r1: false, r2: false, 3: false
330: 101001010 => goal: false, r1: false, r2: false, 3: false
331: 101001011 => goal: false, r1: false, r2: false, 3: false
332: 101001100 => goal: false, r1: false, r2: false, 3: false
333: 101001101 => goal: false, r1: false, r2: false, 3: false
334: 101001110 => goal: false, r1: false, r2: false, 3: false
335: 101001111 => goal: false, r1: false, r2: false, 3: false
336: 101010000 => goal: false, r1: false, r2: false, 3: false
337: 101010001 => goal: false, r1: false, r2: false, 3: false
338: 101010010 => goal: false, r1: false, r2: false, 3: false
339: 101010011 => goal: false, r1: false, r2: false, 3: false
340: 101010100 => goal: false, r1: false, r2: false, 3: false
341: 101010101 => goal: false, r1: false, r2: false, 3: false
342: 101010110 => goal: false, r1: false, r2: false, 3: false
343: 101010111 => goal: false, r1: false, r2: false, 3: false
344: 101011000 => goal: false, r1: false, r2: false, 3: false
345: 101011001 => goal: false, r1: false, r2: false, 3: false
346: 101011010 => goal: false, r1: false, r2: false, 3: false
347: 101011011 => goal: false, r1: false, r2: false, 3: false
348: 101011100 => goal: false, r1: false, r2: false, 3: false
349: 101011101 => goal: false, r1: false, r2: false, 3: false
350: 101011110 => goal: false, r1: false, r2: false, 3: false
351: 101011111 => goal: false, r1: false, r2: false, 3: false
352: 101100000 => goal: false, r1: false, r2: false, 3: false
353: 101100001 => goal: false, r1: false, r2: false, 3: false
354: 101100010 => goal: false, r1: false, r2: false, 3: false
355: 101100011 => goal: false, r1: false, r2: false, 3: false
356: 101100100 => goal: false, r1: false, r2: false, 3: false
357: 101100101 => goal: false, r1: false, r2: false, 3: false
358: 101100110 => goal: false, r1: false, r2: false, 3: false
359: 101100111 => goal: false, r1: false, r2: false, 3: false
360: 101101000 => goal: false, r1: false, r2: false, 3: false
361: 101101001 => goal: false, r1: false, r2: false, 3: false
362: 101101010 => goal: false, r1: false, r2: false, 3: false
363: 101101011 => goal: false, r1: false, r2: false, 3: false
364: 101101100 => goal: false, r1: false, r2: false, 3: false
365: 101101101 => goal: false, r1: false, r2: false, 3: false
366: 101101110 => goal: false, r1: false, r2: false, 3: false
367: 101101111 => goal: false, r1: false, r2: false, 3: false
368: 101110000 => goal: false, r1: false, r2: false, 3: false
369: 101110001 => goal: false, r1: false, r2: false, 3: false
370: 101110010 => goal: false, r1: false, r2: false, 3: false
371: 101110011 => goal: false, r1: false, r2: false, 3: false
372: 101110100 => goal: false, r1: false, r2: false, 3: false
373: 101110101 => goal: false, r1: false, r2: false, 3: false
374: 101110110 => goal: false, r1: false, r2: false, 3: false
375: 101110111 => goal: false, r1: false, r2: false, 3: false
376: 101111000 => goal: false, r1: false, r2: false, 3: false
377: 101111001 => goal: false, r1: false, r2: false, 3: false
378: 101111010 => goal: false, r1: false, r2: false, 3: false
379: 101111011 => goal: false, r1: false, r2: false, 3: false
380: 101111100 => goal: false, r1: false, r2: false, 3: false
381: 101111101 => goal: false, r1: false, r2: false, 3: false
382: 101111110 => goal: false, r1: false, r2: false, 3: false
383: 101111111 => goal: false, r1: false, r2: false, 3: false
384: 110000000 => goal: true, r1: true, r2: true, 3: true
385: 110000001 => goal: true, r1: false ERROR, r2: true, 3: true
386: 110000010 => goal: true, r1: true, r2: true, 3: true
387: 110000011 => goal: true, r1: false ERROR, r2: true, 3: true
388: 110000100 => goal: true, r1: true, r2: true, 3: true
389: 110000101 => goal: false, r1: false, r2: false, 3: false
390: 110000110 => goal: true, r1: false ERROR, r2: true, 3: true
391: 110000111 => goal: true, r1: false ERROR, r2: true, 3: true
392: 110001000 => goal: true, r1: true, r2: true, 3: true
393: 110001001 => goal: true, r1: false ERROR, r2: true, 3: true
394: 110001010 => goal: false, r1: false, r2: false, 3: false
395: 110001011 => goal: false, r1: false, r2: false, 3: false
396: 110001100 => goal: true, r1: true, r2: true, 3: true
397: 110001101 => goal: false, r1: false, r2: false, 3: false
398: 110001110 => goal: true, r1: false ERROR, r2: true, 3: true
399: 110001111 => goal: true, r1: false ERROR, r2: true, 3: true
400: 110010000 => goal: true, r1: true, r2: true, 3: true
401: 110010001 => goal: true, r1: false ERROR, r2: true, 3: true
402: 110010010 => goal: true, r1: true, r2: true, 3: true
403: 110010011 => goal: true, r1: false ERROR, r2: true, 3: true
404: 110010100 => goal: false, r1: false, r2: false, 3: false
405: 110010101 => goal: false, r1: false, r2: false, 3: false
406: 110010110 => goal: false, r1: false, r2: false, 3: false
407: 110010111 => goal: false, r1: false, r2: false, 3: false
408: 110011000 => goal: true, r1: true, r2: true, 3: true
409: 110011001 => goal: true, r1: false ERROR, r2: true, 3: true
410: 110011010 => goal: false, r1: false, r2: false, 3: false
411: 110011011 => goal: false, r1: false, r2: false, 3: false
412: 110011100 => goal: true, r1: true, r2: true, 3: true
413: 110011101 => goal: false, r1: false, r2: false, 3: false
414: 110011110 => goal: true, r1: false ERROR, r2: true, 3: true
415: 110011111 => goal: true, r1: false ERROR, r2: true, 3: true
416: 110100000 => goal: false, r1: false, r2: false, 3: false
417: 110100001 => goal: false, r1: false, r2: false, 3: false
418: 110100010 => goal: false, r1: false, r2: false, 3: false
419: 110100011 => goal: false, r1: false, r2: false, 3: false
420: 110100100 => goal: false, r1: false, r2: false, 3: false
421: 110100101 => goal: false, r1: false, r2: false, 3: false
422: 110100110 => goal: false, r1: false, r2: false, 3: false
423: 110100111 => goal: false, r1: false, r2: false, 3: false
424: 110101000 => goal: false, r1: false, r2: false, 3: false
425: 110101001 => goal: false, r1: false, r2: false, 3: false
426: 110101010 => goal: false, r1: false, r2: false, 3: false
427: 110101011 => goal: false, r1: false, r2: false, 3: false
428: 110101100 => goal: false, r1: false, r2: false, 3: false
429: 110101101 => goal: false, r1: false, r2: false, 3: false
430: 110101110 => goal: false, r1: false, r2: false, 3: false
431: 110101111 => goal: false, r1: false, r2: false, 3: false
432: 110110000 => goal: false, r1: false, r2: false, 3: false
433: 110110001 => goal: false, r1: false, r2: false, 3: false
434: 110110010 => goal: false, r1: false, r2: false, 3: false
435: 110110011 => goal: false, r1: false, r2: false, 3: false
436: 110110100 => goal: false, r1: false, r2: false, 3: false
437: 110110101 => goal: false, r1: false, r2: false, 3: false
438: 110110110 => goal: false, r1: false, r2: false, 3: false
439: 110110111 => goal: false, r1: false, r2: false, 3: false
440: 110111000 => goal: false, r1: false, r2: false, 3: false
441: 110111001 => goal: false, r1: false, r2: false, 3: false
442: 110111010 => goal: false, r1: false, r2: false, 3: false
443: 110111011 => goal: false, r1: false, r2: false, 3: false
444: 110111100 => goal: false, r1: false, r2: false, 3: false
445: 110111101 => goal: false, r1: false, r2: false, 3: false
446: 110111110 => goal: false, r1: false, r2: false, 3: false
447: 110111111 => goal: false, r1: false, r2: false, 3: false
448: 111000000 => goal: true, r1: true, r2: true, 3: true
449: 111000001 => goal: true, r1: false ERROR, r2: true, 3: true
450: 111000010 => goal: true, r1: true, r2: true, 3: true
451: 111000011 => goal: true, r1: false ERROR, r2: true, 3: true
452: 111000100 => goal: true, r1: true, r2: true, 3: true
453: 111000101 => goal: false, r1: false, r2: false, 3: false
454: 111000110 => goal: true, r1: false ERROR, r2: true, 3: true
455: 111000111 => goal: true, r1: false ERROR, r2: true, 3: true
456: 111001000 => goal: true, r1: true, r2: true, 3: true
457: 111001001 => goal: true, r1: false ERROR, r2: true, 3: true
458: 111001010 => goal: false, r1: false, r2: false, 3: false
459: 111001011 => goal: false, r1: false, r2: false, 3: false
460: 111001100 => goal: true, r1: true, r2: true, 3: true
461: 111001101 => goal: false, r1: false, r2: false, 3: false
462: 111001110 => goal: true, r1: false ERROR, r2: true, 3: true
463: 111001111 => goal: true, r1: false ERROR, r2: true, 3: true
464: 111010000 => goal: false, r1: false, r2: false, 3: false
465: 111010001 => goal: false, r1: false, r2: false, 3: false
466: 111010010 => goal: false, r1: false, r2: false, 3: false
467: 111010011 => goal: false, r1: false, r2: false, 3: false
468: 111010100 => goal: false, r1: false, r2: false, 3: false
469: 111010101 => goal: false, r1: false, r2: false, 3: false
470: 111010110 => goal: false, r1: false, r2: false, 3: false
471: 111010111 => goal: false, r1: false, r2: false, 3: false
472: 111011000 => goal: false, r1: false, r2: false, 3: false
473: 111011001 => goal: false, r1: false, r2: false, 3: false
474: 111011010 => goal: false, r1: false, r2: false, 3: false
475: 111011011 => goal: false, r1: false, r2: false, 3: false
476: 111011100 => goal: false, r1: false, r2: false, 3: false
477: 111011101 => goal: false, r1: false, r2: false, 3: false
478: 111011110 => goal: false, r1: false, r2: false, 3: false
479: 111011111 => goal: false, r1: false, r2: false, 3: false
480: 111100000 => goal: true, r1: true, r2: true, 3: true
481: 111100001 => goal: true, r1: false ERROR, r2: true, 3: true
482: 111100010 => goal: true, r1: true, r2: true, 3: true
483: 111100011 => goal: true, r1: false ERROR, r2: true, 3: true
484: 111100100 => goal: true, r1: true, r2: true, 3: true
485: 111100101 => goal: false, r1: false, r2: false, 3: false
486: 111100110 => goal: true, r1: false ERROR, r2: true, 3: true
487: 111100111 => goal: true, r1: false ERROR, r2: true, 3: true
488: 111101000 => goal: false, r1: false, r2: false, 3: false
489: 111101001 => goal: false, r1: false, r2: false, 3: false
490: 111101010 => goal: false, r1: false, r2: false, 3: false
491: 111101011 => goal: false, r1: false, r2: false, 3: false
492: 111101100 => goal: false, r1: false, r2: false, 3: false
493: 111101101 => goal: false, r1: false, r2: false, 3: false
494: 111101110 => goal: false, r1: false, r2: false, 3: false
495: 111101111 => goal: false, r1: false, r2: false, 3: false
496: 111110000 => goal: true, r1: true, r2: true, 3: true
497: 111110001 => goal: true, r1: false ERROR, r2: true, 3: true
498: 111110010 => goal: true, r1: true, r2: true, 3: true
499: 111110011 => goal: true, r1: false ERROR, r2: true, 3: true
500: 111110100 => goal: false, r1: false, r2: false, 3: false
501: 111110101 => goal: false, r1: false, r2: false, 3: false
502: 111110110 => goal: false, r1: false, r2: false, 3: false
503: 111110111 => goal: false, r1: false, r2: false, 3: false
504: 111111000 => goal: true, r1: true, r2: true, 3: true
505: 111111001 => goal: true, r1: false ERROR, r2: true, 3: true
506: 111111010 => goal: false, r1: false, r2: false, 3: false
507: 111111011 => goal: false, r1: false, r2: false, 3: false
508: 111111100 => goal: true, r1: true, r2: true, 3: true
509: 111111101 => goal: false, r1: false, r2: false, 3: false
510: 111111110 => goal: true, r1: false ERROR, r2: true, 3: true
511: 111111111 => goal: true, r1: false ERROR, r2: true, 3: true
512: 1000000000 => goal: true, r1: true, r2: true, 3: true
513: 1000000001 => goal: true, r1: false ERROR, r2: true, 3: true
514: 1000000010 => goal: true, r1: true, r2: true, 3: true
515: 1000000011 => goal: true, r1: false ERROR, r2: true, 3: true
516: 1000000100 => goal: true, r1: true, r2: true, 3: true
517: 1000000101 => goal: false, r1: false, r2: false, 3: false
518: 1000000110 => goal: true, r1: false ERROR, r2: true, 3: true
519: 1000000111 => goal: true, r1: false ERROR, r2: true, 3: true
520: 1000001000 => goal: true, r1: true, r2: true, 3: true
521: 1000001001 => goal: true, r1: false ERROR, r2: true, 3: true
522: 1000001010 => goal: false, r1: false, r2: false, 3: false
523: 1000001011 => goal: false, r1: false, r2: false, 3: false
524: 1000001100 => goal: true, r1: true, r2: true, 3: true
525: 1000001101 => goal: false, r1: false, r2: false, 3: false
526: 1000001110 => goal: true, r1: false ERROR, r2: true, 3: true
527: 1000001111 => goal: true, r1: false ERROR, r2: true, 3: true
528: 1000010000 => goal: true, r1: true, r2: true, 3: true
529: 1000010001 => goal: true, r1: false ERROR, r2: true, 3: true
530: 1000010010 => goal: true, r1: true, r2: true, 3: true
531: 1000010011 => goal: true, r1: false ERROR, r2: true, 3: true
532: 1000010100 => goal: false, r1: false, r2: false, 3: false
533: 1000010101 => goal: false, r1: false, r2: false, 3: false
534: 1000010110 => goal: false, r1: false, r2: false, 3: false
535: 1000010111 => goal: false, r1: false, r2: false, 3: false
536: 1000011000 => goal: true, r1: true, r2: true, 3: true
537: 1000011001 => goal: true, r1: false ERROR, r2: true, 3: true
538: 1000011010 => goal: false, r1: false, r2: false, 3: false
539: 1000011011 => goal: false, r1: false, r2: false, 3: false
540: 1000011100 => goal: true, r1: true, r2: true, 3: true
541: 1000011101 => goal: false, r1: false, r2: false, 3: false
542: 1000011110 => goal: true, r1: false ERROR, r2: true, 3: true
543: 1000011111 => goal: true, r1: false ERROR, r2: true, 3: true
544: 1000100000 => goal: true, r1: true, r2: true, 3: true
545: 1000100001 => goal: true, r1: false ERROR, r2: true, 3: true
546: 1000100010 => goal: true, r1: true, r2: true, 3: true
547: 1000100011 => goal: true, r1: false ERROR, r2: true, 3: true
548: 1000100100 => goal: true, r1: true, r2: true, 3: true
549: 1000100101 => goal: false, r1: false, r2: false, 3: false
550: 1000100110 => goal: true, r1: false ERROR, r2: true, 3: true
551: 1000100111 => goal: true, r1: false ERROR, r2: true, 3: true
552: 1000101000 => goal: false, r1: false, r2: false, 3: false
553: 1000101001 => goal: false, r1: false, r2: false, 3: false
554: 1000101010 => goal: false, r1: false, r2: false, 3: false
555: 1000101011 => goal: false, r1: false, r2: false, 3: false
556: 1000101100 => goal: false, r1: false, r2: false, 3: false
557: 1000101101 => goal: false, r1: false, r2: false, 3: false
558: 1000101110 => goal: false, r1: false, r2: false, 3: false
559: 1000101111 => goal: false, r1: false, r2: false, 3: false
560: 1000110000 => goal: true, r1: true, r2: true, 3: true
561: 1000110001 => goal: true, r1: false ERROR, r2: true, 3: true
562: 1000110010 => goal: true, r1: true, r2: true, 3: true
563: 1000110011 => goal: true, r1: false ERROR, r2: true, 3: true
564: 1000110100 => goal: false, r1: false, r2: false, 3: false
565: 1000110101 => goal: false, r1: false, r2: false, 3: false
566: 1000110110 => goal: false, r1: false, r2: false, 3: false
567: 1000110111 => goal: false, r1: false, r2: false, 3: false
568: 1000111000 => goal: true, r1: true, r2: true, 3: true
569: 1000111001 => goal: true, r1: false ERROR, r2: true, 3: true
570: 1000111010 => goal: false, r1: false, r2: false, 3: false
571: 1000111011 => goal: false, r1: false, r2: false, 3: false
572: 1000111100 => goal: true, r1: true, r2: true, 3: true
573: 1000111101 => goal: false, r1: false, r2: false, 3: false
574: 1000111110 => goal: true, r1: false ERROR, r2: true, 3: true
575: 1000111111 => goal: true, r1: false ERROR, r2: true, 3: true
576: 1001000000 => goal: true, r1: true, r2: true, 3: true
577: 1001000001 => goal: true, r1: false ERROR, r2: true, 3: true
578: 1001000010 => goal: true, r1: true, r2: true, 3: true
579: 1001000011 => goal: true, r1: false ERROR, r2: true, 3: true
580: 1001000100 => goal: true, r1: true, r2: true, 3: true
581: 1001000101 => goal: false, r1: false, r2: false, 3: false
582: 1001000110 => goal: true, r1: false ERROR, r2: true, 3: true
583: 1001000111 => goal: true, r1: false ERROR, r2: true, 3: true
584: 1001001000 => goal: true, r1: true, r2: true, 3: true
585: 1001001001 => goal: true, r1: false ERROR, r2: true, 3: true
586: 1001001010 => goal: false, r1: false, r2: false, 3: false
587: 1001001011 => goal: false, r1: false, r2: false, 3: false
588: 1001001100 => goal: true, r1: true, r2: true, 3: true
589: 1001001101 => goal: false, r1: false, r2: false, 3: false
590: 1001001110 => goal: true, r1: false ERROR, r2: true, 3: true
591: 1001001111 => goal: true, r1: false ERROR, r2: true, 3: true
592: 1001010000 => goal: false, r1: false, r2: false, 3: false
593: 1001010001 => goal: false, r1: false, r2: false, 3: false
594: 1001010010 => goal: false, r1: false, r2: false, 3: false
595: 1001010011 => goal: false, r1: false, r2: false, 3: false
596: 1001010100 => goal: false, r1: false, r2: false, 3: false
597: 1001010101 => goal: false, r1: false, r2: false, 3: false
598: 1001010110 => goal: false, r1: false, r2: false, 3: false
599: 1001010111 => goal: false, r1: false, r2: false, 3: false
600: 1001011000 => goal: false, r1: false, r2: false, 3: false
601: 1001011001 => goal: false, r1: false, r2: false, 3: false
602: 1001011010 => goal: false, r1: false, r2: false, 3: false
603: 1001011011 => goal: false, r1: false, r2: false, 3: false
604: 1001011100 => goal: false, r1: false, r2: false, 3: false
605: 1001011101 => goal: false, r1: false, r2: false, 3: false
606: 1001011110 => goal: false, r1: false, r2: false, 3: false
607: 1001011111 => goal: false, r1: false, r2: false, 3: false
608: 1001100000 => goal: true, r1: true, r2: true, 3: true
609: 1001100001 => goal: true, r1: false ERROR, r2: true, 3: true
610: 1001100010 => goal: true, r1: true, r2: true, 3: true
611: 1001100011 => goal: true, r1: false ERROR, r2: true, 3: true
612: 1001100100 => goal: true, r1: true, r2: true, 3: true
613: 1001100101 => goal: false, r1: false, r2: false, 3: false
614: 1001100110 => goal: true, r1: false ERROR, r2: true, 3: true
615: 1001100111 => goal: true, r1: false ERROR, r2: true, 3: true
616: 1001101000 => goal: false, r1: false, r2: false, 3: false
617: 1001101001 => goal: false, r1: false, r2: false, 3: false
618: 1001101010 => goal: false, r1: false, r2: false, 3: false
619: 1001101011 => goal: false, r1: false, r2: false, 3: false
620: 1001101100 => goal: false, r1: false, r2: false, 3: false
621: 1001101101 => goal: false, r1: false, r2: false, 3: false
622: 1001101110 => goal: false, r1: false, r2: false, 3: false
623: 1001101111 => goal: false, r1: false, r2: false, 3: false
624: 1001110000 => goal: true, r1: true, r2: true, 3: true
625: 1001110001 => goal: true, r1: false ERROR, r2: true, 3: true
626: 1001110010 => goal: true, r1: true, r2: true, 3: true
627: 1001110011 => goal: true, r1: false ERROR, r2: true, 3: true
628: 1001110100 => goal: false, r1: false, r2: false, 3: false
629: 1001110101 => goal: false, r1: false, r2: false, 3: false
630: 1001110110 => goal: false, r1: false, r2: false, 3: false
631: 1001110111 => goal: false, r1: false, r2: false, 3: false
632: 1001111000 => goal: true, r1: true, r2: true, 3: true
633: 1001111001 => goal: true, r1: false ERROR, r2: true, 3: true
634: 1001111010 => goal: false, r1: false, r2: false, 3: false
635: 1001111011 => goal: false, r1: false, r2: false, 3: false
636: 1001111100 => goal: true, r1: true, r2: true, 3: true
637: 1001111101 => goal: false, r1: false, r2: false, 3: false
638: 1001111110 => goal: true, r1: false ERROR, r2: true, 3: true
639: 1001111111 => goal: true, r1: false ERROR, r2: true, 3: true
640: 1010000000 => goal: false, r1: false, r2: false, 3: false
641: 1010000001 => goal: false, r1: false, r2: false, 3: false
642: 1010000010 => goal: false, r1: false, r2: false, 3: false
643: 1010000011 => goal: false, r1: false, r2: false, 3: false
644: 1010000100 => goal: false, r1: false, r2: false, 3: false
645: 1010000101 => goal: false, r1: false, r2: false, 3: false
646: 1010000110 => goal: false, r1: false, r2: false, 3: false
647: 1010000111 => goal: false, r1: false, r2: false, 3: false
648: 1010001000 => goal: false, r1: false, r2: false, 3: false
649: 1010001001 => goal: false, r1: false, r2: false, 3: false
650: 1010001010 => goal: false, r1: false, r2: false, 3: false
651: 1010001011 => goal: false, r1: false, r2: false, 3: false
652: 1010001100 => goal: false, r1: false, r2: false, 3: false
653: 1010001101 => goal: false, r1: false, r2: false, 3: false
654: 1010001110 => goal: false, r1: false, r2: false, 3: false
655: 1010001111 => goal: false, r1: false, r2: false, 3: false
656: 1010010000 => goal: false, r1: false, r2: false, 3: false
657: 1010010001 => goal: false, r1: false, r2: false, 3: false
658: 1010010010 => goal: false, r1: false, r2: false, 3: false
659: 1010010011 => goal: false, r1: false, r2: false, 3: false
660: 1010010100 => goal: false, r1: false, r2: false, 3: false
661: 1010010101 => goal: false, r1: false, r2: false, 3: false
662: 1010010110 => goal: false, r1: false, r2: false, 3: false
663: 1010010111 => goal: false, r1: false, r2: false, 3: false
664: 1010011000 => goal: false, r1: false, r2: false, 3: false
665: 1010011001 => goal: false, r1: false, r2: false, 3: false
666: 1010011010 => goal: false, r1: false, r2: false, 3: false
667: 1010011011 => goal: false, r1: false, r2: false, 3: false
668: 1010011100 => goal: false, r1: false, r2: false, 3: false
669: 1010011101 => goal: false, r1: false, r2: false, 3: false
670: 1010011110 => goal: false, r1: false, r2: false, 3: false
671: 1010011111 => goal: false, r1: false, r2: false, 3: false
672: 1010100000 => goal: false, r1: false, r2: false, 3: false
673: 1010100001 => goal: false, r1: false, r2: false, 3: false
674: 1010100010 => goal: false, r1: false, r2: false, 3: false
675: 1010100011 => goal: false, r1: false, r2: false, 3: false
676: 1010100100 => goal: false, r1: false, r2: false, 3: false
677: 1010100101 => goal: false, r1: false, r2: false, 3: false
678: 1010100110 => goal: false, r1: false, r2: false, 3: false
679: 1010100111 => goal: false, r1: false, r2: false, 3: false
680: 1010101000 => goal: false, r1: false, r2: false, 3: false
681: 1010101001 => goal: false, r1: false, r2: false, 3: false
682: 1010101010 => goal: false, r1: false, r2: false, 3: false
683: 1010101011 => goal: false, r1: false, r2: false, 3: false
684: 1010101100 => goal: false, r1: false, r2: false, 3: false
685: 1010101101 => goal: false, r1: false, r2: false, 3: false
686: 1010101110 => goal: false, r1: false, r2: false, 3: false
687: 1010101111 => goal: false, r1: false, r2: false, 3: false
688: 1010110000 => goal: false, r1: false, r2: false, 3: false
689: 1010110001 => goal: false, r1: false, r2: false, 3: false
690: 1010110010 => goal: false, r1: false, r2: false, 3: false
691: 1010110011 => goal: false, r1: false, r2: false, 3: false
692: 1010110100 => goal: false, r1: false, r2: false, 3: false
693: 1010110101 => goal: false, r1: false, r2: false, 3: false
694: 1010110110 => goal: false, r1: false, r2: false, 3: false
695: 1010110111 => goal: false, r1: false, r2: false, 3: false
696: 1010111000 => goal: false, r1: false, r2: false, 3: false
697: 1010111001 => goal: false, r1: false, r2: false, 3: false
698: 1010111010 => goal: false, r1: false, r2: false, 3: false
699: 1010111011 => goal: false, r1: false, r2: false, 3: false
700: 1010111100 => goal: false, r1: false, r2: false, 3: false
701: 1010111101 => goal: false, r1: false, r2: false, 3: false
702: 1010111110 => goal: false, r1: false, r2: false, 3: false
703: 1010111111 => goal: false, r1: false, r2: false, 3: false
704: 1011000000 => goal: false, r1: false, r2: false, 3: false
705: 1011000001 => goal: false, r1: false, r2: false, 3: false
706: 1011000010 => goal: false, r1: false, r2: false, 3: false
707: 1011000011 => goal: false, r1: false, r2: false, 3: false
708: 1011000100 => goal: false, r1: false, r2: false, 3: false
709: 1011000101 => goal: false, r1: false, r2: false, 3: false
710: 1011000110 => goal: false, r1: false, r2: false, 3: false
711: 1011000111 => goal: false, r1: false, r2: false, 3: false
712: 1011001000 => goal: false, r1: false, r2: false, 3: false
713: 1011001001 => goal: false, r1: false, r2: false, 3: false
714: 1011001010 => goal: false, r1: false, r2: false, 3: false
715: 1011001011 => goal: false, r1: false, r2: false, 3: false
716: 1011001100 => goal: false, r1: false, r2: false, 3: false
717: 1011001101 => goal: false, r1: false, r2: false, 3: false
718: 1011001110 => goal: false, r1: false, r2: false, 3: false
719: 1011001111 => goal: false, r1: false, r2: false, 3: false
720: 1011010000 => goal: false, r1: false, r2: false, 3: false
721: 1011010001 => goal: false, r1: false, r2: false, 3: false
722: 1011010010 => goal: false, r1: false, r2: false, 3: false
723: 1011010011 => goal: false, r1: false, r2: false, 3: false
724: 1011010100 => goal: false, r1: false, r2: false, 3: false
725: 1011010101 => goal: false, r1: false, r2: false, 3: false
726: 1011010110 => goal: false, r1: false, r2: false, 3: false
727: 1011010111 => goal: false, r1: false, r2: false, 3: false
728: 1011011000 => goal: false, r1: false, r2: false, 3: false
729: 1011011001 => goal: false, r1: false, r2: false, 3: false
730: 1011011010 => goal: false, r1: false, r2: false, 3: false
731: 1011011011 => goal: false, r1: false, r2: false, 3: false
732: 1011011100 => goal: false, r1: false, r2: false, 3: false
733: 1011011101 => goal: false, r1: false, r2: false, 3: false
734: 1011011110 => goal: false, r1: false, r2: false, 3: false
735: 1011011111 => goal: false, r1: false, r2: false, 3: false
736: 1011100000 => goal: false, r1: false, r2: false, 3: false
737: 1011100001 => goal: false, r1: false, r2: false, 3: false
738: 1011100010 => goal: false, r1: false, r2: false, 3: false
739: 1011100011 => goal: false, r1: false, r2: false, 3: false
740: 1011100100 => goal: false, r1: false, r2: false, 3: false
741: 1011100101 => goal: false, r1: false, r2: false, 3: false
742: 1011100110 => goal: false, r1: false, r2: false, 3: false
743: 1011100111 => goal: false, r1: false, r2: false, 3: false
744: 1011101000 => goal: false, r1: false, r2: false, 3: false
745: 1011101001 => goal: false, r1: false, r2: false, 3: false
746: 1011101010 => goal: false, r1: false, r2: false, 3: false
747: 1011101011 => goal: false, r1: false, r2: false, 3: false
748: 1011101100 => goal: false, r1: false, r2: false, 3: false
749: 1011101101 => goal: false, r1: false, r2: false, 3: false
750: 1011101110 => goal: false, r1: false, r2: false, 3: false
751: 1011101111 => goal: false, r1: false, r2: false, 3: false
752: 1011110000 => goal: false, r1: false, r2: false, 3: false
753: 1011110001 => goal: false, r1: false, r2: false, 3: false
754: 1011110010 => goal: false, r1: false, r2: false, 3: false
755: 1011110011 => goal: false, r1: false, r2: false, 3: false
756: 1011110100 => goal: false, r1: false, r2: false, 3: false
757: 1011110101 => goal: false, r1: false, r2: false, 3: false
758: 1011110110 => goal: false, r1: false, r2: false, 3: false
759: 1011110111 => goal: false, r1: false, r2: false, 3: false
760: 1011111000 => goal: false, r1: false, r2: false, 3: false
761: 1011111001 => goal: false, r1: false, r2: false, 3: false
762: 1011111010 => goal: false, r1: false, r2: false, 3: false
763: 1011111011 => goal: false, r1: false, r2: false, 3: false
764: 1011111100 => goal: false, r1: false, r2: false, 3: false
765: 1011111101 => goal: false, r1: false, r2: false, 3: false
766: 1011111110 => goal: false, r1: false, r2: false, 3: false
767: 1011111111 => goal: false, r1: false, r2: false, 3: false
768: 1100000000 => goal: true, r1: true, r2: true, 3: true
769: 1100000001 => goal: true, r1: false ERROR, r2: true, 3: true
770: 1100000010 => goal: true, r1: true, r2: true, 3: true
771: 1100000011 => goal: true, r1: false ERROR, r2: true, 3: true
772: 1100000100 => goal: true, r1: true, r2: true, 3: true
773: 1100000101 => goal: false, r1: false, r2: false, 3: false
774: 1100000110 => goal: true, r1: false ERROR, r2: true, 3: true
775: 1100000111 => goal: true, r1: false ERROR, r2: true, 3: true
776: 1100001000 => goal: true, r1: true, r2: true, 3: true
777: 1100001001 => goal: true, r1: false ERROR, r2: true, 3: true
778: 1100001010 => goal: false, r1: false, r2: false, 3: false
779: 1100001011 => goal: false, r1: false, r2: false, 3: false
780: 1100001100 => goal: true, r1: true, r2: true, 3: true
781: 1100001101 => goal: false, r1: false, r2: false, 3: false
782: 1100001110 => goal: true, r1: false ERROR, r2: true, 3: true
783: 1100001111 => goal: true, r1: false ERROR, r2: true, 3: true
784: 1100010000 => goal: true, r1: true, r2: true, 3: true
785: 1100010001 => goal: true, r1: false ERROR, r2: true, 3: true
786: 1100010010 => goal: true, r1: true, r2: true, 3: true
787: 1100010011 => goal: true, r1: false ERROR, r2: true, 3: true
788: 1100010100 => goal: false, r1: false, r2: false, 3: false
789: 1100010101 => goal: false, r1: false, r2: false, 3: false
790: 1100010110 => goal: false, r1: false, r2: false, 3: false
791: 1100010111 => goal: false, r1: false, r2: false, 3: false
792: 1100011000 => goal: true, r1: true, r2: true, 3: true
793: 1100011001 => goal: true, r1: false ERROR, r2: true, 3: true
794: 1100011010 => goal: false, r1: false, r2: false, 3: false
795: 1100011011 => goal: false, r1: false, r2: false, 3: false
796: 1100011100 => goal: true, r1: true, r2: true, 3: true
797: 1100011101 => goal: false, r1: false, r2: false, 3: false
798: 1100011110 => goal: true, r1: false ERROR, r2: true, 3: true
799: 1100011111 => goal: true, r1: false ERROR, r2: true, 3: true
800: 1100100000 => goal: true, r1: true, r2: true, 3: true
801: 1100100001 => goal: true, r1: false ERROR, r2: true, 3: true
802: 1100100010 => goal: true, r1: true, r2: true, 3: true
803: 1100100011 => goal: true, r1: false ERROR, r2: true, 3: true
804: 1100100100 => goal: true, r1: true, r2: true, 3: true
805: 1100100101 => goal: false, r1: false, r2: false, 3: false
806: 1100100110 => goal: true, r1: false ERROR, r2: true, 3: true
807: 1100100111 => goal: true, r1: false ERROR, r2: true, 3: true
808: 1100101000 => goal: false, r1: false, r2: false, 3: false
809: 1100101001 => goal: false, r1: false, r2: false, 3: false
810: 1100101010 => goal: false, r1: false, r2: false, 3: false
811: 1100101011 => goal: false, r1: false, r2: false, 3: false
812: 1100101100 => goal: false, r1: false, r2: false, 3: false
813: 1100101101 => goal: false, r1: false, r2: false, 3: false
814: 1100101110 => goal: false, r1: false, r2: false, 3: false
815: 1100101111 => goal: false, r1: false, r2: false, 3: false
816: 1100110000 => goal: true, r1: true, r2: true, 3: true
817: 1100110001 => goal: true, r1: false ERROR, r2: true, 3: true
818: 1100110010 => goal: true, r1: true, r2: true, 3: true
819: 1100110011 => goal: true, r1: false ERROR, r2: true, 3: true
820: 1100110100 => goal: false, r1: false, r2: false, 3: false
821: 1100110101 => goal: false, r1: false, r2: false, 3: false
822: 1100110110 => goal: false, r1: false, r2: false, 3: false
823: 1100110111 => goal: false, r1: false, r2: false, 3: false
824: 1100111000 => goal: true, r1: true, r2: true, 3: true
825: 1100111001 => goal: true, r1: false ERROR, r2: true, 3: true
826: 1100111010 => goal: false, r1: false, r2: false, 3: false
827: 1100111011 => goal: false, r1: false, r2: false, 3: false
828: 1100111100 => goal: true, r1: true, r2: true, 3: true
829: 1100111101 => goal: false, r1: false, r2: false, 3: false
830: 1100111110 => goal: true, r1: false ERROR, r2: true, 3: true
831: 1100111111 => goal: true, r1: false ERROR, r2: true, 3: true
832: 1101000000 => goal: false, r1: false, r2: false, 3: false
833: 1101000001 => goal: false, r1: false, r2: false, 3: false
834: 1101000010 => goal: false, r1: false, r2: false, 3: false
835: 1101000011 => goal: false, r1: false, r2: false, 3: false
836: 1101000100 => goal: false, r1: false, r2: false, 3: false
837: 1101000101 => goal: false, r1: false, r2: false, 3: false
838: 1101000110 => goal: false, r1: false, r2: false, 3: false
839: 1101000111 => goal: false, r1: false, r2: false, 3: false
840: 1101001000 => goal: false, r1: false, r2: false, 3: false
841: 1101001001 => goal: false, r1: false, r2: false, 3: false
842: 1101001010 => goal: false, r1: false, r2: false, 3: false
843: 1101001011 => goal: false, r1: false, r2: false, 3: false
844: 1101001100 => goal: false, r1: false, r2: false, 3: false
845: 1101001101 => goal: false, r1: false, r2: false, 3: false
846: 1101001110 => goal: false, r1: false, r2: false, 3: false
847: 1101001111 => goal: false, r1: false, r2: false, 3: false
848: 1101010000 => goal: false, r1: false, r2: false, 3: false
849: 1101010001 => goal: false, r1: false, r2: false, 3: false
850: 1101010010 => goal: false, r1: false, r2: false, 3: false
851: 1101010011 => goal: false, r1: false, r2: false, 3: false
852: 1101010100 => goal: false, r1: false, r2: false, 3: false
853: 1101010101 => goal: false, r1: false, r2: false, 3: false
854: 1101010110 => goal: false, r1: false, r2: false, 3: false
855: 1101010111 => goal: false, r1: false, r2: false, 3: false
856: 1101011000 => goal: false, r1: false, r2: false, 3: false
857: 1101011001 => goal: false, r1: false, r2: false, 3: false
858: 1101011010 => goal: false, r1: false, r2: false, 3: false
859: 1101011011 => goal: false, r1: false, r2: false, 3: false
860: 1101011100 => goal: false, r1: false, r2: false, 3: false
861: 1101011101 => goal: false, r1: false, r2: false, 3: false
862: 1101011110 => goal: false, r1: false, r2: false, 3: false
863: 1101011111 => goal: false, r1: false, r2: false, 3: false
864: 1101100000 => goal: false, r1: false, r2: false, 3: false
865: 1101100001 => goal: false, r1: false, r2: false, 3: false
866: 1101100010 => goal: false, r1: false, r2: false, 3: false
867: 1101100011 => goal: false, r1: false, r2: false, 3: false
868: 1101100100 => goal: false, r1: false, r2: false, 3: false
869: 1101100101 => goal: false, r1: false, r2: false, 3: false
870: 1101100110 => goal: false, r1: false, r2: false, 3: false
871: 1101100111 => goal: false, r1: false, r2: false, 3: false
872: 1101101000 => goal: false, r1: false, r2: false, 3: false
873: 1101101001 => goal: false, r1: false, r2: false, 3: false
874: 1101101010 => goal: false, r1: false, r2: false, 3: false
875: 1101101011 => goal: false, r1: false, r2: false, 3: false
876: 1101101100 => goal: false, r1: false, r2: false, 3: false
877: 1101101101 => goal: false, r1: false, r2: false, 3: false
878: 1101101110 => goal: false, r1: false, r2: false, 3: false
879: 1101101111 => goal: false, r1: false, r2: false, 3: false
880: 1101110000 => goal: false, r1: false, r2: false, 3: false
881: 1101110001 => goal: false, r1: false, r2: false, 3: false
882: 1101110010 => goal: false, r1: false, r2: false, 3: false
883: 1101110011 => goal: false, r1: false, r2: false, 3: false
884: 1101110100 => goal: false, r1: false, r2: false, 3: false
885: 1101110101 => goal: false, r1: false, r2: false, 3: false
886: 1101110110 => goal: false, r1: false, r2: false, 3: false
887: 1101110111 => goal: false, r1: false, r2: false, 3: false
888: 1101111000 => goal: false, r1: false, r2: false, 3: false
889: 1101111001 => goal: false, r1: false, r2: false, 3: false
890: 1101111010 => goal: false, r1: false, r2: false, 3: false
891: 1101111011 => goal: false, r1: false, r2: false, 3: false
892: 1101111100 => goal: false, r1: false, r2: false, 3: false
893: 1101111101 => goal: false, r1: false, r2: false, 3: false
894: 1101111110 => goal: false, r1: false, r2: false, 3: false
895: 1101111111 => goal: false, r1: false, r2: false, 3: false
896: 1110000000 => goal: true, r1: true, r2: true, 3: true
897: 1110000001 => goal: true, r1: false ERROR, r2: true, 3: true
898: 1110000010 => goal: true, r1: true, r2: true, 3: true
899: 1110000011 => goal: true, r1: false ERROR, r2: true, 3: true
900: 1110000100 => goal: true, r1: true, r2: true, 3: true
901: 1110000101 => goal: false, r1: false, r2: false, 3: false
902: 1110000110 => goal: true, r1: false ERROR, r2: true, 3: true
903: 1110000111 => goal: true, r1: false ERROR, r2: true, 3: true
904: 1110001000 => goal: true, r1: true, r2: true, 3: true
905: 1110001001 => goal: true, r1: false ERROR, r2: true, 3: true
906: 1110001010 => goal: false, r1: false, r2: false, 3: false
907: 1110001011 => goal: false, r1: false, r2: false, 3: false
908: 1110001100 => goal: true, r1: true, r2: true, 3: true
909: 1110001101 => goal: false, r1: false, r2: false, 3: false
910: 1110001110 => goal: true, r1: false ERROR, r2: true, 3: true
911: 1110001111 => goal: true, r1: false ERROR, r2: true, 3: true
912: 1110010000 => goal: true, r1: true, r2: true, 3: true
913: 1110010001 => goal: true, r1: false ERROR, r2: true, 3: true
914: 1110010010 => goal: true, r1: true, r2: true, 3: true
915: 1110010011 => goal: true, r1: false ERROR, r2: true, 3: true
916: 1110010100 => goal: false, r1: false, r2: false, 3: false
917: 1110010101 => goal: false, r1: false, r2: false, 3: false
918: 1110010110 => goal: false, r1: false, r2: false, 3: false
919: 1110010111 => goal: false, r1: false, r2: false, 3: false
920: 1110011000 => goal: true, r1: true, r2: true, 3: true
921: 1110011001 => goal: true, r1: false ERROR, r2: true, 3: true
922: 1110011010 => goal: false, r1: false, r2: false, 3: false
923: 1110011011 => goal: false, r1: false, r2: false, 3: false
924: 1110011100 => goal: true, r1: true, r2: true, 3: true
925: 1110011101 => goal: false, r1: false, r2: false, 3: false
926: 1110011110 => goal: true, r1: false ERROR, r2: true, 3: true
927: 1110011111 => goal: true, r1: false ERROR, r2: true, 3: true
928: 1110100000 => goal: false, r1: false, r2: false, 3: false
929: 1110100001 => goal: false, r1: false, r2: false, 3: false
930: 1110100010 => goal: false, r1: false, r2: false, 3: false
931: 1110100011 => goal: false, r1: false, r2: false, 3: false
932: 1110100100 => goal: false, r1: false, r2: false, 3: false
933: 1110100101 => goal: false, r1: false, r2: false, 3: false
934: 1110100110 => goal: false, r1: false, r2: false, 3: false
935: 1110100111 => goal: false, r1: false, r2: false, 3: false
936: 1110101000 => goal: false, r1: false, r2: false, 3: false
937: 1110101001 => goal: false, r1: false, r2: false, 3: false
938: 1110101010 => goal: false, r1: false, r2: false, 3: false
939: 1110101011 => goal: false, r1: false, r2: false, 3: false
940: 1110101100 => goal: false, r1: false, r2: false, 3: false
941: 1110101101 => goal: false, r1: false, r2: false, 3: false
942: 1110101110 => goal: false, r1: false, r2: false, 3: false
943: 1110101111 => goal: false, r1: false, r2: false, 3: false
944: 1110110000 => goal: false, r1: false, r2: false, 3: false
945: 1110110001 => goal: false, r1: false, r2: false, 3: false
946: 1110110010 => goal: false, r1: false, r2: false, 3: false
947: 1110110011 => goal: false, r1: false, r2: false, 3: false
948: 1110110100 => goal: false, r1: false, r2: false, 3: false
949: 1110110101 => goal: false, r1: false, r2: false, 3: false
950: 1110110110 => goal: false, r1: false, r2: false, 3: false
951: 1110110111 => goal: false, r1: false, r2: false, 3: false
952: 1110111000 => goal: false, r1: false, r2: false, 3: false
953: 1110111001 => goal: false, r1: false, r2: false, 3: false
954: 1110111010 => goal: false, r1: false, r2: false, 3: false
955: 1110111011 => goal: false, r1: false, r2: false, 3: false
956: 1110111100 => goal: false, r1: false, r2: false, 3: false
957: 1110111101 => goal: false, r1: false, r2: false, 3: false
958: 1110111110 => goal: false, r1: false, r2: false, 3: false
959: 1110111111 => goal: false, r1: false, r2: false, 3: false
960: 1111000000 => goal: true, r1: true, r2: true, 3: true
961: 1111000001 => goal: true, r1: false ERROR, r2: true, 3: true
962: 1111000010 => goal: true, r1: true, r2: true, 3: true
963: 1111000011 => goal: true, r1: false ERROR, r2: true, 3: true
964: 1111000100 => goal: true, r1: true, r2: true, 3: true
965: 1111000101 => goal: false, r1: false, r2: false, 3: false
966: 1111000110 => goal: true, r1: false ERROR, r2: true, 3: true
967: 1111000111 => goal: true, r1: false ERROR, r2: true, 3: true
968: 1111001000 => goal: true, r1: true, r2: true, 3: true
969: 1111001001 => goal: true, r1: false ERROR, r2: true, 3: true
970: 1111001010 => goal: false, r1: false, r2: false, 3: false
971: 1111001011 => goal: false, r1: false, r2: false, 3: false
972: 1111001100 => goal: true, r1: true, r2: true, 3: true
973: 1111001101 => goal: false, r1: false, r2: false, 3: false
974: 1111001110 => goal: true, r1: false ERROR, r2: true, 3: true
975: 1111001111 => goal: true, r1: false ERROR, r2: true, 3: true
976: 1111010000 => goal: false, r1: false, r2: false, 3: false
977: 1111010001 => goal: false, r1: false, r2: false, 3: false
978: 1111010010 => goal: false, r1: false, r2: false, 3: false
979: 1111010011 => goal: false, r1: false, r2: false, 3: false
980: 1111010100 => goal: false, r1: false, r2: false, 3: false
981: 1111010101 => goal: false, r1: false, r2: false, 3: false
982: 1111010110 => goal: false, r1: false, r2: false, 3: false
983: 1111010111 => goal: false, r1: false, r2: false, 3: false
984: 1111011000 => goal: false, r1: false, r2: false, 3: false
985: 1111011001 => goal: false, r1: false, r2: false, 3: false
986: 1111011010 => goal: false, r1: false, r2: false, 3: false
987: 1111011011 => goal: false, r1: false, r2: false, 3: false
988: 1111011100 => goal: false, r1: false, r2: false, 3: false
989: 1111011101 => goal: false, r1: false, r2: false, 3: false
990: 1111011110 => goal: false, r1: false, r2: false, 3: false
991: 1111011111 => goal: false, r1: false, r2: false, 3: false
992: 1111100000 => goal: true, r1: true, r2: true, 3: true
993: 1111100001 => goal: true, r1: false ERROR, r2: true, 3: true
994: 1111100010 => goal: true, r1: true, r2: true, 3: true
995: 1111100011 => goal: true, r1: false ERROR, r2: true, 3: true
996: 1111100100 => goal: true, r1: true, r2: true, 3: true
997: 1111100101 => goal: false, r1: false, r2: false, 3: false
998: 1111100110 => goal: true, r1: false ERROR, r2: true, 3: true
999: 1111100111 => goal: true, r1: false ERROR, r2: true, 3: true
1000: 1111101000 => goal: false, r1: false, r2: false, 3: false
1001: 1111101001 => goal: false, r1: false, r2: false, 3: false
1002: 1111101010 => goal: false, r1: false, r2: false, 3: false
1003: 1111101011 => goal: false, r1: false, r2: false, 3: false
1004: 1111101100 => goal: false, r1: false, r2: false, 3: false
1005: 1111101101 => goal: false, r1: false, r2: false, 3: false
1006: 1111101110 => goal: false, r1: false, r2: false, 3: false
1007: 1111101111 => goal: false, r1: false, r2: false, 3: false
1008: 1111110000 => goal: true, r1: true, r2: true, 3: true
1009: 1111110001 => goal: true, r1: false ERROR, r2: true, 3: true
1010: 1111110010 => goal: true, r1: true, r2: true, 3: true
1011: 1111110011 => goal: true, r1: false ERROR, r2: true, 3: true
1012: 1111110100 => goal: false, r1: false, r2: false, 3: false
1013: 1111110101 => goal: false, r1: false, r2: false, 3: false
1014: 1111110110 => goal: false, r1: false, r2: false, 3: false
1015: 1111110111 => goal: false, r1: false, r2: false, 3: false
1016: 1111111000 => goal: true, r1: true, r2: true, 3: true
1017: 1111111001 => goal: true, r1: false ERROR, r2: true, 3: true
1018: 1111111010 => goal: false, r1: false, r2: false, 3: false
1019: 1111111011 => goal: false, r1: false, r2: false, 3: false
1020: 1111111100 => goal: true, r1: true, r2: true, 3: true
1021: 1111111101 => goal: false, r1: false, r2: false, 3: false
1022: 1111111110 => goal: true, r1: false ERROR, r2: true, 3: true
1023: 1111111111 => goal: true, r1: false ERROR, r2: true, 3: true
errors for regexp 1: 200
errors for regexp 2: 0
errors for regexp 3: 0
done.
Raw
regexc101.rb
#!/usr/bin/env ruby
n = 10
k_max = 2**n
puts "Testing \"not containing 101\" for the first #{k_max} non-empty binary words:"
k_max_2 = Math.log(k_max,2).round+1 # digits of k_max in base 2
k_max_10 = Math.log(k_max,10).round+1 # digits of k_max in base 10
err1 = 0
err2 = 0
err3 = 0
k_max.times do |k|
u = k.to_s(2)
goal = !((u =~ /101/).is_a? Integer)
res1 = (u =~ /\A(0*(11*000*)*(10)?)\z/).is_a? Integer
if goal != res1
w1 = " ERROR"
err1 += 1
else
w1 = ""
end
res2 = (u =~ /\A(0*((1*00+)*1*0*))\z/).is_a? Integer
if goal != res2
w2 = " ERROR"
err2 += 1
else
w2 = ""
end
res3 = (u =~ /\A((0|1+00)*|(0|1+00)*(1+|1+0))\z/).is_a? Integer
if goal != res3
w3 = " ERROR"
err3 += 1
else
w3 = ""
end
k_pad = sprintf("% #{k_max_10}s", k.to_s)
u_pad = sprintf("% #{k_max_2}s", u)
puts "#{k_pad}: #{u_pad} => goal = #{goal}, 1: #{res1}#{w1}, 2: #{res2}#{w2}, 3: #{res3}#{w3}"
end
puts "errors for regexp 1: #{err1}"
puts "errors for regexp 2: #{err2}"
puts "errors for regexp 3: #{err3}"
puts "done."
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment