lemkeoliver

Receipts for specific computations claimed in the paper.

This folder contains the receipts for most of the computations mentioned in the paper. More concretely, it holds: