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
/
feasible.hl
1
let feasible_ids = [
2
"161847242261";
3
"21943083135";
4
"125666511797";
5
"79927135476";
6
"241602698874";
7
"92991475035";
8
"223930428697";
9
"247295606871";
10
"234511714565";
11
"222443277122";
12
"74389574015";
13
"77163246273";
14
"62728797023";
15
"29383777015";
16
"17829919176";
17
"111586841555";
18
"105156525934";
19
"108947910402";
20
"146445562730";
21
"251818921426";
22
"152319053093";
23
"92865666145";
24
"180896555538";
25
"145411049077";
26
"39599353438";
27
"53589559927";
28
"90297313372";
29
"142655941184";
30
"85480334995";
31
"120808430889";
32
"65974205892";
33
"151513077997";
34
"212518403727";
35
"67080561369";
36
"10477128631";
37
"249851725458";
38
"100872450991";
39
"44420845129";
40
"232587358497";
41
"167303348603";
42
"245046698600";
43
"214859643337";
44
"36621172094";
45
"51378360149";
46
"57874684911";
47
"62672478742";
48
"238019115164";
49
"94647732523";
50
"233072019024";
51
"197221015797";
52
"178295012702";
53
"213347386471";
54
"86369567240";
55
"181537581203";
56
"88089363170";
57
"199733572812";
58
"154005963125";
59
"46026013883";
60
"229367313231";
61
"68285849590";
62
"201558987883";
63
"234875406416";
64
"95653008789";
65
"235206442572";
66
"69982909226";
67
"14335870163";
68
"100536039457";
69
"34082929980";
70
"82871836190";
71
"148654087307";
72
"50803004532";
73
"11791965047";
74
"161675749680";
75
"159869415516";
76
"32794566830";
77
"215182233720";
78
"249744728362";
79
"114241299799";
80
"218943750503";
81
"138200609784";
82
"57080496645";
83
"167828282169";
84
"84689232090";
85
"10356760764";
86
"199640295300";
87
"247130363001";
88
"220796296707";
89
"32345090522";
90
"213523389128";
91
"119559217589";
92
"203083441532";
93
"151900278591";
94
"153414258587";
95
"206180970700";
96
"155697230122";
97
"163902294554";
98
"155838748228";
99
"45659588418";
100
"223336279535";
101
"189718207466";
102
"39102870782";
103
"73142613316";
104
"2457515115";
105
"143863701704";
106
"129674608883";
107
"34469525277";
108
"205120383991";
109
"99094226829";
110
"208444469082";
111
"107159450824";
112
"21241242399";
113
"93267179362";
114
"189365423706";
115
"34552395227";
116
"177867469382";
117
"247802476816";
118
"87864610237";
119
"31118340219";
120
"15293900842";
121
"43458636485";
122
"125634241970";
123
"165331052876";
124
"66514811350";
125
"51222125776";
126
"29635262505";
127
"128654189196";
128
"215237018681";
129
"10327436083";
130
"204869251998";
131
"159707215674";
132
"242652038506";
133
"33133237057";
134
"113586916220";
135
"89689083992";
136
"229186714352";
137
"150834109178";
138
"176438347451";
139
"113535394513";
140
"65887846355";
141
"125288625342";
142
"182459094914";
143
"221642761094";
144
"85185357759";
145
"61113718086";
146
"43203292310";
147
"187762845014";
148
"164769867395";
149
"152735971380";
150
"12055501106";
151
"86506100695";
152
"240612114340";
153
"67870640924";
154
"213340346296";
155
"20942233668";
156
"208474118447";
157
"131926538004";
158
"212497062222";
159
"16606835581";
160
"44311028148";
161
"205031032033";
162
"162594631030";
163
"63780392795";
164
"85838002161";
165
"20525292626";
166
"225385567504";
167
"157797184794";
168
"211931583471";
169
"150534658862";
170
"157114107233";
171
"30389300048";
172
"248989633715";
173
"227049081516";
174
"103049949196";
175
"17584252653";
176
"201829675557";
177
"64553506434";
178
"143898391447";
179
"2757485004";
180
"24522692989";
181
"206983657748";
182
"91185198256";
183
"107096839627";
184
"108156489459";
185
"81829394513";
186
"26407840449";
187
"59408556784";
188
"179189825656";
189
"11799365755";
190
"75583744203";
191
"48166165766";
192
"102273823769";
193
"74135224952";
194
"169975399370";
195
"162326456513";
196
"245621749109";
197
"16986736888";
198
"171328238335";
199
"158495418174";
200
"47656451975";
201
"118374966151";
202
"194475628294";
203
"141508359990";
204
"59534542075";
205
"126416502686";
206
"99420618891";
207
"43294392725";
208
"5877308286";
209
"77253061528";
210
"135058926737";
211
"105582821738";
212
"109941103541";
213
"71594162946";
214
"58211170094";
215
"71524073242";
216
"76214963351";
217
"185374424990";
218
"175918863322";
219
"100414090850";
220
"142637803518";
221
"163349701747";
222
"113712638052";
223
"23873735141";
224
"32035687009";
225
"15608692641";
226
"164470574315";
227
"62586200165";
228
"120890775388";
229
"98304487583";
230
"93707188364";
231
"170730591020";
232
"189690818984";
233
"133668458800";
234
"235921453124";
235
"131728773107";
236
"82072133889";
237
"43345982389";
238
"53434030211";
239
"36949233439";
240
"229539714292";
241
"158968829505";
242
"182115367206";
243
"145414627149";
244
"74262159663";
245
"121444100512";
246
"158802651414";
247
"30633095151";
248
"232135951716";
249
"28186909322";
250
"240922261950";
251
"220280950581";
252
"25843054493";
253
"222331490807";
254
"133663871154";
255
"111261201750";
256
"205814967193";
257
"40124106623";
258
"47926490793";
259
"217305234403";
260
"247152672618";
261
"217482711620";
262
"77454901584";
263
"29390367462";
264
"46122798260";
265
"87297599446";
266
"193481247960";
267
"204182643999";
268
"149861801684";
269
"243834939443";
270
"9290908173";
271
"186286977681";
272
"77177675465";
273
"45199786119";
274
"183222769731";
275
"175709173491";
276
"131061498271";
277
"181446331627";
278
"194852290699";
279
"215863975889";
280
"187425312349";
281
"111714420987";
282
"43229898957";
283
"151854702353";
284
"12455295246";
285
"70856127867";
286
"155151082767";
287
"78273763440";
288
"38251440127";
289
"184451503950";
290
"11078540113";
291
"204675168024";
292
"95136066519";
293
"153662214806";
294
"26494148998";
295
"204094963109";
296
"225248006752";
297
"142282162558";
298
"44952706223";
299
"149036738197";
300
"197948745319";
301
"68126966034";
302
"153129252928";
303
"42914567770";
304
"233312933979";
305
"117491489162";
306
"228609753490";
307
"224222535931";
308
"43362603887";
309
"116921636014";
310
"50329387098";
311
"169780381606";
312
"14777252572";
313
"157383450592";
314
"129049243019";
315
"226586736615";
316
"213323591175";
317
"167319765423";
318
"200518010919";
319
"220582972141";
320
"184497806055";
321
"96213649901";
322
"63037087515";
323
"33029157920";
324
"3334037814";
325
"66478346114";
326
"99747768328";
327
"150404678030";
328
"71361914409";
329
"225201709398";
330
"248886505843";
331
"27794260922";
332
"245967563371";
333
"19940774062";
334
"47321147294";
335
"154341430216";
336
"23052108091";
337
"218756368829";
338
"46519712146";
339
"205697921664";
340
"93406012484";
341
"226556732647";
342
"224599395263";
343
"62238031819";
344
"195512614336";
345
"191026754154";
346
"230775057853";
347
"57290919651";
348
"87168897512";
349
"128782498396";
350
"250379175175";
351
"41053160057";
352
"239569210813";
353
"46867563516";
354
"13396135145";
355
"22579094342";
356
"24966962583";
357
"138654057097";
358
"163183959839";
359
"174247163045";
360
"26415177157";
361
"145974217847";
362
"179848114045";
363
"103206272348";
364
"227441642446";
365
"230073298386";
366
"238539288825";
367
"211486284142";
368
"212351474126";
369
"113860448491";
370
"126700205719";
371
"195966920830";
372
"52701588192";
373
"28006928060";
374
"147297845306";
375
"34970074286";
376
"105615380550";
377
"83055791901";
378
"216661698775";
379
"100126458338";
380
"180552190171";
381
"118191535532";
382
"186270808093";
383
"95386456814";
384
"250904883332";
385
"128394227052";
386
"19111335170";
387
"139176081955";
388
"18909647056";
389
"96407516938";
390
"144158557955";
391
"155449324866";
392
"224680018300";
393
"60661713932";
394
"182169930819";
395
"121582585038";
396
"182613472538";
397
"190313802481";
398
"194949625104";
399
"135129025736";
400
"127770925589";
401
"75641658977";
402
"199200608215";
403
"207249637395";
404
"170782427215";
405
"34372176123";
406
"136128967410";
407
"116080884798";
408
"210113251810";
409
"98261023404";
410
"104351773923";
411
"15806819252";
412
"202154465934";
413
"169371400957";
414
"109537739131";
415
"70023342545";
416
"93657835054";
417
"120074519419";
418
"8332565827";
419
"251696495407";
420
"240902736110";
421
"224962478003";
422
"24362730064";
423
"135218534957";
424
"144731567951";
425
"209433473083";
426
"34010128493";
427
"120279245231";
428
"142041399641";
429
"103699420180";
430
"245450642887";
431
"50386106164";
432
"33461137352";
433
"103572230249";
434
"207710175290";
435
"131863321179";
436
"227748973039";
437
"135113768992";
438
"153393823657";
439
"96944212495";
440
"118841024802";
441
"150397346479";
442
"211566906925";
443
"80894294056";
444
"99616756837";
445
"119368198530";
446
"201843411127";
447
"9883991306";
448
"67978455430";
449
"26351628975";
450
"177139074557";
451
"119822794938";
452
"225780368738";
453
"108021470283";
454
"167623491354";
455
"231915053919";
456
"164118962304";
457
"161169406084";
458
"211202410018";
459
"10294641528";
460
"103773894310";
461
"223795397921";
462
"21830948200";
463
"115126142634";
464
"159155890289";
465
"169726202209";
466
"149438122187";
467
"238138683456";
468
"75330736899";
469
"124346922881";
470
"12052651595";
471
"218088675456";
472
"195199855441";
473
"131235168653";
474
"125251448736";
475
"178064838768";
476
"62059307362";
477
"206134563629";
478
"149435261210";
479
];;