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_x2_u3_b46 17 2 3 46 pow(P,mlt(P,flr(R))) 99600 138131668 o2(x,o2(x,o1(x))) true 113607 113607 -0.1181 0.529 0.7804 0.7188 0.8478 -1 1 2 1 2.764 0.02653 0.01756 0.04295 0.2032 1 -0.00001138 0.08803 0.04766 0.04225 0.2056 4.786 2.828 0.06134 0.1225 1 1 0.04869 0.2279 0.7344 0.06774 0.317 1.022 json
t17_x2_u3_b47 17 2 3 47 pow(P,div(P,flr(R))) 99601 138131669 o2(x,o2(x,o1(x))) true 113615 113615 -0.7944 0.1011 0.9635 0.3296 0.5741 -1 1 2 1 0.7351 0.03401 0.02707 0.03421 0.1136 1 -7.208e-10 0.1285 0.0675 0.05994 0.2448 7.157 2.828 0.1853 0.39 1 1 0.06832 0.28 0.6306 0.2073 0.8494 1.913 json
t17_x2_u3_b48 17 2 3 48 pow(P,pow(P,flr(R))) 99602 138131670 o2(x,o2(x,o1(x))) true 113623 113623 -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
t17_x2_u3_b49 17 2 3 49 pow(P,mod(P,flr(R))) 99603 138131671 o2(x,o2(x,o1(x))) true 113631 113631 -0.7813 0.1094 1 0.3894 0.624 -1 1 2 1 0.498 0.03578 0.03376 0.03455 0.02899 1 0 0.1451 0.06954 0.06834 0.2614 7.567 2.828 0.1786 0.3727 1 1 0.07928 0.3302 0.9255 0.2036 0.8481 2.377 json
t17_x2_u3_b50 17 2 3 50 pow(P,lrg(P,flr(R))) 99604 138131672 o2(x,o2(x,o1(x))) true 113639 113639 0.9648 1 0.9648 0.02431 0.1559 0.000291 1 0.9997 1 0.5835 0.0003631 0.0001053 0.005422 0.5502 1 -0.000005705 0.00002431 0.001291 0.0004388 0.02095 3.863 0.1169 0.01927 0.001 1 1 0.001224 0.01595 0.05043 0.05036 0.656 2.074 json
t17_x2_u3_b51 17 2 3 51 pow(P,eql(P,flr(R))) 99605 138131673 o2(x,o2(x,o1(x))) true 113647 113647 0.8105 0.9141 0.9824 0.3203 0.566 -1 1 2 1 0.7556 0.01796 0.01054 0.01798 0.2603 1 0.000002852 0.05765 0.03089 0.0282 0.1679 9.339 2.828 0.089 0.18 1 1 0.03673 0.1603 0.6775 0.1147 0.5006 2.115 json
t17_x2_u3_b52 17 2 3 52 pow(P,min(P,flr(R))) 99606 138131674 o2(x,o2(x,o1(x))) true 113655 113655 -0.2647 0.4531 0.829 0.6944 0.8333 -1 1 2 1 2.591 0.01637 0.006618 0.02785 0.4241 1 -0.000008934 0.04544 0.02604 0.02221 0.149 5.351 2.828 0.0331 0.06543 1 1 0.0316 0.1386 0.4288 0.04551 0.1996 0.6176 json
t17_x2_u3_b53 17 2 3 53 pow(P,dot(P,flr(R))) 99607 138131675 o2(x,o2(x,o1(x))) true 113663 113663 -0.2239 0.4545 0.7995 0.7175 0.847 -1 1 2 1 2.395 0.01765 0.004614 0.02793 0.5855 1 -0.00000356 0.04203 0.02843 0.02148 0.1466 5.247 2.828 0.03103 0.05858 1 1 0.03205 0.1518 0.4781 0.04467 0.2116 0.6663 json
t17_x2_u3_b54 17 2 3 54 pow(P,dst(P,flr(R))) 99608 138131676 o2(x,o2(x,o1(x))) true 113671 113671 -0.0293 0.5 0.9707 0.9626 0.9811 -1 1 2 1 1.4 0.004997 0.00001756 0.0081 0.993 1 -6.852e-11 0.009314 0.009298 0.004947 0.07034 8.684 2 0.00521 0.009676 1 1 0.007425 0.0438 0.2915 0.007714 0.0455 0.3028 json
t17_x2_u3_b55 17 2 3 55 mod(P,add(P,flr(R))) 99609 138131677 o2(x,o2(x,o1(x))) true 113679 113679 -0.2204 0.3744 0.8022 0.7221 0.8497 -1 1 2 1 2.679 0.008306 0.00442 0.03559 0.3054 1 0.00009762 0.01797 0.03013 0.01147 0.1071 3.009 1.415 0.01763 0.02489 1 1 0.01824 0.1272 0.4187 0.02527 0.1762 0.5798 json
t17_x2_u3_b56 17 2 3 56 mod(P,sub(P,flr(R))) 99610 138131678 o2(x,o2(x,o1(x))) true 113687 113687 -0.04632 0.4439 0.8108 0.7774 0.8817 -1 1 2 1 2.715 0.01426 0.004677 0.03967 0.506 1 0.000105 0.03022 0.03763 0.01737 0.1318 3.322 2 0.02436 0.03887 1 1 0.02938 0.163 0.4573 0.0378 0.2097 0.5882 json
t17_x2_u3_b57 17 2 3 57 mod(P,mlt(P,flr(R))) 99611 138131679 o2(x,o2(x,o1(x))) true 113695 113695 -0.9246 0.03125 0.9765 0.1198 0.3461 -1 1 2 1 0.4168 0.008299 0.01358 0.01613 -0.2413 1 -0.00007986 0.04462 0.0286 0.02161 0.147 9.116 2.828 0.1826 0.3725 1 1 0.02039 0.09829 0.248 0.1702 0.8205 2.07 json
t17_x2_u3_b58 17 2 3 58 mod(P,div(P,flr(R))) 99612 138131680 o2(x,o2(x,o1(x))) true 113703 113703 -0.9246 0.03125 0.9765 0.1198 0.3461 -1 1 2 1 0.4168 0.008299 0.01358 0.01613 -0.2413 1 -0.00007986 0.04462 0.0286 0.02161 0.147 9.116 2.828 0.1826 0.3725 1 1 0.02039 0.09829 0.248 0.1702 0.8205 2.07 json
t17_x2_u3_b59 17 2 3 59 mod(P,pow(P,flr(R))) 99613 138131681 o2(x,o2(x,o1(x))) true 113711 113711 -0.4963 0.1626 0.5271 0.2677 0.5174 -1 0.2 1.2 1 1.772 0.007451 0.00467 0.0138 0.2294 1 1.902e-7 0.0252 0.02461 0.01193 0.1092 7.916 1.414 0.04528 0.09412 1 1 0.01367 0.05642 0.1742 0.05105 0.2108 0.6507 json
t17_x2_u3_b60 17 2 3 60 mod(P,mod(P,flr(R))) 99614 138131682 o2(x,o2(x,o1(x))) true 113719 113719 -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_x2_u3_b61 17 2 3 61 mod(P,lrg(P,flr(R))) 99615 138131683 o2(x,o2(x,o1(x))) true 113727 113727 -0.5391 0 0.5391 0.2487 0.4987 -1 0 1 1 0.9956 0.003968 0.0007559 0.004715 0.68 1 0 0.009637 0.009448 0.004701 0.06856 14.54 1.414 0.019 0.03876 1 1 0.006593 0.02637 0.1017 0.02651 0.1061 0.4091 json
t17_x2_u3_b62 17 2 3 62 mod(P,eql(P,flr(R))) 99616 138131684 o2(x,o2(x,o1(x))) true 113735 113735 -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_x2_u3_b63 17 2 3 63 mod(P,min(P,flr(R))) 99617 138131685 o2(x,o2(x,o1(x))) true 113743 113743 -0.7581 0 0.7581 0.1734 0.4164 -1 0 1 1 1.289 0.01005 0.004157 0.02515 0.4148 1 0.0006289 0.02322 0.03134 0.01357 0.1165 4.632 1.414 0.08194 0.1339 1 1 0.0187 0.1022 0.2221 0.1079 0.5895 1.281 json
t17_x2_u3_b64 17 2 3 64 mod(P,dot(P,flr(R))) 99618 138131686 o2(x,o2(x,o1(x))) true 113751 113751 -0.724 0.1283 0.9341 0.4008 0.6331 -1 1 2 1 1.222 0.02991 0.02453 0.04036 0.09883 1 -0.00002494 0.1104 0.06845 0.05281 0.2298 5.694 2.828 0.1358 0.2753 1 1 0.04537 0.215 0.602 0.1132 0.5363 1.502 json
t17_x2_u3_b65 17 2 3 65 mod(P,dst(P,flr(R))) 99619 138131687 o2(x,o2(x,o1(x))) true 113759 113759 -0.006982 0.4922 0.9292 0.9117 0.9548 -1 1 2 1 1.968 0.002198 0.001992 0.01309 0.04897 1 -7.785e-7 0.006453 0.008543 0.004017 0.06338 4.841 2.828 0.004596 0.007078 1 1 0.008114 0.05361 0.3016 0.008899 0.0588 0.3308 json
t17_x2_u3_b66 17 2 3 66 lrg(P,add(P,flr(R))) 99620 138131688 o2(x,o2(x,o1(x))) true 113767 113767 0.5176 0.9429 0.5176 0.1537 0.3921 0 1 1 1 3.429 0.001972 0.002442 0.05168 -0.1065 1 0.00001781 0.0002592 0.01257 0.001744 0.04176 0.8079 0.1169 0.02872 0.001686 1 1 0.008731 0.1124 0.2862 0.0568 0.7316 1.862 json
t17_x2_u3_b67 17 2 3 67 lrg(P,sub(P,flr(R))) 99621 138131689 o2(x,o2(x,o1(x))) true 113775 113775 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_x2_u3_b68 17 2 3 68 lrg(P,mlt(P,flr(R))) 99622 138131690 o2(x,o2(x,o1(x))) true 113783 113783 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
t17_x2_u3_b69 17 2 3 69 lrg(P,div(P,flr(R))) 99623 138131691 o2(x,o2(x,o1(x))) true 113791 113791 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_x2_u3_b70 17 2 3 70 lrg(P,pow(P,flr(R))) 99624 138131692 o2(x,o2(x,o1(x))) true 113799 113799 0.6348 0.8782 0.6348 0.1819 0.4265 0 1 1 1 2.525 0.001249 0.001126 0.02758 0.05192 1 -0.00001213 0.00013 0.006626 0.001615 0.04018 1.457 0.1169 0.01306 0.0007147 1 1 0.004847 0.06222 0.2309 0.02665 0.3421 1.27 json
t17_x2_u3_b71 17 2 3 71 lrg(P,mod(P,flr(R))) 99625 138131693 o2(x,o2(x,o1(x))) true 113807 113807 0.7363 0.9543 0.7363 0.1447 0.3803 0 1 1 1 2.355 0.001091 0.001231 0.0271 -0.06028 1 0.000006427 0.0001306 0.006538 0.001588 0.03985 1.47 0.1169 0.01605 0.0009026 1 1 0.004732 0.06061 0.1846 0.03271 0.419 1.276 json
t17_x2_u3_b72 17 2 3 72 lrg(P,lrg(P,flr(R))) 99626 138131694 o2(x,o2(x,o1(x))) true 113815 113815 0.4063 0.4375 0.4063 0.2344 0.4842 0 1 1 1 1.302 0.0003529 0 0.003968 1 1 -4.731e-10 0.00001619 0.0009276 0.0003372 0.01836 4.628 0.1169 0.001505 0.00006906 1 1 0.0009255 0.01214 0.0751 0.003947 0.0518 0.3203 json
t17_x2_u3_b73 17 2 3 73 lrg(P,eql(P,flr(R))) 99627 138131695 o2(x,o2(x,o1(x))) true 113823 113823 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
t17_x2_u3_b74 17 2 3 74 lrg(P,min(P,flr(R))) 99628 138131696 o2(x,o2(x,o1(x))) true 113831 113831 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
t17_x2_u3_b75 17 2 3 75 lrg(P,dot(P,flr(R))) 99629 138131697 o2(x,o2(x,o1(x))) true 113839 113839 0.4639 0.5815 0.4639 0.2241 0.4734 0 1 1 1 1.937 0.0005923 0.0005468 0.01331 0.03997 1 0.000007125 0.00006481 0.003214 0.0009615 0.03101 2.329 0.1169 0.005083 0.0002892 1 1 0.002205 0.02869 0.1074 0.00984 0.128 0.4792 json
t17_x2_u3_b76 17 2 3 76 lrg(P,dst(P,flr(R))) 99630 138131698 o2(x,o2(x,o1(x))) true 113847 113847 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_x2_u3_b77 17 2 3 77 eql(P,add(P,flr(R))) 99631 138131699 o2(x,o2(x,o1(x))) true 113855 113855 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_x2_u3_b78 17 2 3 78 eql(P,sub(P,flr(R))) 99632 138131700 o2(x,o2(x,o1(x))) true 113863 113863 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_x2_u3_b79 17 2 3 79 eql(P,mlt(P,flr(R))) 99633 138131701 o2(x,o2(x,o1(x))) true 113871 113871 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
t17_x2_u3_b80 17 2 3 80 eql(P,div(P,flr(R))) 99634 138131702 o2(x,o2(x,o1(x))) true 113879 113879 0.03516 0.09119 0.03516 0.02431 0.1559 0 0.9997 0.9997 1 0.5835 0.0003631 0.0001053 0.005422 0.5502 1 0.000005704 0.00002431 0.001291 0.0004388 0.02095 3.863 0.1169 0.01927 0.001 1 1 0.001224 0.01595 0.05043 0.05036 0.656 2.074 json
t17_x2_u3_b81 17 2 3 81 eql(P,pow(P,flr(R))) 99635 138131703 o2(x,o2(x,o1(x))) true 113887 113887 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
t17_x2_u3_b82 17 2 3 82 eql(P,mod(P,flr(R))) 99636 138131704 o2(x,o2(x,o1(x))) true 113895 113895 0.03516 0.09119 0.03516 0.02431 0.1559 0 0.9997 0.9997 1 0.5835 0.0003631 0.0001053 0.005422 0.5502 1 0.000005704 0.00002431 0.001291 0.0004388 0.02095 3.863 0.1169 0.01927 0.001 1 1 0.001224 0.01595 0.05043 0.05036 0.656 2.074 json
t17_x2_u3_b83 17 2 3 83 eql(P,lrg(P,flr(R))) 99637 138131705 o2(x,o2(x,o1(x))) true 113903 113903 0.08984 0.1628 0.08984 0.06626 0.2574 0 1 1 1 1.008 0.0006768 0.0001053 0.008948 0.7306 1 -0.000005705 0.00003877 0.002115 0.0007021 0.0265 2.961 0.1169 0.0118 0.0005851 1 1 0.002072 0.02707 0.115 0.03127 0.4086 1.736 json
t17_x2_u3_b84 17 2 3 84 eql(P,eql(P,flr(R))) 99638 138131706 o2(x,o2(x,o1(x))) true 113911 113911 0.03516 0.09119 0.03516 0.02431 0.1559 0 0.9997 0.9997 1 0.5835 0.0003631 0.0001053 0.005422 0.5502 1 0.000005704 0.00002431 0.001291 0.0004388 0.02095 3.863 0.1169 0.01927 0.001 1 1 0.001224 0.01595 0.05043 0.05036 0.656 2.074 json
t17_x2_u3_b85 17 2 3 85 eql(P,min(P,flr(R))) 99639 138131707 o2(x,o2(x,o1(x))) true 113919 113919 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_x2_u3_b86 17 2 3 86 eql(P,dot(P,flr(R))) 99640 138131708 o2(x,o2(x,o1(x))) true 113927 113927 0.06641 0.1702 0.06641 0.04409 0.21 0 1 1 1 0.9802 0.0005786 0.0002705 0.009945 0.3629 1 0.000008567 0.00004716 0.002401 0.0007503 0.02739 2.754 0.1169 0.01926 0.001069 1 1 0.002172 0.02824 0.09227 0.04926 0.6406 2.092 json
t17_x2_u3_b87 17 2 3 87 eql(P,dst(P,flr(R))) 99641 138131709 o2(x,o2(x,o1(x))) true 113935 113935 0.01758 0.05603 0.01758 0.01124 0.106 0 0.9997 0.9997 1 0.3654 0.000118 0.0001573 0.003271 -0.1426 1 0.000005704 0.00001645 0.0007982 0.000265 0.01628 4.976 0.1169 0.02451 0.001464 1 1 0.000723 0.009448 0.0315 0.06436 0.841 2.804 json
t17_x2_u3_b88 17 2 3 88 min(P,add(P,flr(R))) 99642 138131710 o2(x,o2(x,o1(x))) true 113943 113943 -0.05877 0.4723 0.9451 0.9283 0.9635 -1 1 2 1 1.786 0.001009 0.0002866 0.01014 0.5576 1 -0.00001667 0.000135 0.00275 0.001193 0.03453 3.406 0.2338 0.001396 0.0001454 1 1 0.003407 0.04218 0.2644 0.00367 0.04544 0.2848 json
t17_x2_u3_b89 17 2 3 89 min(P,sub(P,flr(R))) 99643 138131711 o2(x,o2(x,o1(x))) true 113951 113951 0 0.5 0.9375 0.924 0.9612 -1 1 2 1 1.813 0.0007059 0 0.007937 1 1 0 0.00003235 0.001851 0.0006432 0.02536 3.195 0.1169 0.0007639 0.00003501 1 1 0.001851 0.02449 0.2344 0.002003 0.0265 0.2537 json
t17_x2_u3_b90 17 2 3 90 min(P,mlt(P,flr(R))) 99644 138131712 o2(x,o2(x,o1(x))) true 113959 113959 -0.8158 0 0.8158 0.1222 0.3496 -1 0 1 1 1.707 0.002661 0.002845 0.02798 -0.03339 1 0.0001374 0.002633 0.01553 0.004725 0.06874 2.457 0.4702 0.04506 0.02155 1 1 0.009223 0.08439 0.1869 0.07547 0.6906 1.53 json
t17_x2_u3_b91 17 2 3 91 min(P,div(P,flr(R))) 99645 138131713 o2(x,o2(x,o1(x))) true 113967 113967 -0.5382 0.2319 0.9179 0.6064 0.7787 -1 1 2 1 1.854 0.02107 0.0225 0.06137 -0.03298 1 -0.00001991 0.04679 0.05603 0.03979 0.1995 3.25 1.863 0.07184 0.07716 1 1 0.05468 0.3751 0.8446 0.09017 0.6185 1.393 json
t17_x2_u3_b92 17 2 3 92 min(P,pow(P,flr(R))) 99646 138131714 o2(x,o2(x,o1(x))) true 113975 113975 -0.171 0.5 0.7665 0.6594 0.8121 -1 1 2 1 3.251 0.001202 0.0005716 0.02488 0.3554 1 -0.000008934 0.00009707 0.005968 0.001154 0.03398 1.366 0.1169 0.00269 0.0001472 1 1 0.003553 0.04664 0.2724 0.005389 0.07073 0.413 json
t17_x2_u3_b93 17 2 3 93 min(P,mod(P,flr(R))) 99647 138131715 o2(x,o2(x,o1(x))) true 113983 113983 -0.161 0.4588 0.7765 0.7184 0.8476 -1 1 2 1 2.665 0.002864 0.003009 0.03089 -0.02476 1 -0.00019 0.002701 0.01641 0.00492 0.07015 2.271 0.4702 0.008175 0.00376 1 1 0.01013 0.09502 0.3004 0.01409 0.1323 0.4181 json
t17_x2_u3_b94 17 2 3 94 min(P,lrg(P,flr(R))) 99648 138131716 o2(x,o2(x,o1(x))) true 113991 113991 0 0.5 0.9375 0.924 0.9612 -1 1 2 1 1.813 0.0007059 0 0.007937 1 1 0 0.00003235 0.001851 0.0006432 0.02536 3.195 0.1169 0.0007639 0.00003501 1 1 0.001851 0.02449 0.2344 0.002003 0.0265 0.2537 json
t17_x2_u3_b95 17 2 3 95 min(P,eql(P,flr(R))) 99649 138131717 o2(x,o2(x,o1(x))) true 113999 113999 -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
t17_x2_u3_b96 17 2 3 96 min(P,min(P,flr(R))) 99650 138131718 o2(x,o2(x,o1(x))) true 114007 114007 -0.7578 0 0.7578 0.1282 0.3581 -1 0 1 1 2.446 0.001205 0.001316 0.02956 -0.04423 1 -0.00002994 0.0001512 0.007216 0.001648 0.0406 1.373 0.1169 0.01966 0.001179 1 1 0.005145 0.06684 0.1791 0.04012 0.5213 1.397 json
t17_x2_u3_b97 17 2 3 97 min(P,dot(P,flr(R))) 99651 138131719 o2(x,o2(x,o1(x))) true 114015 114015 -0.7204 0.1073 0.8723 0.3277 0.5724 -1 1 2 1 1.856 0.004932 0.00609 0.03467 -0.1051 1 0.00007933 0.005636 0.01974 0.009824 0.09911 2.859 1.174 0.03364 0.0172 1 1 0.01843 0.1592 0.4061 0.05625 0.4859 1.239 json
t17_x2_u3_b98 17 2 3 98 min(P,dst(P,flr(R))) 99652 138131720 o2(x,o2(x,o1(x))) true 114023 114023 0 0.5 0.9375 0.924 0.9612 -1 1 2 1 1.813 0.0007059 0 0.007937 1 1 0 0.00003235 0.001851 0.0006432 0.02536 3.195 0.1169 0.0007639 0.00003501 1 1 0.001851 0.02449 0.2344 0.002003 0.0265 0.2537 json
t17_x2_u3_b99 17 2 3 99 dot(P,add(P,flr(R))) 99653 138131721 o2(x,o2(x,o1(x))) true 114031 114031 0.9955 1 0.9955 0.003443 0.05868 0.0002911 1 0.9997 1 0.08981 0.00006406 0.0001223 0.001079 -0.3125 1 -7.509e-12 0.00006486 0.0005611 0.0001851 0.0136 12.6 0.3456 0.05413 0.01884 1 1 0.0006068 0.005543 0.01258 0.1763 1.61 3.655 json
t17_x2_u3_b100 17 2 3 100 dot(P,sub(P,flr(R))) 99654 138131722 o2(x,o2(x,o1(x))) true 114039 114039 0.9924 0.9999 0.9924 0.006006 0.0775 1.694e-7 1 1 1 0.1315 0.0001139 0.0001435 0.001538 -0.1148 1 5.256e-11 0.00009197 0.0007694 0.0002547 0.01596 10.37 0.3455 0.04285 0.01531 1 1 0.0008406 0.007915 0.02199 0.14 1.318 3.661 json
t17_x2_u3_b101 17 2 3 101 dot(P,mlt(P,flr(R))) 99655 138131723 o2(x,o2(x,o1(x))) true 114047 114047 -0.9 0 0.9 0.07405 0.2721 -1 0 1 1 1.075 0.005047 0.005603 0.02904 -0.0522 1 0.0005074 0.01087 0.02844 0.009813 0.09906 3.411 1.092 0.1438 0.1469 1 1 0.0175 0.09769 0.1748 0.2363 1.319 2.361 json
t17_x2_u3_b102 17 2 3 102 dot(P,div(P,flr(R))) 99656 138131724 o2(x,o2(x,o1(x))) true 114055 114055 -0.9766 0.01172 1 0.04632 0.2152 -1 1 2 1 0.09198 0.006047 0.006047 0.005973 0 1 0 0.02595 0.01209 0.01206 0.1098 18.39 2.828 0.2611 0.5603 1 1 0.01285 0.05939 0.1223 0.2775 1.282 2.641 json
t17_x2_u3_b103 17 2 3 103 dot(P,pow(P,flr(R))) 99657 138131725 o2(x,o2(x,o1(x))) true 114063 114063 -0.5693 0.2154 0.9958 0.6703 0.8187 -1 1 2 1 0.843 0.0132 0.01235 0.01488 0.03332 1 0.000001423 0.05206 0.02703 0.02534 0.1592 10.7 2.828 0.03812 0.07766 1 1 0.03209 0.1323 0.424 0.04788 0.1974 0.6326 json
t17_x2_u3_b104 17 2 3 104 dot(P,mod(P,flr(R))) 99658 138131726 o2(x,o2(x,o1(x))) true 114071 114071 -0.9922 0 0.9922 0.007751 0.08804 -1 0 1 1 0.06591 0.0007559 0.0009448 0.001691 -0.1111 1 0 0.00359 0.003401 0.001697 0.0412 24.36 1.414 0.2194 0.4632 1 1 0.001496 0.006648 0.01663 0.193 0.8577 2.146 json
t17_x2_u3_b105 17 2 3 105 dot(P,lrg(P,flr(R))) 99659 138131727 o2(x,o2(x,o1(x))) true 114079 114079 0.7179 0.75 0.7179 0.1953 0.4419 0 1 1 1 1.194 0.0001877 0.0001877 0.004161 0.000001047 1 -5.744e-10 0.00002276 0.0009958 0.0003579 0.01892 4.547 0.1653 0.001922 0.0001166 1 1 0.001001 0.01303 0.08014 0.005127 0.06671 0.4104 json
t17_x2_u3_b106 17 2 3 106 dot(P,eql(P,flr(R))) 99660 138131728 o2(x,o2(x,o1(x))) true 114087 114087 -0.05664 0 0.05664 0.03628 0.1905 -0.9997 0 0.9997 1 1.22 0.0003817 0.0004321 0.009525 -0.06184 1 -0.000005704 0.00004492 0.00229 0.0007234 0.0269 2.824 0.1169 0.02243 0.001238 1 1 0.001947 0.02538 0.08454 0.05367 0.6995 2.33 json
t17_x2_u3_b107 17 2 3 107 dot(P,min(P,flr(R))) 99661 138131729 o2(x,o2(x,o1(x))) true 114095 114095 0.3999 0.6792 0.923 0.7474 0.8645 -1 1 2 1 1.787 0.003145 0.004446 0.0239 -0.1713 1 0.00009228 0.003473 0.01374 0.007021 0.08379 3.506 1.133 0.01016 0.004647 1 1 0.01412 0.1279 0.3854 0.01889 0.1711 0.5157 json
t17_x2_u3_b108 17 2 3 108 dot(P,dot(P,flr(R))) 99662 138131730 o2(x,o2(x,o1(x))) true 114103 114103 -0.6484 0.1254 0.8504 0.4052 0.6366 -1 1 2 1 2.004 0.0171 0.02699 0.06126 -0.2243 1 0.0003281 0.06432 0.06551 0.04033 0.2008 3.278 2.59 0.1088 0.1587 1 1 0.04778 0.2839 0.6578 0.1179 0.7006 1.623 json
t17_x2_u3_b109 17 2 3 109 dot(P,dst(P,flr(R))) 99663 138131731 o2(x,o2(x,o1(x))) true 114111 114111 0.004889 0.5022 0.977 0.9725 0.9862 -1 1 2 1 1.36 0.003142 0.003157 0.01221 -0.002354 1 -1.193e-7 0.006413 0.009174 0.006153 0.07844 6.427 1.56 0.006477 0.006594 1 1 0.01198 0.09547 0.5303 0.01231 0.09817 0.5453 json
t17_x2_u3_b110 17 2 3 110 dst(P,add(P,flr(R))) 99664 138131732 o2(x,o2(x,o1(x))) true 114119 114119 0.9191 1 0.9191 0.0494 0.2223 0.000291 1 0.9997 1 1.186 0.0009654 0.001125 0.01789 -0.0763 1 -0.000009421 0.000363 0.006146 0.00177 0.04208 2.351 0.2025 0.04231 0.007347 1 1 0.004557 0.05131 0.1057 0.09224 1.039 2.14 json
t17_x2_u3_b111 17 2 3 111 dst(P,sub(P,flr(R))) 99665 138131733 o2(x,o2(x,o1(x))) true 114127 114127 0.9191 1 0.9191 0.0494 0.2223 0.000291 1 0.9997 1 1.186 0.0009654 0.001125 0.01789 -0.0763 1 -0.000009421 0.000363 0.006146 0.00177 0.04208 2.351 0.2025 0.04231 0.007347 1 1 0.004557 0.05131 0.1057 0.09224 1.039 2.14 json
t17_x2_u3_b112 17 2 3 112 dst(P,mlt(P,flr(R))) 99666 138131734 o2(x,o2(x,o1(x))) true 114135 114135 0.9979 1 0.9979 0.001445 0.03801 0.000873 1 0.9991 1 0.05413 0.00005965 0.00003904 0.000644 0.2088 0 -4.881e-11 0.00002927 0.0003227 0.00009831 0.009915 15.4 0.2269 0.0683 0.02026 1 1 0.0003269 0.003137 0.005257 0.2263 2.171 3.638 json
t17_x2_u3_b113 17 2 3 113 dst(P,div(P,flr(R))) 99667 138131735 o2(x,o2(x,o1(x))) true 114143 114143 -0.9609 0.01953 1 0.07659 0.2767 -1 1 2 1 0.1388 0.007055 0.007811 0.007377 -0.05085 1 0 0.03124 0.01487 0.01481 0.1217 16.5 2.828 0.1941 0.4079 1 1 0.01374 0.06028 0.1889 0.1794 0.787 2.466 json
t17_x2_u3_b114 17 2 3 114 dst(P,pow(P,flr(R))) 99668 138131736 o2(x,o2(x,o1(x))) true 114151 114151 -0.9531 0.02344 1 0.09152 0.3025 -1 1 2 1 0.1603 0.01008 0.01209 0.01099 -0.09091 1 0 0.04686 0.02217 0.02205 0.1485 13.51 2.828 0.2423 0.512 1 1 0.02388 0.1033 0.1826 0.2609 1.129 1.995 json
t17_x2_u3_b115 17 2 3 115 dst(P,mod(P,flr(R))) 99669 138131737 o2(x,o2(x,o1(x))) true 114159 114159 -0.9844 0.007813 1 0.03101 0.1761 -1 1 2 1 0.06591 0.003023 0.003779 0.003383 -0.1111 1 0 0.01436 0.006803 0.00679 0.0824 24.36 2.828 0.2194 0.4632 1 1 0.005983 0.02659 0.06654 0.193 0.8577 2.146 json
t17_x2_u3_b116 17 2 3 116 dst(P,lrg(P,flr(R))) 99670 138131738 o2(x,o2(x,o1(x))) true 114167 114167 0.9972 1 0.9972 0.00183 0.04278 0.0007026 1 0.9993 1 0.07108 0.00004902 0.00003801 0.0007251 0.1266 0 7.133e-11 0.00001603 0.0002654 0.00008648 0.009299 12.82 0.1654 0.04756 0.008762 1 1 0.0002949 0.003261 0.006672 0.1612 1.782 3.647 json
t17_x2_u3_b117 17 2 3 117 dst(P,eql(P,flr(R))) 99671 138131739 o2(x,o2(x,o1(x))) true 114175 114175 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_x2_u3_b118 17 2 3 118 dst(P,min(P,flr(R))) 99672 138131740 o2(x,o2(x,o1(x))) true 114183 114183 0.8797 0.9933 0.8797 0.0787 0.2805 0 1 1 1 1.416 0.0006127 0.0007587 0.01503 -0.1064 1 0.000006408 0.0001258 0.003945 0.001147 0.03386 2.253 0.2532 0.01743 0.001598 1 1 0.003174 0.03895 0.08164 0.04033 0.4949 1.037 json
t17_x2_u3_b119 17 2 3 119 dst(P,dot(P,flr(R))) 99673 138131741 o2(x,o2(x,o1(x))) true 114191 114191 0.9981 1 0.9981 0.001284 0.03584 0.001004 1 0.999 1 0.04833 0.00006408 0.0000384 0.0006107 0.2507 1 3.379e-11 0.00003519 0.0003311 0.0001022 0.01011 16.55 0.253 0.0798 0.0274 1 1 0.0003356 0.003012 0.004682 0.2613 2.345 3.646 json
t17_x2_u3_b120 17 2 3 120 dst(P,dst(P,flr(R))) 99674 138131742 o2(x,o2(x,o1(x))) true 114199 114199 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_x2_u4_b0 17 2 4 0 add(P,add(P,cil(R))) 99675 138131823 o2(x,o2(x,o1(x))) true 114207 114207 0.02917 0.5147 0.9669 0.9574 0.9784 -1 1 2 1 1.513 0.001477 0.0001102 0.008546 0.8611 1 -0.000006592 0.0003494 0.003141 0.001515 0.03892 4.555 0.3506 0.001658 0.000365 1 1 0.004081 0.04468 0.2971 0.004263 0.04667 0.3103 json
t17_x2_u4_b1 17 2 4 1 add(P,sub(P,cil(R))) 99676 138131824 o2(x,o2(x,o1(x))) true 114215 114215 -0.0294 0.4854 0.9661 0.9563 0.9779 -1 1 2 1 1.526 0.001447 0.000117 0.008557 0.8504 1 0.000006592 0.0003249 0.003031 0.001491 0.03862 4.513 0.3506 0.001635 0.0003397 1 1 0.004086 0.04497 0.2958 0.004273 0.04703 0.3093 json
t17_x2_u4_b2 17 2 4 2 add(P,mlt(P,cil(R))) 99677 138131825 o2(x,o2(x,o1(x))) true 114223 114223 0.0007121 0.5 0.95 0.9404 0.9697 -1 1 2 1 1.64 0.001093 0.00002666 0.008061 0.9524 1 1.126e-10 0.0002129 0.002962 0.001055 0.03247 4.029 0.2265 0.00119 0.0002264 1 1 0.002775 0.03024 0.257 0.002951 0.03215 0.2733 json
t17_x2_u4_b3 17 2 4 3 add(P,div(P,cil(R))) 99678 138131826 o2(x,o2(x,o1(x))) true 114231 114231 -0.9375 0.03125 0.9973 0.1179 0.3434 -1 1 2 1 0.2409 0.01318 0.01521 0.01469 -0.07143 1 0 0.06019 0.02893 0.0282 0.1679 11.43 2.828 0.2408 0.5104 1 1 0.02198 0.09004 0.1655 0.1864 0.7636 1.404 json
t17_x2_u4_b4 17 2 4 4 add(P,pow(P,cil(R))) 99679 138131827 o2(x,o2(x,o1(x))) true 114239 114239 0.01238 0.5113 0.9772 0.9724 0.9861 -1 1 2 1 1.334 0.008586 0.002164 0.01008 0.5973 1 7.094e-7 0.02099 0.01455 0.01065 0.1032 10.24 2.828 0.01106 0.02159 1 1 0.01355 0.06859 0.3299 0.01393 0.07054 0.3393 json
t17_x2_u4_b5 17 2 4 5 add(P,mod(P,cil(R))) 99680 138131828 o2(x,o2(x,o1(x))) true 114247 114247 -0.9844 0.007813 0.9961 0.02625 0.162 -1 1 2 1 0.1256 0.00206 0.003166 0.003355 -0.2116 1 3.754e-12 0.01089 0.005899 0.005215 0.07221 21.53 2.828 0.1991 0.4147 1 1 0.0006169 0.004318 0.02317 0.0235 0.1645 0.8824 json
t17_x2_u4_b6 17 2 4 6 add(P,lrg(P,cil(R))) 99681 138131829 o2(x,o2(x,o1(x))) true 114255 114255 0.004168 0.5 0.9417 0.9295 0.9641 -1 1 2 1 1.759 0.0008297 0.00001485 0.008019 0.9648 1 8.884e-7 0.00009665 0.002201 0.0007806 0.02794 3.484 0.2265 0.0009087 0.000104 1 1 0.002227 0.02689 0.2433 0.002396 0.02893 0.2618 json
t17_x2_u4_b7 17 2 4 7 add(P,eql(P,cil(R))) 99682 138131830 o2(x,o2(x,o1(x))) true 114263 114263 0.03803 0.5198 0.964 0.9524 0.9759 -1 1 2 1 1.587 0.001148 0.0001074 0.008691 0.8289 1 0.000004817 0.0001019 0.002246 0.00118 0.03436 3.953 0.2338 0.001318 0.000107 1 1 0.003249 0.04143 0.2887 0.003412 0.04349 0.3031 json
t17_x2_u4_b8 17 2 4 8 add(P,min(P,cil(R))) 99683 138131831 o2(x,o2(x,o1(x))) true 114271 114271 -0.003127 0.5 0.9538 0.9453 0.9723 -1 1 2 1 1.558 0.001209 0.00001482 0.008018 0.9758 1 -0.000004284 0.0002464 0.003305 0.001159 0.03405 4.247 0.2265 0.001295 0.0002606 1 1 0.003054 0.03164 0.263 0.003231 0.03347 0.2783 json
t17_x2_u4_b9 17 2 4 9 add(P,dot(P,cil(R))) 99684 138131832 o2(x,o2(x,o1(x))) true 114279 114279 0.005308 0.5033 0.9618 0.9504 0.9749 -1 1 2 1 1.625 0.005335 0.006697 0.02601 -0.1132 1 -0.000009027 0.006844 0.01708 0.01135 0.1065 4.096 1.389 0.01266 0.007202 1 1 0.01778 0.1484 0.433 0.01871 0.1561 0.4556 json
t17_x2_u4_b10 17 2 4 10 add(P,dst(P,cil(R))) 99685 138131833 o2(x,o2(x,o1(x))) true 114287 114287 0.9589 1 0.9589 0.02234 0.1495 0.00011 1 0.9999 1 0.76 0.000288 0.0003673 0.006855 -0.121 1 -0.00001023 0.0001471 0.00264 0.0006079 0.02466 3.597 0.2265 0.02933 0.006584 1 1 0.00154 0.01587 0.03597 0.06892 0.7105 1.61 json
t17_x2_u4_b11 17 2 4 11 sub(P,add(P,cil(R))) 99686 138131834 o2(x,o2(x,o1(x))) true 114295 114295 -0.4824 0 0.4824 0.1537 0.3921 -1 0 1 1 3.644 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_x2_u4_b12 17 2 4 12 sub(P,sub(P,cil(R))) 99687 138131835 o2(x,o2(x,o1(x))) true 114303 114303 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_x2_u4_b13 17 2 4 13 sub(P,mlt(P,cil(R))) 99688 138131836 o2(x,o2(x,o1(x))) true 114311 114311 0.03133 0.4718 0.6628 0.6203 0.7876 -1 1 2 1 3.229 0.004632 0.005873 0.04815 -0.1181 1 0.00003416 0.005311 0.02944 0.008187 0.09048 1.879 0.4702 0.01694 0.008563 1 1 0.01641 0.1371 0.3554 0.02645 0.221 0.573 json
t17_x2_u4_b14 17 2 4 14 sub(P,div(P,cil(R))) 99689 138131837 o2(x,o2(x,o1(x))) true 114319 114319 -0.8945 0.03125 0.957 0.1568 0.396 -1 1 2 1 0.4544 0.01934 0.01909 0.02318 0.006557 1 0 0.08125 0.04671 0.03786 0.1946 8.393 2.828 0.2451 0.5182 1 1 0.03644 0.1529 0.3366 0.2324 0.975 2.147 json
t17_x2_u4_b15 17 2 4 15 sub(P,pow(P,cil(R))) 99690 138131838 o2(x,o2(x,o1(x))) true 114327 114327 -0.2116 0.4251 0.8211 0.7499 0.8659 -1 1 2 1 2.435 0.003559 0.00249 0.02629 0.1766 1 -0.0001283 0.00509 0.01625 0.005359 0.07321 2.784 1 0.008067 0.006788 1 1 0.009225 0.07756 0.2685 0.0123 0.1034 0.3581 json
t17_x2_u4_b16 17 2 4 16 sub(P,mod(P,cil(R))) 99691 138131839 o2(x,o2(x,o1(x))) true 114335 114335 -0.9844 0.007813 0.9961 0.02625 0.162 -1 1 2 1 0.1256 0.00206 0.003166 0.003355 -0.2116 1 3.754e-12 0.01089 0.005899 0.005215 0.07221 21.53 2.828 0.1991 0.4147 1 1 0.0006169 0.004318 0.02317 0.0235 0.1645 0.8824 json
t17_x2_u4_b17 17 2 4 17 sub(P,lrg(P,cil(R))) 99692 138131840 o2(x,o2(x,o1(x))) true 114343 114343 -0.02344 0.494 0.9141 0.8964 0.9468 -1 1 2 1 2.015 0.0006574 0.0001755 0.009621 0.5787 1 -0.00001141 0.00004294 0.002283 0.0007403 0.02721 2.828 0.1169 0.0009291 0.00004791 1 1 0.002204 0.02887 0.2073 0.002459 0.03221 0.2313 json
t17_x2_u4_b18 17 2 4 18 sub(P,eql(P,cil(R))) 99693 138131841 o2(x,o2(x,o1(x))) true 114351 114351 -0.06762 0.4632 0.9357 0.9176 0.9579 -1 1 2 1 1.844 0.0009291 0.0002597 0.009955 0.5632 1 0.000001419 0.0001474 0.002952 0.00109 0.03301 3.316 0.2338 0.001296 0.0001607 1 1 0.003079 0.03727 0.2594 0.003356 0.04062 0.2827 json
t17_x2_u4_b19 17 2 4 19 sub(P,min(P,cil(R))) 99694 138131842 o2(x,o2(x,o1(x))) true 114359 114359 0.4341 0.4783 0.4341 0.2375 0.4873 0 1 1 1 1.377 0.0004231 0.0001765 0.005459 0.4112 1 0.00000927 0.00009993 0.001736 0.0005702 0.02388 4.374 0.2265 0.002525 0.0004208 1 1 0.001548 0.01777 0.08227 0.006519 0.07484 0.3464 json
t17_x2_u4_b20 17 2 4 20 sub(P,dot(P,cil(R))) 99695 138131843 o2(x,o2(x,o1(x))) true 114367 114367 0.04812 0.5271 0.8509 0.8135 0.902 -1 1 2 1 2.668 0.01214 0.01556 0.06373 -0.1232 1 0.00002067 0.01947 0.04501 0.02364 0.1538 2.412 1.637 0.03405 0.02394 1 1 0.03741 0.2978 0.7026 0.04599 0.3661 0.8637 json
t17_x2_u4_b21 17 2 4 21 sub(P,dst(P,cil(R))) 99696 138131844 o2(x,o2(x,o1(x))) true 114375 114375 -0.8091 0.0938 0.8925 0.2075 0.4555 -1 0.9996 2 1 1.611 0.0005398 0.000784 0.01308 -0.1845 1 0.00000395 0.0001605 0.003648 0.001152 0.03394 2.596 0.2998 0.006379 0.0007736 1 1 0.003238 0.03949 0.1812 0.0156 0.1903 0.8732 json
t17_x2_u4_b22 17 2 4 22 mlt(P,add(P,cil(R))) 99697 138131845 o2(x,o2(x,o1(x))) true 114383 114383 0.9164 0.9788 0.9164 0.06533 0.2556 0 1 1 1 0.8472 0.001114 0.0001422 0.009029 0.7737 1 0.000002614 0.0003035 0.003579 0.001175 0.03428 3.796 0.3455 0.01923 0.004645 1 1 0.003036 0.03175 0.1133 0.04646 0.4859 1.735 json
t17_x2_u4_b23 17 2 4 23 mlt(P,sub(P,cil(R))) 99698 138131846 o2(x,o2(x,o1(x))) true 114391 114391 0.9131 0.9783 0.9131 0.06765 0.2601 0 1 1 1 0.8725 0.001132 0.0001664 0.009211 0.7438 1 0.000002621 0.0003346 0.00375 0.001213 0.03483 3.782 0.3455 0.0192 0.004946 1 1 0.003186 0.03273 0.1068 0.04709 0.4837 1.579 json
t17_x2_u4_b24 17 2 4 24 mlt(P,mlt(P,cil(R))) 99699 138131847 o2(x,o2(x,o1(x))) true 114399 114399 0.7012 0.9101 0.7012 0.1763 0.4199 0 1 1 1 2.007 0.006948 0.009063 0.04831 -0.1321 1 -0.0008692 0.01515 0.04204 0.01367 0.1169 2.42 0.8018 0.09079 0.08591 1 1 0.02423 0.145 0.2871 0.1374 0.8224 1.628 json