# file: /home/iscad/CAIRN/cairn/verification/z3_proofs.py
# hypothesis_version: 6.152.9

[1e-09, '; ', 'Interval Positivity', 'a_end', 'a_start', 'b_end', 'b_start', 'cdr_end', 'cdr_start', 'fhir_end', 'fhir_start', '✓ PROVED', '✗ REFUTED']