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 | ||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| t13_x4_u17_b0 | 13 | 4 | 17 | 0 | ![]() |
frc(add(flr(D),D)) | 44400 | 105732834 | o1(o2(o1(x),x)) | true | 14167 | 14167 | 0.5 | 1 | 0.5 | 0.08301 | 0.2881 | 0.03125 | 0.9688 | 0.9375 | 1 | 4 | 0.05599 | 0 | 0.1146 | 1 | 1 | 0 | 0.119 | 0.119 | 0.04284 | 0.207 | 1.806 | 0.9375 | 0.6745 | 1.434 | 1 | 1 | 0.05321 | 0.125 | 0 | 0.641 | 1.506 | 0 | json |
| t13_x4_u17_b1 | 13 | 4 | 17 | 1 | ![]() |
frc(sub(flr(D),D)) | 44401 | 105732835 | o1(o2(o1(x),x)) | true | 14175 | 14175 | 0.5 | 1 | 0.5 | 0.08301 | 0.2881 | 0.03125 | 0.9688 | 0.9375 | 1 | 4 | 0.05599 | 0 | 0.1146 | 1 | 1 | 0 | 0.119 | 0.119 | 0.04284 | 0.207 | 1.806 | 0.9375 | 0.6745 | 1.434 | 1 | 1 | 0.05321 | 0.125 | 0 | 0.641 | 1.506 | 0 | json |
| t13_x4_u17_b2 | 13 | 4 | 17 | 2 | ![]() |
frc(mlt(flr(D),D)) | 44402 | 105732836 | o1(o2(o1(x),x)) | true | 14183 | 14183 | 0.143 | 1 | 0.143 | 0.009237 | 0.09611 | 0.000282 | 0.2729 | 0.2726 | 1 | 2.227 | 0.001451 | 0 | 0.03416 | 1 | 1 | -0.0003063 | 0.0002653 | 0.01361 | 0.0002853 | 0.01689 | 0.4945 | 0.06184 | 0.1571 | 0.02873 | 1 | 1 | 0.002788 | 0.01827 | 0 | 0.3018 | 1.978 | 0 | json |
| t13_x4_u17_b3 | 13 | 4 | 17 | 3 | ![]() |
frc(div(flr(D),D)) | 44403 | 105732837 | o1(o2(o1(x),x)) | true | 14191 | 14191 | 0.2475 | 0.875 | 0.2475 | 0.05843 | 0.2417 | 0 | 0.704 | 0.704 | 1 | 2.781 | 0.058 | 0 | 0.168 | 1 | 1 | 0.001067 | 0.1567 | 0.2766 | 0.02975 | 0.1725 | 1.026 | 0.6619 | 0.9926 | 2.682 | 1 | 1 | 0.03832 | 0.09054 | 0 | 0.6559 | 1.549 | 0 | json |
| t13_x4_u17_b4 | 13 | 4 | 17 | 4 | ![]() |
frc(pow(flr(D),D)) | 44404 | 105732838 | o1(o2(o1(x),x)) | true | 14199 | 14199 | -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 |
| t13_x4_u17_b5 | 13 | 4 | 17 | 5 | ![]() |
frc(mod(flr(D),D)) | 44405 | 105732839 | o1(o2(o1(x),x)) | true | 14207 | 14207 | 0.3591 | 0.9375 | 0.3591 | 0.1125 | 0.3354 | 0 | 0.9308 | 0.9308 | 1 | 2.727 | 0.06098 | 0 | 0.1161 | 1 | 1 | 0.00001019 | 0.118 | 0.1765 | 0.04752 | 0.218 | 1.878 | 0.9308 | 0.5422 | 1.049 | 1 | 1 | 0.06599 | 0.1855 | 0 | 0.5868 | 1.65 | 0 | json |
| t13_x4_u17_b6 | 13 | 4 | 17 | 6 | ![]() |
frc(lrg(flr(D),D)) | 44406 | 105732840 | o1(o2(o1(x),x)) | true | 14215 | 14215 | 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 |
| t13_x4_u17_b7 | 13 | 4 | 17 | 7 | ![]() |
frc(eql(flr(D),D)) | 44407 | 105732841 | o1(o2(o1(x),x)) | true | 14223 | 14223 | 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 |
| t13_x4_u17_b8 | 13 | 4 | 17 | 8 | ![]() |
frc(min(flr(D),D)) | 44408 | 105732842 | o1(o2(o1(x),x)) | true | 14231 | 14231 | 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 |
| t13_x4_u17_b9 | 13 | 4 | 17 | 9 | ![]() |
frc(dot(flr(D),D)) | 44409 | 105732843 | o1(o2(o1(x),x)) | true | 14239 | 14239 | 0.2647 | 1 | 0.2647 | 0.01666 | 0.1291 | 0.0005638 | 0.5458 | 0.5452 | 1 | 2.903 | 0.00268 | 0.00268 | 0.05355 | 0.000002215 | 1 | -0.0005328 | 0.0136 | 0.05065 | 0.002493 | 0.04993 | 0.9324 | 0.376 | 0.3218 | 0.8166 | 1 | 1 | 0.007178 | 0.03378 | 0 | 0.431 | 2.028 | 0 | json |
| t13_x4_u17_b10 | 13 | 4 | 17 | 10 | ![]() |
frc(dst(flr(D),D)) | 44410 | 105732844 | o1(o2(o1(x),x)) | true | 14247 | 14247 | 0.5578 | 1 | 0.5578 | 0.09423 | 0.307 | 0.008751 | 0.9971 | 0.9883 | 1 | 3.943 | 0.06512 | 0.06512 | 0.1862 | -7.437e-7 | 1 | -0.0007531 | 0.4483 | 0.3211 | 0.09556 | 0.3091 | 1.66 | 1.355 | 1.382 | 4.758 | 1 | 1 | 0.1206 | 0.267 | 0 | 1.279 | 2.834 | 0 | json |
| t13_x4_u18_b0 | 13 | 4 | 18 | 0 | ![]() |
frc(add(cil(D),D)) | 44411 | 105733035 | o1(o2(o1(x),x)) | true | 14255 | 14255 | 0.5 | 1 | 0.5 | 0.08301 | 0.2881 | 0.03125 | 0.9688 | 0.9375 | 1 | 4 | 0.05599 | 0 | 0.1146 | 1 | 1 | 0 | 0.119 | 0.119 | 0.04284 | 0.207 | 1.806 | 0.9375 | 0.6745 | 1.434 | 1 | 1 | 0.05321 | 0.125 | 0 | 0.641 | 1.506 | 0 | json |
| t13_x4_u18_b1 | 13 | 4 | 18 | 1 | ![]() |
frc(sub(cil(D),D)) | 44412 | 105733036 | o1(o2(o1(x),x)) | true | 14263 | 14263 | 0.5 | 1 | 0.5 | 0.08301 | 0.2881 | 0.03125 | 0.9688 | 0.9375 | 1 | 4 | 0.05599 | 0 | 0.1146 | 1 | 1 | 0 | 0.119 | 0.119 | 0.04284 | 0.207 | 1.806 | 0.9375 | 0.6745 | 1.434 | 1 | 1 | 0.05321 | 0.125 | 0 | 0.641 | 1.506 | 0 | json |
| t13_x4_u18_b2 | 13 | 4 | 18 | 2 | ![]() |
frc(mlt(cil(D),D)) | 44413 | 105733037 | o1(o2(o1(x),x)) | true | 14271 | 14271 | 0.143 | 1 | 0.143 | 0.009237 | 0.09611 | 0.000282 | 0.2729 | 0.2726 | 1 | 2.227 | 0.001439 | 0 | 0.034 | 1 | 1 | -0.0003063 | 0.0002653 | 0.01361 | 0.0002839 | 0.01685 | 0.4956 | 0.06184 | 0.1558 | 0.02873 | 1 | 1 | 0.002731 | 0.01827 | 0 | 0.2956 | 1.978 | 0 | json |
| t13_x4_u18_b3 | 13 | 4 | 18 | 3 | ![]() |
frc(div(cil(D),D)) | 44414 | 105733038 | o1(o2(o1(x),x)) | true | 14279 | 14279 | 0.2475 | 0.875 | 0.2475 | 0.05843 | 0.2417 | 0 | 0.704 | 0.704 | 1 | 2.781 | 0.0577 | 0 | 0.167 | 1 | 1 | 0.001067 | 0.1567 | 0.2766 | 0.02981 | 0.1727 | 1.034 | 0.6619 | 0.9875 | 2.682 | 1 | 1 | 0.03677 | 0.09054 | 0 | 0.6293 | 1.549 | 0 | json |
| t13_x4_u18_b4 | 13 | 4 | 18 | 4 | ![]() |
frc(pow(cil(D),D)) | 44415 | 105733039 | o1(o2(o1(x),x)) | true | 14287 | 14287 | -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 |
| t13_x4_u18_b5 | 13 | 4 | 18 | 5 | ![]() |
frc(mod(cil(D),D)) | 44416 | 105733040 | o1(o2(o1(x),x)) | true | 14295 | 14295 | 0.07839 | 0.875 | 0.07839 | 0.0053 | 0.0728 | 0 | 0.242 | 0.242 | 1 | 1.67 | 0.005119 | 0 | 0.05251 | 1 | 1 | -0.00001019 | 0.01277 | 0.07178 | 0.002362 | 0.0486 | 0.9256 | 0.1721 | 0.9659 | 2.409 | 1 | 1 | 0.003829 | 0.008813 | 0 | 0.7225 | 1.663 | 0 | json |
| t13_x4_u18_b6 | 13 | 4 | 18 | 6 | ![]() |
frc(lrg(cil(D),D)) | 44417 | 105733041 | o1(o2(o1(x),x)) | true | 14303 | 14303 | 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 |
| t13_x4_u18_b7 | 13 | 4 | 18 | 7 | ![]() |
frc(eql(cil(D),D)) | 44418 | 105733042 | o1(o2(o1(x),x)) | true | 14311 | 14311 | 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 |
| t13_x4_u18_b8 | 13 | 4 | 18 | 8 | ![]() |
frc(min(cil(D),D)) | 44419 | 105733043 | o1(o2(o1(x),x)) | true | 14319 | 14319 | 0.5 | 1 | 0.5 | 0.08301 | 0.2881 | 0.03125 | 0.9688 | 0.9375 | 1 | 4 | 0.05599 | 0 | 0.1146 | 1 | 1 | 0 | 0.119 | 0.119 | 0.04284 | 0.207 | 1.806 | 0.9375 | 0.6745 | 1.434 | 1 | 1 | 0.05321 | 0.125 | 0 | 0.641 | 1.506 | 0 | json |
| t13_x4_u18_b9 | 13 | 4 | 18 | 9 | ![]() |
frc(dot(cil(D),D)) | 44420 | 105733044 | o1(o2(o1(x),x)) | true | 14327 | 14327 | 0.2647 | 1 | 0.2647 | 0.01666 | 0.1291 | 0.0005638 | 0.5458 | 0.5452 | 1 | 2.903 | 0.002668 | 0.002668 | 0.05294 | 0.000002313 | 1 | -0.0005329 | 0.0136 | 0.05065 | 0.002534 | 0.05033 | 0.9508 | 0.3872 | 0.3204 | 0.8166 | 1 | 1 | 0.007065 | 0.03378 | 0 | 0.4242 | 2.028 | 0 | json |
| t13_x4_u18_b10 | 13 | 4 | 18 | 10 | ![]() |
frc(dst(cil(D),D)) | 44421 | 105733045 | o1(o2(o1(x),x)) | true | 14335 | 14335 | 0.5578 | 1 | 0.5578 | 0.09423 | 0.307 | 0.008751 | 0.9971 | 0.9883 | 1 | 3.943 | 0.06466 | 0.06466 | 0.1839 | 0.000001901 | 1 | -0.0007531 | 0.4483 | 0.3211 | 0.09551 | 0.309 | 1.68 | 1.361 | 1.372 | 4.758 | 1 | 1 | 0.1189 | 0.267 | 0 | 1.262 | 2.834 | 0 | json |
| t13_x4_u19_b0 | 13 | 4 | 19 | 0 | ![]() |
frc(add(sgn(D),D)) | 44422 | 105733236 | o1(o2(o1(x),x)) | true | 14343 | 14343 | 0.5 | 1 | 0.5 | 0.08301 | 0.2881 | 0.03125 | 0.9688 | 0.9375 | 1 | 4 | 0.05599 | 0 | 0.1146 | 1 | 1 | 0 | 0.119 | 0.119 | 0.04284 | 0.207 | 1.806 | 0.9375 | 0.6745 | 1.434 | 1 | 1 | 0.05321 | 0.125 | 0 | 0.641 | 1.506 | 0 | json |
| t13_x4_u19_b1 | 13 | 4 | 19 | 1 | ![]() |
frc(sub(sgn(D),D)) | 44423 | 105733237 | o1(o2(o1(x),x)) | true | 14351 | 14351 | 0.5 | 1 | 0.5 | 0.08301 | 0.2881 | 0.03125 | 0.9688 | 0.9375 | 1 | 4 | 0.05599 | 0 | 0.1146 | 1 | 1 | 0 | 0.119 | 0.119 | 0.04284 | 0.207 | 1.806 | 0.9375 | 0.6745 | 1.434 | 1 | 1 | 0.05321 | 0.125 | 0 | 0.641 | 1.506 | 0 | json |
| t13_x4_u19_b2 | 13 | 4 | 19 | 2 | ![]() |
frc(mlt(sgn(D),D)) | 44424 | 105733238 | o1(o2(o1(x),x)) | true | 14359 | 14359 | 0.286 | 1 | 0.286 | 0.02614 | 0.1617 | 0.03152 | 0.4963 | 0.4648 | 1 | 2.75 | 0.004148 | 0 | 0.05817 | 1 | 1 | -0.0006126 | 0.000805 | 0.02054 | 0.0007641 | 0.02764 | 0.4752 | 0.08329 | 0.1587 | 0.03079 | 1 | 1 | 0.007888 | 0.05127 | 0 | 0.3017 | 1.961 | 0 | json |
| t13_x4_u19_b3 | 13 | 4 | 19 | 3 | ![]() |
frc(div(sgn(D),D)) | 44425 | 105733239 | o1(o2(o1(x),x)) | true | 14367 | 14367 | 0.4951 | 0.875 | 0.4951 | 0.04967 | 0.2229 | 0.000009389 | 0.8222 | 0.8222 | 1 | 2.406 | 0.08608 | 0 | 0.2163 | 1 | 1 | 0.002135 | 0.2433 | 0.4146 | 0.03932 | 0.1983 | 0.9168 | 0.6626 | 1.733 | 4.897 | 1 | 1 | 0.05107 | 0.05137 | 0 | 1.028 | 1.034 | 0 | json |
| t13_x4_u19_b4 | 13 | 4 | 19 | 4 | ![]() |
frc(pow(sgn(D),D)) | 44426 | 105733240 | o1(o2(o1(x),x)) | true | 14375 | 14375 | -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 |
| t13_x4_u19_b5 | 13 | 4 | 19 | 5 | ![]() |
frc(mod(sgn(D),D)) | 44427 | 105733241 | o1(o2(o1(x),x)) | true | 14383 | 14383 | 0.4375 | 0.9375 | 0.4375 | 0.1064 | 0.3262 | 0.000009095 | 0.9315 | 0.9315 | 1 | 3.625 | 0.07092 | 0 | 0.1449 | 1 | 1 | 6.622e-9 | 0.1473 | 0.239 | 0.04993 | 0.2235 | 1.543 | 0.9315 | 0.6667 | 1.385 | 1 | 1 | 0.07118 | 0.1628 | 0 | 0.6691 | 1.53 | 0 | json |
| t13_x4_u19_b6 | 13 | 4 | 19 | 6 | ![]() |
frc(lrg(sgn(D),D)) | 44428 | 105733242 | o1(o2(o1(x),x)) | true | 14391 | 14391 | 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 |
| t13_x4_u19_b7 | 13 | 4 | 19 | 7 | ![]() |
frc(eql(sgn(D),D)) | 44429 | 105733243 | o1(o2(o1(x),x)) | true | 14399 | 14399 | 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 |
| t13_x4_u19_b8 | 13 | 4 | 19 | 8 | ![]() |
frc(min(sgn(D),D)) | 44430 | 105733244 | o1(o2(o1(x),x)) | true | 14407 | 14407 | 0.143 | 1 | 0.143 | 0.009237 | 0.09611 | 0.000282 | 0.2729 | 0.2726 | 1 | 2.227 | 0.001439 | 0 | 0.034 | 1 | 1 | -0.0003063 | 0.0002653 | 0.01361 | 0.0002839 | 0.01685 | 0.4956 | 0.06184 | 0.1558 | 0.02873 | 1 | 1 | 0.002731 | 0.01827 | 0 | 0.2956 | 1.978 | 0 | json |
| t13_x4_u19_b9 | 13 | 4 | 19 | 9 | ![]() |
frc(dot(sgn(D),D)) | 44431 | 105733245 | o1(o2(o1(x),x)) | true | 14415 | 14415 | 0.4864 | 1 | 0.4864 | 0.02653 | 0.1629 | 0.06246 | 0.6993 | 0.6368 | 1 | 3.152 | 0.008895 | 0.008896 | 0.1029 | -0.000005654 | 1 | -0.0009064 | 0.06715 | 0.1455 | 0.007213 | 0.08493 | 0.8256 | 0.4685 | 0.6705 | 2.531 | 1 | 1 | 0.01831 | 0.0586 | 0 | 0.6902 | 2.209 | 0 | json |
| t13_x4_u19_b10 | 13 | 4 | 19 | 10 | ![]() |
frc(dst(sgn(D),D)) | 44432 | 105733246 | o1(o2(o1(x),x)) | true | 14423 | 14423 | 0.4368 | 1 | 0.4368 | 0.08729 | 0.2954 | 0.04054 | 0.9694 | 0.9289 | 1 | 3.324 | 0.0524 | 0.0524 | 0.1767 | 0.000002915 | 1 | -0.001376 | 0.423 | 0.3629 | 0.07358 | 0.2713 | 1.535 | 1.125 | 1.201 | 4.846 | 1 | 1 | 0.09759 | 0.1814 | 0 | 1.118 | 2.078 | 0 | json |
| t13_x4_u20_b0 | 13 | 4 | 20 | 0 | ![]() |
frc(add(nrm(D),D)) | 44433 | 105733437 | o1(o2(o1(x),x)) | true | 14431 | 14431 | 0.5 | 1 | 0.5 | 0.05954 | 0.244 | 0.02039 | 0.9796 | 0.9592 | 1 | 3.847 | 0.09815 | 0.04756 | 0.2756 | 0.3472 | 1 | 6.503e-9 | 0.6101 | 0.4552 | 0.06976 | 0.2641 | 0.9584 | 1.117 | 2.447 | 10.25 | 1 | 1 | 0.1058 | 0.1395 | 0 | 1.777 | 2.343 | 0 | json |
| t13_x4_u20_b1 | 13 | 4 | 20 | 1 | ![]() |
frc(sub(nrm(D),D)) | 44434 | 105733438 | o1(o2(o1(x),x)) | true | 14439 | 14439 | 0.5 | 1 | 0.5 | 0.04623 | 0.215 | 0.03184 | 0.9682 | 0.9363 | 1 | 3.744 | 0.04202 | 0.007026 | 0.1314 | 0.7135 | 1 | -3.7e-9 | 0.1155 | 0.1453 | 0.03177 | 0.1782 | 1.356 | 0.9363 | 1.061 | 2.498 | 1 | 1 | 0.04694 | 0.1139 | 0 | 1.015 | 2.463 | 0 | json |
| t13_x4_u20_b2 | 13 | 4 | 20 | 2 | ![]() |
frc(mlt(nrm(D),D)) | 44435 | 105733439 | o1(o2(o1(x),x)) | true | 14447 | 14447 | 0.222 | 1 | 0.222 | 0.02412 | 0.1553 | 0.002221 | 0.4953 | 0.4931 | 1 | 2.941 | 0.003496 | 0.0002999 | 0.05598 | 0.842 | 1 | -0.0003428 | 0.0006588 | 0.02213 | 0.0006623 | 0.02573 | 0.4597 | 0.09175 | 0.1574 | 0.02731 | 1 | 1 | 0.007267 | 0.04807 | 0 | 0.3013 | 1.993 | 0 | json |
| t13_x4_u20_b3 | 13 | 4 | 20 | 3 | ![]() |
frc(div(nrm(D),D)) | 44436 | 105733440 | o1(o2(o1(x),x)) | true | 14455 | 14455 | 0.4648 | 1 | 0.4648 | 0.03427 | 0.1851 | 0.1191 | 0.8126 | 0.6934 | 1 | 3.449 | 0.06542 | 0.06542 | 0.3017 | 0.000002563 | 1 | -0.000137 | 0.6479 | 0.6055 | 0.03982 | 0.1996 | 0.6615 | 0.7701 | 3.818 | 18.9 | 1 | 1 | 0.07958 | 0.05889 | 0 | 2.322 | 1.718 | 0 | json |
| t13_x4_u20_b4 | 13 | 4 | 20 | 4 | ![]() |
frc(pow(nrm(D),D)) | 44437 | 105733441 | o1(o2(o1(x),x)) | true | 14463 | 14463 | -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 |
| t13_x4_u20_b5 | 13 | 4 | 20 | 5 | ![]() |
frc(mod(nrm(D),D)) | 44438 | 105733442 | o1(o2(o1(x),x)) | true | 14471 | 14471 | 0.5 | 1 | 0.5 | 0.1126 | 0.3356 | 0.004005 | 0.996 | 0.992 | 1 | 3.855 | 0.06913 | 0.004258 | 0.1508 | 0.884 | 1 | -4.565e-9 | 0.1767 | 0.2786 | 0.05065 | 0.2251 | 1.492 | 0.9921 | 0.6518 | 1.57 | 1 | 1 | 0.07005 | 0.1888 | 0 | 0.6221 | 1.677 | 0 | json |
| t13_x4_u20_b6 | 13 | 4 | 20 | 6 | ![]() |
frc(lrg(nrm(D),D)) | 44439 | 105733443 | o1(o2(o1(x),x)) | true | 14479 | 14479 | 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 |
| t13_x4_u20_b7 | 13 | 4 | 20 | 7 | ![]() |
frc(eql(nrm(D),D)) | 44440 | 105733444 | o1(o2(o1(x),x)) | true | 14487 | 14487 | 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 |
| t13_x4_u20_b8 | 13 | 4 | 20 | 8 | ![]() |
frc(min(nrm(D),D)) | 44441 | 105733445 | o1(o2(o1(x),x)) | true | 14495 | 14495 | 0.3213 | 1 | 0.3213 | 0.04595 | 0.2144 | 0.03124 | 0.9369 | 0.9057 | 1 | 3.473 | 0.04355 | 0.003662 | 0.1126 | 0.8449 | 1 | -0.0001323 | 0.1103 | 0.1264 | 0.03452 | 0.1858 | 1.649 | 0.9057 | 1.027 | 2.4 | 1 | 1 | 0.04145 | 0.07285 | 0 | 0.9019 | 1.585 | 0 | json |
| t13_x4_u20_b9 | 13 | 4 | 20 | 9 | ![]() |
frc(dot(nrm(D),D)) | 44442 | 105733446 | o1(o2(o1(x),x)) | true | 14503 | 14503 | 0.4415 | 1 | 0.4415 | 0.02494 | 0.1579 | 0.04473 | 0.7026 | 0.6579 | 1 | 3.253 | 0.002 | 0.002 | 0.05934 | 8.148e-7 | 1 | -0.0006632 | 0.0009277 | 0.02445 | 0.0004789 | 0.02188 | 0.3688 | 0.1006 | 0.1604 | 0.0372 | 1 | 1 | 0.007614 | 0.05036 | 0 | 0.3053 | 2.019 | 0 | json |
| t13_x4_u20_b10 | 13 | 4 | 20 | 10 | ![]() |
frc(dst(nrm(D),D)) | 44443 | 105733447 | o1(o2(o1(x),x)) | true | 14511 | 14511 | 0.5564 | 1 | 0.5564 | 0.02504 | 0.1582 | 0.2974 | 0.9553 | 0.6579 | 1 | 3.252 | 0.001982 | 0.001982 | 0.05917 | -0.000002349 | 1 | 0.0006823 | 0.0006753 | 0.01965 | 0.0004635 | 0.02153 | 0.3639 | 0.09332 | 0.1583 | 0.02697 | 1 | 1 | 0.00761 | 0.05069 | 0 | 0.3039 | 2.024 | 0 | json |
| t13_x4_u21_b0 | 13 | 4 | 21 | 0 | ![]() |
flr(add(sqt(D),D)) | 44444 | 105733638 | o1(o2(o1(x),x)) | true | 14519 | 14519 | -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 |
| t13_x4_u21_b1 | 13 | 4 | 21 | 1 | ![]() |
flr(sub(sqt(D),D)) | 44445 | 105733639 | o1(o2(o1(x),x)) | true | 14527 | 14527 | -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 |
| t13_x4_u21_b2 | 13 | 4 | 21 | 2 | ![]() |
flr(mlt(sqt(D),D)) | 44446 | 105733640 | o1(o2(o1(x),x)) | true | 14535 | 14535 | -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 |
| t13_x4_u21_b3 | 13 | 4 | 21 | 3 | ![]() |
flr(div(sqt(D),D)) | 44447 | 105733641 | o1(o2(o1(x),x)) | true | 14543 | 14543 | -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 |
| t13_x4_u21_b4 | 13 | 4 | 21 | 4 | ![]() |
flr(pow(sqt(D),D)) | 44448 | 105733642 | o1(o2(o1(x),x)) | true | 14551 | 14551 | -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 |
| t13_x4_u21_b5 | 13 | 4 | 21 | 5 | ![]() |
flr(mod(sqt(D),D)) | 44449 | 105733643 | o1(o2(o1(x),x)) | true | 14559 | 14559 | -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 |
| t13_x4_u21_b6 | 13 | 4 | 21 | 6 | ![]() |
flr(lrg(sqt(D),D)) | 44450 | 105733644 | o1(o2(o1(x),x)) | true | 14567 | 14567 | 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 |
| t13_x4_u21_b7 | 13 | 4 | 21 | 7 | ![]() |
flr(eql(sqt(D),D)) | 44451 | 105733645 | o1(o2(o1(x),x)) | true | 14575 | 14575 | 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 |
| t13_x4_u21_b8 | 13 | 4 | 21 | 8 | ![]() |
flr(min(sqt(D),D)) | 44452 | 105733646 | o1(o2(o1(x),x)) | true | 14583 | 14583 | -0.5 | 0 | 0.5 | 0.1418 | 0.3765 | -0.9997 | -0.000291 | 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 |
| t13_x4_u21_b9 | 13 | 4 | 21 | 9 | ![]() |
flr(dot(sqt(D),D)) | 44453 | 105733647 | o1(o2(o1(x),x)) | true | 14591 | 14591 | -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 |
| t13_x4_u21_b10 | 13 | 4 | 21 | 10 | ![]() |
flr(dst(sqt(D),D)) | 44454 | 105733648 | o1(o2(o1(x),x)) | true | 14599 | 14599 | -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 |
| t13_x4_u22_b0 | 13 | 4 | 22 | 0 | ![]() |
flr(add(log(D),D)) | 44455 | 105733839 | o1(o2(o1(x),x)) | true | 14607 | 14607 | -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 |
| t13_x4_u22_b1 | 13 | 4 | 22 | 1 | ![]() |
flr(sub(log(D),D)) | 44456 | 105733840 | o1(o2(o1(x),x)) | true | 14615 | 14615 | -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 |
| t13_x4_u22_b2 | 13 | 4 | 22 | 2 | ![]() |
flr(mlt(log(D),D)) | 44457 | 105733841 | o1(o2(o1(x),x)) | true | 14623 | 14623 | -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 |
| t13_x4_u22_b3 | 13 | 4 | 22 | 3 | ![]() |
flr(div(log(D),D)) | 44458 | 105733842 | o1(o2(o1(x),x)) | true | 14631 | 14631 | -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 |
| t13_x4_u22_b4 | 13 | 4 | 22 | 4 | ![]() |
flr(pow(log(D),D)) | 44459 | 105733843 | o1(o2(o1(x),x)) | true | 14639 | 14639 | -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 |
| t13_x4_u22_b5 | 13 | 4 | 22 | 5 | ![]() |
flr(mod(log(D),D)) | 44460 | 105733844 | o1(o2(o1(x),x)) | true | 14647 | 14647 | -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 |
| t13_x4_u22_b6 | 13 | 4 | 22 | 6 | ![]() |
flr(lrg(log(D),D)) | 44461 | 105733845 | o1(o2(o1(x),x)) | true | 14655 | 14655 | 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 |
| t13_x4_u22_b7 | 13 | 4 | 22 | 7 | ![]() |
flr(eql(log(D),D)) | 44462 | 105733846 | o1(o2(o1(x),x)) | true | 14663 | 14663 | 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 |
| t13_x4_u22_b8 | 13 | 4 | 22 | 8 | ![]() |
flr(min(log(D),D)) | 44463 | 105733847 | o1(o2(o1(x),x)) | true | 14671 | 14671 | -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 |
| t13_x4_u22_b9 | 13 | 4 | 22 | 9 | ![]() |
flr(dot(log(D),D)) | 44464 | 105733848 | o1(o2(o1(x),x)) | true | 14679 | 14679 | -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 |
| t13_x4_u22_b10 | 13 | 4 | 22 | 10 | ![]() |
flr(dst(log(D),D)) | 44465 | 105733849 | o1(o2(o1(x),x)) | true | 14687 | 14687 | -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 |
| t13_x4_u23_b0 | 13 | 4 | 23 | 0 | ![]() |
flr(add(frc(D),D)) | 44466 | 105734040 | o1(o2(o1(x),x)) | true | 14695 | 14695 | 0 | 0.5 | 0.1556 | 0.0474 | 0.2177 | -0.4416 | 0.4416 | 0.8831 | 1 | 3.406 | 0.0543 | 0 | 0.112 | 1 | 1 | 0 | 0.1263 | 0.1407 | 0.04175 | 0.2043 | 1.825 | 0.8831 | 1.145 | 2.665 | 1 | 1 | 0.04519 | 0.05179 | 0 | 0.9533 | 1.093 | 0 | json |
| t13_x4_u23_b1 | 13 | 4 | 23 | 1 | ![]() |
flr(sub(frc(D),D)) | 44467 | 105734041 | o1(o2(o1(x),x)) | true | 14703 | 14703 | 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 |
| t13_x4_u23_b2 | 13 | 4 | 23 | 2 | ![]() |
flr(mlt(frc(D),D)) | 44468 | 105734042 | o1(o2(o1(x),x)) | true | 14711 | 14711 | -0.5 | 0 | 0.5 | 0.1418 | 0.3765 | -0.9997 | -0.000291 | 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 |
| t13_x4_u23_b3 | 13 | 4 | 23 | 3 | ![]() |
flr(div(frc(D),D)) | 44469 | 105734043 | o1(o2(o1(x),x)) | true | 14719 | 14719 | -0.3322 | 0.25 | 0.7337 | 0.5439 | 0.7375 | -1 | 0.9994 | 1.999 | 1 | 2.647 | 0.5189 | 0 | 0.4594 | 1 | 1 | -0.00376 | 1.591 | 0.8424 | 0.3077 | 0.5547 | 1.207 | 1.999 | 0.954 | 2.926 | 1 | 1 | 0.2515 | 0.9103 | 0 | 0.4625 | 1.674 | 0 | json |
| t13_x4_u23_b4 | 13 | 4 | 23 | 4 | ![]() |
flr(pow(frc(D),D)) | 44470 | 105734044 | o1(o2(o1(x),x)) | true | 14727 | 14727 | 0.5412 | 1 | 0.5412 | 0.1158 | 0.3403 | 0.008149 | 0.9997 | 0.9916 | 1 | 3.453 | 0.0667 | 0 | 0.1371 | 1 | 1 | -0.0001565 | 0.134 | 0.1755 | 0.04789 | 0.2188 | 1.596 | 0.9916 | 0.5758 | 1.157 | 1 | 1 | 0.06733 | 0.1856 | 0 | 0.5813 | 1.602 | 0 | json |
| t13_x4_u23_b5 | 13 | 4 | 23 | 5 | ![]() |
flr(mod(frc(D),D)) | 44471 | 105734045 | o1(o2(o1(x),x)) | true | 14735 | 14735 | 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 |
| t13_x4_u23_b6 | 13 | 4 | 23 | 6 | ![]() |
flr(lrg(frc(D),D)) | 44472 | 105734046 | o1(o2(o1(x),x)) | true | 14743 | 14743 | 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 |
| t13_x4_u23_b7 | 13 | 4 | 23 | 7 | ![]() |
flr(eql(frc(D),D)) | 44473 | 105734047 | o1(o2(o1(x),x)) | true | 14751 | 14751 | 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 |
| t13_x4_u23_b8 | 13 | 4 | 23 | 8 | ![]() |
flr(min(frc(D),D)) | 44474 | 105734048 | o1(o2(o1(x),x)) | true | 14759 | 14759 | -0.5 | 0 | 0.5 | 0.1418 | 0.3765 | -0.9997 | -0.000291 | 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 |
| t13_x4_u23_b9 | 13 | 4 | 23 | 9 | ![]() |
flr(dot(frc(D),D)) | 44475 | 105734049 | o1(o2(o1(x),x)) | true | 14767 | 14767 | -0.6079 | 0 | 0.6079 | 0.08189 | 0.2862 | -0.9997 | -0.000582 | 0.9991 | 1 | 3.796 | 0.03487 | 0.03487 | 0.1423 | -0.000006837 | 1 | 0.0002948 | 0.2207 | 0.1969 | 0.04951 | 0.2225 | 1.564 | 1.341 | 0.8517 | 2.695 | 1 | 1 | 0.07214 | 0.2113 | 0 | 0.8809 | 2.581 | 0 | json |
| t13_x4_u23_b10 | 13 | 4 | 23 | 10 | ![]() |
flr(dst(frc(D),D)) | 44476 | 105734050 | o1(o2(o1(x),x)) | true | 14775 | 14775 | 0.75 | 1 | 0.75 | 0.091 | 0.3017 | 0.000582 | 1 | 0.9994 | 1 | 3.116 | 0.02539 | 0.02539 | 0.1108 | -4.034e-7 | 1 | -7.993e-9 | 0.1027 | 0.1304 | 0.03851 | 0.1962 | 1.771 | 0.9991 | 0.5581 | 1.128 | 1 | 1 | 0.05526 | 0.189 | 0 | 0.6073 | 2.077 | 0 | json |
| t13_x4_u24_b0 | 13 | 4 | 24 | 0 | ![]() |
flr(add(flr(D),D)) | 44477 | 105734241 | o1(o2(o1(x),x)) | true | 14783 | 14783 | -0.6556 | 0 | 0.6556 | 0.1649 | 0.4061 | -1 | -0.0005821 | 0.9994 | 1 | 2.203 | 0.06987 | 0 | 0.1227 | 1 | 1 | 0.0001797 | 0.1227 | 0.1476 | 0.05481 | 0.2341 | 1.908 | 0.9994 | 0.4236 | 0.7439 | 1 | 1 | 0.07933 | 0.2839 | 0 | 0.4811 | 1.722 | 0 | json |
| t13_x4_u24_b1 | 13 | 4 | 24 | 1 | ![]() |
flr(sub(flr(D),D)) | 44478 | 105734242 | o1(o2(o1(x),x)) | true | 14791 | 14791 | -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 |
| t13_x4_u24_b2 | 13 | 4 | 24 | 2 | ![]() |
flr(mlt(flr(D),D)) | 44479 | 105734243 | o1(o2(o1(x),x)) | true | 14799 | 14799 | 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 |
| t13_x4_u24_b3 | 13 | 4 | 24 | 3 | ![]() |
flr(div(flr(D),D)) | 44480 | 105734244 | o1(o2(o1(x),x)) | true | 14807 | 14807 | 0.5778 | 1 | 0.5778 | 0.1899 | 0.4358 | 0.000291 | 1 | 0.9997 | 1 | 2.203 | 0.08168 | 0 | 0.1229 | 1 | 1 | -0.00008984 | 0.1523 | 0.1899 | 0.06659 | 0.258 | 2.1 | 0.9997 | 0.43 | 0.8018 | 1 | 1 | 0.08807 | 0.3685 | 0 | 0.4637 | 1.94 | 0 | json |
| t13_x4_u24_b4 | 13 | 4 | 24 | 4 | ![]() |
flr(pow(flr(D),D)) | 44481 | 105734245 | o1(o2(o1(x),x)) | true | 14815 | 14815 | -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 |
| t13_x4_u24_b5 | 13 | 4 | 24 | 5 | ![]() |
flr(mod(flr(D),D)) | 44482 | 105734246 | o1(o2(o1(x),x)) | true | 14823 | 14823 | -0.4375 | 0 | 0.4375 | 0.1379 | 0.3713 | -0.9929 | 0 | 0.9929 | 1 | 3.578 | 0.06434 | 0 | 0.122 | 1 | 1 | -9.386e-13 | 0.1203 | 0.1329 | 0.04942 | 0.2223 | 1.822 | 0.9929 | 0.4666 | 0.8729 | 1 | 1 | 0.07191 | 0.2348 | 0 | 0.5216 | 1.703 | 0 | json |
| t13_x4_u24_b6 | 13 | 4 | 24 | 6 | ![]() |
flr(lrg(flr(D),D)) | 44483 | 105734247 | o1(o2(o1(x),x)) | true | 14831 | 14831 | 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 |
| t13_x4_u24_b7 | 13 | 4 | 24 | 7 | ![]() |
flr(eql(flr(D),D)) | 44484 | 105734248 | o1(o2(o1(x),x)) | true | 14839 | 14839 | 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 |
| t13_x4_u24_b8 | 13 | 4 | 24 | 8 | ![]() |
flr(min(flr(D),D)) | 44485 | 105734249 | o1(o2(o1(x),x)) | true | 14847 | 14847 | -0.5 | 0 | 0.5 | 0.1418 | 0.3765 | -0.9997 | -0.000291 | 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 |
| t13_x4_u24_b9 | 13 | 4 | 24 | 9 | ![]() |
flr(dot(flr(D),D)) | 44486 | 105734250 | o1(o2(o1(x),x)) | true | 14855 | 14855 | 0.0214 | 0.4766 | 0.0214 | 0.002235 | 0.04727 | 0 | 0.2466 | 0.2466 | 1 | 0.722 | 0.001538 | 0.001538 | 0.02117 | -7.949e-7 | 1 | -0.00007966 | 0.01314 | 0.03514 | 0.002627 | 0.05126 | 2.421 | 0.3487 | 1.376 | 5.882 | 1 | 1 | 0.00279 | 0.00533 | 0 | 1.249 | 2.385 | 0 | json |
| t13_x4_u24_b10 | 13 | 4 | 24 | 10 | ![]() |
flr(dst(flr(D),D)) | 44487 | 105734251 | o1(o2(o1(x),x)) | true | 14863 | 14863 | 0.207 | 0.207 | 0.207 | 0.1643 | 0.4053 | 0 | 1 | 1 | 1 | 0.7358 | 0.09199 | 0.09199 | 0.1633 | 0 | 1 | 0.001008 | 0.5686 | 0.367 | 0.1573 | 0.3966 | 2.429 | 1.414 | 1.12 | 3.462 | 1 | 1 | 0.1622 | 0.3364 | 0 | 0.9878 | 2.048 | 0 | json |
| t13_x4_u25_b0 | 13 | 4 | 25 | 0 | ![]() |
flr(add(cil(D),D)) | 44488 | 105734442 | o1(o2(o1(x),x)) | true | 14871 | 14871 | -1.819e-12 | 0.5 | 0.6889 | 0.5671 | 0.753 | -0.9994 | 0.9994 | 1.999 | 1 | 3.406 | 0.2604 | 0 | 0.2456 | 1 | 1 | 0 | 0.4833 | 0.2673 | 0.2 | 0.4473 | 1.821 | 1.999 | 0.4593 | 0.8522 | 1 | 1 | 0.2829 | 0.9676 | 0 | 0.4989 | 1.706 | 0 | json |
| t13_x4_u25_b1 | 13 | 4 | 25 | 1 | ![]() |
flr(sub(cil(D),D)) | 44489 | 105734443 | o1(o2(o1(x),x)) | true | 14879 | 14879 | 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 |
| t13_x4_u25_b2 | 13 | 4 | 25 | 2 | ![]() |
flr(mlt(cil(D),D)) | 44490 | 105734444 | o1(o2(o1(x),x)) | true | 14887 | 14887 | 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 |
| t13_x4_u25_b3 | 13 | 4 | 25 | 3 | ![]() |
flr(div(cil(D),D)) | 44491 | 105734445 | o1(o2(o1(x),x)) | true | 14895 | 14895 | 0.5778 | 1 | 0.5778 | 0.1899 | 0.4358 | 0.000291 | 1 | 0.9997 | 1 | 2.203 | 0.08169 | 0 | 0.1229 | 1 | 1 | -0.00008984 | 0.1523 | 0.1899 | 0.06657 | 0.258 | 2.099 | 0.9997 | 0.4301 | 0.8018 | 1 | 1 | 0.08804 | 0.3685 | 0 | 0.4635 | 1.94 | 0 | json |
| t13_x4_u25_b4 | 13 | 4 | 25 | 4 | ![]() |
flr(pow(cil(D),D)) | 44492 | 105734446 | o1(o2(o1(x),x)) | true | 14903 | 14903 | 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 |
| t13_x4_u25_b5 | 13 | 4 | 25 | 5 | ![]() |
flr(mod(cil(D),D)) | 44493 | 105734447 | o1(o2(o1(x),x)) | true | 14911 | 14911 | 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 |
| t13_x4_u25_b6 | 13 | 4 | 25 | 6 | ![]() |
flr(lrg(cil(D),D)) | 44494 | 105734448 | o1(o2(o1(x),x)) | true | 14919 | 14919 | 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 |
| t13_x4_u25_b7 | 13 | 4 | 25 | 7 | ![]() |
flr(eql(cil(D),D)) | 44495 | 105734449 | o1(o2(o1(x),x)) | true | 14927 | 14927 | 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 |
| t13_x4_u25_b8 | 13 | 4 | 25 | 8 | ![]() |
flr(min(cil(D),D)) | 44496 | 105734450 | o1(o2(o1(x),x)) | true | 14935 | 14935 | -0.5 | 0 | 0.5 | 0.1418 | 0.3765 | -0.9997 | -0.000291 | 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 |
| t13_x4_u25_b9 | 13 | 4 | 25 | 9 | ![]() |
flr(dot(cil(D),D)) | 44497 | 105734451 | o1(o2(o1(x),x)) | true | 14943 | 14943 | 0.0214 | 0.4766 | 0.0214 | 0.002235 | 0.04727 | 0 | 0.2466 | 0.2466 | 1 | 0.722 | 0.001538 | 0.001538 | 0.02076 | 9.839e-7 | 1 | -0.00007966 | 0.01314 | 0.03514 | 0.002645 | 0.05143 | 2.477 | 0.3487 | 1.377 | 5.882 | 1 | 1 | 0.002791 | 0.00533 | 0 | 1.249 | 2.385 | 0 | json |
| t13_x4_u25_b10 | 13 | 4 | 25 | 10 | ![]() |
flr(dst(cil(D),D)) | 44498 | 105734452 | o1(o2(o1(x),x)) | true | 14951 | 14951 | 0.207 | 0.207 | 0.207 | 0.1643 | 0.4053 | 0 | 1 | 1 | 1 | 0.7358 | 0.09149 | 0.09149 | 0.1623 | 0 | 1 | 0.001008 | 0.5686 | 0.367 | 0.1567 | 0.3958 | 2.438 | 1.414 | 1.114 | 3.461 | 1 | 1 | 0.1616 | 0.3364 | 0 | 0.9837 | 2.048 | 0 | json |
| t13_x4_u26_b0 | 13 | 4 | 26 | 0 | ![]() |
flr(add(sgn(D),D)) | 44499 | 105734643 | o1(o2(o1(x),x)) | true | 14959 | 14959 | -0.2132 | 0.4375 | 0.7869 | 0.6668 | 0.8166 | -1 | 0.9991 | 1.999 | 1 | 2.647 | 0.2738 | 0 | 0.2456 | 1 | 1 | 0.0002695 | 0.4885 | 0.2822 | 0.2136 | 0.4622 | 1.882 | 1.999 | 0.4107 | 0.7326 | 1 | 1 | 0.3072 | 1.209 | 0 | 0.4607 | 1.813 | 0 | json |



































































































