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_x15_u4_b114 17 15 4 114 dst(D,pow(R,cil(P))) 110800 138657150 o2(x,o2(x,o1(x))) true 46407 46407 -0.9766 0.01172 1 0.0463 0.2152 -1 1 2 1 0.09198 0.006047 0.004031 0.005002 0.2 1 0 0.02116 0.01008 0.01005 0.1002 20.04 2.828 0.2177 0.4571 1 1 0.01773 0.07091 0.1684 0.3829 1.532 3.638 json
t17_x15_u4_b115 17 15 4 115 dst(D,mod(R,cil(P))) 110801 138657151 o2(x,o2(x,o1(x))) true 46415 46415 0.471 0.7656 0.9398 0.6771 0.8228 -1 1 2 1 2.183 0.026 0.02614 0.04259 -0.002844 1 -0.00003458 0.1031 0.06044 0.0503 0.2243 5.266 2.828 0.07701 0.1523 1 1 0.06478 0.2697 1.071 0.09567 0.3983 1.582 json
t17_x15_u4_b116 17 15 4 116 dst(D,lrg(R,cil(P))) 110802 138657152 o2(x,o2(x,o1(x))) true 46423 46423 0.9265 1 0.9265 0.03338 0.1827 0.04446 1 0.9555 1 1.395 0.0006641 0.0006421 0.01652 0.01684 1 -0.0001228 0.0002344 0.006375 0.001034 0.03215 1.946 0.1349 0.03914 0.007023 1 1 0.002637 0.02639 0.04492 0.079 0.7907 1.346 json
t17_x15_u4_b117 17 15 4 117 dst(D,eql(R,cil(P))) 110803 138657153 o2(x,o2(x,o1(x))) true 46431 46431 0.4439 1 0.4439 0.02504 0.1582 0.04473 0.7026 0.6579 1 3.252 0.001981 0.001981 0.05914 2.938e-7 1 -0.0006857 0.0006739 0.01958 0.000465 0.02156 0.3646 0.09377 0.1583 0.02692 1 1 0.007608 0.05068 0 0.3039 2.024 0 json
t17_x15_u4_b118 17 15 4 118 dst(D,min(R,cil(P))) 110804 138657154 o2(x,o2(x,o1(x))) true 46439 46439 0.9588 1 0.9588 0.01369 0.117 0.07965 1 0.9204 1 1.037 0.0003584 0.0003672 0.01011 -0.0121 1 0.00001052 0.0001997 0.004403 0.0006234 0.02497 2.469 0.2341 0.05298 0.01459 1 1 0.001116 0.01039 0.01968 0.08149 0.7584 1.437 json
t17_x15_u4_b119 17 15 4 119 dst(D,dot(R,cil(P))) 110805 138657155 o2(x,o2(x,o1(x))) true 46447 46447 0.9768 1 0.9768 0.01099 0.1049 0.03068 1 0.9693 1 0.5407 0.0006185 0.0008424 0.008719 -0.1533 1 -0.0000854 0.0009696 0.006592 0.001385 0.03722 4.269 0.4617 0.1329 0.08819 1 1 0.003566 0.02195 0.02911 0.3243 1.996 2.648 json
t17_x15_u4_b120 17 15 4 120 dst(D,dst(R,cil(P))) 110806 138657156 o2(x,o2(x,o1(x))) true 46455 46455 1 1 1 2.169e-8 0.0001473 0.9726 1 0.02741 1 0 2.321e-8 2.933e-8 0.000002272 -0.1167 0 7.509e-12 1.81e-7 0.000004433 5.253e-8 0.0002292 100.9 0.03877 2.422 8.345 1 1 7.875e-8 7.875e-8 7.875e-8 3.631 3.631 3.631 json
t17_x15_u5_b0 17 15 5 0 add(D,add(R,sgn(P))) 110807 138657237 o2(x,o2(x,o1(x))) true 46463 46463 0.006731 0.4966 0.7605 0.6629 0.8142 -1 1 2 1 4.004 0.002662 0.001744 0.04404 0.2084 1 -0.0000276 0.0009456 0.01594 0.002466 0.04966 1.128 0.2738 0.006646 0.001426 1 1 0.008848 0.09279 0.3238 0.01335 0.14 0.4884 json
t17_x15_u5_b1 17 15 5 1 add(D,sub(R,sgn(P))) 110808 138657238 o2(x,o2(x,o1(x))) true 46471 46471 -0.0008245 0.4956 0.7891 0.7019 0.8378 -1 1 2 1 3.77 0.003204 0.001526 0.04174 0.3547 1 0.00005004 0.001077 0.01648 0.002987 0.05465 1.309 0.3876 0.006739 0.001534 1 1 0.009931 0.09752 0.3164 0.01415 0.1389 0.4508 json
t17_x15_u5_b2 17 15 5 2 add(D,mlt(R,sgn(P))) 110809 138657239 o2(x,o2(x,o1(x))) true 46479 46479 -0.02399 0.4732 0.381 0.2129 0.4615 -1 1 2 1 4.863 0.004072 0.003006 0.07224 0.1506 1 -0.00003195 0.0005867 0.01858 0.00186 0.04312 0.5969 0.2561 0.03324 0.002755 1 1 0.01361 0.156 0.3616 0.06394 0.7325 1.698 json
t17_x15_u5_b3 17 15 5 3 add(D,div(R,sgn(P))) 110810 138657240 o2(x,o2(x,o1(x))) true 46487 46487 -0.1521 0.4076 0.4735 0.3017 0.5492 -1 1 2 1 4.755 0.01481 0.002786 0.07306 0.6834 1 -0.0000302 0.02261 0.03334 0.01226 0.1107 1.516 1.974 0.05834 0.07495 1 1 0.02616 0.1951 0.4969 0.08671 0.6466 1.647 json
t17_x15_u5_b4 17 15 5 4 add(D,pow(R,sgn(P))) 110811 138657241 o2(x,o2(x,o1(x))) true 46495 46495 -0.8571 0.07422 0.9944 0.2565 0.5064 -1 1 2 1 0.4987 0.02292 0.02268 0.02448 0.005271 1 0.00001274 0.0953 0.0478 0.04498 0.2121 8.664 2.828 0.1778 0.3716 1 1 0.04363 0.1827 0.6069 0.1701 0.7126 2.366 json
t17_x15_u5_b5 17 15 5 5 add(D,mod(R,sgn(P))) 110812 138657242 o2(x,o2(x,o1(x))) true 46503 46503 -0.1199 0.4323 0.474 0.3114 0.5581 -1 1 2 1 4.757 0.01734 0.002787 0.07463 0.723 1 0.00004893 0.02777 0.03602 0.01456 0.1206 1.617 1.974 0.06462 0.08917 1 1 0.0286 0.2022 0.5049 0.09184 0.6493 1.621 json
t17_x15_u5_b6 17 15 5 6 add(D,lrg(R,sgn(P))) 110813 138657243 o2(x,o2(x,o1(x))) true 46511 46511 0.4732 0.747 0.5197 0.2303 0.4799 -0.1454 1 1.145 1 3.108 0.001715 0.0001036 0.03121 0.8861 1 0.0001526 0.0003549 0.01484 0.0008444 0.02906 0.931 0.1713 0.007896 0.001541 1 1 0.003911 0.03228 0.08375 0.01699 0.1402 0.3637 json
t17_x15_u5_b7 17 15 5 7 add(D,eql(R,sgn(P))) 110814 138657244 o2(x,o2(x,o1(x))) true 46519 46519 0 0.5 0.09436 0.01082 0.104 -0.1454 0.1454 0.2908 1 2.561 0.001632 0 0.0361 1 1 0 0.0002563 0.01459 0.0003304 0.01818 0.5036 0.06192 0.1508 0.02368 1 1 0.003151 0.02183 0 0.2912 2.017 0 json
t17_x15_u5_b8 17 15 5 8 add(D,min(R,sgn(P))) 110815 138657245 o2(x,o2(x,o1(x))) true 46527 46527 -0.4738 0.2307 0.6506 0.3135 0.5599 -1 1 2 1 4.121 0.002664 0.001462 0.04803 0.2911 1 -0.000002348 0.000437 0.01563 0.00182 0.04266 0.8881 0.2511 0.01316 0.001394 1 1 0.0081 0.09239 0.2584 0.02584 0.2947 0.8242 json
t17_x15_u5_b9 17 15 5 9 add(D,dot(R,sgn(P))) 110816 138657246 o2(x,o2(x,o1(x))) true 46535 46535 -0.04874 0.4661 0.5218 0.3764 0.6135 -1 1 2 1 4.835 0.006399 0.006465 0.08788 -0.005149 1 -0.00006848 0.001789 0.0246 0.005143 0.07171 0.8161 0.4405 0.03418 0.004752 1 1 0.02378 0.27 0.7133 0.06316 0.7173 1.895 json
t17_x15_u5_b10 17 15 5 10 add(D,dst(R,sgn(P))) 110817 138657247 o2(x,o2(x,o1(x))) true 46543 46543 0.9782 1 0.9782 0.007066 0.08406 0.2124 1 0.7876 1 0.6523 0.0004586 0.0002557 0.007769 0.2841 1 -0.00001426 0.0003435 0.005026 0.0006541 0.02558 3.292 0.2674 0.1011 0.04861 1 1 0.0009528 0.006488 0.01094 0.1348 0.9181 1.549 json
t17_x15_u5_b11 17 15 5 11 sub(D,add(R,sgn(P))) 110818 138657248 o2(x,o2(x,o1(x))) true 46551 46551 -0.005928 0.5031 0.7664 0.6681 0.8174 -1 1 2 1 3.976 0.003249 0.001718 0.04485 0.3081 1 -0.00002156 0.001109 0.01728 0.002957 0.05438 1.212 0.3664 0.007434 0.00166 1 1 0.01016 0.09844 0.3193 0.01521 0.1473 0.4779 json
t17_x15_u5_b12 17 15 5 12 sub(D,sub(R,sgn(P))) 110819 138657249 o2(x,o2(x,o1(x))) true 46559 46559 0.00001005 0.5042 0.7843 0.6972 0.835 -1 1 2 1 3.799 0.002536 0.001547 0.04049 0.2422 1 -3.586e-8 0.0008843 0.01473 0.002443 0.04942 1.221 0.2788 0.005857 0.001268 1 1 0.008324 0.08915 0.3213 0.01194 0.1279 0.4609 json
t17_x15_u5_b13 17 15 5 13 sub(D,mlt(R,sgn(P))) 110820 138657250 o2(x,o2(x,o1(x))) true 46567 46567 0.02392 0.5278 0.381 0.2158 0.4646 -1 1 2 1 4.869 0.004201 0.003007 0.07289 0.1656 1 0.0000294 0.000603 0.019 0.001895 0.04353 0.5972 0.2845 0.0334 0.002794 1 1 0.01365 0.1565 0.362 0.06325 0.7251 1.677 json
t17_x15_u5_b14 17 15 5 14 sub(D,div(R,sgn(P))) 110821 138657251 o2(x,o2(x,o1(x))) true 46575 46575 -0.098 0.4681 0.4726 0.3147 0.5609 -1 1 2 1 4.768 0.01298 0.002787 0.07209 0.6464 1 0.00002965 0.01939 0.03151 0.01057 0.1028 1.426 1.875 0.0501 0.06161 1 1 0.02414 0.1862 0.5074 0.07673 0.5918 1.613 json
t17_x15_u5_b15 17 15 5 15 sub(D,pow(R,sgn(P))) 110822 138657252 o2(x,o2(x,o1(x))) true 46583 46583 -0.9954 0 0.9954 0.001617 0.04022 -1 -0.2328 0.7672 1 0.1855 0.0002788 0.0001699 0.001745 0.2426 1 0.000005508 0.0008981 0.002258 0.0004459 0.02112 12.1 0.7672 0.2774 0.5552 1 1 0.0002827 0.001064 0.002721 0.1748 0.6577 1.683 json
t17_x15_u5_b16 17 15 5 16 sub(D,mod(R,sgn(P))) 110823 138657253 o2(x,o2(x,o1(x))) true 46591 46591 -0.1301 0.4434 0.4721 0.3063 0.5535 -1 1 2 1 4.766 0.01045 0.002786 0.07053 0.5791 1 -0.00004949 0.01423 0.02884 0.008264 0.09091 1.289 1.916 0.04322 0.04644 1 1 0.0217 0.1791 0.4995 0.07084 0.5845 1.631 json
t17_x15_u5_b17 17 15 5 17 sub(D,lrg(R,sgn(P))) 110824 138657254 o2(x,o2(x,o1(x))) true 46599 46599 -0.4745 0.2335 0.5184 0.223 0.4723 -1 0.1454 1.145 1 3.237 0.001313 0.000102 0.02979 0.8559 1 0.000005705 0.0002737 0.01341 0.0005275 0.02297 0.7709 0.1324 0.006343 0.001227 1 1 0.002902 0.02521 0.08169 0.01301 0.1131 0.3663 json
t17_x15_u5_b18 17 15 5 18 sub(D,eql(R,sgn(P))) 110825 138657255 o2(x,o2(x,o1(x))) true 46607 46607 0 0.5 0.09436 0.01082 0.104 -0.1454 0.1454 0.2908 1 2.561 0.001632 0 0.0361 1 1 0 0.0002563 0.01459 0.0003304 0.01818 0.5036 0.06192 0.1508 0.02368 1 1 0.003151 0.02183 0 0.2912 2.017 0 json
t17_x15_u5_b19 17 15 5 19 sub(D,min(R,sgn(P))) 110826 138657256 o2(x,o2(x,o1(x))) true 46615 46615 0.4723 0.7695 0.6533 0.3211 0.5666 -1 1 2 1 4.079 0.003088 0.001463 0.04947 0.3572 1 0.0001568 0.0005178 0.01695 0.002104 0.04587 0.9272 0.2495 0.01417 0.001613 1 1 0.00897 0.09804 0.2597 0.02794 0.3054 0.8088 json
t17_x15_u5_b20 17 15 5 20 sub(D,dot(R,sgn(P))) 110827 138657257 o2(x,o2(x,o1(x))) true 46623 46623 0.04852 0.5306 0.5216 0.3767 0.6138 -1 1 2 1 4.831 0.006451 0.006458 0.08795 -0.0004989 1 0.0000411 0.001801 0.02474 0.005174 0.07193 0.8179 0.4213 0.03427 0.00478 1 1 0.02381 0.2709 0.7145 0.06321 0.7192 1.897 json
t17_x15_u5_b21 17 15 5 21 sub(D,dst(R,sgn(P))) 110828 138657258 o2(x,o2(x,o1(x))) true 46631 46631 -0.9783 0 0.9783 0.006927 0.08323 -1 -0.226 0.774 1 0.6562 0.0004447 0.0002568 0.007649 0.2679 1 0.00005396 0.0003276 0.004884 0.000643 0.02536 3.315 0.2504 0.1013 0.0473 1 1 0.0009597 0.006381 0.01109 0.1385 0.9212 1.6 json
t17_x15_u5_b22 17 15 5 22 mlt(D,add(R,sgn(P))) 110829 138657259 o2(x,o2(x,o1(x))) true 46639 46639 -0.01637 0.4656 0.1275 0.0278 0.1667 -0.678 0.5395 1.218 1 3.439 0.002344 0.0002198 0.04322 0.8286 1 0.000279 0.0003311 0.01512 0.0006964 0.02639 0.6106 0.1259 0.09224 0.01191 1 1 0.005067 0.04534 0.03698 0.1823 1.631 1.33 json
t17_x15_u5_b23 17 15 5 23 mlt(D,sub(R,sgn(P))) 110830 138657260 o2(x,o2(x,o1(x))) true 46647 46647 0.01939 0.5402 0.1319 0.02813 0.1677 -0.4898 0.7203 1.21 1 3.461 0.002464 0.0002198 0.04468 0.8362 1 -0.0003537 0.0003552 0.0158 0.0006874 0.02622 0.5868 0.1288 0.09542 0.01263 1 1 0.005129 0.04555 0.03552 0.1824 1.619 1.263 json
t17_x15_u5_b24 17 15 5 24 mlt(D,mlt(R,sgn(P))) 110831 138657261 o2(x,o2(x,o1(x))) true 46655 46655 -0.002704 0.4874 0.08572 0.01365 0.1168 -0.4889 0.4311 0.92 1 2.934 0.0007195 0.0002054 0.02619 0.5559 1 0.00006164 0.0000957 0.007644 0.0002388 0.01545 0.59 0.08276 0.06778 0.007014 1 1 0.001745 0.01924 0.0262 0.1279 1.41 1.92 json
t17_x15_u5_b25 17 15 5 25 mlt(D,div(R,sgn(P))) 110832 138657262 o2(x,o2(x,o1(x))) true 46663 46663 -0.1242 0.4396 0.2025 0.1222 0.3495 -1 0.4311 1.431 1 3.145 0.008705 0.0001887 0.03162 0.9576 1 0.00005659 0.01596 0.02279 0.007894 0.08885 2.81 1.029 0.0728 0.1306 1 1 0.01233 0.06279 0.194 0.1009 0.514 1.588 json
t17_x15_u5_b26 17 15 5 26 mlt(D,pow(R,sgn(P))) 110833 138657263 o2(x,o2(x,o1(x))) true 46671 46671 -0.9207 0.04138 0.9441 0.08893 0.2982 -1 1 2 1 0.6535 0.007668 0.008201 0.01775 -0.03356 1 -0.00003267 0.03188 0.02866 0.01555 0.1247 7.027 2.211 0.1784 0.3585 1 1 0.01739 0.07779 0.233 0.1956 0.8748 2.62 json
t17_x15_u5_b27 17 15 5 27 mlt(D,mod(R,sgn(P))) 110834 138657264 o2(x,o2(x,o1(x))) true 46679 46679 -0.1226 0.4471 0.2025 0.1226 0.3501 -1 0.4889 1.489 1 3.143 0.008624 0.0001887 0.03158 0.9572 1 -0.00003732 0.01597 0.0228 0.007815 0.0884 2.799 1.029 0.0719 0.1303 1 1 0.01216 0.06014 0.1943 0.09925 0.4907 1.586 json
t17_x15_u5_b28 17 15 5 28 mlt(D,lrg(R,sgn(P))) 110835 138657265 o2(x,o2(x,o1(x))) true 46687 46687 0.008939 0.3034 0.05255 0.006658 0.0816 -0.1454 0.2729 0.4183 1 2.138 0.0008429 0.000007984 0.01898 0.9812 1 -0.0001582 0.0001278 0.007452 0.0004906 0.02215 1.167 0.0622 0.1278 0.01919 1 1 0.00165 0.01215 0.004067 0.2478 1.825 0.6109 json
t17_x15_u5_b29 17 15 5 29 mlt(D,eql(R,sgn(P))) 110836 138657266 o2(x,o2(x,o1(x))) true 46695 46695 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_x15_u5_b30 17 15 5 30 mlt(D,min(R,sgn(P))) 110837 138657267 o2(x,o2(x,o1(x))) true 46703 46703 -0.009536 0.4718 0.09494 0.01375 0.1173 -0.4163 0.4218 0.838 1 2.977 0.001193 0.0001187 0.0318 0.819 1 0.0001703 0.0001727 0.01103 0.0003005 0.01733 0.545 0.08069 0.09539 0.01256 1 1 0.002486 0.02212 0.01813 0.1808 1.609 1.318 json
t17_x15_u5_b31 17 15 5 31 mlt(D,dot(R,sgn(P))) 110838 138657268 o2(x,o2(x,o1(x))) true 46711 46711 -0.001682 0.4995 0.1293 0.0322 0.1794 -0.7837 0.8198 1.604 1 3.501 0.001695 0.0005096 0.03989 0.5376 1 0.00004194 0.0002277 0.0116 0.0006134 0.02477 0.621 0.1377 0.06846 0.007073 1 1 0.004124 0.04519 0.06577 0.1281 1.403 2.043 json
t17_x15_u5_b32 17 15 5 32 mlt(D,dst(R,sgn(P))) 110839 138657269 o2(x,o2(x,o1(x))) true 46719 46719 0.0009304 0.5 0.1728 0.04239 0.2059 -0.662 0.6286 1.291 1 3.742 0.005041 0.0002102 0.06387 0.9199 1 -0.00002534 0.0007776 0.02455 0.001172 0.03423 0.536 0.1704 0.1239 0.01834 1 1 0.009936 0.07544 0.02649 0.2344 1.78 0.6249 json
t17_x15_u5_b33 17 15 5 33 div(D,add(R,sgn(P))) 110840 138657270 o2(x,o2(x,o1(x))) true 46727 46727 -0.03262 0.4675 0.3097 0.202 0.4495 -1 1 2 1 4.283 0.02131 0.003973 0.09042 0.6857 1 0.0005127 0.02094 0.04821 0.0171 0.1308 1.446 2.132 0.1251 0.1036 1 1 0.03603 0.2645 0.3246 0.1783 1.309 1.607 json
t17_x15_u5_b34 17 15 5 34 div(D,sub(R,sgn(P))) 110841 138657271 o2(x,o2(x,o1(x))) true 46735 46735 0.03093 0.5289 0.3029 0.2012 0.4485 -1 1 2 1 4.206 0.02082 0.004088 0.0863 0.6717 1 -0.0001301 0.02235 0.04712 0.01746 0.1321 1.531 2.112 0.1238 0.1111 1 1 0.03638 0.263 0.3672 0.1808 1.307 1.825 json
t17_x15_u5_b35 17 15 5 35 div(D,mlt(R,sgn(P))) 110842 138657272 o2(x,o2(x,o1(x))) true 46743 46743 -0.1182 0.4375 0.5533 0.4412 0.6642 -1 1 2 1 4.27 0.03692 0.008522 0.1177 0.625 1 -0.00009726 0.04946 0.07572 0.03159 0.1777 1.509 2.033 0.103 0.1121 1 1 0.05959 0.4307 0.7798 0.1351 0.9762 1.768 json
t17_x15_u5_b36 17 15 5 36 div(D,div(R,sgn(P))) 110843 138657273 o2(x,o2(x,o1(x))) true 46751 46751 0.0007382 0.4888 0.4713 0.3595 0.5996 -1 1 2 1 4.52 0.03179 0.009592 0.1216 0.5364 1 -0.00008852 0.03772 0.06742 0.02659 0.1631 1.341 2.033 0.1151 0.1049 1 1 0.05938 0.4561 0.7131 0.1652 1.269 1.984 json
t17_x15_u5_b37 17 15 5 37 div(D,pow(R,sgn(P))) 110844 138657274 o2(x,o2(x,o1(x))) true 46759 46759 -0.9277 0.03271 0.9335 0.06672 0.2583 -1 0.6191 1.619 1 0.6078 0.006325 0.006149 0.01465 0.01405 1 -0.00001101 0.02589 0.02549 0.01227 0.1108 7.559 1.619 0.1869 0.388 1 1 0.01124 0.04511 0.1481 0.1685 0.676 2.219 json
t17_x15_u5_b38 17 15 5 38 div(D,mod(R,sgn(P))) 110845 138657275 o2(x,o2(x,o1(x))) true 46767 46767 -0.1211 0.4395 0.5533 0.4406 0.6638 -1 1 2 1 4.27 0.03575 0.008522 0.1172 0.615 1 -0.0001221 0.04643 0.07422 0.03054 0.1747 1.491 2.028 0.1005 0.1054 1 1 0.0583 0.4202 0.7777 0.1323 0.9537 1.765 json
t17_x15_u5_b39 17 15 5 39 div(D,lrg(R,sgn(P))) 110846 138657276 o2(x,o2(x,o1(x))) true 46775 46775 -0.5469 0.2266 0.5896 0.2526 0.5026 -1 0.1454 1.145 1 2.154 0.004453 0.001528 0.02143 0.4891 1 -0.0001582 0.01145 0.0175 0.005521 0.07431 3.468 1.37 0.02368 0.04531 1 1 0.008214 0.0349 0.1098 0.03251 0.1382 0.4345 json
t17_x15_u5_b40 17 15 5 40 div(D,eql(R,sgn(P))) 110847 138657277 o2(x,o2(x,o1(x))) true 46783 46783 -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_x15_u5_b41 17 15 5 41 div(D,min(R,sgn(P))) 110848 138657278 o2(x,o2(x,o1(x))) true 46791 46791 -0.07968 0.4546 0.3497 0.2506 0.5006 -1 1 2 1 4.034 0.02192 0.006231 0.08226 0.5573 1 0.00005059 0.03325 0.05207 0.02139 0.1462 1.778 2.028 0.1123 0.1327 1 1 0.03656 0.2668 0.4697 0.1459 1.065 1.874 json
t17_x15_u5_b42 17 15 5 42 div(D,dot(R,sgn(P))) 110849 138657279 o2(x,o2(x,o1(x))) true 46799 46799 -0.03214 0.478 0.4527 0.3425 0.5853 -1 1 2 1 4.472 0.02754 0.008468 0.1123 0.5296 1 -0.00008488 0.03052 0.06226 0.0234 0.153 1.363 2.01 0.1051 0.0891 1 1 0.06111 0.455 0.6659 0.1784 1.328 1.944 json
t17_x15_u5_b43 17 15 5 43 div(D,dst(R,sgn(P))) 110850 138657280 o2(x,o2(x,o1(x))) true 46807 46807 -0.0009327 0.4993 0.08704 0.01588 0.126 -0.7671 0.769 1.536 1 2.875 0.001413 0.0001477 0.03153 0.8108 1 0.00003137 0.0002061 0.0116 0.0005663 0.0238 0.7546 0.1987 0.09829 0.01298 1 1 0.00238 0.02006 0.01421 0.1499 1.263 0.8952 json
t17_x15_u5_b44 17 15 5 44 pow(D,add(R,sgn(P))) 110851 138657281 o2(x,o2(x,o1(x))) true 46815 46815 -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_x15_u5_b45 17 15 5 45 pow(D,sub(R,sgn(P))) 110852 138657282 o2(x,o2(x,o1(x))) true 46823 46823 -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_x15_u5_b46 17 15 5 46 pow(D,mlt(R,sgn(P))) 110853 138657283 o2(x,o2(x,o1(x))) true 46831 46831 -0.8788 0.0625 0.9962 0.2218 0.4709 -1 1 2 1 0.4211 0.02957 0.00006939 0.01632 0.9953 1 -0.00002483 0.05903 0.03073 0.02936 0.1713 10.5 2 0.1336 0.2662 1 1 0.03899 0.1605 0.3199 0.1758 0.7239 1.443 json
t17_x15_u5_b47 17 15 5 47 pow(D,div(R,sgn(P))) 110854 138657284 o2(x,o2(x,o1(x))) true 46839 46839 -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_x15_u5_b48 17 15 5 48 pow(D,pow(R,sgn(P))) 110855 138657285 o2(x,o2(x,o1(x))) true 46847 46847 -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_x15_u5_b49 17 15 5 49 pow(D,mod(R,sgn(P))) 110856 138657286 o2(x,o2(x,o1(x))) true 46855 46855 -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_x15_u5_b50 17 15 5 50 pow(D,lrg(R,sgn(P))) 110857 138657287 o2(x,o2(x,o1(x))) true 46863 46863 0.02875 0.5234 0.9819 0.9743 0.9871 -1 1 2 1 1.332 0.006457 0.002161 0.009419 0.4985 1 0.000002037 0.01669 0.01241 0.00853 0.09236 9.806 2.828 0.008845 0.01713 1 1 0.01343 0.07054 0.3594 0.01378 0.07239 0.3689 json
t17_x15_u5_b51 17 15 5 51 pow(D,eql(R,sgn(P))) 110858 138657288 o2(x,o2(x,o1(x))) true 46871 46871 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_x15_u5_b52 17 15 5 52 pow(D,min(R,sgn(P))) 110859 138657289 o2(x,o2(x,o1(x))) true 46879 46879 -0.9688 0.01563 1 0.06152 0.248 -1 1 2 1 0.1161 0.008062 0.006047 0.006999 0.1429 1 0 0.02973 0.01411 0.01407 0.1186 16.94 2.828 0.2293 0.4832 1 1 0.01928 0.07712 0.1808 0.3134 1.253 2.939 json
t17_x15_u5_b53 17 15 5 53 pow(D,dot(R,sgn(P))) 110860 138657290 o2(x,o2(x,o1(x))) true 46887 46887 -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_x15_u5_b54 17 15 5 54 pow(D,dst(R,sgn(P))) 110861 138657291 o2(x,o2(x,o1(x))) true 46895 46895 -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_x15_u5_b55 17 15 5 55 mod(D,add(R,sgn(P))) 110862 138657292 o2(x,o2(x,o1(x))) true 46903 46903 -0.001079 0.499 0.109 0.01587 0.126 -0.2728 0.2728 0.5456 1 3 0.003342 0.00007514 0.04458 0.956 1 -0.00002354 0.003973 0.03332 0.001431 0.03783 0.8486 0.4316 0.2153 0.2503 1 1 0.005144 0.03032 0.008994 0.3241 1.91 0.5666 json
t17_x15_u5_b56 17 15 5 56 mod(D,sub(R,sgn(P))) 110863 138657293 o2(x,o2(x,o1(x))) true 46911 46911 0.001649 0.5045 0.1096 0.01599 0.1264 -0.2719 0.2728 0.5447 1 3.005 0.003282 0.00007276 0.04429 0.9566 1 -0.00002069 0.003763 0.0322 0.001393 0.03733 0.8427 0.362 0.2098 0.2354 1 1 0.005181 0.03014 0.01094 0.3241 1.885 0.6843 json
t17_x15_u5_b57 17 15 5 57 mod(D,mlt(R,sgn(P))) 110864 138657294 o2(x,o2(x,o1(x))) true 46919 46919 -0.1248 0.4368 0.2234 0.1249 0.3534 -1 0.2728 1.273 1 3.237 0.01193 0.00009783 0.05194 0.9837 1 0.000004157 0.02187 0.05711 0.009329 0.09659 1.86 1.031 0.09631 0.1751 1 1 0.0157 0.07039 0.1824 0.1257 0.5636 1.461 json
t17_x15_u5_b58 17 15 5 58 mod(D,div(R,sgn(P))) 110865 138657295 o2(x,o2(x,o1(x))) true 46927 46927 -0.1248 0.4368 0.2234 0.1249 0.3534 -1 0.2728 1.273 1 3.237 0.01193 0.00009783 0.05194 0.9837 1 0.000004157 0.02187 0.05711 0.009329 0.09659 1.86 1.031 0.09631 0.1751 1 1 0.0157 0.07039 0.1824 0.1257 0.5636 1.461 json
t17_x15_u5_b59 17 15 5 59 mod(D,pow(R,sgn(P))) 110866 138657296 o2(x,o2(x,o1(x))) true 46935 46935 -0.9257 0.03717 0.9333 0.06988 0.2644 -1 0.2406 1.241 1 0.5844 0.006382 0.006152 0.01481 0.01838 1 -0.000005881 0.02598 0.02593 0.01232 0.111 7.495 1.37 0.1794 0.3717 1 1 0.01202 0.05077 0.1647 0.172 0.7265 2.357 json
t17_x15_u5_b60 17 15 5 60 mod(D,mod(R,sgn(P))) 110867 138657297 o2(x,o2(x,o1(x))) true 46943 46943 -0.1248 0.4368 0.2234 0.1249 0.3534 -1 0.2728 1.273 1 3.237 0.01193 0.00009783 0.05194 0.9837 1 0.000004157 0.02187 0.05711 0.009329 0.09659 1.86 1.031 0.09631 0.1751 1 1 0.0157 0.07039 0.1824 0.1257 0.5636 1.461 json
t17_x15_u5_b61 17 15 5 61 mod(D,lrg(R,sgn(P))) 110868 138657298 o2(x,o2(x,o1(x))) true 46951 46951 -0.5469 0.2266 0.5896 0.2526 0.5026 -1 0.1454 1.145 1 2.154 0.004453 0.001528 0.02143 0.4891 1 -0.0001582 0.01145 0.0175 0.005521 0.07431 3.468 1.37 0.02368 0.04531 1 1 0.008214 0.0349 0.1098 0.03251 0.1382 0.4345 json
t17_x15_u5_b62 17 15 5 62 mod(D,eql(R,sgn(P))) 110869 138657299 o2(x,o2(x,o1(x))) true 46959 46959 -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_x15_u5_b63 17 15 5 63 mod(D,min(R,sgn(P))) 110870 138657300 o2(x,o2(x,o1(x))) true 46967 46967 -0.07746 0.464 0.175 0.08563 0.2926 -1 0.2722 1.272 1 3.116 0.007902 0.001632 0.04661 0.6576 1 0.00001765 0.01661 0.04104 0.007361 0.0858 1.841 1.415 0.1113 0.1939 1 1 0.01417 0.06394 0.1565 0.1655 0.7467 1.828 json
t17_x15_u5_b64 17 15 5 64 mod(D,dot(R,sgn(P))) 110871 138657301 o2(x,o2(x,o1(x))) true 46975 46975 -0.01712 0.4852 0.1282 0.03304 0.1818 -1 0.272 1.272 1 3.156 0.00505 0.001122 0.04897 0.6364 1 0.000004843 0.009557 0.04337 0.003773 0.06143 1.254 1.415 0.1868 0.2893 1 1 0.008988 0.04464 0.06877 0.2721 1.351 2.082 json
t17_x15_u5_b65 17 15 5 65 mod(D,dst(R,sgn(P))) 110872 138657302 o2(x,o2(x,o1(x))) true 46983 46983 0.0001591 0.4999 0.09829 0.01197 0.1094 -0.2724 0.2724 0.5448 1 2.693 0.002019 0.000008619 0.03802 0.9915 1 -0.000005335 0.0009377 0.0177 0.0005829 0.02414 0.6349 0.2866 0.1695 0.07835 1 1 0.003472 0.02329 0.0007338 0.2901 1.946 0.06132 json
t17_x15_u5_b66 17 15 5 66 lrg(D,add(R,sgn(P))) 110873 138657303 o2(x,o2(x,o1(x))) true 46991 46991 0.4974 0.7371 0.4974 0.2057 0.4536 0 1 1 1 2.491 0.01048 0.0005319 0.03815 0.9034 1 0.000009044 0.02027 0.03732 0.009556 0.09775 2.562 0.9994 0.05351 0.09852 1 1 0.01095 0.05264 0.1218 0.05323 0.2559 0.5919 json
t17_x15_u5_b67 17 15 5 67 lrg(D,sub(R,sgn(P))) 110874 138657304 o2(x,o2(x,o1(x))) true 46999 46999 0.4965 0.6932 0.4965 0.2122 0.4606 0 1 1 1 2.323 0.01056 0.0005014 0.03486 0.9093 1 0.00007302 0.02048 0.03653 0.009848 0.09924 2.847 0.9997 0.05213 0.09652 1 1 0.01283 0.05744 0.1348 0.06045 0.2707 0.6353 json
t17_x15_u5_b68 17 15 5 68 lrg(D,mlt(R,sgn(P))) 110875 138657305 o2(x,o2(x,o1(x))) true 47007 47007 0.5182 0.9407 0.5182 0.1433 0.3786 0 1 1 1 3.556 0.0237 0.002 0.08536 0.8444 1 -0.0002172 0.04482 0.07649 0.01841 0.1357 1.59 0.9997 0.1793 0.3127 1 1 0.02843 0.1473 0.2566 0.1983 1.027 1.79 json
t17_x15_u5_b69 17 15 5 69 lrg(D,div(R,sgn(P))) 110876 138657306 o2(x,o2(x,o1(x))) true 47015 47015 0.5221 0.9297 0.5221 0.1461 0.3822 0 1 1 1 3.524 0.01959 0.002111 0.07973 0.8054 1 -0.0002115 0.03678 0.06819 0.01534 0.1239 1.553 0.9997 0.1485 0.2518 1 1 0.02317 0.1394 0.2814 0.1586 0.9546 1.927 json
t17_x15_u5_b70 17 15 5 70 lrg(D,pow(R,sgn(P))) 110877 138657307 o2(x,o2(x,o1(x))) true 47023 47023 0.5068 0.9147 0.5068 0.1611 0.4014 0 1 1 1 3.334 0.00526 0.002197 0.0527 0.4108 1 -0.0000412 0.007119 0.02232 0.00468 0.06841 1.298 0.9994 0.04629 0.04419 1 1 0.0104 0.1105 0.2938 0.06457 0.6858 1.824 json
t17_x15_u5_b71 17 15 5 71 lrg(D,mod(R,sgn(P))) 110878 138657308 o2(x,o2(x,o1(x))) true 47031 47031 0.5274 0.9384 0.5274 0.1476 0.3842 0 1 1 1 3.503 0.01964 0.002026 0.07918 0.813 1 -0.00001696 0.03655 0.06755 0.0154 0.1241 1.567 0.9997 0.1468 0.2476 1 1 0.02383 0.1383 0.2547 0.1615 0.9372 1.725 json
t17_x15_u5_b72 17 15 5 72 lrg(D,lrg(R,sgn(P))) 110879 138657309 o2(x,o2(x,o1(x))) true 47039 47039 0.2363 0.4831 0.2363 0.1283 0.3582 0 0.9997 0.9997 1 2.277 0.03244 0.00005267 0.0604 0.9968 1 -0.00008699 0.06047 0.06697 0.02885 0.1699 2.812 0.9997 0.2533 0.4714 1 1 0.03637 0.1279 0.04032 0.2835 0.9974 0.3144 json
t17_x15_u5_b73 17 15 5 73 lrg(D,eql(R,sgn(P))) 110880 138657310 o2(x,o2(x,o1(x))) true 47047 47047 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
t17_x15_u5_b74 17 15 5 74 lrg(D,min(R,sgn(P))) 110881 138657311 o2(x,o2(x,o1(x))) true 47055 47055 0.753 0.9716 0.753 0.1272 0.3567 0 1 1 1 2.494 0.01189 0.001085 0.0461 0.8327 1 -0.00003284 0.02211 0.04 0.01085 0.1042 2.259 0.9997 0.102 0.1738 1 1 0.01476 0.08296 0.1609 0.116 0.6521 1.265 json
t17_x15_u5_b75 17 15 5 75 lrg(D,dot(R,sgn(P))) 110882 138657312 o2(x,o2(x,o1(x))) true 47063 47063 0.5348 0.9384 0.5348 0.1484 0.3852 0 1 1 1 3.476 0.01644 0.002196 0.07447 0.7644 1 0.0000529 0.03045 0.05937 0.01309 0.1144 1.536 0.9994 0.1256 0.2052 1 1 0.0227 0.136 0.295 0.153 0.9167 1.988 json
t17_x15_u5_b76 17 15 5 76 lrg(D,dst(R,sgn(P))) 110883 138657313 o2(x,o2(x,o1(x))) true 47071 47071 0.005667 0.07185 0.005667 0.001781 0.0422 0 0.7742 0.7742 1 0.2154 0.0008377 0.00002625 0.003865 0.9392 1 -0.000006686 0.001787 0.004595 0.0008492 0.02914 7.54 0.7742 0.4852 1.003 1 1 0.0002363 0.0006599 0.001783 0.1327 0.3706 1.001 json
t17_x15_u5_b77 17 15 5 77 eql(D,add(R,sgn(P))) 110884 138657314 o2(x,o2(x,o1(x))) true 47079 47079 0.000082 0.0002441 0.000082 0.00004315 0.006569 0 0.6715 0.6715 1 0.003091 0.00006086 6.316e-7 0.000129 0.9795 0 2.395e-7 0.0001845 0.0002541 0.00006148 0.007841 60.78 0.6519 1.425 4.276 1 1 0 0 0.00003293 0 0 0.7631 json
t17_x15_u5_b78 17 15 5 78 eql(D,sub(R,sgn(P))) 110885 138657315 o2(x,o2(x,o1(x))) true 47087 47087 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_x15_u5_b79 17 15 5 79 eql(D,mlt(R,sgn(P))) 110886 138657316 o2(x,o2(x,o1(x))) true 47095 47095 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_x15_u5_b80 17 15 5 80 eql(D,div(R,sgn(P))) 110887 138657317 o2(x,o2(x,o1(x))) true 47103 47103 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_x15_u5_b81 17 15 5 81 eql(D,pow(R,sgn(P))) 110888 138657318 o2(x,o2(x,o1(x))) true 47111 47111 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_x15_u5_b82 17 15 5 82 eql(D,mod(R,sgn(P))) 110889 138657319 o2(x,o2(x,o1(x))) true 47119 47119 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_x15_u5_b83 17 15 5 83 eql(D,lrg(R,sgn(P))) 110890 138657320 o2(x,o2(x,o1(x))) true 47127 47127 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_x15_u5_b84 17 15 5 84 eql(D,eql(R,sgn(P))) 110891 138657321 o2(x,o2(x,o1(x))) true 47135 47135 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_x15_u5_b85 17 15 5 85 eql(D,min(R,sgn(P))) 110892 138657322 o2(x,o2(x,o1(x))) true 47143 47143 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_x15_u5_b86 17 15 5 86 eql(D,dot(R,sgn(P))) 110893 138657323 o2(x,o2(x,o1(x))) true 47151 47151 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_x15_u5_b87 17 15 5 87 eql(D,dst(R,sgn(P))) 110894 138657324 o2(x,o2(x,o1(x))) true 47159 47159 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_x15_u5_b88 17 15 5 88 min(D,add(R,sgn(P))) 110895 138657325 o2(x,o2(x,o1(x))) true 47167 47167 -0.4102 0.2145 0.4493 0.1833 0.4281 -1 0.1454 1.145 1 3.752 0.00168 0.0008614 0.03708 0.3222 1 0.0002272 0.0004847 0.01359 0.001167 0.03416 0.9211 0.223 0.01387 0.002644 1 1 0.005073 0.04818 0.1089 0.02768 0.2629 0.5941 json
t17_x15_u5_b89 17 15 5 89 min(D,sub(R,sgn(P))) 110896 138657326 o2(x,o2(x,o1(x))) true 47175 47175 -0.4083 0.2406 0.4521 0.1969 0.4437 -1 0.1454 1.145 1 3.608 0.001886 0.000699 0.03645 0.4592 1 -0.0000881 0.0005026 0.01405 0.001257 0.03545 0.9726 0.2122 0.01313 0.002553 1 1 0.005247 0.04985 0.1197 0.02665 0.2532 0.6078 json
t17_x15_u5_b90 17 15 5 90 min(D,mlt(R,sgn(P))) 110897 138657327 o2(x,o2(x,o1(x))) true 47183 47183 -0.289 0.1418 0.3121 0.07218 0.2687 -0.9989 0.1454 1.144 1 4.04 0.001776 0.001071 0.04618 0.2477 1 0.00004408 0.0002893 0.01346 0.0007135 0.02671 0.5784 0.1581 0.03943 0.004007 1 1 0.005363 0.05967 0.1203 0.07429 0.8267 1.666 json
t17_x15_u5_b91 17 15 5 91 min(D,div(R,sgn(P))) 110898 138657328 o2(x,o2(x,o1(x))) true 47191 47191 -0.3601 0.1423 0.3837 0.1107 0.3327 -1 0.1454 1.145 1 4.101 0.005545 0.003493 0.04919 0.2271 1 0.00004063 0.01337 0.02641 0.006618 0.08135 1.654 1.415 0.08164 0.1207 1 1 0.01413 0.0905 0.2144 0.1276 0.8176 1.937 json
t17_x15_u5_b92 17 15 5 92 min(D,pow(R,sgn(P))) 110899 138657329 o2(x,o2(x,o1(x))) true 47199 47199 -0.004959 0.4883 0.09613 0.01135 0.1066 -0.2718 0.1454 0.4172 1 2.623 0.001673 0.000007634 0.03664 0.9909 1 0.00001767 0.0002698 0.01483 0.0003389 0.01841 0.5025 0.08415 0.148 0.02376 1 1 0.003233 0.02238 0.0007453 0.2847 1.971 0.06564 json