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
t17_x6_u1_b0 17 6 1 0 add(P,add(R,log(P))) 102700 138292824 o2(x,o2(x,o1(x))) true 138407 138407 -0.1268 0.4375 0.9982 0.9808 0.9903 -1 1 2 1 1.048 0.01439 0.00002159 0.008074 0.997 1 -0.000006228 0.02866 0.01538 0.01434 0.1197 14.83 2 0.01469 0.02922 1 1 0.01904 0.08076 0.3335 0.01941 0.08234 0.34 json
t17_x6_u1_b1 17 6 1 1 add(P,sub(R,log(P))) 102701 138292825 o2(x,o2(x,o1(x))) true 138415 138415 -0.1318 0.4375 0.9932 0.9717 0.9857 -1 1 2 1 1.195 0.01441 0.00006702 0.009199 0.9907 1 -0.00001218 0.02872 0.01591 0.01439 0.1199 13.04 2 0.0149 0.02955 1 1 0.01914 0.07975 0.3236 0.0197 0.08207 0.3331 json
t17_x6_u1_b2 17 6 1 2 add(P,mlt(R,log(P))) 102702 138292826 o2(x,o2(x,o1(x))) true 138423 138423 -0.125 0.4375 1 0.9844 0.9922 -1 1 2 1 0.9887 0.01587 0 0.007937 1 1 0 0.03175 0.01587 0.01581 0.1257 15.84 2 0.01612 0.03225 1 1 0.02105 0.08421 0.3368 0.02139 0.08555 0.3422 json
t17_x6_u1_b3 17 6 1 3 add(P,div(R,log(P))) 102703 138292827 o2(x,o2(x,o1(x))) true 138431 138431 -0.2502 0.375 0.9998 0.937 0.968 -1 1 2 1 0.9662 0.0156 0.000003526 0.007962 0.9995 1 1.502e-11 0.03118 0.01579 0.01554 0.1246 15.66 2 0.01665 0.03327 1 1 0.0208 0.08386 0.3365 0.0222 0.0895 0.3592 json
t17_x6_u1_b4 17 6 1 4 add(P,pow(R,log(P))) 102704 138292828 o2(x,o2(x,o1(x))) true 138439 138439 -0.9844 0.007813 1 0.03101 0.1761 -1 1 2 1 0.06591 0.002771 0.002771 0.002771 0 1 0 0.01159 0.005543 0.005537 0.07441 26.85 2 0.1788 0.3738 1 1 0 0 0.02659 0 0 0.8577 json
t17_x6_u1_b5 17 6 1 5 add(P,mod(R,log(P))) 102705 138292829 o2(x,o2(x,o1(x))) true 138447 138447 -0.25 0.375 1 0.9375 0.9682 -1 1 2 1 0.9544 0.01587 0 0.007937 1 1 0 0.03175 0.01587 0.01581 0.1257 15.84 2 0.01693 0.03386 1 1 0.02105 0.08421 0.3368 0.02246 0.08982 0.3593 json
t17_x6_u1_b6 17 6 1 6 add(P,lrg(R,log(P))) 102706 138292830 o2(x,o2(x,o1(x))) true 138455 138455 0.125 0.5625 0.9375 0.9084 0.9531 -1 1 2 1 1.8 0.0007059 0 0.007937 1 1 0 0.00003235 0.001851 0.0006432 0.02536 3.195 0.1169 0.0007771 0.00003562 1 1 0.001851 0.02449 0.2344 0.002038 0.02696 0.2581 json
t17_x6_u1_b7 17 6 1 7 add(P,eql(R,log(P))) 102707 138292831 o2(x,o2(x,o1(x))) true 138463 138463 0 0.5 0.9375 0.924 0.9612 -1 1 2 1 1.813 0.0007059 0 0.007937 1 1 0 0.00003235 0.001851 0.0006432 0.02536 3.195 0.1169 0.0007639 0.00003501 1 1 0.001851 0.02449 0.2344 0.002003 0.0265 0.2537 json
t17_x6_u1_b8 17 6 1 8 add(P,min(R,log(P))) 102708 138292832 o2(x,o2(x,o1(x))) true 138471 138471 -0.1219 0.4375 0.9914 0.9717 0.9858 -1 1 2 1 1.22 0.01476 0.00006386 0.01071 0.9914 1 -0.000004162 0.02922 0.01823 0.01472 0.1213 11.32 2 0.01526 0.03006 1 1 0.01958 0.08335 0.3388 0.02015 0.08578 0.3486 json
t17_x6_u1_b9 17 6 1 9 add(P,dot(R,log(P))) 102709 138292833 o2(x,o2(x,o1(x))) true 138479 138479 -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
t17_x6_u1_b10 17 6 1 10 add(P,dst(R,log(P))) 102710 138292834 o2(x,o2(x,o1(x))) true 138487 138487 -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
t17_x6_u1_b11 17 6 1 11 sub(P,add(R,log(P))) 102711 138292835 o2(x,o2(x,o1(x))) true 138495 138495 -0.137 0.4375 0.988 0.9639 0.9818 -1 1 2 1 1.257 0.01117 0.00011 0.009241 0.9805 1 -0.000002071 0.02205 0.01411 0.01119 0.1058 11.45 2 0.0117 0.02288 1 1 0.01632 0.07374 0.3214 0.01694 0.07651 0.3335 json
t17_x6_u1_b12 17 6 1 12 sub(P,sub(R,log(P))) 102712 138292836 o2(x,o2(x,o1(x))) true 138503 138503 -0.131 0.4375 0.994 0.9737 0.9868 -1 1 2 1 1.117 0.01123 0.00004537 0.008198 0.992 1 0 0.02203 0.01393 0.01121 0.1059 12.91 2 0.01158 0.02262 1 1 0.01629 0.07583 0.3295 0.01673 0.07788 0.3384 json
t17_x6_u1_b13 17 6 1 13 sub(P,mlt(R,log(P))) 102713 138292837 o2(x,o2(x,o1(x))) true 138511 138511 -0.125 0.4375 1 0.9844 0.9922 -1 1 2 1 0.9887 0.01587 0 0.007937 1 1 0 0.03175 0.01587 0.01581 0.1257 15.84 2 0.01612 0.03225 1 1 0.02105 0.08421 0.3368 0.02139 0.08555 0.3422 json
t17_x6_u1_b14 17 6 1 14 sub(P,div(R,log(P))) 102714 138292838 o2(x,o2(x,o1(x))) true 138519 138519 -0.2502 0.375 0.9998 0.9371 0.968 -1 1 2 1 0.9657 0.01567 0.000004897 0.007973 0.9994 1 -0.000001252 0.03132 0.01583 0.0156 0.1249 15.67 2 0.01672 0.03342 1 1 0.0208 0.08383 0.3365 0.0222 0.08946 0.3591 json
t17_x6_u1_b15 17 6 1 15 sub(P,pow(R,log(P))) 102715 138292839 o2(x,o2(x,o1(x))) true 138527 138527 -0.986 0.007813 0.9983 0.02573 0.1604 -1 1 2 1 0.08153 0.002138 0.002464 0.002679 -0.07078 1 -9.35e-7 0.009562 0.00497 0.004592 0.06777 25.3 2 0.1788 0.3716 1 1 0 0 0.0221 0 0 0.8589 json
t17_x6_u1_b16 17 6 1 16 sub(P,mod(R,log(P))) 102716 138292840 o2(x,o2(x,o1(x))) true 138535 138535 -0.25 0.375 1 0.9375 0.9682 -1 1 2 1 0.9544 0.01587 0 0.007937 1 1 0 0.03175 0.01587 0.01581 0.1257 15.84 2 0.01693 0.03386 1 1 0.02105 0.08421 0.3368 0.02246 0.08982 0.3593 json
t17_x6_u1_b17 17 6 1 17 sub(P,lrg(R,log(P))) 102717 138292841 o2(x,o2(x,o1(x))) true 138543 138543 -0.09545 0.4529 0.9587 0.9379 0.9684 -1 1 2 1 1.635 0.001084 0.0001665 0.009033 0.7336 1 0.000008378 0.0001447 0.002636 0.001168 0.03418 3.784 0.2338 0.001333 0.0001543 1 1 0.003312 0.04062 0.2767 0.003532 0.04331 0.2951 json
t17_x6_u1_b18 17 6 1 18 sub(P,eql(R,log(P))) 102718 138292842 o2(x,o2(x,o1(x))) true 138551 138551 0 0.5 0.9375 0.924 0.9612 -1 1 2 1 1.813 0.0007059 0 0.007937 1 1 0 0.00003235 0.001851 0.0006432 0.02536 3.195 0.1169 0.0007639 0.00003501 1 1 0.001851 0.02449 0.2344 0.002003 0.0265 0.2537 json
t17_x6_u1_b19 17 6 1 19 sub(P,min(R,log(P))) 102719 138292843 o2(x,o2(x,o1(x))) true 138559 138559 -0.1218 0.4375 0.9968 0.9795 0.9897 -1 1 2 1 1.095 0.01616 0.00003813 0.009255 0.9953 1 0.000006904 0.03229 0.01736 0.01611 0.1269 13.71 2 0.01654 0.03297 1 1 0.02146 0.0859 0.3395 0.02191 0.08769 0.3466 json
t17_x6_u1_b20 17 6 1 20 sub(P,dot(R,log(P))) 102720 138292844 o2(x,o2(x,o1(x))) true 138567 138567 -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
t17_x6_u1_b21 17 6 1 21 sub(P,dst(R,log(P))) 102721 138292845 o2(x,o2(x,o1(x))) true 138575 138575 -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
t17_x6_u1_b22 17 6 1 22 mlt(P,add(R,log(P))) 102722 138292846 o2(x,o2(x,o1(x))) true 138583 138583 -0.1586 0.4265 0.9723 0.9377 0.9684 -1 1 2 1 1.454 0.007823 0.0003452 0.01058 0.9155 1 -0.00001707 0.01477 0.01239 0.00806 0.08977 8.489 1.944 0.008711 0.01575 1 1 0.01069 0.06016 0.2982 0.0114 0.06416 0.318 json
t17_x6_u1_b23 17 6 1 23 mlt(P,sub(R,log(P))) 102723 138292847 o2(x,o2(x,o1(x))) true 138591 138591 -0.9571 0.01825 0.9718 0.04677 0.2163 -1 0.9429 1.943 1 0.5353 0.008244 0.0004281 0.01233 0.9013 1 -4.642e-7 0.01504 0.01298 0.008519 0.0923 7.487 1.943 0.1854 0.3214 1 1 0.01187 0.05338 0.07535 0.2537 1.141 1.611 json
t17_x6_u1_b24 17 6 1 24 mlt(P,mlt(R,log(P))) 102724 138292848 o2(x,o2(x,o1(x))) true 138599 138599 -0.606 0.1896 0.9044 0.5128 0.7161 -1 1 2 1 1.876 0.01642 0.01353 0.04669 0.09649 1 0.00001055 0.03502 0.04103 0.02778 0.1667 3.57 2 0.0584 0.06829 1 1 0.03349 0.2396 0.6169 0.06532 0.4672 1.203 json
t17_x6_u1_b25 17 6 1 25 mlt(P,div(R,log(P))) 102725 138292849 o2(x,o2(x,o1(x))) true 138607 138607 -0.6607 0.164 0.9125 0.4468 0.6684 -1 1 2 1 1.89 0.01122 0.005769 0.04142 0.3208 1 -0.00001449 0.01526 0.02276 0.01527 0.1236 2.983 2 0.03803 0.03416 1 1 0.02386 0.1966 0.5226 0.05341 0.4401 1.17 json
t17_x6_u1_b26 17 6 1 26 mlt(P,pow(R,log(P))) 102726 138292850 o2(x,o2(x,o1(x))) true 138615 138615 -0.9845 0.007813 0.9999 0.03069 0.1752 -1 1 2 1 0.0697 0.002694 0.002682 0.002761 0.00228 1 2.628e-11 0.0112 0.005475 0.005366 0.07325 26.53 2 0.1752 0.3649 1 1 0 0 0.0263 0 0 0.857 json
t17_x6_u1_b27 17 6 1 27 mlt(P,mod(R,log(P))) 102727 138292851 o2(x,o2(x,o1(x))) true 138623 138623 -0.6653 0.1638 0.9333 0.468 0.6841 -1 1 2 1 1.639 0.01253 0.008736 0.04178 0.1783 1 0.000003407 0.01875 0.02911 0.01952 0.1397 3.344 2 0.04543 0.04006 1 1 0.02639 0.2078 0.5627 0.05638 0.4439 1.202 json
t17_x6_u1_b28 17 6 1 28 mlt(P,lrg(R,log(P))) 102728 138292852 o2(x,o2(x,o1(x))) true 138631 138631 -0.421 0.1249 0.5165 0.3199 0.5656 -1 1 2 1 2.059 0.000801 0.000298 0.01167 0.4577 1 -0.000009189 0.00009243 0.002962 0.000963 0.03103 2.658 0.2265 0.003435 0.0002889 1 1 0.002741 0.03459 0.1811 0.008568 0.1081 0.566 json
t17_x6_u1_b29 17 6 1 29 mlt(P,eql(R,log(P))) 102729 138292853 o2(x,o2(x,o1(x))) true 138639 138639 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
t17_x6_u1_b30 17 6 1 30 mlt(P,min(R,log(P))) 102730 138292854 o2(x,o2(x,o1(x))) true 138647 138647 -0.2042 0.3892 0.8128 0.711 0.8432 -1 1 2 1 3.229 0.02284 0.01927 0.09222 0.08475 1 -0.00004163 0.03337 0.06092 0.03361 0.1833 1.988 1.947 0.05922 0.04694 1 1 0.0582 0.4625 1.143 0.08186 0.6505 1.607 json
t17_x6_u1_b31 17 6 1 31 mlt(P,dot(R,log(P))) 102731 138292855 o2(x,o2(x,o1(x))) true 138655 138655 -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
t17_x6_u1_b32 17 6 1 32 mlt(P,dst(R,log(P))) 102732 138292856 o2(x,o2(x,o1(x))) true 138663 138663 -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
t17_x6_u1_b33 17 6 1 33 div(P,add(R,log(P))) 102733 138292857 o2(x,o2(x,o1(x))) true 138671 138671 -0.07951 0.4633 0.9709 0.9586 0.9791 -1 1 2 1 1.404 0.007606 0.00383 0.01663 0.3302 1 -0.00001219 0.01511 0.01718 0.01116 0.1057 6.352 2.001 0.01193 0.01577 1 1 0.02232 0.1272 0.4061 0.02328 0.1327 0.4236 json
t17_x6_u1_b34 17 6 1 34 div(P,sub(R,log(P))) 102734 138292858 o2(x,o2(x,o1(x))) true 138679 138679 -0.8792 0.06306 0.9682 0.1884 0.434 -1 1 2 1 0.7189 0.00737 0.004651 0.01889 0.2262 1 -0.000004512 0.01464 0.01828 0.01167 0.108 5.72 2.053 0.06381 0.07771 1 1 0.02328 0.1415 0.3923 0.1236 0.7512 2.083 json
t17_x6_u1_b35 17 6 1 35 div(P,mlt(R,log(P))) 102735 138292859 o2(x,o2(x,o1(x))) true 138687 138687 -0.6802 0.1599 0.9874 0.5202 0.7212 -1 1 2 1 0.8743 0.03213 0.03165 0.04795 0.007508 1 -0.00001061 0.1166 0.07084 0.06144 0.2479 5.17 2.828 0.1226 0.2241 1 1 0.06824 0.3439 0.7464 0.1312 0.6612 1.435 json
t17_x6_u1_b36 17 6 1 36 div(P,div(R,log(P))) 102736 138292860 o2(x,o2(x,o1(x))) true 138695 138695 -0.6283 0.1846 0.9695 0.5682 0.7538 -1 1 2 1 1.113 0.03832 0.04119 0.05658 -0.0361 1 -0.00001913 0.1731 0.09008 0.07632 0.2763 4.882 2.828 0.1399 0.3047 1 1 0.0783 0.3842 0.8237 0.1378 0.6762 1.45 json
t17_x6_u1_b37 17 6 1 37 div(P,pow(R,log(P))) 102737 138292861 o2(x,o2(x,o1(x))) true 138703 138703 -0.9609 0.02344 0.9922 0.06706 0.259 -1 1 2 1 0.226 0.0079 0.006387 0.008969 0.1059 1 -1.201e-10 0.03013 0.01633 0.01421 0.1192 13.29 2.828 0.213 0.4493 1 1 0.01203 0.04862 0.1347 0.1794 0.725 2.009 json
t17_x6_u1_b38 17 6 1 38 div(P,mod(R,log(P))) 102738 138292862 o2(x,o2(x,o1(x))) true 138711 138711 -0.6798 0.1602 0.9904 0.5247 0.7244 -1 1 2 1 0.8251 0.03594 0.03633 0.04858 -0.005396 1 -0.00001325 0.1476 0.07876 0.06995 0.2645 5.444 2.828 0.1377 0.2814 1 1 0.07233 0.3453 0.7568 0.1379 0.6581 1.442 json
t17_x6_u1_b39 17 6 1 39 div(P,lrg(R,log(P))) 102739 138292863 o2(x,o2(x,o1(x))) true 138719 138719 -0.9004 0.03906 0.959 0.1393 0.3733 -1 1 2 1 0.785 0.01312 0.008151 0.01733 0.2338 1 -3.004e-11 0.04377 0.02562 0.02097 0.1448 8.355 2.828 0.1527 0.3142 1 1 0.02977 0.1275 0.2575 0.2136 0.9152 1.848 json
t17_x6_u1_b40 17 6 1 40 div(P,eql(R,log(P))) 102740 138292864 o2(x,o2(x,o1(x))) true 138727 138727 -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
t17_x6_u1_b41 17 6 1 41 div(P,min(R,log(P))) 102741 138292865 o2(x,o2(x,o1(x))) true 138735 138735 -0.1304 0.4328 0.953 0.9246 0.9615 -1 1 2 1 1.665 0.07441 0.08375 0.1126 -0.05906 1 0.00001195 0.3236 0.177 0.1455 0.3814 3.386 2.828 0.1711 0.3501 1 1 0.174 0.8282 1.757 0.1882 0.8958 1.901 json
t17_x6_u1_b42 17 6 1 42 div(P,dot(R,log(P))) 102742 138292866 o2(x,o2(x,o1(x))) true 138743 138743 -0.8047 0 0.8047 0.1571 0.3964 -1 0 1 1 0.7125 0.001732 0.002236 0.003968 -0.127 1 0 0.008031 0.007937 0.003952 0.06287 15.84 1 0.02525 0.05111 1 1 0.005263 0.02105 0.07712 0.0335 0.134 0.4908 json
t17_x6_u1_b43 17 6 1 43 div(P,dst(R,log(P))) 102743 138292867 o2(x,o2(x,o1(x))) true 138751 138751 -0.75 0 0.75 0.1875 0.433 -1 0 1 1 0.8113 0.001984 0.001984 0.003968 0 1 0 0.007968 0.007937 0.003952 0.06287 15.84 1 0.02116 0.0425 1 1 0.005263 0.02105 0.08421 0.02807 0.1123 0.4491 json
t17_x6_u1_b44 17 6 1 44 pow(P,add(R,log(P))) 102744 138292868 o2(x,o2(x,o1(x))) true 138759 138759 -0.1253 0.4375 0.9997 0.9837 0.9918 -1 1 2 1 1.01 0.01588 0.00000188 0.008043 0.9998 1 -3.004e-11 0.03175 0.01594 0.01581 0.1257 15.63 2 0.01614 0.03228 1 1 0.02106 0.08419 0.3363 0.02141 0.08558 0.3419 json
t17_x6_u1_b45 17 6 1 45 pow(P,sub(R,log(P))) 102745 138292869 o2(x,o2(x,o1(x))) true 138767 138767 -0.3516 0.5 0.6484 0.4704 0.6859 -1 1 2 1 2.68 0.004487 0.00007723 0.01475 0.9662 1 -6.901e-7 0.007918 0.0104 0.004346 0.06592 4.471 1 0.009702 0.01683 1 1 0.00686 0.04784 0.2811 0.01458 0.1017 0.5975 json
t17_x6_u1_b46 17 6 1 46 pow(P,mlt(R,log(P))) 102746 138292870 o2(x,o2(x,o1(x))) true 138775 138775 -0.1662 0.4609 0.912 0.8515 0.9228 -1 1 2 1 2.172 0.0125 0.0029 0.02191 0.6233 1 -0.0001384 0.02838 0.02368 0.01492 0.1222 5.575 2.828 0.01808 0.03334 1 1 0.02167 0.1001 0.3839 0.02544 0.1175 0.4509 json
t17_x6_u1_b47 17 6 1 47 pow(P,div(R,log(P))) 102747 138292871 o2(x,o2(x,o1(x))) true 138783 138783 -0.05905 0.5 0.941 0.9007 0.9491 -1 1 2 1 2.076 0.01616 0.0003561 0.0175 0.9569 1 -0.00002688 0.03196 0.02027 0.01621 0.1273 7.277 2 0.01834 0.03548 1 1 0.02217 0.0948 0.3461 0.02461 0.1052 0.3842 json
t17_x6_u1_b48 17 6 1 48 pow(P,pow(R,log(P))) 102748 138292872 o2(x,o2(x,o1(x))) true 138791 138791 -0.9609 0.02344 0.9922 0.06706 0.259 -1 1 2 1 0.226 0.0079 0.006387 0.008969 0.1059 1 -1.201e-10 0.03013 0.01633 0.01421 0.1192 13.29 2.828 0.213 0.4493 1 1 0.01203 0.04862 0.1347 0.1794 0.725 2.009 json
t17_x6_u1_b49 17 6 1 49 pow(P,mod(R,log(P))) 102749 138292873 o2(x,o2(x,o1(x))) true 138799 138799 -0.1943 0.4375 0.9307 0.8572 0.9258 -1 1 2 1 2.071 0.01637 0.0006065 0.01916 0.9285 1 -0.00005175 0.03225 0.02163 0.0166 0.1289 6.724 2 0.0198 0.03762 1 1 0.02258 0.09614 0.337 0.02634 0.1122 0.3932 json
t17_x6_u1_b50 17 6 1 50 pow(P,lrg(R,log(P))) 102750 138292874 o2(x,o2(x,o1(x))) true 138807 138807 -0.03125 0.5 0.9688 0.9603 0.98 -1 1 2 1 1.406 0.004323 0 0.007937 1 1 -9.386e-13 0.007903 0.008812 0.004259 0.06526 8.223 1 0.004502 0.008229 1 1 0.006228 0.03975 0.2856 0.006485 0.04139 0.2974 json
t17_x6_u1_b51 17 6 1 51 pow(P,eql(R,log(P))) 102751 138292875 o2(x,o2(x,o1(x))) true 138815 138815 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
t17_x6_u1_b52 17 6 1 52 pow(P,min(R,log(P))) 102752 138292876 o2(x,o2(x,o1(x))) true 138823 138823 -0.1951 0.4375 0.9299 0.8563 0.9254 -1 1 2 1 2.075 0.01638 0.0006129 0.01933 0.9278 1 -0.00005152 0.03226 0.02172 0.01661 0.1289 6.666 2 0.01984 0.03767 1 1 0.0226 0.09624 0.3364 0.02639 0.1124 0.3929 json
t17_x6_u1_b53 17 6 1 53 pow(P,dot(R,log(P))) 102753 138292877 o2(x,o2(x,o1(x))) true 138831 138831 -0.9395 0.02734 0.9824 0.09862 0.314 -1 1 2 1 0.3209 0.01266 0.009465 0.01358 0.1446 1 0 0.04692 0.02607 0.02195 0.1482 10.91 2.828 0.2244 0.4758 1 1 0.02954 0.1205 0.2061 0.2996 1.222 2.09 json
t17_x6_u1_b54 17 6 1 54 pow(P,dst(R,log(P))) 102754 138292878 o2(x,o2(x,o1(x))) true 138839 138839 -0.9531 0.03125 0.9844 0.07253 0.2693 -1 0.9997 2 1 0.307 0.0101 0.0006026 0.008313 0.8873 1 -4.13e-11 0.02124 0.01309 0.01063 0.1031 12.4 2 0.1475 0.2928 1 1 0.01466 0.05967 0.1177 0.2021 0.8226 1.622 json
t17_x6_u1_b55 17 6 1 55 mod(P,add(R,log(P))) 102755 138292879 o2(x,o2(x,o1(x))) true 138847 138847 -0.3101 0.4375 0.8149 0.6537 0.8085 -1 1 2 1 2.635 0.006072 0.0005363 0.01942 0.8377 1 -0.00003136 0.01131 0.01404 0.00623 0.07893 4.063 1.398 0.01011 0.01731 1 1 0.009032 0.04991 0.2147 0.01382 0.07635 0.3284 json
t17_x6_u1_b56 17 6 1 56 mod(P,sub(R,log(P))) 102756 138292880 o2(x,o2(x,o1(x))) true 138855 138855 -0.2999 0.4375 0.8251 0.6732 0.8205 -1 1 2 1 2.597 0.006165 0.0006874 0.02153 0.7994 1 -0.00003397 0.01132 0.0146 0.006386 0.07991 3.712 1.398 0.01018 0.01682 1 1 0.009704 0.06018 0.2415 0.01442 0.0894 0.3588 json
t17_x6_u1_b57 17 6 1 57 mod(P,mlt(R,log(P))) 102757 138292881 o2(x,o2(x,o1(x))) true 138863 138863 -0.4697 0.375 0.7803 0.4997 0.7069 -1 1 2 1 2.402 0.00561 0.0003663 0.01741 0.8774 1 -0.00001287 0.01047 0.01219 0.005674 0.07533 4.326 1.615 0.01196 0.02095 1 1 0.008126 0.04569 0.2083 0.01626 0.09142 0.4168 json
t17_x6_u1_b58 17 6 1 58 mod(P,div(R,log(P))) 102758 138292882 o2(x,o2(x,o1(x))) true 138871 138871 -0.554 0.375 0.696 0.3373 0.5808 -1 0.6773 1.677 1 2.03 0.006883 0.00007658 0.01101 0.978 1 -0.000004336 0.01365 0.01167 0.006839 0.0827 7.512 1.667 0.02063 0.04048 1 1 0.009394 0.0394 0.1468 0.02785 0.1168 0.4351 json
t17_x6_u1_b59 17 6 1 59 mod(P,pow(R,log(P))) 102759 138292883 o2(x,o2(x,o1(x))) true 138879 138879 -0.991 0.007568 0.9934 0.01034 0.1017 -1 0.3599 1.36 1 0.08528 0.0008371 0.0009506 0.001692 -0.0635 1 0.000001016 0.003725 0.003153 0.001785 0.04225 24.97 1.35 0.173 0.3604 1 1 0 0 0.008812 0 0 0.8526 json
t17_x6_u1_b60 17 6 1 60 mod(P,mod(R,log(P))) 102760 138292884 o2(x,o2(x,o1(x))) true 138887 138887 -0.5289 0.375 0.7211 0.3816 0.6177 -1 0.7988 1.799 1 2.19 0.005587 0.000135 0.01257 0.9528 1 0.000004704 0.01089 0.01106 0.005562 0.07458 5.932 1.366 0.015 0.02854 1 1 0.007629 0.0355 0.157 0.01999 0.09304 0.4114 json
t17_x6_u1_b61 17 6 1 61 mod(P,lrg(R,log(P))) 102761 138292885 o2(x,o2(x,o1(x))) true 138895 138895 -0.4805 0 0.4805 0.2495 0.4995 -1 0 1 1 0.9989 0.003968 0.001512 0.005452 0.4483 1 0 0.01134 0.01096 0.005451 0.07383 13.54 1.414 0.02197 0.04545 1 1 0.006371 0.02615 0.1019 0.02554 0.1048 0.4086 json
t17_x6_u1_b62 17 6 1 62 mod(P,eql(R,log(P))) 102762 138292886 o2(x,o2(x,o1(x))) true 138903 138903 -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
t17_x6_u1_b63 17 6 1 63 mod(P,min(R,log(P))) 102763 138292887 o2(x,o2(x,o1(x))) true 138911 138911 -0.1795 0.3789 0.3751 0.2184 0.4673 -1 0.7988 1.799 1 4.084 0.008924 0.001016 0.02528 0.7955 1 0.0000013 0.01895 0.02119 0.009301 0.09644 3.815 1.708 0.04552 0.08679 1 1 0.01395 0.06488 0.2384 0.06389 0.2971 1.092 json
t17_x6_u1_b64 17 6 1 64 mod(P,dot(R,log(P))) 102764 138292888 o2(x,o2(x,o1(x))) true 138919 138919 -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
t17_x6_u1_b65 17 6 1 65 mod(P,dst(R,log(P))) 102765 138292889 o2(x,o2(x,o1(x))) true 138927 138927 -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
t17_x6_u1_b66 17 6 1 66 lrg(P,add(R,log(P))) 102766 138292890 o2(x,o2(x,o1(x))) true 138935 138935 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
t17_x6_u1_b67 17 6 1 67 lrg(P,sub(R,log(P))) 102767 138292891 o2(x,o2(x,o1(x))) true 138943 138943 0.9375 1 0.9375 0.04507 0.2123 0.000291 1 0.9997 1 0.8126 0.0007059 0 0.007934 1 1 -9.461e-10 0.00003241 0.001855 0.0006433 0.02536 3.197 0.1169 0.01566 0.0007193 1 1 0.001851 0.02408 0.06598 0.04107 0.5344 1.464 json
t17_x6_u1_b68 17 6 1 68 lrg(P,mlt(R,log(P))) 102768 138292892 o2(x,o2(x,o1(x))) true 138951 138951 0.9648 1 0.9648 0.02431 0.1559 0.000291 1 0.9997 1 0.5835 0.0003631 0.0001053 0.005422 0.5502 1 -0.000005705 0.00002431 0.001291 0.0004388 0.02095 3.863 0.1169 0.01927 0.001 1 1 0.001224 0.01595 0.05043 0.05036 0.656 2.074 json
t17_x6_u1_b69 17 6 1 69 lrg(P,div(R,log(P))) 102769 138292893 o2(x,o2(x,o1(x))) true 138959 138959 0.8984 0.9783 0.8984 0.07439 0.2727 0 1 1 1 1.095 0.0006574 0.0001755 0.00962 0.5787 1 0.00001141 0.00004297 0.002287 0.0007403 0.02721 2.828 0.1169 0.0112 0.0005777 1 1 0.002204 0.02867 0.114 0.02963 0.3854 1.532 json
t17_x6_u1_b70 17 6 1 70 lrg(P,pow(R,log(P))) 102770 138292894 o2(x,o2(x,o1(x))) true 138967 138967 0.9102 0.9831 0.9102 0.06626 0.2574 0 1 1 1 1.008 0.0006768 0.0001053 0.008948 0.7306 1 0.000005703 0.00003877 0.002115 0.0007021 0.0265 2.961 0.1169 0.0118 0.0005851 1 1 0.002072 0.02707 0.115 0.03127 0.4086 1.736 json
t17_x6_u1_b71 17 6 1 71 lrg(P,mod(R,log(P))) 102771 138292895 o2(x,o2(x,o1(x))) true 138975 138975 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
t17_x6_u1_b72 17 6 1 72 lrg(P,lrg(R,log(P))) 102772 138292896 o2(x,o2(x,o1(x))) true 138983 138983 0.4297 0.4783 0.4297 0.2349 0.4847 0 1 1 1 1.451 0.0003045 0.0001755 0.005652 0.2688 1 0.00001141 0.00002677 0.001359 0.0004481 0.02117 3.745 0.1169 0.002043 0.0001139 1 1 0.001279 0.01661 0.07962 0.005444 0.0707 0.3389 json
t17_x6_u1_b73 17 6 1 73 lrg(P,eql(R,log(P))) 102773 138292897 o2(x,o2(x,o1(x))) true 138991 138991 0.4688 0.5 0.4688 0.2423 0.4922 0 1 1 1 1.326 0.0003529 0 0.003968 1 1 -4.731e-10 0.00001619 0.0009276 0.0003372 0.01836 4.628 0.1169 0.001457 0.00006684 1 1 0.0009255 0.01214 0.0751 0.00382 0.05012 0.31 json
t17_x6_u1_b74 17 6 1 74 lrg(P,min(R,log(P))) 102774 138292898 o2(x,o2(x,o1(x))) true 138999 138999 0.5313 0.5625 0.5313 0.2423 0.4922 0 1 1 1 1.326 0.0003529 0 0.003968 1 1 -4.731e-10 0.00001619 0.0009276 0.0003372 0.01836 4.628 0.1169 0.001457 0.00006684 1 1 0.0009255 0.01214 0.0751 0.00382 0.05012 0.31 json
t17_x6_u1_b75 17 6 1 75 lrg(P,dot(R,log(P))) 102775 138292899 o2(x,o2(x,o1(x))) true 139007 139007 0.8662 0.9883 0.8662 0.08829 0.2971 0 1 1 1 1.481 0.0006821 0.0005814 0.0148 0.07969 1 -0.00001355 0.00007438 0.003588 0.001044 0.03232 2.184 0.1169 0.01431 0.0008424 1 1 0.002614 0.03405 0.1025 0.02961 0.3857 1.161 json
t17_x6_u1_b76 17 6 1 76 lrg(P,dst(R,log(P))) 102776 138292900 o2(x,o2(x,o1(x))) true 139015 139015 0.7178 0.75 0.7178 0.1955 0.4422 0 1 1 1 1.198 0.0001852 0.0001852 0.004184 0.000001493 1 -5.533e-10 0.00001725 0.0009791 0.0003528 0.01878 4.489 0.1169 0.001895 0.00008821 1 1 0.0009865 0.01294 0.08005 0.005046 0.06621 0.4094 json
t17_x6_u1_b77 17 6 1 77 eql(P,add(R,log(P))) 102777 138292901 o2(x,o2(x,o1(x))) true 139023 139023 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
t17_x6_u1_b78 17 6 1 78 eql(P,sub(R,log(P))) 102778 138292902 o2(x,o2(x,o1(x))) true 139031 139031 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
t17_x6_u1_b79 17 6 1 79 eql(P,mlt(R,log(P))) 102779 138292903 o2(x,o2(x,o1(x))) true 139039 139039 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
t17_x6_u1_b80 17 6 1 80 eql(P,div(R,log(P))) 102780 138292904 o2(x,o2(x,o1(x))) true 139047 139047 0.0625 0.125 0.0625 0.04507 0.2123 0 0.9997 0.9997 1 0.8126 0.0007059 0 0.007934 1 1 -9.461e-10 0.00003241 0.001855 0.0006433 0.02536 3.197 0.1169 0.01566 0.0007193 1 1 0.001851 0.02408 0.06598 0.04107 0.5344 1.464 json
t17_x6_u1_b81 17 6 1 81 eql(P,pow(R,log(P))) 102781 138292905 o2(x,o2(x,o1(x))) true 139055 139055 0.0625 0.125 0.0625 0.04507 0.2123 0 0.9997 0.9997 1 0.8126 0.0007059 0 0.007934 1 1 -9.461e-10 0.00003241 0.001855 0.0006433 0.02536 3.197 0.1169 0.01566 0.0007193 1 1 0.001851 0.02408 0.06598 0.04107 0.5344 1.464 json
t17_x6_u1_b82 17 6 1 82 eql(P,mod(R,log(P))) 102782 138292906 o2(x,o2(x,o1(x))) true 139063 139063 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
t17_x6_u1_b83 17 6 1 83 eql(P,lrg(R,log(P))) 102783 138292907 o2(x,o2(x,o1(x))) true 139071 139071 0.03906 0.1129 0.03906 0.02579 0.1606 0 0.9997 0.9997 1 0.6726 0.0003997 0.0001755 0.006718 0.3898 1 -0.00001141 0.00003128 0.001608 0.0005302 0.02303 3.427 0.1169 0.0223 0.001213 1 1 0.001425 0.01841 0.04273 0.05526 0.7139 1.657 json
t17_x6_u1_b84 17 6 1 84 eql(P,eql(R,log(P))) 102784 138292908 o2(x,o2(x,o1(x))) true 139079 139079 0.0625 0.125 0.0625 0.04507 0.2123 0 0.9997 0.9997 1 0.8126 0.0007059 0 0.007934 1 1 -9.461e-10 0.00003241 0.001855 0.0006433 0.02536 3.197 0.1169 0.01566 0.0007193 1 1 0.001851 0.02408 0.06598 0.04107 0.5344 1.464 json
t17_x6_u1_b85 17 6 1 85 eql(P,min(R,log(P))) 102785 138292909 o2(x,o2(x,o1(x))) true 139087 139087 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
t17_x6_u1_b86 17 6 1 86 eql(P,dot(R,log(P))) 102786 138292910 o2(x,o2(x,o1(x))) true 139095 139095 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
t17_x6_u1_b87 17 6 1 87 eql(P,dst(R,log(P))) 102787 138292911 o2(x,o2(x,o1(x))) true 139103 139103 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
t17_x6_u1_b88 17 6 1 88 min(P,add(R,log(P))) 102788 138292912 o2(x,o2(x,o1(x))) true 139111 139111 -0.1877 0.4252 0.9431 0.8845 0.9405 -1 1 2 1 1.92 0.007665 0.0003821 0.01366 0.905 1 -0.00001319 0.01467 0.01307 0.007858 0.08865 6.491 1.943 0.009098 0.01659 1 1 0.01046 0.05703 0.2583 0.01183 0.06448 0.292 json
t17_x6_u1_b89 17 6 1 89 min(P,sub(R,log(P))) 102789 138292913 o2(x,o2(x,o1(x))) true 139119 139119 -0.8304 0.05992 0.8694 0.1461 0.3822 -1 0.9431 1.943 1 1.784 0.001164 0.0004706 0.01633 0.4241 1 -0.00000959 0.0001848 0.00476 0.001368 0.03698 2.265 0.2777 0.01119 0.001265 1 1 0.004053 0.04931 0.2027 0.02775 0.3375 1.387 json
t17_x6_u1_b90 17 6 1 90 min(P,mlt(R,log(P))) 102790 138292914 o2(x,o2(x,o1(x))) true 139127 139127 -0.5465 0.1892 0.735 0.3754 0.6127 -1 1 2 1 3.037 0.004836 0.003381 0.03667 0.1771 1 -0.00000425 0.007794 0.01619 0.006872 0.0829 2.261 1.414 0.02189 0.02076 1 1 0.01215 0.1055 0.3461 0.03237 0.281 0.922 json
t17_x6_u1_b91 17 6 1 91 min(P,div(R,log(P))) 102791 138292915 o2(x,o2(x,o1(x))) true 139135 139135 -0.5498 0.1986 0.6771 0.304 0.5514 -1 1 2 1 3.108 0.00749 0.007755 0.03297 -0.01736 1 0.000009057 0.02732 0.02465 0.01416 0.119 3.609 2.347 0.05014 0.08986 1 1 0.01738 0.1057 0.3218 0.05716 0.3478 1.058 json
t17_x6_u1_b92 17 6 1 92 min(P,pow(R,log(P))) 102792 138292916 o2(x,o2(x,o1(x))) true 139143 139143 -0.03919 0.5 0.8983 0.866 0.9306 -1 1 2 1 2.378 0.001479 0.001335 0.01939 0.05091 1 -0.00009427 0.001371 0.01048 0.002438 0.04938 2.547 0.4646 0.003249 0.001583 1 1 0.004202 0.04081 0.2541 0.004852 0.04712 0.2934 json
t17_x6_u1_b93 17 6 1 93 min(P,mod(R,log(P))) 102793 138292917 o2(x,o2(x,o1(x))) true 139151 139151 -0.4263 0.2761 0.6762 0.4074 0.6383 -1 0.9999 2 1 3.663 0.002139 0.001102 0.03534 0.3201 1 0.00001538 0.0001817 0.00819 0.001992 0.04464 1.263 0.219 0.007955 0.000446 1 1 0.006901 0.09016 0.363 0.01694 0.2213 0.891 json
t17_x6_u1_b94 17 6 1 94 min(P,lrg(R,log(P))) 102794 138292918 o2(x,o2(x,o1(x))) true 139159 139159 -0.4238 0.1246 0.5137 0.314 0.5604 -1 0.9997 2 1 2.059 0.0007598 0.000233 0.01143 0.5306 1 -0.000005704 0.00005119 0.002713 0.0008619 0.02936 2.568 0.1169 0.003161 0.000163 1 1 0.002506 0.03271 0.1726 0.007981 0.1042 0.5497 json
t17_x6_u1_b95 17 6 1 95 min(P,eql(R,log(P))) 102795 138292919 o2(x,o2(x,o1(x))) true 139167 139167 -0.4688 0 0.4688 0.2423 0.4922 -1 0 1 1 1.406 0.0003529 0 0.003968 1 1 4.731e-10 0.00001619 0.0009276 0.0003372 0.01836 4.628 0.1169 0.001457 0.00006684 1 1 0.0009255 0.01214 0.0751 0.00382 0.05012 0.31 json
t17_x6_u1_b96 17 6 1 96 min(P,min(R,log(P))) 102796 138292920 o2(x,o2(x,o1(x))) true 139175 139175 -0.5876 0.1819 0.7211 0.3022 0.5497 -1 0.9806 1.981 1 3.055 0.00414 0.00118 0.02925 0.5565 1 0.00001382 0.006245 0.01277 0.004463 0.06681 2.284 1 0.0176 0.02067 1 1 0.008115 0.06932 0.2272 0.02685 0.2294 0.7517 json
t17_x6_u1_b97 17 6 1 97 min(P,dot(R,log(P))) 102797 138292921 o2(x,o2(x,o1(x))) true 139183 139183 -0.4668 0.2617 0.9473 0.7185 0.8477 -1 1 2 1 1.53 0.008878 0.01397 0.01871 -0.223 1 -5.632e-11 0.04626 0.0258 0.02251 0.15 8.017 2.828 0.0318 0.06438 1 1 0.03389 0.1444 0.5073 0.04717 0.201 0.706 json
t17_x6_u1_b98 17 6 1 98 min(P,dst(R,log(P))) 102798 138292922 o2(x,o2(x,o1(x))) true 139191 139191 0 0.5 0.9375 0.924 0.9612 -1 1 2 1 1.813 0.0007059 0 0.007937 1 1 0 0.00003235 0.001851 0.0006432 0.02536 3.195 0.1169 0.0007639 0.00003501 1 1 0.001851 0.02449 0.2344 0.002003 0.0265 0.2537 json
t17_x6_u1_b99 17 6 1 99 dot(P,add(R,log(P))) 102799 138292923 o2(x,o2(x,o1(x))) true 139199 139199 -0.6175 0.1914 0.9997 0.6183 0.7863 -1 1 2 1 0.7153 0.006938 0.006662 0.006975 0.02029 1 6.195e-10 0.0273 0.01379 0.01356 0.1164 16.69 2 0.022 0.04415 1 1 0.01709 0.06936 0.2784 0.02763 0.1122 0.4503 json