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_u3_b41 14 4 3 41 flr(div(min(P,D),D)) 50700 113850662 o1(o2(o2(x,x),x)) true 64567 64567 0.2251 0.707 0.7482 0.6522 0.8076 -1 1 2 1 2.608 0.4363 0 0.4111 1 1 -0.00394 1.179 0.7672 0.2673 0.517 1.258 2 0.6691 1.807 1 1 0.2674 0.8481 0.1297 0.4101 1.3 0.1989 json
t14_x4_u3_b42 14 4 3 42 flr(div(dot(P,D),D)) 50701 113850663 o1(o2(o2(x,x),x)) true 64575 64575 -0.04707 0.477 0.9415 0.9216 0.96 -1 1 2 1 1.892 0.3122 0.105 0.2577 0.4968 1 -0.0002828 1.2 0.4758 0.3508 0.5923 2.298 2.828 0.4526 1.303 1 1 0.3808 0.8909 0.2779 0.4132 0.9666 0.3015 json
t14_x4_u3_b43 14 4 3 43 flr(div(dst(P,D),D)) 50702 113850664 o1(o2(o2(x,x),x)) true 64583 64583 -0.01773 0.4909 0.9823 0.976 0.9879 -1 1 2 1 1.335 0.4452 0.0009559 0.2467 0.9957 1 3.492e-10 0.8505 0.4576 0.3851 0.6206 2.515 2.061 0.4571 0.8715 1 1 0.4614 1.869 0.0324 0.4727 1.915 0.03319 json
t14_x4_u3_b44 14 4 3 44 flr(pow(add(P,D),D)) 50703 113850665 o1(o2(o2(x,x),x)) true 64591 64591 -0.2032 0.5 0.7967 0.7014 0.8375 -1 1 2 1 2.718 0.0347 0 0.07296 1 1 -0.0004209 0.06615 0.0946 0.02938 0.1714 2.35 1.008 0.04947 0.09432 1 1 0.03649 0.1263 0.2308 0.05202 0.1801 0.329 json
t14_x4_u3_b45 14 4 3 45 flr(pow(sub(P,D),D)) 50704 113850666 o1(o2(o2(x,x),x)) true 64599 64599 -0.3436 0.375 0.7813 0.6246 0.7903 -1 1 2 1 2.4 0.03263 0 0.06027 1 1 -0.0003311 0.06223 0.08064 0.02901 0.1703 2.826 1 0.05224 0.09963 1 1 0.03365 0.1093 0.1636 0.05388 0.175 0.262 json
t14_x4_u3_b46 14 4 3 46 flr(pow(mlt(P,D),D)) 50705 113850667 o1(o2(o2(x,x),x)) true 64607 64607 -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_u3_b47 14 4 3 47 flr(pow(div(P,D),D)) 50706 113850668 o1(o2(o2(x,x),x)) true 64615 64615 -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_u3_b48 14 4 3 48 flr(pow(pow(P,D),D)) 50707 113850669 o1(o2(o2(x,x),x)) true 64623 64623 -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_u3_b49 14 4 3 49 flr(pow(mod(P,D),D)) 50708 113850670 o1(o2(o2(x,x),x)) true 64631 64631 -0.1902 0.5039 0.8019 0.722 0.8497 -1 1 2 1 2.6 0.09482 0 0.125 1 1 0.00008984 0.2482 0.2213 0.07917 0.2814 2.25 2 0.1313 0.3437 1 1 0.07385 0.1632 0.2453 0.1023 0.2261 0.3397 json
t14_x4_u3_b50 14 4 3 50 flr(pow(lrg(P,D),D)) 50709 113850671 o1(o2(o2(x,x),x)) true 64639 64639 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_u3_b51 14 4 3 51 flr(pow(eql(P,D),D)) 50710 113850672 o1(o2(o2(x,x),x)) true 64647 64647 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_u3_b52 14 4 3 52 flr(pow(min(P,D),D)) 50711 113850673 o1(o2(o2(x,x),x)) true 64655 64655 -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_u3_b53 14 4 3 53 flr(pow(dot(P,D),D)) 50712 113850674 o1(o2(o2(x,x),x)) true 64663 64663 -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_u3_b54 14 4 3 54 flr(pow(dst(P,D),D)) 50713 113850675 o1(o2(o2(x,x),x)) true 64671 64671 0.6571 0.999 0.6571 0.1366 0.3697 8.471e-8 1 1 1 3.223 0.07329 0.001069 0.1484 0.9712 1 -0.0003425 0.1434 0.2018 0.05232 0.2287 1.541 1.413 0.5442 1.05 1 1 0.07772 0.1962 0.03597 0.5688 1.436 0.2632 json
t14_x4_u3_b55 14 4 3 55 flr(mod(add(P,D),D)) 50714 113850676 o1(o2(o2(x,x),x)) true 64679 64679 -0.4149 0 0.4149 0.2379 0.4878 -1 0 1 1 1.515 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.061 0.07761 0.07238 0.2564 0.3262 0.3042 json
t14_x4_u3_b56 14 4 3 56 flr(mod(sub(P,D),D)) 50715 113850677 o1(o2(o2(x,x),x)) true 64687 64687 -0.4149 0 0.4149 0.2337 0.4834 -1 0 1 1 1.696 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.06192 0.0807 0.06667 0.265 0.3454 0.2853 json
t14_x4_u3_b57 14 4 3 57 flr(mod(mlt(P,D),D)) 50716 113850678 o1(o2(o2(x,x),x)) true 64695 64695 -0.1969 0 0.1969 0.1242 0.3524 -0.9929 0 0.9929 1 1.311 0.2717 0 0.3172 1 1 -0.00788 0.8806 0.62 0.1711 0.4136 1.304 0.9929 2.188 7.091 1 1 0.104 0.1578 0.02745 0.8374 1.271 0.221 json
t14_x4_u3_b58 14 4 3 58 flr(mod(div(P,D),D)) 50717 113850679 o1(o2(o2(x,x),x)) true 64703 64703 -0.4375 0 0.4375 0.1379 0.3713 -0.9929 0 0.9929 1 3.578 0.06042 0 0.1181 1 1 -0.0001797 0.1123 0.125 0.04645 0.2155 1.825 0.9929 0.4383 0.8148 1 1 0.06684 0.2271 0.03724 0.4848 1.647 0.2701 json
t14_x4_u3_b59 14 4 3 59 flr(mod(pow(P,D),D)) 50718 113850680 o1(o2(o2(x,x),x)) true 64711 64711 -0.5 0 0.5 0.25 0.5 -1 0 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_x4_u3_b60 14 4 3 60 flr(mod(mod(P,D),D)) 50719 113850681 o1(o2(o2(x,x),x)) true 64719 64719 -0.4026 0 0.4026 0.2335 0.4832 -1 0 1 1 1.62 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.05304 0.0694 0.06953 0.2272 0.2973 0.2978 json
t14_x4_u3_b61 14 4 3 61 flr(mod(lrg(P,D),D)) 50720 113850682 o1(o2(o2(x,x),x)) true 64727 64727 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_u3_b62 14 4 3 62 flr(mod(eql(P,D),D)) 50721 113850683 o1(o2(o2(x,x),x)) true 64735 64735 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_u3_b63 14 4 3 63 flr(mod(min(P,D),D)) 50722 113850684 o1(o2(o2(x,x),x)) true 64743 64743 -0.5133 0 0.5133 0.2281 0.4776 -1 0 1 1 1.958 0.2259 0 0.2535 1 1 -0.00394 0.6691 0.4926 0.1618 0.4022 1.587 0.9997 0.9904 2.933 1 1 0.1143 0.1599 0.05295 0.5011 0.7012 0.2321 json
t14_x4_u3_b64 14 4 3 64 flr(mod(dot(P,D),D)) 50723 113850685 o1(o2(o2(x,x),x)) true 64751 64751 -0.4225 0 0.4225 0.1187 0.3445 -1 0 1 1 3.847 0.1229 0.05828 0.2697 0.3565 1 -0.002303 0.7121 0.5012 0.1084 0.3293 1.221 1.413 1.526 6.001 1 1 0.1186 0.2328 0.0659 0.999 1.962 0.5552 json
t14_x4_u3_b65 14 4 3 65 flr(mod(dst(P,D),D)) 50724 113850686 o1(o2(o2(x,x),x)) true 64759 64759 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_u3_b66 14 4 3 66 flr(lrg(add(P,D),D)) 50725 113850687 o1(o2(o2(x,x),x)) true 64767 64767 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_u3_b67 14 4 3 67 flr(lrg(sub(P,D),D)) 50726 113850688 o1(o2(o2(x,x),x)) true 64775 64775 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_u3_b68 14 4 3 68 flr(lrg(mlt(P,D),D)) 50727 113850689 o1(o2(o2(x,x),x)) true 64783 64783 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_u3_b69 14 4 3 69 flr(lrg(div(P,D),D)) 50728 113850690 o1(o2(o2(x,x),x)) true 64791 64791 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_u3_b70 14 4 3 70 flr(lrg(pow(P,D),D)) 50729 113850691 o1(o2(o2(x,x),x)) true 64799 64799 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_u3_b71 14 4 3 71 flr(lrg(mod(P,D),D)) 50730 113850692 o1(o2(o2(x,x),x)) true 64807 64807 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_u3_b72 14 4 3 72 flr(lrg(lrg(P,D),D)) 50731 113850693 o1(o2(o2(x,x),x)) true 64815 64815 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_u3_b73 14 4 3 73 flr(lrg(eql(P,D),D)) 50732 113850694 o1(o2(o2(x,x),x)) true 64823 64823 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_u3_b74 14 4 3 74 flr(lrg(min(P,D),D)) 50733 113850695 o1(o2(o2(x,x),x)) true 64831 64831 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_u3_b75 14 4 3 75 flr(lrg(dot(P,D),D)) 50734 113850696 o1(o2(o2(x,x),x)) true 64839 64839 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_u3_b76 14 4 3 76 flr(lrg(dst(P,D),D)) 50735 113850697 o1(o2(o2(x,x),x)) true 64847 64847 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_u3_b77 14 4 3 77 flr(eql(add(P,D),D)) 50736 113850698 o1(o2(o2(x,x),x)) true 64855 64855 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_u3_b78 14 4 3 78 flr(eql(sub(P,D),D)) 50737 113850699 o1(o2(o2(x,x),x)) true 64863 64863 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_u3_b79 14 4 3 79 flr(eql(mlt(P,D),D)) 50738 113850700 o1(o2(o2(x,x),x)) true 64871 64871 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_u3_b80 14 4 3 80 flr(eql(div(P,D),D)) 50739 113850701 o1(o2(o2(x,x),x)) true 64879 64879 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_u3_b81 14 4 3 81 flr(eql(pow(P,D),D)) 50740 113850702 o1(o2(o2(x,x),x)) true 64887 64887 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_u3_b82 14 4 3 82 flr(eql(mod(P,D),D)) 50741 113850703 o1(o2(o2(x,x),x)) true 64895 64895 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_u3_b83 14 4 3 83 flr(eql(lrg(P,D),D)) 50742 113850704 o1(o2(o2(x,x),x)) true 64903 64903 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_u3_b84 14 4 3 84 flr(eql(eql(P,D),D)) 50743 113850705 o1(o2(o2(x,x),x)) true 64911 64911 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_u3_b85 14 4 3 85 flr(eql(min(P,D),D)) 50744 113850706 o1(o2(o2(x,x),x)) true 64919 64919 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_u3_b86 14 4 3 86 flr(eql(dot(P,D),D)) 50745 113850707 o1(o2(o2(x,x),x)) true 64927 64927 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_u3_b87 14 4 3 87 flr(eql(dst(P,D),D)) 50746 113850708 o1(o2(o2(x,x),x)) true 64935 64935 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_u3_b88 14 4 3 88 flr(min(add(P,D),D)) 50747 113850709 o1(o2(o2(x,x),x)) true 64943 64943 -0.75 0 0.75 0.1334 0.3652 -1 -0.000291 0.9997 1 2.329 0.03453 0 0.06344 1 1 -0.00008984 0.06436 0.07079 0.03051 0.1747 2.753 0.9997 0.2589 0.4825 1 1 0.03929 0.1364 0.03299 0.2946 1.023 0.2473 json
t14_x4_u3_b89 14 4 3 89 flr(min(sub(P,D),D)) 50748 113850710 o1(o2(o2(x,x),x)) true 64951 64951 -0.7813 0 0.7813 0.1235 0.3515 -1 -0.000291 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_u3_b90 14 4 3 90 flr(min(mlt(P,D),D)) 50749 113850711 o1(o2(o2(x,x),x)) true 64959 64959 -0.8448 0 0.8448 0.09773 0.3126 -1 -0.000291 0.9997 1 1.682 0.03868 0 0.06821 1 1 0.00002828 0.07039 0.09011 0.03402 0.1844 2.704 0.9997 0.3958 0.7202 1 1 0.04374 0.115 0.03492 0.4475 1.177 0.3573 json
t14_x4_u3_b91 14 4 3 91 flr(min(div(P,D),D)) 50750 113850712 o1(o2(o2(x,x),x)) true 64967 64967 -0.8847 0 0.8847 0.08428 0.2903 -1 -0.0005821 0.9994 1 1.107 0.04114 0 0.06339 1 1 7.096e-10 0.07157 0.08945 0.03711 0.1927 3.039 0.9994 0.4881 0.8491 1 1 0.04847 0.1122 0.02478 0.5751 1.332 0.294 json
t14_x4_u3_b92 14 4 3 92 flr(min(pow(P,D),D)) 50751 113850713 o1(o2(o2(x,x),x)) true 64975 64975 -0.5 0 0.5 0.1418 0.3765 -0.9997 -0.000291 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_u3_b93 14 4 3 93 flr(min(mod(P,D),D)) 50752 113850714 o1(o2(o2(x,x),x)) true 64983 64983 -0.715 0 0.715 0.1495 0.3867 -1 -0.000291 0.9997 1 2.413 0.09754 0 0.1267 1 1 -0.00008985 0.261 0.1973 0.08149 0.2855 2.254 0.9997 0.6524 1.746 1 1 0.06545 0.1677 0.03021 0.4377 1.122 0.202 json
t14_x4_u3_b94 14 4 3 94 flr(min(lrg(P,D),D)) 50753 113850715 o1(o2(o2(x,x),x)) true 64991 64991 -0.5 0 0.5 0.1418 0.3765 -0.9997 -0.000291 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_u3_b95 14 4 3 95 flr(min(eql(P,D),D)) 50754 113850716 o1(o2(o2(x,x),x)) true 64999 64999 -0.5 0 0.5 0.1418 0.3765 -0.9997 -0.000291 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_u3_b96 14 4 3 96 flr(min(min(P,D),D)) 50755 113850717 o1(o2(o2(x,x),x)) true 65007 65007 -0.75 0 0.75 0.1334 0.3652 -1 -0.000291 0.9997 1 2.329 0.03453 0 0.06344 1 1 -0.00008984 0.06436 0.07079 0.03051 0.1747 2.753 0.9997 0.2589 0.4825 1 1 0.03929 0.1364 0.03299 0.2946 1.023 0.2473 json
t14_x4_u3_b97 14 4 3 97 flr(min(dot(P,D),D)) 50756 113850718 o1(o2(o2(x,x),x)) true 65015 65015 -0.919 0 0.919 0.04756 0.2181 -1 -0.0005821 0.9994 1 1.257 0.02488 0.01436 0.07021 0.268 1 0.0002988 0.1144 0.1145 0.0343 0.1852 2.638 1.413 0.825 2.405 1 1 0.04161 0.09782 0.02506 0.8748 2.057 0.5269 json
t14_x4_u3_b98 14 4 3 98 flr(min(dst(P,D),D)) 50757 113850719 o1(o2(o2(x,x),x)) true 65023 65023 -0.5 0 0.5 0.1418 0.3765 -0.9997 -0.000291 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_u3_b99 14 4 3 99 flr(dot(add(P,D),D)) 50758 113850720 o1(o2(o2(x,x),x)) true 65031 65031 -0.4396 0.1996 0.6049 0.2982 0.5461 -1 1 2 1 4.195 0.07766 0.07767 0.2849 -0.000003741 1 0.001257 0.5406 0.5089 0.07417 0.2724 0.9561 1.413 0.5209 1.813 1 1 0.1236 0.4412 0.09626 0.4145 1.479 0.3228 json
t14_x4_u3_b100 14 4 3 100 flr(dot(sub(P,D),D)) 50759 113850721 o1(o2(o2(x,x),x)) true 65039 65039 -0.715 0.07635 0.7729 0.1908 0.4368 -1 1 2 1 2.887 0.06543 0.06543 0.2182 2.847e-7 1 0.0006542 0.4766 0.4022 0.08325 0.2885 1.322 1.412 0.6859 2.498 1 1 0.09519 0.2803 0.07159 0.4989 1.469 0.3752 json
t14_x4_u3_b101 14 4 3 101 flr(dot(mlt(P,D),D)) 50760 113850722 o1(o2(o2(x,x),x)) true 65047 65047 -0.3333 0.404 0.6572 0.482 0.6943 -1 1 2 1 3.334 0.04279 0.04279 0.1401 0.000002133 1 -0.0003323 0.2612 0.2354 0.06595 0.2568 1.833 1.545 0.1775 0.5419 1 1 0.08234 0.2592 0.117 0.1708 0.5378 0.2427 json
t14_x4_u3_b102 14 4 3 102 flr(dot(div(P,D),D)) 50761 113850723 o1(o2(o2(x,x),x)) true 65055 65055 -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_u3_b103 14 4 3 103 flr(dot(pow(P,D),D)) 50762 113850724 o1(o2(o2(x,x),x)) true 65063 65063 -0.8165 0.05237 0.8422 0.1397 0.3737 -1 0.7011 1.701 1 1.806 0.01283 0.01283 0.05075 -0.000002286 1 -0.0001479 0.07989 0.0784 0.02309 0.152 2.994 1.414 0.1838 0.572 1 1 0.02462 0.07252 0.0451 0.1763 0.5192 0.3229 json
t14_x4_u3_b104 14 4 3 104 flr(dot(mod(P,D),D)) 50763 113850725 o1(o2(o2(x,x),x)) true 65071 65071 -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_u3_b105 14 4 3 105 flr(dot(lrg(P,D),D)) 50764 113850726 o1(o2(o2(x,x),x)) true 65079 65079 -0.4164 0 0.4164 0.1465 0.3828 -1 0 1 1 3.658 0.0312 0.0312 0.1102 0.000001373 1 0.00004122 0.1798 0.1378 0.05024 0.2241 2.034 1.414 0.4259 1.227 1 1 0.06579 0.2101 0.04676 0.449 1.434 0.3192 json
t14_x4_u3_b106 14 4 3 106 flr(dot(eql(P,D),D)) 50765 113850727 o1(o2(o2(x,x),x)) true 65087 65087 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_u3_b107 14 4 3 107 flr(dot(min(P,D),D)) 50766 113850728 o1(o2(o2(x,x),x)) true 65095 65095 -0.3729 0.224 0.44 0.2216 0.4707 -1 1 2 1 3.688 0.04557 0.04557 0.1728 0.000001185 1 0.0003458 0.268 0.29 0.06128 0.2475 1.433 1.409 0.4113 1.209 1 1 0.07183 0.2266 0.06286 0.3242 1.023 0.2837 json
t14_x4_u3_b108 14 4 3 108 flr(dot(dot(P,D),D)) 50767 113850729 o1(o2(o2(x,x),x)) true 65103 65103 -0.3091 0.3804 0.6497 0.4826 0.6947 -1 1 2 1 3.664 0.06843 0.06842 0.1932 0.000001633 1 -0.000191 0.4999 0.372 0.09953 0.3155 1.633 1.517 0.2836 1.036 1 1 0.1258 0.337 0.1167 0.2607 0.6984 0.2419 json
t14_x4_u3_b109 14 4 3 109 flr(dot(dst(P,D),D)) 50768 113850730 o1(o2(o2(x,x),x)) true 65111 65111 -0.3096 0.2863 0.6473 0.4491 0.6701 -1 1 2 1 4.192 0.1137 0.1137 0.3403 -0.000001245 1 -0.0005721 0.9746 0.6904 0.1117 0.3341 0.9818 1.439 0.5066 2.17 1 1 0.1816 0.6512 0.07661 0.4043 1.45 0.1706 json
t14_x4_u3_b110 14 4 3 110 flr(dst(add(P,D),D)) 50769 113850731 o1(o2(o2(x,x),x)) true 65119 65119 0.9961 1 0.9961 0.002383 0.04882 0.000582 1 0.9994 1 0.1068 0.00003512 0.00003512 0.0008419 6.216e-7 0 -1.577e-10 0.000004222 0.000206 0.00006942 0.008332 9.897 0.1169 0.02947 0.001772 1 1 0.0002443 0.003178 0.008708 0.1025 1.334 3.654 json
t14_x4_u3_b111 14 4 3 111 flr(dst(sub(P,D),D)) 50770 113850732 o1(o2(o2(x,x),x)) true 65127 65127 0.9953 1 0.9953 0.00325 0.05701 0.001164 1 0.9988 1 0.1019 0.0006987 0.0006987 0.002903 -2.499e-7 1 -4.881e-11 0.00367 0.00393 0.001388 0.03726 12.84 1.329 0.4299 1.129 1 1 0.002835 0.01 0.01189 0.8723 3.078 3.659 json
t14_x4_u3_b112 14 4 3 112 flr(dst(mlt(P,D),D)) 50771 113850733 o1(o2(o2(x,x),x)) true 65135 65135 0.7172 0.9769 0.7172 0.174 0.4172 0 1 1 1 1.716 0.03667 0.03667 0.1025 0.00001128 1 -0.006455 0.1775 0.1844 0.06284 0.2507 2.447 1.351 0.4215 1.02 1 1 0.0798 0.2632 0.1066 0.4586 1.513 0.6128 json
t14_x4_u3_b113 14 4 3 113 flr(dst(div(P,D),D)) 50772 113850734 o1(o2(o2(x,x),x)) true 65143 65143 -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_u3_b114 14 4 3 114 flr(dst(pow(P,D),D)) 50773 113850735 o1(o2(o2(x,x),x)) true 65151 65151 -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_u3_b115 14 4 3 115 flr(dst(mod(P,D),D)) 50774 113850736 o1(o2(o2(x,x),x)) true 65159 65159 -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_u3_b116 14 4 3 116 flr(dst(lrg(P,D),D)) 50775 113850737 o1(o2(o2(x,x),x)) true 65167 65167 0.5472 0.9133 0.5472 0.1718 0.4144 0 1 1 1 3.071 0.02057 0.02057 0.08924 -0.000001132 1 0.00007041 0.1084 0.1161 0.03317 0.1821 2.041 1.26 0.2395 0.6312 1 1 0.04504 0.1604 0.05431 0.2622 0.9341 0.3162 json
t14_x4_u3_b117 14 4 3 117 flr(dst(eql(P,D),D)) 50776 113850738 o1(o2(o2(x,x),x)) true 65175 65175 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_u3_b118 14 4 3 118 flr(dst(min(P,D),D)) 50777 113850739 o1(o2(o2(x,x),x)) true 65183 65183 0.6954 0.7506 0.6954 0.2004 0.4477 0 1 1 1 1.373 0.002589 0.002589 0.01277 -0.000002518 1 4.121e-9 0.008761 0.01167 0.005013 0.0708 5.543 1.319 0.02583 0.04372 1 1 0.008196 0.03227 0.07788 0.0409 0.161 0.3886 json
t14_x4_u3_b119 14 4 3 119 flr(dst(dot(P,D),D)) 50778 113850740 o1(o2(o2(x,x),x)) true 65191 65191 0.8501 0.9995 0.8501 0.1018 0.319 8.471e-8 1 1 1 1.431 0.03455 0.03455 0.09683 0.000002103 1 -0.001611 0.2019 0.1772 0.05969 0.2443 2.523 1.409 0.679 1.984 1 1 0.07852 0.2011 0.07929 0.7716 1.976 0.7792 json
t14_x4_u3_b120 14 4 3 120 flr(dst(dst(P,D),D)) 50779 113850741 o1(o2(o2(x,x),x)) true 65199 65199 0.9986 1 0.9986 0.0009895 0.03146 0.001164 1 0.9988 1 0.03123 0.0000782 0.0000782 0.000553 0 1 3.004e-11 0.0002422 0.0005928 0.000156 0.01249 22.58 0.8276 0.1581 0.2447 1 1 0.0004137 0.002853 0.003603 0.4181 2.883 3.641 json
t14_x4_u4_b0 14 4 4 0 cil(add(add(P,D),D)) 50780 113850822 o1(o2(o2(x,x),x)) true 65207 65207 0.0625 0.5313 0.9375 0.9201 0.9592 -1 1 2 1 1.809 0.01317 0 0.02194 1 1 0 0.02797 0.03347 0.01269 0.1127 5.133 0.9994 0.01431 0.0304 1 1 0.01638 0.02449 0.2344 0.0178 0.02662 0.2548 json
t14_x4_u4_b1 14 4 4 1 cil(add(sub(P,D),D)) 50781 113850823 o1(o2(o2(x,x),x)) true 65215 65215 0 0.5 0.9375 0.924 0.9612 -1 1 2 1 1.813 0.0007059 0 0.007937 1 1 0 0.00003235 0.001851 0.0006432 0.02536 3.195 0.1169 0.0007639 0.00003501 1 1 0.001851 0.02449 0.2344 0.002003 0.0265 0.2537 json
t14_x4_u4_b2 14 4 4 2 cil(add(mlt(P,D),D)) 50782 113850824 o1(o2(o2(x,x),x)) true 65223 65223 0.2965 0.6914 0.4525 0.2674 0.5171 -0.9701 1 1.97 1 3.772 0.1265 0 0.2327 1 1 0.006561 0.2784 0.3611 0.07241 0.2691 1.157 0.9994 0.4732 1.041 1 1 0.1029 0.3389 0.07848 0.385 1.267 0.2935 json
t14_x4_u4_b3 14 4 4 3 cil(add(div(P,D),D)) 50783 113850825 o1(o2(o2(x,x),x)) true 65231 65231 -0.06442 0.457 0.9382 0.9221 0.9603 -1 1 2 1 1.68 0.4084 0 0.2381 1 1 -3.754e-12 0.7713 0.425 0.3517 0.593 2.491 2 0.4429 0.8365 1 1 0.4139 1.735 0.2546 0.4489 1.881 0.2761 json
t14_x4_u4_b4 14 4 4 4 cil(add(pow(P,D),D)) 50784 113850826 o1(o2(o2(x,x),x)) true 65239 65239 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_b5 14 4 4 5 cil(add(mod(P,D),D)) 50785 113850827 o1(o2(o2(x,x),x)) true 65247 65247 0.4838 0.9883 0.4844 0.1341 0.3662 -0.07333 0.9997 1.073 1 3.57 0.09287 0 0.1602 1 1 8.515e-9 0.2235 0.223 0.06719 0.2592 1.618 1.044 0.6925 1.667 1 1 0.07343 0.2129 0.01128 0.5476 1.587 0.08415 json
t14_x4_u4_b6 14 4 4 6 cil(add(lrg(P,D),D)) 50786 113850828 o1(o2(o2(x,x),x)) true 65255 65255 0.7813 1 0.7813 0.1235 0.3515 0.000291 1 0.9997 1 2.124 0.03021 0 0.05541 1 1 0.00008984 0.05631 0.06193 0.02714 0.1647 2.973 0.9997 0.2446 0.4558 1 1 0.03059 0.106 0.03299 0.2476 0.858 0.267 json
t14_x4_u4_b7 14 4 4 7 cil(add(eql(P,D),D)) 50787 113850829 o1(o2(o2(x,x),x)) true 65263 65263 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_b8 14 4 4 8 cil(add(min(P,D),D)) 50788 113850830 o1(o2(o2(x,x),x)) true 65271 65271 -0.1972 0.5 0.6875 0.5849 0.7648 -1 0.9994 1.999 1 3.026 0.0624 0 0.116 1 1 -0.0001797 0.1321 0.1486 0.04894 0.2212 1.907 0.9997 0.1067 0.2259 1 1 0.06202 0.0784 0.1476 0.106 0.134 0.2524 json
t14_x4_u4_b9 14 4 4 9 cil(add(dot(P,D),D)) 50789 113850831 o1(o2(o2(x,x),x)) true 65279 65279 0.1631 0.6089 0.5291 0.3775 0.6144 -1 1 2 1 4.665 0.08713 0.08615 0.3163 0.005658 1 0.004824 0.5879 0.5547 0.07323 0.2706 0.8556 1.413 0.459 1.557 1 1 0.1478 0.5495 0.1103 0.3914 1.455 0.2922 json
t14_x4_u4_b10 14 4 4 10 cil(add(dst(P,D),D)) 50790 113850832 o1(o2(o2(x,x),x)) true 65287 65287 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_b11 14 4 4 11 cil(sub(add(P,D),D)) 50791 113850833 o1(o2(o2(x,x),x)) true 65295 65295 0 0.5 0.9375 0.924 0.9612 -1 1 2 1 1.813 0.0007059 0 0.007937 1 1 0 0.00003235 0.001851 0.0006432 0.02536 3.195 0.1169 0.0007639 0.00003501 1 1 0.001851 0.02449 0.2344 0.002003 0.0265 0.2537 json
t14_x4_u4_b12 14 4 4 12 cil(sub(sub(P,D),D)) 50792 113850834 o1(o2(o2(x,x),x)) true 65303 65303 0.0625 0.5313 0.9375 0.9184 0.9583 -1 1 2 1 1.778 0.01572 0 0.03409 1 1 0 0.0303 0.04159 0.01455 0.1206 3.539 0.9983 0.01711 0.03299 1 1 0.0216 0.04579 0.2322 0.02352 0.04986 0.2528 json
t14_x4_u4_b13 14 4 4 13 cil(sub(mlt(P,D),D)) 50793 113850835 o1(o2(o2(x,x),x)) true 65311 65311 0.2965 0.6914 0.4525 0.2674 0.5171 -0.9701 1 1.97 1 3.772 0.1266 0 0.2327 1 1 0.006561 0.2784 0.3611 0.07249 0.2692 1.157 0.9994 0.4736 1.041 1 1 0.1014 0.3323 0.07968 0.3792 1.243 0.298 json
t14_x4_u4_b14 14 4 4 14 cil(sub(div(P,D),D)) 50794 113850836 o1(o2(o2(x,x),x)) true 65319 65319 -0.06442 0.457 0.9382 0.9221 0.9603 -1 1 2 1 1.68 0.4084 0 0.2381 1 1 0 0.7713 0.425 0.3517 0.593 2.491 2 0.4429 0.8365 1 1 0.4139 1.735 0.2546 0.4489 1.881 0.2761 json
t14_x4_u4_b15 14 4 4 15 cil(sub(pow(P,D),D)) 50795 113850837 o1(o2(o2(x,x),x)) true 65327 65327 -0.02152 0.5 0.9785 0.9739 0.9869 -1 1 2 1 1.244 0.004625 0 0.007937 1 1 -4.731e-10 0.007971 0.009631 0.00456 0.06753 8.509 1.001 0.004749 0.008185 1 1 0.006981 0.05009 0.3027 0.007168 0.05143 0.3108 json
t14_x4_u4_b16 14 4 4 16 cil(sub(mod(P,D),D)) 50796 113850838 o1(o2(o2(x,x),x)) true 65335 65335 0.4838 0.9883 0.4839 0.1333 0.3651 -0.007124 0.9997 1.007 1 3.539 0.09156 0 0.1598 1 1 1.136e-8 0.219 0.2228 0.066 0.2569 1.607 1.007 0.6869 1.643 1 1 0.07178 0.2082 0.00902 0.5385 1.562 0.06767 json
t14_x4_u4_b17 14 4 4 17 cil(sub(lrg(P,D),D)) 50797 113850839 o1(o2(o2(x,x),x)) true 65343 65343 0.7382 1 0.7382 0.1383 0.3718 0.000291 1 0.9997 1 2.383 0.03548 0 0.06731 1 1 -0.00008984 0.06471 0.07345 0.03094 0.1759 2.613 0.9994 0.2566 0.468 1 1 0.03898 0.1331 0.02787 0.2819 0.9628 0.2016 json
t14_x4_u4_b18 14 4 4 18 cil(sub(eql(P,D),D)) 50798 113850840 o1(o2(o2(x,x),x)) true 65351 65351 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_b19 14 4 4 19 cil(sub(min(P,D),D)) 50799 113850841 o1(o2(o2(x,x),x)) true 65359 65359 -0.4472 0 0.4472 0.2367 0.4866 -1 0 1 1 1.59 0.004966 0 0.0119 1 1 4.731e-10 0.008236 0.01066 0.004825 0.06946 5.838 0.9991 0.02098 0.03479 1 1 0.007711 0.02988 0.06998 0.03257 0.1262 0.2956 json