A 3-semi-perfect 1-factorization of the six-dimensional hypercube

For a 1-factorization $F=\{M_1,\dots ,M_d\}$ of the hypercube $Q_d$, let $G[F]$ have vertex set $F$, with $M_i{M}_j$ an edge exactly when $M_i\cup M_j$ is a Hamilton cycle. Behague proved that $Q_{k+\mathrm{\ell }}$ has a 1-factorization $F$ with $G[F]\cong K_{k,\mathrm{\ell }}$ for all positive $k,\mathrm{\ell }$ except possibly $k=\mathrm{\ell }=3$. We give an explicit 1-factorization of $Q_6$ for which $G[F]\cong K_{3,3}$, resolving the exceptional case. The construction is supplied as a finite certificate. Its correctness can be checked directly from the tables in the paper or by either of two independent, short, standard-library verifiers supplied with the certificate.