#!/usr/bin/env bash

set -xeuo pipefail

time ./tables.py 2500