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_x25_u4_b53 12 25 4 53 cil(pow(R,dot(R,D))) 40900 98458094 o1(o2(x,o2(x,x))) true 7207 7207 -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_x25_u4_b54 12 25 4 54 cil(pow(R,dst(R,D))) 40901 98458095 o1(o2(x,o2(x,x))) true 7215 7215 -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_x25_u4_b55 12 25 4 55 cil(mod(R,add(R,D))) 40902 98458096 o1(o2(x,o2(x,x))) true 7223 7223 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_x25_u4_b56 12 25 4 56 cil(mod(R,sub(R,D))) 40903 98458097 o1(o2(x,o2(x,x))) true 7231 7231 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_x25_u4_b57 12 25 4 57 cil(mod(R,mlt(R,D))) 40904 98458098 o1(o2(x,o2(x,x))) true 7239 7239 0.4343 0.882 0.4343 0.1546 0.3932 0 1 1 1 3.336 0.04002 0.002202 0.09193 0.8957 1 -0.00001924 0.07771 0.1002 0.03377 0.1838 1.999 0.9997 0.2731 0.5026 1 1 0.04368 0.1269 0.2622 0.2825 0.8209 1.696 json
t12_x25_u4_b58 12 25 4 58 cil(mod(R,div(R,D))) 40905 98458099 o1(o2(x,o2(x,x))) true 7247 7247 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_x25_u4_b59 12 25 4 59 cil(mod(R,pow(R,D))) 40906 98458100 o1(o2(x,o2(x,x))) true 7255 7255 -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_x25_u4_b60 12 25 4 60 cil(mod(R,mod(R,D))) 40907 98458101 o1(o2(x,o2(x,x))) true 7263 7263 0.3918 0.7764 0.3918 0.1505 0.388 0 1 1 1 3.248 0.01296 0.002109 0.06289 0.7201 1 0.0003068 0.02229 0.04604 0.01112 0.1054 1.677 0.9994 0.1001 0.1481 1 1 0.01632 0.123 0.2863 0.1084 0.8171 1.902 json
t12_x25_u4_b61 12 25 4 61 cil(mod(R,lrg(R,D))) 40908 98458102 o1(o2(x,o2(x,x))) true 7271 7271 -0.8662 0.06885 0.9961 0.2431 0.4931 -1 1 2 1 0.4605 0.09488 0.02107 0.05994 0.6365 1 0.000009529 0.2584 0.1185 0.1123 0.3351 5.59 2.828 0.4769 1.063 1 1 0.1046 0.3074 0.4584 0.4304 1.264 1.885 json
t12_x25_u4_b62 12 25 4 62 cil(mod(R,eql(R,D))) 40909 98458103 o1(o2(x,o2(x,x))) true 7279 7279 -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_x25_u4_b63 12 25 4 63 cil(mod(R,min(R,D))) 40910 98458104 o1(o2(x,o2(x,x))) true 7287 7287 0.4368 0.8556 0.4368 0.1528 0.3909 0 1 1 1 3.373 0.008068 0.002288 0.05882 0.5582 1 0.00001927 0.01283 0.03154 0.006896 0.08304 1.412 0.9994 0.06777 0.08394 1 1 0.01296 0.1211 0.2926 0.08484 0.7924 1.915 json
t12_x25_u4_b64 12 25 4 64 cil(mod(R,dot(R,D))) 40911 98458105 o1(o2(x,o2(x,x))) true 7295 7295 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_x25_u4_b65 12 25 4 65 cil(mod(R,dst(R,D))) 40912 98458106 o1(o2(x,o2(x,x))) true 7303 7303 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_x25_u4_b66 12 25 4 66 cil(lrg(R,add(R,D))) 40913 98458107 o1(o2(x,o2(x,x))) true 7311 7311 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_x25_u4_b67 12 25 4 67 cil(lrg(R,sub(R,D))) 40914 98458108 o1(o2(x,o2(x,x))) true 7319 7319 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_x25_u4_b68 12 25 4 68 cil(lrg(R,mlt(R,D))) 40915 98458109 o1(o2(x,o2(x,x))) true 7327 7327 0.4824 0.9145 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_x25_u4_b69 12 25 4 69 cil(lrg(R,div(R,D))) 40916 98458110 o1(o2(x,o2(x,x))) true 7335 7335 0.4961 0.9456 0.4961 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
t12_x25_u4_b70 12 25 4 70 cil(lrg(R,pow(R,D))) 40917 98458111 o1(o2(x,o2(x,x))) true 7343 7343 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_x25_u4_b71 12 25 4 71 cil(lrg(R,mod(R,D))) 40918 98458112 o1(o2(x,o2(x,x))) true 7351 7351 0.3647 0.7224 0.3647 0.1478 0.3845 0 1 1 1 3.153 0.01733 0.002075 0.06752 0.7862 1 0.0003313 0.03118 0.0595 0.01485 0.1219 1.805 0.9994 0.1313 0.2109 1 1 0.02057 0.1314 0.2727 0.1392 0.8891 1.845 json
t12_x25_u4_b72 12 25 4 72 cil(lrg(R,lrg(R,D))) 40919 98458113 o1(o2(x,o2(x,x))) true 7359 7359 0.05923 0.3556 0.05923 0.02567 0.1602 0 0.9994 0.9994 1 1.251 0.008427 0.0003582 0.02849 0.9185 1 -0.00004931 0.01697 0.0305 0.007977 0.08931 3.135 0.9994 0.3423 0.6611 1 1 0.007699 0.02811 0.04308 0.3 1.095 1.679 json
t12_x25_u4_b73 12 25 4 73 cil(lrg(R,eql(R,D))) 40920 98458114 o1(o2(x,o2(x,x))) true 7367 7367 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_x25_u4_b74 12 25 4 74 cil(lrg(R,min(R,D))) 40921 98458115 o1(o2(x,o2(x,x))) true 7375 7375 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
t12_x25_u4_b75 12 25 4 75 cil(lrg(R,dot(R,D))) 40922 98458116 o1(o2(x,o2(x,x))) true 7383 7383 0.4865 0.905 0.4865 0.1558 0.3947 0 1 1 1 3.396 0.004702 0.01157 0.06797 -0.4221 1 0.00006323 0.03608 0.05622 0.01165 0.108 1.588 1.404 0.1044 0.2316 1 1 0.01916 0.1366 0.2882 0.1229 0.877 1.849 json
t12_x25_u4_b76 12 25 4 76 cil(lrg(R,dst(R,D))) 40923 98458117 o1(o2(x,o2(x,x))) true 7391 7391 0.03494 0.153 0.03494 0.01758 0.1326 0 0.9926 0.9926 1 0.7688 0.004824 0.003409 0.01889 0.1719 1 -0.0001942 0.02592 0.02597 0.007878 0.08876 4.699 1.404 0.4683 1.475 1 1 0.006816 0.02462 0.02849 0.3878 1.4 1.621 json
t12_x25_u4_b77 12 25 4 77 cil(eql(R,add(R,D))) 40924 98458118 o1(o2(x,o2(x,x))) true 7399 7399 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_x25_u4_b78 12 25 4 78 cil(eql(R,sub(R,D))) 40925 98458119 o1(o2(x,o2(x,x))) true 7407 7407 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_x25_u4_b79 12 25 4 79 cil(eql(R,mlt(R,D))) 40926 98458120 o1(o2(x,o2(x,x))) true 7415 7415 2.132e-7 0.000824 2.132e-7 4.854e-11 0.000006967 0 0.000291 0.000291 1 0 1.003e-10 7.118e-13 4.44e-7 0.9859 0 -1.038e-10 3.039e-10 8.803e-7 1.008e-10 0.00001004 22.61 0.000291 2.082 6.261 1 1 6.049e-11 8.031e-11 1.177e-10 1.246 1.655 2.424 json
t12_x25_u4_b80 12 25 4 80 cil(eql(R,div(R,D))) 40927 98458121 o1(o2(x,o2(x,x))) true 7423 7423 7.106e-8 0.0002747 7.106e-8 1.62e-11 0.000004025 0 0.000291 0.000291 1 0 3.345e-11 2.372e-13 1.48e-7 0.9859 0 -1.038e-10 1.013e-10 2.934e-7 3.366e-11 0.000005802 39.21 0.000291 2.079 6.253 1 1 0 0 0 0 0 0 json
t12_x25_u4_b81 12 25 4 81 cil(eql(R,pow(R,D))) 40928 98458122 o1(o2(x,o2(x,x))) true 7431 7431 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_x25_u4_b82 12 25 4 82 cil(eql(R,mod(R,D))) 40929 98458123 o1(o2(x,o2(x,x))) true 7439 7439 0.2693 0.9401 0.2693 0.1142 0.3379 0 1 1 1 2.991 0.03728 0.001281 0.09495 0.9335 1 -0.0006337 0.07144 0.1198 0.02955 0.1719 1.81 0.9994 0.3377 0.6257 1 1 0.03933 0.1354 0.168 0.3445 1.186 1.471 json
t12_x25_u4_b83 12 25 4 83 cil(eql(R,lrg(R,D))) 40930 98458124 o1(o2(x,o2(x,x))) true 7447 7447 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_x25_u4_b84 12 25 4 84 cil(eql(R,eql(R,D))) 40931 98458125 o1(o2(x,o2(x,x))) true 7455 7455 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_x25_u4_b85 12 25 4 85 cil(eql(R,min(R,D))) 40932 98458126 o1(o2(x,o2(x,x))) true 7463 7463 0.5009 0.9274 0.5009 0.1466 0.3829 0 1 1 1 3.529 0.0202 0.00212 0.08082 0.81 1 -0.00001403 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
t12_x25_u4_b86 12 25 4 86 cil(eql(R,dot(R,D))) 40933 98458127 o1(o2(x,o2(x,x))) true 7471 7471 0.00009826 0.000351 0.00009826 0.0000607 0.007791 0 0.8991 0.8991 1 0.003532 0.0001253 0.0001253 0.0003462 0 1 0 0.001253 0.0008112 0.0002505 0.01583 45.71 1.271 4.129 20.65 1 1 0.0001569 0.0001561 0.0001449 2.584 2.571 2.387 json
t12_x25_u4_b87 12 25 4 87 cil(eql(R,dst(R,D))) 40934 98458128 o1(o2(x,o2(x,x))) true 7479 7479 0.00003112 0.0001068 0.00003112 0.00001826 0.004274 0 0.9414 0.9414 1 0.001536 0.0000377 0.0000377 0.0001096 0 0 7.997e-10 0.000377 0.0002569 0.00007538 0.008682 79.18 1.331 4.128 20.64 1 1 0.00005579 0.00005579 0.0000558 3.055 3.055 3.055 json
t12_x25_u4_b88 12 25 4 88 cil(min(R,add(R,D))) 40935 98458129 o1(o2(x,o2(x,x))) true 7487 7487 0.3522 0.7604 0.443 0.2117 0.4601 -0.9994 1 1.999 1 4.197 0.02052 0.003039 0.08913 0.742 1 0.0008008 0.03639 0.06997 0.01561 0.1249 1.402 0.9994 0.1112 0.1719 1 1 0.02694 0.1768 0.3713 0.1272 0.8351 1.754 json
t12_x25_u4_b89 12 25 4 89 cil(min(R,sub(R,D))) 40936 98458130 o1(o2(x,o2(x,x))) true 7495 7495 0.3543 0.7507 0.44 0.2106 0.459 -0.9994 1 1.999 1 4.149 0.01998 0.003003 0.0876 0.7387 1 0.0000715 0.03633 0.07004 0.01532 0.1238 1.413 0.9997 0.1091 0.1725 1 1 0.0258 0.1721 0.3718 0.1225 0.817 1.765 json
t12_x25_u4_b90 12 25 4 90 cil(min(R,mlt(R,D))) 40937 98458131 o1(o2(x,o2(x,x))) true 7503 7503 0.2432 0.7246 0.2432 0.1087 0.3297 0 0.9997 0.9997 1 2.8 0.02738 0.00118 0.07029 0.9174 1 -0.00000142 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_x25_u4_b91 12 25 4 91 cil(min(R,div(R,D))) 40938 98458132 o1(o2(x,o2(x,x))) true 7511 7511 -0.2231 0.3996 0.577 0.4395 0.663 -1 0.9997 2 1 4.083 0.1356 0.01033 0.1843 0.8584 1 -0.0006789 0.2655 0.2441 0.1119 0.3346 1.815 2.017 0.3319 0.604 1 1 0.1619 0.6978 0.713 0.3683 1.588 1.622 json
t12_x25_u4_b92 12 25 4 92 cil(min(R,pow(R,D))) 40939 98458133 o1(o2(x,o2(x,x))) true 7519 7519 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_x25_u4_b93 12 25 4 93 cil(min(R,mod(R,D))) 40940 98458134 o1(o2(x,o2(x,x))) true 7527 7527 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_x25_u4_b94 12 25 4 94 cil(min(R,lrg(R,D))) 40941 98458135 o1(o2(x,o2(x,x))) true 7535 7535 0.4232 0.8335 0.4232 0.1518 0.3896 0 1 1 1 3.35 0.01015 0.002268 0.0614 0.6347 1 0.0000315 0.01717 0.03834 0.00865 0.093 1.515 0.9994 0.0818 0.1131 1 1 0.01515 0.1243 0.2844 0.09979 0.819 1.874 json
t12_x25_u4_b95 12 25 4 95 cil(min(R,eql(R,D))) 40942 98458136 o1(o2(x,o2(x,x))) true 7543 7543 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_x25_u4_b96 12 25 4 96 cil(min(R,min(R,D))) 40943 98458137 o1(o2(x,o2(x,x))) true 7551 7551 0.2432 0.7246 0.2432 0.1087 0.3297 0 0.9997 0.9997 1 2.8 0.02738 0.00118 0.07029 0.9174 1 -0.00000142 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_x25_u4_b97 12 25 4 97 cil(min(R,dot(R,D))) 40944 98458138 o1(o2(x,o2(x,x))) true 7559 7559 0.2451 0.6676 0.2459 0.1082 0.329 -0.195 1 1.195 1 3.012 0.01769 0.01756 0.07627 0.003747 1 -0.000155 0.1103 0.0937 0.02943 0.1716 2.249 1.413 0.3256 1.019 1 1 0.03721 0.1588 0.1952 0.3438 1.467 1.804 json
t12_x25_u4_b98 12 25 4 98 cil(min(R,dst(R,D))) 40945 98458139 o1(o2(x,o2(x,x))) true 7567 7567 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_x25_u4_b99 12 25 4 99 cil(dot(R,add(R,D))) 40946 98458140 o1(o2(x,o2(x,x))) true 7575 7575 0.9964 1 0.9964 0.001156 0.034 0.03547 1 0.9645 1 0.1528 0.0004762 0.0005362 0.003582 -0.05925 1 0.000005208 0.003354 0.005501 0.0009992 0.03161 8.825 1.364 0.8759 2.901 1 1 0.000542 0.001151 0.001288 0.4689 0.9956 1.115 json
t12_x25_u4_b100 12 25 4 100 cil(dot(R,sub(R,D))) 40947 98458141 o1(o2(x,o2(x,x))) true 7583 7583 0.9955 1 0.9955 0.001751 0.04185 0.000317 1 0.9997 1 0.1692 0.0005581 0.0005597 0.003708 -0.001409 1 0.000004889 0.003732 0.005729 0.001105 0.03324 8.964 1.399 0.6383 2.131 1 1 0.0006769 0.00187 0.002489 0.3866 1.068 1.421 json
t12_x25_u4_b101 12 25 4 101 cil(dot(R,mlt(R,D))) 40948 98458142 o1(o2(x,o2(x,x))) true 7591 7591 0.5023 0.9996 0.5023 0.1168 0.3418 0.000002074 1 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_x25_u4_b102 12 25 4 102 cil(dot(R,div(R,D))) 40949 98458143 o1(o2(x,o2(x,x))) true 7599 7599 -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_x25_u4_b103 12 25 4 103 cil(dot(R,pow(R,D))) 40950 98458144 o1(o2(x,o2(x,x))) true 7607 7607 -0.9922 0.003906 1 0.01552 0.1246 -1 1 2 1 0.03702 0.001984 0.001984 0.001982 0 1 -4.881e-11 0.008377 0.003968 0.003962 0.06294 31.75 2.236 0.2557 0.5398 1 1 0.007036 0.02831 0.05479 0.4534 1.824 3.531 json
t12_x25_u4_b104 12 25 4 104 cil(dot(R,mod(R,D))) 40951 98458145 o1(o2(x,o2(x,x))) true 7615 7615 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_x25_u4_b105 12 25 4 105 cil(dot(R,lrg(R,D))) 40952 98458146 o1(o2(x,o2(x,x))) true 7623 7623 0.8555 0.9947 0.8555 0.07981 0.2825 0 1 1 1 1.911 0.00534 0.004529 0.03921 0.08213 1 0.0001828 0.01547 0.03308 0.008329 0.09126 2.327 1.08 0.1237 0.1939 1 1 0.01232 0.07178 0.134 0.1543 0.8994 1.679 json
t12_x25_u4_b106 12 25 4 106 cil(dot(R,eql(R,D))) 40953 98458147 o1(o2(x,o2(x,x))) true 7631 7631 0.0002102 0.0004883 0.0002102 0.0001417 0.0119 0 0.8606 0.8606 1 0.006317 0.000002076 0.0002926 0.0004378 -0.9859 1 -2.568e-11 0.0008861 0.000868 0.0002944 0.01716 39.19 0.8606 2.08 6.254 1 1 0.0002646 0.0003513 0.0005147 1.867 2.479 3.633 json
t12_x25_u4_b107 12 25 4 107 cil(dot(R,min(R,D))) 40954 98458148 o1(o2(x,o2(x,x))) true 7639 7639 0.8923 1 0.8923 0.05515 0.2348 0.000291 1 0.9997 1 1.711 0.009505 0.009322 0.04406 0.009705 1 0.0001295 0.05297 0.05549 0.01689 0.13 2.95 1.414 0.3414 0.9605 1 1 0.02234 0.08754 0.1025 0.4051 1.587 1.858 json
t12_x25_u4_b108 12 25 4 108 cil(dot(R,dot(R,D))) 40955 98458149 o1(o2(x,o2(x,x))) true 7647 7647 0.4909 0.923 0.4959 0.1465 0.3828 -0.7346 1 1.735 1 3.741 0.03625 0.03582 0.1348 0.00602 1 0.0002764 0.2303 0.1958 0.0539 0.2322 1.722 1.414 0.4918 1.571 1 1 0.07587 0.28 0.2791 0.5177 1.911 1.905 json
t12_x25_u4_b109 12 25 4 109 cil(dot(R,dst(R,D))) 40956 98458150 o1(o2(x,o2(x,x))) true 7655 7655 0.3883 0.7708 0.6414 0.4009 0.6331 -1 1 2 1 3.97 0.01154 0.01208 0.0924 -0.02282 1 0.000005371 0.03667 0.06347 0.01509 0.1228 1.329 1.413 0.05894 0.09149 1 1 0.0366 0.3063 0.7536 0.09131 0.7642 1.88 json
t12_x25_u4_b110 12 25 4 110 cil(dst(R,add(R,D))) 40957 98458151 o1(o2(x,o2(x,x))) true 7663 7663 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_x25_u4_b111 12 25 4 111 cil(dst(R,sub(R,D))) 40958 98458152 o1(o2(x,o2(x,x))) true 7671 7671 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_x25_u4_b112 12 25 4 112 cil(dst(R,mlt(R,D))) 40959 98458153 o1(o2(x,o2(x,x))) true 7679 7679 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_x25_u4_b113 12 25 4 113 cil(dst(R,div(R,D))) 40960 98458154 o1(o2(x,o2(x,x))) true 7687 7687 -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_x25_u4_b114 12 25 4 114 cil(dst(R,pow(R,D))) 40961 98458155 o1(o2(x,o2(x,x))) true 7695 7695 -0.9922 0.003906 1 0.01556 0.1248 -1 1 2 1 0.03687 0.002016 0.002016 0.001997 0 1 0 0.008566 0.004031 0.004024 0.06344 31.76 2.828 0.259 0.5504 1 1 0.007091 0.02837 0.05496 0.4556 1.823 3.531 json
t12_x25_u4_b115 12 25 4 115 cil(dst(R,mod(R,D))) 40962 98458156 o1(o2(x,o2(x,x))) true 7703 7703 0.9263 0.9994 0.9263 0.0294 0.1715 0 1 1 1 1.489 0.009065 0.008825 0.05166 0.01345 1 0.0004021 0.04239 0.07558 0.01522 0.1234 2.389 1.394 0.6085 1.442 1 1 0.0155 0.04011 0.04081 0.5271 1.364 1.388 json
t12_x25_u4_b116 12 25 4 116 cil(dst(R,lrg(R,D))) 40963 98458157 o1(o2(x,o2(x,x))) true 7711 7711 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_x25_u4_b117 12 25 4 117 cil(dst(R,eql(R,D))) 40964 98458158 o1(o2(x,o2(x,x))) true 7719 7719 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_x25_u4_b118 12 25 4 118 cil(dst(R,min(R,D))) 40965 98458159 o1(o2(x,o2(x,x))) true 7727 7727 0.9008 0.9994 0.9008 0.05835 0.2415 0 1 1 1 1.443 0.006263 0.0057 0.0351 0.04705 1 0.0001425 0.02202 0.03906 0.01073 0.1036 2.951 0.9994 0.205 0.3774 1 1 0.0128 0.06259 0.1001 0.2194 1.073 1.716 json
t12_x25_u4_b119 12 25 4 119 cil(dst(R,dot(R,D))) 40966 98458160 o1(o2(x,o2(x,x))) true 7735 7735 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_x25_u4_b120 12 25 4 120 cil(dst(R,dst(R,D))) 40967 98458161 o1(o2(x,o2(x,x))) true 7743 7743 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_x25_u5_b0 12 25 5 0 sgn(add(R,add(R,D))) 40968 98458242 o1(o2(x,o2(x,x))) true 7751 7751 -0.01971 0.4889 0.7081 0.5993 0.7741 -1 1 2 1 4.06 0.04088 0.009031 0.1301 0.6381 1 0.0001587 0.0691 0.07916 0.03299 0.1816 1.396 1.999 0.08328 0.1153 1 1 0.05905 0.4959 1.1 0.09854 0.8275 1.835 json
t12_x25_u5_b1 12 25 5 1 sgn(add(R,sub(R,D))) 40969 98458243 o1(o2(x,o2(x,x))) true 7759 7759 -0.02032 0.4877 0.721 0.6165 0.7852 -1 1 2 1 4.006 0.04018 0.009139 0.1261 0.6294 1 0.0001687 0.06812 0.07761 0.03341 0.1828 1.449 1.999 0.08 0.1105 1 1 0.06218 0.513 1.176 0.1009 0.8321 1.907 json
t12_x25_u5_b2 12 25 5 2 sgn(add(R,mlt(R,D))) 40970 98458244 o1(o2(x,o2(x,x))) true 7767 7767 -0.03516 0.4819 0.7206 0.6148 0.7841 -1 1 2 1 4.005 0.007889 0.009769 0.1034 -0.1065 1 -0.00003562 0.001037 0.02513 0.006974 0.08351 0.8079 0.2338 0.02872 0.001686 1 1 0.03492 0.4498 1.145 0.0568 0.7316 1.862 json
t12_x25_u5_b3 12 25 5 3 sgn(add(R,div(R,D))) 40971 98458245 o1(o2(x,o2(x,x))) true 7775 7775 0.007812 0.5049 0.6979 0.5879 0.7668 -1 1 2 1 4.14 0.1911 0.00911 0.2038 0.909 1 0.00002994 0.3729 0.2242 0.1587 0.3984 1.955 2 0.3406 0.6344 1 1 0.2198 0.9817 1.127 0.3738 1.67 1.917 json
t12_x25_u5_b4 12 25 5 4 sgn(add(R,pow(R,D))) 40972 98458246 o1(o2(x,o2(x,x))) true 7783 7783 -0.03516 0.4819 0.7206 0.6148 0.7841 -1 1 2 1 4.005 0.007889 0.009769 0.1034 -0.1065 1 -0.00003562 0.001037 0.02513 0.006974 0.08351 0.8079 0.2338 0.02872 0.001686 1 1 0.03492 0.4498 1.145 0.0568 0.7316 1.862 json
t12_x25_u5_b5 12 25 5 5 sgn(add(R,mod(R,D))) 40973 98458247 o1(o2(x,o2(x,x))) true 7791 7791 -0.03516 0.4819 0.7206 0.6148 0.7841 -1 1 2 1 4.005 0.007889 0.009769 0.1034 -0.1065 1 -0.00003562 0.001037 0.02513 0.006974 0.08351 0.8079 0.2338 0.02872 0.001686 1 1 0.03492 0.4498 1.145 0.0568 0.7316 1.862 json
t12_x25_u5_b6 12 25 5 6 sgn(add(R,lrg(R,D))) 40974 98458248 o1(o2(x,o2(x,x))) true 7799 7799 0.1167 0.5592 0.7228 0.6052 0.778 -1 1 2 1 3.974 0.04965 0.00911 0.1324 0.6899 1 -0.00007058 0.0863 0.09039 0.04122 0.203 1.533 1.999 0.09708 0.1426 1 1 0.07523 0.541 1.108 0.1243 0.8938 1.831 json
t12_x25_u5_b7 12 25 5 7 sgn(add(R,eql(R,D))) 40975 98458249 o1(o2(x,o2(x,x))) true 7807 7807 -0.03508 0.482 0.7206 0.6148 0.7841 -1 1 2 1 4.005 0.007947 0.009766 0.1034 -0.1027 1 -0.00003539 0.001213 0.02536 0.007013 0.08374 0.8095 0.6387 0.02881 0.001973 1 1 0.03492 0.4498 1.145 0.05681 0.7316 1.862 json
t12_x25_u5_b8 12 25 5 8 sgn(add(R,min(R,D))) 40976 98458250 o1(o2(x,o2(x,x))) true 7815 7815 -0.1521 0.4221 0.7227 0.596 0.772 -1 1 2 1 3.96 0.04026 0.009013 0.1253 0.6342 1 0.000564 0.06668 0.07555 0.03358 0.1832 1.462 1.999 0.08268 0.1119 1 1 0.05977 0.5034 1.112 0.1003 0.8447 1.866 json
t12_x25_u5_b9 12 25 5 9 sgn(add(R,dot(R,D))) 40977 98458251 o1(o2(x,o2(x,x))) true 7823 7823 -0.01846 0.4906 0.7322 0.6325 0.7953 -1 1 2 1 3.905 0.01935 0.0474 0.1355 -0.4202 1 -0.0001124 0.1483 0.1144 0.04839 0.22 1.623 2.817 0.1055 0.2345 1 1 0.07897 0.5677 1.149 0.1249 0.8976 1.816 json
t12_x25_u5_b10 12 25 5 10 sgn(add(R,dst(R,D))) 40978 98458252 o1(o2(x,o2(x,x))) true 7831 7831 0.9376 0.9749 0.9585 0.06359 0.2522 -0.9994 1 1.999 1 0.8294 0.01841 0.01289 0.03445 0.1766 1 0.00008032 0.09769 0.04839 0.03011 0.1735 5.037 2.808 0.4922 1.536 1 1 0.03331 0.1085 0.1309 0.5239 1.707 2.058 json
t12_x25_u5_b11 12 25 5 11 sgn(sub(R,add(R,D))) 40979 98458253 o1(o2(x,o2(x,x))) true 7839 7839 1.819e-12 0.5 0.6889 0.5671 0.753 -0.9994 0.9994 1.999 1 3.406 0.2604 0 0.2456 1 1 0 0.4833 0.2673 0.2 0.4473 1.821 1.999 0.4593 0.8522 1 1 0.2829 0.9676 0 0.4989 1.706 0 json
t12_x25_u5_b12 12 25 5 12 sgn(sub(R,sub(R,D))) 40980 98458254 o1(o2(x,o2(x,x))) true 7847 7847 -1.819e-12 0.5 0.6889 0.5671 0.753 -0.9994 0.9994 1.999 1 3.406 0.2604 0 0.2456 1 1 0 0.4833 0.2673 0.2 0.4473 1.821 1.999 0.4593 0.8522 1 1 0.2829 0.9676 0 0.4989 1.706 0 json
t12_x25_u5_b13 12 25 5 13 sgn(sub(R,mlt(R,D))) 40981 98458255 o1(o2(x,o2(x,x))) true 7855 7855 -0.03516 0.4819 0.7206 0.6148 0.7841 -1 1 2 1 4.005 0.007889 0.009769 0.1034 -0.1065 1 -0.00003562 0.001037 0.02513 0.006974 0.08351 0.8079 0.2338 0.02872 0.001686 1 1 0.03492 0.4498 1.145 0.0568 0.7316 1.862 json
t12_x25_u5_b14 12 25 5 14 sgn(sub(R,div(R,D))) 40982 98458256 o1(o2(x,o2(x,x))) true 7863 7863 -0.007812 0.4951 0.6979 0.5879 0.7668 -1 1 2 1 4.14 0.1911 0.00911 0.2038 0.909 1 -0.00002994 0.3729 0.2242 0.1587 0.3984 1.955 2 0.3406 0.6344 1 1 0.2198 0.9817 1.127 0.3738 1.67 1.917 json
t12_x25_u5_b15 12 25 5 15 sgn(sub(R,pow(R,D))) 40983 98458257 o1(o2(x,o2(x,x))) true 7871 7871 -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_x25_u5_b16 12 25 5 16 sgn(sub(R,mod(R,D))) 40984 98458258 o1(o2(x,o2(x,x))) true 7879 7879 -0.001289 0.4902 0.6038 0.4878 0.6984 -1 1 2 1 4.597 0.04112 0.007099 0.1336 0.7056 1 0.00002891 0.07069 0.126 0.03039 0.1743 1.305 1.113 0.09886 0.1449 1 1 0.05996 0.4351 0.8951 0.1229 0.892 1.835 json
t12_x25_u5_b17 12 25 5 17 sgn(sub(R,lrg(R,D))) 40985 98458259 o1(o2(x,o2(x,x))) true 7887 7887 -0.8816 0.04189 0.9151 0.1027 0.3204 -1 0.9988 1.999 1 1.543 0.03371 0.001433 0.05698 0.9185 1 -0.00009861 0.06787 0.06099 0.03191 0.1786 3.135 1.999 0.3423 0.661 1 1 0.0308 0.1124 0.1723 0.3 1.095 1.679 json
t12_x25_u5_b18 12 25 5 18 sgn(sub(R,eql(R,D))) 40986 98458260 o1(o2(x,o2(x,x))) true 7895 7895 -0.03516 0.4819 0.7206 0.6148 0.7841 -1 1 2 1 4.005 0.007889 0.009769 0.1034 -0.1065 1 -0.00003562 0.001037 0.02513 0.006974 0.08351 0.8079 0.2338 0.02872 0.001686 1 1 0.03492 0.4498 1.145 0.0568 0.7316 1.862 json
t12_x25_u5_b19 12 25 5 19 sgn(sub(R,min(R,D))) 40987 98458261 o1(o2(x,o2(x,x))) true 7903 7903 0.4992 0.9305 0.4992 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_x25_u5_b20 12 25 5 20 sgn(sub(R,dot(R,D))) 40988 98458262 o1(o2(x,o2(x,x))) true 7911 7911 -0.02698 0.4867 0.7256 0.6233 0.7895 -1 1 2 1 3.965 0.01878 0.04626 0.1359 -0.4225 1 0.0001265 0.1439 0.1123 0.04658 0.2158 1.588 2.808 0.1043 0.2309 1 1 0.0766 0.5465 1.153 0.1229 0.8768 1.849 json
t12_x25_u5_b21 12 25 5 21 sgn(sub(R,dst(R,D))) 40989 98458263 o1(o2(x,o2(x,x))) true 7919 7919 -0.9301 0.02779 0.9536 0.07036 0.2653 -1 0.9852 1.985 1 0.9284 0.0193 0.01364 0.03779 0.1718 1 -0.0003884 0.1035 0.05193 0.03152 0.1775 4.698 2.807 0.4681 1.471 1 1 0.02738 0.09866 0.1142 0.3892 1.402 1.622 json
t12_x25_u5_b22 12 25 5 22 sgn(mlt(R,add(R,D))) 40990 98458264 o1(o2(x,o2(x,x))) true 7927 7927 0.7318 0.8929 0.835 0.2345 0.4842 -1 1 2 1 2.607 0.07695 0.003098 0.1141 0.9226 1 0.001134 0.1521 0.1314 0.06701 0.2589 2.268 1.999 0.3414 0.6486 1 1 0.07816 0.2958 0.3946 0.3333 1.261 1.683 json
t12_x25_u5_b23 12 25 5 23 sgn(mlt(R,sub(R,D))) 40991 98458265 o1(o2(x,o2(x,x))) true 7935 7935 0.7296 0.8898 0.8388 0.2428 0.4927 -1 1 2 1 2.573 0.07812 0.003174 0.1135 0.9219 1 0.0001333 0.1548 0.1322 0.06841 0.2615 2.303 1.999 0.3348 0.6375 1 1 0.08078 0.3181 0.4307 0.3327 1.31 1.774 json
t12_x25_u5_b24 12 25 5 24 sgn(mlt(R,mlt(R,D))) 40992 98458266 o1(o2(x,o2(x,x))) true 7943 7943 -1.819e-12 0.5 0.6889 0.5671 0.753 -0.9994 0.9994 1.999 1 3.406 0.2604 0 0.2456 1 1 0 0.4833 0.2673 0.2 0.4473 1.821 1.999 0.4593 0.8522 1 1 0.2829 0.9676 0 0.4989 1.706 0 json
t12_x25_u5_b25 12 25 5 25 sgn(mlt(R,div(R,D))) 40993 98458267 o1(o2(x,o2(x,x))) true 7951 7951 -1.819e-12 0.5 0.6889 0.5671 0.753 -0.9994 0.9994 1.999 1 3.406 0.2604 0 0.2456 1 1 0 0.4833 0.2673 0.2 0.4473 1.821 1.999 0.4593 0.8522 1 1 0.2829 0.9676 0 0.4989 1.706 0 json
t12_x25_u5_b26 12 25 5 26 sgn(mlt(R,pow(R,D))) 40994 98458268 o1(o2(x,o2(x,x))) true 7959 7959 -0.03516 0.4819 0.7206 0.6148 0.7841 -1 1 2 1 4.005 0.007889 0.009769 0.1034 -0.1065 1 -0.00003562 0.001037 0.02513 0.006974 0.08351 0.8079 0.2338 0.02872 0.001686 1 1 0.03492 0.4498 1.145 0.0568 0.7316 1.862 json
t12_x25_u5_b27 12 25 5 27 sgn(mlt(R,mod(R,D))) 40995 98458269 o1(o2(x,o2(x,x))) true 7967 7967 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_x25_u5_b28 12 25 5 28 sgn(mlt(R,lrg(R,D))) 40996 98458270 o1(o2(x,o2(x,x))) true 7975 7975 0.3473 0.7376 0.4506 0.2214 0.4705 -0.9994 1 1.999 1 4.235 0.02152 0.003321 0.09057 0.7325 1 0.00004897 0.03896 0.07287 0.01663 0.129 1.424 1.015 0.1122 0.1759 1 1 0.02939 0.1973 0.4184 0.1328 0.891 1.89 json
t12_x25_u5_b29 12 25 5 29 sgn(mlt(R,eql(R,D))) 40997 98458271 o1(o2(x,o2(x,x))) true 7983 7983 -0.00004008 0 0.00004008 0.00001031 0.00321 -0.3282 0 0.3282 1 0.003875 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_x25_u5_b30 12 25 5 30 sgn(mlt(R,min(R,D))) 40998 98458272 o1(o2(x,o2(x,x))) true 7991 7991 0.5215 0.7775 0.7863 0.4301 0.6558 -0.9994 1 1.999 1 3.256 0.1093 0.00472 0.1376 0.9172 1 0.00003277 0.204 0.1331 0.09513 0.3084 2.241 1.999 0.2652 0.4744 1 1 0.1225 0.555 0.5666 0.2847 1.291 1.317 json
t12_x25_u5_b31 12 25 5 31 sgn(mlt(R,dot(R,D))) 40999 98458273 o1(o2(x,o2(x,x))) true 7999 7999 0.005511 0.5029 0.6428 0.5134 0.7165 -1 1 2 1 4.294 0.1427 0.1347 0.2681 0.02887 1 -0.00002674 0.8818 0.3627 0.2055 0.4533 1.691 2.827 0.5403 1.718 1 1 0.2955 1.047 0.7925 0.5756 2.039 1.544 json