Cat removed and added 3 blank lines

Author: flengyel

tex/DSTM.prj

@@ -4,9 +4,9 @@
 1
 1
 dstm.tex
-73
-16
-14
+74
+17
+15
 
 header.tex
 TeX
@@ -52,7 +52,10 @@ TeX
 1060091 0 -1 0 -1 9150 98 98 3697 606 1 1 1221 363 -1 -1 0 0 29 -1 -1 29 1 0 9150 -1  0 -1 0
 abstract.tex
 TeX:UNIX
-269594619 0 -1 20 -1 1024 147 147 2878 847 1 1 966 660 -1 -1 0 0 527 -1 -1 527 1 0 1024 -1  0 -1 0
+1159163 0 -1 20 -1 1024 147 147 2878 847 1 1 966 660 -1 -1 0 0 527 -1 -1 527 1 0 1024 -1  0 -1 0
+:\Users\fleng\vscode\rank-shifted-dstm\definitions_fixed.tex
+TeX:UNIX
+269593851 0 -1 0 -1 6426 0 0 3501 832 1 1 1056 330 -1 -1 0 0 -1 -1 -1 -1 1 0 6426 -1  0 -1 0
 introduction.tex
 TeX:UNIX
 1159163 0 -1 2005 -1 2006 196 196 2927 896 1 1 1236 330 -1 -1 0 0 192 -1 -1 192 1 0 2006 -1  0 -1 0