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_x11_u3_b32 12 11 3 32 flr(mlt(D,dst(P,R))) 28900 97892258 o1(o2(x,o2(x,x))) true 61047 61047 -0.3925 0.2247 0.6066 0.3592 0.5993 -1 1 2 1 3.891 0.1511 0.0004728 0.2606 0.9938 1 -0.002559 0.3357 0.4223 0.08366 0.2892 1.11 1.209 0.422 0.9347 1 1 0.1201 0.4554 0.07862 0.3344 1.268 0.2189 json
t12_x11_u3_b33 12 11 3 33 flr(div(D,add(P,R))) 28901 97892259 o1(o2(x,o2(x,x))) true 61055 61055 -0.5152 0.01514 0.5318 0.1639 0.4048 -1 1 2 1 3.525 0.06674 0.0003808 0.1257 0.9887 1 -0.0001711 0.1246 0.1427 0.05132 0.2265 1.803 0.9997 0.4095 0.7603 1 1 0.07234 0.2575 0.1059 0.4414 1.571 0.6461 json
t12_x11_u3_b34 12 11 3 34 flr(div(D,sub(P,R))) 28902 97892260 o1(o2(x,o2(x,x))) true 61063 61063 -0.5112 0.02019 0.5367 0.1737 0.4168 -1 1 2 1 3.547 0.0682 0.0007711 0.127 0.9776 1 -0.0001725 0.1271 0.1443 0.05283 0.2298 1.81 2 0.397 0.7316 1 1 0.07435 0.2652 0.1225 0.4279 1.526 0.7049 json
t12_x11_u3_b35 12 11 3 35 flr(div(D,mlt(P,R))) 28903 97892261 o1(o2(x,o2(x,x))) true 61071 61071 -0.5208 0.0784 0.5962 0.2391 0.489 -1 1 2 1 3.648 0.05349 0.004442 0.1076 0.8467 1 -0.00001075 0.1056 0.1286 0.04634 0.2153 2 2.09 0.2423 0.4415 1 1 0.06681 0.3116 0.4767 0.2794 1.303 1.993 json
t12_x11_u3_b36 12 11 3 36 flr(div(D,div(P,R))) 28904 97892262 o1(o2(x,o2(x,x))) true 61079 61079 -0.5605 0 0.5605 0.1546 0.3932 -1 0 1 1 3.47 0.04254 0.002019 0.09091 0.9094 1 -0.00003494 0.08292 0.1001 0.0363 0.1905 2.096 1 0.2883 0.5364 1 1 0.04668 0.2121 0.2795 0.302 1.372 1.809 json
t12_x11_u3_b37 12 11 3 37 flr(div(D,pow(P,R))) 28905 97892263 o1(o2(x,o2(x,x))) true 61087 61087 -0.7706 0.01257 0.7786 0.1349 0.3673 -1 1 2 1 2.31 0.03666 0.0005245 0.07138 0.9718 1 -0.0001486 0.07175 0.0918 0.03209 0.1791 2.51 0.9997 0.2756 0.5318 1 1 0.03823 0.126 0.05669 0.2834 0.934 0.4202 json
t12_x11_u3_b38 12 11 3 38 flr(div(D,mod(P,R))) 28906 97892264 o1(o2(x,o2(x,x))) true 61095 61095 -0.3232 0.2903 0.7885 0.6353 0.797 -1 1 2 1 3.035 0.1507 0.01878 0.2069 0.7783 1 -0.0008343 0.3062 0.2915 0.1267 0.356 1.721 2.828 0.2668 0.482 1 1 0.1878 0.7753 1 0.2957 1.22 1.575 json
t12_x11_u3_b39 12 11 3 39 flr(div(D,lrg(P,R))) 28907 97892265 o1(o2(x,o2(x,x))) true 61103 61103 -0.7695 0 0.7695 0.1275 0.3571 -1 -0.000291 0.9997 1 2.203 0.03183 0.0002961 0.05881 0.9816 1 -0.00008984 0.06001 0.06598 0.02866 0.1693 2.878 0.9997 0.2519 0.4706 1 1 0.03573 0.125 0.03985 0.2802 0.98 0.3125 json
t12_x11_u3_b40 12 11 3 40 flr(div(D,eql(P,R))) 28908 97892266 o1(o2(x,o2(x,x))) true 61111 61111 -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_x11_u3_b41 12 11 3 41 flr(div(D,min(P,R))) 28909 97892267 o1(o2(x,o2(x,x))) true 61119 61119 -0.4825 0.1128 0.6069 0.287 0.5357 -1 1 2 1 3.722 0.07114 0.005701 0.1339 0.8516 1 -0.00008523 0.1396 0.1649 0.05889 0.2427 1.812 2.027 0.2677 0.4864 1 1 0.08093 0.3686 0.4343 0.282 1.284 1.513 json
t12_x11_u3_b42 12 11 3 42 flr(div(D,dot(P,R))) 28910 97892268 o1(o2(x,o2(x,x))) true 61127 61127 -0.4713 0.08131 0.5536 0.2345 0.4842 -1 1 2 1 3.873 0.05695 0.004196 0.1209 0.8628 1 -0.0005537 0.11 0.1429 0.04653 0.2157 1.784 2.026 0.2608 0.4692 1 1 0.07298 0.3655 0.5366 0.3112 1.559 2.288 json
t12_x11_u3_b43 12 11 3 43 flr(div(D,dst(P,R))) 28911 97892269 o1(o2(x,o2(x,x))) true 61135 61135 -0.5 0 0.5 0.1416 0.3763 -0.9997 -0.000291 0.9994 1 3.415 0.06515 0.000001038 0.123 1 1 -1.314e-10 0.121 0.1341 0.05 0.2236 1.819 0.9994 0.4601 0.8541 1 1 0.07076 0.241 0.0002573 0.4997 1.702 0.001817 json
t12_x11_u3_b44 12 11 3 44 flr(pow(D,add(P,R))) 28912 97892270 o1(o2(x,o2(x,x))) true 61143 61143 -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_x11_u3_b45 12 11 3 45 flr(pow(D,sub(P,R))) 28913 97892271 o1(o2(x,o2(x,x))) true 61151 61151 -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_x11_u3_b46 12 11 3 46 flr(pow(D,mlt(P,R))) 28914 97892272 o1(o2(x,o2(x,x))) true 61159 61159 -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_x11_u3_b47 12 11 3 47 flr(pow(D,div(P,R))) 28915 97892273 o1(o2(x,o2(x,x))) true 61167 61167 -0.8956 0.05664 0.9911 0.1863 0.4316 -1 1 2 1 0.428 0.0294 0.001357 0.01773 0.9118 1 -0.00004548 0.06212 0.03273 0.03046 0.1745 9.847 2.732 0.1651 0.3334 1 1 0.0405 0.1454 0.2899 0.2174 0.7805 1.556 json
t12_x11_u3_b48 12 11 3 48 flr(pow(D,pow(P,R))) 28916 97892274 o1(o2(x,o2(x,x))) true 61175 61175 -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_x11_u3_b49 12 11 3 49 flr(pow(D,mod(P,R))) 28917 97892275 o1(o2(x,o2(x,x))) true 61183 61183 -0.875 0.0625 1 0.2344 0.4841 -1 1 2 1 0.3373 0.03175 0 0.01587 1 1 0 0.06349 0.03175 0.03149 0.1774 11.18 2 0.1354 0.2709 1 1 0.04211 0.1684 0.3368 0.1796 0.7186 1.437 json
t12_x11_u3_b50 12 11 3 50 flr(pow(D,lrg(P,R))) 28918 97892276 o1(o2(x,o2(x,x))) true 61191 61191 -0.09375 0.4531 1 0.9905 0.9952 -1 1 2 1 0.9937 0.01587 0.006047 0.0109 0.4483 1 0 0.04535 0.02192 0.0218 0.1477 13.54 2.828 0.02213 0.04579 1 1 0.02992 0.1197 0.4343 0.0302 0.1208 0.4385 json
t12_x11_u3_b51 12 11 3 51 flr(pow(D,eql(P,R))) 28919 97892277 o1(o2(x,o2(x,x))) true 61199 61199 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_x11_u3_b52 12 11 3 52 flr(pow(D,min(P,R))) 28920 97892278 o1(o2(x,o2(x,x))) true 61207 61207 -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_x11_u3_b53 12 11 3 53 flr(pow(D,dot(P,R))) 28921 97892279 o1(o2(x,o2(x,x))) true 61215 61215 -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_x11_u3_b54 12 11 3 54 flr(pow(D,dst(P,R))) 28922 97892280 o1(o2(x,o2(x,x))) true 61223 61223 -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_x11_u3_b55 12 11 3 55 flr(mod(D,add(P,R))) 28923 97892281 o1(o2(x,o2(x,x))) true 61231 61231 -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_x11_u3_b56 12 11 3 56 flr(mod(D,sub(P,R))) 28924 97892282 o1(o2(x,o2(x,x))) true 61239 61239 -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_x11_u3_b57 12 11 3 57 flr(mod(D,mlt(P,R))) 28925 97892283 o1(o2(x,o2(x,x))) true 61247 61247 -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_x11_u3_b58 12 11 3 58 flr(mod(D,div(P,R))) 28926 97892284 o1(o2(x,o2(x,x))) true 61255 61255 -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_x11_u3_b59 12 11 3 59 flr(mod(D,pow(P,R))) 28927 97892285 o1(o2(x,o2(x,x))) true 61263 61263 -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
t12_x11_u3_b60 12 11 3 60 flr(mod(D,mod(P,R))) 28928 97892286 o1(o2(x,o2(x,x))) true 61271 61271 -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_x11_u3_b61 12 11 3 61 flr(mod(D,lrg(P,R))) 28929 97892287 o1(o2(x,o2(x,x))) true 61279 61279 -0.7695 0 0.7695 0.1275 0.3571 -1 -0.000291 0.9997 1 2.203 0.03183 0.0002961 0.05881 0.9816 1 -0.00008984 0.06001 0.06598 0.02866 0.1693 2.878 0.9997 0.2519 0.4706 1 1 0.03573 0.125 0.03985 0.2802 0.98 0.3125 json
t12_x11_u3_b62 12 11 3 62 flr(mod(D,eql(P,R))) 28930 97892288 o1(o2(x,o2(x,x))) true 61287 61287 -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_x11_u3_b63 12 11 3 63 flr(mod(D,min(P,R))) 28931 97892289 o1(o2(x,o2(x,x))) true 61295 61295 -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_x11_u3_b64 12 11 3 64 flr(mod(D,dot(P,R))) 28932 97892290 o1(o2(x,o2(x,x))) true 61303 61303 -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_x11_u3_b65 12 11 3 65 flr(mod(D,dst(P,R))) 28933 97892291 o1(o2(x,o2(x,x))) true 61311 61311 -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_x11_u3_b66 12 11 3 66 flr(lrg(D,add(P,R))) 28934 97892292 o1(o2(x,o2(x,x))) true 61319 61319 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_x11_u3_b67 12 11 3 67 flr(lrg(D,sub(P,R))) 28935 97892293 o1(o2(x,o2(x,x))) true 61327 61327 0.5017 0.5879 0.5017 0.2332 0.4829 0 1 1 1 1.707 0.002579 0.0001747 0.01255 0.8731 1 -0.000009609 0.004619 0.009851 0.002597 0.05096 4.059 0.9926 0.01181 0.01981 1 1 0.003607 0.02284 0.08805 0.01547 0.09794 0.3776 json
t12_x11_u3_b68 12 11 3 68 flr(lrg(D,mlt(P,R))) 28936 97892294 o1(o2(x,o2(x,x))) true 61335 61335 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_x11_u3_b69 12 11 3 69 flr(lrg(D,div(P,R))) 28937 97892295 o1(o2(x,o2(x,x))) true 61343 61343 0.5254 0.9364 0.5254 0.1546 0.3932 0 1 1 1 3.412 0.006006 0.002332 0.05518 0.4407 1 0.00003637 0.008251 0.02036 0.005295 0.07277 1.319 1 0.05393 0.05336 1 1 0.01368 0.1227 0.2901 0.08844 0.7936 1.876 json
t12_x11_u3_b70 12 11 3 70 flr(lrg(D,pow(P,R))) 28938 97892296 o1(o2(x,o2(x,x))) true 61351 61351 0.5032 0.6842 0.5032 0.2275 0.477 0 1 1 1 1.873 0.005344 0.0001529 0.01941 0.9444 1 -0.00004773 0.009976 0.01789 0.00512 0.07156 3.687 0.9994 0.02416 0.04384 1 1 0.005688 0.02993 0.08768 0.025 0.1315 0.3853 json
t12_x11_u3_b71 12 11 3 71 flr(lrg(D,mod(P,R))) 28939 97892297 o1(o2(x,o2(x,x))) true 61359 61359 0.4911 0.9409 0.4911 0.1408 0.3752 0 1 1 1 3.517 0.04115 0.00074 0.1063 0.9647 1 0.000002001 0.07671 0.1106 0.03059 0.1749 1.645 0.9994 0.2976 0.545 1 1 0.04662 0.176 0.1086 0.3312 1.251 0.7713 json
t12_x11_u3_b72 12 11 3 72 flr(lrg(D,lrg(P,R))) 28940 97892298 o1(o2(x,o2(x,x))) true 61367 61367 0.2637 0.5378 0.2637 0.136 0.3688 0 0.9997 0.9997 1 2.449 0.0323 0.00005267 0.06339 0.9967 1 0.00008699 0.05964 0.06691 0.02834 0.1683 2.656 0.9994 0.2378 0.4384 1 1 0.03415 0.1219 0.04032 0.251 0.8959 0.2964 json
t12_x11_u3_b73 12 11 3 73 flr(lrg(D,eql(P,R))) 28941 97892299 o1(o2(x,o2(x,x))) true 61375 61375 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_x11_u3_b74 12 11 3 74 flr(lrg(D,min(P,R))) 28942 97892300 o1(o2(x,o2(x,x))) true 61383 61383 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_x11_u3_b75 12 11 3 75 flr(lrg(D,dot(P,R))) 28943 97892301 o1(o2(x,o2(x,x))) true 61391 61391 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_x11_u3_b76 12 11 3 76 flr(lrg(D,dst(P,R))) 28944 97892302 o1(o2(x,o2(x,x))) true 61399 61399 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_x11_u3_b77 12 11 3 77 flr(eql(D,add(P,R))) 28945 97892303 o1(o2(x,o2(x,x))) true 61407 61407 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_x11_u3_b78 12 11 3 78 flr(eql(D,sub(P,R))) 28946 97892304 o1(o2(x,o2(x,x))) true 61415 61415 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_x11_u3_b79 12 11 3 79 flr(eql(D,mlt(P,R))) 28947 97892305 o1(o2(x,o2(x,x))) true 61423 61423 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_x11_u3_b80 12 11 3 80 flr(eql(D,div(P,R))) 28948 97892306 o1(o2(x,o2(x,x))) true 61431 61431 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_x11_u3_b81 12 11 3 81 flr(eql(D,pow(P,R))) 28949 97892307 o1(o2(x,o2(x,x))) true 61439 61439 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_x11_u3_b82 12 11 3 82 flr(eql(D,mod(P,R))) 28950 97892308 o1(o2(x,o2(x,x))) true 61447 61447 0.0003244 0.0007324 0.0003244 0.0002316 0.01522 0 0.9926 0.9926 1 0.009184 0.0004501 0.000003393 0.000634 0.985 1 2.395e-7 0.001363 0.001255 0.0004528 0.02128 33.56 0.9926 1.958 5.888 1 1 0 0 0.00003293 0 0 0.1422 json
t12_x11_u3_b83 12 11 3 83 flr(eql(D,lrg(P,R))) 28951 97892309 o1(o2(x,o2(x,x))) true 61455 61455 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_x11_u3_b84 12 11 3 84 flr(eql(D,eql(P,R))) 28952 97892310 o1(o2(x,o2(x,x))) true 61463 61463 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_x11_u3_b85 12 11 3 85 flr(eql(D,min(P,R))) 28953 97892311 o1(o2(x,o2(x,x))) true 61471 61471 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_x11_u3_b86 12 11 3 86 flr(eql(D,dot(P,R))) 28954 97892312 o1(o2(x,o2(x,x))) true 61479 61479 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_x11_u3_b87 12 11 3 87 flr(eql(D,dst(P,R))) 28955 97892313 o1(o2(x,o2(x,x))) true 61487 61487 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_x11_u3_b88 12 11 3 88 flr(min(D,add(P,R))) 28956 97892314 o1(o2(x,o2(x,x))) true 61495 61495 -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_x11_u3_b89 12 11 3 89 flr(min(D,sub(P,R))) 28957 97892315 o1(o2(x,o2(x,x))) true 61503 61503 -0.7637 0 0.7637 0.1283 0.3582 -1 -0.000291 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_x11_u3_b90 12 11 3 90 flr(min(D,mlt(P,R))) 28958 97892316 o1(o2(x,o2(x,x))) true 61511 61511 -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_x11_u3_b91 12 11 3 91 flr(min(D,div(P,R))) 28959 97892317 o1(o2(x,o2(x,x))) true 61519 61519 -0.8801 0 0.8801 0.07809 0.2794 -1 -0.000291 0.9997 1 1.428 0.02427 0.003538 0.0523 0.7455 1 0.0001934 0.04941 0.06501 0.02506 0.1583 3.027 0.9997 0.3561 0.6328 1 1 0.03391 0.1116 0.116 0.4342 1.429 1.485 json
t12_x11_u3_b92 12 11 3 92 flr(min(D,pow(P,R))) 28960 97892318 o1(o2(x,o2(x,x))) true 61527 61527 -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_x11_u3_b93 12 11 3 93 flr(min(D,mod(P,R))) 28961 97892319 o1(o2(x,o2(x,x))) true 61535 61535 -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
t12_x11_u3_b94 12 11 3 94 flr(min(D,lrg(P,R))) 28962 97892320 o1(o2(x,o2(x,x))) true 61543 61543 -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_x11_u3_b95 12 11 3 95 flr(min(D,eql(P,R))) 28963 97892321 o1(o2(x,o2(x,x))) true 61551 61551 -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_x11_u3_b96 12 11 3 96 flr(min(D,min(P,R))) 28964 97892322 o1(o2(x,o2(x,x))) true 61559 61559 -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_x11_u3_b97 12 11 3 97 flr(min(D,dot(P,R))) 28965 97892323 o1(o2(x,o2(x,x))) true 61567 61567 -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_x11_u3_b98 12 11 3 98 flr(min(D,dst(P,R))) 28966 97892324 o1(o2(x,o2(x,x))) true 61575 61575 -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_x11_u3_b99 12 11 3 99 flr(dot(D,add(P,R))) 28967 97892325 o1(o2(x,o2(x,x))) true 61583 61583 -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_x11_u3_b100 12 11 3 100 flr(dot(D,sub(P,R))) 28968 97892326 o1(o2(x,o2(x,x))) true 61591 61591 -0.5887 0.1305 0.6939 0.2555 0.5054 -1 1 2 1 3.579 0.07742 0.07673 0.2627 0.004478 1 0.0008274 0.5613 0.4811 0.08514 0.2918 1.111 1.413 0.6034 2.197 1 1 0.1166 0.3774 0.1171 0.4564 1.477 0.4585 json
t12_x11_u3_b101 12 11 3 101 flr(dot(D,mlt(P,R))) 28969 97892327 o1(o2(x,o2(x,x))) true 61599 61599 -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_x11_u3_b102 12 11 3 102 flr(dot(D,div(P,R))) 28970 97892328 o1(o2(x,o2(x,x))) true 61607 61607 -0.1123 0.4405 0.8916 0.8486 0.9212 -1 1 2 1 2.417 0.1173 0.1147 0.2072 0.01089 1 0.000223 0.5475 0.3465 0.1891 0.4348 2.099 2.828 0.2734 0.6452 1 1 0.244 1.184 1.596 0.2875 1.395 1.881 json
t12_x11_u3_b103 12 11 3 103 flr(dot(D,pow(P,R))) 28971 97892329 o1(o2(x,o2(x,x))) true 61615 61615 -0.8991 0.01364 0.9087 0.07302 0.2702 -1 1 2 1 1.358 0.01061 0.009708 0.03923 0.04437 1 0.0001691 0.06275 0.06014 0.01878 0.137 3.493 2 0.2783 0.8594 1 1 0.01913 0.05793 0.06811 0.2619 0.7934 0.9328 json
t12_x11_u3_b104 12 11 3 104 flr(dot(D,mod(P,R))) 28972 97892330 o1(o2(x,o2(x,x))) true 61623 61623 -0.5354 0 0.5354 0.1137 0.3372 -1 -0.000008663 1 1 3.814 0.03128 0.03306 0.1366 -0.02775 1 0.000449 0.1883 0.1692 0.04569 0.2137 1.565 1.409 0.5657 1.655 1 1 0.06826 0.2297 0.1238 0.6002 2.019 1.088 json
t12_x11_u3_b105 12 11 3 105 flr(dot(D,lrg(P,R))) 28973 97892331 o1(o2(x,o2(x,x))) true 61631 61631 -0.3908 0 0.3908 0.1424 0.3774 -0.9997 0 0.9997 1 3.657 0.03106 0.03036 0.1078 0.01143 1 0.00007167 0.1803 0.1344 0.0498 0.2232 2.069 1.414 0.4312 1.266 1 1 0.06371 0.204 0.05391 0.4473 1.432 0.3785 json
t12_x11_u3_b106 12 11 3 106 flr(dot(D,eql(P,R))) 28974 97892332 o1(o2(x,o2(x,x))) true 61639 61639 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_x11_u3_b107 12 11 3 107 flr(dot(D,min(P,R))) 28975 97892333 o1(o2(x,o2(x,x))) true 61647 61647 -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_x11_u3_b108 12 11 3 108 flr(dot(D,dot(P,R))) 28976 97892334 o1(o2(x,o2(x,x))) true 61655 61655 -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_x11_u3_b109 12 11 3 109 flr(dot(D,dst(P,R))) 28977 97892335 o1(o2(x,o2(x,x))) true 61663 61663 -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_x11_u3_b110 12 11 3 110 flr(dst(D,add(P,R))) 28978 97892336 o1(o2(x,o2(x,x))) true 61671 61671 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_x11_u3_b111 12 11 3 111 flr(dst(D,sub(P,R))) 28979 97892337 o1(o2(x,o2(x,x))) true 61679 61679 0.9937 1 0.9937 0.004501 0.06709 0.0005821 1 0.9994 1 0.1302 0.0006225 0.0006399 0.002844 -0.01378 1 0 0.003427 0.003787 0.001254 0.03541 12.45 1.413 0.2805 0.7615 1 1 0.00256 0.01102 0.01577 0.5687 2.448 3.504 json
t12_x11_u3_b112 12 11 3 112 flr(dst(D,mlt(P,R))) 28980 97892338 o1(o2(x,o2(x,x))) true 61687 61687 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_x11_u3_b113 12 11 3 113 flr(dst(D,div(P,R))) 28981 97892339 o1(o2(x,o2(x,x))) true 61695 61695 0.9988 1 0.9988 0.000842 0.02902 0.001164 1 0.9988 1 0.02949 0.00004963 0.0000611 0.0004808 -0.1036 1 3.754e-12 0.00006122 0.0003631 0.0001104 0.01051 21.85 0.3517 0.1315 0.07271 1 1 0.000347 0.002549 0.003065 0.4121 3.027 3.64 json
t12_x11_u3_b114 12 11 3 114 flr(dst(D,pow(P,R))) 28982 97892340 o1(o2(x,o2(x,x))) true 61703 61703 -0.9703 0.01563 0.9985 0.05664 0.238 -1 1 2 1 0.138 0.006025 0.00708 0.00725 -0.08049 1 -6.007e-11 0.02784 0.01405 0.01305 0.1143 15.76 2.828 0.2314 0.4916 1 1 0.009066 0.04339 0.06758 0.1601 0.7661 1.193 json
t12_x11_u3_b115 12 11 3 115 flr(dst(D,mod(P,R))) 28983 97892341 o1(o2(x,o2(x,x))) true 61711 61711 0.08897 0.7817 0.08897 0.02744 0.1657 0 1 1 1 1.877 0.007773 0.007286 0.05462 0.03227 1 -0.0002209 0.04806 0.07555 0.01208 0.1099 2.012 1.378 0.5487 1.751 1 1 0.01496 0.04423 0.04995 0.5453 1.612 1.82 json
t12_x11_u3_b116 12 11 3 116 flr(dst(D,lrg(P,R))) 28984 97892342 o1(o2(x,o2(x,x))) true 61719 61719 0.7718 0.9966 0.7718 0.1101 0.3319 0 1 1 1 2.581 0.00894 0.01012 0.05651 -0.06166 1 0.00003013 0.04781 0.05951 0.01586 0.1259 2.229 1.26 0.173 0.4341 1 1 0.02184 0.1126 0.144 0.1983 1.022 1.307 json
t12_x11_u3_b117 12 11 3 117 flr(dst(D,eql(P,R))) 28985 97892343 o1(o2(x,o2(x,x))) true 61727 61727 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_x11_u3_b118 12 11 3 118 flr(dst(D,min(P,R))) 28986 97892344 o1(o2(x,o2(x,x))) true 61735 61735 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_x11_u3_b119 12 11 3 119 flr(dst(D,dot(P,R))) 28987 97892345 o1(o2(x,o2(x,x))) true 61743 61743 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_x11_u3_b120 12 11 3 120 flr(dst(D,dst(P,R))) 28988 97892346 o1(o2(x,o2(x,x))) true 61751 61751 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_x11_u4_b0 12 11 4 0 cil(add(D,add(P,R))) 28989 97892427 o1(o2(x,o2(x,x))) true 61759 61759 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_x11_u4_b1 12 11 4 1 cil(add(D,sub(P,R))) 28990 97892428 o1(o2(x,o2(x,x))) true 61767 61767 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_x11_u4_b2 12 11 4 2 cil(add(D,mlt(P,R))) 28991 97892429 o1(o2(x,o2(x,x))) true 61775 61775 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_x11_u4_b3 12 11 4 3 cil(add(D,div(P,R))) 28992 97892430 o1(o2(x,o2(x,x))) true 61783 61783 0.01924 0.5106 0.9386 0.9225 0.9605 -1 1 2 1 1.857 0.07006 0.07966 0.1169 -0.06414 1 -0.00003306 0.2982 0.1734 0.1361 0.3689 3.156 2.828 0.1623 0.3233 1 1 0.1694 0.8422 1.858 0.1836 0.9129 2.014 json
t12_x11_u4_b4 12 11 4 4 cil(add(D,pow(P,R))) 28993 97892431 o1(o2(x,o2(x,x))) true 61791 61791 -0.1031 0.4531 0.9906 0.976 0.9879 -1 1 2 1 1.223 0.01772 0.006175 0.0169 0.4832 1 0.0001751 0.04928 0.02987 0.0236 0.1536 9.092 2.828 0.02449 0.0505 1 1 0.03153 0.1245 0.4413 0.03231 0.1276 0.4522 json
t12_x11_u4_b5 12 11 4 5 cil(add(D,mod(P,R))) 28994 97892432 o1(o2(x,o2(x,x))) true 61799 61799 0.5081 0.9344 0.5156 0.1482 0.3849 -0.8606 1 1.861 1 3.776 0.04361 0.0009005 0.112 0.9595 1 -0.0004757 0.08433 0.1265 0.03196 0.1788 1.597 0.9994 0.3004 0.5692 1 1 0.04823 0.166 0.1355 0.3255 1.121 0.9147 json
t12_x11_u4_b6 12 11 4 6 cil(add(D,lrg(P,R))) 28995 97892433 o1(o2(x,o2(x,x))) true 61807 61807 0.7676 1 0.7676 0.1271 0.3566 0.000291 1 0.9997 1 2.252 0.03195 0.00005267 0.05938 0.9967 1 0.0000927 0.05958 0.06598 0.02849 0.1688 2.842 0.9997 0.2517 0.4686 1 1 0.03326 0.1161 0.04032 0.2616 0.913 0.3171 json
t12_x11_u4_b7 12 11 4 7 cil(add(D,eql(P,R))) 28996 97892434 o1(o2(x,o2(x,x))) true 61815 61815 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_x11_u4_b8 12 11 4 8 cil(add(D,min(P,R))) 28997 97892435 o1(o2(x,o2(x,x))) true 61823 61823 -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_x11_u4_b9 12 11 4 9 cil(add(D,dot(P,R))) 28998 97892436 o1(o2(x,o2(x,x))) true 61831 61831 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_x11_u4_b10 12 11 4 10 cil(add(D,dst(P,R))) 28999 97892437 o1(o2(x,o2(x,x))) true 61839 61839 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