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_x23_u4_b47 12 23 4 47 cil(pow(R,div(D,R))) 39200 98377286 o1(o2(x,o2(x,x))) true 143447 143447 -0.9141 0.04297 1 0.1645 0.4056 -1 1 2 1 0.2557 0.01688 0.01638 0.01652 0.01515 1 0 0.06954 0.03326 0.03297 0.1816 10.99 2.828 0.2022 0.4228 1 1 0.02543 0.1095 0.2757 0.1546 0.6659 1.676 json
t12_x23_u4_b48 12 23 4 48 cil(pow(R,pow(D,R))) 39201 98377287 o1(o2(x,o2(x,x))) true 143455 143455 -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_x23_u4_b49 12 23 4 49 cil(pow(R,mod(D,R))) 39202 98377288 o1(o2(x,o2(x,x))) true 143463 143463 -0.9141 0.04297 1 0.1645 0.4056 -1 1 2 1 0.2557 0.01688 0.01638 0.01652 0.01515 1 0 0.06954 0.03326 0.03297 0.1816 10.99 2.828 0.2022 0.4228 1 1 0.02543 0.1095 0.2757 0.1546 0.6659 1.676 json
t12_x23_u4_b50 12 23 4 50 cil(pow(R,lrg(D,R))) 39203 98377289 o1(o2(x,o2(x,x))) true 143471 143471 -0.7427 0.1287 1 0.4486 0.6698 -1 1 2 1 0.5538 0.08251 0.04126 0.06139 0.3333 1 0 0.2623 0.1238 0.12 0.3465 5.644 2.828 0.2759 0.5847 1 1 0.1262 0.4693 0.8764 0.2813 1.046 1.954 json
t12_x23_u4_b51 12 23 4 51 cil(pow(R,eql(D,R))) 39204 98377290 o1(o2(x,o2(x,x))) true 143479 143479 0.9995 0.9998 1 0.0009763 0.03125 -1 1 2 1 0.003282 0.001764 0.00006299 0.0009133 0.931 1 0 0.005669 0.001827 0.001826 0.04273 46.78 2 1.871 5.806 1 1 0 0 0.000831 0 0 0.8512 json
t12_x23_u4_b52 12 23 4 52 cil(pow(R,min(D,R))) 39205 98377291 o1(o2(x,o2(x,x))) true 143487 143487 -0.9141 0.04297 1 0.1645 0.4056 -1 1 2 1 0.2557 0.01688 0.01638 0.01652 0.01515 1 0 0.06954 0.03326 0.03297 0.1816 10.99 2.828 0.2022 0.4228 1 1 0.02543 0.1095 0.2757 0.1546 0.6659 1.676 json
t12_x23_u4_b53 12 23 4 53 cil(pow(R,dot(D,R))) 39206 98377292 o1(o2(x,o2(x,x))) true 143495 143495 -0.9141 0.04297 1 0.1645 0.4056 -1 1 2 1 0.2557 0.01688 0.01638 0.01652 0.01515 1 0 0.06954 0.03326 0.03297 0.1816 10.99 2.828 0.2022 0.4228 1 1 0.02543 0.1095 0.2757 0.1546 0.6659 1.676 json
t12_x23_u4_b54 12 23 4 54 cil(pow(R,dst(D,R))) 39207 98377293 o1(o2(x,o2(x,x))) true 143503 143503 -0.9141 0.04297 1 0.1645 0.4056 -1 1 2 1 0.2557 0.01688 0.01638 0.01652 0.01515 1 0 0.06954 0.03326 0.03297 0.1816 10.99 2.828 0.2022 0.4228 1 1 0.02543 0.1095 0.2757 0.1546 0.6659 1.676 json
t12_x23_u4_b55 12 23 4 55 cil(mod(R,add(D,R))) 39208 98377294 o1(o2(x,o2(x,x))) true 143511 143511 0.4824 0.9147 0.4824 0.1537 0.3921 0 1 1 1 3.429 0.001972 0.002442 0.05168 -0.1065 1 -0.00001781 0.0002592 0.01257 0.001744 0.04176 0.8079 0.1169 0.02872 0.001686 1 1 0.008731 0.1124 0.2862 0.0568 0.7316 1.862 json
t12_x23_u4_b56 12 23 4 56 cil(mod(R,sub(D,R))) 39209 98377295 o1(o2(x,o2(x,x))) true 143519 143519 0.4824 0.9147 0.4824 0.1537 0.3921 0 1 1 1 3.429 0.001972 0.002442 0.05168 -0.1065 1 -0.00001781 0.0002592 0.01257 0.001744 0.04176 0.8079 0.1169 0.02872 0.001686 1 1 0.008731 0.1124 0.2862 0.0568 0.7316 1.862 json
t12_x23_u4_b57 12 23 4 57 cil(mod(R,mlt(D,R))) 39210 98377296 o1(o2(x,o2(x,x))) true 143527 143527 0.4343 0.882 0.4343 0.1546 0.3932 0 1 1 1 3.336 0.04002 0.002202 0.09193 0.8957 1 -0.00001924 0.07771 0.1002 0.03377 0.1838 1.999 0.9997 0.2731 0.5026 1 1 0.04368 0.1269 0.2622 0.2825 0.8209 1.696 json
t12_x23_u4_b58 12 23 4 58 cil(mod(R,div(D,R))) 39211 98377297 o1(o2(x,o2(x,x))) true 143535 143535 0.4824 0.9147 0.4824 0.1537 0.3921 0 1 1 1 3.429 0.001972 0.002442 0.05168 -0.1065 1 -0.00001781 0.0002592 0.01257 0.001744 0.04176 0.8079 0.1169 0.02872 0.001686 1 1 0.008731 0.1124 0.2862 0.0568 0.7316 1.862 json
t12_x23_u4_b59 12 23 4 59 cil(mod(R,pow(D,R))) 39212 98377298 o1(o2(x,o2(x,x))) true 143543 143543 -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_x23_u4_b60 12 23 4 60 cil(mod(R,mod(D,R))) 39213 98377299 o1(o2(x,o2(x,x))) true 143551 143551 0.4824 0.9147 0.4824 0.1537 0.3921 0 1 1 1 3.429 0.001972 0.002442 0.05168 -0.1065 1 -0.00001781 0.0002592 0.01257 0.001744 0.04176 0.8079 0.1169 0.02872 0.001686 1 1 0.008731 0.1124 0.2862 0.0568 0.7316 1.862 json
t12_x23_u4_b61 12 23 4 61 cil(mod(R,lrg(D,R))) 39214 98377300 o1(o2(x,o2(x,x))) true 143559 143559 -0.9324 0.03638 0.9368 0.06588 0.2567 -1 0.8606 1.861 1 0.4134 0.03017 0.006429 0.03564 0.6486 1 -0.000005537 0.08344 0.07073 0.03531 0.1879 5.273 1.861 0.5555 1.266 1 1 0.03739 0.09694 0.1181 0.5675 1.471 1.792 json
t12_x23_u4_b62 12 23 4 62 cil(mod(R,eql(D,R))) 39215 98377301 o1(o2(x,o2(x,x))) true 143567 143567 -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_x23_u4_b63 12 23 4 63 cil(mod(R,min(D,R))) 39216 98377302 o1(o2(x,o2(x,x))) true 143575 143575 0.4368 0.8556 0.4368 0.1528 0.3909 0 1 1 1 3.373 0.008068 0.002288 0.05882 0.5582 1 0.00001927 0.01283 0.03154 0.006896 0.08304 1.412 0.9994 0.06777 0.08394 1 1 0.01296 0.1211 0.2926 0.08484 0.7924 1.915 json
t12_x23_u4_b64 12 23 4 64 cil(mod(R,dot(D,R))) 39217 98377303 o1(o2(x,o2(x,x))) true 143583 143583 0.4824 0.9147 0.4824 0.1537 0.3921 0 1 1 1 3.429 0.001972 0.002442 0.05168 -0.1065 1 -0.00001781 0.0002592 0.01257 0.001744 0.04176 0.8079 0.1169 0.02872 0.001686 1 1 0.008731 0.1124 0.2862 0.0568 0.7316 1.862 json
t12_x23_u4_b65 12 23 4 65 cil(mod(R,dst(D,R))) 39218 98377304 o1(o2(x,o2(x,x))) true 143591 143591 0.4824 0.9147 0.4824 0.1537 0.3921 0 1 1 1 3.429 0.001972 0.002442 0.05168 -0.1065 1 -0.00001781 0.0002592 0.01257 0.001744 0.04176 0.8079 0.1169 0.02872 0.001686 1 1 0.008731 0.1124 0.2862 0.0568 0.7316 1.862 json
t12_x23_u4_b66 12 23 4 66 cil(lrg(R,add(D,R))) 39219 98377305 o1(o2(x,o2(x,x))) true 143599 143599 0.5 1 0.5 0.1418 0.3765 0.000291 0.9997 0.9994 1 3.406 0.06511 0 0.1228 1 1 0 0.1208 0.1337 0.05001 0.2236 1.821 0.9994 0.4593 0.8522 1 1 0.07073 0.2419 0 0.4989 1.706 0 json
t12_x23_u4_b67 12 23 4 67 cil(lrg(R,sub(D,R))) 39220 98377306 o1(o2(x,o2(x,x))) true 143607 143607 0.4898 0.9172 0.4898 0.1541 0.3926 0 1 1 1 3.432 0.01004 0.002285 0.06307 0.6294 1 0.00008436 0.01703 0.03881 0.008353 0.0914 1.449 0.9997 0.08 0.1105 1 1 0.01554 0.1282 0.294 0.1009 0.8321 1.907 json
t12_x23_u4_b68 12 23 4 68 cil(lrg(R,mlt(D,R))) 39221 98377307 o1(o2(x,o2(x,x))) true 143615 143615 0.4824 0.9145 0.4824 0.1537 0.3921 0 1 1 1 3.429 0.001972 0.002442 0.05168 -0.1065 1 -0.00001781 0.0002592 0.01257 0.001744 0.04176 0.8079 0.1169 0.02872 0.001686 1 1 0.008731 0.1124 0.2862 0.0568 0.7316 1.862 json
t12_x23_u4_b69 12 23 4 69 cil(lrg(R,div(D,R))) 39222 98377308 o1(o2(x,o2(x,x))) true 143623 143623 0.5076 0.9306 0.5076 0.1537 0.392 0 1 1 1 3.432 0.02995 0.002237 0.08767 0.861 1 -0.0002227 0.05769 0.09089 0.02451 0.1566 1.786 0.9997 0.2094 0.3754 1 1 0.03571 0.1851 0.2907 0.2324 1.204 1.892 json
t12_x23_u4_b70 12 23 4 70 cil(lrg(R,pow(D,R))) 39223 98377309 o1(o2(x,o2(x,x))) true 143631 143631 0.6315 1 0.6315 0.1302 0.3608 0.000291 1 0.9997 1 3.398 0.0455 0.0008739 0.1042 0.9623 1 0.0002899 0.08483 0.1082 0.03552 0.1885 1.809 0.9994 0.3562 0.6515 1 1 0.05054 0.1973 0.1234 0.3882 1.515 0.9475 json
t12_x23_u4_b71 12 23 4 71 cil(lrg(R,mod(D,R))) 39224 98377310 o1(o2(x,o2(x,x))) true 143639 143639 0.4824 0.9147 0.4824 0.1537 0.3921 0 1 1 1 3.429 0.001972 0.002442 0.05168 -0.1065 1 -0.00001781 0.0002592 0.01257 0.001744 0.04176 0.8079 0.1169 0.02872 0.001686 1 1 0.008731 0.1124 0.2862 0.0568 0.7316 1.862 json
t12_x23_u4_b72 12 23 4 72 cil(lrg(R,lrg(D,R))) 39225 98377311 o1(o2(x,o2(x,x))) true 143647 143647 0.4232 0.8335 0.4232 0.1518 0.3896 0 1 1 1 3.35 0.01015 0.002268 0.0614 0.6347 1 0.0000315 0.01717 0.03834 0.00865 0.093 1.515 0.9994 0.0818 0.1131 1 1 0.01515 0.1243 0.2844 0.09979 0.819 1.874 json
t12_x23_u4_b73 12 23 4 73 cil(lrg(R,eql(D,R))) 39226 98377312 o1(o2(x,o2(x,x))) true 143655 143655 0.4824 0.9147 0.4824 0.1537 0.3921 0 1 1 1 3.429 0.001972 0.002442 0.05168 -0.1065 1 -0.00001781 0.0002592 0.01257 0.001744 0.04176 0.8079 0.1169 0.02872 0.001686 1 1 0.008731 0.1124 0.2862 0.0568 0.7316 1.862 json
t12_x23_u4_b74 12 23 4 74 cil(lrg(R,min(D,R))) 39227 98377313 o1(o2(x,o2(x,x))) true 143663 143663 0.4991 0.9305 0.4991 0.1466 0.3829 0 1 1 1 3.529 0.0202 0.00212 0.08082 0.81 1 0.00001402 0.03815 0.07049 0.01579 0.1257 1.555 0.9997 0.1522 0.2602 1 1 0.02456 0.14 0.2709 0.1675 0.9551 1.848 json
t12_x23_u4_b75 12 23 4 75 cil(lrg(R,dot(D,R))) 39228 98377314 o1(o2(x,o2(x,x))) true 143671 143671 0.4865 0.905 0.4865 0.1558 0.3947 0 1 1 1 3.396 0.004702 0.01157 0.06797 -0.4221 1 0.00006323 0.03608 0.05622 0.01165 0.108 1.588 1.404 0.1044 0.2316 1 1 0.01916 0.1366 0.2882 0.1229 0.877 1.849 json
t12_x23_u4_b76 12 23 4 76 cil(lrg(R,dst(D,R))) 39229 98377315 o1(o2(x,o2(x,x))) true 143679 143679 0.03494 0.153 0.03494 0.01758 0.1326 0 0.9926 0.9926 1 0.7688 0.004824 0.003409 0.01889 0.1719 1 -0.0001942 0.02592 0.02597 0.007878 0.08876 4.699 1.404 0.4683 1.475 1 1 0.006816 0.02462 0.02849 0.3878 1.4 1.621 json
t12_x23_u4_b77 12 23 4 77 cil(eql(R,add(D,R))) 39230 98377316 o1(o2(x,o2(x,x))) true 143687 143687 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_x23_u4_b78 12 23 4 78 cil(eql(R,sub(D,R))) 39231 98377317 o1(o2(x,o2(x,x))) true 143695 143695 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_x23_u4_b79 12 23 4 79 cil(eql(R,mlt(D,R))) 39232 98377318 o1(o2(x,o2(x,x))) true 143703 143703 2.132e-7 0.000824 2.132e-7 4.854e-11 0.000006967 0 0.000291 0.000291 1 0 1.003e-10 7.118e-13 4.44e-7 0.9859 0 -1.038e-10 3.039e-10 8.803e-7 1.008e-10 0.00001004 22.61 0.000291 2.082 6.261 1 1 6.049e-11 8.031e-11 1.177e-10 1.246 1.655 2.424 json
t12_x23_u4_b80 12 23 4 80 cil(eql(R,div(D,R))) 39233 98377319 o1(o2(x,o2(x,x))) true 143711 143711 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_x23_u4_b81 12 23 4 81 cil(eql(R,pow(D,R))) 39234 98377320 o1(o2(x,o2(x,x))) true 143719 143719 7.106e-8 0.0002747 7.106e-8 1.62e-11 0.000004024 0 0.000291 0.000291 1 0 3.345e-11 2.373e-13 1.48e-7 0.9859 0 6.74e-16 1.013e-10 2.935e-7 3.364e-11 0.0000058 39.18 0.000291 2.08 6.255 1 1 1.278e-11 1.697e-11 1.855e-11 0.7888 1.048 1.145 json
t12_x23_u4_b82 12 23 4 82 cil(eql(R,mod(D,R))) 39235 98377321 o1(o2(x,o2(x,x))) true 143727 143727 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_x23_u4_b83 12 23 4 83 cil(eql(R,lrg(D,R))) 39236 98377322 o1(o2(x,o2(x,x))) true 143735 143735 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_x23_u4_b84 12 23 4 84 cil(eql(R,eql(D,R))) 39237 98377323 o1(o2(x,o2(x,x))) true 143743 143743 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_x23_u4_b85 12 23 4 85 cil(eql(R,min(D,R))) 39238 98377324 o1(o2(x,o2(x,x))) true 143751 143751 0.5009 0.9274 0.5009 0.1466 0.3829 0 1 1 1 3.529 0.0202 0.00212 0.08082 0.81 1 -0.00001403 0.03815 0.07049 0.01579 0.1257 1.555 0.9997 0.1522 0.2602 1 1 0.02456 0.14 0.2709 0.1675 0.9551 1.848 json
t12_x23_u4_b86 12 23 4 86 cil(eql(R,dot(D,R))) 39239 98377325 o1(o2(x,o2(x,x))) true 143759 143759 0.00009826 0.000351 0.00009826 0.0000607 0.007791 0 0.8991 0.8991 1 0.003532 0.0001253 0.0001253 0.0003462 0 1 0 0.001253 0.0008112 0.0002505 0.01583 45.71 1.271 4.129 20.65 1 1 0.0001569 0.0001561 0.0001449 2.584 2.571 2.387 json
t12_x23_u4_b87 12 23 4 87 cil(eql(R,dst(D,R))) 39240 98377326 o1(o2(x,o2(x,x))) true 143767 143767 0.00003112 0.0001068 0.00003112 0.00001826 0.004274 0 0.9414 0.9414 1 0.001536 0.0000377 0.0000377 0.0001096 0 0 7.997e-10 0.000377 0.0002569 0.00007538 0.008682 79.18 1.331 4.128 20.64 1 1 0.00005579 0.00005579 0.0000558 3.055 3.055 3.055 json
t12_x23_u4_b88 12 23 4 88 cil(min(R,add(D,R))) 39241 98377327 o1(o2(x,o2(x,x))) true 143775 143775 0.3522 0.7604 0.443 0.2117 0.4601 -0.9994 1 1.999 1 4.197 0.02052 0.003039 0.08913 0.742 1 0.0008008 0.03639 0.06997 0.01561 0.1249 1.402 0.9994 0.1112 0.1719 1 1 0.02694 0.1768 0.3713 0.1272 0.8351 1.754 json
t12_x23_u4_b89 12 23 4 89 cil(min(R,sub(D,R))) 39242 98377328 o1(o2(x,o2(x,x))) true 143783 143783 -0.02136 0.2872 0.1155 0.0583 0.2415 -0.9994 0.9994 1.999 1 2.955 0.01907 0.0008195 0.05955 0.9176 1 0.00006824 0.03857 0.06584 0.01634 0.1278 2.147 0.9994 0.3411 0.6615 1 1 0.01901 0.06647 0.1083 0.326 1.14 1.857 json
t12_x23_u4_b90 12 23 4 90 cil(min(R,mlt(D,R))) 39243 98377329 o1(o2(x,o2(x,x))) true 143791 143791 0.2432 0.7246 0.2432 0.1087 0.3297 0 0.9997 0.9997 1 2.8 0.02738 0.00118 0.07029 0.9174 1 -0.00000142 0.05102 0.06666 0.02362 0.1537 2.186 0.9997 0.2627 0.4693 1 1 0.03085 0.1411 0.1423 0.2838 1.298 1.309 json
t12_x23_u4_b91 12 23 4 91 cil(min(R,div(D,R))) 39244 98377330 o1(o2(x,o2(x,x))) true 143799 143799 0.01674 0.5075 0.3757 0.2824 0.5314 -1 0.9997 2 1 4.285 0.05563 0.004875 0.1307 0.8389 1 0.000909 0.104 0.1495 0.04342 0.2084 1.594 2 0.2142 0.3682 1 1 0.06496 0.318 0.4575 0.23 1.126 1.62 json
t12_x23_u4_b92 12 23 4 92 cil(min(R,pow(D,R))) 39245 98377331 o1(o2(x,o2(x,x))) true 143807 143807 0.4824 0.9147 0.4824 0.1537 0.3921 0 1 1 1 3.429 0.001972 0.002442 0.05168 -0.1065 1 -0.00001781 0.0002592 0.01257 0.001744 0.04176 0.8079 0.1169 0.02872 0.001686 1 1 0.008731 0.1124 0.2862 0.0568 0.7316 1.862 json
t12_x23_u4_b93 12 23 4 93 cil(min(R,mod(D,R))) 39246 98377332 o1(o2(x,o2(x,x))) true 143815 143815 0.2432 0.7246 0.2432 0.1087 0.3297 0 0.9997 0.9997 1 2.8 0.02738 0.00118 0.07029 0.9174 1 -0.00000142 0.05102 0.06666 0.02362 0.1537 2.186 0.9997 0.2627 0.4693 1 1 0.03085 0.1411 0.1423 0.2838 1.298 1.309 json
t12_x23_u4_b94 12 23 4 94 cil(min(R,lrg(D,R))) 39247 98377333 o1(o2(x,o2(x,x))) true 143823 143823 0.05923 0.3556 0.05923 0.02567 0.1602 0 0.9994 0.9994 1 1.251 0.008427 0.0003582 0.02849 0.9185 1 -0.00004931 0.01697 0.0305 0.007977 0.08931 3.135 0.9994 0.3423 0.6611 1 1 0.007699 0.02811 0.04308 0.3 1.095 1.679 json
t12_x23_u4_b95 12 23 4 95 cil(min(R,eql(D,R))) 39248 98377334 o1(o2(x,o2(x,x))) true 143831 143831 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_x23_u4_b96 12 23 4 96 cil(min(R,min(D,R))) 39249 98377335 o1(o2(x,o2(x,x))) true 143839 143839 0.2432 0.7246 0.2432 0.1087 0.3297 0 0.9997 0.9997 1 2.8 0.02738 0.00118 0.07029 0.9174 1 -0.00000142 0.05102 0.06666 0.02362 0.1537 2.186 0.9997 0.2627 0.4693 1 1 0.03085 0.1411 0.1423 0.2838 1.298 1.309 json
t12_x23_u4_b97 12 23 4 97 cil(min(R,dot(D,R))) 39250 98377336 o1(o2(x,o2(x,x))) true 143847 143847 0.2451 0.6676 0.2459 0.1082 0.329 -0.195 1 1.195 1 3.012 0.01769 0.01756 0.07627 0.003747 1 -0.000155 0.1103 0.0937 0.02943 0.1716 2.249 1.413 0.3256 1.019 1 1 0.03721 0.1588 0.1952 0.3438 1.467 1.804 json
t12_x23_u4_b98 12 23 4 98 cil(min(R,dst(D,R))) 39251 98377337 o1(o2(x,o2(x,x))) true 143855 143855 0.4824 0.9147 0.4824 0.1537 0.3921 0 1 1 1 3.429 0.001972 0.002442 0.05168 -0.1065 1 -0.00001781 0.0002592 0.01257 0.001744 0.04176 0.8079 0.1169 0.02872 0.001686 1 1 0.008731 0.1124 0.2862 0.0568 0.7316 1.862 json
t12_x23_u4_b99 12 23 4 99 cil(dot(R,add(D,R))) 39252 98377338 o1(o2(x,o2(x,x))) true 143863 143863 0.9964 1 0.9964 0.001156 0.034 0.03547 1 0.9645 1 0.1528 0.0004762 0.0005362 0.003582 -0.05925 1 0.000005208 0.003354 0.005501 0.0009992 0.03161 8.825 1.364 0.8759 2.901 1 1 0.000542 0.001151 0.001288 0.4689 0.9956 1.115 json
t12_x23_u4_b100 12 23 4 100 cil(dot(R,sub(D,R))) 39253 98377339 o1(o2(x,o2(x,x))) true 143871 143871 -0.5016 0.04173 0.5106 0.1765 0.4202 -1 0.9997 2 1 3.584 0.01557 0.01499 0.08444 0.01914 1 -0.0001697 0.08836 0.1029 0.02343 0.1531 1.813 1.414 0.1731 0.5005 1 1 0.03477 0.1757 0.3476 0.1969 0.9954 1.969 json
t12_x23_u4_b101 12 23 4 101 cil(dot(R,mlt(D,R))) 39254 98377340 o1(o2(x,o2(x,x))) true 143879 143879 0.5023 0.9996 0.5023 0.1168 0.3418 0.000002074 1 1 1 3.808 0.03259 0.03148 0.1321 0.01726 1 -0.0001631 0.1813 0.1691 0.04662 0.2159 1.635 1.409 0.5486 1.553 1 1 0.06881 0.2317 0.1272 0.5891 1.984 1.089 json
t12_x23_u4_b102 12 23 4 102 cil(dot(R,div(D,R))) 39255 98377341 o1(o2(x,o2(x,x))) true 143887 143887 0.4948 0.9859 0.4948 0.1004 0.3169 0 1 1 1 3.94 0.04951 0.04954 0.1726 -0.0002899 1 -0.0000636 0.3404 0.2368 0.06924 0.2631 1.525 1.409 0.9862 3.389 1 1 0.105 0.2813 0.01963 1.045 2.801 0.1955 json
t12_x23_u4_b103 12 23 4 103 cil(dot(R,pow(D,R))) 39256 98377342 o1(o2(x,o2(x,x))) true 143895 143895 -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_x23_u4_b104 12 23 4 104 cil(dot(R,mod(D,R))) 39257 98377343 o1(o2(x,o2(x,x))) true 143903 143903 0.5071 0.9355 0.5071 0.1532 0.3915 -0.05087 1 1.051 1 3.456 0.04544 0.04282 0.1519 0.02967 1 -0.0002979 0.3008 0.2495 0.06518 0.2553 1.681 1.414 0.5759 1.963 1 1 0.08253 0.2735 0.3039 0.5386 1.784 1.983 json
t12_x23_u4_b105 12 23 4 105 cil(dot(R,lrg(D,R))) 39258 98377344 o1(o2(x,o2(x,x))) true 143911 143911 -0.2332 0.167 0.284 0.1532 0.3914 -1 0.9923 1.992 1 3.604 0.006732 0.007812 0.06176 -0.07427 1 -0.00002977 0.0225 0.04831 0.01073 0.1036 1.677 1.399 0.09494 0.1469 1 1 0.01722 0.1203 0.2546 0.1124 0.7851 1.662 json
t12_x23_u4_b106 12 23 4 106 cil(dot(R,eql(D,R))) 39259 98377345 o1(o2(x,o2(x,x))) true 143919 143919 0.0002102 0.0004883 0.0002102 0.0001417 0.0119 0 0.8606 0.8606 1 0.006317 0.000002076 0.0002926 0.0004378 -0.9859 1 -2.568e-11 0.0008861 0.000868 0.0002944 0.01716 39.19 0.8606 2.08 6.254 1 1 0.0002646 0.0003513 0.0005147 1.867 2.479 3.633 json
t12_x23_u4_b107 12 23 4 107 cil(dot(R,min(D,R))) 39260 98377346 o1(o2(x,o2(x,x))) true 143927 143927 0.8923 1 0.8923 0.05515 0.2348 0.000291 1 0.9997 1 1.711 0.009505 0.009322 0.04406 0.009705 1 0.0001295 0.05297 0.05549 0.01689 0.13 2.95 1.414 0.3414 0.9605 1 1 0.02234 0.08754 0.1025 0.4051 1.587 1.858 json
t12_x23_u4_b108 12 23 4 108 cil(dot(R,dot(D,R))) 39261 98377347 o1(o2(x,o2(x,x))) true 143935 143935 0.4909 0.923 0.4959 0.1465 0.3828 -0.7346 1 1.735 1 3.741 0.03625 0.03582 0.1348 0.00602 1 0.0002764 0.2303 0.1958 0.0539 0.2322 1.722 1.414 0.4918 1.571 1 1 0.07587 0.28 0.2791 0.5177 1.911 1.905 json
t12_x23_u4_b109 12 23 4 109 cil(dot(R,dst(D,R))) 39262 98377348 o1(o2(x,o2(x,x))) true 143943 143943 0.3883 0.7708 0.6414 0.4009 0.6331 -1 1 2 1 3.97 0.01154 0.01208 0.0924 -0.02282 1 0.000005371 0.03667 0.06347 0.01509 0.1228 1.329 1.413 0.05894 0.09149 1 1 0.0366 0.3063 0.7536 0.09131 0.7642 1.88 json
t12_x23_u4_b110 12 23 4 110 cil(dst(R,add(D,R))) 39263 98377349 o1(o2(x,o2(x,x))) true 143951 143951 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_x23_u4_b111 12 23 4 111 cil(dst(R,sub(D,R))) 39264 98377350 o1(o2(x,o2(x,x))) true 143959 143959 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_x23_u4_b112 12 23 4 112 cil(dst(R,mlt(D,R))) 39265 98377351 o1(o2(x,o2(x,x))) true 143967 143967 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_x23_u4_b113 12 23 4 113 cil(dst(R,div(D,R))) 39266 98377352 o1(o2(x,o2(x,x))) true 143975 143975 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_x23_u4_b114 12 23 4 114 cil(dst(R,pow(D,R))) 39267 98377353 o1(o2(x,o2(x,x))) true 143983 143983 -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_x23_u4_b115 12 23 4 115 cil(dst(R,mod(D,R))) 39268 98377354 o1(o2(x,o2(x,x))) true 143991 143991 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_x23_u4_b116 12 23 4 116 cil(dst(R,lrg(D,R))) 39269 98377355 o1(o2(x,o2(x,x))) true 143999 143999 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_x23_u4_b117 12 23 4 117 cil(dst(R,eql(D,R))) 39270 98377356 o1(o2(x,o2(x,x))) true 144007 144007 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_x23_u4_b118 12 23 4 118 cil(dst(R,min(D,R))) 39271 98377357 o1(o2(x,o2(x,x))) true 144015 144015 0.9008 0.9994 0.9008 0.05835 0.2415 0 1 1 1 1.443 0.006263 0.0057 0.0351 0.04705 1 0.0001425 0.02202 0.03906 0.01073 0.1036 2.951 0.9994 0.205 0.3774 1 1 0.0128 0.06259 0.1001 0.2194 1.073 1.716 json
t12_x23_u4_b119 12 23 4 119 cil(dst(R,dot(D,R))) 39272 98377358 o1(o2(x,o2(x,x))) true 144023 144023 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_x23_u4_b120 12 23 4 120 cil(dst(R,dst(D,R))) 39273 98377359 o1(o2(x,o2(x,x))) true 144031 144031 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_x23_u5_b0 12 23 5 0 sgn(add(R,add(D,R))) 39274 98377440 o1(o2(x,o2(x,x))) true 144039 144039 -0.01971 0.4889 0.7081 0.5993 0.7741 -1 1 2 1 4.06 0.04088 0.009031 0.1301 0.6381 1 0.0001587 0.0691 0.07916 0.03299 0.1816 1.396 1.999 0.08328 0.1153 1 1 0.05905 0.4959 1.1 0.09854 0.8275 1.835 json
t12_x23_u5_b1 12 23 5 1 sgn(add(R,sub(D,R))) 39275 98377441 o1(o2(x,o2(x,x))) true 144047 144047 -1.819e-12 0.5 0.6889 0.5671 0.753 -0.9994 0.9994 1.999 1 3.406 0.2604 0 0.2456 1 1 0 0.4833 0.2673 0.2 0.4473 1.821 1.999 0.4593 0.8522 1 1 0.2829 0.9676 0 0.4989 1.706 0 json
t12_x23_u5_b2 12 23 5 2 sgn(add(R,mlt(D,R))) 39276 98377442 o1(o2(x,o2(x,x))) true 144055 144055 -0.03516 0.4819 0.7206 0.6148 0.7841 -1 1 2 1 4.005 0.007889 0.009769 0.1034 -0.1065 1 -0.00003562 0.001037 0.02513 0.006974 0.08351 0.8079 0.2338 0.02872 0.001686 1 1 0.03492 0.4498 1.145 0.0568 0.7316 1.862 json
t12_x23_u5_b3 12 23 5 3 sgn(add(R,div(D,R))) 39277 98377443 o1(o2(x,o2(x,x))) true 144063 144063 0.0199 0.5125 0.7155 0.6106 0.7814 -1 1 2 1 4.024 0.1199 0.008895 0.1763 0.8619 1 -0.0003999 0.2293 0.181 0.09775 0.3126 1.773 1.999 0.211 0.3756 1 1 0.1455 0.736 1.153 0.2383 1.205 1.889 json
t12_x23_u5_b4 12 23 5 4 sgn(add(R,pow(D,R))) 39278 98377444 o1(o2(x,o2(x,x))) true 144071 144071 -1.819e-12 0.5 0.6889 0.5671 0.753 -0.9994 0.9994 1.999 1 3.406 0.2604 0 0.2456 1 1 0 0.4833 0.2673 0.2 0.4473 1.821 1.999 0.4593 0.8522 1 1 0.2829 0.9676 0 0.4989 1.706 0 json
t12_x23_u5_b5 12 23 5 5 sgn(add(R,mod(D,R))) 39279 98377445 o1(o2(x,o2(x,x))) true 144079 144079 -0.03516 0.4819 0.7206 0.6148 0.7841 -1 1 2 1 4.005 0.007889 0.009769 0.1034 -0.1065 1 -0.00003562 0.001037 0.02513 0.006974 0.08351 0.8079 0.2338 0.02872 0.001686 1 1 0.03492 0.4498 1.145 0.0568 0.7316 1.862 json
t12_x23_u5_b6 12 23 5 6 sgn(add(R,lrg(D,R))) 39280 98377446 o1(o2(x,o2(x,x))) true 144087 144087 0.8481 0.9445 0.8921 0.1287 0.3588 -0.9988 1 1.999 1 1.842 0.04285 0.001811 0.06982 0.9189 1 0.00003471 0.08558 0.07599 0.03979 0.1995 2.857 1.999 0.3469 0.6648 1 1 0.04731 0.1772 0.241 0.3675 1.377 1.872 json
t12_x23_u5_b7 12 23 5 7 sgn(add(R,eql(D,R))) 39281 98377447 o1(o2(x,o2(x,x))) true 144095 144095 -0.03508 0.482 0.7206 0.6148 0.7841 -1 1 2 1 4.005 0.007947 0.009766 0.1034 -0.1027 1 -0.00003539 0.001213 0.02536 0.007013 0.08374 0.8095 0.6387 0.02881 0.001973 1 1 0.03492 0.4498 1.145 0.05681 0.7316 1.862 json
t12_x23_u5_b8 12 23 5 8 sgn(add(R,min(D,R))) 39282 98377448 o1(o2(x,o2(x,x))) true 144103 144103 -0.1521 0.4221 0.7227 0.596 0.772 -1 1 2 1 3.96 0.04026 0.009013 0.1253 0.6342 1 0.000564 0.06668 0.07555 0.03358 0.1832 1.462 1.999 0.08268 0.1119 1 1 0.05977 0.5034 1.112 0.1003 0.8447 1.866 json
t12_x23_u5_b9 12 23 5 9 sgn(add(R,dot(D,R))) 39283 98377449 o1(o2(x,o2(x,x))) true 144111 144111 -0.01846 0.4906 0.7322 0.6325 0.7953 -1 1 2 1 3.905 0.01935 0.0474 0.1355 -0.4202 1 -0.0001124 0.1483 0.1144 0.04839 0.22 1.623 2.817 0.1055 0.2345 1 1 0.07897 0.5677 1.149 0.1249 0.8976 1.816 json
t12_x23_u5_b10 12 23 5 10 sgn(add(R,dst(D,R))) 39284 98377450 o1(o2(x,o2(x,x))) true 144119 144119 0.9376 0.9749 0.9585 0.06359 0.2522 -0.9994 1 1.999 1 0.8294 0.01841 0.01289 0.03445 0.1766 1 0.00008032 0.09769 0.04839 0.03011 0.1735 5.037 2.808 0.4922 1.536 1 1 0.03331 0.1085 0.1309 0.5239 1.707 2.058 json
t12_x23_u5_b11 12 23 5 11 sgn(sub(R,add(D,R))) 39285 98377451 o1(o2(x,o2(x,x))) true 144127 144127 1.819e-12 0.5 0.6889 0.5671 0.753 -0.9994 0.9994 1.999 1 3.406 0.2604 0 0.2456 1 1 0 0.4833 0.2673 0.2 0.4473 1.821 1.999 0.4593 0.8522 1 1 0.2829 0.9676 0 0.4989 1.706 0 json
t12_x23_u5_b12 12 23 5 12 sgn(sub(R,sub(D,R))) 39286 98377452 o1(o2(x,o2(x,x))) true 144135 144135 -0.02032 0.4877 0.721 0.6165 0.7852 -1 1 2 1 4.006 0.04018 0.009139 0.1261 0.6294 1 0.0001687 0.06812 0.07761 0.03341 0.1828 1.449 1.999 0.08 0.1105 1 1 0.06218 0.513 1.176 0.1009 0.8321 1.907 json
t12_x23_u5_b13 12 23 5 13 sgn(sub(R,mlt(D,R))) 39287 98377453 o1(o2(x,o2(x,x))) true 144143 144143 -0.03516 0.4819 0.7206 0.6148 0.7841 -1 1 2 1 4.005 0.007889 0.009769 0.1034 -0.1065 1 -0.00003562 0.001037 0.02513 0.006974 0.08351 0.8079 0.2338 0.02872 0.001686 1 1 0.03492 0.4498 1.145 0.0568 0.7316 1.862 json
t12_x23_u5_b14 12 23 5 14 sgn(sub(R,div(D,R))) 39288 98377454 o1(o2(x,o2(x,x))) true 144151 144151 0.01515 0.5093 0.719 0.6148 0.7841 -1 1 2 1 4.027 0.1198 0.008946 0.1753 0.861 1 -0.0004454 0.2308 0.1818 0.09803 0.3131 1.786 1.999 0.2094 0.3754 1 1 0.1428 0.7404 1.163 0.2324 1.204 1.892 json
t12_x23_u5_b15 12 23 5 15 sgn(sub(R,pow(D,R))) 39289 98377455 o1(o2(x,o2(x,x))) true 144159 144159 -0.737 0.1243 0.8858 0.2991 0.5469 -1 0.9994 1.999 1 2.077 0.1058 0.003496 0.1041 0.9361 1 0.0005799 0.2324 0.1344 0.09848 0.3138 3.015 1.999 0.3656 0.7769 1 1 0.1094 0.397 0.4934 0.3659 1.327 1.65 json
t12_x23_u5_b16 12 23 5 16 sgn(sub(R,mod(D,R))) 39290 98377456 o1(o2(x,o2(x,x))) true 144167 144167 -0.03516 0.4819 0.7206 0.6148 0.7841 -1 1 2 1 4.005 0.007889 0.009769 0.1034 -0.1065 1 -0.00003562 0.001037 0.02513 0.006974 0.08351 0.8079 0.2338 0.02872 0.001686 1 1 0.03492 0.4498 1.145 0.0568 0.7316 1.862 json
t12_x23_u5_b17 12 23 5 17 sgn(sub(R,lrg(D,R))) 39291 98377457 o1(o2(x,o2(x,x))) true 144175 144175 -0.1536 0.4227 0.7317 0.6072 0.7793 -1 1 2 1 3.906 0.0406 0.009073 0.1228 0.6347 1 0.000063 0.06866 0.07667 0.0346 0.186 1.515 1.999 0.0818 0.1131 1 1 0.0606 0.4974 1.138 0.09979 0.819 1.874 json
t12_x23_u5_b18 12 23 5 18 sgn(sub(R,eql(D,R))) 39292 98377458 o1(o2(x,o2(x,x))) true 144183 144183 -0.03516 0.4819 0.7206 0.6148 0.7841 -1 1 2 1 4.005 0.007889 0.009769 0.1034 -0.1065 1 -0.00003562 0.001037 0.02513 0.006974 0.08351 0.8079 0.2338 0.02872 0.001686 1 1 0.03492 0.4498 1.145 0.0568 0.7316 1.862 json
t12_x23_u5_b19 12 23 5 19 sgn(sub(R,min(D,R))) 39293 98377459 o1(o2(x,o2(x,x))) true 144191 144191 0.4992 0.9305 0.4992 0.1466 0.3828 0 1 1 1 3.529 0.0202 0.00212 0.08084 0.81 1 0.00001414 0.03816 0.07051 0.01579 0.1257 1.554 0.9997 0.1523 0.2603 1 1 0.02456 0.14 0.2709 0.1675 0.9553 1.848 json
t12_x23_u5_b20 12 23 5 20 sgn(sub(R,dot(D,R))) 39294 98377460 o1(o2(x,o2(x,x))) true 144199 144199 -0.02698 0.4867 0.7256 0.6233 0.7895 -1 1 2 1 3.965 0.01878 0.04626 0.1359 -0.4225 1 0.0001265 0.1439 0.1123 0.04658 0.2158 1.588 2.808 0.1043 0.2309 1 1 0.0766 0.5465 1.153 0.1229 0.8768 1.849 json
t12_x23_u5_b21 12 23 5 21 sgn(sub(R,dst(D,R))) 39295 98377461 o1(o2(x,o2(x,x))) true 144207 144207 -0.9301 0.02779 0.9536 0.07036 0.2653 -1 0.9852 1.985 1 0.9284 0.0193 0.01364 0.03779 0.1718 1 -0.0003884 0.1035 0.05193 0.03152 0.1775 4.698 2.807 0.4681 1.471 1 1 0.02738 0.09866 0.1142 0.3892 1.402 1.622 json
t12_x23_u5_b22 12 23 5 22 sgn(mlt(R,add(D,R))) 39296 98377462 o1(o2(x,o2(x,x))) true 144215 144215 0.7318 0.8929 0.835 0.2345 0.4842 -1 1 2 1 2.607 0.07695 0.003098 0.1141 0.9226 1 0.001134 0.1521 0.1314 0.06701 0.2589 2.268 1.999 0.3414 0.6486 1 1 0.07816 0.2958 0.3946 0.3333 1.261 1.683 json
t12_x23_u5_b23 12 23 5 23 sgn(mlt(R,sub(D,R))) 39297 98377463 o1(o2(x,o2(x,x))) true 144223 144223 -0.7296 0.1102 0.8388 0.2428 0.4927 -1 1 2 1 2.573 0.07812 0.003174 0.1135 0.9219 1 -0.0001333 0.1548 0.1322 0.06841 0.2615 2.303 1.999 0.3348 0.6375 1 1 0.08078 0.3181 0.4307 0.3327 1.31 1.774 json
t12_x23_u5_b24 12 23 5 24 sgn(mlt(R,mlt(D,R))) 39298 98377464 o1(o2(x,o2(x,x))) true 144231 144231 -1.819e-12 0.5 0.6889 0.5671 0.753 -0.9994 0.9994 1.999 1 3.406 0.2604 0 0.2456 1 1 0 0.4833 0.2673 0.2 0.4473 1.821 1.999 0.4593 0.8522 1 1 0.2829 0.9676 0 0.4989 1.706 0 json
t12_x23_u5_b25 12 23 5 25 sgn(mlt(R,div(D,R))) 39299 98377465 o1(o2(x,o2(x,x))) true 144239 144239 -1.819e-12 0.5 0.6889 0.5671 0.753 -0.9994 0.9994 1.999 1 3.406 0.2604 0 0.2456 1 1 0 0.4833 0.2673 0.2 0.4473 1.821 1.999 0.4593 0.8522 1 1 0.2829 0.9676 0 0.4989 1.706 0 json