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_x23_u6_b46 19 23 6 46 pow(R,mlt(nrm(D),R)) 156900 155221894 o2(x,o2(o1(x),x)) true 135207 135207 -0.9159 0.04297 0.9982 0.1577 0.3971 -1 1 2 1 0.3098 0.01651 0.01546 0.01681 0.03297 1 0.000003277 0.06699 0.03293 0.03167 0.178 10.59 2.828 0.2028 0.4249 1 1 0.02446 0.106 0.2639 0.1552 0.6726 1.674 json
t19_x23_u6_b47 19 23 6 47 pow(R,div(nrm(D),R)) 156901 155221895 o2(x,o2(o1(x),x)) true 135215 135215 -0.9186 0.04297 0.9955 0.1499 0.3872 -1 1 2 1 0.3299 0.01559 0.01461 0.01691 0.03259 1 -0.00006822 0.06316 0.03227 0.0299 0.1729 10.22 2.828 0.2014 0.4213 1 1 0.02375 0.1039 0.2482 0.1585 0.6934 1.655 json
t19_x23_u6_b48 19 23 6 48 pow(R,pow(nrm(D),R)) 156902 155221896 o2(x,o2(o1(x),x)) true 135223 135223 -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_x23_u6_b49 19 23 6 49 pow(R,mod(nrm(D),R)) 156903 155221897 o2(x,o2(o1(x),x)) true 135231 135231 -0.9158 0.04297 0.9983 0.1583 0.3978 -1 1 2 1 0.3077 0.0163 0.01593 0.01759 0.01157 1 8.533e-7 0.06807 0.03504 0.03195 0.1787 10.16 2.828 0.2037 0.4301 1 1 0.02469 0.1062 0.2648 0.156 0.6709 1.673 json
t19_x23_u6_b50 19 23 6 50 pow(R,lrg(nrm(D),R)) 156904 155221898 o2(x,o2(o1(x),x)) true 135239 135239 -0.7252 0.1527 0.9695 0.4275 0.6539 -1 1 2 1 1.073 0.07301 0.06015 0.07546 0.0966 1 -0.0001353 0.3562 0.15 0.1275 0.3571 4.732 2.828 0.3115 0.8331 1 1 0.1311 0.4676 0.8692 0.3066 1.094 2.033 json
t19_x23_u6_b51 19 23 6 51 pow(R,eql(nrm(D),R)) 156905 155221899 o2(x,o2(o1(x),x)) true 135247 135247 0.9993 0.9996 1 0.001472 0.03837 -1 1 2 1 0.00521 0.003041 0.002789 0.00255 0.04322 1 -7.509e-12 0.02839 0.005931 0.005818 0.07627 29.92 2.828 3.96 19.28 1 1 0.003878 0.003878 0.003383 2.634 2.634 2.298 json
t19_x23_u6_b52 19 23 6 52 pow(R,min(nrm(D),R)) 156906 155221900 o2(x,o2(o1(x),x)) true 135255 135255 -0.916 0.04297 0.9981 0.1574 0.3967 -1 1 2 1 0.3109 0.01615 0.0156 0.01681 0.01749 1 -0.00001171 0.06665 0.03305 0.03146 0.1774 10.55 2.828 0.2018 0.4235 1 1 0.02438 0.1059 0.2631 0.1549 0.6728 1.672 json
t19_x23_u6_b53 19 23 6 53 pow(R,dot(nrm(D),R)) 156907 155221901 o2(x,o2(o1(x),x)) true 135263 135263 -0.9174 0.04297 0.9966 0.1524 0.3904 -1 1 2 1 0.3365 0.015 0.01546 0.0168 -0.01498 1 0.000004068 0.06355 0.0322 0.03017 0.1737 10.34 2.828 0.1998 0.4169 1 1 0.02361 0.1027 0.2552 0.1549 0.6738 1.674 json
t19_x23_u6_b54 19 23 6 54 pow(R,dst(nrm(D),R)) 156908 155221902 o2(x,o2(o1(x),x)) true 135271 135271 -0.9346 0.04297 0.9794 0.09715 0.3117 -1 0.9689 1.969 1 0.4165 0.009956 0.009699 0.01411 0.01307 1 0.00000224 0.04099 0.02557 0.01945 0.1395 9.888 2.428 0.2023 0.4219 1 1 0.01538 0.0669 0.1622 0.1584 0.6886 1.669 json
t19_x23_u6_b55 19 23 6 55 mod(R,add(nrm(D),R)) 156909 155221903 o2(x,o2(o1(x),x)) true 135279 135279 -0.0005681 0.4821 0.2628 0.1205 0.3471 -0.9985 0.9809 1.979 1 4.469 0.01896 0.004346 0.09622 0.627 1 0.00004594 0.05618 0.1259 0.01405 0.1185 1.232 0.9819 0.1934 0.4663 1 1 0.02424 0.1239 0.1831 0.2012 1.028 1.52 json
t19_x23_u6_b56 19 23 6 56 mod(R,sub(nrm(D),R)) 156910 155221904 o2(x,o2(o1(x),x)) true 135287 135287 0.001115 0.4851 0.2572 0.1165 0.3413 -0.9988 0.9808 1.98 1 4.443 0.019 0.004371 0.09645 0.6259 1 0.00005879 0.05654 0.1271 0.01407 0.1186 1.23 0.9353 0.2006 0.4854 1 1 0.02422 0.1219 0.1758 0.208 1.046 1.509 json
t19_x23_u6_b57 19 23 6 57 mod(R,mlt(nrm(D),R)) 156911 155221905 o2(x,o2(o1(x),x)) true 135295 135295 0.001399 0.4902 0.06377 0.009494 0.09744 -0.4674 0.4589 0.9263 1 2.59 0.004716 0.00382 0.06029 0.105 1 0.00001903 0.03183 0.09602 0.004902 0.07001 1.161 0.525 0.8992 3.353 1 1 0.007674 0.01277 0.01751 0.8083 1.345 1.844 json
t19_x23_u6_b58 19 23 6 58 mod(R,div(nrm(D),R)) 156912 155221906 o2(x,o2(o1(x),x)) true 135303 135303 0.001888 0.4837 0.2788 0.1253 0.354 -0.9754 0.9676 1.943 1 4.523 0.01938 0.01942 0.1134 -0.0009919 1 -0.00001503 0.1398 0.1719 0.02595 0.1611 1.421 1.287 0.3095 1.115 1 1 0.03716 0.1281 0.2294 0.2964 1.022 1.83 json
t19_x23_u6_b59 19 23 6 59 mod(R,pow(nrm(D),R)) 156913 155221907 o2(x,o2(o1(x),x)) true 135311 135311 -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_x23_u6_b60 19 23 6 60 mod(R,mod(nrm(D),R)) 156914 155221908 o2(x,o2(o1(x),x)) true 135319 135319 -0.0008626 0.4806 0.06743 0.009161 0.09571 -0.4714 0.4472 0.9186 1 2.605 0.004581 0.004315 0.07004 0.02991 1 -0.00007965 0.0363 0.1264 0.00399 0.06317 0.9019 0.5267 0.971 3.963 1 1 0.007032 0.01164 0.01757 0.7675 1.27 1.917 json
t19_x23_u6_b61 19 23 6 61 mod(R,lrg(nrm(D),R)) 156915 155221909 o2(x,o2(o1(x),x)) true 135327 135327 -0.9886 0.0002747 0.9888 0.005569 0.07462 -1 0.5255 1.525 1 0.304 0.005686 0.001961 0.01302 0.487 1 0.0001072 0.02512 0.02641 0.007482 0.0865 6.646 1.935 1.373 4.512 1 1 0.006884 0.01147 0.01069 1.236 2.06 1.919 json
t19_x23_u6_b62 19 23 6 62 mod(R,eql(nrm(D),R)) 156916 155221910 o2(x,o2(o1(x),x)) true 135335 135335 -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_x23_u6_b63 19 23 6 63 mod(R,min(nrm(D),R)) 156917 155221911 o2(x,o2(o1(x),x)) true 135343 135343 -0.0098 0.5339 0.1797 0.06916 0.263 -0.9676 0.9406 1.908 1 3.927 0.01118 0.01189 0.08046 -0.03073 1 -0.0000106 0.07949 0.1156 0.01659 0.1288 1.601 1.339 0.3335 1.149 1 1 0.02339 0.09141 0.1398 0.3382 1.322 2.021 json
t19_x23_u6_b64 19 23 6 64 mod(R,dot(nrm(D),R)) 156918 155221912 o2(x,o2(o1(x),x)) true 135351 135351 0.009555 0.5016 0.2141 0.08856 0.2976 -0.9969 0.9747 1.972 1 4.198 0.01479 0.02202 0.1167 -0.1966 1 -0.000001947 0.1217 0.1888 0.0232 0.1523 1.306 1.351 0.4156 1.374 1 1 0.03168 0.1115 0.1627 0.3577 1.258 1.837 json
t19_x23_u6_b65 19 23 6 65 mod(R,dst(nrm(D),R)) 156919 155221913 o2(x,o2(o1(x),x)) true 135359 135359 0.00514 0.4947 0.3571 0.1865 0.4318 -0.9989 0.9805 1.979 1 4.783 0.008932 0.00938 0.08141 -0.02448 1 0.00007725 0.04854 0.06715 0.01169 0.1081 1.328 1.389 0.09821 0.2603 1 1 0.021 0.1515 0.3393 0.1126 0.8126 1.819 json
t19_x23_u6_b66 19 23 6 66 lrg(R,add(nrm(D),R)) 156920 155221914 o2(x,o2(o1(x),x)) true 135367 135367 0.5 1 0.5 0.1418 0.3765 0.000291 0.9997 0.9994 1 3.406 0.06511 0 0.1228 1 1 0 0.1208 0.1337 0.05001 0.2236 1.821 0.9994 0.4593 0.8522 1 1 0.07073 0.2419 0 0.4989 1.706 0 json
t19_x23_u6_b67 19 23 6 67 lrg(R,sub(nrm(D),R)) 156921 155221915 o2(x,o2(o1(x),x)) true 135375 135375 0.5026 0.9311 0.5026 0.1473 0.3838 0 1 1 1 3.519 0.02181 0.01447 0.08981 0.2024 1 -0.00007054 0.1077 0.09611 0.02822 0.168 1.87 1.414 0.2463 0.731 1 1 0.03971 0.1678 0.2596 0.2695 1.139 1.762 json
t19_x23_u6_b68 19 23 6 68 lrg(R,mlt(nrm(D),R)) 156922 155221916 o2(x,o2(o1(x),x)) true 135383 135383 0.4816 0.9133 0.4816 0.1537 0.3921 0 1 1 1 3.428 0.002102 0.002757 0.05233 -0.1348 1 -0.00001639 0.001512 0.01402 0.00212 0.04605 0.88 1.092 0.0316 0.009833 1 1 0.009392 0.1129 0.2869 0.06109 0.7341 1.866 json
t19_x23_u6_b69 19 23 6 69 lrg(R,div(nrm(D),R)) 156923 155221917 o2(x,o2(o1(x),x)) true 135391 135391 0.5026 0.9372 0.5026 0.1504 0.3878 0 1 1 1 3.475 0.0437 0.01786 0.1164 0.4197 1 0.0001219 0.1727 0.157 0.04801 0.2191 1.882 1.409 0.4094 1.149 1 1 0.06621 0.2524 0.2873 0.4403 1.678 1.91 json
t19_x23_u6_b70 19 23 6 70 lrg(R,pow(nrm(D),R)) 156924 155221918 o2(x,o2(o1(x),x)) true 135399 135399 0.5721 1 0.5721 0.1296 0.36 0.000291 1 0.9997 1 3.576 0.05342 0.009128 0.1262 0.7081 1 0.00007572 0.1436 0.1468 0.04662 0.2159 1.711 1.409 0.4825 1.108 1 1 0.06757 0.2243 0.0715 0.5212 1.73 0.5516 json
t19_x23_u6_b71 19 23 6 71 lrg(R,mod(nrm(D),R)) 156925 155221919 o2(x,o2(o1(x),x)) true 135407 135407 0.4823 0.9145 0.4823 0.1537 0.3921 0 1 1 1 3.428 0.002165 0.002577 0.05213 -0.08687 1 -0.00001781 0.001735 0.01374 0.002024 0.04499 0.863 1.367 0.03085 0.01129 1 1 0.009057 0.1126 0.2864 0.05892 0.7327 1.863 json
t19_x23_u6_b72 19 23 6 72 lrg(R,lrg(nrm(D),R)) 156926 155221920 o2(x,o2(o1(x),x)) true 135415 135415 0.3346 0.8034 0.3346 0.1304 0.361 0 1 1 1 3.238 0.02027 0.01382 0.08235 0.1893 1 0.00007589 0.1005 0.0899 0.02731 0.1653 2.007 1.409 0.2615 0.7709 1 1 0.0365 0.1553 0.2225 0.28 1.191 1.707 json
t19_x23_u6_b73 19 23 6 73 lrg(R,eql(nrm(D),R)) 156927 155221921 o2(x,o2(o1(x),x)) true 135423 135423 0.4824 0.9147 0.4824 0.1537 0.3921 0 1 1 1 3.428 0.001992 0.002462 0.05174 -0.1055 1 -0.00001781 0.0004585 0.01273 0.001778 0.04217 0.815 0.8727 0.02898 0.002983 1 1 0.008731 0.1124 0.2862 0.0568 0.7315 1.862 json
t19_x23_u6_b74 19 23 6 74 lrg(R,min(nrm(D),R)) 156928 155221922 o2(x,o2(o1(x),x)) true 135431 135431 0.5028 0.9671 0.5028 0.1234 0.3512 0 1 1 1 3.75 0.0415 0.02441 0.1336 0.2592 1 -0.00003765 0.2031 0.1737 0.04805 0.2192 1.64 1.413 0.5343 1.646 1 1 0.07087 0.215 0.1494 0.5745 1.743 1.211 json
t19_x23_u6_b75 19 23 6 75 lrg(R,dot(nrm(D),R)) 156929 155221923 o2(x,o2(o1(x),x)) true 135439 135439 0.4797 0.9092 0.4797 0.1528 0.3909 0 1 1 1 3.434 0.01975 0.03636 0.1114 -0.2959 1 0.0001376 0.1507 0.1451 0.0437 0.209 1.876 1.414 0.3671 0.9862 1 1 0.05776 0.2297 0.2985 0.3779 1.503 1.953 json
t19_x23_u6_b76 19 23 6 76 lrg(R,dst(nrm(D),R)) 156930 155221924 o2(x,o2(o1(x),x)) true 135447 135447 0.04357 0.1582 0.04357 0.02546 0.1596 0 0.9997 0.9997 1 0.8184 0.007822 0.007429 0.02562 0.02575 1 -0.0001031 0.05023 0.03971 0.0146 0.1208 4.717 1.413 0.5991 1.973 1 1 0.01566 0.04314 0.04536 0.6152 1.695 1.782 json
t19_x23_u6_b77 19 23 6 77 eql(R,add(nrm(D),R)) 156931 155221925 o2(x,o2(o1(x),x)) true 135455 135455 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_x23_u6_b78 19 23 6 78 eql(R,sub(nrm(D),R)) 156932 155221926 o2(x,o2(o1(x),x)) true 135463 135463 0.00001312 0.0001221 0.00001312 0.000005601 0.002367 0 0.4284 0.4284 1 0.0005018 0.00001156 0.00001156 0.00004621 0 0 0 0.0001156 0.0001083 0.00002312 0.004808 104.1 0.6059 4.128 20.64 1 1 5.593e-11 5.593e-11 4.268e-11 0.000009986 0.000009986 0.00000762 json
t19_x23_u6_b79 19 23 6 79 eql(R,mlt(nrm(D),R)) 156933 155221927 o2(x,o2(o1(x),x)) true 135471 135471 0.001639 0.009384 0.001639 0.0008631 0.02938 0 0.97 0.97 1 0.05896 0.0002781 0.0006991 0.001881 -0.4308 1 -0.000002134 0.002656 0.003354 0.0009739 0.03121 16.59 1.154 1.132 3.078 1 1 0.0009753 0.001694 0.00177 1.13 1.963 2.051 json
t19_x23_u6_b80 19 23 6 80 eql(R,div(nrm(D),R)) 156934 155221928 o2(x,o2(o1(x),x)) true 135479 135479 0.000007759 0.00003052 0.000007759 0.000001973 0.001405 0 0.2542 0.2542 1 0.0005018 0.000004072 0.000004072 0.00002734 0 0 0 0.00004072 0.00006406 0.000008142 0.002853 104.4 0.3596 4.128 20.64 1 1 0.000007163 0.000007163 0.000004477 3.631 3.631 2.269 json
t19_x23_u6_b81 19 23 6 81 eql(R,pow(nrm(D),R)) 156935 155221929 o2(x,o2(o1(x),x)) true 135487 135487 0.00003856 0.0002136 0.00003856 0.00002381 0.00488 0 0.7977 0.7977 1 0.001004 0.00004915 0.00004915 0.0001356 -0.000008031 0 1.114e-7 0.0004915 0.0003176 0.00009826 0.009913 73.1 1.128 4.128 20.64 1 1 0.00007866 0.00007671 0.00007476 3.304 3.222 3.14 json
t19_x23_u6_b82 19 23 6 82 eql(R,mod(nrm(D),R)) 156936 155221930 o2(x,o2(o1(x),x)) true 135495 135495 0.0004161 0.001694 0.0004161 0.0002522 0.01588 0 0.9926 0.9926 1 0.01421 0.0005178 0.0004261 0.001366 0.09707 1 8.231e-9 0.004575 0.003184 0.0009407 0.03067 22.46 1.404 3.742 18.14 1 1 0.0008768 0.0008824 0.0008159 3.476 3.499 3.235 json
t19_x23_u6_b83 19 23 6 83 eql(R,lrg(nrm(D),R)) 156937 155221931 o2(x,o2(o1(x),x)) true 135503 135503 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_x23_u6_b84 19 23 6 84 eql(R,eql(nrm(D),R)) 156938 155221932 o2(x,o2(o1(x),x)) true 135511 135511 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_x23_u6_b85 19 23 6 85 eql(R,min(nrm(D),R)) 156939 155221933 o2(x,o2(o1(x),x)) true 135519 135519 0.4972 0.9685 0.4972 0.1234 0.3512 0 1 1 1 3.75 0.0415 0.02441 0.1336 0.2592 1 0.00003765 0.2031 0.1737 0.04805 0.2192 1.64 1.413 0.5343 1.646 1 1 0.07087 0.215 0.1494 0.5745 1.743 1.211 json
t19_x23_u6_b86 19 23 6 86 eql(R,dot(nrm(D),R)) 156940 155221934 o2(x,o2(o1(x),x)) true 135527 135527 0.0001119 0.0005951 0.0001119 0.00005695 0.007547 0 0.8606 0.8606 1 0.004196 0.000117 0.000117 0.0003865 0 1 0.000002176 0.001171 0.0009079 0.0002337 0.01529 39.55 1.217 4.109 20.56 1 1 0.0001058 0.0001042 0.0001017 1.858 1.829 1.785 json
t19_x23_u6_b87 19 23 6 87 eql(R,dst(nrm(D),R)) 156941 155221935 o2(x,o2(o1(x),x)) true 135535 135535 0.000009539 0.0001068 0.000009539 0.000002045 0.00143 0 0.2542 0.2542 1 0.0005018 0.000004222 0.000004222 0.0000336 0 0 0 0.00004222 0.00007873 0.000008441 0.002905 86.47 0.3596 4.128 20.64 1 1 0.000007195 0.000007195 0.000007224 3.518 3.518 3.532 json
t19_x23_u6_b88 19 23 6 88 min(R,add(nrm(D),R)) 156942 155221936 o2(x,o2(o1(x),x)) true 135543 135543 -0.2866 0.2858 0.4755 0.2398 0.4897 -1 0.9804 1.98 1 4.695 0.01309 0.005339 0.1022 0.4206 1 0.0002771 0.01276 0.04902 0.007983 0.08935 0.8742 0.8119 0.07686 0.0532 1 1 0.03247 0.2411 0.3448 0.1354 1.005 1.438 json
t19_x23_u6_b89 19 23 6 89 min(R,sub(nrm(D),R)) 156943 155221937 o2(x,o2(o1(x),x)) true 135551 135551 -0.5433 0.05185 0.5574 0.09848 0.3138 -1 0.466 1.466 1 4.095 0.01258 0.003202 0.08074 0.5942 1 -0.00007008 0.01592 0.04011 0.009265 0.09626 1.192 1.384 0.1603 0.1616 1 1 0.02499 0.1535 0.1247 0.2538 1.559 1.266 json
t19_x23_u6_b90 19 23 6 90 min(R,mlt(nrm(D),R)) 156944 155221938 o2(x,o2(o1(x),x)) true 135559 135559 -0.2528 0.2075 0.3465 0.1139 0.3375 -0.9989 0.9311 1.93 1 4.444 0.007081 0.002638 0.06607 0.4571 1 -0.00001697 0.007578 0.02312 0.005355 0.07318 1.108 1.422 0.08531 0.06651 1 1 0.0164 0.1286 0.1805 0.1439 1.129 1.585 json
t19_x23_u6_b91 19 23 6 91 min(R,div(nrm(D),R)) 156945 155221939 o2(x,o2(o1(x),x)) true 135567 135567 -0.5657 0.1562 0.6583 0.2284 0.4779 -1 0.9583 1.958 1 3.804 0.03748 0.00692 0.1161 0.6883 1 0.000568 0.0605 0.09217 0.03091 0.1758 1.514 1.792 0.1944 0.2649 1 1 0.06168 0.3438 0.4116 0.27 1.505 1.802 json
t19_x23_u6_b92 19 23 6 92 min(R,pow(nrm(D),R)) 156946 155221940 o2(x,o2(o1(x),x)) true 135575 135575 -0.01316 0.4877 0.3789 0.204 0.4517 -0.9989 0.9805 1.979 1 4.827 0.007327 0.003395 0.07288 0.3667 1 -0.00008508 0.01301 0.03597 0.005411 0.07356 1.009 0.8829 0.05256 0.06377 1 1 0.01528 0.1453 0.3577 0.07489 0.7123 1.754 json
t19_x23_u6_b93 19 23 6 93 min(R,mod(nrm(D),R)) 156947 155221941 o2(x,o2(o1(x),x)) true 135583 135583 -0.2534 0.1899 0.3235 0.09803 0.3131 -0.9989 0.9509 1.95 1 4.335 0.01586 0.01236 0.09706 0.124 1 0.000007718 0.09634 0.1213 0.0188 0.1371 1.412 1.467 0.2878 0.9828 1 1 0.02688 0.09998 0.1553 0.2742 1.02 1.585 json
t19_x23_u6_b94 19 23 6 94 min(R,lrg(nrm(D),R)) 156948 155221942 o2(x,o2(o1(x),x)) true 135591 135591 -0.1904 0.2274 0.2831 0.1064 0.3261 -0.9989 0.9365 1.935 1 4.307 0.006655 0.007602 0.06014 -0.06638 1 0.00003129 0.04021 0.05293 0.01064 0.1032 1.715 1.224 0.134 0.378 1 1 0.01676 0.09063 0.1733 0.1576 0.852 1.629 json
t19_x23_u6_b95 19 23 6 95 min(R,eql(nrm(D),R)) 156949 155221943 o2(x,o2(o1(x),x)) true 135599 135599 -0.2541 0.00001526 0.2541 0.06549 0.2559 -0.9989 0.02402 1.023 1 3.542 0.0007682 0.0009298 0.0314 -0.09513 1 0.00001332 0.0001027 0.007386 0.000712 0.02668 0.8497 0.1384 0.02593 0.001569 1 1 0.003124 0.04017 0.1061 0.04769 0.6134 1.62 json
t19_x23_u6_b96 19 23 6 96 min(R,min(nrm(D),R)) 156950 155221944 o2(x,o2(o1(x),x)) true 135607 135607 -0.3713 0.1747 0.4648 0.1451 0.381 -0.999 0.9346 1.934 1 4.518 0.0162 0.004727 0.1001 0.5482 1 -0.00002259 0.02011 0.04711 0.0109 0.1044 1.043 1.467 0.1442 0.1386 1 1 0.03443 0.2117 0.1625 0.2372 1.459 1.12 json
t19_x23_u6_b97 19 23 6 97 min(R,dot(nrm(D),R)) 156951 155221945 o2(x,o2(o1(x),x)) true 135615 135615 -0.3066 0.2065 0.4175 0.1498 0.3871 -1 0.9734 1.973 1 4.588 0.00792 0.007225 0.08277 0.0459 1 -0.00004819 0.01302 0.03473 0.008295 0.09108 1.1 1.492 0.1011 0.08689 1 1 0.02539 0.195 0.261 0.1694 1.302 1.742 json
t19_x23_u6_b98 19 23 6 98 min(R,dst(nrm(D),R)) 156952 155221946 o2(x,o2(o1(x),x)) true 135623 135623 -0.001237 0.4949 0.3864 0.2113 0.4597 -0.9989 0.9805 1.979 1 4.843 0.00302 0.003444 0.06473 -0.06552 1 0.00006013 0.001926 0.0179 0.002275 0.04769 0.7368 0.6964 0.0306 0.009117 1 1 0.01216 0.1489 0.3773 0.05757 0.7047 1.786 json
t19_x23_u6_b99 19 23 6 99 dot(R,add(nrm(D),R)) 156953 155221947 o2(x,o2(o1(x),x)) true 135631 135631 0.7745 0.9822 0.7772 0.08978 0.2996 -0.2419 1 1.242 1 2.89 0.005442 0.005938 0.06158 -0.04353 1 -0.0002027 0.01279 0.03853 0.007586 0.0871 1.414 1.375 0.1268 0.1424 1 1 0.018 0.1191 0.1551 0.2005 1.326 1.727 json
t19_x23_u6_b100 19 23 6 100 dot(R,sub(nrm(D),R)) 156954 155221948 o2(x,o2(o1(x),x)) true 135639 135639 -0.7568 0.01767 0.7592 0.09144 0.3024 -1 0.2304 1.23 1 3.012 0.005453 0.005814 0.06199 -0.03204 1 -0.0000343 0.0127 0.03797 0.007425 0.08617 1.39 1.35 0.1232 0.1389 1 1 0.01824 0.1217 0.1731 0.1994 1.331 1.893 json
t19_x23_u6_b101 19 23 6 101 dot(R,mlt(nrm(D),R)) 156955 155221949 o2(x,o2(o1(x),x)) true 135647 135647 -0.003638 0.4896 0.24 0.1023 0.3198 -1 1 2 1 4.357 0.00941 0.009401 0.09439 0.0005125 1 0.00009391 0.01706 0.03906 0.009901 0.09951 1.054 1.473 0.1839 0.1668 1 1 0.02985 0.1874 0.1093 0.2919 1.833 1.069 json
t19_x23_u6_b102 19 23 6 102 dot(R,div(nrm(D),R)) 156956 155221950 o2(x,o2(o1(x),x)) true 135655 135655 9.594e-8 0.4688 0.4485 0.3179 0.5638 -1 1 2 1 4.645 0.03342 0.03342 0.2041 6.688e-7 1 7.902e-9 0.04785 0.08609 0.02518 0.1587 0.7775 1.414 0.2102 0.1505 1 1 0.1179 0.6841 4.505e-15 0.3708 2.152 1.417e-14 json
t19_x23_u6_b103 19 23 6 103 dot(R,pow(nrm(D),R)) 156957 155221951 o2(x,o2(o1(x),x)) true 135663 135663 -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_x23_u6_b104 19 23 6 104 dot(R,mod(nrm(D),R)) 156958 155221952 o2(x,o2(o1(x),x)) true 135671 135671 0.004817 0.5134 0.203 0.08164 0.2857 -1 1 2 1 4.12 0.02723 0.02713 0.1518 0.001847 1 -0.0001696 0.1824 0.2238 0.03132 0.177 1.166 1.496 0.6658 2.235 1 1 0.05081 0.1401 0.1537 0.6224 1.717 1.883 json
t19_x23_u6_b105 19 23 6 105 dot(R,lrg(nrm(D),R)) 156959 155221953 o2(x,o2(o1(x),x)) true 135679 135679 -0.4612 0.1214 0.5177 0.1656 0.4069 -1 1 2 1 4.3 0.01828 0.01897 0.1043 -0.01852 1 0.00001117 0.12 0.1452 0.02636 0.1623 1.556 1.342 0.225 0.725 1 1 0.04123 0.1772 0.3058 0.249 1.071 1.847 json
t19_x23_u6_b106 19 23 6 106 dot(R,eql(nrm(D),R)) 156960 155221954 o2(x,o2(o1(x),x)) true 135687 135687 0.0001096 0.0005188 0.0002251 0.0001263 0.01124 -0.3139 0.9417 1.256 1 0.01181 0.0002048 0.0002595 0.0007451 -0.1177 1 1.549e-11 0.00215 0.001722 0.0004637 0.02153 28.9 1.332 3.677 17.03 1 1 0.0004438 0.0004445 0.0004415 3.514 3.52 3.496 json
t19_x23_u6_b107 19 23 6 107 dot(R,min(nrm(D),R)) 156961 155221955 o2(x,o2(o1(x),x)) true 135695 135695 0.4664 0.8692 0.5381 0.1724 0.4152 -1 1 2 1 4.339 0.007757 0.008269 0.08553 -0.03192 1 -0.00009098 0.01371 0.03779 0.00871 0.09333 1.091 1.566 0.09297 0.07955 1 1 0.02892 0.2108 0.2887 0.1678 1.223 1.675 json
t19_x23_u6_b108 19 23 6 108 dot(R,dot(nrm(D),R)) 156962 155221956 o2(x,o2(o1(x),x)) true 135703 135703 -0.005933 0.4873 0.2939 0.1667 0.4083 -1 1 2 1 4.489 0.012 0.01354 0.1002 -0.06044 1 0.0001419 0.02336 0.04393 0.0155 0.1245 1.243 2.088 0.1532 0.1401 1 1 0.04672 0.3334 0.2886 0.2803 2 1.731 json
t19_x23_u6_b109 19 23 6 109 dot(R,dst(nrm(D),R)) 156963 155221957 o2(x,o2(o1(x),x)) true 135711 135711 0.02681 0.5178 0.6119 0.4978 0.7056 -1 1 2 1 4.465 0.0106 0.01155 0.1003 -0.04281 1 0.00003461 0.009843 0.04184 0.01209 0.11 1.097 1.245 0.04449 0.01977 1 1 0.04381 0.4135 0.9511 0.088 0.8307 1.91 json
t19_x23_u6_b110 19 23 6 110 dst(R,add(nrm(D),R)) 156964 155221958 o2(x,o2(o1(x),x)) true 135719 135719 1 1 1 2.604e-15 5.103e-8 1 1 1.192e-7 1 0 2.663e-15 2.739e-15 6.309e-8 -0.00007687 0 9.222e-8 4.24e-14 1.487e-7 1.421e-15 3.77e-8 0.5976 1.686e-7 0.005402 0.0424 0 1 2.822e-15 2.734e-15 9.552e-16 0.002822 0.002734 0.0009552 json
t19_x23_u6_b111 19 23 6 111 dst(R,sub(nrm(D),R)) 156965 155221959 o2(x,o2(o1(x),x)) true 135727 135727 0.9955 1 0.9955 0.001326 0.03642 0.263 1 0.737 1 0.1904 0.0004599 0.0004391 0.004327 0.02321 1 -0.00001243 0.001931 0.005577 0.0008806 0.02967 6.859 0.7468 0.678 1.456 1 1 0.001086 0.002323 0.002234 0.8189 1.752 1.685 json
t19_x23_u6_b112 19 23 6 112 dst(R,mlt(nrm(D),R)) 156966 155221960 o2(x,o2(o1(x),x)) true 135735 135735 0.8854 1 0.8854 0.03094 0.1759 0.04362 1 0.9564 1 2.205 0.002365 0.002628 0.03759 -0.05269 1 -0.000006287 0.006486 0.02544 0.00358 0.05983 1.592 0.8158 0.1614 0.2097 1 1 0.007174 0.03875 0.04137 0.2319 1.253 1.337 json
t19_x23_u6_b113 19 23 6 113 dst(R,div(nrm(D),R)) 156967 155221961 o2(x,o2(o1(x),x)) true 135743 135743 0.997 1 0.997 0.001107 0.03327 0.1507 1 0.8493 1 0.1188 0.0007805 0.0007751 0.004852 0.003439 1 -0.000009031 0.004751 0.00788 0.001532 0.03914 8.066 0.8244 1.406 4.294 1 1 0.001165 0.001685 0.001571 1.053 1.523 1.42 json
t19_x23_u6_b114 19 23 6 114 dst(R,pow(nrm(D),R)) 156968 155221962 o2(x,o2(o1(x),x)) true 135751 135751 -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_x23_u6_b115 19 23 6 115 dst(R,mod(nrm(D),R)) 156969 155221963 o2(x,o2(o1(x),x)) true 135759 135759 0.8738 1 0.8738 0.03184 0.1784 0.03703 1 0.963 1 2.362 0.006407 0.00652 0.06225 -0.008796 1 0.0001361 0.0455 0.09993 0.00905 0.09513 1.528 1.116 0.4059 1.429 1 1 0.01166 0.03711 0.05576 0.3661 1.165 1.751 json
t19_x23_u6_b116 19 23 6 116 dst(R,lrg(nrm(D),R)) 156970 155221964 o2(x,o2(o1(x),x)) true 135767 135767 0.9934 1 0.9934 0.002146 0.04632 0.1002 1 0.8998 1 0.2467 0.0008598 0.0007522 0.005783 0.06675 1 0.000001209 0.004664 0.009742 0.001578 0.03972 6.869 1.203 0.7514 2.174 1 1 0.00176 0.004377 0.004042 0.8202 2.04 1.884 json
t19_x23_u6_b117 19 23 6 117 dst(R,eql(nrm(D),R)) 156971 155221965 o2(x,o2(o1(x),x)) true 135775 135775 0.897 1 0.897 0.02252 0.1501 0.09951 1 0.9005 1 2.181 0.0003629 0.0004829 0.01682 -0.142 1 -0.00001961 0.0003601 0.006113 0.0005629 0.02373 1.411 0.7419 0.03756 0.01599 1 1 0.001358 0.01501 0.03484 0.06032 0.6667 1.547 json
t19_x23_u6_b118 19 23 6 118 dst(R,min(nrm(D),R)) 156972 155221966 o2(x,o2(o1(x),x)) true 135783 135783 0.7169 1 0.7169 0.08933 0.2989 0.0001407 1 0.9999 1 3.334 0.006532 0.006999 0.07216 -0.03449 1 0.00001638 0.01612 0.04402 0.008325 0.09124 1.264 1.069 0.1515 0.1805 1 1 0.02154 0.1253 0.1373 0.2411 1.403 1.538 json
t19_x23_u6_b119 19 23 6 119 dst(R,dot(nrm(D),R)) 156973 155221967 o2(x,o2(o1(x),x)) true 135791 135791 0.9337 1 0.9337 0.01943 0.1394 0.02659 1 0.9734 1 1.537 0.002148 0.002355 0.02935 -0.04615 1 -0.00005667 0.007444 0.02684 0.00364 0.06033 2.056 0.8431 0.2317 0.383 1 1 0.006427 0.02702 0.03192 0.3307 1.391 1.643 json
t19_x23_u6_b120 19 23 6 120 dst(R,dst(nrm(D),R)) 156974 155221968 o2(x,o2(o1(x),x)) true 135799 135799 0.9955 1 0.9955 0.00182 0.04266 0.02111 1 0.9789 1 0.1608 0.0005849 0.0005771 0.004266 0.006671 1 0.000001605 0.002557 0.005571 0.001143 0.03382 7.927 0.979 0.6386 1.405 1 1 0.002077 0.005352 0.004485 1.142 2.941 2.465 json
t19_x24_u0_b0 19 24 0 0 add(R,add(sqt(R),P)) 156975 155261043 o2(x,o2(o1(x),x)) true 135807 135807 -0.9701 0.01514 0.9945 0.05166 0.2273 -1 1 2 1 0.2059 0.004019 0.00584 0.00635 -0.1847 1 1.201e-10 0.02035 0.01137 0.009817 0.09908 15.6 2.828 0.1908 0.3939 1 1 0.00491 0.02578 0.06934 0.09505 0.499 1.342 json
t19_x24_u0_b1 19 24 0 1 add(R,sub(sqt(R),P)) 156976 155261044 o2(x,o2(o1(x),x)) true 135815 135815 -0.9226 0.03906 0.9993 0.1476 0.3842 -1 1 2 1 0.2601 0.01556 0.01424 0.01506 0.04457 1 -1.952e-10 0.06227 0.03016 0.02958 0.172 11.42 2.828 0.2018 0.4218 1 1 0.02529 0.1086 0.2601 0.1713 0.7358 1.762 json
t19_x24_u0_b2 19 24 0 2 add(R,mlt(sqt(R),P)) 156977 155261045 o2(x,o2(o1(x),x)) true 135823 135823 -0.9768 0.01047 0.9927 0.03646 0.191 -1 1 2 1 0.2128 0.00265 0.004339 0.004979 -0.2416 1 0 0.01448 0.00878 0.006965 0.08346 16.76 2.828 0.1917 0.3972 1 1 0.002174 0.0124 0.03935 0.05963 0.34 1.079 json
t19_x24_u0_b3 19 24 0 3 add(R,div(sqt(R),P)) 156978 155261046 o2(x,o2(o1(x),x)) true 135831 135831 -0.9527 0.03174 0.9777 0.06387 0.2527 -1 1 2 1 0.3624 0.006235 0.006181 0.009873 0.004386 1 0.000007083 0.0259 0.01819 0.01233 0.111 11.24 2 0.1944 0.4055 1 1 0.009294 0.03863 0.09605 0.1455 0.6048 1.504 json
t19_x24_u0_b4 19 24 0 4 add(R,pow(sqt(R),P)) 156979 155261047 o2(x,o2(o1(x),x)) true 135839 135839 -0.8578 0.07422 0.9938 0.255 0.5049 -1 1 2 1 0.4866 0.02282 0.02288 0.02467 -0.001248 1 0 0.09501 0.0477 0.04505 0.2122 8.602 2.828 0.1792 0.3726 1 1 0.04386 0.1868 0.5926 0.172 0.7326 2.324 json
t19_x24_u0_b5 19 24 0 5 add(R,mod(sqt(R),P)) 156980 155261048 o2(x,o2(o1(x),x)) true 135847 135847 -0.9316 0.03516 0.9981 0.1292 0.3595 -1 1 2 1 0.2622 0.01398 0.01171 0.01346 0.08825 1 -5.266e-7 0.0537 0.02651 0.02549 0.1596 11.86 2.828 0.1989 0.4156 1 1 0.02302 0.09456 0.2376 0.1781 0.7318 1.839 json
t19_x24_u0_b6 19 24 0 6 add(R,lrg(sqt(R),P)) 156981 155261049 o2(x,o2(o1(x),x)) true 135855 135855 0.6806 1 0.6806 0.08098 0.2846 0.001084 1 0.9989 1 3.524 0.0009598 0.001102 0.02965 -0.06916 1 0.000005653 0.0003957 0.009455 0.001183 0.0344 1.16 0.223 0.02547 0.004887 1 1 0.003852 0.04209 0.1108 0.04756 0.5198 1.368 json
t19_x24_u0_b7 19 24 0 7 add(R,eql(sqt(R),P)) 156982 155261050 o2(x,o2(o1(x),x)) true 135863 135863 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_x24_u0_b8 19 24 0 8 add(R,min(sqt(R),P)) 156983 155261051 o2(x,o2(o1(x),x)) true 135871 135871 -0.007076 0.4969 0.9322 0.9058 0.9517 -1 1 2 1 2.113 0.001254 0.0006157 0.01371 0.3415 1 -0.00003186 0.0005165 0.005759 0.001683 0.04102 2.991 0.3773 0.002064 0.0005702 1 1 0.003902 0.04481 0.2659 0.004308 0.04947 0.2936 json
t19_x24_u0_b9 19 24 0 9 add(R,dot(sqt(R),P)) 156984 155261052 o2(x,o2(o1(x),x)) true 135879 135879 -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_x24_u0_b10 19 24 0 10 add(R,dst(sqt(R),P)) 156985 155261053 o2(x,o2(o1(x),x)) true 135887 135887 -0.9922 0.003906 1 0.01556 0.1248 -1 1 2 1 0.03687 0.002016 0.002016 0.001997 0 1 0 0.008566 0.004031 0.004024 0.06344 31.76 2.828 0.259 0.5504 1 1 0.007091 0.02837 0.05496 0.4556 1.823 3.531 json
t19_x24_u0_b11 19 24 0 11 sub(R,add(sqt(R),P)) 156986 155261054 o2(x,o2(o1(x),x)) true 135895 135895 -0.931 0.03397 0.9961 0.1281 0.358 -1 1 2 1 0.2954 0.01455 0.01161 0.01391 0.1125 1 3.754e-12 0.05467 0.02709 0.02599 0.1612 11.59 2.828 0.2041 0.4266 1 1 0.02357 0.09939 0.2388 0.1839 0.7756 1.864 json
t19_x24_u0_b12 19 24 0 12 sub(R,sub(sqt(R),P)) 156987 155261055 o2(x,o2(o1(x),x)) true 135903 135903 -0.9855 0.006592 0.9964 0.02411 0.1553 -1 1 2 1 0.1234 0.001958 0.002886 0.003168 -0.1917 1 -9.386e-11 0.0101 0.005565 0.004835 0.06953 21.95 2.737 0.2009 0.4189 1 1 0.0004984 0.00348 0.02119 0.02067 0.1443 0.879 json
t19_x24_u0_b13 19 24 0 13 sub(R,mlt(sqt(R),P)) 156988 155261056 o2(x,o2(o1(x),x)) true 135911 135911 -0.9257 0.03784 0.9963 0.1383 0.3719 -1 1 2 1 0.2838 0.01509 0.01303 0.01466 0.0734 1 -1.314e-10 0.05876 0.02902 0.02792 0.1671 11.4 2.828 0.2032 0.4247 1 1 0.02484 0.1052 0.2512 0.1796 0.7607 1.816 json
t19_x24_u0_b14 19 24 0 14 sub(R,div(sqt(R),P)) 156989 155261057 o2(x,o2(o1(x),x)) true 135919 135919 -0.9404 0.03516 0.9893 0.09998 0.3162 -1 1 2 1 0.3393 0.01076 0.009 0.01225 0.08919 1 0.000006775 0.04124 0.02306 0.0196 0.14 11.42 2.828 0.1977 0.4124 1 1 0.01997 0.08298 0.2028 0.1997 0.8299 2.029 json
t19_x24_u0_b15 19 24 0 15 sub(R,pow(sqt(R),P)) 156990 155261058 o2(x,o2(o1(x),x)) true 135927 135927 -0.9808 0.003906 0.9833 0.01532 0.1238 -1 0.4353 1.435 1 0.3312 0.001838 0.001897 0.006279 -0.01589 1 0.00000255 0.007687 0.009178 0.003698 0.06081 9.685 1.433 0.2438 0.5017 1 1 0.002633 0.01147 0.02355 0.1718 0.7483 1.537 json
t19_x24_u0_b16 19 24 0 16 sub(R,mod(sqt(R),P)) 156991 155261059 o2(x,o2(o1(x),x)) true 135935 135935 -0.9706 0 0.9706 0.02387 0.1545 -1 -0.02815 0.9718 1 0.2818 0.002543 0.002171 0.005918 0.07896 1 0.000002847 0.009848 0.01135 0.004676 0.06838 11.56 1.115 0.1975 0.4127 1 1 0.004195 0.01734 0.04367 0.1758 0.7264 1.83 json
t19_x24_u0_b17 19 24 0 17 sub(R,lrg(sqt(R),P)) 156992 155261060 o2(x,o2(o1(x),x)) true 135943 135943 -0.6037 0.1471 0.7313 0.2667 0.5165 -1 0.9804 1.98 1 3.523 0.004463 0.004722 0.0595 -0.02824 1 0.0001076 0.00153 0.01948 0.005643 0.07512 1.262 0.3359 0.03443 0.005738 1 1 0.01766 0.1993 0.4619 0.06621 0.7472 1.732 json
t19_x24_u0_b18 19 24 0 18 sub(R,eql(sqt(R),P)) 156993 155261061 o2(x,o2(o1(x),x)) true 135951 135951 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_x24_u0_b19 19 24 0 19 sub(R,min(sqt(R),P)) 156994 155261062 o2(x,o2(o1(x),x)) true 135959 135959 0.07899 0.4983 0.8631 0.8146 0.9026 -1 1 2 1 2.607 0.002662 0.002471 0.02792 0.03726 1 0.0001368 0.002431 0.01568 0.004353 0.06598 2.363 0.456 0.006301 0.002984 1 1 0.009348 0.08587 0.3013 0.01148 0.1054 0.3699 json
t19_x24_u0_b20 19 24 0 20 sub(R,dot(sqt(R),P)) 156995 155261063 o2(x,o2(o1(x),x)) true 135967 135967 -0.9922 0.003906 1 0.01556 0.1248 -1 1 2 1 0.03687 0.002016 0.002016 0.001997 0 1 0 0.008566 0.004031 0.004024 0.06344 31.76 2.828 0.259 0.5504 1 1 0.007091 0.02837 0.05496 0.4556 1.823 3.531 json
t19_x24_u0_b21 19 24 0 21 sub(R,dst(sqt(R),P)) 156996 155261064 o2(x,o2(o1(x),x)) true 135975 135975 -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_x24_u0_b22 19 24 0 22 mlt(R,add(sqt(R),P)) 156997 155261065 o2(x,o2(o1(x),x)) true 135983 135983 -0.9757 0.01041 0.9906 0.03596 0.1896 -1 1 2 1 0.2419 0.002795 0.004212 0.005415 -0.2023 1 1.877e-11 0.01453 0.009534 0.006978 0.08354 15.43 2.828 0.1948 0.4041 1 1 0.002298 0.01258 0.04125 0.06391 0.3498 1.147 json
t19_x24_u0_b23 19 24 0 23 mlt(R,sub(sqt(R),P)) 156998 155261066 o2(x,o2(o1(x),x)) true 135991 135991 -0.9267 0.03775 0.9953 0.1354 0.3679 -1 1 2 1 0.2988 0.01458 0.01262 0.01458 0.07184 1 1.051e-10 0.05676 0.02863 0.027 0.1643 11.27 2.828 0.201 0.4194 1 1 0.02424 0.1034 0.2463 0.1791 0.7643 1.819 json
t19_x24_u0_b24 19 24 0 24 mlt(R,mlt(sqt(R),P)) 156999 155261067 o2(x,o2(o1(x),x)) true 135999 135999 -0.9805 0.007813 0.9909 0.02643 0.1626 -1 1 2 1 0.2446 0.002199 0.003195 0.004958 -0.1845 1 8.504e-7 0.01115 0.008179 0.005372 0.07329 14.78 2.556 0.2041 0.4217 1 1 0.001206 0.006585 0.02674 0.04561 0.2491 1.012 json