git://colo12-c703.uibk.ac.at
/
Flyspeck/.git
/ blob
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
history
|
raw
|
HEAD
Update from HH
[Flyspeck/.git]
/
formal_lp
/
glpk
/
onepass.hl
1
let onepass_ids = [
2
"21943083135";
3
"125666511797";
4
"223930428697";
5
"247295606871";
6
"234511714565";
7
"222443277122";
8
"77163246273";
9
"29383777015";
10
"17829919176";
11
"105156525934";
12
"108947910402";
13
"152319053093";
14
"145411049077";
15
"90297313372";
16
"142655941184";
17
"151513077997";
18
"212518403727";
19
"67080561369";
20
"10477128631";
21
"249851725458";
22
"44420845129";
23
"232587358497";
24
"214859643337";
25
"36621172094";
26
"51378360149";
27
"62672478742";
28
"238019115164";
29
"178295012702";
30
"86369567240";
31
"46026013883";
32
"68285849590";
33
"234875406416";
34
"235206442572";
35
"14335870163";
36
"100536039457";
37
"11791965047";
38
"161675749680";
39
"32794566830";
40
"114241299799";
41
"218943750503";
42
"138200609784";
43
"167828282169";
44
"84689232090";
45
"220796296707";
46
"213523389128";
47
"119559217589";
48
"151900278591";
49
"153414258587";
50
"206180970700";
51
"155838748228";
52
"45659588418";
53
"143863701704";
54
"129674608883";
55
"21241242399";
56
"93267179362";
57
"177867469382";
58
"31118340219";
59
"15293900842";
60
"125634241970";
61
"165331052876";
62
"51222125776";
63
"215237018681";
64
"204869251998";
65
"33133237057";
66
"113586916220";
67
"182459094914";
68
"221642761094";
69
"61113718086";
70
"187762845014";
71
"164769867395";
72
"12055501106";
73
"240612114340";
74
"67870640924";
75
"20942233668";
76
"208474118447";
77
"131926538004";
78
"44311028148";
79
"205031032033";
80
"162594631030";
81
"63780392795";
82
"157797184794";
83
"150534658862";
84
"248989633715";
85
"17584252653";
86
"64553506434";
87
"143898391447";
88
"2757485004";
89
"24522692989";
90
"206983657748";
91
"75583744203";
92
"169975399370";
93
"162326456513";
94
"16986736888";
95
"158495418174";
96
"118374966151";
97
"194475628294";
98
"141508359990";
99
"99420618891";
100
"43294392725";
101
"77253061528";
102
"135058926737";
103
"105582821738";
104
"109941103541";
105
"71594162946";
106
"58211170094";
107
"185374424990";
108
"175918863322";
109
"100414090850";
110
"142637803518";
111
"23873735141";
112
"32035687009";
113
"15608692641";
114
"62586200165";
115
"120890775388";
116
"98304487583";
117
"93707188364";
118
"189690818984";
119
"133668458800";
120
"235921453124";
121
"131728773107";
122
"82072133889";
123
"43345982389";
124
"53434030211";
125
"36949233439";
126
"229539714292";
127
"182115367206";
128
"145414627149";
129
"74262159663";
130
"158802651414";
131
"30633095151";
132
"232135951716";
133
"28186909322";
134
"220280950581";
135
"222331490807";
136
"133663871154";
137
"111261201750";
138
"205814967193";
139
"40124106623";
140
"217305234403";
141
"247152672618";
142
"77454901584";
143
"29390367462";
144
"46122798260";
145
"193481247960";
146
"204182643999";
147
"149861801684";
148
"186286977681";
149
"77177675465";
150
"45199786119";
151
"183222769731";
152
"181446331627";
153
"194852290699";
154
"187425312349";
155
"111714420987";
156
"43229898957";
157
"151854702353";
158
"12455295246";
159
"70856127867";
160
"155151082767";
161
"78273763440";
162
"38251440127";
163
"184451503950";
164
"204094963109";
165
"225248006752";
166
"142282162558";
167
"197948745319";
168
"68126966034";
169
"153129252928";
170
"42914567770";
171
"233312933979";
172
"117491489162";
173
"228609753490";
174
"224222535931";
175
"116921636014";
176
"226586736615";
177
"213323591175";
178
"167319765423";
179
"200518010919";
180
"220582972141";
181
"184497806055";
182
"96213649901";
183
"63037087515";
184
"33029157920";
185
"3334037814";
186
"66478346114";
187
"225201709398";
188
"248886505843";
189
"27794260922";
190
"245967563371";
191
"19940774062";
192
"47321147294";
193
"154341430216";
194
"23052108091";
195
"46519712146";
196
"205697921664";
197
"62238031819";
198
"230775057853";
199
"57290919651";
200
"87168897512";
201
"128782498396";
202
"46867563516";
203
"22579094342";
204
"24966962583";
205
"138654057097";
206
"163183959839";
207
"174247163045";
208
"145974217847";
209
"179848114045";
210
"227441642446";
211
"230073298386";
212
"211486284142";
213
"212351474126";
214
"126700205719";
215
"195966920830";
216
"52701588192";
217
"147297845306";
218
"105615380550";
219
"118191535532";
220
"186270808093";
221
"250904883332";
222
"139176081955";
223
"96407516938";
224
"144158557955";
225
"224680018300";
226
"182169930819";
227
"121582585038";
228
"194949625104";
229
"199200608215";
230
"207249637395";
231
"170782427215";
232
"34372176123";
233
"136128967410";
234
"116080884798";
235
"210113251810";
236
"104351773923";
237
"15806819252";
238
"202154465934";
239
"169371400957";
240
"70023342545";
241
"120074519419";
242
"8332565827";
243
"251696495407";
244
"224962478003";
245
"135218534957";
246
"144731567951";
247
"209433473083";
248
"142041399641";
249
"103699420180";
250
"245450642887";
251
"33461137352";
252
"103572230249";
253
"131863321179";
254
"227748973039";
255
"135113768992";
256
"153393823657";
257
"96944212495";
258
"118841024802";
259
"150397346479";
260
"211566906925";
261
"80894294056";
262
"99616756837";
263
"201843411127";
264
"26351628975";
265
"177139074557";
266
"119822794938";
267
"225780368738";
268
"108021470283";
269
"231915053919";
270
"164118962304";
271
"161169406084";
272
"211202410018";
273
"103773894310";
274
"21830948200";
275
"115126142634";
276
"159155890289";
277
"169726202209";
278
];;