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
t16_x25_u4_b113 16 25 4 113 dst(R,cil(div(R,D))) 96400 130940558 o2(x,o1(o2(x,x))) true 88007 88007 -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
t16_x25_u4_b114 16 25 4 114 dst(R,cil(pow(R,D))) 96401 130940559 o2(x,o1(o2(x,x))) true 88015 88015 -0.9923 0.003906 0.9999 0.01525 0.1235 -1 1 2 1 0.03961 0.001958 0.001904 0.001988 0.0139 1 0 0.008175 0.003959 0.003855 0.06209 31.24 2.828 0.2532 0.536 1 1 0.006808 0.02783 0.05397 0.4463 1.825 3.539 json
t16_x25_u4_b115 16 25 4 115 dst(R,cil(mod(R,D))) 96402 130940560 o2(x,o1(o2(x,x))) true 88023 88023 0.8877 1 0.8877 0.02132 0.146 0.2406 1 0.7594 1 2.317 0.000387 0.000396 0.01769 -0.01145 1 -0.00003075 0.0001287 0.005708 0.0004702 0.02168 1.226 0.1342 0.03673 0.006037 1 1 0.001595 0.01825 0.04452 0.07481 0.856 2.088 json
t16_x25_u4_b116 16 25 4 116 dst(R,cil(lrg(R,D))) 96403 130940561 o2(x,o1(o2(x,x))) true 88031 88031 0.907 1 0.907 0.02042 0.1429 0.2194 1 0.7806 1 2.038 0.001844 0.002011 0.027 -0.04329 1 -0.00000965 0.006659 0.02798 0.003127 0.05592 2.072 0.7306 0.1888 0.3261 1 1 0.004503 0.02437 0.04078 0.2205 1.194 1.998 json
t16_x25_u4_b117 16 25 4 117 dst(R,cil(eql(R,D))) 96404 130940562 o2(x,o1(o2(x,x))) true 88039 88039 0.897 1 0.897 0.02252 0.1501 0.09951 1 0.9005 1 2.18 0.0003469 0.0004856 0.01678 -0.1666 1 -0.00001965 0.0002407 0.006013 0.000551 0.02347 1.399 0.2869 0.03697 0.01069 1 1 0.00136 0.01498 0.03482 0.06041 0.6652 1.546 json
t16_x25_u4_b118 16 25 4 118 dst(R,cil(min(R,D))) 96405 130940563 o2(x,o1(o2(x,x))) true 88047 88047 0.8913 1 0.8913 0.02255 0.1502 0.09956 1 0.9004 1 2.247 0.001661 0.002049 0.02501 -0.1044 1 -0.00002938 0.006315 0.02359 0.003084 0.05553 2.22 1.203 0.1645 0.28 1 1 0.003979 0.02232 0.04021 0.1765 0.9896 1.783 json
t16_x25_u4_b119 16 25 4 119 dst(R,cil(dot(R,D))) 96406 130940564 o2(x,o1(o2(x,x))) true 88055 88055 0.9601 1 0.9601 0.01158 0.1076 0.09988 1 0.9001 1 1.069 0.002106 0.002098 0.01814 0.001991 1 -0.000118 0.01206 0.02639 0.003877 0.06227 3.432 1.272 0.3632 1.042 1 1 0.004441 0.01722 0.02155 0.3837 1.487 1.862 json
t16_x25_u4_b120 16 25 4 120 dst(R,cil(dst(R,D))) 96407 130940565 o2(x,o1(o2(x,x))) true 88063 88063 0.9997 1 0.9997 0.00004372 0.006612 0.7116 1 0.2884 1 0.01964 0.00003051 0.00002903 0.0003694 0.02486 0 0 0.000208 0.0006833 0.00005945 0.007711 20.87 0.3902 1.362 4.757 1 1 0.00007797 0.0001177 0.0001247 1.783 2.691 2.853 json
t16_x25_u5_b0 16 25 5 0 add(R,sgn(add(R,D))) 96408 130940646 o2(x,o1(o2(x,x))) true 88071 88071 0.002687 0.5015 0.7963 0.7269 0.8526 -1 1 2 1 3.495 0.07021 0.01481 0.1509 0.6515 1 -0.00002244 0.1239 0.1294 0.06224 0.2495 1.653 1.997 0.117 0.1704 1 1 0.1051 0.6922 1.289 0.1446 0.9523 1.773 json
t16_x25_u5_b1 16 25 5 1 add(R,sgn(sub(R,D))) 96409 130940647 o2(x,o1(o2(x,x))) true 88079 88079 0.001085 0.4994 0.802 0.7348 0.8572 -1 1 2 1 3.436 0.07168 0.01501 0.1489 0.6538 1 0.00002445 0.128 0.1299 0.06452 0.254 1.706 1.999 0.118 0.1741 1 1 0.107 0.6801 1.333 0.1456 0.9256 1.814 json
t16_x25_u5_b2 16 25 5 2 add(R,sgn(mlt(R,D))) 96410 130940648 o2(x,o1(o2(x,x))) true 88087 88087 0.01201 0.507 0.6286 0.5126 0.716 -1 1 2 1 4.488 0.1183 0.01006 0.1734 0.8433 1 0.00001586 0.2271 0.1835 0.09836 0.3136 1.809 1.996 0.2505 0.4431 1 1 0.1466 0.7713 0.9675 0.286 1.505 1.887 json
t16_x25_u5_b3 16 25 5 3 add(R,sgn(div(R,D))) 96411 130940649 o2(x,o1(o2(x,x))) true 88095 88095 0.01201 0.507 0.6286 0.5126 0.716 -1 1 2 1 4.488 0.1183 0.01006 0.1734 0.8433 1 0.00001586 0.2271 0.1835 0.09836 0.3136 1.809 1.996 0.2505 0.4431 1 1 0.1466 0.7713 0.9675 0.286 1.505 1.887 json
t16_x25_u5_b4 16 25 5 4 add(R,sgn(pow(R,D))) 96412 130940650 o2(x,o1(o2(x,x))) true 88103 88103 -0.02532 0.4879 0.8248 0.7646 0.8744 -1 1 2 1 3.233 0.01394 0.01694 0.1058 -0.09733 1 0.00001053 0.006469 0.03827 0.01969 0.1403 1.326 0.4639 0.04039 0.00846 1 1 0.0594 0.6209 1.415 0.07768 0.812 1.85 json
t16_x25_u5_b5 16 25 5 5 add(R,sgn(mod(R,D))) 96413 130940651 o2(x,o1(o2(x,x))) true 88111 88111 -0.02532 0.4879 0.8248 0.7646 0.8744 -1 1 2 1 3.233 0.01394 0.01694 0.1058 -0.09733 1 0.00001053 0.006469 0.03827 0.01969 0.1403 1.326 0.4639 0.04039 0.00846 1 1 0.0594 0.6209 1.415 0.07768 0.812 1.85 json
t16_x25_u5_b6 16 25 5 6 add(R,sgn(lrg(R,D))) 96414 130940652 o2(x,o1(o2(x,x))) true 88119 88119 0.3562 0.658 0.6441 0.4058 0.637 -0.9986 1 1.999 1 4.045 0.02165 0.007303 0.101 0.4956 1 -0.0001007 0.03389 0.07216 0.01875 0.1369 1.355 1.117 0.07136 0.08352 1 1 0.04058 0.3313 0.7036 0.1 0.8165 1.734 json
t16_x25_u5_b7 16 25 5 7 add(R,sgn(eql(R,D))) 96415 130940653 o2(x,o1(o2(x,x))) true 88127 88127 0.009019 0.4984 0.3946 0.2196 0.4686 -0.9989 0.9806 1.979 1 4.862 0.002828 0.003169 0.06324 -0.0569 1 0.00002663 0.0003949 0.01461 0.001998 0.0447 0.7068 0.3544 0.02731 0.001798 1 1 0.01182 0.1519 0.3913 0.05385 0.6917 1.782 json
t16_x25_u5_b8 16 25 5 8 add(R,sgn(min(R,D))) 96416 130940654 o2(x,o1(o2(x,x))) true 88135 88135 -0.3906 0.2661 0.7726 0.5398 0.7347 -1 1 2 1 3.554 0.07469 0.009551 0.1341 0.7733 1 0.00003523 0.1309 0.1173 0.06629 0.2575 1.921 1.996 0.1561 0.2424 1 1 0.1017 0.6105 0.8357 0.1885 1.131 1.548 json
t16_x25_u5_b9 16 25 5 9 add(R,sgn(dot(R,D))) 96417 130940655 o2(x,o1(o2(x,x))) true 88143 88143 0.01637 0.5062 0.6555 0.5428 0.7367 -1 1 2 1 4.43 0.08918 0.09858 0.2113 -0.05003 1 -0.0004632 0.5666 0.2955 0.1431 0.3783 1.791 2.747 0.3459 1.044 1 1 0.2051 0.8772 1.037 0.3778 1.616 1.911 json
t16_x25_u5_b10 16 25 5 10 add(R,sgn(dst(R,D))) 96418 130940656 o2(x,o1(o2(x,x))) true 88151 88151 0.8072 1 0.8072 0.06917 0.263 0.001146 1 0.9989 1 2.721 0.00124 0.001463 0.03034 -0.08261 1 -0.00006109 0.0006685 0.01204 0.001783 0.04223 1.392 0.223 0.03908 0.009664 1 1 0.004971 0.05068 0.113 0.07186 0.7327 1.634 json
t16_x25_u5_b11 16 25 5 11 sub(R,sgn(add(R,D))) 96419 130940657 o2(x,o1(o2(x,x))) true 88159 88159 0.009929 0.5091 0.3723 0.2024 0.4499 -1 1 2 1 4.834 0.07263 0.002917 0.132 0.9228 1 -0.00001078 0.1454 0.132 0.05813 0.2411 1.827 1.996 0.3732 0.7184 1 1 0.07304 0.2919 0.3701 0.3608 1.442 1.828 json
t16_x25_u5_b12 16 25 5 12 sub(R,sgn(sub(R,D))) 96420 130940658 o2(x,o1(o2(x,x))) true 88167 88167 0.01069 0.5113 0.3758 0.2051 0.4529 -1 1 2 1 4.841 0.07434 0.002939 0.1314 0.9239 1 -0.000002837 0.1491 0.1328 0.06001 0.245 1.864 1.997 0.3768 0.7269 1 1 0.07545 0.2744 0.3818 0.3678 1.338 1.861 json
t16_x25_u5_b13 16 25 5 13 sub(R,sgn(mlt(R,D))) 96421 130940659 o2(x,o1(o2(x,x))) true 88175 88175 -0.0005346 0.4974 0.6304 0.5148 0.7175 -1 1 2 1 4.479 0.1182 0.01013 0.1722 0.8421 1 -7.576e-7 0.2271 0.1834 0.09869 0.3142 1.824 1.997 0.2493 0.4412 1 1 0.1467 0.7699 0.9696 0.2849 1.496 1.884 json
t16_x25_u5_b14 16 25 5 14 sub(R,sgn(div(R,D))) 96422 130940660 o2(x,o1(o2(x,x))) true 88183 88183 -0.0005346 0.4974 0.6304 0.5148 0.7175 -1 1 2 1 4.479 0.1182 0.01013 0.1722 0.8421 1 -7.576e-7 0.2271 0.1834 0.09869 0.3142 1.824 1.997 0.2493 0.4412 1 1 0.1467 0.7699 0.9696 0.2849 1.496 1.884 json
t16_x25_u5_b15 16 25 5 15 sub(R,sgn(pow(R,D))) 96423 130940661 o2(x,o1(o2(x,x))) true 88191 88191 0.04414 0.5341 0.3639 0.1897 0.4355 -0.9965 0.9969 1.993 1 4.786 0.002578 0.003085 0.06159 -0.08951 1 0.00006213 0.0003343 0.01407 0.00187 0.04325 0.7021 0.2246 0.02986 0.001762 1 1 0.01072 0.1383 0.3524 0.05653 0.7293 1.858 json
t16_x25_u5_b16 16 25 5 16 sub(R,sgn(mod(R,D))) 96424 130940662 o2(x,o1(o2(x,x))) true 88199 88199 0.04414 0.5341 0.3639 0.1897 0.4355 -0.9965 0.9969 1.993 1 4.786 0.002578 0.003085 0.06159 -0.08951 1 0.00006213 0.0003343 0.01407 0.00187 0.04325 0.7021 0.2246 0.02986 0.001762 1 1 0.01072 0.1383 0.3524 0.05653 0.7293 1.858 json
t16_x25_u5_b17 16 25 5 17 sub(R,sgn(lrg(R,D))) 96425 130940663 o2(x,o1(o2(x,x))) true 88207 88207 -0.4889 0.01665 0.4913 0.06471 0.2544 -1 0.251 1.251 1 3.991 0.01789 0.0009234 0.0687 0.9018 1 0.00001675 0.03559 0.06634 0.01409 0.1187 1.728 0.9993 0.2907 0.55 1 1 0.01847 0.07152 0.1137 0.2854 1.105 1.756 json
t16_x25_u5_b18 16 25 5 18 sub(R,sgn(eql(R,D))) 96426 130940664 o2(x,o1(o2(x,x))) true 88215 88215 0.008939 0.4983 0.3947 0.2196 0.4686 -0.9989 0.9806 1.979 1 4.862 0.002828 0.003171 0.06324 -0.05716 1 0.00002639 0.0003949 0.01461 0.001999 0.04471 0.7069 0.3513 0.02731 0.001798 1 1 0.01182 0.1519 0.3914 0.05384 0.6916 1.782 json
t16_x25_u5_b19 16 25 5 19 sub(R,sgn(min(R,D))) 96427 130940665 o2(x,o1(o2(x,x))) true 88223 88223 0.452 0.8215 0.5635 0.2201 0.4691 -0.9963 1 1.996 1 4.36 0.06435 0.00234 0.1103 0.9298 1 -0.00007243 0.119 0.1056 0.05454 0.2335 2.118 1.996 0.3031 0.5408 1 1 0.07014 0.3194 0.2534 0.3187 1.452 1.152 json
t16_x25_u5_b20 16 25 5 20 sub(R,sgn(dot(R,D))) 96428 130940666 o2(x,o1(o2(x,x))) true 88231 88231 -0.007695 0.4939 0.6564 0.543 0.7369 -1 1 2 1 4.43 0.08857 0.09861 0.2101 -0.0536 1 0.0005235 0.5656 0.2955 0.143 0.3782 1.8 2.773 0.3447 1.042 1 1 0.2051 0.875 1.074 0.3778 1.611 1.979 json
t16_x25_u5_b21 16 25 5 21 sub(R,sgn(dst(R,D))) 96429 130940667 o2(x,o1(o2(x,x))) true 88239 88239 -0.7982 0 0.7982 0.07256 0.2694 -1 -0.01936 0.9806 1 2.717 0.001471 0.00159 0.03308 -0.03903 1 0.0000876 0.0006964 0.01237 0.001966 0.04434 1.34 0.223 0.04219 0.009598 1 1 0.005951 0.06127 0.1403 0.08201 0.8444 1.934 json
t16_x25_u5_b22 16 25 5 22 mlt(R,sgn(add(R,D))) 96430 130940668 o2(x,o1(o2(x,x))) true 88247 88247 0.4576 0.9439 0.4693 0.07414 0.2723 -0.4382 0.9989 1.437 1 4.117 0.006925 0.001023 0.05583 0.7425 1 0.000192 0.01278 0.04332 0.004832 0.06951 1.245 0.6076 0.1072 0.1724 1 1 0.009533 0.05558 0.1372 0.1286 0.7498 1.851 json
t16_x25_u5_b23 16 25 5 23 mlt(R,sgn(sub(R,D))) 96431 130940669 o2(x,o1(o2(x,x))) true 88255 88255 0.4567 0.9385 0.4703 0.07713 0.2777 -0.4721 0.9989 1.471 1 4.14 0.006915 0.001042 0.05537 0.7382 1 0.00005776 0.01286 0.04285 0.004891 0.06993 1.263 0.6219 0.1032 0.1667 1 1 0.009528 0.05819 0.1455 0.1235 0.7544 1.886 json
t16_x25_u5_b24 16 25 5 24 mlt(R,sgn(mlt(R,D))) 96432 130940670 o2(x,o1(o2(x,x))) true 88263 88263 -0.001306 0.4997 0.373 0.201 0.4483 -0.9985 0.9986 1.997 1 4.83 0.08589 0.0007299 0.1335 0.9831 1 -0.000004758 0.1609 0.1388 0.0688 0.2623 1.965 1.997 0.431 0.8005 1 1 0.09352 0.3373 0.09703 0.4653 1.678 0.4828 json
t16_x25_u5_b25 16 25 5 25 mlt(R,sgn(div(R,D))) 96433 130940671 o2(x,o1(o2(x,x))) true 88271 88271 -0.001306 0.4997 0.373 0.201 0.4483 -0.9985 0.9986 1.997 1 4.83 0.08589 0.0007299 0.1335 0.9831 1 -0.000004758 0.1609 0.1388 0.0688 0.2623 1.965 1.997 0.431 0.8005 1 1 0.09352 0.3373 0.09703 0.4653 1.678 0.4828 json
t16_x25_u5_b26 16 25 5 26 mlt(R,sgn(pow(R,D))) 96434 130940672 o2(x,o1(o2(x,x))) true 88279 88279 0.5171 1 0.5171 0.05134 0.2266 0.003042 0.9989 0.9959 1 3.837 0.000667 0.0007231 0.03061 -0.04037 1 -1.189e-7 0.0000839 0.007073 0.000453 0.02128 0.6953 0.1114 0.02708 0.001634 1 1 0.002392 0.031 0.09664 0.0466 0.6038 1.882 json
t16_x25_u5_b27 16 25 5 27 mlt(R,sgn(mod(R,D))) 96435 130940673 o2(x,o1(o2(x,x))) true 88287 88287 0.5171 1 0.5171 0.05134 0.2266 0.003042 0.9989 0.9959 1 3.837 0.000667 0.0007231 0.03061 -0.04037 1 -1.189e-7 0.0000839 0.007073 0.000453 0.02128 0.6953 0.1114 0.02708 0.001634 1 1 0.002392 0.031 0.09664 0.0466 0.6038 1.882 json
t16_x25_u5_b28 16 25 5 28 mlt(R,sgn(lrg(R,D))) 96436 130940674 o2(x,o1(o2(x,x))) true 88295 88295 0.2329 0.761 0.2514 0.07642 0.2764 -0.2687 0.9809 1.25 1 3.798 0.002527 0.001108 0.0434 0.3903 1 0.00004221 0.003307 0.02482 0.001752 0.04186 0.9644 0.3592 0.04757 0.04327 1 1 0.005783 0.05828 0.1518 0.07567 0.7626 1.986 json
t16_x25_u5_b29 16 25 5 29 mlt(R,sgn(eql(R,D))) 96437 130940675 o2(x,o1(o2(x,x))) true 88303 88303 -0.00002379 0 0.00002379 0.000003633 0.001906 -0.1948 0 0.1948 1 0.003755 0.000005124 5.318e-8 0.00003743 0.9795 0 -6.949e-8 0.00001553 0.00007373 0.000005176 0.002275 60.78 0.1892 1.425 4.276 1 1 0 0 0.000002772 0 0 0.7631 json
t16_x25_u5_b30 16 25 5 30 mlt(R,sgn(min(R,D))) 96438 130940676 o2(x,o1(o2(x,x))) true 88311 88311 0.256 0.77 0.4181 0.1723 0.4151 -0.9805 0.9989 1.979 1 4.653 0.0401 0.001927 0.08698 0.9083 1 -0.000006933 0.07508 0.07419 0.03446 0.1856 2.134 1.939 0.2439 0.4358 1 1 0.04641 0.2134 0.2405 0.2694 1.239 1.396 json
t16_x25_u5_b31 16 25 5 31 mlt(R,sgn(dot(R,D))) 96439 130940677 o2(x,o1(o2(x,x))) true 88319 88319 0.0009581 0.4974 0.3486 0.1802 0.4245 -0.9985 0.9985 1.997 1 4.772 0.06034 0.03977 0.1491 0.2055 1 -0.00005907 0.3278 0.1939 0.07787 0.2791 1.871 2.757 0.5555 1.819 1 1 0.1034 0.363 0.269 0.5737 2.014 1.492 json
t16_x25_u5_b32 16 25 5 32 mlt(R,sgn(dst(R,D))) 96440 130940678 o2(x,o1(o2(x,x))) true 88327 88327 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
t16_x25_u5_b33 16 25 5 33 div(R,sgn(add(R,D))) 96441 130940679 o2(x,o1(o2(x,x))) true 88335 88335 0.4576 0.9439 0.4693 0.07414 0.2723 -0.4382 0.9989 1.437 1 4.117 0.006925 0.001023 0.05583 0.7425 1 0.000192 0.01278 0.04332 0.004832 0.06951 1.245 0.6076 0.1072 0.1724 1 1 0.009533 0.05558 0.1372 0.1286 0.7498 1.851 json
t16_x25_u5_b34 16 25 5 34 div(R,sgn(sub(R,D))) 96442 130940680 o2(x,o1(o2(x,x))) true 88343 88343 0.4567 0.9385 0.4703 0.07713 0.2777 -0.4721 0.9989 1.471 1 4.14 0.006915 0.001042 0.05537 0.7382 1 0.00005776 0.01286 0.04285 0.004891 0.06993 1.263 0.6219 0.1032 0.1667 1 1 0.009528 0.05819 0.1455 0.1235 0.7544 1.886 json
t16_x25_u5_b35 16 25 5 35 div(R,sgn(mlt(R,D))) 96443 130940681 o2(x,o1(o2(x,x))) true 88351 88351 -0.001306 0.4997 0.373 0.201 0.4483 -0.9985 0.9986 1.997 1 4.83 0.08589 0.0007299 0.1335 0.9831 1 -0.000004758 0.1609 0.1388 0.0688 0.2623 1.965 1.997 0.431 0.8005 1 1 0.09352 0.3373 0.09703 0.4653 1.678 0.4828 json
t16_x25_u5_b36 16 25 5 36 div(R,sgn(div(R,D))) 96444 130940682 o2(x,o1(o2(x,x))) true 88359 88359 -0.001306 0.4997 0.373 0.201 0.4483 -0.9985 0.9986 1.997 1 4.83 0.08589 0.0007299 0.1335 0.9831 1 -0.000004758 0.1609 0.1388 0.0688 0.2623 1.965 1.997 0.431 0.8005 1 1 0.09352 0.3373 0.09703 0.4653 1.678 0.4828 json
t16_x25_u5_b37 16 25 5 37 div(R,sgn(pow(R,D))) 96445 130940683 o2(x,o1(o2(x,x))) true 88367 88367 0.5171 1 0.5171 0.05134 0.2266 0.003042 0.9989 0.9959 1 3.837 0.000667 0.0007231 0.03061 -0.04037 1 -1.189e-7 0.0000839 0.007073 0.000453 0.02128 0.6953 0.1114 0.02708 0.001634 1 1 0.002392 0.031 0.09664 0.0466 0.6038 1.882 json
t16_x25_u5_b38 16 25 5 38 div(R,sgn(mod(R,D))) 96446 130940684 o2(x,o1(o2(x,x))) true 88375 88375 0.5171 1 0.5171 0.05134 0.2266 0.003042 0.9989 0.9959 1 3.837 0.000667 0.0007231 0.03061 -0.04037 1 -1.189e-7 0.0000839 0.007073 0.000453 0.02128 0.6953 0.1114 0.02708 0.001634 1 1 0.002392 0.031 0.09664 0.0466 0.6038 1.882 json
t16_x25_u5_b39 16 25 5 39 div(R,sgn(lrg(R,D))) 96447 130940685 o2(x,o1(o2(x,x))) true 88383 88383 -0.8932 0.06868 0.9691 0.157 0.3963 -1 0.9632 1.963 1 0.6171 0.05711 0.01391 0.04758 0.6083 1 0.0000183 0.1576 0.09188 0.06875 0.2622 5.511 2.728 0.4523 1.004 1 1 0.06612 0.2015 0.3009 0.4211 1.283 1.916 json
t16_x25_u5_b40 16 25 5 40 div(R,sgn(eql(R,D))) 96448 130940686 o2(x,o1(o2(x,x))) true 88391 88391 -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
t16_x25_u5_b41 16 25 5 41 div(R,sgn(min(R,D))) 96449 130940687 o2(x,o1(o2(x,x))) true 88399 88399 0.256 0.77 0.4181 0.1723 0.4151 -0.9805 0.9989 1.979 1 4.653 0.0401 0.001927 0.08698 0.9083 1 -0.000006933 0.07508 0.07419 0.03446 0.1856 2.134 1.939 0.2439 0.4358 1 1 0.04641 0.2134 0.2405 0.2694 1.239 1.396 json
t16_x25_u5_b42 16 25 5 42 div(R,sgn(dot(R,D))) 96450 130940688 o2(x,o1(o2(x,x))) true 88407 88407 0.0009581 0.4974 0.3486 0.1802 0.4245 -0.9985 0.9985 1.997 1 4.772 0.06034 0.03977 0.1491 0.2055 1 -0.00005907 0.3278 0.1939 0.07787 0.2791 1.871 2.757 0.5555 1.819 1 1 0.1034 0.363 0.269 0.5737 2.014 1.492 json
t16_x25_u5_b43 16 25 5 43 div(R,sgn(dst(R,D))) 96451 130940689 o2(x,o1(o2(x,x))) true 88415 88415 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
t16_x25_u5_b44 16 25 5 44 pow(R,sgn(add(R,D))) 96452 130940690 o2(x,o1(o2(x,x))) true 88423 88423 -0.9267 0.04297 0.9874 0.1223 0.3497 -1 1 2 1 0.4038 0.01096 0.01183 0.01567 -0.03796 1 -0.00003088 0.04729 0.02928 0.02255 0.1502 9.579 2.64 0.1864 0.3867 1 1 0.01801 0.08184 0.2011 0.1473 0.6691 1.644 json
t16_x25_u5_b45 16 25 5 45 pow(R,sgn(sub(R,D))) 96453 130940691 o2(x,o1(o2(x,x))) true 88431 88431 -0.9264 0.04297 0.9877 0.1231 0.3509 -1 1 2 1 0.4029 0.01103 0.01223 0.01588 -0.05127 1 -0.000006858 0.04823 0.02962 0.023 0.1517 9.552 2.642 0.1889 0.3917 1 1 0.01866 0.08545 0.2103 0.1515 0.6941 1.708 json
t16_x25_u5_b46 16 25 5 46 pow(R,sgn(mlt(R,D))) 96454 130940692 o2(x,o1(o2(x,x))) true 88439 88439 -0.9199 0.04297 0.9942 0.1449 0.3807 -1 1 2 1 0.3523 0.01396 0.01454 0.01645 -0.02032 1 -0.0000249 0.05926 0.03123 0.02821 0.168 10.21 2.828 0.1966 0.4089 1 1 0.02256 0.1001 0.241 0.1557 0.691 1.663 json
t16_x25_u5_b47 16 25 5 47 pow(R,sgn(div(R,D))) 96455 130940693 o2(x,o1(o2(x,x))) true 88447 88447 -0.9199 0.04297 0.9942 0.1449 0.3807 -1 1 2 1 0.3523 0.01396 0.01454 0.01645 -0.02032 1 -0.0000249 0.05926 0.03123 0.02821 0.168 10.21 2.828 0.1966 0.4089 1 1 0.02256 0.1001 0.241 0.1557 0.691 1.663 json
t16_x25_u5_b48 16 25 5 48 pow(R,sgn(pow(R,D))) 96456 130940694 o2(x,o1(o2(x,x))) true 88455 88455 -0.9327 0.04297 0.9813 0.1025 0.3202 -1 0.9428 1.943 1 0.413 0.01033 0.01038 0.01414 -0.00231 1 0.000008535 0.04322 0.0262 0.02051 0.1432 10.13 2.64 0.2021 0.4217 1 1 0.01648 0.07156 0.1733 0.1608 0.6982 1.691 json
t16_x25_u5_b49 16 25 5 49 pow(R,sgn(mod(R,D))) 96457 130940695 o2(x,o1(o2(x,x))) true 88463 88463 -0.9327 0.04297 0.9813 0.1025 0.3202 -1 0.9428 1.943 1 0.413 0.01033 0.01038 0.01414 -0.00231 1 0.000008535 0.04322 0.0262 0.02051 0.1432 10.13 2.64 0.2021 0.4217 1 1 0.01648 0.07156 0.1733 0.1608 0.6982 1.691 json
t16_x25_u5_b50 16 25 5 50 pow(R,sgn(lrg(R,D))) 96458 130940696 o2(x,o1(o2(x,x))) true 88471 88471 0.002951 0.5569 0.8892 0.8285 0.9102 -1 1 2 1 2.678 0.3112 0.04968 0.2091 0.7247 1 -0.0004813 0.7761 0.3959 0.3171 0.5632 2.694 2.828 0.4356 0.9368 1 1 0.3693 1.056 1.358 0.4458 1.274 1.639 json
t16_x25_u5_b51 16 25 5 51 pow(R,sgn(eql(R,D))) 96459 130940697 o2(x,o1(o2(x,x))) true 88479 88479 0.9995 0.9998 1 0.0009763 0.03125 -1 1 2 1 0.003282 0.001764 0.00006299 0.0009133 0.931 1 0 0.005669 0.001827 0.001826 0.04273 46.78 2 1.871 5.806 1 1 0 0 0.000831 0 0 0.8512 json
t16_x25_u5_b52 16 25 5 52 pow(R,sgn(min(R,D))) 96460 130940698 o2(x,o1(o2(x,x))) true 88487 88487 -0.9199 0.04297 0.9942 0.1449 0.3807 -1 1 2 1 0.3523 0.01396 0.01454 0.01645 -0.02032 1 -0.0000249 0.05926 0.03123 0.02821 0.168 10.21 2.828 0.1966 0.4089 1 1 0.02256 0.1001 0.241 0.1557 0.691 1.663 json
t16_x25_u5_b53 16 25 5 53 pow(R,sgn(dot(R,D))) 96461 130940699 o2(x,o1(o2(x,x))) true 88495 88495 -0.9195 0.04297 0.9946 0.1461 0.3823 -1 1 2 1 0.349 0.01472 0.01502 0.01768 -0.01031 1 0.00002476 0.06312 0.03386 0.02945 0.1716 9.708 2.828 0.2035 0.4319 1 1 0.02266 0.09965 0.2436 0.1551 0.6818 1.667 json
t16_x25_u5_b54 16 25 5 54 pow(R,sgn(dst(R,D))) 96462 130940700 o2(x,o1(o2(x,x))) true 88503 88503 -0.9327 0.04297 0.9813 0.1025 0.3202 -1 0.9428 1.943 1 0.413 0.01033 0.01038 0.01414 -0.00231 1 0.000008535 0.04322 0.0262 0.02051 0.1432 10.13 2.64 0.2021 0.4217 1 1 0.01648 0.07156 0.1733 0.1608 0.6982 1.691 json
t16_x25_u5_b55 16 25 5 55 mod(R,sgn(add(R,D))) 96463 130940701 o2(x,o1(o2(x,x))) true 88511 88511 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
t16_x25_u5_b56 16 25 5 56 mod(R,sgn(sub(R,D))) 96464 130940702 o2(x,o1(o2(x,x))) true 88519 88519 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
t16_x25_u5_b57 16 25 5 57 mod(R,sgn(mlt(R,D))) 96465 130940703 o2(x,o1(o2(x,x))) true 88527 88527 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
t16_x25_u5_b58 16 25 5 58 mod(R,sgn(div(R,D))) 96466 130940704 o2(x,o1(o2(x,x))) true 88535 88535 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
t16_x25_u5_b59 16 25 5 59 mod(R,sgn(pow(R,D))) 96467 130940705 o2(x,o1(o2(x,x))) true 88543 88543 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
t16_x25_u5_b60 16 25 5 60 mod(R,sgn(mod(R,D))) 96468 130940706 o2(x,o1(o2(x,x))) true 88551 88551 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
t16_x25_u5_b61 16 25 5 61 mod(R,sgn(lrg(R,D))) 96469 130940707 o2(x,o1(o2(x,x))) true 88559 88559 -0.8932 0.06868 0.9691 0.157 0.3963 -1 0.9632 1.963 1 0.6171 0.05711 0.01391 0.04758 0.6083 1 0.0000183 0.1576 0.09188 0.06875 0.2622 5.511 2.728 0.4523 1.004 1 1 0.06612 0.2015 0.3009 0.4211 1.283 1.916 json
t16_x25_u5_b62 16 25 5 62 mod(R,sgn(eql(R,D))) 96470 130940708 o2(x,o1(o2(x,x))) true 88567 88567 -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
t16_x25_u5_b63 16 25 5 63 mod(R,sgn(min(R,D))) 96471 130940709 o2(x,o1(o2(x,x))) true 88575 88575 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
t16_x25_u5_b64 16 25 5 64 mod(R,sgn(dot(R,D))) 96472 130940710 o2(x,o1(o2(x,x))) true 88583 88583 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
t16_x25_u5_b65 16 25 5 65 mod(R,sgn(dst(R,D))) 96473 130940711 o2(x,o1(o2(x,x))) true 88591 88591 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
t16_x25_u5_b66 16 25 5 66 lrg(R,sgn(add(R,D))) 96474 130940712 o2(x,o1(o2(x,x))) true 88599 88599 0.5005 0.9344 0.5005 0.1438 0.3792 0 1 1 1 3.559 0.01982 0.002087 0.08162 0.8094 1 -0.00001479 0.0372 0.07003 0.01524 0.1235 1.513 0.9997 0.1524 0.2587 1 1 0.02404 0.145 0.2603 0.1672 1.009 1.81 json
t16_x25_u5_b67 16 25 5 67 lrg(R,sgn(sub(R,D))) 96475 130940713 o2(x,o1(o2(x,x))) true 88607 88607 0.5008 0.9274 0.5008 0.1466 0.3828 0 1 1 1 3.529 0.0202 0.00212 0.08084 0.81 1 -0.00001414 0.03816 0.07051 0.01579 0.1257 1.554 0.9997 0.1523 0.2603 1 1 0.02456 0.14 0.2709 0.1675 0.9553 1.848 json
t16_x25_u5_b68 16 25 5 68 lrg(R,sgn(mlt(R,D))) 96476 130940714 o2(x,o1(o2(x,x))) true 88615 88615 0.4961 0.9456 0.4961 0.147 0.3834 0 1 1 1 3.516 0.04778 0.002278 0.1019 0.909 1 -0.00001497 0.09324 0.1121 0.03968 0.1992 1.955 1 0.3406 0.6344 1 1 0.05494 0.2454 0.2817 0.3738 1.67 1.917 json
t16_x25_u5_b69 16 25 5 69 lrg(R,sgn(div(R,D))) 96477 130940715 o2(x,o1(o2(x,x))) true 88623 88623 0.4961 0.9456 0.4961 0.147 0.3834 0 1 1 1 3.516 0.04778 0.002278 0.1019 0.909 1 -0.00001497 0.09324 0.1121 0.03968 0.1992 1.955 1 0.3406 0.6344 1 1 0.05494 0.2454 0.2817 0.3738 1.67 1.917 json
t16_x25_u5_b70 16 25 5 70 lrg(R,sgn(pow(R,D))) 96478 130940716 o2(x,o1(o2(x,x))) true 88631 88631 0.5176 0.9429 0.5176 0.1537 0.3921 0 1 1 1 3.429 0.001972 0.002442 0.05168 -0.1065 1 0.00001781 0.0002592 0.01257 0.001744 0.04176 0.8079 0.1169 0.02872 0.001686 1 1 0.008731 0.1124 0.2862 0.0568 0.7316 1.862 json
t16_x25_u5_b71 16 25 5 71 lrg(R,sgn(mod(R,D))) 96479 130940717 o2(x,o1(o2(x,x))) true 88639 88639 0.5176 0.9429 0.5176 0.1537 0.3921 0 1 1 1 3.429 0.001972 0.002442 0.05168 -0.1065 1 0.00001781 0.0002592 0.01257 0.001744 0.04176 0.8079 0.1169 0.02872 0.001686 1 1 0.008731 0.1124 0.2862 0.0568 0.7316 1.862 json
t16_x25_u5_b72 16 25 5 72 lrg(R,sgn(lrg(R,D))) 96480 130940718 o2(x,o1(o2(x,x))) true 88647 88647 0.05923 0.3556 0.05923 0.02567 0.1602 0 0.9994 0.9994 1 1.251 0.008427 0.0003582 0.02849 0.9185 1 -0.00004931 0.01697 0.0305 0.007977 0.08931 3.135 0.9994 0.3423 0.6611 1 1 0.007699 0.02811 0.04308 0.3 1.095 1.679 json
t16_x25_u5_b73 16 25 5 73 lrg(R,sgn(eql(R,D))) 96481 130940719 o2(x,o1(o2(x,x))) true 88655 88655 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
t16_x25_u5_b74 16 25 5 74 lrg(R,sgn(min(R,D))) 96482 130940720 o2(x,o1(o2(x,x))) true 88663 88663 0.7568 1 0.7568 0.1087 0.3297 0.000291 1 0.9997 1 2.8 0.02738 0.00118 0.07029 0.9174 1 0.000001419 0.05102 0.06666 0.02362 0.1537 2.186 0.9997 0.2627 0.4693 1 1 0.03085 0.1411 0.1423 0.2838 1.298 1.309 json
t16_x25_u5_b75 16 25 5 75 lrg(R,sgn(dot(R,D))) 96483 130940721 o2(x,o1(o2(x,x))) true 88671 88671 0.4933 0.9196 0.4933 0.1513 0.389 0 1 1 1 3.462 0.03526 0.03434 0.1236 0.0132 1 0.0002918 0.2205 0.1794 0.05433 0.2331 1.886 1.414 0.4599 1.457 1 1 0.07404 0.2846 0.3006 0.4893 1.881 1.986 json
t16_x25_u5_b76 16 25 5 76 lrg(R,sgn(dst(R,D))) 96484 130940722 o2(x,o1(o2(x,x))) true 88679 88679 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
t16_x25_u5_b77 16 25 5 77 eql(R,sgn(add(R,D))) 96485 130940723 o2(x,o1(o2(x,x))) true 88687 88687 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
t16_x25_u5_b78 16 25 5 78 eql(R,sgn(sub(R,D))) 96486 130940724 o2(x,o1(o2(x,x))) true 88695 88695 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
t16_x25_u5_b79 16 25 5 79 eql(R,sgn(mlt(R,D))) 96487 130940725 o2(x,o1(o2(x,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
t16_x25_u5_b80 16 25 5 80 eql(R,sgn(div(R,D))) 96488 130940726 o2(x,o1(o2(x,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
t16_x25_u5_b81 16 25 5 81 eql(R,sgn(pow(R,D))) 96489 130940727 o2(x,o1(o2(x,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
t16_x25_u5_b82 16 25 5 82 eql(R,sgn(mod(R,D))) 96490 130940728 o2(x,o1(o2(x,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
t16_x25_u5_b83 16 25 5 83 eql(R,sgn(lrg(R,D))) 96491 130940729 o2(x,o1(o2(x,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
t16_x25_u5_b84 16 25 5 84 eql(R,sgn(eql(R,D))) 96492 130940730 o2(x,o1(o2(x,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
t16_x25_u5_b85 16 25 5 85 eql(R,sgn(min(R,D))) 96493 130940731 o2(x,o1(o2(x,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
t16_x25_u5_b86 16 25 5 86 eql(R,sgn(dot(R,D))) 96494 130940732 o2(x,o1(o2(x,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
t16_x25_u5_b87 16 25 5 87 eql(R,sgn(dst(R,D))) 96495 130940733 o2(x,o1(o2(x,x))) true 88767 88767 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
t16_x25_u5_b88 16 25 5 88 min(R,sgn(add(R,D))) 96496 130940734 o2(x,o1(o2(x,x))) true 88775 88775 -0.2672 0.3673 0.5829 0.3695 0.6079 -1 0.9805 1.98 1 4.595 0.02365 0.005413 0.1098 0.6275 1 0.000124 0.03887 0.07491 0.01701 0.1304 1.188 1.181 0.07866 0.1052 1 1 0.03719 0.3153 0.6978 0.1006 0.8533 1.888 json
t16_x25_u5_b89 16 25 5 89 min(R,sgn(sub(R,D))) 96497 130940735 o2(x,o1(o2(x,x))) true 88783 88783 -0.268 0.3718 0.5887 0.3757 0.6129 -1 0.9806 1.981 1 4.574 0.02402 0.005472 0.109 0.6289 1 0.00005628 0.03999 0.07571 0.01762 0.1327 1.218 1.174 0.07851 0.1064 1 1 0.03779 0.3102 0.718 0.1006 0.8256 1.911 json
t16_x25_u5_b90 16 25 5 90 min(R,sgn(mlt(R,D))) 96498 130940736 o2(x,o1(o2(x,x))) true 88791 88791 -0.4923 0.1856 0.6312 0.2565 0.5064 -1 0.9803 1.98 1 4.257 0.06933 0.003365 0.1194 0.9074 1 0.00002584 0.1324 0.1198 0.05844 0.2417 2.025 1.968 0.2834 0.5164 1 1 0.07915 0.367 0.4445 0.3086 1.431 1.733 json
t16_x25_u5_b91 16 25 5 91 min(R,sgn(div(R,D))) 96499 130940737 o2(x,o1(o2(x,x))) true 88799 88799 -0.4923 0.1856 0.6312 0.2565 0.5064 -1 0.9803 1.98 1 4.257 0.06933 0.003365 0.1194 0.9074 1 0.00002584 0.1324 0.1198 0.05844 0.2417 2.025 1.968 0.2834 0.5164 1 1 0.07915 0.367 0.4445 0.3086 1.431 1.733 json