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_x7_u3_b20 12 7 3 20 flr(sub(P,dot(R,D))) 25500 97730642 o1(o2(x,o2(x,x))) true 33847 33847 -0.06295 0.4711 0.9381 0.9189 0.9586 -1 1 2 1 1.867 0.005561 0.003994 0.02023 0.164 1 0.00003829 0.02791 0.02481 0.009143 0.09562 4.726 1.413 0.0104 0.03037 1 1 0.01391 0.06747 0.2568 0.01514 0.07342 0.2794 json
t12_x7_u3_b21 12 7 3 21 flr(sub(P,dst(R,D))) 25501 97730643 o1(o2(x,o2(x,x))) true 33855 33855 -0.1972 0.4021 0.943 0.8903 0.9436 -1 1 2 1 1.775 0.003678 0.00294 0.01658 0.1116 1 0.00001044 0.01811 0.01958 0.006343 0.07964 4.803 1.413 0.007434 0.02034 1 1 0.01037 0.05589 0.2619 0.01165 0.06278 0.2942 json
t12_x7_u3_b22 12 7 3 22 flr(mlt(P,add(R,D))) 25502 97730644 o1(o2(x,o2(x,x))) true 33863 33863 -0.312 0.2849 0.7513 0.5961 0.7721 -1 1 2 1 3.32 0.04963 0.01777 0.1269 0.4726 1 0.0006063 0.1035 0.1508 0.0513 0.2265 1.785 1.87 0.1131 0.1737 1 1 0.07354 0.4639 0.955 0.1234 0.7783 1.602 json
t12_x7_u3_b23 12 7 3 23 flr(mlt(P,sub(R,D))) 25503 97730645 o1(o2(x,o2(x,x))) true 33871 33871 -0.2045 0.3825 0.7343 0.6333 0.7958 -1 1 2 1 3.459 0.05085 0.01846 0.1309 0.4673 1 -0.0002879 0.1048 0.1549 0.05217 0.2284 1.745 1.734 0.1095 0.1655 1 1 0.07833 0.4859 1.014 0.1237 0.7673 1.601 json
t12_x7_u3_b24 12 7 3 24 flr(mlt(P,mlt(R,D))) 25504 97730646 o1(o2(x,o2(x,x))) true 33879 33879 -0.4283 0.1217 0.5233 0.2425 0.4924 -1 1 2 1 4.017 0.06448 0.004311 0.1423 0.8747 1 -0.0002169 0.1325 0.1857 0.04855 0.2203 1.549 1.001 0.2837 0.5464 1 1 0.06536 0.3091 0.4005 0.2695 1.275 1.652 json
t12_x7_u3_b25 12 7 3 25 flr(mlt(P,div(R,D))) 25505 97730647 o1(o2(x,o2(x,x))) true 33887 33887 -0.08196 0.4328 0.8794 0.8466 0.9201 -1 1 2 1 2.356 0.2843 0.06404 0.2332 0.6323 1 0.00001898 0.7086 0.3845 0.294 0.5422 2.325 2.828 0.4114 0.837 1 1 0.3687 1.519 1.517 0.4354 1.795 1.792 json
t12_x7_u3_b26 12 7 3 26 flr(mlt(P,pow(R,D))) 25506 97730648 o1(o2(x,o2(x,x))) true 33895 33895 -0.9844 0.007813 0.9961 0.02625 0.162 -1 1 2 1 0.1256 0.00206 0.003166 0.003355 -0.2116 1 3.754e-12 0.01089 0.005899 0.005215 0.07221 21.53 2.828 0.1991 0.4147 1 1 0.0006169 0.004318 0.02317 0.0235 0.1645 0.8824 json
t12_x7_u3_b27 12 7 3 27 flr(mlt(P,mod(R,D))) 25507 97730649 o1(o2(x,o2(x,x))) true 33903 33903 -0.4558 0.1151 0.5372 0.2398 0.4897 -1 1 2 1 3.899 0.05051 0.00414 0.1237 0.8485 1 -0.001392 0.1337 0.1559 0.03935 0.1984 1.603 1.491 0.2279 0.5577 1 1 0.0281 0.1559 0.3973 0.1172 0.6503 1.657 json
t12_x7_u3_b28 12 7 3 28 flr(mlt(P,lrg(R,D))) 25508 97730650 o1(o2(x,o2(x,x))) true 33911 33911 0.00989 0.4662 0.6634 0.6168 0.7854 -1 1 2 1 3.335 0.02522 0.004964 0.07371 0.6711 1 0.00008339 0.04829 0.08034 0.02476 0.1574 2.135 1.099 0.04894 0.07829 1 1 0.03438 0.1787 0.341 0.05575 0.2897 0.5528 json
t12_x7_u3_b29 12 7 3 29 flr(mlt(P,eql(R,D))) 25509 97730651 o1(o2(x,o2(x,x))) true 33919 33919 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_x7_u3_b30 12 7 3 30 flr(mlt(P,min(R,D))) 25510 97730652 o1(o2(x,o2(x,x))) true 33927 33927 -0.339 0.2706 0.6989 0.5213 0.722 -1 1 2 1 3.528 0.04835 0.005064 0.1122 0.8104 1 0.0003592 0.0986 0.1407 0.04083 0.2021 1.801 1.007 0.1025 0.1891 1 1 0.04951 0.2576 0.3878 0.09497 0.4941 0.7438 json
t12_x7_u3_b31 12 7 3 31 flr(mlt(P,dot(R,D))) 25511 97730653 o1(o2(x,o2(x,x))) true 33935 33935 -0.3806 0.2032 0.5729 0.3385 0.5818 -1 1 2 1 4.043 0.05269 0.05229 0.1836 0.003885 1 -0.0002111 0.3359 0.3007 0.07128 0.267 1.454 1.535 0.3101 0.9922 1 1 0.09695 0.4274 0.5606 0.2864 1.263 1.656 json
t12_x7_u3_b32 12 7 3 32 flr(mlt(P,dst(R,D))) 25512 97730654 o1(o2(x,o2(x,x))) true 33943 33943 -0.03009 0.4964 0.9188 0.9032 0.9504 -1 1 2 1 1.932 0.003072 0.00232 0.01576 0.1394 1 -0.000002169 0.01423 0.01684 0.005142 0.07171 4.549 1.404 0.00597 0.01575 1 1 0.007633 0.0431 0.2219 0.008451 0.04773 0.2457 json
t12_x7_u3_b33 12 7 3 33 flr(div(P,add(R,D))) 25513 97730655 o1(o2(x,o2(x,x))) true 33951 33951 -0.09927 0.4343 0.9223 0.8931 0.9451 -1 1 2 1 2.006 0.4385 0.06896 0.2983 0.7282 1 0.001184 1.298 0.5413 0.4187 0.6471 2.169 2.828 0.5681 1.454 1 1 0.4398 1.214 1.649 0.4925 1.36 1.846 json
t12_x7_u3_b34 12 7 3 34 flr(div(P,sub(R,D))) 25514 97730656 o1(o2(x,o2(x,x))) true 33959 33959 -0.03423 0.4902 0.9107 0.8919 0.9444 -1 1 2 1 2.033 0.4347 0.06963 0.2962 0.7239 1 0.0003219 1.289 0.5389 0.4167 0.6455 2.18 2.828 0.5655 1.445 1 1 0.4474 1.206 1.652 0.5016 1.353 1.852 json
t12_x7_u3_b35 12 7 3 35 flr(div(P,mlt(R,D))) 25515 97730657 o1(o2(x,o2(x,x))) true 33967 33967 -0.01506 0.4889 0.9536 0.9451 0.9722 -1 1 2 1 1.572 0.324 0.1066 0.2315 0.5048 1 0.00003087 0.9787 0.4437 0.3768 0.6138 2.651 2.828 0.4555 1.035 1 1 0.442 1.693 1.927 0.4677 1.791 2.039 json
t12_x7_u3_b36 12 7 3 36 flr(div(P,div(R,D))) 25516 97730658 o1(o2(x,o2(x,x))) true 33975 33975 -0.1925 0.3701 0.7619 0.672 0.8197 -1 1 2 1 3.286 0.1312 0.02941 0.1942 0.6338 1 -0.0002479 0.286 0.2769 0.1229 0.3505 1.805 2.828 0.239 0.4256 1 1 0.1593 0.8527 1.24 0.2371 1.269 1.845 json
t12_x7_u3_b37 12 7 3 37 flr(div(P,pow(R,D))) 25517 97730659 o1(o2(x,o2(x,x))) true 33983 33983 -0.9869 0.003906 0.9947 0.02047 0.1431 -1 1 2 1 0.0988 0.001301 0.00241 0.002548 -0.2989 1 9.011e-11 0.007674 0.004737 0.003703 0.06085 23.89 2 0.1814 0.375 1 1 0.0002844 0.001991 0.01785 0.0139 0.09729 0.8721 json
t12_x7_u3_b38 12 7 3 38 flr(div(P,mod(R,D))) 25518 97730660 o1(o2(x,o2(x,x))) true 33991 33991 -0.06716 0.4673 0.9595 0.9482 0.9738 -1 1 2 1 1.517 0.3666 0.114 0.2498 0.5255 1 0.0007138 1.566 0.5024 0.4182 0.6467 2.589 2.828 0.5068 1.652 1 1 0.3464 0.9699 1.883 0.3653 1.023 1.985 json
t12_x7_u3_b39 12 7 3 39 flr(div(P,lrg(R,D))) 25519 97730661 o1(o2(x,o2(x,x))) true 33999 33999 -0.9358 0.03442 0.9937 0.1171 0.3421 -1 1 2 1 0.2841 0.0366 0.01079 0.02541 0.5448 1 2.403e-10 0.1034 0.05061 0.04677 0.2163 8.511 2.828 0.4048 0.8835 1 1 0.04797 0.1594 0.2694 0.4098 1.362 2.301 json
t12_x7_u3_b40 12 7 3 40 flr(div(P,eql(R,D))) 25520 97730662 o1(o2(x,o2(x,x))) true 34007 34007 -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_x7_u3_b41 12 7 3 41 flr(div(P,min(R,D))) 25521 97730663 o1(o2(x,o2(x,x))) true 34015 34015 -0.1102 0.434 0.9381 0.9133 0.9557 -1 1 2 1 1.759 0.2356 0.05023 0.172 0.6486 1 -0.00004473 0.6615 0.3015 0.2562 0.5062 2.944 2.828 0.313 0.7242 1 1 0.2824 1.043 1.123 0.3092 1.142 1.229 json
t12_x7_u3_b42 12 7 3 42 flr(div(P,dot(R,D))) 25522 97730664 o1(o2(x,o2(x,x))) true 34023 34023 -0.02488 0.4832 0.9505 0.9402 0.9697 -1 1 2 1 1.622 0.3862 0.3803 0.3726 0.00774 1 0.0002029 2.677 0.7864 0.6278 0.7923 2.126 2.828 0.8153 2.847 1 1 0.7031 1.928 1.803 0.7478 2.051 1.917 json
t12_x7_u3_b43 12 7 3 43 flr(div(P,dst(R,D))) 25523 97730665 o1(o2(x,o2(x,x))) true 34031 34031 -0.04072 0.4641 0.9066 0.8938 0.9454 -1 1 2 1 1.877 0.002543 0.001749 0.01238 0.1849 1 -4.886e-7 0.01081 0.01358 0.004139 0.06433 5.195 1.404 0.004803 0.01209 1 1 0.00708 0.04129 0.2155 0.007922 0.0462 0.2411 json
t12_x7_u3_b44 12 7 3 44 flr(pow(P,add(R,D))) 25524 97730666 o1(o2(x,o2(x,x))) true 34039 34039 -0.249 0.4387 0.8155 0.7164 0.8464 -1 1 2 1 2.454 0.01955 0.004025 0.04446 0.6585 1 -0.0001338 0.04394 0.05157 0.02158 0.1469 3.305 2.823 0.0329 0.06133 1 1 0.03004 0.1502 0.3908 0.04193 0.2097 0.5455 json
t12_x7_u3_b45 12 7 3 45 flr(pow(P,sub(R,D))) 25525 97730667 o1(o2(x,o2(x,x))) true 34047 34047 -0.2749 0.4153 0.8379 0.7329 0.8561 -1 1 2 1 2.25 0.02781 0.00241 0.04492 0.8405 1 -0.00002224 0.05712 0.05895 0.02822 0.168 3.74 2.039 0.04123 0.07794 1 1 0.03695 0.1638 0.3615 0.05041 0.2234 0.4932 json
t12_x7_u3_b46 12 7 3 46 flr(pow(P,mlt(R,D))) 25526 97730668 o1(o2(x,o2(x,x))) true 34055 34055 -0.2965 0.4363 0.7972 0.6651 0.8155 -1 1 2 1 2.558 0.03225 0.004693 0.05426 0.7459 1 -0.00004223 0.07195 0.06883 0.03399 0.1844 3.398 2.828 0.05554 0.1082 1 1 0.04429 0.188 0.4166 0.06659 0.2827 0.6264 json
t12_x7_u3_b47 12 7 3 47 flr(pow(P,div(R,D))) 25527 97730669 o1(o2(x,o2(x,x))) true 34063 34063 -0.2065 0.437 0.8873 0.8269 0.9093 -1 1 2 1 1.929 0.02926 0.008276 0.04647 0.559 1 -0.00009079 0.07647 0.06965 0.03539 0.1881 4.048 2.828 0.04539 0.09248 1 1 0.04656 0.1883 0.4464 0.05631 0.2278 0.5398 json
t12_x7_u3_b48 12 7 3 48 flr(pow(P,pow(R,D))) 25528 97730670 o1(o2(x,o2(x,x))) true 34071 34071 -0.9609 0.02344 0.9922 0.06706 0.259 -1 1 2 1 0.226 0.0079 0.006387 0.008969 0.1059 1 -1.201e-10 0.03013 0.01633 0.01421 0.1192 13.29 2.828 0.213 0.4493 1 1 0.01203 0.04862 0.1347 0.1794 0.725 2.009 json
t12_x7_u3_b49 12 7 3 49 flr(pow(P,mod(R,D))) 25529 97730671 o1(o2(x,o2(x,x))) true 34079 34079 -0.328 0.4157 0.7658 0.6135 0.7832 -1 1 2 1 2.569 0.01469 0.004655 0.0355 0.5187 1 -0.00006224 0.03625 0.03021 0.01809 0.1345 3.788 2.828 0.03154 0.05909 1 1 0.02646 0.1356 0.3814 0.04314 0.221 0.6218 json
t12_x7_u3_b50 12 7 3 50 flr(pow(P,lrg(R,D))) 25530 97730672 o1(o2(x,o2(x,x))) true 34087 34087 0.08741 0.5537 0.98 0.9674 0.9836 -1 1 2 1 1.3 0.05371 0.01387 0.0378 0.5894 1 0.000002773 0.1545 0.07187 0.06618 0.2572 6.805 2.828 0.06986 0.1597 1 1 0.06436 0.2013 0.5047 0.06653 0.2081 0.5217 json
t12_x7_u3_b51 12 7 3 51 flr(pow(P,eql(R,D))) 25531 97730673 o1(o2(x,o2(x,x))) true 34095 34095 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_x7_u3_b52 12 7 3 52 flr(pow(P,min(R,D))) 25532 97730674 o1(o2(x,o2(x,x))) true 34103 34103 -0.4187 0.3374 0.675 0.4641 0.6813 -1 1 2 1 2.326 0.02358 0.004181 0.04227 0.6988 1 -0.0001246 0.05368 0.04944 0.02598 0.1612 3.814 2.828 0.05981 0.1157 1 1 0.03448 0.1425 0.2962 0.0743 0.3069 0.6383 json
t12_x7_u3_b53 12 7 3 53 flr(pow(P,dot(R,D))) 25533 97730675 o1(o2(x,o2(x,x))) true 34111 34111 -0.2869 0.4282 0.8072 0.6849 0.8276 -1 1 2 1 2.483 0.02942 0.01961 0.06521 0.2002 1 -0.0001846 0.1418 0.1042 0.04476 0.2116 3.244 2.828 0.07157 0.2071 1 1 0.05735 0.2147 0.4162 0.08373 0.3135 0.6076 json
t12_x7_u3_b54 12 7 3 54 flr(pow(P,dst(R,D))) 25534 97730676 o1(o2(x,o2(x,x))) true 34119 34119 -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
t12_x7_u3_b55 12 7 3 55 flr(mod(P,add(R,D))) 25535 97730677 o1(o2(x,o2(x,x))) true 34127 34127 -0.4515 0.1115 0.486 0.266 0.5158 -1 0.9926 1.993 1 1.834 0.005314 0.00009546 0.01814 0.9647 1 -0.00001055 0.01268 0.02264 0.005084 0.0713 3.932 0.9926 0.02033 0.04765 1 1 0.004471 0.02162 0.09648 0.01681 0.08127 0.3627 json
t12_x7_u3_b56 12 7 3 56 flr(mod(P,sub(R,D))) 25536 97730678 o1(o2(x,o2(x,x))) true 34135 34135 -0.4506 0.1143 0.4869 0.2674 0.5171 -1 0.9997 2 1 1.846 0.006455 0.0001023 0.01969 0.9688 1 -0.00001727 0.01591 0.02581 0.006171 0.07856 3.991 0.9997 0.02452 0.05951 1 1 0.004497 0.02179 0.09927 0.01681 0.08147 0.3712 json
t12_x7_u3_b57 12 7 3 57 flr(mod(P,mlt(R,D))) 25537 97730679 o1(o2(x,o2(x,x))) true 34143 34143 -0.4688 0 0.4688 0.2423 0.4922 -1 0 1 1 1.406 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
t12_x7_u3_b58 12 7 3 58 flr(mod(P,div(R,D))) 25538 97730680 o1(o2(x,o2(x,x))) true 34151 34151 -0.2259 0.3635 0.7116 0.6248 0.7904 -1 1 2 1 2.785 0.08097 0.001258 0.1219 0.9694 1 0.0004346 0.2226 0.2103 0.06737 0.2596 2.129 1.047 0.1316 0.3563 1 1 0.05492 0.1525 0.2941 0.0879 0.2441 0.4707 json
t12_x7_u3_b59 12 7 3 59 flr(mod(P,pow(R,D))) 25539 97730681 o1(o2(x,o2(x,x))) true 34159 34159 -0.9882 0.00415 0.9923 0.01481 0.1217 -1 0.9997 2 1 0.1265 0.001366 0.001866 0.002812 -0.1549 1 3.754e-12 0.006792 0.004777 0.003225 0.05679 20.19 2.828 0.2183 0.4587 1 1 0.0006169 0.004318 0.01334 0.04166 0.2916 0.9012 json
t12_x7_u3_b60 12 7 3 60 flr(mod(P,mod(R,D))) 25540 97730682 o1(o2(x,o2(x,x))) true 34167 34167 -0.4688 0 0.4688 0.2423 0.4922 -1 0 1 1 1.406 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
t12_x7_u3_b61 12 7 3 61 flr(mod(P,lrg(R,D))) 25541 97730683 o1(o2(x,o2(x,x))) true 34175 34175 -0.9312 0 0.9312 0.06407 0.2531 -1 0 1 1 0.3616 0.02485 0.005574 0.03011 0.6335 1 0 0.068 0.06085 0.0295 0.1717 5.704 1.414 0.4748 1.061 1 1 0.02749 0.08127 0.122 0.4291 1.268 1.904 json
t12_x7_u3_b62 12 7 3 62 flr(mod(P,eql(R,D))) 25542 97730684 o1(o2(x,o2(x,x))) true 34183 34183 -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_x7_u3_b63 12 7 3 63 flr(mod(P,min(R,D))) 25543 97730685 o1(o2(x,o2(x,x))) true 34191 34191 -0.4356 0 0.4356 0.2353 0.4851 -1 0 1 1 1.635 0.03104 0.0001777 0.03988 0.9886 1 0.000001046 0.07385 0.0706 0.02962 0.1721 4.316 0.9997 0.1326 0.3138 1 1 0.02314 0.0392 0.09107 0.09831 0.1666 0.387 json
t12_x7_u3_b64 12 7 3 64 flr(mod(P,dot(R,D))) 25544 97730686 o1(o2(x,o2(x,x))) true 34199 34199 -0.4686 0.01091 0.4689 0.2424 0.4924 -1 0.1515 1.152 1 1.414 0.0003645 0.00001259 0.004253 0.9332 1 -0.000003352 0.0001295 0.001483 0.0003588 0.01894 4.454 0.5305 0.001556 0.0005342 1 1 0.0009266 0.01215 0.07513 0.003822 0.05011 0.3099 json
t12_x7_u3_b65 12 7 3 65 flr(mod(P,dst(R,D))) 25545 97730687 o1(o2(x,o2(x,x))) true 34207 34207 -0.3893 0.2954 0.5482 0.3634 0.6028 -1 1 2 1 2.489 0.01735 0.01557 0.05985 0.054 1 -0.00008674 0.1217 0.1018 0.02933 0.1712 2.861 1.414 0.0906 0.335 1 1 0.0241 0.07339 0.2042 0.06631 0.202 0.5619 json
t12_x7_u3_b66 12 7 3 66 flr(lrg(P,add(R,D))) 25546 97730688 o1(o2(x,o2(x,x))) true 34215 34215 0.4983 0.5748 0.4983 0.2332 0.4829 0 1 1 1 1.707 0.002579 0.0001747 0.01255 0.8731 1 0.000009607 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_x7_u3_b67 12 7 3 67 flr(lrg(P,sub(R,D))) 25547 97730689 o1(o2(x,o2(x,x))) true 34223 34223 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_x7_u3_b68 12 7 3 68 flr(lrg(P,mlt(R,D))) 25548 97730690 o1(o2(x,o2(x,x))) true 34231 34231 0.5 0.5378 0.5 0.2421 0.492 0 1 1 1 1.382 0.003597 0.0001053 0.007956 0.9431 1 -3.229e-10 0.006751 0.008078 0.003638 0.06032 7.581 1 0.01529 0.02789 1 1 0.005344 0.0265 0.09053 0.02207 0.1095 0.3739 json
t12_x7_u3_b69 12 7 3 69 flr(lrg(P,div(R,D))) 25549 97730691 o1(o2(x,o2(x,x))) true 34239 34239 0.4994 0.6639 0.4994 0.2145 0.4631 0 1 1 1 2.252 0.07443 0.001095 0.1036 0.971 1 -0.000505 0.1656 0.1758 0.06478 0.2545 2.456 1 0.3522 0.7721 1 1 0.0765 0.1704 0.1893 0.3567 0.7948 0.8828 json
t12_x7_u3_b70 12 7 3 70 flr(lrg(P,pow(R,D))) 25550 97730692 o1(o2(x,o2(x,x))) true 34247 34247 0.7115 0.9524 0.7115 0.1529 0.3911 0 1 1 1 2.46 0.003508 0.001328 0.03155 0.4508 1 3.482e-8 0.005093 0.01323 0.003839 0.06196 1.964 1 0.03162 0.0333 1 1 0.007741 0.07269 0.1921 0.05061 0.4753 1.256 json
t12_x7_u3_b71 12 7 3 71 flr(lrg(P,mod(R,D))) 25551 97730693 o1(o2(x,o2(x,x))) true 34255 34255 0.5039 0.5456 0.5039 0.2412 0.4911 0 1 1 1 1.415 0.0003238 0.0001053 0.004981 0.5091 1 0.000005704 0.00002256 0.001187 0.0004044 0.02011 4.037 0.1169 0.001779 0.00009352 1 1 0.001146 0.01504 0.08976 0.004753 0.06234 0.3721 json
t12_x7_u3_b72 12 7 3 72 flr(lrg(P,lrg(R,D))) 25552 97730694 o1(o2(x,o2(x,x))) true 34263 34263 0.4288 0.4552 0.4288 0.2382 0.4881 0 1 1 1 1.313 0.001212 0.0001361 0.005247 0.798 1 0.00001114 0.001947 0.004038 0.001321 0.03634 6.927 0.9997 0.005658 0.008172 1 1 0.002631 0.01873 0.08448 0.01104 0.07864 0.3546 json
t12_x7_u3_b73 12 7 3 73 flr(lrg(P,eql(R,D))) 25553 97730695 o1(o2(x,o2(x,x))) true 34271 34271 0.4687 0.5 0.4687 0.2423 0.4922 0 1 1 1 1.326 0.0003681 1.509e-7 0.004 0.9992 1 -1.175e-7 0.00006033 0.001044 0.0003522 0.01877 4.692 0.4319 0.00152 0.000249 1 1 0.0009255 0.01214 0.07511 0.00382 0.05012 0.31 json
t12_x7_u3_b74 12 7 3 74 flr(lrg(P,min(R,D))) 25554 97730696 o1(o2(x,o2(x,x))) true 34279 34279 0.5176 0.5625 0.5176 0.2389 0.4888 0 1 1 1 1.486 0.002093 0.00005267 0.007983 0.9509 1 0.000002852 0.003286 0.004977 0.002081 0.04562 5.715 0.9994 0.008984 0.01375 1 1 0.003596 0.02222 0.07826 0.01505 0.09301 0.3276 json
t12_x7_u3_b75 12 7 3 75 flr(lrg(P,dot(R,D))) 25555 97730697 o1(o2(x,o2(x,x))) true 34287 34287 0.499 0.5445 0.499 0.2411 0.491 0 1 1 1 1.421 0.002838 0.001955 0.01021 0.1843 1 0.00001934 0.01541 0.01267 0.004689 0.06847 6.708 1.409 0.01988 0.06391 1 1 0.006801 0.0302 0.08809 0.02821 0.1253 0.3654 json
t12_x7_u3_b76 12 7 3 76 flr(lrg(P,dst(R,D))) 25556 97730698 o1(o2(x,o2(x,x))) true 34295 34295 0.4297 0.4641 0.4297 0.2373 0.4872 0 1 1 1 1.36 0.001877 0.001644 0.008279 0.06628 1 -0.000001305 0.01025 0.01037 0.003449 0.05873 7.094 1.404 0.01484 0.04321 1 1 0.005235 0.02504 0.08667 0.02206 0.1055 0.3652 json
t12_x7_u3_b77 12 7 3 77 flr(eql(P,add(R,D))) 25557 97730699 o1(o2(x,o2(x,x))) true 34303 34303 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_x7_u3_b78 12 7 3 78 flr(eql(P,sub(R,D))) 25558 97730700 o1(o2(x,o2(x,x))) true 34311 34311 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_x7_u3_b79 12 7 3 79 flr(eql(P,mlt(R,D))) 25559 97730701 o1(o2(x,o2(x,x))) true 34319 34319 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_x7_u3_b80 12 7 3 80 flr(eql(P,div(R,D))) 25560 97730702 o1(o2(x,o2(x,x))) true 34327 34327 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_x7_u3_b81 12 7 3 81 flr(eql(P,pow(R,D))) 25561 97730703 o1(o2(x,o2(x,x))) true 34335 34335 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_x7_u3_b82 12 7 3 82 flr(eql(P,mod(R,D))) 25562 97730704 o1(o2(x,o2(x,x))) true 34343 34343 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_x7_u3_b83 12 7 3 83 flr(eql(P,lrg(R,D))) 25563 97730705 o1(o2(x,o2(x,x))) true 34351 34351 0.07581 0.134 0.07581 0.05735 0.2395 0 1 1 1 0.878 0.002091 0.0002371 0.009857 0.7963 1 -0.000008333 0.003172 0.007306 0.002231 0.04724 4.792 0.9997 0.0406 0.05531 1 1 0.004333 0.03216 0.1035 0.07556 0.5607 1.805 json
t12_x7_u3_b84 12 7 3 84 flr(eql(P,eql(R,D))) 25564 97730706 o1(o2(x,o2(x,x))) true 34359 34359 0.06254 0.125 0.06254 0.04512 0.2124 0 0.9999 0.9999 1 0.8129 0.0007211 1.509e-7 0.007966 0.9996 1 1.161e-7 0.00007655 0.001972 0.0006579 0.02565 3.22 0.4319 0.01598 0.001697 1 1 0.001851 0.02408 0.06599 0.04102 0.5337 1.463 json
t12_x7_u3_b85 12 7 3 85 flr(eql(P,min(R,D))) 25565 97730707 o1(o2(x,o2(x,x))) true 34367 34367 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_x7_u3_b86 12 7 3 86 flr(eql(P,dot(R,D))) 25566 97730708 o1(o2(x,o2(x,x))) true 34375 34375 0.00002339 0.00006104 0.00002339 0.00001388 0.003725 0 0.6669 0.6669 1 0.001004 0.00002864 0.00002864 0.00008242 0 0 0 0.0002864 0.0001931 0.00005727 0.007568 91.82 0.9432 4.128 20.64 1 1 0 0 0.00001246 0 0 0.8978 json
t12_x7_u3_b87 12 7 3 87 flr(eql(P,dst(R,D))) 25567 97730709 o1(o2(x,o2(x,x))) true 34383 34383 0.00001866 0.0001068 0.00001866 0.00001186 0.003444 0 0.8547 0.8547 1 0.0007985 0.00002449 0.00002449 0.00006575 0 0 0 0.0002449 0.0001541 0.00004897 0.006998 106.4 1.209 4.128 20.64 1 1 0.000002607 0.00001272 0.00001272 0.2197 1.073 1.072 json
t12_x7_u3_b88 12 7 3 88 flr(min(P,add(R,D))) 25568 97730710 o1(o2(x,o2(x,x))) true 34391 34391 -0.7355 0.05183 0.7627 0.1677 0.4095 -1 0.9988 1.999 1 2.599 0.01551 0.001592 0.05598 0.8138 1 0.0002287 0.02992 0.05644 0.01396 0.1182 2.111 0.9997 0.102 0.1784 1 1 0.01908 0.1055 0.2282 0.1138 0.6293 1.361 json
t12_x7_u3_b89 12 7 3 89 flr(min(P,sub(R,D))) 25569 97730711 o1(o2(x,o2(x,x))) true 34399 34399 -0.724 0.06114 0.7558 0.1751 0.4184 -1 0.9985 1.999 1 2.694 0.01697 0.001645 0.06001 0.8233 1 -0.000007038 0.03286 0.06135 0.01501 0.1225 2.042 1 0.1063 0.1877 1 1 0.02073 0.1067 0.2418 0.1184 0.6092 1.381 json
t12_x7_u3_b90 12 7 3 90 flr(min(P,mlt(R,D))) 25570 97730712 o1(o2(x,o2(x,x))) true 34407 34407 -0.7344 0 0.7344 0.1391 0.3729 -1 0 1 1 2.537 0.02512 0.001307 0.05492 0.9011 1 -0.000004283 0.04904 0.05946 0.02341 0.153 2.786 1 0.19 0.3526 1 1 0.0308 0.1426 0.1827 0.2215 1.026 1.314 json
t12_x7_u3_b91 12 7 3 91 flr(min(P,div(R,D))) 25571 97730713 o1(o2(x,o2(x,x))) true 34415 34415 -0.6158 0.1723 0.8827 0.4693 0.6851 -1 1 2 1 2.165 0.116 0.01324 0.1177 0.7951 1 0.0001077 0.2552 0.1733 0.1153 0.3396 2.884 2.821 0.2754 0.5437 1 1 0.1451 0.6047 0.6501 0.3092 1.288 1.385 json
t12_x7_u3_b92 12 7 3 92 flr(min(P,pow(R,D))) 25572 97730714 o1(o2(x,o2(x,x))) true 34423 34423 -0.04743 0.5 0.8901 0.8619 0.9284 -1 1 2 1 2.308 0.01087 0.001038 0.03071 0.8257 1 -0.000006507 0.01949 0.02937 0.01096 0.1047 3.409 0.9997 0.01382 0.02261 1 1 0.01491 0.06875 0.2421 0.0173 0.07977 0.2809 json
t12_x7_u3_b93 12 7 3 93 flr(min(P,mod(R,D))) 25573 97730715 o1(o2(x,o2(x,x))) true 34431 34431 -0.7578 0 0.7578 0.1282 0.3581 -1 0 1 1 2.446 0.001205 0.001316 0.02956 -0.04423 1 -0.00002994 0.0001512 0.007216 0.001648 0.0406 1.373 0.1169 0.01966 0.001179 1 1 0.005145 0.06684 0.1791 0.04012 0.5213 1.397 json
t12_x7_u3_b94 12 7 3 94 flr(min(P,lrg(R,D))) 25574 97730716 o1(o2(x,o2(x,x))) true 34439 34439 -0.2374 0.4651 0.7001 0.5835 0.7638 -1 1 2 1 3.186 0.01023 0.001034 0.04502 0.8164 1 0.00003414 0.0183 0.03545 0.009238 0.09612 2.135 0.9997 0.01931 0.03136 1 1 0.01267 0.08445 0.2757 0.02171 0.1447 0.4725 json
t12_x7_u3_b95 12 7 3 95 flr(min(P,eql(R,D))) 25575 97730717 o1(o2(x,o2(x,x))) true 34447 34447 -0.4687 0.0002289 0.4688 0.2423 0.4922 -1 0.3282 1.328 1 1.409 0.0003675 1.509e-7 0.004031 0.9992 1 1.175e-7 0.00006027 0.001052 0.0003516 0.01875 4.651 0.3186 0.001517 0.0002487 1 1 0.0009255 0.01214 0.07511 0.003819 0.05011 0.31 json
t12_x7_u3_b96 12 7 3 96 flr(min(P,min(R,D))) 25576 97730718 o1(o2(x,o2(x,x))) true 34455 34455 -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_x7_u3_b97 12 7 3 97 flr(min(P,dot(R,D))) 25577 97730719 o1(o2(x,o2(x,x))) true 34463 34463 -0.7329 0.004105 0.7329 0.1431 0.3783 -1 0.07772 1.078 1 2.535 0.01914 0.01811 0.06675 0.02757 1 -0.0001367 0.1169 0.09695 0.03281 0.1811 2.713 1.414 0.2603 0.8173 1 1 0.04077 0.1607 0.1972 0.285 1.123 1.378 json
t12_x7_u3_b98 12 7 3 98 flr(min(P,dst(R,D))) 25578 97730720 o1(o2(x,o2(x,x))) true 34471 34471 -0.1986 0.4799 0.7389 0.6498 0.8061 -1 1 2 1 3.039 0.01205 0.0118 0.0538 0.01064 1 0.0001645 0.07008 0.06955 0.02096 0.1448 2.691 1.413 0.03671 0.1079 1 1 0.02669 0.1199 0.2991 0.04107 0.1846 0.4603 json
t12_x7_u3_b99 12 7 3 99 flr(dot(P,add(R,D))) 25579 97730721 o1(o2(x,o2(x,x))) true 34479 34479 -0.3001 0.3368 0.8626 0.732 0.8556 -1 1 2 1 2.651 0.04837 0.05398 0.142 -0.05482 1 0.0008467 0.2289 0.2117 0.08217 0.2867 2.018 2.219 0.1398 0.3127 1 1 0.1107 0.617 1.293 0.1513 0.8428 1.767 json
t12_x7_u3_b100 12 7 3 100 flr(dot(P,sub(R,D))) 25580 97730722 o1(o2(x,o2(x,x))) true 34487 34487 -0.154 0.4199 0.8486 0.7809 0.8837 -1 1 2 1 2.835 0.04957 0.05505 0.1493 -0.05238 1 -0.001068 0.2377 0.2211 0.08235 0.287 1.923 2.139 0.134 0.3044 1 1 0.1129 0.6355 1.368 0.1445 0.8138 1.751 json
t12_x7_u3_b101 12 7 3 101 flr(dot(P,mlt(R,D))) 25581 97730723 o1(o2(x,o2(x,x))) true 34495 34495 -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_x7_u3_b102 12 7 3 102 flr(dot(P,div(R,D))) 25582 97730724 o1(o2(x,o2(x,x))) true 34503 34503 -0.05293 0.4704 0.9549 0.9387 0.9689 -1 1 2 1 1.724 0.3414 0.3457 0.3795 -0.006202 1 0.00009033 1.814 0.7237 0.5432 0.737 1.942 2.828 0.732 1.933 1 1 0.6416 1.694 1.803 0.6835 1.805 1.921 json
t12_x7_u3_b103 12 7 3 103 flr(dot(P,pow(R,D))) 25583 97730725 o1(o2(x,o2(x,x))) true 34511 34511 -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_x7_u3_b104 12 7 3 104 flr(dot(P,mod(R,D))) 25584 97730726 o1(o2(x,o2(x,x))) true 34519 34519 -0.4504 0.1884 0.6141 0.3244 0.5696 -1 1 2 1 3.881 0.09401 0.1034 0.2777 -0.04777 1 -0.001138 0.6373 0.4735 0.1203 0.3469 1.249 2.118 0.6086 1.964 1 1 0.1007 0.2706 0.5197 0.3104 0.8341 1.602 json
t12_x7_u3_b105 12 7 3 105 flr(dot(P,lrg(R,D))) 25585 97730727 o1(o2(x,o2(x,x))) true 34527 34527 0.0007279 0.5022 0.8528 0.8207 0.9059 -1 1 2 1 2.605 0.03169 0.03385 0.09372 -0.03305 1 0.00005457 0.1109 0.1148 0.05676 0.2382 2.542 2.207 0.07985 0.1351 1 1 0.06675 0.3323 0.694 0.08133 0.4049 0.8456 json
t12_x7_u3_b106 12 7 3 106 flr(dot(P,eql(R,D))) 25586 97730728 o1(o2(x,o2(x,x))) true 34535 34535 -0.0001701 0.0002289 0.0002502 0.000152 0.01233 -0.8606 0.3282 1.189 1 0.0104 0.00001661 0.0002927 0.0005009 -0.8926 1 1.171e-7 0.0009302 0.0009922 0.000309 0.01758 35.09 0.8606 2.035 6.119 1 1 0.0002646 0.0003513 0.0005225 1.74 2.311 3.437 json
t12_x7_u3_b107 12 7 3 107 flr(dot(P,min(R,D))) 25587 97730729 o1(o2(x,o2(x,x))) true 34543 34543 -0.2985 0.3245 0.8147 0.6754 0.8219 -1 1 2 1 3.028 0.03461 0.03794 0.1279 -0.04595 1 0.001025 0.1695 0.1846 0.0562 0.2371 1.854 1.544 0.1074 0.251 1 1 0.07499 0.3971 0.7209 0.111 0.5879 1.067 json
t12_x7_u3_b108 12 7 3 108 flr(dot(P,dot(R,D))) 25588 97730730 o1(o2(x,o2(x,x))) true 34551 34551 -0.3422 0.2438 0.6006 0.3992 0.6318 -1 1 2 1 3.995 0.05706 0.05784 0.1915 -0.006767 1 -0.0001829 0.3611 0.3161 0.07821 0.2797 1.46 1.734 0.2878 0.9047 1 1 0.1064 0.5051 0.7008 0.2664 1.265 1.756 json
t12_x7_u3_b109 12 7 3 109 flr(dot(P,dst(R,D))) 25589 97730731 o1(o2(x,o2(x,x))) true 34559 34559 -0.03704 0.4839 0.922 0.9036 0.9506 -1 1 2 1 1.971 0.002612 0.002807 0.01798 -0.03587 1 0.000005841 0.01229 0.01662 0.005097 0.07139 3.971 1.408 0.005997 0.0136 1 1 0.008983 0.06077 0.3831 0.009941 0.06725 0.424 json
t12_x7_u3_b110 12 7 3 110 flr(dst(P,add(R,D))) 25590 97730732 o1(o2(x,o2(x,x))) true 34567 34567 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_x7_u3_b111 12 7 3 111 flr(dst(P,sub(R,D))) 25591 97730733 o1(o2(x,o2(x,x))) true 34575 34575 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_x7_u3_b112 12 7 3 112 flr(dst(P,mlt(R,D))) 25592 97730734 o1(o2(x,o2(x,x))) true 34583 34583 0.9902 0.9996 0.9902 0.008114 0.09008 8.471e-8 1 1 1 0.1534 0.0004999 0.0006048 0.002256 -0.09502 1 1.877e-11 0.002786 0.003037 0.001101 0.03318 14.71 1.394 0.1362 0.3434 1 1 0.00213 0.01036 0.02811 0.2625 1.277 3.464 json
t12_x7_u3_b113 12 7 3 113 flr(dst(P,div(R,D))) 25593 97730735 o1(o2(x,o2(x,x))) true 34591 34591 -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_x7_u3_b114 12 7 3 114 flr(dst(P,pow(R,D))) 25594 97730736 o1(o2(x,o2(x,x))) true 34599 34599 -0.9922 0.003906 1 0.01556 0.1248 -1 1 2 1 0.03687 0.002016 0.002016 0.001997 0 1 0 0.008566 0.004031 0.004024 0.06344 31.76 2.828 0.259 0.5504 1 1 0.007091 0.02837 0.05496 0.4556 1.823 3.531 json
t12_x7_u3_b115 12 7 3 115 flr(dst(P,mod(R,D))) 25595 97730737 o1(o2(x,o2(x,x))) true 34607 34607 0.99 0.9997 0.99 0.007695 0.08772 1.694e-7 1 1 1 0.1777 0.001186 0.002423 0.005716 -0.3427 1 -2.628e-11 0.01189 0.009748 0.003576 0.0598 10.46 1.213 0.4691 1.545 1 1 0.00289 0.009367 0.02542 0.3756 1.217 3.304 json
t12_x7_u3_b116 12 7 3 116 flr(dst(P,lrg(R,D))) 25596 97730738 o1(o2(x,o2(x,x))) true 34615 34615 0.9972 1 0.9972 0.001881 0.04337 0.0005819 1 0.9994 1 0.07069 0.00004659 0.0001185 0.0007405 -0.4358 1 -1.502e-10 0.0001947 0.0005078 0.0001648 0.01284 17.33 0.7742 0.08778 0.1035 1 1 0.0004154 0.00344 0.006859 0.2208 1.828 3.646 json
t12_x7_u3_b117 12 7 3 117 flr(dst(P,eql(R,D))) 25597 97730739 o1(o2(x,o2(x,x))) true 34623 34623 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
t12_x7_u3_b118 12 7 3 118 flr(dst(P,min(R,D))) 25598 97730740 o1(o2(x,o2(x,x))) true 34631 34631 0.9898 0.9999 0.9898 0.007341 0.08568 1.694e-7 1 1 1 0.1985 0.0002269 0.0002649 0.002575 -0.07741 1 -1.502e-11 0.001069 0.002476 0.0004847 0.02202 8.548 0.7766 0.06699 0.1457 1 1 0.00113 0.008038 0.02626 0.154 1.095 3.578 json
t12_x7_u3_b119 12 7 3 119 flr(dst(P,dot(R,D))) 25599 97730741 o1(o2(x,o2(x,x))) true 34639 34639 0.9896 0.9998 0.9896 0.007777 0.08819 1.694e-7 1 1 1 0.1941 0.0007432 0.0006723 0.003361 0.05008 1 -1.352e-10 0.004035 0.004517 0.001403 0.03745 11.14 1.388 0.182 0.5188 1 1 0.002709 0.01169 0.02582 0.3483 1.503 3.321 json