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_x8_u6_b51 19 8 6 51 pow(P,eql(nrm(R),R)) 144200 154615884 o2(x,o2(o1(x),x)) true 33607 33607 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_x8_u6_b52 19 8 6 52 pow(P,min(nrm(R),R)) 144201 154615885 o2(x,o2(o1(x),x)) true 33615 33615 -0.1812 0.4531 0.9126 0.8391 0.916 -1 1 2 1 2.221 0.01352 0.004258 0.02265 0.5211 1 -0.00006064 0.03438 0.02465 0.01726 0.1314 5.8 2.828 0.02119 0.04097 1 1 0.02434 0.1083 0.3835 0.02901 0.1291 0.457 json
t19_x8_u6_b53 19 8 6 53 pow(P,dot(nrm(R),R)) 144202 154615886 o2(x,o2(o1(x),x)) true 33623 33623 -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_x8_u6_b54 19 8 6 54 pow(P,dst(nrm(R),R)) 144203 154615887 o2(x,o2(o1(x),x)) true 33631 33631 -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_x8_u6_b55 19 8 6 55 mod(P,add(nrm(R),R)) 144204 154615888 o2(x,o2(o1(x),x)) true 33639 33639 0.01225 0.4983 0.4429 0.2783 0.5275 -1 1 2 1 4.913 0.001444 0.001075 0.03823 0.1464 1 -0.00001404 0.0002545 0.009602 0.001057 0.0325 0.8501 0.1901 0.00905 0.0009144 1 1 0.004687 0.05828 0.1961 0.01684 0.2094 0.7048 json
t19_x8_u6_b56 19 8 6 56 mod(P,sub(nrm(R),R)) 144205 154615889 o2(x,o2(o1(x),x)) true 33647 33647 -0.001788 0.4948 0.06069 0.007441 0.08626 -0.3855 0.3855 0.771 1 2.448 0.00005207 0.00005781 0.007281 -0.05222 1 -0.000002115 0.000006467 0.001682 0.00005686 0.007541 1.036 0.04484 0.01477 0.0008692 1 1 0.0001673 0.002152 0.006214 0.02248 0.2892 0.8351 json
t19_x8_u6_b57 19 8 6 57 mod(P,mlt(nrm(R),R)) 144206 154615890 o2(x,o2(o1(x),x)) true 33655 33655 -0.007022 0.4957 0.1462 0.03713 0.1927 -0.6626 0.6369 1.3 1 3.647 0.0002473 0.0002446 0.01682 0.005549 1 0.00001034 0.00002943 0.003921 0.0002092 0.01446 0.8601 0.07445 0.01325 0.0007927 1 1 0.0009038 0.01164 0.03283 0.02434 0.3136 0.8842 json
t19_x8_u6_b58 19 8 6 58 mod(P,div(nrm(R),R)) 144207 154615891 o2(x,o2(o1(x),x)) true 33663 33663 0.007357 0.498 0.4618 0.2912 0.5397 -1 1 2 1 4.939 0.001131 0.001166 0.03525 -0.01545 1 -0.00001269 0.000341 0.00929 0.001055 0.03248 0.9215 0.3979 0.007888 0.001171 1 1 0.004118 0.05148 0.1992 0.01414 0.1768 0.6841 json
t19_x8_u6_b59 19 8 6 59 mod(P,pow(nrm(R),R)) 144208 154615892 o2(x,o2(o1(x),x)) true 33671 33671 -0.9666 0.007568 0.9709 0.02896 0.1702 -1 0.7264 1.726 1 0.4365 0.002636 0.003055 0.007379 -0.07373 1 5.601e-7 0.01179 0.01279 0.005639 0.0751 10.18 1.865 0.1965 0.4071 1 1 0.003525 0.01579 0.04473 0.1217 0.5453 1.544 json
t19_x8_u6_b60 19 8 6 60 mod(P,mod(nrm(R),R)) 144209 154615893 o2(x,o2(o1(x),x)) true 33679 33679 -0.005949 0.496 0.1528 0.04184 0.2046 -0.6595 0.7686 1.428 1 3.718 0.0002698 0.0002622 0.01729 0.01422 1 0.00001574 0.00003151 0.004008 0.0002333 0.01527 0.8836 0.07834 0.01272 0.000753 1 1 0.0009048 0.01169 0.03419 0.02162 0.2795 0.8171 json
t19_x8_u6_b61 19 8 6 61 mod(P,lrg(nrm(R),R)) 144210 154615894 o2(x,o2(o1(x),x)) true 33687 33687 -0.9688 0 0.9688 0.03027 0.174 -1 0 1 1 0.2006 0.002708 0.00296 0.005641 -0.04444 1 0 0.01184 0.01134 0.005636 0.07507 13.31 1.414 0.1873 0.3912 1 1 0.004986 0.02061 0.0574 0.1647 0.6808 1.896 json
t19_x8_u6_b62 19 8 6 62 mod(P,eql(nrm(R),R)) 144211 154615895 o2(x,o2(o1(x),x)) true 33695 33695 -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_x8_u6_b63 19 8 6 63 mod(P,min(nrm(R),R)) 144212 154615896 o2(x,o2(o1(x),x)) true 33703 33703 0.01115 0.497 0.2235 0.07592 0.2755 -0.7962 0.7963 1.592 1 4.178 0.000421 0.0003554 0.02177 0.08458 1 0.00001464 0.00004801 0.005098 0.0003025 0.01739 0.7989 0.09291 0.01023 0.0006324 1 1 0.001409 0.01816 0.05554 0.01856 0.2392 0.7315 json
t19_x8_u6_b64 19 8 6 64 mod(P,dot(nrm(R),R)) 144213 154615897 o2(x,o2(o1(x),x)) true 33711 33711 -0.01163 0.4989 0.5153 0.3391 0.5823 -1 1 2 1 4.955 0.001156 0.0008498 0.03506 0.1525 1 -0.000006695 0.0001443 0.008261 0.0007763 0.02786 0.7947 0.1677 0.005914 0.0004255 1 1 0.003825 0.04885 0.2076 0.01128 0.1441 0.6124 json
t19_x8_u6_b65 19 8 6 65 mod(P,dst(nrm(R),R)) 144214 154615898 o2(x,o2(o1(x),x)) true 33719 33719 -0.008135 0.4957 0.1099 0.02063 0.1436 -0.5151 0.6936 1.209 1 3.223 0.0001161 0.0001253 0.01122 -0.03818 1 -0.000001037 0.00001429 0.002592 0.0001155 0.01075 0.9582 0.07853 0.0117 0.0006926 1 1 0.0004251 0.005496 0.01747 0.02061 0.2664 0.8468 json
t19_x8_u6_b66 19 8 6 66 lrg(P,add(nrm(R),R)) 144215 154615899 o2(x,o2(o1(x),x)) true 33727 33727 0.4922 0.5714 0.4922 0.2314 0.4811 0 1 1 1 1.758 0.0004801 0.0003957 0.01031 0.09629 1 0.00002852 0.00004973 0.002483 0.0007697 0.02774 2.69 0.1169 0.003784 0.0002149 1 1 0.002168 0.02807 0.1081 0.009368 0.1213 0.4671 json
t19_x8_u6_b67 19 8 6 67 lrg(P,sub(nrm(R),R)) 144216 154615900 o2(x,o2(o1(x),x)) true 33735 33735 0.4902 0.5302 0.4902 0.2414 0.4913 0 1 1 1 1.402 0.0003287 0.00008778 0.004812 0.5785 1 0.000005704 0.00002148 0.001143 0.0003932 0.01983 4.121 0.1169 0.001725 0.00008898 1 1 0.001058 0.01391 0.08478 0.004383 0.05761 0.3512 json
t19_x8_u6_b68 19 8 6 68 lrg(P,mlt(nrm(R),R)) 144217 154615901 o2(x,o2(o1(x),x)) true 33743 33743 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_x8_u6_b69 19 8 6 69 lrg(P,div(nrm(R),R)) 144218 154615902 o2(x,o2(o1(x),x)) true 33751 33751 0.4395 0.4868 0.4395 0.2359 0.4857 0 1 1 1 1.474 0.0003541 0.000158 0.005991 0.3829 1 -6.795e-10 0.00002781 0.001432 0.0004765 0.02183 3.644 0.1169 0.002171 0.0001179 1 1 0.001146 0.01507 0.08698 0.00486 0.06388 0.3687 json
t19_x8_u6_b70 19 8 6 70 lrg(P,pow(nrm(R),R)) 144219 154615903 o2(x,o2(o1(x),x)) true 33759 33759 0.7324 0.9569 0.7324 0.1474 0.3839 0 1 1 1 2.341 0.001052 0.001231 0.02666 -0.0785 1 -0.000006429 0.0001288 0.006434 0.001572 0.03965 1.487 0.1169 0.01549 0.000874 1 1 0.004654 0.05961 0.1835 0.03158 0.4044 1.245 json
t19_x8_u6_b71 19 8 6 71 lrg(P,mod(nrm(R),R)) 144220 154615904 o2(x,o2(o1(x),x)) true 33767 33767 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_x8_u6_b72 19 8 6 72 lrg(P,lrg(nrm(R),R)) 144221 154615905 o2(x,o2(o1(x),x)) true 33775 33775 0.4473 0.4942 0.4473 0.2376 0.4874 0 1 1 1 1.445 0.0003093 0.0001579 0.005484 0.324 1 -0.000005705 0.00002581 0.00132 0.0004374 0.02091 3.814 0.1169 0.001967 0.0001086 1 1 0.001235 0.01607 0.08426 0.005197 0.06766 0.3547 json
t19_x8_u6_b73 19 8 6 73 lrg(P,eql(nrm(R),R)) 144222 154615906 o2(x,o2(o1(x),x)) true 33783 33783 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_x8_u6_b74 19 8 6 74 lrg(P,min(nrm(R),R)) 144223 154615907 o2(x,o2(o1(x),x)) true 33791 33791 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_x8_u6_b75 19 8 6 75 lrg(P,dot(nrm(R),R)) 144224 154615908 o2(x,o2(o1(x),x)) true 33799 33799 0.4316 0.4751 0.4316 0.2364 0.4862 0 1 1 1 1.414 0.000319 0.0001229 0.00515 0.4438 1 0.000005704 0.00002364 0.001232 0.0004155 0.02038 3.958 0.1169 0.001869 0.0001 1 1 0.001146 0.01506 0.08607 0.00485 0.0637 0.3641 json
t19_x8_u6_b76 19 8 6 76 lrg(P,dst(nrm(R),R)) 144225 154615909 o2(x,o2(o1(x),x)) true 33807 33807 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_x8_u6_b77 19 8 6 77 eql(P,add(nrm(R),R)) 144226 154615910 o2(x,o2(o1(x),x)) true 33815 33815 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_x8_u6_b78 19 8 6 78 eql(P,sub(nrm(R),R)) 144227 154615911 o2(x,o2(o1(x),x)) true 33823 33823 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_x8_u6_b79 19 8 6 79 eql(P,mlt(nrm(R),R)) 144228 154615912 o2(x,o2(o1(x),x)) true 33831 33831 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_x8_u6_b80 19 8 6 80 eql(P,div(nrm(R),R)) 144229 154615913 o2(x,o2(o1(x),x)) true 33839 33839 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_x8_u6_b81 19 8 6 81 eql(P,pow(nrm(R),R)) 144230 154615914 o2(x,o2(o1(x),x)) true 33847 33847 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_x8_u6_b82 19 8 6 82 eql(P,mod(nrm(R),R)) 144231 154615915 o2(x,o2(o1(x),x)) true 33855 33855 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_x8_u6_b83 19 8 6 83 eql(P,lrg(nrm(R),R)) 144232 154615916 o2(x,o2(o1(x),x)) true 33863 33863 0.04297 0.1203 0.04297 0.02869 0.1694 0 1 1 1 0.7141 0.000334 0.0002554 0.006939 0.1334 1 0.00001141 0.00003268 0.00167 0.0005411 0.02326 3.352 0.1169 0.02055 0.001139 1 1 0.001635 0.02124 0.06833 0.05698 0.7405 2.382 json
t19_x8_u6_b84 19 8 6 84 eql(P,eql(nrm(R),R)) 144233 154615917 o2(x,o2(o1(x),x)) true 33871 33871 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_x8_u6_b85 19 8 6 85 eql(P,min(nrm(R),R)) 144234 154615918 o2(x,o2(o1(x),x)) true 33879 33879 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_x8_u6_b86 19 8 6 86 eql(P,dot(nrm(R),R)) 144235 154615919 o2(x,o2(o1(x),x)) true 33887 33887 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_x8_u6_b87 19 8 6 87 eql(P,dst(nrm(R),R)) 144236 154615920 o2(x,o2(o1(x),x)) true 33895 33895 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_x8_u6_b88 19 8 6 88 min(P,add(nrm(R),R)) 144237 154615921 o2(x,o2(o1(x),x)) true 33903 33903 -0.5284 0.2189 0.8054 0.4644 0.6815 -1 1 2 1 3.006 0.004666 0.004386 0.05051 0.03091 1 -0.00001791 0.001261 0.01464 0.006503 0.08064 1.597 0.4039 0.01949 0.002715 1 1 0.01717 0.2036 0.5233 0.03697 0.4384 1.127 json
t19_x8_u6_b89 19 8 6 89 min(P,sub(nrm(R),R)) 144238 154615922 o2(x,o2(o1(x),x)) true 33911 33911 -0.4819 0.1944 0.5142 0.2382 0.4881 -1 0.6038 1.604 1 2.748 0.0004288 0.00008994 0.01133 0.6532 1 -0.00002391 0.0000262 0.002568 0.0003902 0.01975 1.743 0.1169 0.002177 0.00011 1 1 0.001061 0.01394 0.08175 0.004455 0.05852 0.3432 json
t19_x8_u6_b90 19 8 6 90 min(P,mlt(nrm(R),R)) 144239 154615923 o2(x,o2(o1(x),x)) true 33919 33919 -0.3175 0.4977 0.62 0.4268 0.6533 -1 0.8705 1.871 1 3.176 0.0006733 0.0002672 0.01791 0.4318 1 0.000002557 0.0000522 0.0042 0.0006197 0.02489 1.39 0.1169 0.002204 0.0001223 1 1 0.001974 0.02593 0.1514 0.004625 0.06075 0.3549 json
t19_x8_u6_b91 19 8 6 91 min(P,div(nrm(R),R)) 144240 154615924 o2(x,o2(o1(x),x)) true 33927 33927 -0.02668 0.5 0.9108 0.8758 0.9359 -1 1 2 1 2.473 0.0007075 0.00006574 0.01145 0.83 1 -0.00002051 0.00008299 0.00367 0.0006422 0.02534 2.214 0.1487 0.0008829 0.00009476 1 1 0.00195 0.02512 0.2268 0.002227 0.02868 0.2589 json
t19_x8_u6_b92 19 8 6 92 min(P,pow(nrm(R),R)) 144241 154615925 o2(x,o2(o1(x),x)) true 33935 33935 -0.02152 0.5 0.916 0.8868 0.9417 -1 1 2 1 2.3 0.0008221 0.0002585 0.01273 0.5215 1 -0.00009833 0.0003814 0.006226 0.0009192 0.03032 2.381 0.213 0.001219 0.00043 1 1 0.002507 0.02738 0.2269 0.002828 0.03087 0.2559 json
t19_x8_u6_b93 19 8 6 93 min(P,mod(nrm(R),R)) 144242 154615926 o2(x,o2(o1(x),x)) true 33943 33943 -0.4784 0.2272 0.6017 0.2949 0.543 -1 0.9228 1.923 1 3.425 0.001017 0.000768 0.02514 0.1396 1 0.0000155 0.0001029 0.005775 0.001154 0.03397 1.351 0.1879 0.006055 0.000349 1 1 0.003498 0.04554 0.1792 0.01186 0.1544 0.6076 json
t19_x8_u6_b94 19 8 6 94 min(P,lrg(nrm(R),R)) 144243 154615927 o2(x,o2(o1(x),x)) true 33951 33951 -0.2783 0.4051 0.6592 0.5326 0.7298 -1 1 2 1 3.006 0.001406 0.0009406 0.02725 0.1983 1 -0.00004777 0.0001281 0.00652 0.001604 0.04005 1.47 0.1169 0.004406 0.0002406 1 1 0.004708 0.06173 0.2688 0.00884 0.1159 0.5047 json
t19_x8_u6_b95 19 8 6 95 min(P,eql(nrm(R),R)) 144244 154615928 o2(x,o2(o1(x),x)) true 33959 33959 -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_x8_u6_b96 19 8 6 96 min(P,min(nrm(R),R)) 144245 154615929 o2(x,o2(o1(x),x)) true 33967 33967 -0.5275 0.2084 0.6727 0.2995 0.5473 -1 0.9228 1.923 1 3.57 0.001693 0.001406 0.03431 0.09258 1 -0.0000112 0.000185 0.007999 0.001922 0.04384 1.278 0.2087 0.01035 0.0006178 1 1 0.006109 0.07946 0.2483 0.0204 0.2653 0.8289 json
t19_x8_u6_b97 19 8 6 97 min(P,dot(nrm(R),R)) 144246 154615930 o2(x,o2(o1(x),x)) true 33975 33975 -0.04629 0.5 0.8912 0.8446 0.919 -1 1 2 1 2.697 0.0008007 0.0001696 0.01448 0.6504 1 -0.000009077 0.0000825 0.004009 0.0007606 0.02758 1.904 0.1266 0.001149 0.00009768 1 1 0.002043 0.02621 0.2243 0.002419 0.03104 0.2656 json
t19_x8_u6_b98 19 8 6 98 min(P,dst(nrm(R),R)) 144247 154615931 o2(x,o2(o1(x),x)) true 33983 33983 -0.3682 0.4965 0.5693 0.3551 0.5959 -1 0.9006 1.901 1 2.87 0.0004645 0.0001062 0.01195 0.6278 1 -0.000002352 0.00002924 0.002766 0.0004282 0.02069 1.732 0.1169 0.001607 0.00008235 1 1 0.001226 0.0161 0.1049 0.003453 0.04534 0.2954 json
t19_x8_u6_b99 19 8 6 99 dot(P,add(nrm(R),R)) 144248 154615932 o2(x,o2(o1(x),x)) true 33991 33991 -0.0868 0.4597 0.9202 0.8862 0.9414 -1 1 2 1 2.155 0.04275 0.05667 0.107 -0.14 1 0.00004799 0.1371 0.1189 0.08794 0.2965 2.77 2.463 0.1122 0.1547 1 1 0.117 0.7221 1.597 0.1321 0.8149 1.802 json
t19_x8_u6_b100 19 8 6 100 dot(P,sub(nrm(R),R)) 144249 154615933 o2(x,o2(o1(x),x)) true 33999 33999 -0.0206 0.4921 0.4652 0.3386 0.5819 -1 1 2 1 4.695 0.006615 0.005773 0.07394 0.06799 1 -0.00004818 0.002665 0.02325 0.006921 0.08319 1.125 0.7341 0.03658 0.00787 1 1 0.01518 0.177 0.4991 0.04484 0.5227 1.474 json
t19_x8_u6_b101 19 8 6 101 dot(P,mlt(nrm(R),R)) 144250 154615934 o2(x,o2(o1(x),x)) true 34007 34007 -0.03789 0.4805 0.8346 0.7828 0.8848 -1 1 2 1 3.017 0.004463 0.005521 0.04037 -0.1059 1 0.00003358 0.004296 0.02045 0.008352 0.09139 2.264 1.07 0.01275 0.005487 1 1 0.01385 0.1381 0.4581 0.01769 0.1764 0.5852 json
t19_x8_u6_b102 19 8 6 102 dot(P,div(nrm(R),R)) 144251 154615935 o2(x,o2(o1(x),x)) true 34015 34015 0.002519 0.5003 0.9418 0.925 0.9618 -1 1 2 1 1.885 0.0008449 0.0008322 0.01217 0.007527 1 -4.418e-7 0.0004032 0.00415 0.001528 0.03909 3.213 0.551 0.001813 0.0004359 1 1 0.003996 0.04697 0.423 0.00432 0.05078 0.4573 json
t19_x8_u6_b103 19 8 6 103 dot(P,pow(nrm(R),R)) 144252 154615936 o2(x,o2(o1(x),x)) true 34023 34023 -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_x8_u6_b104 19 8 6 104 dot(P,mod(nrm(R),R)) 144253 154615937 o2(x,o2(o1(x),x)) true 34031 34031 -0.05762 0.471 0.7071 0.6261 0.7912 -1 1 2 1 3.804 0.01603 0.02044 0.09496 -0.121 1 -0.00004621 0.02206 0.05394 0.02746 0.1657 1.745 1.639 0.05826 0.03523 1 1 0.04654 0.402 1.055 0.07433 0.642 1.684 json
t19_x8_u6_b105 19 8 6 105 dot(P,lrg(nrm(R),R)) 144254 154615938 o2(x,o2(o1(x),x)) true 34039 34039 -0.01743 0.4882 0.7969 0.7587 0.871 -1 1 2 1 2.898 0.01322 0.01205 0.06627 0.04623 1 -0.0000734 0.01579 0.04521 0.02089 0.1445 2.181 1.472 0.03332 0.02081 1 1 0.03546 0.2741 0.6413 0.04674 0.3613 0.8453 json
t19_x8_u6_b106 19 8 6 106 dot(P,eql(nrm(R),R)) 144255 154615939 o2(x,o2(o1(x),x)) true 34047 34047 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_x8_u6_b107 19 8 6 107 dot(P,min(nrm(R),R)) 144256 154615940 o2(x,o2(o1(x),x)) true 34055 34055 -0.08084 0.4646 0.846 0.7918 0.8898 -1 1 2 1 2.896 0.02518 0.0334 0.1034 -0.1404 1 -0.00001036 0.04623 0.07508 0.04791 0.2189 2.117 1.752 0.07398 0.05838 1 1 0.0739 0.5817 1.407 0.09333 0.7347 1.777 json
t19_x8_u6_b108 19 8 6 108 dot(P,dot(nrm(R),R)) 144257 154615941 o2(x,o2(o1(x),x)) true 34063 34063 -0.0008568 0.4994 0.93 0.9093 0.9536 -1 1 2 1 2.011 0.0006749 0.000762 0.01244 -0.06059 1 0.000003974 0.0002474 0.003853 0.001282 0.03581 2.88 0.2606 0.00158 0.0002721 1 1 0.003617 0.04277 0.3874 0.003977 0.04704 0.426 json
t19_x8_u6_b109 19 8 6 109 dot(P,dst(nrm(R),R)) 144258 154615942 o2(x,o2(o1(x),x)) true 34071 34071 -0.01214 0.5003 0.6772 0.5815 0.7626 -1 1 2 1 4.105 0.0009265 0.001235 0.02664 -0.1428 1 -0.00001842 0.000602 0.0098 0.001452 0.03811 1.431 0.3302 0.003717 0.001035 1 1 0.004477 0.04842 0.1736 0.007699 0.08327 0.2986 json
t19_x8_u6_b110 19 8 6 110 dst(P,add(nrm(R),R)) 144259 154615943 o2(x,o2(o1(x),x)) true 34079 34079 1 1 1 3.033e-8 0.0001742 0.9822 1 0.01783 1 0 1.968e-8 1.277e-8 0.000002809 0.213 0 0 6.365e-8 0.000004475 3.244e-8 0.0001801 64.13 0.01876 1.07 2.098 1 1 7.288e-8 1.102e-7 1.102e-7 2.403 3.632 3.632 json
t19_x8_u6_b111 19 8 6 111 dst(P,sub(nrm(R),R)) 144260 154615944 o2(x,o2(o1(x),x)) true 34087 34087 0.9966 1 0.9966 0.001684 0.04104 0.1918 1 0.8082 1 0.1084 0.00002571 0.00002784 0.0007354 -0.03968 0 8.635e-11 0.000009248 0.0002434 0.00005298 0.007278 9.897 0.1132 0.03179 0.005491 1 1 0.0001827 0.002177 0.006147 0.1085 1.292 3.65 json
t19_x8_u6_b112 19 8 6 112 dst(P,mlt(nrm(R),R)) 144261 154615945 o2(x,o2(o1(x),x)) true 34095 34095 0.9991 1 0.9991 0.0001339 0.01157 0.749 1 0.251 1 0.05781 0.000005574 0.000004754 0.0002593 0.07936 0 1.014e-10 0.000004599 0.0001541 0.00001026 0.003203 12.35 0.0866 0.0771 0.03433 1 1 0.0000332 0.0002904 0.0004887 0.2479 2.168 3.648 json
t19_x8_u6_b113 19 8 6 113 dst(P,div(nrm(R),R)) 144262 154615946 o2(x,o2(o1(x),x)) true 34103 34103 1 1 1 0.00000303 0.001741 0.9152 1 0.08477 1 0.004882 4.284e-7 3.66e-7 0.00002874 0.07861 0 0 6.665e-7 0.00002825 7.932e-7 0.0008906 30.99 0.0403 0.2622 0.22 1 1 0.000002348 0.00001097 0.00001101 0.7749 3.62 3.635 json
t19_x8_u6_b114 19 8 6 114 dst(P,pow(nrm(R),R)) 144263 154615947 o2(x,o2(o1(x),x)) true 34111 34111 -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_x8_u6_b115 19 8 6 115 dst(P,mod(nrm(R),R)) 144264 154615948 o2(x,o2(o1(x),x)) true 34119 34119 0.9989 1 0.9989 0.0002283 0.01511 0.6348 1 0.3652 1 0.06209 0.000008381 0.00001142 0.0003477 -0.1536 0 4.13e-11 0.00001016 0.0002241 0.00001968 0.004436 12.76 0.1386 0.08676 0.0445 1 1 0.00006206 0.0004888 0.0008334 0.2719 2.142 3.651 json
t19_x8_u6_b116 19 8 6 116 dst(P,lrg(nrm(R),R)) 144265 154615949 o2(x,o2(o1(x),x)) true 34127 34127 0.9969 1 0.9969 0.002062 0.04541 0.000582 1 0.9994 1 0.07825 0.00005074 0.00003919 0.0007687 0.1285 0 -1.502e-11 0.00002085 0.0002803 0.00008929 0.009449 12.29 0.198 0.04362 0.01011 1 1 0.0003044 0.003423 0.007513 0.1476 1.66 3.644 json
t19_x8_u6_b117 19 8 6 117 dst(P,eql(nrm(R),R)) 144266 154615950 o2(x,o2(o1(x),x)) true 34135 34135 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_x8_u6_b118 19 8 6 118 dst(P,min(nrm(R),R)) 144267 154615951 o2(x,o2(o1(x),x)) true 34143 34143 0.9986 1 0.9986 0.0003602 0.01898 0.5735 1 0.4265 1 0.0719 0.00001635 0.00002479 0.0005375 -0.2053 0 2.253e-11 0.00002151 0.000372 0.00004082 0.006389 11.89 0.1585 0.1142 0.05972 1 1 0.000129 0.0009865 0.001313 0.3582 2.739 3.645 json
t19_x8_u6_b119 19 8 6 119 dst(P,dot(nrm(R),R)) 144268 154615952 o2(x,o2(o1(x),x)) true 34151 34151 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_x8_u6_b120 19 8 6 120 dst(P,dst(nrm(R),R)) 144269 154615953 o2(x,o2(o1(x),x)) true 34159 34159 0.9978 1 0.9978 0.0008937 0.0299 0.3318 1 0.6682 1 0.08386 0.0000215 0.00002094 0.0005427 0.01309 0 1.051e-10 0.00001097 0.0002398 0.00004212 0.00649 11.96 0.1518 0.04749 0.01228 1 1 0.0001413 0.00144 0.003264 0.1581 1.611 3.652 json
t19_x9_u0_b0 19 9 0 0 add(D,add(sqt(P),P)) 144270 154655028 o2(x,o2(o1(x),x)) true 34167 34167 -0.01857 0.5 0.9814 0.9769 0.9884 -1 1 2 1 1.262 0.004731 0 0.007937 1 1 -9.386e-13 0.007966 0.009032 0.004667 0.06831 8.608 1.032 0.004843 0.008154 1 1 0.007268 0.05263 0.3053 0.00744 0.05388 0.3125 json
t19_x9_u0_b1 19 9 0 1 add(D,sub(sqt(P),P)) 144271 154655029 o2(x,o2(o1(x),x)) true 34175 34175 -0.8807 0.05078 0.8896 0.09198 0.3033 -1 0.1454 1.145 1 1.196 0.004906 0 0.01282 1 1 -4.723e-10 0.008137 0.01163 0.004742 0.06886 5.372 1.031 0.05333 0.08846 1 1 0.007618 0.03874 0.1244 0.08281 0.4211 1.353 json
t19_x9_u0_b2 19 9 0 2 add(D,mlt(sqt(P),P)) 144272 154655030 o2(x,o2(o1(x),x)) true 34183 34183 -0.03125 0.5 0.9688 0.9567 0.9781 -1 1 2 1 1.49 0.004457 0 0.007937 1 1 0 0.007952 0.008185 0.004392 0.06627 8.351 1.031 0.004658 0.008312 1 1 0.006548 0.04034 0.2807 0.006845 0.04216 0.2934 json
t19_x9_u0_b3 19 9 0 3 add(D,div(sqt(P),P)) 144273 154655031 o2(x,o2(o1(x),x)) true 34191 34191 -0.3336 0.4375 0.7914 0.5885 0.7671 -1 1 2 1 2.504 0.01671 0 0.02458 1 1 0.000156 0.03188 0.0226 0.01611 0.1269 5.164 2 0.0284 0.05418 1 1 0.02267 0.09471 0.2612 0.03852 0.161 0.4438 json
t19_x9_u0_b4 19 9 0 4 add(D,pow(sqt(P),P)) 144274 154655032 o2(x,o2(o1(x),x)) true 34199 34199 -0.002949 0.5 0.9971 0.9944 0.9972 -1 1 2 1 1.16 0.01592 0 0.009091 1 1 0 0.03177 0.01672 0.01583 0.1258 13.84 2 0.01601 0.03194 1 1 0.02116 0.08467 0.3293 0.02128 0.08514 0.3312 json
t19_x9_u0_b5 19 9 0 5 add(D,mod(sqt(P),P)) 144275 154655033 o2(x,o2(o1(x),x)) true 34207 34207 -0.1479 0.4375 0.9771 0.9485 0.9739 -1 1 2 1 1.308 0.004588 0 0.007936 1 1 1.892e-9 0.007955 0.008547 0.004524 0.06726 8.475 1.031 0.004837 0.008387 1 1 0.006895 0.04649 0.297 0.00727 0.04902 0.3131 json
t19_x9_u0_b6 19 9 0 6 add(D,lrg(sqt(P),P)) 144276 154655034 o2(x,o2(o1(x),x)) true 34215 34215 0.447 0.7305 0.4964 0.2313 0.481 -0.1454 1 1.145 1 3.074 0.001765 0 0.03094 1 1 0.0001582 0.0003479 0.01481 0.0008082 0.02843 0.9188 0.1713 0.00763 0.001504 1 1 0.003752 0.02995 0.06962 0.01622 0.1295 0.3009 json
t19_x9_u0_b7 19 9 0 7 add(D,eql(sqt(P),P)) 144277 154655035 o2(x,o2(o1(x),x)) true 34223 34223 0.1209 0.5742 0.1999 0.09914 0.3149 -0.1454 1 1.145 1 3.235 0.002233 0 0.03903 1 1 9.461e-10 0.0003199 0.01452 0.0007108 0.02666 0.6831 0.1713 0.02252 0.003227 1 1 0.004702 0.04268 0.1309 0.04743 0.4305 1.32 json
t19_x9_u0_b8 19 9 0 8 add(D,min(sqt(P),P)) 144278 154655036 o2(x,o2(o1(x),x)) true 34231 34231 0 0.5 0.9375 0.9165 0.9574 -1 1 2 1 1.979 0.0004883 0 0.007937 1 1 0 0.0000155 0.000496 0.0004253 0.02062 2.598 0.0625 0.0005327 0.00001691 1 1 0.001285 0.01928 0.2245 0.001402 0.02104 0.245 json
t19_x9_u0_b9 19 9 0 9 add(D,dot(sqt(P),P)) 144279 154655037 o2(x,o2(o1(x),x)) true 34239 34239 -0.5008 0.25 0.9992 0.7483 0.8651 -1 1 2 1 0.8331 0.007559 0.007528 0.007873 0.002077 1 1.119e-9 0.03014 0.01542 0.01502 0.1226 15.57 2 0.02016 0.04027 1 1 0.01973 0.08065 0.3329 0.02637 0.1078 0.4448 json
t19_x9_u0_b10 19 9 0 10 add(D,dst(sqt(P),P)) 144280 154655038 o2(x,o2(o1(x),x)) true 34247 34247 -0.5131 0.2475 0.9874 0.7203 0.8487 -1 1 2 1 1.014 0.006552 0.006517 0.008152 0.002677 1 -7.284e-10 0.02597 0.01434 0.013 0.114 13.99 2 0.01814 0.03606 1 1 0.0163 0.06703 0.2807 0.02263 0.09305 0.3897 json
t19_x9_u0_b11 19 9 0 11 sub(D,add(sqt(P),P)) 144281 154655039 o2(x,o2(o1(x),x)) true 34255 34255 -0.9755 0.01172 0.9769 0.02182 0.1477 -1 0.07238 1.072 1 0.2866 0.005091 0 0.008511 1 1 -9.386e-13 0.008313 0.01038 0.005018 0.07083 8.323 1.03 0.2333 0.381 1 1 0.007993 0.03019 0.03019 0.3663 1.384 1.384 json
t19_x9_u0_b12 19 9 0 12 sub(D,sub(sqt(P),P)) 144282 154655040 o2(x,o2(o1(x),x)) true 34263 34263 -0.1138 0.4688 0.8921 0.857 0.9257 -1 1 2 1 2.072 0.004489 0 0.01024 1 1 -4.693e-13 0.008015 0.009525 0.004384 0.06621 6.463 1.031 0.005238 0.009352 1 1 0.006592 0.03321 0.1718 0.007692 0.03875 0.2004 json
t19_x9_u0_b13 19 9 0 13 sub(D,mlt(sqt(P),P)) 144283 154655041 o2(x,o2(o1(x),x)) true 34271 34271 -0.9669 0.01953 0.9691 0.02838 0.1685 -1 0.09672 1.097 1 0.4327 0.00486 0 0.009288 1 1 -2.365e-9 0.008162 0.01036 0.004776 0.06911 7.44 1.031 0.1712 0.2876 1 1 0.007479 0.03522 0.03971 0.2635 1.241 1.399 json
t19_x9_u0_b14 19 9 0 14 sub(D,div(sqt(P),P)) 144284 154655042 o2(x,o2(o1(x),x)) true 34279 34279 -0.7934 0 0.7934 0.06886 0.2624 -1 -0.2308 0.7692 1 2.422 0.0006154 0 0.01439 1 1 0.0001604 0.00009955 0.00599 0.0004085 0.02021 1.405 0.06204 0.008937 0.001446 1 1 0.001111 0.008417 0.01322 0.01614 0.1222 0.192 json
t19_x9_u0_b15 19 9 0 15 sub(D,pow(sqt(P),P)) 144285 154655043 o2(x,o2(o1(x),x)) true 34287 34287 -0.996 0 0.996 0.0004073 0.02018 -1 -0.8546 0.1454 1 0.2519 0.00008153 0 0.001922 1 0 -1.892e-9 0.00006054 0.001781 0.00007781 0.008821 4.59 0.06918 0.2002 0.1486 1 1 0.0001761 0.0005705 0.0005705 0.4324 1.401 1.401 json
t19_x9_u0_b16 19 9 0 16 sub(D,mod(sqt(P),P)) 144286 154655044 o2(x,o2(o1(x),x)) true 34295 34295 -0.972 0.01563 0.9738 0.02493 0.1579 -1 0.08439 1.084 1 0.3154 0.004989 0 0.008606 1 1 7.039e-13 0.008245 0.009922 0.004914 0.0701 8.146 1.031 0.2002 0.3308 1 1 0.007767 0.03367 0.03467 0.3116 1.351 1.391 json
t19_x9_u0_b17 19 9 0 17 sub(D,lrg(sqt(P),P)) 144287 154655045 o2(x,o2(o1(x),x)) true 34303 34303 -0.4481 0.25 0.4953 0.224 0.4733 -1 0.1454 1.145 1 3.24 0.001361 0 0.02967 1 1 4.731e-10 0.0002634 0.01318 0.000481 0.02193 0.7392 0.0625 0.006076 0.001176 1 1 0.002745 0.02296 0.06813 0.01225 0.1025 0.3041 json
t19_x9_u0_b18 19 9 0 18 sub(D,eql(sqt(P),P)) 144288 154655046 o2(x,o2(o1(x),x)) true 34311 34311 -0.1209 0.4258 0.1999 0.09914 0.3149 -1 0.1454 1.145 1 3.235 0.002233 0 0.03903 1 1 -9.461e-10 0.0003199 0.01452 0.0007108 0.02666 0.6831 0.1713 0.02252 0.003227 1 1 0.004702 0.04268 0.1309 0.04743 0.4305 1.32 json
t19_x9_u0_b19 19 9 0 19 sub(D,min(sqt(P),P)) 144289 154655047 o2(x,o2(o1(x),x)) true 34319 34319 0.0006681 0.5 0.9368 0.924 0.9612 -1 1 2 1 1.792 0.001326 0 0.01115 1 1 1.892e-9 0.0002371 0.005035 0.001202 0.03467 3.108 0.1713 0.001435 0.0002566 1 1 0.00336 0.03319 0.2344 0.003637 0.03592 0.2537 json
t19_x9_u0_b20 19 9 0 20 sub(D,dot(sqt(P),P)) 144290 154655048 o2(x,o2(o1(x),x)) true 34327 34327 -0.999 0.0002289 0.999 0.0007104 0.02665 -1 0.09643 1.096 1 0.02779 0.0001272 0.00013 0.0005095 -0.01088 1 1.877e-11 0.0004906 0.0006409 0.0002568 0.01602 31.45 1.096 0.362 0.6906 1 1 0.0005118 0.002223 0.002585 0.7204 3.128 3.638 json
t19_x9_u0_b21 19 9 0 21 sub(D,dst(sqt(P),P)) 144291 154655049 o2(x,o2(o1(x),x)) true 34335 34335 -0.9861 0.004074 0.9868 0.01057 0.1028 -1 0.1454 1.145 1 0.2541 0.0005209 0.0004523 0.002451 0.07051 1 1.014e-10 0.001735 0.002501 0.0009679 0.03111 12.69 1.145 0.09205 0.1641 1 1 0.001935 0.009644 0.0345 0.1831 0.9122 3.263 json
t19_x9_u0_b22 19 9 0 22 mlt(D,add(sqt(P),P)) 144292 154655050 o2(x,o2(o1(x),x)) true 34343 34343 -0.5815 0.1875 0.7733 0.365 0.6042 -1 1 2 1 2.953 0.03341 0 0.0954 1 1 0.0002157 0.01549 0.04922 0.02432 0.156 1.635 0.9994 0.09154 0.04244 1 1 0.04706 0.3243 0.06801 0.1289 0.8885 0.1863 json
t19_x9_u0_b23 19 9 0 23 mlt(D,sub(sqt(P),P)) 144293 154655051 o2(x,o2(o1(x),x)) true 34351 34351 -0.4538 0.2852 0.611 0.3397 0.5828 -1 0.8165 1.817 1 3.016 0.009732 0 0.04341 1 1 -0.0008785 0.008859 0.02354 0.007849 0.0886 2.041 1 0.02865 0.02608 1 1 0.01088 0.06525 0.09779 0.03203 0.1921 0.2879 json
t19_x9_u0_b24 19 9 0 24 mlt(D,mlt(sqt(P),P)) 144294 154655052 o2(x,o2(o1(x),x)) true 34359 34359 -0.6076 0.168 0.8044 0.3837 0.6194 -1 1 2 1 2.542 0.04985 0 0.09371 1 1 1.419e-9 0.03331 0.07007 0.04107 0.2027 2.163 1.147 0.1299 0.08681 1 1 0.0633 0.3861 0.08425 0.165 1.006 0.2196 json
t19_x9_u0_b25 19 9 0 25 mlt(D,div(sqt(P),P)) 144295 154655053 o2(x,o2(o1(x),x)) true 34367 34367 -0.5567 0.2383 0.5849 0.2541 0.5041 -1 0.1714 1.171 1 1.84 0.004439 0 0.01249 1 1 0.00005411 0.008014 0.01132 0.004282 0.06544 5.239 1.031 0.01747 0.03154 1 1 0.00639 0.02954 0.09007 0.02515 0.1162 0.3544 json
t19_x9_u0_b26 19 9 0 26 mlt(D,pow(sqt(P),P)) 144296 154655054 o2(x,o2(o1(x),x)) true 34375 34375 -0.7292 0.1328 0.8399 0.2816 0.5307 -1 1 2 1 1.715 0.1189 0 0.08996 1 1 0 0.213 0.1316 0.1108 0.3329 3.701 2 0.4221 0.7564 1 1 0.1004 0.2432 0.1294 0.3565 0.8637 0.4595 json
t19_x9_u0_b27 19 9 0 27 mlt(D,mod(sqt(P),P)) 144297 154655055 o2(x,o2(o1(x),x)) true 34383 34383 -0.5878 0.1758 0.6533 0.2415 0.4915 -1 0.3743 1.374 1 2.577 0.007159 0 0.03661 1 1 0.0004609 0.008492 0.02076 0.005819 0.07628 2.084 0.9996 0.02964 0.03516 1 1 0.01002 0.05248 0.06961 0.0415 0.2173 0.2882 json
t19_x9_u0_b28 19 9 0 28 mlt(D,lrg(sqt(P),P)) 144298 154655056 o2(x,o2(o1(x),x)) true 34391 34391 0.008939 0.2813 0.05022 0.006513 0.0807 -0.1454 0.2729 0.4183 1 2.074 0.0008041 0 0.01782 1 1 -0.0001582 0.0001201 0.007004 0.0004868 0.02206 1.238 0.0622 0.1235 0.01844 1 1 0.001527 0.01126 0.002956 0.2344 1.728 0.4539 json
t19_x9_u0_b29 19 9 0 29 mlt(D,eql(sqt(P),P)) 144299 154655057 o2(x,o2(o1(x),x)) true 34399 34399 -2.075e-12 0.09375 0.02378 0.004388 0.06624 -0.2729 0.2729 0.5458 1 1.135 0.0002968 0 0.006639 1 1 0 0.00003236 0.00218 0.0002526 0.01589 2.394 0.0622 0.06764 0.007375 1 1 0.0007658 0.00705 0.007957 0.1745 1.607 1.813 json