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_x8_u1_b15 12 8 1 15 log(sub(P,pow(R,R))) 26100 97770636 o1(o2(x,o2(x,x))) true 38647 38647 -0.9922 0.003906 1 0.01556 0.1248 -1 1 2 1 0.03687 0.001008 0.001764 0.001386 -0.2727 1 0 0.005795 0.002771 0.002769 0.05262 37.97 2 0.1781 0.3723 1 1 0 0 0.0133 0 0 0.8543 json
t12_x8_u1_b16 12 8 1 16 log(sub(P,mod(R,R))) 26101 97770637 o1(o2(x,o2(x,x))) true 38655 38655 -0.1733 0.4293 0.9448 0.8954 0.9462 -1 1 2 1 1.831 0.003837 0.0003371 0.009159 0.8385 1 0.000005236 0.007618 0.00873 0.004087 0.06393 6.98 1.583 0.004662 0.008508 1 1 0.006209 0.03534 0.2401 0.006935 0.03947 0.2681 json
t12_x8_u1_b17 12 8 1 17 log(sub(P,lrg(R,R))) 26102 97770638 o1(o2(x,o2(x,x))) true 38663 38663 -0.1739 0.4375 0.9511 0.9053 0.9515 -1 1 2 1 1.654 0.004186 0 0.007937 1 1 1.42e-9 0.007916 0.008917 0.004122 0.0642 8.089 1 0.004624 0.008745 1 1 0.005854 0.03284 0.2495 0.006466 0.03627 0.2755 json
t12_x8_u1_b18 12 8 1 18 log(sub(P,eql(R,R))) 26103 97770639 o1(o2(x,o2(x,x))) true 38671 38671 -0.2989 0.375 0.9511 0.8461 0.9199 -1 1 2 1 1.595 0.004186 0 0.007937 1 1 1.42e-9 0.007916 0.008917 0.004122 0.0642 8.089 1 0.004947 0.009356 1 1 0.005854 0.03284 0.2495 0.006919 0.03881 0.2948 json
t12_x8_u1_b19 12 8 1 19 log(sub(P,min(R,R))) 26104 97770640 o1(o2(x,o2(x,x))) true 38679 38679 -0.1855 0.4168 0.9538 0.9016 0.9495 -1 1 2 1 1.814 0.003327 0.0007236 0.01184 0.6428 1 0.00001828 0.005858 0.008454 0.003909 0.06252 5.28 1.497 0.004493 0.006498 1 1 0.00712 0.05123 0.2705 0.007898 0.05682 0.3 json
t12_x8_u1_b20 12 8 1 20 log(sub(P,dot(R,R))) 26105 97770641 o1(o2(x,o2(x,x))) true 38687 38687 -0.3071 0.3586 0.9512 0.8382 0.9155 -1 1 2 1 1.729 0.004932 0.001268 0.0104 0.591 1 -7.659e-7 0.01172 0.01061 0.006098 0.07809 7.51 2.273 0.007397 0.01399 1 1 0.009174 0.05121 0.282 0.01095 0.06109 0.3365 json
t12_x8_u1_b21 12 8 1 21 log(sub(P,dst(R,R))) 26106 97770642 o1(o2(x,o2(x,x))) true 38695 38695 -0.1739 0.4375 0.9511 0.9053 0.9515 -1 1 2 1 1.654 0.004186 0 0.007937 1 1 1.42e-9 0.007916 0.008917 0.004122 0.0642 8.089 1 0.004624 0.008745 1 1 0.005854 0.03284 0.2495 0.006466 0.03627 0.2755 json
t12_x8_u1_b22 12 8 1 22 log(mlt(P,add(R,R))) 26107 97770643 o1(o2(x,o2(x,x))) true 38703 38703 -0.9411 0.03249 0.9887 0.09865 0.3141 -1 1 2 1 0.365 0.009379 0.009739 0.01287 -0.01887 1 -4.037e-8 0.03926 0.0217 0.01895 0.1377 10.7 2.828 0.1938 0.398 1 1 0.01658 0.07259 0.1831 0.1681 0.7359 1.856 json
t12_x8_u1_b23 12 8 1 23 log(mlt(P,sub(R,R))) 26108 97770644 o1(o2(x,o2(x,x))) true 38711 38711 -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_x8_u1_b24 12 8 1 24 log(mlt(P,mlt(R,R))) 26109 97770645 o1(o2(x,o2(x,x))) true 38719 38719 -0.6578 0.1691 0.8837 0.4117 0.6416 -1 1 2 1 2.171 0.004882 0.00478 0.03786 0.0106 1 0.00005358 0.003982 0.01719 0.008229 0.09071 2.396 0.883 0.02347 0.009672 1 1 0.0137 0.1394 0.5106 0.03328 0.3386 1.24 json
t12_x8_u1_b25 12 8 1 25 log(mlt(P,div(R,R))) 26110 97770646 o1(o2(x,o2(x,x))) true 38727 38727 -0.1739 0.4375 0.9511 0.9053 0.9515 -1 1 2 1 1.654 0.004186 1.565e-17 0.007937 1 1 1.288e-9 0.007916 0.008917 0.004122 0.0642 8.089 1 0.004624 0.008745 1 1 0.005854 0.03284 0.2495 0.006466 0.03627 0.2755 json
t12_x8_u1_b26 12 8 1 26 log(mlt(P,pow(R,R))) 26111 97770647 o1(o2(x,o2(x,x))) true 38735 38735 -0.9922 0.003906 1 0.01556 0.1248 -1 1 2 1 0.03687 0.001008 0.001764 0.001386 -0.2727 1 0 0.005795 0.002771 0.002769 0.05262 37.97 2 0.1781 0.3723 1 1 0 0 0.0133 0 0 0.8543 json
t12_x8_u1_b27 12 8 1 27 log(mlt(P,mod(R,R))) 26112 97770648 o1(o2(x,o2(x,x))) true 38743 38743 -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_x8_u1_b28 12 8 1 28 log(mlt(P,lrg(R,R))) 26113 97770649 o1(o2(x,o2(x,x))) true 38751 38751 -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_x8_u1_b29 12 8 1 29 log(mlt(P,eql(R,R))) 26114 97770650 o1(o2(x,o2(x,x))) true 38759 38759 -0.1739 0.4375 0.9511 0.9053 0.9515 -1 1 2 1 1.654 0.004186 0 0.007937 1 1 1.42e-9 0.007916 0.008917 0.004122 0.0642 8.089 1 0.004624 0.008745 1 1 0.005854 0.03284 0.2495 0.006466 0.03627 0.2755 json
t12_x8_u1_b30 12 8 1 30 log(mlt(P,min(R,R))) 26115 97770651 o1(o2(x,o2(x,x))) true 38767 38767 -0.9588 0.0193 0.9828 0.05929 0.2435 -1 1 2 1 0.3625 0.005665 0.007005 0.01009 -0.1057 1 -4.022e-8 0.02598 0.01628 0.01257 0.1121 11.11 2.828 0.2137 0.4381 1 1 0.009747 0.04111 0.1029 0.1644 0.6934 1.736 json
t12_x8_u1_b31 12 8 1 31 log(mlt(P,dot(R,R))) 26116 97770652 o1(o2(x,o2(x,x))) true 38775 38775 -0.2218 0.408 0.9264 0.8529 0.9235 -1 1 2 1 1.994 0.00581 0.00109 0.017 0.6841 1 -0.000005977 0.01001 0.01244 0.006604 0.08127 4.781 1.614 0.00809 0.01174 1 1 0.00749 0.04984 0.2774 0.008782 0.05844 0.3252 json
t12_x8_u1_b32 12 8 1 32 log(mlt(P,dst(R,R))) 26117 97770653 o1(o2(x,o2(x,x))) true 38783 38783 -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_x8_u1_b33 12 8 1 33 log(div(P,add(R,R))) 26118 97770654 o1(o2(x,o2(x,x))) true 38791 38791 -0.9289 0.03767 0.9934 0.1284 0.3583 -1 1 2 1 0.3249 0.01265 0.01002 0.0131 0.116 1 -2.215e-10 0.04715 0.02477 0.02249 0.15 11.44 2.828 0.1765 0.3673 1 1 0.02139 0.09119 0.245 0.1666 0.7102 1.908 json
t12_x8_u1_b34 12 8 1 34 log(div(P,sub(R,R))) 26119 97770655 o1(o2(x,o2(x,x))) true 38799 38799 -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_x8_u1_b35 12 8 1 35 log(div(P,mlt(R,R))) 26120 97770656 o1(o2(x,o2(x,x))) true 38807 38807 -0.1289 0.4375 0.9961 0.9768 0.9883 -1 1 2 1 1.104 0.01315 0.0000473 0.00837 0.9928 1 -0.00000968 0.02607 0.01507 0.01312 0.1145 13.69 2 0.01351 0.02669 1 1 0.01919 0.08147 0.3339 0.01964 0.0834 0.3418 json
t12_x8_u1_b36 12 8 1 36 log(div(P,div(R,R))) 26121 97770657 o1(o2(x,o2(x,x))) true 38815 38815 -0.1739 0.4375 0.9511 0.9053 0.9515 -1 1 2 1 1.654 0.004186 1.898e-17 0.007937 1 1 3.989e-11 0.007916 0.008917 0.004122 0.0642 8.089 1 0.004624 0.008745 1 1 0.005854 0.03284 0.2495 0.006466 0.03627 0.2755 json
t12_x8_u1_b37 12 8 1 37 log(div(P,pow(R,R))) 26122 97770658 o1(o2(x,o2(x,x))) true 38823 38823 -0.9922 0.003906 1 0.01556 0.1248 -1 1 2 1 0.03687 0.001008 0.001764 0.001386 -0.2727 1 0 0.005795 0.002771 0.002769 0.05262 37.97 2 0.1781 0.3723 1 1 0 0 0.0133 0 0 0.8543 json
t12_x8_u1_b38 12 8 1 38 log(div(P,mod(R,R))) 26123 97770659 o1(o2(x,o2(x,x))) true 38831 38831 -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_x8_u1_b39 12 8 1 39 log(div(P,lrg(R,R))) 26124 97770660 o1(o2(x,o2(x,x))) true 38839 38839 -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_x8_u1_b40 12 8 1 40 log(div(P,eql(R,R))) 26125 97770661 o1(o2(x,o2(x,x))) true 38847 38847 -0.1739 0.4375 0.9511 0.9053 0.9515 -1 1 2 1 1.654 0.004186 0 0.007937 1 1 1.42e-9 0.007916 0.008917 0.004122 0.0642 8.089 1 0.004624 0.008745 1 1 0.005854 0.03284 0.2495 0.006466 0.03627 0.2755 json
t12_x8_u1_b41 12 8 1 41 log(div(P,min(R,R))) 26126 97770662 o1(o2(x,o2(x,x))) true 38855 38855 -0.9229 0.03906 0.999 0.1467 0.383 -1 1 2 1 0.2651 0.01437 0.01218 0.01366 0.08266 1 4.13e-11 0.05539 0.02717 0.02637 0.1624 11.89 2.828 0.181 0.3777 1 1 0.02565 0.1064 0.2934 0.1749 0.7257 2.001 json
t12_x8_u1_b42 12 8 1 42 log(div(P,dot(R,R))) 26127 97770663 o1(o2(x,o2(x,x))) true 38863 38863 -0.177 0.4209 0.9558 0.908 0.9529 -1 1 2 1 1.726 0.00522 0.0002169 0.01072 0.9202 1 0.000001177 0.009605 0.01014 0.005325 0.07297 6.805 2 0.005988 0.01058 1 1 0.008855 0.05144 0.2798 0.009752 0.05666 0.3081 json
t12_x8_u1_b43 12 8 1 43 log(div(P,dst(R,R))) 26128 97770664 o1(o2(x,o2(x,x))) true 38871 38871 -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_x8_u1_b44 12 8 1 44 log(pow(P,add(R,R))) 26129 97770665 o1(o2(x,o2(x,x))) true 38879 38879 -0.5972 0.1899 0.8575 0.4608 0.6788 -1 1 2 1 2.372 0.009206 0.005634 0.04453 0.2407 1 -0.00001848 0.01133 0.02418 0.01285 0.1134 2.545 1 0.03221 0.02459 1 1 0.02108 0.1833 0.505 0.04576 0.3978 1.096 json
t12_x8_u1_b45 12 8 1 45 log(pow(P,sub(R,R))) 26130 97770666 o1(o2(x,o2(x,x))) true 38887 38887 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_x8_u1_b46 12 8 1 46 log(pow(P,mlt(R,R))) 26131 97770667 o1(o2(x,o2(x,x))) true 38895 38895 -0.3758 0.4342 0.7492 0.5506 0.742 -1 1 2 1 2.632 0.004565 0.0005969 0.01998 0.7687 1 -0.00001886 0.008099 0.01245 0.004761 0.069 3.453 1 0.009376 0.01471 1 1 0.00702 0.04423 0.2043 0.01275 0.08034 0.3711 json
t12_x8_u1_b47 12 8 1 47 log(pow(P,div(R,R))) 26132 97770668 o1(o2(x,o2(x,x))) true 38903 38903 -0.1739 0.4375 0.9511 0.9053 0.9515 -1 1 2 1 1.654 0.004186 1.447e-17 0.007937 1 1 1.219e-9 0.007916 0.008917 0.004122 0.0642 8.089 1 0.004624 0.008745 1 1 0.005854 0.03284 0.2495 0.006466 0.03627 0.2755 json
t12_x8_u1_b48 12 8 1 48 log(pow(P,pow(R,R))) 26133 97770669 o1(o2(x,o2(x,x))) true 38911 38911 -0.9922 0.003906 1 0.01556 0.1248 -1 1 2 1 0.03687 0.001008 0.001764 0.001386 -0.2727 1 0 0.005795 0.002771 0.002769 0.05262 37.97 2 0.1781 0.3723 1 1 0 0 0.0133 0 0 0.8543 json
t12_x8_u1_b49 12 8 1 49 log(pow(P,mod(R,R))) 26134 97770670 o1(o2(x,o2(x,x))) true 38919 38919 -0.5594 0.09698 0.5973 0.2694 0.519 -1 1 2 1 1.881 0.004274 0.0003433 0.01093 0.8513 1 -0.000001488 0.00802 0.009779 0.004499 0.06708 6.136 1 0.01714 0.02977 1 1 0.006422 0.03575 0.1269 0.02384 0.1327 0.4713 json
t12_x8_u1_b50 12 8 1 50 log(pow(P,lrg(R,R))) 26135 97770671 o1(o2(x,o2(x,x))) true 38927 38927 -0.5625 0 0.5625 0.2461 0.4961 -1 0 1 1 0.9887 0.003968 0 0.003968 1 1 0 0.007937 0.007937 0.003952 0.06287 15.84 1 0.01612 0.03225 1 1 0.005263 0.02105 0.08421 0.02139 0.08555 0.3422 json
t12_x8_u1_b51 12 8 1 51 log(pow(P,eql(R,R))) 26136 97770672 o1(o2(x,o2(x,x))) true 38935 38935 -0.1739 0.4375 0.9511 0.9053 0.9515 -1 1 2 1 1.654 0.004186 0 0.007937 1 1 1.42e-9 0.007916 0.008917 0.004122 0.0642 8.089 1 0.004624 0.008745 1 1 0.005854 0.03284 0.2495 0.006466 0.03627 0.2755 json
t12_x8_u1_b52 12 8 1 52 log(pow(P,min(R,R))) 26137 97770673 o1(o2(x,o2(x,x))) true 38943 38943 -0.5817 0.1892 0.7702 0.3736 0.6112 -1 1 2 1 2.84 0.006185 0.002329 0.03557 0.4528 1 -0.00000425 0.008542 0.01655 0.007245 0.08512 2.393 1 0.02279 0.02286 1 1 0.01174 0.1009 0.3217 0.03142 0.27 0.8611 json
t12_x8_u1_b53 12 8 1 53 log(pow(P,dot(R,R))) 26138 97770674 o1(o2(x,o2(x,x))) true 38951 38951 -0.1964 0.4369 0.9286 0.8658 0.9305 -1 1 2 1 1.92 0.004418 0.0003185 0.01249 0.8655 1 -0.00001254 0.008113 0.01138 0.004578 0.06766 5.418 1 0.005471 0.009371 1 1 0.006521 0.03934 0.2542 0.007532 0.04544 0.2936 json
t12_x8_u1_b54 12 8 1 54 log(pow(P,dst(R,R))) 26139 97770675 o1(o2(x,o2(x,x))) true 38959 38959 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_x8_u1_b55 12 8 1 55 log(mod(P,add(R,R))) 26140 97770676 o1(o2(x,o2(x,x))) true 38967 38967 -0.8903 0.01996 0.899 0.07244 0.2691 -1 0.4785 1.478 1 1.505 0.003016 0.001104 0.01879 0.4641 1 0.0001067 0.004516 0.01192 0.003766 0.06137 3.267 0.9999 0.05688 0.06235 1 1 0.005503 0.0431 0.1284 0.07597 0.5949 1.773 json
t12_x8_u1_b56 12 8 1 56 log(mod(P,sub(R,R))) 26141 97770677 o1(o2(x,o2(x,x))) true 38975 38975 -0.1739 0.4375 0.9511 0.9053 0.9515 -1 1 2 1 1.654 0.004186 0 0.007937 1 1 1.42e-9 0.007916 0.008917 0.004122 0.0642 8.089 1 0.004624 0.008745 1 1 0.005854 0.03284 0.2495 0.006466 0.03627 0.2755 json
t12_x8_u1_b57 12 8 1 57 log(mod(P,mlt(R,R))) 26142 97770678 o1(o2(x,o2(x,x))) true 38983 38983 -0.9917 0 0.9917 0.003775 0.06144 -1 -0.2228 0.7772 1 0.2294 0.0001838 0.0001369 0.002469 0.1464 1 0.00001528 0.0001873 0.001844 0.0003143 0.01773 7.181 0.2988 0.08497 0.04963 1 1 0.0003781 0.002911 0.006597 0.1002 0.7711 1.748 json
t12_x8_u1_b58 12 8 1 58 log(mod(P,div(R,R))) 26143 97770679 o1(o2(x,o2(x,x))) true 38991 38991 -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_x8_u1_b59 12 8 1 59 log(mod(P,pow(R,R))) 26144 97770680 o1(o2(x,o2(x,x))) true 38999 38999 -0.9994 0 0.9994 0.000278 0.01667 -1 -0.2746 0.7254 1 0.01927 0.00001888 0.00001796 0.0001742 0.02499 0 0.00001239 0.0000459 0.0001526 0.0000368 0.006067 34.83 0.6569 0.1325 0.1651 1 1 0 0 0.0001815 0 0 0.6527 json
t12_x8_u1_b60 12 8 1 60 log(mod(P,mod(R,R))) 26145 97770681 o1(o2(x,o2(x,x))) true 39007 39007 -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_x8_u1_b61 12 8 1 61 log(mod(P,lrg(R,R))) 26146 97770682 o1(o2(x,o2(x,x))) true 39015 39015 -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_x8_u1_b62 12 8 1 62 log(mod(P,eql(R,R))) 26147 97770683 o1(o2(x,o2(x,x))) true 39023 39023 -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_x8_u1_b63 12 8 1 63 log(mod(P,min(R,R))) 26148 97770684 o1(o2(x,o2(x,x))) true 39031 39031 -0.9788 0 0.9788 0.009947 0.09973 -1 -0.2248 0.7752 1 0.4985 0.0002735 0.000262 0.004774 0.02154 1 0.00003286 0.0002517 0.002919 0.0005128 0.02265 4.744 0.2802 0.05384 0.02531 1 1 0.001006 0.00887 0.02542 0.1011 0.8917 2.556 json
t12_x8_u1_b64 12 8 1 64 log(mod(P,dot(R,R))) 26149 97770685 o1(o2(x,o2(x,x))) true 39039 39039 -0.8892 0.01711 0.8966 0.06992 0.2644 -1 0.6924 1.692 1 1.573 0.003334 0.0009922 0.01988 0.5413 1 0.00004899 0.004816 0.01174 0.003932 0.0627 3.154 1 0.06187 0.06888 1 1 0.006643 0.05062 0.1285 0.09501 0.724 1.838 json
t12_x8_u1_b65 12 8 1 65 log(mod(P,dst(R,R))) 26150 97770686 o1(o2(x,o2(x,x))) true 39047 39047 -0.1739 0.4375 0.9511 0.9053 0.9515 -1 1 2 1 1.654 0.004186 0 0.007937 1 1 1.42e-9 0.007916 0.008917 0.004122 0.0642 8.089 1 0.004624 0.008745 1 1 0.005854 0.03284 0.2495 0.006466 0.03627 0.2755 json
t12_x8_u1_b66 12 8 1 66 log(lrg(P,add(R,R))) 26151 97770687 o1(o2(x,o2(x,x))) true 39055 39055 -0.6094 0 0.6094 0.2379 0.4877 -1 0 1 1 0.9652 0.003968 0.001008 0.004958 0.5949 1 0 0.0102 0.009952 0.004955 0.07039 14.2 1.414 0.02092 0.0429 1 1 0.007036 0.02814 0.1017 0.02958 0.1183 0.4276 json
t12_x8_u1_b67 12 8 1 67 log(lrg(P,sub(R,R))) 26152 97770688 o1(o2(x,o2(x,x))) true 39063 39063 -0.5625 0 0.5625 0.2461 0.4961 -1 0 1 1 0.9887 0.003968 0 0.003968 1 1 0 0.007937 0.007937 0.003952 0.06287 15.84 1 0.01612 0.03225 1 1 0.005263 0.02105 0.08421 0.02139 0.08555 0.3422 json
t12_x8_u1_b68 12 8 1 68 log(lrg(P,mlt(R,R))) 26153 97770689 o1(o2(x,o2(x,x))) true 39071 39071 -0.5625 0 0.5625 0.2461 0.4961 -1 0 1 1 0.9887 0.003968 0 0.003968 1 1 0 0.007937 0.007937 0.003952 0.06287 15.84 1 0.01612 0.03225 1 1 0.005263 0.02105 0.08421 0.02139 0.08555 0.3422 json
t12_x8_u1_b69 12 8 1 69 log(lrg(P,div(R,R))) 26154 97770690 o1(o2(x,o2(x,x))) true 39079 39079 -0.625 0 0.625 0.2344 0.4841 -1 0 1 1 0.9544 0.003968 0 0.003968 1 1 0 0.007937 0.007937 0.003952 0.06287 15.84 1 0.01693 0.03386 1 1 0.005263 0.02105 0.08421 0.02246 0.08982 0.3593 json
t12_x8_u1_b70 12 8 1 70 log(lrg(P,pow(R,R))) 26155 97770691 o1(o2(x,o2(x,x))) true 39087 39087 -0.5 0 0.5 0.25 0.5 -1 0 1 1 1 0.006929 0.004031 0.01089 0.2644 1 0 0.02268 0.02192 0.01084 0.1041 9.566 1.414 0.04384 0.0907 1 1 0.01291 0.0523 0.1709 0.05163 0.2092 0.6834 json
t12_x8_u1_b71 12 8 1 71 log(lrg(P,mod(R,R))) 26156 97770692 o1(o2(x,o2(x,x))) true 39095 39095 -0.5508 0 0.5508 0.2476 0.4976 -1 0 1 1 0.9925 0.003968 0.0005039 0.004463 0.7746 1 0 0.00907 0.008944 0.004452 0.06672 14.95 1.414 0.01806 0.03664 1 1 0.00615 0.0246 0.09839 0.02484 0.09936 0.3974 json
t12_x8_u1_b72 12 8 1 72 log(lrg(P,lrg(R,R))) 26157 97770693 o1(o2(x,o2(x,x))) true 39103 39103 -0.5625 0 0.5625 0.2461 0.4961 -1 0 1 1 0.9887 0.003968 0 0.003968 1 1 0 0.007937 0.007937 0.003952 0.06287 15.84 1 0.01612 0.03225 1 1 0.005263 0.02105 0.08421 0.02139 0.08555 0.3422 json
t12_x8_u1_b73 12 8 1 73 log(lrg(P,eql(R,R))) 26158 97770694 o1(o2(x,o2(x,x))) true 39111 39111 -0.625 0 0.625 0.2344 0.4841 -1 0 1 1 0.9544 0.003968 0 0.003968 1 1 0 0.007937 0.007937 0.003952 0.06287 15.84 1 0.01693 0.03386 1 1 0.005263 0.02105 0.08421 0.02246 0.08982 0.3593 json
t12_x8_u1_b74 12 8 1 74 log(lrg(P,min(R,R))) 26159 97770695 o1(o2(x,o2(x,x))) true 39119 39119 -0.5391 0 0.5391 0.2487 0.4987 -1 0 1 1 0.9956 0.003968 0.0007559 0.004715 0.68 1 0 0.009637 0.009448 0.004701 0.06856 14.54 1.414 0.019 0.03876 1 1 0.006593 0.02637 0.1017 0.02651 0.1061 0.4091 json
t12_x8_u1_b75 12 8 1 75 log(lrg(P,dot(R,R))) 26160 97770696 o1(o2(x,o2(x,x))) true 39127 39127 -0.6211 0 0.6211 0.2353 0.4851 -1 0 1 1 0.9573 0.003968 0.001008 0.004958 0.5949 1 0 0.0102 0.009952 0.004955 0.07039 14.2 1.414 0.02115 0.04336 1 1 0.006814 0.02792 0.1121 0.02896 0.1187 0.4765 json
t12_x8_u1_b76 12 8 1 76 log(lrg(P,dst(R,R))) 26161 97770697 o1(o2(x,o2(x,x))) true 39135 39135 -0.5625 0 0.5625 0.2461 0.4961 -1 0 1 1 0.9887 0.003968 0 0.003968 1 1 0 0.007937 0.007937 0.003952 0.06287 15.84 1 0.01612 0.03225 1 1 0.005263 0.02105 0.08421 0.02139 0.08555 0.3422 json
t12_x8_u1_b77 12 8 1 77 log(eql(P,add(R,R))) 26162 97770698 o1(o2(x,o2(x,x))) true 39143 39143 -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_x8_u1_b78 12 8 1 78 log(eql(P,sub(R,R))) 26163 97770699 o1(o2(x,o2(x,x))) true 39151 39151 -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_x8_u1_b79 12 8 1 79 log(eql(P,mlt(R,R))) 26164 97770700 o1(o2(x,o2(x,x))) true 39159 39159 -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_x8_u1_b80 12 8 1 80 log(eql(P,div(R,R))) 26165 97770701 o1(o2(x,o2(x,x))) true 39167 39167 -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_x8_u1_b81 12 8 1 81 log(eql(P,pow(R,R))) 26166 97770702 o1(o2(x,o2(x,x))) true 39175 39175 -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_x8_u1_b82 12 8 1 82 log(eql(P,mod(R,R))) 26167 97770703 o1(o2(x,o2(x,x))) true 39183 39183 -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_x8_u1_b83 12 8 1 83 log(eql(P,lrg(R,R))) 26168 97770704 o1(o2(x,o2(x,x))) true 39191 39191 -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_x8_u1_b84 12 8 1 84 log(eql(P,eql(R,R))) 26169 97770705 o1(o2(x,o2(x,x))) true 39199 39199 -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_x8_u1_b85 12 8 1 85 log(eql(P,min(R,R))) 26170 97770706 o1(o2(x,o2(x,x))) true 39207 39207 -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_x8_u1_b86 12 8 1 86 log(eql(P,dot(R,R))) 26171 97770707 o1(o2(x,o2(x,x))) true 39215 39215 -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_x8_u1_b87 12 8 1 87 log(eql(P,dst(R,R))) 26172 97770708 o1(o2(x,o2(x,x))) true 39223 39223 -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_x8_u1_b88 12 8 1 88 log(min(P,add(R,R))) 26173 97770709 o1(o2(x,o2(x,x))) true 39231 39231 -0.9957 0.002197 0.9972 0.00507 0.07121 -1 0.6178 1.618 1 0.05222 0.0001338 0.0005135 0.0008265 -0.5866 1 0.000004719 0.001293 0.001295 0.0006463 0.02542 30.76 1.589 0.1277 0.2551 1 1 0 0 0.004109 0 0 0.8104 json
t12_x8_u1_b89 12 8 1 89 log(min(P,sub(R,R))) 26174 97770710 o1(o2(x,o2(x,x))) true 39239 39239 -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_x8_u1_b90 12 8 1 90 log(min(P,mlt(R,R))) 26175 97770711 o1(o2(x,o2(x,x))) true 39247 39247 -0.9483 0 0.9483 0.02617 0.1618 -1 -0.002358 0.9976 1 0.9698 0.001351 0.0007738 0.0125 0.2718 1 0.00008519 0.001804 0.008687 0.001967 0.04435 3.547 0.8828 0.08121 0.06893 1 1 0.002821 0.02077 0.04317 0.1078 0.7936 1.65 json
t12_x8_u1_b91 12 8 1 91 log(min(P,div(R,R))) 26176 97770712 o1(o2(x,o2(x,x))) true 39255 39255 -0.5625 0 0.5625 0.2461 0.4961 -1 1.191e-7 1 1 1.259 0.003968 3.161e-18 0.003968 1 1 3.229e-10 0.007937 0.007937 0.003952 0.06287 15.84 1 0.01612 0.03225 1 1 0.005263 0.02105 0.08421 0.02139 0.08555 0.3422 json
t12_x8_u1_b92 12 8 1 92 log(min(P,pow(R,R))) 26177 97770713 o1(o2(x,o2(x,x))) true 39263 39263 -0.3518 0.317 0.8153 0.6484 0.8052 -1 1 2 1 2.59 0.004924 0.002207 0.0315 0.3811 1 -0.00004305 0.006918 0.01619 0.006142 0.07837 2.488 1 0.011 0.01067 1 1 0.01056 0.09388 0.311 0.01629 0.1448 0.4796 json
t12_x8_u1_b93 12 8 1 93 log(min(P,mod(R,R))) 26178 97770714 o1(o2(x,o2(x,x))) true 39271 39271 -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_x8_u1_b94 12 8 1 94 log(min(P,lrg(R,R))) 26179 97770715 o1(o2(x,o2(x,x))) true 39279 39279 -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_x8_u1_b95 12 8 1 95 log(min(P,eql(R,R))) 26180 97770716 o1(o2(x,o2(x,x))) true 39287 39287 -0.5625 0 0.5625 0.2461 0.4961 -1 0 1 1 0.9887 0.003968 0 0.003968 1 1 0 0.007937 0.007937 0.003952 0.06287 15.84 1 0.01612 0.03225 1 1 0.005263 0.02105 0.08421 0.02139 0.08555 0.3422 json
t12_x8_u1_b96 12 8 1 96 log(min(P,min(R,R))) 26181 97770717 o1(o2(x,o2(x,x))) true 39295 39295 -0.9984 0 0.9984 0.00102 0.03194 -1 -0.07531 0.9247 1 0.04175 0.00001566 0.0000908 0.0003519 -0.7058 1 0.00000472 0.0001855 0.0003575 0.0001063 0.01031 29.3 0.8956 0.1043 0.1817 1 1 0 0 0.0007799 0 0 0.7644 json
t12_x8_u1_b97 12 8 1 97 log(min(P,dot(R,R))) 26182 97770718 o1(o2(x,o2(x,x))) true 39303 39303 -0.6172 0.1959 0.7168 0.2699 0.5195 -1 0.8261 1.826 1 2.792 0.003982 0.001197 0.02618 0.5379 1 0.00003969 0.006064 0.01251 0.004493 0.06703 2.56 1 0.01919 0.02247 1 1 0.006698 0.05445 0.1904 0.02482 0.2017 0.7054 json
t12_x8_u1_b98 12 8 1 98 log(min(P,dst(R,R))) 26183 97770719 o1(o2(x,o2(x,x))) true 39311 39311 -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_x8_u1_b99 12 8 1 99 log(dot(P,add(R,R))) 26184 97770720 o1(o2(x,o2(x,x))) true 39319 39319 -0.9352 0.0334 0.991 0.1137 0.3373 -1 1 2 1 0.3525 0.01276 0.01218 0.0159 0.02329 1 -3.004e-10 0.05141 0.02715 0.02468 0.1571 9.881 2.828 0.2193 0.4519 1 1 0.02889 0.1273 0.2796 0.254 1.119 2.458 json
t12_x8_u1_b100 12 8 1 100 log(dot(P,sub(R,R))) 26185 97770721 o1(o2(x,o2(x,x))) true 39327 39327 -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_x8_u1_b101 12 8 1 101 log(dot(P,mlt(R,R))) 26186 97770722 o1(o2(x,o2(x,x))) true 39335 39335 -0.6118 0.2032 0.904 0.4997 0.7069 -1 1 2 1 1.908 0.00974 0.01337 0.03395 -0.1573 1 -0.00003013 0.03964 0.02927 0.02196 0.1482 4.365 2.828 0.04625 0.07931 1 1 0.0237 0.1528 0.4967 0.04742 0.3058 0.9938 json
t12_x8_u1_b102 12 8 1 102 log(dot(P,div(R,R))) 26187 97770723 o1(o2(x,o2(x,x))) true 39343 39343 -0.1975 0.4134 0.973 0.9227 0.9606 -1 1 2 1 1.483 0.005677 0.00609 0.01269 -0.03509 1 0.00004853 0.02378 0.01786 0.01161 0.1078 8.491 2.394 0.01275 0.02577 1 1 0.01596 0.08215 0.5249 0.0173 0.08903 0.5689 json
t12_x8_u1_b103 12 8 1 103 log(dot(P,pow(R,R))) 26188 97770724 o1(o2(x,o2(x,x))) true 39351 39351 -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_x8_u1_b104 12 8 1 104 log(dot(P,mod(R,R))) 26189 97770725 o1(o2(x,o2(x,x))) true 39359 39359 -0.9946 0.003143 0.9981 0.008275 0.09097 -1 1 2 1 0.05391 0.001065 0.001118 0.001664 -0.02412 1 -1.502e-11 0.004566 0.002818 0.00218 0.04669 28.05 2 0.2638 0.5518 1 1 0.003908 0.01649 0.0297 0.4722 1.993 3.589 json
t12_x8_u1_b105 12 8 1 105 log(dot(P,lrg(R,R))) 26190 97770726 o1(o2(x,o2(x,x))) true 39367 39367 -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_x8_u1_b106 12 8 1 106 log(dot(P,eql(R,R))) 26191 97770727 o1(o2(x,o2(x,x))) true 39375 39375 -0.2032 0.4102 0.9765 0.9252 0.9619 -1 1 2 1 1.432 0.006658 0.006658 0.0127 -1.049e-7 1 0.000004652 0.02779 0.01959 0.01316 0.1147 9.031 2.394 0.01439 0.03004 1 1 0.01794 0.08715 0.5353 0.01939 0.09419 0.5786 json
t12_x8_u1_b107 12 8 1 107 log(dot(P,min(R,R))) 26192 97770728 o1(o2(x,o2(x,x))) true 39383 39383 -0.9485 0.02599 0.9891 0.08572 0.2928 -1 1 2 1 0.3559 0.009954 0.01022 0.01404 -0.01298 1 -0.000002428 0.04141 0.02281 0.01998 0.1413 10.07 2.828 0.2353 0.4831 1 1 0.02266 0.09777 0.1994 0.2643 1.14 2.326 json
t12_x8_u1_b108 12 8 1 108 log(dot(P,dot(R,R))) 26193 97770729 o1(o2(x,o2(x,x))) true 39391 39391 -0.2264 0.3967 0.9632 0.8976 0.9474 -1 1 2 1 1.604 0.006454 0.006617 0.01607 -0.01252 1 -0.00001196 0.02572 0.01948 0.01281 0.1132 7.042 2.828 0.01456 0.02865 1 1 0.01854 0.09772 0.5013 0.02065 0.1089 0.5585 json
t12_x8_u1_b109 12 8 1 109 log(dot(P,dst(R,R))) 26194 97770730 o1(o2(x,o2(x,x))) true 39399 39399 -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_x8_u1_b110 12 8 1 110 log(dst(P,add(R,R))) 26195 97770731 o1(o2(x,o2(x,x))) true 39407 39407 0.9759 0.9991 0.976 0.01137 0.1066 -0.1065 1 1.107 1 0.5906 0.0001184 0.0001685 0.004012 -0.1748 1 2.384e-10 0.00005553 0.001466 0.0002705 0.01645 4.099 0.1607 0.02524 0.004886 1 1 0.00097 0.01092 0.03053 0.08535 0.961 2.686 json
t12_x8_u1_b111 12 8 1 111 log(dst(P,sub(R,R))) 26196 97770732 o1(o2(x,o2(x,x))) true 39415 39415 0.944 0.9844 0.9752 0.07239 0.2691 -1 1 2 1 0.7009 0.001465 0.001465 0.005009 -7.548e-7 1 4.881e-11 0.005843 0.005405 0.002907 0.05392 10.76 1.904 0.04048 0.08071 1 1 0.005375 0.02798 0.1918 0.07424 0.3866 2.649 json
t12_x8_u1_b112 12 8 1 112 log(dst(P,mlt(R,R))) 26197 97770733 o1(o2(x,o2(x,x))) true 39423 39423 0.9619 0.9915 0.9635 0.02584 0.1607 -0.2529 1 1.253 1 0.6908 0.00007917 0.000104 0.003303 -0.1358 1 -1.915e-10 0.00001549 0.0008598 0.0001721 0.01312 3.972 0.1185 0.00709 0.0005996 1 1 0.000633 0.008057 0.05808 0.0245 0.3118 2.248 json
t12_x8_u1_b113 12 8 1 113 log(dst(P,div(R,R))) 26198 97770734 o1(o2(x,o2(x,x))) true 39431 39431 0.974 1 0.974 0.01263 0.1124 0.0002017 1 0.9998 1 0.622 0.00003583 0.00003583 0.002176 0.000002132 0 -1.051e-10 0.00000706 0.0005851 0.00006693 0.008181 3.759 0.05358 0.005675 0.0005592 1 1 0.0002465 0.00312 0.02891 0.01952 0.2472 2.29 json
t12_x8_u1_b114 12 8 1 114 log(dst(P,pow(R,R))) 26199 97770735 o1(o2(x,o2(x,x))) true 39439 39439 -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