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
t19_x19_u6_b34 19 19 6 34 div(R,sub(nrm(P),D)) 153500 155060278 o2(x,o2(o1(x),x)) true 108007 108007 -0.05196 0.4626 0.6652 0.5591 0.7477 -1 1 2 1 4.273 0.1982 0.01718 0.198 0.8405 1 -0.0006063 0.4997 0.2654 0.1761 0.4197 2.119 2.828 0.3852 0.8937 1 1 0.1999 0.666 1.103 0.3575 1.191 1.974 json
t19_x19_u6_b35 19 19 6 35 div(R,mlt(nrm(P),D)) 153501 155060279 o2(x,o2(o1(x),x)) true 108015 108015 -0.125 0.4362 0.87 0.8135 0.9019 -1 1 2 1 2.673 0.2357 0.03751 0.2109 0.7255 1 -0.000007343 0.5383 0.2909 0.2289 0.4784 2.269 2.828 0.3359 0.6617 1 1 0.2958 1.281 1.414 0.3636 1.575 1.738 json
t19_x19_u6_b36 19 19 6 36 div(R,div(nrm(P),D)) 153502 155060280 o2(x,o2(o1(x),x)) true 108023 108023 -0.1185 0.4356 0.2591 0.1602 0.4002 -1 1 2 1 3.737 0.01092 0.0008769 0.04764 0.8514 1 0.00006554 0.01653 0.02804 0.009528 0.09761 2.049 1.191 0.07366 0.1032 1 1 0.01576 0.09859 0.25 0.09837 0.6155 1.561 json
t19_x19_u6_b37 19 19 6 37 div(R,pow(nrm(P),D)) 153503 155060281 o2(x,o2(o1(x),x)) true 108031 108031 -0.5708 0.2011 0.7384 0.3381 0.5815 -1 1 2 1 3.089 0.008891 0.001466 0.03425 0.717 1 0.000009793 0.01481 0.0171 0.00918 0.09581 2.797 1.967 0.03063 0.04381 1 1 0.01403 0.1014 0.2696 0.04151 0.3 0.7974 json
t19_x19_u6_b38 19 19 6 38 div(R,mod(nrm(P),D)) 153504 155060282 o2(x,o2(o1(x),x)) true 108039 108039 -0.1973 0.3997 0.9285 0.8663 0.9308 -1 1 2 1 2.05 0.2933 0.05186 0.2354 0.6995 1 0.0008296 0.9981 0.4246 0.2897 0.5383 2.287 2.828 0.3984 1.152 1 1 0.2571 0.7969 1.512 0.2968 0.9199 1.746 json
t19_x19_u6_b39 19 19 6 39 div(R,lrg(nrm(P),D)) 153505 155060283 o2(x,o2(o1(x),x)) true 108047 108047 -0.7246 0.1352 0.8318 0.2595 0.5094 -1 0.9806 1.981 1 2.167 0.06171 0.002929 0.06776 0.9094 1 -0.0004897 0.1363 0.1063 0.06007 0.2451 3.617 2.493 0.2491 0.5253 1 1 0.06676 0.1867 0.2287 0.2573 0.7194 0.8813 json
t19_x19_u6_b40 19 19 6 40 div(R,eql(nrm(P),D)) 153506 155060284 o2(x,o2(o1(x),x)) true 108055 108055 -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
t19_x19_u6_b41 19 19 6 41 div(R,min(nrm(P),D)) 153507 155060285 o2(x,o2(o1(x),x)) true 108063 108063 -0.06365 0.4585 0.7085 0.6148 0.7841 -1 1 2 1 3.99 0.1259 0.0201 0.1495 0.7245 1 -0.00007612 0.2787 0.162 0.1236 0.3516 2.353 2.828 0.2374 0.4533 1 1 0.1691 0.8134 1.12 0.275 1.323 1.822 json
t19_x19_u6_b42 19 19 6 42 div(R,dot(nrm(P),D)) 153508 155060286 o2(x,o2(o1(x),x)) true 108071 108071 -0.01531 0.4921 0.8477 0.7979 0.8932 -1 1 2 1 2.941 0.3073 0.3053 0.3737 0.003356 1 0.000003705 2.15 0.6678 0.4727 0.6875 1.84 2.828 0.7678 2.695 1 1 0.5775 1.667 1.559 0.7238 2.089 1.954 json
t19_x19_u6_b43 19 19 6 43 div(R,dst(nrm(P),D)) 153509 155060287 o2(x,o2(o1(x),x)) true 108079 108079 -0.01137 0.4877 0.4299 0.2634 0.5132 -1 1 2 1 4.924 0.005586 0.006181 0.07522 -0.05061 1 0.00006404 0.01074 0.0271 0.00611 0.07817 1.039 2.097 0.04468 0.04078 1 1 0.02097 0.1969 0.4943 0.07961 0.7476 1.877 json
t19_x19_u6_b44 19 19 6 44 pow(R,add(nrm(P),D)) 153510 155060288 o2(x,o2(o1(x),x)) true 108087 108087 -0.916 0.04297 0.9981 0.1579 0.3974 -1 1 2 1 0.297 0.01633 0.01554 0.01633 0.02474 1 0.000001646 0.0666 0.03252 0.03158 0.1777 10.88 2.828 0.2018 0.4218 1 1 0.0254 0.1093 0.2697 0.1609 0.6921 1.708 json
t19_x19_u6_b45 19 19 6 45 pow(R,sub(nrm(P),D)) 153511 155060289 o2(x,o2(o1(x),x)) true 108095 108095 -0.9156 0.04297 0.9984 0.1591 0.3988 -1 1 2 1 0.2978 0.01633 0.01567 0.01636 0.02068 1 0.000001804 0.06684 0.0326 0.03171 0.1781 10.89 2.828 0.2011 0.4202 1 1 0.02537 0.1092 0.2706 0.1595 0.6862 1.701 json
t19_x19_u6_b46 19 19 6 46 pow(R,mlt(nrm(P),D)) 153512 155060290 o2(x,o2(o1(x),x)) true 108103 108103 -0.8527 0.07422 0.9989 0.2707 0.5203 -1 1 2 1 0.4251 0.0248 0.02396 0.02474 0.01724 1 6.242e-7 0.102 0.0493 0.04819 0.2195 8.874 2.828 0.1801 0.3767 1 1 0.04645 0.1938 0.6402 0.1716 0.7157 2.364 json
t19_x19_u6_b47 19 19 6 47 pow(R,div(nrm(P),D)) 153513 155060291 o2(x,o2(o1(x),x)) true 108111 108111 -0.8602 0.07422 0.9914 0.2495 0.4995 -1 1 2 1 0.4823 0.02075 0.02154 0.02453 -0.01872 1 9.584e-7 0.08714 0.04613 0.04166 0.2041 8.32 2.828 0.1695 0.3492 1 1 0.04335 0.1852 0.6011 0.1737 0.7423 2.409 json
t19_x19_u6_b48 19 19 6 48 pow(R,pow(nrm(P),D)) 153514 155060292 o2(x,o2(o1(x),x)) true 108119 108119 -0.9585 0.02344 0.9946 0.07253 0.2693 -1 1 2 1 0.2353 0.009162 0.006063 0.009061 0.2036 1 0.000002673 0.0319 0.01701 0.01514 0.123 13.58 2.691 0.2099 0.4399 1 1 0.01235 0.05097 0.1348 0.1703 0.7027 1.858 json
t19_x19_u6_b49 19 19 6 49 pow(R,mod(nrm(P),D)) 153515 155060293 o2(x,o2(o1(x),x)) true 108127 108127 -0.8509 0.07495 0.9992 0.2745 0.524 -1 1 2 1 0.4125 0.03096 0.02442 0.02799 0.118 1 0.00000115 0.1222 0.05604 0.05457 0.2336 8.347 2.828 0.2017 0.4451 1 1 0.05225 0.2 0.6492 0.1903 0.7285 2.365 json
t19_x19_u6_b50 19 19 6 50 pow(R,lrg(nrm(P),D)) 153516 155060294 o2(x,o2(o1(x),x)) true 108135 108135 -0.2695 0.373 0.9844 0.9028 0.9501 -1 1 2 1 1.332 0.1709 0.02438 0.103 0.7502 1 -0.0005008 0.4174 0.2038 0.1847 0.4298 4.173 2.828 0.2163 0.4624 1 1 0.1903 0.54 0.7407 0.2108 0.5982 0.8204 json
t19_x19_u6_b51 19 19 6 51 pow(R,eql(nrm(P),D)) 153517 155060295 o2(x,o2(o1(x),x)) true 108143 108143 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
t19_x19_u6_b52 19 19 6 52 pow(R,min(nrm(P),D)) 153518 155060296 o2(x,o2(o1(x),x)) true 108151 108151 -0.8832 0.05859 0.9996 0.2193 0.4683 -1 1 2 1 0.339 0.02492 0.02023 0.02256 0.1039 1 3.583e-7 0.09436 0.04528 0.04462 0.2112 9.363 2.828 0.2058 0.4302 1 1 0.03961 0.1663 0.4163 0.1806 0.758 1.898 json
t19_x19_u6_b53 19 19 6 53 pow(R,dot(nrm(P),D)) 153519 155060297 o2(x,o2(o1(x),x)) true 108159 108159 -0.9149 0.04324 0.9986 0.1604 0.4005 -1 1 2 1 0.3026 0.01855 0.01808 0.0186 0.01293 1 8.372e-7 0.08943 0.03744 0.03629 0.1905 10.24 2.828 0.2284 0.5576 1 1 0.02657 0.1089 0.2696 0.1657 0.6789 1.681 json
t19_x19_u6_b54 19 19 6 54 pow(R,dst(nrm(P),D)) 153520 155060298 o2(x,o2(o1(x),x)) true 108167 108167 -0.9329 0.04297 0.9811 0.1019 0.3192 -1 0.946 1.946 1 0.4132 0.01026 0.01049 0.01426 -0.01108 1 0.00001055 0.04329 0.02627 0.02055 0.1433 10.05 2.634 0.2037 0.4249 1 1 0.01648 0.07144 0.1717 0.1618 0.7012 1.686 json
t19_x19_u6_b55 19 19 6 55 mod(R,add(nrm(P),D)) 153521 155060299 o2(x,o2(o1(x),x)) true 108175 108175 -0.01137 0.4746 0.2423 0.1045 0.3233 -1 0.9323 1.932 1 4.329 0.01514 0.002591 0.07708 0.7078 1 -0.0002181 0.03439 0.08965 0.01179 0.1086 1.409 2.097 0.1696 0.3289 1 1 0.02044 0.09918 0.2225 0.1955 0.9488 2.128 json
t19_x19_u6_b56 19 19 6 56 mod(R,sub(nrm(P),D)) 153522 155060300 o2(x,o2(o1(x),x)) true 108183 108183 -0.006345 0.4816 0.2534 0.1124 0.3353 -1 0.9323 1.932 1 4.39 0.01469 0.003141 0.07647 0.6477 1 0.0000359 0.03458 0.08718 0.01198 0.1095 1.431 2.097 0.1586 0.3076 1 1 0.02138 0.1062 0.2529 0.1901 0.9446 2.25 json
t19_x19_u6_b57 19 19 6 57 mod(R,mlt(nrm(P),D)) 153523 155060301 o2(x,o2(o1(x),x)) true 108191 108191 -0.1258 0.416 0.1822 0.1166 0.3415 -1 0.4297 1.43 1 2.801 0.01131 0.0001168 0.04774 0.9795 1 -0.0001939 0.02483 0.07704 0.009144 0.09562 2.003 1.02 0.09795 0.2129 1 1 0.013 0.04924 0.1801 0.1115 0.4222 1.544 json
t19_x19_u6_b58 19 19 6 58 mod(R,div(nrm(P),D)) 153524 155060302 o2(x,o2(o1(x),x)) true 108199 108199 -0.1199 0.4321 0.4574 0.294 0.5423 -1 0.9806 1.981 1 4.747 0.01826 0.002659 0.06722 0.7458 1 0.00004456 0.03333 0.04498 0.0164 0.128 1.905 1.943 0.07113 0.1134 1 1 0.02705 0.1831 0.4933 0.09198 0.6226 1.678 json
t19_x19_u6_b59 19 19 6 59 mod(R,pow(nrm(P),D)) 153525 155060303 o2(x,o2(o1(x),x)) true 108207 108207 -0.575 0.1983 0.7174 0.3133 0.5597 -1 0.9806 1.981 1 3.057 0.01061 0.001119 0.03398 0.8092 1 2.696e-7 0.02169 0.02415 0.01058 0.1028 3.027 1.943 0.03744 0.06924 1 1 0.01333 0.08446 0.2383 0.04254 0.2696 0.7608 json
t19_x19_u6_b60 19 19 6 60 mod(R,mod(nrm(P),D)) 153526 155060304 o2(x,o2(o1(x),x)) true 108215 108215 -0.1367 0.4126 0.1762 0.1186 0.3444 -1 0.4079 1.408 1 2.508 0.01731 0.0005078 0.05286 0.943 1 -0.00000852 0.03926 0.0922 0.01502 0.1226 2.319 1.439 0.1502 0.331 1 1 0.02389 0.0597 0.1854 0.2014 0.5033 1.563 json
t19_x19_u6_b61 19 19 6 61 mod(R,lrg(nrm(P),D)) 153527 155060305 o2(x,o2(o1(x),x)) true 108223 108223 -0.7246 0.1352 0.8318 0.2595 0.5094 -1 0.9806 1.981 1 2.167 0.06171 0.002929 0.06776 0.9094 1 -0.0004897 0.1363 0.1063 0.06007 0.2451 3.617 2.493 0.2491 0.5253 1 1 0.06676 0.1867 0.2287 0.2573 0.7194 0.8813 json
t19_x19_u6_b62 19 19 6 62 mod(R,eql(nrm(P),D)) 153528 155060306 o2(x,o2(o1(x),x)) true 108231 108231 -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
t19_x19_u6_b63 19 19 6 63 mod(R,min(nrm(P),D)) 153529 155060307 o2(x,o2(o1(x),x)) true 108239 108239 -0.06662 0.4438 0.2168 0.1089 0.33 -1 0.9158 1.916 1 3.927 0.01171 0.0007097 0.05665 0.8857 1 -0.00004107 0.02469 0.06701 0.009213 0.09598 1.694 1.027 0.114 0.2267 1 1 0.01511 0.07732 0.175 0.1387 0.7099 1.606 json
t19_x19_u6_b64 19 19 6 64 mod(R,dot(nrm(P),D)) 153530 155060308 o2(x,o2(o1(x),x)) true 108247 108247 -0.02416 0.463 0.1101 0.03201 0.1789 -1 0.4368 1.437 1 3.088 0.01082 0.01108 0.08642 -0.01216 1 0.00005013 0.0973 0.1624 0.01443 0.1201 1.39 1.723 0.6841 3.04 1 1 0.01646 0.0366 0.09099 0.5143 1.143 2.843 json
t19_x19_u6_b65 19 19 6 65 mod(R,dst(nrm(P),D)) 153531 155060309 o2(x,o2(o1(x),x)) true 108255 108255 -0.01305 0.4836 0.3607 0.1926 0.4388 -1 0.9809 1.981 1 4.792 0.01057 0.01124 0.07893 -0.03053 1 -0.000004416 0.05467 0.07175 0.01558 0.1248 1.582 2.097 0.1132 0.2839 1 1 0.02636 0.1723 0.3975 0.1369 0.8945 2.064 json
t19_x19_u6_b66 19 19 6 66 lrg(R,add(nrm(P),D)) 153532 155060310 o2(x,o2(o1(x),x)) true 108263 108263 0.4936 0.7925 0.4936 0.1897 0.4356 0 1 1 1 2.829 0.01552 0.001071 0.05254 0.8709 1 0.00001395 0.03 0.05192 0.01383 0.1176 2.238 0.9997 0.08745 0.1582 1 1 0.01954 0.0974 0.1877 0.103 0.5134 0.9896 json
t19_x19_u6_b67 19 19 6 67 lrg(R,sub(nrm(P),D)) 153533 155060311 o2(x,o2(o1(x),x)) true 108271 108271 0.4877 0.8089 0.4877 0.1843 0.4293 0 1 1 1 2.935 0.01519 0.001022 0.05462 0.8739 1 -0.00001516 0.02868 0.05008 0.01323 0.115 2.105 0.9997 0.08797 0.1557 1 1 0.01979 0.09632 0.1739 0.1074 0.5228 0.9436 json
t19_x19_u6_b68 19 19 6 68 lrg(R,mlt(nrm(P),D)) 153534 155060312 o2(x,o2(o1(x),x)) true 108279 108279 0.4963 0.929 0.4963 0.1499 0.3872 0 1 1 1 3.486 0.01419 0.002172 0.07042 0.7345 1 0.00007035 0.02531 0.05046 0.0114 0.1068 1.516 0.9997 0.1092 0.1688 1 1 0.0177 0.13 0.2805 0.1181 0.8669 1.871 json
t19_x19_u6_b69 19 19 6 69 lrg(R,div(nrm(P),D)) 153535 155060313 o2(x,o2(o1(x),x)) true 108287 108287 0.5288 0.9881 0.5288 0.1498 0.3871 0 1 1 1 3.367 0.06384 0.0002219 0.1185 0.9931 1 0.0001599 0.1191 0.1351 0.04999 0.2236 1.886 1 0.4276 0.7947 1 1 0.06708 0.2374 0.07917 0.4477 1.585 0.5284 json
t19_x19_u6_b70 19 19 6 70 lrg(R,pow(nrm(P),D)) 153536 155060314 o2(x,o2(o1(x),x)) true 108295 108295 0.4982 0.6016 0.4982 0.2334 0.4831 0 1 1 1 1.697 0.003595 0.0001614 0.01314 0.9141 1 -0.000003139 0.006256 0.01003 0.003583 0.05986 4.555 0.9994 0.01609 0.0268 1 1 0.004656 0.0282 0.08504 0.01995 0.1208 0.3643 json
t19_x19_u6_b71 19 19 6 71 lrg(R,mod(nrm(P),D)) 153537 155060315 o2(x,o2(o1(x),x)) true 108303 108303 0.4953 0.897 0.4953 0.1601 0.4002 0 1 1 1 3.346 0.02011 0.002167 0.07554 0.8055 1 0.00006259 0.04908 0.07154 0.01657 0.1287 1.704 0.9998 0.1391 0.3065 1 1 0.01659 0.1236 0.2783 0.1036 0.7721 1.738 json
t19_x19_u6_b72 19 19 6 72 lrg(R,lrg(nrm(P),D)) 153538 155060316 o2(x,o2(o1(x),x)) true 108311 108311 0.2545 0.556 0.2545 0.1349 0.3673 0 1 1 1 2.456 0.006159 0.001174 0.03748 0.6798 1 0.0000106 0.0104 0.02375 0.005928 0.07699 2.054 0.9997 0.05436 0.07707 1 1 0.008789 0.06743 0.1594 0.06516 0.4999 1.182 json
t19_x19_u6_b73 19 19 6 73 lrg(R,eql(nrm(P),D)) 153539 155060317 o2(x,o2(o1(x),x)) true 108319 108319 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
t19_x19_u6_b74 19 19 6 74 lrg(R,min(nrm(P),D)) 153540 155060318 o2(x,o2(o1(x),x)) true 108327 108327 0.6686 0.9707 0.6686 0.1496 0.3867 0 1 1 1 2.905 0.01054 0.001605 0.05187 0.7357 1 0.00004793 0.01886 0.03831 0.009454 0.09723 1.875 0.9997 0.0812 0.1261 1 1 0.01431 0.1004 0.2297 0.09565 0.671 1.536 json
t19_x19_u6_b75 19 19 6 75 lrg(R,dot(nrm(P),D)) 153541 155060319 o2(x,o2(o1(x),x)) true 108335 108335 0.5144 0.9416 0.5144 0.1471 0.3835 0 1 1 1 3.521 0.01447 0.01353 0.08538 0.03356 1 -0.0002435 0.07854 0.08871 0.0207 0.1439 1.685 1.414 0.1904 0.5341 1 1 0.02936 0.1563 0.2723 0.1997 1.063 1.852 json
t19_x19_u6_b76 19 19 6 76 lrg(R,dst(nrm(P),D)) 153542 155060320 o2(x,o2(o1(x),x)) true 108343 108343 0.05614 0.2598 0.05614 0.0269 0.164 0 0.9994 0.9994 1 1.143 0.00585 0.005682 0.02794 0.0146 1 -0.00006077 0.03565 0.03591 0.01076 0.1037 3.712 1.413 0.4287 1.325 1 1 0.01081 0.04192 0.05276 0.4017 1.558 1.962 json
t19_x19_u6_b77 19 19 6 77 eql(R,add(nrm(P),D)) 153543 155060321 o2(x,o2(o1(x),x)) true 108351 108351 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
t19_x19_u6_b78 19 19 6 78 eql(R,sub(nrm(P),D)) 153544 155060322 o2(x,o2(o1(x),x)) true 108359 108359 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
t19_x19_u6_b79 19 19 6 79 eql(R,mlt(nrm(P),D)) 153545 155060323 o2(x,o2(o1(x),x)) true 108367 108367 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
t19_x19_u6_b80 19 19 6 80 eql(R,div(nrm(P),D)) 153546 155060324 o2(x,o2(o1(x),x)) true 108375 108375 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
t19_x19_u6_b81 19 19 6 81 eql(R,pow(nrm(P),D)) 153547 155060325 o2(x,o2(o1(x),x)) true 108383 108383 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
t19_x19_u6_b82 19 19 6 82 eql(R,mod(nrm(P),D)) 153548 155060326 o2(x,o2(o1(x),x)) true 108391 108391 0.0004525 0.0009766 0.0004525 0.0003283 0.01812 0 0.9264 0.9264 1 0.01196 0.0006781 0.000004811 0.0009427 0.9859 1 6.407e-13 0.002054 0.001869 0.0006819 0.02611 27.7 0.9264 2.08 6.256 1 1 0.000259 0.000363 0.0006115 0.789 1.106 1.863 json
t19_x19_u6_b83 19 19 6 83 eql(R,lrg(nrm(P),D)) 153549 155060327 o2(x,o2(o1(x),x)) true 108399 108399 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
t19_x19_u6_b84 19 19 6 84 eql(R,eql(nrm(P),D)) 153550 155060328 o2(x,o2(o1(x),x)) true 108407 108407 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
t19_x19_u6_b85 19 19 6 85 eql(R,min(nrm(P),D)) 153551 155060329 o2(x,o2(o1(x),x)) true 108415 108415 0.00004008 0.0002289 0.00004008 0.00001031 0.00321 0 0.3282 0.3282 1 0.002722 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
t19_x19_u6_b86 19 19 6 86 eql(R,dot(nrm(P),D)) 153552 155060330 o2(x,o2(o1(x),x)) true 108423 108423 0.0000783 0.0004578 0.0000783 0.00004289 0.006549 0 0.9858 0.9858 1 0.004253 0.00008855 0.00007393 0.0002607 0.08994 1 -0.00001517 0.0008709 0.0006313 0.0001623 0.01274 48.87 1.394 3.788 20.31 1 1 0.000001294 0.000001525 0.000002234 0.03017 0.03555 0.0521 json
t19_x19_u6_b87 19 19 6 87 eql(R,dst(nrm(P),D)) 153553 155060331 o2(x,o2(o1(x),x)) true 108431 108431 0.0000233 0.0001373 0.0000233 0.000008898 0.002983 0 0.5202 0.5202 1 0.001004 0.00001837 0.00001837 0.00008211 0 0 0 0.0001837 0.0001924 0.00003672 0.00606 73.81 0.7357 4.128 20.64 1 1 0.000002327 0.000002327 0.00000607 0.2615 0.2615 0.6821 json
t19_x19_u6_b88 19 19 6 88 min(R,add(nrm(P),D)) 153554 155060332 o2(x,o2(o1(x),x)) true 108439 108439 -0.3958 0.2115 0.5316 0.2149 0.4636 -1 0.9256 1.926 1 4.609 0.002049 0.001357 0.04667 0.2032 1 -0.0001208 0.0003288 0.01391 0.001227 0.03503 0.7505 0.2089 0.01584 0.00153 1 1 0.00673 0.08064 0.2157 0.03131 0.3752 1.004 json
t19_x19_u6_b89 19 19 6 89 min(R,sub(nrm(P),D)) 153555 155060333 o2(x,o2(o1(x),x)) true 108447 108447 -0.4102 0.2056 0.5427 0.219 0.468 -1 0.9274 1.927 1 4.578 0.002314 0.001358 0.04889 0.2603 1 0.0001065 0.0003748 0.01484 0.001282 0.0358 0.7323 0.2469 0.01677 0.001711 1 1 0.007386 0.08522 0.2149 0.03372 0.389 0.9809 json
t19_x19_u6_b90 19 19 6 90 min(R,mlt(nrm(P),D)) 153556 155060334 o2(x,o2(o1(x),x)) true 108455 108455 -0.2739 0.1269 0.2921 0.06962 0.2639 -0.9989 0.8288 1.828 1 3.976 0.001296 0.0009921 0.04032 0.1329 1 0.0001931 0.0001929 0.0108 0.0006625 0.02574 0.6383 0.1725 0.03287 0.00277 1 1 0.004349 0.05129 0.1193 0.06247 0.7368 1.713 json
t19_x19_u6_b91 19 19 6 91 min(R,div(nrm(P),D)) 153557 155060335 o2(x,o2(o1(x),x)) true 108463 108463 -0.5795 0.1514 0.6947 0.2598 0.5097 -1 0.9804 1.98 1 3.621 0.08433 0.001421 0.1271 0.9668 1 0.000002715 0.1489 0.1458 0.06958 0.2638 2.075 1.969 0.33 0.573 1 1 0.09564 0.4147 0.226 0.3681 1.596 0.8699 json
t19_x19_u6_b92 19 19 6 92 min(R,pow(nrm(P),D)) 153558 155060336 o2(x,o2(o1(x),x)) true 108471 108471 0.0008555 0.4897 0.3895 0.2159 0.4647 -0.9989 0.9806 1.979 1 4.855 0.003146 0.003104 0.06351 0.006796 1 0.00002805 0.001002 0.01582 0.002217 0.04708 0.7414 0.6687 0.02894 0.004642 1 1 0.01205 0.1504 0.3792 0.05581 0.6967 1.756 json
t19_x19_u6_b93 19 19 6 93 min(R,mod(nrm(P),D)) 153559 155060337 o2(x,o2(o1(x),x)) true 108479 108479 -0.2633 0.151 0.2913 0.07393 0.2719 -0.9989 0.829 1.828 1 4.067 0.004172 0.0009951 0.05468 0.6148 1 0.00002657 0.009046 0.05759 0.002177 0.04666 0.8533 0.3353 0.06989 0.1223 1 1 0.005676 0.05009 0.1225 0.07678 0.6775 1.657 json
t19_x19_u6_b94 19 19 6 94 min(R,lrg(nrm(P),D)) 153560 155060338 o2(x,o2(o1(x),x)) true 108487 108487 -0.1288 0.2683 0.3146 0.1514 0.3891 -0.9989 0.9806 1.979 1 4.519 0.003747 0.001965 0.0519 0.3119 1 0.00001119 0.00389 0.01979 0.003019 0.05494 1.059 0.8843 0.03774 0.0257 1 1 0.008918 0.1011 0.264 0.05892 0.6677 1.744 json
t19_x19_u6_b95 19 19 6 95 min(R,eql(nrm(P),D)) 153561 155060339 o2(x,o2(o1(x),x)) true 108495 108495 -0.2541 0 0.2541 0.06549 0.2559 -0.9989 0 0.9989 1 3.542 0.000768 0.0009295 0.0314 -0.09514 1 0.00001332 0.00009988 0.007359 0.0007117 0.02668 0.8497 0.1168 0.02592 0.001525 1 1 0.003123 0.04017 0.1061 0.04769 0.6134 1.62 json
t19_x19_u6_b96 19 19 6 96 min(R,min(nrm(P),D)) 153562 155060340 o2(x,o2(o1(x),x)) true 108503 108503 -0.5115 0.06358 0.5217 0.1009 0.3177 -1 0.1454 1.145 1 4.152 0.000998 0.0006045 0.02979 0.2456 1 0.00009303 0.0001624 0.008533 0.0007149 0.02674 0.8975 0.1392 0.01588 0.001609 1 1 0.003042 0.03523 0.08829 0.03015 0.3492 0.875 json
t19_x19_u6_b97 19 19 6 97 min(R,dot(nrm(P),D)) 153563 155060341 o2(x,o2(o1(x),x)) true 108511 108511 -0.2938 0.134 0.3173 0.07258 0.2694 -0.9989 0.8285 1.827 1 4.061 0.001335 0.001456 0.04549 -0.04336 1 0.0003613 0.0002918 0.01319 0.0007223 0.02688 0.5908 0.1728 0.03846 0.004021 1 1 0.005275 0.05878 0.1204 0.07269 0.8099 1.659 json
t19_x19_u6_b98 19 19 6 98 min(R,dst(nrm(P),D)) 153564 155060342 o2(x,o2(o1(x),x)) true 108519 108519 -0.001158 0.4924 0.3888 0.2134 0.462 -0.9989 0.9806 1.979 1 4.845 0.002799 0.003152 0.06311 -0.05942 1 0.0000497 0.0003803 0.01472 0.001968 0.04436 0.7029 0.2301 0.02789 0.001782 1 1 0.01176 0.1504 0.3799 0.05511 0.7047 1.78 json
t19_x19_u6_b99 19 19 6 99 dot(R,add(nrm(P),D)) 153565 155060343 o2(x,o2(o1(x),x)) true 108527 108527 -0.05565 0.4502 0.4199 0.2584 0.5083 -1 1 2 1 4.892 0.005068 0.006035 0.07696 -0.0871 1 -0.0001677 0.006663 0.02281 0.005181 0.07198 0.9354 2.828 0.04297 0.02578 1 1 0.02068 0.2097 0.5242 0.08004 0.8116 2.029 json
t19_x19_u6_b100 19 19 6 100 dot(R,sub(nrm(P),D)) 153566 155060344 o2(x,o2(o1(x),x)) true 108535 108535 -0.06444 0.4459 0.4406 0.2802 0.5293 -1 1 2 1 4.914 0.005339 0.006372 0.07813 -0.08825 1 0.0000775 0.007315 0.0234 0.005606 0.07488 0.9583 2.828 0.0418 0.02611 1 1 0.02197 0.2263 0.6015 0.07843 0.8077 2.147 json
t19_x19_u6_b101 19 19 6 101 dot(R,mlt(nrm(P),D)) 153567 155060345 o2(x,o2(o1(x),x)) true 108543 108543 -0.01586 0.4923 0.1103 0.03065 0.1751 -1 0.4707 1.471 1 3.115 0.001426 0.001419 0.02989 0.002355 1 0.00001149 0.003863 0.01179 0.001952 0.04418 1.478 1.414 0.09281 0.126 1 1 0.005133 0.03478 0.08381 0.1674 1.135 2.734 json
t19_x19_u6_b102 19 19 6 102 dot(R,div(nrm(P),D)) 153568 155060346 o2(x,o2(o1(x),x)) true 108551 108551 -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
t19_x19_u6_b103 19 19 6 103 dot(R,pow(nrm(P),D)) 153569 155060347 o2(x,o2(o1(x),x)) true 108559 108559 -0.7476 0.1246 0.8952 0.3046 0.5519 -1 1 2 1 1.772 0.003861 0.005856 0.02572 -0.2053 1 -0.00001876 0.01308 0.01433 0.009058 0.09517 3.7 2.828 0.0319 0.04295 1 1 0.01542 0.1198 0.3868 0.05061 0.3934 1.27 json
t19_x19_u6_b104 19 19 6 104 dot(R,mod(nrm(P),D)) 153570 155060348 o2(x,o2(o1(x),x)) true 108567 108567 -0.02299 0.4585 0.09494 0.02616 0.1617 -1 0.6419 1.642 1 2.884 0.003642 0.003763 0.05984 -0.01636 1 0.0001384 0.01864 0.09026 0.003825 0.06184 1.033 1.454 0.283 0.7125 1 1 0.007042 0.02458 0.07773 0.2692 0.9395 2.971 json
t19_x19_u6_b105 19 19 6 105 dot(R,lrg(nrm(P),D)) 153571 155060349 o2(x,o2(o1(x),x)) true 108575 108575 -0.006671 0.4448 0.3428 0.2101 0.4584 -1 1 2 1 4.662 0.00651 0.00639 0.06975 0.009292 1 -0.0000244 0.01529 0.04742 0.008035 0.08964 1.285 0.9524 0.0614 0.0728 1 1 0.01752 0.153 0.4153 0.08337 0.7283 1.977 json
t19_x19_u6_b106 19 19 6 106 dot(R,eql(nrm(P),D)) 153572 155060350 o2(x,o2(o1(x),x)) true 108583 108583 -0.02962 0.4693 0.3744 0.1997 0.4469 -0.9967 0.9893 1.986 1 4.818 0.003 0.00287 0.06261 0.02222 1 -0.00003178 0.0003527 0.01452 0.001951 0.04417 0.7055 0.2258 0.02939 0.001766 1 1 0.01331 0.1712 0.4269 0.06664 0.857 2.137 json
t19_x19_u6_b107 19 19 6 107 dot(R,min(nrm(P),D)) 153573 155060351 o2(x,o2(o1(x),x)) true 108591 108591 -0.03874 0.4635 0.2702 0.1238 0.3519 -1 1 2 1 4.495 0.001876 0.002373 0.05371 -0.1171 1 -0.00009475 0.0003175 0.0137 0.001364 0.03694 0.6878 0.2437 0.0343 0.002564 1 1 0.008195 0.1012 0.223 0.06617 0.8168 1.8 json
t19_x19_u6_b108 19 19 6 108 dot(R,dot(nrm(P),D)) 153574 155060352 o2(x,o2(o1(x),x)) true 108599 108599 -0.01033 0.4916 0.1664 0.05754 0.2399 -1 0.8321 1.832 1 3.791 0.002082 0.002221 0.04608 -0.03219 1 -0.00004238 0.003304 0.01602 0.00218 0.04669 1.013 1.414 0.07479 0.05742 1 1 0.008604 0.0772 0.1397 0.1495 1.342 2.429 json
t19_x19_u6_b109 19 19 6 109 dot(R,dst(nrm(P),D)) 153575 155060353 o2(x,o2(o1(x),x)) true 108607 108607 -0.01345 0.495 0.5647 0.4372 0.6612 -1 1 2 1 4.662 0.01027 0.0105 0.08882 -0.01129 1 0.000007976 0.0156 0.03318 0.01288 0.1135 1.278 2.828 0.0475 0.03569 1 1 0.04067 0.3711 0.9268 0.09302 0.8487 2.12 json
t19_x19_u6_b110 19 19 6 110 dst(R,add(nrm(P),D)) 153576 155060354 o2(x,o2(o1(x),x)) true 108615 108615 0.9369 0.9844 0.9682 0.06962 0.2639 -1 1 2 1 1.01 0.004244 0.004256 0.01469 -0.001475 1 -0.000009178 0.01589 0.01408 0.008291 0.09106 6.2 2.036 0.1221 0.2282 1 1 0.01485 0.06612 0.2361 0.2132 0.9497 3.392 json
t19_x19_u6_b111 19 19 6 111 dst(R,sub(nrm(P),D)) 153577 155060355 o2(x,o2(o1(x),x)) true 108623 108623 0.9418 0.9844 0.9731 0.06812 0.261 -1 1 2 1 0.9196 0.004174 0.00422 0.01395 -0.005416 1 -0.00007022 0.0159 0.01404 0.008195 0.09053 6.488 2.036 0.1232 0.2334 1 1 0.01457 0.06443 0.2322 0.2138 0.9458 3.409 json
t19_x19_u6_b112 19 19 6 112 dst(R,mlt(nrm(P),D)) 153578 155060356 o2(x,o2(o1(x),x)) true 108631 108631 0.8799 0.9844 0.9112 0.07702 0.2775 -1 1 2 1 2.064 0.004143 0.004242 0.02356 -0.01174 1 -0.00006131 0.01525 0.01575 0.007829 0.08848 3.756 2.828 0.1089 0.198 1 1 0.01472 0.07183 0.2385 0.1911 0.9327 3.097 json
t19_x19_u6_b113 19 19 6 113 dst(R,div(nrm(P),D)) 153579 155060357 o2(x,o2(o1(x),x)) true 108639 108639 -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
t19_x19_u6_b114 19 19 6 114 dst(R,pow(nrm(P),D)) 153580 155060358 o2(x,o2(o1(x),x)) true 108647 108647 -0.5089 0.2461 0.9989 0.7392 0.8598 -1 1 2 1 0.8533 0.007936 0.007838 0.008396 0.006235 1 -5.256e-10 0.03185 0.0162 0.0157 0.1253 14.92 2.663 0.02134 0.04308 1 1 0.02092 0.0845 0.3348 0.0283 0.1143 0.4529 json
t19_x19_u6_b115 19 19 6 115 dst(R,mod(nrm(P),D)) 153581 155060359 o2(x,o2(o1(x),x)) true 108655 108655 0.8778 0.9844 0.9091 0.07686 0.2772 -1 1 2 1 2.117 0.004903 0.00492 0.03358 -0.00173 1 -0.00009065 0.02046 0.04774 0.008691 0.09323 2.776 2.828 0.1278 0.2662 1 1 0.01483 0.06561 0.2267 0.193 0.8537 2.95 json
t19_x19_u6_b116 19 19 6 116 dst(R,lrg(nrm(P),D)) 153582 155060360 o2(x,o2(o1(x),x)) true 108663 108663 0.9564 1 0.9564 0.01208 0.1099 0.2581 1 0.7419 1 1.162 0.0005743 0.001057 0.01232 -0.296 1 -0.00003308 0.002477 0.0117 0.00148 0.03847 3.123 0.6283 0.1351 0.2051 1 1 0.001995 0.01113 0.01837 0.1652 0.9212 1.521 json
t19_x19_u6_b117 19 19 6 117 dst(R,eql(nrm(P),D)) 153583 155060361 o2(x,o2(o1(x),x)) true 108671 108671 0.9684 1 0.9684 0.009182 0.09582 0.2103 1 0.7897 1 0.9061 0.0002907 0.0002713 0.007968 0.03453 1 -0.00004516 0.0002037 0.004353 0.0004984 0.02232 2.802 0.1992 0.0612 0.02219 1 1 0.0009074 0.007818 0.01255 0.09882 0.8515 1.367 json
t19_x19_u6_b118 19 19 6 118 dst(R,min(nrm(P),D)) 153584 155060362 o2(x,o2(o1(x),x)) true 108679 108679 0.9433 1 0.9433 0.01513 0.123 0.1778 1 0.8222 1 1.427 0.0004743 0.0005494 0.015 -0.07338 1 -0.00002591 0.0003351 0.007373 0.000799 0.02827 1.885 0.2121 0.06767 0.02215 1 1 0.001609 0.01518 0.02714 0.1064 1.003 1.794 json
t19_x19_u6_b119 19 19 6 119 dst(R,dot(nrm(P),D)) 153585 155060363 o2(x,o2(o1(x),x)) true 108687 108687 0.8984 0.9844 0.9296 0.07481 0.2735 -1 1 2 1 1.781 0.004508 0.004615 0.02612 -0.01175 1 -0.0001503 0.01594 0.01998 0.008437 0.09185 3.516 2.828 0.1219 0.213 1 1 0.01588 0.0758 0.2384 0.2123 1.013 3.187 json
t19_x19_u6_b120 19 19 6 120 dst(R,dst(nrm(P),D)) 153586 155060364 o2(x,o2(o1(x),x)) true 108695 108695 0.9633 0.9844 0.9946 0.06314 0.2513 -1 1 2 1 0.3117 0.004203 0.004221 0.007008 -0.002128 1 3.754e-11 0.01685 0.01054 0.008381 0.09155 13.06 2.666 0.1334 0.2668 1 1 0.01507 0.06164 0.2312 0.2387 0.9762 3.661 json
t19_x20_u0_b0 19 20 0 0 add(R,add(sqt(P),R)) 153587 155099439 o2(x,o2(o1(x),x)) true 108703 108703 -0.0711 0.4769 0.9564 0.9329 0.9659 -1 1 2 1 1.812 0.007545 0.001043 0.01715 0.7571 1 -0.00004443 0.01263 0.01341 0.008298 0.09109 5.311 2 0.009205 0.01354 1 1 0.01434 0.09417 0.3472 0.01537 0.1009 0.3722 json
t19_x20_u0_b1 19 20 0 1 add(R,sub(sqt(P),R)) 153588 155099440 o2(x,o2(o1(x),x)) true 108711 108711 -0.03125 0.5 0.9688 0.9603 0.98 -1 1 2 1 1.406 0.004323 0 0.007937 1 1 -9.386e-13 0.007903 0.008812 0.004259 0.06526 8.223 1 0.004502 0.008229 1 1 0.006228 0.03975 0.2856 0.006485 0.04139 0.2974 json
t19_x20_u0_b2 19 20 0 2 add(R,mlt(sqt(P),R)) 153589 155099441 o2(x,o2(o1(x),x)) true 108719 108719 -0.52 0.2349 0.866 0.5509 0.7422 -1 1 2 1 2.53 0.01098 0.007053 0.05453 0.2176 1 -0.00002394 0.01243 0.02678 0.01506 0.1227 2.251 1.829 0.03273 0.02257 1 1 0.0295 0.2682 0.6617 0.05356 0.4868 1.201 json
t19_x20_u0_b3 19 20 0 3 add(R,div(sqt(P),R)) 153590 155099442 o2(x,o2(o1(x),x)) true 108727 108727 -0.5476 0.2254 0.9628 0.65 0.8062 -1 1 2 1 1.384 0.03072 0.03375 0.06385 -0.047 1 -0.00001776 0.09852 0.07626 0.06041 0.2458 3.849 2.828 0.09918 0.1516 1 1 0.08402 0.474 1.013 0.1293 0.7292 1.559 json
t19_x20_u0_b4 19 20 0 4 add(R,pow(sqt(P),R)) 153591 155099443 o2(x,o2(o1(x),x)) true 108735 108735 -0.232 0.4149 0.883 0.7861 0.8866 -1 1 2 1 2.446 0.01429 0.006154 0.03122 0.3979 1 -0.00005502 0.03696 0.02828 0.01947 0.1395 4.468 2.828 0.026 0.04702 1 1 0.02854 0.1451 0.4529 0.03631 0.1846 0.5762 json
t19_x20_u0_b5 19 20 0 5 add(R,mod(sqt(P),R)) 153592 155099444 o2(x,o2(o1(x),x)) true 108743 108743 -0.3987 0.2937 0.6961 0.4667 0.6832 -1 1 2 1 3.294 0.005941 0.00152 0.03465 0.5926 1 -0.00001855 0.008814 0.01466 0.00626 0.07912 2.283 1.829 0.01599 0.01889 1 1 0.01237 0.104 0.331 0.0265 0.2229 0.7091 json
t19_x20_u0_b6 19 20 0 6 add(R,lrg(sqt(P),R)) 153593 155099445 o2(x,o2(o1(x),x)) true 108751 108751 0.7937 1 0.7937 0.07049 0.2655 0.001146 1 0.9989 1 2.842 0.001347 0.001402 0.0313 -0.02007 1 -0.00005539 0.0006731 0.01223 0.001769 0.04206 1.344 0.223 0.039 0.009548 1 1 0.004983 0.0511 0.111 0.07068 0.7249 1.574 json
t19_x20_u0_b7 19 20 0 7 add(R,eql(sqt(P),R)) 153594 155099446 o2(x,o2(o1(x),x)) true 108759 108759 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
t19_x20_u0_b8 19 20 0 8 add(R,min(sqt(P),R)) 153595 155099447 o2(x,o2(o1(x),x)) true 108767 108767 0.002276 0.4947 0.6508 0.5354 0.7317 -1 1 2 1 4.44 0.008625 0.009568 0.0929 -0.05187 1 0.00003047 0.003107 0.02848 0.009563 0.09779 1.053 0.4602 0.03398 0.005804 1 1 0.03523 0.3966 0.9362 0.06581 0.7408 1.749 json
t19_x20_u0_b9 19 20 0 9 add(R,dot(sqt(P),R)) 153596 155099448 o2(x,o2(o1(x),x)) true 108775 108775 -0.7314 0.1347 0.9385 0.3855 0.6209 -1 1 2 1 1.381 0.006371 0.007996 0.02818 -0.1131 1 -0.00004179 0.01663 0.01949 0.01357 0.1165 4.134 2 0.03727 0.04312 1 1 0.01986 0.145 0.4566 0.05151 0.3762 1.184 json
t19_x20_u0_b10 19 20 0 10 add(R,dst(sqt(P),R)) 153597 155099449 o2(x,o2(o1(x),x)) true 108783 108783 -0.501 0.25 0.999 0.7475 0.8646 -1 1 2 1 0.8451 0.007313 0.007949 0.008028 -0.04166 1 -5.632e-11 0.0306 0.01563 0.0152 0.1233 15.35 2 0.02042 0.04094 1 1 0.02002 0.08178 0.3311 0.02679 0.1094 0.4429 json
t19_x20_u0_b11 19 20 0 11 sub(R,add(sqt(P),R)) 153598 155099450 o2(x,o2(o1(x),x)) true 108791 108791 -0.9688 0 0.9688 0.02351 0.1533 -1 -0.000291 0.9997 1 0.459 0.004319 0 0.007934 1 1 0 0.008002 0.008862 0.004255 0.06523 8.221 0.9997 0.1837 0.3404 1 1 0.00615 0.02664 0.03299 0.2616 1.133 1.403 json
t19_x20_u0_b12 19 20 0 12 sub(R,sub(sqt(P),R)) 153599 155099451 o2(x,o2(o1(x),x)) true 108799 108799 -0.9132 0.03596 0.948 0.09483 0.3079 -1 1 2 1 1.023 0.007457 0.001192 0.01871 0.7244 1 0.00001943 0.01256 0.01315 0.008293 0.09107 4.867 2 0.0912 0.1324 1 1 0.01532 0.09982 0.1951 0.1615 1.053 2.058 json