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_x21_u4_b21 14 21 4 21 cil(sub(dst(R,D),P)) 65200 114537660 o1(o2(o2(x,x),x)) true 9607 9607 0.1972 0.5959 0.943 0.8903 0.9436 -1 1 2 1 1.775 0.003678 0.00294 0.01658 0.1116 1 -0.00001044 0.01811 0.01958 0.006343 0.07964 4.803 1.413 0.007434 0.02034 1 1 0.01037 0.05589 0.2619 0.01165 0.06278 0.2942 json
t14_x21_u4_b22 14 21 4 22 cil(mlt(add(R,D),P)) 65201 114537661 o1(o2(o2(x,x),x)) true 9615 9615 0.09039 0.527 0.7305 0.6603 0.8126 -1 1 2 1 3.572 0.05325 0.01961 0.138 0.4616 1 0.0003667 0.1105 0.1632 0.05382 0.232 1.681 1.746 0.1104 0.1673 1 1 0.08286 0.5154 1.003 0.1255 0.7806 1.519 json
t14_x21_u4_b23 14 21 4 23 cil(mlt(sub(R,D),P)) 65202 114537662 o1(o2(o2(x,x),x)) true 9623 9623 0.1996 0.6395 0.7488 0.6474 0.8046 -1 1 2 1 3.444 0.05246 0.01927 0.1359 0.4627 1 -0.0003487 0.1113 0.1628 0.05329 0.2308 1.699 1.87 0.1108 0.1719 1 1 0.08027 0.4923 0.9439 0.124 0.7604 1.458 json
t14_x21_u4_b24 14 21 4 24 cil(mlt(mlt(R,D),P)) 65203 114537663 o1(o2(o2(x,x),x)) true 9631 9631 0.4017 0.8006 0.5217 0.2624 0.5122 -1 1 2 1 4.048 0.06597 0.004444 0.1451 0.8738 1 0.001244 0.1356 0.1898 0.04936 0.2222 1.532 1.011 0.2684 0.5166 1 1 0.06514 0.3078 0.4271 0.2483 1.173 1.628 json
t14_x21_u4_b25 14 21 4 25 cil(mlt(div(R,D),P)) 65204 114537664 o1(o2(o2(x,x),x)) true 9639 9639 0.05343 0.5289 0.8794 0.85 0.922 -1 1 2 1 2.354 0.2836 0.06383 0.2314 0.6326 1 -0.00004215 0.7066 0.3834 0.2939 0.5421 2.343 2.828 0.4087 0.8312 1 1 0.3674 1.506 1.509 0.4322 1.771 1.775 json
t14_x21_u4_b26 14 21 4 26 cil(mlt(pow(R,D),P)) 65205 114537665 o1(o2(o2(x,x),x)) true 9647 9647 -0.9818 0.007813 0.9947 0.03055 0.1748 -1 1 2 1 0.113 0.00231 0.003732 0.003736 -0.2353 1 -6.007e-11 0.01259 0.007118 0.006027 0.07764 20.78 2.828 0.1978 0.4121 1 1 0.0008677 0.006062 0.02715 0.0284 0.1984 0.8887 json
t14_x21_u4_b27 14 21 4 27 cil(mlt(mod(R,D),P)) 65206 114537666 o1(o2(o2(x,x),x)) true 9655 9655 0.3813 0.7885 0.5007 0.2611 0.5109 -1 1 2 1 4.037 0.06062 0.00435 0.1399 0.8661 1 0.0004057 0.162 0.1832 0.04541 0.2131 1.524 1.451 0.2489 0.6206 1 1 0.02942 0.1598 0.4103 0.1127 0.6123 1.572 json
t14_x21_u4_b28 14 21 4 28 cil(mlt(lrg(R,D),P)) 65207 114537667 o1(o2(o2(x,x),x)) true 9663 9663 0.00989 0.4662 0.6634 0.6168 0.7854 -1 1 2 1 3.335 0.02522 0.004964 0.07371 0.6711 1 0.00008339 0.04829 0.08034 0.02476 0.1574 2.135 1.099 0.04894 0.07829 1 1 0.03438 0.1787 0.341 0.05575 0.2897 0.5528 json
t14_x21_u4_b29 14 21 4 29 cil(mlt(eql(R,D),P)) 65208 114537668 o1(o2(o2(x,x),x)) true 9671 9671 0.00004008 0.0002289 0.00004008 0.00001031 0.00321 0 0.3282 0.3282 1 0.002722 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_x21_u4_b30 14 21 4 30 cil(mlt(min(R,D),P)) 65209 114537669 o1(o2(o2(x,x),x)) true 9679 9679 0.1729 0.5712 0.6642 0.5743 0.7578 -1 1 2 1 3.567 0.05251 0.005045 0.1179 0.8247 1 0.003316 0.1076 0.1537 0.04366 0.209 1.772 1.025 0.1002 0.1873 1 1 0.05422 0.273 0.415 0.09441 0.4753 0.7226 json
t14_x21_u4_b31 14 21 4 31 cil(mlt(dot(R,D),P)) 65210 114537670 o1(o2(o2(x,x),x)) true 9687 9687 0.3531 0.7266 0.5686 0.3533 0.5944 -1 1 2 1 4.072 0.05406 0.05305 0.1871 0.009424 1 0.0004678 0.3415 0.3077 0.07209 0.2685 1.435 1.563 0.3032 0.9667 1 1 0.09736 0.4254 0.5635 0.2756 1.204 1.595 json
t14_x21_u4_b32 14 21 4 32 cil(mlt(dst(R,D),P)) 65211 114537671 o1(o2(o2(x,x),x)) true 9695 9695 0.03266 0.5 0.9199 0.9066 0.9522 -1 1 2 1 1.86 0.002453 0.001917 0.01356 0.1226 1 0.00001203 0.0107 0.01389 0.004186 0.0647 4.773 1.399 0.00482 0.0118 1 1 0.007325 0.04406 0.2223 0.00808 0.0486 0.2452 json
t14_x21_u4_b33 14 21 4 33 cil(div(add(R,D),P)) 65212 114537672 o1(o2(o2(x,x),x)) true 9703 9703 0.2989 0.8149 0.5489 0.368 0.6066 -1 1 2 1 3.646 0.03861 0.001898 0.08447 0.9063 1 0.0003787 0.07532 0.08789 0.03337 0.1827 2.163 2 0.1101 0.2047 1 1 0.04748 0.2323 0.6045 0.129 0.6313 1.643 json
t14_x21_u4_b34 14 21 4 34 cil(div(sub(R,D),P)) 65213 114537673 o1(o2(o2(x,x),x)) true 9711 9711 0.2843 0.7974 0.5417 0.3693 0.6077 -1 1 2 1 3.753 0.03863 0.002011 0.08622 0.901 1 0.00005188 0.0762 0.08994 0.03321 0.1822 2.114 2 0.1101 0.2063 1 1 0.04594 0.2067 0.5961 0.1244 0.5596 1.614 json
t14_x21_u4_b35 14 21 4 35 cil(div(mlt(R,D),P)) 65214 114537674 o1(o2(o2(x,x),x)) true 9719 9719 0.3145 0.8346 0.5645 0.3738 0.6114 -1 1 2 1 3.64 0.06005 0.002019 0.09884 0.9349 1 -0.00003495 0.1179 0.116 0.0523 0.2287 2.314 2 0.166 0.3155 1 1 0.06902 0.3027 0.6215 0.1846 0.8098 1.663 json
t14_x21_u4_b36 14 21 4 36 cil(div(div(R,D),P)) 65215 114537675 o1(o2(o2(x,x),x)) true 9727 9727 0.2147 0.7204 0.6697 0.5408 0.7354 -1 1 2 1 3.753 0.2262 0.0104 0.1995 0.9121 1 -0.0014 0.5338 0.3089 0.1969 0.4437 2.224 2.828 0.4375 0.987 1 1 0.2315 0.6513 0.9111 0.428 1.204 1.685 json
t14_x21_u4_b37 14 21 4 37 cil(div(pow(R,D),P)) 65216 114537676 o1(o2(o2(x,x),x)) true 9735 9735 -0.9649 0.003906 0.9727 0.0408 0.202 -1 1 2 1 0.2802 0.004014 0.0041 0.007229 -0.01051 1 3.948e-8 0.01692 0.01366 0.008064 0.0898 12.42 2 0.1989 0.4146 1 1 0.00463 0.01946 0.05442 0.1135 0.4768 1.334 json
t14_x21_u4_b38 14 21 4 38 cil(div(mod(R,D),P)) 65217 114537677 o1(o2(o2(x,x),x)) true 9743 9743 0.2852 0.798 0.5352 0.3702 0.6084 -1 1 2 1 3.538 0.02176 0.002174 0.05694 0.8184 1 -0.00003637 0.0405 0.03516 0.0207 0.1439 2.527 2 0.06467 0.1094 1 1 0.03339 0.1946 0.6235 0.0902 0.5256 1.684 json
t14_x21_u4_b39 14 21 4 39 cil(div(lrg(R,D),P)) 65218 114537678 o1(o2(o2(x,x),x)) true 9751 9751 0.06025 0.4044 0.3556 0.2984 0.5463 -1 1 2 1 3.06 0.02183 0.001036 0.04871 0.9094 1 0.00004509 0.04262 0.05007 0.02049 0.1432 2.939 2 0.07664 0.1428 1 1 0.02623 0.1275 0.3825 0.0879 0.4271 1.282 json
t14_x21_u4_b40 14 21 4 40 cil(div(eql(R,D),P)) 65219 114537679 o1(o2(o2(x,x),x)) true 9759 9759 0.00004008 0.0002289 0.00004008 0.00001031 0.00321 0 0.3282 0.3282 1 0.002722 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_x21_u4_b41 14 21 4 41 cil(div(min(R,D),P)) 65220 114537680 o1(o2(o2(x,x),x)) true 9767 9767 0.2998 0.7515 0.5498 0.3937 0.6274 -1 1 2 1 3.283 0.04829 0.001057 0.073 0.9572 1 -0.0001255 0.0934 0.08121 0.04403 0.2098 2.874 2 0.1254 0.2373 1 1 0.05734 0.239 0.5173 0.1457 0.6071 1.314 json
t14_x21_u4_b42 14 21 4 42 cil(div(dot(R,D),P)) 65221 114537681 o1(o2(o2(x,x),x)) true 9775 9775 0.3102 0.8169 0.5602 0.3768 0.6138 -1 1 2 1 3.586 0.05004 0.03032 0.1194 0.2454 1 0.00003419 0.2329 0.1788 0.06609 0.2571 2.153 2.236 0.2133 0.6182 1 1 0.08677 0.3352 0.6264 0.2303 0.8897 1.662 json
t14_x21_u4_b43 14 21 4 43 cil(div(dst(R,D),P)) 65222 114537682 o1(o2(o2(x,x),x)) true 9783 9783 0.2918 0.4375 0.5832 0.4927 0.7019 -1 1 2 1 1.831 0.01777 0.0006504 0.01391 0.9294 1 0.000005751 0.03797 0.02311 0.01823 0.135 9.706 2 0.0374 0.07707 1 1 0.02534 0.1044 0.4194 0.05143 0.2119 0.8513 json
t14_x21_u4_b44 14 21 4 44 cil(pow(add(R,D),P)) 65223 114537683 o1(o2(o2(x,x),x)) true 9791 9791 -0.7959 0.1021 1 0.3664 0.6053 -1 1 2 1 0.4755 0.1144 0.02375 0.06851 0.6562 1 0.0005039 0.2962 0.1376 0.1335 0.3654 5.333 2.828 0.377 0.8083 1 1 0.1293 0.4245 0.7148 0.3528 1.159 1.951 json
t14_x21_u4_b45 14 21 4 45 cil(pow(sub(R,D),P)) 65224 114537684 o1(o2(o2(x,x),x)) true 9799 9799 -0.7788 0.1106 1 0.3934 0.6272 -1 1 2 1 0.5017 0.115 0.02349 0.06868 0.6608 1 0 0.3013 0.1385 0.1339 0.3659 5.327 2.828 0.3521 0.766 1 1 0.1336 0.4336 0.713 0.3396 1.102 1.813 json
t14_x21_u4_b46 14 21 4 46 cil(pow(mlt(R,D),P)) 65225 114537685 o1(o2(o2(x,x),x)) true 9807 9807 -0.8906 0.05469 1 0.2066 0.4546 -1 1 2 1 0.306 0.02771 0.02217 0.02476 0.1111 1 0 0.1053 0.04989 0.0493 0.222 8.968 2.828 0.2414 0.5097 1 1 0.05651 0.2314 0.5061 0.2735 1.12 2.449 json
t14_x21_u4_b47 14 21 4 47 cil(pow(div(R,D),P)) 65226 114537686 o1(o2(o2(x,x),x)) true 9815 9815 -0.8906 0.05469 1 0.2066 0.4546 -1 1 2 1 0.306 0.02771 0.02217 0.02476 0.1111 1 0 0.1053 0.04989 0.0493 0.222 8.968 2.828 0.2414 0.5097 1 1 0.05651 0.2314 0.5061 0.2735 1.12 2.449 json
t14_x21_u4_b48 14 21 4 48 cil(pow(pow(R,D),P)) 65227 114537687 o1(o2(o2(x,x),x)) true 9823 9823 -0.8516 0.07422 1 0.2749 0.5243 -1 1 2 1 0.3815 0.02494 0.02444 0.02454 0.0102 1 0 0.103 0.04938 0.04875 0.2208 8.996 2.828 0.1796 0.3748 1 1 0.0467 0.1946 0.6445 0.1699 0.7079 2.344 json
t14_x21_u4_b49 14 21 4 49 cil(pow(mod(R,D),P)) 65228 114537688 o1(o2(o2(x,x),x)) true 9831 9831 -0.8516 0.07422 1 0.2749 0.5243 -1 1 2 1 0.3815 0.02494 0.02444 0.02454 0.0102 1 0 0.103 0.04938 0.04875 0.2208 8.996 2.828 0.1796 0.3748 1 1 0.0467 0.1946 0.6445 0.1699 0.7079 2.344 json
t14_x21_u4_b50 14 21 4 50 cil(pow(lrg(R,D),P)) 65229 114537689 o1(o2(o2(x,x),x)) true 9839 9839 -0.1583 0.5065 0.7626 0.6885 0.8298 -1 1 2 1 2.787 0.08319 0.01281 0.08058 0.7331 1 0.00003414 0.2024 0.1191 0.08949 0.2991 3.712 2.828 0.1394 0.294 1 1 0.09007 0.3106 0.5533 0.1308 0.4511 0.8037 json
t14_x21_u4_b51 14 21 4 51 cil(pow(eql(R,D),P)) 65230 114537690 o1(o2(o2(x,x),x)) true 9847 9847 -0.4687 0.0625 0.5313 0.3049 0.5521 -1 0.9999 2 1 1.407 0.01624 1.509e-7 0.01193 1 1 1.166e-7 0.03191 0.01691 0.01609 0.1268 10.63 2 0.05326 0.1047 1 1 0.0219 0.08325 0.1593 0.07183 0.2731 0.5226 json
t14_x21_u4_b52 14 21 4 52 cil(pow(min(R,D),P)) 65231 114537691 o1(o2(o2(x,x),x)) true 9855 9855 -0.9609 0.01953 1 0.07656 0.2767 -1 1 2 1 0.1388 0.01008 0.006047 0.008007 0.25 1 0 0.03376 0.01612 0.01606 0.1267 15.83 2.828 0.2106 0.441 1 1 0.02216 0.0913 0.2411 0.2895 1.193 3.149 json
t14_x21_u4_b53 14 21 4 53 cil(pow(dot(R,D),P)) 65232 114537692 o1(o2(o2(x,x),x)) true 9863 9863 -0.8291 0.08545 1 0.3127 0.5592 -1 1 2 1 0.4211 0.08396 0.07313 0.07273 0.06897 1 -0.0002834 0.4844 0.157 0.1518 0.3896 5.356 2.828 0.5024 1.549 1 1 0.1618 0.4838 0.6758 0.5176 1.547 2.161 json
t14_x21_u4_b54 14 21 4 54 cil(pow(dst(R,D),P)) 65233 114537693 o1(o2(o2(x,x),x)) true 9871 9871 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_x21_u4_b55 14 21 4 55 cil(mod(add(R,D),P)) 65234 114537694 o1(o2(o2(x,x),x)) true 9879 9879 0.2818 0.7444 0.5901 0.4204 0.6484 -1 1 2 1 4.029 0.04769 0.002766 0.1057 0.8904 1 0.000458 0.09331 0.1183 0.03929 0.1982 1.875 2 0.12 0.222 1 1 0.05625 0.2572 0.6686 0.1338 0.6117 1.59 json
t14_x21_u4_b56 14 21 4 56 cil(mod(sub(R,D),P)) 65235 114537695 o1(o2(o2(x,x),x)) true 9887 9887 0.2861 0.7485 0.5927 0.4223 0.6498 -1 1 2 1 4.002 0.04761 0.002765 0.1051 0.8902 1 -0.00001471 0.09324 0.1185 0.03933 0.1983 1.887 2 0.1193 0.2208 1 1 0.05665 0.2588 0.6775 0.1342 0.613 1.604 json
t14_x21_u4_b57 14 21 4 57 cil(mod(mlt(R,D),P)) 65236 114537696 o1(o2(o2(x,x),x)) true 9895 9895 0.3184 0.8316 0.5684 0.3753 0.6126 -1 1 2 1 3.64 0.05835 0.002019 0.09827 0.9331 1 0.00001497 0.1145 0.1148 0.05072 0.2252 2.292 2 0.1609 0.3052 1 1 0.06767 0.295 0.6215 0.1803 0.7861 1.656 json
t14_x21_u4_b58 14 21 4 58 cil(mod(div(R,D),P)) 65237 114537697 o1(o2(o2(x,x),x)) true 9903 9903 0.1194 0.5907 0.7706 0.6908 0.8311 -1 1 2 1 3.488 0.2637 0.01348 0.2579 0.9028 1 -0.0006873 0.6397 0.4081 0.2107 0.459 1.78 2.25 0.4013 0.9261 1 1 0.2329 0.889 1.195 0.3371 1.287 1.73 json
t14_x21_u4_b59 14 21 4 59 cil(mod(pow(R,D),P)) 65238 114537698 o1(o2(o2(x,x),x)) true 9911 9911 -0.9297 0.03516 1 0.1356 0.3683 -1 1 2 1 0.2196 0.01487 0.01235 0.01351 0.09259 1 0 0.05694 0.02721 0.027 0.1643 12.16 2.828 0.2006 0.4198 1 1 0.02366 0.09712 0.2474 0.1744 0.716 1.824 json
t14_x21_u4_b60 14 21 4 60 cil(mod(mod(R,D),P)) 65239 114537699 o1(o2(o2(x,x),x)) true 9919 9919 0.293 0.7953 0.543 0.3734 0.6111 -1 1 2 1 3.539 0.02346 0.002174 0.05751 0.8304 1 -6.988e-7 0.04394 0.0363 0.02233 0.1494 2.598 2 0.06865 0.1177 1 1 0.0347 0.1958 0.5929 0.09291 0.5244 1.588 json
t14_x21_u4_b61 14 21 4 61 cil(mod(lrg(R,D),P)) 65240 114537700 o1(o2(o2(x,x),x)) true 9927 9927 0.2711 0.7734 0.5211 0.3604 0.6003 -1 1 2 1 3.578 0.02513 0.00174 0.076 0.8705 1 0.00003901 0.04829 0.07515 0.0211 0.1453 1.911 1 0.07456 0.134 1 1 0.029 0.1554 0.5165 0.08046 0.4313 1.433 json
t14_x21_u4_b62 14 21 4 62 cil(mod(eql(R,D),P)) 65241 114537701 o1(o2(o2(x,x),x)) true 9935 9935 -0.125 0 0.125 0.1094 0.3307 -1 0 1 1 0.5436 0.007937 0 0.007937 1 1 0 0.01587 0.01587 0.007872 0.08872 11.18 1 0.07256 0.1451 1 1 0.01053 0.04211 0.1684 0.09624 0.385 1.54 json
t14_x21_u4_b63 14 21 4 63 cil(mod(min(R,D),P)) 65242 114537702 o1(o2(o2(x,x),x)) true 9943 9943 0.08691 0.6378 0.3369 0.2632 0.513 -1 0.9997 2 1 2.997 0.03639 0.001057 0.06903 0.9435 1 0.000007136 0.06954 0.07325 0.03268 0.1808 2.619 2 0.1423 0.2642 1 1 0.04159 0.1824 0.3757 0.158 0.6933 1.428 json
t14_x21_u4_b64 14 21 4 64 cil(mod(dot(R,D),P)) 65243 114537703 o1(o2(o2(x,x),x)) true 9951 9951 0.3223 0.8198 0.5724 0.3813 0.6175 -1 1 2 1 3.616 0.05014 0.03036 0.1197 0.2457 1 -0.000273 0.2331 0.1802 0.06618 0.2572 2.149 2.236 0.2111 0.6112 1 1 0.0878 0.3358 0.6363 0.2303 0.8806 1.669 json
t14_x21_u4_b65 14 21 4 65 cil(mod(dst(R,D),P)) 65244 114537704 o1(o2(o2(x,x),x)) true 9959 9959 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
t14_x21_u4_b66 14 21 4 66 cil(lrg(add(R,D),P)) 65245 114537705 o1(o2(o2(x,x),x)) true 9967 9967 0.5017 0.5879 0.5017 0.2332 0.4829 0 1 1 1 1.707 0.002579 0.0001747 0.01255 0.8731 1 -0.000009609 0.004619 0.009851 0.002597 0.05096 4.059 0.9926 0.01181 0.01981 1 1 0.003607 0.02284 0.08805 0.01547 0.09794 0.3776 json
t14_x21_u4_b67 14 21 4 67 cil(lrg(sub(R,D),P)) 65246 114537706 o1(o2(o2(x,x),x)) true 9975 9975 0.5017 0.5461 0.5017 0.2404 0.4904 0 1 1 1 1.441 0.002564 0.000168 0.008601 0.877 1 -0.000009608 0.004735 0.008797 0.002659 0.05157 5.995 0.9997 0.01136 0.01969 1 1 0.003586 0.02271 0.09229 0.01492 0.09446 0.3838 json
t14_x21_u4_b68 14 21 4 68 cil(lrg(mlt(R,D),P)) 65247 114537707 o1(o2(o2(x,x),x)) true 9983 9983 0.5 0.5378 0.5 0.2421 0.492 0 1 1 1 1.382 0.003597 0.0001053 0.007956 0.9431 1 -3.219e-10 0.006751 0.008078 0.003638 0.06032 7.581 1 0.01529 0.02789 1 1 0.005344 0.0265 0.09053 0.02207 0.1095 0.3739 json
t14_x21_u4_b69 14 21 4 69 cil(lrg(div(R,D),P)) 65248 114537708 o1(o2(o2(x,x),x)) true 9991 9991 0.5006 0.6666 0.5006 0.2145 0.4631 0 1 1 1 2.252 0.07443 0.001095 0.1036 0.971 1 0.000505 0.1656 0.1758 0.06478 0.2545 2.456 1 0.3522 0.7721 1 1 0.0765 0.1704 0.1893 0.3567 0.7948 0.8828 json
t14_x21_u4_b70 14 21 4 70 cil(lrg(pow(R,D),P)) 65249 114537709 o1(o2(o2(x,x),x)) true 9999 9999 0.806 0.9914 0.806 0.1119 0.3346 0 1 1 1 2.052 0.00334 0.001116 0.02644 0.4992 1 0.00001777 0.005082 0.01199 0.003758 0.0613 2.318 0.9997 0.0398 0.0454 1 1 0.006511 0.0574 0.1377 0.05816 0.5128 1.23 json
t14_x21_u4_b71 14 21 4 71 cil(lrg(mod(R,D),P)) 65250 114537710 o1(o2(o2(x,x),x)) true 10007 10007 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
t14_x21_u4_b72 14 21 4 72 cil(lrg(lrg(R,D),P)) 65251 114537711 o1(o2(o2(x,x),x)) true 10015 10015 0.4954 0.522 0.4954 0.2439 0.4938 0 1 1 1 1.312 0.001031 0.000103 0.004918 0.8183 1 -0.000002813 0.001445 0.003705 0.001109 0.0333 6.772 0.9264 0.004649 0.005925 1 1 0.002051 0.0179 0.09272 0.008412 0.07339 0.3802 json
t14_x21_u4_b73 14 21 4 73 cil(lrg(eql(R,D),P)) 65252 114537712 o1(o2(o2(x,x),x)) true 10023 10023 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
t14_x21_u4_b74 14 21 4 74 cil(lrg(min(R,D),P)) 65253 114537713 o1(o2(o2(x,x),x)) true 10031 10031 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
t14_x21_u4_b75 14 21 4 75 cil(lrg(dot(R,D),P)) 65254 114537714 o1(o2(o2(x,x),x)) true 10039 10039 0.501 0.5466 0.501 0.2411 0.491 0 1 1 1 1.421 0.002838 0.001955 0.01021 0.1842 1 -0.00001934 0.01541 0.01267 0.004689 0.06847 6.706 1.409 0.01988 0.06392 1 1 0.006801 0.0302 0.08809 0.02821 0.1253 0.3654 json
t14_x21_u4_b76 14 21 4 76 cil(lrg(dst(R,D),P)) 65255 114537715 o1(o2(o2(x,x),x)) true 10047 10047 0.5703 0.6169 0.5703 0.2373 0.4872 0 1 1 1 1.36 0.001875 0.001644 0.008277 0.06575 1 0.000001304 0.01025 0.01038 0.003447 0.05871 7.093 1.404 0.01483 0.0432 1 1 0.005233 0.02504 0.08669 0.02205 0.1055 0.3653 json
t14_x21_u4_b77 14 21 4 77 cil(eql(add(R,D),P)) 65256 114537716 o1(o2(o2(x,x),x)) true 10055 10055 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_x21_u4_b78 14 21 4 78 cil(eql(sub(R,D),P)) 65257 114537717 o1(o2(o2(x,x),x)) true 10063 10063 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_x21_u4_b79 14 21 4 79 cil(eql(mlt(R,D),P)) 65258 114537718 o1(o2(o2(x,x),x)) true 10071 10071 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_x21_u4_b80 14 21 4 80 cil(eql(div(R,D),P)) 65259 114537719 o1(o2(o2(x,x),x)) true 10079 10079 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_x21_u4_b81 14 21 4 81 cil(eql(pow(R,D),P)) 65260 114537720 o1(o2(o2(x,x),x)) true 10087 10087 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_x21_u4_b82 14 21 4 82 cil(eql(mod(R,D),P)) 65261 114537721 o1(o2(o2(x,x),x)) true 10095 10095 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_x21_u4_b83 14 21 4 83 cil(eql(lrg(R,D),P)) 65262 114537722 o1(o2(o2(x,x),x)) true 10103 10103 0.07581 0.134 0.07581 0.05735 0.2395 0 1 1 1 0.878 0.002091 0.0002371 0.009857 0.7963 1 -0.000008333 0.003172 0.007306 0.002231 0.04724 4.792 0.9997 0.0406 0.05531 1 1 0.004333 0.03216 0.1035 0.07556 0.5607 1.805 json
t14_x21_u4_b84 14 21 4 84 cil(eql(eql(R,D),P)) 65263 114537723 o1(o2(o2(x,x),x)) true 10111 10111 0.06254 0.125 0.06254 0.04512 0.2124 0 0.9999 0.9999 1 0.8129 0.0007211 1.509e-7 0.007966 0.9996 1 1.161e-7 0.00007655 0.001972 0.0006579 0.02565 3.22 0.4319 0.01598 0.001697 1 1 0.001851 0.02408 0.06599 0.04102 0.5337 1.463 json
t14_x21_u4_b85 14 21 4 85 cil(eql(min(R,D),P)) 65264 114537724 o1(o2(o2(x,x),x)) true 10119 10119 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_x21_u4_b86 14 21 4 86 cil(eql(dot(R,D),P)) 65265 114537725 o1(o2(o2(x,x),x)) true 10127 10127 0.00002339 0.00006104 0.00002339 0.00001388 0.003725 0 0.6669 0.6669 1 0.001004 0.00002864 0.00002864 0.00008242 0 0 0 0.0002864 0.0001931 0.00005727 0.007568 91.82 0.9432 4.128 20.64 1 1 0 0 0.00001246 0 0 0.8978 json
t14_x21_u4_b87 14 21 4 87 cil(eql(dst(R,D),P)) 65266 114537726 o1(o2(o2(x,x),x)) true 10135 10135 0.00001866 0.0001068 0.00001866 0.00001186 0.003444 0 0.8547 0.8547 1 0.0007985 0.00002449 0.00002449 0.00006575 0 0 0 0.0002449 0.0001541 0.00004897 0.006998 106.4 1.209 4.128 20.64 1 1 0.000002607 0.00001272 0.00001272 0.2197 1.073 1.072 json
t14_x21_u4_b88 14 21 4 88 cil(min(add(R,D),P)) 65267 114537727 o1(o2(o2(x,x),x)) true 10143 10143 -0.2721 0.4046 0.713 0.5818 0.7628 -1 1 2 1 3.259 0.01585 0.00148 0.05649 0.8291 1 0.0006647 0.02967 0.05512 0.01413 0.1189 2.104 0.9997 0.02978 0.051 1 1 0.01931 0.107 0.3118 0.03318 0.1839 0.5359 json
t14_x21_u4_b89 14 21 4 89 cil(min(sub(R,D),P)) 65268 114537728 o1(o2(o2(x,x),x)) true 10151 10151 -0.2562 0.4224 0.7164 0.5912 0.7689 -1 1 2 1 3.328 0.01587 0.001477 0.05908 0.8297 1 0.000004653 0.02978 0.05585 0.01385 0.1177 1.992 0.9997 0.02934 0.05037 1 1 0.01841 0.1045 0.3136 0.03115 0.1768 0.5304 json
t14_x21_u4_b90 14 21 4 90 cil(min(mlt(R,D),P)) 65269 114537729 o1(o2(o2(x,x),x)) true 10159 10159 -0.2344 0.4602 0.7031 0.5915 0.7691 -1 1 2 1 3.143 0.02197 0.001206 0.0522 0.8959 1 -0.000004284 0.0423 0.0526 0.02046 0.143 2.74 1 0.03919 0.07151 1 1 0.02677 0.1332 0.27 0.04525 0.2252 0.4564 json
t14_x21_u4_b91 14 21 4 91 cil(min(div(R,D),P)) 65270 114537730 o1(o2(o2(x,x),x)) true 10167 10167 -0.4385 0.2794 0.876 0.6456 0.8035 -1 1 2 1 2.465 0.1235 0.01302 0.1246 0.8092 1 -0.000226 0.2685 0.1824 0.1211 0.3479 2.793 2.828 0.2115 0.416 1 1 0.155 0.6418 0.7018 0.2401 0.9942 1.087 json
t14_x21_u4_b92 14 21 4 92 cil(min(pow(R,D),P)) 65271 114537731 o1(o2(o2(x,x),x)) true 10175 10175 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
t14_x21_u4_b93 14 21 4 93 cil(min(mod(R,D),P)) 65272 114537732 o1(o2(o2(x,x),x)) true 10183 10183 -0.2539 0.455 0.6836 0.5618 0.7495 -1 1 2 1 3.143 0.001448 0.001206 0.031 0.09096 1 -0.00002424 0.0001549 0.007528 0.001693 0.04114 1.327 0.1169 0.004724 0.0002756 1 1 0.005382 0.07012 0.2678 0.00958 0.1248 0.4768 json
t14_x21_u4_b94 14 21 4 94 cil(min(lrg(R,D),P)) 65273 114537733 o1(o2(o2(x,x),x)) true 10191 10191 -0.2374 0.4651 0.7001 0.5835 0.7638 -1 1 2 1 3.186 0.01023 0.001034 0.04502 0.8164 1 0.00003414 0.0183 0.03545 0.009238 0.09612 2.135 0.9997 0.01931 0.03136 1 1 0.01267 0.08445 0.2757 0.02171 0.1447 0.4725 json
t14_x21_u4_b95 14 21 4 95 cil(min(eql(R,D),P)) 65274 114537734 o1(o2(o2(x,x),x)) true 10199 10199 -0.4687 0.0002289 0.4688 0.2423 0.4922 -1 0.3282 1.328 1 1.409 0.0003675 1.509e-7 0.004031 0.9992 1 1.175e-7 0.00006027 0.001052 0.0003516 0.01875 4.651 0.3186 0.001517 0.0002487 1 1 0.0009255 0.01214 0.07511 0.003819 0.05011 0.31 json
t14_x21_u4_b96 14 21 4 96 cil(min(min(R,D),P)) 65275 114537735 o1(o2(o2(x,x),x)) true 10207 10207 -0.3691 0.314 0.5684 0.393 0.6269 -1 0.9997 2 1 2.658 0.01224 0.0005791 0.03477 0.9096 1 -0.00005918 0.02233 0.03053 0.01161 0.1078 3.099 0.9997 0.03262 0.05681 1 1 0.01469 0.0762 0.1619 0.03736 0.1939 0.412 json
t14_x21_u4_b97 14 21 4 97 cil(min(dot(R,D),P)) 65276 114537736 o1(o2(o2(x,x),x)) true 10215 10215 -0.234 0.4444 0.7036 0.5962 0.7722 -1 1 2 1 3.105 0.01673 0.01616 0.06193 0.01742 1 -0.0001137 0.1015 0.0857 0.02905 0.1704 2.752 1.414 0.05517 0.1703 1 1 0.0351 0.1463 0.2842 0.05886 0.2454 0.4766 json
t14_x21_u4_b98 14 21 4 98 cil(min(dst(R,D),P)) 65277 114537737 o1(o2(o2(x,x),x)) true 10223 10223 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
t14_x21_u4_b99 14 21 4 99 cil(dot(add(R,D),P)) 65278 114537738 o1(o2(o2(x,x),x)) true 10231 10231 -0.02652 0.4883 0.8567 0.8141 0.9023 -1 1 2 1 2.812 0.05107 0.05638 0.1506 -0.04939 1 0.0007668 0.2403 0.2223 0.08476 0.2911 1.934 2.217 0.132 0.2952 1 1 0.1162 0.6597 1.375 0.1427 0.8103 1.689 json
t14_x21_u4_b100 14 21 4 100 cil(dot(sub(R,D),P)) 65279 114537739 o1(o2(o2(x,x),x)) true 10239 10239 0.1244 0.5717 0.8663 0.8088 0.8993 -1 1 2 1 2.752 0.049 0.05424 0.1467 -0.05072 1 -0.001315 0.2337 0.2179 0.0817 0.2858 1.949 2.113 0.1276 0.2889 1 1 0.1076 0.6132 1.299 0.133 0.7582 1.606 json
t14_x21_u4_b101 14 21 4 101 cil(dot(mlt(R,D),P)) 65280 114537740 o1(o2(o2(x,x),x)) true 10247 10247 0.3783 0.7447 0.6065 0.3683 0.6069 -1 1 2 1 4.107 0.05591 0.05418 0.1982 0.01571 1 0.00111 0.3205 0.3163 0.07081 0.2661 1.343 1.474 0.2989 0.8702 1 1 0.0981 0.4452 0.6074 0.2664 1.209 1.649 json
t14_x21_u4_b102 14 21 4 102 cil(dot(div(R,D),P)) 65281 114537741 o1(o2(o2(x,x),x)) true 10255 10255 0.03087 0.5179 0.9541 0.9385 0.9687 -1 1 2 1 1.734 0.3419 0.3457 0.38 -0.005491 1 -0.00007877 1.815 0.7244 0.5433 0.7371 1.94 2.828 0.7327 1.934 1 1 0.6433 1.699 1.807 0.6855 1.81 1.925 json
t14_x21_u4_b103 14 21 4 103 cil(dot(pow(R,D),P)) 65282 114537742 o1(o2(o2(x,x),x)) true 10263 10263 -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_x21_u4_b104 14 21 4 104 cil(dot(mod(R,D),P)) 65283 114537743 o1(o2(o2(x,x),x)) true 10271 10271 0.3335 0.7234 0.5942 0.3882 0.623 -1 1 2 1 4.17 0.1107 0.1199 0.3132 -0.03977 1 0.000695 0.7413 0.5319 0.1325 0.364 1.162 2.41 0.594 1.91 1 1 0.1112 0.2989 0.568 0.2866 0.77 1.463 json
t14_x21_u4_b105 14 21 4 105 cil(dot(lrg(R,D),P)) 65284 114537744 o1(o2(o2(x,x),x)) true 10279 10279 0.0007279 0.5022 0.8528 0.8207 0.9059 -1 1 2 1 2.605 0.03169 0.03385 0.09372 -0.03305 1 0.00005457 0.1109 0.1148 0.05676 0.2382 2.542 2.207 0.07985 0.1351 1 1 0.06675 0.3323 0.694 0.08133 0.4049 0.8456 json
t14_x21_u4_b106 14 21 4 106 cil(dot(eql(R,D),P)) 65285 114537745 o1(o2(o2(x,x),x)) true 10287 10287 -0.0001701 0.0002289 0.0002502 0.000152 0.01233 -0.8606 0.3282 1.189 1 0.0104 0.00001661 0.0002927 0.0005009 -0.8926 1 1.171e-7 0.0009302 0.0009922 0.000309 0.01758 35.09 0.8606 2.035 6.119 1 1 0.0002646 0.0003513 0.0005225 1.74 2.311 3.437 json
t14_x21_u4_b107 14 21 4 107 cil(dot(min(R,D),P)) 65286 114537746 o1(o2(o2(x,x),x)) true 10295 10295 0.08644 0.5503 0.7862 0.7213 0.8493 -1 1 2 1 3.319 0.03792 0.04167 0.1426 -0.04708 1 0.002116 0.1921 0.2073 0.05924 0.2434 1.707 1.492 0.1103 0.2663 1 1 0.08434 0.4314 0.7076 0.1169 0.5981 0.981 json
t14_x21_u4_b108 14 21 4 108 cil(dot(dot(R,D),P)) 65287 114537747 o1(o2(o2(x,x),x)) true 10303 10303 0.3265 0.705 0.6108 0.4185 0.6469 -1 1 2 1 4.012 0.05804 0.05849 0.1949 -0.003854 1 0.0005006 0.3643 0.3222 0.07858 0.2803 1.439 1.738 0.2785 0.8706 1 1 0.1072 0.5226 0.7284 0.2561 1.249 1.741 json
t14_x21_u4_b109 14 21 4 109 cil(dot(dst(R,D),P)) 65288 114537748 o1(o2(o2(x,x),x)) true 10311 10311 0.0331 0.5121 0.9255 0.9075 0.9526 -1 1 2 1 1.942 0.002596 0.002346 0.01749 0.05072 1 -0.000008417 0.01117 0.01574 0.004636 0.06809 3.893 1.414 0.005446 0.01231 1 1 0.00815 0.0568 0.3747 0.008981 0.06259 0.4129 json
t14_x21_u4_b110 14 21 4 110 cil(dst(add(R,D),P)) 65289 114537749 o1(o2(o2(x,x),x)) true 10319 10319 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_x21_u4_b111 14 21 4 111 cil(dst(sub(R,D),P)) 65290 114537750 o1(o2(o2(x,x),x)) true 10327 10327 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_x21_u4_b112 14 21 4 112 cil(dst(mlt(R,D),P)) 65291 114537751 o1(o2(o2(x,x),x)) true 10335 10335 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_x21_u4_b113 14 21 4 113 cil(dst(div(R,D),P)) 65292 114537752 o1(o2(o2(x,x),x)) true 10343 10343 -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_x21_u4_b114 14 21 4 114 cil(dst(pow(R,D),P)) 65293 114537753 o1(o2(o2(x,x),x)) true 10351 10351 -0.9922 0.003906 1 0.01556 0.1248 -1 1 2 1 0.03687 0.002016 0.002016 0.001997 0 1 0 0.008566 0.004031 0.004024 0.06344 31.76 2.828 0.259 0.5504 1 1 0.007091 0.02837 0.05496 0.4556 1.823 3.531 json
t14_x21_u4_b115 14 21 4 115 cil(dst(mod(R,D),P)) 65294 114537754 o1(o2(o2(x,x),x)) true 10359 10359 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_x21_u4_b116 14 21 4 116 cil(dst(lrg(R,D),P)) 65295 114537755 o1(o2(o2(x,x),x)) true 10367 10367 0.9976 1 0.9976 0.001725 0.04153 0.0005819 1 0.9994 1 0.05587 0.00005664 0.0001348 0.0007034 -0.4081 1 0 0.0002418 0.0006321 0.0001911 0.01382 19.65 0.7742 0.111 0.1402 1 1 0.0004689 0.003519 0.006281 0.2718 2.04 3.642 json
t14_x21_u4_b117 14 21 4 117 cil(dst(eql(R,D),P)) 65296 114537756 o1(o2(o2(x,x),x)) true 10375 10375 0.9967 1 0.9967 0.002206 0.04697 0.0005821 1 0.9994 1 0.08493 0.00004482 0.00004482 0.0007972 -5.682e-7 0 -1.502e-11 0.00002627 0.0002729 0.00008892 0.00943 11.83 0.1653 0.04063 0.01191 1 1 0.0003021 0.00348 0.008043 0.1369 1.578 3.646 json
t14_x21_u4_b118 14 21 4 118 cil(dst(min(R,D),P)) 65297 114537757 o1(o2(o2(x,x),x)) true 10383 10383 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_x21_u4_b119 14 21 4 119 cil(dst(dot(R,D),P)) 65298 114537758 o1(o2(o2(x,x),x)) true 10391 10391 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_x21_u4_b120 14 21 4 120 cil(dst(dst(R,D),P)) 65299 114537759 o1(o2(o2(x,x),x)) true 10399 10399 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