There is also a directory (countdown/numerical/OCT/) that contains the C code that generated the list of cases (using cplex & cfsqp).

This directory (countdown/interval/PART3OCT) contains the files that were used in connection with Sphere Packings III, Proposition 4.2, octahedral inequalities. Many of the files in this directory are related to 18 six-dimensional inequalities that stem from a single quad cluster inequality that was eventually discarded. These files no longer serve any purpose.

The main C file is part3o.cc. It belongs in the parent directory. It generates the interval verifications.

part3o.out1 is a key file containing the output obtained in 138 hours of computer calculations, verifying all but 18 cases. All of the 18 cases relate to a single quad cluster inequality, which has been discarded. Some of them spilled over into part3o.out2

The files part18.cc belong in the "cfsqp" numerical directory.

drwxrwx--x   2 hales    fac         2048 May 14 19:58 CHAFF
-rw-rw----   1 hales    fac        31191 May 11 22:14 part18.cc
-rw-rw----   1 hales    fac         2312 May 11 21:46 part18.out.none
-rw-rw----   1 hales    fac         3478 May 11 21:41 part18.out.none126
-rw-rw----   1 hales    fac         2990 May 11 21:36 part18.out.none135
-rw-rw----   1 hales    fac         2546 May 11 21:26 part18.out
-rw-r-----   1 hales    fac        13013 May 11 21:22 part3o.cc
-rw-rw----   1 hales    fac         9159 May 11 21:21 part3o.ineqlist
drwxrwx--x   2 hales    fac         2048 May  6 22:42 RCS
-rw-rw----   1 hales    fac        51716 Jan 25 23:12 part3o.out18
-rw-rw----   1 hales    fac        43412 Jan 23 12:55 part3o.out18bak
-rw-rw----   1 hales    fac         9201 Jan 13 07:43 part3o.fail
-rw-rw----   1 hales    fac          139 Jan 13 07:43 part3o.note
-rw-rw----   1 hales    fac       167701 Jan  4 18:47 part3oDataSupp.cc
-r--r-----   1 hales    fac        42691 Jan  1 22:10 part3o.out2
-r--r-----   1 hales    fac       198662 Jan  1 17:44 part3o.out1
-r--r-----   1 hales    fac        58643 Dec 20 09:15 part3o.outCheck
-rw-r-----   1 hales    fac       689040 Dec 18 20:01 part3oData.cc

part3o.outCheck checks that the cases cover all possibilities.

part3oDataSupp.cc contains the next pass, designed to do the 18 cases. part3o.out18bak, part3o.out18 is the output. This is a deadend. Do not pursue this line.