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_x8_u1_b6 17 8 1 6 add(P,lrg(R,log(R))) 104400 138373632 o2(x,o2(x,o1(x))) true 152007 152007 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_x8_u1_b7 17 8 1 7 add(P,eql(R,log(R))) 104401 138373633 o2(x,o2(x,o1(x))) true 152015 152015 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_x8_u1_b8 17 8 1 8 add(P,min(R,log(R))) 104402 138373634 o2(x,o2(x,o1(x))) true 152023 152023 -0.07718 0.4618 0.9508 0.9244 0.9615 -1 1 2 1 1.916 0.001121 0.0003886 0.009827 0.4853 1 -4.83e-7 0.0004228 0.003479 0.001414 0.0376 3.827 0.7564 0.001633 0.0004573 1 1 0.004079 0.0416 0.275 0.004413 0.04501 0.2975 json
t17_x8_u1_b9 17 8 1 9 add(P,dot(R,log(R))) 104403 138373635 o2(x,o2(x,o1(x))) true 152031 152031 -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_x8_u1_b10 17 8 1 10 add(P,dst(R,log(R))) 104404 138373636 o2(x,o2(x,o1(x))) true 152039 152039 -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_x8_u1_b11 17 8 1 11 sub(P,add(R,log(R))) 104405 138373637 o2(x,o2(x,o1(x))) true 152047 152047 -0.9842 0.008392 0.9965 0.02659 0.1631 -1 1 2 1 0.129 0.001673 0.003324 0.003593 -0.3303 1 3.754e-11 0.01022 0.005995 0.004984 0.0706 19.65 2 0.1879 0.3845 1 1 0.0004921 0.003255 0.02368 0.01851 0.1224 0.8904 json
t17_x8_u1_b12 17 8 1 12 sub(P,sub(R,log(R))) 104406 138373638 o2(x,o2(x,o1(x))) true 152055 152055 -0.9906 0.003906 0.9984 0.01678 0.1295 -1 1 2 1 0.07066 0.00127 0.001925 0.002061 -0.2049 1 1.502e-11 0.006659 0.003745 0.00319 0.05648 27.41 2 0.1905 0.3969 1 1 0.00007316 0.0005056 0.01442 0.004361 0.03014 0.8597 json
t17_x8_u1_b13 17 8 1 13 sub(P,mlt(R,log(R))) 104407 138373639 o2(x,o2(x,o1(x))) true 152063 152063 -0.9821 0.009277 0.9961 0.02999 0.1732 -1 1 2 1 0.1581 0.002106 0.003659 0.003878 -0.2693 1 -1.652e-10 0.01196 0.006855 0.005748 0.07582 19.55 2.828 0.1922 0.3989 1 1 0.0009115 0.005987 0.0269 0.03039 0.1996 0.8971 json
t17_x8_u1_b14 17 8 1 14 sub(P,div(R,log(R))) 104408 138373640 o2(x,o2(x,o1(x))) true 152071 152071 -0.9562 0.02223 0.9966 0.08116 0.2849 -1 1 2 1 0.2177 0.00779 0.009442 0.01093 -0.09587 1 0.00001167 0.03429 0.01863 0.01711 0.1308 11.97 2.828 0.2123 0.4225 1 1 0.01309 0.06875 0.1438 0.1613 0.8471 1.772 json
t17_x8_u1_b15 17 8 1 15 sub(P,pow(R,log(R))) 104409 138373641 o2(x,o2(x,o1(x))) true 152079 152079 -0.9911 0.003906 0.9989 0.01635 0.1279 -1 1 2 1 0.06049 0.001262 0.001877 0.001988 -0.1958 1 -1.126e-11 0.006531 0.003672 0.003134 0.05599 28.17 2 0.1921 0.3996 1 1 0.00005615 0.0003548 0.01402 0.003435 0.02171 0.8578 json
t17_x8_u1_b16 17 8 1 16 sub(P,mod(R,log(R))) 104410 138373642 o2(x,o2(x,o1(x))) true 152087 152087 -0.986 0.006424 0.9965 0.0233 0.1526 -1 1 2 1 0.1194 0.001911 0.002782 0.003081 -0.1856 1 -6.007e-11 0.009784 0.005419 0.004684 0.06844 22.22 2.812 0.2014 0.4199 1 1 0.0003994 0.002868 0.02044 0.01714 0.1231 0.8772 json
t17_x8_u1_b17 17 8 1 17 sub(P,lrg(R,log(R))) 104411 138373643 o2(x,o2(x,o1(x))) true 152095 152095 -0.125 0.4375 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_x8_u1_b18 17 8 1 18 sub(P,eql(R,log(R))) 104412 138373644 o2(x,o2(x,o1(x))) true 152103 152103 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_x8_u1_b19 17 8 1 19 sub(P,min(R,log(R))) 104413 138373645 o2(x,o2(x,o1(x))) true 152111 152111 0.08354 0.5418 0.9474 0.9192 0.9587 -1 1 2 1 1.95 0.001232 0.0004234 0.01075 0.4884 1 0.00001466 0.0004521 0.003813 0.001539 0.03924 3.649 0.7374 0.001801 0.0004918 1 1 0.004037 0.04169 0.2801 0.004392 0.04536 0.3047 json
t17_x8_u1_b20 17 8 1 20 sub(P,dot(R,log(R))) 104414 138373646 o2(x,o2(x,o1(x))) true 152119 152119 -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_x8_u1_b21 17 8 1 21 sub(P,dst(R,log(R))) 104415 138373647 o2(x,o2(x,o1(x))) true 152127 152127 -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_x8_u1_b22 17 8 1 22 mlt(P,add(R,log(R))) 104416 138373648 o2(x,o2(x,o1(x))) true 152135 152135 -0.9518 0.02365 0.9877 0.07863 0.2804 -1 1 2 1 0.3345 0.00959 0.008621 0.01327 0.0532 1 -0.000001861 0.03567 0.02126 0.01804 0.1343 10.12 2.828 0.2316 0.4536 1 1 0.01183 0.05436 0.117 0.1505 0.6913 1.488 json
t17_x8_u1_b23 17 8 1 23 mlt(P,sub(R,log(R))) 104417 138373649 o2(x,o2(x,o1(x))) true 152143 152143 -0.9844 0.007813 0.9962 0.02641 0.1625 -1 1 2 1 0.1225 0.002063 0.003186 0.003356 -0.2139 1 4.13e-11 0.01092 0.005905 0.005237 0.07237 21.56 2.828 0.1988 0.4135 1 1 0.0006335 0.004422 0.02331 0.02399 0.1674 0.8825 json
t17_x8_u1_b24 17 8 1 24 mlt(P,mlt(R,log(R))) 104418 138373650 o2(x,o2(x,o1(x))) true 152151 152151 -0.9363 0.03491 0.9861 0.106 0.3256 -1 1 2 1 0.3685 0.01147 0.009542 0.01287 0.09178 1 -0.000001818 0.04382 0.02475 0.02085 0.1444 11.22 2.828 0.1983 0.4135 1 1 0.01686 0.0714 0.1709 0.1591 0.6737 1.612 json
t17_x8_u1_b25 17 8 1 25 mlt(P,div(R,log(R))) 104419 138373651 o2(x,o2(x,o1(x))) true 152159 152159 -0.9306 0.03516 0.997 0.1303 0.3609 -1 1 2 1 0.27 0.01418 0.01186 0.01409 0.0891 1 -5.312e-7 0.05407 0.0273 0.02586 0.1608 11.41 2.828 0.1999 0.4151 1 1 0.02373 0.1009 0.2398 0.1821 0.7743 1.841 json
t17_x8_u1_b26 17 8 1 26 mlt(P,pow(R,log(R))) 104420 138373652 o2(x,o2(x,o1(x))) true 152167 152167 -0.9844 0.007813 0.9963 0.02657 0.163 -1 1 2 1 0.1211 0.002066 0.003206 0.003358 -0.2162 1 2.253e-11 0.01096 0.005912 0.005261 0.07253 21.6 2.828 0.1984 0.4126 1 1 0.0006511 0.004533 0.02346 0.0245 0.1706 0.8827 json
t17_x8_u1_b27 17 8 1 27 mlt(P,mod(R,log(R))) 104421 138373653 o2(x,o2(x,o1(x))) true 152175 152175 -0.9754 0.007538 0.9832 0.02756 0.166 -1 1 2 1 0.315 0.002398 0.003357 0.006227 -0.1666 1 0.000003369 0.01189 0.01051 0.005717 0.07561 12.14 2.001 0.2088 0.4312 1 1 0.002545 0.01184 0.03609 0.09231 0.4295 1.309 json
t17_x8_u1_b28 17 8 1 28 mlt(P,lrg(R,log(R))) 104422 138373654 o2(x,o2(x,o1(x))) true 152183 152183 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_x8_u1_b29 17 8 1 29 mlt(P,eql(R,log(R))) 104423 138373655 o2(x,o2(x,o1(x))) true 152191 152191 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_x8_u1_b30 17 8 1 30 mlt(P,min(R,log(R))) 104424 138373656 o2(x,o2(x,o1(x))) true 152199 152199 -0.006284 0.4984 0.833 0.7855 0.8863 -1 1 2 1 2.998 0.00146 0.001175 0.02095 0.1083 1 0.00007818 0.001275 0.01113 0.002197 0.04688 2.238 0.5255 0.003354 0.001623 1 1 0.005287 0.04677 0.1929 0.006731 0.05954 0.2455 json
t17_x8_u1_b31 17 8 1 31 mlt(P,dot(R,log(R))) 104425 138373657 o2(x,o2(x,o1(x))) true 152207 152207 -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_x8_u1_b32 17 8 1 32 mlt(P,dst(R,log(R))) 104426 138373658 o2(x,o2(x,o1(x))) true 152215 152215 -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_x8_u1_b33 17 8 1 33 div(P,add(R,log(R))) 104427 138373659 o2(x,o2(x,o1(x))) true 152223 152223 -0.9533 0.02344 0.9948 0.0847 0.291 -1 1 2 1 0.2461 0.01212 0.01087 0.01446 0.05411 1 -0.000003386 0.04606 0.02452 0.02278 0.1509 10.44 2.828 0.2714 0.5438 1 1 0.01796 0.07821 0.1391 0.212 0.9234 1.642 json
t17_x8_u1_b34 17 8 1 34 div(P,sub(R,log(R))) 104428 138373660 o2(x,o2(x,o1(x))) true 152231 152231 -0.9842 0.007813 0.9958 0.02606 0.1614 -1 1 2 1 0.1413 0.002035 0.003144 0.003475 -0.2142 1 8.26e-11 0.01079 0.006091 0.005166 0.07188 20.68 2.814 0.1987 0.4139 1 1 0.0006264 0.004262 0.02307 0.02404 0.1635 0.8852 json
t17_x8_u1_b35 17 8 1 35 div(P,mlt(R,log(R))) 104429 138373661 o2(x,o2(x,o1(x))) true 152239 152239 -0.9297 0.03516 0.9983 0.1336 0.3656 -1 1 2 1 0.2475 0.01501 0.01233 0.01412 0.09786 1 1.201e-10 0.05704 0.02783 0.02717 0.1648 11.67 2.828 0.2046 0.4269 1 1 0.02445 0.1027 0.2464 0.183 0.7683 1.844 json
t17_x8_u1_b36 17 8 1 36 div(P,div(R,log(R))) 104430 138373662 o2(x,o2(x,o1(x))) true 152247 152247 -0.9308 0.03503 0.9925 0.1247 0.3532 -1 1 2 1 0.318 0.01364 0.01078 0.0138 0.1172 1 0.000007556 0.05052 0.02671 0.02424 0.1557 11.28 2.828 0.1957 0.4051 1 1 0.02182 0.09651 0.2305 0.175 0.7737 1.848 json
t17_x8_u1_b37 17 8 1 37 div(P,pow(R,log(R))) 104431 138373663 o2(x,o2(x,o1(x))) true 152255 152255 -0.9819 0.007813 0.9933 0.0272 0.1649 -1 1 2 1 0.2037 0.002428 0.003311 0.004739 -0.1539 1 0.000002434 0.01184 0.007825 0.005715 0.0756 15.95 2.8 0.2109 0.4353 1 1 0.001056 0.00586 0.02557 0.03884 0.2154 0.9401 json
t17_x8_u1_b38 17 8 1 38 div(P,mod(R,log(R))) 104432 138373664 o2(x,o2(x,o1(x))) true 152263 152263 -0.984 0.007813 0.9986 0.03008 0.1734 -1 1 2 1 0.089 0.002195 0.003603 0.003407 -0.2429 1 -1.201e-10 0.01192 0.006301 0.005786 0.07606 22.33 2.828 0.1928 0.3962 1 1 0.000729 0.005525 0.02665 0.02424 0.1837 0.8861 json
t17_x8_u1_b39 17 8 1 39 div(P,lrg(R,log(R))) 104433 138373665 o2(x,o2(x,o1(x))) true 152271 152271 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_x8_u1_b40 17 8 1 40 div(P,eql(R,log(R))) 104434 138373666 o2(x,o2(x,o1(x))) true 152279 152279 -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_x8_u1_b41 17 8 1 41 div(P,min(R,log(R))) 104435 138373667 o2(x,o2(x,o1(x))) true 152287 152287 -0.00142 0.4999 0.9598 0.9528 0.9761 -1 1 2 1 1.505 0.001827 0.0001747 0.008607 0.8255 1 -0.000006039 0.001107 0.005667 0.001929 0.04392 5.102 0.5954 0.002101 0.001162 1 1 0.00469 0.03941 0.2788 0.004922 0.04137 0.2926 json
t17_x8_u1_b42 17 8 1 42 div(P,dot(R,log(R))) 104436 138373668 o2(x,o2(x,o1(x))) true 152295 152295 -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_x8_u1_b43 17 8 1 43 div(P,dst(R,log(R))) 104437 138373669 o2(x,o2(x,o1(x))) true 152303 152303 -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_x8_u1_b44 17 8 1 44 pow(P,add(R,log(R))) 104438 138373670 o2(x,o2(x,o1(x))) true 152311 152311 -0.9853 0.007813 0.9991 0.0278 0.1667 -1 1 2 1 0.0805 0.002085 0.002269 0.002656 -0.04215 1 1.877e-11 0.008941 0.004961 0.004347 0.06593 24.83 2 0.1567 0.3217 1 1 0 0 0.02365 0 0 0.8507 json
t17_x8_u1_b45 17 8 1 45 pow(P,sub(R,log(R))) 104439 138373671 o2(x,o2(x,o1(x))) true 152319 152319 -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_x8_u1_b46 17 8 1 46 pow(P,mlt(R,log(R))) 104440 138373672 o2(x,o2(x,o1(x))) true 152327 152327 -0.9861 0.007813 0.9982 0.0247 0.1572 -1 1 2 1 0.08914 0.002199 0.002039 0.002516 0.03792 1 0.000001964 0.008835 0.004834 0.004232 0.06505 25.85 2 0.1716 0.3577 1 1 0 0 0.02105 0 0 0.8523 json
t17_x8_u1_b47 17 8 1 47 pow(P,div(R,log(R))) 104441 138373673 o2(x,o2(x,o1(x))) true 152335 152335 -0.9884 0.007813 0.9959 0.01789 0.1338 -1 1 2 1 0.09538 0.001964 0.001682 0.002481 0.07748 1 -0.000005238 0.007641 0.004452 0.00364 0.06033 24.32 2 0.2037 0.427 1 1 0 0 0.01561 0 0 0.8726 json
t17_x8_u1_b48 17 8 1 48 pow(P,pow(R,log(R))) 104442 138373674 o2(x,o2(x,o1(x))) true 152343 152343 -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_x8_u1_b49 17 8 1 49 pow(P,mod(R,log(R))) 104443 138373675 o2(x,o2(x,o1(x))) true 152351 152351 -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_x8_u1_b50 17 8 1 50 pow(P,lrg(R,log(R))) 104444 138373676 o2(x,o2(x,o1(x))) true 152359 152359 -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_x8_u1_b51 17 8 1 51 pow(P,eql(R,log(R))) 104445 138373677 o2(x,o2(x,o1(x))) true 152367 152367 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_x8_u1_b52 17 8 1 52 pow(P,min(R,log(R))) 104446 138373678 o2(x,o2(x,o1(x))) true 152375 152375 -0.3249 0.4375 0.8001 0.6115 0.782 -1 1 2 1 2.682 0.01612 0.0002413 0.01985 0.9705 1 0.00002843 0.0318 0.01858 0.01596 0.1263 6.365 2 0.02676 0.05201 1 1 0.02175 0.08981 0.2911 0.03557 0.1469 0.476 json
t17_x8_u1_b53 17 8 1 53 pow(P,dot(R,log(R))) 104447 138373679 o2(x,o2(x,o1(x))) true 152383 152383 -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_x8_u1_b54 17 8 1 54 pow(P,dst(R,log(R))) 104448 138373680 o2(x,o2(x,o1(x))) true 152391 152391 -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_x8_u1_b55 17 8 1 55 mod(P,add(R,log(R))) 104449 138373681 o2(x,o2(x,o1(x))) true 152399 152399 -0.9687 0.007568 0.9719 0.02614 0.1617 -1 0.4168 1.417 1 0.4184 0.0025 0.002957 0.0071 -0.08366 1 3.229e-8 0.01134 0.01257 0.005407 0.07353 10.36 1.804 0.2088 0.434 1 1 0.00371 0.01613 0.04085 0.1419 0.6171 1.563 json
t17_x8_u1_b56 17 8 1 56 mod(P,sub(R,log(R))) 104450 138373682 o2(x,o2(x,o1(x))) true 152407 152407 -0.9789 0.007813 0.9891 0.02577 0.1605 -1 1 2 1 0.3343 0.002115 0.003022 0.005159 -0.1764 1 0.000003956 0.01058 0.007865 0.005112 0.0715 13.86 2.828 0.1994 0.4106 1 1 0.001149 0.006577 0.02488 0.04458 0.2552 0.9654 json
t17_x8_u1_b57 17 8 1 57 mod(P,mlt(R,log(R))) 104451 138373683 o2(x,o2(x,o1(x))) true 152415 152415 -0.9607 0.007538 0.9615 0.03483 0.1866 -1 0.2196 1.22 1 0.3688 0.003395 0.003589 0.007896 -0.02779 1 0.000001467 0.01459 0.01522 0.006921 0.08319 10.54 1.429 0.2005 0.4188 1 1 0.004989 0.02202 0.05537 0.1433 0.6322 1.59 json
t17_x8_u1_b58 17 8 1 58 mod(P,div(R,log(R))) 104452 138373684 o2(x,o2(x,o1(x))) true 152423 152423 -0.9738 0.007813 0.983 0.03033 0.1741 -1 1 2 1 0.3381 0.002694 0.00373 0.007577 -0.1613 1 7.112e-7 0.01297 0.01178 0.006368 0.0798 10.53 2.828 0.2118 0.4276 1 1 0.00325 0.0147 0.03744 0.1072 0.4848 1.235 json
t17_x8_u1_b59 17 8 1 59 mod(P,pow(R,log(R))) 104453 138373685 o2(x,o2(x,o1(x))) true 152431 152431 -0.9819 0.007813 0.9925 0.02544 0.1595 -1 1 2 1 0.2309 0.002212 0.003131 0.004666 -0.1719 1 0.00000824 0.01106 0.007562 0.00532 0.07294 15.63 2.828 0.21 0.4348 1 1 0.0008927 0.005459 0.0235 0.03509 0.2146 0.9236 json
t17_x8_u1_b60 17 8 1 60 mod(P,mod(R,log(R))) 104454 138373686 o2(x,o2(x,o1(x))) true 152439 152439 -0.96 0.007507 0.9608 0.03598 0.1897 -1 0.1626 1.163 1 0.3644 0.003563 0.003687 0.008077 -0.01716 1 0.000002539 0.01514 0.01551 0.007183 0.08475 10.49 1.425 0.2015 0.4209 1 1 0.005583 0.02429 0.06101 0.1552 0.6751 1.696 json
t17_x8_u1_b61 17 8 1 61 mod(P,lrg(R,log(R))) 104455 138373687 o2(x,o2(x,o1(x))) true 152447 152447 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_x8_u1_b62 17 8 1 62 mod(P,eql(R,log(R))) 104456 138373688 o2(x,o2(x,o1(x))) true 152455 152455 -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_x8_u1_b63 17 8 1 63 mod(P,min(R,log(R))) 104457 138373689 o2(x,o2(x,o1(x))) true 152463 152463 -0.003044 0.4964 0.2884 0.1467 0.383 -1 1 2 1 4.536 0.0009881 0.0007991 0.02959 0.1058 1 -0.00002951 0.0001964 0.007432 0.0009117 0.03019 1.02 0.2223 0.01218 0.001339 1 1 0.003273 0.04074 0.1082 0.02231 0.2777 0.7379 json
t17_x8_u1_b64 17 8 1 64 mod(P,dot(R,log(R))) 104458 138373690 o2(x,o2(x,o1(x))) true 152471 152471 -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_x8_u1_b65 17 8 1 65 mod(P,dst(R,log(R))) 104459 138373691 o2(x,o2(x,o1(x))) true 152479 152479 -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_x8_u1_b66 17 8 1 66 lrg(P,add(R,log(R))) 104460 138373692 o2(x,o2(x,o1(x))) true 152487 152487 0.7539 0.9619 0.7539 0.1386 0.3722 0 1 1 1 2.258 0.0009877 0.001189 0.02546 -0.09263 1 -0.000006429 0.0001261 0.006189 0.001529 0.03911 1.536 0.1169 0.01571 0.0009101 1 1 0.004397 0.05627 0.1667 0.03173 0.4061 1.203 json
t17_x8_u1_b67 17 8 1 67 lrg(P,sub(R,log(R))) 104461 138373693 o2(x,o2(x,o1(x))) true 152495 152495 0.6934 0.9524 0.6934 0.1555 0.3944 0 1 1 1 2.592 0.001277 0.001411 0.03137 -0.04994 1 0.00000498 0.0001518 0.007572 0.001705 0.04129 1.316 0.1169 0.01729 0.000976 1 1 0.005699 0.07303 0.1973 0.03664 0.4695 1.269 json
t17_x8_u1_b68 17 8 1 68 lrg(P,mlt(R,log(R))) 104462 138373694 o2(x,o2(x,o1(x))) true 152503 152503 0.7598 0.9619 0.7598 0.1384 0.372 0 1 1 1 2.184 0.0009466 0.001126 0.02418 -0.08649 1 -0.00001213 0.0001162 0.005829 0.001488 0.03858 1.596 0.1169 0.01497 0.0008398 1 1 0.003999 0.05106 0.1509 0.0289 0.3689 1.09 json
t17_x8_u1_b69 17 8 1 69 lrg(P,div(R,log(R))) 104463 138373695 o2(x,o2(x,o1(x))) true 152511 152511 0.8223 0.9881 0.8223 0.105 0.324 0 1 1 1 1.947 0.0009021 0.0009751 0.02196 -0.0389 1 -0.00001213 0.0001111 0.005361 0.001394 0.03734 1.701 0.1169 0.01789 0.001059 1 1 0.003478 0.04445 0.1096 0.03314 0.4235 1.044 json
t17_x8_u1_b70 17 8 1 70 lrg(P,pow(R,log(R))) 104464 138373696 o2(x,o2(x,o1(x))) true 152519 152519 0.6475 0.9518 0.6475 0.1566 0.3957 0 1 1 1 2.948 0.001522 0.00183 0.03928 -0.09178 1 0.00002351 0.0001921 0.009496 0.001809 0.04254 1.083 0.1169 0.02141 0.001227 1 1 0.00658 0.08455 0.2377 0.04202 0.54 1.518 json
t17_x8_u1_b71 17 8 1 71 lrg(P,mod(R,log(R))) 104465 138373697 o2(x,o2(x,o1(x))) true 152527 152527 0.7324 0.9569 0.7324 0.1474 0.3839 0 1 1 1 2.341 0.001052 0.001231 0.02666 -0.0785 1 -0.000006429 0.0001288 0.006434 0.001572 0.03965 1.487 0.1169 0.01549 0.000874 1 1 0.004654 0.05961 0.1835 0.03158 0.4044 1.245 json
t17_x8_u1_b72 17 8 1 72 lrg(P,lrg(R,log(R))) 104466 138373698 o2(x,o2(x,o1(x))) true 152535 152535 0.4063 0.4375 0.4063 0.2344 0.4842 0 1 1 1 1.302 0.0003529 0 0.003968 1 1 -4.731e-10 0.00001619 0.0009276 0.0003372 0.01836 4.628 0.1169 0.001505 0.00006906 1 1 0.0009255 0.01214 0.0751 0.003947 0.0518 0.3203 json
t17_x8_u1_b73 17 8 1 73 lrg(P,eql(R,log(R))) 104467 138373699 o2(x,o2(x,o1(x))) true 152543 152543 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_x8_u1_b74 17 8 1 74 lrg(P,min(R,log(R))) 104468 138373700 o2(x,o2(x,o1(x))) true 152551 152551 0.541 0.5812 0.541 0.2402 0.4901 0 1 1 1 1.386 0.0003552 0.00005267 0.00467 0.7418 1 0.000005704 0.00002002 0.0011 0.0003859 0.01964 4.207 0.1169 0.001698 0.00008336 1 1 0.001014 0.01331 0.08412 0.004221 0.0554 0.3502 json
t17_x8_u1_b75 17 8 1 75 lrg(P,dot(R,log(R))) 104469 138373701 o2(x,o2(x,o1(x))) true 152559 152559 0.9434 1 0.9434 0.0343 0.1852 0.000291 1 0.9997 1 0.9675 0.0004478 0.0004534 0.01065 -0.006162 1 0.000005703 0.00005206 0.002582 0.0007879 0.02807 2.635 0.1169 0.02628 0.001518 1 1 0.00207 0.0264 0.06205 0.06034 0.7698 1.809 json
t17_x8_u1_b76 17 8 1 76 lrg(P,dst(R,log(R))) 104470 138373702 o2(x,o2(x,o1(x))) true 152567 152567 0.9316 1 0.9316 0.04011 0.2003 0.000291 1 0.9997 1 1.136 0.0005483 0.0005538 0.01305 -0.004938 1 0.00001141 0.00006472 0.003173 0.0009324 0.03053 2.34 0.1169 0.02747 0.001613 1 1 0.002524 0.03232 0.07954 0.06293 0.8058 1.983 json
t17_x8_u1_b77 17 8 1 77 eql(P,add(R,log(R))) 104471 138373703 o2(x,o2(x,o1(x))) true 152575 152575 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_x8_u1_b78 17 8 1 78 eql(P,sub(R,log(R))) 104472 138373704 o2(x,o2(x,o1(x))) true 152583 152583 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_x8_u1_b79 17 8 1 79 eql(P,mlt(R,log(R))) 104473 138373705 o2(x,o2(x,o1(x))) true 152591 152591 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_x8_u1_b80 17 8 1 80 eql(P,div(R,log(R))) 104474 138373706 o2(x,o2(x,o1(x))) true 152599 152599 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_x8_u1_b81 17 8 1 81 eql(P,pow(R,log(R))) 104475 138373707 o2(x,o2(x,o1(x))) true 152607 152607 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_x8_u1_b82 17 8 1 82 eql(P,mod(R,log(R))) 104476 138373708 o2(x,o2(x,o1(x))) true 152615 152615 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_x8_u1_b83 17 8 1 83 eql(P,lrg(R,log(R))) 104477 138373709 o2(x,o2(x,o1(x))) true 152623 152623 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_x8_u1_b84 17 8 1 84 eql(P,eql(R,log(R))) 104478 138373710 o2(x,o2(x,o1(x))) true 152631 152631 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_x8_u1_b85 17 8 1 85 eql(P,min(R,log(R))) 104479 138373711 o2(x,o2(x,o1(x))) true 152639 152639 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_x8_u1_b86 17 8 1 86 eql(P,dot(R,log(R))) 104480 138373712 o2(x,o2(x,o1(x))) true 152647 152647 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_x8_u1_b87 17 8 1 87 eql(P,dst(R,log(R))) 104481 138373713 o2(x,o2(x,o1(x))) true 152655 152655 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_x8_u1_b88 17 8 1 88 min(P,add(R,log(R))) 104482 138373714 o2(x,o2(x,o1(x))) true 152663 152663 -0.1632 0.4229 0.8688 0.8029 0.896 -1 1 2 1 2.632 0.005139 0.007488 0.0394 -0.186 1 -0.00007178 0.006377 0.02132 0.01107 0.1052 2.67 1.094 0.01573 0.007943 1 1 0.01735 0.1549 0.3985 0.02161 0.193 0.4964 json
t17_x8_u1_b89 17 8 1 89 min(P,sub(R,log(R))) 104483 138373715 o2(x,o2(x,o1(x))) true 152671 152671 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_x8_u1_b90 17 8 1 90 min(P,mlt(R,log(R))) 104484 138373716 o2(x,o2(x,o1(x))) true 152679 152679 -0.1663 0.3836 0.8205 0.7528 0.8676 -1 1 2 1 2.715 0.003639 0.004161 0.03442 -0.06702 1 -0.0001407 0.003331 0.01803 0.006618 0.08135 2.363 0.5861 0.01036 0.004424 1 1 0.01326 0.1233 0.3179 0.01761 0.1638 0.4223 json
t17_x8_u1_b91 17 8 1 91 min(P,div(R,log(R))) 104485 138373717 o2(x,o2(x,o1(x))) true 152687 152687 -0.3569 0.3078 0.9061 0.7522 0.8673 -1 1 2 1 2.139 0.01383 0.01356 0.05117 0.009954 1 0.00005617 0.02481 0.03883 0.02476 0.1573 3.075 2.001 0.03641 0.03299 1 1 0.04122 0.308 0.7806 0.05479 0.4094 1.038 json
t17_x8_u1_b92 17 8 1 92 min(P,pow(R,log(R))) 104486 138373718 o2(x,o2(x,o1(x))) true 152695 152695 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_x8_u1_b93 17 8 1 93 min(P,mod(R,log(R))) 104487 138373719 o2(x,o2(x,o1(x))) true 152703 152703 -0.09223 0.4982 0.8453 0.7997 0.8943 -1 1 2 1 2.6 0.002009 0.001976 0.02408 0.008223 1 -0.0001353 0.001997 0.01327 0.003406 0.05836 2.424 0.4612 0.004984 0.002497 1 1 0.006648 0.0612 0.2524 0.008313 0.07653 0.3156 json
t17_x8_u1_b94 17 8 1 94 min(P,lrg(R,log(R))) 104488 138373720 o2(x,o2(x,o1(x))) true 152711 152711 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_x8_u1_b95 17 8 1 95 min(P,eql(R,log(R))) 104489 138373721 o2(x,o2(x,o1(x))) true 152719 152719 -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_x8_u1_b96 17 8 1 96 min(P,min(R,log(R))) 104490 138373722 o2(x,o2(x,o1(x))) true 152727 152727 -0.7736 0 0.7736 0.0852 0.2919 -1 -0.002986 0.997 1 2.718 0.0007896 0.0007513 0.02059 0.02486 1 0.00007002 0.0003604 0.006629 0.001117 0.03342 1.624 0.3757 0.01808 0.00423 1 1 0.002645 0.0297 0.09627 0.03105 0.3486 1.13 json
t17_x8_u1_b97 17 8 1 97 min(P,dot(R,log(R))) 104491 138373723 o2(x,o2(x,o1(x))) true 152735 152735 -0.03993 0.4781 0.916 0.8941 0.9456 -1 1 2 1 2.097 0.002158 0.00212 0.01898 0.008759 1 -7.509e-11 0.001498 0.008147 0.00392 0.06261 3.299 0.7202 0.004784 0.001676 1 1 0.009057 0.08908 0.3116 0.01013 0.09963 0.3485 json
t17_x8_u1_b98 17 8 1 98 min(P,dst(R,log(R))) 104492 138373724 o2(x,o2(x,o1(x))) true 152743 152743 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_x8_u1_b99 17 8 1 99 dot(P,add(R,log(R))) 104493 138373725 o2(x,o2(x,o1(x))) true 152751 152751 -0.9955 0.002228 0.9997 0.008473 0.09205 -1 1 2 1 0.03124 0.00114 0.00135 0.001595 -0.08417 1 0 0.004853 0.002625 0.002486 0.04986 31.26 2.828 0.294 0.5728 1 1 0.00481 0.02143 0.03032 0.5677 2.529 3.578 json
t17_x8_u1_b100 17 8 1 100 dot(P,sub(R,log(R))) 104494 138373726 o2(x,o2(x,o1(x))) true 152759 152759 -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_x8_u1_b101 17 8 1 101 dot(P,mlt(R,log(R))) 104495 138373727 o2(x,o2(x,o1(x))) true 152767 152767 -0.9922 0.003906 1 0.01551 0.1245 -1 1 2 1 0.03772 0.001994 0.001993 0.001994 0.00005945 1 0 0.008459 0.004014 0.00398 0.06309 31.65 2.828 0.2571 0.5455 1 1 0.007018 0.02826 0.05477 0.4526 1.823 3.532 json
t17_x8_u1_b102 17 8 1 102 dot(P,div(R,log(R))) 104496 138373728 o2(x,o2(x,o1(x))) true 152775 152775 -0.9922 0.003906 1 0.01556 0.1248 -1 1 2 1 0.03687 0.002016 0.002016 0.001997 0 1 0 0.008566 0.004031 0.004024 0.06344 31.76 2.828 0.259 0.5504 1 1 0.007091 0.02837 0.05496 0.4556 1.823 3.531 json
t17_x8_u1_b103 17 8 1 103 dot(P,pow(R,log(R))) 104497 138373729 o2(x,o2(x,o1(x))) true 152783 152783 -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_x8_u1_b104 17 8 1 104 dot(P,mod(R,log(R))) 104498 138373730 o2(x,o2(x,o1(x))) true 152791 152791 -0.9998 0 0.9998 0.00005612 0.007491 -1 -0.4764 0.5236 1 0.007305 0.00002095 0.00001885 0.0001304 0.05276 0 -1.126e-11 0.0000826 0.0001922 0.00003977 0.006306 48.34 0.5237 0.7092 1.472 1 1 0.00007899 0.0002039 0.0001903 1.408 3.633 3.391 json
t17_x8_u1_b105 17 8 1 105 dot(P,lrg(R,log(R))) 104499 138373731 o2(x,o2(x,o1(x))) true 152799 152799 -1.583e-8 0.498 0.9392 0.9217 0.96 -1 1 2 1 1.917 0.0006889 0.0006889 0.01208 -4.225e-8 1 -4.43e-10 0.0002289 0.003184 0.001231 0.03509 2.904 0.1653 0.001495 0.0002483 1 1 0.003512 0.04405 0.4161 0.003811 0.04779 0.4514 json