n=0: #PP_bimon(2n) = 1   source table: 1   OK   m_2n = 1/1   (0.0s)
n=1: #PP_bimon(2n) = 4   source table: 4   OK   m_2n = 4/1   (0.0s)
n=2: #PP_bimon(2n) = 48   source table: 48   OK   m_2n = 48/2   (0.0s)
n=3: #PP_bimon(2n) = 928   source table: 928   OK   m_2n = 928/6   (0.0s)
n=4: #PP_bimon(2n) = 24448   source table: 24448   OK   m_2n = 24448/24   (0.0s)
n=5: #PP_bimon(2n) = 811776   source table: 811776   OK   m_2n = 811776/120   (0.1s)
n=6: #PP_bimon(2n) = 32460032   source table: 32460032   OK   m_2n = 32460032/720   (3.6s)
nice -n 10 $S/venv/bin/python $F/bimonotone_count.py 6  3.68s user 0.02s system 99% cpu 3.706 total
