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.