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_x11_u3_b112 14 11 3 112 flr(dst(mlt(D,P),R)) 56700 114133540 o1(o2(o2(x,x),x)) true 112567 112567 0.8673 0.9997 0.8673 0.08645 0.294 0 1 1 1 1.455 0.02589 0.02514 0.076 0.01469 1 -0.001692 0.1379 0.131 0.04528 0.2128 2.8 1.413 0.5904 1.595 1 1 0.05669 0.1662 0.1531 0.6558 1.923 1.771 json
t14_x11_u3_b113 14 11 3 113 flr(dst(div(D,P),R)) 56701 114133541 o1(o2(o2(x,x),x)) true 112575 112575 -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_x11_u3_b114 14 11 3 114 flr(dst(pow(D,P),R)) 56702 114133542 o1(o2(o2(x,x),x)) true 112583 112583 -0.9922 0.003906 1 0.01556 0.1248 -1 1 2 1 0.03687 0.002016 0.002016 0.001997 -4.621e-7 1 -3.379e-11 0.008566 0.004031 0.004025 0.06344 31.77 2.828 0.259 0.5504 1 1 0.007091 0.02837 0.05673 0.4556 1.823 3.645 json
t14_x11_u3_b115 14 11 3 115 flr(dst(mod(D,P),R)) 56703 114133543 o1(o2(o2(x,x),x)) true 112591 112591 -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_x11_u3_b116 14 11 3 116 flr(dst(lrg(D,P),R)) 56704 114133544 o1(o2(o2(x,x),x)) true 112599 112599 0.6847 0.9552 0.6847 0.1477 0.3843 0 1 1 1 2.822 0.00312 0.002909 0.04298 0.03486 1 -0.000008172 0.004464 0.01649 0.004182 0.06467 1.505 1 0.04082 0.03023 1 1 0.01116 0.1057 0.2892 0.07554 0.716 1.958 json
t14_x11_u3_b117 14 11 3 117 flr(dst(eql(D,P),R)) 56705 114133545 o1(o2(o2(x,x),x)) true 112607 112607 0.806 0.9872 0.806 0.1016 0.3187 0 1 1 1 2.29 0.001418 0.001574 0.03153 -0.05236 1 -0.000003659 0.0003263 0.008637 0.001997 0.04469 1.417 0.2265 0.02946 0.003212 1 1 0.005918 0.0723 0.188 0.05827 0.7118 1.851 json
t14_x11_u3_b118 14 11 3 118 flr(dst(min(D,P),R)) 56706 114133546 o1(o2(o2(x,x),x)) true 112615 112615 0.8464 0.9892 0.8464 0.09901 0.3147 0 1 1 1 1.624 0.007318 0.007408 0.03378 -0.006153 1 0.0001023 0.04133 0.04325 0.01359 0.1166 3.45 1.413 0.1487 0.4175 1 1 0.01783 0.07966 0.1405 0.1801 0.8046 1.419 json
t14_x11_u3_b119 14 11 3 119 flr(dst(dot(D,P),R)) 56707 114133547 o1(o2(o2(x,x),x)) true 112623 112623 0.923 0.9999 0.923 0.05394 0.2323 0.000008663 1 1 1 0.9721 0.02365 0.02328 0.06454 0.007868 1 -0.001084 0.1487 0.1223 0.04276 0.2068 3.204 1.412 0.8701 2.756 1 1 0.05271 0.1205 0.09603 0.9771 2.234 1.78 json
t14_x11_u3_b120 14 11 3 120 flr(dst(dst(D,P),R)) 56708 114133548 o1(o2(o2(x,x),x)) true 112631 112631 1 1 1 9.091e-7 0.0009535 0.8928 1 0.1072 1 0.00136 0.000001062 0.000001877 0.00002828 -0.2773 0 0 0.00001332 0.00006565 0.000002937 0.001714 60.61 0.1517 3.232 14.66 1 1 0.000002847 0.000003301 0.000003301 3.131 3.631 3.631 json
t14_x11_u4_b0 14 11 4 0 cil(add(add(D,P),R)) 56709 114133629 o1(o2(o2(x,x),x)) true 112639 112639 0.06627 0.5292 0.9337 0.9156 0.9569 -1 1 2 1 1.827 0.00507 0.00046 0.01546 0.8336 1 -0.00002021 0.00952 0.01704 0.005294 0.07276 4.706 0.9994 0.00604 0.0104 1 1 0.008404 0.05105 0.2777 0.009178 0.05575 0.3033 json
t14_x11_u4_b1 14 11 4 1 cil(add(sub(D,P),R)) 56710 114133630 o1(o2(o2(x,x),x)) true 112647 112647 0.06942 0.5313 0.9284 0.9087 0.9533 -1 1 2 1 1.904 0.005652 0.0004702 0.02054 0.8464 1 -0.00002293 0.009921 0.01997 0.005704 0.07552 3.678 0.9983 0.006738 0.01092 1 1 0.009251 0.05652 0.2625 0.01018 0.0622 0.2888 json
t14_x11_u4_b2 14 11 4 2 cil(add(mlt(D,P),R)) 56711 114133631 o1(o2(o2(x,x),x)) true 112655 112655 0.3111 0.7098 0.5445 0.3359 0.5796 -1 1 2 1 4.405 0.09796 0.003035 0.2154 0.9399 1 0.002267 0.2179 0.3106 0.05462 0.2337 1.085 1.026 0.3007 0.6486 1 1 0.08248 0.3441 0.372 0.2455 1.025 1.107 json
t14_x11_u4_b3 14 11 4 3 cil(add(div(D,P),R)) 56712 114133632 o1(o2(o2(x,x),x)) true 112663 112663 0.3076 0.7828 0.5749 0.3992 0.6318 -1 1 2 1 3.716 0.02998 0.002508 0.0696 0.8456 1 -0.0000185 0.05646 0.05912 0.02764 0.1663 2.389 2 0.08137 0.1414 1 1 0.04265 0.2419 0.65 0.1068 0.6059 1.628 json
t14_x11_u4_b4 14 11 4 4 cil(add(pow(D,P),R)) 56713 114133633 o1(o2(o2(x,x),x)) true 112671 112671 -0.875 0.0625 1 0.2344 0.4841 -1 1 2 1 0.3373 0.03175 0 0.01587 1 1 0 0.06349 0.03175 0.03149 0.1774 11.18 2 0.1354 0.2709 1 1 0.04211 0.1684 0.3368 0.1796 0.7186 1.437 json
t14_x11_u4_b5 14 11 4 5 cil(add(mod(D,P),R)) 56714 114133634 o1(o2(o2(x,x),x)) true 112679 112679 0.2847 0.7423 0.5948 0.4245 0.6515 -1 1 2 1 4.026 0.04775 0.002848 0.1065 0.8874 1 0.0004513 0.09335 0.1198 0.03925 0.1981 1.86 2 0.1192 0.2199 1 1 0.05683 0.2633 0.6796 0.1339 0.6202 1.601 json
t14_x11_u4_b6 14 11 4 6 cil(add(lrg(D,P),R)) 56715 114133635 o1(o2(o2(x,x),x)) true 112687 112687 0.7344 0.9611 0.7344 0.1437 0.3791 0 1 1 1 2.38 0.003378 0.001259 0.03053 0.4569 1 -0.00003351 0.004387 0.0119 0.003704 0.06086 1.993 0.9997 0.03227 0.03053 1 1 0.007881 0.06997 0.1627 0.05484 0.4869 1.132 json
t14_x11_u4_b7 14 11 4 7 cil(add(eql(D,P),R)) 56716 114133636 o1(o2(o2(x,x),x)) true 112695 112695 0.4824 0.9147 0.4824 0.1537 0.3921 0 1 1 1 3.429 0.001972 0.002442 0.05168 -0.1065 1 -0.00001781 0.0002592 0.01257 0.001744 0.04176 0.8079 0.1169 0.02872 0.001686 1 1 0.008731 0.1124 0.2862 0.0568 0.7316 1.862 json
t14_x11_u4_b8 14 11 4 8 cil(add(min(D,P),R)) 56717 114133637 o1(o2(o2(x,x),x)) true 112703 112703 -0.21 0.4385 0.706 0.5998 0.7745 -1 1 2 1 3.441 0.01668 0.001809 0.06201 0.8043 1 0.000648 0.03065 0.05882 0.01464 0.121 1.951 0.9997 0.03082 0.0511 1 1 0.02195 0.1314 0.3702 0.03659 0.2191 0.6173 json
t14_x11_u4_b9 14 11 4 9 cil(add(dot(D,P),R)) 56718 114133638 o1(o2(o2(x,x),x)) true 112711 112711 0.1681 0.6089 0.591 0.4484 0.6696 -1 1 2 1 4.518 0.09014 0.09304 0.3157 -0.01585 1 0.003944 0.6541 0.565 0.08349 0.2889 0.9151 1.411 0.4085 1.459 1 1 0.152 0.5591 0.3802 0.3389 1.247 0.8479 json
t14_x11_u4_b10 14 11 4 10 cil(add(dst(D,P),R)) 56719 114133639 o1(o2(o2(x,x),x)) true 112719 112719 1 1 1 6.314e-9 0.00007946 0.9856 1 0.01443 1 0 6.517e-9 1.303e-8 0.000001227 -0.3333 0 -3.754e-12 7.82e-8 0.000002718 1.955e-8 0.0001398 114 0.02028 3.096 12.38 1 1 2.293e-8 2.293e-8 2.293e-8 3.631 3.631 3.631 json
t14_x11_u4_b11 14 11 4 11 cil(sub(add(D,P),R)) 56720 114133640 o1(o2(o2(x,x),x)) true 112727 112727 0.06013 0.5271 0.9384 0.921 0.9597 -1 1 2 1 1.831 0.005091 0.0004392 0.01585 0.8412 1 0.00001917 0.009523 0.01784 0.005276 0.07264 4.582 0.9997 0.006005 0.01034 1 1 0.008 0.04829 0.2805 0.008687 0.05243 0.3046 json
t14_x11_u4_b12 14 11 4 12 cil(sub(sub(D,P),R)) 56721 114133641 o1(o2(o2(x,x),x)) true 112735 112735 0.05556 0.5254 0.9466 0.9282 0.9635 -1 1 2 1 1.811 0.004989 0.0004196 0.01902 0.8448 1 0.00001971 0.008333 0.01837 0.005049 0.07106 3.736 0.9983 0.005827 0.008977 1 1 0.008507 0.05318 0.2766 0.009164 0.05729 0.298 json
t14_x11_u4_b13 14 11 4 13 cil(sub(mlt(D,P),R)) 56722 114133642 o1(o2(o2(x,x),x)) true 112743 112743 0.2872 0.6885 0.5507 0.3565 0.5971 -1 1 2 1 4.442 0.09995 0.003092 0.2168 0.94 1 0.001721 0.2186 0.3122 0.05604 0.2367 1.092 1.028 0.2891 0.6131 1 1 0.08629 0.3574 0.3944 0.2421 1.003 1.106 json
t14_x11_u4_b14 14 11 4 14 cil(sub(div(D,P),R)) 56723 114133643 o1(o2(o2(x,x),x)) true 112751 112751 0.3249 0.8091 0.5874 0.4001 0.6326 -1 1 2 1 3.683 0.02609 0.002434 0.06742 0.8294 1 -0.00001887 0.04925 0.05514 0.02397 0.1548 2.296 2 0.07129 0.1231 1 1 0.04097 0.2219 0.6916 0.1024 0.5547 1.728 json
t14_x11_u4_b15 14 11 4 15 cil(sub(pow(D,P),R)) 56724 114133644 o1(o2(o2(x,x),x)) true 112759 112759 -0.875 0.0625 1 0.2344 0.4841 -1 1 2 1 0.3373 0.03175 0 0.01587 1 1 0 0.06349 0.03175 0.03149 0.1774 11.18 2 0.1354 0.2709 1 1 0.04211 0.1684 0.3368 0.1796 0.7186 1.437 json
t14_x11_u4_b16 14 11 4 16 cil(sub(mod(D,P),R)) 56725 114133645 o1(o2(o2(x,x),x)) true 112767 112767 0.2772 0.7292 0.5889 0.422 0.6496 -1 1 2 1 4.057 0.04597 0.002937 0.1082 0.8799 1 0.00004488 0.0913 0.122 0.03722 0.1929 1.784 2 0.1159 0.2164 1 1 0.0565 0.2444 0.6958 0.1339 0.5791 1.649 json
t14_x11_u4_b17 14 11 4 17 cil(sub(lrg(D,P),R)) 56726 114133646 o1(o2(o2(x,x),x)) true 112775 112775 0.7779 0.9905 0.7779 0.1207 0.3475 0 1 1 1 2.294 0.003011 0.001259 0.03076 0.4102 1 0.00002067 0.003505 0.01122 0.003325 0.05766 1.875 0.9994 0.03537 0.02903 1 1 0.007563 0.07023 0.1574 0.06265 0.5817 1.304 json
t14_x11_u4_b18 14 11 4 18 cil(sub(eql(D,P),R)) 56727 114133647 o1(o2(o2(x,x),x)) true 112783 112783 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_x11_u4_b19 14 11 4 19 cil(sub(min(D,P),R)) 56728 114133648 o1(o2(o2(x,x),x)) true 112791 112791 -0.1984 0.4377 0.7224 0.6198 0.7873 -1 1 2 1 3.443 0.0174 0.001801 0.06384 0.8124 1 0.00002397 0.03214 0.06061 0.01513 0.123 1.927 0.9997 0.03098 0.05185 1 1 0.02295 0.1366 0.3666 0.03702 0.2203 0.5915 json
t14_x11_u4_b20 14 11 4 20 cil(sub(dot(D,P),R)) 56729 114133649 o1(o2(o2(x,x),x)) true 112799 112799 0.15 0.5873 0.582 0.4452 0.6672 -1 1 2 1 4.537 0.09179 0.09088 0.3141 0.005014 1 0.00383 0.6501 0.5629 0.08402 0.2899 0.9229 1.421 0.4103 1.46 1 1 0.151 0.5562 0.3951 0.3392 1.249 0.8873 json
t14_x11_u4_b21 14 11 4 21 cil(sub(dst(D,P),R)) 56730 114133650 o1(o2(o2(x,x),x)) true 112807 112807 0.9984 1 0.9984 0.001051 0.03242 0.001455 1 0.9985 1 0.04236 0.00004985 0.00006247 0.0006026 -0.1123 1 3.754e-12 0.00008309 0.0004852 0.000112 0.01058 17.56 0.3533 0.1069 0.07905 1 1 0.0003372 0.002724 0.00383 0.3208 2.591 3.643 json
t14_x11_u4_b22 14 11 4 22 cil(mlt(add(D,P),R)) 56731 114133651 o1(o2(o2(x,x),x)) true 112815 112815 0.1794 0.6233 0.7578 0.6611 0.8131 -1 1 2 1 3.493 0.02419 0.01959 0.1026 0.1051 1 -0.00009089 0.03637 0.07175 0.03324 0.1823 1.776 1.375 0.06623 0.05501 1 1 0.05997 0.4661 1.021 0.09072 0.705 1.544 json
t14_x11_u4_b23 14 11 4 23 cil(mlt(sub(D,P),R)) 56732 114133652 o1(o2(o2(x,x),x)) true 112823 112823 0.2971 0.6745 0.7688 0.6207 0.7878 -1 1 2 1 3.33 0.02414 0.01821 0.09773 0.1401 1 0.0000309 0.03644 0.07006 0.03278 0.1811 1.853 1.883 0.06822 0.0587 1 1 0.05714 0.4498 1.072 0.09206 0.7247 1.728 json
t14_x11_u4_b24 14 11 4 24 cil(mlt(mlt(D,P),R)) 56733 114133653 o1(o2(o2(x,x),x)) true 112831 112831 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_x11_u4_b25 14 11 4 25 cil(mlt(div(D,P),R)) 56734 114133654 o1(o2(o2(x,x),x)) true 112839 112839 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_x11_u4_b26 14 11 4 26 cil(mlt(pow(D,P),R)) 56735 114133655 o1(o2(o2(x,x),x)) true 112847 112847 -0.9115 0.04974 0.9777 0.1423 0.3773 -1 1 2 1 0.5129 0.01976 0.001181 0.01597 0.8873 1 -0.000007353 0.04146 0.02601 0.02068 0.1438 9.007 2.124 0.1471 0.2913 1 1 0.02806 0.1241 0.2444 0.1972 0.8717 1.717 json
t14_x11_u4_b27 14 11 4 27 cil(mlt(mod(D,P),R)) 56736 114133656 o1(o2(o2(x,x),x)) true 112855 112855 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_x11_u4_b28 14 11 4 28 cil(mlt(lrg(D,P),R)) 56737 114133657 o1(o2(o2(x,x),x)) true 112863 112863 0.2539 0.4836 0.2539 0.1414 0.376 0 1 1 1 2.303 0.002687 0.001179 0.02819 0.3903 1 0.000009279 0.003376 0.009879 0.003071 0.05542 1.966 0.9997 0.02734 0.02388 1 1 0.006679 0.06268 0.1658 0.04724 0.4433 1.173 json
t14_x11_u4_b29 14 11 4 29 cil(mlt(eql(D,P),R)) 56738 114133658 o1(o2(o2(x,x),x)) true 112871 112871 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_x11_u4_b30 14 11 4 30 cil(mlt(min(D,P),R)) 56739 114133659 o1(o2(o2(x,x),x)) true 112879 112879 0.3284 0.7718 0.6202 0.4338 0.6586 -1 1 2 1 3.724 0.03144 0.01137 0.09496 0.4689 1 -0.0000399 0.05642 0.07988 0.0338 0.1839 1.936 1.319 0.0987 0.1301 1 1 0.05446 0.3524 0.6188 0.1255 0.8124 1.426 json
t14_x11_u4_b31 14 11 4 31 cil(mlt(dot(D,P),R)) 56740 114133660 o1(o2(o2(x,x),x)) true 112887 112887 0.3723 0.7421 0.6154 0.3843 0.6199 -1 1 2 1 4.07 0.0544 0.05445 0.1922 -0.0004247 1 0.00116 0.3393 0.3112 0.07191 0.2682 1.395 1.619 0.2833 0.8829 1 1 0.09993 0.455 0.5992 0.26 1.184 1.559 json
t14_x11_u4_b32 14 11 4 32 cil(mlt(dst(D,P),R)) 56741 114133661 o1(o2(o2(x,x),x)) true 112895 112895 0.12 0.5644 0.8659 0.8099 0.8999 -1 1 2 1 2.739 0.02774 0.03176 0.1046 -0.0675 1 0.00003707 0.05474 0.0838 0.04857 0.2204 2.107 1.911 0.07346 0.06758 1 1 0.08036 0.6012 1.328 0.09923 0.7423 1.64 json
t14_x11_u4_b33 14 11 4 33 cil(div(add(D,P),R)) 56742 114133662 o1(o2(o2(x,x),x)) true 112903 112903 0.02063 0.5209 0.932 0.9136 0.9558 -1 1 2 1 1.953 0.07228 0.0795 0.1193 -0.04756 1 -0.00004228 0.3065 0.1795 0.1375 0.3709 3.109 2.828 0.1661 0.3355 1 1 0.171 0.8433 1.836 0.1871 0.923 2.01 json
t14_x11_u4_b34 14 11 4 34 cil(div(sub(D,P),R)) 56743 114133663 o1(o2(o2(x,x),x)) true 112911 112911 0.09702 0.5475 0.9426 0.9163 0.9572 -1 1 2 1 1.863 0.07064 0.08007 0.1194 -0.06258 1 -0.00002125 0.3013 0.1768 0.1364 0.3693 3.092 2.828 0.1645 0.3288 1 1 0.1694 0.8489 1.878 0.1849 0.9265 2.049 json
t14_x11_u4_b35 14 11 4 35 cil(div(mlt(D,P),R)) 56744 114133664 o1(o2(o2(x,x),x)) true 112919 112919 0.1978 0.6163 0.7509 0.6608 0.8129 -1 1 2 1 3.264 0.1304 0.02951 0.1933 0.631 1 0.0007763 0.2844 0.2788 0.1226 0.3502 1.812 2.828 0.2421 0.4305 1 1 0.1572 0.8562 1.22 0.2379 1.296 1.846 json
t14_x11_u4_b36 14 11 4 36 cil(div(div(D,P),R)) 56745 114133665 o1(o2(o2(x,x),x)) true 112927 112927 0.2843 0.7776 0.5986 0.4313 0.6567 -1 1 2 1 3.843 0.0687 0.003816 0.1156 0.8947 1 -0.00002686 0.135 0.1437 0.05916 0.2432 2.104 2.018 0.1681 0.3129 1 1 0.08081 0.3615 0.7254 0.1874 0.8382 1.682 json
t14_x11_u4_b37 14 11 4 37 cil(div(pow(D,P),R)) 56746 114133666 o1(o2(o2(x,x),x)) true 112935 112935 -0.9291 0.03519 0.9953 0.1304 0.361 -1 1 2 1 0.3217 0.01941 0.003433 0.01547 0.6995 1 -7.832e-9 0.04268 0.02473 0.02261 0.1504 9.72 2.077 0.1753 0.3274 1 1 0.03469 0.1528 0.277 0.2661 1.172 2.125 json
t14_x11_u4_b38 14 11 4 38 cil(div(mod(D,P),R)) 56747 114133667 o1(o2(o2(x,x),x)) true 112943 112943 0.2027 0.6614 0.678 0.5634 0.7506 -1 1 2 1 3.784 0.08861 0.009272 0.1519 0.8105 1 0.0005398 0.1773 0.2053 0.07482 0.2735 1.801 2.035 0.1737 0.3147 1 1 0.1016 0.4817 0.9625 0.1803 0.8549 1.708 json
t14_x11_u4_b39 14 11 4 39 cil(div(lrg(D,P),R)) 56748 114133668 o1(o2(o2(x,x),x)) true 112951 112951 0.04409 0.2992 0.4739 0.4493 0.6703 -1 1 2 1 2.486 0.01792 0.01778 0.05951 0.003898 1 -0.00002587 0.03639 0.04785 0.03216 0.1793 3.013 2.161 0.07945 0.08098 1 1 0.05534 0.3776 0.9055 0.1232 0.8404 2.015 json
t14_x11_u4_b40 14 11 4 40 cil(div(eql(D,P),R)) 56749 114133669 o1(o2(o2(x,x),x)) true 112959 112959 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_x11_u4_b41 14 11 4 41 cil(div(min(D,P),R)) 56750 114133670 o1(o2(o2(x,x),x)) true 112967 112967 0.205 0.6292 0.7714 0.6811 0.8253 -1 1 2 1 3.142 0.07339 0.04454 0.1346 0.2446 1 0.0003269 0.2279 0.1859 0.09979 0.3159 2.347 2.828 0.1731 0.3346 1 1 0.1276 0.639 1.245 0.1874 0.9382 1.827 json
t14_x11_u4_b42 14 11 4 42 cil(div(dot(D,P),R)) 56751 114133671 o1(o2(o2(x,x),x)) true 112975 112975 0.146 0.5795 0.8591 0.8 0.8944 -1 1 2 1 2.681 0.103 0.1063 0.2075 -0.01585 1 0.000479 0.5305 0.3423 0.1663 0.4078 1.965 2.828 0.2617 0.6631 1 1 0.2217 1.124 1.468 0.2771 1.405 1.835 json
t14_x11_u4_b43 14 11 4 43 cil(div(dst(D,P),R)) 56752 114133672 o1(o2(o2(x,x),x)) true 112983 112983 -0.04206 0.4788 0.9776 0.9684 0.9841 -1 1 2 1 1.421 0.08304 0.09951 0.1178 -0.0902 1 -0.00000226 0.4012 0.1988 0.1686 0.4106 3.485 2.828 0.1885 0.4143 1 1 0.2008 0.9496 1.899 0.2073 0.9805 1.961 json
t14_x11_u4_b44 14 11 4 44 cil(pow(add(D,P),R)) 56753 114133673 o1(o2(o2(x,x),x)) true 112991 112991 0 0.5 1 1 1 -1 1 2 1 1 0.01587 0 0.007937 1 1 0 0.03175 0.01587 0.01581 0.1257 15.84 2 0.01587 0.03175 1 1 0.02105 0.08421 0.3368 0.02105 0.08421 0.3368 json
t14_x11_u4_b45 14 11 4 45 cil(pow(sub(D,P),R)) 56754 114133674 o1(o2(o2(x,x),x)) true 112999 112999 -0.125 0.4375 1 0.9844 0.9922 -1 1 2 1 0.9887 0.01587 0 0.007937 1 1 0 0.03175 0.01587 0.01581 0.1257 15.84 2 0.01612 0.03225 1 1 0.02105 0.08421 0.3368 0.02139 0.08555 0.3422 json
t14_x11_u4_b46 14 11 4 46 cil(pow(mlt(D,P),R)) 56755 114133675 o1(o2(o2(x,x),x)) true 113007 113007 -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_x11_u4_b47 14 11 4 47 cil(pow(div(D,P),R)) 56756 114133676 o1(o2(o2(x,x),x)) true 113015 113015 -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_x11_u4_b48 14 11 4 48 cil(pow(pow(D,P),R)) 56757 114133677 o1(o2(o2(x,x),x)) true 113023 113023 -0.875 0.0625 1 0.2344 0.4841 -1 1 2 1 0.3373 0.03175 0 0.01587 1 1 0 0.06349 0.03175 0.03149 0.1774 11.18 2 0.1354 0.2709 1 1 0.04211 0.1684 0.3368 0.1796 0.7186 1.437 json
t14_x11_u4_b49 14 11 4 49 cil(pow(mod(D,P),R)) 56758 114133678 o1(o2(o2(x,x),x)) true 113031 113031 -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_x11_u4_b50 14 11 4 50 cil(pow(lrg(D,P),R)) 56759 114133679 o1(o2(o2(x,x),x)) true 113039 113039 0.04883 0.5313 0.9785 0.9729 0.9863 -1 1 2 1 1.276 0.03472 0.02569 0.03442 0.1495 1 2.891e-10 0.1268 0.06529 0.05924 0.2434 7.071 2.828 0.06209 0.1304 1 1 0.07358 0.3031 0.6745 0.07563 0.3115 0.6934 json
t14_x11_u4_b51 14 11 4 51 cil(pow(eql(D,P),R)) 56760 114133680 o1(o2(o2(x,x),x)) true 113047 113047 -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_x11_u4_b52 14 11 4 52 cil(pow(min(D,P),R)) 56761 114133681 o1(o2(o2(x,x),x)) true 113055 113055 -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_x11_u4_b53 14 11 4 53 cil(pow(dot(D,P),R)) 56762 114133682 o1(o2(o2(x,x),x)) true 113063 113063 -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_x11_u4_b54 14 11 4 54 cil(pow(dst(D,P),R)) 56763 114133683 o1(o2(o2(x,x),x)) true 113071 113071 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_x11_u4_b55 14 11 4 55 cil(mod(add(D,P),R)) 56764 114133684 o1(o2(o2(x,x),x)) true 113079 113079 0.5 0.5 0.5 0.25 0.5 0 1 1 1 1 0.003968 0 0.003968 1 1 0 0.007937 0.007937 0.003952 0.06287 15.84 1 0.01587 0.03175 1 1 0.005263 0.02105 0.08421 0.02105 0.08421 0.3368 json
t14_x11_u4_b56 14 11 4 56 cil(mod(sub(D,P),R)) 56765 114133685 o1(o2(o2(x,x),x)) true 113087 113087 0.5 0.5625 0.5 0.2365 0.4863 0 1 1 1 1.577 0.00467 0 0.0119 1 1 -4.731e-10 0.008068 0.009787 0.004528 0.06729 5.654 0.9994 0.01975 0.03412 1 1 0.007036 0.03244 0.06598 0.02976 0.1372 0.279 json
t14_x11_u4_b57 14 11 4 57 cil(mod(mlt(D,P),R)) 56766 114133686 o1(o2(o2(x,x),x)) true 113095 113095 0.4375 0.875 0.4375 0.1514 0.3891 0 0.9997 0.9997 1 3.238 0.06044 0 0.1109 1 1 -0.0001797 0.1126 0.1239 0.04813 0.2194 1.978 0.9997 0.3992 0.7441 1 1 0.06377 0.2221 0.06598 0.4212 1.467 0.4359 json
t14_x11_u4_b58 14 11 4 58 cil(mod(div(D,P),R)) 56767 114133687 o1(o2(o2(x,x),x)) true 113103 113103 0.3125 0.875 0.5625 0.3702 0.6084 -1 0.9997 2 1 3.523 0.08425 0 0.1188 1 1 -0.0001797 0.1603 0.1398 0.0701 0.2648 2.228 2 0.2276 0.4332 1 1 0.09528 0.3354 0.4028 0.2574 0.9061 1.088 json
t14_x11_u4_b59 14 11 4 59 cil(mod(pow(D,P),R)) 56768 114133688 o1(o2(o2(x,x),x)) true 113111 113111 -0.875 0.0625 1 0.2344 0.4841 -1 1 2 1 0.3373 0.03175 0 0.01587 1 1 0 0.06349 0.03175 0.03149 0.1774 11.18 2 0.1354 0.2709 1 1 0.04211 0.1684 0.3368 0.1796 0.7186 1.437 json
t14_x11_u4_b60 14 11 4 60 cil(mod(mod(D,P),R)) 56769 114133689 o1(o2(o2(x,x),x)) true 113119 113119 0.3125 0.875 0.5625 0.3702 0.6084 -1 0.9997 2 1 3.523 0.07235 0 0.1149 1 1 0 0.1364 0.1318 0.05916 0.2432 2.118 2 0.1955 0.3685 1 1 0.0796 0.2919 0.4028 0.215 0.7886 1.088 json
t14_x11_u4_b61 14 11 4 61 cil(mod(lrg(D,P),R)) 56770 114133690 o1(o2(o2(x,x),x)) true 113127 113127 0.5 0.5625 0.5 0.2365 0.4863 0 1 1 1 1.577 0.00467 0 0.0119 1 1 -4.731e-10 0.008068 0.009787 0.004528 0.06729 5.654 0.9994 0.01975 0.03412 1 1 0.007036 0.03244 0.06598 0.02976 0.1372 0.279 json
t14_x11_u4_b62 14 11 4 62 cil(mod(eql(D,P),R)) 56771 114133691 o1(o2(o2(x,x),x)) true 113135 113135 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_x11_u4_b63 14 11 4 63 cil(mod(min(D,P),R)) 56772 114133692 o1(o2(o2(x,x),x)) true 113143 113143 0.2188 0.4375 0.2188 0.1235 0.3515 0 0.9997 0.9997 1 2.124 0.03022 0 0.0555 1 1 -0.00008984 0.05631 0.06193 0.02713 0.1647 2.967 0.9997 0.2446 0.4558 1 1 0.03318 0.1162 0.03299 0.2686 0.9402 0.267 json
t14_x11_u4_b64 14 11 4 64 cil(mod(dot(D,P),R)) 56773 114133693 o1(o2(o2(x,x),x)) true 113151 113151 0.448 0.9844 0.448 0.1034 0.3216 0 0.9997 0.9997 1 3.813 0.0333 0.0333 0.1414 -0.00002092 1 0.0009534 0.2096 0.1765 0.04659 0.2159 1.526 1.413 0.6441 2.027 1 1 0.06956 0.2268 0.06823 0.6727 2.193 0.6598 json
t14_x11_u4_b65 14 11 4 65 cil(mod(dst(D,P),R)) 56774 114133694 o1(o2(o2(x,x),x)) true 113159 113159 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_x11_u4_b66 14 11 4 66 cil(lrg(add(D,P),R)) 56775 114133695 o1(o2(o2(x,x),x)) true 113167 113167 0.4983 0.5367 0.4983 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_x11_u4_b67 14 11 4 67 cil(lrg(sub(D,P),R)) 56776 114133696 o1(o2(o2(x,x),x)) true 113175 113175 0.4996 0.572 0.4996 0.2344 0.4841 0 1 1 1 1.67 0.002223 0.0001586 0.01146 0.8668 1 0.000008897 0.003908 0.0088 0.00225 0.04743 4.138 0.97 0.01016 0.01668 1 1 0.003183 0.02133 0.08782 0.01358 0.09101 0.3747 json
t14_x11_u4_b68 14 11 4 68 cil(lrg(mlt(D,P),R)) 56777 114133697 o1(o2(o2(x,x),x)) true 113183 113183 0.4669 0.9447 0.4669 0.1336 0.3656 0 1 1 1 3.556 0.04113 0.001117 0.1095 0.9471 1 0.0003393 0.07534 0.1077 0.03025 0.1739 1.589 0.9997 0.3162 0.5638 1 1 0.04479 0.1871 0.1803 0.3352 1.4 1.349 json
t14_x11_u4_b69 14 11 4 69 cil(lrg(div(D,P),R)) 56778 114133698 o1(o2(o2(x,x),x)) true 113191 113191 0.5048 0.9094 0.5048 0.1579 0.3973 0 1 1 1 3.381 0.01088 0.00223 0.06088 0.6597 1 0.00001042 0.01826 0.03651 0.009404 0.09697 1.593 0.9997 0.08303 0.1156 1 1 0.01964 0.1367 0.2842 0.1244 0.8656 1.8 json
t14_x11_u4_b70 14 11 4 70 cil(lrg(pow(D,P),R)) 56779 114133699 o1(o2(o2(x,x),x)) true 113199 113199 0.9053 1 0.9053 0.0562 0.2371 0.000291 1 0.9997 1 1.394 0.01213 0.000561 0.03008 0.9116 1 0.00005204 0.02275 0.03133 0.01179 0.1086 3.609 0.9997 0.2258 0.4047 1 1 0.01381 0.06353 0.06761 0.2457 1.13 1.203 json
t14_x11_u4_b71 14 11 4 71 cil(lrg(mod(D,P),R)) 56780 114133700 o1(o2(o2(x,x),x)) true 113207 113207 0.5274 0.9384 0.5274 0.1476 0.3842 0 1 1 1 3.503 0.01964 0.002026 0.07918 0.813 1 -0.00001696 0.03655 0.06755 0.0154 0.1241 1.567 0.9997 0.1468 0.2476 1 1 0.02383 0.1383 0.2547 0.1615 0.9372 1.725 json
t14_x11_u4_b72 14 11 4 72 cil(lrg(lrg(D,P),R)) 56781 114133701 o1(o2(o2(x,x),x)) true 113215 113215 0.7715 0.9905 0.7715 0.1217 0.3488 0 1 1 1 2.365 0.002836 0.001259 0.031 0.3851 1 0.00002709 0.003398 0.01065 0.003133 0.05598 1.806 0.9997 0.03365 0.02793 1 1 0.007137 0.06954 0.1615 0.05865 0.5714 1.327 json
t14_x11_u4_b73 14 11 4 73 cil(lrg(eql(D,P),R)) 56782 114133702 o1(o2(o2(x,x),x)) true 113223 113223 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_x11_u4_b74 14 11 4 74 cil(lrg(min(D,P),R)) 56783 114133703 o1(o2(o2(x,x),x)) true 113231 113231 0.2706 0.4906 0.2706 0.1415 0.3762 0 1 1 1 2.476 0.01027 0.001145 0.04294 0.7995 1 -0.00002998 0.01885 0.03609 0.009573 0.09784 2.278 0.9997 0.08069 0.1332 1 1 0.01281 0.08284 0.1749 0.09049 0.5854 1.236 json
t14_x11_u4_b75 14 11 4 75 cil(lrg(dot(D,P),R)) 56784 114133704 o1(o2(o2(x,x),x)) true 113239 113239 0.449 0.9687 0.449 0.108 0.3286 0 1 1 1 3.798 0.03104 0.03081 0.1354 0.00377 1 0.00166 0.1944 0.1686 0.04351 0.2086 1.54 1.413 0.5729 1.8 1 1 0.06228 0.2107 0.133 0.5768 1.952 1.232 json
t14_x11_u4_b76 14 11 4 76 cil(lrg(dst(D,P),R)) 56785 114133705 o1(o2(o2(x,x),x)) true 113247 113247 0.9959 1 0.9959 0.002426 0.04926 0.000582 1 0.9994 1 0.117 0.00006557 0.00007081 0.001158 -0.0384 1 -2.178e-10 0.0002349 0.0008321 0.0001349 0.01161 10.03 0.3832 0.05621 0.09679 1 1 0.0003569 0.003479 0.008786 0.1471 1.434 3.621 json
t14_x11_u4_b77 14 11 4 77 cil(eql(add(D,P),R)) 56786 114133706 o1(o2(o2(x,x),x)) true 113255 113255 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_x11_u4_b78 14 11 4 78 cil(eql(sub(D,P),R)) 56787 114133707 o1(o2(o2(x,x),x)) true 113263 113263 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_x11_u4_b79 14 11 4 79 cil(eql(mlt(D,P),R)) 56788 114133708 o1(o2(o2(x,x),x)) true 113271 113271 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_x11_u4_b80 14 11 4 80 cil(eql(div(D,P),R)) 56789 114133709 o1(o2(o2(x,x),x)) true 113279 113279 0.0001764 0.0007172 0.0001764 0.00006993 0.008362 0 0.5583 0.5583 1 0.008115 0.0001377 0.000001024 0.0003471 0.9852 1 1.17e-7 0.000417 0.0006873 0.0001386 0.01177 33.91 0.5583 1.983 5.963 1 1 0.00004704 0.00006591 0.0001303 0.6726 0.9425 1.863 json
t14_x11_u4_b81 14 11 4 81 cil(eql(pow(D,P),R)) 56790 114133710 o1(o2(o2(x,x),x)) true 113287 113287 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_x11_u4_b82 14 11 4 82 cil(eql(mod(D,P),R)) 56791 114133711 o1(o2(o2(x,x),x)) true 113295 113295 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_x11_u4_b83 14 11 4 83 cil(eql(lrg(D,P),R)) 56792 114133712 o1(o2(o2(x,x),x)) true 113303 113303 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_x11_u4_b84 14 11 4 84 cil(eql(eql(D,P),R)) 56793 114133713 o1(o2(o2(x,x),x)) true 113311 113311 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_x11_u4_b85 14 11 4 85 cil(eql(min(D,P),R)) 56794 114133714 o1(o2(o2(x,x),x)) true 113319 113319 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_x11_u4_b86 14 11 4 86 cil(eql(dot(D,P),R)) 56795 114133715 o1(o2(o2(x,x),x)) true 113327 113327 0.00002985 0.00004578 0.00002985 0.00002404 0.004903 0 0.9633 0.9633 1 0.0007985 0.000001508 0.00001612 0.00002693 -0.8289 0 0.00001172 0.00002894 0.00003929 0.00001763 0.004199 155.9 0.9633 0.7334 1.204 1 1 0 0 0.00001352 0 0 0.5623 json
t14_x11_u4_b87 14 11 4 87 cil(eql(dst(D,P),R)) 56796 114133716 o1(o2(o2(x,x),x)) true 113335 113335 0.000003656 0.00003052 0.000003656 4.38e-7 0.0006618 0 0.1198 0.1198 1 0.0005018 9.041e-7 9.041e-7 0.00001288 0 0 -2.346e-13 0.000009041 0.00003019 0.000001808 0.001345 104.4 0.1694 4.128 20.64 1 1 0.00000159 0.00000159 0.00000159 3.631 3.631 3.631 json
t14_x11_u4_b88 14 11 4 88 cil(min(add(D,P),R)) 56797 114133717 o1(o2(o2(x,x),x)) true 113343 113343 -0.209 0.4604 0.666 0.5708 0.7555 -1 1 2 1 2.849 0.00663 0.001264 0.03301 0.6798 1 -0.00002709 0.0113 0.01812 0.006806 0.0825 2.499 1 0.01383 0.0198 1 1 0.01204 0.08826 0.2917 0.02109 0.1546 0.511 json
t14_x11_u4_b89 14 11 4 89 cil(min(sub(D,P),R)) 56798 114133718 o1(o2(o2(x,x),x)) true 113351 113351 -0.1933 0.4617 0.692 0.5993 0.7741 -1 1 2 1 3.231 0.007965 0.001179 0.03988 0.7422 1 0.00000928 0.01167 0.02043 0.007551 0.0869 2.179 0.9994 0.01526 0.01947 1 1 0.0152 0.09798 0.2762 0.02537 0.1635 0.4609 json
t14_x11_u4_b90 14 11 4 90 cil(min(mlt(D,P),R)) 56799 114133719 o1(o2(o2(x,x),x)) true 113359 113359 -0.1743 0.3408 0.401 0.2852 0.5341 -1 0.9994 1.999 1 3.968 0.07949 0.001023 0.1631 0.9746 1 0.007594 0.1492 0.2138 0.05389 0.2321 1.423 0.9994 0.2822 0.5231 1 1 0.07446 0.2967 0.1744 0.2611 1.04 0.6115 json