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
t16_x19_u3_b116 16 19 3 116 dst(R,flr(lrg(P,D))) 91200 130697954 o2(x,o1(o2(x,x))) true 46407 46407 0.9542 1 0.9542 0.01247 0.1117 0.2581 1 0.7419 1 1.214 0.0002536 0.0007489 0.01024 -0.4941 1 -0.00002855 0.001094 0.006429 0.0008967 0.02995 2.924 0.6238 0.08039 0.08777 1 1 0.001567 0.0104 0.01805 0.1257 0.8338 1.447 json
t16_x19_u3_b117 16 19 3 117 dst(R,flr(eql(P,D))) 91201 130697955 o2(x,o1(o2(x,x))) true 46415 46415 0.9684 1 0.9684 0.009182 0.09582 0.2103 1 0.7897 1 0.9061 0.0002907 0.0002713 0.007968 0.03453 1 -0.00004516 0.0002037 0.004353 0.0004984 0.02232 2.802 0.1992 0.0612 0.02219 1 1 0.0009074 0.007818 0.01255 0.09882 0.8515 1.367 json
t16_x19_u3_b118 16 19 3 118 dst(R,flr(min(P,D))) 91202 130697956 o2(x,o1(o2(x,x))) true 46423 46423 0.9888 1 0.9888 0.002986 0.05464 0.3655 1 0.6345 1 0.4128 0.0005042 0.0005008 0.005542 0.003456 1 -0.000001902 0.001868 0.007065 0.0009742 0.03121 5.632 0.6345 0.3366 0.6257 1 1 0.0009032 0.003855 0.005196 0.3025 1.291 1.74 json
t16_x19_u3_b119 16 19 3 119 dst(R,flr(dot(P,D))) 91203 130697957 o2(x,o1(o2(x,x))) true 46431 46431 0.9936 1 0.9936 0.001993 0.04464 0.1059 1 0.8941 1 0.2489 0.001149 0.001057 0.007971 0.04163 1 -0.0000408 0.006339 0.01423 0.002141 0.04627 5.805 0.8989 1.107 3.181 1 1 0.001926 0.003959 0.003191 0.9663 1.987 1.601 json
t16_x19_u3_b120 16 19 3 120 dst(R,flr(dst(P,D))) 91204 130697958 o2(x,o1(o2(x,x))) true 46439 46439 0.9993 1 0.9993 0.0001927 0.01388 0.4928 1 0.5072 1 0.037 0.00005835 0.00007002 0.0006067 -0.09096 1 -7.133e-11 0.000284 0.0009302 0.0001279 0.01131 18.64 0.5074 0.6663 1.474 1 1 0.0002534 0.0005975 0.0007021 1.315 3.101 3.644 json
t16_x19_u4_b0 16 19 4 0 add(R,cil(add(P,D))) 91205 130698039 o2(x,o1(o2(x,x))) true 46447 46447 0.06508 0.5312 0.9388 0.9122 0.9551 -1 1 2 1 1.956 0.00702 0.0003899 0.01563 0.8947 1 -0.00002194 0.01337 0.01787 0.007165 0.08465 5.416 1.016 0.008123 0.01466 1 1 0.01071 0.05669 0.2608 0.01174 0.06215 0.2859 json
t16_x19_u4_b1 16 19 4 1 add(R,cil(sub(P,D))) 91206 130698040 o2(x,o1(o2(x,x))) true 46455 46455 0.06468 0.5309 0.9357 0.9107 0.9543 -1 1 2 1 1.961 0.009703 0.000392 0.02516 0.9223 1 -0.00002048 0.01433 0.02228 0.00946 0.09726 3.865 1.017 0.01108 0.01574 1 1 0.01728 0.0844 0.2616 0.01897 0.09267 0.2872 json
t16_x19_u4_b2 16 19 4 2 add(R,cil(mlt(P,D))) 91207 130698041 o2(x,o1(o2(x,x))) true 46463 46463 0.262 0.6653 0.554 0.3477 0.5896 -1 1 2 1 4.638 0.1074 0.002468 0.2229 0.9551 1 0.006154 0.2436 0.3335 0.06014 0.2452 1.1 1.021 0.3159 0.7007 1 1 0.09063 0.3726 0.349 0.2607 1.072 1.004 json
t16_x19_u4_b3 16 19 4 3 add(R,cil(div(P,D))) 91208 130698042 o2(x,o1(o2(x,x))) true 46471 46471 -0.08892 0.4578 0.953 0.9269 0.9628 -1 1 2 1 1.8 0.4108 0.0002437 0.2312 0.9988 1 -0.000007758 0.7852 0.4266 0.3575 0.5979 2.587 2.002 0.4434 0.8472 1 1 0.4131 1.731 0.2904 0.4457 1.868 0.3133 json
t16_x19_u4_b4 16 19 4 4 add(R,cil(pow(P,D))) 91209 130698043 o2(x,o1(o2(x,x))) true 46479 46479 -0.06522 0.4858 0.9469 0.9186 0.9585 -1 1 2 1 1.939 0.009215 0.0003881 0.0228 0.9192 1 -0.0002426 0.01648 0.02638 0.009085 0.09532 4.181 1.829 0.01045 0.01794 1 1 0.01303 0.07009 0.3016 0.01419 0.0763 0.3283 json
t16_x19_u4_b5 16 19 4 5 add(R,cil(mod(P,D))) 91210 130698044 o2(x,o1(o2(x,x))) true 46487 46487 0.34 0.7126 0.5672 0.3097 0.5565 -0.9989 1 1.999 1 4.563 0.05484 0.002584 0.1065 0.91 1 -0.00001346 0.1308 0.1276 0.0461 0.2147 2.017 1.038 0.1854 0.4223 1 1 0.05099 0.1774 0.3415 0.1647 0.5729 1.103 json
t16_x19_u4_b6 16 19 4 6 add(R,cil(lrg(P,D))) 91211 130698045 o2(x,o1(o2(x,x))) true 46495 46495 0.4201 0.7705 0.5972 0.2865 0.5352 -0.9989 1 1.999 1 4.38 0.005368 0.002441 0.0528 0.3749 1 -0.00001599 0.006315 0.02037 0.005021 0.07086 1.342 1.012 0.02726 0.02205 1 1 0.01363 0.1248 0.2967 0.04758 0.4358 1.036 json
t16_x19_u4_b7 16 19 4 7 add(R,cil(eql(P,D))) 91212 130698046 o2(x,o1(o2(x,x))) true 46503 46503 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
t16_x19_u4_b8 16 19 4 8 add(R,cil(min(P,D))) 91213 130698047 o2(x,o1(o2(x,x))) true 46511 46511 -0.2768 0.3867 0.7378 0.5756 0.7587 -1 1 2 1 3.627 0.02344 0.001417 0.06239 0.886 1 -0.00009994 0.0406 0.05474 0.02097 0.1448 2.321 1.023 0.04318 0.07053 1 1 0.03054 0.1648 0.3055 0.05305 0.2862 0.5308 json
t16_x19_u4_b9 16 19 4 9 add(R,cil(dot(P,D))) 91214 130698048 o2(x,o1(o2(x,x))) true 46519 46519 0.1541 0.5965 0.5914 0.4418 0.6647 -1 1 2 1 4.602 0.0773 0.07862 0.2911 -0.00848 1 0.004313 0.5248 0.5086 0.07118 0.2668 0.9165 1.41 0.3529 1.188 1 1 0.1329 0.5475 0.3606 0.3008 1.239 0.8162 json
t16_x19_u4_b10 16 19 4 10 add(R,cil(dst(P,D))) 91215 130698049 o2(x,o1(o2(x,x))) true 46527 46527 0.9995 1 0.9995 0.0001784 0.01336 0.3559 1 0.6441 1 0.0216 0.00003021 0.0000582 0.000349 -0.3165 0 -9.386e-12 0.0001648 0.0004719 0.00008824 0.009394 26.91 0.6441 0.4957 0.924 1 1 0.0001918 0.0006257 0.0006487 1.075 3.508 3.637 json
t16_x19_u4_b11 16 19 4 11 sub(R,cil(add(P,D))) 91216 130698050 o2(x,o1(o2(x,x))) true 46535 46535 -0.06049 0.4687 0.9353 0.9075 0.9526 -1 1 2 1 2.024 0.006877 0.0003827 0.01636 0.8946 1 -0.00001826 0.01311 0.01888 0.006996 0.08364 5.113 1.019 0.008 0.01445 1 1 0.01031 0.05312 0.2546 0.01136 0.05854 0.2806 json
t16_x19_u4_b12 16 19 4 12 sub(R,cil(sub(P,D))) 91217 130698051 o2(x,o1(o2(x,x))) true 46543 46543 -0.06032 0.4697 0.9384 0.9127 0.9554 -1 1 2 1 2.001 0.009557 0.0003897 0.02615 0.9216 1 -0.00001752 0.0141 0.02364 0.009258 0.09622 3.68 1.018 0.0109 0.01545 1 1 0.01682 0.08342 0.2628 0.01843 0.09139 0.2879 json
t16_x19_u4_b13 16 19 4 13 sub(R,cil(mlt(P,D))) 91218 130698052 o2(x,o1(o2(x,x))) true 46551 46551 -0.2487 0.3356 0.5588 0.3601 0.6001 -1 1 2 1 4.638 0.107 0.002505 0.2213 0.9543 1 -0.005241 0.2388 0.3296 0.06057 0.2461 1.112 1.022 0.3041 0.663 1 1 0.09058 0.3659 0.3725 0.2515 1.016 1.034 json
t16_x19_u4_b14 16 19 4 14 sub(R,cil(div(P,D))) 91219 130698053 o2(x,o1(o2(x,x))) true 46559 46559 0.07937 0.537 0.9528 0.9289 0.9638 -1 1 2 1 1.801 0.414 0.0002498 0.2324 0.9988 1 -0.000009824 0.7948 0.4278 0.3603 0.6002 2.583 2.001 0.4459 0.8556 1 1 0.4136 1.74 0.2894 0.4453 1.873 0.3115 json
t16_x19_u4_b15 16 19 4 15 sub(R,cil(pow(P,D))) 91220 130698054 o2(x,o1(o2(x,x))) true 46567 46567 -0.9302 0.0119 0.9381 0.04807 0.2193 -1 0.8288 1.829 1 1.095 0.008146 0.0004159 0.02012 0.9029 1 0.0002423 0.01491 0.02208 0.008155 0.09031 4.488 1.829 0.1781 0.3101 1 1 0.01216 0.05398 0.09168 0.253 1.123 1.907 json
t16_x19_u4_b16 16 19 4 16 sub(R,cil(mod(P,D))) 91221 130698055 o2(x,o1(o2(x,x))) true 46575 46575 -0.3174 0.3047 0.5697 0.3298 0.5743 -1 0.9804 1.98 1 4.516 0.04888 0.002567 0.1022 0.9002 1 0.00006324 0.111 0.1199 0.041 0.2025 1.98 1.031 0.156 0.3365 1 1 0.04947 0.1712 0.3477 0.15 0.5193 1.054 json
t16_x19_u4_b17 16 19 4 17 sub(R,cil(lrg(P,D))) 91222 130698056 o2(x,o1(o2(x,x))) true 46583 46583 -0.3932 0.2587 0.6034 0.3194 0.5652 -1 0.9693 1.969 1 4.31 0.004882 0.002404 0.05232 0.3402 1 0.00007191 0.005129 0.01918 0.004547 0.06744 1.289 1.014 0.02281 0.01606 1 1 0.01341 0.1295 0.3138 0.04197 0.4055 0.9822 json
t16_x19_u4_b18 16 19 4 18 sub(R,cil(eql(P,D))) 91223 130698057 o2(x,o1(o2(x,x))) true 46591 46591 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
t16_x19_u4_b19 16 19 4 19 sub(R,cil(min(P,D))) 91224 130698058 o2(x,o1(o2(x,x))) true 46599 46599 0.2655 0.5951 0.751 0.5987 0.7737 -1 1 2 1 3.545 0.02264 0.001384 0.06038 0.8848 1 0.00008288 0.03897 0.05363 0.02038 0.1428 2.364 1.022 0.04013 0.06509 1 1 0.02946 0.1616 0.3045 0.0492 0.2699 0.5087 json
t16_x19_u4_b20 16 19 4 20 sub(R,cil(dot(P,D))) 91225 130698059 o2(x,o1(o2(x,x))) true 46607 46607 -0.1343 0.421 0.5857 0.4407 0.6638 -1 1 2 1 4.623 0.07862 0.07699 0.2901 0.01048 1 -0.004226 0.522 0.5072 0.07145 0.2673 0.9214 1.412 0.3531 1.184 1 1 0.1321 0.5437 0.388 0.2998 1.234 0.8806 json
t16_x19_u4_b21 16 19 4 21 sub(R,cil(dst(P,D))) 91226 130698060 o2(x,o1(o2(x,x))) true 46615 46615 -0.9986 0 0.9986 0.0007684 0.02772 -1 -0.1715 0.8285 1 0.04371 0.00004199 0.00006238 0.0005894 -0.1953 1 0 0.0000971 0.0005031 0.0001041 0.0102 17.31 0.3965 0.1358 0.1264 1 1 0.0002982 0.002099 0.002794 0.388 2.732 3.636 json
t16_x19_u4_b22 16 19 4 22 mlt(R,cil(add(P,D))) 91227 130698061 o2(x,o1(o2(x,x))) true 46623 46623 -0.06307 0.4388 0.7179 0.6405 0.8003 -1 1 2 1 3.732 0.02038 0.01962 0.09834 0.01906 1 -0.00004767 0.02764 0.06395 0.03032 0.1741 1.771 1.533 0.06244 0.04314 1 1 0.05589 0.4646 1.027 0.08725 0.7254 1.603 json
t16_x19_u4_b23 16 19 4 23 mlt(R,cil(sub(P,D))) 91228 130698062 o2(x,o1(o2(x,x))) true 46631 46631 -0.06424 0.4723 0.7342 0.6529 0.808 -1 1 2 1 3.776 0.02027 0.01998 0.1021 0.007042 1 -0.00003604 0.02759 0.06563 0.02982 0.1727 1.691 1.63 0.06165 0.04226 1 1 0.05653 0.4755 1.059 0.08659 0.7282 1.622 json
t16_x19_u4_b24 16 19 4 24 mlt(R,cil(mlt(P,D))) 91229 130698063 o2(x,o1(o2(x,x))) true 46639 46639 -0.01174 0.4221 0.3363 0.2313 0.4809 -1 1 2 1 4.366 0.03754 0.004121 0.1219 0.8022 1 0.001084 0.0777 0.1655 0.02681 0.1637 1.343 0.999 0.1802 0.336 1 1 0.03872 0.2435 0.3473 0.1674 1.053 1.502 json
t16_x19_u4_b25 16 19 4 25 mlt(R,cil(div(P,D))) 91230 130698064 o2(x,o1(o2(x,x))) true 46647 46647 -0.01304 0.4863 0.8732 0.8467 0.9202 -1 1 2 1 2.384 0.278 0.06352 0.2276 0.628 1 0.0000041 0.6858 0.3668 0.2898 0.5384 2.366 2.828 0.4034 0.8099 1 1 0.3635 1.532 1.515 0.4293 1.81 1.79 json
t16_x19_u4_b26 16 19 4 26 mlt(R,cil(pow(P,D))) 91231 130698065 o2(x,o1(o2(x,x))) true 46655 46655 -0.5114 0.2374 0.7434 0.4106 0.6407 -1 1 2 1 3.199 0.008974 0.002837 0.04899 0.5196 1 -0.000008821 0.01448 0.03692 0.009412 0.09702 1.981 1 0.02877 0.03528 1 1 0.01691 0.1436 0.4068 0.04118 0.3498 0.991 json
t16_x19_u4_b27 16 19 4 27 mlt(R,cil(mod(P,D))) 91232 130698066 o2(x,o1(o2(x,x))) true 46663 46663 -0.001446 0.2283 0.1537 0.08173 0.2859 -0.9903 0.9744 1.965 1 3.017 0.01921 0.001169 0.05655 0.8852 1 0.000002674 0.04426 0.06668 0.01717 0.131 2.317 0.9904 0.2493 0.5416 1 1 0.01925 0.06296 0.1547 0.2355 0.7703 1.893 json
t16_x19_u4_b28 16 19 4 28 mlt(R,cil(lrg(P,D))) 91233 130698067 o2(x,o1(o2(x,x))) true 46671 46671 -0.007508 0.2645 0.1988 0.1069 0.327 -0.9986 0.9806 1.979 1 3.476 0.00272 0.001486 0.03532 0.2935 1 -1.079e-7 0.002761 0.01187 0.002959 0.0544 1.54 0.9524 0.03934 0.02583 1 1 0.007312 0.07946 0.2077 0.0684 0.7432 1.942 json
t16_x19_u4_b29 16 19 4 29 mlt(R,cil(eql(P,D))) 91234 130698068 o2(x,o1(o2(x,x))) true 46679 46679 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
t16_x19_u4_b30 16 19 4 30 mlt(R,cil(min(P,D))) 91235 130698069 o2(x,o1(o2(x,x))) true 46687 46687 -0.03694 0.4246 0.4606 0.3719 0.6098 -1 1 2 1 4.244 0.01575 0.01087 0.07557 0.1834 1 -0.00003726 0.02507 0.05275 0.02092 0.1446 1.914 1.294 0.07159 0.06742 1 1 0.03619 0.2736 0.5685 0.09732 0.7358 1.529 json
t16_x19_u4_b31 16 19 4 31 mlt(R,cil(dot(P,D))) 91236 130698070 o2(x,o1(o2(x,x))) true 46695 46695 -0.00609 0.4905 0.4875 0.3686 0.6071 -1 1 2 1 4.653 0.03381 0.03535 0.1737 -0.02229 1 0.00004093 0.206 0.2896 0.03899 0.1975 1.137 1.418 0.1876 0.5588 1 1 0.06523 0.3959 0.5497 0.177 1.074 1.491 json
t16_x19_u4_b32 16 19 4 32 mlt(R,cil(dst(P,D))) 91237 130698071 o2(x,o1(o2(x,x))) true 46703 46703 -0.007806 0.4967 0.8785 0.8379 0.9153 -1 1 2 1 2.668 0.02899 0.03337 0.105 -0.07027 1 0.00007406 0.05409 0.08457 0.05131 0.2265 2.157 1.812 0.07442 0.06455 1 1 0.0868 0.6528 1.432 0.1036 0.7791 1.709 json
t16_x19_u4_b33 16 19 4 33 div(R,cil(add(P,D))) 91238 130698072 o2(x,o1(o2(x,x))) true 46711 46711 0.00104 0.4698 0.1951 0.1057 0.3252 -1 1 2 1 3.741 0.01987 0.007431 0.03904 0.4556 1 -0.00001569 0.06448 0.04186 0.02578 0.1606 4.112 2.828 0.2582 0.6099 1 1 0.03791 0.1602 0.2966 0.3585 1.515 2.806 json
t16_x19_u4_b34 16 19 4 34 div(R,cil(sub(P,D))) 91239 130698073 o2(x,o1(o2(x,x))) true 46719 46719 -0.1301 0.399 0.2453 0.1475 0.3841 -1 0.9986 1.999 1 3.614 0.02219 0.0005748 0.03714 0.9495 1 -0.00001023 0.0436 0.03929 0.02139 0.1462 3.938 1.999 0.1543 0.2955 1 1 0.03001 0.1345 0.1774 0.2034 0.912 1.202 json
t16_x19_u4_b35 16 19 4 35 div(R,cil(mlt(P,D))) 91240 130698074 o2(x,o1(o2(x,x))) true 46727 46727 -0.3348 0.3244 0.5276 0.3168 0.5629 -1 0.9806 1.981 1 3.941 0.1428 0.0014 0.1556 0.9806 1 -0.006824 0.2826 0.2594 0.12 0.3464 2.226 1.969 0.4551 0.892 1 1 0.1458 0.4331 0.3168 0.4603 1.367 0.9998 json
t16_x19_u4_b36 16 19 4 36 div(R,cil(div(P,D))) 91241 130698075 o2(x,o1(o2(x,x))) true 46735 46735 -0.1221 0.4365 0.1489 0.1118 0.3344 -1 0.2903 1.29 1 1.958 0.008156 0.00002601 0.01565 0.9936 1 0.000003268 0.01596 0.01947 0.007938 0.08909 5.693 1.029 0.07318 0.1428 1 1 0.011 0.04744 0.1751 0.0984 0.4243 1.566 json
t16_x19_u4_b37 16 19 4 37 div(R,cil(pow(P,D))) 91242 130698076 o2(x,o1(o2(x,x))) true 46743 46743 -0.568 0.199 0.6946 0.3014 0.549 -1 0.9806 1.981 1 2.991 0.009707 0.0008757 0.03243 0.8345 1 0.000008119 0.01792 0.02655 0.009528 0.09761 3.01 1.943 0.03512 0.05945 1 1 0.01348 0.0784 0.2021 0.04473 0.2601 0.6706 json
t16_x19_u4_b38 16 19 4 38 div(R,cil(mod(P,D))) 91243 130698077 o2(x,o1(o2(x,x))) true 46751 46751 -0.6332 0.173 0.7654 0.2996 0.5473 -1 0.9744 1.974 1 2.739 0.07605 0.00108 0.08632 0.972 1 0.00001027 0.1775 0.1301 0.0697 0.264 3.058 1.952 0.2575 0.5926 1 1 0.06812 0.1397 0.2276 0.2274 0.4665 0.7597 json
t16_x19_u4_b39 16 19 4 39 div(R,cil(lrg(P,D))) 91244 130698078 o2(x,o1(o2(x,x))) true 46759 46759 -0.5736 0.1995 0.7298 0.325 0.57 -1 0.9806 1.981 1 3.079 0.008479 0.001297 0.03255 0.7347 1 0.00001063 0.01473 0.01637 0.008716 0.09336 2.868 1.943 0.03008 0.04532 1 1 0.01323 0.09166 0.2549 0.04071 0.2821 0.7843 json
t16_x19_u4_b40 16 19 4 40 div(R,cil(eql(P,D))) 91245 130698079 o2(x,o1(o2(x,x))) true 46767 46767 -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
t16_x19_u4_b41 16 19 4 41 div(R,cil(min(P,D))) 91246 130698080 o2(x,o1(o2(x,x))) true 46775 46775 -0.5661 0.2042 0.6171 0.2565 0.5065 -1 0.9968 1.997 1 2.48 0.003869 0.000229 0.01173 0.8883 1 -8.425e-7 0.007481 0.008532 0.00396 0.06293 5.363 1.947 0.01598 0.02916 1 1 0.005855 0.03045 0.115 0.02282 0.1187 0.4481 json
t16_x19_u4_b42 16 19 4 42 div(R,cil(dot(P,D))) 91247 130698081 o2(x,o1(o2(x,x))) true 46783 46783 -0.3005 0.3479 0.546 0.3663 0.6052 -1 1 2 1 3.879 0.2094 0.2121 0.337 -0.006321 1 -0.002211 1.48 0.7005 0.3079 0.5549 1.647 2.828 1.151 4.04 1 1 0.395 0.8349 0.6889 1.078 2.279 1.881 json
t16_x19_u4_b43 16 19 4 43 div(R,cil(dst(P,D))) 91248 130698082 o2(x,o1(o2(x,x))) true 46791 46791 0.008338 0.4984 0.07299 0.01031 0.1015 -0.6453 0.8291 1.474 1 2.621 0.0002159 0.0002344 0.01331 -0.04089 1 0.0000029 0.0004443 0.006088 0.0002732 0.01653 1.242 0.4502 0.04368 0.0431 1 1 0.001199 0.01327 0.02906 0.1163 1.287 2.819 json
t16_x19_u4_b44 16 19 4 44 pow(R,cil(add(P,D))) 91249 130698083 o2(x,o1(o2(x,x))) true 46799 46799 -0.8016 0.1016 0.9953 0.3513 0.5927 -1 1 2 1 0.5417 0.04169 0.01251 0.02781 0.5384 1 0.000001841 0.1111 0.05546 0.05341 0.2311 8.311 2.828 0.1543 0.3162 1 1 0.05929 0.2415 0.5848 0.1688 0.6874 1.665 json
t16_x19_u4_b45 16 19 4 45 pow(R,cil(sub(P,D))) 91250 130698084 o2(x,o1(o2(x,x))) true 46807 46807 -0.8837 0.0625 0.9913 0.207 0.455 -1 1 2 1 0.4668 0.02404 0.01862 0.02327 0.1271 1 0.000001655 0.08903 0.04519 0.04209 0.2052 8.816 2.828 0.2061 0.43 1 1 0.03599 0.1514 0.3707 0.1738 0.7312 1.79 json
t16_x19_u4_b46 16 19 4 46 pow(R,cil(mlt(P,D))) 91251 130698085 o2(x,o1(o2(x,x))) true 46815 46815 -0.6109 0.1968 0.9955 0.6199 0.7874 -1 1 2 1 0.8409 0.1062 0.02141 0.06635 0.6645 1 0.002004 0.2667 0.1311 0.1232 0.351 5.29 2.828 0.2058 0.4302 1 1 0.1266 0.4202 1.036 0.2043 0.6779 1.671 json
t16_x19_u4_b47 16 19 4 47 pow(R,cil(div(P,D))) 91252 130698086 o2(x,o1(o2(x,x))) true 46823 46823 -0.8609 0.07178 0.9956 0.2538 0.5038 -1 1 2 1 0.4206 0.02357 0.02217 0.02522 0.03065 1 -0.000006768 0.09448 0.04841 0.04512 0.2124 8.424 2.828 0.1802 0.3722 1 1 0.0456 0.1892 0.6049 0.1796 0.7453 2.383 json
t16_x19_u4_b48 16 19 4 48 pow(R,cil(pow(P,D))) 91253 130698087 o2(x,o1(o2(x,x))) true 46831 46831 -0.9581 0.02344 0.995 0.07421 0.2724 -1 1 2 1 0.2341 0.009053 0.006171 0.008963 0.1893 1 0.000004764 0.03179 0.01691 0.01514 0.123 13.73 2.698 0.2051 0.4284 1 1 0.01259 0.053 0.1384 0.1696 0.7141 1.865 json
t16_x19_u4_b49 16 19 4 49 pow(R,cil(mod(P,D))) 91254 130698088 o2(x,o1(o2(x,x))) true 46839 46839 0.06732 0.5356 0.996 0.9895 0.9947 -1 1 2 1 1.133 0.1042 0.009283 0.05753 0.8364 1 0.0000027 0.3346 0.115 0.1102 0.332 5.771 2.828 0.1147 0.3381 1 1 0.07422 0.1639 0.4709 0.07501 0.1657 0.4759 json
t16_x19_u4_b50 16 19 4 50 pow(R,cil(lrg(P,D))) 91255 130698089 o2(x,o1(o2(x,x))) true 46847 46847 -0.05498 0.4766 0.9919 0.9842 0.9921 -1 1 2 1 1.233 0.02198 0.01105 0.01886 0.3308 1 0.000002697 0.06842 0.03594 0.03268 0.1808 9.583 2.698 0.03356 0.06952 1 1 0.03872 0.1591 0.4693 0.03934 0.1617 0.4768 json
t16_x19_u4_b51 16 19 4 51 pow(R,cil(eql(P,D))) 91256 130698090 o2(x,o1(o2(x,x))) true 46855 46855 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
t16_x19_u4_b52 16 19 4 52 pow(R,cil(min(P,D))) 91257 130698091 o2(x,o1(o2(x,x))) true 46863 46863 -0.6446 0.1836 0.9882 0.565 0.7517 -1 1 2 1 0.969 0.06046 0.03535 0.05125 0.2621 1 0.00001077 0.1998 0.09984 0.09315 0.3052 5.955 2.828 0.1696 0.3537 1 1 0.1017 0.4205 1.186 0.18 0.7443 2.098 json
t16_x19_u4_b53 16 19 4 53 pow(R,cil(dot(P,D))) 91258 130698092 o2(x,o1(o2(x,x))) true 46871 46871 -0.8205 0.09163 0.9962 0.3204 0.566 -1 1 2 1 0.5374 0.08543 0.07199 0.07613 0.08535 1 0.0003396 0.4711 0.1621 0.1517 0.3894 5.116 2.828 0.4913 1.47 1 1 0.1507 0.4148 0.7339 0.4705 1.295 2.291 json
t16_x19_u4_b54 16 19 4 54 pow(R,cil(dst(P,D))) 91259 130698093 o2(x,o1(o2(x,x))) true 46879 46879 -0.9498 0.04251 0.9643 0.05753 0.2398 -1 0.7442 1.744 1 0.3779 0.006012 0.005668 0.01061 0.02947 1 0.000005075 0.02435 0.01979 0.01157 0.1076 10.14 1.866 0.203 0.4233 1 1 0.009896 0.04323 0.1055 0.172 0.7515 1.833 json
t16_x19_u4_b55 16 19 4 55 mod(R,cil(add(P,D))) 91260 130698094 o2(x,o1(o2(x,x))) true 46887 46887 -0.05398 0.4672 0.4311 0.265 0.5148 -1 0.9806 1.981 1 4.865 0.01312 0.002982 0.06707 0.6296 1 0.0000375 0.02148 0.02962 0.01161 0.1077 1.606 1.898 0.06076 0.08103 1 1 0.02443 0.1909 0.4494 0.09216 0.7204 1.695 json
t16_x19_u4_b56 16 19 4 56 mod(R,cil(sub(P,D))) 91261 130698095 o2(x,o1(o2(x,x))) true 46895 46895 -0.1197 0.4339 0.4667 0.3006 0.5482 -1 0.9806 1.981 1 4.761 0.02424 0.002755 0.07087 0.7959 1 0.00004473 0.04422 0.04532 0.02198 0.1482 2.092 1.943 0.08983 0.1471 1 1 0.03804 0.2314 0.4162 0.1266 0.77 1.385 json
t16_x19_u4_b57 16 19 4 57 mod(R,cil(mlt(P,D))) 91262 130698096 o2(x,o1(o2(x,x))) true 46903 46903 -0.3287 0.333 0.5903 0.3677 0.6064 -1 0.9806 1.981 1 4.104 0.1369 0.002076 0.149 0.9701 1 -0.009049 0.2732 0.2243 0.1168 0.3417 2.294 1.969 0.378 0.7429 1 1 0.141 0.4038 0.3782 0.3834 1.098 1.029 json
t16_x19_u4_b58 16 19 4 58 mod(R,cil(div(P,D))) 91263 130698097 o2(x,o1(o2(x,x))) true 46911 46911 -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
t16_x19_u4_b59 16 19 4 59 mod(R,cil(pow(P,D))) 91264 130698098 o2(x,o1(o2(x,x))) true 46919 46919 -0.5736 0.1995 0.7298 0.325 0.57 -1 0.9806 1.981 1 3.079 0.008479 0.001297 0.03255 0.7347 1 0.00001063 0.01473 0.01637 0.008716 0.09336 2.868 1.943 0.03008 0.04532 1 1 0.01323 0.09166 0.2549 0.04071 0.2821 0.7843 json
t16_x19_u4_b60 16 19 4 60 mod(R,cil(mod(P,D))) 91265 130698099 o2(x,o1(o2(x,x))) true 46927 46927 -0.6332 0.173 0.7654 0.2996 0.5473 -1 0.9744 1.974 1 2.739 0.07605 0.00108 0.08632 0.972 1 0.00001027 0.1775 0.1301 0.0697 0.264 3.058 1.952 0.2575 0.5926 1 1 0.06812 0.1397 0.2276 0.2274 0.4665 0.7597 json
t16_x19_u4_b61 16 19 4 61 mod(R,cil(lrg(P,D))) 91266 130698100 o2(x,o1(o2(x,x))) true 46935 46935 -0.5736 0.1995 0.7298 0.325 0.57 -1 0.9806 1.981 1 3.079 0.008479 0.001297 0.03255 0.7347 1 0.00001063 0.01473 0.01637 0.008716 0.09336 2.868 1.943 0.03008 0.04532 1 1 0.01323 0.09166 0.2549 0.04071 0.2821 0.7843 json
t16_x19_u4_b62 16 19 4 62 mod(R,cil(eql(P,D))) 91267 130698101 o2(x,o1(o2(x,x))) true 46943 46943 -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
t16_x19_u4_b63 16 19 4 63 mod(R,cil(min(P,D))) 91268 130698102 o2(x,o1(o2(x,x))) true 46951 46951 -0.5465 0.2329 0.7376 0.3632 0.6027 -1 0.9693 1.969 1 3.09 0.007374 0.001495 0.03151 0.6629 1 0.00003761 0.01277 0.0153 0.007879 0.08877 2.817 1.898 0.02442 0.03517 1 1 0.01261 0.09145 0.2487 0.03471 0.2518 0.6847 json
t16_x19_u4_b64 16 19 4 64 mod(R,cil(dot(P,D))) 91269 130698103 o2(x,o1(o2(x,x))) true 46959 46959 -0.3818 0.3057 0.6257 0.3723 0.6102 -1 0.9693 1.969 1 3.926 0.1763 0.1686 0.2832 0.02215 1 -0.00137 1.175 0.5669 0.2646 0.5144 1.816 2.784 0.9264 3.155 1 1 0.2959 0.6668 0.6127 0.7947 1.791 1.646 json
t16_x19_u4_b65 16 19 4 65 mod(R,cil(dst(P,D))) 91270 130698104 o2(x,o1(o2(x,x))) true 46967 46967 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
t16_x19_u4_b66 16 19 4 66 lrg(R,cil(add(P,D))) 91271 130698105 o2(x,o1(o2(x,x))) true 46975 46975 0.4688 0.495 0.4688 0.2433 0.4933 0 1 1 1 1.285 0.003228 0.0001228 0.006531 0.9267 1 -0.000008557 0.006234 0.007643 0.00331 0.05753 8.809 1 0.01377 0.02562 1 1 0.005058 0.02437 0.09335 0.02079 0.1001 0.3836 json
t16_x19_u4_b67 16 19 4 67 lrg(R,cil(sub(P,D))) 91272 130698106 o2(x,o1(o2(x,x))) true 46983 46983 0.4688 0.5378 0.4688 0.234 0.4838 0 1 1 1 1.639 0.003706 0.0001228 0.01197 0.9358 1 -0.000008557 0.006323 0.008923 0.003684 0.06069 5.069 0.9994 0.01636 0.02702 1 1 0.006266 0.03229 0.08427 0.02678 0.138 0.3601 json
t16_x19_u4_b68 16 19 4 68 lrg(R,cil(mlt(P,D))) 91273 130698107 o2(x,o1(o2(x,x))) true 46991 46991 0.3937 0.9346 0.3937 0.1268 0.3562 0 1 1 1 3.443 0.04501 0.0008015 0.1093 0.965 1 -0.003339 0.08514 0.1129 0.03386 0.184 1.684 0.9997 0.3612 0.6712 1 1 0.0466 0.1746 0.1481 0.3674 1.377 1.167 json
t16_x19_u4_b69 16 19 4 69 lrg(R,cil(div(P,D))) 91274 130698108 o2(x,o1(o2(x,x))) true 46999 46999 0.5273 1 0.5273 0.145 0.3808 0.000291 1 0.9997 1 3.396 0.0608 0.0001053 0.1163 0.9965 1 0.000174 0.1127 0.1252 0.04737 0.2176 1.871 0.9997 0.4201 0.7775 1 1 0.06495 0.2312 0.07077 0.448 1.595 0.4881 json
t16_x19_u4_b70 16 19 4 70 lrg(R,cil(pow(P,D))) 91275 130698109 o2(x,o1(o2(x,x))) true 47007 47007 0.4824 0.5378 0.4824 0.2389 0.4888 0 1 1 1 1.486 0.002093 0.00005267 0.007983 0.9509 1 -0.000002853 0.003286 0.004977 0.002081 0.04562 5.715 0.9994 0.008984 0.01375 1 1 0.003596 0.02222 0.07826 0.01505 0.09301 0.3276 json
t16_x19_u4_b71 16 19 4 71 lrg(R,cil(mod(P,D))) 91276 130698110 o2(x,o1(o2(x,x))) true 47015 47015 0.2968 0.5388 0.2968 0.1559 0.3948 0 1 1 1 2.485 0.0268 0.001437 0.05819 0.8982 1 0.000002884 0.06008 0.06713 0.02485 0.1576 2.709 0.9997 0.1811 0.3855 1 1 0.02691 0.08804 0.2038 0.1726 0.5648 1.307 json
t16_x19_u4_b72 16 19 4 72 lrg(R,cil(lrg(P,D))) 91277 130698111 o2(x,o1(o2(x,x))) true 47023 47023 0.2539 0.4836 0.2539 0.1414 0.376 0 1 1 1 2.303 0.002687 0.001179 0.02819 0.3903 1 0.000009279 0.003376 0.009879 0.003071 0.05542 1.966 0.9997 0.02734 0.02388 1 1 0.006679 0.06268 0.1658 0.04724 0.4433 1.173 json
t16_x19_u4_b73 16 19 4 73 lrg(R,cil(eql(P,D))) 91278 130698112 o2(x,o1(o2(x,x))) true 47031 47031 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
t16_x19_u4_b74 16 19 4 74 lrg(R,cil(min(P,D))) 91279 130698113 o2(x,o1(o2(x,x))) true 47039 47039 0.6113 0.8646 0.6113 0.195 0.4416 0 1 1 1 2.372 0.01219 0.0007373 0.03567 0.8859 1 0.00002924 0.02234 0.0309 0.01166 0.108 3.027 1 0.0663 0.1146 1 1 0.01495 0.07946 0.1348 0.07669 0.4075 0.6915 json
t16_x19_u4_b75 16 19 4 75 lrg(R,cil(dot(P,D))) 91280 130698114 o2(x,o1(o2(x,x))) true 47047 47047 0.45 0.9825 0.45 0.1032 0.3212 0 1 1 1 3.812 0.03126 0.03157 0.1385 -0.00489 1 -0.002708 0.1989 0.1722 0.04365 0.2089 1.509 1.413 0.6089 1.927 1 1 0.0643 0.2088 0.1153 0.6231 2.023 1.117 json
t16_x19_u4_b76 16 19 4 76 lrg(R,cil(dst(P,D))) 91281 130698115 o2(x,o1(o2(x,x))) true 47055 47055 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
t16_x19_u4_b77 16 19 4 77 eql(R,cil(add(P,D))) 91282 130698116 o2(x,o1(o2(x,x))) true 47063 47063 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
t16_x19_u4_b78 16 19 4 78 eql(R,cil(sub(P,D))) 91283 130698117 o2(x,o1(o2(x,x))) true 47071 47071 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
t16_x19_u4_b79 16 19 4 79 eql(R,cil(mlt(P,D))) 91284 130698118 o2(x,o1(o2(x,x))) true 47079 47079 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
t16_x19_u4_b80 16 19 4 80 eql(R,cil(div(P,D))) 91285 130698119 o2(x,o1(o2(x,x))) true 47087 47087 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
t16_x19_u4_b81 16 19 4 81 eql(R,cil(pow(P,D))) 91286 130698120 o2(x,o1(o2(x,x))) true 47095 47095 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
t16_x19_u4_b82 16 19 4 82 eql(R,cil(mod(P,D))) 91287 130698121 o2(x,o1(o2(x,x))) true 47103 47103 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
t16_x19_u4_b83 16 19 4 83 eql(R,cil(lrg(P,D))) 91288 130698122 o2(x,o1(o2(x,x))) true 47111 47111 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
t16_x19_u4_b84 16 19 4 84 eql(R,cil(eql(P,D))) 91289 130698123 o2(x,o1(o2(x,x))) true 47119 47119 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
t16_x19_u4_b85 16 19 4 85 eql(R,cil(min(P,D))) 91290 130698124 o2(x,o1(o2(x,x))) true 47127 47127 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
t16_x19_u4_b86 16 19 4 86 eql(R,cil(dot(P,D))) 91291 130698125 o2(x,o1(o2(x,x))) true 47135 47135 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
t16_x19_u4_b87 16 19 4 87 eql(R,cil(dst(P,D))) 91292 130698126 o2(x,o1(o2(x,x))) true 47143 47143 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
t16_x19_u4_b88 16 19 4 88 min(R,cil(add(P,D))) 91293 130698127 o2(x,o1(o2(x,x))) true 47151 47151 -0.4621 0.2342 0.648 0.3389 0.5821 -1 0.9806 1.981 1 3.668 0.00493 0.001543 0.03832 0.5231 1 -0.000005843 0.006949 0.01624 0.005004 0.07074 1.846 1 0.0191 0.02051 1 1 0.01085 0.09713 0.2854 0.03201 0.2866 0.8421 json
t16_x19_u4_b89 16 19 4 89 min(R,cil(sub(P,D))) 91294 130698128 o2(x,o1(o2(x,x))) true 47159 47159 -0.4706 0.2346 0.6521 0.3321 0.5763 -1 0.9806 1.981 1 3.738 0.00573 0.00154 0.04328 0.5763 1 -0.000003221 0.007206 0.0182 0.005396 0.07346 1.697 0.9994 0.02189 0.0217 1 1 0.01285 0.1043 0.277 0.03869 0.3141 0.8341 json
t16_x19_u4_b90 16 19 4 90 min(R,cil(mlt(P,D))) 91295 130698129 o2(x,o1(o2(x,x))) true 47167 47167 -0.435 0.1496 0.528 0.2173 0.4661 -1 0.9786 1.979 1 4.294 0.04436 0.001571 0.1224 0.9316 1 0.00626 0.08221 0.1497 0.03097 0.176 1.438 0.99 0.2114 0.3783 1 1 0.04425 0.2066 0.2206 0.2036 0.9508 1.015 json
t16_x19_u4_b91 16 19 4 91 min(R,cil(div(P,D))) 91296 130698130 o2(x,o1(o2(x,x))) true 47175 47175 -0.7534 0.09207 0.827 0.2044 0.4521 -1 0.9783 1.978 1 2.367 0.09368 0.001023 0.1211 0.9784 1 0.000002949 0.1634 0.1654 0.08003 0.2829 2.336 1.968 0.4632 0.799 1 1 0.1044 0.2977 0.1731 0.5105 1.456 0.8465 json
t16_x19_u4_b92 16 19 4 92 min(R,cil(pow(P,D))) 91297 130698131 o2(x,o1(o2(x,x))) true 47183 47183 0.001852 0.4885 0.3902 0.217 0.4658 -0.9989 0.9806 1.979 1 4.858 0.003281 0.003118 0.0636 0.02552 1 0.0000273 0.001308 0.01618 0.002354 0.04852 0.7629 0.8291 0.02949 0.006031 1 1 0.01228 0.1507 0.3789 0.0566 0.6947 1.746 json
t16_x19_u4_b93 16 19 4 93 min(R,cil(mod(P,D))) 91298 130698132 o2(x,o1(o2(x,x))) true 47191 47191 -0.1518 0.1983 0.2993 0.1362 0.369 -0.9989 0.9744 1.973 1 4.364 0.01097 0.001725 0.05961 0.7283 1 0.00001733 0.02091 0.04092 0.00914 0.0956 1.604 0.9516 0.09322 0.1535 1 1 0.0154 0.08883 0.2222 0.1131 0.6523 1.632 json
t16_x19_u4_b94 16 19 4 94 min(R,cil(lrg(P,D))) 91299 130698133 o2(x,o1(o2(x,x))) true 47199 47199 -0.129 0.2439 0.3142 0.1519 0.3898 -0.9989 0.9806 1.979 1 4.491 0.002407 0.001932 0.04852 0.1096 1 0.00001647 0.001195 0.01284 0.001984 0.04455 0.9181 0.8291 0.02856 0.007866 1 1 0.00821 0.09878 0.2591 0.05403 0.6501 1.705 json