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 | ||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| t18_x72_u0_b62 | 18 | 72 | 0 | 62 | ![]() |
add(R,mod(R,eql(P,P))) | 134900 | 149079752 | o2(x,o2(x,o2(x,x))) | true | 107607 | 107607 | 0.01372 | 0.4984 | 0.659 | 0.5457 | 0.7387 | -1 | 1 | 2 | 1 | 4.408 | 0.008726 | 0.009756 | 0.09338 | -0.05568 | 1 | 0.00002908 | 0.003164 | 0.02873 | 0.009763 | 0.09881 | 1.058 | 0.4602 | 0.03387 | 0.005798 | 1 | 1 | 0.03624 | 0.4079 | 0.9797 | 0.06641 | 0.7475 | 1.795 | json |
| t18_x72_u0_b63 | 18 | 72 | 0 | 63 | ![]() |
add(R,mod(R,min(P,P))) | 134901 | 149079753 | o2(x,o2(x,o2(x,x))) | true | 107615 | 107615 | -0.1182 | 0.4325 | 0.6953 | 0.5809 | 0.7622 | -1 | 1 | 2 | 1 | 4.144 | 0.0245 | 0.008569 | 0.09056 | 0.4817 | 1 | 0.00003845 | 0.03761 | 0.04492 | 0.02486 | 0.1577 | 1.741 | 2.017 | 0.05692 | 0.06474 | 1 | 1 | 0.0503 | 0.4057 | 0.9787 | 0.08659 | 0.6983 | 1.685 | json |
| t18_x72_u0_b64 | 18 | 72 | 0 | 64 | ![]() |
add(R,mod(R,dot(P,P))) | 134902 | 149079754 | o2(x,o2(x,o2(x,x))) | true | 107623 | 107623 | -0.009127 | 0.4862 | 0.6643 | 0.5528 | 0.7435 | -1 | 1 | 2 | 1 | 4.377 | 0.01061 | 0.01225 | 0.09428 | -0.07156 | 1 | 0.00002908 | 0.01316 | 0.03362 | 0.01398 | 0.1182 | 1.254 | 2.781 | 0.04136 | 0.0238 | 1 | 1 | 0.04335 | 0.4238 | 1.038 | 0.07841 | 0.7665 | 1.878 | json |
| t18_x72_u0_b65 | 18 | 72 | 0 | 65 | ![]() |
add(R,mod(R,dst(P,P))) | 134903 | 149079755 | o2(x,o2(x,o2(x,x))) | true | 107631 | 107631 | 0.01372 | 0.4984 | 0.659 | 0.5457 | 0.7387 | -1 | 1 | 2 | 1 | 4.408 | 0.008726 | 0.009756 | 0.09338 | -0.05568 | 1 | 0.00002908 | 0.003164 | 0.02873 | 0.009763 | 0.09881 | 1.058 | 0.4602 | 0.03387 | 0.005798 | 1 | 1 | 0.03624 | 0.4079 | 0.9797 | 0.06641 | 0.7475 | 1.795 | json |
| t18_x72_u0_b66 | 18 | 72 | 0 | 66 | ![]() |
add(R,lrg(R,add(P,P))) | 134904 | 149079756 | o2(x,o2(x,o2(x,x))) | true | 107639 | 107639 | 0.3937 | 0.7233 | 0.6048 | 0.324 | 0.5692 | -0.9986 | 1 | 1.999 | 1 | 4.299 | 0.002645 | 0.002519 | 0.04966 | 0.02444 | 1 | -0.00002429 | 0.0006386 | 0.01415 | 0.002698 | 0.05194 | 1.046 | 0.3332 | 0.01594 | 0.001971 | 1 | 1 | 0.01068 | 0.1279 | 0.3464 | 0.03297 | 0.3948 | 1.069 | json |
| t18_x72_u0_b67 | 18 | 72 | 0 | 67 | ![]() |
add(R,lrg(R,sub(P,P))) | 134905 | 149079757 | o2(x,o2(x,o2(x,x))) | true | 107647 | 107647 | 0.3351 | 0.6255 | 0.6444 | 0.4213 | 0.6491 | -0.9989 | 1 | 1.999 | 1 | 4.004 | 0.006632 | 0.00803 | 0.08203 | -0.0953 | 1 | -0.000127 | 0.0024 | 0.02604 | 0.007932 | 0.08906 | 1.086 | 0.347 | 0.0348 | 0.005696 | 1 | 1 | 0.02829 | 0.3191 | 0.7425 | 0.06714 | 0.7573 | 1.762 | json |
| t18_x72_u0_b68 | 18 | 72 | 0 | 68 | ![]() |
add(R,lrg(R,mlt(P,P))) | 134906 | 149079758 | o2(x,o2(x,o2(x,x))) | true | 107655 | 107655 | 0.02896 | 0.5041 | 0.4112 | 0.2403 | 0.4902 | -0.9989 | 1 | 1.999 | 1 | 4.901 | 0.003059 | 0.003452 | 0.06467 | -0.06041 | 1 | 0.00002081 | 0.0004598 | 0.01523 | 0.002329 | 0.04826 | 0.7463 | 0.2892 | 0.0271 | 0.001914 | 1 | 1 | 0.01344 | 0.1689 | 0.4465 | 0.05591 | 0.7031 | 1.858 | json |
| t18_x72_u0_b69 | 18 | 72 | 0 | 69 | ![]() |
add(R,lrg(R,div(P,P))) | 134907 | 149079759 | o2(x,o2(x,o2(x,x))) | true | 107663 | 107663 | 0.06362 | 0.5381 | 0.4117 | 0.2377 | 0.4875 | -0.9989 | 1 | 1.999 | 1 | 4.893 | 0.002859 | 0.003117 | 0.06218 | -0.04315 | 1 | 0.00002651 | 0.0004132 | 0.01463 | 0.00211 | 0.04593 | 0.7386 | 0.2534 | 0.02514 | 0.001738 | 1 | 1 | 0.012 | 0.1511 | 0.4183 | 0.05051 | 0.6358 | 1.76 | json |
| t18_x72_u0_b70 | 18 | 72 | 0 | 70 | ![]() |
add(R,lrg(R,pow(P,P))) | 134908 | 149079760 | o2(x,o2(x,o2(x,x))) | true | 107671 | 107671 | 0.3766 | 0.7191 | 0.5901 | 0.3173 | 0.5633 | -0.9986 | 1 | 1.999 | 1 | 4.383 | 0.002603 | 0.002259 | 0.04938 | 0.07094 | 1 | -0.00001858 | 0.0005711 | 0.01381 | 0.002424 | 0.04923 | 0.997 | 0.3332 | 0.01532 | 0.0018 | 1 | 1 | 0.009709 | 0.1179 | 0.315 | 0.0306 | 0.3714 | 0.9927 | json |
| t18_x72_u0_b71 | 18 | 72 | 0 | 71 | ![]() |
add(R,lrg(R,mod(P,P))) | 134909 | 149079761 | o2(x,o2(x,o2(x,x))) | true | 107679 | 107679 | 0.3914 | 0.6926 | 0.6328 | 0.3661 | 0.605 | -0.9989 | 1 | 1.999 | 1 | 4.099 | 0.005334 | 0.005568 | 0.07043 | -0.02141 | 1 | -0.0001066 | 0.001694 | 0.02154 | 0.005942 | 0.07709 | 1.094 | 0.347 | 0.02978 | 0.004627 | 1 | 1 | 0.0233 | 0.2646 | 0.6373 | 0.06365 | 0.7228 | 1.741 | json |
| t18_x72_u0_b72 | 18 | 72 | 0 | 72 | ![]() |
add(R,lrg(R,lrg(P,P))) | 134910 | 149079762 | o2(x,o2(x,o2(x,x))) | true | 107687 | 107687 | 0.3351 | 0.6255 | 0.6444 | 0.4213 | 0.6491 | -0.9989 | 1 | 1.999 | 1 | 4.004 | 0.006632 | 0.00803 | 0.08203 | -0.0953 | 1 | -0.000127 | 0.0024 | 0.02604 | 0.007932 | 0.08906 | 1.086 | 0.347 | 0.0348 | 0.005696 | 1 | 1 | 0.02829 | 0.3191 | 0.7425 | 0.06714 | 0.7573 | 1.762 | json |
| t18_x72_u0_b73 | 18 | 72 | 0 | 73 | ![]() |
add(R,lrg(R,eql(P,P))) | 134911 | 149079763 | o2(x,o2(x,o2(x,x))) | true | 107695 | 107695 | 0.008979 | 0.4983 | 0.3946 | 0.2196 | 0.4686 | -0.9989 | 0.9806 | 1.979 | 1 | 4.862 | 0.002813 | 0.00317 | 0.0632 | -0.05957 | 1 | 0.00002651 | 0.0003508 | 0.01449 | 0.001989 | 0.0446 | 0.7057 | 0.2301 | 0.02725 | 0.001598 | 1 | 1 | 0.01182 | 0.1519 | 0.3914 | 0.05384 | 0.6917 | 1.782 | json |
| t18_x72_u0_b74 | 18 | 72 | 0 | 74 | ![]() |
add(R,lrg(R,min(P,P))) | 134912 | 149079764 | o2(x,o2(x,o2(x,x))) | true | 107703 | 107703 | 0.3937 | 0.7233 | 0.6048 | 0.324 | 0.5692 | -0.9986 | 1 | 1.999 | 1 | 4.299 | 0.002645 | 0.002519 | 0.04966 | 0.02444 | 1 | -0.00002429 | 0.0006386 | 0.01415 | 0.002698 | 0.05194 | 1.046 | 0.3332 | 0.01594 | 0.001971 | 1 | 1 | 0.01068 | 0.1279 | 0.3464 | 0.03297 | 0.3948 | 1.069 | json |
| t18_x72_u0_b75 | 18 | 72 | 0 | 75 | ![]() |
add(R,lrg(R,dot(P,P))) | 134913 | 149079765 | o2(x,o2(x,o2(x,x))) | true | 107711 | 107711 | 0.01162 | 0.4991 | 0.3969 | 0.2224 | 0.4716 | -0.9989 | 1 | 1.999 | 1 | 4.871 | 0.002866 | 0.003216 | 0.06345 | -0.05763 | 1 | 0.00002651 | 0.0003834 | 0.01466 | 0.002056 | 0.04535 | 0.7147 | 0.2892 | 0.02735 | 0.001724 | 1 | 1 | 0.01215 | 0.1549 | 0.4025 | 0.05463 | 0.6965 | 1.81 | json |
| t18_x72_u0_b76 | 18 | 72 | 0 | 76 | ![]() |
add(R,lrg(R,dst(P,P))) | 134914 | 149079766 | o2(x,o2(x,o2(x,x))) | true | 107719 | 107719 | 0.3351 | 0.6255 | 0.6444 | 0.4213 | 0.6491 | -0.9989 | 1 | 1.999 | 1 | 4.004 | 0.006632 | 0.00803 | 0.08203 | -0.0953 | 1 | -0.000127 | 0.0024 | 0.02604 | 0.007932 | 0.08906 | 1.086 | 0.347 | 0.0348 | 0.005696 | 1 | 1 | 0.02829 | 0.3191 | 0.7425 | 0.06714 | 0.7573 | 1.762 | json |
| t18_x72_u0_b77 | 18 | 72 | 0 | 77 | ![]() |
add(R,eql(R,add(P,P))) | 134915 | 149079767 | o2(x,o2(x,o2(x,x))) | true | 107727 | 107727 | 0.008979 | 0.4983 | 0.3946 | 0.2196 | 0.4686 | -0.9989 | 0.9806 | 1.979 | 1 | 4.862 | 0.002813 | 0.00317 | 0.0632 | -0.05957 | 1 | 0.00002651 | 0.0003508 | 0.01449 | 0.001989 | 0.0446 | 0.7057 | 0.2301 | 0.02725 | 0.001598 | 1 | 1 | 0.01182 | 0.1519 | 0.3914 | 0.05384 | 0.6917 | 1.782 | json |
| t18_x72_u0_b78 | 18 | 72 | 0 | 78 | ![]() |
add(R,eql(R,sub(P,P))) | 134916 | 149079768 | o2(x,o2(x,o2(x,x))) | true | 107735 | 107735 | 0.008979 | 0.4983 | 0.3946 | 0.2196 | 0.4686 | -0.9989 | 0.9806 | 1.979 | 1 | 4.862 | 0.002813 | 0.00317 | 0.0632 | -0.05957 | 1 | 0.00002651 | 0.0003508 | 0.01449 | 0.001989 | 0.0446 | 0.7057 | 0.2301 | 0.02725 | 0.001598 | 1 | 1 | 0.01182 | 0.1519 | 0.3914 | 0.05384 | 0.6917 | 1.782 | json |
| t18_x72_u0_b79 | 18 | 72 | 0 | 79 | ![]() |
add(R,eql(R,mlt(P,P))) | 134917 | 149079769 | o2(x,o2(x,o2(x,x))) | true | 107743 | 107743 | 0.008979 | 0.4983 | 0.3946 | 0.2196 | 0.4686 | -0.9989 | 0.9806 | 1.979 | 1 | 4.862 | 0.002813 | 0.00317 | 0.0632 | -0.05957 | 1 | 0.00002651 | 0.0003508 | 0.01449 | 0.001989 | 0.0446 | 0.7057 | 0.2301 | 0.02725 | 0.001598 | 1 | 1 | 0.01182 | 0.1519 | 0.3914 | 0.05384 | 0.6917 | 1.782 | json |
| t18_x72_u0_b80 | 18 | 72 | 0 | 80 | ![]() |
add(R,eql(R,div(P,P))) | 134918 | 149079770 | o2(x,o2(x,o2(x,x))) | true | 107751 | 107751 | 0.008979 | 0.4983 | 0.3946 | 0.2196 | 0.4686 | -0.9989 | 0.9806 | 1.979 | 1 | 4.862 | 0.002813 | 0.00317 | 0.0632 | -0.05957 | 1 | 0.00002651 | 0.0003508 | 0.01449 | 0.001989 | 0.0446 | 0.7057 | 0.2301 | 0.02725 | 0.001598 | 1 | 1 | 0.01182 | 0.1519 | 0.3914 | 0.05384 | 0.6917 | 1.782 | json |
| t18_x72_u0_b81 | 18 | 72 | 0 | 81 | ![]() |
add(R,eql(R,pow(P,P))) | 134919 | 149079771 | o2(x,o2(x,o2(x,x))) | true | 107759 | 107759 | 0.008979 | 0.4983 | 0.3946 | 0.2196 | 0.4686 | -0.9989 | 0.9806 | 1.979 | 1 | 4.862 | 0.002813 | 0.00317 | 0.0632 | -0.05957 | 1 | 0.00002651 | 0.0003508 | 0.01449 | 0.001989 | 0.0446 | 0.7057 | 0.2301 | 0.02725 | 0.001598 | 1 | 1 | 0.01182 | 0.1519 | 0.3914 | 0.05384 | 0.6917 | 1.782 | json |
| t18_x72_u0_b82 | 18 | 72 | 0 | 82 | ![]() |
add(R,eql(R,mod(P,P))) | 134920 | 149079772 | o2(x,o2(x,o2(x,x))) | true | 107767 | 107767 | 0.008979 | 0.4983 | 0.3946 | 0.2196 | 0.4686 | -0.9989 | 0.9806 | 1.979 | 1 | 4.862 | 0.002813 | 0.00317 | 0.0632 | -0.05957 | 1 | 0.00002651 | 0.0003508 | 0.01449 | 0.001989 | 0.0446 | 0.7057 | 0.2301 | 0.02725 | 0.001598 | 1 | 1 | 0.01182 | 0.1519 | 0.3914 | 0.05384 | 0.6917 | 1.782 | json |
| t18_x72_u0_b83 | 18 | 72 | 0 | 83 | ![]() |
add(R,eql(R,lrg(P,P))) | 134921 | 149079773 | o2(x,o2(x,o2(x,x))) | true | 107775 | 107775 | 0.008979 | 0.4983 | 0.3946 | 0.2196 | 0.4686 | -0.9989 | 0.9806 | 1.979 | 1 | 4.862 | 0.002813 | 0.00317 | 0.0632 | -0.05957 | 1 | 0.00002651 | 0.0003508 | 0.01449 | 0.001989 | 0.0446 | 0.7057 | 0.2301 | 0.02725 | 0.001598 | 1 | 1 | 0.01182 | 0.1519 | 0.3914 | 0.05384 | 0.6917 | 1.782 | json |
| t18_x72_u0_b84 | 18 | 72 | 0 | 84 | ![]() |
add(R,eql(R,eql(P,P))) | 134922 | 149079774 | o2(x,o2(x,o2(x,x))) | true | 107783 | 107783 | 0.008979 | 0.4983 | 0.3946 | 0.2196 | 0.4686 | -0.9989 | 0.9806 | 1.979 | 1 | 4.862 | 0.002813 | 0.00317 | 0.0632 | -0.05957 | 1 | 0.00002651 | 0.0003508 | 0.01449 | 0.001989 | 0.0446 | 0.7057 | 0.2301 | 0.02725 | 0.001598 | 1 | 1 | 0.01182 | 0.1519 | 0.3914 | 0.05384 | 0.6917 | 1.782 | json |
| t18_x72_u0_b85 | 18 | 72 | 0 | 85 | ![]() |
add(R,eql(R,min(P,P))) | 134923 | 149079775 | o2(x,o2(x,o2(x,x))) | true | 107791 | 107791 | 0.008979 | 0.4983 | 0.3946 | 0.2196 | 0.4686 | -0.9989 | 0.9806 | 1.979 | 1 | 4.862 | 0.002813 | 0.00317 | 0.0632 | -0.05957 | 1 | 0.00002651 | 0.0003508 | 0.01449 | 0.001989 | 0.0446 | 0.7057 | 0.2301 | 0.02725 | 0.001598 | 1 | 1 | 0.01182 | 0.1519 | 0.3914 | 0.05384 | 0.6917 | 1.782 | json |
| t18_x72_u0_b86 | 18 | 72 | 0 | 86 | ![]() |
add(R,eql(R,dot(P,P))) | 134924 | 149079776 | o2(x,o2(x,o2(x,x))) | true | 107799 | 107799 | 0.008979 | 0.4983 | 0.3946 | 0.2196 | 0.4686 | -0.9989 | 0.9806 | 1.979 | 1 | 4.862 | 0.002813 | 0.00317 | 0.0632 | -0.05957 | 1 | 0.00002651 | 0.0003508 | 0.01449 | 0.001989 | 0.0446 | 0.7057 | 0.2301 | 0.02725 | 0.001598 | 1 | 1 | 0.01182 | 0.1519 | 0.3914 | 0.05384 | 0.6917 | 1.782 | json |
| t18_x72_u0_b87 | 18 | 72 | 0 | 87 | ![]() |
add(R,eql(R,dst(P,P))) | 134925 | 149079777 | o2(x,o2(x,o2(x,x))) | true | 107807 | 107807 | 0.008979 | 0.4983 | 0.3946 | 0.2196 | 0.4686 | -0.9989 | 0.9806 | 1.979 | 1 | 4.862 | 0.002813 | 0.00317 | 0.0632 | -0.05957 | 1 | 0.00002651 | 0.0003508 | 0.01449 | 0.001989 | 0.0446 | 0.7057 | 0.2301 | 0.02725 | 0.001598 | 1 | 1 | 0.01182 | 0.1519 | 0.3914 | 0.05384 | 0.6917 | 1.782 | json |
| t18_x72_u0_b88 | 18 | 72 | 0 | 88 | ![]() |
add(R,min(R,add(P,P))) | 134926 | 149079778 | o2(x,o2(x,o2(x,x))) | true | 107815 | 107815 | -0.5037 | 0.2403 | 0.8113 | 0.4957 | 0.704 | -1 | 1 | 2 | 1 | 2.985 | 0.005197 | 0.004714 | 0.05142 | 0.04875 | 1 | -0.000005468 | 0.001654 | 0.01592 | 0.007269 | 0.08526 | 1.658 | 0.438 | 0.01999 | 0.003337 | 1 | 1 | 0.01982 | 0.2263 | 0.5964 | 0.03998 | 0.4566 | 1.203 | json |
| t18_x72_u0_b89 | 18 | 72 | 0 | 89 | ![]() |
add(R,min(R,sub(P,P))) | 134927 | 149079779 | o2(x,o2(x,o2(x,x))) | true | 107823 | 107823 | -0.1786 | 0.4229 | 0.5355 | 0.3565 | 0.597 | -1 | 0.9804 | 1.98 | 1 | 4.683 | 0.005248 | 0.005892 | 0.07878 | -0.05786 | 1 | 0.0001125 | 0.001381 | 0.0214 | 0.004933 | 0.07024 | 0.8915 | 0.3468 | 0.03125 | 0.003875 | 1 | 1 | 0.02169 | 0.2587 | 0.6278 | 0.06083 | 0.7256 | 1.761 | json |
| t18_x72_u0_b90 | 18 | 72 | 0 | 90 | ![]() |
add(R,min(R,mlt(P,P))) | 134928 | 149079780 | o2(x,o2(x,o2(x,x))) | true | 107831 | 107831 | 0.002276 | 0.4947 | 0.6508 | 0.5354 | 0.7317 | -1 | 1 | 2 | 1 | 4.44 | 0.008625 | 0.009568 | 0.0929 | -0.05187 | 1 | 0.00003047 | 0.003107 | 0.02848 | 0.009563 | 0.09779 | 1.053 | 0.4602 | 0.03398 | 0.005804 | 1 | 1 | 0.03523 | 0.3966 | 0.9362 | 0.06581 | 0.7408 | 1.749 | json |
| t18_x72_u0_b91 | 18 | 72 | 0 | 91 | ![]() |
add(R,min(R,div(P,P))) | 134929 | 149079781 | o2(x,o2(x,o2(x,x))) | true | 107839 | 107839 | 0.01372 | 0.4984 | 0.659 | 0.5457 | 0.7387 | -1 | 1 | 2 | 1 | 4.408 | 0.008726 | 0.009756 | 0.09338 | -0.05568 | 1 | 0.00002908 | 0.003164 | 0.02873 | 0.009763 | 0.09881 | 1.058 | 0.4602 | 0.03387 | 0.005798 | 1 | 1 | 0.03624 | 0.4079 | 0.9797 | 0.06641 | 0.7475 | 1.795 | json |
| t18_x72_u0_b92 | 18 | 72 | 0 | 92 | ![]() |
add(R,min(R,pow(P,P))) | 134930 | 149079782 | o2(x,o2(x,o2(x,x))) | true | 107847 | 107847 | 0.01372 | 0.4984 | 0.659 | 0.5457 | 0.7387 | -1 | 1 | 2 | 1 | 4.408 | 0.008726 | 0.009756 | 0.09338 | -0.05568 | 1 | 0.00002908 | 0.003164 | 0.02873 | 0.009763 | 0.09881 | 1.058 | 0.4602 | 0.03387 | 0.005798 | 1 | 1 | 0.03624 | 0.4079 | 0.9797 | 0.06641 | 0.7475 | 1.795 | json |
| t18_x72_u0_b93 | 18 | 72 | 0 | 93 | ![]() |
add(R,min(R,mod(P,P))) | 134931 | 149079783 | o2(x,o2(x,o2(x,x))) | true | 107855 | 107855 | -0.3572 | 0.3181 | 0.681 | 0.4496 | 0.6706 | -1 | 1 | 2 | 1 | 3.999 | 0.008659 | 0.005537 | 0.07391 | 0.2199 | 1 | 0.0006234 | 0.003313 | 0.02581 | 0.008734 | 0.09346 | 1.264 | 0.693 | 0.03157 | 0.007368 | 1 | 1 | 0.02639 | 0.2942 | 0.7185 | 0.0587 | 0.6542 | 1.598 | json |
| t18_x72_u0_b94 | 18 | 72 | 0 | 94 | ![]() |
add(R,min(R,lrg(P,P))) | 134932 | 149079784 | o2(x,o2(x,o2(x,x))) | true | 107863 | 107863 | -0.1786 | 0.4229 | 0.5355 | 0.3565 | 0.597 | -1 | 0.9804 | 1.98 | 1 | 4.683 | 0.005248 | 0.005892 | 0.07878 | -0.05786 | 1 | 0.0001125 | 0.001381 | 0.0214 | 0.004933 | 0.07024 | 0.8915 | 0.3468 | 0.03125 | 0.003875 | 1 | 1 | 0.02169 | 0.2587 | 0.6278 | 0.06083 | 0.7256 | 1.761 | json |
| t18_x72_u0_b95 | 18 | 72 | 0 | 95 | ![]() |
add(R,min(R,eql(P,P))) | 134933 | 149079785 | o2(x,o2(x,o2(x,x))) | true | 107871 | 107871 | 0.01372 | 0.4984 | 0.659 | 0.5457 | 0.7387 | -1 | 1 | 2 | 1 | 4.408 | 0.008726 | 0.009756 | 0.09338 | -0.05568 | 1 | 0.00002908 | 0.003164 | 0.02873 | 0.009763 | 0.09881 | 1.058 | 0.4602 | 0.03387 | 0.005798 | 1 | 1 | 0.03624 | 0.4079 | 0.9797 | 0.06641 | 0.7475 | 1.795 | json |
| t18_x72_u0_b96 | 18 | 72 | 0 | 96 | ![]() |
add(R,min(R,min(P,P))) | 134934 | 149079786 | o2(x,o2(x,o2(x,x))) | true | 107879 | 107879 | -0.4858 | 0.2433 | 0.7951 | 0.491 | 0.7007 | -1 | 1 | 2 | 1 | 3.163 | 0.005138 | 0.004837 | 0.05358 | 0.03013 | 1 | -0.000006204 | 0.001663 | 0.01663 | 0.007102 | 0.08428 | 1.573 | 0.438 | 0.02032 | 0.003387 | 1 | 1 | 0.01984 | 0.2283 | 0.5964 | 0.04042 | 0.465 | 1.215 | json |
| t18_x72_u0_b97 | 18 | 72 | 0 | 97 | ![]() |
add(R,min(R,dot(P,P))) | 134935 | 149079787 | o2(x,o2(x,o2(x,x))) | true | 107887 | 107887 | 0.01143 | 0.4974 | 0.6574 | 0.5436 | 0.7373 | -1 | 1 | 2 | 1 | 4.418 | 0.00868 | 0.00972 | 0.09328 | -0.05657 | 1 | 0.00002908 | 0.003134 | 0.02861 | 0.009699 | 0.09849 | 1.056 | 0.4602 | 0.03385 | 0.005766 | 1 | 1 | 0.03597 | 0.4056 | 0.97 | 0.06617 | 0.7461 | 1.784 | json |
| t18_x72_u0_b98 | 18 | 72 | 0 | 98 | ![]() |
add(R,min(R,dst(P,P))) | 134936 | 149079788 | o2(x,o2(x,o2(x,x))) | true | 107895 | 107895 | -0.1786 | 0.4229 | 0.5355 | 0.3565 | 0.597 | -1 | 0.9804 | 1.98 | 1 | 4.683 | 0.005248 | 0.005892 | 0.07878 | -0.05786 | 1 | 0.0001125 | 0.001381 | 0.0214 | 0.004933 | 0.07024 | 0.8915 | 0.3468 | 0.03125 | 0.003875 | 1 | 1 | 0.02169 | 0.2587 | 0.6278 | 0.06083 | 0.7256 | 1.761 | json |
| t18_x72_u0_b99 | 18 | 72 | 0 | 99 | ![]() |
add(R,dot(R,add(P,P))) | 134937 | 149079789 | o2(x,o2(x,o2(x,x))) | true | 107903 | 107903 | -0.09423 | 0.4559 | 0.9141 | 0.8768 | 0.9364 | -1 | 1 | 2 | 1 | 2.246 | 0.04157 | 0.05564 | 0.1058 | -0.1448 | 1 | 0.00003263 | 0.136 | 0.1169 | 0.08606 | 0.2934 | 2.774 | 2.828 | 0.1109 | 0.1552 | 1 | 1 | 0.1148 | 0.7025 | 1.574 | 0.1309 | 0.8011 | 1.795 | json |
| t18_x72_u0_b100 | 18 | 72 | 0 | 100 | ![]() |
add(R,dot(R,sub(P,P))) | 134938 | 149079790 | o2(x,o2(x,o2(x,x))) | true | 107911 | 107911 | 0.008979 | 0.4983 | 0.3946 | 0.2196 | 0.4686 | -0.9989 | 0.9806 | 1.979 | 1 | 4.862 | 0.002813 | 0.00317 | 0.0632 | -0.05957 | 1 | 0.00002651 | 0.0003508 | 0.01449 | 0.001989 | 0.0446 | 0.7057 | 0.2301 | 0.02725 | 0.001598 | 1 | 1 | 0.01182 | 0.1519 | 0.3914 | 0.05384 | 0.6917 | 1.782 | json |
| t18_x72_u0_b101 | 18 | 72 | 0 | 101 | ![]() |
add(R,dot(R,mlt(P,P))) | 134939 | 149079791 | o2(x,o2(x,o2(x,x))) | true | 107919 | 107919 | 0.06958 | 0.5365 | 0.9476 | 0.9259 | 0.9623 | -1 | 1 | 2 | 1 | 1.82 | 0.07465 | 0.08458 | 0.1149 | -0.06234 | 1 | 0.000007205 | 0.3357 | 0.1749 | 0.1461 | 0.3822 | 3.327 | 2.828 | 0.172 | 0.3626 | 1 | 1 | 0.1544 | 0.8044 | 1.743 | 0.1667 | 0.8688 | 1.882 | json |
| t18_x72_u0_b102 | 18 | 72 | 0 | 102 | ![]() |
add(R,dot(R,div(P,P))) | 134940 | 149079792 | o2(x,o2(x,o2(x,x))) | true | 107927 | 107927 | -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 |
| t18_x72_u0_b103 | 18 | 72 | 0 | 103 | ![]() |
add(R,dot(R,pow(P,P))) | 134941 | 149079793 | o2(x,o2(x,o2(x,x))) | true | 107935 | 107935 | -0.7287 | 0.1361 | 0.9953 | 0.4629 | 0.6804 | -1 | 1 | 2 | 1 | 0.6727 | 0.02985 | 0.03335 | 0.03369 | -0.05532 | 1 | 1.201e-10 | 0.1593 | 0.06444 | 0.06208 | 0.2491 | 7.394 | 2.828 | 0.1365 | 0.3442 | 1 | 1 | 0.06223 | 0.2843 | 0.6454 | 0.1344 | 0.6142 | 1.394 | json |
| t18_x72_u0_b104 | 18 | 72 | 0 | 104 | ![]() |
add(R,dot(R,mod(P,P))) | 134942 | 149079794 | o2(x,o2(x,o2(x,x))) | true | 107943 | 107943 | -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 |
| t18_x72_u0_b105 | 18 | 72 | 0 | 105 | ![]() |
add(R,dot(R,lrg(P,P))) | 134943 | 149079795 | o2(x,o2(x,o2(x,x))) | true | 107951 | 107951 | 0.008979 | 0.4983 | 0.3946 | 0.2196 | 0.4686 | -0.9989 | 0.9806 | 1.979 | 1 | 4.862 | 0.002813 | 0.00317 | 0.0632 | -0.05957 | 1 | 0.00002651 | 0.0003508 | 0.01449 | 0.001989 | 0.0446 | 0.7057 | 0.2301 | 0.02725 | 0.001598 | 1 | 1 | 0.01182 | 0.1519 | 0.3914 | 0.05384 | 0.6917 | 1.782 | json |
| t18_x72_u0_b106 | 18 | 72 | 0 | 106 | ![]() |
add(R,dot(R,eql(P,P))) | 134944 | 149079796 | o2(x,o2(x,o2(x,x))) | true | 107959 | 107959 | 0.00573 | 0.4995 | 0.6818 | 0.5786 | 0.7607 | -1 | 1 | 2 | 1 | 4.25 | 0.009738 | 0.01113 | 0.09326 | -0.06693 | 1 | 0.00005499 | 0.004712 | 0.03212 | 0.01217 | 0.1103 | 1.183 | 0.6182 | 0.03607 | 0.008144 | 1 | 1 | 0.0405 | 0.4178 | 1.043 | 0.07 | 0.722 | 1.803 | json |
| t18_x72_u0_b107 | 18 | 72 | 0 | 107 | ![]() |
add(R,dot(R,min(P,P))) | 134945 | 149079797 | o2(x,o2(x,o2(x,x))) | true | 107967 | 107967 | -0.09424 | 0.4515 | 0.8434 | 0.7877 | 0.8875 | -1 | 1 | 2 | 1 | 2.905 | 0.02502 | 0.03254 | 0.1011 | -0.1307 | 1 | 0.00005125 | 0.04614 | 0.07442 | 0.04735 | 0.2176 | 2.152 | 1.829 | 0.07307 | 0.05858 | 1 | 1 | 0.07397 | 0.5701 | 1.385 | 0.0939 | 0.7237 | 1.758 | json |
| t18_x72_u0_b108 | 18 | 72 | 0 | 108 | ![]() |
add(R,dot(R,dot(P,P))) | 134946 | 149079798 | o2(x,o2(x,o2(x,x))) | true | 107975 | 107975 | 0.01442 | 0.5089 | 0.971 | 0.961 | 0.9803 | -1 | 1 | 2 | 1 | 1.517 | 0.09456 | 0.09305 | 0.116 | 0.008029 | 1 | 0.00009331 | 0.4363 | 0.2007 | 0.1743 | 0.4175 | 3.6 | 2.828 | 0.1952 | 0.454 | 1 | 1 | 0.1839 | 0.8582 | 1.737 | 0.1913 | 0.893 | 1.807 | json |
| t18_x72_u0_b109 | 18 | 72 | 0 | 109 | ![]() |
add(R,dot(R,dst(P,P))) | 134947 | 149079799 | o2(x,o2(x,o2(x,x))) | true | 107983 | 107983 | 0.008979 | 0.4983 | 0.3946 | 0.2196 | 0.4686 | -0.9989 | 0.9806 | 1.979 | 1 | 4.862 | 0.002813 | 0.00317 | 0.0632 | -0.05957 | 1 | 0.00002651 | 0.0003508 | 0.01449 | 0.001989 | 0.0446 | 0.7057 | 0.2301 | 0.02725 | 0.001598 | 1 | 1 | 0.01182 | 0.1519 | 0.3914 | 0.05384 | 0.6917 | 1.782 | json |
| t18_x72_u0_b110 | 18 | 72 | 0 | 110 | ![]() |
add(R,dst(R,add(P,P))) | 134948 | 149079800 | o2(x,o2(x,o2(x,x))) | true | 107991 | 107991 | 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 |
| t18_x72_u0_b111 | 18 | 72 | 0 | 111 | ![]() |
add(R,dst(R,sub(P,P))) | 134949 | 149079801 | o2(x,o2(x,o2(x,x))) | true | 107999 | 107999 | 0.7698 | 1 | 0.7698 | 0.07179 | 0.2679 | 0.03077 | 1 | 0.9692 | 1 | 2.953 | 0.001474 | 0.001584 | 0.03376 | -0.03597 | 1 | -0.00007251 | 0.000832 | 0.01385 | 0.001919 | 0.0438 | 1.298 | 0.2336 | 0.0426 | 0.01159 | 1 | 1 | 0.00568 | 0.0565 | 0.13 | 0.07911 | 0.7869 | 1.81 | json |
| t18_x72_u0_b112 | 18 | 72 | 0 | 112 | ![]() |
add(R,dst(R,mlt(P,P))) | 134950 | 149079802 | o2(x,o2(x,o2(x,x))) | true | 108007 | 108007 | 0.999 | 1 | 0.999 | 0.0004917 | 0.02217 | 0.3241 | 1 | 0.6759 | 1 | 0.03583 | 0.00001776 | 0.000034 | 0.0003768 | -0.3137 | 0 | -2.253e-11 | 0.00002668 | 0.0002507 | 0.00005166 | 0.007187 | 19.07 | 0.2568 | 0.1053 | 0.05426 | 1 | 1 | 0.0001633 | 0.001295 | 0.001791 | 0.332 | 2.634 | 3.642 | json |
| t18_x72_u0_b113 | 18 | 72 | 0 | 113 | ![]() |
add(R,dst(R,div(P,P))) | 134951 | 149079803 | o2(x,o2(x,o2(x,x))) | true | 108015 | 108015 | -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 |
| t18_x72_u0_b114 | 18 | 72 | 0 | 114 | ![]() |
add(R,dst(R,pow(P,P))) | 134952 | 149079804 | o2(x,o2(x,o2(x,x))) | true | 108023 | 108023 | -0.5 | 0.25 | 1 | 0.75 | 0.866 | -1 | 1 | 2 | 1 | 0.8113 | 0.007937 | 0.007937 | 0.007937 | 0 | 1 | 0 | 0.03187 | 0.01587 | 0.01581 | 0.1257 | 15.84 | 2 | 0.02116 | 0.0425 | 1 | 1 | 0.02105 | 0.08421 | 0.3368 | 0.02807 | 0.1123 | 0.4491 | json |
| t18_x72_u0_b115 | 18 | 72 | 0 | 115 | ![]() |
add(R,dst(R,mod(P,P))) | 134953 | 149079805 | o2(x,o2(x,o2(x,x))) | true | 108031 | 108031 | -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 |
| t18_x72_u0_b116 | 18 | 72 | 0 | 116 | ![]() |
add(R,dst(R,lrg(P,P))) | 134954 | 149079806 | o2(x,o2(x,o2(x,x))) | true | 108039 | 108039 | 0.7698 | 1 | 0.7698 | 0.07179 | 0.2679 | 0.03077 | 1 | 0.9692 | 1 | 2.953 | 0.001474 | 0.001584 | 0.03376 | -0.03597 | 1 | -0.00007251 | 0.000832 | 0.01385 | 0.001919 | 0.0438 | 1.298 | 0.2336 | 0.0426 | 0.01159 | 1 | 1 | 0.00568 | 0.0565 | 0.13 | 0.07911 | 0.7869 | 1.81 | json |
| t18_x72_u0_b117 | 18 | 72 | 0 | 117 | ![]() |
add(R,dst(R,eql(P,P))) | 134955 | 149079807 | o2(x,o2(x,o2(x,x))) | true | 108047 | 108047 | 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 |
| t18_x72_u0_b118 | 18 | 72 | 0 | 118 | ![]() |
add(R,dst(R,min(P,P))) | 134956 | 149079808 | o2(x,o2(x,o2(x,x))) | true | 108055 | 108055 | 0.9982 | 1 | 0.9982 | 0.000811 | 0.02848 | 0.3239 | 1 | 0.6761 | 1 | 0.06128 | 0.00003843 | 0.00004531 | 0.0006617 | -0.08213 | 0 | -4.318e-11 | 0.00004064 | 0.0004341 | 0.00008332 | 0.009128 | 13.8 | 0.238 | 0.1033 | 0.05011 | 1 | 1 | 0.000266 | 0.002125 | 0.002956 | 0.3279 | 2.62 | 3.645 | json |
| t18_x72_u0_b119 | 18 | 72 | 0 | 119 | ![]() |
add(R,dst(R,dot(P,P))) | 134957 | 149079809 | o2(x,o2(x,o2(x,x))) | true | 108063 | 108063 | 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 |
| t18_x72_u0_b120 | 18 | 72 | 0 | 120 | ![]() |
add(R,dst(R,dst(P,P))) | 134958 | 149079810 | o2(x,o2(x,o2(x,x))) | true | 108071 | 108071 | 0.7698 | 1 | 0.7698 | 0.07179 | 0.2679 | 0.03077 | 1 | 0.9692 | 1 | 2.953 | 0.001474 | 0.001584 | 0.03376 | -0.03597 | 1 | -0.00007251 | 0.000832 | 0.01385 | 0.001919 | 0.0438 | 1.298 | 0.2336 | 0.0426 | 0.01159 | 1 | 1 | 0.00568 | 0.0565 | 0.13 | 0.07911 | 0.7869 | 1.81 | json |
| t18_x72_u0_b121 | 18 | 72 | 0 | 121 | ![]() |
sub(R,add(R,add(P,P))) | 134959 | 149079811 | o2(x,o2(x,o2(x,x))) | true | 108079 | 108079 | 0 | 0.5 | 0.9569 | 0.9494 | 0.9744 | -1 | 1 | 2 | 1 | 1.488 | 0.001303 | 8.615e-19 | 0.007937 | 1 | 1 | -2.393e-11 | 0.0002681 | 0.003586 | 0.001241 | 0.03522 | 4.438 | 0.2265 | 0.001373 | 0.0002824 | 1 | 1 | 0.003279 | 0.03268 | 0.2686 | 0.003454 | 0.03442 | 0.2829 | json |
| t18_x72_u0_b122 | 18 | 72 | 0 | 122 | ![]() |
sub(R,add(R,sub(P,P))) | 134960 | 149079812 | o2(x,o2(x,o2(x,x))) | true | 108087 | 108087 | 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 |
| t18_x72_u0_b123 | 18 | 72 | 0 | 123 | ![]() |
sub(R,add(R,mlt(P,P))) | 134961 | 149079813 | o2(x,o2(x,o2(x,x))) | true | 108095 | 108095 | -0.9375 | 0 | 0.9375 | 0.04507 | 0.2123 | -1 | -0.000291 | 0.9997 | 1 | 0.8126 | 0.0007059 | 0 | 0.007934 | 1 | 1 | 9.461e-10 | 0.00003241 | 0.001855 | 0.0006433 | 0.02536 | 3.197 | 0.1169 | 0.01566 | 0.0007193 | 1 | 1 | 0.001851 | 0.02408 | 0.06598 | 0.04107 | 0.5344 | 1.464 | json |
| t18_x72_u0_b124 | 18 | 72 | 0 | 124 | ![]() |
sub(R,add(R,div(P,P))) | 134962 | 149079814 | o2(x,o2(x,o2(x,x))) | true | 108103 | 108103 | -1 | 0 | 1 | 1.617e-15 | 4.021e-8 | -1 | -1 | 1.192e-7 | 1 | 0 | 1.244e-16 | 6.109e-17 | 3.084e-9 | 0.00006333 | 0 | -6.942e-9 | 1.936e-15 | 8.121e-9 | 1.76e-16 | 1.327e-8 | 4.302 | 8.429e-8 | 0.0001855 | 0.001936 | 0 | 1 | 1.464e-16 | 6.83e-16 | 1.52e-15 | 0.0001464 | 0.000683 | 0.00152 | json |
| t18_x72_u0_b125 | 18 | 72 | 0 | 125 | ![]() |
sub(R,add(R,pow(P,P))) | 134963 | 149079815 | o2(x,o2(x,o2(x,x))) | true | 108111 | 108111 | -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 |
| t18_x72_u0_b126 | 18 | 72 | 0 | 126 | ![]() |
sub(R,add(R,mod(P,P))) | 134964 | 149079816 | o2(x,o2(x,o2(x,x))) | true | 108119 | 108119 | -0.125 | 0.3125 | 0.6255 | 0.5899 | 0.768 | -1 | 1 | 2 | 1 | 2.418 | 0.01617 | 0 | 0.03866 | 1 | 1 | 0 | 0.02037 | 0.03799 | 0.01467 | 0.1211 | 3.133 | 1 | 0.02741 | 0.03454 | 1 | 1 | 0.02392 | 0.1466 | 0.4242 | 0.04055 | 0.2485 | 0.7191 | json |
| t18_x72_u0_b127 | 18 | 72 | 0 | 127 | ![]() |
sub(R,add(R,lrg(P,P))) | 134965 | 149079817 | o2(x,o2(x,o2(x,x))) | true | 108127 | 108127 | 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 |
| t18_x72_u0_b128 | 18 | 72 | 0 | 128 | ![]() |
sub(R,add(R,eql(P,P))) | 134966 | 149079818 | o2(x,o2(x,o2(x,x))) | true | 108135 | 108135 | -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 |
| t18_x72_u0_b129 | 18 | 72 | 0 | 129 | ![]() |
sub(R,add(R,min(P,P))) | 134967 | 149079819 | o2(x,o2(x,o2(x,x))) | true | 108143 | 108143 | 0 | 0.5 | 0.9375 | 0.924 | 0.9612 | -1 | 1 | 2 | 1 | 1.813 | 0.0007059 | 4.835e-19 | 0.007937 | 1 | 1 | -1.361e-11 | 0.00003235 | 0.001851 | 0.0006432 | 0.02536 | 3.195 | 0.1169 | 0.0007639 | 0.00003501 | 1 | 1 | 0.001851 | 0.02449 | 0.2344 | 0.002003 | 0.0265 | 0.2537 | json |
| t18_x72_u0_b130 | 18 | 72 | 0 | 130 | ![]() |
sub(R,add(R,dot(P,P))) | 134968 | 149079820 | o2(x,o2(x,o2(x,x))) | true | 108151 | 108151 | -0.9967 | 0 | 0.9967 | 0.002206 | 0.04697 | -1 | -0.0005821 | 0.9994 | 1 | 0.08493 | 0.00004482 | 0.00004482 | 0.0007972 | -5.682e-7 | 0 | 1.502e-11 | 0.00002627 | 0.0002729 | 0.00008892 | 0.00943 | 11.83 | 0.1653 | 0.04063 | 0.01191 | 1 | 1 | 0.0003021 | 0.00348 | 0.008043 | 0.1369 | 1.578 | 3.646 | json |
| t18_x72_u0_b131 | 18 | 72 | 0 | 131 | ![]() |
sub(R,add(R,dst(P,P))) | 134969 | 149079821 | o2(x,o2(x,o2(x,x))) | true | 108159 | 108159 | 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 |
| t18_x72_u0_b132 | 18 | 72 | 0 | 132 | ![]() |
sub(R,sub(R,add(P,P))) | 134970 | 149079822 | o2(x,o2(x,o2(x,x))) | true | 108167 | 108167 | 0 | 0.5 | 0.9569 | 0.9494 | 0.9744 | -1 | 1 | 2 | 1 | 1.488 | 0.001303 | 5.744e-19 | 0.007937 | 1 | 1 | -1.596e-11 | 0.0002681 | 0.003586 | 0.001241 | 0.03522 | 4.438 | 0.2265 | 0.001373 | 0.0002824 | 1 | 1 | 0.003279 | 0.03268 | 0.2686 | 0.003454 | 0.03442 | 0.2829 | json |
| t18_x72_u0_b133 | 18 | 72 | 0 | 133 | ![]() |
sub(R,sub(R,sub(P,P))) | 134971 | 149079823 | o2(x,o2(x,o2(x,x))) | true | 108175 | 108175 | 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 |
| t18_x72_u0_b134 | 18 | 72 | 0 | 134 | ![]() |
sub(R,sub(R,mlt(P,P))) | 134972 | 149079824 | o2(x,o2(x,o2(x,x))) | true | 108183 | 108183 | 0.9375 | 1 | 0.9375 | 0.04507 | 0.2123 | 0.000291 | 1 | 0.9997 | 1 | 0.8126 | 0.0007059 | 1.934e-18 | 0.007934 | 1 | 1 | -1.031e-9 | 0.00003241 | 0.001855 | 0.0006433 | 0.02536 | 3.197 | 0.1169 | 0.01566 | 0.0007193 | 1 | 1 | 0.001851 | 0.02408 | 0.06598 | 0.04107 | 0.5344 | 1.464 | json |
| t18_x72_u0_b135 | 18 | 72 | 0 | 135 | ![]() |
sub(R,sub(R,div(P,P))) | 134973 | 149079825 | o2(x,o2(x,o2(x,x))) | true | 108191 | 108191 | 0.75 | 0.875 | 1 | 0.4375 | 0.6614 | -1 | 1 | 2 | 1 | 0.5436 | 0.03175 | 4.946e-17 | 0.01587 | 1 | 1 | 7.28e-9 | 0.06349 | 0.03175 | 0.03149 | 0.1774 | 11.18 | 2 | 0.07256 | 0.1451 | 1 | 1 | 0.04211 | 0.1684 | 0.6737 | 0.09624 | 0.385 | 1.54 | json |
| t18_x72_u0_b136 | 18 | 72 | 0 | 136 | ![]() |
sub(R,sub(R,pow(P,P))) | 134974 | 149079826 | o2(x,o2(x,o2(x,x))) | true | 108199 | 108199 | 0 | 0.5 | 1 | 1 | 1 | -1 | 1 | 2 | 1 | 1 | 0.01587 | 3.58e-18 | 0.007937 | 1 | 1 | 4.167e-10 | 0.03175 | 0.01587 | 0.01581 | 0.1257 | 15.84 | 2 | 0.01587 | 0.03175 | 1 | 1 | 0.02105 | 0.08421 | 0.3368 | 0.02105 | 0.08421 | 0.3368 | json |
| t18_x72_u0_b137 | 18 | 72 | 0 | 137 | ![]() |
sub(R,sub(R,mod(P,P))) | 134975 | 149079827 | o2(x,o2(x,o2(x,x))) | true | 108207 | 108207 | -0.125 | 0.3125 | 0.6255 | 0.5899 | 0.768 | -1 | 1 | 2 | 1 | 2.418 | 0.01617 | 0 | 0.03866 | 1 | 1 | 0 | 0.02037 | 0.03799 | 0.01467 | 0.1211 | 3.133 | 1 | 0.02741 | 0.03454 | 1 | 1 | 0.02392 | 0.1466 | 0.4242 | 0.04055 | 0.2485 | 0.7191 | json |
| t18_x72_u0_b138 | 18 | 72 | 0 | 138 | ![]() |
sub(R,sub(R,lrg(P,P))) | 134976 | 149079828 | o2(x,o2(x,o2(x,x))) | true | 108215 | 108215 | 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 |
| t18_x72_u0_b139 | 18 | 72 | 0 | 139 | ![]() |
sub(R,sub(R,eql(P,P))) | 134977 | 149079829 | o2(x,o2(x,o2(x,x))) | true | 108223 | 108223 | 1 | 1 | 1 | 2.776e-16 | 1.666e-8 | 1 | 1 | 5.96e-8 | 1 | 0 | 3.312e-17 | 3.178e-17 | 1.078e-9 | 0.000001343 | 0 | 3.214e-9 | 7.662e-16 | 3.214e-9 | 6.373e-17 | 7.983e-9 | 7.404 | 8.429e-8 | 0.0000649 | 0.0007662 | 0 | 1 | 5.295e-17 | 2.094e-16 | 4.716e-16 | 0.00005295 | 0.0002094 | 0.0004716 | json |
| t18_x72_u0_b140 | 18 | 72 | 0 | 140 | ![]() |
sub(R,sub(R,min(P,P))) | 134978 | 149079830 | o2(x,o2(x,o2(x,x))) | true | 108231 | 108231 | 0 | 0.5 | 0.9375 | 0.924 | 0.9612 | -1 | 1 | 2 | 1 | 1.813 | 0.0007059 | 1.45e-18 | 0.007937 | 1 | 1 | -6.805e-11 | 0.00003235 | 0.001851 | 0.0006432 | 0.02536 | 3.195 | 0.1169 | 0.0007639 | 0.00003501 | 1 | 1 | 0.001851 | 0.02449 | 0.2344 | 0.002003 | 0.0265 | 0.2537 | json |
| t18_x72_u0_b141 | 18 | 72 | 0 | 141 | ![]() |
sub(R,sub(R,dot(P,P))) | 134979 | 149079831 | o2(x,o2(x,o2(x,x))) | true | 108239 | 108239 | 0.9967 | 1 | 0.9967 | 0.002206 | 0.04697 | 0.000582 | 1 | 0.9994 | 1 | 0.08493 | 0.00004482 | 0.00004482 | 0.0007972 | -6.494e-7 | 0 | 3.379e-11 | 0.00002627 | 0.0002729 | 0.00008892 | 0.00943 | 11.83 | 0.1653 | 0.04063 | 0.01191 | 1 | 1 | 0.0003021 | 0.00348 | 0.008043 | 0.1369 | 1.578 | 3.646 | json |
| t18_x72_u0_b142 | 18 | 72 | 0 | 142 | ![]() |
sub(R,sub(R,dst(P,P))) | 134980 | 149079832 | o2(x,o2(x,o2(x,x))) | true | 108247 | 108247 | 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 |
| t18_x72_u0_b143 | 18 | 72 | 0 | 143 | ![]() |
sub(R,mlt(R,add(P,P))) | 134981 | 149079833 | o2(x,o2(x,o2(x,x))) | true | 108255 | 108255 | 0.06208 | 0.5291 | 0.8469 | 0.791 | 0.8894 | -1 | 1 | 2 | 1 | 2.973 | 0.03059 | 0.03656 | 0.1003 | -0.08898 | 1 | 0.0000429 | 0.0731 | 0.08344 | 0.05706 | 0.2389 | 2.382 | 2.133 | 0.08488 | 0.09241 | 1 | 1 | 0.08775 | 0.6089 | 1.381 | 0.1109 | 0.7697 | 1.746 | json |
| t18_x72_u0_b144 | 18 | 72 | 0 | 144 | ![]() |
sub(R,mlt(R,sub(P,P))) | 134982 | 149079834 | o2(x,o2(x,o2(x,x))) | true | 108263 | 108263 | 0.008979 | 0.4983 | 0.3946 | 0.2196 | 0.4686 | -0.9989 | 0.9806 | 1.979 | 1 | 4.862 | 0.002813 | 0.00317 | 0.0632 | -0.05957 | 1 | 0.00002651 | 0.0003508 | 0.01449 | 0.001989 | 0.0446 | 0.7057 | 0.2301 | 0.02725 | 0.001598 | 1 | 1 | 0.01182 | 0.1519 | 0.3914 | 0.05384 | 0.6917 | 1.782 | json |
| t18_x72_u0_b145 | 18 | 72 | 0 | 145 | ![]() |
sub(R,mlt(R,mlt(P,P))) | 134983 | 149079835 | o2(x,o2(x,o2(x,x))) | true | 108271 | 108271 | 0.0176 | 0.5098 | 0.8073 | 0.766 | 0.8752 | -1 | 1 | 2 | 1 | 2.888 | 0.04527 | 0.05593 | 0.09712 | -0.1053 | 1 | -0.0001081 | 0.1916 | 0.1159 | 0.09176 | 0.3029 | 3.119 | 2.828 | 0.1321 | 0.2501 | 1 | 1 | 0.1037 | 0.6068 | 1.312 | 0.1353 | 0.7922 | 1.713 | json |
| t18_x72_u0_b146 | 18 | 72 | 0 | 146 | ![]() |
sub(R,mlt(R,div(P,P))) | 134984 | 149079836 | o2(x,o2(x,o2(x,x))) | true | 108279 | 108279 | -0.125 | 0 | 0.125 | 0.1094 | 0.3307 | -1 | 5.845e-8 | 1 | 1 | 0.8122 | 0.007937 | 3.882e-18 | 0.007937 | 1 | 1 | -1.118e-11 | 0.01587 | 0.01587 | 0.007872 | 0.08872 | 11.18 | 1 | 0.07256 | 0.1451 | 1 | 1 | 0.01053 | 0.04211 | 0.1684 | 0.09624 | 0.385 | 1.54 | json |
| t18_x72_u0_b147 | 18 | 72 | 0 | 147 | ![]() |
sub(R,mlt(R,pow(P,P))) | 134985 | 149079837 | o2(x,o2(x,o2(x,x))) | true | 108287 | 108287 | -0.4493 | 0.2466 | 0.8985 | 0.689 | 0.83 | -1 | 1 | 2 | 1 | 1.579 | 0.04139 | 0.04486 | 0.05408 | -0.04014 | 1 | -0.00003806 | 0.2059 | 0.09305 | 0.08333 | 0.2887 | 5.338 | 2.828 | 0.1252 | 0.2989 | 1 | 1 | 0.07453 | 0.3588 | 0.7988 | 0.1082 | 0.5209 | 1.159 | json |
| t18_x72_u0_b148 | 18 | 72 | 0 | 148 | ![]() |
sub(R,mlt(R,mod(P,P))) | 134986 | 149079838 | o2(x,o2(x,o2(x,x))) | true | 108295 | 108295 | -0.06842 | 0.4624 | 0.6582 | 0.5488 | 0.7408 | -1 | 1 | 2 | 1 | 4.233 | 0.02283 | 0.0119 | 0.08594 | 0.3147 | 1 | -0.000006422 | 0.03757 | 0.05281 | 0.02736 | 0.1654 | 1.925 | 1.943 | 0.06329 | 0.06846 | 1 | 1 | 0.03866 | 0.3019 | 0.8652 | 0.07044 | 0.5501 | 1.577 | json |
| t18_x72_u0_b149 | 18 | 72 | 0 | 149 | ![]() |
sub(R,mlt(R,lrg(P,P))) | 134987 | 149079839 | o2(x,o2(x,o2(x,x))) | true | 108303 | 108303 | 0.008979 | 0.4983 | 0.3946 | 0.2196 | 0.4686 | -0.9989 | 0.9806 | 1.979 | 1 | 4.862 | 0.002813 | 0.00317 | 0.0632 | -0.05957 | 1 | 0.00002651 | 0.0003508 | 0.01449 | 0.001989 | 0.0446 | 0.7057 | 0.2301 | 0.02725 | 0.001598 | 1 | 1 | 0.01182 | 0.1519 | 0.3914 | 0.05384 | 0.6917 | 1.782 | json |
| t18_x72_u0_b150 | 18 | 72 | 0 | 150 | ![]() |
sub(R,mlt(R,eql(P,P))) | 134988 | 149079840 | o2(x,o2(x,o2(x,x))) | true | 108311 | 108311 | 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 |
| t18_x72_u0_b151 | 18 | 72 | 0 | 151 | ![]() |
sub(R,mlt(R,min(P,P))) | 134989 | 149079841 | o2(x,o2(x,o2(x,x))) | true | 108319 | 108319 | 0.06055 | 0.5366 | 0.7257 | 0.6462 | 0.8039 | -1 | 1 | 2 | 1 | 3.745 | 0.01647 | 0.02001 | 0.09057 | -0.09684 | 1 | 0.00004313 | 0.02122 | 0.04957 | 0.02827 | 0.1681 | 1.856 | 1.468 | 0.05645 | 0.03283 | 1 | 1 | 0.05108 | 0.4367 | 1.061 | 0.07904 | 0.6757 | 1.641 | json |
| t18_x72_u0_b152 | 18 | 72 | 0 | 152 | ![]() |
sub(R,mlt(R,dot(P,P))) | 134990 | 149079842 | o2(x,o2(x,o2(x,x))) | true | 108327 | 108327 | 0.01773 | 0.5076 | 0.9482 | 0.9323 | 0.9655 | -1 | 1 | 2 | 1 | 1.783 | 0.07095 | 0.08441 | 0.1086 | -0.08666 | 1 | -0.00007156 | 0.3351 | 0.1686 | 0.1435 | 0.3788 | 3.488 | 2.828 | 0.1666 | 0.3594 | 1 | 1 | 0.1567 | 0.803 | 1.65 | 0.1681 | 0.8614 | 1.769 | json |
| t18_x72_u0_b153 | 18 | 72 | 0 | 153 | ![]() |
sub(R,mlt(R,dst(P,P))) | 134991 | 149079843 | o2(x,o2(x,o2(x,x))) | true | 108335 | 108335 | 0.008979 | 0.4983 | 0.3946 | 0.2196 | 0.4686 | -0.9989 | 0.9806 | 1.979 | 1 | 4.862 | 0.002813 | 0.00317 | 0.0632 | -0.05957 | 1 | 0.00002651 | 0.0003508 | 0.01449 | 0.001989 | 0.0446 | 0.7057 | 0.2301 | 0.02725 | 0.001598 | 1 | 1 | 0.01182 | 0.1519 | 0.3914 | 0.05384 | 0.6917 | 1.782 | json |
| t18_x72_u0_b154 | 18 | 72 | 0 | 154 | ![]() |
sub(R,div(R,add(P,P))) | 134992 | 149079844 | o2(x,o2(x,o2(x,x))) | true | 108343 | 108343 | -0.1196 | 0.4316 | 0.4673 | 0.3079 | 0.5549 | -1 | 1 | 2 | 1 | 4.736 | 0.01509 | 0.002927 | 0.0627 | 0.6751 | 1 | 0.00005767 | 0.02603 | 0.0309 | 0.01409 | 0.1187 | 1.893 | 2.001 | 0.05852 | 0.08452 | 1 | 1 | 0.02541 | 0.1837 | 0.5159 | 0.08251 | 0.5966 | 1.676 | json |
| t18_x72_u0_b155 | 18 | 72 | 0 | 155 | ![]() |
sub(R,div(R,sub(P,P))) | 134993 | 149079845 | o2(x,o2(x,o2(x,x))) | true | 108351 | 108351 | -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 |
| t18_x72_u0_b156 | 18 | 72 | 0 | 156 | ![]() |
sub(R,div(R,mlt(P,P))) | 134994 | 149079846 | o2(x,o2(x,o2(x,x))) | true | 108359 | 108359 | -0.1289 | 0.414 | 0.4192 | 0.2597 | 0.5096 | -1 | 0.9606 | 1.961 | 1 | 4.662 | 0.009755 | 0.002171 | 0.05514 | 0.636 | 1 | 0.00006323 | 0.01611 | 0.0267 | 0.008887 | 0.09427 | 1.71 | 1 | 0.04592 | 0.06204 | 1 | 1 | 0.01773 | 0.1334 | 0.4077 | 0.06826 | 0.5137 | 1.57 | json |
| t18_x72_u0_b157 | 18 | 72 | 0 | 157 | ![]() |
sub(R,div(R,div(P,P))) | 134995 | 149079847 | o2(x,o2(x,o2(x,x))) | true | 108367 | 108367 | -0.125 | 0 | 0.125 | 0.1094 | 0.3307 | -1 | 1.162e-7 | 1 | 1 | 1.073 | 0.007937 | 1.553e-17 | 0.007937 | 1 | 1 | -1.33e-11 | 0.01587 | 0.01587 | 0.007872 | 0.08872 | 11.18 | 1 | 0.07256 | 0.1451 | 1 | 1 | 0.01053 | 0.04211 | 0.1684 | 0.09624 | 0.385 | 1.54 | json |
| t18_x72_u0_b158 | 18 | 72 | 0 | 158 | ![]() |
sub(R,div(R,pow(P,P))) | 134996 | 149079848 | o2(x,o2(x,o2(x,x))) | true | 108375 | 108375 | -0.5175 | 0.1892 | 0.6493 | 0.3107 | 0.5574 | -1 | 0.9806 | 1.981 | 1 | 3.243 | 0.004973 | 0.001078 | 0.02838 | 0.6438 | 1 | 0.00001981 | 0.008064 | 0.01363 | 0.005245 | 0.07242 | 2.552 | 1 | 0.01947 | 0.02595 | 1 | 1 | 0.008947 | 0.06909 | 0.2263 | 0.02879 | 0.2224 | 0.7283 | json |
| t18_x72_u0_b159 | 18 | 72 | 0 | 159 | ![]() |
sub(R,div(R,mod(P,P))) | 134997 | 149079849 | o2(x,o2(x,o2(x,x))) | true | 108383 | 108383 | -0.8692 | 0.07056 | 0.9242 | 0.1482 | 0.385 | -1 | 1 | 2 | 1 | 1.12 | 0.02203 | 0.0004046 | 0.02423 | 0.9639 | 1 | 0.000008552 | 0.04352 | 0.03469 | 0.02185 | 0.1478 | 6.1 | 2.001 | 0.1513 | 0.2936 | 1 | 1 | 0.002722 | 0.0189 | 0.04656 | 0.01836 | 0.1275 | 0.3141 | json |
| t18_x72_u0_b160 | 18 | 72 | 0 | 160 | ![]() |
sub(R,div(R,lrg(P,P))) | 134998 | 149079850 | o2(x,o2(x,o2(x,x))) | true | 108391 | 108391 | -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 |
| t18_x72_u0_b161 | 18 | 72 | 0 | 161 | ![]() |
sub(R,div(R,eql(P,P))) | 134999 | 149079851 | o2(x,o2(x,o2(x,x))) | true | 108399 | 108399 | 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 |



































































































