This directory contains the files which run
our rigorous proof of the Near Flat Lemma.
Here is a breakdown of the directory.

Run.java: wrapper class which runs the calculation for the proof.
NearFlat.java: This file contains the main test we run for the proof.
IntegerTorus.java: This file contains the coords of our integer near flat torus.
LinkData.java: This file contains the integer flower models used in the proof
VectorBig.java: This file contains the integer vector class.


To compile the code, use the command

javac *.java

To run the code, use the command

java Run