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_x2_u3_b55 | 12 | 2 | 3 | 55 | ![]() |
flr(mod(P,add(P,R))) | 21300 | 97528672 | o1(o2(x,o2(x,x))) | true | 247 | 247 | -0.161 | 0.4588 | 0.7765 | 0.7184 | 0.8476 | -1 | 1 | 2 | 1 | 2.665 | 0.002864 | 0.003009 | 0.03089 | -0.02476 | 1 | -0.00019 | 0.002701 | 0.01641 | 0.00492 | 0.07015 | 2.271 | 0.4702 | 0.008175 | 0.00376 | 1 | 1 | 0.01013 | 0.09502 | 0.3004 | 0.01409 | 0.1323 | 0.4181 | json |
| t12_x2_u3_b56 | 12 | 2 | 3 | 56 | ![]() |
flr(mod(P,sub(P,R))) | 21301 | 97528673 | o1(o2(x,o2(x,x))) | true | 255 | 255 | -0.1217 | 0.4718 | 0.8158 | 0.7727 | 0.879 | -1 | 1 | 2 | 1 | 2.516 | 0.002661 | 0.002845 | 0.02798 | -0.03339 | 1 | -0.0001374 | 0.002633 | 0.01553 | 0.004725 | 0.06874 | 2.457 | 0.4702 | 0.007126 | 0.003408 | 1 | 1 | 0.009223 | 0.08456 | 0.2694 | 0.01194 | 0.1094 | 0.3487 | json |
| t12_x2_u3_b57 | 12 | 2 | 3 | 57 | ![]() |
flr(mod(P,mlt(P,R))) | 21302 | 97528674 | o1(o2(x,o2(x,x))) | true | 263 | 263 | -0.4267 | 0.2738 | 0.6983 | 0.4918 | 0.7013 | -1 | 1 | 2 | 1 | 2.12 | 0.004755 | 0.0008409 | 0.01925 | 0.6995 | 1 | -0.00001538 | 0.008183 | 0.01253 | 0.005224 | 0.07228 | 3.755 | 1 | 0.01138 | 0.01664 | 1 | 1 | 0.00755 | 0.0496 | 0.2007 | 0.01535 | 0.1009 | 0.4082 | json |
| t12_x2_u3_b58 | 12 | 2 | 3 | 58 | ![]() |
flr(mod(P,div(P,R))) | 21303 | 97528675 | o1(o2(x,o2(x,x))) | true | 271 | 271 | -0.125 | 0.4375 | 1 | 0.9844 | 0.9922 | -1 | 1 | 2 | 1 | 0.9887 | 0.01587 | 0 | 0.007937 | 1 | 1 | 0 | 0.03175 | 0.01587 | 0.01581 | 0.1257 | 15.84 | 2 | 0.01612 | 0.03225 | 1 | 1 | 0.02105 | 0.08421 | 0.3368 | 0.02139 | 0.08555 | 0.3422 | json |
| t12_x2_u3_b59 | 12 | 2 | 3 | 59 | ![]() |
flr(mod(P,pow(P,R))) | 21304 | 97528676 | o1(o2(x,o2(x,x))) | true | 279 | 279 | -0.4746 | 0.2008 | 0.6504 | 0.4056 | 0.6369 | -1 | 1 | 2 | 1 | 1.906 | 0.004684 | 0.0006872 | 0.01641 | 0.7441 | 1 | -0.00001603 | 0.008172 | 0.01176 | 0.005104 | 0.07144 | 4.353 | 1 | 0.01324 | 0.02014 | 1 | 1 | 0.00734 | 0.04669 | 0.1744 | 0.0181 | 0.1151 | 0.4299 | json |
| t12_x2_u3_b60 | 12 | 2 | 3 | 60 | ![]() |
flr(mod(P,mod(P,R))) | 21305 | 97528677 | o1(o2(x,o2(x,x))) | true | 287 | 287 | -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_x2_u3_b61 | 12 | 2 | 3 | 61 | ![]() |
flr(mod(P,lrg(P,R))) | 21306 | 97528678 | o1(o2(x,o2(x,x))) | true | 295 | 295 | -0.5391 | 0 | 0.5391 | 0.2487 | 0.4987 | -1 | 0 | 1 | 1 | 0.9956 | 0.003968 | 0.0007559 | 0.004715 | 0.68 | 1 | 0 | 0.009637 | 0.009448 | 0.004701 | 0.06856 | 14.54 | 1.414 | 0.019 | 0.03876 | 1 | 1 | 0.006593 | 0.02637 | 0.1017 | 0.02651 | 0.1061 | 0.4091 | json |
| t12_x2_u3_b62 | 12 | 2 | 3 | 62 | ![]() |
flr(mod(P,eql(P,R))) | 21307 | 97528679 | o1(o2(x,o2(x,x))) | true | 303 | 303 | -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_x2_u3_b63 | 12 | 2 | 3 | 63 | ![]() |
flr(mod(P,min(P,R))) | 21308 | 97528680 | o1(o2(x,o2(x,x))) | true | 311 | 311 | -0.3284 | 0 | 0.3284 | 0.2105 | 0.4588 | -1 | 0 | 1 | 1 | 1.479 | 0.009043 | 0.001512 | 0.02152 | 0.7135 | 1 | 0.0006289 | 0.01541 | 0.02403 | 0.01009 | 0.1005 | 4.667 | 1.414 | 0.05015 | 0.07324 | 1 | 1 | 0.01639 | 0.09101 | 0.2068 | 0.07787 | 0.4324 | 0.9825 | json |
| t12_x2_u3_b64 | 12 | 2 | 3 | 64 | ![]() |
flr(mod(P,dot(P,R))) | 21309 | 97528681 | o1(o2(x,o2(x,x))) | true | 319 | 319 | -0.1699 | 0.4565 | 0.7911 | 0.7269 | 0.8526 | -1 | 1 | 2 | 1 | 2.702 | 0.003161 | 0.00281 | 0.0286 | 0.05884 | 1 | -0.00007898 | 0.00544 | 0.01492 | 0.005154 | 0.07179 | 2.51 | 2.828 | 0.008214 | 0.007484 | 1 | 1 | 0.01016 | 0.08293 | 0.353 | 0.01398 | 0.1141 | 0.4856 | json |
| t12_x2_u3_b65 | 12 | 2 | 3 | 65 | ![]() |
flr(mod(P,dst(P,R))) | 21310 | 97528682 | o1(o2(x,o2(x,x))) | true | 327 | 327 | -0.02779 | 0.499 | 0.9097 | 0.8906 | 0.9437 | -1 | 1 | 2 | 1 | 2.051 | 0.001362 | 0.0009269 | 0.01435 | 0.1903 | 1 | -0.00008831 | 0.000946 | 0.006333 | 0.002084 | 0.04565 | 3.18 | 0.4701 | 0.002571 | 0.001062 | 1 | 1 | 0.004867 | 0.04827 | 0.2691 | 0.005465 | 0.0542 | 0.3022 | json |
| t12_x2_u3_b66 | 12 | 2 | 3 | 66 | ![]() |
flr(lrg(P,add(P,R))) | 21311 | 97528683 | o1(o2(x,o2(x,x))) | true | 335 | 335 | 0.5176 | 0.9429 | 0.5176 | 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_x2_u3_b67 | 12 | 2 | 3 | 67 | ![]() |
flr(lrg(P,sub(P,R))) | 21312 | 97528684 | o1(o2(x,o2(x,x))) | true | 343 | 343 | 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_x2_u3_b68 | 12 | 2 | 3 | 68 | ![]() |
flr(lrg(P,mlt(P,R))) | 21313 | 97528685 | o1(o2(x,o2(x,x))) | true | 351 | 351 | 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_x2_u3_b69 | 12 | 2 | 3 | 69 | ![]() |
flr(lrg(P,div(P,R))) | 21314 | 97528686 | o1(o2(x,o2(x,x))) | true | 359 | 359 | 0.4941 | 0.9147 | 0.4941 | 0.1569 | 0.3961 | 0 | 1 | 1 | 1 | 3.391 | 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_x2_u3_b70 | 12 | 2 | 3 | 70 | ![]() |
flr(lrg(P,pow(P,R))) | 21315 | 97528687 | o1(o2(x,o2(x,x))) | true | 367 | 367 | 0.875 | 0.9375 | 0.875 | 0.09585 | 0.3096 | 0 | 1 | 1 | 1 | 1.067 | 0.0007059 | 0 | 0.007937 | 1 | 1 | -9.461e-10 | 0.00003238 | 0.001855 | 0.0006432 | 0.02536 | 3.195 | 0.1169 | 0.007364 | 0.0003379 | 1 | 1 | 0.001851 | 0.02429 | 0.1411 | 0.01931 | 0.2534 | 1.472 | json |
| t12_x2_u3_b71 | 12 | 2 | 3 | 71 | ![]() |
flr(lrg(P,mod(P,R))) | 21316 | 97528688 | o1(o2(x,o2(x,x))) | true | 375 | 375 | 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_x2_u3_b72 | 12 | 2 | 3 | 72 | ![]() |
flr(lrg(P,lrg(P,R))) | 21317 | 97528689 | o1(o2(x,o2(x,x))) | true | 383 | 383 | 0.4063 | 0.4375 | 0.4063 | 0.2344 | 0.4842 | 0 | 1 | 1 | 1 | 1.302 | 0.0003529 | 0 | 0.003968 | 1 | 1 | -4.731e-10 | 0.00001619 | 0.0009276 | 0.0003372 | 0.01836 | 4.628 | 0.1169 | 0.001505 | 0.00006906 | 1 | 1 | 0.0009255 | 0.01214 | 0.0751 | 0.003947 | 0.0518 | 0.3203 | json |
| t12_x2_u3_b73 | 12 | 2 | 3 | 73 | ![]() |
flr(lrg(P,eql(P,R))) | 21318 | 97528690 | o1(o2(x,o2(x,x))) | true | 391 | 391 | 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_x2_u3_b74 | 12 | 2 | 3 | 74 | ![]() |
flr(lrg(P,min(P,R))) | 21319 | 97528691 | o1(o2(x,o2(x,x))) | true | 399 | 399 | 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_x2_u3_b75 | 12 | 2 | 3 | 75 | ![]() |
flr(lrg(P,dot(P,R))) | 21320 | 97528692 | o1(o2(x,o2(x,x))) | true | 407 | 407 | 0.5117 | 0.7632 | 0.5117 | 0.1946 | 0.4411 | 0 | 1 | 1 | 1 | 2.719 | 0.001185 | 0.001347 | 0.02986 | -0.06396 | 1 | 0.00001711 | 0.0001497 | 0.007269 | 0.001641 | 0.0405 | 1.356 | 0.1169 | 0.01301 | 0.0007692 | 1 | 1 | 0.005161 | 0.0666 | 0.2014 | 0.02652 | 0.3423 | 1.035 | json |
| t12_x2_u3_b76 | 12 | 2 | 3 | 76 | ![]() |
flr(lrg(P,dst(P,R))) | 21321 | 97528693 | o1(o2(x,o2(x,x))) | true | 415 | 415 | 0.05859 | 0.1298 | 0.05859 | 0.04026 | 0.2006 | 0 | 1 | 1 | 1 | 0.8457 | 0.0002966 | 0.0003752 | 0.007902 | -0.117 | 1 | 0.00001141 | 0.00004128 | 0.00194 | 0.0006089 | 0.02467 | 3.123 | 0.1169 | 0.01669 | 0.001025 | 1 | 1 | 0.001622 | 0.0212 | 0.07572 | 0.04029 | 0.5265 | 1.881 | json |
| t12_x2_u3_b77 | 12 | 2 | 3 | 77 | ![]() |
flr(eql(P,add(P,R))) | 21322 | 97528694 | o1(o2(x,o2(x,x))) | true | 423 | 423 | 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_x2_u3_b78 | 12 | 2 | 3 | 78 | ![]() |
flr(eql(P,sub(P,R))) | 21323 | 97528695 | o1(o2(x,o2(x,x))) | true | 431 | 431 | 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_x2_u3_b79 | 12 | 2 | 3 | 79 | ![]() |
flr(eql(P,mlt(P,R))) | 21324 | 97528696 | o1(o2(x,o2(x,x))) | true | 439 | 439 | 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_x2_u3_b80 | 12 | 2 | 3 | 80 | ![]() |
flr(eql(P,div(P,R))) | 21325 | 97528697 | o1(o2(x,o2(x,x))) | true | 447 | 447 | 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_x2_u3_b81 | 12 | 2 | 3 | 81 | ![]() |
flr(eql(P,pow(P,R))) | 21326 | 97528698 | o1(o2(x,o2(x,x))) | true | 455 | 455 | 0.08984 | 0.1628 | 0.08984 | 0.06626 | 0.2574 | 0 | 1 | 1 | 1 | 1.008 | 0.0006768 | 0.0001053 | 0.008948 | 0.7306 | 1 | -0.000005705 | 0.00003877 | 0.002115 | 0.0007021 | 0.0265 | 2.961 | 0.1169 | 0.0118 | 0.0005851 | 1 | 1 | 0.002072 | 0.02707 | 0.115 | 0.03127 | 0.4086 | 1.736 | json |
| t12_x2_u3_b82 | 12 | 2 | 3 | 82 | ![]() |
flr(eql(P,mod(P,R))) | 21327 | 97528699 | o1(o2(x,o2(x,x))) | true | 463 | 463 | 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_x2_u3_b83 | 12 | 2 | 3 | 83 | ![]() |
flr(eql(P,lrg(P,R))) | 21328 | 97528700 | o1(o2(x,o2(x,x))) | true | 471 | 471 | 0.08984 | 0.1628 | 0.08984 | 0.06626 | 0.2574 | 0 | 1 | 1 | 1 | 1.008 | 0.0006768 | 0.0001053 | 0.008948 | 0.7306 | 1 | -0.000005705 | 0.00003877 | 0.002115 | 0.0007021 | 0.0265 | 2.961 | 0.1169 | 0.0118 | 0.0005851 | 1 | 1 | 0.002072 | 0.02707 | 0.115 | 0.03127 | 0.4086 | 1.736 | json |
| t12_x2_u3_b84 | 12 | 2 | 3 | 84 | ![]() |
flr(eql(P,eql(P,R))) | 21329 | 97528701 | o1(o2(x,o2(x,x))) | true | 479 | 479 | 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_x2_u3_b85 | 12 | 2 | 3 | 85 | ![]() |
flr(eql(P,min(P,R))) | 21330 | 97528702 | o1(o2(x,o2(x,x))) | true | 487 | 487 | 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_x2_u3_b86 | 12 | 2 | 3 | 86 | ![]() |
flr(eql(P,dot(P,R))) | 21331 | 97528703 | o1(o2(x,o2(x,x))) | true | 495 | 495 | 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_x2_u3_b87 | 12 | 2 | 3 | 87 | ![]() |
flr(eql(P,dst(P,R))) | 21332 | 97528704 | o1(o2(x,o2(x,x))) | true | 503 | 503 | 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_x2_u3_b88 | 12 | 2 | 3 | 88 | ![]() |
flr(min(P,add(P,R))) | 21333 | 97528705 | o1(o2(x,o2(x,x))) | true | 511 | 511 | -0.05877 | 0.4723 | 0.9451 | 0.9283 | 0.9635 | -1 | 1 | 2 | 1 | 1.786 | 0.001009 | 0.0002866 | 0.01014 | 0.5576 | 1 | -0.00001667 | 0.000135 | 0.00275 | 0.001193 | 0.03453 | 3.406 | 0.2338 | 0.001396 | 0.0001454 | 1 | 1 | 0.003407 | 0.04218 | 0.2644 | 0.00367 | 0.04544 | 0.2848 | json |
| t12_x2_u3_b89 | 12 | 2 | 3 | 89 | ![]() |
flr(min(P,sub(P,R))) | 21334 | 97528706 | o1(o2(x,o2(x,x))) | true | 519 | 519 | -0.06541 | 0.4608 | 0.9287 | 0.9116 | 0.9548 | -1 | 1 | 2 | 1 | 1.855 | 0.0009844 | 0.0002879 | 0.01003 | 0.5475 | 1 | 0.00001926 | 0.0001808 | 0.003033 | 0.001171 | 0.03422 | 3.413 | 0.2338 | 0.001396 | 0.0001983 | 1 | 1 | 0.00338 | 0.04008 | 0.2523 | 0.003707 | 0.04397 | 0.2768 | json |
| t12_x2_u3_b90 | 12 | 2 | 3 | 90 | ![]() |
flr(min(P,mlt(P,R))) | 21335 | 97528707 | o1(o2(x,o2(x,x))) | true | 527 | 527 | -0.6121 | 0.1353 | 0.8372 | 0.4283 | 0.6544 | -1 | 1 | 2 | 1 | 2.33 | 0.009166 | 0.008613 | 0.04691 | 0.03111 | 1 | -0.000001385 | 0.009981 | 0.02503 | 0.01558 | 0.1248 | 2.661 | 1.34 | 0.04151 | 0.02331 | 1 | 1 | 0.0247 | 0.227 | 0.6093 | 0.05768 | 0.53 | 1.423 | json |
| t12_x2_u3_b91 | 12 | 2 | 3 | 91 | ![]() |
flr(min(P,div(P,R))) | 21336 | 97528708 | o1(o2(x,o2(x,x))) | true | 535 | 535 | -0.6495 | 0.1691 | 0.9271 | 0.4886 | 0.699 | -1 | 1 | 2 | 1 | 1.565 | 0.02492 | 0.02888 | 0.05813 | -0.07367 | 1 | 0.00001261 | 0.07967 | 0.06443 | 0.05044 | 0.2246 | 3.864 | 2.828 | 0.1101 | 0.1631 | 1 | 1 | 0.0663 | 0.3909 | 0.7838 | 0.1357 | 0.8001 | 1.604 | json |
| t12_x2_u3_b92 | 12 | 2 | 3 | 92 | ![]() |
flr(min(P,pow(P,R))) | 21337 | 97528709 | o1(o2(x,o2(x,x))) | true | 543 | 543 | -0.193 | 0.4632 | 0.7445 | 0.6618 | 0.8135 | -1 | 1 | 2 | 1 | 2.973 | 0.002298 | 0.00154 | 0.03099 | 0.1974 | 1 | -0.00006453 | 0.0009457 | 0.01088 | 0.002878 | 0.05364 | 1.731 | 0.4015 | 0.005799 | 0.001429 | 1 | 1 | 0.007076 | 0.08152 | 0.3345 | 0.01069 | 0.1232 | 0.5054 | json |
| t12_x2_u3_b93 | 12 | 2 | 3 | 93 | ![]() |
flr(min(P,mod(P,R))) | 21338 | 97528710 | o1(o2(x,o2(x,x))) | true | 551 | 551 | -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_x2_u3_b94 | 12 | 2 | 3 | 94 | ![]() |
flr(min(P,lrg(P,R))) | 21339 | 97528711 | o1(o2(x,o2(x,x))) | true | 559 | 559 | 0 | 0.5 | 0.9375 | 0.924 | 0.9612 | -1 | 1 | 2 | 1 | 1.813 | 0.0007059 | 0 | 0.007937 | 1 | 1 | 0 | 0.00003235 | 0.001851 | 0.0006432 | 0.02536 | 3.195 | 0.1169 | 0.0007639 | 0.00003501 | 1 | 1 | 0.001851 | 0.02449 | 0.2344 | 0.002003 | 0.0265 | 0.2537 | json |
| t12_x2_u3_b95 | 12 | 2 | 3 | 95 | ![]() |
flr(min(P,eql(P,R))) | 21340 | 97528712 | o1(o2(x,o2(x,x))) | true | 567 | 567 | -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_x2_u3_b96 | 12 | 2 | 3 | 96 | ![]() |
flr(min(P,min(P,R))) | 21341 | 97528713 | o1(o2(x,o2(x,x))) | true | 575 | 575 | -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_x2_u3_b97 | 12 | 2 | 3 | 97 | ![]() |
flr(min(P,dot(P,R))) | 21342 | 97528714 | o1(o2(x,o2(x,x))) | true | 583 | 583 | -0.5904 | 0.2017 | 0.8989 | 0.5235 | 0.7235 | -1 | 1 | 2 | 1 | 1.983 | 0.01137 | 0.01311 | 0.0517 | -0.07129 | 1 | 0.00005325 | 0.0167 | 0.0328 | 0.02182 | 0.1477 | 2.857 | 1.693 | 0.04677 | 0.0319 | 1 | 1 | 0.03313 | 0.2813 | 0.8022 | 0.06329 | 0.5373 | 1.532 | json |
| t12_x2_u3_b98 | 12 | 2 | 3 | 98 | ![]() |
flr(min(P,dst(P,R))) | 21343 | 97528715 | o1(o2(x,o2(x,x))) | true | 591 | 591 | -0.003246 | 0.4996 | 0.9343 | 0.9203 | 0.9593 | -1 | 1 | 2 | 1 | 1.842 | 0.0007123 | 0.00003106 | 0.008208 | 0.9164 | 1 | 4.177e-11 | 0.00004306 | 0.001988 | 0.0006762 | 0.026 | 3.168 | 0.2265 | 0.0008077 | 0.00004679 | 1 | 1 | 0.001976 | 0.02569 | 0.2318 | 0.002147 | 0.02791 | 0.2519 | json |
| t12_x2_u3_b99 | 12 | 2 | 3 | 99 | ![]() |
flr(dot(P,add(P,R))) | 21344 | 97528716 | o1(o2(x,o2(x,x))) | true | 599 | 599 | 0.9923 | 1 | 0.9923 | 0.005497 | 0.07414 | 0.0002911 | 1 | 0.9997 | 1 | 0.1544 | 0.0001017 | 0.0001648 | 0.001699 | -0.2369 | 1 | 6.758e-11 | 0.0001031 | 0.0008022 | 0.000264 | 0.01625 | 9.566 | 0.3575 | 0.04848 | 0.01876 | 1 | 1 | 0.0008643 | 0.008108 | 0.02007 | 0.1572 | 1.475 | 3.65 | json |
| t12_x2_u3_b100 | 12 | 2 | 3 | 100 | ![]() |
flr(dot(P,sub(P,R))) | 21345 | 97528717 | o1(o2(x,o2(x,x))) | true | 607 | 607 | 0.9871 | 0.9995 | 0.9871 | 0.01048 | 0.1024 | 8.471e-8 | 1 | 1 | 1 | 0.1944 | 0.0001812 | 0.0002152 | 0.002214 | -0.086 | 1 | -8.635e-11 | 0.0001655 | 0.001159 | 0.0003918 | 0.0198 | 8.939 | 0.3839 | 0.03782 | 0.01579 | 1 | 1 | 0.001273 | 0.01146 | 0.03578 | 0.1214 | 1.093 | 3.414 | json |
| t12_x2_u3_b101 | 12 | 2 | 3 | 101 | ![]() |
flr(dot(P,mlt(P,R))) | 21346 | 97528718 | o1(o2(x,o2(x,x))) | true | 615 | 615 | 0.01283 | 0.5014 | 0.9469 | 0.9307 | 0.9647 | -1 | 1 | 2 | 1 | 1.817 | 0.07358 | 0.08465 | 0.1154 | -0.06994 | 1 | -0.00004851 | 0.3284 | 0.1737 | 0.1449 | 0.3807 | 3.298 | 2.828 | 0.17 | 0.3529 | 1 | 1 | 0.1558 | 0.8226 | 1.807 | 0.1674 | 0.8838 | 1.941 | json |
| t12_x2_u3_b102 | 12 | 2 | 3 | 102 | ![]() |
flr(dot(P,div(P,R))) | 21347 | 97528719 | o1(o2(x,o2(x,x))) | true | 623 | 623 | 0.05468 | 0.5275 | 0.9912 | 0.9861 | 0.993 | -1 | 1 | 2 | 1 | 1.176 | 0.1057 | 0.1183 | 0.1163 | -0.05618 | 1 | 0.0000699 | 0.591 | 0.2296 | 0.2106 | 0.4589 | 3.944 | 2.828 | 0.2272 | 0.5993 | 1 | 1 | 0.2087 | 0.8815 | 2.011 | 0.2116 | 0.8939 | 2.039 | json |
| t12_x2_u3_b103 | 12 | 2 | 3 | 103 | ![]() |
flr(dot(P,pow(P,R))) | 21348 | 97528720 | o1(o2(x,o2(x,x))) | true | 631 | 631 | -0.5859 | 0.207 | 1 | 0.6568 | 0.8105 | -1 | 1 | 2 | 1 | 0.7358 | 0.01096 | 0.008944 | 0.009915 | 0.1013 | 1 | 0 | 0.04119 | 0.0199 | 0.01982 | 0.1408 | 14.2 | 2.828 | 0.0303 | 0.06272 | 1 | 1 | 0.02637 | 0.1055 | 0.3785 | 0.04015 | 0.1606 | 0.5763 | json |
| t12_x2_u3_b104 | 12 | 2 | 3 | 104 | ![]() |
flr(dot(P,mod(P,R))) | 21349 | 97528721 | o1(o2(x,o2(x,x))) | true | 639 | 639 | 0.6629 | 0.8636 | 0.6629 | 0.1827 | 0.4275 | 0 | 1 | 1 | 1 | 2.267 | 0.002398 | 0.002499 | 0.03261 | -0.02057 | 1 | -0.00003762 | 0.001669 | 0.01463 | 0.003835 | 0.06193 | 1.899 | 0.3975 | 0.0268 | 0.009134 | 1 | 1 | 0.00835 | 0.08663 | 0.2583 | 0.0457 | 0.4741 | 1.414 | json |
| t12_x2_u3_b105 | 12 | 2 | 3 | 105 | ![]() |
flr(dot(P,lrg(P,R))) | 21350 | 97528722 | o1(o2(x,o2(x,x))) | true | 647 | 647 | 0.7179 | 0.75 | 0.7179 | 0.1953 | 0.4419 | 0 | 1 | 1 | 1 | 1.194 | 0.0001877 | 0.0001877 | 0.004161 | 0.000001047 | 1 | -5.744e-10 | 0.00002276 | 0.0009958 | 0.0003579 | 0.01892 | 4.547 | 0.1653 | 0.001922 | 0.0001166 | 1 | 1 | 0.001001 | 0.01303 | 0.08014 | 0.005127 | 0.06671 | 0.4104 | json |
| t12_x2_u3_b106 | 12 | 2 | 3 | 106 | ![]() |
flr(dot(P,eql(P,R))) | 21351 | 97528723 | o1(o2(x,o2(x,x))) | true | 655 | 655 | 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_x2_u3_b107 | 12 | 2 | 3 | 107 | ![]() |
flr(dot(P,min(P,R))) | 21352 | 97528724 | o1(o2(x,o2(x,x))) | true | 663 | 663 | 0.6529 | 0.8327 | 0.9289 | 0.4838 | 0.6955 | -1 | 1 | 2 | 1 | 1.603 | 0.009517 | 0.01018 | 0.03914 | -0.03358 | 1 | -0.000003578 | 0.01434 | 0.02586 | 0.01816 | 0.1348 | 3.444 | 1.693 | 0.04071 | 0.02963 | 1 | 1 | 0.0257 | 0.2217 | 0.6267 | 0.05313 | 0.4584 | 1.295 | json |
| t12_x2_u3_b108 | 12 | 2 | 3 | 108 | ![]() |
flr(dot(P,dot(P,R))) | 21353 | 97528725 | o1(o2(x,o2(x,x))) | true | 671 | 671 | 0.03319 | 0.5118 | 0.9135 | 0.8893 | 0.9431 | -1 | 1 | 2 | 1 | 2.153 | 0.05813 | 0.07528 | 0.1079 | -0.1286 | 1 | -0.00009021 | 0.2747 | 0.1496 | 0.1218 | 0.349 | 3.233 | 2.828 | 0.15 | 0.3088 | 1 | 1 | 0.1332 | 0.7321 | 1.692 | 0.1498 | 0.8232 | 1.902 | json |
| t12_x2_u3_b109 | 12 | 2 | 3 | 109 | ![]() |
flr(dot(P,dst(P,R))) | 21354 | 97528726 | o1(o2(x,o2(x,x))) | true | 679 | 679 | -0.004881 | 0.4964 | 0.9745 | 0.9692 | 0.9845 | -1 | 1 | 2 | 1 | 1.401 | 0.003068 | 0.003104 | 0.01223 | -0.005945 | 1 | 6.396e-7 | 0.006266 | 0.009181 | 0.006025 | 0.07762 | 6.348 | 1.709 | 0.006368 | 0.006465 | 1 | 1 | 0.01174 | 0.09353 | 0.5196 | 0.01212 | 0.09651 | 0.5361 | json |
| t12_x2_u3_b110 | 12 | 2 | 3 | 110 | ![]() |
flr(dst(P,add(P,R))) | 21355 | 97528727 | o1(o2(x,o2(x,x))) | true | 687 | 687 | 0.5234 | 0.9064 | 0.5234 | 0.1603 | 0.4004 | 0 | 1 | 1 | 1 | 3.324 | 0.001857 | 0.002199 | 0.04748 | -0.08437 | 1 | -0.000005706 | 0.0002413 | 0.0116 | 0.001802 | 0.04245 | 0.894 | 0.1169 | 0.0253 | 0.001505 | 1 | 1 | 0.007899 | 0.1024 | 0.3171 | 0.04927 | 0.639 | 1.978 | json |
| t12_x2_u3_b111 | 12 | 2 | 3 | 111 | ![]() |
flr(dst(P,sub(P,R))) | 21356 | 97528728 | o1(o2(x,o2(x,x))) | true | 695 | 695 | 0.5234 | 0.9064 | 0.5234 | 0.1603 | 0.4004 | 0 | 1 | 1 | 1 | 3.324 | 0.001857 | 0.002199 | 0.04748 | -0.08437 | 1 | -0.000005706 | 0.0002413 | 0.0116 | 0.001802 | 0.04245 | 0.894 | 0.1169 | 0.0253 | 0.001505 | 1 | 1 | 0.007899 | 0.1024 | 0.3171 | 0.04927 | 0.639 | 1.978 | json |
| t12_x2_u3_b112 | 12 | 2 | 3 | 112 | ![]() |
flr(dst(P,mlt(P,R))) | 21357 | 97528729 | o1(o2(x,o2(x,x))) | true | 703 | 703 | 0.9678 | 0.9997 | 0.9678 | 0.02255 | 0.1502 | 8.471e-8 | 1 | 1 | 1 | 0.5209 | 0.0008483 | 0.0008396 | 0.008441 | 0.005159 | 1 | -0.00005933 | 0.0009557 | 0.005198 | 0.001615 | 0.04019 | 4.761 | 0.5555 | 0.07484 | 0.04237 | 1 | 1 | 0.003857 | 0.03259 | 0.06248 | 0.171 | 1.445 | 2.77 | json |
| t12_x2_u3_b113 | 12 | 2 | 3 | 113 | ![]() |
flr(dst(P,div(P,R))) | 21358 | 97528730 | o1(o2(x,o2(x,x))) | true | 711 | 711 | 0.9939 | 1 | 0.9939 | 0.004261 | 0.06528 | 0.0005826 | 1 | 0.9994 | 1 | 0.1268 | 0.000586 | 0.0004461 | 0.003071 | 0.1355 | 1 | -0.00004077 | 0.001172 | 0.003063 | 0.001022 | 0.03196 | 10.41 | 0.9608 | 0.2422 | 0.2751 | 1 | 1 | 0.001987 | 0.01063 | 0.01155 | 0.4664 | 2.496 | 2.71 | json |
| t12_x2_u3_b114 | 12 | 2 | 3 | 114 | ![]() |
flr(dst(P,pow(P,R))) | 21359 | 97528731 | o1(o2(x,o2(x,x))) | true | 719 | 719 | -0.9688 | 0.01563 | 1 | 0.06152 | 0.248 | -1 | 1 | 2 | 1 | 0.1161 | 0.006047 | 0.008062 | 0.006999 | -0.1429 | 1 | 0 | 0.02973 | 0.01411 | 0.01406 | 0.1186 | 16.94 | 2.828 | 0.2293 | 0.4832 | 1 | 1 | 0.009695 | 0.04659 | 0.07003 | 0.1576 | 0.7573 | 1.138 | json |
| t12_x2_u3_b115 | 12 | 2 | 3 | 115 | ![]() |
flr(dst(P,mod(P,R))) | 21360 | 97528732 | o1(o2(x,o2(x,x))) | true | 727 | 727 | 0.9806 | 0.9991 | 0.9806 | 0.01458 | 0.1208 | 8.471e-8 | 1 | 1 | 1 | 0.3239 | 0.0001078 | 0.0001078 | 0.002513 | 0 | 1 | -3.604e-10 | 0.00001817 | 0.0006348 | 0.0002094 | 0.01447 | 5.758 | 0.1653 | 0.01478 | 0.001246 | 1 | 1 | 0.0007472 | 0.00966 | 0.04273 | 0.05125 | 0.6625 | 2.93 | json |
| t12_x2_u3_b116 | 12 | 2 | 3 | 116 | ![]() |
flr(dst(P,lrg(P,R))) | 21361 | 97528733 | o1(o2(x,o2(x,x))) | true | 735 | 735 | 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.00006943 | 0.008333 | 9.898 | 0.1169 | 0.02947 | 0.001772 | 1 | 1 | 0.0002443 | 0.003178 | 0.008708 | 0.1025 | 1.334 | 3.654 | json |
| t12_x2_u3_b117 | 12 | 2 | 3 | 117 | ![]() |
flr(dst(P,eql(P,R))) | 21362 | 97528734 | o1(o2(x,o2(x,x))) | true | 743 | 743 | 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_x2_u3_b118 | 12 | 2 | 3 | 118 | ![]() |
flr(dst(P,min(P,R))) | 21363 | 97528735 | o1(o2(x,o2(x,x))) | true | 751 | 751 | 0.6996 | 0.7594 | 0.6996 | 0.1977 | 0.4446 | 0 | 1 | 1 | 1 | 1.417 | 0.0004203 | 0.0003061 | 0.007433 | 0.1573 | 1 | -0.00001222 | 0.00009111 | 0.002115 | 0.0006704 | 0.02589 | 3.483 | 0.2265 | 0.003675 | 0.0004609 | 1 | 1 | 0.001673 | 0.0205 | 0.09496 | 0.008462 | 0.1037 | 0.4804 | json |
| t12_x2_u3_b119 | 12 | 2 | 3 | 119 | ![]() |
flr(dst(P,dot(P,R))) | 21364 | 97528736 | o1(o2(x,o2(x,x))) | true | 759 | 759 | 0.9931 | 1 | 0.9931 | 0.004928 | 0.0702 | 0.000291 | 1 | 0.9997 | 1 | 0.1468 | 0.0001037 | 0.00003841 | 0.001306 | 0.4593 | 1 | -2.253e-11 | 0.00002726 | 0.0004129 | 0.0001405 | 0.01185 | 9.075 | 0.2479 | 0.02883 | 0.005532 | 1 | 1 | 0.0004824 | 0.005597 | 0.01765 | 0.09789 | 1.136 | 3.581 | json |
| t12_x2_u3_b120 | 12 | 2 | 3 | 120 | ![]() |
flr(dst(P,dst(P,R))) | 21365 | 97528737 | o1(o2(x,o2(x,x))) | true | 767 | 767 | 0.998 | 1 | 0.998 | 0.001344 | 0.03665 | 0.0008731 | 1 | 0.9991 | 1 | 0.04915 | 0.00004709 | 0.00005643 | 0.0006129 | -0.09024 | 1 | 3.754e-12 | 0.00003906 | 0.0003368 | 0.0001032 | 0.01016 | 16.57 | 0.3088 | 0.07705 | 0.02907 | 1 | 1 | 0.0003368 | 0.003067 | 0.004886 | 0.2507 | 2.283 | 3.637 | json |
| t12_x2_u4_b0 | 12 | 2 | 4 | 0 | ![]() |
cil(add(P,add(P,R))) | 21366 | 97528818 | o1(o2(x,o2(x,x))) | true | 775 | 775 | 0.02917 | 0.5147 | 0.9669 | 0.9574 | 0.9784 | -1 | 1 | 2 | 1 | 1.513 | 0.001477 | 0.0001102 | 0.008546 | 0.8611 | 1 | -0.000006592 | 0.0003494 | 0.003141 | 0.001515 | 0.03892 | 4.555 | 0.3506 | 0.001658 | 0.000365 | 1 | 1 | 0.004081 | 0.04468 | 0.2971 | 0.004263 | 0.04667 | 0.3103 | json |
| t12_x2_u4_b1 | 12 | 2 | 4 | 1 | ![]() |
cil(add(P,sub(P,R))) | 21367 | 97528819 | o1(o2(x,o2(x,x))) | true | 783 | 783 | 0.03343 | 0.5181 | 0.9711 | 0.9618 | 0.9807 | -1 | 1 | 2 | 1 | 1.471 | 0.001586 | 0.0001095 | 0.008535 | 0.8708 | 1 | 0.000007959 | 0.0003402 | 0.003048 | 0.001624 | 0.0403 | 4.722 | 0.3506 | 0.001763 | 0.0003537 | 1 | 1 | 0.004272 | 0.04699 | 0.3018 | 0.004441 | 0.04885 | 0.3138 | json |
| t12_x2_u4_b2 | 12 | 2 | 4 | 2 | ![]() |
cil(add(P,mlt(P,R))) | 21368 | 97528820 | o1(o2(x,o2(x,x))) | true | 791 | 791 | 0.06653 | 0.5 | 0.8842 | 0.8611 | 0.928 | -1 | 1 | 2 | 1 | 2.147 | 0.001409 | 0.001061 | 0.01535 | 0.1409 | 1 | 0.00000322 | 0.0009566 | 0.007052 | 0.002234 | 0.04727 | 3.08 | 0.5251 | 0.002868 | 0.001111 | 1 | 1 | 0.00489 | 0.04774 | 0.2568 | 0.005679 | 0.05544 | 0.2983 | json |
| t12_x2_u4_b3 | 12 | 2 | 4 | 3 | ![]() |
cil(add(P,div(P,R))) | 21369 | 97528821 | o1(o2(x,o2(x,x))) | true | 799 | 799 | 0.02188 | 0.5125 | 0.9107 | 0.8908 | 0.9438 | -1 | 1 | 2 | 1 | 2.083 | 0.05845 | 0.0718 | 0.11 | -0.1025 | 1 | -0.00004537 | 0.2561 | 0.1499 | 0.1182 | 0.3438 | 3.126 | 2.828 | 0.1462 | 0.2876 | 1 | 1 | 0.1537 | 0.8139 | 1.797 | 0.1725 | 0.9137 | 2.017 | json |
| t12_x2_u4_b4 | 12 | 2 | 4 | 4 | ![]() |
cil(add(P,pow(P,R))) | 21370 | 97528822 | o1(o2(x,o2(x,x))) | true | 807 | 807 | -0.09913 | 0.4531 | 0.9946 | 0.9841 | 0.992 | -1 | 1 | 2 | 1 | 1.069 | 0.01302 | 0.004393 | 0.01034 | 0.4953 | 1 | -1.802e-10 | 0.03547 | 0.01925 | 0.01731 | 0.1316 | 12.73 | 2.828 | 0.01769 | 0.03604 | 1 | 1 | 0.02401 | 0.1015 | 0.3992 | 0.0244 | 0.1032 | 0.4057 | json |
| t12_x2_u4_b5 | 12 | 2 | 4 | 5 | ![]() |
cil(add(P,mod(P,R))) | 21371 | 97528823 | o1(o2(x,o2(x,x))) | true | 815 | 815 | 0.009727 | 0.5 | 0.9472 | 0.9365 | 0.9677 | -1 | 1 | 2 | 1 | 1.65 | 0.001005 | 0 | 0.007937 | 1 | 1 | -4.731e-10 | 0.0001502 | 0.002719 | 0.0009424 | 0.0307 | 3.868 | 0.2265 | 0.001073 | 0.0001604 | 1 | 1 | 0.002565 | 0.02848 | 0.2515 | 0.002739 | 0.03041 | 0.2686 | json |
| t12_x2_u4_b6 | 12 | 2 | 4 | 6 | ![]() |
cil(add(P,lrg(P,R))) | 21372 | 97528824 | o1(o2(x,o2(x,x))) | true | 823 | 823 | 0.03972 | 0.5198 | 0.9657 | 0.9543 | 0.9769 | -1 | 1 | 2 | 1 | 1.554 | 0.001197 | 0.00009554 | 0.008561 | 0.8522 | 1 | 0.000003562 | 0.0001197 | 0.002399 | 0.00122 | 0.03492 | 4.08 | 0.2338 | 0.001355 | 0.0001254 | 1 | 1 | 0.003358 | 0.04173 | 0.2916 | 0.003518 | 0.04373 | 0.3056 | json |
| t12_x2_u4_b7 | 12 | 2 | 4 | 7 | ![]() |
cil(add(P,eql(P,R))) | 21373 | 97528825 | o1(o2(x,o2(x,x))) | true | 831 | 831 | 0 | 0.5 | 0.9375 | 0.924 | 0.9612 | -1 | 1 | 2 | 1 | 1.813 | 0.0007059 | 0 | 0.007937 | 1 | 1 | 0 | 0.00003235 | 0.001851 | 0.0006432 | 0.02536 | 3.195 | 0.1169 | 0.0007639 | 0.00003501 | 1 | 1 | 0.001851 | 0.02449 | 0.2344 | 0.002003 | 0.0265 | 0.2537 | json |
| t12_x2_u4_b8 | 12 | 2 | 4 | 8 | ![]() |
cil(add(P,min(P,R))) | 21374 | 97528826 | o1(o2(x,o2(x,x))) | true | 839 | 839 | -0.003127 | 0.5 | 0.9538 | 0.9453 | 0.9723 | -1 | 1 | 2 | 1 | 1.558 | 0.001209 | 0.00001482 | 0.008018 | 0.9758 | 1 | -0.000004284 | 0.0002464 | 0.003305 | 0.001159 | 0.03405 | 4.247 | 0.2265 | 0.001295 | 0.0002606 | 1 | 1 | 0.003054 | 0.03164 | 0.263 | 0.003231 | 0.03347 | 0.2783 | json |
| t12_x2_u4_b9 | 12 | 2 | 4 | 9 | ![]() |
cil(add(P,dot(P,R))) | 21375 | 97528827 | o1(o2(x,o2(x,x))) | true | 847 | 847 | 0.05172 | 0.5253 | 0.9263 | 0.9011 | 0.9493 | -1 | 1 | 2 | 1 | 2.072 | 0.01287 | 0.01623 | 0.05326 | -0.1155 | 1 | -0.0001489 | 0.02321 | 0.03949 | 0.02624 | 0.162 | 3.041 | 1.901 | 0.03229 | 0.02575 | 1 | 1 | 0.04328 | 0.3403 | 0.7399 | 0.04803 | 0.3777 | 0.8211 | json |
| t12_x2_u4_b10 | 12 | 2 | 4 | 10 | ![]() |
cil(add(P,dst(P,R))) | 21376 | 97528828 | o1(o2(x,o2(x,x))) | true | 855 | 855 | 0.961 | 0.9957 | 0.961 | 0.02859 | 0.1691 | 0 | 1 | 1 | 1 | 0.5734 | 0.0002104 | 0.0004488 | 0.005685 | -0.3617 | 1 | -0.000006959 | 0.0001123 | 0.001921 | 0.0006264 | 0.02503 | 4.402 | 0.3082 | 0.02306 | 0.00393 | 1 | 1 | 0.001438 | 0.01547 | 0.04956 | 0.0503 | 0.5411 | 1.734 | json |
| t12_x2_u4_b11 | 12 | 2 | 4 | 11 | ![]() |
cil(sub(P,add(P,R))) | 21377 | 97528829 | o1(o2(x,o2(x,x))) | true | 863 | 863 | 0.5176 | 0.9429 | 0.5176 | 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_x2_u4_b12 | 12 | 2 | 4 | 12 | ![]() |
cil(sub(P,sub(P,R))) | 21378 | 97528830 | o1(o2(x,o2(x,x))) | true | 871 | 871 | 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_x2_u4_b13 | 12 | 2 | 4 | 13 | ![]() |
cil(sub(P,mlt(P,R))) | 21379 | 97528831 | o1(o2(x,o2(x,x))) | true | 879 | 879 | 0.06157 | 0.5 | 0.8843 | 0.8617 | 0.9283 | -1 | 1 | 2 | 1 | 2.152 | 0.001484 | 0.00111 | 0.01567 | 0.1442 | 1 | 0.00005032 | 0.001072 | 0.007505 | 0.002348 | 0.04846 | 3.093 | 0.4946 | 0.003011 | 0.001244 | 1 | 1 | 0.005623 | 0.05084 | 0.2427 | 0.006526 | 0.059 | 0.2816 | json |
| t12_x2_u4_b14 | 12 | 2 | 4 | 14 | ![]() |
cil(sub(P,div(P,R))) | 21380 | 97528832 | o1(o2(x,o2(x,x))) | true | 887 | 887 | 0.1096 | 0.5546 | 0.9019 | 0.87 | 0.9327 | -1 | 1 | 2 | 1 | 2.121 | 0.05683 | 0.07168 | 0.1063 | -0.1156 | 1 | -0.00002208 | 0.2555 | 0.1468 | 0.1172 | 0.3423 | 3.221 | 2.828 | 0.1477 | 0.2937 | 1 | 1 | 0.1359 | 0.6971 | 1.544 | 0.1562 | 0.8013 | 1.775 | json |
| t12_x2_u4_b15 | 12 | 2 | 4 | 15 | ![]() |
cil(sub(P,pow(P,R))) | 21381 | 97528833 | o1(o2(x,o2(x,x))) | true | 895 | 895 | -0.1343 | 0.4375 | 0.9595 | 0.9367 | 0.9678 | -1 | 1 | 2 | 1 | 1.375 | 0.004518 | 0.001528 | 0.009513 | 0.4945 | 1 | 4.442e-7 | 0.01139 | 0.01238 | 0.005956 | 0.07718 | 8.113 | 1.415 | 0.006455 | 0.01216 | 1 | 1 | 0.009003 | 0.0535 | 0.3022 | 0.009612 | 0.05712 | 0.3226 | json |
| t12_x2_u4_b16 | 12 | 2 | 4 | 16 | ![]() |
cil(sub(P,mod(P,R))) | 21382 | 97528834 | o1(o2(x,o2(x,x))) | true | 903 | 903 | 0.0625 | 0.5 | 0.875 | 0.8576 | 0.926 | -1 | 1 | 2 | 1 | 2.027 | 0.0007059 | 0 | 0.007937 | 1 | 1 | 0 | 0.00003238 | 0.001855 | 0.0006432 | 0.02536 | 3.195 | 0.1169 | 0.0008231 | 0.00003776 | 1 | 1 | 0.001851 | 0.02429 | 0.1593 | 0.002158 | 0.02832 | 0.1858 | json |
| t12_x2_u4_b17 | 12 | 2 | 4 | 17 | ![]() |
cil(sub(P,lrg(P,R))) | 21383 | 97528835 | o1(o2(x,o2(x,x))) | true | 911 | 911 | -0.09766 | 0.4375 | 0.9102 | 0.8845 | 0.9405 | -1 | 1 | 2 | 1 | 1.994 | 0.0006768 | 0.0001053 | 0.00895 | 0.7306 | 1 | -0.000005704 | 0.00003873 | 0.002112 | 0.000702 | 0.0265 | 2.96 | 0.1169 | 0.0008842 | 0.00004379 | 1 | 1 | 0.002072 | 0.02729 | 0.2147 | 0.002342 | 0.03086 | 0.2427 | json |
| t12_x2_u4_b18 | 12 | 2 | 4 | 18 | ![]() |
cil(sub(P,eql(P,R))) | 21384 | 97528836 | o1(o2(x,o2(x,x))) | true | 919 | 919 | 0 | 0.5 | 0.9375 | 0.924 | 0.9612 | -1 | 1 | 2 | 1 | 1.813 | 0.0007059 | 0 | 0.007937 | 1 | 1 | 0 | 0.00003235 | 0.001851 | 0.0006432 | 0.02536 | 3.195 | 0.1169 | 0.0007639 | 0.00003501 | 1 | 1 | 0.001851 | 0.02449 | 0.2344 | 0.002003 | 0.0265 | 0.2537 | json |
| t12_x2_u4_b19 | 12 | 2 | 4 | 19 | ![]() |
cil(sub(P,min(P,R))) | 21385 | 97528837 | o1(o2(x,o2(x,x))) | true | 927 | 927 | 0.5064 | 0.5456 | 0.5064 | 0.2425 | 0.4924 | 0 | 1 | 1 | 1 | 1.371 | 0.0003876 | 0.0001106 | 0.004878 | 0.5561 | 1 | 0.000003565 | 0.0000683 | 0.001401 | 0.000474 | 0.02177 | 4.464 | 0.2265 | 0.002055 | 0.0002817 | 1 | 1 | 0.001345 | 0.01604 | 0.09042 | 0.005549 | 0.06616 | 0.3729 | json |
| t12_x2_u4_b20 | 12 | 2 | 4 | 20 | ![]() |
cil(sub(P,dot(P,R))) | 21386 | 97528838 | o1(o2(x,o2(x,x))) | true | 935 | 935 | 0.1086 | 0.5536 | 0.9056 | 0.8693 | 0.9323 | -1 | 1 | 2 | 1 | 2.218 | 0.01224 | 0.01632 | 0.05444 | -0.1431 | 1 | 0.00008813 | 0.0216 | 0.03893 | 0.02561 | 0.16 | 2.94 | 1.693 | 0.03286 | 0.02485 | 1 | 1 | 0.03925 | 0.3098 | 0.7175 | 0.04516 | 0.3564 | 0.8255 | json |
| t12_x2_u4_b21 | 12 | 2 | 4 | 21 | ![]() |
cil(sub(P,dst(P,R))) | 21387 | 97528839 | o1(o2(x,o2(x,x))) | true | 943 | 943 | -0.7799 | 0.1049 | 0.8871 | 0.2527 | 0.5027 | -1 | 1 | 2 | 1 | 1.678 | 0.0009793 | 0.001093 | 0.01746 | -0.05499 | 1 | 2.666e-10 | 0.0002952 | 0.004974 | 0.001768 | 0.04205 | 2.409 | 0.3084 | 0.008202 | 0.001168 | 1 | 1 | 0.005543 | 0.06657 | 0.2599 | 0.02194 | 0.2634 | 1.029 | json |
| t12_x2_u4_b22 | 12 | 2 | 4 | 22 | ![]() |
cil(mlt(P,add(P,R))) | 21388 | 97528840 | o1(o2(x,o2(x,x))) | true | 951 | 951 | 0.9488 | 1 | 0.9488 | 0.03868 | 0.1967 | 0.000291 | 1 | 0.9997 | 1 | 0.6599 | 0.00105 | 0.0000267 | 0.008058 | 0.9504 | 1 | -0.000003397 | 0.0001962 | 0.002843 | 0.001012 | 0.03181 | 3.947 | 0.2265 | 0.02784 | 0.005072 | 1 | 1 | 0.002715 | 0.02895 | 0.05763 | 0.07018 | 0.7485 | 1.49 | json |
| t12_x2_u4_b23 | 12 | 2 | 4 | 23 | ![]() |
cil(mlt(P,sub(P,R))) | 21389 | 97528841 | o1(o2(x,o2(x,x))) | true | 959 | 959 | 0.9476 | 1 | 0.9476 | 0.03937 | 0.1984 | 0.000291 | 1 | 0.9997 | 1 | 0.6793 | 0.001012 | 0.0000267 | 0.008059 | 0.9486 | 1 | -0.000003397 | 0.0001812 | 0.002732 | 0.0009739 | 0.03121 | 3.872 | 0.2265 | 0.02639 | 0.004602 | 1 | 1 | 0.002662 | 0.02869 | 0.05828 | 0.06761 | 0.7286 | 1.48 | json |
| t12_x2_u4_b24 | 12 | 2 | 4 | 24 | ![]() |
cil(mlt(P,mlt(P,R))) | 21390 | 97528842 | o1(o2(x,o2(x,x))) | true | 967 | 967 | 0.08325 | 0.5661 | 0.8399 | 0.8003 | 0.8946 | -1 | 1 | 2 | 1 | 2.617 | 0.04738 | 0.05737 | 0.1004 | -0.09532 | 1 | 0.00009844 | 0.1951 | 0.1197 | 0.09471 | 0.3077 | 3.066 | 2.828 | 0.1309 | 0.2438 | 1 | 1 | 0.1096 | 0.6385 | 1.283 | 0.1369 | 0.7979 | 1.603 | json |
| t12_x2_u4_b25 | 12 | 2 | 4 | 25 | ![]() |
cil(mlt(P,div(P,R))) | 21391 | 97528843 | o1(o2(x,o2(x,x))) | true | 975 | 975 | -0.03437 | 0.4854 | 0.9427 | 0.9301 | 0.9644 | -1 | 1 | 2 | 1 | 1.723 | 0.086 | 0.1049 | 0.1163 | -0.09902 | 1 | -0.0001121 | 0.4683 | 0.2016 | 0.1775 | 0.4213 | 3.624 | 2.828 | 0.2052 | 0.5035 | 1 | 1 | 0.1944 | 0.8772 | 1.803 | 0.209 | 0.9431 | 1.938 | json |
| t12_x2_u4_b26 | 12 | 2 | 4 | 26 | ![]() |
cil(mlt(P,pow(P,R))) | 21392 | 97528844 | o1(o2(x,o2(x,x))) | true | 983 | 983 | -0.1016 | 0.4531 | 0.9922 | 0.9808 | 0.9903 | -1 | 1 | 2 | 1 | 1.12 | 0.01294 | 0.003616 | 0.0101 | 0.5632 | 1 | -1.765e-10 | 0.03388 | 0.01859 | 0.01646 | 0.1283 | 12.7 | 2.828 | 0.01688 | 0.03455 | 1 | 1 | 0.02269 | 0.09441 | 0.3825 | 0.02313 | 0.09626 | 0.39 | json |
| t12_x2_u4_b27 | 12 | 2 | 4 | 27 | ![]() |
cil(mlt(P,mod(P,R))) | 21393 | 97528845 | o1(o2(x,o2(x,x))) | true | 991 | 991 | 0.9375 | 1 | 0.9375 | 0.04507 | 0.2123 | 0.000291 | 1 | 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_x2_u4_b28 | 12 | 2 | 4 | 28 | ![]() |
cil(mlt(P,lrg(P,R))) | 21394 | 97528846 | o1(o2(x,o2(x,x))) | true | 999 | 999 | 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_x2_u4_b29 | 12 | 2 | 4 | 29 | ![]() |
cil(mlt(P,eql(P,R))) | 21395 | 97528847 | o1(o2(x,o2(x,x))) | true | 1007 | 1007 | 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_x2_u4_b30 | 12 | 2 | 4 | 30 | ![]() |
cil(mlt(P,min(P,R))) | 21396 | 97528848 | o1(o2(x,o2(x,x))) | true | 1015 | 1015 | 0.5405 | 0.8044 | 0.8228 | 0.4878 | 0.6984 | -1 | 1 | 2 | 1 | 2.622 | 0.009004 | 0.009279 | 0.05332 | -0.01507 | 1 | -0.00004281 | 0.009595 | 0.02613 | 0.01545 | 0.1243 | 2.331 | 1.436 | 0.03748 | 0.01967 | 1 | 1 | 0.02504 | 0.2341 | 0.5442 | 0.05134 | 0.48 | 1.116 | json |
| t12_x2_u4_b31 | 12 | 2 | 4 | 31 | ![]() |
cil(mlt(P,dot(P,R))) | 21397 | 97528849 | o1(o2(x,o2(x,x))) | true | 1023 | 1023 | 0.1514 | 0.5969 | 0.9013 | 0.8563 | 0.9254 | -1 | 1 | 2 | 1 | 2.132 | 0.0536 | 0.07066 | 0.1047 | -0.1373 | 1 | -0.000003183 | 0.2372 | 0.1402 | 0.1132 | 0.3365 | 3.214 | 2.828 | 0.1451 | 0.277 | 1 | 1 | 0.124 | 0.6868 | 1.376 | 0.1447 | 0.802 | 1.607 | json |
| t12_x2_u4_b32 | 12 | 2 | 4 | 32 | ![]() |
cil(mlt(P,dst(P,R))) | 21398 | 97528850 | o1(o2(x,o2(x,x))) | true | 1031 | 1031 | 0.00233 | 0.5 | 0.9635 | 0.9575 | 0.9785 | -1 | 1 | 2 | 1 | 1.449 | 0.001883 | 0.0000693 | 0.008279 | 0.929 | 1 | 2.962e-7 | 0.0009308 | 0.005287 | 0.001884 | 0.0434 | 5.242 | 0.4706 | 0.002039 | 0.0009722 | 1 | 1 | 0.004251 | 0.03809 | 0.2786 | 0.00444 | 0.03978 | 0.291 | json |
| t12_x2_u4_b33 | 12 | 2 | 4 | 33 | ![]() |
cil(div(P,add(P,R))) | 21399 | 97528851 | o1(o2(x,o2(x,x))) | true | 1039 | 1039 | 0.952 | 1 | 0.952 | 0.03636 | 0.1907 | 0.000291 | 1 | 0.9997 | 1 | 0.6293 | 0.001255 | 0.00007478 | 0.008177 | 0.8876 | 1 | -0.00001451 | 0.0004854 | 0.003616 | 0.001264 | 0.03555 | 4.348 | 0.4708 | 0.03658 | 0.01335 | 1 | 1 | 0.003047 | 0.0298 | 0.05744 | 0.08379 | 0.8195 | 1.58 | json |



































































































