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_x26_u2_b108 16 26 2 108 dot(R,frc(dot(R,R))) 97000 130980552 o2(x,o1(o2(x,x))) true 92807 92807 0.008406 0.5191 0.2915 0.1559 0.3948 -1 1 2 1 4.538 0.002004 0.002447 0.0504 -0.0996 1 0.00001348 0.0004339 0.01216 0.001911 0.04372 0.8674 0.2835 0.02856 0.002784 1 1 0.00938 0.1158 0.3146 0.06018 0.7428 2.018 json
t16_x26_u2_b109 16 26 2 109 dot(R,frc(dst(R,R))) 97001 130980553 o2(x,o1(o2(x,x))) true 92815 92815 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_x26_u2_b110 16 26 2 110 dst(R,frc(add(R,R))) 97002 130980554 o2(x,o1(o2(x,x))) true 92823 92823 0.9445 1 0.9445 0.01531 0.1237 0.09982 1 0.9002 1 1.374 0.0003985 0.0004675 0.01262 -0.07974 1 -0.00003648 0.0002675 0.006207 0.0007069 0.02659 2.107 0.2028 0.05657 0.01747 1 1 0.00174 0.01632 0.03158 0.1137 1.066 2.063 json
t16_x26_u2_b111 16 26 2 111 dst(R,frc(sub(R,R))) 97003 130980555 o2(x,o1(o2(x,x))) true 92831 92831 0.897 1 0.897 0.02252 0.1501 0.09951 1 0.9005 1 2.181 0.0003411 0.0004606 0.01666 -0.149 1 -0.00001961 0.000143 0.005703 0.0005243 0.0229 1.374 0.1266 0.0356 0.006351 1 1 0.001342 0.015 0.03485 0.05959 0.666 1.547 json
t16_x26_u2_b112 16 26 2 112 dst(R,frc(mlt(R,R))) 97004 130980556 o2(x,o1(o2(x,x))) true 92839 92839 0.8317 1 0.8317 0.05249 0.2291 0.09374 1 0.9063 1 2.491 0.0009791 0.00123 0.02652 -0.1138 1 -0.00007425 0.0006094 0.01102 0.001506 0.0388 1.463 0.24 0.04209 0.01161 1 1 0.004207 0.04168 0.08927 0.08015 0.7941 1.701 json
t16_x26_u2_b113 16 26 2 113 dst(R,frc(div(R,R))) 97005 130980557 o2(x,o1(o2(x,x))) true 92847 92847 0.9502 1 0.9502 0.01327 0.1152 0.09954 1 0.9005 1 1.299 0.0003016 0.0003567 0.01071 -0.0838 1 -0.00004053 0.0002013 0.005065 0.0005433 0.02331 2.176 0.2071 0.0496 0.01516 1 1 0.001079 0.01 0.02138 0.08129 0.7535 1.61 json
t16_x26_u2_b114 16 26 2 114 dst(R,frc(pow(R,R))) 97006 130980558 o2(x,o1(o2(x,x))) true 92855 92855 -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_x26_u2_b115 16 26 2 115 dst(R,frc(mod(R,R))) 97007 130980559 o2(x,o1(o2(x,x))) true 92863 92863 0.9183 1 0.9183 0.02337 0.1529 0.09949 1 0.9005 1 1.802 0.0003995 0.0004229 0.01501 -0.02841 1 -0.00002434 0.0001495 0.005335 0.0005969 0.02443 1.627 0.1343 0.03518 0.006395 1 1 0.001305 0.01414 0.0382 0.05585 0.605 1.634 json
t16_x26_u2_b116 16 26 2 116 dst(R,frc(lrg(R,R))) 97008 130980560 o2(x,o1(o2(x,x))) true 92871 92871 0.897 1 0.897 0.02252 0.1501 0.09951 1 0.9005 1 2.181 0.0003411 0.0004606 0.01666 -0.149 1 -0.00001961 0.000143 0.005703 0.0005243 0.0229 1.374 0.1266 0.0356 0.006351 1 1 0.001342 0.015 0.03485 0.05959 0.666 1.547 json
t16_x26_u2_b117 16 26 2 117 dst(R,frc(eql(R,R))) 97009 130980561 o2(x,o1(o2(x,x))) true 92879 92879 0.897 1 0.897 0.02252 0.1501 0.09951 1 0.9005 1 2.181 0.0003411 0.0004606 0.01666 -0.149 1 -0.00001961 0.000143 0.005703 0.0005243 0.0229 1.374 0.1266 0.0356 0.006351 1 1 0.001342 0.015 0.03485 0.05959 0.666 1.547 json
t16_x26_u2_b118 16 26 2 118 dst(R,frc(min(R,R))) 97010 130980562 o2(x,o1(o2(x,x))) true 92887 92887 0.9191 1 0.9191 0.0494 0.2223 0.000291 1 0.9997 1 1.186 0.0009654 0.001125 0.01789 -0.0763 1 -0.000009421 0.000363 0.006146 0.00177 0.04208 2.351 0.2025 0.04231 0.007347 1 1 0.004557 0.05131 0.1057 0.09224 1.039 2.14 json
t16_x26_u2_b119 16 26 2 119 dst(R,frc(dot(R,R))) 97011 130980563 o2(x,o1(o2(x,x))) true 92895 92895 0.939 1 0.939 0.02085 0.1444 0.02413 1 0.9759 1 1.378 0.0004651 0.0005742 0.01331 -0.105 1 -0.00002727 0.0003034 0.006171 0.0008613 0.02935 2.204 0.2361 0.04985 0.01455 1 1 0.002061 0.02018 0.041 0.09885 0.9681 1.966 json
t16_x26_u2_b120 16 26 2 120 dst(R,frc(dst(R,R))) 97012 130980564 o2(x,o1(o2(x,x))) true 92903 92903 0.897 1 0.897 0.02252 0.1501 0.09951 1 0.9005 1 2.181 0.0003411 0.0004606 0.01666 -0.149 1 -0.00001961 0.000143 0.005703 0.0005243 0.0229 1.374 0.1266 0.0356 0.006351 1 1 0.001342 0.015 0.03485 0.05959 0.666 1.547 json
t16_x26_u3_b0 16 26 3 0 add(R,flr(add(R,R))) 97013 130980645 o2(x,o1(o2(x,x))) true 92911 92911 -0.2448 0.3892 0.7707 0.6391 0.7994 -1 1 2 1 3.478 0.01303 0.01508 0.098 -0.07316 1 0.0001007 0.007649 0.03929 0.01851 0.136 1.388 0.5808 0.04399 0.01197 1 1 0.05413 0.5296 1.221 0.0847 0.8287 1.911 json
t16_x26_u3_b1 16 26 3 1 add(R,flr(sub(R,R))) 97014 130980646 o2(x,o1(o2(x,x))) true 92919 92919 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_x26_u3_b2 16 26 3 2 add(R,flr(mlt(R,R))) 97015 130980647 o2(x,o1(o2(x,x))) true 92927 92927 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_x26_u3_b3 16 26 3 3 add(R,flr(div(R,R))) 97016 130980648 o2(x,o1(o2(x,x))) true 92935 92935 0.6371 0.9118 0.695 0.1778 0.4216 -0.9672 1 1.967 1 3.643 0.002976 0.003202 0.04996 -0.03661 1 -0.00005921 0.001109 0.01669 0.003682 0.06068 1.215 0.3432 0.03475 0.006239 1 1 0.01326 0.15 0.3473 0.0746 0.844 1.953 json
t16_x26_u3_b4 16 26 3 4 add(R,flr(pow(R,R))) 97017 130980649 o2(x,o1(o2(x,x))) true 92943 92943 -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_x26_u3_b5 16 26 3 5 add(R,flr(mod(R,R))) 97018 130980650 o2(x,o1(o2(x,x))) true 92951 92951 -0.08919 0.4606 0.4669 0.2995 0.5473 -1 0.9804 1.98 1 4.864 0.004378 0.004528 0.0722 -0.01685 1 0.0000451 0.0009553 0.01841 0.003694 0.06077 0.8417 0.3432 0.02974 0.00319 1 1 0.01879 0.2247 0.5782 0.06272 0.7504 1.93 json
t16_x26_u3_b6 16 26 3 6 add(R,flr(lrg(R,R))) 97019 130980651 o2(x,o1(o2(x,x))) true 92959 92959 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_x26_u3_b7 16 26 3 7 add(R,flr(eql(R,R))) 97020 130980652 o2(x,o1(o2(x,x))) true 92967 92967 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_x26_u3_b8 16 26 3 8 add(R,flr(min(R,R))) 97021 130980653 o2(x,o1(o2(x,x))) true 92975 92975 -0.3539 0.3544 0.6666 0.4315 0.6569 -1 0.9804 1.98 1 3.927 0.006974 0.008247 0.08425 -0.08369 1 0.0001444 0.002323 0.02589 0.008124 0.09014 1.07 0.347 0.03528 0.005383 1 1 0.02989 0.3406 0.8128 0.06928 0.7893 1.884 json
t16_x26_u3_b9 16 26 3 9 add(R,flr(dot(R,R))) 97022 130980654 o2(x,o1(o2(x,x))) true 92983 92983 0.4398 0.7992 0.5425 0.2229 0.4721 -0.8897 1 1.89 1 4.18 0.003667 0.003796 0.06045 -0.01728 1 -0.00006665 0.001357 0.01927 0.003809 0.06171 1.021 0.3455 0.03349 0.00609 1 1 0.01526 0.1715 0.4645 0.06848 0.7695 2.084 json
t16_x26_u3_b10 16 26 3 10 add(R,flr(dst(R,R))) 97023 130980655 o2(x,o1(o2(x,x))) true 92991 92991 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_x26_u3_b11 16 26 3 11 sub(R,flr(add(R,R))) 97024 130980656 o2(x,o1(o2(x,x))) true 92999 92999 0.4891 0.858 0.5333 0.1526 0.3906 -0.4843 1 1.484 1 4.232 0.002273 0.002765 0.05466 -0.09765 1 -0.00009027 0.0005341 0.01402 0.002052 0.0453 0.8287 0.2232 0.03302 0.0035 1 1 0.009799 0.1196 0.2994 0.06422 0.7841 1.962 json
t16_x26_u3_b12 16 26 3 12 sub(R,flr(sub(R,R))) 97025 130980657 o2(x,o1(o2(x,x))) true 93007 93007 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_x26_u3_b13 16 26 3 13 sub(R,flr(mlt(R,R))) 97026 130980658 o2(x,o1(o2(x,x))) true 93015 93015 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_x26_u3_b14 16 26 3 14 sub(R,flr(div(R,R))) 97027 130980659 o2(x,o1(o2(x,x))) true 93023 93023 -0.6349 0.07225 0.6788 0.1616 0.402 -1 0.9554 1.955 1 3.626 0.002566 0.002768 0.04759 -0.03784 1 0.00008998 0.0008925 0.01513 0.003068 0.05539 1.164 0.3151 0.033 0.005523 1 1 0.01059 0.1208 0.3308 0.06555 0.7475 2.047 json
t16_x26_u3_b15 16 26 3 15 sub(R,flr(pow(R,R))) 97028 130980660 o2(x,o1(o2(x,x))) true 93031 93031 -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_x26_u3_b16 16 26 3 16 sub(R,flr(mod(R,R))) 97029 130980661 o2(x,o1(o2(x,x))) true 93039 93039 0.134 0.6237 0.4122 0.2165 0.4652 -0.9989 0.9929 1.992 1 4.826 0.002575 0.002903 0.05996 -0.05985 1 0.00005076 0.0003148 0.01365 0.001883 0.04339 0.7236 0.2301 0.02531 0.001454 1 1 0.01024 0.1312 0.3753 0.04729 0.6062 1.734 json
t16_x26_u3_b17 16 26 3 17 sub(R,flr(lrg(R,R))) 97030 130980662 o2(x,o1(o2(x,x))) true 93047 93047 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_x26_u3_b18 16 26 3 18 sub(R,flr(eql(R,R))) 97031 130980663 o2(x,o1(o2(x,x))) true 93055 93055 -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_x26_u3_b19 16 26 3 19 sub(R,flr(min(R,R))) 97032 130980664 o2(x,o1(o2(x,x))) true 93063 93063 0.5266 1 0.5266 0.05091 0.2256 0.001084 0.997 0.9959 1 3.815 0.0007236 0.0006853 0.03089 0.02719 1 0.00004432 0.00008334 0.007111 0.0004549 0.02133 0.6905 0.1132 0.02767 0.001637 1 1 0.002542 0.03267 0.08567 0.04993 0.6416 1.683 json
t16_x26_u3_b20 16 26 3 20 sub(R,flr(dot(R,R))) 97033 130980665 o2(x,o1(o2(x,x))) true 93071 93071 -0.4321 0.1627 0.5182 0.1986 0.4457 -1 0.8752 1.875 1 4.175 0.002896 0.003635 0.05585 -0.1132 1 0.00008345 0.001189 0.0174 0.003411 0.0584 1.046 0.3495 0.03288 0.005986 1 1 0.01168 0.1291 0.3371 0.0588 0.6497 1.697 json
t16_x26_u3_b21 16 26 3 21 sub(R,flr(dst(R,R))) 97034 130980666 o2(x,o1(o2(x,x))) true 93079 93079 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_x26_u3_b22 16 26 3 22 mlt(R,flr(add(R,R))) 97035 130980667 o2(x,o1(o2(x,x))) true 93087 93087 0.5561 0.9969 0.5561 0.1169 0.3419 5.662e-9 1 1 1 3.751 0.001943 0.002082 0.04571 -0.03433 1 -0.00005308 0.0006692 0.01383 0.001936 0.044 0.9627 0.2263 0.03444 0.005726 1 1 0.00713 0.08211 0.2124 0.061 0.7025 1.817 json
t16_x26_u3_b23 16 26 3 23 mlt(R,flr(sub(R,R))) 97036 130980668 o2(x,o1(o2(x,x))) true 93095 93095 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_x26_u3_b24 16 26 3 24 mlt(R,flr(mlt(R,R))) 97037 130980669 o2(x,o1(o2(x,x))) true 93103 93103 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_x26_u3_b25 16 26 3 25 mlt(R,flr(div(R,R))) 97038 130980670 o2(x,o1(o2(x,x))) true 93111 93111 0.02519 0.4971 0.3349 0.1816 0.4261 -0.9989 0.9809 1.98 1 4.722 0.002252 0.002463 0.05486 -0.04485 1 0.00003711 0.0002706 0.01245 0.001706 0.0413 0.7529 0.2301 0.02596 0.00149 1 1 0.008707 0.1116 0.3161 0.04795 0.6147 1.741 json
t16_x26_u3_b26 16 26 3 26 mlt(R,flr(pow(R,R))) 97039 130980671 o2(x,o1(o2(x,x))) true 93119 93119 -0.957 0 0.957 0.04112 0.2028 -1 0 1 1 0.2557 0.00422 0.004094 0.008259 0.01515 1 0 0.01738 0.01663 0.008241 0.09078 10.99 1.414 0.2022 0.4228 1 1 0.006357 0.02738 0.06893 0.1546 0.6659 1.676 json
t16_x26_u3_b27 16 26 3 27 mlt(R,flr(mod(R,R))) 97040 130980672 o2(x,o1(o2(x,x))) true 93127 93127 0.06122 0.3568 0.06122 0.02251 0.15 0 0.9675 0.9675 1 1.356 0.0003364 0.0002954 0.0111 0.06491 1 -0.000002732 0.00003759 0.002657 0.0005086 0.02255 2.031 0.1132 0.02807 0.00167 1 1 0.001598 0.02055 0.05004 0.07098 0.9128 2.223 json
t16_x26_u3_b28 16 26 3 28 mlt(R,flr(lrg(R,R))) 97041 130980673 o2(x,o1(o2(x,x))) true 93135 93135 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_x26_u3_b29 16 26 3 29 mlt(R,flr(eql(R,R))) 97042 130980674 o2(x,o1(o2(x,x))) true 93143 93143 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_x26_u3_b30 16 26 3 30 mlt(R,flr(min(R,R))) 97043 130980675 o2(x,o1(o2(x,x))) true 93151 93151 0.2541 0.9259 0.2541 0.06549 0.2559 0 0.9989 0.9989 1 3.357 0.000768 0.0009295 0.0314 -0.09514 1 -0.00001332 0.00009988 0.007359 0.0007117 0.02668 0.8497 0.1168 0.02592 0.001525 1 1 0.003123 0.04017 0.1061 0.04769 0.6134 1.62 json
t16_x26_u3_b31 16 26 3 31 mlt(R,flr(dot(R,R))) 97044 130980676 o2(x,o1(o2(x,x))) true 93159 93159 0.0236 0.4892 0.3045 0.1814 0.4259 -1 1 2 1 4.459 0.002511 0.00268 0.0527 -0.03258 1 0.00007008 0.0004721 0.0128 0.002413 0.04912 0.9322 0.3395 0.02861 0.002603 1 1 0.01062 0.1287 0.3516 0.05857 0.7094 1.938 json
t16_x26_u3_b32 16 26 3 32 mlt(R,flr(dst(R,R))) 97045 130980677 o2(x,o1(o2(x,x))) true 93167 93167 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_x26_u3_b33 16 26 3 33 div(R,flr(add(R,R))) 97046 130980678 o2(x,o1(o2(x,x))) true 93175 93175 -0.309 0.4297 0.8316 0.6688 0.8178 -1 1 2 1 2.46 0.07125 0.06901 0.08834 0.01595 1 -3.126e-7 0.295 0.1637 0.1325 0.364 4.12 2.828 0.2097 0.4411 1 1 0.1346 0.5634 1.349 0.2013 0.8424 2.016 json
t16_x26_u3_b34 16 26 3 34 div(R,flr(sub(R,R))) 97047 130980679 o2(x,o1(o2(x,x))) true 93183 93183 -0.003204 0.4984 1 0.9999 1 -1 1 2 1 1 0.1153 0.1313 0.1164 -0.06462 1 0.0002834 0.6847 0.2465 0.2331 0.4828 4.148 2.828 0.2466 0.6848 1 1 0.248 0.9737 1.817 0.2481 0.9738 1.818 json
t16_x26_u3_b35 16 26 3 35 div(R,flr(mlt(R,R))) 97048 130980680 o2(x,o1(o2(x,x))) true 93191 93191 -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_x26_u3_b36 16 26 3 36 div(R,flr(div(R,R))) 97049 130980681 o2(x,o1(o2(x,x))) true 93199 93199 -0.5083 0.2432 0.7474 0.4166 0.6455 -1 1 2 1 3.197 0.03477 0.03212 0.06916 0.03966 1 0.0000113 0.1355 0.09314 0.06212 0.2492 3.604 2.828 0.1606 0.3253 1 1 0.05184 0.2444 0.6682 0.1244 0.5867 1.604 json
t16_x26_u3_b37 16 26 3 37 div(R,flr(pow(R,R))) 97050 130980682 o2(x,o1(o2(x,x))) true 93207 93207 -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_x26_u3_b38 16 26 3 38 div(R,flr(mod(R,R))) 97051 130980683 o2(x,o1(o2(x,x))) true 93215 93215 -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_x26_u3_b39 16 26 3 39 div(R,flr(lrg(R,R))) 97052 130980684 o2(x,o1(o2(x,x))) true 93223 93223 -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_x26_u3_b40 16 26 3 40 div(R,flr(eql(R,R))) 97053 130980685 o2(x,o1(o2(x,x))) true 93231 93231 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_x26_u3_b41 16 26 3 41 div(R,flr(min(R,R))) 97054 130980686 o2(x,o1(o2(x,x))) true 93239 93239 -0.7597 0.1367 0.9668 0.3768 0.6139 -1 1 2 1 0.9702 0.04081 0.04245 0.04694 -0.01967 1 0.000001442 0.1755 0.09114 0.08109 0.2848 6.067 2.828 0.221 0.4658 1 1 0.08531 0.3555 0.7697 0.2264 0.9434 2.043 json
t16_x26_u3_b42 16 26 3 42 div(R,flr(dot(R,R))) 97055 130980687 o2(x,o1(o2(x,x))) true 93247 93247 -0.8265 0.08459 0.9473 0.2449 0.4949 -1 1 2 1 1.202 0.02856 0.0253 0.03851 0.06066 1 6.774e-7 0.1116 0.06428 0.05236 0.2288 5.943 2.828 0.2199 0.4554 1 1 0.05168 0.2204 0.4929 0.211 0.8998 2.012 json
t16_x26_u3_b43 16 26 3 43 div(R,flr(dst(R,R))) 97056 130980688 o2(x,o1(o2(x,x))) true 93255 93255 -0.003204 0.4984 1 0.9999 1 -1 1 2 1 1 0.1153 0.1313 0.1164 -0.06462 1 0.0002834 0.6847 0.2465 0.2331 0.4828 4.148 2.828 0.2466 0.6848 1 1 0.248 0.9737 1.817 0.2481 0.9738 1.818 json
t16_x26_u3_b44 16 26 3 44 pow(R,flr(add(R,R))) 97057 130980689 o2(x,o1(o2(x,x))) true 93263 93263 -0.9183 0.04297 0.9958 0.1492 0.3863 -1 1 2 1 0.3464 0.01561 0.01474 0.01629 0.02846 1 -0.000003751 0.06346 0.03183 0.03007 0.1734 10.65 2.828 0.2034 0.4253 1 1 0.02287 0.09836 0.2514 0.1533 0.6592 1.685 json
t16_x26_u3_b45 16 26 3 45 pow(R,flr(sub(R,R))) 97058 130980690 o2(x,o1(o2(x,x))) true 93271 93271 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
t16_x26_u3_b46 16 26 3 46 pow(R,flr(mlt(R,R))) 97059 130980691 o2(x,o1(o2(x,x))) true 93279 93279 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
t16_x26_u3_b47 16 26 3 47 pow(R,flr(div(R,R))) 97060 130980692 o2(x,o1(o2(x,x))) true 93287 93287 -0.7374 0.1484 0.9658 0.4033 0.6351 -1 1 2 1 1.088 0.03395 0.03091 0.03977 0.04676 1 0.000003793 0.1348 0.07298 0.06323 0.2515 6.324 2.828 0.1608 0.3342 1 1 0.07591 0.3153 0.9897 0.1882 0.7818 2.454 json
t16_x26_u3_b48 16 26 3 48 pow(R,flr(pow(R,R))) 97061 130980693 o2(x,o1(o2(x,x))) true 93295 93295 -0.9141 0.04297 1 0.1645 0.4056 -1 1 2 1 0.2557 0.01688 0.01638 0.01652 0.01515 1 0 0.06954 0.03326 0.03297 0.1816 10.99 2.828 0.2022 0.4228 1 1 0.02543 0.1095 0.2757 0.1546 0.6659 1.676 json
t16_x26_u3_b49 16 26 3 49 pow(R,flr(mod(R,R))) 97062 130980694 o2(x,o1(o2(x,x))) true 93303 93303 0.2266 0.6133 1 0.9483 0.9738 -1 1 2 1 0.9626 0.06437 0.06614 0.06491 -0.01351 1 0 0.2702 0.1305 0.1264 0.3555 5.477 2.828 0.1376 0.285 1 1 0.1221 0.4964 1.876 0.1288 0.5235 1.978 json
t16_x26_u3_b50 16 26 3 50 pow(R,flr(lrg(R,R))) 97063 130980695 o2(x,o1(o2(x,x))) true 93311 93311 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
t16_x26_u3_b51 16 26 3 51 pow(R,flr(eql(R,R))) 97064 130980696 o2(x,o1(o2(x,x))) true 93319 93319 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_x26_u3_b52 16 26 3 52 pow(R,flr(min(R,R))) 97065 130980697 o2(x,o1(o2(x,x))) true 93327 93327 -0.9141 0.04297 1 0.1645 0.4056 -1 1 2 1 0.2557 0.01688 0.01638 0.01652 0.01515 1 0 0.06954 0.03326 0.03297 0.1816 10.99 2.828 0.2022 0.4228 1 1 0.02543 0.1095 0.2757 0.1546 0.6659 1.676 json
t16_x26_u3_b53 16 26 3 53 pow(R,flr(dot(R,R))) 97066 130980698 o2(x,o1(o2(x,x))) true 93335 93335 -0.3237 0.3594 0.9576 0.8253 0.9085 -1 1 2 1 1.779 0.04929 0.05629 0.06259 -0.06634 1 0.000005104 0.2175 0.1134 0.1017 0.3188 5.094 2.828 0.1279 0.2635 1 1 0.1124 0.4606 1.427 0.1362 0.5581 1.729 json
t16_x26_u3_b54 16 26 3 54 pow(R,flr(dst(R,R))) 97067 130980699 o2(x,o1(o2(x,x))) true 93343 93343 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
t16_x26_u3_b55 16 26 3 55 mod(R,flr(add(R,R))) 97068 130980700 o2(x,o1(o2(x,x))) true 93351 93351 -0.7198 0.1134 0.8283 0.2537 0.5037 -1 0.9805 1.981 1 2.406 0.02219 0.01934 0.05053 0.06871 1 -0.000005886 0.08208 0.06406 0.03897 0.1974 3.907 2.776 0.1637 0.3235 1 1 0.0452 0.2185 0.5583 0.1781 0.8612 2.2 json
t16_x26_u3_b56 16 26 3 56 mod(R,flr(sub(R,R))) 97069 130980701 o2(x,o1(o2(x,x))) true 93359 93359 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_x26_u3_b57 16 26 3 57 mod(R,flr(mlt(R,R))) 97070 130980702 o2(x,o1(o2(x,x))) true 93367 93367 -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_x26_u3_b58 16 26 3 58 mod(R,flr(div(R,R))) 97071 130980703 o2(x,o1(o2(x,x))) true 93375 93375 -0.5786 0.208 0.7474 0.3401 0.5832 -1 0.9693 1.969 1 3.017 0.02301 0.02437 0.05953 -0.02874 1 0.0000113 0.0941 0.07377 0.04385 0.2094 3.517 2.785 0.1393 0.2767 1 1 0.0454 0.2175 0.6303 0.1335 0.6394 1.853 json
t16_x26_u3_b59 16 26 3 59 mod(R,flr(pow(R,R))) 97072 130980704 o2(x,o1(o2(x,x))) true 93383 93383 -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_x26_u3_b60 16 26 3 60 mod(R,flr(mod(R,R))) 97073 130980705 o2(x,o1(o2(x,x))) true 93391 93391 -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_x26_u3_b61 16 26 3 61 mod(R,flr(lrg(R,R))) 97074 130980706 o2(x,o1(o2(x,x))) true 93399 93399 -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_x26_u3_b62 16 26 3 62 mod(R,flr(eql(R,R))) 97075 130980707 o2(x,o1(o2(x,x))) true 93407 93407 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_x26_u3_b63 16 26 3 63 mod(R,flr(min(R,R))) 97076 130980708 o2(x,o1(o2(x,x))) true 93415 93415 -0.9668 0 0.9668 0.01915 0.1384 -1 -0.007164 0.9928 1 0.6215 0.00171 0.001917 0.007503 -0.05728 1 -0.000001442 0.007437 0.01163 0.00357 0.05975 7.963 1.289 0.1894 0.3884 1 1 0.003992 0.01731 0.04085 0.2085 0.9041 2.133 json
t16_x26_u3_b64 16 26 3 64 mod(R,flr(dot(R,R))) 97077 130980709 o2(x,o1(o2(x,x))) true 93423 93423 -0.8978 0.04959 0.9503 0.1254 0.3541 -1 0.9805 1.981 1 0.9827 0.01419 0.01135 0.02461 0.111 1 6.773e-7 0.05134 0.03551 0.02494 0.1579 6.416 2.783 0.2037 0.4094 1 1 0.02931 0.1317 0.2996 0.2337 1.05 2.389 json
t16_x26_u3_b65 16 26 3 65 mod(R,flr(dst(R,R))) 97078 130980710 o2(x,o1(o2(x,x))) true 93431 93431 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_x26_u3_b66 16 26 3 66 lrg(R,flr(add(R,R))) 97079 130980711 o2(x,o1(o2(x,x))) true 93439 93439 0.7481 0.9977 0.7481 0.1128 0.3359 8.471e-8 1 1 1 2.818 0.001708 0.001753 0.04082 -0.01303 1 -0.00004992 0.0002041 0.009912 0.001795 0.04237 1.038 0.1169 0.03069 0.001809 1 1 0.007048 0.09095 0.239 0.06248 0.8063 2.119 json
t16_x26_u3_b67 16 26 3 67 lrg(R,flr(sub(R,R))) 97080 130980712 o2(x,o1(o2(x,x))) true 93447 93447 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_x26_u3_b68 16 26 3 68 lrg(R,flr(mlt(R,R))) 97081 130980713 o2(x,o1(o2(x,x))) true 93455 93455 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_x26_u3_b69 16 26 3 69 lrg(R,flr(div(R,R))) 97082 130980714 o2(x,o1(o2(x,x))) true 93463 93463 0.09766 0.3093 0.09766 0.05569 0.236 0 1 1 1 1.481 0.0007269 0.0007714 0.01782 -0.02968 1 -0.00003992 0.0000893 0.00432 0.001181 0.03436 1.929 0.1169 0.02691 0.001604 1 1 0.003155 0.04072 0.1218 0.05666 0.7313 2.187 json
t16_x26_u3_b70 16 26 3 70 lrg(R,flr(pow(R,R))) 97083 130980715 o2(x,o1(o2(x,x))) true 93471 93471 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
t16_x26_u3_b71 16 26 3 71 lrg(R,flr(mod(R,R))) 97084 130980716 o2(x,o1(o2(x,x))) true 93479 93479 0.6074 0.9604 0.6074 0.1508 0.3883 0 1 1 1 3.255 0.001837 0.002234 0.04764 -0.09765 1 0.000006431 0.0002359 0.01154 0.001802 0.04245 0.8912 0.1169 0.027 0.001565 1 1 0.00779 0.1 0.2691 0.05167 0.6633 1.785 json
t16_x26_u3_b72 16 26 3 72 lrg(R,flr(lrg(R,R))) 97085 130980717 o2(x,o1(o2(x,x))) true 93487 93487 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_x26_u3_b73 16 26 3 73 lrg(R,flr(eql(R,R))) 97086 130980718 o2(x,o1(o2(x,x))) true 93495 93495 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_x26_u3_b74 16 26 3 74 lrg(R,flr(min(R,R))) 97087 130980719 o2(x,o1(o2(x,x))) true 93503 93503 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
t16_x26_u3_b75 16 26 3 75 lrg(R,flr(dot(R,R))) 97088 130980720 o2(x,o1(o2(x,x))) true 93511 93511 0.2051 0.5824 0.2051 0.1005 0.317 0 1 1 1 2.468 0.001454 0.001426 0.03393 0.009671 1 -0.00004705 0.0001695 0.008223 0.001729 0.04158 1.225 0.1169 0.02866 0.001687 1 1 0.00486 0.06293 0.1828 0.04836 0.6263 1.819 json
t16_x26_u3_b76 16 26 3 76 lrg(R,flr(dst(R,R))) 97089 130980721 o2(x,o1(o2(x,x))) true 93519 93519 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_x26_u3_b77 16 26 3 77 eql(R,flr(add(R,R))) 97090 130980722 o2(x,o1(o2(x,x))) true 93527 93527 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_x26_u3_b78 16 26 3 78 eql(R,flr(sub(R,R))) 97091 130980723 o2(x,o1(o2(x,x))) true 93535 93535 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_x26_u3_b79 16 26 3 79 eql(R,flr(mlt(R,R))) 97092 130980724 o2(x,o1(o2(x,x))) true 93543 93543 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_x26_u3_b80 16 26 3 80 eql(R,flr(div(R,R))) 97093 130980725 o2(x,o1(o2(x,x))) true 93551 93551 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_x26_u3_b81 16 26 3 81 eql(R,flr(pow(R,R))) 97094 130980726 o2(x,o1(o2(x,x))) true 93559 93559 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_x26_u3_b82 16 26 3 82 eql(R,flr(mod(R,R))) 97095 130980727 o2(x,o1(o2(x,x))) true 93567 93567 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_x26_u3_b83 16 26 3 83 eql(R,flr(lrg(R,R))) 97096 130980728 o2(x,o1(o2(x,x))) true 93575 93575 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_x26_u3_b84 16 26 3 84 eql(R,flr(eql(R,R))) 97097 130980729 o2(x,o1(o2(x,x))) true 93583 93583 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_x26_u3_b85 16 26 3 85 eql(R,flr(min(R,R))) 97098 130980730 o2(x,o1(o2(x,x))) true 93591 93591 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_x26_u3_b86 16 26 3 86 eql(R,flr(dot(R,R))) 97099 130980731 o2(x,o1(o2(x,x))) true 93599 93599 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