A computation of the Ninth Dedekind Number using FPGA Supercomputing

This dataset contains the full dataset for the computation of the 9th dedekind number as mentioned in https://arxiv.org/abs/2304.03039 It's a tar.gz containing 5 files: firstRunBetaSums7.u128flatClassInfo7.classInfoflatMBFs7.mbfflatNodes7.flatNodesmbfStructure7.mbfStructurethe first file has the data points computed over the FPGA supercomputing run, each of which can be verified with the CPU code. The other files are the data that's necessary to do this, and could be generated on their own. They are included for consistency of the order within.