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_x18_u6_b40 12 18 6 40 nrm(div(R,eql(P,P))) 35200 98175676 o1(o2(x,o2(x,x))) true 111447 111447 -0.004333 0.4894 0.3952 0.209 0.4572 -0.9488 0.9534 1.902 1 4.783 0.002736 0.002944 0.06188 -0.03652 1 -0.000006012 0.0003349 0.01431 0.001851 0.04303 0.6953 0.2114 0.02718 0.001602 1 1 0.01108 0.1426 0.3701 0.05303 0.6821 1.771 json
t12_x18_u6_b41 12 18 6 41 nrm(div(R,min(P,P))) 35201 98175677 o1(o2(x,o2(x,x))) true 111455 111455 -0.125 0 0.125 0.1094 0.3307 -1 0 1 1 0.5436 0.007937 0 0.007937 1 1 0 0.01587 0.01587 0.007872 0.08872 11.18 1 0.07256 0.1451 1 1 0.01053 0.04211 0.1684 0.09624 0.385 1.54 json
t12_x18_u6_b42 12 18 6 42 nrm(div(R,dot(P,P))) 35202 98175678 o1(o2(x,o2(x,x))) true 111463 111463 -0.02334 0.4786 0.4045 0.2206 0.4697 -1 0.9534 1.953 1 4.82 0.004007 0.004871 0.06296 -0.09725 1 -0.000006012 0.007333 0.01875 0.004914 0.0701 1.113 2.032 0.04025 0.03324 1 1 0.01647 0.1576 0.42 0.07467 0.7143 1.904 json
t12_x18_u6_b43 12 18 6 43 nrm(div(R,dst(P,P))) 35203 98175679 o1(o2(x,o2(x,x))) true 111471 111471 -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_x18_u6_b44 12 18 6 44 nrm(pow(R,add(P,P))) 35204 98175680 o1(o2(x,o2(x,x))) true 111479 111479 -0.983 0.01172 0.9936 0.02499 0.1581 -1 0.7071 1.707 1 0.1319 0.003296 0.001851 0.003841 0.2806 1 -8.635e-11 0.01074 0.007147 0.005127 0.0716 18.64 1.712 0.206 0.4297 1 1 0.009081 0.0369 0.0912 0.3634 1.477 3.65 json
t12_x18_u6_b45 12 18 6 45 nrm(pow(R,sub(P,P))) 35205 98175681 o1(o2(x,o2(x,x))) true 111487 111487 0.5777 1 0.5777 1.421e-7 0.000377 0.5774 0.5774 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 json
t12_x18_u6_b46 12 18 6 46 nrm(pow(R,mlt(P,P))) 35206 98175682 o1(o2(x,o2(x,x))) true 111495 111495 -0.9833 0.0116 0.9933 0.02448 0.1565 -1 0.7071 1.707 1 0.128 0.003204 0.001754 0.00362 0.2925 1 -6.382e-11 0.01035 0.006963 0.004942 0.0703 19.42 1.93 0.2026 0.4227 1 1 0.008732 0.03529 0.08943 0.3567 1.442 3.653 json
t12_x18_u6_b47 12 18 6 47 nrm(pow(R,div(P,P))) 35207 98175683 o1(o2(x,o2(x,x))) true 111503 111503 -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_x18_u6_b48 12 18 6 48 nrm(pow(R,pow(P,P))) 35208 98175684 o1(o2(x,o2(x,x))) true 111511 111511 -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_x18_u6_b49 12 18 6 49 nrm(pow(R,mod(P,P))) 35209 98175685 o1(o2(x,o2(x,x))) true 111519 111519 -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_x18_u6_b50 12 18 6 50 nrm(pow(R,lrg(P,P))) 35210 98175686 o1(o2(x,o2(x,x))) true 111527 111527 0.5777 1 0.5777 1.421e-7 0.000377 0.5774 0.5774 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 json
t12_x18_u6_b51 12 18 6 51 nrm(pow(R,eql(P,P))) 35211 98175687 o1(o2(x,o2(x,x))) true 111535 111535 -0.004333 0.4894 0.3952 0.209 0.4572 -0.9488 0.9534 1.902 1 4.783 0.002736 0.002944 0.06188 -0.03652 1 -0.000006012 0.0003349 0.01431 0.001851 0.04303 0.6953 0.2114 0.02718 0.001602 1 1 0.01108 0.1426 0.3701 0.05303 0.6821 1.771 json
t12_x18_u6_b52 12 18 6 52 nrm(pow(R,min(P,P))) 35212 98175688 o1(o2(x,o2(x,x))) true 111543 111543 -0.9821 0.01172 0.9944 0.02728 0.1652 -1 0.707 1.707 1 0.1288 0.003576 0.002117 0.003961 0.2562 1 1.502e-11 0.0119 0.007559 0.005682 0.07538 19.03 2.01 0.2087 0.4365 1 1 0.01003 0.04049 0.09941 0.3677 1.485 3.644 json
t12_x18_u6_b53 12 18 6 53 nrm(pow(R,dot(P,P))) 35213 98175689 o1(o2(x,o2(x,x))) true 111551 111551 -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_x18_u6_b54 12 18 6 54 nrm(pow(R,dst(P,P))) 35214 98175690 o1(o2(x,o2(x,x))) true 111559 111559 0.5777 1 0.5777 1.421e-7 0.000377 0.5774 0.5774 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 json
t12_x18_u6_b55 12 18 6 55 nrm(mod(R,add(P,P))) 35215 98175691 o1(o2(x,o2(x,x))) true 111567 111567 -0.2601 0.3525 0.5395 0.3299 0.5744 -1 0.9534 1.953 1 4.451 0.01338 0.01365 0.063 -0.00984 1 0.00001713 0.04636 0.04383 0.02307 0.1519 2.411 2.033 0.08195 0.1405 1 1 0.03382 0.1893 0.5291 0.1025 0.5738 1.604 json
t12_x18_u6_b56 12 18 6 56 nrm(mod(R,sub(P,P))) 35216 98175692 o1(o2(x,o2(x,x))) true 111575 111575 -0.004333 0.4894 0.3952 0.209 0.4572 -0.9488 0.9534 1.902 1 4.783 0.002736 0.002944 0.06188 -0.03652 1 -0.000006012 0.0003349 0.01431 0.001851 0.04303 0.6953 0.2114 0.02718 0.001602 1 1 0.01108 0.1426 0.3701 0.05303 0.6821 1.771 json
t12_x18_u6_b57 12 18 6 57 nrm(mod(R,mlt(P,P))) 35217 98175693 o1(o2(x,o2(x,x))) true 111583 111583 -0.2601 0.3525 0.5395 0.3299 0.5744 -1 0.9534 1.953 1 4.451 0.01338 0.01365 0.063 -0.00984 1 0.00001713 0.04636 0.04383 0.02307 0.1519 2.411 2.033 0.08195 0.1405 1 1 0.03382 0.1893 0.5291 0.1025 0.5738 1.604 json
t12_x18_u6_b58 12 18 6 58 nrm(mod(R,div(P,P))) 35218 98175694 o1(o2(x,o2(x,x))) true 111591 111591 -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_x18_u6_b59 12 18 6 59 nrm(mod(R,pow(P,P))) 35219 98175695 o1(o2(x,o2(x,x))) true 111599 111599 -0.7422 0.1263 0.8457 0.2498 0.4998 -1 0.9369 1.937 1 2.003 0.003044 0.003801 0.0203 -0.1107 1 -0.0000223 0.01091 0.01197 0.006436 0.08022 3.952 1.761 0.0274 0.04366 1 1 0.009358 0.06279 0.2008 0.03746 0.2514 0.8038 json
t12_x18_u6_b60 12 18 6 60 nrm(mod(R,mod(P,P))) 35220 98175696 o1(o2(x,o2(x,x))) true 111607 111607 -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_x18_u6_b61 12 18 6 61 nrm(mod(R,lrg(P,P))) 35221 98175697 o1(o2(x,o2(x,x))) true 111615 111615 -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_x18_u6_b62 12 18 6 62 nrm(mod(R,eql(P,P))) 35222 98175698 o1(o2(x,o2(x,x))) true 111623 111623 -0.004333 0.4894 0.3952 0.209 0.4572 -0.9488 0.9534 1.902 1 4.783 0.002736 0.002944 0.06188 -0.03652 1 -0.000006012 0.0003349 0.01431 0.001851 0.04303 0.6953 0.2114 0.02718 0.001602 1 1 0.01108 0.1426 0.3701 0.05303 0.6821 1.771 json
t12_x18_u6_b63 12 18 6 63 nrm(mod(R,min(P,P))) 35223 98175699 o1(o2(x,o2(x,x))) true 111631 111631 -0.2601 0.3525 0.5395 0.3299 0.5744 -1 0.9534 1.953 1 4.451 0.01338 0.01365 0.063 -0.00984 1 0.00001713 0.04636 0.04383 0.02307 0.1519 2.411 2.033 0.08195 0.1405 1 1 0.03382 0.1893 0.5291 0.1025 0.5738 1.604 json
t12_x18_u6_b64 12 18 6 64 nrm(mod(R,dot(P,P))) 35224 98175700 o1(o2(x,o2(x,x))) true 111639 111639 -0.02334 0.4786 0.4045 0.2206 0.4697 -1 0.9534 1.953 1 4.82 0.004007 0.004871 0.06296 -0.09725 1 -0.000006012 0.007333 0.01875 0.004914 0.0701 1.113 2.032 0.04025 0.03324 1 1 0.01647 0.1576 0.42 0.07467 0.7143 1.904 json
t12_x18_u6_b65 12 18 6 65 nrm(mod(R,dst(P,P))) 35225 98175701 o1(o2(x,o2(x,x))) true 111647 111647 -0.004333 0.4894 0.3952 0.209 0.4572 -0.9488 0.9534 1.902 1 4.783 0.002736 0.002944 0.06188 -0.03652 1 -0.000006012 0.0003349 0.01431 0.001851 0.04303 0.6953 0.2114 0.02718 0.001602 1 1 0.01108 0.1426 0.3701 0.05303 0.6821 1.771 json
t12_x18_u6_b66 12 18 6 66 nrm(lrg(R,add(P,P))) 35226 98175702 o1(o2(x,o2(x,x))) true 111655 111655 0.09335 0.4992 0.609 0.5131 0.7163 -1 1 2 1 2.866 0.008691 0.005407 0.01674 0.2329 1 0.000001229 0.02855 0.02147 0.01382 0.1176 7.022 2 0.02747 0.05563 1 1 0.01669 0.07358 0.2811 0.03253 0.1434 0.5478 json
t12_x18_u6_b67 12 18 6 67 nrm(lrg(R,sub(P,P))) 35227 98175703 o1(o2(x,o2(x,x))) true 111663 111663 -0.1387 0.5857 0.6426 0.5317 0.7292 -1 0.9999 2 1 3.239 0.02739 0.0331 0.06437 -0.09431 1 -0.00001399 0.1213 0.08405 0.05635 0.2374 3.688 2.828 0.1138 0.2281 1 1 0.05291 0.2479 0.8352 0.0995 0.4663 1.571 json
t12_x18_u6_b68 12 18 6 68 nrm(lrg(R,mlt(P,P))) 35228 98175704 o1(o2(x,o2(x,x))) true 111671 111671 -0.9142 0.01151 0.9217 0.08428 0.2903 -1 0.9994 1.999 1 0.4764 0.005578 0.01025 0.01522 -0.2949 1 -0.000002852 0.03297 0.02967 0.0156 0.1249 8.207 1.999 0.1878 0.3912 1 1 0.01574 0.06666 0.159 0.1868 0.7909 1.886 json
t12_x18_u6_b69 12 18 6 69 nrm(lrg(R,div(P,P))) 35229 98175705 o1(o2(x,o2(x,x))) true 111679 111679 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.000901 0.01172 0.03212 0.04083 0.5313 1.456 json
t12_x18_u6_b70 12 18 6 70 nrm(lrg(R,pow(P,P))) 35230 98175706 o1(o2(x,o2(x,x))) true 111687 111687 0.07069 0.4648 0.7035 0.6513 0.807 -1 1 2 1 2.201 0.008882 0.002477 0.008477 0.5639 1 1.089e-8 0.02264 0.01392 0.01128 0.1062 12.53 2 0.01744 0.03476 1 1 0.01575 0.06508 0.2668 0.02419 0.09992 0.4096 json
t12_x18_u6_b71 12 18 6 71 nrm(lrg(R,mod(P,P))) 35231 98175707 o1(o2(x,o2(x,x))) true 111695 111695 0.3341 0.8484 0.3341 0.07424 0.2725 0 0.7071 0.7071 1 3.121 0.0008164 0.0005667 0.02605 0.1805 1 -0.0000122 0.00007787 0.006212 0.0007043 0.02654 1.019 0.08267 0.01863 0.001049 1 1 0.003144 0.04041 0.1156 0.04235 0.5443 1.557 json
t12_x18_u6_b72 12 18 6 72 nrm(lrg(R,lrg(P,P))) 35232 98175708 o1(o2(x,o2(x,x))) true 111703 111703 -0.1387 0.5857 0.6426 0.5317 0.7292 -1 0.9999 2 1 3.239 0.02739 0.0331 0.06437 -0.09431 1 -0.00001399 0.1213 0.08405 0.05635 0.2374 3.688 2.828 0.1138 0.2281 1 1 0.05291 0.2479 0.8352 0.0995 0.4663 1.571 json
t12_x18_u6_b73 12 18 6 73 nrm(lrg(R,eql(P,P))) 35233 98175709 o1(o2(x,o2(x,x))) true 111711 111711 -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_x18_u6_b74 12 18 6 74 nrm(lrg(R,min(P,P))) 35234 98175710 o1(o2(x,o2(x,x))) true 111719 111719 0.09335 0.4992 0.609 0.5131 0.7163 -1 1 2 1 2.866 0.008691 0.005407 0.01674 0.2329 1 0.000001229 0.02855 0.02147 0.01382 0.1176 7.022 2 0.02747 0.05563 1 1 0.01669 0.07358 0.2811 0.03253 0.1434 0.5478 json
t12_x18_u6_b75 12 18 6 75 nrm(lrg(R,dot(P,P))) 35235 98175711 o1(o2(x,o2(x,x))) true 111727 111727 -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_x18_u6_b76 12 18 6 76 nrm(lrg(R,dst(P,P))) 35236 98175712 o1(o2(x,o2(x,x))) true 111735 111735 -0.1387 0.5857 0.6426 0.5317 0.7292 -1 0.9999 2 1 3.239 0.02739 0.0331 0.06437 -0.09431 1 -0.00001399 0.1213 0.08405 0.05635 0.2374 3.688 2.828 0.1138 0.2281 1 1 0.05291 0.2479 0.8352 0.0995 0.4663 1.571 json
t12_x18_u6_b77 12 18 6 77 nrm(eql(R,add(P,P))) 35237 98175713 o1(o2(x,o2(x,x))) true 111743 111743 -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_x18_u6_b78 12 18 6 78 nrm(eql(R,sub(P,P))) 35238 98175714 o1(o2(x,o2(x,x))) true 111751 111751 -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_x18_u6_b79 12 18 6 79 nrm(eql(R,mlt(P,P))) 35239 98175715 o1(o2(x,o2(x,x))) true 111759 111759 -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_x18_u6_b80 12 18 6 80 nrm(eql(R,div(P,P))) 35240 98175716 o1(o2(x,o2(x,x))) true 111767 111767 -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_x18_u6_b81 12 18 6 81 nrm(eql(R,pow(P,P))) 35241 98175717 o1(o2(x,o2(x,x))) true 111775 111775 -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_x18_u6_b82 12 18 6 82 nrm(eql(R,mod(P,P))) 35242 98175718 o1(o2(x,o2(x,x))) true 111783 111783 -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_x18_u6_b83 12 18 6 83 nrm(eql(R,lrg(P,P))) 35243 98175719 o1(o2(x,o2(x,x))) true 111791 111791 -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_x18_u6_b84 12 18 6 84 nrm(eql(R,eql(P,P))) 35244 98175720 o1(o2(x,o2(x,x))) true 111799 111799 -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_x18_u6_b85 12 18 6 85 nrm(eql(R,min(P,P))) 35245 98175721 o1(o2(x,o2(x,x))) true 111807 111807 -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_x18_u6_b86 12 18 6 86 nrm(eql(R,dot(P,P))) 35246 98175722 o1(o2(x,o2(x,x))) true 111815 111815 -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_x18_u6_b87 12 18 6 87 nrm(eql(R,dst(P,P))) 35247 98175723 o1(o2(x,o2(x,x))) true 111823 111823 -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_x18_u6_b88 12 18 6 88 nrm(min(R,add(P,P))) 35248 98175724 o1(o2(x,o2(x,x))) true 111831 111831 -0.3917 0.2196 0.5253 0.2674 0.5171 -1 0.9996 2 1 4.158 0.001327 0.0008667 0.0256 0.2097 1 -0.00002342 0.0001325 0.005912 0.001538 0.03921 1.532 0.2319 0.008202 0.0004955 1 1 0.00427 0.05597 0.2021 0.01597 0.2093 0.7558 json
t12_x18_u6_b89 12 18 6 89 nrm(min(R,sub(P,P))) 35249 98175725 o1(o2(x,o2(x,x))) true 111839 111839 -0.6028 0 0.6028 0.1561 0.3951 -1 0 1 1 3.222 0.008359 0.007644 0.04435 0.04471 1 -0.000006892 0.0293 0.0404 0.01403 0.1185 2.671 1.414 0.1025 0.1876 1 1 0.01784 0.1028 0.2788 0.1142 0.6584 1.786 json
t12_x18_u6_b90 12 18 6 90 nrm(min(R,mlt(P,P))) 35250 98175726 o1(o2(x,o2(x,x))) true 111847 111847 -0.0291 0.4695 0.4361 0.2562 0.5061 -0.9999 0.9994 1.999 1 4.911 0.003375 0.003714 0.0684 -0.0479 1 -0.00001479 0.0004181 0.01586 0.002411 0.0491 0.7179 0.2319 0.02767 0.001632 1 1 0.01401 0.1802 0.4622 0.0547 0.7033 1.804 json
t12_x18_u6_b91 12 18 6 91 nrm(min(R,div(P,P))) 35251 98175727 o1(o2(x,o2(x,x))) true 111855 111855 -0.004333 0.4894 0.3952 0.209 0.4572 -0.9488 0.9534 1.902 1 4.783 0.002736 0.002944 0.06188 -0.03652 1 -0.000006012 0.0003349 0.01431 0.001851 0.04303 0.6953 0.2114 0.02718 0.001602 1 1 0.01108 0.1426 0.3701 0.05303 0.6821 1.771 json
t12_x18_u6_b92 12 18 6 92 nrm(min(R,pow(P,P))) 35252 98175728 o1(o2(x,o2(x,x))) true 111863 111863 -0.004333 0.4894 0.3952 0.209 0.4572 -0.9488 0.9534 1.902 1 4.783 0.002736 0.002944 0.06188 -0.03652 1 -0.000006012 0.0003349 0.01431 0.001851 0.04303 0.6953 0.2114 0.02718 0.001602 1 1 0.01108 0.1426 0.3701 0.05303 0.6821 1.771 json
t12_x18_u6_b93 12 18 6 93 nrm(min(R,mod(P,P))) 35253 98175729 o1(o2(x,o2(x,x))) true 111871 111871 -0.3374 0.1328 0.4192 0.1712 0.4137 -0.999 0.9879 1.987 1 4.373 0.001945 0.001297 0.0436 0.2 1 -0.000007863 0.0001818 0.009917 0.001341 0.03662 0.8399 0.2081 0.01894 0.001062 1 1 0.006688 0.08636 0.2407 0.03907 0.5045 1.406 json
t12_x18_u6_b94 12 18 6 94 nrm(min(R,lrg(P,P))) 35254 98175730 o1(o2(x,o2(x,x))) true 111879 111879 -0.6028 0 0.6028 0.1561 0.3951 -1 0 1 1 3.222 0.008359 0.007644 0.04435 0.04471 1 -0.000006892 0.0293 0.0404 0.01403 0.1185 2.671 1.414 0.1025 0.1876 1 1 0.01784 0.1028 0.2788 0.1142 0.6584 1.786 json
t12_x18_u6_b95 12 18 6 95 nrm(min(R,eql(P,P))) 35255 98175731 o1(o2(x,o2(x,x))) true 111887 111887 -0.004333 0.4894 0.3952 0.209 0.4572 -0.9488 0.9534 1.902 1 4.783 0.002736 0.002944 0.06188 -0.03652 1 -0.000006012 0.0003349 0.01431 0.001851 0.04303 0.6953 0.2114 0.02718 0.001602 1 1 0.01108 0.1426 0.3701 0.05303 0.6821 1.771 json
t12_x18_u6_b96 12 18 6 96 nrm(min(R,min(P,P))) 35256 98175732 o1(o2(x,o2(x,x))) true 111895 111895 -0.3882 0.2202 0.5338 0.2646 0.5144 -1 0.9995 2 1 4.319 0.001365 0.000966 0.02807 0.1712 1 -0.00002372 0.0001409 0.006487 0.001543 0.03928 1.399 0.2319 0.008809 0.0005324 1 1 0.004661 0.06103 0.2092 0.01761 0.2306 0.7904 json
t12_x18_u6_b97 12 18 6 97 nrm(min(R,dot(P,P))) 35257 98175733 o1(o2(x,o2(x,x))) true 111903 111903 -0.007053 0.4859 0.394 0.208 0.4561 -0.9488 0.9534 1.902 1 4.782 0.002706 0.002941 0.06171 -0.04148 1 -0.000006011 0.0003316 0.01426 0.001839 0.04288 0.6948 0.2114 0.02714 0.001594 1 1 0.01097 0.1411 0.3632 0.05273 0.678 1.746 json
t12_x18_u6_b98 12 18 6 98 nrm(min(R,dst(P,P))) 35258 98175734 o1(o2(x,o2(x,x))) true 111911 111911 -0.6028 0 0.6028 0.1561 0.3951 -1 0 1 1 3.222 0.008359 0.007644 0.04435 0.04471 1 -0.000006892 0.0293 0.0404 0.01403 0.1185 2.671 1.414 0.1025 0.1876 1 1 0.01784 0.1028 0.2788 0.1142 0.6584 1.786 json
t12_x18_u6_b99 12 18 6 99 nrm(dot(R,add(P,P))) 35259 98175735 o1(o2(x,o2(x,x))) true 111919 111919 -0.06073 0.4514 0.4296 0.2175 0.4663 -1 0.5774 1.577 1 3.923 0.003737 0.00504 0.05998 -0.1484 1 -0.00005928 0.006626 0.01855 0.00518 0.07197 1.2 2.23 0.04036 0.03047 1 1 0.01663 0.166 0.4745 0.07648 0.7635 2.182 json
t12_x18_u6_b100 12 18 6 100 nrm(dot(R,sub(P,P))) 35260 98175736 o1(o2(x,o2(x,x))) true 111927 111927 -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_x18_u6_b101 12 18 6 101 nrm(dot(R,mlt(P,P))) 35261 98175737 o1(o2(x,o2(x,x))) true 111935 111935 0.002416 0.51 0.4206 0.2147 0.4634 -1 0.5774 1.577 1 4.005 0.003876 0.005044 0.06168 -0.131 1 0.00001317 0.006799 0.01911 0.005114 0.07152 1.159 2.23 0.04154 0.03167 1 1 0.01671 0.1663 0.4572 0.07784 0.7745 2.13 json
t12_x18_u6_b102 12 18 6 102 nrm(dot(R,div(P,P))) 35262 98175738 o1(o2(x,o2(x,x))) true 111943 111943 -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_x18_u6_b103 12 18 6 103 nrm(dot(R,pow(P,P))) 35263 98175739 o1(o2(x,o2(x,x))) true 111951 111951 -0.7489 0.1271 0.8555 0.2418 0.4918 -1 0.5774 1.577 1 1.781 0.003461 0.003749 0.01844 -0.03994 1 -0.0000181 0.01188 0.01219 0.006868 0.08288 4.494 1.577 0.02981 0.04911 1 1 0.01122 0.06714 0.2236 0.04641 0.2776 0.9248 json
t12_x18_u6_b104 12 18 6 104 nrm(dot(R,mod(P,P))) 35264 98175740 o1(o2(x,o2(x,x))) true 111959 111959 -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_x18_u6_b105 12 18 6 105 nrm(dot(R,lrg(P,P))) 35265 98175741 o1(o2(x,o2(x,x))) true 111967 111967 -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_x18_u6_b106 12 18 6 106 nrm(dot(R,eql(P,P))) 35266 98175742 o1(o2(x,o2(x,x))) true 111975 111975 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_x18_u6_b107 12 18 6 107 nrm(dot(R,min(P,P))) 35267 98175743 o1(o2(x,o2(x,x))) true 111983 111983 -0.06073 0.4514 0.4296 0.2175 0.4663 -1 0.5774 1.577 1 3.923 0.003737 0.00504 0.05998 -0.1484 1 -0.00005928 0.006626 0.01855 0.00518 0.07197 1.2 2.23 0.04036 0.03047 1 1 0.01663 0.166 0.4745 0.07648 0.7635 2.182 json
t12_x18_u6_b108 12 18 6 108 nrm(dot(R,dot(P,P))) 35268 98175744 o1(o2(x,o2(x,x))) true 111991 111991 -0.01111 0.4956 0.4226 0.2155 0.4643 -1 0.5774 1.577 1 4.004 0.004854 0.004764 0.06248 0.009391 1 0.00001565 0.008102 0.01971 0.005714 0.07559 1.21 2.23 0.04462 0.03759 1 1 0.01773 0.1678 0.4656 0.08225 0.7787 2.16 json
t12_x18_u6_b109 12 18 6 109 nrm(dot(R,dst(P,P))) 35269 98175745 o1(o2(x,o2(x,x))) true 111999 111999 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_x18_u6_b110 12 18 6 110 nrm(dst(R,add(P,P))) 35270 98175746 o1(o2(x,o2(x,x))) true 112007 112007 0.5777 1 0.5777 1.421e-7 0.000377 0.5774 0.5774 1.192e-7 1 0 4.101e-17 3.25e-17 1.184e-9 0.000008504 0 -7.133e-11 3.142e-16 1.318e-9 7.205e-17 8.488e-9 7.167 8.429e-8 5.173e-10 2.211e-9 1 1 7.017e-17 2.674e-16 5.046e-16 4.938e-10 1.882e-9 3.551e-9 json
t12_x18_u6_b111 12 18 6 111 nrm(dst(R,sub(P,P))) 35271 98175747 o1(o2(x,o2(x,x))) true 112015 112015 0.5777 1 0.5777 1.421e-7 0.000377 0.5774 0.5774 1.192e-7 1 0 5.477e-17 4.011e-17 1.52e-9 0.00001466 0 -2.628e-10 4.189e-16 1.757e-9 9.254e-17 9.62e-9 6.327 8.429e-8 6.677e-10 2.948e-9 1 1 9.989e-17 3.782e-16 6.564e-16 7.03e-10 2.661e-9 4.619e-9 json
t12_x18_u6_b112 12 18 6 112 nrm(dst(R,mlt(P,P))) 35272 98175748 o1(o2(x,o2(x,x))) true 112023 112023 0.5777 1 0.5777 1.421e-7 0.0003769 0.5774 0.5774 1.192e-7 1 0 4.52e-17 3.636e-17 1.316e-9 0.000008839 0 -1.096e-9 3.616e-16 1.517e-9 7.984e-17 8.935e-9 6.791 8.429e-8 5.741e-10 2.545e-9 1 1 9.113e-17 3.463e-16 5.818e-16 6.414e-10 2.437e-9 4.095e-9 json
t12_x18_u6_b113 12 18 6 113 nrm(dst(R,div(P,P))) 35273 98175749 o1(o2(x,o2(x,x))) true 112031 112031 -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_x18_u6_b114 12 18 6 114 nrm(dst(R,pow(P,P))) 35274 98175750 o1(o2(x,o2(x,x))) true 112039 112039 -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 -2.271e-10 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_x18_u6_b115 12 18 6 115 nrm(dst(R,mod(P,P))) 35275 98175751 o1(o2(x,o2(x,x))) true 112047 112047 -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_x18_u6_b116 12 18 6 116 nrm(dst(R,lrg(P,P))) 35276 98175752 o1(o2(x,o2(x,x))) true 112055 112055 0.5777 1 0.5777 1.421e-7 0.000377 0.5774 0.5774 1.192e-7 1 0 5.477e-17 4.011e-17 1.52e-9 0.00001466 0 -2.628e-10 4.189e-16 1.757e-9 9.254e-17 9.62e-9 6.327 8.429e-8 6.677e-10 2.948e-9 1 1 9.989e-17 3.782e-16 6.564e-16 7.03e-10 2.661e-9 4.619e-9 json
t12_x18_u6_b117 12 18 6 117 nrm(dst(R,eql(P,P))) 35277 98175753 o1(o2(x,o2(x,x))) true 112063 112063 0.5777 1 0.5777 1.421e-7 0.000377 0.5774 0.5774 1.192e-7 1 0 3.111e-17 2.327e-17 8.766e-10 0.000007832 0 -5.444e-10 2.318e-16 9.724e-10 5.366e-17 7.325e-9 8.356 8.429e-8 3.827e-10 1.632e-9 1 1 4.478e-17 1.698e-16 2.72e-16 3.151e-10 1.195e-9 1.914e-9 json
t12_x18_u6_b118 12 18 6 118 nrm(dst(R,min(P,P))) 35278 98175754 o1(o2(x,o2(x,x))) true 112071 112071 0.5777 1 0.5777 1.421e-7 0.000377 0.5774 0.5774 1.192e-7 1 0 4.05e-17 2.747e-17 1.098e-9 0.00001304 0 -5.519e-10 2.766e-16 1.16e-9 6.684e-17 8.175e-9 7.445 8.429e-8 4.784e-10 1.947e-9 1 1 6.402e-17 2.39e-16 3.882e-16 4.505e-10 1.682e-9 2.732e-9 json
t12_x18_u6_b119 12 18 6 119 nrm(dst(R,dot(P,P))) 35279 98175755 o1(o2(x,o2(x,x))) true 112079 112079 0.5777 1 0.5777 1.421e-7 0.000377 0.5774 0.5774 1.192e-7 1 0 4.733e-17 3.368e-17 1.304e-9 0.00001365 0 -7.133e-11 3.428e-16 1.438e-9 7.934e-17 8.907e-9 6.833 8.429e-8 5.701e-10 2.413e-9 1 1 7.588e-17 2.879e-16 4.643e-16 5.34e-10 2.026e-9 3.268e-9 json
t12_x18_u6_b120 12 18 6 120 nrm(dst(R,dst(P,P))) 35280 98175756 o1(o2(x,o2(x,x))) true 112087 112087 0.5777 1 0.5777 1.421e-7 0.000377 0.5774 0.5774 1.192e-7 1 0 5.477e-17 4.011e-17 1.52e-9 0.00001466 0 -2.628e-10 4.189e-16 1.757e-9 9.254e-17 9.62e-9 6.327 8.429e-8 6.677e-10 2.948e-9 1 1 9.989e-17 3.782e-16 6.564e-16 7.03e-10 2.661e-9 4.619e-9 json
t12_x19_u0_b0 12 19 0 0 sqt(add(R,add(P,D))) 35281 98214831 o1(o2(x,o2(x,x))) true 112095 112095 -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_x19_u0_b1 12 19 0 1 sqt(add(R,sub(P,D))) 35282 98214832 o1(o2(x,o2(x,x))) true 112103 112103 -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_x19_u0_b2 12 19 0 2 sqt(add(R,mlt(P,D))) 35283 98214833 o1(o2(x,o2(x,x))) true 112111 112111 -0.968 0.01978 0.9924 0.05127 0.2264 -1 0.924 1.924 1 0.2079 0.03847 0.004633 0.02781 0.785 1 6.103e-7 0.1087 0.05374 0.04231 0.2057 7.397 2.707 0.8407 2.12 1 1 0.03365 0.05831 0.09221 0.6565 1.137 1.799 json
t12_x19_u0_b3 12 19 0 3 sqt(add(R,div(P,D))) 35284 98214834 o1(o2(x,o2(x,x))) true 112119 112119 -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_u0_b4 12 19 0 4 sqt(add(R,pow(P,D))) 35285 98214835 o1(o2(x,o2(x,x))) true 112127 112127 -0.4929 0.2688 0.9695 0.7069 0.8408 -1 1 2 1 1.452 0.1116 0.02891 0.08179 0.5884 1 0.00006072 0.302 0.1551 0.1338 0.3658 4.473 2.828 0.1987 0.4273 1 1 0.1278 0.4319 0.9182 0.1808 0.6109 1.299 json
t12_x19_u0_b5 12 19 0 5 sqt(add(R,mod(P,D))) 35286 98214836 o1(o2(x,o2(x,x))) true 112135 112135 -0.8862 0.06641 0.981 0.1843 0.4293 -1 1 2 1 0.5819 0.1347 0.0178 0.09004 0.7665 1 -0.000006282 0.4628 0.1795 0.1444 0.38 4.22 2.828 0.8273 2.511 1 1 0.09444 0.19 0.3594 0.5124 1.031 1.95 json
t12_x19_u0_b6 12 19 0 6 sqt(add(R,lrg(P,D))) 35287 98214837 o1(o2(x,o2(x,x))) true 112143 112143 -0.07149 0.5039 0.9207 0.8681 0.9317 -1 1 2 1 2.373 0.027 0.01834 0.03605 0.1908 1 -0.00001155 0.09359 0.0537 0.04403 0.2098 5.82 2.828 0.05223 0.1078 1 1 0.05596 0.2373 0.6693 0.06446 0.2734 0.771 json
t12_x19_u0_b7 12 19 0 7 sqt(add(R,eql(P,D))) 35288 98214838 o1(o2(x,o2(x,x))) true 112151 112151 -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_x19_u0_b8 12 19 0 8 sqt(add(R,min(P,D))) 35289 98214839 o1(o2(x,o2(x,x))) true 112159 112159 -0.9576 0.02515 0.9922 0.07042 0.2654 -1 0.9548 1.955 1 0.2511 0.02153 0.006182 0.01708 0.5538 1 0.0003729 0.06002 0.03245 0.0274 0.1655 9.694 2.742 0.3935 0.8523 1 1 0.02364 0.0786 0.1389 0.3357 1.116 1.973 json
t12_x19_u0_b9 12 19 0 9 sqt(add(R,dot(P,D))) 35290 98214840 o1(o2(x,o2(x,x))) true 112167 112167 -0.9927 0.00499 0.9973 0.01084 0.1041 -1 0.8945 1.894 1 0.06295 0.008371 0.009835 0.01176 -0.08039 1 0.00003835 0.06274 0.02488 0.01806 0.1344 11.43 2.526 1.68 5.788 1 1 0.01751 0.02424 0.02194 1.615 2.236 2.024 json
t12_x19_u0_b10 12 19 0 10 sqt(add(R,dst(P,D))) 35291 98214841 o1(o2(x,o2(x,x))) true 112175 112175 0.9923 0.9966 0.999 0.01378 0.1174 -1 1 2 1 0.08272 0.003259 0.003259 0.003454 -0.00004533 1 0 0.01909 0.006851 0.006501 0.08063 23.34 2.828 0.4731 1.386 1 1 0.01129 0.03524 0.05017 0.8195 2.558 3.642 json
t12_x19_u0_b11 12 19 0 11 sqt(sub(R,add(P,D))) 35292 98214842 o1(o2(x,o2(x,x))) true 112183 112183 -0.08153 0.4619 0.9946 0.984 0.992 -1 1 2 1 1.191 0.01235 0.004546 0.01054 0.4618 1 -0.0000038 0.03522 0.01894 0.01679 0.1296 12.29 2.623 0.01717 0.03579 1 1 0.02223 0.09748 0.3892 0.02259 0.09906 0.3956 json
t12_x19_u0_b12 12 19 0 12 sqt(sub(R,sub(P,D))) 35293 98214843 o1(o2(x,o2(x,x))) true 112191 112191 -0.1581 0.4233 0.9952 0.9665 0.9831 -1 1 2 1 1.131 0.03899 0.005321 0.02391 0.7599 1 -0.000001855 0.09468 0.04725 0.04374 0.2091 8.746 2.828 0.04585 0.09797 1 1 0.05764 0.1884 0.412 0.05964 0.1949 0.4263 json
t12_x19_u0_b13 12 19 0 13 sqt(sub(R,mlt(P,D))) 35294 98214844 o1(o2(x,o2(x,x))) true 112199 112199 -0.9083 0.05371 0.9843 0.1498 0.3871 -1 1 2 1 0.4832 0.05114 0.01486 0.04213 0.5496 1 6.142e-7 0.1565 0.08059 0.06421 0.2534 6.015 2.727 0.4405 1.045 1 1 0.06632 0.1902 0.3761 0.4426 1.27 2.51 json
t12_x19_u0_b14 12 19 0 14 sqt(sub(R,div(P,D))) 35295 98214845 o1(o2(x,o2(x,x))) true 112207 112207 -0.9403 0.03125 0.9972 0.1108 0.3329 -1 1 2 1 0.2622 0.008098 0.01091 0.01029 -0.1478 1 -9.011e-11 0.03947 0.01983 0.01891 0.1375 13.36 2.828 0.1715 0.3562 1 1 0.02663 0.107 0.3314 0.2403 0.9659 2.991 json
t12_x19_u0_b15 12 19 0 15 sqt(sub(R,pow(P,D))) 35296 98214846 o1(o2(x,o2(x,x))) true 112215 112215 -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_u0_b16 12 19 0 16 sqt(sub(R,mod(P,D))) 35297 98214847 o1(o2(x,o2(x,x))) true 112223 112223 -0.8446 0.09106 0.9732 0.2446 0.4946 -1 1 2 1 0.7599 0.1242 0.0191 0.08682 0.7335 1 0.0008288 0.4299 0.1728 0.1357 0.3684 4.243 2.828 0.5858 1.757 1 1 0.07742 0.1761 0.3563 0.3164 0.7196 1.456 json
t12_x19_u0_b17 12 19 0 17 sqt(sub(R,lrg(P,D))) 35298 98214848 o1(o2(x,o2(x,x))) true 112231 112231 -0.9466 0.03125 0.9909 0.08935 0.2989 -1 0.971 1.971 1 0.3019 0.01009 0.007921 0.01103 0.1203 1 0.000003919 0.03766 0.021 0.01789 0.1337 12.13 2.398 0.2016 0.4214 1 1 0.01818 0.07467 0.1761 0.2035 0.8357 1.971 json
t12_x19_u0_b18 12 19 0 18 sqt(sub(R,eql(P,D))) 35299 98214849 o1(o2(x,o2(x,x))) true 112239 112239 -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