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
t16_x20_u3_b69 16 20 3 69 lrg(R,flr(div(P,R))) 92000 130738308 o2(x,o1(o2(x,x))) true 52807 52807 0.5215 0.9288 0.5215 0.1546 0.3932 0 1 1 1 3.414 0.001912 0.002433 0.05092 -0.1198 1 0.00003066 0.0002568 0.0124 0.001753 0.04187 0.8222 0.1169 0.02811 0.001662 1 1 0.008497 0.1095 0.3067 0.05497 0.7083 1.984 json
t16_x20_u3_b70 16 20 3 70 lrg(R,flr(pow(P,R))) 92001 130738309 o2(x,o1(o2(x,x))) true 52815 52815 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
t16_x20_u3_b71 16 20 3 71 lrg(R,flr(mod(P,R))) 92002 130738310 o2(x,o1(o2(x,x))) true 52823 52823 0.7109 0.9604 0.7109 0.1494 0.3865 0 1 1 1 2.525 0.001244 0.001316 0.03 -0.02823 1 -0.00002994 0.000153 0.00732 0.00166 0.04075 1.358 0.1169 0.01714 0.001024 1 1 0.005223 0.06784 0.1774 0.03496 0.4541 1.188 json
t16_x20_u3_b72 16 20 3 72 lrg(R,flr(lrg(P,R))) 92003 130738311 o2(x,o1(o2(x,x))) true 52831 52831 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
t16_x20_u3_b73 16 20 3 73 lrg(R,flr(eql(P,R))) 92004 130738312 o2(x,o1(o2(x,x))) true 52839 52839 0.4824 0.9147 0.4824 0.1537 0.3921 0 1 1 1 3.429 0.001972 0.002442 0.05168 -0.1065 1 -0.00001781 0.0002592 0.01257 0.001744 0.04176 0.8079 0.1169 0.02872 0.001686 1 1 0.008731 0.1124 0.2862 0.0568 0.7316 1.862 json
t16_x20_u3_b74 16 20 3 74 lrg(R,flr(min(P,R))) 92005 130738313 o2(x,o1(o2(x,x))) true 52847 52847 1 1 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
t16_x20_u3_b75 16 20 3 75 lrg(R,flr(dot(P,R))) 92006 130738314 o2(x,o1(o2(x,x))) true 52855 52855 0.5879 0.9715 0.5879 0.1485 0.3853 0 1 1 1 3.353 0.001913 0.002422 0.05059 -0.1174 1 0.00003778 0.0002539 0.0123 0.001777 0.04215 0.8332 0.1169 0.0292 0.00171 1 1 0.00856 0.1105 0.3226 0.05765 0.7445 2.173 json
t16_x20_u3_b76 16 20 3 76 lrg(R,flr(dst(P,R))) 92007 130738315 o2(x,o1(o2(x,x))) true 52863 52863 0.007812 0.02954 0.007812 0.004736 0.06882 0 0.9994 0.9994 1 0.1956 0.00007023 0.00007023 0.001684 7.77e-7 1 -5.638e-14 0.000008443 0.0004121 0.0001376 0.01173 6.968 0.1169 0.02966 0.001783 1 1 0.0004885 0.006354 0.01681 0.1032 1.342 3.551 json
t16_x20_u3_b77 16 20 3 77 eql(R,flr(add(P,R))) 92008 130738316 o2(x,o1(o2(x,x))) true 52871 52871 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
t16_x20_u3_b78 16 20 3 78 eql(R,flr(sub(P,R))) 92009 130738317 o2(x,o1(o2(x,x))) true 52879 52879 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
t16_x20_u3_b79 16 20 3 79 eql(R,flr(mlt(P,R))) 92010 130738318 o2(x,o1(o2(x,x))) true 52887 52887 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
t16_x20_u3_b80 16 20 3 80 eql(R,flr(div(P,R))) 92011 130738319 o2(x,o1(o2(x,x))) true 52895 52895 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
t16_x20_u3_b81 16 20 3 81 eql(R,flr(pow(P,R))) 92012 130738320 o2(x,o1(o2(x,x))) true 52903 52903 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
t16_x20_u3_b82 16 20 3 82 eql(R,flr(mod(P,R))) 92013 130738321 o2(x,o1(o2(x,x))) true 52911 52911 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
t16_x20_u3_b83 16 20 3 83 eql(R,flr(lrg(P,R))) 92014 130738322 o2(x,o1(o2(x,x))) true 52919 52919 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
t16_x20_u3_b84 16 20 3 84 eql(R,flr(eql(P,R))) 92015 130738323 o2(x,o1(o2(x,x))) true 52927 52927 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
t16_x20_u3_b85 16 20 3 85 eql(R,flr(min(P,R))) 92016 130738324 o2(x,o1(o2(x,x))) true 52935 52935 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
t16_x20_u3_b86 16 20 3 86 eql(R,flr(dot(P,R))) 92017 130738325 o2(x,o1(o2(x,x))) true 52943 52943 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
t16_x20_u3_b87 16 20 3 87 eql(R,flr(dst(P,R))) 92018 130738326 o2(x,o1(o2(x,x))) true 52951 52951 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
t16_x20_u3_b88 16 20 3 88 min(R,flr(add(P,R))) 92019 130738327 o2(x,o1(o2(x,x))) true 52959 52959 -0.5095 0.2226 0.6827 0.3356 0.5793 -1 0.9806 1.981 1 3.463 0.001841 0.001517 0.03461 0.09627 1 -0.000001634 0.0002309 0.008221 0.00216 0.04648 1.343 0.2272 0.01001 0.0006882 1 1 0.00681 0.08711 0.2785 0.02029 0.2596 0.8299 json
t16_x20_u3_b89 16 20 3 89 min(R,flr(sub(P,R))) 92020 130738328 o2(x,o1(o2(x,x))) true 52967 52967 -0.5489 0.1827 0.685 0.2975 0.5454 -1 0.9806 1.981 1 3.422 0.00135 0.001251 0.03023 0.0379 1 0.00001728 0.0001722 0.007217 0.001688 0.04109 1.359 0.219 0.008744 0.0005787 1 1 0.004933 0.06381 0.2202 0.01658 0.2145 0.7403 json
t16_x20_u3_b90 16 20 3 90 min(R,flr(mlt(P,R))) 92021 130738329 o2(x,o1(o2(x,x))) true 52975 52975 -0.6559 0.09151 0.7386 0.2225 0.4716 -1 0.9788 1.979 1 3.262 0.004414 0.005212 0.05194 -0.08287 1 0.000208 0.003178 0.02291 0.006926 0.08322 1.602 0.6892 0.04327 0.01429 1 1 0.01605 0.1674 0.4052 0.07215 0.7525 1.821 json
t16_x20_u3_b91 16 20 3 91 min(R,flr(div(P,R))) 92022 130738330 o2(x,o1(o2(x,x))) true 52983 52983 -0.7658 0.08917 0.8462 0.2075 0.4555 -1 0.9783 1.978 1 2.241 0.0093 0.01008 0.05177 -0.04037 1 0.0003293 0.0157 0.04086 0.01671 0.1293 2.497 1.554 0.09342 0.07567 1 1 0.03118 0.212 0.4063 0.1503 1.022 1.958 json
t16_x20_u3_b92 16 20 3 92 min(R,flr(pow(P,R))) 92023 130738331 o2(x,o1(o2(x,x))) true 52991 52991 -0.005276 0.4805 0.3857 0.2142 0.4628 -0.9989 0.9806 1.979 1 4.852 0.0028 0.003069 0.06243 -0.04583 1 0.00002809 0.000342 0.01428 0.001973 0.04442 0.7115 0.2301 0.0274 0.001597 1 1 0.01137 0.1459 0.366 0.05307 0.6813 1.709 json
t16_x20_u3_b93 16 20 3 93 min(R,flr(mod(P,R))) 92024 130738332 o2(x,o1(o2(x,x))) true 52999 52999 -0.6126 0 0.6126 0.1638 0.4048 -1 0 1 1 2.942 0.0005711 0.0005153 0.01933 0.05143 1 -0.000004515 0.00006312 0.004533 0.0007126 0.02669 1.381 0.1169 0.006631 0.0003852 1 1 0.002192 0.02855 0.1045 0.01338 0.1742 0.6377 json
t16_x20_u3_b94 16 20 3 94 min(R,flr(lrg(P,R))) 92025 130738333 o2(x,o1(o2(x,x))) true 53007 53007 -0.1361 0.2244 0.3105 0.1484 0.3852 -0.9989 0.9806 1.979 1 4.449 0.001872 0.001879 0.04664 -0.001932 1 0.00001726 0.0002226 0.01081 0.001576 0.0397 0.8513 0.219 0.02529 0.001501 1 1 0.007167 0.09264 0.2444 0.04831 0.6245 1.648 json
t16_x20_u3_b95 16 20 3 95 min(R,flr(eql(P,R))) 92026 130738334 o2(x,o1(o2(x,x))) true 53015 53015 -0.2541 0 0.2541 0.06549 0.2559 -0.9989 0 0.9989 1 3.542 0.000768 0.0009295 0.0314 -0.09514 1 0.00001332 0.00009988 0.007359 0.0007117 0.02668 0.8497 0.1168 0.02592 0.001525 1 1 0.003123 0.04017 0.1061 0.04769 0.6134 1.62 json
t16_x20_u3_b96 16 20 3 96 min(R,flr(min(P,R))) 92027 130738335 o2(x,o1(o2(x,x))) true 53023 53023 -0.7578 0 0.7578 0.1282 0.3581 -1 0 1 1 2.446 0.001205 0.001316 0.02956 -0.04423 1 -0.00002994 0.0001512 0.007216 0.001648 0.0406 1.373 0.1169 0.01966 0.001179 1 1 0.005145 0.06684 0.1791 0.04012 0.5213 1.397 json
t16_x20_u3_b97 16 20 3 97 min(R,flr(dot(P,R))) 92028 130738336 o2(x,o1(o2(x,x))) true 53031 53031 -0.6929 0.1187 0.7937 0.246 0.496 -1 0.9794 1.979 1 2.813 0.005626 0.006429 0.05379 -0.06659 1 0.0002624 0.004858 0.02732 0.009162 0.09572 1.779 0.9179 0.04901 0.01975 1 1 0.02014 0.196 0.4714 0.08189 0.7969 1.917 json
t16_x20_u3_b98 16 20 3 98 min(R,flr(dst(P,R))) 92029 130738337 o2(x,o1(o2(x,x))) true 53039 53039 0.005537 0.494 0.3928 0.2185 0.4674 -0.9989 0.9806 1.979 1 4.86 0.002797 0.003171 0.06316 -0.06261 1 0.00002651 0.0003497 0.01446 0.00198 0.04449 0.7045 0.2301 0.02732 0.001601 1 1 0.01177 0.1513 0.3939 0.05389 0.6924 1.803 json
t16_x20_u3_b99 16 20 3 99 dot(R,flr(add(P,R))) 92030 130738338 o2(x,o1(o2(x,x))) true 53047 53047 0.0976 0.5576 0.8597 0.8017 0.8954 -1 1 2 1 2.859 0.02366 0.03263 0.1016 -0.1592 1 -0.00005819 0.04305 0.07324 0.04597 0.2144 2.111 1.812 0.07021 0.0537 1 1 0.07016 0.5444 1.262 0.08752 0.679 1.574 json
t16_x20_u3_b100 16 20 3 100 dot(R,flr(sub(P,R))) 92031 130738339 o2(x,o1(o2(x,x))) true 53055 53055 -0.3042 0.3398 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
t16_x20_u3_b101 16 20 3 101 dot(R,flr(mlt(P,R))) 92032 130738340 o2(x,o1(o2(x,x))) true 53063 53063 -0.04509 0.4846 0.8098 0.7563 0.8697 -1 1 2 1 3.113 0.004898 0.006346 0.04408 -0.1287 1 0.00003494 0.0051 0.02324 0.009303 0.09645 2.188 1.107 0.01487 0.006743 1 1 0.01633 0.1557 0.4655 0.02159 0.2059 0.6154 json
t16_x20_u3_b102 16 20 3 102 dot(R,flr(div(P,R))) 92033 130738341 o2(x,o1(o2(x,x))) true 53071 53071 -0.0136 0.4918 0.9326 0.9102 0.954 -1 1 2 1 2.054 0.0008024 0.0008521 0.01292 -0.03003 1 -0.000007447 0.00031 0.004296 0.001488 0.03858 2.986 0.2945 0.001818 0.0003406 1 1 0.004 0.04654 0.379 0.004395 0.05113 0.4164 json
t16_x20_u3_b103 16 20 3 103 dot(R,flr(pow(P,R))) 92034 130738342 o2(x,o1(o2(x,x))) true 53079 53079 -0.9832 0.01172 0.9934 0.02543 0.1595 -1 1 2 1 0.1322 0.002607 0.003123 0.004271 -0.09001 1 1.427e-10 0.01187 0.007539 0.005713 0.07558 17.7 2.828 0.2253 0.4667 1 1 0.0007776 0.006963 0.02283 0.03057 0.2738 0.8975 json
t16_x20_u3_b104 16 20 3 104 dot(R,flr(mod(P,R))) 92035 130738343 o2(x,o1(o2(x,x))) true 53087 53087 -0.04299 0.3465 0.3225 0.2006 0.4479 -1 1 2 1 4.342 0.002507 0.00359 0.05334 -0.1776 1 -0.00005811 0.0004947 0.01271 0.003251 0.05701 1.069 0.3911 0.03039 0.002466 1 1 0.01133 0.1416 0.3658 0.05647 0.7058 1.823 json
t16_x20_u3_b105 16 20 3 105 dot(R,flr(lrg(P,R))) 92036 130738344 o2(x,o1(o2(x,x))) true 53095 53095 -0.2734 0.223 0.4546 0.2395 0.4894 -1 1 2 1 4.605 0.003777 0.003585 0.06274 0.02612 1 0.000004416 0.0007526 0.01586 0.003426 0.05853 0.9329 0.343 0.03074 0.003143 1 1 0.01464 0.1795 0.4564 0.06113 0.7494 1.906 json
t16_x20_u3_b106 16 20 3 106 dot(R,flr(eql(P,R))) 92037 130738345 o2(x,o1(o2(x,x))) true 53103 53103 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
t16_x20_u3_b107 16 20 3 107 dot(R,flr(min(P,R))) 92038 130738346 o2(x,o1(o2(x,x))) true 53111 53111 0.2277 0.6702 0.7648 0.6288 0.7929 -1 1 2 1 3.662 0.01608 0.02015 0.08581 -0.1124 1 -0.00007141 0.02266 0.04931 0.02887 0.1699 1.98 1.764 0.05763 0.03604 1 1 0.0499 0.416 0.8898 0.07937 0.6617 1.415 json
t16_x20_u3_b108 16 20 3 108 dot(R,flr(dot(P,R))) 92039 130738347 o2(x,o1(o2(x,x))) true 53119 53119 0.03117 0.5124 0.7688 0.7089 0.842 -1 1 2 1 3.371 0.01495 0.01396 0.08124 0.03431 1 0.00005544 0.0153 0.04597 0.0223 0.1493 1.838 1.727 0.04077 0.02159 1 1 0.04777 0.3946 0.9121 0.06739 0.5566 1.287 json
t16_x20_u3_b109 16 20 3 109 dot(R,flr(dst(P,R))) 92040 130738348 o2(x,o1(o2(x,x))) true 53127 53127 0.00812 0.5113 0.8768 0.8386 0.9158 -1 1 2 1 2.611 0.03672 0.03888 0.1086 -0.02865 1 0.00002493 0.07722 0.0945 0.06377 0.2525 2.324 2.043 0.09015 0.09207 1 1 0.09731 0.6662 1.5 0.116 0.7944 1.789 json
t16_x20_u3_b110 16 20 3 110 dst(R,flr(add(P,R))) 92041 130738349 o2(x,o1(o2(x,x))) true 53135 53135 0.9991 1 0.9991 0.0002317 0.01522 0.5927 1 0.4073 1 0.04326 0.00000751 0.000009797 0.0002646 -0.1321 0 -8.635e-11 0.00000692 0.0001492 0.00001726 0.004154 15.7 0.1355 0.0747 0.02987 1 1 0.00005585 0.000499 0.0008438 0.2411 2.154 3.642 json
t16_x20_u3_b111 16 20 3 111 dst(R,flr(sub(P,R))) 92042 130738350 o2(x,o1(o2(x,x))) true 53143 53143 0.9997 1 0.9997 0.00002955 0.005436 0.8227 1 0.1773 1 0.02167 0.000004214 0.000001155 0.000109 0.5698 0 -2.628e-11 0.000004529 0.00009938 0.000005352 0.002314 21.22 0.09759 0.1817 0.1533 1 1 0.00001535 0.00007658 0.0001075 0.5192 2.591 3.636 json
t16_x20_u3_b112 16 20 3 112 dst(R,flr(mlt(P,R))) 92043 130738351 o2(x,o1(o2(x,x))) true 53151 53151 0.9899 1 0.9899 0.003686 0.06071 0.2579 1 0.7421 1 0.3268 0.00008352 0.0002004 0.002918 -0.4116 1 -0.000002665 0.0001386 0.00192 0.0002752 0.01659 5.686 0.2722 0.07702 0.03759 1 1 0.0007851 0.006357 0.01209 0.213 1.724 3.281 json
t16_x20_u3_b113 16 20 3 113 dst(R,flr(div(P,R))) 92044 130738352 o2(x,o1(o2(x,x))) true 53159 53159 1 1 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
t16_x20_u3_b114 16 20 3 114 dst(R,flr(pow(P,R))) 92045 130738353 o2(x,o1(o2(x,x))) true 53167 53167 -0.969 0.01563 0.9998 0.06068 0.2463 -1 1 2 1 0.1256 0.005957 0.007882 0.007014 -0.1391 1 -6.007e-11 0.02912 0.01403 0.01379 0.1174 16.74 2.828 0.228 0.4799 1 1 0.009616 0.04637 0.06949 0.1585 0.7642 1.145 json
t16_x20_u3_b115 16 20 3 115 dst(R,flr(mod(P,R))) 92046 130738354 o2(x,o1(o2(x,x))) true 53175 53175 0.9494 1 0.9494 0.01227 0.1108 0.21 1 0.79 1 1.352 0.0002614 0.00029 0.009806 -0.05187 1 -0.00003472 0.0001763 0.00444 0.0004553 0.02134 2.176 0.1999 0.04495 0.01437 1 1 0.0006565 0.006203 0.01566 0.05351 0.5056 1.277 json
t16_x20_u3_b116 16 20 3 116 dst(R,flr(lrg(P,R))) 92047 130738355 o2(x,o1(o2(x,x))) true 53183 53183 0.9848 1 0.9848 0.005167 0.07188 0.2581 1 0.7419 1 0.4832 0.0001345 0.0001688 0.003948 -0.113 1 -0.00001134 0.0001247 0.002355 0.0002875 0.01696 4.295 0.1758 0.0587 0.02413 1 1 0.0006733 0.005844 0.0125 0.1303 1.131 2.419 json
t16_x20_u3_b117 16 20 3 117 dst(R,flr(eql(P,R))) 92048 130738356 o2(x,o1(o2(x,x))) true 53191 53191 0.897 1 0.897 0.02252 0.1501 0.09951 1 0.9005 1 2.181 0.0003411 0.0004606 0.01666 -0.149 1 -0.00001961 0.000143 0.005703 0.0005243 0.0229 1.374 0.1266 0.0356 0.006351 1 1 0.001342 0.015 0.03485 0.05959 0.666 1.547 json
t16_x20_u3_b118 16 20 3 118 dst(R,flr(min(P,R))) 92049 130738357 o2(x,o1(o2(x,x))) true 53199 53199 0.9752 1 0.9752 0.006847 0.08274 0.2346 1 0.7654 1 0.7717 0.0001309 0.00009997 0.004808 0.1339 1 -0.00001814 0.00004875 0.001819 0.0002077 0.01441 2.997 0.1299 0.03371 0.007121 1 1 0.000525 0.005931 0.01545 0.07668 0.8662 2.257 json
t16_x20_u3_b119 16 20 3 119 dst(R,flr(dot(P,R))) 92050 130738358 o2(x,o1(o2(x,x))) true 53207 53207 0.9905 1 0.9905 0.003736 0.06112 0.1009 1 0.8991 1 0.3095 0.0002157 0.0002718 0.003571 -0.1151 1 -0.00003215 0.0003747 0.003099 0.000475 0.0218 6.103 0.4221 0.1305 0.1003 1 1 0.001027 0.006605 0.01051 0.275 1.768 2.812 json
t16_x20_u3_b120 16 20 3 120 dst(R,flr(dst(P,R))) 92051 130738359 o2(x,o1(o2(x,x))) true 53215 53215 0.9987 1 0.9987 0.0003991 0.01998 0.4918 1 0.5082 1 0.05738 0.00002089 0.00003653 0.0005388 -0.2724 0 -6.57e-11 0.00003431 0.0004236 0.00005711 0.007557 14.03 0.2211 0.1439 0.08596 1 1 0.0001777 0.001218 0.001348 0.4452 3.052 3.378 json
t16_x20_u4_b0 16 20 4 0 add(R,cil(add(P,R))) 92052 130738440 o2(x,o1(o2(x,x))) true 53223 53223 0.06641 0.5306 0.9431 0.9188 0.9585 -1 1 2 1 1.911 0.001967 0.001222 0.01594 0.2337 1 -0.00003689 0.0007106 0.006124 0.002936 0.05418 3.398 0.4156 0.003471 0.0007734 1 1 0.007671 0.08204 0.3495 0.008349 0.08929 0.3804 json
t16_x20_u4_b1 16 20 4 1 add(R,cil(sub(P,R))) 92053 130738441 o2(x,o1(o2(x,x))) true 53231 53231 0.06415 0.5317 0.9305 0.9041 0.9508 -1 1 2 1 1.99 0.0007594 0.0000761 0.008868 0.8178 1 -0.000004512 0.0001395 0.002843 0.0007571 0.02752 3.103 0.2002 0.0009242 0.0001543 1 1 0.002089 0.02427 0.2211 0.00231 0.02685 0.2446 json
t16_x20_u4_b2 16 20 4 2 add(R,cil(mlt(P,R))) 92054 130738442 o2(x,o1(o2(x,x))) true 53239 53239 0.1493 0.5903 0.7568 0.6523 0.8076 -1 1 2 1 3.743 0.01747 0.0195 0.09641 -0.05494 1 -0.00008507 0.02033 0.05063 0.02767 0.1663 1.725 1.608 0.05669 0.03117 1 1 0.05196 0.4571 0.9863 0.07966 0.7008 1.512 json
t16_x20_u4_b3 16 20 4 3 add(R,cil(div(P,R))) 92055 130738443 o2(x,o1(o2(x,x))) true 53247 53247 -0.0006449 0.4975 0.9347 0.9131 0.9556 -1 1 2 1 1.988 0.06459 0.08073 0.1138 -0.1111 1 -0.0000376 0.2888 0.1626 0.1325 0.3639 3.197 2.828 0.1591 0.3163 1 1 0.1637 0.8415 1.847 0.1793 0.9216 2.023 json
t16_x20_u4_b4 16 20 4 4 add(R,cil(pow(P,R))) 92056 130738444 o2(x,o1(o2(x,x))) true 53255 53255 -0.1653 0.4531 0.9284 0.8694 0.9324 -1 1 2 1 2.049 0.01374 0.005509 0.02316 0.4276 1 -0.00008184 0.03699 0.02741 0.01871 0.1368 5.906 2.828 0.02214 0.04255 1 1 0.0267 0.122 0.4089 0.03072 0.1404 0.4704 json
t16_x20_u4_b5 16 20 4 5 add(R,cil(mod(P,R))) 92057 130738445 o2(x,o1(o2(x,x))) true 53263 53263 0.3927 0.7499 0.5896 0.2984 0.5462 -0.9989 1 1.999 1 4.441 0.0025 0.002467 0.04992 0.006636 1 -0.00001599 0.0005757 0.01393 0.002476 0.04976 0.9968 0.312 0.01665 0.00193 1 1 0.009889 0.1188 0.3167 0.03314 0.3982 1.061 json
t16_x20_u4_b6 16 20 4 6 add(R,cil(lrg(P,R))) 92058 130738446 o2(x,o1(o2(x,x))) true 53271 53271 0.4268 0.7835 0.5923 0.2729 0.5224 -0.9989 1 1.999 1 4.386 0.001918 0.002319 0.04668 -0.09461 1 -0.00001029 0.0004999 0.01321 0.002058 0.04537 0.9719 0.2301 0.01552 0.001832 1 1 0.008011 0.09607 0.2704 0.02935 0.352 0.9906 json
t16_x20_u4_b7 16 20 4 7 add(R,cil(eql(P,R))) 92059 130738447 o2(x,o1(o2(x,x))) true 53279 53279 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
t16_x20_u4_b8 16 20 4 8 add(R,cil(min(P,R))) 92060 130738448 o2(x,o1(o2(x,x))) true 53287 53287 -0.316 0.3143 0.7712 0.5983 0.7735 -1 1 2 1 3.426 0.004004 0.004145 0.04904 -0.01737 1 -0.00009086 0.001321 0.01543 0.005747 0.07581 1.546 0.3359 0.01362 0.002208 1 1 0.01586 0.1821 0.5022 0.02651 0.3044 0.8393 json
t16_x20_u4_b9 16 20 4 9 add(R,cil(dot(P,R))) 92061 130738449 o2(x,o1(o2(x,x))) true 53295 53295 0.05568 0.5378 0.8589 0.8068 0.8982 -1 1 2 1 2.872 0.02498 0.0328 0.1002 -0.1353 1 0.00005938 0.04656 0.07468 0.04771 0.2184 2.179 1.833 0.07161 0.05771 1 1 0.0723 0.5499 1.346 0.08961 0.6816 1.668 json
t16_x20_u4_b10 16 20 4 10 add(R,cil(dst(P,R))) 92062 130738450 o2(x,o1(o2(x,x))) true 53303 53303 0.9989 1 0.9989 0.0004468 0.02114 0.355 1 0.645 1 0.04282 0.00002921 0.00002937 0.000454 -0.002729 0 7.509e-12 0.00003312 0.0003445 0.00005838 0.007641 16.83 0.2345 0.1311 0.07412 1 1 0.0001835 0.001311 0.001625 0.4106 2.935 3.638 json
t16_x20_u4_b11 16 20 4 11 sub(R,cil(add(P,R))) 92063 130738451 o2(x,o1(o2(x,x))) true 53311 53311 -0.06113 0.4682 0.944 0.9183 0.9583 -1 1 2 1 1.974 0.0007819 0.00007526 0.008857 0.8244 1 -0.000004385 0.00009775 0.002593 0.0007792 0.02791 3.152 0.2164 0.0009334 0.0001064 1 1 0.002182 0.02655 0.2369 0.002376 0.02891 0.258 json
t16_x20_u4_b12 16 20 4 12 sub(R,cil(sub(P,R))) 92064 130738452 o2(x,o1(o2(x,x))) true 53319 53319 -0.06155 0.4697 0.9312 0.9037 0.9507 -1 1 2 1 2.027 0.001901 0.00119 0.01688 0.2301 1 -0.00002157 0.0007796 0.006883 0.002806 0.05297 3.137 0.4501 0.00342 0.0008626 1 1 0.007348 0.07583 0.3304 0.008131 0.08391 0.3655 json
t16_x20_u4_b13 16 20 4 13 sub(R,cil(mlt(P,R))) 92065 130738453 o2(x,o1(o2(x,x))) true 53327 53327 -0.1424 0.4078 0.734 0.6317 0.7948 -1 1 2 1 3.739 0.01622 0.02004 0.0913 -0.1053 1 0.00007497 0.02114 0.04932 0.02792 0.1671 1.83 1.463 0.0574 0.03347 1 1 0.05109 0.4353 1.031 0.08087 0.6892 1.633 json
t16_x20_u4_b14 16 20 4 14 sub(R,cil(div(P,R))) 92066 130738454 o2(x,o1(o2(x,x))) true 53335 53335 0.004879 0.5015 0.9403 0.9207 0.9595 -1 1 2 1 1.952 0.06427 0.08014 0.1129 -0.1099 1 0.00002774 0.2851 0.1616 0.1316 0.3628 3.213 2.828 0.1569 0.3096 1 1 0.1637 0.842 1.892 0.1778 0.9146 2.055 json
t16_x20_u4_b15 16 20 4 15 sub(R,cil(pow(P,R))) 92067 130738455 o2(x,o1(o2(x,x))) true 53343 53343 -0.9771 0.007721 0.9828 0.02194 0.1481 -1 0.8288 1.829 1 0.3509 0.003475 0.001624 0.007112 0.363 1 2.027e-10 0.01007 0.008991 0.005048 0.07105 9.99 1.829 0.2324 0.4588 1 1 0.0072 0.03061 0.05625 0.3282 1.395 2.564 json
t16_x20_u4_b16 16 20 4 16 sub(R,cil(mod(P,R))) 92068 130738456 o2(x,o1(o2(x,x))) true 53351 53351 -0.3682 0.276 0.5938 0.3255 0.5705 -1 0.9693 1.969 1 4.374 0.002287 0.002443 0.0489 -0.03298 1 0.00006651 0.0005133 0.01339 0.002338 0.04835 0.9887 0.238 0.01453 0.001577 1 1 0.009677 0.1175 0.3327 0.02973 0.3611 1.022 json
t16_x20_u4_b17 16 20 4 17 sub(R,cil(lrg(P,R))) 92069 130738457 o2(x,o1(o2(x,x))) true 53359 53359 -0.3894 0.2714 0.612 0.3343 0.5782 -1 0.9693 1.969 1 4.272 0.002594 0.002651 0.05 -0.01085 1 0.00007441 0.000655 0.01427 0.002744 0.05238 1.048 0.3332 0.01569 0.001959 1 1 0.01101 0.1302 0.3632 0.03294 0.3896 1.086 json
t16_x20_u4_b18 16 20 4 18 sub(R,cil(eql(P,R))) 92070 130738458 o2(x,o1(o2(x,x))) true 53367 53367 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
t16_x20_u4_b19 16 20 4 19 sub(R,cil(min(P,R))) 92071 130738459 o2(x,o1(o2(x,x))) true 53375 53375 0.2381 0.4994 0.7048 0.5389 0.7341 -0.9989 1 1.999 1 3.382 0.001064 0.0005842 0.02204 0.2913 1 0.000006237 0.0001834 0.005548 0.001163 0.0341 1.547 0.3332 0.003059 0.0003404 1 1 0.003596 0.04425 0.2153 0.006674 0.08212 0.3995 json
t16_x20_u4_b20 16 20 4 20 sub(R,cil(dot(P,R))) 92072 130738460 o2(x,o1(o2(x,x))) true 53383 53383 -0.05481 0.4683 0.8569 0.8078 0.8988 -1 1 2 1 2.837 0.02441 0.03398 0.1032 -0.1639 1 0.00004996 0.04617 0.07531 0.04774 0.2185 2.116 1.924 0.07229 0.05715 1 1 0.07506 0.5803 1.365 0.09292 0.7184 1.689 json
t16_x20_u4_b21 16 20 4 21 sub(R,cil(dst(P,R))) 92073 130738461 o2(x,o1(o2(x,x))) true 53391 53391 -0.9988 0 0.9988 0.0003741 0.01934 -1 -0.5171 0.4829 1 0.05327 0.00002598 0.00001975 0.0004625 0.1364 0 1.502e-11 0.00002582 0.0003348 0.00004553 0.006748 14.59 0.1999 0.1222 0.06901 1 1 0.0001422 0.001047 0.001363 0.3801 2.798 3.642 json
t16_x20_u4_b22 16 20 4 22 mlt(R,cil(add(P,R))) 92074 130738462 o2(x,o1(o2(x,x))) true 53399 53399 0.03962 0.541 0.7311 0.6542 0.8088 -1 1 2 1 3.746 0.01673 0.01937 0.09248 -0.07298 1 -0.00007059 0.01975 0.04936 0.02754 0.166 1.795 1.454 0.05518 0.03019 1 1 0.0509 0.4474 1.008 0.07781 0.6839 1.542 json
t16_x20_u4_b23 16 20 4 23 mlt(R,cil(sub(P,R))) 92075 130738463 o2(x,o1(o2(x,x))) true 53407 53407 -0.1668 0.3967 0.733 0.6253 0.7907 -1 1 2 1 3.78 0.01666 0.01946 0.09229 -0.07731 1 -0.00002252 0.0202 0.04963 0.02762 0.1662 1.801 1.613 0.05777 0.03231 1 1 0.05091 0.4452 1.016 0.08142 0.712 1.625 json
t16_x20_u4_b24 16 20 4 24 mlt(R,cil(mlt(P,R))) 92076 130738464 o2(x,o1(o2(x,x))) true 53415 53415 0.002376 0.4904 0.6472 0.5645 0.7513 -1 1 2 1 4.011 0.00225 0.002485 0.03766 -0.04977 1 0.00003745 0.001725 0.0167 0.003317 0.05759 1.529 0.4497 0.008388 0.003055 1 1 0.007463 0.07514 0.2328 0.01322 0.1331 0.4124 json
t16_x20_u4_b25 16 20 4 25 mlt(R,cil(div(P,R))) 92077 130738465 o2(x,o1(o2(x,x))) true 53423 53423 0.002651 0.5 0.9374 0.923 0.9607 -1 1 2 1 1.872 0.0008051 0.00003966 0.00832 0.9061 1 -0.000008271 0.0001243 0.002585 0.0007753 0.02784 3.347 0.222 0.0009153 0.0001347 1 1 0.002089 0.02527 0.234 0.002264 0.02738 0.2535 json
t16_x20_u4_b26 16 20 4 26 mlt(R,cil(pow(P,R))) 92078 130738466 o2(x,o1(o2(x,x))) true 53431 53431 -0.4568 0.2521 0.7917 0.5244 0.7242 -1 1 2 1 2.996 0.00945 0.004921 0.04044 0.3152 1 -0.00007146 0.01884 0.0252 0.01274 0.1129 2.791 2.541 0.0274 0.03593 1 1 0.02063 0.1513 0.4345 0.03933 0.2884 0.8285 json
t16_x20_u4_b27 16 20 4 27 mlt(R,cil(mod(P,R))) 92079 130738467 o2(x,o1(o2(x,x))) true 53439 53439 -0.003372 0.2383 0.1824 0.09906 0.3147 -0.9986 0.9806 1.979 1 3.227 0.001335 0.001403 0.03048 -0.0248 1 0.000001931 0.0001658 0.00707 0.001809 0.04254 1.396 0.219 0.02764 0.001674 1 1 0.005186 0.06731 0.1846 0.05235 0.6795 1.864 json
t16_x20_u4_b28 16 20 4 28 mlt(R,cil(lrg(P,R))) 92080 130738468 o2(x,o1(o2(x,x))) true 53447 53447 -0.0259 0.2244 0.2003 0.1084 0.3292 -0.9986 0.9806 1.979 1 3.471 0.001574 0.001465 0.03348 0.0359 1 -5.686e-7 0.0001812 0.007745 0.001918 0.0438 1.308 0.219 0.02805 0.001672 1 1 0.005937 0.07705 0.1996 0.05479 0.7111 1.842 json
t16_x20_u4_b29 16 20 4 29 mlt(R,cil(eql(P,R))) 92081 130738469 o2(x,o1(o2(x,x))) true 53455 53455 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
t16_x20_u4_b30 16 20 4 30 mlt(R,cil(min(P,R))) 92082 130738470 o2(x,o1(o2(x,x))) true 53463 53463 0.08372 0.676 0.4827 0.3817 0.6178 -1 1 2 1 4.06 0.008329 0.01061 0.06121 -0.1204 1 -0.00002973 0.01011 0.02812 0.01519 0.1232 2.014 1.294 0.04962 0.02648 1 1 0.02807 0.2438 0.5598 0.07355 0.6388 1.467 json
t16_x20_u4_b31 16 20 4 31 mlt(R,cil(dot(P,R))) 92083 130738471 o2(x,o1(o2(x,x))) true 53471 53471 0.03895 0.5045 0.7362 0.6603 0.8126 -1 1 2 1 3.68 0.007803 0.006806 0.06084 0.06824 1 -0.000001517 0.006257 0.03018 0.01091 0.1044 1.717 1.103 0.02213 0.009476 1 1 0.02181 0.2145 0.5267 0.03303 0.3249 0.7977 json
t16_x20_u4_b32 16 20 4 32 mlt(R,cil(dst(P,R))) 92084 130738472 o2(x,o1(o2(x,x))) true 53479 53479 -0.005207 0.4978 0.8797 0.8399 0.9165 -1 1 2 1 2.644 0.02852 0.03316 0.1033 -0.07526 1 0.00007885 0.05014 0.07795 0.05102 0.2259 2.187 2 0.07344 0.05969 1 1 0.08611 0.6485 1.448 0.1025 0.7721 1.723 json
t16_x20_u4_b33 16 20 4 33 div(R,cil(add(P,R))) 92085 130738473 o2(x,o1(o2(x,x))) true 53487 53487 -0.1711 0.3737 0.2552 0.1522 0.3902 -1 0.8291 1.829 1 3.387 0.01068 0.004727 0.02668 0.3864 1 -0.00001419 0.03096 0.02691 0.01469 0.1212 4.544 2.325 0.1012 0.2034 1 1 0.02054 0.09133 0.2745 0.1349 0.6 1.803 json
t16_x20_u4_b34 16 20 4 34 div(R,cil(sub(P,R))) 92086 130738474 o2(x,o1(o2(x,x))) true 53495 53495 -0.09389 0.4261 0.2479 0.1616 0.402 -1 1 2 1 3.59 0.01272 0.006876 0.03072 0.2981 1 -0.00001918 0.03923 0.0297 0.01865 0.1366 4.445 2.828 0.1213 0.2428 1 1 0.02435 0.1134 0.3038 0.1507 0.7016 1.88 json
t16_x20_u4_b35 16 20 4 35 div(R,cil(mlt(P,R))) 92087 130738475 o2(x,o1(o2(x,x))) true 53503 53503 -0.5079 0.2227 0.6653 0.3384 0.5818 -1 1 2 1 2.742 0.03044 0.0253 0.04458 0.09216 1 0.000003938 0.1168 0.0827 0.05374 0.2318 5.2 2.828 0.1647 0.3451 1 1 0.05846 0.247 0.6734 0.1727 0.7299 1.99 json
t16_x20_u4_b36 16 20 4 36 div(R,cil(div(P,R))) 92088 130738476 o2(x,o1(o2(x,x))) true 53511 53511 -0.1296 0.4373 0.2153 0.128 0.3578 -1 0.891 1.891 1 3.297 0.0089 0.00009011 0.01637 0.98 1 0.000007492 0.01758 0.01732 0.008723 0.0934 5.706 1.875 0.07022 0.1373 1 1 0.01194 0.05077 0.186 0.09328 0.3965 1.453 json
t16_x20_u4_b37 16 20 4 37 div(R,cil(pow(P,R))) 92089 130738477 o2(x,o1(o2(x,x))) true 53519 53519 -0.6069 0.1722 0.6742 0.2366 0.4864 -1 0.9432 1.943 1 3.02 0.005847 0.001758 0.02604 0.5376 1 -0.000006244 0.01267 0.01504 0.006926 0.08322 3.196 2.098 0.03215 0.05356 1 1 0.01064 0.0673 0.2024 0.04496 0.2845 0.8557 json
t16_x20_u4_b38 16 20 4 38 div(R,cil(mod(P,R))) 92090 130738478 o2(x,o1(o2(x,x))) true 53527 53527 -0.5736 0.1995 0.7298 0.325 0.57 -1 0.9806 1.981 1 3.079 0.008479 0.001297 0.03255 0.7347 1 0.00001063 0.01473 0.01637 0.008716 0.09336 2.868 1.943 0.03008 0.04532 1 1 0.01323 0.09166 0.2549 0.04071 0.2821 0.7843 json
t16_x20_u4_b39 16 20 4 39 div(R,cil(lrg(P,R))) 92091 130738479 o2(x,o1(o2(x,x))) true 53535 53535 -0.5521 0.2093 0.7173 0.3323 0.5765 -1 0.9806 1.981 1 3.203 0.005341 0.001961 0.03349 0.463 1 0.000005562 0.009453 0.0147 0.006182 0.07862 2.347 2.097 0.02197 0.02844 1 1 0.01098 0.09044 0.2843 0.03304 0.2721 0.8554 json
t16_x20_u4_b40 16 20 4 40 div(R,cil(eql(P,R))) 92092 130738480 o2(x,o1(o2(x,x))) true 53543 53543 -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
t16_x20_u4_b41 16 20 4 41 div(R,cil(min(P,R))) 92093 130738481 o2(x,o1(o2(x,x))) true 53551 53551 -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
t16_x20_u4_b42 16 20 4 42 div(R,cil(dot(P,R))) 92094 130738482 o2(x,o1(o2(x,x))) true 53559 53559 -0.2814 0.3812 0.461 0.3001 0.5478 -1 1 2 1 3.595 0.02207 0.01867 0.04689 0.08363 1 -0.000008062 0.08387 0.06746 0.03854 0.1963 4.187 2.828 0.1358 0.2795 1 1 0.04502 0.2013 0.5616 0.15 0.6709 1.872 json
t16_x20_u4_b43 16 20 4 43 div(R,cil(dst(P,R))) 92095 130738483 o2(x,o1(o2(x,x))) true 53567 53567 0.00675 0.4967 0.07174 0.009723 0.09861 -0.6453 0.4832 1.128 1 2.607 0.0001612 0.0001408 0.01191 0.06732 1 0.000001948 0.0000184 0.002755 0.0001602 0.01266 1.063 0.132 0.03106 0.001892 1 1 0.0009168 0.01188 0.02608 0.09429 1.221 2.682 json
t16_x20_u4_b44 16 20 4 44 pow(R,cil(add(P,R))) 92096 130738484 o2(x,o1(o2(x,x))) true 53575 53575 -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
t16_x20_u4_b45 16 20 4 45 pow(R,cil(sub(P,R))) 92097 130738485 o2(x,o1(o2(x,x))) true 53583 53583 -0.8865 0.05859 0.9963 0.2095 0.4577 -1 1 2 1 0.3722 0.02373 0.02002 0.02228 0.08466 1 0.000001838 0.09229 0.04465 0.04325 0.208 9.333 2.828 0.2089 0.4406 1 1 0.04369 0.1796 0.4321 0.2086 0.8574 2.063 json
t16_x20_u4_b46 16 20 4 46 pow(R,cil(mlt(P,R))) 92098 130738486 o2(x,o1(o2(x,x))) true 53591 53591 -0.6872 0.1719 0.969 0.4836 0.6954 -1 1 2 1 1.113 0.03967 0.0292 0.04051 0.152 1 0.000004979 0.1422 0.07496 0.06724 0.2593 6.401 2.828 0.1424 0.2941 1 1 0.08035 0.3326 1.027 0.1662 0.6877 2.123 json
t16_x20_u4_b47 16 20 4 47 pow(R,cil(div(P,R))) 92099 130738487 o2(x,o1(o2(x,x))) true 53599 53599 -0.8911 0.05846 0.9917 0.1948 0.4413 -1 1 2 1 0.4398 0.01731 0.01918 0.02 -0.05133 1 0.000001569 0.07617 0.03872 0.03609 0.19 9.498 2.828 0.1874 0.3911 1 1 0.03788 0.16 0.4884 0.1944 0.8216 2.508 json