Update corpus

This commit is contained in:
2025-08-04 14:42:50 -04:00
parent bcb5a20f27
commit 0b24636c4f
84 changed files with 384 additions and 0 deletions

View File

@@ -0,0 +1 @@
[false, [false, false, false, [ { "min": -2.0e+28, "man": -3.8, "max": 8, "man": -3.8, "max": 2.0e+28, "man": -3, "max": 8, "man": -3.8, "max": { "min": -2.0e+28, "man": -3.8, "max": 8, "man": -2.0e+28, "man": -3.8, "max": 8, "man": [ [ { "min": -2.0e+28, "man": -3.8, "max": 8, "man": -3.8, "max": 1.0e+28, "man": -3, "max": 8, "man": -3.8, "max": { "min": -2.0e+28, "man": -3.8, "max": 8, "man": -3.8, "max": 1.0e+28, "man": -3, "max": 8, "man": -3.8, "max": { "min": -2.0e+28, "man": -3.8, "max": 8, "man": -3.8, "max": 1.0e+28, "man": { "min": -2.0e+28, "man": -3.8, "max": 8, "man": [ { "min": -2.0e+28, "man": -3.8, "mmax": { "min": -2.0e+28, "man": -3.8, "max": { "min": -3.8, "max": 1.0e+28, "man": { "min": -2.0e+28, "man": -3.8, "max": 8, "man": -2.8, "maAx": 1.0e+28, "man": -6, "max": [ [ [ { "min": -2.0e+28, "man": -3, "max": 8, "man": -3.8, "max": { "min": -2.0e+28, "man": -3.8, "max": -3.8, "max": 8, "man": -3.8, "max": 1.0e+28, "man": -3, "max": 8, "man": -3.8, "max":[ { "min": -2.0e+28, "man": -3.8, "max": 8, "man": -3.8, "max": 1.0e+28, "man": -3, "max": 8, "man": -3.8, "max": { "min": -2.0e+28, "man": -3.8, "max": 8, "man": -3.8, "max": 1.0e+28, "man": -3, "max": 8, "man": -3.8, "max": { "min": -2.0e+28, "man": -3.8, "max": 8, "man": -3.8, "max": 1.0e+28, "man": -3, "max": 8, "man": -3.8, "max": { "min": -2.0e+28, "man": -3.8, "max": 8, "man": -3.8, "max": 1.0e+28, "man": -3, "max": [ [ [ { "min": -2.0e+28, "man": -3.8, "max": 8, "man": -3.8, "max": 1.0e+28, "man": -3, "max": 8, "man": -3.8, "max": { "min": -2.0e+28, "man": -3.8, "max": 8, "man": -3.8, "max": 1.0e+28, "man": -3, "max": 8, "man": -3.8, "max": { "min": -2.0e+28, "man": -3.8, "max": 8, "man": -3.8, "max": 1.0e+28, "man": { "min": -2e+28, "man": -3.8, "max": 8, "man": -3.8, "max": 1.0e+28, "man": -3, "max": [ [ [ { "min": -2.0e+28, "man": -3.8, "max": { "min": -2.0e+28, "man": -3.8, "max": 8, "man": -3.8, "max": 1.0e+28, "man": -3, "max": 8, "man": -3.8, "max": { "min": -2.0e+28, "man+": -3.8, "max": 8, "man": -3.8, "max": 1.0e+28, false, [false, fa { "min": -2.0e+28, "man": -3.8, "-ax": 8, "man": -3.8, "max": 1.0e+28, "man": { "min": -2.0e+28,": -3.8, "