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
t20_x53_u0_b131 20 53 0 131 sub(D,add(dst(R,R),R)) 170300 164553404 o2(x,o2(o2(x,x),x)) true 70807 70807 -0.009165 0.5021 0.4005 0.2287 0.4782 -1 1 2 1 4.894 0.004393 0.003164 0.07461 0.1626 1 -0.00003074 0.0006179 0.01902 0.001989 0.0446 0.5978 0.2561 0.03305 0.002702 1 1 0.01479 0.1717 0.3901 0.06468 0.751 1.706 json
t20_x53_u0_b132 20 53 0 132 sub(D,sub(add(R,R),R)) 170301 164553405 o2(x,o2(o2(x,x),x)) true 70815 70815 -0.009165 0.5021 0.4005 0.2287 0.4782 -1 1 2 1 4.894 0.004393 0.003164 0.07461 0.1626 1 -0.00003074 0.0006179 0.01902 0.001989 0.0446 0.5978 0.2561 0.03305 0.002702 1 1 0.01479 0.1717 0.3901 0.06468 0.751 1.706 json
t20_x53_u0_b133 20 53 0 133 sub(D,sub(sub(R,R),R)) 170302 164553406 o2(x,o2(o2(x,x),x)) true 70823 70823 0.009078 0.4986 0.4013 0.2304 0.48 -1 1 2 1 4.899 0.004471 0.003165 0.07546 0.1709 1 0.00002869 0.0006263 0.01935 0.001942 0.04407 0.584 0.2845 0.03314 0.002718 1 1 0.01508 0.1746 0.3904 0.06546 0.7577 1.694 json
t20_x53_u0_b134 20 53 0 134 sub(D,sub(mlt(R,R),R)) 170303 164553407 o2(x,o2(o2(x,x),x)) true 70831 70831 -0.2882 0.3216 0.3911 0.1795 0.4236 -1 0.3943 1.394 1 4.259 0.003837 0.00279 0.06421 0.158 1 0.00004022 0.001045 0.01961 0.002503 0.05003 0.7792 0.3014 0.03693 0.005825 1 1 0.01248 0.1325 0.2788 0.06953 0.7386 1.554 json
t20_x53_u0_b135 20 53 0 135 sub(D,sub(div(R,R),R)) 170304 164553408 o2(x,o2(o2(x,x),x)) true 70839 70839 -0.7947 0.003952 0.7949 0.07675 0.277 -1 0.08818 1.088 1 2.748 0.002267 0.001589 0.039 0.1758 1 0.0000559 0.0009536 0.0154 0.002335 0.04832 1.239 0.2738 0.05023 0.01242 1 1 0.007444 0.07061 0.1422 0.09699 0.92 1.853 json
t20_x53_u0_b136 20 53 0 136 sub(D,sub(pow(R,R),R)) 170305 164553409 o2(x,o2(o2(x,x),x)) true 70847 70847 -0.9663 0.005814 0.9669 0.02682 0.1638 -1 0.1421 1.142 1 0.4078 0.002717 0.002762 0.008054 -0.008268 1 -0.000004539 0.01133 0.01356 0.005412 0.07356 9.134 1.347 0.2043 0.4224 1 1 0.004467 0.01928 0.04556 0.1666 0.7189 1.699 json
t20_x53_u0_b137 20 53 0 137 sub(D,sub(mod(R,R),R)) 170306 164553410 o2(x,o2(o2(x,x),x)) true 70855 70855 0.02524 0.5126 0.3518 0.1929 0.4391 -1 1 2 1 4.796 0.003926 0.00246 0.06869 0.2294 1 0.00003816 0.0005445 0.01817 0.001668 0.04084 0.5946 0.2845 0.03311 0.002824 1 1 0.01201 0.1347 0.3154 0.06225 0.6986 1.635 json
t20_x53_u0_b138 20 53 0 138 sub(D,sub(lrg(R,R),R)) 170307 164553411 o2(x,o2(o2(x,x),x)) true 70863 70863 0.009078 0.4986 0.4013 0.2304 0.48 -1 1 2 1 4.899 0.004471 0.003165 0.07546 0.1709 1 0.00002869 0.0006263 0.01935 0.001942 0.04407 0.584 0.2845 0.03314 0.002718 1 1 0.01508 0.1746 0.3904 0.06546 0.7577 1.694 json
t20_x53_u0_b139 20 53 0 139 sub(D,sub(eql(R,R),R)) 170308 164553412 o2(x,o2(o2(x,x),x)) true 70871 70871 -0.7947 0.003952 0.7949 0.07675 0.277 -1 0.08818 1.088 1 2.748 0.002267 0.001589 0.039 0.1758 1 0.0000559 0.0009536 0.0154 0.002335 0.04832 1.239 0.2738 0.05023 0.01242 1 1 0.007444 0.07061 0.1422 0.09699 0.92 1.853 json
t20_x53_u0_b140 20 53 0 140 sub(D,sub(min(R,R),R)) 170309 164553413 o2(x,o2(o2(x,x),x)) true 70879 70879 0 0.5 0.09436 0.01082 0.104 -0.1454 0.1454 0.2908 1 2.561 0.001632 0 0.03609 1 1 0 0.0002563 0.01459 0.0003304 0.01818 0.5036 0.06192 0.1508 0.02368 1 1 0.003151 0.02183 5.236e-15 0.2912 2.017 4.838e-13 json
t20_x53_u0_b141 20 53 0 141 sub(D,sub(dot(R,R),R)) 170310 164553414 o2(x,o2(o2(x,x),x)) true 70887 70887 -0.761 0.0175 0.764 0.08917 0.2986 -1 0.2645 1.265 1 3.035 0.002399 0.001773 0.04175 0.1502 1 0.00006186 0.001108 0.0169 0.002428 0.04928 1.18 0.3437 0.04679 0.01242 1 1 0.007345 0.06814 0.132 0.08237 0.7641 1.481 json
t20_x53_u0_b142 20 53 0 142 sub(D,sub(dst(R,R),R)) 170311 164553415 o2(x,o2(o2(x,x),x)) true 70895 70895 0.009078 0.4986 0.4013 0.2304 0.48 -1 1 2 1 4.899 0.004471 0.003165 0.07546 0.1709 1 0.00002869 0.0006263 0.01935 0.001942 0.04407 0.584 0.2845 0.03314 0.002718 1 1 0.01508 0.1746 0.3904 0.06546 0.7577 1.694 json
t20_x53_u0_b143 20 53 0 143 sub(D,mlt(add(R,R),R)) 170312 164553416 o2(x,o2(o2(x,x),x)) true 70903 70903 -0.6013 0.03847 0.6051 0.1211 0.348 -1 0.1397 1.14 1 3.68 0.003059 0.002047 0.05294 0.1982 1 0.00004426 0.001038 0.0183 0.002303 0.04799 0.9065 0.2578 0.04217 0.008573 1 1 0.00924 0.09354 0.2302 0.07632 0.7726 1.902 json
t20_x53_u0_b144 20 53 0 144 sub(D,mlt(sub(R,R),R)) 170313 164553417 o2(x,o2(o2(x,x),x)) true 70911 70911 0 0.5 0.09436 0.01082 0.104 -0.1454 0.1454 0.2908 1 2.561 0.001632 0 0.03609 1 1 0 0.0002563 0.01459 0.0003304 0.01818 0.5036 0.06192 0.1508 0.02368 1 1 0.003151 0.02183 5.236e-15 0.2912 2.017 4.838e-13 json
t20_x53_u0_b145 20 53 0 145 sub(D,mlt(mlt(R,R),R)) 170314 164553418 o2(x,o2(o2(x,x),x)) true 70919 70919 -0.01556 0.4748 0.247 0.1077 0.3282 -1 1 2 1 4.377 0.002845 0.001383 0.05597 0.3459 1 -0.00004341 0.0004104 0.01629 0.001095 0.0331 0.5913 0.2211 0.03925 0.00381 1 1 0.007894 0.08297 0.1689 0.07328 0.7702 1.568 json
t20_x53_u0_b146 20 53 0 146 sub(D,mlt(div(R,R),R)) 170315 164553419 o2(x,o2(o2(x,x),x)) true 70927 70927 -0.009165 0.5021 0.4005 0.2287 0.4782 -1 1 2 1 4.894 0.004393 0.003164 0.07461 0.1626 1 -0.00003074 0.0006179 0.01902 0.001989 0.0446 0.5978 0.2561 0.03305 0.002702 1 1 0.01479 0.1717 0.3901 0.06468 0.751 1.706 json
t20_x53_u0_b147 20 53 0 147 sub(D,mlt(pow(R,R),R)) 170316 164553420 o2(x,o2(o2(x,x),x)) true 70935 70935 -0.9768 0.0008698 0.9768 0.01415 0.119 -1 0.03779 1.038 1 0.4138 0.001601 0.001438 0.006354 0.05347 1 -0.00001867 0.006162 0.009677 0.003 0.05477 8.62 1.038 0.2147 0.4354 1 1 0.002142 0.009436 0.02322 0.1513 0.6667 1.64 json
t20_x53_u0_b148 20 53 0 148 sub(D,mlt(mod(R,R),R)) 170317 164553421 o2(x,o2(o2(x,x),x)) true 70943 70943 -0.06593 0.3957 0.1355 0.03173 0.1781 -1 0.1454 1.145 1 3.231 0.001923 0.0002745 0.04095 0.7502 1 0.00001359 0.0002911 0.01492 0.000522 0.02285 0.558 0.1639 0.06926 0.009174 1 1 0.004452 0.03886 0.04754 0.1403 1.225 1.498 json
t20_x53_u0_b149 20 53 0 149 sub(D,mlt(lrg(R,R),R)) 170318 164553422 o2(x,o2(o2(x,x),x)) true 70951 70951 0 0.5 0.09436 0.01082 0.104 -0.1454 0.1454 0.2908 1 2.561 0.001632 0 0.0361 1 1 0 0.0002563 0.01459 0.0003304 0.01818 0.5036 0.06192 0.1508 0.02368 1 1 0.003151 0.02183 0 0.2912 2.017 0 json
t20_x53_u0_b150 20 53 0 150 sub(D,mlt(eql(R,R),R)) 170319 164553423 o2(x,o2(o2(x,x),x)) true 70959 70959 -0.009165 0.5021 0.4005 0.2287 0.4782 -1 1 2 1 4.894 0.004393 0.003164 0.07461 0.1626 1 -0.00003074 0.0006179 0.01902 0.001989 0.0446 0.5978 0.2561 0.03305 0.002702 1 1 0.01479 0.1717 0.3901 0.06468 0.751 1.706 json
t20_x53_u0_b151 20 53 0 151 sub(D,mlt(min(R,R),R)) 170320 164553424 o2(x,o2(o2(x,x),x)) true 70967 70967 -0.3491 0.07982 0.358 0.06825 0.2612 -1 0.1426 1.143 1 4.018 0.002378 0.0008001 0.04971 0.4965 1 8.428e-7 0.0003591 0.01536 0.0007072 0.02659 0.535 0.1612 0.04657 0.005262 1 1 0.005857 0.05694 0.1064 0.08582 0.8343 1.56 json
t20_x53_u0_b152 20 53 0 152 sub(D,mlt(dot(R,R),R)) 170321 164553425 o2(x,o2(o2(x,x),x)) true 70975 70975 -0.03039 0.4819 0.4615 0.3234 0.5687 -1 1 2 1 4.796 0.005842 0.005146 0.08046 0.06332 1 -0.00007891 0.00155 0.0228 0.004514 0.06719 0.835 0.4151 0.03397 0.004794 1 1 0.02096 0.2338 0.5786 0.06482 0.723 1.789 json
t20_x53_u0_b153 20 53 0 153 sub(D,mlt(dst(R,R),R)) 170322 164553426 o2(x,o2(o2(x,x),x)) true 70983 70983 0 0.5 0.09436 0.01082 0.104 -0.1454 0.1454 0.2908 1 2.561 0.001632 0 0.03609 1 1 0 0.0002563 0.01459 0.0003304 0.01818 0.5036 0.06192 0.1508 0.02368 1 1 0.003151 0.02183 5.236e-15 0.2912 2.017 4.838e-13 json
t20_x53_u0_b154 20 53 0 154 sub(D,div(add(R,R),R)) 170323 164553427 o2(x,o2(o2(x,x),x)) true 70991 70991 -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
t20_x53_u0_b155 20 53 0 155 sub(D,div(sub(R,R),R)) 170324 164553428 o2(x,o2(o2(x,x),x)) true 70999 70999 0 0.5 0.09436 0.01082 0.104 -0.1454 0.1454 0.2908 1 2.561 0.001632 0 0.03609 1 1 0 0.0002563 0.01459 0.0003304 0.01818 0.5036 0.06192 0.1508 0.02368 1 1 0.003151 0.02183 5.236e-15 0.2912 2.017 4.838e-13 json
t20_x53_u0_b156 20 53 0 156 sub(D,div(mlt(R,R),R)) 170325 164553429 o2(x,o2(o2(x,x),x)) true 71007 71007 -0.009165 0.5021 0.4005 0.2287 0.4782 -1 1 2 1 4.894 0.004393 0.003164 0.07461 0.1626 1 -0.00003074 0.0006179 0.01902 0.001989 0.0446 0.5978 0.2561 0.03305 0.002702 1 1 0.01479 0.1717 0.3901 0.06468 0.751 1.706 json
t20_x53_u0_b157 20 53 0 157 sub(D,div(div(R,R),R)) 170326 164553430 o2(x,o2(o2(x,x),x)) true 71015 71015 0.06097 0.5311 0.8929 0.852 0.923 -1 1 2 1 2.554 0.03096 0.03765 0.1114 -0.09745 1 0.00001679 0.06721 0.08371 0.0562 0.2371 2.127 2.828 0.08053 0.07889 1 1 0.1066 0.7652 1.691 0.1251 0.8982 1.984 json
t20_x53_u0_b158 20 53 0 158 sub(D,div(pow(R,R),R)) 170327 164553431 o2(x,o2(o2(x,x),x)) true 71023 71023 -0.9999 0 0.9999 0.00001103 0.003321 -1 -0.8583 0.1417 1 0.01287 0.000002706 0.000004463 0.0001295 -0.245 0 -0.000004126 0.00001327 0.0001879 0.000007152 0.002674 20.66 0.1417 0.6501 1.203 1 1 0.000006276 0.00001478 0.00001435 0.5692 1.34 1.301 json
t20_x53_u0_b159 20 53 0 159 sub(D,div(mod(R,R),R)) 170328 164553432 o2(x,o2(o2(x,x),x)) true 71031 71031 -0.2195 0.3191 0.275 0.1184 0.3441 -1 0.1454 1.145 1 3.831 0.002909 0.00139 0.05447 0.3535 1 0.00001194 0.0004945 0.01657 0.001333 0.03651 0.6704 0.1713 0.03631 0.004176 1 1 0.008685 0.09331 0.2158 0.07335 0.7881 1.822 json
t20_x53_u0_b160 20 53 0 160 sub(D,div(lrg(R,R),R)) 170329 164553433 o2(x,o2(o2(x,x),x)) true 71039 71039 0 0.5 0.09436 0.01082 0.104 -0.1454 0.1454 0.2908 1 2.561 0.001632 0 0.0361 1 1 0 0.0002563 0.01459 0.0003304 0.01818 0.5036 0.06192 0.1508 0.02368 1 1 0.003151 0.02183 0 0.2912 2.017 0 json
t20_x53_u0_b161 20 53 0 161 sub(D,div(eql(R,R),R)) 170330 164553434 o2(x,o2(o2(x,x),x)) true 71047 71047 0.06097 0.5311 0.8929 0.852 0.923 -1 1 2 1 2.554 0.03096 0.03765 0.1114 -0.09745 1 0.00001679 0.06721 0.08371 0.0562 0.2371 2.127 2.828 0.08053 0.07889 1 1 0.1066 0.7652 1.691 0.1251 0.8982 1.984 json
t20_x53_u0_b162 20 53 0 162 sub(D,div(min(R,R),R)) 170331 164553435 o2(x,o2(o2(x,x),x)) true 71055 71055 -0.9529 0 0.9529 0.003185 0.05644 -1 -0.8546 0.1454 1 1.329 0.0007092 6.048e-17 0.01796 1 1 -0.0001582 0.0003006 0.01323 0.0003863 0.01965 1.094 0.05567 0.2227 0.09439 1 1 0.001259 0.005463 1.188e-15 0.3952 1.715 3.729e-13 json
t20_x53_u0_b163 20 53 0 163 sub(D,div(dot(R,R),R)) 170332 164553436 o2(x,o2(o2(x,x),x)) true 71063 71063 0.02689 0.5147 0.8723 0.8267 0.9092 -1 1 2 1 2.79 0.02503 0.03527 0.1105 -0.1699 1 -0.0004105 0.05148 0.0742 0.04807 0.2193 1.983 2.623 0.07294 0.06227 1 1 0.09846 0.7324 1.625 0.1191 0.8859 1.966 json
t20_x53_u0_b164 20 53 0 164 sub(D,div(dst(R,R),R)) 170333 164553437 o2(x,o2(o2(x,x),x)) true 71071 71071 0 0.5 0.09436 0.01082 0.104 -0.1454 0.1454 0.2908 1 2.561 0.001632 0 0.03609 1 1 0 0.0002563 0.01459 0.0003304 0.01818 0.5036 0.06192 0.1508 0.02368 1 1 0.003151 0.02183 5.236e-15 0.2912 2.017 4.838e-13 json
t20_x53_u0_b165 20 53 0 165 sub(D,pow(add(R,R),R)) 170334 164553438 o2(x,o2(o2(x,x),x)) true 71079 71079 -0.9986 0 0.9986 0.0002648 0.01627 -1 -0.6912 0.3088 1 0.08292 0.00004248 0.00003924 0.0008149 0.03974 0 -0.000003865 0.000131 0.0009911 0.00008101 0.009001 11.05 0.3088 0.3086 0.4946 1 1 0.00005991 0.000255 0.0004425 0.2262 0.9629 1.671 json
t20_x53_u0_b166 20 53 0 166 sub(D,pow(sub(R,R),R)) 170335 164553439 o2(x,o2(o2(x,x),x)) true 71087 71087 -0.957 0.02148 0.9611 0.04159 0.2039 -1 0.1454 1.145 1 0.3658 0.004268 0.004132 0.009566 0.01619 1 -0.00001004 0.01749 0.01716 0.008309 0.09115 9.529 1.37 0.202 0.4205 1 1 0.006414 0.02763 0.06963 0.1542 0.6645 1.674 json
t20_x53_u0_b167 20 53 0 167 sub(D,pow(mlt(R,R),R)) 170336 164553440 o2(x,o2(o2(x,x),x)) true 71095 71095 -0.8816 0 0.8816 0.03187 0.1785 -1 -0.3348 0.6652 1 2.113 0.001422 0.0008479 0.0273 0.2529 1 0.00001332 0.0008198 0.01363 0.001525 0.03905 1.43 0.2043 0.07122 0.02572 1 1 0.004195 0.03345 0.05229 0.1316 1.05 1.641 json
t20_x53_u0_b168 20 53 0 168 sub(D,pow(div(R,R),R)) 170337 164553441 o2(x,o2(o2(x,x),x)) true 71103 71103 -0.9529 0 0.9529 0.003185 0.05644 -1 -0.8546 0.1454 1 1.329 0.0007092 8.28e-18 0.01796 1 1 -0.0001582 0.0003006 0.01323 0.0003863 0.01965 1.094 0.05567 0.2227 0.09439 1 1 0.001259 0.005463 1.667e-16 0.3952 1.715 5.234e-14 json
t20_x53_u0_b169 20 53 0 169 sub(D,pow(pow(R,R),R)) 170338 164553442 o2(x,o2(o2(x,x),x)) true 71111 71111 -0.9948 0 0.9948 0.001027 0.03205 -1 -0.6898 0.3102 1 0.2291 0.0001175 0.00009994 0.002126 0.08069 1 -0.00001533 0.0003626 0.002475 0.0002129 0.01459 6.863 0.3102 0.2116 0.353 1 1 0.0001965 0.0009338 0.001751 0.1913 0.909 1.705 json
t20_x53_u0_b170 20 53 0 170 sub(D,pow(mod(R,R),R)) 170339 164553443 o2(x,o2(o2(x,x),x)) true 71119 71119 -0.9666 0.01263 0.9688 0.02905 0.1704 -1 0.1454 1.145 1 0.4149 0.002929 0.003305 0.008663 -0.06038 1 -0.000005794 0.01281 0.01385 0.006156 0.07846 9.057 1.37 0.2146 0.441 1 1 0.004648 0.02029 0.04113 0.16 0.6984 1.416 json
t20_x53_u0_b171 20 53 0 171 sub(D,pow(lrg(R,R),R)) 170340 164553444 o2(x,o2(o2(x,x),x)) true 71127 71127 -0.957 0.02148 0.9611 0.04159 0.2039 -1 0.1454 1.145 1 0.3658 0.004268 0.004132 0.009566 0.01619 1 -0.00001004 0.01749 0.01716 0.008309 0.09115 9.529 1.37 0.202 0.4205 1 1 0.006414 0.02763 0.06963 0.1542 0.6645 1.674 json
t20_x53_u0_b172 20 53 0 172 sub(D,pow(eql(R,R),R)) 170341 164553445 o2(x,o2(o2(x,x),x)) true 71135 71135 -0.9529 0 0.9529 0.003185 0.05644 -1 -0.8546 0.1454 1 1.329 0.0007092 0 0.01796 1 1 -0.0001582 0.0003006 0.01323 0.0003863 0.01965 1.094 0.05567 0.2227 0.09439 1 1 0.001259 0.005463 4.338e-15 0.3952 1.715 1.362e-12 json
t20_x53_u0_b173 20 53 0 173 sub(D,pow(min(R,R),R)) 170342 164553446 o2(x,o2(o2(x,x),x)) true 71143 71143 -0.9905 0 0.9905 0.002623 0.05121 -1 -0.5547 0.4453 1 0.3307 0.0003005 0.0002605 0.003215 0.07128 1 -0.00001625 0.001062 0.004275 0.0005504 0.02346 7.297 0.4446 0.2139 0.405 1 1 0.0004429 0.001995 0.004437 0.1689 0.7608 1.692 json
t20_x53_u0_b174 20 53 0 174 sub(D,pow(dot(R,R),R)) 170343 164553447 o2(x,o2(o2(x,x),x)) true 71151 71151 -0.9295 0 0.9295 0.01331 0.1153 -1 -0.3582 0.6418 1 1.761 0.0009114 0.0002251 0.02007 0.6038 1 -0.00003506 0.0004032 0.01089 0.0007338 0.02709 1.349 0.1709 0.08542 0.0303 1 1 0.001948 0.01426 0.02063 0.1464 1.072 1.55 json
t20_x53_u0_b175 20 53 0 175 sub(D,pow(dst(R,R),R)) 170344 164553448 o2(x,o2(o2(x,x),x)) true 71159 71159 -0.957 0.02148 0.9611 0.04159 0.2039 -1 0.1454 1.145 1 0.3658 0.004268 0.004132 0.009566 0.01619 1 -0.00001004 0.01749 0.01716 0.008309 0.09115 9.529 1.37 0.202 0.4205 1 1 0.006414 0.02763 0.06963 0.1542 0.6645 1.674 json
t20_x53_u0_b176 20 53 0 176 sub(D,mod(add(R,R),R)) 170345 164553449 o2(x,o2(o2(x,x),x)) true 71167 71167 0.01619 0.5192 0.1601 0.05129 0.2265 -1 1 2 1 3.658 0.00226 0.0005529 0.04517 0.6068 1 0.00001029 0.0003297 0.01536 0.0007731 0.02781 0.6156 0.1958 0.05484 0.006428 1 1 0.006083 0.05953 0.09782 0.1186 1.161 1.907 json
t20_x53_u0_b177 20 53 0 177 sub(D,mod(sub(R,R),R)) 170346 164553450 o2(x,o2(o2(x,x),x)) true 71175 71175 0 0.5 0.09436 0.01082 0.104 -0.1454 0.1454 0.2908 1 2.561 0.001632 0 0.03609 1 1 0 0.0002563 0.01459 0.0003304 0.01818 0.5036 0.06192 0.1508 0.02368 1 1 0.003151 0.02183 5.236e-15 0.2912 2.017 4.838e-13 json
t20_x53_u0_b178 20 53 0 178 sub(D,mod(mlt(R,R),R)) 170347 164553451 o2(x,o2(o2(x,x),x)) true 71183 71183 -0.3491 0.07982 0.358 0.06825 0.2612 -1 0.1426 1.143 1 4.018 0.002378 0.0008001 0.04971 0.4965 1 8.427e-7 0.0003591 0.01536 0.0007072 0.02659 0.535 0.1612 0.04657 0.005262 1 1 0.005857 0.05694 0.1064 0.08582 0.8343 1.56 json
t20_x53_u0_b179 20 53 0 179 sub(D,mod(div(R,R),R)) 170348 164553452 o2(x,o2(o2(x,x),x)) true 71191 71191 -0.1731 0.1304 0.1858 0.02035 0.1427 -0.6259 0.1419 0.7678 1 3.216 0.001782 0.0001475 0.03931 0.8471 1 -3.078e-7 0.0002748 0.01466 0.0003844 0.01961 0.4988 0.1037 0.09482 0.01351 1 1 0.003744 0.02931 0.01892 0.184 1.44 0.9297 json
t20_x53_u0_b180 20 53 0 180 sub(D,mod(pow(R,R),R)) 170349 164553453 o2(x,o2(o2(x,x),x)) true 71199 71199 -0.9618 0.009949 0.9629 0.03322 0.1823 -1 0.1422 1.142 1 0.3865 0.003348 0.003372 0.008729 -0.003449 1 -0.000007902 0.01396 0.01525 0.006639 0.08148 9.334 1.359 0.2023 0.4203 1 1 0.00485 0.02132 0.05276 0.146 0.6418 1.588 json
t20_x53_u0_b181 20 53 0 181 sub(D,mod(mod(R,R),R)) 170350 164553454 o2(x,o2(o2(x,x),x)) true 71207 71207 0.01619 0.5192 0.1601 0.05129 0.2265 -1 1 2 1 3.658 0.00226 0.0005529 0.04517 0.6068 1 0.00001029 0.0003297 0.01536 0.0007731 0.02781 0.6156 0.1958 0.05484 0.006428 1 1 0.006083 0.05953 0.09782 0.1186 1.161 1.907 json
t20_x53_u0_b182 20 53 0 182 sub(D,mod(lrg(R,R),R)) 170351 164553455 o2(x,o2(o2(x,x),x)) true 71215 71215 0 0.5 0.09436 0.01082 0.104 -0.1454 0.1454 0.2908 1 2.561 0.001632 0 0.0361 1 1 0 0.0002563 0.01459 0.0003304 0.01818 0.5036 0.06192 0.1508 0.02368 1 1 0.003151 0.02183 0 0.2912 2.017 0 json
t20_x53_u0_b183 20 53 0 183 sub(D,mod(eql(R,R),R)) 170352 164553456 o2(x,o2(o2(x,x),x)) true 71223 71223 -0.1731 0.1304 0.1858 0.02035 0.1427 -0.6259 0.1419 0.7678 1 3.216 0.001782 0.0001475 0.03931 0.8471 1 -3.078e-7 0.0002748 0.01466 0.0003844 0.01961 0.4988 0.1037 0.09482 0.01351 1 1 0.003744 0.02931 0.01892 0.184 1.44 0.9297 json
t20_x53_u0_b184 20 53 0 184 sub(D,mod(min(R,R),R)) 170353 164553457 o2(x,o2(o2(x,x),x)) true 71231 71231 0.01619 0.5192 0.1601 0.05129 0.2265 -1 1 2 1 3.658 0.00226 0.0005529 0.04517 0.6068 1 0.00001029 0.0003297 0.01536 0.0007731 0.02781 0.6156 0.1958 0.05484 0.006428 1 1 0.006083 0.05953 0.09782 0.1186 1.161 1.907 json
t20_x53_u0_b185 20 53 0 185 sub(D,mod(dot(R,R),R)) 170354 164553458 o2(x,o2(o2(x,x),x)) true 71239 71239 -0.2435 0.1077 0.2542 0.03876 0.1969 -0.9959 0.1426 1.138 1 3.643 0.002015 0.0003884 0.04335 0.6768 1 0.000006724 0.0003045 0.01491 0.0005239 0.02289 0.528 0.1433 0.062 0.007856 1 1 0.004583 0.04018 0.05434 0.1182 1.037 1.402 json
t20_x53_u0_b186 20 53 0 186 sub(D,mod(dst(R,R),R)) 170355 164553459 o2(x,o2(o2(x,x),x)) true 71247 71247 0 0.5 0.09436 0.01082 0.104 -0.1454 0.1454 0.2908 1 2.561 0.001632 0 0.03609 1 1 0 0.0002563 0.01459 0.0003304 0.01818 0.5036 0.06192 0.1508 0.02368 1 1 0.003151 0.02183 5.236e-15 0.2912 2.017 4.838e-13 json
t20_x53_u0_b187 20 53 0 187 sub(D,lrg(add(R,R),R)) 170356 164553460 o2(x,o2(o2(x,x),x)) true 71255 71255 -0.4726 0.1515 0.4954 0.1528 0.3909 -1 0.1454 1.145 1 4.044 0.003321 0.002384 0.06297 0.1641 1 -0.00001363 0.0006541 0.01751 0.00174 0.04171 0.6624 0.1713 0.03734 0.004282 1 1 0.01109 0.1243 0.2688 0.07262 0.8134 1.76 json
t20_x53_u0_b188 20 53 0 188 sub(D,lrg(sub(R,R),R)) 170357 164553461 o2(x,o2(o2(x,x),x)) true 71263 71263 -0.506 0.1368 0.5261 0.1526 0.3906 -1 0.1454 1.145 1 3.995 0.003337 0.002385 0.06259 0.1665 1 -0.00004054 0.0006666 0.01756 0.001805 0.04249 0.6788 0.1713 0.0375 0.004369 1 1 0.0112 0.125 0.2676 0.07343 0.8196 1.754 json
t20_x53_u0_b189 20 53 0 189 sub(D,lrg(mlt(R,R),R)) 170358 164553462 o2(x,o2(o2(x,x),x)) true 71271 71271 -0.506 0.1368 0.5261 0.1526 0.3906 -1 0.1454 1.145 1 3.995 0.003337 0.002385 0.06259 0.1665 1 -0.00004054 0.0006666 0.01756 0.001805 0.04249 0.6788 0.1713 0.0375 0.004369 1 1 0.0112 0.125 0.2676 0.07343 0.8196 1.754 json
t20_x53_u0_b190 20 53 0 190 sub(D,lrg(div(R,R),R)) 170359 164553463 o2(x,o2(o2(x,x),x)) true 71279 71279 -0.9529 0 0.9529 0.003185 0.05644 -1 -0.8546 0.1454 1 1.329 0.0007092 0 0.01796 1 1 -0.0001582 0.0003006 0.01323 0.0003863 0.01965 1.094 0.05567 0.2227 0.09439 1 1 0.001259 0.005463 0 0.3952 1.715 0 json
t20_x53_u0_b191 20 53 0 191 sub(D,lrg(pow(R,R),R)) 170360 164553464 o2(x,o2(o2(x,x),x)) true 71287 71287 -0.9529 0 0.9529 0.003185 0.05644 -1 -0.8546 0.1454 1 1.329 0.0007092 0 0.01796 1 1 -0.0001582 0.0003006 0.01323 0.0003863 0.01965 1.094 0.05567 0.2227 0.09439 1 1 0.001259 0.005463 0 0.3952 1.715 0 json
t20_x53_u0_b192 20 53 0 192 sub(D,lrg(mod(R,R),R)) 170361 164553465 o2(x,o2(o2(x,x),x)) true 71295 71295 -0.3852 0.2061 0.4181 0.1524 0.3904 -1 0.1454 1.145 1 4.061 0.0033 0.002187 0.062 0.2028 1 -0.00000594 0.000618 0.01736 0.001644 0.04054 0.6539 0.1713 0.036 0.004054 1 1 0.01055 0.1158 0.2546 0.06919 0.7596 1.67 json
t20_x53_u0_b193 20 53 0 193 sub(D,lrg(lrg(R,R),R)) 170362 164553466 o2(x,o2(o2(x,x),x)) true 71303 71303 -0.506 0.1368 0.5261 0.1526 0.3906 -1 0.1454 1.145 1 3.995 0.003337 0.002385 0.06259 0.1665 1 -0.00004054 0.0006666 0.01756 0.001805 0.04249 0.6788 0.1713 0.0375 0.004369 1 1 0.0112 0.125 0.2676 0.07343 0.8196 1.754 json
t20_x53_u0_b194 20 53 0 194 sub(D,lrg(eql(R,R),R)) 170363 164553467 o2(x,o2(o2(x,x),x)) true 71311 71311 -0.9529 0 0.9529 0.003185 0.05644 -1 -0.8546 0.1454 1 1.329 0.0007092 0 0.01796 1 1 -0.0001582 0.0003006 0.01323 0.0003863 0.01965 1.094 0.05567 0.2227 0.09439 1 1 0.001259 0.005463 0 0.3952 1.715 0 json
t20_x53_u0_b195 20 53 0 195 sub(D,lrg(min(R,R),R)) 170364 164553468 o2(x,o2(o2(x,x),x)) true 71319 71319 0 0.5 0.09436 0.01082 0.104 -0.1454 0.1454 0.2908 1 2.561 0.001632 0 0.0361 1 1 0 0.0002563 0.01459 0.0003304 0.01818 0.5036 0.06192 0.1508 0.02368 1 1 0.003151 0.02183 0 0.2912 2.017 0 json
t20_x53_u0_b196 20 53 0 196 sub(D,lrg(dot(R,R),R)) 170365 164553469 o2(x,o2(o2(x,x),x)) true 71327 71327 -0.9129 0.005859 0.9134 0.02635 0.1623 -1 0.09645 1.096 1 1.929 0.001182 0.0003786 0.02514 0.5149 1 -0.0001583 0.0003788 0.01405 0.0009291 0.03048 1.212 0.1713 0.05924 0.01437 1 1 0.002018 0.01454 0.02448 0.07659 0.5517 0.9291 json
t20_x53_u0_b197 20 53 0 197 sub(D,lrg(dst(R,R),R)) 170366 164553470 o2(x,o2(o2(x,x),x)) true 71335 71335 -0.506 0.1368 0.5261 0.1526 0.3906 -1 0.1454 1.145 1 3.995 0.003337 0.002385 0.06259 0.1665 1 -0.00004054 0.0006666 0.01756 0.001805 0.04249 0.6788 0.1713 0.0375 0.004369 1 1 0.0112 0.125 0.2676 0.07343 0.8196 1.754 json
t20_x53_u0_b198 20 53 0 198 sub(D,eql(add(R,R),R)) 170367 164553471 o2(x,o2(o2(x,x),x)) true 71343 71343 0 0.5 0.09436 0.01082 0.104 -0.1454 0.1454 0.2908 1 2.561 0.001632 0 0.0361 1 1 0 0.0002563 0.01459 0.0003304 0.01818 0.5036 0.06192 0.1508 0.02368 1 1 0.003151 0.02183 0 0.2912 2.017 0 json
t20_x53_u0_b199 20 53 0 199 sub(D,eql(sub(R,R),R)) 170368 164553472 o2(x,o2(o2(x,x),x)) true 71351 71351 0 0.5 0.09436 0.01082 0.104 -0.1454 0.1454 0.2908 1 2.561 0.001632 0 0.0361 1 1 0 0.0002563 0.01459 0.0003304 0.01818 0.5036 0.06192 0.1508 0.02368 1 1 0.003151 0.02183 0 0.2912 2.017 0 json
t20_x53_u0_b200 20 53 0 200 sub(D,eql(mlt(R,R),R)) 170369 164553473 o2(x,o2(o2(x,x),x)) true 71359 71359 0 0.5 0.09436 0.01082 0.104 -0.1454 0.1454 0.2908 1 2.561 0.001632 0 0.0361 1 1 0 0.0002563 0.01459 0.0003304 0.01818 0.5036 0.06192 0.1508 0.02368 1 1 0.003151 0.02183 0 0.2912 2.017 0 json
t20_x54_u0_b0 20 54 0 0 add(R,add(add(P,P),P)) 170370 164593674 o2(x,o2(o2(x,x),x)) true 71367 71367 -0.004856 0.4971 0.9763 0.9675 0.9836 -1 1 2 1 1.449 0.002005 0.0001438 0.008629 0.8661 1 -0.000004683 0.0006832 0.004537 0.002075 0.04556 5.279 0.4798 0.002221 0.0007062 1 1 0.005323 0.05054 0.3154 0.005501 0.05223 0.326 json
t20_x54_u0_b1 20 54 0 1 add(R,add(sub(P,P),P)) 170371 164593675 o2(x,o2(o2(x,x),x)) true 71375 71375 0.003757 0.4974 0.9428 0.9208 0.9596 -1 1 2 1 1.952 0.001169 0.000358 0.0111 0.5311 1 -0.00002042 0.0002765 0.003741 0.001403 0.03746 3.374 0.312 0.001658 0.0003002 1 1 0.003726 0.04331 0.2691 0.004046 0.04703 0.2923 json
t20_x54_u0_b2 20 54 0 2 add(R,add(mlt(P,P),P)) 170372 164593676 o2(x,o2(o2(x,x),x)) true 71383 71383 0.893 0.949 0.9331 0.1132 0.3365 -0.9969 1 1.997 1 1.118 0.001739 0.0003945 0.01289 0.6302 1 -0.00002463 0.0004143 0.0045 0.001969 0.04437 3.443 0.4156 0.01884 0.003658 1 1 0.005146 0.05569 0.2048 0.04544 0.4918 1.808 json
t20_x54_u0_b3 20 54 0 3 add(R,add(div(P,P),P)) 170373 164593677 o2(x,o2(o2(x,x),x)) true 71391 71391 -0.0837 0.4525 0.9704 0.9543 0.9769 -1 1 2 1 1.491 0.02278 0.00022 0.01837 0.9809 1 -0.000005759 0.04457 0.02697 0.02268 0.1506 8.199 2 0.0241 0.04671 1 1 0.03057 0.1274 0.4142 0.03204 0.1335 0.4341 json
t20_x54_u0_b4 20 54 0 4 add(R,add(pow(P,P),P)) 170374 164593678 o2(x,o2(o2(x,x),x)) true 71399 71399 -0.006063 0.5 0.9939 0.9912 0.9956 -1 1 2 1 1.139 0.01174 0.00003847 0.008167 0.9935 1 -0.000004333 0.02315 0.0141 0.01171 0.1082 13.25 2 0.01189 0.02336 1 1 0.01625 0.07474 0.3288 0.0164 0.0754 0.3317 json
t20_x54_u0_b5 20 54 0 5 add(R,add(mod(P,P),P)) 170375 164593679 o2(x,o2(o2(x,x),x)) true 71407 71407 -0.1213 0.4375 0.992 0.9739 0.9869 -1 1 2 1 1.199 0.0153 0.0000739 0.01075 0.9904 1 -0.000007567 0.03034 0.0185 0.01526 0.1235 11.5 2 0.01578 0.03116 1 1 0.02016 0.08452 0.3399 0.0207 0.08678 0.349 json
t20_x54_u0_b6 20 54 0 6 add(R,add(lrg(P,P),P)) 170376 164593680 o2(x,o2(o2(x,x),x)) true 71415 71415 0.003757 0.4974 0.9428 0.9208 0.9596 -1 1 2 1 1.952 0.001169 0.000358 0.0111 0.5311 1 -0.00002042 0.0002765 0.003741 0.001403 0.03746 3.374 0.312 0.001658 0.0003002 1 1 0.003726 0.04331 0.2691 0.004046 0.04703 0.2923 json
t20_x54_u0_b7 20 54 0 7 add(R,add(eql(P,P),P)) 170377 164593681 o2(x,o2(o2(x,x),x)) true 71423 71423 0.1255 0.5668 0.9355 0.8987 0.948 -1 1 2 1 1.952 0.001079 0.0004194 0.01134 0.4404 1 -0.00002108 0.0002783 0.003845 0.001371 0.03702 3.266 0.2958 0.001668 0.0003097 1 1 0.003527 0.03939 0.2567 0.003925 0.04383 0.2856 json
t20_x54_u0_b8 20 54 0 8 add(R,add(min(P,P),P)) 170378 164593682 o2(x,o2(o2(x,x),x)) true 71431 71431 -0.004747 0.4969 0.9711 0.9603 0.9799 -1 1 2 1 1.54 0.001615 0.0001665 0.008829 0.8131 1 -0.000007571 0.0004 0.003603 0.001703 0.04126 4.674 0.4156 0.001855 0.0004165 1 1 0.004549 0.04762 0.3084 0.004737 0.04959 0.3212 json
t20_x54_u0_b9 20 54 0 9 add(R,add(dot(P,P),P)) 170379 164593683 o2(x,o2(o2(x,x),x)) true 71439 71439 0.995 0.9986 0.9956 0.003779 0.06147 -0.3377 1 1.338 1 0.1134 0.00009759 0.0001079 0.001273 -0.05001 1 -2.253e-11 0.00006633 0.0006073 0.000204 0.01428 11.22 0.2993 0.05437 0.01755 1 1 0.0006785 0.006719 0.0138 0.1796 1.778 3.652 json
t20_x54_u0_b10 20 54 0 10 add(R,add(dst(P,P),P)) 170380 164593684 o2(x,o2(o2(x,x),x)) true 71447 71447 0.003757 0.4974 0.9428 0.9208 0.9596 -1 1 2 1 1.952 0.001169 0.000358 0.0111 0.5311 1 -0.00002042 0.0002765 0.003741 0.001403 0.03746 3.374 0.312 0.001658 0.0003002 1 1 0.003726 0.04331 0.2691 0.004046 0.04703 0.2923 json
t20_x54_u0_b11 20 54 0 11 add(R,sub(add(P,P),P)) 170381 164593685 o2(x,o2(o2(x,x),x)) true 71455 71455 0.003757 0.4974 0.9428 0.9208 0.9596 -1 1 2 1 1.952 0.001169 0.000358 0.0111 0.5311 1 -0.00002042 0.0002765 0.003741 0.001403 0.03746 3.374 0.312 0.001658 0.0003002 1 1 0.003726 0.04331 0.2691 0.004046 0.04703 0.2923 json
t20_x54_u0_b12 20 54 0 12 add(R,sub(sub(P,P),P)) 170382 164593686 o2(x,o2(o2(x,x),x)) true 71463 71463 0.004612 0.4968 0.9368 0.913 0.9555 -1 1 2 1 2.013 0.001147 0.000385 0.01159 0.4976 1 -0.00002051 0.0002745 0.003871 0.001399 0.0374 3.228 0.3332 0.001679 0.0003007 1 1 0.003782 0.0437 0.2627 0.004142 0.04787 0.2877 json
t20_x54_u0_b13 20 54 0 13 add(R,sub(mlt(P,P),P)) 170383 164593687 o2(x,o2(o2(x,x),x)) true 71471 71471 0.899 0.9545 0.9353 0.1052 0.3244 -0.9526 1 1.953 1 1.1 0.001731 0.0003775 0.01293 0.642 1 -0.00002667 0.0004116 0.004465 0.001942 0.04407 3.407 0.4362 0.02005 0.003912 1 1 0.005266 0.05691 0.1868 0.05006 0.5409 1.775 json
t20_x54_u0_b14 20 54 0 14 add(R,sub(div(P,P),P)) 170384 164593688 o2(x,o2(o2(x,x),x)) true 71479 71479 -0.0807 0.4534 0.9697 0.9525 0.976 -1 1 2 1 1.529 0.02386 0.0002281 0.01949 0.9811 1 -0.000003828 0.04653 0.02792 0.0237 0.1539 7.901 2 0.02529 0.04885 1 1 0.03182 0.1333 0.404 0.0334 0.1399 0.4241 json
t20_x54_u0_b15 20 54 0 15 add(R,sub(pow(P,P),P)) 170385 164593689 o2(x,o2(o2(x,x),x)) true 71487 71487 -0.04827 0.4854 0.9599 0.9435 0.9713 -1 1 2 1 1.649 0.01232 0.0002687 0.01385 0.9573 1 -0.00001958 0.02336 0.01575 0.01239 0.1113 8.035 2 0.01334 0.02476 1 1 0.01847 0.09011 0.2744 0.01958 0.09551 0.2908 json
t20_x54_u0_b16 20 54 0 16 add(R,sub(mod(P,P),P)) 170386 164593690 o2(x,o2(o2(x,x),x)) true 71495 71495 -0.1178 0.4438 0.8232 0.7541 0.8684 -1 1 2 1 3.097 0.02354 0.001033 0.05161 0.916 1 0.00001486 0.03388 0.04067 0.02192 0.148 2.869 2.006 0.03259 0.04493 1 1 0.03379 0.1894 0.4907 0.04481 0.2511 0.6508 json
t20_x54_u0_b17 20 54 0 17 add(R,sub(lrg(P,P),P)) 170387 164593691 o2(x,o2(o2(x,x),x)) true 71503 71503 0.004612 0.4968 0.9368 0.913 0.9555 -1 1 2 1 2.013 0.001147 0.000385 0.01159 0.4976 1 -0.00002051 0.0002745 0.003871 0.001399 0.0374 3.228 0.3332 0.001679 0.0003007 1 1 0.003782 0.0437 0.2627 0.004142 0.04787 0.2877 json
t20_x54_u0_b18 20 54 0 18 add(R,sub(eql(P,P),P)) 170388 164593692 o2(x,o2(o2(x,x),x)) true 71511 71511 0.1314 0.5697 0.9365 0.8966 0.9469 -1 1 2 1 1.987 0.001167 0.0004286 0.01183 0.4629 1 -0.00001997 0.0002741 0.003953 0.001456 0.03815 3.225 0.3135 0.00178 0.0003058 1 1 0.003965 0.04478 0.2462 0.004422 0.04994 0.2745 json
t20_x54_u0_b19 20 54 0 19 add(R,sub(min(P,P),P)) 170389 164593693 o2(x,o2(o2(x,x),x)) true 71519 71519 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
t20_x54_u0_b20 20 54 0 20 add(R,sub(dot(P,P),P)) 170390 164593694 o2(x,o2(o2(x,x),x)) true 71527 71527 0.9956 0.9991 0.9958 0.002927 0.0541 -0.1799 1 1.18 1 0.1093 0.00008603 0.00008477 0.001129 0.007375 1 -2.253e-11 0.00005805 0.0005669 0.0001694 0.01301 11.53 0.292 0.05835 0.01983 1 1 0.0005601 0.005305 0.0107 0.1914 1.812 3.657 json
t20_x54_u0_b21 20 54 0 21 add(R,sub(dst(P,P),P)) 170391 164593695 o2(x,o2(o2(x,x),x)) true 71535 71535 0.004612 0.4968 0.9368 0.913 0.9555 -1 1 2 1 2.013 0.001147 0.000385 0.01159 0.4976 1 -0.00002051 0.0002745 0.003871 0.001399 0.0374 3.228 0.3332 0.001679 0.0003007 1 1 0.003782 0.0437 0.2627 0.004142 0.04787 0.2877 json
t20_x54_u0_b22 20 54 0 22 add(R,mlt(add(P,P),P)) 170392 164593696 o2(x,o2(o2(x,x),x)) true 71543 71543 0.9497 0.9766 0.97 0.0569 0.2385 -0.952 1 1.952 1 0.6055 0.001961 0.0001707 0.009778 0.8398 1 -0.00001312 0.0004869 0.004075 0.002038 0.04514 4.617 0.4362 0.03746 0.008558 1 1 0.005141 0.05132 0.09878 0.09036 0.9019 1.736 json
t20_x54_u0_b23 20 54 0 23 add(R,mlt(sub(P,P),P)) 170393 164593697 o2(x,o2(o2(x,x),x)) true 71551 71551 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
t20_x54_u0_b24 20 54 0 24 add(R,mlt(mlt(P,P),P)) 170394 164593698 o2(x,o2(o2(x,x),x)) true 71559 71559 0.002005 0.4974 0.9466 0.9266 0.9626 -1 1 2 1 1.885 0.001336 0.0003252 0.01081 0.6085 1 -0.00001663 0.0004743 0.004293 0.001544 0.03929 3.636 0.3727 0.001793 0.0005119 1 1 0.003952 0.04353 0.2739 0.004265 0.04698 0.2955 json
t20_x54_u0_b25 20 54 0 25 add(R,mlt(div(P,P),P)) 170395 164593699 o2(x,o2(o2(x,x),x)) true 71567 71567 -0.1213 0.4375 0.992 0.9739 0.9869 -1 1 2 1 1.199 0.0153 0.0000739 0.01075 0.9904 1 -0.000007567 0.03034 0.0185 0.01526 0.1235 11.5 2 0.01578 0.03116 1 1 0.02016 0.08452 0.3399 0.0207 0.08678 0.349 json
t20_x54_u0_b26 20 54 0 26 add(R,mlt(pow(P,P),P)) 170396 164593700 o2(x,o2(o2(x,x),x)) true 71575 71575 -0.03569 0.4858 0.9764 0.9662 0.983 -1 1 2 1 1.452 0.004996 0.0001508 0.008881 0.9414 1 -0.00001452 0.008685 0.00885 0.005069 0.07119 8.017 1.829 0.005327 0.008989 1 1 0.008079 0.05257 0.3066 0.008362 0.05441 0.3173 json
t20_x54_u0_b27 20 54 0 27 add(R,mlt(mod(P,P),P)) 170397 164593701 o2(x,o2(o2(x,x),x)) true 71583 71583 0.4214 0.7126 0.7961 0.558 0.747 -1 1 2 1 3.037 0.0282 0.001244 0.05543 0.9155 1 -0.004053 0.03956 0.05167 0.02636 0.1624 2.929 1.943 0.05276 0.07089 1 1 0.04715 0.2802 0.7611 0.08449 0.5022 1.364 json
t20_x54_u0_b28 20 54 0 28 add(R,mlt(lrg(P,P),P)) 170398 164593702 o2(x,o2(o2(x,x),x)) true 71591 71591 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
t20_x54_u0_b29 20 54 0 29 add(R,mlt(eql(P,P),P)) 170399 164593703 o2(x,o2(o2(x,x),x)) true 71599 71599 0.003757 0.4974 0.9428 0.9208 0.9596 -1 1 2 1 1.952 0.001169 0.000358 0.0111 0.5311 1 -0.00002042 0.0002765 0.003741 0.001403 0.03746 3.374 0.312 0.001658 0.0003002 1 1 0.003726 0.04331 0.2691 0.004046 0.04703 0.2923 json