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_x17_u3_b50 12 17 3 50 flr(pow(D,lrg(R,R))) 34000 98134682 o1(o2(x,o2(x,x))) true 101847 101847 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_x17_u3_b51 12 17 3 51 flr(pow(D,eql(R,R))) 34001 98134683 o1(o2(x,o2(x,x))) true 101855 101855 -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
t12_x17_u3_b52 12 17 3 52 flr(pow(D,min(R,R))) 34002 98134684 o1(o2(x,o2(x,x))) true 101863 101863 -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_x17_u3_b53 12 17 3 53 flr(pow(D,dot(R,R))) 34003 98134685 o1(o2(x,o2(x,x))) true 101871 101871 -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_x17_u3_b54 12 17 3 54 flr(pow(D,dst(R,R))) 34004 98134686 o1(o2(x,o2(x,x))) true 101879 101879 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_x17_u3_b55 12 17 3 55 flr(mod(D,add(R,R))) 34005 98134687 o1(o2(x,o2(x,x))) true 101887 101887 -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
t12_x17_u3_b56 12 17 3 56 flr(mod(D,sub(R,R))) 34006 98134688 o1(o2(x,o2(x,x))) true 101895 101895 -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
t12_x17_u3_b57 12 17 3 57 flr(mod(D,mlt(R,R))) 34007 98134689 o1(o2(x,o2(x,x))) true 101903 101903 -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
t12_x17_u3_b58 12 17 3 58 flr(mod(D,div(R,R))) 34008 98134690 o1(o2(x,o2(x,x))) true 101911 101911 -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
t12_x17_u3_b59 12 17 3 59 flr(mod(D,pow(R,R))) 34009 98134691 o1(o2(x,o2(x,x))) true 101919 101919 -0.9785 0 0.9785 0.01638 0.128 -1 -0.000291 0.9997 1 0.3349 0.002478 0.001553 0.006864 0.2295 1 0.000005704 0.008074 0.009072 0.003983 0.06311 9.195 0.9997 0.246 0.4928 1 1 0.002864 0.01327 0.02629 0.1748 0.8101 1.605 json
t12_x17_u3_b60 12 17 3 60 flr(mod(D,mod(R,R))) 34010 98134692 o1(o2(x,o2(x,x))) true 101927 101927 -0.9941 0 0.9941 0.004554 0.06748 -1 -0.000291 0.9997 1 0.1094 0.0008226 0.0003948 0.001987 0.3514 1 1.502e-11 0.002451 0.002683 0.001216 0.03487 17.54 0.9997 0.2673 0.5382 1 1 0.002248 0.009509 0.01519 0.4937 2.088 3.336 json
t12_x17_u3_b61 12 17 3 61 flr(mod(D,lrg(R,R))) 34011 98134693 o1(o2(x,o2(x,x))) true 101935 101935 -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_x17_u3_b62 12 17 3 62 flr(mod(D,eql(R,R))) 34012 98134694 o1(o2(x,o2(x,x))) true 101943 101943 -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
t12_x17_u3_b63 12 17 3 63 flr(mod(D,min(R,R))) 34013 98134695 o1(o2(x,o2(x,x))) true 101951 101951 -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
t12_x17_u3_b64 12 17 3 64 flr(mod(D,dot(R,R))) 34014 98134696 o1(o2(x,o2(x,x))) true 101959 101959 -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
t12_x17_u3_b65 12 17 3 65 flr(mod(D,dst(R,R))) 34015 98134697 o1(o2(x,o2(x,x))) true 101967 101967 -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
t12_x17_u3_b66 12 17 3 66 flr(lrg(D,add(R,R))) 34016 98134698 o1(o2(x,o2(x,x))) true 101975 101975 0.5102 0.9251 0.5102 0.1541 0.3926 0 1 1 1 3.432 0.01004 0.002285 0.06307 0.6294 1 -0.00008437 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
t12_x17_u3_b67 12 17 3 67 flr(lrg(D,sub(R,R))) 34017 98134699 o1(o2(x,o2(x,x))) true 101983 101983 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
t12_x17_u3_b68 12 17 3 68 flr(lrg(D,mlt(R,R))) 34018 98134700 o1(o2(x,o2(x,x))) true 101991 101991 0.2412 0.8196 0.2412 0.09118 0.302 0 0.9997 0.9997 1 3.009 0.03076 0.0009703 0.08698 0.9388 1 -0.0002936 0.05904 0.09136 0.02417 0.1555 1.787 0.9994 0.3479 0.6475 1 1 0.0336 0.1326 0.1315 0.3684 1.454 1.442 json
t12_x17_u3_b69 12 17 3 69 flr(lrg(D,div(R,R))) 34019 98134701 o1(o2(x,o2(x,x))) true 101999 101999 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_x17_u3_b70 12 17 3 70 flr(lrg(D,pow(R,R))) 34020 98134702 o1(o2(x,o2(x,x))) true 102007 102007 0.5211 0.9599 0.5211 0.1536 0.3919 0 1 1 1 3.43 0.0023 0.002439 0.05325 -0.02944 1 -0.00002079 0.0009214 0.01703 0.001904 0.04363 0.8194 0.2255 0.03085 0.006 1 1 0.009045 0.1136 0.286 0.05889 0.7394 1.862 json
t12_x17_u3_b71 12 17 3 71 flr(lrg(D,mod(R,R))) 34021 98134703 o1(o2(x,o2(x,x))) true 102015 102015 0.51 0.9971 0.51 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
t12_x17_u3_b72 12 17 3 72 flr(lrg(D,lrg(R,R))) 34022 98134704 o1(o2(x,o2(x,x))) true 102023 102023 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
t12_x17_u3_b73 12 17 3 73 flr(lrg(D,eql(R,R))) 34023 98134705 o1(o2(x,o2(x,x))) true 102031 102031 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_x17_u3_b74 12 17 3 74 flr(lrg(D,min(R,R))) 34024 98134706 o1(o2(x,o2(x,x))) true 102039 102039 0.5008 0.9274 0.5008 0.1466 0.3828 0 1 1 1 3.529 0.0202 0.00212 0.08084 0.81 1 -0.00001414 0.03816 0.07051 0.01579 0.1257 1.554 0.9997 0.1523 0.2603 1 1 0.02456 0.14 0.2709 0.1675 0.9553 1.848 json
t12_x17_u3_b75 12 17 3 75 flr(lrg(D,dot(R,R))) 34025 98134707 o1(o2(x,o2(x,x))) true 102047 102047 0.0466 0.3258 0.0466 0.01836 0.1355 0 0.9994 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.7666 1 1 0.006341 0.02133 0.02968 0.3454 1.162 1.617 json
t12_x17_u3_b76 12 17 3 76 flr(lrg(D,dst(R,R))) 34026 98134708 o1(o2(x,o2(x,x))) true 102055 102055 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
t12_x17_u3_b77 12 17 3 77 flr(eql(D,add(R,R))) 34027 98134709 o1(o2(x,o2(x,x))) true 102063 102063 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_x17_u3_b78 12 17 3 78 flr(eql(D,sub(R,R))) 34028 98134710 o1(o2(x,o2(x,x))) true 102071 102071 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_x17_u3_b79 12 17 3 79 flr(eql(D,mlt(R,R))) 34029 98134711 o1(o2(x,o2(x,x))) true 102079 102079 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
t12_x17_u3_b80 12 17 3 80 flr(eql(D,div(R,R))) 34030 98134712 o1(o2(x,o2(x,x))) true 102087 102087 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_x17_u3_b81 12 17 3 81 flr(eql(D,pow(R,R))) 34031 98134713 o1(o2(x,o2(x,x))) true 102095 102095 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_x17_u3_b82 12 17 3 82 flr(eql(D,mod(R,R))) 34032 98134714 o1(o2(x,o2(x,x))) true 102103 102103 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_x17_u3_b83 12 17 3 83 flr(eql(D,lrg(R,R))) 34033 98134715 o1(o2(x,o2(x,x))) true 102111 102111 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_x17_u3_b84 12 17 3 84 flr(eql(D,eql(R,R))) 34034 98134716 o1(o2(x,o2(x,x))) true 102119 102119 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_x17_u3_b85 12 17 3 85 flr(eql(D,min(R,R))) 34035 98134717 o1(o2(x,o2(x,x))) true 102127 102127 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
t12_x17_u3_b86 12 17 3 86 flr(eql(D,dot(R,R))) 34036 98134718 o1(o2(x,o2(x,x))) true 102135 102135 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
t12_x17_u3_b87 12 17 3 87 flr(eql(D,dst(R,R))) 34037 98134719 o1(o2(x,o2(x,x))) true 102143 102143 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_x17_u3_b88 12 17 3 88 flr(min(D,add(R,R))) 34038 98134720 o1(o2(x,o2(x,x))) true 102151 102151 -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
t12_x17_u3_b89 12 17 3 89 flr(min(D,sub(R,R))) 34039 98134721 o1(o2(x,o2(x,x))) true 102159 102159 -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
t12_x17_u3_b90 12 17 3 90 flr(min(D,mlt(R,R))) 34040 98134722 o1(o2(x,o2(x,x))) true 102167 102167 -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
t12_x17_u3_b91 12 17 3 91 flr(min(D,div(R,R))) 34041 98134723 o1(o2(x,o2(x,x))) true 102175 102175 -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
t12_x17_u3_b92 12 17 3 92 flr(min(D,pow(R,R))) 34042 98134724 o1(o2(x,o2(x,x))) true 102183 102183 -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
t12_x17_u3_b93 12 17 3 93 flr(min(D,mod(R,R))) 34043 98134725 o1(o2(x,o2(x,x))) true 102191 102191 -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
t12_x17_u3_b94 12 17 3 94 flr(min(D,lrg(R,R))) 34044 98134726 o1(o2(x,o2(x,x))) true 102199 102199 -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
t12_x17_u3_b95 12 17 3 95 flr(min(D,eql(R,R))) 34045 98134727 o1(o2(x,o2(x,x))) true 102207 102207 -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
t12_x17_u3_b96 12 17 3 96 flr(min(D,min(R,R))) 34046 98134728 o1(o2(x,o2(x,x))) true 102215 102215 -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
t12_x17_u3_b97 12 17 3 97 flr(min(D,dot(R,R))) 34047 98134729 o1(o2(x,o2(x,x))) true 102223 102223 -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
t12_x17_u3_b98 12 17 3 98 flr(min(D,dst(R,R))) 34048 98134730 o1(o2(x,o2(x,x))) true 102231 102231 -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
t12_x17_u3_b99 12 17 3 99 flr(dot(D,add(R,R))) 34049 98134731 o1(o2(x,o2(x,x))) true 102239 102239 -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
t12_x17_u3_b100 12 17 3 100 flr(dot(D,sub(R,R))) 34050 98134732 o1(o2(x,o2(x,x))) true 102247 102247 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_x17_u3_b101 12 17 3 101 flr(dot(D,mlt(R,R))) 34051 98134733 o1(o2(x,o2(x,x))) true 102255 102255 -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
t12_x17_u3_b102 12 17 3 102 flr(dot(D,div(R,R))) 34052 98134734 o1(o2(x,o2(x,x))) true 102263 102263 -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
t12_x17_u3_b103 12 17 3 103 flr(dot(D,pow(R,R))) 34053 98134735 o1(o2(x,o2(x,x))) true 102271 102271 -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
t12_x17_u3_b104 12 17 3 104 flr(dot(D,mod(R,R))) 34054 98134736 o1(o2(x,o2(x,x))) true 102279 102279 -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
t12_x17_u3_b105 12 17 3 105 flr(dot(D,lrg(R,R))) 34055 98134737 o1(o2(x,o2(x,x))) true 102287 102287 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_x17_u3_b106 12 17 3 106 flr(dot(D,eql(R,R))) 34056 98134738 o1(o2(x,o2(x,x))) true 102295 102295 -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
t12_x17_u3_b107 12 17 3 107 flr(dot(D,min(R,R))) 34057 98134739 o1(o2(x,o2(x,x))) true 102303 102303 -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
t12_x17_u3_b108 12 17 3 108 flr(dot(D,dot(R,R))) 34058 98134740 o1(o2(x,o2(x,x))) true 102311 102311 -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
t12_x17_u3_b109 12 17 3 109 flr(dot(D,dst(R,R))) 34059 98134741 o1(o2(x,o2(x,x))) true 102319 102319 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_x17_u3_b110 12 17 3 110 flr(dst(D,add(R,R))) 34060 98134742 o1(o2(x,o2(x,x))) true 102327 102327 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
t12_x17_u3_b111 12 17 3 111 flr(dst(D,sub(R,R))) 34061 98134743 o1(o2(x,o2(x,x))) true 102335 102335 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
t12_x17_u3_b112 12 17 3 112 flr(dst(D,mlt(R,R))) 34062 98134744 o1(o2(x,o2(x,x))) true 102343 102343 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
t12_x17_u3_b113 12 17 3 113 flr(dst(D,div(R,R))) 34063 98134745 o1(o2(x,o2(x,x))) true 102351 102351 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_x17_u3_b114 12 17 3 114 flr(dst(D,pow(R,R))) 34064 98134746 o1(o2(x,o2(x,x))) true 102359 102359 -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_x17_u3_b115 12 17 3 115 flr(dst(D,mod(R,R))) 34065 98134747 o1(o2(x,o2(x,x))) true 102367 102367 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
t12_x17_u3_b116 12 17 3 116 flr(dst(D,lrg(R,R))) 34066 98134748 o1(o2(x,o2(x,x))) true 102375 102375 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
t12_x17_u3_b117 12 17 3 117 flr(dst(D,eql(R,R))) 34067 98134749 o1(o2(x,o2(x,x))) true 102383 102383 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_x17_u3_b118 12 17 3 118 flr(dst(D,min(R,R))) 34068 98134750 o1(o2(x,o2(x,x))) true 102391 102391 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
t12_x17_u3_b119 12 17 3 119 flr(dst(D,dot(R,R))) 34069 98134751 o1(o2(x,o2(x,x))) true 102399 102399 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
t12_x17_u3_b120 12 17 3 120 flr(dst(D,dst(R,R))) 34070 98134752 o1(o2(x,o2(x,x))) true 102407 102407 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
t12_x17_u4_b0 12 17 4 0 cil(add(D,add(R,R))) 34071 98134833 o1(o2(x,o2(x,x))) true 102415 102415 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
t12_x17_u4_b1 12 17 4 1 cil(add(D,sub(R,R))) 34072 98134834 o1(o2(x,o2(x,x))) true 102423 102423 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
t12_x17_u4_b2 12 17 4 2 cil(add(D,mlt(R,R))) 34073 98134835 o1(o2(x,o2(x,x))) true 102431 102431 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
t12_x17_u4_b3 12 17 4 3 cil(add(D,div(R,R))) 34074 98134836 o1(o2(x,o2(x,x))) true 102439 102439 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_x17_u4_b4 12 17 4 4 cil(add(D,pow(R,R))) 34075 98134837 o1(o2(x,o2(x,x))) true 102447 102447 -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
t12_x17_u4_b5 12 17 4 5 cil(add(D,mod(R,R))) 34076 98134838 o1(o2(x,o2(x,x))) true 102455 102455 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
t12_x17_u4_b6 12 17 4 6 cil(add(D,lrg(R,R))) 34077 98134839 o1(o2(x,o2(x,x))) true 102463 102463 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
t12_x17_u4_b7 12 17 4 7 cil(add(D,eql(R,R))) 34078 98134840 o1(o2(x,o2(x,x))) true 102471 102471 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_x17_u4_b8 12 17 4 8 cil(add(D,min(R,R))) 34079 98134841 o1(o2(x,o2(x,x))) true 102479 102479 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
t12_x17_u4_b9 12 17 4 9 cil(add(D,dot(R,R))) 34080 98134842 o1(o2(x,o2(x,x))) true 102487 102487 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
t12_x17_u4_b10 12 17 4 10 cil(add(D,dst(R,R))) 34081 98134843 o1(o2(x,o2(x,x))) true 102495 102495 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
t12_x17_u4_b11 12 17 4 11 cil(sub(D,add(R,R))) 34082 98134844 o1(o2(x,o2(x,x))) true 102503 102503 0.3073 0.6727 0.6891 0.5051 0.7107 -1 1 2 1 3.975 0.02796 0.009242 0.1168 0.5031 1 -0.0002364 0.04558 0.09524 0.02355 0.1535 1.313 1.103 0.07364 0.09024 1 1 0.05379 0.4221 0.9596 0.1065 0.8356 1.9 json
t12_x17_u4_b12 12 17 4 12 cil(sub(D,sub(R,R))) 34083 98134845 o1(o2(x,o2(x,x))) true 102511 102511 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
t12_x17_u4_b13 12 17 4 13 cil(sub(D,mlt(R,R))) 34084 98134846 o1(o2(x,o2(x,x))) true 102519 102519 0.1519 0.6953 0.2534 0.1283 0.3581 -0.9991 0.9997 1.999 1 4.001 0.043 0.00143 0.1177 0.9356 1 -0.00000367 0.08489 0.1319 0.03058 0.1749 1.486 0.9994 0.3464 0.6618 1 1 0.0441 0.1561 0.1925 0.3438 1.217 1.501 json
t12_x17_u4_b14 12 17 4 14 cil(sub(D,div(R,R))) 34085 98134847 o1(o2(x,o2(x,x))) true 102527 102527 -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
t12_x17_u4_b15 12 17 4 15 cil(sub(D,pow(R,R))) 34086 98134848 o1(o2(x,o2(x,x))) true 102535 102535 -0.9692 0.006699 0.9694 0.02502 0.1582 -1 0.1389 1.139 1 0.405 0.006044 0.002598 0.01184 0.3987 1 0.000002457 0.01906 0.01961 0.008507 0.09223 7.792 1.415 0.3454 0.762 1 1 0.006081 0.01883 0.03994 0.2431 0.7528 1.596 json
t12_x17_u4_b16 12 17 4 16 cil(sub(D,mod(R,R))) 34087 98134849 o1(o2(x,o2(x,x))) true 102543 102543 0.5096 0.9859 0.5169 0.1477 0.3843 -0.9855 1 1.985 1 3.636 0.0548 0.0007538 0.1198 0.9729 1 0.000008716 0.1027 0.13 0.0412 0.203 1.694 0.9997 0.3761 0.6952 1 1 0.05839 0.2109 0.1313 0.3953 1.428 0.8886 json
t12_x17_u4_b17 12 17 4 17 cil(sub(D,lrg(R,R))) 34088 98134850 o1(o2(x,o2(x,x))) true 102551 102551 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
t12_x17_u4_b18 12 17 4 18 cil(sub(D,eql(R,R))) 34089 98134851 o1(o2(x,o2(x,x))) true 102559 102559 -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
t12_x17_u4_b19 12 17 4 19 cil(sub(D,min(R,R))) 34090 98134852 o1(o2(x,o2(x,x))) true 102567 102567 0.4573 0.8304 0.5286 0.217 0.4658 -0.9988 1 1.999 1 4.033 0.03258 0.003315 0.1115 0.8153 1 0.00005451 0.06363 0.1154 0.02347 0.1532 1.374 1 0.1654 0.2932 1 1 0.03879 0.1924 0.391 0.1788 0.8867 1.802 json
t12_x17_u4_b20 12 17 4 20 cil(sub(D,dot(R,R))) 34091 98134853 o1(o2(x,o2(x,x))) true 102575 102575 -0.4937 0.08667 0.529 0.1798 0.4241 -1 0.9988 1.999 1 3.95 0.03211 0.002687 0.108 0.8456 1 -0.0007587 0.06503 0.1155 0.02314 0.1521 1.409 0.9997 0.1935 0.3616 1 1 0.03835 0.1733 0.3052 0.2133 0.9639 1.697 json
t12_x17_u4_b21 12 17 4 21 cil(sub(D,dst(R,R))) 34092 98134854 o1(o2(x,o2(x,x))) true 102583 102583 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
t12_x17_u4_b22 12 17 4 22 cil(mlt(D,add(R,R))) 34093 98134855 o1(o2(x,o2(x,x))) true 102591 102591 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
t12_x17_u4_b23 12 17 4 23 cil(mlt(D,sub(R,R))) 34094 98134856 o1(o2(x,o2(x,x))) true 102599 102599 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_x17_u4_b24 12 17 4 24 cil(mlt(D,mlt(R,R))) 34095 98134857 o1(o2(x,o2(x,x))) true 102607 102607 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
t12_x17_u4_b25 12 17 4 25 cil(mlt(D,div(R,R))) 34096 98134858 o1(o2(x,o2(x,x))) true 102615 102615 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
t12_x17_u4_b26 12 17 4 26 cil(mlt(D,pow(R,R))) 34097 98134859 o1(o2(x,o2(x,x))) true 102623 102623 -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
t12_x17_u4_b27 12 17 4 27 cil(mlt(D,mod(R,R))) 34098 98134860 o1(o2(x,o2(x,x))) true 102631 102631 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
t12_x17_u4_b28 12 17 4 28 cil(mlt(D,lrg(R,R))) 34099 98134861 o1(o2(x,o2(x,x))) true 102639 102639 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