Implementation
final betaTriggers = {
(LogicAtom('algebraic'), false): <int>[32, 11, 3, 8, 29, 14, 25, 13, 17, 7],
(LogicAtom('algebraic'), true): <int>[10, 30, 31, 27, 16, 21, 19, 22],
(LogicAtom('antiHermitian'), false): <int>[],
(LogicAtom('commutative'), false): <int>[],
(LogicAtom('complex'), false): <int>[10, 12, 11, 3, 8, 17, 7],
(LogicAtom('complex'), true): <int>[32, 10, 30, 31, 27, 16, 21, 19, 22],
(LogicAtom('composite'), false): <int>[28, 24, 1],
(LogicAtom('composite'), true): <int>[23, 2],
(LogicAtom('even'), false): <int>[23, 11, 3, 8, 29, 14, 25, 7],
(LogicAtom('even'), true): <int>[
3,
33,
8,
6,
5,
14,
34,
25,
20,
18,
27,
16,
21,
19,
22,
0,
28,
24,
7
],
(LogicAtom('extendedNegative'), false): <int>[11, 33, 8, 5, 29, 34, 25, 18],
(LogicAtom('extendedNegative'), true): <int>[
30,
12,
31,
29,
14,
20,
16,
21,
22,
17
],
(LogicAtom('extendedNonNegative'), false): <int>[11, 3, 6, 29, 14, 20, 7],
(LogicAtom('extendedNonNegative'), true): <int>[
30,
12,
31,
33,
8,
9,
6,
29,
34,
25,
18,
19,
35,
17,
7
],
(LogicAtom('extendedNonPositive'), false): <int>[11, 8, 5, 29, 25, 18, 7],
(LogicAtom('extendedNonPositive'), true): <int>[
30,
12,
31,
3,
33,
4,
5,
29,
14,
34,
20,
21,
35,
17,
7
],
(LogicAtom('extendedNonzero'), false): <int>[11, 33, 6, 5, 29, 34, 20, 18],
(LogicAtom('extendedNonzero'), true): <int>[
30,
12,
31,
3,
8,
4,
9,
6,
5,
29,
14,
25,
22,
17
],
(LogicAtom('extendedPositive'), false): <int>[11, 3, 33, 6, 29, 14, 34, 20],
(LogicAtom('extendedPositive'), true): <int>[
30,
12,
31,
29,
25,
18,
27,
19,
22,
17
],
(LogicAtom('extendedReal'), false): <int>[],
(LogicAtom('extendedReal'), true): <int>[30, 12, 31, 3, 33, 8, 6, 5, 17, 7],
(LogicAtom('finite'), false): <int>[11, 3, 8, 17, 7],
(LogicAtom('finite'), true): <int>[10, 30, 31, 27, 16, 21, 19, 22],
(LogicAtom('hermitian'), false): <int>[10, 12, 11, 3, 8, 17, 7],
(LogicAtom('imaginary'), true): <int>[32],
(LogicAtom('infinite'), false): <int>[10, 30, 31, 27, 16, 21, 19, 22],
(LogicAtom('infinite'), true): <int>[11, 3, 8, 17, 7],
(LogicAtom('integer'), false): <int>[11, 3, 8, 29, 14, 25, 17, 7],
(LogicAtom('integer'), true): <int>[
23,
2,
3,
33,
8,
6,
5,
14,
34,
25,
20,
18,
27,
16,
21,
19,
22,
7
],
(LogicAtom('irrational'), true): <int>[
32,
3,
8,
4,
9,
6,
5,
14,
25,
15,
26,
20,
18,
27,
16,
21,
19
],
(LogicAtom('negative'), false): <int>[29, 34, 25, 18],
(LogicAtom('negative'), true): <int>[32, 13, 17],
(LogicAtom('nonInteger'), true): <int>[
30,
12,
31,
3,
8,
4,
9,
6,
5,
29,
14,
25,
22
],
(LogicAtom('nonNegative'), false): <int>[11, 3, 8, 29, 14, 20, 7],
(LogicAtom('nonNegative'), true): <int>[
32,
33,
8,
9,
6,
34,
25,
26,
20,
27,
21,
22,
35,
36,
13,
17,
7
],
(LogicAtom('nonPositive'), false): <int>[11, 3, 8, 29, 25, 18, 7],
(LogicAtom('nonPositive'), true): <int>[
32,
3,
33,
4,
5,
14,
34,
15,
18,
16,
19,
22,
35,
36,
13,
17,
7
],
(LogicAtom('nonzero'), false): <int>[29, 34, 20, 18],
(LogicAtom('nonzero'), true): <int>[
32,
3,
8,
4,
9,
6,
5,
14,
25,
15,
26,
20,
18,
27,
16,
21,
19,
13,
17
],
(LogicAtom('odd'), false): <int>[2],
(LogicAtom('odd'), true): <int>[
3,
8,
4,
9,
6,
5,
14,
25,
15,
26,
20,
18,
27,
16,
21,
19
],
(LogicAtom('positive'), false): <int>[29, 14, 34, 20],
(LogicAtom('positive'), true): <int>[32, 0, 28, 1, 13, 17],
(LogicAtom('prime'), false): <int>[0, 24, 1],
(LogicAtom('prime'), true): <int>[23, 2],
(LogicAtom('rational'), false): <int>[11, 3, 8, 29, 14, 25, 13, 17, 7],
(LogicAtom('rational'), true): <int>[
3,
33,
8,
6,
5,
14,
34,
25,
20,
18,
27,
16,
21,
19,
22,
17,
7
],
(LogicAtom('real'), false): <int>[10, 12, 11, 3, 8, 17, 7],
(LogicAtom('real'), true): <int>[
32,
3,
33,
8,
6,
5,
14,
34,
25,
20,
18,
27,
16,
21,
19,
22,
13,
17,
7
],
(LogicAtom('transcendental'), true): <int>[
10,
30,
31,
11,
3,
8,
29,
14,
25,
27,
16,
21,
19,
22,
13,
17,
7
],
(LogicAtom('zero'), false): <int>[11, 3, 8, 29, 14, 25, 7],
(LogicAtom('zero'), true): <int>[],
};
