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
t14_x25_u3_b54 14 25 3 54 flr(pow(dst(R,R),D)) 68500 114699096 o1(o2(o2(x,x),x)) true 36007 36007 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
t14_x25_u3_b55 14 25 3 55 flr(mod(add(R,R),D)) 68501 114699097 o1(o2(o2(x,x),x)) true 36015 36015 -0.5176 0 0.5176 0.1537 0.3921 -1 0 1 1 3.585 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
t14_x25_u3_b56 14 25 3 56 flr(mod(sub(R,R),D)) 68502 114699098 o1(o2(o2(x,x),x)) true 36023 36023 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
t14_x25_u3_b57 14 25 3 57 flr(mod(mlt(R,R),D)) 68503 114699099 o1(o2(o2(x,x),x)) true 36031 36031 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
t14_x25_u3_b58 14 25 3 58 flr(mod(div(R,R),D)) 68504 114699100 o1(o2(o2(x,x),x)) true 36039 36039 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
t14_x25_u3_b59 14 25 3 59 flr(mod(pow(R,R),D)) 68505 114699101 o1(o2(o2(x,x),x)) true 36047 36047 -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
t14_x25_u3_b60 14 25 3 60 flr(mod(mod(R,R),D)) 68506 114699102 o1(o2(o2(x,x),x)) true 36055 36055 -0.125 0 0.125 0.06914 0.2629 -1 0 1 1 2.268 0.0009785 0.0008552 0.02161 0.0672 1 -0.00002424 0.0001074 0.005254 0.001366 0.03696 1.71 0.1169 0.02652 0.001553 1 1 0.004434 0.05715 0.1526 0.06413 0.8266 2.208 json
t14_x25_u3_b61 14 25 3 61 flr(mod(lrg(R,R),D)) 68507 114699103 o1(o2(o2(x,x),x)) true 36063 36063 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
t14_x25_u3_b62 14 25 3 62 flr(mod(eql(R,R),D)) 68508 114699104 o1(o2(o2(x,x),x)) true 36071 36071 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
t14_x25_u3_b63 14 25 3 63 flr(mod(min(R,R),D)) 68509 114699105 o1(o2(o2(x,x),x)) true 36079 36079 -0.5176 0 0.5176 0.1537 0.3921 -1 0 1 1 3.585 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
t14_x25_u3_b64 14 25 3 64 flr(mod(dot(R,R),D)) 68510 114699106 o1(o2(o2(x,x),x)) true 36087 36087 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
t14_x25_u3_b65 14 25 3 65 flr(mod(dst(R,R),D)) 68511 114699107 o1(o2(o2(x,x),x)) true 36095 36095 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
t14_x25_u3_b66 14 25 3 66 flr(lrg(add(R,R),D)) 68512 114699108 o1(o2(o2(x,x),x)) true 36103 36103 0.4898 0.9172 0.4898 0.1541 0.3926 0 1 1 1 3.432 0.01004 0.002285 0.06307 0.6294 1 0.00008436 0.01703 0.03881 0.008353 0.0914 1.449 0.9997 0.08 0.1105 1 1 0.01554 0.1282 0.294 0.1009 0.8321 1.907 json
t14_x25_u3_b67 14 25 3 67 flr(lrg(sub(R,R),D)) 68513 114699109 o1(o2(o2(x,x),x)) true 36111 36111 0.5 1 0.5 0.1418 0.3765 0.000291 0.9997 0.9994 1 3.406 0.06511 0 0.1228 1 1 0 0.1208 0.1337 0.05001 0.2236 1.821 0.9994 0.4593 0.8522 1 1 0.07073 0.2419 0 0.4989 1.706 0 json
t14_x25_u3_b68 14 25 3 68 flr(lrg(mlt(R,R),D)) 68514 114699110 o1(o2(o2(x,x),x)) true 36119 36119 0.7585 1 0.7585 0.09126 0.3021 0.000291 1 0.9997 1 3.011 0.03071 0.0009731 0.087 0.9386 1 0.000294 0.05888 0.09129 0.02411 0.1553 1.785 0.9994 0.3471 0.6452 1 1 0.0336 0.1326 0.1315 0.3681 1.453 1.44 json
t14_x25_u3_b69 14 25 3 69 flr(lrg(div(R,R),D)) 68515 114699111 o1(o2(o2(x,x),x)) true 36127 36127 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
t14_x25_u3_b70 14 25 3 70 flr(lrg(pow(R,R),D)) 68516 114699112 o1(o2(o2(x,x),x)) true 36135 36135 0.9964 1 0.9964 0.0002432 0.0156 0.8608 1 0.1392 1 0.1734 0.0002694 0.000003136 0.00431 0.977 1 0.0000386 0.0006525 0.006403 0.0002538 0.01593 3.696 0.1392 1.12 2.682 1 1 0.0002199 0.000344 0.000369 0.9038 1.414 1.517 json
t14_x25_u3_b71 14 25 3 71 flr(lrg(mod(R,R),D)) 68517 114699113 o1(o2(o2(x,x),x)) true 36143 36143 0.49 0.9884 0.49 0.1395 0.3734 0 1 1 1 3.521 0.05297 0.0006217 0.1145 0.9768 1 -0.0000171 0.09905 0.1211 0.04049 0.2012 1.758 0.9997 0.3843 0.7102 1 1 0.05576 0.2078 0.1104 0.3999 1.49 0.7914 json
t14_x25_u3_b72 14 25 3 72 flr(lrg(lrg(R,R),D)) 68518 114699114 o1(o2(o2(x,x),x)) true 36151 36151 0.5 1 0.5 0.1418 0.3765 0.000291 0.9997 0.9994 1 3.406 0.06511 0 0.1228 1 1 0 0.1208 0.1337 0.05001 0.2236 1.821 0.9994 0.4593 0.8522 1 1 0.07073 0.2419 0 0.4989 1.706 0 json
t14_x25_u3_b73 14 25 3 73 flr(lrg(eql(R,R),D)) 68519 114699115 o1(o2(o2(x,x),x)) true 36159 36159 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
t14_x25_u3_b74 14 25 3 74 flr(lrg(min(R,R),D)) 68520 114699116 o1(o2(o2(x,x),x)) true 36167 36167 0.4991 0.9305 0.4991 0.1466 0.3829 0 1 1 1 3.529 0.0202 0.00212 0.08082 0.81 1 0.00001402 0.03815 0.07049 0.01579 0.1257 1.555 0.9997 0.1522 0.2602 1 1 0.02456 0.14 0.2709 0.1675 0.9551 1.848 json
t14_x25_u3_b75 14 25 3 75 flr(lrg(dot(R,R),D)) 68521 114699117 o1(o2(o2(x,x),x)) true 36175 36175 0.9534 1 0.9534 0.01835 0.1355 0.000582 1 0.9994 1 1.099 0.006764 0.0002639 0.02476 0.9249 1 0.0002807 0.01407 0.0275 0.006414 0.08009 3.235 0.9994 0.3829 0.7667 1 1 0.006341 0.02133 0.02968 0.3455 1.162 1.617 json
t14_x25_u3_b76 14 25 3 76 flr(lrg(dst(R,R),D)) 68522 114699118 o1(o2(o2(x,x),x)) true 36183 36183 0.5 1 0.5 0.1418 0.3765 0.000291 0.9997 0.9994 1 3.406 0.06511 0 0.1228 1 1 0 0.1208 0.1337 0.05001 0.2236 1.821 0.9994 0.4593 0.8522 1 1 0.07073 0.2419 0 0.4989 1.706 0 json
t14_x25_u3_b77 14 25 3 77 flr(eql(add(R,R),D)) 68523 114699119 o1(o2(o2(x,x),x)) true 36191 36191 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
t14_x25_u3_b78 14 25 3 78 flr(eql(sub(R,R),D)) 68524 114699120 o1(o2(o2(x,x),x)) true 36199 36199 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
t14_x25_u3_b79 14 25 3 79 flr(eql(mlt(R,R),D)) 68525 114699121 o1(o2(o2(x,x),x)) true 36207 36207 0.0002441 0.0004883 0.0002441 0.0001911 0.01382 0 0.9994 0.9994 1 0.006378 0.0003946 0.000002791 0.0005079 0.986 1 -3.564e-7 0.001195 0.001008 0.0003969 0.01992 39.23 0.9994 2.08 6.255 1 1 0 0 0 0 0 0 json
t14_x25_u3_b80 14 25 3 80 flr(eql(div(R,R),D)) 68526 114699122 o1(o2(o2(x,x),x)) true 36215 36215 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
t14_x25_u3_b81 14 25 3 81 flr(eql(pow(R,R),D)) 68527 114699123 o1(o2(o2(x,x),x)) true 36223 36223 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
t14_x25_u3_b82 14 25 3 82 flr(eql(mod(R,R),D)) 68528 114699124 o1(o2(o2(x,x),x)) true 36231 36231 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
t14_x25_u3_b83 14 25 3 83 flr(eql(lrg(R,R),D)) 68529 114699125 o1(o2(o2(x,x),x)) true 36239 36239 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
t14_x25_u3_b84 14 25 3 84 flr(eql(eql(R,R),D)) 68530 114699126 o1(o2(o2(x,x),x)) true 36247 36247 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
t14_x25_u3_b85 14 25 3 85 flr(eql(min(R,R),D)) 68531 114699127 o1(o2(o2(x,x),x)) true 36255 36255 0.00004008 0.0002289 0.00004008 0.00001031 0.00321 0 0.3282 0.3282 1 0.002722 0.00001454 1.509e-7 0.00006305 0.9795 0 1.17e-7 0.00004407 0.0001242 0.00001469 0.003832 60.78 0.3186 1.425 4.276 1 1 0 0 0.000007865 0 0 0.7631 json
t14_x25_u3_b86 14 25 3 86 flr(eql(dot(R,R),D)) 68532 114699128 o1(o2(o2(x,x),x)) true 36263 36263 7.106e-8 0.0002747 7.106e-8 1.62e-11 0.000004025 0 0.000291 0.000291 1 0 3.345e-11 2.373e-13 1.48e-7 0.9859 0 6.74e-16 1.013e-10 2.935e-7 3.365e-11 0.000005801 39.18 0.000291 2.08 6.254 1 1 3.024e-11 4.016e-11 4.413e-11 1.867 2.479 2.724 json
t14_x25_u3_b87 14 25 3 87 flr(eql(dst(R,R),D)) 68533 114699129 o1(o2(o2(x,x),x)) true 36271 36271 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
t14_x25_u3_b88 14 25 3 88 flr(min(add(R,R),D)) 68534 114699130 o1(o2(o2(x,x),x)) true 36279 36279 -0.7955 0 0.7955 0.1044 0.3231 -1 -0.000291 0.9997 1 2.394 0.02605 0.001667 0.06523 0.8797 1 0.00007642 0.04834 0.06469 0.02347 0.1532 2.349 0.9997 0.2655 0.463 1 1 0.03076 0.1379 0.1382 0.2947 1.321 1.324 json
t14_x25_u3_b89 14 25 3 89 flr(min(sub(R,R),D)) 68535 114699131 o1(o2(o2(x,x),x)) true 36287 36287 -0.5 0 0.5 0.1418 0.3765 -0.9997 -0.000291 0.9994 1 3.406 0.06511 0 0.1228 1 1 0 0.1208 0.1337 0.05001 0.2236 1.821 0.9994 0.4593 0.8522 1 1 0.07073 0.2419 0 0.4989 1.706 0 json
t14_x25_u3_b90 14 25 3 90 flr(min(mlt(R,R),D)) 68536 114699132 o1(o2(o2(x,x),x)) true 36295 36295 -0.5 0 0.5 0.1418 0.3765 -0.9997 -0.000291 0.9994 1 3.406 0.06511 0 0.1228 1 1 0 0.1208 0.1337 0.05001 0.2236 1.821 0.9994 0.4593 0.8522 1 1 0.07073 0.2419 0 0.4989 1.706 0 json
t14_x25_u3_b91 14 25 3 91 flr(min(div(R,R),D)) 68537 114699133 o1(o2(o2(x,x),x)) true 36303 36303 -0.5 0 0.5 0.1418 0.3765 -0.9997 -0.000291 0.9994 1 3.406 0.06511 0 0.1228 1 1 0 0.1208 0.1337 0.05001 0.2236 1.821 0.9994 0.4593 0.8522 1 1 0.07073 0.2419 0 0.4989 1.706 0 json
t14_x25_u3_b92 14 25 3 92 flr(min(pow(R,R),D)) 68538 114699134 o1(o2(o2(x,x),x)) true 36311 36311 -0.5 0 0.5 0.1418 0.3765 -0.9997 -0.000291 0.9994 1 3.406 0.06511 0 0.1228 1 1 0 0.1208 0.1337 0.05001 0.2236 1.821 0.9994 0.4593 0.8522 1 1 0.07073 0.2419 0 0.4989 1.706 0 json
t14_x25_u3_b93 14 25 3 93 flr(min(mod(R,R),D)) 68539 114699135 o1(o2(o2(x,x),x)) true 36319 36319 -0.5625 0 0.5625 0.1431 0.3783 -1 -0.000291 0.9997 1 3.424 0.05567 0.0004276 0.1115 0.9848 1 -0.00001426 0.1034 0.118 0.04366 0.2089 1.873 0.9997 0.392 0.7225 1 1 0.05861 0.2187 0.07552 0.4095 1.528 0.5277 json
t14_x25_u3_b94 14 25 3 94 flr(min(lrg(R,R),D)) 68540 114699136 o1(o2(o2(x,x),x)) true 36327 36327 -0.5 0 0.5 0.1418 0.3765 -0.9997 -0.000291 0.9994 1 3.406 0.06511 0 0.1228 1 1 0 0.1208 0.1337 0.05001 0.2236 1.821 0.9994 0.4593 0.8522 1 1 0.07073 0.2419 0 0.4989 1.706 0 json
t14_x25_u3_b95 14 25 3 95 flr(min(eql(R,R),D)) 68541 114699137 o1(o2(o2(x,x),x)) true 36335 36335 -0.5 0 0.5 0.1418 0.3765 -0.9997 -0.000291 0.9994 1 3.406 0.06511 0 0.1228 1 1 0 0.1208 0.1337 0.05001 0.2236 1.821 0.9994 0.4593 0.8522 1 1 0.07073 0.2419 0 0.4989 1.706 0 json
t14_x25_u3_b96 14 25 3 96 flr(min(min(R,R),D)) 68542 114699138 o1(o2(o2(x,x),x)) true 36343 36343 -0.7568 0 0.7568 0.1087 0.3297 -1 -0.000291 0.9997 1 2.8 0.02738 0.00118 0.07029 0.9174 1 -0.000001419 0.05102 0.06666 0.02362 0.1537 2.186 0.9997 0.2627 0.4693 1 1 0.03085 0.1411 0.1423 0.2838 1.298 1.309 json
t14_x25_u3_b97 14 25 3 97 flr(min(dot(R,R),D)) 68543 114699139 o1(o2(o2(x,x),x)) true 36351 36351 -0.5 0 0.5 0.1418 0.3765 -0.9997 -0.000291 0.9994 1 3.406 0.06511 0 0.1228 1 1 0 0.1208 0.1337 0.05001 0.2236 1.821 0.9994 0.4593 0.8522 1 1 0.07073 0.2419 0 0.4989 1.706 0 json
t14_x25_u3_b98 14 25 3 98 flr(min(dst(R,R),D)) 68544 114699140 o1(o2(o2(x,x),x)) true 36359 36359 -0.5 0 0.5 0.1418 0.3765 -0.9997 -0.000291 0.9994 1 3.406 0.06511 0 0.1228 1 1 0 0.1208 0.1337 0.05001 0.2236 1.821 0.9994 0.4593 0.8522 1 1 0.07073 0.2419 0 0.4989 1.706 0 json
t14_x25_u3_b99 14 25 3 99 flr(dot(add(R,R),D)) 68545 114699141 o1(o2(o2(x,x),x)) true 36367 36367 -0.4766 0.1128 0.5075 0.1774 0.4212 -1 0.9889 1.989 1 3.944 0.04065 0.03966 0.1536 0.01238 1 -0.0003557 0.2611 0.2402 0.05672 0.2382 1.55 1.42 0.4528 1.472 1 1 0.08344 0.2989 0.3536 0.4704 1.685 1.994 json
t14_x25_u3_b100 14 25 3 100 flr(dot(sub(R,R),D)) 68546 114699142 o1(o2(o2(x,x),x)) true 36375 36375 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
t14_x25_u3_b101 14 25 3 101 flr(dot(mlt(R,R),D)) 68547 114699143 o1(o2(o2(x,x),x)) true 36383 36383 -0.4977 0 0.4977 0.1168 0.3418 -1 -1.694e-7 1 1 3.808 0.03259 0.03148 0.1321 0.01726 1 -0.0001631 0.1813 0.1691 0.04662 0.2159 1.635 1.409 0.5486 1.553 1 1 0.06881 0.2317 0.1272 0.5891 1.984 1.089 json
t14_x25_u3_b102 14 25 3 102 flr(dot(div(R,R),D)) 68548 114699144 o1(o2(o2(x,x),x)) true 36391 36391 -0.4802 0 0.4802 0.1022 0.3197 -0.9997 0 0.9997 1 4.022 0.05384 0.05384 0.1713 -0.00006833 1 -0.00003315 0.4215 0.2502 0.07833 0.2799 1.634 1.413 1.054 4.125 1 1 0.1087 0.2851 0.01303 1.064 2.79 0.1275 json
t14_x25_u3_b103 14 25 3 103 flr(dot(pow(R,R),D)) 68549 114699145 o1(o2(o2(x,x),x)) true 36399 36399 -0.998 0 0.998 0.001321 0.03634 -1 -0.000291 0.9997 1 0.04881 0.0003474 0.0003294 0.00103 0.02661 1 -2.628e-11 0.002024 0.001754 0.000675 0.02598 25.23 1.399 0.5125 1.533 1 1 0.001159 0.003254 0.004612 0.8776 2.464 3.492 json
t14_x25_u3_b104 14 25 3 104 flr(dot(mod(R,R),D)) 68550 114699146 o1(o2(o2(x,x),x)) true 36407 36407 -0.1994 0.0005341 0.1994 0.1 0.3163 -1 0.02408 1.024 1 2.934 0.01133 0.0112 0.05527 0.006152 1 -0.000002194 0.04314 0.05623 0.01947 0.1395 2.525 1.341 0.2252 0.4312 1 1 0.0271 0.1335 0.2009 0.2709 1.335 2.008 json
t14_x25_u3_b105 14 25 3 105 flr(dot(lrg(R,R),D)) 68551 114699147 o1(o2(o2(x,x),x)) true 36415 36415 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
t14_x25_u3_b106 14 25 3 106 flr(dot(eql(R,R),D)) 68552 114699148 o1(o2(o2(x,x),x)) true 36423 36423 -0.4688 0 0.4688 0.1046 0.3235 -0.9994 0 0.9994 1 4.039 0.06016 0.06016 0.1758 0.000004397 1 -0.00003149 0.5007 0.2681 0.08937 0.2989 1.7 1.413 1.15 4.785 1 1 0.1154 0.2917 0 1.103 2.788 0 json
t14_x25_u3_b107 14 25 3 107 flr(dot(min(R,R),D)) 68553 114699149 o1(o2(o2(x,x),x)) true 36431 36431 -0.4932 0.006119 0.4933 0.1514 0.3891 -1 0.07772 1.078 1 3.674 0.03531 0.03442 0.1241 0.01279 1 -0.0002929 0.2211 0.182 0.05432 0.2331 1.878 1.414 0.4606 1.461 1 1 0.07408 0.2844 0.3007 0.4894 1.878 1.986 json
t14_x25_u3_b108 14 25 3 108 flr(dot(dot(R,R),D)) 68554 114699150 o1(o2(o2(x,x),x)) true 36439 36439 -0.4744 0.01271 0.479 0.09641 0.3105 -1 0.6441 1.644 1 4.106 0.04664 0.04666 0.1797 -0.0002026 1 -0.000009947 0.3816 0.2882 0.061 0.247 1.374 1.413 0.9678 3.958 1 1 0.09079 0.2259 0.03324 0.9417 2.343 0.3447 json
t14_x25_u3_b109 14 25 3 109 flr(dot(dst(R,R),D)) 68555 114699151 o1(o2(o2(x,x),x)) true 36447 36447 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
t14_x25_u3_b110 14 25 3 110 flr(dst(add(R,R),D)) 68556 114699152 o1(o2(o2(x,x),x)) true 36455 36455 0.9562 1 0.9562 0.028 0.1673 0.000291 1 0.9997 1 0.7508 0.003775 0.004127 0.01901 -0.04464 1 -0.00008377 0.02157 0.02502 0.007543 0.08685 4.569 1.403 0.2822 0.7703 1 1 0.008099 0.03415 0.04608 0.2892 1.219 1.645 json
t14_x25_u3_b111 14 25 3 111 flr(dst(sub(R,R),D)) 68557 114699153 o1(o2(o2(x,x),x)) true 36463 36463 0.002387 0.5469 0.002387 0.0000194 0.004405 0 0.01937 0.01937 1 0 0.00002643 0.00002643 0.004122 1.376e-7 0 -0.00002229 0.0002509 0.008064 0.00003587 0.005989 1.453 0.02739 2.724 12.93 1 1 0.00004054 0.00003161 0 2.089 1.629 0 json
t14_x25_u3_b112 14 25 3 112 flr(dst(mlt(R,R),D)) 68558 114699154 o1(o2(o2(x,x),x)) true 36471 36471 0.3466 0.9556 0.3466 0.1207 0.3474 0 1 1 1 3.439 0.02065 0.02036 0.1021 0.007299 1 -0.0005627 0.1203 0.1303 0.0306 0.1749 1.714 1.413 0.3398 0.9971 1 1 0.04477 0.1733 0.211 0.371 1.437 1.749 json
t14_x25_u3_b113 14 25 3 113 flr(dst(div(R,R),D)) 68559 114699155 o1(o2(o2(x,x),x)) true 36479 36479 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
t14_x25_u3_b114 14 25 3 114 flr(dst(pow(R,R),D)) 68560 114699156 o1(o2(o2(x,x),x)) true 36487 36487 -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
t14_x25_u3_b115 14 25 3 115 flr(dst(mod(R,R),D)) 68561 114699157 o1(o2(o2(x,x),x)) true 36495 36495 0.1168 0.7498 0.1168 0.05377 0.2319 0 1 1 1 1.919 0.007407 0.008178 0.04785 -0.04952 1 -0.00008367 0.04383 0.05913 0.0133 0.1153 2.41 1.394 0.2899 0.8153 1 1 0.01895 0.07732 0.1201 0.3524 1.438 2.234 json
t14_x25_u3_b116 14 25 3 116 flr(dst(lrg(R,R),D)) 68562 114699158 o1(o2(o2(x,x),x)) true 36503 36503 0.002387 0.5469 0.002387 0.0000194 0.004405 0 0.01937 0.01937 1 0 0.00002643 0.00002643 0.004122 1.376e-7 0 -0.00002229 0.0002509 0.008064 0.00003587 0.005989 1.453 0.02739 2.724 12.93 1 1 0.00004054 0.00003161 0 2.089 1.629 0 json
t14_x25_u3_b117 14 25 3 117 flr(dst(eql(R,R),D)) 68563 114699159 o1(o2(o2(x,x),x)) true 36511 36511 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
t14_x25_u3_b118 14 25 3 118 flr(dst(min(R,R),D)) 68564 114699160 o1(o2(o2(x,x),x)) true 36519 36519 0.5637 0.9763 0.5637 0.1564 0.3955 0 1 1 1 3.304 0.02354 0.02361 0.1019 -0.001345 1 0.0001677 0.1416 0.1409 0.03678 0.1918 1.883 1.413 0.3014 0.9054 1 1 0.05112 0.2144 0.3096 0.3268 1.37 1.979 json
t14_x25_u3_b119 14 25 3 119 flr(dst(dot(R,R),D)) 68565 114699161 o1(o2(o2(x,x),x)) true 36527 36527 0.8516 0.999 0.8516 0.08781 0.2963 0 1 1 1 1.774 0.007561 0.008233 0.04448 -0.04256 1 -0.00006168 0.04247 0.0518 0.01381 0.1175 2.642 1.408 0.1799 0.4837 1 1 0.01767 0.09495 0.1393 0.2012 1.081 1.586 json
t14_x25_u3_b120 14 25 3 120 flr(dst(dst(R,R),D)) 68566 114699162 o1(o2(o2(x,x),x)) true 36535 36535 0.002387 0.5469 0.002387 0.0000194 0.004405 0 0.01937 0.01937 1 0 0.00002643 0.00002643 0.004122 1.376e-7 0 -0.00002229 0.0002509 0.008064 0.00003587 0.005989 1.453 0.02739 2.724 12.93 1 1 0.00004054 0.00003161 0 2.089 1.629 0 json
t14_x25_u4_b0 14 25 4 0 cil(add(add(R,R),D)) 68567 114699243 o1(o2(o2(x,x),x)) true 36543 36543 0.3309 0.69 0.6756 0.4803 0.693 -1 1 2 1 3.919 0.02826 0.008913 0.1136 0.5204 1 -0.00003208 0.04706 0.09524 0.02427 0.1558 1.371 1.117 0.07739 0.09798 1 1 0.05177 0.3874 0.8227 0.1078 0.8066 1.713 json
t14_x25_u4_b1 14 25 4 1 cil(add(sub(R,R),D)) 68568 114699244 o1(o2(o2(x,x),x)) true 36551 36551 0.5 1 0.5 0.1418 0.3765 0.000291 0.9997 0.9994 1 3.406 0.06511 0 0.1228 1 1 0 0.1208 0.1337 0.05001 0.2236 1.821 0.9994 0.4593 0.8522 1 1 0.07073 0.2419 0 0.4989 1.706 0 json
t14_x25_u4_b2 14 25 4 2 cil(add(mlt(R,R),D)) 68569 114699245 o1(o2(o2(x,x),x)) true 36559 36559 0.7981 1 0.7981 0.08297 0.288 0.0002911 1 0.9997 1 2.72 0.03035 0.001004 0.08518 0.936 1 0.0002554 0.05877 0.09848 0.02409 0.1552 1.822 0.9994 0.3779 0.7084 1 1 0.03385 0.1143 0.1279 0.408 1.378 1.542 json
t14_x25_u4_b3 14 25 4 3 cil(add(div(R,R),D)) 68570 114699246 o1(o2(o2(x,x),x)) true 36567 36567 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
t14_x25_u4_b4 14 25 4 4 cil(add(pow(R,R),D)) 68571 114699247 o1(o2(o2(x,x),x)) true 36575 36575 -0.9141 0.04297 0.9999 0.1642 0.4052 -1 1 2 1 0.2584 0.01688 0.01632 0.0166 0.01695 1 -2.17e-7 0.06946 0.03338 0.03292 0.1814 10.93 2.828 0.2022 0.423 1 1 0.02536 0.1093 0.2752 0.1545 0.6656 1.676 json
t14_x25_u4_b5 14 25 4 5 cil(add(mod(R,R),D)) 68572 114699248 o1(o2(o2(x,x),x)) true 36583 36583 0.4813 0.9713 0.4933 0.1515 0.3892 -0.9855 1 1.985 1 3.676 0.05555 0.0008119 0.1211 0.9712 1 -0.000008023 0.1042 0.1315 0.04169 0.2042 1.686 0.9994 0.3721 0.6876 1 1 0.05883 0.2181 0.1371 0.3884 1.44 0.9049 json
t14_x25_u4_b6 14 25 4 6 cil(add(lrg(R,R),D)) 68573 114699249 o1(o2(o2(x,x),x)) true 36591 36591 0.5 1 0.5 0.1418 0.3765 0.000291 0.9997 0.9994 1 3.406 0.06511 0 0.1228 1 1 0 0.1208 0.1337 0.05001 0.2236 1.821 0.9994 0.4593 0.8522 1 1 0.07073 0.2419 0 0.4989 1.706 0 json
t14_x25_u4_b7 14 25 4 7 cil(add(eql(R,R),D)) 68574 114699250 o1(o2(o2(x,x),x)) true 36599 36599 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
t14_x25_u4_b8 14 25 4 8 cil(add(min(R,R),D)) 68575 114699251 o1(o2(o2(x,x),x)) true 36607 36607 0.4727 0.8512 0.5392 0.2145 0.4631 -0.9991 1 1.999 1 3.98 0.03061 0.003213 0.1077 0.81 1 0.0004303 0.05906 0.1096 0.02224 0.1491 1.385 0.9997 0.1577 0.2753 1 1 0.03653 0.1875 0.3698 0.1703 0.8741 1.724 json
t14_x25_u4_b9 14 25 4 9 cil(add(dot(R,R),D)) 68576 114699252 o1(o2(o2(x,x),x)) true 36615 36615 0.9819 1 0.9819 0.008563 0.09254 0.001455 1 0.9985 1 0.4759 0.003963 0.0002687 0.01283 0.873 1 0.0001979 0.008409 0.01681 0.004069 0.06379 4.972 0.9986 0.4942 0.9819 1 1 0.003164 0.009584 0.01281 0.3695 1.119 1.496 json
t14_x25_u4_b10 14 25 4 10 cil(add(dst(R,R),D)) 68577 114699253 o1(o2(o2(x,x),x)) true 36623 36623 0.5 1 0.5 0.1418 0.3765 0.000291 0.9997 0.9994 1 3.406 0.06511 0 0.1228 1 1 0 0.1208 0.1337 0.05001 0.2236 1.821 0.9994 0.4593 0.8522 1 1 0.07073 0.2419 0 0.4989 1.706 0 json
t14_x25_u4_b11 14 25 4 11 cil(sub(add(R,R),D)) 68578 114699254 o1(o2(o2(x,x),x)) true 36631 36631 0.3313 0.6903 0.6723 0.4782 0.6915 -1 1 2 1 3.91 0.02738 0.008901 0.112 0.5093 1 0.0002389 0.04602 0.09359 0.02374 0.1541 1.376 1.058 0.07587 0.09625 1 1 0.05132 0.3846 0.8172 0.1073 0.8044 1.709 json
t14_x25_u4_b12 14 25 4 12 cil(sub(sub(R,R),D)) 68579 114699255 o1(o2(o2(x,x),x)) true 36639 36639 0.5 1 0.5 0.1418 0.3765 0.000291 0.9997 0.9994 1 3.406 0.06511 0 0.1228 1 1 0 0.1208 0.1337 0.05001 0.2236 1.821 0.9994 0.4593 0.8522 1 1 0.07073 0.2419 0 0.4989 1.706 0 json
t14_x25_u4_b13 14 25 4 13 cil(sub(mlt(R,R),D)) 68580 114699256 o1(o2(o2(x,x),x)) true 36647 36647 0.7973 1 0.7973 0.08342 0.2888 0.0002911 1 0.9997 1 2.723 0.03047 0.001004 0.08629 0.9362 1 0.0002436 0.05936 0.09889 0.02403 0.155 1.796 0.9994 0.3773 0.7115 1 1 0.03281 0.1143 0.1265 0.3934 1.37 1.517 json
t14_x25_u4_b14 14 25 4 14 cil(sub(div(R,R),D)) 68581 114699257 o1(o2(o2(x,x),x)) true 36655 36655 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
t14_x25_u4_b15 14 25 4 15 cil(sub(pow(R,R),D)) 68582 114699258 o1(o2(o2(x,x),x)) true 36663 36663 -0.9141 0.04297 0.9999 0.1642 0.4052 -1 1 2 1 0.2594 0.01688 0.01632 0.01661 0.017 1 7.292e-7 0.06946 0.03339 0.03292 0.1814 10.92 2.828 0.2022 0.4231 1 1 0.02537 0.1093 0.2753 0.1545 0.6656 1.677 json
t14_x25_u4_b16 14 25 4 16 cil(sub(mod(R,R),D)) 68583 114699259 o1(o2(o2(x,x),x)) true 36671 36671 0.4806 0.9718 0.4929 0.1514 0.3891 -0.9855 1 1.985 1 3.688 0.0557 0.0007985 0.1217 0.9717 1 -0.00002496 0.1043 0.1318 0.04167 0.2041 1.677 0.9998 0.3732 0.689 1 1 0.0596 0.2186 0.1361 0.3937 1.444 0.8993 json
t14_x25_u4_b17 14 25 4 17 cil(sub(lrg(R,R),D)) 68584 114699260 o1(o2(o2(x,x),x)) true 36679 36679 0.5 1 0.5 0.1418 0.3765 0.000291 0.9997 0.9994 1 3.406 0.06511 0 0.1228 1 1 0 0.1208 0.1337 0.05001 0.2236 1.821 0.9994 0.4593 0.8522 1 1 0.07073 0.2419 0 0.4989 1.706 0 json
t14_x25_u4_b18 14 25 4 18 cil(sub(eql(R,R),D)) 68585 114699261 o1(o2(o2(x,x),x)) true 36687 36687 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
t14_x25_u4_b19 14 25 4 19 cil(sub(min(R,R),D)) 68586 114699262 o1(o2(o2(x,x),x)) true 36695 36695 0.4752 0.8531 0.5388 0.2134 0.462 -0.9991 1 1.999 1 3.951 0.03043 0.003213 0.1069 0.809 1 -0.0000422 0.05952 0.1102 0.02221 0.149 1.394 0.9998 0.1576 0.2788 1 1 0.03576 0.1816 0.376 0.1675 0.8508 1.762 json
t14_x25_u4_b20 14 25 4 20 cil(sub(dot(R,R),D)) 68587 114699263 o1(o2(o2(x,x),x)) true 36703 36703 0.9823 1 0.9823 0.008254 0.09085 0.001164 1 0.9988 1 0.471 0.003888 0.0002539 0.01317 0.8774 1 0.0001911 0.008673 0.01741 0.003967 0.06298 4.781 0.9988 0.5019 1.051 1 1 0.00343 0.009891 0.01319 0.4156 1.198 1.598 json
t14_x25_u4_b21 14 25 4 21 cil(sub(dst(R,R),D)) 68588 114699264 o1(o2(o2(x,x),x)) true 36711 36711 0.5 1 0.5 0.1418 0.3765 0.000291 0.9997 0.9994 1 3.406 0.06511 0 0.1228 1 1 0 0.1208 0.1337 0.05001 0.2236 1.821 0.9994 0.4593 0.8522 1 1 0.07073 0.2419 0 0.4989 1.706 0 json
t14_x25_u4_b22 14 25 4 22 cil(mlt(add(R,R),D)) 68589 114699265 o1(o2(o2(x,x),x)) true 36719 36719 0.5004 0.9122 0.5075 0.1497 0.3869 -0.4414 1 1.441 1 3.798 0.05051 0.002338 0.1135 0.9115 1 0.0000143 0.1003 0.1365 0.03997 0.1999 1.761 1 0.3531 0.6699 1 1 0.05682 0.2377 0.2879 0.3796 1.588 1.923 json
t14_x25_u4_b23 14 25 4 23 cil(mlt(sub(R,R),D)) 68590 114699266 o1(o2(o2(x,x),x)) true 36727 36727 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
t14_x25_u4_b24 14 25 4 24 cil(mlt(mlt(R,R),D)) 68591 114699267 o1(o2(o2(x,x),x)) true 36735 36735 0.5 1 0.5 0.1418 0.3765 0.000291 0.9997 0.9994 1 3.406 0.06511 0 0.1228 1 1 0 0.1208 0.1337 0.05001 0.2236 1.821 0.9994 0.4593 0.8522 1 1 0.07073 0.2419 0 0.4989 1.706 0 json
t14_x25_u4_b25 14 25 4 25 cil(mlt(div(R,R),D)) 68592 114699268 o1(o2(o2(x,x),x)) true 36743 36743 0.5 1 0.5 0.1418 0.3765 0.000291 0.9997 0.9994 1 3.406 0.06511 0 0.1228 1 1 0 0.1208 0.1337 0.05001 0.2236 1.821 0.9994 0.4593 0.8522 1 1 0.07073 0.2419 0 0.4989 1.706 0 json
t14_x25_u4_b26 14 25 4 26 cil(mlt(pow(R,R),D)) 68593 114699269 o1(o2(o2(x,x),x)) true 36751 36751 -0.9355 0.04297 0.9785 0.09869 0.3141 -1 0.9997 2 1 0.4021 0.01067 0.009679 0.0151 0.04854 1 0.000005704 0.04215 0.0256 0.02012 0.1419 9.393 2 0.2062 0.4271 1 1 0.01507 0.0665 0.1631 0.1527 0.6738 1.652 json
t14_x25_u4_b27 14 25 4 27 cil(mlt(mod(R,R),D)) 68594 114699270 o1(o2(o2(x,x),x)) true 36759 36759 0.1104 0.3399 0.1104 0.06229 0.2496 0 1 1 1 1.611 0.01159 0.0008049 0.03197 0.8702 1 -0.00001283 0.02203 0.03058 0.01138 0.1067 3.336 1 0.1991 0.3536 1 1 0.01702 0.08734 0.1332 0.2732 1.402 2.138 json
t14_x25_u4_b28 14 25 4 28 cil(mlt(lrg(R,R),D)) 68595 114699271 o1(o2(o2(x,x),x)) true 36767 36767 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
t14_x25_u4_b29 14 25 4 29 cil(mlt(eql(R,R),D)) 68596 114699272 o1(o2(o2(x,x),x)) true 36775 36775 0.5 1 0.5 0.1418 0.3765 0.000291 0.9997 0.9994 1 3.406 0.06511 0 0.1228 1 1 0 0.1208 0.1337 0.05001 0.2236 1.821 0.9994 0.4593 0.8522 1 1 0.07073 0.2419 0 0.4989 1.706 0 json
t14_x25_u4_b30 14 25 4 30 cil(mlt(min(R,R),D)) 68597 114699273 o1(o2(o2(x,x),x)) true 36783 36783 0.5039 0.9395 0.5039 0.147 0.3834 0 1 1 1 3.516 0.04778 0.002278 0.1019 0.909 1 0.00001497 0.09324 0.1121 0.03968 0.1992 1.955 1 0.3406 0.6344 1 1 0.05494 0.2454 0.2817 0.3738 1.67 1.917 json
t14_x25_u4_b31 14 25 4 31 cil(mlt(dot(R,R),D)) 68598 114699274 o1(o2(o2(x,x),x)) true 36791 36791 0.4998 0.9995 0.4999 0.1338 0.3658 -0.1167 1 1.117 1 3.581 0.0672 0.00005201 0.1314 0.9985 1 -0.00000756 0.1275 0.1561 0.04997 0.2235 1.701 0.9994 0.5026 0.9525 1 1 0.07196 0.2191 0.00718 0.5377 1.637 0.05365 json
t14_x25_u4_b32 14 25 4 32 cil(mlt(dst(R,R),D)) 68599 114699275 o1(o2(o2(x,x),x)) true 36799 36799 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