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_b109 | 12 | 20 | 3 | 109 | ![]() |
flr(dot(R,dst(P,R))) | 36600 | 98255944 | o1(o2(x,o2(x,x))) | true | 122647 | 122647 | -0.08701 | 0.4557 | 0.8905 | 0.8493 | 0.9216 | -1 | 1 | 2 | 1 | 2.467 | 0.03934 | 0.04083 | 0.1101 | -0.01866 | 1 | 0.0001061 | 0.08569 | 0.09942 | 0.06807 | 0.2609 | 2.369 | 2.198 | 0.0944 | 0.1009 | 1 | 1 | 0.1078 | 0.7235 | 1.532 | 0.1269 | 0.8519 | 1.804 | json |
| t12_x20_u3_b110 | 12 | 20 | 3 | 110 | ![]() |
flr(dst(R,add(P,R))) | 36601 | 98255945 | o1(o2(x,o2(x,x))) | true | 122655 | 122655 | 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_x20_u3_b111 | 12 | 20 | 3 | 111 | ![]() |
flr(dst(R,sub(P,R))) | 36602 | 98255946 | o1(o2(x,o2(x,x))) | true | 122663 | 122663 | 0.9982 | 1 | 0.9982 | 0.001216 | 0.03487 | 0.001164 | 1 | 0.9988 | 1 | 0.04443 | 0.00003306 | 0.00007823 | 0.0005956 | -0.4058 | 1 | 3.754e-12 | 0.00004909 | 0.0003628 | 0.000111 | 0.01054 | 17.69 | 0.3083 | 0.09155 | 0.04038 | 1 | 1 | 0.0003547 | 0.00298 | 0.004431 | 0.2918 | 2.451 | 3.645 | json |
| t12_x20_u3_b112 | 12 | 20 | 3 | 112 | ![]() |
flr(dst(R,mlt(P,R))) | 36603 | 98255947 | o1(o2(x,o2(x,x))) | true | 122671 | 122671 | 0.9209 | 0.9871 | 0.9209 | 0.05601 | 0.2367 | 0 | 1 | 1 | 1 | 0.9927 | 0.0009131 | 0.001075 | 0.01343 | -0.08156 | 1 | -0.00001323 | 0.0006724 | 0.006161 | 0.001809 | 0.04253 | 3.167 | 0.4437 | 0.0355 | 0.012 | 1 | 1 | 0.004968 | 0.05067 | 0.1239 | 0.0887 | 0.9046 | 2.212 | json |
| t12_x20_u3_b113 | 12 | 20 | 3 | 113 | ![]() |
flr(dst(R,div(P,R))) | 36604 | 98255948 | o1(o2(x,o2(x,x))) | true | 122679 | 122679 | 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_b114 | 12 | 20 | 3 | 114 | ![]() |
flr(dst(R,pow(P,R))) | 36605 | 98255949 | o1(o2(x,o2(x,x))) | true | 122687 | 122687 | -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_x20_u3_b115 | 12 | 20 | 3 | 115 | ![]() |
flr(dst(R,mod(P,R))) | 36606 | 98255950 | o1(o2(x,o2(x,x))) | true | 122695 | 122695 | 0.5402 | 0.9368 | 0.5402 | 0.1611 | 0.4013 | 0 | 1 | 1 | 1 | 3.293 | 0.00199 | 0.002233 | 0.04815 | -0.05752 | 1 | 0.00002193 | 0.0002784 | 0.01188 | 0.001905 | 0.04365 | 0.9065 | 0.2265 | 0.02622 | 0.001729 | 1 | 1 | 0.00829 | 0.1063 | 0.3257 | 0.05147 | 0.6599 | 2.022 | json |
| t12_x20_u3_b116 | 12 | 20 | 3 | 116 | ![]() |
flr(dst(R,lrg(P,R))) | 36607 | 98255951 | o1(o2(x,o2(x,x))) | true | 122703 | 122703 | 0.9042 | 0.9955 | 0.9042 | 0.05907 | 0.243 | 0 | 1 | 1 | 1 | 1.355 | 0.001063 | 0.001067 | 0.01863 | -0.001732 | 1 | -0.0000181 | 0.0003966 | 0.006482 | 0.001782 | 0.04221 | 2.266 | 0.2278 | 0.03606 | 0.006714 | 1 | 1 | 0.003954 | 0.04362 | 0.1115 | 0.06694 | 0.7385 | 1.887 | json |
| t12_x20_u3_b117 | 12 | 20 | 3 | 117 | ![]() |
flr(dst(R,eql(P,R))) | 36608 | 98255952 | o1(o2(x,o2(x,x))) | true | 122711 | 122711 | 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_x20_u3_b118 | 12 | 20 | 3 | 118 | ![]() |
flr(dst(R,min(P,R))) | 36609 | 98255953 | o1(o2(x,o2(x,x))) | true | 122719 | 122719 | 0.6897 | 0.733 | 0.6897 | 0.2053 | 0.4531 | 0 | 1 | 1 | 1 | 1.299 | 0.0002321 | 0.0003358 | 0.005513 | -0.1825 | 1 | -0.000005705 | 0.00007395 | 0.001603 | 0.0005376 | 0.02319 | 4.206 | 0.2307 | 0.002766 | 0.0003602 | 1 | 1 | 0.001555 | 0.01853 | 0.1003 | 0.007574 | 0.09023 | 0.4887 | json |
| t12_x20_u3_b119 | 12 | 20 | 3 | 119 | ![]() |
flr(dst(R,dot(P,R))) | 36610 | 98255954 | o1(o2(x,o2(x,x))) | true | 122727 | 122727 | 0.9648 | 1 | 0.9648 | 0.02444 | 0.1563 | 0.0002911 | 1 | 0.9997 | 1 | 0.5639 | 0.001202 | 0.00132 | 0.01112 | -0.0469 | 1 | -0.00008806 | 0.001558 | 0.007766 | 0.002397 | 0.04896 | 4.402 | 0.6109 | 0.1032 | 0.06375 | 1 | 1 | 0.005615 | 0.04239 | 0.07162 | 0.2298 | 1.735 | 2.931 | json |
| t12_x20_u3_b120 | 12 | 20 | 3 | 120 | ![]() |
flr(dst(R,dst(P,R))) | 36611 | 98255955 | o1(o2(x,o2(x,x))) | true | 122735 | 122735 | 0.9987 | 1 | 0.9987 | 0.0009451 | 0.03074 | 0.001164 | 1 | 0.9988 | 1 | 0.03296 | 0.00005884 | 0.00004901 | 0.0005088 | 0.09118 | 1 | 3.379e-11 | 0.00005257 | 0.0003442 | 0.0001077 | 0.01038 | 20.4 | 0.3575 | 0.1141 | 0.05563 | 1 | 1 | 0.0003429 | 0.002687 | 0.003441 | 0.3628 | 2.843 | 3.641 | json |
| t12_x20_u4_b0 | 12 | 20 | 4 | 0 | ![]() |
cil(add(R,add(P,R))) | 36612 | 98256036 | o1(o2(x,o2(x,x))) | true | 122743 | 122743 | 0.06494 | 0.5281 | 0.9412 | 0.9225 | 0.9604 | -1 | 1 | 2 | 1 | 1.82 | 0.002114 | 0.001376 | 0.01634 | 0.2114 | 1 | -0.00004179 | 0.0007862 | 0.006069 | 0.00322 | 0.05675 | 3.473 | 0.4531 | 0.003783 | 0.0008523 | 1 | 1 | 0.007995 | 0.08759 | 0.3426 | 0.008667 | 0.09496 | 0.3714 | json |
| t12_x20_u4_b1 | 12 | 20 | 4 | 1 | ![]() |
cil(add(R,sub(P,R))) | 36613 | 98256037 | o1(o2(x,o2(x,x))) | true | 122751 | 122751 | 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_x20_u4_b2 | 12 | 20 | 4 | 2 | ![]() |
cil(add(R,mlt(P,R))) | 36614 | 98256038 | o1(o2(x,o2(x,x))) | true | 122759 | 122759 | 0.1454 | 0.5939 | 0.7273 | 0.6453 | 0.8033 | -1 | 1 | 2 | 1 | 3.496 | 0.01706 | 0.01963 | 0.0931 | -0.07004 | 1 | -0.0001026 | 0.0205 | 0.04942 | 0.02803 | 0.1674 | 1.798 | 1.503 | 0.05686 | 0.03176 | 1 | 1 | 0.05112 | 0.4487 | 0.9597 | 0.07921 | 0.6953 | 1.487 | json |
| t12_x20_u4_b3 | 12 | 20 | 4 | 3 | ![]() |
cil(add(R,div(P,R))) | 36615 | 98256039 | o1(o2(x,o2(x,x))) | true | 122767 | 122767 | 0.02836 | 0.5228 | 0.9339 | 0.916 | 0.9571 | -1 | 1 | 2 | 1 | 1.915 | 0.06436 | 0.07943 | 0.1119 | -0.1048 | 1 | -0.00004474 | 0.2842 | 0.1614 | 0.1313 | 0.3624 | 3.238 | 2.828 | 0.157 | 0.3102 | 1 | 1 | 0.1626 | 0.8324 | 1.842 | 0.1775 | 0.9087 | 2.01 | json |
| t12_x20_u4_b4 | 12 | 20 | 4 | 4 | ![]() |
cil(add(R,pow(P,R))) | 36616 | 98256040 | o1(o2(x,o2(x,x))) | true | 122775 | 122775 | -0.15 | 0.4484 | 0.9438 | 0.9078 | 0.9528 | -1 | 1 | 2 | 1 | 1.682 | 0.01683 | 0.007168 | 0.02312 | 0.4025 | 1 | -0.00002682 | 0.04622 | 0.02842 | 0.02345 | 0.1531 | 6.624 | 2.828 | 0.02643 | 0.05091 | 1 | 1 | 0.03294 | 0.1465 | 0.4802 | 0.03628 | 0.1614 | 0.529 | json |
| t12_x20_u4_b5 | 12 | 20 | 4 | 5 | ![]() |
cil(add(R,mod(P,R))) | 36617 | 98256041 | o1(o2(x,o2(x,x))) | true | 122783 | 122783 | 0.4326 | 0.8458 | 0.5334 | 0.2499 | 0.4999 | -1 | 1 | 2 | 1 | 3.89 | 0.003082 | 0.003815 | 0.06137 | -0.1064 | 1 | -0.00002507 | 0.0006166 | 0.01619 | 0.003132 | 0.05596 | 0.912 | 0.2338 | 0.0276 | 0.002468 | 1 | 1 | 0.01276 | 0.1576 | 0.4265 | 0.05108 | 0.6306 | 1.707 | json |
| t12_x20_u4_b6 | 12 | 20 | 4 | 6 | ![]() |
cil(add(R,lrg(P,R))) | 36618 | 98256042 | o1(o2(x,o2(x,x))) | true | 122791 | 122791 | 0.7715 | 0.9593 | 0.7715 | 0.1331 | 0.3648 | 0 | 1 | 1 | 1 | 2.142 | 0.0008962 | 0.001126 | 0.02361 | -0.1136 | 1 | 0.00001213 | 0.0001138 | 0.005698 | 0.001464 | 0.03826 | 1.621 | 0.1169 | 0.0152 | 0.0008552 | 1 | 1 | 0.003921 | 0.05008 | 0.16 | 0.02947 | 0.3764 | 1.202 | json |
| t12_x20_u4_b7 | 12 | 20 | 4 | 7 | ![]() |
cil(add(R,eql(P,R))) | 36619 | 98256043 | o1(o2(x,o2(x,x))) | true | 122799 | 122799 | 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_u4_b8 | 12 | 20 | 4 | 8 | ![]() |
cil(add(R,min(P,R))) | 36620 | 98256044 | o1(o2(x,o2(x,x))) | true | 122807 | 122807 | -0.2888 | 0.3574 | 0.7658 | 0.6217 | 0.7885 | -1 | 1 | 2 | 1 | 3.343 | 0.004555 | 0.004636 | 0.05341 | -0.008771 | 1 | -0.00009077 | 0.001434 | 0.01598 | 0.006335 | 0.07959 | 1.49 | 0.3507 | 0.01478 | 0.002307 | 1 | 1 | 0.01811 | 0.212 | 0.5728 | 0.02912 | 0.341 | 0.9212 | json |
| t12_x20_u4_b9 | 12 | 20 | 4 | 9 | ![]() |
cil(add(R,dot(P,R))) | 36621 | 98256045 | o1(o2(x,o2(x,x))) | true | 122815 | 122815 | 0.04302 | 0.5327 | 0.8511 | 0.807 | 0.8983 | -1 | 1 | 2 | 1 | 2.828 | 0.02477 | 0.03207 | 0.1012 | -0.1285 | 1 | -0.000006287 | 0.04492 | 0.07347 | 0.04661 | 0.2159 | 2.134 | 1.965 | 0.07043 | 0.05566 | 1 | 1 | 0.07281 | 0.5645 | 1.354 | 0.09023 | 0.6995 | 1.678 | json |
| t12_x20_u4_b10 | 12 | 20 | 4 | 10 | ![]() |
cil(add(R,dst(P,R))) | 36622 | 98256046 | o1(o2(x,o2(x,x))) | true | 122823 | 122823 | 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_u4_b11 | 12 | 20 | 4 | 11 | ![]() |
cil(sub(R,add(P,R))) | 36623 | 98256047 | o1(o2(x,o2(x,x))) | true | 122831 | 122831 | 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_x20_u4_b12 | 12 | 20 | 4 | 12 | ![]() |
cil(sub(R,sub(P,R))) | 36624 | 98256048 | o1(o2(x,o2(x,x))) | true | 122839 | 122839 | 0.06905 | 0.5343 | 0.9397 | 0.9177 | 0.958 | -1 | 1 | 2 | 1 | 1.9 | 0.002311 | 0.00153 | 0.01878 | 0.2033 | 1 | -0.00003353 | 0.000804 | 0.0066 | 0.003487 | 0.05905 | 3.144 | 0.453 | 0.004185 | 0.0008761 | 1 | 1 | 0.009054 | 0.09938 | 0.3242 | 0.009866 | 0.1083 | 0.3533 | json |
| t12_x20_u4_b13 | 12 | 20 | 4 | 13 | ![]() |
cil(sub(R,mlt(P,R))) | 36625 | 98256049 | o1(o2(x,o2(x,x))) | true | 122847 | 122847 | 0.2581 | 0.6606 | 0.7433 | 0.6189 | 0.7867 | -1 | 1 | 2 | 1 | 3.36 | 0.01687 | 0.01867 | 0.08701 | -0.05085 | 1 | 0.00000879 | 0.02084 | 0.04832 | 0.02797 | 0.1672 | 1.922 | 1.403 | 0.05742 | 0.03367 | 1 | 1 | 0.04942 | 0.4195 | 1.001 | 0.07985 | 0.6779 | 1.617 | json |
| t12_x20_u4_b14 | 12 | 20 | 4 | 14 | ![]() |
cil(sub(R,div(P,R))) | 36626 | 98256050 | o1(o2(x,o2(x,x))) | true | 122855 | 122855 | 0.1173 | 0.5609 | 0.9313 | 0.9006 | 0.949 | -1 | 1 | 2 | 1 | 1.917 | 0.06494 | 0.08026 | 0.111 | -0.1055 | 1 | 6.391e-7 | 0.2909 | 0.1624 | 0.1328 | 0.3645 | 3.284 | 2.828 | 0.1612 | 0.323 | 1 | 1 | 0.1621 | 0.82 | 1.833 | 0.18 | 0.9105 | 2.036 | json |
| t12_x20_u4_b15 | 12 | 20 | 4 | 15 | ![]() |
cil(sub(R,pow(P,R))) | 36627 | 98256051 | o1(o2(x,o2(x,x))) | true | 122863 | 122863 | -0.8565 | 0.01151 | 0.87 | 0.1047 | 0.3236 | -1 | 0.9997 | 2 | 1 | 1.67 | 0.00703 | 0.004195 | 0.02655 | 0.2526 | 1 | 0.00005582 | 0.01895 | 0.01861 | 0.01052 | 0.1026 | 3.863 | 2 | 0.1072 | 0.181 | 1 | 1 | 0.01558 | 0.08825 | 0.2098 | 0.1488 | 0.8426 | 2.003 | json |
| t12_x20_u4_b16 | 12 | 20 | 4 | 16 | ![]() |
cil(sub(R,mod(P,R))) | 36628 | 98256052 | o1(o2(x,o2(x,x))) | true | 122871 | 122871 | 0.4354 | 0.8403 | 0.5352 | 0.2501 | 0.5001 | -1 | 1 | 2 | 1 | 3.88 | 0.003056 | 0.003973 | 0.06149 | -0.1305 | 1 | -0.00004223 | 0.000681 | 0.01646 | 0.003249 | 0.057 | 0.9269 | 0.2338 | 0.0281 | 0.002722 | 1 | 1 | 0.01404 | 0.173 | 0.4304 | 0.05613 | 0.6915 | 1.721 | json |
| t12_x20_u4_b17 | 12 | 20 | 4 | 17 | ![]() |
cil(sub(R,lrg(P,R))) | 36629 | 98256053 | o1(o2(x,o2(x,x))) | true | 122879 | 122879 | -0.02148 | 0.454 | 0.5395 | 0.4406 | 0.6637 | -1 | 1 | 2 | 1 | 4.449 | 0.002601 | 0.002763 | 0.05612 | -0.03018 | 1 | -0.00002351 | 0.0003111 | 0.01352 | 0.002215 | 0.04707 | 0.8387 | 0.2338 | 0.01218 | 0.0007061 | 1 | 1 | 0.01138 | 0.147 | 0.4308 | 0.02582 | 0.3337 | 0.9778 | json |
| t12_x20_u4_b18 | 12 | 20 | 4 | 18 | ![]() |
cil(sub(R,eql(P,R))) | 36630 | 98256054 | o1(o2(x,o2(x,x))) | true | 122887 | 122887 | 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_u4_b19 | 12 | 20 | 4 | 19 | ![]() |
cil(sub(R,min(P,R))) | 36631 | 98256055 | o1(o2(x,o2(x,x))) | true | 122895 | 122895 | 0.4995 | 0.5378 | 0.4995 | 0.2425 | 0.4925 | 0 | 1 | 1 | 1 | 1.361 | 0.000422 | 0.0001065 | 0.004885 | 0.597 | 1 | -0.000009986 | 0.00007474 | 0.001486 | 0.000505 | 0.02247 | 4.601 | 0.2265 | 0.002179 | 0.0003082 | 1 | 1 | 0.001364 | 0.01604 | 0.09008 | 0.005622 | 0.06612 | 0.3714 | json |
| t12_x20_u4_b20 | 12 | 20 | 4 | 20 | ![]() |
cil(sub(R,dot(P,R))) | 36632 | 98256056 | o1(o2(x,o2(x,x))) | true | 122903 | 122903 | 0.2365 | 0.6289 | 0.8504 | 0.7523 | 0.8673 | -1 | 1 | 2 | 1 | 2.772 | 0.02432 | 0.03277 | 0.1008 | -0.148 | 1 | -0.00003743 | 0.04527 | 0.07289 | 0.04693 | 0.2166 | 2.15 | 1.996 | 0.07588 | 0.06018 | 1 | 1 | 0.07177 | 0.5611 | 1.364 | 0.0954 | 0.7459 | 1.813 | json |
| t12_x20_u4_b21 | 12 | 20 | 4 | 21 | ![]() |
cil(sub(R,dst(P,R))) | 36633 | 98256057 | o1(o2(x,o2(x,x))) | true | 122911 | 122911 | -0.9829 | 0 | 0.9829 | 0.01248 | 0.1117 | -1 | -8.471e-8 | 1 | 1 | 0.2968 | 0.0002435 | 0.0002335 | 0.003303 | 0.02094 | 1 | 5.256e-11 | 0.0001492 | 0.001446 | 0.0004663 | 0.02159 | 6.537 | 0.3082 | 0.03821 | 0.01195 | 1 | 1 | 0.001564 | 0.01538 | 0.0385 | 0.1253 | 1.232 | 3.083 | json |
| t12_x20_u4_b22 | 12 | 20 | 4 | 22 | ![]() |
cil(mlt(R,add(P,R))) | 36634 | 98256058 | o1(o2(x,o2(x,x))) | true | 122919 | 122919 | 0.304 | 0.6848 | 0.7729 | 0.6234 | 0.7896 | -1 | 1 | 2 | 1 | 3.265 | 0.01525 | 0.01786 | 0.08551 | -0.07884 | 1 | -0.0001267 | 0.01841 | 0.04679 | 0.0258 | 0.1606 | 1.879 | 1.472 | 0.05311 | 0.02953 | 1 | 1 | 0.0445 | 0.379 | 0.8284 | 0.07138 | 0.6079 | 1.329 | json |
| t12_x20_u4_b23 | 12 | 20 | 4 | 23 | ![]() |
cil(mlt(R,sub(P,R))) | 36635 | 98256059 | o1(o2(x,o2(x,x))) | true | 122927 | 122927 | 0.05588 | 0.5449 | 0.7389 | 0.6687 | 0.8177 | -1 | 1 | 2 | 1 | 3.632 | 0.01702 | 0.02034 | 0.09843 | -0.08885 | 1 | -0.00006498 | 0.01964 | 0.05029 | 0.02766 | 0.1663 | 1.69 | 1.453 | 0.05586 | 0.02938 | 1 | 1 | 0.05358 | 0.4777 | 1.109 | 0.08012 | 0.7144 | 1.658 | json |
| t12_x20_u4_b24 | 12 | 20 | 4 | 24 | ![]() |
cil(mlt(R,mlt(P,R))) | 36636 | 98256060 | o1(o2(x,o2(x,x))) | true | 122935 | 122935 | 0.2271 | 0.5 | 0.7104 | 0.627 | 0.7918 | -1 | 1 | 2 | 1 | 2.824 | 0.001706 | 0.001732 | 0.02396 | -0.00747 | 1 | 0.0001279 | 0.001103 | 0.009836 | 0.002865 | 0.05352 | 2.234 | 0.4135 | 0.005483 | 0.00176 | 1 | 1 | 0.00506 | 0.05544 | 0.1927 | 0.00807 | 0.08841 | 0.3074 | json |
| t12_x20_u4_b25 | 12 | 20 | 4 | 25 | ![]() |
cil(mlt(R,div(P,R))) | 36637 | 98256061 | o1(o2(x,o2(x,x))) | true | 122943 | 122943 | 0.02046 | 0.5 | 0.917 | 0.9029 | 0.9502 | -1 | 1 | 2 | 1 | 1.932 | 0.0007562 | 0.0001058 | 0.008805 | 0.7545 | 1 | -0.000003562 | 0.00008857 | 0.00237 | 0.0007844 | 0.02801 | 3.181 | 0.2265 | 0.0009548 | 0.0000981 | 1 | 1 | 0.002232 | 0.02778 | 0.2142 | 0.002472 | 0.03077 | 0.2373 | json |
| t12_x20_u4_b26 | 12 | 20 | 4 | 26 | ![]() |
cil(mlt(R,pow(P,R))) | 36638 | 98256062 | o1(o2(x,o2(x,x))) | true | 122951 | 122951 | -0.3052 | 0.4148 | 0.7885 | 0.662 | 0.8136 | -1 | 1 | 2 | 1 | 2.383 | 0.01108 | 0.004314 | 0.03206 | 0.4394 | 1 | -0.00007016 | 0.02575 | 0.02519 | 0.01437 | 0.1199 | 3.739 | 2.828 | 0.02325 | 0.0389 | 1 | 1 | 0.02148 | 0.1228 | 0.3643 | 0.03244 | 0.1854 | 0.5502 | json |
| t12_x20_u4_b27 | 12 | 20 | 4 | 27 | ![]() |
cil(mlt(R,mod(P,R))) | 36639 | 98256063 | o1(o2(x,o2(x,x))) | true | 122959 | 122959 | 0.4434 | 0.8957 | 0.4434 | 0.1529 | 0.391 | 0 | 1 | 1 | 1 | 3.387 | 0.001991 | 0.002332 | 0.05065 | -0.07892 | 1 | -0.00003637 | 0.0002525 | 0.0123 | 0.001758 | 0.04193 | 0.8278 | 0.1169 | 0.02828 | 0.001651 | 1 | 1 | 0.008378 | 0.1079 | 0.2912 | 0.0548 | 0.7058 | 1.905 | json |
| t12_x20_u4_b28 | 12 | 20 | 4 | 28 | ![]() |
cil(mlt(R,lrg(P,R))) | 36640 | 98256064 | o1(o2(x,o2(x,x))) | true | 122967 | 122967 | 0.2148 | 0.455 | 0.2148 | 0.1181 | 0.3436 | 0 | 1 | 1 | 1 | 2.248 | 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_u4_b29 | 12 | 20 | 4 | 29 | ![]() |
cil(mlt(R,eql(P,R))) | 36641 | 98256065 | o1(o2(x,o2(x,x))) | true | 122975 | 122975 | 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_u4_b30 | 12 | 20 | 4 | 30 | ![]() |
cil(mlt(R,min(P,R))) | 36642 | 98256066 | o1(o2(x,o2(x,x))) | true | 122983 | 122983 | 0.5803 | 0.8116 | 0.8721 | 0.5026 | 0.7089 | -1 | 1 | 2 | 1 | 2.244 | 0.007927 | 0.01022 | 0.04686 | -0.1262 | 1 | -0.00003276 | 0.01003 | 0.02436 | 0.01595 | 0.1263 | 2.695 | 1.319 | 0.0361 | 0.01995 | 1 | 1 | 0.02655 | 0.2309 | 0.5156 | 0.05283 | 0.4595 | 1.026 | json |
| t12_x20_u4_b31 | 12 | 20 | 4 | 31 | ![]() |
cil(mlt(R,dot(P,R))) | 36643 | 98256067 | o1(o2(x,o2(x,x))) | true | 122991 | 122991 | 0.2455 | 0.6035 | 0.7637 | 0.6575 | 0.8109 | -1 | 1 | 2 | 1 | 3.123 | 0.007503 | 0.006876 | 0.05329 | 0.04362 | 1 | 0.00005013 | 0.00646 | 0.02648 | 0.01154 | 0.1074 | 2.016 | 1.233 | 0.02187 | 0.009825 | 1 | 1 | 0.01829 | 0.1789 | 0.4742 | 0.02781 | 0.272 | 0.7212 | json |
| t12_x20_u4_b32 | 12 | 20 | 4 | 32 | ![]() |
cil(mlt(R,dst(P,R))) | 36644 | 98256068 | o1(o2(x,o2(x,x))) | true | 122999 | 122999 | 0.1145 | 0.5662 | 0.8644 | 0.8101 | 0.9001 | -1 | 1 | 2 | 1 | 2.738 | 0.02589 | 0.03057 | 0.1011 | -0.08282 | 1 | 0.00004484 | 0.04318 | 0.07228 | 0.04626 | 0.2151 | 2.128 | 2 | 0.06969 | 0.0533 | 1 | 1 | 0.07628 | 0.5887 | 1.346 | 0.09416 | 0.7267 | 1.661 | json |
| t12_x20_u4_b33 | 12 | 20 | 4 | 33 | ![]() |
cil(div(R,add(P,R))) | 36645 | 98256069 | o1(o2(x,o2(x,x))) | true | 123007 | 123007 | 0.4503 | 0.8824 | 0.5217 | 0.2269 | 0.4763 | -1 | 1 | 2 | 1 | 3.636 | 0.003951 | 0.003987 | 0.0579 | -0.004566 | 1 | 0.000009092 | 0.001722 | 0.01684 | 0.004586 | 0.06772 | 1.17 | 0.7608 | 0.03499 | 0.007589 | 1 | 1 | 0.014 | 0.1599 | 0.4503 | 0.06172 | 0.705 | 1.985 | json |
| t12_x20_u4_b34 | 12 | 20 | 4 | 34 | ![]() |
cil(div(R,sub(P,R))) | 36646 | 98256070 | o1(o2(x,o2(x,x))) | true | 123015 | 123015 | 0.4452 | 0.8696 | 0.4812 | 0.1925 | 0.4388 | -0.9997 | 1 | 2 | 1 | 3.579 | 0.003954 | 0.003128 | 0.05571 | 0.1165 | 1 | -0.00009402 | 0.002316 | 0.017 | 0.003978 | 0.06307 | 1.132 | 1.854 | 0.03678 | 0.01203 | 1 | 1 | 0.01247 | 0.1433 | 0.363 | 0.06476 | 0.7441 | 1.885 | json |
| t12_x20_u4_b35 | 12 | 20 | 4 | 35 | ![]() |
cil(div(R,mlt(P,R))) | 36647 | 98256071 | o1(o2(x,o2(x,x))) | true | 123023 | 123023 | 0.293 | 0.4375 | 0.582 | 0.4911 | 0.7008 | -1 | 1 | 2 | 1 | 1.785 | 0.01743 | 0.00005267 | 0.01235 | 0.994 | 1 | -0.000002852 | 0.03447 | 0.01958 | 0.01731 | 0.1316 | 10.65 | 2 | 0.03559 | 0.07019 | 1 | 1 | 0.0237 | 0.1007 | 0.42 | 0.04827 | 0.2051 | 0.8552 | json |
| t12_x20_u4_b36 | 12 | 20 | 4 | 36 | ![]() |
cil(div(R,div(P,R))) | 36648 | 98256072 | o1(o2(x,o2(x,x))) | true | 123031 | 123031 | 0.3125 | 0.4375 | 0.5625 | 0.4648 | 0.6818 | -1 | 1 | 2 | 1 | 1.419 | 0.01984 | 0 | 0.0119 | 1 | 1 | 0 | 0.03968 | 0.02381 | 0.01969 | 0.1403 | 11.79 | 2 | 0.04268 | 0.08537 | 1 | 1 | 0.02632 | 0.1053 | 0.4211 | 0.05661 | 0.2264 | 0.9058 | json |
| t12_x20_u4_b37 | 12 | 20 | 4 | 37 | ![]() |
cil(div(R,pow(P,R))) | 36649 | 98256073 | o1(o2(x,o2(x,x))) | true | 123039 | 123039 | -0.4602 | 0.3123 | 0.8016 | 0.5414 | 0.7358 | -1 | 1 | 2 | 1 | 2.721 | 0.0105 | 0.005413 | 0.04553 | 0.3196 | 1 | 0.0000632 | 0.01968 | 0.02464 | 0.01384 | 0.1176 | 2.584 | 2.828 | 0.02939 | 0.03636 | 1 | 1 | 0.02278 | 0.1718 | 0.5013 | 0.04208 | 0.3173 | 0.9259 | json |
| t12_x20_u4_b38 | 12 | 20 | 4 | 38 | ![]() |
cil(div(R,mod(P,R))) | 36650 | 98256074 | o1(o2(x,o2(x,x))) | true | 123047 | 123047 | -0.05712 | 0.4669 | 0.9146 | 0.8813 | 0.9388 | -1 | 1 | 2 | 1 | 2.304 | 0.04143 | 0.03512 | 0.1014 | 0.08234 | 1 | -0.0001928 | 0.09493 | 0.09051 | 0.06625 | 0.2574 | 2.538 | 2.291 | 0.08687 | 0.1077 | 1 | 1 | 0.1062 | 0.6571 | 1.565 | 0.1206 | 0.7456 | 1.776 | json |
| t12_x20_u4_b39 | 12 | 20 | 4 | 39 | ![]() |
cil(div(R,lrg(P,R))) | 36651 | 98256075 | o1(o2(x,o2(x,x))) | true | 123055 | 123055 | -0.334 | 0.4216 | 0.7441 | 0.5854 | 0.7651 | -1 | 1 | 2 | 1 | 2.606 | 0.008531 | 0.002593 | 0.03128 | 0.5338 | 1 | -0.00002139 | 0.0185 | 0.01855 | 0.01015 | 0.1007 | 3.22 | 2.828 | 0.019 | 0.0316 | 1 | 1 | 0.0161 | 0.1014 | 0.3389 | 0.0275 | 0.1731 | 0.5788 | json |
| t12_x20_u4_b40 | 12 | 20 | 4 | 40 | ![]() |
cil(div(R,eql(P,R))) | 36652 | 98256076 | o1(o2(x,o2(x,x))) | true | 123063 | 123063 | -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_u4_b41 | 12 | 20 | 4 | 41 | ![]() |
cil(div(R,min(P,R))) | 36653 | 98256077 | o1(o2(x,o2(x,x))) | true | 123071 | 123071 | 0.6377 | 0.8955 | 0.7705 | 0.3228 | 0.5681 | -1 | 1 | 2 | 1 | 2.396 | 0.01745 | 0.008739 | 0.03521 | 0.3327 | 1 | -0.00001498 | 0.05033 | 0.03132 | 0.02495 | 0.158 | 4.487 | 2.828 | 0.08115 | 0.1559 | 1 | 1 | 0.04157 | 0.1984 | 0.5944 | 0.1288 | 0.6145 | 1.842 | json |
| t12_x20_u4_b42 | 12 | 20 | 4 | 42 | ![]() |
cil(div(R,dot(P,R))) | 36654 | 98256078 | o1(o2(x,o2(x,x))) | true | 123079 | 123079 | 0.4194 | 0.6812 | 0.5486 | 0.3194 | 0.5652 | -1 | 1 | 2 | 1 | 3.169 | 0.008143 | 0.00608 | 0.04459 | 0.145 | 1 | -0.000006546 | 0.01632 | 0.02213 | 0.01224 | 0.1106 | 2.481 | 2.828 | 0.04453 | 0.05109 | 1 | 1 | 0.03002 | 0.223 | 0.5515 | 0.09399 | 0.6982 | 1.727 | json |
| t12_x20_u4_b43 | 12 | 20 | 4 | 43 | ![]() |
cil(div(R,dst(P,R))) | 36655 | 98256079 | o1(o2(x,o2(x,x))) | true | 123087 | 123087 | 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_u4_b44 | 12 | 20 | 4 | 44 | ![]() |
cil(pow(R,add(P,R))) | 36656 | 98256080 | o1(o2(x,o2(x,x))) | true | 123095 | 123095 | -0.9141 | 0.04297 | 1 | 0.1645 | 0.4056 | -1 | 1 | 2 | 1 | 0.2557 | 0.01688 | 0.01638 | 0.01652 | 0.01515 | 1 | 0 | 0.06954 | 0.03326 | 0.03297 | 0.1816 | 10.99 | 2.828 | 0.2022 | 0.4228 | 1 | 1 | 0.02543 | 0.1095 | 0.2757 | 0.1546 | 0.6659 | 1.676 | json |
| t12_x20_u4_b45 | 12 | 20 | 4 | 45 | ![]() |
cil(pow(R,sub(P,R))) | 36657 | 98256081 | o1(o2(x,o2(x,x))) | true | 123103 | 123103 | -0.9141 | 0.04297 | 1 | 0.1645 | 0.4056 | -1 | 1 | 2 | 1 | 0.2557 | 0.01688 | 0.01638 | 0.01652 | 0.01515 | 1 | 0 | 0.06954 | 0.03326 | 0.03297 | 0.1816 | 10.99 | 2.828 | 0.2022 | 0.4228 | 1 | 1 | 0.02543 | 0.1095 | 0.2757 | 0.1546 | 0.6659 | 1.676 | json |
| t12_x20_u4_b46 | 12 | 20 | 4 | 46 | ![]() |
cil(pow(R,mlt(P,R))) | 36658 | 98256082 | o1(o2(x,o2(x,x))) | true | 123111 | 123111 | -0.8516 | 0.07422 | 1 | 0.2749 | 0.5243 | -1 | 1 | 2 | 1 | 0.3815 | 0.02494 | 0.02444 | 0.02454 | 0.0102 | 1 | 0 | 0.103 | 0.04938 | 0.04875 | 0.2208 | 8.996 | 2.828 | 0.1796 | 0.3748 | 1 | 1 | 0.0467 | 0.1946 | 0.6445 | 0.1699 | 0.7079 | 2.344 | json |
| t12_x20_u4_b47 | 12 | 20 | 4 | 47 | ![]() |
cil(pow(R,div(P,R))) | 36659 | 98256083 | o1(o2(x,o2(x,x))) | true | 123119 | 123119 | -0.8828 | 0.05859 | 1 | 0.2206 | 0.4697 | -1 | 1 | 2 | 1 | 0.3218 | 0.02016 | 0.02167 | 0.02078 | -0.03614 | 1 | 0 | 0.08743 | 0.04182 | 0.04142 | 0.2035 | 9.793 | 2.828 | 0.1896 | 0.3963 | 1 | 1 | 0.04161 | 0.1742 | 0.5354 | 0.1886 | 0.7899 | 2.427 | json |
| t12_x20_u4_b48 | 12 | 20 | 4 | 48 | ![]() |
cil(pow(R,pow(P,R))) | 36660 | 98256084 | o1(o2(x,o2(x,x))) | true | 123127 | 123127 | -0.9844 | 0.007813 | 1 | 0.03101 | 0.1761 | -1 | 1 | 2 | 1 | 0.06591 | 0.003023 | 0.003779 | 0.003383 | -0.1111 | 1 | 0 | 0.01436 | 0.006803 | 0.006791 | 0.08241 | 24.36 | 2.828 | 0.2194 | 0.4632 | 1 | 1 | 0.0008864 | 0.006205 | 0.02748 | 0.02859 | 0.2001 | 0.8863 | json |
| t12_x20_u4_b49 | 12 | 20 | 4 | 49 | ![]() |
cil(pow(R,mod(P,R))) | 36661 | 98256085 | o1(o2(x,o2(x,x))) | true | 123135 | 123135 | -0.8516 | 0.07422 | 1 | 0.2749 | 0.5243 | -1 | 1 | 2 | 1 | 0.3815 | 0.02494 | 0.02444 | 0.02454 | 0.0102 | 1 | 0 | 0.103 | 0.04938 | 0.04875 | 0.2208 | 8.996 | 2.828 | 0.1796 | 0.3748 | 1 | 1 | 0.0467 | 0.1946 | 0.6445 | 0.1699 | 0.7079 | 2.344 | json |
| t12_x20_u4_b50 | 12 | 20 | 4 | 50 | ![]() |
cil(pow(R,lrg(P,R))) | 36662 | 98256086 | o1(o2(x,o2(x,x))) | true | 123143 | 123143 | -0.07813 | 0.4609 | 1 | 0.9946 | 0.9973 | -1 | 1 | 2 | 1 | 0.9956 | 0.01688 | 0.009826 | 0.0133 | 0.2642 | 1 | 0 | 0.05543 | 0.02671 | 0.02652 | 0.1628 | 12.25 | 2.828 | 0.02685 | 0.05573 | 1 | 1 | 0.0308 | 0.1259 | 0.4618 | 0.03097 | 0.1266 | 0.4643 | json |
| t12_x20_u4_b51 | 12 | 20 | 4 | 51 | ![]() |
cil(pow(R,eql(P,R))) | 36663 | 98256087 | o1(o2(x,o2(x,x))) | true | 123151 | 123151 | 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_u4_b52 | 12 | 20 | 4 | 52 | ![]() |
cil(pow(R,min(P,R))) | 36664 | 98256088 | o1(o2(x,o2(x,x))) | true | 123159 | 123159 | -0.9141 | 0.04297 | 1 | 0.1645 | 0.4056 | -1 | 1 | 2 | 1 | 0.2557 | 0.01688 | 0.01638 | 0.01652 | 0.01515 | 1 | 0 | 0.06954 | 0.03326 | 0.03297 | 0.1816 | 10.99 | 2.828 | 0.2022 | 0.4228 | 1 | 1 | 0.02543 | 0.1095 | 0.2757 | 0.1546 | 0.6659 | 1.676 | json |
| t12_x20_u4_b53 | 12 | 20 | 4 | 53 | ![]() |
cil(pow(R,dot(P,R))) | 36665 | 98256089 | o1(o2(x,o2(x,x))) | true | 123167 | 123167 | -0.9141 | 0.04297 | 1 | 0.1645 | 0.4056 | -1 | 1 | 2 | 1 | 0.2557 | 0.01688 | 0.01638 | 0.01652 | 0.01515 | 1 | 0 | 0.06954 | 0.03326 | 0.03297 | 0.1816 | 10.99 | 2.828 | 0.2022 | 0.4228 | 1 | 1 | 0.02543 | 0.1095 | 0.2757 | 0.1546 | 0.6659 | 1.676 | json |
| t12_x20_u4_b54 | 12 | 20 | 4 | 54 | ![]() |
cil(pow(R,dst(P,R))) | 36666 | 98256090 | o1(o2(x,o2(x,x))) | true | 123175 | 123175 | -0.9141 | 0.04297 | 1 | 0.1645 | 0.4056 | -1 | 1 | 2 | 1 | 0.2557 | 0.01688 | 0.01638 | 0.01652 | 0.01515 | 1 | 0 | 0.06954 | 0.03326 | 0.03297 | 0.1816 | 10.99 | 2.828 | 0.2022 | 0.4228 | 1 | 1 | 0.02543 | 0.1095 | 0.2757 | 0.1546 | 0.6659 | 1.676 | json |
| t12_x20_u4_b55 | 12 | 20 | 4 | 55 | ![]() |
cil(mod(R,add(P,R))) | 36667 | 98256091 | o1(o2(x,o2(x,x))) | true | 123183 | 123183 | 0.4668 | 0.9093 | 0.4668 | 0.1534 | 0.3917 | 0 | 1 | 1 | 1 | 3.42 | 0.001992 | 0.002417 | 0.05163 | -0.09645 | 1 | -0.00001781 | 0.0002569 | 0.01253 | 0.001743 | 0.04175 | 0.8087 | 0.1169 | 0.02874 | 0.001675 | 1 | 1 | 0.008578 | 0.1105 | 0.2754 | 0.05592 | 0.7201 | 1.795 | json |
| t12_x20_u4_b56 | 12 | 20 | 4 | 56 | ![]() |
cil(mod(R,sub(P,R))) | 36668 | 98256092 | o1(o2(x,o2(x,x))) | true | 123191 | 123191 | 0.4668 | 0.9093 | 0.4668 | 0.1534 | 0.3917 | 0 | 1 | 1 | 1 | 3.42 | 0.001992 | 0.002417 | 0.05163 | -0.09645 | 1 | -0.00001781 | 0.0002569 | 0.01253 | 0.001743 | 0.04175 | 0.8087 | 0.1169 | 0.02874 | 0.001675 | 1 | 1 | 0.008578 | 0.1105 | 0.2754 | 0.05592 | 0.7201 | 1.795 | json |
| t12_x20_u4_b57 | 12 | 20 | 4 | 57 | ![]() |
cil(mod(R,mlt(P,R))) | 36669 | 98256093 | o1(o2(x,o2(x,x))) | true | 123199 | 123199 | 0.2695 | 0.7708 | 0.5195 | 0.3655 | 0.6046 | -1 | 1 | 2 | 1 | 3.496 | 0.01457 | 0.002089 | 0.05312 | 0.7492 | 1 | 0.000005006 | 0.02615 | 0.02993 | 0.01384 | 0.1176 | 2.215 | 2 | 0.04558 | 0.07153 | 1 | 1 | 0.02359 | 0.1547 | 0.5497 | 0.06453 | 0.4231 | 1.504 | json |
| t12_x20_u4_b58 | 12 | 20 | 4 | 58 | ![]() |
cil(mod(R,div(P,R))) | 36670 | 98256094 | o1(o2(x,o2(x,x))) | true | 123207 | 123207 | 0.293 | 0.7953 | 0.543 | 0.3734 | 0.6111 | -1 | 1 | 2 | 1 | 3.539 | 0.02346 | 0.002174 | 0.05751 | 0.8304 | 1 | -6.988e-7 | 0.04394 | 0.0363 | 0.02233 | 0.1494 | 2.598 | 2 | 0.06865 | 0.1177 | 1 | 1 | 0.0347 | 0.1958 | 0.5929 | 0.09291 | 0.5244 | 1.588 | json |
| t12_x20_u4_b59 | 12 | 20 | 4 | 59 | ![]() |
cil(mod(R,pow(P,R))) | 36671 | 98256095 | o1(o2(x,o2(x,x))) | true | 123215 | 123215 | -0.3672 | 0.3986 | 0.7578 | 0.5783 | 0.7605 | -1 | 1 | 2 | 1 | 2.518 | 0.01215 | 0.001118 | 0.03013 | 0.8314 | 1 | -0.00001853 | 0.02269 | 0.01873 | 0.01236 | 0.1112 | 3.69 | 2 | 0.02294 | 0.03923 | 1 | 1 | 0.01774 | 0.101 | 0.2938 | 0.03068 | 0.1747 | 0.508 | json |
| t12_x20_u4_b60 | 12 | 20 | 4 | 60 | ![]() |
cil(mod(R,mod(P,R))) | 36672 | 98256096 | o1(o2(x,o2(x,x))) | true | 123223 | 123223 | 0.293 | 0.7953 | 0.543 | 0.3734 | 0.6111 | -1 | 1 | 2 | 1 | 3.539 | 0.02346 | 0.002174 | 0.05751 | 0.8304 | 1 | -6.988e-7 | 0.04394 | 0.0363 | 0.02233 | 0.1494 | 2.598 | 2 | 0.06865 | 0.1177 | 1 | 1 | 0.0347 | 0.1958 | 0.5929 | 0.09291 | 0.5244 | 1.588 | json |
| t12_x20_u4_b61 | 12 | 20 | 4 | 61 | ![]() |
cil(mod(R,lrg(P,R))) | 36673 | 98256097 | o1(o2(x,o2(x,x))) | true | 123231 | 123231 | -0.334 | 0.4216 | 0.7441 | 0.5854 | 0.7651 | -1 | 1 | 2 | 1 | 2.606 | 0.008531 | 0.002593 | 0.03128 | 0.5338 | 1 | -0.00002139 | 0.0185 | 0.01855 | 0.01015 | 0.1007 | 3.22 | 2.828 | 0.019 | 0.0316 | 1 | 1 | 0.0161 | 0.1014 | 0.3389 | 0.0275 | 0.1731 | 0.5788 | json |
| t12_x20_u4_b62 | 12 | 20 | 4 | 62 | ![]() |
cil(mod(R,eql(P,R))) | 36674 | 98256098 | o1(o2(x,o2(x,x))) | true | 123239 | 123239 | -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_u4_b63 | 12 | 20 | 4 | 63 | ![]() |
cil(mod(R,min(P,R))) | 36675 | 98256099 | o1(o2(x,o2(x,x))) | true | 123247 | 123247 | 0.1953 | 0.5679 | 0.3516 | 0.2564 | 0.5063 | -1 | 1 | 2 | 1 | 2.865 | 0.01053 | 0.003684 | 0.03934 | 0.4817 | 1 | -0.000002126 | 0.02369 | 0.02401 | 0.01267 | 0.1125 | 2.861 | 2.828 | 0.05546 | 0.0924 | 1 | 1 | 0.02193 | 0.1341 | 0.4194 | 0.08553 | 0.5229 | 1.636 | json |
| t12_x20_u4_b64 | 12 | 20 | 4 | 64 | ![]() |
cil(mod(R,dot(P,R))) | 36676 | 98256100 | o1(o2(x,o2(x,x))) | true | 123255 | 123255 | 0.457 | 0.8991 | 0.4883 | 0.1855 | 0.4307 | -1 | 1 | 2 | 1 | 3.483 | 0.004339 | 0.005619 | 0.05389 | -0.1285 | 1 | -0.00001781 | 0.01205 | 0.01883 | 0.007056 | 0.084 | 1.559 | 2.828 | 0.05368 | 0.06494 | 1 | 1 | 0.01832 | 0.1457 | 0.4148 | 0.09876 | 0.7856 | 2.236 | json |
| t12_x20_u4_b65 | 12 | 20 | 4 | 65 | ![]() |
cil(mod(R,dst(P,R))) | 36677 | 98256101 | o1(o2(x,o2(x,x))) | true | 123263 | 123263 | 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_u4_b66 | 12 | 20 | 4 | 66 | ![]() |
cil(lrg(R,add(P,R))) | 36678 | 98256102 | o1(o2(x,o2(x,x))) | true | 123271 | 123271 | 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_u4_b67 | 12 | 20 | 4 | 67 | ![]() |
cil(lrg(R,sub(P,R))) | 36679 | 98256103 | o1(o2(x,o2(x,x))) | true | 123279 | 123279 | 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_u4_b68 | 12 | 20 | 4 | 68 | ![]() |
cil(lrg(R,mlt(P,R))) | 36680 | 98256104 | o1(o2(x,o2(x,x))) | true | 123287 | 123287 | 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_u4_b69 | 12 | 20 | 4 | 69 | ![]() |
cil(lrg(R,div(P,R))) | 36681 | 98256105 | o1(o2(x,o2(x,x))) | true | 123295 | 123295 | 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_u4_b70 | 12 | 20 | 4 | 70 | ![]() |
cil(lrg(R,pow(P,R))) | 36682 | 98256106 | o1(o2(x,o2(x,x))) | true | 123303 | 123303 | 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_u4_b71 | 12 | 20 | 4 | 71 | ![]() |
cil(lrg(R,mod(P,R))) | 36683 | 98256107 | o1(o2(x,o2(x,x))) | true | 123311 | 123311 | 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_u4_b72 | 12 | 20 | 4 | 72 | ![]() |
cil(lrg(R,lrg(P,R))) | 36684 | 98256108 | o1(o2(x,o2(x,x))) | true | 123319 | 123319 | 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_u4_b73 | 12 | 20 | 4 | 73 | ![]() |
cil(lrg(R,eql(P,R))) | 36685 | 98256109 | o1(o2(x,o2(x,x))) | true | 123327 | 123327 | 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_u4_b74 | 12 | 20 | 4 | 74 | ![]() |
cil(lrg(R,min(P,R))) | 36686 | 98256110 | o1(o2(x,o2(x,x))) | true | 123335 | 123335 | 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_u4_b75 | 12 | 20 | 4 | 75 | ![]() |
cil(lrg(R,dot(P,R))) | 36687 | 98256111 | o1(o2(x,o2(x,x))) | true | 123343 | 123343 | 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_u4_b76 | 12 | 20 | 4 | 76 | ![]() |
cil(lrg(R,dst(P,R))) | 36688 | 98256112 | o1(o2(x,o2(x,x))) | true | 123351 | 123351 | 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_u4_b77 | 12 | 20 | 4 | 77 | ![]() |
cil(eql(R,add(P,R))) | 36689 | 98256113 | o1(o2(x,o2(x,x))) | true | 123359 | 123359 | 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_u4_b78 | 12 | 20 | 4 | 78 | ![]() |
cil(eql(R,sub(P,R))) | 36690 | 98256114 | o1(o2(x,o2(x,x))) | true | 123367 | 123367 | 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_u4_b79 | 12 | 20 | 4 | 79 | ![]() |
cil(eql(R,mlt(P,R))) | 36691 | 98256115 | o1(o2(x,o2(x,x))) | true | 123375 | 123375 | 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_u4_b80 | 12 | 20 | 4 | 80 | ![]() |
cil(eql(R,div(P,R))) | 36692 | 98256116 | o1(o2(x,o2(x,x))) | true | 123383 | 123383 | 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_u4_b81 | 12 | 20 | 4 | 81 | ![]() |
cil(eql(R,pow(P,R))) | 36693 | 98256117 | o1(o2(x,o2(x,x))) | true | 123391 | 123391 | 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_u4_b82 | 12 | 20 | 4 | 82 | ![]() |
cil(eql(R,mod(P,R))) | 36694 | 98256118 | o1(o2(x,o2(x,x))) | true | 123399 | 123399 | 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_u4_b83 | 12 | 20 | 4 | 83 | ![]() |
cil(eql(R,lrg(P,R))) | 36695 | 98256119 | o1(o2(x,o2(x,x))) | true | 123407 | 123407 | 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_u4_b84 | 12 | 20 | 4 | 84 | ![]() |
cil(eql(R,eql(P,R))) | 36696 | 98256120 | o1(o2(x,o2(x,x))) | true | 123415 | 123415 | 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_u4_b85 | 12 | 20 | 4 | 85 | ![]() |
cil(eql(R,min(P,R))) | 36697 | 98256121 | o1(o2(x,o2(x,x))) | true | 123423 | 123423 | 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_u4_b86 | 12 | 20 | 4 | 86 | ![]() |
cil(eql(R,dot(P,R))) | 36698 | 98256122 | o1(o2(x,o2(x,x))) | true | 123431 | 123431 | 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_u4_b87 | 12 | 20 | 4 | 87 | ![]() |
cil(eql(R,dst(P,R))) | 36699 | 98256123 | o1(o2(x,o2(x,x))) | true | 123439 | 123439 | 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 |



































































































