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_x3_u5_b107 19 3 5 107 dot(P,min(sgn(D),P)) 139900 154413734 o2(x,o2(o1(x),x)) true 147607 147607 0.6011 0.8008 0.963 0.5901 0.7682 -1 1 2 1 1.315 0.07087 0.07087 0.1015 -3.154e-7 1 -0.0000705 0.2546 0.1549 0.1314 0.3625 3.571 2.479 0.2402 0.4315 1 1 0.1685 0.6718 0.2737 0.2856 1.138 0.4637 json
t19_x3_u5_b108 19 3 5 108 dot(P,dot(sgn(D),P)) 139901 154413735 o2(x,o2(o1(x),x)) true 147615 147615 3.725e-9 0.498 0.9344 0.9165 0.9573 -1 1 2 1 1.926 0.2472 0.2472 0.2761 6.331e-7 1 8.736e-9 1.128 0.5163 0.418 0.6465 2.341 2.828 0.5394 1.23 1 1 0.4848 1.621 0.5864 0.529 1.769 0.6399 json
t19_x3_u5_b109 19 3 5 109 dot(P,dst(sgn(D),P)) 139902 154413736 o2(x,o2(o1(x),x)) true 147623 147623 8.615e-9 0.498 0.9799 0.9748 0.9873 -1 1 2 1 1.335 0.003509 0.003509 0.01319 3.318e-8 1 1.38e-10 0.007803 0.01097 0.006845 0.08273 6.273 1.414 0.007199 0.008005 1 1 0.0135 0.09959 0.5427 0.01385 0.1022 0.5568 json
t19_x3_u5_b110 19 3 5 110 dst(P,add(sgn(D),P)) 139903 154413737 o2(x,o2(o1(x),x)) true 147631 147631 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
t19_x3_u5_b111 19 3 5 111 dst(P,sub(sgn(D),P)) 139904 154413738 o2(x,o2(o1(x),x)) true 147639 147639 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
t19_x3_u5_b112 19 3 5 112 dst(P,mlt(sgn(D),P)) 139905 154413739 o2(x,o2(o1(x),x)) true 147647 147647 0.9344 0.9961 0.9344 0.04715 0.2171 0 1 1 1 0.8417 0.01671 0.01671 0.05343 1.115e-7 1 -0.0007571 0.07017 0.08158 0.03055 0.1748 3.271 1 0.7089 1.488 1 1 0.04176 0.09567 0.03469 0.8857 2.029 0.7359 json
t19_x3_u5_b113 19 3 5 113 dst(P,div(sgn(D),P)) 139906 154413740 o2(x,o2(o1(x),x)) true 147655 147655 -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_x3_u5_b114 19 3 5 114 dst(P,pow(sgn(D),P)) 139907 154413741 o2(x,o2(o1(x),x)) true 147663 147663 -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.004025 0.06344 31.77 2.828 0.259 0.5504 1 1 0.007091 0.02837 0.05673 0.4556 1.823 3.645 json
t19_x3_u5_b115 19 3 5 115 dst(P,mod(sgn(D),P)) 139908 154413742 o2(x,o2(o1(x),x)) true 147671 147671 -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_x3_u5_b116 19 3 5 116 dst(P,lrg(sgn(D),P)) 139909 154413743 o2(x,o2(o1(x),x)) true 147679 147679 0.9996 1 0.9996 0.0003001 0.01732 0.001164 1 0.9988 1 0.01227 0.0000842 0.0000842 0.0002913 8.642e-8 1 0 0.0003416 0.0004251 0.0001683 0.01297 44.54 1.413 0.5611 1.138 1 1 0.0003311 0.001091 0.001091 1.103 3.634 3.634 json
t19_x3_u5_b117 19 3 5 117 dst(P,eql(sgn(D),P)) 139910 154413744 o2(x,o2(o1(x),x)) true 147687 147687 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
t19_x3_u5_b118 19 3 5 118 dst(P,min(sgn(D),P)) 139911 154413745 o2(x,o2(o1(x),x)) true 147695 147695 0.7421 0.8086 0.7421 0.178 0.4219 0 1 1 1 1.367 0.004863 0.004863 0.0198 0.000001963 1 3.24e-9 0.01677 0.02138 0.009324 0.09656 4.877 0.9991 0.05463 0.09419 1 1 0.01477 0.04938 0.06658 0.08298 0.2774 0.3739 json
t19_x3_u5_b119 19 3 5 119 dst(P,dot(sgn(D),P)) 139912 154413746 o2(x,o2(o1(x),x)) true 147703 147703 0.9982 1 0.9982 0.001283 0.03583 0.0008232 1 0.9992 1 0.04415 0.00005219 0.00005219 0.0005935 -2.091e-7 1 -3.004e-11 0.00004116 0.0003428 0.0001041 0.0102 17.19 0.2959 0.08133 0.03207 1 1 0.0003411 0.003076 0.004678 0.2658 2.397 3.645 json
t19_x3_u5_b120 19 3 5 120 dst(P,dst(sgn(D),P)) 139913 154413747 o2(x,o2(o1(x),x)) true 147711 147711 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
t19_x3_u6_b0 19 3 6 0 add(P,add(nrm(D),P)) 139914 154413828 o2(x,o2(o1(x),x)) true 147719 147719 0 0.5 0.9799 0.9717 0.9857 -1 1 2 1 1.424 0.002285 0.0004524 0.009164 0.6694 1 -4.74e-10 0.002629 0.00375 0.002655 0.05153 5.623 1.467 0.002817 0.002705 1 1 0.006039 0.05289 0.2983 0.006215 0.05443 0.307 json
t19_x3_u6_b1 19 3 6 1 add(P,sub(nrm(D),P)) 139915 154413829 o2(x,o2(o1(x),x)) true 147727 147727 1.394e-9 0.5 0.3663 0.1867 0.4321 -0.9346 0.9346 1.869 1 4.562 0.03788 0.006951 0.1584 0.6899 1 5.575e-9 0.04219 0.07112 0.01975 0.1405 0.8875 1.466 0.2401 0.226 1 1 0.07517 0.4029 0 0.4025 2.158 0 json
t19_x3_u6_b2 19 3 6 2 add(P,mlt(nrm(D),P)) 139916 154413830 o2(x,o2(o1(x),x)) true 147735 147735 -0.02831 0.4941 0.9021 0.8812 0.9387 -1 1 2 1 2.146 0.00675 0.005285 0.03285 0.1218 1 -0.00007219 0.02451 0.0396 0.01096 0.1047 3.186 1.064 0.01366 0.02781 1 1 0.01872 0.06143 0.2082 0.02124 0.06972 0.2363 json
t19_x3_u6_b3 19 3 6 3 add(P,div(nrm(D),P)) 139917 154413831 o2(x,o2(o1(x),x)) true 147743 147743 -0.1156 0.4375 0.9906 0.9725 0.9862 -1 1 2 1 1.227 0.01677 0.0002292 0.01269 0.973 1 0.00002321 0.03287 0.01988 0.01684 0.1298 10.22 2 0.01748 0.0338 1 1 0.02345 0.09269 0.3431 0.02411 0.09531 0.3528 json
t19_x3_u6_b4 19 3 6 4 add(P,pow(nrm(D),P)) 139918 154413832 o2(x,o2(o1(x),x)) true 147751 147751 -0.8898 0.0625 0.9852 0.1861 0.4314 -1 1 2 1 0.5364 0.0315 0.0007335 0.02132 0.9545 1 -0.00004243 0.0656 0.03563 0.03179 0.1783 8.363 2 0.1732 0.3525 1 1 0.04273 0.1429 0.2679 0.2296 0.7681 1.439 json
t19_x3_u6_b5 19 3 6 5 add(P,mod(nrm(D),P)) 139919 154413833 o2(x,o2(o1(x),x)) true 147759 147759 -0.125 0.4375 1 0.9844 0.9922 -1 1 2 1 0.9887 0.01587 0 0.007937 1 1 0 0.03175 0.01587 0.01581 0.1257 15.84 2 0.01612 0.03225 1 1 0.02105 0.08421 0.3368 0.02139 0.08555 0.3422 json
t19_x3_u6_b6 19 3 6 6 add(P,lrg(nrm(D),P)) 139920 154413834 o2(x,o2(o1(x),x)) true 147767 147767 0.09375 0.5 0.9063 0.89 0.9434 -1 1 2 1 1.668 0.004321 0 0.007937 1 1 4.731e-10 0.007953 0.008864 0.004257 0.06525 8.221 1 0.004855 0.008935 1 1 0.006189 0.0332 0.2014 0.006953 0.0373 0.2263 json
t19_x3_u6_b7 19 3 6 7 add(P,eql(nrm(D),P)) 139921 154413835 o2(x,o2(o1(x),x)) true 147775 147775 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
t19_x3_u6_b8 19 3 6 8 add(P,min(nrm(D),P)) 139922 154413836 o2(x,o2(o1(x),x)) true 147783 147783 -0.04295 0.4941 0.9402 0.9297 0.9642 -1 1 2 1 1.599 0.001722 0.0004518 0.008999 0.5843 1 -0.00004386 0.001914 0.005804 0.002093 0.04575 5.085 0.8089 0.002338 0.002059 1 1 0.004827 0.03595 0.2456 0.005192 0.03867 0.2641 json
t19_x3_u6_b9 19 3 6 9 add(P,dot(nrm(D),P)) 139923 154413837 o2(x,o2(o1(x),x)) true 147791 147791 -0.07451 0.4623 0.9243 0.8939 0.9455 -1 1 2 1 2.135 0.03902 0.08204 0.124 -0.3554 1 0.0006831 0.2135 0.1523 0.1056 0.325 2.621 2.828 0.1354 0.2389 1 1 0.1454 0.534 0.2576 0.1627 0.5974 0.2881 json
t19_x3_u6_b10 19 3 6 10 add(P,dst(nrm(D),P)) 139924 154413838 o2(x,o2(o1(x),x)) true 147799 147799 0.9016 0.9681 0.9203 0.08063 0.284 -0.9263 1 1.926 1 1.284 0.005207 0.002447 0.02741 0.3605 1 -0.0001443 0.008818 0.01539 0.006907 0.08311 3.032 1.862 0.09492 0.1094 1 1 0.01392 0.0728 0.05543 0.1727 0.9028 0.6874 json
t19_x3_u6_b11 19 3 6 11 sub(P,add(nrm(D),P)) 139925 154413839 o2(x,o2(o1(x),x)) true 147807 147807 3.492e-9 0.5 0.3663 0.1867 0.4321 -0.9346 0.9346 1.869 1 4.562 0.03788 0.006951 0.1584 0.6899 1 -9.386e-13 0.04219 0.07112 0.01975 0.1405 0.8875 1.466 0.2401 0.226 1 1 0.07517 0.4029 4.1e-15 0.4025 2.158 2.196e-14 json
t19_x3_u6_b12 19 3 6 12 sub(P,sub(nrm(D),P)) 139926 154413840 o2(x,o2(o1(x),x)) true 147815 147815 -1.164e-10 0.5 0.9608 0.9504 0.9749 -1 1 2 1 1.564 0.005147 0.0004524 0.01642 0.8384 1 1.079e-10 0.003742 0.009414 0.005332 0.07302 4.448 1.465 0.005891 0.003938 1 1 0.0129 0.0659 0.2698 0.01357 0.06935 0.2839 json
t19_x3_u6_b13 19 3 6 13 sub(P,mlt(nrm(D),P)) 139927 154413841 o2(x,o2(o1(x),x)) true 147823 147823 0.02831 0.5 0.9021 0.8812 0.9387 -1 1 2 1 2.146 0.006748 0.005285 0.0334 0.1216 1 0.00007219 0.02451 0.0396 0.01092 0.1045 3.128 0.818 0.01365 0.02781 1 1 0.0185 0.06137 0.2082 0.02099 0.06964 0.2363 json
t19_x3_u6_b14 19 3 6 14 sub(P,div(nrm(D),P)) 139928 154413842 o2(x,o2(o1(x),x)) true 147831 147831 -0.1344 0.4375 0.9906 0.9679 0.9838 -1 1 2 1 1.217 0.01356 0.0002292 0.01121 0.9667 1 -0.00002321 0.02977 0.01745 0.01366 0.1169 10.43 1.937 0.01424 0.03076 1 1 0.01699 0.06761 0.318 0.01756 0.06985 0.3286 json
t19_x3_u6_b15 19 3 6 15 sub(P,pow(nrm(D),P)) 139929 154413843 o2(x,o2(o1(x),x)) true 147839 147839 -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_x3_u6_b16 19 3 6 16 sub(P,mod(nrm(D),P)) 139930 154413844 o2(x,o2(o1(x),x)) true 147847 147847 -0.125 0.4375 0.9835 0.9596 0.9796 -1 1 2 1 1.409 0.01449 0.0004475 0.01552 0.9401 1 3.754e-10 0.03101 0.02166 0.0147 0.1212 7.811 1.937 0.01556 0.03231 1 1 0.01938 0.07731 0.3257 0.0202 0.08057 0.3394 json
t19_x3_u6_b17 19 3 6 17 sub(P,lrg(nrm(D),P)) 139931 154413845 o2(x,o2(o1(x),x)) true 147855 147855 -0.04098 0.4688 0.959 0.9453 0.9723 -1 1 2 1 1.571 0.006022 0 0.01586 1 1 0 0.008334 0.01158 0.005766 0.07594 4.787 0.9988 0.006371 0.008816 1 1 0.01045 0.06016 0.2663 0.01105 0.06364 0.2817 json
t19_x3_u6_b18 19 3 6 18 sub(P,eql(nrm(D),P)) 139932 154413846 o2(x,o2(o1(x),x)) true 147863 147863 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
t19_x3_u6_b19 19 3 6 19 sub(P,min(nrm(D),P)) 139933 154413847 o2(x,o2(o1(x),x)) true 147871 147871 0.4897 0.5625 0.4897 0.2324 0.4821 0 1 1 1 1.694 0.00236 0.0004641 0.01448 0.6714 1 0.0000044 0.002315 0.009007 0.002614 0.05113 3.53 0.8079 0.01215 0.009959 1 1 0.006279 0.03215 0.06116 0.02701 0.1383 0.2632 json
t19_x3_u6_b20 19 3 6 20 sub(P,dot(nrm(D),P)) 139934 154413848 o2(x,o2(o1(x),x)) true 147879 147879 0.07451 0.5376 0.9243 0.8939 0.9454 -1 1 2 1 2.135 0.03891 0.08204 0.1245 -0.3567 1 -0.0006831 0.2135 0.1523 0.1055 0.3248 2.609 2.828 0.1353 0.2389 1 1 0.1442 0.532 0.2564 0.1613 0.5952 0.2868 json
t19_x3_u6_b21 19 3 6 21 sub(P,dst(nrm(D),P)) 139935 154413849 o2(x,o2(o1(x),x)) true 147887 147887 -0.9016 0.03192 0.9203 0.08063 0.284 -1 0.9263 1.926 1 1.284 0.005223 0.002447 0.02785 0.3619 1 0.0001443 0.008818 0.01539 0.006891 0.08301 2.981 1.465 0.09513 0.1094 1 1 0.01473 0.0802 0.0568 0.1826 0.9946 0.7045 json
t19_x3_u6_b22 19 3 6 22 mlt(P,add(nrm(D),P)) 139936 154413850 o2(x,o2(o1(x),x)) true 147895 147895 0.8973 0.9883 0.8973 0.08228 0.2869 1.761e-7 1 1 1 0.8621 0.001564 0.0004758 0.009512 0.5334 1 -0.00005077 0.001837 0.005469 0.00195 0.04416 4.642 0.8087 0.02479 0.02233 1 1 0.004501 0.03375 0.1247 0.0547 0.4102 1.515 json
t19_x3_u6_b23 19 3 6 23 mlt(P,sub(nrm(D),P)) 139937 154413851 o2(x,o2(o1(x),x)) true 147903 147903 -0.9456 0 0.9456 0.03813 0.1953 -1 -0.00055 0.9994 1 0.7674 0.002955 0.0004189 0.01556 0.7517 1 0.00003878 0.002952 0.01171 0.003133 0.05597 3.597 0.8071 0.08849 0.07741 1 1 0.007339 0.04055 0.05521 0.1925 1.064 1.448 json
t19_x3_u6_b24 19 3 6 24 mlt(P,mlt(nrm(D),P)) 139938 154413852 o2(x,o2(o1(x),x)) true 147911 147911 2.765e-9 0.5 0.8537 0.8149 0.9027 -1 1 2 1 2.671 0.3301 0.001787 0.2194 0.9892 1 -3.341e-10 0.6084 0.3486 0.2837 0.5327 2.428 2.014 0.4073 0.7466 1 1 0.3229 1.251 0.1601 0.3962 1.536 0.1964 json
t19_x3_u6_b25 19 3 6 25 mlt(P,div(nrm(D),P)) 139939 154413853 o2(x,o2(o1(x),x)) true 147919 147919 -0.125 0.4375 0.4455 0.2728 0.5223 -1 0.9346 1.935 1 4.536 0.04022 0.006046 0.1444 0.7386 1 3.135e-9 0.05165 0.07624 0.02541 0.1594 1.104 1.706 0.1696 0.1893 1 1 0.07144 0.3707 0.1993 0.2619 1.359 0.7308 json
t19_x3_u6_b26 19 3 6 26 mlt(P,pow(nrm(D),P)) 139940 154413854 o2(x,o2(o1(x),x)) true 147927 147927 -0.9721 0 0.9721 0.02199 0.1483 -1 -0.0002912 0.9997 1 0.3865 0.004478 0.0000341 0.008053 0.9849 1 0.000008709 0.008157 0.009539 0.004444 0.06666 8.279 0.9997 0.2051 0.3709 1 1 0.006584 0.02812 0.03067 0.2994 1.279 1.394 json
t19_x3_u6_b27 19 3 6 27 mlt(P,mod(nrm(D),P)) 139941 154413855 o2(x,o2(o1(x),x)) true 147935 147935 -0.2241 0.4004 0.8266 0.7182 0.8475 -1 1 2 1 3.114 0.1821 0.003373 0.2167 0.9636 1 0.00005609 0.233 0.2138 0.1384 0.372 1.716 2.034 0.2582 0.3244 1 1 0.2252 1.164 0.1983 0.3136 1.62 0.2762 json
t19_x3_u6_b28 19 3 6 28 mlt(P,lrg(nrm(D),P)) 139942 154413856 o2(x,o2(o1(x),x)) true 147943 147943 -0.4688 0 0.4688 0.2423 0.4922 -1 0 1 1 1.406 0.0003529 0 0.003968 1 1 4.731e-10 0.00001619 0.0009276 0.0003372 0.01836 4.628 0.1169 0.001457 0.00006684 1 1 0.0009255 0.01214 0.0751 0.00382 0.05012 0.31 json
t19_x3_u6_b29 19 3 6 29 mlt(P,eql(nrm(D),P)) 139943 154413857 o2(x,o2(o1(x),x)) true 147951 147951 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_x3_u6_b30 19 3 6 30 mlt(P,min(nrm(D),P)) 139944 154413858 o2(x,o2(o1(x),x)) true 147959 147959 0.3991 0.7002 0.8397 0.6349 0.7968 -1 1 2 1 2.744 0.08728 0.001924 0.1142 0.9569 1 0.000002658 0.1088 0.1023 0.07615 0.2759 2.416 2.034 0.1405 0.1713 1 1 0.1129 0.6202 0.1455 0.1778 0.9768 0.2292 json
t19_x3_u6_b31 19 3 6 31 mlt(P,dot(nrm(D),P)) 139945 154413859 o2(x,o2(o1(x),x)) true 147967 147967 -3.056e-9 0.4995 0.8889 0.8639 0.9294 -1 1 2 1 2.289 0.2317 0.1878 0.2676 0.1046 1 -8.034e-10 1.077 0.452 0.348 0.5899 2.204 2.828 0.4857 1.247 1 1 0.4138 1.47 0.4058 0.479 1.702 0.4697 json
t19_x3_u6_b32 19 3 6 32 mlt(P,dst(nrm(D),P)) 139946 154413860 o2(x,o2(o1(x),x)) true 147975 147975 4.657e-10 0.5 0.9677 0.9622 0.9809 -1 1 2 1 1.413 0.002081 0.00009318 0.00848 0.9143 1 -1.549e-11 0.001474 0.006194 0.002101 0.04584 5.405 0.8249 0.002259 0.001532 1 1 0.004671 0.03799 0.2828 0.004854 0.03948 0.2939 json
t19_x3_u6_b33 19 3 6 33 div(P,add(nrm(D),P)) 139947 154413861 o2(x,o2(o1(x),x)) true 147983 147983 0.9448 1 0.9448 0.01664 0.129 0.002671 1 0.9973 1 1.383 0.0044 0.001067 0.02665 0.6095 1 -0.00003004 0.00844 0.02514 0.004758 0.06898 2.588 1.074 0.3285 0.5071 1 1 0.01045 0.03341 0.01954 0.6279 2.008 1.174 json
t19_x3_u6_b34 19 3 6 34 div(P,sub(nrm(D),P)) 139948 154413862 o2(x,o2(o1(x),x)) true 147991 147991 -0.8966 0 0.8966 0.05874 0.2424 -1 -0.0001456 0.9999 1 1.506 0.001166 0.0001515 0.01798 0.77 1 -0.00002323 0.00116 0.01258 0.0009946 0.03154 1.754 0.4498 0.02243 0.01975 1 1 0.002729 0.02316 0.08958 0.04646 0.3943 1.525 json
t19_x3_u6_b35 19 3 6 35 div(P,mlt(nrm(D),P)) 139949 154413863 o2(x,o2(o1(x),x)) true 147999 147999 -0.125 0.4375 0.8179 0.7377 0.8589 -1 1 2 1 3.131 0.2399 0.001278 0.2183 0.9894 1 -2.924e-9 0.4236 0.2465 0.1936 0.4399 2.016 2 0.3269 0.5742 1 1 0.2615 1.122 0.2896 0.3545 1.521 0.3926 json
t19_x3_u6_b36 19 3 6 36 div(P,div(nrm(D),P)) 139950 154413864 o2(x,o2(o1(x),x)) true 148007 148007 -1.848e-9 0.5 0.9203 0.9023 0.9499 -1 1 2 1 2.011 0.394 0.001103 0.2315 0.9944 1 1.314e-10 0.7479 0.406 0.3414 0.5843 2.524 2.022 0.4378 0.8289 1 1 0.4033 1.45 0.1622 0.4469 1.607 0.1797 json
t19_x3_u6_b37 19 3 6 37 div(P,pow(nrm(D),P)) 139951 154413865 o2(x,o2(o1(x),x)) true 148015 148015 -0.9576 0 0.9576 0.03112 0.1764 -1 -0.000259 0.9997 1 0.5537 0.007154 0.0002379 0.01236 0.9356 1 -0.00002538 0.0154 0.01671 0.007239 0.08508 6.886 0.9997 0.2375 0.4948 1 1 0.009555 0.02917 0.04445 0.307 0.9373 1.428 json
t19_x3_u6_b38 19 3 6 38 div(P,mod(nrm(D),P)) 139952 154413866 o2(x,o2(o1(x),x)) true 148023 148023 -0.1869 0.416 0.9436 0.8923 0.9446 -1 1 2 1 1.774 0.3298 0.0003094 0.2228 0.9981 1 -0.00003499 0.5677 0.3451 0.2805 0.5296 2.377 2 0.37 0.6362 1 1 0.3562 1.516 0.2748 0.3992 1.699 0.308 json
t19_x3_u6_b39 19 3 6 39 div(P,lrg(nrm(D),P)) 139953 154413867 o2(x,o2(o1(x),x)) true 148031 148031 -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_x3_u6_b40 19 3 6 40 div(P,eql(nrm(D),P)) 139954 154413868 o2(x,o2(o1(x),x)) true 148039 148039 -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_x3_u6_b41 19 3 6 41 div(P,min(nrm(D),P)) 139955 154413869 o2(x,o2(o1(x),x)) true 148047 148047 0.3753 0.708 0.9405 0.7847 0.8859 -1 1 2 1 1.691 0.1692 0.0001547 0.1193 0.9982 1 -0.00001749 0.2917 0.1814 0.1552 0.394 3.303 2 0.2159 0.3718 1 1 0.1896 0.8369 0.2918 0.2416 1.066 0.3718 json
t19_x3_u6_b42 19 3 6 42 div(P,dot(nrm(D),P)) 139956 154413870 o2(x,o2(o1(x),x)) true 148055 148055 -0.02167 0.4883 0.6282 0.5281 0.7267 -1 1 2 1 4.275 0.3397 0.2974 0.4471 0.06645 1 -6.57e-10 2.312 0.7249 0.4372 0.6612 1.479 2.828 1.206 4.378 1 1 0.5826 1.267 0.6751 1.103 2.4 1.278 json
t19_x3_u6_b43 19 3 6 43 div(P,dst(nrm(D),P)) 139957 154413871 o2(x,o2(o1(x),x)) true 148063 148063 -1.196e-9 0.4973 0.6354 0.487 0.6979 -1 1 2 1 4.819 0.0005527 0.0004284 0.02086 0.1267 1 -5.444e-11 0.0008921 0.009446 0.0005459 0.02337 1.12 0.5978 0.002014 0.001832 1 1 0.002453 0.01756 0.09773 0.005037 0.03605 0.2007 json
t19_x3_u6_b44 19 3 6 44 pow(P,add(nrm(D),P)) 139958 154413872 o2(x,o2(o1(x),x)) true 148071 148071 -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_x3_u6_b45 19 3 6 45 pow(P,sub(nrm(D),P)) 139959 154413873 o2(x,o2(o1(x),x)) true 148079 148079 -0.4165 0.3662 0.5835 0.3821 0.6182 -1 0.9997 2 1 2.095 0.004687 0.00002223 0.01414 0.9906 1 0.000006519 0.008024 0.01092 0.00451 0.06716 4.751 1 0.01232 0.021 1 1 0.007191 0.04939 0.2428 0.01882 0.1293 0.6352 json
t19_x3_u6_b46 19 3 6 46 pow(P,mlt(nrm(D),P)) 139960 154413874 o2(x,o2(o1(x),x)) true 148087 148087 -0.03686 0.5 0.9631 0.9434 0.9713 -1 1 2 1 1.659 0.02381 0.0002609 0.02921 0.9783 1 -0.00003574 0.0482 0.04249 0.02322 0.1524 5.217 2 0.02551 0.05109 1 1 0.03225 0.111 0.3114 0.03419 0.1177 0.33 json
t19_x3_u6_b47 19 3 6 47 pow(P,div(nrm(D),P)) 139961 154413875 o2(x,o2(o1(x),x)) true 148095 148095 -0.05421 0.5 0.9458 0.9166 0.9574 -1 1 2 1 2.008 0.004792 0.0001008 0.01723 0.9588 1 0.00004612 0.00845 0.01578 0.004595 0.06779 3.935 1 0.005338 0.009218 1 1 0.007221 0.04385 0.27 0.007878 0.04784 0.2946 json
t19_x3_u6_b48 19 3 6 48 pow(P,pow(nrm(D),P)) 139962 154413876 o2(x,o2(o1(x),x)) true 148103 148103 -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_x3_u6_b49 19 3 6 49 pow(P,mod(nrm(D),P)) 139963 154413877 o2(x,o2(o1(x),x)) true 148111 148111 -0.1772 0.4375 0.9478 0.8849 0.9407 -1 1 2 1 1.943 0.02082 0.0004971 0.03296 0.9534 1 -0.0001411 0.03797 0.03939 0.02024 0.1423 4.316 2 0.02409 0.0429 1 1 0.02817 0.1005 0.292 0.03183 0.1136 0.33 json
t19_x3_u6_b50 19 3 6 50 pow(P,lrg(nrm(D),P)) 139964 154413878 o2(x,o2(o1(x),x)) true 148119 148119 -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_x3_u6_b51 19 3 6 51 pow(P,eql(nrm(D),P)) 139965 154413879 o2(x,o2(o1(x),x)) true 148127 148127 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
t19_x3_u6_b52 19 3 6 52 pow(P,min(nrm(D),P)) 139966 154413880 o2(x,o2(o1(x),x)) true 148135 148135 -0.05218 0.5 0.9478 0.9135 0.9558 -1 1 2 1 1.994 0.02082 0.0004971 0.03296 0.9534 1 -0.0001411 0.03792 0.03939 0.02024 0.1423 4.316 2 0.02334 0.04151 1 1 0.02821 0.1065 0.3132 0.03088 0.1166 0.3429 json
t19_x3_u6_b53 19 3 6 53 pow(P,dot(nrm(D),P)) 139967 154413881 o2(x,o2(o1(x),x)) true 148143 148143 -0.1451 0.4375 0.9799 0.9499 0.9746 -1 1 2 1 1.38 0.01942 0.002766 0.02204 0.7506 1 -0.0001004 0.0477 0.03515 0.0217 0.1473 6.683 2 0.02335 0.05021 1 1 0.03102 0.1029 0.3031 0.03266 0.1083 0.3191 json
t19_x3_u6_b54 19 3 6 54 pow(P,dst(nrm(D),P)) 139968 154413882 o2(x,o2(o1(x),x)) true 148151 148151 -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_x3_u6_b55 19 3 6 55 mod(P,add(nrm(D),P)) 139969 154413883 o2(x,o2(o1(x),x)) true 148159 148159 3.674e-9 0.4932 0.7755 0.7309 0.8549 -1 1 2 1 3.129 0.04839 0.002928 0.09775 0.8859 1 6.72e-10 0.1108 0.133 0.04176 0.2043 2.091 0.9369 0.07022 0.1516 1 1 0.04882 0.1142 0.139 0.06679 0.1563 0.1902 json
t19_x3_u6_b56 19 3 6 56 mod(P,sub(nrm(D),P)) 139970 154413884 o2(x,o2(o1(x),x)) true 148167 148167 -7.451e-9 0.5 0.8213 0.7712 0.8782 -1 1 2 1 3.07 0.05069 0.002642 0.1043 0.9009 1 4.524e-10 0.1134 0.1376 0.04245 0.206 1.974 0.9361 0.06915 0.1471 1 1 0.05208 0.115 0.1549 0.06753 0.1491 0.2009 json
t19_x3_u6_b57 19 3 6 57 mod(P,mlt(nrm(D),P)) 139971 154413885 o2(x,o2(o1(x),x)) true 148175 148175 -0.125 0.4375 0.5808 0.4776 0.6911 -1 1 2 1 4.141 0.07228 0.05857 0.2362 0.1048 1 -3.822e-9 0.3921 0.3816 0.07506 0.274 1.16 1.293 0.274 0.8211 1 1 0.1258 0.2565 0.215 0.2635 0.5372 0.4503 json
t19_x3_u6_b58 19 3 6 58 mod(P,div(nrm(D),P)) 139972 154413886 o2(x,o2(o1(x),x)) true 148183 148183 -0.125 0.4375 0.1932 0.1189 0.3448 -1 0.4681 1.468 1 2.959 0.01086 0.003097 0.06085 0.5562 1 2.385e-10 0.04135 0.114 0.01026 0.1013 1.664 1.293 0.1174 0.3479 1 1 0.01619 0.05221 0.1745 0.1362 0.4393 1.468 json
t19_x3_u6_b59 19 3 6 59 mod(P,pow(nrm(D),P)) 139973 154413887 o2(x,o2(o1(x),x)) true 148191 148191 -0.9688 0 0.9688 0.02351 0.1533 -1 -0.000291 0.9997 1 0.459 0.004319 0 0.007934 1 1 0 0.008002 0.008862 0.004255 0.06523 8.221 0.9997 0.1837 0.3404 1 1 0.00615 0.02664 0.03299 0.2616 1.133 1.403 json
t19_x3_u6_b60 19 3 6 60 mod(P,mod(nrm(D),P)) 139974 154413888 o2(x,o2(o1(x),x)) true 148199 148199 -0.125 0.4375 0.3279 0.1832 0.428 -1 0.8254 1.825 1 4.249 0.03496 0.03024 0.1846 0.07232 1 -2.321e-9 0.2827 0.3534 0.03114 0.1765 0.9561 1.293 0.3559 1.543 1 1 0.04473 0.09346 0.1876 0.2441 0.5101 1.024 json
t19_x3_u6_b61 19 3 6 61 mod(P,lrg(nrm(D),P)) 139975 154413889 o2(x,o2(o1(x),x)) true 148207 148207 -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
t19_x3_u6_b62 19 3 6 62 mod(P,eql(nrm(D),P)) 139976 154413890 o2(x,o2(o1(x),x)) true 148215 148215 -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_x3_u6_b63 19 3 6 63 mod(P,min(nrm(D),P)) 139977 154413891 o2(x,o2(o1(x),x)) true 148223 148223 -0.2113 0.4375 0.4142 0.295 0.5431 -1 0.8254 1.825 1 3.172 0.02593 0.01512 0.1116 0.2632 1 0.0002804 0.1512 0.1955 0.02858 0.1691 1.514 1.293 0.1391 0.5127 1 1 0.0356 0.1281 0.2127 0.1207 0.4341 0.721 json
t19_x3_u6_b64 19 3 6 64 mod(P,dot(nrm(D),P)) 139978 154413892 o2(x,o2(o1(x),x)) true 148231 148231 -0.02368 0.4873 0.8421 0.7959 0.8921 -1 1 2 1 2.951 0.06772 0.06595 0.1619 0.01324 1 -5.632e-10 0.6283 0.323 0.1075 0.3279 2.025 2.828 0.1679 0.7894 1 1 0.1096 0.1745 0.331 0.1376 0.2192 0.4158 json
t19_x3_u6_b65 19 3 6 65 mod(P,dst(nrm(D),P)) 139979 154413893 o2(x,o2(o1(x),x)) true 148239 148239 0 0.5 0.9239 0.9043 0.9509 -1 1 2 1 2.056 0.007538 0.003749 0.0272 0.3357 1 -3.942e-11 0.03637 0.0353 0.01054 0.1027 3.775 1.372 0.01248 0.04022 1 1 0.01296 0.04324 0.2355 0.01433 0.04782 0.2604 json
t19_x3_u6_b66 19 3 6 66 lrg(P,add(nrm(D),P)) 139980 154413894 o2(x,o2(o1(x),x)) true 148247 148247 0.5 1 0.5 0.1418 0.3765 0.000291 0.9997 0.9994 1 3.406 0.06511 0 0.1228 1 1 0 0.1208 0.1337 0.05001 0.2236 1.821 0.9994 0.4593 0.8522 1 1 0.07073 0.2419 0 0.4989 1.706 0 json
t19_x3_u6_b67 19 3 6 67 lrg(P,sub(nrm(D),P)) 139981 154413895 o2(x,o2(o1(x),x)) true 148255 148255 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_x3_u6_b68 19 3 6 68 lrg(P,mlt(nrm(D),P)) 139982 154413896 o2(x,o2(o1(x),x)) true 148263 148263 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_x3_u6_b69 19 3 6 69 lrg(P,div(nrm(D),P)) 139983 154413897 o2(x,o2(o1(x),x)) true 148271 148271 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_x3_u6_b70 19 3 6 70 lrg(P,pow(nrm(D),P)) 139984 154413898 o2(x,o2(o1(x),x)) true 148279 148279 0.6875 0.9375 0.6875 0.1607 0.4009 0 1 1 1 2.466 0.03057 0 0.05938 1 1 -0.00008984 0.05632 0.06286 0.02705 0.1645 2.77 0.9997 0.1902 0.3504 1 1 0.03151 0.1181 0.0751 0.1961 0.735 0.4672 json
t19_x3_u6_b71 19 3 6 71 lrg(P,mod(nrm(D),P)) 139985 154413899 o2(x,o2(o1(x),x)) true 148287 148287 0.5313 0.5625 0.5313 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_x3_u6_b72 19 3 6 72 lrg(P,lrg(nrm(D),P)) 139986 154413900 o2(x,o2(o1(x),x)) true 148295 148295 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_x3_u6_b73 19 3 6 73 lrg(P,eql(nrm(D),P)) 139987 154413901 o2(x,o2(o1(x),x)) true 148303 148303 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_x3_u6_b74 19 3 6 74 lrg(P,min(nrm(D),P)) 139988 154413902 o2(x,o2(o1(x),x)) true 148311 148311 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_x3_u6_b75 19 3 6 75 lrg(P,dot(nrm(D),P)) 139989 154413903 o2(x,o2(o1(x),x)) true 148319 148319 0.5293 0.8994 0.5293 0.1624 0.403 0 1 1 1 3.309 0.01769 0.03614 0.1055 -0.3427 1 -0.0002486 0.1444 0.1388 0.04269 0.2066 1.959 1.409 0.3314 0.8889 1 1 0.05475 0.1728 0.07374 0.3371 1.064 0.454 json
t19_x3_u6_b76 19 3 6 76 lrg(P,dst(nrm(D),P)) 139990 154413904 o2(x,o2(o1(x),x)) true 148327 148327 0.05382 0.1611 0.05382 0.03215 0.1793 0 0.9997 0.9997 1 0.9352 0.006914 0.003309 0.02105 0.3527 1 -0.00003864 0.02794 0.02622 0.009775 0.09887 4.696 1.409 0.318 0.8692 1 1 0.01266 0.04516 0.03076 0.3937 1.405 0.9569 json
t19_x3_u6_b77 19 3 6 77 eql(P,add(nrm(D),P)) 139991 154413905 o2(x,o2(o1(x),x)) true 148335 148335 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_x3_u6_b78 19 3 6 78 eql(P,sub(nrm(D),P)) 139992 154413906 o2(x,o2(o1(x),x)) true 148343 148343 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_x3_u6_b79 19 3 6 79 eql(P,mlt(nrm(D),P)) 139993 154413907 o2(x,o2(o1(x),x)) true 148351 148351 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
t19_x3_u6_b80 19 3 6 80 eql(P,div(nrm(D),P)) 139994 154413908 o2(x,o2(o1(x),x)) true 148359 148359 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_x3_u6_b81 19 3 6 81 eql(P,pow(nrm(D),P)) 139995 154413909 o2(x,o2(o1(x),x)) true 148367 148367 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_x3_u6_b82 19 3 6 82 eql(P,mod(nrm(D),P)) 139996 154413910 o2(x,o2(o1(x),x)) true 148375 148375 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_x3_u6_b83 19 3 6 83 eql(P,lrg(nrm(D),P)) 139997 154413911 o2(x,o2(o1(x),x)) true 148383 148383 0.03125 0.0625 0.03125 0.02351 0.1533 0 0.9997 0.9997 1 0.459 0.004319 0 0.007934 1 1 -2.365e-10 0.008002 0.008862 0.004255 0.06523 8.221 0.9997 0.1837 0.3404 1 1 0.00615 0.02664 0.03299 0.2616 1.133 1.403 json
t19_x3_u6_b84 19 3 6 84 eql(P,eql(nrm(D),P)) 139998 154413912 o2(x,o2(o1(x),x)) true 148391 148391 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
t19_x3_u6_b85 19 3 6 85 eql(P,min(nrm(D),P)) 139999 154413913 o2(x,o2(o1(x),x)) true 148399 148399 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