Laboratory of Babel / Archive / grad-noise-175k

grad-noise-175k

Gradient noise, 175k (run of 2026-09-23) · A complete batch run over 175,797 lattice-noise expressions, with 32 texture diagnostics and a frame of each.

About this collection

This collection is complete and closed. Every expression in the space below was rendered and measured once, in a single batch run. Each row is one expression, and its coordinate links to it running live on uto.run.

The purpose is exploratory. There is no target texture and no attempt to resemble Perlin noise. A constant field, a strongly directional pattern or an odd value distribution is an observation, not a failure. The measurements describe textures so they can be sorted, filtered and compared. They are a lossy fingerprint, not a judgement of quality and not a substitute for looking.

The space

An ither formula with two layers:

  • topo: expression trees of up to 64 nodes, built from unary (o1), binary (o2) and leaf (x) slots
  • expr: fills those slots
    • leaves: P, D, R
    • unary: sqt log frc flr cil sgn nrm
    • binary: add sub mlt div pow mod lrg eql min dot dst

A coordinate t·x·u·b follows the formula's projection: t the topology, x the leaf choices, u the unary choices, b the binary choices. Points outside the space were omitted from the run. Two orderings ride along: ordinal is the point's position in ither's whole enumeration (gaps where points were omitted), and batch index is its place in the batch run's sequence, 0 to 175,796 (the run's inputs.expr, and the number in its frame's file name).

The apparatus

Each expression is evaluated at the corners of a rectangular lattice with quintic blending (LATT.RECT.QUINTIC), over coordinates mlt(C, 8), in a 256 × 256 field #A. One configuration per expression: the dimension and coordinate scale were fixed for the whole run.

Measurements are taken from #A's x channel, its stored values (not a screenshot), at step 7, after which the run moves to the next expression. The frame in each row is that field, remapped for display.

The measurements

Notation: f is the field value, E averages the whole field, and E_I averages the interior (C-space [-0.98, 0.98]², which keeps wrapped edges out of the spatial measures).

Value distribution

key meaning
value_mean, value_abs_mean E[f] and E[|f|]: signed offset, typical distance from zero
value_positive_fraction share of values above 0 (field tolerance 0.0001)
value_variance, value_stddev population variance and SD: contrast
value_min, value_max, value_range sampled extrema and their difference
histogram_entropy_bits entropy of a 32-bin histogram over [−1, 1], 0 (one bin) to 5 (uniform) bits
histogram_probability_sum consistency check, ≈ 1

Local roughness (one-pixel differences dx, dy, and g = √(dx² + dy²))

key meaning
gradient_energy_x, gradient_energy_y E_I[dx²], E_I[dy²]
gradient_magnitude_mean E_I[g]: roughness
gradient_magnitude_variance, _stddev, _max how unevenly that roughness is spread, and its peak
gradient_magnitude_cv SD / mean of g: uneven activity (quiet areas interrupted by edges), independent of amplitude
gradient_axis_bias (Ex − Ey) / (Ex + Ey), −1 to 1: horizontal vs vertical preference. Zero does not mean isotropic (diagonals balance too)
gradient_nonzero_flag 1 if there is any gradient energy at all

Change of slope (four-neighbour Laplacian L)

key meaning
laplacian_mean, laplacian_energy, laplacian_abs_mean E_I[L], E_I[L²], E_I[|L|]. Sharp or high-frequency structure responds; a linear ramp does not

Normalised by contrast (comparable across amplitudes)

key meaning
gradient_energy_over_variance (Ex + Ey) / variance
laplacian_energy_over_variance E_I[L²] / variance
variance_normalization_valid_flag, gradient_cv_valid_flag whether the denominators above are meaningful (> 10⁻¹²). Filter on these before trusting a ratio

Three spatial scales (mean squared difference at a distance, over the central [-0.74, 0.74]²: 2, 8 and 32 pixels at this resolution)

key meaning
scale_diff2_near, _mid, _far raw difference energy at each distance
scale_diff2_near_over_variance, _mid_…, _far_… the same, normalised. Low near and rising far suggests smooth structure; a dip at a longer distance can hint at repetition

Each record's json also holds value_histogram (the 32 bin probabilities) and scale_curve (the three scales with their distances).

Reading them, and their limits

  • Clipping. #A kept its default signed domain, so values outside [−1, 1] were clipped before measuring. The diagnostics describe the clipped texture.
  • Combinations say more than any one key. A large range with modest SD and a high gradient peak suggests a few strong excursions. A broad histogram with low normalised detail suggests smooth variation. Similar roughness with a different CV means the activity is concentrated differently.
  • Entropy is about values, not space. A smooth ramp can have high entropy, and shuffling the pixels would not change it.
  • Raw spatial measures depend on resolution and amplitude. Prefer the normalised keys for detail independent of contrast, after checking the validity flags.
  • Not measured: full orientation, spectra or periodicity, lacunarity, tileability, colour, novelty, aesthetic merit.
  • Validation. The suite compiled and ran on every expression. Systematic numerical controls (constants, ramps, stripes, checkerboards, random pixels) and a comparison against longer settling times were not done before this run. Treat the values as exploratory.

Provenance

  • Apparatus: noiseBatch/one.uto, project SHA-256 b6fc8f27…be04d0
  • Expression corpus: SHA-256 7d3ec029…d72266
  • Run files (canonical), in ~/lab/data/grad-noise-175k/: the enumeration (grad-noise-175k.jsonl), the measurements (grad-noise-175k-output.jsonl, joined on inputs.expr), the formula (grad-noise-175k.manifest.json) and the frames (png/)
175,797 records
coordinate ▲ t x u b expression batch index ordinal topo measured step globalStep value_mean value_positive_fraction value_abs_mean value_variance value_stddev value_min value_max value_range histogram_probability_sum histogram_entropy_bits gradient_energy_x gradient_energy_y gradient_magnitude_mean gradient_axis_bias gradient_nonzero_flag laplacian_mean laplacian_energy laplacian_abs_mean gradient_magnitude_variance gradient_magnitude_stddev gradient_magnitude_cv gradient_magnitude_max gradient_energy_over_variance laplacian_energy_over_variance variance_normalization_valid_flag gradient_cv_valid_flag scale_diff2_near scale_diff2_mid scale_diff2_far scale_diff2_near_over_variance scale_diff2_mid_over_variance scale_diff2_far_over_variance
t16_x22_u6_b112 16 22 6 112 dst(R,nrm(mlt(D,D))) 94100 130819756 o2(x,o1(o2(x,x))) true 69607 69607 0.9608 1 0.9608 0.01098 0.1048 0.06108 1 0.9389 1 1.084 0.002182 0.00217 0.0234 0.002835 1 -0.00006331 0.009413 0.02739 0.003806 0.06169 2.636 0.8866 0.3964 0.8573 1 1 0.00671 0.01714 0.02304 0.6111 1.561 2.099 json
t16_x22_u6_b113 16 22 6 113 dst(R,nrm(div(D,D))) 94101 130819757 o2(x,o1(o2(x,x))) true 69615 69615 -1 0 1 0 0 -1 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 json
t16_x22_u6_b114 16 22 6 114 dst(R,nrm(pow(D,D))) 94102 130819758 o2(x,o1(o2(x,x))) true 69623 69623 -1 0 1 0 0 -1 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 json
t16_x22_u6_b115 16 22 6 115 dst(R,nrm(mod(D,D))) 94103 130819759 o2(x,o1(o2(x,x))) true 69631 69631 -1 0 1 0 0 -1 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 json
t16_x22_u6_b116 16 22 6 116 dst(R,nrm(lrg(D,D))) 94104 130819760 o2(x,o1(o2(x,x))) true 69639 69639 -1 0 1 0 0 -1 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 json
t16_x22_u6_b117 16 22 6 117 dst(R,nrm(eql(D,D))) 94105 130819761 o2(x,o1(o2(x,x))) true 69647 69647 0.9574 1 0.9574 0.01496 0.1223 0.1417 1 0.8583 1 1.061 0.0004267 0.0005175 0.01114 -0.09619 1 -0.00001782 0.0002873 0.005546 0.0008208 0.02865 2.572 0.2061 0.06311 0.0192 1 1 0.002229 0.02133 0.03256 0.149 1.426 2.176 json
t16_x22_u6_b118 16 22 6 118 dst(R,nrm(min(D,D))) 94106 130819762 o2(x,o1(o2(x,x))) true 69655 69655 0.9599 1 0.9599 0.01182 0.1087 0.06153 1 0.9385 1 1.088 0.002242 0.002181 0.02374 0.01375 1 0.000009974 0.008218 0.0224 0.003859 0.06212 2.617 1.283 0.3742 0.6955 1 1 0.00611 0.02263 0.02336 0.517 1.915 1.977 json
t16_x22_u6_b119 16 22 6 119 dst(R,nrm(dot(D,D))) 94107 130819763 o2(x,o1(o2(x,x))) true 69663 69663 0.9574 1 0.9574 0.01496 0.1223 0.1417 1 0.8583 1 1.061 0.0004267 0.0005175 0.01114 -0.09619 1 -0.00001782 0.0002873 0.005546 0.0008208 0.02865 2.572 0.2061 0.06311 0.0192 1 1 0.002229 0.02133 0.03256 0.149 1.426 2.176 json
t16_x22_u6_b120 16 22 6 120 dst(R,nrm(dst(D,D))) 94108 130819764 o2(x,o1(o2(x,x))) true 69671 69671 -1 0 1 0 0 -1 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 json
t16_x23_u0_b0 16 23 0 0 add(R,sqt(add(D,R))) 94109 130858839 o2(x,o1(o2(x,x))) true 69679 69679 -0.8786 0.06274 0.9959 0.2213 0.4704 -1 1 2 1 0.4325 0.09016 0.02004 0.05823 0.6363 1 0.0004249 0.237 0.1149 0.1068 0.3269 5.613 2.828 0.498 1.071 1 1 0.1002 0.3085 0.4607 0.453 1.394 2.082 json
t16_x23_u0_b1 16 23 0 1 add(R,sqt(sub(D,R))) 94110 130858840 o2(x,o1(o2(x,x))) true 69687 69687 -0.929 0.05675 0.9405 0.07236 0.269 -1 0.3408 1.341 1 0.4998 0.03483 0.006895 0.0388 0.6695 1 0.00005616 0.09558 0.07565 0.0402 0.2005 5.167 1.724 0.5767 1.321 1 1 0.04235 0.1064 0.1289 0.5853 1.47 1.781 json
t16_x23_u0_b2 16 23 0 2 add(R,sqt(mlt(D,R))) 94111 130858841 o2(x,o1(o2(x,x))) true 69695 69695 -0.9479 0.02888 0.9792 0.07473 0.2734 -1 1 2 1 0.4168 0.008037 0.007917 0.01394 0.007541 1 0.000001827 0.03204 0.02177 0.01576 0.1255 9.006 2.005 0.2135 0.4288 1 1 0.01703 0.08106 0.1617 0.2279 1.085 2.163 json
t16_x23_u0_b3 16 23 0 3 add(R,sqt(div(D,R))) 94112 130858842 o2(x,o1(o2(x,x))) true 69703 69703 -0.934 0.03435 0.9907 0.1153 0.3396 -1 1 2 1 0.3566 0.01071 0.01212 0.01641 -0.06181 1 -2.604e-7 0.04457 0.02641 0.02255 0.1502 9.151 2.024 0.1979 0.3865 1 1 0.02431 0.1184 0.247 0.2108 1.026 2.142 json
t16_x23_u0_b4 16 23 0 4 add(R,sqt(pow(D,R))) 94113 130858843 o2(x,o1(o2(x,x))) true 69711 69711 -1 0 1 0 0 -1 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 json
t16_x23_u0_b5 16 23 0 5 add(R,sqt(mod(D,R))) 94114 130858844 o2(x,o1(o2(x,x))) true 69719 69719 -1 0 1 0 0 -1 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 json
t16_x23_u0_b6 16 23 0 6 add(R,sqt(lrg(D,R))) 94115 130858845 o2(x,o1(o2(x,x))) true 69727 69727 0.5086 0.9807 0.5111 0.06479 0.2545 -0.2345 1 1.235 1 3.999 0.01796 0.0009252 0.06872 0.902 1 0.00001003 0.03579 0.0664 0.01416 0.119 1.732 0.9994 0.2915 0.5525 1 1 0.0188 0.07237 0.114 0.2902 1.117 1.759 json
t16_x23_u0_b7 16 23 0 7 add(R,sqt(eql(D,R))) 94116 130858846 o2(x,o1(o2(x,x))) true 69735 69735 0.009019 0.4984 0.3946 0.2196 0.4686 -0.9989 0.9806 1.979 1 4.862 0.002828 0.003169 0.06324 -0.0569 1 0.00002663 0.0003949 0.01461 0.001998 0.0447 0.7068 0.3544 0.02731 0.001798 1 1 0.01182 0.1519 0.3913 0.05385 0.6917 1.782 json
t16_x23_u0_b8 16 23 0 8 add(R,sqt(min(D,R))) 94117 130858847 o2(x,o1(o2(x,x))) true 69743 69743 -1 0 1 0 0 -1 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 json
t16_x23_u0_b9 16 23 0 9 add(R,sqt(dot(D,R))) 94118 130858848 o2(x,o1(o2(x,x))) true 69751 69751 -0.9009 0.05807 0.9679 0.1463 0.3825 -1 1 2 1 0.6553 0.03981 0.0343 0.05013 0.07434 1 -0.0002428 0.227 0.09817 0.07158 0.2675 5.337 2.828 0.5066 1.551 1 1 0.085 0.2657 0.3325 0.581 1.816 2.273 json
t16_x23_u0_b10 16 23 0 10 add(R,sqt(dst(D,R))) 94119 130858849 o2(x,o1(o2(x,x))) true 69759 69759 0.8032 1 0.8032 0.06314 0.2513 0.01215 1 0.9878 1 2.756 0.001399 0.001572 0.03347 -0.05823 1 -0.00008806 0.0008125 0.01382 0.001851 0.04303 1.286 0.2442 0.04705 0.01287 1 1 0.0055 0.05281 0.1081 0.0871 0.8363 1.712 json
t16_x23_u0_b11 16 23 0 11 sub(R,sqt(add(D,R))) 94120 130858850 o2(x,o1(o2(x,x))) true 69767 69767 -0.9421 0.005981 0.9423 0.05041 0.2245 -1 0.1274 1.127 1 0.4709 0.02073 0.004573 0.02889 0.6386 1 0.0002179 0.05424 0.05513 0.02448 0.1565 5.415 1.394 0.502 1.076 1 1 0.02254 0.06918 0.1038 0.447 1.372 2.058 json
t16_x23_u0_b12 16 23 0 12 sub(R,sqt(sub(D,R))) 94121 130858851 o2(x,o1(o2(x,x))) true 69775 69775 -0.9937 0 0.9937 0.002552 0.05052 -1 -0.04627 0.9537 1 0.207 0.002416 0.0003159 0.006745 0.7687 1 -0.00005005 0.007046 0.0113 0.002686 0.05183 7.685 1.053 1.07 2.761 1 1 0.002094 0.003765 0.004438 0.8205 1.475 1.739 json
t16_x23_u0_b13 16 23 0 13 sub(R,sqt(mlt(D,R))) 94122 130858852 o2(x,o1(o2(x,x))) true 69783 69783 -0.9738 0.01003 0.9791 0.02472 0.1572 -1 0.7895 1.789 1 0.3807 0.005754 0.00266 0.01012 0.3676 1 0.000002643 0.01814 0.01491 0.008309 0.09115 9.009 1.795 0.3403 0.7337 1 1 0.007809 0.02949 0.0495 0.3159 1.193 2.002 json
t16_x23_u0_b14 16 23 0 14 sub(R,sqt(div(D,R))) 94123 130858853 o2(x,o1(o2(x,x))) true 69791 69791 -0.9876 0.004868 0.9906 0.01211 0.1101 -1 0.7828 1.783 1 0.2087 0.004724 0.001396 0.008108 0.5437 1 0.000003301 0.0136 0.0114 0.006053 0.0778 9.595 1.789 0.5053 1.123 1 1 0.005496 0.01828 0.02528 0.4537 1.509 2.087 json
t16_x23_u0_b15 16 23 0 15 sub(R,sqt(pow(D,R))) 94124 130858854 o2(x,o1(o2(x,x))) true 69799 69799 -1 0 1 0 0 -1 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 json
t16_x23_u0_b16 16 23 0 16 sub(R,sqt(mod(D,R))) 94125 130858855 o2(x,o1(o2(x,x))) true 69807 69807 -1 0 1 0 0 -1 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 json
t16_x23_u0_b17 16 23 0 17 sub(R,sqt(lrg(D,R))) 94126 130858856 o2(x,o1(o2(x,x))) true 69815 69815 -0.3479 0.3472 0.6517 0.4157 0.6447 -1 0.9804 1.98 1 4.058 0.02165 0.007502 0.1036 0.4854 1 0.0001578 0.03315 0.07209 0.01842 0.1357 1.31 1.1 0.07014 0.07974 1 1 0.0413 0.3494 0.7776 0.09935 0.8405 1.87 json
t16_x23_u0_b18 16 23 0 18 sub(R,sqt(eql(D,R))) 94127 130858857 o2(x,o1(o2(x,x))) true 69823 69823 0.008939 0.4983 0.3947 0.2196 0.4686 -0.9989 0.9806 1.979 1 4.862 0.002828 0.003171 0.06324 -0.05716 1 0.00002639 0.0003949 0.01461 0.001999 0.04471 0.7069 0.3513 0.02731 0.001798 1 1 0.01182 0.1519 0.3914 0.05384 0.6916 1.782 json
t16_x23_u0_b19 16 23 0 19 sub(R,sqt(min(D,R))) 94128 130858858 o2(x,o1(o2(x,x))) true 69831 69831 -1 0 1 0 0 -1 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 json
t16_x23_u0_b20 16 23 0 20 sub(R,sqt(dot(D,R))) 94129 130858859 o2(x,o1(o2(x,x))) true 69839 69839 -0.9564 0.01404 0.9634 0.03735 0.1932 -1 0.8174 1.817 1 0.6118 0.01453 0.012 0.02868 0.09541 1 -0.00009611 0.08721 0.05326 0.02571 0.1603 5.591 2.488 0.7105 2.335 1 1 0.02984 0.07449 0.08556 0.799 1.995 2.291 json
t16_x23_u0_b21 16 23 0 21 sub(R,sqt(dst(D,R))) 94130 130858860 o2(x,o1(o2(x,x))) true 69847 69847 -0.7991 0.00004578 0.7991 0.06516 0.2553 -1 0.005813 1.006 1 2.761 0.001464 0.001564 0.03421 -0.0332 1 0.00009191 0.0007521 0.01336 0.001857 0.04309 1.26 0.2419 0.04647 0.01154 1 1 0.005752 0.0568 0.1175 0.08829 0.8717 1.803 json
t16_x23_u0_b22 16 23 0 22 mlt(R,sqt(add(D,R))) 94131 130858861 o2(x,o1(o2(x,x))) true 69855 69855 -0.9103 0.06273 0.9642 0.1232 0.351 -1 0.9302 1.93 1 0.5751 0.04999 0.01117 0.04431 0.6346 1 0.0003167 0.1321 0.08493 0.05919 0.2433 5.491 2.679 0.4965 1.072 1 1 0.05435 0.168 0.2527 0.4413 1.364 2.051 json
t16_x23_u0_b23 16 23 0 23 mlt(R,sqt(sub(D,R))) 94132 130858862 o2(x,o1(o2(x,x))) true 69863 69863 -0.9618 0.00006104 0.9618 0.02521 0.1588 -1 0.02212 1.022 1 0.5943 0.01381 0.002289 0.02325 0.7157 1 -0.00002284 0.03742 0.04327 0.01557 0.1248 5.367 1.396 0.6387 1.485 1 1 0.01602 0.04004 0.04646 0.6355 1.588 1.843 json
t16_x23_u0_b24 16 23 0 24 mlt(R,sqt(mlt(D,R))) 94133 130858863 o2(x,o1(o2(x,x))) true 69871 69871 -0.9608 0.01947 0.9657 0.03866 0.1966 -1 0.4115 1.411 1 0.367 0.005012 0.00411 0.01012 0.09884 1 0.000001597 0.01911 0.01831 0.009018 0.09497 9.38 1.411 0.236 0.4944 1 1 0.009518 0.0389 0.08365 0.2462 1.006 2.164 json
t16_x23_u0_b25 16 23 0 25 mlt(R,sqt(div(D,R))) 94134 130858864 o2(x,o1(o2(x,x))) true 69879 69879 -0.961 0.01936 0.9681 0.0391 0.1977 -1 0.4022 1.402 1 0.3765 0.005114 0.004161 0.01075 0.1027 1 0.000001213 0.01928 0.01856 0.009162 0.09572 8.903 1.402 0.2372 0.4932 1 1 0.009679 0.03992 0.08445 0.2476 1.021 2.16 json
t16_x23_u0_b26 16 23 0 26 mlt(R,sqt(pow(D,R))) 94135 130858865 o2(x,o1(o2(x,x))) true 69887 69887 -1 0 1 0 0 -1 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 json
t16_x23_u0_b27 16 23 0 27 mlt(R,sqt(mod(D,R))) 94136 130858866 o2(x,o1(o2(x,x))) true 69895 69895 -1 0 1 0 0 -1 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 json
t16_x23_u0_b28 16 23 0 28 mlt(R,sqt(lrg(D,R))) 94137 130858867 o2(x,o1(o2(x,x))) true 69903 69903 -0.2239 0.1253 0.239 0.07192 0.2682 -0.9987 0.2695 1.268 1 3.788 0.002335 0.0009971 0.04036 0.4016 1 -0.00001563 0.003293 0.02414 0.001703 0.04127 1.023 0.3515 0.04634 0.04579 1 1 0.004893 0.04676 0.1166 0.06803 0.6502 1.622 json
t16_x23_u0_b29 16 23 0 29 mlt(R,sqt(eql(D,R))) 94138 130858868 o2(x,o1(o2(x,x))) true 69911 69911 -0.00002379 0 0.00002379 0.000003633 0.001906 -0.1948 0 0.1948 1 0.003755 0.000005124 5.318e-8 0.00003743 0.9795 0 -6.949e-8 0.00001553 0.00007373 0.000005176 0.002275 60.78 0.1892 1.425 4.276 1 1 0 0 0.000002772 0 0 0.7631 json
t16_x23_u0_b30 16 23 0 30 mlt(R,sqt(min(D,R))) 94139 130858869 o2(x,o1(o2(x,x))) true 69919 69919 -1 0 1 0 0 -1 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 json
t16_x23_u0_b31 16 23 0 31 mlt(R,sqt(dot(D,R))) 94140 130858870 o2(x,o1(o2(x,x))) true 69927 69927 -0.9299 0.03688 0.9413 0.06941 0.2634 -1 0.5638 1.564 1 0.5973 0.02055 0.0179 0.03634 0.06906 1 -0.0001767 0.1215 0.07467 0.03713 0.1927 5.302 2.126 0.554 1.751 1 1 0.04141 0.1205 0.1542 0.5967 1.737 2.222 json
t16_x23_u0_b32 16 23 0 32 mlt(R,sqt(dst(D,R))) 94141 130858871 o2(x,o1(o2(x,x))) true 69935 69935 0.01389 0.5018 0.4137 0.2505 0.5005 -1 1 2 1 4.914 0.003262 0.003645 0.06743 -0.05551 1 0.00004858 0.0004563 0.01559 0.002359 0.04857 0.7204 0.2519 0.02757 0.001821 1 1 0.01354 0.1721 0.4487 0.05404 0.6868 1.791 json
t16_x23_u0_b33 16 23 0 33 div(R,sqt(add(D,R))) 94142 130858872 o2(x,o1(o2(x,x))) true 69943 69943 -0.8846 0.06201 0.9906 0.2017 0.4492 -1 1 2 1 0.5121 0.0813 0.01856 0.0577 0.6282 1 0.0004341 0.2124 0.109 0.09658 0.3108 5.386 2.821 0.495 1.053 1 1 0.08945 0.2755 0.4142 0.4434 1.366 2.053 json
t16_x23_u0_b34 16 23 0 34 div(R,sqt(sub(D,R))) 94143 130858873 o2(x,o1(o2(x,x))) true 69951 69951 -0.9899 0.0002899 0.9902 0.003732 0.06109 -1 1 2 1 0.3511 0.003635 0.0004097 0.01037 0.7974 1 0.0001194 0.01062 0.01726 0.003937 0.06274 6.05 2 1.084 2.846 1 1 0.002861 0.004721 0.005371 0.7665 1.265 1.439 json
t16_x23_u0_b35 16 23 0 35 div(R,sqt(mlt(D,R))) 94144 130858874 o2(x,o1(o2(x,x))) true 69959 69959 -0.9612 0.01944 0.9908 0.06388 0.2528 -1 1 2 1 0.2914 0.01101 0.006641 0.01359 0.2473 1 0.000002126 0.03522 0.01916 0.01746 0.1321 9.724 2.028 0.2762 0.5514 1 1 0.01874 0.08556 0.1341 0.2933 1.339 2.099 json
t16_x23_u0_b36 16 23 0 36 div(R,sqt(div(D,R))) 94145 130858875 o2(x,o1(o2(x,x))) true 69967 69967 -0.9608 0.01941 0.9837 0.05614 0.2369 -1 1 2 1 0.3597 0.01008 0.005882 0.01341 0.2631 1 0.000003575 0.03301 0.01927 0.01579 0.1256 9.367 2.02 0.2844 0.588 1 1 0.0162 0.06949 0.1166 0.2886 1.238 2.076 json
t16_x23_u0_b37 16 23 0 37 div(R,sqt(pow(D,R))) 94146 130858876 o2(x,o1(o2(x,x))) true 69975 69975 -1 0 1 0 0 -1 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 json
t16_x23_u0_b38 16 23 0 38 div(R,sqt(mod(D,R))) 94147 130858877 o2(x,o1(o2(x,x))) true 69983 69983 -1 0 1 0 0 -1 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 json
t16_x23_u0_b39 16 23 0 39 div(R,sqt(lrg(D,R))) 94148 130858878 o2(x,o1(o2(x,x))) true 69991 69991 -0.7925 0.08945 0.9713 0.3306 0.5749 -1 1 2 1 1.008 0.1402 0.0397 0.1017 0.5586 1 -0.000004916 0.4143 0.2028 0.1696 0.4118 4.05 2.828 0.5442 1.253 1 1 0.1665 0.479 0.5341 0.5037 1.449 1.616 json
t16_x23_u0_b40 16 23 0 40 div(R,sqt(eql(D,R))) 94149 130858879 o2(x,o1(o2(x,x))) true 69999 69999 -1 0 1 0 0 -1 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 json
t16_x23_u0_b41 16 23 0 41 div(R,sqt(min(D,R))) 94150 130858880 o2(x,o1(o2(x,x))) true 70007 70007 -1 0 1 0 0 -1 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 json
t16_x23_u0_b42 16 23 0 42 div(R,sqt(dot(D,R))) 94151 130858881 o2(x,o1(o2(x,x))) true 70015 70015 -0.9285 0.03545 0.9789 0.1102 0.3319 -1 1 2 1 0.5364 0.03883 0.03134 0.04449 0.1068 1 -0.00007348 0.223 0.08015 0.06816 0.2611 5.869 2.828 0.6369 2.024 1 1 0.08376 0.2323 0.2557 0.7603 2.108 2.321 json
t16_x23_u0_b43 16 23 0 43 div(R,sqt(dst(D,R))) 94152 130858882 o2(x,o1(o2(x,x))) true 70023 70023 0.004989 0.4948 0.3886 0.2072 0.4552 -1 1 2 1 4.812 0.002796 0.003088 0.06357 -0.04974 1 -0.00001086 0.0004154 0.01496 0.001843 0.04293 0.6754 0.4036 0.0284 0.002005 1 1 0.01161 0.1468 0.3675 0.05602 0.7085 1.774 json
t16_x23_u0_b44 16 23 0 44 pow(R,sqt(add(D,R))) 94153 130858883 o2(x,o1(o2(x,x))) true 70031 70031 -0.9709 0.01685 0.9954 0.0494 0.2223 -1 0.9449 1.945 1 0.1689 0.01545 0.005329 0.0124 0.4872 1 0.000001762 0.04468 0.02421 0.02064 0.1437 11.59 2.655 0.4207 0.9044 1 1 0.01473 0.05334 0.0861 0.2981 1.08 1.743 json
t16_x23_u0_b45 16 23 0 45 pow(R,sqt(sub(D,R))) 94154 130858884 o2(x,o1(o2(x,x))) true 70039 70039 -1 0 1 0 0 -1 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 json
t16_x23_u0_b46 16 23 0 46 pow(R,sqt(mlt(D,R))) 94155 130858885 o2(x,o1(o2(x,x))) true 70047 70047 -1 0 1 0 0 -1 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 json
t16_x23_u0_b47 16 23 0 47 pow(R,sqt(div(D,R))) 94156 130858886 o2(x,o1(o2(x,x))) true 70055 70055 -1 0 1 0 0 -1 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 json
t16_x23_u0_b48 16 23 0 48 pow(R,sqt(pow(D,R))) 94157 130858887 o2(x,o1(o2(x,x))) true 70063 70063 -1 0 1 0 0 -1 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 json
t16_x23_u0_b49 16 23 0 49 pow(R,sqt(mod(D,R))) 94158 130858888 o2(x,o1(o2(x,x))) true 70071 70071 -1 0 1 0 0 -1 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 json
t16_x23_u0_b50 16 23 0 50 pow(R,sqt(lrg(D,R))) 94159 130858889 o2(x,o1(o2(x,x))) true 70079 70079 -0.7543 0.1287 0.9884 0.4135 0.643 -1 1 2 1 0.7732 0.07944 0.0384 0.06421 0.3482 1 0.000005221 0.2506 0.1252 0.1136 0.3371 5.25 2.828 0.285 0.606 1 1 0.1189 0.4303 0.8065 0.2876 1.041 1.95 json
t16_x23_u0_b51 16 23 0 51 pow(R,sqt(eql(D,R))) 94160 130858890 o2(x,o1(o2(x,x))) true 70087 70087 0.9995 0.9998 1 0.0009763 0.03125 -1 1 2 1 0.003282 0.001764 0.00006299 0.0009133 0.931 1 0 0.005669 0.001827 0.001826 0.04273 46.78 2 1.871 5.806 1 1 0 0 0.000831 0 0 0.8512 json
t16_x23_u0_b52 16 23 0 52 pow(R,sqt(min(D,R))) 94161 130858891 o2(x,o1(o2(x,x))) true 70095 70095 -1 0 1 0 0 -1 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 json
t16_x23_u0_b53 16 23 0 53 pow(R,sqt(dot(D,R))) 94162 130858892 o2(x,o1(o2(x,x))) true 70103 70103 -0.9977 0.001236 0.9998 0.004181 0.06466 -1 0.9797 1.98 1 0.01631 0.003184 0.001134 0.002168 0.4747 1 2.253e-11 0.01409 0.004618 0.00431 0.06565 30.28 2.8 1.033 3.369 1 1 0.003979 0.009843 0.01159 0.9515 2.354 2.773 json
t16_x23_u0_b54 16 23 0 54 pow(R,sqt(dst(D,R))) 94163 130858893 o2(x,o1(o2(x,x))) true 70111 70111 -0.9322 0.04297 0.9818 0.1037 0.322 -1 0.9432 1.943 1 0.4076 0.01051 0.01058 0.01421 -0.00344 1 0.000007573 0.04406 0.0265 0.02088 0.1445 10.17 2.609 0.2034 0.425 1 1 0.01659 0.07145 0.1741 0.16 0.6892 1.679 json
t16_x23_u0_b55 16 23 0 55 mod(R,sqt(add(D,R))) 94164 130858894 o2(x,o1(o2(x,x))) true 70119 70119 -0.916 0.06201 0.9585 0.1094 0.3307 -1 0.9633 1.963 1 0.5762 0.05273 0.01015 0.0479 0.6771 1 0.0003235 0.1415 0.09209 0.06055 0.2461 5.137 2.742 0.5749 1.294 1 1 0.05375 0.1528 0.2236 0.4914 1.397 2.045 json
t16_x23_u0_b56 16 23 0 56 mod(R,sqt(sub(D,R))) 94165 130858895 o2(x,o1(o2(x,x))) true 70127 70127 -0.9582 0.001175 0.9582 0.0291 0.1706 -1 0.1464 1.146 1 0.6006 0.01493 0.002956 0.02644 0.6695 1 -0.0001006 0.04172 0.04962 0.01718 0.1311 4.957 1.392 0.6146 1.434 1 1 0.018 0.04606 0.05419 0.6187 1.583 1.862 json
t16_x23_u0_b57 16 23 0 57 mod(R,sqt(mlt(D,R))) 94166 130858896 o2(x,o1(o2(x,x))) true 70135 70135 -0.9609 0.02 0.9647 0.0382 0.1954 -1 0.3803 1.38 1 0.3561 0.005221 0.004086 0.01173 0.1219 1 3.852e-7 0.0197 0.02084 0.009173 0.09578 8.163 1.382 0.2437 0.5157 1 1 0.009796 0.03881 0.08418 0.2565 1.016 2.204 json
t16_x23_u0_b58 16 23 0 58 mod(R,sqt(div(D,R))) 94167 130858897 o2(x,o1(o2(x,x))) true 70143 70143 -0.9614 0.01843 0.9682 0.03868 0.1967 -1 0.5101 1.51 1 0.3881 0.005482 0.004174 0.01258 0.1355 1 5.268e-7 0.02029 0.02098 0.009496 0.09745 7.748 1.49 0.2496 0.5246 1 1 0.01008 0.03974 0.08367 0.2606 1.027 2.163 json
t16_x23_u0_b59 16 23 0 59 mod(R,sqt(pow(D,R))) 94168 130858898 o2(x,o1(o2(x,x))) true 70151 70151 -1 0 1 0 0 -1 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 json
t16_x23_u0_b60 16 23 0 60 mod(R,sqt(mod(D,R))) 94169 130858899 o2(x,o1(o2(x,x))) true 70159 70159 -1 0 1 0 0 -1 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 json
t16_x23_u0_b61 16 23 0 61 mod(R,sqt(lrg(D,R))) 94170 130858900 o2(x,o1(o2(x,x))) true 70167 70167 -0.9712 0.00009155 0.9713 0.01543 0.1242 -1 0.1088 1.109 1 0.5827 0.009287 0.001405 0.01836 0.7372 1 -0.000004916 0.02537 0.03446 0.01036 0.1018 5.544 1.32 0.6928 1.644 1 1 0.01009 0.02375 0.02771 0.654 1.539 1.795 json
t16_x23_u0_b62 16 23 0 62 mod(R,sqt(eql(D,R))) 94171 130858901 o2(x,o1(o2(x,x))) true 70175 70175 -1 0 1 0 0 -1 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 json
t16_x23_u0_b63 16 23 0 63 mod(R,sqt(min(D,R))) 94172 130858902 o2(x,o1(o2(x,x))) true 70183 70183 -1 0 1 0 0 -1 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 json
t16_x23_u0_b64 16 23 0 64 mod(R,sqt(dot(D,R))) 94173 130858903 o2(x,o1(o2(x,x))) true 70191 70191 -0.9314 0.03467 0.9408 0.06625 0.2574 -1 0.5325 1.533 1 0.5931 0.02051 0.01789 0.03919 0.06835 1 -0.0001962 0.1231 0.07999 0.03687 0.192 4.9 2.025 0.5796 1.858 1 1 0.04046 0.1131 0.1447 0.6107 1.708 2.184 json
t16_x23_u0_b65 16 23 0 65 mod(R,sqt(dst(D,R))) 94174 130858904 o2(x,o1(o2(x,x))) true 70199 70199 0.007774 0.4959 0.3819 0.2086 0.4567 -0.9989 0.9806 1.979 1 4.839 0.00573 0.004525 0.06834 0.1175 1 0.00004839 0.01523 0.03244 0.005585 0.07473 1.094 1.316 0.04917 0.07302 1 1 0.01503 0.1558 0.3746 0.07206 0.747 1.796 json
t16_x23_u0_b66 16 23 0 66 lrg(R,sqt(add(D,R))) 94175 130858905 o2(x,o1(o2(x,x))) true 70207 70207 0.6019 0.9726 0.6019 0.1278 0.3574 0 1 1 1 3.541 0.03342 0.001602 0.09974 0.9085 1 -0.00009092 0.06504 0.1001 0.02507 0.1583 1.588 1 0.2741 0.5091 1 1 0.03638 0.1619 0.1986 0.2847 1.267 1.555 json
t16_x23_u0_b67 16 23 0 67 lrg(R,sqt(sub(D,R))) 94176 130858906 o2(x,o1(o2(x,x))) true 70215 70215 0.5145 0.9421 0.5145 0.1491 0.3861 0 1 1 1 3.49 0.01784 0.002133 0.07627 0.7864 1 -0.000005822 0.03304 0.0629 0.01415 0.119 1.56 0.9994 0.1339 0.2216 1 1 0.02237 0.1377 0.2745 0.1501 0.9234 1.841 json
t16_x23_u0_b68 16 23 0 68 lrg(R,sqt(mlt(D,R))) 94177 130858907 o2(x,o1(o2(x,x))) true 70223 70223 0.68 0.9807 0.68 0.1325 0.3641 0 1 1 1 3.113 0.03785 0.001513 0.08761 0.9231 1 0.00003292 0.0726 0.09815 0.03169 0.178 2.032 1 0.297 0.5478 1 1 0.04335 0.189 0.187 0.3271 1.426 1.411 json
t16_x23_u0_b69 16 23 0 69 lrg(R,sqt(div(D,R))) 94178 130858908 o2(x,o1(o2(x,x))) true 70231 70231 0.6043 0.9684 0.6043 0.1428 0.3779 0 1 1 1 3.367 0.04313 0.001952 0.09771 0.9134 1 0.0002698 0.08467 0.1107 0.03553 0.1885 1.929 1 0.3156 0.5928 1 1 0.04967 0.218 0.2372 0.3478 1.526 1.661 json
t16_x23_u0_b70 16 23 0 70 lrg(R,sqt(pow(D,R))) 94179 130858909 o2(x,o1(o2(x,x))) true 70239 70239 0.6029 1 0.6029 0.1319 0.3632 0.000291 1 0.9997 1 3.467 0.04943 0.0007774 0.1105 0.969 1 0.00003542 0.0921 0.1159 0.03799 0.1949 1.765 0.9994 0.3807 0.6984 1 1 0.05528 0.2071 0.1097 0.4191 1.571 0.8315 json
t16_x23_u0_b71 16 23 0 71 lrg(R,sqt(mod(D,R))) 94180 130858910 o2(x,o1(o2(x,x))) true 70247 70247 0.6543 1 0.6543 0.1278 0.3575 0.000291 1 0.9997 1 3.321 0.05564 0.0009414 0.1203 0.9667 1 0.00001682 0.1121 0.1515 0.04209 0.2052 1.705 0.9997 0.4426 0.877 1 1 0.05661 0.191 0.1321 0.4428 1.494 1.033 json
t16_x23_u0_b72 16 23 0 72 lrg(R,sqt(lrg(D,R))) 94181 130858911 o2(x,o1(o2(x,x))) true 70255 70255 0.4232 0.8335 0.4232 0.1518 0.3896 0 1 1 1 3.35 0.01015 0.002268 0.0614 0.6347 1 0.0000315 0.01717 0.03834 0.00865 0.093 1.515 0.9994 0.0818 0.1131 1 1 0.01515 0.1243 0.2844 0.09979 0.819 1.874 json
t16_x23_u0_b73 16 23 0 73 lrg(R,sqt(eql(D,R))) 94182 130858912 o2(x,o1(o2(x,x))) true 70263 70263 0.4824 0.9147 0.4824 0.1537 0.3921 0 1 1 1 3.429 0.001972 0.002442 0.05168 -0.1065 1 -0.00001781 0.0002592 0.01257 0.001744 0.04176 0.8079 0.1169 0.02872 0.001686 1 1 0.008731 0.1124 0.2862 0.0568 0.7316 1.862 json
t16_x23_u0_b74 16 23 0 74 lrg(R,sqt(min(D,R))) 94183 130858913 o2(x,o1(o2(x,x))) true 70271 70271 0.8918 1 0.8918 0.04995 0.2235 0.000291 1 0.9997 1 1.834 0.01375 0.0006858 0.0429 0.9049 1 0.00004454 0.02672 0.04334 0.01259 0.1122 2.615 0.9997 0.2889 0.5349 1 1 0.01383 0.06028 0.0809 0.2768 1.207 1.62 json
t16_x23_u0_b75 16 23 0 75 lrg(R,sqt(dot(D,R))) 94184 130858914 o2(x,o1(o2(x,x))) true 70279 70279 0.6459 0.9742 0.6459 0.134 0.3661 0 1 1 1 3.303 0.02479 0.02739 0.1058 -0.04968 1 0.0002756 0.1612 0.1429 0.04098 0.2024 1.912 1.414 0.3893 1.203 1 1 0.05622 0.2214 0.2517 0.4194 1.652 1.878 json
t16_x23_u0_b76 16 23 0 76 lrg(R,sqt(dst(D,R))) 94185 130858915 o2(x,o1(o2(x,x))) true 70287 70287 0.01479 0.08282 0.01479 0.006483 0.08052 0 0.9926 0.9926 1 0.4168 0.002297 0.001255 0.009307 0.2934 1 -0.00002186 0.01111 0.01286 0.003465 0.05887 6.325 1.337 0.5478 1.713 1 1 0.002685 0.009344 0.01068 0.4141 1.441 1.647 json
t16_x23_u0_b77 16 23 0 77 eql(R,sqt(add(D,R))) 94186 130858916 o2(x,o1(o2(x,x))) true 70295 70295 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 json
t16_x23_u0_b78 16 23 0 78 eql(R,sqt(sub(D,R))) 94187 130858917 o2(x,o1(o2(x,x))) true 70303 70303 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 json
t16_x23_u0_b79 16 23 0 79 eql(R,sqt(mlt(D,R))) 94188 130858918 o2(x,o1(o2(x,x))) true 70311 70311 7.106e-8 0.0002747 7.106e-8 1.62e-11 0.000004025 0 0.000291 0.000291 1 0 3.345e-11 2.373e-13 1.48e-7 0.9859 0 6.74e-16 1.013e-10 2.935e-7 3.366e-11 0.000005802 39.19 0.000291 2.079 6.254 1 1 3.024e-11 4.016e-11 5.884e-11 1.867 2.479 3.632 json
t16_x23_u0_b80 16 23 0 80 eql(R,sqt(div(D,R))) 94189 130858919 o2(x,o1(o2(x,x))) true 70319 70319 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 json
t16_x23_u0_b81 16 23 0 81 eql(R,sqt(pow(D,R))) 94190 130858920 o2(x,o1(o2(x,x))) true 70327 70327 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 json
t16_x23_u0_b82 16 23 0 82 eql(R,sqt(mod(D,R))) 94191 130858921 o2(x,o1(o2(x,x))) true 70335 70335 0.00005506 0.0004578 0.00005506 0.000009728 0.003119 0 0.2255 0.2255 1 0.004457 0.00002009 1.425e-7 0.0001147 0.9859 0 -8.041e-8 0.00006083 0.0002273 0.00002021 0.004496 39.21 0.2255 2.079 6.253 1 1 5.969e-14 1.299e-7 0.000008833 6.135e-9 0.01335 0.908 json
t16_x23_u0_b83 16 23 0 83 eql(R,sqt(lrg(D,R))) 94192 130858922 o2(x,o1(o2(x,x))) true 70343 70343 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 json
t16_x23_u0_b84 16 23 0 84 eql(R,sqt(eql(D,R))) 94193 130858923 o2(x,o1(o2(x,x))) true 70351 70351 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 json
t16_x23_u0_b85 16 23 0 85 eql(R,sqt(min(D,R))) 94194 130858924 o2(x,o1(o2(x,x))) true 70359 70359 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 json
t16_x23_u0_b86 16 23 0 86 eql(R,sqt(dot(D,R))) 94195 130858925 o2(x,o1(o2(x,x))) true 70367 70367 0.00006866 0.0002747 0.00006866 0.00003525 0.005937 0 0.7177 0.7177 1 0.00257 0.00007277 0.00007277 0.0002419 0 1 -0.00001073 0.000721 0.0005562 0.0001454 0.01206 49.85 1.015 4.129 20.46 1 1 0.00006361 0.00006361 0.00006524 1.805 1.805 1.851 json
t16_x23_u0_b87 16 23 0 87 eql(R,sqt(dst(D,R))) 94196 130858926 o2(x,o1(o2(x,x))) true 70375 70375 0.00002469 0.00009155 0.00002469 0.00001304 0.003611 0 0.741 0.741 1 0.001065 0.00002692 0.00002692 0.00008698 0 0 0 0.0002692 0.0002038 0.00005382 0.007336 84.34 1.048 4.128 20.64 1 1 0.00003042 0.00003042 0.00003042 2.333 2.333 2.333 json
t16_x23_u0_b88 16 23 0 88 min(R,sqt(add(D,R))) 94197 130858927 o2(x,o1(o2(x,x))) true 70383 70383 -0.00699 0.4875 0.3852 0.2105 0.4588 -0.9989 0.9806 1.979 1 4.841 0.003197 0.003025 0.06436 0.02771 1 0.00004502 0.001189 0.01986 0.00208 0.0456 0.7085 0.2545 0.02955 0.005648 1 1 0.01193 0.1488 0.3748 0.05664 0.7068 1.78 json
t16_x23_u0_b89 16 23 0 89 min(R,sqt(sub(D,R))) 94198 130858928 o2(x,o1(o2(x,x))) true 70391 70391 0.006183 0.4958 0.3936 0.2188 0.4678 -0.9989 0.9806 1.979 1 4.86 0.003185 0.003161 0.0646 0.003871 1 0.00003763 0.001316 0.02026 0.002173 0.04662 0.7217 0.3361 0.029 0.006015 1 1 0.01204 0.152 0.3903 0.055 0.6945 1.784 json
t16_x23_u0_b90 16 23 0 90 min(R,sqt(mlt(D,R))) 94199 130858929 o2(x,o1(o2(x,x))) true 70399 70399 -0.04227 0.4804 0.3522 0.1802 0.4245 -0.9989 0.9805 1.979 1 4.757 0.008488 0.002553 0.07072 0.5375 1 -0.0001494 0.01444 0.04098 0.00604 0.07772 1.099 0.7958 0.06127 0.08013 1 1 0.01484 0.1275 0.3091 0.08236 0.7077 1.716 json