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

['\nBye.', '([x]_q - 1)/q', '*', '+', '+ ', '-', '--add', '--down', '--json', '--mul', '--order', '--pdf', '--qprov', '--save', '--up', '.', '0', '12', '13/5', '2', '3', '3/2', '30', '5', '60', 'Back to menu', 'Bye.', 'Convergent locking', 'Do another', 'Help / About', 'Next?', 'Quit', 'S_n', '[n]_q at q = 1', '__main__', 'add', 'add: [x]_q + [y]_q', 'again', 'args', 'arith', 'at q = 1', 'at_q_eq_1', 'back', 'blocks', 'bold', 'bold cyan', 'capabilities', 'capability', 'certify', 'cf_terms', 'coefficient c_k', 'coefficients', 'coeffs', 'columns', 'command', 'convergent index n', 'data', 'dim italic', 'direction', 'doctor', 'down', 'enter a whole number', 'estimate', 'exact [p/s]_q', 'expr', 'finite', 'first_negative_index', 'first_nonzero_index', 'floor', 'floor(x)', 'forced prefix', 'green', 'inf', 'infinite', 'input_coefficients', 'integer n', 'integer_part_prefix', 'json', 'kind', 'kv', 'label', 'latexmk', 'laurent', 'locked', 'max_abs', 'menu', 'menu_will_run', 'mul', 'mul: [x]_q * [y]_q', 'must be finite', 'must not be zero', 'n', 'neg_coefficients', 'neg_valuation', 'negate', 'negation', 'no', 'none', 'none on PATH', 'note', 'numerator p', 'op', 'order', 'os', 'p', 'pairs', 'partial sum S_n', 'pdf', 'pdflatex', 'pi', 'pi-2', 'poly', 'power q^k', 'prefix', 'product', 'python', 'q', 'q*[x]_q + 1', 'q-integer  [n]_q', 'q_int', 'q_int_qinv', 'qint', 'qprov_id', 'qreals', 'qreals doctor', 'questionary', 'radius', 'rational', 'read-out', 'readouts', 'real number x', 'real number x (>= 0)', 'real number y (>= 0)', 'rich', 'rows', 's', 'save', 'series product', 'series sum (default)', 'shift', 'shifted_coefficients', 'show', 'sqrt(2)', 'stdin_tty', 'stdout_tty', 'store_true', 'sum', 'sum_coefficients', 'sum_valuation', 'table', 'tectonic', 'tex_engine', 'text', 'title', 'up', 'value', 'verification', 'version', 'what it does', 'which operation?', 'which shift?', 'x', 'y', 'yellow', 'yes', 'zeros']