Companion archive of lbl3x-bundle.zip for the Crossed light-by-light box page of bootloops.ai. It unpacks into the same lbl3x-bundle/ folder and adds the one file that the main archive leaves out for size.

CONTENTS-witness.txt — this list
LICENSE — the MIT license of the code (same file as in the main archive)
NOTICE — copyright notice; CC BY 4.0 for data and text (same file as in the main archive)
lbl3x-kernel-witness/slice_n1_exact.pkl.gz — the one-node (d = 101) exact slice of the kernel column banks: the exact rational numerator columns (4255 columns), the witness that lbl3x-evaluate.py --theorem-check reads; its sha256 is recorded in lbl3x-kernel-witness/witness_manifest.json and in MANIFEST.sha256 of the main archive

How to use: unzip lbl3x-bundle.zip and this archive in the same place, then run
    python3 lbl3x-evaluate.py --theorem-check
from inside lbl3x-bundle/. The other commands of the evaluator do not need this file.
