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 | ||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| t14_x7_u3_b100 | 14 | 7 | 3 | 100 | ![]() |
flr(dot(sub(P,R),D)) | 53300 | 113971924 | o1(o2(o2(x,x),x)) | true | 85367 | 85367 | -0.5887 | 0.1305 | 0.6939 | 0.2555 | 0.5054 | -1 | 1 | 2 | 1 | 3.579 | 0.07742 | 0.07673 | 0.2627 | 0.004478 | 1 | 0.0008274 | 0.5613 | 0.4811 | 0.08514 | 0.2918 | 1.111 | 1.413 | 0.6034 | 2.197 | 1 | 1 | 0.1166 | 0.3774 | 0.1171 | 0.4564 | 1.477 | 0.4585 | json |
| t14_x7_u3_b101 | 14 | 7 | 3 | 101 | ![]() |
flr(dot(mlt(P,R),D)) | 53301 | 113971925 | o1(o2(o2(x,x),x)) | true | 85375 | 85375 | -0.3978 | 0.2261 | 0.6096 | 0.3602 | 0.6002 | -1 | 1 | 2 | 1 | 4.018 | 0.05331 | 0.0536 | 0.1915 | -0.002687 | 1 | -0.000533 | 0.3101 | 0.3066 | 0.07021 | 0.265 | 1.383 | 1.543 | 0.2968 | 0.861 | 1 | 1 | 0.1001 | 0.4488 | 0.5859 | 0.2778 | 1.246 | 1.627 | json |
| t14_x7_u3_b102 | 14 | 7 | 3 | 102 | ![]() |
flr(dot(div(P,R),D)) | 53302 | 113971926 | o1(o2(o2(x,x),x)) | true | 85383 | 85383 | -0.1123 | 0.4405 | 0.8916 | 0.8486 | 0.9212 | -1 | 1 | 2 | 1 | 2.417 | 0.1173 | 0.1147 | 0.2072 | 0.01089 | 1 | 0.000223 | 0.5475 | 0.3465 | 0.1891 | 0.4348 | 2.099 | 2.828 | 0.2734 | 0.6452 | 1 | 1 | 0.244 | 1.184 | 1.596 | 0.2875 | 1.395 | 1.881 | json |
| t14_x7_u3_b103 | 14 | 7 | 3 | 103 | ![]() |
flr(dot(pow(P,R),D)) | 53303 | 113971927 | o1(o2(o2(x,x),x)) | true | 85391 | 85391 | -0.8991 | 0.01364 | 0.9087 | 0.07302 | 0.2702 | -1 | 1 | 2 | 1 | 1.358 | 0.01061 | 0.009708 | 0.03923 | 0.04437 | 1 | 0.0001691 | 0.06275 | 0.06014 | 0.01878 | 0.137 | 3.493 | 2 | 0.2783 | 0.8594 | 1 | 1 | 0.01913 | 0.05793 | 0.06811 | 0.2619 | 0.7934 | 0.9328 | json |
| t14_x7_u3_b104 | 14 | 7 | 3 | 104 | ![]() |
flr(dot(mod(P,R),D)) | 53304 | 113971928 | o1(o2(o2(x,x),x)) | true | 85399 | 85399 | -0.5354 | 0 | 0.5354 | 0.1137 | 0.3372 | -1 | -0.000008663 | 1 | 1 | 3.814 | 0.03128 | 0.03306 | 0.1366 | -0.02775 | 1 | 0.000449 | 0.1883 | 0.1692 | 0.04569 | 0.2137 | 1.565 | 1.409 | 0.5657 | 1.655 | 1 | 1 | 0.06826 | 0.2297 | 0.1238 | 0.6002 | 2.019 | 1.088 | json |
| t14_x7_u3_b105 | 14 | 7 | 3 | 105 | ![]() |
flr(dot(lrg(P,R),D)) | 53305 | 113971929 | o1(o2(o2(x,x),x)) | true | 85407 | 85407 | -0.3908 | 0 | 0.3908 | 0.1424 | 0.3774 | -0.9997 | 0 | 0.9997 | 1 | 3.657 | 0.03106 | 0.03036 | 0.1078 | 0.01143 | 1 | 0.00007167 | 0.1803 | 0.1344 | 0.0498 | 0.2232 | 2.069 | 1.414 | 0.4312 | 1.266 | 1 | 1 | 0.06371 | 0.204 | 0.05391 | 0.4473 | 1.432 | 0.3785 | json |
| t14_x7_u3_b106 | 14 | 7 | 3 | 106 | ![]() |
flr(dot(eql(P,R),D)) | 53306 | 113971930 | o1(o2(o2(x,x),x)) | true | 85415 | 85415 | 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 |
| t14_x7_u3_b107 | 14 | 7 | 3 | 107 | ![]() |
flr(dot(min(P,R),D)) | 53307 | 113971931 | o1(o2(o2(x,x),x)) | true | 85423 | 85423 | -0.5511 | 0.08176 | 0.6052 | 0.203 | 0.4505 | -1 | 1 | 2 | 1 | 3.793 | 0.05402 | 0.05298 | 0.1972 | 0.00972 | 1 | 0.0002771 | 0.3213 | 0.3245 | 0.0681 | 0.261 | 1.323 | 1.414 | 0.5271 | 1.583 | 1 | 1 | 0.09023 | 0.2953 | 0.1604 | 0.4445 | 1.455 | 0.7903 | json |
| t14_x7_u3_b108 | 14 | 7 | 3 | 108 | ![]() |
flr(dot(dot(P,R),D)) | 53308 | 113971932 | o1(o2(o2(x,x),x)) | true | 85431 | 85431 | -0.2934 | 0.3153 | 0.6608 | 0.4935 | 0.7025 | -1 | 1 | 2 | 1 | 3.916 | 0.06618 | 0.06893 | 0.1979 | -0.02038 | 1 | -0.0005169 | 0.4984 | 0.3747 | 0.09592 | 0.3097 | 1.565 | 2.404 | 0.2738 | 1.01 | 1 | 1 | 0.1291 | 0.6196 | 0.8427 | 0.2617 | 1.256 | 1.707 | json |
| t14_x7_u3_b109 | 14 | 7 | 3 | 109 | ![]() |
flr(dot(dst(P,R),D)) | 53309 | 113971933 | o1(o2(o2(x,x),x)) | true | 85439 | 85439 | -0.3111 | 0.277 | 0.642 | 0.4428 | 0.6655 | -1 | 1 | 2 | 1 | 4.197 | 0.115 | 0.1152 | 0.342 | -0.0008508 | 1 | -0.0005887 | 0.9939 | 0.6955 | 0.1132 | 0.3364 | 0.9836 | 1.546 | 0.5196 | 2.244 | 1 | 1 | 0.1853 | 0.6698 | 0.1027 | 0.4184 | 1.512 | 0.2319 | json |
| t14_x7_u3_b110 | 14 | 7 | 3 | 110 | ![]() |
flr(dst(add(P,R),D)) | 53310 | 113971934 | o1(o2(o2(x,x),x)) | true | 85447 | 85447 | 0.9964 | 1 | 0.9964 | 0.002196 | 0.04686 | 0.0005821 | 1 | 0.9994 | 1 | 0.09515 | 0.0003562 | 0.0003594 | 0.001969 | -0.004588 | 1 | -2.253e-11 | 0.002046 | 0.00266 | 0.0007117 | 0.02668 | 13.55 | 1.212 | 0.3258 | 0.9315 | 1 | 1 | 0.001398 | 0.005841 | 0.007538 | 0.6366 | 2.659 | 3.432 | json |
| t14_x7_u3_b111 | 14 | 7 | 3 | 111 | ![]() |
flr(dst(sub(P,R),D)) | 53311 | 113971935 | o1(o2(o2(x,x),x)) | true | 85455 | 85455 | 0.9937 | 1 | 0.9937 | 0.004501 | 0.06709 | 0.0005821 | 1 | 0.9994 | 1 | 0.1302 | 0.0006225 | 0.0006399 | 0.002844 | -0.01378 | 1 | 0 | 0.003427 | 0.003787 | 0.001254 | 0.03541 | 12.45 | 1.413 | 0.2805 | 0.7615 | 1 | 1 | 0.00256 | 0.01102 | 0.01577 | 0.5687 | 2.448 | 3.504 | json |
| t14_x7_u3_b112 | 14 | 7 | 3 | 112 | ![]() |
flr(dst(mlt(P,R),D)) | 53312 | 113971936 | o1(o2(o2(x,x),x)) | true | 85463 | 85463 | 0.9082 | 0.9961 | 0.9082 | 0.06436 | 0.2537 | 0 | 1 | 1 | 1 | 1.092 | 0.004927 | 0.004144 | 0.02416 | 0.08631 | 1 | -0.0000277 | 0.02207 | 0.02765 | 0.008491 | 0.09214 | 3.813 | 1.409 | 0.141 | 0.3429 | 1 | 1 | 0.01564 | 0.07977 | 0.1508 | 0.243 | 1.239 | 2.342 | json |
| t14_x7_u3_b113 | 14 | 7 | 3 | 113 | ![]() |
flr(dst(div(P,R),D)) | 53313 | 113971937 | o1(o2(o2(x,x),x)) | true | 85471 | 85471 | 0.9988 | 1 | 0.9988 | 0.000842 | 0.02902 | 0.001164 | 1 | 0.9988 | 1 | 0.02949 | 0.00004963 | 0.0000611 | 0.0004808 | -0.1036 | 1 | 3.754e-12 | 0.00006122 | 0.0003631 | 0.0001104 | 0.01051 | 21.85 | 0.3517 | 0.1315 | 0.07271 | 1 | 1 | 0.000347 | 0.002549 | 0.003065 | 0.4121 | 3.027 | 3.64 | json |
| t14_x7_u3_b114 | 14 | 7 | 3 | 114 | ![]() |
flr(dst(pow(P,R),D)) | 53314 | 113971938 | o1(o2(o2(x,x),x)) | true | 85479 | 85479 | -0.9703 | 0.01563 | 0.9985 | 0.05664 | 0.238 | -1 | 1 | 2 | 1 | 0.138 | 0.006025 | 0.00708 | 0.00725 | -0.08049 | 1 | -6.007e-11 | 0.02784 | 0.01405 | 0.01305 | 0.1143 | 15.76 | 2.828 | 0.2314 | 0.4916 | 1 | 1 | 0.009066 | 0.04339 | 0.06758 | 0.1601 | 0.7661 | 1.193 | json |
| t14_x7_u3_b115 | 14 | 7 | 3 | 115 | ![]() |
flr(dst(mod(P,R),D)) | 53315 | 113971939 | o1(o2(o2(x,x),x)) | true | 85487 | 85487 | 0.08897 | 0.7817 | 0.08897 | 0.02744 | 0.1657 | 0 | 1 | 1 | 1 | 1.877 | 0.007773 | 0.007286 | 0.05462 | 0.03227 | 1 | -0.0002209 | 0.04806 | 0.07555 | 0.01208 | 0.1099 | 2.012 | 1.378 | 0.5487 | 1.751 | 1 | 1 | 0.01496 | 0.04423 | 0.04995 | 0.5453 | 1.612 | 1.82 | json |
| t14_x7_u3_b116 | 14 | 7 | 3 | 116 | ![]() |
flr(dst(lrg(P,R),D)) | 53316 | 113971940 | o1(o2(o2(x,x),x)) | true | 85495 | 85495 | 0.7718 | 0.9966 | 0.7718 | 0.1101 | 0.3319 | 0 | 1 | 1 | 1 | 2.581 | 0.00894 | 0.01012 | 0.05651 | -0.06166 | 1 | 0.00003013 | 0.04781 | 0.05951 | 0.01586 | 0.1259 | 2.229 | 1.26 | 0.173 | 0.4341 | 1 | 1 | 0.02184 | 0.1126 | 0.144 | 0.1983 | 1.022 | 1.307 | json |
| t14_x7_u3_b117 | 14 | 7 | 3 | 117 | ![]() |
flr(dst(eql(P,R),D)) | 53317 | 113971941 | o1(o2(o2(x,x),x)) | true | 85503 | 85503 | 0.002387 | 0.5469 | 0.002387 | 0.0000194 | 0.004405 | 0 | 0.01937 | 0.01937 | 1 | 0 | 0.00002643 | 0.00002643 | 0.004122 | 1.376e-7 | 0 | -0.00002229 | 0.0002509 | 0.008064 | 0.00003587 | 0.005989 | 1.453 | 0.02739 | 2.724 | 12.93 | 1 | 1 | 0.00004054 | 0.00003161 | 0 | 2.089 | 1.629 | 0 | json |
| t14_x7_u3_b118 | 14 | 7 | 3 | 118 | ![]() |
flr(dst(min(P,R),D)) | 53318 | 113971942 | o1(o2(o2(x,x),x)) | true | 85511 | 85511 | 0.822 | 0.9825 | 0.822 | 0.1139 | 0.3375 | 0 | 1 | 1 | 1 | 1.718 | 0.008651 | 0.008468 | 0.03809 | 0.01072 | 1 | 0.0000954 | 0.05002 | 0.05173 | 0.01567 | 0.1252 | 3.287 | 1.413 | 0.1503 | 0.4391 | 1 | 1 | 0.02223 | 0.08765 | 0.1391 | 0.1951 | 0.7694 | 1.221 | json |
| t14_x7_u3_b119 | 14 | 7 | 3 | 119 | ![]() |
flr(dst(dot(P,R),D)) | 53319 | 113971943 | o1(o2(o2(x,x),x)) | true | 85519 | 85519 | 0.9322 | 0.9996 | 0.9322 | 0.04804 | 0.2192 | 1.694e-7 | 1 | 1 | 1 | 0.8805 | 0.003087 | 0.003482 | 0.02031 | -0.06026 | 1 | -0.000091 | 0.01256 | 0.02011 | 0.006162 | 0.0785 | 3.865 | 1.413 | 0.1368 | 0.2614 | 1 | 1 | 0.01257 | 0.07606 | 0.1254 | 0.2616 | 1.583 | 2.61 | json |
| t14_x7_u3_b120 | 14 | 7 | 3 | 120 | ![]() |
flr(dst(dst(P,R),D)) | 53320 | 113971944 | o1(o2(o2(x,x),x)) | true | 85527 | 85527 | 0.9996 | 1 | 0.9996 | 0.0002762 | 0.01662 | 0.002328 | 1 | 0.9977 | 1 | 0.01002 | 0.0001046 | 0.00009489 | 0.0003126 | 0.04851 | 1 | -1.502e-11 | 0.0006194 | 0.0005107 | 0.0001993 | 0.01412 | 45.17 | 1.397 | 0.7221 | 2.242 | 1 | 1 | 0.0003865 | 0.001004 | 0.001004 | 1.399 | 3.634 | 3.634 | json |
| t14_x7_u4_b0 | 14 | 7 | 4 | 0 | ![]() |
cil(add(add(P,R),D)) | 53321 | 113972025 | o1(o2(o2(x,x),x)) | true | 85535 | 85535 | 0.06627 | 0.5292 | 0.9337 | 0.9156 | 0.9569 | -1 | 1 | 2 | 1 | 1.827 | 0.00507 | 0.00046 | 0.01546 | 0.8336 | 1 | -0.00002021 | 0.00952 | 0.01704 | 0.005294 | 0.07276 | 4.706 | 0.9994 | 0.00604 | 0.0104 | 1 | 1 | 0.008404 | 0.05105 | 0.2777 | 0.009178 | 0.05575 | 0.3033 | json |
| t14_x7_u4_b1 | 14 | 7 | 4 | 1 | ![]() |
cil(add(sub(P,R),D)) | 53322 | 113972026 | o1(o2(o2(x,x),x)) | true | 85543 | 85543 | 0.06013 | 0.5271 | 0.9384 | 0.921 | 0.9597 | -1 | 1 | 2 | 1 | 1.831 | 0.005091 | 0.0004392 | 0.01585 | 0.8412 | 1 | 0.00001917 | 0.009523 | 0.01784 | 0.005276 | 0.07264 | 4.582 | 0.9997 | 0.006005 | 0.01034 | 1 | 1 | 0.008 | 0.04829 | 0.2805 | 0.008687 | 0.05243 | 0.3046 | json |
| t14_x7_u4_b2 | 14 | 7 | 4 | 2 | ![]() |
cil(add(mlt(P,R),D)) | 53323 | 113972027 | o1(o2(o2(x,x),x)) | true | 85551 | 85551 | 0.1768 | 0.613 | 0.7617 | 0.668 | 0.8173 | -1 | 1 | 2 | 1 | 3.461 | 0.03365 | 0.01986 | 0.1147 | 0.2577 | 1 | -0.000005277 | 0.0571 | 0.09969 | 0.04035 | 0.2009 | 1.751 | 1.508 | 0.08011 | 0.08548 | 1 | 1 | 0.07102 | 0.479 | 0.9884 | 0.1063 | 0.7172 | 1.48 | json |
| t14_x7_u4_b3 | 14 | 7 | 4 | 3 | ![]() |
cil(add(div(P,R),D)) | 53324 | 113972028 | o1(o2(o2(x,x),x)) | true | 85559 | 85559 | 0.01924 | 0.5106 | 0.9386 | 0.9225 | 0.9605 | -1 | 1 | 2 | 1 | 1.857 | 0.07006 | 0.07966 | 0.1169 | -0.06414 | 1 | -0.00003306 | 0.2982 | 0.1734 | 0.1361 | 0.3689 | 3.156 | 2.828 | 0.1623 | 0.3233 | 1 | 1 | 0.1694 | 0.8422 | 1.858 | 0.1836 | 0.9129 | 2.014 | json |
| t14_x7_u4_b4 | 14 | 7 | 4 | 4 | ![]() |
cil(add(pow(P,R),D)) | 53325 | 113972029 | o1(o2(o2(x,x),x)) | true | 85567 | 85567 | -0.1031 | 0.4531 | 0.9906 | 0.976 | 0.9879 | -1 | 1 | 2 | 1 | 1.223 | 0.01772 | 0.006175 | 0.0169 | 0.4832 | 1 | 0.0001751 | 0.04928 | 0.02987 | 0.0236 | 0.1536 | 9.092 | 2.828 | 0.02449 | 0.0505 | 1 | 1 | 0.03153 | 0.1245 | 0.4413 | 0.03231 | 0.1276 | 0.4522 | json |
| t14_x7_u4_b5 | 14 | 7 | 4 | 5 | ![]() |
cil(add(mod(P,R),D)) | 53326 | 113972030 | o1(o2(o2(x,x),x)) | true | 85575 | 85575 | 0.5081 | 0.9344 | 0.5156 | 0.1482 | 0.3849 | -0.8606 | 1 | 1.861 | 1 | 3.776 | 0.04361 | 0.0009005 | 0.112 | 0.9595 | 1 | -0.0004757 | 0.08433 | 0.1265 | 0.03196 | 0.1788 | 1.597 | 0.9994 | 0.3004 | 0.5692 | 1 | 1 | 0.04823 | 0.166 | 0.1355 | 0.3255 | 1.121 | 0.9147 | json |
| t14_x7_u4_b6 | 14 | 7 | 4 | 6 | ![]() |
cil(add(lrg(P,R),D)) | 53327 | 113972031 | o1(o2(o2(x,x),x)) | true | 85583 | 85583 | 0.7676 | 1 | 0.7676 | 0.1271 | 0.3566 | 0.000291 | 1 | 0.9997 | 1 | 2.252 | 0.03195 | 0.00005267 | 0.05938 | 0.9967 | 1 | 0.0000927 | 0.05958 | 0.06598 | 0.02849 | 0.1688 | 2.842 | 0.9997 | 0.2517 | 0.4686 | 1 | 1 | 0.03326 | 0.1161 | 0.04032 | 0.2616 | 0.913 | 0.3171 | json |
| t14_x7_u4_b7 | 14 | 7 | 4 | 7 | ![]() |
cil(add(eql(P,R),D)) | 53328 | 113972032 | o1(o2(o2(x,x),x)) | true | 85591 | 85591 | 0.5 | 1 | 0.5 | 0.1418 | 0.3765 | 0.000291 | 0.9997 | 0.9994 | 1 | 3.406 | 0.06511 | 0 | 0.1228 | 1 | 1 | 0 | 0.1208 | 0.1337 | 0.05001 | 0.2236 | 1.821 | 0.9994 | 0.4593 | 0.8522 | 1 | 1 | 0.07073 | 0.2419 | 0 | 0.4989 | 1.706 | 0 | json |
| t14_x7_u4_b8 | 14 | 7 | 4 | 8 | ![]() |
cil(add(min(P,R),D)) | 53329 | 113972033 | o1(o2(o2(x,x),x)) | true | 85599 | 85599 | -0.2199 | 0.424 | 0.7007 | 0.5971 | 0.7727 | -1 | 1 | 2 | 1 | 3.257 | 0.02136 | 0.001568 | 0.06208 | 0.8633 | 1 | 0.0006601 | 0.04136 | 0.0681 | 0.01908 | 0.1381 | 2.225 | 1 | 0.03841 | 0.06927 | 1 | 1 | 0.02667 | 0.1252 | 0.3341 | 0.04466 | 0.2096 | 0.5596 | json |
| t14_x7_u4_b9 | 14 | 7 | 4 | 9 | ![]() |
cil(add(dot(P,R),D)) | 53330 | 113972034 | o1(o2(o2(x,x),x)) | true | 85607 | 85607 | 0.05138 | 0.5368 | 0.8588 | 0.8133 | 0.9018 | -1 | 1 | 2 | 1 | 2.794 | 0.03313 | 0.03289 | 0.112 | 0.00366 | 1 | 0.00001834 | 0.06542 | 0.09999 | 0.05346 | 0.2312 | 2.064 | 1.888 | 0.08117 | 0.08043 | 1 | 1 | 0.08512 | 0.5919 | 1.36 | 0.1047 | 0.7278 | 1.672 | json |
| t14_x7_u4_b10 | 14 | 7 | 4 | 10 | ![]() |
cil(add(dst(P,R),D)) | 53331 | 113972035 | o1(o2(o2(x,x),x)) | true | 85615 | 85615 | 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 |
| t14_x7_u4_b11 | 14 | 7 | 4 | 11 | ![]() |
cil(sub(add(P,R),D)) | 53332 | 113972036 | o1(o2(o2(x,x),x)) | true | 85623 | 85623 | 0.06596 | 0.5289 | 0.9319 | 0.9118 | 0.9549 | -1 | 1 | 2 | 1 | 1.887 | 0.005548 | 0.0004462 | 0.02022 | 0.8511 | 1 | -0.00002057 | 0.009759 | 0.01993 | 0.005584 | 0.07472 | 3.696 | 0.9986 | 0.006574 | 0.0107 | 1 | 1 | 0.009145 | 0.0522 | 0.271 | 0.01003 | 0.05724 | 0.2971 | json |
| t14_x7_u4_b12 | 14 | 7 | 4 | 12 | ![]() |
cil(sub(sub(P,R),D)) | 53333 | 113972037 | o1(o2(o2(x,x),x)) | true | 85631 | 85631 | 0.06107 | 0.5271 | 0.9411 | 0.9214 | 0.9599 | -1 | 1 | 2 | 1 | 1.863 | 0.005516 | 0.0004484 | 0.02067 | 0.8496 | 1 | 0.00001847 | 0.009317 | 0.02009 | 0.005537 | 0.07441 | 3.601 | 0.998 | 0.006473 | 0.01011 | 1 | 1 | 0.009116 | 0.05296 | 0.2804 | 0.009894 | 0.05748 | 0.3043 | json |
| t14_x7_u4_b13 | 14 | 7 | 4 | 13 | ![]() |
cil(sub(mlt(P,R),D)) | 53334 | 113972038 | o1(o2(o2(x,x),x)) | true | 85639 | 85639 | 0.1762 | 0.6211 | 0.7621 | 0.6683 | 0.8175 | -1 | 1 | 2 | 1 | 3.459 | 0.03354 | 0.01978 | 0.1152 | 0.258 | 1 | -0.0000938 | 0.0561 | 0.09848 | 0.04004 | 0.2001 | 1.737 | 1.473 | 0.07978 | 0.08395 | 1 | 1 | 0.07206 | 0.4828 | 1.004 | 0.1078 | 0.7224 | 1.502 | json |
| t14_x7_u4_b14 | 14 | 7 | 4 | 14 | ![]() |
cil(sub(div(P,R),D)) | 53335 | 113972039 | o1(o2(o2(x,x),x)) | true | 85647 | 85647 | 0.01707 | 0.5127 | 0.9393 | 0.9221 | 0.9603 | -1 | 1 | 2 | 1 | 1.891 | 0.0705 | 0.0798 | 0.1189 | -0.06185 | 1 | -0.00005251 | 0.2994 | 0.1745 | 0.1362 | 0.369 | 3.104 | 2.828 | 0.163 | 0.3247 | 1 | 1 | 0.1698 | 0.8498 | 1.868 | 0.1841 | 0.9216 | 2.026 | json |
| t14_x7_u4_b15 | 14 | 7 | 4 | 15 | ![]() |
cil(sub(pow(P,R),D)) | 53336 | 113972040 | o1(o2(o2(x,x),x)) | true | 85655 | 85655 | -0.1075 | 0.4531 | 0.9862 | 0.9698 | 0.9848 | -1 | 1 | 2 | 1 | 1.269 | 0.01473 | 0.004499 | 0.01574 | 0.5321 | 1 | 0.00001507 | 0.03921 | 0.02617 | 0.01898 | 0.1378 | 8.754 | 2.828 | 0.01983 | 0.04044 | 1 | 1 | 0.02512 | 0.1058 | 0.405 | 0.0259 | 0.1091 | 0.4176 | json |
| t14_x7_u4_b16 | 14 | 7 | 4 | 16 | ![]() |
cil(sub(mod(P,R),D)) | 53337 | 113972041 | o1(o2(o2(x,x),x)) | true | 85663 | 85663 | 0.5069 | 0.939 | 0.5145 | 0.1484 | 0.3852 | -0.8608 | 1 | 1.861 | 1 | 3.772 | 0.04206 | 0.0008252 | 0.1107 | 0.9615 | 1 | -0.000005577 | 0.08023 | 0.1219 | 0.03063 | 0.175 | 1.581 | 0.9991 | 0.289 | 0.5407 | 1 | 1 | 0.04717 | 0.1676 | 0.1204 | 0.3179 | 1.13 | 0.8115 | json |
| t14_x7_u4_b17 | 14 | 7 | 4 | 17 | ![]() |
cil(sub(lrg(P,R),D)) | 53338 | 113972042 | o1(o2(o2(x,x),x)) | true | 85671 | 85671 | 0.7467 | 1 | 0.7467 | 0.1346 | 0.3669 | 0.000291 | 1 | 0.9997 | 1 | 2.367 | 0.03261 | 0.00005178 | 0.06322 | 0.9968 | 1 | -0.00008869 | 0.05983 | 0.06781 | 0.02867 | 0.1693 | 2.678 | 0.9994 | 0.2426 | 0.4443 | 1 | 1 | 0.03483 | 0.1198 | 0.03706 | 0.2587 | 0.8897 | 0.2753 | json |
| t14_x7_u4_b18 | 14 | 7 | 4 | 18 | ![]() |
cil(sub(eql(P,R),D)) | 53339 | 113972043 | o1(o2(o2(x,x),x)) | true | 85679 | 85679 | 0.5 | 1 | 0.5 | 0.1418 | 0.3765 | 0.000291 | 0.9997 | 0.9994 | 1 | 3.406 | 0.06511 | 0 | 0.1228 | 1 | 1 | 0 | 0.1208 | 0.1337 | 0.05001 | 0.2236 | 1.821 | 0.9994 | 0.4593 | 0.8522 | 1 | 1 | 0.07073 | 0.2419 | 0 | 0.4989 | 1.706 | 0 | json |
| t14_x7_u4_b19 | 14 | 7 | 4 | 19 | ![]() |
cil(sub(min(P,R),D)) | 53340 | 113972044 | o1(o2(o2(x,x),x)) | true | 85687 | 85687 | -0.2131 | 0.4409 | 0.7027 | 0.5939 | 0.7706 | -1 | 1 | 2 | 1 | 3.456 | 0.02302 | 0.001568 | 0.07207 | 0.8725 | 1 | -7.308e-8 | 0.04235 | 0.07228 | 0.0194 | 0.1393 | 1.933 | 0.9997 | 0.04141 | 0.07132 | 1 | 1 | 0.02928 | 0.1372 | 0.3242 | 0.0493 | 0.231 | 0.5459 | json |
| t14_x7_u4_b20 | 14 | 7 | 4 | 20 | ![]() |
cil(sub(dot(P,R),D)) | 53341 | 113972045 | o1(o2(o2(x,x),x)) | true | 85695 | 85695 | 0.05008 | 0.5334 | 0.8596 | 0.8146 | 0.9026 | -1 | 1 | 2 | 1 | 2.79 | 0.03334 | 0.03296 | 0.1121 | 0.005721 | 1 | 0.00001439 | 0.06602 | 0.101 | 0.05375 | 0.2318 | 2.067 | 1.902 | 0.08138 | 0.08104 | 1 | 1 | 0.0849 | 0.5904 | 1.361 | 0.1042 | 0.7248 | 1.671 | json |
| t14_x7_u4_b21 | 14 | 7 | 4 | 21 | ![]() |
cil(sub(dst(P,R),D)) | 53342 | 113972046 | o1(o2(o2(x,x),x)) | true | 85703 | 85703 | 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 |
| t14_x7_u4_b22 | 14 | 7 | 4 | 22 | ![]() |
cil(mlt(add(P,R),D)) | 53343 | 113972047 | o1(o2(o2(x,x),x)) | true | 85711 | 85711 | 0.3288 | 0.7737 | 0.4846 | 0.269 | 0.5186 | -1 | 1 | 2 | 1 | 4.177 | 0.1299 | 0.0005201 | 0.2394 | 0.992 | 1 | 0.006569 | 0.2905 | 0.3711 | 0.07311 | 0.2704 | 1.13 | 1 | 0.4848 | 1.08 | 1 | 1 | 0.1067 | 0.3542 | 0.1306 | 0.3965 | 1.317 | 0.4854 | json |
| t14_x7_u4_b23 | 14 | 7 | 4 | 23 | ![]() |
cil(mlt(sub(P,R),D)) | 53344 | 113972048 | o1(o2(o2(x,x),x)) | true | 85719 | 85719 | 0.3254 | 0.7666 | 0.487 | 0.2745 | 0.5239 | -1 | 1 | 2 | 1 | 4.153 | 0.1303 | 0.0005127 | 0.2393 | 0.9922 | 1 | 0.006554 | 0.29 | 0.3705 | 0.07357 | 0.2712 | 1.134 | 1 | 0.4765 | 1.056 | 1 | 1 | 0.107 | 0.3606 | 0.1315 | 0.3899 | 1.314 | 0.479 | json |
| t14_x7_u4_b24 | 14 | 7 | 4 | 24 | ![]() |
cil(mlt(mlt(P,R),D)) | 53345 | 113972049 | o1(o2(o2(x,x),x)) | true | 85727 | 85727 | 0.4017 | 0.8006 | 0.5217 | 0.2624 | 0.5122 | -1 | 1 | 2 | 1 | 4.048 | 0.06597 | 0.004444 | 0.1451 | 0.8738 | 1 | 0.001244 | 0.1356 | 0.1898 | 0.04936 | 0.2222 | 1.532 | 1.011 | 0.2684 | 0.5166 | 1 | 1 | 0.06514 | 0.3078 | 0.4271 | 0.2483 | 1.173 | 1.628 | json |
| t14_x7_u4_b25 | 14 | 7 | 4 | 25 | ![]() |
cil(mlt(div(P,R),D)) | 53346 | 113972050 | o1(o2(o2(x,x),x)) | true | 85735 | 85735 | 0.1978 | 0.6163 | 0.7509 | 0.6608 | 0.8129 | -1 | 1 | 2 | 1 | 3.264 | 0.1304 | 0.02951 | 0.1933 | 0.631 | 1 | 0.0007763 | 0.2844 | 0.2788 | 0.1226 | 0.3502 | 1.812 | 2.828 | 0.2421 | 0.4305 | 1 | 1 | 0.1572 | 0.8562 | 1.22 | 0.2379 | 1.296 | 1.846 | json |
| t14_x7_u4_b26 | 14 | 7 | 4 | 26 | ![]() |
cil(mlt(pow(P,R),D)) | 53347 | 113972051 | o1(o2(o2(x,x),x)) | true | 85743 | 85743 | -0.3451 | 0.4124 | 0.7692 | 0.6031 | 0.7766 | -1 | 1 | 2 | 1 | 2.708 | 0.0458 | 0.0019 | 0.0749 | 0.9204 | 1 | 0.0002917 | 0.09169 | 0.09694 | 0.04209 | 0.2052 | 2.739 | 2.236 | 0.07909 | 0.152 | 1 | 1 | 0.05265 | 0.1809 | 0.2477 | 0.0873 | 0.2999 | 0.4107 | json |
| t14_x7_u4_b27 | 14 | 7 | 4 | 27 | ![]() |
cil(mlt(mod(P,R),D)) | 53348 | 113972052 | o1(o2(o2(x,x),x)) | true | 85751 | 85751 | 0.4375 | 0.875 | 0.4375 | 0.1514 | 0.3891 | 0 | 0.9997 | 0.9997 | 1 | 3.238 | 0.06044 | 0 | 0.1109 | 1 | 1 | -0.0001797 | 0.1126 | 0.1239 | 0.04813 | 0.2194 | 1.978 | 0.9997 | 0.3992 | 0.7441 | 1 | 1 | 0.06377 | 0.2221 | 0.06598 | 0.4212 | 1.467 | 0.4359 | json |
| t14_x7_u4_b28 | 14 | 7 | 4 | 28 | ![]() |
cil(mlt(lrg(P,R),D)) | 53349 | 113972053 | o1(o2(o2(x,x),x)) | true | 85759 | 85759 | 0.2363 | 0.4831 | 0.2363 | 0.1283 | 0.3582 | 0 | 0.9997 | 0.9997 | 1 | 2.277 | 0.03244 | 0.00005267 | 0.0604 | 0.9968 | 1 | -0.00008699 | 0.06047 | 0.06697 | 0.02885 | 0.1699 | 2.812 | 0.9997 | 0.2533 | 0.4714 | 1 | 1 | 0.03637 | 0.1279 | 0.04032 | 0.2835 | 0.9974 | 0.3144 | json |
| t14_x7_u4_b29 | 14 | 7 | 4 | 29 | ![]() |
cil(mlt(eql(P,R),D)) | 53350 | 113972054 | o1(o2(o2(x,x),x)) | true | 85767 | 85767 | 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 |
| t14_x7_u4_b30 | 14 | 7 | 4 | 30 | ![]() |
cil(mlt(min(P,R),D)) | 53351 | 113972055 | o1(o2(o2(x,x),x)) | true | 85775 | 85775 | 0.4007 | 0.8535 | 0.4769 | 0.2122 | 0.4606 | -0.8866 | 1 | 1.887 | 1 | 3.83 | 0.08499 | 0.001259 | 0.1672 | 0.9708 | 1 | 0.003338 | 0.1855 | 0.2374 | 0.0583 | 0.2415 | 1.444 | 1 | 0.4065 | 0.8744 | 1 | 1 | 0.07908 | 0.2832 | 0.1718 | 0.3727 | 1.335 | 0.8097 | json |
| t14_x7_u4_b31 | 14 | 7 | 4 | 31 | ![]() |
cil(mlt(dot(P,R),D)) | 53352 | 113972056 | o1(o2(o2(x,x),x)) | true | 85783 | 85783 | 0.3974 | 0.7675 | 0.6032 | 0.3532 | 0.5943 | -1 | 1 | 2 | 1 | 4.035 | 0.08163 | 0.007126 | 0.1736 | 0.8394 | 1 | 0.0011 | 0.1702 | 0.2402 | 0.05859 | 0.242 | 1.394 | 1.038 | 0.2513 | 0.482 | 1 | 1 | 0.08279 | 0.4223 | 0.6282 | 0.2344 | 1.196 | 1.779 | json |
| t14_x7_u4_b32 | 14 | 7 | 4 | 32 | ![]() |
cil(mlt(dst(P,R),D)) | 53353 | 113972057 | o1(o2(o2(x,x),x)) | true | 85791 | 85791 | 0.3937 | 0.7769 | 0.6073 | 0.3592 | 0.5993 | -1 | 1 | 2 | 1 | 3.886 | 0.1527 | 0.0004682 | 0.2615 | 0.9939 | 1 | 0.002555 | 0.333 | 0.4194 | 0.08475 | 0.2911 | 1.113 | 1.233 | 0.4263 | 0.9271 | 1 | 1 | 0.1206 | 0.4623 | 0.07859 | 0.3358 | 1.287 | 0.2188 | json |
| t14_x7_u4_b33 | 14 | 7 | 4 | 33 | ![]() |
cil(div(add(P,R),D)) | 53354 | 113972058 | o1(o2(o2(x,x),x)) | true | 85799 | 85799 | -0.07279 | 0.4623 | 0.9651 | 0.9485 | 0.9739 | -1 | 1 | 2 | 1 | 1.601 | 0.4181 | 0.002298 | 0.2437 | 0.9891 | 1 | 0.000004927 | 0.7939 | 0.4369 | 0.3608 | 0.6007 | 2.464 | 2.828 | 0.4432 | 0.837 | 1 | 1 | 0.4344 | 1.796 | 0.4298 | 0.458 | 1.894 | 0.4532 | json |
| t14_x7_u4_b34 | 14 | 7 | 4 | 34 | ![]() |
cil(div(sub(P,R),D)) | 53355 | 113972059 | o1(o2(o2(x,x),x)) | true | 85807 | 85807 | -0.07186 | 0.4642 | 0.9635 | 0.9472 | 0.9732 | -1 | 1 | 2 | 1 | 1.612 | 0.4192 | 0.002338 | 0.2441 | 0.9889 | 1 | 0.00001639 | 0.7998 | 0.4398 | 0.3618 | 0.6015 | 2.464 | 2.828 | 0.4451 | 0.8445 | 1 | 1 | 0.4357 | 1.795 | 0.4277 | 0.46 | 1.895 | 0.4516 | json |
| t14_x7_u4_b35 | 14 | 7 | 4 | 35 | ![]() |
cil(div(mlt(P,R),D)) | 53356 | 113972060 | o1(o2(o2(x,x),x)) | true | 85815 | 85815 | 0.05343 | 0.5289 | 0.8794 | 0.85 | 0.922 | -1 | 1 | 2 | 1 | 2.354 | 0.2836 | 0.06383 | 0.2314 | 0.6326 | 1 | -0.00004215 | 0.7066 | 0.3834 | 0.2939 | 0.5421 | 2.343 | 2.828 | 0.4087 | 0.8312 | 1 | 1 | 0.3674 | 1.506 | 1.509 | 0.4322 | 1.771 | 1.775 | json |
| t14_x7_u4_b36 | 14 | 7 | 4 | 36 | ![]() |
cil(div(div(P,R),D)) | 53357 | 113972061 | o1(o2(o2(x,x),x)) | true | 85823 | 85823 | 0.0095 | 0.501 | 0.9526 | 0.9441 | 0.9717 | -1 | 1 | 2 | 1 | 1.583 | 0.3244 | 0.1068 | 0.2317 | 0.5047 | 1 | 0.00004217 | 0.9788 | 0.4446 | 0.3773 | 0.6143 | 2.652 | 2.828 | 0.4567 | 1.037 | 1 | 1 | 0.4425 | 1.7 | 1.929 | 0.4687 | 1.8 | 2.043 | json |
| t14_x7_u4_b37 | 14 | 7 | 4 | 37 | ![]() |
cil(div(pow(P,R),D)) | 53358 | 113972062 | o1(o2(o2(x,x),x)) | true | 85831 | 85831 | -0.5173 | 0.2391 | 0.9518 | 0.6702 | 0.8187 | -1 | 1 | 2 | 1 | 1.509 | 0.1566 | 0.00274 | 0.1159 | 0.9656 | 1 | -0.0001747 | 0.2787 | 0.1772 | 0.1458 | 0.3819 | 3.296 | 2.124 | 0.2377 | 0.4158 | 1 | 1 | 0.1817 | 0.737 | 0.275 | 0.2711 | 1.1 | 0.4104 | json |
| t14_x7_u4_b38 | 14 | 7 | 4 | 38 | ![]() |
cil(div(mod(P,R),D)) | 53359 | 113972063 | o1(o2(o2(x,x),x)) | true | 85839 | 85839 | 0.244 | 0.6506 | 0.6264 | 0.4801 | 0.6929 | -1 | 1 | 2 | 1 | 3.897 | 0.2611 | 0.001458 | 0.2241 | 0.9889 | 1 | -0.001276 | 0.5355 | 0.3305 | 0.2123 | 0.4608 | 2.057 | 2.06 | 0.5468 | 1.115 | 1 | 1 | 0.2571 | 0.7287 | 0.2422 | 0.5355 | 1.518 | 0.5044 | json |
| t14_x7_u4_b39 | 14 | 7 | 4 | 39 | ![]() |
cil(div(lrg(P,R),D)) | 53360 | 113972064 | o1(o2(o2(x,x),x)) | true | 85847 | 85847 | -0.003941 | 0.2402 | 0.4812 | 0.4654 | 0.6822 | -1 | 1 | 2 | 1 | 2.083 | 0.1788 | 0.0004354 | 0.1271 | 0.9951 | 1 | 1.05e-7 | 0.316 | 0.2025 | 0.1632 | 0.4039 | 3.179 | 2.037 | 0.3851 | 0.679 | 1 | 1 | 0.2083 | 0.9375 | 0.1185 | 0.4475 | 2.015 | 0.2547 | json |
| t14_x7_u4_b40 | 14 | 7 | 4 | 40 | ![]() |
cil(div(eql(P,R),D)) | 53361 | 113972065 | o1(o2(o2(x,x),x)) | true | 85855 | 85855 | 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 |
| t14_x7_u4_b41 | 14 | 7 | 4 | 41 | ![]() |
cil(div(min(P,R),D)) | 53362 | 113972066 | o1(o2(o2(x,x),x)) | true | 85863 | 85863 | 0.04948 | 0.5294 | 0.8832 | 0.8455 | 0.9195 | -1 | 1 | 2 | 1 | 2.539 | 0.3521 | 0.01596 | 0.2442 | 0.9133 | 1 | -0.0002422 | 0.7291 | 0.4155 | 0.3084 | 0.5554 | 2.274 | 2.828 | 0.4353 | 0.8623 | 1 | 1 | 0.3834 | 1.531 | 0.7404 | 0.4534 | 1.81 | 0.8757 | json |
| t14_x7_u4_b42 | 14 | 7 | 4 | 42 | ![]() |
cil(div(dot(P,R),D)) | 53363 | 113972067 | o1(o2(o2(x,x),x)) | true | 85871 | 85871 | 0.04627 | 0.5252 | 0.9516 | 0.9336 | 0.9662 | -1 | 1 | 2 | 1 | 1.783 | 0.3182 | 0.07885 | 0.2418 | 0.6028 | 1 | 0.00005458 | 0.825 | 0.4238 | 0.3387 | 0.5819 | 2.407 | 2.828 | 0.4253 | 0.8837 | 1 | 1 | 0.4186 | 1.691 | 1.796 | 0.4484 | 1.811 | 1.923 | json |
| t14_x7_u4_b43 | 14 | 7 | 4 | 43 | ![]() |
cil(div(dst(P,R),D)) | 53364 | 113972068 | o1(o2(o2(x,x),x)) | true | 85879 | 85879 | 0.01257 | 0.5042 | 0.9865 | 0.9814 | 0.9907 | -1 | 1 | 2 | 1 | 1.282 | 0.4562 | 0.0002449 | 0.2463 | 0.9989 | 1 | 2.732e-7 | 0.8789 | 0.4655 | 0.3957 | 0.629 | 2.553 | 2.014 | 0.465 | 0.8956 | 1 | 1 | 0.4666 | 1.916 | 0.03678 | 0.4755 | 1.953 | 0.03748 | json |
| t14_x7_u4_b44 | 14 | 7 | 4 | 44 | ![]() |
cil(pow(add(P,R),D)) | 53365 | 113972069 | o1(o2(o2(x,x),x)) | true | 85887 | 85887 | -0.09375 | 0.4531 | 1 | 0.9905 | 0.9952 | -1 | 1 | 2 | 1 | 0.9937 | 0.01587 | 0.006047 | 0.0109 | 0.4483 | 1 | 0 | 0.04535 | 0.02192 | 0.0218 | 0.1477 | 13.54 | 2.828 | 0.02213 | 0.04579 | 1 | 1 | 0.02992 | 0.1197 | 0.4343 | 0.0302 | 0.1208 | 0.4385 | json |
| t14_x7_u4_b45 | 14 | 7 | 4 | 45 | ![]() |
cil(pow(sub(P,R),D)) | 53366 | 113972070 | o1(o2(o2(x,x),x)) | true | 85895 | 85895 | -0.07813 | 0.4609 | 1 | 0.9946 | 0.9973 | -1 | 1 | 2 | 1 | 0.9956 | 0.01587 | 0.003023 | 0.00943 | 0.68 | 1 | 0 | 0.03855 | 0.0189 | 0.0188 | 0.1371 | 14.54 | 2.828 | 0.019 | 0.03876 | 1 | 1 | 0.02637 | 0.1055 | 0.4069 | 0.02651 | 0.1061 | 0.4091 | json |
| t14_x7_u4_b46 | 14 | 7 | 4 | 46 | ![]() |
cil(pow(mlt(P,R),D)) | 53367 | 113972071 | o1(o2(o2(x,x),x)) | true | 85903 | 85903 | -0.8895 | 0.05859 | 0.9933 | 0.201 | 0.4483 | -1 | 1 | 2 | 1 | 0.386 | 0.02137 | 0.01724 | 0.02119 | 0.1069 | 1 | 0 | 0.08032 | 0.0408 | 0.03817 | 0.1954 | 9.22 | 2.828 | 0.1921 | 0.3997 | 1 | 1 | 0.03711 | 0.1587 | 0.4167 | 0.1847 | 0.7896 | 2.073 | json |
| t14_x7_u4_b47 | 14 | 7 | 4 | 47 | ![]() |
cil(pow(div(P,R),D)) | 53368 | 113972072 | o1(o2(o2(x,x),x)) | true | 85911 | 85911 | -0.8926 | 0.05859 | 0.9902 | 0.1915 | 0.4376 | -1 | 1 | 2 | 1 | 0.4241 | 0.02128 | 0.01647 | 0.02095 | 0.1274 | 1 | -3.567e-10 | 0.07876 | 0.04006 | 0.03731 | 0.1932 | 9.22 | 2.828 | 0.1971 | 0.4114 | 1 | 1 | 0.03634 | 0.1501 | 0.3964 | 0.1898 | 0.784 | 2.071 | json |
| t14_x7_u4_b48 | 14 | 7 | 4 | 48 | ![]() |
cil(pow(pow(P,R),D)) | 53369 | 113972073 | o1(o2(o2(x,x),x)) | true | 85919 | 85919 | -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 |
| t14_x7_u4_b49 | 14 | 7 | 4 | 49 | ![]() |
cil(pow(mod(P,R),D)) | 53370 | 113972074 | o1(o2(o2(x,x),x)) | true | 85927 | 85927 | -0.01399 | 0.5 | 0.986 | 0.983 | 0.9915 | -1 | 1 | 2 | 1 | 1.195 | 0.005378 | 0.00004279 | 0.008083 | 0.9842 | 1 | -5.626e-7 | 0.00861 | 0.01067 | 0.005353 | 0.07316 | 9.051 | 1.636 | 0.005514 | 0.008759 | 1 | 1 | 0.009114 | 0.06388 | 0.3184 | 0.009272 | 0.06498 | 0.3239 | json |
| t14_x7_u4_b50 | 14 | 7 | 4 | 50 | ![]() |
cil(pow(lrg(P,R),D)) | 53371 | 113972075 | o1(o2(o2(x,x),x)) | true | 85935 | 85935 | 0.04492 | 0.5352 | 0.9746 | 0.9669 | 0.9833 | -1 | 1 | 2 | 1 | 1.382 | 0.007765 | 0.004884 | 0.01173 | 0.2278 | 1 | 0.000002852 | 0.02588 | 0.01695 | 0.01251 | 0.1118 | 9.537 | 2.828 | 0.01308 | 0.02676 | 1 | 1 | 0.02037 | 0.09287 | 0.3952 | 0.02107 | 0.09605 | 0.4088 | json |
| t14_x7_u4_b51 | 14 | 7 | 4 | 51 | ![]() |
cil(pow(eql(P,R),D)) | 53372 | 113972076 | o1(o2(o2(x,x),x)) | true | 85943 | 85943 | -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 |
| t14_x7_u4_b52 | 14 | 7 | 4 | 52 | ![]() |
cil(pow(min(P,R),D)) | 53373 | 113972077 | o1(o2(o2(x,x),x)) | true | 85951 | 85951 | -0.9857 | 0.007813 | 0.9987 | 0.02677 | 0.1636 | -1 | 1 | 2 | 1 | 0.07695 | 0.002309 | 0.003228 | 0.003195 | -0.1659 | 1 | 0 | 0.01157 | 0.006046 | 0.005527 | 0.07434 | 23.27 | 2.828 | 0.2068 | 0.4322 | 1 | 1 | 0.000644 | 0.004508 | 0.0236 | 0.02405 | 0.1684 | 0.8815 | json |
| t14_x7_u4_b53 | 14 | 7 | 4 | 53 | ![]() |
cil(pow(dot(P,R),D)) | 53374 | 113972078 | o1(o2(o2(x,x),x)) | true | 85959 | 85959 | -0.9141 | 0.04297 | 1 | 0.1646 | 0.4057 | -1 | 1 | 2 | 1 | 0.2557 | 0.0189 | 0.01487 | 0.01679 | 0.1194 | 1 | 0 | 0.07105 | 0.03376 | 0.03347 | 0.1829 | 10.9 | 2.828 | 0.2052 | 0.4317 | 1 | 1 | 0.03939 | 0.1601 | 0.4317 | 0.2394 | 0.9726 | 2.623 | json |
| t14_x7_u4_b54 | 14 | 7 | 4 | 54 | ![]() |
cil(pow(dst(P,R),D)) | 53375 | 113972079 | o1(o2(o2(x,x),x)) | true | 85967 | 85967 | 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 |
| t14_x7_u4_b55 | 14 | 7 | 4 | 55 | ![]() |
cil(mod(add(P,R),D)) | 53376 | 113972080 | o1(o2(o2(x,x),x)) | true | 85975 | 85975 | 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 |
| t14_x7_u4_b56 | 14 | 7 | 4 | 56 | ![]() |
cil(mod(sub(P,R),D)) | 53377 | 113972081 | o1(o2(o2(x,x),x)) | true | 85983 | 85983 | 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 |
| t14_x7_u4_b57 | 14 | 7 | 4 | 57 | ![]() |
cil(mod(mlt(P,R),D)) | 53378 | 113972082 | o1(o2(o2(x,x),x)) | true | 85991 | 85991 | 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 |
| t14_x7_u4_b58 | 14 | 7 | 4 | 58 | ![]() |
cil(mod(div(P,R),D)) | 53379 | 113972083 | o1(o2(o2(x,x),x)) | true | 85999 | 85999 | 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 |
| t14_x7_u4_b59 | 14 | 7 | 4 | 59 | ![]() |
cil(mod(pow(P,R),D)) | 53380 | 113972084 | o1(o2(o2(x,x),x)) | true | 86007 | 86007 | -0.1064 | 0.4521 | 0.9873 | 0.9737 | 0.9867 | -1 | 1 | 2 | 1 | 1.151 | 0.00902 | 0.003332 | 0.012 | 0.4604 | 1 | 6.495e-10 | 0.01922 | 0.01631 | 0.0122 | 0.1105 | 9.204 | 2.227 | 0.01269 | 0.01974 | 1 | 1 | 0.02086 | 0.09009 | 0.3713 | 0.02143 | 0.09253 | 0.3814 | json |
| t14_x7_u4_b60 | 14 | 7 | 4 | 60 | ![]() |
cil(mod(mod(P,R),D)) | 53381 | 113972085 | o1(o2(o2(x,x),x)) | true | 86015 | 86015 | 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 |
| t14_x7_u4_b61 | 14 | 7 | 4 | 61 | ![]() |
cil(mod(lrg(P,R),D)) | 53382 | 113972086 | o1(o2(o2(x,x),x)) | true | 86023 | 86023 | 0.4409 | 0.541 | 0.4409 | 0.238 | 0.4879 | 0 | 1 | 1 | 1 | 1.392 | 0.05988 | 0.00008854 | 0.06462 | 0.997 | 1 | 0.000005004 | 0.1193 | 0.1209 | 0.05578 | 0.2362 | 3.655 | 0.9997 | 0.2519 | 0.5014 | 1 | 1 | 0.06401 | 0.07271 | 0.0769 | 0.2689 | 0.3055 | 0.3231 | json |
| t14_x7_u4_b62 | 14 | 7 | 4 | 62 | ![]() |
cil(mod(eql(P,R),D)) | 53383 | 113972087 | o1(o2(o2(x,x),x)) | true | 86031 | 86031 | 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 |
| t14_x7_u4_b63 | 14 | 7 | 4 | 63 | ![]() |
cil(mod(min(P,R),D)) | 53384 | 113972088 | o1(o2(o2(x,x),x)) | true | 86039 | 86039 | 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 |
| t14_x7_u4_b64 | 14 | 7 | 4 | 64 | ![]() |
cil(mod(dot(P,R),D)) | 53385 | 113972089 | o1(o2(o2(x,x),x)) | true | 86047 | 86047 | 0.4609 | 0.8924 | 0.4609 | 0.1544 | 0.3929 | 0 | 1 | 1 | 1 | 3.389 | 0.00193 | 0.002461 | 0.05112 | -0.121 | 1 | -0.00005134 | 0.0002525 | 0.01238 | 0.001778 | 0.04216 | 0.8248 | 0.1169 | 0.02844 | 0.001636 | 1 | 1 | 0.008784 | 0.1134 | 0.3094 | 0.0569 | 0.7347 | 2.004 | json |
| t14_x7_u4_b65 | 14 | 7 | 4 | 65 | ![]() |
cil(mod(dst(P,R),D)) | 53386 | 113972090 | o1(o2(o2(x,x),x)) | true | 86055 | 86055 | 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 |
| t14_x7_u4_b66 | 14 | 7 | 4 | 66 | ![]() |
cil(lrg(add(P,R),D)) | 53387 | 113972091 | o1(o2(o2(x,x),x)) | true | 86063 | 86063 | 0.5003 | 0.5816 | 0.5003 | 0.2343 | 0.4841 | 0 | 1 | 1 | 1 | 1.671 | 0.002233 | 0.0001593 | 0.01149 | 0.8669 | 1 | -0.000009138 | 0.003929 | 0.008823 | 0.00226 | 0.04754 | 4.138 | 0.97 | 0.01021 | 0.01677 | 1 | 1 | 0.003183 | 0.02133 | 0.08786 | 0.01358 | 0.09102 | 0.375 | json |
| t14_x7_u4_b67 | 14 | 7 | 4 | 67 | ![]() |
cil(lrg(sub(P,R),D)) | 53388 | 113972092 | o1(o2(o2(x,x),x)) | true | 86071 | 86071 | 0.4983 | 0.5748 | 0.4983 | 0.2332 | 0.4829 | 0 | 1 | 1 | 1 | 1.707 | 0.002579 | 0.0001747 | 0.01255 | 0.8731 | 1 | 0.000009607 | 0.004619 | 0.009851 | 0.002597 | 0.05096 | 4.059 | 0.9926 | 0.01181 | 0.01981 | 1 | 1 | 0.003607 | 0.02284 | 0.08805 | 0.01547 | 0.09794 | 0.3776 | json |
| t14_x7_u4_b68 | 14 | 7 | 4 | 68 | ![]() |
cil(lrg(mlt(P,R),D)) | 53389 | 113972093 | o1(o2(o2(x,x),x)) | true | 86079 | 86079 | 0.4754 | 0.9186 | 0.4754 | 0.1528 | 0.3909 | 0 | 1 | 1 | 1 | 3.441 | 0.01099 | 0.002231 | 0.06338 | 0.6627 | 1 | -0.00002577 | 0.01831 | 0.03708 | 0.009208 | 0.09596 | 1.514 | 0.9997 | 0.08656 | 0.1198 | 1 | 1 | 0.01993 | 0.134 | 0.2798 | 0.1305 | 0.8772 | 1.831 | json |
| t14_x7_u4_b69 | 14 | 7 | 4 | 69 | ![]() |
cil(lrg(div(P,R),D)) | 53390 | 113972094 | o1(o2(o2(x,x),x)) | true | 86087 | 86087 | 0.4746 | 0.9169 | 0.4746 | 0.1546 | 0.3932 | 0 | 1 | 1 | 1 | 3.412 | 0.006006 | 0.002332 | 0.05518 | 0.4407 | 1 | -0.00003637 | 0.008251 | 0.02036 | 0.005295 | 0.07277 | 1.319 | 1 | 0.05393 | 0.05336 | 1 | 1 | 0.01368 | 0.1227 | 0.2901 | 0.08844 | 0.7936 | 1.876 | json |
| t14_x7_u4_b70 | 14 | 7 | 4 | 70 | ![]() |
cil(lrg(pow(P,R),D)) | 53391 | 113972095 | o1(o2(o2(x,x),x)) | true | 86095 | 86095 | 0.9655 | 1 | 0.9655 | 0.0176 | 0.1327 | 0.000291 | 1 | 0.9997 | 1 | 0.7744 | 0.004992 | 0.0001529 | 0.01544 | 0.9405 | 1 | 0.00004772 | 0.009938 | 0.01697 | 0.004909 | 0.07007 | 4.537 | 0.9997 | 0.2923 | 0.5646 | 1 | 1 | 0.00478 | 0.0207 | 0.03186 | 0.2715 | 1.176 | 1.81 | json |
| t14_x7_u4_b71 | 14 | 7 | 4 | 71 | ![]() |
cil(lrg(mod(P,R),D)) | 53392 | 113972096 | o1(o2(o2(x,x),x)) | true | 86103 | 86103 | 0.5085 | 0.9556 | 0.5085 | 0.1408 | 0.3752 | 0 | 1 | 1 | 1 | 3.517 | 0.04116 | 0.0007393 | 0.1063 | 0.9647 | 1 | -0.000002245 | 0.07678 | 0.1106 | 0.03059 | 0.1749 | 1.645 | 0.9994 | 0.2976 | 0.5454 | 1 | 1 | 0.04662 | 0.176 | 0.1085 | 0.3312 | 1.25 | 0.771 | json |
| t14_x7_u4_b72 | 14 | 7 | 4 | 72 | ![]() |
cil(lrg(lrg(P,R),D)) | 53393 | 113972097 | o1(o2(o2(x,x),x)) | true | 86111 | 86111 | 0.7363 | 1 | 0.7363 | 0.136 | 0.3688 | 0.000291 | 1 | 0.9997 | 1 | 2.449 | 0.0323 | 0.00005267 | 0.06339 | 0.9967 | 1 | -0.00008699 | 0.05964 | 0.06691 | 0.02834 | 0.1683 | 2.656 | 0.9994 | 0.2379 | 0.4384 | 1 | 1 | 0.03415 | 0.1219 | 0.04032 | 0.251 | 0.8959 | 0.2964 | json |
| t14_x7_u4_b73 | 14 | 7 | 4 | 73 | ![]() |
cil(lrg(eql(P,R),D)) | 53394 | 113972098 | o1(o2(o2(x,x),x)) | true | 86119 | 86119 | 0.5 | 1 | 0.5 | 0.1418 | 0.3765 | 0.000291 | 0.9997 | 0.9994 | 1 | 3.406 | 0.06511 | 0 | 0.1228 | 1 | 1 | 0 | 0.1208 | 0.1337 | 0.05001 | 0.2236 | 1.821 | 0.9994 | 0.4593 | 0.8522 | 1 | 1 | 0.07073 | 0.2419 | 0 | 0.4989 | 1.706 | 0 | json |
| t14_x7_u4_b74 | 14 | 7 | 4 | 74 | ![]() |
cil(lrg(min(P,R),D)) | 53395 | 113972099 | o1(o2(o2(x,x),x)) | true | 86127 | 86127 | 0.2469 | 0.5142 | 0.2469 | 0.1272 | 0.3567 | 0 | 1 | 1 | 1 | 2.493 | 0.01188 | 0.001085 | 0.04609 | 0.8326 | 1 | 0.00003272 | 0.0221 | 0.03998 | 0.01085 | 0.1041 | 2.26 | 0.9997 | 0.1019 | 0.1737 | 1 | 1 | 0.01476 | 0.08296 | 0.1609 | 0.116 | 0.6521 | 1.265 | json |
| t14_x7_u4_b75 | 14 | 7 | 4 | 75 | ![]() |
cil(lrg(dot(P,R),D)) | 53396 | 113972100 | o1(o2(o2(x,x),x)) | true | 86135 | 86135 | 0.4573 | 0.8845 | 0.4573 | 0.1534 | 0.3916 | 0 | 1 | 1 | 1 | 3.402 | 0.007365 | 0.002418 | 0.05891 | 0.5056 | 1 | -0.00004818 | 0.01158 | 0.02889 | 0.006315 | 0.07947 | 1.349 | 0.9997 | 0.06378 | 0.07552 | 1 | 1 | 0.01626 | 0.1298 | 0.2998 | 0.106 | 0.8464 | 1.955 | json |
| t14_x7_u4_b76 | 14 | 7 | 4 | 76 | ![]() |
cil(lrg(dst(P,R),D)) | 53397 | 113972101 | o1(o2(o2(x,x),x)) | true | 86143 | 86143 | 0.9998 | 1 | 0.9998 | 0.00003538 | 0.005948 | 0.6718 | 1 | 0.3282 | 1 | 0.01396 | 0.00002646 | 5.189e-7 | 0.0001886 | 0.9615 | 0 | -3.004e-11 | 0.00005989 | 0.0002442 | 0.00002693 | 0.005189 | 27.52 | 0.3282 | 0.7625 | 1.693 | 1 | 1 | 0.00004291 | 0.00008782 | 0.0001286 | 1.213 | 2.482 | 3.636 | json |
| t14_x7_u4_b77 | 14 | 7 | 4 | 77 | ![]() |
cil(eql(add(P,R),D)) | 53398 | 113972102 | o1(o2(o2(x,x),x)) | true | 86151 | 86151 | 0.000082 | 0.0002441 | 0.000082 | 0.00004315 | 0.006569 | 0 | 0.6715 | 0.6715 | 1 | 0.003091 | 0.00006086 | 6.316e-7 | 0.000129 | 0.9795 | 0 | 2.395e-7 | 0.0001845 | 0.0002541 | 0.00006148 | 0.007841 | 60.78 | 0.6519 | 1.425 | 4.276 | 1 | 1 | 0 | 0 | 0.00003293 | 0 | 0 | 0.7631 | json |
| t14_x7_u4_b78 | 14 | 7 | 4 | 78 | ![]() |
cil(eql(sub(P,R),D)) | 53399 | 113972103 | o1(o2(o2(x,x),x)) | true | 86159 | 86159 | 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 |



































































































