Tests on booleans
141: OK
142: OK
301: OK
302: OK
311: OK
312: OK
Tests on characters
101: OK
103: OK
111: OK
113: OK
201: OK
203: OK
211: OK
213: OK
221: OK
223: OK
231: OK
233: OK
241: OK
243: OK
251: OK
253: OK
261: OK
263: OK
271: OK
273: OK
281: OK
283: OK
231: OK
233: OK
241: OK
243: OK
301: OK
303: OK
311: OK
313: OK
321: OK
323: OK
331: OK
333: OK
Tests on integers
001: OK
002: OK
003: OK
004: OK
011: OK
012: OK
013: OK
014: OK
021: OK
022: OK
023: OK
024: OK
031: OK
032: OK
033: OK
034: OK
041: OK
042: OK
043: OK
044: OK
051: OK
052: OK
053: OK
054: OK
101: OK
102: OK
103: OK
104: OK
111: OK
112: OK
113: OK
114: OK
121: OK
122: OK
123: OK
124: OK
131: OK
132: OK
133: OK
134: OK
141: OK
142: OK
143: OK
144: OK
201: OK
202: OK
203: OK
204: OK
211: OK
212: OK
213: OK
214: OK
221: OK
222: OK
223: OK
224: OK
231: OK
232: OK
233: OK
234: OK
241: OK
242: OK
243: OK
244: OK
251: OK
252: OK
253: OK
254: OK
261: OK
262: OK
263: OK
264: OK
271: OK
272: OK
273: OK
274: OK
281: OK
282: OK
283: OK
284: OK
291: OK
292: OK
293: OK
294: OK
2A1: OK
2A2: OK
2A3: OK
2A4: OK
301: OK
302: OK
303: OK
304: OK
311: OK
312: OK
313: OK
314: OK
321: OK
322: OK
323: OK
324: OK
331: OK
332: OK
333: OK
334: OK
Tests on naturals
001: OK
002: OK
003: OK
004: OK
011: OK
012: OK
013: OK
014: OK
021: OK
022: OK
023: OK
024: OK
031: OK
032: OK
033: OK
034: OK
041: OK
042: OK
043: OK
044: OK
051: OK
052: OK
053: OK
054: OK
101: OK
102: OK
103: OK
104: OK
111: OK
112: OK
113: OK
114: OK
121: OK
122: OK
123: OK
124: OK
131: OK
132: OK
133: OK
134: OK
201: OK
202: OK
203: OK
204: OK
211: OK
212: OK
213: OK
214: OK
221: OK
222: OK
223: OK
224: OK
231: OK
232: OK
233: OK
234: OK
241: OK
242: OK
243: OK
244: OK
251: OK
252: OK
253: OK
254: OK
261: OK
262: OK
263: OK
264: OK
271: OK
272: OK
273: OK
274: OK
281: OK
282: OK
283: OK
284: OK
291: OK
292: OK
293: OK
294: OK
2A1: OK
2A2: OK
2A3: OK
2A4: OK
301: OK
302: OK
303: OK
304: OK
311: OK
312: OK
313: OK
314: OK
321: OK
322: OK
323: OK
324: OK
331: OK
332: OK
333: OK
334: OK
Tests on reals
103: OK
104: OK
113: OK
114: OK
123: OK
124: OK
133: OK
134: OK
203: OK
204: OK
213: OK
214: OK
223: OK
224: OK
233: OK
234: OK
243: OK
244: OK
253: OK
254: OK
263: OK
264: OK
273: OK
274: OK
283: OK
284: OK
293: OK
294: OK
2A3: OK
2A4: OK
303: OK
304: OK
313: OK
314: OK
323: OK
324: OK
333: OK
334: OK
Execution completed