import os
import sqlite3
from collections import Counter
from contextlib import closing
from typing import Set

from hypothesis import settings, assume, note, event
from hypothesis.stateful import (
    RuleBasedStateMachine,
    rule,