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_x19_u4_b15 14 19 4 15 cil(sub(pow(R,P),D)) 63500 114456852 o1(o2(o2(x,x),x)) true 166967 166967 -0.8533 0.07422 0.9983 0.2697 0.5193 -1 1 2 1 0.4108 0.02424 0.02371 0.02438 0.01089 1 0.000005704 0.09995 0.0486 0.04733 0.2175 8.923 2.828 0.1778 0.3706 1 1 0.0467 0.1946 0.6394 0.1732 0.7217 2.371 json
t14_x19_u4_b16 14 19 4 16 cil(sub(mod(R,P),D)) 63501 114456853 o1(o2(o2(x,x),x)) true 166975 166975 0.2885 0.747 0.5955 0.4245 0.6515 -1 1 2 1 3.994 0.04785 0.002842 0.1059 0.8879 1 -0.00002045 0.09379 0.12 0.03948 0.1987 1.876 2 0.1194 0.221 1 1 0.05687 0.2635 0.6838 0.134 0.6207 1.611 json
t14_x19_u4_b17 14 19 4 17 cil(sub(lrg(R,P),D)) 63502 114456854 o1(o2(o2(x,x),x)) true 166983 166983 0.7637 1 0.7637 0.1283 0.3582 0.000291 1 0.9997 1 2.277 0.03244 0.00005267 0.0604 0.9968 1 0.00008699 0.06047 0.06697 0.02885 0.1699 2.812 0.9997 0.2533 0.4714 1 1 0.03637 0.1279 0.04032 0.2835 0.9974 0.3144 json
t14_x19_u4_b18 14 19 4 18 cil(sub(eql(R,P),D)) 63503 114456855 o1(o2(o2(x,x),x)) true 166991 166991 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_x19_u4_b19 14 19 4 19 cil(sub(min(R,P),D)) 63504 114456856 o1(o2(o2(x,x),x)) true 166999 166999 -0.2131 0.4409 0.7027 0.5939 0.7706 -1 1 2 1 3.456 0.02302 0.001568 0.07207 0.8725 1 -7.308e-8 0.04235 0.07228 0.0194 0.1393 1.933 0.9997 0.04141 0.07132 1 1 0.02928 0.1372 0.3242 0.0493 0.231 0.5459 json
t14_x19_u4_b20 14 19 4 20 cil(sub(dot(R,P),D)) 63505 114456857 o1(o2(o2(x,x),x)) true 167007 167007 0.05008 0.5334 0.8596 0.8146 0.9026 -1 1 2 1 2.79 0.03334 0.03296 0.1121 0.005721 1 0.00001439 0.06602 0.101 0.05375 0.2318 2.067 1.902 0.08138 0.08104 1 1 0.0849 0.5904 1.361 0.1042 0.7248 1.671 json
t14_x19_u4_b21 14 19 4 21 cil(sub(dst(R,P),D)) 63506 114456858 o1(o2(o2(x,x),x)) true 167015 167015 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_x19_u4_b22 14 19 4 22 cil(mlt(add(R,P),D)) 63507 114456859 o1(o2(o2(x,x),x)) true 167023 167023 0.3288 0.7737 0.4846 0.269 0.5186 -1 1 2 1 4.177 0.1299 0.0005201 0.2394 0.992 1 0.006569 0.2905 0.3711 0.07311 0.2704 1.13 1 0.4848 1.08 1 1 0.1067 0.3542 0.1306 0.3965 1.317 0.4854 json
t14_x19_u4_b23 14 19 4 23 cil(mlt(sub(R,P),D)) 63508 114456860 o1(o2(o2(x,x),x)) true 167031 167031 0.5639 0.9103 0.6236 0.2171 0.4659 -0.8866 1 1.887 1 3.531 0.1102 0.0004143 0.2005 0.9925 1 -0.0003915 0.2389 0.3094 0.07039 0.2653 1.323 0.9997 0.5095 1.101 1 1 0.09176 0.2935 0.1073 0.4228 1.352 0.4944 json
t14_x19_u4_b24 14 19 4 24 cil(mlt(mlt(R,P),D)) 63509 114456861 o1(o2(o2(x,x),x)) true 167039 167039 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_x19_u4_b25 14 19 4 25 cil(mlt(div(R,P),D)) 63510 114456862 o1(o2(o2(x,x),x)) true 167047 167047 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_x19_u4_b26 14 19 4 26 cil(mlt(pow(R,P),D)) 63511 114456863 o1(o2(o2(x,x),x)) true 167055 167055 -0.8989 0.06158 0.9768 0.1634 0.4043 -1 1 2 1 0.5408 0.01683 0.0153 0.02272 0.0477 1 0.0002743 0.06892 0.03977 0.0316 0.1778 7.823 2.828 0.1966 0.4217 1 1 0.03439 0.1415 0.4239 0.2104 0.8657 2.594 json
t14_x19_u4_b27 14 19 4 27 cil(mlt(mod(R,P),D)) 63512 114456864 o1(o2(o2(x,x),x)) true 167063 167063 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_x19_u4_b28 14 19 4 28 cil(mlt(lrg(R,P),D)) 63513 114456865 o1(o2(o2(x,x),x)) true 167071 167071 0.2637 0.5378 0.2637 0.136 0.3688 0 0.9997 0.9997 1 2.449 0.0323 0.00005267 0.06339 0.9967 1 0.00008699 0.05964 0.06691 0.02834 0.1683 2.656 0.9994 0.2378 0.4384 1 1 0.03415 0.1219 0.04032 0.251 0.8959 0.2964 json
t14_x19_u4_b29 14 19 4 29 cil(mlt(eql(R,P),D)) 63514 114456866 o1(o2(o2(x,x),x)) true 167079 167079 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_x19_u4_b30 14 19 4 30 cil(mlt(min(R,P),D)) 63515 114456867 o1(o2(o2(x,x),x)) true 167087 167087 0.4007 0.8535 0.4769 0.2122 0.4606 -0.8866 1 1.887 1 3.83 0.08499 0.001259 0.1672 0.9708 1 0.003338 0.1855 0.2374 0.0583 0.2415 1.444 1 0.4065 0.8744 1 1 0.07908 0.2832 0.1718 0.3727 1.335 0.8097 json
t14_x19_u4_b31 14 19 4 31 cil(mlt(dot(R,P),D)) 63516 114456868 o1(o2(o2(x,x),x)) true 167095 167095 0.3974 0.7675 0.6032 0.3532 0.5943 -1 1 2 1 4.035 0.08163 0.007126 0.1736 0.8394 1 0.0011 0.1702 0.2402 0.05859 0.242 1.394 1.038 0.2513 0.482 1 1 0.08279 0.4223 0.6282 0.2344 1.196 1.779 json
t14_x19_u4_b32 14 19 4 32 cil(mlt(dst(R,P),D)) 63517 114456869 o1(o2(o2(x,x),x)) true 167103 167103 0.3937 0.7769 0.6073 0.3592 0.5993 -1 1 2 1 3.886 0.1527 0.0004682 0.2615 0.9939 1 0.002555 0.333 0.4194 0.08475 0.2911 1.113 1.233 0.4263 0.9271 1 1 0.1206 0.4623 0.07859 0.3358 1.287 0.2188 json
t14_x19_u4_b33 14 19 4 33 cil(div(add(R,P),D)) 63518 114456870 o1(o2(o2(x,x),x)) true 167111 167111 -0.07279 0.4623 0.9651 0.9485 0.9739 -1 1 2 1 1.601 0.4181 0.002298 0.2437 0.9891 1 0.000004927 0.7939 0.4369 0.3608 0.6007 2.464 2.828 0.4432 0.837 1 1 0.4344 1.796 0.4298 0.458 1.894 0.4532 json
t14_x19_u4_b34 14 19 4 34 cil(div(sub(R,P),D)) 63519 114456871 o1(o2(o2(x,x),x)) true 167119 167119 0.1466 0.5717 0.9617 0.9282 0.9634 -1 1 2 1 1.614 0.3955 0.002337 0.2404 0.9883 1 0.00002898 0.7314 0.417 0.3402 0.5833 2.427 2.828 0.4287 0.7881 1 1 0.422 1.683 0.4025 0.4546 1.814 0.4337 json
t14_x19_u4_b35 14 19 4 35 cil(div(mlt(R,P),D)) 63520 114456872 o1(o2(o2(x,x),x)) true 167127 167127 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_x19_u4_b36 14 19 4 36 cil(div(div(R,P),D)) 63521 114456873 o1(o2(o2(x,x),x)) true 167135 167135 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_x19_u4_b37 14 19 4 37 cil(div(pow(R,P),D)) 63522 114456874 o1(o2(o2(x,x),x)) true 167143 167143 -0.9171 0.04137 0.9951 0.1523 0.3902 -1 1 2 1 0.3441 0.02808 0.01462 0.02531 0.3152 1 -0.00004498 0.08807 0.04474 0.04207 0.2051 8.104 2.828 0.2804 0.5783 1 1 0.04624 0.1899 0.3723 0.3037 1.247 2.445 json
t14_x19_u4_b38 14 19 4 38 cil(div(mod(R,P),D)) 63523 114456875 o1(o2(o2(x,x),x)) true 167151 167151 0.05404 0.541 0.8376 0.7823 0.8845 -1 1 2 1 3.04 0.2444 0.02764 0.2202 0.7967 1 -0.0005799 0.5576 0.3399 0.2236 0.4728 2.147 2.828 0.3477 0.7128 1 1 0.2832 1.134 1.347 0.3619 1.45 1.721 json
t14_x19_u4_b39 14 19 4 39 cil(div(lrg(R,P),D)) 63524 114456876 o1(o2(o2(x,x),x)) true 167159 167159 0.07302 0.3032 0.4782 0.457 0.676 -1 1 2 1 1.979 0.1752 0.0004315 0.1253 0.9951 1 -0.00000294 0.3092 0.1967 0.1599 0.3999 3.191 2.037 0.3844 0.6766 1 1 0.1937 0.8429 0.1178 0.4237 1.844 0.2578 json
t14_x19_u4_b40 14 19 4 40 cil(div(eql(R,P),D)) 63525 114456877 o1(o2(o2(x,x),x)) true 167167 167167 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_x19_u4_b41 14 19 4 41 cil(div(min(R,P),D)) 63526 114456878 o1(o2(o2(x,x),x)) true 167175 167175 0.04948 0.5294 0.8832 0.8455 0.9195 -1 1 2 1 2.539 0.3521 0.01596 0.2442 0.9133 1 -0.0002422 0.7291 0.4155 0.3084 0.5554 2.274 2.828 0.4353 0.8623 1 1 0.3834 1.531 0.7404 0.4534 1.81 0.8757 json
t14_x19_u4_b42 14 19 4 42 cil(div(dot(R,P),D)) 63527 114456879 o1(o2(o2(x,x),x)) true 167183 167183 0.04627 0.5252 0.9516 0.9336 0.9662 -1 1 2 1 1.783 0.3182 0.07885 0.2418 0.6028 1 0.00005458 0.825 0.4238 0.3387 0.5819 2.407 2.828 0.4253 0.8837 1 1 0.4186 1.691 1.796 0.4484 1.811 1.923 json
t14_x19_u4_b43 14 19 4 43 cil(div(dst(R,P),D)) 63528 114456880 o1(o2(o2(x,x),x)) true 167191 167191 0.01257 0.5042 0.9865 0.9814 0.9907 -1 1 2 1 1.282 0.4562 0.0002449 0.2463 0.9989 1 2.732e-7 0.8789 0.4655 0.3957 0.629 2.553 2.014 0.465 0.8956 1 1 0.4666 1.916 0.03678 0.4755 1.953 0.03748 json
t14_x19_u4_b44 14 19 4 44 cil(pow(add(R,P),D)) 63529 114456881 o1(o2(o2(x,x),x)) true 167199 167199 -0.09375 0.4531 1 0.9905 0.9952 -1 1 2 1 0.9937 0.01587 0.006047 0.0109 0.4483 1 0 0.04535 0.02192 0.0218 0.1477 13.54 2.828 0.02213 0.04579 1 1 0.02992 0.1197 0.4343 0.0302 0.1208 0.4385 json
t14_x19_u4_b45 14 19 4 45 cil(pow(sub(R,P),D)) 63530 114456882 o1(o2(o2(x,x),x)) true 167207 167207 -0.09375 0.4531 1 0.9905 0.9952 -1 1 2 1 0.9937 0.01587 0.006047 0.0109 0.4483 1 0 0.04535 0.02192 0.0218 0.1477 13.54 2.828 0.02213 0.04579 1 1 0.02992 0.1197 0.4343 0.0302 0.1208 0.4385 json
t14_x19_u4_b46 14 19 4 46 cil(pow(mlt(R,P),D)) 63531 114456883 o1(o2(o2(x,x),x)) true 167215 167215 -0.8895 0.05859 0.9933 0.201 0.4483 -1 1 2 1 0.386 0.02137 0.01724 0.02119 0.1069 1 0 0.08032 0.0408 0.03817 0.1954 9.22 2.828 0.1921 0.3997 1 1 0.03711 0.1587 0.4167 0.1847 0.7896 2.073 json
t14_x19_u4_b47 14 19 4 47 cil(pow(div(R,P),D)) 63532 114456884 o1(o2(o2(x,x),x)) true 167223 167223 -0.9219 0.03906 1 0.1501 0.3874 -1 1 2 1 0.238 0.01487 0.01285 0.01375 0.07273 1 0 0.05795 0.02771 0.02754 0.1659 12.07 2.828 0.1847 0.3862 1 1 0.02681 0.1099 0.3032 0.1787 0.7325 2.02 json
t14_x19_u4_b48 14 19 4 48 cil(pow(pow(R,P),D)) 63533 114456885 o1(o2(o2(x,x),x)) true 167231 167231 -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_x19_u4_b49 14 19 4 49 cil(pow(mod(R,P),D)) 63534 114456886 o1(o2(o2(x,x),x)) true 167239 167239 -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_x19_u4_b50 14 19 4 50 cil(pow(lrg(R,P),D)) 63535 114456887 o1(o2(o2(x,x),x)) true 167247 167247 -0.07031 0.4648 1 0.9948 0.9974 -1 1 2 1 0.9964 0.01587 0.005039 0.01042 0.5181 1 0 0.04308 0.02091 0.02081 0.1443 13.85 2.828 0.02102 0.04331 1 1 0.02992 0.1197 0.4494 0.03007 0.1203 0.4518 json
t14_x19_u4_b51 14 19 4 51 cil(pow(eql(R,P),D)) 63536 114456888 o1(o2(o2(x,x),x)) true 167255 167255 -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_x19_u4_b52 14 19 4 52 cil(pow(min(R,P),D)) 63537 114456889 o1(o2(o2(x,x),x)) true 167263 167263 -0.9857 0.007813 0.9987 0.02677 0.1636 -1 1 2 1 0.07695 0.002309 0.003228 0.003195 -0.1659 1 0 0.01157 0.006046 0.005527 0.07434 23.27 2.828 0.2068 0.4322 1 1 0.000644 0.004508 0.0236 0.02405 0.1684 0.8815 json
t14_x19_u4_b53 14 19 4 53 cil(pow(dot(R,P),D)) 63538 114456890 o1(o2(o2(x,x),x)) true 167271 167271 -0.9141 0.04297 1 0.1646 0.4057 -1 1 2 1 0.2557 0.0189 0.01487 0.01679 0.1194 1 0 0.07105 0.03376 0.03347 0.1829 10.9 2.828 0.2052 0.4317 1 1 0.03939 0.1601 0.4317 0.2394 0.9726 2.623 json
t14_x19_u4_b54 14 19 4 54 cil(pow(dst(R,P),D)) 63539 114456891 o1(o2(o2(x,x),x)) true 167279 167279 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_x19_u4_b55 14 19 4 55 cil(mod(add(R,P),D)) 63540 114456892 o1(o2(o2(x,x),x)) true 167287 167287 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_x19_u4_b56 14 19 4 56 cil(mod(sub(R,P),D)) 63541 114456893 o1(o2(o2(x,x),x)) true 167295 167295 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_x19_u4_b57 14 19 4 57 cil(mod(mlt(R,P),D)) 63542 114456894 o1(o2(o2(x,x),x)) true 167303 167303 0.4434 0.8957 0.4434 0.1529 0.391 0 1 1 1 3.387 0.001991 0.002332 0.05065 -0.07892 1 -0.00003637 0.0002525 0.0123 0.001758 0.04193 0.8278 0.1169 0.02828 0.001651 1 1 0.008378 0.1079 0.2912 0.0548 0.7058 1.905 json
t14_x19_u4_b58 14 19 4 58 cil(mod(div(R,P),D)) 63543 114456895 o1(o2(o2(x,x),x)) true 167311 167311 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_x19_u4_b59 14 19 4 59 cil(mod(pow(R,P),D)) 63544 114456896 o1(o2(o2(x,x),x)) true 167319 167319 -0.855 0.07422 0.9966 0.2655 0.5153 -1 1 2 1 0.4132 0.02453 0.02353 0.02665 0.02083 1 0.0001222 0.09898 0.05087 0.04737 0.2177 8.166 2.828 0.181 0.3728 1 1 0.04647 0.1917 0.6233 0.175 0.722 2.347 json
t14_x19_u4_b60 14 19 4 60 cil(mod(mod(R,P),D)) 63545 114456897 o1(o2(o2(x,x),x)) true 167327 167327 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_x19_u4_b61 14 19 4 61 cil(mod(lrg(R,P),D)) 63546 114456898 o1(o2(o2(x,x),x)) true 167335 167335 0.4341 0.5332 0.4341 0.2373 0.4871 0 1 1 1 1.39 0.059 0.00008854 0.06373 0.997 1 -0.000004979 0.1176 0.1192 0.05505 0.2346 3.681 0.9997 0.249 0.4955 1 1 0.05786 0.06656 0.0769 0.2439 0.2806 0.3241 json
t14_x19_u4_b62 14 19 4 62 cil(mod(eql(R,P),D)) 63547 114456899 o1(o2(o2(x,x),x)) true 167343 167343 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_x19_u4_b63 14 19 4 63 cil(mod(min(R,P),D)) 63548 114456900 o1(o2(o2(x,x),x)) true 167351 167351 0.2148 0.455 0.2148 0.1181 0.3436 0 1 1 1 2.248 0.001095 0.001206 0.02703 -0.04847 1 -0.00002424 0.0001387 0.006603 0.001571 0.03963 1.466 0.1169 0.01949 0.001175 1 1 0.004457 0.05786 0.1462 0.03774 0.49 1.238 json
t14_x19_u4_b64 14 19 4 64 cil(mod(dot(R,P),D)) 63549 114456901 o1(o2(o2(x,x),x)) true 167359 167359 0.4609 0.8924 0.4609 0.1544 0.3929 0 1 1 1 3.389 0.00193 0.002461 0.05112 -0.121 1 -0.00005134 0.0002525 0.01238 0.001778 0.04216 0.8248 0.1169 0.02844 0.001636 1 1 0.008784 0.1134 0.3094 0.0569 0.7347 2.004 json
t14_x19_u4_b65 14 19 4 65 cil(mod(dst(R,P),D)) 63550 114456902 o1(o2(o2(x,x),x)) true 167367 167367 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_x19_u4_b66 14 19 4 66 cil(lrg(add(R,P),D)) 63551 114456903 o1(o2(o2(x,x),x)) true 167375 167375 0.5003 0.5816 0.5003 0.2343 0.4841 0 1 1 1 1.671 0.002233 0.0001593 0.01149 0.8669 1 -0.000009138 0.003929 0.008823 0.00226 0.04754 4.138 0.97 0.01021 0.01677 1 1 0.003183 0.02133 0.08786 0.01358 0.09102 0.375 json
t14_x19_u4_b67 14 19 4 67 cil(lrg(sub(R,P),D)) 63552 114456904 o1(o2(o2(x,x),x)) true 167383 167383 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_x19_u4_b68 14 19 4 68 cil(lrg(mlt(R,P),D)) 63553 114456905 o1(o2(o2(x,x),x)) true 167391 167391 0.4754 0.9186 0.4754 0.1528 0.3909 0 1 1 1 3.441 0.01099 0.002231 0.06338 0.6627 1 -0.00002577 0.01831 0.03708 0.009208 0.09596 1.514 0.9997 0.08656 0.1198 1 1 0.01993 0.134 0.2798 0.1305 0.8772 1.831 json
t14_x19_u4_b69 14 19 4 69 cil(lrg(div(R,P),D)) 63554 114456906 o1(o2(o2(x,x),x)) true 167399 167399 0.4936 0.9614 0.4936 0.1349 0.3673 0 1 1 1 3.562 0.04113 0.001115 0.1093 0.9472 1 -0.0005127 0.07533 0.1076 0.03028 0.174 1.592 0.9997 0.3131 0.5584 1 1 0.0447 0.1865 0.1947 0.3314 1.383 1.443 json
t14_x19_u4_b70 14 19 4 70 cil(lrg(pow(R,P),D)) 63555 114456907 o1(o2(o2(x,x),x)) true 167407 167407 0.9434 1 0.9434 0.02992 0.173 0.000291 1 0.9997 1 1.078 0.00712 0.000407 0.02163 0.8918 1 0.00005771 0.01377 0.02123 0.007057 0.08401 3.884 0.9997 0.2516 0.4602 1 1 0.007225 0.0312 0.04076 0.2415 1.043 1.362 json
t14_x19_u4_b71 14 19 4 71 cil(lrg(mod(R,P),D)) 63556 114456908 o1(o2(o2(x,x),x)) true 167415 167415 0.535 0.9395 0.535 0.15 0.3873 0 1 1 1 3.462 0.01948 0.002026 0.0774 0.8116 1 0.00001683 0.03653 0.06716 0.01552 0.1246 1.609 0.9997 0.1434 0.2434 1 1 0.02359 0.1355 0.2699 0.1573 0.9029 1.799 json
t14_x19_u4_b72 14 19 4 72 cil(lrg(lrg(R,P),D)) 63557 114456909 o1(o2(o2(x,x),x)) true 167423 167423 0.7637 1 0.7637 0.1283 0.3582 0.000291 1 0.9997 1 2.277 0.03244 0.00005267 0.0604 0.9968 1 0.00008699 0.06047 0.06697 0.02885 0.1699 2.812 0.9997 0.2533 0.4714 1 1 0.03637 0.1279 0.04032 0.2835 0.9974 0.3144 json
t14_x19_u4_b73 14 19 4 73 cil(lrg(eql(R,P),D)) 63558 114456910 o1(o2(o2(x,x),x)) true 167431 167431 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_x19_u4_b74 14 19 4 74 cil(lrg(min(R,P),D)) 63559 114456911 o1(o2(o2(x,x),x)) true 167439 167439 0.2469 0.5142 0.2469 0.1272 0.3567 0 1 1 1 2.493 0.01188 0.001085 0.04609 0.8326 1 0.00003272 0.0221 0.03998 0.01085 0.1041 2.26 0.9997 0.1019 0.1737 1 1 0.01476 0.08296 0.1609 0.116 0.6521 1.265 json
t14_x19_u4_b75 14 19 4 75 cil(lrg(dot(R,P),D)) 63560 114456912 o1(o2(o2(x,x),x)) true 167447 167447 0.4573 0.8845 0.4573 0.1534 0.3916 0 1 1 1 3.402 0.007365 0.002418 0.05891 0.5056 1 -0.00004818 0.01158 0.02889 0.006315 0.07947 1.349 0.9997 0.06378 0.07552 1 1 0.01626 0.1298 0.2998 0.106 0.8464 1.955 json
t14_x19_u4_b76 14 19 4 76 cil(lrg(dst(R,P),D)) 63561 114456913 o1(o2(o2(x,x),x)) true 167455 167455 0.9998 1 0.9998 0.00003538 0.005948 0.6718 1 0.3282 1 0.01396 0.00002646 5.189e-7 0.0001886 0.9615 0 -3.004e-11 0.00005989 0.0002442 0.00002693 0.005189 27.52 0.3282 0.7625 1.693 1 1 0.00004291 0.00008782 0.0001286 1.213 2.482 3.636 json
t14_x19_u4_b77 14 19 4 77 cil(eql(add(R,P),D)) 63562 114456914 o1(o2(o2(x,x),x)) true 167463 167463 0.000082 0.0002441 0.000082 0.00004315 0.006569 0 0.6715 0.6715 1 0.003091 0.00006086 6.316e-7 0.000129 0.9795 0 2.395e-7 0.0001845 0.0002541 0.00006148 0.007841 60.78 0.6519 1.425 4.276 1 1 0 0 0.00003293 0 0 0.7631 json
t14_x19_u4_b78 14 19 4 78 cil(eql(sub(R,P),D)) 63563 114456915 o1(o2(o2(x,x),x)) true 167471 167471 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_x19_u4_b79 14 19 4 79 cil(eql(mlt(R,P),D)) 63564 114456916 o1(o2(o2(x,x),x)) true 167479 167479 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_x19_u4_b80 14 19 4 80 cil(eql(div(R,P),D)) 63565 114456917 o1(o2(o2(x,x),x)) true 167487 167487 0.0002825 0.0007172 0.0002825 0.0001987 0.0141 0 0.9926 0.9926 1 0.008861 0.0004038 0.000002912 0.0005681 0.9857 1 1.17e-7 0.001223 0.001125 0.0004061 0.02015 35.48 0.9926 2.046 6.153 1 1 0 0 0.000007865 0 0 0.03957 json
t14_x19_u4_b81 14 19 4 81 cil(eql(pow(R,P),D)) 63566 114456918 o1(o2(o2(x,x),x)) true 167495 167495 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_x19_u4_b82 14 19 4 82 cil(eql(mod(R,P),D)) 63567 114456919 o1(o2(o2(x,x),x)) true 167503 167503 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_x19_u4_b83 14 19 4 83 cil(eql(lrg(R,P),D)) 63568 114456920 o1(o2(o2(x,x),x)) true 167511 167511 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_x19_u4_b84 14 19 4 84 cil(eql(eql(R,P),D)) 63569 114456921 o1(o2(o2(x,x),x)) true 167519 167519 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_x19_u4_b85 14 19 4 85 cil(eql(min(R,P),D)) 63570 114456922 o1(o2(o2(x,x),x)) true 167527 167527 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_x19_u4_b86 14 19 4 86 cil(eql(dot(R,P),D)) 63571 114456923 o1(o2(o2(x,x),x)) true 167535 167535 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_x19_u4_b87 14 19 4 87 cil(eql(dst(R,P),D)) 63572 114456924 o1(o2(o2(x,x),x)) true 167543 167543 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_x19_u4_b88 14 19 4 88 cil(min(add(R,P),D)) 63573 114456925 o1(o2(o2(x,x),x)) true 167551 167551 -0.2044 0.4753 0.6692 0.568 0.7537 -1 0.9997 2 1 3.224 0.03236 0.0001993 0.06469 0.9878 1 -0.000102 0.05965 0.06753 0.02837 0.1684 2.603 1 0.05731 0.105 1 1 0.03719 0.1437 0.1653 0.06548 0.253 0.291 json
t14_x19_u4_b89 14 19 4 89 cil(min(sub(R,P),D)) 63574 114456926 o1(o2(o2(x,x),x)) true 167559 167559 -0.1705 0.5222 0.6929 0.5997 0.7744 -1 0.9997 2 1 3.239 0.03287 0.0002341 0.06854 0.9859 1 0.00007772 0.05976 0.06846 0.0284 0.1685 2.459 0.9994 0.0552 0.09965 1 1 0.03615 0.1443 0.1665 0.06028 0.2406 0.2776 json
t14_x19_u4_b90 14 19 4 90 cil(min(mlt(R,P),D)) 63575 114456927 o1(o2(o2(x,x),x)) true 167567 167567 -0.2184 0.3608 0.5306 0.4017 0.6338 -1 0.9997 2 1 4.013 0.02969 0.007844 0.1002 0.5821 1 0.000151 0.05006 0.07691 0.0275 0.1658 1.656 1.008 0.09345 0.1246 1 1 0.047 0.3184 0.5599 0.117 0.7927 1.394 json
t14_x19_u4_b91 14 19 4 91 cil(min(div(R,P),D)) 63576 114456928 o1(o2(o2(x,x),x)) true 167575 167575 0.123 0.6528 0.3105 0.2277 0.4772 -1 0.9997 2 1 2.97 0.03479 0.007262 0.07375 0.6546 1 -0.00003566 0.07949 0.08087 0.03662 0.1914 2.595 2.236 0.1847 0.3492 1 1 0.05113 0.2196 0.4238 0.2246 0.9644 1.861 json
t14_x19_u4_b92 14 19 4 92 cil(min(pow(R,P),D)) 63577 114456929 o1(o2(o2(x,x),x)) true 167583 167583 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_x19_u4_b93 14 19 4 93 cil(min(mod(R,P),D)) 63578 114456930 o1(o2(o2(x,x),x)) true 167591 167591 0.2607 0.7494 0.2607 0.1146 0.3385 0 0.9997 0.9997 1 2.886 0.02996 0.001127 0.07421 0.9275 1 0.000001432 0.05581 0.07147 0.02558 0.1599 2.155 0.9997 0.2712 0.4869 1 1 0.03428 0.1503 0.1415 0.2991 1.312 1.234 json
t14_x19_u4_b94 14 19 4 94 cil(min(lrg(R,P),D)) 63579 114456931 o1(o2(o2(x,x),x)) true 167599 167599 0.2637 0.5378 0.2637 0.136 0.3688 0 0.9997 0.9997 1 2.449 0.0323 0.00005267 0.06339 0.9967 1 0.00008699 0.05964 0.06691 0.02834 0.1683 2.656 0.9994 0.2378 0.4384 1 1 0.03415 0.1219 0.04032 0.251 0.8959 0.2964 json
t14_x19_u4_b95 14 19 4 95 cil(min(eql(R,P),D)) 63580 114456932 o1(o2(o2(x,x),x)) true 167607 167607 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_x19_u4_b96 14 19 4 96 cil(min(min(R,P),D)) 63581 114456933 o1(o2(o2(x,x),x)) true 167615 167615 -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_x19_u4_b97 14 19 4 97 cil(min(dot(R,P),D)) 63582 114456934 o1(o2(o2(x,x),x)) true 167623 167623 -0.3815 0.3152 0.6717 0.4552 0.6747 -1 0.9997 2 1 3.579 0.03226 0.01085 0.105 0.4966 1 0.0003013 0.05464 0.08499 0.03208 0.1791 1.706 1.104 0.09469 0.12 1 1 0.05805 0.3824 0.7056 0.1275 0.8399 1.55 json
t14_x19_u4_b98 14 19 4 98 cil(min(dst(R,P),D)) 63583 114456935 o1(o2(o2(x,x),x)) true 167631 167631 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_x19_u4_b99 14 19 4 99 cil(dot(add(R,P),D)) 63584 114456936 o1(o2(o2(x,x),x)) true 167639 167639 0.1792 0.6289 0.5418 0.3858 0.6211 -1 1 2 1 4.647 0.0994 0.09969 0.3398 -0.00141 1 0.004998 0.7149 0.6109 0.08363 0.2892 0.8511 1.413 0.516 1.853 1 1 0.1662 0.5668 0.1743 0.4308 1.469 0.4518 json
t14_x19_u4_b100 14 19 4 100 cil(dot(sub(R,P),D)) 63585 114456937 o1(o2(o2(x,x),x)) true 167647 167647 0.5887 0.8695 0.6939 0.2555 0.5054 -1 1 2 1 3.579 0.07742 0.07673 0.2627 0.004478 1 -0.0008274 0.5613 0.4811 0.08514 0.2918 1.111 1.413 0.6034 2.197 1 1 0.1166 0.3774 0.1171 0.4564 1.477 0.4585 json
t14_x19_u4_b101 14 19 4 101 cil(dot(mlt(R,P),D)) 63586 114456938 o1(o2(o2(x,x),x)) true 167655 167655 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_x19_u4_b102 14 19 4 102 cil(dot(div(R,P),D)) 63587 114456939 o1(o2(o2(x,x),x)) true 167663 167663 0.1572 0.7159 0.626 0.5252 0.7247 -1 1 2 1 3.443 0.0425 0.04311 0.1111 -0.007118 1 -0.00004184 0.2257 0.1685 0.07327 0.2707 2.436 2.828 0.163 0.4297 1 1 0.09365 0.3701 0.8748 0.1783 0.7047 1.666 json
t14_x19_u4_b103 14 19 4 103 cil(dot(pow(R,P),D)) 63588 114456940 o1(o2(o2(x,x),x)) true 167671 167671 -0.9859 0.008652 0.9964 0.02343 0.1531 -1 1 2 1 0.1065 0.003368 0.003076 0.0045 0.04528 1 3.004e-11 0.01427 0.007753 0.006426 0.08016 17.81 2.02 0.275 0.6089 1 1 0.01139 0.0392 0.08479 0.486 1.673 3.619 json
t14_x19_u4_b104 14 19 4 104 cil(dot(mod(R,P),D)) 63589 114456941 o1(o2(o2(x,x),x)) true 167679 167679 0.1606 0.7175 0.6294 0.5276 0.7263 -1 1 2 1 3.473 0.04393 0.04308 0.1141 0.009852 1 -0.0002853 0.2376 0.1764 0.074 0.272 2.385 2.236 0.1649 0.4505 1 1 0.09443 0.3562 0.848 0.179 0.6751 1.608 json
t14_x19_u4_b105 14 19 4 105 cil(dot(lrg(R,P),D)) 63590 114456942 o1(o2(o2(x,x),x)) true 167687 167687 0.3917 0.7754 0.3917 0.1434 0.3787 0 0.9997 0.9997 1 3.323 0.03026 0.03074 0.107 -0.007835 1 -0.00004181 0.1797 0.1342 0.04955 0.2226 2.081 1.409 0.4253 1.253 1 1 0.06144 0.1892 0.05596 0.4283 1.319 0.3902 json
t14_x19_u4_b106 14 19 4 106 cil(dot(eql(R,P),D)) 63591 114456943 o1(o2(o2(x,x),x)) true 167695 167695 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_x19_u4_b107 14 19 4 107 cil(dot(min(R,P),D)) 63592 114456944 o1(o2(o2(x,x),x)) true 167703 167703 0.3306 0.7744 0.4977 0.2739 0.5234 -1 1 2 1 4.32 0.06155 0.06073 0.2287 0.006684 1 0.00369 0.3687 0.3783 0.06999 0.2645 1.157 1.414 0.4464 1.346 1 1 0.1065 0.365 0.175 0.389 1.333 0.6388 json
t14_x19_u4_b108 14 19 4 108 cil(dot(dot(R,P),D)) 63593 114456945 o1(o2(o2(x,x),x)) true 167711 167711 0.3003 0.6762 0.6678 0.4967 0.7047 -1 1 2 1 3.895 0.06659 0.06867 0.1975 -0.01537 1 0.00006357 0.499 0.3736 0.09626 0.3103 1.571 1.789 0.2723 1.005 1 1 0.1283 0.6302 0.8816 0.2583 1.269 1.775 json
t14_x19_u4_b109 14 19 4 109 cil(dot(dst(R,P),D)) 63594 114456946 o1(o2(o2(x,x),x)) true 167719 167719 0.3115 0.7083 0.642 0.4428 0.6654 -1 1 2 1 4.187 0.1154 0.1156 0.3424 -0.0005078 1 0.0005653 0.9961 0.696 0.1137 0.3372 0.9848 1.45 0.5216 2.249 1 1 0.187 0.6746 0.1013 0.4224 1.523 0.2289 json
t14_x19_u4_b110 14 19 4 110 cil(dst(add(R,P),D)) 63595 114456947 o1(o2(o2(x,x),x)) true 167727 167727 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_x19_u4_b111 14 19 4 111 cil(dst(sub(R,P),D)) 63596 114456948 o1(o2(o2(x,x),x)) true 167735 167735 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_x19_u4_b112 14 19 4 112 cil(dst(mlt(R,P),D)) 63597 114456949 o1(o2(o2(x,x),x)) true 167743 167743 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_x19_u4_b113 14 19 4 113 cil(dst(div(R,P),D)) 63598 114456950 o1(o2(o2(x,x),x)) true 167751 167751 -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_x19_u4_b114 14 19 4 114 cil(dst(pow(R,P),D)) 63599 114456951 o1(o2(o2(x,x),x)) true 167759 167759 -0.9766 0.01172 1 0.0463 0.2152 -1 1 2 1 0.09198 0.006047 0.004031 0.005002 0.2 1 0 0.02116 0.01008 0.01005 0.1002 20.04 2.828 0.2177 0.4571 1 1 0.01773 0.07091 0.1684 0.3829 1.532 3.638 json