wta: Fix org-file formatting

wta/benchmarks.org

@@ -243,7 +243,7 @@ python bench.py run ../../copar/bin/copar --monoid powerset --symbols 0,0,0,0,0,
 : Trying 1451...
 : First bad state count: 1451
 
-*** File Size
+**** File Size
 
 #+BEGIN_SRC sh :results output
 ls -sh bench/wta_Z,max_0,8_0.7_1450*
@@ -256,7 +256,7 @@ ls -sh bench/wta_Z,max_0,8_0.7_1450*
 : 182M bench/wta_Z,max_0,8_0.7_1450_3.coalgebra
 : 182M bench/wta_Z,max_0,8_0.7_1450_4.coalgebra
 
-*** Automaton Size
+**** Automaton Size
 
 #+BEGIN_SRC sh
 python bench.py run ../../copar/bin/copar --monoid 'Z,max' --symbols 0,8 --zero-frequency 0.7 --states 1450 --indiv --header
@@ -270,7 +270,6 @@ python bench.py run ../../copar/bin/copar --monoid 'Z,max' --symbols 0,8 --zero-
 | 3 | 5046916 | 10090932 |                   1458 |                13050 |                          1450 |       9455805 |     125.95962352 |   42.526542018 |       80.176310943 |        26.550162046 |    40.227319833 |
 | 4 | 5049229 | 10095558 |                   1458 |                13050 |                          1450 |       9460347 |    126.718920083 |   42.559013501 |       80.863052096 |        26.756405734 |    40.145229524 |
 
-
 *** GHC 8.4.4 with symbols 1,0,4 and zero-freq 0.7
 
 #+BEGIN_SRC sh
@@ -496,7 +495,7 @@ python bench.py run ../../copar/bin/copar --monoid 'Word,or' --symbols 1,0,4 --z
 | 3 | 3890675 | 11671481 |                    153 |                87765 |                           148 |       6807190 |    118.213230214 |   44.026034118 |       69.934017821 |        20.807216331 |    36.920223682 |
 | 4 | 3889335 | 11667465 |                    153 |                87765 |                           148 |       6804884 |    118.020940476 |   44.097067581 |       69.813347698 |        20.923033139 |    36.907214948 |
 
-*** GHC 8.4.4 with symbols 1,0,4 and zero-freq 0.7
+*** GHC 8.4.4 with symbols 4,3,2 and zero-freq 0.7
 
 #+BEGIN_SRC sh
 ./bench.py bisect ../../copar/bin/{random-wta,copar} --monoid 'Word,or' --symbols 4,3,2 --zero-frequency 0.7