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_x6_u6_b45 19 6 6 45 pow(P,sub(nrm(R),P)) 142500 154535076 o2(x,o2(o1(x),x)) true 20007 20007 -0.4897 0.2984 0.6041 0.3446 0.5871 -1 0.9998 2 1 1.822 0.01316 0.003623 0.01431 0.5682 1 -6.478e-7 0.03395 0.01954 0.01657 0.1287 8.994 2.828 0.04869 0.09851 1 1 0.02325 0.09478 0.2609 0.06746 0.275 0.7571 json
t19_x6_u6_b46 19 6 6 46 pow(P,mlt(nrm(R),P)) 142501 154535077 o2(x,o2(o1(x),x)) true 20015 20015 -0.08344 0.4981 0.9166 0.8894 0.9431 -1 1 2 1 1.921 0.01856 0.003406 0.02489 0.6899 1 -0.00005317 0.0409 0.03271 0.02134 0.1461 5.869 2 0.0247 0.04599 1 1 0.02867 0.1229 0.3965 0.03223 0.1381 0.4458 json
t19_x6_u6_b47 19 6 6 47 pow(P,div(nrm(R),P)) 142502 154535078 o2(x,o2(o1(x),x)) true 20023 20023 -0.1276 0.4531 0.9662 0.9262 0.9624 -1 1 2 1 1.787 0.01299 0.003667 0.01418 0.5597 1 -0.00001126 0.03391 0.02021 0.01645 0.1283 9.042 2.828 0.01798 0.03662 1 1 0.02286 0.09542 0.3681 0.02469 0.103 0.3975 json
t19_x6_u6_b48 19 6 6 48 pow(P,pow(nrm(R),P)) 142503 154535079 o2(x,o2(o1(x),x)) true 20031 20031 -0.8906 0.07031 0.9688 0.1686 0.4107 -1 1 2 1 0.5964 0.0212 0.002771 0.01776 0.7688 1 -3.004e-11 0.0478 0.02846 0.02367 0.1538 8.662 2 0.1421 0.2835 1 1 0.0272 0.1109 0.228 0.1613 0.6573 1.352 json
t19_x6_u6_b49 19 6 6 49 pow(P,mod(nrm(R),P)) 142504 154535080 o2(x,o2(o1(x),x)) true 20039 20039 -0.1981 0.4375 0.9269 0.8502 0.922 -1 1 2 1 2.085 0.01642 0.0006073 0.01971 0.9287 1 -0.00009349 0.03226 0.02184 0.01663 0.129 6.544 2 0.02003 0.03794 1 1 0.02258 0.09622 0.3332 0.02656 0.1132 0.3919 json
t19_x6_u6_b50 19 6 6 50 pow(P,lrg(nrm(R),P)) 142505 154535081 o2(x,o2(o1(x),x)) true 20047 20047 -0.01367 0.5 0.9863 0.982 0.991 -1 1 2 1 1.244 0.01056 0.00005267 0.008426 0.9901 1 0.000002852 0.02084 0.01284 0.01054 0.1027 12.18 2 0.01081 0.02122 1 1 0.01414 0.06463 0.3207 0.0144 0.06582 0.3266 json
t19_x6_u6_b51 19 6 6 51 pow(P,eql(nrm(R),P)) 142506 154535082 o2(x,o2(o1(x),x)) true 20055 20055 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_x6_u6_b52 19 6 6 52 pow(P,min(nrm(R),P)) 142507 154535083 o2(x,o2(o1(x),x)) true 20063 20063 -0.1669 0.4531 0.9269 0.8618 0.9283 -1 1 2 1 2.102 0.01642 0.006654 0.02267 0.4233 1 -0.00009349 0.04586 0.02789 0.02255 0.1502 6.622 2.828 0.02678 0.05321 1 1 0.03145 0.1323 0.4356 0.03649 0.1535 0.5055 json
t19_x6_u6_b53 19 6 6 53 pow(P,dot(nrm(R),P)) 142508 154535084 o2(x,o2(o1(x),x)) true 20071 20071 -0.1757 0.4536 0.9102 0.8664 0.9308 -1 1 2 1 1.767 0.01562 0.005874 0.02388 0.4533 1 -0.000109 0.04171 0.03441 0.02092 0.1446 6.056 2.828 0.0248 0.04814 1 1 0.02579 0.1191 0.4214 0.02976 0.1374 0.4864 json
t19_x6_u6_b54 19 6 6 54 pow(P,dst(nrm(R),P)) 142509 154535085 o2(x,o2(o1(x),x)) true 20079 20079 -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_x6_u6_b55 19 6 6 55 mod(P,add(nrm(R),P)) 142510 154535086 o2(x,o2(o1(x),x)) true 20087 20087 -0.003701 0.499 0.7854 0.7125 0.8441 -1 1 2 1 3.582 0.00211 0.002179 0.03256 -0.01612 1 -0.00001217 0.002225 0.01883 0.003227 0.05681 1.745 0.4616 0.006019 0.003123 1 1 0.007139 0.06307 0.2359 0.01002 0.08852 0.3311 json
t19_x6_u6_b56 19 6 6 56 mod(P,sub(nrm(R),P)) 142511 154535087 o2(x,o2(o1(x),x)) true 20095 20095 0.008597 0.498 0.7982 0.7355 0.8576 -1 1 2 1 3.376 0.001736 0.002309 0.02962 -0.1416 1 -0.00001587 0.002159 0.01772 0.003169 0.05629 1.9 0.4246 0.005499 0.002936 1 1 0.006688 0.05719 0.2053 0.009093 0.07776 0.2791 json
t19_x6_u6_b57 19 6 6 57 mod(P,mlt(nrm(R),P)) 142512 154535088 o2(x,o2(o1(x),x)) true 20103 20103 -0.1345 0.4375 0.7478 0.6276 0.7922 -1 1 2 1 3.929 0.009805 0.001202 0.03727 0.7815 1 0.0000305 0.0175 0.02665 0.009622 0.09809 2.632 1.486 0.01754 0.02788 1 1 0.0148 0.08694 0.3329 0.02358 0.1385 0.5305 json
t19_x6_u6_b58 19 6 6 58 mod(P,div(nrm(R),P)) 142513 154535089 o2(x,o2(o1(x),x)) true 20111 20111 -0.1259 0.4375 0.1923 0.1194 0.3455 -1 0.4862 1.486 1 2.912 0.008466 0.00003564 0.01358 0.9916 1 0.000002746 0.01684 0.01697 0.008318 0.0912 6.717 1.486 0.07122 0.1411 1 1 0.01132 0.0468 0.1818 0.09485 0.3921 1.523 json
t19_x6_u6_b59 19 6 6 59 mod(P,pow(nrm(R),P)) 142514 154535090 o2(x,o2(o1(x),x)) true 20119 20119 -0.9634 0.02263 0.9686 0.03598 0.1897 -1 0.4861 1.486 1 0.4076 0.003494 0.003143 0.007914 0.05298 1 0.000009022 0.01363 0.01275 0.006573 0.08108 10.24 1.92 0.1845 0.3788 1 1 0.006191 0.027 0.07756 0.1721 0.7504 2.156 json
t19_x6_u6_b60 19 6 6 60 mod(P,mod(nrm(R),P)) 142515 154535091 o2(x,o2(o1(x),x)) true 20127 20127 -0.1269 0.4375 0.3493 0.1876 0.4331 -1 0.7963 1.796 1 4.249 0.008783 0.0003179 0.02729 0.9301 1 0.00001306 0.01688 0.02019 0.008356 0.09141 3.35 1.486 0.04851 0.08995 1 1 0.01233 0.06004 0.221 0.06571 0.32 1.178 json
t19_x6_u6_b61 19 6 6 61 mod(P,lrg(nrm(R),P)) 142516 154535092 o2(x,o2(o1(x),x)) true 20135 20135 -0.5469 0 0.5469 0.2476 0.4976 -1 0 1 1 0.9937 0.003968 0.001512 0.005452 0.4483 1 0 0.01134 0.01096 0.005451 0.07383 13.54 1.414 0.02213 0.04579 1 1 0.007479 0.02992 0.1086 0.0302 0.1208 0.4385 json
t19_x6_u6_b62 19 6 6 62 mod(P,eql(nrm(R),P)) 142517 154535093 o2(x,o2(o1(x),x)) true 20143 20143 -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_x6_u6_b63 19 6 6 63 mod(P,min(nrm(R),P)) 142518 154535094 o2(x,o2(o1(x),x)) true 20151 20151 -0.2138 0.4601 0.443 0.3126 0.5591 -1 0.7963 1.796 1 3.314 0.01049 0.001904 0.03237 0.6927 1 0.0006365 0.01847 0.02768 0.01134 0.1065 3.29 1.591 0.03965 0.05908 1 1 0.01912 0.1082 0.2716 0.06117 0.3461 0.8689 json
t19_x6_u6_b64 19 6 6 64 mod(P,dot(nrm(R),P)) 142519 154535095 o2(x,o2(o1(x),x)) true 20159 20159 0.01084 0.4918 0.7668 0.6944 0.8333 -1 1 2 1 3.64 0.003314 0.003466 0.03714 -0.02243 1 0.00008233 0.006618 0.02036 0.0054 0.07348 1.979 2.828 0.009765 0.009531 1 1 0.01288 0.1026 0.354 0.01854 0.1478 0.5099 json
t19_x6_u6_b65 19 6 6 65 mod(P,dst(nrm(R),P)) 142520 154535096 o2(x,o2(o1(x),x)) true 20167 20167 0.0007321 0.5 0.9027 0.8765 0.9362 -1 1 2 1 2.272 0.001196 0.000957 0.01565 0.1112 1 -0.000006872 0.0009571 0.007579 0.001908 0.04368 2.792 0.4437 0.002457 0.001092 1 1 0.004399 0.04288 0.2583 0.005019 0.04893 0.2947 json
t19_x6_u6_b66 19 6 6 66 lrg(P,add(nrm(R),P)) 142521 154535097 o2(x,o2(o1(x),x)) true 20175 20175 0.5176 0.9429 0.5176 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_x6_u6_b67 19 6 6 67 lrg(P,sub(nrm(R),P)) 142522 154535098 o2(x,o2(o1(x),x)) true 20183 20183 0.5039 0.5456 0.5039 0.2412 0.4911 0 1 1 1 1.415 0.0003238 0.0001053 0.004981 0.5091 1 0.000005704 0.00002256 0.001187 0.0004044 0.02011 4.037 0.1169 0.001779 0.00009352 1 1 0.001146 0.01504 0.08976 0.004753 0.06234 0.3721 json
t19_x6_u6_b68 19 6 6 68 lrg(P,mlt(nrm(R),P)) 142523 154535099 o2(x,o2(o1(x),x)) true 20191 20191 0.4688 0.5 0.4688 0.2423 0.4922 0 1 1 1 1.326 0.0003529 0 0.003968 1 1 -4.731e-10 0.00001619 0.0009276 0.0003372 0.01836 4.628 0.1169 0.001457 0.00006684 1 1 0.0009255 0.01214 0.0751 0.00382 0.05012 0.31 json
t19_x6_u6_b69 19 6 6 69 lrg(P,div(nrm(R),P)) 142524 154535100 o2(x,o2(o1(x),x)) true 20199 20199 0.5039 0.5456 0.5039 0.2412 0.4911 0 1 1 1 1.415 0.0003238 0.0001053 0.004981 0.5091 1 0.000005704 0.00002256 0.001187 0.0004044 0.02011 4.037 0.1169 0.001779 0.00009352 1 1 0.001146 0.01504 0.08976 0.004753 0.06234 0.3721 json
t19_x6_u6_b70 19 6 6 70 lrg(P,pow(nrm(R),P)) 142525 154535101 o2(x,o2(o1(x),x)) true 20207 20207 0.6973 0.9407 0.6973 0.1611 0.4014 0 1 1 1 2.432 0.001249 0.001126 0.02758 0.05192 1 -0.00001213 0.00013 0.006626 0.001615 0.04018 1.457 0.1169 0.01474 0.0008068 1 1 0.004847 0.06213 0.1947 0.03008 0.3856 1.208 json
t19_x6_u6_b71 19 6 6 71 lrg(P,mod(nrm(R),P)) 142526 154535102 o2(x,o2(o1(x),x)) true 20215 20215 0.5313 0.5625 0.5313 0.2423 0.4922 0 1 1 1 1.326 0.0003529 0 0.003968 1 1 -4.731e-10 0.00001619 0.0009276 0.0003372 0.01836 4.628 0.1169 0.001457 0.00006684 1 1 0.0009255 0.01214 0.0751 0.00382 0.05012 0.31 json
t19_x6_u6_b72 19 6 6 72 lrg(P,lrg(nrm(R),P)) 142527 154535103 o2(x,o2(o1(x),x)) true 20223 20223 0.4688 0.5 0.4688 0.2423 0.4922 0 1 1 1 1.326 0.0003529 0 0.003968 1 1 -4.731e-10 0.00001619 0.0009276 0.0003372 0.01836 4.628 0.1169 0.001457 0.00006684 1 1 0.0009255 0.01214 0.0751 0.00382 0.05012 0.31 json
t19_x6_u6_b73 19 6 6 73 lrg(P,eql(nrm(R),P)) 142528 154535104 o2(x,o2(o1(x),x)) true 20231 20231 0.4688 0.5 0.4688 0.2423 0.4922 0 1 1 1 1.326 0.0003529 0 0.003968 1 1 -4.731e-10 0.00001619 0.0009276 0.0003372 0.01836 4.628 0.1169 0.001457 0.00006684 1 1 0.0009255 0.01214 0.0751 0.00382 0.05012 0.31 json
t19_x6_u6_b74 19 6 6 74 lrg(P,min(nrm(R),P)) 142529 154535105 o2(x,o2(o1(x),x)) true 20239 20239 0.5039 0.5456 0.5039 0.2412 0.4911 0 1 1 1 1.415 0.0003238 0.0001053 0.004981 0.5091 1 0.000005704 0.00002256 0.001187 0.0004044 0.02011 4.037 0.1169 0.001779 0.00009352 1 1 0.001146 0.01504 0.08976 0.004753 0.06234 0.3721 json
t19_x6_u6_b75 19 6 6 75 lrg(P,dot(nrm(R),P)) 142530 154535106 o2(x,o2(o1(x),x)) true 20247 20247 0.5 0.7669 0.5 0.1916 0.4377 0 1 1 1 2.786 0.00131 0.001393 0.03177 -0.03075 1 0.00001711 0.0001585 0.007708 0.001693 0.04115 1.295 0.1169 0.01411 0.0008274 1 1 0.005206 0.06733 0.2171 0.02717 0.3515 1.134 json
t19_x6_u6_b76 19 6 6 76 lrg(P,dst(nrm(R),P)) 142531 154535107 o2(x,o2(o1(x),x)) true 20255 20255 0.0625 0.1337 0.0625 0.04361 0.2088 0 1 1 1 0.8687 0.0003015 0.00038 0.008025 -0.1152 1 0.000005704 0.00004134 0.001967 0.0006173 0.02485 3.096 0.1169 0.01563 0.0009481 1 1 0.001622 0.02122 0.07475 0.0372 0.4867 1.714 json
t19_x6_u6_b77 19 6 6 77 eql(P,add(nrm(R),P)) 142532 154535108 o2(x,o2(o1(x),x)) true 20263 20263 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_x6_u6_b78 19 6 6 78 eql(P,sub(nrm(R),P)) 142533 154535109 o2(x,o2(o1(x),x)) true 20271 20271 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_x6_u6_b79 19 6 6 79 eql(P,mlt(nrm(R),P)) 142534 154535110 o2(x,o2(o1(x),x)) true 20279 20279 0.0625 0.125 0.0625 0.04507 0.2123 0 0.9997 0.9997 1 0.8126 0.0007059 0 0.007934 1 1 -9.461e-10 0.00003241 0.001855 0.0006433 0.02536 3.197 0.1169 0.01566 0.0007193 1 1 0.001851 0.02408 0.06598 0.04107 0.5344 1.464 json
t19_x6_u6_b80 19 6 6 80 eql(P,div(nrm(R),P)) 142535 154535111 o2(x,o2(o1(x),x)) true 20287 20287 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_x6_u6_b81 19 6 6 81 eql(P,pow(nrm(R),P)) 142536 154535112 o2(x,o2(o1(x),x)) true 20295 20295 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_x6_u6_b82 19 6 6 82 eql(P,mod(nrm(R),P)) 142537 154535113 o2(x,o2(o1(x),x)) true 20303 20303 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_x6_u6_b83 19 6 6 83 eql(P,lrg(nrm(R),P)) 142538 154535114 o2(x,o2(o1(x),x)) true 20311 20311 0.03516 0.09119 0.03516 0.02431 0.1559 0 0.9997 0.9997 1 0.5835 0.0003631 0.0001053 0.005422 0.5502 1 0.000005704 0.00002431 0.001291 0.0004388 0.02095 3.863 0.1169 0.01927 0.001 1 1 0.001224 0.01595 0.05043 0.05036 0.656 2.074 json
t19_x6_u6_b84 19 6 6 84 eql(P,eql(nrm(R),P)) 142539 154535115 o2(x,o2(o1(x),x)) true 20319 20319 0.0625 0.125 0.0625 0.04507 0.2123 0 0.9997 0.9997 1 0.8126 0.0007059 0 0.007934 1 1 -9.461e-10 0.00003241 0.001855 0.0006433 0.02536 3.197 0.1169 0.01566 0.0007193 1 1 0.001851 0.02408 0.06598 0.04107 0.5344 1.464 json
t19_x6_u6_b85 19 6 6 85 eql(P,min(nrm(R),P)) 142540 154535116 o2(x,o2(o1(x),x)) true 20327 20327 0.4961 0.5378 0.4961 0.2412 0.4911 0 1 1 1 1.415 0.0003238 0.0001053 0.004981 0.5091 1 -0.000005705 0.00002256 0.001187 0.0004044 0.02011 4.037 0.1169 0.001779 0.00009352 1 1 0.001146 0.01504 0.08976 0.004753 0.06234 0.3721 json
t19_x6_u6_b86 19 6 6 86 eql(P,dot(nrm(R),P)) 142541 154535117 o2(x,o2(o1(x),x)) true 20335 20335 0.003906 0.01477 0.003906 0.002383 0.04882 0 0.9994 0.9994 1 0.1068 0.00003512 0.00003512 0.0008419 7.252e-7 0 -5.638e-14 0.000004222 0.000206 0.00006942 0.008332 9.897 0.1169 0.02947 0.001772 1 1 0.0002443 0.003178 0.008708 0.1025 1.334 3.654 json
t19_x6_u6_b87 19 6 6 87 eql(P,dst(nrm(R),P)) 142542 154535118 o2(x,o2(o1(x),x)) true 20343 20343 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_x6_u6_b88 19 6 6 88 min(P,add(nrm(R),P)) 142543 154535119 o2(x,o2(o1(x),x)) true 20351 20351 -0.03211 0.4817 0.9458 0.9273 0.963 -1 1 2 1 1.893 0.0008385 0.00008291 0.008765 0.82 1 -0.00001174 0.00008549 0.002376 0.0008444 0.02906 3.315 0.2086 0.0009937 0.00009219 1 1 0.002393 0.03014 0.2485 0.002581 0.0325 0.2679 json
t19_x6_u6_b89 19 6 6 89 min(P,sub(nrm(R),P)) 142544 154535120 o2(x,o2(o1(x),x)) true 20359 20359 -0.9431 0 0.9431 0.03359 0.1833 -1 -0.00001832 1 1 0.94 0.0005293 0.0001522 0.007452 0.5534 1 -0.000003755 0.0001313 0.002408 0.000626 0.02502 3.357 0.2881 0.02029 0.003909 1 1 0.001777 0.02004 0.05995 0.05291 0.5965 1.785 json
t19_x6_u6_b90 19 6 6 90 min(P,mlt(nrm(R),P)) 142545 154535121 o2(x,o2(o1(x),x)) true 20367 20367 -0.5069 0.2323 0.8323 0.531 0.7287 -1 1 2 1 2.645 0.009417 0.009854 0.0521 -0.02267 1 -0.00002136 0.01018 0.02637 0.01655 0.1286 2.469 1.316 0.03629 0.01916 1 1 0.0253 0.2436 0.6382 0.04765 0.4587 1.202 json
t19_x6_u6_b91 19 6 6 91 min(P,div(nrm(R),P)) 142546 154535122 o2(x,o2(o1(x),x)) true 20375 20375 -0.5384 0.2057 0.594 0.262 0.5119 -1 0.9368 1.937 1 2.587 0.005499 0.002543 0.0165 0.3676 1 -0.000009783 0.01535 0.01435 0.007771 0.08815 5.342 2.42 0.03069 0.05857 1 1 0.01124 0.05348 0.1517 0.04289 0.2041 0.5791 json
t19_x6_u6_b92 19 6 6 92 min(P,pow(nrm(R),P)) 142547 154535123 o2(x,o2(o1(x),x)) true 20383 20383 -0.08369 0.4996 0.8538 0.8107 0.9004 -1 1 2 1 2.604 0.002151 0.002283 0.02539 -0.02975 1 -0.0001371 0.002184 0.01395 0.003788 0.06154 2.424 0.4702 0.00547 0.002694 1 1 0.007235 0.06587 0.2652 0.008925 0.08125 0.3272 json
t19_x6_u6_b93 19 6 6 93 min(P,mod(nrm(R),P)) 142548 154535124 o2(x,o2(o1(x),x)) true 20391 20391 -0.4814 0.2334 0.65 0.3243 0.5695 -1 0.9368 1.937 1 3.601 0.001701 0.001313 0.03405 0.1287 1 -0.00002162 0.0001786 0.007981 0.001855 0.04307 1.265 0.2109 0.009295 0.0005506 1 1 0.005738 0.0747 0.2535 0.01769 0.2303 0.7815 json
t19_x6_u6_b94 19 6 6 94 min(P,lrg(nrm(R),P)) 142549 154535125 o2(x,o2(o1(x),x)) true 20399 20399 -0.4688 0 0.4688 0.2423 0.4922 -1 0 1 1 1.406 0.0003529 0 0.003968 1 1 4.731e-10 0.00001619 0.0009276 0.0003372 0.01836 4.628 0.1169 0.001457 0.00006684 1 1 0.0009255 0.01214 0.0751 0.00382 0.05012 0.31 json
t19_x6_u6_b95 19 6 6 95 min(P,eql(nrm(R),P)) 142550 154535126 o2(x,o2(o1(x),x)) true 20407 20407 -0.4688 0 0.4688 0.2423 0.4922 -1 0 1 1 1.406 0.0003529 0 0.003968 1 1 4.731e-10 0.00001619 0.0009276 0.0003372 0.01836 4.628 0.1169 0.001457 0.00006684 1 1 0.0009255 0.01214 0.0751 0.00382 0.05012 0.31 json
t19_x6_u6_b96 19 6 6 96 min(P,min(nrm(R),P)) 142551 154535127 o2(x,o2(o1(x),x)) true 20415 20415 -0.5032 0.2194 0.6672 0.3165 0.5626 -1 0.9368 1.937 1 3.599 0.001691 0.001359 0.03412 0.1089 1 -0.00002519 0.0001814 0.007957 0.001885 0.04342 1.272 0.2109 0.009635 0.0005732 1 1 0.005869 0.07637 0.2441 0.01854 0.2413 0.7715 json
t19_x6_u6_b97 19 6 6 97 min(P,dot(nrm(R),P)) 142552 154535128 o2(x,o2(o1(x),x)) true 20423 20423 -0.5294 0.236 0.9033 0.595 0.7714 -1 1 2 1 2.053 0.01151 0.01371 0.05213 -0.08719 1 0.00002422 0.01737 0.03339 0.0225 0.15 2.877 1.666 0.04238 0.0292 1 1 0.03253 0.2766 0.7844 0.05466 0.4648 1.318 json
t19_x6_u6_b98 19 6 6 98 min(P,dst(nrm(R),P)) 142553 154535129 o2(x,o2(o1(x),x)) true 20431 20431 -0.001062 0.5 0.9364 0.9224 0.9604 -1 1 2 1 1.837 0.0006982 0.000003832 0.007996 0.9891 1 1.347e-10 0.00003521 0.001904 0.0006386 0.02527 3.16 0.1179 0.0007611 0.00003817 1 1 0.001836 0.02419 0.232 0.00199 0.02622 0.2516 json
t19_x6_u6_b99 19 6 6 99 dot(P,add(nrm(R),P)) 142554 154535130 o2(x,o2(o1(x),x)) true 20439 20439 0.997 1 0.997 0.001883 0.0434 0.0006288 1 0.9994 1 0.08641 0.0000447 0.00006581 0.0008812 -0.191 1 4.881e-11 0.00003813 0.0004628 0.0001098 0.01048 11.89 0.2308 0.05867 0.02025 1 1 0.0003631 0.003546 0.006875 0.1928 1.883 3.65 json
t19_x6_u6_b100 19 6 6 100 dot(P,sub(nrm(R),P)) 142555 154535131 o2(x,o2(o1(x),x)) true 20447 20447 -0.9936 0 0.9936 0.003866 0.06218 -1 -0.0002689 0.9997 1 0.155 0.00007448 0.00008283 0.001311 -0.05307 1 1.051e-10 0.00006965 0.0007125 0.0001557 0.01248 9.521 0.2571 0.04069 0.01801 1 1 0.0005036 0.004627 0.01392 0.1303 1.197 3.601 json
t19_x6_u6_b101 19 6 6 101 dot(P,mlt(nrm(R),P)) 142556 154535132 o2(x,o2(o1(x),x)) true 20455 20455 0.05946 0.5304 0.948 0.9281 0.9634 -1 1 2 1 1.784 0.07552 0.0864 0.1148 -0.06725 1 -0.0000496 0.3409 0.1766 0.1487 0.3856 3.36 2.828 0.1745 0.3673 1 1 0.1568 0.8178 1.751 0.169 0.8811 1.886 json
t19_x6_u6_b102 19 6 6 102 dot(P,div(nrm(R),P)) 142557 154535133 o2(x,o2(o1(x),x)) true 20463 20463 -0.2624 0.342 0.6279 0.4479 0.6692 -1 1 2 1 4.298 0.01613 0.01908 0.07812 -0.08392 1 0.00003751 0.05526 0.0493 0.02911 0.1706 2.184 2.828 0.07861 0.1234 1 1 0.04627 0.2776 0.8007 0.1033 0.6197 1.788 json
t19_x6_u6_b103 19 6 6 103 dot(P,pow(nrm(R),P)) 142558 154535134 o2(x,o2(o1(x),x)) true 20471 20471 -0.9866 0.007813 0.9978 0.02338 0.1529 -1 1 2 1 0.09095 0.002913 0.001569 0.002872 0.2998 1 9.011e-11 0.009251 0.005185 0.004472 0.06687 23.29 2.828 0.1917 0.3957 1 1 0.007949 0.03341 0.08561 0.34 1.429 3.662 json
t19_x6_u6_b104 19 6 6 104 dot(P,mod(nrm(R),P)) 142559 154535135 o2(x,o2(o1(x),x)) true 20479 20479 -0.3272 0.3361 0.9106 0.7757 0.8807 -1 1 2 1 2.174 0.03657 0.03947 0.093 -0.03817 1 0.00004544 0.0958 0.0912 0.06736 0.2595 2.791 2.245 0.09802 0.1235 1 1 0.08997 0.5456 1.259 0.116 0.7034 1.624 json
t19_x6_u6_b105 19 6 6 105 dot(P,lrg(nrm(R),P)) 142560 154535136 o2(x,o2(o1(x),x)) true 20487 20487 -0.7179 0 0.7179 0.1955 0.4421 -1 0 1 1 1.263 0.0001877 0.0001877 0.00417 0.000001628 1 5.134e-10 0.00002276 0.0009958 0.0003579 0.01892 4.537 0.1628 0.00192 0.0001164 1 1 0.001001 0.01303 0.08014 0.005121 0.06664 0.41 json
t19_x6_u6_b106 19 6 6 106 dot(P,eql(nrm(R),P)) 142561 154535137 o2(x,o2(o1(x),x)) true 20495 20495 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_x6_u6_b107 19 6 6 107 dot(P,min(nrm(R),P)) 142562 154535138 o2(x,o2(o1(x),x)) true 20503 20503 0.7126 0.8618 0.9383 0.4112 0.6413 -1 1 2 1 1.482 0.009509 0.009794 0.03698 -0.01475 1 0.00001185 0.01453 0.02547 0.01793 0.1339 3.621 2 0.04694 0.03533 1 1 0.02385 0.204 0.5145 0.058 0.4961 1.251 json
t19_x6_u6_b108 19 6 6 108 dot(P,dot(nrm(R),P)) 142563 154535139 o2(x,o2(o1(x),x)) true 20511 20511 0.07492 0.5338 0.9177 0.8893 0.943 -1 1 2 1 2.098 0.06016 0.07547 0.106 -0.1129 1 -0.0001654 0.2803 0.1513 0.1244 0.3527 3.328 2.828 0.1525 0.3152 1 1 0.1317 0.7059 1.663 0.1481 0.7938 1.87 json
t19_x6_u6_b109 19 6 6 109 dot(P,dst(nrm(R),P)) 142564 154535140 o2(x,o2(o1(x),x)) true 20519 20519 0.001124 0.5004 0.9781 0.9718 0.9858 -1 1 2 1 1.367 0.003099 0.0031 0.01212 -0.0002625 1 -4.442e-7 0.0063 0.009058 0.006056 0.07782 6.423 1.564 0.006379 0.006483 1 1 0.01177 0.09422 0.5326 0.01211 0.09695 0.548 json
t19_x6_u6_b110 19 6 6 110 dst(P,add(nrm(R),P)) 142565 154535141 o2(x,o2(o1(x),x)) true 20527 20527 1 1 1 4.647e-15 6.817e-8 1 1 3.576e-7 1 0 2.365e-16 2.166e-16 7.362e-9 0.00001992 0 9.24e-9 3.862e-15 1.62e-8 3.986e-16 1.996e-8 2.712 1.333e-7 0.000453 0.003862 0 1 4.281e-16 2.319e-15 4.842e-15 0.0004281 0.002319 0.004842 json
t19_x6_u6_b111 19 6 6 111 dst(P,sub(nrm(R),P)) 142566 154535142 o2(x,o2(o1(x),x)) true 20535 20535 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_x6_u6_b112 19 6 6 112 dst(P,mlt(nrm(R),P)) 142567 154535143 o2(x,o2(o1(x),x)) true 20543 20543 0.992 1 0.992 0.003666 0.06054 0.0005115 1 0.9995 1 0.2396 0.0001123 0.0001108 0.002169 0.006365 1 -6.382e-11 0.0001116 0.001383 0.0002184 0.01478 6.815 0.2537 0.06087 0.03045 1 1 0.0007012 0.005774 0.0119 0.1913 1.575 3.245 json
t19_x6_u6_b113 19 6 6 113 dst(P,div(nrm(R),P)) 142568 154535144 o2(x,o2(o1(x),x)) true 20551 20551 -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_x6_u6_b114 19 6 6 114 dst(P,pow(nrm(R),P)) 142569 154535145 o2(x,o2(o1(x),x)) true 20559 20559 -0.9766 0.01172 1 0.0463 0.2152 -1 1 2 1 0.09198 0.006047 0.004031 0.005002 0.2 1 0 0.02116 0.01008 0.01005 0.1002 20.04 2.828 0.2177 0.4571 1 1 0.01773 0.07091 0.1684 0.3829 1.532 3.638 json
t19_x6_u6_b115 19 6 6 115 dst(P,mod(nrm(R),P)) 142570 154535146 o2(x,o2(o1(x),x)) true 20567 20567 0.5312 0.7656 0.9999 0.7172 0.8469 -1 1 2 1 0.7903 0.02762 0.02764 0.02769 -0.0003394 1 2.178e-10 0.111 0.05536 0.05449 0.2334 8.431 2.828 0.07706 0.1548 1 1 0.06975 0.2796 1.12 0.09726 0.3899 1.562 json
t19_x6_u6_b116 19 6 6 116 dst(P,lrg(nrm(R),P)) 142571 154535147 o2(x,o2(o1(x),x)) true 20575 20575 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_x6_u6_b117 19 6 6 117 dst(P,eql(nrm(R),P)) 142572 154535148 o2(x,o2(o1(x),x)) true 20583 20583 0.9964 1 0.9964 0.002289 0.04784 0.000582 1 0.9994 1 0.09109 0.00003966 0.00003966 0.0008105 5.503e-7 0 -4.881e-11 0.00001004 0.0002297 0.00007859 0.008865 10.94 0.1294 0.03466 0.004388 1 1 0.0002733 0.00336 0.008351 0.1194 1.468 3.649 json
t19_x6_u6_b118 19 6 6 118 dst(P,min(nrm(R),P)) 142573 154535149 o2(x,o2(o1(x),x)) true 20591 20591 0.8003 0.99 0.8003 0.1164 0.3412 0 1 1 1 1.993 0.0004565 0.0004294 0.01284 0.03052 1 0.000007353 0.000117 0.003636 0.0007207 0.02685 2.091 0.2005 0.00761 0.001005 1 1 0.002198 0.0254 0.07921 0.01888 0.2182 0.6804 json
t19_x6_u6_b119 19 6 6 119 dst(P,dot(nrm(R),P)) 142574 154535150 o2(x,o2(o1(x),x)) true 20599 20599 0.9971 1 0.9971 0.001838 0.04288 0.0006057 1 0.9994 1 0.07662 0.00005811 0.00003639 0.0007522 0.2298 0 1.314e-11 0.00002382 0.0003201 0.00009388 0.009689 12.88 0.2101 0.0514 0.01296 1 1 0.0003157 0.003284 0.006705 0.1717 1.787 3.647 json
t19_x6_u6_b120 19 6 6 120 dst(P,dst(nrm(R),P)) 142575 154535151 o2(x,o2(o1(x),x)) true 20607 20607 0.9999 1 0.9999 0.00001458 0.003818 0.819 1 0.181 1 0.01011 0.000001875 0.000001986 0.00006279 -0.02888 0 3.004e-11 0.000003687 0.00006446 0.000003856 0.001964 31.27 0.09786 0.2649 0.2529 1 1 0.00001108 0.0000527 0.00005299 0.7604 3.615 3.635 json
t19_x7_u0_b0 19 7 0 0 add(P,add(sqt(R),D)) 142576 154574226 o2(x,o2(o1(x),x)) true 20615 20615 -0.9771 0.01125 0.9946 0.03785 0.1946 -1 1 2 1 0.1932 0.002575 0.004587 0.004911 -0.2809 1 2.102e-10 0.01485 0.008671 0.00714 0.0845 17.21 2.828 0.1892 0.3923 1 1 0.002001 0.01157 0.03762 0.05285 0.3056 0.9939 json
t19_x7_u0_b1 19 7 0 1 add(P,sub(sqt(R),D)) 142577 154574227 o2(x,o2(o1(x),x)) true 20623 20623 -0.9769 0.01051 0.9942 0.03816 0.1953 -1 1 2 1 0.1801 0.002668 0.004559 0.005155 -0.2617 1 0 0.01483 0.008914 0.007201 0.08486 16.46 2.828 0.1894 0.3886 1 1 0.002362 0.01367 0.04048 0.0619 0.3583 1.061 json
t19_x7_u0_b2 19 7 0 2 add(P,mlt(sqt(R),D)) 142578 154574228 o2(x,o2(o1(x),x)) true 20631 20631 -0.9844 0.007813 0.9959 0.02567 0.1602 -1 1 2 1 0.1369 0.00202 0.003091 0.003342 -0.2095 1 4.13e-11 0.01072 0.005834 0.0051 0.07141 21.37 2.787 0.1991 0.4177 1 1 0.0005969 0.004156 0.02263 0.02326 0.1619 0.8818 json
t19_x7_u0_b3 19 7 0 3 add(P,div(sqt(R),D)) 142579 154574229 o2(x,o2(o1(x),x)) true 20639 20639 -0.9748 0.01244 0.9979 0.04698 0.2167 -1 1 2 1 0.1417 0.01416 0.004875 0.01141 0.4878 1 0.0001863 0.0407 0.01991 0.0189 0.1375 12.05 2.828 0.4052 0.8663 1 1 0.01117 0.03445 0.06812 0.2378 0.7333 1.45 json
t19_x7_u0_b4 19 7 0 4 add(P,pow(sqt(R),D)) 142580 154574230 o2(x,o2(o1(x),x)) true 20647 20647 -0.9744 0.01248 0.9943 0.04365 0.2089 -1 1 2 1 0.1833 0.002857 0.005281 0.005441 -0.2979 1 0 0.01676 0.00962 0.008107 0.09004 16.55 2.828 0.1864 0.3839 1 1 0.00293 0.01652 0.04807 0.06714 0.3784 1.101 json
t19_x7_u0_b5 19 7 0 5 add(P,mod(sqt(R),D)) 142581 154574231 o2(x,o2(o1(x),x)) true 20655 20655 -0.9832 0.009033 0.996 0.02852 0.1689 -1 1 2 1 0.1309 0.002146 0.003461 0.003806 -0.2347 1 -2.703e-10 0.01172 0.007104 0.005591 0.07477 19.65 2.828 0.1966 0.4108 1 1 0.0007425 0.00519 0.02527 0.02604 0.182 0.8861 json
t19_x7_u0_b6 19 7 0 6 add(P,lrg(sqt(R),D)) 142582 154574232 o2(x,o2(o1(x),x)) true 20663 20663 0.1223 0.5602 0.938 0.9086 0.9532 -1 1 2 1 1.811 0.001054 0.0000168 0.008882 0.9686 1 3.701e-7 0.0007046 0.003375 0.0009918 0.03149 3.546 0.9858 0.001178 0.0007754 1 1 0.002462 0.02727 0.2358 0.002709 0.03001 0.2595 json
t19_x7_u0_b7 19 7 0 7 add(P,eql(sqt(R),D)) 142583 154574233 o2(x,o2(o1(x),x)) true 20671 20671 0 0.5 0.9375 0.924 0.9612 -1 1 2 1 1.813 0.0007059 0 0.007937 1 1 0 0.00003235 0.001851 0.0006432 0.02536 3.195 0.1169 0.0007639 0.00003501 1 1 0.001851 0.02449 0.2344 0.002003 0.0265 0.2537 json
t19_x7_u0_b8 19 7 0 8 add(P,min(sqt(R),D)) 142584 154574234 o2(x,o2(o1(x),x)) true 20679 20679 -0.0005369 0.5 0.9379 0.9171 0.9577 -1 1 2 1 1.977 0.0004922 9.282e-7 0.007944 0.9962 1 4.01e-8 0.00001622 0.0005869 0.0004299 0.02073 2.61 0.1056 0.0005377 0.00001768 1 1 0.001301 0.0195 0.2256 0.001419 0.02127 0.246 json
t19_x7_u0_b9 19 7 0 9 add(P,dot(sqt(R),D)) 142585 154574235 o2(x,o2(o1(x),x)) true 20687 20687 -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_x7_u0_b10 19 7 0 10 add(P,dst(sqt(R),D)) 142586 154574236 o2(x,o2(o1(x),x)) true 20695 20695 -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_x7_u0_b11 19 7 0 11 sub(P,add(sqt(R),D)) 142587 154574237 o2(x,o2(o1(x),x)) true 20703 20703 -0.9888 0.005371 0.9971 0.01837 0.1355 -1 1 2 1 0.1074 0.001387 0.002139 0.002515 -0.2132 1 1.502e-11 0.007288 0.004379 0.003518 0.05931 23.58 2 0.1919 0.3967 1 1 0.0001542 0.001087 0.0159 0.008395 0.05919 0.8656 json
t19_x7_u0_b12 19 7 0 12 sub(P,sub(sqt(R),D)) 142588 154574238 o2(x,o2(o1(x),x)) true 20711 20711 -0.9891 0.004395 0.997 0.01781 0.1334 -1 1 2 1 0.1004 0.001323 0.002064 0.002316 -0.2188 1 4.13e-11 0.007108 0.004165 0.003381 0.05815 25.11 2 0.1902 0.3992 1 1 0.0001202 0.0008526 0.01538 0.006749 0.04788 0.8639 json
t19_x7_u0_b13 19 7 0 13 sub(P,mlt(sqt(R),D)) 142589 154574239 o2(x,o2(o1(x),x)) true 20719 20719 -0.9843 0.007813 0.9962 0.02671 0.1634 -1 1 2 1 0.1246 0.002088 0.003224 0.003486 -0.214 1 6.007e-11 0.01101 0.006051 0.0053 0.0728 20.88 2.828 0.1989 0.4123 1 1 0.0006389 0.004454 0.0236 0.02392 0.1668 0.8836 json
t19_x7_u0_b14 19 7 0 14 sub(P,div(sqt(R),D)) 142590 154574240 o2(x,o2(o1(x),x)) true 20727 20727 -0.9731 0.01347 0.9979 0.05017 0.224 -1 1 2 1 0.1488 0.01605 0.005336 0.01309 0.5009 1 0.000001346 0.04608 0.02236 0.02121 0.1456 11.13 2.828 0.4262 0.9185 1 1 0.01523 0.04544 0.08447 0.3036 0.9058 1.684 json
t19_x7_u0_b15 19 7 0 15 sub(P,pow(sqt(R),D)) 142591 154574241 o2(x,o2(o1(x),x)) true 20735 20735 -0.9901 0.003906 0.9979 0.01714 0.1309 -1 1 2 1 0.08201 0.001277 0.001971 0.002136 -0.2136 1 3.754e-12 0.006784 0.003859 0.003243 0.05694 26.66 2 0.1895 0.3958 1 1 0.00008374 0.0005972 0.01475 0.004886 0.03484 0.8608 json
t19_x7_u0_b16 19 7 0 16 sub(P,mod(sqt(R),D)) 142592 154574242 o2(x,o2(o1(x),x)) true 20743 20743 -0.9855 0.006592 0.9961 0.02418 0.1555 -1 1 2 1 0.1148 0.002121 0.002895 0.003388 -0.1545 1 -9.761e-11 0.0106 0.006323 0.005005 0.07074 20.88 2.793 0.2075 0.4383 1 1 0.000506 0.003527 0.02125 0.02093 0.1459 0.879 json
t19_x7_u0_b17 19 7 0 17 sub(P,lrg(sqt(R),D)) 142593 154574243 o2(x,o2(o1(x),x)) true 20751 20751 -0.1225 0.4375 0.9388 0.9112 0.9546 -1 1 2 1 1.78 0.001002 0.00001661 0.008099 0.9674 1 -4.568e-7 0.0006579 0.003009 0.000953 0.03087 3.812 0.9994 0.001118 0.0007221 1 1 0.002306 0.02633 0.2403 0.00253 0.0289 0.2637 json
t19_x7_u0_b18 19 7 0 18 sub(P,eql(sqt(R),D)) 142594 154574244 o2(x,o2(o1(x),x)) true 20759 20759 0 0.5 0.9375 0.924 0.9612 -1 1 2 1 1.813 0.0007059 0 0.007937 1 1 0 0.00003235 0.001851 0.0006432 0.02536 3.195 0.1169 0.0007639 0.00003501 1 1 0.001851 0.02449 0.2344 0.002003 0.0265 0.2537 json
t19_x7_u0_b19 19 7 0 19 sub(P,min(sqt(R),D)) 142595 154574245 o2(x,o2(o1(x),x)) true 20767 20767 0.0005358 0.5002 0.9372 0.9249 0.9617 -1 1 2 1 1.783 0.001322 9.23e-7 0.01101 0.9986 1 -2.734e-8 0.0002472 0.005041 0.001202 0.03467 3.147 0.1839 0.00143 0.0002672 1 1 0.003341 0.03319 0.2357 0.003612 0.03589 0.2548 json
t19_x7_u0_b20 19 7 0 20 sub(P,dot(sqt(R),D)) 142596 154574246 o2(x,o2(o1(x),x)) true 20775 20775 -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_x7_u0_b21 19 7 0 21 sub(P,dst(sqt(R),D)) 142597 154574247 o2(x,o2(o1(x),x)) true 20783 20783 -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_x7_u0_b22 19 7 0 22 mlt(P,add(sqt(R),D)) 142598 154574248 o2(x,o2(o1(x),x)) true 20791 20791 -0.9849 0.007309 0.995 0.02374 0.1541 -1 1 2 1 0.1512 0.001963 0.00284 0.00352 -0.1826 1 -7.509e-12 0.01005 0.006072 0.004791 0.06922 19.66 2.686 0.2024 0.4233 1 1 0.0005937 0.003583 0.02129 0.02501 0.151 0.8968 json
t19_x7_u0_b23 19 7 0 23 mlt(P,sub(sqt(R),D)) 142599 154574249 o2(x,o2(o1(x),x)) true 20799 20799 -0.9828 0.007996 0.9951 0.02797 0.1672 -1 1 2 1 0.1682 0.002005 0.003394 0.003796 -0.2572 1 1.089e-10 0.01116 0.006558 0.005384 0.07337 19.33 2.775 0.193 0.3989 1 1 0.0007588 0.005113 0.025 0.02713 0.1828 0.8939 json