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
t14_x23_u3_b48 14 23 3 48 flr(pow(pow(R,D),R)) 66800 114618288 o1(o2(o2(x,x),x)) true 22407 22407 -0.9355 0.04297 0.9785 0.09869 0.3141 -1 0.9997 2 1 0.4021 0.01142 0.009867 0.01536 0.07307 1 -0.000005705 0.04424 0.02624 0.02106 0.1451 9.448 2.828 0.2157 0.4482 1 1 0.0166 0.07112 0.1664 0.1682 0.7206 1.686 json
t14_x23_u3_b49 14 23 3 49 flr(pow(mod(R,D),R)) 66801 114618289 o1(o2(o2(x,x),x)) true 22415 22415 -0.957 0 0.957 0.04112 0.2028 -1 0 1 1 0.2557 0.00422 0.004094 0.008259 0.01515 1 0 0.01738 0.01663 0.008241 0.09078 10.99 1.414 0.2022 0.4228 1 1 0.006357 0.02738 0.06893 0.1546 0.6659 1.676 json
t14_x23_u3_b50 14 23 3 50 flr(pow(lrg(R,D),R)) 66802 114618290 o1(o2(o2(x,x),x)) true 22423 22423 -0.6979 0.1587 0.9847 0.4911 0.7008 -1 1 2 1 0.8936 0.08049 0.05246 0.07334 0.2109 1 0.000007965 0.2846 0.1422 0.1276 0.3572 4.87 2.828 0.2707 0.5794 1 1 0.1317 0.4836 0.9943 0.2682 0.9847 2.024 json
t14_x23_u3_b51 14 23 3 51 flr(pow(eql(R,D),R)) 66803 114618291 o1(o2(o2(x,x),x)) true 22431 22431 -0.8398 0.05859 0.957 0.2516 0.5016 -1 1 2 1 0.5738 0.02942 0.03294 0.03498 -0.05657 1 0 0.1323 0.07048 0.06113 0.2472 7.068 2.828 0.2479 0.5258 1 1 0.06126 0.2521 0.5343 0.2435 1.002 2.124 json
t14_x23_u3_b52 14 23 3 52 flr(pow(min(R,D),R)) 66804 114618292 o1(o2(o2(x,x),x)) true 22439 22439 -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
t14_x23_u3_b53 14 23 3 53 flr(pow(dot(R,D),R)) 66805 114618293 o1(o2(o2(x,x),x)) true 22447 22447 -0.8915 0.06696 0.9724 0.1718 0.4144 -1 1 2 1 0.5758 0.05406 0.04835 0.05891 0.05578 1 -0.0003519 0.3266 0.1212 0.09891 0.3145 5.338 2.828 0.5963 1.902 1 1 0.1015 0.2935 0.3772 0.5911 1.709 2.196 json
t14_x23_u3_b54 14 23 3 54 flr(pow(dst(R,D),R)) 66806 114618294 o1(o2(o2(x,x),x)) true 22455 22455 0.5222 0.9307 0.5222 0.1448 0.3806 0 1 1 1 3.536 0.02383 0.02329 0.1094 0.01138 1 -0.00002286 0.1426 0.1422 0.03514 0.1875 1.713 1.414 0.3253 0.9845 1 1 0.0508 0.2036 0.2846 0.3507 1.406 1.965 json
t14_x23_u3_b55 14 23 3 55 flr(mod(add(R,D),R)) 66807 114618295 o1(o2(o2(x,x),x)) true 22463 22463 -0.5005 0 0.5005 0.1438 0.3792 -1 0 1 1 3.741 0.01982 0.002087 0.08162 0.8094 1 0.00001479 0.0372 0.07003 0.01524 0.1235 1.513 0.9997 0.1524 0.2587 1 1 0.02404 0.145 0.2603 0.1672 1.009 1.81 json
t14_x23_u3_b56 14 23 3 56 flr(mod(sub(R,D),R)) 66808 114618296 o1(o2(o2(x,x),x)) true 22471 22471 -0.5008 0 0.5008 0.1466 0.3828 -1 0 1 1 3.723 0.0202 0.00212 0.08084 0.81 1 0.00001414 0.03816 0.07051 0.01579 0.1257 1.554 0.9997 0.1523 0.2603 1 1 0.02456 0.14 0.2709 0.1675 0.9553 1.848 json
t14_x23_u3_b57 14 23 3 57 flr(mod(mlt(R,D),R)) 66809 114618297 o1(o2(o2(x,x),x)) true 22479 22479 -0.4961 0 0.4961 0.147 0.3834 -1 0 1 1 3.664 0.04778 0.002278 0.1019 0.909 1 0.00001497 0.09324 0.1121 0.03968 0.1992 1.955 1 0.3406 0.6344 1 1 0.05494 0.2454 0.2817 0.3738 1.67 1.917 json
t14_x23_u3_b58 14 23 3 58 flr(mod(div(R,D),R)) 66810 114618298 o1(o2(o2(x,x),x)) true 22487 22487 -0.4481 0 0.4481 0.149 0.386 -1 0 1 1 3.645 0.05241 0.002041 0.1082 0.925 1 0.00001604 0.103 0.1269 0.04274 0.2067 1.91 1 0.3654 0.6909 1 1 0.05795 0.2413 0.2598 0.3888 1.619 1.743 json
t14_x23_u3_b59 14 23 3 59 flr(mod(pow(R,D),R)) 66811 114618299 o1(o2(o2(x,x),x)) true 22495 22495 -0.957 0 0.957 0.04112 0.2028 -1 0 1 1 0.2557 0.00422 0.004094 0.008259 0.01515 1 0 0.01738 0.01663 0.008241 0.09078 10.99 1.414 0.2022 0.4228 1 1 0.006357 0.02738 0.06893 0.1546 0.6659 1.676 json
t14_x23_u3_b60 14 23 3 60 flr(mod(mod(R,D),R)) 66812 114618300 o1(o2(o2(x,x),x)) true 22503 22503 -0.4018 0 0.4018 0.1523 0.3902 -1 0 1 1 3.607 0.01713 0.002142 0.06904 0.7778 1 -0.0003136 0.03077 0.05858 0.01451 0.1205 1.745 0.9994 0.1266 0.2021 1 1 0.02349 0.1384 0.2699 0.1543 0.9088 1.772 json
t14_x23_u3_b61 14 23 3 61 flr(mod(lrg(R,D),R)) 66813 114618301 o1(o2(o2(x,x),x)) true 22511 22511 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
t14_x23_u3_b62 14 23 3 62 flr(mod(eql(R,D),R)) 66814 114618302 o1(o2(o2(x,x),x)) true 22519 22519 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
t14_x23_u3_b63 14 23 3 63 flr(mod(min(R,D),R)) 66815 114618303 o1(o2(o2(x,x),x)) true 22527 22527 -0.422 0 0.422 0.1417 0.3764 -1 0 1 1 3.654 0.03605 0.00136 0.09509 0.9273 1 0.00001297 0.06751 0.0947 0.02836 0.1684 1.771 0.9997 0.2641 0.4765 1 1 0.04033 0.1751 0.1965 0.2847 1.236 1.387 json
t14_x23_u3_b64 14 23 3 64 flr(mod(dot(R,D),R)) 66816 114618304 o1(o2(o2(x,x),x)) true 22535 22535 -0.4933 0 0.4933 0.1513 0.389 -1 0 1 1 3.666 0.03526 0.03434 0.1236 0.0132 1 -0.0002918 0.2205 0.1794 0.05433 0.2331 1.886 1.414 0.4599 1.457 1 1 0.07404 0.2846 0.3006 0.4893 1.881 1.986 json
t14_x23_u3_b65 14 23 3 65 flr(mod(dst(R,D),R)) 66817 114618305 o1(o2(o2(x,x),x)) true 22543 22543 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
t14_x23_u3_b66 14 23 3 66 flr(lrg(add(R,D),R)) 66818 114618306 o1(o2(o2(x,x),x)) true 22551 22551 0.5 1 0.5 0.1418 0.3765 0.000291 0.9997 0.9994 1 3.406 0.06511 0 0.1228 1 1 0 0.1208 0.1337 0.05001 0.2236 1.821 0.9994 0.4593 0.8522 1 1 0.07073 0.2419 0 0.4989 1.706 0 json
t14_x23_u3_b67 14 23 3 67 flr(lrg(sub(R,D),R)) 66819 114618307 o1(o2(o2(x,x),x)) true 22559 22559 0.5 1 0.5 0.1418 0.3765 0.000291 0.9997 0.9994 1 3.406 0.06511 0 0.1228 1 1 0 0.1208 0.1337 0.05001 0.2236 1.821 0.9994 0.4593 0.8522 1 1 0.07073 0.2419 0 0.4989 1.706 0 json
t14_x23_u3_b68 14 23 3 68 flr(lrg(mlt(R,D),R)) 66820 114618308 o1(o2(o2(x,x),x)) true 22567 22567 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
t14_x23_u3_b69 14 23 3 69 flr(lrg(div(R,D),R)) 66821 114618309 o1(o2(o2(x,x),x)) true 22575 22575 0.5039 0.9395 0.5039 0.147 0.3834 0 1 1 1 3.516 0.04778 0.002278 0.1019 0.909 1 0.00001497 0.09324 0.1121 0.03968 0.1992 1.955 1 0.3406 0.6344 1 1 0.05494 0.2454 0.2817 0.3738 1.67 1.917 json
t14_x23_u3_b70 14 23 3 70 flr(lrg(pow(R,D),R)) 66822 114618310 o1(o2(o2(x,x),x)) true 22583 22583 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
t14_x23_u3_b71 14 23 3 71 flr(lrg(mod(R,D),R)) 66823 114618311 o1(o2(o2(x,x),x)) true 22591 22591 0.366 0.6935 0.366 0.1531 0.3913 0 1 1 1 3.074 0.02187 0.002116 0.07193 0.8236 1 0.0003024 0.03988 0.07212 0.01881 0.1372 1.907 0.9994 0.1566 0.2605 1 1 0.02907 0.1538 0.2589 0.1899 1.004 1.691 json
t14_x23_u3_b72 14 23 3 72 flr(lrg(lrg(R,D),R)) 66824 114618312 o1(o2(o2(x,x),x)) true 22599 22599 0.9407 1 0.9407 0.02567 0.1602 0.000582 1 0.9994 1 1.251 0.008427 0.0003582 0.02849 0.9185 1 0.0000493 0.01697 0.0305 0.007977 0.08931 3.135 0.9994 0.3422 0.6609 1 1 0.007699 0.02811 0.04308 0.2999 1.095 1.678 json
t14_x23_u3_b73 14 23 3 73 flr(lrg(eql(R,D),R)) 66825 114618313 o1(o2(o2(x,x),x)) true 22607 22607 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
t14_x23_u3_b74 14 23 3 74 flr(lrg(min(R,D),R)) 66826 114618314 o1(o2(o2(x,x),x)) true 22615 22615 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
t14_x23_u3_b75 14 23 3 75 flr(lrg(dot(R,D),R)) 66827 114618315 o1(o2(o2(x,x),x)) true 22623 22623 0.5134 0.9291 0.5134 0.1558 0.3948 0 1 1 1 3.396 0.004698 0.01157 0.06796 -0.4223 1 -0.00006323 0.03601 0.05617 0.01165 0.1079 1.588 1.404 0.1044 0.231 1 1 0.01916 0.1367 0.2881 0.123 0.877 1.849 json
t14_x23_u3_b76 14 23 3 76 flr(lrg(dst(R,D),R)) 66828 114618316 o1(o2(o2(x,x),x)) true 22631 22631 0.965 1 0.965 0.01759 0.1326 0.007413 1 0.9926 1 0.7694 0.004825 0.003407 0.0189 0.1722 1 0.0001942 0.02588 0.02596 0.007877 0.08875 4.697 1.404 0.4679 1.471 1 1 0.006846 0.02466 0.02854 0.3891 1.402 1.622 json
t14_x23_u3_b77 14 23 3 77 flr(eql(add(R,D),R)) 66829 114618317 o1(o2(o2(x,x),x)) true 22639 22639 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
t14_x23_u3_b78 14 23 3 78 flr(eql(sub(R,D),R)) 66830 114618318 o1(o2(o2(x,x),x)) true 22647 22647 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
t14_x23_u3_b79 14 23 3 79 flr(eql(mlt(R,D),R)) 66831 114618319 o1(o2(o2(x,x),x)) true 22655 22655 2.132e-7 0.000824 2.132e-7 4.854e-11 0.000006967 0 0.000291 0.000291 1 0 1.003e-10 7.118e-13 4.44e-7 0.9859 0 -1.038e-10 3.039e-10 8.803e-7 1.008e-10 0.00001004 22.61 0.000291 2.082 6.261 1 1 6.049e-11 8.031e-11 1.177e-10 1.246 1.655 2.424 json
t14_x23_u3_b80 14 23 3 80 flr(eql(div(R,D),R)) 66832 114618320 o1(o2(o2(x,x),x)) true 22663 22663 7.106e-8 0.0002747 7.106e-8 1.62e-11 0.000004025 0 0.000291 0.000291 1 0 3.345e-11 2.372e-13 1.48e-7 0.9859 0 -1.038e-10 1.013e-10 2.934e-7 3.366e-11 0.000005802 39.21 0.000291 2.079 6.253 1 1 0 0 0 0 0 0 json
t14_x23_u3_b81 14 23 3 81 flr(eql(pow(R,D),R)) 66833 114618321 o1(o2(o2(x,x),x)) true 22671 22671 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
t14_x23_u3_b82 14 23 3 82 flr(eql(mod(R,D),R)) 66834 114618322 o1(o2(o2(x,x),x)) true 22679 22679 0.2693 0.9401 0.2693 0.1142 0.3379 0 1 1 1 2.991 0.03728 0.001281 0.09495 0.9335 1 -0.0006337 0.07144 0.1198 0.02955 0.1719 1.81 0.9994 0.3377 0.6257 1 1 0.03933 0.1354 0.168 0.3445 1.186 1.471 json
t14_x23_u3_b83 14 23 3 83 flr(eql(lrg(R,D),R)) 66835 114618323 o1(o2(o2(x,x),x)) true 22687 22687 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
t14_x23_u3_b84 14 23 3 84 flr(eql(eql(R,D),R)) 66836 114618324 o1(o2(o2(x,x),x)) true 22695 22695 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
t14_x23_u3_b85 14 23 3 85 flr(eql(min(R,D),R)) 66837 114618325 o1(o2(o2(x,x),x)) true 22703 22703 0.5009 0.9274 0.5009 0.1466 0.3829 0 1 1 1 3.529 0.0202 0.00212 0.08082 0.81 1 -0.00001403 0.03815 0.07049 0.01579 0.1257 1.555 0.9997 0.1522 0.2602 1 1 0.02456 0.14 0.2709 0.1675 0.9551 1.848 json
t14_x23_u3_b86 14 23 3 86 flr(eql(dot(R,D),R)) 66838 114618326 o1(o2(o2(x,x),x)) true 22711 22711 0.00009826 0.000351 0.00009826 0.0000607 0.007791 0 0.8991 0.8991 1 0.003532 0.0001253 0.0001253 0.0003462 0 1 0 0.001253 0.0008112 0.0002505 0.01583 45.71 1.271 4.129 20.65 1 1 0.0001569 0.0001561 0.0001449 2.584 2.571 2.387 json
t14_x23_u3_b87 14 23 3 87 flr(eql(dst(R,D),R)) 66839 114618327 o1(o2(o2(x,x),x)) true 22719 22719 0.00003112 0.0001068 0.00003112 0.00001826 0.004274 0 0.9414 0.9414 1 0.001536 0.0000377 0.0000377 0.0001096 0 0 7.997e-10 0.000377 0.0002569 0.00007538 0.008682 79.18 1.331 4.128 20.64 1 1 0.00005579 0.00005579 0.0000558 3.055 3.055 3.055 json
t14_x23_u3_b88 14 23 3 88 flr(min(add(R,D),R)) 66840 114618328 o1(o2(o2(x,x),x)) true 22727 22727 -0.6024 0 0.6024 0.1519 0.3897 -1 0 1 1 3.335 0.01145 0.002463 0.0661 0.646 1 0.000371 0.01937 0.04803 0.009546 0.0977 1.478 0.9994 0.09163 0.1275 1 1 0.01682 0.1293 0.2772 0.1108 0.8517 1.826 json
t14_x23_u3_b89 14 23 3 89 flr(min(sub(R,D),R)) 66841 114618329 o1(o2(o2(x,x),x)) true 22735 22735 -0.6029 0 0.6029 0.1541 0.3926 -1 0 1 1 3.301 0.01157 0.002465 0.06527 0.6489 1 0.00007948 0.01985 0.04872 0.009782 0.0989 1.515 0.9994 0.09109 0.1288 1 1 0.01717 0.1287 0.2817 0.1114 0.8348 1.827 json
t14_x23_u3_b90 14 23 3 90 flr(min(mlt(R,D),R)) 66842 114618330 o1(o2(o2(x,x),x)) true 22743 22743 -0.7568 0 0.7568 0.1087 0.3297 -1 -0.000291 0.9997 1 2.8 0.02738 0.00118 0.07029 0.9174 1 -0.000001419 0.05102 0.06666 0.02362 0.1537 2.186 0.9997 0.2627 0.4693 1 1 0.03085 0.1411 0.1423 0.2838 1.298 1.309 json
t14_x23_u3_b91 14 23 3 91 flr(min(div(R,D),R)) 66843 114618331 o1(o2(o2(x,x),x)) true 22751 22751 -0.8231 0 0.8231 0.09741 0.3121 -1 -0.000291 0.9997 1 2.097 0.0223 0.002762 0.05992 0.7796 1 -0.00004565 0.04325 0.06445 0.02146 0.1465 2.445 0.9997 0.2572 0.444 1 1 0.02918 0.1393 0.1423 0.2996 1.43 1.461 json
t14_x23_u3_b92 14 23 3 92 flr(min(pow(R,D),R)) 66844 114618332 o1(o2(o2(x,x),x)) true 22759 22759 -0.5176 0 0.5176 0.1537 0.3921 -1 0 1 1 3.585 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
t14_x23_u3_b93 14 23 3 93 flr(min(mod(R,D),R)) 66845 114618333 o1(o2(o2(x,x),x)) true 22767 22767 -0.5176 0 0.5176 0.1537 0.3921 -1 0 1 1 3.585 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
t14_x23_u3_b94 14 23 3 94 flr(min(lrg(R,D),R)) 66846 114618334 o1(o2(o2(x,x),x)) true 22775 22775 -0.5176 0 0.5176 0.1537 0.3921 -1 0 1 1 3.585 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
t14_x23_u3_b95 14 23 3 95 flr(min(eql(R,D),R)) 66847 114618335 o1(o2(o2(x,x),x)) true 22783 22783 -0.5176 0 0.5176 0.1537 0.3921 -1 0 1 1 3.585 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
t14_x23_u3_b96 14 23 3 96 flr(min(min(R,D),R)) 66848 114618336 o1(o2(o2(x,x),x)) true 22791 22791 -0.7568 0 0.7568 0.1087 0.3297 -1 -0.000291 0.9997 1 2.8 0.02738 0.00118 0.07029 0.9174 1 -0.000001419 0.05102 0.06666 0.02362 0.1537 2.186 0.9997 0.2627 0.4693 1 1 0.03085 0.1411 0.1423 0.2838 1.298 1.309 json
t14_x23_u3_b97 14 23 3 97 flr(min(dot(R,D),R)) 66849 114618337 o1(o2(o2(x,x),x)) true 22799 22799 -0.7545 0 0.7545 0.108 0.3286 -1 0 1 1 2.826 0.01766 0.01753 0.07571 0.003893 1 -0.0001577 0.1101 0.09277 0.02946 0.1716 2.267 1.413 0.3258 1.019 1 1 0.03715 0.1586 0.1948 0.344 1.468 1.804 json
t14_x23_u3_b98 14 23 3 98 flr(min(dst(R,D),R)) 66850 114618338 o1(o2(o2(x,x),x)) true 22807 22807 -0.5176 0 0.5176 0.1537 0.3921 -1 0 1 1 3.585 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
t14_x23_u3_b99 14 23 3 99 flr(dot(add(R,D),R)) 66851 114618339 o1(o2(o2(x,x),x)) true 22815 22815 0.5132 0.9014 0.5203 0.1614 0.4017 -0.9645 1 1.965 1 3.616 0.01575 0.01559 0.09139 0.004986 1 -0.00003803 0.08981 0.1057 0.02299 0.1516 1.659 1.413 0.1943 0.5566 1 1 0.03571 0.1798 0.3039 0.2213 1.114 1.883 json
t14_x23_u3_b100 14 23 3 100 flr(dot(sub(R,D),R)) 66852 114618340 o1(o2(o2(x,x),x)) true 22823 22823 0.5016 0.848 0.5106 0.1765 0.4202 -0.9997 1 2 1 3.455 0.01557 0.01499 0.08444 0.01914 1 0.0001697 0.08836 0.1029 0.02343 0.1531 1.813 1.414 0.1731 0.5005 1 1 0.03477 0.1757 0.3476 0.1969 0.9954 1.969 json
t14_x23_u3_b101 14 23 3 101 flr(dot(mlt(R,D),R)) 66853 114618341 o1(o2(o2(x,x),x)) true 22831 22831 -0.4977 0 0.4977 0.1168 0.3418 -1 -1.694e-7 1 1 3.808 0.03259 0.03148 0.1321 0.01726 1 -0.0001631 0.1813 0.1691 0.04662 0.2159 1.635 1.409 0.5486 1.553 1 1 0.06881 0.2317 0.1272 0.5891 1.984 1.089 json
t14_x23_u3_b102 14 23 3 102 flr(dot(div(R,D),R)) 66854 114618342 o1(o2(o2(x,x),x)) true 22839 22839 -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
t14_x23_u3_b103 14 23 3 103 flr(dot(pow(R,D),R)) 66855 114618343 o1(o2(o2(x,x),x)) true 22847 22847 -0.9938 0.003891 0.9984 0.01049 0.1024 -1 1 2 1 0.0488 0.001336 0.001294 0.001775 0.01621 1 -7.509e-12 0.005576 0.003177 0.002625 0.05123 28.86 2.003 0.2507 0.5316 1 1 0.00469 0.02018 0.03675 0.4471 1.923 3.503 json
t14_x23_u3_b104 14 23 3 104 flr(dot(mod(R,D),R)) 66856 114618344 o1(o2(o2(x,x),x)) true 22855 22855 0.0739 0.4609 0.0739 0.03266 0.1807 0 1 1 1 1.442 0.01731 0.01251 0.06104 0.1608 1 -0.0001608 0.1018 0.1008 0.0261 0.1616 2.647 1.399 0.9131 3.117 1 1 0.02093 0.04389 0.06523 0.6408 1.344 1.997 json
t14_x23_u3_b105 14 23 3 105 flr(dot(lrg(R,D),R)) 66857 114618345 o1(o2(o2(x,x),x)) true 22863 22863 0.2412 0.6376 0.3246 0.1737 0.4168 -0.9997 1 2 1 3.947 0.008913 0.008928 0.07432 -0.00084 1 0.00004654 0.02672 0.05511 0.01232 0.111 1.493 1.257 0.1027 0.1538 1 1 0.02148 0.1584 0.3326 0.1237 0.9118 1.914 json
t14_x23_u3_b106 14 23 3 106 flr(dot(eql(R,D),R)) 66858 114618346 o1(o2(o2(x,x),x)) true 22871 22871 -0.00004008 0 0.00004008 0.00001031 0.00321 -0.3282 0 0.3282 1 0.003875 0.00001454 1.509e-7 0.00006305 0.9795 0 -1.17e-7 0.00004407 0.0001242 0.00001469 0.003832 60.78 0.3186 1.425 4.276 1 1 0 0 0.000007865 0 0 0.7631 json
t14_x23_u3_b107 14 23 3 107 flr(dot(min(R,D),R)) 66859 114618347 o1(o2(o2(x,x),x)) true 22879 22879 0.04344 0.4186 0.2587 0.1694 0.4116 -0.9997 1 2 1 3.955 0.01427 0.01578 0.08279 -0.05012 1 0.0001113 0.0737 0.0852 0.02319 0.1523 1.839 1.418 0.1774 0.4351 1 1 0.0343 0.1722 0.3141 0.2025 1.016 1.855 json
t14_x23_u3_b108 14 23 3 108 flr(dot(dot(R,D),R)) 66860 114618348 o1(o2(o2(x,x),x)) true 22887 22887 -0.5033 0.03004 0.51 0.1478 0.3844 -1 0.7671 1.767 1 3.84 0.03636 0.0359 0.1352 0.006364 1 0.000264 0.2305 0.1965 0.05397 0.2323 1.718 1.414 0.489 1.56 1 1 0.07698 0.285 0.2867 0.521 1.929 1.941 json
t14_x23_u3_b109 14 23 3 109 flr(dot(dst(R,D),R)) 66861 114618349 o1(o2(o2(x,x),x)) true 22895 22895 -0.3516 0.2437 0.6187 0.4044 0.6359 -1 1 2 1 4.074 0.01159 0.0123 0.09478 -0.02959 1 0.0002096 0.03425 0.06363 0.0149 0.1221 1.288 1.398 0.05907 0.08471 1 1 0.04188 0.3657 0.7736 0.1036 0.9045 1.913 json
t14_x23_u3_b110 14 23 3 110 flr(dst(add(R,D),R)) 66862 114618350 o1(o2(o2(x,x),x)) true 22903 22903 0.002387 0.5469 0.002387 0.0000194 0.004405 0 0.01937 0.01937 1 0 0.00002643 0.00002643 0.004122 1.376e-7 0 -0.00002229 0.0002509 0.008064 0.00003587 0.005989 1.453 0.02739 2.724 12.93 1 1 0.00004054 0.00003161 0 2.089 1.629 0 json
t14_x23_u3_b111 14 23 3 111 flr(dst(sub(R,D),R)) 66863 114618351 o1(o2(o2(x,x),x)) true 22911 22911 0.002387 0.5469 0.002387 0.0000194 0.004405 0 0.01937 0.01937 1 0 0.00002643 0.00002643 0.004122 1.376e-7 0 -0.00002229 0.0002509 0.008064 0.00003587 0.005989 1.453 0.02739 2.724 12.93 1 1 0.00004054 0.00003161 0 2.089 1.629 0 json
t14_x23_u3_b112 14 23 3 112 flr(dst(mlt(R,D),R)) 66864 114618352 o1(o2(o2(x,x),x)) true 22919 22919 0.4944 0.9343 0.4944 0.1471 0.3835 0 1 1 1 3.523 0.01507 0.01516 0.0862 -0.002904 1 0.0001128 0.07834 0.09163 0.02279 0.151 1.752 1.413 0.2055 0.5327 1 1 0.03504 0.1745 0.2761 0.2383 1.187 1.877 json
t14_x23_u3_b113 14 23 3 113 flr(dst(div(R,D),R)) 66865 114618353 o1(o2(o2(x,x),x)) true 22927 22927 -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
t14_x23_u3_b114 14 23 3 114 flr(dst(pow(R,D),R)) 66866 114618354 o1(o2(o2(x,x),x)) true 22935 22935 -0.9935 0.003906 0.9987 0.01135 0.1066 -1 1 2 1 0.04693 0.001454 0.001302 0.001825 0.0553 1 5.256e-11 0.00576 0.00332 0.002751 0.05245 28.74 2.828 0.2428 0.5073 1 1 0.004919 0.02161 0.04047 0.4333 1.903 3.565 json
t14_x23_u3_b115 14 23 3 115 flr(dst(mod(R,D),R)) 66867 114618355 o1(o2(o2(x,x),x)) true 22943 22943 0.09357 0.2151 0.09357 0.06214 0.2493 0 1 1 1 1.213 0.02286 0.02416 0.07417 -0.02753 1 0.0004088 0.1728 0.1439 0.04153 0.2038 2.748 1.413 0.7567 2.78 1 1 0.02562 0.06559 0.09972 0.4123 1.056 1.605 json
t14_x23_u3_b116 14 23 3 116 flr(dst(lrg(R,D),R)) 66868 114618356 o1(o2(o2(x,x),x)) true 22951 22951 0.514 0.9581 0.514 0.1537 0.392 0 1 1 1 3.42 0.01092 0.01262 0.07738 -0.07233 1 0.0001255 0.04155 0.06948 0.01755 0.1325 1.712 1.241 0.1532 0.2704 1 1 0.02584 0.1499 0.2799 0.1682 0.9757 1.822 json
t14_x23_u3_b117 14 23 3 117 flr(dst(eql(R,D),R)) 66869 114618357 o1(o2(o2(x,x),x)) true 22959 22959 0.5235 0.9064 0.5235 0.1603 0.4003 0 1 1 1 3.324 0.001871 0.002199 0.04753 -0.08051 1 -0.000005589 0.0002854 0.01172 0.001811 0.04256 0.8954 0.3216 0.02539 0.001781 1 1 0.007899 0.1024 0.3171 0.04928 0.6391 1.978 json
t14_x23_u3_b118 14 23 3 118 flr(dst(min(R,D),R)) 66870 114618358 o1(o2(o2(x,x),x)) true 22967 22967 0.2398 0.7595 0.2398 0.1007 0.3173 0 1 1 1 2.882 0.01301 0.01352 0.07284 -0.01949 1 -0.000189 0.0637 0.08061 0.02122 0.1457 2 1.413 0.2636 0.6328 1 1 0.03151 0.1441 0.2037 0.3131 1.431 2.024 json
t14_x23_u3_b119 14 23 3 119 flr(dst(dot(R,D),R)) 66871 114618359 o1(o2(o2(x,x),x)) true 22975 22975 0.5489 0.971 0.5489 0.1503 0.3877 0 1 1 1 3.435 0.01743 0.01841 0.09315 -0.02736 1 -0.0001697 0.1068 0.1138 0.02717 0.1648 1.77 1.414 0.2385 0.7109 1 1 0.04081 0.1888 0.2667 0.2715 1.256 1.774 json
t14_x23_u3_b120 14 23 3 120 flr(dst(dst(R,D),R)) 66872 114618360 o1(o2(o2(x,x),x)) true 22983 22983 0.9258 1 0.9258 0.0465 0.2156 0.0002912 1 0.9997 1 1.098 0.00789 0.008534 0.03441 -0.03922 1 -0.0000221 0.04753 0.0493 0.01523 0.1234 3.587 1.413 0.3532 1.022 1 1 0.02032 0.07763 0.08842 0.4369 1.67 1.902 json
t14_x23_u4_b0 14 23 4 0 cil(add(add(R,D),R)) 66873 114618441 o1(o2(o2(x,x),x)) true 22991 22991 0.3309 0.69 0.6756 0.4803 0.693 -1 1 2 1 3.919 0.02826 0.008913 0.1136 0.5204 1 -0.00003208 0.04706 0.09524 0.02427 0.1558 1.371 1.117 0.07739 0.09798 1 1 0.05177 0.3874 0.8227 0.1078 0.8066 1.713 json
t14_x23_u4_b1 14 23 4 1 cil(add(sub(R,D),R)) 66874 114618442 o1(o2(o2(x,x),x)) true 22999 22999 0.3313 0.6903 0.6723 0.4782 0.6915 -1 1 2 1 3.91 0.02738 0.008901 0.112 0.5093 1 0.0002389 0.04602 0.09359 0.02374 0.1541 1.376 1.058 0.07587 0.09625 1 1 0.05132 0.3846 0.8172 0.1073 0.8044 1.709 json
t14_x23_u4_b2 14 23 4 2 cil(add(mlt(R,D),R)) 66875 114618443 o1(o2(o2(x,x),x)) true 23007 23007 0.4584 0.8548 0.5218 0.2159 0.4647 -0.9994 1 1.999 1 3.874 0.009903 0.003549 0.07151 0.4723 1 -0.00005974 0.01559 0.03984 0.008339 0.09132 1.277 1 0.0623 0.07219 1 1 0.01805 0.1609 0.393 0.0836 0.7451 1.82 json
t14_x23_u4_b3 14 23 4 3 cil(add(div(R,D),R)) 66876 114618444 o1(o2(o2(x,x),x)) true 23015 23015 0.197 0.6104 0.8193 0.7228 0.8502 -1 1 2 1 3.172 0.2799 0.03167 0.2508 0.7967 1 -0.0004472 0.6369 0.3875 0.2485 0.4985 1.988 2.828 0.431 0.8812 1 1 0.3387 1.275 1.296 0.4685 1.764 1.793 json
t14_x23_u4_b4 14 23 4 4 cil(add(pow(R,D),R)) 66877 114618445 o1(o2(o2(x,x),x)) true 23023 23023 -0.9141 0.04297 1 0.1645 0.4056 -1 1 2 1 0.2557 0.01688 0.01638 0.01652 0.01515 1 0 0.06954 0.03326 0.03297 0.1816 10.99 2.828 0.2022 0.4228 1 1 0.02543 0.1095 0.2757 0.1546 0.6659 1.676 json
t14_x23_u4_b5 14 23 4 5 cil(add(mod(R,D),R)) 66878 114618446 o1(o2(o2(x,x),x)) true 23031 23031 0.4485 0.8303 0.5351 0.2397 0.4896 -1 1 2 1 3.937 0.03561 0.004 0.1117 0.798 1 0.0001326 0.09916 0.1339 0.02713 0.1647 1.474 1.117 0.1652 0.4137 1 1 0.02842 0.1714 0.4229 0.1185 0.7152 1.764 json
t14_x23_u4_b6 14 23 4 6 cil(add(lrg(R,D),R)) 66879 114618447 o1(o2(o2(x,x),x)) true 23039 23039 0.6589 0.9688 0.6589 0.1643 0.4053 0 1 1 1 2.642 0.01258 0.00389 0.0635 0.5275 1 -0.0001217 0.02118 0.05118 0.01243 0.1115 1.756 0.9994 0.1002 0.1289 1 1 0.02273 0.1595 0.2887 0.1384 0.9705 1.757 json
t14_x23_u4_b7 14 23 4 7 cil(add(eql(R,D),R)) 66880 114618448 o1(o2(o2(x,x),x)) true 23047 23047 0.4825 0.9147 0.4825 0.1537 0.392 0 1 1 1 3.429 0.001987 0.002441 0.05172 -0.1027 1 -0.0000177 0.0003032 0.01268 0.001753 0.04187 0.8095 0.3193 0.02881 0.001973 1 1 0.008731 0.1124 0.2862 0.05681 0.7316 1.862 json
t14_x23_u4_b8 14 23 4 8 cil(add(min(R,D),R)) 66881 114618449 o1(o2(o2(x,x),x)) true 23055 23055 0.2238 0.6367 0.5739 0.4145 0.6438 -1 1 2 1 4.466 0.01539 0.006745 0.1004 0.3906 1 0.0002198 0.02104 0.05761 0.01205 0.1098 1.093 1.015 0.05341 0.05075 1 1 0.03227 0.3153 0.7221 0.07785 0.7607 1.742 json
t14_x23_u4_b9 14 23 4 9 cil(add(dot(R,D),R)) 66882 114618450 o1(o2(o2(x,x),x)) true 23063 23063 0.4608 0.8312 0.5371 0.2308 0.4804 -1 1 2 1 3.878 0.01256 0.01713 0.09323 -0.1539 1 -0.00009733 0.07696 0.09732 0.02099 0.1449 1.554 1.414 0.1286 0.3335 1 1 0.03289 0.2026 0.4042 0.1425 0.8778 1.751 json
t14_x23_u4_b10 14 23 4 10 cil(add(dst(R,D),R)) 66883 114618451 o1(o2(o2(x,x),x)) true 23071 23071 0.9816 1 0.9816 0.009929 0.09964 0.0005821 1 0.9994 1 0.4338 0.00359 0.002351 0.01309 0.2085 1 0.000005931 0.01852 0.02006 0.00577 0.07596 5.804 1.394 0.5983 1.865 1 1 0.006411 0.01818 0.02115 0.6456 1.831 2.13 json
t14_x23_u4_b11 14 23 4 11 cil(sub(add(R,D),R)) 66884 114618452 o1(o2(o2(x,x),x)) true 23079 23079 0.5 1 0.5 0.1418 0.3765 0.000291 0.9997 0.9994 1 3.406 0.06511 0 0.1228 1 1 0 0.1208 0.1337 0.05001 0.2236 1.821 0.9994 0.4593 0.8522 1 1 0.07073 0.2419 0 0.4989 1.706 0 json
t14_x23_u4_b12 14 23 4 12 cil(sub(sub(R,D),R)) 66885 114618453 o1(o2(o2(x,x),x)) true 23087 23087 0.5 1 0.5 0.1418 0.3765 0.000291 0.9997 0.9994 1 3.406 0.06511 0 0.1228 1 1 0 0.1208 0.1337 0.05001 0.2236 1.821 0.9994 0.4593 0.8522 1 1 0.07073 0.2419 0 0.4989 1.706 0 json
t14_x23_u4_b13 14 23 4 13 cil(sub(mlt(R,D),R)) 66886 114618454 o1(o2(o2(x,x),x)) true 23095 23095 0.4752 0.8601 0.5452 0.2216 0.4708 -0.9991 1 1.999 1 3.899 0.01148 0.003675 0.07496 0.5149 1 0.0002779 0.0183 0.04285 0.009535 0.09764 1.303 1 0.06837 0.08256 1 1 0.0204 0.1721 0.4145 0.09204 0.7765 1.87 json
t14_x23_u4_b14 14 23 4 14 cil(sub(div(R,D),R)) 66887 114618455 o1(o2(o2(x,x),x)) true 23103 23103 0.1909 0.6102 0.8165 0.7225 0.85 -1 1 2 1 3.173 0.2796 0.03209 0.2513 0.7941 1 -0.0005178 0.6428 0.3878 0.2486 0.4986 1.984 2.828 0.4314 0.8896 1 1 0.3364 1.273 1.315 0.4656 1.762 1.82 json
t14_x23_u4_b15 14 23 4 15 cil(sub(pow(R,D),R)) 66888 114618456 o1(o2(o2(x,x),x)) true 23111 23111 -0.9141 0.04297 1 0.1645 0.4056 -1 1 2 1 0.2557 0.01688 0.01638 0.01652 0.01515 1 0 0.06954 0.03326 0.03297 0.1816 10.99 2.828 0.2022 0.4228 1 1 0.02543 0.1095 0.2757 0.1546 0.6659 1.676 json
t14_x23_u4_b16 14 23 4 16 cil(sub(mod(R,D),R)) 66889 114618457 o1(o2(o2(x,x),x)) true 23119 23119 0.366 0.6935 0.366 0.1531 0.3913 0 1 1 1 3.074 0.02187 0.002116 0.07193 0.8236 1 0.0003024 0.03988 0.07212 0.01881 0.1372 1.907 0.9994 0.1566 0.2605 1 1 0.02907 0.1538 0.2589 0.1899 1.004 1.691 json
t14_x23_u4_b17 14 23 4 17 cil(sub(lrg(R,D),R)) 66890 114618458 o1(o2(o2(x,x),x)) true 23127 23127 0.9528 1 0.9528 0.02094 0.1447 0.0005821 1 0.9994 1 1.052 0.007757 0.0003592 0.02641 0.9115 1 0.00004201 0.0159 0.03055 0.007421 0.08614 3.262 0.9991 0.3875 0.7589 1 1 0.006867 0.02219 0.03492 0.3279 1.059 1.667 json
t14_x23_u4_b18 14 23 4 18 cil(sub(eql(R,D),R)) 66891 114618459 o1(o2(o2(x,x),x)) true 23135 23135 0.5176 0.9429 0.5176 0.1537 0.3921 0 1 1 1 3.428 0.001979 0.002443 0.05171 -0.105 1 0.00001745 0.0002796 0.01264 0.001748 0.04181 0.8085 0.2454 0.02876 0.001819 1 1 0.008731 0.1124 0.2862 0.0568 0.7315 1.862 json
t14_x23_u4_b19 14 23 4 19 cil(sub(min(R,D),R)) 66892 114618460 o1(o2(o2(x,x),x)) true 23143 23143 -0.08059 0 0.08059 0.03574 0.1891 -0.9994 0 0.9994 1 2.209 0.01092 0.0004915 0.03487 0.9139 1 0.0001176 0.02161 0.03701 0.0102 0.101 2.896 0.9994 0.3194 0.6045 1 1 0.01212 0.04703 0.06625 0.3389 1.316 1.853 json
t14_x23_u4_b20 14 23 4 20 cil(sub(dot(R,D),R)) 66893 114618461 o1(o2(o2(x,x),x)) true 23151 23151 0.4644 0.8349 0.5452 0.2324 0.4821 -0.9997 1 2 1 3.926 0.01385 0.01802 0.09701 -0.1308 1 -0.0001383 0.08302 0.1011 0.02246 0.1499 1.545 1.413 0.1371 0.3572 1 1 0.03627 0.2176 0.4352 0.156 0.9363 1.872 json
t14_x23_u4_b21 14 23 4 21 cil(sub(dst(R,D),R)) 66894 114618462 o1(o2(o2(x,x),x)) true 23159 23159 0.9796 1 0.9796 0.0109 0.1044 0.007704 1 0.9923 1 0.4737 0.003747 0.002637 0.01448 0.1739 1 0.0001505 0.02012 0.02193 0.006176 0.07859 5.426 1.393 0.5857 1.846 1 1 0.005211 0.01619 0.01789 0.478 1.485 1.641 json
t14_x23_u4_b22 14 23 4 22 cil(mlt(add(R,D),R)) 66895 114618463 o1(o2(o2(x,x),x)) true 23167 23167 0.8809 0.9983 0.8809 0.05487 0.2342 0 1 1 1 1.95 0.01824 0.0008611 0.05434 0.9098 1 0.000547 0.03669 0.06559 0.01614 0.1271 2.338 0.9997 0.3481 0.6687 1 1 0.01844 0.06977 0.09713 0.3362 1.272 1.77 json
t14_x23_u4_b23 14 23 4 23 cil(mlt(sub(R,D),R)) 66896 114618464 o1(o2(o2(x,x),x)) true 23175 23175 0.8801 0.9988 0.8801 0.05682 0.2384 0 1 1 1 1.932 0.01849 0.0008594 0.05397 0.9112 1 0.00004432 0.03713 0.06556 0.01644 0.1282 2.375 0.9997 0.3405 0.6535 1 1 0.01905 0.07415 0.1052 0.3352 1.305 1.851 json
t14_x23_u4_b24 14 23 4 24 cil(mlt(mlt(R,D),R)) 66897 114618465 o1(o2(o2(x,x),x)) true 23183 23183 0.5 1 0.5 0.1418 0.3765 0.000291 0.9997 0.9994 1 3.406 0.06511 0 0.1228 1 1 0 0.1208 0.1337 0.05001 0.2236 1.821 0.9994 0.4593 0.8522 1 1 0.07073 0.2419 0 0.4989 1.706 0 json
t14_x23_u4_b25 14 23 4 25 cil(mlt(div(R,D),R)) 66898 114618466 o1(o2(o2(x,x),x)) true 23191 23191 0.2562 0.6873 0.7432 0.601 0.7752 -1 1 2 1 3.625 0.2781 0.002437 0.2408 0.9826 1 -0.0003498 0.5397 0.3444 0.2225 0.4717 1.959 2.083 0.4668 0.8981 1 1 0.2993 1.018 0.1955 0.498 1.694 0.3252 json
t14_x23_u4_b26 14 23 4 26 cil(mlt(pow(R,D),R)) 66899 114618467 o1(o2(o2(x,x),x)) true 23199 23199 -0.9141 0.04297 1 0.1645 0.4056 -1 1 2 1 0.2557 0.01688 0.01638 0.01652 0.01515 1 0 0.06954 0.03326 0.03297 0.1816 10.99 2.828 0.2022 0.4228 1 1 0.02543 0.1095 0.2757 0.1546 0.6659 1.676 json