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_x2_u2_b117 19 2 2 117 dst(P,eql(frc(P),R)) 138700 154372740 o2(x,o2(o1(x),x)) true 138007 138007 0.9964 1 0.9964 0.002289 0.04784 0.000582 1 0.9994 1 0.09109 0.00003966 0.00003966 0.0008105 5.503e-7 0 -4.881e-11 0.00001004 0.0002297 0.00007859 0.008865 10.94 0.1294 0.03466 0.004388 1 1 0.0002733 0.00336 0.008351 0.1194 1.468 3.649 json
t19_x2_u2_b118 19 2 2 118 dst(P,min(frc(P),R)) 138701 154372741 o2(x,o2(o1(x),x)) true 138015 138015 0.9983 1 0.9983 0.0003736 0.01933 0.6661 1 0.3339 1 0.08405 0.00000835 0.00001184 0.0003798 -0.1727 0 -1.126e-11 0.000008217 0.0002126 0.00002003 0.004475 11.78 0.1079 0.05403 0.022 1 1 0.00006512 0.0005696 0.001368 0.1743 1.525 3.662 json
t19_x2_u2_b119 19 2 2 119 dst(P,dot(frc(P),R)) 138702 154372742 o2(x,o2(o1(x),x)) true 138023 138023 0.9964 1 0.9964 0.002289 0.04784 0.000582 1 0.9994 1 0.09109 0.00003966 0.00003966 0.0008105 5.503e-7 0 -4.881e-11 0.00001004 0.0002297 0.00007859 0.008865 10.94 0.1294 0.03466 0.004388 1 1 0.0002733 0.00336 0.008351 0.1194 1.468 3.649 json
t19_x2_u2_b120 19 2 2 120 dst(P,dst(frc(P),R)) 138703 154372743 o2(x,o2(o1(x),x)) true 138031 138031 1 1 1 0 0 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 json
t19_x2_u3_b0 19 2 3 0 add(P,add(flr(P),R)) 138704 154372824 o2(x,o2(o1(x),x)) true 138039 138039 -0.004747 0.4969 0.9711 0.9603 0.9799 -1 1 2 1 1.54 0.001615 0.0001665 0.008829 0.8131 1 -0.000007571 0.0004 0.003603 0.001703 0.04126 4.674 0.4156 0.001855 0.0004165 1 1 0.004549 0.04762 0.3084 0.004737 0.04959 0.3212 json
t19_x2_u3_b1 19 2 3 1 add(P,sub(flr(P),R)) 138705 154372825 o2(x,o2(o1(x),x)) true 138047 138047 0.004943 0.5032 0.9704 0.9591 0.9793 -1 1 2 1 1.558 0.001572 0.0001649 0.008819 0.8102 1 0.00000868 0.0003768 0.003457 0.001658 0.04072 4.618 0.4362 0.001811 0.0003929 1 1 0.004468 0.04707 0.3072 0.004659 0.04907 0.3203 json
t19_x2_u3_b2 19 2 3 2 add(P,mlt(flr(P),R)) 138706 154372826 o2(x,o2(o1(x),x)) true 138055 138055 0.007116 0.4999 0.9094 0.8829 0.9396 -1 1 2 1 2.289 0.001256 0.0008476 0.01542 0.194 1 -0.00001882 0.0008758 0.007971 0.001865 0.04319 2.801 0.4797 0.002382 0.0009919 1 1 0.003995 0.03802 0.2388 0.004525 0.04307 0.2705 json
t19_x2_u3_b3 19 2 3 3 add(P,div(flr(P),R)) 138707 154372827 o2(x,o2(o1(x),x)) true 138063 138063 -0.03398 0.4839 0.9099 0.8865 0.9415 -1 1 2 1 2.167 0.05892 0.07033 0.1101 -0.08828 1 -0.00006825 0.2517 0.1495 0.1172 0.3423 3.108 2.828 0.1458 0.2839 1 1 0.1543 0.8205 1.813 0.174 0.9256 2.046 json
t19_x2_u3_b4 19 2 3 4 add(P,pow(flr(P),R)) 138708 154372828 o2(x,o2(o1(x),x)) true 138071 138071 -0.09913 0.4531 0.9946 0.9841 0.992 -1 1 2 1 1.069 0.01302 0.004393 0.01034 0.4953 1 -1.802e-10 0.03547 0.01925 0.01731 0.1316 12.73 2.828 0.01769 0.03604 1 1 0.02401 0.1015 0.3992 0.0244 0.1032 0.4057 json
t19_x2_u3_b5 19 2 3 5 add(P,mod(flr(P),R)) 138709 154372829 o2(x,o2(o1(x),x)) true 138079 138079 0.0003382 0.5 0.9433 0.932 0.9654 -1 1 2 1 1.726 0.0008664 0.000003424 0.007957 0.9921 1 3.822e-7 0.00009018 0.002164 0.0008069 0.02841 3.57 0.1657 0.0009333 0.00009676 1 1 0.002211 0.0271 0.2446 0.002372 0.02907 0.2624 json
t19_x2_u3_b6 19 2 3 6 add(P,lrg(flr(P),R)) 138710 154372830 o2(x,o2(o1(x),x)) true 138087 138087 0.03972 0.5198 0.9657 0.9543 0.9769 -1 1 2 1 1.554 0.001197 0.00009554 0.008561 0.8522 1 0.000003562 0.0001197 0.002399 0.00122 0.03492 4.08 0.2338 0.001355 0.0001254 1 1 0.003358 0.04173 0.2916 0.003518 0.04373 0.3056 json
t19_x2_u3_b7 19 2 3 7 add(P,eql(flr(P),R)) 138711 154372831 o2(x,o2(o1(x),x)) true 138095 138095 0 0.5 0.9375 0.924 0.9612 -1 1 2 1 1.813 0.0007059 0 0.007937 1 1 0 0.00003235 0.001851 0.0006432 0.02536 3.195 0.1169 0.0007639 0.00003501 1 1 0.001851 0.02449 0.2344 0.002003 0.0265 0.2537 json
t19_x2_u3_b8 19 2 3 8 add(P,min(flr(P),R)) 138712 154372832 o2(x,o2(o1(x),x)) true 138103 138103 -0.03068 0.4833 0.957 0.9435 0.9714 -1 1 2 1 1.692 0.001208 0.0001388 0.008884 0.7938 1 -0.00001833 0.0002644 0.003305 0.001267 0.0356 4.007 0.312 0.001427 0.0002803 1 1 0.003263 0.03603 0.2678 0.003458 0.03819 0.2839 json
t19_x2_u3_b9 19 2 3 9 add(P,dot(flr(P),R)) 138713 154372833 o2(x,o2(o1(x),x)) true 138111 138111 -0.02508 0.4888 0.9283 0.9035 0.9505 -1 1 2 1 2.103 0.01265 0.01563 0.05221 -0.1053 1 -0.0001246 0.02248 0.03892 0.02555 0.1598 3.061 1.84 0.03129 0.02488 1 1 0.04156 0.3309 0.7662 0.046 0.3662 0.8481 json
t19_x2_u3_b10 19 2 3 10 add(P,dst(flr(P),R)) 138714 154372834 o2(x,o2(o1(x),x)) true 138119 138119 0.8922 0.9664 0.9083 0.08564 0.2927 -0.6857 1 1.686 1 1.282 0.00041 0.0006738 0.01047 -0.2433 1 -0.00001002 0.0001625 0.003162 0.0009745 0.03122 2.982 0.2569 0.01266 0.001897 1 1 0.0023 0.02622 0.0952 0.02685 0.3061 1.112 json
t19_x2_u3_b11 19 2 3 11 sub(P,add(flr(P),R)) 138715 154372835 o2(x,o2(o1(x),x)) true 138127 138127 -0.008979 0.5015 0.3946 0.2196 0.4686 -0.9806 0.9989 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_x2_u3_b12 19 2 3 12 sub(P,sub(flr(P),R)) 138716 154372836 o2(x,o2(o1(x),x)) true 138135 138135 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_x2_u3_b13 19 2 3 13 sub(P,mlt(flr(P),R)) 138717 154372837 o2(x,o2(o1(x),x)) true 138143 138143 0.001257 0.4988 0.8903 0.8635 0.9293 -1 1 2 1 2.333 0.001259 0.0008081 0.0155 0.2182 1 -0.00003944 0.0009094 0.008003 0.001826 0.04273 2.758 0.4854 0.002394 0.001053 1 1 0.004487 0.04088 0.2233 0.005197 0.04734 0.2586 json
t19_x2_u3_b14 19 2 3 14 sub(P,div(flr(P),R)) 138718 154372838 o2(x,o2(o1(x),x)) true 138151 138151 0.05358 0.5234 0.8962 0.87 0.9328 -1 1 2 1 2.203 0.05765 0.06993 0.1065 -0.0962 1 5.063e-7 0.2518 0.1468 0.1162 0.3408 3.2 2.828 0.1466 0.2894 1 1 0.1354 0.6998 1.553 0.1557 0.8043 1.785 json
t19_x2_u3_b15 19 2 3 15 sub(P,pow(flr(P),R)) 138719 154372839 o2(x,o2(o1(x),x)) true 138159 138159 -0.1496 0.4372 0.9442 0.9118 0.9549 -1 1 2 1 1.575 0.004403 0.001645 0.01085 0.456 1 -0.00002088 0.01144 0.01292 0.005933 0.07702 7.096 1.414 0.006633 0.01254 1 1 0.008943 0.05119 0.2865 0.009809 0.05614 0.3142 json
t19_x2_u3_b16 19 2 3 16 sub(P,mod(flr(P),R)) 138720 154372840 o2(x,o2(o1(x),x)) true 138167 138167 -0.0009307 0.5 0.9218 0.9003 0.9488 -1 1 2 1 2.145 0.0005749 0.00001898 0.008301 0.9361 1 -5.164e-8 0.0000636 0.002545 0.0005249 0.02291 2.76 0.1241 0.0006597 0.00007064 1 1 0.001557 0.01992 0.2084 0.00173 0.02212 0.2315 json
t19_x2_u3_b17 19 2 3 17 sub(P,lrg(flr(P),R)) 138721 154372841 o2(x,o2(o1(x),x)) true 138175 138175 -0.09766 0.4375 0.9102 0.8845 0.9405 -1 1 2 1 1.994 0.0006768 0.0001053 0.00895 0.7306 1 -0.000005704 0.00003873 0.002112 0.000702 0.0265 2.96 0.1169 0.0008842 0.00004379 1 1 0.002072 0.02729 0.2147 0.002342 0.03086 0.2427 json
t19_x2_u3_b18 19 2 3 18 sub(P,eql(flr(P),R)) 138722 154372842 o2(x,o2(o1(x),x)) true 138183 138183 0 0.5 0.9375 0.924 0.9612 -1 1 2 1 1.813 0.0007059 0 0.007937 1 1 0 0.00003235 0.001851 0.0006432 0.02536 3.195 0.1169 0.0007639 0.00003501 1 1 0.001851 0.02449 0.2344 0.002003 0.0265 0.2537 json
t19_x2_u3_b19 19 2 3 19 sub(P,min(flr(P),R)) 138723 154372843 o2(x,o2(o1(x),x)) true 138191 138191 0.4741 0.5447 0.4741 0.2316 0.4812 0 1 1 1 1.675 0.0004189 0.000187 0.006553 0.3828 1 0.000003155 0.000128 0.002239 0.0005633 0.02373 3.622 0.2317 0.002616 0.0005525 1 1 0.001475 0.01637 0.07459 0.00637 0.07068 0.3221 json
t19_x2_u3_b20 19 2 3 20 sub(P,dot(flr(P),R)) 138724 154372844 o2(x,o2(o1(x),x)) true 138199 138199 0.02512 0.5107 0.8979 0.8658 0.9305 -1 1 2 1 2.366 0.01217 0.01577 0.05573 -0.129 1 0.00004095 0.02091 0.03934 0.02483 0.1576 2.828 1.732 0.03227 0.02416 1 1 0.03905 0.3091 0.7296 0.0451 0.357 0.8427 json
t19_x2_u3_b21 19 2 3 21 sub(P,dst(flr(P),R)) 138725 154372845 o2(x,o2(o1(x),x)) true 138207 138207 -0.873 0.05544 0.9076 0.1185 0.3442 -1 0.8621 1.862 1 1.339 0.000593 0.0006637 0.01222 -0.05626 1 0.000008606 0.0001641 0.0036 0.001108 0.03329 2.723 0.2088 0.01061 0.001385 1 1 0.002889 0.03526 0.1391 0.02439 0.2976 1.174 json
t19_x2_u3_b22 19 2 3 22 mlt(P,add(flr(P),R)) 138726 154372846 o2(x,o2(o1(x),x)) true 138215 138215 0.9253 0.999 0.9253 0.05394 0.2322 0.00002969 1 1 1 0.8974 0.0009646 0.0001849 0.009214 0.6783 1 -0.00001248 0.0003241 0.003701 0.001064 0.03262 3.541 0.3409 0.02131 0.006008 1 1 0.002573 0.02726 0.08781 0.04769 0.5053 1.628 json
t19_x2_u3_b23 19 2 3 23 mlt(P,sub(flr(P),R)) 138727 154372847 o2(x,o2(o1(x),x)) true 138223 138223 0.9196 0.9987 0.9196 0.05783 0.2405 8.529e-7 1 1 1 0.9449 0.0009599 0.0002083 0.009388 0.6433 1 -0.00001249 0.0003481 0.003832 0.00108 0.03286 3.5 0.3416 0.0202 0.00602 1 1 0.00264 0.02752 0.09072 0.04565 0.4759 1.569 json
t19_x2_u3_b24 19 2 3 24 mlt(P,mlt(flr(P),R)) 138728 154372848 o2(x,o2(o1(x),x)) true 138231 138231 -0.004379 0.5021 0.8312 0.7925 0.8902 -1 1 2 1 2.783 0.04693 0.05822 0.0992 -0.1074 1 0.0000787 0.1982 0.1198 0.09528 0.3087 3.112 2.828 0.1327 0.2501 1 1 0.1099 0.6324 1.326 0.1386 0.7981 1.673 json
t19_x2_u3_b25 19 2 3 25 mlt(P,div(flr(P),R)) 138729 154372849 o2(x,o2(o1(x),x)) true 138239 138239 -0.05851 0.4749 0.94 0.9243 0.9614 -1 1 2 1 1.761 0.08561 0.1042 0.1159 -0.09812 1 -0.00009104 0.4664 0.2005 0.1764 0.42 3.625 2.828 0.2054 0.5045 1 1 0.1926 0.8677 1.801 0.2083 0.9387 1.949 json
t19_x2_u3_b26 19 2 3 26 mlt(P,pow(flr(P),R)) 138730 154372850 o2(x,o2(o1(x),x)) true 138247 138247 -0.1016 0.4531 0.9922 0.9808 0.9903 -1 1 2 1 1.12 0.01294 0.003616 0.0101 0.5632 1 -1.765e-10 0.03388 0.01859 0.01646 0.1283 12.7 2.828 0.01688 0.03455 1 1 0.02269 0.09441 0.3825 0.02313 0.09626 0.39 json
t19_x2_u3_b27 19 2 3 27 mlt(P,mod(flr(P),R)) 138731 154372851 o2(x,o2(o1(x),x)) true 138255 138255 0.5952 0.9916 0.5952 0.1344 0.3666 1.05e-7 1 1 1 3.394 0.001435 0.001431 0.03065 0.001437 1 -0.00006213 0.0009154 0.01242 0.001927 0.0439 1.432 0.341 0.02133 0.006813 1 1 0.004656 0.04718 0.1501 0.03465 0.3512 1.117 json
t19_x2_u3_b28 19 2 3 28 mlt(P,lrg(flr(P),R)) 138732 154372852 o2(x,o2(o1(x),x)) true 138263 138263 0.4688 0.5 0.4688 0.2423 0.4922 0 1 1 1 1.326 0.0003529 0 0.003968 1 1 -4.731e-10 0.00001619 0.0009276 0.0003372 0.01836 4.628 0.1169 0.001457 0.00006684 1 1 0.0009255 0.01214 0.0751 0.00382 0.05012 0.31 json
t19_x2_u3_b29 19 2 3 29 mlt(P,eql(flr(P),R)) 138733 154372853 o2(x,o2(o1(x),x)) true 138271 138271 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_x2_u3_b30 19 2 3 30 mlt(P,min(flr(P),R)) 138734 154372854 o2(x,o2(o1(x),x)) true 138279 138279 0.4407 0.737 0.8278 0.5878 0.7667 -1 1 2 1 2.767 0.009014 0.009439 0.05165 -0.023 1 -0.00001184 0.009863 0.02594 0.01579 0.1257 2.433 1.466 0.03139 0.01678 1 1 0.02548 0.2377 0.6193 0.04334 0.4043 1.054 json
t19_x2_u3_b31 19 2 3 31 mlt(P,dot(flr(P),R)) 138735 154372855 o2(x,o2(o1(x),x)) true 138287 138287 0.0923 0.5597 0.8925 0.8587 0.9267 -1 1 2 1 2.264 0.05359 0.07142 0.1062 -0.1427 1 -0.00004195 0.2392 0.142 0.1137 0.3372 3.175 2.828 0.1456 0.2786 1 1 0.1245 0.6917 1.412 0.145 0.8055 1.645 json
t19_x2_u3_b32 19 2 3 32 mlt(P,dst(flr(P),R)) 138736 154372856 o2(x,o2(o1(x),x)) true 138295 138295 -0.002243 0.5 0.9641 0.9577 0.9786 -1 1 2 1 1.463 0.001822 0.00002765 0.008105 0.9701 1 2.932e-7 0.0008521 0.005088 0.001785 0.04225 5.213 0.473 0.001932 0.0008897 1 1 0.004001 0.03596 0.2765 0.004178 0.03755 0.2888 json
t19_x2_u3_b33 19 2 3 33 div(P,add(flr(P),R)) 138737 154372857 o2(x,o2(o1(x),x)) true 138303 138303 0.9043 1 0.9043 0.044 0.2098 0.0001459 1 0.9999 1 1.782 0.00109 0.0002872 0.01399 0.583 1 -0.00005745 0.0005618 0.006407 0.001182 0.03437 2.457 0.4846 0.03131 0.01277 1 1 0.002959 0.02881 0.07003 0.06727 0.6549 1.592 json
t19_x2_u3_b34 19 2 3 34 div(P,sub(flr(P),R)) 138738 154372858 o2(x,o2(o1(x),x)) true 138311 138311 0.9065 1 0.9065 0.04046 0.2011 0.0001533 1 0.9998 1 1.799 0.001312 0.0003483 0.0145 0.5804 1 -0.00006097 0.0009957 0.007131 0.00145 0.03809 2.627 0.9472 0.04104 0.02461 1 1 0.003259 0.03036 0.06703 0.08056 0.7503 1.657 json
t19_x2_u3_b35 19 2 3 35 div(P,mlt(flr(P),R)) 138739 154372859 o2(x,o2(o1(x),x)) true 138319 138319 -0.1913 0.4044 0.9098 0.8417 0.9175 -1 1 2 1 2.318 0.04494 0.03353 0.1057 0.1455 1 -0.0000044 0.09681 0.09261 0.06733 0.2595 2.456 2.828 0.09323 0.115 1 1 0.1089 0.6974 1.58 0.1294 0.8285 1.877 json
t19_x2_u3_b36 19 2 3 36 div(P,div(flr(P),R)) 138740 154372860 o2(x,o2(o1(x),x)) true 138327 138327 -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
t19_x2_u3_b37 19 2 3 37 div(P,pow(flr(P),R)) 138741 154372861 o2(x,o2(o1(x),x)) true 138335 138335 -0.08984 0.4609 0.9883 0.9775 0.9887 -1 1 2 1 1.174 0.01156 0.001808 0.009021 0.7296 1 -5.632e-11 0.02695 0.0155 0.01328 0.1153 12.78 2.828 0.01368 0.02757 1 1 0.01932 0.08219 0.3617 0.01976 0.08408 0.3701 json
t19_x2_u3_b38 19 2 3 38 div(P,mod(flr(P),R)) 138742 154372862 o2(x,o2(o1(x),x)) true 138343 138343 0.75 0.875 1 0.4375 0.6614 -1 1 2 1 0.5436 0.03175 0 0.01587 1 1 0 0.06349 0.03175 0.03149 0.1774 11.18 2 0.07256 0.1451 1 1 0.04211 0.1684 0.6737 0.09624 0.385 1.54 json
t19_x2_u3_b39 19 2 3 39 div(P,lrg(flr(P),R)) 138743 154372863 o2(x,o2(o1(x),x)) true 138351 138351 -0.08984 0.4609 0.9883 0.9775 0.9887 -1 1 2 1 1.174 0.01156 0.001808 0.009021 0.7296 1 -5.632e-11 0.02695 0.0155 0.01328 0.1153 12.78 2.828 0.01368 0.02757 1 1 0.01932 0.08219 0.3617 0.01976 0.08408 0.3701 json
t19_x2_u3_b40 19 2 3 40 div(P,eql(flr(P),R)) 138744 154372864 o2(x,o2(o1(x),x)) true 138359 138359 -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_x2_u3_b41 19 2 3 41 div(P,min(flr(P),R)) 138745 154372865 o2(x,o2(o1(x),x)) true 138367 138367 0.322 0.6703 0.9625 0.8494 0.9216 -1 1 2 1 1.488 0.04715 0.04348 0.06627 0.0404 1 -0.00002737 0.1788 0.09986 0.08624 0.2937 4.431 2.828 0.1067 0.2105 1 1 0.1056 0.5118 1.202 0.1244 0.6026 1.415 json
t19_x2_u3_b42 19 2 3 42 div(P,dot(flr(P),R)) 138746 154372866 o2(x,o2(o1(x),x)) true 138375 138375 0.01385 0.5265 0.7735 0.7069 0.8408 -1 1 2 1 3.523 0.02366 0.0259 0.09689 -0.04519 1 -0.00008284 0.04843 0.06805 0.04015 0.2004 2.068 2.828 0.0701 0.06851 1 1 0.08344 0.5652 1.399 0.118 0.7996 1.979 json
t19_x2_u3_b43 19 2 3 43 div(P,dst(flr(P),R)) 138747 154372867 o2(x,o2(o1(x),x)) true 138383 138383 0.005475 0.4978 0.6334 0.4837 0.6955 -1 1 2 1 4.795 0.0002383 0.0001179 0.01181 0.3381 1 0.000001038 0.00004032 0.002954 0.0002168 0.01472 1.247 0.1973 0.0007364 0.00008336 1 1 0.001099 0.01347 0.1081 0.002271 0.02785 0.2236 json
t19_x2_u3_b44 19 2 3 44 pow(P,add(flr(P),R)) 138748 154372868 o2(x,o2(o1(x),x)) true 138391 138391 -0.1016 0.4531 0.9922 0.9808 0.9903 -1 1 2 1 1.12 0.01294 0.003616 0.0101 0.5632 1 -1.765e-10 0.03388 0.01859 0.01646 0.1283 12.7 2.828 0.01688 0.03455 1 1 0.02269 0.09441 0.3825 0.02313 0.09626 0.39 json
t19_x2_u3_b45 19 2 3 45 pow(P,sub(flr(P),R)) 138749 154372869 o2(x,o2(o1(x),x)) true 138399 138399 -0.08984 0.4609 0.9883 0.9775 0.9887 -1 1 2 1 1.174 0.01156 0.001808 0.009021 0.7296 1 -5.632e-11 0.02695 0.0155 0.01328 0.1153 12.78 2.828 0.01368 0.02757 1 1 0.01932 0.08219 0.3617 0.01976 0.08408 0.3701 json
t19_x2_u3_b46 19 2 3 46 pow(P,mlt(flr(P),R)) 138750 154372870 o2(x,o2(o1(x),x)) true 138407 138407 -0.08048 0.497 0.9195 0.8925 0.9447 -1 1 2 1 1.911 0.0184 0.00324 0.02427 0.7005 1 -0.00005412 0.04071 0.0321 0.02106 0.1451 5.98 2 0.02425 0.04561 1 1 0.02826 0.1199 0.3955 0.03166 0.1343 0.4431 json
t19_x2_u3_b47 19 2 3 47 pow(P,div(flr(P),R)) 138751 154372871 o2(x,o2(o1(x),x)) true 138415 138415 -0.1497 0.4218 0.9518 0.9247 0.9616 -1 1 2 1 1.394 0.03092 0.01478 0.03147 0.3531 1 -0.0001263 0.09509 0.05784 0.04469 0.2114 6.718 2.828 0.04942 0.1028 1 1 0.04077 0.1677 0.5629 0.04409 0.1814 0.6087 json
t19_x2_u3_b48 19 2 3 48 pow(P,pow(flr(P),R)) 138752 154372872 o2(x,o2(o1(x),x)) true 138423 138423 -0.01758 0.5 0.9824 0.9771 0.9885 -1 1 2 1 1.292 0.009278 0.00005267 0.008427 0.9887 1 -0.000002852 0.01819 0.01206 0.009256 0.09621 11.42 2 0.00955 0.01862 1 1 0.01289 0.06089 0.3164 0.01319 0.06232 0.3238 json
t19_x2_u3_b49 19 2 3 49 pow(P,mod(flr(P),R)) 138753 154372873 o2(x,o2(o1(x),x)) true 138431 138431 0 0.5 1 1 1 -1 1 2 1 1 0.01587 0 0.007937 1 1 0 0.03175 0.01587 0.01581 0.1257 15.84 2 0.01587 0.03175 1 1 0.02105 0.08421 0.3368 0.02105 0.08421 0.3368 json
t19_x2_u3_b50 19 2 3 50 pow(P,lrg(flr(P),R)) 138754 154372874 o2(x,o2(o1(x),x)) true 138439 138439 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
t19_x2_u3_b51 19 2 3 51 pow(P,eql(flr(P),R)) 138755 154372875 o2(x,o2(o1(x),x)) true 138447 138447 1 1 1 0 0 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 json
t19_x2_u3_b52 19 2 3 52 pow(P,min(flr(P),R)) 138756 154372876 o2(x,o2(o1(x),x)) true 138455 138455 -0.1638 0.4531 0.93 0.8675 0.9314 -1 1 2 1 2.09 0.01638 0.006661 0.0223 0.4217 1 -0.00005144 0.04586 0.02778 0.02254 0.1501 6.732 2.828 0.02656 0.05286 1 1 0.03147 0.1323 0.4385 0.03628 0.1525 0.5055 json
t19_x2_u3_b53 19 2 3 53 pow(P,dot(flr(P),R)) 138757 154372877 o2(x,o2(o1(x),x)) true 138463 138463 -0.1759 0.4542 0.91 0.866 0.9306 -1 1 2 1 1.772 0.01619 0.005745 0.02443 0.4763 1 -0.00004617 0.0429 0.03575 0.02135 0.1461 5.981 2.828 0.02533 0.04954 1 1 0.02606 0.1182 0.4263 0.03009 0.1365 0.4923 json
t19_x2_u3_b54 19 2 3 54 pow(P,dst(flr(P),R)) 138758 154372878 o2(x,o2(o1(x),x)) true 138471 138471 -0.03125 0.5 0.9688 0.9603 0.98 -1 1 2 1 1.406 0.004323 0 0.007937 1 1 -9.386e-13 0.007903 0.008812 0.004259 0.06526 8.223 1 0.004502 0.008229 1 1 0.006228 0.03975 0.2856 0.006485 0.04139 0.2974 json
t19_x2_u3_b55 19 2 3 55 mod(P,add(flr(P),R)) 138759 154372879 o2(x,o2(o1(x),x)) true 138479 138479 -0.005064 0.4993 0.782 0.7111 0.8433 -1 1 2 1 3.568 0.002356 0.002186 0.0334 0.03745 1 -0.0000286 0.002292 0.01897 0.003425 0.05853 1.752 0.4624 0.006387 0.003223 1 1 0.00745 0.06683 0.2457 0.01048 0.09399 0.3456 json
t19_x2_u3_b56 19 2 3 56 mod(P,sub(flr(P),R)) 138760 154372880 o2(x,o2(o1(x),x)) true 138487 138487 0.01257 0.4983 0.8009 0.7411 0.8609 -1 1 2 1 3.333 0.001815 0.002429 0.02997 -0.1446 1 0.00001924 0.002262 0.01773 0.003347 0.05785 1.93 0.4419 0.005727 0.003052 1 1 0.006512 0.05621 0.2121 0.008787 0.07584 0.2863 json
t19_x2_u3_b57 19 2 3 57 mod(P,mlt(flr(P),R)) 138761 154372881 o2(x,o2(o1(x),x)) true 138495 138495 -0.1034 0.4375 0.6659 0.5376 0.7332 -1 1 2 1 4.349 0.009702 0.001265 0.03936 0.7693 1 0.00003112 0.01739 0.02648 0.009419 0.09705 2.466 1.398 0.0204 0.03234 1 1 0.01505 0.08991 0.3268 0.028 0.1672 0.6079 json
t19_x2_u3_b58 19 2 3 58 mod(P,div(flr(P),R)) 138762 154372882 o2(x,o2(o1(x),x)) true 138503 138503 -0.125 0.4375 1 0.9844 0.9922 -1 1 2 1 0.9887 0.01587 0 0.007937 1 1 0 0.03175 0.01587 0.01581 0.1257 15.84 2 0.01612 0.03225 1 1 0.02105 0.08421 0.3368 0.02139 0.08555 0.3422 json
t19_x2_u3_b59 19 2 3 59 mod(P,pow(flr(P),R)) 138763 154372883 o2(x,o2(o1(x),x)) true 138511 138511 -0.3597 0.4362 0.7653 0.5766 0.7593 -1 1 2 1 2.621 0.004664 0.0006792 0.02031 0.7458 1 -0.00004205 0.008204 0.01312 0.004932 0.07023 3.458 1 0.009267 0.01423 1 1 0.007452 0.0494 0.2329 0.01292 0.08568 0.404 json
t19_x2_u3_b60 19 2 3 60 mod(P,mod(flr(P),R)) 138764 154372884 o2(x,o2(o1(x),x)) true 138519 138519 -0.1262 0.4374 0.2274 0.1297 0.3601 -1 0.6058 1.606 1 3.448 0.008248 0.0001288 0.01859 0.9692 1 0.000001125 0.0163 0.01843 0.008031 0.08962 4.822 1.327 0.06458 0.1256 1 1 0.01134 0.04867 0.1851 0.08743 0.3752 1.427 json
t19_x2_u3_b61 19 2 3 61 mod(P,lrg(flr(P),R)) 138765 154372885 o2(x,o2(o1(x),x)) true 138527 138527 -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
t19_x2_u3_b62 19 2 3 62 mod(P,eql(flr(P),R)) 138766 154372886 o2(x,o2(o1(x),x)) true 138535 138535 -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_x2_u3_b63 19 2 3 63 mod(P,min(flr(P),R)) 138767 154372887 o2(x,o2(o1(x),x)) true 138543 138543 -0.2203 0.4595 0.4365 0.3085 0.5554 -1 0.7988 1.799 1 3.274 0.01019 0.001866 0.03122 0.6903 1 0.0006331 0.01787 0.02718 0.01108 0.1053 3.371 1.461 0.03907 0.05792 1 1 0.01859 0.1047 0.2611 0.06026 0.3393 0.8464 json
t19_x2_u3_b64 19 2 3 64 mod(P,dot(flr(P),R)) 138768 154372888 o2(x,o2(o1(x),x)) true 138551 138551 -0.0227 0.4916 0.7607 0.6903 0.8309 -1 1 2 1 3.591 0.0034 0.003152 0.03547 0.03784 1 0.00003466 0.006523 0.01976 0.005292 0.07275 2.051 2.828 0.00949 0.009448 1 1 0.01204 0.09447 0.3487 0.01744 0.1369 0.505 json
t19_x2_u3_b65 19 2 3 65 mod(P,dst(flr(P),R)) 138769 154372889 o2(x,o2(o1(x),x)) true 138559 138559 0.001298 0.5 0.9093 0.8849 0.9407 -1 1 2 1 2.216 0.001059 0.0008238 0.01444 0.1248 1 -0.00002554 0.0007843 0.006757 0.001673 0.0409 2.832 0.4436 0.002128 0.0008864 1 1 0.004088 0.04043 0.2499 0.00462 0.04569 0.2824 json
t19_x2_u3_b66 19 2 3 66 lrg(P,add(flr(P),R)) 138770 154372890 o2(x,o2(o1(x),x)) true 138567 138567 0.5176 0.9429 0.5176 0.1537 0.3921 0 1 1 1 3.429 0.001972 0.002442 0.05168 -0.1065 1 0.00001781 0.0002592 0.01257 0.001744 0.04176 0.8079 0.1169 0.02872 0.001686 1 1 0.008731 0.1124 0.2862 0.0568 0.7316 1.862 json
t19_x2_u3_b67 19 2 3 67 lrg(P,sub(flr(P),R)) 138771 154372891 o2(x,o2(o1(x),x)) true 138575 138575 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
t19_x2_u3_b68 19 2 3 68 lrg(P,mlt(flr(P),R)) 138772 154372892 o2(x,o2(o1(x),x)) true 138583 138583 0.4688 0.5 0.4688 0.2423 0.4922 0 1 1 1 1.326 0.0003529 0 0.003968 1 1 -4.731e-10 0.00001619 0.0009276 0.0003372 0.01836 4.628 0.1169 0.001457 0.00006684 1 1 0.0009255 0.01214 0.0751 0.00382 0.05012 0.31 json
t19_x2_u3_b69 19 2 3 69 lrg(P,div(flr(P),R)) 138773 154372893 o2(x,o2(o1(x),x)) true 138591 138591 0.4941 0.9147 0.4941 0.1569 0.3961 0 1 1 1 3.391 0.001946 0.002332 0.05014 -0.09022 1 0.00003637 0.0002504 0.01218 0.001764 0.042 0.8377 0.1169 0.02726 0.001596 1 1 0.00831 0.107 0.2923 0.05296 0.6821 1.863 json
t19_x2_u3_b70 19 2 3 70 lrg(P,pow(flr(P),R)) 138774 154372894 o2(x,o2(o1(x),x)) true 138599 138599 0.875 0.9375 0.875 0.09585 0.3096 0 1 1 1 1.067 0.0007059 0 0.007937 1 1 -9.461e-10 0.00003238 0.001855 0.0006432 0.02536 3.195 0.1169 0.007364 0.0003379 1 1 0.001851 0.02429 0.1411 0.01931 0.2534 1.472 json
t19_x2_u3_b71 19 2 3 71 lrg(P,mod(flr(P),R)) 138775 154372895 o2(x,o2(o1(x),x)) true 138607 138607 0.4688 0.5 0.4688 0.2423 0.4922 0 1 1 1 1.326 0.0003529 0 0.003968 1 1 -4.731e-10 0.00001619 0.0009276 0.0003372 0.01836 4.628 0.1169 0.001457 0.00006684 1 1 0.0009255 0.01214 0.0751 0.00382 0.05012 0.31 json
t19_x2_u3_b72 19 2 3 72 lrg(P,lrg(flr(P),R)) 138776 154372896 o2(x,o2(o1(x),x)) true 138615 138615 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
t19_x2_u3_b73 19 2 3 73 lrg(P,eql(flr(P),R)) 138777 154372897 o2(x,o2(o1(x),x)) true 138623 138623 0.4688 0.5 0.4688 0.2423 0.4922 0 1 1 1 1.326 0.0003529 0 0.003968 1 1 -4.731e-10 0.00001619 0.0009276 0.0003372 0.01836 4.628 0.1169 0.001457 0.00006684 1 1 0.0009255 0.01214 0.0751 0.00382 0.05012 0.31 json
t19_x2_u3_b74 19 2 3 74 lrg(P,min(flr(P),R)) 138778 154372898 o2(x,o2(o1(x),x)) true 138631 138631 0.5039 0.5456 0.5039 0.2412 0.4911 0 1 1 1 1.415 0.0003238 0.0001053 0.004981 0.5091 1 0.000005704 0.00002256 0.001187 0.0004044 0.02011 4.037 0.1169 0.001779 0.00009352 1 1 0.001146 0.01504 0.08976 0.004753 0.06234 0.3721 json
t19_x2_u3_b75 19 2 3 75 lrg(P,dot(flr(P),R)) 138779 154372899 o2(x,o2(o1(x),x)) true 138639 138639 0.5117 0.7632 0.5117 0.1946 0.4411 0 1 1 1 2.719 0.001185 0.001347 0.02986 -0.06396 1 0.00001711 0.0001497 0.007269 0.001641 0.0405 1.356 0.1169 0.01301 0.0007692 1 1 0.005161 0.0666 0.2014 0.02652 0.3423 1.035 json
t19_x2_u3_b76 19 2 3 76 lrg(P,dst(flr(P),R)) 138780 154372900 o2(x,o2(o1(x),x)) true 138647 138647 0.05859 0.1298 0.05859 0.04026 0.2006 0 1 1 1 0.8457 0.0002966 0.0003752 0.007902 -0.117 1 0.00001141 0.00004128 0.00194 0.0006089 0.02467 3.123 0.1169 0.01669 0.001025 1 1 0.001622 0.0212 0.07572 0.04029 0.5265 1.881 json
t19_x2_u3_b77 19 2 3 77 eql(P,add(flr(P),R)) 138781 154372901 o2(x,o2(o1(x),x)) true 138655 138655 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_x2_u3_b78 19 2 3 78 eql(P,sub(flr(P),R)) 138782 154372902 o2(x,o2(o1(x),x)) true 138663 138663 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_x2_u3_b79 19 2 3 79 eql(P,mlt(flr(P),R)) 138783 154372903 o2(x,o2(o1(x),x)) true 138671 138671 0.0625 0.125 0.0625 0.04507 0.2123 0 0.9997 0.9997 1 0.8126 0.0007059 0 0.007934 1 1 -9.461e-10 0.00003241 0.001855 0.0006433 0.02536 3.197 0.1169 0.01566 0.0007193 1 1 0.001851 0.02408 0.06598 0.04107 0.5344 1.464 json
t19_x2_u3_b80 19 2 3 80 eql(P,div(flr(P),R)) 138784 154372904 o2(x,o2(o1(x),x)) true 138679 138679 0.0625 0.125 0.0625 0.04507 0.2123 0 0.9997 0.9997 1 0.8126 0.0007059 0 0.007934 1 1 -9.461e-10 0.00003241 0.001855 0.0006433 0.02536 3.197 0.1169 0.01566 0.0007193 1 1 0.001851 0.02408 0.06598 0.04107 0.5344 1.464 json
t19_x2_u3_b81 19 2 3 81 eql(P,pow(flr(P),R)) 138785 154372905 o2(x,o2(o1(x),x)) true 138687 138687 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
t19_x2_u3_b82 19 2 3 82 eql(P,mod(flr(P),R)) 138786 154372906 o2(x,o2(o1(x),x)) true 138695 138695 0.0625 0.125 0.0625 0.04507 0.2123 0 0.9997 0.9997 1 0.8126 0.0007059 0 0.007934 1 1 -9.461e-10 0.00003241 0.001855 0.0006433 0.02536 3.197 0.1169 0.01566 0.0007193 1 1 0.001851 0.02408 0.06598 0.04107 0.5344 1.464 json
t19_x2_u3_b83 19 2 3 83 eql(P,lrg(flr(P),R)) 138787 154372907 o2(x,o2(o1(x),x)) true 138703 138703 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
t19_x2_u3_b84 19 2 3 84 eql(P,eql(flr(P),R)) 138788 154372908 o2(x,o2(o1(x),x)) true 138711 138711 0.0625 0.125 0.0625 0.04507 0.2123 0 0.9997 0.9997 1 0.8126 0.0007059 0 0.007934 1 1 -9.461e-10 0.00003241 0.001855 0.0006433 0.02536 3.197 0.1169 0.01566 0.0007193 1 1 0.001851 0.02408 0.06598 0.04107 0.5344 1.464 json
t19_x2_u3_b85 19 2 3 85 eql(P,min(flr(P),R)) 138789 154372909 o2(x,o2(o1(x),x)) true 138719 138719 0.4961 0.5378 0.4961 0.2412 0.4911 0 1 1 1 1.415 0.0003238 0.0001053 0.004981 0.5091 1 -0.000005705 0.00002256 0.001187 0.0004044 0.02011 4.037 0.1169 0.001779 0.00009352 1 1 0.001146 0.01504 0.08976 0.004753 0.06234 0.3721 json
t19_x2_u3_b86 19 2 3 86 eql(P,dot(flr(P),R)) 138790 154372910 o2(x,o2(o1(x),x)) true 138727 138727 0.003906 0.01477 0.003906 0.002383 0.04882 0 0.9994 0.9994 1 0.1068 0.00003512 0.00003512 0.0008419 7.252e-7 0 -5.638e-14 0.000004222 0.000206 0.00006942 0.008332 9.897 0.1169 0.02947 0.001772 1 1 0.0002443 0.003178 0.008708 0.1025 1.334 3.654 json
t19_x2_u3_b87 19 2 3 87 eql(P,dst(flr(P),R)) 138791 154372911 o2(x,o2(o1(x),x)) true 138735 138735 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_x2_u3_b88 19 2 3 88 min(P,add(flr(P),R)) 138792 154372912 o2(x,o2(o1(x),x)) true 138743 138743 -0.03231 0.4815 0.9463 0.928 0.9633 -1 1 2 1 1.884 0.0008346 0.0001011 0.008883 0.7838 1 -0.00001072 0.00008151 0.002361 0.0008571 0.02928 3.296 0.208 0.001008 0.00008783 1 1 0.002395 0.0304 0.2484 0.00258 0.03275 0.2677 json
t19_x2_u3_b89 19 2 3 89 min(P,sub(flr(P),R)) 138793 154372913 o2(x,o2(o1(x),x)) true 138751 138751 -0.03855 0.4838 0.9296 0.9098 0.9538 -1 1 2 1 1.954 0.0008378 0.0001186 0.009138 0.7519 1 0.0000112 0.000146 0.002785 0.0008733 0.02955 3.234 0.2161 0.001051 0.0001605 1 1 0.002447 0.02935 0.2345 0.00269 0.03226 0.2578 json
t19_x2_u3_b90 19 2 3 90 min(P,mlt(flr(P),R)) 138794 154372914 o2(x,o2(o1(x),x)) true 138759 138759 -0.4968 0.237 0.8278 0.5354 0.7317 -1 1 2 1 2.708 0.009014 0.009439 0.05165 -0.023 1 -0.00001184 0.009863 0.02594 0.01579 0.1257 2.433 1.466 0.03446 0.01842 1 1 0.02548 0.2377 0.6429 0.04758 0.444 1.201 json
t19_x2_u3_b91 19 2 3 91 min(P,div(flr(P),R)) 138795 154372915 o2(x,o2(o1(x),x)) true 138767 138767 -0.6396 0.1723 0.9229 0.496 0.7043 -1 1 2 1 1.635 0.02456 0.029 0.05832 -0.08305 1 0.000004352 0.07954 0.06404 0.05017 0.224 3.84 2.828 0.108 0.1604 1 1 0.06557 0.391 0.7941 0.1322 0.7884 1.601 json
t19_x2_u3_b92 19 2 3 92 min(P,pow(flr(P),R)) 138796 154372916 o2(x,o2(o1(x),x)) true 138775 138775 -0.07001 0.5 0.8675 0.813 0.9017 -1 1 2 1 2.787 0.00121 0.0006141 0.01933 0.3268 1 -0.00005144 0.0005303 0.007709 0.001451 0.03809 1.971 0.3756 0.002244 0.0006522 1 1 0.003412 0.03844 0.2564 0.004196 0.04728 0.3153 json
t19_x2_u3_b93 19 2 3 93 min(P,mod(flr(P),R)) 138797 154372917 o2(x,o2(o1(x),x)) true 138783 138783 -0.3571 0.496 0.5804 0.3738 0.6114 -1 0.7988 1.799 1 2.996 0.0005239 0.0001517 0.01372 0.5509 1 0.000004932 0.00003461 0.003146 0.0004876 0.02208 1.609 0.1169 0.001807 0.00009259 1 1 0.001533 0.02013 0.122 0.0041 0.05384 0.3263 json
t19_x2_u3_b94 19 2 3 94 min(P,lrg(flr(P),R)) 138798 154372918 o2(x,o2(o1(x),x)) true 138791 138791 0 0.5 0.9375 0.924 0.9612 -1 1 2 1 1.813 0.0007059 0 0.007937 1 1 0 0.00003235 0.001851 0.0006432 0.02536 3.195 0.1169 0.0007639 0.00003501 1 1 0.001851 0.02449 0.2344 0.002003 0.0265 0.2537 json
t19_x2_u3_b95 19 2 3 95 min(P,eql(flr(P),R)) 138799 154372919 o2(x,o2(o1(x),x)) true 138799 138799 -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