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_x24_u0_b44 16 24 0 44 pow(R,sqt(add(R,P))) 95000 130899284 o2(x,o1(o2(x,x))) true 76807 76807 -0.9883 0.007813 0.9961 0.01791 0.1338 -1 0.8228 1.823 1 0.09287 0.001696 0.002168 0.002698 -0.1221 1 0.000003112 0.008133 0.005077 0.003856 0.0621 23.02 2.578 0.2158 0.4541 1 1 0.0006148 0.004302 0.0158 0.03433 0.2403 0.8823 json
t16_x24_u0_b45 16 24 0 45 pow(R,sqt(sub(R,P))) 95001 130899285 o2(x,o1(o2(x,x))) true 76815 76815 -0.9509 0.03516 0.9788 0.06836 0.2615 -1 0.8621 1.862 1 0.3515 0.007964 0.006585 0.01093 0.09481 1 0.000006785 0.03045 0.02015 0.01443 0.1201 10.99 2.134 0.2128 0.4455 1 1 0.01326 0.0568 0.1314 0.1939 0.831 1.923 json
t16_x24_u0_b46 16 24 0 46 pow(R,sqt(mlt(R,P))) 95002 130899286 o2(x,o1(o2(x,x))) true 76823 76823 -0.9577 0.02344 0.9954 0.07552 0.2748 -1 1 2 1 0.2301 0.009326 0.006245 0.008923 0.1979 1 0.000002584 0.03255 0.01709 0.01549 0.1244 13.95 2.704 0.2062 0.431 1 1 0.01306 0.05483 0.1431 0.173 0.726 1.895 json
t16_x24_u0_b47 16 24 0 47 pow(R,sqt(div(R,P))) 95003 130899287 o2(x,o1(o2(x,x))) true 76831 76831 -0.9872 0.007813 0.9972 0.02154 0.1468 -1 0.9747 1.975 1 0.09303 0.001898 0.002562 0.002895 -0.1489 1 8.575e-7 0.009366 0.005414 0.004453 0.06673 23.05 2.652 0.2071 0.4348 1 1 0.0004297 0.003049 0.01886 0.01995 0.1416 0.8757 json
t16_x24_u0_b48 16 24 0 48 pow(R,sqt(pow(R,P))) 95004 130899288 o2(x,o1(o2(x,x))) true 76839 76839 -0.9381 0.04207 0.976 0.08989 0.2998 -1 0.9752 1.975 1 0.4203 0.008893 0.009487 0.01334 -0.03234 1 0.000008102 0.03832 0.02425 0.0182 0.1349 10.12 2.652 0.2045 0.4263 1 1 0.01355 0.06002 0.1486 0.1508 0.6677 1.653 json
t16_x24_u0_b49 16 24 0 49 pow(R,sqt(mod(R,P))) 95005 130899289 o2(x,o1(o2(x,x))) true 76847 76847 -0.941 0.03516 0.9887 0.0959 0.3097 -1 0.9445 1.944 1 0.3234 0.01023 0.008756 0.01188 0.07754 1 0.000005508 0.03967 0.02277 0.01883 0.1372 11.55 2.268 0.1979 0.4136 1 1 0.01698 0.07005 0.1761 0.1771 0.7304 1.836 json
t16_x24_u0_b50 16 24 0 50 pow(R,sqt(lrg(R,P))) 95006 130899290 o2(x,o1(o2(x,x))) true 76855 76855 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
t16_x24_u0_b51 16 24 0 51 pow(R,sqt(eql(R,P))) 95007 130899291 o2(x,o1(o2(x,x))) true 76863 76863 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_x24_u0_b52 16 24 0 52 pow(R,sqt(min(R,P))) 95008 130899292 o2(x,o1(o2(x,x))) true 76871 76871 -0.9859 0.007813 0.9984 0.02529 0.159 -1 1 2 1 0.08853 0.002431 0.003072 0.003157 -0.1164 1 0.000001767 0.01161 0.006113 0.005493 0.07411 23.48 2.653 0.2176 0.459 1 1 0.0007731 0.005459 0.02237 0.03058 0.2159 0.8846 json
t16_x24_u0_b53 16 24 0 53 pow(R,sqt(dot(R,P))) 95009 130899293 o2(x,o1(o2(x,x))) true 76879 76879 -0.9942 0.003906 0.998 0.008746 0.09352 -1 0.7924 1.792 1 0.04893 0.0004596 0.0009662 0.00108 -0.3553 1 0.000001662 0.002959 0.00199 0.001424 0.03774 34.94 1.782 0.163 0.3383 1 1 0 0 0.007365 0 0 0.8421 json
t16_x24_u0_b54 16 24 0 54 pow(R,sqt(dst(R,P))) 95010 130899294 o2(x,o1(o2(x,x))) true 76887 76887 -0.9424 0.04297 0.9716 0.07601 0.2757 -1 0.8457 1.846 1 0.4133 0.007724 0.007654 0.01238 0.004583 1 0.000009717 0.03204 0.02245 0.01524 0.1234 9.971 2.411 0.2023 0.4215 1 1 0.01276 0.05567 0.1341 0.1679 0.7324 1.764 json
t16_x24_u0_b55 16 24 0 55 mod(R,sqt(add(R,P))) 95011 130899295 o2(x,o1(o2(x,x))) true 76895 76895 -0.5497 0.2149 0.7203 0.3396 0.5828 -1 0.9806 1.981 1 3.159 0.009384 0.004108 0.03548 0.3911 1 0.00001251 0.02286 0.02142 0.01224 0.1106 3.118 2.541 0.03973 0.06731 1 1 0.01896 0.1149 0.3145 0.05583 0.3382 0.9259 json
t16_x24_u0_b56 16 24 0 56 mod(R,sqt(sub(R,P))) 95012 130899296 o2(x,o1(o2(x,x))) true 76903 76903 -0.5206 0.249 0.7269 0.3775 0.6144 -1 0.9693 1.969 1 3.166 0.008477 0.004276 0.03468 0.3294 1 0.00004042 0.02122 0.02062 0.01155 0.1075 3.099 2.587 0.03378 0.05621 1 1 0.01843 0.1147 0.3054 0.04884 0.3038 0.8089 json
t16_x24_u0_b57 16 24 0 57 mod(R,sqt(mlt(R,P))) 95013 130899297 o2(x,o1(o2(x,x))) true 76911 76911 -0.9758 0.003906 0.9805 0.02075 0.144 -1 0.9276 1.928 1 0.3941 0.001731 0.001775 0.005024 -0.0125 1 0.00000278 0.007208 0.008198 0.003482 0.05901 11.75 1.91 0.169 0.3475 1 1 0.002193 0.009345 0.03054 0.1057 0.4505 1.472 json
t16_x24_u0_b58 16 24 0 58 mod(R,sqt(div(R,P))) 95014 130899298 o2(x,o1(o2(x,x))) true 76919 76919 -0.9672 0.003906 0.9684 0.02761 0.1662 -1 0.2466 1.247 1 0.3625 0.002684 0.002299 0.006249 0.07725 1 -5.645e-7 0.01037 0.01156 0.004943 0.07031 11.25 1.409 0.1804 0.3757 1 1 0.004418 0.01842 0.0512 0.16 0.6673 1.854 json
t16_x24_u0_b59 16 24 0 59 mod(R,sqt(pow(R,P))) 95015 130899299 o2(x,o1(o2(x,x))) true 76927 76927 -0.9018 0.0598 0.9609 0.1335 0.3653 -1 0.943 1.943 1 0.7169 0.01325 0.01265 0.02041 0.02286 1 0.00000661 0.05358 0.03459 0.02547 0.1596 7.821 2.698 0.194 0.4014 1 1 0.02457 0.1069 0.2909 0.1841 0.8008 2.18 json
t16_x24_u0_b60 16 24 0 60 mod(R,sqt(mod(R,P))) 95016 130899300 o2(x,o1(o2(x,x))) true 76935 76935 -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
t16_x24_u0_b61 16 24 0 61 mod(R,sqt(lrg(R,P))) 95017 130899301 o2(x,o1(o2(x,x))) true 76943 76943 -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
t16_x24_u0_b62 16 24 0 62 mod(R,sqt(eql(R,P))) 95018 130899302 o2(x,o1(o2(x,x))) true 76951 76951 -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_x24_u0_b63 16 24 0 63 mod(R,sqt(min(R,P))) 95019 130899303 o2(x,o1(o2(x,x))) true 76959 76959 -0.9937 0.003906 0.9984 0.01011 0.1006 -1 0.9276 1.928 1 0.0495 0.0004746 0.001097 0.001148 -0.3959 1 0.000002697 0.003247 0.00209 0.00157 0.03962 34.5 1.91 0.1554 0.3211 1 1 0 0 0.008459 0 0 0.8365 json
t16_x24_u0_b64 16 24 0 64 mod(R,sqt(dot(R,P))) 95020 130899304 o2(x,o1(o2(x,x))) true 76967 76967 -0.9519 0.02631 0.9752 0.06182 0.2486 -1 0.943 1.943 1 0.4538 0.006922 0.005819 0.01132 0.08658 1 3.269e-7 0.0265 0.01878 0.01261 0.1123 9.922 1.943 0.2061 0.4286 1 1 0.01311 0.05648 0.1455 0.212 0.9136 2.354 json
t16_x24_u0_b65 16 24 0 65 mod(R,sqt(dst(R,P))) 95021 130899305 o2(x,o1(o2(x,x))) true 76975 76975 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_x24_u0_b66 16 24 0 66 lrg(R,sqt(add(R,P))) 95022 130899306 o2(x,o1(o2(x,x))) true 76983 76983 0.5039 0.5456 0.5039 0.2412 0.4911 0 1 1 1 1.415 0.0003238 0.0001053 0.004981 0.5091 1 0.000005704 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_x24_u0_b67 16 24 0 67 lrg(R,sqt(sub(R,P))) 95023 130899307 o2(x,o1(o2(x,x))) true 76991 76991 0.5039 0.5456 0.5039 0.2412 0.4911 0 1 1 1 1.415 0.0003238 0.0001053 0.004981 0.5091 1 0.000005704 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_x24_u0_b68 16 24 0 68 lrg(R,sqt(mlt(R,P))) 95024 130899308 o2(x,o1(o2(x,x))) true 76999 76999 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_x24_u0_b69 16 24 0 69 lrg(R,sqt(div(R,P))) 95025 130899309 o2(x,o1(o2(x,x))) true 77007 77007 0.6553 0.9528 0.6553 0.1534 0.3917 0 1 1 1 2.952 0.001512 0.00187 0.03963 -0.1058 1 0.00005348 0.0001937 0.009581 0.001811 0.04256 1.074 0.1169 0.02204 0.001262 1 1 0.006481 0.08334 0.2575 0.04224 0.5431 1.678 json
t16_x24_u0_b70 16 24 0 70 lrg(R,sqt(pow(R,P))) 95026 130899310 o2(x,o1(o2(x,x))) true 77015 77015 0.6328 0.9179 0.6328 0.1733 0.4163 0 1 1 1 2.72 0.001254 0.001494 0.0322 -0.08751 1 0.000004979 0.0001572 0.007796 0.001711 0.04137 1.285 0.1169 0.01586 0.0009073 1 1 0.005832 0.07473 0.218 0.03365 0.4313 1.258 json
t16_x24_u0_b71 16 24 0 71 lrg(R,sqt(mod(R,P))) 95027 130899311 o2(x,o1(o2(x,x))) true 77023 77023 0.5449 0.9525 0.5449 0.1532 0.3914 0 1 1 1 3.405 0.002041 0.002332 0.05121 -0.06649 1 0.0000121 0.0002549 0.01243 0.001751 0.04185 0.8172 0.1169 0.02854 0.001664 1 1 0.008456 0.1088 0.2655 0.05519 0.7103 1.733 json
t16_x24_u0_b72 16 24 0 72 lrg(R,sqt(lrg(R,P))) 95028 130899312 o2(x,o1(o2(x,x))) true 77031 77031 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
t16_x24_u0_b73 16 24 0 73 lrg(R,sqt(eql(R,P))) 95029 130899313 o2(x,o1(o2(x,x))) true 77039 77039 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_x24_u0_b74 16 24 0 74 lrg(R,sqt(min(R,P))) 95030 130899314 o2(x,o1(o2(x,x))) true 77047 77047 0.7852 0.9905 0.7852 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
t16_x24_u0_b75 16 24 0 75 lrg(R,sqt(dot(R,P))) 95031 130899315 o2(x,o1(o2(x,x))) true 77055 77055 0.5469 0.9574 0.5469 0.153 0.3912 0 1 1 1 3.396 0.001965 0.002451 0.05145 -0.1102 1 0.00005134 0.0002547 0.01247 0.001769 0.04206 0.8174 0.1169 0.02886 0.001664 1 1 0.008872 0.1146 0.3205 0.05798 0.7489 2.095 json
t16_x24_u0_b76 16 24 0 76 lrg(R,sqt(dst(R,P))) 95032 130899316 o2(x,o1(o2(x,x))) true 77063 77063 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_x24_u0_b77 16 24 0 77 eql(R,sqt(add(R,P))) 95033 130899317 o2(x,o1(o2(x,x))) true 77071 77071 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_x24_u0_b78 16 24 0 78 eql(R,sqt(sub(R,P))) 95034 130899318 o2(x,o1(o2(x,x))) true 77079 77079 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_x24_u0_b79 16 24 0 79 eql(R,sqt(mlt(R,P))) 95035 130899319 o2(x,o1(o2(x,x))) true 77087 77087 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_x24_u0_b80 16 24 0 80 eql(R,sqt(div(R,P))) 95036 130899320 o2(x,o1(o2(x,x))) true 77095 77095 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_x24_u0_b81 16 24 0 81 eql(R,sqt(pow(R,P))) 95037 130899321 o2(x,o1(o2(x,x))) true 77103 77103 0.02539 0.08905 0.02539 0.01562 0.125 0 0.9997 0.9997 1 0.5162 0.0002324 0.000193 0.005069 0.09244 1 -0.000005704 0.00002497 0.001231 0.0003993 0.01998 3.942 0.1169 0.02724 0.001599 1 1 0.0009769 0.0126 0.02704 0.06255 0.8066 1.731 json
t16_x24_u0_b82 16 24 0 82 eql(R,sqt(mod(R,P))) 95038 130899322 o2(x,o1(o2(x,x))) true 77111 77111 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_x24_u0_b83 16 24 0 83 eql(R,sqt(lrg(R,P))) 95039 130899323 o2(x,o1(o2(x,x))) true 77119 77119 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_x24_u0_b84 16 24 0 84 eql(R,sqt(eql(R,P))) 95040 130899324 o2(x,o1(o2(x,x))) true 77127 77127 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_x24_u0_b85 16 24 0 85 eql(R,sqt(min(R,P))) 95041 130899325 o2(x,o1(o2(x,x))) true 77135 77135 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_x24_u0_b86 16 24 0 86 eql(R,sqt(dot(R,P))) 95042 130899326 o2(x,o1(o2(x,x))) true 77143 77143 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_x24_u0_b87 16 24 0 87 eql(R,sqt(dst(R,P))) 95043 130899327 o2(x,o1(o2(x,x))) true 77151 77151 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_x24_u0_b88 16 24 0 88 min(R,sqt(add(R,P))) 95044 130899328 o2(x,o1(o2(x,x))) true 77159 77159 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_x24_u0_b89 16 24 0 89 min(R,sqt(sub(R,P))) 95045 130899329 o2(x,o1(o2(x,x))) true 77167 77167 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_x24_u0_b90 16 24 0 90 min(R,sqt(mlt(R,P))) 95046 130899330 o2(x,o1(o2(x,x))) true 77175 77175 -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_x24_u0_b91 16 24 0 91 min(R,sqt(div(R,P))) 95047 130899331 o2(x,o1(o2(x,x))) true 77183 77183 -0.02659 0.4789 0.3685 0.1956 0.4423 -0.9989 0.9693 1.968 1 4.809 0.002394 0.002815 0.0584 -0.08086 1 0.00001564 0.0003034 0.01341 0.001799 0.04241 0.7262 0.2301 0.02663 0.001551 1 1 0.01056 0.1354 0.3368 0.054 0.6922 1.722 json
t16_x24_u0_b92 16 24 0 92 min(R,sqt(pow(R,P))) 95048 130899332 o2(x,o1(o2(x,x))) true 77191 77191 -0.02235 0.4697 0.3755 0.2041 0.4518 -0.9989 0.9693 1.968 1 4.83 0.002545 0.002912 0.05993 -0.0673 1 0.00002744 0.0003179 0.0137 0.001865 0.04319 0.7207 0.2301 0.02673 0.001557 1 1 0.011 0.1411 0.3608 0.05388 0.6913 1.767 json
t16_x24_u0_b93 16 24 0 93 min(R,sqt(mod(R,P))) 95049 130899333 o2(x,o1(o2(x,x))) true 77199 77199 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_x24_u0_b94 16 24 0 94 min(R,sqt(lrg(R,P))) 95050 130899334 o2(x,o1(o2(x,x))) true 77207 77207 -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
t16_x24_u0_b95 16 24 0 95 min(R,sqt(eql(R,P))) 95051 130899335 o2(x,o1(o2(x,x))) true 77215 77215 -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_x24_u0_b96 16 24 0 96 min(R,sqt(min(R,P))) 95052 130899336 o2(x,o1(o2(x,x))) true 77223 77223 -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_x24_u0_b97 16 24 0 97 min(R,sqt(dot(R,P))) 95053 130899337 o2(x,o1(o2(x,x))) true 77231 77231 0.003092 0.4931 0.3906 0.2162 0.4649 -0.9989 0.9806 1.979 1 4.855 0.002738 0.003146 0.06253 -0.06938 1 0.00002651 0.0003426 0.0143 0.001974 0.04443 0.7105 0.2301 0.02722 0.001585 1 1 0.01148 0.1474 0.3758 0.05311 0.682 1.739 json
t16_x24_u0_b98 16 24 0 98 min(R,sqt(dst(R,P))) 95054 130899338 o2(x,o1(o2(x,x))) true 77239 77239 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_x24_u0_b99 16 24 0 99 dot(R,sqt(add(R,P))) 95055 130899339 o2(x,o1(o2(x,x))) true 77247 77247 -0.9883 0.006134 0.9964 0.01838 0.1356 -1 1 2 1 0.1212 0.002476 0.002467 0.003997 0.001696 1 -7.509e-11 0.009933 0.0061 0.004928 0.0702 17.56 2.828 0.2689 0.5404 1 1 0.0004007 0.003661 0.01633 0.0218 0.1992 0.8884 json
t16_x24_u0_b100 16 24 0 100 dot(R,sqt(sub(R,P))) 95056 130899340 o2(x,o1(o2(x,x))) true 77255 77255 -0.9964 0.001495 0.9986 0.005312 0.07288 -1 1 2 1 0.04978 0.0006666 0.000763 0.001286 -0.06737 1 -6.007e-11 0.002808 0.001836 0.001426 0.03777 29.36 2.828 0.2691 0.5286 1 1 0 0 0 0 0 0 json
t16_x24_u0_b101 16 24 0 101 dot(R,sqt(mlt(R,P))) 95057 130899341 o2(x,o1(o2(x,x))) true 77263 77263 -0.9869 0.007813 0.9963 0.02091 0.1446 -1 1 2 1 0.1188 0.002789 0.001395 0.003095 0.3333 1 6.382e-11 0.008642 0.005308 0.004171 0.06459 20.87 2.797 0.2001 0.4132 1 1 0.00743 0.0304 0.07638 0.3553 1.454 3.653 json
t16_x24_u0_b102 16 24 0 102 dot(R,sqt(div(R,P))) 95058 130899342 o2(x,o1(o2(x,x))) true 77271 77271 -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_x24_u0_b103 16 24 0 103 dot(R,sqt(pow(R,P))) 95059 130899343 o2(x,o1(o2(x,x))) true 77279 77279 -0.9835 0.008743 0.9957 0.02715 0.1648 -1 1 2 1 0.1359 0.003729 0.002977 0.004393 0.1121 1 -3.754e-12 0.01399 0.007656 0.00669 0.08179 18.62 2.828 0.2469 0.5152 1 1 0.01195 0.04894 0.09789 0.4401 1.802 3.605 json
t16_x24_u0_b104 16 24 0 104 dot(R,sqt(mod(R,P))) 95060 130899344 o2(x,o1(o2(x,x))) true 77287 77287 -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_x24_u0_b105 16 24 0 105 dot(R,sqt(lrg(R,P))) 95061 130899345 o2(x,o1(o2(x,x))) true 77295 77295 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
t16_x24_u0_b106 16 24 0 106 dot(R,sqt(eql(R,P))) 95062 130899346 o2(x,o1(o2(x,x))) true 77303 77303 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_x24_u0_b107 16 24 0 107 dot(R,sqt(min(R,P))) 95063 130899347 o2(x,o1(o2(x,x))) true 77311 77311 -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_x24_u0_b108 16 24 0 108 dot(R,sqt(dot(R,P))) 95064 130899348 o2(x,o1(o2(x,x))) true 77319 77319 -0.9441 0.02913 0.9832 0.08766 0.2961 -1 1 2 1 0.3991 0.009151 0.007822 0.01305 0.07831 1 -0.000003984 0.03477 0.02122 0.0168 0.1296 9.935 2.674 0.1936 0.3967 1 1 0.02085 0.09124 0.2258 0.2378 1.041 2.576 json
t16_x24_u0_b109 16 24 0 109 dot(R,sqt(dst(R,P))) 95065 130899349 o2(x,o1(o2(x,x))) true 77327 77327 0.0208 0.5122 0.7734 0.7003 0.8368 -1 1 2 1 3.574 0.01732 0.01833 0.1023 -0.0284 1 -0.000007995 0.01466 0.04959 0.02519 0.1587 1.552 1.075 0.0509 0.02093 1 1 0.0594 0.5327 1.267 0.08482 0.7607 1.809 json
t16_x24_u0_b110 16 24 0 110 dst(R,sqt(add(R,P))) 95066 130899350 o2(x,o1(o2(x,x))) true 77335 77335 -0.9766 0.01172 1 0.04631 0.2152 -1 1 2 1 0.09198 0.004031 0.006047 0.005002 -0.2 1 0 0.02116 0.01008 0.01005 0.1003 20.04 2.828 0.2176 0.457 1 1 0.002604 0.01823 0.04166 0.05623 0.3936 0.8996 json
t16_x24_u0_b111 16 24 0 111 dst(R,sqt(sub(R,P))) 95067 130899351 o2(x,o1(o2(x,x))) true 77343 77343 -0.9922 0.003906 1 0.01556 0.1248 -1 1 2 1 0.03687 0.002016 0.002016 0.001997 0 1 0 0.008566 0.004031 0.004024 0.06343 31.76 2.828 0.259 0.5504 1 1 0 0 0 0 0 0 json
t16_x24_u0_b112 16 24 0 112 dst(R,sqt(mlt(R,P))) 95068 130899352 o2(x,o1(o2(x,x))) true 77351 77351 -0.9792 0.01172 0.9974 0.03692 0.1922 -1 1 2 1 0.1255 0.004826 0.003472 0.004651 0.1632 1 -3.754e-11 0.01746 0.009113 0.008269 0.09094 19.55 2.828 0.2247 0.4728 1 1 0.01261 0.05036 0.1187 0.3414 1.364 3.215 json
t16_x24_u0_b113 16 24 0 113 dst(R,sqt(div(R,P))) 95069 130899353 o2(x,o1(o2(x,x))) true 77359 77359 -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_x24_u0_b114 16 24 0 114 dst(R,sqt(pow(R,P))) 95070 130899354 o2(x,o1(o2(x,x))) true 77367 77367 -0.9766 0.01172 0.9999 0.04597 0.2144 -1 1 2 1 0.09565 0.005938 0.003936 0.004986 0.2027 1 0 0.02068 0.009993 0.009844 0.09921 19.9 2.828 0.2148 0.4497 1 1 0.01739 0.07034 0.1672 0.3783 1.53 3.638 json
t16_x24_u0_b115 16 24 0 115 dst(R,sqt(mod(R,P))) 95071 130899355 o2(x,o1(o2(x,x))) true 77375 77375 -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_x24_u0_b116 16 24 0 116 dst(R,sqt(lrg(R,P))) 95072 130899356 o2(x,o1(o2(x,x))) true 77383 77383 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
t16_x24_u0_b117 16 24 0 117 dst(R,sqt(eql(R,P))) 95073 130899357 o2(x,o1(o2(x,x))) true 77391 77391 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_x24_u0_b118 16 24 0 118 dst(R,sqt(min(R,P))) 95074 130899358 o2(x,o1(o2(x,x))) true 77399 77399 -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_x24_u0_b119 16 24 0 119 dst(R,sqt(dot(R,P))) 95075 130899359 o2(x,o1(o2(x,x))) true 77407 77407 -0.9145 0.04297 0.9996 0.1628 0.4035 -1 1 2 1 0.2711 0.01873 0.01469 0.01686 0.121 1 1.276e-10 0.07023 0.03369 0.03312 0.182 10.79 2.828 0.2052 0.4313 1 1 0.03912 0.1595 0.4269 0.2402 0.9796 2.622 json
t16_x24_u0_b120 16 24 0 120 dst(R,sqt(dst(R,P))) 95076 130899360 o2(x,o1(o2(x,x))) true 77415 77415 0.9996 1 0.9996 0.0001078 0.01038 0.5917 1 0.4083 1 0.01857 0.00001096 0.000007959 0.0001716 0.1588 0 -1.877e-11 0.00001309 0.0001485 0.00001888 0.004345 25.32 0.1878 0.1755 0.1213 1 1 0.00005754 0.0003617 0.0003923 0.5336 3.354 3.637 json
t16_x24_u1_b0 16 24 1 0 add(R,log(add(R,P))) 95077 130899441 o2(x,o1(o2(x,x))) true 77423 77423 -0.1881 0.4214 0.9315 0.8697 0.9326 -1 1 2 1 2.045 0.008605 0.002836 0.02053 0.5042 1 -0.00001401 0.01975 0.01745 0.01102 0.105 5.115 2.828 0.01316 0.02271 1 1 0.0168 0.09884 0.3164 0.01932 0.1136 0.3638 json
t16_x24_u1_b1 16 24 1 1 add(R,log(sub(R,P))) 95078 130899442 o2(x,o1(o2(x,x))) true 77431 77431 -0.1999 0.4124 0.9325 0.8682 0.9318 -1 1 2 1 2.019 0.006938 0.002937 0.01857 0.4052 1 0.000001691 0.01683 0.01593 0.00953 0.09762 5.258 2.322 0.01137 0.01939 1 1 0.01491 0.08729 0.3407 0.01717 0.1005 0.3924 json
t16_x24_u1_b2 16 24 1 2 add(R,log(mlt(R,P))) 95079 130899443 o2(x,o1(o2(x,x))) true 77439 77439 -0.9724 0.009537 0.9861 0.03519 0.1876 -1 1 2 1 0.3248 0.003361 0.004156 0.006695 -0.1057 1 4.33e-8 0.0156 0.01123 0.007468 0.08642 12.91 2.258 0.2136 0.4434 1 1 0.004767 0.01953 0.05453 0.1355 0.5549 1.55 json
t16_x24_u1_b3 16 24 1 3 add(R,log(div(R,P))) 95080 130899444 o2(x,o1(o2(x,x))) true 77447 77447 -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_x24_u1_b4 16 24 1 4 add(R,log(pow(R,P))) 95081 130899445 o2(x,o1(o2(x,x))) true 77455 77455 -0.9244 0.03926 0.9967 0.1407 0.3751 -1 1 2 1 0.2947 0.0155 0.01332 0.01505 0.07547 1 0.00002231 0.06024 0.0297 0.02861 0.1691 11.24 2.828 0.2049 0.4282 1 1 0.0249 0.1057 0.2533 0.177 0.7516 1.801 json
t16_x24_u1_b5 16 24 1 5 add(R,log(mod(R,P))) 95082 130899446 o2(x,o1(o2(x,x))) true 77463 77463 -0.9695 0.01541 0.9818 0.0364 0.1908 -1 0.8839 1.884 1 0.3409 0.003655 0.003931 0.008466 -0.03649 1 0.0000258 0.01522 0.01224 0.007509 0.08665 10.24 1.884 0.2084 0.418 1 1 0.007936 0.03375 0.06952 0.2181 0.9273 1.91 json
t16_x24_u1_b6 16 24 1 6 add(R,log(lrg(R,P))) 95083 130899447 o2(x,o1(o2(x,x))) true 77471 77471 -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
t16_x24_u1_b7 16 24 1 7 add(R,log(eql(R,P))) 95084 130899448 o2(x,o1(o2(x,x))) true 77479 77479 -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_x24_u1_b8 16 24 1 8 add(R,log(min(R,P))) 95085 130899449 o2(x,o1(o2(x,x))) true 77487 77487 -0.9961 0.001953 0.9978 0.004898 0.06999 -1 0.8523 1.852 1 0.05433 0.00007163 0.0004635 0.0008026 -0.7323 1 0.000007416 0.001006 0.001039 0.0005343 0.02311 28.8 1.806 0.1092 0.2054 1 1 0 0 0.003845 0 0 0.7849 json
t16_x24_u1_b9 16 24 1 9 add(R,log(dot(R,P))) 95086 130899450 o2(x,o1(o2(x,x))) true 77495 77495 -0.9469 0.02699 0.9923 0.0931 0.3051 -1 1 2 1 0.3174 0.01113 0.0102 0.01451 0.04335 1 -0.000005434 0.04329 0.02322 0.02112 0.1453 10.02 2.828 0.2291 0.465 1 1 0.02426 0.1084 0.2181 0.2605 1.165 2.342 json
t16_x24_u1_b10 16 24 1 10 add(R,log(dst(R,P))) 95087 130899451 o2(x,o1(o2(x,x))) true 77503 77503 0.9547 0.9926 0.9591 0.02913 0.1707 -0.6767 1 1.677 1 0.8906 0.0004294 0.0004221 0.008133 0.008631 1 -5.256e-11 0.0001984 0.003469 0.0007849 0.02802 3.445 0.2685 0.02923 0.006809 1 1 0.002825 0.0303 0.06984 0.09695 1.04 2.397 json
t16_x24_u1_b11 16 24 1 11 sub(R,log(add(R,P))) 95088 130899452 o2(x,o1(o2(x,x))) true 77511 77511 -0.9132 0.03526 0.9389 0.08487 0.2913 -1 1 2 1 1.138 0.008878 0.00422 0.01524 0.3556 1 0.000002014 0.02617 0.01819 0.01287 0.1135 7.445 2 0.1543 0.3084 1 1 0.01781 0.07659 0.177 0.2098 0.9025 2.086 json
t16_x24_u1_b12 16 24 1 12 sub(R,log(sub(R,P))) 95089 130899453 o2(x,o1(o2(x,x))) true 77519 77519 -0.9114 0.03468 0.9392 0.0881 0.2968 -1 1 2 1 1.155 0.008966 0.004341 0.01571 0.3476 1 0.00001153 0.0264 0.0185 0.01306 0.1143 7.276 2.828 0.151 0.2997 1 1 0.01768 0.07662 0.1823 0.2007 0.8697 2.069 json
t16_x24_u1_b13 16 24 1 13 sub(R,log(mlt(R,P))) 95090 130899454 o2(x,o1(o2(x,x))) true 77527 77527 -0.9733 0.01035 0.9851 0.03372 0.1836 -1 1 2 1 0.312 0.004541 0.002163 0.007408 0.3546 1 1.234e-7 0.013 0.009989 0.006654 0.08157 11.01 2.828 0.1988 0.3855 1 1 0.009107 0.04298 0.08149 0.2701 1.275 2.417 json
t16_x24_u1_b14 16 24 1 14 sub(R,log(div(R,P))) 95091 130899455 o2(x,o1(o2(x,x))) true 77535 77535 -0.9285 0.03722 0.994 0.1299 0.3604 -1 1 2 1 0.317 0.01283 0.009918 0.01326 0.1278 1 -3.754e-12 0.04722 0.02484 0.02256 0.1502 11.33 2.828 0.1751 0.3635 1 1 0.02214 0.09518 0.2524 0.1704 0.7327 1.943 json
t16_x24_u1_b15 16 24 1 15 sub(R,log(pow(R,P))) 95092 130899456 o2(x,o1(o2(x,x))) true 77543 77543 -0.9693 0.01651 0.9898 0.04708 0.217 -1 1 2 1 0.2561 0.004331 0.006412 0.008352 -0.1937 1 0.00005002 0.02198 0.0138 0.01067 0.1033 12.37 2.828 0.2282 0.4669 1 1 0.006484 0.02994 0.06607 0.1377 0.636 1.403 json
t16_x24_u1_b16 16 24 1 16 sub(R,log(mod(R,P))) 95093 130899457 o2(x,o1(o2(x,x))) true 77551 77551 -0.9297 0.03516 1 0.1356 0.3683 -1 1 2 1 0.2196 0.01487 0.01235 0.01351 0.09259 1 0 0.05694 0.02721 0.027 0.1643 12.16 2.828 0.2006 0.4198 1 1 0.02366 0.09712 0.2474 0.1744 0.716 1.824 json
t16_x24_u1_b17 16 24 1 17 sub(R,log(lrg(R,P))) 95094 130899458 o2(x,o1(o2(x,x))) true 77559 77559 -0.501 0.2586 0.7292 0.3991 0.6317 -1 1 2 1 3.242 0.01001 0.00508 0.03588 0.3264 1 0.00003761 0.02599 0.02275 0.0138 0.1175 3.274 2.828 0.0378 0.06513 1 1 0.02236 0.1318 0.3625 0.05602 0.3301 0.9084 json
t16_x24_u1_b18 16 24 1 18 sub(R,log(eql(R,P))) 95095 130899459 o2(x,o1(o2(x,x))) true 77567 77567 -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_x24_u1_b19 16 24 1 19 sub(R,log(min(R,P))) 95096 130899460 o2(x,o1(o2(x,x))) true 77575 77575 -0.9922 0.003906 1 0.01556 0.1248 -1 1 2 1 0.03687 0.001008 0.001764 0.001386 -0.2727 1 0 0.005795 0.002771 0.002769 0.05262 37.97 2 0.1781 0.3723 1 1 0 0 0.0133 0 0 0.8543 json
t16_x24_u1_b20 16 24 1 20 sub(R,log(dot(R,P))) 95097 130899461 o2(x,o1(o2(x,x))) true 77583 77583 -0.9625 0.01984 0.9862 0.05512 0.2348 -1 1 2 1 0.3552 0.00651 0.003658 0.009437 0.2805 1 6.382e-11 0.02019 0.01371 0.01007 0.1004 10.64 2.027 0.1845 0.3663 1 1 0.01263 0.05763 0.1584 0.2291 1.046 2.875 json
t16_x24_u1_b21 16 24 1 21 sub(R,log(dst(R,P))) 95098 130899462 o2(x,o1(o2(x,x))) true 77591 77591 -0.9256 0.02176 0.9405 0.06143 0.2478 -1 1 2 1 1.126 0.0006475 0.0005506 0.01083 0.08088 1 4.505e-11 0.0002376 0.004186 0.00108 0.03286 3.034 0.2987 0.0195 0.003867 1 1 0.004013 0.0451 0.137 0.06532 0.7342 2.231 json
t16_x24_u1_b22 16 24 1 22 mlt(R,log(add(R,P))) 95099 130899463 o2(x,o1(o2(x,x))) true 77599 77599 -0.5288 0.2321 0.764 0.4223 0.6499 -1 1 2 1 2.95 0.00853 0.003771 0.03839 0.3869 1 -0.000006976 0.01647 0.0212 0.01082 0.104 2.71 2.075 0.02912 0.039 1 1 0.01618 0.119 0.3774 0.03832 0.2817 0.8936 json