Laboratory of Babel / Archive / grad-noise-175k

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

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. #A kept 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-256 b6fc8f27…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 on inputs.expr), the formula (grad-noise-175k.manifest.json) and the frames (png/)
175,797 records
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
t16_x0_u0_b72 16 0 0 72 lrg(P,sqt(lrg(P,P))) 74700 129929688 o2(x,o1(o2(x,x))) true 85607 85607 0.4688 0.5 0.4688 0.2423 0.4922 0 1 1 1 1.326 0.0003529 0 0.003968 1 1 -4.731e-10 0.00001619 0.0009276 0.0003372 0.01836 4.628 0.1169 0.001457 0.00006684 1 1 0.0009255 0.01214 0.0751 0.00382 0.05012 0.31 json
t16_x0_u0_b73 16 0 0 73 lrg(P,sqt(eql(P,P))) 74701 129929689 o2(x,o1(o2(x,x))) true 85615 85615 0.4063 0.4375 0.4063 0.2344 0.4842 0 1 1 1 1.302 0.0003529 0 0.003968 1 1 -4.731e-10 0.00001619 0.0009276 0.0003372 0.01836 4.628 0.1169 0.001505 0.00006906 1 1 0.0009255 0.01214 0.0751 0.003947 0.0518 0.3203 json
t16_x0_u0_b74 16 0 0 74 lrg(P,sqt(min(P,P))) 74702 129929690 o2(x,o1(o2(x,x))) true 85623 85623 0.875 0.9375 0.875 0.09585 0.3096 0 1 1 1 1.067 0.0007059 0 0.007937 1 1 -9.461e-10 0.00003238 0.001855 0.0006432 0.02536 3.195 0.1169 0.007364 0.0003379 1 1 0.001851 0.02429 0.1411 0.01931 0.2534 1.472 json
t16_x0_u0_b75 16 0 0 75 lrg(P,sqt(dot(P,P))) 74703 129929691 o2(x,o1(o2(x,x))) true 85631 85631 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 json
t16_x0_u0_b76 16 0 0 76 lrg(P,sqt(dst(P,P))) 74704 129929692 o2(x,o1(o2(x,x))) true 85639 85639 0.4688 0.5 0.4688 0.2423 0.4922 0 1 1 1 1.326 0.0003529 0 0.003968 1 1 -4.731e-10 0.00001619 0.0009276 0.0003372 0.01836 4.628 0.1169 0.001457 0.00006684 1 1 0.0009255 0.01214 0.0751 0.00382 0.05012 0.31 json
t16_x0_u0_b77 16 0 0 77 eql(P,sqt(add(P,P))) 74705 129929693 o2(x,o1(o2(x,x))) true 85647 85647 0.125 0.25 0.125 0.08232 0.2869 0 0.9997 0.9997 1 1.405 0.001412 0 0.01587 1 1 -1.892e-9 0.00006486 0.003711 0.00116 0.03406 2.147 0.1169 0.01715 0.0007879 1 1 0.003702 0.04796 0.06598 0.04497 0.5826 0.8016 json
t16_x0_u0_b78 16 0 0 78 eql(P,sqt(sub(P,P))) 74706 129929694 o2(x,o1(o2(x,x))) true 85655 85655 0.0625 0.125 0.0625 0.04507 0.2123 0 0.9997 0.9997 1 0.8126 0.0007059 0 0.007934 1 1 -9.461e-10 0.00003241 0.001855 0.0006433 0.02536 3.197 0.1169 0.01566 0.0007193 1 1 0.001851 0.02408 0.06598 0.04107 0.5344 1.464 json
t16_x0_u0_b79 16 0 0 79 eql(P,sqt(mlt(P,P))) 74707 129929695 o2(x,o1(o2(x,x))) true 85663 85663 0.5313 0.5625 0.5313 0.2423 0.4922 0 1 1 1 1.326 0.0003529 0 0.003968 1 1 -4.731e-10 0.00001619 0.0009276 0.0003372 0.01836 4.628 0.1169 0.001457 0.00006684 1 1 0.0009255 0.01214 0.0751 0.00382 0.05012 0.31 json
t16_x0_u0_b80 16 0 0 80 eql(P,sqt(div(P,P))) 74708 129929696 o2(x,o1(o2(x,x))) true 85671 85671 0.0625 0.125 0.0625 0.04507 0.2123 0 0.9997 0.9997 1 0.8126 0.0007059 0 0.007934 1 1 -9.461e-10 0.00003241 0.001855 0.0006433 0.02536 3.197 0.1169 0.01566 0.0007193 1 1 0.001851 0.02408 0.06598 0.04107 0.5344 1.464 json
t16_x0_u0_b81 16 0 0 81 eql(P,sqt(pow(P,P))) 74709 129929697 o2(x,o1(o2(x,x))) true 85679 85679 0.125 0.1875 0.125 0.09585 0.3096 0 1 1 1 1.067 0.0007059 0 0.007937 1 1 -9.461e-10 0.00003238 0.001855 0.0006432 0.02536 3.195 0.1169 0.007364 0.0003379 1 1 0.001851 0.02429 0.1411 0.01931 0.2534 1.472 json
t16_x0_u0_b82 16 0 0 82 eql(P,sqt(mod(P,P))) 74710 129929698 o2(x,o1(o2(x,x))) true 85687 85687 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 json
t16_x0_u0_b83 16 0 0 83 eql(P,sqt(lrg(P,P))) 74711 129929699 o2(x,o1(o2(x,x))) true 85695 85695 0.0625 0.125 0.0625 0.04507 0.2123 0 0.9997 0.9997 1 0.8126 0.0007059 0 0.007934 1 1 -9.461e-10 0.00003241 0.001855 0.0006433 0.02536 3.197 0.1169 0.01566 0.0007193 1 1 0.001851 0.02408 0.06598 0.04107 0.5344 1.464 json
t16_x0_u0_b84 16 0 0 84 eql(P,sqt(eql(P,P))) 74712 129929700 o2(x,o1(o2(x,x))) true 85703 85703 0.0625 0.125 0.0625 0.04507 0.2123 0 0.9997 0.9997 1 0.8126 0.0007059 0 0.007934 1 1 -9.461e-10 0.00003241 0.001855 0.0006433 0.02536 3.197 0.1169 0.01566 0.0007193 1 1 0.001851 0.02408 0.06598 0.04107 0.5344 1.464 json
t16_x0_u0_b85 16 0 0 85 eql(P,sqt(min(P,P))) 74713 129929701 o2(x,o1(o2(x,x))) true 85711 85711 0.125 0.1875 0.125 0.09585 0.3096 0 1 1 1 1.067 0.0007059 0 0.007937 1 1 -9.461e-10 0.00003238 0.001855 0.0006432 0.02536 3.195 0.1169 0.007364 0.0003379 1 1 0.001851 0.02429 0.1411 0.01931 0.2534 1.472 json
t16_x0_u0_b86 16 0 0 86 eql(P,sqt(dot(P,P))) 74714 129929702 o2(x,o1(o2(x,x))) true 85719 85719 0.0332 0.06989 0.0332 0.02458 0.1568 0 0.9997 0.9997 1 0.4982 0.00001756 0.0003705 0.004394 -0.9095 1 -2.628e-11 0.00001832 0.001031 0.0003686 0.0192 4.37 0.1169 0.01579 0.0007452 1 1 0.001048 0.01364 0.04012 0.04262 0.5548 1.632 json
t16_x0_u0_b87 16 0 0 87 eql(P,sqt(dst(P,P))) 74715 129929703 o2(x,o1(o2(x,x))) true 85727 85727 0.0625 0.125 0.0625 0.04507 0.2123 0 0.9997 0.9997 1 0.8126 0.0007059 0 0.007934 1 1 -9.461e-10 0.00003241 0.001855 0.0006433 0.02536 3.197 0.1169 0.01566 0.0007193 1 1 0.001851 0.02408 0.06598 0.04107 0.5344 1.464 json
t16_x0_u0_b88 16 0 0 88 min(P,sqt(add(P,P))) 74716 129929704 o2(x,o1(o2(x,x))) true 85735 85735 0 0.5 0.9375 0.924 0.9612 -1 1 2 1 1.813 0.0007059 0 0.007937 1 1 0 0.00003235 0.001851 0.0006432 0.02536 3.195 0.1169 0.0007639 0.00003501 1 1 0.001851 0.02449 0.2344 0.002003 0.0265 0.2537 json
t16_x0_u0_b89 16 0 0 89 min(P,sqt(sub(P,P))) 74717 129929705 o2(x,o1(o2(x,x))) true 85743 85743 -0.4688 0 0.4688 0.2423 0.4922 -1 0 1 1 1.406 0.0003529 0 0.003968 1 1 4.731e-10 0.00001619 0.0009276 0.0003372 0.01836 4.628 0.1169 0.001457 0.00006684 1 1 0.0009255 0.01214 0.0751 0.00382 0.05012 0.31 json
t16_x0_u0_b90 16 0 0 90 min(P,sqt(mlt(P,P))) 74718 129929706 o2(x,o1(o2(x,x))) true 85751 85751 0 0.5 0.9375 0.924 0.9612 -1 1 2 1 1.813 0.0007059 0 0.007937 1 1 0 0.00003235 0.001851 0.0006432 0.02536 3.195 0.1169 0.0007639 0.00003501 1 1 0.001851 0.02449 0.2344 0.002003 0.0265 0.2537 json
t16_x0_u0_b91 16 0 0 91 min(P,sqt(div(P,P))) 74719 129929707 o2(x,o1(o2(x,x))) true 85759 85759 0 0.5 0.9375 0.924 0.9612 -1 1 2 1 1.813 0.0007059 0 0.007937 1 1 3.784e-9 0.00003235 0.001851 0.0006432 0.02536 3.195 0.1169 0.0007639 0.00003501 1 1 0.001851 0.02449 0.2344 0.002003 0.0265 0.2537 json
t16_x0_u0_b92 16 0 0 92 min(P,sqt(pow(P,P))) 74720 129929708 o2(x,o1(o2(x,x))) true 85767 85767 0 0.5 0.9375 0.924 0.9612 -1 1 2 1 1.813 0.0007059 0 0.007937 1 1 0 0.00003235 0.001851 0.0006432 0.02536 3.195 0.1169 0.0007639 0.00003501 1 1 0.001851 0.02449 0.2344 0.002003 0.0265 0.2537 json
t16_x0_u0_b93 16 0 0 93 min(P,sqt(mod(P,P))) 74721 129929709 o2(x,o1(o2(x,x))) true 85775 85775 -0.2409 0.3125 0.6966 0.6171 0.7856 -1 1 2 1 2.379 0.003082 0 0.01977 1 1 -0.0002377 0.0007039 0.008059 0.002692 0.05188 2.625 0.2718 0.004994 0.001141 1 1 0.00583 0.05971 0.2315 0.009447 0.09675 0.3751 json
t16_x0_u0_b94 16 0 0 94 min(P,sqt(lrg(P,P))) 74722 129929710 o2(x,o1(o2(x,x))) true 85783 85783 -0.4688 0 0.4688 0.2423 0.4922 -1 0 1 1 1.406 0.0003529 0 0.003968 1 1 4.731e-10 0.00001619 0.0009276 0.0003372 0.01836 4.628 0.1169 0.001457 0.00006684 1 1 0.0009255 0.01214 0.0751 0.00382 0.05012 0.31 json
t16_x0_u0_b95 16 0 0 95 min(P,sqt(eql(P,P))) 74723 129929711 o2(x,o1(o2(x,x))) true 85791 85791 0 0.5 0.9375 0.924 0.9612 -1 1 2 1 1.813 0.0007059 0 0.007937 1 1 0 0.00003235 0.001851 0.0006432 0.02536 3.195 0.1169 0.0007639 0.00003501 1 1 0.001851 0.02449 0.2344 0.002003 0.0265 0.2537 json
t16_x0_u0_b96 16 0 0 96 min(P,sqt(min(P,P))) 74724 129929712 o2(x,o1(o2(x,x))) true 85799 85799 0 0.5 0.9375 0.924 0.9612 -1 1 2 1 1.813 0.0007059 0 0.007937 1 1 0 0.00003235 0.001851 0.0006432 0.02536 3.195 0.1169 0.0007639 0.00003501 1 1 0.001851 0.02449 0.2344 0.002003 0.0265 0.2537 json
t16_x0_u0_b97 16 0 0 97 min(P,sqt(dot(P,P))) 74725 129929713 o2(x,o1(o2(x,x))) true 85807 85807 0 0.5 0.9375 0.924 0.9612 -1 1 2 1 1.813 0.0007059 0 0.007937 1 1 0 0.00003235 0.001851 0.0006432 0.02536 3.195 0.1169 0.0007639 0.00003501 1 1 0.001851 0.02449 0.2344 0.002003 0.0265 0.2537 json
t16_x0_u0_b98 16 0 0 98 min(P,sqt(dst(P,P))) 74726 129929714 o2(x,o1(o2(x,x))) true 85815 85815 -0.4688 0 0.4688 0.2423 0.4922 -1 0 1 1 1.406 0.0003529 0 0.003968 1 1 4.731e-10 0.00001619 0.0009276 0.0003372 0.01836 4.628 0.1169 0.001457 0.00006684 1 1 0.0009255 0.01214 0.0751 0.00382 0.05012 0.31 json
t16_x0_u0_b99 16 0 0 99 dot(P,sqt(add(P,P))) 74727 129929715 o2(x,o1(o2(x,x))) true 85823 85823 -0.5006 0.25 0.9994 0.7487 0.8652 -1 1 2 1 0.8247 0.007623 0.007623 0.007891 -3.054e-8 1 1.502e-10 0.03048 0.01553 0.01518 0.1232 15.61 2 0.02036 0.04071 1 1 0.02 0.08151 0.3341 0.02671 0.1089 0.4463 json
t16_x0_u0_b100 16 0 0 100 dot(P,sqt(sub(P,P))) 74728 129929716 o2(x,o1(o2(x,x))) true 85831 85831 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 json
t16_x0_u0_b101 16 0 0 101 dot(P,sqt(mlt(P,P))) 74729 129929717 o2(x,o1(o2(x,x))) true 85839 85839 -5.588e-9 0.498 0.9799 0.9749 0.9874 -1 1 2 1 1.331 0.003806 0.003806 0.01207 3.671e-7 1 3.379e-11 0.009971 0.01013 0.007471 0.08644 7.16 1.414 0.007808 0.01023 1 1 0.01402 0.1011 0.5386 0.01438 0.1037 0.5525 json
t16_x0_u0_b102 16 0 0 102 dot(P,sqt(div(P,P))) 74730 129929718 o2(x,o1(o2(x,x))) true 85847 85847 -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
t16_x0_u0_b103 16 0 0 103 dot(P,sqt(pow(P,P))) 74731 129929719 o2(x,o1(o2(x,x))) true 85855 85855 -0.5008 0.25 0.9992 0.7483 0.865 -1 1 2 1 0.8325 0.007543 0.007543 0.007877 6.174e-8 1 3.341e-10 0.03016 0.01543 0.01502 0.1226 15.56 2 0.02016 0.04031 1 1 0.01971 0.08047 0.3328 0.02634 0.1075 0.4447 json
t16_x0_u0_b104 16 0 0 104 dot(P,sqt(mod(P,P))) 74732 129929720 o2(x,o1(o2(x,x))) true 85863 85863 -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
t16_x0_u0_b105 16 0 0 105 dot(P,sqt(lrg(P,P))) 74733 129929721 o2(x,o1(o2(x,x))) true 85871 85871 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 json
t16_x0_u0_b106 16 0 0 106 dot(P,sqt(eql(P,P))) 74734 129929722 o2(x,o1(o2(x,x))) true 85879 85879 -1.583e-8 0.498 0.9392 0.9217 0.96 -1 1 2 1 1.917 0.0006889 0.0006889 0.01208 4.225e-7 1 -1.164e-10 0.0002289 0.003184 0.001231 0.03509 2.904 0.1653 0.001495 0.0002483 1 1 0.003512 0.04405 0.4161 0.003811 0.04779 0.4514 json
t16_x0_u0_b107 16 0 0 107 dot(P,sqt(min(P,P))) 74735 129929723 o2(x,o1(o2(x,x))) true 85887 85887 -0.5008 0.25 0.9992 0.7483 0.865 -1 1 2 1 0.8325 0.007543 0.007543 0.007877 6.174e-8 1 3.341e-10 0.03016 0.01543 0.01502 0.1226 15.56 2 0.02016 0.04031 1 1 0.01971 0.08047 0.3328 0.02634 0.1075 0.4447 json
t16_x0_u0_b108 16 0 0 108 dot(P,sqt(dot(P,P))) 74736 129929724 o2(x,o1(o2(x,x))) true 85895 85895 -1.444e-8 0.498 0.9768 0.9708 0.9853 -1 1 2 1 1.38 0.003032 0.003032 0.01211 3.072e-7 1 -6.852e-11 0.00617 0.008629 0.005921 0.07695 6.355 1.414 0.006245 0.006356 1 1 0.01128 0.0918 0.5274 0.01162 0.09456 0.5432 json
t16_x0_u0_b109 16 0 0 109 dot(P,sqt(dst(P,P))) 74737 129929725 o2(x,o1(o2(x,x))) true 85903 85903 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 json
t16_x0_u0_b110 16 0 0 110 dst(P,sqt(add(P,P))) 74738 129929726 o2(x,o1(o2(x,x))) true 85911 85911 -0.5247 0.25 0.9753 0.6905 0.8309 -1 1 2 1 1.167 0.005952 0.005952 0.008463 0.000002308 1 -7.434e-10 0.02368 0.01381 0.01183 0.1088 12.85 2 0.01724 0.0343 1 1 0.01421 0.06034 0.2565 0.02058 0.08739 0.3714 json
t16_x0_u0_b111 16 0 0 111 dst(P,sqt(sub(P,P))) 74739 129929727 o2(x,o1(o2(x,x))) true 85919 85919 0.9964 1 0.9964 0.002289 0.04784 0.000582 1 0.9994 1 0.09109 0.00003966 0.00003966 0.0008105 5.503e-7 0 -4.881e-11 0.00001004 0.0002297 0.00007859 0.008865 10.94 0.1294 0.03466 0.004388 1 1 0.0002733 0.00336 0.008351 0.1194 1.468 3.649 json
t16_x0_u0_b112 16 0 0 112 dst(P,sqt(mlt(P,P))) 74740 129929728 o2(x,o1(o2(x,x))) true 85927 85927 0.728 0.75 0.728 0.1941 0.4406 0 1 1 1 1.013 0.0003387 0.0003387 0.004116 -0.000001031 1 3.693e-10 0.0001441 0.001882 0.0006601 0.02569 6.242 0.2265 0.003489 0.0007422 1 1 0.001724 0.01671 0.08288 0.008879 0.08607 0.427 json
t16_x0_u0_b113 16 0 0 113 dst(P,sqt(div(P,P))) 74741 129929729 o2(x,o1(o2(x,x))) true 85935 85935 -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
t16_x0_u0_b114 16 0 0 114 dst(P,sqt(pow(P,P))) 74742 129929730 o2(x,o1(o2(x,x))) true 85943 85943 -0.5 0.25 1 0.75 0.866 -1 1 2 1 0.8113 0.007937 0.007937 0.007937 0 1 0 0.03187 0.01587 0.01581 0.1257 15.84 2 0.02116 0.0425 1 1 0.02105 0.08421 0.3368 0.02807 0.1123 0.4491 json
t16_x0_u0_b115 16 0 0 115 dst(P,sqt(mod(P,P))) 74743 129929731 o2(x,o1(o2(x,x))) true 85951 85951 -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
t16_x0_u0_b116 16 0 0 116 dst(P,sqt(lrg(P,P))) 74744 129929732 o2(x,o1(o2(x,x))) true 85959 85959 0.9964 1 0.9964 0.002289 0.04784 0.000582 1 0.9994 1 0.09109 0.00003966 0.00003966 0.0008105 5.503e-7 0 -4.881e-11 0.00001004 0.0002297 0.00007859 0.008865 10.94 0.1294 0.03466 0.004388 1 1 0.0002733 0.00336 0.008351 0.1194 1.468 3.649 json
t16_x0_u0_b117 16 0 0 117 dst(P,sqt(eql(P,P))) 74745 129929733 o2(x,o1(o2(x,x))) true 85967 85967 1 1 1 0 0 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 json
t16_x0_u0_b118 16 0 0 118 dst(P,sqt(min(P,P))) 74746 129929734 o2(x,o1(o2(x,x))) true 85975 85975 -0.5134 0.2461 0.9866 0.7195 0.8482 -1 1 2 1 1.002 0.006485 0.006485 0.007849 -0.000001795 1 -9.011e-11 0.02589 0.01425 0.01291 0.1136 14.48 2 0.01803 0.03598 1 1 0.01602 0.06534 0.2798 0.02227 0.09081 0.3889 json
t16_x0_u0_b119 16 0 0 119 dst(P,sqt(dot(P,P))) 74747 129929735 o2(x,o1(o2(x,x))) true 85983 85983 0.9981 1 0.9981 0.001304 0.03611 0.0008231 1 0.9992 1 0.04554 0.00005064 0.00005064 0.0006035 -2.873e-7 1 -2.253e-11 0.00003467 0.0003263 0.000101 0.01005 16.65 0.2586 0.07768 0.02659 1 1 0.0003331 0.003067 0.004754 0.2554 2.352 3.646 json
t16_x0_u0_b120 16 0 0 120 dst(P,sqt(dst(P,P))) 74748 129929736 o2(x,o1(o2(x,x))) true 85991 85991 0.9964 1 0.9964 0.002289 0.04784 0.000582 1 0.9994 1 0.09109 0.00003966 0.00003966 0.0008105 5.503e-7 0 -4.881e-11 0.00001004 0.0002297 0.00007859 0.008865 10.94 0.1294 0.03466 0.004388 1 1 0.0002733 0.00336 0.008351 0.1194 1.468 3.649 json
t16_x0_u1_b0 16 0 1 0 add(P,log(add(P,P))) 74749 129929817 o2(x,o1(o2(x,x))) true 85999 85999 -0.125 0.4375 1 0.9844 0.9922 -1 1 2 1 0.9887 0.01587 0 0.007937 1 1 0 0.03175 0.01587 0.01581 0.1257 15.84 2 0.01612 0.03225 1 1 0.02105 0.08421 0.3368 0.02139 0.08555 0.3422 json
t16_x0_u1_b1 16 0 1 1 add(P,log(sub(P,P))) 74750 129929818 o2(x,o1(o2(x,x))) true 86007 86007 -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
t16_x0_u1_b2 16 0 1 2 add(P,log(mlt(P,P))) 74751 129929819 o2(x,o1(o2(x,x))) true 86015 86015 -0.0906 0.4375 0.9656 0.9327 0.9658 -1 1 2 1 1.744 0.01597 0 0.011 1 1 0 0.03176 0.01679 0.01585 0.1259 11.44 2 0.01712 0.03405 1 1 0.02129 0.08709 0.3501 0.02283 0.09337 0.3754 json
t16_x0_u1_b3 16 0 1 3 add(P,log(div(P,P))) 74752 129929820 o2(x,o1(o2(x,x))) true 86023 86023 -0.125 0.4375 1 0.9844 0.9922 -1 1 2 1 0.9887 0.01587 0 0.007937 1 1 0 0.03175 0.01587 0.01581 0.1257 15.84 2 0.01612 0.03225 1 1 0.02105 0.08421 0.3368 0.02139 0.08555 0.3422 json
t16_x0_u1_b4 16 0 1 4 add(P,log(pow(P,P))) 74753 129929821 o2(x,o1(o2(x,x))) true 86031 86031 -0.125 0.4375 1 0.9844 0.9922 -1 1 2 1 0.9887 0.01587 0 0.007937 1 1 0 0.03175 0.01587 0.01581 0.1257 15.84 2 0.01612 0.03225 1 1 0.02105 0.08421 0.3368 0.02139 0.08555 0.3422 json
t16_x0_u1_b5 16 0 1 5 add(P,log(mod(P,P))) 74754 129929822 o2(x,o1(o2(x,x))) true 86039 86039 -0.875 0.0625 1 0.2344 0.4841 -1 1 2 1 0.3373 0.03175 0 0.01587 1 1 0 0.06349 0.03175 0.03149 0.1774 11.18 2 0.1354 0.2709 1 1 0.01053 0.07368 0.1684 0.04491 0.3144 0.7186 json
t16_x0_u1_b6 16 0 1 6 add(P,log(lrg(P,P))) 74755 129929823 o2(x,o1(o2(x,x))) true 86047 86047 -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
t16_x0_u1_b7 16 0 1 7 add(P,log(eql(P,P))) 74756 129929824 o2(x,o1(o2(x,x))) true 86055 86055 0 0.5 0.9375 0.924 0.9612 -1 1 2 1 1.813 0.0007059 0 0.007937 1 1 0 0.00003235 0.001851 0.0006432 0.02536 3.195 0.1169 0.0007639 0.00003501 1 1 0.001851 0.02449 0.2344 0.002003 0.0265 0.2537 json
t16_x0_u1_b8 16 0 1 8 add(P,log(min(P,P))) 74757 129929825 o2(x,o1(o2(x,x))) true 86063 86063 -0.125 0.4375 1 0.9844 0.9922 -1 1 2 1 0.9887 0.01587 0 0.007937 1 1 0 0.03175 0.01587 0.01581 0.1257 15.84 2 0.01612 0.03225 1 1 0.02105 0.08421 0.3368 0.02139 0.08555 0.3422 json
t16_x0_u1_b9 16 0 1 9 add(P,log(dot(P,P))) 74758 129929826 o2(x,o1(o2(x,x))) true 86071 86071 0.3478 0.6683 0.9144 0.7644 0.8743 -1 1 2 1 2.143 0.00259 0.001975 0.01168 0.1347 1 0.000004791 0.008158 0.007356 0.004424 0.06651 5.696 2.828 0.005973 0.01067 1 1 0.008617 0.05096 0.355 0.01127 0.06667 0.4644 json
t16_x0_u1_b10 16 0 1 10 add(P,log(dst(P,P))) 74759 129929827 o2(x,o1(o2(x,x))) true 86079 86079 -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
t16_x0_u1_b11 16 0 1 11 sub(P,log(add(P,P))) 74760 129929828 o2(x,o1(o2(x,x))) true 86087 86087 -0.1681 0.4375 0.9569 0.9071 0.9524 -1 1 2 1 1.604 0.006895 0 0.007937 1 1 9.461e-10 0.01355 0.01119 0.006831 0.08265 10.41 1.307 0.007601 0.01494 1 1 0.009303 0.04201 0.2503 0.01026 0.04631 0.2759 json
t16_x0_u1_b12 16 0 1 12 sub(P,log(sub(P,P))) 74761 129929829 o2(x,o1(o2(x,x))) true 86095 86095 1 1 1 0 0 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 json
t16_x0_u1_b13 16 0 1 13 sub(P,log(mlt(P,P))) 74762 129929830 o2(x,o1(o2(x,x))) true 86103 86103 -0.0344 0.5 0.9656 0.9403 0.9697 -1 1 2 1 1.73 0.04771 0 0.02687 1 1 0 0.09528 0.04853 0.04699 0.2168 8.067 2 0.05074 0.1013 1 1 0.06337 0.2504 0.301 0.06739 0.2664 0.3201 json
t16_x0_u1_b14 16 0 1 14 sub(P,log(div(P,P))) 74763 129929831 o2(x,o1(o2(x,x))) true 86111 86111 -0.125 0.4375 1 0.9844 0.9922 -1 1 2 1 0.9887 0.01587 0 0.007937 1 1 0 0.03175 0.01587 0.01581 0.1257 15.84 2 0.01612 0.03225 1 1 0.02105 0.08421 0.3368 0.02139 0.08555 0.3422 json
t16_x0_u1_b15 16 0 1 15 sub(P,log(pow(P,P))) 74764 129929832 o2(x,o1(o2(x,x))) true 86119 86119 -0.7987 0.1016 0.9299 0.2656 0.5153 -1 0.9999 2 1 1.287 0.01653 0 0.01587 1 1 9.461e-10 0.03189 0.01823 0.01628 0.1276 8.038 2 0.06226 0.1201 1 1 0.02271 0.09908 0.37 0.08551 0.3731 1.393 json
t16_x0_u1_b16 16 0 1 16 sub(P,log(mod(P,P))) 74765 129929833 o2(x,o1(o2(x,x))) true 86127 86127 -0.625 0.1875 1 0.6094 0.7806 -1 1 2 1 0.6962 0.04762 0 0.02381 1 1 0 0.09524 0.04762 0.04704 0.2169 9.109 2 0.07814 0.1563 1 1 0.05263 0.2421 0.6632 0.08637 0.3973 1.088 json
t16_x0_u1_b17 16 0 1 17 sub(P,log(lrg(P,P))) 74766 129929834 o2(x,o1(o2(x,x))) true 86135 86135 -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
t16_x0_u1_b18 16 0 1 18 sub(P,log(eql(P,P))) 74767 129929835 o2(x,o1(o2(x,x))) true 86143 86143 0 0.5 0.9375 0.924 0.9612 -1 1 2 1 1.813 0.0007059 0 0.007937 1 1 0 0.00003235 0.001851 0.0006432 0.02536 3.195 0.1169 0.0007639 0.00003501 1 1 0.001851 0.02449 0.2344 0.002003 0.0265 0.2537 json
t16_x0_u1_b19 16 0 1 19 sub(P,log(min(P,P))) 74768 129929836 o2(x,o1(o2(x,x))) true 86151 86151 -0.125 0.4375 1 0.9844 0.9922 -1 1 2 1 0.9887 0.01587 0 0.007937 1 1 0 0.03175 0.01587 0.01581 0.1257 15.84 2 0.01612 0.03225 1 1 0.02105 0.08421 0.3368 0.02139 0.08555 0.3422 json
t16_x0_u1_b20 16 0 1 20 sub(P,log(dot(P,P))) 74769 129929837 o2(x,o1(o2(x,x))) true 86159 86159 -0.3713 0.32 0.9144 0.7471 0.8643 -1 1 2 1 2.127 0.003907 0.002658 0.01267 0.1902 1 -0.00000479 0.01251 0.009371 0.006402 0.08001 6.314 2.828 0.008788 0.01675 1 1 0.01211 0.06145 0.2773 0.01622 0.08226 0.3712 json
t16_x0_u1_b21 16 0 1 21 sub(P,log(dst(P,P))) 74770 129929838 o2(x,o1(o2(x,x))) true 86167 86167 1 1 1 0 0 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 json
t16_x0_u1_b22 16 0 1 22 mlt(P,log(add(P,P))) 74771 129929839 o2(x,o1(o2(x,x))) true 86175 86175 -0.129 0.4375 0.996 0.9759 0.9879 -1 1 2 1 1.109 0.0115 0 0.007937 1 1 -1.419e-9 0.02266 0.01442 0.01144 0.1069 13.47 1.694 0.01179 0.02321 1 1 0.01549 0.07491 0.3275 0.01587 0.07676 0.3356 json
t16_x0_u1_b23 16 0 1 23 mlt(P,log(sub(P,P))) 74772 129929840 o2(x,o1(o2(x,x))) true 86183 86183 0 0.5 1 1 1 -1 1 2 1 1 0.01587 0 0.007937 1 1 0 0.03175 0.01587 0.01581 0.1257 15.84 2 0.01587 0.03175 1 1 0.02105 0.08421 0.3368 0.02105 0.08421 0.3368 json
t16_x0_u1_b24 16 0 1 24 mlt(P,log(mlt(P,P))) 74773 129929841 o2(x,o1(o2(x,x))) true 86191 86191 -0.125 0.4375 0.9627 0.9408 0.9699 -1 1 2 1 1.432 0.009514 0 0.01587 1 1 1.891e-9 0.01636 0.02024 0.009257 0.09621 6.064 1.001 0.01011 0.01739 1 1 0.01439 0.07568 0.3283 0.0153 0.08044 0.349 json
t16_x0_u1_b25 16 0 1 25 mlt(P,log(div(P,P))) 74774 129929842 o2(x,o1(o2(x,x))) true 86199 86199 -0.125 0 0.125 0.1094 0.3307 -1 4.172e-7 1 1 1.294 0.007937 0 0.007937 1 1 1.488e-13 0.01587 0.01587 0.007872 0.08872 11.18 1 0.07256 0.1451 1 1 0.01053 0.04211 0.1684 0.09624 0.385 1.54 json
t16_x0_u1_b26 16 0 1 26 mlt(P,log(pow(P,P))) 74775 129929843 o2(x,o1(o2(x,x))) true 86207 86207 -0.1436 0.4375 0.9814 0.9579 0.9787 -1 1 2 1 1.205 0.004763 0 0.007937 1 1 1.891e-9 0.00804 0.01005 0.004699 0.06855 8.637 1.001 0.004973 0.008394 1 1 0.007304 0.05483 0.3075 0.007625 0.05724 0.321 json
t16_x0_u1_b27 16 0 1 27 mlt(P,log(mod(P,P))) 74776 129929844 o2(x,o1(o2(x,x))) true 86215 86215 -0.875 0.0625 1 0.2344 0.4841 -1 1 2 1 0.3373 0.03175 0 0.01587 1 1 0 0.06349 0.03175 0.03149 0.1774 11.18 2 0.1354 0.2709 1 1 0.01053 0.07368 0.1684 0.04491 0.3144 0.7186 json
t16_x0_u1_b28 16 0 1 28 mlt(P,log(lrg(P,P))) 74777 129929845 o2(x,o1(o2(x,x))) true 86223 86223 -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
t16_x0_u1_b29 16 0 1 29 mlt(P,log(eql(P,P))) 74778 129929846 o2(x,o1(o2(x,x))) true 86231 86231 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 json
t16_x0_u1_b30 16 0 1 30 mlt(P,log(min(P,P))) 74779 129929847 o2(x,o1(o2(x,x))) true 86239 86239 -0.1507 0.4375 0.9743 0.9471 0.9732 -1 1 2 1 1.29 0.004479 0 0.007936 1 1 -9.461e-10 0.007933 0.00915 0.004415 0.06645 8.372 1 0.004729 0.008376 1 1 0.006621 0.04469 0.2958 0.006991 0.04718 0.3123 json
t16_x0_u1_b31 16 0 1 31 mlt(P,log(dot(P,P))) 74780 129929848 o2(x,o1(o2(x,x))) true 86247 86247 -0.01563 0.4922 0.9622 0.9544 0.9769 -1 1 2 1 1.51 0.002661 0.001232 0.009788 0.3672 1 8.447e-12 0.005497 0.008287 0.003795 0.06161 6.294 2.395 0.004079 0.00576 1 1 0.007604 0.0501 0.3246 0.007967 0.05249 0.3401 json
t16_x0_u1_b32 16 0 1 32 mlt(P,log(dst(P,P))) 74781 129929849 o2(x,o1(o2(x,x))) true 86255 86255 0 0.5 1 1 1 -1 1 2 1 1 0.01587 0 0.007937 1 1 0 0.03175 0.01587 0.01581 0.1257 15.84 2 0.01587 0.03175 1 1 0.02105 0.08421 0.3368 0.02105 0.08421 0.3368 json
t16_x0_u1_b33 16 0 1 33 div(P,log(add(P,P))) 74782 129929850 o2(x,o1(o2(x,x))) true 86263 86263 -0.02511 0.5 0.9749 0.9693 0.9846 -1 1 2 1 1.276 0.004505 0 0.007937 1 1 -9.454e-10 0.007955 0.0092 0.004441 0.06664 8.397 1 0.004648 0.008207 1 1 0.006675 0.04528 0.2967 0.006886 0.04671 0.3061 json
t16_x0_u1_b34 16 0 1 34 div(P,log(sub(P,P))) 74783 129929851 o2(x,o1(o2(x,x))) true 86271 86271 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 json
t16_x0_u1_b35 16 0 1 35 div(P,log(mlt(P,P))) 74784 129929852 o2(x,o1(o2(x,x))) true 86279 86279 -0.125 0.4375 1 0.9844 0.9922 -1 1 2 1 0.9887 0.04762 0 0.02381 1 1 0 0.09524 0.04762 0.04704 0.2169 9.109 2 0.04837 0.09675 1 1 0.06316 0.2526 0.3368 0.06416 0.2566 0.3422 json
t16_x0_u1_b36 16 0 1 36 div(P,log(div(P,P))) 74785 129929853 o2(x,o1(o2(x,x))) true 86287 86287 -0.625 0.1875 1 0.6094 0.7806 -1 1 2 1 0.6962 0.07937 0 0.03968 1 1 0 0.1587 0.07937 0.07773 0.2788 7.026 2 0.1302 0.2605 1 1 0.04211 0.1684 0.4947 0.0691 0.2764 0.8119 json
t16_x0_u1_b37 16 0 1 37 div(P,log(pow(P,P))) 74786 129929854 o2(x,o1(o2(x,x))) true 86295 86295 -0.3693 0.375 0.8807 0.6743 0.8212 -1 1 2 1 2.038 0.0159 0 0.009995 1 1 -0.000002961 0.03175 0.01654 0.01581 0.1257 12.58 2 0.02358 0.04708 1 1 0.02112 0.08499 0.3116 0.03132 0.126 0.4621 json
t16_x0_u1_b38 16 0 1 38 div(P,log(mod(P,P))) 74787 129929855 o2(x,o1(o2(x,x))) true 86303 86303 -0.1965 0.3125 0.6785 0.628 0.7925 -1 1 2 1 1.991 0.02314 0 0.03561 1 1 -0.0003232 0.04072 0.04857 0.02186 0.1479 4.152 1 0.03684 0.06484 1 1 0.03224 0.1559 0.4301 0.05134 0.2483 0.6848 json
t16_x0_u1_b39 16 0 1 39 div(P,log(lrg(P,P))) 74788 129929856 o2(x,o1(o2(x,x))) true 86311 86311 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 json
t16_x0_u1_b40 16 0 1 40 div(P,log(eql(P,P))) 74789 129929857 o2(x,o1(o2(x,x))) true 86319 86319 0 0.5 1 1 1 -1 1 2 1 1 0.01587 0 0.007937 1 1 0 0.03175 0.01587 0.01581 0.1257 15.84 2 0.01587 0.03175 1 1 0.02105 0.08421 0.3368 0.02105 0.08421 0.3368 json
t16_x0_u1_b41 16 0 1 41 div(P,log(min(P,P))) 74790 129929858 o2(x,o1(o2(x,x))) true 86327 86327 -0.125 0.4375 1 0.9844 0.9922 -1 1 2 1 0.9887 0.04762 0 0.02381 1 1 0 0.09524 0.04762 0.04704 0.2169 9.109 2 0.04837 0.09675 1 1 0.06316 0.2526 0.3368 0.06416 0.2566 0.3422 json
t16_x0_u1_b42 16 0 1 42 div(P,log(dot(P,P))) 74791 129929859 o2(x,o1(o2(x,x))) true 86335 86335 -0.04688 0.4748 0.843 0.7868 0.887 -1 1 2 1 3.082 0.00398 0.003198 0.0106 0.109 1 9.503e-11 0.01469 0.009688 0.007068 0.08407 7.935 2.828 0.009124 0.01867 1 1 0.01279 0.05559 0.2648 0.01626 0.07066 0.3365 json
t16_x0_u1_b43 16 0 1 43 div(P,log(dst(P,P))) 74792 129929860 o2(x,o1(o2(x,x))) true 86343 86343 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 json
t16_x0_u1_b44 16 0 1 44 pow(P,log(add(P,P))) 74793 129929861 o2(x,o1(o2(x,x))) true 86351 86351 -0.125 0.4375 1 0.9844 0.9922 -1 1 2 1 0.9887 0.01587 0 0.007937 1 1 0 0.03175 0.01587 0.01581 0.1257 15.84 2 0.01612 0.03225 1 1 0.02105 0.08421 0.3368 0.02139 0.08555 0.3422 json
t16_x0_u1_b45 16 0 1 45 pow(P,log(sub(P,P))) 74794 129929862 o2(x,o1(o2(x,x))) true 86359 86359 -0.5313 0.0625 0.5938 0.3046 0.5519 -1 0.9997 2 1 1.385 0.01622 0 0.0119 1 1 -4.731e-10 0.03186 0.0168 0.01607 0.1268 10.65 2 0.05326 0.1046 1 1 0.0219 0.08325 0.1593 0.0719 0.2733 0.523 json
t16_x0_u1_b46 16 0 1 46 pow(P,log(mlt(P,P))) 74795 129929863 o2(x,o1(o2(x,x))) true 86367 86367 0 0.5 1 1 1 -1 1 2 1 1 0.04762 0 0.02381 1 1 0 0.09524 0.04762 0.04704 0.2169 9.109 2 0.04762 0.09524 1 1 0.06316 0.2526 0.3368 0.06316 0.2526 0.3368 json
t16_x0_u1_b47 16 0 1 47 pow(P,log(div(P,P))) 74796 129929864 o2(x,o1(o2(x,x))) true 86375 86375 0.125 0.5625 1 0.9844 0.9922 -1 1 2 1 0.9887 0.07937 0 0.03968 1 1 3.784e-9 0.1587 0.07937 0.07773 0.2788 7.026 2 0.08062 0.1612 1 1 0.1053 0.4211 0.8421 0.1069 0.4277 0.8555 json
t16_x0_u1_b48 16 0 1 48 pow(P,log(pow(P,P))) 74797 129929865 o2(x,o1(o2(x,x))) true 86383 86383 -0.125 0.4375 1 0.9844 0.9922 -1 1 2 1 0.9887 0.01587 0 0.007937 1 1 0 0.03175 0.01587 0.01581 0.1257 15.84 2 0.01612 0.03225 1 1 0.02105 0.08421 0.3368 0.02139 0.08555 0.3422 json
t16_x0_u1_b49 16 0 1 49 pow(P,log(mod(P,P))) 74798 129929866 o2(x,o1(o2(x,x))) true 86391 86391 -0.2679 0.375 0.8571 0.7705 0.8778 -1 1 2 1 1.865 0.02147 0 0.02653 1 1 -0.002721 0.03571 0.02856 0.02078 0.1442 5.434 2 0.02786 0.04635 1 1 0.02955 0.1362 0.3272 0.03836 0.1768 0.4247 json
t16_x0_u1_b50 16 0 1 50 pow(P,log(lrg(P,P))) 74799 129929867 o2(x,o1(o2(x,x))) true 86399 86399 -0.5313 0.0625 0.5938 0.3046 0.5519 -1 0.9997 2 1 1.385 0.01622 0 0.0119 1 1 -4.731e-10 0.03186 0.0168 0.01607 0.1268 10.65 2 0.05326 0.1046 1 1 0.0219 0.08325 0.1593 0.0719 0.2733 0.523 json