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_x19_u6_b93 12 19 6 93 nrm(min(R,mod(P,D))) 36100 98216130 o1(o2(x,o2(x,x))) true 118647 118647 -0.3107 0.1455 0.3641 0.102 0.3193 -0.9995 0.9382 1.938 1 4.346 0.009785 0.001934 0.07859 0.67 1 -0.00001502 0.02255 0.09416 0.005543 0.07445 0.9473 0.9468 0.1149 0.2211 1 1 0.01161 0.07846 0.1718 0.1139 0.7694 1.685 json
t12_x19_u6_b94 12 19 6 94 nrm(min(R,lrg(P,D))) 36101 98216131 o1(o2(x,o2(x,x))) true 118655 118655 -0.2626 0.2371 0.4729 0.2695 0.5191 -1 0.9999 2 1 4.608 0.005342 0.004833 0.05883 0.05005 1 -0.00003498 0.01058 0.02413 0.006714 0.08194 1.393 2.016 0.03776 0.03928 1 1 0.017 0.1607 0.4215 0.06308 0.5965 1.564 json
t12_x19_u6_b95 12 19 6 95 nrm(min(R,eql(P,D))) 36102 98216132 o1(o2(x,o2(x,x))) true 118663 118663 -0.3035 0 0.3035 0.07876 0.2806 -0.9995 0 0.9995 1 3.72 0.001106 0.00114 0.03719 -0.01546 1 -0.000006803 0.0001333 0.008757 0.000863 0.02938 0.79 0.1169 0.02851 0.001693 1 1 0.004418 0.057 0.1506 0.05609 0.7238 1.912 json
t12_x19_u6_b96 12 19 6 96 nrm(min(R,min(P,D))) 36103 98216133 o1(o2(x,o2(x,x))) true 118671 118671 -0.5084 0.07257 0.5346 0.161 0.4013 -1 0.9991 1.999 1 3.935 0.00285 0.0007886 0.02881 0.5666 1 0.00002318 0.002317 0.009696 0.002809 0.053 1.84 1.999 0.0226 0.01439 1 1 0.006532 0.05511 0.1108 0.04056 0.3422 0.688 json
t12_x19_u6_b97 12 19 6 97 nrm(min(R,dot(P,D))) 36104 98216134 o1(o2(x,o2(x,x))) true 118679 118679 -0.3279 0.1806 0.4326 0.1249 0.3535 -1 0.9322 1.932 1 4.29 0.0179 0.01694 0.09992 0.02768 1 0.0004863 0.1023 0.09691 0.02486 0.1577 1.578 2.23 0.2789 0.819 1 1 0.04098 0.1816 0.1842 0.328 1.453 1.475 json
t12_x19_u6_b98 12 19 6 98 nrm(min(R,dst(P,D))) 36105 98216135 o1(o2(x,o2(x,x))) true 118687 118687 -0.005344 0.489 0.3943 0.2083 0.4564 -0.9488 0.9534 1.902 1 4.783 0.002719 0.002938 0.06178 -0.03882 1 -0.000006011 0.0003351 0.01431 0.00184 0.04289 0.6943 0.2114 0.02716 0.001609 1 1 0.011 0.1413 0.3659 0.05281 0.6782 1.756 json
t12_x19_u6_b99 12 19 6 99 nrm(dot(R,add(P,D))) 36106 98216136 o1(o2(x,o2(x,x))) true 118695 118695 -0.04312 0.4618 0.4203 0.2068 0.4547 -0.5774 0.5774 1.155 1 3.874 0.005471 0.005733 0.0649 -0.0234 1 -0.0000351 0.01778 0.02929 0.006991 0.08361 1.288 1.632 0.05419 0.08601 1 1 0.01967 0.1708 0.4092 0.09513 0.8263 1.979 json
t12_x19_u6_b100 12 19 6 100 nrm(dot(R,sub(P,D))) 36107 98216137 o1(o2(x,o2(x,x))) true 118703 118703 -0.04224 0.4622 0.4191 0.2061 0.454 -0.5774 0.5774 1.155 1 3.882 0.005622 0.005878 0.06526 -0.0223 1 -0.00007594 0.01859 0.02964 0.007241 0.0851 1.304 1.627 0.05581 0.09019 1 1 0.01988 0.1728 0.4096 0.09649 0.8385 1.987 json
t12_x19_u6_b101 12 19 6 101 nrm(dot(R,mlt(P,D))) 36108 98216138 o1(o2(x,o2(x,x))) true 118711 118711 -0.01942 0.4876 0.4177 0.2122 0.4607 -1 0.5774 1.577 1 4.029 0.04294 0.04189 0.1351 0.0123 1 0.000247 0.2464 0.188 0.06658 0.258 1.91 1.954 0.3997 1.161 1 1 0.0905 0.3663 0.4386 0.4264 1.726 2.067 json
t12_x19_u6_b102 12 19 6 102 nrm(dot(R,div(P,D))) 36109 98216139 o1(o2(x,o2(x,x))) true 118719 118719 -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_x19_u6_b103 12 19 6 103 nrm(dot(R,pow(P,D))) 36110 98216140 o1(o2(x,o2(x,x))) true 118727 118727 -0.7475 0.1274 0.8564 0.2442 0.4942 -1 0.5774 1.577 1 1.776 0.004713 0.005385 0.02261 -0.06655 1 -0.00005055 0.0217 0.02141 0.009587 0.09791 4.331 1.621 0.04135 0.08884 1 1 0.01158 0.0672 0.2253 0.04741 0.2752 0.9224 json
t12_x19_u6_b104 12 19 6 104 nrm(dot(R,mod(P,D))) 36111 98216141 o1(o2(x,o2(x,x))) true 118735 118735 -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_x19_u6_b105 12 19 6 105 nrm(dot(R,lrg(P,D))) 36112 98216142 o1(o2(x,o2(x,x))) true 118743 118743 -0.3299 0.3296 0.6039 0.3504 0.5919 -1 0.5774 1.577 1 3.56 0.006439 0.005046 0.04605 0.1213 1 -0.00003128 0.01569 0.02263 0.009365 0.09677 2.102 2.23 0.03278 0.04478 1 1 0.01712 0.1274 0.3719 0.04887 0.3635 1.061 json
t12_x19_u6_b106 12 19 6 106 nrm(dot(R,eql(P,D))) 36113 98216143 o1(o2(x,o2(x,x))) true 118751 118751 -0.0203 0.48 0.4101 0.201 0.4483 -0.5774 0.5774 1.155 1 3.961 0.002909 0.003088 0.06077 -0.02985 1 -0.00002387 0.0003616 0.01486 0.002303 0.04799 0.7897 0.135 0.02984 0.001799 1 1 0.01227 0.1578 0.4111 0.06107 0.7854 2.046 json
t12_x19_u6_b107 12 19 6 107 nrm(dot(R,min(P,D))) 36114 98216144 o1(o2(x,o2(x,x))) true 118759 118759 -0.01972 0.4816 0.4174 0.2075 0.4555 -1 0.5774 1.577 1 3.946 0.01577 0.01567 0.08437 0.002901 1 -0.00008724 0.08009 0.07152 0.02432 0.156 1.849 1.907 0.1515 0.386 1 1 0.03835 0.2263 0.4272 0.1848 1.091 2.059 json
t12_x19_u6_b108 12 19 6 108 nrm(dot(R,dot(P,D))) 36115 98216145 o1(o2(x,o2(x,x))) true 118767 118767 -0.03172 0.4856 0.4361 0.2322 0.4819 -1 0.5774 1.577 1 4.001 0.08331 0.08289 0.179 0.002507 1 0.0001821 0.7269 0.3059 0.1342 0.3663 2.046 2.231 0.7157 3.13 1 1 0.139 0.4146 0.4596 0.5987 1.785 1.979 json
t12_x19_u6_b109 12 19 6 109 nrm(dot(R,dst(P,D))) 36116 98216146 o1(o2(x,o2(x,x))) true 118775 118775 0.009021 0.5076 0.4135 0.2033 0.4509 -0.5774 0.5774 1.155 1 3.948 0.003042 0.002952 0.06076 0.015 1 0.00001565 0.0003513 0.01475 0.002301 0.04797 0.7895 0.135 0.02949 0.001728 1 1 0.01151 0.1483 0.3976 0.0566 0.7295 1.956 json
t12_x19_u6_b110 12 19 6 110 nrm(dst(R,add(P,D))) 36117 98216147 o1(o2(x,o2(x,x))) true 118783 118783 0.5777 1 0.5777 1.421e-7 0.000377 0.5774 0.5774 1.192e-7 1 0 5.271e-16 5.258e-16 1.435e-8 0.000001287 0 -7.261e-9 4.647e-15 1.941e-8 8.467e-16 2.91e-8 2.028 1.686e-7 7.41e-9 3.271e-8 1 1 4.777e-16 4.833e-16 4.982e-16 3.362e-9 3.401e-9 3.506e-9 json
t12_x19_u6_b111 12 19 6 111 nrm(dst(R,sub(P,D))) 36118 98216148 o1(o2(x,o2(x,x))) true 118791 118791 0.5777 1 0.5777 1.421e-7 0.000377 0.5774 0.5774 1.192e-7 1 0 5.437e-16 5.365e-16 1.464e-8 0.000007217 0 -7.618e-9 4.738e-15 1.982e-8 8.661e-16 2.943e-8 2.01 1.686e-7 7.602e-9 3.334e-8 1 1 5.032e-16 5.018e-16 5.171e-16 3.542e-9 3.532e-9 3.639e-9 json
t12_x19_u6_b112 12 19 6 112 nrm(dst(R,mlt(P,D))) 36119 98216149 o1(o2(x,o2(x,x))) true 118799 118799 0.5777 1 0.5777 1.421e-7 0.000377 0.5774 0.5774 1.192e-7 1 0 4.777e-16 4.556e-16 1.284e-8 0.0000221 0 -7.231e-9 3.89e-15 1.628e-8 7.689e-16 2.773e-8 2.16 1.686e-7 6.568e-9 2.738e-8 1 1 4.53e-16 4.699e-16 4.793e-16 3.188e-9 3.307e-9 3.373e-9 json
t12_x19_u6_b113 12 19 6 113 nrm(dst(R,div(P,D))) 36120 98216150 o1(o2(x,o2(x,x))) true 118807 118807 -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_x19_u6_b114 12 19 6 114 nrm(dst(R,pow(P,D))) 36121 98216151 o1(o2(x,o2(x,x))) true 118815 118815 -0.6055 0.25 0.8945 0.4665 0.683 -1 0.5774 1.577 1 0.8113 0.004937 0.004937 0.006259 0 1 -1.537e-9 0.01982 0.01252 0.009835 0.09917 15.84 1.577 0.02116 0.04249 1 1 0.01309 0.05238 0.2095 0.02807 0.1123 0.4491 json
t12_x19_u6_b115 12 19 6 115 nrm(dst(R,mod(P,D))) 36122 98216152 o1(o2(x,o2(x,x))) true 118823 118823 -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_x19_u6_b116 12 19 6 116 nrm(dst(R,lrg(P,D))) 36123 98216153 o1(o2(x,o2(x,x))) true 118831 118831 0.5777 1 0.5777 1.421e-7 0.000377 0.5774 0.5774 1.192e-7 1 0 5.298e-17 4.582e-17 1.575e-9 0.000007161 0 -4.881e-10 4.44e-16 1.862e-9 9.635e-17 9.816e-9 6.23 1.333e-7 6.953e-10 3.124e-9 1 1 1.049e-16 3.903e-16 5.894e-16 7.379e-10 2.747e-9 4.148e-9 json
t12_x19_u6_b117 12 19 6 117 nrm(dst(R,eql(P,D))) 36124 98216154 o1(o2(x,o2(x,x))) true 118839 118839 0.5777 1 0.5777 1.421e-7 0.0003769 0.5774 0.5774 1.192e-7 1 0 5.555e-17 4.33e-17 1.588e-9 0.00001225 0 -7.171e-10 4.485e-16 1.881e-9 9.638e-17 9.817e-9 6.184 8.429e-8 6.957e-10 3.156e-9 1 1 1.091e-16 4.168e-16 7.572e-16 7.681e-10 2.933e-9 5.329e-9 json
t12_x19_u6_b118 12 19 6 118 nrm(dst(R,min(P,D))) 36125 98216155 o1(o2(x,o2(x,x))) true 118847 118847 0.5777 1 0.5777 1.421e-7 0.000377 0.5774 0.5774 1.192e-7 1 0 2.583e-16 2.647e-16 7.719e-9 -0.000006434 0 -3.537e-9 2.288e-15 9.574e-9 4.633e-16 2.152e-8 2.788 1.686e-7 3.681e-9 1.61e-8 1 1 2.74e-16 4.048e-16 4.44e-16 1.929e-9 2.849e-9 3.125e-9 json
t12_x19_u6_b119 12 19 6 119 nrm(dst(R,dot(P,D))) 36126 98216156 o1(o2(x,o2(x,x))) true 118855 118855 0.5777 1 0.5777 1.421e-7 0.000377 0.5774 0.5774 1.192e-7 1 0 4.965e-16 4.995e-16 1.372e-8 -0.000003077 0 -7.787e-9 4.286e-15 1.791e-8 8.074e-16 2.841e-8 2.072 1.686e-7 7.009e-9 3.016e-8 1 1 4.725e-16 5.007e-16 5.232e-16 3.325e-9 3.524e-9 3.682e-9 json
t12_x19_u6_b120 12 19 6 120 nrm(dst(R,dst(P,D))) 36127 98216157 o1(o2(x,o2(x,x))) true 118863 118863 0.5777 1 0.5777 1.421e-7 0.000377 0.5774 0.5774 1.192e-7 1 0 5.06e-16 5.049e-16 1.387e-8 0.000001063 0 -7.678e-9 4.46e-15 1.869e-8 8.182e-16 2.86e-8 2.063 1.686e-7 7.114e-9 3.139e-8 1 1 5.131e-16 5.218e-16 5.252e-16 3.611e-9 3.672e-9 3.696e-9 json
t12_x20_u0_b0 12 20 0 0 sqt(add(R,add(P,R))) 36128 98255232 o1(o2(x,o2(x,x))) true 118871 118871 -0.1232 0.4414 0.994 0.9757 0.9878 -1 1 2 1 1.176 0.01521 0.01099 0.01482 0.1612 1 -0.000001083 0.0543 0.02757 0.02599 0.1612 10.88 2.828 0.02685 0.05565 1 1 0.03061 0.1278 0.4681 0.03137 0.131 0.4798 json
t12_x20_u0_b1 12 20 0 1 sqt(add(R,sub(P,R))) 36129 98255233 o1(o2(x,o2(x,x))) true 118879 118879 -0.03125 0.5 0.9688 0.9603 0.98 -1 1 2 1 1.406 0.004323 0 0.007937 1 1 -9.386e-13 0.007903 0.008812 0.004259 0.06526 8.223 1 0.004502 0.008229 1 1 0.006228 0.03975 0.2856 0.006485 0.04139 0.2974 json
t12_x20_u0_b2 12 20 0 2 sqt(add(R,mlt(P,R))) 36130 98255234 o1(o2(x,o2(x,x))) true 118887 118887 -0.879 0.07799 0.9647 0.1821 0.4268 -1 1 2 1 0.6889 0.01621 0.01535 0.02117 0.02717 1 -7.886e-7 0.06597 0.03778 0.03112 0.1764 8.331 2.828 0.1733 0.3622 1 1 0.03129 0.131 0.3546 0.1718 0.7192 1.947 json
t12_x20_u0_b3 12 20 0 3 sqt(add(R,div(P,R))) 36131 98255235 o1(o2(x,o2(x,x))) true 118895 118895 -0.9145 0.04297 0.9996 0.1629 0.4036 -1 1 2 1 0.27 0.01657 0.01463 0.01569 0.06211 1 -2.403e-10 0.06533 0.03149 0.03096 0.176 11.21 2.828 0.1915 0.401 1 1 0.02764 0.1157 0.3158 0.1696 0.7103 1.939 json
t12_x20_u0_b4 12 20 0 4 sqt(add(R,pow(P,R))) 36132 98255236 o1(o2(x,o2(x,x))) true 118903 118903 -0.6546 0.1836 0.9782 0.5366 0.7325 -1 1 2 1 1.096 0.03796 0.02337 0.03666 0.238 1 -0.00002367 0.1266 0.06723 0.06002 0.245 6.683 2.828 0.1143 0.236 1 1 0.06912 0.291 0.9971 0.1288 0.5423 1.858 json
t12_x20_u0_b5 12 20 0 5 sqt(add(R,mod(P,R))) 36133 98255237 o1(o2(x,o2(x,x))) true 118911 118911 -0.9318 0.04297 0.9822 0.1058 0.3253 -1 1 2 1 0.416 0.01033 0.01101 0.014 -0.03203 1 0.000003676 0.04456 0.02655 0.02114 0.1454 10.39 2.828 0.2017 0.4212 1 1 0.01619 0.07094 0.1765 0.153 0.6705 1.668 json
t12_x20_u0_b6 12 20 0 6 sqt(add(R,lrg(P,R))) 36134 98255238 o1(o2(x,o2(x,x))) true 118919 118919 0.01043 0.5508 0.9089 0.8538 0.924 -1 1 2 1 2.532 0.01831 0.01252 0.03022 0.1878 1 -0.0000161 0.0628 0.03958 0.0299 0.1729 5.721 2.571 0.03611 0.07355 1 1 0.03414 0.1517 0.5261 0.03998 0.1777 0.6162 json
t12_x20_u0_b7 12 20 0 7 sqt(add(R,eql(P,R))) 36135 98255239 o1(o2(x,o2(x,x))) true 118927 118927 -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_x20_u0_b8 12 20 0 8 sqt(add(R,min(P,R))) 36136 98255240 o1(o2(x,o2(x,x))) true 118935 118935 -0.985 0.007813 0.9994 0.02866 0.1693 -1 1 2 1 0.08095 0.002587 0.003475 0.003303 -0.1464 1 7.509e-11 0.01275 0.006446 0.00605 0.07778 23.55 2.828 0.2115 0.4451 1 1 0.000832 0.005752 0.02532 0.02904 0.2007 0.8837 json
t12_x20_u0_b9 12 20 0 9 sqt(add(R,dot(P,R))) 36137 98255241 o1(o2(x,o2(x,x))) true 118943 118943 -0.9467 0.02734 0.9986 0.1016 0.3187 -1 1 2 1 0.2096 0.01181 0.0121 0.01258 -0.01233 1 9.761e-11 0.05045 0.02484 0.02374 0.1541 12.25 2.828 0.2353 0.4966 1 1 0.02538 0.106 0.2369 0.2498 1.043 2.332 json
t12_x20_u0_b10 12 20 0 10 sqt(add(R,dst(P,R))) 36138 98255242 o1(o2(x,o2(x,x))) true 118951 118951 0.9986 1 0.9986 0.0003773 0.01943 0.569 1 0.431 1 0.06551 0.00001424 0.00001612 0.0004504 -0.06199 0 4.881e-11 0.00001109 0.0002526 0.00003018 0.005493 12.2 0.1218 0.08047 0.0294 1 1 0.00009907 0.0008901 0.001377 0.2625 2.359 3.649 json
t12_x20_u0_b11 12 20 0 11 sqt(sub(R,add(P,R))) 36139 98255243 o1(o2(x,o2(x,x))) true 118959 118959 -0.03125 0.5 0.9688 0.9603 0.98 -1 1 2 1 1.406 0.004323 4.835e-19 0.007937 1 1 -2.253e-11 0.007903 0.008812 0.004259 0.06526 8.223 1 0.004502 0.008229 1 1 0.006228 0.03975 0.2856 0.006485 0.04139 0.2974 json
t12_x20_u0_b12 12 20 0 12 sqt(sub(R,sub(P,R))) 36140 98255244 o1(o2(x,o2(x,x))) true 118967 118967 -0.1456 0.4297 0.9951 0.971 0.9854 -1 1 2 1 1.157 0.01407 0.01082 0.01425 0.1304 1 4.318e-11 0.05125 0.0268 0.02469 0.1571 11.03 2.828 0.02563 0.05278 1 1 0.03113 0.1366 0.4615 0.03206 0.1407 0.4753 json
t12_x20_u0_b13 12 20 0 13 sqt(sub(R,mlt(P,R))) 36141 98255245 o1(o2(x,o2(x,x))) true 118975 118975 -0.8269 0.09766 0.9777 0.2878 0.5364 -1 1 2 1 0.7062 0.02751 0.02984 0.03282 -0.04052 1 2.365e-10 0.1201 0.06274 0.05624 0.2371 7.226 2.828 0.1993 0.4173 1 1 0.06003 0.2561 0.6527 0.2086 0.8899 2.268 json
t12_x20_u0_b14 12 20 0 14 sqt(sub(R,div(P,R))) 36142 98255246 o1(o2(x,o2(x,x))) true 118983 118983 -0.8676 0.06641 0.9996 0.2466 0.4966 -1 1 2 1 0.3671 0.02364 0.02601 0.02487 -0.04763 1 8.26e-11 0.104 0.0499 0.04905 0.2215 8.904 2.828 0.2013 0.4217 1 1 0.04616 0.1974 0.4916 0.1872 0.8005 1.994 json
t12_x20_u0_b15 12 20 0 15 sqt(sub(R,pow(P,R))) 36143 98255247 o1(o2(x,o2(x,x))) true 118991 118991 -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_x20_u0_b16 12 20 0 16 sqt(sub(R,mod(P,R))) 36144 98255248 o1(o2(x,o2(x,x))) true 118999 118999 -0.9233 0.04297 0.9908 0.1325 0.364 -1 1 2 1 0.3893 0.01385 0.01298 0.01564 0.03219 1 3.922e-7 0.05604 0.02991 0.02659 0.1631 10.42 2.626 0.2025 0.423 1 1 0.02157 0.09341 0.2268 0.1628 0.7051 1.712 json
t12_x20_u0_b17 12 20 0 17 sqt(sub(R,lrg(P,R))) 36145 98255249 o1(o2(x,o2(x,x))) true 119007 119007 -0.9396 0.03516 0.9901 0.1008 0.3175 -1 0.971 1.971 1 0.3325 0.01169 0.009522 0.01287 0.1022 1 0.000003919 0.04446 0.02459 0.02105 0.1451 11.27 2.398 0.2104 0.441 1 1 0.01896 0.07999 0.1874 0.1881 0.7936 1.859 json
t12_x20_u0_b18 12 20 0 18 sqt(sub(R,eql(P,R))) 36146 98255250 o1(o2(x,o2(x,x))) true 119015 119015 -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_x20_u0_b19 12 20 0 19 sqt(sub(R,min(P,R))) 36147 98255251 o1(o2(x,o2(x,x))) true 119023 119023 0.4844 0.5376 0.4844 0.2359 0.4857 0 1 1 1 1.582 0.0002947 0.00009995 0.005187 0.4934 1 -0.00001344 0.00004261 0.001438 0.0003676 0.01917 3.696 0.161 0.001673 0.0001806 1 1 0.0009618 0.01192 0.07798 0.004077 0.05053 0.3305 json
t12_x20_u0_b20 12 20 0 20 sqt(sub(R,dot(P,R))) 36148 98255252 o1(o2(x,o2(x,x))) true 119031 119031 -0.8075 0.09766 0.9972 0.3433 0.5859 -1 1 2 1 0.5427 0.01804 0.0365 0.02819 -0.3386 1 3.004e-11 0.1133 0.05565 0.05373 0.2318 8.223 2.828 0.1589 0.33 1 1 0.04993 0.2139 0.597 0.1455 0.623 1.739 json
t12_x20_u0_b21 12 20 0 21 sqt(sub(R,dst(P,R))) 36149 98255253 o1(o2(x,o2(x,x))) true 119039 119039 -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_x20_u0_b22 12 20 0 22 sqt(mlt(R,add(P,R))) 36150 98255254 o1(o2(x,o2(x,x))) true 119047 119047 -0.8713 0.07031 0.9881 0.2221 0.4713 -1 1 2 1 0.5501 0.02101 0.02034 0.02338 0.01627 1 -6.361e-8 0.08647 0.04463 0.04079 0.202 8.639 2.828 0.1862 0.3893 1 1 0.03899 0.1632 0.4644 0.1755 0.7348 2.091 json
t12_x20_u0_b23 12 20 0 23 sqt(mlt(R,sub(P,R))) 36151 98255255 o1(o2(x,o2(x,x))) true 119055 119055 -0.9284 0.03906 0.9935 0.1278 0.3575 -1 1 2 1 0.3462 0.01219 0.01128 0.01332 0.0384 1 -2.726e-9 0.049 0.02548 0.02329 0.1526 11.45 2.828 0.1836 0.3834 1 1 0.02122 0.08825 0.2456 0.166 0.6905 1.921 json
t12_x20_u0_b24 12 20 0 24 sqt(mlt(R,mlt(P,R))) 36152 98255256 o1(o2(x,o2(x,x))) true 119063 119063 -0.1357 0.4991 0.8643 0.7921 0.89 -1 1 2 1 2.588 0.004644 0.0006266 0.0198 0.7623 1 -0.00001866 0.008198 0.01352 0.00488 0.06986 3.528 1 0.006654 0.01035 1 1 0.007341 0.04724 0.2439 0.009268 0.05964 0.3079 json
t12_x20_u0_b25 12 20 0 25 sqt(mlt(R,div(P,R))) 36153 98255257 o1(o2(x,o2(x,x))) true 119071 119071 -0.03125 0.5 0.9688 0.9603 0.98 -1 1 2 1 1.406 0.004323 3.384e-18 0.007937 1 1 -3.689e-10 0.007903 0.008812 0.004259 0.06526 8.223 1 0.004502 0.008229 1 1 0.006228 0.03975 0.2856 0.006485 0.04139 0.2974 json
t12_x20_u0_b26 12 20 0 26 sqt(mlt(R,pow(P,R))) 36154 98255258 o1(o2(x,o2(x,x))) true 119079 119079 -0.9867 0.007813 0.9977 0.02358 0.1536 -1 1 2 1 0.08989 0.002035 0.002814 0.003013 -0.1608 1 -1.276e-10 0.01016 0.005642 0.004841 0.06957 23.09 2.731 0.2056 0.431 1 1 0.0004642 0.00328 0.02069 0.01968 0.1391 0.8772 json
t12_x20_u0_b27 12 20 0 27 sqt(mlt(R,mod(P,R))) 36155 98255259 o1(o2(x,o2(x,x))) true 119087 119087 -0.9125 0.06908 0.9469 0.1039 0.3224 -1 0.8361 1.836 1 0.6011 0.009493 0.009903 0.01637 -0.02116 1 0.000002641 0.04045 0.03025 0.01912 0.1383 8.448 2.554 0.1866 0.3892 1 1 0.01802 0.07504 0.2179 0.1733 0.7219 2.097 json
t12_x20_u0_b28 12 20 0 28 sqt(mlt(R,lrg(P,R))) 36156 98255260 o1(o2(x,o2(x,x))) true 119095 119095 -0.5344 0.007813 0.5437 0.2569 0.5069 -1 0.9631 1.963 1 1.072 0.005274 0.003947 0.007843 0.1439 1 0.000001769 0.01917 0.01525 0.009159 0.0957 12.2 2.731 0.03589 0.07463 1 1 0.007943 0.0332 0.1265 0.03092 0.1292 0.4925 json
t12_x20_u0_b29 12 20 0 29 sqt(mlt(R,eql(P,R))) 36157 98255261 o1(o2(x,o2(x,x))) true 119103 119103 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_x20_u0_b30 12 20 0 30 sqt(mlt(R,min(P,R))) 36158 98255262 o1(o2(x,o2(x,x))) true 119111 119111 -0.1663 0.5465 0.74 0.6085 0.7801 -1 1 2 1 3.129 0.01659 0.01288 0.03297 0.126 1 0.000007176 0.05932 0.03656 0.02839 0.1685 5.111 2.828 0.04843 0.09748 1 1 0.03113 0.1411 0.4472 0.05116 0.2318 0.7348 json
t12_x20_u0_b31 12 20 0 31 sqt(mlt(R,dot(P,R))) 36159 98255263 o1(o2(x,o2(x,x))) true 119119 119119 -0.584 0.2227 0.9707 0.6152 0.7843 -1 1 2 1 1.244 0.03171 0.02912 0.0374 0.04253 1 -0.0000165 0.1258 0.06718 0.05944 0.2438 6.52 2.828 0.09889 0.2046 1 1 0.05689 0.2509 0.7871 0.09247 0.4079 1.279 json
t12_x20_u0_b32 12 20 0 32 sqt(mlt(R,dst(P,R))) 36160 98255264 o1(o2(x,o2(x,x))) true 119127 119127 -0.9142 0.04297 0.9999 0.164 0.4049 -1 1 2 1 0.2639 0.01673 0.0163 0.0165 0.01278 1 -9.011e-11 0.06904 0.03316 0.03274 0.1809 10.97 2.828 0.2015 0.4211 1 1 0.02534 0.1092 0.2746 0.1546 0.6658 1.675 json
t12_x20_u0_b33 12 20 0 33 sqt(div(R,add(P,R))) 36161 98255265 o1(o2(x,o2(x,x))) true 119135 119135 -0.8907 0.07031 0.9687 0.1622 0.4028 -1 0.9999 2 1 0.6177 0.01682 0.01449 0.02016 0.07423 1 4.55e-7 0.06575 0.03839 0.0309 0.1758 8.72 2.828 0.193 0.4052 1 1 0.0324 0.1321 0.3664 0.1997 0.8139 2.258 json
t12_x20_u0_b34 12 20 0 34 sqt(div(R,sub(P,R))) 36162 98255266 o1(o2(x,o2(x,x))) true 119143 119143 -0.9419 0.03906 0.98 0.085 0.2915 -1 1 2 1 0.3722 0.008295 0.007776 0.01104 0.03227 1 5.571e-7 0.03355 0.02098 0.01595 0.1263 11.44 2.828 0.1891 0.3947 1 1 0.01661 0.06848 0.1856 0.1954 0.8056 2.184 json
t12_x20_u0_b35 12 20 0 35 sqt(div(R,mlt(P,R))) 36163 98255267 o1(o2(x,o2(x,x))) true 119151 119151 -0.3316 0.4375 0.7934 0.5865 0.7659 -1 0.9999 2 1 2.294 0.01591 8.224e-18 0.0105 1 1 -0.00000219 0.03178 0.01647 0.01581 0.1257 11.97 2 0.02713 0.05418 1 1 0.02113 0.08175 0.2655 0.03603 0.1394 0.4526 json
t12_x20_u0_b36 12 20 0 36 sqt(div(R,div(P,R))) 36164 98255268 o1(o2(x,o2(x,x))) true 119159 119159 -0.4449 0.4375 0.6801 0.4059 0.6371 -1 0.9432 1.943 1 2.37 0.009971 0.00008676 0.01345 0.9827 1 0.000002158 0.01974 0.01403 0.009878 0.09939 7.389 1.943 0.02478 0.04864 1 1 0.01229 0.05125 0.1748 0.03029 0.1263 0.4308 json
t12_x20_u0_b37 12 20 0 37 sqt(div(R,pow(P,R))) 36165 98255269 o1(o2(x,o2(x,x))) true 119167 119167 -0.9726 0.01953 0.9884 0.03933 0.1983 -1 0.971 1.971 1 0.2097 0.004898 0.002984 0.006029 0.2428 1 -2.33e-7 0.01633 0.01064 0.007841 0.08855 14.69 2.761 0.2004 0.4153 1 1 0.007481 0.03034 0.07864 0.1902 0.7715 1.999 json
t12_x20_u0_b38 12 20 0 38 sqt(div(R,mod(P,R))) 36166 98255270 o1(o2(x,o2(x,x))) true 119175 119175 -0.9219 0.03906 1 0.1501 0.3874 -1 1 2 1 0.238 0.01487 0.01285 0.01375 0.07273 1 0 0.05795 0.02771 0.02754 0.1659 12.07 2.828 0.1847 0.3862 1 1 0.02681 0.1099 0.3032 0.1787 0.7325 2.02 json
t12_x20_u0_b39 12 20 0 39 sqt(div(R,lrg(P,R))) 36167 98255271 o1(o2(x,o2(x,x))) true 119183 119183 -0.9931 0.003906 0.9991 0.0121 0.11 -1 0.9631 1.963 1 0.04757 0.0006503 0.001335 0.001244 -0.345 1 0.000001769 0.004127 0.002353 0.001984 0.04454 35.81 1.952 0.1642 0.3412 1 1 0 0 0.01021 0 0 0.8438 json
t12_x20_u0_b40 12 20 0 40 sqt(div(R,eql(P,R))) 36168 98255272 o1(o2(x,o2(x,x))) true 119191 119191 -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_x20_u0_b41 12 20 0 41 sqt(div(R,min(P,R))) 36169 98255273 o1(o2(x,o2(x,x))) true 119199 119199 -0.005201 0.5078 0.9792 0.9707 0.9852 -1 1 2 1 1.316 0.02229 0.01312 0.02058 0.2589 1 -3.749e-8 0.07321 0.04033 0.03497 0.187 9.087 2.828 0.03648 0.07542 1 1 0.04533 0.1827 0.5728 0.0467 0.1882 0.5901 json
t12_x20_u0_b42 12 20 0 42 sqt(div(R,dot(P,R))) 36170 98255274 o1(o2(x,o2(x,x))) true 119207 119207 -0.6796 0.2188 0.8829 0.3746 0.6121 -1 1 2 1 1.492 0.02057 0.0188 0.02916 0.04499 1 -0.000004202 0.08193 0.0524 0.03851 0.1962 6.729 2.828 0.1051 0.2187 1 1 0.03873 0.1696 0.5473 0.1034 0.4528 1.461 json
t12_x20_u0_b43 12 20 0 43 sqt(div(R,dst(P,R))) 36171 98255275 o1(o2(x,o2(x,x))) true 119215 119215 -0.9442 0.04297 0.9698 0.06967 0.2639 -1 0.609 1.609 1 0.3683 0.007237 0.006882 0.0111 0.02513 1 0.000001666 0.02951 0.02168 0.01399 0.1183 10.66 2.04 0.2027 0.4236 1 1 0.01184 0.0508 0.1265 0.17 0.7292 1.815 json
t12_x20_u0_b44 12 20 0 44 sqt(pow(R,add(P,R))) 36172 98255276 o1(o2(x,o2(x,x))) true 119223 119223 -0.9179 0.04297 0.9962 0.1524 0.3904 -1 1 2 1 0.3197 0.01595 0.01484 0.01595 0.03609 1 0.000002697 0.06437 0.03179 0.03054 0.1747 10.95 2.828 0.2021 0.4223 1 1 0.02521 0.108 0.2645 0.1654 0.7088 1.736 json
t12_x20_u0_b45 12 20 0 45 sqt(pow(R,sub(P,R))) 36173 98255277 o1(o2(x,o2(x,x))) true 119231 119231 -0.9168 0.04297 0.9972 0.1559 0.3949 -1 1 2 1 0.2883 0.01612 0.01532 0.01608 0.02543 1 0.000002976 0.06568 0.03212 0.03116 0.1765 10.98 2.828 0.2016 0.4213 1 1 0.02542 0.1094 0.2679 0.163 0.702 1.718 json
t12_x20_u0_b46 12 20 0 46 sqt(pow(R,mlt(P,R))) 36174 98255278 o1(o2(x,o2(x,x))) true 119239 119239 -0.8548 0.07422 0.9968 0.2645 0.5143 -1 1 2 1 0.4528 0.02385 0.02325 0.02413 0.01272 1 0.000001775 0.09825 0.04813 0.0465 0.2156 8.937 2.828 0.1781 0.3714 1 1 0.04583 0.1913 0.6297 0.1733 0.7231 2.38 json
t12_x20_u0_b47 12 20 0 47 sqt(pow(R,div(P,R))) 36175 98255279 o1(o2(x,o2(x,x))) true 119247 119247 -0.8652 0.07031 0.9942 0.2435 0.4935 -1 1 2 1 0.4702 0.02293 0.02269 0.02401 0.005294 1 0.000002664 0.0951 0.04723 0.04502 0.2122 8.838 2.828 0.1873 0.3906 1 1 0.04428 0.1853 0.5546 0.1819 0.7611 2.278 json
t12_x20_u0_b48 12 20 0 48 sqt(pow(R,pow(P,R))) 36176 98255280 o1(o2(x,o2(x,x))) true 119255 119255 -0.9866 0.007813 0.9978 0.02334 0.1528 -1 1 2 1 0.09026 0.002365 0.002868 0.003039 -0.09601 1 0.00000159 0.01105 0.005917 0.005223 0.07227 23.78 2.731 0.2242 0.4734 1 1 0.0008123 0.005721 0.02076 0.0348 0.2451 0.8893 json
t12_x20_u0_b49 12 20 0 49 sqt(pow(R,mod(P,R))) 36177 98255281 o1(o2(x,o2(x,x))) true 119263 119263 -0.8521 0.07422 0.9994 0.2726 0.5221 -1 1 2 1 0.3988 0.0247 0.02426 0.02452 0.009038 1 -4.175e-9 0.1022 0.04918 0.04832 0.2198 8.967 2.828 0.1796 0.3747 1 1 0.04637 0.1933 0.6404 0.1701 0.7091 2.349 json
t12_x20_u0_b50 12 20 0 50 sqt(pow(R,lrg(P,R))) 36178 98255282 o1(o2(x,o2(x,x))) true 119271 119271 -0.0793 0.4609 0.9988 0.9914 0.9957 -1 1 2 1 1.051 0.01641 0.00928 0.01313 0.2774 1 0.00000177 0.05326 0.02617 0.0255 0.1597 12.16 2.828 0.02591 0.05372 1 1 0.03073 0.1254 0.4579 0.031 0.1265 0.4619 json
t12_x20_u0_b51 12 20 0 51 sqt(pow(R,eql(P,R))) 36179 98255283 o1(o2(x,o2(x,x))) true 119279 119279 1 1 1 0 0 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 json
t12_x20_u0_b52 12 20 0 52 sqt(pow(R,min(P,R))) 36180 98255284 o1(o2(x,o2(x,x))) true 119287 119287 -0.9147 0.04297 0.9994 0.1621 0.4026 -1 1 2 1 0.2817 0.01663 0.01607 0.01642 0.017 1 5.651e-7 0.06837 0.03298 0.03242 0.18 10.96 2.828 0.2017 0.4217 1 1 0.02538 0.1092 0.2735 0.1565 0.6735 1.687 json
t12_x20_u0_b53 12 20 0 53 sqt(pow(R,dot(P,R))) 36181 98255285 o1(o2(x,o2(x,x))) true 119295 119295 -0.9175 0.04297 0.9966 0.153 0.3912 -1 1 2 1 0.3162 0.01581 0.01484 0.01625 0.03149 1 6.435e-9 0.06375 0.03186 0.03037 0.1743 10.72 2.828 0.2003 0.4167 1 1 0.02473 0.1059 0.2648 0.1616 0.6919 1.731 json
t12_x20_u0_b54 12 20 0 54 sqt(pow(R,dst(P,R))) 36182 98255286 o1(o2(x,o2(x,x))) true 119303 119303 -0.9443 0.04297 0.9698 0.07135 0.2671 -1 0.8777 1.878 1 0.4076 0.007368 0.007132 0.01194 0.01628 1 0.000008188 0.03022 0.02177 0.01435 0.1198 10.04 2.335 0.2032 0.4236 1 1 0.0125 0.05433 0.1315 0.1752 0.7614 1.843 json
t12_x20_u0_b55 12 20 0 55 sqt(mod(R,add(P,R))) 36183 98255287 o1(o2(x,o2(x,x))) true 119311 119311 -0.9243 0.04688 0.982 0.1192 0.3452 -1 0.971 1.971 1 0.4485 0.01267 0.01248 0.0163 0.007608 1 0.000005689 0.05264 0.03046 0.02487 0.1577 9.674 2.761 0.211 0.4417 1 1 0.01798 0.0758 0.1857 0.1509 0.6361 1.558 json
t12_x20_u0_b56 12 20 0 56 sqt(mod(R,sub(P,R))) 36184 98255288 o1(o2(x,o2(x,x))) true 119319 119319 -0.9242 0.04663 0.9821 0.1199 0.3463 -1 0.971 1.971 1 0.4487 0.01271 0.01202 0.01596 0.02768 1 0.000005689 0.05172 0.03016 0.02447 0.1564 9.801 2.398 0.2062 0.4312 1 1 0.01896 0.08032 0.201 0.1581 0.6697 1.676 json
t12_x20_u0_b57 12 20 0 57 sqt(mod(R,mlt(P,R))) 36185 98255289 o1(o2(x,o2(x,x))) true 119327 119327 -0.9294 0.04297 0.9846 0.1132 0.3365 -1 0.971 1.971 1 0.4122 0.01234 0.01006 0.01432 0.1018 1 0.000007153 0.04677 0.02696 0.0222 0.149 10.41 2.398 0.1978 0.4131 1 1 0.01818 0.07467 0.1928 0.1606 0.6595 1.703 json
t12_x20_u0_b58 12 20 0 58 sqt(mod(R,div(P,R))) 36186 98255290 o1(o2(x,o2(x,x))) true 119335 119335 -0.9397 0.03516 0.99 0.1006 0.3171 -1 0.971 1.971 1 0.3329 0.01074 0.009256 0.01227 0.07411 1 0.000005689 0.04178 0.02335 0.01983 0.1408 11.48 2.398 0.1988 0.4155 1 1 0.01818 0.07467 0.1863 0.1808 0.7425 1.853 json
t12_x20_u0_b59 12 20 0 59 sqt(mod(R,pow(P,R))) 36187 98255291 o1(o2(x,o2(x,x))) true 119343 119343 -0.9931 0.003906 0.9991 0.0121 0.11 -1 0.9631 1.963 1 0.04757 0.0006503 0.001335 0.001244 -0.345 1 0.000001769 0.004127 0.002353 0.001984 0.04454 35.81 1.952 0.1642 0.3412 1 1 0 0 0.01021 0 0 0.8438 json
t12_x20_u0_b60 12 20 0 60 sqt(mod(R,mod(P,R))) 36188 98255292 o1(o2(x,o2(x,x))) true 119351 119351 -0.9557 0.03516 0.974 0.05437 0.2332 -1 0.6455 1.646 1 0.322 0.005847 0.005105 0.009196 0.06771 1 0.000003604 0.0229 0.01728 0.01086 0.1042 11.33 1.82 0.2014 0.4212 1 1 0.009959 0.04061 0.1002 0.1832 0.7469 1.843 json
t12_x20_u0_b61 12 20 0 61 sqt(mod(R,lrg(P,R))) 36189 98255293 o1(o2(x,o2(x,x))) true 119359 119359 -0.9931 0.003906 0.9991 0.0121 0.11 -1 0.9631 1.963 1 0.04757 0.0006503 0.001335 0.001244 -0.345 1 0.000001769 0.004127 0.002353 0.001984 0.04454 35.81 1.952 0.1642 0.3412 1 1 0 0 0.01021 0 0 0.8438 json
t12_x20_u0_b62 12 20 0 62 sqt(mod(R,eql(P,R))) 36190 98255294 o1(o2(x,o2(x,x))) true 119367 119367 -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_x20_u0_b63 12 20 0 63 sqt(mod(R,min(P,R))) 36191 98255295 o1(o2(x,o2(x,x))) true 119375 119375 -0.603 0.1195 0.6861 0.3069 0.5539 -1 0.9775 1.977 1 1.543 0.01949 0.0168 0.03041 0.07398 1 -1.841e-7 0.07504 0.05335 0.03539 0.1881 6.186 2.796 0.1183 0.2445 1 1 0.0347 0.1459 0.4415 0.1131 0.4754 1.439 json
t12_x20_u0_b64 12 20 0 64 sqt(mod(R,dot(P,R))) 36192 98255296 o1(o2(x,o2(x,x))) true 119383 119383 -0.9276 0.04297 0.9865 0.1181 0.3436 -1 0.971 1.971 1 0.4014 0.01178 0.01246 0.015 -0.02795 1 0.000005689 0.05072 0.02841 0.02403 0.155 10.33 2.731 0.2053 0.4295 1 1 0.01842 0.07935 0.188 0.156 0.672 1.592 json
t12_x20_u0_b65 12 20 0 65 sqt(mod(R,dst(P,R))) 36193 98255297 o1(o2(x,o2(x,x))) true 119391 119391 -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_x20_u0_b66 12 20 0 66 sqt(lrg(R,add(P,R))) 36194 98255298 o1(o2(x,o2(x,x))) true 119399 119399 0.4688 0.5 0.4688 0.2423 0.4922 0 1 1 1 1.326 0.0003529 0 0.003968 1 1 -4.731e-10 0.00001619 0.0009276 0.0003372 0.01836 4.628 0.1169 0.001457 0.00006684 1 1 0.0009255 0.01214 0.0751 0.00382 0.05012 0.31 json
t12_x20_u0_b67 12 20 0 67 sqt(lrg(R,sub(P,R))) 36195 98255299 o1(o2(x,o2(x,x))) true 119407 119407 0.5117 0.6049 0.5117 0.2314 0.4811 0 1 1 1 1.753 0.0004752 0.0003909 0.01019 0.09737 1 -0.00002852 0.00004979 0.002461 0.0007618 0.0276 2.708 0.1169 0.003742 0.0002151 1 1 0.002134 0.0276 0.09828 0.009223 0.1193 0.4247 json
t12_x20_u0_b68 12 20 0 68 sqt(lrg(R,mlt(P,R))) 36196 98255300 o1(o2(x,o2(x,x))) true 119415 119415 0.498 0.9149 0.498 0.1579 0.3973 0 1 1 1 3.38 0.001993 0.002262 0.04986 -0.0631 1 0.00001926 0.0002476 0.0121 0.00177 0.04207 0.8438 0.1169 0.02696 0.001568 1 1 0.008333 0.1074 0.2992 0.05279 0.6806 1.895 json
t12_x20_u0_b69 12 20 0 69 sqt(lrg(R,div(P,R))) 36197 98255301 o1(o2(x,o2(x,x))) true 119423 119423 0.5215 0.9288 0.5215 0.1546 0.3932 0 1 1 1 3.414 0.001912 0.002433 0.05092 -0.1198 1 0.00003066 0.0002568 0.0124 0.001753 0.04187 0.8222 0.1169 0.02811 0.001662 1 1 0.008497 0.1095 0.3067 0.05497 0.7083 1.984 json
t12_x20_u0_b70 12 20 0 70 sqt(lrg(R,pow(P,R))) 36198 98255302 o1(o2(x,o2(x,x))) true 119431 119431 0.4961 0.5378 0.4961 0.2412 0.4911 0 1 1 1 1.415 0.0003238 0.0001053 0.004981 0.5091 1 -0.000005705 0.00002256 0.001187 0.0004044 0.02011 4.037 0.1169 0.001779 0.00009352 1 1 0.001146 0.01504 0.08976 0.004753 0.06234 0.3721 json
t12_x20_u0_b71 12 20 0 71 sqt(lrg(R,mod(P,R))) 36199 98255303 o1(o2(x,o2(x,x))) true 119439 119439 0.4824 0.9147 0.4824 0.1537 0.3921 0 1 1 1 3.429 0.001972 0.002442 0.05168 -0.1065 1 -0.00001781 0.0002592 0.01257 0.001744 0.04176 0.8079 0.1169 0.02872 0.001686 1 1 0.008731 0.1124 0.2862 0.0568 0.7316 1.862 json