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_x26_u3_b27 12 26 3 27 flr(mlt(R,mod(R,R))) 41600 98498268 o1(o2(x,o2(x,x))) true 12807 12807 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_x26_u3_b28 12 26 3 28 flr(mlt(R,lrg(R,R))) 41601 98498269 o1(o2(x,o2(x,x))) true 12815 12815 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_x26_u3_b29 12 26 3 29 flr(mlt(R,eql(R,R))) 41602 98498270 o1(o2(x,o2(x,x))) true 12823 12823 -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
t12_x26_u3_b30 12 26 3 30 flr(mlt(R,min(R,R))) 41603 98498271 o1(o2(x,o2(x,x))) true 12831 12831 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_x26_u3_b31 12 26 3 31 flr(mlt(R,dot(R,R))) 41604 98498272 o1(o2(x,o2(x,x))) true 12839 12839 -0.4106 0.1975 0.5995 0.3323 0.5765 -1 1 2 1 4.099 0.004897 0.005669 0.07331 -0.07304 1 0.00006398 0.001324 0.02006 0.005193 0.07206 0.983 0.4675 0.0318 0.003984 1 1 0.02012 0.2385 0.6729 0.06055 0.7178 2.025 json
t12_x26_u3_b32 12 26 3 32 flr(mlt(R,dst(R,R))) 41605 98498273 o1(o2(x,o2(x,x))) true 12847 12847 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_x26_u3_b33 12 26 3 33 flr(div(R,add(R,R))) 41606 98498274 o1(o2(x,o2(x,x))) true 12855 12855 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_x26_u3_b34 12 26 3 34 flr(div(R,sub(R,R))) 41607 98498275 o1(o2(x,o2(x,x))) true 12863 12863 -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_x26_u3_b35 12 26 3 35 flr(div(R,mlt(R,R))) 41608 98498276 o1(o2(x,o2(x,x))) true 12871 12871 -0.1544 0.4291 0.896 0.8353 0.914 -1 1 2 1 2.496 0.03132 0.03861 0.1103 -0.1042 1 0.00008415 0.07206 0.08537 0.0578 0.2404 2.181 2.828 0.08372 0.08627 1 1 0.1056 0.7423 1.638 0.1264 0.8886 1.961 json
t12_x26_u3_b36 12 26 3 36 flr(div(R,div(R,R))) 41609 98498277 o1(o2(x,o2(x,x))) true 12879 12879 -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
t12_x26_u3_b37 12 26 3 37 flr(div(R,pow(R,R))) 41610 98498278 o1(o2(x,o2(x,x))) true 12887 12887 -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_x26_u3_b38 12 26 3 38 flr(div(R,mod(R,R))) 41611 98498279 o1(o2(x,o2(x,x))) true 12895 12895 -0.957 0.01563 0.9883 0.07243 0.2691 -1 1 2 1 0.2078 0.008566 0.007055 0.008969 0.09677 1 0 0.03294 0.01798 0.01553 0.1246 13.9 2.828 0.2157 0.4548 1 1 0.02748 0.1099 0.2223 0.3794 1.517 3.069 json
t12_x26_u3_b39 12 26 3 39 flr(div(R,lrg(R,R))) 41612 98498280 o1(o2(x,o2(x,x))) true 12903 12903 -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_x26_u3_b40 12 26 3 40 flr(div(R,eql(R,R))) 41613 98498281 o1(o2(x,o2(x,x))) true 12911 12911 -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
t12_x26_u3_b41 12 26 3 41 flr(div(R,min(R,R))) 41614 98498282 o1(o2(x,o2(x,x))) true 12919 12919 0.7773 0.9859 0.7773 0.1126 0.3356 0 1 1 1 2.476 0.001358 0.001414 0.03255 -0.02029 1 0.00001567 0.0001641 0.007924 0.001712 0.04138 1.271 0.1169 0.02461 0.001457 1 1 0.005968 0.07693 0.2257 0.05299 0.6831 2.004 json
t12_x26_u3_b42 12 26 3 42 flr(div(R,dot(R,R))) 41615 98498283 o1(o2(x,o2(x,x))) true 12927 12927 -0.4886 0.0808 0.5596 0.2274 0.4769 -1 1 2 1 3.829 0.003431 0.00397 0.0607 -0.07285 1 -0.00004004 0.001076 0.01703 0.003715 0.06095 1.004 0.8218 0.03254 0.004732 1 1 0.01154 0.1399 0.3646 0.05074 0.6153 1.603 json
t12_x26_u3_b43 12 26 3 43 flr(div(R,dst(R,R))) 41616 98498284 o1(o2(x,o2(x,x))) true 12935 12935 -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_x26_u3_b44 12 26 3 44 flr(pow(R,add(R,R))) 41617 98498285 o1(o2(x,o2(x,x))) true 12943 12943 -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_x26_u3_b45 12 26 3 45 flr(pow(R,sub(R,R))) 41618 98498286 o1(o2(x,o2(x,x))) true 12951 12951 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_x26_u3_b46 12 26 3 46 flr(pow(R,mlt(R,R))) 41619 98498287 o1(o2(x,o2(x,x))) true 12959 12959 -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_x26_u3_b47 12 26 3 47 flr(pow(R,div(R,R))) 41620 98498288 o1(o2(x,o2(x,x))) true 12967 12967 -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_x26_u3_b48 12 26 3 48 flr(pow(R,pow(R,R))) 41621 98498289 o1(o2(x,o2(x,x))) true 12975 12975 -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_x26_u3_b49 12 26 3 49 flr(pow(R,mod(R,R))) 41622 98498290 o1(o2(x,o2(x,x))) true 12983 12983 0.1689 0.6129 0.9424 0.895 0.9461 -1 1 2 1 1.845 0.05687 0.06105 0.07111 -0.0354 1 0.00002566 0.2424 0.1245 0.1128 0.3359 4.724 2.828 0.1318 0.2708 1 1 0.1096 0.4551 1.677 0.1224 0.5085 1.874 json
t12_x26_u3_b50 12 26 3 50 flr(pow(R,lrg(R,R))) 41623 98498291 o1(o2(x,o2(x,x))) true 12991 12991 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_x26_u3_b51 12 26 3 51 flr(pow(R,eql(R,R))) 41624 98498292 o1(o2(x,o2(x,x))) true 12999 12999 -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
t12_x26_u3_b52 12 26 3 52 flr(pow(R,min(R,R))) 41625 98498293 o1(o2(x,o2(x,x))) true 13007 13007 -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_x26_u3_b53 12 26 3 53 flr(pow(R,dot(R,R))) 41626 98498294 o1(o2(x,o2(x,x))) true 13015 13015 -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_x26_u3_b54 12 26 3 54 flr(pow(R,dst(R,R))) 41627 98498295 o1(o2(x,o2(x,x))) true 13023 13023 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_x26_u3_b55 12 26 3 55 flr(mod(R,add(R,R))) 41628 98498296 o1(o2(x,o2(x,x))) true 13031 13031 -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
t12_x26_u3_b56 12 26 3 56 flr(mod(R,sub(R,R))) 41629 98498297 o1(o2(x,o2(x,x))) true 13039 13039 -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
t12_x26_u3_b57 12 26 3 57 flr(mod(R,mlt(R,R))) 41630 98498298 o1(o2(x,o2(x,x))) true 13047 13047 -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
t12_x26_u3_b58 12 26 3 58 flr(mod(R,div(R,R))) 41631 98498299 o1(o2(x,o2(x,x))) true 13055 13055 -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
t12_x26_u3_b59 12 26 3 59 flr(mod(R,pow(R,R))) 41632 98498300 o1(o2(x,o2(x,x))) true 13063 13063 -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_x26_u3_b60 12 26 3 60 flr(mod(R,mod(R,R))) 41633 98498301 o1(o2(x,o2(x,x))) true 13071 13071 -0.9932 0 0.9932 0.005668 0.07528 -1 -8.471e-8 1 1 0.1118 0.0008262 0.0003224 0.00184 0.4386 1 4.13e-11 0.002374 0.002651 0.001143 0.03381 18.37 1.414 0.2027 0.4188 1 1 0.002107 0.00937 0.02008 0.3718 1.653 3.543 json
t12_x26_u3_b61 12 26 3 61 flr(mod(R,lrg(R,R))) 41634 98498302 o1(o2(x,o2(x,x))) true 13079 13079 -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_x26_u3_b62 12 26 3 62 flr(mod(R,eql(R,R))) 41635 98498303 o1(o2(x,o2(x,x))) true 13087 13087 -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
t12_x26_u3_b63 12 26 3 63 flr(mod(R,min(R,R))) 41636 98498304 o1(o2(x,o2(x,x))) true 13095 13095 -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
t12_x26_u3_b64 12 26 3 64 flr(mod(R,dot(R,R))) 41637 98498305 o1(o2(x,o2(x,x))) true 13103 13103 -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
t12_x26_u3_b65 12 26 3 65 flr(mod(R,dst(R,R))) 41638 98498306 o1(o2(x,o2(x,x))) true 13111 13111 -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
t12_x26_u3_b66 12 26 3 66 flr(lrg(R,add(R,R))) 41639 98498307 o1(o2(x,o2(x,x))) true 13119 13119 0.5176 0.9429 0.5176 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_x26_u3_b67 12 26 3 67 flr(lrg(R,sub(R,R))) 41640 98498308 o1(o2(x,o2(x,x))) true 13127 13127 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_x26_u3_b68 12 26 3 68 flr(lrg(R,mlt(R,R))) 41641 98498309 o1(o2(x,o2(x,x))) true 13135 13135 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_x26_u3_b69 12 26 3 69 flr(lrg(R,div(R,R))) 41642 98498310 o1(o2(x,o2(x,x))) true 13143 13143 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_x26_u3_b70 12 26 3 70 flr(lrg(R,pow(R,R))) 41643 98498311 o1(o2(x,o2(x,x))) true 13151 13151 0.5176 0.9429 0.5176 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_x26_u3_b71 12 26 3 71 flr(lrg(R,mod(R,R))) 41644 98498312 o1(o2(x,o2(x,x))) true 13159 13159 0.3848 0.8206 0.3848 0.1489 0.3858 0 1 1 1 3.25 0.001789 0.002259 0.04751 -0.1163 1 0.00002211 0.0002367 0.01155 0.001791 0.04232 0.8907 0.1169 0.02719 0.00159 1 1 0.007789 0.1006 0.2719 0.05232 0.6755 1.826 json
t12_x26_u3_b72 12 26 3 72 flr(lrg(R,lrg(R,R))) 41645 98498313 o1(o2(x,o2(x,x))) true 13167 13167 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_x26_u3_b73 12 26 3 73 flr(lrg(R,eql(R,R))) 41646 98498314 o1(o2(x,o2(x,x))) true 13175 13175 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_x26_u3_b74 12 26 3 74 flr(lrg(R,min(R,R))) 41647 98498315 o1(o2(x,o2(x,x))) true 13183 13183 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_x26_u3_b75 12 26 3 75 flr(lrg(R,dot(R,R))) 41648 98498316 o1(o2(x,o2(x,x))) true 13191 13191 0.04492 0.1664 0.04492 0.02567 0.1602 0 0.9994 0.9994 1 0.855 0.0003876 0.0003931 0.00933 -0.006982 1 -0.00002851 0.00004682 0.002245 0.0006941 0.02635 2.824 0.1169 0.03041 0.001824 1 1 0.0007129 0.009093 0.02817 0.02777 0.3542 1.097 json
t12_x26_u3_b76 12 26 3 76 flr(lrg(R,dst(R,R))) 41649 98498317 o1(o2(x,o2(x,x))) true 13199 13199 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_x26_u3_b77 12 26 3 77 flr(eql(R,add(R,R))) 41650 98498318 o1(o2(x,o2(x,x))) true 13207 13207 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_x26_u3_b78 12 26 3 78 flr(eql(R,sub(R,R))) 41651 98498319 o1(o2(x,o2(x,x))) true 13215 13215 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_x26_u3_b79 12 26 3 79 flr(eql(R,mlt(R,R))) 41652 98498320 o1(o2(x,o2(x,x))) true 13223 13223 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_x26_u3_b80 12 26 3 80 flr(eql(R,div(R,R))) 41653 98498321 o1(o2(x,o2(x,x))) true 13231 13231 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_x26_u3_b81 12 26 3 81 flr(eql(R,pow(R,R))) 41654 98498322 o1(o2(x,o2(x,x))) true 13239 13239 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_x26_u3_b82 12 26 3 82 flr(eql(R,mod(R,R))) 41655 98498323 o1(o2(x,o2(x,x))) true 13247 13247 0.2227 0.56 0.2227 0.1126 0.3356 0 1 1 1 2.476 0.001358 0.001414 0.03256 -0.02029 1 -0.00001568 0.0001641 0.007924 0.001712 0.04138 1.271 0.1169 0.02461 0.001457 1 1 0.005968 0.07693 0.2257 0.05299 0.6831 2.004 json
t12_x26_u3_b83 12 26 3 83 flr(eql(R,lrg(R,R))) 41656 98498324 o1(o2(x,o2(x,x))) true 13255 13255 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_x26_u3_b84 12 26 3 84 flr(eql(R,eql(R,R))) 41657 98498325 o1(o2(x,o2(x,x))) true 13263 13263 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_x26_u3_b85 12 26 3 85 flr(eql(R,min(R,R))) 41658 98498326 o1(o2(x,o2(x,x))) true 13271 13271 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_x26_u3_b86 12 26 3 86 flr(eql(R,dot(R,R))) 41659 98498327 o1(o2(x,o2(x,x))) true 13279 13279 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_x26_u3_b87 12 26 3 87 flr(eql(R,dst(R,R))) 41660 98498328 o1(o2(x,o2(x,x))) true 13287 13287 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_x26_u3_b88 12 26 3 88 flr(min(R,add(R,R))) 41661 98498329 o1(o2(x,o2(x,x))) true 13295 13295 -0.5879 0 0.5879 0.1686 0.4106 -1 0 1 1 3.171 0.002942 0.003582 0.05249 -0.09812 1 0.0001025 0.001255 0.01828 0.00377 0.0614 1.17 0.2278 0.03869 0.007444 1 1 0.01211 0.132 0.2957 0.0718 0.7826 1.754 json
t12_x26_u3_b89 12 26 3 89 flr(min(R,sub(R,R))) 41662 98498330 o1(o2(x,o2(x,x))) true 13303 13303 -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
t12_x26_u3_b90 12 26 3 90 flr(min(R,mlt(R,R))) 41663 98498331 o1(o2(x,o2(x,x))) true 13311 13311 -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
t12_x26_u3_b91 12 26 3 91 flr(min(R,div(R,R))) 41664 98498332 o1(o2(x,o2(x,x))) true 13319 13319 -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
t12_x26_u3_b92 12 26 3 92 flr(min(R,pow(R,R))) 41665 98498333 o1(o2(x,o2(x,x))) true 13327 13327 -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
t12_x26_u3_b93 12 26 3 93 flr(min(R,mod(R,R))) 41666 98498334 o1(o2(x,o2(x,x))) true 13335 13335 -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
t12_x26_u3_b94 12 26 3 94 flr(min(R,lrg(R,R))) 41667 98498335 o1(o2(x,o2(x,x))) true 13343 13343 -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
t12_x26_u3_b95 12 26 3 95 flr(min(R,eql(R,R))) 41668 98498336 o1(o2(x,o2(x,x))) true 13351 13351 -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
t12_x26_u3_b96 12 26 3 96 flr(min(R,min(R,R))) 41669 98498337 o1(o2(x,o2(x,x))) true 13359 13359 -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
t12_x26_u3_b97 12 26 3 97 flr(min(R,dot(R,R))) 41670 98498338 o1(o2(x,o2(x,x))) true 13367 13367 -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
t12_x26_u3_b98 12 26 3 98 flr(min(R,dst(R,R))) 41671 98498339 o1(o2(x,o2(x,x))) true 13375 13375 -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
t12_x26_u3_b99 12 26 3 99 flr(dot(R,add(R,R))) 41672 98498340 o1(o2(x,o2(x,x))) true 13383 13383 0.8635 0.9985 0.8635 0.08404 0.2899 8.471e-8 1 1 1 1.628 0.001921 0.002383 0.02827 -0.1074 1 -0.00004364 0.001367 0.01307 0.003502 0.05918 2.093 0.3474 0.05121 0.01626 1 1 0.007219 0.06921 0.1305 0.0859 0.8235 1.553 json
t12_x26_u3_b100 12 26 3 100 flr(dot(R,sub(R,R))) 41673 98498341 o1(o2(x,o2(x,x))) true 13391 13391 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_x26_u3_b101 12 26 3 101 flr(dot(R,mlt(R,R))) 41674 98498342 o1(o2(x,o2(x,x))) true 13399 13399 -0.4546 0.09958 0.5405 0.2428 0.4928 -1 1 2 1 3.911 0.003093 0.003551 0.05845 -0.069 1 0.00002113 0.0006218 0.01495 0.003228 0.05682 0.9721 0.3506 0.02736 0.002561 1 1 0.01313 0.1631 0.4572 0.05407 0.6717 1.883 json
t12_x26_u3_b102 12 26 3 102 flr(dot(R,div(R,R))) 41675 98498343 o1(o2(x,o2(x,x))) true 13407 13407 -0.3684 0.2237 0.5996 0.37 0.6083 -1 1 2 1 4.114 0.00631 0.006599 0.0789 -0.02241 1 0.00005719 0.002036 0.02323 0.006686 0.08176 1.036 0.4676 0.03489 0.005503 1 1 0.02732 0.3102 0.7092 0.07384 0.8385 1.917 json
t12_x26_u3_b103 12 26 3 103 flr(dot(R,pow(R,R))) 41676 98498344 o1(o2(x,o2(x,x))) true 13415 13415 -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_x26_u3_b104 12 26 3 104 flr(dot(R,mod(R,R))) 41677 98498345 o1(o2(x,o2(x,x))) true 13423 13423 0.03516 0.126 0.03516 0.021 0.1449 0 0.9997 0.9997 1 0.6846 0.0002807 0.0003256 0.007213 -0.0741 1 -0.00002851 0.00003554 0.001738 0.0005541 0.02354 3.264 0.1169 0.02887 0.001693 1 1 0.001377 0.01754 0.04296 0.06555 0.8352 2.046 json
t12_x26_u3_b105 12 26 3 105 flr(dot(R,lrg(R,R))) 41678 98498346 o1(o2(x,o2(x,x))) true 13431 13431 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_x26_u3_b106 12 26 3 106 flr(dot(R,eql(R,R))) 41679 98498347 o1(o2(x,o2(x,x))) true 13439 13439 -0.3684 0.2237 0.5996 0.37 0.6083 -1 1 2 1 4.114 0.00631 0.006599 0.0789 -0.02241 1 0.00005719 0.002036 0.02323 0.006686 0.08176 1.036 0.4676 0.03489 0.005503 1 1 0.02732 0.3102 0.7092 0.07384 0.8385 1.917 json
t12_x26_u3_b107 12 26 3 107 flr(dot(R,min(R,R))) 41680 98498348 o1(o2(x,o2(x,x))) true 13447 13447 0.5316 0.9067 0.5316 0.1625 0.4032 0 1 1 1 3.283 0.001992 0.00231 0.04762 -0.07385 1 -0.000008747 0.0003608 0.01226 0.002033 0.04509 0.9469 0.2265 0.02646 0.00222 1 1 0.008532 0.1064 0.3232 0.05249 0.6548 1.988 json
t12_x26_u3_b108 12 26 3 108 flr(dot(R,dot(R,R))) 41681 98498349 o1(o2(x,o2(x,x))) true 13455 13455 -0.3247 0.2568 0.6304 0.4375 0.6614 -1 1 2 1 4.037 0.007936 0.008744 0.08274 -0.04842 1 0.00006485 0.003946 0.02848 0.009833 0.09916 1.198 0.818 0.03813 0.009019 1 1 0.0367 0.3833 0.8753 0.0839 0.8762 2.001 json
t12_x26_u3_b109 12 26 3 109 flr(dot(R,dst(R,R))) 41682 98498350 o1(o2(x,o2(x,x))) true 13463 13463 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_x26_u3_b110 12 26 3 110 flr(dst(R,add(R,R))) 41683 98498351 o1(o2(x,o2(x,x))) true 13471 13471 0.5234 0.9064 0.5234 0.1603 0.4004 0 1 1 1 3.324 0.001857 0.002199 0.04748 -0.08437 1 -0.000005706 0.0002413 0.0116 0.001802 0.04245 0.894 0.1169 0.0253 0.001505 1 1 0.007899 0.1024 0.3171 0.04927 0.639 1.978 json
t12_x26_u3_b111 12 26 3 111 flr(dst(R,sub(R,R))) 41684 98498352 o1(o2(x,o2(x,x))) true 13479 13479 0.5234 0.9064 0.5234 0.1603 0.4004 0 1 1 1 3.324 0.001857 0.002199 0.04748 -0.08437 1 -0.000005706 0.0002413 0.0116 0.001802 0.04245 0.894 0.1169 0.0253 0.001505 1 1 0.007899 0.1024 0.3171 0.04927 0.639 1.978 json
t12_x26_u3_b112 12 26 3 112 flr(dst(R,mlt(R,R))) 41685 98498353 o1(o2(x,o2(x,x))) true 13487 13487 0.5187 0.9051 0.5187 0.169 0.4111 0 1 1 1 3.198 0.002149 0.002786 0.04877 -0.1291 1 -0.00004029 0.0006121 0.01373 0.002558 0.05058 1.037 0.2265 0.02921 0.003622 1 1 0.009467 0.1136 0.2885 0.05602 0.672 1.707 json
t12_x26_u3_b113 12 26 3 113 flr(dst(R,div(R,R))) 41686 98498354 o1(o2(x,o2(x,x))) true 13495 13495 0.9474 1 0.9474 0.03317 0.1821 0.000291 1 0.9997 1 0.8671 0.0007426 0.0009144 0.01281 -0.1037 1 -1.029e-9 0.000388 0.00516 0.001494 0.03866 3.018 0.2278 0.04995 0.0117 1 1 0.004282 0.0448 0.07552 0.1291 1.35 2.277 json
t12_x26_u3_b114 12 26 3 114 flr(dst(R,pow(R,R))) 41687 98498355 o1(o2(x,o2(x,x))) true 13503 13503 -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_x26_u3_b115 12 26 3 115 flr(dst(R,mod(R,R))) 41688 98498356 o1(o2(x,o2(x,x))) true 13511 13511 0.3613 0.7863 0.3613 0.1444 0.38 0 1 1 1 3.186 0.00182 0.002078 0.0457 -0.06601 1 0.00002495 0.0002355 0.01121 0.00181 0.04254 0.931 0.1169 0.02699 0.001631 1 1 0.007553 0.09752 0.286 0.0523 0.6753 1.98 json
t12_x26_u3_b116 12 26 3 116 flr(dst(R,lrg(R,R))) 41689 98498357 o1(o2(x,o2(x,x))) true 13519 13519 0.5234 0.9064 0.5234 0.1603 0.4004 0 1 1 1 3.324 0.001857 0.002199 0.04748 -0.08437 1 -0.000005706 0.0002413 0.0116 0.001802 0.04245 0.894 0.1169 0.0253 0.001505 1 1 0.007899 0.1024 0.3171 0.04927 0.639 1.978 json
t12_x26_u3_b117 12 26 3 117 flr(dst(R,eql(R,R))) 41690 98498358 o1(o2(x,o2(x,x))) true 13527 13527 0.9474 1 0.9474 0.03317 0.1821 0.000291 1 0.9997 1 0.8671 0.0007426 0.0009144 0.01281 -0.1037 1 -1.029e-9 0.000388 0.00516 0.001494 0.03866 3.018 0.2278 0.04995 0.0117 1 1 0.004282 0.0448 0.07552 0.1291 1.35 2.277 json
t12_x26_u3_b118 12 26 3 118 flr(dst(R,min(R,R))) 41691 98498359 o1(o2(x,o2(x,x))) true 13535 13535 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_x26_u3_b119 12 26 3 119 flr(dst(R,dot(R,R))) 41692 98498360 o1(o2(x,o2(x,x))) true 13543 13543 0.8677 0.9952 0.8677 0.08057 0.2838 0 1 1 1 1.636 0.001675 0.002279 0.02714 -0.1528 1 -0.00005427 0.001235 0.01203 0.003217 0.05672 2.09 0.3454 0.04908 0.01533 1 1 0.006973 0.06816 0.1351 0.08655 0.846 1.677 json
t12_x26_u3_b120 12 26 3 120 flr(dst(R,dst(R,R))) 41693 98498361 o1(o2(x,o2(x,x))) true 13551 13551 0.5234 0.9064 0.5234 0.1603 0.4004 0 1 1 1 3.324 0.001857 0.002199 0.04748 -0.08437 1 -0.000005706 0.0002413 0.0116 0.001802 0.04245 0.894 0.1169 0.0253 0.001505 1 1 0.007899 0.1024 0.3171 0.04927 0.639 1.978 json
t12_x26_u4_b0 12 26 4 0 cil(add(R,add(R,R))) 41694 98498442 o1(o2(x,o2(x,x))) true 13559 13559 0.2515 0.6251 0.7545 0.6209 0.788 -1 1 2 1 3.563 0.01291 0.01417 0.0964 -0.04631 1 -0.0000908 0.007584 0.03992 0.01778 0.1333 1.383 0.5845 0.04361 0.01221 1 1 0.05173 0.5016 1.081 0.08331 0.8079 1.741 json
t12_x26_u4_b1 12 26 4 1 cil(add(R,sub(R,R))) 41695 98498443 o1(o2(x,o2(x,x))) true 13567 13567 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_x26_u4_b2 12 26 4 2 cil(add(R,mlt(R,R))) 41696 98498444 o1(o2(x,o2(x,x))) true 13575 13575 0.5509 0.9172 0.5509 0.1736 0.4167 0 1 1 1 3.048 0.002893 0.00355 0.05231 -0.102 1 -0.00008561 0.001216 0.01812 0.003706 0.06088 1.164 0.2278 0.03711 0.007004 1 1 0.0127 0.1387 0.3283 0.07312 0.7988 1.89 json
t12_x26_u4_b3 12 26 4 3 cil(add(R,div(R,R))) 41697 98498445 o1(o2(x,o2(x,x))) true 13583 13583 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_x26_u4_b4 12 26 4 4 cil(add(R,pow(R,R))) 41698 98498446 o1(o2(x,o2(x,x))) true 13591 13591 -0.9141 0.04297 1 0.1645 0.4056 -1 1 2 1 0.2557 0.01688 0.01638 0.01652 0.01515 1 0 0.06954 0.03326 0.03297 0.1816 10.99 2.828 0.2022 0.4228 1 1 0.02543 0.1095 0.2757 0.1546 0.6659 1.676 json
t12_x26_u4_b5 12 26 4 5 cil(add(R,mod(R,R))) 41699 98498447 o1(o2(x,o2(x,x))) true 13599 13599 0.4438 0.8492 0.5051 0.2105 0.4588 -0.9994 1 1.999 1 3.832 0.00297 0.003645 0.06053 -0.1021 1 -0.00002299 0.0005403 0.01524 0.002952 0.05433 0.8975 0.3506 0.03143 0.002567 1 1 0.01414 0.178 0.4246 0.06718 0.8457 2.017 json