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
t14_x20_u1_b31 14 20 1 31 log(mlt(dot(R,P),R)) 64000 114496666 o1(o2(o2(x,x),x)) true 7 7 -0.7531 0.1236 0.9407 0.3544 0.5953 -1 1 2 1 1.362 0.02133 0.01696 0.03864 0.114 1 -0.000006513 0.07186 0.04614 0.03677 0.1918 4.962 2.828 0.108 0.2028 1 1 0.03484 0.1768 0.5362 0.09831 0.4989 1.513 json
t14_x20_u1_b32 14 20 1 32 log(mlt(dst(R,P),R)) 64001 114496667 o1(o2(o2(x,x),x)) true 15 15 -0.9221 0.04138 0.9927 0.1391 0.373 -1 1 2 1 0.3623 0.01374 0.01417 0.01605 -0.01548 1 -0.000001042 0.05814 0.03024 0.02765 0.1663 10.36 2.828 0.2006 0.4178 1 1 0.01966 0.08751 0.207 0.1413 0.6289 1.487 json
t14_x20_u1_b33 14 20 1 33 log(div(add(R,P),R)) 64002 114496668 o1(o2(o2(x,x),x)) true 23 23 -0.8747 0.07031 0.9847 0.2162 0.465 -1 1 2 1 0.5214 0.01855 0.01872 0.02217 -0.004763 1 3.229e-10 0.07728 0.04145 0.03678 0.1918 8.649 2.828 0.1724 0.3575 1 1 0.03593 0.1543 0.4661 0.1662 0.7138 2.156 json
t14_x20_u1_b34 14 20 1 34 log(div(sub(R,P),R)) 64003 114496669 o1(o2(o2(x,x),x)) true 31 31 -0.8396 0.08594 0.9885 0.2807 0.5298 -1 1 2 1 0.5583 0.02538 0.02912 0.02988 -0.06869 1 3.004e-11 0.1137 0.05758 0.05363 0.2316 7.751 2.828 0.1942 0.405 1 1 0.05698 0.2453 0.6532 0.203 0.8742 2.327 json
t14_x20_u1_b35 14 20 1 35 log(div(mlt(R,P),R)) 64004 114496670 o1(o2(o2(x,x),x)) true 39 39 -0.1739 0.4375 0.9511 0.9053 0.9515 -1 1 2 1 1.654 0.004186 1.699e-17 0.007937 1 1 1.322e-9 0.007916 0.008917 0.004122 0.0642 8.089 1 0.004624 0.008745 1 1 0.005854 0.03284 0.2495 0.006466 0.03627 0.2755 json
t14_x20_u1_b36 14 20 1 36 log(div(div(R,P),R)) 64005 114496671 o1(o2(o2(x,x),x)) true 47 47 -0.9511 0 0.9511 0.03057 0.1749 -1 -0.0002017 0.9998 1 0.7914 0.004183 1.681e-17 0.007935 1 1 1.178e-10 0.007985 0.008951 0.004119 0.06418 8.088 0.9998 0.1368 0.2612 1 1 0.0058 0.02375 0.04439 0.1897 0.7769 1.452 json
t14_x20_u1_b37 14 20 1 37 log(div(pow(R,P),R)) 64006 114496672 o1(o2(o2(x,x),x)) true 55 55 -0.9268 0.03906 0.9949 0.1342 0.3663 -1 1 2 1 0.3121 0.01388 0.0122 0.01465 0.06449 1 0.000004482 0.05415 0.02817 0.02588 0.1609 10.98 2.828 0.1944 0.4036 1 1 0.02231 0.09865 0.239 0.1663 0.7353 1.781 json
t14_x20_u1_b38 14 20 1 38 log(div(mod(R,P),R)) 64007 114496673 o1(o2(o2(x,x),x)) true 63 63 -0.125 0 0.125 0.1094 0.3307 -1 1.191e-7 1 1 1.135 0.007937 6.195e-18 0.007937 1 1 6.533e-10 0.01587 0.01587 0.007872 0.08872 11.18 1 0.07256 0.1451 1 1 0.01053 0.04211 0.1684 0.09624 0.385 1.54 json
t14_x20_u1_b39 14 20 1 39 log(div(lrg(R,P),R)) 64008 114496674 o1(o2(o2(x,x),x)) true 71 71 -0.9425 0.03516 0.9872 0.09403 0.3066 -1 1 2 1 0.3466 0.01116 0.008469 0.01292 0.1369 1 -0.00001234 0.04089 0.02353 0.01946 0.1395 10.8 2.828 0.2087 0.4349 1 1 0.01587 0.06754 0.1651 0.1688 0.7183 1.756 json
t14_x20_u1_b40 14 20 1 40 log(div(eql(R,P),R)) 64009 114496675 o1(o2(o2(x,x),x)) true 79 79 -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
t14_x20_u1_b41 14 20 1 41 log(div(min(R,P),R)) 64010 114496676 o1(o2(o2(x,x),x)) true 87 87 -0.4639 0.03906 0.5361 0.3197 0.5654 -1 1 2 1 1.546 0.01624 0.01229 0.01725 0.1385 1 2.816e-10 0.05931 0.03396 0.02823 0.168 9.741 2.828 0.08927 0.1855 1 1 0.03178 0.1314 0.3834 0.09942 0.4112 1.199 json
t14_x20_u1_b42 14 20 1 42 log(div(dot(R,P),R)) 64011 114496677 o1(o2(o2(x,x),x)) true 95 95 -0.5817 0.2144 0.9861 0.6424 0.8015 -1 1 2 1 1.01 0.03242 0.02913 0.03495 0.05349 1 -0.000002375 0.1268 0.0644 0.06033 0.2456 7.028 2.828 0.09582 0.1974 1 1 0.05707 0.2549 0.7627 0.08885 0.3968 1.187 json
t14_x20_u1_b43 14 20 1 43 log(div(dst(R,P),R)) 64012 114496678 o1(o2(o2(x,x),x)) true 103 103 -0.9141 0.04297 1 0.1645 0.4056 -1 1 2 1 0.2557 0.01688 0.01638 0.01652 0.01511 1 0 0.06954 0.03326 0.03296 0.1816 10.99 2.828 0.2022 0.4227 1 1 0.02543 0.1095 0.2757 0.1546 0.6659 1.676 json
t14_x20_u1_b44 14 20 1 44 log(pow(add(R,P),R)) 64013 114496679 o1(o2(o2(x,x),x)) true 111 111 -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
t14_x20_u1_b45 14 20 1 45 log(pow(sub(R,P),R)) 64014 114496680 o1(o2(o2(x,x),x)) true 119 119 -0.4797 0.268 0.7715 0.4812 0.6937 -1 1 2 1 2.951 0.008168 0.004199 0.03849 0.3209 1 0.00002914 0.01614 0.02109 0.01089 0.1043 2.71 2 0.0257 0.03354 1 1 0.01681 0.1277 0.3479 0.03493 0.2654 0.7231 json
t14_x20_u1_b46 14 20 1 46 log(pow(mlt(R,P),R)) 64015 114496681 o1(o2(o2(x,x),x)) true 127 127 -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.844e-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
t14_x20_u1_b47 14 20 1 47 log(pow(div(R,P),R)) 64016 114496682 o1(o2(o2(x,x),x)) true 135 135 -0.9416 0.03516 0.9881 0.0952 0.3085 -1 1 2 1 0.3384 0.009416 0.008185 0.01102 0.06994 1 -6.086e-9 0.03675 0.02086 0.01748 0.1322 12 2.828 0.1849 0.386 1 1 0.01808 0.07483 0.1961 0.19 0.786 2.059 json
t14_x20_u1_b48 14 20 1 48 log(pow(pow(R,P),R)) 64017 114496683 o1(o2(o2(x,x),x)) true 143 143 -0.905 0.04977 0.9584 0.133 0.3647 -1 1 2 1 0.6338 0.01311 0.01161 0.01723 0.06089 1 -0.000001817 0.05143 0.03248 0.0244 0.1562 9.064 2.828 0.1858 0.3866 1 1 0.0219 0.09169 0.27 0.1646 0.6891 2.029 json
t14_x20_u1_b49 14 20 1 49 log(pow(mod(R,P),R)) 64018 114496684 o1(o2(o2(x,x),x)) true 151 151 -0.9738 0 0.9738 0.01913 0.1383 -1 -0.05546 0.9445 1 0.299 0.002015 0.001729 0.005423 0.07633 1 0.000003865 0.007807 0.01009 0.003715 0.06095 11.24 0.9445 0.1957 0.408 1 1 0.003296 0.01378 0.03462 0.1723 0.7201 1.81 json
t14_x20_u1_b50 14 20 1 50 log(pow(lrg(R,P),R)) 64019 114496685 o1(o2(o2(x,x),x)) true 159 159 -0.5234 0.01172 0.5469 0.273 0.5225 -1 1 2 1 1.075 0.006866 0.003527 0.007872 0.3212 1 0 0.02167 0.01578 0.01033 0.1016 12.91 2.828 0.03807 0.07936 1 1 0.01457 0.05828 0.1795 0.05337 0.2135 0.6574 json
t14_x20_u1_b51 14 20 1 51 log(pow(eql(R,P),R)) 64020 114496686 o1(o2(o2(x,x),x)) true 167 167 -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
t14_x20_u1_b52 14 20 1 52 log(pow(min(R,P),R)) 64021 114496687 o1(o2(o2(x,x),x)) true 175 175 -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
t14_x20_u1_b53 14 20 1 53 log(pow(dot(R,P),R)) 64022 114496688 o1(o2(o2(x,x),x)) true 183 183 -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
t14_x20_u1_b54 14 20 1 54 log(pow(dst(R,P),R)) 64023 114496689 o1(o2(o2(x,x),x)) true 191 191 -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
t14_x20_u1_b55 14 20 1 55 log(mod(add(R,P),R)) 64024 114496690 o1(o2(o2(x,x),x)) true 199 199 -0.9786 0 0.9786 0.01002 0.1001 -1 -0.2248 0.7752 1 0.5045 0.0003073 0.0002741 0.004959 0.05708 1 0.00003286 0.0003454 0.003207 0.0005566 0.02359 4.758 0.451 0.05805 0.03448 1 1 0.001094 0.009081 0.02565 0.1092 0.9066 2.561 json
t14_x20_u1_b56 14 20 1 56 log(mod(sub(R,P),R)) 64025 114496691 o1(o2(o2(x,x),x)) true 207 207 -0.9879 0 0.9879 0.005383 0.07337 -1 -0.2134 0.7866 1 0.3485 0.0001856 0.0002523 0.003561 -0.1523 1 0.00003149 0.0002794 0.002608 0.0004253 0.02062 5.791 0.4507 0.08134 0.05191 1 1 0.0007641 0.005103 0.008519 0.1419 0.9479 1.582 json
t14_x20_u1_b57 14 20 1 57 log(mod(mlt(R,P),R)) 64026 114496692 o1(o2(o2(x,x),x)) true 215 215 -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
t14_x20_u1_b58 14 20 1 58 log(mod(div(R,P),R)) 64027 114496693 o1(o2(o2(x,x),x)) true 223 223 -1 0 1 0.000006172 0.002484 -1 -0.8031 0.1969 1 0.004775 0.000003106 0.000003238 0.00005792 -0.02074 0 3.754e-12 0.00001424 0.00009402 0.00000634 0.002518 43.47 0.197 1.028 2.306 1 1 0.000009073 0.00001694 0.00001831 1.47 2.744 2.966 json
t14_x20_u1_b59 14 20 1 59 log(mod(pow(R,P),R)) 64028 114496694 o1(o2(o2(x,x),x)) true 231 231 -0.9988 0 0.9988 0.0003646 0.01909 -1 -0.2892 0.7108 1 0.06453 0.0001166 0.00007915 0.0008532 0.1912 1 0.00001338 0.0003877 0.001217 0.0001952 0.01397 16.37 0.7108 0.5368 1.063 1 1 0.0002981 0.0008787 0.0009176 0.8176 2.41 2.517 json
t14_x20_u1_b60 14 20 1 60 log(mod(mod(R,P),R)) 64029 114496695 o1(o2(o2(x,x),x)) true 239 239 -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
t14_x20_u1_b61 14 20 1 61 log(mod(lrg(R,P),R)) 64030 114496696 o1(o2(o2(x,x),x)) true 247 247 -0.9993 0 0.9993 0.0001075 0.01037 -1 -0.7305 0.2695 1 0.05014 0.000009366 0.00001416 0.0003666 -0.2039 0 0.000007843 0.00002337 0.0003839 0.00002339 0.004836 13.19 0.1366 0.2189 0.2174 1 1 0.00003984 0.0001958 0.0002575 0.3706 1.822 2.395 json
t14_x20_u1_b62 14 20 1 62 log(mod(eql(R,P),R)) 64031 114496697 o1(o2(o2(x,x),x)) true 255 255 -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
t14_x20_u1_b63 14 20 1 63 log(mod(min(R,P),R)) 64032 114496698 o1(o2(o2(x,x),x)) true 263 263 -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
t14_x20_u1_b64 14 20 1 64 log(mod(dot(R,P),R)) 64033 114496699 o1(o2(o2(x,x),x)) true 271 271 -0.9993 0 0.9993 0.0001941 0.01393 -1 -0.486 0.514 1 0.0403 0.00005943 0.00004758 0.0005213 0.1108 1 0.000004976 0.0002155 0.0007373 0.0001068 0.01034 19.82 0.514 0.5514 1.111 1 1 0.0001508 0.0004925 0.0005077 0.7769 2.538 2.616 json
t14_x20_u1_b65 14 20 1 65 log(mod(dst(R,P),R)) 64034 114496700 o1(o2(o2(x,x),x)) true 279 279 -0.9471 0 0.9471 0.02053 0.1433 -1 -0.05936 0.9406 1 1.139 0.0006783 0.0008166 0.01309 -0.09256 1 0.00003786 0.0007172 0.008182 0.001323 0.03638 2.78 0.3265 0.07282 0.03493 1 1 0.002264 0.01715 0.03187 0.1103 0.8352 1.553 json
t14_x20_u1_b66 14 20 1 66 log(lrg(add(R,P),R)) 64035 114496701 o1(o2(o2(x,x),x)) true 287 287 -0.5625 0 0.5625 0.2461 0.4961 -1 0 1 1 0.9887 0.003968 0 0.003968 1 1 0 0.007937 0.007937 0.003952 0.06287 15.84 1 0.01612 0.03225 1 1 0.005263 0.02105 0.08421 0.02139 0.08555 0.3422 json
t14_x20_u1_b67 14 20 1 67 log(lrg(sub(R,P),R)) 64036 114496702 o1(o2(o2(x,x),x)) true 295 295 -0.5625 0 0.5625 0.2461 0.4961 -1 0 1 1 0.9887 0.003968 0 0.003968 1 1 0 0.007937 0.007937 0.003952 0.06287 15.84 1 0.01612 0.03225 1 1 0.005263 0.02105 0.08421 0.02139 0.08555 0.3422 json
t14_x20_u1_b68 14 20 1 68 log(lrg(mlt(R,P),R)) 64037 114496703 o1(o2(o2(x,x),x)) true 303 303 -0.957 0 0.957 0.04113 0.2028 -1 0 1 1 0.2557 0.003716 0.003716 0.007368 0 1 0 0.01556 0.01487 0.007384 0.08593 11.66 1.414 0.1807 0.3783 1 1 0.007147 0.02925 0.08576 0.1738 0.7112 2.085 json
t14_x20_u1_b69 14 20 1 69 log(lrg(div(R,P),R)) 64038 114496704 o1(o2(o2(x,x),x)) true 311 311 -0.9336 0 0.9336 0.06198 0.249 -1 0 1 1 0.3524 0.00548 0.006173 0.01158 -0.05946 1 0 0.02438 0.02331 0.01151 0.1073 9.266 1.414 0.188 0.3933 1 1 0.01212 0.05109 0.1337 0.1955 0.8243 2.156 json
t14_x20_u1_b70 14 20 1 70 log(lrg(pow(R,P),R)) 64039 114496705 o1(o2(o2(x,x),x)) true 319 319 -0.4648 0 0.4648 0.2487 0.4987 -1 0 1 1 0.9964 0.005984 0.003905 0.009861 0.2102 1 0 0.02041 0.01978 0.009793 0.09896 10.04 1.414 0.03977 0.08206 1 1 0.01157 0.04821 0.1489 0.0465 0.1939 0.5989 json
t14_x20_u1_b71 14 20 1 71 log(lrg(mod(R,P),R)) 64040 114496706 o1(o2(o2(x,x),x)) true 327 327 -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
t14_x20_u1_b72 14 20 1 72 log(lrg(lrg(R,P),R)) 64041 114496707 o1(o2(o2(x,x),x)) true 335 335 -0.4648 0 0.4648 0.2487 0.4987 -1 0 1 1 0.9964 0.005984 0.003905 0.009861 0.2102 1 0 0.02041 0.01978 0.009793 0.09896 10.04 1.414 0.03977 0.08206 1 1 0.01157 0.04821 0.1489 0.0465 0.1939 0.5989 json
t14_x20_u1_b73 14 20 1 73 log(lrg(eql(R,P),R)) 64042 114496708 o1(o2(o2(x,x),x)) true 343 343 -0.9297 0 0.9297 0.06532 0.2556 -1 0 1 1 0.3671 0.00548 0.006677 0.01207 -0.09845 1 0 0.02545 0.02431 0.01201 0.1096 9.077 1.414 0.1861 0.3896 1 1 0.01256 0.05287 0.1436 0.1923 0.8093 2.199 json
t14_x20_u1_b74 14 20 1 74 log(lrg(min(R,P),R)) 64043 114496709 o1(o2(o2(x,x),x)) true 351 351 -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
t14_x20_u1_b75 14 20 1 75 log(lrg(dot(R,P),R)) 64044 114496710 o1(o2(o2(x,x),x)) true 359 359 -0.9648 0 0.9648 0.03391 0.1841 -1 0 1 1 0.2196 0.003779 0.003968 0.007692 -0.02439 1 0 0.01631 0.0155 0.00769 0.08769 11.4 1.414 0.2285 0.4811 1 1 0.009848 0.04001 0.09751 0.2904 1.18 2.876 json
t14_x20_u1_b76 14 20 1 76 log(lrg(dst(R,P),R)) 64045 114496711 o1(o2(o2(x,x),x)) true 367 367 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
t14_x20_u1_b77 14 20 1 77 log(eql(add(R,P),R)) 64046 114496712 o1(o2(o2(x,x),x)) true 375 375 -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
t14_x20_u1_b78 14 20 1 78 log(eql(sub(R,P),R)) 64047 114496713 o1(o2(o2(x,x),x)) true 383 383 -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
t14_x20_u1_b79 14 20 1 79 log(eql(mlt(R,P),R)) 64048 114496714 o1(o2(o2(x,x),x)) true 391 391 -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
t14_x20_u1_b80 14 20 1 80 log(eql(div(R,P),R)) 64049 114496715 o1(o2(o2(x,x),x)) true 399 399 -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
t14_x20_u1_b81 14 20 1 81 log(eql(pow(R,P),R)) 64050 114496716 o1(o2(o2(x,x),x)) true 407 407 -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
t14_x20_u1_b82 14 20 1 82 log(eql(mod(R,P),R)) 64051 114496717 o1(o2(o2(x,x),x)) true 415 415 -0.125 0 0.125 0.1094 0.3307 -1 0 1 1 0.5436 0.007937 0 0.007937 1 1 0 0.01587 0.01587 0.007872 0.08872 11.18 1 0.07256 0.1451 1 1 0.01053 0.04211 0.1684 0.09624 0.385 1.54 json
t14_x20_u1_b83 14 20 1 83 log(eql(lrg(R,P),R)) 64052 114496718 o1(o2(o2(x,x),x)) true 423 423 -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
t14_x20_u1_b84 14 20 1 84 log(eql(eql(R,P),R)) 64053 114496719 o1(o2(o2(x,x),x)) true 431 431 -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
t14_x20_u1_b85 14 20 1 85 log(eql(min(R,P),R)) 64054 114496720 o1(o2(o2(x,x),x)) true 439 439 -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
t14_x20_u1_b86 14 20 1 86 log(eql(dot(R,P),R)) 64055 114496721 o1(o2(o2(x,x),x)) true 447 447 -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
t14_x20_u1_b87 14 20 1 87 log(eql(dst(R,P),R)) 64056 114496722 o1(o2(o2(x,x),x)) true 455 455 -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
t14_x20_u1_b88 14 20 1 88 log(min(add(R,P),R)) 64057 114496723 o1(o2(o2(x,x),x)) true 463 463 -0.9966 0 0.9966 0.002124 0.04608 -1 -0.07531 0.9247 1 0.07921 0.0001942 0.0002522 0.001007 -0.1298 1 0.00000472 0.0008905 0.001386 0.0004455 0.02111 20.97 1.212 0.2102 0.4193 1 1 0.0000821 0.0005177 0.001788 0.03866 0.2438 0.8419 json
t14_x20_u1_b89 14 20 1 89 log(min(sub(R,P),R)) 64058 114496724 o1(o2(o2(x,x),x)) true 471 471 -0.9872 0 0.9872 0.007581 0.08707 -1 -0.05896 0.941 1 0.2689 0.00092 0.000972 0.004166 -0.02748 1 0.00001234 0.003781 0.005832 0.001874 0.04329 10.39 0.941 0.2496 0.4988 1 1 0.001885 0.008331 0.0144 0.2487 1.099 1.899 json
t14_x20_u1_b90 14 20 1 90 log(min(mlt(R,P),R)) 64059 114496725 o1(o2(o2(x,x),x)) true 479 479 -0.9984 0 0.9984 0.00102 0.03194 -1 -0.07531 0.9247 1 0.04175 0.00001566 0.0000908 0.0003519 -0.7058 1 0.00000472 0.0001855 0.0003575 0.0001063 0.01031 29.3 0.8956 0.1043 0.1817 1 1 0 0 0.0007799 0 0 0.7644 json
t14_x20_u1_b91 14 20 1 91 log(min(div(R,P),R)) 64060 114496726 o1(o2(o2(x,x),x)) true 487 487 -0.9982 0 0.9982 0.001107 0.03327 -1 -0.143 0.857 1 0.04289 0.0001786 0.0001614 0.0006547 0.05059 1 3.754e-12 0.000705 0.001029 0.0003395 0.01843 28.14 1.212 0.3071 0.6369 1 1 0.0000821 0.0005177 0.001008 0.07417 0.4677 0.9106 json
t14_x20_u1_b92 14 20 1 92 log(min(pow(R,P),R)) 64061 114496727 o1(o2(o2(x,x),x)) true 495 495 -0.9853 0 0.9853 0.008662 0.09307 -1 -0.05896 0.941 1 0.2998 0.001043 0.001134 0.004732 -0.04164 1 0.00002388 0.004348 0.006644 0.002155 0.04642 9.81 1.212 0.2514 0.5019 1 1 0.001967 0.008849 0.01541 0.2271 1.021 1.779 json
t14_x20_u1_b93 14 20 1 93 log(min(mod(R,P),R)) 64062 114496728 o1(o2(o2(x,x),x)) true 503 503 -0.9838 0 0.9838 0.009626 0.09811 -1 -0.05896 0.941 1 0.3254 0.001056 0.001224 0.005061 -0.07381 1 0.00001706 0.004529 0.00698 0.002254 0.04747 9.381 1.212 0.2369 0.4706 1 1 0.001967 0.008849 0.01618 0.2044 0.9193 1.681 json
t14_x20_u1_b94 14 20 1 94 log(min(lrg(R,P),R)) 64063 114496729 o1(o2(o2(x,x),x)) true 511 511 -0.9872 0 0.9872 0.007581 0.08707 -1 -0.05896 0.941 1 0.2689 0.00092 0.000972 0.004166 -0.02748 1 0.00001234 0.003781 0.005832 0.001874 0.04329 10.39 0.941 0.2496 0.4988 1 1 0.001885 0.008331 0.0144 0.2487 1.099 1.899 json
t14_x20_u1_b95 14 20 1 95 log(min(eql(R,P),R)) 64064 114496730 o1(o2(o2(x,x),x)) true 519 519 -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
t14_x20_u1_b96 14 20 1 96 log(min(min(R,P),R)) 64065 114496731 o1(o2(o2(x,x),x)) true 527 527 -0.9984 0 0.9984 0.00102 0.03194 -1 -0.07531 0.9247 1 0.04175 0.00001566 0.0000908 0.0003519 -0.7058 1 0.00000472 0.0001855 0.0003575 0.0001063 0.01031 29.3 0.8956 0.1043 0.1817 1 1 0 0 0.0007799 0 0 0.7644 json
t14_x20_u1_b97 14 20 1 97 log(min(dot(R,P),R)) 64066 114496732 o1(o2(o2(x,x),x)) true 535 535 -0.9984 0 0.9984 0.00102 0.03194 -1 -0.07531 0.9247 1 0.04175 0.00001566 0.0000908 0.0003519 -0.7058 1 0.00000472 0.0001855 0.0003575 0.0001063 0.01031 29.3 0.8956 0.1043 0.1817 1 1 0 0 0.0007799 0 0 0.7644 json
t14_x20_u1_b98 14 20 1 98 log(min(dst(R,P),R)) 64067 114496733 o1(o2(o2(x,x),x)) true 543 543 -0.9838 0 0.9838 0.009626 0.09811 -1 -0.05896 0.941 1 0.3254 0.001056 0.001224 0.005061 -0.07381 1 0.00001706 0.004529 0.00698 0.002254 0.04747 9.381 1.212 0.2369 0.4706 1 1 0.001967 0.008849 0.01618 0.2044 0.9193 1.681 json
t14_x20_u1_b99 14 20 1 99 log(dot(add(R,P),R)) 64068 114496734 o1(o2(o2(x,x),x)) true 551 551 -0.8731 0.06694 0.967 0.1952 0.4418 -1 1 2 1 0.7755 0.01902 0.01662 0.02604 0.06734 1 -0.000001327 0.073 0.04284 0.03498 0.187 7.181 2.828 0.1826 0.374 1 1 0.04526 0.2047 0.5444 0.2319 1.049 2.789 json
t14_x20_u1_b100 14 20 1 100 log(dot(sub(R,P),R)) 64069 114496735 o1(o2(o2(x,x),x)) true 559 559 -0.7142 0.1483 0.9698 0.4501 0.6709 -1 1 2 1 1.065 0.02474 0.04403 0.04476 -0.2805 1 -0.00000254 0.1397 0.07561 0.06674 0.2583 5.771 2.828 0.1528 0.3103 1 1 0.07183 0.3342 0.8621 0.1596 0.7426 1.915 json
t14_x20_u1_b101 14 20 1 101 log(dot(mlt(R,P),R)) 64070 114496736 o1(o2(o2(x,x),x)) true 567 567 -0.6118 0.2032 0.904 0.4997 0.7069 -1 1 2 1 1.908 0.00974 0.01337 0.03395 -0.1573 1 -0.00003013 0.03964 0.02927 0.02196 0.1482 4.365 2.828 0.04625 0.07931 1 1 0.0237 0.1528 0.4967 0.04742 0.3058 0.9938 json
t14_x20_u1_b102 14 20 1 102 log(dot(div(R,P),R)) 64071 114496737 o1(o2(o2(x,x),x)) true 575 575 -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
t14_x20_u1_b103 14 20 1 103 log(dot(pow(R,P),R)) 64072 114496738 o1(o2(o2(x,x),x)) true 583 583 -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
t14_x20_u1_b104 14 20 1 104 log(dot(mod(R,P),R)) 64073 114496739 o1(o2(o2(x,x),x)) true 591 591 -0.3155 0.37 0.5133 0.2973 0.5452 -1 0.8866 1.887 1 4.082 0.01033 0.009011 0.05589 0.06808 1 0.00005002 0.0306 0.03741 0.01621 0.1273 2.278 1.697 0.06506 0.1029 1 1 0.02244 0.1441 0.5063 0.07547 0.4848 1.703 json
t14_x20_u1_b105 14 20 1 105 log(dot(lrg(R,P),R)) 64074 114496740 o1(o2(o2(x,x),x)) true 599 599 -0.9154 0.02518 0.928 0.07005 0.2647 -1 0.8431 1.843 1 1.04 0.006451 0.008854 0.02391 -0.1571 1 0.000008197 0.03009 0.03135 0.01472 0.1213 5.075 2.445 0.2185 0.4296 1 1 0.02283 0.1017 0.1954 0.3259 1.452 2.789 json
t14_x20_u1_b106 14 20 1 106 log(dot(eql(R,P),R)) 64075 114496741 o1(o2(o2(x,x),x)) true 607 607 -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
t14_x20_u1_b107 14 20 1 107 log(dot(min(R,P),R)) 64076 114496742 o1(o2(o2(x,x),x)) true 615 615 -0.777 0.08119 0.8404 0.1934 0.4398 -1 1 2 1 2.079 0.00916 0.01119 0.0294 -0.0997 1 0.00006098 0.03881 0.02868 0.01948 0.1396 4.747 2.828 0.1052 0.2006 1 1 0.02096 0.1058 0.3125 0.1084 0.5471 1.615 json
t14_x20_u1_b108 14 20 1 108 log(dot(dot(R,P),R)) 64077 114496743 o1(o2(o2(x,x),x)) true 623 623 -0.8229 0.09065 0.9708 0.2833 0.5323 -1 1 2 1 0.8943 0.01813 0.01907 0.02929 -0.02531 1 -0.00001128 0.07363 0.04151 0.03634 0.1906 6.507 2.828 0.1313 0.2599 1 1 0.03368 0.1559 0.4062 0.1189 0.5503 1.434 json
t14_x20_u1_b109 14 20 1 109 log(dot(dst(R,P),R)) 64078 114496744 o1(o2(o2(x,x),x)) true 631 631 -0.9097 0.04721 0.9847 0.1515 0.3893 -1 1 2 1 0.5127 0.01562 0.01673 0.02066 -0.03428 1 0.00001284 0.06721 0.0363 0.03189 0.1786 8.645 2.828 0.2135 0.4435 1 1 0.04728 0.2042 0.4227 0.312 1.348 2.79 json
t14_x20_u1_b110 14 20 1 110 log(dst(add(R,P),R)) 64079 114496745 o1(o2(o2(x,x),x)) true 639 639 0.944 0.9844 0.9752 0.07239 0.2691 -1 1 2 1 0.7009 0.001465 0.001465 0.005009 -7.548e-7 1 4.881e-11 0.005843 0.005405 0.002907 0.05392 10.76 1.904 0.04048 0.08071 1 1 0.005375 0.02798 0.1918 0.07424 0.3866 2.649 json
t14_x20_u1_b111 14 20 1 111 log(dst(sub(R,P),R)) 64080 114496746 o1(o2(o2(x,x),x)) true 647 647 0.944 0.9844 0.9752 0.07239 0.2691 -1 1 2 1 0.7009 0.001465 0.001465 0.005009 -7.548e-7 1 4.881e-11 0.005843 0.005405 0.002907 0.05392 10.76 1.904 0.04048 0.08071 1 1 0.005375 0.02798 0.1918 0.07424 0.3866 2.649 json
t14_x20_u1_b112 14 20 1 112 log(dst(mlt(R,P),R)) 64081 114496747 o1(o2(o2(x,x),x)) true 655 655 0.7521 0.921 0.8009 0.1682 0.4102 -1 1 2 1 2.786 0.001442 0.001658 0.02945 -0.06981 1 -0.00005219 0.0005231 0.009832 0.002233 0.04726 1.605 0.3575 0.01843 0.003109 1 1 0.005889 0.0716 0.2591 0.035 0.4256 1.54 json
t14_x20_u1_b113 14 20 1 113 log(dst(div(R,P),R)) 64082 114496748 o1(o2(o2(x,x),x)) true 663 663 -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
t14_x20_u1_b114 14 20 1 114 log(dst(pow(R,P),R)) 64083 114496749 o1(o2(o2(x,x),x)) true 671 671 -0.9817 0.01106 0.9951 0.02965 0.1722 -1 1 2 1 0.1341 0.003851 0.002656 0.004274 0.1835 1 -7.509e-11 0.01359 0.007919 0.006493 0.08058 18.85 2.828 0.2194 0.4582 1 1 0.01152 0.04783 0.1072 0.3884 1.613 3.617 json
t14_x20_u1_b115 14 20 1 115 log(dst(mod(R,P),R)) 64084 114496750 o1(o2(o2(x,x),x)) true 679 679 -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
t14_x20_u1_b116 14 20 1 116 log(dst(lrg(R,P),R)) 64085 114496751 o1(o2(o2(x,x),x)) true 687 687 0.1555 0.6805 0.3211 0.1307 0.3615 -1 0.9976 1.998 1 4.496 0.001265 0.001644 0.0414 -0.13 1 -0.0000176 0.0001875 0.009453 0.001195 0.03457 0.8351 0.2545 0.02226 0.001435 1 1 0.00545 0.0704 0.2162 0.04171 0.5388 1.654 json
t14_x20_u1_b117 14 20 1 117 log(dst(eql(R,P),R)) 64086 114496752 o1(o2(o2(x,x),x)) true 695 695 -0.07705 0.4672 0.2057 0.07215 0.2686 -1 0.4433 1.443 1 3.97 0.0008163 0.001119 0.03282 -0.1565 1 0.00001519 0.0001677 0.007841 0.0008586 0.0293 0.8929 0.2795 0.02683 0.002324 1 1 0.003218 0.04136 0.1159 0.0446 0.5732 1.607 json
t14_x20_u1_b118 14 20 1 118 log(dst(min(R,P),R)) 64087 114496753 o1(o2(o2(x,x),x)) true 703 703 0.3433 0.685 0.9175 0.7719 0.8786 -1 1 2 1 2.117 0.00271 0.001794 0.01382 0.2034 1 -0.000003364 0.00749 0.01096 0.004314 0.06568 4.751 1.67 0.005835 0.009703 1 1 0.007071 0.04755 0.2825 0.009161 0.0616 0.366 json
t14_x20_u1_b119 14 20 1 119 log(dst(dot(R,P),R)) 64088 114496754 o1(o2(o2(x,x),x)) true 711 711 0.8234 0.9568 0.8493 0.1219 0.3492 -1 1 2 1 2.099 0.00226 0.002502 0.03116 -0.05079 1 -0.00005699 0.001181 0.01279 0.003792 0.06158 1.976 0.4253 0.03905 0.009686 1 1 0.0096 0.1035 0.2717 0.07873 0.8484 2.228 json
t14_x20_u1_b120 14 20 1 120 log(dst(dst(R,P),R)) 64089 114496755 o1(o2(o2(x,x),x)) true 719 719 0.9855 0.9973 0.9876 0.01009 0.1004 -0.7236 1 1.724 1 0.3302 0.0001502 0.0001636 0.002637 -0.04289 1 4.505e-11 0.00005018 0.0009122 0.0003071 0.01752 6.645 0.279 0.0311 0.004974 1 1 0.001069 0.01237 0.03094 0.106 1.226 3.067 json
t14_x20_u2_b0 14 20 2 0 frc(add(add(R,P),R)) 64090 114496836 o1(o2(o2(x,x),x)) true 727 727 0.5219 1 0.5219 0.04854 0.2203 0.002148 0.9943 0.9922 1 3.801 0.0006102 0.0006854 0.02919 -0.05804 1 -0.00001544 0.00007528 0.006666 0.0004434 0.02106 0.7214 0.1096 0.02669 0.001551 1 1 0.002627 0.03394 0.1051 0.05412 0.6992 2.166 json
t14_x20_u2_b1 14 20 2 1 frc(add(sub(R,P),R)) 64091 114496837 o1(o2(o2(x,x),x)) true 735 735 0.5219 1 0.5219 0.04854 0.2203 0.002148 0.9943 0.9922 1 3.801 0.0006102 0.0006854 0.02919 -0.05804 1 -0.00001544 0.00007528 0.006666 0.0004434 0.02106 0.7214 0.1096 0.02669 0.001551 1 1 0.002627 0.03394 0.1051 0.05412 0.6992 2.166 json
t14_x20_u2_b2 14 20 2 2 frc(add(mlt(R,P),R)) 64092 114496838 o1(o2(o2(x,x),x)) true 743 743 0.4817 0.9974 0.4817 0.06312 0.2512 0.00001367 0.9987 0.9987 1 3.934 0.0009011 0.0006267 0.03152 0.1796 1 -0.000001339 0.00008689 0.007192 0.0005347 0.02312 0.7337 0.1168 0.02421 0.001377 1 1 0.002993 0.03875 0.1218 0.04741 0.614 1.929 json
t14_x20_u2_b3 14 20 2 3 frc(add(div(R,P),R)) 64093 114496839 o1(o2(o2(x,x),x)) true 751 751 0.3221 0.8743 0.5721 0.3015 0.5491 -1 0.9966 1.997 1 3.967 0.01458 0.0005219 0.03711 0.9309 1 0.00001548 0.02773 0.02638 0.01373 0.1172 3.158 1.967 0.05011 0.09199 1 1 0.02077 0.1068 0.4516 0.0689 0.3542 1.498 json
t14_x20_u2_b4 14 20 2 4 frc(add(pow(R,P),R)) 64094 114496840 o1(o2(o2(x,x),x)) true 759 759 -0.889 0.07422 0.9625 0.1578 0.3972 -1 0.9843 1.984 1 0.6698 0.0144 0.01379 0.02027 0.02166 1 8.44e-7 0.05847 0.0371 0.02775 0.1666 8.218 2.806 0.1786 0.3706 1 1 0.02604 0.1087 0.3533 0.165 0.6891 2.239 json
t14_x20_u2_b5 14 20 2 5 frc(add(mod(R,P),R)) 64095 114496841 o1(o2(o2(x,x),x)) true 767 767 0.3322 0.875 0.5822 0.2957 0.5438 -1 0.9943 1.994 1 3.864 0.02089 0.0006022 0.0379 0.944 1 -0.00001191 0.04082 0.03088 0.02006 0.1416 3.737 1.967 0.07268 0.138 1 1 0.02927 0.1347 0.4863 0.09899 0.4555 1.645 json
t14_x20_u2_b6 14 20 2 6 frc(add(lrg(R,P),R)) 64096 114496842 o1(o2(o2(x,x),x)) true 775 775 0.5266 1 0.5266 0.05091 0.2256 0.001084 0.997 0.9959 1 3.815 0.0007236 0.0006853 0.03089 0.02719 1 0.00004432 0.00008334 0.007111 0.0004549 0.02133 0.6905 0.1132 0.02767 0.001637 1 1 0.002542 0.03267 0.08567 0.04993 0.6416 1.683 json
t14_x20_u2_b7 14 20 2 7 frc(add(eql(R,P),R)) 64097 114496843 o1(o2(o2(x,x),x)) true 783 783 0.5266 1 0.5266 0.05091 0.2256 0.001084 0.997 0.9959 1 3.815 0.0007236 0.0006853 0.03089 0.02719 1 0.00004432 0.00008334 0.007111 0.0004549 0.02133 0.6905 0.1132 0.02767 0.001637 1 1 0.002542 0.03267 0.08567 0.04993 0.6416 1.683 json
t14_x20_u2_b8 14 20 2 8 frc(add(min(R,P),R)) 64098 114496844 o1(o2(o2(x,x),x)) true 791 791 0.5231 1 0.5231 0.05072 0.2252 0.0011 0.9943 0.9932 1 3.821 0.0006688 0.0006944 0.03012 -0.01879 1 0.00001666 0.00008018 0.0069 0.0004558 0.02135 0.7088 0.1132 0.02688 0.001581 1 1 0.002541 0.03276 0.09655 0.0501 0.6459 1.904 json
t14_x20_u2_b9 14 20 2 9 frc(add(dot(R,P),R)) 64099 114496845 o1(o2(o2(x,x),x)) true 799 799 0.4987 1 0.4987 0.05146 0.2269 0.00004961 0.9994 0.9994 1 3.843 0.0007036 0.0006561 0.02982 0.03498 1 -0.00001668 0.00007962 0.006782 0.0004707 0.0217 0.7277 0.1124 0.02642 0.001547 1 1 0.002685 0.03447 0.1096 0.05216 0.6697 2.129 json