Test and Mark some files verified

docs/Math.md

@@ -170,13 +170,13 @@ Passed [yosupo judge](https://judge.yosupo.jp/submission/165366).
 ### Description
 Make RREF and solve system of linear equations.
 ### Test status
-[library checker](https://judge.yosupo.jp/submission/186088).
+[library checker](https://judge.yosupo.jp/submission/187171).
 
 ## Charateristic Polynomial
 ### Description
 Calculate the charateristic polynomial of matrix in $O(N^3)$.
 ### Test Status
-Passed 2021 PTZ Korea and [library checker](https://judge.yosupo.jp/submission/165703).
+Passed 2021 PTZ Korea and [library checker](https://judge.yosupo.jp/submission/187174).
 
 ## Simplex / Simplex Construction
 ### Description

docs/String.md

@@ -6,7 +6,8 @@
 Rolling-hash algorithm
 
 ## Test Status
-Used in contest. No test.
+Used in some contests.
+Passed [Z-algo](https://judge.yosupo.jp/submission/187168).
 
 
 ## Suffix Array
@@ -29,6 +30,11 @@ Don't know how to use.
 
 Copied from 8bq
 
+## KMP
+### Description
+Knuth-Morris-Pratt algo
+### Test Status
+https://tioj.ck.tp.edu.tw/submissions/368896
 
 ## Z value
 ### Description

pdf/content.yaml

@@ -331,7 +331,7 @@
   content:
     - name: Hash
       path: Hash.cpp
-      verified: ed35bd3
+      verified: 5bc50bf
     - name: Suffix Array
       path: SAIS-C++20.cpp
       verified: be320a4
@@ -340,7 +340,7 @@
       verified:
     - name: KMP
       path: KMP.cpp
-      verified:
+      verified: 6ae6737
     - name: Z value
       path: ZValue.cpp
       verified: af6f1af
@@ -375,7 +375,7 @@
       verified: skip
     - name: Bitset LCS
       path: BitsetLCS.cpp
-      verified: a1d4cba
+      verified: be320a4
     - name: Prefix Substring LCS
       path: PrefixSubstringLCS.cpp
       verified: skip
@@ -411,4 +411,4 @@
       verified:
     - name: Montgomery
       path: Montgomery.cpp
-      verified: aca97437
+      verified: 012165f