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_x4_u4_b20 14 4 4 20 cil(sub(dot(P,D),D)) 50800 113850842 o1(o2(o2(x,x),x)) true 65367 65367 0.1631 0.6089 0.5291 0.3775 0.6144 -1 1 2 1 4.665 0.08709 0.08615 0.3162 0.005425 1 0.004824 0.5879 0.5547 0.07327 0.2707 0.8562 1.413 0.4589 1.557 1 1 0.1468 0.5372 0.1122 0.3887 1.423 0.2973 json
t14_x4_u4_b21 14 4 4 21 cil(sub(dst(P,D),D)) 50801 113850843 o1(o2(o2(x,x),x)) true 65375 65375 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_x4_u4_b22 14 4 4 22 cil(mlt(add(P,D),D)) 50802 113850844 o1(o2(o2(x,x),x)) true 65383 65383 0.4448 0.8594 0.5506 0.2475 0.4975 -0.8866 1 1.887 1 3.924 0.1269 0 0.2298 1 1 0.006499 0.2863 0.3633 0.07406 0.2721 1.184 0.9994 0.5126 1.157 1 1 0.09666 0.3047 0.07662 0.3905 1.231 0.3096 json
t14_x4_u4_b23 14 4 4 23 cil(mlt(sub(P,D),D)) 50803 113850845 o1(o2(o2(x,x),x)) true 65391 65391 0.2074 0.6406 0.438 0.2911 0.5395 -1 1 2 1 4.128 0.1456 0 0.2594 1 1 0.006622 0.3408 0.4241 0.07834 0.2799 1.079 0.9991 0.5002 1.171 1 1 0.1105 0.3727 0.0884 0.3795 1.28 0.3037 json
t14_x4_u4_b24 14 4 4 24 cil(mlt(mlt(P,D),D)) 50804 113850846 o1(o2(o2(x,x),x)) true 65399 65399 0.3649 0.5 0.5725 0.3924 0.6264 -1 1 2 1 2.894 0.01318 0 0.04908 1 1 0.0003311 0.02598 0.06115 0.01076 0.1037 2.114 0.6717 0.03358 0.06621 1 1 0.01016 0.033 0.08646 0.0259 0.0841 0.2203 json
t14_x4_u4_b25 14 4 4 25 cil(mlt(div(P,D),D)) 50805 113850847 o1(o2(o2(x,x),x)) true 65407 65407 0.02129 0.5 0.9162 0.9022 0.9499 -1 1 2 1 1.895 0.03228 0 0.0433 1 1 2.365e-9 0.1065 0.07535 0.03039 0.1743 4.026 0.9997 0.03578 0.118 1 1 0.01503 0.03178 0.2074 0.01666 0.03523 0.2298 json
t14_x4_u4_b26 14 4 4 26 cil(mlt(pow(P,D),D)) 50806 113850848 o1(o2(o2(x,x),x)) true 65415 65415 -0.2468 0.4375 0.7531 0.6405 0.8003 -1 1 2 1 2.669 0.03819 0 0.07266 1 1 -0.0004209 0.07538 0.09941 0.0329 0.1814 2.496 1 0.05962 0.1177 1 1 0.04 0.1122 0.1632 0.06246 0.1752 0.2548 json
t14_x4_u4_b27 14 4 4 27 cil(mlt(mod(P,D),D)) 50807 113850849 o1(o2(o2(x,x),x)) true 65423 65423 0.3752 0.8125 0.3752 0.14 0.3741 0 0.9929 0.9929 1 3.158 0.07433 0 0.1249 1 1 -0.0001797 0.1724 0.1536 0.05873 0.2423 1.941 0.9929 0.5311 1.232 1 1 0.05881 0.2058 0.06289 0.4202 1.47 0.4493 json
t14_x4_u4_b28 14 4 4 28 cil(mlt(lrg(P,D),D)) 50808 113850850 o1(o2(o2(x,x),x)) true 65431 65431 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_x4_u4_b29 14 4 4 29 cil(mlt(eql(P,D),D)) 50809 113850851 o1(o2(o2(x,x),x)) true 65439 65439 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_x4_u4_b30 14 4 4 30 cil(mlt(min(P,D),D)) 50810 113850852 o1(o2(o2(x,x),x)) true 65447 65447 0.6488 0.9102 0.7249 0.241 0.4909 -0.8866 1 1.887 1 2.776 0.06582 0 0.126 1 1 0.003339 0.1472 0.1905 0.04995 0.2235 1.774 0.9994 0.2732 0.611 1 1 0.05706 0.1777 0.04769 0.2368 0.7374 0.1979 json
t14_x4_u4_b31 14 4 4 31 cil(mlt(dot(P,D),D)) 50811 113850853 o1(o2(o2(x,x),x)) true 65455 65455 0.3946 0.7371 0.5953 0.3418 0.5846 -1 1 2 1 4.094 0.07188 0.03445 0.183 0.352 1 0.0002162 0.3306 0.3083 0.07284 0.2699 1.475 1.464 0.3111 0.9674 1 1 0.09649 0.2414 0.091 0.2823 0.7063 0.2662 json
t14_x4_u4_b32 14 4 4 32 cil(mlt(dst(P,D),D)) 50812 113850854 o1(o2(o2(x,x),x)) true 65463 65463 0.3922 0.7735 0.6079 0.3623 0.6019 -1 1 2 1 3.865 0.1491 0.003433 0.26 0.955 1 0.002671 0.3412 0.4231 0.08498 0.2915 1.121 1.311 0.4212 0.9418 1 1 0.1215 0.4622 0.06008 0.3355 1.276 0.1658 json
t14_x4_u4_b33 14 4 4 33 cil(div(add(P,D),D)) 50813 113850855 o1(o2(o2(x,x),x)) true 65471 65471 0.01557 0.5 0.965 0.9484 0.9739 -1 1 2 1 1.618 0.4211 0 0.2381 1 1 -1.892e-9 0.8062 0.4393 0.3644 0.6036 2.535 2 0.444 0.8501 1 1 0.4245 1.779 0.2784 0.4475 1.875 0.2936 json
t14_x4_u4_b34 14 4 4 34 cil(div(sub(P,D),D)) 50814 113850856 o1(o2(o2(x,x),x)) true 65479 65479 -0.1714 0.4141 0.9371 0.8905 0.9437 -1 1 2 1 1.734 0.3674 0 0.2569 1 1 -5.632e-12 0.6821 0.4262 0.3015 0.5491 2.138 2 0.4125 0.766 1 1 0.3764 1.544 0.2537 0.4227 1.734 0.2849 json
t14_x4_u4_b35 14 4 4 35 cil(div(mlt(P,D),D)) 50815 113850857 o1(o2(o2(x,x),x)) true 65487 65487 0.02129 0.5 0.9162 0.9022 0.9499 -1 1 2 1 1.895 0.03228 0 0.0433 1 1 2.365e-9 0.1065 0.07535 0.03039 0.1743 4.026 0.9997 0.03578 0.118 1 1 0.01503 0.03178 0.2074 0.01666 0.03523 0.2298 json
t14_x4_u4_b36 14 4 4 36 cil(div(div(P,D),D)) 50816 113850858 o1(o2(o2(x,x),x)) true 65495 65495 0.003139 0.5 0.9591 0.9538 0.9766 -1 1 2 1 1.39 0.002164 0 0.007937 1 1 -7.096e-10 0.001509 0.006724 0.0021 0.04583 5.774 0.3983 0.002269 0.001582 1 1 0.004739 0.03567 0.2747 0.004968 0.0374 0.288 json
t14_x4_u4_b37 14 4 4 37 cil(div(pow(P,D),D)) 50817 113850859 o1(o2(o2(x,x),x)) true 65503 65503 -0.4067 0.2891 0.9392 0.7615 0.8726 -1 1 2 1 1.48 0.1631 0 0.119 1 1 -9.452e-10 0.2828 0.1877 0.149 0.386 3.242 2 0.2142 0.3714 1 1 0.1861 0.6806 0.1601 0.2444 0.8938 0.2103 json
t14_x4_u4_b38 14 4 4 38 cil(div(mod(P,D),D)) 50818 113850860 o1(o2(o2(x,x),x)) true 65511 65511 0.3752 0.8125 0.3752 0.14 0.3741 0 0.9929 0.9929 1 3.158 0.07433 0 0.1249 1 1 -0.0001797 0.1724 0.1536 0.05873 0.2423 1.941 0.9929 0.5311 1.232 1 1 0.05881 0.2058 0.06289 0.4202 1.47 0.4493 json
t14_x4_u4_b39 14 4 4 39 cil(div(lrg(P,D),D)) 50819 113850861 o1(o2(o2(x,x),x)) true 65519 65519 -0.04271 0.2188 0.4802 0.4609 0.6789 -1 1 2 1 2.144 0.1686 0 0.123 1 1 0 0.2967 0.1964 0.1534 0.3916 3.184 2 0.3657 0.6439 1 1 0.1922 0.8677 0.1049 0.4169 1.883 0.2276 json
t14_x4_u4_b40 14 4 4 40 cil(div(eql(P,D),D)) 50820 113850862 o1(o2(o2(x,x),x)) true 65527 65527 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_x4_u4_b41 14 4 4 41 cil(div(min(P,D),D)) 50821 113850863 o1(o2(o2(x,x),x)) true 65535 65535 0.4554 0.75 0.9529 0.7318 0.8554 -1 1 2 1 1.503 0.2152 0 0.127 1 1 9.386e-13 0.4107 0.2275 0.1992 0.4464 3.515 2 0.2941 0.5612 1 1 0.2144 0.8823 0.1347 0.2929 1.206 0.184 json
t14_x4_u4_b42 14 4 4 42 cil(div(dot(P,D),D)) 50822 113850864 o1(o2(o2(x,x),x)) true 65543 65543 0.04707 0.523 0.9415 0.9216 0.96 -1 1 2 1 1.892 0.3119 0.105 0.2575 0.4965 1 0.0002828 1.2 0.4758 0.3506 0.5921 2.299 2.828 0.4524 1.303 1 1 0.3806 0.8901 0.2769 0.413 0.9658 0.3005 json
t14_x4_u4_b43 14 4 4 43 cil(div(dst(P,D),D)) 50823 113850865 o1(o2(o2(x,x),x)) true 65551 65551 0.01773 0.5091 0.9823 0.976 0.9879 -1 1 2 1 1.335 0.4452 0.0009559 0.2469 0.9957 1 -4.167e-10 0.8505 0.4576 0.385 0.6205 2.514 2.059 0.4571 0.8715 1 1 0.4614 1.874 0.03153 0.4727 1.92 0.03231 json
t14_x4_u4_b44 14 4 4 44 cil(pow(add(P,D),D)) 50824 113850866 o1(o2(o2(x,x),x)) true 65559 65559 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_x4_u4_b45 14 4 4 45 cil(pow(sub(P,D),D)) 50825 113850867 o1(o2(o2(x,x),x)) true 65567 65567 -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_x4_u4_b46 14 4 4 46 cil(pow(mlt(P,D),D)) 50826 113850868 o1(o2(o2(x,x),x)) true 65575 65575 -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_x4_u4_b47 14 4 4 47 cil(pow(div(P,D),D)) 50827 113850869 o1(o2(o2(x,x),x)) true 65583 65583 -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_x4_u4_b48 14 4 4 48 cil(pow(pow(P,D),D)) 50828 113850870 o1(o2(o2(x,x),x)) true 65591 65591 -0.03125 0.5 0.9688 0.9603 0.98 -1 1 2 1 1.406 0.004323 0 0.007937 1 1 -9.386e-13 0.007903 0.008812 0.004259 0.06526 8.223 1 0.004502 0.008229 1 1 0.006228 0.03975 0.2856 0.006485 0.04139 0.2974 json
t14_x4_u4_b49 14 4 4 49 cil(pow(mod(P,D),D)) 50829 113850871 o1(o2(o2(x,x),x)) true 65599 65599 -0.0414 0.5039 0.9508 0.9436 0.9714 -1 1 2 1 1.421 0.0964 0 0.08544 1 1 -1.89e-9 0.2894 0.1664 0.08912 0.2985 3.494 2 0.1022 0.3067 1 1 0.05594 0.1053 0.3081 0.05928 0.1116 0.3265 json
t14_x4_u4_b50 14 4 4 50 cil(pow(lrg(P,D),D)) 50830 113850872 o1(o2(o2(x,x),x)) true 65607 65607 0.9375 1 0.9375 0.04507 0.2123 0.000291 1 0.9997 1 0.8126 0.008635 0 0.01587 1 1 0 0.01605 0.01772 0.008379 0.09154 5.769 0.9997 0.1916 0.3562 1 1 0.01226 0.04693 0.06598 0.2721 1.041 1.464 json
t14_x4_u4_b51 14 4 4 51 cil(pow(eql(P,D),D)) 50831 113850873 o1(o2(o2(x,x),x)) true 65615 65615 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_x4_u4_b52 14 4 4 52 cil(pow(min(P,D),D)) 50832 113850874 o1(o2(o2(x,x),x)) true 65623 65623 -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_x4_u4_b53 14 4 4 53 cil(pow(dot(P,D),D)) 50833 113850875 o1(o2(o2(x,x),x)) true 65631 65631 -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_x4_u4_b54 14 4 4 54 cil(pow(dst(P,D),D)) 50834 113850876 o1(o2(o2(x,x),x)) true 65639 65639 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_x4_u4_b55 14 4 4 55 cil(mod(add(P,D),D)) 50835 113850877 o1(o2(o2(x,x),x)) true 65647 65647 0.4149 0.4961 0.4149 0.2379 0.4878 0 1 1 1 1.207 0.08813 0 0.09289 1 1 1.239e-8 0.2288 0.1825 0.07949 0.2819 3.035 0.9997 0.3704 0.9616 1 1 0.06626 0.08287 0.07734 0.2785 0.3483 0.3251 json
t14_x4_u4_b56 14 4 4 56 cil(mod(sub(P,D),D)) 50836 113850878 o1(o2(o2(x,x),x)) true 65655 65655 0.4149 0.5117 0.4149 0.2337 0.4834 0 1 1 1 1.38 0.08849 0 0.09542 1 1 1.23e-8 0.2288 0.183 0.07939 0.2818 2.953 0.9997 0.3787 0.9793 1 1 0.06718 0.08596 0.07163 0.2875 0.3679 0.3065 json
t14_x4_u4_b57 14 4 4 57 cil(mod(mlt(P,D),D)) 50837 113850879 o1(o2(o2(x,x),x)) true 65663 65663 0.1723 0.2188 0.1723 0.113 0.3361 0 0.9929 0.9929 1 1.195 0.248 0 0.2879 1 1 0 0.8047 0.5632 0.1652 0.4065 1.412 0.9929 2.195 7.122 1 1 0.08882 0.1425 0.02745 0.7861 1.261 0.2429 json
t14_x4_u4_b58 14 4 4 58 cil(mod(div(P,D),D)) 50838 113850880 o1(o2(o2(x,x),x)) true 65671 65671 0.3828 0.8203 0.3828 0.1416 0.3763 0 0.9929 0.9929 1 3.172 0.05972 0 0.1102 1 1 -0.0001797 0.1123 0.1231 0.04755 0.2181 1.98 0.9929 0.4217 0.7932 1 1 0.05993 0.2111 0.05546 0.4233 1.491 0.3917 json
t14_x4_u4_b59 14 4 4 59 cil(mod(pow(P,D),D)) 50839 113850881 o1(o2(o2(x,x),x)) true 65679 65679 -0.03906 0.4961 0.9609 0.9521 0.9758 -1 1 2 1 1.444 0.0122 0 0.01582 1 1 9.47e-10 0.02384 0.02463 0.01195 0.1093 6.911 1 0.01281 0.02504 1 1 0.01656 0.04501 0.2751 0.01739 0.04727 0.2889 json
t14_x4_u4_b60 14 4 4 60 cil(mod(mod(P,D),D)) 50840 113850882 o1(o2(o2(x,x),x)) true 65687 65687 0.4026 0.4961 0.4026 0.2335 0.4832 0 1 1 1 1.3 0.07077 0 0.07485 1 1 1.23e-8 0.1714 0.1428 0.06517 0.2553 3.41 0.9997 0.3031 0.734 1 1 0.0583 0.07466 0.07448 0.2497 0.3198 0.3191 json
t14_x4_u4_b61 14 4 4 61 cil(mod(lrg(P,D),D)) 50841 113850883 o1(o2(o2(x,x),x)) true 65695 65695 0.4375 0.5547 0.4375 0.2326 0.4822 0 1 1 1 1.565 0.06009 0 0.06734 1 1 1.239e-8 0.1192 0.1208 0.05558 0.2358 3.501 0.9997 0.2584 0.5124 1 1 0.06459 0.08443 0.05546 0.2777 0.363 0.2385 json
t14_x4_u4_b62 14 4 4 62 cil(mod(eql(P,D),D)) 50842 113850884 o1(o2(o2(x,x),x)) true 65703 65703 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_x4_u4_b63 14 4 4 63 cil(mod(min(P,D),D)) 50843 113850885 o1(o2(o2(x,x),x)) true 65711 65711 0.08613 0.1094 0.08613 0.06385 0.2527 0 0.9929 0.9929 1 0.7168 0.124 0 0.144 1 1 0 0.4024 0.2816 0.1033 0.3213 2.232 0.9929 1.942 6.301 1 1 0.04441 0.07466 0.01372 0.6955 1.169 0.2149 json
t14_x4_u4_b64 14 4 4 64 cil(mod(dot(P,D),D)) 50844 113850886 o1(o2(o2(x,x),x)) true 65719 65719 0.3486 0.8826 0.3486 0.1057 0.3251 0 0.9997 0.9997 1 3.525 0.1074 0.05144 0.2443 0.3522 1 0.001437 0.614 0.4467 0.09913 0.3148 1.289 1.413 1.503 5.81 1 1 0.09862 0.2067 0.06357 0.9333 1.956 0.6016 json
t14_x4_u4_b65 14 4 4 65 cil(mod(dst(P,D),D)) 50845 113850887 o1(o2(o2(x,x),x)) true 65727 65727 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_x4_u4_b66 14 4 4 66 cil(lrg(add(P,D),D)) 50846 113850888 o1(o2(o2(x,x),x)) true 65735 65735 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_x4_u4_b67 14 4 4 67 cil(lrg(sub(P,D),D)) 50847 113850889 o1(o2(o2(x,x),x)) true 65743 65743 0.5 0.5938 0.5 0.2297 0.4793 0 1 1 1 1.793 0.006516 0 0.01891 1 1 -7.096e-10 0.01207 0.01859 0.006159 0.07848 4.15 0.9994 0.02837 0.05257 1 1 0.009276 0.03643 0.06598 0.04039 0.1586 0.2873 json
t14_x4_u4_b68 14 4 4 68 cil(lrg(mlt(P,D),D)) 50848 113850890 o1(o2(o2(x,x),x)) true 65751 65751 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_x4_u4_b69 14 4 4 69 cil(lrg(div(P,D),D)) 50849 113850891 o1(o2(o2(x,x),x)) true 65759 65759 0.4688 0.9375 0.4688 0.1475 0.3841 0 0.9997 0.9997 1 3.332 0.06476 0 0.1188 1 1 -0.0001797 0.1207 0.1327 0.05061 0.225 1.893 0.9997 0.4389 0.8181 1 1 0.06988 0.2424 0.05687 0.4737 1.643 0.3855 json
t14_x4_u4_b70 14 4 4 70 cil(lrg(pow(P,D),D)) 50850 113850892 o1(o2(o2(x,x),x)) true 65767 65767 0.9688 1 0.9688 0.02351 0.1533 0.000291 1 0.9997 1 0.459 0.004319 0 0.007934 1 1 0 0.008002 0.008862 0.004255 0.06523 8.221 0.9997 0.1837 0.3404 1 1 0.00615 0.02664 0.03299 0.2616 1.133 1.403 json
t14_x4_u4_b71 14 4 4 71 cil(lrg(mod(P,D),D)) 50851 113850893 o1(o2(o2(x,x),x)) true 65775 65775 0.4886 0.9883 0.4886 0.142 0.3768 0 0.9997 0.9997 1 3.399 0.08716 0 0.145 1 1 -1.419e-9 0.2038 0.1795 0.0661 0.2571 1.773 0.9997 0.6139 1.436 1 1 0.07039 0.2401 0.005188 0.4958 1.691 0.03655 json
t14_x4_u4_b72 14 4 4 72 cil(lrg(lrg(P,D),D)) 50852 113850894 o1(o2(o2(x,x),x)) true 65783 65783 0.7188 1 0.7188 0.1413 0.3759 0.000291 1 0.9997 1 2.519 0.03488 0 0.06731 1 1 -0.00008984 0.06442 0.07172 0.03035 0.1742 2.588 0.9994 0.2469 0.456 1 1 0.03759 0.1321 0.03299 0.266 0.935 0.2335 json
t14_x4_u4_b73 14 4 4 73 cil(lrg(eql(P,D),D)) 50853 113850895 o1(o2(o2(x,x),x)) true 65791 65791 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_x4_u4_b74 14 4 4 74 cil(lrg(min(P,D),D)) 50854 113850896 o1(o2(o2(x,x),x)) true 65799 65799 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_x4_u4_b75 14 4 4 75 cil(lrg(dot(P,D),D)) 50855 113850897 o1(o2(o2(x,x),x)) true 65807 65807 0.4482 0.9844 0.4482 0.1036 0.3218 0 0.9997 0.9997 1 3.812 0.03333 0.03316 0.1413 0.002487 1 0.0009465 0.2088 0.1762 0.04651 0.2157 1.526 1.413 0.6419 2.016 1 1 0.06932 0.2263 0.06813 0.6693 2.185 0.6578 json
t14_x4_u4_b76 14 4 4 76 cil(lrg(dst(P,D),D)) 50856 113850898 o1(o2(o2(x,x),x)) true 65815 65815 0.9997 1 0.9997 0.00005835 0.007639 0.5586 1 0.4414 1 0.01717 0.00003931 0.000009054 0.0002599 0.6256 0 -1.877e-11 0.0001369 0.0003767 0.00004826 0.006947 26.73 0.4973 0.8289 2.346 1 1 0.00007944 0.0001845 0.0002021 1.361 3.162 3.464 json
t14_x4_u4_b77 14 4 4 77 cil(eql(add(P,D),D)) 50857 113850899 o1(o2(o2(x,x),x)) true 65823 65823 0.0625 0.125 0.0625 0.04507 0.2123 0 0.9997 0.9997 1 0.8126 0.0007059 0 0.007934 1 1 -9.461e-10 0.00003241 0.001855 0.0006433 0.02536 3.197 0.1169 0.01566 0.0007193 1 1 0.001851 0.02408 0.06598 0.04107 0.5344 1.464 json
t14_x4_u4_b78 14 4 4 78 cil(eql(sub(P,D),D)) 50858 113850900 o1(o2(o2(x,x),x)) true 65831 65831 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_x4_u4_b79 14 4 4 79 cil(eql(mlt(P,D),D)) 50859 113850901 o1(o2(o2(x,x),x)) true 65839 65839 0.0625 0.125 0.0625 0.04507 0.2123 0 0.9997 0.9997 1 0.8126 0.0007059 0 0.007934 1 1 -9.461e-10 0.00003241 0.001855 0.0006433 0.02536 3.197 0.1169 0.01566 0.0007193 1 1 0.001851 0.02408 0.06598 0.04107 0.5344 1.464 json
t14_x4_u4_b80 14 4 4 80 cil(eql(div(P,D),D)) 50860 113850902 o1(o2(o2(x,x),x)) true 65847 65847 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_x4_u4_b81 14 4 4 81 cil(eql(pow(P,D),D)) 50861 113850903 o1(o2(o2(x,x),x)) true 65855 65855 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_x4_u4_b82 14 4 4 82 cil(eql(mod(P,D),D)) 50862 113850904 o1(o2(o2(x,x),x)) true 65863 65863 0.02275 0.02344 0.02275 0.02158 0.1469 0 0.9929 0.9929 1 0.1819 0.04493 0 0.04623 1 1 0 0.1348 0.09246 0.04282 0.2069 4.476 0.9929 2.082 6.247 1 1 0.01038 0.01297 0.01523 0.4809 0.6012 0.7059 json
t14_x4_u4_b83 14 4 4 83 cil(eql(lrg(P,D),D)) 50863 113850905 o1(o2(o2(x,x),x)) true 65871 65871 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_x4_u4_b84 14 4 4 84 cil(eql(eql(P,D),D)) 50864 113850906 o1(o2(o2(x,x),x)) true 65879 65879 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_x4_u4_b85 14 4 4 85 cil(eql(min(P,D),D)) 50865 113850907 o1(o2(o2(x,x),x)) true 65887 65887 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_x4_u4_b86 14 4 4 86 cil(eql(dot(P,D),D)) 50866 113850908 o1(o2(o2(x,x),x)) true 65895 65895 0.01216 0.03226 0.01216 0.008676 0.09314 0 0.9994 0.9994 1 0.2336 0.01281 0.01279 0.02743 0.0009992 1 -0.000005323 0.1439 0.06608 0.02484 0.1576 5.745 1.413 2.951 16.59 1 1 0.01535 0.01846 0.02309 1.769 2.128 2.661 json
t14_x4_u4_b87 14 4 4 87 cil(eql(dst(P,D),D)) 50867 113850909 o1(o2(o2(x,x),x)) true 65903 65903 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_x4_u4_b88 14 4 4 88 cil(min(add(P,D),D)) 50868 113850910 o1(o2(o2(x,x),x)) true 65911 65911 -0.1875 0.5 0.6875 0.5982 0.7735 -1 0.9997 2 1 2.823 0.0385 0 0.0674 1 1 -0.00008984 0.0723 0.07873 0.03395 0.1843 2.734 1 0.06436 0.1209 1 1 0.04456 0.1575 0.1593 0.07448 0.2633 0.2663 json
t14_x4_u4_b89 14 4 4 89 cil(min(sub(P,D),D)) 50869 113850911 o1(o2(o2(x,x),x)) true 65919 65919 -0.2285 0.4375 0.666 0.556 0.7456 -1 0.9997 2 1 3.21 0.03518 0 0.0674 1 1 -0.00008984 0.06454 0.07259 0.03063 0.175 2.597 0.9997 0.06328 0.1161 1 1 0.0409 0.146 0.136 0.07356 0.2627 0.2445 json
t14_x4_u4_b90 14 4 4 90 cil(min(mlt(P,D),D)) 50870 113850912 o1(o2(o2(x,x),x)) true 65927 65927 -0.1644 0.2852 0.4121 0.3055 0.5527 -1 0.9994 1.999 1 3.855 0.08434 0 0.1608 1 1 0.00761 0.1586 0.2165 0.05846 0.2418 1.503 0.9994 0.2761 0.519 1 1 0.08047 0.3011 0.07719 0.2634 0.9856 0.2527 json
t14_x4_u4_b91 14 4 4 91 cil(min(div(P,D),D)) 50871 113850913 o1(o2(o2(x,x),x)) true 65935 65935 -0.6082 0.1289 0.7957 0.3845 0.6201 -1 0.9991 1.999 1 2.422 0.1789 0 0.1744 1 1 1.892e-9 0.3091 0.2398 0.1484 0.3852 2.209 1.999 0.4652 0.8038 1 1 0.2025 0.5705 0.1156 0.5267 1.484 0.3007 json
t14_x4_u4_b92 14 4 4 92 cil(min(pow(P,D),D)) 50872 113850914 o1(o2(o2(x,x),x)) true 65943 65943 0.4688 0.9375 0.4688 0.1475 0.3841 0 0.9997 0.9997 1 3.332 0.06079 0 0.1149 1 1 0 0.1127 0.1248 0.0476 0.2182 1.9 0.9997 0.4121 0.764 1 1 0.06466 0.2279 0.03299 0.4383 1.545 0.2236 json
t14_x4_u4_b93 14 4 4 93 cil(min(mod(P,D),D)) 50873 113850915 o1(o2(o2(x,x),x)) true 65951 65951 0.1876 0.4063 0.1876 0.1052 0.3243 0 0.9929 0.9929 1 2.02 0.03716 0 0.06249 1 1 -0.00008984 0.08623 0.0768 0.03326 0.1824 2.918 0.9929 0.3533 0.8198 1 1 0.02941 0.1078 0.03269 0.2796 1.025 0.3108 json
t14_x4_u4_b94 14 4 4 94 cil(min(lrg(P,D),D)) 50874 113850916 o1(o2(o2(x,x),x)) true 65959 65959 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_x4_u4_b95 14 4 4 95 cil(min(eql(P,D),D)) 50875 113850917 o1(o2(o2(x,x),x)) true 65967 65967 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_x4_u4_b96 14 4 4 96 cil(min(min(P,D),D)) 50876 113850918 o1(o2(o2(x,x),x)) true 65975 65975 -0.25 0.4375 0.6875 0.5709 0.7556 -1 0.9997 2 1 3.025 0.03057 0 0.05947 1 1 -0.00008984 0.05632 0.06286 0.02704 0.1644 2.765 0.9997 0.05354 0.09866 1 1 0.03411 0.1283 0.1411 0.05974 0.2247 0.2471 json
t14_x4_u4_b97 14 4 4 97 cil(min(dot(P,D),D)) 50877 113850919 o1(o2(o2(x,x),x)) true 65983 65983 -0.4169 0.2075 0.5683 0.2925 0.5408 -1 0.9991 1.999 1 4.162 0.07032 0.05281 0.228 0.1422 1 0.00476 0.3721 0.3659 0.07114 0.2667 1.17 1.413 0.421 1.272 1 1 0.1225 0.4252 0.1027 0.4189 1.454 0.351 json
t14_x4_u4_b98 14 4 4 98 cil(min(dst(P,D),D)) 50878 113850920 o1(o2(o2(x,x),x)) true 65991 65991 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_x4_u4_b99 14 4 4 99 cil(dot(add(P,D),D)) 50879 113850921 o1(o2(o2(x,x),x)) true 65999 65999 0.3722 0.7646 0.5833 0.3259 0.5709 -1 1 2 1 4.369 0.08126 0.08126 0.2963 -0.000003805 1 0.00547 0.5688 0.5275 0.07474 0.2734 0.9227 1.413 0.4987 1.745 1 1 0.1334 0.4623 0.1045 0.4094 1.419 0.3205 json
t14_x4_u4_b100 14 4 4 100 cil(dot(sub(P,D),D)) 50880 113850922 o1(o2(o2(x,x),x)) true 66007 66007 -0.02291 0.4836 0.535 0.4091 0.6396 -1 1 2 1 4.736 0.1029 0.1029 0.35 -0.000006117 1 0.005146 0.7208 0.623 0.08338 0.2887 0.8251 1.413 0.5032 1.762 1 1 0.1772 0.6424 0.1288 0.4332 1.57 0.3148 json
t14_x4_u4_b101 14 4 4 101 cil(dot(mlt(P,D),D)) 50881 113850923 o1(o2(o2(x,x),x)) true 66015 66015 0.3333 0.577 0.6572 0.4823 0.6945 -1 1 2 1 3.354 0.04278 0.04278 0.1398 -0.000004224 1 0.0003323 0.2612 0.2354 0.06601 0.2569 1.838 1.576 0.1774 0.5416 1 1 0.0823 0.2421 0.1097 0.1706 0.502 0.2275 json
t14_x4_u4_b102 14 4 4 102 cil(dot(div(P,D),D)) 50882 113850924 o1(o2(o2(x,x),x)) true 66023 66023 -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_x4_u4_b103 14 4 4 103 cil(dot(pow(P,D),D)) 50883 113850925 o1(o2(o2(x,x),x)) true 66031 66031 -0.5806 0.2461 0.9196 0.5551 0.745 -1 1 2 1 1.677 0.01324 0.01324 0.04133 -1.758e-7 1 -0.0001253 0.07373 0.06677 0.02478 0.1574 3.809 2 0.04772 0.1328 1 1 0.03013 0.09717 0.2058 0.05427 0.1751 0.3707 json
t14_x4_u4_b104 14 4 4 104 cil(dot(mod(P,D),D)) 50884 113850926 o1(o2(o2(x,x),x)) true 66039 66039 -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_x4_u4_b105 14 4 4 105 cil(dot(lrg(P,D),D)) 50885 113850927 o1(o2(o2(x,x),x)) true 66047 66047 0.3181 0.6648 0.3188 0.1348 0.3671 -0.2466 0.9997 1.246 1 3.107 0.02904 0.02904 0.09898 0.000002598 1 0.00004265 0.1732 0.1286 0.04828 0.2197 2.22 1.409 0.4308 1.285 1 1 0.05925 0.1851 0.04632 0.4396 1.373 0.3436 json
t14_x4_u4_b106 14 4 4 106 cil(dot(eql(P,D),D)) 50886 113850928 o1(o2(o2(x,x),x)) true 66055 66055 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_x4_u4_b107 14 4 4 107 cil(dot(min(P,D),D)) 50887 113850929 o1(o2(o2(x,x),x)) true 66063 66063 0.5167 0.8351 0.6606 0.3032 0.5506 -1 1 2 1 3.656 0.04923 0.04924 0.1892 -0.000007264 1 0.00386 0.2929 0.3176 0.06268 0.2504 1.323 1.413 0.3248 0.9661 1 1 0.08451 0.2777 0.07143 0.2788 0.916 0.2356 json
t14_x4_u4_b108 14 4 4 108 cil(dot(dot(P,D),D)) 50888 113850930 o1(o2(o2(x,x),x)) true 66071 66071 0.3091 0.6148 0.6497 0.4825 0.6946 -1 1 2 1 3.665 0.06834 0.06834 0.1932 -3.816e-7 1 0.000191 0.4999 0.372 0.09934 0.3152 1.632 1.485 0.2833 1.036 1 1 0.1261 0.3165 0.1076 0.2615 0.656 0.223 json
t14_x4_u4_b109 14 4 4 109 cil(dot(dst(P,D),D)) 50889 113850931 o1(o2(o2(x,x),x)) true 66079 66079 0.3096 0.7062 0.6473 0.4491 0.6701 -1 1 2 1 4.189 0.1139 0.1139 0.3402 0.000001373 1 0.0005721 0.9746 0.6904 0.1121 0.3349 0.9843 1.414 0.5074 2.17 1 1 0.1827 0.6553 0.0759 0.4067 1.459 0.169 json
t14_x4_u4_b110 14 4 4 110 cil(dst(add(P,D),D)) 50890 113850932 o1(o2(o2(x,x),x)) true 66087 66087 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_x4_u4_b111 14 4 4 111 cil(dst(sub(P,D),D)) 50891 113850933 o1(o2(o2(x,x),x)) true 66095 66095 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_x4_u4_b112 14 4 4 112 cil(dst(mlt(P,D),D)) 50892 113850934 o1(o2(o2(x,x),x)) true 66103 66103 0.9961 1 0.9961 0.00237 0.04868 0.0005821 1 0.9994 1 0.1068 0.00003493 0.00003493 0.0008403 4.166e-7 0 -1.333e-10 0.000005074 0.0002156 0.00006906 0.00831 9.889 0.1173 0.02948 0.002141 1 1 0.0002426 0.003158 0.008659 0.1024 1.333 3.654 json
t14_x4_u4_b113 14 4 4 113 cil(dst(div(P,D),D)) 50893 113850935 o1(o2(o2(x,x),x)) true 66111 66111 -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_x4_u4_b114 14 4 4 114 cil(dst(pow(P,D),D)) 50894 113850936 o1(o2(o2(x,x),x)) true 66119 66119 -0.5 0.25 1 0.75 0.866 -1 1 2 1 0.8113 0.007937 0.007937 0.007937 0 1 0 0.03187 0.01587 0.01581 0.1257 15.84 2 0.02116 0.0425 1 1 0.02105 0.08421 0.3368 0.02807 0.1123 0.4491 json
t14_x4_u4_b115 14 4 4 115 cil(dst(mod(P,D),D)) 50895 113850937 o1(o2(o2(x,x),x)) true 66127 66127 -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_x4_u4_b116 14 4 4 116 cil(dst(lrg(P,D),D)) 50896 113850938 o1(o2(o2(x,x),x)) true 66135 66135 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_x4_u4_b117 14 4 4 117 cil(dst(eql(P,D),D)) 50897 113850939 o1(o2(o2(x,x),x)) true 66143 66143 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_x4_u4_b118 14 4 4 118 cil(dst(min(P,D),D)) 50898 113850940 o1(o2(o2(x,x),x)) true 66151 66151 0.7598 0.8086 0.7598 0.1723 0.4151 0 1 1 1 1.233 0.002384 0.002384 0.01148 -0.000002442 1 3.488e-9 0.007955 0.01044 0.004636 0.06809 5.933 1.413 0.02767 0.04616 1 1 0.007307 0.02822 0.06622 0.0424 0.1638 0.3842 json
t14_x4_u4_b119 14 4 4 119 cil(dst(dot(P,D),D)) 50899 113850941 o1(o2(o2(x,x),x)) true 66159 66159 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