#
# dj-len.dat
# 31 March 2021
#
# For the fake language used in expt-16 of diary,
# this is the number of sections with a given disjunct length.
#
# column 1 length
# column 2: number of Section
# column 3: number of ConnectorSeq
# column 4: number of sections whose count is 5 or more
#
1 0 0 0
2 606 115 467
3 2311 780 1528
4 3723 1904 1940
5 5150 4066 1876
6 8387 8183 1655
7 13907 13896 873
8 17362 17362 88
9 15043 15043 0
10 9061 9061 0
11 4000 4000 0
12 1257 1257 0
13 0 0 0