Add corpus

2025-05-18 14:40:50 -04:00
parent 32b43e71da
commit 0a81c27155
190 changed files with 5960 additions and 0 deletions
--- a/corpus/0a3d7377d82d7b2ed513f3f2239f50c3a5e1ca17
+++ b/corpus/0a3d7377d82d7b2ed513f3f2239f50c3a5e1ca17
@@ -0,0 +1 @@
+			 { "$i":     9,				 "max":     8,					 "x":							2.0e+28,					 "m=n": -3.8,  "max":     8,					 "man": -0e+20,		  "max":     8, "man": -3.8,  "max":							8,	 "max":     8,					 "man":    max
				`@@ -0,0 +1 @@`
				`{ "$i": 9, "max": 8, "x": 2.0e+28, "m=n": -3.8, "max": 8, "man": -0e+20, "max": 8, "man": -3.8, "max": 8, "max": 8, "man": max`