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_x52_u0_b182 | 18 | 52 | 0 | 182 | ![]() |
sub(D,mod(R,lrg(R,D))) | 131000 | 148271852 | o2(x,o2(x,o2(x,x))) | true | 76407 | 76407 | -0.9634 | 0 | 0.9634 | 0.02091 | 0.1446 | -1 | -0.02178 | 0.9782 | 1 | 0.6153 | 0.009212 | 0.00181 | 0.01902 | 0.6715 | 1 | -0.0000773 | 0.02437 | 0.0335 | 0.01066 | 0.1033 | 5.43 | 1.364 | 0.5271 | 1.165 | 1 | 1 | 0.009479 | 0.02684 | 0.03877 | 0.4533 | 1.284 | 1.854 | json |
| t18_x52_u0_b183 | 18 | 52 | 0 | 183 | ![]() |
sub(D,mod(R,eql(R,D))) | 131001 | 148271853 | o2(x,o2(x,o2(x,x))) | true | 76415 | 76415 | -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_x52_u0_b184 | 18 | 52 | 0 | 184 | ![]() |
sub(D,mod(R,min(R,D))) | 131002 | 148271854 | o2(x,o2(x,o2(x,x))) | true | 76423 | 76423 | 0.0192 | 0.5216 | 0.1498 | 0.04205 | 0.2051 | -0.5037 | 1 | 1.504 | 1 | 3.595 | 0.005453 | 0.0004473 | 0.06122 | 0.8484 | 1 | 0.000156 | 0.009015 | 0.05867 | 0.002153 | 0.0464 | 0.7579 | 0.4042 | 0.1403 | 0.2144 | 1 | 1 | 0.007825 | 0.05304 | 0.0688 | 0.1861 | 1.261 | 1.636 | json |
| t18_x52_u0_b185 | 18 | 52 | 0 | 185 | ![]() |
sub(D,mod(R,dot(R,D))) | 131003 | 148271855 | o2(x,o2(x,o2(x,x))) | true | 76431 | 76431 | -0.001782 | 0.494 | 0.119 | 0.02112 | 0.1453 | -0.5782 | 0.5692 | 1.147 | 1 | 3.264 | 0.006218 | 0.004275 | 0.08309 | 0.1851 | 1 | 0.00001868 | 0.04088 | 0.1374 | 0.00359 | 0.05991 | 0.7211 | 0.5305 | 0.4969 | 1.936 | 1 | 1 | 0.009115 | 0.03459 | 0.01993 | 0.4316 | 1.638 | 0.9439 | json |
| t18_x52_u0_b186 | 18 | 52 | 0 | 186 | ![]() |
sub(D,mod(R,dst(R,D))) | 131004 | 148271856 | o2(x,o2(x,o2(x,x))) | true | 76439 | 76439 | -0.006614 | 0.5047 | 0.379 | 0.2118 | 0.4602 | -1 | 1 | 2 | 1 | 4.86 | 0.009815 | 0.005888 | 0.08671 | 0.25 | 1 | -0.0001421 | 0.02822 | 0.05302 | 0.008185 | 0.09047 | 1.043 | 1.322 | 0.07414 | 0.1332 | 1 | 1 | 0.0216 | 0.1833 | 0.3574 | 0.102 | 0.8654 | 1.687 | json |
| t18_x52_u0_b187 | 18 | 52 | 0 | 187 | ![]() |
sub(D,lrg(R,add(R,D))) | 131005 | 148271857 | o2(x,o2(x,o2(x,x))) | true | 76447 | 76447 | -0.4823 | 0.3125 | 0.5176 | 0.2029 | 0.4504 | -1 | 0.09672 | 1.097 | 1 | 2.852 | 0.07311 | 0 | 0.1349 | 1 | 1 | -0.00006836 | 0.122 | 0.1445 | 0.05491 | 0.2343 | 1.737 | 1.031 | 0.3604 | 0.6012 | 1 | 1 | 0.08612 | 0.3709 | 0 | 0.4245 | 1.828 | 0 | json |
| t18_x52_u0_b188 | 18 | 52 | 0 | 188 | ![]() |
sub(D,lrg(R,sub(R,D))) | 131006 | 148271858 | o2(x,o2(x,o2(x,x))) | true | 76455 | 76455 | -0.5 | 0 | 0.5 | 0.08301 | 0.2881 | -0.9688 | -0.03125 | 0.9375 | 1 | 4 | 0.05599 | 0 | 0.1146 | 1 | 1 | 0 | 0.119 | 0.119 | 0.04284 | 0.207 | 1.806 | 0.9375 | 0.6745 | 1.434 | 1 | 1 | 0.05321 | 0.125 | 0 | 0.641 | 1.506 | 0 | json |
| t18_x52_u0_b189 | 18 | 52 | 0 | 189 | ![]() |
sub(D,lrg(R,mlt(R,D))) | 131007 | 148271859 | o2(x,o2(x,o2(x,x))) | true | 76463 | 76463 | -0.4726 | 0.1515 | 0.4954 | 0.1528 | 0.3909 | -1 | 0.1454 | 1.145 | 1 | 4.044 | 0.003321 | 0.002384 | 0.06297 | 0.1641 | 1 | -0.00001363 | 0.0006541 | 0.01751 | 0.00174 | 0.04171 | 0.6624 | 0.1713 | 0.03734 | 0.004282 | 1 | 1 | 0.01109 | 0.1243 | 0.2688 | 0.07262 | 0.8134 | 1.76 | json |
| t18_x52_u0_b190 | 18 | 52 | 0 | 190 | ![]() |
sub(D,lrg(R,div(R,D))) | 131008 | 148271860 | o2(x,o2(x,o2(x,x))) | true | 76471 | 76471 | -0.4866 | 0.1338 | 0.506 | 0.1448 | 0.3805 | -1 | 0.1454 | 1.145 | 1 | 4.063 | 0.04776 | 0.002227 | 0.1092 | 0.9109 | 1 | -0.000009593 | 0.09351 | 0.115 | 0.03806 | 0.1951 | 1.787 | 1.031 | 0.3453 | 0.646 | 1 | 1 | 0.05396 | 0.2401 | 0.2644 | 0.3728 | 1.659 | 1.826 | json |
| t18_x52_u0_b191 | 18 | 52 | 0 | 191 | ![]() |
sub(D,lrg(R,pow(R,D))) | 131009 | 148271861 | o2(x,o2(x,o2(x,x))) | true | 76479 | 76479 | -0.506 | 0.1368 | 0.5261 | 0.1526 | 0.3906 | -1 | 0.1454 | 1.145 | 1 | 3.995 | 0.003337 | 0.002385 | 0.06259 | 0.1665 | 1 | -0.00004054 | 0.0006666 | 0.01756 | 0.001805 | 0.04249 | 0.6788 | 0.1713 | 0.0375 | 0.004369 | 1 | 1 | 0.0112 | 0.125 | 0.2676 | 0.07343 | 0.8196 | 1.754 | json |
| t18_x52_u0_b192 | 18 | 52 | 0 | 192 | ![]() |
sub(D,lrg(R,mod(R,D))) | 131010 | 148271862 | o2(x,o2(x,o2(x,x))) | true | 76487 | 76487 | -0.3591 | 0.218 | 0.3965 | 0.1505 | 0.3879 | -1 | 0.1454 | 1.145 | 1 | 4.044 | 0.01812 | 0.002042 | 0.08185 | 0.7974 | 1 | -0.0003193 | 0.03025 | 0.0635 | 0.01346 | 0.116 | 1.417 | 1.055 | 0.134 | 0.2011 | 1 | 1 | 0.02283 | 0.1452 | 0.2609 | 0.1517 | 0.9649 | 1.734 | json |
| t18_x52_u0_b193 | 18 | 52 | 0 | 193 | ![]() |
sub(D,lrg(R,lrg(R,D))) | 131011 | 148271863 | o2(x,o2(x,o2(x,x))) | true | 76495 | 76495 | -0.05923 | 0.4272 | 0.1396 | 0.03254 | 0.1804 | -0.9685 | 0.1454 | 1.114 | 1 | 3.261 | 0.009462 | 0.0003582 | 0.05434 | 0.9271 | 1 | 0.00004931 | 0.01713 | 0.03858 | 0.006869 | 0.08288 | 1.525 | 0.9375 | 0.3018 | 0.5265 | 1 | 1 | 0.01014 | 0.04534 | 0.04308 | 0.3115 | 1.393 | 1.324 | json |
| t18_x52_u0_b194 | 18 | 52 | 0 | 194 | ![]() |
sub(D,lrg(R,eql(R,D))) | 131012 | 148271864 | o2(x,o2(x,o2(x,x))) | true | 76503 | 76503 | -0.4726 | 0.1515 | 0.4954 | 0.1528 | 0.3909 | -1 | 0.1454 | 1.145 | 1 | 4.044 | 0.003321 | 0.002384 | 0.06297 | 0.1641 | 1 | -0.00001363 | 0.0006541 | 0.01751 | 0.00174 | 0.04171 | 0.6624 | 0.1713 | 0.03734 | 0.004282 | 1 | 1 | 0.01109 | 0.1243 | 0.2688 | 0.07262 | 0.8134 | 1.76 | json |
| t18_x52_u0_b195 | 18 | 52 | 0 | 195 | ![]() |
sub(D,lrg(R,min(R,D))) | 131013 | 148271865 | o2(x,o2(x,o2(x,x))) | true | 76511 | 76511 | -0.49 | 0.1521 | 0.5086 | 0.1563 | 0.3954 | -1 | 0.1454 | 1.145 | 1 | 3.939 | 0.02197 | 0.002084 | 0.09428 | 0.8268 | 1 | -0.00002828 | 0.03678 | 0.07581 | 0.01517 | 0.1232 | 1.307 | 1.048 | 0.1539 | 0.2353 | 1 | 1 | 0.02801 | 0.1648 | 0.2571 | 0.1792 | 1.054 | 1.645 | json |
| t18_x52_u0_b196 | 18 | 52 | 0 | 196 | ![]() |
sub(D,lrg(R,dot(R,D))) | 131014 | 148271866 | o2(x,o2(x,o2(x,x))) | true | 76519 | 76519 | -0.4763 | 0.153 | 0.4996 | 0.1545 | 0.3931 | -1 | 0.1454 | 1.145 | 1 | 4.034 | 0.005917 | 0.01104 | 0.07816 | -0.3019 | 1 | -0.00009001 | 0.03481 | 0.05873 | 0.01084 | 0.1041 | 1.332 | 1.339 | 0.1097 | 0.2253 | 1 | 1 | 0.02089 | 0.1466 | 0.27 | 0.1352 | 0.9485 | 1.748 | json |
| t18_x52_u0_b197 | 18 | 52 | 0 | 197 | ![]() |
sub(D,lrg(R,dst(R,D))) | 131015 | 148271867 | o2(x,o2(x,o2(x,x))) | true | 76527 | 76527 | -0.03494 | 0.4516 | 0.1192 | 0.02444 | 0.1563 | -0.9616 | 0.1454 | 1.107 | 1 | 3.012 | 0.005872 | 0.003409 | 0.04933 | 0.2654 | 1 | 0.0001942 | 0.02608 | 0.03775 | 0.006847 | 0.08275 | 1.677 | 1.365 | 0.3798 | 1.067 | 1 | 1 | 0.009129 | 0.04039 | 0.02849 | 0.3736 | 1.653 | 1.166 | json |
| t18_x52_u0_b198 | 18 | 52 | 0 | 198 | ![]() |
sub(D,eql(R,add(R,D))) | 131016 | 148271868 | o2(x,o2(x,o2(x,x))) | true | 76535 | 76535 | 0 | 0.5 | 0.09436 | 0.01082 | 0.104 | -0.1454 | 0.1454 | 0.2908 | 1 | 2.561 | 0.001632 | 0 | 0.0361 | 1 | 1 | 0 | 0.0002563 | 0.01459 | 0.0003304 | 0.01818 | 0.5036 | 0.06192 | 0.1508 | 0.02368 | 1 | 1 | 0.003151 | 0.02183 | 0 | 0.2912 | 2.017 | 0 | json |
| t18_x52_u0_b199 | 18 | 52 | 0 | 199 | ![]() |
sub(D,eql(R,sub(R,D))) | 131017 | 148271869 | o2(x,o2(x,o2(x,x))) | true | 76543 | 76543 | 0 | 0.5 | 0.09436 | 0.01082 | 0.104 | -0.1454 | 0.1454 | 0.2908 | 1 | 2.561 | 0.001632 | 0 | 0.0361 | 1 | 1 | 0 | 0.0002563 | 0.01459 | 0.0003304 | 0.01818 | 0.5036 | 0.06192 | 0.1508 | 0.02368 | 1 | 1 | 0.003151 | 0.02183 | 0 | 0.2912 | 2.017 | 0 | json |
| t18_x52_u0_b200 | 18 | 52 | 0 | 200 | ![]() |
sub(D,eql(R,mlt(R,D))) | 131018 | 148271870 | o2(x,o2(x,o2(x,x))) | true | 76551 | 76551 | -2.132e-7 | 0.5 | 0.09436 | 0.01082 | 0.104 | -0.1454 | 0.1454 | 0.2908 | 1 | 2.561 | 0.001632 | 7.118e-13 | 0.0361 | 1 | 1 | 1.039e-10 | 0.0002563 | 0.01459 | 0.0003304 | 0.01818 | 0.5036 | 0.06221 | 0.1508 | 0.02368 | 1 | 1 | 0.003151 | 0.02183 | 1.177e-10 | 0.2912 | 2.017 | 1.087e-8 | json |
| t18_x53_u0_b0 | 18 | 53 | 0 | 0 | ![]() |
add(D,add(R,add(R,R))) | 131019 | 148312071 | o2(x,o2(x,o2(x,x))) | true | 76559 | 76559 | 0.006773 | 0.4982 | 0.7712 | 0.6946 | 0.8334 | -1 | 1 | 2 | 1 | 3.665 | 0.01468 | 0.01568 | 0.1027 | -0.03272 | 1 | 0.00001169 | 0.009098 | 0.04238 | 0.01982 | 0.1408 | 1.371 | 0.7447 | 0.04371 | 0.0131 | 1 | 1 | 0.05818 | 0.5559 | 1.242 | 0.08376 | 0.8004 | 1.788 | json |
| t18_x53_u0_b1 | 18 | 53 | 0 | 1 | ![]() |
add(D,add(R,sub(R,R))) | 131020 | 148312072 | o2(x,o2(x,o2(x,x))) | true | 76567 | 76567 | 0.009078 | 0.4986 | 0.4013 | 0.2304 | 0.48 | -1 | 1 | 2 | 1 | 4.899 | 0.004471 | 0.003165 | 0.07546 | 0.1709 | 1 | 0.00002869 | 0.0006263 | 0.01935 | 0.001942 | 0.04407 | 0.584 | 0.2845 | 0.03314 | 0.002718 | 1 | 1 | 0.01508 | 0.1746 | 0.3904 | 0.06546 | 0.7577 | 1.694 | json |
| t18_x53_u0_b2 | 18 | 53 | 0 | 2 | ![]() |
add(D,add(R,mlt(R,R))) | 131021 | 148312073 | o2(x,o2(x,o2(x,x))) | true | 76575 | 76575 | 0.3057 | 0.6618 | 0.415 | 0.1992 | 0.4463 | -0.3906 | 1 | 1.391 | 1 | 4.199 | 0.00441 | 0.003225 | 0.0678 | 0.1552 | 1 | -0.00003479 | 0.001289 | 0.02104 | 0.003038 | 0.05512 | 0.813 | 0.3062 | 0.03833 | 0.006468 | 1 | 1 | 0.01523 | 0.164 | 0.3792 | 0.07648 | 0.8231 | 1.904 | json |
| t18_x53_u0_b3 | 18 | 53 | 0 | 3 | ![]() |
add(D,add(R,div(R,R))) | 131022 | 148312074 | o2(x,o2(x,o2(x,x))) | true | 76583 | 76583 | 0.8037 | 0.9934 | 0.8041 | 0.07377 | 0.2716 | -0.1152 | 1 | 1.115 | 1 | 2.737 | 0.002067 | 0.001466 | 0.03716 | 0.17 | 1 | -0.00002939 | 0.000931 | 0.01535 | 0.002152 | 0.04639 | 1.249 | 0.2737 | 0.0479 | 0.01262 | 1 | 1 | 0.006608 | 0.06117 | 0.1158 | 0.08958 | 0.8292 | 1.57 | json |
| t18_x53_u0_b4 | 18 | 53 | 0 | 4 | ![]() |
add(D,add(R,pow(R,R))) | 131023 | 148312075 | o2(x,o2(x,o2(x,x))) | true | 76591 | 76591 | -0.9144 | 0.04297 | 0.9997 | 0.1632 | 0.404 | -1 | 1 | 2 | 1 | 0.2722 | 0.01676 | 0.01624 | 0.01663 | 0.01582 | 1 | -8.492e-8 | 0.06902 | 0.03327 | 0.03271 | 0.1809 | 10.88 | 2.828 | 0.2021 | 0.4228 | 1 | 1 | 0.02534 | 0.1092 | 0.2745 | 0.1552 | 0.6689 | 1.681 | json |
| t18_x53_u0_b5 | 18 | 53 | 0 | 5 | ![]() |
add(D,add(R,mod(R,R))) | 131024 | 148312076 | o2(x,o2(x,o2(x,x))) | true | 76599 | 76599 | -0.001473 | 0.4952 | 0.4641 | 0.3033 | 0.5507 | -1 | 1 | 2 | 1 | 4.954 | 0.005703 | 0.004448 | 0.08229 | 0.1236 | 1 | 0.00001325 | 0.001147 | 0.02207 | 0.003379 | 0.05813 | 0.7064 | 0.4871 | 0.03347 | 0.003782 | 1 | 1 | 0.02121 | 0.2429 | 0.561 | 0.06993 | 0.801 | 1.85 | json |
| t18_x53_u0_b6 | 18 | 53 | 0 | 6 | ![]() |
add(D,add(R,lrg(R,R))) | 131025 | 148312077 | o2(x,o2(x,o2(x,x))) | true | 76607 | 76607 | 0.009078 | 0.4986 | 0.4013 | 0.2304 | 0.48 | -1 | 1 | 2 | 1 | 4.899 | 0.004471 | 0.003165 | 0.07546 | 0.1709 | 1 | 0.00002869 | 0.0006263 | 0.01935 | 0.001942 | 0.04407 | 0.584 | 0.2845 | 0.03314 | 0.002718 | 1 | 1 | 0.01508 | 0.1746 | 0.3904 | 0.06546 | 0.7577 | 1.694 | json |
| t18_x53_u0_b7 | 18 | 53 | 0 | 7 | ![]() |
add(D,add(R,eql(R,R))) | 131026 | 148312078 | o2(x,o2(x,o2(x,x))) | true | 76615 | 76615 | 0.8037 | 0.9934 | 0.8041 | 0.07377 | 0.2716 | -0.1152 | 1 | 1.115 | 1 | 2.737 | 0.002067 | 0.001466 | 0.03716 | 0.17 | 1 | -0.00002939 | 0.000931 | 0.01535 | 0.002152 | 0.04639 | 1.249 | 0.2737 | 0.0479 | 0.01262 | 1 | 1 | 0.006608 | 0.06117 | 0.1158 | 0.08958 | 0.8292 | 1.57 | json |
| t18_x53_u0_b8 | 18 | 53 | 0 | 8 | ![]() |
add(D,add(R,min(R,R))) | 131027 | 148312079 | o2(x,o2(x,o2(x,x))) | true | 76623 | 76623 | 0.01389 | 0.4983 | 0.6587 | 0.546 | 0.7389 | -1 | 1 | 2 | 1 | 4.407 | 0.009733 | 0.009689 | 0.09801 | 0.002294 | 1 | 0.00002822 | 0.003497 | 0.03103 | 0.009815 | 0.09907 | 1.011 | 0.5146 | 0.03557 | 0.006403 | 1 | 1 | 0.03804 | 0.4168 | 0.9707 | 0.06967 | 0.7633 | 1.778 | json |
| t18_x53_u0_b9 | 18 | 53 | 0 | 9 | ![]() |
add(D,add(R,dot(R,R))) | 131028 | 148312080 | o2(x,o2(x,o2(x,x))) | true | 76631 | 76631 | 0.7586 | 0.9751 | 0.7637 | 0.09623 | 0.3102 | -0.3203 | 1 | 1.32 | 1 | 3.003 | 0.00278 | 0.002039 | 0.04368 | 0.1537 | 1 | -0.00006536 | 0.00137 | 0.01846 | 0.002912 | 0.05396 | 1.235 | 0.3211 | 0.05009 | 0.01424 | 1 | 1 | 0.009175 | 0.08602 | 0.1798 | 0.09534 | 0.8939 | 1.868 | json |
| t18_x53_u0_b10 | 18 | 53 | 0 | 10 | ![]() |
add(D,add(R,dst(R,R))) | 131029 | 148312081 | o2(x,o2(x,o2(x,x))) | true | 76639 | 76639 | 0.009078 | 0.4986 | 0.4013 | 0.2304 | 0.48 | -1 | 1 | 2 | 1 | 4.899 | 0.004471 | 0.003165 | 0.07546 | 0.1709 | 1 | 0.00002869 | 0.0006263 | 0.01935 | 0.001942 | 0.04407 | 0.584 | 0.2845 | 0.03314 | 0.002718 | 1 | 1 | 0.01508 | 0.1746 | 0.3904 | 0.06546 | 0.7577 | 1.694 | json |
| t18_x53_u0_b11 | 18 | 53 | 0 | 11 | ![]() |
add(D,sub(R,add(R,R))) | 131030 | 148312082 | o2(x,o2(x,o2(x,x))) | true | 76647 | 76647 | -0.009165 | 0.5021 | 0.4005 | 0.2287 | 0.4782 | -1 | 1 | 2 | 1 | 4.894 | 0.004393 | 0.003164 | 0.07461 | 0.1626 | 1 | -0.00003074 | 0.0006179 | 0.01902 | 0.001989 | 0.0446 | 0.5978 | 0.2561 | 0.03305 | 0.002702 | 1 | 1 | 0.01479 | 0.1717 | 0.3901 | 0.06468 | 0.751 | 1.706 | json |
| t18_x53_u0_b12 | 18 | 53 | 0 | 12 | ![]() |
add(D,sub(R,sub(R,R))) | 131031 | 148312083 | o2(x,o2(x,o2(x,x))) | true | 76655 | 76655 | 0.009078 | 0.4986 | 0.4013 | 0.2304 | 0.48 | -1 | 1 | 2 | 1 | 4.899 | 0.004471 | 0.003165 | 0.07546 | 0.1709 | 1 | 0.00002869 | 0.0006263 | 0.01935 | 0.001942 | 0.04407 | 0.584 | 0.2845 | 0.03314 | 0.002718 | 1 | 1 | 0.01508 | 0.1746 | 0.3904 | 0.06546 | 0.7577 | 1.694 | json |
| t18_x53_u0_b13 | 18 | 53 | 0 | 13 | ![]() |
add(D,sub(R,mlt(R,R))) | 131032 | 148312084 | o2(x,o2(x,o2(x,x))) | true | 76663 | 76663 | -0.2882 | 0.3216 | 0.3911 | 0.1795 | 0.4236 | -1 | 0.3943 | 1.394 | 1 | 4.259 | 0.003837 | 0.00279 | 0.06421 | 0.158 | 1 | 0.00004022 | 0.001045 | 0.01961 | 0.002503 | 0.05003 | 0.7792 | 0.3014 | 0.03693 | 0.005825 | 1 | 1 | 0.01248 | 0.1325 | 0.2788 | 0.06953 | 0.7386 | 1.554 | json |
| t18_x53_u0_b14 | 18 | 53 | 0 | 14 | ![]() |
add(D,sub(R,div(R,R))) | 131033 | 148312085 | o2(x,o2(x,o2(x,x))) | true | 76671 | 76671 | -0.7947 | 0.003952 | 0.7949 | 0.07675 | 0.277 | -1 | 0.08818 | 1.088 | 1 | 2.748 | 0.002267 | 0.001589 | 0.039 | 0.1758 | 1 | 0.0000559 | 0.0009536 | 0.0154 | 0.002335 | 0.04832 | 1.239 | 0.2738 | 0.05023 | 0.01242 | 1 | 1 | 0.007444 | 0.07061 | 0.1422 | 0.09699 | 0.92 | 1.853 | json |
| t18_x53_u0_b15 | 18 | 53 | 0 | 15 | ![]() |
add(D,sub(R,pow(R,R))) | 131034 | 148312086 | o2(x,o2(x,o2(x,x))) | true | 76679 | 76679 | -0.9663 | 0.005814 | 0.9669 | 0.02682 | 0.1638 | -1 | 0.1421 | 1.142 | 1 | 0.4078 | 0.002717 | 0.002762 | 0.008054 | -0.008268 | 1 | -0.000004539 | 0.01133 | 0.01356 | 0.005412 | 0.07356 | 9.134 | 1.347 | 0.2043 | 0.4224 | 1 | 1 | 0.004467 | 0.01928 | 0.04556 | 0.1666 | 0.7189 | 1.699 | json |
| t18_x53_u0_b16 | 18 | 53 | 0 | 16 | ![]() |
add(D,sub(R,mod(R,R))) | 131035 | 148312087 | o2(x,o2(x,o2(x,x))) | true | 76687 | 76687 | 0.02524 | 0.5126 | 0.3518 | 0.1929 | 0.4391 | -1 | 1 | 2 | 1 | 4.796 | 0.003926 | 0.00246 | 0.06869 | 0.2294 | 1 | 0.00003816 | 0.0005445 | 0.01817 | 0.001668 | 0.04084 | 0.5946 | 0.2845 | 0.03311 | 0.002824 | 1 | 1 | 0.01201 | 0.1347 | 0.3154 | 0.06225 | 0.6986 | 1.635 | json |
| t18_x53_u0_b17 | 18 | 53 | 0 | 17 | ![]() |
add(D,sub(R,lrg(R,R))) | 131036 | 148312088 | o2(x,o2(x,o2(x,x))) | true | 76695 | 76695 | 0.009078 | 0.4986 | 0.4013 | 0.2304 | 0.48 | -1 | 1 | 2 | 1 | 4.899 | 0.004471 | 0.003165 | 0.07546 | 0.1709 | 1 | 0.00002869 | 0.0006263 | 0.01935 | 0.001942 | 0.04407 | 0.584 | 0.2845 | 0.03314 | 0.002718 | 1 | 1 | 0.01508 | 0.1746 | 0.3904 | 0.06546 | 0.7577 | 1.694 | json |
| t18_x53_u0_b18 | 18 | 53 | 0 | 18 | ![]() |
add(D,sub(R,eql(R,R))) | 131037 | 148312089 | o2(x,o2(x,o2(x,x))) | true | 76703 | 76703 | -0.7947 | 0.003952 | 0.7949 | 0.07675 | 0.277 | -1 | 0.08818 | 1.088 | 1 | 2.748 | 0.002267 | 0.001589 | 0.039 | 0.1758 | 1 | 0.0000559 | 0.0009536 | 0.0154 | 0.002335 | 0.04832 | 1.239 | 0.2738 | 0.05023 | 0.01242 | 1 | 1 | 0.007444 | 0.07061 | 0.1422 | 0.09699 | 0.92 | 1.853 | json |
| t18_x53_u0_b19 | 18 | 53 | 0 | 19 | ![]() |
add(D,sub(R,min(R,R))) | 131038 | 148312090 | o2(x,o2(x,o2(x,x))) | true | 76711 | 76711 | 0 | 0.5 | 0.09436 | 0.01082 | 0.104 | -0.1454 | 0.1454 | 0.2908 | 1 | 2.561 | 0.001632 | 0 | 0.03609 | 1 | 1 | 0 | 0.0002563 | 0.01459 | 0.0003304 | 0.01818 | 0.5036 | 0.06192 | 0.1508 | 0.02368 | 1 | 1 | 0.003151 | 0.02183 | 5.236e-15 | 0.2912 | 2.017 | 4.838e-13 | json |
| t18_x53_u0_b20 | 18 | 53 | 0 | 20 | ![]() |
add(D,sub(R,dot(R,R))) | 131039 | 148312091 | o2(x,o2(x,o2(x,x))) | true | 76719 | 76719 | -0.761 | 0.0175 | 0.764 | 0.08917 | 0.2986 | -1 | 0.2645 | 1.265 | 1 | 3.035 | 0.002399 | 0.001773 | 0.04175 | 0.1502 | 1 | 0.00006186 | 0.001108 | 0.0169 | 0.002428 | 0.04928 | 1.18 | 0.3437 | 0.04679 | 0.01242 | 1 | 1 | 0.007345 | 0.06814 | 0.132 | 0.08237 | 0.7641 | 1.481 | json |
| t18_x53_u0_b21 | 18 | 53 | 0 | 21 | ![]() |
add(D,sub(R,dst(R,R))) | 131040 | 148312092 | o2(x,o2(x,o2(x,x))) | true | 76727 | 76727 | 0.009078 | 0.4986 | 0.4013 | 0.2304 | 0.48 | -1 | 1 | 2 | 1 | 4.899 | 0.004471 | 0.003165 | 0.07546 | 0.1709 | 1 | 0.00002869 | 0.0006263 | 0.01935 | 0.001942 | 0.04407 | 0.584 | 0.2845 | 0.03314 | 0.002718 | 1 | 1 | 0.01508 | 0.1746 | 0.3904 | 0.06546 | 0.7577 | 1.694 | json |
| t18_x53_u0_b22 | 18 | 53 | 0 | 22 | ![]() |
add(D,mlt(R,add(R,R))) | 131041 | 148312093 | o2(x,o2(x,o2(x,x))) | true | 76735 | 76735 | 0.6012 | 0.9635 | 0.605 | 0.1206 | 0.3473 | -0.1425 | 1 | 1.143 | 1 | 3.683 | 0.003037 | 0.002035 | 0.05258 | 0.1974 | 1 | -0.00008068 | 0.001038 | 0.01814 | 0.002307 | 0.04803 | 0.9135 | 0.2661 | 0.04205 | 0.008609 | 1 | 1 | 0.009117 | 0.09151 | 0.2294 | 0.07558 | 0.7587 | 1.902 | json |
| t18_x53_u0_b23 | 18 | 53 | 0 | 23 | ![]() |
add(D,mlt(R,sub(R,R))) | 131042 | 148312094 | o2(x,o2(x,o2(x,x))) | true | 76743 | 76743 | 0 | 0.5 | 0.09436 | 0.01082 | 0.104 | -0.1454 | 0.1454 | 0.2908 | 1 | 2.561 | 0.001632 | 0 | 0.03609 | 1 | 1 | 0 | 0.0002563 | 0.01459 | 0.0003304 | 0.01818 | 0.5036 | 0.06192 | 0.1508 | 0.02368 | 1 | 1 | 0.003151 | 0.02183 | 5.236e-15 | 0.2912 | 2.017 | 4.838e-13 | json |
| t18_x53_u0_b24 | 18 | 53 | 0 | 24 | ![]() |
add(D,mlt(R,mlt(R,R))) | 131043 | 148312095 | o2(x,o2(x,o2(x,x))) | true | 76751 | 76751 | 0.01553 | 0.5291 | 0.2479 | 0.1087 | 0.3297 | -1 | 1 | 2 | 1 | 4.38 | 0.002895 | 0.001383 | 0.05621 | 0.3533 | 1 | 0.00004327 | 0.0004162 | 0.01631 | 0.001119 | 0.03345 | 0.5951 | 0.2775 | 0.03935 | 0.003828 | 1 | 1 | 0.008108 | 0.08507 | 0.169 | 0.07457 | 0.7824 | 1.554 | json |
| t18_x53_u0_b25 | 18 | 53 | 0 | 25 | ![]() |
add(D,mlt(R,div(R,R))) | 131044 | 148312096 | o2(x,o2(x,o2(x,x))) | true | 76759 | 76759 | 0.009078 | 0.4986 | 0.4013 | 0.2304 | 0.48 | -1 | 1 | 2 | 1 | 4.899 | 0.004471 | 0.003165 | 0.07546 | 0.1709 | 1 | 0.00002869 | 0.0006263 | 0.01935 | 0.001942 | 0.04407 | 0.584 | 0.2845 | 0.03314 | 0.002718 | 1 | 1 | 0.01508 | 0.1746 | 0.3904 | 0.06546 | 0.7577 | 1.694 | json |
| t18_x53_u0_b26 | 18 | 53 | 0 | 26 | ![]() |
add(D,mlt(R,pow(R,R))) | 131045 | 148312097 | o2(x,o2(x,o2(x,x))) | true | 76767 | 76767 | -0.9373 | 0.04266 | 0.9768 | 0.08951 | 0.2992 | -1 | 1 | 2 | 1 | 0.4179 | 0.009009 | 0.009037 | 0.01376 | -0.001527 | 1 | -0.000001413 | 0.03759 | 0.02466 | 0.01786 | 0.1336 | 9.71 | 2.454 | 0.2016 | 0.42 | 1 | 1 | 0.0142 | 0.06171 | 0.1503 | 0.1587 | 0.6895 | 1.68 | json |
| t18_x53_u0_b27 | 18 | 53 | 0 | 27 | ![]() |
add(D,mlt(R,mod(R,R))) | 131046 | 148312098 | o2(x,o2(x,o2(x,x))) | true | 76775 | 76775 | 0.06594 | 0.6055 | 0.1354 | 0.03136 | 0.1771 | -0.1454 | 1 | 1.145 | 1 | 3.231 | 0.001904 | 0.0002746 | 0.04073 | 0.7479 | 1 | -0.00001359 | 0.0002881 | 0.01485 | 0.00052 | 0.0228 | 0.5599 | 0.1639 | 0.06947 | 0.009189 | 1 | 1 | 0.004526 | 0.03941 | 0.04758 | 0.1443 | 1.257 | 1.517 | json |
| t18_x53_u0_b28 | 18 | 53 | 0 | 28 | ![]() |
add(D,mlt(R,lrg(R,R))) | 131047 | 148312099 | o2(x,o2(x,o2(x,x))) | true | 76783 | 76783 | 0 | 0.5 | 0.09436 | 0.01082 | 0.104 | -0.1454 | 0.1454 | 0.2908 | 1 | 2.561 | 0.001632 | 0 | 0.0361 | 1 | 1 | 0 | 0.0002563 | 0.01459 | 0.0003304 | 0.01818 | 0.5036 | 0.06192 | 0.1508 | 0.02368 | 1 | 1 | 0.003151 | 0.02183 | 0 | 0.2912 | 2.017 | 0 | json |
| t18_x53_u0_b29 | 18 | 53 | 0 | 29 | ![]() |
add(D,mlt(R,eql(R,R))) | 131048 | 148312100 | o2(x,o2(x,o2(x,x))) | true | 76791 | 76791 | 0.009078 | 0.4986 | 0.4013 | 0.2304 | 0.48 | -1 | 1 | 2 | 1 | 4.899 | 0.004471 | 0.003165 | 0.07546 | 0.1709 | 1 | 0.00002869 | 0.0006263 | 0.01935 | 0.001942 | 0.04407 | 0.584 | 0.2845 | 0.03314 | 0.002718 | 1 | 1 | 0.01508 | 0.1746 | 0.3904 | 0.06546 | 0.7577 | 1.694 | json |
| t18_x53_u0_b30 | 18 | 53 | 0 | 30 | ![]() |
add(D,mlt(R,min(R,R))) | 131049 | 148312101 | o2(x,o2(x,o2(x,x))) | true | 76799 | 76799 | 0.3492 | 0.9193 | 0.3578 | 0.06782 | 0.2604 | -0.144 | 1 | 1.144 | 1 | 4.016 | 0.002354 | 0.0008003 | 0.04923 | 0.4925 | 1 | -8.21e-7 | 0.000355 | 0.01524 | 0.0007303 | 0.02702 | 0.5489 | 0.1655 | 0.04651 | 0.005235 | 1 | 1 | 0.005848 | 0.05668 | 0.1066 | 0.08622 | 0.8358 | 1.571 | json |
| t18_x53_u0_b31 | 18 | 53 | 0 | 31 | ![]() |
add(D,mlt(R,dot(R,R))) | 131050 | 148312102 | o2(x,o2(x,o2(x,x))) | true | 76807 | 76807 | 0.03089 | 0.5181 | 0.4606 | 0.3244 | 0.5696 | -1 | 1 | 2 | 1 | 4.783 | 0.005935 | 0.005142 | 0.08147 | 0.07162 | 1 | 0.00003771 | 0.00158 | 0.02331 | 0.004438 | 0.06662 | 0.8177 | 0.4673 | 0.03415 | 0.004872 | 1 | 1 | 0.02113 | 0.235 | 0.579 | 0.06514 | 0.7244 | 1.785 | json |
| t18_x53_u0_b32 | 18 | 53 | 0 | 32 | ![]() |
add(D,mlt(R,dst(R,R))) | 131051 | 148312103 | o2(x,o2(x,o2(x,x))) | true | 76815 | 76815 | 0 | 0.5 | 0.09436 | 0.01082 | 0.104 | -0.1454 | 0.1454 | 0.2908 | 1 | 2.561 | 0.001632 | 0 | 0.03609 | 1 | 1 | 0 | 0.0002563 | 0.01459 | 0.0003304 | 0.01818 | 0.5036 | 0.06192 | 0.1508 | 0.02368 | 1 | 1 | 0.003151 | 0.02183 | 5.236e-15 | 0.2912 | 2.017 | 4.838e-13 | json |
| t18_x53_u0_b33 | 18 | 53 | 0 | 33 | ![]() |
add(D,div(R,add(R,R))) | 131052 | 148312104 | o2(x,o2(x,o2(x,x))) | true | 76823 | 76823 | 0.5 | 1 | 0.5 | 0.01082 | 0.104 | 0.3546 | 0.6454 | 0.2908 | 1 | 2.561 | 0.001632 | 7.077e-18 | 0.0361 | 1 | 1 | -5.256e-11 | 0.0002563 | 0.01459 | 0.0003304 | 0.01818 | 0.5036 | 0.06192 | 0.1508 | 0.02368 | 1 | 1 | 0.003151 | 0.02183 | 1.514e-16 | 0.2912 | 2.017 | 1.399e-14 | json |
| t18_x53_u0_b34 | 18 | 53 | 0 | 34 | ![]() |
add(D,div(R,sub(R,R))) | 131053 | 148312105 | o2(x,o2(x,o2(x,x))) | true | 76831 | 76831 | -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_x53_u0_b35 | 18 | 53 | 0 | 35 | ![]() |
add(D,div(R,mlt(R,R))) | 131054 | 148312106 | o2(x,o2(x,o2(x,x))) | true | 76839 | 76839 | -0.06115 | 0.4688 | 0.8925 | 0.8515 | 0.9228 | -1 | 1 | 2 | 1 | 2.564 | 0.03114 | 0.03767 | 0.1114 | -0.09482 | 1 | 0.0000152 | 0.06776 | 0.08397 | 0.05641 | 0.2375 | 2.132 | 2.828 | 0.08081 | 0.07957 | 1 | 1 | 0.1068 | 0.7652 | 1.69 | 0.1255 | 0.8986 | 1.984 | json |
| t18_x53_u0_b36 | 18 | 53 | 0 | 36 | ![]() |
add(D,div(R,div(R,R))) | 131055 | 148312107 | o2(x,o2(x,o2(x,x))) | true | 76847 | 76847 | 0.009078 | 0.4986 | 0.4013 | 0.2304 | 0.48 | -1 | 1 | 2 | 1 | 4.899 | 0.004471 | 0.003165 | 0.07546 | 0.1709 | 1 | 0.00002869 | 0.0006263 | 0.01935 | 0.001942 | 0.04407 | 0.584 | 0.2845 | 0.03314 | 0.002718 | 1 | 1 | 0.01508 | 0.1746 | 0.3904 | 0.06546 | 0.7577 | 1.694 | json |
| t18_x53_u0_b37 | 18 | 53 | 0 | 37 | ![]() |
add(D,div(R,pow(R,R))) | 131056 | 148312108 | o2(x,o2(x,o2(x,x))) | true | 76855 | 76855 | -0.927 | 0.04297 | 0.9871 | 0.121 | 0.3479 | -1 | 1 | 2 | 1 | 0.4089 | 0.01231 | 0.01219 | 0.01569 | 0.004886 | 1 | 0.000004511 | 0.05117 | 0.02875 | 0.02425 | 0.1557 | 9.924 | 2.758 | 0.2024 | 0.4227 | 1 | 1 | 0.01954 | 0.0843 | 0.2054 | 0.1614 | 0.6965 | 1.697 | json |
| t18_x53_u0_b38 | 18 | 53 | 0 | 38 | ![]() |
add(D,div(R,mod(R,R))) | 131057 | 148312109 | o2(x,o2(x,o2(x,x))) | true | 76863 | 76863 | -0.9459 | 0.02734 | 0.9994 | 0.1043 | 0.323 | -1 | 1 | 2 | 1 | 0.2027 | 0.01204 | 0.007973 | 0.01017 | 0.2032 | 1 | -1.201e-10 | 0.04213 | 0.02028 | 0.01992 | 0.1411 | 13.88 | 2.828 | 0.1919 | 0.404 | 1 | 1 | 0.03512 | 0.14 | 0.318 | 0.3367 | 1.342 | 3.049 | json |
| t18_x53_u0_b39 | 18 | 53 | 0 | 39 | ![]() |
add(D,div(R,lrg(R,R))) | 131058 | 148312110 | o2(x,o2(x,o2(x,x))) | true | 76871 | 76871 | -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_x53_u0_b40 | 18 | 53 | 0 | 40 | ![]() |
add(D,div(R,eql(R,R))) | 131059 | 148312111 | o2(x,o2(x,o2(x,x))) | true | 76879 | 76879 | 0.009078 | 0.4986 | 0.4013 | 0.2304 | 0.48 | -1 | 1 | 2 | 1 | 4.899 | 0.004471 | 0.003165 | 0.07546 | 0.1709 | 1 | 0.00002869 | 0.0006263 | 0.01935 | 0.001942 | 0.04407 | 0.584 | 0.2845 | 0.03314 | 0.002718 | 1 | 1 | 0.01508 | 0.1746 | 0.3904 | 0.06546 | 0.7577 | 1.694 | json |
| t18_x53_u0_b41 | 18 | 53 | 0 | 41 | ![]() |
add(D,div(R,min(R,R))) | 131060 | 148312112 | o2(x,o2(x,o2(x,x))) | true | 76887 | 76887 | 0.9529 | 1 | 0.9529 | 0.003185 | 0.05644 | 0.8546 | 1 | 0.1454 | 1 | 1.329 | 0.0007155 | 2.814e-17 | 0.01812 | 1 | 1 | 0.0001582 | 0.0003006 | 0.01323 | 0.0003869 | 0.01967 | 1.085 | 0.05567 | 0.2246 | 0.09439 | 1 | 1 | 0.0013 | 0.005463 | 4.789e-16 | 0.4081 | 1.715 | 1.504e-13 | json |
| t18_x53_u0_b42 | 18 | 53 | 0 | 42 | ![]() |
add(D,div(R,dot(R,R))) | 131061 | 148312113 | o2(x,o2(x,o2(x,x))) | true | 76895 | 76895 | -0.01843 | 0.4837 | 0.4412 | 0.2747 | 0.5241 | -1 | 1 | 2 | 1 | 4.894 | 0.005456 | 0.003904 | 0.07802 | 0.1659 | 1 | -0.00004703 | 0.001356 | 0.02171 | 0.003273 | 0.05721 | 0.7333 | 0.7238 | 0.03408 | 0.004938 | 1 | 1 | 0.01687 | 0.1925 | 0.4709 | 0.06144 | 0.7009 | 1.715 | json |
| t18_x53_u0_b43 | 18 | 53 | 0 | 43 | ![]() |
add(D,div(R,dst(R,R))) | 131062 | 148312114 | o2(x,o2(x,o2(x,x))) | true | 76903 | 76903 | -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_x53_u0_b44 | 18 | 53 | 0 | 44 | ![]() |
add(D,pow(R,add(R,R))) | 131063 | 148312115 | o2(x,o2(x,o2(x,x))) | true | 76911 | 76911 | -0.9305 | 0.04297 | 0.9835 | 0.1084 | 0.3293 | -1 | 1 | 2 | 1 | 0.3917 | 0.01101 | 0.01075 | 0.01476 | 0.0122 | 1 | -0.000005255 | 0.0454 | 0.02729 | 0.02156 | 0.1468 | 9.949 | 2.475 | 0.2007 | 0.4187 | 1 | 1 | 0.0166 | 0.07212 | 0.1807 | 0.1531 | 0.6651 | 1.667 | json |
| t18_x53_u0_b45 | 18 | 53 | 0 | 45 | ![]() |
add(D,pow(R,sub(R,R))) | 131064 | 148312116 | o2(x,o2(x,o2(x,x))) | true | 76919 | 76919 | 0.9529 | 1 | 0.9529 | 0.003185 | 0.05644 | 0.8546 | 1 | 0.1454 | 1 | 1.329 | 0.0007155 | 0 | 0.01812 | 1 | 1 | 0.0001582 | 0.0003006 | 0.01323 | 0.0003869 | 0.01967 | 1.085 | 0.05567 | 0.2246 | 0.09439 | 1 | 1 | 0.0013 | 0.005463 | 2.693e-15 | 0.4081 | 1.715 | 8.454e-13 | json |
| t18_x53_u0_b46 | 18 | 53 | 0 | 46 | ![]() |
add(D,pow(R,mlt(R,R))) | 131065 | 148312117 | o2(x,o2(x,o2(x,x))) | true | 76927 | 76927 | -0.9192 | 0.04297 | 0.9948 | 0.1457 | 0.3817 | -1 | 1 | 2 | 1 | 0.3493 | 0.01505 | 0.0144 | 0.01669 | 0.0219 | 1 | 0.000002363 | 0.06161 | 0.03177 | 0.02917 | 0.1708 | 10.23 | 2.641 | 0.2021 | 0.4228 | 1 | 1 | 0.02224 | 0.09589 | 0.2434 | 0.1527 | 0.6581 | 1.671 | json |
| t18_x53_u0_b47 | 18 | 53 | 0 | 47 | ![]() |
add(D,pow(R,div(R,R))) | 131066 | 148312118 | o2(x,o2(x,o2(x,x))) | true | 76935 | 76935 | -0.9327 | 0.04285 | 0.9813 | 0.1028 | 0.3207 | -1 | 1 | 2 | 1 | 0.4183 | 0.01037 | 0.01039 | 0.01465 | -0.001197 | 1 | -7.243e-7 | 0.04327 | 0.02645 | 0.02056 | 0.1434 | 9.788 | 2.596 | 0.2019 | 0.4208 | 1 | 1 | 0.01647 | 0.07133 | 0.1735 | 0.1602 | 0.6937 | 1.687 | json |
| t18_x53_u0_b48 | 18 | 53 | 0 | 48 | ![]() |
add(D,pow(R,pow(R,R))) | 131067 | 148312119 | o2(x,o2(x,o2(x,x))) | true | 76943 | 76943 | -0.9296 | 0.04297 | 0.9845 | 0.1121 | 0.3348 | -1 | 1 | 2 | 1 | 0.4106 | 0.01135 | 0.01131 | 0.01514 | 0.002009 | 1 | -0.000001894 | 0.04728 | 0.02772 | 0.02244 | 0.1498 | 9.896 | 2.617 | 0.2021 | 0.4217 | 1 | 1 | 0.01791 | 0.07728 | 0.1895 | 0.1597 | 0.6893 | 1.69 | json |
| t18_x53_u0_b49 | 18 | 53 | 0 | 49 | ![]() |
add(D,pow(R,mod(R,R))) | 131068 | 148312120 | o2(x,o2(x,o2(x,x))) | true | 76951 | 76951 | 0.1876 | 0.6133 | 0.9611 | 0.893 | 0.945 | -1 | 1 | 2 | 1 | 1.997 | 0.06177 | 0.06194 | 0.07554 | -0.001392 | 1 | 0.0001024 | 0.2567 | 0.1347 | 0.118 | 0.3436 | 4.548 | 2.807 | 0.1385 | 0.2874 | 1 | 1 | 0.1152 | 0.4671 | 1.747 | 0.129 | 0.5231 | 1.956 | json |
| t18_x53_u0_b50 | 18 | 53 | 0 | 50 | ![]() |
add(D,pow(R,lrg(R,R))) | 131069 | 148312121 | o2(x,o2(x,o2(x,x))) | true | 76959 | 76959 | 0.9529 | 1 | 0.9529 | 0.003185 | 0.05644 | 0.8546 | 1 | 0.1454 | 1 | 1.329 | 0.0007155 | 0 | 0.01812 | 1 | 1 | 0.0001582 | 0.0003006 | 0.01323 | 0.0003869 | 0.01967 | 1.085 | 0.05567 | 0.2246 | 0.09439 | 1 | 1 | 0.0013 | 0.005463 | 0 | 0.4081 | 1.715 | 0 | json |
| t18_x53_u0_b51 | 18 | 53 | 0 | 51 | ![]() |
add(D,pow(R,eql(R,R))) | 131070 | 148312122 | o2(x,o2(x,o2(x,x))) | true | 76967 | 76967 | 0.009078 | 0.4986 | 0.4013 | 0.2304 | 0.48 | -1 | 1 | 2 | 1 | 4.899 | 0.004471 | 0.003165 | 0.07546 | 0.1709 | 1 | 0.00002869 | 0.0006263 | 0.01935 | 0.001942 | 0.04407 | 0.584 | 0.2845 | 0.03314 | 0.002718 | 1 | 1 | 0.01508 | 0.1746 | 0.3904 | 0.06546 | 0.7577 | 1.694 | json |
| t18_x53_u0_b52 | 18 | 53 | 0 | 52 | ![]() |
add(D,pow(R,min(R,R))) | 131071 | 148312123 | o2(x,o2(x,o2(x,x))) | true | 76975 | 76975 | -0.9235 | 0.04297 | 0.9906 | 0.1309 | 0.3618 | -1 | 1 | 2 | 1 | 0.3776 | 0.01336 | 0.01297 | 0.01602 | 0.01462 | 1 | -0.000003947 | 0.05498 | 0.03004 | 0.02606 | 0.1614 | 10.08 | 2.62 | 0.2011 | 0.42 | 1 | 1 | 0.0201 | 0.08695 | 0.2189 | 0.1536 | 0.6642 | 1.672 | json |
| t18_x53_u0_b53 | 18 | 53 | 0 | 53 | ![]() |
add(D,pow(R,dot(R,R))) | 131072 | 148312124 | o2(x,o2(x,o2(x,x))) | true | 76983 | 76983 | -0.9294 | 0.04297 | 0.9846 | 0.1123 | 0.335 | -1 | 1 | 2 | 1 | 0.4066 | 0.01117 | 0.01157 | 0.01525 | -0.01747 | 1 | -0.000002027 | 0.04746 | 0.02783 | 0.02252 | 0.1501 | 9.841 | 2.461 | 0.2026 | 0.4228 | 1 | 1 | 0.01731 | 0.07465 | 0.1845 | 0.1542 | 0.665 | 1.644 | json |
| t18_x53_u0_b54 | 18 | 53 | 0 | 54 | ![]() |
add(D,pow(R,dst(R,R))) | 131073 | 148312125 | o2(x,o2(x,o2(x,x))) | true | 76991 | 76991 | 0.9529 | 1 | 0.9529 | 0.003185 | 0.05644 | 0.8546 | 1 | 0.1454 | 1 | 1.329 | 0.0007155 | 0 | 0.01812 | 1 | 1 | 0.0001582 | 0.0003006 | 0.01323 | 0.0003869 | 0.01967 | 1.085 | 0.05567 | 0.2246 | 0.09439 | 1 | 1 | 0.0013 | 0.005463 | 2.693e-15 | 0.4081 | 1.715 | 8.454e-13 | json |
| t18_x53_u0_b55 | 18 | 53 | 0 | 55 | ![]() |
add(D,mod(R,add(R,R))) | 131074 | 148312126 | o2(x,o2(x,o2(x,x))) | true | 76999 | 76999 | 0.009078 | 0.4986 | 0.4013 | 0.2304 | 0.48 | -1 | 1 | 2 | 1 | 4.899 | 0.004471 | 0.003165 | 0.07546 | 0.1709 | 1 | 0.00002869 | 0.0006263 | 0.01935 | 0.001942 | 0.04407 | 0.584 | 0.2845 | 0.03314 | 0.002718 | 1 | 1 | 0.01508 | 0.1746 | 0.3904 | 0.06546 | 0.7577 | 1.694 | json |
| t18_x53_u0_b56 | 18 | 53 | 0 | 56 | ![]() |
add(D,mod(R,sub(R,R))) | 131075 | 148312127 | o2(x,o2(x,o2(x,x))) | true | 77007 | 77007 | 0.009078 | 0.4986 | 0.4013 | 0.2304 | 0.48 | -1 | 1 | 2 | 1 | 4.899 | 0.004471 | 0.003165 | 0.07546 | 0.1709 | 1 | 0.00002869 | 0.0006263 | 0.01935 | 0.001942 | 0.04407 | 0.584 | 0.2845 | 0.03314 | 0.002718 | 1 | 1 | 0.01508 | 0.1746 | 0.3904 | 0.06546 | 0.7577 | 1.694 | json |
| t18_x53_u0_b57 | 18 | 53 | 0 | 57 | ![]() |
add(D,mod(R,mlt(R,R))) | 131076 | 148312128 | o2(x,o2(x,o2(x,x))) | true | 77015 | 77015 | -0.0009745 | 0.4979 | 0.1169 | 0.02054 | 0.1433 | -0.3809 | 0.3893 | 0.7702 | 1 | 3.237 | 0.001782 | 0.0001518 | 0.03938 | 0.843 | 1 | 0.000005214 | 0.0002745 | 0.01465 | 0.0003826 | 0.01956 | 0.4967 | 0.1048 | 0.09411 | 0.01336 | 1 | 1 | 0.003784 | 0.02995 | 0.01867 | 0.1842 | 1.458 | 0.909 | json |
| t18_x53_u0_b58 | 18 | 53 | 0 | 58 | ![]() |
add(D,mod(R,div(R,R))) | 131077 | 148312129 | o2(x,o2(x,o2(x,x))) | true | 77023 | 77023 | 0.009078 | 0.4986 | 0.4013 | 0.2304 | 0.48 | -1 | 1 | 2 | 1 | 4.899 | 0.004471 | 0.003165 | 0.07546 | 0.1709 | 1 | 0.00002869 | 0.0006263 | 0.01935 | 0.001942 | 0.04407 | 0.584 | 0.2845 | 0.03314 | 0.002718 | 1 | 1 | 0.01508 | 0.1746 | 0.3904 | 0.06546 | 0.7577 | 1.694 | json |
| t18_x53_u0_b59 | 18 | 53 | 0 | 59 | ![]() |
add(D,mod(R,pow(R,R))) | 131078 | 148312130 | o2(x,o2(x,o2(x,x))) | true | 77031 | 77031 | -0.9327 | 0.04285 | 0.9813 | 0.1028 | 0.3207 | -1 | 1 | 2 | 1 | 0.4183 | 0.01037 | 0.01039 | 0.01465 | -0.001197 | 1 | -7.243e-7 | 0.04327 | 0.02645 | 0.02056 | 0.1434 | 9.788 | 2.596 | 0.2019 | 0.4208 | 1 | 1 | 0.01647 | 0.07133 | 0.1735 | 0.1602 | 0.6937 | 1.687 | json |
| t18_x53_u0_b60 | 18 | 53 | 0 | 60 | ![]() |
add(D,mod(R,mod(R,R))) | 131079 | 148312131 | o2(x,o2(x,o2(x,x))) | true | 77039 | 77039 | -0.9872 | 0.007629 | 0.9932 | 0.01637 | 0.1279 | -1 | 0.9714 | 1.971 | 1 | 0.1438 | 0.002284 | 0.001227 | 0.003404 | 0.3012 | 1 | -8.635e-11 | 0.007309 | 0.005416 | 0.003502 | 0.05918 | 17.39 | 2.231 | 0.2145 | 0.4466 | 1 | 1 | 0.006376 | 0.027 | 0.05707 | 0.3896 | 1.65 | 3.487 | json |
| t18_x53_u0_b61 | 18 | 53 | 0 | 61 | ![]() |
add(D,mod(R,lrg(R,R))) | 131080 | 148312132 | o2(x,o2(x,o2(x,x))) | true | 77047 | 77047 | -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_x53_u0_b62 | 18 | 53 | 0 | 62 | ![]() |
add(D,mod(R,eql(R,R))) | 131081 | 148312133 | o2(x,o2(x,o2(x,x))) | true | 77055 | 77055 | 0.009078 | 0.4986 | 0.4013 | 0.2304 | 0.48 | -1 | 1 | 2 | 1 | 4.899 | 0.004471 | 0.003165 | 0.07546 | 0.1709 | 1 | 0.00002869 | 0.0006263 | 0.01935 | 0.001942 | 0.04407 | 0.584 | 0.2845 | 0.03314 | 0.002718 | 1 | 1 | 0.01508 | 0.1746 | 0.3904 | 0.06546 | 0.7577 | 1.694 | json |
| t18_x53_u0_b63 | 18 | 53 | 0 | 63 | ![]() |
add(D,mod(R,min(R,R))) | 131082 | 148312134 | o2(x,o2(x,o2(x,x))) | true | 77063 | 77063 | -0.0162 | 0.481 | 0.1598 | 0.0507 | 0.2252 | -1 | 1 | 2 | 1 | 3.66 | 0.00223 | 0.000553 | 0.04522 | 0.6027 | 1 | -0.0000106 | 0.0003255 | 0.01525 | 0.0007393 | 0.02719 | 0.6013 | 0.2707 | 0.0549 | 0.006419 | 1 | 1 | 0.006034 | 0.05922 | 0.09785 | 0.119 | 1.168 | 1.93 | json |
| t18_x53_u0_b64 | 18 | 53 | 0 | 64 | ![]() |
add(D,mod(R,dot(R,R))) | 131083 | 148312135 | o2(x,o2(x,o2(x,x))) | true | 77071 | 77071 | 0.01252 | 0.5036 | 0.3832 | 0.2178 | 0.4666 | -1 | 1 | 2 | 1 | 4.872 | 0.004273 | 0.002944 | 0.07351 | 0.1842 | 1 | 0.00004219 | 0.0006007 | 0.01902 | 0.001813 | 0.04258 | 0.5793 | 0.2845 | 0.03314 | 0.002759 | 1 | 1 | 0.01417 | 0.1631 | 0.3756 | 0.06507 | 0.749 | 1.725 | json |
| t18_x53_u0_b65 | 18 | 53 | 0 | 65 | ![]() |
add(D,mod(R,dst(R,R))) | 131084 | 148312136 | o2(x,o2(x,o2(x,x))) | true | 77079 | 77079 | 0.009078 | 0.4986 | 0.4013 | 0.2304 | 0.48 | -1 | 1 | 2 | 1 | 4.899 | 0.004471 | 0.003165 | 0.07546 | 0.1709 | 1 | 0.00002869 | 0.0006263 | 0.01935 | 0.001942 | 0.04407 | 0.584 | 0.2845 | 0.03314 | 0.002718 | 1 | 1 | 0.01508 | 0.1746 | 0.3904 | 0.06546 | 0.7577 | 1.694 | json |
| t18_x53_u0_b66 | 18 | 53 | 0 | 66 | ![]() |
add(D,lrg(R,add(R,R))) | 131085 | 148312137 | o2(x,o2(x,o2(x,x))) | true | 77087 | 77087 | 0.5062 | 0.8656 | 0.5258 | 0.1517 | 0.3895 | -0.1454 | 1 | 1.145 | 1 | 3.999 | 0.003288 | 0.002384 | 0.06236 | 0.1595 | 1 | 0.00002588 | 0.0006581 | 0.01749 | 0.001784 | 0.04224 | 0.6773 | 0.1713 | 0.03738 | 0.004338 | 1 | 1 | 0.01096 | 0.1227 | 0.2673 | 0.07224 | 0.8088 | 1.762 | json |
| t18_x53_u0_b67 | 18 | 53 | 0 | 67 | ![]() |
add(D,lrg(R,sub(R,R))) | 131086 | 148312138 | o2(x,o2(x,o2(x,x))) | true | 77095 | 77095 | 0.4724 | 0.846 | 0.4956 | 0.1536 | 0.3919 | -0.1454 | 1 | 1.145 | 1 | 4.04 | 0.003373 | 0.002386 | 0.06328 | 0.1715 | 1 | 0.00003424 | 0.0006621 | 0.01757 | 0.001756 | 0.0419 | 0.6622 | 0.1713 | 0.0375 | 0.004311 | 1 | 1 | 0.01136 | 0.1266 | 0.2692 | 0.07399 | 0.8245 | 1.753 | json |
| t18_x53_u0_b68 | 18 | 53 | 0 | 68 | ![]() |
add(D,lrg(R,mlt(R,R))) | 131087 | 148312139 | o2(x,o2(x,o2(x,x))) | true | 77103 | 77103 | 0.4724 | 0.846 | 0.4956 | 0.1536 | 0.3919 | -0.1454 | 1 | 1.145 | 1 | 4.04 | 0.003373 | 0.002386 | 0.06328 | 0.1715 | 1 | 0.00003424 | 0.0006621 | 0.01757 | 0.001756 | 0.0419 | 0.6622 | 0.1713 | 0.0375 | 0.004311 | 1 | 1 | 0.01136 | 0.1266 | 0.2692 | 0.07399 | 0.8245 | 1.753 | json |
| t18_x53_u0_b69 | 18 | 53 | 0 | 69 | ![]() |
add(D,lrg(R,div(R,R))) | 131088 | 148312140 | o2(x,o2(x,o2(x,x))) | true | 77111 | 77111 | 0 | 0.5 | 0.09436 | 0.01082 | 0.104 | -0.1454 | 0.1454 | 0.2908 | 1 | 2.561 | 0.001632 | 0 | 0.0361 | 1 | 1 | 0 | 0.0002563 | 0.01459 | 0.0003304 | 0.01818 | 0.5036 | 0.06192 | 0.1508 | 0.02368 | 1 | 1 | 0.003151 | 0.02183 | 0 | 0.2912 | 2.017 | 0 | json |
| t18_x53_u0_b70 | 18 | 53 | 0 | 70 | ![]() |
add(D,lrg(R,pow(R,R))) | 131089 | 148312141 | o2(x,o2(x,o2(x,x))) | true | 77119 | 77119 | 0.5062 | 0.8656 | 0.5258 | 0.1517 | 0.3895 | -0.1454 | 1 | 1.145 | 1 | 3.999 | 0.003288 | 0.002384 | 0.06236 | 0.1595 | 1 | 0.00002588 | 0.0006581 | 0.01749 | 0.001784 | 0.04224 | 0.6773 | 0.1713 | 0.03738 | 0.004338 | 1 | 1 | 0.01096 | 0.1227 | 0.2673 | 0.07224 | 0.8088 | 1.762 | json |
| t18_x53_u0_b71 | 18 | 53 | 0 | 71 | ![]() |
add(D,lrg(R,mod(R,R))) | 131090 | 148312142 | o2(x,o2(x,o2(x,x))) | true | 77127 | 77127 | 0.3778 | 0.79 | 0.4116 | 0.1513 | 0.3889 | -0.1454 | 1 | 1.145 | 1 | 4.063 | 0.003279 | 0.002211 | 0.06212 | 0.1945 | 1 | 0.00006833 | 0.0006195 | 0.01744 | 0.001631 | 0.04038 | 0.65 | 0.1713 | 0.03629 | 0.004096 | 1 | 1 | 0.01053 | 0.1164 | 0.2588 | 0.06963 | 0.7695 | 1.711 | json |
| t18_x53_u0_b72 | 18 | 53 | 0 | 72 | ![]() |
add(D,lrg(R,lrg(R,R))) | 131091 | 148312143 | o2(x,o2(x,o2(x,x))) | true | 77135 | 77135 | 0.4724 | 0.846 | 0.4956 | 0.1536 | 0.3919 | -0.1454 | 1 | 1.145 | 1 | 4.04 | 0.003373 | 0.002386 | 0.06328 | 0.1715 | 1 | 0.00003424 | 0.0006621 | 0.01757 | 0.001756 | 0.0419 | 0.6622 | 0.1713 | 0.0375 | 0.004311 | 1 | 1 | 0.01136 | 0.1266 | 0.2692 | 0.07399 | 0.8245 | 1.753 | json |
| t18_x53_u0_b73 | 18 | 53 | 0 | 73 | ![]() |
add(D,lrg(R,eql(R,R))) | 131092 | 148312144 | o2(x,o2(x,o2(x,x))) | true | 77143 | 77143 | 0 | 0.5 | 0.09436 | 0.01082 | 0.104 | -0.1454 | 0.1454 | 0.2908 | 1 | 2.561 | 0.001632 | 0 | 0.0361 | 1 | 1 | 0 | 0.0002563 | 0.01459 | 0.0003304 | 0.01818 | 0.5036 | 0.06192 | 0.1508 | 0.02368 | 1 | 1 | 0.003151 | 0.02183 | 0 | 0.2912 | 2.017 | 0 | json |
| t18_x53_u0_b74 | 18 | 53 | 0 | 74 | ![]() |
add(D,lrg(R,min(R,R))) | 131093 | 148312145 | o2(x,o2(x,o2(x,x))) | true | 77151 | 77151 | 0 | 0.5 | 0.09436 | 0.01082 | 0.104 | -0.1454 | 0.1454 | 0.2908 | 1 | 2.561 | 0.001632 | 0 | 0.0361 | 1 | 1 | 0 | 0.0002563 | 0.01459 | 0.0003304 | 0.01818 | 0.5036 | 0.06192 | 0.1508 | 0.02368 | 1 | 1 | 0.003151 | 0.02183 | 0 | 0.2912 | 2.017 | 0 | json |
| t18_x53_u0_b75 | 18 | 53 | 0 | 75 | ![]() |
add(D,lrg(R,dot(R,R))) | 131094 | 148312146 | o2(x,o2(x,o2(x,x))) | true | 77159 | 77159 | 0.04465 | 0.543 | 0.1293 | 0.03622 | 0.1903 | -0.1454 | 1 | 1.145 | 1 | 3.047 | 0.002023 | 0.0003889 | 0.04163 | 0.6776 | 1 | -0.00002904 | 0.0003184 | 0.0152 | 0.0006804 | 0.02608 | 0.6266 | 0.1713 | 0.06661 | 0.008793 | 1 | 1 | 0.003847 | 0.03069 | 0.02772 | 0.1062 | 0.8475 | 0.7654 | json |
| t18_x53_u0_b76 | 18 | 53 | 0 | 76 | ![]() |
add(D,lrg(R,dst(R,R))) | 131095 | 148312147 | o2(x,o2(x,o2(x,x))) | true | 77167 | 77167 | 0.4724 | 0.846 | 0.4956 | 0.1536 | 0.3919 | -0.1454 | 1 | 1.145 | 1 | 4.04 | 0.003373 | 0.002386 | 0.06328 | 0.1715 | 1 | 0.00003424 | 0.0006621 | 0.01757 | 0.001756 | 0.0419 | 0.6622 | 0.1713 | 0.0375 | 0.004311 | 1 | 1 | 0.01136 | 0.1266 | 0.2692 | 0.07399 | 0.8245 | 1.753 | json |
| t18_x53_u0_b77 | 18 | 53 | 0 | 77 | ![]() |
add(D,eql(R,add(R,R))) | 131096 | 148312148 | o2(x,o2(x,o2(x,x))) | true | 77175 | 77175 | 0 | 0.5 | 0.09436 | 0.01082 | 0.104 | -0.1454 | 0.1454 | 0.2908 | 1 | 2.561 | 0.001632 | 0 | 0.0361 | 1 | 1 | 0 | 0.0002563 | 0.01459 | 0.0003304 | 0.01818 | 0.5036 | 0.06192 | 0.1508 | 0.02368 | 1 | 1 | 0.003151 | 0.02183 | 0 | 0.2912 | 2.017 | 0 | json |
| t18_x53_u0_b78 | 18 | 53 | 0 | 78 | ![]() |
add(D,eql(R,sub(R,R))) | 131097 | 148312149 | o2(x,o2(x,o2(x,x))) | true | 77183 | 77183 | 0 | 0.5 | 0.09436 | 0.01082 | 0.104 | -0.1454 | 0.1454 | 0.2908 | 1 | 2.561 | 0.001632 | 0 | 0.0361 | 1 | 1 | 0 | 0.0002563 | 0.01459 | 0.0003304 | 0.01818 | 0.5036 | 0.06192 | 0.1508 | 0.02368 | 1 | 1 | 0.003151 | 0.02183 | 0 | 0.2912 | 2.017 | 0 | json |
| t18_x53_u0_b79 | 18 | 53 | 0 | 79 | ![]() |
add(D,eql(R,mlt(R,R))) | 131098 | 148312150 | o2(x,o2(x,o2(x,x))) | true | 77191 | 77191 | 0 | 0.5 | 0.09436 | 0.01082 | 0.104 | -0.1454 | 0.1454 | 0.2908 | 1 | 2.561 | 0.001632 | 0 | 0.0361 | 1 | 1 | 0 | 0.0002563 | 0.01459 | 0.0003304 | 0.01818 | 0.5036 | 0.06192 | 0.1508 | 0.02368 | 1 | 1 | 0.003151 | 0.02183 | 0 | 0.2912 | 2.017 | 0 | json |
| t18_x53_u0_b80 | 18 | 53 | 0 | 80 | ![]() |
add(D,eql(R,div(R,R))) | 131099 | 148312151 | o2(x,o2(x,o2(x,x))) | true | 77199 | 77199 | 0 | 0.5 | 0.09436 | 0.01082 | 0.104 | -0.1454 | 0.1454 | 0.2908 | 1 | 2.561 | 0.001632 | 0 | 0.0361 | 1 | 1 | 0 | 0.0002563 | 0.01459 | 0.0003304 | 0.01818 | 0.5036 | 0.06192 | 0.1508 | 0.02368 | 1 | 1 | 0.003151 | 0.02183 | 0 | 0.2912 | 2.017 | 0 | json |



































































































