Laboratory of Babel / Archive / grad-noise-175k

grad-noise-175k

Gradient noise, 175k (run of 2026-09-23) · A complete batch run over 175,797 lattice-noise expressions, with 32 texture diagnostics and a frame of each.

About this collection

This collection is complete and closed. Every expression in the space below was rendered and measured once, in a single batch run. Each row is one expression, and its coordinate links to it running live on uto.run.

The purpose is exploratory. There is no target texture and no attempt to resemble Perlin noise. A constant field, a strongly directional pattern or an odd value distribution is an observation, not a failure. The measurements describe textures so they can be sorted, filtered and compared. They are a lossy fingerprint, not a judgement of quality and not a substitute for looking.

The space

An ither formula with two layers:

  • topo: expression trees of up to 64 nodes, built from unary (o1), binary (o2) and leaf (x) slots
  • expr: fills those slots
    • leaves: P, D, R
    • unary: sqt log frc flr cil sgn nrm
    • binary: add sub mlt div pow mod lrg eql min dot dst

A coordinate t·x·u·b follows the formula's projection: t the topology, x the leaf choices, u the unary choices, b the binary choices. Points outside the space were omitted from the run. Two orderings ride along: ordinal is the point's position in ither's whole enumeration (gaps where points were omitted), and batch index is its place in the batch run's sequence, 0 to 175,796 (the run's inputs.expr, and the number in its frame's file name).

The apparatus

Each expression is evaluated at the corners of a rectangular lattice with quintic blending (LATT.RECT.QUINTIC), over coordinates mlt(C, 8), in a 256 × 256 field #A. One configuration per expression: the dimension and coordinate scale were fixed for the whole run.

Measurements are taken from #A's x channel, its stored values (not a screenshot), at step 7, after which the run moves to the next expression. The frame in each row is that field, remapped for display.

The measurements

Notation: f is the field value, E averages the whole field, and E_I averages the interior (C-space [-0.98, 0.98]², which keeps wrapped edges out of the spatial measures).

Value distribution

key meaning
value_mean, value_abs_mean E[f] and E[|f|]: signed offset, typical distance from zero
value_positive_fraction share of values above 0 (field tolerance 0.0001)
value_variance, value_stddev population variance and SD: contrast
value_min, value_max, value_range sampled extrema and their difference
histogram_entropy_bits entropy of a 32-bin histogram over [−1, 1], 0 (one bin) to 5 (uniform) bits
histogram_probability_sum consistency check, ≈ 1

Local roughness (one-pixel differences dx, dy, and g = √(dx² + dy²))

key meaning
gradient_energy_x, gradient_energy_y E_I[dx²], E_I[dy²]
gradient_magnitude_mean E_I[g]: roughness
gradient_magnitude_variance, _stddev, _max how unevenly that roughness is spread, and its peak
gradient_magnitude_cv SD / mean of g: uneven activity (quiet areas interrupted by edges), independent of amplitude
gradient_axis_bias (Ex − Ey) / (Ex + Ey), −1 to 1: horizontal vs vertical preference. Zero does not mean isotropic (diagonals balance too)
gradient_nonzero_flag 1 if there is any gradient energy at all

Change of slope (four-neighbour Laplacian L)

key meaning
laplacian_mean, laplacian_energy, laplacian_abs_mean E_I[L], E_I[L²], E_I[|L|]. Sharp or high-frequency structure responds; a linear ramp does not

Normalised by contrast (comparable across amplitudes)

key meaning
gradient_energy_over_variance (Ex + Ey) / variance
laplacian_energy_over_variance E_I[L²] / variance
variance_normalization_valid_flag, gradient_cv_valid_flag whether the denominators above are meaningful (> 10⁻¹²). Filter on these before trusting a ratio

Three spatial scales (mean squared difference at a distance, over the central [-0.74, 0.74]²: 2, 8 and 32 pixels at this resolution)

key meaning
scale_diff2_near, _mid, _far raw difference energy at each distance
scale_diff2_near_over_variance, _mid_…, _far_… the same, normalised. Low near and rising far suggests smooth structure; a dip at a longer distance can hint at repetition

Each record's json also holds value_histogram (the 32 bin probabilities) and scale_curve (the three scales with their distances).

Reading them, and their limits

  • Clipping. #A kept its default signed domain, so values outside [−1, 1] were clipped before measuring. The diagnostics describe the clipped texture.
  • Combinations say more than any one key. A large range with modest SD and a high gradient peak suggests a few strong excursions. A broad histogram with low normalised detail suggests smooth variation. Similar roughness with a different CV means the activity is concentrated differently.
  • Entropy is about values, not space. A smooth ramp can have high entropy, and shuffling the pixels would not change it.
  • Raw spatial measures depend on resolution and amplitude. Prefer the normalised keys for detail independent of contrast, after checking the validity flags.
  • Not measured: full orientation, spectra or periodicity, lacunarity, tileability, colour, novelty, aesthetic merit.
  • Validation. The suite compiled and ran on every expression. Systematic numerical controls (constants, ramps, stripes, checkerboards, random pixels) and a comparison against longer settling times were not done before this run. Treat the values as exploratory.

Provenance

  • Apparatus: noiseBatch/one.uto, project SHA-256 b6fc8f27…be04d0
  • Expression corpus: SHA-256 7d3ec029…d72266
  • Run files (canonical), in ~/lab/data/grad-noise-175k/: the enumeration (grad-noise-175k.jsonl), the measurements (grad-noise-175k-output.jsonl, joined on inputs.expr), the formula (grad-noise-175k.manifest.json) and the frames (png/)
175,797 records
coordinate ▲ t x u b expression batch index ordinal topo measured step globalStep value_mean value_positive_fraction value_abs_mean value_variance value_stddev value_min value_max value_range histogram_probability_sum histogram_entropy_bits gradient_energy_x gradient_energy_y gradient_magnitude_mean gradient_axis_bias gradient_nonzero_flag laplacian_mean laplacian_energy laplacian_abs_mean gradient_magnitude_variance gradient_magnitude_stddev gradient_magnitude_cv gradient_magnitude_max gradient_energy_over_variance laplacian_energy_over_variance variance_normalization_valid_flag gradient_cv_valid_flag scale_diff2_near scale_diff2_mid scale_diff2_far scale_diff2_near_over_variance scale_diff2_mid_over_variance scale_diff2_far_over_variance
t17_x20_u6_b37 17 20 6 37 div(R,pow(P,nrm(R))) 115200 138859480 o2(x,o2(x,o1(x))) true 81607 81607 -0.6869 0.1555 0.7591 0.2301 0.4797 -1 0.9432 1.943 1 2.588 0.007013 0.003056 0.03446 0.393 1 0.00005965 0.01349 0.02011 0.008881 0.09424 2.735 2.097 0.04376 0.0586 1 1 0.01429 0.1025 0.2809 0.06212 0.4453 1.221 json
t17_x20_u6_b38 17 20 6 38 div(R,mod(P,nrm(R))) 115201 138859481 o2(x,o2(x,o1(x))) true 81615 81615 -0.1682 0.4167 0.9077 0.8462 0.9199 -1 1 2 1 2.384 0.04488 0.0346 0.105 0.1293 1 -0.00006337 0.09533 0.09565 0.06846 0.2616 2.493 2.055 0.09392 0.1127 1 1 0.1179 0.7203 1.6 0.1393 0.8512 1.891 json
t17_x20_u6_b39 17 20 6 39 div(R,lrg(P,nrm(R))) 115202 138859482 o2(x,o2(x,o1(x))) true 81623 81623 -0.5521 0.2093 0.7173 0.3323 0.5765 -1 0.9806 1.981 1 3.203 0.005341 0.001961 0.03349 0.463 1 0.000005562 0.009453 0.0147 0.006182 0.07862 2.347 2.097 0.02197 0.02844 1 1 0.01098 0.09044 0.2843 0.03304 0.2721 0.8554 json
t17_x20_u6_b40 17 20 6 40 div(R,eql(P,nrm(R))) 115203 138859483 o2(x,o2(x,o1(x))) true 81631 81631 -1 0 1 0 0 -1 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 json
t17_x20_u6_b41 17 20 6 41 div(R,min(P,nrm(R))) 115204 138859484 o2(x,o2(x,o1(x))) true 81639 81639 0.3683 0.6957 0.5625 0.3525 0.5937 -1 1 2 1 3.806 0.01491 0.00787 0.02929 0.309 1 -0.000006917 0.0455 0.02908 0.02192 0.1481 5.054 2.828 0.06461 0.1291 1 1 0.03608 0.156 0.4341 0.1024 0.4426 1.231 json
t17_x20_u6_b42 17 20 6 42 div(R,dot(P,nrm(R))) 115205 138859485 o2(x,o2(x,o1(x))) true 81647 81647 -0.01889 0.4947 0.2994 0.1812 0.4257 -1 1 2 1 4.278 0.006382 0.005053 0.04043 0.1162 1 -0.000009452 0.01452 0.02107 0.009801 0.099 2.449 2.828 0.0631 0.08014 1 1 0.02434 0.1669 0.4126 0.1343 0.9208 2.277 json
t17_x20_u6_b43 17 20 6 43 div(R,dst(P,nrm(R))) 115206 138859486 o2(x,o2(x,o1(x))) true 81655 81655 0.01173 0.4991 0.08201 0.01423 0.1193 -0.6142 0.8291 1.443 1 2.775 0.0002406 0.0002084 0.01379 0.07171 1 0.000001795 0.00002835 0.003194 0.0002589 0.01609 1.167 0.1687 0.03155 0.001992 1 1 0.001408 0.01824 0.03796 0.0989 1.281 2.668 json
t17_x20_u6_b44 17 20 6 44 pow(R,add(P,nrm(R))) 115207 138859487 o2(x,o2(x,o1(x))) true 81663 81663 -0.9194 0.04297 0.9947 0.1477 0.3843 -1 1 2 1 0.3257 0.0158 0.01426 0.01582 0.05134 1 0.000001713 0.06286 0.03135 0.02981 0.1726 10.91 2.828 0.2035 0.4256 1 1 0.02509 0.107 0.2602 0.1699 0.7246 1.762 json
t17_x20_u6_b45 17 20 6 45 pow(R,sub(P,nrm(R))) 115208 138859488 o2(x,o2(x,o1(x))) true 81671 81671 -0.9173 0.04297 0.9968 0.1548 0.3935 -1 1 2 1 0.2857 0.01609 0.0152 0.01599 0.02851 1 0.000001975 0.0654 0.03201 0.03103 0.1762 11.02 2.828 0.2021 0.4224 1 1 0.02543 0.1095 0.267 0.1642 0.7072 1.724 json
t17_x20_u6_b46 17 20 6 46 pow(R,mlt(P,nrm(R))) 115209 138859489 o2(x,o2(x,o1(x))) true 81679 81679 -0.8566 0.07422 0.995 0.259 0.5089 -1 1 2 1 0.4802 0.02323 0.02278 0.02397 0.009846 1 0.000002403 0.09594 0.04745 0.04541 0.2131 8.891 2.828 0.1776 0.3704 1 1 0.04497 0.1879 0.6188 0.1736 0.7255 2.389 json
t17_x20_u6_b47 17 20 6 47 pow(R,div(P,nrm(R))) 115210 138859490 o2(x,o2(x,o1(x))) true 81687 81687 -0.8669 0.07016 0.9925 0.2383 0.4881 -1 1 2 1 0.4833 0.02241 0.02214 0.0238 0.006135 1 0.000001273 0.09287 0.04658 0.04398 0.2097 8.813 2.828 0.187 0.3897 1 1 0.04349 0.1825 0.5463 0.1825 0.7659 2.293 json
t17_x20_u6_b48 17 20 6 48 pow(R,pow(P,nrm(R))) 115211 138859491 o2(x,o2(x,o1(x))) true 81695 81695 -0.9876 0.007813 0.9968 0.02043 0.1429 -1 1 2 1 0.09511 0.002086 0.002512 0.002889 -0.09267 1 0.000002735 0.0097 0.005471 0.00459 0.06775 23.45 2.64 0.2251 0.4748 1 1 0.0007549 0.005342 0.01816 0.03695 0.2615 0.8891 json
t17_x20_u6_b49 17 20 6 49 pow(R,mod(P,nrm(R))) 115212 138859492 o2(x,o2(x,o1(x))) true 81703 81703 -0.8532 0.07422 0.9984 0.2692 0.5188 -1 1 2 1 0.4355 0.0242 0.02399 0.02447 0.004541 1 0.000001008 0.1005 0.0488 0.04756 0.2181 8.911 2.828 0.179 0.3736 1 1 0.04581 0.1912 0.6326 0.1702 0.7105 2.35 json
t17_x20_u6_b50 17 20 6 50 pow(R,lrg(P,nrm(R))) 115213 138859493 o2(x,o2(x,o1(x))) true 81711 81711 -0.08012 0.4609 0.998 0.9909 0.9955 -1 1 2 1 1.063 0.01614 0.008945 0.01301 0.2867 1 0.000002697 0.05197 0.02581 0.0249 0.1578 12.13 2.828 0.02531 0.05245 1 1 0.03067 0.125 0.4555 0.03095 0.1262 0.4596 json
t17_x20_u6_b51 17 20 6 51 pow(R,eql(P,nrm(R))) 115214 138859494 o2(x,o2(x,o1(x))) true 81719 81719 1 1 1 0 0 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 json
t17_x20_u6_b52 17 20 6 52 pow(R,min(P,nrm(R))) 115215 138859495 o2(x,o2(x,o1(x))) true 81727 81727 -0.9155 0.04297 0.9985 0.1594 0.3993 -1 1 2 1 0.2967 0.01631 0.01571 0.01632 0.01859 1 0.00000186 0.06691 0.0326 0.03174 0.1782 10.92 2.828 0.2009 0.4197 1 1 0.0253 0.1087 0.2709 0.1587 0.682 1.7 json
t17_x20_u6_b53 17 20 6 53 pow(R,dot(P,nrm(R))) 115216 138859496 o2(x,o2(x,o1(x))) true 81735 81735 -0.9182 0.04297 0.9958 0.1512 0.3889 -1 1 2 1 0.315 0.01575 0.01436 0.01604 0.04599 1 9.876e-7 0.06283 0.03161 0.02985 0.1728 10.77 2.828 0.1991 0.4155 1 1 0.0245 0.1057 0.2624 0.162 0.6992 1.735 json
t17_x20_u6_b54 17 20 6 54 pow(R,dst(P,nrm(R))) 115217 138859497 o2(x,o2(x,o1(x))) true 81743 81743 -0.9496 0.04259 0.9644 0.0578 0.2404 -1 0.7752 1.775 1 0.3791 0.006035 0.005691 0.0106 0.02931 1 0.000004774 0.02445 0.01965 0.01162 0.1078 10.17 1.992 0.2029 0.423 1 1 0.009772 0.04266 0.1049 0.1691 0.738 1.815 json
t17_x20_u6_b55 17 20 6 55 mod(R,add(P,nrm(R))) 115218 138859498 o2(x,o2(x,o1(x))) true 81751 81751 0.007864 0.4968 0.3712 0.2007 0.448 -0.9989 0.9806 1.979 1 4.82 0.002495 0.002857 0.05964 -0.06752 1 0.00004221 0.0003122 0.01363 0.001796 0.04237 0.7105 0.2301 0.02667 0.001556 1 1 0.01061 0.1362 0.3468 0.05286 0.6786 1.728 json
t17_x20_u6_b56 17 20 6 56 mod(R,sub(P,nrm(R))) 115219 138859499 o2(x,o2(x,o1(x))) true 81759 81759 0.006361 0.4948 0.3643 0.1958 0.4425 -0.9987 0.9806 1.979 1 4.806 0.002466 0.002801 0.05882 -0.06371 1 0.00004291 0.0003092 0.01349 0.001807 0.04251 0.7228 0.2301 0.0269 0.001579 1 1 0.01026 0.1318 0.3414 0.0524 0.673 1.743 json
t17_x20_u6_b57 17 20 6 57 mod(R,mlt(P,nrm(R))) 115220 138859500 o2(x,o2(x,o1(x))) true 81767 81767 -0.1293 0.4269 0.4518 0.287 0.5357 -1 0.9806 1.981 1 4.736 0.01142 0.002597 0.06081 0.6296 1 0.00006107 0.01877 0.02871 0.01032 0.1016 1.671 1.683 0.04886 0.06539 1 1 0.02087 0.1621 0.4701 0.07274 0.5648 1.638 json
t17_x20_u6_b58 17 20 6 58 mod(R,div(P,nrm(R))) 115221 138859501 o2(x,o2(x,o1(x))) true 81775 81775 -0.12 0.4324 0.4674 0.3015 0.5491 -1 0.9806 1.981 1 4.761 0.01585 0.002792 0.06406 0.7005 1 0.00004824 0.0275 0.03166 0.01454 0.1206 1.882 1.943 0.06184 0.09123 1 1 0.02584 0.1831 0.5035 0.0857 0.6074 1.67 json
t17_x20_u6_b59 17 20 6 59 mod(R,pow(P,nrm(R))) 115222 138859502 o2(x,o2(x,o1(x))) true 81783 81783 -0.5155 0.2308 0.6873 0.3544 0.5953 -1 0.9809 1.981 1 2.906 0.008059 0.0007714 0.02609 0.8253 1 -0.000001156 0.01467 0.01488 0.008148 0.09027 3.46 1.943 0.02492 0.04139 1 1 0.01174 0.07278 0.2074 0.03314 0.2054 0.5854 json
t17_x20_u6_b60 17 20 6 60 mod(R,mod(P,nrm(R))) 115223 138859503 o2(x,o2(x,o1(x))) true 81791 81791 -0.1425 0.399 0.2266 0.128 0.3577 -1 0.7338 1.734 1 3.468 0.008901 0.0003324 0.02575 0.928 1 0.00001411 0.01725 0.02036 0.008571 0.09258 3.595 1.391 0.07215 0.1348 1 1 0.01225 0.05829 0.2024 0.09575 0.4555 1.582 json
t17_x20_u6_b61 17 20 6 61 mod(R,lrg(P,nrm(R))) 115224 138859504 o2(x,o2(x,o1(x))) true 81799 81799 -0.5521 0.2093 0.7173 0.3323 0.5765 -1 0.9806 1.981 1 3.203 0.005341 0.001961 0.03349 0.463 1 0.000005562 0.009453 0.0147 0.006182 0.07862 2.347 2.097 0.02197 0.02844 1 1 0.01098 0.09044 0.2843 0.03304 0.2721 0.8554 json
t17_x20_u6_b62 17 20 6 62 mod(R,eql(P,nrm(R))) 115225 138859505 o2(x,o2(x,o1(x))) true 81807 81807 -1 0 1 0 0 -1 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 json
t17_x20_u6_b63 17 20 6 63 mod(R,min(P,nrm(R))) 115226 138859506 o2(x,o2(x,o1(x))) true 81815 81815 -0.08352 0.4316 0.3453 0.2029 0.4505 -1 0.9693 1.969 1 4.594 0.00866 0.003465 0.05045 0.4285 1 0.000008674 0.01771 0.02378 0.00958 0.09788 1.94 1.898 0.05975 0.08729 1 1 0.01866 0.1334 0.3661 0.09195 0.6572 1.804 json
t17_x20_u6_b64 17 20 6 64 mod(R,dot(P,nrm(R))) 115227 138859507 o2(x,o2(x,o1(x))) true 81823 81823 -0.008779 0.4845 0.3814 0.2169 0.4658 -1 0.9806 1.981 1 4.848 0.004077 0.004676 0.06217 -0.06841 1 0.00002592 0.007269 0.01848 0.004888 0.06991 1.125 2.097 0.04035 0.03351 1 1 0.01589 0.1509 0.4088 0.07322 0.6957 1.884 json
t17_x20_u6_b65 17 20 6 65 mod(R,dst(P,nrm(R))) 115228 138859508 o2(x,o2(x,o1(x))) true 81831 81831 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
t17_x20_u6_b66 17 20 6 66 lrg(R,add(P,nrm(R))) 115229 138859509 o2(x,o2(x,o1(x))) true 81839 81839 0.4902 0.5302 0.4902 0.2414 0.4913 0 1 1 1 1.402 0.0003287 0.00008778 0.004813 0.5785 1 0.000005704 0.00002148 0.001143 0.0003932 0.01983 4.12 0.1169 0.001725 0.00008898 1 1 0.001058 0.01391 0.08478 0.004383 0.05761 0.3512 json
t17_x20_u6_b67 17 20 6 67 lrg(R,sub(P,nrm(R))) 115230 138859510 o2(x,o2(x,o1(x))) true 81847 81847 0.5078 0.6045 0.5078 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
t17_x20_u6_b68 17 20 6 68 lrg(R,mlt(P,nrm(R))) 115231 138859511 o2(x,o2(x,o1(x))) true 81855 81855 0.5391 0.9414 0.5391 0.1536 0.3919 0 1 1 1 3.408 0.001932 0.00243 0.05108 -0.1142 1 0.00001355 0.0002557 0.01242 0.001753 0.04186 0.8196 0.1169 0.02839 0.001665 1 1 0.008466 0.109 0.3105 0.05512 0.71 2.022 json
t17_x20_u6_b69 17 20 6 69 lrg(R,div(P,nrm(R))) 115232 138859512 o2(x,o2(x,o1(x))) true 81863 81863 0.5215 0.9288 0.5215 0.1546 0.3932 0 1 1 1 3.414 0.001912 0.002433 0.05092 -0.1198 1 0.00003066 0.0002568 0.0124 0.001753 0.04187 0.8222 0.1169 0.02811 0.001662 1 1 0.008497 0.1095 0.3067 0.05497 0.7083 1.984 json
t17_x20_u6_b70 17 20 6 70 lrg(R,pow(P,nrm(R))) 115233 138859513 o2(x,o2(x,o1(x))) true 81871 81871 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
t17_x20_u6_b71 17 20 6 71 lrg(R,mod(P,nrm(R))) 115234 138859514 o2(x,o2(x,o1(x))) true 81879 81879 0.5098 0.9199 0.5098 0.1552 0.3939 0 1 1 1 3.412 0.001996 0.002314 0.0506 -0.07392 1 -0.00002708 0.0002589 0.01236 0.001751 0.04184 0.827 0.1169 0.02778 0.001668 1 1 0.008668 0.1118 0.2881 0.05586 0.7203 1.857 json
t17_x20_u6_b72 17 20 6 72 lrg(R,lrg(P,nrm(R))) 115235 138859515 o2(x,o2(x,o1(x))) true 81887 81887 0.2676 0.4921 0.2676 0.1474 0.3839 0 1 1 1 2.341 0.001052 0.001231 0.02666 -0.0785 1 0.000006427 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
t17_x20_u6_b73 17 20 6 73 lrg(R,eql(P,nrm(R))) 115236 138859516 o2(x,o2(x,o1(x))) true 81895 81895 0.4824 0.9147 0.4824 0.1537 0.3921 0 1 1 1 3.429 0.001972 0.002442 0.05168 -0.1065 1 -0.00001781 0.0002592 0.01257 0.001744 0.04176 0.8079 0.1169 0.02872 0.001686 1 1 0.008731 0.1124 0.2862 0.0568 0.7316 1.862 json
t17_x20_u6_b74 17 20 6 74 lrg(R,min(P,nrm(R))) 115237 138859517 o2(x,o2(x,o1(x))) true 81903 81903 0.7881 0.9836 0.7881 0.1209 0.3477 0 1 1 1 2.157 0.001138 0.001048 0.02546 0.04121 1 0.00004777 0.0001213 0.006109 0.001537 0.03921 1.54 0.1169 0.01808 0.001004 1 1 0.004207 0.05507 0.1909 0.03481 0.4556 1.58 json
t17_x20_u6_b75 17 20 6 75 lrg(R,dot(P,nrm(R))) 115238 138859518 o2(x,o2(x,o1(x))) true 81911 81911 0.5469 0.9535 0.5469 0.1539 0.3923 0 1 1 1 3.385 0.00201 0.002362 0.05095 -0.08055 1 0.00004563 0.0002525 0.01234 0.001775 0.04213 0.8269 0.1169 0.02841 0.001641 1 1 0.008638 0.1114 0.3269 0.05614 0.7242 2.125 json
t17_x20_u6_b76 17 20 6 76 lrg(R,dst(P,nrm(R))) 115239 138859519 o2(x,o2(x,o1(x))) true 81919 81919 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 json
t17_x20_u6_b77 17 20 6 77 eql(R,add(P,nrm(R))) 115240 138859520 o2(x,o2(x,o1(x))) true 81927 81927 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 json
t17_x20_u6_b78 17 20 6 78 eql(R,sub(P,nrm(R))) 115241 138859521 o2(x,o2(x,o1(x))) true 81935 81935 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 json
t17_x20_u6_b79 17 20 6 79 eql(R,mlt(P,nrm(R))) 115242 138859522 o2(x,o2(x,o1(x))) true 81943 81943 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 json
t17_x20_u6_b80 17 20 6 80 eql(R,div(P,nrm(R))) 115243 138859523 o2(x,o2(x,o1(x))) true 81951 81951 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 json
t17_x20_u6_b81 17 20 6 81 eql(R,pow(P,nrm(R))) 115244 138859524 o2(x,o2(x,o1(x))) true 81959 81959 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 json
t17_x20_u6_b82 17 20 6 82 eql(R,mod(P,nrm(R))) 115245 138859525 o2(x,o2(x,o1(x))) true 81967 81967 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 json
t17_x20_u6_b83 17 20 6 83 eql(R,lrg(P,nrm(R))) 115246 138859526 o2(x,o2(x,o1(x))) true 81975 81975 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 json
t17_x20_u6_b84 17 20 6 84 eql(R,eql(P,nrm(R))) 115247 138859527 o2(x,o2(x,o1(x))) true 81983 81983 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 json
t17_x20_u6_b85 17 20 6 85 eql(R,min(P,nrm(R))) 115248 138859528 o2(x,o2(x,o1(x))) true 81991 81991 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 json
t17_x20_u6_b86 17 20 6 86 eql(R,dot(P,nrm(R))) 115249 138859529 o2(x,o2(x,o1(x))) true 81999 81999 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 json
t17_x20_u6_b87 17 20 6 87 eql(R,dst(P,nrm(R))) 115250 138859530 o2(x,o2(x,o1(x))) true 82007 82007 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 json
t17_x20_u6_b88 17 20 6 88 min(R,add(P,nrm(R))) 115251 138859531 o2(x,o2(x,o1(x))) true 82015 82015 -0.4729 0.2444 0.6636 0.3405 0.5835 -1 0.9806 1.981 1 3.691 0.001955 0.001648 0.03732 0.08514 1 -0.000002687 0.0002955 0.009229 0.002211 0.04702 1.26 0.2717 0.01058 0.0008678 1 1 0.00757 0.09601 0.304 0.02223 0.2819 0.8927 json
t17_x20_u6_b89 17 20 6 89 min(R,sub(P,nrm(R))) 115252 138859532 o2(x,o2(x,o1(x))) true 82023 82023 -0.5216 0.2085 0.6701 0.3016 0.5492 -1 0.9806 1.981 1 3.619 0.001442 0.001354 0.03246 0.03134 1 0.00001304 0.0002093 0.007992 0.001742 0.04174 1.286 0.219 0.00927 0.000694 1 1 0.005372 0.06884 0.2231 0.01781 0.2283 0.7396 json
t17_x20_u6_b90 17 20 6 90 min(R,mlt(P,nrm(R))) 115253 138859533 o2(x,o2(x,o1(x))) true 82031 82031 -0.563 0.1567 0.6898 0.2666 0.5163 -1 0.9792 1.979 1 3.716 0.004612 0.004955 0.0553 -0.0359 1 0.000167 0.002736 0.02229 0.006506 0.08066 1.459 0.585 0.03588 0.01026 1 1 0.01552 0.1705 0.4135 0.05821 0.6394 1.551 json
t17_x20_u6_b91 17 20 6 91 min(R,div(P,nrm(R))) 115254 138859534 o2(x,o2(x,o1(x))) true 82039 82039 -0.7527 0.0939 0.8369 0.2152 0.4639 -1 0.9784 1.978 1 2.347 0.008781 0.009745 0.05217 -0.05204 1 0.0003331 0.01444 0.03903 0.01581 0.1257 2.41 1.603 0.08608 0.06708 1 1 0.03002 0.2118 0.4173 0.1395 0.984 1.939 json
t17_x20_u6_b92 17 20 6 92 min(R,pow(P,nrm(R))) 115255 138859535 o2(x,o2(x,o1(x))) true 82047 82047 -0.005276 0.4805 0.3857 0.2142 0.4628 -0.9989 0.9806 1.979 1 4.852 0.0028 0.003069 0.06243 -0.04583 1 0.00002809 0.000342 0.01428 0.001973 0.04442 0.7115 0.2301 0.0274 0.001597 1 1 0.01137 0.1459 0.366 0.05307 0.6813 1.709 json
t17_x20_u6_b93 17 20 6 93 min(R,mod(P,nrm(R))) 115256 138859536 o2(x,o2(x,o1(x))) true 82055 82055 -0.2682 0.1706 0.3336 0.09344 0.3057 -0.9989 0.6668 1.666 1 4.303 0.001053 0.001173 0.03772 -0.05397 1 0.0000178 0.0001345 0.008767 0.0008037 0.02835 0.7516 0.1785 0.02383 0.00144 1 1 0.003998 0.05169 0.1391 0.04279 0.5532 1.489 json
t17_x20_u6_b94 17 20 6 94 min(R,lrg(P,nrm(R))) 115257 138859537 o2(x,o2(x,o1(x))) true 82063 82063 -0.1361 0.2244 0.3105 0.1484 0.3852 -0.9989 0.9806 1.979 1 4.449 0.001872 0.001879 0.04664 -0.001932 1 0.00001726 0.0002226 0.01081 0.001576 0.0397 0.8513 0.219 0.02529 0.001501 1 1 0.007167 0.09264 0.2444 0.04831 0.6245 1.648 json
t17_x20_u6_b95 17 20 6 95 min(R,eql(P,nrm(R))) 115258 138859538 o2(x,o2(x,o1(x))) true 82071 82071 -0.2541 0 0.2541 0.06549 0.2559 -0.9989 0 0.9989 1 3.542 0.000768 0.0009295 0.0314 -0.09514 1 0.00001332 0.00009988 0.007359 0.0007117 0.02668 0.8497 0.1168 0.02592 0.001525 1 1 0.003123 0.04017 0.1061 0.04769 0.6134 1.62 json
t17_x20_u6_b96 17 20 6 96 min(R,min(P,nrm(R))) 115259 138859539 o2(x,o2(x,o1(x))) true 82079 82079 -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
t17_x20_u6_b97 17 20 6 97 min(R,dot(P,nrm(R))) 115260 138859540 o2(x,o2(x,o1(x))) true 82087 82087 -0.6416 0.1473 0.7655 0.2747 0.5241 -1 0.9797 1.98 1 3.088 0.005588 0.006288 0.05558 -0.05894 1 0.0002604 0.004443 0.02722 0.008786 0.09374 1.687 0.6546 0.04323 0.01617 1 1 0.01968 0.1958 0.4787 0.07165 0.7128 1.743 json
t17_x20_u6_b98 17 20 6 98 min(R,dst(P,nrm(R))) 115261 138859541 o2(x,o2(x,o1(x))) true 82095 82095 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
t17_x20_u6_b99 17 20 6 99 dot(R,add(P,nrm(R))) 115262 138859542 o2(x,o2(x,o1(x))) true 82103 82103 0.1586 0.5841 0.8704 0.8016 0.8953 -1 1 2 1 2.742 0.02299 0.03169 0.09729 -0.1591 1 -0.00001688 0.04234 0.07112 0.04524 0.2127 2.186 1.913 0.06821 0.05282 1 1 0.06712 0.5163 1.261 0.08374 0.6442 1.573 json
t17_x20_u6_b100 17 20 6 100 dot(R,sub(P,nrm(R))) 115263 138859543 o2(x,o2(x,o1(x))) true 82111 82111 -0.3474 0.3175 0.867 0.7036 0.8388 -1 1 2 1 2.641 0.02334 0.03083 0.09544 -0.1382 1 0.0001113 0.04265 0.06998 0.04506 0.2123 2.224 1.91 0.07699 0.06062 1 1 0.06724 0.5219 1.242 0.09557 0.7418 1.765 json
t17_x20_u6_b101 17 20 6 101 dot(R,mlt(P,nrm(R))) 115264 138859544 o2(x,o2(x,o1(x))) true 82119 82119 -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
t17_x20_u6_b102 17 20 6 102 dot(R,div(P,nrm(R))) 115265 138859545 o2(x,o2(x,o1(x))) true 82127 82127 -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
t17_x20_u6_b103 17 20 6 103 dot(R,pow(P,nrm(R))) 115266 138859546 o2(x,o2(x,o1(x))) true 82135 82135 -0.9831 0.008575 0.9943 0.02659 0.1631 -1 1 2 1 0.1364 0.002852 0.003225 0.004526 -0.06135 1 9.011e-11 0.01246 0.007658 0.006056 0.07782 17.2 2.828 0.2285 0.4686 1 1 0.0006299 0.006494 0.02366 0.02368 0.2442 0.8897 json
t17_x20_u6_b104 17 20 6 104 dot(R,mod(P,nrm(R))) 115267 138859547 o2(x,o2(x,o1(x))) true 82143 82143 -0.02475 0.4607 0.1887 0.0626 0.2502 -0.9658 0.966 1.932 1 4.014 0.0007536 0.001008 0.03275 -0.1444 1 -0.00001239 0.0001038 0.007441 0.0006892 0.02625 0.8017 0.1863 0.02814 0.001659 1 1 0.00289 0.03723 0.1113 0.04616 0.5947 1.779 json
t17_x20_u6_b105 17 20 6 105 dot(R,lrg(P,nrm(R))) 115268 138859548 o2(x,o2(x,o1(x))) true 82151 82151 -0.2734 0.223 0.4546 0.2395 0.4894 -1 1 2 1 4.605 0.003777 0.003585 0.06274 0.02612 1 0.000004416 0.0007526 0.01586 0.003426 0.05853 0.9329 0.343 0.03074 0.003143 1 1 0.01464 0.1795 0.4564 0.06113 0.7494 1.906 json
t17_x20_u6_b106 17 20 6 106 dot(R,eql(P,nrm(R))) 115269 138859549 o2(x,o2(x,o1(x))) true 82159 82159 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 json
t17_x20_u6_b107 17 20 6 107 dot(R,min(P,nrm(R))) 115270 138859550 o2(x,o2(x,o1(x))) true 82167 82167 0.2379 0.6598 0.7877 0.6447 0.8029 -1 1 2 1 3.685 0.01589 0.01986 0.08273 -0.1111 1 -0.00008395 0.02269 0.04827 0.0289 0.17 2.055 1.826 0.05544 0.03519 1 1 0.04865 0.3981 0.8847 0.07547 0.6175 1.372 json
t17_x20_u6_b108 17 20 6 108 dot(R,dot(P,nrm(R))) 115271 138859551 o2(x,o2(x,o1(x))) true 82175 82175 0.0308 0.5202 0.7719 0.7084 0.8416 -1 1 2 1 3.406 0.01325 0.01247 0.0793 0.03052 1 0.00007996 0.01163 0.04219 0.01943 0.1394 1.758 1.258 0.0363 0.01642 1 1 0.04436 0.3801 0.8713 0.06263 0.5366 1.23 json
t17_x20_u6_b109 17 20 6 109 dot(R,dst(P,nrm(R))) 115272 138859552 o2(x,o2(x,o1(x))) true 82183 82183 0.01504 0.5111 0.8938 0.859 0.9268 -1 1 2 1 2.479 0.03942 0.04115 0.1092 -0.02146 1 0.00002255 0.0863 0.09997 0.06867 0.262 2.4 2.14 0.09379 0.1005 1 1 0.1055 0.6942 1.526 0.1228 0.8082 1.776 json
t17_x20_u6_b110 17 20 6 110 dst(R,add(P,nrm(R))) 115273 138859553 o2(x,o2(x,o1(x))) true 82191 82191 0.9976 1 0.9976 0.001267 0.03559 0.1919 1 0.8081 1 0.07117 0.00002754 0.00002955 0.0006021 -0.03519 0 -3.567e-11 0.00001076 0.0002163 0.00005678 0.007535 12.52 0.1341 0.04507 0.008497 1 1 0.0001938 0.002178 0.004616 0.153 1.72 3.644 json
t17_x20_u6_b111 17 20 6 111 dst(R,sub(P,nrm(R))) 115274 138859554 o2(x,o2(x,o1(x))) true 82199 82199 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
t17_x20_u6_b112 17 20 6 112 dst(R,mlt(P,nrm(R))) 115275 138859555 o2(x,o2(x,o1(x))) true 82207 82207 0.9916 1 0.9916 0.003161 0.05623 0.3036 1 0.6964 1 0.2851 0.00005222 0.00007047 0.001686 -0.1487 1 8.26e-11 0.00004857 0.000875 0.0001199 0.01095 6.495 0.2489 0.03881 0.01536 1 1 0.0003213 0.003109 0.009465 0.1016 0.9836 2.994 json
t17_x20_u6_b113 17 20 6 113 dst(R,div(P,nrm(R))) 115276 138859556 o2(x,o2(x,o1(x))) true 82215 82215 1 1 1 0 0 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 json
t17_x20_u6_b114 17 20 6 114 dst(R,pow(P,nrm(R))) 115277 138859557 o2(x,o2(x,o1(x))) true 82223 82223 -0.9688 0.01563 1 0.06152 0.248 -1 1 2 1 0.1161 0.006047 0.008062 0.006999 -0.1429 1 0 0.02973 0.01411 0.01406 0.1186 16.94 2.828 0.2293 0.4832 1 1 0.009695 0.04659 0.07003 0.1576 0.7573 1.138 json
t17_x20_u6_b115 17 20 6 115 dst(R,mod(P,nrm(R))) 115278 138859558 o2(x,o2(x,o1(x))) true 82231 82231 0.9012 1 0.9012 0.02558 0.1599 0.07318 1 0.9268 1 2.052 0.0004422 0.0006617 0.01815 -0.1989 1 -0.00003762 0.0002518 0.007045 0.0007743 0.02783 1.533 0.1697 0.04315 0.009841 1 1 0.001985 0.02109 0.04565 0.07758 0.8245 1.784 json
t17_x20_u6_b116 17 20 6 116 dst(R,lrg(P,nrm(R))) 115279 138859559 o2(x,o2(x,o1(x))) true 82239 82239 0.9848 1 0.9848 0.005167 0.07188 0.2581 1 0.7419 1 0.4832 0.0001345 0.0001688 0.003948 -0.113 1 -0.00001134 0.0001247 0.002355 0.0002875 0.01696 4.295 0.1758 0.0587 0.02413 1 1 0.0006733 0.005844 0.0125 0.1303 1.131 2.419 json
t17_x20_u6_b117 17 20 6 117 dst(R,eql(P,nrm(R))) 115280 138859560 o2(x,o2(x,o1(x))) true 82247 82247 0.897 1 0.897 0.02252 0.1501 0.09951 1 0.9005 1 2.181 0.0003411 0.0004606 0.01666 -0.149 1 -0.00001961 0.000143 0.005703 0.0005243 0.0229 1.374 0.1266 0.0356 0.006351 1 1 0.001342 0.015 0.03485 0.05959 0.666 1.547 json
t17_x20_u6_b118 17 20 6 118 dst(R,min(P,nrm(R))) 115281 138859561 o2(x,o2(x,o1(x))) true 82255 82255 0.83 1 0.83 0.08455 0.2908 0.01686 1 0.9831 1 1.997 0.0002845 0.0002463 0.009967 0.07196 1 -0.00001512 0.00007736 0.002782 0.0004315 0.02077 2.084 0.2086 0.006278 0.0009149 1 1 0.001108 0.01312 0.05717 0.01311 0.1552 0.6762 json
t17_x20_u6_b119 17 20 6 119 dst(R,dot(P,nrm(R))) 115282 138859562 o2(x,o2(x,o1(x))) true 82263 82263 0.997 1 0.997 0.0008732 0.02955 0.2113 1 0.7887 1 0.1322 0.00006367 0.0001271 0.001479 -0.3324 1 -0.00003829 0.0001856 0.001524 0.0001886 0.01373 9.285 0.4063 0.2184 0.2125 1 1 0.0003621 0.00177 0.002476 0.4147 2.027 2.835 json
t17_x20_u6_b120 17 20 6 120 dst(R,dst(P,nrm(R))) 115283 138859563 o2(x,o2(x,o1(x))) true 82271 82271 0.9996 1 0.9996 0.0001457 0.01207 0.496 1 0.504 1 0.01809 0.00001527 0.00001299 0.0001992 0.08069 0 5.632e-12 0.00001996 0.0001762 0.0000282 0.00531 26.65 0.2431 0.1939 0.137 1 1 0.00008587 0.0005048 0.0005299 0.5893 3.464 3.637 json
t17_x21_u0_b0 17 21 0 0 add(R,add(D,sqt(P))) 115284 138898638 o2(x,o2(x,o1(x))) true 82279 82279 -0.0382 0.4866 0.9713 0.9583 0.9789 -1 1 2 1 1.567 0.005075 0.0001971 0.01018 0.9252 1 -0.00002193 0.008664 0.008997 0.005169 0.0719 7.065 1.86 0.005502 0.009041 1 1 0.00844 0.05524 0.2988 0.008807 0.05765 0.3118 json
t17_x21_u0_b1 17 21 0 1 add(R,sub(D,sqt(P))) 115285 138898639 o2(x,o2(x,o1(x))) true 82287 82287 -0.9492 0.01276 0.9593 0.04267 0.2066 -1 0.9017 1.902 1 0.7689 0.005249 0.0002545 0.01157 0.9075 1 -2.567e-7 0.008845 0.01027 0.00537 0.07328 6.333 1.86 0.129 0.2073 1 1 0.009195 0.04736 0.07704 0.2155 1.11 1.805 json
t17_x21_u0_b2 17 21 0 2 add(R,mlt(D,sqt(P))) 115286 138898640 o2(x,o2(x,o1(x))) true 82295 82295 -0.5314 0.2208 0.7072 0.3415 0.5844 -1 1 2 1 3.333 0.008851 0.001463 0.05116 0.7163 1 0.0004152 0.009322 0.02184 0.007699 0.08775 1.715 1.829 0.0302 0.02729 1 1 0.01672 0.1321 0.2748 0.04894 0.3868 0.8045 json
t17_x21_u0_b3 17 21 0 3 add(R,div(D,sqt(P))) 115287 138898641 o2(x,o2(x,o1(x))) true 82303 82303 -0.5678 0.2052 0.7316 0.3344 0.5782 -1 1 2 1 3.086 0.009062 0.001296 0.03476 0.7497 1 0.00006475 0.01483 0.01716 0.009152 0.09567 2.752 1.974 0.03098 0.04436 1 1 0.01459 0.1021 0.2613 0.04363 0.3053 0.7813 json
t17_x21_u0_b4 17 21 0 4 add(R,pow(D,sqt(P))) 115288 138898642 o2(x,o2(x,o1(x))) true 82311 82311 -1 0 1 0 0 -1 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 json
t17_x21_u0_b5 17 21 0 5 add(R,mod(D,sqt(P))) 115289 138898643 o2(x,o2(x,o1(x))) true 82319 82319 -0.5735 0.2018 0.7335 0.3303 0.5747 -1 1 2 1 3.06 0.009536 0.001295 0.0379 0.7609 1 0.0001656 0.01493 0.01851 0.009395 0.09693 2.557 1.974 0.03279 0.0452 1 1 0.01543 0.1069 0.2557 0.04673 0.3237 0.7743 json
t17_x21_u0_b6 17 21 0 6 add(R,lrg(D,sqt(P))) 115290 138898644 o2(x,o2(x,o1(x))) true 82327 82327 0.4039 0.7382 0.5996 0.3077 0.5547 -0.9986 1 1.999 1 4.325 0.005401 0.002232 0.05162 0.4151 1 -0.00001858 0.006298 0.02012 0.004969 0.07049 1.366 1.012 0.02481 0.02047 1 1 0.01334 0.1232 0.301 0.04334 0.4002 0.9781 json
t17_x21_u0_b7 17 21 0 7 add(R,eql(D,sqt(P))) 115291 138898645 o2(x,o2(x,o1(x))) true 82335 82335 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
t17_x21_u0_b8 17 21 0 8 add(R,min(D,sqt(P))) 115292 138898646 o2(x,o2(x,o1(x))) true 82343 82343 0.00019 0.4923 0.4023 0.2314 0.481 -1 1 2 1 4.902 0.004498 0.003164 0.07538 0.174 1 0.00003115 0.0006316 0.01953 0.001981 0.0445 0.5904 0.2845 0.03312 0.00273 1 1 0.01512 0.1755 0.3915 0.06536 0.7587 1.692 json
t17_x21_u0_b9 17 21 0 9 add(R,dot(D,sqt(P))) 115293 138898647 o2(x,o2(x,o1(x))) true 82351 82351 -0.7589 0.1152 0.8533 0.2364 0.4862 -1 1 2 1 1.973 0.004452 0.005506 0.03404 -0.1059 1 0.0004325 0.01196 0.018 0.0088 0.09381 2.756 2 0.04212 0.05061 1 1 0.0143 0.09267 0.1808 0.06048 0.392 0.7646 json
t17_x21_u0_b10 17 21 0 10 add(R,dst(D,sqt(P))) 115294 138898648 o2(x,o2(x,o1(x))) true 82359 82359 -0.5006 0.25 0.9994 0.7485 0.8652 -1 1 2 1 0.8333 0.00745 0.007855 0.008014 -0.02645 1 1.915e-10 0.03064 0.01568 0.01524 0.1234 15.4 2 0.02045 0.04093 1 1 0.02014 0.08286 0.3336 0.02691 0.1107 0.4458 json
t17_x21_u0_b11 17 21 0 11 sub(R,add(D,sqt(P))) 115295 138898649 o2(x,o2(x,o1(x))) true 82367 82367 -0.9535 0.01245 0.9594 0.03556 0.1886 -1 0.7978 1.798 1 0.7608 0.004471 0.0002541 0.01046 0.8925 1 -4.44e-7 0.008639 0.009067 0.004615 0.06793 6.493 1.798 0.1329 0.243 1 1 0.00717 0.03511 0.06733 0.2017 0.9874 1.894 json
t17_x21_u0_b12 17 21 0 12 sub(R,sub(D,sqt(P))) 115296 138898650 o2(x,o2(x,o1(x))) true 82375 82375 -0.04278 0.4845 0.9723 0.9586 0.9791 -1 1 2 1 1.563 0.005093 0.0001918 0.01094 0.9274 1 -0.00002314 0.008721 0.01019 0.005167 0.07188 6.568 1.798 0.005513 0.009097 1 1 0.008353 0.05423 0.3009 0.008713 0.05657 0.3139 json
t17_x21_u0_b13 17 21 0 13 sub(R,mlt(D,sqt(P))) 115297 138898651 o2(x,o2(x,o1(x))) true 82383 82383 -0.4821 0.259 0.7094 0.3942 0.6278 -1 1 2 1 3.365 0.008902 0.001465 0.05104 0.7174 1 -0.000405 0.009251 0.02167 0.00776 0.08809 1.726 1.829 0.0263 0.02347 1 1 0.01647 0.1365 0.3114 0.04179 0.3464 0.79 json
t17_x21_u0_b14 17 21 0 14 sub(R,div(D,sqt(P))) 115298 138898652 o2(x,o2(x,o1(x))) true 82391 82391 -0.5793 0.1943 0.7301 0.319 0.5648 -1 1 2 1 3.072 0.008344 0.001296 0.03401 0.7311 1 -0.00004295 0.01472 0.01677 0.008486 0.09212 2.709 1.912 0.03022 0.04614 1 1 0.01285 0.08777 0.2498 0.0403 0.2752 0.783 json
t17_x21_u0_b15 17 21 0 15 sub(R,pow(D,sqt(P))) 115299 138898653 o2(x,o2(x,o1(x))) true 82399 82399 -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