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
t17_x13_u6_b66 17 13 6 66 lrg(D,add(D,nrm(D))) 109300 138576702 o2(x,o2(x,o1(x))) true 34407 34407 0.5 1 0.5 0.1418 0.3765 0.000291 0.9997 0.9994 1 3.406 0.06511 0 0.1228 1 1 0 0.1208 0.1337 0.05001 0.2236 1.821 0.9994 0.4593 0.8522 1 1 0.07073 0.2419 0 0.4989 1.706 0 json
t17_x13_u6_b67 17 13 6 67 lrg(D,sub(D,nrm(D))) 109301 138576703 o2(x,o2(x,o1(x))) true 34415 34415 0.5 1 0.5 0.1418 0.3765 0.000291 0.9997 0.9994 1 3.406 0.06511 0 0.1228 1 1 0 0.1208 0.1337 0.05001 0.2236 1.821 0.9994 0.4593 0.8522 1 1 0.07073 0.2419 0 0.4989 1.706 0 json
t17_x13_u6_b68 17 13 6 68 lrg(D,mlt(D,nrm(D))) 109302 138576704 o2(x,o2(x,o1(x))) true 34423 34423 0.5 1 0.5 0.1418 0.3765 0.000291 0.9997 0.9994 1 3.406 0.06511 0 0.1228 1 1 0 0.1208 0.1337 0.05001 0.2236 1.821 0.9994 0.4593 0.8522 1 1 0.07073 0.2419 0 0.4989 1.706 0 json
t17_x13_u6_b69 17 13 6 69 lrg(D,div(D,nrm(D))) 109303 138576705 o2(x,o2(x,o1(x))) true 34431 34431 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
t17_x13_u6_b70 17 13 6 70 lrg(D,pow(D,nrm(D))) 109304 138576706 o2(x,o2(x,o1(x))) true 34439 34439 0.5 1 0.5 0.1418 0.3765 0.000291 0.9997 0.9994 1 3.406 0.06511 0 0.1228 1 1 0 0.1208 0.1337 0.05001 0.2236 1.821 0.9994 0.4593 0.8522 1 1 0.07073 0.2419 0 0.4989 1.706 0 json
t17_x13_u6_b71 17 13 6 71 lrg(D,mod(D,nrm(D))) 109305 138576707 o2(x,o2(x,o1(x))) true 34447 34447 0.001194 0.2891 0.001194 0.00001093 0.003306 0 0.01937 0.01937 1 0 0.00001321 0.00001286 0.002089 0.01341 0 -0.00001114 0.0001229 0.004047 0.00002171 0.00466 2.231 0.02547 2.385 11.24 1 1 0.0000201 0.00002031 0 1.838 1.858 0 json
t17_x13_u6_b72 17 13 6 72 lrg(D,lrg(D,nrm(D))) 109306 138576708 o2(x,o2(x,o1(x))) true 34455 34455 0.4988 0.9609 0.4988 0.1426 0.3777 0 0.9997 0.9997 1 3.392 0.06518 0.00001286 0.123 0.9996 1 0.00001114 0.1208 0.1348 0.05006 0.2237 1.82 0.9997 0.4571 0.8468 1 1 0.07095 0.2436 0 0.4974 1.708 0 json
t17_x13_u6_b73 17 13 6 73 lrg(D,eql(D,nrm(D))) 109307 138576709 o2(x,o2(x,o1(x))) true 34463 34463 0.5 1 0.5 0.1418 0.3765 0.000291 0.9997 0.9994 1 3.406 0.06511 0 0.1228 1 1 0 0.1208 0.1337 0.05001 0.2236 1.821 0.9994 0.4593 0.8522 1 1 0.07073 0.2419 0 0.4989 1.706 0 json
t17_x13_u6_b74 17 13 6 74 lrg(D,min(D,nrm(D))) 109308 138576710 o2(x,o2(x,o1(x))) true 34471 34471 0.5 0.9609 0.5 0.1435 0.3788 0 1 1 1 3.379 0.06526 0.00002501 0.1231 0.9992 1 3.181e-9 0.1208 0.1357 0.05013 0.2239 1.819 1 0.455 0.8417 1 1 0.07115 0.2454 0 0.4959 1.71 0 json
t17_x13_u6_b75 17 13 6 75 lrg(D,dot(D,nrm(D))) 109309 138576711 o2(x,o2(x,o1(x))) true 34479 34479 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
t17_x13_u6_b76 17 13 6 76 lrg(D,dst(D,nrm(D))) 109310 138576712 o2(x,o2(x,o1(x))) true 34487 34487 0.1129 0.7969 0.1129 0.02596 0.1611 0 0.6717 0.6717 1 2.114 0.01718 0.004759 0.07836 0.5662 1 -0.0001553 0.0674 0.1095 0.01581 0.1257 1.604 0.7182 0.8453 2.596 1 1 0.02091 0.05132 0 0.8054 1.977 0 json
t17_x13_u6_b77 17 13 6 77 eql(D,add(D,nrm(D))) 109311 138576713 o2(x,o2(x,o1(x))) true 34495 34495 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
t17_x13_u6_b78 17 13 6 78 eql(D,sub(D,nrm(D))) 109312 138576714 o2(x,o2(x,o1(x))) true 34503 34503 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
t17_x13_u6_b79 17 13 6 79 eql(D,mlt(D,nrm(D))) 109313 138576715 o2(x,o2(x,o1(x))) true 34511 34511 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
t17_x13_u6_b80 17 13 6 80 eql(D,div(D,nrm(D))) 109314 138576716 o2(x,o2(x,o1(x))) true 34519 34519 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
t17_x13_u6_b81 17 13 6 81 eql(D,pow(D,nrm(D))) 109315 138576717 o2(x,o2(x,o1(x))) true 34527 34527 0.0002904 0.02344 0.0002904 0.000007234 0.00269 0 0.02976 0.02976 1 0 0.0000109 0.000007053 0.0006521 0.2141 0 -0.00001069 0.00006556 0.001231 0.00001753 0.004186 6.419 0.03739 2.481 9.064 1 1 0.00001394 0.000014 0 1.927 1.936 0 json
t17_x13_u6_b82 17 13 6 82 eql(D,mod(D,nrm(D))) 109316 138576718 o2(x,o2(x,o1(x))) true 34535 34535 0.9976 1 0.9976 0.0000194 0.004404 0.9806 1 0.01937 1 0 0.00002643 0.00002643 0.004122 3.441e-8 0 0.00002229 0.0002509 0.008064 0.00003587 0.005989 1.453 0.02739 2.725 12.93 1 1 0.00004054 0.00003161 0 2.09 1.629 0 json
t17_x13_u6_b83 17 13 6 83 eql(D,lrg(D,nrm(D))) 109317 138576719 o2(x,o2(x,o1(x))) true 34543 34543 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
t17_x13_u6_b84 17 13 6 84 eql(D,eql(D,nrm(D))) 109318 138576720 o2(x,o2(x,o1(x))) true 34551 34551 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
t17_x13_u6_b85 17 13 6 85 eql(D,min(D,nrm(D))) 109319 138576721 o2(x,o2(x,o1(x))) true 34559 34559 0.5 0.9609 0.5 0.1435 0.3788 0 1 1 1 3.379 0.06526 0.00002501 0.1231 0.9992 1 3.124e-9 0.1208 0.1357 0.05013 0.2239 1.819 1 0.455 0.8417 1 1 0.07115 0.2454 0 0.4959 1.71 0 json
t17_x13_u6_b86 17 13 6 86 eql(D,dot(D,nrm(D))) 109320 138576722 o2(x,o2(x,o1(x))) true 34567 34567 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
t17_x13_u6_b87 17 13 6 87 eql(D,dst(D,nrm(D))) 109321 138576723 o2(x,o2(x,o1(x))) true 34575 34575 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
t17_x13_u6_b88 17 13 6 88 min(D,add(D,nrm(D))) 109322 138576724 o2(x,o2(x,o1(x))) true 34583 34583 -0.3203 0.3125 0.358 0.1162 0.3409 -1 0.1008 1.101 1 3.83 0.02036 0.003434 0.1174 0.7113 1 0.0001495 0.01635 0.06359 0.01001 0.1001 0.8524 0.8628 0.2047 0.1407 1 1 0.04206 0.2371 0 0.362 2.041 0 json
t17_x13_u6_b89 17 13 6 89 min(D,sub(D,nrm(D))) 109323 138576725 o2(x,o2(x,o1(x))) true 34591 34591 -0.3216 0 0.3216 0.03618 0.1902 -0.8551 -0.03122 0.8238 1 3.522 0.00812 0.003662 0.07827 0.3783 1 0.0001728 0.0138 0.04163 0.005656 0.07521 0.9608 0.6445 0.3257 0.3816 1 1 0.01837 0.07751 0 0.5078 2.142 0 json
t17_x13_u6_b90 17 13 6 90 min(D,mlt(D,nrm(D))) 109324 138576726 o2(x,o2(x,o1(x))) true 34599 34599 -0.03204 0.4375 0.07582 0.007233 0.08505 -0.1598 0.1433 0.3031 1 2.374 0.001065 0.0001079 0.03078 0.8161 1 0.0001349 0.000259 0.01348 0.0002261 0.01504 0.4885 0.06126 0.1622 0.0358 1 1 0.002246 0.01492 0 0.3105 2.063 0 json
t17_x13_u6_b91 17 13 6 91 min(D,div(D,nrm(D))) 109325 138576727 o2(x,o2(x,o1(x))) true 34607 34607 0 0.5 0.09436 0.01082 0.104 -0.1454 0.1454 0.2908 1 2.561 0.001632 0 0.0361 1 1 0 0.0002563 0.01459 0.0003304 0.01818 0.5036 0.06192 0.1508 0.02368 1 1 0.003151 0.02183 0 0.2912 2.017 0 json
t17_x13_u6_b92 17 13 6 92 min(D,pow(D,nrm(D))) 109326 138576728 o2(x,o2(x,o1(x))) true 34615 34615 0 0.5 0.09436 0.01082 0.104 -0.1454 0.1454 0.2908 1 2.561 0.001632 0 0.0361 1 1 0 0.0002563 0.01459 0.0003304 0.01818 0.5036 0.06192 0.1508 0.02368 1 1 0.003151 0.02183 0 0.2912 2.017 0 json
t17_x13_u6_b93 17 13 6 93 min(D,mod(D,nrm(D))) 109327 138576729 o2(x,o2(x,o1(x))) true 34623 34623 -0.0008359 0.5 0.09516 0.01103 0.105 -0.1581 0.1454 0.3035 1 2.561 0.00167 0.000006363 0.03678 0.9924 1 0.00000799 0.0003233 0.01502 0.0003248 0.01802 0.49 0.06219 0.152 0.02931 1 1 0.003221 0.02225 0 0.2921 2.018 0 json
t17_x13_u6_b94 17 13 6 94 min(D,lrg(D,nrm(D))) 109328 138576730 o2(x,o2(x,o1(x))) true 34631 34631 -0.1421 0 0.1421 0.009136 0.09558 -0.2729 -0.000282 0.2726 1 2.227 0.001438 0.000006567 0.03415 0.9909 1 0.0002977 0.0003222 0.015 0.0002786 0.01669 0.4888 0.06549 0.1581 0.03526 1 1 0.00276 0.01808 0 0.3021 1.979 0 json
t17_x13_u6_b95 17 13 6 95 min(D,eql(D,nrm(D))) 109329 138576731 o2(x,o2(x,o1(x))) true 34639 34639 -0.143 0 0.143 0.009237 0.09611 -0.2729 -0.000282 0.2726 1 2.227 0.001451 0 0.03416 1 1 0.0003063 0.0002653 0.01361 0.0002853 0.01689 0.4945 0.06184 0.1571 0.02873 1 1 0.002788 0.01827 0 0.3018 1.978 0 json
t17_x13_u6_b96 17 13 6 96 min(D,min(D,nrm(D))) 109330 138576732 o2(x,o2(x,o1(x))) true 34647 34647 -0.1787 0.3984 0.2484 0.07958 0.2821 -0.9352 0.1408 1.076 1 3.799 0.0143 0.003662 0.09798 0.5924 1 -0.0001323 0.01438 0.05321 0.008367 0.09147 0.9336 0.8354 0.2258 0.1807 1 1 0.03102 0.1649 0 0.3897 2.072 0 json
t17_x13_u6_b97 17 13 6 97 min(D,dot(D,nrm(D))) 109331 138576733 o2(x,o2(x,o1(x))) true 34655 34655 0 0.5 0.09436 0.01082 0.104 -0.1454 0.1454 0.2908 1 2.561 0.001632 0 0.0361 1 1 0 0.0002563 0.01459 0.0003304 0.01818 0.5036 0.06192 0.1508 0.02368 1 1 0.003151 0.02183 0 0.2912 2.017 0 json
t17_x13_u6_b98 17 13 6 98 min(D,dst(D,nrm(D))) 109332 138576734 o2(x,o2(x,o1(x))) true 34663 34663 -0.02832 0.4688 0.1173 0.01655 0.1286 -0.2263 0.1454 0.3718 1 2.766 0.00259 0.00003171 0.045 0.9758 1 0.00008594 0.0005375 0.02011 0.0005972 0.02444 0.5431 0.1034 0.1585 0.03249 1 1 0.004997 0.03341 0 0.302 2.019 0 json
t17_x13_u6_b99 17 13 6 99 dot(D,add(D,nrm(D))) 109333 138576735 o2(x,o2(x,o1(x))) true 34671 34671 0.6677 1 0.6677 0.06935 0.2633 0.04723 1 0.9528 1 3.668 0.005695 0.005695 0.09555 -0.000004293 1 -0.001166 0.002577 0.03524 0.002259 0.04753 0.4974 0.1604 0.1643 0.03716 1 1 0.02164 0.141 0 0.3121 2.033 0 json
t17_x13_u6_b100 17 13 6 100 dot(D,sub(D,nrm(D))) 109334 138576736 o2(x,o2(x,o1(x))) true 34679 34679 -0.2058 0 0.2058 0.001733 0.04163 -0.2489 -0.04223 0.2067 1 0.9597 0.0002188 0.0002188 0.01622 -0.000001696 1 0.0002046 0.0001709 0.00652 0.0001746 0.01321 0.8148 0.06614 0.2526 0.09865 1 1 0.0008206 0.004818 0 0.4736 2.781 0 json
t17_x13_u6_b101 17 13 6 101 dot(D,mlt(D,nrm(D))) 109335 138576737 o2(x,o2(x,o1(x))) true 34687 34687 -2.807e-9 0.4688 0.01128 0.0002787 0.01669 -0.04488 0.04488 0.08975 1 0.9972 0.00003421 0.00003421 0.007003 -0.000001542 0 1.081e-9 0.00002458 0.003814 0.00001937 0.004401 0.6285 0.01921 0.2455 0.0882 1 1 0.0001253 0.0005987 0 0.4497 2.148 0 json
t17_x13_u6_b102 17 13 6 102 dot(D,div(D,nrm(D))) 109336 138576738 o2(x,o2(x,o1(x))) true 34695 34695 1.886e-9 0.4688 0.02924 0.001215 0.03486 -0.05887 0.05887 0.1177 1 0.9972 0.0001373 0.0001373 0.01487 -0.000003391 1 5.329e-9 0.00007815 0.007443 0.00005353 0.007316 0.492 0.03069 0.2261 0.06432 1 1 0.0005216 0.00324 0 0.4293 2.667 0 json
t17_x13_u6_b103 17 13 6 103 dot(D,pow(D,nrm(D))) 109337 138576739 o2(x,o2(x,o1(x))) true 34703 34703 -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
t17_x13_u6_b104 17 13 6 104 dot(D,mod(D,nrm(D))) 109338 138576740 o2(x,o2(x,o1(x))) true 34711 34711 0.2356 1 0.2356 0.01612 0.127 0.002499 0.4946 0.4921 1 2.912 0.001281 0.001281 0.04762 -0.000001999 1 -0.0004571 0.0006513 0.0217 0.000295 0.01718 0.3607 0.09665 0.1589 0.0404 1 1 0.004839 0.03184 0 0.3002 1.975 0 json
t17_x13_u6_b105 17 13 6 105 dot(D,lrg(D,nrm(D))) 109339 138576741 o2(x,o2(x,o1(x))) true 34719 34719 -0.2825 0 0.2825 0.0184 0.1356 -0.5458 -0.0005637 0.5452 1 3.07 0.001483 0.001483 0.05146 -0.000001923 1 0.0005782 0.001009 0.02574 0.0003182 0.01784 0.3467 0.1072 0.1612 0.05483 1 1 0.00558 0.0365 0 0.3033 1.984 0 json
t17_x13_u6_b106 17 13 6 106 dot(D,eql(D,nrm(D))) 109340 138576742 o2(x,o2(x,o1(x))) true 34727 34727 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
t17_x13_u6_b107 17 13 6 107 dot(D,min(D,nrm(D))) 109341 138576743 o2(x,o2(x,o1(x))) true 34735 34735 0.341 1 0.341 0.02229 0.1493 0.002516 0.6089 0.6064 1 3.17 0.001772 0.001772 0.0564 -0.000003877 1 -0.0005833 0.0006132 0.01969 0.0003628 0.01905 0.3378 0.08701 0.159 0.02751 1 1 0.006793 0.04499 0 0.3048 2.019 0 json
t17_x13_u6_b108 17 13 6 108 dot(D,dot(D,nrm(D))) 109342 138576744 o2(x,o2(x,o1(x))) true 34743 34743 1.393e-8 0.4688 0.02924 0.001215 0.03486 -0.05887 0.05887 0.1177 1 0.9972 0.0001373 0.0001373 0.01487 -0.000005722 1 5.415e-9 0.00007815 0.007443 0.00005353 0.007316 0.492 0.03069 0.2261 0.06432 1 1 0.0005216 0.00324 0 0.4293 2.667 0 json
t17_x13_u6_b109 17 13 6 109 dot(D,dst(D,nrm(D))) 109343 138576745 o2(x,o2(x,o1(x))) true 34751 34751 -1.506e-10 0.4688 0.09816 0.01477 0.1215 -0.2442 0.2442 0.4883 1 2.905 0.001143 0.001143 0.04557 9.167e-7 1 -2.988e-9 0.000376 0.01584 0.0002096 0.01448 0.3177 0.08441 0.1548 0.02545 1 1 0.004414 0.03052 0 0.2989 2.066 0 json
t17_x13_u6_b110 17 13 6 110 dst(D,add(D,nrm(D))) 109344 138576746 o2(x,o2(x,o1(x))) true 34759 34759 1 1 1 2.609e-15 5.108e-8 1 1 1.192e-7 1 0 2.754e-15 2.521e-15 6.24e-8 0.0002328 0 9.855e-8 4.275e-14 1.485e-7 1.379e-15 3.714e-8 0.5952 1.686e-7 0.005274 0.04275 0 1 3.068e-15 2.343e-15 0 0.003068 0.002343 0 json
t17_x13_u6_b111 17 13 6 111 dst(D,sub(D,nrm(D))) 109345 138576747 o2(x,o2(x,o1(x))) true 34767 34767 1 1 1 2.554e-15 5.053e-8 1 1 1.192e-7 1 0 2.524e-15 2.524e-15 6.056e-8 1.118e-7 0 9.279e-8 4.131e-14 1.464e-7 1.38e-15 3.715e-8 0.6135 1.686e-7 0.005049 0.04131 0 1 2.459e-15 2.905e-15 0 0.002459 0.002905 0 json
t17_x13_u6_b112 17 13 6 112 dst(D,mlt(D,nrm(D))) 109346 138576748 o2(x,o2(x,o1(x))) true 34775 34775 0.4855 1 0.4855 0.03637 0.1907 0.01406 0.7855 0.7714 1 3.504 0.003054 0.003054 0.07253 0.000001487 1 -0.0008298 0.001349 0.02736 0.0008472 0.02911 0.4013 0.1291 0.1679 0.03708 1 1 0.01166 0.07581 0 0.3206 2.084 0 json
t17_x13_u6_b113 17 13 6 113 dst(D,div(D,nrm(D))) 109347 138576749 o2(x,o2(x,o1(x))) true 34783 34783 0.6965 1 0.6965 0.06546 0.2558 0.01955 1 0.9805 1 3.584 0.005514 0.005514 0.0933 0.000001816 1 -0.001053 0.002546 0.03425 0.002322 0.04819 0.5165 0.1505 0.1685 0.0389 1 1 0.02108 0.137 0 0.322 2.093 0 json
t17_x13_u6_b114 17 13 6 114 dst(D,pow(D,nrm(D))) 109348 138576750 o2(x,o2(x,o1(x))) true 34791 34791 -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
t17_x13_u6_b115 17 13 6 115 dst(D,mod(D,nrm(D))) 109349 138576751 o2(x,o2(x,o1(x))) true 34799 34799 0.002387 0.5469 0.002387 0.0000194 0.004405 0 0.01937 0.01937 1 0 0.00002643 0.00002643 0.004122 1.376e-7 0 -0.00002229 0.0002509 0.008064 0.00003587 0.005989 1.453 0.02739 2.724 12.93 1 1 0.00004054 0.00003161 0 2.089 1.629 0 json
t17_x13_u6_b116 17 13 6 116 dst(D,lrg(D,nrm(D))) 109350 138576752 o2(x,o2(x,o1(x))) true 34807 34807 0.9229 1 0.9229 0.03884 0.1971 0.04531 1 0.9547 1 1.24 0.01373 0.01373 0.0591 -5.089e-7 1 -0.0002376 0.05905 0.07924 0.02396 0.1548 2.619 0.9547 0.7068 1.52 1 1 0.03029 0.08829 0 0.7799 2.273 0 json
t17_x13_u6_b117 17 13 6 117 dst(D,eql(D,nrm(D))) 109351 138576753 o2(x,o2(x,o1(x))) true 34815 34815 1 1 1 0 0 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 json
t17_x13_u6_b118 17 13 6 118 dst(D,min(D,nrm(D))) 109352 138576754 o2(x,o2(x,o1(x))) true 34823 34823 0.3178 0.9961 0.3178 0.04628 0.2151 0.00001788 0.9553 0.9552 1 3.567 0.006772 0.006772 0.08259 -0.000001203 1 0.0003028 0.01522 0.04545 0.006721 0.08198 0.9926 0.7809 0.2927 0.329 1 1 0.02243 0.1097 0 0.4847 2.371 0 json
t17_x13_u6_b119 17 13 6 119 dst(D,dot(D,nrm(D))) 109353 138576755 o2(x,o2(x,o1(x))) true 34831 34831 0.7962 1 0.7962 0.06399 0.253 0.04918 1 0.9508 1 2.911 0.006148 0.006148 0.08649 0.000001742 1 -0.001194 0.004264 0.03891 0.004815 0.06939 0.8024 0.1741 0.1921 0.06663 1 1 0.02321 0.1457 0 0.3628 2.277 0 json
t17_x13_u6_b120 17 13 6 120 dst(D,dst(D,nrm(D))) 109354 138576756 o2(x,o2(x,o1(x))) true 34839 34839 0.9541 1 0.9541 0.00603 0.07765 0.7171 1 0.2829 1 1.349 0.000845 0.000845 0.02569 2.755e-7 1 0.0001385 0.001102 0.02028 0.00103 0.0321 1.25 0.1188 0.2803 0.1828 1 1 0.002983 0.01448 0 0.4947 2.401 0 json
t17_x14_u0_b0 17 14 0 0 add(D,add(D,sqt(R))) 109355 138615831 o2(x,o2(x,o1(x))) true 34847 34847 -0.9265 0.04297 0.9876 0.1225 0.35 -1 1 2 1 0.4049 0.01268 0.01218 0.01655 0.02029 1 0.00001054 0.05186 0.02949 0.02457 0.1567 9.47 2.643 0.2029 0.4232 1 1 0.01945 0.08341 0.207 0.1587 0.6808 1.69 json
t17_x14_u0_b1 17 14 0 1 add(D,sub(D,sqt(R))) 109356 138615832 o2(x,o2(x,o1(x))) true 34855 34855 -0.9875 0 0.9875 0.005863 0.07657 -1 -0.06622 0.9338 1 0.3218 0.0007005 0.0005781 0.004806 0.09566 1 -0.00004291 0.002265 0.005747 0.001255 0.03543 7.372 0.9338 0.2181 0.3863 1 1 0.0009612 0.004738 0.009706 0.164 0.8081 1.655 json
t17_x14_u0_b2 17 14 0 2 add(D,mlt(D,sqt(R))) 109357 138615833 o2(x,o2(x,o1(x))) true 34863 34863 -0.9571 0.02133 0.9641 0.04239 0.2059 -1 0.3153 1.315 1 0.3965 0.004384 0.004213 0.01053 0.01981 1 -0.00001671 0.01771 0.01752 0.008491 0.09214 8.748 1.345 0.2028 0.4177 1 1 0.006592 0.02838 0.06988 0.1555 0.6695 1.648 json
t17_x14_u0_b3 17 14 0 3 add(D,div(D,sqt(R))) 109358 138615834 o2(x,o2(x,o1(x))) true 34871 34871 -0.9568 0.02156 0.9677 0.04517 0.2125 -1 0.7611 1.761 1 0.4305 0.004624 0.004608 0.0118 0.00169 1 -0.00002835 0.0186 0.01816 0.009097 0.09538 8.082 1.761 0.2044 0.4117 1 1 0.007273 0.03232 0.07847 0.161 0.7156 1.737 json
t17_x14_u0_b4 17 14 0 4 add(D,pow(D,sqt(R))) 109359 138615835 o2(x,o2(x,o1(x))) true 34879 34879 -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
t17_x14_u0_b5 17 14 0 5 add(D,mod(D,sqt(R))) 109360 138615836 o2(x,o2(x,o1(x))) true 34887 34887 -0.9571 0.02129 0.9661 0.04336 0.2082 -1 0.3838 1.384 1 0.4029 0.00458 0.00426 0.01128 0.03623 1 -0.00002421 0.01804 0.01823 0.00871 0.09333 8.275 1.447 0.2039 0.416 1 1 0.006786 0.02918 0.07168 0.1565 0.673 1.653 json
t17_x14_u0_b6 17 14 0 6 add(D,lrg(D,sqt(R))) 109361 138615837 o2(x,o2(x,o1(x))) true 34895 34895 0.5288 0.8769 0.5445 0.1514 0.3891 -0.1454 1 1.145 1 3.924 0.006264 0.002311 0.06735 0.4609 1 0.000001724 0.006942 0.03158 0.004039 0.06356 0.9436 0.9688 0.05665 0.04586 1 1 0.01329 0.1275 0.2717 0.08783 0.8422 1.795 json
t17_x14_u0_b7 17 14 0 7 add(D,eql(D,sqt(R))) 109362 138615838 o2(x,o2(x,o1(x))) true 34903 34903 0 0.5 0.09436 0.01082 0.104 -0.1454 0.1454 0.2908 1 2.561 0.001632 0 0.0361 1 1 0 0.0002563 0.01459 0.0003304 0.01818 0.5036 0.06192 0.1508 0.02368 1 1 0.003151 0.02183 0 0.2912 2.017 0 json
t17_x14_u0_b8 17 14 0 8 add(D,min(D,sqt(R))) 109363 138615839 o2(x,o2(x,o1(x))) true 34911 34911 -0.00385 0.496 0.1902 0.0441 0.21 -0.3763 0.2908 0.6672 1 3.014 0.006634 0.000004065 0.0728 0.9988 1 0.000009016 0.001047 0.0294 0.001341 0.03662 0.503 0.1361 0.1505 0.02375 1 1 0.01275 0.08841 0.0006724 0.2891 2.004 0.01525 json
t17_x14_u0_b9 17 14 0 9 add(D,dot(D,sqt(R))) 109364 138615840 o2(x,o2(x,o1(x))) true 34919 34919 -0.9959 0.002213 0.9967 0.004398 0.06632 -1 0.3891 1.389 1 0.05049 0.0005676 0.0005326 0.001265 0.03186 1 -4.881e-11 0.002288 0.002147 0.001097 0.03313 26.18 1.32 0.2501 0.5201 1 1 0.001976 0.008248 0.0155 0.4492 1.875 3.523 json
t17_x14_u0_b10 17 14 0 10 add(D,dst(D,sqt(R))) 109365 138615841 o2(x,o2(x,o1(x))) true 34927 34927 -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
t17_x14_u0_b11 17 14 0 11 sub(D,add(D,sqt(R))) 109366 138615842 o2(x,o2(x,o1(x))) true 34935 34935 -0.9882 0 0.9882 0.004031 0.06349 -1 -0.3239 0.6761 1 0.3763 0.0004792 0.0004089 0.00317 0.07921 1 -0.000005689 0.001806 0.004769 0.0008786 0.02964 9.35 0.6761 0.2203 0.448 1 1 0.0005505 0.00247 0.006263 0.1366 0.6127 1.554 json
t17_x14_u0_b12 17 14 0 12 sub(D,sub(D,sqt(R))) 109367 138615843 o2(x,o2(x,o1(x))) true 34943 34943 -0.9258 0.04297 0.9882 0.1235 0.3514 -1 0.971 1.971 1 0.3916 0.01252 0.01245 0.01513 0.002807 1 0.000005689 0.05219 0.02886 0.02476 0.1573 10.4 2.731 0.2023 0.4226 1 1 0.0197 0.08508 0.2088 0.1595 0.689 1.691 json
t17_x14_u0_b13 17 14 0 13 sub(D,mlt(D,sqt(R))) 109368 138615844 o2(x,o2(x,o1(x))) true 34951 34951 -0.9569 0.0217 0.9586 0.04142 0.2035 -1 0.147 1.147 1 0.3332 0.004226 0.00412 0.008755 0.01267 1 -0.000003376 0.01744 0.01681 0.008275 0.09097 10.39 1.411 0.2015 0.421 1 1 0.006379 0.02768 0.07042 0.154 0.6684 1.7 json
t17_x14_u0_b14 17 14 0 14 sub(D,div(D,sqt(R))) 109369 138615845 o2(x,o2(x,o1(x))) true 34959 34959 -0.9573 0.02155 0.9607 0.04141 0.2035 -1 0.4628 1.463 1 0.3808 0.004276 0.00399 0.009245 0.0345 1 0.000008262 0.01718 0.01679 0.008184 0.09046 9.785 1.446 0.1996 0.4149 1 1 0.006268 0.02664 0.06642 0.1514 0.6432 1.604 json
t17_x14_u0_b15 17 14 0 15 sub(D,pow(D,sqt(R))) 109370 138615846 o2(x,o2(x,o1(x))) true 34967 34967 -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
t17_x14_u0_b16 17 14 0 16 sub(D,mod(D,sqt(R))) 109371 138615847 o2(x,o2(x,o1(x))) true 34975 34975 -0.957 0.01584 0.9583 0.04139 0.2034 -1 0.2506 1.251 1 0.3367 0.004304 0.004167 0.009192 0.01623 1 0.000004126 0.01771 0.01772 0.00839 0.0916 9.964 1.415 0.2047 0.4279 1 1 0.006502 0.02805 0.07014 0.1571 0.6778 1.695 json
t17_x14_u0_b17 17 14 0 17 sub(D,lrg(D,sqt(R))) 109372 138615848 o2(x,o2(x,o1(x))) true 34983 34983 -0.5271 0.1306 0.5464 0.1512 0.3889 -1 0.1454 1.145 1 3.967 0.006581 0.0023 0.06608 0.4821 1 -0.00002091 0.007504 0.02938 0.004515 0.0672 1.017 0.951 0.05872 0.04962 1 1 0.01364 0.1285 0.27 0.09017 0.8494 1.785 json
t17_x14_u0_b18 17 14 0 18 sub(D,eql(D,sqt(R))) 109373 138615849 o2(x,o2(x,o1(x))) true 34991 34991 0 0.5 0.09436 0.01082 0.104 -0.1454 0.1454 0.2908 1 2.561 0.001632 0 0.0361 1 1 0 0.0002563 0.01459 0.0003304 0.01818 0.5036 0.06192 0.1508 0.02368 1 1 0.003151 0.02183 0 0.2912 2.017 0 json
t17_x14_u0_b19 17 14 0 19 sub(D,min(D,sqt(R))) 109374 138615850 o2(x,o2(x,o1(x))) true 34999 34999 0.003851 0.1941 0.003851 0.0002793 0.01671 0 0.235 0.235 1 0.1514 0.00002541 0.000004065 0.001606 0.7242 0 -0.000009016 0.00001148 0.001014 0.0000269 0.005187 3.23 0.05978 0.1055 0.04111 1 1 0.00005351 0.0003999 0.0006724 0.1916 1.432 2.408 json
t17_x14_u0_b20 17 14 0 20 sub(D,dot(D,sqt(R))) 109375 138615851 o2(x,o2(x,o1(x))) true 35007 35007 -0.9963 0.001144 0.9964 0.00357 0.05975 -1 0.09983 1.1 1 0.04566 0.0004662 0.0004985 0.001067 -0.03352 1 -1.877e-11 0.00206 0.002003 0.0009627 0.03103 29.08 1.42 0.2702 0.577 1 1 0.001693 0.006547 0.01258 0.474 1.834 3.524 json
t17_x14_u0_b21 17 14 0 21 sub(D,dst(D,sqt(R))) 109376 138615852 o2(x,o2(x,o1(x))) true 35015 35015 -1 0 1 5.415e-7 0.0007358 -1 -0.8985 0.1015 1 0.0009425 2.316e-7 5.547e-7 0.00001289 -0.411 0 -1.126e-11 0.000001951 0.00002082 7.86e-7 0.0008865 68.8 0.1034 1.452 3.603 1 1 0.000001424 0.000001966 0.000001966 2.63 3.632 3.632 json
t17_x14_u0_b22 17 14 0 22 mlt(D,add(D,sqt(R))) 109377 138615853 o2(x,o2(x,o1(x))) true 35023 35023 -0.952 0.03247 0.9628 0.0519 0.2278 -1 0.3737 1.374 1 0.3796 0.004305 0.005217 0.01034 -0.09578 1 -0.00002957 0.01958 0.01815 0.009424 0.09708 9.387 1.391 0.1835 0.3772 1 1 0.007336 0.03455 0.08618 0.1413 0.6656 1.66 json
t17_x14_u0_b23 17 14 0 23 mlt(D,sub(D,sqt(R))) 109378 138615854 o2(x,o2(x,o1(x))) true 35031 35031 -0.9518 0.03276 0.963 0.05242 0.229 -1 0.3781 1.378 1 0.3798 0.004336 0.005264 0.01044 -0.09666 1 -0.00001624 0.01968 0.01819 0.009498 0.09746 9.339 1.457 0.1831 0.3754 1 1 0.007485 0.03586 0.08941 0.1428 0.6842 1.706 json
t17_x14_u0_b24 17 14 0 24 mlt(D,mlt(D,sqt(R))) 109379 138615855 o2(x,o2(x,o1(x))) true 35039 35039 -0.9533 0.04297 0.9607 0.04875 0.2208 -1 0.24 1.24 1 0.3341 0.004257 0.0049 0.009569 -0.07024 1 -0.00001627 0.01895 0.01767 0.009067 0.09522 9.951 1.416 0.1878 0.3886 1 1 0.00705 0.03276 0.08207 0.1446 0.6719 1.683 json
t17_x14_u0_b25 17 14 0 25 mlt(D,div(D,sqt(R))) 109380 138615856 o2(x,o2(x,o1(x))) true 35047 35047 -0.9493 0.04297 0.9648 0.0583 0.2414 -1 0.575 1.575 1 0.3759 0.004368 0.005807 0.01097 -0.1415 1 -0.00003459 0.02072 0.01872 0.01006 0.1003 9.137 1.555 0.1745 0.3554 1 1 0.007984 0.03904 0.09784 0.137 0.6696 1.678 json
t17_x14_u0_b26 17 14 0 26 mlt(D,pow(D,sqt(R))) 109381 138615857 o2(x,o2(x,o1(x))) true 35055 35055 -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
t17_x14_u0_b27 17 14 0 27 mlt(D,mod(D,sqt(R))) 109382 138615858 o2(x,o2(x,o1(x))) true 35063 35063 -0.9528 0.04297 0.9613 0.04993 0.2235 -1 0.2473 1.247 1 0.3361 0.004296 0.00503 0.009935 -0.07865 1 -0.00001382 0.01927 0.01832 0.009225 0.09605 9.667 1.416 0.1868 0.386 1 1 0.007193 0.03374 0.0843 0.144 0.6757 1.688 json
t17_x14_u0_b28 17 14 0 28 mlt(D,lrg(D,sqt(R))) 109383 138615859 o2(x,o2(x,o1(x))) true 35071 35071 0.01083 0.513 0.08531 0.01291 0.1136 -0.2729 0.2729 0.5458 1 2.913 0.001414 0.0001589 0.03125 0.798 1 0.000005395 0.001192 0.01609 0.0005964 0.02442 0.7814 0.2728 0.1219 0.09235 1 1 0.002535 0.021 0.02041 0.1964 1.627 1.581 json
t17_x14_u0_b29 17 14 0 29 mlt(D,eql(D,sqt(R))) 109384 138615860 o2(x,o2(x,o1(x))) true 35079 35079 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
t17_x14_u0_b30 17 14 0 30 mlt(D,min(D,sqt(R))) 109385 138615861 o2(x,o2(x,o1(x))) true 35087 35087 0.1169 1 0.1169 0.007881 0.08878 0.0009922 0.2473 0.2463 1 1.849 0.001218 0.000001046 0.03063 0.9983 1 -0.000233 0.0001906 0.01254 0.0002814 0.01677 0.5476 0.05466 0.1547 0.02418 1 1 0.002343 0.01561 0.0001582 0.2972 1.981 0.02007 json
t17_x14_u0_b31 17 14 0 31 mlt(D,dot(D,sqt(R))) 109386 138615862 o2(x,o2(x,o1(x))) true 35095 35095 -0.9957 0.003632 0.9964 0.004637 0.06809 -1 0.2236 1.224 1 0.04494 0.0005073 0.0006041 0.001136 -0.08708 1 9.386e-11 0.002336 0.002136 0.001109 0.0333 29.32 1.416 0.2397 0.5038 1 1 0.001967 0.008469 0.01637 0.4242 1.827 3.531 json
t17_x14_u0_b32 17 14 0 32 mlt(D,dst(D,sqt(R))) 109387 138615863 o2(x,o2(x,o1(x))) true 35103 35103 -0.9964 0.001465 0.9966 0.003381 0.05814 -1 0.1391 1.139 1 0.04836 0.0005139 0.0004345 0.00113 0.08373 1 1.502e-11 0.002014 0.002 0.0009461 0.03076 27.22 1.362 0.2805 0.5957 1 1 0.001678 0.006305 0.01189 0.4963 1.865 3.516 json
t17_x14_u0_b33 17 14 0 33 div(D,add(D,sqt(R))) 109388 138615864 o2(x,o2(x,o1(x))) true 35111 35111 -0.9643 0.01344 0.9767 0.04145 0.2036 -1 1 2 1 0.3969 0.01441 0.00382 0.01688 0.5809 1 -0.00006974 0.04221 0.02811 0.01795 0.134 7.937 2.828 0.4398 1.018 1 1 0.01141 0.03015 0.06311 0.2752 0.7274 1.523 json
t17_x14_u0_b34 17 14 0 34 div(D,sub(D,sqt(R))) 109389 138615865 o2(x,o2(x,o1(x))) true 35119 35119 -0.964 0.01398 0.9775 0.04271 0.2067 -1 1 2 1 0.4003 0.01522 0.004319 0.01804 0.5579 1 0.00003207 0.04526 0.02996 0.01921 0.1386 7.681 2.169 0.4573 1.06 1 1 0.01293 0.03579 0.07049 0.3027 0.8379 1.65 json
t17_x14_u0_b35 17 14 0 35 div(D,mlt(D,sqt(R))) 109390 138615866 o2(x,o2(x,o1(x))) true 35127 35127 -0.9141 0.04297 1 0.1645 0.4056 -1 1 2 1 0.2557 0.01688 0.01638 0.01652 0.01515 1 0 0.06954 0.03326 0.03297 0.1816 10.99 2.828 0.2022 0.4228 1 1 0.02543 0.1095 0.2757 0.1546 0.6659 1.676 json
t17_x14_u0_b36 17 14 0 36 div(D,div(D,sqt(R))) 109391 138615867 o2(x,o2(x,o1(x))) true 35135 35135 -0.9258 0.04297 0.9882 0.1235 0.3514 -1 0.971 1.971 1 0.3916 0.01252 0.01245 0.01513 0.002807 1 0.000005689 0.05219 0.02886 0.02476 0.1573 10.4 2.731 0.2023 0.4226 1 1 0.0197 0.08508 0.2088 0.1595 0.689 1.691 json
t17_x14_u0_b37 17 14 0 37 div(D,pow(D,sqt(R))) 109392 138615868 o2(x,o2(x,o1(x))) true 35143 35143 -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
t17_x14_u0_b38 17 14 0 38 div(D,mod(D,sqt(R))) 109393 138615869 o2(x,o2(x,o1(x))) true 35151 35151 -0.9141 0.04297 1 0.1645 0.4056 -1 1 2 1 0.2557 0.01688 0.01638 0.01652 0.01515 1 1.081e-9 0.06954 0.03326 0.03297 0.1816 10.99 2.828 0.2022 0.4228 1 1 0.02543 0.1095 0.2757 0.1546 0.6659 1.676 json
t17_x14_u0_b39 17 14 0 39 div(D,lrg(D,sqt(R))) 109394 138615870 o2(x,o2(x,o1(x))) true 35159 35159 -0.8762 0.04346 0.8843 0.106 0.3256 -1 0.1454 1.145 1 0.8688 0.02017 0.009569 0.03419 0.3565 1 0.0002603 0.06488 0.06263 0.02858 0.1691 4.945 1.415 0.2805 0.612 1 1 0.02952 0.1002 0.2014 0.2785 0.9449 1.9 json
t17_x14_u0_b40 17 14 0 40 div(D,eql(D,sqt(R))) 109395 138615871 o2(x,o2(x,o1(x))) true 35167 35167 -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
t17_x14_u0_b41 17 14 0 41 div(D,min(D,sqt(R))) 109396 138615872 o2(x,o2(x,o1(x))) true 35175 35175 1 1 1 1.361e-15 3.69e-8 1 1 5.96e-8 1 0 1.649e-15 1.69e-17 2.788e-8 0.001632 0 6.81e-8 1.624e-14 6.81e-8 8.878e-16 2.98e-8 1.069 8.429e-8 0.001665 0.01624 0 1 7.471e-16 9.469e-16 4.31e-16 0.0007471 0.0009469 0.000431 json
t17_x14_u0_b42 17 14 0 42 div(D,dot(D,sqt(R))) 109397 138615873 o2(x,o2(x,o1(x))) true 35183 35183 -0.9947 0.002777 0.9989 0.009201 0.09592 -1 1 2 1 0.04394 0.002173 0.003446 0.003144 -0.2265 1 5.256e-11 0.01929 0.006399 0.005603 0.07485 23.81 2.828 0.6108 2.097 1 1 0.008862 0.02081 0.0325 0.9632 2.262 3.533 json
t17_x14_u0_b43 17 14 0 43 div(D,dst(D,sqt(R))) 109398 138615874 o2(x,o2(x,o1(x))) true 35191 35191 -0.9959 0.002441 0.9964 0.004299 0.06557 -1 0.1925 1.192 1 0.04596 0.0005095 0.0005592 0.001129 -0.04651 1 7.509e-12 0.002253 0.002104 0.001067 0.03266 28.92 1.378 0.2486 0.524 1 1 0.001891 0.007873 0.01516 0.4399 1.831 3.526 json
t17_x14_u0_b44 17 14 0 44 pow(D,add(D,sqt(R))) 109399 138615875 o2(x,o2(x,o1(x))) true 35199 35199 -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