-
Notifications
You must be signed in to change notification settings - Fork 0
/
Copy pathhexer_menu.json
109 lines (109 loc) · 7.45 KB
/
hexer_menu.json
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
{
"n.": {"title": "n \u00d7 n",
"args": "--hex --op=. --length=1 --disallowed-digits=01"},
"nn.": {"title": "nn \u00d7 nn",
"args": "--hex --op=. --length=2 --disallowed-digits=01"},
"v.": {"title": "even \u00d7 even",
"args": "--hex --op=. --length=1 --allowed-digits=2468ace"},
"o.": {"title": "odd \u00d7 odd",
"args": "--hex --op=. --length=1 --allowed-digits=3579bdf"},
"vo.": {"title": "even \u00d7 even and odd \u00d7 odd",
"args": "--hex --op=. --length=1 --disallowed-digits=01 --match=2468ace:2468ace,3579bdf:3579bdf"},
"v.o": {"title": "even \u00d7 odd",
"args": "--hex --op=. --length=1 --disallowed-digits=01 --match=2468ace:3579bdf,3579bdf:2468ace"},
"2468.o": {"title": "[2468] \u00d7 odd",
"args": "--hex --op=. --length=1 --allowed-digits=24683579bdf --match=2468:3579bdf,3579bdf:2468"},
"ace.o": {"title": "[ace] \u00d7 odd",
"args": "--hex --op=. --length=1 --allowed-digits=ace3579bdf --match=ace:3579bdf,3579bdf:ace"},
"3579.v": {"title": "[3579] \u00d7 even",
"args": "--hex --op=. --length=1 --allowed-digits=2468ace3579 --match=2468ace:3579,3579:2468ace"},
"bdf.v": {"title": "[bdf] \u00d7 even",
"args": "--hex --op=. --length=1 --allowed-digits=2468acebdf --match=2468ace:bdf,bdf:2468ace"},
"bdf.o": {"title": "[bdf] \u00d7 odd",
"args": "--hex --op=. --length=1 --allowed-digits=3579bdf --match=bdf:3579bdf,3579:bdf"},
"1-9.": {"title": "[1-9] \u00d7 [1-9] = [^1-9]",
"args": "--hex --op=. --length=1 --allowed-digits=23456789 --match=2:56789,3:456789,4:3456789,56789:23456789"},
"a-f.": {"title": "[a-f] \u00d7 [a-f]",
"args": "--hex --op=. --length=1 --allowed-digits=abcdef"},
"1-9.a-f": {"title": "[1-9] \u00d7 [a-f]",
"args": "--hex --op=. --length=1 --disallowed-digits=01 --match=23456789:abcdef,abcdef:23456789"},
"n+": {"title": "n + n",
"args": "--hex --op=+ --length=1 --disallowed-digits=01"},
"nn+": {"title": "nn + nn",
"args": "--hex --op=+ --length=2 --disallowed-digits=01"},
"v+": {"title": "even + even",
"args": "--hex --op=+ --length=1 --allowed-digits=2468ace"},
"v-": {"title": "even - even",
"args": "--hex --op=- --length=1 --allowed-digits=02468ace"},
"o+": {"title": "odd + odd",
"args": "--hex --op=+ --length=1 --allowed-digits=3579bdf"},
"o-": {"title": "odd - odd",
"args": "--hex --op=- --length=1 --allowed-digits=13579bdf"},
"vo+": {"title": "even + even and odd + odd",
"args": "--hex --op=+ --length=1 --disallowed-digits=01 --match=2468ace:2468ace,3579bdf:3579bdf"},
"vo-": {"title": "even - even and odd - odd",
"args": "--hex --op=- --length=1 --match=02468ace:02468ace,13579bdf:13579bdf"},
"v+o": {"title": "even + odd",
"args": "--hex --op=+ --length=1 --disallowed-digits=01 --match=2468ace:3579bdf,3579bdf:2468ace"},
"v-o": {"title": "even - odd and odd - even",
"args": "--hex --op=- --length=1 --match=02468ace:13579bdf,13579bdf:02468ace"},
"2468+o": {"title": "[2468] + odd",
"args": "--hex --op=+ --length=1 --allowed-digits=24683579bdf --match=2468:3579bdf,3579bdf:2468"},
"02468-o": {"title": "[02468] - odd and odd - [02468]",
"args": "--hex --op=- --length=1 --allowed-digits=0246813579bdf --match=02468:13579bdf,13579bdf:02468"},
"ace+o": {"title": "[ace] + odd",
"args": "--hex --op=+ --length=1 --allowed-digits=ace3579bdf --match=ace:3579bdf,3579bdf:ace"},
"ace-o": {"title": "[ace] - odd and odd - [ace]",
"args": "--hex --op=- --length=1 --allowed-digits=ace13579bdf --match=ace:13579bdf,13579bdf:ace"},
"3579+v": {"title": "[13579] + even",
"args": "--hex --op=+ --length=1 --allowed-digits=2468ace3579 --match=2468ace:3579,3579:2468ace"},
"13579-v": {"title": "[13579] - even and even - [13579]",
"args": "--hex --op=- --length=1 --allowed-digits=02468ace13579 --match=02468ace:13579,13579:02468ace"},
"bdf+v": {"title": "[bdf] + even",
"args": "--hex --op=+ --length=1 --allowed-digits=2468acebdf --match=2468ace:bdf,bdf:2468ace"},
"bdf-v": {"title": "[bdf] - even and even - [bdf]",
"args": "--hex --op=- --length=1 --allowed-digits=02468acebdf --match=02468ace:bdf,bdf:02468ace"},
"bdf+o": {"title": "[bdf] + odd",
"args": "--hex --op=+ --length=1 --allowed-digits=3579bdf --match=bdf:3579bdf,3579:bdf"},
"bdf-o": {"title": "[bdf] - odd and odd - [bdf]",
"args": "--hex --op=- --length=1 --allowed-digits=13579bdf --match=bdf:13579bdf,13579:bdf"},
"1-9+": {"title": "[1-9] + [1-9] = [^1-9]",
"args": "--hex --op=+ --length=1 --allowed-digits=123456789 --match=1:9,2:89,3:789,4:6789,5:56789,6:456789,7:3456789,8:23456789,9:123456789"},
"a-f+": {"title": "[a-f] + [a-f]",
"args": "--hex --op=+ --length=1 --allowed-digits=abcdef"},
"1-9+a-f": {"title": "[1-9] + [a-f]",
"args": "--hex --op=+ --length=1 --disallowed-digits=0 --match=123456789:abcdef,abcdef:123456789"},
"n+48c": {"title": "n + [48c]",
"args": "--hex --op=+ --length=1 --allowed-digits=23456789abcdef --match=235679abdef:48c,48c:48c"},
"n+6": {"title": "n + [6]",
"args": "--hex --op=+ --length=1 --allowed-digits=23456789abcdef --match=2345789abcdef:6,6:6"},
"n+a": {"title": "n + [a]",
"args": "--hex --op=+ --length=1 --allowed-digits=23456789abcdef --match=23456789bcdef:a,a:a"},
"n+2e": {"title": "n + [2e]",
"args": "--hex --op=+ --length=1 --allowed-digits=23456789abcdef --match=3456789abcdf:2e,2e:2e"},
"n+ef": {"title": "n + [ef]",
"args": "--hex --op=+ --length=1 --allowed-digits=23456789abcdef --match=23456789abcd:ef"},
"n+^ef": {"title": "n + [^ef]",
"args": "--hex --op=+ --length=1 --allowed-digits=23456789abcd"},
"nnnn+": {"title": "nnnn + nnnn",
"args": "--hex --op=+ --length=4 --disallowed-digits=01"},
"vvvv+": {"title": "eeee + eeee",
"args": "--hex --op=+ --length=4 --allowed-digits=2468ace"},
"oooo+": {"title": "oooo + oooo",
"args": "--hex --op=+ --length=4 --allowed-digits=3579bdf"},
"vovo+": {"title": "eeee + eeee and oooo + oooo",
"args": "--hex --op=+ --length=4 --allowed-digits=2468ace3579bdf --match=2468ace:2468ace,3579bdf:3579bdf"},
"10++++": {"title": "nnnn + nnnn for n in [2-9] and n+n in [^2-9]",
"args": "--hex --op=+ --length=4 --allowed-digits=123456789 --match=2:89,3:789,4:6789,5:56789,6:456789,7:3456789,8:23456789,9:123456789"},
"n-": {"title": "n \u2212 n", "args": "--hex --op=- --length=1 --allowed-digits=0123456789abcdef"},
"nn-": {"title": "nn \u2212 nn", "args": "--hex --op=- --length=2 --allowed-digits=0123456789abcdef"},
"n/": {"title": "nn \u00f7 n", "args": "--hex --op=/ --length=1 --disallowed-digits=01"},
"nn/": {"title": "nnnn \u00f7 nn", "args": "--hex --op=/ --length=2 --disallowed-digits=0"},
"n/tough1": {"title": "nn \u00f7 tough1", "args": "--hex -l 1 -o / -d 01 -m 26ae:9,37bf:8,4c:59d,5d:48c,8:3579bdf,9:2468ace"},
"n/tough2": {"title": "nn \u00f7 tough2", "args": "--hex -l 1 -o / -d 01 -m 2:89acef,3:68acef,4:45679acef,5:4689ce,6:345678acef,7:468ac,8:235679f,9:2458a,a:234679c,c:234567a,e:23456,f:23468"},
"n/tough": {"title": "nn \u00f7 tough", "args": "--hex -l 1 -o / -d 01 -m 2:89acef,3:68acef,4:45679acdef,5:4689ce,6:3456789acef,7:468ac,8:235679bdf,9:24568ace,a:234679c,b:8,c:2345679ad,d:48c,e:234569,f:23468"},
"n/nontough": {"title": "nn \u00f7 nontough", "args": "--hex -l 1 -o / -d 01 -m 2:^89acef,3:^68acef,4:^45679acdef,5:^4689ce,6:^3456789acef,7:^468ac,8:^235679bdf,9:^24568ace,a:^234679c,b:^8,c:^2345679ad,d:^48c,e:^234569,f:^23468"},
"ssss.": {"title": "multiply 4-digit base-4 numbers", "args": "--base=4 -l 4 --op=."},
"ssss+": {"title": "add 4-digit base-4 numbers", "args": "--base=4 -l 4 --op=+"},
"ssss-": {"title": "subtract 4-digit base-4 numbers", "args": "--base=4 -l 4 --op=-"}
}