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_x71_u0_b113 20 71 0 113 add(R,dst(div(D,R),R)) 173900 165280604 o2(x,o2(o2(x,x),x)) true 99607 99607 0.9462 0.9987 0.9464 0.02513 0.1585 -0.1881 1 1.188 1 1.07 0.002212 0.003287 0.02521 -0.1954 1 -0.0003181 0.006096 0.02385 0.004867 0.06976 2.767 0.9083 0.2189 0.2426 1 1 0.008527 0.03785 0.03906 0.3393 1.506 1.554 json
t20_x71_u0_b114 20 71 0 114 add(R,dst(pow(D,R),R)) 173901 165280605 o2(x,o2(o2(x,x),x)) true 99615 99615 -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_x71_u0_b115 20 71 0 115 add(R,dst(mod(D,R),R)) 173902 165280606 o2(x,o2(o2(x,x),x)) true 99623 99623 0.7759 0.9957 0.7762 0.07536 0.2745 -0.1303 1 1.13 1 2.928 0.002208 0.0024 0.04289 -0.04156 1 -0.00005165 0.00301 0.02898 0.002769 0.05262 1.227 0.3979 0.06114 0.03994 1 1 0.007743 0.06912 0.1397 0.1027 0.9171 1.854 json
t20_x71_u0_b116 20 71 0 116 add(R,dst(lrg(D,R),R)) 173903 165280607 o2(x,o2(o2(x,x),x)) true 99631 99631 0.9972 1 0.9972 0.00111 0.03332 0.1625 1 0.8375 1 0.1088 0.0004116 0.0001902 0.002109 0.3678 1 -0.000001112 0.001253 0.003098 0.0005972 0.02444 11.59 1.179 0.542 1.129 1 1 0.0007105 0.002165 0.002268 0.6399 1.95 2.043 json
t20_x71_u0_b117 20 71 0 117 add(R,dst(eql(D,R),R)) 173904 165280608 o2(x,o2(o2(x,x),x)) true 99639 99639 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_x71_u0_b118 20 71 0 118 add(R,dst(min(D,R),R)) 173905 165280609 o2(x,o2(o2(x,x),x)) true 99647 99647 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_x71_u0_b119 20 71 0 119 add(R,dst(dot(D,R),R)) 173906 165280610 o2(x,o2(o2(x,x),x)) true 99655 99655 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_x71_u0_b120 20 71 0 120 add(R,dst(dst(D,R),R)) 173907 165280611 o2(x,o2(o2(x,x),x)) true 99663 99663 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_x71_u0_b121 20 71 0 121 sub(R,add(add(D,R),R)) 173908 165280612 o2(x,o2(o2(x,x),x)) true 99671 99671 -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_x71_u0_b122 20 71 0 122 sub(R,add(sub(D,R),R)) 173909 165280613 o2(x,o2(o2(x,x),x)) true 99679 99679 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_x71_u0_b123 20 71 0 123 sub(R,add(mlt(D,R),R)) 173910 165280614 o2(x,o2(o2(x,x),x)) true 99687 99687 -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_x71_u0_b124 20 71 0 124 sub(R,add(div(D,R),R)) 173911 165280615 o2(x,o2(o2(x,x),x)) true 99695 99695 0.003026 0.5031 0.4829 0.3691 0.6075 -1 1 2 1 4.544 0.0323 0.00962 0.1247 0.5411 1 0.000122 0.0377 0.06814 0.02637 0.1624 1.302 2.033 0.1136 0.1021 1 1 0.06061 0.4731 0.7177 0.1642 1.282 1.944 json
t20_x71_u0_b125 20 71 0 125 sub(R,add(pow(D,R),R)) 173912 165280616 o2(x,o2(o2(x,x),x)) true 99703 99703 -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_x71_u0_b126 20 71 0 126 sub(R,add(mod(D,R),R)) 173913 165280617 o2(x,o2(o2(x,x),x)) true 99711 99711 0.0003012 0.5018 0.1135 0.01789 0.1337 -0.2728 0.2728 0.5455 1 3.083 0.004647 0.0001074 0.05089 0.9548 1 -0.000004165 0.00696 0.04709 0.002165 0.04653 0.9143 0.4963 0.2658 0.3891 1 1 0.006357 0.03391 0.01378 0.3554 1.896 0.7703 json
t20_x71_u0_b127 20 71 0 127 sub(R,add(lrg(D,R),R)) 173914 165280618 o2(x,o2(o2(x,x),x)) true 99719 99719 -0.5008 0 0.5008 0.1466 0.3828 -1 0 1 1 3.723 0.0202 0.00212 0.08084 0.81 1 0.00001414 0.03816 0.07051 0.01579 0.1257 1.554 0.9997 0.1523 0.2603 1 1 0.02456 0.14 0.2709 0.1675 0.9553 1.848 json
t20_x71_u0_b128 20 71 0 128 sub(R,add(eql(D,R),R)) 173915 165280619 o2(x,o2(o2(x,x),x)) true 99727 99727 -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_x71_u0_b129 20 71 0 129 sub(R,add(min(D,R),R)) 173916 165280620 o2(x,o2(o2(x,x),x)) true 99735 99735 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_x71_u0_b130 20 71 0 130 sub(R,add(dot(D,R),R)) 173917 165280621 o2(x,o2(o2(x,x),x)) true 99743 99743 -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_x71_u0_b131 20 71 0 131 sub(R,add(dst(D,R),R)) 173918 165280622 o2(x,o2(o2(x,x),x)) true 99751 99751 -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_x71_u0_b132 20 71 0 132 sub(R,sub(add(D,R),R)) 173919 165280623 o2(x,o2(o2(x,x),x)) true 99759 99759 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_x71_u0_b133 20 71 0 133 sub(R,sub(sub(D,R),R)) 173920 165280624 o2(x,o2(o2(x,x),x)) true 99767 99767 0.006629 0.4983 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_x71_u0_b134 20 71 0 134 sub(R,sub(mlt(D,R),R)) 173921 165280625 o2(x,o2(o2(x,x),x)) true 99775 99775 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_x71_u0_b135 20 71 0 135 sub(R,sub(div(D,R),R)) 173922 165280626 o2(x,o2(o2(x,x),x)) true 99783 99783 0.01613 0.5077 0.7913 0.7207 0.849 -1 1 2 1 3.519 0.03763 0.01856 0.1325 0.3395 1 0.0001059 0.04135 0.07383 0.03865 0.1966 1.484 2.201 0.07796 0.05737 1 1 0.08934 0.7442 1.347 0.124 1.033 1.869 json
t20_x71_u0_b136 20 71 0 136 sub(R,sub(pow(D,R),R)) 173923 165280627 o2(x,o2(o2(x,x),x)) true 99791 99791 -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_x71_u0_b137 20 71 0 137 sub(R,sub(mod(D,R),R)) 173924 165280628 o2(x,o2(o2(x,x),x)) true 99799 99799 0.01329 0.4988 0.6541 0.5424 0.7365 -1 1 2 1 4.404 0.01206 0.009704 0.1036 0.1081 1 0.00002827 0.009461 0.05861 0.01103 0.105 1.014 0.6027 0.04012 0.01744 1 1 0.03992 0.4162 0.964 0.07361 0.7673 1.777 json
t20_x71_u0_b138 20 71 0 138 sub(R,sub(lrg(D,R),R)) 173925 165280629 o2(x,o2(o2(x,x),x)) true 99807 99807 -0.2219 0.3939 0.7808 0.656 0.8099 -1 1 2 1 3.563 0.02543 0.01426 0.1131 0.2814 1 0.0001086 0.03339 0.07643 0.02691 0.164 1.451 1.2 0.0605 0.05091 1 1 0.06358 0.5518 1.229 0.09693 0.8411 1.873 json
t20_x71_u0_b139 20 71 0 139 sub(R,sub(eql(D,R),R)) 173926 165280630 o2(x,o2(o2(x,x),x)) true 99815 99815 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_x71_u0_b140 20 71 0 140 sub(R,sub(min(D,R),R)) 173927 165280631 o2(x,o2(o2(x,x),x)) true 99823 99823 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_x71_u0_b141 20 71 0 141 sub(R,sub(dot(D,R),R)) 173928 165280632 o2(x,o2(o2(x,x),x)) true 99831 99831 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_x71_u0_b142 20 71 0 142 sub(R,sub(dst(D,R),R)) 173929 165280633 o2(x,o2(o2(x,x),x)) true 99839 99839 -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_x71_u0_b143 20 71 0 143 sub(R,mlt(add(D,R),R)) 173930 165280634 o2(x,o2(o2(x,x),x)) true 99847 99847 -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_x71_u0_b144 20 71 0 144 sub(R,mlt(sub(D,R),R)) 173931 165280635 o2(x,o2(o2(x,x),x)) true 99855 99855 0.3028 0.6464 0.4142 0.2 0.4472 -0.356 1 1.356 1 4.144 0.003589 0.003394 0.06146 0.02789 1 -0.00001639 0.001135 0.01824 0.003206 0.05662 0.9213 0.2686 0.03491 0.005675 1 1 0.01396 0.16 0.395 0.06979 0.8001 1.975 json
t20_x71_u0_b145 20 71 0 145 sub(R,mlt(mlt(D,R),R)) 173932 165280636 o2(x,o2(o2(x,x),x)) true 99863 99863 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_x71_u0_b146 20 71 0 146 sub(R,mlt(div(D,R),R)) 173933 165280637 o2(x,o2(o2(x,x),x)) true 99871 99871 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_x71_u0_b147 20 71 0 147 sub(R,mlt(pow(D,R),R)) 173934 165280638 o2(x,o2(o2(x,x),x)) true 99879 99879 -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_x71_u0_b148 20 71 0 148 sub(R,mlt(mod(D,R),R)) 173935 165280639 o2(x,o2(o2(x,x),x)) true 99887 99887 0.007679 0.4988 0.4015 0.2323 0.482 -1 1 2 1 4.9 0.004033 0.003371 0.0715 0.08936 1 0.00007846 0.001617 0.02741 0.002292 0.04788 0.6696 0.2784 0.03187 0.006959 1 1 0.01411 0.1713 0.415 0.06072 0.7375 1.786 json
t20_x71_u0_b149 20 71 0 149 sub(R,mlt(lrg(D,R),R)) 173936 165280640 o2(x,o2(o2(x,x),x)) true 99895 99895 0.2328 0.7609 0.2514 0.07643 0.2765 -0.2687 0.9809 1.25 1 3.798 0.002529 0.001108 0.04341 0.3905 1 0.00004214 0.00331 0.02484 0.001753 0.04187 0.9646 0.3592 0.04759 0.04331 1 1 0.005783 0.05828 0.1518 0.07566 0.7625 1.986 json
t20_x71_u0_b150 20 71 0 150 sub(R,mlt(eql(D,R),R)) 173937 165280641 o2(x,o2(o2(x,x),x)) true 99903 99903 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_x71_u0_b151 20 71 0 151 sub(R,mlt(min(D,R),R)) 173938 165280642 o2(x,o2(o2(x,x),x)) true 99911 99911 -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_x71_u0_b152 20 71 0 152 sub(R,mlt(dot(D,R),R)) 173939 165280643 o2(x,o2(o2(x,x),x)) true 99919 99919 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_x71_u0_b153 20 71 0 153 sub(R,mlt(dst(D,R),R)) 173940 165280644 o2(x,o2(o2(x,x),x)) true 99927 99927 -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_x71_u0_b154 20 71 0 154 sub(R,div(add(D,R),R)) 173941 165280645 o2(x,o2(o2(x,x),x)) true 99935 99935 -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_x71_u0_b155 20 71 0 155 sub(R,div(sub(D,R),R)) 173942 165280646 o2(x,o2(o2(x,x),x)) true 99943 99943 0.5881 0.8527 0.7663 0.3524 0.5937 -1 1 2 1 3.104 0.02946 0.009929 0.095 0.4959 1 0.0003617 0.036 0.06183 0.03037 0.1743 1.835 2.132 0.1118 0.1021 1 1 0.06151 0.424 0.6722 0.1745 1.203 1.907 json
t20_x71_u0_b156 20 71 0 156 sub(R,div(mlt(D,R),R)) 173943 165280647 o2(x,o2(o2(x,x),x)) true 99951 99951 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_x71_u0_b157 20 71 0 157 sub(R,div(div(D,R),R)) 173944 165280648 o2(x,o2(o2(x,x),x)) true 99959 99959 0.008774 0.506 0.7999 0.7272 0.8527 -1 1 2 1 3.562 0.1071 0.02665 0.1679 0.6014 1 0.0002589 0.2104 0.1754 0.1055 0.3248 1.935 2.828 0.1839 0.2893 1 1 0.1486 0.8238 1.247 0.2044 1.133 1.714 json
t20_x71_u0_b158 20 71 0 158 sub(R,div(pow(D,R),R)) 173945 165280649 o2(x,o2(o2(x,x),x)) true 99967 99967 -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_x71_u0_b159 20 71 0 159 sub(R,div(mod(D,R),R)) 173946 165280650 o2(x,o2(o2(x,x),x)) true 99975 99975 0.006063 0.5098 0.4959 0.3345 0.5783 -1 1 2 1 4.987 0.05029 0.004999 0.1788 0.8192 1 0.0005716 0.1139 0.1961 0.02332 0.1527 0.854 1.694 0.1653 0.3404 1 1 0.05253 0.3381 0.6176 0.1571 1.011 1.846 json
t20_x71_u0_b160 20 71 0 160 sub(R,div(lrg(D,R),R)) 173947 165280651 o2(x,o2(o2(x,x),x)) true 99983 99983 0.5184 0.8668 0.7101 0.3353 0.5791 -1 1 2 1 3.747 0.05973 0.01024 0.1081 0.7073 1 0.00008924 0.1227 0.1247 0.05828 0.2414 2.232 2.031 0.2087 0.3658 1 1 0.07509 0.3314 0.6255 0.2239 0.9882 1.865 json
t20_x71_u0_b161 20 71 0 161 sub(R,div(eql(D,R),R)) 173948 165280652 o2(x,o2(o2(x,x),x)) true 99991 99991 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_x71_u0_b162 20 71 0 162 sub(R,div(min(D,R),R)) 173949 165280653 o2(x,o2(o2(x,x),x)) true 99999 99999 -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_x71_u0_b163 20 71 0 163 sub(R,div(dot(D,R),R)) 173950 165280654 o2(x,o2(o2(x,x),x)) true 100007 100007 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_x71_u0_b164 20 71 0 164 sub(R,div(dst(D,R),R)) 173951 165280655 o2(x,o2(o2(x,x),x)) true 100015 100015 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_x71_u0_b165 20 71 0 165 sub(R,pow(add(D,R),R)) 173952 165280656 o2(x,o2(o2(x,x),x)) true 100023 100023 -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_x71_u0_b166 20 71 0 166 sub(R,pow(sub(D,R),R)) 173953 165280657 o2(x,o2(o2(x,x),x)) true 100031 100031 -1 0 1 4.987e-7 0.0007062 -1 -0.8794 0.1206 1 0.0007259 0.000001029 3.185e-7 0.00001246 0.5274 0 -1.502e-11 0.000004935 0.00002522 0.000001348 0.001161 93.15 0.1211 2.703 9.895 1 1 0 0 0 0 0 0 json
t20_x71_u0_b167 20 71 0 167 sub(R,pow(mlt(D,R),R)) 173954 165280658 o2(x,o2(o2(x,x),x)) true 100039 100039 -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_x71_u0_b168 20 71 0 168 sub(R,pow(div(D,R),R)) 173955 165280659 o2(x,o2(o2(x,x),x)) true 100047 100047 -0.9863 0.0056 0.9904 0.01451 0.1205 -1 0.9262 1.926 1 0.2151 0.004576 0.001698 0.007379 0.4587 1 0.000005502 0.01339 0.009844 0.006221 0.07887 10.69 1.928 0.4322 0.9224 1 1 0.006067 0.02148 0.0296 0.418 1.48 2.039 json
t20_x71_u0_b169 20 71 0 169 sub(R,pow(pow(D,R),R)) 173956 165280660 o2(x,o2(o2(x,x),x)) true 100055 100055 -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_x71_u0_b170 20 71 0 170 sub(R,pow(mod(D,R),R)) 173957 165280661 o2(x,o2(o2(x,x),x)) true 100063 100063 -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_x71_u0_b171 20 71 0 171 sub(R,pow(lrg(D,R),R)) 173958 165280662 o2(x,o2(o2(x,x),x)) true 100071 100071 -0.6296 0.2042 0.8119 0.3541 0.5951 -1 0.9804 1.98 1 2.578 0.07519 0.02129 0.1106 0.5587 1 -0.0001037 0.1966 0.1472 0.08423 0.2902 2.624 2.747 0.2725 0.5553 1 1 0.1031 0.3859 0.6522 0.2911 1.09 1.842 json
t20_x71_u0_b172 20 71 0 172 sub(R,pow(eql(D,R),R)) 173959 165280663 o2(x,o2(o2(x,x),x)) true 100079 100079 -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_x71_u0_b173 20 71 0 173 sub(R,pow(min(D,R),R)) 173960 165280664 o2(x,o2(o2(x,x),x)) true 100087 100087 -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_x71_u0_b174 20 71 0 174 sub(R,pow(dot(D,R),R)) 173961 165280665 o2(x,o2(o2(x,x),x)) true 100095 100095 -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_x71_u0_b175 20 71 0 175 sub(R,pow(dst(D,R),R)) 173962 165280666 o2(x,o2(o2(x,x),x)) true 100103 100103 -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_x71_u0_b176 20 71 0 176 sub(R,mod(add(D,R),R)) 173963 165280667 o2(x,o2(o2(x,x),x)) true 100111 100111 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_x71_u0_b177 20 71 0 177 sub(R,mod(sub(D,R),R)) 173964 165280668 o2(x,o2(o2(x,x),x)) true 100119 100119 0.01725 0.5005 0.5401 0.3968 0.6299 -1 1 2 1 4.848 0.0145 0.006218 0.1075 0.3999 1 0.000002906 0.02179 0.08098 0.009169 0.09575 0.8908 0.9676 0.05223 0.05492 1 1 0.03155 0.2914 0.7014 0.07952 0.7344 1.768 json
t20_x71_u0_b178 20 71 0 178 sub(R,mod(mlt(D,R),R)) 173965 165280669 o2(x,o2(o2(x,x),x)) true 100127 100127 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_x71_u0_b179 20 71 0 179 sub(R,mod(div(D,R),R)) 173966 165280670 o2(x,o2(o2(x,x),x)) true 100135 100135 0.007196 0.4989 0.41 0.2533 0.5033 -1 1 2 1 4.911 0.01397 0.0037 0.1107 0.5811 1 0.0002252 0.02572 0.107 0.005402 0.0735 0.6637 0.6941 0.06975 0.1016 1 1 0.02354 0.2089 0.4567 0.09294 0.8247 1.803 json
t20_x71_u0_b180 20 71 0 180 sub(R,mod(pow(D,R),R)) 173967 165280671 o2(x,o2(o2(x,x),x)) true 100143 100143 -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_x71_u0_b181 20 71 0 181 sub(R,mod(mod(D,R),R)) 173968 165280672 o2(x,o2(o2(x,x),x)) true 100151 100151 0.00946 0.4974 0.3973 0.2334 0.4831 -1 1 2 1 4.901 0.007403 0.003252 0.08638 0.3896 1 0.00003098 0.007305 0.05279 0.003193 0.05651 0.6541 0.4405 0.04566 0.0313 1 1 0.01797 0.1832 0.398 0.07699 0.7851 1.705 json
t20_x71_u0_b182 20 71 0 182 sub(R,mod(lrg(D,R),R)) 173969 165280673 o2(x,o2(o2(x,x),x)) true 100159 100159 -0.07967 0.459 0.4554 0.283 0.5319 -1 0.9806 1.981 1 4.901 0.004419 0.004232 0.07559 0.02171 1 0.00002882 0.001498 0.02411 0.002937 0.0542 0.717 0.4013 0.03057 0.005293 1 1 0.01655 0.2076 0.5049 0.05848 0.7336 1.784 json
t20_x71_u0_b183 20 71 0 183 sub(R,mod(eql(D,R),R)) 173970 165280674 o2(x,o2(o2(x,x),x)) true 100167 100167 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_x71_u0_b184 20 71 0 184 sub(R,mod(min(D,R),R)) 173971 165280675 o2(x,o2(o2(x,x),x)) true 100175 100175 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_x71_u0_b185 20 71 0 185 sub(R,mod(dot(D,R),R)) 173972 165280676 o2(x,o2(o2(x,x),x)) true 100183 100183 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_x71_u0_b186 20 71 0 186 sub(R,mod(dst(D,R),R)) 173973 165280677 o2(x,o2(o2(x,x),x)) true 100191 100191 -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_x71_u0_b187 20 71 0 187 sub(R,lrg(add(D,R),R)) 173974 165280678 o2(x,o2(o2(x,x),x)) true 100199 100199 -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_x71_u0_b188 20 71 0 188 sub(R,lrg(sub(D,R),R)) 173975 165280679 o2(x,o2(o2(x,x),x)) true 100207 100207 -0.3492 0.3567 0.6643 0.4313 0.6567 -1 0.9804 1.98 1 3.957 0.01378 0.007933 0.09233 0.2694 1 0.0002374 0.01663 0.0468 0.0132 0.1149 1.244 1.015 0.05036 0.03857 1 1 0.0356 0.3523 0.8187 0.08256 0.8168 1.898 json
t20_x71_u0_b189 20 71 0 189 sub(R,lrg(mlt(D,R),R)) 173976 165280680 o2(x,o2(o2(x,x),x)) true 100215 100215 -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_x71_u0_b190 20 71 0 190 sub(R,lrg(div(D,R),R)) 173977 165280681 o2(x,o2(o2(x,x),x)) true 100223 100223 -0.3506 0.327 0.6342 0.3935 0.6273 -1 0.9804 1.98 1 4.173 0.02835 0.007007 0.1079 0.6037 1 -0.00004734 0.04771 0.08808 0.02371 0.154 1.427 1.024 0.08986 0.1213 1 1 0.04703 0.3591 0.7358 0.1195 0.9127 1.87 json
t20_x71_u0_b191 20 71 0 191 sub(R,lrg(pow(D,R),R)) 173978 165280682 o2(x,o2(o2(x,x),x)) true 100231 100231 -0.6733 0.1129 0.7757 0.2325 0.4822 -1 0.9801 1.98 1 3.227 0.02911 0.004114 0.08038 0.7523 1 0.0003798 0.05842 0.0753 0.02676 0.1636 2.035 1.024 0.1429 0.2513 1 1 0.03936 0.2337 0.4304 0.1693 1.005 1.851 json
t20_x71_u0_b192 20 71 0 192 sub(R,lrg(mod(D,R),R)) 173979 165280683 o2(x,o2(o2(x,x),x)) true 100239 100239 -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_x71_u0_b193 20 71 0 193 sub(R,lrg(lrg(D,R),R)) 173980 165280684 o2(x,o2(o2(x,x),x)) true 100247 100247 -0.4037 0.322 0.6887 0.4228 0.6502 -1 0.9804 1.98 1 3.783 0.01479 0.007863 0.09153 0.3059 1 0.0001676 0.01829 0.04859 0.01427 0.1195 1.305 1.016 0.05359 0.04326 1 1 0.03586 0.3492 0.8012 0.08481 0.8261 1.895 json
t20_x71_u0_b194 20 71 0 194 sub(R,lrg(eql(D,R),R)) 173981 165280685 o2(x,o2(o2(x,x),x)) true 100255 100255 -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_x71_u0_b195 20 71 0 195 sub(R,lrg(min(D,R),R)) 173982 165280686 o2(x,o2(o2(x,x),x)) true 100263 100263 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_x71_u0_b196 20 71 0 196 sub(R,lrg(dot(D,R),R)) 173983 165280687 o2(x,o2(o2(x,x),x)) true 100271 100271 -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_x71_u0_b197 20 71 0 197 sub(R,lrg(dst(D,R),R)) 173984 165280688 o2(x,o2(o2(x,x),x)) true 100279 100279 -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_x71_u0_b198 20 71 0 198 sub(R,eql(add(D,R),R)) 173985 165280689 o2(x,o2(o2(x,x),x)) true 100287 100287 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_x71_u0_b199 20 71 0 199 sub(R,eql(sub(D,R),R)) 173986 165280690 o2(x,o2(o2(x,x),x)) true 100295 100295 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_x71_u0_b200 20 71 0 200 sub(R,eql(mlt(D,R),R)) 173987 165280691 o2(x,o2(o2(x,x),x)) true 100303 100303 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_x72_u0_b0 20 72 0 0 add(R,add(add(R,P),P)) 173988 165320892 o2(x,o2(o2(x,x),x)) true 100311 100311 -0.001478 0.4974 0.9764 0.9673 0.9835 -1 1 2 1 1.478 0.002361 0.0006801 0.01107 0.5527 1 -0.0000308 0.0008848 0.005056 0.002918 0.05402 4.88 0.6047 0.003144 0.0009148 1 1 0.007737 0.07709 0.3698 0.007999 0.0797 0.3823 json
t20_x72_u0_b1 20 72 0 1 add(R,add(sub(R,P),P)) 173989 165320893 o2(x,o2(o2(x,x),x)) true 100319 100319 0.01372 0.4984 0.659 0.5457 0.7387 -1 1 2 1 4.408 0.008726 0.009756 0.09338 -0.05568 1 0.00002908 0.003164 0.02873 0.009763 0.09881 1.058 0.4602 0.03387 0.005798 1 1 0.03624 0.4079 0.9797 0.06641 0.7475 1.795 json
t20_x72_u0_b2 20 72 0 2 add(R,add(mlt(R,P),P)) 173990 165320894 o2(x,o2(o2(x,x),x)) true 100327 100327 -0.05498 0.4754 0.9224 0.8929 0.9449 -1 1 2 1 2.182 0.002312 0.002311 0.02109 0.0002889 1 -0.00006445 0.001865 0.01061 0.004178 0.06464 3.065 0.6958 0.005177 0.002088 1 1 0.008422 0.08035 0.3387 0.009432 0.08998 0.3794 json
t20_x72_u0_b3 20 72 0 3 add(R,add(div(R,P),P)) 173991 165320895 o2(x,o2(o2(x,x),x)) true 100335 100335 -0.131 0.4361 0.9948 0.9749 0.9874 -1 1 2 1 1.116 0.01334 0.0001309 0.008685 0.9806 1 -0.000017 0.02649 0.01499 0.01338 0.1157 13.32 2 0.01381 0.02717 1 1 0.01773 0.07752 0.3292 0.01818 0.07952 0.3377 json
t20_x72_u0_b4 20 72 0 4 add(R,add(pow(R,P),P)) 173992 165320896 o2(x,o2(o2(x,x),x)) true 100343 100343 -0.8584 0.07326 0.9943 0.2549 0.5049 -1 1 2 1 0.4803 0.0227 0.02231 0.02465 0.008654 1 -0.000127 0.09383 0.04738 0.04438 0.2107 8.546 2.828 0.1766 0.368 1 1 0.04108 0.1815 0.5831 0.1611 0.7117 2.287 json
t20_x72_u0_b5 20 72 0 5 add(R,add(mod(R,P),P)) 173993 165320897 o2(x,o2(o2(x,x),x)) true 100351 100351 -0.1154 0.442 0.9788 0.9571 0.9783 -1 1 2 1 1.408 0.01698 0.0005004 0.01547 0.9428 1 -0.00002275 0.03317 0.02201 0.01725 0.1313 8.488 2 0.01826 0.03466 1 1 0.02272 0.1012 0.3674 0.02374 0.1057 0.3839 json
t20_x72_u0_b6 20 72 0 6 add(R,add(lrg(R,P),P)) 173994 165320898 o2(x,o2(o2(x,x),x)) true 100359 100359 0.08484 0.5359 0.9241 0.8909 0.9439 -1 1 2 1 2.122 0.001595 0.000829 0.01588 0.3161 1 -0.00004076 0.0003844 0.005057 0.002172 0.04661 2.936 0.312 0.002721 0.0004314 1 1 0.00591 0.06758 0.2926 0.006634 0.07586 0.3285 json
t20_x72_u0_b7 20 72 0 7 add(R,add(eql(R,P),P)) 173995 165320899 o2(x,o2(o2(x,x),x)) true 100367 100367 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_x72_u0_b8 20 72 0 8 add(R,add(min(R,P),P)) 173996 165320900 o2(x,o2(o2(x,x),x)) true 100375 100375 -0.03682 0.4864 0.964 0.9488 0.9741 -1 1 2 1 1.648 0.001922 0.0006732 0.01156 0.4811 1 -0.00004104 0.0006726 0.004846 0.002464 0.04963 4.295 0.5071 0.002735 0.0007089 1 1 0.006201 0.06393 0.3244 0.006535 0.06737 0.3418 json
t20_x72_u0_b9 20 72 0 9 add(R,add(dot(R,P),P)) 173997 165320901 o2(x,o2(o2(x,x),x)) true 100383 100383 -0.07577 0.4602 0.9275 0.8977 0.9475 -1 1 2 1 2.108 0.01252 0.01584 0.05195 -0.1172 1 -0.0001341 0.0231 0.0398 0.02565 0.1601 3.083 2.002 0.03159 0.02574 1 1 0.04203 0.3245 0.8126 0.04682 0.3615 0.9052 json
t20_x72_u0_b10 20 72 0 10 add(R,add(dst(R,P),P)) 173998 165320902 o2(x,o2(o2(x,x),x)) true 100391 100391 0.8761 0.9477 0.9294 0.1392 0.3731 -1 1 2 1 1.247 0.001327 0.001785 0.01714 -0.1472 1 -0.00001891 0.0006851 0.006458 0.002816 0.05307 3.097 0.4329 0.02235 0.004921 1 1 0.006654 0.06971 0.1829 0.0478 0.5008 1.314 json
t20_x72_u0_b11 20 72 0 11 add(R,sub(add(R,P),P)) 173999 165320903 o2(x,o2(o2(x,x),x)) true 100399 100399 0.01372 0.4984 0.659 0.5457 0.7387 -1 1 2 1 4.408 0.008726 0.009756 0.09338 -0.05568 1 0.00002908 0.003164 0.02873 0.009763 0.09881 1.058 0.4602 0.03387 0.005798 1 1 0.03624 0.4079 0.9797 0.06641 0.7475 1.795 json