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_b31 20 53 0 31 add(D,mlt(dot(R,R),R)) 170200 164553304 o2(x,o2(o2(x,x),x)) true 70007 70007 0.03089 0.5181 0.4606 0.3244 0.5696 -1 1 2 1 4.783 0.005935 0.005142 0.08147 0.07162 1 0.00003771 0.00158 0.02331 0.004438 0.06662 0.8177 0.4673 0.03415 0.004872 1 1 0.02113 0.235 0.579 0.06514 0.7244 1.785 json
t20_x53_u0_b32 20 53 0 32 add(D,mlt(dst(R,R),R)) 170201 164553305 o2(x,o2(o2(x,x),x)) true 70015 70015 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_b33 20 53 0 33 add(D,div(add(R,R),R)) 170202 164553306 o2(x,o2(o2(x,x),x)) true 70023 70023 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
t20_x53_u0_b34 20 53 0 34 add(D,div(sub(R,R),R)) 170203 164553307 o2(x,o2(o2(x,x),x)) true 70031 70031 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_b35 20 53 0 35 add(D,div(mlt(R,R),R)) 170204 164553308 o2(x,o2(o2(x,x),x)) true 70039 70039 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_b36 20 53 0 36 add(D,div(div(R,R),R)) 170205 164553309 o2(x,o2(o2(x,x),x)) true 70047 70047 -0.06115 0.4688 0.8925 0.8515 0.9228 -1 1 2 1 2.564 0.03114 0.03767 0.1114 -0.09482 1 0.0000152 0.06776 0.08397 0.05641 0.2375 2.132 2.828 0.08081 0.07957 1 1 0.1068 0.7652 1.69 0.1255 0.8986 1.984 json
t20_x53_u0_b37 20 53 0 37 add(D,div(pow(R,R),R)) 170206 164553310 o2(x,o2(o2(x,x),x)) true 70055 70055 -0.9142 0.04297 0.9999 0.164 0.405 -1 1 2 1 0.2625 0.01687 0.01628 0.01658 0.01805 1 7.895e-7 0.06935 0.03331 0.03287 0.1813 10.93 2.828 0.2022 0.4229 1 1 0.0253 0.1092 0.2747 0.1543 0.6658 1.675 json
t20_x53_u0_b38 20 53 0 38 add(D,div(mod(R,R),R)) 170207 164553311 o2(x,o2(o2(x,x),x)) true 70063 70063 0.2195 0.6821 0.275 0.1179 0.3433 -0.1454 1 1.145 1 3.837 0.002882 0.00139 0.05432 0.3491 1 -0.00001574 0.0004876 0.01638 0.001323 0.03637 0.6696 0.1713 0.03625 0.004137 1 1 0.008867 0.09461 0.2155 0.07523 0.8027 1.828 json
t20_x53_u0_b39 20 53 0 39 add(D,div(lrg(R,R),R)) 170208 164553312 o2(x,o2(o2(x,x),x)) true 70071 70071 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_b40 20 53 0 40 add(D,div(eql(R,R),R)) 170209 164553313 o2(x,o2(o2(x,x),x)) true 70079 70079 -0.06115 0.4688 0.8925 0.8515 0.9228 -1 1 2 1 2.564 0.03114 0.03767 0.1114 -0.09482 1 0.0000152 0.06776 0.08397 0.05641 0.2375 2.132 2.828 0.08081 0.07957 1 1 0.1068 0.7652 1.69 0.1255 0.8986 1.984 json
t20_x53_u0_b41 20 53 0 41 add(D,div(min(R,R),R)) 170210 164553314 o2(x,o2(o2(x,x),x)) true 70087 70087 0.9529 1 0.9529 0.003185 0.05644 0.8546 1 0.1454 1 1.329 0.0007155 2.814e-17 0.01812 1 1 0.0001582 0.0003006 0.01323 0.0003869 0.01967 1.085 0.05567 0.2246 0.09439 1 1 0.0013 0.005463 4.789e-16 0.4081 1.715 1.504e-13 json
t20_x53_u0_b42 20 53 0 42 add(D,div(dot(R,R),R)) 170211 164553315 o2(x,o2(o2(x,x),x)) true 70095 70095 -0.02732 0.4853 0.8723 0.8266 0.9092 -1 1 2 1 2.784 0.02508 0.03531 0.1106 -0.1694 1 0.0004524 0.05139 0.07398 0.04813 0.2194 1.983 2.458 0.07305 0.06217 1 1 0.09878 0.7324 1.624 0.1195 0.8861 1.964 json
t20_x53_u0_b43 20 53 0 43 add(D,div(dst(R,R),R)) 170212 164553316 o2(x,o2(o2(x,x),x)) true 70103 70103 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_b44 20 53 0 44 add(D,pow(add(R,R),R)) 170213 164553317 o2(x,o2(o2(x,x),x)) true 70111 70111 -0.9155 0.04297 0.9986 0.1593 0.3991 -1 1 2 1 0.3026 0.01626 0.01568 0.01668 0.01801 1 -0.000002137 0.06677 0.0329 0.03165 0.1779 10.67 2.828 0.2005 0.4191 1 1 0.02461 0.1066 0.2687 0.1545 0.669 1.687 json
t20_x53_u0_b45 20 53 0 45 add(D,pow(sub(R,R),R)) 170214 164553318 o2(x,o2(o2(x,x),x)) true 70119 70119 -0.8398 0.08008 0.9611 0.2521 0.5021 -1 1 2 1 0.6838 0.02956 0.03297 0.03633 -0.05464 1 -0.00001004 0.1324 0.07102 0.06117 0.2473 6.808 2.828 0.2481 0.5253 1 1 0.06153 0.2537 0.535 0.2441 1.007 2.123 json
t20_x53_u0_b46 20 53 0 46 add(D,pow(mlt(R,R),R)) 170215 164553319 o2(x,o2(o2(x,x),x)) true 70127 70127 0.8819 1 0.8819 0.03139 0.1772 0.335 1 0.665 1 2.126 0.001398 0.0008477 0.02724 0.2451 1 -0.0000522 0.0008054 0.0136 0.001503 0.03877 1.423 0.2053 0.07155 0.02566 1 1 0.004127 0.03286 0.05207 0.1315 1.047 1.659 json
t20_x53_u0_b47 20 53 0 47 add(D,pow(div(R,R),R)) 170216 164553320 o2(x,o2(o2(x,x),x)) true 70135 70135 0.9529 1 0.9529 0.003185 0.05644 0.8546 1 0.1454 1 1.329 0.0007155 5.594e-18 0.01812 1 1 0.0001582 0.0003006 0.01323 0.0003869 0.01967 1.085 0.05567 0.2246 0.09439 1 1 0.0013 0.005463 9.428e-17 0.4081 1.715 2.96e-14 json
t20_x53_u0_b48 20 53 0 48 add(D,pow(pow(R,R),R)) 170217 164553321 o2(x,o2(o2(x,x),x)) true 70143 70143 -0.9192 0.04297 0.9948 0.1457 0.3817 -1 1 2 1 0.3493 0.01505 0.0144 0.01669 0.0219 1 0.000002363 0.06161 0.03177 0.02917 0.1708 10.23 2.641 0.2021 0.4228 1 1 0.02224 0.09589 0.2434 0.1527 0.6581 1.671 json
t20_x53_u0_b49 20 53 0 49 add(D,pow(mod(R,R),R)) 170218 164553322 o2(x,o2(o2(x,x),x)) true 70151 70151 -0.8537 0.0788 0.9686 0.2341 0.4838 -1 1 2 1 0.6942 0.0283 0.02863 0.0336 -0.005798 1 -0.00001429 0.1202 0.06441 0.05584 0.2363 7.033 2.828 0.2432 0.5134 1 1 0.04758 0.1992 0.4358 0.2033 0.851 1.862 json
t20_x53_u0_b50 20 53 0 50 add(D,pow(lrg(R,R),R)) 170219 164553323 o2(x,o2(o2(x,x),x)) true 70159 70159 -0.8398 0.08008 0.9611 0.2521 0.5021 -1 1 2 1 0.6838 0.02956 0.03297 0.03633 -0.05464 1 -0.00001004 0.1324 0.07102 0.06117 0.2473 6.808 2.828 0.2481 0.5253 1 1 0.06153 0.2537 0.535 0.2441 1.007 2.123 json
t20_x53_u0_b51 20 53 0 51 add(D,pow(eql(R,R),R)) 170220 164553324 o2(x,o2(o2(x,x),x)) true 70167 70167 0.9529 1 0.9529 0.003185 0.05644 0.8546 1 0.1454 1 1.329 0.0007155 0 0.01812 1 1 0.0001582 0.0003006 0.01323 0.0003869 0.01967 1.085 0.05567 0.2246 0.09439 1 1 0.0013 0.005463 2.693e-15 0.4081 1.715 8.454e-13 json
t20_x53_u0_b52 20 53 0 52 add(D,pow(min(R,R),R)) 170221 164553325 o2(x,o2(o2(x,x),x)) true 70175 70175 -0.9235 0.04297 0.9906 0.1309 0.3618 -1 1 2 1 0.3776 0.01336 0.01297 0.01602 0.01462 1 -0.000003947 0.05498 0.03004 0.02606 0.1614 10.08 2.62 0.2011 0.42 1 1 0.0201 0.08695 0.2189 0.1536 0.6642 1.672 json
t20_x53_u0_b53 20 53 0 53 add(D,pow(dot(R,R),R)) 170222 164553326 o2(x,o2(o2(x,x),x)) true 70183 70183 0.929 1 0.929 0.01359 0.1166 0.3653 1 0.6347 1 1.754 0.0009246 0.0002247 0.02016 0.609 1 0.00005084 0.0004096 0.01094 0.0007431 0.02726 1.352 0.1835 0.08454 0.03013 1 1 0.00192 0.01389 0.02017 0.1412 1.022 1.483 json
t20_x53_u0_b54 20 53 0 54 add(D,pow(dst(R,R),R)) 170223 164553327 o2(x,o2(o2(x,x),x)) true 70191 70191 -0.8398 0.08008 0.9611 0.2521 0.5021 -1 1 2 1 0.6838 0.02956 0.03297 0.03633 -0.05464 1 -0.00001004 0.1324 0.07102 0.06117 0.2473 6.808 2.828 0.2481 0.5253 1 1 0.06153 0.2537 0.535 0.2441 1.007 2.123 json
t20_x53_u0_b55 20 53 0 55 add(D,mod(add(R,R),R)) 170224 164553328 o2(x,o2(o2(x,x),x)) true 70199 70199 -0.0162 0.481 0.1598 0.0507 0.2252 -1 1 2 1 3.66 0.00223 0.000553 0.04522 0.6027 1 -0.0000106 0.0003255 0.01525 0.0007393 0.02719 0.6013 0.2707 0.0549 0.006419 1 1 0.006034 0.05922 0.09785 0.119 1.168 1.93 json
t20_x53_u0_b56 20 53 0 56 add(D,mod(sub(R,R),R)) 170225 164553329 o2(x,o2(o2(x,x),x)) true 70207 70207 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_b57 20 53 0 57 add(D,mod(mlt(R,R),R)) 170226 164553330 o2(x,o2(o2(x,x),x)) true 70215 70215 0.3492 0.9193 0.3578 0.06782 0.2604 -0.144 1 1.144 1 4.016 0.002354 0.0008003 0.04923 0.4925 1 -8.213e-7 0.000355 0.01524 0.0007303 0.02702 0.5489 0.1655 0.04651 0.005235 1 1 0.005848 0.05668 0.1066 0.08622 0.8358 1.571 json
t20_x53_u0_b58 20 53 0 58 add(D,mod(div(R,R),R)) 170227 164553331 o2(x,o2(o2(x,x),x)) true 70223 70223 0.1731 0.8709 0.1857 0.02005 0.1416 -0.1428 0.608 0.7508 1 3.21 0.001767 0.0001475 0.0391 0.8459 1 3.079e-7 0.0002728 0.0146 0.0003854 0.01963 0.502 0.1069 0.09546 0.0136 1 1 0.003675 0.02874 0.01892 0.1833 1.433 0.9436 json
t20_x53_u0_b59 20 53 0 59 add(D,mod(pow(R,R),R)) 170228 164553332 o2(x,o2(o2(x,x),x)) true 70231 70231 -0.9523 0.03226 0.9632 0.05152 0.227 -1 0.4321 1.432 1 0.3878 0.005415 0.005064 0.01064 0.03345 1 -0.00001218 0.02181 0.01906 0.01037 0.1018 9.571 1.825 0.2034 0.4234 1 1 0.008411 0.03583 0.08995 0.1633 0.6955 1.746 json
t20_x53_u0_b60 20 53 0 60 add(D,mod(mod(R,R),R)) 170229 164553333 o2(x,o2(o2(x,x),x)) true 70239 70239 -0.0162 0.481 0.1598 0.0507 0.2252 -1 1 2 1 3.66 0.00223 0.000553 0.04522 0.6027 1 -0.0000106 0.0003255 0.01525 0.0007393 0.02719 0.6013 0.2707 0.0549 0.006419 1 1 0.006034 0.05922 0.09785 0.119 1.168 1.93 json
t20_x53_u0_b61 20 53 0 61 add(D,mod(lrg(R,R),R)) 170230 164553334 o2(x,o2(o2(x,x),x)) true 70247 70247 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_b62 20 53 0 62 add(D,mod(eql(R,R),R)) 170231 164553335 o2(x,o2(o2(x,x),x)) true 70255 70255 0.1731 0.8709 0.1857 0.02005 0.1416 -0.1428 0.608 0.7508 1 3.21 0.001767 0.0001475 0.0391 0.8459 1 3.079e-7 0.0002728 0.0146 0.0003854 0.01963 0.502 0.1069 0.09546 0.0136 1 1 0.003675 0.02874 0.01892 0.1833 1.433 0.9436 json
t20_x53_u0_b63 20 53 0 63 add(D,mod(min(R,R),R)) 170232 164553336 o2(x,o2(o2(x,x),x)) true 70263 70263 -0.0162 0.481 0.1598 0.0507 0.2252 -1 1 2 1 3.66 0.00223 0.000553 0.04522 0.6027 1 -0.0000106 0.0003255 0.01525 0.0007393 0.02719 0.6013 0.2707 0.0549 0.006419 1 1 0.006034 0.05922 0.09785 0.119 1.168 1.93 json
t20_x53_u0_b64 20 53 0 64 add(D,mod(dot(R,R),R)) 170233 164553337 o2(x,o2(o2(x,x),x)) true 70271 70271 0.2435 0.8965 0.2539 0.03785 0.1946 -0.1409 0.9706 1.111 1 3.633 0.001969 0.0003884 0.04294 0.6705 1 -0.000006724 0.0002981 0.01475 0.0005138 0.02267 0.5279 0.1329 0.06228 0.007876 1 1 0.004517 0.03967 0.05434 0.1193 1.048 1.436 json
t20_x53_u0_b65 20 53 0 65 add(D,mod(dst(R,R),R)) 170234 164553338 o2(x,o2(o2(x,x),x)) true 70279 70279 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_b66 20 53 0 66 add(D,lrg(add(R,R),R)) 170235 164553339 o2(x,o2(o2(x,x),x)) true 70287 70287 0.4724 0.846 0.4956 0.1536 0.3919 -0.1454 1 1.145 1 4.04 0.003373 0.002386 0.06328 0.1715 1 0.00003424 0.0006621 0.01757 0.001756 0.0419 0.6622 0.1713 0.0375 0.004311 1 1 0.01136 0.1266 0.2692 0.07399 0.8245 1.753 json
t20_x53_u0_b67 20 53 0 67 add(D,lrg(sub(R,R),R)) 170236 164553340 o2(x,o2(o2(x,x),x)) true 70295 70295 0.5062 0.8656 0.5258 0.1517 0.3895 -0.1454 1 1.145 1 3.999 0.003288 0.002384 0.06236 0.1595 1 0.00002588 0.0006581 0.01749 0.001784 0.04224 0.6773 0.1713 0.03738 0.004338 1 1 0.01096 0.1227 0.2673 0.07224 0.8088 1.762 json
t20_x53_u0_b68 20 53 0 68 add(D,lrg(mlt(R,R),R)) 170237 164553341 o2(x,o2(o2(x,x),x)) true 70303 70303 0.5062 0.8656 0.5258 0.1517 0.3895 -0.1454 1 1.145 1 3.999 0.003288 0.002384 0.06236 0.1595 1 0.00002588 0.0006581 0.01749 0.001784 0.04224 0.6773 0.1713 0.03738 0.004338 1 1 0.01096 0.1227 0.2673 0.07224 0.8088 1.762 json
t20_x53_u0_b69 20 53 0 69 add(D,lrg(div(R,R),R)) 170238 164553342 o2(x,o2(o2(x,x),x)) true 70311 70311 0.9529 1 0.9529 0.003185 0.05644 0.8546 1 0.1454 1 1.329 0.0007155 0 0.01812 1 1 0.0001582 0.0003006 0.01323 0.0003869 0.01967 1.085 0.05567 0.2246 0.09439 1 1 0.0013 0.005463 0 0.4081 1.715 0 json
t20_x53_u0_b70 20 53 0 70 add(D,lrg(pow(R,R),R)) 170239 164553343 o2(x,o2(o2(x,x),x)) true 70319 70319 0.9529 1 0.9529 0.003185 0.05644 0.8546 1 0.1454 1 1.329 0.0007155 0 0.01812 1 1 0.0001582 0.0003006 0.01323 0.0003869 0.01967 1.085 0.05567 0.2246 0.09439 1 1 0.0013 0.005463 0 0.4081 1.715 0 json
t20_x53_u0_b71 20 53 0 71 add(D,lrg(mod(R,R),R)) 170240 164553344 o2(x,o2(o2(x,x),x)) true 70327 70327 0.3854 0.7971 0.4178 0.1515 0.3892 -0.1454 1 1.145 1 4.065 0.003248 0.002187 0.0617 0.1952 1 -0.000006559 0.0006085 0.01723 0.00163 0.04038 0.6544 0.1713 0.03588 0.004017 1 1 0.0103 0.1136 0.2557 0.06799 0.7497 1.687 json
t20_x53_u0_b72 20 53 0 72 add(D,lrg(lrg(R,R),R)) 170241 164553345 o2(x,o2(o2(x,x),x)) true 70335 70335 0.5062 0.8656 0.5258 0.1517 0.3895 -0.1454 1 1.145 1 3.999 0.003288 0.002384 0.06236 0.1595 1 0.00002588 0.0006581 0.01749 0.001784 0.04224 0.6773 0.1713 0.03738 0.004338 1 1 0.01096 0.1227 0.2673 0.07224 0.8088 1.762 json
t20_x53_u0_b73 20 53 0 73 add(D,lrg(eql(R,R),R)) 170242 164553346 o2(x,o2(o2(x,x),x)) true 70343 70343 0.9529 1 0.9529 0.003185 0.05644 0.8546 1 0.1454 1 1.329 0.0007155 0 0.01812 1 1 0.0001582 0.0003006 0.01323 0.0003869 0.01967 1.085 0.05567 0.2246 0.09439 1 1 0.0013 0.005463 0 0.4081 1.715 0 json
t20_x53_u0_b74 20 53 0 74 add(D,lrg(min(R,R),R)) 170243 164553347 o2(x,o2(o2(x,x),x)) true 70351 70351 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_b75 20 53 0 75 add(D,lrg(dot(R,R),R)) 170244 164553348 o2(x,o2(o2(x,x),x)) true 70359 70359 0.913 0.9946 0.9135 0.02586 0.1608 -0.09645 1 1.096 1 1.932 0.001163 0.0003778 0.02527 0.5096 1 0.0001548 0.000374 0.01399 0.0009027 0.03004 1.189 0.1713 0.05959 0.01446 1 1 0.002062 0.01454 0.02448 0.07973 0.5621 0.9467 json
t20_x53_u0_b76 20 53 0 76 add(D,lrg(dst(R,R),R)) 170245 164553349 o2(x,o2(o2(x,x),x)) true 70367 70367 0.5062 0.8656 0.5258 0.1517 0.3895 -0.1454 1 1.145 1 3.999 0.003288 0.002384 0.06236 0.1595 1 0.00002588 0.0006581 0.01749 0.001784 0.04224 0.6773 0.1713 0.03738 0.004338 1 1 0.01096 0.1227 0.2673 0.07224 0.8088 1.762 json
t20_x53_u0_b77 20 53 0 77 add(D,eql(add(R,R),R)) 170246 164553350 o2(x,o2(o2(x,x),x)) true 70375 70375 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_b78 20 53 0 78 add(D,eql(sub(R,R),R)) 170247 164553351 o2(x,o2(o2(x,x),x)) true 70383 70383 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_b79 20 53 0 79 add(D,eql(mlt(R,R),R)) 170248 164553352 o2(x,o2(o2(x,x),x)) true 70391 70391 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_b80 20 53 0 80 add(D,eql(div(R,R),R)) 170249 164553353 o2(x,o2(o2(x,x),x)) true 70399 70399 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_b81 20 53 0 81 add(D,eql(pow(R,R),R)) 170250 164553354 o2(x,o2(o2(x,x),x)) true 70407 70407 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_b82 20 53 0 82 add(D,eql(mod(R,R),R)) 170251 164553355 o2(x,o2(o2(x,x),x)) true 70415 70415 0.2195 0.6821 0.275 0.1179 0.3433 -0.1454 1 1.145 1 3.837 0.002882 0.00139 0.05432 0.3491 1 -0.00001574 0.0004876 0.01638 0.001323 0.03637 0.6696 0.1713 0.03625 0.004137 1 1 0.008867 0.09461 0.2155 0.07523 0.8027 1.828 json
t20_x53_u0_b83 20 53 0 83 add(D,eql(lrg(R,R),R)) 170252 164553356 o2(x,o2(o2(x,x),x)) true 70423 70423 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_b84 20 53 0 84 add(D,eql(eql(R,R),R)) 170253 164553357 o2(x,o2(o2(x,x),x)) true 70431 70431 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_b85 20 53 0 85 add(D,eql(min(R,R),R)) 170254 164553358 o2(x,o2(o2(x,x),x)) true 70439 70439 0.9529 1 0.9529 0.003185 0.05644 0.8546 1 0.1454 1 1.329 0.0007155 0 0.01812 1 1 0.0001582 0.0003006 0.01323 0.0003869 0.01967 1.085 0.05567 0.2246 0.09439 1 1 0.0013 0.005463 2.693e-15 0.4081 1.715 8.454e-13 json
t20_x53_u0_b86 20 53 0 86 add(D,eql(dot(R,R),R)) 170255 164553359 o2(x,o2(o2(x,x),x)) true 70447 70447 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_b87 20 53 0 87 add(D,eql(dst(R,R),R)) 170256 164553360 o2(x,o2(o2(x,x),x)) true 70455 70455 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_b88 20 53 0 88 add(D,min(add(R,R),R)) 170257 164553361 o2(x,o2(o2(x,x),x)) true 70463 70463 -0.1766 0.4198 0.5384 0.3625 0.6021 -1 1 2 1 4.698 0.006592 0.005858 0.0867 0.05895 1 0.0000891 0.001698 0.0247 0.004935 0.07025 0.8103 0.4012 0.03435 0.004684 1 1 0.02427 0.2746 0.6244 0.06695 0.7576 1.722 json
t20_x53_u0_b89 20 53 0 89 add(D,min(sub(R,R),R)) 170258 164553362 o2(x,o2(o2(x,x),x)) true 70471 70471 -0.2538 0.1931 0.2834 0.07633 0.2763 -1 0.1454 1.145 1 3.993 0.002414 0.0009265 0.05053 0.4454 1 0.00001476 0.0003685 0.01558 0.000788 0.02807 0.5555 0.1711 0.04377 0.004828 1 1 0.006327 0.06247 0.1055 0.0829 0.8184 1.383 json
t20_x53_u0_b90 20 53 0 90 add(D,min(mlt(R,R),R)) 170259 164553363 o2(x,o2(o2(x,x),x)) true 70479 70479 -0.07111 0.433 0.3521 0.1831 0.4279 -1 1 2 1 4.775 0.003903 0.002502 0.06914 0.2186 1 0.00003514 0.0005488 0.01822 0.001625 0.04031 0.5831 0.281 0.03498 0.002997 1 1 0.01252 0.1416 0.3053 0.06837 0.7733 1.667 json
t20_x53_u0_b91 20 53 0 91 add(D,min(div(R,R),R)) 170260 164553364 o2(x,o2(o2(x,x),x)) true 70487 70487 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_b92 20 53 0 92 add(D,min(pow(R,R),R)) 170261 164553365 o2(x,o2(o2(x,x),x)) true 70495 70495 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_b93 20 53 0 93 add(D,min(mod(R,R),R)) 170262 164553366 o2(x,o2(o2(x,x),x)) true 70503 70503 -0.2088 0.2575 0.2961 0.1053 0.3245 -1 1 2 1 4.335 0.002815 0.001318 0.05552 0.3622 1 0.000002456 0.0004152 0.01623 0.00105 0.0324 0.5835 0.2707 0.03924 0.003942 1 1 0.008164 0.08616 0.1686 0.07751 0.818 1.6 json
t20_x53_u0_b94 20 53 0 94 add(D,min(lrg(R,R),R)) 170263 164553367 o2(x,o2(o2(x,x),x)) true 70511 70511 -0.2538 0.1931 0.2834 0.07633 0.2763 -1 0.1454 1.145 1 3.993 0.002414 0.0009265 0.05053 0.4454 1 0.00001476 0.0003685 0.01558 0.000788 0.02807 0.5555 0.1711 0.04377 0.004828 1 1 0.006327 0.06247 0.1055 0.0829 0.8184 1.383 json
t20_x53_u0_b95 20 53 0 95 add(D,min(eql(R,R),R)) 170264 164553368 o2(x,o2(o2(x,x),x)) true 70519 70519 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_b96 20 53 0 96 add(D,min(min(R,R),R)) 170265 164553369 o2(x,o2(o2(x,x),x)) true 70527 70527 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_b97 20 53 0 97 add(D,min(dot(R,R),R)) 170266 164553370 o2(x,o2(o2(x,x),x)) true 70535 70535 0.004608 0.4956 0.3982 0.2279 0.4774 -1 1 2 1 4.895 0.004453 0.003131 0.07522 0.1744 1 0.00003189 0.000623 0.01932 0.001925 0.04387 0.5832 0.2845 0.03327 0.002734 1 1 0.015 0.1736 0.3876 0.06583 0.7617 1.701 json
t20_x53_u0_b98 20 53 0 98 add(D,min(dst(R,R),R)) 170267 164553371 o2(x,o2(o2(x,x),x)) true 70543 70543 -0.2538 0.1931 0.2834 0.07633 0.2763 -1 0.1454 1.145 1 3.993 0.002414 0.0009265 0.05053 0.4454 1 0.00001476 0.0003685 0.01558 0.000788 0.02807 0.5555 0.1711 0.04377 0.004828 1 1 0.006327 0.06247 0.1055 0.0829 0.8184 1.383 json
t20_x53_u0_b99 20 53 0 99 add(D,dot(add(R,R),R)) 170268 164553372 o2(x,o2(o2(x,x),x)) true 70551 70551 0.9664 0.9998 0.9664 0.01458 0.1207 -0.04911 1 1.049 1 0.7926 0.0005933 0.0006891 0.0107 -0.07474 1 -0.00002518 0.0006284 0.006878 0.001168 0.03417 3.193 0.3152 0.08798 0.04311 1 1 0.001837 0.01334 0.01984 0.126 0.9152 1.361 json
t20_x53_u0_b100 20 53 0 100 add(D,dot(sub(R,R),R)) 170269 164553373 o2(x,o2(o2(x,x),x)) true 70559 70559 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_b101 20 53 0 101 add(D,dot(mlt(R,R),R)) 170270 164553374 o2(x,o2(o2(x,x),x)) true 70567 70567 0.02172 0.5197 0.401 0.2454 0.4953 -1 1 2 1 4.86 0.004616 0.003483 0.07413 0.1398 1 0.0000181 0.0008855 0.01987 0.002604 0.05103 0.6883 0.4007 0.03301 0.003609 1 1 0.01642 0.1861 0.4496 0.0669 0.7586 1.832 json
t20_x53_u0_b102 20 53 0 102 add(D,dot(div(R,R),R)) 170271 164553375 o2(x,o2(o2(x,x),x)) true 70575 70575 0.01322 0.5133 0.5384 0.4039 0.6355 -1 1 2 1 4.747 0.007587 0.006616 0.08927 0.0684 1 0.00003197 0.002372 0.02647 0.006234 0.07895 0.8845 0.4593 0.03516 0.005873 1 1 0.02904 0.3176 0.7534 0.07189 0.7863 1.865 json
t20_x53_u0_b103 20 53 0 103 add(D,dot(pow(R,R),R)) 170272 164553376 o2(x,o2(o2(x,x),x)) true 70583 70583 -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_b104 20 53 0 104 add(D,dot(mod(R,R),R)) 170273 164553377 o2(x,o2(o2(x,x),x)) true 70591 70591 0.2135 0.7549 0.2514 0.08048 0.2837 -0.1454 1 1.145 1 3.884 0.002551 0.001059 0.05086 0.4134 1 -0.00001934 0.0004499 0.01603 0.001023 0.03199 0.6289 0.2547 0.04485 0.00559 1 1 0.007423 0.07386 0.1499 0.09224 0.9178 1.862 json
t20_x53_u0_b105 20 53 0 105 add(D,dot(lrg(R,R),R)) 170274 164553378 o2(x,o2(o2(x,x),x)) true 70599 70599 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_b106 20 53 0 106 add(D,dot(eql(R,R),R)) 170275 164553379 o2(x,o2(o2(x,x),x)) true 70607 70607 0.01322 0.5133 0.5384 0.4039 0.6355 -1 1 2 1 4.747 0.007587 0.006616 0.08927 0.0684 1 0.00003197 0.002372 0.02647 0.006234 0.07895 0.8845 0.4593 0.03516 0.005873 1 1 0.02904 0.3176 0.7534 0.07189 0.7863 1.865 json
t20_x53_u0_b107 20 53 0 107 add(D,dot(min(R,R),R)) 170276 164553380 o2(x,o2(o2(x,x),x)) true 70615 70615 0.8404 0.999 0.8405 0.05338 0.231 -0.08038 1 1.08 1 2.517 0.00161 0.001106 0.032 0.1856 1 -0.0000348 0.0006995 0.01323 0.001691 0.04112 1.285 0.2446 0.05087 0.0131 1 1 0.004754 0.04396 0.08192 0.08906 0.8236 1.535 json
t20_x53_u0_b108 20 53 0 108 add(D,dot(dot(R,R),R)) 170277 164553381 o2(x,o2(o2(x,x),x)) true 70623 70623 0.04977 0.5349 0.5493 0.4268 0.6533 -1 1 2 1 4.59 0.008497 0.008235 0.08879 0.01564 1 0.00004476 0.004244 0.03127 0.008848 0.09407 1.059 0.797 0.0392 0.009943 1 1 0.0347 0.3456 0.8365 0.08129 0.8098 1.96 json
t20_x53_u0_b109 20 53 0 109 add(D,dot(dst(R,R),R)) 170278 164553382 o2(x,o2(o2(x,x),x)) true 70631 70631 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_b110 20 53 0 110 add(D,dst(add(R,R),R)) 170279 164553383 o2(x,o2(o2(x,x),x)) true 70639 70639 0.8888 1 0.8888 0.0262 0.1619 0.002826 1 0.9972 1 2.248 0.001131 0.0004542 0.02575 0.4269 1 0.000003883 0.0004209 0.01165 0.0009222 0.03037 1.179 0.1718 0.0605 0.01606 1 1 0.00275 0.02293 0.03627 0.105 0.8751 1.384 json
t20_x53_u0_b111 20 53 0 111 add(D,dst(sub(R,R),R)) 170280 164553384 o2(x,o2(o2(x,x),x)) true 70647 70647 0.8888 1 0.8888 0.0262 0.1619 0.002826 1 0.9972 1 2.248 0.001131 0.0004542 0.02575 0.4269 1 0.000003883 0.0004209 0.01165 0.0009222 0.03037 1.179 0.1718 0.0605 0.01606 1 1 0.00275 0.02293 0.03627 0.105 0.8751 1.384 json
t20_x53_u0_b112 20 53 0 112 add(D,dst(mlt(R,R),R)) 170281 164553385 o2(x,o2(o2(x,x),x)) true 70655 70655 0.829 1 0.8291 0.05637 0.2374 -0.01156 1 1.012 1 2.529 0.001715 0.001239 0.03286 0.161 1 -0.00009104 0.0008383 0.01414 0.001875 0.0433 1.317 0.2528 0.0524 0.01487 1 1 0.00564 0.05035 0.09127 0.1001 0.8932 1.619 json
t20_x53_u0_b113 20 53 0 113 add(D,dst(div(R,R),R)) 170282 164553386 o2(x,o2(o2(x,x),x)) true 70663 70663 0.9922 1 0.9922 0.002609 0.05108 0.2987 1 0.7013 1 0.2727 0.0001741 0.0001662 0.003335 0.0231 1 -1.134e-7 0.0001872 0.002376 0.0003294 0.01815 5.443 0.2117 0.1304 0.07174 1 1 0.0008677 0.005971 0.006654 0.3326 2.289 2.55 json
t20_x53_u0_b114 20 53 0 114 add(D,dst(pow(R,R),R)) 170283 164553387 o2(x,o2(o2(x,x),x)) true 70671 70671 -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_b115 20 53 0 115 add(D,dst(mod(R,R),R)) 170284 164553388 o2(x,o2(o2(x,x),x)) true 70679 70679 0.785 0.9982 0.7851 0.05274 0.2297 -0.1127 1 1.113 1 3.125 0.001742 0.0008429 0.0378 0.3478 1 0.00002361 0.0005061 0.01398 0.001156 0.03399 0.8992 0.1984 0.04901 0.009596 1 1 0.005172 0.04915 0.08337 0.09806 0.9319 1.581 json
t20_x53_u0_b116 20 53 0 116 add(D,dst(lrg(R,R),R)) 170285 164553389 o2(x,o2(o2(x,x),x)) true 70687 70687 0.8888 1 0.8888 0.0262 0.1619 0.002826 1 0.9972 1 2.248 0.001131 0.0004542 0.02575 0.4269 1 0.000003883 0.0004209 0.01165 0.0009222 0.03037 1.179 0.1718 0.0605 0.01606 1 1 0.00275 0.02293 0.03627 0.105 0.8751 1.384 json
t20_x53_u0_b117 20 53 0 117 add(D,dst(eql(R,R),R)) 170286 164553390 o2(x,o2(o2(x,x),x)) true 70695 70695 0.9922 1 0.9922 0.002609 0.05108 0.2987 1 0.7013 1 0.2727 0.0001741 0.0001662 0.003335 0.0231 1 -1.136e-7 0.0001872 0.002376 0.0003294 0.01815 5.443 0.2117 0.1304 0.07174 1 1 0.0008677 0.005971 0.006654 0.3326 2.289 2.55 json
t20_x53_u0_b118 20 53 0 118 add(D,dst(min(R,R),R)) 170287 164553391 o2(x,o2(o2(x,x),x)) true 70703 70703 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_b119 20 53 0 119 add(D,dst(dot(R,R),R)) 170288 164553392 o2(x,o2(o2(x,x),x)) true 70711 70711 0.9692 1 0.9692 0.01203 0.1097 0.01029 1 0.9897 1 0.7817 0.0005316 0.0005167 0.009752 0.01427 1 -0.00001542 0.000498 0.006117 0.0009535 0.03088 3.166 0.299 0.08716 0.0414 1 1 0.001573 0.01216 0.017 0.1308 1.011 1.413 json
t20_x53_u0_b120 20 53 0 120 add(D,dst(dst(R,R),R)) 170289 164553393 o2(x,o2(o2(x,x),x)) true 70719 70719 0.8888 1 0.8888 0.0262 0.1619 0.002826 1 0.9972 1 2.248 0.001131 0.0004542 0.02575 0.4269 1 0.000003883 0.0004209 0.01165 0.0009222 0.03037 1.179 0.1718 0.0605 0.01606 1 1 0.00275 0.02293 0.03627 0.105 0.8751 1.384 json
t20_x53_u0_b121 20 53 0 121 sub(D,add(add(R,R),R)) 170290 164553394 o2(x,o2(o2(x,x),x)) true 70727 70727 -0.006629 0.5017 0.7716 0.6944 0.8333 -1 1 2 1 3.659 0.01457 0.0157 0.102 -0.03735 1 0.00000677 0.009061 0.042 0.01985 0.1409 1.381 0.6818 0.04358 0.01305 1 1 0.0579 0.5533 1.244 0.08339 0.7969 1.791 json
t20_x53_u0_b122 20 53 0 122 sub(D,add(sub(R,R),R)) 170291 164553395 o2(x,o2(o2(x,x),x)) true 70735 70735 -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_b123 20 53 0 123 sub(D,add(mlt(R,R),R)) 170292 164553396 o2(x,o2(o2(x,x),x)) true 70743 70743 -0.3062 0.3393 0.4142 0.1991 0.4462 -1 0.3913 1.391 1 4.2 0.004366 0.00323 0.06723 0.1495 1 0.00004802 0.001279 0.0207 0.003077 0.05547 0.8252 0.3041 0.03816 0.006426 1 1 0.0151 0.163 0.3801 0.07583 0.819 1.909 json
t20_x53_u0_b124 20 53 0 124 sub(D,add(div(R,R),R)) 170293 164553397 o2(x,o2(o2(x,x),x)) true 70751 70751 -0.804 0.007645 0.8047 0.07291 0.27 -1 0.1206 1.121 1 2.749 0.002023 0.001466 0.03674 0.1596 1 0.00006559 0.0009207 0.01514 0.002139 0.04625 1.259 0.2462 0.04785 0.01263 1 1 0.006463 0.05976 0.1161 0.08864 0.8196 1.592 json
t20_x53_u0_b125 20 53 0 125 sub(D,add(pow(R,R),R)) 170294 164553398 o2(x,o2(o2(x,x),x)) true 70759 70759 -0.9995 0 0.9995 0.00007395 0.0086 -1 -0.763 0.237 1 0.03023 0.00001246 0.00001258 0.0002834 -0.004957 0 -0.00000318 0.00004064 0.0003707 0.00002498 0.004998 17.63 0.2375 0.3387 0.5495 1 1 0.00002308 0.00009481 0.0001458 0.3121 1.282 1.971 json
t20_x53_u0_b126 20 53 0 126 sub(D,add(mod(R,R),R)) 170295 164553399 o2(x,o2(o2(x,x),x)) true 70767 70767 0.001621 0.506 0.4627 0.3016 0.5492 -1 1 2 1 4.948 0.005635 0.004444 0.08147 0.1182 1 -0.00003606 0.001149 0.02168 0.003442 0.05867 0.7202 0.3783 0.03341 0.003808 1 1 0.02089 0.2394 0.5578 0.06926 0.7935 1.849 json
t20_x53_u0_b127 20 53 0 127 sub(D,add(lrg(R,R),R)) 170296 164553400 o2(x,o2(o2(x,x),x)) true 70775 70775 -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_b128 20 53 0 128 sub(D,add(eql(R,R),R)) 170297 164553401 o2(x,o2(o2(x,x),x)) true 70783 70783 -0.804 0.007645 0.8047 0.07291 0.27 -1 0.1206 1.121 1 2.749 0.002023 0.001466 0.03674 0.1596 1 0.00006559 0.0009207 0.01514 0.002139 0.04625 1.259 0.2462 0.04785 0.01263 1 1 0.006463 0.05976 0.1161 0.08864 0.8196 1.592 json
t20_x53_u0_b129 20 53 0 129 sub(D,add(min(R,R),R)) 170298 164553402 o2(x,o2(o2(x,x),x)) true 70791 70791 -0.01335 0.502 0.6602 0.5478 0.7401 -1 1 2 1 4.398 0.009642 0.009717 0.09747 -0.003882 1 -0.00003038 0.003483 0.03061 0.00986 0.0993 1.019 0.4578 0.03534 0.006359 1 1 0.03781 0.4162 0.9773 0.06902 0.7597 1.784 json
t20_x53_u0_b130 20 53 0 130 sub(D,add(dot(R,R),R)) 170299 164553403 o2(x,o2(o2(x,x),x)) true 70799 70799 -0.7592 0.02553 0.7641 0.09649 0.3106 -1 0.2868 1.287 1 3.009 0.002792 0.00204 0.04391 0.1555 1 0.00009356 0.00137 0.01862 0.002904 0.05388 1.227 0.3211 0.05008 0.0142 1 1 0.009042 0.08493 0.1787 0.0937 0.8802 1.852 json