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
t20_x18_u0_b66 20 18 0 66 add(P,lrg(add(R,P),P)) 163200 163139304 o2(x,o2(o2(x,x),x)) true 14007 14007 0.06347 0.5253 0.9326 0.9159 0.9571 -1 1 2 1 1.84 0.0009772 0.0002573 0.009837 0.5831 1 -0.00001925 0.0001771 0.002995 0.001138 0.03373 3.429 0.2338 0.001348 0.0001934 1 1 0.003184 0.03819 0.2638 0.003476 0.0417 0.288 json
t20_x18_u0_b67 20 18 0 67 add(P,lrg(sub(R,P),P)) 163201 163139305 o2(x,o2(o2(x,x),x)) true 14015 14015 0.08984 0.5378 0.9023 0.8786 0.9373 -1 1 2 1 2.016 0.0006768 0.0001053 0.00895 0.7306 1 -0.000005704 0.00003874 0.002113 0.000702 0.0265 2.96 0.1169 0.0008902 0.00004409 1 1 0.002072 0.02727 0.2084 0.002358 0.03104 0.2372 json
t20_x18_u0_b68 20 18 0 68 add(P,lrg(mlt(R,P),P)) 163202 163139306 o2(x,o2(o2(x,x),x)) true 14023 14023 0.0625 0.5 0.875 0.8576 0.926 -1 1 2 1 2.027 0.0007059 0 0.007937 1 1 0 0.00003238 0.001855 0.0006432 0.02536 3.195 0.1169 0.0008231 0.00003776 1 1 0.001851 0.02429 0.1593 0.002158 0.02832 0.1858 json
t20_x18_u0_b69 20 18 0 69 add(P,lrg(div(R,P),P)) 163203 163139307 o2(x,o2(o2(x,x),x)) true 14031 14031 0.08984 0.5378 0.9023 0.8786 0.9373 -1 1 2 1 2.016 0.0006768 0.0001053 0.00895 0.7306 1 -0.000005704 0.00003874 0.002113 0.000702 0.0265 2.96 0.1169 0.0008902 0.00004409 1 1 0.002072 0.02727 0.2084 0.002358 0.03104 0.2372 json
t20_x18_u0_b70 20 18 0 70 add(P,lrg(pow(R,P),P)) 163204 163139308 o2(x,o2(o2(x,x),x)) true 14039 14039 0.125 0.5625 0.9375 0.9084 0.9531 -1 1 2 1 1.8 0.0007059 0 0.007937 1 1 0 0.00003235 0.001851 0.0006432 0.02536 3.195 0.1169 0.0007771 0.00003562 1 1 0.001851 0.02449 0.2344 0.002038 0.02696 0.2581 json
t20_x18_u0_b71 20 18 0 71 add(P,lrg(mod(R,P),P)) 163205 163139309 o2(x,o2(o2(x,x),x)) true 14047 14047 0.125 0.5625 0.9375 0.9084 0.9531 -1 1 2 1 1.8 0.0007059 0 0.007937 1 1 0 0.00003235 0.001851 0.0006432 0.02536 3.195 0.1169 0.0007771 0.00003562 1 1 0.001851 0.02449 0.2344 0.002038 0.02696 0.2581 json
t20_x18_u0_b72 20 18 0 72 add(P,lrg(lrg(R,P),P)) 163206 163139310 o2(x,o2(o2(x,x),x)) true 14055 14055 0.08984 0.5378 0.9023 0.8786 0.9373 -1 1 2 1 2.016 0.0006768 0.0001053 0.00895 0.7306 1 -0.000005704 0.00003874 0.002113 0.000702 0.0265 2.96 0.1169 0.0008902 0.00004409 1 1 0.002072 0.02727 0.2084 0.002358 0.03104 0.2372 json
t20_x18_u0_b73 20 18 0 73 add(P,lrg(eql(R,P),P)) 163207 163139311 o2(x,o2(o2(x,x),x)) true 14063 14063 0.0625 0.5 0.875 0.8576 0.926 -1 1 2 1 2.027 0.0007059 0 0.007937 1 1 0 0.00003238 0.001855 0.0006432 0.02536 3.195 0.1169 0.0008231 0.00003776 1 1 0.001851 0.02429 0.1593 0.002158 0.02832 0.1858 json
t20_x18_u0_b74 20 18 0 74 add(P,lrg(min(R,P),P)) 163208 163139312 o2(x,o2(o2(x,x),x)) true 14071 14071 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
t20_x18_u0_b75 20 18 0 75 add(P,lrg(dot(R,P),P)) 163209 163139313 o2(x,o2(o2(x,x),x)) true 14079 14079 0.06455 0.5274 0.9313 0.9115 0.9547 -1 1 2 1 1.905 0.0009138 0.0003506 0.01074 0.4455 1 0.000008822 0.0001548 0.003088 0.001149 0.03389 3.156 0.2338 0.001387 0.0001699 1 1 0.003259 0.04026 0.2492 0.003575 0.04416 0.2734 json
t20_x18_u0_b76 20 18 0 76 add(P,lrg(dst(R,P),P)) 163210 163139314 o2(x,o2(o2(x,x),x)) true 14087 14087 0.125 0.5625 0.9375 0.9084 0.9531 -1 1 2 1 1.8 0.0007059 0 0.007937 1 1 0 0.00003235 0.001851 0.0006432 0.02536 3.195 0.1169 0.0007771 0.00003562 1 1 0.001851 0.02449 0.2344 0.002038 0.02696 0.2581 json
t20_x18_u0_b77 20 18 0 77 add(P,eql(add(R,P),P)) 163211 163139315 o2(x,o2(o2(x,x),x)) true 14095 14095 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
t20_x18_u0_b78 20 18 0 78 add(P,eql(sub(R,P),P)) 163212 163139316 o2(x,o2(o2(x,x),x)) true 14103 14103 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
t20_x18_u0_b79 20 18 0 79 add(P,eql(mlt(R,P),P)) 163213 163139317 o2(x,o2(o2(x,x),x)) true 14111 14111 0.0625 0.5313 0.9806 0.969 0.9844 -1 1 2 1 1.326 0.001412 0 0.007937 1 1 0 0.00006477 0.001855 0.001349 0.03673 4.628 0.2338 0.001457 0.00006684 1 1 0.003702 0.04857 0.3004 0.00382 0.05012 0.31 json
t20_x18_u0_b80 20 18 0 80 add(P,eql(div(R,P),P)) 163214 163139318 o2(x,o2(o2(x,x),x)) true 14119 14119 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
t20_x18_u0_b81 20 18 0 81 add(P,eql(pow(R,P),P)) 163215 163139319 o2(x,o2(o2(x,x),x)) true 14127 14127 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
t20_x18_u0_b82 20 18 0 82 add(P,eql(mod(R,P),P)) 163216 163139320 o2(x,o2(o2(x,x),x)) true 14135 14135 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
t20_x18_u0_b83 20 18 0 83 add(P,eql(lrg(R,P),P)) 163217 163139321 o2(x,o2(o2(x,x),x)) true 14143 14143 0.03516 0.5198 0.9611 0.9479 0.9736 -1 1 2 1 1.637 0.001069 0.0001053 0.008778 0.8206 1 0.000005704 0.00005667 0.002005 0.001097 0.03312 3.773 0.2338 0.001239 0.00005978 1 1 0.003075 0.04044 0.2848 0.003244 0.04266 0.3005 json
t20_x18_u0_b84 20 18 0 84 add(P,eql(eql(R,P),P)) 163218 163139322 o2(x,o2(o2(x,x),x)) true 14151 14151 0.0625 0.5313 0.9806 0.969 0.9844 -1 1 2 1 1.326 0.001412 0 0.007937 1 1 0 0.00006477 0.001855 0.001349 0.03673 4.628 0.2338 0.001457 0.00006684 1 1 0.003702 0.04857 0.3004 0.00382 0.05012 0.31 json
t20_x18_u0_b85 20 18 0 85 add(P,eql(min(R,P),P)) 163219 163139323 o2(x,o2(o2(x,x),x)) true 14159 14159 0.08984 0.5378 0.9023 0.8786 0.9373 -1 1 2 1 2.016 0.0006768 0.0001053 0.00895 0.7306 1 -0.000005704 0.00003874 0.002113 0.000702 0.0265 2.96 0.1169 0.0008902 0.00004409 1 1 0.002072 0.02727 0.2084 0.002358 0.03104 0.2372 json
t20_x18_u0_b86 20 18 0 86 add(P,eql(dot(R,P),P)) 163220 163139324 o2(x,o2(o2(x,x),x)) true 14167 14167 0.003906 0.5027 0.94 0.9263 0.9625 -1 1 2 1 1.811 0.000741 0.00003512 0.008218 0.9095 1 -2.229e-12 0.00003657 0.001903 0.0007087 0.02662 3.24 0.2338 0.0008378 0.00003948 1 1 0.002095 0.02767 0.2431 0.002262 0.02987 0.2624 json
t20_x18_u0_b87 20 18 0 87 add(P,eql(dst(R,P),P)) 163221 163139325 o2(x,o2(o2(x,x),x)) true 14175 14175 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
t20_x18_u0_b88 20 18 0 88 add(P,min(add(R,P),P)) 163222 163139326 o2(x,o2(o2(x,x),x)) true 14183 14183 -0.02026 0.4856 0.9667 0.9565 0.978 -1 1 2 1 1.538 0.001478 0.00005978 0.008331 0.9222 1 -0.000004198 0.0003235 0.003451 0.001467 0.03831 4.598 0.3249 0.001607 0.0003382 1 1 0.003861 0.04029 0.2853 0.004036 0.04212 0.2982 json
t20_x18_u0_b89 20 18 0 89 add(P,min(sub(R,P),P)) 163223 163139327 o2(x,o2(o2(x,x),x)) true 14191 14191 -0.5018 0.2244 0.6762 0.3347 0.5785 -1 0.9806 1.981 1 3.511 0.001852 0.00146 0.03444 0.1183 1 -1.324e-7 0.0002735 0.008661 0.002126 0.0461 1.339 0.2265 0.009899 0.0008173 1 1 0.006646 0.08308 0.2696 0.01986 0.2483 0.8057 json
t20_x18_u0_b90 20 18 0 90 add(P,min(mlt(R,P),P)) 163224 163139328 o2(x,o2(o2(x,x),x)) true 14199 14199 -0.02024 0.4999 0.9367 0.9202 0.9593 -1 1 2 1 1.85 0.001269 0.0003563 0.01127 0.5616 1 -0.00003429 0.0005235 0.005633 0.001499 0.03872 3.436 0.3898 0.001767 0.0005689 1 1 0.003454 0.03411 0.2525 0.003753 0.03707 0.2744 json
t20_x18_u0_b91 20 18 0 91 add(P,min(div(R,P),P)) 163225 163139329 o2(x,o2(o2(x,x),x)) true 14207 14207 -0.09779 0.4531 0.9852 0.9721 0.9859 -1 1 2 1 1.245 0.0109 0.003995 0.01081 0.4635 1 -0.000006883 0.02987 0.01773 0.01478 0.1216 11.25 2.828 0.01532 0.03072 1 1 0.02052 0.09026 0.3781 0.02111 0.09285 0.389 json
t20_x18_u0_b92 20 18 0 92 add(P,min(pow(R,P),P)) 163226 163139330 o2(x,o2(o2(x,x),x)) true 14215 14215 -0.001401 0.5 0.9555 0.9476 0.9735 -1 1 2 1 1.527 0.001263 0.000004006 0.007959 0.9937 1 1.938e-7 0.0002684 0.003413 0.001204 0.03469 4.359 0.2265 0.001337 0.0002833 1 1 0.003173 0.03221 0.2662 0.003348 0.03399 0.2809 json
t20_x18_u0_b93 20 18 0 93 add(P,min(mod(R,P),P)) 163227 163139331 o2(x,o2(o2(x,x),x)) true 14223 14223 -0.01126 0.4999 0.9457 0.9346 0.9668 -1 1 2 1 1.669 0.001121 0.00007809 0.008492 0.8698 1 -0.00001627 0.0002568 0.00345 0.001127 0.03357 3.954 0.2265 0.001283 0.0002748 1 1 0.002892 0.03007 0.2496 0.003094 0.03217 0.267 json
t20_x18_u0_b94 20 18 0 94 add(P,min(lrg(R,P),P)) 163228 163139332 o2(x,o2(o2(x,x),x)) true 14231 14231 -0.009727 0.5 0.9472 0.9365 0.9677 -1 1 2 1 1.65 0.001005 0 0.007937 1 1 4.731e-10 0.0001502 0.002719 0.0009424 0.0307 3.868 0.2265 0.001073 0.0001604 1 1 0.002565 0.02848 0.2515 0.002739 0.03041 0.2686 json
t20_x18_u0_b95 20 18 0 95 add(P,min(eql(R,P),P)) 163229 163139333 o2(x,o2(o2(x,x),x)) true 14239 14239 -0.009727 0.5 0.9472 0.9365 0.9677 -1 1 2 1 1.65 0.001005 0 0.007937 1 1 4.731e-10 0.0001502 0.002719 0.0009424 0.0307 3.868 0.2265 0.001073 0.0001604 1 1 0.002565 0.02848 0.2515 0.002739 0.03041 0.2686 json
t20_x18_u0_b96 20 18 0 96 add(P,min(min(R,P),P)) 163230 163139334 o2(x,o2(o2(x,x),x)) true 14247 14247 -0.03068 0.4833 0.957 0.9435 0.9714 -1 1 2 1 1.692 0.001208 0.0001388 0.008884 0.7938 1 -0.00001833 0.0002644 0.003305 0.001267 0.0356 4.007 0.312 0.001427 0.0002803 1 1 0.003263 0.03603 0.2678 0.003458 0.03819 0.2839 json
t20_x18_u0_b97 20 18 0 97 add(P,min(dot(R,P),P)) 163231 163139335 o2(x,o2(o2(x,x),x)) true 14255 14255 -0.1433 0.4273 0.9454 0.9098 0.9538 -1 1 2 1 1.798 0.006514 0.006954 0.03019 -0.03261 1 -0.0001139 0.008914 0.01912 0.01256 0.1121 3.712 1.759 0.0148 0.009798 1 1 0.02244 0.1927 0.5434 0.02466 0.2118 0.5972 json
t20_x18_u0_b98 20 18 0 98 add(P,min(dst(R,P),P)) 163232 163139336 o2(x,o2(o2(x,x),x)) true 14263 14263 -0.0001423 0.5 0.9568 0.9492 0.9743 -1 1 2 1 1.497 0.001299 2.412e-7 0.007938 0.9996 1 1.18e-10 0.0002675 0.003568 0.001236 0.03516 4.43 0.2265 0.001369 0.0002818 1 1 0.003265 0.03262 0.2683 0.00344 0.03436 0.2827 json
t20_x18_u0_b99 20 18 0 99 add(P,dot(add(R,P),P)) 163233 163139337 o2(x,o2(o2(x,x),x)) true 14271 14271 0.9893 0.9981 0.9901 0.008892 0.0943 -0.4343 1 1.434 1 0.18 0.000198 0.0001688 0.002099 0.07961 1 -2.253e-11 0.000129 0.001001 0.0003621 0.01903 9.067 0.4223 0.04124 0.0145 1 1 0.001201 0.01154 0.02938 0.1351 1.298 3.304 json
t20_x18_u0_b100 20 18 0 100 add(P,dot(sub(R,P),P)) 163234 163139338 o2(x,o2(o2(x,x),x)) true 14279 14279 -0.9866 0.002151 0.9876 0.01106 0.1052 -1 0.4345 1.435 1 0.2184 0.0002232 0.000157 0.002172 0.1739 1 3.004e-11 0.0001699 0.0012 0.0003751 0.01937 8.915 0.4529 0.03439 0.01536 1 1 0.001218 0.01094 0.03642 0.1102 0.9895 3.294 json
t20_x18_u0_b101 20 18 0 101 add(P,dot(mlt(R,P),P)) 163235 163139339 o2(x,o2(o2(x,x),x)) true 14287 14287 0.05591 0.5299 0.9566 0.9395 0.9693 -1 1 2 1 1.691 0.07046 0.08032 0.1065 -0.06544 1 -0.00004424 0.3197 0.1652 0.1394 0.3733 3.505 2.828 0.1605 0.3403 1 1 0.1348 0.6875 1.604 0.1435 0.7318 1.707 json
t20_x18_u0_b102 20 18 0 102 add(P,dot(div(R,P),P)) 163236 163139340 o2(x,o2(o2(x,x),x)) true 14295 14295 -0.2301 0.3847 0.9893 0.9322 0.9655 -1 1 2 1 1.203 0.01308 0.01432 0.01768 -0.04528 1 -0.000004755 0.05426 0.03061 0.02711 0.1647 9.312 2.028 0.0294 0.05821 1 1 0.03385 0.1424 0.5599 0.03631 0.1527 0.6007 json
t20_x18_u0_b103 20 18 0 103 add(P,dot(pow(R,P),P)) 163237 163139341 o2(x,o2(o2(x,x),x)) true 14303 14303 -0.9865 0.007813 0.9979 0.02408 0.1552 -1 1 2 1 0.08687 0.002775 0.001585 0.002865 0.273 1 9.011e-11 0.008944 0.00513 0.004349 0.06595 23.02 2.828 0.1811 0.3715 1 1 0.00778 0.03454 0.08815 0.3231 1.435 3.662 json
t20_x18_u0_b104 20 18 0 104 add(P,dot(mod(R,P),P)) 163238 163139342 o2(x,o2(o2(x,x),x)) true 14311 14311 -0.2507 0.3738 0.9506 0.8705 0.933 -1 1 2 1 1.778 0.02442 0.02698 0.05515 -0.04975 1 -0.0001292 0.07664 0.06029 0.04834 0.2199 3.986 2.268 0.05905 0.08804 1 1 0.06736 0.3882 0.9194 0.07738 0.446 1.056 json
t20_x18_u0_b105 20 18 0 105 add(P,dot(lrg(R,P),P)) 163239 163139343 o2(x,o2(o2(x,x),x)) true 14319 14319 -0.2543 0.374 0.9434 0.8647 0.9299 -1 1 2 1 1.748 0.000854 0.0003409 0.00999 0.4294 1 1.783e-11 0.0001919 0.002971 0.001095 0.03309 3.312 0.2307 0.001382 0.0002219 1 1 0.003049 0.03624 0.3297 0.003526 0.04191 0.3812 json
t20_x18_u0_b106 20 18 0 106 add(P,dot(eql(R,P),P)) 163240 163139344 o2(x,o2(o2(x,x),x)) true 14327 14327 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
t20_x18_u0_b107 20 18 0 107 add(P,dot(min(R,P),P)) 163241 163139345 o2(x,o2(o2(x,x),x)) true 14335 14335 0.8848 0.9476 0.961 0.167 0.4086 -1 1 2 1 0.8622 0.004063 0.004152 0.01859 -0.01079 1 -0.0001171 0.005288 0.01196 0.007869 0.0887 4.771 1.379 0.0492 0.03167 1 1 0.01291 0.1127 0.3477 0.07732 0.6747 2.082 json
t20_x18_u0_b108 20 18 0 108 add(P,dot(dot(R,P),P)) 163242 163139346 o2(x,o2(o2(x,x),x)) true 14343 14343 0.05265 0.5272 0.9604 0.9453 0.9723 -1 1 2 1 1.656 0.0576 0.0717 0.09348 -0.1091 1 -0.00003516 0.2754 0.1421 0.1206 0.3473 3.715 2.828 0.1368 0.2914 1 1 0.1171 0.6016 1.439 0.1239 0.6363 1.522 json
t20_x18_u0_b109 20 18 0 109 add(P,dot(dst(R,P),P)) 163243 163139347 o2(x,o2(o2(x,x),x)) true 14351 14351 0.002676 0.5013 0.9872 0.9833 0.9916 -1 1 2 1 1.256 0.004062 0.004012 0.01224 0.006186 1 -0.000003423 0.007646 0.01024 0.007927 0.08904 7.272 1.695 0.008212 0.007776 1 1 0.0149 0.1122 0.5554 0.01516 0.1141 0.5648 json
t20_x18_u0_b110 20 18 0 110 add(P,dst(add(R,P),P)) 163244 163139348 o2(x,o2(o2(x,x),x)) true 14359 14359 0.1228 0.5638 0.9362 0.9005 0.9489 -1 1 2 1 1.979 0.0007835 0.00009467 0.008974 0.7844 1 -0.000002358 0.0001175 0.002698 0.0007974 0.02824 3.147 0.2056 0.0009753 0.0001304 1 1 0.002174 0.02655 0.2276 0.002415 0.02948 0.2528 json
t20_x18_u0_b111 20 18 0 111 add(P,dst(sub(R,P),P)) 163245 163139349 o2(x,o2(o2(x,x),x)) true 14367 14367 0.9997 1 0.9997 0.00005501 0.007417 0.7142 1 0.2858 1 0.0183 0.000002987 0.000007093 0.0001269 -0.4074 0 -2.628e-11 0.000007386 0.0001112 0.00001006 0.003171 24.99 0.1284 0.1832 0.1343 1 1 0.00003005 0.0001751 0.0002001 0.5462 3.183 3.638 json
t20_x18_u0_b112 20 18 0 112 add(P,dst(mlt(R,P),P)) 163246 163139350 o2(x,o2(o2(x,x),x)) true 14375 14375 0.739 0.8745 0.9248 0.3536 0.5947 -1 1 2 1 1.598 0.006715 0.007347 0.03563 -0.0449 1 -0.00006962 0.008152 0.02064 0.0128 0.1131 3.176 1.404 0.03977 0.02305 1 1 0.01897 0.1609 0.3738 0.05366 0.4551 1.057 json
t20_x18_u0_b113 20 18 0 113 add(P,dst(div(R,P),P)) 163247 163139351 o2(x,o2(o2(x,x),x)) true 14383 14383 -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
t20_x18_u0_b114 20 18 0 114 add(P,dst(pow(R,P),P)) 163248 163139352 o2(x,o2(o2(x,x),x)) true 14391 14391 -0.9766 0.01172 1 0.0463 0.2152 -1 1 2 1 0.09198 0.006047 0.004031 0.005002 0.2 1 0 0.02116 0.01008 0.01005 0.1002 20.04 2.828 0.2177 0.4571 1 1 0.01773 0.07091 0.1684 0.3829 1.532 3.638 json
t20_x18_u0_b115 20 18 0 115 add(P,dst(mod(R,P),P)) 163249 163139353 o2(x,o2(o2(x,x),x)) true 14399 14399 0.4642 0.7443 0.9461 0.7123 0.844 -1 1 2 1 1.631 0.02804 0.02272 0.03309 0.1048 1 -0.000005361 0.1006 0.05432 0.04962 0.2227 6.732 2.828 0.07125 0.1412 1 1 0.06431 0.266 1.049 0.09028 0.3734 1.472 json
t20_x18_u0_b116 20 18 0 116 add(P,dst(lrg(R,P),P)) 163250 163139354 o2(x,o2(o2(x,x),x)) true 14407 14407 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
t20_x18_u0_b117 20 18 0 117 add(P,dst(eql(R,P),P)) 163251 163139355 o2(x,o2(o2(x,x),x)) true 14415 14415 0.885 0.9968 0.885 0.07625 0.2761 0.00001812 1 1 1 1.305 0.00005943 0.0001798 0.004703 -0.5033 1 -0.000002319 0.00003737 0.001341 0.0002171 0.01473 3.133 0.2282 0.003138 0.0004901 1 1 0.0007094 0.0084 0.06467 0.009305 0.1102 0.8481 json
t20_x18_u0_b118 20 18 0 118 add(P,dst(min(R,P),P)) 163252 163139356 o2(x,o2(o2(x,x),x)) true 14423 14423 0.2752 0.634 0.944 0.8491 0.9215 -1 1 2 1 1.82 0.001003 0.0005134 0.0112 0.3229 1 -0.000007552 0.0002975 0.003914 0.001391 0.03729 3.331 0.2961 0.001786 0.0003503 1 1 0.003846 0.04425 0.3224 0.004529 0.05212 0.3797 json
t20_x18_u0_b119 20 18 0 119 add(P,dst(dot(R,P),P)) 163253 163139357 o2(x,o2(o2(x,x),x)) true 14431 14431 0.8805 0.9468 0.9322 0.1369 0.3701 -1 1 2 1 1.141 0.002378 0.002201 0.01712 0.03878 1 -0.00008566 0.001949 0.008513 0.00429 0.0655 3.827 1.016 0.03343 0.01423 1 1 0.006392 0.05698 0.1271 0.04667 0.4161 0.9283 json
t20_x18_u0_b120 20 18 0 120 add(P,dst(dst(R,P),P)) 163254 163139358 o2(x,o2(o2(x,x),x)) true 14439 14439 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
t20_x18_u0_b121 20 18 0 121 sub(P,add(add(R,P),P)) 163255 163139359 o2(x,o2(o2(x,x),x)) true 14447 14447 -0.003757 0.5026 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
t20_x18_u0_b122 20 18 0 122 sub(P,add(sub(R,P),P)) 163256 163139360 o2(x,o2(o2(x,x),x)) true 14455 14455 -0.004612 0.5032 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
t20_x18_u0_b123 20 18 0 123 sub(P,add(mlt(R,P),P)) 163257 163139361 o2(x,o2(o2(x,x),x)) true 14463 14463 0.0623 0.528 0.7239 0.644 0.8025 -1 1 2 1 3.79 0.01645 0.01963 0.09244 -0.08822 1 0.00004552 0.0199 0.04926 0.02753 0.1659 1.795 1.466 0.05602 0.0309 1 1 0.05074 0.4449 1.04 0.07878 0.6908 1.616 json
t20_x18_u0_b124 20 18 0 124 sub(P,add(div(R,P),P)) 163258 163139362 o2(x,o2(o2(x,x),x)) true 14471 14471 -0.1238 0.4699 0.2314 0.1375 0.3709 -1 0.8978 1.898 1 3.49 0.009749 0.0004369 0.02498 0.9142 1 0.000007081 0.01891 0.019 0.009561 0.09778 3.914 1.898 0.07406 0.1375 1 1 0.01397 0.06912 0.2308 0.1016 0.5026 1.678 json
t20_x18_u0_b125 20 18 0 125 sub(P,add(pow(R,P),P)) 163259 163139363 o2(x,o2(o2(x,x),x)) true 14479 14479 -0.9938 0 0.9938 0.003726 0.06104 -1 -0.0007058 0.9993 1 0.1713 0.000419 0.0004052 0.001787 0.0167 1 -0.000001838 0.001693 0.002575 0.0008212 0.02866 16.04 0.9993 0.2212 0.4542 1 1 0.0003514 0.001641 0.004903 0.09429 0.4404 1.316 json
t20_x18_u0_b126 20 18 0 126 sub(P,add(mod(R,P),P)) 163260 163139364 o2(x,o2(o2(x,x),x)) true 14487 14487 -0.13 0.4424 0.4674 0.299 0.5468 -1 0.9989 1.999 1 4.772 0.009135 0.002792 0.06071 0.5319 1 -0.00004824 0.01399 0.02491 0.008242 0.09079 1.495 1.947 0.03989 0.04678 1 1 0.01937 0.1638 0.4994 0.06477 0.5479 1.67 json
t20_x18_u0_b127 20 18 0 127 sub(P,add(lrg(R,P),P)) 163261 163139365 o2(x,o2(o2(x,x),x)) true 14495 14495 -0.4961 0 0.4961 0.2412 0.4911 -1 0 1 1 1.527 0.0003238 0.0001053 0.004981 0.5091 1 0.000005705 0.00002256 0.001187 0.0004044 0.02011 4.037 0.1169 0.001779 0.00009352 1 1 0.001146 0.01504 0.08976 0.004753 0.06234 0.3721 json
t20_x18_u0_b128 20 18 0 128 sub(P,add(eql(R,P),P)) 163262 163139366 o2(x,o2(o2(x,x),x)) true 14503 14503 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
t20_x18_u0_b129 20 18 0 129 sub(P,add(min(R,P),P)) 163263 163139367 o2(x,o2(o2(x,x),x)) true 14511 14511 0.4947 0.7749 0.669 0.3314 0.5756 -0.9806 1 1.981 1 3.609 0.001675 0.001465 0.03457 0.06692 1 5.685e-7 0.0001859 0.007986 0.001945 0.0441 1.276 0.219 0.009476 0.0005609 1 1 0.006236 0.08108 0.2653 0.01882 0.2447 0.8006 json
t20_x18_u0_b130 20 18 0 130 sub(P,add(dot(R,P),P)) 163264 163139368 o2(x,o2(o2(x,x),x)) true 14519 14519 0.09414 0.5421 0.842 0.7849 0.886 -1 1 2 1 2.916 0.02451 0.0331 0.1019 -0.1491 1 -0.0000297 0.04608 0.07442 0.04725 0.2174 2.133 1.874 0.07341 0.0587 1 1 0.0731 0.5655 1.363 0.09312 0.7204 1.737 json
t20_x18_u0_b131 20 18 0 131 sub(P,add(dst(R,P),P)) 163265 163139369 o2(x,o2(o2(x,x),x)) true 14527 14527 -0.9991 0 0.9991 0.0002231 0.01494 -1 -0.5928 0.4072 1 0.04809 0.000009663 0.00001458 0.0003494 -0.2029 0 -1.877e-11 0.00001288 0.0002502 0.00002412 0.004912 14.06 0.1585 0.1087 0.05776 1 1 0.00007594 0.0005734 0.0008112 0.3404 2.571 3.637 json
t20_x18_u0_b132 20 18 0 132 sub(P,sub(add(R,P),P)) 163266 163139370 o2(x,o2(o2(x,x),x)) true 14535 14535 -0.004612 0.5032 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
t20_x18_u0_b133 20 18 0 133 sub(P,sub(sub(R,P),P)) 163267 163139371 o2(x,o2(o2(x,x),x)) true 14543 14543 0.005046 0.5031 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
t20_x18_u0_b134 20 18 0 134 sub(P,sub(mlt(R,P),P)) 163268 163139372 o2(x,o2(o2(x,x),x)) true 14551 14551 -0.0006752 0.5 0.9533 0.9448 0.972 -1 1 2 1 1.588 0.001206 0.00002005 0.008014 0.9673 1 -2.508e-8 0.0002895 0.003229 0.001162 0.03408 4.253 0.3031 0.001298 0.0003064 1 1 0.003135 0.03204 0.265 0.003318 0.03391 0.2805 json
t20_x18_u0_b135 20 18 0 135 sub(P,sub(div(R,P),P)) 163269 163139373 o2(x,o2(o2(x,x),x)) true 14559 14559 -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
t20_x18_u0_b136 20 18 0 136 sub(P,sub(pow(R,P),P)) 163270 163139374 o2(x,o2(o2(x,x),x)) true 14567 14567 -0.971 0.01434 0.9948 0.0501 0.2238 -1 1 2 1 0.219 0.00659 0.004488 0.007941 0.1898 1 5.256e-11 0.02221 0.01172 0.01101 0.1049 13.22 2.828 0.2211 0.4433 1 1 0.008557 0.04104 0.08492 0.1708 0.8191 1.695 json
t20_x18_u0_b137 20 18 0 137 sub(P,sub(mod(R,P),P)) 163271 163139375 o2(x,o2(o2(x,x),x)) true 14575 14575 -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
t20_x18_u0_b138 20 18 0 138 sub(P,sub(lrg(R,P),P)) 163272 163139376 o2(x,o2(o2(x,x),x)) true 14583 14583 -0.02378 0.4866 0.9717 0.9644 0.982 -1 1 2 1 1.42 0.001802 0.00008788 0.00841 0.907 1 0.00000454 0.0005173 0.003717 0.001819 0.04265 5.072 0.3506 0.00196 0.0005364 1 1 0.004719 0.04802 0.3044 0.004893 0.0498 0.3156 json
t20_x18_u0_b139 20 18 0 139 sub(P,sub(eql(R,P),P)) 163273 163139377 o2(x,o2(o2(x,x),x)) true 14591 14591 0 0.5 0.9569 0.9494 0.9744 -1 1 2 1 1.488 0.001303 0 0.007937 1 1 0 0.0002681 0.003586 0.001241 0.03522 4.438 0.2265 0.001373 0.0002824 1 1 0.003279 0.03268 0.2686 0.003454 0.03442 0.2829 json
t20_x18_u0_b140 20 18 0 140 sub(P,sub(min(R,P),P)) 163274 163139378 o2(x,o2(o2(x,x),x)) true 14599 14599 0.02833 0.517 0.957 0.9434 0.9713 -1 1 2 1 1.701 0.001012 0.0000617 0.008419 0.885 1 0.000002211 0.0001263 0.002456 0.001003 0.03167 3.762 0.256 0.001138 0.0001339 1 1 0.002805 0.03401 0.2681 0.002974 0.03605 0.2842 json
t20_x18_u0_b141 20 18 0 141 sub(P,sub(dot(R,P),P)) 163275 163139379 o2(x,o2(o2(x,x),x)) true 14607 14607 0.002742 0.4978 0.9497 0.9339 0.9664 -1 1 2 1 1.783 0.005662 0.00589 0.02469 -0.01968 1 0.0000378 0.008676 0.01707 0.01094 0.1046 4.237 1.748 0.01237 0.00929 1 1 0.0148 0.1257 0.4035 0.01585 0.1346 0.432 json
t20_x18_u0_b142 20 18 0 142 sub(P,sub(dst(R,P),P)) 163276 163139380 o2(x,o2(o2(x,x),x)) true 14615 14615 -0.3029 0.351 0.9519 0.8445 0.9189 -1 1 2 1 1.7 0.001117 0.0007334 0.0115 0.2074 1 -0.00001804 0.000383 0.00402 0.001718 0.04145 3.605 0.3693 0.002192 0.0004535 1 1 0.004396 0.04914 0.3409 0.005206 0.05819 0.4037 json
t20_x18_u0_b143 20 18 0 143 sub(P,mlt(add(R,P),P)) 163277 163139381 o2(x,o2(o2(x,x),x)) true 14623 14623 -0.9011 0.02843 0.9121 0.08208 0.2865 -1 0.8907 1.891 1 1.122 0.001242 0.0002936 0.01105 0.6175 1 0.00002268 0.0003946 0.004242 0.001413 0.03759 3.401 0.447 0.0187 0.004807 1 1 0.003706 0.03826 0.1374 0.04515 0.4661 1.674 json
t20_x18_u0_b144 20 18 0 144 sub(P,mlt(sub(R,P),P)) 163278 163139382 o2(x,o2(o2(x,x),x)) true 14631 14631 0.8906 0.9623 0.9053 0.09328 0.3054 -0.9968 1 1.997 1 1.181 0.001178 0.0003666 0.0115 0.5254 1 -0.000015 0.0003875 0.004305 0.001413 0.03758 3.268 0.388 0.01656 0.004154 1 1 0.003562 0.03697 0.1589 0.03819 0.3963 1.703 json
t20_x18_u0_b145 20 18 0 145 sub(P,mlt(mlt(R,P),P)) 163279 163139383 o2(x,o2(o2(x,x),x)) true 14639 14639 -0.01496 0.496 0.8689 0.8358 0.9142 -1 1 2 1 2.535 0.045 0.04482 0.08119 0.001975 1 -0.000006545 0.1764 0.104 0.08319 0.2884 3.553 2.828 0.1075 0.2111 1 1 0.08671 0.4739 1.138 0.1037 0.567 1.362 json
t20_x18_u0_b146 20 18 0 146 sub(P,mlt(div(R,P),P)) 163280 163139384 o2(x,o2(o2(x,x),x)) true 14647 14647 -0.1288 0.4375 0.9898 0.9681 0.9839 -1 1 2 1 1.242 0.01149 0.00009029 0.009581 0.9844 1 0.000006904 0.02258 0.01532 0.01149 0.1072 11.19 2 0.01196 0.02332 1 1 0.01663 0.07631 0.3312 0.01718 0.07882 0.3421 json
t20_x18_u0_b147 20 18 0 147 sub(P,mlt(pow(R,P),P)) 163281 163139385 o2(x,o2(o2(x,x),x)) true 14655 14655 -0.8797 0.07307 0.9719 0.1942 0.4407 -1 1 2 1 0.561 0.01856 0.01766 0.02206 0.02467 1 -2.816e-10 0.07517 0.04174 0.03573 0.189 8.569 2.828 0.1865 0.3871 1 1 0.03452 0.1455 0.4392 0.1778 0.749 2.261 json
t20_x18_u0_b148 20 18 0 148 sub(P,mlt(mod(R,P),P)) 163282 163139386 o2(x,o2(o2(x,x),x)) true 14663 14663 -0.1211 0.4375 0.9697 0.9416 0.9704 -1 1 2 1 1.615 0.01255 0.0006513 0.01655 0.9013 1 -0.00003941 0.02436 0.02139 0.01291 0.1136 6.868 2 0.01402 0.02587 1 1 0.01933 0.09194 0.3445 0.02053 0.09764 0.3659 json
t20_x18_u0_b149 20 18 0 149 sub(P,mlt(lrg(R,P),P)) 163283 163139387 o2(x,o2(o2(x,x),x)) true 14671 14671 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
t20_x18_u0_b150 20 18 0 150 sub(P,mlt(eql(R,P),P)) 163284 163139388 o2(x,o2(o2(x,x),x)) true 14679 14679 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
t20_x18_u0_b151 20 18 0 151 sub(P,mlt(min(R,P),P)) 163285 163139389 o2(x,o2(o2(x,x),x)) true 14687 14687 -0.03269 0.4988 0.9243 0.9073 0.9525 -1 1 2 1 1.89 0.001224 0.0003036 0.01106 0.6024 1 -0.0000635 0.0004793 0.00523 0.001405 0.03748 3.389 0.4854 0.001683 0.0005283 1 1 0.003645 0.03577 0.2407 0.004018 0.03942 0.2653 json
t20_x18_u0_b152 20 18 0 152 sub(P,mlt(dot(R,P),P)) 163286 163139390 o2(x,o2(o2(x,x),x)) true 14695 14695 -0.08763 0.4426 0.9055 0.8764 0.9362 -1 1 2 1 2.132 0.05133 0.06425 0.09633 -0.1118 1 -0.00008467 0.2238 0.1303 0.1063 0.326 3.384 2.828 0.1319 0.2554 1 1 0.1124 0.6127 1.345 0.1282 0.6991 1.535 json
t20_x18_u0_b153 20 18 0 153 sub(P,mlt(dst(R,P),P)) 163287 163139391 o2(x,o2(o2(x,x),x)) true 14703 14703 0.007999 0.5013 0.949 0.94 0.9696 -1 1 2 1 1.606 0.00169 0.0001304 0.008947 0.8567 1 -4.183e-7 0.0007868 0.004966 0.001739 0.0417 4.661 0.4728 0.001936 0.000837 1 1 0.004038 0.03833 0.2631 0.004296 0.04078 0.2799 json
t20_x18_u0_b154 20 18 0 154 sub(P,div(add(R,P),P)) 163288 163139392 o2(x,o2(o2(x,x),x)) true 14711 14711 -0.1659 0.4216 0.9731 0.9353 0.9671 -1 1 2 1 1.495 0.003789 0.0001366 0.00889 0.9304 1 0.000006098 0.006284 0.00742 0.003844 0.062 6.974 1.844 0.004197 0.006719 1 1 0.006546 0.04704 0.2937 0.007 0.0503 0.3141 json
t20_x18_u0_b155 20 18 0 155 sub(P,div(sub(R,P),P)) 163289 163139393 o2(x,o2(o2(x,x),x)) true 14719 14719 -0.08735 0.4515 0.9736 0.9563 0.9779 -1 1 2 1 1.489 0.02273 0.0001418 0.01796 0.9876 1 -0.000006489 0.04451 0.02663 0.02256 0.1502 8.362 2 0.02392 0.04654 1 1 0.03024 0.1248 0.4003 0.03162 0.1305 0.4186 json
t20_x18_u0_b156 20 18 0 156 sub(P,div(mlt(R,P),P)) 163290 163139394 o2(x,o2(o2(x,x),x)) true 14727 14727 -0.1288 0.4375 0.9898 0.9681 0.9839 -1 1 2 1 1.242 0.01149 0.00009029 0.009581 0.9844 1 0.000006904 0.02258 0.01532 0.01149 0.1072 11.19 2 0.01196 0.02332 1 1 0.01663 0.07631 0.3312 0.01718 0.07882 0.3421 json
t20_x18_u0_b157 20 18 0 157 sub(P,div(div(R,P),P)) 163291 163139395 o2(x,o2(o2(x,x),x)) true 14735 14735 -0.1294 0.4375 0.9903 0.9695 0.9846 -1 1 2 1 1.225 0.0115 0.00008323 0.009521 0.9856 1 0.000007216 0.02259 0.01534 0.01148 0.1071 11.25 2 0.01194 0.0233 1 1 0.01663 0.07569 0.3303 0.01715 0.07807 0.3407 json
t20_x18_u0_b158 20 18 0 158 sub(P,div(pow(R,P),P)) 163292 163139396 o2(x,o2(o2(x,x),x)) true 14743 14743 -0.9432 0.02937 0.9961 0.1051 0.3242 -1 1 2 1 0.26 0.01236 0.01007 0.01291 0.1022 1 -0.00004508 0.04678 0.02335 0.02225 0.1492 11.55 2.828 0.2135 0.4452 1 1 0.01488 0.06983 0.1592 0.1416 0.6646 1.515 json
t20_x18_u0_b159 20 18 0 159 sub(P,div(mod(R,P),P)) 163293 163139397 o2(x,o2(o2(x,x),x)) true 14751 14751 -0.1264 0.4375 0.9874 0.966 0.9828 -1 1 2 1 1.271 0.01212 0.00009799 0.01088 0.984 1 2.253e-11 0.0237 0.01697 0.0121 0.11 10.12 2 0.01265 0.02453 1 1 0.01738 0.0787 0.335 0.01799 0.08147 0.3468 json
t20_x18_u0_b160 20 18 0 160 sub(P,div(lrg(R,P),P)) 163294 163139398 o2(x,o2(o2(x,x),x)) true 14759 14759 -0.1004 0.4375 0.9754 0.9606 0.9801 -1 1 2 1 1.271 0.0204 0 0.01587 1 1 0 0.03988 0.0252 0.02014 0.1419 8.943 2 0.02124 0.04152 1 1 0.02767 0.1104 0.3639 0.0288 0.115 0.3788 json
t20_x18_u0_b161 20 18 0 161 sub(P,div(eql(R,P),P)) 163295 163139399 o2(x,o2(o2(x,x),x)) true 14767 14767 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
t20_x18_u0_b162 20 18 0 162 sub(P,div(min(R,P),P)) 163296 163139400 o2(x,o2(o2(x,x),x)) true 14775 14775 -0.132 0.4375 0.993 0.9729 0.9863 -1 1 2 1 1.136 0.01119 0.00005073 0.008256 0.991 1 2.253e-11 0.02203 0.01382 0.01117 0.1057 12.8 2 0.01156 0.02264 1 1 0.01621 0.07437 0.3282 0.01667 0.07645 0.3373 json
t20_x18_u0_b163 20 18 0 163 sub(P,div(dot(R,P),P)) 163297 163139401 o2(x,o2(o2(x,x),x)) true 14783 14783 -0.1531 0.4226 0.9766 0.9458 0.9725 -1 1 2 1 1.409 0.009629 0.002324 0.01678 0.6111 1 0.000006799 0.01706 0.01634 0.01167 0.108 6.439 2.268 0.01264 0.01804 1 1 0.01668 0.1052 0.3778 0.01763 0.1112 0.3994 json
t20_x18_u0_b164 20 18 0 164 sub(P,div(dst(R,P),P)) 163298 163139402 o2(x,o2(o2(x,x),x)) true 14791 14791 -0.1166 0.4429 0.9304 0.8931 0.945 -1 1 2 1 2.062 0.01809 0.0002694 0.02495 0.9707 1 0.000001943 0.03201 0.02263 0.01773 0.1332 5.338 2.002 0.02056 0.03585 1 1 0.02737 0.1566 0.5974 0.03064 0.1753 0.6689 json
t20_x18_u0_b165 20 18 0 165 sub(P,pow(add(R,P),P)) 163299 163139403 o2(x,o2(o2(x,x),x)) true 14799 14799 -0.946 0.02029 0.9577 0.04808 0.2193 -1 0.9974 1.997 1 0.8078 0.001397 0.0005929 0.009661 0.4039 1 0.00003099 0.001049 0.00455 0.001895 0.04353 4.506 1.066 0.04138 0.02181 1 1 0.004522 0.04068 0.09932 0.09404 0.846 2.066 json