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_x76_u0_b58 18 76 0 58 add(R,mod(R,div(D,D))) 135700 149241352 o2(x,o2(x,o2(x,x))) true 114007 114007 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_x76_u0_b59 18 76 0 59 add(R,mod(R,pow(D,D))) 135701 149241353 o2(x,o2(x,o2(x,x))) true 114015 114015 -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_x76_u0_b60 18 76 0 60 add(R,mod(R,mod(D,D))) 135702 149241354 o2(x,o2(x,o2(x,x))) true 114023 114023 -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_x76_u0_b61 18 76 0 61 add(R,mod(R,lrg(D,D))) 135703 149241355 o2(x,o2(x,o2(x,x))) true 114031 114031 -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_x76_u0_b62 18 76 0 62 add(R,mod(R,eql(D,D))) 135704 149241356 o2(x,o2(x,o2(x,x))) true 114039 114039 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_x76_u0_b63 18 76 0 63 add(R,mod(R,min(D,D))) 135705 149241357 o2(x,o2(x,o2(x,x))) true 114047 114047 0.003985 0.4964 0.4743 0.3043 0.5517 -1 1 2 1 4.978 0.00971 0.004495 0.0975 0.3672 1 0.00002564 0.01729 0.09475 0.004698 0.06854 0.7029 0.3841 0.04668 0.05682 1 1 0.0203 0.2084 0.5476 0.0667 0.6847 1.8 json
t18_x76_u0_b64 18 76 0 64 add(R,mod(R,dot(D,D))) 135706 149241358 o2(x,o2(x,o2(x,x))) true 114055 114055 0.006028 0.497 0.4484 0.2765 0.5259 -1 1 2 1 4.96 0.006325 0.006813 0.093 -0.0372 1 0.0000266 0.0296 0.1243 0.004488 0.06699 0.7203 0.4505 0.04751 0.1071 1 1 0.01749 0.1797 0.4967 0.06327 0.6499 1.796 json
t18_x76_u0_b65 18 76 0 65 add(R,mod(R,dst(D,D))) 135707 149241359 o2(x,o2(x,o2(x,x))) true 114063 114063 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_x76_u0_b66 18 76 0 66 add(R,lrg(R,add(D,D))) 135708 149241360 o2(x,o2(x,o2(x,x))) true 114071 114071 0.3826 0.7051 0.627 0.3602 0.6002 -0.9986 1 1.999 1 4.212 0.0323 0.006113 0.1128 0.6818 1 -0.0008206 0.05611 0.1017 0.02568 0.1603 1.42 1.13 0.1067 0.1558 1 1 0.04861 0.3216 0.6002 0.1349 0.8929 1.666 json
t18_x76_u0_b67 18 76 0 67 add(R,lrg(R,sub(D,D))) 135709 149241361 o2(x,o2(x,o2(x,x))) true 114079 114079 0.3351 0.6255 0.6444 0.4213 0.6491 -0.9989 1 1.999 1 4.004 0.006632 0.00803 0.08203 -0.0953 1 -0.000127 0.0024 0.02604 0.007932 0.08906 1.086 0.347 0.0348 0.005696 1 1 0.02829 0.3191 0.7425 0.06714 0.7573 1.762 json
t18_x76_u0_b68 18 76 0 68 add(R,lrg(R,mlt(D,D))) 135710 149241362 o2(x,o2(x,o2(x,x))) true 114087 114087 0.2998 0.5975 0.6296 0.4258 0.6525 -0.9989 1 1.999 1 4.078 0.01245 0.007832 0.08835 0.2276 1 -0.0001008 0.01423 0.04559 0.01247 0.1117 1.264 0.9999 0.04763 0.03342 1 1 0.03286 0.3268 0.7582 0.07718 0.7677 1.781 json
t18_x76_u0_b69 18 76 0 69 add(R,lrg(R,div(D,D))) 135711 149241363 o2(x,o2(x,o2(x,x))) true 114095 114095 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_x76_u0_b70 18 76 0 70 add(R,lrg(R,pow(D,D))) 135712 149241364 o2(x,o2(x,o2(x,x))) true 114103 114103 0.4683 0.8034 0.6028 0.259 0.5089 -0.9986 1 1.999 1 4.165 0.04785 0.003201 0.1147 0.8746 1 -0.0000607 0.08731 0.1166 0.03791 0.1947 1.697 1.019 0.1972 0.3372 1 1 0.05939 0.2824 0.3295 0.2293 1.09 1.272 json
t18_x76_u0_b71 18 76 0 71 add(R,lrg(R,mod(D,D))) 135713 149241365 o2(x,o2(x,o2(x,x))) true 114111 114111 0.3428 0.636 0.6457 0.4186 0.647 -0.9989 1 1.999 1 4.01 0.04389 0.007731 0.1292 0.7005 1 -0.0002167 0.1091 0.1387 0.03493 0.1869 1.446 1.016 0.1233 0.2606 1 1 0.04878 0.3275 0.7289 0.1165 0.7824 1.741 json
t18_x76_u0_b72 18 76 0 72 add(R,lrg(R,lrg(D,D))) 135714 149241366 o2(x,o2(x,o2(x,x))) true 114119 114119 0.3351 0.6255 0.6444 0.4213 0.6491 -0.9989 1 1.999 1 4.004 0.006632 0.00803 0.08203 -0.0953 1 -0.000127 0.0024 0.02604 0.007932 0.08906 1.086 0.347 0.0348 0.005696 1 1 0.02829 0.3191 0.7425 0.06714 0.7573 1.762 json
t18_x76_u0_b73 18 76 0 73 add(R,lrg(R,eql(D,D))) 135715 149241367 o2(x,o2(x,o2(x,x))) true 114127 114127 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_x76_u0_b74 18 76 0 74 add(R,lrg(R,min(D,D))) 135716 149241368 o2(x,o2(x,o2(x,x))) true 114135 114135 0.3562 0.658 0.6441 0.4058 0.637 -0.9986 1 1.999 1 4.045 0.02165 0.007303 0.101 0.4956 1 -0.0001007 0.03389 0.07216 0.01875 0.1369 1.355 1.117 0.07136 0.08352 1 1 0.04058 0.3313 0.7036 0.1 0.8165 1.734 json
t18_x76_u0_b75 18 76 0 75 add(R,lrg(R,dot(D,D))) 135717 149241369 o2(x,o2(x,o2(x,x))) true 114143 114143 0.2617 0.5637 0.6145 0.4296 0.6555 -0.9989 1 1.999 1 4.133 0.01255 0.01355 0.09219 -0.03847 1 0.00009767 0.0396 0.06618 0.01761 0.1327 1.439 1.414 0.06076 0.09217 1 1 0.03783 0.3416 0.765 0.08805 0.7952 1.781 json
t18_x76_u0_b76 18 76 0 76 add(R,lrg(R,dst(D,D))) 135718 149241370 o2(x,o2(x,o2(x,x))) true 114151 114151 0.3351 0.6255 0.6444 0.4213 0.6491 -0.9989 1 1.999 1 4.004 0.006632 0.00803 0.08203 -0.0953 1 -0.000127 0.0024 0.02604 0.007932 0.08906 1.086 0.347 0.0348 0.005696 1 1 0.02829 0.3191 0.7425 0.06714 0.7573 1.762 json
t18_x76_u0_b77 18 76 0 77 add(R,eql(R,add(D,D))) 135719 149241371 o2(x,o2(x,o2(x,x))) true 114159 114159 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_x76_u0_b78 18 76 0 78 add(R,eql(R,sub(D,D))) 135720 149241372 o2(x,o2(x,o2(x,x))) true 114167 114167 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_x76_u0_b79 18 76 0 79 add(R,eql(R,mlt(D,D))) 135721 149241373 o2(x,o2(x,o2(x,x))) true 114175 114175 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_x76_u0_b80 18 76 0 80 add(R,eql(R,div(D,D))) 135722 149241374 o2(x,o2(x,o2(x,x))) true 114183 114183 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_x76_u0_b81 18 76 0 81 add(R,eql(R,pow(D,D))) 135723 149241375 o2(x,o2(x,o2(x,x))) true 114191 114191 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_x76_u0_b82 18 76 0 82 add(R,eql(R,mod(D,D))) 135724 149241376 o2(x,o2(x,o2(x,x))) true 114199 114199 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_x76_u0_b83 18 76 0 83 add(R,eql(R,lrg(D,D))) 135725 149241377 o2(x,o2(x,o2(x,x))) true 114207 114207 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_x76_u0_b84 18 76 0 84 add(R,eql(R,eql(D,D))) 135726 149241378 o2(x,o2(x,o2(x,x))) true 114215 114215 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_x76_u0_b85 18 76 0 85 add(R,eql(R,min(D,D))) 135727 149241379 o2(x,o2(x,o2(x,x))) true 114223 114223 0.009019 0.4984 0.3946 0.2196 0.4686 -0.9989 0.9806 1.979 1 4.862 0.002828 0.003169 0.06324 -0.0569 1 0.00002663 0.0003949 0.01461 0.001998 0.0447 0.7068 0.3544 0.02731 0.001798 1 1 0.01182 0.1519 0.3913 0.05385 0.6917 1.782 json
t18_x76_u0_b86 18 76 0 86 add(R,eql(R,dot(D,D))) 135728 149241380 o2(x,o2(x,o2(x,x))) true 114231 114231 0.009043 0.4984 0.3947 0.2196 0.4686 -0.9989 0.9806 1.979 1 4.862 0.002882 0.003237 0.06338 -0.05807 1 0.00002651 0.001026 0.015 0.002102 0.04585 0.7235 0.857 0.02786 0.004671 1 1 0.01182 0.1519 0.3914 0.05384 0.6916 1.782 json
t18_x76_u0_b87 18 76 0 87 add(R,eql(R,dst(D,D))) 135729 149241381 o2(x,o2(x,o2(x,x))) true 114239 114239 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_x76_u0_b88 18 76 0 88 add(R,min(R,add(D,D))) 135730 149241382 o2(x,o2(x,o2(x,x))) true 114247 114247 -0.2769 0.336 0.5859 0.3768 0.6139 -1 1 2 1 4.577 0.009736 0.005971 0.09768 0.2397 1 0.0002915 0.002458 0.03211 0.006167 0.07853 0.8039 0.4459 0.04168 0.006523 1 1 0.03045 0.3212 0.6436 0.08082 0.8524 1.708 json
t18_x76_u0_b89 18 76 0 89 add(R,min(R,sub(D,D))) 135731 149241383 o2(x,o2(x,o2(x,x))) true 114255 114255 -0.1786 0.4229 0.5355 0.3565 0.597 -1 0.9804 1.98 1 4.683 0.005248 0.005892 0.07878 -0.05786 1 0.0001125 0.001381 0.0214 0.004933 0.07024 0.8915 0.3468 0.03125 0.003875 1 1 0.02169 0.2587 0.6278 0.06083 0.7256 1.761 json
t18_x76_u0_b90 18 76 0 90 add(R,min(R,mlt(D,D))) 135732 149241384 o2(x,o2(x,o2(x,x))) true 114263 114263 -0.1295 0.4515 0.5556 0.3934 0.6272 -1 1 2 1 4.735 0.005597 0.006462 0.08274 -0.07174 1 0.00000319 0.001518 0.02327 0.005213 0.0722 0.8726 0.345 0.03065 0.003858 1 1 0.02346 0.2783 0.6936 0.05963 0.7073 1.763 json
t18_x76_u0_b91 18 76 0 91 add(R,min(R,div(D,D))) 135733 149241385 o2(x,o2(x,o2(x,x))) true 114271 114271 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_x76_u0_b92 18 76 0 92 add(R,min(R,pow(D,D))) 135734 149241386 o2(x,o2(x,o2(x,x))) true 114279 114279 0.009801 0.4969 0.6566 0.5426 0.7366 -1 1 2 1 4.423 0.008564 0.009639 0.09328 -0.05909 1 0.00003708 0.003022 0.02833 0.009502 0.09748 1.045 0.4538 0.03355 0.005569 1 1 0.03572 0.4048 0.9727 0.06583 0.746 1.793 json
t18_x76_u0_b93 18 76 0 93 add(R,min(R,mod(D,D))) 135735 149241387 o2(x,o2(x,o2(x,x))) true 114287 114287 -0.1861 0.4102 0.5442 0.3653 0.6044 -1 1 2 1 4.705 0.02006 0.005918 0.1193 0.5444 1 0.000156 0.03815 0.1447 0.01175 0.1084 0.9085 0.6296 0.07111 0.1044 1 1 0.03281 0.2721 0.6341 0.08982 0.7447 1.736 json
t18_x76_u0_b94 18 76 0 94 add(R,min(R,lrg(D,D))) 135736 149241388 o2(x,o2(x,o2(x,x))) true 114295 114295 -0.1786 0.4229 0.5355 0.3565 0.597 -1 0.9804 1.98 1 4.683 0.005248 0.005892 0.07878 -0.05786 1 0.0001125 0.001381 0.0214 0.004933 0.07024 0.8915 0.3468 0.03125 0.003875 1 1 0.02169 0.2587 0.6278 0.06083 0.7256 1.761 json
t18_x76_u0_b95 18 76 0 95 add(R,min(R,eql(D,D))) 135737 149241389 o2(x,o2(x,o2(x,x))) true 114303 114303 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_x76_u0_b96 18 76 0 96 add(R,min(R,min(D,D))) 135738 149241390 o2(x,o2(x,o2(x,x))) true 114311 114311 -0.2027 0.396 0.5489 0.364 0.6033 -1 1 2 1 4.685 0.006231 0.00593 0.08481 0.02475 1 0.0001181 0.001557 0.02424 0.004968 0.07049 0.8311 0.3757 0.03341 0.004278 1 1 0.02369 0.276 0.6391 0.06508 0.7583 1.756 json
t18_x76_u0_b97 18 76 0 97 add(R,min(R,dot(D,D))) 135739 149241391 o2(x,o2(x,o2(x,x))) true 114319 114319 -0.08674 0.4757 0.576 0.4269 0.6534 -1 1 2 1 4.749 0.006034 0.006763 0.08543 -0.05699 1 -0.00003687 0.001645 0.02468 0.005498 0.07415 0.868 0.3451 0.02998 0.003854 1 1 0.02491 0.2949 0.7569 0.05836 0.6906 1.773 json
t18_x76_u0_b98 18 76 0 98 add(R,min(R,dst(D,D))) 135740 149241392 o2(x,o2(x,o2(x,x))) true 114327 114327 -0.1786 0.4229 0.5355 0.3565 0.597 -1 0.9804 1.98 1 4.683 0.005248 0.005892 0.07878 -0.05786 1 0.0001125 0.001381 0.0214 0.004933 0.07024 0.8915 0.3468 0.03125 0.003875 1 1 0.02169 0.2587 0.6278 0.06083 0.7256 1.761 json
t18_x76_u0_b99 18 76 0 99 add(R,dot(R,add(D,D))) 135741 149241393 o2(x,o2(x,o2(x,x))) true 114335 114335 0.01528 0.5027 0.4644 0.3074 0.5544 -1 1 2 1 4.916 0.006315 0.006771 0.096 -0.03486 1 -0.0001792 0.00161 0.02708 0.003871 0.06221 0.6481 0.4222 0.04257 0.005238 1 1 0.02531 0.2964 0.5651 0.08233 0.9643 1.838 json
t18_x76_u0_b100 18 76 0 100 add(R,dot(R,sub(D,D))) 135742 149241394 o2(x,o2(x,o2(x,x))) true 114343 114343 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_x76_u0_b101 18 76 0 101 add(R,dot(R,mlt(D,D))) 135743 149241395 o2(x,o2(x,o2(x,x))) true 114351 114351 0.01509 0.5003 0.4297 0.2574 0.5073 -1 1 2 1 4.936 0.002975 0.003891 0.06831 -0.1335 1 0.00002267 0.0004559 0.01678 0.0022 0.0469 0.6866 0.2371 0.02668 0.001771 1 1 0.01346 0.1693 0.4571 0.05231 0.6578 1.776 json
t18_x76_u0_b102 18 76 0 102 add(R,dot(R,div(D,D))) 135744 149241396 o2(x,o2(x,o2(x,x))) true 114359 114359 -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_x76_u0_b103 18 76 0 103 add(R,dot(R,pow(D,D))) 135745 149241397 o2(x,o2(x,o2(x,x))) true 114367 114367 -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_x76_u0_b104 18 76 0 104 add(R,dot(R,mod(D,D))) 135746 149241398 o2(x,o2(x,o2(x,x))) true 114375 114375 -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_x76_u0_b105 18 76 0 105 add(R,dot(R,lrg(D,D))) 135747 149241399 o2(x,o2(x,o2(x,x))) true 114383 114383 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_x76_u0_b106 18 76 0 106 add(R,dot(R,eql(D,D))) 135748 149241400 o2(x,o2(x,o2(x,x))) true 114391 114391 0.00573 0.4995 0.6818 0.5786 0.7607 -1 1 2 1 4.25 0.009738 0.01113 0.09326 -0.06693 1 0.00005499 0.004712 0.03212 0.01217 0.1103 1.183 0.6182 0.03607 0.008144 1 1 0.0405 0.4178 1.043 0.07 0.722 1.803 json
t18_x76_u0_b107 18 76 0 107 add(R,dot(R,min(D,D))) 135749 149241401 o2(x,o2(x,o2(x,x))) true 114399 114399 0.01313 0.5014 0.4156 0.2469 0.4969 -1 1 2 1 4.92 0.003809 0.004137 0.07519 -0.04134 1 -0.00009052 0.000611 0.0184 0.002292 0.04787 0.6367 0.3065 0.03218 0.002474 1 1 0.01547 0.1933 0.442 0.06266 0.7827 1.79 json
t18_x76_u0_b108 18 76 0 108 add(R,dot(R,dot(D,D))) 135750 149241402 o2(x,o2(x,o2(x,x))) true 114407 114407 0.01331 0.4984 0.4689 0.3025 0.55 -1 1 2 1 4.976 0.003745 0.004276 0.07377 -0.0662 1 0.00007791 0.0006321 0.01942 0.002579 0.05078 0.6884 0.2622 0.02651 0.00209 1 1 0.01606 0.197 0.5449 0.05308 0.6513 1.801 json
t18_x76_u0_b109 18 76 0 109 add(R,dot(R,dst(D,D))) 135751 149241403 o2(x,o2(x,o2(x,x))) true 114415 114415 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_x76_u0_b110 18 76 0 110 add(R,dst(R,add(D,D))) 135752 149241404 o2(x,o2(x,o2(x,x))) true 114423 114423 0.8838 0.9956 0.8845 0.0489 0.2211 -0.2053 1 1.205 1 1.978 0.002817 0.002738 0.04047 0.01421 1 -0.0003188 0.00221 0.02238 0.003916 0.06258 1.546 0.3828 0.1136 0.0452 1 1 0.01022 0.07422 0.07967 0.2089 1.518 1.629 json
t18_x76_u0_b111 18 76 0 111 add(R,dst(R,sub(D,D))) 135753 149241405 o2(x,o2(x,o2(x,x))) true 114431 114431 0.7698 1 0.7698 0.07179 0.2679 0.03077 1 0.9692 1 2.953 0.001474 0.001584 0.03376 -0.03597 1 -0.00007251 0.000832 0.01385 0.001919 0.0438 1.298 0.2336 0.0426 0.01159 1 1 0.00568 0.0565 0.13 0.07911 0.7869 1.81 json
t18_x76_u0_b112 18 76 0 112 add(R,dst(R,mlt(D,D))) 135754 149241406 o2(x,o2(x,o2(x,x))) true 114439 114439 0.7963 1 0.7963 0.06115 0.2473 0.02599 1 0.974 1 2.851 0.0016 0.001423 0.03433 0.05834 1 -0.0001272 0.0008187 0.01443 0.001845 0.04295 1.251 0.258 0.04943 0.01339 1 1 0.005649 0.05455 0.112 0.09237 0.8921 1.831 json
t18_x76_u0_b113 18 76 0 113 add(R,dst(R,div(D,D))) 135755 149241407 o2(x,o2(x,o2(x,x))) true 114447 114447 -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_x76_u0_b114 18 76 0 114 add(R,dst(R,pow(D,D))) 135756 149241408 o2(x,o2(x,o2(x,x))) true 114455 114455 -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_x76_u0_b115 18 76 0 115 add(R,dst(R,mod(D,D))) 135757 149241409 o2(x,o2(x,o2(x,x))) true 114463 114463 -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_x76_u0_b116 18 76 0 116 add(R,dst(R,lrg(D,D))) 135758 149241410 o2(x,o2(x,o2(x,x))) true 114471 114471 0.7698 1 0.7698 0.07179 0.2679 0.03077 1 0.9692 1 2.953 0.001474 0.001584 0.03376 -0.03597 1 -0.00007251 0.000832 0.01385 0.001919 0.0438 1.298 0.2336 0.0426 0.01159 1 1 0.00568 0.0565 0.13 0.07911 0.7869 1.81 json
t18_x76_u0_b117 18 76 0 117 add(R,dst(R,eql(D,D))) 135759 149241411 o2(x,o2(x,o2(x,x))) true 114479 114479 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_x76_u0_b118 18 76 0 118 add(R,dst(R,min(D,D))) 135760 149241412 o2(x,o2(x,o2(x,x))) true 114487 114487 0.8073 0.9979 0.8075 0.06509 0.2551 -0.087 1 1.087 1 2.723 0.001835 0.001948 0.03831 -0.02976 1 -0.0001195 0.001094 0.01656 0.002314 0.04811 1.256 0.2799 0.05812 0.01681 1 1 0.007039 0.06481 0.1184 0.1081 0.9957 1.82 json
t18_x76_u0_b119 18 76 0 119 add(R,dst(R,dot(D,D))) 135761 149241413 o2(x,o2(x,o2(x,x))) true 114495 114495 0.8433 1 0.8433 0.05014 0.2239 0.03399 1 0.966 1 2.475 0.001683 0.001752 0.03524 -0.02006 1 -0.0002898 0.001075 0.01677 0.002193 0.04683 1.329 0.2473 0.0685 0.02144 1 1 0.006346 0.05451 0.08358 0.1266 1.087 1.667 json
t18_x76_u0_b120 18 76 0 120 add(R,dst(R,dst(D,D))) 135762 149241414 o2(x,o2(x,o2(x,x))) true 114503 114503 0.7698 1 0.7698 0.07179 0.2679 0.03077 1 0.9692 1 2.953 0.001474 0.001584 0.03376 -0.03597 1 -0.00007251 0.000832 0.01385 0.001919 0.0438 1.298 0.2336 0.0426 0.01159 1 1 0.00568 0.0565 0.13 0.07911 0.7869 1.81 json
t18_x76_u0_b121 18 76 0 121 sub(R,add(R,add(D,D))) 135763 149241415 o2(x,o2(x,o2(x,x))) true 114511 114511 -3.873e-9 0.5 0.1887 0.04329 0.2081 -0.2908 0.2908 0.5817 1 2.906 0.00653 1.157e-17 0.07219 1 1 1.056e-11 0.001025 0.02918 0.001321 0.03635 0.5036 0.1238 0.1508 0.02368 1 1 0.0126 0.08733 7.858e-16 0.2912 2.017 1.815e-14 json
t18_x76_u0_b122 18 76 0 122 sub(R,add(R,sub(D,D))) 135764 149241416 o2(x,o2(x,o2(x,x))) true 114519 114519 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_x76_u0_b123 18 76 0 123 sub(R,add(R,mlt(D,D))) 135765 149241417 o2(x,o2(x,o2(x,x))) true 114527 114527 -0.1191 0 0.1191 0.008061 0.08978 -0.2473 -0.001249 0.2461 1 1.811 0.001249 0 0.03102 1 1 0.0002405 0.0001931 0.01268 0.000287 0.01694 0.5461 0.05089 0.155 0.02396 1 1 0.002392 0.01594 0 0.2968 1.978 0 json
t18_x76_u0_b124 18 76 0 124 sub(R,add(R,div(D,D))) 135766 149241418 o2(x,o2(x,o2(x,x))) true 114535 114535 -1 0 1 2.017e-15 4.491e-8 -1 -1 1.192e-7 1 0 3.076e-15 6.12e-17 3.804e-8 0.003014 0 -8.138e-8 2.957e-14 9.596e-8 1.69e-15 4.111e-8 1.081 1.333e-7 0.003137 0.02957 0 1 1.205e-15 1.541e-15 1.114e-15 0.001205 0.001541 0.001114 json
t18_x76_u0_b125 18 76 0 125 sub(R,add(R,pow(D,D))) 135767 149241419 o2(x,o2(x,o2(x,x))) true 114543 114543 -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_x76_u0_b126 18 76 0 126 sub(R,add(R,mod(D,D))) 135768 149241420 o2(x,o2(x,o2(x,x))) true 114551 114551 1.193e-10 0.25 0.1038 0.02409 0.1552 -0.2729 0.2729 0.5458 1 2.25 0.03941 1.727e-18 0.1433 1 1 -2.196e-10 0.0954 0.2838 0.01887 0.1374 0.9583 0.5235 1.636 3.96 1 1 0.03096 0.0304 4.232e-17 1.285 1.262 1.757e-15 json
t18_x76_u0_b127 18 76 0 127 sub(R,add(R,lrg(D,D))) 135769 149241421 o2(x,o2(x,o2(x,x))) true 114559 114559 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_x76_u0_b128 18 76 0 128 sub(R,add(R,eql(D,D))) 135770 149241422 o2(x,o2(x,o2(x,x))) true 114567 114567 -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_x76_u0_b129 18 76 0 129 sub(R,add(R,min(D,D))) 135771 149241423 o2(x,o2(x,o2(x,x))) true 114575 114575 -4.447e-10 0.5 0.09436 0.01082 0.104 -0.1454 0.1454 0.2908 1 2.561 0.001632 7.999e-19 0.0361 1 1 2.289e-10 0.0002563 0.01459 0.0003304 0.01818 0.5036 0.06192 0.1508 0.02368 1 1 0.003151 0.02183 3.351e-17 0.2912 2.017 3.096e-15 json
t18_x76_u0_b130 18 76 0 130 sub(R,add(R,dot(D,D))) 135772 149241424 o2(x,o2(x,o2(x,x))) true 114583 114583 -0.2381 0 0.2381 0.01612 0.127 -0.4946 -0.002499 0.4921 1 2.912 0.001249 0.001249 0.04752 0.000002889 1 0.000481 0.0003863 0.01607 0.0002408 0.01552 0.3266 0.07197 0.155 0.02396 1 1 0.004785 0.03189 1.338e-18 0.2968 1.978 8.297e-17 json
t18_x76_u0_b131 18 76 0 131 sub(R,add(R,dst(D,D))) 135773 149241425 o2(x,o2(x,o2(x,x))) true 114591 114591 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_x76_u0_b132 18 76 0 132 sub(R,sub(R,add(D,D))) 135774 149241426 o2(x,o2(x,o2(x,x))) true 114599 114599 3.121e-9 0.5 0.1887 0.04329 0.2081 -0.2908 0.2908 0.5817 1 2.906 0.00653 1.367e-17 0.07219 1 1 -6.359e-11 0.001025 0.02918 0.001321 0.03635 0.5036 0.1238 0.1508 0.02368 1 1 0.0126 0.08733 6.878e-16 0.2912 2.017 1.589e-14 json
t18_x76_u0_b133 18 76 0 133 sub(R,sub(R,sub(D,D))) 135775 149241427 o2(x,o2(x,o2(x,x))) true 114607 114607 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_x76_u0_b134 18 76 0 134 sub(R,sub(R,mlt(D,D))) 135776 149241428 o2(x,o2(x,o2(x,x))) true 114615 114615 0.1191 1 0.1191 0.008061 0.08978 0.001249 0.2473 0.2461 1 1.811 0.001249 2.403e-18 0.03102 1 1 -0.0002405 0.0001931 0.01268 0.000287 0.01694 0.5461 0.05089 0.155 0.02396 1 1 0.002392 0.01594 7.066e-17 0.2968 1.978 8.765e-15 json
t18_x76_u0_b135 18 76 0 135 sub(R,sub(R,div(D,D))) 135777 149241429 o2(x,o2(x,o2(x,x))) true 114623 114623 1 1 1 1.941e-15 4.406e-8 1 1 1.192e-7 1 0 2.722e-15 4.867e-17 3.698e-8 0.002674 0 8.405e-8 2.666e-14 9.344e-8 1.404e-15 3.746e-8 1.013 1.333e-7 0.002771 0.02666 0 1 1.035e-15 1.252e-15 9.538e-16 0.001035 0.001252 0.0009538 json
t18_x76_u0_b136 18 76 0 136 sub(R,sub(R,pow(D,D))) 135778 149241430 o2(x,o2(x,o2(x,x))) true 114631 114631 -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_x76_u0_b137 18 76 0 137 sub(R,sub(R,mod(D,D))) 135779 149241431 o2(x,o2(x,o2(x,x))) true 114639 114639 1.445e-10 0.25 0.1038 0.02409 0.1552 -0.2729 0.2729 0.5458 1 2.25 0.03941 1.643e-18 0.1433 1 1 -2.013e-10 0.0954 0.2838 0.01887 0.1374 0.9583 0.5235 1.636 3.96 1 1 0.03096 0.0304 4.158e-17 1.285 1.262 1.726e-15 json
t18_x76_u0_b138 18 76 0 138 sub(R,sub(R,lrg(D,D))) 135780 149241432 o2(x,o2(x,o2(x,x))) true 114647 114647 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_x76_u0_b139 18 76 0 139 sub(R,sub(R,eql(D,D))) 135781 149241433 o2(x,o2(x,o2(x,x))) true 114655 114655 1 1 1 2.776e-16 1.666e-8 1 1 5.96e-8 1 0 3.312e-17 3.178e-17 1.078e-9 0.000001343 0 3.214e-9 7.662e-16 3.214e-9 6.373e-17 7.983e-9 7.404 8.429e-8 0.0000649 0.0007662 0 1 5.295e-17 2.094e-16 4.716e-16 0.00005295 0.0002094 0.0004716 json
t18_x76_u0_b140 18 76 0 140 sub(R,sub(R,min(D,D))) 135782 149241434 o2(x,o2(x,o2(x,x))) true 114663 114663 2.779e-9 0.5 0.09436 0.01082 0.104 -0.1454 0.1454 0.2908 1 2.561 0.001632 4.64e-18 0.0361 1 1 2.275e-10 0.0002563 0.01459 0.0003304 0.01818 0.5036 0.06192 0.1508 0.02368 1 1 0.003151 0.02183 3.195e-16 0.2912 2.017 2.952e-14 json
t18_x76_u0_b141 18 76 0 141 sub(R,sub(R,dot(D,D))) 135783 149241435 o2(x,o2(x,o2(x,x))) true 114671 114671 0.2381 1 0.2381 0.01612 0.127 0.002499 0.4946 0.4921 1 2.912 0.001249 0.001249 0.04752 0.000002982 1 -0.000481 0.0003863 0.01607 0.0002408 0.01552 0.3266 0.07197 0.155 0.02396 1 1 0.004785 0.03189 1.717e-16 0.2968 1.978 1.065e-14 json
t18_x76_u0_b142 18 76 0 142 sub(R,sub(R,dst(D,D))) 135784 149241436 o2(x,o2(x,o2(x,x))) true 114679 114679 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_x76_u0_b143 18 76 0 143 sub(R,mlt(R,add(D,D))) 135785 149241437 o2(x,o2(x,o2(x,x))) true 114687 114687 0.005871 0.4912 0.4269 0.2662 0.5159 -1 1 2 1 4.904 0.005659 0.00397 0.08107 0.1754 1 0.0001021 0.0009729 0.02145 0.003057 0.05529 0.682 0.3126 0.03617 0.003655 1 1 0.01892 0.2254 0.482 0.07108 0.8469 1.811 json
t18_x76_u0_b144 18 76 0 144 sub(R,mlt(R,sub(D,D))) 135786 149241438 o2(x,o2(x,o2(x,x))) true 114695 114695 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_x76_u0_b145 18 76 0 145 sub(R,mlt(R,mlt(D,D))) 135787 149241439 o2(x,o2(x,o2(x,x))) true 114703 114703 0.00791 0.4963 0.3613 0.1876 0.4331 -0.9977 0.9797 1.977 1 4.785 0.003008 0.002698 0.06258 0.05425 1 0.00004718 0.0003641 0.01484 0.00179 0.0423 0.676 0.2339 0.03042 0.001941 1 1 0.01129 0.1423 0.3359 0.06018 0.7588 1.791 json
t18_x76_u0_b146 18 76 0 146 sub(R,mlt(R,div(D,D))) 135788 149241440 o2(x,o2(x,o2(x,x))) true 114711 114711 2.107e-10 0 1.05e-8 3.17e-16 1.78e-8 -5.912e-8 5.805e-8 1.172e-7 1 0.3264 5.352e-16 4.55e-18 1.68e-8 0.0005307 0 6.883e-11 1.755e-15 3.259e-8 2.576e-16 1.605e-8 0.9556 6.552e-8 0.0005398 0.001755 0 1 2.088e-16 3.449e-16 5.841e-16 0.0002088 0.0003449 0.0005841 json
t18_x76_u0_b147 18 76 0 147 sub(R,mlt(R,pow(D,D))) 135789 149241441 o2(x,o2(x,o2(x,x))) true 114719 114719 -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_x76_u0_b148 18 76 0 148 sub(R,mlt(R,mod(D,D))) 135790 149241442 o2(x,o2(x,o2(x,x))) true 114727 114727 0.008726 0.4977 0.3963 0.2247 0.474 -1 1 2 1 4.885 0.01097 0.00326 0.09664 0.5417 1 -0.00003548 0.02143 0.1168 0.004886 0.0699 0.7233 0.4668 0.06331 0.09538 1 1 0.01778 0.1604 0.4005 0.07915 0.714 1.783 json
t18_x76_u0_b149 18 76 0 149 sub(R,mlt(R,lrg(D,D))) 135791 149241443 o2(x,o2(x,o2(x,x))) true 114735 114735 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_x76_u0_b150 18 76 0 150 sub(R,mlt(R,eql(D,D))) 135792 149241444 o2(x,o2(x,o2(x,x))) true 114743 114743 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_x76_u0_b151 18 76 0 151 sub(R,mlt(R,min(D,D))) 135793 149241445 o2(x,o2(x,o2(x,x))) true 114751 114751 0.007532 0.4962 0.4046 0.2339 0.4836 -1 1 2 1 4.902 0.003584 0.003393 0.06936 0.02746 1 0.0000679 0.0004762 0.01644 0.002167 0.04655 0.6711 0.2563 0.02984 0.002036 1 1 0.01375 0.1723 0.4181 0.05881 0.7368 1.788 json
t18_x76_u0_b152 18 76 0 152 sub(R,mlt(R,dot(D,D))) 135794 149241446 o2(x,o2(x,o2(x,x))) true 114759 114759 0.006841 0.494 0.33 0.1601 0.4001 -0.9966 0.9789 1.975 1 4.692 0.002612 0.002882 0.06173 -0.04908 1 0.00003208 0.0003786 0.01496 0.001684 0.04103 0.6647 0.2336 0.03432 0.002365 1 1 0.01082 0.1336 0.286 0.0676 0.8344 1.786 json
t18_x76_u0_b153 18 76 0 153 sub(R,mlt(R,dst(D,D))) 135795 149241447 o2(x,o2(x,o2(x,x))) true 114767 114767 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_x76_u0_b154 18 76 0 154 sub(R,div(R,add(D,D))) 135796 149241448 o2(x,o2(x,o2(x,x))) true 114775 114775 -0.006206 0.4915 0.6486 0.5496 0.7414 -1 1 2 1 4.181 0.2532 0.01897 0.2472 0.8606 1 0.00007929 0.5616 0.3171 0.2111 0.4594 1.858 2.828 0.4952 1.022 1 1 0.2918 0.9172 1 0.5309 1.669 1.82 json
t18_x76_u0_b155 18 76 0 155 sub(R,div(R,sub(D,D))) 135797 149241449 o2(x,o2(x,o2(x,x))) true 114783 114783 -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_x76_u0_b156 18 76 0 156 sub(R,div(R,mlt(D,D))) 135798 149241450 o2(x,o2(x,o2(x,x))) true 114791 114791 0.01028 0.5056 0.9191 0.892 0.9445 -1 1 2 1 2.215 0.03962 0.06895 0.1197 -0.2702 1 -0.0002165 0.153 0.1303 0.09421 0.3069 2.564 2.169 0.1217 0.1715 1 1 0.1501 0.8306 1.627 0.1682 0.9312 1.823 json
t18_x76_u0_b157 18 76 0 157 sub(R,div(R,div(D,D))) 135799 149241451 o2(x,o2(x,o2(x,x))) true 114799 114799 -4.214e-10 0 2.1e-8 1.268e-15 3.561e-8 -1.161e-7 1.182e-7 2.343e-7 1 0.6256 2.141e-15 1.82e-17 3.359e-8 0.002123 0 -1.377e-10 7.022e-15 6.518e-8 1.031e-15 3.21e-8 0.9556 1.31e-7 0.002159 0.007022 0 1 8.351e-16 1.38e-15 2.336e-15 0.0008351 0.00138 0.002336 json