import struct

with open("digital-0.bin", "rb") as f:
    data = f.read()

file_size = len(data)
num_transitions = (file_size - 44) // 8

print(f"File size: {file_size}")
print(f"Computed transitions: {num_transitions}")

# Parse transitions
transitions = struct.unpack_from(f'<{num_transitions}d', data, 44)

# Print first few
for i, t in enumerate(transitions[:20]):
    print(f"  [{i}] {t:.9f}s")