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
t12_x18_u0_b66 12 18 0 66 sqt(lrg(R,add(P,P))) 34500 98174496 o1(o2(x,o2(x,x))) true 105847 105847 0.4961 0.5378 0.4961 0.2412 0.4911 0 1 1 1 1.415 0.0003238 0.0001053 0.004981 0.5091 1 -0.000005705 0.00002256 0.001187 0.0004044 0.02011 4.037 0.1169 0.001779 0.00009352 1 1 0.001146 0.01504 0.08976 0.004753 0.06234 0.3721 json
t12_x18_u0_b67 12 18 0 67 sqt(lrg(R,sub(P,P))) 34501 98174497 o1(o2(x,o2(x,x))) true 105855 105855 0.4824 0.9147 0.4824 0.1537 0.3921 0 1 1 1 3.429 0.001972 0.002442 0.05168 -0.1065 1 -0.00001781 0.0002592 0.01257 0.001744 0.04176 0.8079 0.1169 0.02872 0.001686 1 1 0.008731 0.1124 0.2862 0.0568 0.7316 1.862 json
t12_x18_u0_b68 12 18 0 68 sqt(lrg(R,mlt(P,P))) 34502 98174498 o1(o2(x,o2(x,x))) true 105863 105863 0.02734 0.07556 0.02734 0.01868 0.1367 0 0.9997 0.9997 1 0.4881 0.0002846 0.0001053 0.004539 0.4597 1 -0.000005705 0.00002084 0.001084 0.0003695 0.01922 4.235 0.1169 0.02087 0.001115 1 1 0.001069 0.01392 0.04488 0.0572 0.7453 2.402 json
t12_x18_u0_b69 12 18 0 69 sqt(lrg(R,div(P,P))) 34503 98174499 o1(o2(x,o2(x,x))) true 105871 105871 0.0625 0.125 0.0625 0.04507 0.2123 0 0.9997 0.9997 1 0.8126 0.0007059 0 0.007934 1 1 -9.461e-10 0.00003241 0.001855 0.0006433 0.02536 3.197 0.1169 0.01566 0.0007193 1 1 0.001851 0.02408 0.06598 0.04107 0.5344 1.464 json
t12_x18_u0_b70 12 18 0 70 sqt(lrg(R,pow(P,P))) 34504 98174500 o1(o2(x,o2(x,x))) true 105879 105879 0.4688 0.5 0.4688 0.2423 0.4922 0 1 1 1 1.326 0.0003529 0 0.003968 1 1 -4.731e-10 0.00001619 0.0009276 0.0003372 0.01836 4.628 0.1169 0.001457 0.00006684 1 1 0.0009255 0.01214 0.0751 0.00382 0.05012 0.31 json
t12_x18_u0_b71 12 18 0 71 sqt(lrg(R,mod(P,P))) 34505 98174501 o1(o2(x,o2(x,x))) true 105887 105887 0.5234 0.8511 0.5234 0.1781 0.4221 0 1 1 1 3.044 0.001949 0.001384 0.0391 0.1697 1 -0.00001425 0.0001875 0.009402 0.001804 0.04247 1.086 0.1169 0.01871 0.001052 1 1 0.007625 0.09784 0.2727 0.0428 0.5492 1.531 json
t12_x18_u0_b72 12 18 0 72 sqt(lrg(R,lrg(P,P))) 34506 98174502 o1(o2(x,o2(x,x))) true 105895 105895 0.4824 0.9147 0.4824 0.1537 0.3921 0 1 1 1 3.429 0.001972 0.002442 0.05168 -0.1065 1 -0.00001781 0.0002592 0.01257 0.001744 0.04176 0.8079 0.1169 0.02872 0.001686 1 1 0.008731 0.1124 0.2862 0.0568 0.7316 1.862 json
t12_x18_u0_b73 12 18 0 73 sqt(lrg(R,eql(P,P))) 34507 98174503 o1(o2(x,o2(x,x))) true 105903 105903 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
t12_x18_u0_b74 12 18 0 74 sqt(lrg(R,min(P,P))) 34508 98174504 o1(o2(x,o2(x,x))) true 105911 105911 0.4961 0.5378 0.4961 0.2412 0.4911 0 1 1 1 1.415 0.0003238 0.0001053 0.004981 0.5091 1 -0.000005705 0.00002256 0.001187 0.0004044 0.02011 4.037 0.1169 0.001779 0.00009352 1 1 0.001146 0.01504 0.08976 0.004753 0.06234 0.3721 json
t12_x18_u0_b75 12 18 0 75 sqt(lrg(R,dot(P,P))) 34509 98174505 o1(o2(x,o2(x,x))) true 105919 105919 0.003906 0.01477 0.003906 0.002383 0.04882 0 0.9994 0.9994 1 0.1068 0.00003512 0.00003512 0.0008419 7.252e-7 0 -5.638e-14 0.000004222 0.000206 0.00006942 0.008332 9.897 0.1169 0.02947 0.001772 1 1 0.0002443 0.003178 0.008708 0.1025 1.334 3.654 json
t12_x18_u0_b76 12 18 0 76 sqt(lrg(R,dst(P,P))) 34510 98174506 o1(o2(x,o2(x,x))) true 105927 105927 0.4824 0.9147 0.4824 0.1537 0.3921 0 1 1 1 3.429 0.001972 0.002442 0.05168 -0.1065 1 -0.00001781 0.0002592 0.01257 0.001744 0.04176 0.8079 0.1169 0.02872 0.001686 1 1 0.008731 0.1124 0.2862 0.0568 0.7316 1.862 json
t12_x18_u0_b77 12 18 0 77 sqt(eql(R,add(P,P))) 34511 98174507 o1(o2(x,o2(x,x))) true 105935 105935 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
t12_x18_u0_b78 12 18 0 78 sqt(eql(R,sub(P,P))) 34512 98174508 o1(o2(x,o2(x,x))) true 105943 105943 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
t12_x18_u0_b79 12 18 0 79 sqt(eql(R,mlt(P,P))) 34513 98174509 o1(o2(x,o2(x,x))) true 105951 105951 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
t12_x18_u0_b80 12 18 0 80 sqt(eql(R,div(P,P))) 34514 98174510 o1(o2(x,o2(x,x))) true 105959 105959 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
t12_x18_u0_b81 12 18 0 81 sqt(eql(R,pow(P,P))) 34515 98174511 o1(o2(x,o2(x,x))) true 105967 105967 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
t12_x18_u0_b82 12 18 0 82 sqt(eql(R,mod(P,P))) 34516 98174512 o1(o2(x,o2(x,x))) true 105975 105975 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
t12_x18_u0_b83 12 18 0 83 sqt(eql(R,lrg(P,P))) 34517 98174513 o1(o2(x,o2(x,x))) true 105983 105983 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
t12_x18_u0_b84 12 18 0 84 sqt(eql(R,eql(P,P))) 34518 98174514 o1(o2(x,o2(x,x))) true 105991 105991 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
t12_x18_u0_b85 12 18 0 85 sqt(eql(R,min(P,P))) 34519 98174515 o1(o2(x,o2(x,x))) true 105999 105999 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
t12_x18_u0_b86 12 18 0 86 sqt(eql(R,dot(P,P))) 34520 98174516 o1(o2(x,o2(x,x))) true 106007 106007 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
t12_x18_u0_b87 12 18 0 87 sqt(eql(R,dst(P,P))) 34521 98174517 o1(o2(x,o2(x,x))) true 106015 106015 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
t12_x18_u0_b88 12 18 0 88 sqt(min(R,add(P,P))) 34522 98174518 o1(o2(x,o2(x,x))) true 106023 106023 -0.9875 0.007813 0.9969 0.02051 0.1432 -1 0.9631 1.963 1 0.09407 0.001809 0.002435 0.002885 -0.1475 1 0.000001769 0.008904 0.005297 0.004236 0.06509 22.56 2.731 0.207 0.4341 1 1 0.0004642 0.00328 0.01794 0.02263 0.1599 0.8749 json
t12_x18_u0_b89 12 18 0 89 sqt(min(R,sub(P,P))) 34523 98174519 o1(o2(x,o2(x,x))) true 106031 106031 -0.957 0 0.957 0.04112 0.2028 -1 0 1 1 0.2557 0.00422 0.004094 0.008259 0.01515 1 0 0.01738 0.01663 0.008241 0.09078 10.99 1.414 0.2022 0.4228 1 1 0.006357 0.02738 0.06893 0.1546 0.6659 1.676 json
t12_x18_u0_b90 12 18 0 90 sqt(min(R,mlt(P,P))) 34524 98174520 o1(o2(x,o2(x,x))) true 106039 106039 -0.9284 0.04297 0.9856 0.1161 0.3408 -1 0.971 1.971 1 0.4077 0.01256 0.01146 0.01507 0.04566 1 0.000005689 0.05022 0.02824 0.0238 0.1543 10.24 2.731 0.2068 0.4324 1 1 0.01915 0.08144 0.2018 0.1649 0.7012 1.738 json
t12_x18_u0_b91 12 18 0 91 sqt(min(R,div(P,P))) 34525 98174521 o1(o2(x,o2(x,x))) true 106047 106047 -0.9258 0.04297 0.9882 0.1235 0.3514 -1 0.971 1.971 1 0.3916 0.01252 0.01245 0.01513 0.002807 1 0.000005689 0.05219 0.02886 0.02476 0.1573 10.4 2.731 0.2023 0.4226 1 1 0.0197 0.08508 0.2088 0.1595 0.689 1.691 json
t12_x18_u0_b92 12 18 0 92 sqt(min(R,pow(P,P))) 34526 98174522 o1(o2(x,o2(x,x))) true 106055 106055 -0.9258 0.04297 0.9882 0.1235 0.3514 -1 0.971 1.971 1 0.3916 0.01252 0.01245 0.01513 0.002807 1 0.000005689 0.05219 0.02886 0.02476 0.1573 10.4 2.731 0.2023 0.4226 1 1 0.0197 0.08508 0.2088 0.1595 0.689 1.691 json
t12_x18_u0_b93 12 18 0 93 sqt(min(R,mod(P,P))) 34527 98174523 o1(o2(x,o2(x,x))) true 106063 106063 -0.9767 0.01172 0.9843 0.02857 0.169 -1 0.8176 1.818 1 0.1891 0.002189 0.003194 0.004831 -0.1868 1 -0.000003443 0.01113 0.008813 0.005362 0.07322 15.16 1.818 0.1884 0.3895 1 1 0.003581 0.01692 0.04748 0.1254 0.5924 1.662 json
t12_x18_u0_b94 12 18 0 94 sqt(min(R,lrg(P,P))) 34528 98174524 o1(o2(x,o2(x,x))) true 106071 106071 -0.957 0 0.957 0.04112 0.2028 -1 0 1 1 0.2557 0.00422 0.004094 0.008259 0.01515 1 0 0.01738 0.01663 0.008241 0.09078 10.99 1.414 0.2022 0.4228 1 1 0.006357 0.02738 0.06893 0.1546 0.6659 1.676 json
t12_x18_u0_b95 12 18 0 95 sqt(min(R,eql(P,P))) 34529 98174525 o1(o2(x,o2(x,x))) true 106079 106079 -0.9258 0.04297 0.9882 0.1235 0.3514 -1 0.971 1.971 1 0.3916 0.01252 0.01245 0.01513 0.002807 1 0.000005689 0.05219 0.02886 0.02476 0.1573 10.4 2.731 0.2023 0.4226 1 1 0.0197 0.08508 0.2088 0.1595 0.689 1.691 json
t12_x18_u0_b96 12 18 0 96 sqt(min(R,min(P,P))) 34530 98174526 o1(o2(x,o2(x,x))) true 106087 106087 -0.9875 0.007813 0.9969 0.02051 0.1432 -1 0.9631 1.963 1 0.09407 0.001809 0.002435 0.002885 -0.1475 1 0.000001769 0.008904 0.005297 0.004236 0.06509 22.56 2.731 0.207 0.4341 1 1 0.0004642 0.00328 0.01794 0.02263 0.1599 0.8749 json
t12_x18_u0_b97 12 18 0 97 sqt(min(R,dot(P,P))) 34531 98174527 o1(o2(x,o2(x,x))) true 106095 106095 -0.9258 0.04297 0.9882 0.1235 0.3514 -1 0.971 1.971 1 0.3916 0.01252 0.01245 0.01513 0.002807 1 0.000005689 0.05219 0.02886 0.02476 0.1573 10.4 2.731 0.2023 0.4226 1 1 0.0197 0.08508 0.2088 0.1595 0.689 1.691 json
t12_x18_u0_b98 12 18 0 98 sqt(min(R,dst(P,P))) 34532 98174528 o1(o2(x,o2(x,x))) true 106103 106103 -0.957 0 0.957 0.04112 0.2028 -1 0 1 1 0.2557 0.00422 0.004094 0.008259 0.01515 1 0 0.01738 0.01663 0.008241 0.09078 10.99 1.414 0.2022 0.4228 1 1 0.006357 0.02738 0.06893 0.1546 0.6659 1.676 json
t12_x18_u0_b99 12 18 0 99 sqt(dot(R,add(P,P))) 34533 98174529 o1(o2(x,o2(x,x))) true 106111 106111 -0.9163 0.04297 0.9977 0.1566 0.3958 -1 1 2 1 0.3043 0.01782 0.01427 0.01681 0.1105 1 2.065e-10 0.06736 0.03306 0.03179 0.1783 10.61 2.828 0.2048 0.43 1 1 0.03702 0.1533 0.4065 0.2363 0.9786 2.595 json
t12_x18_u0_b100 12 18 0 100 sqt(dot(R,sub(P,P))) 34534 98174530 o1(o2(x,o2(x,x))) true 106119 106119 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
t12_x18_u0_b101 12 18 0 101 sqt(dot(R,mlt(P,P))) 34535 98174531 o1(o2(x,o2(x,x))) true 106127 106127 -0.8909 0.05469 0.9997 0.2056 0.4534 -1 1 2 1 0.3191 0.02185 0.01833 0.02011 0.08751 1 -0.000004709 0.08395 0.04039 0.0398 0.1995 9.919 2.828 0.1955 0.4084 1 1 0.04855 0.195 0.4836 0.2362 0.9486 2.352 json
t12_x18_u0_b102 12 18 0 102 sqt(dot(R,div(P,P))) 34536 98174532 o1(o2(x,o2(x,x))) true 106135 106135 -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
t12_x18_u0_b103 12 18 0 103 sqt(dot(R,pow(P,P))) 34537 98174533 o1(o2(x,o2(x,x))) true 106143 106143 -0.9768 0.01172 0.9998 0.04542 0.2131 -1 1 2 1 0.09963 0.002877 0.005525 0.004364 -0.3151 1 -1.201e-10 0.01745 0.008644 0.008378 0.09153 20.97 2.828 0.185 0.3843 1 1 0.009935 0.04106 0.1235 0.2187 0.9042 2.719 json
t12_x18_u0_b104 12 18 0 104 sqt(dot(R,mod(P,P))) 34538 98174534 o1(o2(x,o2(x,x))) true 106151 106151 -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
t12_x18_u0_b105 12 18 0 105 sqt(dot(R,lrg(P,P))) 34539 98174535 o1(o2(x,o2(x,x))) true 106159 106159 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
t12_x18_u0_b106 12 18 0 106 sqt(dot(R,eql(P,P))) 34540 98174536 o1(o2(x,o2(x,x))) true 106167 106167 -0.8979 0.05859 0.9849 0.1698 0.4121 -1 1 2 1 0.516 0.01652 0.0195 0.02158 -0.08297 1 -2.787e-8 0.07551 0.04109 0.03557 0.1886 8.741 2.828 0.2121 0.4446 1 1 0.05328 0.2204 0.4854 0.3137 1.298 2.858 json
t12_x18_u0_b107 12 18 0 107 sqt(dot(R,min(P,P))) 34541 98174537 o1(o2(x,o2(x,x))) true 106175 106175 -0.9191 0.04297 0.995 0.1477 0.3843 -1 1 2 1 0.3393 0.01654 0.0138 0.01665 0.09025 1 1.502e-11 0.06365 0.03211 0.03005 0.1733 10.41 2.828 0.2054 0.431 1 1 0.03478 0.1452 0.3789 0.2355 0.9833 2.566 json
t12_x18_u0_b108 12 18 0 108 sqt(dot(R,dot(P,P))) 34542 98174538 o1(o2(x,o2(x,x))) true 106183 106183 -0.8844 0.05859 0.9984 0.2156 0.4643 -1 1 2 1 0.3567 0.02122 0.02406 0.02308 -0.06282 1 -2.403e-10 0.09507 0.04603 0.04473 0.2115 9.162 2.828 0.2101 0.441 1 1 0.06638 0.2728 0.6023 0.3079 1.265 2.794 json
t12_x18_u0_b109 12 18 0 109 sqt(dot(R,dst(P,P))) 34543 98174539 o1(o2(x,o2(x,x))) true 106191 106191 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
t12_x18_u0_b110 12 18 0 110 sqt(dst(R,add(P,P))) 34544 98174540 o1(o2(x,o2(x,x))) true 106199 106199 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
t12_x18_u0_b111 12 18 0 111 sqt(dst(R,sub(P,P))) 34545 98174541 o1(o2(x,o2(x,x))) true 106207 106207 0.9395 1 0.9395 0.008316 0.09119 0.3152 1 0.6848 1 1.631 0.0001166 0.0001623 0.009779 -0.1639 1 -0.000009877 0.00004232 0.003157 0.0001832 0.01353 1.384 0.08961 0.03353 0.00509 1 1 0.0004445 0.005101 0.01241 0.05345 0.6135 1.493 json
t12_x18_u0_b112 12 18 0 112 sqt(dst(R,mlt(P,P))) 34546 98174542 o1(o2(x,o2(x,x))) true 106215 106215 0.9993 1 0.9993 0.0001065 0.01032 0.7699 1 0.2301 1 0.04467 0.000005217 0.000006762 0.0002481 -0.129 0 1.502e-11 0.000006426 0.0001702 0.00001192 0.003452 13.91 0.1021 0.1125 0.06036 1 1 0.00003754 0.0002861 0.0003882 0.3526 2.688 3.646 json
t12_x18_u0_b113 12 18 0 113 sqt(dst(R,div(P,P))) 34547 98174543 o1(o2(x,o2(x,x))) true 106223 106223 -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
t12_x18_u0_b114 12 18 0 114 sqt(dst(R,pow(P,P))) 34548 98174544 o1(o2(x,o2(x,x))) true 106231 106231 -0.5 0.25 1 0.7499 0.866 -1 1 2 1 0.8113 0.007937 0.007937 0.007954 0.000002054 1 -7.509e-12 0.03187 0.01589 0.01581 0.1257 15.81 2 0.02117 0.0425 1 1 0.02105 0.08421 0.3367 0.02807 0.1123 0.4489 json
t12_x18_u0_b115 12 18 0 115 sqt(dst(R,mod(P,P))) 34549 98174545 o1(o2(x,o2(x,x))) true 106239 106239 -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
t12_x18_u0_b116 12 18 0 116 sqt(dst(R,lrg(P,P))) 34550 98174546 o1(o2(x,o2(x,x))) true 106247 106247 0.9395 1 0.9395 0.008316 0.09119 0.3152 1 0.6848 1 1.631 0.0001166 0.0001623 0.009779 -0.1639 1 -0.000009877 0.00004232 0.003157 0.0001832 0.01353 1.384 0.08961 0.03353 0.00509 1 1 0.0004445 0.005101 0.01241 0.05345 0.6135 1.493 json
t12_x18_u0_b117 12 18 0 117 sqt(dst(R,eql(P,P))) 34551 98174547 o1(o2(x,o2(x,x))) true 106255 106255 0.9952 1 0.9952 0.0008523 0.02919 0.6383 1 0.3617 1 0.2365 0.00003337 0.00004851 0.001685 -0.185 0 -2.628e-11 0.00003727 0.00112 0.00007906 0.008891 5.276 0.1 0.09607 0.04373 1 1 0.0002224 0.001776 0.002348 0.2609 2.084 2.755 json
t12_x18_u0_b118 12 18 0 118 sqt(dst(R,min(P,P))) 34552 98174548 o1(o2(x,o2(x,x))) true 106263 106263 0.9994 1 0.9994 0.00007766 0.008813 0.7699 1 0.2301 1 0.04038 0.000003024 0.00000416 0.000203 -0.1581 0 8.635e-11 0.000003262 0.0001352 0.000007139 0.002672 13.16 0.07851 0.09251 0.04201 1 1 0.00002297 0.0001884 0.0002824 0.2958 2.426 3.637 json
t12_x18_u0_b119 12 18 0 119 sqt(dst(R,dot(P,P))) 34553 98174549 o1(o2(x,o2(x,x))) true 106271 106271 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
t12_x18_u0_b120 12 18 0 120 sqt(dst(R,dst(P,P))) 34554 98174550 o1(o2(x,o2(x,x))) true 106279 106279 0.9395 1 0.9395 0.008316 0.09119 0.3152 1 0.6848 1 1.631 0.0001166 0.0001623 0.009779 -0.1639 1 -0.000009877 0.00004232 0.003157 0.0001832 0.01353 1.384 0.08961 0.03353 0.00509 1 1 0.0004445 0.005101 0.01241 0.05345 0.6135 1.493 json
t12_x18_u1_b0 12 18 1 0 log(add(R,add(P,P))) 34555 98174631 o1(o2(x,o2(x,x))) true 106287 106287 -0.1135 0.4459 0.9871 0.9679 0.9838 -1 1 2 1 1.293 0.009828 0.002068 0.009712 0.6523 1 -0.000004421 0.02383 0.01493 0.01181 0.1087 11.19 2.828 0.01229 0.02462 1 1 0.01623 0.07498 0.3457 0.01677 0.07747 0.3571 json
t12_x18_u1_b1 12 18 1 1 log(add(R,sub(P,P))) 34556 98174632 o1(o2(x,o2(x,x))) true 106295 106295 -0.9838 0 0.9838 0.009626 0.09811 -1 -0.05896 0.941 1 0.3254 0.001056 0.001224 0.005061 -0.07381 1 0.00001706 0.004529 0.00698 0.002254 0.04747 9.381 1.212 0.2369 0.4706 1 1 0.001967 0.008849 0.01618 0.2044 0.9193 1.681 json
t12_x18_u1_b2 12 18 1 2 log(add(R,mlt(P,P))) 34557 98174633 o1(o2(x,o2(x,x))) true 106303 106303 0.7204 0.864 0.946 0.4085 0.6391 -1 1 2 1 1.398 0.009007 0.002142 0.01888 0.6157 1 -0.00001108 0.01961 0.0189 0.0108 0.1039 5.504 2.243 0.02729 0.04801 1 1 0.01639 0.1051 0.5776 0.04012 0.2573 1.414 json
t12_x18_u1_b3 12 18 1 3 log(add(R,div(P,P))) 34558 98174634 o1(o2(x,o2(x,x))) true 106311 106311 -0.2818 0.3712 0.5152 0.3053 0.5525 -1 0.6829 1.683 1 4.22 0.01401 0.0041 0.06464 0.5471 1 0.0001203 0.02299 0.03394 0.01392 0.118 1.826 1.664 0.05931 0.07531 1 1 0.02608 0.1891 0.4936 0.08544 0.6196 1.617 json
t12_x18_u1_b4 12 18 1 4 log(add(R,pow(P,P))) 34559 98174635 o1(o2(x,o2(x,x))) true 106319 106319 -0.09641 0.4585 0.9496 0.924 0.9613 -1 1 2 1 1.749 0.004181 0.0004036 0.01152 0.8239 1 -0.00001197 0.006828 0.007938 0.004453 0.06673 5.795 1.604 0.004961 0.00739 1 1 0.007642 0.05381 0.2693 0.00827 0.05823 0.2915 json
t12_x18_u1_b5 12 18 1 5 log(add(R,mod(P,P))) 34560 98174636 o1(o2(x,o2(x,x))) true 106327 106327 -0.8201 0.08749 0.9815 0.3031 0.5505 -1 1 2 1 0.7478 0.03133 0.008586 0.02534 0.5698 1 -0.00003219 0.08031 0.04396 0.03929 0.1982 7.823 2.828 0.1317 0.265 1 1 0.02297 0.1252 0.3198 0.0758 0.4131 1.055 json
t12_x18_u1_b6 12 18 1 6 log(add(R,lrg(P,P))) 34561 98174637 o1(o2(x,o2(x,x))) true 106335 106335 -0.9838 0 0.9838 0.009626 0.09811 -1 -0.05896 0.941 1 0.3254 0.001056 0.001224 0.005061 -0.07381 1 0.00001706 0.004529 0.00698 0.002254 0.04747 9.381 1.212 0.2369 0.4706 1 1 0.001967 0.008849 0.01618 0.2044 0.9193 1.681 json
t12_x18_u1_b7 12 18 1 7 log(add(R,eql(P,P))) 34562 98174638 o1(o2(x,o2(x,x))) true 106343 106343 -0.1798 0.4265 0.4504 0.2684 0.5181 -1 0.6829 1.683 1 4.501 0.00408 0.004708 0.06566 -0.07142 1 0.0001113 0.001788 0.02026 0.004477 0.06691 1.019 0.6149 0.03274 0.006663 1 1 0.01603 0.1805 0.4484 0.05974 0.6726 1.67 json
t12_x18_u1_b8 12 18 1 8 log(add(R,min(P,P))) 34563 98174639 o1(o2(x,o2(x,x))) true 106351 106351 -0.1673 0.4309 0.9452 0.8957 0.9464 -1 1 2 1 1.894 0.004781 0.001118 0.01117 0.621 1 -0.00000778 0.01094 0.01069 0.005773 0.07598 6.805 2.243 0.006586 0.01222 1 1 0.008194 0.04618 0.2573 0.009148 0.05156 0.2872 json
t12_x18_u1_b9 12 18 1 9 log(add(R,dot(P,P))) 34564 98174640 o1(o2(x,o2(x,x))) true 106359 106359 0.9762 0.9885 0.9838 0.02595 0.1611 -1 1 2 1 0.3259 0.0002497 0.0002325 0.00333 0.03567 1 -8.26e-11 0.0000639 0.00098 0.0004714 0.02171 6.519 0.2704 0.01859 0.002462 1 1 0.001655 0.02016 0.08135 0.06378 0.7769 3.135 json
t12_x18_u1_b10 12 18 1 10 log(add(R,dst(P,P))) 34565 98174641 o1(o2(x,o2(x,x))) true 106367 106367 -0.9838 0 0.9838 0.009626 0.09811 -1 -0.05896 0.941 1 0.3254 0.001056 0.001224 0.005061 -0.07381 1 0.00001706 0.004529 0.00698 0.002254 0.04747 9.381 1.212 0.2369 0.4706 1 1 0.001967 0.008849 0.01618 0.2044 0.9193 1.681 json
t12_x18_u1_b11 12 18 1 11 log(sub(R,add(P,P))) 34566 98174642 o1(o2(x,o2(x,x))) true 106375 106375 -0.115 0.4457 0.9857 0.9664 0.983 -1 1 2 1 1.324 0.009244 0.002021 0.009739 0.6412 1 -0.000004371 0.02252 0.01459 0.01118 0.1057 10.86 2 0.01166 0.0233 1 1 0.01574 0.07331 0.3445 0.01629 0.07586 0.3565 json
t12_x18_u1_b12 12 18 1 12 log(sub(R,sub(P,P))) 34567 98174643 o1(o2(x,o2(x,x))) true 106383 106383 -0.9838 0 0.9838 0.009626 0.09811 -1 -0.05896 0.941 1 0.3254 0.001056 0.001224 0.005061 -0.07381 1 0.00001706 0.004529 0.00698 0.002254 0.04747 9.381 1.212 0.2369 0.4706 1 1 0.001967 0.008849 0.01618 0.2044 0.9193 1.681 json
t12_x18_u1_b13 12 18 1 13 log(sub(R,mlt(P,P))) 34568 98174644 o1(o2(x,o2(x,x))) true 106391 106391 -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
t12_x18_u1_b14 12 18 1 14 log(sub(R,div(P,P))) 34569 98174645 o1(o2(x,o2(x,x))) true 106399 106399 -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
t12_x18_u1_b15 12 18 1 15 log(sub(R,pow(P,P))) 34570 98174646 o1(o2(x,o2(x,x))) true 106407 106407 -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
t12_x18_u1_b16 12 18 1 16 log(sub(R,mod(P,P))) 34571 98174647 o1(o2(x,o2(x,x))) true 106415 106415 -0.7978 0.09813 0.979 0.3357 0.5794 -1 1 2 1 0.8306 0.02875 0.009668 0.02626 0.4968 1 -0.00005857 0.07681 0.04172 0.03776 0.1943 7.4 2.828 0.1145 0.2288 1 1 0.01928 0.08704 0.1663 0.05742 0.2593 0.4955 json
t12_x18_u1_b17 12 18 1 17 log(sub(R,lrg(P,P))) 34572 98174648 o1(o2(x,o2(x,x))) true 106423 106423 -0.9838 0 0.9838 0.009626 0.09811 -1 -0.05896 0.941 1 0.3254 0.001056 0.001224 0.005061 -0.07381 1 0.00001706 0.004529 0.00698 0.002254 0.04747 9.381 1.212 0.2369 0.4706 1 1 0.001967 0.008849 0.01618 0.2044 0.9193 1.681 json
t12_x18_u1_b18 12 18 1 18 log(sub(R,eql(P,P))) 34573 98174649 o1(o2(x,o2(x,x))) true 106431 106431 -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
t12_x18_u1_b19 12 18 1 19 log(sub(R,min(P,P))) 34574 98174650 o1(o2(x,o2(x,x))) true 106439 106439 -0.1734 0.4263 0.944 0.8936 0.9453 -1 1 2 1 1.859 0.004043 0.00114 0.01101 0.5602 1 -0.000003224 0.00936 0.009961 0.005063 0.07115 6.461 1.641 0.005801 0.01047 1 1 0.007662 0.04465 0.2704 0.008575 0.04997 0.3026 json
t12_x18_u1_b20 12 18 1 20 log(sub(R,dot(P,P))) 34575 98174651 o1(o2(x,o2(x,x))) true 106447 106447 -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
t12_x18_u1_b21 12 18 1 21 log(sub(R,dst(P,P))) 34576 98174652 o1(o2(x,o2(x,x))) true 106455 106455 -0.9838 0 0.9838 0.009626 0.09811 -1 -0.05896 0.941 1 0.3254 0.001056 0.001224 0.005061 -0.07381 1 0.00001706 0.004529 0.00698 0.002254 0.04747 9.381 1.212 0.2369 0.4706 1 1 0.001967 0.008849 0.01618 0.2044 0.9193 1.681 json
t12_x18_u1_b22 12 18 1 22 log(mlt(R,add(P,P))) 34577 98174653 o1(o2(x,o2(x,x))) true 106463 106463 -0.9411 0.03249 0.9887 0.09865 0.3141 -1 1 2 1 0.365 0.009379 0.009739 0.01287 -0.01887 1 -4.037e-8 0.03926 0.0217 0.01895 0.1377 10.7 2.828 0.1938 0.398 1 1 0.01658 0.07259 0.1831 0.1681 0.7359 1.856 json
t12_x18_u1_b23 12 18 1 23 log(mlt(R,sub(P,P))) 34578 98174654 o1(o2(x,o2(x,x))) true 106471 106471 -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
t12_x18_u1_b24 12 18 1 24 log(mlt(R,mlt(P,P))) 34579 98174655 o1(o2(x,o2(x,x))) true 106479 106479 -0.9362 0.03198 0.9957 0.1179 0.3434 -1 1 2 1 0.279 0.0127 0.01126 0.01294 0.06003 1 0 0.05003 0.02476 0.02378 0.1542 11.92 2.828 0.2032 0.4243 1 1 0.0181 0.07605 0.1798 0.1536 0.6451 1.525 json
t12_x18_u1_b25 12 18 1 25 log(mlt(R,div(P,P))) 34580 98174656 o1(o2(x,o2(x,x))) true 106487 106487 -0.9875 0 0.9875 0.007441 0.08626 -1 -0.05896 0.941 1 0.2677 0.0007567 0.0008874 0.003842 -0.0795 1 0.00001706 0.003232 0.005151 0.00163 0.04037 10.51 0.941 0.221 0.4344 1 1 0.001767 0.007619 0.01411 0.2374 1.024 1.897 json
t12_x18_u1_b26 12 18 1 26 log(mlt(R,pow(P,P))) 34581 98174657 o1(o2(x,o2(x,x))) true 106495 106495 -0.9904 0.003906 0.9982 0.01665 0.129 -1 1 2 1 0.07975 0.001186 0.001925 0.00204 -0.2374 1 3.754e-12 0.0065 0.0038 0.003106 0.05573 27.31 2 0.1868 0.3903 1 1 0.0000821 0.0005177 0.0143 0.00493 0.03109 0.859 json
t12_x18_u1_b27 12 18 1 27 log(mlt(R,mod(P,P))) 34582 98174658 o1(o2(x,o2(x,x))) true 106503 106503 -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
t12_x18_u1_b28 12 18 1 28 log(mlt(R,lrg(P,P))) 34583 98174659 o1(o2(x,o2(x,x))) true 106511 106511 -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
t12_x18_u1_b29 12 18 1 29 log(mlt(R,eql(P,P))) 34584 98174660 o1(o2(x,o2(x,x))) true 106519 106519 -0.9838 0 0.9838 0.009626 0.09811 -1 -0.05896 0.941 1 0.3254 0.001056 0.001224 0.005061 -0.07381 1 0.00001706 0.004529 0.00698 0.002254 0.04747 9.381 1.212 0.2369 0.4706 1 1 0.001967 0.008849 0.01618 0.2044 0.9193 1.681 json
t12_x18_u1_b30 12 18 1 30 log(mlt(R,min(P,P))) 34585 98174661 o1(o2(x,o2(x,x))) true 106527 106527 -0.9588 0.0193 0.9828 0.05929 0.2435 -1 1 2 1 0.3625 0.005665 0.007005 0.01009 -0.1057 1 -4.022e-8 0.02598 0.01628 0.01257 0.1121 11.11 2.828 0.2137 0.4381 1 1 0.009747 0.04111 0.1029 0.1644 0.6934 1.736 json
t12_x18_u1_b31 12 18 1 31 log(mlt(R,dot(P,P))) 34586 98174662 o1(o2(x,o2(x,x))) true 106535 106535 -0.9147 0.04291 0.9994 0.1625 0.4031 -1 1 2 1 0.268 0.01657 0.01605 0.01647 0.01573 1 0 0.06813 0.0329 0.03233 0.1798 10.92 2.828 0.2007 0.4193 1 1 0.02436 0.1065 0.2682 0.1499 0.6556 1.65 json
t12_x18_u1_b32 12 18 1 32 log(mlt(R,dst(P,P))) 34587 98174663 o1(o2(x,o2(x,x))) true 106543 106543 -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
t12_x18_u1_b33 12 18 1 33 log(div(R,add(P,P))) 34588 98174664 o1(o2(x,o2(x,x))) true 106551 106551 -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
t12_x18_u1_b34 12 18 1 34 log(div(R,sub(P,P))) 34589 98174665 o1(o2(x,o2(x,x))) true 106559 106559 -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
t12_x18_u1_b35 12 18 1 35 log(div(R,mlt(P,P))) 34590 98174666 o1(o2(x,o2(x,x))) true 106567 106567 -0.9988 0 0.9988 0.0007128 0.0267 -1 -0.1083 0.8917 1 0.03918 0.0002159 0.00001131 0.0005975 0.9004 1 -5.632e-12 0.0003949 0.0007291 0.0002266 0.01505 25.19 0.8917 0.3187 0.5539 1 1 0.000458 0.001659 0.002597 0.6426 2.328 3.644 json
t12_x18_u1_b36 12 18 1 36 log(div(R,div(P,P))) 34591 98174667 o1(o2(x,o2(x,x))) true 106575 106575 -0.9875 0 0.9875 0.007441 0.08626 -1 -0.05896 0.941 1 0.2677 0.0007567 0.0008874 0.003842 -0.0795 1 0.00001706 0.003232 0.005151 0.00163 0.04037 10.51 0.941 0.221 0.4344 1 1 0.001767 0.007619 0.01411 0.2374 1.024 1.897 json
t12_x18_u1_b37 12 18 1 37 log(div(R,pow(P,P))) 34592 98174668 o1(o2(x,o2(x,x))) true 106583 106583 -0.9982 0 0.9982 0.001107 0.03327 -1 -0.143 0.857 1 0.04289 0.0001786 0.0001614 0.0006547 0.05059 1 3.754e-12 0.000705 0.001029 0.0003395 0.01843 28.14 1.212 0.3071 0.6369 1 1 0.0000821 0.0005177 0.001008 0.07417 0.4677 0.9106 json
t12_x18_u1_b38 12 18 1 38 log(div(R,mod(P,P))) 34593 98174669 o1(o2(x,o2(x,x))) true 106591 106591 -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
t12_x18_u1_b39 12 18 1 39 log(div(R,lrg(P,P))) 34594 98174670 o1(o2(x,o2(x,x))) true 106599 106599 -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
t12_x18_u1_b40 12 18 1 40 log(div(R,eql(P,P))) 34595 98174671 o1(o2(x,o2(x,x))) true 106607 106607 -0.9838 0 0.9838 0.009626 0.09811 -1 -0.05896 0.941 1 0.3254 0.001056 0.001224 0.005061 -0.07381 1 0.00001706 0.004529 0.00698 0.002254 0.04747 9.381 1.212 0.2369 0.4706 1 1 0.001967 0.008849 0.01618 0.2044 0.9193 1.681 json
t12_x18_u1_b41 12 18 1 41 log(div(R,min(P,P))) 34596 98174672 o1(o2(x,o2(x,x))) true 106615 106615 -0.999 0 0.999 0.000334 0.01828 -1 -0.4332 0.5668 1 0.04356 0.00006275 0.00008971 0.0005707 -0.1769 1 3.004e-11 0.0003052 0.0007994 0.0001522 0.01234 21.62 0.7908 0.4565 0.9137 1 1 0.0001924 0.0007303 0.0008914 0.576 2.187 2.669 json
t12_x18_u1_b42 12 18 1 42 log(div(R,dot(P,P))) 34597 98174673 o1(o2(x,o2(x,x))) true 106623 106623 -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
t12_x18_u1_b43 12 18 1 43 log(div(R,dst(P,P))) 34598 98174674 o1(o2(x,o2(x,x))) true 106631 106631 -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
t12_x18_u1_b44 12 18 1 44 log(pow(R,add(P,P))) 34599 98174675 o1(o2(x,o2(x,x))) true 106639 106639 -0.9304 0.0351 0.9935 0.1264 0.3555 -1 1 2 1 0.3135 0.01395 0.01134 0.01393 0.103 1 4.13e-11 0.0527 0.02714 0.02512 0.1585 11.38 2.828 0.2002 0.4171 1 1 0.02287 0.09822 0.2343 0.181 0.7774 1.854 json