From 2a00f176bad9d795e31f494e53a0c38f001aa77b Mon Sep 17 00:00:00 2001
From: Morris Kyn <morris.kyn@gmail.com>
Date: Mon, 18 Apr 2022 17:30:03 -0700
Subject: [PATCH] Fixed line numbers issue after subproof

---
 __pycache__/proof.cpython-38.pyc | Bin 21751 -> 21797 bytes
 proof.py                         |   6 +++---
 unique inverses.py               |   2 +-
 3 files changed, 4 insertions(+), 4 deletions(-)

diff --git a/__pycache__/proof.cpython-38.pyc b/__pycache__/proof.cpython-38.pyc
index 94cfe1528a7b785f55091e43ce4b2ed09bc728c2..5f30170ffc8409b5716459ef84c5416dd6c8d8de 100644
GIT binary patch
delta 413
zcmZ9IJxc>Y5Qb;=Zg1}n69tuA2x7n>YAHf6nqVtY6paW$6l5U~F+$iXY*4&jgl!cf
zC>Xnt&c+`gf}Pk|*jQK#+BlI!&}rWJ+<j&~ns{}C(TzyN2eJdUy}PjAihkMnYJ6VY
zdr_{2vd|a@<%O(z){7ec1t4ftPA^jyA^!S20O<sfhB{U<3Z<Y541uyVh8P3s#yWoY
z<)4f&cRYrUdE$k>Hzbx%^lB`VG->A;$J@8gaugG7cUagY1M#tbl9`D-BRQJ77bHv5
zTOKA%bM7Iyr1{Q|lDO+kp=OE^{i!*bPaSGjCNyaU1e68_JJf0uiex2JoT@;J{O_R!
zs0XxF!ap;1Hx?CFxsr!SM}dadIgVuOFzM8u{bbiR7gxzQBiTn@O%S1Z&*srLv$;{^
VrjRRIDNMCnx${9<W@YV~eFM#?TKfP1

delta 375
zcmZ3wit+nOM!ry9UM>b8sAGsr`j)ei?>7tMmC0PJQPCGlIBFQO*lQRi8A>>tnTmQ~
zyaikf85kLA7)#h-B3bOsjOGlrjCocij42>d1`&o5<{HLkMsbD|c5x6JY7$t4ZSr|m
zaYl~G&sjrwelc=ZF<B|RWCS{4vO8N7quAzCY`%PqGMgnt*;#;;f}}D(kaE%RW&%<Z
zv`(`FsTiXePDYu@JFU-3OaN*G*_Z-!XDw3+V+~UY6VSCaljqr}M2Rq%GcYm40~N3^
zWU-|%r8AbW)-Yu;G&4eFfQ|*qFw`)o13iGG62@oC<0xTIVQFRrdYEAW2gu_oOu-DA
ztdk9FA5Ipt^OoT(0tH`@JcwWc5e^`N14PJ8ZnBGFmSU9JeBW-aFwohxK`WR5B<fTA

diff --git a/proof.py b/proof.py
index ade3e28..4f0c431 100644
--- a/proof.py
+++ b/proof.py
@@ -44,7 +44,7 @@ def show(self):
         while i < len(self.steps):
             if isinstance(self.steps[i],Proof):
                 self.steps[i].show()
-                i+=len(self.steps[i].steps)
+                i+=len(self.steps[i].steps)-self.steps[i].linestart-1
             else:
                 print("\t"*self.depth + str(i) + ': ' + str(self.steps[i]) + '\t' + str(self.justifications[i]))
             i+=1
@@ -493,8 +493,8 @@ def concludeSubproof(self, lineNum):
         evidence = self.steps[-1]
         if isinstance(evidence, Proof):
             conc = Implies(evidence.assumption,evidence.steps[lineNum])
-            self.steps += [None]*len(evidence.steps)
-            self.justifications += [None]*len(evidence.steps)
+            self.steps += [None]*(len(evidence.steps)-evidence.linestart-1)
+            self.justifications += [None]*((len(evidence.steps))-evidence.linestart-1)
             self.steps += [conc]
             self.justifications += ["Conclusion of subproof"]
         else:
diff --git a/unique inverses.py b/unique inverses.py
index 477898c..005533e 100644
--- a/unique inverses.py	
+++ b/unique inverses.py	
@@ -23,4 +23,4 @@
 p2.cancelLeft(7, ['a'])
 p2.switchSidesOfEqual(8)
 p.concludeSubproof(9)
-p.qed(15)
+p.qed(10)