Laboratory of Babel / Archive / grad-noise-175k

grad-noise-175k

Gradient noise, 175k (run of 2026-09-23) · A complete batch run over 175,797 lattice-noise expressions, with 32 texture diagnostics and a frame of each.

About this collection

This collection is complete and closed. Every expression in the space below was rendered and measured once, in a single batch run. Each row is one expression, and its coordinate links to it running live on uto.run.

The purpose is exploratory. There is no target texture and no attempt to resemble Perlin noise. A constant field, a strongly directional pattern or an odd value distribution is an observation, not a failure. The measurements describe textures so they can be sorted, filtered and compared. They are a lossy fingerprint, not a judgement of quality and not a substitute for looking.

The space

An ither formula with two layers:

  • topo: expression trees of up to 64 nodes, built from unary (o1), binary (o2) and leaf (x) slots
  • expr: fills those slots
    • leaves: P, D, R
    • unary: sqt log frc flr cil sgn nrm
    • binary: add sub mlt div pow mod lrg eql min dot dst

A coordinate t·x·u·b follows the formula's projection: t the topology, x the leaf choices, u the unary choices, b the binary choices. Points outside the space were omitted from the run. Two orderings ride along: ordinal is the point's position in ither's whole enumeration (gaps where points were omitted), and batch index is its place in the batch run's sequence, 0 to 175,796 (the run's inputs.expr, and the number in its frame's file name).

The apparatus

Each expression is evaluated at the corners of a rectangular lattice with quintic blending (LATT.RECT.QUINTIC), over coordinates mlt(C, 8), in a 256 × 256 field #A. One configuration per expression: the dimension and coordinate scale were fixed for the whole run.

Measurements are taken from #A's x channel, its stored values (not a screenshot), at step 7, after which the run moves to the next expression. The frame in each row is that field, remapped for display.

The measurements

Notation: f is the field value, E averages the whole field, and E_I averages the interior (C-space [-0.98, 0.98]², which keeps wrapped edges out of the spatial measures).

Value distribution

key meaning
value_mean, value_abs_mean E[f] and E[|f|]: signed offset, typical distance from zero
value_positive_fraction share of values above 0 (field tolerance 0.0001)
value_variance, value_stddev population variance and SD: contrast
value_min, value_max, value_range sampled extrema and their difference
histogram_entropy_bits entropy of a 32-bin histogram over [−1, 1], 0 (one bin) to 5 (uniform) bits
histogram_probability_sum consistency check, ≈ 1

Local roughness (one-pixel differences dx, dy, and g = √(dx² + dy²))

key meaning
gradient_energy_x, gradient_energy_y E_I[dx²], E_I[dy²]
gradient_magnitude_mean E_I[g]: roughness
gradient_magnitude_variance, _stddev, _max how unevenly that roughness is spread, and its peak
gradient_magnitude_cv SD / mean of g: uneven activity (quiet areas interrupted by edges), independent of amplitude
gradient_axis_bias (Ex − Ey) / (Ex + Ey), −1 to 1: horizontal vs vertical preference. Zero does not mean isotropic (diagonals balance too)
gradient_nonzero_flag 1 if there is any gradient energy at all

Change of slope (four-neighbour Laplacian L)

key meaning
laplacian_mean, laplacian_energy, laplacian_abs_mean E_I[L], E_I[L²], E_I[|L|]. Sharp or high-frequency structure responds; a linear ramp does not

Normalised by contrast (comparable across amplitudes)

key meaning
gradient_energy_over_variance (Ex + Ey) / variance
laplacian_energy_over_variance E_I[L²] / variance
variance_normalization_valid_flag, gradient_cv_valid_flag whether the denominators above are meaningful (> 10⁻¹²). Filter on these before trusting a ratio

Three spatial scales (mean squared difference at a distance, over the central [-0.74, 0.74]²: 2, 8 and 32 pixels at this resolution)

key meaning
scale_diff2_near, _mid, _far raw difference energy at each distance
scale_diff2_near_over_variance, _mid_…, _far_… the same, normalised. Low near and rising far suggests smooth structure; a dip at a longer distance can hint at repetition

Each record's json also holds value_histogram (the 32 bin probabilities) and scale_curve (the three scales with their distances).

Reading them, and their limits

  • Clipping. #A kept its default signed domain, so values outside [−1, 1] were clipped before measuring. The diagnostics describe the clipped texture.
  • Combinations say more than any one key. A large range with modest SD and a high gradient peak suggests a few strong excursions. A broad histogram with low normalised detail suggests smooth variation. Similar roughness with a different CV means the activity is concentrated differently.
  • Entropy is about values, not space. A smooth ramp can have high entropy, and shuffling the pixels would not change it.
  • Raw spatial measures depend on resolution and amplitude. Prefer the normalised keys for detail independent of contrast, after checking the validity flags.
  • Not measured: full orientation, spectra or periodicity, lacunarity, tileability, colour, novelty, aesthetic merit.
  • Validation. The suite compiled and ran on every expression. Systematic numerical controls (constants, ramps, stripes, checkerboards, random pixels) and a comparison against longer settling times were not done before this run. Treat the values as exploratory.

Provenance

  • Apparatus: noiseBatch/one.uto, project SHA-256 b6fc8f27…be04d0
  • Expression corpus: SHA-256 7d3ec029…d72266
  • Run files (canonical), in ~/lab/data/grad-noise-175k/: the enumeration (grad-noise-175k.jsonl), the measurements (grad-noise-175k-output.jsonl, joined on inputs.expr), the formula (grad-noise-175k.manifest.json) and the frames (png/)
175,797 records
coordinate ▲ t x u b expression batch index ordinal topo measured step globalStep value_mean value_positive_fraction value_abs_mean value_variance value_stddev value_min value_max value_range histogram_probability_sum histogram_entropy_bits gradient_energy_x gradient_energy_y gradient_magnitude_mean gradient_axis_bias gradient_nonzero_flag laplacian_mean laplacian_energy laplacian_abs_mean gradient_magnitude_variance gradient_magnitude_stddev gradient_magnitude_cv gradient_magnitude_max gradient_energy_over_variance laplacian_energy_over_variance variance_normalization_valid_flag gradient_cv_valid_flag scale_diff2_near scale_diff2_mid scale_diff2_far scale_diff2_near_over_variance scale_diff2_mid_over_variance scale_diff2_far_over_variance
t19_x24_u4_b41 19 24 4 41 div(R,min(cil(R),P)) 157500 155261888 o2(x,o2(o1(x),x)) true 140007 140007 -0.5051 0.2355 0.6155 0.3193 0.5651 -1 1 2 1 2.671 0.01744 0.01378 0.02555 0.1175 1 0.000001854 0.06494 0.03616 0.03056 0.1748 6.843 2.828 0.09777 0.2034 1 1 0.02885 0.1276 0.3344 0.09033 0.3995 1.047 json
t19_x24_u4_b42 19 24 4 42 div(R,dot(cil(R),P)) 157501 155261889 o2(x,o2(o1(x),x)) true 140015 140015 -0.6963 0.1427 0.8286 0.3172 0.5632 -1 1 2 1 1.83 0.03272 0.03344 0.04978 -0.01096 1 -1.705e-7 0.1383 0.09156 0.06367 0.2523 5.069 2.828 0.2086 0.4359 1 1 0.07493 0.3175 0.6699 0.2362 1.001 2.112 json
t19_x24_u4_b43 19 24 4 43 div(R,dst(cil(R),P)) 157502 155261890 o2(x,o2(o1(x),x)) true 140023 140023 -0.006667 0.4889 0.09187 0.02736 0.1654 -1 0.9432 1.943 1 2.793 0.001947 0.001563 0.01494 0.1096 1 0.000001819 0.006591 0.007705 0.003287 0.05733 3.836 2.748 0.1283 0.2409 1 1 0.006591 0.03399 0.09608 0.2409 1.242 3.512 json
t19_x24_u4_b44 19 24 4 44 pow(R,add(cil(R),P)) 157503 155261891 o2(x,o2(o1(x),x)) true 140031 140031 -0.8627 0.07422 0.9889 0.2399 0.4898 -1 1 2 1 0.5453 0.02168 0.02057 0.02356 0.02633 1 0.000001659 0.08803 0.04534 0.04169 0.2042 8.666 2.828 0.1761 0.367 1 1 0.04113 0.1737 0.5784 0.1714 0.724 2.411 json
t19_x24_u4_b45 19 24 4 45 pow(R,sub(cil(R),P)) 157504 155261892 o2(x,o2(o1(x),x)) true 140039 140039 -0.8852 0.07385 0.9664 0.1752 0.4186 -1 1 2 1 0.6344 0.01517 0.01491 0.02026 0.008769 1 0.000003712 0.06266 0.03756 0.02965 0.1722 8.5 2.828 0.1716 0.3576 1 1 0.0281 0.1213 0.4227 0.1603 0.6923 2.412 json
t19_x24_u4_b46 19 24 4 46 pow(R,mlt(cil(R),P)) 157505 155261893 o2(x,o2(o1(x),x)) true 140047 140047 0.8465 0.9999 0.8465 0.07215 0.2686 0.000001565 1 1 1 2.185 0.0006712 0.0008595 0.02149 -0.123 1 0.00002855 0.00009359 0.005165 0.001069 0.03269 1.521 0.1169 0.02121 0.001297 1 1 0.002682 0.03481 0.08079 0.03717 0.4824 1.12 json
t19_x24_u4_b47 19 24 4 47 pow(R,div(cil(R),P)) 157506 155261894 o2(x,o2(o1(x),x)) true 140055 140055 0.7582 0.9061 0.9457 0.3386 0.5819 -1 1 2 1 1.74 0.02165 0.007231 0.02366 0.4992 1 0.00001319 0.05842 0.03331 0.02833 0.1683 7.112 2.828 0.08529 0.1725 1 1 0.03962 0.167 0.6156 0.117 0.4932 1.818 json
t19_x24_u4_b48 19 24 4 48 pow(R,pow(cil(R),P)) 157507 155261895 o2(x,o2(o1(x),x)) true 140063 140063 -0.1346 0.4883 0.8889 0.8113 0.9007 -1 1 2 1 2.578 0.02078 0.01257 0.0348 0.2462 1 0.00003278 0.06775 0.04278 0.03214 0.1793 5.151 2.828 0.04111 0.08351 1 1 0.03903 0.1717 0.5327 0.04811 0.2117 0.6566 json
t19_x24_u4_b49 19 24 4 49 pow(R,mod(cil(R),P)) 157508 155261896 o2(x,o2(o1(x),x)) true 140071 140071 0.572 0.875 0.822 0.4015 0.6336 -1 1 2 1 3.172 0.03241 0.0007307 0.04102 0.9559 1 0.00002192 0.0636 0.03769 0.03146 0.1774 4.324 2 0.08255 0.1584 1 1 0.04411 0.1914 0.673 0.1099 0.4767 1.676 json
t19_x24_u4_b50 19 24 4 50 pow(R,lrg(cil(R),P)) 157509 155261897 o2(x,o2(o1(x),x)) true 140079 140079 0.07442 0.5508 0.9729 0.9538 0.9766 -1 1 2 1 1.543 0.0175 0.01051 0.01967 0.2496 1 0.000007902 0.05784 0.03449 0.02761 0.1662 8.446 2.828 0.02937 0.06064 1 1 0.03083 0.1327 0.5055 0.03232 0.1392 0.53 json
t19_x24_u4_b51 19 24 4 51 pow(R,eql(cil(R),P)) 157510 155261898 o2(x,o2(o1(x),x)) true 140087 140087 0.8036 0.9063 0.9911 0.3397 0.5829 -1 1 2 1 0.7589 0.02142 0.01157 0.01874 0.2988 1 0.00000124 0.06718 0.03453 0.03265 0.1807 9.644 2.828 0.0971 0.1977 1 1 0.04547 0.1858 0.6836 0.1338 0.5468 2.012 json
t19_x24_u4_b52 19 24 4 52 pow(R,min(cil(R),P)) 157511 155261899 o2(x,o2(o1(x),x)) true 140095 140095 0.004647 0.5508 0.9031 0.849 0.9214 -1 1 2 1 2.558 0.02606 0.01711 0.03622 0.2075 1 0.00002818 0.08799 0.04594 0.04185 0.2046 5.649 2.828 0.05084 0.1036 1 1 0.047 0.2041 0.6489 0.05536 0.2404 0.7644 json
t19_x24_u4_b53 19 24 4 53 pow(R,dot(cil(R),P)) 157512 155261900 o2(x,o2(o1(x),x)) true 140103 140103 -0.383 0.3438 0.9295 0.7612 0.8725 -1 1 2 1 1.747 0.04912 0.06442 0.06846 -0.1347 1 0.000008356 0.2343 0.1239 0.1089 0.33 4.82 2.828 0.1491 0.3077 1 1 0.09679 0.4099 1.22 0.1272 0.5385 1.603 json
t19_x24_u4_b54 19 24 4 54 pow(R,dst(cil(R),P)) 157513 155261901 o2(x,o2(o1(x),x)) true 140111 140111 -0.9498 0.04247 0.9642 0.05725 0.2393 -1 0.7375 1.738 1 0.3775 0.005944 0.005657 0.01055 0.0247 1 0.00000486 0.02418 0.01955 0.0115 0.1072 10.16 2.015 0.2026 0.4224 1 1 0.009419 0.04133 0.1016 0.1645 0.7218 1.775 json
t19_x24_u4_b55 19 24 4 55 mod(R,add(cil(R),P)) 157514 155261902 o2(x,o2(o1(x),x)) true 140119 140119 -0.1546 0.4164 0.4886 0.3193 0.5651 -1 0.9806 1.981 1 4.68 0.01434 0.005692 0.06291 0.4316 1 0.00005572 0.03165 0.03448 0.01607 0.1268 2.015 2.541 0.06273 0.09912 1 1 0.02985 0.1945 0.5309 0.09349 0.6091 1.662 json
t19_x24_u4_b56 19 24 4 56 mod(R,sub(cil(R),P)) 157515 155261903 o2(x,o2(o1(x),x)) true 140127 140127 -0.1632 0.4117 0.4949 0.3241 0.5693 -1 0.9806 1.981 1 4.661 0.01306 0.00559 0.06146 0.4006 1 0.00005812 0.02899 0.03304 0.01488 0.122 1.984 2.587 0.05756 0.08945 1 1 0.02703 0.1834 0.5392 0.0834 0.566 1.664 json
t19_x24_u4_b57 19 24 4 57 mod(R,mlt(cil(R),P)) 157516 155261904 o2(x,o2(o1(x),x)) true 140135 140135 -0.9454 0.03516 0.9843 0.0832 0.2884 -1 0.9428 1.943 1 0.3499 0.008732 0.007683 0.01142 0.06389 1 0.000008536 0.03424 0.02109 0.01628 0.1276 11.18 2.098 0.1973 0.4115 1 1 0.01517 0.06259 0.1544 0.1823 0.7522 1.856 json
t19_x24_u4_b58 19 24 4 58 mod(R,div(cil(R),P)) 157517 155261905 o2(x,o2(o1(x),x)) true 140143 140143 -0.9587 0.03516 0.971 0.04825 0.2197 -1 0.8978 1.898 1 0.313 0.005564 0.004 0.008262 0.1635 1 -4.011e-7 0.01995 0.016 0.009492 0.09742 11.79 2.098 0.1982 0.4135 1 1 0.009882 0.04091 0.1065 0.2048 0.8479 2.207 json
t19_x24_u4_b59 19 24 4 59 mod(R,pow(cil(R),P)) 157518 155261906 o2(x,o2(o1(x),x)) true 140151 140151 -0.8998 0.0598 0.9629 0.1386 0.3723 -1 0.943 1.943 1 0.7127 0.01346 0.01324 0.02079 0.008276 1 0.000008536 0.05521 0.03521 0.02628 0.1621 7.798 2.698 0.1926 0.3983 1 1 0.02457 0.1069 0.2955 0.1773 0.7712 2.132 json
t19_x24_u4_b60 19 24 4 60 mod(R,mod(cil(R),P)) 157519 155261907 o2(x,o2(o1(x),x)) true 140159 140159 -0.9582 0.02734 0.9871 0.06345 0.2519 -1 0.9428 1.943 1 0.2835 0.006007 0.006342 0.008723 -0.02707 1 0.000008536 0.02579 0.0161 0.01226 0.1107 12.69 2.063 0.1946 0.4064 1 1 0.007999 0.03372 0.07823 0.1261 0.5315 1.233 json
t19_x24_u4_b61 19 24 4 61 mod(R,lrg(cil(R),P)) 157520 155261908 o2(x,o2(o1(x),x)) true 140167 140167 -0.5245 0.2468 0.7292 0.3754 0.6127 -1 0.9693 1.969 1 3.17 0.007962 0.004214 0.03444 0.3078 1 0.00003761 0.01996 0.01989 0.01099 0.1048 3.044 2.587 0.03244 0.05318 1 1 0.01797 0.1136 0.3039 0.04786 0.3027 0.8096 json
t19_x24_u4_b62 19 24 4 62 mod(R,eql(cil(R),P)) 157521 155261909 o2(x,o2(o1(x),x)) true 140175 140175 -0.9837 0.008041 0.9912 0.02062 0.1436 -1 0.943 1.943 1 0.1902 0.003207 0.001269 0.00435 0.4329 1 -7.509e-12 0.009066 0.006447 0.004458 0.06677 15.35 2.698 0.2171 0.4397 1 1 0.005227 0.02198 0.04717 0.2536 1.066 2.288 json
t19_x24_u4_b63 19 24 4 63 mod(R,min(cil(R),P)) 157522 155261910 o2(x,o2(o1(x),x)) true 140183 140183 -0.5402 0.2368 0.7361 0.3675 0.6062 -1 0.9693 1.969 1 3.111 0.007849 0.002592 0.03266 0.5035 1 0.00004031 0.01602 0.01739 0.009372 0.09681 2.964 1.91 0.02841 0.0436 1 1 0.01261 0.09145 0.2571 0.0343 0.2488 0.6997 json
t19_x24_u4_b64 19 24 4 64 mod(R,dot(cil(R),P)) 157523 155261911 o2(x,o2(o1(x),x)) true 140191 140191 -0.7689 0.1266 0.8835 0.2538 0.5037 -1 0.9556 1.956 1 1.757 0.02096 0.02159 0.04268 -0.01495 1 -0.000002591 0.08649 0.06275 0.0407 0.2017 4.727 2.766 0.1677 0.3408 1 1 0.04861 0.2137 0.5748 0.1916 0.8423 2.265 json
t19_x24_u4_b65 19 24 4 65 mod(R,dst(cil(R),P)) 157524 155261912 o2(x,o2(o1(x),x)) true 140199 140199 -0.008021 0.4892 0.4045 0.2323 0.482 -1 0.9806 1.981 1 4.884 0.004853 0.004731 0.06436 0.01272 1 0.00002651 0.008082 0.01935 0.005441 0.07376 1.146 2.748 0.04125 0.03479 1 1 0.01789 0.1691 0.4526 0.077 0.7279 1.948 json
t19_x24_u4_b66 19 24 4 66 lrg(R,add(cil(R),P)) 157525 155261913 o2(x,o2(o1(x),x)) true 140207 140207 0.4688 0.5 0.4688 0.2423 0.4922 0 1 1 1 1.326 0.0003529 0 0.003968 1 1 -4.731e-10 0.00001619 0.0009276 0.0003372 0.01836 4.628 0.1169 0.001457 0.00006684 1 1 0.0009255 0.01214 0.0751 0.00382 0.05012 0.31 json
t19_x24_u4_b67 19 24 4 67 lrg(R,sub(cil(R),P)) 157526 155261914 o2(x,o2(o1(x),x)) true 140215 140215 0.4688 0.5 0.4688 0.2423 0.4922 0 1 1 1 1.326 0.0003529 0 0.003968 1 1 -4.731e-10 0.00001619 0.0009276 0.0003372 0.01836 4.628 0.1169 0.001457 0.00006684 1 1 0.0009255 0.01214 0.0751 0.00382 0.05012 0.31 json
t19_x24_u4_b68 19 24 4 68 lrg(R,mlt(cil(R),P)) 157527 155261915 o2(x,o2(o1(x),x)) true 140223 140223 0.2676 0.4921 0.2676 0.1474 0.3839 0 1 1 1 2.341 0.001052 0.001231 0.02666 -0.0785 1 0.000006427 0.0001288 0.006434 0.001572 0.03965 1.487 0.1169 0.01549 0.000874 1 1 0.004654 0.05961 0.1835 0.03158 0.4044 1.245 json
t19_x24_u4_b69 19 24 4 69 lrg(R,div(cil(R),P)) 157528 155261916 o2(x,o2(o1(x),x)) true 140231 140231 0.4014 0.7887 0.4014 0.1603 0.4004 0 1 1 1 3.145 0.001772 0.001917 0.04329 -0.03944 1 0.00002924 0.0002115 0.01047 0.001816 0.04261 0.9844 0.1169 0.02301 0.001319 1 1 0.007287 0.09403 0.3072 0.04546 0.5866 1.916 json
t19_x24_u4_b70 19 24 4 70 lrg(R,pow(cil(R),P)) 157529 155261917 o2(x,o2(o1(x),x)) true 140239 140239 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 json
t19_x24_u4_b71 19 24 4 71 lrg(R,mod(cil(R),P)) 157530 155261918 o2(x,o2(o1(x),x)) true 140247 140247 0.1367 0.2305 0.1367 0.09852 0.3139 0 1 1 1 1.298 0.0006186 0.0003158 0.01097 0.3241 1 -0.00002282 0.00005138 0.00263 0.0008147 0.02854 2.603 0.1169 0.009485 0.0005216 1 1 0.002425 0.03159 0.1428 0.02462 0.3206 1.45 json
t19_x24_u4_b72 19 24 4 72 lrg(R,lrg(cil(R),P)) 157531 155261919 o2(x,o2(o1(x),x)) true 140255 140255 0.2148 0.455 0.2148 0.1181 0.3436 0 1 1 1 2.248 0.001095 0.001206 0.02703 -0.04847 1 -0.00002424 0.0001387 0.006603 0.001571 0.03963 1.466 0.1169 0.01949 0.001175 1 1 0.004457 0.05786 0.1462 0.03774 0.49 1.238 json
t19_x24_u4_b73 19 24 4 73 lrg(R,eql(cil(R),P)) 157532 155261920 o2(x,o2(o1(x),x)) true 140263 140263 0.4434 0.8735 0.4434 0.1559 0.3948 0 1 1 1 3.345 0.001926 0.002262 0.04911 -0.08017 1 -0.000006403 0.0002445 0.01192 0.001777 0.04215 0.8584 0.1169 0.02686 0.001568 1 1 0.008031 0.1035 0.2962 0.05151 0.664 1.9 json
t19_x24_u4_b74 19 24 4 74 lrg(R,min(cil(R),P)) 157533 155261921 o2(x,o2(o1(x),x)) true 140271 140271 0.4961 0.5378 0.4961 0.2412 0.4911 0 1 1 1 1.415 0.0003238 0.0001053 0.004981 0.5091 1 -0.000005705 0.00002256 0.001187 0.0004044 0.02011 4.037 0.1169 0.001779 0.00009352 1 1 0.001146 0.01504 0.08976 0.004753 0.06234 0.3721 json
t19_x24_u4_b75 19 24 4 75 lrg(R,dot(cil(R),P)) 157534 155261922 o2(x,o2(o1(x),x)) true 140279 140279 0.3887 0.6818 0.3887 0.1717 0.4144 0 1 1 1 2.877 0.00149 0.001589 0.03599 -0.03241 1 0.00004207 0.0001756 0.008685 0.001784 0.04224 1.174 0.1169 0.01793 0.001023 1 1 0.005757 0.07412 0.2006 0.03353 0.4317 1.169 json
t19_x24_u4_b76 19 24 4 76 lrg(R,dst(cil(R),P)) 157535 155261923 o2(x,o2(o1(x),x)) true 140287 140287 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 json
t19_x24_u4_b77 19 24 4 77 eql(R,add(cil(R),P)) 157536 155261924 o2(x,o2(o1(x),x)) true 140295 140295 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 json
t19_x24_u4_b78 19 24 4 78 eql(R,sub(cil(R),P)) 157537 155261925 o2(x,o2(o1(x),x)) true 140303 140303 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 json
t19_x24_u4_b79 19 24 4 79 eql(R,mlt(cil(R),P)) 157538 155261926 o2(x,o2(o1(x),x)) true 140311 140311 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 json
t19_x24_u4_b80 19 24 4 80 eql(R,div(cil(R),P)) 157539 155261927 o2(x,o2(o1(x),x)) true 140319 140319 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 json
t19_x24_u4_b81 19 24 4 81 eql(R,pow(cil(R),P)) 157540 155261928 o2(x,o2(o1(x),x)) true 140327 140327 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 json
t19_x24_u4_b82 19 24 4 82 eql(R,mod(cil(R),P)) 157541 155261929 o2(x,o2(o1(x),x)) true 140335 140335 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 json
t19_x24_u4_b83 19 24 4 83 eql(R,lrg(cil(R),P)) 157542 155261930 o2(x,o2(o1(x),x)) true 140343 140343 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 json
t19_x24_u4_b84 19 24 4 84 eql(R,eql(cil(R),P)) 157543 155261931 o2(x,o2(o1(x),x)) true 140351 140351 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 json
t19_x24_u4_b85 19 24 4 85 eql(R,min(cil(R),P)) 157544 155261932 o2(x,o2(o1(x),x)) true 140359 140359 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 json
t19_x24_u4_b86 19 24 4 86 eql(R,dot(cil(R),P)) 157545 155261933 o2(x,o2(o1(x),x)) true 140367 140367 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 json
t19_x24_u4_b87 19 24 4 87 eql(R,dst(cil(R),P)) 157546 155261934 o2(x,o2(o1(x),x)) true 140375 140375 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 json
t19_x24_u4_b88 19 24 4 88 min(R,add(cil(R),P)) 157547 155261935 o2(x,o2(o1(x),x)) true 140383 140383 -0.4484 0.2512 0.6439 0.3424 0.5851 -1 0.9806 1.981 1 3.779 0.001986 0.001713 0.0388 0.07381 1 -0.00001141 0.0002741 0.009308 0.002194 0.04684 1.207 0.2265 0.01081 0.0008006 1 1 0.007773 0.09961 0.3115 0.0227 0.2909 0.9099 json
t19_x24_u4_b89 19 24 4 89 min(R,sub(cil(R),P)) 157548 155261936 o2(x,o2(o1(x),x)) true 140391 140391 -0.4218 0.2803 0.6488 0.3695 0.6078 -1 0.9693 1.969 1 3.808 0.001852 0.001942 0.03836 -0.0237 1 0.00001531 0.0002827 0.009174 0.002322 0.04819 1.256 0.2301 0.01027 0.0007651 1 1 0.008092 0.1011 0.2911 0.0219 0.2737 0.7878 json
t19_x24_u4_b90 19 24 4 90 min(R,mlt(cil(R),P)) 157549 155261937 o2(x,o2(o1(x),x)) true 140399 140399 -0.4255 0.2244 0.5998 0.2982 0.5461 -1 0.9806 1.981 1 4.173 0.002335 0.002621 0.04623 -0.05763 1 0.00007774 0.001284 0.01591 0.002819 0.05309 1.149 0.4419 0.01662 0.004307 1 1 0.008868 0.1 0.2892 0.02974 0.3354 0.9698 json
t19_x24_u4_b91 19 24 4 91 min(R,div(cil(R),P)) 157550 155261938 o2(x,o2(o1(x),x)) true 140407 140407 -0.2591 0.2102 0.3626 0.127 0.3564 -1 0.9432 1.943 1 4.441 0.001437 0.001345 0.03944 0.0333 1 0.000007501 0.0001623 0.009152 0.001227 0.03502 0.8879 0.1967 0.0219 0.001277 1 1 0.005937 0.07681 0.2295 0.04673 0.6046 1.806 json
t19_x24_u4_b92 19 24 4 92 min(R,pow(cil(R),P)) 157551 155261939 o2(x,o2(o1(x),x)) true 140415 140415 0.008979 0.4983 0.3946 0.2196 0.4686 -0.9989 0.9806 1.979 1 4.862 0.002813 0.00317 0.0632 -0.05957 1 0.00002651 0.0003508 0.01449 0.001989 0.0446 0.7057 0.2301 0.02725 0.001598 1 1 0.01182 0.1519 0.3914 0.05384 0.6917 1.782 json
t19_x24_u4_b93 19 24 4 93 min(R,mod(cil(R),P)) 157552 155261940 o2(x,o2(o1(x),x)) true 140423 140423 -0.03695 0.4432 0.3697 0.2007 0.448 -0.9989 0.9806 1.979 1 4.818 0.002375 0.002826 0.0585 -0.08685 1 0.00004437 0.0003046 0.01337 0.001778 0.04217 0.7208 0.2301 0.02592 0.001518 1 1 0.01027 0.132 0.3516 0.0512 0.6577 1.752 json
t19_x24_u4_b94 19 24 4 94 min(R,lrg(cil(R),P)) 157553 155261941 o2(x,o2(o1(x),x)) true 140431 140431 -0.1089 0.2835 0.3376 0.17 0.4124 -0.9989 0.9693 1.968 1 4.59 0.001757 0.002222 0.04859 -0.1169 1 0.00002257 0.0002301 0.01115 0.001618 0.04023 0.8278 0.2301 0.0234 0.001353 1 1 0.007881 0.1008 0.2669 0.04635 0.5926 1.57 json
t19_x24_u4_b95 19 24 4 95 min(R,eql(cil(R),P)) 157554 155261942 o2(x,o2(o1(x),x)) true 140439 140439 -0.2289 0.04947 0.2661 0.08557 0.2925 -0.9989 0.9431 1.942 1 3.834 0.001136 0.001108 0.03536 0.01245 1 0.000004386 0.0001293 0.008218 0.0009932 0.03151 0.8913 0.1967 0.02622 0.001511 1 1 0.00432 0.0555 0.1346 0.05048 0.6485 1.572 json
t19_x24_u4_b96 19 24 4 96 min(R,min(cil(R),P)) 157555 155261943 o2(x,o2(o1(x),x)) true 140447 140447 -0.4947 0.2244 0.669 0.3314 0.5756 -1 0.9806 1.981 1 3.609 0.001675 0.001465 0.03457 0.06692 1 -5.686e-7 0.0001859 0.007986 0.001945 0.0441 1.276 0.219 0.009476 0.0005609 1 1 0.006236 0.08108 0.2653 0.01882 0.2447 0.8006 json
t19_x24_u4_b97 19 24 4 97 min(R,dot(cil(R),P)) 157556 155261944 o2(x,o2(o1(x),x)) true 140455 140455 -0.5077 0.2122 0.6759 0.3216 0.5671 -1 0.9682 1.968 1 3.644 0.003611 0.004274 0.04919 -0.08404 1 0.000141 0.002905 0.02108 0.005466 0.07393 1.503 0.6563 0.02452 0.009032 1 1 0.01394 0.1435 0.4036 0.04335 0.4462 1.255 json
t19_x24_u4_b98 19 24 4 98 min(R,dst(cil(R),P)) 157557 155261945 o2(x,o2(o1(x),x)) true 140463 140463 0.008979 0.4983 0.3946 0.2196 0.4686 -0.9989 0.9806 1.979 1 4.862 0.002813 0.00317 0.0632 -0.05957 1 0.00002651 0.0003508 0.01449 0.001989 0.0446 0.7057 0.2301 0.02725 0.001598 1 1 0.01182 0.1519 0.3914 0.05384 0.6917 1.782 json
t19_x24_u4_b99 19 24 4 99 dot(R,add(cil(R),P)) 157558 155261946 o2(x,o2(o1(x),x)) true 140471 140471 0.1077 0.5569 0.8702 0.8138 0.9021 -1 1 2 1 2.78 0.02381 0.03219 0.09763 -0.1496 1 0.00001199 0.04491 0.07241 0.04646 0.2155 2.208 1.968 0.06881 0.05519 1 1 0.06998 0.5333 1.342 0.086 0.6553 1.649 json
t19_x24_u4_b100 19 24 4 100 dot(R,sub(cil(R),P)) 157559 155261947 o2(x,o2(o1(x),x)) true 140479 140479 0.3042 0.6602 0.8609 0.7245 0.8511 -1 1 2 1 2.722 0.02397 0.03174 0.09813 -0.1395 1 -0.0001022 0.04373 0.07179 0.04606 0.2146 2.187 1.977 0.07689 0.06036 1 1 0.06994 0.5368 1.285 0.09654 0.741 1.773 json
t19_x24_u4_b101 19 24 4 101 dot(R,mlt(cil(R),P)) 157560 155261948 o2(x,o2(o1(x),x)) true 140487 140487 -0.05871 0.4699 0.724 0.6582 0.8113 -1 1 2 1 3.551 0.007278 0.009009 0.06303 -0.1063 1 -0.00001473 0.007425 0.03338 0.01231 0.111 1.76 1.205 0.02475 0.01128 1 1 0.02571 0.2359 0.5999 0.03906 0.3585 0.9115 json
t19_x24_u4_b102 19 24 4 102 dot(R,div(cil(R),P)) 157561 155261949 o2(x,o2(o1(x),x)) true 140495 140495 -1 0 1 0 0 -1 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 json
t19_x24_u4_b103 19 24 4 103 dot(R,pow(cil(R),P)) 157562 155261950 o2(x,o2(o1(x),x)) true 140503 140503 -0.5907 0.2268 0.8684 0.4787 0.6919 -1 1 2 1 2.163 0.01383 0.01225 0.034 0.06043 1 -0.00001987 0.04975 0.0342 0.02491 0.1578 4.642 2.828 0.05449 0.1039 1 1 0.03585 0.1966 0.5503 0.07489 0.4107 1.15 json
t19_x24_u4_b104 19 24 4 104 dot(R,mod(cil(R),P)) 157563 155261951 o2(x,o2(o1(x),x)) true 140511 140511 0.241 0.7639 0.7098 0.5533 0.7438 -1 1 2 1 3.589 0.01611 0.0192 0.05342 -0.08773 1 -0.00002687 0.06578 0.0516 0.03245 0.1801 3.372 2.003 0.06382 0.1189 1 1 0.04367 0.2147 0.8659 0.07893 0.388 1.565 json
t19_x24_u4_b105 19 24 4 105 dot(R,lrg(cil(R),P)) 157564 155261952 o2(x,o2(o1(x),x)) true 140519 140519 0.2856 0.7701 0.4466 0.2207 0.4698 -1 1 2 1 4.605 0.003206 0.003747 0.06117 -0.07795 1 0.00003325 0.0007607 0.01561 0.003211 0.05667 0.9264 0.3887 0.03151 0.003447 1 1 0.01262 0.152 0.3985 0.05718 0.689 1.806 json
t19_x24_u4_b106 19 24 4 106 dot(R,eql(cil(R),P)) 157565 155261953 o2(x,o2(o1(x),x)) true 140527 140527 -0.2488 0.07835 0.3007 0.1027 0.3204 -1 1 2 1 4.087 0.001639 0.001348 0.04021 0.09746 1 -0.00003062 0.0002253 0.009552 0.00137 0.03702 0.9206 0.2766 0.02909 0.002194 1 1 0.007037 0.08879 0.2022 0.06854 0.8649 1.97 json
t19_x24_u4_b107 19 24 4 107 dot(R,min(cil(R),P)) 157566 155261954 o2(x,o2(o1(x),x)) true 140535 140535 0.08641 0.6159 0.6967 0.6069 0.779 -1 1 2 1 3.823 0.01626 0.02012 0.08678 -0.1062 1 -0.00005062 0.02326 0.05001 0.02886 0.1699 1.958 1.834 0.05995 0.03833 1 1 0.04954 0.4053 0.9513 0.08162 0.6679 1.567 json
t19_x24_u4_b108 19 24 4 108 dot(R,dot(cil(R),P)) 157567 155261955 o2(x,o2(o1(x),x)) true 140543 140543 -0.03592 0.4663 0.7094 0.6441 0.8025 -1 1 2 1 3.606 0.01685 0.01565 0.08965 0.03702 1 -0.00003488 0.02019 0.05292 0.02446 0.1564 1.745 1.974 0.05045 0.03134 1 1 0.04967 0.4191 1.023 0.07712 0.6508 1.588 json
t19_x24_u4_b109 19 24 4 109 dot(R,dst(cil(R),P)) 157568 155261956 o2(x,o2(o1(x),x)) true 140551 140551 0.02518 0.516 0.8954 0.8605 0.9276 -1 1 2 1 2.468 0.03931 0.04145 0.1087 -0.02654 1 0.00002237 0.08713 0.1005 0.06889 0.2625 2.414 2.093 0.09385 0.1013 1 1 0.1054 0.6872 1.516 0.1225 0.7986 1.761 json
t19_x24_u4_b110 19 24 4 110 dst(R,add(cil(R),P)) 157569 155261957 o2(x,o2(o1(x),x)) true 140559 140559 0.9998 1 0.9998 0.00001686 0.004106 0.8883 1 0.1117 1 0.01998 6.736e-7 0.000001547 0.00008109 -0.3932 0 -3.754e-12 0.000001558 0.00006823 0.000002211 0.001487 18.34 0.05912 0.1317 0.09238 1 1 0.000006623 0.00004062 0.00006149 0.3928 2.409 3.647 json
t19_x24_u4_b111 19 24 4 111 dst(R,sub(cil(R),P)) 157570 155261958 o2(x,o2(o1(x),x)) true 140567 140567 0.9994 1 0.9994 0.00006712 0.008193 0.8226 1 0.1774 1 0.05074 0.000003298 0.0000026 0.0001796 0.1184 0 -5.632e-11 0.000003202 0.000124 0.000005864 0.002422 13.48 0.05836 0.08787 0.0477 1 1 0.00001842 0.0001395 0.0002449 0.2745 2.079 3.649 json
t19_x24_u4_b112 19 24 4 112 dst(R,mlt(cil(R),P)) 157571 155261959 o2(x,o2(o1(x),x)) true 140575 140575 0.9823 1 0.9823 0.005865 0.07658 0.2579 1 0.7421 1 0.5421 0.00029 0.0004403 0.006005 -0.2058 1 -0.00006804 0.0005679 0.005173 0.0006938 0.02634 4.386 0.3367 0.1245 0.09683 1 1 0.001022 0.007374 0.01411 0.1742 1.257 2.406 json
t19_x24_u4_b113 19 24 4 113 dst(R,div(cil(R),P)) 157572 155261960 o2(x,o2(o1(x),x)) true 140583 140583 -1 0 1 0 0 -1 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 json
t19_x24_u4_b114 19 24 4 114 dst(R,pow(cil(R),P)) 157573 155261961 o2(x,o2(o1(x),x)) true 140591 140591 -0.368 0.3203 0.9913 0.8494 0.9216 -1 1 2 1 1.171 0.03077 0.0289 0.03246 0.03137 1 -0.000006997 0.125 0.0618 0.0586 0.2421 7.457 2.828 0.07026 0.1472 1 1 0.06442 0.2672 0.7763 0.07584 0.3146 0.914 json
t19_x24_u4_b115 19 24 4 115 dst(R,mod(cil(R),P)) 157574 155261962 o2(x,o2(o1(x),x)) true 140599 140599 0.457 0.7656 0.9258 0.6635 0.8145 -1 1 2 1 2.416 0.02548 0.02549 0.03812 -0.00005934 1 -0.00003693 0.1015 0.05674 0.04952 0.2225 5.838 2.828 0.07683 0.153 1 1 0.06373 0.264 1.035 0.09606 0.3979 1.56 json
t19_x24_u4_b116 19 24 4 116 dst(R,lrg(cil(R),P)) 157575 155261963 o2(x,o2(o1(x),x)) true 140607 140607 0.9431 1 0.9431 0.0148 0.1216 0.21 1 0.79 1 1.429 0.0003039 0.0004033 0.01151 -0.1405 1 -0.00004627 0.0002148 0.005169 0.0005744 0.02397 2.082 0.2028 0.04779 0.01452 1 1 0.001285 0.0123 0.02868 0.08684 0.8312 1.939 json
t19_x24_u4_b117 19 24 4 117 dst(R,eql(cil(R),P)) 157576 155261964 o2(x,o2(o1(x),x)) true 140615 140615 0.9651 1 0.9651 0.01145 0.107 0.09977 1 0.9002 1 0.9258 0.0003029 0.0003285 0.008138 -0.04063 1 -0.00003399 0.0002271 0.004397 0.0005651 0.02377 2.921 0.193 0.05517 0.01984 1 1 0.001195 0.01066 0.02255 0.1044 0.9317 1.97 json
t19_x24_u4_b118 19 24 4 118 dst(R,min(cil(R),P)) 157577 155261965 o2(x,o2(o1(x),x)) true 140623 140623 0.9612 1 0.9612 0.01117 0.1057 0.314 1 0.686 1 1.047 0.000125 0.0001513 0.005824 -0.09503 1 -0.00001351 0.00005803 0.002052 0.0002424 0.01557 2.673 0.1656 0.02472 0.005193 1 1 0.0004265 0.004695 0.01456 0.03817 0.4202 1.303 json
t19_x24_u4_b119 19 24 4 119 dst(R,dot(cil(R),P)) 157578 155261966 o2(x,o2(o1(x),x)) true 140631 140631 0.9884 1 0.9884 0.00399 0.06317 0.2579 1 0.7421 1 0.3858 0.0002717 0.000429 0.004816 -0.2244 1 -0.0001097 0.0006702 0.004836 0.0006773 0.02602 5.404 0.4045 0.1756 0.168 1 1 0.0008674 0.005231 0.009138 0.2174 1.311 2.29 json
t19_x24_u4_b120 19 24 4 120 dst(R,dst(cil(R),P)) 157579 155261967 o2(x,o2(o1(x),x)) true 140639 140639 0.9997 1 0.9997 0.00003493 0.00591 0.8228 1 0.1772 1 0.02445 0.000001687 0.000004651 0.0001185 -0.4676 0 4.505e-11 0.000005486 0.0001173 0.000006319 0.002514 21.21 0.09683 0.1815 0.1571 1 1 0.00001808 0.00008884 0.0001272 0.5176 2.543 3.642 json
t19_x24_u5_b0 19 24 5 0 add(R,add(sgn(R),P)) 157580 155262048 o2(x,o2(o1(x),x)) true 140647 140647 0.01343 0.5092 0.9425 0.9227 0.9605 -1 1 2 1 1.918 0.003312 0.002546 0.02204 0.1308 1 -0.00005009 0.001766 0.0103 0.005374 0.07331 3.326 0.5458 0.006349 0.001914 1 1 0.0144 0.1375 0.4274 0.0156 0.149 0.4633 json
t19_x24_u5_b1 19 24 5 1 add(R,sub(sgn(R),P)) 157581 155262049 o2(x,o2(o1(x),x)) true 140655 140655 0.0006731 0.5022 0.9341 0.912 0.955 -1 1 2 1 2.019 0.003436 0.002659 0.0239 0.1274 1 -0.00002982 0.001789 0.01077 0.005525 0.07433 3.11 0.567 0.006684 0.001962 1 1 0.0147 0.1408 0.415 0.01612 0.1544 0.4551 json
t19_x24_u5_b2 19 24 5 2 add(R,mlt(sgn(R),P)) 157582 155262050 o2(x,o2(o1(x),x)) true 140663 140663 -0.04855 0.4738 0.8656 0.8184 0.9047 -1 1 2 1 2.756 0.03406 0.04346 0.1072 -0.1212 1 -0.00001545 0.0787 0.09355 0.06603 0.257 2.398 1.94 0.09472 0.09616 1 1 0.1005 0.6901 1.501 0.1228 0.8433 1.835 json
t19_x24_u5_b3 19 24 5 3 add(R,div(sgn(R),P)) 157583 155262051 o2(x,o2(o1(x),x)) true 140671 140671 -0.1284 0.4467 0.4865 0.3384 0.5817 -1 1 2 1 4.662 0.01805 0.003828 0.06683 0.65 1 0.00004404 0.03034 0.03258 0.01741 0.1319 1.974 2 0.06465 0.08964 1 1 0.03381 0.2543 0.6124 0.0999 0.7515 1.81 json
t19_x24_u5_b4 19 24 5 4 add(R,pow(sgn(R),P)) 157584 155262052 o2(x,o2(o1(x),x)) true 140679 140679 -0.8572 0.07422 0.9944 0.257 0.507 -1 1 2 1 0.4787 0.02331 0.02322 0.02477 0.002049 1 0 0.09684 0.04808 0.04595 0.2144 8.653 2.828 0.181 0.3768 1 1 0.04365 0.1863 0.5908 0.1698 0.7249 2.299 json
t19_x24_u5_b5 19 24 5 5 add(R,mod(sgn(R),P)) 157585 155262053 o2(x,o2(o1(x),x)) true 140687 140687 -0.1608 0.4199 0.8246 0.7397 0.8601 -1 1 2 1 3.193 0.02459 0.0141 0.1006 0.271 1 0.000004779 0.03233 0.05127 0.02858 0.1691 1.68 1.944 0.05231 0.04371 1 1 0.06116 0.528 1.265 0.08269 0.7138 1.71 json
t19_x24_u5_b6 19 24 5 6 add(R,lrg(sgn(R),P)) 157586 155262054 o2(x,o2(o1(x),x)) true 140695 140695 0.3687 0.703 0.5943 0.3317 0.5759 -0.9986 1 1.999 1 4.335 0.002728 0.002933 0.05183 -0.03606 1 -0.00003585 0.0007234 0.01477 0.002975 0.05454 1.052 0.3332 0.01707 0.002181 1 1 0.01175 0.14 0.3932 0.03542 0.422 1.185 json
t19_x24_u5_b7 19 24 5 7 add(R,eql(sgn(R),P)) 157587 155262055 o2(x,o2(o1(x),x)) true 140703 140703 0.06292 0.5359 0.4186 0.2446 0.4946 -0.9986 1 1.999 1 4.9 0.003667 0.003337 0.06588 0.0471 1 0.00002651 0.0005865 0.01587 0.002664 0.05161 0.7835 0.3135 0.02863 0.002398 1 1 0.01453 0.1809 0.4089 0.05941 0.7395 1.672 json
t19_x24_u5_b8 19 24 5 8 add(R,min(sgn(R),P)) 157588 155262056 o2(x,o2(o1(x),x)) true 140711 140711 -0.516 0.2377 0.8753 0.5667 0.7528 -1 1 2 1 2.448 0.007935 0.008697 0.06143 -0.04583 1 -0.000007233 0.003429 0.02206 0.01286 0.1134 1.846 0.4528 0.02935 0.006051 1 1 0.03207 0.3417 0.7969 0.05658 0.6029 1.406 json
t19_x24_u5_b9 19 24 5 9 add(R,dot(sgn(R),P)) 157589 155262057 o2(x,o2(o1(x),x)) true 140719 140719 -0.08193 0.4622 0.9213 0.8882 0.9424 -1 1 2 1 2.185 0.04263 0.05499 0.1117 -0.1266 1 0.000197 0.12 0.1171 0.08518 0.2919 2.614 2.284 0.1099 0.1351 1 1 0.124 0.7715 1.647 0.1396 0.8686 1.854 json
t19_x24_u5_b10 19 24 5 10 add(R,dst(sgn(R),P)) 157590 155262058 o2(x,o2(o1(x),x)) true 140727 140727 0.9998 1 0.9998 0.00003309 0.005752 0.7689 1 0.2311 1 0.01551 0.000004022 0.000002636 0.00009689 0.2082 0 -1.126e-11 0.00000569 0.00009024 0.000006644 0.002578 26.61 0.132 0.2012 0.172 1 1 0.00001935 0.0001115 0.0001203 0.5847 3.369 3.637 json
t19_x24_u5_b11 19 24 5 11 sub(R,add(sgn(R),P)) 157591 155262059 o2(x,o2(o1(x),x)) true 140735 140735 -0.001222 0.5001 0.9369 0.9148 0.9564 -1 1 2 1 1.98 0.0009874 0.0002981 0.01068 0.5362 1 0.00001344 0.0002166 0.003511 0.001172 0.03423 3.206 0.2728 0.001405 0.0002368 1 1 0.003475 0.03918 0.2411 0.003799 0.04283 0.2635 json
t19_x24_u5_b12 19 24 5 12 sub(R,sub(sgn(R),P)) 157592 155262060 o2(x,o2(o1(x),x)) true 140743 140743 0.002423 0.5013 0.9355 0.9128 0.9554 -1 1 2 1 2.003 0.0009502 0.0002924 0.01033 0.5293 1 0.00001046 0.0002156 0.003365 0.001136 0.0337 3.262 0.3026 0.001361 0.0002362 1 1 0.003371 0.0376 0.2425 0.003693 0.04119 0.2656 json
t19_x24_u5_b13 19 24 5 13 sub(R,mlt(sgn(R),P)) 157593 155262061 o2(x,o2(o1(x),x)) true 140751 140751 0.06687 0.5304 0.8633 0.8141 0.9023 -1 1 2 1 2.756 0.03289 0.04337 0.1053 -0.1375 1 0.000006542 0.07768 0.09242 0.06516 0.2553 2.425 1.923 0.09366 0.09541 1 1 0.09809 0.6667 1.534 0.1205 0.8189 1.884 json
t19_x24_u5_b14 19 24 5 14 sub(R,div(sgn(R),P)) 157594 155262062 o2(x,o2(o1(x),x)) true 140759 140759 -0.1172 0.4381 0.4938 0.352 0.5933 -1 1 2 1 4.63 0.01603 0.003803 0.06161 0.6164 1 0.00007949 0.02739 0.03005 0.01603 0.1266 2.055 2.021 0.05633 0.07781 1 1 0.03078 0.2269 0.6276 0.08743 0.6446 1.783 json
t19_x24_u5_b15 19 24 5 15 sub(R,pow(sgn(R),P)) 157595 155262063 o2(x,o2(o1(x),x)) true 140767 140767 -0.9684 0 0.9684 0.01854 0.1362 -1 -0.05702 0.943 1 0.5415 0.001996 0.001884 0.008302 0.02888 1 0.000008536 0.007809 0.01233 0.003813 0.06175 7.438 1.283 0.2092 0.4212 1 1 0.003636 0.01629 0.0366 0.1961 0.8787 1.974 json
t19_x24_u5_b16 19 24 5 16 sub(R,mod(sgn(R),P)) 157596 155262064 o2(x,o2(o1(x),x)) true 140775 140775 -0.06925 0.4819 0.4499 0.2954 0.5435 -1 0.9969 1.997 1 4.736 0.0159 0.002787 0.06405 0.7017 1 0.00002682 0.02748 0.03168 0.01458 0.1208 1.886 1.943 0.06327 0.09305 1 1 0.02486 0.1748 0.5407 0.08416 0.5917 1.831 json
t19_x24_u5_b17 19 24 5 17 sub(R,lrg(sgn(R),P)) 157597 155262065 o2(x,o2(o1(x),x)) true 140783 140783 -0.3866 0.2183 0.5588 0.2645 0.5142 -1 0.9806 1.981 1 4.465 0.00228 0.002209 0.04946 0.01583 1 0.00004397 0.0004924 0.01337 0.002044 0.04521 0.9142 0.223 0.01698 0.001862 1 1 0.00869 0.1046 0.2733 0.03286 0.3957 1.033 json
t19_x24_u5_b18 19 24 5 18 sub(R,eql(sgn(R),P)) 157598 155262066 o2(x,o2(o1(x),x)) true 140791 140791 -0.05208 0.449 0.4087 0.2348 0.4846 -1 0.9806 1.981 1 4.884 0.002789 0.003354 0.0622 -0.09189 1 0.00005195 0.0004322 0.01458 0.002274 0.04769 0.7666 0.315 0.02616 0.001841 1 1 0.01238 0.1577 0.4577 0.05275 0.6717 1.949 json
t19_x24_u5_b19 19 24 5 19 sub(R,min(sgn(R),P)) 157599 155262067 o2(x,o2(o1(x),x)) true 140799 140799 0.5265 0.796 0.6568 0.2827 0.5317 -0.9961 1 1.996 1 3.61 0.001455 0.001777 0.03513 -0.09982 1 0.00003618 0.0002549 0.008633 0.001998 0.0447 1.272 0.2097 0.01143 0.0009018 1 1 0.006046 0.07701 0.2229 0.02139 0.2724 0.7887 json