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_x9_u2_b107 16 9 2 107 dot(D,frc(min(P,P))) 82600 130293734 o2(x,o1(o2(x,x))) true 148807 148807 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_x9_u2_b108 16 9 2 108 dot(D,frc(dot(P,P))) 82601 130293735 o2(x,o1(o2(x,x))) true 148815 148815 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_x9_u2_b109 16 9 2 109 dot(D,frc(dst(P,P))) 82602 130293736 o2(x,o1(o2(x,x))) true 148823 148823 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_x9_u2_b110 16 9 2 110 dst(D,frc(add(P,P))) 82603 130293737 o2(x,o1(o2(x,x))) true 148831 148831 0.4439 1 0.4439 0.02504 0.1582 0.04473 0.7026 0.6579 1 3.252 0.001981 0.001981 0.05914 2.938e-7 1 -0.0006857 0.0006739 0.01958 0.000465 0.02156 0.3646 0.09377 0.1583 0.02692 1 1 0.007608 0.05068 0 0.3039 2.024 0 json
t16_x9_u2_b111 16 9 2 111 dst(D,frc(sub(P,P))) 82604 130293738 o2(x,o1(o2(x,x))) true 148839 148839 0.4439 1 0.4439 0.02504 0.1582 0.04473 0.7026 0.6579 1 3.252 0.001981 0.001981 0.05914 2.938e-7 1 -0.0006857 0.0006739 0.01958 0.000465 0.02156 0.3646 0.09377 0.1583 0.02692 1 1 0.007608 0.05068 0 0.3039 2.024 0 json
t16_x9_u2_b112 16 9 2 112 dst(D,frc(mlt(P,P))) 82605 130293739 o2(x,o1(o2(x,x))) true 148847 148847 0.4439 1 0.4439 0.02504 0.1582 0.04473 0.7026 0.6579 1 3.252 0.001981 0.001981 0.05914 2.938e-7 1 -0.0006857 0.0006739 0.01958 0.000465 0.02156 0.3646 0.09377 0.1583 0.02692 1 1 0.007608 0.05068 0 0.3039 2.024 0 json
t16_x9_u2_b113 16 9 2 113 dst(D,frc(div(P,P))) 82606 130293740 o2(x,o1(o2(x,x))) true 148855 148855 -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_x9_u2_b114 16 9 2 114 dst(D,frc(pow(P,P))) 82607 130293741 o2(x,o1(o2(x,x))) true 148863 148863 -0.5702 0.25 0.9298 0.5732 0.7571 -1 1 2 1 1.631 0.004951 0.004951 0.01526 0.000008652 1 -0.00009446 0.0185 0.01521 0.009673 0.09835 6.445 2 0.01728 0.03227 1 1 0.01364 0.06686 0.2454 0.02379 0.1166 0.4281 json
t16_x9_u2_b115 16 9 2 115 dst(D,frc(mod(P,P))) 82608 130293742 o2(x,o1(o2(x,x))) true 148871 148871 -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_x9_u2_b116 16 9 2 116 dst(D,frc(lrg(P,P))) 82609 130293743 o2(x,o1(o2(x,x))) true 148879 148879 0.4439 1 0.4439 0.02504 0.1582 0.04473 0.7026 0.6579 1 3.252 0.001981 0.001981 0.05914 2.938e-7 1 -0.0006857 0.0006739 0.01958 0.000465 0.02156 0.3646 0.09377 0.1583 0.02692 1 1 0.007608 0.05068 0 0.3039 2.024 0 json
t16_x9_u2_b117 16 9 2 117 dst(D,frc(eql(P,P))) 82610 130293744 o2(x,o1(o2(x,x))) true 148887 148887 0.4439 1 0.4439 0.02504 0.1582 0.04473 0.7026 0.6579 1 3.252 0.001981 0.001981 0.05914 2.938e-7 1 -0.0006857 0.0006739 0.01958 0.000465 0.02156 0.3646 0.09377 0.1583 0.02692 1 1 0.007608 0.05068 0 0.3039 2.024 0 json
t16_x9_u2_b118 16 9 2 118 dst(D,frc(min(P,P))) 82611 130293745 o2(x,o1(o2(x,x))) true 148895 148895 0.4439 1 0.4439 0.02504 0.1582 0.04473 0.7026 0.6579 1 3.252 0.001981 0.001981 0.05914 2.938e-7 1 -0.0006857 0.0006739 0.01958 0.000465 0.02156 0.3646 0.09377 0.1583 0.02692 1 1 0.007608 0.05068 0 0.3039 2.024 0 json
t16_x9_u2_b119 16 9 2 119 dst(D,frc(dot(P,P))) 82612 130293746 o2(x,o1(o2(x,x))) true 148903 148903 0.4439 1 0.4439 0.02504 0.1582 0.04473 0.7026 0.6579 1 3.252 0.001981 0.001981 0.05914 2.938e-7 1 -0.0006857 0.0006739 0.01958 0.000465 0.02156 0.3646 0.09377 0.1583 0.02692 1 1 0.007608 0.05068 0 0.3039 2.024 0 json
t16_x9_u2_b120 16 9 2 120 dst(D,frc(dst(P,P))) 82613 130293747 o2(x,o1(o2(x,x))) true 148911 148911 0.4439 1 0.4439 0.02504 0.1582 0.04473 0.7026 0.6579 1 3.252 0.001981 0.001981 0.05914 2.938e-7 1 -0.0006857 0.0006739 0.01958 0.000465 0.02156 0.3646 0.09377 0.1583 0.02692 1 1 0.007608 0.05068 0 0.3039 2.024 0 json
t16_x9_u3_b0 16 9 3 0 add(D,flr(add(P,P))) 82614 130293828 o2(x,o1(o2(x,x))) true 148919 148919 0 0.5 0.9629 0.9531 0.9763 -1 1 2 1 1.525 0.001033 0 0.007937 1 1 0 0.0001387 0.002289 0.0009709 0.03116 3.926 0.1758 0.001084 0.0001455 1 1 0.002648 0.03249 0.2737 0.002779 0.03409 0.2871 json
t16_x9_u3_b1 16 9 3 1 add(D,flr(sub(P,P))) 82615 130293829 o2(x,o1(o2(x,x))) true 148927 148927 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
t16_x9_u3_b2 16 9 3 2 add(D,flr(mlt(P,P))) 82616 130293830 o2(x,o1(o2(x,x))) true 148935 148935 0.9359 0.9805 0.9381 0.04617 0.2149 -0.09672 1 1.097 1 0.9036 0.0008869 0 0.009222 1 1 9.461e-10 0.0001182 0.00243 0.0008017 0.02831 3.07 0.1713 0.01921 0.002561 1 1 0.002274 0.02576 0.06766 0.04925 0.5578 1.465 json
t16_x9_u3_b3 16 9 3 3 add(D,flr(div(P,P))) 82617 130293831 o2(x,o1(o2(x,x))) true 148943 148943 0.3588 0.7344 0.6294 0.4175 0.6462 -1 1 2 1 3.771 0.03511 0 0.05931 1 1 0.000248 0.06386 0.04389 0.03159 0.1777 2.997 2 0.08408 0.153 1 1 0.04796 0.2367 0.6804 0.1149 0.5669 1.629 json
t16_x9_u3_b4 16 9 3 4 add(D,flr(pow(P,P))) 82618 130293832 o2(x,o1(o2(x,x))) true 148951 148951 -0.002949 0.5 0.9971 0.9944 0.9972 -1 1 2 1 1.16 0.01592 0 0.009091 1 1 0 0.03177 0.01672 0.01583 0.1258 13.84 2 0.01601 0.03194 1 1 0.02116 0.08467 0.3293 0.02128 0.08514 0.3312 json
t16_x9_u3_b5 16 9 3 5 add(D,flr(mod(P,P))) 82619 130293833 o2(x,o1(o2(x,x))) true 148959 148959 -0.125 0.4375 0.6517 0.5933 0.7703 -1 1 2 1 3.051 0.01669 0 0.04953 1 1 9.386e-13 0.01989 0.04092 0.01424 0.1193 2.409 1.031 0.02813 0.03353 1 1 0.02501 0.1598 0.4305 0.04215 0.2693 0.7255 json
t16_x9_u3_b6 16 9 3 6 add(D,flr(lrg(P,P))) 82620 130293834 o2(x,o1(o2(x,x))) true 148967 148967 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
t16_x9_u3_b7 16 9 3 7 add(D,flr(eql(P,P))) 82621 130293835 o2(x,o1(o2(x,x))) true 148975 148975 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
t16_x9_u3_b8 16 9 3 8 add(D,flr(min(P,P))) 82622 130293836 o2(x,o1(o2(x,x))) true 148983 148983 0 0.5 0.9375 0.9165 0.9574 -1 1 2 1 1.979 0.0004883 0 0.007937 1 1 0 0.0000155 0.000496 0.0004253 0.02062 2.598 0.0625 0.0005327 0.00001691 1 1 0.001285 0.01928 0.2245 0.001402 0.02104 0.245 json
t16_x9_u3_b9 16 9 3 9 add(D,flr(dot(P,P))) 82623 130293837 o2(x,o1(o2(x,x))) true 148991 148991 0.9965 0.9995 0.9966 0.002291 0.04786 -0.09643 1 1.096 1 0.09085 0.00005708 0.00004421 0.000887 0.1271 1 5.256e-11 0.00002596 0.000367 0.0001006 0.01003 11.31 0.2014 0.04422 0.01133 1 1 0.0003403 0.003622 0.008352 0.1485 1.581 3.646 json
t16_x9_u3_b10 16 9 3 10 add(D,flr(dst(P,P))) 82624 130293838 o2(x,o1(o2(x,x))) true 148999 148999 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
t16_x9_u3_b11 16 9 3 11 sub(D,flr(add(P,P))) 82625 130293839 o2(x,o1(o2(x,x))) true 149007 149007 0 0.5 0.9537 0.9469 0.9731 -1 1 2 1 1.494 0.001772 0 0.009085 1 1 0 0.0004501 0.004884 0.00169 0.04111 4.525 0.2773 0.001871 0.0004753 1 1 0.004401 0.0356 0.2653 0.004647 0.0376 0.2802 json
t16_x9_u3_b12 16 9 3 12 sub(D,flr(sub(P,P))) 82626 130293840 o2(x,o1(o2(x,x))) true 149015 149015 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
t16_x9_u3_b13 16 9 3 13 sub(D,flr(mlt(P,P))) 82627 130293841 o2(x,o1(o2(x,x))) true 149023 149023 -0.9359 0.01953 0.9381 0.04617 0.2149 -1 0.09672 1.097 1 0.9036 0.0008869 0 0.009222 1 1 -9.461e-10 0.0001182 0.00243 0.0008017 0.02831 3.07 0.1713 0.01921 0.002561 1 1 0.002274 0.02576 0.06766 0.04925 0.5578 1.465 json
t16_x9_u3_b14 16 9 3 14 sub(D,flr(div(P,P))) 82628 130293842 o2(x,o1(o2(x,x))) true 149031 149031 -0.6088 0.1406 0.6294 0.1756 0.4191 -1 0.1454 1.145 1 3.427 0.003837 0 0.04343 1 1 -0.000248 0.000473 0.01239 0.001951 0.04417 1.017 0.1713 0.02184 0.002693 1 1 0.007128 0.07803 0.194 0.04058 0.4442 1.105 json
t16_x9_u3_b15 16 9 3 15 sub(D,flr(pow(P,P))) 82629 130293843 o2(x,o1(o2(x,x))) true 149039 149039 -0.9965 0 0.9965 0.0003517 0.01875 -1 -0.8546 0.1454 1 0.2078 0.00006283 0 0.001672 1 0 0 0.00004462 0.001419 0.00006005 0.007749 4.635 0.05567 0.1787 0.1269 1 1 0.0001371 0.0004901 0.0004901 0.3898 1.394 1.394 json
t16_x9_u3_b16 16 9 3 16 sub(D,flr(mod(P,P))) 82630 130293844 o2(x,o1(o2(x,x))) true 149047 149047 -0.125 0.4375 0.6509 0.5925 0.7698 -1 1 2 1 3.052 0.01635 0 0.04853 1 1 9.386e-13 0.01951 0.03939 0.014 0.1183 2.437 1.031 0.02759 0.03294 1 1 0.02604 0.1527 0.4236 0.04395 0.2577 0.7149 json
t16_x9_u3_b17 16 9 3 17 sub(D,flr(lrg(P,P))) 82631 130293845 o2(x,o1(o2(x,x))) true 149055 149055 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
t16_x9_u3_b18 16 9 3 18 sub(D,flr(eql(P,P))) 82632 130293846 o2(x,o1(o2(x,x))) true 149063 149063 -0.9529 0 0.9529 0.003185 0.05644 -1 -0.8546 0.1454 1 1.329 0.0007092 0 0.01796 1 1 -0.0001582 0.0003006 0.01323 0.0003863 0.01965 1.094 0.05567 0.2227 0.09439 1 1 0.001259 0.005463 2.842e-15 0.3952 1.715 8.924e-13 json
t16_x9_u3_b19 16 9 3 19 sub(D,flr(min(P,P))) 82633 130293847 o2(x,o1(o2(x,x))) true 149071 149071 0 0.5 0.9375 0.9252 0.9619 -1 1 2 1 1.774 0.001323 0 0.01101 1 1 0 0.0002527 0.005079 0.001202 0.03468 3.15 0.1713 0.00143 0.0002731 1 1 0.003342 0.0331 0.2361 0.003612 0.03578 0.2552 json
t16_x9_u3_b20 16 9 3 20 sub(D,flr(dot(P,P))) 82634 130293848 o2(x,o1(o2(x,x))) true 149079 149079 -0.9965 0.0004578 0.9966 0.002291 0.04786 -1 0.09643 1.096 1 0.09085 0.00005708 0.00004421 0.0008805 0.1271 1 -4.881e-11 0.00002596 0.000367 0.0001006 0.01003 11.39 0.2053 0.04422 0.01133 1 1 0.0003403 0.003622 0.008352 0.1485 1.581 3.646 json
t16_x9_u3_b21 16 9 3 21 sub(D,flr(dst(P,P))) 82635 130293849 o2(x,o1(o2(x,x))) true 149087 149087 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
t16_x9_u3_b22 16 9 3 22 mlt(D,flr(add(P,P))) 82636 130293850 o2(x,o1(o2(x,x))) true 149095 149095 -0.192 0.3594 0.6313 0.4802 0.693 -1 1 2 1 4.289 0.08647 0 0.1943 1 1 -2.602e-9 0.03671 0.1114 0.04871 0.2207 1.136 0.8669 0.1801 0.07645 1 1 0.1151 0.7631 0.05344 0.2398 1.589 0.1113 json
t16_x9_u3_b23 16 9 3 23 mlt(D,flr(sub(P,P))) 82637 130293851 o2(x,o1(o2(x,x))) true 149103 149103 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_x9_u3_b24 16 9 3 24 mlt(D,flr(mlt(P,P))) 82638 130293852 o2(x,o1(o2(x,x))) true 149111 149111 1.486e-8 0.5 0.7248 0.659 0.8118 -1 1 2 1 3.574 0.1916 0 0.1921 1 1 0 0.2709 0.2246 0.1548 0.3935 2.048 2 0.2908 0.411 1 1 0.1826 0.8212 0.1218 0.2772 1.246 0.1848 json
t16_x9_u3_b25 16 9 3 25 mlt(D,flr(div(P,P))) 82639 130293853 o2(x,o1(o2(x,x))) true 149119 149119 -0.125 0.375 0.2201 0.1269 0.3563 -1 0.2729 1.273 1 3.278 0.009056 0 0.03329 1 1 1.525e-12 0.01601 0.0245 0.007948 0.08915 2.678 1.031 0.07135 0.1262 1 1 0.01306 0.06433 0.1909 0.1029 0.5068 1.504 json
t16_x9_u3_b26 16 9 3 26 mlt(D,flr(pow(P,P))) 82640 130293854 o2(x,o1(o2(x,x))) true 149127 149127 -0.8343 0.07813 0.8956 0.182 0.4267 -1 1 2 1 1.333 0.1592 0 0.09788 1 1 -3.784e-9 0.406 0.1723 0.1497 0.3869 3.953 2 0.8747 2.23 1 1 0.1215 0.1677 0.1353 0.6677 0.9213 0.7434 json
t16_x9_u3_b27 16 9 3 27 mlt(D,flr(mod(P,P))) 82641 130293855 o2(x,o1(o2(x,x))) true 149135 149135 -0.1375 0.3047 0.4796 0.384 0.6197 -1 1 2 1 3.796 0.02962 0 0.09361 1 1 -0.001037 0.02068 0.05016 0.02086 0.1444 1.543 1 0.07712 0.05386 1 1 0.02754 0.2173 0.4066 0.07171 0.5657 1.059 json
t16_x9_u3_b28 16 9 3 28 mlt(D,flr(lrg(P,P))) 82642 130293856 o2(x,o1(o2(x,x))) true 149143 149143 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_x9_u3_b29 16 9 3 29 mlt(D,flr(eql(P,P))) 82643 130293857 o2(x,o1(o2(x,x))) true 149151 149151 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
t16_x9_u3_b30 16 9 3 30 mlt(D,flr(min(P,P))) 82644 130293858 o2(x,o1(o2(x,x))) true 149159 149159 -0.1371 0.3594 0.4002 0.2253 0.4747 -1 0.9606 1.961 1 4.765 0.03261 0 0.1409 1 1 0.002385 0.006072 0.05811 0.01278 0.113 0.8025 0.4334 0.1447 0.02695 1 1 0.03817 0.2764 0.02108 0.1694 1.227 0.09354 json
t16_x9_u3_b31 16 9 3 31 mlt(D,flr(dot(P,P))) 82645 130293859 o2(x,o1(o2(x,x))) true 149167 149167 4.657e-10 0.5 0.899 0.8669 0.9311 -1 1 2 1 2.4 0.3311 0.0001049 0.2352 0.9994 1 -7.227e-11 0.5604 0.3571 0.276 0.5254 2.234 2 0.3821 0.6464 1 1 0.3214 1.373 0.09237 0.3707 1.584 0.1066 json
t16_x9_u3_b32 16 9 3 32 mlt(D,flr(dst(P,P))) 82646 130293860 o2(x,o1(o2(x,x))) true 149175 149175 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_x9_u3_b33 16 9 3 33 div(D,flr(add(P,P))) 82647 130293861 o2(x,o1(o2(x,x))) true 149183 149183 -0.1172 0.5156 0.1396 0.1118 0.3344 -1 0.09611 1.096 1 1.625 0.008241 0 0.01314 1 1 0.00001845 0.01591 0.01789 0.008069 0.08983 6.835 1.016 0.07369 0.1423 1 1 0.0113 0.04902 0.1769 0.1011 0.4384 1.582 json
t16_x9_u3_b34 16 9 3 34 div(D,flr(sub(P,P))) 82648 130293862 o2(x,o1(o2(x,x))) true 149191 149191 0 0.5 1 1 1 -1 1 2 1 1 0.4921 0 0.246 1 1 0 0.9841 0.4921 0.4315 0.6569 2.67 2 0.4921 0.9841 1 1 0.4947 2 0 0.4947 2 0 json
t16_x9_u3_b35 16 9 3 35 div(D,flr(mlt(P,P))) 82649 130293863 o2(x,o1(o2(x,x))) true 149199 149199 -0.125 0.4375 0.1449 0.1119 0.3346 -1 0.2292 1.229 1 1.914 0.008101 0 0.01359 1 1 5.206e-13 0.01591 0.01794 0.007917 0.08897 6.547 1.031 0.07237 0.1421 1 1 0.01094 0.04519 0.1716 0.09775 0.4037 1.533 json
t16_x9_u3_b36 16 9 3 36 div(D,flr(div(P,P))) 82650 130293864 o2(x,o1(o2(x,x))) true 149207 149207 -0.75 0.125 0.7736 0.1902 0.4361 -1 0.1454 1.145 1 1.452 0.03213 0 0.04 1 1 9.386e-13 0.0636 0.06699 0.03053 0.1747 4.368 1.031 0.1689 0.3344 1 1 0.04306 0.1739 0.2979 0.2264 0.9142 1.566 json
t16_x9_u3_b37 16 9 3 37 div(D,flr(pow(P,P))) 82651 130293865 o2(x,o1(o2(x,x))) true 149215 149215 -0.4911 0.2422 0.5151 0.2608 0.5107 -1 0.2292 1.229 1 1.748 0.004401 0 0.008812 1 1 3.501e-13 0.008017 0.009714 0.004323 0.06575 7.461 1.031 0.01687 0.03074 1 1 0.006357 0.02867 0.09571 0.02437 0.1099 0.367 json
t16_x9_u3_b38 16 9 3 38 div(D,flr(mod(P,P))) 82652 130293866 o2(x,o1(o2(x,x))) true 149223 149223 -0.8745 0.07031 0.8769 0.1101 0.3318 -1 0.02606 1.026 1 0.6672 0.01589 0 0.01652 1 1 4.721e-10 0.03175 0.03202 0.0156 0.1249 7.56 1.005 0.1443 0.2884 1 1 0.002659 0.01913 0.0424 0.02415 0.1738 0.3852 json
t16_x9_u3_b39 16 9 3 39 div(D,flr(lrg(P,P))) 82653 130293867 o2(x,o1(o2(x,x))) true 149231 149231 -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_x9_u3_b40 16 9 3 40 div(D,flr(eql(P,P))) 82654 130293868 o2(x,o1(o2(x,x))) true 149239 149239 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
t16_x9_u3_b41 16 9 3 41 div(D,flr(min(P,P))) 82655 130293869 o2(x,o1(o2(x,x))) true 149247 149247 -0.1094 0.5156 0.1542 0.1153 0.3396 -1 0.1922 1.192 1 1.912 0.00866 0 0.01835 1 1 0.0000369 0.01597 0.01991 0.008324 0.09124 4.973 1.031 0.07511 0.1385 1 1 0.01236 0.05779 0.1864 0.1072 0.5012 1.617 json
t16_x9_u3_b42 16 9 3 42 div(D,flr(dot(P,P))) 82656 130293870 o2(x,o1(o2(x,x))) true 149255 149255 -0.01562 0.4869 0.02188 0.01571 0.1253 -1 0.2292 1.229 1 1.239 0.001036 0.001022 0.004222 0.006526 1 -9.421e-10 0.00419 0.004855 0.002041 0.04517 10.7 1.415 0.131 0.2667 1 1 0.003667 0.01503 0.05761 0.2334 0.9564 3.666 json
t16_x9_u3_b43 16 9 3 43 div(D,flr(dst(P,P))) 82657 130293871 o2(x,o1(o2(x,x))) true 149263 149263 0 0.5 1 1 1 -1 1 2 1 1 0.4921 0 0.246 1 1 0 0.9841 0.4921 0.4315 0.6569 2.67 2 0.4921 0.9841 1 1 0.4947 2 0 0.4947 2 0 json
t16_x9_u3_b44 16 9 3 44 pow(D,flr(add(P,P))) 82658 130293872 o2(x,o1(o2(x,x))) true 149271 149271 -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.04211 0.1684 0.3368 0.1796 0.7186 1.437 json
t16_x9_u3_b45 16 9 3 45 pow(D,flr(sub(P,P))) 82659 130293873 o2(x,o1(o2(x,x))) true 149279 149279 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_x9_u3_b46 16 9 3 46 pow(D,flr(mlt(P,P))) 82660 130293874 o2(x,o1(o2(x,x))) true 149287 149287 -0.8973 0.0625 0.9777 0.1655 0.4069 -1 1 2 1 0.5419 0.02043 0 0.01587 1 1 4.731e-10 0.03967 0.02439 0.02017 0.142 8.948 2 0.1234 0.2396 1 1 0.02789 0.1266 0.2371 0.1685 0.7646 1.432 json
t16_x9_u3_b47 16 9 3 47 pow(D,flr(div(P,P))) 82661 130293875 o2(x,o1(o2(x,x))) true 149295 149295 -0.3392 0.375 0.9108 0.7676 0.8762 -1 1 2 1 1.922 0.07746 0 0.0588 1 1 -0.0003221 0.1507 0.0896 0.07398 0.272 4.625 2 0.1009 0.1964 1 1 0.06263 0.3006 0.8664 0.08159 0.3916 1.129 json
t16_x9_u3_b48 16 9 3 48 pow(D,flr(pow(P,P))) 82662 130293876 o2(x,o1(o2(x,x))) true 149303 149303 -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_x9_u3_b49 16 9 3 49 pow(D,flr(mod(P,P))) 82663 130293877 o2(x,o1(o2(x,x))) true 149311 149311 -0.06037 0.5 0.9397 0.9232 0.9608 -1 1 2 1 1.67 0.1198 0 0.07141 1 1 0.00006808 0.238 0.1288 0.1146 0.3386 4.741 2 0.1298 0.2578 1 1 0.1326 0.5464 1.38 0.1436 0.5919 1.494 json
t16_x9_u3_b50 16 9 3 50 pow(D,flr(lrg(P,P))) 82664 130293878 o2(x,o1(o2(x,x))) true 149319 149319 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_x9_u3_b51 16 9 3 51 pow(D,flr(eql(P,P))) 82665 130293879 o2(x,o1(o2(x,x))) true 149327 149327 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
t16_x9_u3_b52 16 9 3 52 pow(D,flr(min(P,P))) 82666 130293880 o2(x,o1(o2(x,x))) true 149335 149335 -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.04211 0.1684 0.3368 0.1796 0.7186 1.437 json
t16_x9_u3_b53 16 9 3 53 pow(D,flr(dot(P,P))) 82667 130293881 o2(x,o1(o2(x,x))) true 149343 149343 -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_x9_u3_b54 16 9 3 54 pow(D,flr(dst(P,P))) 82668 130293882 o2(x,o1(o2(x,x))) true 149351 149351 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_x9_u3_b55 16 9 3 55 mod(D,flr(add(P,P))) 82669 130293883 o2(x,o1(o2(x,x))) true 149359 149359 -0.125 0.4375 0.2076 0.1189 0.3448 -1 0.1454 1.145 1 2.785 0.009352 0 0.03917 1 1 9.386e-13 0.01611 0.02856 0.007817 0.08842 2.257 1.031 0.07868 0.1355 1 1 0.01311 0.05985 0.1702 0.1103 0.5035 1.432 json
t16_x9_u3_b56 16 9 3 56 mod(D,flr(sub(P,P))) 82670 130293884 o2(x,o1(o2(x,x))) true 149367 149367 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
t16_x9_u3_b57 16 9 3 57 mod(D,flr(mlt(P,P))) 82671 130293885 o2(x,o1(o2(x,x))) true 149375 149375 -0.125 0.4375 0.2076 0.1189 0.3448 -1 0.1454 1.145 1 2.785 0.009352 0 0.03917 1 1 9.386e-13 0.01611 0.02856 0.007817 0.08842 2.257 1.031 0.07868 0.1355 1 1 0.01311 0.05985 0.1702 0.1103 0.5035 1.432 json
t16_x9_u3_b58 16 9 3 58 mod(D,flr(div(P,P))) 82672 130293886 o2(x,o1(o2(x,x))) true 149383 149383 -0.75 0.125 0.7736 0.1902 0.4361 -1 0.1454 1.145 1 1.452 0.03213 0 0.04 1 1 9.386e-13 0.0636 0.06699 0.03053 0.1747 4.368 1.031 0.1689 0.3344 1 1 0.04306 0.1739 0.2979 0.2264 0.9142 1.566 json
t16_x9_u3_b59 16 9 3 59 mod(D,flr(pow(P,P))) 82673 130293887 o2(x,o1(o2(x,x))) true 149391 149391 -0.5 0.25 0.5472 0.2554 0.5054 -1 0.1454 1.145 1 2.281 0.005029 0 0.02209 1 1 0.0001582 0.00812 0.01523 0.004542 0.06739 3.051 1.031 0.01969 0.03179 1 1 0.007473 0.03617 0.08512 0.02926 0.1416 0.3333 json
t16_x9_u3_b60 16 9 3 60 mod(D,flr(mod(P,P))) 82674 130293888 o2(x,o1(o2(x,x))) true 149399 149399 -0.875 0.0625 0.8868 0.1107 0.3328 -1 0.1454 1.145 1 0.8637 0.01607 0 0.02 1 1 9.386e-13 0.0318 0.03349 0.01568 0.1252 6.261 1.031 0.1451 0.2872 1 1 0.002797 0.02248 0.04256 0.02526 0.203 0.3844 json
t16_x9_u3_b61 16 9 3 61 mod(D,flr(lrg(P,P))) 82675 130293889 o2(x,o1(o2(x,x))) true 149407 149407 -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_x9_u3_b62 16 9 3 62 mod(D,flr(eql(P,P))) 82676 130293890 o2(x,o1(o2(x,x))) true 149415 149415 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
t16_x9_u3_b63 16 9 3 63 mod(D,flr(min(P,P))) 82677 130293891 o2(x,o1(o2(x,x))) true 149423 149423 -0.125 0.4375 0.2076 0.1189 0.3448 -1 0.1454 1.145 1 2.785 0.009352 0 0.03917 1 1 9.386e-13 0.01611 0.02856 0.007817 0.08842 2.257 1.031 0.07868 0.1355 1 1 0.01311 0.05985 0.1702 0.1103 0.5035 1.432 json
t16_x9_u3_b64 16 9 3 64 mod(D,flr(dot(P,P))) 82678 130293892 o2(x,o1(o2(x,x))) true 149431 149431 -0.01563 0.4922 0.1085 0.02604 0.1614 -1 0.1454 1.145 1 2.637 0.002612 0.001019 0.03747 0.4389 1 7.133e-11 0.004435 0.01836 0.002229 0.04721 1.26 1.415 0.1395 0.1703 1 1 0.00662 0.03541 0.05735 0.2543 1.36 2.203 json
t16_x9_u3_b65 16 9 3 65 mod(D,flr(dst(P,P))) 82679 130293893 o2(x,o1(o2(x,x))) true 149439 149439 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
t16_x9_u3_b66 16 9 3 66 lrg(D,flr(add(P,P))) 82680 130293894 o2(x,o1(o2(x,x))) true 149447 149447 0.5 0.5625 0.5 0.2365 0.4863 0 1 1 1 1.577 0.00467 0 0.0119 1 1 -4.731e-10 0.008068 0.009787 0.004528 0.06729 5.654 0.9994 0.01975 0.03412 1 1 0.007036 0.03244 0.06598 0.02976 0.1372 0.279 json
t16_x9_u3_b67 16 9 3 67 lrg(D,flr(sub(P,P))) 82681 130293895 o2(x,o1(o2(x,x))) true 149455 149455 0.5 1 0.5 0.1418 0.3765 0.000291 0.9997 0.9994 1 3.406 0.06511 0 0.1228 1 1 0 0.1208 0.1337 0.05001 0.2236 1.821 0.9994 0.4593 0.8522 1 1 0.07073 0.2419 0 0.4989 1.706 0 json
t16_x9_u3_b68 16 9 3 68 lrg(D,flr(mlt(P,P))) 82682 130293896 o2(x,o1(o2(x,x))) true 149463 149463 0.03125 0.0625 0.03125 0.02351 0.1533 0 0.9997 0.9997 1 0.459 0.004319 0 0.007934 1 1 -2.365e-10 0.008002 0.008862 0.004255 0.06523 8.221 0.9997 0.1837 0.3404 1 1 0.00615 0.02664 0.03299 0.2616 1.133 1.403 json
t16_x9_u3_b69 16 9 3 69 lrg(D,flr(div(P,P))) 82683 130293897 o2(x,o1(o2(x,x))) true 149471 149471 0.25 0.5 0.25 0.1334 0.3652 0 0.9997 0.9997 1 2.329 0.02661 0 0.05551 1 1 -0.00008985 0.04814 0.05493 0.02352 0.1534 2.763 0.9997 0.1995 0.3609 1 1 0.0177 0.1024 0.1697 0.1327 0.7675 1.272 json
t16_x9_u3_b70 16 9 3 70 lrg(D,flr(pow(P,P))) 82684 130293898 o2(x,o1(o2(x,x))) true 149479 149479 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_x9_u3_b71 16 9 3 71 lrg(D,flr(mod(P,P))) 82685 130293899 o2(x,o1(o2(x,x))) true 149487 149487 0.5313 0.8125 0.5313 0.1881 0.4337 0 1 1 1 2.747 0.03489 0 0.06744 1 1 -7.096e-10 0.06428 0.07181 0.03034 0.1742 2.583 0.9997 0.1855 0.3417 1 1 0.04992 0.1917 0.132 0.2654 1.019 0.7015 json
t16_x9_u3_b72 16 9 3 72 lrg(D,flr(lrg(P,P))) 82686 130293900 o2(x,o1(o2(x,x))) true 149495 149495 0.5 1 0.5 0.1418 0.3765 0.000291 0.9997 0.9994 1 3.406 0.06511 0 0.1228 1 1 0 0.1208 0.1337 0.05001 0.2236 1.821 0.9994 0.4593 0.8522 1 1 0.07073 0.2419 0 0.4989 1.706 0 json
t16_x9_u3_b73 16 9 3 73 lrg(D,flr(eql(P,P))) 82687 130293901 o2(x,o1(o2(x,x))) true 149503 149503 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_x9_u3_b74 16 9 3 74 lrg(D,flr(min(P,P))) 82688 130293902 o2(x,o1(o2(x,x))) true 149511 149511 0.5 0.5625 0.5 0.2365 0.4863 0 1 1 1 1.577 0.00467 0 0.0119 1 1 -4.731e-10 0.008068 0.009787 0.004528 0.06729 5.654 0.9994 0.01975 0.03412 1 1 0.007036 0.03244 0.06598 0.02976 0.1372 0.279 json
t16_x9_u3_b75 16 9 3 75 lrg(D,flr(dot(P,P))) 82689 130293903 o2(x,o1(o2(x,x))) true 149519 149519 0.001953 0.007385 0.001953 0.001197 0.0346 0 0.9994 0.9994 1 0.05785 0.0002149 0.00001756 0.0006672 0.8489 1 1.128e-12 0.000405 0.0006009 0.0002318 0.01522 22.82 0.9994 0.1941 0.3383 1 1 0.0004668 0.002552 0.004354 0.39 2.132 3.637 json
t16_x9_u3_b76 16 9 3 76 lrg(D,flr(dst(P,P))) 82690 130293904 o2(x,o1(o2(x,x))) true 149527 149527 0.5 1 0.5 0.1418 0.3765 0.000291 0.9997 0.9994 1 3.406 0.06511 0 0.1228 1 1 0 0.1208 0.1337 0.05001 0.2236 1.821 0.9994 0.4593 0.8522 1 1 0.07073 0.2419 0 0.4989 1.706 0 json
t16_x9_u3_b77 16 9 3 77 eql(D,flr(add(P,P))) 82691 130293905 o2(x,o1(o2(x,x))) true 149535 149535 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_x9_u3_b78 16 9 3 78 eql(D,flr(sub(P,P))) 82692 130293906 o2(x,o1(o2(x,x))) true 149543 149543 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_x9_u3_b79 16 9 3 79 eql(D,flr(mlt(P,P))) 82693 130293907 o2(x,o1(o2(x,x))) true 149551 149551 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_x9_u3_b80 16 9 3 80 eql(D,flr(div(P,P))) 82694 130293908 o2(x,o1(o2(x,x))) true 149559 149559 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_x9_u3_b81 16 9 3 81 eql(D,flr(pow(P,P))) 82695 130293909 o2(x,o1(o2(x,x))) true 149567 149567 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_x9_u3_b82 16 9 3 82 eql(D,flr(mod(P,P))) 82696 130293910 o2(x,o1(o2(x,x))) true 149575 149575 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_x9_u3_b83 16 9 3 83 eql(D,flr(lrg(P,P))) 82697 130293911 o2(x,o1(o2(x,x))) true 149583 149583 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_x9_u3_b84 16 9 3 84 eql(D,flr(eql(P,P))) 82698 130293912 o2(x,o1(o2(x,x))) true 149591 149591 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_x9_u3_b85 16 9 3 85 eql(D,flr(min(P,P))) 82699 130293913 o2(x,o1(o2(x,x))) true 149599 149599 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