# file: C:\Users\Patrick\Documents\qnumbers\qreals\src\qreals\verify.py
# hypothesis_version: 6.152.6

[1e-09, ', ', '; ', 'S_n', 'add', 'arith', 'checks', 'coefficients', 'coeffs', 'could not check: ', 'data', 'detail', 'error', 'exact = truncated', 'fail', 'finite', 'floor', 'jumpgap', 'kind', 'label', 'laurent', 'line', 'locked', 'mul', 'n', 'n/a: ', 'na', 'negation', 'negation involutive', 'ok', 'op', 'order', 'p', 'pass', 'prefix', 'q=1 specialisation', 'qint', 'radius', 'rational', 'readouts', 's', 'shift', 'status', 'truncation stable', 'verified: ', 'x', 'y']