Sessions by lines
session    theories  lines  code  doc  doc%  defs  proofs  mean proof  median  p90  max  unfinished
---------  --------  -----  ----  ---  ----  ----  ------  ----------  ------  ---  ---  ----------
Core              2     27    19    1   3.7     1       3         3.0     1.0    7    7           1
Core-Apps         1      7     4    0   0.0     1       1         0.0     0.0    0    0           0
TOTAL             3     34    23    1   2.9     2       4         2.2     1.0    7    7           1
