primary (bkst_verify.py 300 1200): pairs this run 3822, recorded 3822; only in this run 0 []; only recorded 0 []; different (k', R) 0 []
first independent run (indep_verify.py 600 2400): pairs this run 9433, recorded 9433; only in this run 0 []; only recorded 0 []; different (k', R) 0 []
