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
t16_x20_u1_b11 16 20 1 11 sub(R,log(add(P,R))) 91700 130737848 o2(x,o1(o2(x,x))) true 50407 50407 -0.9132 0.03526 0.9389 0.08487 0.2913 -1 1 2 1 1.138 0.008878 0.00422 0.01524 0.3556 1 0.000002014 0.02617 0.01819 0.01287 0.1135 7.445 2 0.1543 0.3084 1 1 0.01781 0.07659 0.177 0.2098 0.9025 2.086 json
t16_x20_u1_b12 16 20 1 12 sub(R,log(sub(P,R))) 91701 130737849 o2(x,o1(o2(x,x))) true 50415 50415 -0.8751 0.0526 0.9441 0.1577 0.3971 -1 1 2 1 1.201 0.00821 0.002583 0.02081 0.5213 1 0.000004369 0.01669 0.0166 0.01036 0.1018 4.892 2.828 0.06844 0.1058 1 1 0.01767 0.1173 0.2981 0.112 0.7439 1.891 json
t16_x20_u1_b13 16 20 1 13 sub(R,log(mlt(P,R))) 91702 130737850 o2(x,o1(o2(x,x))) true 50423 50423 -0.9733 0.01035 0.9851 0.03372 0.1836 -1 1 2 1 0.312 0.004541 0.002163 0.007408 0.3546 1 1.234e-7 0.013 0.009989 0.006654 0.08157 11.01 2.828 0.1988 0.3855 1 1 0.009107 0.04298 0.08149 0.2701 1.275 2.417 json
t16_x20_u1_b14 16 20 1 14 sub(R,log(div(P,R))) 91703 130737851 o2(x,o1(o2(x,x))) true 50431 50431 -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
t16_x20_u1_b15 16 20 1 15 sub(R,log(pow(P,R))) 91704 130737852 o2(x,o1(o2(x,x))) true 50439 50439 -0.5484 0.239 0.6664 0.3076 0.5547 -1 0.9722 1.972 1 2.871 0.007823 0.000617 0.02204 0.8538 1 -0.00002769 0.01464 0.01391 0.007956 0.08919 4.047 1.943 0.02744 0.0476 1 1 0.009816 0.04805 0.1449 0.03191 0.1562 0.471 json
t16_x20_u1_b16 16 20 1 16 sub(R,log(mod(P,R))) 91705 130737853 o2(x,o1(o2(x,x))) true 50447 50447 -0.17 0.4208 0.9665 0.9242 0.9614 -1 1 2 1 1.578 0.0162 0.001008 0.0176 0.8828 1 -0.0000312 0.03154 0.02081 0.0169 0.13 7.387 2 0.01862 0.03413 1 1 0.02366 0.1128 0.4159 0.0256 0.122 0.45 json
t16_x20_u1_b17 16 20 1 17 sub(R,log(lrg(P,R))) 91706 130737854 o2(x,o1(o2(x,x))) true 50455 50455 -0.5521 0.2093 0.7173 0.3323 0.5765 -1 0.9806 1.981 1 3.203 0.005341 0.001961 0.03349 0.463 1 0.000005562 0.009453 0.0147 0.006182 0.07862 2.347 2.097 0.02197 0.02844 1 1 0.01098 0.09044 0.2843 0.03304 0.2721 0.8554 json
t16_x20_u1_b18 16 20 1 18 sub(R,log(eql(P,R))) 91707 130737855 o2(x,o1(o2(x,x))) true 50463 50463 -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
t16_x20_u1_b19 16 20 1 19 sub(R,log(min(P,R))) 91708 130737856 o2(x,o1(o2(x,x))) true 50471 50471 -0.9922 0.003906 1 0.01556 0.1248 -1 1 2 1 0.03687 0.001008 0.001764 0.001386 -0.2727 1 0 0.005795 0.002771 0.002769 0.05262 37.97 2 0.1781 0.3723 1 1 0 0 0.0133 0 0 0.8543 json
t16_x20_u1_b20 16 20 1 20 sub(R,log(dot(P,R))) 91709 130737857 o2(x,o1(o2(x,x))) true 50479 50479 -0.9625 0.01984 0.9862 0.05512 0.2348 -1 1 2 1 0.3552 0.00651 0.003658 0.009437 0.2805 1 6.382e-11 0.02019 0.01371 0.01007 0.1004 10.64 2.027 0.1845 0.3663 1 1 0.01263 0.05763 0.1584 0.2291 1.046 2.875 json
t16_x20_u1_b21 16 20 1 21 sub(R,log(dst(P,R))) 91710 130737858 o2(x,o1(o2(x,x))) true 50487 50487 -0.9256 0.02176 0.9405 0.06143 0.2478 -1 1 2 1 1.126 0.0006475 0.0005506 0.01083 0.08088 1 4.505e-11 0.0002376 0.004186 0.00108 0.03286 3.034 0.2987 0.0195 0.003867 1 1 0.004013 0.0451 0.137 0.06532 0.7342 2.231 json
t16_x20_u1_b22 16 20 1 22 mlt(R,log(add(P,R))) 91711 130737859 o2(x,o1(o2(x,x))) true 50495 50495 -0.5288 0.2321 0.764 0.4223 0.6499 -1 1 2 1 2.95 0.00853 0.003771 0.03839 0.3869 1 -0.000006976 0.01647 0.0212 0.01082 0.104 2.71 2.075 0.02912 0.039 1 1 0.01618 0.119 0.3774 0.03832 0.2817 0.8936 json
t16_x20_u1_b23 16 20 1 23 mlt(R,log(sub(P,R))) 91712 130737860 o2(x,o1(o2(x,x))) true 50503 50503 -0.6115 0.1694 0.7742 0.3355 0.5792 -1 1 2 1 2.893 0.006113 0.003156 0.03855 0.319 1 0.000004895 0.009519 0.01778 0.007784 0.08823 2.289 1.366 0.02762 0.02837 1 1 0.01359 0.1082 0.3037 0.0405 0.3226 0.9051 json
t16_x20_u1_b24 16 20 1 24 mlt(R,log(mlt(P,R))) 91713 130737861 o2(x,o1(o2(x,x))) true 50511 50511 -0.9643 0.01962 0.974 0.04013 0.2003 -1 1 2 1 0.3599 0.003627 0.003291 0.00708 0.04856 1 8.84e-8 0.01427 0.01209 0.006869 0.08288 11.71 2 0.1724 0.3557 1 1 0.006313 0.02586 0.07528 0.1573 0.6444 1.876 json
t16_x20_u1_b25 16 20 1 25 mlt(R,log(div(P,R))) 91714 130737862 o2(x,o1(o2(x,x))) true 50519 50519 -0.9802 0.003906 0.9881 0.02097 0.1448 -1 1 2 1 0.321 0.001739 0.002187 0.004253 -0.1143 1 6.168e-9 0.008156 0.007189 0.003907 0.06251 14.7 2 0.1872 0.3888 1 1 0.001483 0.006078 0.02709 0.07069 0.2898 1.292 json
t16_x20_u1_b26 16 20 1 26 mlt(R,log(pow(P,R))) 91715 130737863 o2(x,o1(o2(x,x))) true 50527 50527 -0.3758 0.4342 0.7492 0.5506 0.742 -1 1 2 1 2.632 0.004565 0.0005969 0.01998 0.7687 1 -0.00001886 0.008099 0.01245 0.004761 0.069 3.453 1 0.009376 0.01471 1 1 0.00702 0.04423 0.2043 0.01275 0.08034 0.3711 json
t16_x20_u1_b27 16 20 1 27 mlt(R,log(mod(P,R))) 91716 130737864 o2(x,o1(o2(x,x))) true 50535 50535 -0.5601 0.2359 0.7873 0.409 0.6395 -1 1 2 1 2.82 0.005883 0.003103 0.03705 0.3094 1 0.00002154 0.008294 0.01559 0.007614 0.08726 2.355 2 0.02197 0.02028 1 1 0.01486 0.1285 0.374 0.03634 0.3143 0.9145 json
t16_x20_u1_b28 16 20 1 28 mlt(R,log(lrg(P,R))) 91717 130737865 o2(x,o1(o2(x,x))) true 50543 50543 -0.5391 0 0.5391 0.2487 0.4987 -1 0 1 1 0.9956 0.003968 0.0007559 0.004715 0.68 1 0 0.009637 0.009448 0.004701 0.06856 14.54 1.414 0.019 0.03876 1 1 0.006593 0.02637 0.1017 0.02651 0.1061 0.4091 json
t16_x20_u1_b29 16 20 1 29 mlt(R,log(eql(P,R))) 91718 130737866 o2(x,o1(o2(x,x))) true 50551 50551 -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
t16_x20_u1_b30 16 20 1 30 mlt(R,log(min(P,R))) 91719 130737867 o2(x,o1(o2(x,x))) true 50559 50559 -0.9971 0 0.9971 0.002192 0.04682 -1 -0.06967 0.9303 1 0.04544 0.0001021 0.0002377 0.0005366 -0.399 1 0.000001275 0.0007019 0.0009714 0.0003395 0.01842 34.34 0.9216 0.155 0.3202 1 1 0 0 0.001832 0 0 0.8359 json
t16_x20_u1_b31 16 20 1 31 mlt(R,log(dot(P,R))) 91720 130737868 o2(x,o1(o2(x,x))) true 50567 50567 -0.9464 0.03163 0.9814 0.08031 0.2834 -1 1 2 1 0.3934 0.00922 0.007757 0.01289 0.08618 1 -0.000003922 0.03498 0.02164 0.01681 0.1296 10.06 2.072 0.2114 0.4355 1 1 0.01917 0.08285 0.188 0.2387 1.032 2.34 json
t16_x20_u1_b32 16 20 1 32 mlt(R,log(dst(P,R))) 91721 130737869 o2(x,o1(o2(x,x))) true 50575 50575 -0.007159 0.4941 0.5892 0.4629 0.6803 -1 1 2 1 4.638 0.006938 0.00799 0.08422 -0.07044 1 0.00001339 0.002431 0.02471 0.007834 0.08851 1.051 0.5035 0.03225 0.005251 1 1 0.02301 0.2689 0.7225 0.04971 0.5809 1.561 json
t16_x20_u1_b33 16 20 1 33 div(R,log(add(P,R))) 91722 130737870 o2(x,o1(o2(x,x))) true 50583 50583 -0.5697 0.2025 0.7111 0.3201 0.5658 -1 1 2 1 2.94 0.01473 0.004451 0.03345 0.536 1 0.000008247 0.03373 0.02488 0.01806 0.1344 4.017 2.828 0.05993 0.1054 1 1 0.02756 0.1562 0.3142 0.0861 0.4881 0.9814 json
t16_x20_u1_b34 16 20 1 34 div(R,log(sub(P,R))) 91723 130737871 o2(x,o1(o2(x,x))) true 50591 50591 -0.5386 0.2065 0.6969 0.3372 0.5807 -1 1 2 1 3.062 0.007603 0.002957 0.02875 0.4399 1 0.000003785 0.01539 0.01629 0.009737 0.09868 3.432 2.036 0.03132 0.04565 1 1 0.01685 0.1136 0.3019 0.04996 0.337 0.8952 json
t16_x20_u1_b35 16 20 1 35 div(R,log(mlt(P,R))) 91724 130737872 o2(x,o1(o2(x,x))) true 50599 50599 -0.9508 0.02591 0.9725 0.06214 0.2493 -1 1 2 1 0.4787 0.006002 0.00692 0.01395 -0.07102 1 0.00002909 0.02497 0.02026 0.01272 0.1128 8.083 2.001 0.208 0.4018 1 1 0.01488 0.0679 0.1497 0.2395 1.093 2.409 json
t16_x20_u1_b36 16 20 1 36 div(R,log(div(P,R))) 91725 130737873 o2(x,o1(o2(x,x))) true 50607 50607 -0.9326 0.02344 0.9608 0.08281 0.2878 -1 1 2 1 0.6264 0.008827 0.006696 0.01448 0.1373 1 0.000001501 0.03169 0.02447 0.01531 0.1237 8.542 2.828 0.1874 0.3827 1 1 0.01449 0.06857 0.1678 0.175 0.8281 2.026 json
t16_x20_u1_b37 16 20 1 37 div(R,log(pow(P,R))) 91726 130737874 o2(x,o1(o2(x,x))) true 50615 50615 -0.3693 0.375 0.8807 0.6743 0.8212 -1 1 2 1 2.038 0.0159 4.031e-17 0.009995 1 1 -0.000002963 0.03175 0.01654 0.01581 0.1257 12.58 2 0.02358 0.04708 1 1 0.02112 0.08499 0.3116 0.03132 0.126 0.4621 json
t16_x20_u1_b38 16 20 1 38 div(R,log(mod(P,R))) 91727 130737875 o2(x,o1(o2(x,x))) true 50623 50623 -0.493 0.2621 0.6651 0.3602 0.6001 -1 1 2 1 3.094 0.005853 0.001459 0.03074 0.6009 1 0.00000712 0.00866 0.01619 0.006368 0.0798 2.596 1 0.0203 0.02404 1 1 0.01182 0.09081 0.288 0.03281 0.2521 0.7995 json
t16_x20_u1_b39 16 20 1 39 div(R,log(lrg(P,R))) 91728 130737876 o2(x,o1(o2(x,x))) true 50631 50631 -0.5469 0 0.5469 0.2476 0.4976 -1 0 1 1 0.9937 0.003968 0.001512 0.005452 0.4483 1 0 0.01134 0.01096 0.005451 0.07383 13.54 1.414 0.02213 0.04579 1 1 0.007479 0.02992 0.1086 0.0302 0.1208 0.4385 json
t16_x20_u1_b40 16 20 1 40 div(R,log(eql(P,R))) 91729 130737877 o2(x,o1(o2(x,x))) true 50639 50639 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
t16_x20_u1_b41 16 20 1 41 div(R,log(min(P,R))) 91730 130737878 o2(x,o1(o2(x,x))) true 50647 50647 -0.9985 0 0.9985 0.001136 0.03371 -1 -0.0005232 0.9995 1 0.03366 0.0004458 0.0001578 0.001023 0.4771 1 3.754e-11 0.001212 0.001551 0.0006026 0.02455 24 0.9995 0.5312 1.066 1 1 0.00006578 0.0004215 0.001034 0.05789 0.3709 0.9098 json
t16_x20_u1_b42 16 20 1 42 div(R,log(dot(P,R))) 91731 130737879 o2(x,o1(o2(x,x))) true 50655 50655 -0.9447 0.02983 0.9784 0.07921 0.2814 -1 1 2 1 0.4378 0.009072 0.006527 0.01238 0.1632 1 0.000001793 0.03227 0.02174 0.01546 0.1243 10.04 2.828 0.1969 0.4075 1 1 0.01933 0.08277 0.2157 0.2441 1.045 2.723 json
t16_x20_u1_b43 16 20 1 43 div(R,log(dst(P,R))) 91732 130737880 o2(x,o1(o2(x,x))) true 50663 50663 0.02874 0.5008 0.2626 0.1154 0.3397 -1 1 2 1 4.323 0.002399 0.002242 0.04107 0.03389 1 0.00001005 0.001857 0.01195 0.002954 0.05435 1.323 1.404 0.04021 0.01609 1 1 0.01269 0.1228 0.3275 0.11 1.064 2.838 json
t16_x20_u1_b44 16 20 1 44 pow(R,log(add(P,R))) 91733 130737881 o2(x,o1(o2(x,x))) true 50671 50671 -0.9868 0.007813 0.9976 0.02302 0.1517 -1 1 2 1 0.09051 0.00222 0.002798 0.00301 -0.1151 1 0.000003173 0.01055 0.005761 0.005009 0.07077 23.51 2.71 0.218 0.4584 1 1 0.0008334 0.005935 0.02042 0.0362 0.2578 0.8871 json
t16_x20_u1_b45 16 20 1 45 pow(R,log(sub(P,R))) 91734 130737882 o2(x,o1(o2(x,x))) true 50679 50679 -0.9944 0.003906 0.9978 0.008169 0.09038 -1 0.8633 1.863 1 0.05027 0.0003402 0.0008732 0.00104 -0.4393 1 0.000003216 0.002493 0.00183 0.001212 0.03481 33.47 1.842 0.1485 0.3052 1 1 0 0 0.006782 0 0 0.8302 json
t16_x20_u1_b46 16 20 1 46 pow(R,log(mlt(P,R))) 91735 130737883 o2(x,o1(o2(x,x))) true 50687 50687 -0.9939 0.003906 0.9983 0.009539 0.09767 -1 0.8603 1.86 1 0.04783 0.0004897 0.001048 0.001113 -0.3629 1 0.000001923 0.003188 0.002069 0.001536 0.03919 35.2 1.847 0.1612 0.3342 1 1 0 0 0.008022 0 0 0.841 json
t16_x20_u1_b47 16 20 1 47 pow(R,log(div(P,R))) 91736 130737884 o2(x,o1(o2(x,x))) true 50695 50695 -0.9947 0.003906 0.9975 0.007481 0.08649 -1 0.8505 1.851 1 0.05132 0.000288 0.0007934 0.0009999 -0.4673 1 0.000003561 0.002212 0.001721 0.00108 0.03287 32.87 1.827 0.1446 0.2957 1 1 0 0 0.006189 0 0 0.8273 json
t16_x20_u1_b48 16 20 1 48 pow(R,log(pow(P,R))) 91737 130737885 o2(x,o1(o2(x,x))) true 50703 50703 -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
t16_x20_u1_b49 16 20 1 49 pow(R,log(mod(P,R))) 91738 130737886 o2(x,o1(o2(x,x))) true 50711 50711 -0.9922 0.003906 1 0.01556 0.1248 -1 1 2 1 0.03687 0.001008 0.001764 0.001386 -0.2727 1 0 0.005795 0.002771 0.002769 0.05262 37.97 2 0.1781 0.3723 1 1 0 0 0.0133 0 0 0.8543 json
t16_x20_u1_b50 16 20 1 50 pow(R,log(lrg(P,R))) 91739 130737887 o2(x,o1(o2(x,x))) true 50719 50719 -0.07813 0.4609 1 0.9946 0.9973 -1 1 2 1 0.9956 0.01587 0.003023 0.00943 0.68 1 0 0.03855 0.0189 0.0188 0.1371 14.54 2.828 0.019 0.03876 1 1 0.02637 0.1055 0.4069 0.02651 0.1061 0.4091 json
t16_x20_u1_b51 16 20 1 51 pow(R,log(eql(P,R))) 91740 130737888 o2(x,o1(o2(x,x))) true 50727 50727 -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
t16_x20_u1_b52 16 20 1 52 pow(R,log(min(P,R))) 91741 130737889 o2(x,o1(o2(x,x))) true 50735 50735 -0.9922 0.003906 1 0.01556 0.1248 -1 1 2 1 0.03687 0.001008 0.001764 0.001386 -0.2727 1 0 0.005795 0.002771 0.002769 0.05262 37.97 2 0.1781 0.3723 1 1 0 0 0.0133 0 0 0.8543 json
t16_x20_u1_b53 16 20 1 53 pow(R,log(dot(P,R))) 91742 130737890 o2(x,o1(o2(x,x))) true 50743 50743 -0.993 0.003906 0.9992 0.01276 0.1129 -1 1 2 1 0.04762 0.0008657 0.00139 0.001356 -0.2323 1 -0.000002436 0.004691 0.002521 0.002253 0.04747 35 2 0.1768 0.3678 1 1 0 0 0.01097 0 0 0.8597 json
t16_x20_u1_b54 16 20 1 54 pow(R,log(dst(P,R))) 91743 130737891 o2(x,o1(o2(x,x))) true 50751 50751 -0.939 0.04297 0.9751 0.08524 0.292 -1 0.9091 1.909 1 0.4189 0.008685 0.008578 0.01305 0.006193 1 0.00001004 0.03598 0.0238 0.0171 0.1308 10.02 2.509 0.2025 0.4221 1 1 0.0146 0.06331 0.1528 0.1712 0.7427 1.792 json
t16_x20_u1_b55 16 20 1 55 mod(R,log(add(P,R))) 91744 130737892 o2(x,o1(o2(x,x))) true 50759 50759 -0.5528 0.2168 0.7021 0.3227 0.5681 -1 0.9806 1.981 1 3.128 0.005572 0.003087 0.0311 0.287 1 0.0000159 0.0136 0.01737 0.007694 0.08771 2.82 1.712 0.02683 0.04215 1 1 0.01258 0.08514 0.2663 0.03898 0.2638 0.8252 json
t16_x20_u1_b56 16 20 1 56 mod(R,log(sub(P,R))) 91745 130737893 o2(x,o1(o2(x,x))) true 50767 50767 -0.555 0.2061 0.7037 0.3186 0.5644 -1 0.9806 1.981 1 3.175 0.006375 0.00208 0.03247 0.5079 1 0.000008793 0.0125 0.01638 0.007403 0.08604 2.65 2.098 0.02654 0.03924 1 1 0.01209 0.0869 0.2574 0.03796 0.2728 0.8081 json
t16_x20_u1_b57 16 20 1 57 mod(R,log(mlt(P,R))) 91746 130737894 o2(x,o1(o2(x,x))) true 50775 50775 -0.9692 0.003906 0.9739 0.02866 0.1693 -1 0.9276 1.928 1 0.3802 0.002503 0.002395 0.005825 0.02205 1 0.000002264 0.01015 0.0105 0.004862 0.06973 11.97 1.91 0.1709 0.3541 1 1 0.003785 0.01538 0.04866 0.1321 0.5368 1.698 json
t16_x20_u1_b58 16 20 1 58 mod(R,log(div(P,R))) 91747 130737895 o2(x,o1(o2(x,x))) true 50783 50783 -0.9727 0.003906 0.9774 0.02392 0.1547 -1 0.9276 1.928 1 0.3875 0.001921 0.00218 0.005414 -0.06313 1 0.00000278 0.00847 0.009348 0.004073 0.06382 11.79 1.91 0.1714 0.3541 1 1 0.002969 0.01224 0.04042 0.1241 0.5116 1.69 json
t16_x20_u1_b59 16 20 1 59 mod(R,log(pow(P,R))) 91748 130737896 o2(x,o1(o2(x,x))) true 50791 50791 -0.64 0.1637 0.7611 0.2889 0.5375 -1 0.9806 1.981 1 2.729 0.004808 0.0009748 0.02565 0.6629 1 0.00002132 0.007871 0.01281 0.005126 0.0716 2.792 1.293 0.02002 0.02725 1 1 0.008258 0.06288 0.2204 0.02859 0.2177 0.763 json
t16_x20_u1_b60 16 20 1 60 mod(R,log(mod(P,R))) 91749 130737897 o2(x,o1(o2(x,x))) true 50799 50799 -0.5691 0.1952 0.6967 0.3016 0.5492 -1 0.9806 1.981 1 2.988 0.008187 0.001011 0.02881 0.7801 1 4.073e-7 0.01469 0.01546 0.008367 0.09147 3.175 1.943 0.0305 0.04872 1 1 0.01216 0.07756 0.204 0.04032 0.2572 0.6762 json
t16_x20_u1_b61 16 20 1 61 mod(R,log(lrg(P,R))) 91750 130737898 o2(x,o1(o2(x,x))) true 50807 50807 -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
t16_x20_u1_b62 16 20 1 62 mod(R,log(eql(P,R))) 91751 130737899 o2(x,o1(o2(x,x))) true 50815 50815 -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
t16_x20_u1_b63 16 20 1 63 mod(R,log(min(P,R))) 91752 130737900 o2(x,o1(o2(x,x))) true 50823 50823 -0.9952 0.003906 0.997 0.005941 0.07708 -1 0.3876 1.388 1 0.0473 0.0004709 0.0006935 0.000962 -0.1911 1 -0.00000153 0.002445 0.001803 0.001163 0.03411 35.45 1.388 0.196 0.4115 1 1 0 0 0.005144 0 0 0.8659 json
t16_x20_u1_b64 16 20 1 64 mod(R,log(dot(P,R))) 91753 130737901 o2(x,o1(o2(x,x))) true 50831 50831 -0.9529 0.0264 0.9753 0.0601 0.2452 -1 0.9427 1.943 1 0.4557 0.00629 0.00574 0.01087 0.04573 1 0.000001824 0.0251 0.01811 0.01191 0.1092 10.04 1.943 0.2002 0.4176 1 1 0.01135 0.05046 0.1371 0.1888 0.8395 2.281 json
t16_x20_u1_b65 16 20 1 65 mod(R,log(dst(P,R))) 91754 130737902 o2(x,o1(o2(x,x))) true 50839 50839 -0.009019 0.4899 0.3777 0.2062 0.4541 -0.9989 0.9806 1.979 1 4.835 0.002584 0.002989 0.06057 -0.07278 1 0.00002651 0.0003252 0.01385 0.001905 0.04364 0.7206 0.2301 0.02703 0.001577 1 1 0.0104 0.1334 0.3486 0.05042 0.6467 1.69 json
t16_x20_u1_b66 16 20 1 66 lrg(R,log(add(P,R))) 91755 130737903 o2(x,o1(o2(x,x))) true 50847 50847 0.5898 0.6246 0.5898 0.2344 0.4842 0 1 1 1 1.336 0.0003432 0.00003512 0.004306 0.8144 1 -5.013e-10 0.00001836 0.001016 0.0003598 0.01897 4.405 0.1169 0.001614 0.00007829 1 1 0.001014 0.01329 0.07825 0.004325 0.0567 0.3338 json
t16_x20_u1_b67 16 20 1 67 lrg(R,log(sub(P,R))) 91756 130737904 o2(x,o1(o2(x,x))) true 50855 50855 0.5664 0.6537 0.5664 0.2256 0.475 0 1 1 1 1.788 0.0004726 0.0004611 0.01091 0.01237 1 -0.00001141 0.00005485 0.002661 0.0008144 0.02854 2.616 0.1169 0.004138 0.0002431 1 1 0.002423 0.03137 0.1016 0.01074 0.139 0.4501 json
t16_x20_u1_b68 16 20 1 68 lrg(R,log(mlt(P,R))) 91757 130737905 o2(x,o1(o2(x,x))) true 50863 50863 0.7236 0.9858 0.7236 0.1319 0.3631 0 1 1 1 2.746 0.0016 0.001488 0.03639 0.03629 1 -0.000004983 0.000182 0.008842 0.001765 0.04201 1.155 0.1169 0.02342 0.00138 1 1 0.005574 0.07166 0.2118 0.04226 0.5434 1.606 json
t16_x20_u1_b69 16 20 1 69 lrg(R,log(div(P,R))) 91758 130737906 o2(x,o1(o2(x,x))) true 50871 50871 0.5898 0.9509 0.5898 0.1531 0.3913 0 1 1 1 3.29 0.00184 0.00222 0.04769 -0.09373 1 0.00003066 0.0002405 0.01161 0.001786 0.04226 0.8861 0.1169 0.02652 0.001571 1 1 0.007774 0.1002 0.2878 0.05078 0.6543 1.879 json
t16_x20_u1_b70 16 20 1 70 lrg(R,log(pow(P,R))) 91759 130737907 o2(x,o1(o2(x,x))) true 50879 50879 0.7539 0.9895 0.7539 0.1296 0.3601 0 1 1 1 2.428 0.001231 0.001326 0.02996 -0.03701 1 -0.00001569 0.0001518 0.007299 0.001661 0.04075 1.36 0.1169 0.01973 0.001171 1 1 0.005301 0.06887 0.1834 0.04089 0.5313 1.414 json
t16_x20_u1_b71 16 20 1 71 lrg(R,log(mod(P,R))) 91760 130737908 o2(x,o1(o2(x,x))) true 50887 50887 0.9668 0.9961 0.9668 0.02277 0.1509 0 1 1 1 0.5714 0.0002028 0.0002419 0.005227 -0.0878 1 0.000005704 0.00002461 0.00125 0.0004171 0.02042 3.907 0.1169 0.01953 0.001081 1 1 0.0006144 0.008144 0.04769 0.02698 0.3576 2.094 json
t16_x20_u1_b72 16 20 1 72 lrg(R,log(lrg(P,R))) 91761 130737909 o2(x,o1(o2(x,x))) true 50895 50895 0.7109 0.9604 0.7109 0.1494 0.3865 0 1 1 1 2.525 0.001244 0.001316 0.03 -0.02823 1 -0.00002994 0.000153 0.00732 0.00166 0.04075 1.358 0.1169 0.01714 0.001024 1 1 0.005223 0.06784 0.1774 0.03496 0.4541 1.188 json
t16_x20_u1_b73 16 20 1 73 lrg(R,log(eql(P,R))) 91762 130737910 o2(x,o1(o2(x,x))) true 50903 50903 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
t16_x20_u1_b74 16 20 1 74 lrg(R,log(min(P,R))) 91763 130737911 o2(x,o1(o2(x,x))) true 50911 50911 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
t16_x20_u1_b75 16 20 1 75 lrg(R,log(dot(P,R))) 91764 130737912 o2(x,o1(o2(x,x))) true 50919 50919 0.6699 0.9864 0.6699 0.1388 0.3725 0 1 1 1 3.08 0.001664 0.002157 0.04465 -0.1288 1 0.0000449 0.0002215 0.01081 0.001827 0.04274 0.9572 0.1169 0.02753 0.001596 1 1 0.006785 0.08745 0.2738 0.0489 0.6302 1.973 json
t16_x20_u1_b76 16 20 1 76 lrg(R,log(dst(P,R))) 91765 130737913 o2(x,o1(o2(x,x))) true 50927 50927 0.03516 0.09097 0.03516 0.02345 0.1531 0 1 1 1 0.6011 0.000241 0.000241 0.005654 3.02e-8 1 3.698e-12 0.0000296 0.001399 0.0004502 0.02122 3.753 0.1169 0.02055 0.001262 1 1 0.001676 0.02184 0.07016 0.07148 0.9312 2.992 json
t16_x20_u1_b77 16 20 1 77 eql(R,log(add(P,R))) 91766 130737914 o2(x,o1(o2(x,x))) true 50935 50935 0.003906 0.01477 0.003906 0.002383 0.04882 0 0.9994 0.9994 1 0.1068 0.00003512 0.00003512 0.0008419 7.252e-7 0 -5.638e-14 0.000004222 0.000206 0.00006937 0.008329 9.893 0.1169 0.02947 0.001772 1 1 0.0002443 0.003178 0.008708 0.1025 1.334 3.654 json
t16_x20_u1_b78 16 20 1 78 eql(R,log(sub(P,R))) 91767 130737915 o2(x,o1(o2(x,x))) true 50943 50943 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
t16_x20_u1_b79 16 20 1 79 eql(R,log(mlt(P,R))) 91768 130737916 o2(x,o1(o2(x,x))) true 50951 50951 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
t16_x20_u1_b80 16 20 1 80 eql(R,log(div(P,R))) 91769 130737917 o2(x,o1(o2(x,x))) true 50959 50959 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
t16_x20_u1_b81 16 20 1 81 eql(R,log(pow(P,R))) 91770 130737918 o2(x,o1(o2(x,x))) true 50967 50967 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
t16_x20_u1_b82 16 20 1 82 eql(R,log(mod(P,R))) 91771 130737919 o2(x,o1(o2(x,x))) true 50975 50975 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
t16_x20_u1_b83 16 20 1 83 eql(R,log(lrg(P,R))) 91772 130737920 o2(x,o1(o2(x,x))) true 50983 50983 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
t16_x20_u1_b84 16 20 1 84 eql(R,log(eql(P,R))) 91773 130737921 o2(x,o1(o2(x,x))) true 50991 50991 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
t16_x20_u1_b85 16 20 1 85 eql(R,log(min(P,R))) 91774 130737922 o2(x,o1(o2(x,x))) true 50999 50999 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
t16_x20_u1_b86 16 20 1 86 eql(R,log(dot(P,R))) 91775 130737923 o2(x,o1(o2(x,x))) true 51007 51007 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
t16_x20_u1_b87 16 20 1 87 eql(R,log(dst(P,R))) 91776 130737924 o2(x,o1(o2(x,x))) true 51015 51015 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
t16_x20_u1_b88 16 20 1 88 min(R,log(add(P,R))) 91777 130737925 o2(x,o1(o2(x,x))) true 51023 51023 -0.03514 0.4613 0.3985 0.2232 0.4724 -1 0.9806 1.981 1 4.873 0.002991 0.003069 0.06313 -0.01277 1 0.00004487 0.0003813 0.01456 0.002075 0.04555 0.7215 0.3206 0.02715 0.001709 1 1 0.01152 0.1479 0.3758 0.05162 0.6626 1.684 json
t16_x20_u1_b89 16 20 1 89 min(R,log(sub(P,R))) 91778 130737926 o2(x,o1(o2(x,x))) true 51031 51031 -0.06994 0.445 0.4176 0.244 0.4939 -1 0.9806 1.981 1 4.894 0.002891 0.003046 0.0613 -0.02608 1 0.00005343 0.000464 0.01473 0.002179 0.04668 0.7614 0.3356 0.02433 0.001902 1 1 0.01148 0.1451 0.4385 0.04705 0.5948 1.798 json
t16_x20_u1_b90 16 20 1 90 min(R,log(mlt(P,R))) 91779 130737927 o2(x,o1(o2(x,x))) true 51039 51039 -0.2231 0.3506 0.5156 0.314 0.5604 -1 0.9805 1.981 1 4.694 0.009696 0.003105 0.06101 0.5149 1 0.00008326 0.01456 0.02538 0.009078 0.09528 1.562 1.898 0.04076 0.04638 1 1 0.01947 0.1688 0.5269 0.06199 0.5376 1.678 json
t16_x20_u1_b91 16 20 1 91 min(R,log(div(P,R))) 91780 130737928 o2(x,o1(o2(x,x))) true 51047 51047 -0.1287 0.428 0.4606 0.2935 0.5417 -1 0.9806 1.981 1 4.749 0.013 0.002698 0.06197 0.6563 1 0.00005049 0.02192 0.02949 0.01186 0.1089 1.757 1.898 0.0535 0.07471 1 1 0.0227 0.1688 0.483 0.07734 0.5752 1.646 json
t16_x20_u1_b92 16 20 1 92 min(R,log(pow(P,R))) 91781 130737929 o2(x,o1(o2(x,x))) true 51055 51055 -0.1475 0.4004 0.4615 0.2879 0.5366 -1 0.9804 1.98 1 4.764 0.00883 0.004154 0.06457 0.3601 1 0.00006024 0.01457 0.02614 0.008815 0.09389 1.454 1.898 0.0451 0.0506 1 1 0.01992 0.169 0.4829 0.06921 0.5869 1.677 json
t16_x20_u1_b93 16 20 1 93 min(R,log(mod(P,R))) 91782 130737930 o2(x,o1(o2(x,x))) true 51063 51063 -0.5337 0.2329 0.7249 0.3564 0.597 -1 0.9693 1.969 1 3.343 0.007577 0.001611 0.03482 0.6494 1 0.00006622 0.01293 0.01743 0.007977 0.08931 2.565 1.898 0.02578 0.03627 1 1 0.01329 0.09744 0.2619 0.0373 0.2734 0.7346 json
t16_x20_u1_b94 16 20 1 94 min(R,log(lrg(P,R))) 91783 130737931 o2(x,o1(o2(x,x))) true 51071 51071 -0.6643 0 0.6643 0.161 0.4013 -1 0 1 1 2.601 0.002419 0.0007504 0.01836 0.5265 1 -8.57e-7 0.004849 0.009731 0.002832 0.05322 2.899 1.414 0.01969 0.03012 1 1 0.004808 0.03169 0.1027 0.02986 0.1968 0.638 json
t16_x20_u1_b95 16 20 1 95 min(R,log(eql(P,R))) 91784 130737932 o2(x,o1(o2(x,x))) true 51079 51079 -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
t16_x20_u1_b96 16 20 1 96 min(R,log(min(P,R))) 91785 130737933 o2(x,o1(o2(x,x))) true 51087 51087 -0.3295 0.238 0.5242 0.2584 0.5083 -1 0.9693 1.969 1 4.613 0.007066 0.002904 0.05114 0.4174 1 0.0000989 0.01249 0.02252 0.007355 0.08576 1.677 1.898 0.03859 0.04835 1 1 0.01523 0.1197 0.3305 0.05894 0.4631 1.279 json
t16_x20_u1_b97 16 20 1 97 min(R,log(dot(P,R))) 91786 130737934 o2(x,o1(o2(x,x))) true 51095 51095 -0.118 0.42 0.4455 0.2708 0.5204 -1 0.9806 1.981 1 4.864 0.004311 0.004847 0.06777 -0.05851 1 0.00005275 0.004602 0.01952 0.004565 0.06757 0.9969 1.924 0.03382 0.017 1 1 0.018 0.1913 0.5187 0.06649 0.7067 1.916 json
t16_x20_u1_b98 16 20 1 98 min(R,log(dst(P,R))) 91787 130737935 o2(x,o1(o2(x,x))) true 51103 51103 -0.004536 0.4855 0.3888 0.2147 0.4634 -0.9989 0.9806 1.979 1 4.851 0.002704 0.003091 0.06196 -0.06692 1 0.00002651 0.0003377 0.01417 0.001955 0.04422 0.7137 0.2301 0.02699 0.001573 1 1 0.01117 0.1434 0.3869 0.05201 0.6679 1.802 json
t16_x20_u1_b99 16 20 1 99 dot(R,log(add(P,R))) 91788 130737936 o2(x,o1(o2(x,x))) true 51111 51111 -0.9918 0.00354 0.9958 0.0109 0.1044 -1 1 2 1 0.1064 0.001662 0.001582 0.003088 0.02451 1 5.256e-11 0.006513 0.004529 0.003235 0.05688 18.42 2.828 0.2976 0.5975 1 1 0.0001009 0.001116 0.009735 0.009254 0.1024 0.8932 json
t16_x20_u1_b100 16 20 1 100 dot(R,log(sub(P,R))) 91789 130737937 o2(x,o1(o2(x,x))) true 51119 51119 -0.9887 0.00563 0.9978 0.01959 0.1399 -1 1 2 1 0.09152 0.001561 0.002678 0.002997 -0.2633 1 6.007e-11 0.008574 0.004698 0.004227 0.06502 21.69 2.828 0.2164 0.4378 1 1 0.007735 0.03429 0.07158 0.3949 1.751 3.655 json
t16_x20_u1_b101 16 20 1 101 dot(R,log(mlt(P,R))) 91790 130737938 o2(x,o1(o2(x,x))) true 51127 51127 -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
t16_x20_u1_b102 16 20 1 102 dot(R,log(div(P,R))) 91791 130737939 o2(x,o1(o2(x,x))) true 51135 51135 -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
t16_x20_u1_b103 16 20 1 103 dot(R,log(pow(P,R))) 91792 130737940 o2(x,o1(o2(x,x))) true 51143 51143 -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
t16_x20_u1_b104 16 20 1 104 dot(R,log(mod(P,R))) 91793 130737941 o2(x,o1(o2(x,x))) true 51151 51151 -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
t16_x20_u1_b105 16 20 1 105 dot(R,log(lrg(P,R))) 91794 130737942 o2(x,o1(o2(x,x))) true 51159 51159 -0.9922 0 0.9922 0.007751 0.08804 -1 0 1 1 0.06591 0.0005039 0.001008 0.001502 -0.3333 1 0 0.003149 0.003023 0.001509 0.03884 25.85 1.414 0.195 0.4063 1 1 0.002659 0.01064 0.02837 0.3431 1.372 3.659 json
t16_x20_u1_b106 16 20 1 106 dot(R,log(eql(P,R))) 91795 130737943 o2(x,o1(o2(x,x))) true 51167 51167 -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
t16_x20_u1_b107 16 20 1 107 dot(R,log(min(P,R))) 91796 130737944 o2(x,o1(o2(x,x))) true 51175 51175 -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
t16_x20_u1_b108 16 20 1 108 dot(R,log(dot(P,R))) 91797 130737945 o2(x,o1(o2(x,x))) true 51183 51183 -0.9466 0.03004 0.9813 0.08016 0.2831 -1 1 2 1 0.4072 0.009631 0.007433 0.01385 0.1288 1 -0.000003959 0.03438 0.02205 0.01687 0.1299 9.381 2.057 0.2129 0.4289 1 1 0.02212 0.09864 0.2057 0.276 1.231 2.566 json
t16_x20_u1_b109 16 20 1 109 dot(R,log(dst(P,R))) 91798 130737946 o2(x,o1(o2(x,x))) true 51191 51191 -0.001346 0.5052 0.6809 0.5844 0.7644 -1 1 2 1 4.167 0.01191 0.01288 0.09598 -0.03918 1 0.000004202 0.007291 0.03728 0.01558 0.1248 1.3 0.7855 0.04242 0.01248 1 1 0.0409 0.4159 1.056 0.06999 0.7117 1.808 json
t16_x20_u1_b110 16 20 1 110 dst(R,log(add(P,R))) 91799 130737947 o2(x,o1(o2(x,x))) true 51199 51199 -0.9766 0.01172 1 0.04631 0.2152 -1 1 2 1 0.09198 0.004031 0.006047 0.005002 -0.2 1 0 0.02116 0.01008 0.01005 0.1003 20.04 2.828 0.2176 0.457 1 1 0.002604 0.01823 0.04166 0.05623 0.3936 0.8996 json