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_x0_u6_b86 12 0 6 86 nrm(eql(P,dot(P,P))) 20000 97448504 o1(o2(x,o2(x,x))) true 160007 160007 -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_x0_u6_b87 12 0 6 87 nrm(eql(P,dst(P,P))) 20001 97448505 o1(o2(x,o2(x,x))) true 160015 160015 0.04369 0.125 0.04369 0.02206 0.1485 0 0.7069 0.7069 1 0.7586 0.0003453 5.912e-7 0.005561 0.9966 1 2.138e-9 0.0000159 0.001297 0.0003148 0.01774 3.19 0.08265 0.01568 0.0007207 1 1 0 0 0.000901 0 0 0.04083 json
t12_x0_u6_b88 12 0 6 88 nrm(min(P,add(P,P))) 20002 97448506 o1(o2(x,o2(x,x))) true 160023 160023 -0.09104 0.4893 0.6436 0.4965 0.7046 -1 1 2 1 4.691 0.001756 0.001131 0.01018 0.2166 1 0.000001523 0.005635 0.005514 0.002784 0.05276 5.183 2.414 0.005815 0.01135 1 1 0 0 0.005272 0 0 0.01062 json
t12_x0_u6_b89 12 0 6 89 nrm(min(P,sub(P,P))) 20003 97448507 o1(o2(x,o2(x,x))) true 160031 160031 -0.6939 0 0.6939 0.1761 0.4196 -1 0 1 1 2.167 0.00003572 0.002116 0.00427 -0.9668 1 6.585e-7 0.004237 0.004798 0.002132 0.04617 10.81 1 0.01222 0.02406 1 1 0 0 0.002971 0 0 0.01687 json
t12_x0_u6_b90 12 0 6 90 nrm(min(P,mlt(P,P))) 20004 97448508 o1(o2(x,o2(x,x))) true 160039 160039 -0.01562 0.4896 0.6504 0.5048 0.7105 -1 1 2 1 4.761 0.001863 0.00124 0.0104 0.2009 1 3.065e-10 0.00612 0.00575 0.002995 0.05473 5.261 2.414 0.006147 0.01212 1 1 0 0 0.005637 0 0 0.01117 json
t12_x0_u6_b91 12 0 6 91 nrm(min(P,div(P,P))) 20005 97448509 o1(o2(x,o2(x,x))) true 160047 160047 -0.1436 0.4909 0.6396 0.4825 0.6946 -1 0.9999 2 1 3.941 0.001957 0.001257 0.009659 0.2179 1 -1.683e-7 0.006127 0.005744 0.003121 0.05586 5.783 2.414 0.006662 0.0127 1 1 0 0 0.005874 0 0 0.01217 json
t12_x0_u6_b92 12 0 6 92 nrm(min(P,pow(P,P))) 20006 97448510 o1(o2(x,o2(x,x))) true 160055 160055 -0.01562 0.4896 0.6504 0.5048 0.7105 -1 1 2 1 4.761 0.001863 0.00124 0.0104 0.2009 1 3.065e-10 0.00612 0.00575 0.002995 0.05473 5.261 2.414 0.006147 0.01212 1 1 0 0 0.005637 0 0 0.01117 json
t12_x0_u6_b93 12 0 6 93 nrm(min(P,mod(P,P))) 20007 97448511 o1(o2(x,o2(x,x))) true 160063 160063 -0.498 0.1875 0.6936 0.3672 0.606 -1 1 2 1 3.55 0.01575 0.00862 0.0256 0.2927 1 -0.00005551 0.04844 0.03239 0.02372 0.154 6.015 2.414 0.06638 0.1319 1 1 0 0 0.01364 0 0 0.03713 json
t12_x0_u6_b94 12 0 6 94 nrm(min(P,lrg(P,P))) 20008 97448512 o1(o2(x,o2(x,x))) true 160071 160071 -0.6939 0 0.6939 0.1761 0.4196 -1 0 1 1 2.167 0.00003572 0.002116 0.00427 -0.9668 1 6.585e-7 0.004237 0.004798 0.002132 0.04617 10.81 1 0.01222 0.02406 1 1 0 0 0.002971 0 0 0.01687 json
t12_x0_u6_b95 12 0 6 95 nrm(min(P,eql(P,P))) 20009 97448513 o1(o2(x,o2(x,x))) true 160079 160079 -0.1436 0.4909 0.6396 0.4825 0.6946 -1 0.9999 2 1 3.941 0.001957 0.001257 0.009659 0.2179 1 -1.675e-7 0.006127 0.005744 0.003121 0.05586 5.783 2.414 0.006662 0.0127 1 1 0 0 0.005874 0 0 0.01217 json
t12_x0_u6_b96 12 0 6 96 nrm(min(P,min(P,P))) 20010 97448514 o1(o2(x,o2(x,x))) true 160087 160087 -0.01562 0.4896 0.6504 0.5048 0.7105 -1 1 2 1 4.761 0.001863 0.00124 0.0104 0.2009 1 3.065e-10 0.00612 0.00575 0.002995 0.05473 5.261 2.414 0.006147 0.01212 1 1 0 0 0.005637 0 0 0.01117 json
t12_x0_u6_b97 12 0 6 97 nrm(min(P,dot(P,P))) 20011 97448515 o1(o2(x,o2(x,x))) true 160095 160095 -0.01562 0.4896 0.6504 0.5048 0.7105 -1 1 2 1 4.761 0.001863 0.00124 0.0104 0.2009 1 3.065e-10 0.00612 0.00575 0.002995 0.05473 5.261 2.414 0.006147 0.01212 1 1 0 0 0.005637 0 0 0.01117 json
t12_x0_u6_b98 12 0 6 98 nrm(min(P,dst(P,P))) 20012 97448516 o1(o2(x,o2(x,x))) true 160103 160103 -0.6939 0 0.6939 0.1761 0.4196 -1 0 1 1 2.167 0.00003572 0.002116 0.00427 -0.9668 1 6.585e-7 0.004237 0.004798 0.002132 0.04617 10.81 1 0.01222 0.02406 1 1 0 0 0.002971 0 0 0.01687 json
t12_x0_u6_b99 12 0 6 99 nrm(dot(P,add(P,P))) 20013 97448517 o1(o2(x,o2(x,x))) true 160111 160111 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.256e-10 0.01034 0.006359 0.005001 0.07072 22.34 2.231 0.1312 0.2706 1 1 0 0 0.008822 0 0 0.2308 json
t12_x0_u6_b100 12 0 6 100 nrm(dot(P,sub(P,P))) 20014 97448518 o1(o2(x,o2(x,x))) true 160119 160119 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_x0_u6_b101 12 0 6 101 nrm(dot(P,mlt(P,P))) 20015 97448519 o1(o2(x,o2(x,x))) true 160127 160127 -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.266e-9 0.03956 0.02797 0.01846 0.1359 9.888 2.231 0.04431 0.09402 1 1 0 0 0.02459 0 0 0.05845 json
t12_x0_u6_b102 12 0 6 102 nrm(dot(P,div(P,P))) 20016 97448520 o1(o2(x,o2(x,x))) true 160135 160135 -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_x0_u6_b103 12 0 6 103 nrm(dot(P,pow(P,P))) 20017 97448521 o1(o2(x,o2(x,x))) true 160143 160143 -0.6116 0.2461 0.8962 0.4616 0.6794 -1 0.5774 1.577 1 0.805 0.004937 0.004937 0.006245 0 1 -6.814e-10 0.01998 0.01252 0.009835 0.09917 15.88 2.231 0.02139 0.04329 1 1 0 0 0.01309 0 0 0.02837 json
t12_x0_u6_b104 12 0 6 104 nrm(dot(P,mod(P,P))) 20018 97448522 o1(o2(x,o2(x,x))) true 160151 160151 -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_x0_u6_b105 12 0 6 105 nrm(dot(P,lrg(P,P))) 20019 97448523 o1(o2(x,o2(x,x))) true 160159 160159 -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_x0_u6_b106 12 0 6 106 nrm(dot(P,eql(P,P))) 20020 97448524 o1(o2(x,o2(x,x))) true 160167 160167 -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.318e-9 0.03956 0.02797 0.01846 0.1359 9.888 2.231 0.04431 0.09402 1 1 0 0 0.02459 0 0 0.05845 json
t12_x0_u6_b107 12 0 6 107 nrm(dot(P,min(P,P))) 20021 97448525 o1(o2(x,o2(x,x))) true 160175 160175 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.256e-10 0.01034 0.006359 0.005001 0.07072 22.34 2.231 0.1312 0.2706 1 1 0 0 0.008822 0 0 0.2308 json
t12_x0_u6_b108 12 0 6 108 nrm(dot(P,dot(P,P))) 20022 97448526 o1(o2(x,o2(x,x))) true 160183 160183 -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.172e-9 0.03956 0.02797 0.01846 0.1359 9.888 2.231 0.04431 0.09402 1 1 0 0 0.02459 0 0 0.05845 json
t12_x0_u6_b109 12 0 6 109 nrm(dot(P,dst(P,P))) 20023 97448527 o1(o2(x,o2(x,x))) true 160191 160191 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_x0_u6_b110 12 0 6 110 nrm(dst(P,add(P,P))) 20024 97448528 o1(o2(x,o2(x,x))) true 160199 160199 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 0 0.008822 0 0 0.2308 json
t12_x0_u6_b111 12 0 6 111 nrm(dst(P,sub(P,P))) 20025 97448529 o1(o2(x,o2(x,x))) true 160207 160207 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 0 0.008822 0 0 0.2308 json
t12_x0_u6_b112 12 0 6 112 nrm(dst(P,mlt(P,P))) 20026 97448530 o1(o2(x,o2(x,x))) true 160215 160215 0.5222 0.9648 0.5926 0.08435 0.2904 -1 0.5774 1.577 1 0.2196 0.003761 0.003761 0.004754 0 1 -1.453e-9 0.01536 0.009538 0.007503 0.08662 18.22 2.231 0.08919 0.1821 1 1 0 0 0.01323 0 0 0.1569 json
t12_x0_u6_b113 12 0 6 113 nrm(dst(P,div(P,P))) 20027 97448531 o1(o2(x,o2(x,x))) true 160223 160223 -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_x0_u6_b114 12 0 6 114 nrm(dst(P,pow(P,P))) 20028 97448532 o1(o2(x,o2(x,x))) true 160231 160231 -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.671e-10 0.01982 0.01252 0.009835 0.09917 15.84 1.577 0.02116 0.04249 1 1 0 0 0.01309 0 0 0.02807 json
t12_x0_u6_b115 12 0 6 115 nrm(dst(P,mod(P,P))) 20029 97448533 o1(o2(x,o2(x,x))) true 160239 160239 -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_x0_u6_b116 12 0 6 116 nrm(dst(P,lrg(P,P))) 20030 97448534 o1(o2(x,o2(x,x))) true 160247 160247 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 0 0.008822 0 0 0.2308 json
t12_x0_u6_b117 12 0 6 117 nrm(dst(P,eql(P,P))) 20031 97448535 o1(o2(x,o2(x,x))) true 160255 160255 0.5777 1 0.5777 1.421e-7 0.0003769 0.5774 0.5774 1.192e-7 1 0 4.89e-17 3.698e-17 1.378e-9 0.00001192 0 -6.57e-10 3.733e-16 1.566e-9 8.394e-17 9.162e-9 6.648 8.429e-8 6.044e-10 2.627e-9 1 1 0 0 7.017e-17 0 0 4.938e-10 json
t12_x0_u6_b118 12 0 6 118 nrm(dst(P,min(P,P))) 20032 97448536 o1(o2(x,o2(x,x))) true 160263 160263 -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_x0_u6_b119 12 0 6 119 nrm(dst(P,dot(P,P))) 20033 97448537 o1(o2(x,o2(x,x))) true 160271 160271 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 -6.27e-10 0.01034 0.006359 0.005001 0.07072 22.34 2.231 0.1312 0.2706 1 1 0 0 0.008822 0 0 0.2308 json
t12_x0_u6_b120 12 0 6 120 nrm(dst(P,dst(P,P))) 20034 97448538 o1(o2(x,o2(x,x))) true 160279 160279 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 0 0.008822 0 0 0.2308 json
t12_x1_u0_b0 12 1 0 0 sqt(add(P,add(P,D))) 20035 97487613 o1(o2(x,o2(x,x))) true 160287 160287 -0.01374 0.5 0.9863 0.98 0.9899 -1 1 2 1 1.262 0.005839 0 0.007937 1 1 -1.419e-9 0.009843 0.009366 0.005775 0.07599 9.575 1.177 0.005958 0.01004 1 1 0 0 0.008962 0 0 0.009145 json
t12_x1_u0_b1 12 1 0 1 sqt(add(P,sub(P,D))) 20036 97487614 o1(o2(x,o2(x,x))) true 160295 160295 -0.125 0.4375 1 0.9844 0.9922 -1 1 2 1 0.9887 0.01587 0 0.007937 1 1 0 0.03175 0.01587 0.01581 0.1257 15.84 2 0.01612 0.03225 1 1 0 0 0.02105 0 0 0.02139 json
t12_x1_u0_b2 12 1 0 2 sqt(add(P,mlt(P,D))) 20037 97487615 o1(o2(x,o2(x,x))) true 160303 160303 -0.03638 0.4961 0.9636 0.9553 0.9774 -1 1 2 1 1.426 0.004301 0 0.007937 1 1 1.892e-9 0.007934 0.008797 0.004237 0.06509 8.201 1 0.004502 0.008305 1 1 0 0 0.006147 0 0 0.006435 json
t12_x1_u0_b3 12 1 0 3 sqt(add(P,div(P,D))) 20038 97487616 o1(o2(x,o2(x,x))) true 160311 160311 -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_x1_u0_b4 12 1 0 4 sqt(add(P,pow(P,D))) 20039 97487617 o1(o2(x,o2(x,x))) true 160319 160319 -0.02539 0.5 0.9746 0.9688 0.9843 -1 1 2 1 1.276 0.00449 0 0.007936 1 1 4.735e-10 0.007941 0.009175 0.004426 0.06653 8.383 1 0.004635 0.008197 1 1 0 0 0.006645 0 0 0.00686 json
t12_x1_u0_b5 12 1 0 5 sqt(add(P,mod(P,D))) 20040 97487618 o1(o2(x,o2(x,x))) true 160327 160327 -0.02903 0.5 0.971 0.9637 0.9817 -1 1 2 1 1.366 0.004417 0 0.007939 1 1 9.452e-10 0.008058 0.01011 0.004353 0.06598 8.311 1 0.004584 0.008362 1 1 0 0 0.006374 0 0 0.006614 json
t12_x1_u0_b6 12 1 0 6 sqt(add(P,lrg(P,D))) 20041 97487619 o1(o2(x,o2(x,x))) true 160335 160335 -0.02539 0.5 0.9746 0.9688 0.9843 -1 1 2 1 1.276 0.00449 0 0.007936 1 1 4.735e-10 0.007941 0.009175 0.004426 0.06653 8.383 1 0.004635 0.008197 1 1 0 0 0.006645 0 0 0.00686 json
t12_x1_u0_b7 12 1 0 7 sqt(add(P,eql(P,D))) 20042 97487620 o1(o2(x,o2(x,x))) true 160343 160343 -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 0 0.006228 0 0 0.006485 json
t12_x1_u0_b8 12 1 0 8 sqt(add(P,min(P,D))) 20043 97487621 o1(o2(x,o2(x,x))) true 160351 160351 -0.03638 0.4961 0.9636 0.9553 0.9774 -1 1 2 1 1.426 0.004301 0 0.007937 1 1 1.892e-9 0.007934 0.008797 0.004237 0.06509 8.201 1 0.004502 0.008305 1 1 0 0 0.006147 0 0 0.006435 json
t12_x1_u0_b9 12 1 0 9 sqt(add(P,dot(P,D))) 20044 97487622 o1(o2(x,o2(x,x))) true 160359 160359 -0.518 0.2416 0.9988 0.7291 0.8539 -1 1 2 1 0.85 0.1562 0.1521 0.146 0.01313 1 0.001022 0.9241 0.3101 0.2871 0.5358 3.67 2.828 0.4228 1.267 1 1 0 0 0.2848 0 0 0.3906 json
t12_x1_u0_b10 12 1 0 10 sqt(add(P,dst(P,D))) 20045 97487623 o1(o2(x,o2(x,x))) true 160367 160367 0.6957 0.8541 0.9876 0.4962 0.7044 -1 1 2 1 0.9504 0.04209 0.03163 0.04231 0.1419 1 -0.0001267 0.2082 0.08605 0.07196 0.2683 6.341 2.828 0.1486 0.4195 1 1 0 0 0.08013 0 0 0.1615 json
t12_x1_u0_b11 12 1 0 11 sqt(sub(P,add(P,D))) 20046 97487624 o1(o2(x,o2(x,x))) true 160375 160375 -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_x1_u0_b12 12 1 0 12 sqt(sub(P,sub(P,D))) 20047 97487625 o1(o2(x,o2(x,x))) true 160383 160383 -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_x1_u0_b13 12 1 0 13 sqt(sub(P,mlt(P,D))) 20048 97487626 o1(o2(x,o2(x,x))) true 160391 160391 -0.02826 0.5 0.9717 0.9649 0.9823 -1 1 2 1 1.341 0.004393 0 0.008346 1 1 -1.893e-9 0.007904 0.009355 0.004325 0.06577 7.88 1 0.004553 0.008192 1 1 0 0 0.006411 0 0 0.006645 json
t12_x1_u0_b14 12 1 0 14 sqt(sub(P,div(P,D))) 20049 97487627 o1(o2(x,o2(x,x))) true 160399 160399 -0.8031 0.1211 0.9469 0.2939 0.5421 -1 1 2 1 0.8758 0.03305 0 0.02381 1 1 9.461e-10 0.0639 0.03537 0.0325 0.1803 7.571 2 0.1124 0.2174 1 1 0 0 0.04528 0 0 0.1541 json
t12_x1_u0_b15 12 1 0 15 sqt(sub(P,pow(P,D))) 20050 97487628 o1(o2(x,o2(x,x))) true 160407 160407 -0.0919 0.4375 0.9081 0.8926 0.9448 -1 1 2 1 1.589 0.004365 0 0.008245 1 1 -1.893e-9 0.007965 0.009241 0.004294 0.06553 7.947 1 0.00489 0.008922 1 1 0 0 0.006297 0 0 0.007055 json
t12_x1_u0_b16 12 1 0 16 sqt(sub(P,mod(P,D))) 20051 97487629 o1(o2(x,o2(x,x))) true 160415 160415 -0.03459 0.5 0.9654 0.9566 0.9781 -1 1 2 1 1.398 0.004407 0 0.00833 1 1 -9.459e-10 0.008193 0.01143 0.00434 0.06588 7.909 1 0.004607 0.008565 1 1 0 0 0.006258 0 0 0.006541 json
t12_x1_u0_b17 12 1 0 17 sqt(sub(P,lrg(P,D))) 20052 97487630 o1(o2(x,o2(x,x))) true 160423 160423 -0.09375 0.4375 0.9063 0.89 0.9434 -1 1 2 1 1.621 0.004321 0 0.007937 1 1 -4.731e-10 0.007953 0.008864 0.004257 0.06525 8.221 1 0.004855 0.008935 1 1 0 0 0.006189 0 0 0.006953 json
t12_x1_u0_b18 12 1 0 18 sqt(sub(P,eql(P,D))) 20053 97487631 o1(o2(x,o2(x,x))) true 160431 160431 -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 0 0.006228 0 0 0.006485 json
t12_x1_u0_b19 12 1 0 19 sqt(sub(P,min(P,D))) 20054 97487632 o1(o2(x,o2(x,x))) true 160439 160439 0.4871 0.5625 0.4871 0.2331 0.4828 0 1 1 1 1.579 0.0007482 0 0.008054 1 1 2.957e-9 0.0002105 0.003503 0.0006833 0.02614 3.246 0.1763 0.003209 0.0009031 1 1 0 0 0.001845 0 0 0.007914 json
t12_x1_u0_b20 12 1 0 20 sqt(sub(P,dot(P,D))) 20055 97487633 o1(o2(x,o2(x,x))) true 160447 160447 -0.4912 0.2563 0.9962 0.7529 0.8677 -1 1 2 1 0.921 0.1415 0.1259 0.1279 0.05837 1 -0.001071 0.7952 0.2693 0.2513 0.5013 3.918 2.828 0.3553 1.056 1 1 0 0 0.24 0 0 0.3187 json
t12_x1_u0_b21 12 1 0 21 sqt(sub(P,dst(P,D))) 20056 97487634 o1(o2(x,o2(x,x))) true 160455 160455 -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_x1_u0_b22 12 1 0 22 sqt(mlt(P,add(P,D))) 20057 97487635 o1(o2(x,o2(x,x))) true 160463 160463 0.9273 0.9922 0.9273 0.0531 0.2304 0.00005145 1 0.9999 1 0.852 0.0006647 0 0.007936 1 1 3.43e-9 0.0000278 0.001755 0.0006019 0.02453 3.091 0.1106 0.01252 0.0005236 1 1 0 0 0.001745 0 0 0.03286 json
t12_x1_u0_b23 12 1 0 23 sqt(mlt(P,sub(P,D))) 20058 97487636 o1(o2(x,o2(x,x))) true 160471 160471 0.944 1 0.944 0.04059 0.2015 0.0004084 1 0.9996 1 0.6829 0.0008392 0 0.008533 1 1 1.892e-9 0.00007459 0.002922 0.0007661 0.02768 3.244 0.1319 0.02068 0.001838 1 1 0 0 0.002177 0 0 0.05363 json
t12_x1_u0_b24 12 1 0 24 sqt(mlt(P,mlt(P,D))) 20059 97487637 o1(o2(x,o2(x,x))) true 160479 160479 -0.9219 0.0625 0.9531 0.09308 0.3051 -1 0.4565 1.457 1 0.5062 0.009666 0 0.01156 1 1 1.419e-9 0.01778 0.01778 0.009527 0.09761 8.444 1.177 0.1038 0.191 1 1 0 0 0.01385 0 0 0.1488 json
t12_x1_u0_b25 12 1 0 25 sqt(mlt(P,div(P,D))) 20060 97487638 o1(o2(x,o2(x,x))) true 160487 160487 -0.9007 0.0625 0.9743 0.1586 0.3983 -1 1 2 1 0.492 0.02046 0 0.01587 1 1 0 0.03979 0.02542 0.0202 0.1421 8.954 2 0.129 0.2508 1 1 0 0 0.02788 0 0 0.1757 json
t12_x1_u0_b26 12 1 0 26 sqt(mlt(P,pow(P,D))) 20061 97487639 o1(o2(x,o2(x,x))) true 160495 160495 -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 0 0.006228 0 0 0.006485 json
t12_x1_u0_b27 12 1 0 27 sqt(mlt(P,mod(P,D))) 20062 97487640 o1(o2(x,o2(x,x))) true 160503 160503 0.5766 0.9766 0.5766 0.1264 0.3555 0 1 1 1 3.488 0.06709 0 0.1655 1 1 -0.0001015 0.153 0.2791 0.03969 0.1992 1.204 0.9777 0.531 1.211 1 1 0 0 0.04814 0 0 0.381 json
t12_x1_u0_b28 12 1 0 28 sqt(mlt(P,lrg(P,D))) 20063 97487641 o1(o2(x,o2(x,x))) true 160511 160511 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 0 0.0009255 0 0 0.00382 json
t12_x1_u0_b29 12 1 0 29 sqt(mlt(P,eql(P,D))) 20064 97487642 o1(o2(x,o2(x,x))) true 160519 160519 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_x1_u0_b30 12 1 0 30 sqt(mlt(P,min(P,D))) 20065 97487643 o1(o2(x,o2(x,x))) true 160527 160527 -0.03125 0.5 0.9688 0.9603 0.98 -1 1 2 1 1.406 0.004323 0 0.007937 1 1 0 0.007903 0.008812 0.004259 0.06526 8.223 1 0.004502 0.008229 1 1 0 0 0.006228 0 0 0.006485 json
t12_x1_u0_b31 12 1 0 31 sqt(mlt(P,dot(P,D))) 20066 97487644 o1(o2(x,o2(x,x))) true 160535 160535 -0.9779 0.01828 0.9855 0.02679 0.1637 -1 0.636 1.636 1 0.187 0.00433 0.007759 0.01084 -0.2837 1 -1.201e-10 0.03339 0.02114 0.01197 0.1094 10.09 1.841 0.4513 1.246 1 1 0 0 0.01613 0 0 0.6022 json
t12_x1_u0_b32 12 1 0 32 sqt(mlt(P,dst(P,D))) 20067 97487645 o1(o2(x,o2(x,x))) true 160543 160543 -0.0218 0.5 0.9782 0.9737 0.9868 -1 1 2 1 1.278 0.004625 0.000001051 0.007951 0.9995 1 -6.322e-8 0.007997 0.009577 0.004562 0.06754 8.495 1.001 0.004751 0.008213 1 1 0 0 0.006876 0 0 0.007062 json
t12_x1_u0_b33 12 1 0 33 sqt(div(P,add(P,D))) 20068 97487646 o1(o2(x,o2(x,x))) true 160551 160551 0.9427 1 0.9427 0.03504 0.1872 0.001646 1 0.9984 1 0.7537 0.0008597 0 0.01077 1 1 2.661e-9 0.00007181 0.004035 0.0007435 0.02727 2.531 0.1304 0.02453 0.002049 1 1 0 0 0.00223 0 0 0.06365 json
t12_x1_u0_b34 12 1 0 34 sqt(div(P,sub(P,D))) 20069 97487647 o1(o2(x,o2(x,x))) true 160559 160559 0.9284 1 0.9284 0.0493 0.222 0.0002074 1 0.9998 1 0.852 0.0006403 0 0.009033 1 1 0.00001675 0.00002881 0.002821 0.0005588 0.02364 2.617 0.1056 0.01299 0.0005843 1 1 0 0 0.001678 0 0 0.03403 json
t12_x1_u0_b35 12 1 0 35 sqt(div(P,mlt(P,D))) 20070 97487648 o1(o2(x,o2(x,x))) true 160567 160567 -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_x1_u0_b36 12 1 0 36 sqt(div(P,div(P,D))) 20071 97487649 o1(o2(x,o2(x,x))) true 160575 160575 -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_x1_u0_b37 12 1 0 37 sqt(div(P,pow(P,D))) 20072 97487650 o1(o2(x,o2(x,x))) true 160583 160583 -0.125 0.4375 1 0.9844 0.9922 -1 1 2 1 0.9887 0.01587 0 0.007937 1 1 0 0.03175 0.01587 0.01581 0.1257 15.84 2 0.01612 0.03225 1 1 0 0 0.02105 0 0 0.02139 json
t12_x1_u0_b38 12 1 0 38 sqt(div(P,mod(P,D))) 20073 97487651 o1(o2(x,o2(x,x))) true 160591 160591 0.5625 0.7813 1 0.6836 0.8268 -1 1 2 1 0.7579 0.5079 0 0.254 1 1 0 1.397 0.5079 0.4434 0.6659 2.622 2 0.743 2.043 1 1 0 0 0.3053 0 0 0.4466 json
t12_x1_u0_b39 12 1 0 39 sqt(div(P,lrg(P,D))) 20074 97487652 o1(o2(x,o2(x,x))) true 160599 160599 -0.125 0.4375 1 0.9844 0.9922 -1 1 2 1 0.9887 0.01587 0 0.007937 1 1 0 0.03175 0.01587 0.01581 0.1257 15.84 2 0.01612 0.03225 1 1 0 0 0.02105 0 0 0.02139 json
t12_x1_u0_b40 12 1 0 40 sqt(div(P,eql(P,D))) 20075 97487653 o1(o2(x,o2(x,x))) true 160607 160607 -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_x1_u0_b41 12 1 0 41 sqt(div(P,min(P,D))) 20076 97487654 o1(o2(x,o2(x,x))) true 160615 160615 -0.03125 0.5 0.9688 0.9603 0.98 -1 1 2 1 1.406 0.004323 0 0.007937 1 1 3.784e-9 0.007903 0.008812 0.004259 0.06526 8.223 1 0.004502 0.008229 1 1 0 0 0.006228 0 0 0.006485 json
t12_x1_u0_b42 12 1 0 42 sqt(div(P,dot(P,D))) 20077 97487655 o1(o2(x,o2(x,x))) true 160623 160623 -0.9863 0.009705 0.9943 0.02075 0.144 -1 1 2 1 0.108 0.005247 0.01644 0.01311 -0.5161 1 -1.689e-10 0.06782 0.02647 0.02151 0.1467 11.18 2.828 1.045 3.269 1 1 0 0 0.0265 0 0 1.277 json
t12_x1_u0_b43 12 1 0 43 sqt(div(P,dst(P,D))) 20078 97487656 o1(o2(x,o2(x,x))) true 160631 160631 -0.1213 0.5 0.8787 0.8027 0.896 -1 1 2 1 2.659 0.0041 0.00001507 0.008904 0.9927 1 0.00000922 0.007919 0.009115 0.004035 0.06352 7.134 1 0.005127 0.009865 1 1 0 0 0.005727 0 0 0.007135 json
t12_x1_u0_b44 12 1 0 44 sqt(pow(P,add(P,D))) 20079 97487657 o1(o2(x,o2(x,x))) true 160639 160639 -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 0 0.006228 0 0 0.006485 json
t12_x1_u0_b45 12 1 0 45 sqt(pow(P,sub(P,D))) 20080 97487658 o1(o2(x,o2(x,x))) true 160647 160647 -0.125 0.4375 1 0.9844 0.9922 -1 1 2 1 0.9887 0.01587 0 0.007937 1 1 0 0.03175 0.01587 0.01581 0.1257 15.84 2 0.01612 0.03225 1 1 0 0 0.02105 0 0 0.02139 json
t12_x1_u0_b46 12 1 0 46 sqt(pow(P,mlt(P,D))) 20081 97487659 o1(o2(x,o2(x,x))) true 160655 160655 -0.01807 0.5 0.9819 0.9665 0.9831 -1 1 2 1 1.548 0.01672 0 0.01711 1 1 -9.461e-10 0.033 0.02609 0.01644 0.1282 7.492 2 0.0173 0.03414 1 1 0 0 0.02232 0 0 0.02309 json
t12_x1_u0_b47 12 1 0 47 sqt(pow(P,div(P,D))) 20082 97487660 o1(o2(x,o2(x,x))) true 160663 160663 -0.1094 0.4844 0.9219 0.8954 0.9463 -1 1 2 1 1.731 0.114 0 0.0873 1 1 -2.838e-9 0.2715 0.1382 0.1064 0.3262 3.737 2 0.1273 0.3032 1 1 0 0 0.0837 0 0 0.09347 json
t12_x1_u0_b48 12 1 0 48 sqt(pow(P,pow(P,D))) 20083 97487661 o1(o2(x,o2(x,x))) true 160671 160671 0 0.5 1 1 1 -1 1 2 1 1 0.01587 0 0.007937 1 1 0 0.03175 0.01587 0.01581 0.1257 15.84 2 0.01587 0.03175 1 1 0 0 0.02105 0 0 0.02105 json
t12_x1_u0_b49 12 1 0 49 sqt(pow(P,mod(P,D))) 20084 97487662 o1(o2(x,o2(x,x))) true 160679 160679 0.007813 0.5039 1 0.9999 0.9999 -1 1 2 1 1 0.04762 0 0.02381 1 1 0 0.127 0.04762 0.04704 0.2169 9.109 2 0.04762 0.127 1 1 0 0 0.04211 0 0 0.04211 json
t12_x1_u0_b50 12 1 0 50 sqt(pow(P,lrg(P,D))) 20085 97487663 o1(o2(x,o2(x,x))) true 160687 160687 0.9688 1 0.9688 0.02351 0.1533 0.000291 1 0.9997 1 0.459 0.004319 0 0.007934 1 1 0 0.008002 0.008862 0.004255 0.06523 8.221 0.9997 0.1837 0.3404 1 1 0 0 0.00615 0 0 0.2616 json
t12_x1_u0_b51 12 1 0 51 sqt(pow(P,eql(P,D))) 20086 97487664 o1(o2(x,o2(x,x))) true 160695 160695 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_x1_u0_b52 12 1 0 52 sqt(pow(P,min(P,D))) 20087 97487665 o1(o2(x,o2(x,x))) true 160703 160703 -0.01333 0.5 0.9867 0.974 0.9869 -1 1 2 1 1.393 0.01601 0 0.01294 1 1 0.0001011 0.03182 0.01965 0.01585 0.1259 9.728 2 0.01644 0.03267 1 1 0 0 0.02127 0 0 0.02183 json
t12_x1_u0_b53 12 1 0 53 sqt(pow(P,dot(P,D))) 20088 97487666 o1(o2(x,o2(x,x))) true 160711 160711 -0.139 0.4375 0.986 0.9558 0.9776 -1 1 2 1 1.437 0.0165 0.0003573 0.01601 0.9576 1 -0.00008763 0.03343 0.02439 0.0166 0.1288 8.048 2 0.01764 0.03497 1 1 0 0 0.02268 0 0 0.02373 json
t12_x1_u0_b54 12 1 0 54 sqt(pow(P,dst(P,D))) 20089 97487667 o1(o2(x,o2(x,x))) true 160719 160719 -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 0 0.006228 0 0 0.006485 json
t12_x1_u0_b55 12 1 0 55 sqt(mod(P,add(P,D))) 20090 97487668 o1(o2(x,o2(x,x))) true 160727 160727 -0.127 0.4961 0.8652 0.8063 0.898 -1 1 2 1 2.363 0.02629 0 0.05227 1 1 -0.0005532 0.05361 0.067 0.02355 0.1535 2.936 1 0.03261 0.06649 1 1 0 0 0.02704 0 0 0.03354 json
t12_x1_u0_b56 12 1 0 56 sqt(mod(P,sub(P,D))) 20091 97487669 o1(o2(x,o2(x,x))) true 160735 160735 -0.1079 0.5 0.892 0.843 0.9182 -1 1 2 1 2.231 0.02664 0 0.05443 1 1 2.365e-9 0.05364 0.06668 0.02367 0.1539 2.827 1 0.0316 0.06363 1 1 0 0 0.02838 0 0 0.03367 json
t12_x1_u0_b57 12 1 0 57 sqt(mod(P,mlt(P,D))) 20092 97487670 o1(o2(x,o2(x,x))) true 160743 160743 -0.2631 0.4219 0.8619 0.7357 0.8578 -1 1 2 1 2.438 0.01545 0 0.04915 1 1 -0.00003709 0.02595 0.07471 0.01304 0.1142 2.323 1 0.021 0.03526 1 1 0 0 0.0211 0 0 0.02868 json
t12_x1_u0_b58 12 1 0 58 sqt(mod(P,div(P,D))) 20093 97487671 o1(o2(x,o2(x,x))) true 160751 160751 -0.125 0.4375 1 0.9844 0.9922 -1 1 2 1 0.9887 0.01587 0 0.007937 1 1 0 0.03175 0.01587 0.01581 0.1257 15.84 2 0.01612 0.03225 1 1 0 0 0.02105 0 0 0.02139 json
t12_x1_u0_b59 12 1 0 59 sqt(mod(P,pow(P,D))) 20094 97487672 o1(o2(x,o2(x,x))) true 160759 160759 -0.2877 0.4375 0.8373 0.6808 0.8251 -1 1 2 1 2.611 0.0422 0 0.1054 1 1 0.002034 0.1264 0.1784 0.03109 0.1763 1.673 1 0.06198 0.1857 1 1 0 0 0.02327 0 0 0.03418 json
t12_x1_u0_b60 12 1 0 60 sqt(mod(P,mod(P,D))) 20095 97487673 o1(o2(x,o2(x,x))) true 160767 160767 -0.5161 0.3359 0.6558 0.3425 0.5852 -1 0.5332 1.533 1 2.01 0.177 0 0.208 1 1 -0.00395 0.4933 0.3971 0.1337 0.3657 1.758 1.357 0.5167 1.44 1 1 0 0 0.1068 0 0 0.3119 json
t12_x1_u0_b61 12 1 0 61 sqt(mod(P,lrg(P,D))) 20096 97487674 o1(o2(x,o2(x,x))) true 160775 160775 -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 0 0.005263 0 0 0.02139 json
t12_x1_u0_b62 12 1 0 62 sqt(mod(P,eql(P,D))) 20097 97487675 o1(o2(x,o2(x,x))) true 160783 160783 -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_x1_u0_b63 12 1 0 63 sqt(mod(P,min(P,D))) 20098 97487676 o1(o2(x,o2(x,x))) true 160791 160791 -0.2308 0.418 0.5193 0.3822 0.6182 -1 0.6206 1.621 1 2.607 0.02961 0 0.06883 1 1 -0.00002027 0.06029 0.1178 0.02488 0.1577 2.291 1 0.07747 0.1578 1 1 0 0 0.03561 0 0 0.09318 json
t12_x1_u0_b64 12 1 0 64 sqt(mod(P,dot(P,D))) 20099 97487677 o1(o2(x,o2(x,x))) true 160799 160799 -0.1835 0.4818 0.8512 0.7623 0.8731 -1 1 2 1 2.641 0.07425 0.07035 0.1649 0.02694 1 -0.0007235 0.7383 0.347 0.1174 0.3427 2.078 2.828 0.1897 0.9686 1 1 0 0 0.09333 0 0 0.1224 json