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
t19_x5_u5_b113 19 5 5 113 dst(P,div(sgn(D),R)) 141600 154494542 o2(x,o2(o1(x),x)) true 12807 12807 0.9991 1 0.9991 0.0003963 0.01991 0.2614 1 0.7386 1 0.03467 0.0001697 0.0002138 0.001042 -0.115 1 -0.000006657 0.0008786 0.001729 0.000383 0.01957 18.77 0.7386 0.9679 2.217 1 1 0.000711 0.00129 0.001381 1.794 3.254 3.486 json
t19_x5_u5_b114 19 5 5 114 dst(P,pow(sgn(D),R)) 141601 154494543 o2(x,o2(o1(x),x)) true 12815 12815 -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
t19_x5_u5_b115 19 5 5 115 dst(P,mod(sgn(D),R)) 141602 154494544 o2(x,o2(o1(x),x)) true 12823 12823 0.9975 1 0.9975 0.001216 0.03487 0.2013 1 0.7987 1 0.08116 0.00004844 0.00003712 0.0007956 0.1324 0 -3.004e-11 0.00005977 0.0005317 0.00008486 0.009212 11.58 0.3222 0.07036 0.04915 1 1 0.0002542 0.00228 0.004434 0.209 1.875 3.646 json
t19_x5_u5_b116 19 5 5 116 dst(P,lrg(sgn(D),R)) 141603 154494545 o2(x,o2(o1(x),x)) true 12831 12831 0.9996 1 0.9996 0.0002741 0.01656 0.001301 1 0.9987 1 0.01048 0.0000814 0.0000814 0.0002944 8.939e-8 1 1.502e-11 0.0003323 0.0004144 0.0001627 0.01275 43.33 0.9987 0.594 1.212 1 1 0.0003208 0.0009959 0.0009959 1.171 3.634 3.634 json
t19_x5_u5_b117 19 5 5 117 dst(P,eql(sgn(D),R)) 141604 154494546 o2(x,o2(o1(x),x)) true 12839 12839 0.9964 1 0.9964 0.002289 0.04784 0.000582 1 0.9994 1 0.09109 0.00003966 0.00003966 0.0008105 5.503e-7 0 -4.881e-11 0.00001004 0.0002297 0.00007859 0.008865 10.94 0.1294 0.03466 0.004388 1 1 0.0002733 0.00336 0.008351 0.1194 1.468 3.649 json
t19_x5_u5_b118 19 5 5 118 dst(P,min(sgn(D),R)) 141605 154494547 o2(x,o2(o1(x),x)) true 12847 12847 0.9986 1 0.9986 0.0008173 0.02859 0.001279 1 0.9987 1 0.0461 0.0002359 0.000229 0.001101 0.0148 1 -3.004e-11 0.000922 0.00156 0.0004641 0.02154 19.56 1.412 0.5688 1.128 1 1 0.0009277 0.00287 0.002958 1.135 3.511 3.619 json
t19_x5_u5_b119 19 5 5 119 dst(P,dot(sgn(D),R)) 141606 154494548 o2(x,o2(o1(x),x)) true 12855 12855 0.9993 1 0.9993 0.0001415 0.0119 0.6627 1 0.3373 1 0.03878 0.00003514 0.00003446 0.0004325 0.009701 0 1.126e-11 0.0001471 0.0006503 0.00006933 0.008327 19.25 0.4768 0.4918 1.04 1 1 0.0001343 0.0004101 0.0005106 0.9493 2.898 3.608 json
t19_x5_u5_b120 19 5 5 120 dst(P,dst(sgn(D),R)) 141607 154494549 o2(x,o2(o1(x),x)) true 12863 12863 1 1 1 0.000005662 0.002379 0.8269 1 0.1731 1 0.004692 0.000002079 0.000002135 0.00004205 -0.01324 0 -1.502e-11 0.000008824 0.00006146 0.000004211 0.002052 48.8 0.1731 0.7443 1.559 1 1 0.000008373 0.00002057 0.00002057 1.479 3.633 3.633 json
t19_x5_u6_b0 19 5 6 0 add(P,add(nrm(D),R)) 141608 154494630 o2(x,o2(o1(x),x)) true 12871 12871 0.004816 0.5013 0.9408 0.9212 0.9598 -1 1 2 1 1.937 0.003767 0.001185 0.0191 0.5213 1 -0.00001143 0.005019 0.01086 0.004588 0.06773 3.545 1.467 0.005375 0.005449 1 1 0.0107 0.07168 0.2638 0.01161 0.07781 0.2864 json
t19_x5_u6_b1 19 5 6 1 add(P,sub(nrm(D),R)) 141609 154494631 o2(x,o2(o1(x),x)) true 12879 12879 -0.004216 0.4984 0.9354 0.9149 0.9565 -1 1 2 1 1.994 0.0041 0.001261 0.02046 0.5296 1 -5.184e-7 0.005486 0.01156 0.004942 0.0703 3.436 1.47 0.00586 0.005997 1 1 0.01098 0.07279 0.2577 0.012 0.07956 0.2816 json
t19_x5_u6_b2 19 5 6 2 add(P,mlt(nrm(D),R)) 141610 154494632 o2(x,o2(o1(x),x)) true 12887 12887 -0.001738 0.499 0.9347 0.9155 0.9568 -1 1 2 1 1.94 0.001994 0.0005186 0.01429 0.5872 1 -0.00000159 0.001813 0.006578 0.002309 0.04805 3.363 1.398 0.002745 0.001981 1 1 0.005448 0.04848 0.25 0.005951 0.05295 0.2731 json
t19_x5_u6_b3 19 5 6 3 add(P,div(nrm(D),R)) 141611 154494633 o2(x,o2(o1(x),x)) true 12895 12895 -0.01368 0.4929 0.9362 0.9143 0.9562 -1 1 2 1 2.008 0.04689 0.02422 0.07701 0.3188 1 0.000001929 0.1291 0.08904 0.06516 0.2553 3.315 2.828 0.07778 0.1412 1 1 0.09513 0.4644 0.6839 0.104 0.5079 0.748 json
t19_x5_u6_b4 19 5 6 4 add(P,pow(nrm(D),R)) 141612 154494634 o2(x,o2(o1(x),x)) true 12903 12903 -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
t19_x5_u6_b5 19 5 6 5 add(P,mod(nrm(D),R)) 141613 154494635 o2(x,o2(o1(x),x)) true 12911 12911 -0.0002996 0.5 0.9391 0.9158 0.957 -1 1 2 1 1.998 0.003896 0.002811 0.02192 0.1617 1 0.00002627 0.02508 0.03164 0.006227 0.07891 3.6 1.467 0.007323 0.02739 1 1 0.007585 0.02747 0.2308 0.008282 0.03 0.252 json
t19_x5_u6_b6 19 5 6 6 add(P,lrg(nrm(D),R)) 141614 154494636 o2(x,o2(o1(x),x)) true 12919 12919 0.06241 0.5207 0.9435 0.9337 0.9663 -1 1 2 1 1.565 0.005403 0.003345 0.01274 0.2352 1 -0.00004661 0.02813 0.02196 0.008584 0.09265 7.273 1.414 0.00937 0.03013 1 1 0.01213 0.04813 0.2674 0.01299 0.05155 0.2864 json
t19_x5_u6_b7 19 5 6 7 add(P,eql(nrm(D),R)) 141615 154494637 o2(x,o2(o1(x),x)) true 12927 12927 1.264e-7 0.5 0.9375 0.924 0.9612 -1 1 2 1 1.813 0.0007059 1.081e-9 0.007937 1 1 -7.509e-12 0.00003236 0.001851 0.0006432 0.02536 3.195 0.1169 0.0007639 0.00003503 1 1 0.001851 0.02449 0.2344 0.002003 0.0265 0.2537 json
t19_x5_u6_b8 19 5 6 8 add(P,min(nrm(D),R)) 141616 154494638 o2(x,o2(o1(x),x)) true 12935 12935 -0.0461 0.4762 0.9425 0.9188 0.9586 -1 1 2 1 1.953 0.001881 0.0006092 0.01231 0.5107 1 -0.00003705 0.002464 0.006847 0.002339 0.04837 3.93 1.466 0.00271 0.002682 1 1 0.005256 0.04123 0.248 0.005721 0.04487 0.2699 json
t19_x5_u6_b9 19 5 6 9 add(P,dot(nrm(D),R)) 141617 154494639 o2(x,o2(o1(x),x)) true 12943 12943 -0.0004689 0.5016 0.9322 0.9116 0.9548 -1 1 2 1 1.984 0.002554 0.001923 0.01865 0.141 1 -0.00001981 0.004538 0.009773 0.00413 0.06427 3.446 1.798 0.004911 0.004978 1 1 0.009049 0.07032 0.2556 0.009926 0.07713 0.2804 json
t19_x5_u6_b10 19 5 6 10 add(P,dst(nrm(D),R)) 141618 154494640 o2(x,o2(o1(x),x)) true 12951 12951 0.1695 0.585 0.9373 0.8886 0.9427 -1 1 2 1 1.944 0.001968 0.001177 0.01604 0.2513 1 -0.00003964 0.002862 0.007749 0.002889 0.05375 3.35 1.353 0.00354 0.003221 1 1 0.006776 0.05456 0.2415 0.007625 0.0614 0.2718 json
t19_x5_u6_b11 19 5 6 11 sub(P,add(nrm(D),R)) 141619 154494641 o2(x,o2(o1(x),x)) true 12959 12959 -0.004409 0.5009 0.9362 0.9146 0.9564 -1 1 2 1 2.006 0.007088 0.00127 0.02856 0.6961 1 0.000001249 0.006619 0.017 0.007544 0.08686 3.041 1.465 0.009138 0.007236 1 1 0.01822 0.1056 0.2611 0.01992 0.1154 0.2855 json
t19_x5_u6_b12 19 5 6 12 sub(P,sub(nrm(D),R)) 141620 154494642 o2(x,o2(o1(x),x)) true 12967 12967 0.004421 0.499 0.9413 0.9215 0.9599 -1 1 2 1 1.937 0.006764 0.001184 0.02692 0.7021 1 -0.00001625 0.006188 0.01629 0.007225 0.085 3.158 1.469 0.008625 0.006716 1 1 0.01791 0.1042 0.2667 0.01943 0.113 0.2894 json
t19_x5_u6_b13 19 5 6 13 sub(P,mlt(nrm(D),R)) 141621 154494643 o2(x,o2(o1(x),x)) true 12975 12975 0.0001302 0.5 0.943 0.9239 0.9612 -1 1 2 1 1.939 0.002139 0.0005065 0.01503 0.617 1 0.000001187 0.001921 0.007437 0.002421 0.0492 3.274 1.399 0.002863 0.002079 1 1 0.005644 0.04858 0.2558 0.006109 0.05258 0.2769 json
t19_x5_u6_b14 19 5 6 14 sub(P,div(nrm(D),R)) 141622 154494644 o2(x,o2(o1(x),x)) true 12983 12983 -0.0007708 0.5002 0.9345 0.913 0.9555 -1 1 2 1 2.011 0.04691 0.02463 0.07808 0.3114 1 0.0001011 0.1277 0.08918 0.06545 0.2558 3.276 2.828 0.07836 0.1398 1 1 0.1059 0.5297 0.7606 0.116 0.5802 0.8331 json
t19_x5_u6_b15 19 5 6 15 sub(P,pow(nrm(D),R)) 141623 154494645 o2(x,o2(o1(x),x)) true 12991 12991 -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
t19_x5_u6_b16 19 5 6 16 sub(P,mod(nrm(D),R)) 141624 154494646 o2(x,o2(o1(x),x)) true 12999 12999 0.0000562 0.4999 0.9377 0.9195 0.9589 -1 1 2 1 1.948 0.005135 0.002632 0.02481 0.3222 1 0.00002158 0.02399 0.0338 0.007148 0.08455 3.407 1.466 0.008447 0.02609 1 1 0.01062 0.04729 0.2337 0.01155 0.05143 0.2541 json
t19_x5_u6_b17 19 5 6 17 sub(P,lrg(nrm(D),R)) 141625 154494647 o2(x,o2(o1(x),x)) true 13007 13007 -0.06019 0.4705 0.9446 0.9245 0.9615 -1 1 2 1 1.838 0.006508 0.003235 0.02305 0.336 1 0.00006974 0.02728 0.02509 0.009209 0.09596 4.163 1.413 0.01054 0.0295 1 1 0.01534 0.06469 0.2504 0.01659 0.06997 0.2709 json
t19_x5_u6_b18 19 5 6 18 sub(P,eql(nrm(D),R)) 141626 154494648 o2(x,o2(o1(x),x)) true 13015 13015 -1.264e-7 0.5 0.9375 0.924 0.9612 -1 1 2 1 1.813 0.0007059 1.081e-9 0.007937 1 1 -7.509e-12 0.00003237 0.001851 0.0006432 0.02536 3.195 0.1169 0.0007639 0.00003503 1 1 0.001851 0.02449 0.2344 0.002003 0.0265 0.2537 json
t19_x5_u6_b19 19 5 6 19 sub(P,min(nrm(D),R)) 141627 154494649 o2(x,o2(o1(x),x)) true 13023 13023 0.04648 0.5224 0.941 0.9164 0.9573 -1 1 2 1 1.999 0.003496 0.0006317 0.01915 0.6939 1 0.00003308 0.0031 0.01079 0.003761 0.06132 3.203 1.465 0.004504 0.003382 1 1 0.00918 0.06071 0.2453 0.01002 0.06625 0.2677 json
t19_x5_u6_b20 19 5 6 20 sub(P,dot(nrm(D),R)) 141628 154494650 o2(x,o2(o1(x),x)) true 13031 13031 0.001269 0.4999 0.9383 0.917 0.9576 -1 1 2 1 1.974 0.002746 0.0019 0.01942 0.182 1 7.362e-7 0.004646 0.01056 0.00427 0.06535 3.365 1.798 0.005067 0.005067 1 1 0.009219 0.07042 0.2629 0.01005 0.07679 0.2867 json
t19_x5_u6_b21 19 5 6 21 sub(P,dst(nrm(D),R)) 141629 154494651 o2(x,o2(o1(x),x)) true 13039 13039 -0.1678 0.4183 0.9436 0.8944 0.9458 -1 1 2 1 1.939 0.001737 0.001207 0.0155 0.1801 1 0.00001069 0.002758 0.007703 0.002704 0.052 3.356 1.356 0.003292 0.003083 1 1 0.006609 0.05374 0.2512 0.007389 0.06009 0.2809 json
t19_x5_u6_b22 19 5 6 22 mlt(P,add(nrm(D),R)) 141630 154494652 o2(x,o2(o1(x),x)) true 13047 13047 -0.1363 0.397 0.748 0.6632 0.8144 -1 1 2 1 3.505 0.1057 0.03114 0.1877 0.5447 1 0.00113 0.1816 0.1736 0.1016 0.3187 1.698 2.828 0.2063 0.2738 1 1 0.1708 0.8081 0.7669 0.2575 1.218 1.156 json
t19_x5_u6_b23 19 5 6 23 mlt(P,sub(nrm(D),R)) 141631 154494653 o2(x,o2(o1(x),x)) true 13055 13055 -0.06156 0.4336 0.7489 0.6774 0.823 -1 1 2 1 3.532 0.1048 0.03179 0.1876 0.5345 1 0.0009288 0.1829 0.1739 0.1014 0.3184 1.698 2.828 0.2016 0.27 1 1 0.1697 0.8032 0.7683 0.2505 1.186 1.134 json
t19_x5_u6_b24 19 5 6 24 mlt(P,mlt(nrm(D),R)) 141632 154494654 o2(x,o2(o1(x),x)) true 13063 13063 -0.01493 0.4886 0.567 0.4651 0.682 -1 1 2 1 4.365 0.07048 0.01451 0.1595 0.6586 1 -0.00005992 0.09947 0.1065 0.05955 0.244 1.53 2.07 0.1827 0.2139 1 1 0.1071 0.7146 0.7564 0.2303 1.537 1.626 json
t19_x5_u6_b25 19 5 6 25 mlt(P,div(nrm(D),R)) 141633 154494655 o2(x,o2(o1(x),x)) true 13071 13071 0.0006554 0.4949 0.8702 0.8348 0.9137 -1 1 2 1 2.591 0.2155 0.05544 0.2119 0.5907 1 0.00007516 0.4937 0.2976 0.226 0.4754 2.243 2.828 0.3245 0.5914 1 1 0.297 1.377 1.626 0.3558 1.649 1.948 json
t19_x5_u6_b26 19 5 6 26 mlt(P,pow(nrm(D),R)) 141634 154494656 o2(x,o2(o1(x),x)) true 13079 13079 -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
t19_x5_u6_b27 19 5 6 27 mlt(P,mod(nrm(D),R)) 141635 154494657 o2(x,o2(o1(x),x)) true 13087 13087 -0.06689 0.408 0.4814 0.3633 0.6028 -1 1 2 1 4.518 0.1538 0.09001 0.3123 0.2617 1 0.00002079 0.807 0.5344 0.1463 0.3825 1.225 2.828 0.6711 2.221 1 1 0.1921 0.5648 0.2239 0.5286 1.554 0.6163 json
t19_x5_u6_b28 19 5 6 28 mlt(P,lrg(nrm(D),R)) 141636 154494658 o2(x,o2(o1(x),x)) true 13095 13095 -0.02809 0.436 0.6979 0.6468 0.8042 -1 1 2 1 3.364 0.0445 0.02344 0.1137 0.3101 1 0.000283 0.1954 0.1693 0.05501 0.2345 2.062 1.414 0.105 0.3021 1 1 0.07342 0.2087 0.2373 0.1135 0.3226 0.3669 json
t19_x5_u6_b29 19 5 6 29 mlt(P,eql(nrm(D),R)) 141637 154494659 o2(x,o2(o1(x),x)) true 13103 13103 0.0001305 0.0003052 0.000231 0.0001859 0.01363 -1 1 2 1 0.006157 0.0003837 0.0003788 0.0008016 0.006396 1 0 0.003798 0.001872 0.0007614 0.02759 34.42 1.414 4.102 20.43 1 1 0.0004309 0.0004309 0.0004003 2.318 2.318 2.153 json
t19_x5_u6_b30 19 5 6 30 mlt(P,min(nrm(D),R)) 141638 154494660 o2(x,o2(o1(x),x)) true 13111 13111 -0.08686 0.4364 0.7813 0.7113 0.8434 -1 1 2 1 3.388 0.06946 0.009136 0.1183 0.7675 1 0.00007709 0.09637 0.1035 0.0646 0.2542 2.149 2.034 0.1105 0.1355 1 1 0.09395 0.5132 0.5056 0.1321 0.7216 0.7108 json
t19_x5_u6_b31 19 5 6 31 mlt(P,dot(nrm(D),R)) 141639 154494661 o2(x,o2(o1(x),x)) true 13119 13119 -0.01276 0.4885 0.7037 0.6242 0.7901 -1 1 2 1 3.871 0.06117 0.06113 0.1815 0.0002662 1 0.0003061 0.1701 0.148 0.08934 0.2989 1.647 2.828 0.1959 0.2726 1 1 0.1561 0.9701 1.071 0.2501 1.554 1.716 json
t19_x5_u6_b32 19 5 6 32 mlt(P,dst(nrm(D),R)) 141640 154494662 o2(x,o2(o1(x),x)) true 13127 13127 0.0026 0.5 0.9416 0.9286 0.9636 -1 1 2 1 1.78 0.001529 0.0005723 0.01142 0.4554 1 -0.000006006 0.00358 0.007498 0.00197 0.04439 3.885 1.14 0.002263 0.003855 1 1 0.004167 0.03242 0.2437 0.004487 0.03491 0.2624 json
t19_x5_u6_b33 19 5 6 33 div(P,add(nrm(D),R)) 141641 154494663 o2(x,o2(o1(x),x)) true 13135 13135 -0.0884 0.4341 0.8924 0.8562 0.9253 -1 1 2 1 2.331 0.4959 0.2835 0.4261 0.2725 1 0.0002755 2.58 0.8163 0.5976 0.7731 1.814 2.828 0.9103 3.013 1 1 0.7098 1.713 1.33 0.8291 2.001 1.553 json
t19_x5_u6_b34 19 5 6 34 div(P,sub(nrm(D),R)) 141642 154494664 o2(x,o2(o1(x),x)) true 13143 13143 -0.0768 0.4382 0.8905 0.8563 0.9254 -1 1 2 1 2.336 0.5006 0.2908 0.4303 0.2651 1 0.0007918 2.615 0.8268 0.6061 0.7785 1.809 2.828 0.9241 3.054 1 1 0.7341 1.734 1.338 0.8573 2.025 1.562 json
t19_x5_u6_b35 19 5 6 35 div(P,mlt(nrm(D),R)) 141643 154494665 o2(x,o2(o1(x),x)) true 13151 13151 -0.001617 0.4946 0.9343 0.92 0.9592 -1 1 2 1 1.833 0.3034 0.08656 0.2264 0.556 1 -0.00003511 0.8607 0.4064 0.3387 0.582 2.57 2.828 0.4239 0.9356 1 1 0.4072 1.573 1.895 0.4427 1.71 2.06 json
t19_x5_u6_b36 19 5 6 36 div(P,div(nrm(D),R)) 141644 154494666 o2(x,o2(o1(x),x)) true 13159 13159 -0.01426 0.4871 0.7868 0.731 0.855 -1 1 2 1 3.278 0.2445 0.03434 0.2202 0.7536 1 -0.00002756 0.5571 0.307 0.2304 0.48 2.18 2.828 0.3814 0.762 1 1 0.2887 1.196 1.243 0.3949 1.636 1.701 json
t19_x5_u6_b37 19 5 6 37 div(P,pow(nrm(D),R)) 141645 154494667 o2(x,o2(o1(x),x)) true 13167 13167 -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
t19_x5_u6_b38 19 5 6 38 div(P,mod(nrm(D),R)) 141646 154494668 o2(x,o2(o1(x),x)) true 13175 13175 -0.1546 0.4108 0.9632 0.931 0.9649 -1 1 2 1 1.492 0.6882 0.3728 0.5064 0.2973 1 -0.000239 4.07 1.096 0.8048 0.8971 1.771 2.828 1.14 4.371 1 1 0.7671 1.516 0.9493 0.824 1.628 1.02 json
t19_x5_u6_b39 19 5 6 39 div(P,lrg(nrm(D),R)) 141647 154494669 o2(x,o2(o1(x),x)) true 13183 13183 -0.853 0.07196 0.9969 0.2691 0.5188 -1 1 2 1 0.4084 0.09515 0.06318 0.07313 0.2019 1 0.0005984 0.4695 0.1609 0.1529 0.3911 5.348 2.828 0.5883 1.745 1 1 0.1546 0.3902 0.4169 0.5743 1.45 1.549 json
t19_x5_u6_b40 19 5 6 40 div(P,eql(nrm(D),R)) 141648 154494670 o2(x,o2(o1(x),x)) true 13191 13191 -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
t19_x5_u6_b41 19 5 6 41 div(P,min(nrm(D),R)) 141649 154494671 o2(x,o2(o1(x),x)) true 13199 13199 -0.08743 0.4409 0.9234 0.8978 0.9475 -1 1 2 1 1.967 0.2197 0.04876 0.1712 0.6367 1 -0.0002496 0.5999 0.2853 0.2391 0.489 2.857 2.828 0.299 0.6682 1 1 0.2632 0.9855 1.162 0.2931 1.098 1.294 json
t19_x5_u6_b42 19 5 6 42 div(P,dot(nrm(D),R)) 141650 154494672 o2(x,o2(o1(x),x)) true 13207 13207 -0.007258 0.4911 0.9265 0.9091 0.9535 -1 1 2 1 1.958 0.3805 0.3761 0.386 0.005819 1 0.0001151 2.636 0.782 0.6075 0.7794 2.019 2.828 0.8323 2.899 1 1 0.6953 1.84 1.732 0.7648 2.024 1.905 json
t19_x5_u6_b43 19 5 6 43 div(P,dst(nrm(D),R)) 141651 154494673 o2(x,o2(o1(x),x)) true 13215 13215 -0.001961 0.5 0.9146 0.8913 0.9441 -1 1 2 1 2.161 0.0008346 0.0003123 0.01081 0.4555 1 -0.000006396 0.0007454 0.005024 0.001031 0.0321 2.971 0.5302 0.001287 0.0008362 1 1 0.002628 0.02549 0.2009 0.002949 0.0286 0.2254 json
t19_x5_u6_b44 19 5 6 44 pow(P,add(nrm(D),R)) 141652 154494674 o2(x,o2(o1(x),x)) true 13223 13223 -0.1321 0.4725 0.9229 0.8706 0.9331 -1 1 2 1 2.157 0.01343 0.01076 0.03716 0.1106 1 -0.0002962 0.06216 0.04408 0.02281 0.151 4.064 2.828 0.02779 0.0714 1 1 0.03284 0.1324 0.3549 0.03772 0.152 0.4077 json
t19_x5_u6_b45 19 5 6 45 pow(P,sub(nrm(D),R)) 141653 154494675 o2(x,o2(o1(x),x)) true 13231 13231 -0.1025 0.4841 0.9294 0.8868 0.9417 -1 1 2 1 2.107 0.01068 0.007317 0.03295 0.187 1 -0.0003555 0.04403 0.03783 0.01692 0.1301 3.948 2.828 0.0203 0.04965 1 1 0.02536 0.1089 0.3388 0.02859 0.1227 0.382 json
t19_x5_u6_b46 19 5 6 46 pow(P,mlt(nrm(D),R)) 141654 154494676 o2(x,o2(o1(x),x)) true 13239 13239 -0.1462 0.4531 0.9476 0.898 0.9476 -1 1 2 1 1.963 0.01454 0.004221 0.02567 0.5501 1 0.00002954 0.03609 0.03015 0.01811 0.1346 5.242 2.828 0.0209 0.04019 1 1 0.02548 0.1103 0.3868 0.02837 0.1228 0.4307 json
t19_x5_u6_b47 19 5 6 47 pow(P,div(nrm(D),R)) 141655 154494677 o2(x,o2(o1(x),x)) true 13247 13247 -0.1758 0.4463 0.9316 0.881 0.9386 -1 1 2 1 1.836 0.02332 0.009562 0.03908 0.4183 1 -0.0001012 0.06578 0.05487 0.03137 0.1771 4.532 2.828 0.03732 0.07467 1 1 0.04021 0.1676 0.4613 0.04564 0.1903 0.5236 json
t19_x5_u6_b48 19 5 6 48 pow(P,pow(nrm(D),R)) 141656 154494678 o2(x,o2(o1(x),x)) true 13255 13255 -0.9063 0.0625 0.9688 0.1407 0.3751 -1 0.9997 2 1 0.5501 0.02019 0 0.01587 1 1 0 0.03975 0.02468 0.01993 0.1412 8.896 2 0.1435 0.2825 1 1 0.0272 0.1109 0.2014 0.1933 0.7879 1.432 json
t19_x5_u6_b49 19 5 6 49 pow(P,mod(nrm(D),R)) 141657 154494679 o2(x,o2(o1(x),x)) true 13263 13263 -0.0721 0.5 0.9279 0.8879 0.9423 -1 1 2 1 2.214 0.009085 0.003442 0.03794 0.4505 1 0.00006599 0.03774 0.06025 0.01109 0.1053 2.776 1.133 0.01411 0.04251 1 1 0.01273 0.05367 0.2824 0.01434 0.06045 0.318 json
t19_x5_u6_b50 19 5 6 50 pow(P,lrg(nrm(D),R)) 141658 154494680 o2(x,o2(o1(x),x)) true 13271 13271 0.006192 0.5164 0.9735 0.966 0.9829 -1 1 2 1 1.407 0.05119 0.01594 0.0377 0.5252 1 0.000471 0.209 0.07337 0.06574 0.2564 6.8 2.828 0.06949 0.2163 1 1 0.05654 0.1364 0.3728 0.05853 0.1412 0.386 json
t19_x5_u6_b51 19 5 6 51 pow(P,eql(nrm(D),R)) 141659 154494681 o2(x,o2(o1(x),x)) true 13279 13279 0.9998 0.9999 1 0.0004882 0.02209 -1 1 2 1 0.001763 0.001008 0.0008818 0.0008161 0.06667 1 0 0.00907 0.001891 0.001888 0.04346 53.25 2.828 3.871 18.58 1 1 0.0004432 0.0004432 0.0003324 0.9079 0.9079 0.6809 json
t19_x5_u6_b52 19 5 6 52 pow(P,min(nrm(D),R)) 141660 154494682 o2(x,o2(o1(x),x)) true 13287 13287 -0.2545 0.4531 0.8393 0.7032 0.8386 -1 1 2 1 2.638 0.0157 0.004403 0.03508 0.5619 1 0.0001277 0.03711 0.03393 0.01887 0.1374 3.916 2.828 0.02859 0.05277 1 1 0.02758 0.1182 0.3452 0.03922 0.1681 0.4909 json
t19_x5_u6_b53 19 5 6 53 pow(P,dot(nrm(D),R)) 141661 154494683 o2(x,o2(o1(x),x)) true 13295 13295 -0.1593 0.453 0.9347 0.8776 0.9368 -1 1 2 1 2.029 0.01694 0.007373 0.03226 0.3936 1 -0.0001416 0.05714 0.0402 0.02329 0.1526 4.731 2.828 0.02771 0.06511 1 1 0.03371 0.1354 0.3859 0.03841 0.1543 0.4398 json
t19_x5_u6_b54 19 5 6 54 pow(P,dst(nrm(D),R)) 141662 154494684 o2(x,o2(o1(x),x)) true 13303 13303 -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
t19_x5_u6_b55 19 5 6 55 mod(P,add(nrm(D),R)) 141663 154494685 o2(x,o2(o1(x),x)) true 13311 13311 -0.00267 0.4979 0.3497 0.1957 0.4424 -1 1 2 1 4.77 0.04775 0.04503 0.2145 0.02933 1 0.00005056 0.4124 0.4094 0.04675 0.2162 1.008 1.403 0.474 2.107 1 1 0.06171 0.1274 0.162 0.3153 0.651 0.8277 json
t19_x5_u6_b56 19 5 6 56 mod(P,sub(nrm(D),R)) 141664 154494686 o2(x,o2(o1(x),x)) true 13319 13319 0.003003 0.4989 0.3456 0.1904 0.4363 -1 1 2 1 4.756 0.04715 0.04412 0.2135 0.03312 1 -0.0002034 0.4047 0.4055 0.0457 0.2138 1.001 1.406 0.4794 2.126 1 1 0.06067 0.1239 0.1559 0.3187 0.6511 0.8188 json
t19_x5_u6_b57 19 5 6 57 mod(P,mlt(nrm(D),R)) 141665 154494687 o2(x,o2(o1(x),x)) true 13327 13327 -0.0009776 0.4962 0.1487 0.04 0.2 -0.8299 0.8489 1.679 1 3.694 0.01298 0.01407 0.1149 -0.04026 1 -0.00006885 0.1262 0.2281 0.01385 0.1177 1.024 1.036 0.6764 3.154 1 1 0.01622 0.0259 0.0293 0.4056 0.6474 0.7325 json
t19_x5_u6_b58 19 5 6 58 mod(P,div(nrm(D),R)) 141666 154494688 o2(x,o2(o1(x),x)) true 13335 13335 0.001273 0.4999 0.6223 0.5123 0.7158 -1 1 2 1 4.438 0.06261 0.06313 0.2348 -0.004122 1 -0.0003214 0.5444 0.457 0.07063 0.2658 1.132 1.412 0.2454 1.063 1 1 0.09127 0.1768 0.2508 0.1781 0.3451 0.4895 json
t19_x5_u6_b59 19 5 6 59 mod(P,pow(nrm(D),R)) 141667 154494689 o2(x,o2(o1(x),x)) true 13343 13343 -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
t19_x5_u6_b60 19 5 6 60 mod(P,mod(nrm(D),R)) 141668 154494690 o2(x,o2(o1(x),x)) true 13351 13351 -0.0002791 0.495 0.1057 0.02318 0.1523 -0.8329 0.8289 1.662 1 3.228 0.01305 0.01319 0.1105 -0.005356 1 -0.00002149 0.1243 0.2244 0.01403 0.1184 1.071 1.155 1.132 5.361 1 1 0.01524 0.01834 0.01958 0.6572 0.7909 0.8447 json
t19_x5_u6_b61 19 5 6 61 mod(P,lrg(nrm(D),R)) 141669 154494691 o2(x,o2(o1(x),x)) true 13359 13359 -0.969 0 0.969 0.03008 0.1734 -1 0 1 1 0.1996 0.0212 0.008015 0.0273 0.4512 1 0.0001732 0.09232 0.05819 0.02846 0.1687 6.179 1.414 0.971 3.069 1 1 0.02842 0.05691 0.05483 0.9447 1.892 1.823 json
t19_x5_u6_b62 19 5 6 62 mod(P,eql(nrm(D),R)) 141670 154494692 o2(x,o2(o1(x),x)) true 13367 13367 -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
t19_x5_u6_b63 19 5 6 63 mod(P,min(nrm(D),R)) 141671 154494693 o2(x,o2(o1(x),x)) true 13375 13375 0.00948 0.4941 0.2142 0.07304 0.2703 -0.8371 0.8393 1.676 1 4.156 0.01474 0.01584 0.1114 -0.03568 1 0.000007513 0.1416 0.2044 0.01817 0.1348 1.21 0.9138 0.4187 1.938 1 1 0.01881 0.03528 0.04031 0.2575 0.4831 0.552 json
t19_x5_u6_b64 19 5 6 64 mod(P,dot(nrm(D),R)) 141672 154494694 o2(x,o2(o1(x),x)) true 13383 13383 0.0007024 0.497 0.2311 0.08889 0.2981 -1 1 2 1 4.281 0.02745 0.02697 0.167 0.008755 1 0.000006134 0.2412 0.3238 0.02651 0.1628 0.9747 1.404 0.6122 2.714 1 1 0.03484 0.05948 0.07176 0.392 0.6692 0.8073 json
t19_x5_u6_b65 19 5 6 65 mod(P,dst(nrm(D),R)) 141673 154494695 o2(x,o2(o1(x),x)) true 13391 13391 -0.0009714 0.4995 0.5885 0.4402 0.6635 -1 1 2 1 4.814 0.05458 0.05517 0.2178 -0.005362 1 0.00007532 0.457 0.3869 0.06234 0.2497 1.147 1.403 0.2494 1.038 1 1 0.07647 0.1607 0.2579 0.1737 0.3651 0.5858 json
t19_x5_u6_b66 19 5 6 66 lrg(P,add(nrm(D),R)) 141674 154494696 o2(x,o2(o1(x),x)) true 13399 13399 0.4969 0.5883 0.4969 0.2276 0.4771 0 1 1 1 1.876 0.005972 0.003288 0.02133 0.2899 1 -0.00003129 0.02792 0.02422 0.008805 0.09383 4.399 1.413 0.04068 0.1227 1 1 0.01318 0.04835 0.08043 0.0579 0.2124 0.3533 json
t19_x5_u6_b67 19 5 6 67 lrg(P,sub(nrm(D),R)) 141675 154494697 o2(x,o2(o1(x),x)) true 13407 13407 0.5021 0.5959 0.5021 0.2287 0.4783 0 1 1 1 1.842 0.005575 0.003186 0.02019 0.2727 1 0.00003128 0.02686 0.02298 0.008349 0.09137 4.525 1.413 0.0383 0.1174 1 1 0.01285 0.0475 0.08101 0.05617 0.2076 0.3541 json
t19_x5_u6_b68 19 5 6 68 lrg(P,mlt(nrm(D),R)) 141676 154494698 o2(x,o2(o1(x),x)) true 13415 13415 0.5 0.5378 0.5 0.2421 0.492 0 1 1 1 1.382 0.003597 0.0001053 0.007956 0.9431 1 -3.229e-10 0.006751 0.008078 0.003638 0.06032 7.581 1 0.01529 0.02789 1 1 0.005344 0.0265 0.09053 0.02207 0.1095 0.3739 json
t19_x5_u6_b69 19 5 6 69 lrg(P,div(nrm(D),R)) 141677 154494699 o2(x,o2(o1(x),x)) true 13423 13423 0.4995 0.6775 0.4995 0.2131 0.4616 0 1 1 1 2.287 0.01764 0.01032 0.04868 0.2616 1 0.00006891 0.0839 0.07083 0.02558 0.1599 3.286 1.414 0.1312 0.3938 1 1 0.03258 0.1214 0.1644 0.1529 0.5697 0.7715 json
t19_x5_u6_b70 19 5 6 70 lrg(P,pow(nrm(D),R)) 141678 154494700 o2(x,o2(o1(x),x)) true 13431 13431 0.7014 1 0.7014 0.1425 0.3774 0.000291 1 0.9997 1 2.686 0.04174 0.001206 0.08055 0.9438 1 -0.00007765 0.08875 0.09376 0.03646 0.1909 2.371 1.414 0.3015 0.6229 1 1 0.04576 0.1491 0.03779 0.3212 1.046 0.2653 json
t19_x5_u6_b71 19 5 6 71 lrg(P,mod(nrm(D),R)) 141679 154494701 o2(x,o2(o1(x),x)) true 13439 13439 0.5 0.5625 0.5 0.2365 0.4863 0 1 1 1 1.577 0.00467 0 0.0119 1 1 -4.731e-10 0.008068 0.009787 0.004528 0.06729 5.654 0.9994 0.01975 0.03412 1 1 0.007036 0.03244 0.06598 0.02976 0.1372 0.279 json
t19_x5_u6_b72 19 5 6 72 lrg(P,lrg(nrm(D),R)) 141680 154494702 o2(x,o2(o1(x),x)) true 13447 13447 0.4435 0.4994 0.4435 0.2322 0.4818 0 1 1 1 1.611 0.002953 0.001746 0.01251 0.2568 1 0.00003538 0.01392 0.01247 0.004541 0.06739 5.385 1.413 0.02024 0.05996 1 1 0.006872 0.02929 0.06899 0.0296 0.1262 0.2971 json
t19_x5_u6_b73 19 5 6 73 lrg(P,eql(nrm(D),R)) 141681 154494703 o2(x,o2(o1(x),x)) true 13455 13455 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
t19_x5_u6_b74 19 5 6 74 lrg(P,min(nrm(D),R)) 141682 154494704 o2(x,o2(o1(x),x)) true 13463 13463 0.5176 0.5625 0.5176 0.2389 0.4888 0 1 1 1 1.486 0.002093 0.00005267 0.007983 0.9509 1 0.000002852 0.003286 0.004977 0.002081 0.04562 5.715 0.9994 0.008984 0.01375 1 1 0.003596 0.02222 0.07826 0.01505 0.09301 0.3276 json
t19_x5_u6_b75 19 5 6 75 lrg(P,dot(nrm(D),R)) 141683 154494705 o2(x,o2(o1(x),x)) true 13471 13471 0.5005 0.5526 0.5005 0.2387 0.4886 0 1 1 1 1.51 0.004213 0.003147 0.01409 0.1448 1 0.00002289 0.02331 0.01898 0.007167 0.08466 6.01 1.413 0.03083 0.09766 1 1 0.008536 0.03422 0.09028 0.03576 0.1434 0.3782 json
t19_x5_u6_b76 19 5 6 76 lrg(P,dst(nrm(D),R)) 141684 154494706 o2(x,o2(o1(x),x)) true 13479 13479 0.4185 0.4576 0.4185 0.2354 0.4852 0 1 1 1 1.362 0.002795 0.002778 0.01027 0.002997 1 0.00002233 0.01735 0.01436 0.005466 0.07393 7.199 1.413 0.02368 0.07372 1 1 0.007867 0.03137 0.08792 0.03342 0.1333 0.3735 json
t19_x5_u6_b77 19 5 6 77 eql(P,add(nrm(D),R)) 141685 154494707 o2(x,o2(o1(x),x)) true 13487 13487 1.264e-7 0.00003052 1.264e-7 5.237e-10 0.00002288 0 0.004143 0.004143 1 0 1.081e-9 1.081e-9 4.454e-7 0 0 0 1.081e-8 0.000001044 2.161e-9 0.00004649 104.4 0.005859 4.128 20.64 1 1 9.507e-10 9.507e-10 7.131e-10 1.816 1.816 1.362 json
t19_x5_u6_b78 19 5 6 78 eql(P,sub(nrm(D),R)) 141686 154494708 o2(x,o2(o1(x),x)) true 13495 13495 1.264e-7 0.00003052 1.264e-7 5.237e-10 0.00002288 0 0.004143 0.004143 1 0 1.081e-9 1.081e-9 4.454e-7 0 0 0 1.081e-8 0.000001044 2.161e-9 0.00004649 104.4 0.005859 4.128 20.64 1 1 9.507e-10 9.507e-10 7.131e-10 1.816 1.816 1.362 json
t19_x5_u6_b79 19 5 6 79 eql(P,mlt(nrm(D),R)) 141687 154494709 o2(x,o2(o1(x),x)) true 13503 13503 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
t19_x5_u6_b80 19 5 6 80 eql(P,div(nrm(D),R)) 141688 154494710 o2(x,o2(o1(x),x)) true 13511 13511 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
t19_x5_u6_b81 19 5 6 81 eql(P,pow(nrm(D),R)) 141689 154494711 o2(x,o2(o1(x),x)) true 13519 13519 0.0002737 0.001099 0.0002737 0.0001671 0.01293 0 0.97 0.97 1 0.009858 0.00005039 0.0001343 0.000286 -0.4542 1 -2.076e-11 0.0005062 0.0005136 0.0001845 0.01358 47.5 1.022 1.105 3.029 1 1 0.0003261 0.0005826 0.0006072 1.951 3.486 3.634 json
t19_x5_u6_b82 19 5 6 82 eql(P,mod(nrm(D),R)) 141690 154494712 o2(x,o2(o1(x),x)) true 13527 13527 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
t19_x5_u6_b83 19 5 6 83 eql(P,lrg(nrm(D),R)) 141691 154494713 o2(x,o2(o1(x),x)) true 13535 13535 0.05304 0.1417 0.05304 0.0339 0.1841 0 0.9997 0.9997 1 0.8732 0.005469 0.003554 0.01813 0.2122 1 0.000004958 0.02872 0.02359 0.008697 0.09326 5.143 1.413 0.2662 0.8472 1 1 0.01281 0.04854 0.05801 0.378 1.432 1.711 json
t19_x5_u6_b84 19 5 6 84 eql(P,eql(nrm(D),R)) 141692 154494714 o2(x,o2(o1(x),x)) true 13543 13543 0.0625 0.125 0.0625 0.04507 0.2123 0 0.9997 0.9997 1 0.8126 0.0007059 1.081e-9 0.007934 1 1 -9.456e-10 0.00003243 0.001855 0.0006433 0.02536 3.197 0.1169 0.01566 0.0007195 1 1 0.001851 0.02408 0.06598 0.04107 0.5344 1.464 json
t19_x5_u6_b85 19 5 6 85 eql(P,min(nrm(D),R)) 141693 154494715 o2(x,o2(o1(x),x)) true 13551 13551 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
t19_x5_u6_b86 19 5 6 86 eql(P,dot(nrm(D),R)) 141694 154494716 o2(x,o2(o1(x),x)) true 13559 13559 7.564e-7 0.00006104 7.564e-7 1.59e-8 0.0001261 0 0.02888 0.02888 1 0 3.283e-8 3.283e-8 0.000002665 0 0 0 3.283e-7 0.000006245 6.565e-8 0.0002562 96.13 0.04084 4.128 20.64 1 1 1.154e-8 1.154e-8 1.154e-8 0.7257 0.7257 0.7257 json
t19_x5_u6_b87 19 5 6 87 eql(P,dst(nrm(D),R)) 141695 154494717 o2(x,o2(o1(x),x)) true 13567 13567 0.000008823 0.00001526 0.000008823 0.000005101 0.002259 0 0.5782 0.5782 1 0.0002662 0.00001053 0.00001053 0.00003109 0 0 0 0.0001053 0.00007284 0.00002106 0.004589 147.6 0.8177 4.128 20.64 1 1 0.00001852 0.00001852 0.00001389 3.631 3.631 2.723 json
t19_x5_u6_b88 19 5 6 88 min(P,add(nrm(D),R)) 141696 154494718 o2(x,o2(o1(x),x)) true 13575 13575 -0.5188 0.2199 0.7092 0.3642 0.6035 -1 1 2 1 3.342 0.01597 0.003628 0.07479 0.6298 1 0.0003645 0.01712 0.03448 0.01401 0.1183 1.582 1.468 0.05381 0.04702 1 1 0.03328 0.2192 0.2304 0.09138 0.6018 0.6328 json
t19_x5_u6_b89 19 5 6 89 min(P,sub(nrm(D),R)) 141697 154494719 o2(x,o2(o1(x),x)) true 13583 13583 -0.5022 0.225 0.7115 0.3825 0.6185 -1 1 2 1 3.367 0.01592 0.00359 0.07484 0.632 1 0.0002954 0.01706 0.0345 0.01392 0.118 1.576 1.468 0.05102 0.04461 1 1 0.03286 0.2146 0.2234 0.0859 0.5611 0.5841 json
t19_x5_u6_b90 19 5 6 90 min(P,mlt(nrm(D),R)) 141698 154494720 o2(x,o2(o1(x),x)) true 13591 13591 -0.4819 0.2384 0.5968 0.2856 0.5344 -1 0.9706 1.971 1 3.432 0.005806 0.001878 0.04541 0.5112 1 0.000006409 0.006831 0.01814 0.005622 0.07498 1.651 1.466 0.0269 0.02392 1 1 0.01328 0.1025 0.1648 0.0465 0.3587 0.5771 json
t19_x5_u6_b91 19 5 6 91 min(P,div(nrm(D),R)) 141699 154494721 o2(x,o2(o1(x),x)) true 13599 13599 -0.5253 0.2249 0.8447 0.5229 0.7231 -1 1 2 1 2.598 0.05385 0.01273 0.1022 0.6175 1 0.0001722 0.08983 0.08171 0.05617 0.237 2.319 2.421 0.1273 0.1718 1 1 0.09157 0.5641 0.6733 0.1751 1.079 1.288 json