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_x24_u6_b58 | 12 | 24 | 6 | 58 | ![]() |
nrm(mod(R,div(R,P))) | 40300 | 98418100 | o1(o2(x,o2(x,x))) | true | 2407 | 2407 | -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_x24_u6_b59 | 12 | 24 | 6 | 59 | ![]() |
nrm(mod(R,pow(R,P))) | 40301 | 98418101 | o1(o2(x,o2(x,x))) | true | 2415 | 2415 | -0.9881 | 0.005249 | 0.994 | 0.01541 | 0.1241 | -1 | 0.8599 | 1.86 | 1 | 0.1433 | 0.002189 | 0.001817 | 0.003341 | 0.09289 | 1 | 6.382e-11 | 0.008391 | 0.005656 | 0.003997 | 0.06322 | 18.92 | 2.044 | 0.2599 | 0.5444 | 1 | 1 | 0.00714 | 0.02881 | 0.05527 | 0.4632 | 1.869 | 3.586 | json |
| t12_x24_u6_b60 | 12 | 24 | 6 | 60 | ![]() |
nrm(mod(R,mod(R,P))) | 40302 | 98418102 | o1(o2(x,o2(x,x))) | true | 2423 | 2423 | -0.9751 | 0.00853 | 0.9816 | 0.0271 | 0.1646 | -1 | 0.9994 | 1.999 | 1 | 0.2979 | 0.001929 | 0.002534 | 0.005332 | -0.1356 | 1 | -0.00000886 | 0.009135 | 0.007909 | 0.004437 | 0.06661 | 12.49 | 1.999 | 0.1647 | 0.337 | 1 | 1 | 0.0009009 | 0.003705 | 0.008443 | 0.03324 | 0.1367 | 0.3115 | json |
| t12_x24_u6_b61 | 12 | 24 | 6 | 61 | ![]() |
nrm(mod(R,lrg(R,P))) | 40303 | 98418103 | o1(o2(x,o2(x,x))) | true | 2431 | 2431 | -0.9968 | 0.0009766 | 0.9977 | 0.0034 | 0.05831 | -1 | 0.9414 | 1.941 | 1 | 0.05454 | 0.0005306 | 0.0005161 | 0.001152 | 0.01382 | 1 | -3.379e-11 | 0.002174 | 0.001737 | 0.001044 | 0.03231 | 28.06 | 2.746 | 0.3079 | 0.6394 | 1 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | json |
| t12_x24_u6_b62 | 12 | 24 | 6 | 62 | ![]() |
nrm(mod(R,eql(R,P))) | 40304 | 98418104 | o1(o2(x,o2(x,x))) | true | 2439 | 2439 | -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_x24_u6_b63 | 12 | 24 | 6 | 63 | ![]() |
nrm(mod(R,min(R,P))) | 40305 | 98418105 | o1(o2(x,o2(x,x))) | true | 2447 | 2447 | -0.977 | 0.01114 | 0.985 | 0.02783 | 0.1668 | -1 | 0.9991 | 1.999 | 1 | 0.2432 | 0.002771 | 0.003401 | 0.005909 | -0.102 | 1 | -0.000001252 | 0.01288 | 0.009872 | 0.006133 | 0.07832 | 13.25 | 2.666 | 0.2218 | 0.4629 | 1 | 1 | 0.003757 | 0.01557 | 0.02908 | 0.135 | 0.5595 | 1.045 | json |
| t12_x24_u6_b64 | 12 | 24 | 6 | 64 | ![]() |
nrm(mod(R,dot(R,P))) | 40306 | 98418106 | o1(o2(x,o2(x,x))) | true | 2455 | 2455 | -0.01853 | 0.4792 | 0.4146 | 0.2319 | 0.4816 | -1 | 0.988 | 1.988 | 1 | 4.854 | 0.00449 | 0.004959 | 0.06437 | -0.04965 | 1 | -0.000006302 | 0.008019 | 0.01947 | 0.005305 | 0.07283 | 1.131 | 2.032 | 0.04074 | 0.03458 | 1 | 1 | 0.01708 | 0.1598 | 0.4344 | 0.07367 | 0.6889 | 1.873 | json |
| t12_x24_u6_b65 | 12 | 24 | 6 | 65 | ![]() |
nrm(mod(R,dst(R,P))) | 40307 | 98418107 | o1(o2(x,o2(x,x))) | true | 2463 | 2463 | -0.00321 | 0.4901 | 0.3959 | 0.2097 | 0.4579 | -0.9488 | 0.9534 | 1.902 | 1 | 4.784 | 0.002764 | 0.002943 | 0.06199 | -0.03129 | 1 | -0.000006012 | 0.0003368 | 0.01435 | 0.001864 | 0.04318 | 0.6965 | 0.2114 | 0.02722 | 0.001606 | 1 | 1 | 0.01118 | 0.1438 | 0.3696 | 0.0533 | 0.6856 | 1.763 | json |
| t12_x24_u6_b66 | 12 | 24 | 6 | 66 | ![]() |
nrm(lrg(R,add(R,P))) | 40308 | 98418108 | o1(o2(x,o2(x,x))) | true | 2471 | 2471 | 0.07069 | 0.4648 | 0.7035 | 0.6513 | 0.807 | -1 | 1 | 2 | 1 | 2.201 | 0.008882 | 0.002477 | 0.008477 | 0.5639 | 1 | 1.089e-8 | 0.02264 | 0.01392 | 0.01128 | 0.1062 | 12.53 | 2 | 0.01744 | 0.03476 | 1 | 1 | 0.01575 | 0.06508 | 0.2668 | 0.02419 | 0.09992 | 0.4096 | json |
| t12_x24_u6_b67 | 12 | 24 | 6 | 67 | ![]() |
nrm(lrg(R,sub(R,P))) | 40309 | 98418109 | o1(o2(x,o2(x,x))) | true | 2479 | 2479 | 0.07069 | 0.4648 | 0.7035 | 0.6514 | 0.8071 | -1 | 1 | 2 | 1 | 2.201 | 0.008882 | 0.002477 | 0.008477 | 0.5639 | 1 | 9.49e-9 | 0.02263 | 0.01392 | 0.01128 | 0.1062 | 12.53 | 2.414 | 0.01744 | 0.03475 | 1 | 1 | 0.01575 | 0.06508 | 0.2668 | 0.02419 | 0.09991 | 0.4096 | json |
| t12_x24_u6_b68 | 12 | 24 | 6 | 68 | ![]() |
nrm(lrg(R,mlt(R,P))) | 40310 | 98418110 | o1(o2(x,o2(x,x))) | true | 2487 | 2487 | -0.2507 | 0.4902 | 0.7102 | 0.5688 | 0.7542 | -1 | 1 | 2 | 1 | 2.943 | 0.03554 | 0.03589 | 0.06587 | -0.004826 | 1 | 0.00001162 | 0.1455 | 0.09674 | 0.06711 | 0.2591 | 3.933 | 2.828 | 0.1256 | 0.2558 | 1 | 1 | 0.07252 | 0.3112 | 0.9442 | 0.1275 | 0.547 | 1.66 | json |
| t12_x24_u6_b69 | 12 | 24 | 6 | 69 | ![]() |
nrm(lrg(R,div(R,P))) | 40311 | 98418111 | o1(o2(x,o2(x,x))) | true | 2495 | 2495 | -0.2742 | 0.4744 | 0.6946 | 0.5443 | 0.7378 | -1 | 1 | 2 | 1 | 2.888 | 0.03671 | 0.03955 | 0.07115 | -0.03737 | 1 | -0.00000314 | 0.1552 | 0.1068 | 0.0712 | 0.2668 | 3.751 | 2.828 | 0.1401 | 0.2852 | 1 | 1 | 0.07398 | 0.3245 | 1.102 | 0.1359 | 0.5962 | 2.024 | json |
| t12_x24_u6_b70 | 12 | 24 | 6 | 70 | ![]() |
nrm(lrg(R,pow(R,P))) | 40312 | 98418112 | o1(o2(x,o2(x,x))) | true | 2503 | 2503 | 0.1091 | 0.6482 | 0.7498 | 0.6439 | 0.8024 | -1 | 1 | 2 | 1 | 2.943 | 0.01742 | 0.01339 | 0.03194 | 0.1309 | 1 | 0.000004419 | 0.06268 | 0.04028 | 0.02978 | 0.1726 | 5.403 | 2.828 | 0.04786 | 0.09734 | 1 | 1 | 0.03901 | 0.1677 | 0.5342 | 0.06058 | 0.2605 | 0.8296 | json |
| t12_x24_u6_b71 | 12 | 24 | 6 | 71 | ![]() |
nrm(lrg(R,mod(R,P))) | 40313 | 98418113 | o1(o2(x,o2(x,x))) | true | 2511 | 2511 | -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_x24_u6_b72 | 12 | 24 | 6 | 72 | ![]() |
nrm(lrg(R,lrg(R,P))) | 40314 | 98418114 | o1(o2(x,o2(x,x))) | true | 2519 | 2519 | -0.912 | 0.05057 | 0.963 | 0.1235 | 0.3514 | -1 | 0.9999 | 2 | 1 | 0.5578 | 0.009358 | 0.008013 | 0.01428 | 0.07743 | 1 | -0.000004523 | 0.03611 | 0.02435 | 0.01716 | 0.131 | 9.177 | 2.414 | 0.1407 | 0.2924 | 1 | 1 | 0.02214 | 0.09463 | 0.3168 | 0.1792 | 0.7662 | 2.566 | json |
| t12_x24_u6_b73 | 12 | 24 | 6 | 73 | ![]() |
nrm(lrg(R,eql(R,P))) | 40315 | 98418115 | o1(o2(x,o2(x,x))) | true | 2527 | 2527 | -0.1387 | 0.5857 | 0.6426 | 0.5317 | 0.7292 | -1 | 0.9999 | 2 | 1 | 3.239 | 0.02739 | 0.0331 | 0.06437 | -0.09431 | 1 | -0.00001399 | 0.1213 | 0.08405 | 0.05635 | 0.2374 | 3.688 | 2.828 | 0.1138 | 0.2281 | 1 | 1 | 0.05291 | 0.2479 | 0.8352 | 0.0995 | 0.4663 | 1.571 | json |
| t12_x24_u6_b74 | 12 | 24 | 6 | 74 | ![]() |
nrm(lrg(R,min(R,P))) | 40316 | 98418116 | o1(o2(x,o2(x,x))) | true | 2535 | 2535 | 0.09335 | 0.4992 | 0.609 | 0.5131 | 0.7163 | -1 | 1 | 2 | 1 | 2.866 | 0.008691 | 0.005407 | 0.01674 | 0.2329 | 1 | 0.000001229 | 0.02855 | 0.02147 | 0.01382 | 0.1176 | 7.022 | 2 | 0.02747 | 0.05563 | 1 | 1 | 0.01669 | 0.07358 | 0.2811 | 0.03253 | 0.1434 | 0.5478 | json |
| t12_x24_u6_b75 | 12 | 24 | 6 | 75 | ![]() |
nrm(lrg(R,dot(R,P))) | 40317 | 98418117 | o1(o2(x,o2(x,x))) | true | 2543 | 2543 | -0.7868 | 0.1367 | 0.9398 | 0.2896 | 0.5382 | -1 | 0.9998 | 2 | 1 | 0.8571 | 0.01892 | 0.02637 | 0.03075 | -0.1646 | 1 | -0.000001891 | 0.0937 | 0.05882 | 0.04437 | 0.2106 | 6.851 | 2.414 | 0.1564 | 0.3235 | 1 | 1 | 0.04508 | 0.1902 | 0.5436 | 0.1557 | 0.6567 | 1.877 | json |
| t12_x24_u6_b76 | 12 | 24 | 6 | 76 | ![]() |
nrm(lrg(R,dst(R,P))) | 40318 | 98418118 | o1(o2(x,o2(x,x))) | true | 2551 | 2551 | -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_x24_u6_b77 | 12 | 24 | 6 | 77 | ![]() |
nrm(eql(R,add(R,P))) | 40319 | 98418119 | o1(o2(x,o2(x,x))) | true | 2559 | 2559 | 0.04369 | 0.125 | 0.04369 | 0.02206 | 0.1485 | 0 | 0.7069 | 0.7069 | 1 | 0.7586 | 0.0003453 | 5.912e-7 | 0.005561 | 0.9966 | 1 | 2.138e-9 | 0.0000159 | 0.001297 | 0.0003148 | 0.01774 | 3.19 | 0.08265 | 0.01568 | 0.0007207 | 1 | 1 | 0.000901 | 0.01172 | 0.03212 | 0.04083 | 0.5313 | 1.456 | json |
| t12_x24_u6_b78 | 12 | 24 | 6 | 78 | ![]() |
nrm(eql(R,sub(R,P))) | 40320 | 98418120 | o1(o2(x,o2(x,x))) | true | 2567 | 2567 | 0.04369 | 0.125 | 0.04369 | 0.02206 | 0.1485 | 0 | 0.7069 | 0.7069 | 1 | 0.7586 | 0.0003453 | 5.912e-7 | 0.005561 | 0.9966 | 1 | 2.138e-9 | 0.0000159 | 0.001297 | 0.0003148 | 0.01774 | 3.19 | 0.08265 | 0.01568 | 0.0007207 | 1 | 1 | 0.000901 | 0.01172 | 0.03212 | 0.04083 | 0.5313 | 1.456 | json |
| t12_x24_u6_b79 | 12 | 24 | 6 | 79 | ![]() |
nrm(eql(R,mlt(R,P))) | 40321 | 98418121 | o1(o2(x,o2(x,x))) | true | 2575 | 2575 | -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_x24_u6_b80 | 12 | 24 | 6 | 80 | ![]() |
nrm(eql(R,div(R,P))) | 40322 | 98418122 | o1(o2(x,o2(x,x))) | true | 2583 | 2583 | -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_x24_u6_b81 | 12 | 24 | 6 | 81 | ![]() |
nrm(eql(R,pow(R,P))) | 40323 | 98418123 | o1(o2(x,o2(x,x))) | true | 2591 | 2591 | -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_x24_u6_b82 | 12 | 24 | 6 | 82 | ![]() |
nrm(eql(R,mod(R,P))) | 40324 | 98418124 | o1(o2(x,o2(x,x))) | true | 2599 | 2599 | 0.5491 | 1 | 0.5491 | 0.01615 | 0.1271 | 0.000168 | 0.7071 | 0.7069 | 1 | 1.203 | 0.0002426 | 0.00001097 | 0.005561 | 0.9135 | 1 | -1.711e-9 | 0.00001166 | 0.001296 | 0.0002225 | 0.01492 | 2.682 | 0.08265 | 0.0157 | 0.0007221 | 1 | 1 | 0.0006704 | 0.008722 | 0.0239 | 0.04152 | 0.5402 | 1.48 | json |
| t12_x24_u6_b83 | 12 | 24 | 6 | 83 | ![]() |
nrm(eql(R,lrg(R,P))) | 40325 | 98418125 | o1(o2(x,o2(x,x))) | true | 2607 | 2607 | -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_x24_u6_b84 | 12 | 24 | 6 | 84 | ![]() |
nrm(eql(R,eql(R,P))) | 40326 | 98418126 | o1(o2(x,o2(x,x))) | true | 2615 | 2615 | -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_x24_u6_b85 | 12 | 24 | 6 | 85 | ![]() |
nrm(eql(R,min(R,P))) | 40327 | 98418127 | o1(o2(x,o2(x,x))) | true | 2623 | 2623 | 0.1018 | 0.5185 | 0.6174 | 0.517 | 0.719 | -1 | 1 | 2 | 1 | 2.933 | 0.006115 | 0.006816 | 0.01697 | -0.0542 | 1 | 0.00000186 | 0.02629 | 0.02048 | 0.01265 | 0.1125 | 6.628 | 2.414 | 0.02501 | 0.05085 | 1 | 1 | 0.01791 | 0.07719 | 0.2876 | 0.03464 | 0.1493 | 0.5563 | json |
| t12_x24_u6_b86 | 12 | 24 | 6 | 86 | ![]() |
nrm(eql(R,dot(R,P))) | 40328 | 98418128 | o1(o2(x,o2(x,x))) | true | 2631 | 2631 | -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_x24_u6_b87 | 12 | 24 | 6 | 87 | ![]() |
nrm(eql(R,dst(R,P))) | 40329 | 98418129 | o1(o2(x,o2(x,x))) | true | 2639 | 2639 | -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_x24_u6_b88 | 12 | 24 | 6 | 88 | ![]() |
nrm(min(R,add(R,P))) | 40330 | 98418130 | o1(o2(x,o2(x,x))) | true | 2647 | 2647 | -0.3677 | 0.2408 | 0.5173 | 0.2577 | 0.5076 | -1 | 0.9719 | 1.972 | 1 | 4.393 | 0.001272 | 0.0009027 | 0.02874 | 0.1697 | 1 | -0.00002591 | 0.0001299 | 0.006622 | 0.001349 | 0.03672 | 1.278 | 0.2109 | 0.008439 | 0.0005041 | 1 | 1 | 0.004738 | 0.06193 | 0.2115 | 0.01839 | 0.2404 | 0.8209 | json |
| t12_x24_u6_b89 | 12 | 24 | 6 | 89 | ![]() |
nrm(min(R,sub(R,P))) | 40331 | 98418131 | o1(o2(x,o2(x,x))) | true | 2655 | 2655 | -0.3525 | 0.2722 | 0.517 | 0.2648 | 0.5146 | -0.9999 | 0.9715 | 1.971 | 1 | 4.438 | 0.0009242 | 0.001102 | 0.02754 | -0.08786 | 1 | 5.74e-7 | 0.0001172 | 0.006266 | 0.001268 | 0.03561 | 1.293 | 0.2114 | 0.007653 | 0.0004428 | 1 | 1 | 0.004618 | 0.05903 | 0.1838 | 0.01744 | 0.2229 | 0.6942 | json |
| t12_x24_u6_b90 | 12 | 24 | 6 | 90 | ![]() |
nrm(min(R,mlt(R,P))) | 40332 | 98418132 | o1(o2(x,o2(x,x))) | true | 2663 | 2663 | -0.3783 | 0.1878 | 0.521 | 0.2168 | 0.4656 | -1 | 0.9994 | 1.999 | 1 | 4.632 | 0.002491 | 0.00223 | 0.05223 | 0.05523 | 1 | -0.00004119 | 0.0002842 | 0.01215 | 0.001993 | 0.04465 | 0.8548 | 0.2256 | 0.02178 | 0.001311 | 1 | 1 | 0.009338 | 0.1211 | 0.3393 | 0.04307 | 0.5583 | 1.565 | json |
| t12_x24_u6_b91 | 12 | 24 | 6 | 91 | ![]() |
nrm(min(R,div(R,P))) | 40333 | 98418133 | o1(o2(x,o2(x,x))) | true | 2671 | 2671 | -0.2274 | 0.1741 | 0.2688 | 0.1245 | 0.3529 | -1 | 0.8095 | 1.81 | 1 | 3.792 | 0.006625 | 0.004851 | 0.03669 | 0.1546 | 1 | -0.000004964 | 0.02011 | 0.02419 | 0.01013 | 0.1006 | 2.743 | 2.42 | 0.09215 | 0.1615 | 1 | 1 | 0.01738 | 0.09589 | 0.273 | 0.1396 | 0.77 | 2.192 | json |
| t12_x24_u6_b92 | 12 | 24 | 6 | 92 | ![]() |
nrm(min(R,pow(R,P))) | 40334 | 98418134 | o1(o2(x,o2(x,x))) | true | 2679 | 2679 | -0.05832 | 0.4326 | 0.3815 | 0.2018 | 0.4492 | -0.9966 | 0.9962 | 1.993 | 1 | 4.807 | 0.002566 | 0.002634 | 0.05853 | -0.01305 | 1 | 0.000005669 | 0.0003022 | 0.01345 | 0.001774 | 0.04211 | 0.7195 | 0.2129 | 0.02577 | 0.001498 | 1 | 1 | 0.0105 | 0.1349 | 0.3559 | 0.05202 | 0.6685 | 1.764 | json |
| t12_x24_u6_b93 | 12 | 24 | 6 | 93 | ![]() |
nrm(min(R,mod(R,P))) | 40335 | 98418135 | o1(o2(x,o2(x,x))) | true | 2687 | 2687 | -0.004333 | 0.4894 | 0.3952 | 0.209 | 0.4572 | -0.9488 | 0.9534 | 1.902 | 1 | 4.783 | 0.002736 | 0.002944 | 0.06188 | -0.03652 | 1 | -0.000006012 | 0.0003349 | 0.01431 | 0.001851 | 0.04303 | 0.6953 | 0.2114 | 0.02718 | 0.001602 | 1 | 1 | 0.01108 | 0.1426 | 0.3701 | 0.05303 | 0.6821 | 1.771 | json |
| t12_x24_u6_b94 | 12 | 24 | 6 | 94 | ![]() |
nrm(min(R,lrg(R,P))) | 40336 | 98418136 | o1(o2(x,o2(x,x))) | true | 2695 | 2695 | -0.1291 | 0.2801 | 0.3655 | 0.1835 | 0.4283 | -0.9995 | 0.9715 | 1.971 | 1 | 4.638 | 0.002003 | 0.002265 | 0.05123 | -0.06123 | 1 | 0.000005917 | 0.0002478 | 0.01185 | 0.001644 | 0.04054 | 0.7913 | 0.2226 | 0.02327 | 0.001351 | 1 | 1 | 0.008636 | 0.1107 | 0.2976 | 0.04708 | 0.6036 | 1.622 | json |
| t12_x24_u6_b95 | 12 | 24 | 6 | 95 | ![]() |
nrm(min(R,eql(R,P))) | 40337 | 98418137 | o1(o2(x,o2(x,x))) | true | 2703 | 2703 | -0.6028 | 0 | 0.6028 | 0.1561 | 0.3951 | -1 | 0 | 1 | 1 | 3.222 | 0.008359 | 0.007644 | 0.04435 | 0.04471 | 1 | -0.000006892 | 0.0293 | 0.0404 | 0.01403 | 0.1185 | 2.671 | 1.414 | 0.1025 | 0.1876 | 1 | 1 | 0.01784 | 0.1028 | 0.2788 | 0.1142 | 0.6584 | 1.786 | json |
| t12_x24_u6_b96 | 12 | 24 | 6 | 96 | ![]() |
nrm(min(R,min(R,P))) | 40338 | 98418138 | o1(o2(x,o2(x,x))) | true | 2711 | 2711 | -0.3882 | 0.2202 | 0.5338 | 0.2646 | 0.5144 | -1 | 0.9995 | 2 | 1 | 4.319 | 0.001365 | 0.000966 | 0.02807 | 0.1712 | 1 | -0.00002372 | 0.0001409 | 0.006487 | 0.001543 | 0.03928 | 1.399 | 0.2319 | 0.008809 | 0.0005324 | 1 | 1 | 0.004661 | 0.06103 | 0.2092 | 0.01761 | 0.2306 | 0.7904 | json |
| t12_x24_u6_b97 | 12 | 24 | 6 | 97 | ![]() |
nrm(min(R,dot(R,P))) | 40339 | 98418139 | o1(o2(x,o2(x,x))) | true | 2719 | 2719 | -0.3119 | 0.2106 | 0.4752 | 0.1661 | 0.4075 | -0.9076 | 0.9369 | 1.844 | 1 | 3.969 | 0.001866 | 0.001696 | 0.04114 | 0.04763 | 1 | -0.00003758 | 0.0002093 | 0.009663 | 0.00187 | 0.04324 | 1.051 | 0.1985 | 0.02144 | 0.00126 | 1 | 1 | 0.007123 | 0.09269 | 0.2806 | 0.04288 | 0.558 | 1.689 | json |
| t12_x24_u6_b98 | 12 | 24 | 6 | 98 | ![]() |
nrm(min(R,dst(R,P))) | 40340 | 98418140 | o1(o2(x,o2(x,x))) | true | 2727 | 2727 | -0.003729 | 0.4898 | 0.3956 | 0.2093 | 0.4575 | -0.9488 | 0.9534 | 1.902 | 1 | 4.783 | 0.00275 | 0.002942 | 0.06193 | -0.03371 | 1 | -0.000006012 | 0.0003359 | 0.01433 | 0.001857 | 0.04309 | 0.6958 | 0.2114 | 0.0272 | 0.001605 | 1 | 1 | 0.01113 | 0.1431 | 0.3696 | 0.05316 | 0.6838 | 1.766 | json |
| t12_x24_u6_b99 | 12 | 24 | 6 | 99 | ![]() |
nrm(dot(R,add(R,P))) | 40341 | 98418141 | o1(o2(x,o2(x,x))) | true | 2735 | 2735 | 0.04511 | 0.5415 | 0.4223 | 0.2081 | 0.4562 | -0.5774 | 0.5774 | 1.155 | 1 | 3.867 | 0.002533 | 0.00316 | 0.05768 | -0.1101 | 1 | -0.00005269 | 0.0003316 | 0.01398 | 0.002365 | 0.04863 | 0.8431 | 0.135 | 0.02735 | 0.001593 | 1 | 1 | 0.01045 | 0.1351 | 0.3867 | 0.05023 | 0.6489 | 1.858 | json |
| t12_x24_u6_b100 | 12 | 24 | 6 | 100 | ![]() |
nrm(dot(R,sub(R,P))) | 40342 | 98418142 | o1(o2(x,o2(x,x))) | true | 2743 | 2743 | 0.1488 | 0.6348 | 0.4316 | 0.1953 | 0.4419 | -0.5774 | 0.5774 | 1.155 | 1 | 3.69 | 0.002302 | 0.003108 | 0.05471 | -0.149 | 1 | 0.00005433 | 0.0003104 | 0.01323 | 0.002417 | 0.04917 | 0.8987 | 0.135 | 0.0277 | 0.001589 | 1 | 1 | 0.01029 | 0.1333 | 0.3847 | 0.05269 | 0.6824 | 1.969 | json |
| t12_x24_u6_b101 | 12 | 24 | 6 | 101 | ![]() |
nrm(dot(R,mlt(R,P))) | 40343 | 98418143 | o1(o2(x,o2(x,x))) | true | 2751 | 2751 | -0.03819 | 0.4722 | 0.5224 | 0.2932 | 0.5415 | -1 | 0.5774 | 1.577 | 1 | 2.685 | 0.002428 | 0.002445 | 0.02491 | -0.003543 | 1 | -0.000009064 | 0.005539 | 0.009598 | 0.004252 | 0.06521 | 2.618 | 2.231 | 0.01662 | 0.01889 | 1 | 1 | 0.008943 | 0.07476 | 0.2609 | 0.0305 | 0.2549 | 0.8898 | json |
| t12_x24_u6_b102 | 12 | 24 | 6 | 102 | ![]() |
nrm(dot(R,div(R,P))) | 40344 | 98418144 | o1(o2(x,o2(x,x))) | true | 2759 | 2759 | -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_x24_u6_b103 | 12 | 24 | 6 | 103 | ![]() |
nrm(dot(R,pow(R,P))) | 40345 | 98418145 | o1(o2(x,o2(x,x))) | true | 2767 | 2767 | -0.9849 | 0.008911 | 0.9937 | 0.02111 | 0.1453 | -1 | 0.5774 | 1.577 | 1 | 0.1282 | 0.002893 | 0.002192 | 0.00389 | 0.138 | 1 | -2.253e-11 | 0.01064 | 0.006898 | 0.005065 | 0.07117 | 18.29 | 2.231 | 0.2409 | 0.504 | 1 | 1 | 0.009029 | 0.03631 | 0.07632 | 0.4277 | 1.72 | 3.616 | json |
| t12_x24_u6_b104 | 12 | 24 | 6 | 104 | ![]() |
nrm(dot(R,mod(R,P))) | 40346 | 98418146 | o1(o2(x,o2(x,x))) | true | 2775 | 2775 | 0.2075 | 0.7656 | 0.6767 | 0.4465 | 0.6682 | -1 | 0.5774 | 1.577 | 1 | 0.7856 | 0.01724 | 0.01724 | 0.02184 | 0 | 1 | -1.528e-9 | 0.06927 | 0.04372 | 0.03401 | 0.1844 | 8.443 | 2.231 | 0.07722 | 0.1551 | 1 | 1 | 0.04356 | 0.1742 | 0.697 | 0.09755 | 0.3902 | 1.561 | json |
| t12_x24_u6_b105 | 12 | 24 | 6 | 105 | ![]() |
nrm(dot(R,lrg(R,P))) | 40347 | 98418147 | o1(o2(x,o2(x,x))) | true | 2783 | 2783 | -0.1045 | 0.5105 | 0.5878 | 0.4159 | 0.6449 | -1 | 0.5774 | 1.577 | 1 | 3.421 | 0.01008 | 0.01133 | 0.04829 | -0.05849 | 1 | 0.00006175 | 0.03707 | 0.03198 | 0.01908 | 0.1381 | 2.86 | 2.231 | 0.05148 | 0.08912 | 1 | 1 | 0.02357 | 0.1531 | 0.4486 | 0.05668 | 0.3682 | 1.079 | json |
| t12_x24_u6_b106 | 12 | 24 | 6 | 106 | ![]() |
nrm(dot(R,eql(R,P))) | 40348 | 98418148 | o1(o2(x,o2(x,x))) | true | 2791 | 2791 | -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_x24_u6_b107 | 12 | 24 | 6 | 107 | ![]() |
nrm(dot(R,min(R,P))) | 40349 | 98418149 | o1(o2(x,o2(x,x))) | true | 2799 | 2799 | 0.1759 | 0.6531 | 0.4611 | 0.2099 | 0.4582 | -0.5774 | 0.5774 | 1.155 | 1 | 3.315 | 0.001838 | 0.002442 | 0.04329 | -0.1411 | 1 | -0.0000354 | 0.0002484 | 0.01052 | 0.002406 | 0.04905 | 1.133 | 0.135 | 0.02039 | 0.001183 | 1 | 1 | 0.008573 | 0.1098 | 0.2808 | 0.04084 | 0.5231 | 1.338 | json |
| t12_x24_u6_b108 | 12 | 24 | 6 | 108 | ![]() |
nrm(dot(R,dot(R,P))) | 40350 | 98418150 | o1(o2(x,o2(x,x))) | true | 2807 | 2807 | 0.02723 | 0.5293 | 0.4322 | 0.2233 | 0.4726 | -1 | 0.5774 | 1.577 | 1 | 3.904 | 0.003395 | 0.00391 | 0.05621 | -0.07053 | 1 | 0.00001233 | 0.004436 | 0.01687 | 0.004146 | 0.06439 | 1.146 | 2.23 | 0.03271 | 0.01986 | 1 | 1 | 0.01465 | 0.1579 | 0.4154 | 0.0656 | 0.7072 | 1.86 | json |
| t12_x24_u6_b109 | 12 | 24 | 6 | 109 | ![]() |
nrm(dot(R,dst(R,P))) | 40351 | 98418151 | o1(o2(x,o2(x,x))) | true | 2815 | 2815 | 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_x24_u6_b110 | 12 | 24 | 6 | 110 | ![]() |
nrm(dst(R,add(R,P))) | 40352 | 98418152 | o1(o2(x,o2(x,x))) | true | 2823 | 2823 | 0.5531 | 0.9844 | 0.5843 | 0.03822 | 0.1955 | -1 | 0.5774 | 1.577 | 1 | 0.1161 | 0.002507 | 0.002507 | 0.003165 | 0 | 1 | -9.724e-10 | 0.01034 | 0.006359 | 0.005001 | 0.07072 | 22.34 | 2.231 | 0.1312 | 0.2706 | 1 | 1 | 0.008822 | 0.03529 | 0.1411 | 0.2308 | 0.9232 | 3.693 | json |
| t12_x24_u6_b111 | 12 | 24 | 6 | 111 | ![]() |
nrm(dst(R,sub(R,P))) | 40353 | 98418153 | o1(o2(x,o2(x,x))) | true | 2831 | 2831 | 0.5531 | 0.9844 | 0.5843 | 0.03822 | 0.1955 | -1 | 0.5774 | 1.577 | 1 | 0.1161 | 0.002507 | 0.002507 | 0.003165 | 0 | 1 | -8.785e-10 | 0.01034 | 0.006359 | 0.005001 | 0.07072 | 22.34 | 2.231 | 0.1312 | 0.2706 | 1 | 1 | 0.008822 | 0.03529 | 0.1411 | 0.2308 | 0.9232 | 3.693 | json |
| t12_x24_u6_b112 | 12 | 24 | 6 | 112 | ![]() |
nrm(dst(R,mlt(R,P))) | 40354 | 98418154 | o1(o2(x,o2(x,x))) | true | 2839 | 2839 | 0.5777 | 1 | 0.5777 | 1.421e-7 | 0.0003769 | 0.5774 | 0.5774 | 1.192e-7 | 1 | 0 | 5.807e-17 | 4.146e-17 | 1.599e-9 | 0.00001662 | 0 | -1.089e-9 | 4.243e-16 | 1.78e-9 | 9.7e-17 | 9.849e-9 | 6.16 | 8.429e-8 | 7.004e-10 | 2.986e-9 | 1 | 1 | 9.674e-17 | 3.635e-16 | 5.473e-16 | 6.808e-10 | 2.559e-9 | 3.852e-9 | json |
| t12_x24_u6_b113 | 12 | 24 | 6 | 113 | ![]() |
nrm(dst(R,div(R,P))) | 40355 | 98418155 | o1(o2(x,o2(x,x))) | true | 2847 | 2847 | -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_x24_u6_b114 | 12 | 24 | 6 | 114 | ![]() |
nrm(dst(R,pow(R,P))) | 40356 | 98418156 | o1(o2(x,o2(x,x))) | true | 2855 | 2855 | -0.9815 | 0.01172 | 0.9951 | 0.02883 | 0.1698 | -1 | 0.5774 | 1.577 | 1 | 0.09198 | 0.003761 | 0.002507 | 0.003945 | 0.2 | 1 | -1.952e-10 | 0.01316 | 0.007948 | 0.006259 | 0.07911 | 20.05 | 2.231 | 0.2174 | 0.4566 | 1 | 1 | 0.01103 | 0.04411 | 0.1048 | 0.3825 | 1.53 | 3.633 | json |
| t12_x24_u6_b115 | 12 | 24 | 6 | 115 | ![]() |
nrm(dst(R,mod(R,P))) | 40357 | 98418157 | o1(o2(x,o2(x,x))) | true | 2863 | 2863 | -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_x24_u6_b116 | 12 | 24 | 6 | 116 | ![]() |
nrm(dst(R,lrg(R,P))) | 40358 | 98418158 | o1(o2(x,o2(x,x))) | true | 2871 | 2871 | 0.5777 | 1 | 0.5777 | 1.421e-7 | 0.000377 | 0.5774 | 0.5774 | 1.192e-7 | 1 | 0 | 5.829e-17 | 4.722e-17 | 1.693e-9 | 0.00001108 | 0 | -1.183e-9 | 4.86e-16 | 2.039e-9 | 1.027e-16 | 1.013e-8 | 5.985 | 8.429e-8 | 7.425e-10 | 3.421e-9 | 1 | 1 | 1.01e-16 | 3.811e-16 | 6.224e-16 | 7.106e-10 | 2.682e-9 | 4.38e-9 | json |
| t12_x24_u6_b117 | 12 | 24 | 6 | 117 | ![]() |
nrm(dst(R,eql(R,P))) | 40359 | 98418159 | o1(o2(x,o2(x,x))) | true | 2879 | 2879 | 0.5777 | 1 | 0.5777 | 1.421e-7 | 0.000377 | 0.5774 | 0.5774 | 1.192e-7 | 1 | 0 | 5.477e-17 | 4.011e-17 | 1.52e-9 | 0.00001466 | 0 | -2.628e-10 | 4.189e-16 | 1.757e-9 | 9.254e-17 | 9.62e-9 | 6.327 | 8.429e-8 | 6.677e-10 | 2.948e-9 | 1 | 1 | 9.989e-17 | 3.782e-16 | 6.564e-16 | 7.03e-10 | 2.661e-9 | 4.619e-9 | json |
| t12_x24_u6_b118 | 12 | 24 | 6 | 118 | ![]() |
nrm(dst(R,min(R,P))) | 40360 | 98418160 | o1(o2(x,o2(x,x))) | true | 2887 | 2887 | 0.1707 | 0.7422 | 0.6865 | 0.4762 | 0.6901 | -1 | 0.5774 | 1.577 | 1 | 0.8234 | 0.009325 | 0.009952 | 0.01216 | -0.03252 | 1 | -7.978e-10 | 0.03988 | 0.02444 | 0.01912 | 0.1383 | 11.37 | 2.231 | 0.04048 | 0.08375 | 1 | 1 | 0.01857 | 0.08081 | 0.2961 | 0.039 | 0.1697 | 0.6218 | json |
| t12_x24_u6_b119 | 12 | 24 | 6 | 119 | ![]() |
nrm(dst(R,dot(R,P))) | 40361 | 98418161 | o1(o2(x,o2(x,x))) | true | 2895 | 2895 | 0.5777 | 1 | 0.5777 | 1.421e-7 | 0.000377 | 0.5774 | 0.5774 | 1.192e-7 | 1 | 0 | 4.526e-17 | 3.474e-17 | 1.288e-9 | 0.00001052 | 0 | -1.115e-9 | 3.482e-16 | 1.46e-9 | 7.839e-17 | 8.854e-9 | 6.876 | 8.429e-8 | 5.63e-10 | 2.45e-9 | 1 | 1 | 8.69e-17 | 3.28e-16 | 4.497e-16 | 6.116e-10 | 2.308e-9 | 3.165e-9 | json |
| t12_x24_u6_b120 | 12 | 24 | 6 | 120 | ![]() |
nrm(dst(R,dst(R,P))) | 40362 | 98418162 | o1(o2(x,o2(x,x))) | true | 2903 | 2903 | 0.5777 | 1 | 0.5777 | 1.421e-7 | 0.000377 | 0.5774 | 0.5774 | 1.192e-7 | 1 | 0 | 4.168e-17 | 2.987e-17 | 1.155e-9 | 0.0000118 | 0 | -5.219e-10 | 2.838e-16 | 1.19e-9 | 7.019e-17 | 8.378e-9 | 7.251 | 8.429e-8 | 5.036e-10 | 1.997e-9 | 1 | 1 | 5.905e-17 | 2.254e-16 | 3.596e-16 | 4.156e-10 | 1.586e-9 | 2.53e-9 | json |
| t12_x25_u0_b0 | 12 | 25 | 0 | 0 | ![]() |
sqt(add(R,add(R,D))) | 40363 | 98457237 | o1(o2(x,o2(x,x))) | true | 2911 | 2911 | -0.9043 | 0.05127 | 0.9931 | 0.1708 | 0.4133 | -1 | 1 | 2 | 1 | 0.4206 | 0.03902 | 0.01773 | 0.03157 | 0.3751 | 1 | 2.919e-7 | 0.1231 | 0.06181 | 0.05574 | 0.2361 | 7.479 | 2.828 | 0.3322 | 0.7204 | 1 | 1 | 0.053 | 0.1638 | 0.3395 | 0.3102 | 0.9586 | 1.987 | json |
| t12_x25_u0_b1 | 12 | 25 | 0 | 1 | ![]() |
sqt(add(R,sub(R,D))) | 40364 | 98457238 | o1(o2(x,o2(x,x))) | true | 2919 | 2919 | -0.8793 | 0.06348 | 0.9937 | 0.2165 | 0.4653 | -1 | 1 | 2 | 1 | 0.4735 | 0.04374 | 0.01925 | 0.03445 | 0.3889 | 1 | 0.000006044 | 0.1376 | 0.06715 | 0.06182 | 0.2486 | 7.218 | 2.828 | 0.291 | 0.6355 | 1 | 1 | 0.05828 | 0.2101 | 0.404 | 0.2692 | 0.9705 | 1.866 | json |
| t12_x25_u0_b2 | 12 | 25 | 0 | 2 | ![]() |
sqt(add(R,mlt(R,D))) | 40365 | 98457239 | o1(o2(x,o2(x,x))) | true | 2927 | 2927 | -0.9264 | 0.04297 | 0.9877 | 0.1217 | 0.3488 | -1 | 1 | 2 | 1 | 0.3948 | 0.01252 | 0.01226 | 0.0152 | 0.01038 | 1 | 0.000004967 | 0.05183 | 0.0288 | 0.02456 | 0.1567 | 10.31 | 2.71 | 0.2037 | 0.4259 | 1 | 1 | 0.01951 | 0.08349 | 0.2047 | 0.1604 | 0.6862 | 1.682 | json |
| t12_x25_u0_b3 | 12 | 25 | 0 | 3 | ![]() |
sqt(add(R,div(R,D))) | 40366 | 98457240 | o1(o2(x,o2(x,x))) | true | 2935 | 2935 | -0.9241 | 0.03906 | 0.9977 | 0.1423 | 0.3772 | -1 | 1 | 2 | 1 | 0.2949 | 0.01959 | 0.01507 | 0.01829 | 0.1302 | 1 | -0.000001374 | 0.07334 | 0.03582 | 0.03433 | 0.1853 | 10.13 | 2.828 | 0.2436 | 0.5155 | 1 | 1 | 0.03664 | 0.1472 | 0.3188 | 0.2575 | 1.035 | 2.241 | json |
| t12_x25_u0_b4 | 12 | 25 | 0 | 4 | ![]() |
sqt(add(R,pow(R,D))) | 40367 | 98457241 | o1(o2(x,o2(x,x))) | true | 2943 | 2943 | -0.9142 | 0.04297 | 0.9999 | 0.1641 | 0.4051 | -1 | 1 | 2 | 1 | 0.262 | 0.01688 | 0.01632 | 0.01655 | 0.01694 | 1 | 7.927e-7 | 0.06946 | 0.03327 | 0.03291 | 0.1814 | 10.96 | 2.828 | 0.2023 | 0.4232 | 1 | 1 | 0.02534 | 0.1092 | 0.2747 | 0.1544 | 0.6653 | 1.674 | json |
| t12_x25_u0_b5 | 12 | 25 | 0 | 5 | ![]() |
sqt(add(R,mod(R,D))) | 40368 | 98457242 | o1(o2(x,o2(x,x))) | true | 2951 | 2951 | -0.922 | 0.04297 | 0.9921 | 0.1364 | 0.3693 | -1 | 1 | 2 | 1 | 0.3817 | 0.01282 | 0.01373 | 0.01634 | -0.03408 | 1 | -0.000003597 | 0.05525 | 0.03151 | 0.02627 | 0.1621 | 9.918 | 2.749 | 0.1946 | 0.4051 | 1 | 1 | 0.02092 | 0.09341 | 0.231 | 0.1534 | 0.6849 | 1.694 | json |
| t12_x25_u0_b6 | 12 | 25 | 0 | 6 | ![]() |
sqt(add(R,lrg(R,D))) | 40369 | 98457243 | o1(o2(x,o2(x,x))) | true | 2959 | 2959 | -0.7488 | 0.1287 | 0.9939 | 0.4296 | 0.6555 | -1 | 1 | 2 | 1 | 0.6931 | 0.07998 | 0.03935 | 0.06269 | 0.3405 | 1 | -2.481e-7 | 0.253 | 0.124 | 0.1154 | 0.3397 | 5.418 | 2.828 | 0.2778 | 0.5889 | 1 | 1 | 0.1208 | 0.4439 | 0.8376 | 0.2811 | 1.033 | 1.95 | json |
| t12_x25_u0_b7 | 12 | 25 | 0 | 7 | ![]() |
sqt(add(R,eql(R,D))) | 40370 | 98457244 | o1(o2(x,o2(x,x))) | true | 2967 | 2967 | -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_x25_u0_b8 | 12 | 25 | 0 | 8 | ![]() |
sqt(add(R,min(R,D))) | 40371 | 98457245 | o1(o2(x,o2(x,x))) | true | 2975 | 2975 | -0.9721 | 0.01685 | 0.9942 | 0.04576 | 0.2139 | -1 | 0.9535 | 1.953 | 1 | 0.1784 | 0.01392 | 0.004958 | 0.01183 | 0.4748 | 1 | 0.000009651 | 0.04081 | 0.02303 | 0.01873 | 0.1369 | 11.57 | 2.707 | 0.4125 | 0.8919 | 1 | 1 | 0.01333 | 0.04824 | 0.07912 | 0.2913 | 1.054 | 1.729 | json |
| t12_x25_u0_b9 | 12 | 25 | 0 | 9 | ![]() |
sqt(add(R,dot(R,D))) | 40372 | 98457246 | o1(o2(x,o2(x,x))) | true | 2983 | 2983 | -0.8821 | 0.07106 | 0.9757 | 0.1843 | 0.4293 | -1 | 1 | 2 | 1 | 0.623 | 0.03451 | 0.04026 | 0.04458 | -0.07687 | 1 | -0.0001137 | 0.214 | 0.09071 | 0.07277 | 0.2698 | 6.051 | 2.828 | 0.4058 | 1.161 | 1 | 1 | 0.07029 | 0.24 | 0.3675 | 0.3814 | 1.303 | 1.995 | json |
| t12_x25_u0_b10 | 12 | 25 | 0 | 10 | ![]() |
sqt(add(R,dst(R,D))) | 40373 | 98457247 | o1(o2(x,o2(x,x))) | true | 2991 | 2991 | 0.6286 | 0.8643 | 0.9001 | 0.4399 | 0.6633 | -1 | 1 | 2 | 1 | 2.56 | 0.06445 | 0.05729 | 0.08585 | 0.05883 | 1 | 0.0003783 | 0.3329 | 0.1447 | 0.1144 | 0.3382 | 3.939 | 2.828 | 0.2767 | 0.7568 | 1 | 1 | 0.1096 | 0.437 | 0.8336 | 0.2491 | 0.9933 | 1.895 | json |
| t12_x25_u0_b11 | 12 | 25 | 0 | 11 | ![]() |
sqt(sub(R,add(R,D))) | 40374 | 98457248 | o1(o2(x,o2(x,x))) | true | 2999 | 2999 | -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_x25_u0_b12 | 12 | 25 | 0 | 12 | ![]() |
sqt(sub(R,sub(R,D))) | 40375 | 98457249 | o1(o2(x,o2(x,x))) | true | 3007 | 3007 | -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_x25_u0_b13 | 12 | 25 | 0 | 13 | ![]() |
sqt(sub(R,mlt(R,D))) | 40376 | 98457250 | o1(o2(x,o2(x,x))) | true | 3015 | 3015 | -0.9263 | 0.04297 | 0.9878 | 0.122 | 0.3493 | -1 | 1 | 2 | 1 | 0.394 | 0.01254 | 0.01228 | 0.01523 | 0.01045 | 1 | 0.00001173 | 0.05187 | 0.02884 | 0.0246 | 0.1568 | 10.3 | 2.751 | 0.2035 | 0.4251 | 1 | 1 | 0.01961 | 0.08445 | 0.2072 | 0.1607 | 0.6922 | 1.698 | json |
| t12_x25_u0_b14 | 12 | 25 | 0 | 14 | ![]() |
sqt(sub(R,div(R,D))) | 40377 | 98457251 | o1(o2(x,o2(x,x))) | true | 3023 | 3023 | -0.9076 | 0.04688 | 0.9986 | 0.1738 | 0.4169 | -1 | 1 | 2 | 1 | 0.3162 | 0.02348 | 0.01652 | 0.02057 | 0.174 | 1 | -7.474e-7 | 0.08429 | 0.04075 | 0.03957 | 0.1989 | 9.672 | 2.828 | 0.2302 | 0.4849 | 1 | 1 | 0.03396 | 0.1417 | 0.2721 | 0.1954 | 0.8151 | 1.565 | json |
| t12_x25_u0_b15 | 12 | 25 | 0 | 15 | ![]() |
sqt(sub(R,pow(R,D))) | 40378 | 98457252 | o1(o2(x,o2(x,x))) | true | 3031 | 3031 | -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_x25_u0_b16 | 12 | 25 | 0 | 16 | ![]() |
sqt(sub(R,mod(R,D))) | 40379 | 98457253 | o1(o2(x,o2(x,x))) | true | 3039 | 3039 | -0.5713 | 0.2711 | 0.8217 | 0.4482 | 0.6695 | -1 | 0.9681 | 1.968 | 1 | 2.019 | 0.09567 | 0.03624 | 0.1093 | 0.4505 | 1 | 0.0004053 | 0.2819 | 0.2029 | 0.1199 | 0.3463 | 3.167 | 2.713 | 0.2943 | 0.6289 | 1 | 1 | 0.1353 | 0.4463 | 0.8187 | 0.302 | 0.9958 | 1.827 | json |
| t12_x25_u0_b17 | 12 | 25 | 0 | 17 | ![]() |
sqt(sub(R,lrg(R,D))) | 40380 | 98457254 | o1(o2(x,o2(x,x))) | true | 3047 | 3047 | -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_x25_u0_b18 | 12 | 25 | 0 | 18 | ![]() |
sqt(sub(R,eql(R,D))) | 40381 | 98457255 | o1(o2(x,o2(x,x))) | true | 3055 | 3055 | -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_x25_u0_b19 | 12 | 25 | 0 | 19 | ![]() |
sqt(sub(R,min(R,D))) | 40382 | 98457256 | o1(o2(x,o2(x,x))) | true | 3063 | 3063 | 0.3544 | 0.9265 | 0.3544 | 0.08896 | 0.2983 | 0 | 1 | 1 | 1 | 3.697 | 0.002578 | 0.001274 | 0.0506 | 0.3384 | 1 | 0.00005907 | 0.001086 | 0.01934 | 0.001292 | 0.03594 | 0.7102 | 0.2419 | 0.0433 | 0.0122 | 1 | 1 | 0.007033 | 0.07596 | 0.1674 | 0.07905 | 0.8538 | 1.882 | json |
| t12_x25_u0_b20 | 12 | 25 | 0 | 20 | ![]() |
sqt(sub(R,dot(R,D))) | 40383 | 98457257 | o1(o2(x,o2(x,x))) | true | 3071 | 3071 | -0.9038 | 0.05742 | 0.9814 | 0.1537 | 0.392 | -1 | 1 | 2 | 1 | 0.5171 | 0.03041 | 0.03508 | 0.03904 | -0.07129 | 1 | -0.000009948 | 0.1897 | 0.07932 | 0.06393 | 0.2528 | 6.476 | 2.828 | 0.4261 | 1.234 | 1 | 1 | 0.06014 | 0.2082 | 0.3517 | 0.3913 | 1.355 | 2.288 | json |
| t12_x25_u0_b21 | 12 | 25 | 0 | 21 | ![]() |
sqt(sub(R,dst(R,D))) | 40384 | 98457258 | o1(o2(x,o2(x,x))) | true | 3079 | 3079 | -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_x25_u0_b22 | 12 | 25 | 0 | 22 | ![]() |
sqt(mlt(R,add(R,D))) | 40385 | 98457259 | o1(o2(x,o2(x,x))) | true | 3087 | 3087 | -0.5415 | 0.2939 | 0.8706 | 0.5207 | 0.7216 | -1 | 1 | 2 | 1 | 1.998 | 0.1677 | 0.04182 | 0.1445 | 0.6009 | 1 | 0.0002831 | 0.46 | 0.2753 | 0.1886 | 0.4343 | 3.006 | 2.828 | 0.4024 | 0.8835 | 1 | 1 | 0.2109 | 0.6236 | 1.011 | 0.405 | 1.198 | 1.942 | json |
| t12_x25_u0_b23 | 12 | 25 | 0 | 23 | ![]() |
sqt(mlt(R,sub(R,D))) | 40386 | 98457260 | o1(o2(x,o2(x,x))) | true | 3095 | 3095 | -0.5145 | 0.3044 | 0.8766 | 0.5536 | 0.744 | -1 | 1 | 2 | 1 | 2.04 | 0.1603 | 0.04334 | 0.1382 | 0.5743 | 1 | -0.000349 | 0.4468 | 0.2632 | 0.1846 | 0.4296 | 3.108 | 2.828 | 0.3678 | 0.8071 | 1 | 1 | 0.201 | 0.6609 | 1.064 | 0.3631 | 1.194 | 1.922 | json |
| t12_x25_u0_b24 | 12 | 25 | 0 | 24 | ![]() |
sqt(mlt(R,mlt(R,D))) | 40387 | 98457261 | o1(o2(x,o2(x,x))) | true | 3103 | 3103 | -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_x25_u0_b25 | 12 | 25 | 0 | 25 | ![]() |
sqt(mlt(R,div(R,D))) | 40388 | 98457262 | o1(o2(x,o2(x,x))) | true | 3111 | 3111 | -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_x25_u0_b26 | 12 | 25 | 0 | 26 | ![]() |
sqt(mlt(R,pow(R,D))) | 40389 | 98457263 | o1(o2(x,o2(x,x))) | true | 3119 | 3119 | -0.9256 | 0.04297 | 0.9885 | 0.1242 | 0.3524 | -1 | 0.9742 | 1.974 | 1 | 0.3921 | 0.01253 | 0.01257 | 0.01522 | -0.001607 | 1 | 0.000006484 | 0.05243 | 0.02895 | 0.02488 | 0.1577 | 10.36 | 2.734 | 0.2021 | 0.4221 | 1 | 1 | 0.01984 | 0.08576 | 0.2091 | 0.1598 | 0.6905 | 1.683 | json |
| t12_x25_u0_b27 | 12 | 25 | 0 | 27 | ![]() |
sqt(mlt(R,mod(R,D))) | 40390 | 98457264 | o1(o2(x,o2(x,x))) | true | 3127 | 3127 | 0.2251 | 1 | 0.2251 | 0.01383 | 0.1176 | 0.002948 | 0.6445 | 0.6416 | 1 | 2.898 | 0.009481 | 0.0001072 | 0.07343 | 0.9776 | 1 | -0.0003819 | 0.02505 | 0.1163 | 0.004195 | 0.06477 | 0.882 | 0.325 | 0.6932 | 1.811 | 1 | 1 | 0.006938 | 0.02102 | 0.01479 | 0.5016 | 1.52 | 1.069 | json |
| t12_x25_u0_b28 | 12 | 25 | 0 | 28 | ![]() |
sqt(mlt(R,lrg(R,D))) | 40391 | 98457265 | o1(o2(x,o2(x,x))) | true | 3135 | 3135 | -0.249 | 0.4863 | 0.6373 | 0.5017 | 0.7083 | -1 | 0.9902 | 1.99 | 1 | 2.99 | 0.1618 | 0.03098 | 0.1611 | 0.6787 | 1 | -0.0003386 | 0.4142 | 0.2865 | 0.1669 | 0.4085 | 2.535 | 2.787 | 0.3843 | 0.8256 | 1 | 1 | 0.1963 | 0.5894 | 0.8659 | 0.3913 | 1.175 | 1.726 | json |
| t12_x25_u0_b29 | 12 | 25 | 0 | 29 | ![]() |
sqt(mlt(R,eql(R,D))) | 40392 | 98457266 | o1(o2(x,o2(x,x))) | true | 3143 | 3143 | -0.0002441 | 0 | 0.0002441 | 0.0002441 | 0.01562 | -1 | 0 | 1 | 1 | 0.003282 | 0.0004409 | 0.00001575 | 0.0004567 | 0.931 | 1 | 0 | 0.001417 | 0.0009133 | 0.0004564 | 0.02136 | 46.78 | 1 | 1.871 | 5.806 | 1 | 1 | 0 | 0 | 0.0002078 | 0 | 0 | 0.8512 | json |
| t12_x25_u0_b30 | 12 | 25 | 0 | 30 | ![]() |
sqt(mlt(R,min(R,D))) | 40393 | 98457267 | o1(o2(x,o2(x,x))) | true | 3151 | 3151 | -0.6266 | 0.2539 | 0.8655 | 0.4225 | 0.65 | -1 | 0.9989 | 1.999 | 1 | 1.775 | 0.04233 | 0.03666 | 0.06127 | 0.07174 | 1 | -0.00001678 | 0.1631 | 0.1085 | 0.07523 | 0.2743 | 4.477 | 2.827 | 0.187 | 0.3861 | 1 | 1 | 0.0819 | 0.3533 | 0.7972 | 0.1938 | 0.8362 | 1.887 | json |
| t12_x25_u0_b31 | 12 | 25 | 0 | 31 | ![]() |
sqt(mlt(R,dot(R,D))) | 40394 | 98457268 | o1(o2(x,o2(x,x))) | true | 3159 | 3159 | -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_x25_u0_b32 | 12 | 25 | 0 | 32 | ![]() |
sqt(mlt(R,dst(R,D))) | 40395 | 98457269 | o1(o2(x,o2(x,x))) | true | 3167 | 3167 | -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_x25_u0_b33 | 12 | 25 | 0 | 33 | ![]() |
sqt(div(R,add(R,D))) | 40396 | 98457270 | o1(o2(x,o2(x,x))) | true | 3175 | 3175 | -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_x25_u0_b34 | 12 | 25 | 0 | 34 | ![]() |
sqt(div(R,sub(R,D))) | 40397 | 98457271 | o1(o2(x,o2(x,x))) | true | 3183 | 3183 | -0.4154 | 0.3044 | 0.9757 | 0.7851 | 0.886 | -1 | 1 | 2 | 1 | 1.46 | 0.2689 | 0.06216 | 0.1723 | 0.6245 | 1 | -0.0004623 | 0.7358 | 0.3406 | 0.3012 | 0.5488 | 3.186 | 2.828 | 0.4217 | 0.9373 | 1 | 1 | 0.3188 | 0.9902 | 1.539 | 0.406 | 1.261 | 1.961 | json |
| t12_x25_u0_b35 | 12 | 25 | 0 | 35 | ![]() |
sqt(div(R,mlt(R,D))) | 40398 | 98457272 | o1(o2(x,o2(x,x))) | true | 3191 | 3191 | -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_x25_u0_b36 | 12 | 25 | 0 | 36 | ![]() |
sqt(div(R,div(R,D))) | 40399 | 98457273 | o1(o2(x,o2(x,x))) | true | 3199 | 3199 | -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 |



































































































