-
Notifications
You must be signed in to change notification settings - Fork 23
/
Copy pathCompfiles.lean
205 lines (205 loc) · 5.5 KB
/
Compfiles.lean
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
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
import Compfiles.Bulgaria1998P1
import Compfiles.Bulgaria1998P2
import Compfiles.Bulgaria1998P3
import Compfiles.Bulgaria1998P6
import Compfiles.Bulgaria1998P8
import Compfiles.Bulgaria1998P11
import Compfiles.CIIM2022P6
import Compfiles.Canada1998P3
import Compfiles.Canada1998P5
import Compfiles.Hungary1998P6
import Compfiles.Imo1959P1
import Compfiles.Imo1959P2
import Compfiles.Imo1960P1
import Compfiles.Imo1960P2
import Compfiles.Imo1961P1
import Compfiles.Imo1961P3
import Compfiles.Imo1962P1
import Compfiles.Imo1962P2
import Compfiles.Imo1962P4
import Compfiles.Imo1963P1
import Compfiles.Imo1963P4
import Compfiles.Imo1963P5
import Compfiles.Imo1964P1
import Compfiles.Imo1964P2
import Compfiles.Imo1964P4
import Compfiles.Imo1965P1
import Compfiles.Imo1965P2
import Compfiles.Imo1966P4
import Compfiles.Imo1968P2
import Compfiles.Imo1968P5
import Compfiles.Imo1969P1
import Compfiles.Imo1970P4
import Compfiles.Imo1970P6
import Compfiles.Imo1971P3
import Compfiles.Imo1971P5
import Compfiles.Imo1972P1
import Compfiles.Imo1972P3
import Compfiles.Imo1972P4
import Compfiles.Imo1972P5
import Compfiles.Imo1973P5
import Compfiles.Imo1974P5
import Compfiles.Imo1975P1
import Compfiles.Imo1975P2
import Compfiles.Imo1976P4
import Compfiles.Imo1976P6
import Compfiles.Imo1977P4
import Compfiles.Imo1977P6
import Compfiles.Imo1978P1
import Compfiles.Imo1978P6
import Compfiles.Imo1979P1
import Compfiles.Imo1979P5
import Compfiles.Imo1981P3
import Compfiles.Imo1981P6
import Compfiles.Imo1982P1
import Compfiles.Imo1982P3
import Compfiles.Imo1982P4
import Compfiles.Imo1983P1
import Compfiles.Imo1983P5
import Compfiles.Imo1983P6
import Compfiles.Imo1984P1
import Compfiles.Imo1984P2
import Compfiles.Imo1985P4
import Compfiles.Imo1986P1
import Compfiles.Imo1986P5
import Compfiles.Imo1987P1
import Compfiles.Imo1987P4
import Compfiles.Imo1988P3
import Compfiles.Imo1988P6
import Compfiles.Imo1989P5
import Compfiles.Imo1990P3
import Compfiles.Imo1991P6
import Compfiles.Imo1992P1
import Compfiles.Imo1992P2
import Compfiles.Imo1993P5
import Compfiles.Imo1994P1
import Compfiles.Imo1994P4
import Compfiles.Imo1994P5
import Compfiles.Imo1995P2
import Compfiles.Imo1995P4
import Compfiles.Imo1996P3
import Compfiles.Imo1997P5
import Compfiles.Imo1998P2
import Compfiles.Imo1998P3
import Compfiles.Imo1998P4
import Compfiles.Imo1998P6
import Compfiles.Imo1999P4
import Compfiles.Imo1999P6
import Compfiles.Imo2000P2
import Compfiles.Imo2001P1
import Compfiles.Imo2001P2
import Compfiles.Imo2001P3
import Compfiles.Imo2001P6
import Compfiles.Imo2002P5
import Compfiles.Imo2003P1
import Compfiles.Imo2003P2
import Compfiles.Imo2003P6
import Compfiles.Imo2004P2
import Compfiles.Imo2004P6
import Compfiles.Imo2005P3
import Compfiles.Imo2005P4
import Compfiles.Imo2006P3
import Compfiles.Imo2006P5
import Compfiles.Imo2007P1
import Compfiles.Imo2007P5
import Compfiles.Imo2008P2
import Compfiles.Imo2008P3
import Compfiles.Imo2008P4
import Compfiles.Imo2008P5
import Compfiles.Imo2009P5
import Compfiles.Imo2009P6
import Compfiles.Imo2010P1
import Compfiles.Imo2010P3
import Compfiles.Imo2011P3
import Compfiles.Imo2011P5
import Compfiles.Imo2012P2
import Compfiles.Imo2012P4
import Compfiles.Imo2013P1
import Compfiles.Imo2013P5
import Compfiles.Imo2014P1
import Compfiles.Imo2014P4
import Compfiles.Imo2015P2
import Compfiles.Imo2015P5
import Compfiles.Imo2016P4
import Compfiles.Imo2016P5
import Compfiles.Imo2017P1
import Compfiles.Imo2017P2
import Compfiles.Imo2017P6
import Compfiles.Imo2018P2
import Compfiles.Imo2018P3
import Compfiles.Imo2018P5
import Compfiles.Imo2019P1
import Compfiles.Imo2019P2
import Compfiles.Imo2019P4
import Compfiles.Imo2020P2
import Compfiles.Imo2020P5
import Compfiles.Imo2021P1
import Compfiles.Imo2021P2
import Compfiles.Imo2021P6
import Compfiles.Imo2022P2
import Compfiles.Imo2022P5
import Compfiles.Imo2023P1
import Compfiles.Imo2023P2
import Compfiles.Imo2023P3
import Compfiles.Imo2023P4
import Compfiles.Imo2023P5
import Compfiles.Imo2024P1
import Compfiles.Imo2024P2
import Compfiles.Imo2024P3
import Compfiles.Imo2024P5
import Compfiles.Imo2024P6
import Compfiles.India1998P1
import Compfiles.IntegersInACircle
import Compfiles.Iran1998P3
import Compfiles.Iran1998P9
import Compfiles.KolmogorovStreams
import Compfiles.Poland1998P4
import Compfiles.Poland2016S1P8
import Compfiles.Romania1998P12
import Compfiles.Russia1998P42
import Compfiles.UK2024R1P1
import Compfiles.UK2024R1P2
import Compfiles.UpperLowerContinuous
import Compfiles.Usa1974P2
import Compfiles.Usa1978P1
import Compfiles.Usa1979P1
import Compfiles.Usa1980P5
import Compfiles.Usa1981P5
import Compfiles.Usa1982P4
import Compfiles.Usa1983P5
import Compfiles.Usa1985P1
import Compfiles.Usa1987P1
import Compfiles.Usa1989P5
import Compfiles.Usa1990P2
import Compfiles.Usa1992P1
import Compfiles.Usa1992P2
import Compfiles.Usa1993P1
import Compfiles.Usa1993P3
import Compfiles.Usa1996P1
import Compfiles.Usa1998P1
import Compfiles.Usa1998P3
import Compfiles.Usa1998P4
import Compfiles.Usa1998P5
import Compfiles.Usa1999P1
import Compfiles.Usa2000P1
import Compfiles.Usa2000P5
import Compfiles.Usa2001P1
import Compfiles.Usa2001P3
import Compfiles.Usa2001P4
import Compfiles.Usa2002P1
import Compfiles.Usa2003P1
import Compfiles.Usa2005P2
import Compfiles.Usa2008P1
import Compfiles.Usa2011P4
import Compfiles.Usa2015P1
import Compfiles.Usa2017P5
import Compfiles.Usa2018P1
import Compfiles.Usa2019P1
import Compfiles.Usa2022P1
import Compfiles.Usa2022P3
import Compfiles.Usa2022P4
import Compfiles.Usa2023P2
import Compfiles.Usa2023P4
import Compfiles.Usa2023P5
import Compfiles.Usa2024P2
import Compfiles.ZeroesOnesAndTwos