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
t17_x21_u5_b111 17 21 5 111 dst(R,sub(D,sgn(P))) 116000 138899754 o2(x,o2(x,o1(x))) true 88007 88007 0.9842 1 0.9842 0.004745 0.06888 0.2572 1 0.7428 1 0.5282 0.0002791 0.0003409 0.006621 -0.09976 1 -0.00007125 0.0003193 0.004552 0.000576 0.024 3.625 0.2686 0.1307 0.0673 1 1 0.001096 0.007439 0.008597 0.2311 1.568 1.812 json
t17_x21_u5_b112 17 21 5 112 dst(R,mlt(D,sgn(P))) 116001 138899755 o2(x,o2(x,o1(x))) true 88015 88015 0.9183 1 0.9183 0.02022 0.1422 0.07193 1 0.9281 1 1.84 0.0006439 0.0007615 0.02156 -0.08367 1 -0.00007633 0.0004126 0.009903 0.0009407 0.03067 1.422 0.192 0.06951 0.02041 1 1 0.002386 0.02246 0.03538 0.118 1.111 1.75 json
t17_x21_u5_b113 17 21 5 113 dst(R,div(D,sgn(P))) 116002 138899756 o2(x,o2(x,o1(x))) true 88023 88023 -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
t17_x21_u5_b114 17 21 5 114 dst(R,pow(D,sgn(P))) 116003 138899757 o2(x,o2(x,o1(x))) true 88031 88031 -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
t17_x21_u5_b115 17 21 5 115 dst(R,mod(D,sgn(P))) 116004 138899758 o2(x,o2(x,o1(x))) true 88039 88039 -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
t17_x21_u5_b116 17 21 5 116 dst(R,lrg(D,sgn(P))) 116005 138899759 o2(x,o2(x,o1(x))) true 88047 88047 0.9463 1 0.9463 0.01353 0.1163 0.21 1 0.79 1 1.399 0.0003742 0.0004627 0.01122 -0.1057 1 -0.00004541 0.0006474 0.006363 0.0007111 0.02667 2.377 0.5354 0.06186 0.04785 1 1 0.001308 0.009736 0.02094 0.09667 0.7196 1.548 json
t17_x21_u5_b117 17 21 5 117 dst(R,eql(D,sgn(P))) 116006 138899760 o2(x,o2(x,o1(x))) true 88055 88055 0.9684 1 0.9684 0.009182 0.09582 0.2103 1 0.7897 1 0.9061 0.0002907 0.0002713 0.007968 0.03453 1 -0.00004516 0.0002037 0.004353 0.0004984 0.02232 2.802 0.1992 0.0612 0.02219 1 1 0.0009074 0.007818 0.01255 0.09882 0.8515 1.367 json
t17_x21_u5_b118 17 21 5 118 dst(R,min(D,sgn(P))) 116007 138899761 o2(x,o2(x,o1(x))) true 88063 88063 0.9565 1 0.9565 0.01171 0.1082 0.2026 1 0.7974 1 1.178 0.0003918 0.0004361 0.01214 -0.05352 1 -0.00005465 0.0002903 0.006195 0.0006804 0.02609 2.149 0.2222 0.07073 0.0248 1 1 0.001058 0.009549 0.01779 0.09041 0.8158 1.52 json
t17_x21_u5_b119 17 21 5 119 dst(R,dot(D,sgn(P))) 116008 138899762 o2(x,o2(x,o1(x))) true 88071 88071 0.9445 1 0.9445 0.01538 0.124 0.02324 1 0.9768 1 1.388 0.001077 0.001177 0.02282 -0.04424 1 -0.0001228 0.001125 0.01493 0.001732 0.04162 1.824 0.2806 0.1466 0.07315 1 1 0.003845 0.02526 0.02566 0.25 1.643 1.669 json
t17_x21_u5_b120 17 21 5 120 dst(R,dst(D,sgn(P))) 116009 138899763 o2(x,o2(x,o1(x))) true 88079 88079 1 1 1 0.000002065 0.001437 0.9004 1 0.09963 1 0.002347 0.000001117 0.000001266 0.00004383 -0.06225 0 -1.877e-11 0.00000513 0.00007199 0.00000238 0.001543 35.19 0.08647 1.154 2.485 1 1 0.000004843 0.000007094 0.000006438 2.346 3.436 3.118 json
t17_x21_u6_b0 17 21 6 0 add(R,add(D,nrm(P))) 116010 138899844 o2(x,o2(x,o1(x))) true 88087 88087 -0.02334 0.4961 0.6064 0.4825 0.6946 -1 1 2 1 4.617 0.005146 0.004258 0.05848 0.09442 1 -0.00001876 0.008912 0.0219 0.005984 0.07736 1.323 2.828 0.01949 0.01847 1 1 0.01731 0.1403 0.3737 0.03587 0.2909 0.7746 json
t17_x21_u6_b1 17 21 6 1 add(R,sub(D,nrm(P))) 116011 138899845 o2(x,o2(x,o1(x))) true 88095 88095 -0.02454 0.4683 0.6577 0.5424 0.7365 -1 1 2 1 4.441 0.005558 0.004038 0.05717 0.1585 1 0.00004256 0.008763 0.02267 0.006327 0.07954 1.391 2.004 0.01769 0.01616 1 1 0.01798 0.1442 0.3898 0.03315 0.2658 0.7186 json
t17_x21_u6_b2 17 21 6 2 add(R,mlt(D,nrm(P))) 116012 138899846 o2(x,o2(x,o1(x))) true 88103 88103 -0.02459 0.4765 0.4081 0.2362 0.486 -1 1 2 1 4.894 0.005129 0.004645 0.07062 0.04943 1 0.0003084 0.007027 0.02119 0.004787 0.06919 0.9796 2.097 0.04138 0.02975 1 1 0.01862 0.1786 0.4492 0.07881 0.7563 1.902 json
t17_x21_u6_b3 17 21 6 3 add(R,div(D,nrm(P))) 116013 138899847 o2(x,o2(x,o1(x))) true 88111 88111 -0.07317 0.476 0.4905 0.343 0.5857 -1 1 2 1 4.755 0.02354 0.002689 0.08802 0.795 1 0.0004007 0.03074 0.04367 0.01848 0.1359 1.544 2 0.07646 0.0896 1 1 0.03863 0.2731 0.5464 0.1126 0.796 1.593 json
t17_x21_u6_b4 17 21 6 4 add(R,pow(D,nrm(P))) 116014 138899848 o2(x,o2(x,o1(x))) true 88119 88119 -0.9001 0.05469 0.9905 0.1758 0.4193 -1 1 2 1 0.4377 0.02367 0.00191 0.01531 0.8507 1 -0.00001108 0.05143 0.02797 0.02535 0.1592 10.4 2.828 0.1455 0.2925 1 1 0.03364 0.1381 0.296 0.1913 0.7853 1.683 json
t17_x21_u6_b5 17 21 6 5 add(R,mod(D,nrm(P))) 116015 138899849 o2(x,o2(x,o1(x))) true 88127 88127 -0.12 0.4344 0.4781 0.3167 0.5627 -1 1 2 1 4.762 0.01944 0.002798 0.08198 0.7484 1 0.00004621 0.03155 0.05342 0.01551 0.1246 1.519 1.974 0.07022 0.09963 1 1 0.03072 0.2104 0.5096 0.09702 0.6644 1.609 json
t17_x21_u6_b6 17 21 6 6 add(R,lrg(D,nrm(P))) 116016 138899850 o2(x,o2(x,o1(x))) true 88135 88135 0.4109 0.7531 0.5909 0.294 0.5422 -0.9986 1 1.999 1 4.325 0.01208 0.002352 0.06598 0.6741 1 -0.00004121 0.01907 0.04352 0.01008 0.1004 1.522 1.012 0.0491 0.06488 1 1 0.02008 0.143 0.3212 0.06829 0.4864 1.093 json
t17_x21_u6_b7 17 21 6 7 add(R,eql(D,nrm(P))) 116017 138899851 o2(x,o2(x,o1(x))) true 88143 88143 0.008979 0.4983 0.3946 0.2196 0.4686 -0.9989 0.9806 1.979 1 4.862 0.002813 0.00317 0.0632 -0.05957 1 0.00002651 0.0003508 0.01449 0.001989 0.0446 0.7057 0.2301 0.02725 0.001598 1 1 0.01182 0.1519 0.3914 0.05384 0.6917 1.782 json
t17_x21_u6_b8 17 21 6 8 add(R,min(D,nrm(P))) 116018 138899852 o2(x,o2(x,o1(x))) true 88151 88151 -0.3046 0.2853 0.5079 0.2659 0.5156 -1 1 2 1 4.688 0.00357 0.002864 0.06394 0.1097 1 0.0002091 0.0006673 0.01752 0.002347 0.04845 0.7577 0.2488 0.0242 0.00251 1 1 0.01279 0.1478 0.3604 0.04809 0.5558 1.356 json
t17_x21_u6_b9 17 21 6 9 add(R,dot(D,nrm(P))) 116019 138899853 o2(x,o2(x,o1(x))) true 88159 88159 -0.03822 0.4652 0.4107 0.2395 0.4894 -1 1 2 1 4.895 0.004859 0.005556 0.07623 -0.06684 1 0.0005817 0.006677 0.02339 0.004604 0.06786 0.8902 2.097 0.04349 0.02788 1 1 0.01989 0.1883 0.4429 0.08303 0.786 1.849 json
t17_x21_u6_b10 17 21 6 10 add(R,dst(D,nrm(P))) 116020 138899854 o2(x,o2(x,o1(x))) true 88167 88167 0.8116 0.9808 0.8432 0.113 0.3362 -1 1 2 1 2.508 0.005396 0.00548 0.03785 -0.007677 1 -0.000322 0.01654 0.0224 0.009437 0.09715 2.567 2.828 0.09625 0.1464 1 1 0.01922 0.1065 0.2958 0.1701 0.9427 2.617 json
t17_x21_u6_b11 17 21 6 11 sub(R,add(D,nrm(P))) 116021 138899855 o2(x,o2(x,o1(x))) true 88175 88175 -0.02363 0.4708 0.6542 0.5388 0.734 -1 1 2 1 4.442 0.005031 0.004111 0.05545 0.1006 1 -0.00002514 0.008756 0.02112 0.006069 0.0779 1.405 2 0.01697 0.01625 1 1 0.01689 0.138 0.3952 0.03135 0.2562 0.7336 json
t17_x21_u6_b12 17 21 6 12 sub(R,sub(D,nrm(P))) 116022 138899856 o2(x,o2(x,o1(x))) true 88183 88183 -0.02401 0.4904 0.6114 0.4876 0.6983 -1 1 2 1 4.606 0.005564 0.004184 0.05911 0.1416 1 0.00002857 0.008882 0.02287 0.006252 0.07907 1.338 2.828 0.01999 0.01822 1 1 0.01806 0.1439 0.3692 0.03704 0.2952 0.7572 json
t17_x21_u6_b13 17 21 6 13 sub(R,mlt(D,nrm(P))) 116023 138899857 o2(x,o2(x,o1(x))) true 88191 88191 0.002989 0.4938 0.4082 0.2386 0.4885 -1 1 2 1 4.9 0.005104 0.005204 0.07136 -0.009722 1 -0.0002539 0.008138 0.02186 0.005215 0.07222 1.012 2.098 0.0432 0.03411 1 1 0.01917 0.1802 0.4604 0.08036 0.7552 1.93 json
t17_x21_u6_b14 17 21 6 14 sub(R,div(D,nrm(P))) 116024 138899858 o2(x,o2(x,o1(x))) true 88199 88199 -0.1685 0.4027 0.4971 0.325 0.5701 -1 1 2 1 4.708 0.01863 0.002708 0.08627 0.7462 1 -0.000291 0.0285 0.043 0.0139 0.1179 1.366 1.874 0.06566 0.08769 1 1 0.02919 0.1937 0.483 0.0898 0.5959 1.486 json
t17_x21_u6_b15 17 21 6 15 sub(R,pow(D,nrm(P))) 116025 138899859 o2(x,o2(x,o1(x))) true 88207 88207 -0.9941 0 0.9941 0.002679 0.05176 -1 -0.294 0.706 1 0.1646 0.0003638 0.00005728 0.001778 0.7279 1 6.758e-11 0.0006704 0.00198 0.0004178 0.02044 11.49 0.6689 0.1572 0.2503 1 1 0.0005675 0.002746 0.005421 0.2119 1.025 2.024 json
t17_x21_u6_b16 17 21 6 16 sub(R,mod(D,nrm(P))) 116026 138899860 o2(x,o2(x,o1(x))) true 88215 88215 -0.1199 0.4376 0.4743 0.3123 0.5588 -1 1 2 1 4.754 0.01921 0.00279 0.08173 0.7464 1 0.00004787 0.03149 0.05309 0.01532 0.1238 1.515 1.929 0.07046 0.1009 1 1 0.03021 0.2062 0.5051 0.09674 0.6602 1.618 json
t17_x21_u6_b17 17 21 6 17 sub(R,lrg(D,nrm(P))) 116027 138899861 o2(x,o2(x,o1(x))) true 88223 88223 -0.4149 0.2133 0.5791 0.2695 0.5191 -1 0.9806 1.981 1 4.396 0.01128 0.002501 0.06749 0.637 1 0.00006208 0.0173 0.04298 0.009226 0.09605 1.423 1.01 0.05114 0.06419 1 1 0.01875 0.1436 0.3254 0.06957 0.5329 1.207 json
t17_x21_u6_b18 17 21 6 18 sub(R,eql(D,nrm(P))) 116028 138899862 o2(x,o2(x,o1(x))) true 88231 88231 0.008979 0.4983 0.3946 0.2196 0.4686 -0.9989 0.9806 1.979 1 4.862 0.002813 0.00317 0.0632 -0.05957 1 0.00002651 0.0003508 0.01449 0.001989 0.0446 0.7057 0.2301 0.02725 0.001598 1 1 0.01182 0.1519 0.3914 0.05384 0.6917 1.782 json
t17_x21_u6_b19 17 21 6 19 sub(R,min(D,nrm(P))) 116029 138899863 o2(x,o2(x,o1(x))) true 88239 88239 0.3037 0.6843 0.5285 0.2996 0.5474 -1 1 2 1 4.565 0.003546 0.002688 0.06074 0.1376 1 -0.0001712 0.0006745 0.01702 0.002545 0.05044 0.8306 0.2625 0.0208 0.002251 1 1 0.0122 0.141 0.3533 0.0407 0.4707 1.179 json
t17_x21_u6_b20 17 21 6 20 sub(R,dot(D,nrm(P))) 116030 138899864 o2(x,o2(x,o1(x))) true 88247 88247 0.01677 0.5099 0.4123 0.2446 0.4946 -1 1 2 1 4.914 0.005374 0.005873 0.0767 -0.0444 1 -0.0005337 0.008826 0.02405 0.005364 0.07324 0.955 2.098 0.04598 0.03608 1 1 0.02089 0.1913 0.4669 0.08542 0.7822 1.909 json
t17_x21_u6_b21 17 21 6 21 sub(R,dst(D,nrm(P))) 116031 138899865 o2(x,o2(x,o1(x))) true 88255 88255 -0.8391 0.00267 0.8393 0.06232 0.2496 -1 0.09075 1.091 1 2.393 0.00186 0.00202 0.03565 -0.04137 1 0.0003471 0.001484 0.01562 0.002609 0.05108 1.433 0.7966 0.06227 0.02381 1 1 0.007197 0.06218 0.1113 0.1155 0.9977 1.786 json
t17_x21_u6_b22 17 21 6 22 mlt(R,add(D,nrm(P))) 116032 138899866 o2(x,o2(x,o1(x))) true 88263 88263 -0.03472 0.4642 0.2789 0.1317 0.3629 -1 1 2 1 4.521 0.003188 0.002718 0.05097 0.07951 1 -0.00004994 0.004884 0.01589 0.003308 0.05751 1.128 1.897 0.04483 0.03708 1 1 0.01105 0.1029 0.2681 0.08393 0.7809 2.035 json
t17_x21_u6_b23 17 21 6 23 mlt(R,sub(D,nrm(P))) 116033 138899867 o2(x,o2(x,o1(x))) true 88271 88271 0.006672 0.5273 0.2921 0.143 0.3782 -1 1 2 1 4.577 0.003112 0.002934 0.05298 0.02936 1 -0.00002579 0.004844 0.01658 0.003239 0.05691 1.074 1.744 0.04228 0.03387 1 1 0.01143 0.1099 0.2886 0.07991 0.7683 2.018 json
t17_x21_u6_b24 17 21 6 24 mlt(R,mlt(D,nrm(P))) 116034 138899868 o2(x,o2(x,o1(x))) true 88279 88279 -0.01768 0.483 0.07224 0.0222 0.149 -1 0.3821 1.382 1 2.507 0.001382 0.0009883 0.0193 0.1662 1 0.00005068 0.003957 0.008992 0.001998 0.0447 2.315 1.414 0.1068 0.1782 1 1 0.004261 0.02364 0.06745 0.1919 1.065 3.038 json
t17_x21_u6_b25 17 21 6 25 mlt(R,div(D,nrm(P))) 116035 138899869 o2(x,o2(x,o1(x))) true 88287 88287 -0.1185 0.4356 0.2591 0.1602 0.4002 -1 1 2 1 3.737 0.01092 0.0008769 0.04764 0.8514 1 0.00006554 0.01653 0.02804 0.009528 0.09761 2.049 1.191 0.07366 0.1032 1 1 0.01576 0.09859 0.25 0.09837 0.6155 1.561 json
t17_x21_u6_b26 17 21 6 26 mlt(R,pow(D,nrm(P))) 116036 138899870 o2(x,o2(x,o1(x))) true 88295 88295 -0.9447 0.0257 0.973 0.07137 0.2672 -1 1 2 1 0.5605 0.01101 0.001478 0.012 0.7633 1 -0.000009502 0.02464 0.01673 0.01233 0.1111 9.254 2.003 0.1749 0.3452 1 1 0.01627 0.06855 0.1437 0.228 0.9605 2.013 json
t17_x21_u6_b27 17 21 6 27 mlt(R,mod(D,nrm(P))) 116037 138899871 o2(x,o2(x,o1(x))) true 88303 88303 -0.1233 0.444 0.1964 0.1206 0.3473 -1 0.4548 1.455 1 3.047 0.009153 0.0001656 0.0342 0.9645 1 -0.00004416 0.01735 0.03282 0.008148 0.09027 2.639 1.03 0.07724 0.1438 1 1 0.01254 0.05918 0.191 0.104 0.4905 1.583 json
t17_x21_u6_b28 17 21 6 28 mlt(R,lrg(D,nrm(P))) 116038 138899872 o2(x,o2(x,o1(x))) true 88311 88311 0.02106 0.3598 0.2118 0.1123 0.3351 -0.9987 0.9693 1.968 1 3.854 0.005217 0.001656 0.04408 0.5181 1 0.00003218 0.008108 0.02663 0.004929 0.07021 1.593 0.9527 0.06122 0.07222 1 1 0.009369 0.08532 0.1949 0.08345 0.76 1.736 json
t17_x21_u6_b29 17 21 6 29 mlt(R,eql(D,nrm(P))) 116039 138899873 o2(x,o2(x,o1(x))) true 88319 88319 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
t17_x21_u6_b30 17 21 6 30 mlt(R,min(D,nrm(P))) 116040 138899874 o2(x,o2(x,o1(x))) true 88327 88327 -0.01932 0.4852 0.1733 0.06005 0.245 -0.8885 0.8955 1.784 1 3.892 0.0009914 0.0008856 0.03425 0.05632 1 -0.000008917 0.0001376 0.008903 0.0007041 0.02653 0.7748 0.1731 0.03126 0.002292 1 1 0.003697 0.0455 0.09798 0.06157 0.7577 1.632 json
t17_x21_u6_b31 17 21 6 31 mlt(R,dot(D,nrm(P))) 116041 138899875 o2(x,o2(x,o1(x))) true 88335 88335 -0.01644 0.4886 0.1105 0.03078 0.1754 -1 0.422 1.422 1 3.117 0.00136 0.001417 0.02934 -0.02046 1 0.00003115 0.003755 0.01173 0.001917 0.04378 1.492 1.414 0.09025 0.122 1 1 0.005065 0.03443 0.08228 0.1645 1.119 2.673 json
t17_x21_u6_b32 17 21 6 32 mlt(R,dst(D,nrm(P))) 116042 138899876 o2(x,o2(x,o1(x))) true 88343 88343 -0.009222 0.4848 0.4369 0.2712 0.5207 -1 1 2 1 4.935 0.005127 0.005831 0.07272 -0.06423 1 -0.000009802 0.008376 0.0222 0.00567 0.0753 1.036 2.098 0.04041 0.03089 1 1 0.02075 0.2035 0.5428 0.07652 0.7505 2.002 json
t17_x21_u6_b33 17 21 6 33 div(R,add(D,nrm(P))) 116043 138899877 o2(x,o2(x,o1(x))) true 88351 88351 -0.05705 0.4642 0.6704 0.5655 0.752 -1 1 2 1 4.226 0.2063 0.01753 0.2005 0.8434 1 -0.000001262 0.5281 0.2772 0.1836 0.4285 2.137 2.828 0.3958 0.9338 1 1 0.2063 0.6795 1.145 0.3648 1.202 2.024 json
t17_x21_u6_b34 17 21 6 34 div(R,sub(D,nrm(P))) 116044 138899878 o2(x,o2(x,o1(x))) true 88359 88359 0.02071 0.5217 0.6652 0.5614 0.7493 -1 1 2 1 4.276 0.198 0.01717 0.198 0.8405 1 0.0006063 0.4993 0.2652 0.176 0.4195 2.119 2.828 0.3833 0.8895 1 1 0.1996 0.6651 1.099 0.3555 1.185 1.958 json
t17_x21_u6_b35 17 21 6 35 div(R,mlt(D,nrm(P))) 116045 138899879 o2(x,o2(x,o1(x))) true 88367 88367 -0.125 0.4362 0.87 0.8135 0.9019 -1 1 2 1 2.673 0.2357 0.03751 0.2109 0.7255 1 -0.000007343 0.5383 0.2909 0.2289 0.4784 2.269 2.828 0.3359 0.6617 1 1 0.2958 1.281 1.414 0.3636 1.575 1.738 json
t17_x21_u6_b36 17 21 6 36 div(R,div(D,nrm(P))) 116046 138899880 o2(x,o2(x,o1(x))) true 88375 88375 -0.02733 0.4801 0.6574 0.5727 0.7568 -1 1 2 1 4.011 0.2322 0.02199 0.2245 0.8269 1 0.000005942 0.5205 0.2875 0.2038 0.4514 2.011 2.828 0.4438 0.9088 1 1 0.2692 1.008 1.055 0.47 1.76 1.842 json
t17_x21_u6_b37 17 21 6 37 div(R,pow(D,nrm(P))) 116047 138899881 o2(x,o2(x,o1(x))) true 88383 88383 -0.9488 0.02466 0.9649 0.0549 0.2343 -1 0.7206 1.721 1 0.5592 0.007317 0.0007449 0.009914 0.8152 1 -0.000009355 0.01559 0.01456 0.007959 0.08921 8.999 1.976 0.1468 0.2839 1 1 0.01029 0.04513 0.09628 0.1874 0.822 1.754 json
t17_x21_u6_b38 17 21 6 38 div(R,mod(D,nrm(P))) 116048 138899882 o2(x,o2(x,o1(x))) true 88391 88391 -0.1112 0.4443 0.8518 0.7928 0.8904 -1 1 2 1 2.855 0.3912 0.03268 0.3042 0.8458 1 -0.0001052 1.03 0.4865 0.3314 0.5756 1.892 2.828 0.5347 1.3 1 1 0.3747 1.115 1.409 0.4726 1.406 1.778 json
t17_x21_u6_b39 17 21 6 39 div(R,lrg(D,nrm(P))) 116049 138899883 o2(x,o2(x,o1(x))) true 88399 88399 -0.6935 0.1639 0.8301 0.3023 0.5498 -1 1 2 1 2.217 0.08214 0.005675 0.07777 0.8708 1 -0.0001118 0.2021 0.1289 0.08177 0.2859 3.677 2.691 0.2905 0.6686 1 1 0.08029 0.2215 0.2481 0.2656 0.7326 0.8208 json
t17_x21_u6_b40 17 21 6 40 div(R,eql(D,nrm(P))) 116050 138899884 o2(x,o2(x,o1(x))) true 88407 88407 -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
t17_x21_u6_b41 17 21 6 41 div(R,min(D,nrm(P))) 116051 138899885 o2(x,o2(x,o1(x))) true 88415 88415 -0.06365 0.4585 0.7085 0.6148 0.7841 -1 1 2 1 3.99 0.1259 0.0201 0.1495 0.7245 1 -0.00007612 0.2787 0.162 0.1236 0.3516 2.353 2.828 0.2374 0.4533 1 1 0.1691 0.8134 1.12 0.275 1.323 1.822 json
t17_x21_u6_b42 17 21 6 42 div(R,dot(D,nrm(P))) 116052 138899886 o2(x,o2(x,o1(x))) true 88423 88423 -0.01531 0.4921 0.8477 0.7979 0.8932 -1 1 2 1 2.941 0.3073 0.3053 0.3737 0.003356 1 0.000003705 2.15 0.6678 0.4727 0.6875 1.84 2.828 0.7678 2.695 1 1 0.5775 1.667 1.559 0.7238 2.089 1.954 json
t17_x21_u6_b43 17 21 6 43 div(R,dst(D,nrm(P))) 116053 138899887 o2(x,o2(x,o1(x))) true 88431 88431 -0.01137 0.4877 0.4299 0.2634 0.5132 -1 1 2 1 4.924 0.005586 0.006181 0.07522 -0.05061 1 0.00006404 0.01074 0.0271 0.00611 0.07817 1.039 2.097 0.04468 0.04078 1 1 0.02097 0.1969 0.4943 0.07961 0.7476 1.877 json
t17_x21_u6_b44 17 21 6 44 pow(R,add(D,nrm(P))) 116054 138899888 o2(x,o2(x,o1(x))) true 88439 88439 -0.916 0.04297 0.9981 0.1579 0.3974 -1 1 2 1 0.297 0.01633 0.01554 0.01633 0.02474 1 0.000001646 0.0666 0.03252 0.03158 0.1777 10.88 2.828 0.2018 0.4218 1 1 0.0254 0.1093 0.2697 0.1609 0.6921 1.708 json
t17_x21_u6_b45 17 21 6 45 pow(R,sub(D,nrm(P))) 116055 138899889 o2(x,o2(x,o1(x))) true 88447 88447 -0.9251 0.04297 0.9889 0.1271 0.3565 -1 1 2 1 0.4012 0.01219 0.01311 0.01521 -0.03647 1 0.000004089 0.05271 0.02891 0.02507 0.1583 10.41 2.828 0.1991 0.4148 1 1 0.0189 0.08336 0.2077 0.1488 0.656 1.635 json
t17_x21_u6_b46 17 21 6 46 pow(R,mlt(D,nrm(P))) 116056 138899890 o2(x,o2(x,o1(x))) true 88455 88455 -0.8527 0.07422 0.9989 0.2707 0.5203 -1 1 2 1 0.4251 0.0248 0.02396 0.02474 0.01724 1 6.242e-7 0.102 0.0493 0.04819 0.2195 8.874 2.828 0.1801 0.3767 1 1 0.04645 0.1938 0.6402 0.1716 0.7157 2.364 json
t17_x21_u6_b47 17 21 6 47 pow(R,div(D,nrm(P))) 116057 138899891 o2(x,o2(x,o1(x))) true 88463 88463 -0.9248 0.03906 0.9971 0.1402 0.3745 -1 1 2 1 0.3036 0.01588 0.01311 0.01569 0.09568 1 8.58e-7 0.06109 0.0304 0.02874 0.1695 10.81 2.828 0.2067 0.4357 1 1 0.02352 0.09861 0.2481 0.1678 0.7033 1.769 json
t17_x21_u6_b48 17 21 6 48 pow(R,pow(D,nrm(P))) 116058 138899892 o2(x,o2(x,o1(x))) true 88471 88471 -0.9937 0.003906 0.9984 0.01007 0.1003 -1 0.8155 1.815 1 0.04886 0.001253 0.00131 0.00169 -0.02246 1 1.352e-10 0.005399 0.003212 0.00256 0.0506 29.93 1.815 0.2546 0.5364 1 1 0.0006766 0.004562 0.009172 0.06721 0.4532 0.9111 json
t17_x21_u6_b49 17 21 6 49 pow(R,mod(D,nrm(P))) 116059 138899893 o2(x,o2(x,o1(x))) true 88479 88479 -0.9314 0.03516 0.9983 0.1296 0.36 -1 1 2 1 0.2684 0.01472 0.01182 0.01389 0.1093 1 0.000007592 0.05585 0.02734 0.02637 0.1624 11.69 2.828 0.2048 0.431 1 1 0.02305 0.09355 0.2344 0.1778 0.7219 1.809 json
t17_x21_u6_b50 17 21 6 50 pow(R,lrg(D,nrm(P))) 116060 138899894 o2(x,o2(x,o1(x))) true 88487 88487 -0.24 0.396 0.968 0.8948 0.9459 -1 1 2 1 1.567 0.1912 0.03091 0.1197 0.7217 1 0.0003304 0.4742 0.235 0.2079 0.4559 3.808 2.828 0.2483 0.5299 1 1 0.2209 0.6692 0.9343 0.2469 0.7479 1.044 json
t17_x21_u6_b51 17 21 6 51 pow(R,eql(D,nrm(P))) 116061 138899895 o2(x,o2(x,o1(x))) true 88495 88495 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
t17_x21_u6_b52 17 21 6 52 pow(R,min(D,nrm(P))) 116062 138899896 o2(x,o2(x,o1(x))) true 88503 88503 -0.8832 0.05859 0.9996 0.2193 0.4683 -1 1 2 1 0.339 0.02492 0.02023 0.02256 0.1039 1 3.583e-7 0.09436 0.04528 0.04462 0.2112 9.363 2.828 0.2058 0.4302 1 1 0.03961 0.1663 0.4163 0.1806 0.758 1.898 json
t17_x21_u6_b53 17 21 6 53 pow(R,dot(D,nrm(P))) 116063 138899897 o2(x,o2(x,o1(x))) true 88511 88511 -0.9149 0.04324 0.9986 0.1604 0.4005 -1 1 2 1 0.3026 0.01855 0.01808 0.0186 0.01293 1 8.372e-7 0.08943 0.03744 0.03629 0.1905 10.24 2.828 0.2284 0.5576 1 1 0.02657 0.1089 0.2696 0.1657 0.6789 1.681 json
t17_x21_u6_b54 17 21 6 54 pow(R,dst(D,nrm(P))) 116064 138899898 o2(x,o2(x,o1(x))) true 88519 88519 -0.9329 0.04297 0.9811 0.1019 0.3192 -1 0.946 1.946 1 0.4132 0.01026 0.01049 0.01426 -0.01108 1 0.00001055 0.04329 0.02627 0.02055 0.1433 10.05 2.634 0.2037 0.4249 1 1 0.01648 0.07144 0.1717 0.1618 0.7012 1.686 json
t17_x21_u6_b55 17 21 6 55 mod(R,add(D,nrm(P))) 116065 138899899 o2(x,o2(x,o1(x))) true 88527 88527 -0.01137 0.4746 0.2423 0.1045 0.3233 -1 0.9323 1.932 1 4.329 0.01514 0.002591 0.07708 0.7078 1 -0.0002181 0.03439 0.08965 0.01179 0.1086 1.409 2.097 0.1696 0.3289 1 1 0.02044 0.09918 0.2225 0.1955 0.9488 2.128 json
t17_x21_u6_b56 17 21 6 56 mod(R,sub(D,nrm(P))) 116066 138899900 o2(x,o2(x,o1(x))) true 88535 88535 -0.006345 0.4816 0.2534 0.1124 0.3353 -1 0.9323 1.932 1 4.39 0.01469 0.003141 0.07647 0.6477 1 0.0000359 0.03458 0.08718 0.01198 0.1095 1.431 2.097 0.1586 0.3076 1 1 0.02138 0.1062 0.2529 0.1901 0.9446 2.25 json
t17_x21_u6_b57 17 21 6 57 mod(R,mlt(D,nrm(P))) 116067 138899901 o2(x,o2(x,o1(x))) true 88543 88543 -0.1258 0.416 0.1822 0.1166 0.3415 -1 0.4297 1.43 1 2.801 0.01131 0.0001168 0.04774 0.9795 1 -0.0001939 0.02483 0.07704 0.009144 0.09562 2.003 1.02 0.09795 0.2129 1 1 0.013 0.04924 0.1801 0.1115 0.4222 1.544 json
t17_x21_u6_b58 17 21 6 58 mod(R,div(D,nrm(P))) 116068 138899902 o2(x,o2(x,o1(x))) true 88551 88551 -0.1362 0.4164 0.2477 0.141 0.3756 -1 0.8785 1.879 1 3.708 0.01898 0.0005353 0.0779 0.9451 1 -0.0002245 0.04269 0.1138 0.01345 0.116 1.489 1.204 0.1384 0.3026 1 1 0.01931 0.07459 0.2171 0.1369 0.5288 1.539 json
t17_x21_u6_b59 17 21 6 59 mod(R,pow(D,nrm(P))) 116069 138899903 o2(x,o2(x,o1(x))) true 88559 88559 -0.9468 0.02524 0.9685 0.06164 0.2483 -1 0.8975 1.897 1 0.5651 0.008936 0.001048 0.01076 0.79 1 -0.00001099 0.01962 0.01561 0.009873 0.09936 9.236 1.976 0.162 0.3183 1 1 0.01276 0.0542 0.1145 0.2069 0.8792 1.858 json
t17_x21_u6_b60 17 21 6 60 mod(R,mod(D,nrm(P))) 116070 138899904 o2(x,o2(x,o1(x))) true 88567 88567 -0.1271 0.4175 0.1967 0.1198 0.3462 -1 0.4312 1.431 1 3.051 0.01372 0.0001696 0.06155 0.9756 1 -0.000007699 0.03167 0.09995 0.0101 0.1005 1.633 1.027 0.1159 0.2643 1 1 0.01459 0.05399 0.1854 0.1218 0.4505 1.548 json
t17_x21_u6_b61 17 21 6 61 mod(R,lrg(D,nrm(P))) 116071 138899905 o2(x,o2(x,o1(x))) true 88575 88575 -0.7091 0.1561 0.8301 0.2805 0.5297 -1 0.9693 1.969 1 2.161 0.06638 0.003445 0.06897 0.9013 1 -0.0006157 0.1499 0.111 0.06503 0.255 3.697 2.691 0.2489 0.5343 1 1 0.06502 0.2025 0.2038 0.2318 0.722 0.7264 json
t17_x21_u6_b62 17 21 6 62 mod(R,eql(D,nrm(P))) 116072 138899906 o2(x,o2(x,o1(x))) true 88583 88583 -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
t17_x21_u6_b63 17 21 6 63 mod(R,min(D,nrm(P))) 116073 138899907 o2(x,o2(x,o1(x))) true 88591 88591 -0.06662 0.4438 0.2168 0.1089 0.33 -1 0.9158 1.916 1 3.927 0.01171 0.0007097 0.05665 0.8857 1 -0.00004107 0.02469 0.06701 0.009213 0.09598 1.694 1.027 0.114 0.2267 1 1 0.01511 0.07732 0.175 0.1387 0.7099 1.606 json
t17_x21_u6_b64 17 21 6 64 mod(R,dot(D,nrm(P))) 116074 138899908 o2(x,o2(x,o1(x))) true 88599 88599 -0.02416 0.463 0.1101 0.03201 0.1789 -1 0.4368 1.437 1 3.088 0.01082 0.01108 0.08642 -0.01216 1 0.00005013 0.0973 0.1624 0.01443 0.1201 1.39 1.723 0.6841 3.04 1 1 0.01646 0.0366 0.09099 0.5143 1.143 2.843 json
t17_x21_u6_b65 17 21 6 65 mod(R,dst(D,nrm(P))) 116075 138899909 o2(x,o2(x,o1(x))) true 88607 88607 -0.01305 0.4836 0.3607 0.1926 0.4388 -1 0.9809 1.981 1 4.792 0.01057 0.01124 0.07893 -0.03053 1 -0.000004416 0.05467 0.07175 0.01558 0.1248 1.582 2.097 0.1132 0.2839 1 1 0.02636 0.1723 0.3975 0.1369 0.8945 2.064 json
t17_x21_u6_b66 17 21 6 66 lrg(R,add(D,nrm(P))) 116076 138899910 o2(x,o2(x,o1(x))) true 88615 88615 0.4936 0.7925 0.4936 0.1897 0.4356 0 1 1 1 2.829 0.01552 0.001071 0.05254 0.8709 1 0.00001395 0.03 0.05192 0.01383 0.1176 2.238 0.9997 0.08745 0.1582 1 1 0.01954 0.0974 0.1877 0.103 0.5134 0.9896 json
t17_x21_u6_b67 17 21 6 67 lrg(R,sub(D,nrm(P))) 116077 138899911 o2(x,o2(x,o1(x))) true 88623 88623 0.4964 0.8309 0.4964 0.1773 0.4211 0 1 1 1 3.077 0.01615 0.001208 0.05962 0.8608 1 -0.00001219 0.03088 0.05471 0.0138 0.1175 1.97 0.9997 0.09786 0.1741 1 1 0.02053 0.09938 0.1777 0.1158 0.5604 1.002 json
t17_x21_u6_b68 17 21 6 68 lrg(R,mlt(D,nrm(P))) 116078 138899912 o2(x,o2(x,o1(x))) true 88631 88631 0.4963 0.929 0.4963 0.1499 0.3872 0 1 1 1 3.486 0.01419 0.002172 0.07042 0.7345 1 0.00007035 0.02531 0.05046 0.0114 0.1068 1.516 0.9997 0.1092 0.1688 1 1 0.0177 0.13 0.2805 0.1181 0.8669 1.871 json
t17_x21_u6_b69 17 21 6 69 lrg(R,div(D,nrm(P))) 116079 138899913 o2(x,o2(x,o1(x))) true 88639 88639 0.5238 0.9514 0.5238 0.1408 0.3752 0 1 1 1 3.555 0.03302 0.001691 0.09715 0.9025 1 -0.0001293 0.06381 0.09915 0.02527 0.159 1.636 0.9997 0.2465 0.4532 1 1 0.03621 0.1638 0.2384 0.2572 1.163 1.693 json
t17_x21_u6_b70 17 21 6 70 lrg(R,pow(D,nrm(P))) 116080 138899914 o2(x,o2(x,o1(x))) true 88647 88647 0.5329 0.9449 0.5329 0.1487 0.3856 0 1 1 1 3.398 0.05087 0.0004234 0.1066 0.9835 1 0.000002612 0.09421 0.1124 0.03993 0.1998 1.874 0.9997 0.345 0.6336 1 1 0.05324 0.2018 0.09813 0.358 1.357 0.6599 json
t17_x21_u6_b71 17 21 6 71 lrg(R,mod(D,nrm(P))) 116081 138899915 o2(x,o2(x,o1(x))) true 88655 88655 0.5286 0.9277 0.5286 0.1531 0.3913 0 1 1 1 3.422 0.02284 0.002052 0.08215 0.8351 1 0.00002109 0.04745 0.08007 0.01814 0.1347 1.639 0.9997 0.1626 0.31 1 1 0.02485 0.1303 0.2761 0.1623 0.851 1.804 json
t17_x21_u6_b72 17 21 6 72 lrg(R,lrg(D,nrm(P))) 116082 138899916 o2(x,o2(x,o1(x))) true 88663 88663 0.224 0.5478 0.224 0.1162 0.3408 0 1 1 1 2.432 0.006304 0.001259 0.03845 0.6671 1 -0.00002841 0.01042 0.02416 0.006084 0.078 2.029 0.9997 0.0651 0.08969 1 1 0.009148 0.0733 0.1615 0.07874 0.631 1.39 json
t17_x21_u6_b73 17 21 6 73 lrg(R,eql(D,nrm(P))) 116083 138899917 o2(x,o2(x,o1(x))) true 88671 88671 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
t17_x21_u6_b74 17 21 6 74 lrg(R,min(D,nrm(P))) 116084 138899918 o2(x,o2(x,o1(x))) true 88679 88679 0.6686 0.9707 0.6686 0.1496 0.3867 0 1 1 1 2.905 0.01054 0.001605 0.05187 0.7357 1 0.00004793 0.01886 0.03831 0.009454 0.09723 1.875 0.9997 0.0812 0.1261 1 1 0.01431 0.1004 0.2297 0.09565 0.671 1.536 json
t17_x21_u6_b75 17 21 6 75 lrg(R,dot(D,nrm(P))) 116085 138899919 o2(x,o2(x,o1(x))) true 88687 88687 0.5144 0.9416 0.5144 0.1471 0.3835 0 1 1 1 3.521 0.01447 0.01353 0.08538 0.03356 1 -0.0002435 0.07854 0.08871 0.0207 0.1439 1.685 1.414 0.1904 0.5341 1 1 0.02936 0.1563 0.2723 0.1997 1.063 1.852 json
t17_x21_u6_b76 17 21 6 76 lrg(R,dst(D,nrm(P))) 116086 138899920 o2(x,o2(x,o1(x))) true 88695 88695 0.05614 0.2598 0.05614 0.0269 0.164 0 0.9994 0.9994 1 1.143 0.00585 0.005682 0.02794 0.0146 1 -0.00006077 0.03565 0.03591 0.01076 0.1037 3.712 1.413 0.4287 1.325 1 1 0.01081 0.04192 0.05276 0.4017 1.558 1.962 json
t17_x21_u6_b77 17 21 6 77 eql(R,add(D,nrm(P))) 116087 138899921 o2(x,o2(x,o1(x))) true 88703 88703 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
t17_x21_u6_b78 17 21 6 78 eql(R,sub(D,nrm(P))) 116088 138899922 o2(x,o2(x,o1(x))) true 88711 88711 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
t17_x21_u6_b79 17 21 6 79 eql(R,mlt(D,nrm(P))) 116089 138899923 o2(x,o2(x,o1(x))) true 88719 88719 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
t17_x21_u6_b80 17 21 6 80 eql(R,div(D,nrm(P))) 116090 138899924 o2(x,o2(x,o1(x))) true 88727 88727 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
t17_x21_u6_b81 17 21 6 81 eql(R,pow(D,nrm(P))) 116091 138899925 o2(x,o2(x,o1(x))) true 88735 88735 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
t17_x21_u6_b82 17 21 6 82 eql(R,mod(D,nrm(P))) 116092 138899926 o2(x,o2(x,o1(x))) true 88743 88743 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
t17_x21_u6_b83 17 21 6 83 eql(R,lrg(D,nrm(P))) 116093 138899927 o2(x,o2(x,o1(x))) true 88751 88751 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
t17_x21_u6_b84 17 21 6 84 eql(R,eql(D,nrm(P))) 116094 138899928 o2(x,o2(x,o1(x))) true 88759 88759 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
t17_x21_u6_b85 17 21 6 85 eql(R,min(D,nrm(P))) 116095 138899929 o2(x,o2(x,o1(x))) true 88767 88767 0.00004008 0.0002289 0.00004008 0.00001031 0.00321 0 0.3282 0.3282 1 0.002722 0.00001454 1.509e-7 0.00006305 0.9795 0 1.17e-7 0.00004407 0.0001242 0.00001469 0.003832 60.78 0.3186 1.425 4.276 1 1 0 0 0.000007865 0 0 0.7631 json
t17_x21_u6_b86 17 21 6 86 eql(R,dot(D,nrm(P))) 116096 138899930 o2(x,o2(x,o1(x))) true 88775 88775 0.0000783 0.0004578 0.0000783 0.00004289 0.006549 0 0.9858 0.9858 1 0.004253 0.00008855 0.00007393 0.0002607 0.08994 1 -0.00001517 0.0008709 0.0006313 0.0001623 0.01274 48.87 1.394 3.788 20.31 1 1 0.000001294 0.000001525 0.000002234 0.03017 0.03555 0.0521 json
t17_x21_u6_b87 17 21 6 87 eql(R,dst(D,nrm(P))) 116097 138899931 o2(x,o2(x,o1(x))) true 88783 88783 0.0000233 0.0001373 0.0000233 0.000008898 0.002983 0 0.5202 0.5202 1 0.001004 0.00001837 0.00001837 0.00008211 0 0 0 0.0001837 0.0001924 0.00003672 0.00606 73.81 0.7357 4.128 20.64 1 1 0.000002327 0.000002327 0.00000607 0.2615 0.2615 0.6821 json
t17_x21_u6_b88 17 21 6 88 min(R,add(D,nrm(P))) 116098 138899932 o2(x,o2(x,o1(x))) true 88791 88791 -0.3958 0.2115 0.5316 0.2149 0.4636 -1 0.9256 1.926 1 4.609 0.002049 0.001357 0.04667 0.2032 1 -0.0001208 0.0003288 0.01391 0.001227 0.03503 0.7505 0.2089 0.01584 0.00153 1 1 0.00673 0.08064 0.2157 0.03131 0.3752 1.004 json
t17_x21_u6_b89 17 21 6 89 min(R,sub(D,nrm(P))) 116099 138899933 o2(x,o2(x,o1(x))) true 88799 88799 -0.3853 0.2421 0.5422 0.2375 0.4874 -1 0.9319 1.932 1 4.608 0.002222 0.001367 0.04789 0.2383 1 0.0001296 0.0003698 0.01455 0.001295 0.03599 0.7514 0.2469 0.01511 0.001557 1 1 0.007386 0.08291 0.1989 0.03109 0.349 0.8375 json