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_x8_u0_b126 18 8 0 126 sub(P,add(P,mod(R,R))) 122100 146494152 o2(x,o2(x,o2(x,x))) true 5207 5207 0.01621 0.3021 0.09644 0.04024 0.2006 -0.9558 0.9675 1.923 1 2.684 0.0006146 0.0005535 0.01871 0.05227 1 0.0000106 0.00006938 0.004372 0.0008183 0.02861 1.529 0.2163 0.02903 0.001724 1 1 0.002918 0.03769 0.09805 0.0725 0.9366 2.436 json
t18_x8_u0_b127 18 8 0 127 sub(P,add(P,lrg(R,R))) 122101 146494153 o2(x,o2(x,o2(x,x))) true 5215 5215 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
t18_x8_u0_b128 18 8 0 128 sub(P,add(P,eql(R,R))) 122102 146494154 o2(x,o2(x,o2(x,x))) true 5223 5223 -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_x8_u0_b129 18 8 0 129 sub(P,add(P,min(R,R))) 122103 146494155 o2(x,o2(x,o2(x,x))) true 5231 5231 -0.008979 0.5015 0.3946 0.2196 0.4686 -0.9806 0.9989 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_x8_u0_b130 18 8 0 130 sub(P,add(P,dot(R,R))) 122104 146494156 o2(x,o2(x,o2(x,x))) true 5239 5239 -0.8438 0 0.8438 0.04935 0.2222 -1 -0.0102 0.9898 1 2.51 0.0008588 0.001103 0.02548 -0.1246 1 0.00003928 0.0004481 0.009809 0.001312 0.03623 1.422 0.2044 0.03976 0.009079 1 1 0.003389 0.03587 0.07892 0.06866 0.7269 1.599 json
t18_x8_u0_b131 18 8 0 131 sub(P,add(P,dst(R,R))) 122105 146494157 o2(x,o2(x,o2(x,x))) true 5247 5247 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
t18_x8_u0_b132 18 8 0 132 sub(P,sub(P,add(R,R))) 122106 146494158 o2(x,o2(x,o2(x,x))) true 5255 5255 0.01372 0.4984 0.659 0.5457 0.7387 -1 1 2 1 4.408 0.008726 0.009756 0.09338 -0.05568 1 0.00002908 0.003164 0.02873 0.009763 0.09881 1.058 0.4602 0.03387 0.005798 1 1 0.03624 0.4079 0.9797 0.06641 0.7475 1.795 json
t18_x8_u0_b133 18 8 0 133 sub(P,sub(P,sub(R,R))) 122107 146494159 o2(x,o2(x,o2(x,x))) true 5263 5263 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
t18_x8_u0_b134 18 8 0 134 sub(P,sub(P,mlt(R,R))) 122108 146494160 o2(x,o2(x,o2(x,x))) true 5271 5271 0.3495 0.9999 0.3495 0.05762 0.24 0.00007734 0.9979 0.9979 1 3.768 0.0007428 0.0008028 0.03156 -0.03877 1 1.608e-7 0.00009378 0.007378 0.0005496 0.02344 0.7428 0.1117 0.02682 0.001628 1 1 0.002725 0.03526 0.107 0.0473 0.6119 1.856 json
t18_x8_u0_b135 18 8 0 135 sub(P,sub(P,div(R,R))) 122109 146494161 o2(x,o2(x,o2(x,x))) true 5279 5279 1 1 1 3.426e-16 1.851e-8 1 1 1.192e-7 1 0 2.551e-17 1.857e-17 7.319e-10 0.000006937 0 1.81e-9 4.78e-16 2.005e-9 4.35e-17 6.596e-9 9.012 8.429e-8 0.00004408 0.000478 0 1 6.535e-17 2.996e-16 8.975e-16 0.00006535 0.0002996 0.0008975 json
t18_x8_u0_b136 18 8 0 136 sub(P,sub(P,pow(R,R))) 122110 146494162 o2(x,o2(x,o2(x,x))) true 5287 5287 -0.9235 0.04297 0.9906 0.1306 0.3614 -1 0.9461 1.946 1 0.3372 0.01332 0.01296 0.0151 0.0136 1 0.000003032 0.05494 0.02962 0.02607 0.1615 10.7 2.664 0.2013 0.4207 1 1 0.0201 0.08704 0.2185 0.1539 0.6665 1.673 json
t18_x8_u0_b137 18 8 0 137 sub(P,sub(P,mod(R,R))) 122111 146494163 o2(x,o2(x,o2(x,x))) true 5295 5295 -0.01621 0.2374 0.09644 0.04024 0.2006 -0.9675 0.9558 1.923 1 2.738 0.0006146 0.0005535 0.01871 0.05227 1 -0.0000106 0.00006938 0.004372 0.0008183 0.02861 1.529 0.2163 0.02903 0.001724 1 1 0.002918 0.03769 0.09805 0.0725 0.9366 2.436 json
t18_x8_u0_b138 18 8 0 138 sub(P,sub(P,lrg(R,R))) 122112 146494164 o2(x,o2(x,o2(x,x))) true 5303 5303 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
t18_x8_u0_b139 18 8 0 139 sub(P,sub(P,eql(R,R))) 122113 146494165 o2(x,o2(x,o2(x,x))) true 5311 5311 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
t18_x8_u0_b140 18 8 0 140 sub(P,sub(P,min(R,R))) 122114 146494166 o2(x,o2(x,o2(x,x))) true 5319 5319 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_x8_u0_b141 18 8 0 141 sub(P,sub(P,dot(R,R))) 122115 146494167 o2(x,o2(x,o2(x,x))) true 5327 5327 0.8438 1 0.8438 0.04935 0.2222 0.0102 1 0.9898 1 2.51 0.0008588 0.001103 0.02548 -0.1246 1 -0.00003928 0.0004481 0.009809 0.001312 0.03623 1.422 0.2044 0.03976 0.009079 1 1 0.003389 0.03587 0.07892 0.06866 0.7269 1.599 json
t18_x8_u0_b142 18 8 0 142 sub(P,sub(P,dst(R,R))) 122116 146494168 o2(x,o2(x,o2(x,x))) true 5335 5335 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
t18_x8_u0_b143 18 8 0 143 sub(P,mlt(P,add(R,R))) 122117 146494169 o2(x,o2(x,o2(x,x))) true 5343 5343 0.02828 0.5097 0.8529 0.8169 0.9038 -1 1 2 1 2.65 0.02121 0.02333 0.07243 -0.04754 1 0.00001526 0.04326 0.0586 0.03928 0.1982 2.736 2.013 0.05452 0.05296 1 1 0.05944 0.4129 0.9504 0.07276 0.5054 1.163 json
t18_x8_u0_b144 18 8 0 144 sub(P,mlt(P,sub(R,R))) 122118 146494170 o2(x,o2(x,o2(x,x))) true 5351 5351 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
t18_x8_u0_b145 18 8 0 145 sub(P,mlt(P,mlt(R,R))) 122119 146494171 o2(x,o2(x,o2(x,x))) true 5359 5359 0.007845 0.4993 0.8716 0.8344 0.9135 -1 1 2 1 2.655 0.0009889 0.0006047 0.01574 0.2411 1 -0.00001158 0.0005473 0.006921 0.001345 0.03668 2.33 0.3382 0.00191 0.0006559 1 1 0.003507 0.03612 0.2047 0.004203 0.04328 0.2453 json
t18_x8_u0_b146 18 8 0 146 sub(P,mlt(P,div(R,R))) 122120 146494172 o2(x,o2(x,o2(x,x))) true 5367 5367 -1.141e-8 0 4.816e-8 1.119e-14 1.058e-7 -9.531e-7 4.767e-7 0.00000143 1 0.6905 1.411e-16 1.281e-16 8.5e-9 0.00001293 0 1.79e-12 1.599e-17 2.043e-9 1.969e-16 1.403e-8 1.651 1.623e-7 0.0002692 0.00001599 0 1 2.149e-16 2.778e-15 1.019e-14 0.0002149 0.002778 0.01019 json
t18_x8_u0_b147 18 8 0 147 sub(P,mlt(P,pow(R,R))) 122121 146494173 o2(x,o2(x,o2(x,x))) true 5375 5375 -0.9769 0.007568 0.9851 0.02715 0.1648 -1 1 2 1 0.2833 0.002167 0.00318 0.005207 -0.1896 1 0.000002468 0.01112 0.009286 0.005321 0.07295 14.01 2.002 0.197 0.4096 1 1 0.002085 0.009909 0.03511 0.07679 0.365 1.293 json
t18_x8_u0_b148 18 8 0 148 sub(P,mlt(P,mod(R,R))) 122122 146494174 o2(x,o2(x,o2(x,x))) true 5383 5383 0.002083 0.4999 0.925 0.9078 0.9528 -1 1 2 1 1.976 0.0007598 0.0001232 0.00924 0.721 1 -0.0000109 0.0001246 0.002761 0.0007972 0.02824 3.056 0.2323 0.0009726 0.0001373 1 1 0.002278 0.02732 0.2266 0.002509 0.0301 0.2496 json
t18_x8_u0_b149 18 8 0 149 sub(P,mlt(P,lrg(R,R))) 122123 146494175 o2(x,o2(x,o2(x,x))) true 5391 5391 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
t18_x8_u0_b150 18 8 0 150 sub(P,mlt(P,eql(R,R))) 122124 146494176 o2(x,o2(x,o2(x,x))) true 5399 5399 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
t18_x8_u0_b151 18 8 0 151 sub(P,mlt(P,min(R,R))) 122125 146494177 o2(x,o2(x,o2(x,x))) true 5407 5407 0.001257 0.4988 0.8903 0.8635 0.9293 -1 1 2 1 2.333 0.001259 0.0008081 0.0155 0.2182 1 -0.00003944 0.0009094 0.008003 0.001826 0.04273 2.758 0.4854 0.002394 0.001053 1 1 0.004487 0.04088 0.2233 0.005197 0.04734 0.2586 json
t18_x8_u0_b152 18 8 0 152 sub(P,mlt(P,dot(R,R))) 122126 146494178 o2(x,o2(x,o2(x,x))) true 5415 5415 -0.01289 0.4975 0.6779 0.59 0.7681 -1 1 2 1 4.024 0.01235 0.01599 0.08488 -0.1286 1 0.000008826 0.0136 0.04142 0.02114 0.1454 1.713 1.658 0.04804 0.02305 1 1 0.03458 0.3331 0.9108 0.05861 0.5646 1.544 json
t18_x8_u0_b153 18 8 0 153 sub(P,mlt(P,dst(R,R))) 122127 146494179 o2(x,o2(x,o2(x,x))) true 5423 5423 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
t18_x8_u0_b154 18 8 0 154 sub(P,div(P,add(R,R))) 122128 146494180 o2(x,o2(x,o2(x,x))) true 5431 5431 0.04116 0.5227 0.8771 0.8475 0.9206 -1 1 2 1 2.389 0.03581 0.03993 0.07698 -0.05441 1 0.00009928 0.1351 0.09238 0.0698 0.2642 3.432 2.828 0.08938 0.1594 1 1 0.07328 0.4035 1.024 0.08647 0.4761 1.208 json
t18_x8_u0_b155 18 8 0 155 sub(P,div(P,sub(R,R))) 122129 146494181 o2(x,o2(x,o2(x,x))) true 5439 5439 -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_x8_u0_b156 18 8 0 156 sub(P,div(P,mlt(R,R))) 122130 146494182 o2(x,o2(x,o2(x,x))) true 5447 5447 -0.003299 0.4997 0.9454 0.9333 0.9661 -1 1 2 1 1.716 0.003339 0.001266 0.01401 0.4503 1 0.0000555 0.00598 0.01368 0.004408 0.06639 4.739 1.083 0.004933 0.006407 1 1 0.00915 0.0601 0.3103 0.009804 0.06439 0.3325 json
t18_x8_u0_b157 18 8 0 157 sub(P,div(P,div(R,R))) 122131 146494183 o2(x,o2(x,o2(x,x))) true 5455 5455 1.793e-8 0 8.938e-8 3.613e-14 1.901e-7 -9.534e-7 9.531e-7 0.000001907 1 0.6263 4.351e-16 3.824e-16 1.553e-8 0.00005279 0 -3.579e-12 4.853e-17 3.736e-9 5.763e-16 2.401e-8 1.545 2.163e-7 0.0008175 0.00004853 0 1 8.213e-16 1.056e-14 3.198e-14 0.0008213 0.01056 0.03198 json
t18_x8_u0_b158 18 8 0 158 sub(P,div(P,pow(R,R))) 122132 146494184 o2(x,o2(x,o2(x,x))) true 5463 5463 -0.9355 0.03491 0.987 0.1088 0.3298 -1 1 2 1 0.3652 0.01183 0.009681 0.01305 0.09985 1 -7.3e-7 0.04484 0.02507 0.02134 0.1461 11.19 2.828 0.1977 0.4121 1 1 0.01758 0.07477 0.179 0.1616 0.6873 1.645 json
t18_x8_u0_b159 18 8 0 159 sub(P,div(P,mod(R,R))) 122133 146494185 o2(x,o2(x,o2(x,x))) true 5471 5471 -0.9779 0.01262 0.9951 0.03801 0.195 -1 1 2 1 0.144 0.004619 0.003074 0.005319 0.2009 1 -9.761e-11 0.01571 0.009302 0.007667 0.08756 16.46 2.828 0.2024 0.4134 1 1 0.009096 0.04082 0.07212 0.2393 1.074 1.898 json
t18_x8_u0_b160 18 8 0 160 sub(P,div(P,lrg(R,R))) 122134 146494186 o2(x,o2(x,o2(x,x))) true 5479 5479 -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_x8_u0_b161 18 8 0 161 sub(P,div(P,eql(R,R))) 122135 146494187 o2(x,o2(x,o2(x,x))) true 5487 5487 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
t18_x8_u0_b162 18 8 0 162 sub(P,div(P,min(R,R))) 122136 146494188 o2(x,o2(x,o2(x,x))) true 5495 5495 0.05358 0.5234 0.8962 0.87 0.9328 -1 1 2 1 2.203 0.05765 0.06993 0.1065 -0.0962 1 5.063e-7 0.2518 0.1468 0.1162 0.3408 3.2 2.828 0.1466 0.2894 1 1 0.1354 0.6998 1.553 0.1557 0.8043 1.785 json
t18_x8_u0_b163 18 8 0 163 sub(P,div(P,dot(R,R))) 122137 146494189 o2(x,o2(x,o2(x,x))) true 5503 5503 0.02486 0.5069 0.703 0.6237 0.7898 -1 1 2 1 3.842 0.01535 0.02036 0.08571 -0.1401 1 -0.00002378 0.02828 0.05264 0.02836 0.1684 1.965 2.448 0.05725 0.04534 1 1 0.04177 0.3664 0.9967 0.06696 0.5874 1.598 json
t18_x8_u0_b164 18 8 0 164 sub(P,div(P,dst(R,R))) 122138 146494190 o2(x,o2(x,o2(x,x))) true 5511 5511 -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_x8_u0_b165 18 8 0 165 sub(P,pow(P,add(R,R))) 122139 146494191 o2(x,o2(x,o2(x,x))) true 5519 5519 -0.3492 0.3301 0.931 0.7957 0.892 -1 1 2 1 1.69 0.01915 0.0135 0.03806 0.1732 1 -0.00002713 0.04932 0.04369 0.03121 0.1767 4.642 2.582 0.04103 0.06198 1 1 0.03721 0.2372 0.8426 0.04676 0.2981 1.059 json
t18_x8_u0_b166 18 8 0 166 sub(P,pow(P,sub(R,R))) 122140 146494192 o2(x,o2(x,o2(x,x))) true 5527 5527 -0.125 0.4375 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
t18_x8_u0_b167 18 8 0 167 sub(P,pow(P,mlt(R,R))) 122141 146494193 o2(x,o2(x,o2(x,x))) true 5535 5535 -0.1103 0.4369 0.8897 0.8652 0.9302 -1 1 2 1 1.846 0.004319 0.0001086 0.009255 0.951 1 -0.00001022 0.008044 0.009884 0.004344 0.06591 7.121 1 0.005117 0.009297 1 1 0.006372 0.03357 0.1895 0.007364 0.0388 0.219 json
t18_x8_u0_b168 18 8 0 168 sub(P,pow(P,div(R,R))) 122142 146494194 o2(x,o2(x,o2(x,x))) true 5543 5543 -0.5 0 0.5 0.25 0.5 -1 0.00000143 1 1 1.122 0.003968 3.572e-16 0.003968 1 1 -7.823e-12 0.007937 0.007937 0.003952 0.06287 15.84 1 0.01587 0.03175 1 1 0.005263 0.02105 0.08421 0.02105 0.08421 0.3368 json
t18_x8_u0_b169 18 8 0 169 sub(P,pow(P,pow(R,R))) 122143 146494195 o2(x,o2(x,o2(x,x))) true 5551 5551 -0.9722 0.007629 0.9809 0.03541 0.1882 -1 1 2 1 0.1911 0.003597 0.003637 0.005755 -0.005503 1 -7.795e-7 0.01525 0.01144 0.007199 0.08485 14.74 2 0.2043 0.4306 1 1 0.00482 0.01928 0.06275 0.1361 0.5445 1.772 json
t18_x8_u0_b170 18 8 0 170 sub(P,pow(P,mod(R,R))) 122144 146494196 o2(x,o2(x,o2(x,x))) true 5559 5559 -0.1431 0.4373 0.9468 0.9157 0.9569 -1 1 2 1 1.66 0.003167 0.000951 0.009387 0.5381 1 -0.000002852 0.007514 0.008987 0.004032 0.0635 6.764 1.414 0.004497 0.008205 1 1 0.007004 0.04246 0.2786 0.00765 0.04637 0.3042 json
t18_x8_u0_b171 18 8 0 171 sub(P,pow(P,lrg(R,R))) 122145 146494197 o2(x,o2(x,o2(x,x))) true 5567 5567 -0.125 0.4375 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
t18_x8_u0_b172 18 8 0 172 sub(P,pow(P,eql(R,R))) 122146 146494198 o2(x,o2(x,o2(x,x))) true 5575 5575 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
t18_x8_u0_b173 18 8 0 173 sub(P,pow(P,min(R,R))) 122147 146494199 o2(x,o2(x,o2(x,x))) true 5583 5583 -0.1496 0.4372 0.9442 0.9118 0.9549 -1 1 2 1 1.575 0.004403 0.001645 0.01085 0.456 1 -0.00002088 0.01144 0.01292 0.005933 0.07702 7.096 1.414 0.006633 0.01254 1 1 0.008943 0.05119 0.2865 0.009809 0.05614 0.3142 json
t18_x8_u0_b174 18 8 0 174 sub(P,pow(P,dot(R,R))) 122148 146494200 o2(x,o2(x,o2(x,x))) true 5591 5591 -0.5687 0.1893 0.8311 0.4802 0.6929 -1 1 2 1 2.16 0.01313 0.009402 0.03954 0.1654 1 -0.00001491 0.02554 0.03271 0.02098 0.1448 3.663 2.066 0.04692 0.0532 1 1 0.02614 0.1947 0.555 0.05445 0.4054 1.156 json
t18_x8_u0_b175 18 8 0 175 sub(P,pow(P,dst(R,R))) 122149 146494201 o2(x,o2(x,o2(x,x))) true 5599 5599 -0.125 0.4375 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
t18_x8_u0_b176 18 8 0 176 sub(P,mod(P,add(R,R))) 122150 146494202 o2(x,o2(x,o2(x,x))) true 5607 5607 -0.002322 0.4786 0.8714 0.8536 0.9239 -1 1 2 1 2.189 0.000851 0.0001486 0.009548 0.7028 1 -7.863e-7 0.0001732 0.003165 0.0009087 0.03015 3.157 0.2263 0.001171 0.0002029 1 1 0.002364 0.02742 0.1883 0.002769 0.03212 0.2206 json
t18_x8_u0_b177 18 8 0 177 sub(P,mod(P,sub(R,R))) 122151 146494203 o2(x,o2(x,o2(x,x))) true 5615 5615 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
t18_x8_u0_b178 18 8 0 178 sub(P,mod(P,mlt(R,R))) 122152 146494204 o2(x,o2(x,o2(x,x))) true 5623 5623 -0.0002596 0.5 0.9273 0.9082 0.953 -1 1 2 1 2.074 0.0006058 0.00001071 0.008155 0.9653 1 -0.000002032 0.00005132 0.002378 0.00055 0.02345 2.876 0.1169 0.0006789 0.00005651 1 1 0.00162 0.02108 0.2168 0.001784 0.02322 0.2387 json
t18_x8_u0_b179 18 8 0 179 sub(P,mod(P,div(R,R))) 122153 146494205 o2(x,o2(x,o2(x,x))) true 5631 5631 0.001597 0.5 0.9359 0.9222 0.9603 -1 1 2 1 1.827 0.0007074 0.00001592 0.008068 0.956 1 0.00000526 0.00003786 0.001912 0.0006581 0.02565 3.18 0.2235 0.0007844 0.00004106 1 1 0.001851 0.02449 0.2352 0.002007 0.02656 0.255 json
t18_x8_u0_b180 18 8 0 180 sub(P,mod(P,pow(R,R))) 122154 146494206 o2(x,o2(x,o2(x,x))) true 5639 5639 -0.984 0.007813 0.995 0.02535 0.1592 -1 1 2 1 0.1639 0.001916 0.003054 0.00352 -0.229 1 -4.13e-11 0.01035 0.00622 0.004957 0.07041 20 2.664 0.196 0.4084 1 1 0.0006135 0.004028 0.02258 0.0242 0.1589 0.8906 json
t18_x8_u0_b181 18 8 0 181 sub(P,mod(P,mod(R,R))) 122155 146494207 o2(x,o2(x,o2(x,x))) true 5647 5647 -0.9901 0.003906 0.9932 0.01119 0.1058 -1 0.9163 1.916 1 0.1435 0.001616 0.001228 0.002826 0.1365 1 8.26e-11 0.005999 0.004615 0.002841 0.0533 18.86 2.71 0.254 0.5359 1 1 0.005079 0.02072 0.03367 0.4537 1.851 3.008 json
t18_x8_u0_b182 18 8 0 182 sub(P,mod(P,lrg(R,R))) 122156 146494208 o2(x,o2(x,o2(x,x))) true 5655 5655 -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_x8_u0_b183 18 8 0 183 sub(P,mod(P,eql(R,R))) 122157 146494209 o2(x,o2(x,o2(x,x))) true 5663 5663 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
t18_x8_u0_b184 18 8 0 184 sub(P,mod(P,min(R,R))) 122158 146494210 o2(x,o2(x,o2(x,x))) true 5671 5671 -0.0009307 0.5 0.9218 0.9003 0.9488 -1 1 2 1 2.145 0.0005749 0.00001898 0.008301 0.9361 1 -5.164e-8 0.0000636 0.002545 0.0005249 0.02291 2.76 0.1241 0.0006597 0.00007064 1 1 0.001557 0.01992 0.2084 0.00173 0.02212 0.2315 json
t18_x8_u0_b185 18 8 0 185 sub(P,mod(P,dot(R,R))) 122159 146494211 o2(x,o2(x,o2(x,x))) true 5679 5679 -0.002059 0.4747 0.8606 0.8432 0.9183 -1 1 2 1 2.208 0.0008354 0.000252 0.01011 0.5365 1 0.000004034 0.0001873 0.003309 0.0009859 0.0314 3.107 0.2254 0.00129 0.0002221 1 1 0.002767 0.03164 0.1848 0.003281 0.03752 0.2191 json
t18_x8_u0_b186 18 8 0 186 sub(P,mod(P,dst(R,R))) 122160 146494212 o2(x,o2(x,o2(x,x))) true 5687 5687 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
t18_x8_u0_b187 18 8 0 187 sub(P,lrg(P,add(R,R))) 122161 146494213 o2(x,o2(x,o2(x,x))) true 5695 5695 -0.07111 0.463 0.9324 0.9116 0.9548 -1 1 2 1 1.922 0.0008332 0.0002871 0.01035 0.4874 1 -0.00001497 0.00007202 0.002458 0.001013 0.03183 3.075 0.2338 0.001229 0.00007901 1 1 0.00286 0.037 0.2427 0.003137 0.04059 0.2662 json
t18_x8_u0_b188 18 8 0 188 sub(P,lrg(P,sub(R,R))) 122162 146494214 o2(x,o2(x,o2(x,x))) true 5703 5703 -0.0625 0.4375 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
t18_x8_u0_b189 18 8 0 189 sub(P,lrg(P,mlt(R,R))) 122163 146494215 o2(x,o2(x,o2(x,x))) true 5711 5711 -0.0625 0.4375 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
t18_x8_u0_b190 18 8 0 190 sub(P,lrg(P,div(R,R))) 122164 146494216 o2(x,o2(x,o2(x,x))) true 5719 5719 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
t18_x8_u0_b191 18 8 0 191 sub(P,lrg(P,pow(R,R))) 122165 146494217 o2(x,o2(x,o2(x,x))) true 5727 5727 -0.09988 0.4375 0.9124 0.8877 0.9422 -1 1 2 1 1.955 0.000737 0.0001065 0.008857 0.7474 1 -0.000003565 0.00007593 0.002301 0.0007655 0.02767 3.124 0.2265 0.0009503 0.00008554 1 1 0.002248 0.02816 0.2169 0.002532 0.03172 0.2443 json
t18_x8_u0_b192 18 8 0 192 sub(P,lrg(P,mod(R,R))) 122166 146494218 o2(x,o2(x,o2(x,x))) true 5735 5735 -0.08594 0.4375 0.8984 0.8758 0.9359 -1 1 2 1 2.039 0.0006768 0.0001053 0.008951 0.7306 1 -2.37e-11 0.00003886 0.002118 0.000702 0.02649 2.96 0.1169 0.000893 0.00004437 1 1 0.002116 0.02773 0.2089 0.002416 0.03166 0.2385 json
t18_x8_u0_b193 18 8 0 193 sub(P,lrg(P,lrg(R,R))) 122167 146494219 o2(x,o2(x,o2(x,x))) true 5743 5743 -0.0625 0.4375 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
t18_x8_u0_b194 18 8 0 194 sub(P,lrg(P,eql(R,R))) 122168 146494220 o2(x,o2(x,o2(x,x))) true 5751 5751 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
t18_x8_u0_b195 18 8 0 195 sub(P,lrg(P,min(R,R))) 122169 146494221 o2(x,o2(x,o2(x,x))) true 5759 5759 -0.09766 0.4375 0.9102 0.8845 0.9405 -1 1 2 1 1.994 0.0006768 0.0001053 0.00895 0.7306 1 -0.000005704 0.00003873 0.002112 0.000702 0.0265 2.96 0.1169 0.0008842 0.00004379 1 1 0.002072 0.02729 0.2147 0.002342 0.03086 0.2427 json
t18_x8_u0_b196 18 8 0 196 sub(P,lrg(P,dot(R,R))) 122170 146494222 o2(x,o2(x,o2(x,x))) true 5767 5767 -0.02525 0.4868 0.9122 0.8954 0.9463 -1 1 2 1 1.992 0.0006744 0.0001253 0.009107 0.6866 1 -0.000005704 0.00004533 0.002173 0.0007167 0.02677 2.94 0.1653 0.000893 0.00005062 1 1 0.002086 0.02739 0.2112 0.00233 0.03059 0.2359 json
t18_x8_u0_b197 18 8 0 197 sub(P,lrg(P,dst(R,R))) 122171 146494223 o2(x,o2(x,o2(x,x))) true 5775 5775 -0.0625 0.4375 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
t18_x8_u0_b198 18 8 0 198 sub(P,eql(P,add(R,R))) 122172 146494224 o2(x,o2(x,o2(x,x))) true 5783 5783 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
t18_x8_u0_b199 18 8 0 199 sub(P,eql(P,sub(R,R))) 122173 146494225 o2(x,o2(x,o2(x,x))) true 5791 5791 -0.0625 0.4688 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
t18_x8_u0_b200 18 8 0 200 sub(P,eql(P,mlt(R,R))) 122174 146494226 o2(x,o2(x,o2(x,x))) true 5799 5799 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
t18_x9_u0_b0 18 9 0 0 add(P,add(D,add(P,P))) 122175 146534427 o2(x,o2(x,o2(x,x))) true 5807 5807 0 0.5 0.9693 0.962 0.9808 -1 1 2 1 1.394 0.001405 0 0.007937 1 1 0 0.0003934 0.003229 0.001342 0.03663 4.615 0.2352 0.00146 0.000409 1 1 0.003465 0.03766 0.2857 0.003602 0.03915 0.2969 json
t18_x9_u0_b1 18 9 0 1 add(P,add(D,sub(P,P))) 122176 146534428 o2(x,o2(x,o2(x,x))) true 5815 5815 0 0.5 0.9375 0.9165 0.9574 -1 1 2 1 1.979 0.0004883 0 0.007937 1 1 0 0.0000155 0.000496 0.0004253 0.02062 2.598 0.0625 0.0005327 0.00001691 1 1 0.001285 0.01928 0.2245 0.001402 0.02104 0.245 json
t18_x9_u0_b2 18 9 0 2 add(P,add(D,mlt(P,P))) 122177 146534429 o2(x,o2(x,o2(x,x))) true 5823 5823 0.8945 0.957 0.9017 0.08821 0.297 -0.1454 1 1.145 1 0.9704 0.001507 0 0.01082 1 1 0 0.0003107 0.004514 0.00139 0.03728 3.446 0.2773 0.01709 0.003522 1 1 0.003792 0.03505 0.1338 0.04299 0.3974 1.517 json
t18_x9_u0_b3 18 9 0 3 add(P,add(D,div(P,P))) 122178 146534430 o2(x,o2(x,o2(x,x))) true 5831 5831 -0.09375 0.4375 0.9688 0.9488 0.9741 -1 1 2 1 1.489 0.01983 0 0.01563 1 1 0 0.0397 0.02406 0.01959 0.14 8.958 2 0.0209 0.04184 1 1 0.02628 0.1035 0.3649 0.0277 0.1091 0.3845 json
t18_x9_u0_b4 18 9 0 4 add(P,add(D,pow(P,P))) 122179 146534431 o2(x,o2(x,o2(x,x))) true 5839 5839 0 0.5 1 1 1 -1 1 2 1 1 0.01587 0 0.007937 1 1 0 0.03175 0.01587 0.01581 0.1257 15.84 2 0.01587 0.03175 1 1 0.02105 0.08421 0.3368 0.02105 0.08421 0.3368 json
t18_x9_u0_b5 18 9 0 5 add(P,add(D,mod(P,P))) 122180 146534432 o2(x,o2(x,o2(x,x))) true 5847 5847 -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
t18_x9_u0_b6 18 9 0 6 add(P,add(D,lrg(P,P))) 122181 146534433 o2(x,o2(x,o2(x,x))) true 5855 5855 0 0.5 0.9375 0.9165 0.9574 -1 1 2 1 1.979 0.0004883 0 0.007937 1 1 0 0.0000155 0.000496 0.0004253 0.02062 2.598 0.0625 0.0005327 0.00001691 1 1 0.001285 0.01928 0.2245 0.001402 0.02104 0.245 json
t18_x9_u0_b7 18 9 0 7 add(P,add(D,eql(P,P))) 122182 146534434 o2(x,o2(x,o2(x,x))) true 5863 5863 0.125 0.5625 0.9375 0.9009 0.9492 -1 1 2 1 1.966 0.0004883 0 0.007937 1 1 0 0.0000155 0.000496 0.0004253 0.02062 2.598 0.0625 0.000542 0.00001721 1 1 0.001285 0.01928 0.2245 0.001426 0.02141 0.2492 json
t18_x9_u0_b8 18 9 0 8 add(P,add(D,min(P,P))) 122183 146534435 o2(x,o2(x,o2(x,x))) true 5871 5871 0 0.5 0.9629 0.9531 0.9763 -1 1 2 1 1.525 0.001033 0 0.007937 1 1 0 0.0001387 0.002289 0.0009709 0.03116 3.926 0.1758 0.001084 0.0001455 1 1 0.002648 0.03249 0.2737 0.002779 0.03409 0.2871 json
t18_x9_u0_b9 18 9 0 9 add(P,add(D,dot(P,P))) 122184 146534436 o2(x,o2(x,o2(x,x))) true 5879 5879 0.9936 0.9988 0.9937 0.004776 0.06911 -0.1451 1 1.145 1 0.1378 0.00009692 0.00007529 0.001368 0.1256 1 6.007e-11 0.00004935 0.0005846 0.0001704 0.01305 9.54 0.285 0.03606 0.01033 1 1 0.000572 0.005743 0.0175 0.1198 1.203 3.664 json
t18_x9_u0_b10 18 9 0 10 add(P,add(D,dst(P,P))) 122185 146534437 o2(x,o2(x,o2(x,x))) true 5887 5887 0 0.5 0.9375 0.9165 0.9574 -1 1 2 1 1.979 0.0004883 0 0.007937 1 1 0 0.0000155 0.000496 0.0004253 0.02062 2.598 0.0625 0.0005327 0.00001691 1 1 0.001285 0.01928 0.2245 0.001402 0.02104 0.245 json
t18_x9_u0_b11 18 9 0 11 add(P,sub(D,add(P,P))) 122186 146534438 o2(x,o2(x,o2(x,x))) true 5895 5895 0 0.5 0.9375 0.9252 0.9619 -1 1 2 1 1.774 0.001323 0 0.01101 1 1 0 0.0002527 0.005079 0.001202 0.03468 3.15 0.1713 0.00143 0.0002731 1 1 0.003342 0.0331 0.2361 0.003612 0.03578 0.2552 json
t18_x9_u0_b12 18 9 0 12 add(P,sub(D,sub(P,P))) 122187 146534439 o2(x,o2(x,o2(x,x))) true 5903 5903 0 0.5 0.9375 0.9165 0.9574 -1 1 2 1 1.979 0.0004883 0 0.007937 1 1 0 0.0000155 0.000496 0.0004253 0.02062 2.598 0.0625 0.0005327 0.00001691 1 1 0.001285 0.01928 0.2245 0.001402 0.02104 0.245 json
t18_x9_u0_b13 18 9 0 13 add(P,sub(D,mlt(P,P))) 122188 146534440 o2(x,o2(x,o2(x,x))) true 5911 5911 -0.8945 0.04297 0.9017 0.08821 0.297 -1 0.1454 1.145 1 0.9704 0.001507 0 0.01082 1 1 0 0.0003107 0.004514 0.00139 0.03728 3.446 0.2773 0.01709 0.003522 1 1 0.003792 0.03505 0.1338 0.04299 0.3974 1.517 json
t18_x9_u0_b14 18 9 0 14 add(P,sub(D,div(P,P))) 122189 146534441 o2(x,o2(x,o2(x,x))) true 5919 5919 -0.1563 0.4375 0.9688 0.9332 0.966 -1 1 2 1 1.466 0.004457 0 0.007937 1 1 0 0.007952 0.008185 0.004392 0.06627 8.351 1.031 0.004775 0.008521 1 1 0.006548 0.04034 0.2807 0.007017 0.04322 0.3007 json
t18_x9_u0_b15 18 9 0 15 add(P,sub(D,pow(P,P))) 122190 146534442 o2(x,o2(x,o2(x,x))) true 5927 5927 -0.9443 0.01172 0.9456 0.04011 0.2003 -1 0.07238 1.072 1 0.7955 0.00113 0 0.008511 1 1 -4.731e-10 0.0002329 0.002697 0.001057 0.03252 3.821 0.2773 0.02817 0.005807 1 1 0.002843 0.02652 0.05824 0.07087 0.6612 1.452 json
t18_x9_u0_b16 18 9 0 16 add(P,sub(D,mod(P,P))) 122191 146534443 o2(x,o2(x,o2(x,x))) true 5935 5935 -0.125 0.4375 0.7599 0.7124 0.844 -1 1 2 1 2.665 0.02459 0 0.04626 1 1 -1.877e-12 0.03601 0.03979 0.02246 0.1499 3.24 2 0.03452 0.05056 1 1 0.03571 0.1791 0.4333 0.05014 0.2514 0.6082 json
t18_x9_u0_b17 18 9 0 17 add(P,sub(D,lrg(P,P))) 122192 146534444 o2(x,o2(x,o2(x,x))) true 5943 5943 0 0.5 0.9375 0.9165 0.9574 -1 1 2 1 1.979 0.0004883 0 0.007937 1 1 0 0.0000155 0.000496 0.0004253 0.02062 2.598 0.0625 0.0005327 0.00001691 1 1 0.001285 0.01928 0.2245 0.001402 0.02104 0.245 json
t18_x9_u0_b18 18 9 0 18 add(P,sub(D,eql(P,P))) 122193 146534445 o2(x,o2(x,o2(x,x))) true 5951 5951 -0.125 0.4375 0.9375 0.9009 0.9492 -1 1 2 1 1.966 0.0004883 0 0.007937 1 1 0 0.0000155 0.000496 0.0004253 0.02062 2.598 0.0625 0.000542 0.00001721 1 1 0.001285 0.01928 0.2245 0.001426 0.02141 0.2492 json
t18_x9_u0_b19 18 9 0 19 add(P,sub(D,min(P,P))) 122194 146534446 o2(x,o2(x,o2(x,x))) true 5959 5959 0 0.5 0.09436 0.01082 0.104 -0.1454 0.1454 0.2908 1 2.561 0.001632 0 0.03609 1 1 0 0.0002563 0.01459 0.0003304 0.01818 0.5036 0.06192 0.1508 0.02368 1 1 0.003151 0.02183 5.236e-15 0.2912 2.017 4.838e-13 json
t18_x9_u0_b20 18 9 0 20 add(P,sub(D,dot(P,P))) 122195 146534447 o2(x,o2(x,o2(x,x))) true 5967 5967 -0.9936 0.001221 0.9937 0.004776 0.06911 -1 0.1451 1.145 1 0.1378 0.00009692 0.00007529 0.001364 0.1256 1 -4.13e-11 0.00004935 0.0005846 0.0001704 0.01305 9.57 0.2904 0.03606 0.01033 1 1 0.000572 0.005743 0.0175 0.1198 1.203 3.664 json
t18_x9_u0_b21 18 9 0 21 add(P,sub(D,dst(P,P))) 122196 146534448 o2(x,o2(x,o2(x,x))) true 5975 5975 0 0.5 0.9375 0.9165 0.9574 -1 1 2 1 1.979 0.0004883 0 0.007937 1 1 0 0.0000155 0.000496 0.0004253 0.02062 2.598 0.0625 0.0005327 0.00001691 1 1 0.001285 0.01928 0.2245 0.001402 0.02104 0.245 json
t18_x9_u0_b22 18 9 0 22 add(P,mlt(D,add(P,P))) 122197 146534449 o2(x,o2(x,o2(x,x))) true 5983 5983 -0.02701 0.4688 0.9306 0.9179 0.9581 -1 1 2 1 1.747 0.001245 0 0.0101 1 1 -1.656e-9 0.0002828 0.004823 0.001143 0.03381 3.346 0.1966 0.001356 0.0003081 1 1 0.003115 0.03137 0.2284 0.003394 0.03417 0.2488 json
t18_x9_u0_b23 18 9 0 23 add(P,mlt(D,sub(P,P))) 122198 146534450 o2(x,o2(x,o2(x,x))) true 5991 5991 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
t18_x9_u0_b24 18 9 0 24 add(P,mlt(D,mlt(P,P))) 122199 146534451 o2(x,o2(x,o2(x,x))) true 5999 5999 1.31e-10 0.4961 0.8557 0.8144 0.9024 -1 1 2 1 2.798 0.08143 0 0.1033 1 1 3.754e-12 0.09292 0.1255 0.07078 0.266 2.576 1.502 0.09999 0.1141 1 1 0.0359 0.06467 0.2525 0.04408 0.07941 0.31 json