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_x77_u0_b107 20 77 0 107 add(R,dot(min(R,D),R)) 175100 165523004 o2(x,o2(o2(x,x),x)) true 109207 109207 0.4703 0.8561 0.505 0.1418 0.3765 -0.3784 1 1.378 1 4.206 0.00253 0.002602 0.05551 -0.01398 1 -0.00008635 0.0007471 0.01607 0.002051 0.04529 0.8158 0.2488 0.0362 0.005269 1 1 0.0103 0.1187 0.2859 0.07261 0.8373 2.017 json
t20_x77_u0_b108 20 77 0 108 add(R,dot(dot(R,D),R)) 175101 165523005 o2(x,o2(o2(x,x),x)) true 109215 109215 0.005424 0.4897 0.4138 0.2459 0.4959 -1 1 2 1 4.91 0.003735 0.004273 0.07438 -0.0673 1 0.00007714 0.0006858 0.01868 0.002475 0.04975 0.6689 0.3322 0.03257 0.002789 1 1 0.01615 0.1975 0.4555 0.06569 0.8033 1.852 json
t20_x77_u0_b109 20 77 0 109 add(R,dot(dst(R,D),R)) 175102 165523006 o2(x,o2(o2(x,x),x)) true 109223 109223 0.02076 0.5093 0.6819 0.5793 0.7611 -1 1 2 1 4.215 0.01009 0.01197 0.09332 -0.08503 1 0.00006587 0.005945 0.03474 0.01335 0.1156 1.238 0.7469 0.03808 0.01026 1 1 0.04332 0.4275 1.054 0.07478 0.738 1.819 json
t20_x77_u0_b110 20 77 0 110 add(R,dst(add(R,D),R)) 175103 165523007 o2(x,o2(o2(x,x),x)) true 109231 109231 0.4316 0.8003 0.5432 0.2164 0.4652 -0.9541 1 1.954 1 4.419 0.004497 0.004863 0.08004 -0.03911 1 -0.0005922 0.001202 0.02418 0.002953 0.05434 0.6789 0.2559 0.04326 0.005554 1 1 0.01827 0.188 0.3424 0.08445 0.8686 1.582 json
t20_x77_u0_b111 20 77 0 111 add(R,dst(sub(R,D),R)) 175104 165523008 o2(x,o2(o2(x,x),x)) true 109239 109239 0.4316 0.8003 0.5432 0.2164 0.4652 -0.9541 1 1.954 1 4.419 0.004497 0.004863 0.08004 -0.03911 1 -0.0005922 0.001202 0.02418 0.002953 0.05434 0.6789 0.2559 0.04326 0.005554 1 1 0.01827 0.188 0.3424 0.08445 0.8686 1.582 json
t20_x77_u0_b112 20 77 0 112 add(R,dst(mlt(R,D),R)) 175105 165523009 o2(x,o2(o2(x,x),x)) true 109247 109247 0.7785 0.9988 0.7786 0.07142 0.2672 -0.05942 1 1.059 1 2.926 0.001639 0.001753 0.03656 -0.0336 1 -0.0001006 0.0009466 0.01507 0.002055 0.04533 1.24 0.2627 0.0475 0.01326 1 1 0.006233 0.05996 0.1261 0.08727 0.8395 1.765 json
t20_x77_u0_b113 20 77 0 113 add(R,dst(div(R,D),R)) 175106 165523010 o2(x,o2(o2(x,x),x)) true 109255 109255 -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_x77_u0_b114 20 77 0 114 add(R,dst(pow(R,D),R)) 175107 165523011 o2(x,o2(o2(x,x),x)) true 109263 109263 -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.06344 31.76 2.828 0.259 0.5504 1 1 0.007091 0.02837 0.05496 0.4556 1.823 3.531 json
t20_x77_u0_b115 20 77 0 115 add(R,dst(mod(R,D),R)) 175108 165523012 o2(x,o2(o2(x,x),x)) true 109271 109271 0.523 0.899 0.5382 0.1517 0.3894 -0.3837 1 1.384 1 3.843 0.005129 0.005738 0.07634 -0.0561 1 0.0002016 0.01689 0.09024 0.00504 0.07099 0.9299 0.4477 0.07166 0.1114 1 1 0.01379 0.1195 0.276 0.09092 0.7877 1.82 json
t20_x77_u0_b116 20 77 0 116 add(R,dst(lrg(R,D),R)) 175109 165523013 o2(x,o2(o2(x,x),x)) true 109279 109279 0.8203 1 0.8203 0.06727 0.2594 0.01948 1 0.9805 1 2.568 0.003731 0.003627 0.04222 0.01423 1 -0.00001938 0.01019 0.03684 0.005576 0.07467 1.769 0.8768 0.1094 0.1515 1 1 0.01015 0.0693 0.1165 0.1509 1.03 1.732 json
t20_x77_u0_b117 20 77 0 117 add(R,dst(eql(R,D),R)) 175110 165523014 o2(x,o2(o2(x,x),x)) true 109287 109287 0.7699 1 0.7699 0.07177 0.2679 0.03077 1 0.9692 1 2.953 0.001482 0.001604 0.03383 -0.03958 1 -0.00007241 0.0009308 0.01411 0.001942 0.04407 1.303 0.3534 0.04301 0.01297 1 1 0.005687 0.05645 0.1299 0.07925 0.7866 1.81 json
t20_x77_u0_b118 20 77 0 118 add(R,dst(min(R,D),R)) 175111 165523015 o2(x,o2(o2(x,x),x)) true 109295 109295 0.5123 0.8228 0.6083 0.2348 0.4845 -0.9105 1 1.91 1 3.936 0.00399 0.004779 0.06525 -0.08999 1 -0.00007413 0.001743 0.02227 0.004511 0.06717 1.029 0.3736 0.03735 0.007426 1 1 0.01641 0.1737 0.4026 0.06991 0.7399 1.715 json
t20_x77_u0_b119 20 77 0 119 add(R,dst(dot(R,D),R)) 175112 165523016 o2(x,o2(o2(x,x),x)) true 109303 109303 0.8055 0.998 0.8056 0.06463 0.2542 -0.124 1 1.124 1 2.746 0.001789 0.001854 0.03723 -0.01797 1 -0.0001849 0.001087 0.0164 0.002257 0.04751 1.276 0.2826 0.05636 0.01682 1 1 0.006569 0.05957 0.1085 0.1016 0.9218 1.679 json
t20_x77_u0_b120 20 77 0 120 add(R,dst(dst(R,D),R)) 175113 165523017 o2(x,o2(o2(x,x),x)) true 109311 109311 0.9922 1 0.9922 0.002515 0.05015 0.1001 1 0.8999 1 0.2896 0.0001803 0.0002353 0.00388 -0.1325 1 -0.00002392 0.0002564 0.003088 0.0004007 0.02002 5.159 0.2505 0.1653 0.102 1 1 0.0006911 0.004041 0.004797 0.2748 1.607 1.908 json
t20_x77_u0_b121 20 77 0 121 sub(R,add(add(R,D),R)) 175114 165523018 o2(x,o2(o2(x,x),x)) true 109319 109319 -0.009078 0.5012 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_x77_u0_b122 20 77 0 122 sub(R,add(sub(R,D),R)) 175115 165523019 o2(x,o2(o2(x,x),x)) true 109327 109327 -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_x77_u0_b123 20 77 0 123 sub(R,add(mlt(R,D),R)) 175116 165523020 o2(x,o2(o2(x,x),x)) true 109335 109335 -0.001509 0.4898 0.09077 0.0151 0.1229 -0.4889 0.4311 0.92 1 3.004 0.0007895 0.0002198 0.02769 0.5645 1 0.0000374 0.000103 0.008005 0.0002428 0.01558 0.5628 0.08276 0.06684 0.006818 1 1 0.001985 0.02214 0.02942 0.1314 1.466 1.949 json
t20_x77_u0_b124 20 77 0 124 sub(R,add(div(R,D),R)) 175117 165523021 o2(x,o2(o2(x,x),x)) true 109343 109343 -0.0102 0.4935 0.8024 0.7396 0.86 -1 1 2 1 3.328 0.2573 0.03211 0.239 0.7781 1 0.00006844 0.5792 0.3129 0.2324 0.482 2.017 2.828 0.3913 0.7831 1 1 0.3234 1.359 1.366 0.4372 1.837 1.847 json
t20_x77_u0_b125 20 77 0 125 sub(R,add(pow(R,D),R)) 175118 165523022 o2(x,o2(o2(x,x),x)) true 109351 109351 -0.9984 0 0.9984 0.0002493 0.01579 -1 -0.6564 0.3436 1 0.08772 0.00002174 0.00003215 0.0006949 -0.1933 0 -0.000002463 0.00007517 0.0006749 0.0000534 0.007308 10.52 0.3436 0.2161 0.3015 1 1 0.00005662 0.0002902 0.0005013 0.2271 1.164 2.011 json
t20_x77_u0_b126 20 77 0 126 sub(R,add(mod(R,D),R)) 175119 165523023 o2(x,o2(o2(x,x),x)) true 109359 109359 0.006161 0.5231 0.09044 0.01497 0.1224 -0.4355 0.456 0.8915 1 2.997 0.006824 0.0002258 0.06342 0.9359 1 0.00001868 0.01816 0.09708 0.003027 0.05502 0.8674 0.39 0.4708 1.213 1 1 0.005404 0.01627 0.02848 0.3609 1.087 1.902 json
t20_x77_u0_b127 20 77 0 127 sub(R,add(lrg(R,D),R)) 175120 165523024 o2(x,o2(o2(x,x),x)) true 109367 109367 -0.4991 0 0.4991 0.1466 0.3829 -1 0 1 1 3.719 0.0202 0.00212 0.08082 0.81 1 -0.00001402 0.03815 0.07049 0.01579 0.1257 1.555 0.9997 0.1522 0.2602 1 1 0.02456 0.14 0.2709 0.1675 0.9551 1.848 json
t20_x77_u0_b128 20 77 0 128 sub(R,add(eql(R,D),R)) 175121 165523025 o2(x,o2(o2(x,x),x)) true 109375 109375 -0.00004008 0 0.00004008 0.00001031 0.00321 -0.3282 0 0.3282 1 0.003875 0.00001454 1.509e-7 0.00006305 0.9795 0 -1.17e-7 0.00004407 0.0001242 0.00001469 0.003832 60.78 0.3186 1.425 4.276 1 1 0 0 0.000007865 0 0 0.7631 json
t20_x77_u0_b129 20 77 0 129 sub(R,add(min(R,D),R)) 175122 165523026 o2(x,o2(o2(x,x),x)) true 109383 109383 0.2802 0.8336 0.3076 0.07392 0.2719 -0.1454 0.9989 1.144 1 4.044 0.001754 0.001001 0.04511 0.2733 1 -0.00002083 0.0002816 0.01333 0.00072 0.02683 0.5948 0.1528 0.03727 0.003809 1 1 0.005139 0.05796 0.1186 0.06952 0.784 1.604 json
t20_x77_u0_b130 20 77 0 130 sub(R,add(dot(R,D),R)) 175123 165523027 o2(x,o2(o2(x,x),x)) true 109391 109391 -0.004186 0.4807 0.1403 0.03119 0.1766 -0.5965 0.5259 1.122 1 3.548 0.001025 0.001036 0.04104 -0.005293 1 0.0001214 0.0002066 0.0116 0.0003766 0.01941 0.4729 0.1246 0.06608 0.006623 1 1 0.003983 0.04517 0.06353 0.1277 1.448 2.037 json
t20_x77_u0_b131 20 77 0 131 sub(R,add(dst(R,D),R)) 175124 165523028 o2(x,o2(o2(x,x),x)) true 109399 109399 -0.9181 0 0.9181 0.01978 0.1406 -1 -0.07175 0.9282 1 1.861 0.0006824 0.0007622 0.02203 -0.05522 1 0.00004027 0.0004199 0.009976 0.000959 0.03097 1.406 0.1814 0.07303 0.02123 1 1 0.002532 0.02334 0.03425 0.128 1.18 1.731 json
t20_x77_u0_b132 20 77 0 132 sub(R,sub(add(R,D),R)) 175125 165523029 o2(x,o2(o2(x,x),x)) true 109407 109407 0.009165 0.4978 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_x77_u0_b133 20 77 0 133 sub(R,sub(sub(R,D),R)) 175126 165523030 o2(x,o2(o2(x,x),x)) true 109415 109415 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_x77_u0_b134 20 77 0 134 sub(R,sub(mlt(R,D),R)) 175127 165523031 o2(x,o2(o2(x,x),x)) true 109423 109423 0.0126 0.4978 0.6601 0.5472 0.7398 -1 1 2 1 4.402 0.009051 0.00985 0.0943 -0.04228 1 0.00004324 0.003346 0.02948 0.01001 0.1 1.061 0.4752 0.03454 0.006114 1 1 0.03704 0.4123 0.9828 0.06768 0.7534 1.796 json
t20_x77_u0_b135 20 77 0 135 sub(R,sub(div(R,D),R)) 175128 165523032 o2(x,o2(o2(x,x),x)) true 109431 109431 -0.00979 0.4915 0.7976 0.7336 0.8565 -1 1 2 1 3.367 0.2631 0.03289 0.2469 0.7778 1 0.00005609 0.5869 0.3304 0.235 0.4847 1.963 2.828 0.4035 0.8001 1 1 0.3331 1.241 1.346 0.4541 1.691 1.835 json
t20_x77_u0_b136 20 77 0 136 sub(R,sub(pow(R,D),R)) 175129 165523033 o2(x,o2(o2(x,x),x)) true 109439 109439 -0.9533 0.02512 0.9734 0.05702 0.2388 -1 0.8934 1.893 1 0.4436 0.006045 0.006154 0.01215 -0.008922 1 0.00001728 0.02501 0.01916 0.01205 0.1098 9.038 2.446 0.2139 0.4386 1 1 0.01005 0.04414 0.09917 0.1762 0.7741 1.739 json
t20_x77_u0_b137 20 77 0 137 sub(R,sub(mod(R,D),R)) 175130 165523034 o2(x,o2(o2(x,x),x)) true 109447 109447 0.02053 0.5017 0.6098 0.4885 0.6989 -1 1 2 1 4.572 0.01233 0.008441 0.1012 0.1872 1 -0.00003152 0.01463 0.07796 0.01053 0.1026 1.014 0.8079 0.04251 0.02995 1 1 0.03522 0.3723 0.8753 0.07209 0.7622 1.792 json
t20_x77_u0_b138 20 77 0 138 sub(R,sub(lrg(R,D),R)) 175131 165523035 o2(x,o2(o2(x,x),x)) true 109455 109455 -0.3982 0.245 0.5783 0.2848 0.5337 -1 1 2 1 4.391 0.01862 0.004788 0.09557 0.5909 1 0.0001079 0.03104 0.06935 0.01428 0.1195 1.25 1.003 0.08219 0.109 1 1 0.03026 0.2314 0.5173 0.1062 0.8124 1.816 json
t20_x77_u0_b139 20 77 0 139 sub(R,sub(eql(R,D),R)) 175132 165523036 o2(x,o2(o2(x,x),x)) true 109463 109463 0.01368 0.4983 0.6591 0.5458 0.7388 -1 1 2 1 4.408 0.008741 0.009757 0.09342 -0.05494 1 0.0000296 0.003209 0.02884 0.009772 0.09885 1.058 0.4602 0.03389 0.00588 1 1 0.03624 0.4079 0.9798 0.0664 0.7475 1.795 json
t20_x77_u0_b140 20 77 0 140 sub(R,sub(min(R,D),R)) 175133 165523037 o2(x,o2(o2(x,x),x)) true 109471 109471 0.2212 0.5891 0.5486 0.3652 0.6043 -0.9988 1 1.999 1 4.563 0.005946 0.006041 0.08055 -0.007934 1 -0.00006466 0.001829 0.02431 0.005499 0.07416 0.9206 0.3488 0.03282 0.00501 1 1 0.0235 0.2699 0.6536 0.06435 0.7392 1.79 json
t20_x77_u0_b141 20 77 0 141 sub(R,sub(dot(R,D),R)) 175134 165523038 o2(x,o2(o2(x,x),x)) true 109479 109479 0.008957 0.4985 0.6632 0.5498 0.7415 -1 1 2 1 4.41 0.009109 0.01038 0.09677 -0.06521 1 0.00009346 0.003524 0.03056 0.01012 0.1006 1.04 0.4889 0.03545 0.006409 1 1 0.03835 0.424 0.9972 0.06976 0.7712 1.814 json
t20_x77_u0_b142 20 77 0 142 sub(R,sub(dst(R,D),R)) 175135 165523039 o2(x,o2(o2(x,x),x)) true 109487 109487 -0.618 0.1628 0.7134 0.2477 0.4977 -1 1 2 1 3.29 0.005639 0.005946 0.06583 -0.02645 1 0.0001989 0.002873 0.02591 0.007251 0.08515 1.293 0.4834 0.04677 0.0116 1 1 0.02216 0.2182 0.4471 0.08948 0.881 1.805 json
t20_x77_u0_b143 20 77 0 143 sub(R,mlt(add(R,D),R)) 175136 165523040 o2(x,o2(o2(x,x),x)) true 109495 109495 -0.2881 0.3319 0.3917 0.1798 0.4241 -1 0.3547 1.355 1 4.209 0.003021 0.002974 0.0582 0.007901 1 0.0000773 0.0008827 0.01672 0.002607 0.05106 0.8773 0.2788 0.03333 0.004908 1 1 0.01121 0.1289 0.2953 0.06232 0.7169 1.642 json
t20_x77_u0_b144 20 77 0 144 sub(R,mlt(sub(R,D),R)) 175137 165523041 o2(x,o2(o2(x,x),x)) true 109503 109503 -0.2865 0.3343 0.3935 0.1819 0.4265 -1 0.3558 1.356 1 4.227 0.002993 0.002974 0.05813 0.003177 1 0.00003706 0.0008703 0.01657 0.002588 0.05087 0.8751 0.2825 0.0328 0.004785 1 1 0.01121 0.1308 0.3026 0.06164 0.7191 1.664 json
t20_x77_u0_b145 20 77 0 145 sub(R,mlt(mlt(R,D),R)) 175138 165523042 o2(x,o2(o2(x,x),x)) true 109511 109511 0.009687 0.4977 0.3938 0.2225 0.4717 -1 1 2 1 4.879 0.003195 0.003221 0.0661 -0.004132 1 0.00001982 0.0004261 0.0153 0.002047 0.04524 0.6844 0.2428 0.02883 0.001915 1 1 0.01254 0.1581 0.3946 0.05637 0.7106 1.773 json
t20_x77_u0_b146 20 77 0 146 sub(R,mlt(div(R,D),R)) 175139 165523043 o2(x,o2(o2(x,x),x)) true 109519 109519 -0.001815 0.4913 0.669 0.5899 0.7681 -1 1 2 1 3.891 0.2608 0.00379 0.2421 0.9714 1 0.00003117 0.5017 0.3022 0.206 0.4539 1.875 2.058 0.4486 0.8505 1 1 0.2867 0.9885 0.2758 0.486 1.676 0.4676 json
t20_x77_u0_b147 20 77 0 147 sub(R,mlt(pow(R,D),R)) 175140 165523044 o2(x,o2(o2(x,x),x)) true 109527 109527 -0.9576 0.01773 0.9584 0.04018 0.2005 -1 0.07113 1.071 1 0.3209 0.004223 0.003941 0.008595 0.03453 1 0.000001231 0.01709 0.01662 0.008084 0.08991 10.46 1.409 0.2031 0.4252 1 1 0.0062 0.02654 0.06777 0.1543 0.6606 1.687 json
t20_x77_u0_b148 20 77 0 148 sub(R,mlt(mod(R,D),R)) 175141 165523045 o2(x,o2(o2(x,x),x)) true 109535 109535 -0.06261 0.4576 0.3968 0.2217 0.4709 -1 0.9682 1.968 1 4.853 0.005713 0.003189 0.07513 0.2836 1 0.0002081 0.008214 0.06248 0.003258 0.05708 0.7597 0.4384 0.04015 0.03704 1 1 0.0137 0.1553 0.3865 0.06178 0.7002 1.743 json
t20_x77_u0_b149 20 77 0 149 sub(R,mlt(lrg(R,D),R)) 175142 165523046 o2(x,o2(o2(x,x),x)) true 109543 109543 -0.2239 0.1253 0.239 0.07192 0.2682 -0.9987 0.2695 1.268 1 3.788 0.002334 0.0009974 0.04036 0.4012 1 -0.0000157 0.00329 0.02413 0.001702 0.04126 1.022 0.3515 0.04632 0.04574 1 1 0.004893 0.04676 0.1166 0.06803 0.6502 1.622 json
t20_x77_u0_b150 20 77 0 150 sub(R,mlt(eql(R,D),R)) 175143 165523047 o2(x,o2(o2(x,x),x)) true 109551 109551 0.009003 0.4984 0.3946 0.2196 0.4686 -0.9989 0.9806 1.979 1 4.862 0.002818 0.003169 0.06322 -0.0586 1 0.00002658 0.0003663 0.01456 0.001991 0.04463 0.7059 0.2301 0.02727 0.001668 1 1 0.01182 0.1519 0.3913 0.05385 0.6917 1.782 json
t20_x77_u0_b151 20 77 0 151 sub(R,mlt(min(R,D),R)) 175144 165523048 o2(x,o2(o2(x,x),x)) true 109559 109559 -0.1106 0.4501 0.4881 0.3248 0.5699 -1 1 2 1 4.799 0.004891 0.00518 0.07691 -0.02878 1 0.0001013 0.001166 0.0203 0.004157 0.06448 0.8384 0.3452 0.03101 0.003591 1 1 0.01939 0.2319 0.5604 0.05971 0.7139 1.725 json
t20_x77_u0_b152 20 77 0 152 sub(R,mlt(dot(R,D),R)) 175145 165523049 o2(x,o2(o2(x,x),x)) true 109567 109567 0.009305 0.4988 0.3943 0.2256 0.475 -1 1 2 1 4.883 0.003266 0.003503 0.06809 -0.03504 1 0.00003526 0.0004845 0.01595 0.002133 0.04618 0.6783 0.2649 0.03 0.002147 1 1 0.01323 0.1655 0.3992 0.05862 0.7333 1.769 json
t20_x77_u0_b153 20 77 0 153 sub(R,mlt(dst(R,D),R)) 175146 165523050 o2(x,o2(o2(x,x),x)) true 109575 109575 -0.009515 0.468 0.1127 0.02351 0.1533 -0.6646 0.6701 1.335 1 3.296 0.0006093 0.0004808 0.028 0.1179 1 -0.00003762 0.0001056 0.007833 0.000306 0.01749 0.6247 0.1206 0.04636 0.004489 1 1 0.00206 0.02289 0.04546 0.08761 0.9734 1.933 json
t20_x77_u0_b154 20 77 0 154 sub(R,div(add(R,D),R)) 175147 165523051 o2(x,o2(o2(x,x),x)) true 109583 109583 -0.5804 0.1424 0.7502 0.3395 0.5827 -1 1 2 1 3.218 0.02875 0.01085 0.09428 0.4521 1 -0.0001989 0.03864 0.06281 0.03072 0.1753 1.859 2.091 0.1166 0.1138 1 1 0.05377 0.3708 0.6206 0.1584 1.092 1.828 json
t20_x77_u0_b155 20 77 0 155 sub(R,div(sub(R,D),R)) 175148 165523052 o2(x,o2(o2(x,x),x)) true 109591 109591 -0.5773 0.1469 0.7554 0.3494 0.5911 -1 1 2 1 3.206 0.0298 0.01064 0.09637 0.4739 1 -0.0004236 0.03838 0.06247 0.03115 0.1765 1.831 2.055 0.1157 0.1098 1 1 0.06201 0.4287 0.6747 0.1775 1.227 1.931 json
t20_x77_u0_b156 20 77 0 156 sub(R,div(mlt(R,D),R)) 175149 165523053 o2(x,o2(o2(x,x),x)) true 109599 109599 0.009165 0.4978 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_x77_u0_b157 20 77 0 157 sub(R,div(div(R,D),R)) 175150 165523054 o2(x,o2(o2(x,x),x)) true 109607 109607 0.001765 0.5017 0.9134 0.8842 0.9403 -1 1 2 1 2.265 0.3192 0.0003831 0.2465 0.9976 1 0.000001922 0.5223 0.3324 0.2587 0.5086 2.063 2 0.3615 0.5907 1 1 0.3812 1.708 0.03916 0.4311 1.932 0.04429 json
t20_x77_u0_b158 20 77 0 158 sub(R,div(pow(R,D),R)) 175151 165523055 o2(x,o2(o2(x,x),x)) true 109615 109615 -0.9944 0 0.9944 0.002921 0.05405 -1 -0.1107 0.8893 1 0.1535 0.000489 0.0006545 0.002915 -0.1448 1 0.00008388 0.002164 0.003949 0.001134 0.03368 11.56 1.002 0.3914 0.7409 1 1 0.0009811 0.0035 0.004671 0.3358 1.198 1.599 json
t20_x77_u0_b159 20 77 0 159 sub(R,div(mod(R,D),R)) 175152 165523056 o2(x,o2(o2(x,x),x)) true 109623 109623 -0.3657 0.2714 0.5792 0.3004 0.5481 -1 0.968 1.968 1 4.567 0.03749 0.004001 0.142 0.8071 1 0.001115 0.07801 0.1883 0.02133 0.1461 1.029 0.9414 0.1381 0.2597 1 1 0.04302 0.2661 0.5147 0.1432 0.8857 1.713 json
t20_x77_u0_b160 20 77 0 160 sub(R,div(lrg(R,D),R)) 175153 165523057 o2(x,o2(o2(x,x),x)) true 109631 109631 -0.4076 0.1792 0.6722 0.3885 0.6233 -1 1 2 1 4.004 0.06858 0.01112 0.1176 0.7209 1 -0.00003436 0.1385 0.1376 0.06589 0.2567 2.183 2.828 0.2051 0.3565 1 1 0.09349 0.4243 0.7101 0.2406 1.092 1.828 json
t20_x77_u0_b161 20 77 0 161 sub(R,div(eql(R,D),R)) 175154 165523058 o2(x,o2(o2(x,x),x)) true 109639 109639 0.009047 0.4984 0.3946 0.2196 0.4686 -0.9989 0.9806 1.979 1 4.862 0.002855 0.003169 0.06328 -0.05217 1 0.00002671 0.0004758 0.01469 0.002019 0.04494 0.7102 0.5723 0.02743 0.002167 1 1 0.01182 0.1519 0.3913 0.05384 0.6917 1.782 json
t20_x77_u0_b162 20 77 0 162 sub(R,div(min(R,D),R)) 175155 165523059 o2(x,o2(o2(x,x),x)) true 109647 109647 -0.3225 0.3517 0.7591 0.5689 0.7543 -1 1 2 1 3.65 0.02228 0.01388 0.1118 0.2321 1 0.0002972 0.02255 0.05266 0.02366 0.1538 1.376 2.151 0.06356 0.03963 1 1 0.05999 0.5202 1.057 0.1055 0.9144 1.857 json
t20_x77_u0_b163 20 77 0 163 sub(R,div(dot(R,D),R)) 175156 165523060 o2(x,o2(o2(x,x),x)) true 109655 109655 0.003847 0.501 0.5618 0.4178 0.6464 -1 1 2 1 4.826 0.009568 0.02105 0.1133 -0.375 1 0.000006126 0.02527 0.04942 0.01777 0.1333 1.176 2.122 0.07328 0.06048 1 1 0.05164 0.4375 0.7569 0.1236 1.047 1.812 json
t20_x77_u0_b164 20 77 0 164 sub(R,div(dst(R,D),R)) 175157 165523061 o2(x,o2(o2(x,x),x)) true 109663 109663 0.06579 0.5342 0.8054 0.7339 0.8567 -1 1 2 1 3.39 0.02369 0.03009 0.1101 -0.1189 1 0.0001815 0.05129 0.07514 0.04167 0.2041 1.854 2.828 0.07327 0.06989 1 1 0.08479 0.6255 1.48 0.1155 0.8524 2.017 json
t20_x77_u0_b165 20 77 0 165 sub(R,pow(add(R,D),R)) 175158 165523062 o2(x,o2(o2(x,x),x)) true 109671 109671 -0.9477 0.01511 0.9493 0.04451 0.211 -1 0.1475 1.147 1 0.5368 0.0166 0.004327 0.02693 0.5865 1 0.0001567 0.04317 0.0483 0.02021 0.1421 5.279 1.52 0.4701 0.9697 1 1 0.02024 0.06236 0.09307 0.4547 1.401 2.091 json
t20_x77_u0_b166 20 77 0 166 sub(R,pow(sub(R,D),R)) 175159 165523063 o2(x,o2(o2(x,x),x)) true 109679 109679 -0.9423 0.01656 0.944 0.04848 0.2202 -1 0.141 1.141 1 0.5871 0.01589 0.004442 0.02656 0.563 1 -0.00007179 0.04345 0.04749 0.01964 0.1401 5.277 1.585 0.4193 0.8962 1 1 0.01985 0.0638 0.09297 0.4094 1.316 1.918 json
t20_x77_u0_b167 20 77 0 167 sub(R,pow(mlt(R,D),R)) 175160 165523064 o2(x,o2(o2(x,x),x)) true 109687 109687 -0.9842 0.007614 0.9897 0.01798 0.1341 -1 0.9286 1.929 1 0.2081 0.005423 0.001981 0.008118 0.4649 1 0.000003708 0.01527 0.01114 0.007336 0.08565 10.55 1.93 0.4117 0.8493 1 1 0.007372 0.02603 0.03647 0.4099 1.448 2.028 json
t20_x77_u0_b168 20 77 0 168 sub(R,pow(div(R,D),R)) 175161 165523065 o2(x,o2(o2(x,x),x)) true 109695 109695 -0.9991 0 0.9991 0.0001317 0.01148 -1 -0.7494 0.2506 1 0.06308 0.0001474 0.00001726 0.001168 0.7903 1 7.469e-8 0.0004421 0.001926 0.0001632 0.01278 10.93 0.3494 1.25 3.357 1 1 0.0001353 0.0001894 0.0002632 1.027 1.438 1.998 json
t20_x77_u0_b169 20 77 0 169 sub(R,pow(pow(R,D),R)) 175162 165523066 o2(x,o2(o2(x,x),x)) true 109703 109703 -0.9758 0 0.9758 0.01481 0.1217 -1 -0.04958 0.9504 1 0.4138 0.001502 0.001542 0.005911 -0.01335 1 0.000007737 0.006273 0.009502 0.00301 0.05486 9.281 1.221 0.2055 0.4235 1 1 0.002517 0.01119 0.02528 0.1699 0.7551 1.707 json
t20_x77_u0_b170 20 77 0 170 sub(R,pow(mod(R,D),R)) 175163 165523067 o2(x,o2(o2(x,x),x)) true 109711 109711 -0.9476 0.03223 0.9724 0.06703 0.2589 -1 0.9356 1.936 1 0.4478 0.009003 0.006988 0.0148 0.126 1 0.00003601 0.03406 0.02642 0.01578 0.1256 8.491 2.585 0.2385 0.5081 1 1 0.01298 0.05054 0.1134 0.1936 0.7539 1.692 json
t20_x77_u0_b171 20 77 0 171 sub(R,pow(lrg(R,D),R)) 175164 165523068 o2(x,o2(o2(x,x),x)) true 109719 109719 -0.9228 0.007126 0.924 0.04856 0.2204 -1 0.251 1.251 1 1.048 0.01018 0.004492 0.02648 0.3876 1 0.00001552 0.03093 0.04284 0.01396 0.1181 4.462 1.548 0.3021 0.6368 1 1 0.01447 0.0528 0.09513 0.298 1.087 1.959 json
t20_x77_u0_b172 20 77 0 172 sub(R,pow(eql(R,D),R)) 175165 165523069 o2(x,o2(o2(x,x),x)) true 109727 109727 -0.9327 0.04297 0.9813 0.1025 0.3202 -1 0.9428 1.943 1 0.413 0.01033 0.01038 0.01414 -0.00231 1 0.000008535 0.04322 0.0262 0.02051 0.1432 10.13 2.64 0.2021 0.4217 1 1 0.01648 0.07156 0.1733 0.1608 0.6982 1.691 json
t20_x77_u0_b173 20 77 0 173 sub(R,pow(min(R,D),R)) 175166 165523070 o2(x,o2(o2(x,x),x)) true 109735 109735 -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_x77_u0_b174 20 77 0 174 sub(R,pow(dot(R,D),R)) 175167 165523071 o2(x,o2(o2(x,x),x)) true 109743 109743 -0.975 0.01118 0.9827 0.02685 0.1639 -1 0.9369 1.937 1 0.3374 0.01178 0.008717 0.01979 0.1493 1 -0.00003659 0.0644 0.03399 0.02009 0.1417 7.163 2.647 0.7632 2.398 1 1 0.0253 0.06276 0.06572 0.9421 2.337 2.447 json
t20_x77_u0_b175 20 77 0 175 sub(R,pow(dst(R,D),R)) 175168 165523072 o2(x,o2(o2(x,x),x)) true 109751 109751 -0.8253 0.0009613 0.8253 0.0581 0.241 -1 0.07682 1.077 1 2.585 0.001415 0.001396 0.0318 0.006868 1 0.00005872 0.0006971 0.01247 0.001801 0.04243 1.334 0.308 0.04839 0.012 1 1 0.005389 0.05275 0.1042 0.09276 0.9079 1.793 json
t20_x77_u0_b176 20 77 0 176 sub(R,mod(add(R,D),R)) 175169 165523073 o2(x,o2(o2(x,x),x)) true 109759 109759 0.0005104 0.4911 0.2172 0.08176 0.2859 -0.9674 0.9497 1.917 1 4.212 0.01996 0.001001 0.08573 0.9045 1 -0.000008924 0.04372 0.09451 0.01362 0.1167 1.361 0.9362 0.2564 0.5348 1 1 0.02034 0.06936 0.1248 0.2488 0.8484 1.526 json
t20_x77_u0_b177 20 77 0 177 sub(R,mod(sub(R,D),R)) 175170 165523074 o2(x,o2(o2(x,x),x)) true 109767 109767 0.001432 0.4923 0.2162 0.08058 0.2839 -0.9677 0.9496 1.917 1 4.202 0.01993 0.0009995 0.08535 0.9045 1 0.000001633 0.04355 0.09446 0.01364 0.1168 1.368 0.9367 0.2597 0.5405 1 1 0.0202 0.06841 0.1243 0.2507 0.849 1.543 json
t20_x77_u0_b178 20 77 0 178 sub(R,mod(mlt(R,D),R)) 175171 165523075 o2(x,o2(o2(x,x),x)) true 109775 109775 0.007532 0.4962 0.4046 0.2339 0.4836 -1 1 2 1 4.902 0.003584 0.003393 0.06936 0.02746 1 0.0000679 0.0004762 0.01644 0.002167 0.04655 0.6711 0.2563 0.02984 0.002036 1 1 0.01375 0.1723 0.4181 0.05881 0.7368 1.788 json
t20_x77_u0_b179 20 77 0 179 sub(R,mod(div(R,D),R)) 175172 165523076 o2(x,o2(o2(x,x),x)) true 109783 109783 0.007022 0.496 0.3947 0.2494 0.4994 -1 1 2 1 4.795 0.03456 0.003864 0.1425 0.7988 1 -0.0002312 0.08659 0.2024 0.01812 0.1346 0.9448 1.341 0.154 0.3472 1 1 0.03605 0.2256 0.4501 0.1445 0.9047 1.805 json
t20_x77_u0_b180 20 77 0 180 sub(R,mod(pow(R,D),R)) 175173 165523077 o2(x,o2(o2(x,x),x)) true 109791 109791 -0.9403 0.04297 0.9738 0.08135 0.2852 -1 0.8937 1.894 1 0.4149 0.008648 0.008185 0.0138 0.02749 1 0.00001497 0.03549 0.0253 0.01664 0.129 9.35 2.446 0.2069 0.4362 1 1 0.01294 0.0561 0.1367 0.159 0.6896 1.68 json
t20_x77_u0_b181 20 77 0 181 sub(R,mod(mod(R,D),R)) 175174 165523078 o2(x,o2(o2(x,x),x)) true 109799 109799 0.008571 0.4957 0.3334 0.1656 0.4069 -0.9686 0.9683 1.937 1 4.706 0.007298 0.002392 0.07619 0.5063 1 0.000024 0.01446 0.08447 0.003885 0.06233 0.8181 0.5778 0.05853 0.08733 1 1 0.01254 0.1247 0.2953 0.07576 0.7533 1.784 json
t20_x77_u0_b182 20 77 0 182 sub(R,mod(lrg(R,D),R)) 175175 165523079 o2(x,o2(o2(x,x),x)) true 109807 109807 -0.07548 0.4439 0.344 0.1715 0.4141 -0.9991 0.9621 1.961 1 4.728 0.002671 0.002497 0.05828 0.03379 1 0.00002394 0.001279 0.02023 0.001771 0.04208 0.722 0.3186 0.03014 0.007462 1 1 0.009509 0.1176 0.3 0.05546 0.6859 1.749 json
t20_x77_u0_b183 20 77 0 183 sub(R,mod(eql(R,D),R)) 175176 165523080 o2(x,o2(o2(x,x),x)) true 109815 109815 0.008963 0.4983 0.3946 0.2196 0.4686 -0.9989 0.9806 1.979 1 4.862 0.002816 0.00317 0.06321 -0.05921 1 0.00002646 0.0003581 0.01453 0.00199 0.04461 0.7058 0.2301 0.02726 0.001631 1 1 0.01182 0.1519 0.3914 0.05384 0.6917 1.782 json
t20_x77_u0_b184 20 77 0 184 sub(R,mod(min(R,D),R)) 175177 165523081 o2(x,o2(o2(x,x),x)) true 109823 109823 0.0719 0.5594 0.3679 0.2051 0.4529 -0.9988 1 1.999 1 4.82 0.004675 0.002734 0.07064 0.262 1 0.00007989 0.003641 0.03394 0.002418 0.04917 0.6961 0.3819 0.03612 0.01776 1 1 0.01252 0.1401 0.3531 0.06105 0.683 1.722 json
t20_x77_u0_b185 20 77 0 185 sub(R,mod(dot(R,D),R)) 175178 165523082 o2(x,o2(o2(x,x),x)) true 109831 109831 0.00627 0.4954 0.4073 0.2401 0.49 -1 1 2 1 4.91 0.004501 0.00527 0.08045 -0.07873 1 0.0001174 0.008503 0.04525 0.003299 0.05743 0.7139 0.656 0.04069 0.03541 1 1 0.01712 0.1907 0.4393 0.07129 0.7941 1.83 json
t20_x77_u0_b186 20 77 0 186 sub(R,mod(dst(R,D),R)) 175179 165523083 o2(x,o2(o2(x,x),x)) true 109839 109839 -0.2282 0.369 0.3991 0.2032 0.4508 -1 0.9547 1.955 1 4.583 0.01074 0.009914 0.09822 0.03995 1 0.0001702 0.0546 0.1135 0.01101 0.1049 1.068 1.289 0.1016 0.2687 1 1 0.02444 0.1593 0.3523 0.1202 0.7841 1.734 json
t20_x77_u0_b187 20 77 0 187 sub(R,lrg(add(R,D),R)) 175180 165523084 o2(x,o2(o2(x,x),x)) true 109847 109847 -0.4226 0.1991 0.5655 0.2483 0.4983 -1 0.9802 1.98 1 4.396 0.04752 0.002554 0.1144 0.898 1 0.00008838 0.08409 0.1105 0.03699 0.1923 1.682 1.023 0.2016 0.3386 1 1 0.05828 0.2809 0.2873 0.2347 1.131 1.157 json
t20_x77_u0_b188 20 77 0 188 sub(R,lrg(sub(R,D),R)) 175181 165523085 o2(x,o2(o2(x,x),x)) true 109855 109855 -0.4204 0.201 0.5662 0.2506 0.5006 -1 0.9804 1.98 1 4.386 0.0477 0.002539 0.1158 0.8989 1 0.0001124 0.08414 0.1109 0.03684 0.1919 1.658 1.023 0.2005 0.3357 1 1 0.05898 0.2859 0.2878 0.2353 1.141 1.149 json
t20_x77_u0_b189 20 77 0 189 sub(R,lrg(mlt(R,D),R)) 175182 165523086 o2(x,o2(o2(x,x),x)) true 109863 109863 -0.3539 0.3544 0.6666 0.4315 0.6569 -1 0.9804 1.98 1 3.927 0.006974 0.008247 0.08425 -0.08369 1 0.0001444 0.002323 0.02589 0.008124 0.09014 1.07 0.347 0.03528 0.005383 1 1 0.02989 0.3406 0.8128 0.06928 0.7893 1.884 json
t20_x77_u0_b190 20 77 0 190 sub(R,lrg(div(R,D),R)) 175183 165523087 o2(x,o2(o2(x,x),x)) true 109871 109871 -0.423 0.2008 0.5686 0.2527 0.5027 -1 0.9802 1.98 1 4.37 0.03381 0.004513 0.1029 0.7645 1 0.00009466 0.06253 0.09381 0.02774 0.1666 1.619 1.005 0.1517 0.2475 1 1 0.04566 0.2797 0.4739 0.1807 1.107 1.876 json
t20_x77_u0_b191 20 77 0 191 sub(R,lrg(pow(R,D),R)) 175184 165523088 o2(x,o2(o2(x,x),x)) true 109879 109879 -0.7982 0 0.7982 0.07256 0.2694 -1 -0.01936 0.9806 1 2.717 0.001471 0.00159 0.03308 -0.03903 1 0.0000876 0.0006964 0.01237 0.001966 0.04434 1.34 0.223 0.04219 0.009598 1 1 0.005951 0.06127 0.1403 0.08201 0.8444 1.934 json
t20_x77_u0_b192 20 77 0 192 sub(R,lrg(mod(R,D),R)) 175185 165523089 o2(x,o2(o2(x,x),x)) true 109887 109887 -0.2322 0.4284 0.5927 0.4184 0.6469 -1 0.9804 1.98 1 4.236 0.02229 0.007541 0.1 0.4944 1 -0.000113 0.0342 0.0743 0.01982 0.1408 1.407 0.9728 0.07129 0.08173 1 1 0.04382 0.3477 0.7574 0.1047 0.831 1.81 json
t20_x77_u0_b193 20 77 0 193 sub(R,lrg(lrg(R,D),R)) 175186 165523090 o2(x,o2(o2(x,x),x)) true 109895 109895 -0.7502 0.01324 0.7522 0.09562 0.3092 -1 0.251 1.251 1 2.997 0.00923 0.002118 0.05229 0.6267 1 0.00006904 0.01698 0.03841 0.008616 0.09282 1.775 0.9994 0.1187 0.1776 1 1 0.01322 0.08628 0.179 0.1382 0.9023 1.872 json
t20_x77_u0_b194 20 77 0 194 sub(R,lrg(eql(R,D),R)) 175187 165523091 o2(x,o2(o2(x,x),x)) true 109903 109903 -0.3539 0.3544 0.6666 0.4315 0.6569 -1 0.9804 1.98 1 3.927 0.006974 0.008247 0.08425 -0.08369 1 0.0001444 0.002323 0.02589 0.008124 0.09014 1.07 0.347 0.03528 0.005383 1 1 0.02989 0.3406 0.8128 0.06928 0.7893 1.884 json
t20_x77_u0_b195 20 77 0 195 sub(R,lrg(min(R,D),R)) 175188 165523092 o2(x,o2(o2(x,x),x)) true 109911 109911 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_x77_u0_b196 20 77 0 196 sub(R,lrg(dot(R,D),R)) 175189 165523093 o2(x,o2(o2(x,x),x)) true 109919 109919 -0.3518 0.3559 0.6626 0.4285 0.6546 -1 0.9804 1.98 1 3.943 0.009064 0.01574 0.09507 -0.2692 1 0.0002389 0.03169 0.05982 0.01577 0.1256 1.321 1.39 0.05789 0.07395 1 1 0.03782 0.3534 0.8028 0.08825 0.8246 1.873 json
t20_x77_u0_b197 20 77 0 197 sub(R,lrg(dst(R,D),R)) 175190 165523094 o2(x,o2(o2(x,x),x)) true 109927 109927 -0.7661 0.02602 0.7831 0.1074 0.3277 -1 0.955 1.955 1 2.919 0.006454 0.005221 0.0487 0.1056 1 -0.00009321 0.02626 0.03616 0.009305 0.09646 1.981 1.396 0.1087 0.2445 1 1 0.01357 0.09467 0.1998 0.1263 0.8814 1.86 json
t20_x77_u0_b198 20 77 0 198 sub(R,eql(add(R,D),R)) 175191 165523095 o2(x,o2(o2(x,x),x)) true 109935 109935 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_x77_u0_b199 20 77 0 199 sub(R,eql(sub(R,D),R)) 175192 165523096 o2(x,o2(o2(x,x),x)) true 109943 109943 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_x77_u0_b200 20 77 0 200 sub(R,eql(mlt(R,D),R)) 175193 165523097 o2(x,o2(o2(x,x),x)) true 109951 109951 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_x78_u0_b0 20 78 0 0 add(R,add(add(R,R),P)) 175194 165563298 o2(x,o2(o2(x,x),x)) true 109959 109959 0.02102 0.514 0.9487 0.9306 0.9647 -1 1 2 1 1.844 0.004275 0.003311 0.02452 0.127 1 -0.00004587 0.002684 0.01209 0.006988 0.08359 3.41 0.6834 0.008152 0.002884 1 1 0.01734 0.1614 0.4918 0.01863 0.1734 0.5285 json
t20_x78_u0_b1 20 78 0 1 add(R,add(sub(R,R),P)) 175195 165563299 o2(x,o2(o2(x,x),x)) true 109967 109967 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_x78_u0_b2 20 78 0 2 add(R,add(mlt(R,R),P)) 175196 165563300 o2(x,o2(o2(x,x),x)) true 109975 109975 0.05104 0.5238 0.9356 0.9129 0.9554 -1 1 2 1 1.98 0.001276 0.0004964 0.01226 0.4398 1 -0.00002157 0.0003564 0.004404 0.001622 0.04028 3.286 0.3204 0.001941 0.0003905 1 1 0.004263 0.04782 0.2806 0.00467 0.05238 0.3074 json
t20_x78_u0_b3 20 78 0 3 add(R,add(div(R,R),P)) 175197 165563301 o2(x,o2(o2(x,x),x)) true 109983 109983 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_x78_u0_b4 20 78 0 4 add(R,add(pow(R,R),P)) 175198 165563302 o2(x,o2(o2(x,x),x)) true 109991 109991 -0.97 0.01523 0.9946 0.05182 0.2276 -1 1 2 1 0.2063 0.003954 0.005902 0.006314 -0.1977 1 2.403e-10 0.02034 0.01135 0.009814 0.09907 15.69 2.828 0.1902 0.3926 1 1 0.004829 0.0253 0.06929 0.09319 0.4882 1.337 json
t20_x78_u0_b5 20 78 0 5 add(R,add(mod(R,R),P)) 175199 165563303 o2(x,o2(o2(x,x),x)) true 109999 109999 0.001781 0.5005 0.9492 0.9306 0.9647 -1 1 2 1 1.891 0.001779 0.0008013 0.01376 0.3788 1 -0.00003193 0.0005353 0.00485 0.00239 0.04889 3.553 0.3808 0.002772 0.0005752 1 1 0.006631 0.07398 0.3364 0.007126 0.07949 0.3614 json