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_x8_u4_b32 14 8 4 32 cil(mlt(dst(P,R),R)) 54200 114012458 o1(o2(o2(x,x),x)) true 92567 92567 0.1145 0.5662 0.8644 0.8101 0.9001 -1 1 2 1 2.738 0.02589 0.03057 0.1011 -0.08282 1 0.00004484 0.04318 0.07228 0.04626 0.2151 2.128 2 0.06969 0.0533 1 1 0.07628 0.5887 1.346 0.09416 0.7267 1.661 json
t14_x8_u4_b33 14 8 4 33 cil(div(add(P,R),R)) 54201 114012459 o1(o2(o2(x,x),x)) true 92575 92575 0.1145 0.561 0.9537 0.9259 0.9622 -1 1 2 1 1.753 0.06391 0.07839 0.1083 -0.1018 1 -0.00008366 0.2845 0.1586 0.1306 0.3614 3.337 2.828 0.1537 0.3072 1 1 0.1598 0.8143 1.804 0.1726 0.8795 1.949 json
t14_x8_u4_b34 14 8 4 34 cil(div(sub(P,R),R)) 54202 114012460 o1(o2(o2(x,x),x)) true 92583 92583 -0.1007 0.4486 0.941 0.9131 0.9556 -1 1 2 1 1.888 0.06385 0.08052 0.113 -0.1155 1 0.000008916 0.2854 0.1615 0.1316 0.3627 3.211 2.828 0.1581 0.3125 1 1 0.1623 0.8295 1.865 0.1777 0.9084 2.043 json
t14_x8_u4_b35 14 8 4 35 cil(div(mlt(P,R),R)) 54203 114012461 o1(o2(o2(x,x),x)) true 92591 92591 0.02046 0.5 0.917 0.9029 0.9502 -1 1 2 1 1.932 0.0007562 0.0001058 0.008805 0.7545 1 -0.000003562 0.00008857 0.00237 0.0007844 0.02801 3.181 0.2265 0.0009548 0.0000981 1 1 0.002232 0.02778 0.2142 0.002472 0.03077 0.2373 json
t14_x8_u4_b36 14 8 4 36 cil(div(div(P,R),R)) 54204 114012462 o1(o2(o2(x,x),x)) true 92599 92599 0.002183 0.5 0.9703 0.9651 0.9824 -1 1 2 1 1.392 0.002817 0.0002137 0.008293 0.8589 1 0.000001412 0.003585 0.00721 0.002964 0.05444 6.565 1.083 0.00314 0.003714 1 1 0.006805 0.05197 0.3084 0.00705 0.05385 0.3195 json
t14_x8_u4_b37 14 8 4 37 cil(div(pow(P,R),R)) 54205 114012463 o1(o2(o2(x,x),x)) true 92607 92607 -0.4304 0.2817 0.9336 0.7327 0.856 -1 1 2 1 1.731 0.02371 0.02031 0.0539 0.07724 1 0.0003601 0.06321 0.05497 0.04114 0.2028 3.763 2.828 0.06009 0.08626 1 1 0.06307 0.3882 0.894 0.08608 0.5298 1.22 json
t14_x8_u4_b38 14 8 4 38 cil(div(mod(P,R),R)) 54206 114012464 o1(o2(o2(x,x),x)) true 92615 92615 0.4434 0.8957 0.4434 0.1529 0.391 0 1 1 1 3.387 0.001991 0.002332 0.05065 -0.07892 1 -0.00003637 0.0002525 0.0123 0.001758 0.04193 0.8278 0.1169 0.02828 0.001651 1 1 0.008378 0.1079 0.2912 0.0548 0.7058 1.905 json
t14_x8_u4_b39 14 8 4 39 cil(div(lrg(P,R),R)) 54207 114012465 o1(o2(o2(x,x),x)) true 92623 92623 -0.02592 0.2447 0.4594 0.4345 0.6592 -1 1 2 1 2.531 0.01661 0.01929 0.06158 -0.07468 1 -0.00005502 0.03541 0.04494 0.0321 0.1792 2.909 2.828 0.0826 0.08149 1 1 0.05653 0.4186 0.9298 0.1301 0.9633 2.14 json
t14_x8_u4_b40 14 8 4 40 cil(div(eql(P,R),R)) 54208 114012466 o1(o2(o2(x,x),x)) true 92631 92631 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_x8_u4_b41 14 8 4 41 cil(div(min(P,R),R)) 54209 114012467 o1(o2(o2(x,x),x)) true 92639 92639 0.5189 0.7664 0.9585 0.6771 0.8228 -1 1 2 1 1.46 0.03157 0.03851 0.05567 -0.09904 1 0.00001495 0.1416 0.0784 0.06701 0.2589 4.65 2.828 0.1035 0.2092 1 1 0.07923 0.3969 0.9361 0.117 0.5862 1.383 json
t14_x8_u4_b42 14 8 4 42 cil(div(dot(P,R),R)) 54210 114012468 o1(o2(o2(x,x),x)) true 92647 92647 0.004417 0.5022 0.9578 0.9451 0.9722 -1 1 2 1 1.678 0.02872 0.03153 0.05732 -0.04673 1 0.0001874 0.1037 0.0708 0.05695 0.2386 4.164 2.828 0.06374 0.1097 1 1 0.0726 0.4139 1.029 0.07681 0.4379 1.088 json
t14_x8_u4_b43 14 8 4 43 cil(div(dst(P,R),R)) 54211 114012469 o1(o2(o2(x,x),x)) true 92655 92655 -0.0432 0.4782 0.9784 0.9693 0.9845 -1 1 2 1 1.4 0.08389 0.09851 0.1166 -0.08015 1 0.00001824 0.3994 0.1962 0.1688 0.4109 3.523 2.828 0.1882 0.4121 1 1 0.2003 0.9473 1.9 0.2066 0.9772 1.96 json
t14_x8_u4_b44 14 8 4 44 cil(pow(add(P,R),R)) 54212 114012470 o1(o2(o2(x,x),x)) true 92663 92663 -0.09375 0.4531 1 0.9905 0.9952 -1 1 2 1 0.9937 0.01587 0.006047 0.0109 0.4483 1 0 0.04535 0.02192 0.0218 0.1477 13.54 2.828 0.02213 0.04579 1 1 0.02992 0.1197 0.4343 0.0302 0.1208 0.4385 json
t14_x8_u4_b45 14 8 4 45 cil(pow(sub(P,R),R)) 54213 114012471 o1(o2(o2(x,x),x)) true 92671 92671 -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
t14_x8_u4_b46 14 8 4 46 cil(pow(mlt(P,R),R)) 54214 114012472 o1(o2(o2(x,x),x)) true 92679 92679 -0.916 0.04297 0.998 0.1585 0.3981 -1 1 2 1 0.2827 0.01615 0.01405 0.01548 0.06928 1 -1.164e-10 0.0632 0.03079 0.02997 0.1731 11.19 2.828 0.1906 0.3988 1 1 0.02734 0.1136 0.3116 0.1725 0.717 1.966 json
t14_x8_u4_b47 14 8 4 47 cil(pow(div(P,R),R)) 54215 114012473 o1(o2(o2(x,x),x)) true 92687 92687 -0.9154 0.04297 0.9987 0.1604 0.4005 -1 1 2 1 0.2719 0.01617 0.01431 0.01556 0.06078 1 1.201e-10 0.06373 0.03099 0.03024 0.1739 11.18 2.828 0.19 0.3972 1 1 0.02746 0.1144 0.3135 0.1712 0.7133 1.954 json
t14_x8_u4_b48 14 8 4 48 cil(pow(pow(P,R),R)) 54216 114012474 o1(o2(o2(x,x),x)) true 92695 92695 -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
t14_x8_u4_b49 14 8 4 49 cil(pow(mod(P,R),R)) 54217 114012475 o1(o2(o2(x,x),x)) true 92703 92703 -0.1002 0.4531 0.9935 0.9819 0.9909 -1 1 2 1 1.097 0.01298 0.004084 0.01028 0.5215 1 3.754e-12 0.03483 0.019 0.01697 0.1303 12.67 2.828 0.01738 0.03547 1 1 0.02367 0.1002 0.3934 0.02411 0.1021 0.4006 json
t14_x8_u4_b50 14 8 4 50 cil(pow(lrg(P,R),R)) 54218 114012476 o1(o2(o2(x,x),x)) true 92711 92711 0.08984 0.5386 0.9414 0.9276 0.9631 -1 1 2 1 1.494 0.01994 0.01677 0.02568 0.08629 1 0.000002852 0.07665 0.04607 0.03605 0.1899 7.393 2.828 0.03957 0.08263 1 1 0.0374 0.1625 0.5356 0.04032 0.1751 0.5775 json
t14_x8_u4_b51 14 8 4 51 cil(pow(eql(P,R),R)) 54219 114012477 o1(o2(o2(x,x),x)) true 92719 92719 -0.8398 0.05859 0.957 0.2516 0.5016 -1 1 2 1 0.5738 0.02942 0.03294 0.03498 -0.05657 1 0 0.1323 0.07048 0.06113 0.2472 7.068 2.828 0.2479 0.5258 1 1 0.06126 0.2521 0.5343 0.2435 1.002 2.124 json
t14_x8_u4_b52 14 8 4 52 cil(pow(min(P,R),R)) 54220 114012478 o1(o2(o2(x,x),x)) true 92727 92727 -0.9863 0.007813 0.998 0.02479 0.1574 -1 1 2 1 0.08411 0.00229 0.002969 0.003116 -0.1291 1 -5.632e-11 0.01105 0.005843 0.005249 0.07245 23.25 2.828 0.2122 0.4458 1 1 0.00053 0.00371 0.02178 0.02138 0.1497 0.8786 json
t14_x8_u4_b53 14 8 4 53 cil(pow(dot(P,R),R)) 54221 114012479 o1(o2(o2(x,x),x)) true 92735 92735 -0.9141 0.04297 1 0.1646 0.4057 -1 1 2 1 0.2557 0.0189 0.01487 0.01679 0.1194 1 0 0.07105 0.03376 0.03347 0.1829 10.9 2.828 0.2052 0.4317 1 1 0.03939 0.1601 0.4317 0.2394 0.9726 2.623 json
t14_x8_u4_b54 14 8 4 54 cil(pow(dst(P,R),R)) 54222 114012480 o1(o2(o2(x,x),x)) true 92743 92743 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
t14_x8_u4_b55 14 8 4 55 cil(mod(add(P,R),R)) 54223 114012481 o1(o2(o2(x,x),x)) true 92751 92751 0.4805 0.5187 0.4805 0.2414 0.4913 0 1 1 1 1.388 0.0003335 0.00007022 0.004643 0.6522 1 -0.000005705 0.0000204 0.001099 0.0003822 0.01955 4.21 0.1169 0.001673 0.0000845 1 1 0.001014 0.01334 0.08412 0.0042 0.05526 0.3485 json
t14_x8_u4_b56 14 8 4 56 cil(mod(sub(P,R),R)) 54224 114012482 o1(o2(o2(x,x),x)) true 92759 92759 0.4922 0.5339 0.4922 0.2411 0.4911 0 1 1 1 1.415 0.0003238 0.0001053 0.004982 0.5091 1 -5.013e-10 0.00002268 0.001192 0.0004043 0.02011 4.036 0.1169 0.00178 0.00009406 1 1 0.00119 0.01549 0.08673 0.004937 0.06422 0.3597 json
t14_x8_u4_b57 14 8 4 57 cil(mod(mlt(P,R),R)) 54225 114012483 o1(o2(o2(x,x),x)) true 92767 92767 0.1777 0.5105 0.1777 0.09103 0.3017 0 1 1 1 2.245 0.001219 0.001314 0.0299 -0.03776 1 -0.00005562 0.0001505 0.00727 0.001639 0.04048 1.354 0.1169 0.02783 0.001653 1 1 0.004914 0.06314 0.1631 0.05398 0.6937 1.791 json
t14_x8_u4_b58 14 8 4 58 cil(mod(div(P,R),R)) 54226 114012484 o1(o2(o2(x,x),x)) true 92775 92775 0.4434 0.8957 0.4434 0.1529 0.391 0 1 1 1 3.387 0.001991 0.002332 0.05065 -0.07892 1 -0.00003637 0.0002525 0.0123 0.001758 0.04193 0.8278 0.1169 0.02828 0.001651 1 1 0.008378 0.1079 0.2912 0.0548 0.7058 1.905 json
t14_x8_u4_b59 14 8 4 59 cil(mod(pow(P,R),R)) 54227 114012485 o1(o2(o2(x,x),x)) true 92783 92783 -0.1016 0.4531 0.9922 0.9808 0.9903 -1 1 2 1 1.12 0.01294 0.003616 0.0101 0.5632 1 -1.765e-10 0.03388 0.01859 0.01646 0.1283 12.7 2.828 0.01688 0.03455 1 1 0.02269 0.09441 0.3825 0.02313 0.09626 0.39 json
t14_x8_u4_b60 14 8 4 60 cil(mod(mod(P,R),R)) 54228 114012486 o1(o2(o2(x,x),x)) true 92791 92791 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
t14_x8_u4_b61 14 8 4 61 cil(mod(lrg(P,R),R)) 54229 114012487 o1(o2(o2(x,x),x)) true 92799 92799 0.5039 0.5456 0.5039 0.2412 0.4911 0 1 1 1 1.415 0.0003238 0.0001053 0.004981 0.5091 1 0.000005704 0.00002256 0.001187 0.0004044 0.02011 4.037 0.1169 0.001779 0.00009352 1 1 0.001146 0.01504 0.08976 0.004753 0.06234 0.3721 json
t14_x8_u4_b62 14 8 4 62 cil(mod(eql(P,R),R)) 54230 114012488 o1(o2(o2(x,x),x)) true 92807 92807 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_x8_u4_b63 14 8 4 63 cil(mod(min(P,R),R)) 54231 114012489 o1(o2(o2(x,x),x)) true 92815 92815 0.04492 0.1559 0.04492 0.02643 0.1626 0 0.9997 0.9997 1 0.8332 0.000359 0.000398 0.009023 -0.05158 1 -0.00001711 0.00004582 0.002196 0.0006754 0.02599 2.88 0.1169 0.02865 0.001734 1 1 0.001798 0.02313 0.05349 0.06803 0.8753 2.024 json
t14_x8_u4_b64 14 8 4 64 cil(mod(dot(P,R),R)) 54232 114012490 o1(o2(o2(x,x),x)) true 92823 92823 0.4434 0.8759 0.4434 0.1555 0.3943 0 1 1 1 3.343 0.001916 0.00238 0.04996 -0.1081 1 -0.00005134 0.0002426 0.01205 0.0018 0.04243 0.8492 0.1169 0.02763 0.00156 1 1 0.008664 0.1118 0.3034 0.05573 0.7193 1.952 json
t14_x8_u4_b65 14 8 4 65 cil(mod(dst(P,R),R)) 54233 114012491 o1(o2(o2(x,x),x)) true 92831 92831 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
t14_x8_u4_b66 14 8 4 66 cil(lrg(add(P,R),R)) 54234 114012492 o1(o2(o2(x,x),x)) true 92839 92839 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
t14_x8_u4_b67 14 8 4 67 cil(lrg(sub(P,R),R)) 54235 114012493 o1(o2(o2(x,x),x)) true 92847 92847 0.4883 0.5675 0.4883 0.2314 0.4811 0 1 1 1 1.753 0.0004752 0.0003909 0.01019 0.09737 1 0.00002852 0.00004979 0.002461 0.0007618 0.0276 2.708 0.1169 0.003742 0.0002151 1 1 0.002134 0.0276 0.09828 0.009223 0.1193 0.4247 json
t14_x8_u4_b68 14 8 4 68 cil(lrg(mlt(P,R),R)) 54236 114012494 o1(o2(o2(x,x),x)) true 92855 92855 0.4394 0.884 0.4394 0.1546 0.3932 0 1 1 1 3.355 0.001965 0.002262 0.04955 -0.07014 1 -0.00001926 0.0002463 0.01202 0.001773 0.04211 0.8498 0.1169 0.02734 0.001593 1 1 0.008109 0.1045 0.297 0.05245 0.676 1.921 json
t14_x8_u4_b69 14 8 4 69 cil(lrg(div(P,R),R)) 54237 114012495 o1(o2(o2(x,x),x)) true 92863 92863 0.4785 0.9171 0.4785 0.1546 0.3932 0 1 1 1 3.414 0.001912 0.002433 0.05092 -0.1198 1 -0.00003067 0.0002568 0.0124 0.001753 0.04187 0.8222 0.1169 0.02811 0.001662 1 1 0.008497 0.1095 0.3067 0.05497 0.7083 1.984 json
t14_x8_u4_b70 14 8 4 70 cil(lrg(pow(P,R),R)) 54238 114012496 o1(o2(o2(x,x),x)) true 92871 92871 0.9727 1 0.9727 0.01868 0.1367 0.000291 1 0.9997 1 0.4881 0.0002846 0.0001053 0.004539 0.4597 1 0.000005704 0.00002084 0.001084 0.0003695 0.01922 4.235 0.1169 0.02087 0.001115 1 1 0.001069 0.01392 0.04488 0.05719 0.7451 2.402 json
t14_x8_u4_b71 14 8 4 71 cil(lrg(mod(P,R),R)) 54239 114012497 o1(o2(o2(x,x),x)) true 92879 92879 0.5176 0.9429 0.5176 0.1537 0.3921 0 1 1 1 3.429 0.001972 0.002442 0.05168 -0.1065 1 0.00001781 0.0002592 0.01257 0.001744 0.04176 0.8079 0.1169 0.02872 0.001686 1 1 0.008731 0.1124 0.2862 0.0568 0.7316 1.862 json
t14_x8_u4_b72 14 8 4 72 cil(lrg(lrg(P,R),R)) 54240 114012498 o1(o2(o2(x,x),x)) true 92887 92887 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
t14_x8_u4_b73 14 8 4 73 cil(lrg(eql(P,R),R)) 54241 114012499 o1(o2(o2(x,x),x)) true 92895 92895 0.5176 0.9429 0.5176 0.1537 0.3921 0 1 1 1 3.429 0.001972 0.002442 0.05168 -0.1065 1 0.00001781 0.0002592 0.01257 0.001744 0.04176 0.8079 0.1169 0.02872 0.001686 1 1 0.008731 0.1124 0.2862 0.0568 0.7316 1.862 json
t14_x8_u4_b74 14 8 4 74 cil(lrg(min(P,R),R)) 54242 114012500 o1(o2(o2(x,x),x)) true 92903 92903 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_x8_u4_b75 14 8 4 75 cil(lrg(dot(P,R),R)) 54243 114012501 o1(o2(o2(x,x),x)) true 92911 92911 0.459 0.8882 0.459 0.1538 0.3922 0 1 1 1 3.396 0.002012 0.00237 0.05111 -0.08162 1 -0.00003993 0.0002542 0.01239 0.001769 0.04206 0.8229 0.1169 0.02848 0.001652 1 1 0.008638 0.1114 0.3245 0.05616 0.7243 2.109 json
t14_x8_u4_b76 14 8 4 76 cil(lrg(dst(P,R),R)) 54244 114012502 o1(o2(o2(x,x),x)) true 92919 92919 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
t14_x8_u4_b77 14 8 4 77 cil(eql(add(P,R),R)) 54245 114012503 o1(o2(o2(x,x),x)) true 92927 92927 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
t14_x8_u4_b78 14 8 4 78 cil(eql(sub(P,R),R)) 54246 114012504 o1(o2(o2(x,x),x)) true 92935 92935 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_x8_u4_b79 14 8 4 79 cil(eql(mlt(P,R),R)) 54247 114012505 o1(o2(o2(x,x),x)) true 92943 92943 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
t14_x8_u4_b80 14 8 4 80 cil(eql(div(P,R),R)) 54248 114012506 o1(o2(o2(x,x),x)) true 92951 92951 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_x8_u4_b81 14 8 4 81 cil(eql(pow(P,R),R)) 54249 114012507 o1(o2(o2(x,x),x)) true 92959 92959 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_x8_u4_b82 14 8 4 82 cil(eql(mod(P,R),R)) 54250 114012508 o1(o2(o2(x,x),x)) true 92967 92967 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_x8_u4_b83 14 8 4 83 cil(eql(lrg(P,R),R)) 54251 114012509 o1(o2(o2(x,x),x)) true 92975 92975 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_x8_u4_b84 14 8 4 84 cil(eql(eql(P,R),R)) 54252 114012510 o1(o2(o2(x,x),x)) true 92983 92983 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_x8_u4_b85 14 8 4 85 cil(eql(min(P,R),R)) 54253 114012511 o1(o2(o2(x,x),x)) true 92991 92991 0.5039 0.5456 0.5039 0.2412 0.4911 0 1 1 1 1.415 0.0003238 0.0001053 0.004981 0.5091 1 0.000005704 0.00002256 0.001187 0.0004044 0.02011 4.037 0.1169 0.001779 0.00009352 1 1 0.001146 0.01504 0.08976 0.004753 0.06234 0.3721 json
t14_x8_u4_b86 14 8 4 86 cil(eql(dot(P,R),R)) 54254 114012512 o1(o2(o2(x,x),x)) true 92999 92999 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.00006942 0.008332 9.897 0.1169 0.02947 0.001772 1 1 0.0002443 0.003178 0.008708 0.1025 1.334 3.654 json
t14_x8_u4_b87 14 8 4 87 cil(eql(dst(P,R),R)) 54255 114012513 o1(o2(o2(x,x),x)) true 93007 93007 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_x8_u4_b88 14 8 4 88 cil(min(add(P,R),R)) 54256 114012514 o1(o2(o2(x,x),x)) true 93015 93015 -0.1946 0.4857 0.6745 0.5752 0.7584 -1 1 2 1 3.276 0.001738 0.001463 0.03449 0.086 1 -0.00003921 0.0002415 0.00865 0.002012 0.04485 1.3 0.2338 0.005566 0.0004198 1 1 0.006907 0.08853 0.3215 0.01201 0.1539 0.559 json
t14_x8_u4_b89 14 8 4 89 cil(min(sub(P,R),R)) 54257 114012515 o1(o2(o2(x,x),x)) true 93023 93023 -0.2275 0.455 0.6572 0.546 0.7389 -1 1 2 1 3.292 0.001425 0.001355 0.03226 0.0253 1 -0.00001327 0.0001899 0.00796 0.001738 0.04169 1.292 0.2245 0.00509 0.0003477 1 1 0.005646 0.07324 0.2727 0.01034 0.1341 0.4993 json
t14_x8_u4_b90 14 8 4 90 cil(min(mlt(P,R),R)) 54258 114012516 o1(o2(o2(x,x),x)) true 93031 93031 -0.2222 0.2691 0.5282 0.408 0.6388 -1 1 2 1 3.874 0.006378 0.00778 0.06933 -0.09904 1 0.0001549 0.003709 0.02649 0.009351 0.0967 1.395 0.6786 0.0347 0.009088 1 1 0.02173 0.2398 0.5616 0.05324 0.5877 1.376 json
t14_x8_u4_b91 14 8 4 91 cil(min(div(P,R),R)) 54259 114012517 o1(o2(o2(x,x),x)) true 93039 93039 -0.6087 0.1289 0.7772 0.3699 0.6082 -1 1 2 1 2.488 0.01444 0.01794 0.07105 -0.1078 1 0.0003509 0.02603 0.05429 0.02732 0.1653 2.327 1.917 0.08754 0.07036 1 1 0.04944 0.3556 0.6843 0.1337 0.9612 1.85 json
t14_x8_u4_b92 14 8 4 92 cil(min(pow(P,R),R)) 54260 114012518 o1(o2(o2(x,x),x)) true 93047 93047 0.4551 0.9009 0.4551 0.1532 0.3914 0 1 1 1 3.405 0.002041 0.002332 0.05121 -0.06649 1 -0.00001211 0.0002549 0.01243 0.001751 0.04185 0.8172 0.1169 0.02854 0.001664 1 1 0.008456 0.1088 0.2655 0.05518 0.7103 1.733 json
t14_x8_u4_b93 14 8 4 93 cil(min(mod(P,R),R)) 54261 114012519 o1(o2(o2(x,x),x)) true 93055 93055 0.2148 0.455 0.2148 0.1181 0.3436 0 1 1 1 2.248 0.001095 0.001206 0.02703 -0.04847 1 -0.00002424 0.0001387 0.006603 0.001571 0.03963 1.466 0.1169 0.01949 0.001175 1 1 0.004457 0.05786 0.1462 0.03774 0.49 1.238 json
t14_x8_u4_b94 14 8 4 94 cil(min(lrg(P,R),R)) 54262 114012520 o1(o2(o2(x,x),x)) true 93063 93063 0.2148 0.455 0.2148 0.1181 0.3436 0 1 1 1 2.248 0.001095 0.001206 0.02703 -0.04847 1 -0.00002424 0.0001387 0.006603 0.001571 0.03963 1.466 0.1169 0.01949 0.001175 1 1 0.004457 0.05786 0.1462 0.03774 0.49 1.238 json
t14_x8_u4_b95 14 8 4 95 cil(min(eql(P,R),R)) 54263 114012521 o1(o2(o2(x,x),x)) true 93071 93071 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_x8_u4_b96 14 8 4 96 cil(min(min(P,R),R)) 54264 114012522 o1(o2(o2(x,x),x)) true 93079 93079 -0.2539 0.455 0.6836 0.5618 0.7495 -1 1 2 1 3.143 0.001448 0.001206 0.031 0.09096 1 -0.00002424 0.0001549 0.007528 0.001693 0.04114 1.327 0.1169 0.004724 0.0002756 1 1 0.005382 0.07012 0.2678 0.00958 0.1248 0.4768 json
t14_x8_u4_b97 14 8 4 97 cil(min(dot(P,R),R)) 54265 114012523 o1(o2(o2(x,x),x)) true 93087 93087 -0.3891 0.2574 0.6755 0.4597 0.678 -1 1 2 1 3.488 0.007926 0.01028 0.07477 -0.1294 1 0.0002964 0.006383 0.03424 0.01262 0.1123 1.502 0.8558 0.03961 0.01388 1 1 0.02853 0.2919 0.7413 0.06207 0.6349 1.612 json
t14_x8_u4_b98 14 8 4 98 cil(min(dst(P,R),R)) 54266 114012524 o1(o2(o2(x,x),x)) true 93095 93095 0.4824 0.9147 0.4824 0.1537 0.3921 0 1 1 1 3.429 0.001972 0.002442 0.05168 -0.1065 1 -0.00001781 0.0002592 0.01257 0.001744 0.04176 0.8079 0.1169 0.02872 0.001686 1 1 0.008731 0.1124 0.2862 0.0568 0.7316 1.862 json
t14_x8_u4_b99 14 8 4 99 cil(dot(add(P,R),R)) 54267 114012525 o1(o2(o2(x,x),x)) true 93103 93103 0.2745 0.6472 0.8794 0.7679 0.8763 -1 1 2 1 2.521 0.02204 0.03057 0.09218 -0.1621 1 -0.0001014 0.04174 0.06862 0.04414 0.2101 2.279 1.849 0.06852 0.05436 1 1 0.0612 0.4647 1.157 0.07969 0.6051 1.507 json
t14_x8_u4_b100 14 8 4 100 cil(dot(sub(P,R),R)) 54268 114012526 o1(o2(o2(x,x),x)) true 93111 93111 -0.2038 0.3918 0.8581 0.7751 0.8804 -1 1 2 1 2.744 0.02469 0.03298 0.1024 -0.1438 1 0.00006964 0.04452 0.07328 0.0472 0.2173 2.122 1.87 0.07441 0.05743 1 1 0.07501 0.5913 1.406 0.09677 0.7628 1.814 json
t14_x8_u4_b101 14 8 4 101 cil(dot(mlt(P,R),R)) 54269 114012527 o1(o2(o2(x,x),x)) true 93119 93119 0.1207 0.5335 0.8317 0.7777 0.8819 -1 1 2 1 2.825 0.005622 0.006536 0.04519 -0.07512 1 0.0001088 0.004943 0.02201 0.01011 0.1006 2.225 1.132 0.01563 0.006356 1 1 0.01796 0.1765 0.4981 0.0231 0.227 0.6405 json
t14_x8_u4_b102 14 8 4 102 cil(dot(div(P,R),R)) 54270 114012528 o1(o2(o2(x,x),x)) true 93127 93127 0.03804 0.5197 0.9507 0.9353 0.9671 -1 1 2 1 1.774 0.0009083 0.0009699 0.01234 -0.03279 1 -0.000007423 0.0002502 0.003522 0.001726 0.04155 3.366 0.2678 0.002008 0.0002676 1 1 0.004885 0.06097 0.4494 0.005223 0.06518 0.4805 json
t14_x8_u4_b103 14 8 4 103 cil(dot(pow(P,R),R)) 54271 114012529 o1(o2(o2(x,x),x)) true 93135 93135 -0.9809 0.01161 0.9956 0.03255 0.1804 -1 1 2 1 0.1265 0.003504 0.004128 0.004872 -0.08176 1 -5.632e-11 0.01591 0.008719 0.00761 0.08724 17.91 2.828 0.2345 0.4887 1 1 0.001227 0.01058 0.029 0.03769 0.3251 0.8908 json
t14_x8_u4_b104 14 8 4 104 cil(dot(mod(P,R),R)) 54272 114012530 o1(o2(o2(x,x),x)) true 93143 93143 0.4715 0.9046 0.4769 0.1563 0.3954 -0.9994 1 1.999 1 3.518 0.002148 0.002542 0.05349 -0.08416 1 -0.0000549 0.0002874 0.01305 0.001829 0.04277 0.7995 0.2338 0.03 0.001838 1 1 0.008932 0.1153 0.3013 0.05713 0.7376 1.927 json
t14_x8_u4_b105 14 8 4 105 cil(dot(lrg(P,R),R)) 54273 114012531 o1(o2(o2(x,x),x)) true 93151 93151 0.08943 0.424 0.355 0.2661 0.5159 -1 1 2 1 3.899 0.003794 0.003621 0.0571 0.02337 1 -0.00003777 0.0006541 0.01413 0.004155 0.06446 1.129 0.3507 0.02786 0.002458 1 1 0.01371 0.1723 0.5089 0.05151 0.6474 1.912 json
t14_x8_u4_b106 14 8 4 106 cil(dot(eql(P,R),R)) 54274 114012532 o1(o2(o2(x,x),x)) true 93159 93159 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_x8_u4_b107 14 8 4 107 cil(dot(min(P,R),R)) 54275 114012533 o1(o2(o2(x,x),x)) true 93167 93167 0.4495 0.7416 0.8834 0.6482 0.8051 -1 1 2 1 2.337 0.01539 0.0191 0.07005 -0.1074 1 -0.0001092 0.02296 0.04563 0.02956 0.1719 2.455 1.656 0.0532 0.03542 1 1 0.04566 0.3639 0.7911 0.07044 0.5614 1.22 json
t14_x8_u4_b108 14 8 4 108 cil(dot(dot(P,R),R)) 54276 114012534 o1(o2(o2(x,x),x)) true 93175 93175 0.2291 0.6368 0.81 0.703 0.8385 -1 1 2 1 3.155 0.01579 0.01409 0.08339 0.05698 1 0.0001228 0.01467 0.04501 0.02293 0.1514 1.816 1.705 0.0425 0.02087 1 1 0.0535 0.451 0.9015 0.0761 0.6415 1.282 json
t14_x8_u4_b109 14 8 4 109 cil(dot(dst(P,R),R)) 54277 114012535 o1(o2(o2(x,x),x)) true 93183 93183 0.122 0.5671 0.9005 0.8544 0.9243 -1 1 2 1 2.373 0.03863 0.04 0.1069 -0.01743 1 -0.0001159 0.08376 0.09811 0.06722 0.2593 2.425 2.151 0.09202 0.09803 1 1 0.103 0.6756 1.51 0.1205 0.7908 1.768 json
t14_x8_u4_b110 14 8 4 110 cil(dst(add(P,R),R)) 54278 114012536 o1(o2(o2(x,x),x)) true 93191 93191 0.9967 1 0.9967 0.002206 0.04697 0.0005821 1 0.9994 1 0.08493 0.00004482 0.00004482 0.0007972 -5.682e-7 0 -1.502e-11 0.00002627 0.0002729 0.00008892 0.00943 11.83 0.1653 0.04063 0.01191 1 1 0.0003021 0.00348 0.008043 0.1369 1.578 3.646 json
t14_x8_u4_b111 14 8 4 111 cil(dst(sub(P,R),R)) 54279 114012537 o1(o2(o2(x,x),x)) true 93199 93199 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
t14_x8_u4_b112 14 8 4 112 cil(dst(mlt(P,R),R)) 54280 114012538 o1(o2(o2(x,x),x)) true 93207 93207 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
t14_x8_u4_b113 14 8 4 113 cil(dst(div(P,R),R)) 54281 114012539 o1(o2(o2(x,x),x)) true 93215 93215 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
t14_x8_u4_b114 14 8 4 114 cil(dst(pow(P,R),R)) 54282 114012540 o1(o2(o2(x,x),x)) true 93223 93223 -0.9688 0.01563 1 0.06152 0.248 -1 1 2 1 0.1161 0.006047 0.008062 0.006999 -0.1429 1 0 0.02973 0.01411 0.01406 0.1186 16.94 2.828 0.2293 0.4832 1 1 0.009695 0.04659 0.07003 0.1576 0.7573 1.138 json
t14_x8_u4_b115 14 8 4 115 cil(dst(mod(P,R),R)) 54283 114012541 o1(o2(o2(x,x),x)) true 93231 93231 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
t14_x8_u4_b116 14 8 4 116 cil(dst(lrg(P,R),R)) 54284 114012542 o1(o2(o2(x,x),x)) true 93239 93239 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
t14_x8_u4_b117 14 8 4 117 cil(dst(eql(P,R),R)) 54285 114012543 o1(o2(o2(x,x),x)) true 93247 93247 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
t14_x8_u4_b118 14 8 4 118 cil(dst(min(P,R),R)) 54286 114012544 o1(o2(o2(x,x),x)) true 93255 93255 0.8676 0.9883 0.8676 0.08785 0.2964 0 1 1 1 1.46 0.0007197 0.0005798 0.01472 0.1077 1 -0.00001355 0.00009592 0.003709 0.001083 0.03291 2.235 0.2265 0.01479 0.001092 1 1 0.002725 0.0345 0.1016 0.03102 0.3927 1.156 json
t14_x8_u4_b119 14 8 4 119 cil(dst(dot(P,R),R)) 54287 114012545 o1(o2(o2(x,x),x)) true 93263 93263 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
t14_x8_u4_b120 14 8 4 120 cil(dst(dst(P,R),R)) 54288 114012546 o1(o2(o2(x,x),x)) true 93271 93271 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
t14_x8_u5_b0 14 8 5 0 sgn(add(add(P,R),R)) 54289 114012627 o1(o2(o2(x,x),x)) true 93279 93279 0.01562 0.5071 0.9557 0.9385 0.9688 -1 1 2 1 1.767 0.0016 0.001263 0.01677 0.1178 1 -0.00005704 0.0001656 0.004054 0.002582 0.05081 3.029 0.2338 0.003051 0.0001764 1 1 0.0068 0.0884 0.4035 0.007245 0.09419 0.43 json
t14_x8_u5_b1 14 8 5 1 sgn(add(sub(P,R),R)) 54290 114012628 o1(o2(o2(x,x),x)) true 93287 93287 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
t14_x8_u5_b2 14 8 5 2 sgn(add(mlt(P,R),R)) 54291 114012629 o1(o2(o2(x,x),x)) true 93295 93295 -0.05078 0.4751 0.6806 0.5707 0.7555 -1 1 2 1 4.204 0.007563 0.00913 0.1012 -0.09387 1 -0.000107 0.0009852 0.02457 0.00646 0.08038 0.7946 0.2338 0.02925 0.001726 1 1 0.03268 0.4206 1.072 0.05726 0.737 1.878 json
t14_x8_u5_b3 14 8 5 3 sgn(add(div(P,R),R)) 54292 114012630 o1(o2(o2(x,x),x)) true 93303 93303 -0.05859 0.4688 0.7206 0.6127 0.7828 -1 1 2 1 4.002 0.007867 0.009769 0.1033 -0.1079 1 -0.00008415 0.001035 0.02511 0.006975 0.08351 0.8088 0.2338 0.02878 0.001689 1 1 0.03453 0.445 1.225 0.05636 0.7262 1.999 json
t14_x8_u5_b4 14 8 5 4 sgn(add(pow(P,R),R)) 54293 114012631 o1(o2(o2(x,x),x)) true 93311 93311 -0.1211 0.4451 0.8993 0.8469 0.9203 -1 1 2 1 2.446 0.003709 0.002743 0.03784 0.1496 1 0.0000385 0.0003734 0.009144 0.005022 0.07087 1.873 0.2338 0.007619 0.0004409 1 1 0.01158 0.1509 0.5849 0.01367 0.1782 0.6907 json
t14_x8_u5_b5 14 8 5 5 sgn(add(mod(P,R),R)) 54294 114012632 o1(o2(o2(x,x),x)) true 93319 93319 -0.03516 0.4819 0.7206 0.6148 0.7841 -1 1 2 1 4.005 0.007889 0.009769 0.1034 -0.1065 1 -0.00003562 0.001037 0.02513 0.006974 0.08351 0.8079 0.2338 0.02872 0.001686 1 1 0.03492 0.4498 1.145 0.0568 0.7316 1.862 json
t14_x8_u5_b6 14 8 5 6 sgn(add(lrg(P,R),R)) 54295 114012633 o1(o2(o2(x,x),x)) true 93327 93327 0.543 0.7732 0.875 0.5322 0.7296 -1 1 2 1 2.427 0.003585 0.004503 0.04723 -0.1136 1 0.00002426 0.0004552 0.0114 0.005857 0.07653 1.621 0.2338 0.0152 0.0008552 1 1 0.01569 0.2003 0.64 0.02947 0.3764 1.202 json
t14_x8_u5_b7 14 8 5 7 sgn(add(eql(P,R),R)) 54296 114012634 o1(o2(o2(x,x),x)) true 93335 93335 -0.03516 0.4819 0.7206 0.6148 0.7841 -1 1 2 1 4.005 0.007889 0.009769 0.1034 -0.1065 1 -0.00003562 0.001037 0.02513 0.006974 0.08351 0.8079 0.2338 0.02872 0.001686 1 1 0.03492 0.4498 1.145 0.0568 0.7316 1.862 json
t14_x8_u5_b8 14 8 5 8 sgn(add(min(P,R),R)) 54297 114012635 o1(o2(o2(x,x),x)) true 93343 93343 -0.5156 0.2402 0.8385 0.5129 0.7162 -1 1 2 1 2.764 0.00482 0.005266 0.05913 -0.04423 1 -0.00005988 0.0006049 0.01443 0.006592 0.08119 1.373 0.2338 0.01966 0.001179 1 1 0.02058 0.2674 0.7164 0.04012 0.5213 1.397 json
t14_x8_u5_b9 14 8 5 9 sgn(add(dot(P,R),R)) 54298 114012636 o1(o2(o2(x,x),x)) true 93351 93351 -0.1094 0.4438 0.7284 0.615 0.7842 -1 1 2 1 3.931 0.007555 0.009591 0.1005 -0.1188 1 -0.0001055 0.0009944 0.02432 0.007057 0.08401 0.8363 0.2338 0.02788 0.001617 1 1 0.03409 0.4406 1.212 0.05544 0.7165 1.971 json
t14_x8_u5_b10 14 8 5 10 sgn(add(dst(P,R),R)) 54299 114012637 o1(o2(o2(x,x),x)) true 93359 93359 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