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_x21_u6_b99 | 12 | 21 | 6 | 99 | ![]() |
nrm(dot(R,add(D,P))) | 37800 | 98296938 | o1(o2(x,o2(x,x))) | true | 132247 | 132247 | -0.04312 | 0.4618 | 0.4203 | 0.2068 | 0.4547 | -0.5774 | 0.5774 | 1.155 | 1 | 3.874 | 0.005471 | 0.005733 | 0.0649 | -0.0234 | 1 | -0.0000351 | 0.01778 | 0.02929 | 0.006991 | 0.08361 | 1.288 | 1.632 | 0.05419 | 0.08601 | 1 | 1 | 0.01967 | 0.1708 | 0.4092 | 0.09513 | 0.8263 | 1.979 | json |
| t12_x21_u6_b100 | 12 | 21 | 6 | 100 | ![]() |
nrm(dot(R,sub(D,P))) | 37801 | 98296939 | o1(o2(x,o2(x,x))) | true | 132255 | 132255 | 0.04224 | 0.5378 | 0.4191 | 0.2061 | 0.454 | -0.5774 | 0.5774 | 1.155 | 1 | 3.882 | 0.005622 | 0.005878 | 0.06526 | -0.0223 | 1 | 0.00007594 | 0.01859 | 0.02964 | 0.007241 | 0.0851 | 1.304 | 1.627 | 0.05581 | 0.09019 | 1 | 1 | 0.01988 | 0.1728 | 0.4096 | 0.09649 | 0.8385 | 1.987 | json |
| t12_x21_u6_b101 | 12 | 21 | 6 | 101 | ![]() |
nrm(dot(R,mlt(D,P))) | 37802 | 98296940 | o1(o2(x,o2(x,x))) | true | 132263 | 132263 | -0.01942 | 0.4876 | 0.4177 | 0.2122 | 0.4607 | -1 | 0.5774 | 1.577 | 1 | 4.029 | 0.04294 | 0.04189 | 0.1351 | 0.0123 | 1 | 0.000247 | 0.2464 | 0.188 | 0.06658 | 0.258 | 1.91 | 1.954 | 0.3997 | 1.161 | 1 | 1 | 0.0905 | 0.3663 | 0.4386 | 0.4264 | 1.726 | 2.067 | json |
| t12_x21_u6_b102 | 12 | 21 | 6 | 102 | ![]() |
nrm(dot(R,div(D,P))) | 37803 | 98296941 | o1(o2(x,o2(x,x))) | true | 132271 | 132271 | -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_x21_u6_b103 | 12 | 21 | 6 | 103 | ![]() |
nrm(dot(R,pow(D,P))) | 37804 | 98296942 | o1(o2(x,o2(x,x))) | true | 132279 | 132279 | -0.9956 | 0.002441 | 0.9975 | 0.005428 | 0.07368 | -1 | 0.5773 | 1.577 | 1 | 0.05317 | 0.0007682 | 0.0007034 | 0.001442 | 0.04403 | 1 | 2.253e-11 | 0.003095 | 0.002412 | 0.001468 | 0.03832 | 26.57 | 2.23 | 0.2711 | 0.5702 | 1 | 1 | 0.002643 | 0.01137 | 0.01976 | 0.4869 | 2.095 | 3.64 | json |
| t12_x21_u6_b104 | 12 | 21 | 6 | 104 | ![]() |
nrm(dot(R,mod(D,P))) | 37805 | 98296943 | o1(o2(x,o2(x,x))) | true | 132287 | 132287 | -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_x21_u6_b105 | 12 | 21 | 6 | 105 | ![]() |
nrm(dot(R,lrg(D,P))) | 37806 | 98296944 | o1(o2(x,o2(x,x))) | true | 132295 | 132295 | -0.2972 | 0.36 | 0.6013 | 0.3688 | 0.6073 | -1 | 0.5774 | 1.577 | 1 | 3.574 | 0.006156 | 0.005797 | 0.04727 | 0.02997 | 1 | 0.00004528 | 0.01634 | 0.02328 | 0.00972 | 0.09859 | 2.086 | 1.577 | 0.03241 | 0.04431 | 1 | 1 | 0.01843 | 0.1335 | 0.3579 | 0.04997 | 0.362 | 0.9703 | json |
| t12_x21_u6_b106 | 12 | 21 | 6 | 106 | ![]() |
nrm(dot(R,eql(D,P))) | 37807 | 98296945 | o1(o2(x,o2(x,x))) | true | 132303 | 132303 | -0.0203 | 0.48 | 0.4101 | 0.201 | 0.4483 | -0.5774 | 0.5774 | 1.155 | 1 | 3.961 | 0.002909 | 0.003088 | 0.06077 | -0.02985 | 1 | -0.00002387 | 0.0003616 | 0.01486 | 0.002303 | 0.04799 | 0.7897 | 0.135 | 0.02984 | 0.001799 | 1 | 1 | 0.01227 | 0.1578 | 0.4111 | 0.06107 | 0.7854 | 2.046 | json |
| t12_x21_u6_b107 | 12 | 21 | 6 | 107 | ![]() |
nrm(dot(R,min(D,P))) | 37808 | 98296946 | o1(o2(x,o2(x,x))) | true | 132311 | 132311 | -0.01972 | 0.4816 | 0.4174 | 0.2075 | 0.4555 | -1 | 0.5774 | 1.577 | 1 | 3.946 | 0.01577 | 0.01567 | 0.08437 | 0.002901 | 1 | -0.00008724 | 0.08009 | 0.07152 | 0.02432 | 0.156 | 1.849 | 1.907 | 0.1515 | 0.386 | 1 | 1 | 0.03835 | 0.2263 | 0.4272 | 0.1848 | 1.091 | 2.059 | json |
| t12_x21_u6_b108 | 12 | 21 | 6 | 108 | ![]() |
nrm(dot(R,dot(D,P))) | 37809 | 98296947 | o1(o2(x,o2(x,x))) | true | 132319 | 132319 | -0.03172 | 0.4856 | 0.4361 | 0.2322 | 0.4819 | -1 | 0.5774 | 1.577 | 1 | 4.001 | 0.08331 | 0.08289 | 0.179 | 0.002507 | 1 | 0.0001821 | 0.7269 | 0.3059 | 0.1342 | 0.3663 | 2.046 | 2.231 | 0.7157 | 3.13 | 1 | 1 | 0.139 | 0.4146 | 0.4596 | 0.5987 | 1.785 | 1.979 | json |
| t12_x21_u6_b109 | 12 | 21 | 6 | 109 | ![]() |
nrm(dot(R,dst(D,P))) | 37810 | 98296948 | o1(o2(x,o2(x,x))) | true | 132327 | 132327 | 0.009021 | 0.5076 | 0.4135 | 0.2033 | 0.4509 | -0.5774 | 0.5774 | 1.155 | 1 | 3.948 | 0.003042 | 0.002952 | 0.06076 | 0.015 | 1 | 0.00001565 | 0.0003513 | 0.01475 | 0.002301 | 0.04797 | 0.7895 | 0.135 | 0.02949 | 0.001728 | 1 | 1 | 0.01151 | 0.1483 | 0.3976 | 0.0566 | 0.7295 | 1.956 | json |
| t12_x21_u6_b110 | 12 | 21 | 6 | 110 | ![]() |
nrm(dst(R,add(D,P))) | 37811 | 98296949 | o1(o2(x,o2(x,x))) | true | 132335 | 132335 | 0.5777 | 1 | 0.5777 | 1.421e-7 | 0.000377 | 0.5774 | 0.5774 | 1.192e-7 | 1 | 0 | 5.271e-16 | 5.258e-16 | 1.435e-8 | 0.000001287 | 0 | -7.261e-9 | 4.647e-15 | 1.941e-8 | 8.467e-16 | 2.91e-8 | 2.028 | 1.686e-7 | 7.41e-9 | 3.271e-8 | 1 | 1 | 4.777e-16 | 4.833e-16 | 4.982e-16 | 3.362e-9 | 3.401e-9 | 3.506e-9 | json |
| t12_x21_u6_b111 | 12 | 21 | 6 | 111 | ![]() |
nrm(dst(R,sub(D,P))) | 37812 | 98296950 | o1(o2(x,o2(x,x))) | true | 132343 | 132343 | 0.5777 | 1 | 0.5777 | 1.421e-7 | 0.000377 | 0.5774 | 0.5774 | 1.192e-7 | 1 | 0 | 5.255e-16 | 5.265e-16 | 1.428e-8 | -9.511e-7 | 0 | -6.889e-9 | 4.629e-15 | 1.93e-8 | 8.484e-16 | 2.913e-8 | 2.039 | 1.686e-7 | 7.404e-9 | 3.257e-8 | 1 | 1 | 4.859e-16 | 4.892e-16 | 4.937e-16 | 3.42e-9 | 3.443e-9 | 3.475e-9 | json |
| t12_x21_u6_b112 | 12 | 21 | 6 | 112 | ![]() |
nrm(dst(R,mlt(D,P))) | 37813 | 98296951 | o1(o2(x,o2(x,x))) | true | 132351 | 132351 | 0.5777 | 1 | 0.5777 | 1.421e-7 | 0.000377 | 0.5774 | 0.5774 | 1.192e-7 | 1 | 0 | 4.777e-16 | 4.556e-16 | 1.284e-8 | 0.0000221 | 0 | -7.231e-9 | 3.89e-15 | 1.628e-8 | 7.689e-16 | 2.773e-8 | 2.16 | 1.686e-7 | 6.568e-9 | 2.738e-8 | 1 | 1 | 4.53e-16 | 4.699e-16 | 4.793e-16 | 3.188e-9 | 3.307e-9 | 3.373e-9 | json |
| t12_x21_u6_b113 | 12 | 21 | 6 | 113 | ![]() |
nrm(dst(R,div(D,P))) | 37814 | 98296952 | o1(o2(x,o2(x,x))) | true | 132359 | 132359 | -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_x21_u6_b114 | 12 | 21 | 6 | 114 | ![]() |
nrm(dst(R,pow(D,P))) | 37815 | 98296953 | o1(o2(x,o2(x,x))) | true | 132367 | 132367 | -0.9938 | 0.003906 | 0.9984 | 0.009693 | 0.09845 | -1 | 0.5774 | 1.577 | 1 | 0.03687 | 0.001254 | 0.001254 | 0.001575 | 0 | 1 | -7.509e-11 | 0.005328 | 0.003179 | 0.002504 | 0.05004 | 31.77 | 2.231 | 0.2587 | 0.5497 | 1 | 1 | 0.004411 | 0.01764 | 0.03529 | 0.4551 | 1.82 | 3.641 | json |
| t12_x21_u6_b115 | 12 | 21 | 6 | 115 | ![]() |
nrm(dst(R,mod(D,P))) | 37816 | 98296954 | o1(o2(x,o2(x,x))) | true | 132375 | 132375 | -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_x21_u6_b116 | 12 | 21 | 6 | 116 | ![]() |
nrm(dst(R,lrg(D,P))) | 37817 | 98296955 | o1(o2(x,o2(x,x))) | true | 132383 | 132383 | 0.5777 | 1 | 0.5777 | 1.421e-7 | 0.000377 | 0.5774 | 0.5774 | 1.192e-7 | 1 | 0 | 6.064e-17 | 4.867e-17 | 1.72e-9 | 0.00001197 | 0 | -8.748e-10 | 4.932e-16 | 2.069e-9 | 1.064e-16 | 1.032e-8 | 5.998 | 1.192e-7 | 7.693e-10 | 3.471e-9 | 1 | 1 | 1.098e-16 | 4.102e-16 | 6.367e-16 | 7.729e-10 | 2.887e-9 | 4.481e-9 | json |
| t12_x21_u6_b117 | 12 | 21 | 6 | 117 | ![]() |
nrm(dst(R,eql(D,P))) | 37818 | 98296956 | o1(o2(x,o2(x,x))) | true | 132391 | 132391 | 0.5777 | 1 | 0.5777 | 1.421e-7 | 0.0003769 | 0.5774 | 0.5774 | 1.192e-7 | 1 | 0 | 5.555e-17 | 4.33e-17 | 1.588e-9 | 0.00001225 | 0 | -7.171e-10 | 4.485e-16 | 1.881e-9 | 9.638e-17 | 9.817e-9 | 6.184 | 8.429e-8 | 6.957e-10 | 3.156e-9 | 1 | 1 | 1.091e-16 | 4.168e-16 | 7.572e-16 | 7.681e-10 | 2.933e-9 | 5.329e-9 | json |
| t12_x21_u6_b118 | 12 | 21 | 6 | 118 | ![]() |
nrm(dst(R,min(D,P))) | 37819 | 98296957 | o1(o2(x,o2(x,x))) | true | 132399 | 132399 | 0.5777 | 1 | 0.5777 | 1.421e-7 | 0.000377 | 0.5774 | 0.5774 | 1.192e-7 | 1 | 0 | 2.583e-16 | 2.647e-16 | 7.719e-9 | -0.000006434 | 0 | -3.537e-9 | 2.288e-15 | 9.574e-9 | 4.633e-16 | 2.152e-8 | 2.788 | 1.686e-7 | 3.681e-9 | 1.61e-8 | 1 | 1 | 2.74e-16 | 4.048e-16 | 4.44e-16 | 1.929e-9 | 2.849e-9 | 3.125e-9 | json |
| t12_x21_u6_b119 | 12 | 21 | 6 | 119 | ![]() |
nrm(dst(R,dot(D,P))) | 37820 | 98296958 | o1(o2(x,o2(x,x))) | true | 132407 | 132407 | 0.5777 | 1 | 0.5777 | 1.421e-7 | 0.000377 | 0.5774 | 0.5774 | 1.192e-7 | 1 | 0 | 4.965e-16 | 4.995e-16 | 1.372e-8 | -0.000003077 | 0 | -7.787e-9 | 4.286e-15 | 1.791e-8 | 8.074e-16 | 2.841e-8 | 2.072 | 1.686e-7 | 7.009e-9 | 3.016e-8 | 1 | 1 | 4.725e-16 | 5.007e-16 | 5.232e-16 | 3.325e-9 | 3.524e-9 | 3.682e-9 | json |
| t12_x21_u6_b120 | 12 | 21 | 6 | 120 | ![]() |
nrm(dst(R,dst(D,P))) | 37821 | 98296959 | o1(o2(x,o2(x,x))) | true | 132415 | 132415 | 0.5777 | 1 | 0.5777 | 1.421e-7 | 0.000377 | 0.5774 | 0.5774 | 1.192e-7 | 1 | 0 | 5.06e-16 | 5.049e-16 | 1.387e-8 | 0.000001063 | 0 | -7.678e-9 | 4.46e-15 | 1.869e-8 | 8.182e-16 | 2.86e-8 | 2.063 | 1.686e-7 | 7.114e-9 | 3.139e-8 | 1 | 1 | 5.131e-16 | 5.218e-16 | 5.252e-16 | 3.611e-9 | 3.672e-9 | 3.696e-9 | json |
| t12_x22_u0_b0 | 12 | 22 | 0 | 0 | ![]() |
sqt(add(R,add(D,D))) | 37822 | 98336034 | o1(o2(x,o2(x,x))) | true | 132423 | 132423 | -0.9306 | 0.04297 | 0.9834 | 0.1086 | 0.3296 | -1 | 0.9494 | 1.949 | 1 | 0.407 | 0.06238 | 0.00965 | 0.04708 | 0.7321 | 1 | 0.00003695 | 0.164 | 0.08967 | 0.06981 | 0.2642 | 5.612 | 2.738 | 0.6631 | 1.51 | 1 | 1 | 0.06231 | 0.1417 | 0.2069 | 0.5736 | 1.304 | 1.905 | json |
| t12_x22_u0_b1 | 12 | 22 | 0 | 1 | ![]() |
sqt(add(R,sub(D,D))) | 37823 | 98336035 | o1(o2(x,o2(x,x))) | true | 132431 | 132431 | -0.9258 | 0.04297 | 0.9882 | 0.1235 | 0.3514 | -1 | 0.971 | 1.971 | 1 | 0.3916 | 0.01252 | 0.01245 | 0.01513 | 0.002807 | 1 | 0.000005689 | 0.05219 | 0.02886 | 0.02476 | 0.1573 | 10.4 | 2.731 | 0.2023 | 0.4226 | 1 | 1 | 0.0197 | 0.08508 | 0.2088 | 0.1595 | 0.689 | 1.691 | json |
| t12_x22_u0_b2 | 12 | 22 | 0 | 2 | ![]() |
sqt(add(R,mlt(D,D))) | 37824 | 98336036 | o1(o2(x,o2(x,x))) | true | 132439 | 132439 | -0.7142 | 0.166 | 0.9538 | 0.4165 | 0.6453 | -1 | 1 | 2 | 1 | 1.221 | 0.08282 | 0.03821 | 0.07461 | 0.3686 | 1 | -0.00002087 | 0.2615 | 0.142 | 0.1154 | 0.3397 | 4.553 | 2.824 | 0.2906 | 0.6278 | 1 | 1 | 0.1185 | 0.413 | 0.8045 | 0.2845 | 0.9916 | 1.932 | json |
| t12_x22_u0_b3 | 12 | 22 | 0 | 3 | ![]() |
sqt(add(R,div(D,D))) | 37825 | 98336037 | o1(o2(x,o2(x,x))) | true | 132447 | 132447 | 0.8622 | 1 | 0.8622 | 0.03808 | 0.1951 | 0.03095 | 1 | 0.969 | 1 | 2.493 | 0.0005655 | 0.0006953 | 0.02132 | -0.1029 | 1 | -0.0000289 | 0.0002216 | 0.007286 | 0.0008057 | 0.02839 | 1.331 | 0.1604 | 0.03311 | 0.00582 | 1 | 1 | 0.002244 | 0.02484 | 0.06093 | 0.05894 | 0.6524 | 1.6 | json |
| t12_x22_u0_b4 | 12 | 22 | 0 | 4 | ![]() |
sqt(add(R,pow(D,D))) | 37826 | 98336038 | o1(o2(x,o2(x,x))) | true | 132455 | 132455 | -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_x22_u0_b5 | 12 | 22 | 0 | 5 | ![]() |
sqt(add(R,mod(D,D))) | 37827 | 98336039 | o1(o2(x,o2(x,x))) | true | 132463 | 132463 | -0.9149 | 0.04956 | 0.986 | 0.1405 | 0.3748 | -1 | 1 | 2 | 1 | 0.4538 | 0.06612 | 0.01418 | 0.05014 | 0.6468 | 1 | 0.00002372 | 0.2003 | 0.09969 | 0.07775 | 0.2788 | 5.561 | 2.828 | 0.5716 | 1.426 | 1 | 1 | 0.05654 | 0.1254 | 0.2523 | 0.4024 | 0.8927 | 1.796 | json |
| t12_x22_u0_b6 | 12 | 22 | 0 | 6 | ![]() |
sqt(add(R,lrg(D,D))) | 37828 | 98336040 | o1(o2(x,o2(x,x))) | true | 132471 | 132471 | -0.9258 | 0.04297 | 0.9882 | 0.1235 | 0.3514 | -1 | 0.971 | 1.971 | 1 | 0.3916 | 0.01252 | 0.01245 | 0.01513 | 0.002807 | 1 | 0.000005689 | 0.05219 | 0.02886 | 0.02476 | 0.1573 | 10.4 | 2.731 | 0.2023 | 0.4226 | 1 | 1 | 0.0197 | 0.08508 | 0.2088 | 0.1595 | 0.689 | 1.691 | json |
| t12_x22_u0_b7 | 12 | 22 | 0 | 7 | ![]() |
sqt(add(R,eql(D,D))) | 37829 | 98336041 | o1(o2(x,o2(x,x))) | true | 132479 | 132479 | 0.8622 | 1 | 0.8622 | 0.03808 | 0.1951 | 0.03095 | 1 | 0.969 | 1 | 2.493 | 0.0005655 | 0.0006953 | 0.02132 | -0.1029 | 1 | -0.0000289 | 0.0002216 | 0.007286 | 0.0008057 | 0.02839 | 1.331 | 0.1604 | 0.03311 | 0.00582 | 1 | 1 | 0.002244 | 0.02484 | 0.06093 | 0.05894 | 0.6524 | 1.6 | json |
| t12_x22_u0_b8 | 12 | 22 | 0 | 8 | ![]() |
sqt(add(R,min(D,D))) | 37830 | 98336042 | o1(o2(x,o2(x,x))) | true | 132487 | 132487 | -0.896 | 0.06274 | 0.9785 | 0.1632 | 0.404 | -1 | 0.9655 | 1.966 | 1 | 0.5538 | 0.06692 | 0.01496 | 0.05137 | 0.6345 | 1 | 0.0003737 | 0.1771 | 0.09889 | 0.07924 | 0.2815 | 5.48 | 2.762 | 0.5016 | 1.085 | 1 | 1 | 0.07333 | 0.224 | 0.3363 | 0.4492 | 1.372 | 2.06 | json |
| t12_x22_u0_b9 | 12 | 22 | 0 | 9 | ![]() |
sqt(add(R,dot(D,D))) | 37831 | 98336043 | o1(o2(x,o2(x,x))) | true | 132495 | 132495 | -0.3238 | 0.3857 | 0.9049 | 0.7439 | 0.8625 | -1 | 1 | 2 | 1 | 2.264 | 0.1064 | 0.1108 | 0.1359 | -0.02019 | 1 | 0.0002482 | 0.6828 | 0.266 | 0.1988 | 0.4458 | 3.28 | 2.828 | 0.292 | 0.9179 | 1 | 1 | 0.216 | 0.7831 | 1.321 | 0.2903 | 1.053 | 1.775 | json |
| t12_x22_u0_b10 | 12 | 22 | 0 | 10 | ![]() |
sqt(add(R,dst(D,D))) | 37832 | 98336044 | o1(o2(x,o2(x,x))) | true | 132503 | 132503 | -0.9258 | 0.04297 | 0.9882 | 0.1235 | 0.3514 | -1 | 0.971 | 1.971 | 1 | 0.3916 | 0.01252 | 0.01245 | 0.01513 | 0.002807 | 1 | 0.000005689 | 0.05219 | 0.02886 | 0.02476 | 0.1573 | 10.4 | 2.731 | 0.2023 | 0.4226 | 1 | 1 | 0.0197 | 0.08508 | 0.2088 | 0.1595 | 0.689 | 1.691 | json |
| t12_x22_u0_b11 | 12 | 22 | 0 | 11 | ![]() |
sqt(sub(R,add(D,D))) | 37833 | 98336045 | o1(o2(x,o2(x,x))) | true | 132511 | 132511 | -0.9279 | 0.04468 | 0.9828 | 0.1127 | 0.3357 | -1 | 0.9494 | 1.949 | 1 | 0.4199 | 0.06338 | 0.009385 | 0.04762 | 0.742 | 1 | 0.00008281 | 0.1653 | 0.09065 | 0.07048 | 0.2655 | 5.575 | 2.719 | 0.6457 | 1.467 | 1 | 1 | 0.0643 | 0.1496 | 0.2187 | 0.5706 | 1.328 | 1.941 | json |
| t12_x22_u0_b12 | 12 | 22 | 0 | 12 | ![]() |
sqt(sub(R,sub(D,D))) | 37834 | 98336046 | o1(o2(x,o2(x,x))) | true | 132519 | 132519 | -0.9258 | 0.04297 | 0.9882 | 0.1235 | 0.3514 | -1 | 0.971 | 1.971 | 1 | 0.3916 | 0.01252 | 0.01245 | 0.01513 | 0.002807 | 1 | 0.000005689 | 0.05219 | 0.02886 | 0.02476 | 0.1573 | 10.4 | 2.731 | 0.2023 | 0.4226 | 1 | 1 | 0.0197 | 0.08508 | 0.2088 | 0.1595 | 0.689 | 1.691 | json |
| t12_x22_u0_b13 | 12 | 22 | 0 | 13 | ![]() |
sqt(sub(R,mlt(D,D))) | 37835 | 98336047 | o1(o2(x,o2(x,x))) | true | 132527 | 132527 | -0.9849 | 0.009521 | 0.9961 | 0.02383 | 0.1544 | -1 | 0.8015 | 1.801 | 1 | 0.1002 | 0.009079 | 0.002788 | 0.007458 | 0.5301 | 1 | -1.126e-11 | 0.02602 | 0.0149 | 0.01182 | 0.1087 | 14.57 | 2.307 | 0.4979 | 1.092 | 1 | 1 | 0.008667 | 0.02441 | 0.04091 | 0.3636 | 1.024 | 1.716 | json |
| t12_x22_u0_b14 | 12 | 22 | 0 | 14 | ![]() |
sqt(sub(R,div(D,D))) | 37836 | 98336048 | o1(o2(x,o2(x,x))) | true | 132535 | 132535 | -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_x22_u0_b15 | 12 | 22 | 0 | 15 | ![]() |
sqt(sub(R,pow(D,D))) | 37837 | 98336049 | o1(o2(x,o2(x,x))) | true | 132543 | 132543 | -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_x22_u0_b16 | 12 | 22 | 0 | 16 | ![]() |
sqt(sub(R,mod(D,D))) | 37838 | 98336050 | o1(o2(x,o2(x,x))) | true | 132551 | 132551 | -0.913 | 0.05029 | 0.9864 | 0.1443 | 0.3798 | -1 | 1 | 2 | 1 | 0.4571 | 0.07337 | 0.01378 | 0.05356 | 0.6837 | 1 | -0.00002111 | 0.22 | 0.1069 | 0.08432 | 0.2904 | 5.422 | 2.752 | 0.6041 | 1.525 | 1 | 1 | 0.0641 | 0.1311 | 0.2518 | 0.4443 | 0.9083 | 1.745 | json |
| t12_x22_u0_b17 | 12 | 22 | 0 | 17 | ![]() |
sqt(sub(R,lrg(D,D))) | 37839 | 98336051 | o1(o2(x,o2(x,x))) | true | 132559 | 132559 | -0.9258 | 0.04297 | 0.9882 | 0.1235 | 0.3514 | -1 | 0.971 | 1.971 | 1 | 0.3916 | 0.01252 | 0.01245 | 0.01513 | 0.002807 | 1 | 0.000005689 | 0.05219 | 0.02886 | 0.02476 | 0.1573 | 10.4 | 2.731 | 0.2023 | 0.4226 | 1 | 1 | 0.0197 | 0.08508 | 0.2088 | 0.1595 | 0.689 | 1.691 | json |
| t12_x22_u0_b18 | 12 | 22 | 0 | 18 | ![]() |
sqt(sub(R,eql(D,D))) | 37840 | 98336052 | o1(o2(x,o2(x,x))) | true | 132567 | 132567 | -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_x22_u0_b19 | 12 | 22 | 0 | 19 | ![]() |
sqt(sub(R,min(D,D))) | 37841 | 98336053 | o1(o2(x,o2(x,x))) | true | 132575 | 132575 | -0.8869 | 0.06885 | 0.9754 | 0.1749 | 0.4182 | -1 | 0.9655 | 1.965 | 1 | 0.5978 | 0.06531 | 0.01549 | 0.05093 | 0.6165 | 1 | 0.00009051 | 0.1806 | 0.09841 | 0.07822 | 0.2797 | 5.492 | 2.742 | 0.4621 | 1.033 | 1 | 1 | 0.07459 | 0.2231 | 0.3345 | 0.4266 | 1.276 | 1.913 | json |
| t12_x22_u0_b20 | 12 | 22 | 0 | 20 | ![]() |
sqt(sub(R,dot(D,D))) | 37842 | 98336054 | o1(o2(x,o2(x,x))) | true | 132583 | 132583 | -0.9998 | 0.0001221 | 0.9999 | 0.000198 | 0.01407 | -1 | 0.2944 | 1.294 | 1 | 0.001763 | 0.0002546 | 0.0003065 | 0.0003711 | -0.09244 | 1 | -1.126e-11 | 0.002345 | 0.0008817 | 0.0005608 | 0.02368 | 63.81 | 1.831 | 2.834 | 11.84 | 1 | 1 | 0.0003604 | 0.0003604 | 0.000382 | 1.82 | 1.82 | 1.929 | json |
| t12_x22_u0_b21 | 12 | 22 | 0 | 21 | ![]() |
sqt(sub(R,dst(D,D))) | 37843 | 98336055 | o1(o2(x,o2(x,x))) | true | 132591 | 132591 | -0.9258 | 0.04297 | 0.9882 | 0.1235 | 0.3514 | -1 | 0.971 | 1.971 | 1 | 0.3916 | 0.01252 | 0.01245 | 0.01513 | 0.002807 | 1 | 0.000005689 | 0.05219 | 0.02886 | 0.02476 | 0.1573 | 10.4 | 2.731 | 0.2023 | 0.4226 | 1 | 1 | 0.0197 | 0.08508 | 0.2088 | 0.1595 | 0.689 | 1.691 | json |
| t12_x22_u0_b22 | 12 | 22 | 0 | 22 | ![]() |
sqt(mlt(R,add(D,D))) | 37844 | 98336056 | o1(o2(x,o2(x,x))) | true | 132599 | 132599 | -0.942 | 0.03906 | 0.9799 | 0.08454 | 0.2907 | -1 | 0.9537 | 1.954 | 1 | 0.3824 | 0.007 | 0.009142 | 0.01422 | -0.1327 | 1 | 6.691e-7 | 0.03183 | 0.02355 | 0.01594 | 0.1262 | 8.875 | 1.954 | 0.191 | 0.3765 | 1 | 1 | 0.01896 | 0.09126 | 0.1938 | 0.2243 | 1.08 | 2.292 | json |
| t12_x22_u0_b23 | 12 | 22 | 0 | 23 | ![]() |
sqt(mlt(R,sub(D,D))) | 37845 | 98336057 | o1(o2(x,o2(x,x))) | true | 132607 | 132607 | 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_x22_u0_b24 | 12 | 22 | 0 | 24 | ![]() |
sqt(mlt(R,mlt(D,D))) | 37846 | 98336058 | o1(o2(x,o2(x,x))) | true | 132615 | 132615 | -0.9481 | 0.04297 | 0.966 | 0.06065 | 0.2463 | -1 | 0.4816 | 1.482 | 1 | 0.3778 | 0.004507 | 0.006148 | 0.01099 | -0.154 | 1 | -0.00004454 | 0.02154 | 0.01881 | 0.01054 | 0.1026 | 9.339 | 1.482 | 0.1757 | 0.3551 | 1 | 1 | 0.008384 | 0.04132 | 0.1026 | 0.1382 | 0.6813 | 1.691 | json |
| t12_x22_u0_b25 | 12 | 22 | 0 | 25 | ![]() |
sqt(mlt(R,div(D,D))) | 37847 | 98336059 | o1(o2(x,o2(x,x))) | true | 132623 | 132623 | -0.9258 | 0.04297 | 0.9882 | 0.1235 | 0.3514 | -1 | 0.971 | 1.971 | 1 | 0.3916 | 0.01252 | 0.01245 | 0.01513 | 0.002807 | 1 | 0.000005689 | 0.05219 | 0.02886 | 0.02476 | 0.1573 | 10.4 | 2.731 | 0.2023 | 0.4226 | 1 | 1 | 0.0197 | 0.08508 | 0.2088 | 0.1595 | 0.689 | 1.691 | json |
| t12_x22_u0_b26 | 12 | 22 | 0 | 26 | ![]() |
sqt(mlt(R,pow(D,D))) | 37848 | 98336060 | o1(o2(x,o2(x,x))) | true | 132631 | 132631 | -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_x22_u0_b27 | 12 | 22 | 0 | 27 | ![]() |
sqt(mlt(R,mod(D,D))) | 37849 | 98336061 | o1(o2(x,o2(x,x))) | true | 132639 | 132639 | -0.35 | 0.1182 | 0.4137 | 0.2688 | 0.5184 | -1 | 0.4332 | 1.433 | 1 | 1.674 | 0.5289 | 0.01323 | 0.5565 | 0.9512 | 1 | -0.004915 | 1.706 | 1.116 | 0.2324 | 0.482 | 0.8662 | 1.938 | 2.017 | 6.347 | 1 | 1 | 0.2505 | 0.3378 | 0.3012 | 0.9322 | 1.257 | 1.121 | json |
| t12_x22_u0_b28 | 12 | 22 | 0 | 28 | ![]() |
sqt(mlt(R,lrg(D,D))) | 37850 | 98336062 | o1(o2(x,o2(x,x))) | true | 132647 | 132647 | 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_x22_u0_b29 | 12 | 22 | 0 | 29 | ![]() |
sqt(mlt(R,eql(D,D))) | 37851 | 98336063 | o1(o2(x,o2(x,x))) | true | 132655 | 132655 | -0.9258 | 0.04297 | 0.9882 | 0.1235 | 0.3514 | -1 | 0.971 | 1.971 | 1 | 0.3916 | 0.01252 | 0.01245 | 0.01513 | 0.002807 | 1 | 0.000005689 | 0.05219 | 0.02886 | 0.02476 | 0.1573 | 10.4 | 2.731 | 0.2023 | 0.4226 | 1 | 1 | 0.0197 | 0.08508 | 0.2088 | 0.1595 | 0.689 | 1.691 | json |
| t12_x22_u0_b30 | 12 | 22 | 0 | 30 | ![]() |
sqt(mlt(R,min(D,D))) | 37852 | 98336064 | o1(o2(x,o2(x,x))) | true | 132663 | 132663 | -0.9475 | 0.03906 | 0.9743 | 0.06855 | 0.2618 | -1 | 0.6744 | 1.674 | 1 | 0.3636 | 0.006307 | 0.007404 | 0.01266 | -0.08001 | 1 | 4.735e-7 | 0.0275 | 0.02189 | 0.01355 | 0.1164 | 9.197 | 1.674 | 0.2 | 0.4012 | 1 | 1 | 0.01571 | 0.07306 | 0.1564 | 0.2291 | 1.066 | 2.281 | json |
| t12_x22_u0_b31 | 12 | 22 | 0 | 31 | ![]() |
sqt(mlt(R,dot(D,D))) | 37853 | 98336065 | o1(o2(x,o2(x,x))) | true | 132671 | 132671 | -0.9432 | 0.04297 | 0.9709 | 0.07261 | 0.2695 | -1 | 0.5603 | 1.56 | 1 | 0.385 | 0.006284 | 0.006216 | 0.01173 | 0.00549 | 1 | -0.00003172 | 0.02535 | 0.02055 | 0.01236 | 0.1112 | 9.475 | 1.483 | 0.1721 | 0.3491 | 1 | 1 | 0.009789 | 0.04936 | 0.1229 | 0.1348 | 0.6797 | 1.692 | json |
| t12_x22_u0_b32 | 12 | 22 | 0 | 32 | ![]() |
sqt(mlt(R,dst(D,D))) | 37854 | 98336066 | o1(o2(x,o2(x,x))) | true | 132679 | 132679 | 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_x22_u0_b33 | 12 | 22 | 0 | 33 | ![]() |
sqt(div(R,add(D,D))) | 37855 | 98336067 | o1(o2(x,o2(x,x))) | true | 132687 | 132687 | -0.9278 | 0.03906 | 0.9941 | 0.1298 | 0.3603 | -1 | 1 | 2 | 1 | 0.3375 | 0.01961 | 0.01385 | 0.01873 | 0.1721 | 1 | -6.278e-7 | 0.07106 | 0.03553 | 0.03311 | 0.182 | 9.714 | 2.828 | 0.2578 | 0.5475 | 1 | 1 | 0.03552 | 0.1369 | 0.294 | 0.2737 | 1.054 | 2.265 | json |
| t12_x22_u0_b34 | 12 | 22 | 0 | 34 | ![]() |
sqt(div(R,sub(D,D))) | 37856 | 98336068 | o1(o2(x,o2(x,x))) | true | 132695 | 132695 | -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_x22_u0_b35 | 12 | 22 | 0 | 35 | ![]() |
sqt(div(R,mlt(D,D))) | 37857 | 98336069 | o1(o2(x,o2(x,x))) | true | 132703 | 132703 | -0.9141 | 0.04297 | 1 | 0.1643 | 0.4054 | -1 | 1 | 2 | 1 | 0.2585 | 0.01688 | 0.01636 | 0.01657 | 0.01567 | 1 | -6.007e-11 | 0.06952 | 0.03333 | 0.03295 | 0.1815 | 10.96 | 2.828 | 0.2023 | 0.423 | 1 | 1 | 0.02541 | 0.1095 | 0.2754 | 0.1546 | 0.666 | 1.676 | json |
| t12_x22_u0_b36 | 12 | 22 | 0 | 36 | ![]() |
sqt(div(R,div(D,D))) | 37858 | 98336070 | o1(o2(x,o2(x,x))) | true | 132711 | 132711 | -0.9258 | 0.04297 | 0.9882 | 0.1235 | 0.3514 | -1 | 0.971 | 1.971 | 1 | 0.3916 | 0.01252 | 0.01245 | 0.01513 | 0.002807 | 1 | 0.000005689 | 0.05219 | 0.02886 | 0.02476 | 0.1573 | 10.4 | 2.731 | 0.2023 | 0.4226 | 1 | 1 | 0.0197 | 0.08508 | 0.2088 | 0.1595 | 0.689 | 1.691 | json |
| t12_x22_u0_b37 | 12 | 22 | 0 | 37 | ![]() |
sqt(div(R,pow(D,D))) | 37859 | 98336071 | o1(o2(x,o2(x,x))) | true | 132719 | 132719 | -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_x22_u0_b38 | 12 | 22 | 0 | 38 | ![]() |
sqt(div(R,mod(D,D))) | 37860 | 98336072 | o1(o2(x,o2(x,x))) | true | 132727 | 132727 | -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_x22_u0_b39 | 12 | 22 | 0 | 39 | ![]() |
sqt(div(R,lrg(D,D))) | 37861 | 98336073 | o1(o2(x,o2(x,x))) | true | 132735 | 132735 | -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_x22_u0_b40 | 12 | 22 | 0 | 40 | ![]() |
sqt(div(R,eql(D,D))) | 37862 | 98336074 | o1(o2(x,o2(x,x))) | true | 132743 | 132743 | -0.9258 | 0.04297 | 0.9882 | 0.1235 | 0.3514 | -1 | 0.971 | 1.971 | 1 | 0.3916 | 0.01252 | 0.01245 | 0.01513 | 0.002807 | 1 | 0.000005689 | 0.05219 | 0.02886 | 0.02476 | 0.1573 | 10.4 | 2.731 | 0.2023 | 0.4226 | 1 | 1 | 0.0197 | 0.08508 | 0.2088 | 0.1595 | 0.689 | 1.691 | json |
| t12_x22_u0_b41 | 12 | 22 | 0 | 41 | ![]() |
sqt(div(R,min(D,D))) | 37863 | 98336075 | o1(o2(x,o2(x,x))) | true | 132751 | 132751 | -0.9238 | 0.03906 | 0.9981 | 0.1436 | 0.3789 | -1 | 1 | 2 | 1 | 0.2865 | 0.01957 | 0.01522 | 0.01819 | 0.1252 | 1 | -0.000001358 | 0.0736 | 0.03578 | 0.03446 | 0.1856 | 10.2 | 2.828 | 0.2423 | 0.5127 | 1 | 1 | 0.03676 | 0.1486 | 0.322 | 0.2561 | 1.035 | 2.243 | json |
| t12_x22_u0_b42 | 12 | 22 | 0 | 42 | ![]() |
sqt(div(R,dot(D,D))) | 37864 | 98336076 | o1(o2(x,o2(x,x))) | true | 132759 | 132759 | -0.9146 | 0.04297 | 0.9995 | 0.1627 | 0.4034 | -1 | 1 | 2 | 1 | 0.2757 | 0.01681 | 0.01637 | 0.01678 | 0.01319 | 1 | -2.628e-11 | 0.06939 | 0.03349 | 0.03289 | 0.1813 | 10.81 | 2.828 | 0.204 | 0.4265 | 1 | 1 | 0.02544 | 0.1085 | 0.2723 | 0.1564 | 0.6672 | 1.674 | json |
| t12_x22_u0_b43 | 12 | 22 | 0 | 43 | ![]() |
sqt(div(R,dst(D,D))) | 37865 | 98336077 | o1(o2(x,o2(x,x))) | true | 132767 | 132767 | -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_x22_u0_b44 | 12 | 22 | 0 | 44 | ![]() |
sqt(pow(R,add(D,D))) | 37866 | 98336078 | o1(o2(x,o2(x,x))) | true | 132775 | 132775 | -0.9156 | 0.04297 | 0.9984 | 0.1589 | 0.3986 | -1 | 1 | 2 | 1 | 0.3032 | 0.01672 | 0.01576 | 0.01679 | 0.02932 | 1 | 0.000002463 | 0.06819 | 0.03316 | 0.03218 | 0.1794 | 10.68 | 2.828 | 0.2045 | 0.4293 | 1 | 1 | 0.02487 | 0.1066 | 0.2644 | 0.1566 | 0.6709 | 1.665 | json |
| t12_x22_u0_b45 | 12 | 22 | 0 | 45 | ![]() |
sqt(pow(R,sub(D,D))) | 37867 | 98336079 | o1(o2(x,o2(x,x))) | true | 132783 | 132783 | 1 | 1 | 1 | 0 | 0 | 1 | 1 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | json |
| t12_x22_u0_b46 | 12 | 22 | 0 | 46 | ![]() |
sqt(pow(R,mlt(D,D))) | 37868 | 98336080 | o1(o2(x,o2(x,x))) | true | 132791 | 132791 | -0.9158 | 0.04297 | 0.9983 | 0.1582 | 0.3977 | -1 | 1 | 2 | 1 | 0.2957 | 0.01688 | 0.01575 | 0.01681 | 0.03461 | 1 | 0.000007711 | 0.06835 | 0.0331 | 0.03234 | 0.1798 | 10.7 | 2.828 | 0.2063 | 0.4321 | 1 | 1 | 0.0249 | 0.1056 | 0.265 | 0.1574 | 0.6675 | 1.676 | json |
| t12_x22_u0_b47 | 12 | 22 | 0 | 47 | ![]() |
sqt(pow(R,div(D,D))) | 37869 | 98336081 | o1(o2(x,o2(x,x))) | true | 132799 | 132799 | -0.9258 | 0.04297 | 0.9882 | 0.1235 | 0.3514 | -1 | 0.971 | 1.971 | 1 | 0.3916 | 0.01252 | 0.01245 | 0.01513 | 0.002807 | 1 | 0.000005689 | 0.05219 | 0.02886 | 0.02476 | 0.1573 | 10.4 | 2.731 | 0.2023 | 0.4226 | 1 | 1 | 0.0197 | 0.08508 | 0.2088 | 0.1595 | 0.689 | 1.691 | json |
| t12_x22_u0_b48 | 12 | 22 | 0 | 48 | ![]() |
sqt(pow(R,pow(D,D))) | 37870 | 98336082 | o1(o2(x,o2(x,x))) | true | 132807 | 132807 | -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_x22_u0_b49 | 12 | 22 | 0 | 49 | ![]() |
sqt(pow(R,mod(D,D))) | 37871 | 98336083 | o1(o2(x,o2(x,x))) | true | 132815 | 132815 | 0.211 | 0.6074 | 0.9961 | 0.9477 | 0.9735 | -1 | 1 | 2 | 1 | 1.144 | 2.045 | 0.03194 | 1.04 | 0.9692 | 1 | -0.011 | 6.597 | 2.086 | 0.9953 | 0.9976 | 0.959 | 2.828 | 2.192 | 6.961 | 1 | 1 | 0.9189 | 1.017 | 0.7109 | 0.9696 | 1.073 | 0.7502 | json |
| t12_x22_u0_b50 | 12 | 22 | 0 | 50 | ![]() |
sqt(pow(R,lrg(D,D))) | 37872 | 98336084 | o1(o2(x,o2(x,x))) | true | 132823 | 132823 | 1 | 1 | 1 | 0 | 0 | 1 | 1 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | json |
| t12_x22_u0_b51 | 12 | 22 | 0 | 51 | ![]() |
sqt(pow(R,eql(D,D))) | 37873 | 98336085 | o1(o2(x,o2(x,x))) | true | 132831 | 132831 | -0.9258 | 0.04297 | 0.9882 | 0.1235 | 0.3514 | -1 | 0.971 | 1.971 | 1 | 0.3916 | 0.01252 | 0.01245 | 0.01513 | 0.002807 | 1 | 0.000005689 | 0.05219 | 0.02886 | 0.02476 | 0.1573 | 10.4 | 2.731 | 0.2023 | 0.4226 | 1 | 1 | 0.0197 | 0.08508 | 0.2088 | 0.1595 | 0.689 | 1.691 | json |
| t12_x22_u0_b52 | 12 | 22 | 0 | 52 | ![]() |
sqt(pow(R,min(D,D))) | 37874 | 98336086 | o1(o2(x,o2(x,x))) | true | 132839 | 132839 | -0.915 | 0.04297 | 0.999 | 0.1609 | 0.4011 | -1 | 1 | 2 | 1 | 0.2881 | 0.01679 | 0.01598 | 0.01668 | 0.02475 | 1 | 0.000003221 | 0.0687 | 0.03319 | 0.03248 | 0.1802 | 10.8 | 2.828 | 0.2037 | 0.4271 | 1 | 1 | 0.02506 | 0.1075 | 0.2685 | 0.1558 | 0.6681 | 1.669 | json |
| t12_x22_u0_b53 | 12 | 22 | 0 | 53 | ![]() |
sqt(pow(R,dot(D,D))) | 37875 | 98336087 | o1(o2(x,o2(x,x))) | true | 132847 | 132847 | -0.9174 | 0.04297 | 0.9967 | 0.1522 | 0.3902 | -1 | 0.9998 | 2 | 1 | 0.3269 | 0.01619 | 0.01575 | 0.01682 | 0.01362 | 1 | 0.00001029 | 0.06701 | 0.0328 | 0.03164 | 0.1779 | 10.58 | 2.828 | 0.2098 | 0.4402 | 1 | 1 | 0.0245 | 0.1021 | 0.2555 | 0.161 | 0.6704 | 1.679 | json |
| t12_x22_u0_b54 | 12 | 22 | 0 | 54 | ![]() |
sqt(pow(R,dst(D,D))) | 37876 | 98336088 | o1(o2(x,o2(x,x))) | true | 132855 | 132855 | 1 | 1 | 1 | 0 | 0 | 1 | 1 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | json |
| t12_x22_u0_b55 | 12 | 22 | 0 | 55 | ![]() |
sqt(mod(R,add(D,D))) | 37877 | 98336089 | o1(o2(x,o2(x,x))) | true | 132863 | 132863 | -0.937 | 0.04297 | 0.9771 | 0.09018 | 0.3003 | -1 | 0.9111 | 1.911 | 1 | 0.4124 | 0.006969 | 0.009172 | 0.01548 | -0.1364 | 1 | -0.00002783 | 0.033 | 0.02779 | 0.0159 | 0.1261 | 8.149 | 1.911 | 0.179 | 0.3659 | 1 | 1 | 0.01258 | 0.06218 | 0.1536 | 0.1395 | 0.6895 | 1.704 | json |
| t12_x22_u0_b56 | 12 | 22 | 0 | 56 | ![]() |
sqt(mod(R,sub(D,D))) | 37878 | 98336090 | o1(o2(x,o2(x,x))) | true | 132871 | 132871 | -0.9258 | 0.04297 | 0.9882 | 0.1235 | 0.3514 | -1 | 0.971 | 1.971 | 1 | 0.3916 | 0.01252 | 0.01245 | 0.01513 | 0.002807 | 1 | 0.000005689 | 0.05219 | 0.02886 | 0.02476 | 0.1573 | 10.4 | 2.731 | 0.2023 | 0.4226 | 1 | 1 | 0.0197 | 0.08508 | 0.2088 | 0.1595 | 0.689 | 1.691 | json |
| t12_x22_u0_b57 | 12 | 22 | 0 | 57 | ![]() |
sqt(mod(R,mlt(D,D))) | 37879 | 98336091 | o1(o2(x,o2(x,x))) | true | 132879 | 132879 | -0.9489 | 0.04297 | 0.9651 | 0.0587 | 0.2423 | -1 | 0.4868 | 1.487 | 1 | 0.3751 | 0.004752 | 0.005924 | 0.01202 | -0.1098 | 1 | -0.00004602 | 0.02204 | 0.02201 | 0.01053 | 0.1026 | 8.539 | 1.497 | 0.1819 | 0.3755 | 1 | 1 | 0.008204 | 0.03942 | 0.09861 | 0.1398 | 0.6716 | 1.68 | json |
| t12_x22_u0_b58 | 12 | 22 | 0 | 58 | ![]() |
sqt(mod(R,div(D,D))) | 37880 | 98336092 | o1(o2(x,o2(x,x))) | true | 132887 | 132887 | -0.9258 | 0.04297 | 0.9882 | 0.1235 | 0.3514 | -1 | 0.971 | 1.971 | 1 | 0.3916 | 0.01252 | 0.01245 | 0.01513 | 0.002807 | 1 | 0.000005689 | 0.05219 | 0.02886 | 0.02476 | 0.1573 | 10.4 | 2.731 | 0.2023 | 0.4226 | 1 | 1 | 0.0197 | 0.08508 | 0.2088 | 0.1595 | 0.689 | 1.691 | json |
| t12_x22_u0_b59 | 12 | 22 | 0 | 59 | ![]() |
sqt(mod(R,pow(D,D))) | 37881 | 98336093 | o1(o2(x,o2(x,x))) | true | 132895 | 132895 | -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_x22_u0_b60 | 12 | 22 | 0 | 60 | ![]() |
sqt(mod(R,mod(D,D))) | 37882 | 98336094 | o1(o2(x,o2(x,x))) | true | 132903 | 132903 | -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_x22_u0_b61 | 12 | 22 | 0 | 61 | ![]() |
sqt(mod(R,lrg(D,D))) | 37883 | 98336095 | o1(o2(x,o2(x,x))) | true | 132911 | 132911 | -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_x22_u0_b62 | 12 | 22 | 0 | 62 | ![]() |
sqt(mod(R,eql(D,D))) | 37884 | 98336096 | o1(o2(x,o2(x,x))) | true | 132919 | 132919 | -0.9258 | 0.04297 | 0.9882 | 0.1235 | 0.3514 | -1 | 0.971 | 1.971 | 1 | 0.3916 | 0.01252 | 0.01245 | 0.01513 | 0.002807 | 1 | 0.000005689 | 0.05219 | 0.02886 | 0.02476 | 0.1573 | 10.4 | 2.731 | 0.2023 | 0.4226 | 1 | 1 | 0.0197 | 0.08508 | 0.2088 | 0.1595 | 0.689 | 1.691 | json |
| t12_x22_u0_b63 | 12 | 22 | 0 | 63 | ![]() |
sqt(mod(R,min(D,D))) | 37885 | 98336097 | o1(o2(x,o2(x,x))) | true | 132927 | 132927 | -0.943 | 0.04297 | 0.9711 | 0.07339 | 0.2709 | -1 | 0.6564 | 1.656 | 1 | 0.3944 | 0.006021 | 0.007392 | 0.01387 | -0.1022 | 1 | -0.00004528 | 0.0278 | 0.02558 | 0.01321 | 0.115 | 8.287 | 1.676 | 0.1828 | 0.3788 | 1 | 1 | 0.01033 | 0.04941 | 0.1244 | 0.1407 | 0.6733 | 1.694 | json |
| t12_x22_u0_b64 | 12 | 22 | 0 | 64 | ![]() |
sqt(mod(R,dot(D,D))) | 37886 | 98336098 | o1(o2(x,o2(x,x))) | true | 132935 | 132935 | -0.9444 | 0.04297 | 0.9697 | 0.06969 | 0.264 | -1 | 0.6334 | 1.633 | 1 | 0.3864 | 0.006528 | 0.006412 | 0.01491 | 0.008956 | 1 | -0.00003851 | 0.02884 | 0.02894 | 0.01272 | 0.1128 | 7.565 | 1.496 | 0.1857 | 0.4138 | 1 | 1 | 0.00966 | 0.04689 | 0.1173 | 0.1386 | 0.6728 | 1.683 | json |
| t12_x22_u0_b65 | 12 | 22 | 0 | 65 | ![]() |
sqt(mod(R,dst(D,D))) | 37887 | 98336099 | o1(o2(x,o2(x,x))) | true | 132943 | 132943 | -0.9258 | 0.04297 | 0.9882 | 0.1235 | 0.3514 | -1 | 0.971 | 1.971 | 1 | 0.3916 | 0.01252 | 0.01245 | 0.01513 | 0.002807 | 1 | 0.000005689 | 0.05219 | 0.02886 | 0.02476 | 0.1573 | 10.4 | 2.731 | 0.2023 | 0.4226 | 1 | 1 | 0.0197 | 0.08508 | 0.2088 | 0.1595 | 0.689 | 1.691 | json |
| t12_x22_u0_b66 | 12 | 22 | 0 | 66 | ![]() |
sqt(lrg(R,add(D,D))) | 37888 | 98336100 | o1(o2(x,o2(x,x))) | true | 132951 | 132951 | 0.5023 | 0.9546 | 0.5023 | 0.1257 | 0.3546 | 0 | 1 | 1 | 1 | 3.657 | 0.03726 | 0.00162 | 0.111 | 0.9167 | 1 | -0.0007312 | 0.07287 | 0.1148 | 0.02657 | 0.163 | 1.469 | 0.9997 | 0.3093 | 0.5797 | 1 | 1 | 0.04081 | 0.1633 | 0.2124 | 0.3247 | 1.299 | 1.69 | json |
| t12_x22_u0_b67 | 12 | 22 | 0 | 67 | ![]() |
sqt(lrg(R,sub(D,D))) | 37889 | 98336101 | o1(o2(x,o2(x,x))) | true | 132959 | 132959 | 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_x22_u0_b68 | 12 | 22 | 0 | 68 | ![]() |
sqt(lrg(R,mlt(D,D))) | 37890 | 98336102 | o1(o2(x,o2(x,x))) | true | 132967 | 132967 | 0.4355 | 0.8141 | 0.4355 | 0.1529 | 0.3911 | 0 | 1 | 1 | 1 | 3.359 | 0.00888 | 0.002293 | 0.06178 | 0.5895 | 1 | 0.00003966 | 0.0145 | 0.03963 | 0.007357 | 0.08577 | 1.388 | 0.9994 | 0.07306 | 0.09479 | 1 | 1 | 0.01385 | 0.1208 | 0.2901 | 0.09057 | 0.7902 | 1.897 | json |
| t12_x22_u0_b69 | 12 | 22 | 0 | 69 | ![]() |
sqt(lrg(R,div(D,D))) | 37891 | 98336103 | o1(o2(x,o2(x,x))) | true | 132975 | 132975 | 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_x22_u0_b70 | 12 | 22 | 0 | 70 | ![]() |
sqt(lrg(R,pow(D,D))) | 37892 | 98336104 | o1(o2(x,o2(x,x))) | true | 132983 | 132983 | 0.5762 | 1 | 0.5762 | 0.1428 | 0.3779 | 0.000291 | 1 | 0.9997 | 1 | 3.436 | 0.06563 | 0.0005839 | 0.1222 | 0.9824 | 1 | 0.00002391 | 0.1306 | 0.1431 | 0.05128 | 0.2265 | 1.853 | 0.9994 | 0.4637 | 0.9145 | 1 | 1 | 0.06872 | 0.222 | 0.08021 | 0.4812 | 1.555 | 0.5617 | json |
| t12_x22_u0_b71 | 12 | 22 | 0 | 71 | ![]() |
sqt(lrg(R,mod(D,D))) | 37893 | 98336105 | o1(o2(x,o2(x,x))) | true | 132991 | 132991 | 0.4884 | 0.9115 | 0.4884 | 0.1555 | 0.3943 | 0 | 1 | 1 | 1 | 3.409 | 0.04554 | 0.002306 | 0.1115 | 0.9036 | 1 | -0.0001071 | 0.1214 | 0.1446 | 0.03541 | 0.1882 | 1.687 | 0.9999 | 0.3078 | 0.781 | 1 | 1 | 0.03433 | 0.1287 | 0.2804 | 0.2208 | 0.8276 | 1.803 | json |
| t12_x22_u0_b72 | 12 | 22 | 0 | 72 | ![]() |
sqt(lrg(R,lrg(D,D))) | 37894 | 98336106 | o1(o2(x,o2(x,x))) | true | 132999 | 132999 | 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_x22_u0_b73 | 12 | 22 | 0 | 73 | ![]() |
sqt(lrg(R,eql(D,D))) | 37895 | 98336107 | o1(o2(x,o2(x,x))) | true | 133007 | 133007 | 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_x22_u0_b74 | 12 | 22 | 0 | 74 | ![]() |
sqt(lrg(R,min(D,D))) | 37896 | 98336108 | o1(o2(x,o2(x,x))) | true | 133015 | 133015 | 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_x22_u0_b75 | 12 | 22 | 0 | 75 | ![]() |
sqt(lrg(R,dot(D,D))) | 37897 | 98336109 | o1(o2(x,o2(x,x))) | true | 133023 | 133023 | 0.3863 | 0.6312 | 0.3863 | 0.1527 | 0.3908 | 0 | 1 | 1 | 1 | 3.16 | 0.009099 | 0.009289 | 0.06819 | -0.0103 | 1 | 0.00027 | 0.04571 | 0.06879 | 0.01374 | 0.1172 | 1.719 | 1.413 | 0.1204 | 0.2994 | 1 | 1 | 0.0199 | 0.138 | 0.2848 | 0.1303 | 0.9037 | 1.865 | json |
| t12_x22_u0_b76 | 12 | 22 | 0 | 76 | ![]() |
sqt(lrg(R,dst(D,D))) | 37898 | 98336110 | o1(o2(x,o2(x,x))) | true | 133031 | 133031 | 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_x22_u0_b77 | 12 | 22 | 0 | 77 | ![]() |
sqt(eql(R,add(D,D))) | 37899 | 98336111 | o1(o2(x,o2(x,x))) | true | 133039 | 133039 | 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 |



































































































