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_x15_u0_b69 20 15 0 69 add(P,lrg(div(D,R),P)) 162600 163018104 o2(x,o2(o2(x,x),x)) true 9207 9207 0.08456 0.5401 0.9143 0.8917 0.9443 -1 1 2 1 1.983 0.005346 0.0001569 0.01513 0.943 1 8.099e-8 0.009333 0.01378 0.005278 0.07265 4.802 1 0.006171 0.01047 1 1 0.00897 0.04909 0.2306 0.01006 0.05505 0.2586 json
t20_x15_u0_b70 20 15 0 70 add(P,lrg(pow(D,R),P)) 162601 163018105 o2(x,o2(o2(x,x),x)) true 9215 9215 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_x15_u0_b71 20 15 0 71 add(P,lrg(mod(D,R),P)) 162602 163018106 o2(x,o2(o2(x,x),x)) true 9223 9223 0.09375 0.5 0.9063 0.89 0.9434 -1 1 2 1 1.668 0.004321 0 0.007937 1 1 4.731e-10 0.007953 0.008864 0.004257 0.06525 8.221 1 0.004855 0.008935 1 1 0.006189 0.0332 0.2014 0.006953 0.0373 0.2263 json
t20_x15_u0_b72 20 15 0 72 add(P,lrg(lrg(D,R),P)) 162603 163018107 o2(x,o2(o2(x,x),x)) true 9231 9231 0.09839 0.5318 0.9109 0.8882 0.9425 -1 1 2 1 1.908 0.001384 0.000103 0.008886 0.8615 1 0.000002813 0.001461 0.004632 0.001407 0.03752 4.222 0.9264 0.001674 0.001645 1 1 0.002977 0.03007 0.2163 0.003351 0.03385 0.2435 json
t20_x15_u0_b73 20 15 0 73 add(P,lrg(eql(D,R),P)) 162604 163018108 o2(x,o2(o2(x,x),x)) true 9239 9239 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_x15_u0_b74 20 15 0 74 add(P,lrg(min(D,R),P)) 162605 163018109 o2(x,o2(o2(x,x),x)) true 9247 9247 0.07617 0.5 0.8887 0.8706 0.9331 -1 1 2 1 1.933 0.002135 0.00005267 0.008427 0.9518 1 -0.000002852 0.003243 0.005076 0.002116 0.046 5.458 1 0.002512 0.003725 1 1 0.00371 0.02915 0.1859 0.004261 0.03348 0.2135 json
t20_x15_u0_b75 20 15 0 75 add(P,lrg(dot(D,R),P)) 162606 163018110 o2(x,o2(o2(x,x),x)) true 9255 9255 0.09469 0.5466 0.9073 0.8821 0.9392 -1 1 2 1 2.033 0.003229 0.001952 0.01445 0.2465 1 -0.00001629 0.0154 0.01351 0.004973 0.07052 4.879 1.414 0.005873 0.01746 1 1 0.007915 0.04367 0.2086 0.008973 0.04951 0.2365 json
t20_x15_u0_b76 20 15 0 76 add(P,lrg(dst(D,R),P)) 162607 163018111 o2(x,o2(o2(x,x),x)) true 9263 9263 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_x15_u0_b77 20 15 0 77 add(P,eql(add(D,R),P)) 162608 163018112 o2(x,o2(o2(x,x),x)) true 9271 9271 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_x15_u0_b78 20 15 0 78 add(P,eql(sub(D,R),P)) 162609 163018113 o2(x,o2(o2(x,x),x)) true 9279 9279 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_x15_u0_b79 20 15 0 79 add(P,eql(mlt(D,R),P)) 162610 163018114 o2(x,o2(o2(x,x),x)) true 9287 9287 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_x15_u0_b80 20 15 0 80 add(P,eql(div(D,R),P)) 162611 163018115 o2(x,o2(o2(x,x),x)) true 9295 9295 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_x15_u0_b81 20 15 0 81 add(P,eql(pow(D,R),P)) 162612 163018116 o2(x,o2(o2(x,x),x)) true 9303 9303 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_x15_u0_b82 20 15 0 82 add(P,eql(mod(D,R),P)) 162613 163018117 o2(x,o2(o2(x,x),x)) true 9311 9311 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_x15_u0_b83 20 15 0 83 add(P,eql(lrg(D,R),P)) 162614 163018118 o2(x,o2(o2(x,x),x)) true 9319 9319 0.02821 0.5167 0.9534 0.9402 0.9696 -1 1 2 1 1.708 0.001717 0.0001071 0.01072 0.8826 1 -0.000002214 0.00154 0.005365 0.001709 0.04134 3.856 0.8606 0.001941 0.001637 1 1 0.00371 0.03969 0.2747 0.003946 0.04221 0.2922 json
t20_x15_u0_b84 20 15 0 84 add(P,eql(eql(D,R),P)) 162615 163018119 o2(x,o2(o2(x,x),x)) true 9327 9327 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_x15_u0_b85 20 15 0 85 add(P,eql(min(D,R),P)) 162616 163018120 o2(x,o2(o2(x,x),x)) true 9335 9335 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_x15_u0_b86 20 15 0 86 add(P,eql(dot(D,R),P)) 162617 163018121 o2(x,o2(o2(x,x),x)) true 9343 9343 0.00002035 0.5 0.9375 0.924 0.9612 -1 1 2 1 1.813 0.0007339 0.00002802 0.008007 0.9265 1 0 0.0003125 0.002016 0.0006981 0.02642 3.3 0.9383 0.0008246 0.0003382 1 1 0.001851 0.02449 0.2344 0.002003 0.0265 0.2537 json
t20_x15_u0_b87 20 15 0 87 add(P,eql(dst(D,R),P)) 162618 163018122 o2(x,o2(o2(x,x),x)) true 9351 9351 0.000002533 0.5 0.9375 0.924 0.9612 -1 1 2 1 1.813 0.0007066 6.22e-7 0.007942 0.9982 1 0 0.00003858 0.001868 0.0006444 0.02538 3.196 0.2255 0.0007654 0.00004176 1 1 0.001851 0.02449 0.2344 0.002003 0.0265 0.2537 json
t20_x15_u0_b88 20 15 0 88 add(P,min(add(D,R),P)) 162619 163018123 o2(x,o2(o2(x,x),x)) true 9359 9359 -0.03421 0.4807 0.9544 0.9422 0.9707 -1 1 2 1 1.668 0.00106 0.0001385 0.008713 0.7689 1 -0.00001768 0.0002183 0.002754 0.001123 0.03352 3.847 0.2605 0.001273 0.0002317 1 1 0.002913 0.03496 0.2664 0.003092 0.03711 0.2827 json
t20_x15_u0_b89 20 15 0 89 add(P,min(sub(D,R),P)) 162620 163018124 o2(x,o2(o2(x,x),x)) true 9367 9367 -0.044 0.4702 0.9365 0.9211 0.9597 -1 1 2 1 1.79 0.0009501 0.000163 0.009194 0.7071 1 0.000003773 0.0002164 0.003025 0.001028 0.03206 3.488 0.2607 0.001208 0.0002349 1 1 0.002805 0.03296 0.2497 0.003045 0.03578 0.2711 json
t20_x15_u0_b90 20 15 0 90 add(P,min(mlt(D,R),P)) 162621 163018125 o2(x,o2(o2(x,x),x)) true 9375 9375 -0.01668 0.4869 0.9442 0.9339 0.9664 -1 1 2 1 1.692 0.001068 0.00001083 0.00843 0.9799 1 7.102e-7 0.0001849 0.003043 0.001008 0.03175 3.766 0.2265 0.001155 0.000198 1 1 0.002729 0.02973 0.2494 0.002922 0.03183 0.267 json
t20_x15_u0_b91 20 15 0 91 add(P,min(div(D,R),P)) 162622 163018126 o2(x,o2(o2(x,x),x)) true 9383 9383 -0.0684 0.4574 0.9461 0.9279 0.9633 -1 1 2 1 1.73 0.01103 0.004089 0.02113 0.459 1 -2.6e-7 0.02663 0.02025 0.01467 0.1211 5.733 2.828 0.01629 0.0287 1 1 0.01328 0.08938 0.3244 0.01431 0.09632 0.3496 json
t20_x15_u0_b92 20 15 0 92 add(P,min(pow(D,R),P)) 162623 163018127 o2(x,o2(o2(x,x),x)) true 9391 9391 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_x15_u0_b93 20 15 0 93 add(P,min(mod(D,R),P)) 162624 163018128 o2(x,o2(o2(x,x),x)) true 9399 9399 -0.02123 0.5 0.9458 0.933 0.9659 -1 1 2 1 1.703 0.001018 0.000004008 0.008377 0.9922 1 8.625e-8 0.0004319 0.004124 0.0009511 0.03084 3.682 0.2605 0.001095 0.0004629 1 1 0.00241 0.02734 0.2491 0.002583 0.0293 0.267 json
t20_x15_u0_b94 20 15 0 94 add(P,min(lrg(D,R),P)) 162625 163018129 o2(x,o2(o2(x,x),x)) true 9407 9407 -0.008123 0.5 0.9488 0.939 0.969 -1 1 2 1 1.618 0.001145 0.000006093 0.007975 0.9894 1 5.996e-7 0.0003493 0.003314 0.001088 0.03299 4.137 0.5417 0.001226 0.000372 1 1 0.002824 0.02962 0.2547 0.003008 0.03154 0.2712 json
t20_x15_u0_b95 20 15 0 95 add(P,min(eql(D,R),P)) 162626 163018130 o2(x,o2(o2(x,x),x)) true 9415 9415 -0.009687 0.5 0.9473 0.9365 0.9677 -1 1 2 1 1.651 0.001018 1.509e-7 0.007967 0.9997 1 1.175e-7 0.0001942 0.002839 0.0009556 0.03091 3.88 0.4213 0.001088 0.0002074 1 1 0.002565 0.02848 0.2515 0.002739 0.03041 0.2686 json
t20_x15_u0_b96 20 15 0 96 add(P,min(min(D,R),P)) 162627 163018131 o2(x,o2(o2(x,x),x)) true 9423 9423 -0.04636 0.4771 0.9497 0.932 0.9654 -1 1 2 1 1.804 0.000925 0.00007575 0.00862 0.8486 1 -0.000009375 0.0001387 0.002742 0.0009257 0.03042 3.529 0.2122 0.001074 0.0001489 1 1 0.00255 0.03055 0.2538 0.002736 0.03278 0.2724 json
t20_x15_u0_b97 20 15 0 97 add(P,min(dot(D,R),P)) 162628 163018132 o2(x,o2(o2(x,x),x)) true 9431 9431 -0.01911 0.486 0.9444 0.9319 0.9653 -1 1 2 1 1.739 0.00105 0.00005506 0.008808 0.9004 1 -0.000003943 0.0002065 0.003243 0.001027 0.03205 3.638 0.2436 0.001186 0.0002215 1 1 0.00278 0.03001 0.248 0.002983 0.03221 0.2661 json
t20_x15_u0_b98 20 15 0 98 add(P,min(dst(D,R),P)) 162629 163018133 o2(x,o2(o2(x,x),x)) true 9439 9439 -0.0002961 0.5 0.9566 0.949 0.9742 -1 1 2 1 1.505 0.001293 8.959e-7 0.007942 0.9986 1 -9.578e-7 0.0002696 0.003532 0.001231 0.03509 4.418 0.2272 0.001363 0.0002841 1 1 0.003247 0.03256 0.2681 0.003422 0.03431 0.2825 json
t20_x15_u0_b99 20 15 0 99 add(P,dot(add(D,R),P)) 162630 163018134 o2(x,o2(o2(x,x),x)) true 9447 9447 -0.06111 0.4694 0.9256 0.8973 0.9472 -1 1 2 1 2.128 0.01521 0.01983 0.06319 -0.1319 1 0.0002862 0.02963 0.04872 0.03104 0.1762 2.788 2.042 0.03905 0.03302 1 1 0.05094 0.3656 0.7743 0.05678 0.4075 0.8629 json
t20_x15_u0_b100 20 15 0 100 add(P,dot(sub(D,R),P)) 162631 163018135 o2(x,o2(o2(x,x),x)) true 9455 9455 -0.0205 0.485 0.9027 0.8711 0.9333 -1 1 2 1 2.368 0.01491 0.01972 0.06749 -0.1389 1 0.0004849 0.02732 0.04867 0.03007 0.1734 2.569 1.926 0.03975 0.03136 1 1 0.0498 0.355 0.7389 0.05717 0.4075 0.8482 json
t20_x15_u0_b101 20 15 0 101 add(P,dot(mlt(D,R),P)) 162632 163018136 o2(x,o2(o2(x,x),x)) true 9463 9463 0.002966 0.5036 0.9371 0.9178 0.958 -1 1 2 1 1.96 0.001527 0.002419 0.01818 -0.2261 1 -0.00005954 0.001153 0.007686 0.003617 0.06014 3.309 0.6548 0.004299 0.001257 1 1 0.005359 0.06025 0.2634 0.005839 0.06564 0.287 json
t20_x15_u0_b102 20 15 0 102 add(P,dot(div(D,R),P)) 162633 163018137 o2(x,o2(o2(x,x),x)) true 9471 9471 -0.03662 0.4822 0.9419 0.922 0.9602 -1 1 2 1 1.899 0.07193 0.07582 0.121 -0.02636 1 0.001208 0.284 0.1696 0.1331 0.3649 3.016 2.828 0.1603 0.308 1 1 0.1549 0.7692 1.162 0.168 0.8343 1.26 json
t20_x15_u0_b103 20 15 0 103 add(P,dot(pow(D,R),P)) 162634 163018138 o2(x,o2(o2(x,x),x)) true 9479 9479 -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_x15_u0_b104 20 15 0 104 add(P,dot(mod(D,R),P)) 162635 163018139 o2(x,o2(o2(x,x),x)) true 9487 9487 -0.0198 0.4891 0.9363 0.9163 0.9573 -1 1 2 1 1.961 0.001504 0.008966 0.02768 -0.7127 1 0.0003375 0.01456 0.02696 0.009702 0.0985 3.559 1.739 0.01143 0.01589 1 1 0.01263 0.07303 0.247 0.01379 0.0797 0.2696 json
t20_x15_u0_b105 20 15 0 105 add(P,dot(lrg(D,R),P)) 162636 163018140 o2(x,o2(o2(x,x),x)) true 9495 9495 -0.008208 0.494 0.9427 0.9279 0.9633 -1 1 2 1 1.817 0.01005 0.0174 0.03746 -0.268 1 -0.000002637 0.04416 0.04197 0.02603 0.1614 4.308 2.137 0.02958 0.0476 1 1 0.03038 0.1566 0.426 0.03274 0.1688 0.4591 json
t20_x15_u0_b106 20 15 0 106 add(P,dot(eql(D,R),P)) 162637 163018141 o2(x,o2(o2(x,x),x)) true 9503 9503 0.00004008 0.5 0.9375 0.924 0.9613 -1 1 2 1 1.813 0.0007197 1.509e-7 0.007967 0.9996 1 1.17e-7 0.00007637 0.001971 0.0006566 0.02562 3.216 0.4213 0.0007791 0.00008264 1 1 0.001851 0.02449 0.2344 0.002003 0.0265 0.2537 json
t20_x15_u0_b107 20 15 0 107 add(P,dot(min(D,R),P)) 162638 163018142 o2(x,o2(o2(x,x),x)) true 9511 9511 -0.04461 0.4785 0.898 0.8614 0.9281 -1 1 2 1 2.475 0.005044 0.01091 0.0488 -0.3675 1 0.000311 0.007793 0.02944 0.01357 0.1165 2.387 1.52 0.01852 0.009046 1 1 0.02267 0.1784 0.4451 0.02632 0.2072 0.5167 json
t20_x15_u0_b108 20 15 0 108 add(P,dot(dot(D,R),P)) 162639 163018143 o2(x,o2(o2(x,x),x)) true 9519 9519 -0.002617 0.4971 0.9367 0.918 0.9581 -1 1 2 1 1.939 0.003668 0.003248 0.02443 0.06074 1 -0.0000606 0.003183 0.01285 0.00632 0.0795 3.254 0.9592 0.007533 0.003467 1 1 0.009138 0.0904 0.288 0.009954 0.09848 0.3137 json
t20_x15_u0_b109 20 15 0 109 add(P,dot(dst(D,R),P)) 162640 163018144 o2(x,o2(o2(x,x),x)) true 9527 9527 -0.001227 0.5005 0.9661 0.9549 0.9772 -1 1 2 1 1.588 0.001726 0.0009693 0.01238 0.2807 1 0.00006665 0.0007964 0.005308 0.002541 0.05041 4.072 0.507 0.002823 0.000834 1 1 0.005569 0.05891 0.3969 0.005832 0.0617 0.4157 json
t20_x15_u0_b110 20 15 0 110 add(P,dst(add(D,R),P)) 162641 163018145 o2(x,o2(o2(x,x),x)) true 9535 9535 0.8986 0.9697 0.9133 0.07981 0.2825 -0.781 1 1.781 1 1.253 0.0005661 0.0007716 0.01229 -0.1537 1 -0.00006714 0.0002398 0.004057 0.001187 0.03446 2.805 0.272 0.01676 0.003004 1 1 0.002766 0.02855 0.08742 0.03466 0.3578 1.095 json
t20_x15_u0_b111 20 15 0 111 add(P,dst(sub(D,R),P)) 162642 163018146 o2(x,o2(o2(x,x),x)) true 9543 9543 0.8868 0.9594 0.9088 0.09541 0.3089 -0.7642 1 1.764 1 1.323 0.0005708 0.0007595 0.01242 -0.1418 1 -0.0001001 0.0002699 0.004387 0.001175 0.03428 2.761 0.3218 0.01394 0.002829 1 1 0.003133 0.03118 0.09134 0.03284 0.3268 0.9574 json
t20_x15_u0_b112 20 15 0 112 add(P,dst(mlt(D,R),P)) 162643 163018147 o2(x,o2(o2(x,x),x)) true 9551 9551 0.8861 0.984 0.8877 0.07644 0.2765 -0.2187 1 1.219 1 1.352 0.0001426 0.000218 0.006728 -0.2092 1 -8.574e-7 0.00006028 0.002066 0.0003155 0.01776 2.64 0.2142 0.004718 0.0007887 1 1 0.0009669 0.0108 0.06395 0.01265 0.1413 0.8366 json
t20_x15_u0_b113 20 15 0 113 add(P,dst(div(D,R),P)) 162644 163018148 o2(x,o2(o2(x,x),x)) true 9559 9559 0.9145 0.9682 0.9493 0.09567 0.3093 -1 1 2 1 0.9822 0.005676 0.004164 0.02457 0.1536 1 0.00006385 0.01164 0.01825 0.00924 0.09612 3.913 2.014 0.1028 0.1217 1 1 0.01643 0.08499 0.1155 0.1718 0.8884 1.207 json
t20_x15_u0_b114 20 15 0 114 add(P,dst(pow(D,R),P)) 162645 163018149 o2(x,o2(o2(x,x),x)) true 9567 9567 -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_x15_u0_b115 20 15 0 115 add(P,dst(mod(D,R),P)) 162646 163018150 o2(x,o2(o2(x,x),x)) true 9575 9575 0.8905 0.9811 0.8931 0.07281 0.2698 -0.2599 1 1.26 1 1.345 0.0006824 0.0004046 0.01137 0.2555 1 -0.00009898 0.00146 0.01087 0.0009579 0.03095 2.723 0.4138 0.01493 0.02006 1 1 0.001876 0.01334 0.06098 0.02576 0.1832 0.8376 json
t20_x15_u0_b116 20 15 0 116 add(P,dst(lrg(D,R),P)) 162647 163018151 o2(x,o2(o2(x,x),x)) true 9583 9583 0.9538 1 0.9538 0.02652 0.1628 0.0006508 1 0.9993 1 0.8114 0.002397 0.0005262 0.01101 0.64 1 -8.594e-7 0.004962 0.01082 0.002802 0.05293 4.806 0.9699 0.1102 0.1871 1 1 0.004138 0.02002 0.03157 0.1561 0.7552 1.19 json
t20_x15_u0_b117 20 15 0 117 add(P,dst(eql(D,R),P)) 162648 163018152 o2(x,o2(o2(x,x),x)) true 9591 9591 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_x15_u0_b118 20 15 0 118 add(P,dst(min(D,R),P)) 162649 163018153 o2(x,o2(o2(x,x),x)) true 9599 9599 0.8531 0.9428 0.8718 0.1178 0.3432 -0.5218 1 1.522 1 1.459 0.0003499 0.0004929 0.01065 -0.1697 1 -0.00002092 0.0001433 0.003666 0.0007298 0.02701 2.538 0.2034 0.007156 0.001217 1 1 0.001857 0.01939 0.09582 0.01577 0.1646 0.8136 json
t20_x15_u0_b119 20 15 0 119 add(P,dst(dot(D,R),P)) 162650 163018154 o2(x,o2(o2(x,x),x)) true 9607 9607 0.8877 0.978 0.8907 0.07681 0.2771 -0.2778 1 1.278 1 1.344 0.0001612 0.0002935 0.00764 -0.291 1 -0.00000879 0.00008646 0.002441 0.0003966 0.01992 2.607 0.2381 0.00592 0.001126 1 1 0.001169 0.01267 0.06412 0.01522 0.165 0.8348 json
t20_x15_u0_b120 20 15 0 120 add(P,dst(dst(D,R),P)) 162651 163018155 o2(x,o2(o2(x,x),x)) true 9615 9615 0.9932 1 0.9932 0.002416 0.04915 0.1568 1 0.8432 1 0.2469 0.0000805 0.0001238 0.002364 -0.2118 1 -0.000008499 0.00007645 0.001287 0.0001987 0.0141 5.963 0.1899 0.08457 0.03165 1 1 0.0005461 0.004128 0.005228 0.2261 1.709 2.164 json
t20_x15_u0_b121 20 15 0 121 sub(P,add(add(D,R),P)) 162652 163018156 o2(x,o2(o2(x,x),x)) true 9623 9623 -0.009078 0.5012 0.4013 0.2304 0.48 -1 1 2 1 4.899 0.004471 0.003165 0.07546 0.1709 1 -0.00002869 0.0006263 0.01935 0.001942 0.04407 0.584 0.2845 0.03314 0.002718 1 1 0.01508 0.1746 0.3904 0.06546 0.7577 1.694 json
t20_x15_u0_b122 20 15 0 122 sub(P,add(sub(D,R),P)) 162653 163018157 o2(x,o2(o2(x,x),x)) true 9631 9631 0.009165 0.4978 0.4005 0.2287 0.4782 -1 1 2 1 4.894 0.004393 0.003164 0.07461 0.1626 1 0.00003074 0.0006179 0.01902 0.001989 0.0446 0.5978 0.2561 0.03305 0.002702 1 1 0.01479 0.1717 0.3901 0.06468 0.751 1.706 json
t20_x15_u0_b123 20 15 0 123 sub(P,add(mlt(D,R),P)) 162654 163018158 o2(x,o2(o2(x,x),x)) true 9639 9639 -0.001509 0.4898 0.09077 0.0151 0.1229 -0.4889 0.4311 0.92 1 3.004 0.0007895 0.0002198 0.02769 0.5645 1 0.00003739 0.000103 0.008005 0.0002428 0.01558 0.5628 0.08276 0.06684 0.006818 1 1 0.001985 0.02214 0.02942 0.1314 1.466 1.949 json
t20_x15_u0_b124 20 15 0 124 sub(P,add(div(D,R),P)) 162655 163018159 o2(x,o2(o2(x,x),x)) true 9647 9647 0.003026 0.5031 0.4829 0.3691 0.6075 -1 1 2 1 4.544 0.0323 0.00962 0.1247 0.5411 1 0.000122 0.0377 0.06814 0.02637 0.1624 1.302 2.033 0.1136 0.1021 1 1 0.06061 0.4731 0.7177 0.1642 1.282 1.944 json
t20_x15_u0_b125 20 15 0 125 sub(P,add(pow(D,R),P)) 162656 163018160 o2(x,o2(o2(x,x),x)) true 9655 9655 -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_x15_u0_b126 20 15 0 126 sub(P,add(mod(D,R),P)) 162657 163018161 o2(x,o2(o2(x,x),x)) true 9663 9663 0.0003012 0.5018 0.1135 0.01789 0.1337 -0.2728 0.2728 0.5455 1 3.083 0.004647 0.0001074 0.05089 0.9548 1 -0.000004165 0.00696 0.04709 0.002165 0.04653 0.9143 0.4963 0.2658 0.3891 1 1 0.006357 0.03391 0.01378 0.3554 1.896 0.7703 json
t20_x15_u0_b127 20 15 0 127 sub(P,add(lrg(D,R),P)) 162658 163018162 o2(x,o2(o2(x,x),x)) true 9671 9671 -0.5008 0 0.5008 0.1466 0.3828 -1 0 1 1 3.723 0.0202 0.00212 0.08084 0.81 1 0.00001414 0.03816 0.07051 0.01579 0.1257 1.554 0.9997 0.1523 0.2603 1 1 0.02456 0.14 0.2709 0.1675 0.9553 1.848 json
t20_x15_u0_b128 20 15 0 128 sub(P,add(eql(D,R),P)) 162659 163018163 o2(x,o2(o2(x,x),x)) true 9679 9679 -0.00004008 0 0.00004008 0.00001031 0.00321 -0.3282 0 0.3282 1 0.003875 0.00001454 1.509e-7 0.00006305 0.9795 0 -1.17e-7 0.00004407 0.0001242 0.00001469 0.003832 60.78 0.3186 1.425 4.276 1 1 0 0 0.000007865 0 0 0.7631 json
t20_x15_u0_b129 20 15 0 129 sub(P,add(min(D,R),P)) 162660 163018164 o2(x,o2(o2(x,x),x)) true 9687 9687 0.2802 0.8336 0.3076 0.07392 0.2719 -0.1454 0.9989 1.144 1 4.044 0.001754 0.001001 0.04511 0.2733 1 -0.00002083 0.0002816 0.01333 0.00072 0.02683 0.5948 0.1528 0.03727 0.003809 1 1 0.005139 0.05796 0.1186 0.06952 0.784 1.604 json
t20_x15_u0_b130 20 15 0 130 sub(P,add(dot(D,R),P)) 162661 163018165 o2(x,o2(o2(x,x),x)) true 9695 9695 -0.004186 0.4807 0.1403 0.03119 0.1766 -0.5965 0.5259 1.122 1 3.548 0.001025 0.001036 0.04104 -0.005293 1 0.0001214 0.0002066 0.0116 0.0003766 0.01941 0.4729 0.1246 0.06608 0.006623 1 1 0.003983 0.04517 0.06353 0.1277 1.448 2.037 json
t20_x15_u0_b131 20 15 0 131 sub(P,add(dst(D,R),P)) 162662 163018166 o2(x,o2(o2(x,x),x)) true 9703 9703 -0.9181 0 0.9181 0.01978 0.1406 -1 -0.07175 0.9282 1 1.861 0.0006824 0.0007622 0.02203 -0.05522 1 0.00004027 0.0004199 0.009976 0.000959 0.03097 1.406 0.1814 0.07303 0.02123 1 1 0.002532 0.02334 0.03425 0.128 1.18 1.731 json
t20_x15_u0_b132 20 15 0 132 sub(P,sub(add(D,R),P)) 162663 163018167 o2(x,o2(o2(x,x),x)) true 9711 9711 0.005016 0.5032 0.9696 0.9579 0.9787 -1 1 2 1 1.557 0.002072 0.0001647 0.009995 0.8527 1 0.000008806 0.0006035 0.004717 0.002137 0.04622 4.625 0.4869 0.002335 0.0006301 1 1 0.005642 0.0507 0.3055 0.00589 0.05292 0.3189 json
t20_x15_u0_b133 20 15 0 133 sub(P,sub(sub(D,R),P)) 162664 163018168 o2(x,o2(o2(x,x),x)) true 9719 9719 -0.004855 0.4969 0.9703 0.9589 0.9792 -1 1 2 1 1.548 0.002107 0.0001662 0.009969 0.8537 1 -0.000007078 0.0006217 0.004816 0.002174 0.04662 4.677 0.4664 0.00237 0.0006483 1 1 0.005705 0.05094 0.3064 0.005949 0.05313 0.3196 json
t20_x15_u0_b134 20 15 0 134 sub(P,sub(mlt(D,R),P)) 162665 163018169 o2(x,o2(o2(x,x),x)) true 9727 9727 0.000231 0.4999 0.9595 0.952 0.9757 -1 1 2 1 1.516 0.001403 0.00001329 0.008189 0.9812 1 1.381e-7 0.0003853 0.003662 0.00135 0.03674 4.487 0.2682 0.001488 0.0004048 1 1 0.00351 0.03475 0.2731 0.003687 0.0365 0.2868 json
t20_x15_u0_b135 20 15 0 135 sub(P,sub(div(D,R),P)) 162666 163018170 o2(x,o2(o2(x,x),x)) true 9735 9735 -0.003392 0.4988 0.9594 0.9497 0.9745 -1 1 2 1 1.563 0.01694 0.006344 0.02466 0.455 1 -0.000001589 0.0449 0.02846 0.02267 0.1506 6.106 2.828 0.02451 0.04728 1 1 0.03718 0.1968 0.4903 0.03915 0.2073 0.5163 json
t20_x15_u0_b136 20 15 0 136 sub(P,sub(pow(D,R),P)) 162667 163018171 o2(x,o2(o2(x,x),x)) true 9743 9743 -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_x15_u0_b137 20 15 0 137 sub(P,sub(mod(D,R),P)) 162668 163018172 o2(x,o2(o2(x,x),x)) true 9751 9751 0.0001059 0.5 0.9528 0.9462 0.9727 -1 1 2 1 1.518 0.002079 0.00000362 0.009292 0.9965 1 -7.712e-9 0.0009517 0.005993 0.001996 0.04467 4.808 0.5128 0.002201 0.001006 1 1 0.004922 0.03712 0.2635 0.005202 0.03923 0.2785 json
t20_x15_u0_b138 20 15 0 138 sub(P,sub(lrg(D,R),P)) 162669 163018173 o2(x,o2(o2(x,x),x)) true 9759 9759 -0.03217 0.4818 0.972 0.964 0.9818 -1 1 2 1 1.445 0.002297 0.00009969 0.009753 0.9168 1 -0.000006402 0.001915 0.005895 0.0023 0.04796 4.917 0.7289 0.002486 0.001987 1 1 0.004949 0.04816 0.3041 0.005134 0.04996 0.3155 json
t20_x15_u0_b139 20 15 0 139 sub(P,sub(eql(D,R),P)) 162670 163018174 o2(x,o2(o2(x,x),x)) true 9767 9767 -0.00004008 0.5 0.9569 0.9493 0.9743 -1 1 2 1 1.489 0.001319 1.509e-7 0.007948 0.9998 1 -1.17e-7 0.0003195 0.003699 0.001256 0.03544 4.46 0.5451 0.00139 0.0003366 1 1 0.003279 0.03268 0.2686 0.003454 0.03442 0.283 json
t20_x15_u0_b140 20 15 0 140 sub(P,sub(min(D,R),P)) 162671 163018175 o2(x,o2(o2(x,x),x)) true 9775 9775 0.0209 0.5156 0.9651 0.9555 0.9775 -1 1 2 1 1.533 0.001711 0.00006481 0.008863 0.927 1 0.000005902 0.0004468 0.004096 0.001697 0.0412 4.648 0.3741 0.001859 0.0004676 1 1 0.004421 0.04212 0.2841 0.004627 0.04408 0.2974 json
t20_x15_u0_b141 20 15 0 141 sub(P,sub(dot(D,R),P)) 162672 163018176 o2(x,o2(o2(x,x),x)) true 9783 9783 -0.0001089 0.4993 0.9609 0.9523 0.9759 -1 1 2 1 1.531 0.001408 0.00005473 0.008484 0.9252 1 0.000009174 0.000392 0.003668 0.00139 0.03729 4.395 0.3177 0.001536 0.0004116 1 1 0.00365 0.0364 0.2749 0.003832 0.03822 0.2886 json
t20_x15_u0_b142 20 15 0 142 sub(P,sub(dst(D,R),P)) 162673 163018177 o2(x,o2(o2(x,x),x)) true 9791 9791 -0.06898 0.4654 0.9744 0.9595 0.9795 -1 1 2 1 1.547 0.001427 0.00011 0.008855 0.8569 1 -0.00000365 0.0002263 0.002922 0.001459 0.03819 4.313 0.3319 0.001602 0.0002359 1 1 0.004036 0.04768 0.2942 0.004207 0.04969 0.3067 json
t20_x15_u0_b143 20 15 0 143 sub(P,mlt(add(D,R),P)) 162674 163018178 o2(x,o2(o2(x,x),x)) true 9799 9799 0.02345 0.5207 0.8839 0.8552 0.9248 -1 1 2 1 2.376 0.002994 0.001244 0.02233 0.4129 1 -0.0001617 0.002505 0.01343 0.003741 0.06116 2.738 0.7264 0.004956 0.002929 1 1 0.00798 0.05725 0.2389 0.009331 0.06695 0.2793 json
t20_x15_u0_b144 20 15 0 144 sub(P,mlt(sub(D,R),P)) 162675 163018179 o2(x,o2(o2(x,x),x)) true 9807 9807 0.02562 0.5114 0.9012 0.8757 0.9358 -1 1 2 1 2.258 0.003297 0.001294 0.02275 0.4364 1 -0.000006728 0.0024 0.0133 0.004074 0.06383 2.805 0.7269 0.005242 0.002741 1 1 0.007688 0.05887 0.2578 0.008779 0.06722 0.2944 json
t20_x15_u0_b145 20 15 0 145 sub(P,mlt(mlt(D,R),P)) 162676 163018180 o2(x,o2(o2(x,x),x)) true 9815 9815 0.002432 0.4999 0.9368 0.923 0.9607 -1 1 2 1 1.848 0.0007696 0.00001783 0.008574 0.9547 1 -0.000003184 0.0000666 0.002508 0.000714 0.02672 3.116 0.1511 0.0008532 0.00007215 1 1 0.002001 0.02549 0.2344 0.002168 0.02762 0.254 json
t20_x15_u0_b146 20 15 0 146 sub(P,mlt(div(D,R),P)) 162677 163018181 o2(x,o2(o2(x,x),x)) true 9823 9823 -0.009996 0.4944 0.9085 0.8858 0.9412 -1 1 2 1 2.18 0.0631 0.02188 0.08149 0.4852 1 0.0002133 0.1458 0.1018 0.07834 0.2799 3.435 2.828 0.09593 0.1646 1 1 0.09566 0.477 0.8327 0.108 0.5385 0.9401 json
t20_x15_u0_b147 20 15 0 147 sub(P,mlt(pow(D,R),P)) 162678 163018182 o2(x,o2(o2(x,x),x)) true 9831 9831 -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_x15_u0_b148 20 15 0 148 sub(P,mlt(mod(D,R),P)) 162679 163018183 o2(x,o2(o2(x,x),x)) true 9839 9839 0.009601 0.5 0.9351 0.9209 0.9596 -1 1 2 1 1.859 0.000973 0.000006248 0.009219 0.9872 1 -2.051e-7 0.0004932 0.005113 0.0008941 0.0299 3.244 0.3803 0.001063 0.0005356 1 1 0.002266 0.02553 0.2315 0.00246 0.02773 0.2514 json
t20_x15_u0_b149 20 15 0 149 sub(P,mlt(lrg(D,R),P)) 162680 163018184 o2(x,o2(o2(x,x),x)) true 9847 9847 0.00993 0.4662 0.6635 0.6168 0.7854 -1 1 2 1 3.336 0.02523 0.004963 0.07373 0.6712 1 0.00008351 0.0483 0.08036 0.02477 0.1574 2.135 1.099 0.04895 0.0783 1 1 0.03438 0.1787 0.3409 0.05574 0.2897 0.5528 json
t20_x15_u0_b150 20 15 0 150 sub(P,mlt(eql(D,R),P)) 162681 163018185 o2(x,o2(o2(x,x),x)) true 9855 9855 -0.00004007 0.5 0.9375 0.924 0.9612 -1 1 2 1 1.813 0.0007211 1.509e-7 0.007968 0.9996 1 -1.171e-7 0.00007649 0.001967 0.0006578 0.02565 3.219 0.4319 0.0007805 0.00008278 1 1 0.001851 0.02449 0.2344 0.002003 0.02651 0.2537 json
t20_x15_u0_b151 20 15 0 151 sub(P,mlt(min(D,R),P)) 162682 163018186 o2(x,o2(o2(x,x),x)) true 9863 9863 0.008189 0.5 0.9429 0.9314 0.9651 -1 1 2 1 1.706 0.0009168 0.00002143 0.00829 0.9543 1 -0.00000129 0.0001292 0.002724 0.0008694 0.02949 3.557 0.2222 0.001007 0.0001387 1 1 0.00236 0.0279 0.2463 0.002534 0.02996 0.2644 json
t20_x15_u0_b152 20 15 0 152 sub(P,mlt(dot(D,R),P)) 162683 163018187 o2(x,o2(o2(x,x),x)) true 9871 9871 0.002278 0.5001 0.934 0.9187 0.9585 -1 1 2 1 1.915 0.0007878 0.00008382 0.009158 0.8077 1 0.000007224 0.0001266 0.002964 0.0007878 0.02807 3.065 0.1759 0.0009488 0.0001378 1 1 0.002178 0.02634 0.2301 0.002371 0.02867 0.2504 json
t20_x15_u0_b153 20 15 0 153 sub(P,mlt(dst(D,R),P)) 162684 163018188 o2(x,o2(o2(x,x),x)) true 9879 9879 -0.02588 0.4759 0.5862 0.4816 0.694 -1 1 2 1 4.389 0.01487 0.01665 0.1124 -0.05635 1 0.0000689 0.01229 0.05058 0.01889 0.1375 1.223 1.335 0.06546 0.02553 1 1 0.03948 0.3862 0.7262 0.08198 0.802 1.508 json
t20_x15_u0_b154 20 15 0 154 sub(P,div(add(D,R),P)) 162685 163018189 o2(x,o2(o2(x,x),x)) true 9887 9887 -0.1305 0.4373 0.9866 0.9646 0.9822 -1 1 2 1 1.273 0.01189 0.00009952 0.01104 0.9834 1 1.502e-11 0.02372 0.01712 0.01187 0.1089 9.867 2 0.01243 0.02459 1 1 0.01679 0.07402 0.3298 0.01741 0.07674 0.3419 json
t20_x15_u0_b155 20 15 0 155 sub(P,div(sub(D,R),P)) 162686 163018190 o2(x,o2(o2(x,x),x)) true 9895 9895 -0.1266 0.4375 0.995 0.9762 0.988 -1 1 2 1 1.148 0.01452 0.00005958 0.009462 0.9918 1 -0.000001122 0.02925 0.01697 0.01448 0.1203 12.72 2 0.01494 0.02996 1 1 0.01896 0.07857 0.3318 0.01942 0.08049 0.3399 json
t20_x15_u0_b156 20 15 0 156 sub(P,div(mlt(D,R),P)) 162687 163018191 o2(x,o2(o2(x,x),x)) true 9903 9903 -0.1254 0.4375 0.9993 0.983 0.9915 -1 1 2 1 1.024 0.0157 8.883e-7 0.008277 0.9999 1 9.222e-7 0.0317 0.01625 0.01563 0.125 15.1 2 0.01598 0.03225 1 1 0.02071 0.08313 0.3358 0.02107 0.08456 0.3416 json
t20_x15_u0_b157 20 15 0 157 sub(P,div(div(D,R),P)) 162688 163018192 o2(x,o2(o2(x,x),x)) true 9911 9911 -0.1346 0.4339 0.9892 0.9666 0.9832 -1 1 2 1 1.273 0.01901 0.002377 0.01744 0.7777 1 -5.32e-7 0.03865 0.02481 0.02107 0.1452 8.322 2.238 0.02212 0.03998 1 1 0.02983 0.1297 0.425 0.03086 0.1341 0.4396 json
t20_x15_u0_b158 20 15 0 158 sub(P,div(pow(D,R),P)) 162689 163018193 o2(x,o2(o2(x,x),x)) true 9919 9919 -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_x15_u0_b159 20 15 0 159 sub(P,div(mod(D,R),P)) 162690 163018194 o2(x,o2(o2(x,x),x)) true 9927 9927 -0.1265 0.4375 0.9985 0.981 0.9904 -1 1 2 1 1.074 0.01545 4.773e-7 0.008585 0.9999 1 1.511e-8 0.03166 0.01658 0.01537 0.124 14.44 1.998 0.01575 0.03227 1 1 0.02002 0.08056 0.3332 0.02041 0.08212 0.3397 json
t20_x15_u0_b160 20 15 0 160 sub(P,div(lrg(D,R),P)) 162691 163018195 o2(x,o2(o2(x,x),x)) true 9935 9935 -0.1271 0.4375 0.9833 0.9623 0.981 -1 1 2 1 1.285 0.01304 0.0001212 0.01226 0.9816 1 -2.087e-8 0.02588 0.0192 0.01301 0.1141 9.306 2 0.01368 0.02689 1 1 0.01708 0.07625 0.335 0.01775 0.07923 0.3481 json
t20_x15_u0_b161 20 15 0 161 sub(P,div(eql(D,R),P)) 162692 163018196 o2(x,o2(o2(x,x),x)) true 9943 9943 -0.00004007 0.5 0.9375 0.924 0.9612 -1 1 2 1 1.813 0.0007211 1.509e-7 0.007968 0.9996 1 -1.171e-7 0.00007649 0.001967 0.0006578 0.02565 3.219 0.4319 0.0007805 0.00008278 1 1 0.001851 0.02449 0.2344 0.002003 0.02651 0.2537 json
t20_x15_u0_b162 20 15 0 162 sub(P,div(min(D,R),P)) 162693 163018197 o2(x,o2(o2(x,x),x)) true 9951 9951 -0.1256 0.4375 0.9994 0.983 0.9914 -1 1 2 1 1.028 0.01569 0.000001109 0.008245 0.9999 1 2.215e-10 0.03174 0.01619 0.01562 0.125 15.16 2 0.01596 0.03229 1 1 0.02065 0.08284 0.3355 0.021 0.08427 0.3413 json
t20_x15_u0_b163 20 15 0 163 sub(P,div(dot(D,R),P)) 162694 163018198 o2(x,o2(o2(x,x),x)) true 9959 9959 -0.1254 0.4375 0.9981 0.9807 0.9903 -1 1 2 1 1.1 0.01507 0.0000194 0.008859 0.9974 1 0.000003169 0.03024 0.01666 0.015 0.1225 13.83 2 0.01538 0.03083 1 1 0.0201 0.08213 0.3347 0.02049 0.08374 0.3412 json
t20_x15_u0_b164 20 15 0 164 sub(P,div(dst(D,R),P)) 162695 163018199 o2(x,o2(o2(x,x),x)) true 9967 9967 -0.1227 0.4395 0.9533 0.9261 0.9624 -1 1 2 1 1.649 0.009735 0.0001205 0.01715 0.9756 1 -0.00001558 0.01703 0.01857 0.009567 0.09781 5.705 1.659 0.01064 0.01838 1 1 0.01394 0.07974 0.3352 0.01505 0.0861 0.3619 json
t20_x15_u0_b165 20 15 0 165 sub(P,pow(add(D,R),P)) 162696 163018200 o2(x,o2(o2(x,x),x)) true 9975 9975 -0.9427 0.03058 0.9931 0.1025 0.3202 -1 1 2 1 0.2793 0.03235 0.008433 0.02241 0.5865 1 0.0005039 0.08753 0.04312 0.04028 0.2007 8.955 2.828 0.3978 0.8537 1 1 0.03687 0.1226 0.2092 0.3596 1.195 2.04 json
t20_x15_u0_b166 20 15 0 166 sub(P,pow(sub(D,R),P)) 162697 163018201 o2(x,o2(o2(x,x),x)) true 9983 9983 -0.9347 0.03317 0.9989 0.125 0.3535 -1 1 2 1 0.2273 0.05268 0.0106 0.03183 0.6649 1 0 0.1413 0.06399 0.06224 0.2495 7.837 2.828 0.5063 1.13 1 1 0.06801 0.1707 0.2145 0.5442 1.366 1.716 json
t20_x15_u0_b167 20 15 0 167 sub(P,pow(mlt(D,R),P)) 162698 163018202 o2(x,o2(o2(x,x),x)) true 9991 9991 -0.9652 0.01733 0.9987 0.06653 0.2579 -1 1 2 1 0.1582 0.008617 0.006722 0.008197 0.1236 1 0 0.03236 0.01564 0.01527 0.1236 15.07 2.828 0.2306 0.4865 1 1 0.01731 0.0694 0.1542 0.2602 1.043 2.317 json
t20_x15_u0_b168 20 15 0 168 sub(P,pow(div(D,R),P)) 162699 163018203 o2(x,o2(o2(x,x),x)) true 9999 9999 -0.975 0.01268 0.9968 0.04505 0.2122 -1 1 2 1 0.1593 0.009222 0.006169 0.009337 0.1983 1 -1.314e-10 0.03418 0.01627 0.0153 0.1237 13.25 2.828 0.3417 0.7588 1 1 0.01607 0.05785 0.115 0.3567 1.284 2.553 json