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_u1_b16 12 25 1 16 log(sub(R,mod(R,D))) 40500 98457454 o1(o2(x,o2(x,x))) true 4007 4007 -0.9999 0 0.9999 0.0000137 0.003702 -1 -0.7762 0.2238 1 0.006564 0.00001951 0.000001769 0.0001199 0.8337 0 0 0.00005814 0.000201 0.00002125 0.00461 38.43 0.2671 1.553 4.243 1 1 0 0 0 0 0 0 json
t12_x25_u1_b17 12 25 1 17 log(sub(R,lrg(R,D))) 40501 98457455 o1(o2(x,o2(x,x))) true 4015 4015 -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_u1_b18 12 25 1 18 log(sub(R,eql(R,D))) 40502 98457456 o1(o2(x,o2(x,x))) true 4023 4023 -0.9838 0 0.9838 0.009626 0.09811 -1 -0.05896 0.941 1 0.3254 0.001056 0.001224 0.005061 -0.07381 1 0.00001706 0.004529 0.00698 0.002254 0.04747 9.381 1.212 0.2369 0.4706 1 1 0.001967 0.008849 0.01618 0.2044 0.9193 1.681 json
t12_x25_u1_b19 12 25 1 19 log(sub(R,min(R,D))) 40503 98457457 o1(o2(x,o2(x,x))) true 4031 4031 -0.9841 0 0.9841 0.008358 0.09142 -1 -0.07035 0.9297 1 0.3593 0.003799 0.001015 0.01052 0.5783 1 0.0001172 0.01104 0.01624 0.004704 0.06859 6.52 1.236 0.576 1.321 1 1 0.004694 0.01206 0.01606 0.5617 1.443 1.922 json
t12_x25_u1_b20 12 25 1 20 log(sub(R,dot(R,D))) 40504 98457458 o1(o2(x,o2(x,x))) true 4039 4039 -0.9837 0.0007172 0.9838 0.009534 0.09764 -1 0.1477 1.148 1 0.3458 0.002035 0.002021 0.008385 0.003364 1 0.0000337 0.01036 0.01294 0.003988 0.06315 7.532 1.461 0.4254 1.086 1 1 0.004507 0.01663 0.02499 0.4727 1.744 2.621 json
t12_x25_u1_b21 12 25 1 21 log(sub(R,dst(R,D))) 40505 98457459 o1(o2(x,o2(x,x))) true 4047 4047 -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_u1_b22 12 25 1 22 log(mlt(R,add(R,D))) 40506 98457460 o1(o2(x,o2(x,x))) true 4055 4055 -0.9486 0.006393 0.95 0.03247 0.1802 -1 0.2689 1.269 1 0.867 0.00582 0.002955 0.02084 0.3264 1 0.00009554 0.01816 0.02768 0.008337 0.09131 4.381 1.46 0.2703 0.5595 1 1 0.009597 0.03517 0.06166 0.2956 1.083 1.899 json
t12_x25_u1_b23 12 25 1 23 log(mlt(R,sub(R,D))) 40507 98457461 o1(o2(x,o2(x,x))) true 4063 4063 -0.9369 0.003601 0.9373 0.03607 0.1899 -1 0.2014 1.201 1 1.057 0.006703 0.003261 0.02486 0.3455 1 0.00004058 0.02013 0.03266 0.009342 0.09665 3.889 1.37 0.2763 0.5581 1 1 0.01037 0.04071 0.06098 0.2875 1.129 1.691 json
t12_x25_u1_b24 12 25 1 24 log(mlt(R,mlt(R,D))) 40508 98457462 o1(o2(x,o2(x,x))) true 4071 4071 -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_u1_b25 12 25 1 25 log(mlt(R,div(R,D))) 40509 98457463 o1(o2(x,o2(x,x))) true 4079 4079 -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_u1_b26 12 25 1 26 log(mlt(R,pow(R,D))) 40510 98457464 o1(o2(x,o2(x,x))) true 4087 4087 -0.9836 0 0.9836 0.009926 0.09963 -1 -0.05246 0.9475 1 0.3179 0.001079 0.001307 0.005264 -0.09563 1 0.00001838 0.00471 0.007248 0.00236 0.04858 9.228 1.218 0.2404 0.4745 1 1 0.00208 0.009268 0.01621 0.2096 0.9337 1.633 json
t12_x25_u1_b27 12 25 1 27 log(mlt(R,mod(R,D))) 40511 98457465 o1(o2(x,o2(x,x))) true 4095 4095 -1 0 1 0.000001483 0.001218 -1 -0.8788 0.1212 1 0.001763 0.000003059 2.453e-7 0.00004237 0.8515 0 4.47e-8 0.00001037 0.00008469 0.000003301 0.001817 42.88 0.1213 2.228 6.994 1 1 6.079e-7 8.735e-7 0.000001954 0.41 0.5892 1.318 json
t12_x25_u1_b28 12 25 1 28 log(mlt(R,lrg(R,D))) 40512 98457466 o1(o2(x,o2(x,x))) true 4103 4103 -0.9929 0 0.9929 0.004279 0.06542 -1 -0.05896 0.941 1 0.1577 0.000969 0.0005687 0.002995 0.2603 1 0.00000623 0.003268 0.004955 0.001528 0.03909 13.05 1.248 0.3593 0.7637 1 1 0.00124 0.004889 0.00616 0.2898 1.142 1.44 json
t12_x25_u1_b29 12 25 1 29 log(mlt(R,eql(R,D))) 40513 98457467 o1(o2(x,o2(x,x))) true 4111 4111 -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_u1_b30 12 25 1 30 log(mlt(R,min(R,D))) 40514 98457468 o1(o2(x,o2(x,x))) true 4119 4119 -0.971 0 0.971 0.01718 0.1311 -1 -0.002158 0.9978 1 0.5241 0.001524 0.002141 0.009386 -0.1684 1 0.000006622 0.0067 0.01201 0.003578 0.05982 6.373 1.411 0.2132 0.3899 1 1 0.003724 0.01742 0.03193 0.2167 1.014 1.858 json
t12_x25_u1_b31 12 25 1 31 log(mlt(R,dot(R,D))) 40515 98457469 o1(o2(x,o2(x,x))) true 4127 4127 -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_u1_b32 12 25 1 32 log(mlt(R,dst(R,D))) 40516 98457470 o1(o2(x,o2(x,x))) true 4135 4135 -0.9821 0.003235 0.983 0.01349 0.1161 -1 0.3185 1.318 1 0.3043 0.001511 0.00171 0.005906 -0.06171 1 0.00003055 0.006295 0.007804 0.003188 0.05646 9.559 1.68 0.2388 0.4667 1 1 0.002725 0.01277 0.02412 0.202 0.9467 1.788 json
t12_x25_u1_b33 12 25 1 33 log(div(R,add(R,D))) 40517 98457471 o1(o2(x,o2(x,x))) true 4143 4143 -0.7128 0.1421 0.8274 0.2798 0.5289 -1 1 2 1 2.134 0.1388 0.02266 0.1355 0.7194 1 0.000452 0.3594 0.2273 0.1432 0.3784 2.793 2.828 0.5773 1.285 1 1 0.161 0.4168 0.5507 0.5757 1.49 1.968 json
t12_x25_u1_b34 12 25 1 34 log(div(R,sub(R,D))) 40518 98457472 o1(o2(x,o2(x,x))) true 4151 4151 -0.7083 0.1425 0.8117 0.2661 0.5159 -1 1 2 1 2.22 0.1197 0.02074 0.1247 0.7047 1 -0.000351 0.3179 0.208 0.1249 0.3534 2.834 2.828 0.5276 1.194 1 1 0.1315 0.3837 0.5375 0.4939 1.442 2.02 json
t12_x25_u1_b35 12 25 1 35 log(div(R,mlt(R,D))) 40519 98457473 o1(o2(x,o2(x,x))) true 4159 4159 -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_u1_b36 12 25 1 36 log(div(R,div(R,D))) 40520 98457474 o1(o2(x,o2(x,x))) true 4167 4167 -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_u1_b37 12 25 1 37 log(div(R,pow(R,D))) 40521 98457475 o1(o2(x,o2(x,x))) true 4175 4175 -0.9835 0 0.9835 0.01004 0.1002 -1 -0.05078 0.9492 1 0.3234 0.001077 0.00123 0.005177 -0.0664 1 0.00001509 0.004546 0.007053 0.002281 0.04776 9.225 1.206 0.2299 0.453 1 1 0.001963 0.009116 0.01729 0.1957 0.9084 1.723 json
t12_x25_u1_b38 12 25 1 38 log(div(R,mod(R,D))) 40522 98457476 o1(o2(x,o2(x,x))) true 4183 4183 0.8045 0.9685 0.8045 0.11 0.3317 -5.96e-8 1 1 1 2.124 0.05943 0.002442 0.1127 0.9211 1 0.0004499 0.1424 0.1992 0.04915 0.2217 1.966 1.019 0.5623 1.294 1 1 0.05305 0.1319 0.1797 0.4821 1.199 1.633 json
t12_x25_u1_b39 12 25 1 39 log(div(R,lrg(R,D))) 40523 98457477 o1(o2(x,o2(x,x))) true 4191 4191 -0.9929 0 0.9929 0.004279 0.06542 -1 -0.05896 0.941 1 0.1577 0.000969 0.0005687 0.002995 0.2603 1 0.00000623 0.003268 0.004955 0.001528 0.03909 13.05 1.248 0.3593 0.7637 1 1 0.00124 0.004889 0.00616 0.2898 1.142 1.44 json
t12_x25_u1_b40 12 25 1 40 log(div(R,eql(R,D))) 40524 98457478 o1(o2(x,o2(x,x))) true 4199 4199 -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_u1_b41 12 25 1 41 log(div(R,min(R,D))) 40525 98457479 o1(o2(x,o2(x,x))) true 4207 4207 -0.7393 0.07285 0.8012 0.2382 0.4881 -1 1 2 1 1.664 0.04726 0.01926 0.06125 0.4209 1 0.00002865 0.139 0.1001 0.06275 0.2505 4.09 2.181 0.2793 0.5837 1 1 0.06977 0.2413 0.4574 0.2929 1.013 1.92 json
t12_x25_u1_b42 12 25 1 42 log(div(R,dot(R,D))) 40526 98457480 o1(o2(x,o2(x,x))) true 4215 4215 -0.9293 0.03633 0.9922 0.126 0.3549 -1 1 2 1 0.3533 0.07512 0.04208 0.05912 0.2819 1 0.00009448 0.3918 0.1222 0.1137 0.3371 5.702 2.828 0.9305 3.111 1 1 0.09852 0.2174 0.2253 0.7822 1.726 1.789 json
t12_x25_u1_b43 12 25 1 43 log(div(R,dst(R,D))) 40527 98457481 o1(o2(x,o2(x,x))) true 4223 4223 -0.9836 0 0.9836 0.009177 0.0958 -1 -0.02358 0.9764 1 0.3412 0.001148 0.001215 0.005668 -0.02867 1 0.000002963 0.00468 0.007712 0.00233 0.04827 8.516 0.976 0.2575 0.5099 1 1 0.001948 0.007985 0.01404 0.2123 0.8702 1.53 json
t12_x25_u1_b44 12 25 1 44 log(pow(R,add(R,D))) 40528 98457482 o1(o2(x,o2(x,x))) true 4231 4231 -0.9682 0.00174 0.9685 0.02378 0.1542 -1 0.1937 1.194 1 0.4037 0.002426 0.002309 0.007531 0.02472 1 0.00001407 0.009731 0.01267 0.00468 0.06841 9.084 1.245 0.1991 0.4092 1 1 0.00362 0.01561 0.03711 0.1522 0.6561 1.56 json
t12_x25_u1_b45 12 25 1 45 log(pow(R,sub(R,D))) 40529 98457483 o1(o2(x,o2(x,x))) true 4239 4239 -0.9676 0.002426 0.9681 0.02463 0.1569 -1 0.274 1.274 1 0.4039 0.002412 0.002513 0.007726 -0.02043 1 -0.000006343 0.01013 0.01293 0.004866 0.06976 9.029 1.274 0.2 0.4112 1 1 0.003853 0.01747 0.04339 0.1565 0.7096 1.762 json
t12_x25_u1_b46 12 25 1 46 log(pow(R,mlt(R,D))) 40530 98457484 o1(o2(x,o2(x,x))) true 4247 4247 -0.9571 0.02097 0.9583 0.04109 0.2027 -1 0.08582 1.086 1 0.3174 0.004228 0.004158 0.008687 0.008434 1 0.000001829 0.01752 0.01683 0.008304 0.09113 10.49 1.43 0.2041 0.4263 1 1 0.006456 0.02773 0.0685 0.1571 0.6749 1.667 json
t12_x25_u1_b47 12 25 1 47 log(pow(R,div(R,D))) 40531 98457485 o1(o2(x,o2(x,x))) true 4255 4255 -0.9575 0.02112 0.986 0.06519 0.2553 -1 1 2 1 0.3475 0.01117 0.006787 0.01445 0.2439 1 -0.00001447 0.03605 0.02063 0.01773 0.1332 9.218 2.828 0.2754 0.553 1 1 0.01421 0.0611 0.1071 0.218 0.9373 1.643 json
t12_x25_u1_b48 12 25 1 48 log(pow(R,pow(R,D))) 40532 98457486 o1(o2(x,o2(x,x))) true 4263 4263 -0.9845 0 0.9845 0.009331 0.0966 -1 -0.0587 0.9413 1 0.3122 0.001079 0.00122 0.005149 -0.06145 1 0.00002393 0.004527 0.00709 0.002271 0.04766 9.257 1.211 0.2463 0.4851 1 1 0.001952 0.008739 0.01616 0.2092 0.9365 1.732 json
t12_x25_u1_b49 12 25 1 49 log(pow(R,mod(R,D))) 40533 98457487 o1(o2(x,o2(x,x))) true 4271 4271 -0.9613 0 0.9613 0.03372 0.1836 -1 -0.0001458 0.9999 1 0.3455 0.00426 0.003368 0.00938 0.1169 1 -0.000002399 0.01617 0.01787 0.007543 0.08685 9.259 1.409 0.2262 0.4794 1 1 0.00581 0.02317 0.05661 0.1723 0.6872 1.679 json
t12_x25_u1_b50 12 25 1 50 log(pow(R,lrg(R,D))) 40534 98457488 o1(o2(x,o2(x,x))) true 4279 4279 -0.9791 0 0.9791 0.01392 0.118 -1 -0.015 0.985 1 0.3654 0.001809 0.00166 0.006592 0.04296 1 0.00001053 0.00711 0.01001 0.003426 0.05853 8.879 1.212 0.2491 0.5107 1 1 0.002695 0.01199 0.02445 0.1936 0.8613 1.756 json
t12_x25_u1_b51 12 25 1 51 log(pow(R,eql(R,D))) 40535 98457489 o1(o2(x,o2(x,x))) true 4287 4287 -0.0002441 0 0.0002441 0.0002441 0.01562 -1 0 1 1 0.003282 0.0004409 0.00001575 0.0004567 0.931 1 0 0.001417 0.0009133 0.0004564 0.02136 46.78 1 1.871 5.806 1 1 0 0 0.0002078 0 0 0.8512 json
t12_x25_u1_b52 12 25 1 52 log(pow(R,min(R,D))) 40536 98457490 o1(o2(x,o2(x,x))) true 4295 4295 -0.9559 0.02415 0.9611 0.044 0.2098 -1 0.5128 1.513 1 0.3858 0.004296 0.004366 0.009694 -0.008018 1 0.000007455 0.01794 0.01729 0.008568 0.09256 9.548 1.462 0.1969 0.4077 1 1 0.00669 0.02908 0.07103 0.152 0.661 1.614 json
t12_x25_u1_b53 12 25 1 53 log(pow(R,dot(R,D))) 40537 98457491 o1(o2(x,o2(x,x))) true 4303 4303 -0.9574 0.02077 0.9601 0.04093 0.2023 -1 0.3623 1.362 1 0.3707 0.004275 0.00417 0.009205 0.01246 1 0.000002851 0.01761 0.01691 0.008363 0.09145 9.935 1.46 0.2063 0.4302 1 1 0.006442 0.02789 0.06915 0.1574 0.6813 1.69 json
t12_x25_u1_b54 12 25 1 54 log(pow(R,dst(R,D))) 40538 98457492 o1(o2(x,o2(x,x))) true 4311 4311 -0.9826 0 0.9826 0.00988 0.0994 -1 -0.05899 0.941 1 0.3473 0.001132 0.001266 0.005418 -0.05585 1 0.00001973 0.004829 0.00778 0.00237 0.04869 8.986 1.133 0.2428 0.4887 1 1 0.001988 0.008467 0.01572 0.2012 0.857 1.591 json
t12_x25_u1_b55 12 25 1 55 log(mod(R,add(R,D))) 40539 98457493 o1(o2(x,o2(x,x))) true 4319 4319 -0.9952 0 0.9952 0.00268 0.05177 -1 -0.06037 0.9396 1 0.1244 0.0008305 0.0003728 0.002831 0.3803 1 0.00001378 0.002612 0.004559 0.001195 0.03457 12.21 1.01 0.4489 0.9745 1 1 0.000864 0.002762 0.003408 0.3223 1.03 1.271 json
t12_x25_u1_b56 12 25 1 56 log(mod(R,sub(R,D))) 40540 98457494 o1(o2(x,o2(x,x))) true 4327 4327 -0.9952 0 0.9952 0.002802 0.05293 -1 -0.0632 0.9368 1 0.1261 0.0008311 0.0003279 0.002804 0.4342 1 0.000009232 0.002422 0.004476 0.001151 0.03392 12.1 1.212 0.4136 0.8645 1 1 0.0009238 0.003063 0.004848 0.3297 1.093 1.73 json
t12_x25_u1_b57 12 25 1 57 log(mod(R,mlt(R,D))) 40541 98457495 o1(o2(x,o2(x,x))) true 4335 4335 -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_u1_b58 12 25 1 58 log(mod(R,div(R,D))) 40542 98457496 o1(o2(x,o2(x,x))) true 4343 4343 -0.9838 0 0.9838 0.009626 0.09811 -1 -0.05896 0.941 1 0.3254 0.001056 0.001224 0.005061 -0.07381 1 0.00001706 0.004529 0.00698 0.002254 0.04747 9.381 1.212 0.2369 0.4706 1 1 0.001967 0.008849 0.01618 0.2044 0.9193 1.681 json
t12_x25_u1_b59 12 25 1 59 log(mod(R,pow(R,D))) 40543 98457497 o1(o2(x,o2(x,x))) true 4351 4351 -0.9838 0 0.9838 0.009626 0.09811 -1 -0.05896 0.941 1 0.3254 0.001056 0.001224 0.005061 -0.07381 1 0.00001706 0.004529 0.00698 0.002254 0.04747 9.381 1.212 0.2369 0.4706 1 1 0.001967 0.008849 0.01618 0.2044 0.9193 1.681 json
t12_x25_u1_b60 12 25 1 60 log(mod(R,mod(R,D))) 40544 98457498 o1(o2(x,o2(x,x))) true 4359 4359 -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_u1_b61 12 25 1 61 log(mod(R,lrg(R,D))) 40545 98457499 o1(o2(x,o2(x,x))) true 4367 4367 -0.9929 0 0.9929 0.004279 0.06542 -1 -0.05896 0.941 1 0.1577 0.000969 0.0005687 0.002995 0.2603 1 0.00000623 0.003268 0.004955 0.001528 0.03909 13.05 1.248 0.3593 0.7637 1 1 0.00124 0.004889 0.00616 0.2898 1.142 1.44 json
t12_x25_u1_b62 12 25 1 62 log(mod(R,eql(R,D))) 40546 98457500 o1(o2(x,o2(x,x))) true 4375 4375 -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_u1_b63 12 25 1 63 log(mod(R,min(R,D))) 40547 98457501 o1(o2(x,o2(x,x))) true 4383 4383 -0.9999 0 0.9999 0.000004746 0.002178 -1 -0.8429 0.1571 1 0.004947 0.000008047 0.000001035 0.0001006 0.7721 0 -3.754e-11 0.00002725 0.0001917 0.000009066 0.003011 29.93 0.1685 1.914 5.742 1 1 0.000006205 0.000009323 0.00001085 1.308 1.965 2.287 json
t12_x25_u1_b64 12 25 1 64 log(mod(R,dot(R,D))) 40548 98457502 o1(o2(x,o2(x,x))) true 4391 4391 -1 0 1 0.00000136 0.001166 -1 -0.8238 0.1762 1 0.001444 0.000002696 0.000001785 0.00003771 0.2033 0 -3.754e-12 0.00002066 0.00008471 0.000004479 0.002116 56.13 0.1871 3.294 15.18 1 1 8.259e-7 0.000001885 0.000001905 0.6071 1.386 1.4 json
t12_x25_u1_b65 12 25 1 65 log(mod(R,dst(R,D))) 40549 98457503 o1(o2(x,o2(x,x))) true 4399 4399 -0.9877 0 0.9877 0.007125 0.08441 -1 -0.05896 0.941 1 0.2738 0.001599 0.00126 0.005662 0.1183 1 0.0001374 0.00714 0.00919 0.002826 0.05316 9.389 1.293 0.4013 1.002 1 1 0.002184 0.007494 0.0126 0.3065 1.052 1.769 json
t12_x25_u1_b66 12 25 1 66 log(lrg(R,add(R,D))) 40550 98457504 o1(o2(x,o2(x,x))) true 4407 4407 -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_u1_b67 12 25 1 67 log(lrg(R,sub(R,D))) 40551 98457505 o1(o2(x,o2(x,x))) true 4415 4415 -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_u1_b68 12 25 1 68 log(lrg(R,mlt(R,D))) 40552 98457506 o1(o2(x,o2(x,x))) true 4423 4423 -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_x25_u1_b69 12 25 1 69 log(lrg(R,div(R,D))) 40553 98457507 o1(o2(x,o2(x,x))) true 4431 4431 -0.9531 0 0.9531 0.04468 0.2114 -1 0 1 1 0.273 0.005858 0.004283 0.01007 0.1553 1 0 0.02135 0.02028 0.01004 0.1002 9.954 1.414 0.227 0.4779 1 1 0.008573 0.03625 0.06939 0.1919 0.8113 1.553 json
t12_x25_u1_b70 12 25 1 70 log(lrg(R,pow(R,D))) 40554 98457508 o1(o2(x,o2(x,x))) true 4439 4439 -0.9297 0 0.9297 0.06532 0.2556 -1 0 1 1 0.3671 0.00548 0.006677 0.01207 -0.09845 1 0 0.02545 0.02431 0.01201 0.1096 9.077 1.414 0.1861 0.3896 1 1 0.01256 0.05287 0.1436 0.1923 0.8093 2.199 json
t12_x25_u1_b71 12 25 1 71 log(lrg(R,mod(R,D))) 40555 98457509 o1(o2(x,o2(x,x))) true 4447 4447 -0.9993 0 0.9993 0.0007314 0.02704 -1 0 1 1 0.008684 0.001008 0.00009448 0.001084 0.8286 1 0 0.00296 0.002205 0.0011 0.03317 30.6 1.414 1.507 4.048 1 1 0 0 0.0002216 0 0 0.303 json
t12_x25_u1_b72 12 25 1 72 log(lrg(R,lrg(R,D))) 40556 98457510 o1(o2(x,o2(x,x))) true 4455 4455 -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_u1_b73 12 25 1 73 log(lrg(R,eql(R,D))) 40557 98457511 o1(o2(x,o2(x,x))) true 4463 4463 -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_x25_u1_b74 12 25 1 74 log(lrg(R,min(R,D))) 40558 98457512 o1(o2(x,o2(x,x))) true 4471 4471 -0.9312 0 0.9312 0.06407 0.2531 -1 0 1 1 0.3616 0.02485 0.005574 0.03011 0.6335 1 0 0.068 0.06085 0.0295 0.1717 5.704 1.414 0.4748 1.061 1 1 0.02749 0.08127 0.122 0.4291 1.268 1.904 json
t12_x25_u1_b75 12 25 1 75 log(lrg(R,dot(R,D))) 40559 98457513 o1(o2(x,o2(x,x))) true 4479 4479 -0.9426 0 0.9426 0.05401 0.2324 -1 0 1 1 0.3169 0.01115 0.01323 0.02294 -0.08527 1 -0.00001575 0.07179 0.04877 0.02384 0.1544 6.732 1.414 0.4513 1.329 1 1 0.02204 0.07341 0.1209 0.408 1.359 2.238 json
t12_x25_u1_b76 12 25 1 76 log(lrg(R,dst(R,D))) 40560 98457514 o1(o2(x,o2(x,x))) true 4487 4487 -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_u1_b77 12 25 1 77 log(eql(R,add(R,D))) 40561 98457515 o1(o2(x,o2(x,x))) true 4495 4495 -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_u1_b78 12 25 1 78 log(eql(R,sub(R,D))) 40562 98457516 o1(o2(x,o2(x,x))) true 4503 4503 -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_u1_b79 12 25 1 79 log(eql(R,mlt(R,D))) 40563 98457517 o1(o2(x,o2(x,x))) true 4511 4511 -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_u1_b80 12 25 1 80 log(eql(R,div(R,D))) 40564 98457518 o1(o2(x,o2(x,x))) true 4519 4519 -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_u1_b81 12 25 1 81 log(eql(R,pow(R,D))) 40565 98457519 o1(o2(x,o2(x,x))) true 4527 4527 -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_u1_b82 12 25 1 82 log(eql(R,mod(R,D))) 40566 98457520 o1(o2(x,o2(x,x))) true 4535 4535 -0.969 0 0.969 0.03006 0.1734 -1 0 1 1 0.1994 0.01732 0.003134 0.02017 0.6936 1 0 0.04904 0.04091 0.02004 0.1416 7.019 1.414 0.6805 1.631 1 1 0.01946 0.04032 0.0614 0.6474 1.341 2.043 json
t12_x25_u1_b83 12 25 1 83 log(eql(R,lrg(R,D))) 40567 98457521 o1(o2(x,o2(x,x))) true 4543 4543 -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_u1_b84 12 25 1 84 log(eql(R,eql(R,D))) 40568 98457522 o1(o2(x,o2(x,x))) true 4551 4551 -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_u1_b85 12 25 1 85 log(eql(R,min(R,D))) 40569 98457523 o1(o2(x,o2(x,x))) true 4559 4559 -0.9346 0 0.9346 0.06119 0.2474 -1 0 1 1 0.3486 0.02822 0.005874 0.03373 0.6554 1 0 0.07751 0.06818 0.03295 0.1815 5.381 1.414 0.5571 1.267 1 1 0.0347 0.08976 0.1097 0.567 1.467 1.792 json
t12_x25_u1_b86 12 25 1 86 log(eql(R,dot(R,D))) 40570 98457524 o1(o2(x,o2(x,x))) true 4567 4567 -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_u1_b87 12 25 1 87 log(eql(R,dst(R,D))) 40571 98457525 o1(o2(x,o2(x,x))) true 4575 4575 -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_u1_b88 12 25 1 88 log(min(R,add(R,D))) 40572 98457526 o1(o2(x,o2(x,x))) true 4583 4583 -0.997 0 0.997 0.001621 0.04026 -1 -0.09587 0.9041 1 0.08593 0.0006251 0.0001783 0.002014 0.5562 1 0.00002815 0.001744 0.002829 0.0007991 0.02827 14.04 1.16 0.4955 1.076 1 1 0.0006733 0.002031 0.002986 0.4153 1.253 1.842 json
t12_x25_u1_b89 12 25 1 89 log(min(R,sub(R,D))) 40573 98457527 o1(o2(x,o2(x,x))) true 4591 4591 -0.9967 0 0.9967 0.001653 0.04066 -1 -0.09267 0.9073 1 0.09615 0.000566 0.0002619 0.002082 0.3673 1 0.00004879 0.001815 0.002983 0.0008233 0.02869 13.78 0.9906 0.5008 1.098 1 1 0.0006328 0.001945 0.002126 0.3827 1.176 1.286 json
t12_x25_u1_b90 12 25 1 90 log(min(R,mlt(R,D))) 40574 98457528 o1(o2(x,o2(x,x))) true 4599 4599 -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_u1_b91 12 25 1 91 log(min(R,div(R,D))) 40575 98457529 o1(o2(x,o2(x,x))) true 4607 4607 -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_u1_b92 12 25 1 92 log(min(R,pow(R,D))) 40576 98457530 o1(o2(x,o2(x,x))) true 4615 4615 -0.9838 0 0.9838 0.009626 0.09811 -1 -0.05896 0.941 1 0.3254 0.001056 0.001224 0.005061 -0.07381 1 0.00001706 0.004529 0.00698 0.002254 0.04747 9.381 1.212 0.2369 0.4706 1 1 0.001967 0.008849 0.01618 0.2044 0.9193 1.681 json
t12_x25_u1_b93 12 25 1 93 log(min(R,mod(R,D))) 40577 98457531 o1(o2(x,o2(x,x))) true 4623 4623 -0.9999 0 0.9999 0.000006894 0.002626 -1 -0.8429 0.1571 1 0.007352 0.00001164 0.000001799 0.0001512 0.7323 0 -3.754e-11 0.00004081 0.0002928 0.0000134 0.003661 24.21 0.1685 1.949 5.92 1 1 0.000009631 0.00001431 0.00001632 1.397 2.076 2.367 json
t12_x25_u1_b94 12 25 1 94 log(min(R,lrg(R,D))) 40578 98457532 o1(o2(x,o2(x,x))) true 4631 4631 -0.9929 0 0.9929 0.004279 0.06542 -1 -0.05896 0.941 1 0.1577 0.000969 0.0005687 0.002995 0.2603 1 0.00000623 0.003268 0.004955 0.001528 0.03909 13.05 1.248 0.3593 0.7637 1 1 0.00124 0.004889 0.00616 0.2898 1.142 1.44 json
t12_x25_u1_b95 12 25 1 95 log(min(R,eql(R,D))) 40579 98457533 o1(o2(x,o2(x,x))) true 4639 4639 -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_u1_b96 12 25 1 96 log(min(R,min(R,D))) 40580 98457534 o1(o2(x,o2(x,x))) true 4647 4647 -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_u1_b97 12 25 1 97 log(min(R,dot(R,D))) 40581 98457535 o1(o2(x,o2(x,x))) true 4655 4655 -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_u1_b98 12 25 1 98 log(min(R,dst(R,D))) 40582 98457536 o1(o2(x,o2(x,x))) true 4663 4663 -0.9844 0 0.9844 0.009143 0.09562 -1 -0.05896 0.941 1 0.3198 0.001064 0.001167 0.005029 -0.04655 1 0.00001824 0.004431 0.00693 0.002205 0.04696 9.338 1.212 0.244 0.4847 1 1 0.00193 0.008554 0.0157 0.2111 0.9356 1.717 json
t12_x25_u1_b99 12 25 1 99 log(dot(R,add(R,D))) 40583 98457537 o1(o2(x,o2(x,x))) true 4671 4671 -0.2674 0.3794 0.4826 0.2853 0.5341 -1 0.9506 1.951 1 4.31 0.0314 0.033 0.1062 -0.0248 1 -0.0001551 0.1641 0.119 0.05312 0.2305 2.171 2.442 0.2258 0.5754 1 1 0.05901 0.241 0.522 0.2069 0.8448 1.83 json
t12_x25_u1_b100 12 25 1 100 log(dot(R,sub(R,D))) 40584 98457538 o1(o2(x,o2(x,x))) true 4679 4679 -0.284 0.3749 0.5059 0.2972 0.5452 -1 1 2 1 4.302 0.03154 0.03298 0.1048 -0.02231 1 -0.0001602 0.1647 0.1195 0.05353 0.2314 2.207 2.555 0.2171 0.5542 1 1 0.0685 0.2697 0.5886 0.2305 0.9076 1.98 json
t12_x25_u1_b101 12 25 1 101 log(dot(R,mlt(R,D))) 40585 98457539 o1(o2(x,o2(x,x))) true 4687 4687 -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_u1_b102 12 25 1 102 log(dot(R,div(R,D))) 40586 98457540 o1(o2(x,o2(x,x))) true 4695 4695 -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_u1_b103 12 25 1 103 log(dot(R,pow(R,D))) 40587 98457541 o1(o2(x,o2(x,x))) true 4703 4703 -0.9968 0.001816 0.9987 0.004623 0.06799 -1 0.845 1.845 1 0.03903 0.0005952 0.0008558 0.001273 -0.1796 1 -1.126e-11 0.002958 0.001847 0.001448 0.03805 29.88 1.845 0.3139 0.6399 1 1 0.002695 0.0116 0.01593 0.583 2.509 3.446 json
t12_x25_u1_b104 12 25 1 104 log(dot(R,mod(R,D))) 40588 98457542 o1(o2(x,o2(x,x))) true 4711 4711 -0.7376 0.008011 0.7382 0.09935 0.3152 -1 0.2168 1.217 1 3.05 0.00869 0.008287 0.07899 0.02377 1 -0.0001582 0.04014 0.1178 0.01073 0.1036 1.312 0.8402 0.1709 0.404 1 1 0.01573 0.08949 0.223 0.1583 0.9007 2.245 json
t12_x25_u1_b105 12 25 1 105 log(dot(R,lrg(R,D))) 40589 98457543 o1(o2(x,o2(x,x))) true 4719 4719 -0.7554 0.09415 0.8049 0.1861 0.4314 -1 0.8429 1.843 1 2.182 0.02532 0.02726 0.07099 -0.03699 1 -0.0003753 0.1139 0.1087 0.04756 0.2181 3.072 2.542 0.2826 0.612 1 1 0.06325 0.2201 0.4397 0.3399 1.183 2.363 json
t12_x25_u1_b106 12 25 1 106 log(dot(R,eql(R,D))) 40590 98457544 o1(o2(x,o2(x,x))) true 4727 4727 -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_u1_b107 12 25 1 107 log(dot(R,min(R,D))) 40591 98457545 o1(o2(x,o2(x,x))) true 4735 4735 -0.7956 0.05803 0.8173 0.1314 0.3625 -1 0.6215 1.621 1 2.266 0.01162 0.01333 0.05058 -0.06864 1 -0.00005759 0.05396 0.06033 0.0224 0.1497 2.959 2.093 0.1899 0.4107 1 1 0.02495 0.11 0.2238 0.1899 0.8371 1.704 json
t12_x25_u1_b108 12 25 1 108 log(dot(R,dot(R,D))) 40592 98457546 o1(o2(x,o2(x,x))) true 4743 4743 -1 0 1 0.0000051 0.002258 -1 -0.6958 0.3042 1 0.002653 0.00000751 0.000005375 0.00006819 0.1656 0 2.628e-11 0.00005256 0.0001306 0.00001288 0.003588 52.63 0.3284 2.527 10.31 1 1 0.000003811 0.000004477 0.000004477 0.7472 0.8779 0.8779 json
t12_x25_u1_b109 12 25 1 109 log(dot(R,dst(R,D))) 40593 98457547 o1(o2(x,o2(x,x))) true 4751 4751 -0.9698 0.01183 0.9795 0.03124 0.1768 -1 1 2 1 0.4252 0.003688 0.004774 0.01064 -0.1284 1 -0.000001979 0.01688 0.01454 0.008352 0.09139 8.586 2.289 0.2708 0.5404 1 1 0.01303 0.05738 0.08808 0.4171 1.836 2.819 json
t12_x25_u1_b110 12 25 1 110 log(dst(R,add(R,D))) 40594 98457548 o1(o2(x,o2(x,x))) true 4759 4759 -0.7705 0 0.7705 0.04347 0.2085 -1 -0.3539 0.6461 1 2.94 0.004784 0.004784 0.07691 -0.000003504 1 -0.0003411 0.005662 0.04961 0.003653 0.06044 0.7859 0.2093 0.2201 0.1303 1 1 0.01694 0.08275 6.511e-16 0.3898 1.904 1.498e-14 json
t12_x25_u1_b111 12 25 1 111 log(dst(R,sub(R,D))) 40595 98457549 o1(o2(x,o2(x,x))) true 4767 4767 -0.7705 0 0.7705 0.04347 0.2085 -1 -0.3539 0.6461 1 2.94 0.004784 0.004784 0.07691 -0.000003504 1 -0.0003411 0.005662 0.04961 0.003653 0.06044 0.7859 0.2093 0.2201 0.1303 1 1 0.01694 0.08275 7.924e-16 0.3898 1.904 1.823e-14 json
t12_x25_u1_b112 12 25 1 112 log(dst(R,mlt(R,D))) 40596 98457550 o1(o2(x,o2(x,x))) true 4775 4775 -0.07803 0.4599 0.2216 0.08112 0.2848 -1 0.5277 1.528 1 4.092 0.001222 0.001565 0.0439 -0.1227 1 3.057e-7 0.000286 0.01184 0.0008594 0.02932 0.6677 0.2999 0.03436 0.003525 1 1 0.004728 0.05509 0.1262 0.05828 0.6791 1.556 json
t12_x25_u1_b113 12 25 1 113 log(dst(R,div(R,D))) 40597 98457551 o1(o2(x,o2(x,x))) true 4783 4783 -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_u1_b114 12 25 1 114 log(dst(R,pow(R,D))) 40598 98457552 o1(o2(x,o2(x,x))) true 4791 4791 -0.996 0.001953 0.9979 0.00505 0.07106 -1 0.7077 1.708 1 0.05379 0.000639 0.000763 0.001327 -0.08846 1 1.877e-11 0.002904 0.002122 0.001399 0.0374 28.19 2.367 0.2776 0.5751 1 1 0.002543 0.01075 0.01804 0.5035 2.129 3.572 json
t12_x25_u1_b115 12 25 1 115 log(dst(R,mod(R,D))) 40599 98457553 o1(o2(x,o2(x,x))) true 4799 4799 -0.8564 0.01396 0.8589 0.08357 0.2891 -1 0.2603 1.26 1 1.738 0.02787 0.0251 0.08961 0.05234 1 0.0001753 0.1382 0.1648 0.04495 0.212 2.366 1.733 0.6338 1.653 1 1 0.04543 0.1067 0.1466 0.5435 1.276 1.754 json