fix: table for nsr

Author: amkCha

hub/instruction_handling/call/precompiles/explicit_nsr.tex

@@ -30,7 +30,7 @@
 		\instBlsPairingCheck{}       &                                   &                                   &                                       &                                       \\ \cline{1-1}
 		\instBlsMapFpToGOne{}        &                                   &                                   &                                       &                                       \\ \cline{1-1}
 		\instBlsMapFpTwoToGTwo{}     &                                   &                                   &                                       &                                       \\ \hline \hline
-		\instPVerify{}               & \locFkth                          & \locFktr                          & \locStandardSuccWill                  & \locStandardSuccWont                  \\ \hline
+		\instPVerify{}               & \locStandardFail                  & \locStandardFail                  & \locStandardSuccWill                  & \locStandardSuccWont                  \\ \hline
 	\end{tabular}
 
 	\label{hub: instruction handling: call: precompiles: table of non stack-rows classifying failures known to the HUB vs. to RAM}

hub/instruction_handling/call/precompiles/nsr_and_flagsum_II.tex

@@ -72,7 +72,7 @@
 		\]
 \end{description}
 \saNote{}
-Several precompiles (elliptic curve precompiles \instEcrecover{}, \instEcadd{}, \instEcmul{}, \instEcpairing{}, \instPVerify 
+Several precompiles (elliptic curve precompiles \instEcrecover{}, \instEcadd{}, \instEcmul{}, \instEcpairing{}, \instPVerify{}
 and some hashing precompiles \instShaTwo{} and \instRipemd{})
 are dealt with as follows:
 \begin{enumerate}