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
t12_x15_u3_b44 12 15 3 44 flr(pow(D,add(R,P))) 32300 98053874 o1(o2(x,o2(x,x))) true 88247 88247 -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
t12_x15_u3_b45 12 15 3 45 flr(pow(D,sub(R,P))) 32301 98053875 o1(o2(x,o2(x,x))) true 88255 88255 -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
t12_x15_u3_b46 12 15 3 46 flr(pow(D,mlt(R,P))) 32302 98053876 o1(o2(x,o2(x,x))) true 88263 88263 -0.8866 0.0625 0.9884 0.1986 0.4456 -1 1 2 1 0.4834 0.02846 0.0001488 0.01725 0.9896 1 -0.00002436 0.05734 0.03083 0.0283 0.1682 9.751 2 0.1441 0.2888 1 1 0.03688 0.146 0.2882 0.1857 0.7351 1.451 json
t12_x15_u3_b47 12 15 3 47 flr(pow(D,div(R,P))) 32303 98053877 o1(o2(x,o2(x,x))) true 88271 88271 -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
t12_x15_u3_b48 12 15 3 48 flr(pow(D,pow(R,P))) 32304 98053878 o1(o2(x,o2(x,x))) true 88279 88279 -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
t12_x15_u3_b49 12 15 3 49 flr(pow(D,mod(R,P))) 32305 98053879 o1(o2(x,o2(x,x))) true 88287 88287 -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
t12_x15_u3_b50 12 15 3 50 flr(pow(D,lrg(R,P))) 32306 98053880 o1(o2(x,o2(x,x))) true 88295 88295 0.02148 0.5234 0.9746 0.9673 0.9835 -1 1 2 1 1.383 0.006254 0.001861 0.009511 0.5414 1 0.000002852 0.01604 0.01247 0.008025 0.08958 9.419 2.828 0.008389 0.01658 1 1 0.0124 0.06261 0.3456 0.01282 0.06473 0.3573 json
t12_x15_u3_b51 12 15 3 51 flr(pow(D,eql(R,P))) 32307 98053881 o1(o2(x,o2(x,x))) true 88303 88303 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
t12_x15_u3_b52 12 15 3 52 flr(pow(D,min(R,P))) 32308 98053882 o1(o2(x,o2(x,x))) true 88311 88311 -0.9688 0.01563 1 0.06152 0.248 -1 1 2 1 0.1161 0.008062 0.006047 0.006999 0.1429 1 0 0.02973 0.01411 0.01407 0.1186 16.94 2.828 0.2293 0.4832 1 1 0.01928 0.07712 0.1808 0.3134 1.253 2.939 json
t12_x15_u3_b53 12 15 3 53 flr(pow(D,dot(R,P))) 32309 98053883 o1(o2(x,o2(x,x))) true 88319 88319 -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
t12_x15_u3_b54 12 15 3 54 flr(pow(D,dst(R,P))) 32310 98053884 o1(o2(x,o2(x,x))) true 88327 88327 -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
t12_x15_u3_b55 12 15 3 55 flr(mod(D,add(R,P))) 32311 98053885 o1(o2(x,o2(x,x))) true 88335 88335 -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
t12_x15_u3_b56 12 15 3 56 flr(mod(D,sub(R,P))) 32312 98053886 o1(o2(x,o2(x,x))) true 88343 88343 -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
t12_x15_u3_b57 12 15 3 57 flr(mod(D,mlt(R,P))) 32313 98053887 o1(o2(x,o2(x,x))) true 88351 88351 -0.5625 0 0.5625 0.1514 0.3891 -1 -0.000291 0.9997 1 3.238 0.05647 0 0.1069 1 1 0 0.1047 0.1159 0.04503 0.2122 1.984 0.9997 0.373 0.6913 1 1 0.05855 0.2076 0.06598 0.3867 1.372 0.4359 json
t12_x15_u3_b58 12 15 3 58 flr(mod(D,div(R,P))) 32314 98053888 o1(o2(x,o2(x,x))) true 88359 88359 -0.5625 0 0.5625 0.1514 0.3891 -1 -0.000291 0.9997 1 3.238 0.05647 0 0.1069 1 1 0 0.1047 0.1159 0.04503 0.2122 1.984 0.9997 0.373 0.6913 1 1 0.05855 0.2076 0.06598 0.3867 1.372 0.4359 json
t12_x15_u3_b59 12 15 3 59 flr(mod(D,pow(R,P))) 32315 98053889 o1(o2(x,o2(x,x))) true 88367 88367 -0.9629 0 0.9629 0.02769 0.1664 -1 -0.000291 0.9997 1 0.5297 0.004671 0.002343 0.01185 0.332 1 0.000005704 0.014 0.01556 0.006877 0.08293 7.001 0.9997 0.2533 0.5057 1 1 0.007518 0.03101 0.06241 0.2715 1.12 2.254 json
t12_x15_u3_b60 12 15 3 60 flr(mod(D,mod(R,P))) 32316 98053890 o1(o2(x,o2(x,x))) true 88375 88375 -0.5625 0 0.5625 0.1514 0.3891 -1 -0.000291 0.9997 1 3.238 0.05647 0 0.1069 1 1 0 0.1047 0.1159 0.04503 0.2122 1.984 0.9997 0.373 0.6913 1 1 0.05855 0.2076 0.06598 0.3867 1.372 0.4359 json
t12_x15_u3_b61 12 15 3 61 flr(mod(D,lrg(R,P))) 32317 98053891 o1(o2(x,o2(x,x))) true 88383 88383 -0.7734 0 0.7734 0.1262 0.3552 -1 -0.000291 0.9997 1 2.177 0.02734 0.0005923 0.05418 0.9576 1 0.00008984 0.05176 0.05774 0.025 0.1581 2.918 0.9997 0.2214 0.4102 1 1 0.02775 0.1 0.04254 0.2199 0.7925 0.3371 json
t12_x15_u3_b62 12 15 3 62 flr(mod(D,eql(R,P))) 32318 98053892 o1(o2(x,o2(x,x))) true 88391 88391 -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
t12_x15_u3_b63 12 15 3 63 flr(mod(D,min(R,P))) 32319 98053893 o1(o2(x,o2(x,x))) true 88399 88399 -0.5391 0 0.5391 0.1487 0.3856 -1 -0.000291 0.9997 1 3.311 0.0597 0.0005923 0.1135 0.9804 1 2.253e-11 0.1121 0.124 0.04738 0.2177 1.917 0.9997 0.4055 0.7538 1 1 0.06363 0.2232 0.05782 0.4279 1.501 0.3889 json
t12_x15_u3_b64 12 15 3 64 flr(mod(D,dot(R,P))) 32320 98053894 o1(o2(x,o2(x,x))) true 88407 88407 -0.5078 0 0.5078 0.1434 0.3787 -1 -0.000291 0.9997 1 3.389 0.06401 0.0003948 0.1212 0.9877 1 3.004e-11 0.1197 0.1324 0.0497 0.2229 1.839 0.9997 0.4491 0.8346 1 1 0.06937 0.2389 0.02223 0.4837 1.666 0.155 json
t12_x15_u3_b65 12 15 3 65 flr(mod(D,dst(R,P))) 32321 98053895 o1(o2(x,o2(x,x))) true 88415 88415 -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
t12_x15_u3_b66 12 15 3 66 flr(lrg(D,add(R,P))) 32322 98053896 o1(o2(x,o2(x,x))) true 88423 88423 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
t12_x15_u3_b67 12 15 3 67 flr(lrg(D,sub(R,P))) 32323 98053897 o1(o2(x,o2(x,x))) true 88431 88431 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
t12_x15_u3_b68 12 15 3 68 flr(lrg(D,mlt(R,P))) 32324 98053898 o1(o2(x,o2(x,x))) true 88439 88439 0.5246 0.9434 0.5246 0.1527 0.3908 0 1 1 1 3.442 0.011 0.00223 0.0634 0.6628 1 0.00002565 0.01832 0.03711 0.00921 0.09597 1.514 0.9997 0.08661 0.1199 1 1 0.01993 0.134 0.2798 0.1305 0.8773 1.832 json
t12_x15_u3_b69 12 15 3 69 flr(lrg(D,div(R,P))) 32325 98053899 o1(o2(x,o2(x,x))) true 88447 88447 0.5061 0.9597 0.5061 0.1349 0.3672 0 1 1 1 3.562 0.04112 0.001117 0.1094 0.9471 1 0.0005126 0.07538 0.1077 0.03027 0.174 1.591 0.9997 0.3132 0.559 1 1 0.0447 0.1865 0.1946 0.3315 1.383 1.443 json
t12_x15_u3_b70 12 15 3 70 flr(lrg(D,pow(R,P))) 32326 98053900 o1(o2(x,o2(x,x))) true 88455 88455 0.539 0.9171 0.539 0.164 0.4049 0 1 1 1 3.262 0.008616 0.002034 0.05434 0.618 1 -0.00004561 0.01393 0.02921 0.007699 0.08774 1.615 0.9994 0.06495 0.08497 1 1 0.01367 0.1153 0.2848 0.08334 0.7029 1.737 json
t12_x15_u3_b71 12 15 3 71 flr(lrg(D,mod(R,P))) 32327 98053901 o1(o2(x,o2(x,x))) true 88463 88463 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
t12_x15_u3_b72 12 15 3 72 flr(lrg(D,lrg(R,P))) 32328 98053902 o1(o2(x,o2(x,x))) true 88471 88471 0.2363 0.4831 0.2363 0.1283 0.3582 0 0.9997 0.9997 1 2.277 0.03244 0.00005267 0.0604 0.9968 1 -0.00008699 0.06047 0.06697 0.02885 0.1699 2.812 0.9997 0.2533 0.4714 1 1 0.03637 0.1279 0.04032 0.2835 0.9974 0.3144 json
t12_x15_u3_b73 12 15 3 73 flr(lrg(D,eql(R,P))) 32329 98053903 o1(o2(x,o2(x,x))) true 88479 88479 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
t12_x15_u3_b74 12 15 3 74 flr(lrg(D,min(R,P))) 32330 98053904 o1(o2(x,o2(x,x))) true 88487 88487 0.753 0.9716 0.753 0.1272 0.3567 0 1 1 1 2.494 0.01189 0.001085 0.0461 0.8327 1 -0.00003284 0.02211 0.04 0.01085 0.1042 2.259 0.9997 0.102 0.1738 1 1 0.01476 0.08296 0.1609 0.116 0.6521 1.265 json
t12_x15_u3_b75 12 15 3 75 flr(lrg(D,dot(R,P))) 32331 98053905 o1(o2(x,o2(x,x))) true 88495 88495 0.5427 0.9576 0.5427 0.1534 0.3916 0 1 1 1 3.402 0.007365 0.002418 0.05891 0.5056 1 0.00004817 0.01158 0.02889 0.006315 0.07947 1.349 0.9997 0.06378 0.07552 1 1 0.01626 0.1298 0.2998 0.106 0.8464 1.955 json
t12_x15_u3_b76 12 15 3 76 flr(lrg(D,dst(R,P))) 32332 98053906 o1(o2(x,o2(x,x))) true 88503 88503 0.0002053 0.004425 0.0002053 0.00003538 0.005948 0 0.3282 0.3282 1 0.01396 0.00002646 5.189e-7 0.0001886 0.9615 0 -4.94e-12 0.00005989 0.0002442 0.00002693 0.005189 27.52 0.3282 0.7625 1.693 1 1 0.00004291 0.00008782 0.0001286 1.213 2.482 3.636 json
t12_x15_u3_b77 12 15 3 77 flr(eql(D,add(R,P))) 32333 98053907 o1(o2(x,o2(x,x))) true 88511 88511 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
t12_x15_u3_b78 12 15 3 78 flr(eql(D,sub(R,P))) 32334 98053908 o1(o2(x,o2(x,x))) true 88519 88519 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
t12_x15_u3_b79 12 15 3 79 flr(eql(D,mlt(R,P))) 32335 98053909 o1(o2(x,o2(x,x))) true 88527 88527 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
t12_x15_u3_b80 12 15 3 80 flr(eql(D,div(R,P))) 32336 98053910 o1(o2(x,o2(x,x))) true 88535 88535 0.0002825 0.0007172 0.0002825 0.0001987 0.0141 0 0.9926 0.9926 1 0.008861 0.0004038 0.000002912 0.0005681 0.9857 1 1.17e-7 0.001223 0.001125 0.0004061 0.02015 35.48 0.9926 2.046 6.153 1 1 0 0 0.000007865 0 0 0.03957 json
t12_x15_u3_b81 12 15 3 81 flr(eql(D,pow(R,P))) 32337 98053911 o1(o2(x,o2(x,x))) true 88543 88543 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
t12_x15_u3_b82 12 15 3 82 flr(eql(D,mod(R,P))) 32338 98053912 o1(o2(x,o2(x,x))) true 88551 88551 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
t12_x15_u3_b83 12 15 3 83 flr(eql(D,lrg(R,P))) 32339 98053913 o1(o2(x,o2(x,x))) true 88559 88559 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
t12_x15_u3_b84 12 15 3 84 flr(eql(D,eql(R,P))) 32340 98053914 o1(o2(x,o2(x,x))) true 88567 88567 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
t12_x15_u3_b85 12 15 3 85 flr(eql(D,min(R,P))) 32341 98053915 o1(o2(x,o2(x,x))) true 88575 88575 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
t12_x15_u3_b86 12 15 3 86 flr(eql(D,dot(R,P))) 32342 98053916 o1(o2(x,o2(x,x))) true 88583 88583 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
t12_x15_u3_b87 12 15 3 87 flr(eql(D,dst(R,P))) 32343 98053917 o1(o2(x,o2(x,x))) true 88591 88591 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
t12_x15_u3_b88 12 15 3 88 flr(min(D,add(R,P))) 32344 98053918 o1(o2(x,o2(x,x))) true 88599 88599 -0.7676 0 0.7676 0.1271 0.3566 -1 -0.000291 0.9997 1 2.252 0.03196 0.00005267 0.05952 0.9967 1 -0.0000927 0.05958 0.06598 0.02847 0.1687 2.835 0.9997 0.2517 0.4686 1 1 0.03585 0.1262 0.04032 0.282 0.9928 0.3171 json
t12_x15_u3_b89 12 15 3 89 flr(min(D,sub(R,P))) 32345 98053919 o1(o2(x,o2(x,x))) true 88607 88607 -0.7388 0 0.7388 0.136 0.3688 -1 -0.000291 0.9997 1 2.424 0.03237 0.00005792 0.06329 0.9964 1 0.00008913 0.0597 0.06712 0.02843 0.1686 2.664 0.9994 0.2384 0.4389 1 1 0.03434 0.1213 0.03883 0.2524 0.8919 0.2855 json
t12_x15_u3_b90 12 15 3 90 flr(min(D,mlt(R,P))) 32346 98053920 o1(o2(x,o2(x,x))) true 88615 88615 -0.8127 0 0.8127 0.1027 0.3204 -1 -0.000291 0.9997 1 2.162 0.02709 0.002105 0.06338 0.8558 1 0.00006743 0.05101 0.06769 0.02519 0.1587 2.504 0.9997 0.2844 0.4968 1 1 0.03504 0.1449 0.1378 0.3413 1.411 1.342 json
t12_x15_u3_b91 12 15 3 91 flr(min(D,div(R,P))) 32347 98053921 o1(o2(x,o2(x,x))) true 88623 88623 -0.7832 0 0.7832 0.102 0.3194 -1 -0.000291 0.9997 1 2.603 0.02509 0.001972 0.06489 0.8543 1 -0.00003565 0.04894 0.06329 0.02285 0.1511 2.329 0.9997 0.2653 0.4798 1 1 0.03041 0.1367 0.1483 0.2982 1.34 1.454 json
t12_x15_u3_b92 12 15 3 92 flr(min(D,pow(R,P))) 32348 98053922 o1(o2(x,o2(x,x))) true 88631 88631 -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
t12_x15_u3_b93 12 15 3 93 flr(min(D,mod(R,P))) 32349 98053923 o1(o2(x,o2(x,x))) true 88639 88639 -0.7393 0 0.7393 0.1146 0.3385 -1 -0.000291 0.9997 1 2.886 0.02996 0.001127 0.07421 0.9275 1 0.000001433 0.05581 0.07147 0.02558 0.1599 2.155 0.9997 0.2712 0.487 1 1 0.03428 0.1503 0.1415 0.2991 1.312 1.234 json
t12_x15_u3_b94 12 15 3 94 flr(min(D,lrg(R,P))) 32350 98053924 o1(o2(x,o2(x,x))) true 88647 88647 -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
t12_x15_u3_b95 12 15 3 95 flr(min(D,eql(R,P))) 32351 98053925 o1(o2(x,o2(x,x))) true 88655 88655 -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
t12_x15_u3_b96 12 15 3 96 flr(min(D,min(R,P))) 32352 98053926 o1(o2(x,o2(x,x))) true 88663 88663 -0.8867 0 0.8867 0.06403 0.253 -1 -0.000291 0.9997 1 1.639 0.01363 0.0006318 0.03482 0.9114 1 -0.00006203 0.02557 0.03365 0.01305 0.1142 3.281 0.9997 0.2227 0.3993 1 1 0.01644 0.07574 0.0849 0.2567 1.183 1.326 json
t12_x15_u3_b97 12 15 3 97 flr(min(D,dot(R,P))) 32353 98053927 o1(o2(x,o2(x,x))) true 88671 88671 -0.8529 0 0.8529 0.08729 0.2955 -1 -0.000291 0.9997 1 1.779 0.0234 0.002586 0.0554 0.801 1 0.0001729 0.04466 0.06137 0.02292 0.1514 2.733 0.9997 0.2977 0.5116 1 1 0.03367 0.135 0.1339 0.3858 1.547 1.534 json
t12_x15_u3_b98 12 15 3 98 flr(min(D,dst(R,P))) 32354 98053928 o1(o2(x,o2(x,x))) true 88679 88679 -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
t12_x15_u3_b99 12 15 3 99 flr(dot(D,add(R,P))) 32355 98053929 o1(o2(x,o2(x,x))) true 88687 88687 -0.5876 0.1295 0.6915 0.254 0.5039 -1 1 2 1 3.592 0.07709 0.0777 0.2641 -0.003954 1 0.0008735 0.5644 0.4827 0.08504 0.2916 1.104 1.412 0.6095 2.222 1 1 0.1188 0.3755 0.1194 0.4679 1.479 0.47 json
t12_x15_u3_b100 12 15 3 100 flr(dot(D,sub(R,P))) 32356 98053930 o1(o2(x,o2(x,x))) true 88695 88695 -0.1721 0.3658 0.5453 0.3922 0.6262 -1 1 2 1 4.645 0.09962 0.09907 0.3385 0.002757 1 -0.005118 0.7116 0.6085 0.08412 0.29 0.8568 1.414 0.5066 1.815 1 1 0.1655 0.584 0.1721 0.4219 1.489 0.4388 json
t12_x15_u3_b101 12 15 3 101 flr(dot(D,mlt(R,P))) 32357 98053931 o1(o2(x,o2(x,x))) true 88703 88703 -0.3978 0.2261 0.6096 0.3602 0.6002 -1 1 2 1 4.018 0.05331 0.0536 0.1915 -0.002687 1 -0.000533 0.3101 0.3066 0.07021 0.265 1.383 1.543 0.2968 0.861 1 1 0.1001 0.4488 0.5859 0.2778 1.246 1.627 json
t12_x15_u3_b102 12 15 3 102 flr(dot(D,div(R,P))) 32358 98053932 o1(o2(x,o2(x,x))) true 88711 88711 -0.6084 0.0003662 0.6084 0.1621 0.4026 -1 0.01937 1.019 1 3.202 0.02835 0.02825 0.09738 0.001816 1 -0.00004185 0.1686 0.1434 0.04713 0.2171 2.229 1.414 0.3492 1.04 1 1 0.05618 0.2152 0.2878 0.3466 1.328 1.776 json
t12_x15_u3_b103 12 15 3 103 flr(dot(D,pow(R,P))) 32359 98053933 o1(o2(x,o2(x,x))) true 88719 88719 -0.9944 0.000473 0.9951 0.005279 0.07266 -1 1 2 1 0.09485 0.0009637 0.001229 0.002527 -0.121 1 0 0.005025 0.00387 0.002185 0.04674 18.5 2.007 0.4153 0.9518 1 1 0.004131 0.01232 0.01887 0.7825 2.333 3.575 json
t12_x15_u3_b104 12 15 3 104 flr(dot(D,mod(R,P))) 32360 98053934 o1(o2(x,o2(x,x))) true 88727 88727 -0.6049 0.005463 0.605 0.163 0.4037 -1 0.07772 1.078 1 3.225 0.02965 0.02901 0.1004 0.01097 1 -0.0002859 0.1812 0.151 0.04858 0.2204 2.194 1.414 0.3599 1.112 1 1 0.05795 0.2127 0.2761 0.3556 1.305 1.694 json
t12_x15_u3_b105 12 15 3 105 flr(dot(D,lrg(R,P))) 32361 98053935 o1(o2(x,o2(x,x))) true 88735 88735 -0.3417 0.001862 0.3419 0.1373 0.3706 -0.9997 0.2466 1.246 1 3.517 0.0301 0.03056 0.1032 -0.007661 1 -0.00003717 0.1797 0.1333 0.05004 0.2237 2.168 1.413 0.4416 1.308 1 1 0.06057 0.1834 0.05509 0.441 1.336 0.4011 json
t12_x15_u3_b106 12 15 3 106 flr(dot(D,eql(R,P))) 32362 98053936 o1(o2(x,o2(x,x))) true 88743 88743 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
t12_x15_u3_b107 12 15 3 107 flr(dot(D,min(R,P))) 32363 98053937 o1(o2(x,o2(x,x))) true 88751 88751 -0.5511 0.08176 0.6052 0.203 0.4505 -1 1 2 1 3.793 0.05402 0.05298 0.1972 0.00972 1 0.0002771 0.3213 0.3245 0.0681 0.261 1.323 1.414 0.5271 1.583 1 1 0.09023 0.2953 0.1604 0.4445 1.455 0.7903 json
t12_x15_u3_b108 12 15 3 108 flr(dot(D,dot(R,P))) 32364 98053938 o1(o2(x,o2(x,x))) true 88759 88759 -0.2934 0.3153 0.6608 0.4935 0.7025 -1 1 2 1 3.916 0.06618 0.06893 0.1979 -0.02038 1 -0.0005169 0.4984 0.3747 0.09592 0.3097 1.565 2.404 0.2738 1.01 1 1 0.1291 0.6196 0.8427 0.2617 1.256 1.707 json
t12_x15_u3_b109 12 15 3 109 flr(dot(D,dst(R,P))) 32365 98053939 o1(o2(x,o2(x,x))) true 88767 88767 -0.3111 0.277 0.642 0.4428 0.6655 -1 1 2 1 4.197 0.115 0.1152 0.342 -0.0008508 1 -0.0005887 0.9939 0.6955 0.1132 0.3364 0.9836 1.546 0.5196 2.244 1 1 0.1853 0.6698 0.1027 0.4184 1.512 0.2319 json
t12_x15_u3_b110 12 15 3 110 flr(dst(D,add(R,P))) 32366 98053940 o1(o2(x,o2(x,x))) true 88775 88775 0.9964 1 0.9964 0.002196 0.04686 0.0005821 1 0.9994 1 0.09515 0.0003562 0.0003594 0.001969 -0.004588 1 -2.253e-11 0.002046 0.00266 0.0007117 0.02668 13.55 1.212 0.3258 0.9315 1 1 0.001398 0.005841 0.007538 0.6366 2.659 3.432 json
t12_x15_u3_b111 12 15 3 111 flr(dst(D,sub(R,P))) 32367 98053941 o1(o2(x,o2(x,x))) true 88783 88783 0.989 0.9997 0.989 0.007586 0.0871 0 1 1 1 0.2188 0.0007155 0.0007101 0.003392 0.003738 1 -9.011e-11 0.004039 0.004314 0.001416 0.03763 11.09 1.408 0.1879 0.5324 1 1 0.002815 0.01381 0.02595 0.371 1.821 3.421 json
t12_x15_u3_b112 12 15 3 112 flr(dst(D,mlt(R,P))) 32368 98053942 o1(o2(x,o2(x,x))) true 88791 88791 0.9082 0.9961 0.9082 0.06436 0.2537 0 1 1 1 1.092 0.004927 0.004144 0.02416 0.08631 1 -0.0000277 0.02207 0.02765 0.008491 0.09214 3.813 1.409 0.141 0.3429 1 1 0.01564 0.07977 0.1508 0.243 1.239 2.342 json
t12_x15_u3_b113 12 15 3 113 flr(dst(D,div(R,P))) 32369 98053943 o1(o2(x,o2(x,x))) true 88799 88799 -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
t12_x15_u3_b114 12 15 3 114 flr(dst(D,pow(R,P))) 32370 98053944 o1(o2(x,o2(x,x))) true 88807 88807 -0.9766 0.01172 1 0.0463 0.2152 -1 1 2 1 0.09198 0.006047 0.004031 0.005002 0.2 1 0 0.02116 0.01008 0.01005 0.1002 20.04 2.828 0.2177 0.4571 1 1 0.01773 0.07091 0.1684 0.3829 1.532 3.638 json
t12_x15_u3_b115 12 15 3 115 flr(dst(D,mod(R,P))) 32371 98053945 o1(o2(x,o2(x,x))) true 88815 88815 0.1995 0.7451 0.6683 0.5594 0.7479 -1 1 2 1 3.319 0.03804 0.03507 0.09887 0.04054 1 0.0002046 0.1835 0.1489 0.06334 0.2517 2.546 2.828 0.1307 0.328 1 1 0.07814 0.3158 0.9432 0.1397 0.5645 1.686 json
t12_x15_u3_b116 12 15 3 116 flr(dst(D,lrg(R,P))) 32372 98053946 o1(o2(x,o2(x,x))) true 88823 88823 0.7399 0.9891 0.7399 0.125 0.3536 0 1 1 1 2.691 0.009946 0.01134 0.05881 -0.06536 1 0.0002398 0.0561 0.06522 0.01783 0.1335 2.27 1.409 0.1702 0.4487 1 1 0.02247 0.1117 0.1819 0.1797 0.8933 1.455 json
t12_x15_u3_b117 12 15 3 117 flr(dst(D,eql(R,P))) 32373 98053947 o1(o2(x,o2(x,x))) true 88831 88831 0.002387 0.5469 0.002387 0.0000194 0.004405 0 0.01937 0.01937 1 0 0.00002643 0.00002643 0.004122 1.376e-7 0 -0.00002229 0.0002509 0.008064 0.00003587 0.005989 1.453 0.02739 2.724 12.93 1 1 0.00004054 0.00003161 0 2.089 1.629 0 json
t12_x15_u3_b118 12 15 3 118 flr(dst(D,min(R,P))) 32374 98053948 o1(o2(x,o2(x,x))) true 88839 88839 0.822 0.9825 0.822 0.1139 0.3375 0 1 1 1 1.718 0.008651 0.008468 0.03809 0.01072 1 0.0000954 0.05002 0.05173 0.01567 0.1252 3.287 1.413 0.1503 0.4391 1 1 0.02223 0.08765 0.1391 0.1951 0.7694 1.221 json
t12_x15_u3_b119 12 15 3 119 flr(dst(D,dot(R,P))) 32375 98053949 o1(o2(x,o2(x,x))) true 88847 88847 0.9322 0.9996 0.9322 0.04804 0.2192 1.694e-7 1 1 1 0.8805 0.003087 0.003482 0.02031 -0.06026 1 -0.000091 0.01256 0.02011 0.006162 0.0785 3.865 1.413 0.1368 0.2614 1 1 0.01257 0.07606 0.1254 0.2616 1.583 2.61 json
t12_x15_u3_b120 12 15 3 120 flr(dst(D,dst(R,P))) 32376 98053950 o1(o2(x,o2(x,x))) true 88855 88855 0.9996 1 0.9996 0.0002762 0.01662 0.002328 1 0.9977 1 0.01002 0.0001046 0.00009489 0.0003126 0.04851 1 -1.502e-11 0.0006194 0.0005107 0.0001993 0.01412 45.17 1.397 0.7221 2.242 1 1 0.0003865 0.001004 0.001004 1.399 3.634 3.634 json
t12_x15_u4_b0 12 15 4 0 cil(add(D,add(R,P))) 32377 98054031 o1(o2(x,o2(x,x))) true 88863 88863 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
t12_x15_u4_b1 12 15 4 1 cil(add(D,sub(R,P))) 32378 98054032 o1(o2(x,o2(x,x))) true 88871 88871 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
t12_x15_u4_b2 12 15 4 2 cil(add(D,mlt(R,P))) 32379 98054033 o1(o2(x,o2(x,x))) true 88879 88879 0.1768 0.613 0.7617 0.668 0.8173 -1 1 2 1 3.461 0.03365 0.01986 0.1147 0.2577 1 -0.000005277 0.0571 0.09969 0.04035 0.2009 1.751 1.508 0.08011 0.08548 1 1 0.07102 0.479 0.9884 0.1063 0.7172 1.48 json
t12_x15_u4_b3 12 15 4 3 cil(add(D,div(R,P))) 32380 98054034 o1(o2(x,o2(x,x))) true 88887 88887 0.3059 0.8463 0.5614 0.3608 0.6007 -1 1 2 1 3.841 0.06134 0.0009949 0.1188 0.9681 1 -0.0002566 0.1183 0.1353 0.04821 0.2196 1.849 2 0.1728 0.328 1 1 0.06832 0.2601 0.5141 0.1894 0.7209 1.425 json
t12_x15_u4_b4 12 15 4 4 cil(add(D,pow(R,P))) 32381 98054035 o1(o2(x,o2(x,x))) true 88895 88895 -0.8525 0.07422 0.9991 0.2719 0.5214 -1 1 2 1 0.4069 0.02508 0.02409 0.0249 0.02029 1 0.0001222 0.1025 0.04961 0.04858 0.2204 8.851 2.828 0.1809 0.3771 1 1 0.04674 0.1944 0.641 0.1719 0.7151 2.358 json
t12_x15_u4_b5 12 15 4 5 cil(add(D,mod(R,P))) 32382 98054036 o1(o2(x,o2(x,x))) true 88903 88903 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
t12_x15_u4_b6 12 15 4 6 cil(add(D,lrg(R,P))) 32383 98054037 o1(o2(x,o2(x,x))) true 88911 88911 0.7428 1 0.7428 0.1358 0.3685 0.000291 1 0.9997 1 2.391 0.03309 0.00005178 0.06414 0.9969 1 -0.00009439 0.06072 0.06879 0.02903 0.1704 2.656 0.9994 0.244 0.4471 1 1 0.03794 0.1316 0.03692 0.2794 0.9693 0.2718 json
t12_x15_u4_b7 12 15 4 7 cil(add(D,eql(R,P))) 32384 98054038 o1(o2(x,o2(x,x))) true 88919 88919 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
t12_x15_u4_b8 12 15 4 8 cil(add(D,min(R,P))) 32385 98054039 o1(o2(x,o2(x,x))) true 88927 88927 -0.2199 0.424 0.7007 0.5971 0.7727 -1 1 2 1 3.257 0.02136 0.001568 0.06208 0.8633 1 0.0006601 0.04136 0.0681 0.01908 0.1381 2.225 1 0.03841 0.06927 1 1 0.02667 0.1252 0.3341 0.04466 0.2096 0.5596 json
t12_x15_u4_b9 12 15 4 9 cil(add(D,dot(R,P))) 32386 98054040 o1(o2(x,o2(x,x))) true 88935 88935 0.05138 0.5368 0.8588 0.8133 0.9018 -1 1 2 1 2.794 0.03313 0.03289 0.112 0.00366 1 0.00001834 0.06542 0.09999 0.05346 0.2312 2.064 1.888 0.08117 0.08043 1 1 0.08512 0.5919 1.36 0.1047 0.7278 1.672 json
t12_x15_u4_b10 12 15 4 10 cil(add(D,dst(R,P))) 32387 98054041 o1(o2(x,o2(x,x))) true 88943 88943 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
t12_x15_u4_b11 12 15 4 11 cil(sub(D,add(R,P))) 32388 98054042 o1(o2(x,o2(x,x))) true 88951 88951 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
t12_x15_u4_b12 12 15 4 12 cil(sub(D,sub(R,P))) 32389 98054043 o1(o2(x,o2(x,x))) true 88959 88959 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
t12_x15_u4_b13 12 15 4 13 cil(sub(D,mlt(R,P))) 32390 98054044 o1(o2(x,o2(x,x))) true 88967 88967 0.294 0.6795 0.7678 0.6212 0.7882 -1 1 2 1 3.34 0.03369 0.01823 0.1099 0.2979 1 0.00006 0.05608 0.09608 0.03983 0.1996 1.816 1.485 0.08357 0.09028 1 1 0.06905 0.4614 1.01 0.1111 0.7427 1.626 json
t12_x15_u4_b14 12 15 4 14 cil(sub(D,div(R,P))) 32391 98054045 o1(o2(x,o2(x,x))) true 88975 88975 0.3143 0.8428 0.566 0.3621 0.6018 -1 1 2 1 3.792 0.05798 0.0009451 0.1141 0.9679 1 0.0005001 0.1102 0.1286 0.04589 0.2142 1.877 2 0.1627 0.3043 1 1 0.06575 0.2536 0.5208 0.1816 0.7002 1.438 json
t12_x15_u4_b15 12 15 4 15 cil(sub(D,pow(R,P))) 32392 98054046 o1(o2(x,o2(x,x))) true 88983 88983 -0.9771 0.00383 0.9806 0.02217 0.1489 -1 0.9994 1.999 1 0.3155 0.0046 0.00221 0.008294 0.3509 1 -0.000005704 0.01512 0.01342 0.00674 0.0821 9.899 1.999 0.3072 0.6821 1 1 0.004298 0.01515 0.03845 0.1939 0.6835 1.734 json
t12_x15_u4_b16 12 15 4 16 cil(sub(D,mod(R,P))) 32393 98054047 o1(o2(x,o2(x,x))) true 88991 88991 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
t12_x15_u4_b17 12 15 4 17 cil(sub(D,lrg(R,P))) 32394 98054048 o1(o2(x,o2(x,x))) true 88999 88999 0.003906 0.4831 0.4687 0.3653 0.6044 -0.9997 0.9997 1.999 1 4.381 0.06473 0.0001053 0.1197 0.9968 1 0.000005704 0.1207 0.133 0.05049 0.2247 1.876 1.007 0.1775 0.3305 1 1 0.0701 0.2453 0.08976 0.1919 0.6717 0.2457 json
t12_x15_u4_b18 12 15 4 18 cil(sub(D,eql(R,P))) 32395 98054049 o1(o2(x,o2(x,x))) true 89007 89007 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
t12_x15_u4_b19 12 15 4 19 cil(sub(D,min(R,P))) 32396 98054050 o1(o2(x,o2(x,x))) true 89015 89015 0.7399 0.9288 0.7705 0.1687 0.4107 -0.9985 1 1.999 1 2.574 0.01808 0.001563 0.0602 0.8409 1 0.000005204 0.03446 0.06212 0.01601 0.1265 2.102 0.9997 0.1164 0.2043 1 1 0.02233 0.1068 0.2203 0.1324 0.633 1.306 json
t12_x15_u4_b20 12 15 4 20 cil(sub(D,dot(R,P))) 32397 98054051 o1(o2(x,o2(x,x))) true 89023 89023 0.2349 0.6298 0.8554 0.7594 0.8714 -1 1 2 1 2.732 0.03336 0.03208 0.1094 0.01947 1 -0.0001636 0.06566 0.09881 0.05348 0.2313 2.115 1.87 0.08618 0.08647 1 1 0.08349 0.5824 1.358 0.1099 0.767 1.788 json
t12_x15_u4_b21 12 15 4 21 cil(sub(D,dst(R,P))) 32398 98054052 o1(o2(x,o2(x,x))) true 89031 89031 -0.9901 0 0.9901 0.006614 0.08133 -1 -0.0001955 0.9998 1 0.2079 0.001076 0.00013 0.003556 0.7843 1 7.509e-12 0.002132 0.003822 0.001194 0.03456 9.719 0.9994 0.1823 0.3224 1 1 0.002421 0.01155 0.02141 0.366 1.746 3.237 json
t12_x15_u4_b22 12 15 4 22 cil(mlt(D,add(R,P))) 32399 98054053 o1(o2(x,o2(x,x))) true 89039 89039 0.3288 0.7737 0.4846 0.269 0.5186 -1 1 2 1 4.177 0.1299 0.0005201 0.2394 0.992 1 0.006569 0.2905 0.3711 0.07311 0.2704 1.13 1 0.4848 1.08 1 1 0.1067 0.3542 0.1306 0.3965 1.317 0.4854 json