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_x49_u0_b185 | 18 | 49 | 0 | 185 | ![]() |
sub(D,mod(R,dot(D,D))) | 130400 | 148150652 | o2(x,o2(x,o2(x,x))) | true | 71607 | 71607 | 0.003414 | 0.507 | 0.1135 | 0.01856 | 0.1362 | -0.4567 | 0.4444 | 0.901 | 1 | 3.166 | 0.004942 | 0.003331 | 0.07749 | 0.1948 | 1 | -0.000002224 | 0.03036 | 0.1265 | 0.002268 | 0.04763 | 0.6146 | 0.4163 | 0.4457 | 1.636 | 1 | 1 | 0.007487 | 0.0305 | 0.01513 | 0.4033 | 1.643 | 0.8153 | json |
| t18_x49_u0_b186 | 18 | 49 | 0 | 186 | ![]() |
sub(D,mod(R,dst(D,D))) | 130401 | 148150653 | o2(x,o2(x,o2(x,x))) | true | 71615 | 71615 | -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_x49_u0_b187 | 18 | 49 | 0 | 187 | ![]() |
sub(D,lrg(R,add(D,D))) | 130402 | 148150654 | o2(x,o2(x,o2(x,x))) | true | 71623 | 71623 | -0.494 | 0.1593 | 0.5107 | 0.1511 | 0.3887 | -1 | 0.09672 | 1.097 | 1 | 3.82 | 0.04032 | 0.001599 | 0.1263 | 0.9237 | 1 | 0.0006032 | 0.07022 | 0.1214 | 0.02598 | 0.1612 | 1.276 | 1.049 | 0.2775 | 0.4648 | 1 | 1 | 0.04795 | 0.2184 | 0.2027 | 0.3175 | 1.446 | 1.342 | json |
| t18_x49_u0_b188 | 18 | 49 | 0 | 188 | ![]() |
sub(D,lrg(R,sub(D,D))) | 130403 | 148150655 | o2(x,o2(x,o2(x,x))) | true | 71631 | 71631 | -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_x49_u0_b189 | 18 | 49 | 0 | 189 | ![]() |
sub(D,lrg(R,mlt(D,D))) | 130404 | 148150656 | o2(x,o2(x,o2(x,x))) | true | 71639 | 71639 | -0.428 | 0.1757 | 0.457 | 0.154 | 0.3925 | -1 | 0.1454 | 1.145 | 1 | 4.07 | 0.01002 | 0.002251 | 0.07384 | 0.6332 | 1 | -0.00006149 | 0.01448 | 0.04355 | 0.006821 | 0.08259 | 1.118 | 1.055 | 0.07967 | 0.09403 | 1 | 1 | 0.01608 | 0.1333 | 0.2754 | 0.1044 | 0.8652 | 1.788 | json |
| t18_x49_u0_b190 | 18 | 49 | 0 | 190 | ![]() |
sub(D,lrg(R,div(D,D))) | 130405 | 148150657 | o2(x,o2(x,o2(x,x))) | true | 71647 | 71647 | 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_x49_u0_b191 | 18 | 49 | 0 | 191 | ![]() |
sub(D,lrg(R,pow(D,D))) | 130406 | 148150658 | o2(x,o2(x,o2(x,x))) | true | 71655 | 71655 | -0.5553 | 0.2455 | 0.5826 | 0.1917 | 0.4379 | -1 | 0.09672 | 1.097 | 1 | 3.184 | 0.07208 | 0.0005761 | 0.1321 | 0.9841 | 1 | -0.00009238 | 0.1312 | 0.1514 | 0.05518 | 0.2349 | 1.778 | 1.031 | 0.379 | 0.6845 | 1 | 1 | 0.08143 | 0.329 | 0.07881 | 0.4247 | 1.716 | 0.4111 | json |
| t18_x49_u0_b192 | 18 | 49 | 0 | 192 | ![]() |
sub(D,lrg(R,mod(D,D))) | 130407 | 148150659 | o2(x,o2(x,o2(x,x))) | true | 71663 | 71663 | -0.4769 | 0.1712 | 0.5026 | 0.1603 | 0.4004 | -1 | 0.1454 | 1.145 | 1 | 3.997 | 0.04484 | 0.00225 | 0.1212 | 0.9044 | 1 | 0.00007723 | 0.1128 | 0.1437 | 0.03238 | 0.18 | 1.484 | 1.055 | 0.2937 | 0.7033 | 1 | 1 | 0.0369 | 0.1515 | 0.2626 | 0.2302 | 0.9451 | 1.638 | json |
| t18_x49_u0_b193 | 18 | 49 | 0 | 193 | ![]() |
sub(D,lrg(R,lrg(D,D))) | 130408 | 148150660 | o2(x,o2(x,o2(x,x))) | true | 71671 | 71671 | -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_x49_u0_b194 | 18 | 49 | 0 | 194 | ![]() |
sub(D,lrg(R,eql(D,D))) | 130409 | 148150661 | o2(x,o2(x,o2(x,x))) | true | 71679 | 71679 | 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_x49_u0_b195 | 18 | 49 | 0 | 195 | ![]() |
sub(D,lrg(R,min(D,D))) | 130410 | 148150662 | o2(x,o2(x,o2(x,x))) | true | 71687 | 71687 | -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_x49_u0_b196 | 18 | 49 | 0 | 196 | ![]() |
sub(D,lrg(R,dot(D,D))) | 130411 | 148150663 | o2(x,o2(x,o2(x,x))) | true | 71695 | 71695 | -0.3806 | 0.2142 | 0.4184 | 0.1553 | 0.3941 | -1 | 0.1454 | 1.145 | 1 | 4.057 | 0.01031 | 0.00904 | 0.08262 | 0.06575 | 1 | -0.0002702 | 0.04496 | 0.07319 | 0.01253 | 0.1119 | 1.355 | 1.453 | 0.1246 | 0.2894 | 1 | 1 | 0.02217 | 0.1511 | 0.273 | 0.1427 | 0.9726 | 1.758 | json |
| t18_x49_u0_b197 | 18 | 49 | 0 | 197 | ![]() |
sub(D,lrg(R,dst(D,D))) | 130412 | 148150664 | o2(x,o2(x,o2(x,x))) | true | 71703 | 71703 | -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_x49_u0_b198 | 18 | 49 | 0 | 198 | ![]() |
sub(D,eql(R,add(D,D))) | 130413 | 148150665 | o2(x,o2(x,o2(x,x))) | true | 71711 | 71711 | 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_x49_u0_b199 | 18 | 49 | 0 | 199 | ![]() |
sub(D,eql(R,sub(D,D))) | 130414 | 148150666 | o2(x,o2(x,o2(x,x))) | true | 71719 | 71719 | 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_x49_u0_b200 | 18 | 49 | 0 | 200 | ![]() |
sub(D,eql(R,mlt(D,D))) | 130415 | 148150667 | o2(x,o2(x,o2(x,x))) | true | 71727 | 71727 | 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_x50_u0_b0 | 18 | 50 | 0 | 0 | ![]() |
add(D,add(R,add(D,R))) | 130416 | 148190868 | o2(x,o2(x,o2(x,x))) | true | 71735 | 71735 | 0.01364 | 0.4986 | 0.6596 | 0.5488 | 0.7408 | -1 | 1 | 2 | 1 | 4.376 | 0.01265 | 0.00955 | 0.1069 | 0.1397 | 1 | 0.00002705 | 0.00462 | 0.0369 | 0.01077 | 0.1038 | 0.971 | 0.5689 | 0.04046 | 0.008419 | 1 | 1 | 0.04317 | 0.4419 | 0.951 | 0.07867 | 0.8054 | 1.733 | json |
| t18_x50_u0_b1 | 18 | 50 | 0 | 1 | ![]() |
add(D,add(R,sub(D,R))) | 130417 | 148190869 | o2(x,o2(x,o2(x,x))) | true | 71743 | 71743 | 0 | 0.5 | 0.1887 | 0.04329 | 0.2081 | -0.2908 | 0.2908 | 0.5817 | 1 | 2.906 | 0.00653 | 0 | 0.07219 | 1 | 1 | 0 | 0.001025 | 0.02918 | 0.001321 | 0.03635 | 0.5036 | 0.1238 | 0.1508 | 0.02368 | 1 | 1 | 0.0126 | 0.08733 | 2.094e-14 | 0.2912 | 2.017 | 4.838e-13 | json |
| t18_x50_u0_b2 | 18 | 50 | 0 | 2 | ![]() |
add(D,add(R,mlt(D,R))) | 130418 | 148190870 | o2(x,o2(x,o2(x,x))) | true | 71751 | 71751 | 0.008501 | 0.485 | 0.4094 | 0.2418 | 0.4918 | -0.9989 | 1 | 1.999 | 1 | 4.895 | 0.005179 | 0.003351 | 0.07752 | 0.2144 | 1 | 0.00001081 | 0.0007931 | 0.02097 | 0.002521 | 0.05021 | 0.6477 | 0.3011 | 0.03527 | 0.00328 | 1 | 1 | 0.0168 | 0.1932 | 0.4145 | 0.06947 | 0.7989 | 1.714 | json |
| t18_x50_u0_b3 | 18 | 50 | 0 | 3 | ![]() |
add(D,add(R,div(D,R))) | 130419 | 148190871 | o2(x,o2(x,o2(x,x))) | true | 71759 | 71759 | -0.001998 | 0.4888 | 0.6606 | 0.5433 | 0.7371 | -1 | 1 | 2 | 1 | 4.493 | 0.03618 | 0.01259 | 0.1356 | 0.4836 | 1 | 0.00005242 | 0.04008 | 0.07155 | 0.03038 | 0.1743 | 1.285 | 2.005 | 0.08976 | 0.07377 | 1 | 1 | 0.07239 | 0.6012 | 1.018 | 0.1332 | 1.106 | 1.873 | json |
| t18_x50_u0_b4 | 18 | 50 | 0 | 4 | ![]() |
add(D,add(R,pow(D,R))) | 130420 | 148190872 | o2(x,o2(x,o2(x,x))) | true | 71767 | 71767 | -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_x50_u0_b5 | 18 | 50 | 0 | 5 | ![]() |
add(D,add(R,mod(D,R))) | 130421 | 148190873 | o2(x,o2(x,o2(x,x))) | true | 71775 | 71775 | 0.008873 | 0.5055 | 0.4154 | 0.263 | 0.5128 | -1 | 1 | 2 | 1 | 4.898 | 0.01215 | 0.003232 | 0.1039 | 0.5797 | 1 | 0.00004253 | 0.008214 | 0.05921 | 0.004595 | 0.06779 | 0.6527 | 0.6644 | 0.05848 | 0.03123 | 1 | 1 | 0.02756 | 0.2479 | 0.3969 | 0.1048 | 0.9427 | 1.509 | json |
| t18_x50_u0_b6 | 18 | 50 | 0 | 6 | ![]() |
add(D,add(R,lrg(D,R))) | 130422 | 148190874 | o2(x,o2(x,o2(x,x))) | true | 71783 | 71783 | 0.5061 | 0.9518 | 0.515 | 0.08227 | 0.2868 | -0.3766 | 1 | 1.377 | 1 | 4.125 | 0.01973 | 0.0009068 | 0.08625 | 0.9121 | 1 | 0.00001263 | 0.03379 | 0.07389 | 0.0132 | 0.1149 | 1.332 | 1.05 | 0.2509 | 0.4107 | 1 | 1 | 0.0231 | 0.1052 | 0.111 | 0.2808 | 1.279 | 1.349 | json |
| t18_x50_u0_b7 | 18 | 50 | 0 | 7 | ![]() |
add(D,add(R,eql(D,R))) | 130423 | 148190875 | o2(x,o2(x,o2(x,x))) | true | 71791 | 71791 | 0.009118 | 0.4987 | 0.4013 | 0.2304 | 0.48 | -1 | 1 | 2 | 1 | 4.899 | 0.004486 | 0.003165 | 0.0755 | 0.1727 | 1 | 0.00002881 | 0.0006704 | 0.01946 | 0.001951 | 0.04417 | 0.585 | 0.4052 | 0.0332 | 0.00291 | 1 | 1 | 0.01508 | 0.1746 | 0.3903 | 0.06546 | 0.7577 | 1.694 | json |
| t18_x50_u0_b8 | 18 | 50 | 0 | 8 | ![]() |
add(D,add(R,min(D,R))) | 130424 | 148190876 | o2(x,o2(x,o2(x,x))) | true | 71799 | 71799 | -0.2025 | 0.3866 | 0.5593 | 0.3792 | 0.6158 | -1 | 1 | 2 | 1 | 4.69 | 0.009068 | 0.005904 | 0.09654 | 0.2113 | 1 | 0.0001203 | 0.002183 | 0.02978 | 0.005651 | 0.07517 | 0.7787 | 0.4284 | 0.03948 | 0.005758 | 1 | 1 | 0.02903 | 0.3112 | 0.6359 | 0.07655 | 0.8206 | 1.677 | json |
| t18_x50_u0_b9 | 18 | 50 | 0 | 9 | ![]() |
add(D,add(R,dot(D,R))) | 130425 | 148190877 | o2(x,o2(x,o2(x,x))) | true | 71807 | 71807 | 0.01017 | 0.4881 | 0.4203 | 0.2551 | 0.505 | -1 | 1 | 2 | 1 | 4.915 | 0.005371 | 0.004111 | 0.08291 | 0.1329 | 1 | -0.00007452 | 0.000942 | 0.02246 | 0.002607 | 0.05106 | 0.6158 | 0.3573 | 0.03717 | 0.003693 | 1 | 1 | 0.01844 | 0.2118 | 0.4359 | 0.07231 | 0.8304 | 1.709 | json |
| t18_x50_u0_b10 | 18 | 50 | 0 | 10 | ![]() |
add(D,add(R,dst(D,R))) | 130426 | 148190878 | o2(x,o2(x,o2(x,x))) | true | 71815 | 71815 | 0.8034 | 0.9891 | 0.805 | 0.07533 | 0.2745 | -0.2303 | 1 | 1.23 | 1 | 2.723 | 0.003353 | 0.002001 | 0.04658 | 0.2525 | 1 | -0.00008934 | 0.001497 | 0.02033 | 0.003183 | 0.05642 | 1.211 | 0.3078 | 0.07107 | 0.01987 | 1 | 1 | 0.01016 | 0.08696 | 0.1267 | 0.1348 | 1.154 | 1.681 | json |
| t18_x50_u0_b11 | 18 | 50 | 0 | 11 | ![]() |
add(D,sub(R,add(D,R))) | 130427 | 148190879 | o2(x,o2(x,o2(x,x))) | true | 71823 | 71823 | 3.067e-10 | 0 | 1.613e-9 | 4.834e-17 | 6.953e-9 | -5.957e-8 | 5.957e-8 | 1.191e-7 | 1 | 0.06517 | 1.325e-17 | 7.365e-19 | 7.428e-10 | 0.00001252 | 0 | -2.975e-15 | 2.653e-17 | 7.949e-10 | 1.343e-17 | 3.665e-9 | 4.934 | 5.957e-8 | 0.00001399 | 0.00002653 | 0 | 1 | 1.387e-17 | 5.646e-17 | 8.845e-17 | 0.00001387 | 0.00005646 | 0.00008845 | json |
| t18_x50_u0_b12 | 18 | 50 | 0 | 12 | ![]() |
add(D,sub(R,sub(D,R))) | 130428 | 148190880 | o2(x,o2(x,o2(x,x))) | true | 71831 | 71831 | 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_x50_u0_b13 | 18 | 50 | 0 | 13 | ![]() |
add(D,sub(R,mlt(D,R))) | 130429 | 148190881 | o2(x,o2(x,o2(x,x))) | true | 71839 | 71839 | 0.009762 | 0.5123 | 0.4114 | 0.2415 | 0.4914 | -1 | 0.981 | 1.981 | 1 | 4.891 | 0.00514 | 0.003371 | 0.07816 | 0.2078 | 1 | 0.00004661 | 0.0007868 | 0.02109 | 0.002402 | 0.04901 | 0.627 | 0.3026 | 0.03524 | 0.003258 | 1 | 1 | 0.01682 | 0.193 | 0.4128 | 0.06965 | 0.7991 | 1.709 | json |
| t18_x50_u0_b14 | 18 | 50 | 0 | 14 | ![]() |
add(D,sub(R,div(D,R))) | 130430 | 148190882 | o2(x,o2(x,o2(x,x))) | true | 71847 | 71847 | 0.01949 | 0.5321 | 0.6615 | 0.5415 | 0.7359 | -1 | 1 | 2 | 1 | 4.501 | 0.03584 | 0.01267 | 0.137 | 0.4777 | 1 | 0.0001397 | 0.03849 | 0.07148 | 0.02972 | 0.1724 | 1.258 | 2.087 | 0.08957 | 0.07107 | 1 | 1 | 0.07541 | 0.6196 | 1.012 | 0.1393 | 1.144 | 1.869 | json |
| t18_x50_u0_b15 | 18 | 50 | 0 | 15 | ![]() |
add(D,sub(R,pow(D,R))) | 130431 | 148190883 | o2(x,o2(x,o2(x,x))) | true | 71855 | 71855 | -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_x50_u0_b16 | 18 | 50 | 0 | 16 | ![]() |
add(D,sub(R,mod(D,R))) | 130432 | 148190884 | o2(x,o2(x,o2(x,x))) | true | 71863 | 71863 | 0.009289 | 0.4977 | 0.3984 | 0.2246 | 0.474 | -1 | 1 | 2 | 1 | 4.874 | 0.0058 | 0.003262 | 0.07696 | 0.28 | 1 | 0.00002235 | 0.007045 | 0.05183 | 0.003139 | 0.05603 | 0.728 | 0.4002 | 0.04034 | 0.03136 | 1 | 1 | 0.01469 | 0.1613 | 0.4003 | 0.06538 | 0.7181 | 1.782 | json |
| t18_x50_u0_b17 | 18 | 50 | 0 | 17 | ![]() |
add(D,sub(R,lrg(D,R))) | 130433 | 148190885 | o2(x,o2(x,o2(x,x))) | true | 71871 | 71871 | -0.3483 | 0.3315 | 0.6509 | 0.4135 | 0.6431 | -1 | 1 | 2 | 1 | 4.155 | 0.0204 | 0.007416 | 0.1044 | 0.4667 | 1 | 0.0001276 | 0.03083 | 0.06921 | 0.01691 | 0.13 | 1.245 | 1.14 | 0.06725 | 0.07455 | 1 | 1 | 0.04025 | 0.3476 | 0.7761 | 0.09733 | 0.8406 | 1.877 | json |
| t18_x50_u0_b18 | 18 | 50 | 0 | 18 | ![]() |
add(D,sub(R,eql(D,R))) | 130434 | 148190886 | o2(x,o2(x,o2(x,x))) | true | 71879 | 71879 | 0.009038 | 0.4986 | 0.4013 | 0.2304 | 0.48 | -1 | 1 | 2 | 1 | 4.899 | 0.004484 | 0.003166 | 0.0755 | 0.1723 | 1 | 0.00002857 | 0.0006703 | 0.01947 | 0.00195 | 0.04416 | 0.585 | 0.3915 | 0.0332 | 0.002909 | 1 | 1 | 0.01508 | 0.1746 | 0.3904 | 0.06546 | 0.7577 | 1.694 | json |
| t18_x50_u0_b19 | 18 | 50 | 0 | 19 | ![]() |
add(D,sub(R,min(D,R))) | 130435 | 148190887 | o2(x,o2(x,o2(x,x))) | true | 71887 | 71887 | 0.2892 | 0.8267 | 0.3173 | 0.07861 | 0.2804 | -0.1454 | 0.9811 | 1.127 | 1 | 4.075 | 0.002012 | 0.001105 | 0.04856 | 0.2911 | 1 | 0.000005686 | 0.0003091 | 0.01397 | 0.0007593 | 0.02755 | 0.5674 | 0.1649 | 0.03965 | 0.003931 | 1 | 1 | 0.006231 | 0.07031 | 0.1475 | 0.07926 | 0.8944 | 1.876 | json |
| t18_x50_u0_b20 | 18 | 50 | 0 | 20 | ![]() |
add(D,sub(R,dot(D,R))) | 130436 | 148190888 | o2(x,o2(x,o2(x,x))) | true | 71895 | 71895 | 0.007622 | 0.511 | 0.4213 | 0.2536 | 0.5036 | -1 | 1 | 2 | 1 | 4.922 | 0.005294 | 0.004174 | 0.08374 | 0.1184 | 1 | 0.0001342 | 0.0009206 | 0.02249 | 0.002456 | 0.04955 | 0.5918 | 0.317 | 0.03733 | 0.00363 | 1 | 1 | 0.01877 | 0.2139 | 0.4466 | 0.074 | 0.8433 | 1.761 | json |
| t18_x50_u0_b21 | 18 | 50 | 0 | 21 | ![]() |
add(D,sub(R,dst(D,R))) | 130437 | 148190889 | o2(x,o2(x,o2(x,x))) | true | 71903 | 71903 | -0.8034 | 0.0119 | 0.8051 | 0.07596 | 0.2756 | -1 | 0.2241 | 1.224 | 1 | 2.739 | 0.003273 | 0.001911 | 0.04605 | 0.2629 | 1 | 0.00007091 | 0.001364 | 0.01947 | 0.003064 | 0.05535 | 1.202 | 0.3348 | 0.06824 | 0.01795 | 1 | 1 | 0.009534 | 0.08338 | 0.118 | 0.1255 | 1.098 | 1.553 | json |
| t18_x50_u0_b22 | 18 | 50 | 0 | 22 | ![]() |
add(D,mlt(R,add(D,R))) | 130438 | 148190890 | o2(x,o2(x,o2(x,x))) | true | 71911 | 71911 | 0.3482 | 0.9087 | 0.3591 | 0.07922 | 0.2815 | -0.1759 | 1 | 1.176 | 1 | 4.063 | 0.003084 | 0.0009962 | 0.05388 | 0.5117 | 1 | -0.00003443 | 0.0005078 | 0.01727 | 0.001177 | 0.03431 | 0.6369 | 0.1968 | 0.0515 | 0.00641 | 1 | 1 | 0.00757 | 0.07487 | 0.1272 | 0.09556 | 0.9451 | 1.606 | json |
| t18_x50_u0_b23 | 18 | 50 | 0 | 23 | ![]() |
add(D,mlt(R,sub(D,R))) | 130439 | 148190891 | o2(x,o2(x,o2(x,x))) | true | 71919 | 71919 | -0.3461 | 0.0997 | 0.3587 | 0.08134 | 0.2852 | -1 | 0.1744 | 1.174 | 1 | 4.08 | 0.003102 | 0.0009992 | 0.05447 | 0.5127 | 1 | -0.00005252 | 0.0004987 | 0.01739 | 0.001134 | 0.03368 | 0.6183 | 0.1922 | 0.05041 | 0.006131 | 1 | 1 | 0.007639 | 0.07631 | 0.1352 | 0.09391 | 0.9382 | 1.662 | json |
| t18_x50_u0_b24 | 18 | 50 | 0 | 24 | ![]() |
add(D,mlt(R,mlt(D,R))) | 130440 | 148190892 | o2(x,o2(x,o2(x,x))) | true | 71927 | 71927 | -0.0005061 | 0.499 | 0.1335 | 0.02372 | 0.154 | -0.3662 | 0.3789 | 0.7451 | 1 | 3.272 | 0.003184 | 0.00006439 | 0.05067 | 0.9604 | 1 | 0.00001161 | 0.0004946 | 0.01995 | 0.0006809 | 0.02609 | 0.515 | 0.1241 | 0.137 | 0.02086 | 1 | 1 | 0.006184 | 0.04506 | 0.00836 | 0.2608 | 1.9 | 0.3525 | json |
| t18_x50_u0_b25 | 18 | 50 | 0 | 25 | ![]() |
add(D,mlt(R,div(D,R))) | 130441 | 148190893 | o2(x,o2(x,o2(x,x))) | true | 71935 | 71935 | 6.257e-10 | 0.5 | 0.1887 | 0.04329 | 0.2081 | -0.2908 | 0.2908 | 0.5817 | 1 | 2.906 | 0.00653 | 3.901e-18 | 0.07219 | 1 | 1 | 2.377e-10 | 0.001025 | 0.02918 | 0.001321 | 0.03635 | 0.5036 | 0.1238 | 0.1508 | 0.02368 | 1 | 1 | 0.0126 | 0.08733 | 2.396e-16 | 0.2912 | 2.017 | 5.534e-15 | json |
| t18_x50_u0_b26 | 18 | 50 | 0 | 26 | ![]() |
add(D,mlt(R,pow(D,R))) | 130442 | 148190894 | o2(x,o2(x,o2(x,x))) | true | 71943 | 71943 | -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_x50_u0_b27 | 18 | 50 | 0 | 27 | ![]() |
add(D,mlt(R,mod(D,R))) | 130443 | 148190895 | o2(x,o2(x,o2(x,x))) | true | 71951 | 71951 | 0.001367 | 0.501 | 0.1229 | 0.02484 | 0.1576 | -0.4898 | 0.5372 | 1.027 | 1 | 3.369 | 0.002878 | 0.0002006 | 0.04667 | 0.8697 | 1 | -0.0000482 | 0.001511 | 0.02657 | 0.0009006 | 0.03001 | 0.643 | 0.2082 | 0.1239 | 0.0608 | 1 | 1 | 0.005452 | 0.04222 | 0.0274 | 0.2194 | 1.699 | 1.103 | json |
| t18_x50_u0_b28 | 18 | 50 | 0 | 28 | ![]() |
add(D,mlt(R,lrg(D,R))) | 130444 | 148190896 | o2(x,o2(x,o2(x,x))) | true | 71959 | 71959 | -0.2236 | 0.2357 | 0.2709 | 0.08262 | 0.2874 | -1 | 0.3834 | 1.383 | 1 | 4.089 | 0.00396 | 0.0009943 | 0.05694 | 0.5986 | 1 | -0.00001417 | 0.003558 | 0.03051 | 0.001712 | 0.04138 | 0.7266 | 0.4022 | 0.05997 | 0.04306 | 1 | 1 | 0.008018 | 0.06855 | 0.1161 | 0.09705 | 0.8296 | 1.405 | json |
| t18_x50_u0_b29 | 18 | 50 | 0 | 29 | ![]() |
add(D,mlt(R,eql(D,R))) | 130445 | 148190897 | o2(x,o2(x,o2(x,x))) | true | 71967 | 71967 | -0.00002379 | 0.4999 | 0.09436 | 0.01082 | 0.104 | -0.1454 | 0.1454 | 0.2908 | 1 | 2.561 | 0.001637 | 5.318e-8 | 0.03612 | 0.9999 | 1 | -6.949e-8 | 0.0002718 | 0.01466 | 0.0003336 | 0.01826 | 0.5057 | 0.2294 | 0.1513 | 0.02511 | 1 | 1 | 0.003151 | 0.02183 | 0.000002772 | 0.2911 | 2.017 | 0.0002561 | json |
| t18_x50_u0_b30 | 18 | 50 | 0 | 30 | ![]() |
add(D,mlt(R,min(D,R))) | 130446 | 148190898 | o2(x,o2(x,o2(x,x))) | true | 71975 | 71975 | 0.1678 | 0.7172 | 0.24 | 0.0701 | 0.2648 | -0.3735 | 1 | 1.373 | 1 | 4.03 | 0.003424 | 0.0007279 | 0.05676 | 0.6493 | 1 | -0.00003434 | 0.0005272 | 0.01951 | 0.0009299 | 0.03049 | 0.5373 | 0.177 | 0.05922 | 0.007521 | 1 | 1 | 0.007777 | 0.06813 | 0.08524 | 0.111 | 0.9719 | 1.216 | json |
| t18_x50_u0_b31 | 18 | 50 | 0 | 31 | ![]() |
add(D,mlt(R,dot(D,R))) | 130447 | 148190899 | o2(x,o2(x,o2(x,x))) | true | 71983 | 71983 | -0.00006284 | 0.5007 | 0.141 | 0.02948 | 0.1717 | -0.6158 | 0.5647 | 1.18 | 1 | 3.499 | 0.003275 | 0.0003636 | 0.05418 | 0.8001 | 1 | -0.000001834 | 0.0005327 | 0.02009 | 0.0007027 | 0.02651 | 0.4893 | 0.1564 | 0.1234 | 0.01807 | 1 | 1 | 0.006915 | 0.05339 | 0.02045 | 0.2346 | 1.811 | 0.6939 | json |
| t18_x50_u0_b32 | 18 | 50 | 0 | 32 | ![]() |
add(D,mlt(R,dst(D,R))) | 130448 | 148190900 | o2(x,o2(x,o2(x,x))) | true | 71991 | 71991 | 0.02026 | 0.5086 | 0.4458 | 0.2938 | 0.5421 | -1 | 1 | 2 | 1 | 4.9 | 0.004591 | 0.004375 | 0.07769 | 0.02414 | 1 | 0.00005305 | 0.0008277 | 0.01996 | 0.002931 | 0.05414 | 0.6969 | 0.3196 | 0.03052 | 0.002817 | 1 | 1 | 0.01739 | 0.2082 | 0.5188 | 0.05919 | 0.7084 | 1.766 | json |
| t18_x50_u0_b33 | 18 | 50 | 0 | 33 | ![]() |
add(D,div(R,add(D,R))) | 130449 | 148190901 | o2(x,o2(x,o2(x,x))) | true | 71999 | 71999 | 0.5885 | 0.8502 | 0.7948 | 0.3688 | 0.6073 | -1 | 1 | 2 | 1 | 3.267 | 0.3137 | 0.009247 | 0.2541 | 0.9427 | 1 | 0.00169 | 0.7889 | 0.3926 | 0.2584 | 0.5083 | 2 | 2.828 | 0.8757 | 2.139 | 1 | 1 | 0.2665 | 0.5077 | 0.667 | 0.7226 | 1.377 | 1.809 | json |
| t18_x50_u0_b34 | 18 | 50 | 0 | 34 | ![]() |
add(D,div(R,sub(D,R))) | 130450 | 148190902 | o2(x,o2(x,o2(x,x))) | true | 72007 | 72007 | -0.5963 | 0.1505 | 0.8063 | 0.3746 | 0.612 | -1 | 1 | 2 | 1 | 3.189 | 0.3077 | 0.008953 | 0.2487 | 0.9435 | 1 | -0.00006057 | 0.7721 | 0.3857 | 0.2548 | 0.5048 | 2.029 | 2.828 | 0.8454 | 2.061 | 1 | 1 | 0.2625 | 0.5206 | 0.6836 | 0.7006 | 1.39 | 1.825 | json |
| t18_x50_u0_b35 | 18 | 50 | 0 | 35 | ![]() |
add(D,div(R,mlt(D,R))) | 130451 | 148190903 | o2(x,o2(x,o2(x,x))) | true | 72015 | 72015 | 1.095e-8 | 0.5 | 0.9234 | 0.8937 | 0.9453 | -1 | 1 | 2 | 1 | 1.544 | 0.3238 | 2.169e-17 | 0.246 | 1 | 1 | 1.134e-9 | 0.5271 | 0.3365 | 0.2634 | 0.5132 | 2.086 | 2 | 0.3624 | 0.5898 | 1 | 1 | 0.3873 | 1.749 | 2.009e-15 | 0.4334 | 1.957 | 2.248e-15 | json |
| t18_x50_u0_b36 | 18 | 50 | 0 | 36 | ![]() |
add(D,div(R,div(D,R))) | 130452 | 148190904 | o2(x,o2(x,o2(x,x))) | true | 72023 | 72023 | -0.001494 | 0.4993 | 0.7061 | 0.6236 | 0.7897 | -1 | 1 | 2 | 1 | 3.84 | 0.2603 | 0.00272 | 0.2412 | 0.9793 | 1 | -0.000004488 | 0.4903 | 0.2897 | 0.205 | 0.4527 | 1.877 | 2.096 | 0.4218 | 0.7863 | 1 | 1 | 0.2886 | 1.115 | 0.1955 | 0.4628 | 1.788 | 0.3135 | json |
| t18_x50_u0_b37 | 18 | 50 | 0 | 37 | ![]() |
add(D,div(R,pow(D,R))) | 130453 | 148190905 | o2(x,o2(x,o2(x,x))) | true | 72031 | 72031 | -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_x50_u0_b38 | 18 | 50 | 0 | 38 | ![]() |
add(D,div(R,mod(D,R))) | 130454 | 148190906 | o2(x,o2(x,o2(x,x))) | true | 72039 | 72039 | 0.007951 | 0.5033 | 0.8975 | 0.8637 | 0.9293 | -1 | 1 | 2 | 1 | 2.455 | 0.5456 | 0.0432 | 0.4025 | 0.8533 | 1 | 0.0002525 | 1.502 | 0.7053 | 0.4268 | 0.6533 | 1.623 | 2.828 | 0.6817 | 1.739 | 1 | 1 | 0.4842 | 1.488 | 1.643 | 0.5607 | 1.723 | 1.903 | json |
| t18_x50_u0_b39 | 18 | 50 | 0 | 39 | ![]() |
add(D,div(R,lrg(D,R))) | 130455 | 148190907 | o2(x,o2(x,o2(x,x))) | true | 72047 | 72047 | -0.7974 | 0.08961 | 0.9762 | 0.3287 | 0.5733 | -1 | 1 | 2 | 1 | 0.9549 | 0.1387 | 0.04006 | 0.101 | 0.5519 | 1 | 0.00003417 | 0.4122 | 0.2007 | 0.1685 | 0.4105 | 4.064 | 2.828 | 0.544 | 1.254 | 1 | 1 | 0.1652 | 0.4768 | 0.5333 | 0.5027 | 1.451 | 1.622 | json |
| t18_x50_u0_b40 | 18 | 50 | 0 | 40 | ![]() |
add(D,div(R,eql(D,R))) | 130456 | 148190908 | o2(x,o2(x,o2(x,x))) | true | 72055 | 72055 | -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_x50_u0_b41 | 18 | 50 | 0 | 41 | ![]() |
add(D,div(R,min(D,R))) | 130457 | 148190909 | o2(x,o2(x,o2(x,x))) | true | 72063 | 72063 | 0.429 | 0.7448 | 0.8313 | 0.5789 | 0.7609 | -1 | 1 | 2 | 1 | 3.275 | 0.1752 | 0.008554 | 0.1789 | 0.9069 | 1 | -0.00004792 | 0.3387 | 0.2086 | 0.1517 | 0.3895 | 2.177 | 2.317 | 0.3173 | 0.5851 | 1 | 1 | 0.2017 | 0.899 | 0.5889 | 0.3483 | 1.553 | 1.017 | json |
| t18_x50_u0_b42 | 18 | 50 | 0 | 42 | ![]() |
add(D,div(R,dot(D,R))) | 130458 | 148190910 | o2(x,o2(x,o2(x,x))) | true | 72071 | 72071 | 0.000808 | 0.5002 | 0.8744 | 0.8332 | 0.9128 | -1 | 1 | 2 | 1 | 2.68 | 0.3846 | 0.3205 | 0.428 | 0.0909 | 1 | -0.00003843 | 2.424 | 0.7542 | 0.522 | 0.7225 | 1.688 | 2.828 | 0.8461 | 2.909 | 1 | 1 | 0.6936 | 1.888 | 1.196 | 0.8324 | 2.266 | 1.435 | json |
| t18_x50_u0_b43 | 18 | 50 | 0 | 43 | ![]() |
add(D,div(R,dst(D,R))) | 130459 | 148190911 | o2(x,o2(x,o2(x,x))) | true | 72079 | 72079 | 0.001044 | 0.4916 | 0.4037 | 0.2355 | 0.4852 | -1 | 1 | 2 | 1 | 4.892 | 0.006447 | 0.003734 | 0.08476 | 0.2665 | 1 | -0.00003997 | 0.002055 | 0.0251 | 0.002997 | 0.05474 | 0.6459 | 1.28 | 0.04324 | 0.008728 | 1 | 1 | 0.01949 | 0.2007 | 0.3825 | 0.08279 | 0.8523 | 1.625 | json |
| t18_x50_u0_b44 | 18 | 50 | 0 | 44 | ![]() |
add(D,pow(R,add(D,R))) | 130460 | 148190912 | o2(x,o2(x,o2(x,x))) | true | 72087 | 72087 | -0.9224 | 0.04297 | 0.9916 | 0.1345 | 0.3667 | -1 | 1 | 2 | 1 | 0.3661 | 0.01335 | 0.01318 | 0.01569 | 0.006344 | 1 | -0.000002903 | 0.05531 | 0.03001 | 0.02628 | 0.1621 | 10.33 | 2.625 | 0.1972 | 0.4113 | 1 | 1 | 0.02022 | 0.08781 | 0.2207 | 0.1504 | 0.6529 | 1.641 | json |
| t18_x50_u0_b45 | 18 | 50 | 0 | 45 | ![]() |
add(D,pow(R,sub(D,R))) | 130461 | 148190913 | o2(x,o2(x,o2(x,x))) | true | 72095 | 72095 | -0.9141 | 0.04297 | 0.9999 | 0.1642 | 0.4052 | -1 | 1 | 2 | 1 | 0.2586 | 0.01688 | 0.01631 | 0.01655 | 0.01709 | 1 | 0.000003379 | 0.06941 | 0.03327 | 0.0329 | 0.1814 | 10.96 | 2.828 | 0.2022 | 0.4227 | 1 | 1 | 0.02541 | 0.1094 | 0.2753 | 0.1548 | 0.6664 | 1.676 | json |
| t18_x50_u0_b46 | 18 | 50 | 0 | 46 | ![]() |
add(D,pow(R,mlt(D,R))) | 130462 | 148190914 | o2(x,o2(x,o2(x,x))) | true | 72103 | 72103 | -0.9156 | 0.04297 | 0.9985 | 0.159 | 0.3987 | -1 | 1 | 2 | 1 | 0.3006 | 0.01669 | 0.01587 | 0.01684 | 0.02533 | 1 | 0.000009316 | 0.06845 | 0.03327 | 0.03226 | 0.1796 | 10.67 | 2.801 | 0.2048 | 0.4305 | 1 | 1 | 0.02477 | 0.1059 | 0.2659 | 0.1558 | 0.6661 | 1.673 | json |
| t18_x50_u0_b47 | 18 | 50 | 0 | 47 | ![]() |
add(D,pow(R,div(D,R))) | 130463 | 148190915 | o2(x,o2(x,o2(x,x))) | true | 72111 | 72111 | -0.9168 | 0.04297 | 0.9973 | 0.1549 | 0.3936 | -1 | 1 | 2 | 1 | 0.3203 | 0.01644 | 0.01527 | 0.01681 | 0.03686 | 1 | -0.00001292 | 0.06668 | 0.03285 | 0.03142 | 0.1773 | 10.55 | 2.828 | 0.2047 | 0.4304 | 1 | 1 | 0.0247 | 0.1059 | 0.2583 | 0.1594 | 0.6837 | 1.667 | json |
| t18_x50_u0_b48 | 18 | 50 | 0 | 48 | ![]() |
add(D,pow(R,pow(D,R))) | 130464 | 148190916 | o2(x,o2(x,o2(x,x))) | true | 72119 | 72119 | -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_x50_u0_b49 | 18 | 50 | 0 | 49 | ![]() |
add(D,pow(R,mod(D,R))) | 130465 | 148190917 | o2(x,o2(x,o2(x,x))) | true | 72127 | 72127 | -0.9152 | 0.04297 | 0.9989 | 0.1604 | 0.4004 | -1 | 1 | 2 | 1 | 0.2917 | 0.0168 | 0.01599 | 0.01715 | 0.02458 | 1 | 0.00001111 | 0.06881 | 0.03408 | 0.03247 | 0.1802 | 10.51 | 2.828 | 0.2045 | 0.4291 | 1 | 1 | 0.02505 | 0.1073 | 0.2687 | 0.1562 | 0.6694 | 1.676 | json |
| t18_x50_u0_b50 | 18 | 50 | 0 | 50 | ![]() |
add(D,pow(R,lrg(D,R))) | 130466 | 148190918 | o2(x,o2(x,o2(x,x))) | true | 72135 | 72135 | -0.7563 | 0.1287 | 0.9864 | 0.4053 | 0.6367 | -1 | 1 | 2 | 1 | 0.8389 | 0.078 | 0.03739 | 0.06321 | 0.3519 | 1 | 0.00001398 | 0.2453 | 0.1233 | 0.1113 | 0.3337 | 5.279 | 2.828 | 0.2847 | 0.6051 | 1 | 1 | 0.1165 | 0.4257 | 0.7907 | 0.2874 | 1.05 | 1.951 | json |
| t18_x50_u0_b51 | 18 | 50 | 0 | 51 | ![]() |
add(D,pow(R,eql(D,R))) | 130467 | 148190919 | o2(x,o2(x,o2(x,x))) | true | 72143 | 72143 | 0.9525 | 0.9998 | 0.9529 | 0.004115 | 0.06414 | -1 | 1 | 2 | 1 | 1.333 | 0.002479 | 0.00006299 | 0.01904 | 0.9504 | 1 | 0.0001582 | 0.005993 | 0.01506 | 0.00218 | 0.04669 | 2.453 | 2 | 0.6178 | 1.457 | 1 | 1 | 0.0013 | 0.005463 | 0.000831 | 0.3159 | 1.328 | 0.202 | json |
| t18_x50_u0_b52 | 18 | 50 | 0 | 52 | ![]() |
add(D,pow(R,min(D,R))) | 130468 | 148190920 | o2(x,o2(x,o2(x,x))) | true | 72151 | 72151 | -0.9151 | 0.04297 | 0.999 | 0.1608 | 0.401 | -1 | 1 | 2 | 1 | 0.2903 | 0.01676 | 0.01598 | 0.01671 | 0.02375 | 1 | 0.000007466 | 0.06867 | 0.03325 | 0.03244 | 0.1801 | 10.78 | 2.828 | 0.2036 | 0.4271 | 1 | 1 | 0.02507 | 0.1076 | 0.2687 | 0.1559 | 0.669 | 1.671 | json |
| t18_x50_u0_b53 | 18 | 50 | 0 | 53 | ![]() |
add(D,pow(R,dot(D,R))) | 130469 | 148190921 | o2(x,o2(x,o2(x,x))) | true | 72159 | 72159 | -0.9161 | 0.04297 | 0.998 | 0.157 | 0.3963 | -1 | 1 | 2 | 1 | 0.3152 | 0.0162 | 0.01586 | 0.01688 | 0.01062 | 1 | 0.000005811 | 0.06725 | 0.03303 | 0.03176 | 0.1782 | 10.56 | 2.828 | 0.2042 | 0.4282 | 1 | 1 | 0.02446 | 0.1044 | 0.2627 | 0.1557 | 0.6645 | 1.673 | json |
| t18_x50_u0_b54 | 18 | 50 | 0 | 54 | ![]() |
add(D,pow(R,dst(D,R))) | 130470 | 148190922 | o2(x,o2(x,o2(x,x))) | true | 72167 | 72167 | -0.9319 | 0.04297 | 0.9822 | 0.1053 | 0.3246 | -1 | 1 | 2 | 1 | 0.4147 | 0.01074 | 0.01082 | 0.01509 | -0.003573 | 1 | -0.000002335 | 0.04501 | 0.02713 | 0.02134 | 0.1461 | 9.684 | 2.53 | 0.2047 | 0.4272 | 1 | 1 | 0.01671 | 0.07115 | 0.1749 | 0.1586 | 0.6754 | 1.66 | json |
| t18_x50_u0_b55 | 18 | 50 | 0 | 55 | ![]() |
add(D,mod(R,add(D,R))) | 130471 | 148190923 | o2(x,o2(x,o2(x,x))) | true | 72175 | 72175 | 0.004175 | 0.5034 | 0.2855 | 0.154 | 0.3924 | -1 | 1 | 2 | 1 | 4.537 | 0.02794 | 0.001317 | 0.1022 | 0.91 | 1 | -0.0001216 | 0.04598 | 0.1071 | 0.01881 | 0.1372 | 1.342 | 1.019 | 0.19 | 0.2986 | 1 | 1 | 0.03605 | 0.1867 | 0.1655 | 0.2342 | 1.213 | 1.075 | json |
| t18_x50_u0_b56 | 18 | 50 | 0 | 56 | ![]() |
add(D,mod(R,sub(D,R))) | 130472 | 148190924 | o2(x,o2(x,o2(x,x))) | true | 72183 | 72183 | 0.005132 | 0.4955 | 0.2478 | 0.0971 | 0.3116 | -0.9677 | 0.9498 | 1.918 | 1 | 4.345 | 0.01957 | 0.001299 | 0.09113 | 0.8756 | 1 | -0.00007454 | 0.04423 | 0.1003 | 0.01257 | 0.1121 | 1.23 | 0.9055 | 0.215 | 0.4555 | 1 | 1 | 0.01957 | 0.07535 | 0.1599 | 0.2015 | 0.7761 | 1.646 | json |
| t18_x50_u0_b57 | 18 | 50 | 0 | 57 | ![]() |
add(D,mod(R,mlt(D,R))) | 130473 | 148190925 | o2(x,o2(x,o2(x,x))) | true | 72191 | 72191 | 0.001344 | 0.5029 | 0.1102 | 0.01746 | 0.1322 | -0.428 | 0.4193 | 0.8473 | 1 | 3.117 | 0.004278 | 0.00009648 | 0.05196 | 0.9559 | 1 | 0.000001642 | 0.006865 | 0.052 | 0.001675 | 0.04093 | 0.7877 | 0.3513 | 0.2505 | 0.3931 | 1 | 1 | 0.005385 | 0.02855 | 0.0117 | 0.3083 | 1.635 | 0.6698 | json |
| t18_x50_u0_b58 | 18 | 50 | 0 | 58 | ![]() |
add(D,mod(R,div(D,R))) | 130474 | 148190926 | o2(x,o2(x,o2(x,x))) | true | 72199 | 72199 | -0.008674 | 0.4776 | 0.1652 | 0.04467 | 0.2113 | -0.7019 | 0.7024 | 1.404 | 1 | 3.794 | 0.01203 | 0.0005128 | 0.08709 | 0.9183 | 1 | -0.00008563 | 0.02595 | 0.1079 | 0.004962 | 0.07044 | 0.8089 | 0.5911 | 0.2809 | 0.581 | 1 | 1 | 0.01292 | 0.05645 | 0.06649 | 0.2892 | 1.264 | 1.489 | json |
| t18_x50_u0_b59 | 18 | 50 | 0 | 59 | ![]() |
add(D,mod(R,pow(D,R))) | 130475 | 148190927 | o2(x,o2(x,o2(x,x))) | true | 72207 | 72207 | -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_x50_u0_b60 | 18 | 50 | 0 | 60 | ![]() |
add(D,mod(R,mod(D,R))) | 130476 | 148190928 | o2(x,o2(x,o2(x,x))) | true | 72215 | 72215 | -0.00005311 | 0.5049 | 0.1113 | 0.01918 | 0.1385 | -0.4444 | 0.4284 | 0.8728 | 1 | 3.199 | 0.006339 | 0.0001208 | 0.0661 | 0.9626 | 1 | 0.00001187 | 0.01324 | 0.08169 | 0.002091 | 0.04573 | 0.6918 | 0.3033 | 0.3368 | 0.69 | 1 | 1 | 0.0064 | 0.03051 | 0.01513 | 0.3337 | 1.591 | 0.7886 | json |
| t18_x50_u0_b61 | 18 | 50 | 0 | 61 | ![]() |
add(D,mod(R,lrg(D,R))) | 130477 | 148190929 | o2(x,o2(x,o2(x,x))) | true | 72223 | 72223 | -0.9761 | 0.0002594 | 0.9762 | 0.01178 | 0.1086 | -1 | 0.2509 | 1.251 | 1 | 0.5286 | 0.007853 | 0.001103 | 0.01733 | 0.7537 | 1 | 0.00003417 | 0.02178 | 0.03158 | 0.008659 | 0.09305 | 5.371 | 1.276 | 0.7599 | 1.848 | 1 | 1 | 0.008064 | 0.0174 | 0.02054 | 0.6844 | 1.477 | 1.743 | json |
| t18_x50_u0_b62 | 18 | 50 | 0 | 62 | ![]() |
add(D,mod(R,eql(D,R))) | 130478 | 148190930 | o2(x,o2(x,o2(x,x))) | true | 72231 | 72231 | -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_x50_u0_b63 | 18 | 50 | 0 | 63 | ![]() |
add(D,mod(R,min(D,R))) | 130479 | 148190931 | o2(x,o2(x,o2(x,x))) | true | 72239 | 72239 | -0.01921 | 0.4899 | 0.1493 | 0.04222 | 0.2055 | -1 | 0.4797 | 1.48 | 1 | 3.592 | 0.005475 | 0.0004475 | 0.06197 | 0.8489 | 1 | -0.0001561 | 0.009018 | 0.05884 | 0.002083 | 0.04563 | 0.7364 | 0.3315 | 0.1403 | 0.2136 | 1 | 1 | 0.007962 | 0.05382 | 0.06889 | 0.1886 | 1.275 | 1.632 | json |
| t18_x50_u0_b64 | 18 | 50 | 0 | 64 | ![]() |
add(D,mod(R,dot(D,R))) | 130480 | 148190932 | o2(x,o2(x,o2(x,x))) | true | 72247 | 72247 | 0.001782 | 0.507 | 0.1197 | 0.02146 | 0.1465 | -0.5753 | 0.6084 | 1.184 | 1 | 3.277 | 0.006243 | 0.004275 | 0.08336 | 0.1871 | 1 | -0.00001868 | 0.04088 | 0.1375 | 0.003569 | 0.05974 | 0.7166 | 0.516 | 0.4902 | 1.905 | 1 | 1 | 0.009198 | 0.03508 | 0.01993 | 0.4286 | 1.635 | 0.9289 | json |
| t18_x50_u0_b65 | 18 | 50 | 0 | 65 | ![]() |
add(D,mod(R,dst(D,R))) | 130481 | 148190933 | o2(x,o2(x,o2(x,x))) | true | 72255 | 72255 | 0.006581 | 0.4967 | 0.3737 | 0.2044 | 0.4521 | -1 | 1 | 2 | 1 | 4.842 | 0.008468 | 0.005872 | 0.08268 | 0.1811 | 1 | 0.0001385 | 0.02775 | 0.05136 | 0.007503 | 0.08662 | 1.048 | 1.252 | 0.07016 | 0.1358 | 1 | 1 | 0.01948 | 0.1695 | 0.3577 | 0.09531 | 0.8292 | 1.75 | json |
| t18_x50_u0_b66 | 18 | 50 | 0 | 66 | ![]() |
add(D,lrg(R,add(D,R))) | 130482 | 148190934 | o2(x,o2(x,o2(x,x))) | true | 72263 | 72263 | 0.5 | 1 | 0.5 | 0.08301 | 0.2881 | 0.03125 | 0.9688 | 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_x50_u0_b67 | 18 | 50 | 0 | 67 | ![]() |
add(D,lrg(R,sub(D,R))) | 130483 | 148190935 | o2(x,o2(x,o2(x,x))) | true | 72271 | 72271 | 0.4791 | 0.8548 | 0.5023 | 0.149 | 0.386 | -0.1454 | 1 | 1.145 | 1 | 4.069 | 0.01034 | 0.002225 | 0.07134 | 0.646 | 1 | 0.0001369 | 0.01634 | 0.04037 | 0.00748 | 0.08649 | 1.212 | 1.05 | 0.08433 | 0.1096 | 1 | 1 | 0.01679 | 0.1339 | 0.2736 | 0.1127 | 0.8987 | 1.836 | json |
| t18_x50_u0_b68 | 18 | 50 | 0 | 68 | ![]() |
add(D,lrg(R,mlt(D,R))) | 130484 | 148190936 | o2(x,o2(x,o2(x,x))) | true | 72279 | 72279 | 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_x50_u0_b69 | 18 | 50 | 0 | 69 | ![]() |
add(D,lrg(R,div(D,R))) | 130485 | 148190937 | o2(x,o2(x,o2(x,x))) | true | 72287 | 72287 | 0.4958 | 0.8521 | 0.5173 | 0.1557 | 0.3946 | -0.1454 | 1 | 1.145 | 1 | 3.989 | 0.02869 | 0.002187 | 0.09629 | 0.8584 | 1 | -0.0001375 | 0.05182 | 0.09063 | 0.02161 | 0.147 | 1.527 | 1.031 | 0.1983 | 0.3328 | 1 | 1 | 0.03658 | 0.2041 | 0.2722 | 0.2349 | 1.311 | 1.748 | json |
| t18_x50_u0_b70 | 18 | 50 | 0 | 70 | ![]() |
add(D,lrg(R,pow(D,R))) | 130486 | 148190938 | o2(x,o2(x,o2(x,x))) | true | 72295 | 72295 | 0.6246 | 1 | 0.6246 | 0.08558 | 0.2925 | 0.03125 | 1 | 0.9688 | 1 | 3.841 | 0.03863 | 0.0008175 | 0.0979 | 0.9585 | 1 | 0.0003169 | 0.08201 | 0.09811 | 0.02985 | 0.1728 | 1.765 | 0.9375 | 0.4609 | 0.9583 | 1 | 1 | 0.03811 | 0.114 | 0.1061 | 0.4453 | 1.332 | 1.24 | json |
| t18_x50_u0_b71 | 18 | 50 | 0 | 71 | ![]() |
add(D,lrg(R,mod(D,R))) | 130487 | 148190939 | o2(x,o2(x,o2(x,x))) | true | 72303 | 72303 | 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_x50_u0_b72 | 18 | 50 | 0 | 72 | ![]() |
add(D,lrg(R,lrg(D,R))) | 130488 | 148190940 | o2(x,o2(x,o2(x,x))) | true | 72311 | 72311 | 0.415 | 0.8224 | 0.445 | 0.149 | 0.386 | -0.1454 | 1 | 1.145 | 1 | 4.102 | 0.01019 | 0.002219 | 0.07093 | 0.6424 | 1 | 0.00008323 | 0.01575 | 0.03998 | 0.007378 | 0.0859 | 1.211 | 0.9375 | 0.08329 | 0.1057 | 1 | 1 | 0.01653 | 0.1339 | 0.2682 | 0.111 | 0.8987 | 1.8 | json |
| t18_x50_u0_b73 | 18 | 50 | 0 | 73 | ![]() |
add(D,lrg(R,eql(D,R))) | 130489 | 148190941 | o2(x,o2(x,o2(x,x))) | true | 72319 | 72319 | 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_x50_u0_b74 | 18 | 50 | 0 | 74 | ![]() |
add(D,lrg(R,min(D,R))) | 130490 | 148190942 | o2(x,o2(x,o2(x,x))) | true | 72327 | 72327 | 0.4883 | 0.8731 | 0.5093 | 0.1364 | 0.3694 | -0.1454 | 1 | 1.145 | 1 | 4.117 | 0.01894 | 0.002057 | 0.08348 | 0.8041 | 1 | 0.00007571 | 0.03573 | 0.06751 | 0.01403 | 0.1184 | 1.419 | 1.05 | 0.1539 | 0.2619 | 1 | 1 | 0.02406 | 0.1369 | 0.2499 | 0.1763 | 1.003 | 1.832 | json |
| t18_x50_u0_b75 | 18 | 50 | 0 | 75 | ![]() |
add(D,lrg(R,dot(D,R))) | 130491 | 148190943 | o2(x,o2(x,o2(x,x))) | true | 72335 | 72335 | 0.4758 | 0.8458 | 0.4992 | 0.1551 | 0.3939 | -0.1454 | 1 | 1.145 | 1 | 4.026 | 0.005895 | 0.01084 | 0.07853 | -0.2957 | 1 | 0.0001151 | 0.03387 | 0.05903 | 0.01057 | 0.1028 | 1.309 | 1.426 | 0.1079 | 0.2183 | 1 | 1 | 0.02105 | 0.1485 | 0.2705 | 0.1357 | 0.9575 | 1.744 | json |
| t18_x50_u0_b76 | 18 | 50 | 0 | 76 | ![]() |
add(D,lrg(R,dst(D,R))) | 130492 | 148190944 | o2(x,o2(x,o2(x,x))) | true | 72343 | 72343 | 0.03468 | 0.5269 | 0.1211 | 0.03182 | 0.1784 | -0.1454 | 1 | 1.145 | 1 | 2.954 | 0.006814 | 0.003294 | 0.0525 | 0.3482 | 1 | -0.00019 | 0.02512 | 0.03917 | 0.007353 | 0.08575 | 1.633 | 1.37 | 0.3176 | 0.7895 | 1 | 1 | 0.01054 | 0.05166 | 0.02766 | 0.3311 | 1.623 | 0.8692 | json |
| t18_x50_u0_b77 | 18 | 50 | 0 | 77 | ![]() |
add(D,eql(R,add(D,R))) | 130493 | 148190945 | o2(x,o2(x,o2(x,x))) | true | 72351 | 72351 | 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_x50_u0_b78 | 18 | 50 | 0 | 78 | ![]() |
add(D,eql(R,sub(D,R))) | 130494 | 148190946 | o2(x,o2(x,o2(x,x))) | true | 72359 | 72359 | 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_x50_u0_b79 | 18 | 50 | 0 | 79 | ![]() |
add(D,eql(R,mlt(D,R))) | 130495 | 148190947 | o2(x,o2(x,o2(x,x))) | true | 72367 | 72367 | 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.06192 | 0.1508 | 0.02368 | 1 | 1 | 0.003151 | 0.02183 | 1.177e-10 | 0.2912 | 2.017 | 1.087e-8 | json |
| t18_x50_u0_b80 | 18 | 50 | 0 | 80 | ![]() |
add(D,eql(R,div(D,R))) | 130496 | 148190948 | o2(x,o2(x,o2(x,x))) | true | 72375 | 72375 | 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_x50_u0_b81 | 18 | 50 | 0 | 81 | ![]() |
add(D,eql(R,pow(D,R))) | 130497 | 148190949 | o2(x,o2(x,o2(x,x))) | true | 72383 | 72383 | 7.106e-8 | 0.5 | 0.09436 | 0.01082 | 0.104 | -0.1454 | 0.1454 | 0.2908 | 1 | 2.561 | 0.001632 | 2.373e-13 | 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 | 1.855e-11 | 0.2912 | 2.017 | 1.714e-9 | json |
| t18_x50_u0_b82 | 18 | 50 | 0 | 82 | ![]() |
add(D,eql(R,mod(D,R))) | 130498 | 148190950 | o2(x,o2(x,o2(x,x))) | true | 72391 | 72391 | 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_x50_u0_b83 | 18 | 50 | 0 | 83 | ![]() |
add(D,eql(R,lrg(D,R))) | 130499 | 148190951 | o2(x,o2(x,o2(x,x))) | true | 72399 | 72399 | 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 |



































































































