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
- leaves:
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.
#Akept 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-256b6fc8f27…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 oninputs.expr), the formula (grad-noise-175k.manifest.json) and the frames (png/)
| 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_x20_u3_b9 | 12 | 20 | 3 | 9 | ![]() |
flr(add(R,dot(P,R))) | 36500 | 98255844 | o1(o2(x,o2(x,x))) | true | 121847 | 121847 | -0.2415 | 0.3652 | 0.8565 | 0.757 | 0.8701 | -1 | 1 | 2 | 1 | 2.73 | 0.02522 | 0.03159 | 0.09938 | -0.1122 | 1 | 0.00008367 | 0.04562 | 0.07264 | 0.04692 | 0.2166 | 2.18 | 1.849 | 0.07504 | 0.06026 | 1 | 1 | 0.07385 | 0.5782 | 1.368 | 0.09755 | 0.7638 | 1.808 | json |
| t12_x20_u3_b10 | 12 | 20 | 3 | 10 | ![]() |
flr(add(R,dst(P,R))) | 36501 | 98255845 | o1(o2(x,o2(x,x))) | true | 121855 | 121855 | 0.9956 | 1 | 0.9956 | 0.002922 | 0.05406 | 0.0005821 | 1 | 0.9994 | 1 | 0.1041 | 0.00009212 | 0.0001126 | 0.001306 | -0.1002 | 1 | -9.386e-12 | 0.00007338 | 0.0006627 | 0.0002031 | 0.01425 | 10.91 | 0.3083 | 0.07006 | 0.02511 | 1 | 1 | 0.0006667 | 0.006253 | 0.01069 | 0.2281 | 2.14 | 3.656 | json |
| t12_x20_u3_b11 | 12 | 20 | 3 | 11 | ![]() |
flr(sub(R,add(P,R))) | 36502 | 98255846 | o1(o2(x,o2(x,x))) | true | 121863 | 121863 | -0.001649 | 0.4998 | 0.9359 | 0.9221 | 0.9603 | -1 | 1 | 2 | 1 | 1.829 | 0.0007061 | 0.00001513 | 0.008076 | 0.9581 | 1 | -0.000004817 | 0.00003537 | 0.001903 | 0.0006558 | 0.02561 | 3.171 | 0.2198 | 0.0007821 | 0.00003836 | 1 | 1 | 0.001851 | 0.02449 | 0.2352 | 0.002007 | 0.02656 | 0.2551 | json |
| t12_x20_u3_b12 | 12 | 20 | 3 | 12 | ![]() |
flr(sub(R,sub(P,R))) | 36503 | 98255847 | o1(o2(x,o2(x,x))) | true | 121871 | 121871 | -0.06043 | 0.4706 | 0.9308 | 0.9091 | 0.9535 | -1 | 1 | 2 | 1 | 1.965 | 0.002027 | 0.001427 | 0.01791 | 0.1737 | 1 | -0.00002799 | 0.0008851 | 0.007093 | 0.003133 | 0.05598 | 3.125 | 0.4676 | 0.0038 | 0.0009736 | 1 | 1 | 0.007856 | 0.08293 | 0.3381 | 0.008641 | 0.09122 | 0.372 | json |
| t12_x20_u3_b13 | 12 | 20 | 3 | 13 | ![]() |
flr(sub(R,mlt(P,R))) | 36504 | 98255848 | o1(o2(x,o2(x,x))) | true | 121879 | 121879 | -0.1545 | 0.359 | 0.7191 | 0.6361 | 0.7976 | -1 | 1 | 2 | 1 | 3.511 | 0.01631 | 0.02025 | 0.08981 | -0.1077 | 1 | 0.00007985 | 0.02119 | 0.04907 | 0.02849 | 0.1688 | 1.879 | 1.354 | 0.05748 | 0.03331 | 1 | 1 | 0.05073 | 0.422 | 0.9821 | 0.07975 | 0.6635 | 1.544 | json |
| t12_x20_u3_b14 | 12 | 20 | 3 | 14 | ![]() |
flr(sub(R,div(P,R))) | 36505 | 98255849 | o1(o2(x,o2(x,x))) | true | 121887 | 121887 | -0.009282 | 0.4911 | 0.9421 | 0.925 | 0.9618 | -1 | 1 | 2 | 1 | 1.874 | 0.06423 | 0.07927 | 0.1123 | -0.1048 | 1 | 0.00004603 | 0.2812 | 0.1608 | 0.1309 | 0.3619 | 3.223 | 2.828 | 0.1551 | 0.304 | 1 | 1 | 0.1636 | 0.8391 | 1.882 | 0.1768 | 0.9071 | 2.034 | json |
| t12_x20_u3_b15 | 12 | 20 | 3 | 15 | ![]() |
flr(sub(R,pow(P,R))) | 36506 | 98255850 | o1(o2(x,o2(x,x))) | true | 121895 | 121895 | -0.9933 | 0 | 0.9933 | 0.005355 | 0.07318 | -1 | -0.000291 | 0.9997 | 1 | 0.1192 | 0.00113 | 0.0005149 | 0.002639 | 0.3738 | 1 | -6.007e-11 | 0.003289 | 0.003601 | 0.001638 | 0.04047 | 15.34 | 0.9997 | 0.3071 | 0.6142 | 1 | 1 | 0.002359 | 0.009357 | 0.01512 | 0.4405 | 1.747 | 2.824 | json |
| t12_x20_u3_b16 | 12 | 20 | 3 | 16 | ![]() |
flr(sub(R,mod(P,R))) | 36507 | 98255851 | o1(o2(x,o2(x,x))) | true | 121903 | 121903 | -0.4404 | 0.1309 | 0.5703 | 0.2768 | 0.5262 | -1 | 1 | 2 | 1 | 4.027 | 0.003356 | 0.004513 | 0.06586 | -0.1471 | 1 | 0.000003056 | 0.000647 | 0.01699 | 0.00353 | 0.05942 | 0.9021 | 0.2338 | 0.02842 | 0.002337 | 1 | 1 | 0.01561 | 0.194 | 0.4746 | 0.05639 | 0.7007 | 1.714 | json |
| t12_x20_u3_b17 | 12 | 20 | 3 | 17 | ![]() |
flr(sub(R,lrg(P,R))) | 36508 | 98255852 | o1(o2(x,o2(x,x))) | true | 121911 | 121911 | -0.741 | 0 | 0.741 | 0.1465 | 0.3827 | -1 | 0 | 1 | 1 | 2.359 | 0.001183 | 0.001325 | 0.02639 | -0.05668 | 1 | 0.0000164 | 0.0002493 | 0.007123 | 0.00181 | 0.04255 | 1.612 | 0.2266 | 0.01712 | 0.001702 | 1 | 1 | 0.005251 | 0.06266 | 0.182 | 0.03584 | 0.4278 | 1.243 | json |
| t12_x20_u3_b18 | 12 | 20 | 3 | 18 | ![]() |
flr(sub(R,eql(P,R))) | 36509 | 98255853 | o1(o2(x,o2(x,x))) | true | 121919 | 121919 | -0.5176 | 0 | 0.5176 | 0.1537 | 0.3921 | -1 | 0 | 1 | 1 | 3.585 | 0.001972 | 0.002442 | 0.05168 | -0.1065 | 1 | -0.00001781 | 0.0002592 | 0.01257 | 0.001744 | 0.04176 | 0.8079 | 0.1169 | 0.02872 | 0.001686 | 1 | 1 | 0.008731 | 0.1124 | 0.2862 | 0.0568 | 0.7316 | 1.862 | json |
| t12_x20_u3_b19 | 12 | 20 | 3 | 19 | ![]() |
flr(sub(R,min(P,R))) | 36510 | 98255854 | o1(o2(x,o2(x,x))) | true | 121927 | 121927 | 0.4423 | 0.4866 | 0.4423 | 0.2377 | 0.4875 | 0 | 1 | 1 | 1 | 1.41 | 0.0003303 | 0.0001484 | 0.00523 | 0.3799 | 1 | -0.00001097 | 0.00005119 | 0.001359 | 0.0004511 | 0.02124 | 4.061 | 0.2245 | 0.002014 | 0.0002154 | 1 | 1 | 0.00119 | 0.01529 | 0.09149 | 0.005006 | 0.06435 | 0.385 | json |
| t12_x20_u3_b20 | 12 | 20 | 3 | 20 | ![]() |
flr(sub(R,dot(P,R))) | 36511 | 98255855 | o1(o2(x,o2(x,x))) | true | 121935 | 121935 | -0.05362 | 0.4623 | 0.8518 | 0.8061 | 0.8979 | -1 | 1 | 2 | 1 | 2.821 | 0.0243 | 0.03393 | 0.1032 | -0.1653 | 1 | 0.00002638 | 0.04585 | 0.07469 | 0.04758 | 0.2181 | 2.113 | 1.87 | 0.07224 | 0.05687 | 1 | 1 | 0.07454 | 0.5817 | 1.387 | 0.09246 | 0.7216 | 1.72 | json |
| t12_x20_u3_b21 | 12 | 20 | 3 | 21 | ![]() |
flr(sub(R,dst(P,R))) | 36512 | 98255856 | o1(o2(x,o2(x,x))) | true | 121943 | 121943 | -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_x20_u3_b22 | 12 | 20 | 3 | 22 | ![]() |
flr(mlt(R,add(P,R))) | 36513 | 98255857 | o1(o2(x,o2(x,x))) | true | 121951 | 121951 | -0.1771 | 0.388 | 0.746 | 0.6497 | 0.8061 | -1 | 1 | 2 | 1 | 3.557 | 0.01741 | 0.01882 | 0.09361 | -0.03915 | 1 | -0.00007738 | 0.02023 | 0.04872 | 0.02748 | 0.1658 | 1.771 | 1.43 | 0.05576 | 0.03114 | 1 | 1 | 0.05157 | 0.4595 | 1.105 | 0.07937 | 0.7072 | 1.701 | json |
| t12_x20_u3_b23 | 12 | 20 | 3 | 23 | ![]() |
flr(mlt(R,sub(P,R))) | 36514 | 98255858 | o1(o2(x,o2(x,x))) | true | 121959 | 121959 | -0.4221 | 0.2285 | 0.7831 | 0.5531 | 0.7437 | -1 | 1 | 2 | 1 | 3.061 | 0.01558 | 0.01637 | 0.07973 | -0.02464 | 1 | -0.00000272 | 0.01838 | 0.04593 | 0.02559 | 0.16 | 2.006 | 1.34 | 0.05777 | 0.03323 | 1 | 1 | 0.04337 | 0.3646 | 0.8841 | 0.07841 | 0.6592 | 1.598 | json |
| t12_x20_u3_b24 | 12 | 20 | 3 | 24 | ![]() |
flr(mlt(R,mlt(P,R))) | 36515 | 98255859 | o1(o2(x,o2(x,x))) | true | 121967 | 121967 | -0.2375 | 0.3614 | 0.7 | 0.6127 | 0.7828 | -1 | 1 | 2 | 1 | 2.68 | 0.001767 | 0.001476 | 0.02292 | 0.0897 | 1 | -0.00006196 | 0.0009796 | 0.009362 | 0.002717 | 0.05212 | 2.274 | 0.4317 | 0.005292 | 0.001599 | 1 | 1 | 0.005755 | 0.06145 | 0.2325 | 0.009393 | 0.1003 | 0.3795 | json |
| t12_x20_u3_b25 | 12 | 20 | 3 | 25 | ![]() |
flr(mlt(R,div(P,R))) | 36516 | 98255860 | o1(o2(x,o2(x,x))) | true | 121975 | 121975 | -0.01876 | 0.4907 | 0.9195 | 0.9045 | 0.9511 | -1 | 1 | 2 | 1 | 1.924 | 0.000759 | 0.0001161 | 0.008924 | 0.7346 | 1 | -4.437e-7 | 0.00008843 | 0.002426 | 0.0007959 | 0.02821 | 3.161 | 0.2265 | 0.0009676 | 0.00009776 | 1 | 1 | 0.002258 | 0.02825 | 0.2178 | 0.002496 | 0.03123 | 0.2408 | json |
| t12_x20_u3_b26 | 12 | 20 | 3 | 26 | ![]() |
flr(mlt(R,pow(P,R))) | 36517 | 98255861 | o1(o2(x,o2(x,x))) | true | 121983 | 121983 | -0.6566 | 0.1294 | 0.8445 | 0.37 | 0.6083 | -1 | 1 | 2 | 1 | 2.443 | 0.00662 | 0.004693 | 0.04251 | 0.1703 | 1 | -0.000057 | 0.00946 | 0.02055 | 0.009506 | 0.0975 | 2.293 | 1.414 | 0.03058 | 0.02557 | 1 | 1 | 0.01689 | 0.1599 | 0.507 | 0.04564 | 0.4321 | 1.37 | json |
| t12_x20_u3_b27 | 12 | 20 | 3 | 27 | ![]() |
flr(mlt(R,mod(P,R))) | 36518 | 98255862 | o1(o2(x,o2(x,x))) | true | 121991 | 121991 | -0.4941 | 0 | 0.4941 | 0.1569 | 0.3961 | -1 | 0 | 1 | 1 | 3.605 | 0.001946 | 0.002332 | 0.05014 | -0.09022 | 1 | -0.00003637 | 0.0002504 | 0.01218 | 0.001764 | 0.042 | 0.8377 | 0.1169 | 0.02726 | 0.001596 | 1 | 1 | 0.00831 | 0.107 | 0.2923 | 0.05296 | 0.6821 | 1.863 | json |
| t12_x20_u3_b28 | 12 | 20 | 3 | 28 | ![]() |
flr(mlt(R,lrg(P,R))) | 36519 | 98255863 | o1(o2(x,o2(x,x))) | true | 121999 | 121999 | -0.2891 | 0 | 0.2891 | 0.1494 | 0.3865 | -1 | 0 | 1 | 1 | 2.895 | 0.001244 | 0.001316 | 0.03 | -0.02823 | 1 | -0.00002994 | 0.000153 | 0.00732 | 0.00166 | 0.04075 | 1.358 | 0.1169 | 0.01714 | 0.001024 | 1 | 1 | 0.005223 | 0.06784 | 0.1774 | 0.03496 | 0.4541 | 1.188 | json |
| t12_x20_u3_b29 | 12 | 20 | 3 | 29 | ![]() |
flr(mlt(R,eql(P,R))) | 36520 | 98255864 | o1(o2(x,o2(x,x))) | true | 122007 | 122007 | 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_x20_u3_b30 | 12 | 20 | 3 | 30 | ![]() |
flr(mlt(R,min(P,R))) | 36521 | 98255865 | o1(o2(x,o2(x,x))) | true | 122015 | 122015 | -0.1324 | 0.1591 | 0.3605 | 0.3128 | 0.5593 | -1 | 1 | 2 | 1 | 2.602 | 0.007772 | 0.009069 | 0.04313 | -0.07703 | 1 | -0.00003834 | 0.009586 | 0.02328 | 0.01497 | 0.1224 | 2.837 | 1.403 | 0.05384 | 0.03065 | 1 | 1 | 0.02411 | 0.2045 | 0.4483 | 0.07707 | 0.6538 | 1.433 | json |
| t12_x20_u3_b31 | 12 | 20 | 3 | 31 | ![]() |
flr(mlt(R,dot(P,R))) | 36522 | 98255866 | o1(o2(x,o2(x,x))) | true | 122023 | 122023 | -0.19 | 0.398 | 0.7929 | 0.7077 | 0.8413 | -1 | 1 | 2 | 1 | 3.133 | 0.007944 | 0.007367 | 0.05762 | 0.03769 | 1 | -0.00004358 | 0.006198 | 0.02744 | 0.01199 | 0.1095 | 1.9 | 1.057 | 0.02163 | 0.008758 | 1 | 1 | 0.02309 | 0.2357 | 0.6248 | 0.03262 | 0.333 | 0.8828 | json |
| t12_x20_u3_b32 | 12 | 20 | 3 | 32 | ![]() |
flr(mlt(R,dst(P,R))) | 36523 | 98255867 | o1(o2(x,o2(x,x))) | true | 122031 | 122031 | -0.158 | 0.4122 | 0.8631 | 0.7972 | 0.8928 | -1 | 1 | 2 | 1 | 2.734 | 0.02608 | 0.03079 | 0.1014 | -0.08282 | 1 | 0.00005535 | 0.04398 | 0.07161 | 0.04658 | 0.2158 | 2.129 | 2 | 0.07133 | 0.05517 | 1 | 1 | 0.07712 | 0.6006 | 1.407 | 0.09675 | 0.7534 | 1.765 | json |
| t12_x20_u3_b33 | 12 | 20 | 3 | 33 | ![]() |
flr(div(R,add(P,R))) | 36524 | 98255868 | o1(o2(x,o2(x,x))) | true | 122039 | 122039 | -0.4889 | 0.0433 | 0.529 | 0.1975 | 0.4444 | -1 | 0.9997 | 2 | 1 | 3.771 | 0.003372 | 0.002988 | 0.05535 | 0.06039 | 1 | 0.00002537 | 0.001184 | 0.01582 | 0.003297 | 0.05742 | 1.037 | 0.7632 | 0.0322 | 0.005992 | 1 | 1 | 0.01147 | 0.1361 | 0.3646 | 0.05804 | 0.689 | 1.846 | json |
| t12_x20_u3_b34 | 12 | 20 | 3 | 34 | ![]() |
flr(div(R,sub(P,R))) | 36525 | 98255869 | o1(o2(x,o2(x,x))) | true | 122047 | 122047 | -0.4819 | 0.06915 | 0.5798 | 0.255 | 0.505 | -1 | 1 | 2 | 1 | 3.796 | 0.004994 | 0.005074 | 0.06053 | -0.007996 | 1 | -0.00008192 | 0.004957 | 0.01942 | 0.006404 | 0.08003 | 1.322 | 1.908 | 0.03948 | 0.01944 | 1 | 1 | 0.01681 | 0.1851 | 0.4675 | 0.06591 | 0.726 | 1.833 | json |
| t12_x20_u3_b35 | 12 | 20 | 3 | 35 | ![]() |
flr(div(R,mlt(P,R))) | 36526 | 98255870 | o1(o2(x,o2(x,x))) | true | 122055 | 122055 | -0.542 | 0.05319 | 0.583 | 0.2837 | 0.5326 | -1 | 0.9997 | 2 | 1 | 1.313 | 0.01183 | 0.00006145 | 0.00977 | 0.9897 | 1 | -1.276e-10 | 0.02334 | 0.0139 | 0.0118 | 0.1086 | 11.12 | 2 | 0.04193 | 0.08226 | 1 | 1 | 0.01614 | 0.06316 | 0.137 | 0.05691 | 0.2227 | 0.483 | json |
| t12_x20_u3_b36 | 12 | 20 | 3 | 36 | ![]() |
flr(div(R,div(P,R))) | 36527 | 98255871 | o1(o2(x,o2(x,x))) | true | 122063 | 122063 | -0.5625 | 0 | 0.5625 | 0.2461 | 0.4961 | -1 | 0 | 1 | 1 | 0.9887 | 0.003968 | 0 | 0.003968 | 1 | 1 | 0 | 0.007937 | 0.007937 | 0.003952 | 0.06287 | 15.84 | 1 | 0.01612 | 0.03225 | 1 | 1 | 0.005263 | 0.02105 | 0.08421 | 0.02139 | 0.08555 | 0.3422 | json |
| t12_x20_u3_b37 | 12 | 20 | 3 | 37 | ![]() |
flr(div(R,pow(P,R))) | 36528 | 98255872 | o1(o2(x,o2(x,x))) | true | 122071 | 122071 | -0.8175 | 0 | 0.8175 | 0.1145 | 0.3384 | -1 | 0 | 1 | 1 | 1.87 | 0.003881 | 0.002401 | 0.02733 | 0.2356 | 1 | 0.00006315 | 0.007293 | 0.01577 | 0.005532 | 0.07438 | 2.721 | 1.414 | 0.05487 | 0.0637 | 1 | 1 | 0.009096 | 0.07019 | 0.1691 | 0.07945 | 0.6131 | 1.477 | json |
| t12_x20_u3_b38 | 12 | 20 | 3 | 38 | ![]() |
flr(div(R,mod(P,R))) | 36529 | 98255873 | o1(o2(x,o2(x,x))) | true | 122079 | 122079 | -0.2231 | 0.3908 | 0.9194 | 0.8414 | 0.9173 | -1 | 1 | 2 | 1 | 2.183 | 0.04009 | 0.03672 | 0.09917 | 0.0438 | 1 | -0.00001259 | 0.0954 | 0.0913 | 0.06696 | 0.2588 | 2.61 | 2.661 | 0.09129 | 0.1134 | 1 | 1 | 0.1086 | 0.6584 | 1.525 | 0.129 | 0.7825 | 1.812 | json |
| t12_x20_u3_b39 | 12 | 20 | 3 | 39 | ![]() |
flr(div(R,lrg(P,R))) | 36530 | 98255874 | o1(o2(x,o2(x,x))) | true | 122087 | 122087 | -0.7949 | 0 | 0.7949 | 0.1158 | 0.3403 | -1 | 0 | 1 | 1 | 2.168 | 0.002043 | 0.001333 | 0.02657 | 0.2102 | 1 | -0.00002139 | 0.002705 | 0.009125 | 0.002672 | 0.05169 | 1.946 | 1.414 | 0.02917 | 0.02336 | 1 | 1 | 0.005564 | 0.05759 | 0.1478 | 0.04806 | 0.4974 | 1.277 | json |
| t12_x20_u3_b40 | 12 | 20 | 3 | 40 | ![]() |
flr(div(R,eql(P,R))) | 36531 | 98255875 | o1(o2(x,o2(x,x))) | true | 122095 | 122095 | -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_x20_u3_b41 | 12 | 20 | 3 | 41 | ![]() |
flr(div(R,min(P,R))) | 36532 | 98255876 | o1(o2(x,o2(x,x))) | true | 122103 | 122103 | 0.09668 | 0.4803 | 0.6871 | 0.6115 | 0.782 | -1 | 1 | 2 | 1 | 3.741 | 0.01484 | 0.007425 | 0.04713 | 0.3329 | 1 | -0.00001499 | 0.03997 | 0.03092 | 0.02004 | 0.1415 | 3.004 | 2.828 | 0.0364 | 0.06536 | 1 | 1 | 0.03611 | 0.1964 | 0.4942 | 0.05906 | 0.3212 | 0.8082 | json |
| t12_x20_u3_b42 | 12 | 20 | 3 | 42 | ![]() |
flr(div(R,dot(P,R))) | 36533 | 98255877 | o1(o2(x,o2(x,x))) | true | 122111 | 122111 | -0.4638 | 0.07898 | 0.5683 | 0.3033 | 0.5507 | -1 | 1 | 2 | 1 | 3.158 | 0.007246 | 0.005885 | 0.04184 | 0.1036 | 1 | -0.000002182 | 0.0148 | 0.02164 | 0.01138 | 0.1067 | 2.55 | 2.828 | 0.0433 | 0.04881 | 1 | 1 | 0.02676 | 0.1945 | 0.5541 | 0.08823 | 0.6414 | 1.827 | json |
| t12_x20_u3_b43 | 12 | 20 | 3 | 43 | ![]() |
flr(div(R,dst(P,R))) | 36534 | 98255878 | o1(o2(x,o2(x,x))) | true | 122119 | 122119 | -0.5176 | 0 | 0.5176 | 0.1537 | 0.3921 | -1 | 0 | 1 | 1 | 3.585 | 0.001972 | 0.002442 | 0.05168 | -0.1065 | 1 | -0.00001781 | 0.0002592 | 0.01257 | 0.001744 | 0.04176 | 0.8079 | 0.1169 | 0.02872 | 0.001686 | 1 | 1 | 0.008731 | 0.1124 | 0.2862 | 0.0568 | 0.7316 | 1.862 | json |
| t12_x20_u3_b44 | 12 | 20 | 3 | 44 | ![]() |
flr(pow(R,add(P,R))) | 36535 | 98255879 | o1(o2(x,o2(x,x))) | true | 122127 | 122127 | -0.9238 | 0.03516 | 0.9902 | 0.1364 | 0.3693 | -1 | 1 | 2 | 1 | 0.3075 | 0.01539 | 0.01273 | 0.01506 | 0.09455 | 1 | 0 | 0.05886 | 0.02991 | 0.02791 | 0.1671 | 11.09 | 2.828 | 0.2062 | 0.4315 | 1 | 1 | 0.02441 | 0.1024 | 0.2494 | 0.1789 | 0.7506 | 1.829 | json |
| t12_x20_u3_b45 | 12 | 20 | 3 | 45 | ![]() |
flr(pow(R,sub(P,R))) | 36536 | 98255880 | o1(o2(x,o2(x,x))) | true | 122135 | 122135 | -0.9199 | 0.03906 | 0.9941 | 0.1475 | 0.384 | -1 | 1 | 2 | 1 | 0.2982 | 0.01539 | 0.01424 | 0.01557 | 0.03873 | 1 | 3.004e-11 | 0.06187 | 0.03091 | 0.02939 | 0.1714 | 11.01 | 2.828 | 0.201 | 0.4196 | 1 | 1 | 0.02507 | 0.107 | 0.2601 | 0.17 | 0.7259 | 1.764 | json |
| t12_x20_u3_b46 | 12 | 20 | 3 | 46 | ![]() |
flr(pow(R,mlt(P,R))) | 36537 | 98255881 | o1(o2(x,o2(x,x))) | true | 122143 | 122143 | -0.8652 | 0.07031 | 0.9863 | 0.2357 | 0.4855 | -1 | 1 | 2 | 1 | 0.5031 | 0.02052 | 0.02069 | 0.02308 | -0.004008 | 1 | 3.004e-11 | 0.08573 | 0.04422 | 0.04065 | 0.2016 | 8.736 | 2.828 | 0.1748 | 0.3637 | 1 | 1 | 0.04117 | 0.1741 | 0.5718 | 0.1746 | 0.7385 | 2.426 | json |
| t12_x20_u3_b47 | 12 | 20 | 3 | 47 | ![]() |
flr(pow(R,div(P,R))) | 36538 | 98255882 | o1(o2(x,o2(x,x))) | true | 122151 | 122151 | -0.8965 | 0.05469 | 0.9863 | 0.1806 | 0.4249 | -1 | 1 | 2 | 1 | 0.4354 | 0.01573 | 0.01791 | 0.01932 | -0.06482 | 1 | 9.011e-11 | 0.07012 | 0.03666 | 0.03327 | 0.1824 | 9.444 | 2.828 | 0.1864 | 0.3884 | 1 | 1 | 0.03607 | 0.1526 | 0.4627 | 0.1998 | 0.8452 | 2.563 | json |
| t12_x20_u3_b48 | 12 | 20 | 3 | 48 | ![]() |
flr(pow(R,pow(P,R))) | 36539 | 98255883 | o1(o2(x,o2(x,x))) | true | 122159 | 122159 | -0.9902 | 0.003906 | 0.9941 | 0.01316 | 0.1147 | -1 | 0.9997 | 2 | 1 | 0.08411 | 0.001534 | 0.001646 | 0.002432 | -0.03527 | 1 | 3.004e-11 | 0.006703 | 0.004458 | 0.003174 | 0.05634 | 23.17 | 2 | 0.2417 | 0.5096 | 1 | 1 | 0.00053 | 0.00371 | 0.0118 | 0.04029 | 0.282 | 0.8973 | json |
| t12_x20_u3_b49 | 12 | 20 | 3 | 49 | ![]() |
flr(pow(R,mod(P,R))) | 36540 | 98255884 | o1(o2(x,o2(x,x))) | true | 122167 | 122167 | -0.8652 | 0.07031 | 0.9863 | 0.2357 | 0.4855 | -1 | 1 | 2 | 1 | 0.5031 | 0.02052 | 0.02069 | 0.02308 | -0.004008 | 1 | 3.004e-11 | 0.08573 | 0.04422 | 0.04065 | 0.2016 | 8.736 | 2.828 | 0.1748 | 0.3637 | 1 | 1 | 0.04117 | 0.1741 | 0.5718 | 0.1746 | 0.7385 | 2.426 | json |
| t12_x20_u3_b50 | 12 | 20 | 3 | 50 | ![]() |
flr(pow(R,lrg(P,R))) | 36541 | 98255885 | o1(o2(x,o2(x,x))) | true | 122175 | 122175 | -0.08398 | 0.457 | 0.9941 | 0.9872 | 0.9936 | -1 | 1 | 2 | 1 | 1.063 | 0.01539 | 0.007693 | 0.01235 | 0.3335 | 1 | 3.004e-11 | 0.04777 | 0.02436 | 0.02291 | 0.1514 | 12.26 | 2.828 | 0.02338 | 0.04839 | 1 | 1 | 0.03045 | 0.1234 | 0.4462 | 0.03084 | 0.125 | 0.4519 | json |
| t12_x20_u3_b51 | 12 | 20 | 3 | 51 | ![]() |
flr(pow(R,eql(P,R))) | 36542 | 98255886 | o1(o2(x,o2(x,x))) | true | 122183 | 122183 | 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_x20_u3_b52 | 12 | 20 | 3 | 52 | ![]() |
flr(pow(R,min(P,R))) | 36543 | 98255887 | o1(o2(x,o2(x,x))) | true | 122191 | 122191 | -0.9199 | 0.03906 | 0.9941 | 0.1475 | 0.384 | -1 | 1 | 2 | 1 | 0.2982 | 0.01539 | 0.01424 | 0.01557 | 0.03873 | 1 | 3.004e-11 | 0.06187 | 0.03091 | 0.02939 | 0.1714 | 11.01 | 2.828 | 0.201 | 0.4196 | 1 | 1 | 0.02507 | 0.107 | 0.2601 | 0.17 | 0.7259 | 1.764 | json |
| t12_x20_u3_b53 | 12 | 20 | 3 | 53 | ![]() |
flr(pow(R,dot(P,R))) | 36544 | 98255888 | o1(o2(x,o2(x,x))) | true | 122199 | 122199 | -0.9245 | 0.03885 | 0.9896 | 0.1339 | 0.3659 | -1 | 1 | 2 | 1 | 0.3269 | 0.01415 | 0.01332 | 0.01554 | 0.03051 | 1 | 1.089e-10 | 0.05721 | 0.02982 | 0.02723 | 0.165 | 10.62 | 2.828 | 0.2051 | 0.4272 | 1 | 1 | 0.02246 | 0.09718 | 0.2244 | 0.1677 | 0.7257 | 1.676 | json |
| t12_x20_u3_b54 | 12 | 20 | 3 | 54 | ![]() |
flr(pow(R,dst(P,R))) | 36545 | 98255889 | o1(o2(x,o2(x,x))) | true | 122207 | 122207 | -0.957 | 0 | 0.957 | 0.04112 | 0.2028 | -1 | 0 | 1 | 1 | 0.2557 | 0.00422 | 0.004094 | 0.008259 | 0.01515 | 1 | 0 | 0.01738 | 0.01663 | 0.008241 | 0.09078 | 10.99 | 1.414 | 0.2022 | 0.4228 | 1 | 1 | 0.006357 | 0.02738 | 0.06893 | 0.1546 | 0.6659 | 1.676 | json |
| t12_x20_u3_b55 | 12 | 20 | 3 | 55 | ![]() |
flr(mod(R,add(P,R))) | 36546 | 98255890 | o1(o2(x,o2(x,x))) | true | 122215 | 122215 | -0.5059 | 0 | 0.5059 | 0.1541 | 0.3925 | -1 | 0 | 1 | 1 | 3.597 | 0.001956 | 0.002437 | 0.05148 | -0.1095 | 1 | -0.0000121 | 0.0002586 | 0.01253 | 0.001743 | 0.04175 | 0.8109 | 0.1169 | 0.02852 | 0.001678 | 1 | 1 | 0.008809 | 0.1133 | 0.2848 | 0.05717 | 0.7354 | 1.848 | json |
| t12_x20_u3_b56 | 12 | 20 | 3 | 56 | ![]() |
flr(mod(R,sub(P,R))) | 36547 | 98255891 | o1(o2(x,o2(x,x))) | true | 122223 | 122223 | -0.5059 | 0 | 0.5059 | 0.1541 | 0.3925 | -1 | 0 | 1 | 1 | 3.597 | 0.001956 | 0.002437 | 0.05148 | -0.1095 | 1 | -0.0000121 | 0.0002586 | 0.01253 | 0.001743 | 0.04175 | 0.8109 | 0.1169 | 0.02852 | 0.001678 | 1 | 1 | 0.008809 | 0.1133 | 0.2848 | 0.05717 | 0.7354 | 1.848 | json |
| t12_x20_u3_b57 | 12 | 20 | 3 | 57 | ![]() |
flr(mod(R,mlt(P,R))) | 36548 | 98255892 | o1(o2(x,o2(x,x))) | true | 122231 | 122231 | -0.5654 | 0 | 0.5654 | 0.1621 | 0.4026 | -1 | 0 | 1 | 1 | 3.373 | 0.00842 | 0.002068 | 0.05185 | 0.6057 | 1 | 0.00000786 | 0.01358 | 0.02459 | 0.0078 | 0.08832 | 1.703 | 1 | 0.06471 | 0.08379 | 1 | 1 | 0.01571 | 0.1209 | 0.2821 | 0.09696 | 0.7462 | 1.741 | json |
| t12_x20_u3_b58 | 12 | 20 | 3 | 58 | ![]() |
flr(mod(R,div(P,R))) | 36549 | 98255893 | o1(o2(x,o2(x,x))) | true | 122239 | 122239 | -0.582 | 0 | 0.582 | 0.1596 | 0.3995 | -1 | 0 | 1 | 1 | 3.341 | 0.005954 | 0.002174 | 0.04959 | 0.465 | 1 | -6.958e-7 | 0.008895 | 0.02044 | 0.005671 | 0.07531 | 1.519 | 1 | 0.05094 | 0.05574 | 1 | 1 | 0.01239 | 0.1095 | 0.2784 | 0.07763 | 0.6861 | 1.745 | json |
| t12_x20_u3_b59 | 12 | 20 | 3 | 59 | ![]() |
flr(mod(R,pow(P,R))) | 36550 | 98255894 | o1(o2(x,o2(x,x))) | true | 122247 | 122247 | -0.8047 | 0 | 0.8047 | 0.1124 | 0.3352 | -1 | 0 | 1 | 1 | 2.088 | 0.003141 | 0.001118 | 0.02617 | 0.4748 | 1 | -0.00001853 | 0.00466 | 0.0108 | 0.003576 | 0.0598 | 2.285 | 1 | 0.03791 | 0.04147 | 1 | 1 | 0.006395 | 0.05717 | 0.1376 | 0.05691 | 0.5088 | 1.224 | json |
| t12_x20_u3_b60 | 12 | 20 | 3 | 60 | ![]() |
flr(mod(R,mod(P,R))) | 36551 | 98255895 | o1(o2(x,o2(x,x))) | true | 122255 | 122255 | -0.582 | 0 | 0.582 | 0.1596 | 0.3995 | -1 | 0 | 1 | 1 | 3.341 | 0.005954 | 0.002174 | 0.04959 | 0.465 | 1 | -6.958e-7 | 0.008895 | 0.02044 | 0.005671 | 0.07531 | 1.519 | 1 | 0.05094 | 0.05574 | 1 | 1 | 0.01239 | 0.1095 | 0.2784 | 0.07763 | 0.6861 | 1.745 | json |
| t12_x20_u3_b61 | 12 | 20 | 3 | 61 | ![]() |
flr(mod(R,lrg(P,R))) | 36552 | 98255896 | o1(o2(x,o2(x,x))) | true | 122263 | 122263 | -0.7949 | 0 | 0.7949 | 0.1158 | 0.3403 | -1 | 0 | 1 | 1 | 2.168 | 0.002043 | 0.001333 | 0.02657 | 0.2102 | 1 | -0.00002139 | 0.002705 | 0.009125 | 0.002672 | 0.05169 | 1.946 | 1.414 | 0.02917 | 0.02336 | 1 | 1 | 0.005564 | 0.05759 | 0.1478 | 0.04806 | 0.4974 | 1.277 | json |
| t12_x20_u3_b62 | 12 | 20 | 3 | 62 | ![]() |
flr(mod(R,eql(P,R))) | 36553 | 98255897 | o1(o2(x,o2(x,x))) | true | 122271 | 122271 | -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_x20_u3_b63 | 12 | 20 | 3 | 63 | ![]() |
flr(mod(R,min(P,R))) | 36554 | 98255898 | o1(o2(x,o2(x,x))) | true | 122279 | 122279 | -0.3457 | 0 | 0.3457 | 0.1709 | 0.4134 | -1 | 0 | 1 | 1 | 3.049 | 0.004517 | 0.001669 | 0.03377 | 0.4604 | 1 | -0.000002133 | 0.007531 | 0.01495 | 0.005046 | 0.07104 | 2.103 | 1.414 | 0.0362 | 0.04407 | 1 | 1 | 0.009857 | 0.08211 | 0.2333 | 0.05769 | 0.4805 | 1.365 | json |
| t12_x20_u3_b64 | 12 | 20 | 3 | 64 | ![]() |
flr(mod(R,dot(P,R))) | 36555 | 98255899 | o1(o2(x,o2(x,x))) | true | 122287 | 122287 | -0.5234 | 0 | 0.5234 | 0.1561 | 0.3951 | -1 | 0 | 1 | 1 | 3.548 | 0.002951 | 0.00307 | 0.05224 | -0.01974 | 1 | -0.00001781 | 0.003813 | 0.01576 | 0.003293 | 0.05738 | 1.099 | 1.414 | 0.03857 | 0.02442 | 1 | 1 | 0.01137 | 0.1177 | 0.2994 | 0.07283 | 0.7538 | 1.918 | json |
| t12_x20_u3_b65 | 12 | 20 | 3 | 65 | ![]() |
flr(mod(R,dst(P,R))) | 36556 | 98255900 | o1(o2(x,o2(x,x))) | true | 122295 | 122295 | -0.5176 | 0 | 0.5176 | 0.1537 | 0.3921 | -1 | 0 | 1 | 1 | 3.585 | 0.001972 | 0.002442 | 0.05168 | -0.1065 | 1 | -0.00001781 | 0.0002592 | 0.01257 | 0.001744 | 0.04176 | 0.8079 | 0.1169 | 0.02872 | 0.001686 | 1 | 1 | 0.008731 | 0.1124 | 0.2862 | 0.0568 | 0.7316 | 1.862 | json |
| t12_x20_u3_b66 | 12 | 20 | 3 | 66 | ![]() |
flr(lrg(R,add(P,R))) | 36557 | 98255901 | o1(o2(x,o2(x,x))) | true | 122303 | 122303 | 0.4688 | 0.5 | 0.4688 | 0.2423 | 0.4922 | 0 | 1 | 1 | 1 | 1.326 | 0.0003529 | 0 | 0.003968 | 1 | 1 | -4.731e-10 | 0.00001619 | 0.0009276 | 0.0003372 | 0.01836 | 4.628 | 0.1169 | 0.001457 | 0.00006684 | 1 | 1 | 0.0009255 | 0.01214 | 0.0751 | 0.00382 | 0.05012 | 0.31 | json |
| t12_x20_u3_b67 | 12 | 20 | 3 | 67 | ![]() |
flr(lrg(R,sub(P,R))) | 36558 | 98255902 | o1(o2(x,o2(x,x))) | true | 122311 | 122311 | 0.5117 | 0.6049 | 0.5117 | 0.2314 | 0.4811 | 0 | 1 | 1 | 1 | 1.753 | 0.0004752 | 0.0003909 | 0.01019 | 0.09737 | 1 | -0.00002852 | 0.00004979 | 0.002461 | 0.0007618 | 0.0276 | 2.708 | 0.1169 | 0.003742 | 0.0002151 | 1 | 1 | 0.002134 | 0.0276 | 0.09828 | 0.009223 | 0.1193 | 0.4247 | json |
| t12_x20_u3_b68 | 12 | 20 | 3 | 68 | ![]() |
flr(lrg(R,mlt(P,R))) | 36559 | 98255903 | o1(o2(x,o2(x,x))) | true | 122319 | 122319 | 0.498 | 0.9149 | 0.498 | 0.1579 | 0.3973 | 0 | 1 | 1 | 1 | 3.38 | 0.001993 | 0.002262 | 0.04986 | -0.0631 | 1 | 0.00001926 | 0.0002476 | 0.0121 | 0.00177 | 0.04207 | 0.8438 | 0.1169 | 0.02696 | 0.001568 | 1 | 1 | 0.008333 | 0.1074 | 0.2992 | 0.05279 | 0.6806 | 1.895 | json |
| t12_x20_u3_b69 | 12 | 20 | 3 | 69 | ![]() |
flr(lrg(R,div(P,R))) | 36560 | 98255904 | o1(o2(x,o2(x,x))) | true | 122327 | 122327 | 0.5215 | 0.9288 | 0.5215 | 0.1546 | 0.3932 | 0 | 1 | 1 | 1 | 3.414 | 0.001912 | 0.002433 | 0.05092 | -0.1198 | 1 | 0.00003066 | 0.0002568 | 0.0124 | 0.001753 | 0.04187 | 0.8222 | 0.1169 | 0.02811 | 0.001662 | 1 | 1 | 0.008497 | 0.1095 | 0.3067 | 0.05497 | 0.7083 | 1.984 | json |
| t12_x20_u3_b70 | 12 | 20 | 3 | 70 | ![]() |
flr(lrg(R,pow(P,R))) | 36561 | 98255905 | o1(o2(x,o2(x,x))) | true | 122335 | 122335 | 0.4961 | 0.5378 | 0.4961 | 0.2412 | 0.4911 | 0 | 1 | 1 | 1 | 1.415 | 0.0003238 | 0.0001053 | 0.004981 | 0.5091 | 1 | -0.000005705 | 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_x20_u3_b71 | 12 | 20 | 3 | 71 | ![]() |
flr(lrg(R,mod(P,R))) | 36562 | 98255906 | o1(o2(x,o2(x,x))) | true | 122343 | 122343 | 0.4824 | 0.9147 | 0.4824 | 0.1537 | 0.3921 | 0 | 1 | 1 | 1 | 3.429 | 0.001972 | 0.002442 | 0.05168 | -0.1065 | 1 | -0.00001781 | 0.0002592 | 0.01257 | 0.001744 | 0.04176 | 0.8079 | 0.1169 | 0.02872 | 0.001686 | 1 | 1 | 0.008731 | 0.1124 | 0.2862 | 0.0568 | 0.7316 | 1.862 | json |
| t12_x20_u3_b72 | 12 | 20 | 3 | 72 | ![]() |
flr(lrg(R,lrg(P,R))) | 36563 | 98255907 | o1(o2(x,o2(x,x))) | true | 122351 | 122351 | 0.2676 | 0.4921 | 0.2676 | 0.1474 | 0.3839 | 0 | 1 | 1 | 1 | 2.341 | 0.001052 | 0.001231 | 0.02666 | -0.0785 | 1 | 0.000006427 | 0.0001288 | 0.006434 | 0.001572 | 0.03965 | 1.487 | 0.1169 | 0.01549 | 0.000874 | 1 | 1 | 0.004654 | 0.05961 | 0.1835 | 0.03158 | 0.4044 | 1.245 | json |
| t12_x20_u3_b73 | 12 | 20 | 3 | 73 | ![]() |
flr(lrg(R,eql(P,R))) | 36564 | 98255908 | o1(o2(x,o2(x,x))) | true | 122359 | 122359 | 0.4824 | 0.9147 | 0.4824 | 0.1537 | 0.3921 | 0 | 1 | 1 | 1 | 3.429 | 0.001972 | 0.002442 | 0.05168 | -0.1065 | 1 | -0.00001781 | 0.0002592 | 0.01257 | 0.001744 | 0.04176 | 0.8079 | 0.1169 | 0.02872 | 0.001686 | 1 | 1 | 0.008731 | 0.1124 | 0.2862 | 0.0568 | 0.7316 | 1.862 | json |
| t12_x20_u3_b74 | 12 | 20 | 3 | 74 | ![]() |
flr(lrg(R,min(P,R))) | 36565 | 98255909 | o1(o2(x,o2(x,x))) | true | 122367 | 122367 | 0.4961 | 0.5378 | 0.4961 | 0.2412 | 0.4911 | 0 | 1 | 1 | 1 | 1.415 | 0.0003238 | 0.0001053 | 0.004981 | 0.5091 | 1 | -0.000005705 | 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_x20_u3_b75 | 12 | 20 | 3 | 75 | ![]() |
flr(lrg(R,dot(P,R))) | 36566 | 98255910 | o1(o2(x,o2(x,x))) | true | 122375 | 122375 | 0.5371 | 0.9522 | 0.5371 | 0.1547 | 0.3933 | 0 | 1 | 1 | 1 | 3.391 | 0.002026 | 0.002339 | 0.05093 | -0.07165 | 1 | 0.00003993 | 0.000252 | 0.01233 | 0.001772 | 0.04209 | 0.8264 | 0.1169 | 0.02823 | 0.001629 | 1 | 1 | 0.008583 | 0.1107 | 0.3172 | 0.05549 | 0.7156 | 2.051 | json |
| t12_x20_u3_b76 | 12 | 20 | 3 | 76 | ![]() |
flr(lrg(R,dst(P,R))) | 36567 | 98255911 | o1(o2(x,o2(x,x))) | true | 122383 | 122383 | 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_x20_u3_b77 | 12 | 20 | 3 | 77 | ![]() |
flr(eql(R,add(P,R))) | 36568 | 98255912 | o1(o2(x,o2(x,x))) | true | 122391 | 122391 | 0.0625 | 0.125 | 0.0625 | 0.04507 | 0.2123 | 0 | 0.9997 | 0.9997 | 1 | 0.8126 | 0.0007059 | 0 | 0.007934 | 1 | 1 | -9.461e-10 | 0.00003241 | 0.001855 | 0.0006433 | 0.02536 | 3.197 | 0.1169 | 0.01566 | 0.0007193 | 1 | 1 | 0.001851 | 0.02408 | 0.06598 | 0.04107 | 0.5344 | 1.464 | json |
| t12_x20_u3_b78 | 12 | 20 | 3 | 78 | ![]() |
flr(eql(R,sub(P,R))) | 36569 | 98255913 | o1(o2(x,o2(x,x))) | true | 122399 | 122399 | 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_x20_u3_b79 | 12 | 20 | 3 | 79 | ![]() |
flr(eql(R,mlt(P,R))) | 36570 | 98255914 | o1(o2(x,o2(x,x))) | true | 122407 | 122407 | 0.0625 | 0.125 | 0.0625 | 0.04507 | 0.2123 | 0 | 0.9997 | 0.9997 | 1 | 0.8126 | 0.0007059 | 0 | 0.007934 | 1 | 1 | -9.461e-10 | 0.00003241 | 0.001855 | 0.0006433 | 0.02536 | 3.197 | 0.1169 | 0.01566 | 0.0007193 | 1 | 1 | 0.001851 | 0.02408 | 0.06598 | 0.04107 | 0.5344 | 1.464 | json |
| t12_x20_u3_b80 | 12 | 20 | 3 | 80 | ![]() |
flr(eql(R,div(P,R))) | 36571 | 98255915 | o1(o2(x,o2(x,x))) | true | 122415 | 122415 | 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_x20_u3_b81 | 12 | 20 | 3 | 81 | ![]() |
flr(eql(R,pow(P,R))) | 36572 | 98255916 | o1(o2(x,o2(x,x))) | true | 122423 | 122423 | 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_x20_u3_b82 | 12 | 20 | 3 | 82 | ![]() |
flr(eql(R,mod(P,R))) | 36573 | 98255917 | o1(o2(x,o2(x,x))) | true | 122431 | 122431 | 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_x20_u3_b83 | 12 | 20 | 3 | 83 | ![]() |
flr(eql(R,lrg(P,R))) | 36574 | 98255918 | o1(o2(x,o2(x,x))) | true | 122439 | 122439 | 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_x20_u3_b84 | 12 | 20 | 3 | 84 | ![]() |
flr(eql(R,eql(P,R))) | 36575 | 98255919 | o1(o2(x,o2(x,x))) | true | 122447 | 122447 | 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_x20_u3_b85 | 12 | 20 | 3 | 85 | ![]() |
flr(eql(R,min(P,R))) | 36576 | 98255920 | o1(o2(x,o2(x,x))) | true | 122455 | 122455 | 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_x20_u3_b86 | 12 | 20 | 3 | 86 | ![]() |
flr(eql(R,dot(P,R))) | 36577 | 98255921 | o1(o2(x,o2(x,x))) | true | 122463 | 122463 | 0.003906 | 0.01477 | 0.003906 | 0.002383 | 0.04882 | 0 | 0.9994 | 0.9994 | 1 | 0.1068 | 0.00003512 | 0.00003512 | 0.0008419 | 7.252e-7 | 0 | -5.638e-14 | 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_x20_u3_b87 | 12 | 20 | 3 | 87 | ![]() |
flr(eql(R,dst(P,R))) | 36578 | 98255922 | o1(o2(x,o2(x,x))) | true | 122471 | 122471 | 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_x20_u3_b88 | 12 | 20 | 3 | 88 | ![]() |
flr(min(R,add(P,R))) | 36579 | 98255923 | o1(o2(x,o2(x,x))) | true | 122479 | 122479 | -0.76 | 0 | 0.76 | 0.128 | 0.3578 | -1 | 0 | 1 | 1 | 2.421 | 0.001265 | 0.001318 | 0.02947 | -0.02031 | 1 | -0.0000278 | 0.0001884 | 0.007405 | 0.001715 | 0.04141 | 1.405 | 0.2265 | 0.02017 | 0.001472 | 1 | 1 | 0.005321 | 0.06766 | 0.1767 | 0.04156 | 0.5284 | 1.38 | json |
| t12_x20_u3_b89 | 12 | 20 | 3 | 89 | ![]() |
flr(min(R,sub(P,R))) | 36580 | 98255924 | o1(o2(x,o2(x,x))) | true | 122487 | 122487 | -0.7852 | 0 | 0.7852 | 0.1181 | 0.3436 | -1 | 0 | 1 | 1 | 2.27 | 0.001095 | 0.001206 | 0.02703 | -0.04847 | 1 | -0.00002424 | 0.0001387 | 0.006603 | 0.001571 | 0.03963 | 1.466 | 0.1169 | 0.01949 | 0.001175 | 1 | 1 | 0.004457 | 0.05786 | 0.1462 | 0.03774 | 0.49 | 1.238 | json |
| t12_x20_u3_b90 | 12 | 20 | 3 | 90 | ![]() |
flr(min(R,mlt(P,R))) | 36581 | 98255925 | o1(o2(x,o2(x,x))) | true | 122495 | 122495 | -0.8197 | 0 | 0.8197 | 0.1121 | 0.3348 | -1 | 0 | 1 | 1 | 1.854 | 0.002061 | 0.002391 | 0.02878 | -0.07409 | 1 | 0.0001214 | 0.001567 | 0.01278 | 0.003622 | 0.06019 | 2.092 | 0.4644 | 0.03971 | 0.01397 | 1 | 1 | 0.007537 | 0.07899 | 0.1794 | 0.06723 | 0.7046 | 1.601 | json |
| t12_x20_u3_b91 | 12 | 20 | 3 | 91 | ![]() |
flr(min(R,div(P,R))) | 36582 | 98255926 | o1(o2(x,o2(x,x))) | true | 122503 | 122503 | -0.8952 | 0 | 0.8952 | 0.07665 | 0.2769 | -1 | 0 | 1 | 1 | 1.124 | 0.003686 | 0.004282 | 0.02636 | -0.07486 | 1 | 0.0001668 | 0.006698 | 0.02159 | 0.007276 | 0.0853 | 3.236 | 0.9575 | 0.104 | 0.08739 | 1 | 1 | 0.01289 | 0.08225 | 0.1417 | 0.1681 | 1.073 | 1.849 | json |
| t12_x20_u3_b92 | 12 | 20 | 3 | 92 | ![]() |
flr(min(R,pow(P,R))) | 36583 | 98255927 | o1(o2(x,o2(x,x))) | true | 122511 | 122511 | -0.5176 | 0 | 0.5176 | 0.1537 | 0.3921 | -1 | 0 | 1 | 1 | 3.585 | 0.001972 | 0.002442 | 0.05168 | -0.1065 | 1 | -0.00001781 | 0.0002592 | 0.01257 | 0.001744 | 0.04176 | 0.8079 | 0.1169 | 0.02872 | 0.001686 | 1 | 1 | 0.008731 | 0.1124 | 0.2862 | 0.0568 | 0.7316 | 1.862 | json |
| t12_x20_u3_b93 | 12 | 20 | 3 | 93 | ![]() |
flr(min(R,mod(P,R))) | 36584 | 98255928 | o1(o2(x,o2(x,x))) | true | 122519 | 122519 | -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_x20_u3_b94 | 12 | 20 | 3 | 94 | ![]() |
flr(min(R,lrg(P,R))) | 36585 | 98255929 | o1(o2(x,o2(x,x))) | true | 122527 | 122527 | -0.5176 | 0 | 0.5176 | 0.1537 | 0.3921 | -1 | 0 | 1 | 1 | 3.585 | 0.001972 | 0.002442 | 0.05168 | -0.1065 | 1 | -0.00001781 | 0.0002592 | 0.01257 | 0.001744 | 0.04176 | 0.8079 | 0.1169 | 0.02872 | 0.001686 | 1 | 1 | 0.008731 | 0.1124 | 0.2862 | 0.0568 | 0.7316 | 1.862 | json |
| t12_x20_u3_b95 | 12 | 20 | 3 | 95 | ![]() |
flr(min(R,eql(P,R))) | 36586 | 98255930 | o1(o2(x,o2(x,x))) | true | 122535 | 122535 | -0.5176 | 0 | 0.5176 | 0.1537 | 0.3921 | -1 | 0 | 1 | 1 | 3.585 | 0.001972 | 0.002442 | 0.05168 | -0.1065 | 1 | -0.00001781 | 0.0002592 | 0.01257 | 0.001744 | 0.04176 | 0.8079 | 0.1169 | 0.02872 | 0.001686 | 1 | 1 | 0.008731 | 0.1124 | 0.2862 | 0.0568 | 0.7316 | 1.862 | json |
| t12_x20_u3_b96 | 12 | 20 | 3 | 96 | ![]() |
flr(min(R,min(P,R))) | 36587 | 98255931 | o1(o2(x,o2(x,x))) | true | 122543 | 122543 | -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_x20_u3_b97 | 12 | 20 | 3 | 97 | ![]() |
flr(min(R,dot(P,R))) | 36588 | 98255932 | o1(o2(x,o2(x,x))) | true | 122551 | 122551 | -0.8529 | 0 | 0.8529 | 0.09453 | 0.3075 | -1 | 0 | 1 | 1 | 1.619 | 0.002222 | 0.002639 | 0.02772 | -0.08572 | 1 | 0.0001074 | 0.00213 | 0.01427 | 0.004092 | 0.06397 | 2.308 | 0.5663 | 0.05143 | 0.02253 | 1 | 1 | 0.00857 | 0.08305 | 0.1769 | 0.09066 | 0.8785 | 1.871 | json |
| t12_x20_u3_b98 | 12 | 20 | 3 | 98 | ![]() |
flr(min(R,dst(P,R))) | 36589 | 98255933 | o1(o2(x,o2(x,x))) | true | 122559 | 122559 | -0.5176 | 0 | 0.5176 | 0.1537 | 0.3921 | -1 | 0 | 1 | 1 | 3.585 | 0.001972 | 0.002442 | 0.05168 | -0.1065 | 1 | -0.00001781 | 0.0002592 | 0.01257 | 0.001744 | 0.04176 | 0.8079 | 0.1169 | 0.02872 | 0.001686 | 1 | 1 | 0.008731 | 0.1124 | 0.2862 | 0.0568 | 0.7316 | 1.862 | json |
| t12_x20_u3_b99 | 12 | 20 | 3 | 99 | ![]() |
flr(dot(R,add(P,R))) | 36590 | 98255934 | o1(o2(x,o2(x,x))) | true | 122567 | 122567 | 0.01 | 0.5071 | 0.8561 | 0.8141 | 0.9023 | -1 | 1 | 2 | 1 | 2.798 | 0.02475 | 0.03283 | 0.1021 | -0.1404 | 1 | 0.0000134 | 0.04491 | 0.07433 | 0.04714 | 0.2171 | 2.126 | 1.911 | 0.07072 | 0.05516 | 1 | 1 | 0.07359 | 0.5699 | 1.394 | 0.09039 | 0.7 | 1.712 | json |
| t12_x20_u3_b100 | 12 | 20 | 3 | 100 | ![]() |
flr(dot(R,sub(P,R))) | 36591 | 98255935 | o1(o2(x,o2(x,x))) | true | 122575 | 122575 | -0.4632 | 0.2577 | 0.8824 | 0.6335 | 0.7959 | -1 | 1 | 2 | 1 | 2.346 | 0.02159 | 0.02891 | 0.08771 | -0.145 | 1 | 0.0001096 | 0.04005 | 0.06583 | 0.04282 | 0.2069 | 2.359 | 1.746 | 0.07971 | 0.06322 | 1 | 1 | 0.05965 | 0.4631 | 1.035 | 0.09416 | 0.731 | 1.634 | json |
| t12_x20_u3_b101 | 12 | 20 | 3 | 101 | ![]() |
flr(dot(R,mlt(P,R))) | 36592 | 98255936 | o1(o2(x,o2(x,x))) | true | 122583 | 122583 | -0.195 | 0.4137 | 0.8453 | 0.7733 | 0.8794 | -1 | 1 | 2 | 1 | 2.646 | 0.00519 | 0.006467 | 0.04174 | -0.1096 | 1 | -0.00007468 | 0.004769 | 0.02066 | 0.009915 | 0.09957 | 2.385 | 1.169 | 0.01507 | 0.006168 | 1 | 1 | 0.01787 | 0.1796 | 0.5571 | 0.0231 | 0.2323 | 0.7205 | json |
| t12_x20_u3_b102 | 12 | 20 | 3 | 102 | ![]() |
flr(dot(R,div(P,R))) | 36593 | 98255937 | o1(o2(x,o2(x,x))) | true | 122591 | 122591 | -0.0506 | 0.4723 | 0.9419 | 0.9249 | 0.9617 | -1 | 1 | 2 | 1 | 1.832 | 0.0008835 | 0.001034 | 0.01271 | -0.07832 | 1 | 0.000005703 | 0.0003033 | 0.003924 | 0.001755 | 0.04189 | 3.295 | 0.2678 | 0.002073 | 0.0003279 | 1 | 1 | 0.004819 | 0.05756 | 0.4378 | 0.00521 | 0.06223 | 0.4734 | json |
| t12_x20_u3_b103 | 12 | 20 | 3 | 103 | ![]() |
flr(dot(R,pow(P,R))) | 36594 | 98255938 | o1(o2(x,o2(x,x))) | true | 122599 | 122599 | -0.9899 | 0.004044 | 0.9954 | 0.01432 | 0.1197 | -1 | 1 | 2 | 1 | 0.1209 | 0.001948 | 0.001805 | 0.003497 | 0.03815 | 1 | -1.539e-10 | 0.007423 | 0.005073 | 0.003741 | 0.06116 | 17.49 | 2.828 | 0.2621 | 0.5184 | 1 | 1 | 0.0001599 | 0.001967 | 0.01286 | 0.01116 | 0.1374 | 0.8983 | json |
| t12_x20_u3_b104 | 12 | 20 | 3 | 104 | ![]() |
flr(dot(R,mod(P,R))) | 36595 | 98255939 | o1(o2(x,o2(x,x))) | true | 122607 | 122607 | -0.5188 | 0.008789 | 0.525 | 0.1581 | 0.3976 | -1 | 0.9994 | 1.999 | 1 | 3.622 | 0.002167 | 0.002491 | 0.05329 | -0.06957 | 1 | -0.0000549 | 0.0002857 | 0.01298 | 0.001819 | 0.04264 | 0.8002 | 0.2337 | 0.02946 | 0.001807 | 1 | 1 | 0.00883 | 0.1136 | 0.2937 | 0.05585 | 0.7185 | 1.857 | json |
| t12_x20_u3_b105 | 12 | 20 | 3 | 105 | ![]() |
flr(dot(R,lrg(P,R))) | 36596 | 98255940 | o1(o2(x,o2(x,x))) | true | 122615 | 122615 | -0.6387 | 0.03857 | 0.6727 | 0.1855 | 0.4307 | -1 | 0.9994 | 1.999 | 1 | 3.256 | 0.003279 | 0.00307 | 0.0525 | 0.03302 | 1 | 0.000003501 | 0.0008666 | 0.01545 | 0.003594 | 0.05995 | 1.142 | 0.3507 | 0.03422 | 0.004671 | 1 | 1 | 0.01222 | 0.1449 | 0.355 | 0.06589 | 0.7809 | 1.914 | json |
| t12_x20_u3_b106 | 12 | 20 | 3 | 106 | ![]() |
flr(dot(R,eql(P,R))) | 36597 | 98255941 | o1(o2(x,o2(x,x))) | true | 122623 | 122623 | 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_x20_u3_b107 | 12 | 20 | 3 | 107 | ![]() |
flr(dot(R,min(P,R))) | 36598 | 98255942 | o1(o2(x,o2(x,x))) | true | 122631 | 122631 | -0.01801 | 0.4899 | 0.6491 | 0.5908 | 0.7686 | -1 | 1 | 2 | 1 | 3.538 | 0.01648 | 0.02007 | 0.08485 | -0.09806 | 1 | -0.00001579 | 0.02313 | 0.04865 | 0.02935 | 0.1713 | 2.019 | 1.529 | 0.06186 | 0.03916 | 1 | 1 | 0.0491 | 0.4104 | 0.9632 | 0.08311 | 0.6947 | 1.63 | json |
| t12_x20_u3_b108 | 12 | 20 | 3 | 108 | ![]() |
flr(dot(R,dot(P,R))) | 36599 | 98255943 | o1(o2(x,o2(x,x))) | true | 122639 | 122639 | -0.1535 | 0.3976 | 0.8003 | 0.7221 | 0.8498 | -1 | 1 | 2 | 1 | 3.211 | 0.01484 | 0.01333 | 0.08141 | 0.05362 | 1 | 0.00005716 | 0.01378 | 0.04472 | 0.02155 | 0.1468 | 1.803 | 1.484 | 0.03902 | 0.01909 | 1 | 1 | 0.04948 | 0.4182 | 1.021 | 0.06851 | 0.579 | 1.415 | json |



































































































