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_x6_u6_b104 12 6 6 104 nrm(dot(P,mod(R,P))) 25100 97690928 o1(o2(x,o2(x,x))) true 30647 30647 -0.2851 0.3365 0.5595 0.3153 0.5615 -1 0.5774 1.577 1 3.714 0.01265 0.01118 0.05869 0.06188 1 -0.00006916 0.03949 0.04014 0.02038 0.1428 2.433 1.577 0.0756 0.1253 1 1 0.033 0.1948 0.559 0.1047 0.6178 1.773 json
t12_x6_u6_b105 12 6 6 105 nrm(dot(P,lrg(R,P))) 25101 97690929 o1(o2(x,o2(x,x))) true 30655 30655 -0.7112 0 0.7112 0.03864 0.1966 -1 -0.5774 0.4226 1 0.9004 0.0003994 0.0003994 0.00189 0 1 2.253e-11 0.001603 0.00378 0.0007954 0.0282 14.92 0.4226 0.02068 0.0415 1 1 0.001099 0.004394 0.01758 0.02843 0.1137 0.4549 json
t12_x6_u6_b106 12 6 6 106 nrm(dot(P,eql(R,P))) 25102 97690930 o1(o2(x,o2(x,x))) true 30663 30663 -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_x6_u6_b107 12 6 6 107 nrm(dot(P,min(R,P))) 25103 97690931 o1(o2(x,o2(x,x))) true 30671 30671 0.3747 0.8318 0.5322 0.1621 0.4026 -1 0.5774 1.577 1 2.011 0.002837 0.003454 0.02251 -0.09811 1 -0.00002798 0.009154 0.0105 0.005786 0.07606 3.379 2.23 0.03881 0.05648 1 1 0.01143 0.07957 0.2876 0.0705 0.491 1.774 json
t12_x6_u6_b108 12 6 6 108 nrm(dot(P,dot(R,P))) 25104 97690932 o1(o2(x,o2(x,x))) true 30679 30679 -0.1684 0.4202 0.5283 0.3253 0.5704 -1 0.5774 1.577 1 3.83 0.01114 0.01198 0.06095 -0.0364 1 -0.00002221 0.03977 0.04009 0.01941 0.1393 2.286 2.231 0.07107 0.1222 1 1 0.02976 0.1914 0.5938 0.09149 0.5883 1.825 json
t12_x6_u6_b109 12 6 6 109 nrm(dot(P,dst(R,P))) 25105 97690933 o1(o2(x,o2(x,x))) true 30687 30687 -0.1797 0.4102 0.6536 0.4207 0.6486 -1 0.5774 1.577 1 1.5 0.009322 0.009322 0.01374 -4.995e-8 1 -2.393e-9 0.03956 0.02797 0.01846 0.1359 9.888 2.231 0.04431 0.09402 1 1 0.02459 0.1017 0.4231 0.05845 0.2417 1.006 json
t12_x6_u6_b110 12 6 6 110 nrm(dst(P,add(R,P))) 25106 97690934 o1(o2(x,o2(x,x))) true 30695 30695 0.5777 1 0.5777 1.421e-7 0.0003769 0.5774 0.5774 1.192e-7 1 0 5.332e-17 3.899e-17 1.484e-9 0.00001432 0 -6.983e-10 3.867e-16 1.622e-9 9.008e-17 9.491e-9 6.396 8.429e-8 6.497e-10 2.721e-9 1 1 1.025e-16 3.881e-16 6.615e-16 7.217e-10 2.732e-9 4.655e-9 json
t12_x6_u6_b111 12 6 6 111 nrm(dst(P,sub(R,P))) 25107 97690935 o1(o2(x,o2(x,x))) true 30703 30703 0.5777 1 0.5777 1.421e-7 0.000377 0.5774 0.5774 1.192e-7 1 0 4.308e-17 3.396e-17 1.243e-9 0.000009119 0 -1.089e-10 3.231e-16 1.355e-9 7.551e-17 8.69e-9 6.991 8.429e-8 5.421e-10 2.274e-9 1 1 6.643e-17 2.552e-16 4.774e-16 4.675e-10 1.796e-9 3.359e-9 json
t12_x6_u6_b112 12 6 6 112 nrm(dst(P,mlt(R,P))) 25108 97690936 o1(o2(x,o2(x,x))) true 30711 30711 0.5531 0.9844 0.5843 0.03822 0.1955 -1 0.5774 1.577 1 0.1161 0.002507 0.002507 0.003165 0 1 -5.106e-10 0.01034 0.006359 0.005001 0.07072 22.34 2.231 0.1312 0.2706 1 1 0.008822 0.03529 0.1411 0.2308 0.9232 3.693 json
t12_x6_u6_b113 12 6 6 113 nrm(dst(P,div(R,P))) 25109 97690937 o1(o2(x,o2(x,x))) true 30719 30719 -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_x6_u6_b114 12 6 6 114 nrm(dst(P,pow(R,P))) 25110 97690938 o1(o2(x,o2(x,x))) true 30727 30727 -0.9815 0.01172 0.9951 0.02883 0.1698 -1 0.5774 1.577 1 0.09198 0.003761 0.002507 0.003945 0.2 1 -2.253e-10 0.01316 0.007948 0.006259 0.07911 20.05 2.231 0.2174 0.4566 1 1 0.01103 0.04411 0.1048 0.3825 1.53 3.633 json
t12_x6_u6_b115 12 6 6 115 nrm(dst(P,mod(R,P))) 25111 97690939 o1(o2(x,o2(x,x))) true 30735 30735 0.2075 0.7656 0.6767 0.4465 0.6682 -1 0.5774 1.577 1 0.7856 0.01724 0.01724 0.02184 0 1 -1.222e-9 0.06927 0.04372 0.03401 0.1844 8.443 2.231 0.07722 0.1551 1 1 0.04356 0.1742 0.697 0.09755 0.3902 1.561 json
t12_x6_u6_b116 12 6 6 116 nrm(dst(P,lrg(R,P))) 25112 97690940 o1(o2(x,o2(x,x))) true 30743 30743 0.5777 1 0.5777 1.421e-7 0.0003769 0.5774 0.5774 1.192e-7 1 0 4.464e-17 4.548e-17 1.46e-9 -8.392e-7 0 -8.973e-10 4.162e-16 1.746e-9 8.803e-17 9.382e-9 6.427 8.429e-8 6.344e-10 2.93e-9 1 1 5.236e-17 2.004e-16 4.519e-16 3.685e-10 1.411e-9 3.181e-9 json
t12_x6_u6_b117 12 6 6 117 nrm(dst(P,eql(R,P))) 25113 97690941 o1(o2(x,o2(x,x))) true 30751 30751 0.5531 0.9844 0.5843 0.03822 0.1955 -1 0.5774 1.577 1 0.1161 0.002507 0.002507 0.003165 0 1 -8.222e-10 0.01034 0.006359 0.005001 0.07072 22.34 2.231 0.1312 0.2706 1 1 0.008822 0.03529 0.1411 0.2308 0.9232 3.693 json
t12_x6_u6_b118 12 6 6 118 nrm(dst(P,min(R,P))) 25114 97690942 o1(o2(x,o2(x,x))) true 30759 30759 0.1706 0.7422 0.6867 0.4765 0.6903 -1 0.5774 1.577 1 0.8234 0.007993 0.0105 0.01164 -0.1356 1 -8.973e-10 0.0384 0.02345 0.01835 0.1354 11.64 2.231 0.03881 0.08059 1 1 0.02302 0.09208 0.3137 0.04831 0.1933 0.6585 json
t12_x6_u6_b119 12 6 6 119 nrm(dst(P,dot(R,P))) 25115 97690943 o1(o2(x,o2(x,x))) true 30767 30767 0.5531 0.9844 0.5843 0.03822 0.1955 -1 0.5774 1.577 1 0.1161 0.002507 0.002507 0.003165 0 1 -8.485e-10 0.01034 0.006359 0.005001 0.07072 22.34 2.231 0.1312 0.2706 1 1 0.008822 0.03529 0.1411 0.2308 0.9232 3.693 json
t12_x6_u6_b120 12 6 6 120 nrm(dst(P,dst(R,P))) 25116 97690944 o1(o2(x,o2(x,x))) true 30775 30775 0.5777 1 0.5777 1.421e-7 0.000377 0.5774 0.5774 1.192e-7 1 0 4.739e-17 3.883e-17 1.394e-9 0.00000856 0 -5.594e-10 3.804e-16 1.596e-9 8.423e-17 9.178e-9 6.586 8.429e-8 6.067e-10 2.677e-9 1 1 8.611e-17 3.314e-16 5.599e-16 6.06e-10 2.332e-9 3.94e-9 json
t12_x7_u0_b0 12 7 0 0 sqt(add(P,add(R,D))) 25117 97730019 o1(o2(x,o2(x,x))) true 30783 30783 -0.07662 0.4639 0.9956 0.9869 0.9934 -1 1 2 1 1.153 0.01309 0.003666 0.01004 0.5625 1 -0.000006077 0.03509 0.01846 0.01666 0.1291 12.86 2.828 0.01698 0.03556 1 1 0.02288 0.09709 0.3908 0.02319 0.09839 0.396 json
t12_x7_u0_b1 12 7 0 1 sqt(add(P,sub(R,D))) 25118 97730020 o1(o2(x,o2(x,x))) true 30791 30791 -0.1523 0.426 0.9956 0.9698 0.9848 -1 1 2 1 1.12 0.04114 0.004704 0.02458 0.7948 1 -0.000002653 0.09551 0.04862 0.04521 0.2126 8.651 2.828 0.04727 0.09849 1 1 0.06114 0.1879 0.3824 0.06305 0.1937 0.3943 json
t12_x7_u0_b2 12 7 0 2 sqt(add(P,mlt(R,D))) 25119 97730021 o1(o2(x,o2(x,x))) true 30799 30799 -0.09919 0.4531 0.9946 0.9824 0.9912 -1 1 2 1 1.117 0.01317 0.004295 0.0104 0.5081 1 -6.117e-7 0.03562 0.01919 0.01736 0.1318 12.67 2.827 0.01777 0.03626 1 1 0.0242 0.1012 0.3966 0.02464 0.103 0.4037 json
t12_x7_u0_b3 12 7 0 3 sqt(add(P,div(R,D))) 25120 97730022 o1(o2(x,o2(x,x))) true 30807 30807 -0.3216 0.3406 0.9972 0.8922 0.9446 -1 1 2 1 1.019 0.2098 0.01658 0.1162 0.8535 1 -0.002511 0.4941 0.2272 0.2129 0.4615 3.972 2.828 0.2537 0.5538 1 1 0.2252 0.536 0.6206 0.2524 0.6007 0.6956 json
t12_x7_u0_b4 12 7 0 4 sqt(add(P,pow(R,D))) 25121 97730023 o1(o2(x,o2(x,x))) true 30815 30815 -0.9844 0.007813 1 0.03082 0.1756 -1 1 2 1 0.06756 0.003011 0.003754 0.003394 -0.1098 1 6.007e-11 0.0143 0.006805 0.006753 0.08217 24.21 2.828 0.2195 0.464 1 1 0.0008845 0.006182 0.02731 0.02869 0.2005 0.8861 json
t12_x7_u0_b5 12 7 0 5 sqt(add(P,mod(R,D))) 25122 97730024 o1(o2(x,o2(x,x))) true 30823 30823 -0.0991 0.4531 0.9947 0.983 0.9914 -1 1 2 1 1.111 0.01328 0.004327 0.01072 0.5085 1 -2.381e-7 0.03617 0.02062 0.0175 0.1323 12.34 2.828 0.01791 0.03679 1 1 0.02399 0.1002 0.3962 0.02441 0.1019 0.4031 json
t12_x7_u0_b6 12 7 0 6 sqt(add(P,lrg(R,D))) 25123 97730025 o1(o2(x,o2(x,x))) true 30831 30831 -0.007624 0.5071 0.9777 0.9726 0.9862 -1 1 2 1 1.308 0.01252 0.001145 0.01292 0.8325 1 -0.000003222 0.02762 0.0205 0.0135 0.1162 8.996 2.509 0.01405 0.0284 1 1 0.01749 0.07758 0.3245 0.01799 0.07976 0.3336 json
t12_x7_u0_b7 12 7 0 7 sqt(add(P,eql(R,D))) 25124 97730026 o1(o2(x,o2(x,x))) true 30839 30839 -0.03123 0.5 0.9688 0.9606 0.9801 -1 1 2 1 1.407 0.004326 2.588e-8 0.007938 1 1 4.845e-8 0.007911 0.00886 0.004262 0.06528 8.224 1 0.004503 0.008235 1 1 0.006228 0.03975 0.2856 0.006483 0.04138 0.2973 json
t12_x7_u0_b8 12 7 0 8 sqt(add(P,min(R,D))) 25125 97730027 o1(o2(x,o2(x,x))) true 30847 30847 -0.1013 0.4531 0.9925 0.978 0.9889 -1 1 2 1 1.202 0.01222 0.004167 0.01047 0.4915 1 -0.000003407 0.03327 0.01881 0.01629 0.1276 12.19 2.817 0.01676 0.03402 1 1 0.02284 0.09685 0.3893 0.02335 0.09903 0.3981 json
t12_x7_u0_b9 12 7 0 9 sqt(add(P,dot(R,D))) 25126 97730028 o1(o2(x,o2(x,x))) true 30855 30855 -0.1023 0.4512 0.9954 0.9821 0.991 -1 1 2 1 1.129 0.0169 0.007297 0.01348 0.3968 1 -0.00004494 0.06486 0.02681 0.02399 0.1549 11.49 2.828 0.02463 0.06605 1 1 0.03293 0.119 0.3795 0.03353 0.1212 0.3864 json
t12_x7_u0_b10 12 7 0 10 sqt(add(P,dst(R,D))) 25127 97730029 o1(o2(x,o2(x,x))) true 30863 30863 0.05006 0.5289 0.9922 0.9846 0.9923 -1 1 2 1 1.24 0.01415 0.008942 0.01415 0.2256 1 -0.000004666 0.05859 0.02706 0.02291 0.1513 10.7 2.828 0.02346 0.05951 1 1 0.03048 0.1215 0.369 0.03095 0.1234 0.3748 json
t12_x7_u0_b11 12 7 0 11 sqt(sub(P,add(R,D))) 25128 97730030 o1(o2(x,o2(x,x))) true 30871 30871 -0.1873 0.4099 0.9929 0.9536 0.9765 -1 1 2 1 1.158 0.04182 0.004053 0.02616 0.8233 1 4.224e-7 0.09888 0.05146 0.04521 0.2126 8.127 2.828 0.0481 0.1037 1 1 0.05599 0.186 0.399 0.05871 0.1951 0.4184 json
t12_x7_u0_b12 12 7 0 12 sqt(sub(P,sub(R,D))) 25129 97730031 o1(o2(x,o2(x,x))) true 30879 30879 -0.1021 0.4526 0.9927 0.9777 0.9888 -1 1 2 1 1.198 0.012 0.00151 0.009878 0.7765 1 -2.365e-7 0.02757 0.0163 0.01343 0.1159 11.73 2.828 0.01382 0.0282 1 1 0.01985 0.08319 0.3498 0.02031 0.08509 0.3578 json
t12_x7_u0_b13 12 7 0 13 sqt(sub(P,mlt(R,D))) 25130 97730032 o1(o2(x,o2(x,x))) true 30887 30887 -0.08515 0.4609 0.993 0.9821 0.991 -1 1 2 1 1.145 0.01194 0.002243 0.00938 0.6837 1 -5.287e-7 0.02838 0.01609 0.01409 0.1187 12.65 2.823 0.01445 0.0289 1 1 0.02063 0.08899 0.3772 0.021 0.09061 0.3841 json
t12_x7_u0_b14 12 7 0 14 sqt(sub(P,div(R,D))) 25131 97730033 o1(o2(x,o2(x,x))) true 30895 30895 -0.3375 0.3323 0.998 0.8826 0.9395 -1 1 2 1 0.9855 0.1947 0.01516 0.1072 0.8555 1 -0.001514 0.4607 0.211 0.1985 0.4456 4.157 2.828 0.2378 0.522 1 1 0.2077 0.497 0.6236 0.2353 0.5631 0.7066 json
t12_x7_u0_b15 12 7 0 15 sqt(sub(P,pow(R,D))) 25132 97730034 o1(o2(x,o2(x,x))) true 30903 30903 -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_x7_u0_b16 12 7 0 16 sqt(sub(P,mod(R,D))) 25133 97730035 o1(o2(x,o2(x,x))) true 30911 30911 -0.08662 0.4609 0.9915 0.9808 0.9904 -1 1 2 1 1.169 0.01204 0.002164 0.009702 0.6953 1 3.722e-7 0.02864 0.01825 0.01412 0.1188 12.25 2.818 0.01448 0.0292 1 1 0.02051 0.08696 0.371 0.02091 0.08866 0.3783 json
t12_x7_u0_b17 12 7 0 17 sqt(sub(P,lrg(R,D))) 25134 97730036 o1(o2(x,o2(x,x))) true 30919 30919 -0.09275 0.4545 0.9517 0.9373 0.9682 -1 1 2 1 1.464 0.006239 0.0009766 0.009933 0.7293 1 0.00001059 0.01407 0.01367 0.007112 0.08433 8.491 1.97 0.007698 0.01501 1 1 0.01117 0.05764 0.2994 0.01192 0.06149 0.3194 json
t12_x7_u0_b18 12 7 0 18 sqt(sub(P,eql(R,D))) 25135 97730037 o1(o2(x,o2(x,x))) true 30927 30927 -0.03129 0.5 0.9687 0.9605 0.9801 -1 1 2 1 1.407 0.004339 1.509e-7 0.007968 0.9999 1 -1.171e-7 0.007947 0.008929 0.004274 0.06537 8.204 1 0.004517 0.008274 1 1 0.006228 0.03975 0.2856 0.006483 0.04138 0.2974 json
t12_x7_u0_b19 12 7 0 19 sqt(sub(P,min(R,D))) 25136 97730038 o1(o2(x,o2(x,x))) true 30935 30935 -0.08017 0.4609 0.998 0.9904 0.9952 -1 1 2 1 1.077 0.01465 0.002815 0.009598 0.6775 1 1.455e-7 0.03563 0.01848 0.01738 0.1318 13.74 2.817 0.01763 0.03597 1 1 0.02427 0.09924 0.395 0.0245 0.1002 0.3988 json
t12_x7_u0_b20 12 7 0 20 sqt(sub(P,dot(R,D))) 25137 97730039 o1(o2(x,o2(x,x))) true 30943 30943 -0.1035 0.4509 0.9946 0.9815 0.9907 -1 1 2 1 1.151 0.02147 0.01104 0.01861 0.3209 1 -0.00005742 0.09071 0.03661 0.03218 0.1794 9.641 2.828 0.03313 0.09242 1 1 0.03454 0.1235 0.3866 0.03519 0.1258 0.3939 json
t12_x7_u0_b21 12 7 0 21 sqt(sub(P,dst(R,D))) 25138 97730040 o1(o2(x,o2(x,x))) true 30951 30951 -0.2443 0.3796 0.9966 0.9342 0.9665 -1 1 2 1 1.08 0.02411 0.01467 0.02062 0.2435 1 0.000001367 0.1011 0.04132 0.03835 0.1958 9.497 2.828 0.04152 0.1082 1 1 0.05332 0.1568 0.3833 0.05708 0.1679 0.4103 json
t12_x7_u0_b22 12 7 0 22 sqt(mlt(P,add(R,D))) 25139 97730041 o1(o2(x,o2(x,x))) true 30959 30959 -0.8859 0.06177 0.9906 0.201 0.4483 -1 1 2 1 0.4845 0.07724 0.01757 0.05265 0.6293 1 0.0004811 0.2075 0.1019 0.09207 0.3034 5.764 2.828 0.4717 1.033 1 1 0.09083 0.259 0.4122 0.4519 1.288 2.05 json
t12_x7_u0_b23 12 7 0 23 sqt(mlt(P,sub(R,D))) 25140 97730042 o1(o2(x,o2(x,x))) true 30967 30967 -0.8058 0.1254 0.9428 0.2814 0.5305 -1 1 2 1 0.9756 0.075 0.02234 0.0582 0.541 1 -0.000002744 0.2167 0.1093 0.09397 0.3065 5.267 2.828 0.3459 0.77 1 1 0.09365 0.3073 0.5871 0.3328 1.092 2.086 json
t12_x7_u0_b24 12 7 0 24 sqt(mlt(P,mlt(R,D))) 25141 97730043 o1(o2(x,o2(x,x))) true 30975 30975 -0.927 0.05061 0.9714 0.1041 0.3226 -1 1 2 1 0.4867 0.008329 0.01086 0.01676 -0.1321 1 -3.072e-7 0.03779 0.02816 0.01892 0.1375 8.208 2.007 0.1844 0.3631 1 1 0.02184 0.102 0.2107 0.2098 0.9796 2.024 json
t12_x7_u0_b25 12 7 0 25 sqt(mlt(P,div(R,D))) 25142 97730044 o1(o2(x,o2(x,x))) true 30983 30983 -0.9068 0.05064 0.9916 0.1679 0.4098 -1 1 2 1 0.3688 0.0218 0.01769 0.02125 0.104 1 1.201e-10 0.08318 0.04115 0.03904 0.1976 9.298 2.828 0.2351 0.4953 1 1 0.0427 0.1722 0.3436 0.2542 1.025 2.046 json
t12_x7_u0_b26 12 7 0 26 sqt(mlt(P,pow(R,D))) 25143 97730045 o1(o2(x,o2(x,x))) true 30991 30991 -0.9863 0.007813 0.9981 0.02502 0.1582 -1 1 2 1 0.08319 0.002291 0.003 0.003125 -0.1339 1 -1.126e-11 0.0111 0.005864 0.005281 0.07267 23.25 2.828 0.2114 0.4438 1 1 0.0005497 0.003838 0.02199 0.02197 0.1534 0.8789 json
t12_x7_u0_b27 12 7 0 27 sqt(mlt(P,mod(R,D))) 25144 97730046 o1(o2(x,o2(x,x))) true 30999 30999 -0.903 0.07016 0.9564 0.1304 0.3611 -1 1 2 1 0.6357 0.01008 0.01179 0.0229 -0.07804 1 -0.00003984 0.04571 0.04101 0.02134 0.1461 6.379 2.082 0.1677 0.3505 1 1 0.01997 0.0907 0.2651 0.1532 0.6955 2.033 json
t12_x7_u0_b28 12 7 0 28 sqt(mlt(P,lrg(R,D))) 25145 97730047 o1(o2(x,o2(x,x))) true 31007 31007 -0.1464 0.4659 0.7462 0.6916 0.8316 -1 1 2 1 2.542 0.02771 0.005631 0.06061 0.6623 1 -0.00002985 0.06582 0.0778 0.02967 0.1722 2.842 1.414 0.04822 0.09517 1 1 0.03423 0.1489 0.3479 0.04949 0.2153 0.503 json
t12_x7_u0_b29 12 7 0 29 sqt(mlt(P,eql(R,D))) 25146 97730048 o1(o2(x,o2(x,x))) true 31015 31015 0.00004008 0.0002289 0.00004008 0.00001031 0.00321 0 0.3282 0.3282 1 0.002722 0.00001454 1.509e-7 0.00006305 0.9795 0 1.17e-7 0.00004407 0.0001242 0.00001469 0.003832 60.78 0.3186 1.425 4.276 1 1 0 0 0.000007865 0 0 0.7631 json
t12_x7_u0_b30 12 7 0 30 sqt(mlt(P,min(R,D))) 25147 97730049 o1(o2(x,o2(x,x))) true 31023 31023 -0.793 0.1131 0.9804 0.3438 0.5863 -1 1 2 1 0.7878 0.02902 0.02758 0.03342 0.02541 1 -1.384e-7 0.1164 0.06186 0.05551 0.2356 7.051 2.828 0.1646 0.3385 1 1 0.05498 0.2339 0.5482 0.1599 0.6805 1.594 json
t12_x7_u0_b31 12 7 0 31 sqt(mlt(P,dot(R,D))) 25148 97730050 o1(o2(x,o2(x,x))) true 31031 31031 -0.8657 0.08559 0.963 0.2017 0.4491 -1 1 2 1 0.7425 0.04734 0.04393 0.05761 0.03736 1 -0.00009757 0.267 0.115 0.08799 0.2966 5.149 2.828 0.4525 1.324 1 1 0.08476 0.289 0.4181 0.4203 1.433 2.073 json
t12_x7_u0_b32 12 7 0 32 sqt(mlt(P,dst(R,D))) 25149 97730051 o1(o2(x,o2(x,x))) true 31039 31039 -0.03133 0.5 0.9687 0.9595 0.9796 -1 1 2 1 1.454 0.004361 0.0000203 0.008423 0.9907 1 -0.000002704 0.007931 0.00924 0.004312 0.06566 7.796 1 0.004566 0.008266 1 1 0.006322 0.04081 0.2836 0.006588 0.04253 0.2955 json
t12_x7_u0_b33 12 7 0 33 sqt(div(P,add(R,D))) 25150 97730052 o1(o2(x,o2(x,x))) true 31047 31047 -0.8767 0.06177 0.9997 0.231 0.4806 -1 1 2 1 0.3454 0.09181 0.02056 0.0559 0.6341 1 0.0005039 0.2497 0.1122 0.1092 0.3305 5.912 2.828 0.4865 1.081 1 1 0.1073 0.3006 0.4717 0.4646 1.302 2.042 json
t12_x7_u0_b34 12 7 0 34 sqt(div(P,sub(R,D))) 25151 97730053 o1(o2(x,o2(x,x))) true 31055 31055 -0.7904 0.1257 0.9581 0.3269 0.5717 -1 1 2 1 0.8484 0.09237 0.02529 0.06499 0.5701 1 1.711e-8 0.2647 0.123 0.1135 0.3369 5.183 2.828 0.3599 0.8097 1 1 0.1174 0.372 0.7035 0.3591 1.138 2.152 json
t12_x7_u0_b35 12 7 0 35 sqt(div(P,mlt(R,D))) 25152 97730054 o1(o2(x,o2(x,x))) true 31063 31063 -0.9035 0.05078 0.9949 0.1778 0.4216 -1 1 2 1 0.3412 0.02187 0.01851 0.02147 0.08319 1 -2.403e-10 0.08487 0.04181 0.03995 0.1999 9.308 2.828 0.2272 0.4775 1 1 0.04425 0.1848 0.3733 0.2489 1.039 2.1 json
t12_x7_u0_b36 12 7 0 36 sqt(div(P,div(R,D))) 25153 97730055 o1(o2(x,o2(x,x))) true 31071 31071 -0.9109 0.05078 0.9875 0.1535 0.3918 -1 1 2 1 0.4305 0.01256 0.01558 0.02017 -0.1073 1 -0.000001152 0.05354 0.03403 0.02773 0.1665 8.257 2.601 0.1833 0.3488 1 1 0.0324 0.153 0.3114 0.2111 0.997 2.029 json
t12_x7_u0_b37 12 7 0 37 sqt(div(P,pow(R,D))) 25154 97730056 o1(o2(x,o2(x,x))) true 31079 31079 -0.9864 0.007813 0.998 0.02456 0.1567 -1 1 2 1 0.08466 0.002285 0.00294 0.003104 -0.1253 1 -1.427e-10 0.01099 0.005822 0.005215 0.07222 23.26 2.825 0.2127 0.4474 1 1 0.0005114 0.003589 0.02157 0.02082 0.1461 0.8782 json
t12_x7_u0_b38 12 7 0 38 sqt(div(P,mod(R,D))) 25155 97730057 o1(o2(x,o2(x,x))) true 31087 31087 -0.8697 0.07031 0.9897 0.2318 0.4814 -1 1 2 1 0.4616 0.01957 0.02034 0.02295 -0.01941 1 0 0.08263 0.04396 0.03938 0.1984 8.648 2.828 0.1722 0.3565 1 1 0.03798 0.1674 0.4969 0.1639 0.7225 2.144 json
t12_x7_u0_b39 12 7 0 39 sqt(div(P,lrg(R,D))) 25156 97730058 o1(o2(x,o2(x,x))) true 31095 31095 -0.9366 0.03442 0.9945 0.1168 0.3417 -1 1 2 1 0.2524 0.03643 0.01073 0.02486 0.5449 1 6.007e-11 0.1029 0.04985 0.04657 0.2158 8.682 2.828 0.4039 0.8814 1 1 0.04793 0.1592 0.2692 0.4105 1.364 2.305 json
t12_x7_u0_b40 12 7 0 40 sqt(div(P,eql(R,D))) 25157 97730059 o1(o2(x,o2(x,x))) true 31103 31103 -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_x7_u0_b41 12 7 0 41 sqt(div(P,min(R,D))) 25158 97730060 o1(o2(x,o2(x,x))) true 31111 31111 -0.7775 0.1133 0.9959 0.3907 0.6251 -1 1 2 1 0.5621 0.0354 0.03054 0.034 0.07383 1 0 0.1378 0.06732 0.06479 0.2545 7.487 2.828 0.1688 0.3527 1 1 0.06416 0.2649 0.6594 0.1642 0.678 1.687 json
t12_x7_u0_b42 12 7 0 42 sqt(div(P,dot(R,D))) 25159 97730061 o1(o2(x,o2(x,x))) true 31119 31119 -0.8375 0.08566 0.9911 0.2881 0.5367 -1 1 2 1 0.5164 0.07543 0.06988 0.06987 0.0382 1 -0.00009134 0.4504 0.1484 0.1404 0.3747 5.363 2.828 0.5044 1.563 1 1 0.1373 0.4255 0.5955 0.4767 1.477 2.067 json
t12_x7_u0_b43 12 7 0 43 sqt(div(P,dst(R,D))) 25160 97730062 o1(o2(x,o2(x,x))) true 31127 31127 -0.03404 0.5 0.966 0.957 0.9782 -1 1 2 1 1.487 0.004314 0.00001072 0.008146 0.995 1 0.000001822 0.007926 0.009005 0.004256 0.06524 8.009 1 0.004519 0.008282 1 1 0.006252 0.03905 0.2816 0.006534 0.04081 0.2943 json
t12_x7_u0_b44 12 7 0 44 sqt(pow(P,add(R,D))) 25161 97730063 o1(o2(x,o2(x,x))) true 31135 31135 -0.121 0.4678 0.9435 0.8945 0.9458 -1 1 2 1 2.094 0.01108 0.002778 0.01838 0.5992 1 -0.00001431 0.02759 0.02031 0.01353 0.1163 6.329 2.823 0.0155 0.03085 1 1 0.02001 0.09229 0.3645 0.02237 0.1032 0.4075 json
t12_x7_u0_b45 12 7 0 45 sqt(pow(P,sub(R,D))) 25162 97730064 o1(o2(x,o2(x,x))) true 31143 31143 -0.1579 0.4436 0.9549 0.903 0.9503 -1 1 2 1 1.907 0.01882 0.001044 0.01912 0.8949 1 -0.00007415 0.03974 0.02602 0.01949 0.1396 7.304 2.039 0.02199 0.04401 1 1 0.02646 0.1064 0.3404 0.0293 0.1178 0.377 json
t12_x7_u0_b46 12 7 0 46 sqt(pow(P,mlt(R,D))) 25163 97730065 o1(o2(x,o2(x,x))) true 31151 31151 -0.1132 0.4531 0.9805 0.9554 0.9775 -1 1 2 1 1.486 0.01301 0.003641 0.01375 0.5625 1 0.00004624 0.03391 0.0204 0.01645 0.1283 9.331 2.828 0.01742 0.03549 1 1 0.0228 0.09529 0.3804 0.02386 0.09973 0.3982 json
t12_x7_u0_b47 12 7 0 47 sqt(pow(P,div(R,D))) 25164 97730066 o1(o2(x,o2(x,x))) true 31159 31159 -0.1794 0.4531 0.9143 0.8567 0.9256 -1 1 2 1 2.006 0.02739 0.006154 0.04346 0.6331 1 -0.00005276 0.07032 0.06017 0.03163 0.1779 4.092 2.828 0.03915 0.08208 1 1 0.041 0.1523 0.421 0.04786 0.1778 0.4914 json
t12_x7_u0_b48 12 7 0 48 sqt(pow(P,pow(R,D))) 25165 97730067 o1(o2(x,o2(x,x))) true 31167 31167 -0.9609 0.02344 0.9922 0.06706 0.259 -1 1 2 1 0.226 0.0079 0.006387 0.008969 0.1059 1 -1.201e-10 0.03013 0.01633 0.01421 0.1192 13.29 2.828 0.213 0.4493 1 1 0.01203 0.04862 0.1347 0.1794 0.725 2.009 json
t12_x7_u0_b49 12 7 0 49 sqt(pow(P,mod(R,D))) 25166 97730068 o1(o2(x,o2(x,x))) true 31175 31175 -0.1155 0.4531 0.9783 0.9509 0.9751 -1 1 2 1 1.529 0.0136 0.003638 0.01967 0.5778 1 0.00004137 0.03573 0.03399 0.01684 0.1298 6.599 2.828 0.01813 0.03757 1 1 0.02303 0.09498 0.3783 0.02422 0.09989 0.3979 json
t12_x7_u0_b50 12 7 0 50 sqt(pow(P,lrg(R,D))) 25167 97730069 o1(o2(x,o2(x,x))) true 31183 31183 0.08741 0.5537 0.98 0.9674 0.9836 -1 1 2 1 1.3 0.05371 0.01387 0.0378 0.5894 1 0.000002773 0.1545 0.07187 0.06618 0.2572 6.805 2.828 0.06986 0.1597 1 1 0.06436 0.2013 0.5047 0.06653 0.2081 0.5217 json
t12_x7_u0_b51 12 7 0 51 sqt(pow(P,eql(R,D))) 25168 97730070 o1(o2(x,o2(x,x))) true 31191 31191 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_x7_u0_b52 12 7 0 52 sqt(pow(P,min(R,D))) 25169 97730071 o1(o2(x,o2(x,x))) true 31199 31199 -0.1768 0.4531 0.9169 0.8312 0.9117 -1 1 2 1 2.345 0.01317 0.003753 0.01972 0.5563 1 0.00007197 0.03397 0.02202 0.01652 0.1285 6.518 2.828 0.02036 0.04087 1 1 0.02317 0.09774 0.3658 0.02788 0.1176 0.4401 json
t12_x7_u0_b53 12 7 0 53 sqt(pow(P,dot(R,D))) 25170 97730072 o1(o2(x,o2(x,x))) true 31207 31207 -0.118 0.453 0.9761 0.946 0.9726 -1 1 2 1 1.619 0.01501 0.00542 0.01705 0.4694 1 -0.00002393 0.05142 0.0256 0.02014 0.1419 8.323 2.828 0.0216 0.05436 1 1 0.02891 0.1103 0.3714 0.03057 0.1165 0.3926 json
t12_x7_u0_b54 12 7 0 54 sqt(pow(P,dst(R,D))) 25171 97730073 o1(o2(x,o2(x,x))) true 31215 31215 -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_x7_u0_b55 12 7 0 55 sqt(mod(P,add(R,D))) 25172 97730074 o1(o2(x,o2(x,x))) true 31223 31223 -0.2797 0.4989 0.7203 0.5413 0.7358 -1 1 2 1 2.873 0.02282 0.0002587 0.07868 0.9776 1 -0.0002814 0.06238 0.1267 0.01688 0.1299 1.651 1 0.04263 0.1152 1 1 0.01647 0.04855 0.1982 0.03043 0.08968 0.3661 json
t12_x7_u0_b56 12 7 0 56 sqt(mod(P,sub(R,D))) 25173 97730075 o1(o2(x,o2(x,x))) true 31231 31231 -0.2787 0.4995 0.7213 0.5418 0.7361 -1 1 2 1 2.868 0.02265 0.0002691 0.07901 0.9765 1 -0.00003752 0.06201 0.1261 0.01668 0.1291 1.634 1 0.04231 0.1144 1 1 0.0163 0.04887 0.193 0.03008 0.09019 0.3563 json
t12_x7_u0_b57 12 7 0 57 sqt(mod(P,mlt(R,D))) 25174 97730076 o1(o2(x,o2(x,x))) true 31239 31239 -0.3953 0.4988 0.6047 0.3726 0.6104 -1 0.6103 1.61 1 2.444 0.007915 0.00004645 0.03793 0.9883 1 -0.0001057 0.01812 0.06081 0.006521 0.08075 2.129 1 0.02137 0.04863 1 1 0.00823 0.03261 0.1227 0.02209 0.08753 0.3293 json
t12_x7_u0_b58 12 7 0 58 sqt(mod(P,div(R,D))) 25175 97730077 o1(o2(x,o2(x,x))) true 31247 31247 -0.1292 0.4982 0.8708 0.7991 0.8939 -1 1 2 1 2.592 0.02966 0.0004378 0.07951 0.9709 1 0.0001796 0.08162 0.1359 0.02378 0.1542 1.94 1 0.03766 0.1021 1 1 0.01993 0.06721 0.2802 0.02494 0.0841 0.3506 json
t12_x7_u0_b59 12 7 0 59 sqt(mod(P,pow(R,D))) 25176 97730078 o1(o2(x,o2(x,x))) true 31255 31255 -0.9875 0.007813 0.9969 0.02061 0.1436 -1 0.9997 2 1 0.095 0.002 0.00244 0.003433 -0.09906 1 0.00001441 0.009306 0.006045 0.004429 0.06655 19.38 2.828 0.2155 0.4515 1 1 0.00053 0.00371 0.01798 0.02572 0.18 0.8723 json
t12_x7_u0_b60 12 7 0 60 sqt(mod(P,mod(R,D))) 25177 97730079 o1(o2(x,o2(x,x))) true 31263 31263 -0.3963 0.4985 0.6037 0.3715 0.6095 -1 0.6171 1.617 1 2.443 0.009605 0.00004914 0.04236 0.9898 1 -0.0002712 0.02294 0.07063 0.007863 0.08867 2.093 1 0.02599 0.06176 1 1 0.009092 0.03341 0.1222 0.02447 0.08993 0.329 json
t12_x7_u0_b61 12 7 0 61 sqt(mod(P,lrg(R,D))) 25178 97730080 o1(o2(x,o2(x,x))) true 31271 31271 -0.9312 0 0.9312 0.06407 0.2531 -1 0 1 1 0.3616 0.02485 0.005574 0.03011 0.6335 1 0 0.068 0.06085 0.0295 0.1717 5.704 1.414 0.4748 1.061 1 1 0.02749 0.08127 0.122 0.4291 1.268 1.904 json
t12_x7_u0_b62 12 7 0 62 sqt(mod(P,eql(R,D))) 25179 97730081 o1(o2(x,o2(x,x))) true 31279 31279 -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_x7_u0_b63 12 7 0 63 sqt(mod(P,min(R,D))) 25180 97730082 o1(o2(x,o2(x,x))) true 31287 31287 -0.3126 0.4912 0.6855 0.4878 0.6984 -1 0.8903 1.89 1 2.729 0.01069 0.0002459 0.04032 0.955 1 -0.000004599 0.02549 0.0623 0.009313 0.0965 2.394 1.414 0.02242 0.05225 1 1 0.01091 0.04304 0.1652 0.02236 0.08823 0.3387 json
t12_x7_u0_b64 12 7 0 64 sqt(mod(P,dot(R,D))) 25181 97730083 o1(o2(x,o2(x,x))) true 31295 31295 -0.3668 0.4988 0.6333 0.4097 0.6401 -1 0.7375 1.738 1 2.544 0.01029 0.00618 0.0704 0.2497 1 -0.00009486 0.06713 0.139 0.01151 0.1073 1.524 1.951 0.04021 0.1639 1 1 0.01252 0.03893 0.1389 0.03057 0.09502 0.339 json
t12_x7_u0_b65 12 7 0 65 sqt(mod(P,dst(R,D))) 25182 97730084 o1(o2(x,o2(x,x))) true 31303 31303 -0.1783 0.4998 0.8217 0.7057 0.84 -1 1 2 1 2.885 0.02327 0.01897 0.1005 0.1017 1 0.00003387 0.1672 0.1801 0.03215 0.1793 1.784 1.354 0.05985 0.237 1 1 0.03076 0.07171 0.2555 0.0436 0.1016 0.3621 json
t12_x7_u0_b66 12 7 0 66 sqt(lrg(P,add(R,D))) 25183 97730085 o1(o2(x,o2(x,x))) true 31311 31311 0.4983 0.5748 0.4983 0.2332 0.4829 0 1 1 1 1.707 0.002579 0.0001747 0.01255 0.8731 1 0.000009607 0.004619 0.009851 0.002597 0.05096 4.059 0.9926 0.01181 0.01981 1 1 0.003607 0.02284 0.08805 0.01547 0.09794 0.3776 json
t12_x7_u0_b67 12 7 0 67 sqt(lrg(P,sub(R,D))) 25184 97730086 o1(o2(x,o2(x,x))) true 31319 31319 0.4983 0.5367 0.4983 0.2404 0.4904 0 1 1 1 1.441 0.002564 0.000168 0.008601 0.877 1 0.000009608 0.004735 0.008797 0.002659 0.05157 5.995 0.9997 0.01136 0.01969 1 1 0.003586 0.02271 0.09229 0.01492 0.09446 0.3838 json
t12_x7_u0_b68 12 7 0 68 sqt(lrg(P,mlt(R,D))) 25185 97730087 o1(o2(x,o2(x,x))) true 31327 31327 0.5 0.5378 0.5 0.2421 0.492 0 1 1 1 1.382 0.003597 0.0001053 0.007956 0.9431 1 -3.229e-10 0.006751 0.008078 0.003638 0.06032 7.581 1 0.01529 0.02789 1 1 0.005344 0.0265 0.09053 0.02207 0.1095 0.3739 json
t12_x7_u0_b69 12 7 0 69 sqt(lrg(P,div(R,D))) 25186 97730088 o1(o2(x,o2(x,x))) true 31335 31335 0.4994 0.6639 0.4994 0.2145 0.4631 0 1 1 1 2.252 0.07443 0.001095 0.1036 0.971 1 -0.000505 0.1656 0.1758 0.06478 0.2545 2.456 1 0.3522 0.7721 1 1 0.0765 0.1704 0.1893 0.3567 0.7948 0.8828 json
t12_x7_u0_b70 12 7 0 70 sqt(lrg(P,pow(R,D))) 25187 97730089 o1(o2(x,o2(x,x))) true 31343 31343 0.7115 0.9524 0.7115 0.1529 0.3911 0 1 1 1 2.46 0.003508 0.001328 0.03155 0.4508 1 3.482e-8 0.005093 0.01323 0.003839 0.06196 1.964 1 0.03162 0.0333 1 1 0.007741 0.07269 0.1921 0.05061 0.4753 1.256 json
t12_x7_u0_b71 12 7 0 71 sqt(lrg(P,mod(R,D))) 25188 97730090 o1(o2(x,o2(x,x))) true 31351 31351 0.5039 0.5456 0.5039 0.2412 0.4911 0 1 1 1 1.415 0.0003238 0.0001053 0.004981 0.5091 1 0.000005704 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_x7_u0_b72 12 7 0 72 sqt(lrg(P,lrg(R,D))) 25189 97730091 o1(o2(x,o2(x,x))) true 31359 31359 0.4288 0.4552 0.4288 0.2382 0.4881 0 1 1 1 1.313 0.001212 0.0001361 0.005247 0.798 1 0.00001114 0.001947 0.004038 0.001321 0.03634 6.927 0.9997 0.005658 0.008172 1 1 0.002631 0.01873 0.08448 0.01104 0.07864 0.3546 json
t12_x7_u0_b73 12 7 0 73 sqt(lrg(P,eql(R,D))) 25190 97730092 o1(o2(x,o2(x,x))) true 31367 31367 0.4687 0.5 0.4687 0.2423 0.4922 0 1 1 1 1.326 0.0003681 1.509e-7 0.004 0.9992 1 -1.175e-7 0.00006033 0.001044 0.0003522 0.01877 4.692 0.4319 0.00152 0.000249 1 1 0.0009255 0.01214 0.07511 0.00382 0.05012 0.31 json
t12_x7_u0_b74 12 7 0 74 sqt(lrg(P,min(R,D))) 25191 97730093 o1(o2(x,o2(x,x))) true 31375 31375 0.5176 0.5625 0.5176 0.2389 0.4888 0 1 1 1 1.486 0.002093 0.00005267 0.007983 0.9509 1 0.000002852 0.003286 0.004977 0.002081 0.04562 5.715 0.9994 0.008984 0.01375 1 1 0.003596 0.02222 0.07826 0.01505 0.09301 0.3276 json
t12_x7_u0_b75 12 7 0 75 sqt(lrg(P,dot(R,D))) 25192 97730094 o1(o2(x,o2(x,x))) true 31383 31383 0.499 0.5445 0.499 0.2411 0.491 0 1 1 1 1.421 0.002838 0.001955 0.01021 0.1843 1 0.00001934 0.01541 0.01267 0.004689 0.06847 6.708 1.409 0.01988 0.06391 1 1 0.006801 0.0302 0.08809 0.02821 0.1253 0.3654 json
t12_x7_u0_b76 12 7 0 76 sqt(lrg(P,dst(R,D))) 25193 97730095 o1(o2(x,o2(x,x))) true 31391 31391 0.4297 0.4641 0.4297 0.2373 0.4872 0 1 1 1 1.36 0.001877 0.001644 0.008279 0.06628 1 -0.000001305 0.01025 0.01037 0.003449 0.05873 7.094 1.404 0.01484 0.04321 1 1 0.005235 0.02504 0.08667 0.02206 0.1055 0.3652 json
t12_x7_u0_b77 12 7 0 77 sqt(eql(P,add(R,D))) 25194 97730096 o1(o2(x,o2(x,x))) true 31399 31399 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_x7_u0_b78 12 7 0 78 sqt(eql(P,sub(R,D))) 25195 97730097 o1(o2(x,o2(x,x))) true 31407 31407 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_x7_u0_b79 12 7 0 79 sqt(eql(P,mlt(R,D))) 25196 97730098 o1(o2(x,o2(x,x))) true 31415 31415 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_x7_u0_b80 12 7 0 80 sqt(eql(P,div(R,D))) 25197 97730099 o1(o2(x,o2(x,x))) true 31423 31423 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_x7_u0_b81 12 7 0 81 sqt(eql(P,pow(R,D))) 25198 97730100 o1(o2(x,o2(x,x))) true 31431 31431 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_x7_u0_b82 12 7 0 82 sqt(eql(P,mod(R,D))) 25199 97730101 o1(o2(x,o2(x,x))) true 31439 31439 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