Laboratory of Babel / Archive / grad-noise-175k

grad-noise-175k

Gradient noise, 175k (run of 2026-09-23) · A complete batch run over 175,797 lattice-noise expressions, with 32 texture diagnostics and a frame of each.

About this collection

This collection is complete and closed. Every expression in the space below was rendered and measured once, in a single batch run. Each row is one expression, and its coordinate links to it running live on uto.run.

The purpose is exploratory. There is no target texture and no attempt to resemble Perlin noise. A constant field, a strongly directional pattern or an odd value distribution is an observation, not a failure. The measurements describe textures so they can be sorted, filtered and compared. They are a lossy fingerprint, not a judgement of quality and not a substitute for looking.

The space

An ither formula with two layers:

  • topo: expression trees of up to 64 nodes, built from unary (o1), binary (o2) and leaf (x) slots
  • expr: fills those slots
    • leaves: P, D, R
    • unary: sqt log frc flr cil sgn nrm
    • binary: add sub mlt div pow mod lrg eql min dot dst

A coordinate t·x·u·b follows the formula's projection: t the topology, x the leaf choices, u the unary choices, b the binary choices. Points outside the space were omitted from the run. Two orderings ride along: ordinal is the point's position in ither's whole enumeration (gaps where points were omitted), and batch index is its place in the batch run's sequence, 0 to 175,796 (the run's inputs.expr, and the number in its frame's file name).

The apparatus

Each expression is evaluated at the corners of a rectangular lattice with quintic blending (LATT.RECT.QUINTIC), over coordinates mlt(C, 8), in a 256 × 256 field #A. One configuration per expression: the dimension and coordinate scale were fixed for the whole run.

Measurements are taken from #A's x channel, its stored values (not a screenshot), at step 7, after which the run moves to the next expression. The frame in each row is that field, remapped for display.

The measurements

Notation: f is the field value, E averages the whole field, and E_I averages the interior (C-space [-0.98, 0.98]², which keeps wrapped edges out of the spatial measures).

Value distribution

key meaning
value_mean, value_abs_mean E[f] and E[|f|]: signed offset, typical distance from zero
value_positive_fraction share of values above 0 (field tolerance 0.0001)
value_variance, value_stddev population variance and SD: contrast
value_min, value_max, value_range sampled extrema and their difference
histogram_entropy_bits entropy of a 32-bin histogram over [−1, 1], 0 (one bin) to 5 (uniform) bits
histogram_probability_sum consistency check, ≈ 1

Local roughness (one-pixel differences dx, dy, and g = √(dx² + dy²))

key meaning
gradient_energy_x, gradient_energy_y E_I[dx²], E_I[dy²]
gradient_magnitude_mean E_I[g]: roughness
gradient_magnitude_variance, _stddev, _max how unevenly that roughness is spread, and its peak
gradient_magnitude_cv SD / mean of g: uneven activity (quiet areas interrupted by edges), independent of amplitude
gradient_axis_bias (Ex − Ey) / (Ex + Ey), −1 to 1: horizontal vs vertical preference. Zero does not mean isotropic (diagonals balance too)
gradient_nonzero_flag 1 if there is any gradient energy at all

Change of slope (four-neighbour Laplacian L)

key meaning
laplacian_mean, laplacian_energy, laplacian_abs_mean E_I[L], E_I[L²], E_I[|L|]. Sharp or high-frequency structure responds; a linear ramp does not

Normalised by contrast (comparable across amplitudes)

key meaning
gradient_energy_over_variance (Ex + Ey) / variance
laplacian_energy_over_variance E_I[L²] / variance
variance_normalization_valid_flag, gradient_cv_valid_flag whether the denominators above are meaningful (> 10⁻¹²). Filter on these before trusting a ratio

Three spatial scales (mean squared difference at a distance, over the central [-0.74, 0.74]²: 2, 8 and 32 pixels at this resolution)

key meaning
scale_diff2_near, _mid, _far raw difference energy at each distance
scale_diff2_near_over_variance, _mid_…, _far_… the same, normalised. Low near and rising far suggests smooth structure; a dip at a longer distance can hint at repetition

Each record's json also holds value_histogram (the 32 bin probabilities) and scale_curve (the three scales with their distances).

Reading them, and their limits

  • Clipping. #A kept its default signed domain, so values outside [−1, 1] were clipped before measuring. The diagnostics describe the clipped texture.
  • Combinations say more than any one key. A large range with modest SD and a high gradient peak suggests a few strong excursions. A broad histogram with low normalised detail suggests smooth variation. Similar roughness with a different CV means the activity is concentrated differently.
  • Entropy is about values, not space. A smooth ramp can have high entropy, and shuffling the pixels would not change it.
  • Raw spatial measures depend on resolution and amplitude. Prefer the normalised keys for detail independent of contrast, after checking the validity flags.
  • Not measured: full orientation, spectra or periodicity, lacunarity, tileability, colour, novelty, aesthetic merit.
  • Validation. The suite compiled and ran on every expression. Systematic numerical controls (constants, ramps, stripes, checkerboards, random pixels) and a comparison against longer settling times were not done before this run. Treat the values as exploratory.

Provenance

  • Apparatus: noiseBatch/one.uto, project SHA-256 b6fc8f27…be04d0
  • Expression corpus: SHA-256 7d3ec029…d72266
  • Run files (canonical), in ~/lab/data/grad-noise-175k/: the enumeration (grad-noise-175k.jsonl), the measurements (grad-noise-175k-output.jsonl, joined on inputs.expr), the formula (grad-noise-175k.manifest.json) and the frames (png/)
175,797 records
coordinate ▲ t x u b expression batch index ordinal topo measured step globalStep value_mean value_positive_fraction value_abs_mean value_variance value_stddev value_min value_max value_range histogram_probability_sum histogram_entropy_bits gradient_energy_x gradient_energy_y gradient_magnitude_mean gradient_axis_bias gradient_nonzero_flag laplacian_mean laplacian_energy laplacian_abs_mean gradient_magnitude_variance gradient_magnitude_stddev gradient_magnitude_cv gradient_magnitude_max gradient_energy_over_variance laplacian_energy_over_variance variance_normalization_valid_flag gradient_cv_valid_flag scale_diff2_near scale_diff2_mid scale_diff2_far scale_diff2_near_over_variance scale_diff2_mid_over_variance scale_diff2_far_over_variance
t12_x19_u4_b35 12 19 4 35 cil(div(R,mlt(P,D))) 35800 98215670 o1(o2(x,o2(x,x))) true 116247 116247 0.2147 0.7204 0.6697 0.5408 0.7354 -1 1 2 1 3.753 0.2262 0.0104 0.1995 0.9121 1 -0.0014 0.5338 0.3089 0.1969 0.4437 2.224 2.828 0.4375 0.987 1 1 0.2315 0.6513 0.9111 0.428 1.204 1.685 json
t12_x19_u4_b36 12 19 4 36 cil(div(R,div(P,D))) 35801 98215671 o1(o2(x,o2(x,x))) true 116255 116255 0.3145 0.8346 0.5645 0.3738 0.6114 -1 1 2 1 3.64 0.06005 0.002019 0.09884 0.9349 1 -0.00003495 0.1179 0.116 0.0523 0.2287 2.314 2 0.166 0.3155 1 1 0.06902 0.3027 0.6215 0.1846 0.8098 1.663 json
t12_x19_u4_b37 12 19 4 37 cil(div(R,pow(P,D))) 35802 98215672 o1(o2(x,o2(x,x))) true 116263 116263 -0.3892 0.3514 0.7874 0.5911 0.7689 -1 1 2 1 2.763 0.01802 0.001907 0.04523 0.8086 1 -0.00007226 0.03446 0.04242 0.01789 0.1338 2.957 2 0.03371 0.05829 1 1 0.02466 0.1343 0.3736 0.04171 0.2272 0.6321 json
t12_x19_u4_b38 12 19 4 38 cil(div(R,mod(P,D))) 35803 98215673 o1(o2(x,o2(x,x))) true 116271 116271 -0.2262 0.3867 0.9197 0.8425 0.9179 -1 1 2 1 2.139 0.4147 0.03501 0.3005 0.8443 1 -0.00002892 1.16 0.5419 0.3593 0.5994 1.995 2.828 0.5338 1.377 1 1 0.338 0.8163 1.3 0.4012 0.9689 1.543 json
t12_x19_u4_b39 12 19 4 39 cil(div(R,lrg(P,D))) 35804 98215674 o1(o2(x,o2(x,x))) true 116279 116279 -0.3672 0.3986 0.7578 0.5783 0.7605 -1 1 2 1 2.518 0.01215 0.001118 0.03013 0.8314 1 -0.00001853 0.02269 0.01873 0.01236 0.1112 3.69 2 0.02294 0.03923 1 1 0.01774 0.101 0.2938 0.03068 0.1747 0.508 json
t12_x19_u4_b40 12 19 4 40 cil(div(R,eql(P,D))) 35805 98215675 o1(o2(x,o2(x,x))) true 116287 116287 -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_u4_b41 12 19 4 41 cil(div(R,min(P,D))) 35806 98215676 o1(o2(x,o2(x,x))) true 116295 116295 0.2667 0.7178 0.6762 0.5359 0.732 -1 1 2 1 3.575 0.1343 0.01638 0.1428 0.7826 1 -0.0002577 0.306 0.1921 0.1303 0.361 2.529 2.828 0.2812 0.571 1 1 0.1676 0.7192 0.9411 0.3128 1.342 1.756 json
t12_x19_u4_b42 12 19 4 42 cil(div(R,dot(P,D))) 35807 98215677 o1(o2(x,o2(x,x))) true 116303 116303 0.3594 0.794 0.6196 0.4043 0.6358 -1 1 2 1 3.805 0.2585 0.2637 0.3459 -0.009989 1 -0.0006803 2.152 0.6749 0.4025 0.6344 1.834 2.828 1.292 5.322 1 1 0.4605 0.8622 0.8482 1.139 2.133 2.098 json
t12_x19_u4_b43 12 19 4 43 cil(div(R,dst(P,D))) 35808 98215678 o1(o2(x,o2(x,x))) true 116311 116311 0.4838 0.9132 0.4845 0.1549 0.3935 -0.6712 1 1.671 1 3.441 0.002071 0.002567 0.05222 -0.1069 1 -0.00001781 0.0008108 0.01374 0.001912 0.04372 0.8373 0.8395 0.02995 0.005236 1 1 0.009191 0.1145 0.2912 0.05935 0.7392 1.88 json
t12_x19_u4_b44 12 19 4 44 cil(pow(R,add(P,D))) 35809 98215679 o1(o2(x,o2(x,x))) true 116319 116319 -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_x19_u4_b45 12 19 4 45 cil(pow(R,sub(P,D))) 35810 98215680 o1(o2(x,o2(x,x))) true 116327 116327 -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_x19_u4_b46 12 19 4 46 cil(pow(R,mlt(P,D))) 35811 98215681 o1(o2(x,o2(x,x))) true 116335 116335 -0.8516 0.07422 1 0.2749 0.5243 -1 1 2 1 0.3815 0.02494 0.02444 0.02454 0.0102 1 0 0.103 0.04938 0.04875 0.2208 8.996 2.828 0.1796 0.3748 1 1 0.0467 0.1946 0.6445 0.1699 0.7079 2.344 json
t12_x19_u4_b47 12 19 4 47 cil(pow(R,div(P,D))) 35812 98215682 o1(o2(x,o2(x,x))) true 116343 116343 -0.8573 0.07178 0.9992 0.2641 0.5139 -1 1 2 1 0.3839 0.02402 0.02361 0.02466 0.00853 1 3.282e-7 0.09775 0.04791 0.04699 0.2168 8.79 2.828 0.1803 0.3701 1 1 0.0468 0.1931 0.6329 0.1772 0.7312 2.396 json
t12_x19_u4_b48 12 19 4 48 cil(pow(R,pow(P,D))) 35813 98215683 o1(o2(x,o2(x,x))) true 116351 116351 -0.9531 0.02344 1 0.09148 0.3025 -1 1 2 1 0.1603 0.01109 0.007811 0.009393 0.1733 1 0 0.03956 0.0189 0.01881 0.1371 14.6 2.828 0.2066 0.4324 1 1 0.01507 0.06294 0.1693 0.1647 0.688 1.851 json
t12_x19_u4_b49 12 19 4 49 cil(pow(R,mod(P,D))) 35814 98215684 o1(o2(x,o2(x,x))) true 116359 116359 -0.7988 0.1006 1 0.3619 0.6016 -1 1 2 1 0.4709 0.2053 0.02979 0.1164 0.7466 1 0 0.6799 0.2351 0.2217 0.4708 4.043 2.828 0.6496 1.878 1 1 0.1455 0.329 0.7804 0.4019 0.9089 2.156 json
t12_x19_u4_b50 12 19 4 50 cil(pow(R,lrg(P,D))) 35815 98215685 o1(o2(x,o2(x,x))) true 116367 116367 -0.04688 0.4766 1 0.9985 0.9993 -1 1 2 1 0.9984 0.02494 0.01386 0.01931 0.2857 1 0 0.08062 0.0388 0.03844 0.1961 10.15 2.828 0.03886 0.08074 1 1 0.04499 0.1826 0.5186 0.04505 0.1829 0.5193 json
t12_x19_u4_b51 12 19 4 51 cil(pow(R,eql(P,D))) 35816 98215686 o1(o2(x,o2(x,x))) true 116375 116375 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_x19_u4_b52 12 19 4 52 cil(pow(R,min(P,D))) 35817 98215687 o1(o2(x,o2(x,x))) true 116383 116383 -0.8828 0.05859 1 0.2206 0.4697 -1 1 2 1 0.3218 0.02494 0.02041 0.02253 0.1 1 0 0.09473 0.04535 0.04483 0.2117 9.399 2.828 0.2056 0.4295 1 1 0.03961 0.1663 0.4176 0.1796 0.7537 1.893 json
t12_x19_u4_b53 12 19 4 53 cil(pow(R,dot(P,D))) 35818 98215688 o1(o2(x,o2(x,x))) true 116391 116391 -0.9121 0.04393 1 0.1681 0.4099 -1 1 2 1 0.26 0.02482 0.02431 0.02329 0.01026 1 0 0.1527 0.04913 0.04856 0.2204 9.46 2.828 0.2924 0.9085 1 1 0.03274 0.1168 0.2828 0.1948 0.6953 1.683 json
t12_x19_u4_b54 12 19 4 54 cil(pow(R,dst(P,D))) 35819 98215689 o1(o2(x,o2(x,x))) true 116399 116399 -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_x19_u4_b55 12 19 4 55 cil(mod(R,add(P,D))) 35820 98215690 o1(o2(x,o2(x,x))) true 116407 116407 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_x19_u4_b56 12 19 4 56 cil(mod(R,sub(P,D))) 35821 98215691 o1(o2(x,o2(x,x))) true 116415 116415 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_x19_u4_b57 12 19 4 57 cil(mod(R,mlt(P,D))) 35822 98215692 o1(o2(x,o2(x,x))) true 116423 116423 0.293 0.7953 0.543 0.3734 0.6111 -1 1 2 1 3.539 0.02346 0.002174 0.05751 0.8304 1 -6.988e-7 0.04394 0.0363 0.02233 0.1494 2.598 2 0.06865 0.1177 1 1 0.0347 0.1958 0.5929 0.09291 0.5244 1.588 json
t12_x19_u4_b58 12 19 4 58 cil(mod(R,div(P,D))) 35823 98215693 o1(o2(x,o2(x,x))) true 116431 116431 0.293 0.7953 0.543 0.3734 0.6111 -1 1 2 1 3.539 0.02346 0.002174 0.05751 0.8304 1 -6.988e-7 0.04394 0.0363 0.02233 0.1494 2.598 2 0.06865 0.1177 1 1 0.0347 0.1958 0.5929 0.09291 0.5244 1.588 json
t12_x19_u4_b59 12 19 4 59 cil(mod(R,pow(P,D))) 35824 98215694 o1(o2(x,o2(x,x))) true 116439 116439 -0.3672 0.3986 0.7578 0.5783 0.7605 -1 1 2 1 2.518 0.01215 0.001118 0.03013 0.8314 1 -0.00001853 0.02269 0.01873 0.01236 0.1112 3.69 2 0.02294 0.03923 1 1 0.01774 0.101 0.2938 0.03068 0.1747 0.508 json
t12_x19_u4_b60 12 19 4 60 cil(mod(R,mod(P,D))) 35825 98215695 o1(o2(x,o2(x,x))) true 116447 116447 0.1093 0.6865 0.6093 0.5211 0.7218 -1 1 2 1 3.445 0.3129 0.001813 0.2347 0.9885 1 -7.442e-9 0.7613 0.401 0.2596 0.5095 2.171 2 0.604 1.461 1 1 0.2344 0.4198 0.5437 0.4498 0.8056 1.043 json
t12_x19_u4_b61 12 19 4 61 cil(mod(R,lrg(P,D))) 35826 98215696 o1(o2(x,o2(x,x))) true 116455 116455 -0.3672 0.3986 0.7578 0.5783 0.7605 -1 1 2 1 2.518 0.01215 0.001118 0.03013 0.8314 1 -0.00001853 0.02269 0.01873 0.01236 0.1112 3.69 2 0.02294 0.03923 1 1 0.01774 0.101 0.2938 0.03068 0.1747 0.508 json
t12_x19_u4_b62 12 19 4 62 cil(mod(R,eql(P,D))) 35827 98215697 o1(o2(x,o2(x,x))) true 116463 116463 -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_u4_b63 12 19 4 63 cil(mod(R,min(P,D))) 35828 98215698 o1(o2(x,o2(x,x))) true 116471 116471 0.3867 0.8529 0.5117 0.2727 0.5222 -1 1 2 1 3.544 0.02215 0.002297 0.06018 0.8121 1 -0.000009256 0.04101 0.03605 0.02083 0.1443 2.398 2 0.08964 0.1504 1 1 0.03411 0.2019 0.4382 0.1251 0.7404 1.607 json
t12_x19_u4_b64 12 19 4 64 cil(mod(R,dot(P,D))) 35829 98215699 o1(o2(x,o2(x,x))) true 116479 116479 0.4288 0.8813 0.4981 0.222 0.4712 -1 1 2 1 3.521 0.093 0.09429 0.1413 -0.006907 1 -0.00001885 1.016 0.2419 0.1673 0.409 2.894 2.828 0.8435 4.577 1 1 0.1263 0.243 0.4651 0.5689 1.095 2.095 json
t12_x19_u4_b65 12 19 4 65 cil(mod(R,dst(P,D))) 35830 98215700 o1(o2(x,o2(x,x))) true 116487 116487 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_x19_u4_b66 12 19 4 66 cil(lrg(R,add(P,D))) 35831 98215701 o1(o2(x,o2(x,x))) true 116495 116495 0.5017 0.5461 0.5017 0.2404 0.4904 0 1 1 1 1.441 0.002564 0.000168 0.008601 0.877 1 -0.000009608 0.004735 0.008797 0.002659 0.05157 5.995 0.9997 0.01136 0.01969 1 1 0.003586 0.02271 0.09229 0.01492 0.09446 0.3838 json
t12_x19_u4_b67 12 19 4 67 cil(lrg(R,sub(P,D))) 35832 98215702 o1(o2(x,o2(x,x))) true 116503 116503 0.5017 0.5879 0.5017 0.2332 0.4829 0 1 1 1 1.707 0.002579 0.0001747 0.01255 0.8731 1 -0.000009609 0.004619 0.009851 0.002597 0.05096 4.059 0.9926 0.01181 0.01981 1 1 0.003607 0.02284 0.08805 0.01547 0.09794 0.3776 json
t12_x19_u4_b68 12 19 4 68 cil(lrg(R,mlt(P,D))) 35833 98215703 o1(o2(x,o2(x,x))) true 116511 116511 0.5331 0.9794 0.5331 0.1337 0.3656 0 1 1 1 3.556 0.04113 0.001117 0.1095 0.9471 1 -0.0003395 0.07533 0.1077 0.03025 0.1739 1.589 0.9997 0.3161 0.5636 1 1 0.04479 0.1871 0.1803 0.3351 1.4 1.349 json
t12_x19_u4_b69 12 19 4 69 cil(lrg(R,div(P,D))) 35834 98215704 o1(o2(x,o2(x,x))) true 116519 116519 0.5273 1 0.5273 0.145 0.3808 0.000291 1 0.9997 1 3.396 0.0608 0.0001053 0.1163 0.9965 1 0.000174 0.1127 0.1252 0.04737 0.2176 1.871 0.9997 0.4201 0.7775 1 1 0.06495 0.2312 0.07077 0.448 1.595 0.4881 json
t12_x19_u4_b70 12 19 4 70 cil(lrg(R,pow(P,D))) 35835 98215705 o1(o2(x,o2(x,x))) true 116527 116527 0.5162 0.6857 0.5162 0.2243 0.4736 0 1 1 1 1.966 0.006211 0.0002448 0.02099 0.9242 1 -0.0002254 0.01103 0.01773 0.006012 0.07754 3.694 0.9994 0.02878 0.04916 1 1 0.0082 0.04106 0.1103 0.03656 0.1831 0.4919 json
t12_x19_u4_b71 12 19 4 71 cil(lrg(R,mod(P,D))) 35836 98215706 o1(o2(x,o2(x,x))) true 116535 116535 0.4885 0.8956 0.4885 0.159 0.3987 0 1 1 1 3.363 0.02385 0.002149 0.084 0.8347 1 -0.00001941 0.06234 0.09173 0.01895 0.1377 1.639 0.9998 0.1636 0.3922 1 1 0.0186 0.1196 0.2765 0.117 0.7524 1.739 json
t12_x19_u4_b72 12 19 4 72 cil(lrg(R,lrg(P,D))) 35837 98215707 o1(o2(x,o2(x,x))) true 116543 116543 0.2539 0.4836 0.2539 0.1414 0.376 0 1 1 1 2.303 0.002687 0.001179 0.02819 0.3903 1 0.000009279 0.003376 0.009879 0.003071 0.05542 1.966 0.9997 0.02734 0.02388 1 1 0.006679 0.06268 0.1658 0.04724 0.4433 1.173 json
t12_x19_u4_b73 12 19 4 73 cil(lrg(R,eql(P,D))) 35838 98215708 o1(o2(x,o2(x,x))) true 116551 116551 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_x19_u4_b74 12 19 4 74 cil(lrg(R,min(P,D))) 35839 98215709 o1(o2(x,o2(x,x))) true 116559 116559 0.7294 0.9666 0.7294 0.1415 0.3762 0 1 1 1 2.476 0.01027 0.001146 0.04293 0.7993 1 0.00002986 0.01884 0.03607 0.00957 0.09782 2.279 0.9997 0.08065 0.1331 1 1 0.01281 0.08284 0.175 0.09048 0.5853 1.236 json
t12_x19_u4_b75 12 19 4 75 cil(lrg(R,dot(P,D))) 35840 98215710 o1(o2(x,o2(x,x))) true 116567 116567 0.5509 0.9949 0.5509 0.108 0.3286 0 1 1 1 3.798 0.03104 0.03082 0.1355 0.003556 1 -0.001672 0.1944 0.1686 0.04352 0.2086 1.54 1.413 0.573 1.801 1 1 0.06228 0.2107 0.133 0.5769 1.952 1.232 json
t12_x19_u4_b76 12 19 4 76 cil(lrg(R,dst(P,D))) 35841 98215711 o1(o2(x,o2(x,x))) true 116575 116575 0.004075 0.01385 0.004075 0.002426 0.04925 0 0.9994 0.9994 1 0.1167 0.00006564 0.00007038 0.001154 -0.03485 1 -3.81e-12 0.0002352 0.0008291 0.0001346 0.0116 10.05 0.3832 0.05607 0.09694 1 1 0.0003564 0.003479 0.00879 0.1469 1.434 3.623 json
t12_x19_u4_b77 12 19 4 77 cil(eql(R,add(P,D))) 35842 98215712 o1(o2(x,o2(x,x))) true 116583 116583 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_x19_u4_b78 12 19 4 78 cil(eql(R,sub(P,D))) 35843 98215713 o1(o2(x,o2(x,x))) true 116591 116591 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_x19_u4_b79 12 19 4 79 cil(eql(R,mlt(P,D))) 35844 98215714 o1(o2(x,o2(x,x))) true 116599 116599 0.00004008 0.0002289 0.00004008 0.00001031 0.00321 0 0.3282 0.3282 1 0.002722 0.00001454 1.509e-7 0.00006305 0.9795 0 1.17e-7 0.00004407 0.0001242 0.00001469 0.003832 60.78 0.3186 1.425 4.276 1 1 0 0 0.000007865 0 0 0.7631 json
t12_x19_u4_b80 12 19 4 80 cil(eql(R,div(P,D))) 35845 98215715 o1(o2(x,o2(x,x))) true 116607 116607 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_x19_u4_b81 12 19 4 81 cil(eql(R,pow(P,D))) 35846 98215716 o1(o2(x,o2(x,x))) true 116615 116615 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_x19_u4_b82 12 19 4 82 cil(eql(R,mod(P,D))) 35847 98215717 o1(o2(x,o2(x,x))) true 116623 116623 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_x19_u4_b83 12 19 4 83 cil(eql(R,lrg(P,D))) 35848 98215718 o1(o2(x,o2(x,x))) true 116631 116631 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_x19_u4_b84 12 19 4 84 cil(eql(R,eql(P,D))) 35849 98215719 o1(o2(x,o2(x,x))) true 116639 116639 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_x19_u4_b85 12 19 4 85 cil(eql(R,min(P,D))) 35850 98215720 o1(o2(x,o2(x,x))) true 116647 116647 0.00004008 0.0002289 0.00004008 0.00001031 0.00321 0 0.3282 0.3282 1 0.002722 0.00001454 1.509e-7 0.00006305 0.9795 0 1.17e-7 0.00004407 0.0001242 0.00001469 0.003832 60.78 0.3186 1.425 4.276 1 1 0 0 0.000007865 0 0 0.7631 json
t12_x19_u4_b86 12 19 4 86 cil(eql(R,dot(P,D))) 35851 98215721 o1(o2(x,o2(x,x))) true 116655 116655 0.00002985 0.00004578 0.00002985 0.00002404 0.004903 0 0.9633 0.9633 1 0.0007985 0.000001508 0.00001612 0.00002693 -0.8289 0 0.00001172 0.00002894 0.00003929 0.00001763 0.004199 155.9 0.9633 0.7334 1.204 1 1 0 0 0.00001352 0 0 0.5623 json
t12_x19_u4_b87 12 19 4 87 cil(eql(R,dst(P,D))) 35852 98215722 o1(o2(x,o2(x,x))) true 116663 116663 0.000003656 0.00003052 0.000003656 4.38e-7 0.0006618 0 0.1198 0.1198 1 0.0005018 9.041e-7 9.041e-7 0.00001288 0 0 -2.346e-13 0.000009041 0.00003019 0.000001808 0.001345 104.4 0.1694 4.128 20.64 1 1 0.00000159 0.00000159 0.00000159 3.631 3.631 3.631 json
t12_x19_u4_b88 12 19 4 88 cil(min(R,add(P,D))) 35853 98215723 o1(o2(x,o2(x,x))) true 116671 116671 -0.209 0.4604 0.666 0.5708 0.7555 -1 1 2 1 2.849 0.00663 0.001264 0.03301 0.6798 1 -0.00002709 0.0113 0.01812 0.006806 0.0825 2.499 1 0.01383 0.0198 1 1 0.01204 0.08826 0.2917 0.02109 0.1546 0.511 json
t12_x19_u4_b89 12 19 4 89 cil(min(R,sub(P,D))) 35854 98215724 o1(o2(x,o2(x,x))) true 116679 116679 -0.2187 0.4709 0.6666 0.5569 0.7463 -1 1 2 1 3.307 0.008113 0.001259 0.04273 0.7313 1 -0.00002709 0.01169 0.02121 0.007548 0.08688 2.033 0.9994 0.01683 0.02099 1 1 0.01566 0.1048 0.2737 0.02812 0.1883 0.4914 json
t12_x19_u4_b90 12 19 4 90 cil(min(R,mlt(P,D))) 35855 98215725 o1(o2(x,o2(x,x))) true 116687 116687 -0.1743 0.3408 0.401 0.2852 0.5341 -1 0.9994 1.999 1 3.968 0.07949 0.001023 0.1631 0.9746 1 0.007594 0.1492 0.2138 0.05389 0.2321 1.423 0.9994 0.2822 0.5231 1 1 0.07446 0.2967 0.1744 0.2611 1.04 0.6115 json
t12_x19_u4_b91 12 19 4 91 cil(min(R,div(P,D))) 35856 98215726 o1(o2(x,o2(x,x))) true 116695 116695 -0.6146 0.1513 0.7861 0.3618 0.6015 -1 0.9991 1.999 1 2.564 0.171 0.0008133 0.1749 0.9905 1 -0.000005945 0.2963 0.2374 0.1413 0.3758 2.149 1.999 0.4749 0.819 1 1 0.1861 0.5355 0.1959 0.5144 1.48 0.5414 json
t12_x19_u4_b92 12 19 4 92 cil(min(R,pow(P,D))) 35857 98215727 o1(o2(x,o2(x,x))) true 116703 116703 0.4687 0.9093 0.4687 0.1537 0.3921 0 1 1 1 3.418 0.003604 0.002385 0.05312 0.2035 1 -0.00001496 0.003494 0.016 0.003166 0.05627 1.059 0.9997 0.03896 0.02273 1 1 0.01073 0.1165 0.2761 0.06982 0.758 1.796 json
t12_x19_u4_b93 12 19 4 93 cil(min(R,mod(P,D))) 35858 98215728 o1(o2(x,o2(x,x))) true 116711 116711 0.1856 0.4294 0.1856 0.1046 0.3235 0 1 1 1 2.076 0.02666 0.001 0.05379 0.9277 1 -0.0000207 0.06026 0.06594 0.02477 0.1574 2.926 0.9997 0.2643 0.5758 1 1 0.02546 0.06459 0.124 0.2433 0.6173 1.185 json
t12_x19_u4_b94 12 19 4 94 cil(min(R,lrg(P,D))) 35859 98215729 o1(o2(x,o2(x,x))) true 116719 116719 0.2285 0.4928 0.2285 0.1217 0.3488 0 1 1 1 2.365 0.002836 0.001259 0.031 0.3851 1 -0.00002709 0.003398 0.01065 0.003133 0.05598 1.806 0.9997 0.03365 0.02793 1 1 0.007137 0.06954 0.1615 0.05865 0.5714 1.327 json
t12_x19_u4_b95 12 19 4 95 cil(min(R,eql(P,D))) 35860 98215730 o1(o2(x,o2(x,x))) true 116727 116727 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_x19_u4_b96 12 19 4 96 cil(min(R,min(P,D))) 35861 98215731 o1(o2(x,o2(x,x))) true 116735 116735 -0.3691 0.314 0.5684 0.393 0.6269 -1 0.9997 2 1 2.658 0.01224 0.0005791 0.03477 0.9096 1 -0.00005918 0.02233 0.03053 0.01161 0.1078 3.099 0.9997 0.03262 0.05681 1 1 0.01469 0.0762 0.1619 0.03736 0.1939 0.412 json
t12_x19_u4_b97 12 19 4 97 cil(min(R,dot(P,D))) 35862 98215732 o1(o2(x,o2(x,x))) true 116743 116743 -0.4219 0.2035 0.5726 0.2936 0.5418 -1 0.9991 1.999 1 4.135 0.05298 0.05143 0.2079 0.01492 1 0.004729 0.3215 0.3257 0.06121 0.2474 1.19 1.413 0.3556 1.095 1 1 0.103 0.3841 0.199 0.3509 1.308 0.6779 json
t12_x19_u4_b98 12 19 4 98 cil(min(R,dst(P,D))) 35863 98215733 o1(o2(x,o2(x,x))) true 116751 116751 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_x19_u4_b99 12 19 4 99 cil(dot(R,add(P,D))) 35864 98215734 o1(o2(x,o2(x,x))) true 116759 116759 0.05548 0.5379 0.8602 0.8151 0.9028 -1 1 2 1 2.78 0.02869 0.03715 0.11 -0.1285 1 -0.000013 0.07441 0.09963 0.05378 0.2319 2.109 2.027 0.08078 0.09129 1 1 0.08417 0.594 1.356 0.1033 0.7287 1.664 json
t12_x19_u4_b100 12 19 4 100 cil(dot(R,sub(P,D))) 35865 98215735 o1(o2(x,o2(x,x))) true 116767 116767 0.05314 0.5358 0.8659 0.8225 0.9069 -1 1 2 1 2.738 0.02927 0.03775 0.1109 -0.1264 1 -0.00002899 0.07632 0.101 0.05469 0.2339 2.108 1.976 0.08148 0.09279 1 1 0.08587 0.6109 1.39 0.1044 0.7428 1.69 json
t12_x19_u4_b101 12 19 4 101 cil(dot(R,mlt(P,D))) 35866 98215736 o1(o2(x,o2(x,x))) true 116775 116775 0.3783 0.7447 0.6065 0.3683 0.6069 -1 1 2 1 4.107 0.05591 0.05418 0.1982 0.01571 1 0.00111 0.3205 0.3163 0.07081 0.2661 1.343 1.474 0.2989 0.8702 1 1 0.0981 0.4452 0.6074 0.2664 1.209 1.649 json
t12_x19_u4_b102 12 19 4 102 cil(dot(R,div(P,D))) 35867 98215737 o1(o2(x,o2(x,x))) true 116783 116783 -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_u4_b103 12 19 4 103 cil(dot(R,pow(P,D))) 35868 98215738 o1(o2(x,o2(x,x))) true 116791 116791 -0.6522 0.1839 0.9185 0.4709 0.6862 -1 1 2 1 1.694 0.008628 0.009606 0.03298 -0.05366 1 -0.0001335 0.03724 0.03817 0.01715 0.131 3.971 2 0.03872 0.07909 1 1 0.02236 0.1318 0.4382 0.04749 0.28 0.9307 json
t12_x19_u4_b104 12 19 4 104 cil(dot(R,mod(P,D))) 35869 98215739 o1(o2(x,o2(x,x))) true 116799 116799 -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_u4_b105 12 19 4 105 cil(dot(R,lrg(P,D))) 35870 98215740 o1(o2(x,o2(x,x))) true 116807 116807 0.3487 0.6886 0.3897 0.1954 0.442 -1 1 2 1 3.276 0.004179 0.004486 0.04897 -0.03545 1 -0.00004777 0.008347 0.02073 0.006267 0.07916 1.617 1 0.04434 0.04272 1 1 0.01442 0.1227 0.3197 0.07378 0.6278 1.636 json
t12_x19_u4_b106 12 19 4 106 cil(dot(R,eql(P,D))) 35871 98215741 o1(o2(x,o2(x,x))) true 116815 116815 0.4824 0.9295 0.4824 0.1507 0.3882 0 1 1 1 3.462 0.002182 0.002316 0.05264 -0.02985 1 -0.00002067 0.0002712 0.01287 0.001727 0.04156 0.7896 0.1169 0.02984 0.001799 1 1 0.009205 0.1184 0.3083 0.06107 0.7855 2.046 json
t12_x19_u4_b107 12 19 4 107 cil(dot(R,min(P,D))) 35872 98215742 o1(o2(x,o2(x,x))) true 116823 116823 0.2026 0.6663 0.7265 0.62 0.7874 -1 1 2 1 3.528 0.02749 0.0304 0.1136 -0.05036 1 -0.0001449 0.08675 0.1055 0.04499 0.2121 1.866 1.637 0.09338 0.1399 1 1 0.07366 0.5001 0.9955 0.1188 0.8067 1.606 json
t12_x19_u4_b108 12 19 4 108 cil(dot(R,dot(P,D))) 35873 98215743 o1(o2(x,o2(x,x))) true 116831 116831 0.3181 0.6858 0.676 0.4962 0.7044 -1 1 2 1 3.835 0.05953 0.06096 0.1982 -0.0118 1 0.0007338 0.3527 0.319 0.08117 0.2849 1.437 1.628 0.2428 0.7108 1 1 0.1216 0.6386 0.8551 0.2451 1.287 1.723 json
t12_x19_u4_b109 12 19 4 109 cil(dot(R,dst(P,D))) 35874 98215744 o1(o2(x,o2(x,x))) true 116839 116839 0.1201 0.5659 0.9005 0.8547 0.9245 -1 1 2 1 2.377 0.04012 0.04121 0.1092 -0.01335 1 -0.00009927 0.09315 0.1055 0.0694 0.2634 2.412 2.14 0.09515 0.109 1 1 0.1065 0.6897 1.523 0.1246 0.8069 1.782 json
t12_x19_u4_b110 12 19 4 110 cil(dst(R,add(P,D))) 35875 98215745 o1(o2(x,o2(x,x))) true 116847 116847 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_x19_u4_b111 12 19 4 111 cil(dst(R,sub(P,D))) 35876 98215746 o1(o2(x,o2(x,x))) true 116855 116855 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_x19_u4_b112 12 19 4 112 cil(dst(R,mlt(P,D))) 35877 98215747 o1(o2(x,o2(x,x))) true 116863 116863 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_x19_u4_b113 12 19 4 113 cil(dst(R,div(P,D))) 35878 98215748 o1(o2(x,o2(x,x))) true 116871 116871 -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_u4_b114 12 19 4 114 cil(dst(R,pow(P,D))) 35879 98215749 o1(o2(x,o2(x,x))) true 116879 116879 -0.5 0.25 1 0.75 0.866 -1 1 2 1 0.8113 0.007937 0.007937 0.007937 0 1 0 0.03187 0.01587 0.01581 0.1257 15.84 2 0.02116 0.0425 1 1 0.02105 0.08421 0.3368 0.02807 0.1123 0.4491 json
t12_x19_u4_b115 12 19 4 115 cil(dst(R,mod(P,D))) 35880 98215750 o1(o2(x,o2(x,x))) true 116887 116887 -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_u4_b116 12 19 4 116 cil(dst(R,lrg(P,D))) 35881 98215751 o1(o2(x,o2(x,x))) true 116895 116895 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_x19_u4_b117 12 19 4 117 cil(dst(R,eql(P,D))) 35882 98215752 o1(o2(x,o2(x,x))) true 116903 116903 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_x19_u4_b118 12 19 4 118 cil(dst(R,min(P,D))) 35883 98215753 o1(o2(x,o2(x,x))) true 116911 116911 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_x19_u4_b119 12 19 4 119 cil(dst(R,dot(P,D))) 35884 98215754 o1(o2(x,o2(x,x))) true 116919 116919 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_x19_u4_b120 12 19 4 120 cil(dst(R,dst(P,D))) 35885 98215755 o1(o2(x,o2(x,x))) true 116927 116927 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_x19_u5_b0 12 19 5 0 sgn(add(R,add(P,D))) 35886 98215836 o1(o2(x,o2(x,x))) true 116935 116935 0.0007641 0.5 0.9756 0.9666 0.9831 -1 1 2 1 1.469 0.0084 0.0006189 0.01506 0.8627 1 -0.0000178 0.01558 0.01516 0.008787 0.09374 6.226 1.94 0.00933 0.01612 1 1 0.01214 0.08522 0.3776 0.01256 0.08817 0.3906 json
t12_x19_u5_b1 12 19 5 1 sgn(add(R,sub(P,D))) 35887 98215837 o1(o2(x,o2(x,x))) true 116943 116943 0.0007641 0.4998 0.9553 0.9374 0.9682 -1 1 2 1 1.77 0.008893 0.0006345 0.02292 0.8668 1 -0.0000178 0.01563 0.0176 0.008999 0.09486 4.138 1.94 0.01016 0.01668 1 1 0.01273 0.08531 0.3513 0.01358 0.09101 0.3747 json
t12_x19_u5_b2 12 19 5 2 sgn(add(R,mlt(P,D))) 35888 98215838 o1(o2(x,o2(x,x))) true 116951 116951 -0.04323 0.4761 0.6567 0.5243 0.7241 -1 1 2 1 3.837 0.1647 0.004409 0.2217 0.9478 1 0.00248 0.3041 0.2178 0.1199 0.3463 1.562 1.999 0.3225 0.58 1 1 0.1784 0.7363 0.7113 0.3403 1.404 1.357 json
t12_x19_u5_b3 12 19 5 3 sgn(add(R,div(P,D))) 35889 98215839 o1(o2(x,o2(x,x))) true 116959 116959 -0.07031 0.4634 0.7051 0.5848 0.7647 -1 0.9994 1.999 1 3.45 0.2429 0.0004214 0.2309 0.9965 1 -0.0003708 0.4508 0.2499 0.19 0.4358 1.888 1.999 0.4161 0.771 1 1 0.2592 0.921 0.2892 0.4433 1.575 0.4946 json
t12_x19_u5_b4 12 19 5 4 sgn(add(R,pow(P,D))) 35890 98215840 o1(o2(x,o2(x,x))) true 116967 116967 -0.04196 0.4877 0.9222 0.8892 0.943 -1 1 2 1 2.2 0.02787 0.001046 0.04603 0.9277 1 -0.00001598 0.05132 0.04117 0.02678 0.1637 3.556 1.999 0.03251 0.05772 1 1 0.03577 0.1719 0.4119 0.04023 0.1933 0.4632 json
t12_x19_u5_b5 12 19 5 5 sgn(add(R,mod(P,D))) 35891 98215841 o1(o2(x,o2(x,x))) true 116975 116975 -0.01482 0.4911 0.7263 0.6238 0.7898 -1 1 2 1 3.961 0.09283 0.009665 0.1728 0.8114 1 -0.00003633 0.2316 0.1897 0.07263 0.2695 1.559 2 0.1643 0.3712 1 1 0.09099 0.5129 1.147 0.1459 0.8221 1.839 json
t12_x19_u5_b6 12 19 5 6 sgn(add(R,lrg(P,D))) 35892 98215842 o1(o2(x,o2(x,x))) true 116983 116983 0.5078 0.7563 0.8613 0.55 0.7416 -1 1 2 1 2.597 0.01247 0.004714 0.05702 0.4513 1 0.00001856 0.01705 0.02147 0.01393 0.118 2.07 1.999 0.03124 0.031 1 1 0.02848 0.2558 0.6837 0.05178 0.4651 1.243 json
t12_x19_u5_b7 12 19 5 7 sgn(add(R,eql(P,D))) 35893 98215843 o1(o2(x,o2(x,x))) true 116991 116991 -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_x19_u5_b8 12 19 5 8 sgn(add(R,min(P,D))) 35894 98215844 o1(o2(x,o2(x,x))) true 116999 116999 -0.5038 0.2474 0.8349 0.5205 0.7214 -1 1 2 1 2.759 0.03986 0.004529 0.08554 0.7959 1 0.0003926 0.07257 0.07063 0.03707 0.1925 2.251 1.999 0.08528 0.1394 1 1 0.05175 0.3424 0.6771 0.09943 0.6579 1.301 json
t12_x19_u5_b9 12 19 5 9 sgn(add(R,dot(P,D))) 35895 98215845 o1(o2(x,o2(x,x))) true 117007 117007 -0.07247 0.453 0.5778 0.4229 0.6503 -1 1 2 1 4.338 0.1259 0.1235 0.2753 0.009568 1 0.002445 0.7823 0.3391 0.1737 0.4167 1.514 2.826 0.5898 1.85 1 1 0.2506 0.8427 0.5078 0.5924 1.993 1.201 json
t12_x19_u5_b10 12 19 5 10 sgn(add(R,dst(P,D))) 35896 98215846 o1(o2(x,o2(x,x))) true 117015 117015 0.9991 0.9998 0.9992 0.0006796 0.02607 -0.343 1 1.343 1 0.0259 0.0001026 0.0003303 0.0006824 -0.5258 1 -6.382e-11 0.00122 0.0009641 0.0004323 0.02079 30.47 1.573 0.637 1.796 1 1 0.0007486 0.002144 0.002472 1.102 3.154 3.637 json
t12_x19_u5_b11 12 19 5 11 sgn(sub(R,add(P,D))) 35897 98215847 o1(o2(x,o2(x,x))) true 117023 117023 0.003489 0.5011 0.9723 0.9618 0.9807 -1 1 2 1 1.523 0.01026 0.000672 0.0172 0.877 1 -0.00001922 0.01894 0.01759 0.01064 0.1031 5.995 1.999 0.01136 0.01969 1 1 0.01435 0.09085 0.3692 0.01492 0.09446 0.3838 json
t12_x19_u5_b12 12 19 5 12 sgn(sub(R,sub(P,D))) 35898 98215848 o1(o2(x,o2(x,x))) true 117031 117031 0.003489 0.5009 0.9518 0.9327 0.9658 -1 1 2 1 1.816 0.01032 0.0006988 0.02511 0.8731 1 -0.00001922 0.01847 0.0197 0.01039 0.1019 4.059 1.985 0.01181 0.01981 1 1 0.01443 0.09135 0.3522 0.01547 0.09794 0.3776 json
t12_x19_u5_b13 12 19 5 13 sgn(sub(R,mlt(P,D))) 35899 98215849 o1(o2(x,o2(x,x))) true 117039 117039 0.06618 0.5365 0.6664 0.5345 0.7311 -1 1 2 1 3.804 0.1645 0.004466 0.219 0.9471 1 -0.0006787 0.3014 0.2153 0.121 0.3479 1.589 1.999 0.3162 0.5638 1 1 0.1792 0.7484 0.7211 0.3352 1.4 1.349 json