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
t18_x54_u0_b80 18 54 0 80 add(R,eql(P,div(P,P))) 131300 148352552 o2(x,o2(x,o2(x,x))) true 78807 78807 0.05762 0.5264 0.4228 0.2508 0.5008 -0.9989 1 1.999 1 4.905 0.003573 0.00306 0.06401 0.07736 1 0.00002651 0.0005387 0.01537 0.002536 0.05036 0.7867 0.3135 0.02645 0.002148 1 1 0.01344 0.1678 0.4281 0.0536 0.6692 1.707 json
t18_x54_u0_b81 18 54 0 81 add(R,eql(P,pow(P,P))) 131301 148352553 o2(x,o2(x,o2(x,x))) true 78815 78815 0.05762 0.5264 0.4228 0.2508 0.5008 -0.9989 1 1.999 1 4.905 0.003573 0.00306 0.06401 0.07736 1 0.00002651 0.0005387 0.01537 0.002536 0.05036 0.7867 0.3135 0.02645 0.002148 1 1 0.01344 0.1678 0.4281 0.0536 0.6692 1.707 json
t18_x54_u0_b82 18 54 0 82 add(R,eql(P,mod(P,P))) 131302 148352554 o2(x,o2(x,o2(x,x))) true 78823 78823 0.3225 0.7088 0.5408 0.291 0.5395 -0.9989 1 1.999 1 4.603 0.004636 0.002648 0.06353 0.2729 1 -0.0001725 0.0007911 0.01649 0.003248 0.05699 0.8971 0.347 0.02503 0.002718 1 1 0.01596 0.1953 0.4907 0.05484 0.6712 1.686 json
t18_x54_u0_b83 18 54 0 83 add(R,eql(P,lrg(P,P))) 131303 148352555 o2(x,o2(x,o2(x,x))) true 78831 78831 0.06362 0.5381 0.4117 0.2377 0.4875 -0.9989 1 1.999 1 4.893 0.002859 0.003117 0.06218 -0.04315 1 0.00002651 0.0004132 0.01463 0.00211 0.04593 0.7386 0.2534 0.02514 0.001738 1 1 0.012 0.1511 0.4183 0.05051 0.6358 1.76 json
t18_x54_u0_b84 18 54 0 84 add(R,eql(P,eql(P,P))) 131304 148352556 o2(x,o2(x,o2(x,x))) true 78839 78839 0.05762 0.5264 0.4228 0.2508 0.5008 -0.9989 1 1.999 1 4.905 0.003573 0.00306 0.06401 0.07736 1 0.00002651 0.0005387 0.01537 0.002536 0.05036 0.7867 0.3135 0.02645 0.002148 1 1 0.01344 0.1678 0.4281 0.0536 0.6692 1.707 json
t18_x54_u0_b85 18 54 0 85 add(R,eql(P,min(P,P))) 131305 148352557 o2(x,o2(x,o2(x,x))) true 78847 78847 0.8072 1 0.8072 0.06917 0.263 0.001146 1 0.9989 1 2.721 0.00124 0.001463 0.03034 -0.08261 1 -0.00006109 0.0006685 0.01204 0.001783 0.04223 1.392 0.223 0.03908 0.009664 1 1 0.004971 0.05068 0.113 0.07186 0.7327 1.634 json
t18_x54_u0_b86 18 54 0 86 add(R,eql(P,dot(P,P))) 131306 148352558 o2(x,o2(x,o2(x,x))) true 78855 78855 0.01527 0.5006 0.4003 0.2256 0.4749 -0.9989 1 1.999 1 4.877 0.002828 0.003217 0.06317 -0.06429 1 0.00002651 0.0003753 0.01455 0.002055 0.04533 0.7176 0.2892 0.0268 0.001664 1 1 0.01202 0.1535 0.4066 0.05331 0.6804 1.803 json
t18_x54_u0_b87 18 54 0 87 add(R,eql(P,dst(P,P))) 131307 148352559 o2(x,o2(x,o2(x,x))) true 78863 78863 0.06362 0.5381 0.4117 0.2377 0.4875 -0.9989 1 1.999 1 4.893 0.002859 0.003117 0.06218 -0.04315 1 0.00002651 0.0004132 0.01463 0.00211 0.04593 0.7386 0.2534 0.02514 0.001738 1 1 0.012 0.1511 0.4183 0.05051 0.6358 1.76 json
t18_x54_u0_b88 18 54 0 88 add(R,min(P,add(P,P))) 131308 148352560 o2(x,o2(x,o2(x,x))) true 78871 78871 -0.01665 0.4942 0.9613 0.9466 0.9729 -1 1 2 1 1.71 0.001326 0.0002414 0.009501 0.6919 1 -0.00001985 0.0003005 0.003394 0.001478 0.03844 4.046 0.3703 0.001656 0.0003174 1 1 0.003999 0.04431 0.2909 0.004224 0.04681 0.3073 json
t18_x54_u0_b89 18 54 0 89 add(R,min(P,sub(P,P))) 131309 148352561 o2(x,o2(x,o2(x,x))) true 78879 78879 -0.467 0.2459 0.6608 0.3431 0.5858 -1 0.9806 1.981 1 3.695 0.001962 0.001682 0.03766 0.07663 1 -0.00000222 0.0003024 0.009307 0.002226 0.04718 1.253 0.2534 0.01062 0.0008815 1 1 0.007554 0.0961 0.3088 0.02202 0.2801 0.9001 json
t18_x54_u0_b90 18 54 0 90 add(R,min(P,mlt(P,P))) 131310 148352562 o2(x,o2(x,o2(x,x))) true 78887 78887 0.003757 0.4974 0.9428 0.9208 0.9596 -1 1 2 1 1.952 0.001169 0.000358 0.0111 0.5311 1 -0.00002042 0.0002765 0.003741 0.001403 0.03746 3.374 0.312 0.001658 0.0003002 1 1 0.003726 0.04331 0.2691 0.004046 0.04703 0.2923 json
t18_x54_u0_b91 18 54 0 91 add(R,min(P,div(P,P))) 131311 148352563 o2(x,o2(x,o2(x,x))) true 78895 78895 -0.08326 0.4974 0.8557 0.7871 0.8872 -1 1 2 1 3.01 0.001649 0.0009801 0.02439 0.2544 1 -0.00004473 0.0005273 0.008746 0.002034 0.0451 1.85 0.312 0.00334 0.00067 1 1 0.00562 0.06323 0.296 0.00714 0.08034 0.376 json
t18_x54_u0_b92 18 54 0 92 add(R,min(P,pow(P,P))) 131312 148352564 o2(x,o2(x,o2(x,x))) true 78903 78903 0.003757 0.4974 0.9428 0.9208 0.9596 -1 1 2 1 1.952 0.001169 0.000358 0.0111 0.5311 1 -0.00002042 0.0002765 0.003741 0.001403 0.03746 3.374 0.312 0.001658 0.0003002 1 1 0.003726 0.04331 0.2691 0.004046 0.04703 0.2923 json
t18_x54_u0_b93 18 54 0 93 add(R,min(P,mod(P,P))) 131313 148352565 o2(x,o2(x,o2(x,x))) true 78911 78911 -0.2084 0.3901 0.8054 0.7019 0.8378 -1 1 2 1 3.15 0.005853 0.001033 0.03581 0.7 1 -0.0006251 0.002216 0.01503 0.005603 0.07486 2.09 0.6524 0.009811 0.003157 1 1 0.01407 0.1404 0.3994 0.02004 0.2 0.5691 json
t18_x54_u0_b94 18 54 0 94 add(R,min(P,lrg(P,P))) 131314 148352566 o2(x,o2(x,o2(x,x))) true 78919 78919 -0.467 0.2459 0.6608 0.3431 0.5858 -1 0.9806 1.981 1 3.695 0.001962 0.001682 0.03766 0.07663 1 -0.00000222 0.0003024 0.009307 0.002226 0.04718 1.253 0.2534 0.01062 0.0008815 1 1 0.007554 0.0961 0.3088 0.02202 0.2801 0.9001 json
t18_x54_u0_b95 18 54 0 95 add(R,min(P,eql(P,P))) 131315 148352567 o2(x,o2(x,o2(x,x))) true 78927 78927 -0.08326 0.4974 0.8557 0.7871 0.8872 -1 1 2 1 3.01 0.001649 0.0009801 0.02439 0.2544 1 -0.00004472 0.0005273 0.008746 0.002034 0.0451 1.85 0.312 0.00334 0.00067 1 1 0.00562 0.06323 0.296 0.00714 0.08034 0.376 json
t18_x54_u0_b96 18 54 0 96 add(R,min(P,min(P,P))) 131316 148352568 o2(x,o2(x,o2(x,x))) true 78935 78935 0.003757 0.4974 0.9428 0.9208 0.9596 -1 1 2 1 1.952 0.001169 0.000358 0.0111 0.5311 1 -0.00002042 0.0002765 0.003741 0.001403 0.03746 3.374 0.312 0.001658 0.0003002 1 1 0.003726 0.04331 0.2691 0.004046 0.04703 0.2923 json
t18_x54_u0_b97 18 54 0 97 add(R,min(P,dot(P,P))) 131317 148352569 o2(x,o2(x,o2(x,x))) true 78943 78943 0.003757 0.4974 0.9428 0.9208 0.9596 -1 1 2 1 1.952 0.001169 0.000358 0.0111 0.5311 1 -0.00002042 0.0002765 0.003741 0.001403 0.03746 3.374 0.312 0.001658 0.0003002 1 1 0.003726 0.04331 0.2691 0.004046 0.04703 0.2923 json
t18_x54_u0_b98 18 54 0 98 add(R,min(P,dst(P,P))) 131318 148352570 o2(x,o2(x,o2(x,x))) true 78951 78951 -0.467 0.2459 0.6608 0.3431 0.5858 -1 0.9806 1.981 1 3.695 0.001962 0.001682 0.03766 0.07663 1 -0.00000222 0.0003024 0.009307 0.002226 0.04718 1.253 0.2534 0.01062 0.0008815 1 1 0.007554 0.0961 0.3088 0.02202 0.2801 0.9001 json
t18_x54_u0_b99 18 54 0 99 add(R,dot(P,add(P,P))) 131319 148352571 o2(x,o2(x,o2(x,x))) true 78959 78959 0.9999 1 0.9999 0.00001597 0.003997 0.8299 1 0.1701 1 0.01079 0.000001692 0.00000164 0.00006623 0.01548 0 3.754e-12 0.000002703 0.00006106 0.000003326 0.001824 27.53 0.0757 0.2086 0.1692 1 1 0.00001003 0.00005587 0.00005809 0.6277 3.497 3.636 json
t18_x54_u0_b100 18 54 0 100 add(R,dot(P,sub(P,P))) 131320 148352572 o2(x,o2(x,o2(x,x))) true 78967 78967 0.008979 0.4983 0.3946 0.2196 0.4686 -0.9989 0.9806 1.979 1 4.862 0.002813 0.00317 0.0632 -0.05957 1 0.00002651 0.0003508 0.01449 0.001989 0.0446 0.7057 0.2301 0.02725 0.001598 1 1 0.01182 0.1519 0.3914 0.05384 0.6917 1.782 json
t18_x54_u0_b101 18 54 0 101 add(R,dot(P,mlt(P,P))) 131321 148352573 o2(x,o2(x,o2(x,x))) true 78975 78975 0.003651 0.503 0.9896 0.9853 0.9926 -1 1 2 1 1.238 0.0074 0.007425 0.01213 -0.001725 1 -0.000005169 0.03595 0.01815 0.01467 0.1211 9.987 2.747 0.01505 0.03648 1 1 0.02433 0.1323 0.5699 0.02469 0.1343 0.5784 json
t18_x54_u0_b102 18 54 0 102 add(R,dot(P,div(P,P))) 131322 148352574 o2(x,o2(x,o2(x,x))) true 78983 78983 -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_x54_u0_b103 18 54 0 103 add(R,dot(P,pow(P,P))) 131323 148352575 o2(x,o2(x,o2(x,x))) true 78991 78991 -0.5007 0.25 0.9993 0.7485 0.8651 -1 1 2 1 0.8387 0.007493 0.007761 0.007957 -0.01759 1 -1.877e-10 0.03057 0.01564 0.01519 0.1232 15.49 2 0.02038 0.04084 1 1 0.02001 0.08167 0.3327 0.02673 0.1091 0.4445 json
t18_x54_u0_b104 18 54 0 104 add(R,dot(P,mod(P,P))) 131324 148352576 o2(x,o2(x,o2(x,x))) true 78999 78999 -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_x54_u0_b105 18 54 0 105 add(R,dot(P,lrg(P,P))) 131325 148352577 o2(x,o2(x,o2(x,x))) true 79007 79007 0.008979 0.4983 0.3946 0.2196 0.4686 -0.9989 0.9806 1.979 1 4.862 0.002813 0.00317 0.0632 -0.05957 1 0.00002651 0.0003508 0.01449 0.001989 0.0446 0.7057 0.2301 0.02725 0.001598 1 1 0.01182 0.1519 0.3914 0.05384 0.6917 1.782 json
t18_x54_u0_b106 18 54 0 106 add(R,dot(P,eql(P,P))) 131326 148352578 o2(x,o2(x,o2(x,x))) true 79015 79015 0.004205 0.5012 0.9488 0.9301 0.9644 -1 1 2 1 1.89 0.001187 0.001314 0.01418 -0.05103 1 0.00001132 0.0004658 0.0049 0.002298 0.04794 3.381 0.3433 0.002689 0.0005008 1 1 0.006144 0.0698 0.4439 0.006605 0.07504 0.4773 json
t18_x54_u0_b107 18 54 0 107 add(R,dot(P,min(P,P))) 131327 148352579 o2(x,o2(x,o2(x,x))) true 79023 79023 0.998 1 0.998 0.0006712 0.02591 0.3551 1 0.6449 1 0.08961 0.00003534 0.00002996 0.0006184 0.08237 0 -6.382e-11 0.00003567 0.0004373 0.00006496 0.00806 13.03 0.2529 0.09729 0.05315 1 1 0.0002042 0.001466 0.002409 0.3043 2.185 3.589 json
t18_x54_u0_b108 18 54 0 108 add(R,dot(P,dot(P,P))) 131328 148352580 o2(x,o2(x,o2(x,x))) true 79031 79031 0.003392 0.5027 0.9892 0.9846 0.9923 -1 1 2 1 1.247 0.006961 0.006966 0.01217 -0.0003829 1 -0.000005169 0.03242 0.01722 0.01377 0.1174 9.645 2.742 0.01414 0.03293 1 1 0.02274 0.129 0.5683 0.02309 0.131 0.5771 json
t18_x54_u0_b109 18 54 0 109 add(R,dot(P,dst(P,P))) 131329 148352581 o2(x,o2(x,o2(x,x))) true 79039 79039 0.008979 0.4983 0.3946 0.2196 0.4686 -0.9989 0.9806 1.979 1 4.862 0.002813 0.00317 0.0632 -0.05957 1 0.00002651 0.0003508 0.01449 0.001989 0.0446 0.7057 0.2301 0.02725 0.001598 1 1 0.01182 0.1519 0.3914 0.05384 0.6917 1.782 json
t18_x54_u0_b110 18 54 0 110 add(R,dst(P,add(P,P))) 131330 148352582 o2(x,o2(x,o2(x,x))) true 79047 79047 0.9975 1 0.9975 0.000845 0.02907 0.355 1 0.645 1 0.1043 0.0000351 0.00002594 0.0006808 0.15 0 5.632e-12 0.00002703 0.0004198 0.00006059 0.007784 11.43 0.1913 0.07225 0.03199 1 1 0.0001955 0.001629 0.003019 0.2314 1.928 3.573 json
t18_x54_u0_b111 18 54 0 111 add(R,dst(P,sub(P,P))) 131331 148352583 o2(x,o2(x,o2(x,x))) true 79055 79055 0.9975 1 0.9975 0.000845 0.02907 0.355 1 0.645 1 0.1043 0.0000351 0.00002594 0.0006808 0.15 0 5.632e-12 0.00002703 0.0004198 0.00006059 0.007784 11.43 0.1913 0.07225 0.03199 1 1 0.0001955 0.001629 0.003019 0.2314 1.928 3.573 json
t18_x54_u0_b112 18 54 0 112 add(R,dst(P,mlt(P,P))) 131332 148352584 o2(x,o2(x,o2(x,x))) true 79063 79063 0.9906 0.9966 0.9925 0.008987 0.0948 -0.6449 1 1.645 1 0.1573 0.000187 0.0001668 0.001909 0.05702 1 -1.877e-11 0.0001022 0.0008551 0.0003502 0.01871 9.801 0.39 0.03936 0.01137 1 1 0.00117 0.01176 0.03299 0.1302 1.308 3.671 json
t18_x54_u0_b113 18 54 0 113 add(R,dst(P,div(P,P))) 131333 148352585 o2(x,o2(x,o2(x,x))) true 79071 79071 -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_x54_u0_b114 18 54 0 114 add(R,dst(P,pow(P,P))) 131334 148352586 o2(x,o2(x,o2(x,x))) true 79079 79079 -0.5001 0.25 0.9999 0.7497 0.8658 -1 1 2 1 0.8184 0.007843 0.007938 0.007959 -0.006068 1 -3.754e-12 0.03168 0.01586 0.01572 0.1254 15.75 2 0.02105 0.04226 1 1 0.0209 0.0839 0.3362 0.02787 0.1119 0.4484 json
t18_x54_u0_b115 18 54 0 115 add(R,dst(P,mod(P,P))) 131335 148352587 o2(x,o2(x,o2(x,x))) true 79087 79087 -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_x54_u0_b116 18 54 0 116 add(R,dst(P,lrg(P,P))) 131336 148352588 o2(x,o2(x,o2(x,x))) true 79095 79095 0.9975 1 0.9975 0.000845 0.02907 0.355 1 0.645 1 0.1043 0.0000351 0.00002594 0.0006808 0.15 0 5.632e-12 0.00002703 0.0004198 0.00006059 0.007784 11.43 0.1913 0.07225 0.03199 1 1 0.0001955 0.001629 0.003019 0.2314 1.928 3.573 json
t18_x54_u0_b117 18 54 0 117 add(R,dst(P,eql(P,P))) 131337 148352589 o2(x,o2(x,o2(x,x))) true 79103 79103 0.9997 1 0.9997 0.00004072 0.006381 0.7689 1 0.2311 1 0.02175 0.000004331 0.00000375 0.0001397 0.07195 0 -2.253e-11 0.00000613 0.0001285 0.000008053 0.002838 20.31 0.1018 0.1984 0.1505 1 1 0.00002419 0.0001376 0.000127 0.594 3.378 3.119 json
t18_x54_u0_b118 18 54 0 118 add(R,dst(P,min(P,P))) 131338 148352590 o2(x,o2(x,o2(x,x))) true 79111 79111 0.008979 0.4983 0.3946 0.2196 0.4686 -0.9989 0.9806 1.979 1 4.862 0.002813 0.00317 0.0632 -0.05957 1 0.00002651 0.0003508 0.01449 0.001989 0.0446 0.7057 0.2301 0.02725 0.001598 1 1 0.01182 0.1519 0.3914 0.05384 0.6917 1.782 json
t18_x54_u0_b119 18 54 0 119 add(R,dst(P,dot(P,P))) 131339 148352591 o2(x,o2(x,o2(x,x))) true 79119 79119 0.9996 1 0.9996 0.0000652 0.008074 0.7692 1 0.2308 1 0.0297 0.000008668 0.000002934 0.0001645 0.4943 0 -7.509e-12 0.000009939 0.0001555 0.00001156 0.0034 20.67 0.1432 0.1779 0.1525 1 1 0.00003324 0.0001616 0.0002376 0.5098 2.478 3.644 json
t18_x54_u0_b120 18 54 0 120 add(R,dst(P,dst(P,P))) 131340 148352592 o2(x,o2(x,o2(x,x))) true 79127 79127 0.9975 1 0.9975 0.000845 0.02907 0.355 1 0.645 1 0.1043 0.0000351 0.00002594 0.0006808 0.15 0 5.632e-12 0.00002703 0.0004198 0.00006059 0.007784 11.43 0.1913 0.07225 0.03199 1 1 0.0001955 0.001629 0.003019 0.2314 1.928 3.573 json
t18_x54_u0_b121 18 54 0 121 sub(R,add(P,add(P,P))) 131341 148352593 o2(x,o2(x,o2(x,x))) true 79135 79135 -0.005046 0.4969 0.9759 0.967 0.9834 -1 1 2 1 1.455 0.001965 0.0001411 0.008622 0.866 1 -0.000004855 0.0006376 0.004395 0.002032 0.04508 5.229 0.4984 0.002178 0.0006593 1 1 0.005243 0.05012 0.3147 0.005421 0.05183 0.3254 json
t18_x54_u0_b122 18 54 0 122 sub(R,add(P,sub(P,P))) 131342 148352594 o2(x,o2(x,o2(x,x))) true 79143 79143 0.004612 0.4968 0.9368 0.913 0.9555 -1 1 2 1 2.013 0.001147 0.000385 0.01159 0.4976 1 -0.00002051 0.0002745 0.003871 0.001399 0.0374 3.228 0.3332 0.001679 0.0003007 1 1 0.003782 0.0437 0.2627 0.004142 0.04787 0.2877 json
t18_x54_u0_b123 18 54 0 123 sub(R,add(P,mlt(P,P))) 131343 148352595 o2(x,o2(x,o2(x,x))) true 79151 79151 -0.8903 0.05112 0.9322 0.1166 0.3415 -1 0.8975 1.897 1 1.13 0.001777 0.0003866 0.01315 0.6427 1 -0.00001708 0.0004144 0.004457 0.001992 0.04463 3.395 0.3999 0.01855 0.003552 1 1 0.00525 0.0574 0.2165 0.04501 0.4921 1.856 json
t18_x54_u0_b124 18 54 0 124 sub(R,add(P,div(P,P))) 131344 148352596 o2(x,o2(x,o2(x,x))) true 79159 79159 -0.1662 0.4256 0.9652 0.9257 0.9621 -1 1 2 1 1.547 0.006648 0.000222 0.009719 0.9354 1 -0.00000654 0.01269 0.01097 0.006773 0.0823 8.468 1.898 0.007421 0.01371 1 1 0.008995 0.05011 0.2924 0.009717 0.05414 0.3159 json
t18_x54_u0_b125 18 54 0 125 sub(R,add(P,pow(P,P))) 131345 148352597 o2(x,o2(x,o2(x,x))) true 79167 79167 -0.9961 0 0.9961 0.00176 0.04196 -1 -0.1712 0.8288 1 0.1233 0.0005067 0.00002315 0.001765 0.9126 1 2.253e-11 0.0009158 0.002097 0.000527 0.02296 13.01 0.8288 0.301 0.5203 1 1 0.0008999 0.00318 0.00502 0.5112 1.807 2.852 json
t18_x54_u0_b126 18 54 0 126 sub(R,add(P,mod(P,P))) 131346 148352598 o2(x,o2(x,o2(x,x))) true 79175 79175 -0.1212 0.4375 0.9898 0.9709 0.9853 -1 1 2 1 1.244 0.01522 0.00009029 0.01143 0.9882 1 -0.000006904 0.03013 0.0191 0.01517 0.1232 10.78 2.006 0.01577 0.03103 1 1 0.02027 0.08408 0.3387 0.02088 0.0866 0.3489 json
t18_x54_u0_b127 18 54 0 127 sub(R,add(P,lrg(P,P))) 131347 148352599 o2(x,o2(x,o2(x,x))) true 79183 79183 0.004612 0.4968 0.9368 0.913 0.9555 -1 1 2 1 2.013 0.001147 0.000385 0.01159 0.4976 1 -0.00002051 0.0002745 0.003871 0.001399 0.0374 3.228 0.3332 0.001679 0.0003007 1 1 0.003782 0.0437 0.2627 0.004142 0.04787 0.2877 json
t18_x54_u0_b128 18 54 0 128 sub(R,add(P,eql(P,P))) 131348 148352600 o2(x,o2(x,o2(x,x))) true 79191 79191 -0.1242 0.4394 0.9344 0.8965 0.9468 -1 1 2 1 1.995 0.001024 0.0003935 0.0111 0.4448 1 -0.00001213 0.0002633 0.003756 0.001294 0.03597 3.242 0.3332 0.001581 0.0002937 1 1 0.003267 0.0363 0.2529 0.003644 0.04049 0.2821 json
t18_x54_u0_b129 18 54 0 129 sub(R,add(P,min(P,P))) 131349 148352601 o2(x,o2(x,o2(x,x))) true 79199 79199 -0.004943 0.4968 0.9704 0.9591 0.9793 -1 1 2 1 1.558 0.001572 0.0001649 0.008819 0.8102 1 -0.00000868 0.0003768 0.003457 0.001658 0.04072 4.618 0.4362 0.001811 0.0003929 1 1 0.004468 0.04707 0.3072 0.004659 0.04907 0.3203 json
t18_x54_u0_b130 18 54 0 130 sub(R,add(P,dot(P,P))) 131350 148352602 o2(x,o2(x,o2(x,x))) true 79207 79207 -0.989 0.003265 0.9917 0.01052 0.1026 -1 0.8288 1.829 1 0.1864 0.0002007 0.0001596 0.00203 0.1138 1 1.877e-11 0.0001073 0.0009802 0.000356 0.01887 9.293 0.3519 0.03426 0.0102 1 1 0.001188 0.01202 0.03791 0.113 1.142 3.605 json
t18_x54_u0_b131 18 54 0 131 sub(R,add(P,dst(P,P))) 131351 148352603 o2(x,o2(x,o2(x,x))) true 79215 79215 0.004612 0.4968 0.9368 0.913 0.9555 -1 1 2 1 2.013 0.001147 0.000385 0.01159 0.4976 1 -0.00002051 0.0002745 0.003871 0.001399 0.0374 3.228 0.3332 0.001679 0.0003007 1 1 0.003782 0.0437 0.2627 0.004142 0.04787 0.2877 json
t18_x54_u0_b132 18 54 0 132 sub(R,sub(P,add(P,P))) 131352 148352604 o2(x,o2(x,o2(x,x))) true 79223 79223 0.003757 0.4974 0.9428 0.9208 0.9596 -1 1 2 1 1.952 0.001169 0.000358 0.0111 0.5311 1 -0.00002042 0.0002765 0.003741 0.001403 0.03746 3.374 0.312 0.001658 0.0003002 1 1 0.003726 0.04331 0.2691 0.004046 0.04703 0.2923 json
t18_x54_u0_b133 18 54 0 133 sub(R,sub(P,sub(P,P))) 131353 148352605 o2(x,o2(x,o2(x,x))) true 79231 79231 0.004612 0.4968 0.9368 0.913 0.9555 -1 1 2 1 2.013 0.001147 0.000385 0.01159 0.4976 1 -0.00002051 0.0002745 0.003871 0.001399 0.0374 3.228 0.3332 0.001679 0.0003007 1 1 0.003782 0.0437 0.2627 0.004142 0.04787 0.2877 json
t18_x54_u0_b134 18 54 0 134 sub(R,sub(P,mlt(P,P))) 131354 148352606 o2(x,o2(x,o2(x,x))) true 79239 79239 0.899 0.9545 0.9353 0.1052 0.3244 -0.9526 1 1.953 1 1.1 0.001731 0.0003775 0.01293 0.642 1 -0.00002667 0.0004116 0.004465 0.001942 0.04407 3.407 0.4362 0.02005 0.003912 1 1 0.005266 0.05691 0.1868 0.05006 0.5409 1.775 json
t18_x54_u0_b135 18 54 0 135 sub(R,sub(P,div(P,P))) 131355 148352607 o2(x,o2(x,o2(x,x))) true 79247 79247 -0.0807 0.4534 0.9697 0.9525 0.976 -1 1 2 1 1.529 0.02386 0.0002281 0.01949 0.9811 1 -0.000003828 0.04653 0.02792 0.0237 0.1539 7.901 2 0.02529 0.04885 1 1 0.03182 0.1333 0.404 0.0334 0.1399 0.4241 json
t18_x54_u0_b136 18 54 0 136 sub(R,sub(P,pow(P,P))) 131356 148352608 o2(x,o2(x,o2(x,x))) true 79255 79255 -0.04827 0.4854 0.9599 0.9435 0.9713 -1 1 2 1 1.649 0.01232 0.0002687 0.01385 0.9573 1 -0.00001958 0.02336 0.01575 0.01239 0.1113 8.035 2 0.01334 0.02476 1 1 0.01847 0.09011 0.2744 0.01958 0.09551 0.2908 json
t18_x54_u0_b137 18 54 0 137 sub(R,sub(P,mod(P,P))) 131357 148352609 o2(x,o2(x,o2(x,x))) true 79263 79263 -0.1178 0.4438 0.8232 0.7541 0.8684 -1 1 2 1 3.097 0.02354 0.001033 0.05161 0.916 1 0.00001486 0.03388 0.04067 0.02192 0.148 2.869 2.006 0.03259 0.04493 1 1 0.03379 0.1894 0.4907 0.04481 0.2511 0.6508 json
t18_x54_u0_b138 18 54 0 138 sub(R,sub(P,lrg(P,P))) 131358 148352610 o2(x,o2(x,o2(x,x))) true 79271 79271 0.004612 0.4968 0.9368 0.913 0.9555 -1 1 2 1 2.013 0.001147 0.000385 0.01159 0.4976 1 -0.00002051 0.0002745 0.003871 0.001399 0.0374 3.228 0.3332 0.001679 0.0003007 1 1 0.003782 0.0437 0.2627 0.004142 0.04787 0.2877 json
t18_x54_u0_b139 18 54 0 139 sub(R,sub(P,eql(P,P))) 131359 148352611 o2(x,o2(x,o2(x,x))) true 79279 79279 0.1314 0.5697 0.9365 0.8966 0.9469 -1 1 2 1 1.987 0.001167 0.0004286 0.01183 0.4629 1 -0.00001997 0.0002741 0.003953 0.001456 0.03815 3.225 0.3135 0.00178 0.0003058 1 1 0.003965 0.04478 0.2462 0.004422 0.04994 0.2745 json
t18_x54_u0_b140 18 54 0 140 sub(R,sub(P,min(P,P))) 131360 148352612 o2(x,o2(x,o2(x,x))) true 79287 79287 0.008979 0.4983 0.3946 0.2196 0.4686 -0.9989 0.9806 1.979 1 4.862 0.002813 0.00317 0.0632 -0.05957 1 0.00002651 0.0003508 0.01449 0.001989 0.0446 0.7057 0.2301 0.02725 0.001598 1 1 0.01182 0.1519 0.3914 0.05384 0.6917 1.782 json
t18_x54_u0_b141 18 54 0 141 sub(R,sub(P,dot(P,P))) 131361 148352613 o2(x,o2(x,o2(x,x))) true 79295 79295 0.9956 0.9991 0.9958 0.002927 0.0541 -0.1799 1 1.18 1 0.1093 0.00008603 0.00008477 0.001129 0.007375 1 -2.253e-11 0.00005805 0.0005669 0.0001694 0.01301 11.53 0.292 0.05835 0.01983 1 1 0.0005601 0.005305 0.0107 0.1914 1.812 3.657 json
t18_x54_u0_b142 18 54 0 142 sub(R,sub(P,dst(P,P))) 131362 148352614 o2(x,o2(x,o2(x,x))) true 79303 79303 0.004612 0.4968 0.9368 0.913 0.9555 -1 1 2 1 2.013 0.001147 0.000385 0.01159 0.4976 1 -0.00002051 0.0002745 0.003871 0.001399 0.0374 3.228 0.3332 0.001679 0.0003007 1 1 0.003782 0.0437 0.2627 0.004142 0.04787 0.2877 json
t18_x54_u0_b143 18 54 0 143 sub(R,mlt(P,add(P,P))) 131363 148352615 o2(x,o2(x,o2(x,x))) true 79311 79311 -0.9594 0.01711 0.9715 0.04003 0.2001 -1 0.8285 1.829 1 0.5932 0.001227 0.0001607 0.007868 0.7683 1 -0.000003129 0.0002904 0.002998 0.001325 0.0364 4.626 0.3703 0.03466 0.007253 1 1 0.003876 0.04015 0.08429 0.09682 1.003 2.105 json
t18_x54_u0_b144 18 54 0 144 sub(R,mlt(P,sub(P,P))) 131364 148352616 o2(x,o2(x,o2(x,x))) true 79319 79319 0.008979 0.4983 0.3946 0.2196 0.4686 -0.9989 0.9806 1.979 1 4.862 0.002813 0.00317 0.0632 -0.05957 1 0.00002651 0.0003508 0.01449 0.001989 0.0446 0.7057 0.2301 0.02725 0.001598 1 1 0.01182 0.1519 0.3914 0.05384 0.6917 1.782 json
t18_x54_u0_b145 18 54 0 145 sub(R,mlt(P,mlt(P,P))) 131365 148352617 o2(x,o2(x,o2(x,x))) true 79327 79327 0.003306 0.4968 0.9417 0.9202 0.9593 -1 1 2 1 1.929 0.001362 0.000343 0.01121 0.5978 1 -0.00001746 0.0005237 0.004557 0.001579 0.03973 3.545 0.3953 0.001853 0.0005691 1 1 0.004028 0.04377 0.2678 0.004377 0.04756 0.2911 json
t18_x54_u0_b146 18 54 0 146 sub(R,mlt(P,div(P,P))) 131366 148352618 o2(x,o2(x,o2(x,x))) true 79335 79335 -0.1212 0.4375 0.9898 0.9709 0.9853 -1 1 2 1 1.244 0.01522 0.00009029 0.01143 0.9882 1 -0.000006904 0.03013 0.0191 0.01517 0.1232 10.78 2.006 0.01577 0.03103 1 1 0.02027 0.08408 0.3387 0.02088 0.0866 0.3489 json
t18_x54_u0_b147 18 54 0 147 sub(R,mlt(P,pow(P,P))) 131367 148352619 o2(x,o2(x,o2(x,x))) true 79343 79343 -0.9589 0.0119 0.9668 0.03552 0.1885 -1 0.8288 1.829 1 0.5951 0.004911 0.0001866 0.009098 0.9268 1 -0.000002615 0.008892 0.009443 0.005013 0.0708 7.782 1.829 0.1435 0.2503 1 1 0.007955 0.03838 0.0668 0.2239 1.08 1.88 json
t18_x54_u0_b148 18 54 0 148 sub(R,mlt(P,mod(P,P))) 131368 148352620 o2(x,o2(x,o2(x,x))) true 79351 79351 -0.6724 0.1561 0.7976 0.2849 0.5338 -1 0.9681 1.968 1 2.564 0.02645 0.001248 0.05319 0.9099 1 0.005785 0.03916 0.05071 0.02486 0.1577 2.964 1.943 0.09722 0.1375 1 1 0.04187 0.2544 0.4798 0.147 0.893 1.684 json
t18_x54_u0_b149 18 54 0 149 sub(R,mlt(P,lrg(P,P))) 131369 148352621 o2(x,o2(x,o2(x,x))) true 79359 79359 0.008979 0.4983 0.3946 0.2196 0.4686 -0.9989 0.9806 1.979 1 4.862 0.002813 0.00317 0.0632 -0.05957 1 0.00002651 0.0003508 0.01449 0.001989 0.0446 0.7057 0.2301 0.02725 0.001598 1 1 0.01182 0.1519 0.3914 0.05384 0.6917 1.782 json
t18_x54_u0_b150 18 54 0 150 sub(R,mlt(P,eql(P,P))) 131370 148352622 o2(x,o2(x,o2(x,x))) true 79367 79367 0.004612 0.4968 0.9368 0.913 0.9555 -1 1 2 1 2.013 0.001147 0.000385 0.01159 0.4976 1 -0.00002051 0.0002745 0.003871 0.001399 0.0374 3.228 0.3332 0.001679 0.0003007 1 1 0.003782 0.0437 0.2627 0.004142 0.04787 0.2877 json
t18_x54_u0_b151 18 54 0 151 sub(R,mlt(P,min(P,P))) 131371 148352623 o2(x,o2(x,o2(x,x))) true 79375 79375 -0.919 0.02353 0.9347 0.06662 0.2581 -1 0.8288 1.829 1 1.075 0.001122 0.0003781 0.01117 0.4958 1 -0.000004727 0.0004202 0.004452 0.001375 0.03708 3.321 0.3446 0.02251 0.006308 1 1 0.003733 0.04098 0.1331 0.05603 0.6151 1.998 json
t18_x54_u0_b152 18 54 0 152 sub(R,mlt(P,dot(P,P))) 131372 148352624 o2(x,o2(x,o2(x,x))) true 79383 79383 -0.001962 0.499 0.9843 0.9781 0.989 -1 1 2 1 1.328 0.003603 0.0001309 0.008568 0.9299 1 -9.236e-7 0.003009 0.00737 0.003662 0.06052 7.064 1.453 0.003817 0.003077 1 1 0.007081 0.05934 0.3229 0.00724 0.06067 0.3301 json
t18_x54_u0_b153 18 54 0 153 sub(R,mlt(P,dst(P,P))) 131373 148352625 o2(x,o2(x,o2(x,x))) true 79391 79391 0.008979 0.4983 0.3946 0.2196 0.4686 -0.9989 0.9806 1.979 1 4.862 0.002813 0.00317 0.0632 -0.05957 1 0.00002651 0.0003508 0.01449 0.001989 0.0446 0.7057 0.2301 0.02725 0.001598 1 1 0.01182 0.1519 0.3914 0.05384 0.6917 1.782 json
t18_x54_u0_b154 18 54 0 154 sub(R,div(P,add(P,P))) 131374 148352626 o2(x,o2(x,o2(x,x))) true 79399 79399 -0.5297 0.1548 0.5885 0.1851 0.4303 -1 0.4806 1.481 1 4.018 0.007993 0.002484 0.05389 0.5258 1 0.00007602 0.01234 0.02386 0.007572 0.08702 1.615 1.443 0.05659 0.06668 1 1 0.01533 0.1286 0.3184 0.08283 0.6946 1.72 json
t18_x54_u0_b155 18 54 0 155 sub(R,div(P,sub(P,P))) 131375 148352627 o2(x,o2(x,o2(x,x))) true 79407 79407 -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_x54_u0_b156 18 54 0 156 sub(R,div(P,mlt(P,P))) 131376 148352628 o2(x,o2(x,o2(x,x))) true 79415 79415 -0.1254 0.4404 0.5405 0.3884 0.6232 -1 1 2 1 4.686 0.01727 0.002613 0.06005 0.7372 1 0.0000568 0.03045 0.03027 0.01628 0.1276 2.125 2.006 0.05121 0.0784 1 1 0.02889 0.1892 0.5272 0.07439 0.4873 1.358 json
t18_x54_u0_b157 18 54 0 157 sub(R,div(P,div(P,P))) 131377 148352629 o2(x,o2(x,o2(x,x))) true 79423 79423 -0.1212 0.4375 0.9898 0.9709 0.9853 -1 1 2 1 1.244 0.01522 0.00009029 0.01143 0.9882 1 -0.000006904 0.03013 0.0191 0.01517 0.1232 10.78 2.006 0.01577 0.03103 1 1 0.02027 0.08408 0.3387 0.02088 0.0866 0.3489 json
t18_x54_u0_b158 18 54 0 158 sub(R,div(P,pow(P,P))) 131378 148352630 o2(x,o2(x,o2(x,x))) true 79431 79431 -0.6027 0.1641 0.7246 0.2783 0.5275 -1 0.9806 1.981 1 3.211 0.005762 0.001403 0.0338 0.6084 1 0.00001952 0.008802 0.01435 0.006021 0.0776 2.296 1.829 0.02575 0.03163 1 1 0.01199 0.09421 0.2436 0.04308 0.3386 0.8754 json
t18_x54_u0_b159 18 54 0 159 sub(R,div(P,mod(P,P))) 131379 148352631 o2(x,o2(x,o2(x,x))) true 79439 79439 -0.9731 0 0.9731 0.01407 0.1186 -1 -0.01949 0.9805 1 0.5899 0.002619 0.0001958 0.00826 0.8608 1 0.000009259 0.004983 0.00914 0.002745 0.05239 6.343 0.9633 0.2 0.3541 1 1 0.0003343 0.001782 0.004093 0.02376 0.1266 0.2908 json
t18_x54_u0_b160 18 54 0 160 sub(R,div(P,lrg(P,P))) 131380 148352632 o2(x,o2(x,o2(x,x))) true 79447 79447 -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_x54_u0_b161 18 54 0 161 sub(R,div(P,eql(P,P))) 131381 148352633 o2(x,o2(x,o2(x,x))) true 79455 79455 0.004612 0.4968 0.9368 0.913 0.9555 -1 1 2 1 2.013 0.001147 0.000385 0.01159 0.4976 1 -0.00002051 0.0002745 0.003871 0.001399 0.0374 3.228 0.3332 0.001679 0.0003007 1 1 0.003782 0.0437 0.2627 0.004142 0.04787 0.2877 json
t18_x54_u0_b162 18 54 0 162 sub(R,div(P,min(P,P))) 131382 148352634 o2(x,o2(x,o2(x,x))) true 79463 79463 -0.8263 0 0.8263 0.06765 0.2601 -1 -0.01936 0.9806 1 2.46 0.003007 0.001408 0.03111 0.3621 1 0.0000876 0.004236 0.01586 0.003446 0.0587 1.887 0.9432 0.06527 0.06262 1 1 0.006723 0.05535 0.1242 0.09938 0.8182 1.836 json
t18_x54_u0_b163 18 54 0 163 sub(R,div(P,dot(P,P))) 131383 148352635 o2(x,o2(x,o2(x,x))) true 79471 79471 -0.01146 0.4823 0.4292 0.2593 0.5092 -1 1 2 1 4.919 0.004768 0.004928 0.0641 -0.01644 1 0.00002675 0.008339 0.01907 0.005586 0.07474 1.166 2 0.03739 0.03216 1 1 0.01817 0.1715 0.4725 0.07009 0.6614 1.822 json
t18_x54_u0_b164 18 54 0 164 sub(R,div(P,dst(P,P))) 131384 148352636 o2(x,o2(x,o2(x,x))) true 79479 79479 -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_x54_u0_b165 18 54 0 165 sub(R,pow(P,add(P,P))) 131385 148352637 o2(x,o2(x,o2(x,x))) true 79487 79487 -0.9821 0 0.9821 0.009778 0.09888 -1 -0.05702 0.943 1 0.3766 0.001002 0.0001161 0.004825 0.7923 1 -7.509e-12 0.00133 0.004219 0.001094 0.03308 6.857 0.8291 0.1143 0.136 1 1 0.001947 0.01138 0.01928 0.1992 1.164 1.971 json
t18_x54_u0_b166 18 54 0 166 sub(R,pow(P,sub(P,P))) 131386 148352638 o2(x,o2(x,o2(x,x))) true 79495 79495 -0.7982 0 0.7982 0.07256 0.2694 -1 -0.01936 0.9806 1 2.717 0.001471 0.00159 0.03308 -0.03903 1 0.0000876 0.0006964 0.01237 0.001966 0.04434 1.34 0.223 0.04219 0.009598 1 1 0.005951 0.06127 0.1403 0.08201 0.8444 1.934 json
t18_x54_u0_b167 18 54 0 167 sub(R,pow(P,mlt(P,P))) 131387 148352639 o2(x,o2(x,o2(x,x))) true 79503 79503 -0.9821 0 0.9821 0.009778 0.09888 -1 -0.05702 0.943 1 0.3766 0.001002 0.0001161 0.004825 0.7923 1 -7.509e-12 0.00133 0.004219 0.001094 0.03308 6.857 0.8291 0.1143 0.136 1 1 0.001947 0.01138 0.01928 0.1992 1.164 1.971 json
t18_x54_u0_b168 18 54 0 168 sub(R,pow(P,div(P,P))) 131388 148352640 o2(x,o2(x,o2(x,x))) true 79511 79511 -0.993 0 0.993 0.004059 0.06371 -1 -0.05706 0.9429 1 0.1646 0.001206 0.00005216 0.003267 0.9171 1 6.195e-11 0.002167 0.003923 0.001248 0.03532 10.81 0.9429 0.3099 0.534 1 1 0.001502 0.005333 0.006566 0.3699 1.314 1.618 json
t18_x54_u0_b169 18 54 0 169 sub(R,pow(P,pow(P,P))) 131389 148352641 o2(x,o2(x,o2(x,x))) true 79519 79519 -0.9598 0.0119 0.9677 0.03505 0.1872 -1 0.8288 1.829 1 0.5804 0.004986 0.0001798 0.009048 0.9304 1 -0.000002615 0.009021 0.009639 0.005084 0.0713 7.88 1.829 0.1474 0.2574 1 1 0.008027 0.03834 0.06596 0.229 1.094 1.882 json
t18_x54_u0_b170 18 54 0 170 sub(R,pow(P,mod(P,P))) 131390 148352642 o2(x,o2(x,o2(x,x))) true 79527 79527 -0.9474 0 0.9474 0.02677 0.1636 -1 -0.03191 0.9681 1 0.9604 0.004473 0.0004723 0.01588 0.809 1 0.00001055 0.008119 0.01675 0.004695 0.06852 4.314 0.9681 0.1847 0.3033 1 1 0.007577 0.03899 0.06301 0.283 1.456 2.354 json
t18_x54_u0_b171 18 54 0 171 sub(R,pow(P,lrg(P,P))) 131391 148352643 o2(x,o2(x,o2(x,x))) true 79535 79535 -0.7982 0 0.7982 0.07256 0.2694 -1 -0.01936 0.9806 1 2.717 0.001471 0.00159 0.03308 -0.03903 1 0.0000876 0.0006964 0.01237 0.001966 0.04434 1.34 0.223 0.04219 0.009598 1 1 0.005951 0.06127 0.1403 0.08201 0.8444 1.934 json
t18_x54_u0_b172 18 54 0 172 sub(R,pow(P,eql(P,P))) 131392 148352644 o2(x,o2(x,o2(x,x))) true 79543 79543 0.004612 0.4968 0.9368 0.913 0.9555 -1 1 2 1 2.013 0.001147 0.000385 0.01159 0.4976 1 -0.00002051 0.0002745 0.003871 0.001399 0.0374 3.228 0.3332 0.001679 0.0003007 1 1 0.003782 0.0437 0.2627 0.004142 0.04787 0.2877 json
t18_x54_u0_b173 18 54 0 173 sub(R,pow(P,min(P,P))) 131393 148352645 o2(x,o2(x,o2(x,x))) true 79551 79551 -0.98 0 0.98 0.01095 0.1046 -1 -0.05702 0.943 1 0.412 0.0008527 0.0001318 0.00495 0.7323 1 3.754e-12 0.001104 0.003815 0.0009594 0.03097 6.257 0.8291 0.08992 0.1008 1 1 0.001786 0.01187 0.02126 0.1631 1.084 1.942 json
t18_x54_u0_b174 18 54 0 174 sub(R,pow(P,dot(P,P))) 131394 148352646 o2(x,o2(x,o2(x,x))) true 79559 79559 -0.9642 0.01019 0.9702 0.03014 0.1736 -1 0.6686 1.669 1 0.5325 0.004791 0.0001571 0.008404 0.9365 1 -0.000002615 0.009114 0.01012 0.004879 0.06985 8.312 1.669 0.1642 0.3024 1 1 0.006942 0.03243 0.05334 0.2303 1.076 1.77 json
t18_x54_u0_b175 18 54 0 175 sub(R,pow(P,dst(P,P))) 131395 148352647 o2(x,o2(x,o2(x,x))) true 79567 79567 -0.7982 0 0.7982 0.07256 0.2694 -1 -0.01936 0.9806 1 2.717 0.001471 0.00159 0.03308 -0.03903 1 0.0000876 0.0006964 0.01237 0.001966 0.04434 1.34 0.223 0.04219 0.009598 1 1 0.005951 0.06127 0.1403 0.08201 0.8444 1.934 json
t18_x54_u0_b176 18 54 0 176 sub(R,mod(P,add(P,P))) 131396 148352648 o2(x,o2(x,o2(x,x))) true 79575 79575 -0.1212 0.4375 0.9898 0.9709 0.9853 -1 1 2 1 1.244 0.01522 0.00009029 0.01143 0.9882 1 -0.000006904 0.03013 0.0191 0.01517 0.1232 10.78 2.006 0.01577 0.03103 1 1 0.02027 0.08408 0.3387 0.02088 0.0866 0.3489 json
t18_x54_u0_b177 18 54 0 177 sub(R,mod(P,sub(P,P))) 131397 148352649 o2(x,o2(x,o2(x,x))) true 79583 79583 0.004612 0.4968 0.9368 0.913 0.9555 -1 1 2 1 2.013 0.001147 0.000385 0.01159 0.4976 1 -0.00002051 0.0002745 0.003871 0.001399 0.0374 3.228 0.3332 0.001679 0.0003007 1 1 0.003782 0.0437 0.2627 0.004142 0.04787 0.2877 json
t18_x54_u0_b178 18 54 0 178 sub(R,mod(P,mlt(P,P))) 131398 148352650 o2(x,o2(x,o2(x,x))) true 79591 79591 -0.1166 0.4421 0.9673 0.943 0.9711 -1 1 2 1 1.557 0.01516 0.0002291 0.01894 0.9702 1 -0.00001309 0.02762 0.02276 0.01503 0.1226 6.474 1.943 0.01632 0.02929 1 1 0.02046 0.1007 0.3635 0.02169 0.1068 0.3854 json
t18_x54_u0_b179 18 54 0 179 sub(R,mod(P,div(P,P))) 131399 148352651 o2(x,o2(x,o2(x,x))) true 79599 79599 -0.12 0.4324 0.4674 0.3015 0.5491 -1 0.9806 1.981 1 4.761 0.01585 0.002792 0.06406 0.7005 1 0.00004824 0.0275 0.03166 0.01454 0.1206 1.882 1.943 0.06184 0.09123 1 1 0.02584 0.1831 0.5035 0.0857 0.6074 1.67 json