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_u0_b90 12 26 0 90 sqt(min(R,mlt(R,R))) 41300 98497728 o1(o2(x,o2(x,x))) true 10407 10407 -0.9327 0.04297 0.9813 0.1025 0.3202 -1 0.9428 1.943 1 0.413 0.01033 0.01038 0.01414 -0.00231 1 0.000008535 0.04322 0.0262 0.02051 0.1432 10.13 2.64 0.2021 0.4217 1 1 0.01648 0.07156 0.1733 0.1608 0.6982 1.691 json
t12_x26_u0_b91 12 26 0 91 sqt(min(R,div(R,R))) 41301 98497729 o1(o2(x,o2(x,x))) true 10415 10415 -0.9258 0.04297 0.9882 0.1235 0.3514 -1 0.971 1.971 1 0.3916 0.01252 0.01245 0.01513 0.002807 1 0.000005689 0.05219 0.02886 0.02476 0.1573 10.4 2.731 0.2023 0.4226 1 1 0.0197 0.08508 0.2088 0.1595 0.689 1.691 json
t12_x26_u0_b92 12 26 0 92 sqt(min(R,pow(R,R))) 41302 98497730 o1(o2(x,o2(x,x))) true 10423 10423 -0.9258 0.04297 0.9882 0.1235 0.3514 -1 0.971 1.971 1 0.3916 0.01252 0.01245 0.01513 0.002807 1 0.000005689 0.05219 0.02886 0.02476 0.1573 10.4 2.731 0.2023 0.4226 1 1 0.0197 0.08508 0.2088 0.1595 0.689 1.691 json
t12_x26_u0_b93 12 26 0 93 sqt(min(R,mod(R,R))) 41303 98497731 o1(o2(x,o2(x,x))) true 10431 10431 -0.9492 0.02917 0.9649 0.06044 0.2459 -1 0.9475 1.948 1 0.3688 0.006555 0.005479 0.01063 0.08941 1 -0.000002897 0.025 0.01964 0.01193 0.1092 10.27 2.397 0.1991 0.4137 1 1 0.01002 0.0436 0.1185 0.1658 0.7213 1.96 json
t12_x26_u0_b94 12 26 0 94 sqt(min(R,lrg(R,R))) 41304 98497732 o1(o2(x,o2(x,x))) true 10439 10439 -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_u0_b95 12 26 0 95 sqt(min(R,eql(R,R))) 41305 98497733 o1(o2(x,o2(x,x))) true 10447 10447 -0.9258 0.04297 0.9882 0.1235 0.3514 -1 0.971 1.971 1 0.3916 0.01252 0.01245 0.01513 0.002807 1 0.000005689 0.05219 0.02886 0.02476 0.1573 10.4 2.731 0.2023 0.4226 1 1 0.0197 0.08508 0.2088 0.1595 0.689 1.691 json
t12_x26_u0_b96 12 26 0 96 sqt(min(R,min(R,R))) 41306 98497734 o1(o2(x,o2(x,x))) true 10455 10455 -0.9258 0.04297 0.9882 0.1235 0.3514 -1 0.971 1.971 1 0.3916 0.01252 0.01245 0.01513 0.002807 1 0.000005689 0.05219 0.02886 0.02476 0.1573 10.4 2.731 0.2023 0.4226 1 1 0.0197 0.08508 0.2088 0.1595 0.689 1.691 json
t12_x26_u0_b97 12 26 0 97 sqt(min(R,dot(R,R))) 41307 98497735 o1(o2(x,o2(x,x))) true 10463 10463 -0.9264 0.04297 0.9877 0.1217 0.3489 -1 0.971 1.971 1 0.3942 0.01238 0.01223 0.01507 0.006365 1 0.00000585 0.05141 0.02864 0.02439 0.1562 10.36 2.731 0.2022 0.4224 1 1 0.01953 0.08432 0.2072 0.1605 0.6928 1.703 json
t12_x26_u0_b98 12 26 0 98 sqt(min(R,dst(R,R))) 41308 98497736 o1(o2(x,o2(x,x))) true 10471 10471 -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_u0_b99 12 26 0 99 sqt(dot(R,add(R,R))) 41309 98497737 o1(o2(x,o2(x,x))) true 10479 10479 0.9765 1 0.9765 0.006756 0.08219 0.1407 1 0.8593 1 0.7291 0.0001495 0.0002559 0.006055 -0.2624 1 -0.00002036 0.0001461 0.003377 0.0003685 0.0192 3.171 0.1774 0.06002 0.02163 1 1 0.00055 0.004755 0.009058 0.08141 0.7039 1.341 json
t12_x26_u0_b100 12 26 0 100 sqt(dot(R,sub(R,R))) 41310 98497738 o1(o2(x,o2(x,x))) true 10487 10487 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_u0_b101 12 26 0 101 sqt(dot(R,mlt(R,R))) 41311 98497739 o1(o2(x,o2(x,x))) true 10495 10495 -0.8684 0.08203 0.9675 0.1983 0.4453 -1 1 2 1 0.717 0.01768 0.02193 0.02574 -0.1075 1 -0.00000364 0.08261 0.04708 0.03895 0.1974 7.667 2.828 0.1998 0.4166 1 1 0.055 0.2229 0.5298 0.2773 1.124 2.672 json
t12_x26_u0_b102 12 26 0 102 sqt(dot(R,div(R,R))) 41312 98497740 o1(o2(x,o2(x,x))) true 10503 10503 -0.8979 0.05859 0.9849 0.1698 0.4121 -1 1 2 1 0.516 0.01652 0.0195 0.02158 -0.08297 1 -2.787e-8 0.07551 0.04109 0.03557 0.1886 8.741 2.828 0.2121 0.4446 1 1 0.05328 0.2204 0.4854 0.3137 1.298 2.858 json
t12_x26_u0_b103 12 26 0 103 sqt(dot(R,pow(R,R))) 41313 98497741 o1(o2(x,o2(x,x))) true 10511 10511 -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_u0_b104 12 26 0 104 sqt(dot(R,mod(R,R))) 41314 98497742 o1(o2(x,o2(x,x))) true 10519 10519 0.2875 0.922 0.2875 0.08188 0.2861 0 1 1 1 3.48 0.001124 0.001181 0.0366 -0.02494 1 -0.0000156 0.0001528 0.008659 0.000965 0.03106 0.8487 0.1575 0.02815 0.001866 1 1 0.004805 0.06059 0.1661 0.05869 0.74 2.029 json
t12_x26_u0_b105 12 26 0 105 sqt(dot(R,lrg(R,R))) 41315 98497743 o1(o2(x,o2(x,x))) true 10527 10527 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_u0_b106 12 26 0 106 sqt(dot(R,eql(R,R))) 41316 98497744 o1(o2(x,o2(x,x))) true 10535 10535 -0.8979 0.05859 0.9849 0.1698 0.4121 -1 1 2 1 0.516 0.01652 0.0195 0.02158 -0.08297 1 -2.787e-8 0.07551 0.04109 0.03557 0.1886 8.741 2.828 0.2121 0.4446 1 1 0.05328 0.2204 0.4854 0.3137 1.298 2.858 json
t12_x26_u0_b107 12 26 0 107 sqt(dot(R,min(R,R))) 41317 98497745 o1(o2(x,o2(x,x))) true 10543 10543 0.897 1 0.897 0.02252 0.1501 0.09951 1 0.9005 1 2.181 0.0003411 0.0004606 0.01666 -0.149 1 -0.00001961 0.000143 0.005703 0.0005243 0.0229 1.374 0.1266 0.0356 0.006351 1 1 0.001342 0.015 0.03485 0.05959 0.666 1.547 json
t12_x26_u0_b108 12 26 0 108 sqt(dot(R,dot(R,R))) 41318 98497746 o1(o2(x,o2(x,x))) true 10551 10551 -0.8995 0.05859 0.9834 0.1656 0.407 -1 1 2 1 0.5238 0.01631 0.01897 0.02174 -0.07516 1 -0.000002702 0.07391 0.04064 0.03482 0.1866 8.581 2.828 0.213 0.4462 1 1 0.05202 0.2169 0.4716 0.314 1.309 2.847 json
t12_x26_u0_b109 12 26 0 109 sqt(dot(R,dst(R,R))) 41319 98497747 o1(o2(x,o2(x,x))) true 10559 10559 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_u0_b110 12 26 0 110 sqt(dst(R,add(R,R))) 41320 98497748 o1(o2(x,o2(x,x))) true 10567 10567 0.9395 1 0.9395 0.008316 0.09119 0.3152 1 0.6848 1 1.631 0.0001166 0.0001623 0.009779 -0.1639 1 -0.000009877 0.00004232 0.003157 0.0001832 0.01353 1.384 0.08961 0.03353 0.00509 1 1 0.0004445 0.005101 0.01241 0.05345 0.6135 1.493 json
t12_x26_u0_b111 12 26 0 111 sqt(dst(R,sub(R,R))) 41321 98497749 o1(o2(x,o2(x,x))) true 10575 10575 0.9395 1 0.9395 0.008316 0.09119 0.3152 1 0.6848 1 1.631 0.0001166 0.0001623 0.009779 -0.1639 1 -0.000009877 0.00004232 0.003157 0.0001832 0.01353 1.384 0.08961 0.03353 0.00509 1 1 0.0004445 0.005101 0.01241 0.05345 0.6135 1.493 json
t12_x26_u0_b112 12 26 0 112 sqt(dst(R,mlt(R,R))) 41322 98497750 o1(o2(x,o2(x,x))) true 10583 10583 0.8911 1 0.8911 0.02132 0.146 0.3056 1 0.6944 1 2.16 0.0003591 0.0004475 0.01677 -0.1096 1 -0.00003807 0.0001766 0.006176 0.0005252 0.02292 1.367 0.136 0.03783 0.008284 1 1 0.001539 0.01621 0.03612 0.07217 0.7604 1.694 json
t12_x26_u0_b113 12 26 0 113 sqt(dst(R,div(R,R))) 41323 98497751 o1(o2(x,o2(x,x))) true 10591 10591 0.9952 1 0.9952 0.0008523 0.02919 0.6383 1 0.3617 1 0.2365 0.00003337 0.00004851 0.001685 -0.185 0 -9.761e-11 0.00003727 0.00112 0.00007906 0.008891 5.276 0.1 0.09607 0.04373 1 1 0.0002224 0.001776 0.002348 0.2609 2.084 2.755 json
t12_x26_u0_b114 12 26 0 114 sqt(dst(R,pow(R,R))) 41324 98497752 o1(o2(x,o2(x,x))) true 10599 10599 -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_u0_b115 12 26 0 115 sqt(dst(R,mod(R,R))) 41325 98497753 o1(o2(x,o2(x,x))) true 10607 10607 0.8688 1 0.8688 0.02265 0.1505 0.0003212 1 0.9997 1 2.546 0.0002965 0.000386 0.01786 -0.1311 1 -0.0000038 0.00007009 0.004842 0.0003634 0.01906 1.067 0.1323 0.03014 0.003095 1 1 0.001476 0.01783 0.04045 0.06516 0.7872 1.786 json
t12_x26_u0_b116 12 26 0 116 sqt(dst(R,lrg(R,R))) 41326 98497754 o1(o2(x,o2(x,x))) true 10615 10615 0.9395 1 0.9395 0.008316 0.09119 0.3152 1 0.6848 1 1.631 0.0001166 0.0001623 0.009779 -0.1639 1 -0.000009877 0.00004232 0.003157 0.0001832 0.01353 1.384 0.08961 0.03353 0.00509 1 1 0.0004445 0.005101 0.01241 0.05345 0.6135 1.493 json
t12_x26_u0_b117 12 26 0 117 sqt(dst(R,eql(R,R))) 41327 98497755 o1(o2(x,o2(x,x))) true 10623 10623 0.9952 1 0.9952 0.0008523 0.02919 0.6383 1 0.3617 1 0.2365 0.00003337 0.00004851 0.001685 -0.185 0 -2.628e-11 0.00003727 0.00112 0.00007906 0.008891 5.276 0.1 0.09607 0.04373 1 1 0.0002224 0.001776 0.002348 0.2609 2.084 2.755 json
t12_x26_u0_b118 12 26 0 118 sqt(dst(R,min(R,R))) 41328 98497756 o1(o2(x,o2(x,x))) true 10631 10631 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_u0_b119 12 26 0 119 sqt(dst(R,dot(R,R))) 41329 98497757 o1(o2(x,o2(x,x))) true 10639 10639 0.9801 1 0.9801 0.00488 0.06986 0.2878 1 0.7122 1 0.6859 0.0001218 0.0001773 0.005114 -0.1853 1 -0.00001515 0.0001063 0.002784 0.0002728 0.01652 3.23 0.1785 0.0613 0.02178 1 1 0.000429 0.003885 0.006782 0.08792 0.7962 1.39 json
t12_x26_u0_b120 12 26 0 120 sqt(dst(R,dst(R,R))) 41330 98497758 o1(o2(x,o2(x,x))) true 10647 10647 0.9395 1 0.9395 0.008316 0.09119 0.3152 1 0.6848 1 1.631 0.0001166 0.0001623 0.009779 -0.1639 1 -0.000009877 0.00004232 0.003157 0.0001832 0.01353 1.384 0.08961 0.03353 0.00509 1 1 0.0004445 0.005101 0.01241 0.05345 0.6135 1.493 json
t12_x26_u1_b0 12 26 1 0 log(add(R,add(R,R))) 41331 98497839 o1(o2(x,o2(x,x))) true 10655 10655 -0.941 0.03598 0.9802 0.08755 0.2959 -1 1 2 1 0.4367 0.008965 0.009303 0.01403 -0.01848 1 0.00001498 0.03774 0.02343 0.01807 0.1344 9.583 2.766 0.2087 0.4311 1 1 0.01532 0.06718 0.1508 0.175 0.7674 1.723 json
t12_x26_u1_b1 12 26 1 1 log(add(R,sub(R,R))) 41332 98497840 o1(o2(x,o2(x,x))) true 10663 10663 -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_x26_u1_b2 12 26 1 2 log(add(R,mlt(R,R))) 41333 98497841 o1(o2(x,o2(x,x))) true 10671 10671 -0.9666 0.01669 0.9752 0.03442 0.1855 -1 0.6052 1.605 1 0.3994 0.003627 0.004034 0.009421 -0.05311 1 0.0000226 0.01548 0.01388 0.007574 0.08703 9.238 2.095 0.2226 0.4496 1 1 0.006571 0.02919 0.05884 0.1909 0.8478 1.709 json
t12_x26_u1_b3 12 26 1 3 log(add(R,div(R,R))) 41334 98497842 o1(o2(x,o2(x,x))) true 10679 10679 -0.1798 0.4265 0.4504 0.2684 0.5181 -1 0.6829 1.683 1 4.501 0.00408 0.004708 0.06566 -0.07142 1 0.0001113 0.001788 0.02026 0.004477 0.06691 1.019 0.6149 0.03274 0.006663 1 1 0.01603 0.1805 0.4484 0.05974 0.6726 1.67 json
t12_x26_u1_b4 12 26 1 4 log(add(R,pow(R,R))) 41335 98497843 o1(o2(x,o2(x,x))) true 10687 10687 -0.9456 0.03931 0.9689 0.06742 0.2597 -1 0.636 1.636 1 0.4081 0.006782 0.006841 0.01161 -0.004328 1 0.000008458 0.02841 0.0212 0.01348 0.1161 9.999 2.206 0.2021 0.4213 1 1 0.01088 0.04742 0.114 0.1614 0.7033 1.69 json
t12_x26_u1_b5 12 26 1 5 log(add(R,mod(R,R))) 41336 98497844 o1(o2(x,o2(x,x))) true 10695 10695 -0.9768 0.00383 0.9787 0.0184 0.1356 -1 0.5853 1.585 1 0.3574 0.002105 0.001745 0.006076 0.09348 1 0.00001311 0.007824 0.0093 0.00381 0.06172 10.16 1.585 0.2093 0.4253 1 1 0.003689 0.01639 0.04037 0.2005 0.8909 2.195 json
t12_x26_u1_b6 12 26 1 6 log(add(R,lrg(R,R))) 41337 98497845 o1(o2(x,o2(x,x))) true 10703 10703 -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_x26_u1_b7 12 26 1 7 log(add(R,eql(R,R))) 41338 98497846 o1(o2(x,o2(x,x))) true 10711 10711 -0.1798 0.4265 0.4504 0.2684 0.5181 -1 0.6829 1.683 1 4.501 0.00408 0.004708 0.06566 -0.07142 1 0.0001113 0.001788 0.02026 0.004477 0.06691 1.019 0.6149 0.03274 0.006663 1 1 0.01603 0.1805 0.4484 0.05974 0.6726 1.67 json
t12_x26_u1_b8 12 26 1 8 log(add(R,min(R,R))) 41339 98497847 o1(o2(x,o2(x,x))) true 10719 10719 -0.9576 0.02406 0.9721 0.04826 0.2197 -1 0.6342 1.634 1 0.4151 0.004999 0.005292 0.01073 -0.0285 1 0.00001648 0.02112 0.01718 0.01018 0.1009 9.404 2.192 0.2132 0.4376 1 1 0.008726 0.03834 0.08329 0.1808 0.7945 1.726 json
t12_x26_u1_b9 12 26 1 9 log(add(R,dot(R,R))) 41340 98497848 o1(o2(x,o2(x,x))) true 10727 10727 -0.3482 0.3205 0.608 0.3781 0.6149 -1 1 2 1 4.061 0.01727 0.01766 0.0769 -0.01112 1 0.00007597 0.0576 0.05694 0.02901 0.1703 2.215 2.39 0.09239 0.1523 1 1 0.0457 0.2809 0.7959 0.1209 0.743 2.105 json
t12_x26_u1_b10 12 26 1 10 log(add(R,dst(R,R))) 41341 98497849 o1(o2(x,o2(x,x))) true 10735 10735 -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_x26_u1_b11 12 26 1 11 log(sub(R,add(R,R))) 41342 98497850 o1(o2(x,o2(x,x))) true 10743 10743 -0.9765 0 0.9765 0.01618 0.1272 -1 -0.001196 0.9988 1 0.3894 0.001388 0.002314 0.007057 -0.2501 1 0.00000196 0.007417 0.01019 0.003653 0.06044 8.565 1.247 0.2289 0.4584 1 1 0.003623 0.0155 0.03315 0.2239 0.9583 2.049 json
t12_x26_u1_b12 12 26 1 12 log(sub(R,sub(R,R))) 41343 98497851 o1(o2(x,o2(x,x))) true 10751 10751 -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_x26_u1_b13 12 26 1 13 log(sub(R,mlt(R,R))) 41344 98497852 o1(o2(x,o2(x,x))) true 10759 10759 -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_u1_b14 12 26 1 14 log(sub(R,div(R,R))) 41345 98497853 o1(o2(x,o2(x,x))) true 10767 10767 -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_u1_b15 12 26 1 15 log(sub(R,pow(R,R))) 41346 98497854 o1(o2(x,o2(x,x))) true 10775 10775 -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_u1_b16 12 26 1 16 log(sub(R,mod(R,R))) 41347 98497855 o1(o2(x,o2(x,x))) true 10783 10783 -0.996 0 0.996 0.002503 0.05003 -1 -0.07531 0.9247 1 0.09794 0.0001714 0.0003355 0.001198 -0.3238 1 0.000006761 0.0009897 0.001557 0.0005052 0.02248 18.76 0.8956 0.2025 0.3954 1 1 0.0006026 0.002495 0.004719 0.2407 0.9966 1.885 json
t12_x26_u1_b17 12 26 1 17 log(sub(R,lrg(R,R))) 41348 98497856 o1(o2(x,o2(x,x))) true 10791 10791 -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_x26_u1_b18 12 26 1 18 log(sub(R,eql(R,R))) 41349 98497857 o1(o2(x,o2(x,x))) true 10799 10799 -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_u1_b19 12 26 1 19 log(sub(R,min(R,R))) 41350 98497858 o1(o2(x,o2(x,x))) true 10807 10807 -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_u1_b20 12 26 1 20 log(sub(R,dot(R,R))) 41351 98497859 o1(o2(x,o2(x,x))) true 10815 10815 -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_u1_b21 12 26 1 21 log(sub(R,dst(R,R))) 41352 98497860 o1(o2(x,o2(x,x))) true 10823 10823 -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_x26_u1_b22 12 26 1 22 log(mlt(R,add(R,R))) 41353 98497861 o1(o2(x,o2(x,x))) true 10831 10831 -0.5629 0.2023 0.6753 0.2667 0.5165 -1 0.691 1.691 1 3.467 0.00563 0.005959 0.06377 -0.02843 1 0.0002057 0.003682 0.02745 0.007521 0.08672 1.36 0.7515 0.04345 0.0138 1 1 0.01942 0.1956 0.5027 0.07279 0.7333 1.884 json
t12_x26_u1_b23 12 26 1 23 log(mlt(R,sub(R,R))) 41354 98497862 o1(o2(x,o2(x,x))) true 10839 10839 -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_u1_b24 12 26 1 24 log(mlt(R,mlt(R,R))) 41355 98497863 o1(o2(x,o2(x,x))) true 10847 10847 -0.9968 0 0.9968 0.001549 0.03936 -1 -0.1769 0.8231 1 0.09853 0.0002748 0.0004085 0.001885 -0.1957 1 0.0000425 0.001288 0.002603 0.0006799 0.02607 13.84 0.8231 0.441 0.8312 1 1 0.0005541 0.001702 0.00209 0.3577 1.099 1.349 json
t12_x26_u1_b25 12 26 1 25 log(mlt(R,div(R,R))) 41356 98497864 o1(o2(x,o2(x,x))) true 10855 10855 -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_x26_u1_b26 12 26 1 26 log(mlt(R,pow(R,R))) 41357 98497865 o1(o2(x,o2(x,x))) true 10863 10863 -0.9904 0 0.9904 0.004929 0.07021 -1 -0.1144 0.8856 1 0.2388 0.0006224 0.0007458 0.003665 -0.09021 1 0.00002048 0.002636 0.004662 0.001356 0.03682 10.05 1.037 0.2776 0.5348 1 1 0.001178 0.005332 0.007789 0.239 1.082 1.58 json
t12_x26_u1_b27 12 26 1 27 log(mlt(R,mod(R,R))) 41358 98497866 o1(o2(x,o2(x,x))) true 10871 10871 -0.9988 0 0.9988 0.0008034 0.02834 -1 -0.09648 0.9035 1 0.02879 0.0001052 0.0002106 0.0005801 -0.3338 1 6.007e-11 0.000637 0.00085 0.0003153 0.01776 30.61 1.278 0.3931 0.793 1 1 0.000598 0.002202 0.002923 0.7443 2.741 3.639 json
t12_x26_u1_b28 12 26 1 28 log(mlt(R,lrg(R,R))) 41359 98497867 o1(o2(x,o2(x,x))) true 10879 10879 -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_u1_b29 12 26 1 29 log(mlt(R,eql(R,R))) 41360 98497868 o1(o2(x,o2(x,x))) true 10887 10887 -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_x26_u1_b30 12 26 1 30 log(mlt(R,min(R,R))) 41361 98497869 o1(o2(x,o2(x,x))) true 10895 10895 -0.8638 0 0.8638 0.06081 0.2466 -1 -0.002157 0.9978 1 1.995 0.00179 0.001925 0.02721 -0.0364 1 0.0001552 0.001741 0.01594 0.002976 0.05455 2.005 0.4973 0.0611 0.02864 1 1 0.005791 0.04826 0.1037 0.09524 0.7937 1.705 json
t12_x26_u1_b31 12 26 1 31 log(mlt(R,dot(R,R))) 41362 98497870 o1(o2(x,o2(x,x))) true 10903 10903 -0.9817 0.006668 0.9842 0.01609 0.1269 -1 0.5228 1.523 1 0.2829 0.001933 0.002475 0.006572 -0.1231 1 0.00002793 0.008587 0.008762 0.004365 0.06607 10.05 2.059 0.2738 0.5335 1 1 0.003706 0.01647 0.02822 0.2303 1.023 1.754 json
t12_x26_u1_b32 12 26 1 32 log(mlt(R,dst(R,R))) 41363 98497871 o1(o2(x,o2(x,x))) true 10911 10911 -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_u1_b33 12 26 1 33 log(div(R,add(R,R))) 41364 98497872 o1(o2(x,o2(x,x))) true 10919 10919 -0.6928 0 0.6928 1.248e-7 0.0003533 -0.6931 -0.6931 1.788e-7 1 0 8.285e-17 8.548e-17 2.787e-9 -0.000002629 0 6.195e-9 1.873e-15 7.854e-9 1.606e-16 1.267e-8 4.546 8.429e-8 1.348e-9 1.5e-8 1 1 1.651e-16 6.624e-16 1.468e-15 1.323e-9 5.306e-9 1.176e-8 json
t12_x26_u1_b34 12 26 1 34 log(div(R,sub(R,R))) 41365 98497873 o1(o2(x,o2(x,x))) true 10927 10927 -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_u1_b35 12 26 1 35 log(div(R,mlt(R,R))) 41366 98497874 o1(o2(x,o2(x,x))) true 10935 10935 -0.9303 0.04297 0.9838 0.1121 0.3349 -1 1 2 1 0.4122 0.01178 0.01091 0.01516 0.03841 1 -0.00001706 0.04711 0.02734 0.02246 0.1499 9.888 2.828 0.2023 0.4201 1 1 0.0163 0.07072 0.1827 0.1454 0.6305 1.629 json
t12_x26_u1_b36 12 26 1 36 log(div(R,div(R,R))) 41367 98497875 o1(o2(x,o2(x,x))) true 10943 10943 -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_x26_u1_b37 12 26 1 37 log(div(R,pow(R,R))) 41368 98497876 o1(o2(x,o2(x,x))) true 10951 10951 -0.9748 0 0.9748 0.01834 0.1354 -1 -0.003506 0.9965 1 0.3699 0.001951 0.002096 0.006766 -0.0358 1 0.00001344 0.008246 0.01058 0.004002 0.06326 9.349 1.387 0.2207 0.4497 1 1 0.0035 0.01512 0.03202 0.1909 0.8244 1.746 json
t12_x26_u1_b38 12 26 1 38 log(div(R,mod(R,R))) 41369 98497877 o1(o2(x,o2(x,x))) true 10959 10959 -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 -1.201e-10 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_u1_b39 12 26 1 39 log(div(R,lrg(R,R))) 41370 98497878 o1(o2(x,o2(x,x))) true 10967 10967 -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_u1_b40 12 26 1 40 log(div(R,eql(R,R))) 41371 98497879 o1(o2(x,o2(x,x))) true 10975 10975 -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_x26_u1_b41 12 26 1 41 log(div(R,min(R,R))) 41372 98497880 o1(o2(x,o2(x,x))) true 10983 10983 -1.141e-8 0 1.497e-8 5.747e-16 2.397e-8 -5.96e-8 1.191e-7 1.787e-7 1 0.7463 6.672e-18 7.31e-18 2.316e-9 -6.379e-7 0 1.614e-12 8.283e-19 5.619e-10 8.617e-18 2.935e-9 1.267 2.09e-8 0.00001398 8.283e-7 0 1 2.439e-17 3.141e-16 9.836e-16 0.00002439 0.0003141 0.0009836 json
t12_x26_u1_b42 12 26 1 42 log(div(R,dot(R,R))) 41373 98497881 o1(o2(x,o2(x,x))) true 10991 10991 -0.9785 0.004074 0.98 0.0156 0.1249 -1 0.545 1.545 1 0.3815 0.001454 0.002188 0.006625 -0.2015 1 0.000008949 0.007294 0.009099 0.0036 0.06 9.056 1.519 0.2334 0.4675 1 1 0.002362 0.01013 0.01935 0.1514 0.6495 1.24 json
t12_x26_u1_b43 12 26 1 43 log(div(R,dst(R,R))) 41374 98497882 o1(o2(x,o2(x,x))) true 10999 10999 -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_u1_b44 12 26 1 44 log(pow(R,add(R,R))) 41375 98497883 o1(o2(x,o2(x,x))) true 11007 11007 -0.9788 0 0.9788 0.01107 0.1052 -1 -0.1109 0.8891 1 0.3931 0.001131 0.001122 0.005059 0.003877 1 0.00000773 0.004641 0.008233 0.002227 0.04719 9.328 1.064 0.2036 0.4193 1 1 0.001734 0.007935 0.01799 0.1567 0.7169 1.626 json
t12_x26_u1_b45 12 26 1 45 log(pow(R,sub(R,R))) 41376 98497884 o1(o2(x,o2(x,x))) true 11015 11015 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_u1_b46 12 26 1 46 log(pow(R,mlt(R,R))) 41377 98497885 o1(o2(x,o2(x,x))) true 11023 11023 -0.9622 0 0.9622 0.03183 0.1784 -1 -0.02484 0.9752 1 0.3141 0.003265 0.003136 0.007439 0.02009 1 3.236e-7 0.01338 0.01461 0.006349 0.07968 10.71 1.263 0.2011 0.4202 1 1 0.00478 0.02073 0.05283 0.1502 0.6513 1.66 json
t12_x26_u1_b47 12 26 1 47 log(pow(R,div(R,R))) 41378 98497886 o1(o2(x,o2(x,x))) true 11031 11031 -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_x26_u1_b48 12 26 1 48 log(pow(R,pow(R,R))) 41379 98497887 o1(o2(x,o2(x,x))) true 11039 11039 -0.9783 0 0.9783 0.01363 0.1167 -1 -0.05572 0.9443 1 0.3712 0.001437 0.001554 0.005844 -0.03908 1 0.00001183 0.006089 0.009049 0.002955 0.05436 9.303 1.236 0.2195 0.4468 1 1 0.00255 0.01113 0.02361 0.1871 0.8169 1.733 json
t12_x26_u1_b49 12 26 1 49 log(pow(R,mod(R,R))) 41380 98497888 o1(o2(x,o2(x,x))) true 11047 11047 -0.9606 0 0.9606 0.03504 0.1872 -1 0 1 1 0.3617 0.003573 0.00361 0.008138 -0.005177 1 0.00000169 0.01502 0.01543 0.007113 0.08434 10.36 1.414 0.205 0.4285 1 1 0.005392 0.02329 0.05539 0.1539 0.6647 1.581 json
t12_x26_u1_b50 12 26 1 50 log(pow(R,lrg(R,R))) 41381 98497889 o1(o2(x,o2(x,x))) true 11055 11055 -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_u1_b51 12 26 1 51 log(pow(R,eql(R,R))) 41382 98497890 o1(o2(x,o2(x,x))) true 11063 11063 -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_x26_u1_b52 12 26 1 52 log(pow(R,min(R,R))) 41383 98497891 o1(o2(x,o2(x,x))) true 11071 11071 -0.9679 0 0.9679 0.0232 0.1523 -1 -0.05546 0.9445 1 0.3514 0.002347 0.002299 0.006658 0.01038 1 0.000003865 0.009692 0.01243 0.004602 0.06784 10.19 1.239 0.2002 0.4177 1 1 0.003559 0.0156 0.03862 0.1534 0.6722 1.665 json
t12_x26_u1_b53 12 26 1 53 log(pow(R,dot(R,R))) 41384 98497892 o1(o2(x,o2(x,x))) true 11079 11079 -0.9784 0 0.9784 0.01313 0.1146 -1 -0.07178 0.9282 1 0.3766 0.00127 0.001622 0.005901 -0.1216 1 0.00001182 0.005876 0.008845 0.002858 0.05346 9.058 1.047 0.2203 0.4476 1 1 0.002247 0.01002 0.01996 0.1712 0.7634 1.52 json
t12_x26_u1_b54 12 26 1 54 log(pow(R,dst(R,R))) 41385 98497893 o1(o2(x,o2(x,x))) true 11087 11087 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_u1_b55 12 26 1 55 log(mod(R,add(R,R))) 41386 98497894 o1(o2(x,o2(x,x))) true 11095 11095 -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_x26_u1_b56 12 26 1 56 log(mod(R,sub(R,R))) 41387 98497895 o1(o2(x,o2(x,x))) true 11103 11103 -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_x26_u1_b57 12 26 1 57 log(mod(R,mlt(R,R))) 41388 98497896 o1(o2(x,o2(x,x))) true 11111 11111 -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_u1_b58 12 26 1 58 log(mod(R,div(R,R))) 41389 98497897 o1(o2(x,o2(x,x))) true 11119 11119 -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_x26_u1_b59 12 26 1 59 log(mod(R,pow(R,R))) 41390 98497898 o1(o2(x,o2(x,x))) true 11127 11127 -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_x26_u1_b60 12 26 1 60 log(mod(R,mod(R,R))) 41391 98497899 o1(o2(x,o2(x,x))) true 11135 11135 -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_u1_b61 12 26 1 61 log(mod(R,lrg(R,R))) 41392 98497900 o1(o2(x,o2(x,x))) true 11143 11143 -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_u1_b62 12 26 1 62 log(mod(R,eql(R,R))) 41393 98497901 o1(o2(x,o2(x,x))) true 11151 11151 -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_x26_u1_b63 12 26 1 63 log(mod(R,min(R,R))) 41394 98497902 o1(o2(x,o2(x,x))) true 11159 11159 -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_u1_b64 12 26 1 64 log(mod(R,dot(R,R))) 41395 98497903 o1(o2(x,o2(x,x))) true 11167 11167 -0.9869 0 0.9869 0.007995 0.08941 -1 -0.05896 0.941 1 0.2691 0.0009594 0.001085 0.004567 -0.06152 1 0.00002626 0.003981 0.006114 0.002024 0.04499 9.851 1.211 0.2557 0.4979 1 1 0.001816 0.008044 0.01478 0.2272 1.006 1.848 json
t12_x26_u1_b65 12 26 1 65 log(mod(R,dst(R,R))) 41396 98497904 o1(o2(x,o2(x,x))) true 11175 11175 -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_x26_u1_b66 12 26 1 66 log(lrg(R,add(R,R))) 41397 98497905 o1(o2(x,o2(x,x))) true 11183 11183 -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_x26_u1_b67 12 26 1 67 log(lrg(R,sub(R,R))) 41398 98497906 o1(o2(x,o2(x,x))) true 11191 11191 -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_u1_b68 12 26 1 68 log(lrg(R,mlt(R,R))) 41399 98497907 o1(o2(x,o2(x,x))) true 11199 11199 -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