# k=3: types with max <= 9 done, distinct classes so far 14 (0.0s)
# k=4: types with max <= 9 done, distinct classes so far 60 (0.0s)
# k=5: types with max <= 9 done, distinct classes so far 125 (0.0s)
# k=6: types with max <= 9 done, distinct classes so far 195 (0.0s)
# k=7: types with max <= 9 done, distinct classes so far 239 (0.1s)
# k=8: types with max <= 9 done, distinct classes so far 260 (0.1s)
p=8 d=1 n=3: E_lat-E_iid > 0 ; ratio = 1.857686 ; E_lat = 4399/2099520 ; E_iid = 37/32805
p=8 d=1 n=4: E_lat-E_iid > 0 ; ratio = 3.377320 ; E_lat = 101273/71663616 ; E_iid = 617/1474560
p=8 d=1 n=5: E_lat-E_iid > 0 ; ratio = 5.748006 ; E_lat = 630280159/583200000000 ; E_iid = 661/3515625
p=8 d=1 n=6: E_lat-E_iid > 0 ; ratio = 9.087113
p=8 d=1 n=7: E_lat-E_iid > 0 ; ratio = 13.627388
p=8 d=1 n=8: E_lat-E_iid > 0 ; ratio = 19.486323
p=8 d=1 n=9: E_lat-E_iid > 0 ; ratio = 26.896757
p=8 d=1 n=10: E_lat-E_iid > 0 ; ratio = 35.985265
p=8 d=2 n=3: E_lat-E_iid > 0 ; ratio = 1.479315 ; E_lat = 321668741/225740390400 ; E_iid = 53087/55112400
p=8 d=2 n=4: E_lat-E_iid > 0 ; ratio = 2.284686 ; E_lat = 59324312657/75229597532160 ; E_iid = 22903/66355200
p=8 d=2 n=5: E_lat-E_iid > 0 ; ratio = 3.446225 ; E_lat = 306346275448031459/585119091916800000000 ; E_iid = 2691893/17718750000
p=8 d=2 n=6: E_lat-E_iid > 0 ; ratio = 4.996850
p=8 d=2 n=7: E_lat-E_iid > 0 ; ratio = 6.994769
p=8 d=2 n=8: E_lat-E_iid > 0 ; ratio = 9.483112
p=8 d=2 n=9: E_lat-E_iid > 0 ; ratio = 12.525097
p=8 d=2 n=10: E_lat-E_iid > 0 ; ratio = 16.160073
p=8 d=3 n=3: E_lat-E_iid > 0 ; ratio = 1.314623 ; E_lat = 20180492852839/24271606775808000 ; E_iid = 29279291/46294416000
p=8 d=3 n=4: E_lat-E_iid > 0 ; ratio = 1.824832 ; E_lat = 6734372799118775179/17689956996400703078400 ; E_iid = 4983391/23887872000
p=8 d=3 n=5: E_lat-E_iid > 0 ; ratio = 2.499596 ; E_lat = 1150211575409463948647505007/5283400489591676652748800000000 ; E_iid = 3888910847/44651250000000
p=8 d=3 n=6: E_lat-E_iid > 0 ; ratio = 3.363447
p=8 d=3 n=7: E_lat-E_iid > 0 ; ratio = 4.417028
p=8 d=3 n=8: E_lat-E_iid > 0 ; ratio = 5.692963
p=8 d=3 n=9: E_lat-E_iid > 0 ; ratio = 7.201823
p=8 d=3 n=10: E_lat-E_iid > 0 ; ratio = 8.964186
# total time 0.1s
