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_x23_u0_b31 | 12 | 23 | 0 | 31 | ![]() |
sqt(mlt(R,dot(D,R))) | 38700 | 98376466 | o1(o2(x,o2(x,x))) | true | 139447 | 139447 | -0.9476 | 0.04234 | 0.9677 | 0.06255 | 0.2501 | -1 | 0.5524 | 1.552 | 1 | 0.373 | 0.03181 | 0.01529 | 0.03727 | 0.3506 | 1 | 0.0000461 | 0.1479 | 0.07745 | 0.04572 | 0.2138 | 5.737 | 2.144 | 0.7531 | 2.364 | 1 | 1 | 0.04094 | 0.1059 | 0.114 | 0.6546 | 1.693 | 1.822 | json |
| t12_x23_u0_b32 | 12 | 23 | 0 | 32 | ![]() |
sqt(mlt(R,dst(D,R))) | 38701 | 98376467 | o1(o2(x,o2(x,x))) | true | 139455 | 139455 | -0.9254 | 0.04297 | 0.9887 | 0.1255 | 0.3542 | -1 | 1 | 2 | 1 | 0.4013 | 0.01252 | 0.01245 | 0.01543 | 0.002896 | 1 | 0.00001068 | 0.05209 | 0.02885 | 0.02474 | 0.1573 | 10.19 | 2.828 | 0.199 | 0.4151 | 1 | 1 | 0.01987 | 0.08747 | 0.2147 | 0.1584 | 0.6971 | 1.711 | json |
| t12_x23_u0_b33 | 12 | 23 | 0 | 33 | ![]() |
sqt(div(R,add(D,R))) | 38702 | 98376468 | o1(o2(x,o2(x,x))) | true | 139463 | 139463 | -0.4359 | 0.2939 | 0.9762 | 0.7694 | 0.8772 | -1 | 1 | 2 | 1 | 1.423 | 0.2917 | 0.06122 | 0.1835 | 0.6531 | 1 | 0.000453 | 0.7812 | 0.3625 | 0.3191 | 0.5649 | 3.078 | 2.828 | 0.4588 | 1.015 | 1 | 1 | 0.3495 | 0.9806 | 1.5 | 0.4543 | 1.274 | 1.95 | json |
| t12_x23_u0_b34 | 12 | 23 | 0 | 34 | ![]() |
sqt(div(R,sub(D,R))) | 38703 | 98376469 | o1(o2(x,o2(x,x))) | true | 139471 | 139471 | -0.9981 | 0.0009766 | 0.9999 | 0.003627 | 0.06023 | -1 | 1 | 2 | 1 | 0.01256 | 0.003874 | 0.0004382 | 0.002205 | 0.7968 | 1 | -3.754e-12 | 0.01164 | 0.004438 | 0.004303 | 0.0656 | 29.76 | 2.828 | 1.189 | 3.209 | 1 | 1 | 0.00376 | 0.007262 | 0.009642 | 1.037 | 2.002 | 2.658 | json |
| t12_x23_u0_b35 | 12 | 23 | 0 | 35 | ![]() |
sqt(div(R,mlt(D,R))) | 38704 | 98376470 | o1(o2(x,o2(x,x))) | true | 139479 | 139479 | -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_x23_u0_b36 | 12 | 23 | 0 | 36 | ![]() |
sqt(div(R,div(D,R))) | 38705 | 98376471 | o1(o2(x,o2(x,x))) | true | 139487 | 139487 | -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_x23_u0_b37 | 12 | 23 | 0 | 37 | ![]() |
sqt(div(R,pow(D,R))) | 38706 | 98376472 | o1(o2(x,o2(x,x))) | true | 139495 | 139495 | -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_x23_u0_b38 | 12 | 23 | 0 | 38 | ![]() |
sqt(div(R,mod(D,R))) | 38707 | 98376473 | o1(o2(x,o2(x,x))) | true | 139503 | 139503 | -0.9219 | 0.03906 | 1 | 0.1501 | 0.3874 | -1 | 1 | 2 | 1 | 0.238 | 0.01965 | 0.01612 | 0.01776 | 0.09859 | 1 | 0 | 0.07559 | 0.03578 | 0.03547 | 0.1883 | 10.6 | 2.828 | 0.2384 | 0.5037 | 1 | 1 | 0.03789 | 0.1542 | 0.336 | 0.2525 | 1.028 | 2.239 | json |
| t12_x23_u0_b39 | 12 | 23 | 0 | 39 | ![]() |
sqt(div(R,lrg(D,R))) | 38708 | 98376474 | o1(o2(x,o2(x,x))) | true | 139511 | 139511 | -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_x23_u0_b40 | 12 | 23 | 0 | 40 | ![]() |
sqt(div(R,eql(D,R))) | 38709 | 98376475 | o1(o2(x,o2(x,x))) | true | 139519 | 139519 | -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_x23_u0_b41 | 12 | 23 | 0 | 41 | ![]() |
sqt(div(R,min(D,R))) | 38710 | 98376476 | o1(o2(x,o2(x,x))) | true | 139527 | 139527 | -0.5016 | 0.2539 | 0.9906 | 0.732 | 0.8556 | -1 | 1 | 2 | 1 | 1.091 | 0.08639 | 0.06205 | 0.07744 | 0.164 | 1 | -0.000002094 | 0.3118 | 0.1517 | 0.1424 | 0.3774 | 4.873 | 2.828 | 0.2028 | 0.426 | 1 | 1 | 0.1547 | 0.6259 | 1.394 | 0.2113 | 0.855 | 1.904 | json |
| t12_x23_u0_b42 | 12 | 23 | 0 | 42 | ![]() |
sqt(div(R,dot(D,R))) | 38711 | 98376477 | o1(o2(x,o2(x,x))) | true | 139535 | 139535 | -0.9165 | 0.04234 | 0.9988 | 0.1581 | 0.3976 | -1 | 1 | 2 | 1 | 0.284 | 0.08392 | 0.04382 | 0.05998 | 0.3139 | 1 | 0.00007389 | 0.4177 | 0.1284 | 0.1241 | 0.3522 | 5.872 | 2.828 | 0.8081 | 2.642 | 1 | 1 | 0.1081 | 0.2657 | 0.2859 | 0.684 | 1.681 | 1.808 | json |
| t12_x23_u0_b43 | 12 | 23 | 0 | 43 | ![]() |
sqt(div(R,dst(D,R))) | 38712 | 98376478 | o1(o2(x,o2(x,x))) | true | 139543 | 139543 | -0.9254 | 0.04297 | 0.9886 | 0.1246 | 0.353 | -1 | 1 | 2 | 1 | 0.3869 | 0.01275 | 0.01278 | 0.01544 | -0.00109 | 1 | -0.000001739 | 0.0534 | 0.02932 | 0.0253 | 0.1591 | 10.3 | 2.53 | 0.205 | 0.4287 | 1 | 1 | 0.01978 | 0.08422 | 0.2071 | 0.1588 | 0.676 | 1.662 | json |
| t12_x23_u0_b44 | 12 | 23 | 0 | 44 | ![]() |
sqt(pow(R,add(D,R))) | 38713 | 98376479 | o1(o2(x,o2(x,x))) | true | 139551 | 139551 | -0.9189 | 0.04297 | 0.9952 | 0.1466 | 0.3829 | -1 | 1 | 2 | 1 | 0.3429 | 0.01493 | 0.01453 | 0.01611 | 0.0134 | 1 | 0.000004046 | 0.06153 | 0.03148 | 0.02919 | 0.1709 | 10.61 | 2.746 | 0.2009 | 0.4197 | 1 | 1 | 0.02251 | 0.09718 | 0.2432 | 0.1535 | 0.6628 | 1.658 | json |
| t12_x23_u0_b45 | 12 | 23 | 0 | 45 | ![]() |
sqt(pow(R,sub(D,R))) | 38714 | 98376480 | o1(o2(x,o2(x,x))) | true | 139559 | 139559 | -0.9141 | 0.04297 | 0.9999 | 0.1643 | 0.4053 | -1 | 1 | 2 | 1 | 0.2591 | 0.01688 | 0.01634 | 0.01654 | 0.01633 | 1 | 7.509e-11 | 0.06946 | 0.03327 | 0.03293 | 0.1815 | 10.97 | 2.828 | 0.2022 | 0.4229 | 1 | 1 | 0.02538 | 0.1093 | 0.2751 | 0.1545 | 0.6655 | 1.675 | json |
| t12_x23_u0_b46 | 12 | 23 | 0 | 46 | ![]() |
sqt(pow(R,mlt(D,R))) | 38715 | 98376481 | o1(o2(x,o2(x,x))) | true | 139567 | 139567 | -0.9144 | 0.04297 | 0.9997 | 0.1634 | 0.4042 | -1 | 1 | 2 | 1 | 0.2557 | 0.01685 | 0.01628 | 0.01658 | 0.01702 | 1 | 9.437e-7 | 0.06934 | 0.03326 | 0.03285 | 0.1812 | 10.93 | 2.828 | 0.2028 | 0.4245 | 1 | 1 | 0.02534 | 0.109 | 0.2736 | 0.1551 | 0.667 | 1.675 | json |
| t12_x23_u0_b47 | 12 | 23 | 0 | 47 | ![]() |
sqt(pow(R,div(D,R))) | 38716 | 98376482 | o1(o2(x,o2(x,x))) | true | 139575 | 139575 | -0.9167 | 0.04297 | 0.9973 | 0.1552 | 0.394 | -1 | 1 | 2 | 1 | 0.3177 | 0.01661 | 0.01532 | 0.01688 | 0.04058 | 1 | 0.000009034 | 0.06715 | 0.03295 | 0.03163 | 0.1778 | 10.54 | 2.828 | 0.2057 | 0.4326 | 1 | 1 | 0.02452 | 0.1051 | 0.2576 | 0.1579 | 0.677 | 1.659 | json |
| t12_x23_u0_b48 | 12 | 23 | 0 | 48 | ![]() |
sqt(pow(R,pow(D,R))) | 38717 | 98376483 | o1(o2(x,o2(x,x))) | true | 139583 | 139583 | -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_x23_u0_b49 | 12 | 23 | 0 | 49 | ![]() |
sqt(pow(R,mod(D,R))) | 38718 | 98376484 | o1(o2(x,o2(x,x))) | true | 139591 | 139591 | -0.9147 | 0.04297 | 0.9993 | 0.1619 | 0.4024 | -1 | 1 | 2 | 1 | 0.2727 | 0.0168 | 0.01616 | 0.01682 | 0.01961 | 1 | 0.000006986 | 0.06911 | 0.03362 | 0.03266 | 0.1807 | 10.75 | 2.828 | 0.2036 | 0.4268 | 1 | 1 | 0.02521 | 0.1082 | 0.2712 | 0.1557 | 0.6681 | 1.675 | json |
| t12_x23_u0_b50 | 12 | 23 | 0 | 50 | ![]() |
sqt(pow(R,lrg(D,R))) | 38719 | 98376485 | o1(o2(x,o2(x,x))) | true | 139599 | 139599 | -0.7509 | 0.1287 | 0.9918 | 0.423 | 0.6504 | -1 | 1 | 2 | 1 | 0.7422 | 0.07988 | 0.03909 | 0.06323 | 0.3428 | 1 | 0.000003311 | 0.2528 | 0.1245 | 0.1149 | 0.339 | 5.361 | 2.828 | 0.2813 | 0.5978 | 1 | 1 | 0.1203 | 0.4387 | 0.8243 | 0.2843 | 1.037 | 1.949 | json |
| t12_x23_u0_b51 | 12 | 23 | 0 | 51 | ![]() |
sqt(pow(R,eql(D,R))) | 38720 | 98376486 | o1(o2(x,o2(x,x))) | true | 139607 | 139607 | 0.9995 | 0.9998 | 1 | 0.0009763 | 0.03125 | -1 | 1 | 2 | 1 | 0.003282 | 0.001764 | 0.00006299 | 0.0009133 | 0.931 | 1 | 0 | 0.005669 | 0.001827 | 0.001826 | 0.04273 | 46.78 | 2 | 1.871 | 5.806 | 1 | 1 | 0 | 0 | 0.000831 | 0 | 0 | 0.8512 | json |
| t12_x23_u0_b52 | 12 | 23 | 0 | 52 | ![]() |
sqt(pow(R,min(D,R))) | 38721 | 98376487 | o1(o2(x,o2(x,x))) | true | 139615 | 139615 | -0.9147 | 0.04297 | 0.9994 | 0.1621 | 0.4026 | -1 | 1 | 2 | 1 | 0.2759 | 0.01679 | 0.01614 | 0.01667 | 0.01974 | 1 | 0.000002849 | 0.06902 | 0.03326 | 0.03264 | 0.1807 | 10.84 | 2.828 | 0.2032 | 0.4259 | 1 | 1 | 0.02523 | 0.1084 | 0.2711 | 0.1557 | 0.6687 | 1.673 | json |
| t12_x23_u0_b53 | 12 | 23 | 0 | 53 | ![]() |
sqt(pow(R,dot(D,R))) | 38722 | 98376488 | o1(o2(x,o2(x,x))) | true | 139623 | 139623 | -0.9148 | 0.04297 | 0.9992 | 0.1616 | 0.402 | -1 | 1 | 2 | 1 | 0.2762 | 0.01651 | 0.01628 | 0.01663 | 0.006972 | 1 | 0.000001133 | 0.06863 | 0.03313 | 0.03251 | 0.1803 | 10.84 | 2.828 | 0.203 | 0.4248 | 1 | 1 | 0.02514 | 0.1079 | 0.2707 | 0.1556 | 0.6677 | 1.676 | json |
| t12_x23_u0_b54 | 12 | 23 | 0 | 54 | ![]() |
sqt(pow(R,dst(D,R))) | 38723 | 98376489 | o1(o2(x,o2(x,x))) | true | 139631 | 139631 | -0.925 | 0.04297 | 0.9891 | 0.1261 | 0.3551 | -1 | 0.9711 | 1.971 | 1 | 0.3822 | 0.01288 | 0.01288 | 0.01532 | -0.000179 | 1 | 0.000005551 | 0.05391 | 0.02938 | 0.02553 | 0.1598 | 10.43 | 2.695 | 0.2043 | 0.4275 | 1 | 1 | 0.01995 | 0.08507 | 0.2106 | 0.1582 | 0.6745 | 1.669 | json |
| t12_x23_u0_b55 | 12 | 23 | 0 | 55 | ![]() |
sqt(mod(R,add(D,R))) | 38724 | 98376490 | o1(o2(x,o2(x,x))) | true | 139639 | 139639 | -0.9349 | 0.04297 | 0.9792 | 0.09621 | 0.3102 | -1 | 0.9707 | 1.971 | 1 | 0.4139 | 0.009293 | 0.009605 | 0.01485 | -0.01655 | 1 | -0.00001891 | 0.03895 | 0.02682 | 0.01869 | 0.1367 | 9.204 | 1.971 | 0.1964 | 0.4048 | 1 | 1 | 0.01471 | 0.06478 | 0.1595 | 0.1529 | 0.6733 | 1.657 | json |
| t12_x23_u0_b56 | 12 | 23 | 0 | 56 | ![]() |
sqt(mod(R,sub(D,R))) | 38725 | 98376491 | o1(o2(x,o2(x,x))) | true | 139647 | 139647 | -0.9347 | 0.04297 | 0.9794 | 0.09691 | 0.3113 | -1 | 0.9693 | 1.969 | 1 | 0.4143 | 0.009756 | 0.009858 | 0.01508 | -0.005174 | 1 | -0.00001856 | 0.04058 | 0.02745 | 0.0194 | 0.1393 | 9.234 | 2.731 | 0.2024 | 0.4187 | 1 | 1 | 0.01567 | 0.06837 | 0.1661 | 0.1617 | 0.7055 | 1.714 | json |
| t12_x23_u0_b57 | 12 | 23 | 0 | 57 | ![]() |
sqt(mod(R,mlt(D,R))) | 38726 | 98376492 | o1(o2(x,o2(x,x))) | true | 139655 | 139655 | -0.9308 | 0.04106 | 0.953 | 0.07911 | 0.2813 | -1 | 0.5486 | 1.549 | 1 | 0.479 | 0.02993 | 0.007886 | 0.03778 | 0.5829 | 1 | -2.245e-7 | 0.1005 | 0.07373 | 0.0364 | 0.1908 | 5.05 | 1.595 | 0.478 | 1.27 | 1 | 1 | 0.02446 | 0.06305 | 0.1377 | 0.3092 | 0.797 | 1.74 | json |
| t12_x23_u0_b58 | 12 | 23 | 0 | 58 | ![]() |
sqt(mod(R,div(D,R))) | 38727 | 98376493 | o1(o2(x,o2(x,x))) | true | 139663 | 139663 | -0.9386 | 0.04297 | 0.9755 | 0.08498 | 0.2915 | -1 | 0.8228 | 1.823 | 1 | 0.3981 | 0.006817 | 0.008574 | 0.01465 | -0.1142 | 1 | -0.00006432 | 0.03144 | 0.02673 | 0.01519 | 0.1232 | 8.413 | 1.823 | 0.1811 | 0.37 | 1 | 1 | 0.01186 | 0.05738 | 0.144 | 0.1396 | 0.6752 | 1.695 | json |
| t12_x23_u0_b59 | 12 | 23 | 0 | 59 | ![]() |
sqt(mod(R,pow(D,R))) | 38728 | 98376494 | o1(o2(x,o2(x,x))) | true | 139671 | 139671 | -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_x23_u0_b60 | 12 | 23 | 0 | 60 | ![]() |
sqt(mod(R,mod(D,R))) | 38729 | 98376495 | o1(o2(x,o2(x,x))) | true | 139679 | 139679 | -0.946 | 0.04297 | 0.968 | 0.06546 | 0.2558 | -1 | 0.5891 | 1.589 | 1 | 0.3803 | 0.005866 | 0.006619 | 0.01334 | -0.06032 | 1 | -0.00003699 | 0.02588 | 0.02435 | 0.01231 | 0.111 | 8.315 | 1.658 | 0.1907 | 0.3954 | 1 | 1 | 0.009672 | 0.0448 | 0.1113 | 0.1478 | 0.6845 | 1.7 | json |
| t12_x23_u0_b61 | 12 | 23 | 0 | 61 | ![]() |
sqt(mod(R,lrg(D,R))) | 38730 | 98376496 | o1(o2(x,o2(x,x))) | true | 139687 | 139687 | -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_x23_u0_b62 | 12 | 23 | 0 | 62 | ![]() |
sqt(mod(R,eql(D,R))) | 38731 | 98376497 | o1(o2(x,o2(x,x))) | true | 139695 | 139695 | -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_x23_u0_b63 | 12 | 23 | 0 | 63 | ![]() |
sqt(mod(R,min(D,R))) | 38732 | 98376498 | o1(o2(x,o2(x,x))) | true | 139703 | 139703 | -0.5717 | 0.3312 | 0.6934 | 0.3236 | 0.5688 | -1 | 0.6591 | 1.659 | 1 | 1.979 | 0.0697 | 0.02571 | 0.103 | 0.4611 | 1 | -0.0001777 | 0.2023 | 0.19 | 0.08481 | 0.2912 | 2.828 | 2.015 | 0.2949 | 0.6254 | 1 | 1 | 0.08863 | 0.2991 | 0.6171 | 0.2739 | 0.9243 | 1.907 | json |
| t12_x23_u0_b64 | 12 | 23 | 0 | 64 | ![]() |
sqt(mod(R,dot(D,R))) | 38733 | 98376499 | o1(o2(x,o2(x,x))) | true | 139711 | 139711 | -0.9443 | 0.04297 | 0.9697 | 0.06977 | 0.2641 | -1 | 0.672 | 1.672 | 1 | 0.389 | 0.007123 | 0.007005 | 0.01546 | 0.00832 | 1 | -0.0000301 | 0.03209 | 0.02964 | 0.01389 | 0.1179 | 7.626 | 1.738 | 0.2025 | 0.4599 | 1 | 1 | 0.01026 | 0.04638 | 0.1161 | 0.1471 | 0.6648 | 1.664 | json |
| t12_x23_u0_b65 | 12 | 23 | 0 | 65 | ![]() |
sqt(mod(R,dst(D,R))) | 38734 | 98376500 | o1(o2(x,o2(x,x))) | true | 139719 | 139719 | -0.9278 | 0.04297 | 0.9863 | 0.1173 | 0.3424 | -1 | 0.971 | 1.971 | 1 | 0.3989 | 0.01279 | 0.01193 | 0.01593 | 0.03512 | 1 | 0.0000555 | 0.05274 | 0.0304 | 0.02446 | 0.1564 | 9.817 | 2.731 | 0.2108 | 0.4498 | 1 | 1 | 0.01937 | 0.08122 | 0.2008 | 0.1652 | 0.6926 | 1.712 | json |
| t12_x23_u0_b66 | 12 | 23 | 0 | 66 | ![]() |
sqt(lrg(R,add(D,R))) | 38735 | 98376501 | o1(o2(x,o2(x,x))) | true | 139727 | 139727 | 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 |
| t12_x23_u0_b67 | 12 | 23 | 0 | 67 | ![]() |
sqt(lrg(R,sub(D,R))) | 38736 | 98376502 | o1(o2(x,o2(x,x))) | true | 139735 | 139735 | 0.4898 | 0.9172 | 0.4898 | 0.1541 | 0.3926 | 0 | 1 | 1 | 1 | 3.432 | 0.01004 | 0.002285 | 0.06307 | 0.6294 | 1 | 0.00008436 | 0.01703 | 0.03881 | 0.008353 | 0.0914 | 1.449 | 0.9997 | 0.08 | 0.1105 | 1 | 1 | 0.01554 | 0.1282 | 0.294 | 0.1009 | 0.8321 | 1.907 | json |
| t12_x23_u0_b68 | 12 | 23 | 0 | 68 | ![]() |
sqt(lrg(R,mlt(D,R))) | 38737 | 98376503 | o1(o2(x,o2(x,x))) | true | 139743 | 139743 | 0.4824 | 0.9145 | 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_x23_u0_b69 | 12 | 23 | 0 | 69 | ![]() |
sqt(lrg(R,div(D,R))) | 38738 | 98376504 | o1(o2(x,o2(x,x))) | true | 139751 | 139751 | 0.5076 | 0.9306 | 0.5076 | 0.1537 | 0.392 | 0 | 1 | 1 | 1 | 3.432 | 0.02995 | 0.002237 | 0.08767 | 0.861 | 1 | -0.0002227 | 0.05769 | 0.09089 | 0.02451 | 0.1566 | 1.786 | 0.9997 | 0.2094 | 0.3754 | 1 | 1 | 0.03571 | 0.1851 | 0.2907 | 0.2324 | 1.204 | 1.892 | json |
| t12_x23_u0_b70 | 12 | 23 | 0 | 70 | ![]() |
sqt(lrg(R,pow(D,R))) | 38739 | 98376505 | o1(o2(x,o2(x,x))) | true | 139759 | 139759 | 0.6315 | 1 | 0.6315 | 0.1302 | 0.3608 | 0.000291 | 1 | 0.9997 | 1 | 3.398 | 0.0455 | 0.0008739 | 0.1042 | 0.9623 | 1 | 0.0002899 | 0.08483 | 0.1082 | 0.03552 | 0.1885 | 1.809 | 0.9994 | 0.3562 | 0.6515 | 1 | 1 | 0.05054 | 0.1973 | 0.1234 | 0.3882 | 1.515 | 0.9475 | json |
| t12_x23_u0_b71 | 12 | 23 | 0 | 71 | ![]() |
sqt(lrg(R,mod(D,R))) | 38740 | 98376506 | o1(o2(x,o2(x,x))) | true | 139767 | 139767 | 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_x23_u0_b72 | 12 | 23 | 0 | 72 | ![]() |
sqt(lrg(R,lrg(D,R))) | 38741 | 98376507 | o1(o2(x,o2(x,x))) | true | 139775 | 139775 | 0.4232 | 0.8335 | 0.4232 | 0.1518 | 0.3896 | 0 | 1 | 1 | 1 | 3.35 | 0.01015 | 0.002268 | 0.0614 | 0.6347 | 1 | 0.0000315 | 0.01717 | 0.03834 | 0.00865 | 0.093 | 1.515 | 0.9994 | 0.0818 | 0.1131 | 1 | 1 | 0.01515 | 0.1243 | 0.2844 | 0.09979 | 0.819 | 1.874 | json |
| t12_x23_u0_b73 | 12 | 23 | 0 | 73 | ![]() |
sqt(lrg(R,eql(D,R))) | 38742 | 98376508 | o1(o2(x,o2(x,x))) | true | 139783 | 139783 | 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_x23_u0_b74 | 12 | 23 | 0 | 74 | ![]() |
sqt(lrg(R,min(D,R))) | 38743 | 98376509 | o1(o2(x,o2(x,x))) | true | 139791 | 139791 | 0.4991 | 0.9305 | 0.4991 | 0.1466 | 0.3829 | 0 | 1 | 1 | 1 | 3.529 | 0.0202 | 0.00212 | 0.08082 | 0.81 | 1 | 0.00001402 | 0.03815 | 0.07049 | 0.01579 | 0.1257 | 1.555 | 0.9997 | 0.1522 | 0.2602 | 1 | 1 | 0.02456 | 0.14 | 0.2709 | 0.1675 | 0.9551 | 1.848 | json |
| t12_x23_u0_b75 | 12 | 23 | 0 | 75 | ![]() |
sqt(lrg(R,dot(D,R))) | 38744 | 98376510 | o1(o2(x,o2(x,x))) | true | 139799 | 139799 | 0.4865 | 0.905 | 0.4865 | 0.1558 | 0.3947 | 0 | 1 | 1 | 1 | 3.396 | 0.004702 | 0.01157 | 0.06797 | -0.4221 | 1 | 0.00006323 | 0.03608 | 0.05622 | 0.01165 | 0.108 | 1.588 | 1.404 | 0.1044 | 0.2316 | 1 | 1 | 0.01916 | 0.1366 | 0.2882 | 0.1229 | 0.877 | 1.849 | json |
| t12_x23_u0_b76 | 12 | 23 | 0 | 76 | ![]() |
sqt(lrg(R,dst(D,R))) | 38745 | 98376511 | o1(o2(x,o2(x,x))) | true | 139807 | 139807 | 0.03494 | 0.153 | 0.03494 | 0.01758 | 0.1326 | 0 | 0.9926 | 0.9926 | 1 | 0.7688 | 0.004824 | 0.003409 | 0.01889 | 0.1719 | 1 | -0.0001942 | 0.02592 | 0.02597 | 0.007878 | 0.08876 | 4.699 | 1.404 | 0.4683 | 1.475 | 1 | 1 | 0.006816 | 0.02462 | 0.02849 | 0.3878 | 1.4 | 1.621 | json |
| t12_x23_u0_b77 | 12 | 23 | 0 | 77 | ![]() |
sqt(eql(R,add(D,R))) | 38746 | 98376512 | o1(o2(x,o2(x,x))) | true | 139815 | 139815 | 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_x23_u0_b78 | 12 | 23 | 0 | 78 | ![]() |
sqt(eql(R,sub(D,R))) | 38747 | 98376513 | o1(o2(x,o2(x,x))) | true | 139823 | 139823 | 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_x23_u0_b79 | 12 | 23 | 0 | 79 | ![]() |
sqt(eql(R,mlt(D,R))) | 38748 | 98376514 | o1(o2(x,o2(x,x))) | true | 139831 | 139831 | 2.132e-7 | 0.000824 | 2.132e-7 | 4.854e-11 | 0.000006967 | 0 | 0.000291 | 0.000291 | 1 | 0 | 1.003e-10 | 7.118e-13 | 4.44e-7 | 0.9859 | 0 | -1.038e-10 | 3.039e-10 | 8.803e-7 | 1.008e-10 | 0.00001004 | 22.61 | 0.000291 | 2.082 | 6.261 | 1 | 1 | 6.049e-11 | 8.031e-11 | 1.177e-10 | 1.246 | 1.655 | 2.424 | json |
| t12_x23_u0_b80 | 12 | 23 | 0 | 80 | ![]() |
sqt(eql(R,div(D,R))) | 38749 | 98376515 | o1(o2(x,o2(x,x))) | true | 139839 | 139839 | 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_x23_u0_b81 | 12 | 23 | 0 | 81 | ![]() |
sqt(eql(R,pow(D,R))) | 38750 | 98376516 | o1(o2(x,o2(x,x))) | true | 139847 | 139847 | 7.106e-8 | 0.0002747 | 7.106e-8 | 1.62e-11 | 0.000004024 | 0 | 0.000291 | 0.000291 | 1 | 0 | 3.345e-11 | 2.373e-13 | 1.48e-7 | 0.9859 | 0 | 6.74e-16 | 1.013e-10 | 2.935e-7 | 3.364e-11 | 0.0000058 | 39.18 | 0.000291 | 2.08 | 6.255 | 1 | 1 | 1.278e-11 | 1.697e-11 | 1.855e-11 | 0.7888 | 1.048 | 1.145 | json |
| t12_x23_u0_b82 | 12 | 23 | 0 | 82 | ![]() |
sqt(eql(R,mod(D,R))) | 38751 | 98376517 | o1(o2(x,o2(x,x))) | true | 139855 | 139855 | 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_x23_u0_b83 | 12 | 23 | 0 | 83 | ![]() |
sqt(eql(R,lrg(D,R))) | 38752 | 98376518 | o1(o2(x,o2(x,x))) | true | 139863 | 139863 | 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_x23_u0_b84 | 12 | 23 | 0 | 84 | ![]() |
sqt(eql(R,eql(D,R))) | 38753 | 98376519 | o1(o2(x,o2(x,x))) | true | 139871 | 139871 | 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_x23_u0_b85 | 12 | 23 | 0 | 85 | ![]() |
sqt(eql(R,min(D,R))) | 38754 | 98376520 | o1(o2(x,o2(x,x))) | true | 139879 | 139879 | 0.5009 | 0.9274 | 0.5009 | 0.1466 | 0.3829 | 0 | 1 | 1 | 1 | 3.529 | 0.0202 | 0.00212 | 0.08082 | 0.81 | 1 | -0.00001403 | 0.03815 | 0.07049 | 0.01579 | 0.1257 | 1.555 | 0.9997 | 0.1522 | 0.2602 | 1 | 1 | 0.02456 | 0.14 | 0.2709 | 0.1675 | 0.9551 | 1.848 | json |
| t12_x23_u0_b86 | 12 | 23 | 0 | 86 | ![]() |
sqt(eql(R,dot(D,R))) | 38755 | 98376521 | o1(o2(x,o2(x,x))) | true | 139887 | 139887 | 0.00009826 | 0.000351 | 0.00009826 | 0.0000607 | 0.007791 | 0 | 0.8991 | 0.8991 | 1 | 0.003532 | 0.0001253 | 0.0001253 | 0.0003462 | 0 | 1 | 0 | 0.001253 | 0.0008112 | 0.0002505 | 0.01583 | 45.71 | 1.271 | 4.129 | 20.65 | 1 | 1 | 0.0001569 | 0.0001561 | 0.0001449 | 2.584 | 2.571 | 2.387 | json |
| t12_x23_u0_b87 | 12 | 23 | 0 | 87 | ![]() |
sqt(eql(R,dst(D,R))) | 38756 | 98376522 | o1(o2(x,o2(x,x))) | true | 139895 | 139895 | 0.00003112 | 0.0001068 | 0.00003112 | 0.00001826 | 0.004274 | 0 | 0.9414 | 0.9414 | 1 | 0.001536 | 0.0000377 | 0.0000377 | 0.0001096 | 0 | 0 | 7.997e-10 | 0.000377 | 0.0002569 | 0.00007538 | 0.008682 | 79.18 | 1.331 | 4.128 | 20.64 | 1 | 1 | 0.00005579 | 0.00005579 | 0.0000558 | 3.055 | 3.055 | 3.055 | json |
| t12_x23_u0_b88 | 12 | 23 | 0 | 88 | ![]() |
sqt(min(R,add(D,R))) | 38757 | 98376523 | o1(o2(x,o2(x,x))) | true | 139903 | 139903 | -0.9728 | 0.01685 | 0.9935 | 0.0436 | 0.2088 | -1 | 0.9533 | 1.953 | 1 | 0.1799 | 0.01332 | 0.004686 | 0.01169 | 0.4794 | 1 | 0.00001108 | 0.03881 | 0.02243 | 0.01786 | 0.1336 | 11.44 | 2.707 | 0.4129 | 0.8901 | 1 | 1 | 0.01287 | 0.04659 | 0.07588 | 0.2952 | 1.068 | 1.74 | json |
| t12_x23_u0_b89 | 12 | 23 | 0 | 89 | ![]() |
sqt(min(R,sub(D,R))) | 38758 | 98376524 | o1(o2(x,o2(x,x))) | true | 139911 | 139911 | -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_x23_u0_b90 | 12 | 23 | 0 | 90 | ![]() |
sqt(min(R,mlt(D,R))) | 38759 | 98376525 | o1(o2(x,o2(x,x))) | true | 139919 | 139919 | -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_x23_u0_b91 | 12 | 23 | 0 | 91 | ![]() |
sqt(min(R,div(D,R))) | 38760 | 98376526 | o1(o2(x,o2(x,x))) | true | 139927 | 139927 | -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_x23_u0_b92 | 12 | 23 | 0 | 92 | ![]() |
sqt(min(R,pow(D,R))) | 38761 | 98376527 | o1(o2(x,o2(x,x))) | true | 139935 | 139935 | -0.9294 | 0.04297 | 0.9847 | 0.1121 | 0.3348 | -1 | 0.9696 | 1.97 | 1 | 0.4004 | 0.01052 | 0.0112 | 0.01457 | -0.03135 | 1 | -0.00003135 | 0.04463 | 0.0269 | 0.02149 | 0.1466 | 10.06 | 2.731 | 0.1937 | 0.3981 | 1 | 1 | 0.01715 | 0.07694 | 0.1924 | 0.153 | 0.6863 | 1.717 | json |
| t12_x23_u0_b93 | 12 | 23 | 0 | 93 | ![]() |
sqt(min(R,mod(D,R))) | 38762 | 98376528 | o1(o2(x,o2(x,x))) | true | 139943 | 139943 | -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_x23_u0_b94 | 12 | 23 | 0 | 94 | ![]() |
sqt(min(R,lrg(D,R))) | 38763 | 98376529 | o1(o2(x,o2(x,x))) | true | 139951 | 139951 | -0.9546 | 0.02547 | 0.9594 | 0.04628 | 0.2151 | -1 | 0.4527 | 1.453 | 1 | 0.3173 | 0.004429 | 0.004572 | 0.009699 | -0.0159 | 1 | -0.000003929 | 0.01877 | 0.01835 | 0.008907 | 0.09438 | 9.731 | 1.454 | 0.1945 | 0.4056 | 1 | 1 | 0.006805 | 0.03029 | 0.07827 | 0.147 | 0.6544 | 1.691 | json |
| t12_x23_u0_b95 | 12 | 23 | 0 | 95 | ![]() |
sqt(min(R,eql(D,R))) | 38764 | 98376530 | o1(o2(x,o2(x,x))) | true | 139959 | 139959 | -0.957 | 0 | 0.957 | 0.04112 | 0.2028 | -1 | 0 | 1 | 1 | 0.2557 | 0.00422 | 0.004094 | 0.008259 | 0.01515 | 1 | 0 | 0.01738 | 0.01663 | 0.008241 | 0.09078 | 10.99 | 1.414 | 0.2022 | 0.4228 | 1 | 1 | 0.006357 | 0.02738 | 0.06893 | 0.1546 | 0.6659 | 1.676 | json |
| t12_x23_u0_b96 | 12 | 23 | 0 | 96 | ![]() |
sqt(min(R,min(D,R))) | 38765 | 98376531 | o1(o2(x,o2(x,x))) | true | 139967 | 139967 | -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_x23_u0_b97 | 12 | 23 | 0 | 97 | ![]() |
sqt(min(R,dot(D,R))) | 38766 | 98376532 | o1(o2(x,o2(x,x))) | true | 139975 | 139975 | -0.9984 | 0.001236 | 0.9992 | 0.002192 | 0.04681 | -1 | 0.511 | 1.511 | 1 | 0.01709 | 0.00152 | 0.000475 | 0.001508 | 0.5238 | 1 | -3.004e-11 | 0.006044 | 0.003109 | 0.001992 | 0.04463 | 29.59 | 1.896 | 0.9104 | 2.758 | 1 | 1 | 0.00196 | 0.005359 | 0.006228 | 0.8941 | 2.445 | 2.842 | json |
| t12_x23_u0_b98 | 12 | 23 | 0 | 98 | ![]() |
sqt(min(R,dst(D,R))) | 38767 | 98376533 | o1(o2(x,o2(x,x))) | true | 139983 | 139983 | -0.9261 | 0.04297 | 0.988 | 0.1226 | 0.3502 | -1 | 0.971 | 1.971 | 1 | 0.3911 | 0.01252 | 0.01237 | 0.01513 | 0.005975 | 1 | 0.000006195 | 0.05204 | 0.02884 | 0.02468 | 0.1571 | 10.38 | 2.731 | 0.203 | 0.4243 | 1 | 1 | 0.01965 | 0.08469 | 0.208 | 0.1602 | 0.6906 | 1.696 | json |
| t12_x23_u0_b99 | 12 | 23 | 0 | 99 | ![]() |
sqt(dot(R,add(D,R))) | 38768 | 98376534 | o1(o2(x,o2(x,x))) | true | 139991 | 139991 | 0.6103 | 0.8505 | 0.9093 | 0.4769 | 0.6906 | -1 | 1 | 2 | 1 | 2.481 | 0.1173 | 0.1238 | 0.1388 | -0.02671 | 1 | -0.0005584 | 0.6853 | 0.2633 | 0.2218 | 0.471 | 3.392 | 2.828 | 0.5054 | 1.437 | 1 | 1 | 0.2138 | 0.5824 | 0.8408 | 0.4484 | 1.221 | 1.763 | json |
| t12_x23_u0_b100 | 12 | 23 | 0 | 100 | ![]() |
sqt(dot(R,sub(D,R))) | 38769 | 98376535 | o1(o2(x,o2(x,x))) | true | 139999 | 139999 | -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_x23_u0_b101 | 12 | 23 | 0 | 101 | ![]() |
sqt(dot(R,mlt(D,R))) | 38770 | 98376536 | o1(o2(x,o2(x,x))) | true | 140007 | 140007 | -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_x23_u0_b102 | 12 | 23 | 0 | 102 | ![]() |
sqt(dot(R,div(D,R))) | 38771 | 98376537 | o1(o2(x,o2(x,x))) | true | 140015 | 140015 | -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_x23_u0_b103 | 12 | 23 | 0 | 103 | ![]() |
sqt(dot(R,pow(D,R))) | 38772 | 98376538 | o1(o2(x,o2(x,x))) | true | 140023 | 140023 | -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_x23_u0_b104 | 12 | 23 | 0 | 104 | ![]() |
sqt(dot(R,mod(D,R))) | 38773 | 98376539 | o1(o2(x,o2(x,x))) | true | 140031 | 140031 | -0.9045 | 0.06917 | 0.9571 | 0.1242 | 0.3525 | -1 | 0.7301 | 1.73 | 1 | 0.5884 | 0.06533 | 0.06096 | 0.08871 | 0.03453 | 1 | -0.0001259 | 0.4647 | 0.1887 | 0.1184 | 0.3441 | 3.879 | 2.444 | 1.017 | 3.741 | 1 | 1 | 0.1044 | 0.1994 | 0.2827 | 0.8408 | 1.605 | 2.276 | json |
| t12_x23_u0_b105 | 12 | 23 | 0 | 105 | ![]() |
sqt(dot(R,lrg(D,R))) | 38774 | 98376540 | o1(o2(x,o2(x,x))) | true | 140039 | 140039 | -0.9999 | 0.0001068 | 0.9999 | 0.0001203 | 0.01097 | -1 | 0.1704 | 1.17 | 1 | 0.00171 | 0.0002483 | 0.00003743 | 0.0002586 | 0.738 | 1 | 3.754e-12 | 0.0009711 | 0.0005355 | 0.0002856 | 0.0169 | 65.35 | 1.414 | 2.376 | 8.074 | 1 | 1 | 0.0002827 | 0.0004368 | 0.0004368 | 2.351 | 3.631 | 3.631 | json |
| t12_x23_u0_b106 | 12 | 23 | 0 | 106 | ![]() |
sqt(dot(R,eql(D,R))) | 38775 | 98376541 | o1(o2(x,o2(x,x))) | true | 140047 | 140047 | -0.0001327 | 0.0004883 | 0.0003556 | 0.000284 | 0.01685 | -1 | 0.4564 | 1.456 | 1 | 0.008975 | 0.0004415 | 0.00009805 | 0.0006889 | 0.6365 | 1 | 3.754e-12 | 0.001667 | 0.001374 | 0.0005391 | 0.02322 | 33.7 | 1 | 1.9 | 5.868 | 1 | 1 | 0.00007442 | 0.00009881 | 0.0003525 | 0.2621 | 0.3479 | 1.241 | json |
| t12_x23_u0_b107 | 12 | 23 | 0 | 107 | ![]() |
sqt(dot(R,min(D,R))) | 38776 | 98376542 | o1(o2(x,o2(x,x))) | true | 140055 | 140055 | -0.1401 | 0.5017 | 0.8565 | 0.7578 | 0.8705 | -1 | 1 | 2 | 1 | 2.756 | 0.1161 | 0.117 | 0.1506 | -0.00365 | 1 | -0.0002325 | 0.5773 | 0.2864 | 0.2104 | 0.4587 | 3.047 | 2.828 | 0.3076 | 0.7618 | 1 | 1 | 0.2226 | 0.7693 | 1.244 | 0.2937 | 1.015 | 1.642 | json |
| t12_x23_u0_b108 | 12 | 23 | 0 | 108 | ![]() |
sqt(dot(R,dot(D,R))) | 38777 | 98376543 | o1(o2(x,o2(x,x))) | true | 140063 | 140063 | -0.9363 | 0.0488 | 0.9661 | 0.08019 | 0.2832 | -1 | 0.7871 | 1.787 | 1 | 0.4396 | 0.0248 | 0.02396 | 0.03727 | 0.0173 | 1 | 0.00004929 | 0.1521 | 0.0759 | 0.04737 | 0.2176 | 5.84 | 2.38 | 0.608 | 1.897 | 1 | 1 | 0.04661 | 0.1312 | 0.1627 | 0.5813 | 1.636 | 2.029 | json |
| t12_x23_u0_b109 | 12 | 23 | 0 | 109 | ![]() |
sqt(dot(R,dst(D,R))) | 38778 | 98376544 | o1(o2(x,o2(x,x))) | true | 140071 | 140071 | -0.8976 | 0.05859 | 0.9852 | 0.1712 | 0.4137 | -1 | 1 | 2 | 1 | 0.5143 | 0.01658 | 0.01922 | 0.02173 | -0.07381 | 1 | -0.000002515 | 0.07495 | 0.04099 | 0.03534 | 0.188 | 8.65 | 2.828 | 0.2092 | 0.4379 | 1 | 1 | 0.05289 | 0.2228 | 0.4901 | 0.309 | 1.302 | 2.863 | json |
| t12_x23_u0_b110 | 12 | 23 | 0 | 110 | ![]() |
sqt(dst(R,add(D,R))) | 38779 | 98376545 | o1(o2(x,o2(x,x))) | true | 140079 | 140079 | 0.6462 | 1 | 0.6462 | 0.0189 | 0.1375 | 0.2107 | 0.838 | 0.6273 | 1 | 2.946 | 0.001647 | 0.001647 | 0.05095 | -0.000001307 | 1 | -0.0006689 | 0.0009022 | 0.01589 | 0.0006987 | 0.02643 | 0.5188 | 0.1533 | 0.1743 | 0.04773 | 1 | 1 | 0.00623 | 0.0394 | 2.317e-16 | 0.3296 | 2.084 | 1.226e-14 | json |
| t12_x23_u0_b111 | 12 | 23 | 0 | 111 | ![]() |
sqt(dst(R,sub(D,R))) | 38780 | 98376546 | o1(o2(x,o2(x,x))) | true | 140087 | 140087 | 0.9969 | 1 | 0.9969 | 0.0006626 | 0.02574 | 0.3703 | 1 | 0.6297 | 1 | 0.1555 | 0.000024 | 0.00004242 | 0.001222 | -0.2773 | 0 | -0.000005757 | 0.00002988 | 0.000827 | 0.00006489 | 0.008055 | 6.592 | 0.1288 | 0.1002 | 0.0451 | 1 | 1 | 0.00006746 | 0.0004651 | 0.0008032 | 0.1018 | 0.702 | 1.212 | json |
| t12_x23_u0_b112 | 12 | 23 | 0 | 112 | ![]() |
sqt(dst(R,mlt(D,R))) | 38781 | 98376547 | o1(o2(x,o2(x,x))) | true | 140095 | 140095 | 0.9382 | 1 | 0.9382 | 0.008633 | 0.09291 | 0.3107 | 1 | 0.6893 | 1 | 1.661 | 0.0001549 | 0.00021 | 0.0119 | -0.151 | 1 | -4.153e-7 | 0.00007414 | 0.004477 | 0.0002233 | 0.01494 | 1.256 | 0.1022 | 0.04226 | 0.008588 | 1 | 1 | 0.0005936 | 0.006137 | 0.01273 | 0.06876 | 0.7109 | 1.474 | json |
| t12_x23_u0_b113 | 12 | 23 | 0 | 113 | ![]() |
sqt(dst(R,div(D,R))) | 38782 | 98376548 | o1(o2(x,o2(x,x))) | true | 140103 | 140103 | 0.9932 | 1 | 0.9932 | 0.001229 | 0.03506 | 0.3631 | 1 | 0.6369 | 1 | 0.3085 | 0.0003265 | 0.0002943 | 0.005681 | 0.05182 | 1 | -0.00005143 | 0.0008703 | 0.006494 | 0.0005884 | 0.02426 | 4.27 | 0.4548 | 0.5051 | 0.7081 | 1 | 1 | 0.0008564 | 0.002347 | 0.001873 | 0.6968 | 1.91 | 1.524 | json |
| t12_x23_u0_b114 | 12 | 23 | 0 | 114 | ![]() |
sqt(dst(R,pow(D,R))) | 38783 | 98376549 | o1(o2(x,o2(x,x))) | true | 140111 | 140111 | -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_x23_u0_b115 | 12 | 23 | 0 | 115 | ![]() |
sqt(dst(R,mod(D,R))) | 38784 | 98376550 | o1(o2(x,o2(x,x))) | true | 140119 | 140119 | 0.9317 | 1 | 0.9317 | 0.0104 | 0.102 | 0.2674 | 1 | 0.7326 | 1 | 1.773 | 0.0004078 | 0.000469 | 0.01775 | -0.06983 | 1 | 0.00001752 | 0.0009873 | 0.01504 | 0.0005617 | 0.0237 | 1.335 | 0.3256 | 0.0843 | 0.09492 | 1 | 1 | 0.001185 | 0.009524 | 0.01733 | 0.1139 | 0.9157 | 1.666 | json |
| t12_x23_u0_b116 | 12 | 23 | 0 | 116 | ![]() |
sqt(dst(R,lrg(D,R))) | 38785 | 98376551 | o1(o2(x,o2(x,x))) | true | 140127 | 140127 | 0.9978 | 1 | 0.9978 | 0.000587 | 0.02423 | 0.3155 | 1 | 0.6845 | 1 | 0.1085 | 0.0001406 | 0.0001134 | 0.001389 | 0.1069 | 1 | -0.000001116 | 0.0004963 | 0.001896 | 0.000252 | 0.01588 | 11.43 | 0.9369 | 0.4327 | 0.8456 | 1 | 1 | 0.0002377 | 0.0008241 | 0.0008799 | 0.405 | 1.404 | 1.499 | json |
| t12_x23_u0_b117 | 12 | 23 | 0 | 117 | ![]() |
sqt(dst(R,eql(D,R))) | 38786 | 98376552 | o1(o2(x,o2(x,x))) | true | 140135 | 140135 | 0.9395 | 1 | 0.9395 | 0.008315 | 0.09119 | 0.3152 | 1 | 0.6848 | 1 | 1.63 | 0.0001179 | 0.0001711 | 0.009847 | -0.1839 | 1 | -0.000009907 | 0.00007463 | 0.003334 | 0.0001921 | 0.01386 | 1.407 | 0.1692 | 0.03476 | 0.008975 | 1 | 1 | 0.000451 | 0.005094 | 0.0124 | 0.05423 | 0.6127 | 1.492 | json |
| t12_x23_u0_b118 | 12 | 23 | 0 | 118 | ![]() |
sqt(dst(R,min(D,R))) | 38787 | 98376553 | o1(o2(x,o2(x,x))) | true | 140143 | 140143 | 0.7146 | 0.9993 | 0.7146 | 0.07216 | 0.2686 | 0 | 1 | 1 | 1 | 3.55 | 0.001626 | 0.001455 | 0.04245 | 0.05534 | 1 | 0.00008595 | 0.0007799 | 0.01451 | 0.001279 | 0.03577 | 0.8425 | 0.2574 | 0.0427 | 0.01081 | 1 | 1 | 0.005581 | 0.06088 | 0.1346 | 0.07734 | 0.8437 | 1.865 | json |
| t12_x23_u0_b119 | 12 | 23 | 0 | 119 | ![]() |
sqt(dst(R,dot(D,R))) | 38788 | 98376554 | o1(o2(x,o2(x,x))) | true | 140151 | 140151 | 0.9451 | 1 | 0.9451 | 0.008125 | 0.09014 | 0.297 | 1 | 0.703 | 1 | 1.533 | 0.0001911 | 0.0002528 | 0.01247 | -0.139 | 1 | -0.00002868 | 0.000124 | 0.005525 | 0.0002883 | 0.01698 | 1.361 | 0.1227 | 0.05463 | 0.01527 | 1 | 1 | 0.0007583 | 0.006957 | 0.01234 | 0.09333 | 0.8563 | 1.519 | json |
| t12_x23_u0_b120 | 12 | 23 | 0 | 120 | ![]() |
sqt(dst(R,dst(D,R))) | 38789 | 98376555 | o1(o2(x,o2(x,x))) | true | 140159 | 140159 | 0.994 | 1 | 0.994 | 0.001101 | 0.03318 | 0.1754 | 1 | 0.8246 | 1 | 0.2877 | 0.00008383 | 0.00009165 | 0.003005 | -0.04458 | 1 | -0.000004581 | 0.00009597 | 0.00222 | 0.0001663 | 0.0129 | 4.291 | 0.2006 | 0.1594 | 0.08718 | 1 | 1 | 0.0002689 | 0.001585 | 0.001763 | 0.2442 | 1.44 | 1.602 | json |
| t12_x23_u1_b0 | 12 | 23 | 1 | 0 | ![]() |
log(add(R,add(D,R))) | 38790 | 98376636 | o1(o2(x,o2(x,x))) | true | 140167 | 140167 | -0.9604 | 0.01955 | 0.9705 | 0.0403 | 0.2008 | -1 | 0.6145 | 1.614 | 1 | 0.4711 | 0.008314 | 0.004824 | 0.01491 | 0.2656 | 1 | 0.00001815 | 0.02864 | 0.02415 | 0.01293 | 0.1137 | 7.627 | 2.261 | 0.326 | 0.7107 | 1 | 1 | 0.01342 | 0.04283 | 0.08505 | 0.333 | 1.063 | 2.11 | json |
| t12_x23_u1_b1 | 12 | 23 | 1 | 1 | ![]() |
log(add(R,sub(D,R))) | 38791 | 98376637 | o1(o2(x,o2(x,x))) | true | 140175 | 140175 | -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_x23_u1_b2 | 12 | 23 | 1 | 2 | ![]() |
log(add(R,mlt(D,R))) | 38792 | 98376638 | o1(o2(x,o2(x,x))) | true | 140183 | 140183 | -0.986 | 0.0001068 | 0.986 | 0.007931 | 0.08905 | -1 | 0.02656 | 1.027 | 1 | 0.3145 | 0.001098 | 0.001033 | 0.005053 | 0.03036 | 1 | 0.00002523 | 0.00422 | 0.006676 | 0.002106 | 0.04589 | 9.081 | 1.167 | 0.2688 | 0.5321 | 1 | 1 | 0.001857 | 0.00764 | 0.01288 | 0.2342 | 0.9633 | 1.624 | json |
| t12_x23_u1_b3 | 12 | 23 | 1 | 3 | ![]() |
log(add(R,div(D,R))) | 38793 | 98376639 | o1(o2(x,o2(x,x))) | true | 140191 | 140191 | -0.9556 | 0.01906 | 0.9706 | 0.04988 | 0.2233 | -1 | 1 | 2 | 1 | 0.5112 | 0.01057 | 0.005866 | 0.02058 | 0.2862 | 1 | -0.00005214 | 0.03229 | 0.02972 | 0.01602 | 0.1266 | 6.15 | 2.828 | 0.3295 | 0.6473 | 1 | 1 | 0.01872 | 0.06899 | 0.09501 | 0.3752 | 1.383 | 1.905 | json |
| t12_x23_u1_b4 | 12 | 23 | 1 | 4 | ![]() |
log(add(R,pow(D,R))) | 38794 | 98376640 | o1(o2(x,o2(x,x))) | true | 140199 | 140199 | -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_x23_u1_b5 | 12 | 23 | 1 | 5 | ![]() |
log(add(R,mod(D,R))) | 38795 | 98376641 | o1(o2(x,o2(x,x))) | true | 140207 | 140207 | -0.9862 | 0.0002747 | 0.9863 | 0.00839 | 0.0916 | -1 | 0.04884 | 1.049 | 1 | 0.2876 | 0.001768 | 0.001078 | 0.006295 | 0.2424 | 1 | 0.00001404 | 0.006054 | 0.009932 | 0.002807 | 0.05298 | 8.416 | 1.167 | 0.3393 | 0.7216 | 1 | 1 | 0.002196 | 0.008166 | 0.01334 | 0.2617 | 0.9733 | 1.59 | json |
| t12_x23_u1_b6 | 12 | 23 | 1 | 6 | ![]() |
log(add(R,lrg(D,R))) | 38796 | 98376642 | o1(o2(x,o2(x,x))) | true | 140215 | 140215 | -0.8115 | 0.005493 | 0.8123 | 0.08421 | 0.2902 | -1 | 0.2132 | 1.213 | 1 | 2.369 | 0.02914 | 0.005116 | 0.06922 | 0.7013 | 1 | -0.0001406 | 0.07235 | 0.1027 | 0.02945 | 0.1716 | 2.479 | 1.573 | 0.4068 | 0.8592 | 1 | 1 | 0.03414 | 0.1024 | 0.1519 | 0.4055 | 1.216 | 1.804 | json |
| t12_x23_u1_b7 | 12 | 23 | 1 | 7 | ![]() |
log(add(R,eql(D,R))) | 38797 | 98376643 | o1(o2(x,o2(x,x))) | true | 140223 | 140223 | -0.9838 | 0 | 0.9838 | 0.009626 | 0.09811 | -1 | -0.05896 | 0.941 | 1 | 0.3254 | 0.001056 | 0.001224 | 0.005061 | -0.07381 | 1 | 0.00001706 | 0.004529 | 0.00698 | 0.002254 | 0.04747 | 9.381 | 1.212 | 0.2369 | 0.4706 | 1 | 1 | 0.001967 | 0.008849 | 0.01618 | 0.2044 | 0.9193 | 1.681 | json |
| t12_x23_u1_b8 | 12 | 23 | 1 | 8 | ![]() |
log(add(R,min(D,R))) | 38798 | 98376644 | o1(o2(x,o2(x,x))) | true | 140231 | 140231 | -0.996 | 0 | 0.996 | 0.002013 | 0.04487 | -1 | -0.09567 | 0.9043 | 1 | 0.1129 | 0.0006486 | 0.000232 | 0.002192 | 0.4731 | 1 | 0.0000242 | 0.001956 | 0.003359 | 0.0008761 | 0.0296 | 13.5 | 1.16 | 0.4375 | 0.9717 | 1 | 1 | 0.0007224 | 0.002371 | 0.003601 | 0.3589 | 1.178 | 1.789 | json |
| t12_x23_u1_b9 | 12 | 23 | 1 | 9 | ![]() |
log(add(R,dot(D,R))) | 38799 | 98376645 | o1(o2(x,o2(x,x))) | true | 140239 | 140239 | -0.9822 | 0.001877 | 0.9825 | 0.01169 | 0.1081 | -1 | 0.2318 | 1.232 | 1 | 0.3615 | 0.002788 | 0.002189 | 0.009634 | 0.1204 | 1 | -0.0000247 | 0.012 | 0.01468 | 0.004883 | 0.06988 | 7.253 | 1.438 | 0.4258 | 1.026 | 1 | 1 | 0.005179 | 0.01766 | 0.02256 | 0.443 | 1.511 | 1.93 | json |



































































































