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_x17_u3_b110 16 17 3 110 dst(D,flr(add(R,R))) 89500 130617146 o2(x,o1(o2(x,x))) true 32807 32807 0.9958 1 0.9958 0.001993 0.04464 0.04511 1 0.9549 1 0.1499 0.0001283 0.0001293 0.001952 -0.004018 1 0.000001072 0.0001263 0.001467 0.0002538 0.01593 8.162 0.3011 0.1292 0.06337 1 1 0.0002949 0.002185 0.002906 0.148 1.096 1.458 json
t16_x17_u3_b111 16 17 3 111 dst(D,flr(sub(R,R))) 89501 130617147 o2(x,o1(o2(x,x))) true 32815 32815 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
t16_x17_u3_b112 16 17 3 112 dst(D,flr(mlt(R,R))) 89502 130617148 o2(x,o1(o2(x,x))) true 32823 32823 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
t16_x17_u3_b113 16 17 3 113 dst(D,flr(div(R,R))) 89503 130617149 o2(x,o1(o2(x,x))) true 32831 32831 0.9957 1 0.9957 0.001672 0.04089 0.04489 1 0.9551 1 0.1782 0.00008346 0.00009035 0.001947 -0.03967 1 -0.000003984 0.00008131 0.001457 0.00017 0.01304 6.696 0.2166 0.1039 0.04862 1 1 0.0005208 0.004207 0.004034 0.3115 2.516 2.412 json
t16_x17_u3_b114 16 17 3 114 dst(D,flr(pow(R,R))) 89504 130617150 o2(x,o1(o2(x,x))) true 32839 32839 -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_x17_u3_b115 16 17 3 115 dst(D,flr(mod(R,R))) 89505 130617151 o2(x,o1(o2(x,x))) true 32847 32847 0.6176 1 0.6176 0.07347 0.2711 0.04419 1 0.9558 1 3.691 0.002424 0.002532 0.05995 -0.02163 1 -0.0003894 0.0007848 0.01869 0.001362 0.0369 0.6156 0.1913 0.06745 0.01068 1 1 0.00981 0.09017 0.1128 0.1335 1.227 1.535 json
t16_x17_u3_b116 16 17 3 116 dst(D,flr(lrg(R,R))) 89506 130617152 o2(x,o1(o2(x,x))) true 32855 32855 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
t16_x17_u3_b117 16 17 3 117 dst(D,flr(eql(R,R))) 89507 130617153 o2(x,o1(o2(x,x))) true 32863 32863 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_x17_u3_b118 16 17 3 118 dst(D,flr(min(R,R))) 89508 130617154 o2(x,o1(o2(x,x))) true 32871 32871 0.9505 1 0.9505 0.02227 0.1492 0.04446 1 0.9555 1 1.11 0.0007928 0.0008616 0.01611 -0.04156 1 -0.00002423 0.0004578 0.007699 0.001395 0.03735 2.319 0.2172 0.07428 0.02056 1 1 0.003556 0.03258 0.04559 0.1597 1.463 2.047 json
t16_x17_u3_b119 16 17 3 119 dst(D,flr(dot(R,R))) 89509 130617155 o2(x,o1(o2(x,x))) true 32879 32879 0.8027 1 0.8027 0.07855 0.2803 0.04473 1 0.9553 1 2.433 0.002687 0.002954 0.04407 -0.04726 1 -0.000385 0.001708 0.01923 0.003699 0.06082 1.38 0.2996 0.07181 0.02174 1 1 0.01048 0.08583 0.1274 0.1334 1.093 1.622 json
t16_x17_u3_b120 16 17 3 120 dst(D,flr(dst(R,R))) 89510 130617156 o2(x,o1(o2(x,x))) true 32887 32887 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
t16_x17_u4_b0 16 17 4 0 add(D,cil(add(R,R))) 89511 130617237 o2(x,o1(o2(x,x))) true 32895 32895 0.3334 0.6858 0.6503 0.4413 0.6643 -1 1 2 1 4.135 0.008188 0.00845 0.09089 -0.01573 1 -0.00005319 0.002893 0.02939 0.008376 0.09152 1.007 0.4051 0.0377 0.006555 1 1 0.03144 0.3453 0.7548 0.07125 0.7825 1.71 json
t16_x17_u4_b1 16 17 4 1 add(D,cil(sub(R,R))) 89512 130617238 o2(x,o1(o2(x,x))) true 32903 32903 0 0.5 0.09436 0.01082 0.104 -0.1454 0.1454 0.2908 1 2.561 0.001632 0 0.03609 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 5.236e-15 0.2912 2.017 4.838e-13 json
t16_x17_u4_b2 16 17 4 2 add(D,cil(mlt(R,R))) 89513 130617239 o2(x,o1(o2(x,x))) true 32911 32911 0.9529 1 0.9529 0.003185 0.05644 0.8546 1 0.1454 1 1.329 0.0007155 0 0.01812 1 1 0.0001582 0.0003006 0.01323 0.0003869 0.01967 1.085 0.05567 0.2246 0.09439 1 1 0.0013 0.005463 0 0.4081 1.715 0 json
t16_x17_u4_b3 16 17 4 3 add(D,cil(div(R,R))) 89514 130617240 o2(x,o1(o2(x,x))) true 32919 32919 0.9547 1 0.9547 0.003126 0.05591 0.8546 1 0.1454 1 1.305 0.0006942 0.000004373 0.01763 0.9875 1 0.0001376 0.0003026 0.013 0.0003878 0.01969 1.117 0.07066 0.2235 0.09682 1 1 0.001286 0.005396 0.0002338 0.4114 1.726 0.07478 json
t16_x17_u4_b4 16 17 4 4 add(D,cil(pow(R,R))) 89515 130617241 o2(x,o1(o2(x,x))) true 32927 32927 -0.9161 0.04297 0.998 0.1568 0.396 -1 1 2 1 0.3129 0.01663 0.01561 0.01693 0.03189 1 0.00001004 0.06791 0.03323 0.03194 0.1787 10.56 2.785 0.2056 0.433 1 1 0.02444 0.1042 0.2628 0.1558 0.6644 1.676 json
t16_x17_u4_b5 16 17 4 5 add(D,cil(mod(R,R))) 89516 130617242 o2(x,o1(o2(x,x))) true 32935 32935 0.09676 0.5893 0.1715 0.06455 0.2541 -0.1454 1 1.145 1 3.374 0.002314 0.0007608 0.04625 0.5051 1 -0.00004131 0.0003748 0.01568 0.0009363 0.0306 0.6616 0.1713 0.04763 0.005806 1 1 0.006277 0.06151 0.118 0.09724 0.9528 1.828 json
t16_x17_u4_b6 16 17 4 6 add(D,cil(lrg(R,R))) 89517 130617243 o2(x,o1(o2(x,x))) true 32943 32943 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
t16_x17_u4_b7 16 17 4 7 add(D,cil(eql(R,R))) 89518 130617244 o2(x,o1(o2(x,x))) true 32951 32951 0.9529 1 0.9529 0.003185 0.05644 0.8546 1 0.1454 1 1.329 0.0007155 0 0.01812 1 1 0.0001582 0.0003006 0.01323 0.0003869 0.01967 1.085 0.05567 0.2246 0.09439 1 1 0.0013 0.005463 2.693e-15 0.4081 1.715 8.454e-13 json
t16_x17_u4_b8 16 17 4 8 add(D,cil(min(R,R))) 89519 130617245 o2(x,o1(o2(x,x))) true 32959 32959 0.4724 0.846 0.4956 0.1536 0.3919 -0.1454 1 1.145 1 4.04 0.003373 0.002386 0.06328 0.1715 1 0.00003424 0.0006621 0.01757 0.001756 0.0419 0.6622 0.1713 0.0375 0.004311 1 1 0.01136 0.1266 0.2692 0.07399 0.8245 1.753 json
t16_x17_u4_b9 16 17 4 9 add(D,cil(dot(R,R))) 89520 130617246 o2(x,o1(o2(x,x))) true 32967 32967 0.9895 1 0.9895 0.0009557 0.03091 0.8546 1 0.1454 1 0.5096 0.0002016 0.00003892 0.005556 0.6764 1 0.00001508 0.0002024 0.005412 0.0002095 0.01448 2.605 0.08635 0.2517 0.2118 1 1 0.0003897 0.001413 0.001492 0.4078 1.478 1.561 json
t16_x17_u4_b10 16 17 4 10 add(D,cil(dst(R,R))) 89521 130617247 o2(x,o1(o2(x,x))) true 32975 32975 0 0.5 0.09436 0.01082 0.104 -0.1454 0.1454 0.2908 1 2.561 0.001632 0 0.03609 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 5.236e-15 0.2912 2.017 4.838e-13 json
t16_x17_u4_b11 16 17 4 11 sub(D,cil(add(R,R))) 89522 130617248 o2(x,o1(o2(x,x))) true 32983 32983 -0.3328 0.3142 0.6493 0.4394 0.6629 -1 1 2 1 4.142 0.008084 0.008439 0.08997 -0.02151 1 0.00006102 0.002894 0.02891 0.008427 0.0918 1.02 0.4051 0.0376 0.006587 1 1 0.03103 0.3408 0.7556 0.07062 0.7755 1.72 json
t16_x17_u4_b12 16 17 4 12 sub(D,cil(sub(R,R))) 89523 130617249 o2(x,o1(o2(x,x))) true 32991 32991 0 0.5 0.09436 0.01082 0.104 -0.1454 0.1454 0.2908 1 2.561 0.001632 0 0.03609 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 5.236e-15 0.2912 2.017 4.838e-13 json
t16_x17_u4_b13 16 17 4 13 sub(D,cil(mlt(R,R))) 89524 130617250 o2(x,o1(o2(x,x))) true 32999 32999 -0.9529 0 0.9529 0.003185 0.05644 -1 -0.8546 0.1454 1 1.329 0.0007092 0 0.01796 1 1 -0.0001582 0.0003006 0.01323 0.0003863 0.01965 1.094 0.05567 0.2227 0.09439 1 1 0.001259 0.005463 0 0.3952 1.715 0 json
t16_x17_u4_b14 16 17 4 14 sub(D,cil(div(R,R))) 89525 130617251 o2(x,o1(o2(x,x))) true 33007 33007 -0.9546 0 0.9546 0.003127 0.05592 -1 -0.8546 0.1454 1 1.307 0.0006899 0.000003838 0.01751 0.9889 1 -0.0001583 0.0003047 0.01305 0.0003871 0.01967 1.123 0.06917 0.2218 0.09744 1 1 0.001245 0.005378 0.0002151 0.398 1.72 0.06878 json
t16_x17_u4_b15 16 17 4 15 sub(D,cil(pow(R,R))) 89526 130617252 o2(x,o1(o2(x,x))) true 33015 33015 -0.998 0 0.998 0.0002283 0.01511 -1 -0.8546 0.1454 1 0.1351 0.00002872 0.00002264 0.0009066 0.1184 0 -0.00002009 0.00006375 0.0009138 0.00005052 0.007108 7.84 0.1455 0.225 0.2792 1 1 0.00005058 0.0002165 0.0003801 0.2215 0.9484 1.665 json
t16_x17_u4_b16 16 17 4 16 sub(D,cil(mod(R,R))) 89527 130617253 o2(x,o1(o2(x,x))) true 33023 33023 -0.09669 0.4126 0.1718 0.06497 0.2549 -1 0.1454 1.145 1 3.373 0.00234 0.0007612 0.04655 0.5092 1 0.00003902 0.0003782 0.01569 0.0009364 0.0306 0.6574 0.1713 0.04773 0.005821 1 1 0.006099 0.06013 0.1177 0.09387 0.9255 1.812 json
t16_x17_u4_b17 16 17 4 17 sub(D,cil(lrg(R,R))) 89528 130617254 o2(x,o1(o2(x,x))) true 33031 33031 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
t16_x17_u4_b18 16 17 4 18 sub(D,cil(eql(R,R))) 89529 130617255 o2(x,o1(o2(x,x))) true 33039 33039 -0.9529 0 0.9529 0.003185 0.05644 -1 -0.8546 0.1454 1 1.329 0.0007092 0 0.01796 1 1 -0.0001582 0.0003006 0.01323 0.0003863 0.01965 1.094 0.05567 0.2227 0.09439 1 1 0.001259 0.005463 4.338e-15 0.3952 1.715 1.362e-12 json
t16_x17_u4_b19 16 17 4 19 sub(D,cil(min(R,R))) 89530 130617256 o2(x,o1(o2(x,x))) true 33047 33047 -0.4726 0.1515 0.4954 0.1528 0.3909 -1 0.1454 1.145 1 4.044 0.003321 0.002384 0.06297 0.1641 1 -0.00001363 0.0006541 0.01751 0.00174 0.04171 0.6624 0.1713 0.03734 0.004282 1 1 0.01109 0.1243 0.2688 0.07262 0.8134 1.76 json
t16_x17_u4_b20 16 17 4 20 sub(D,cil(dot(R,R))) 89531 130617257 o2(x,o1(o2(x,x))) true 33055 33055 -0.9894 0 0.9894 0.000966 0.03108 -1 -0.8546 0.1454 1 0.5136 0.0002017 0.00003914 0.005567 0.6749 1 -0.00002293 0.000203 0.005445 0.00021 0.01449 2.603 0.08395 0.2493 0.2102 1 1 0.0003772 0.001407 0.001436 0.3905 1.456 1.487 json
t16_x17_u4_b21 16 17 4 21 sub(D,cil(dst(R,R))) 89532 130617258 o2(x,o1(o2(x,x))) true 33063 33063 0 0.5 0.09436 0.01082 0.104 -0.1454 0.1454 0.2908 1 2.561 0.001632 0 0.03609 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 5.236e-15 0.2912 2.017 4.838e-13 json
t16_x17_u4_b22 16 17 4 22 mlt(D,cil(add(R,R))) 89533 130617259 o2(x,o1(o2(x,x))) true 33071 33071 0.002235 0.5045 0.174 0.05668 0.2381 -0.7581 0.7581 1.516 1 3.901 0.003165 0.0008075 0.05392 0.5935 1 -0.00005934 0.0004268 0.01615 0.001065 0.03264 0.6052 0.1542 0.07009 0.00753 1 1 0.007845 0.08479 0.108 0.1384 1.496 1.905 json
t16_x17_u4_b23 16 17 4 23 mlt(D,cil(sub(R,R))) 89534 130617260 o2(x,o1(o2(x,x))) true 33079 33079 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_x17_u4_b24 16 17 4 24 mlt(D,cil(mlt(R,R))) 89535 130617261 o2(x,o1(o2(x,x))) true 33087 33087 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
t16_x17_u4_b25 16 17 4 25 mlt(D,cil(div(R,R))) 89536 130617262 o2(x,o1(o2(x,x))) true 33095 33095 -0.0005587 0.4992 0.09698 0.01189 0.109 -0.3843 0.3843 0.7687 1 2.68 0.001717 0.00001062 0.03696 0.9877 1 0.00001004 0.0002687 0.01485 0.0003628 0.01905 0.5154 0.1244 0.1453 0.0226 1 1 0.003227 0.02247 0.0008977 0.2715 1.89 0.07552 json
t16_x17_u4_b26 16 17 4 26 mlt(D,cil(pow(R,R))) 89537 130617263 o2(x,o1(o2(x,x))) true 33103 33103 -0.957 0.02148 0.9611 0.04159 0.2039 -1 0.1454 1.145 1 0.3658 0.004268 0.004132 0.009566 0.01619 1 -0.00001004 0.01749 0.01716 0.008309 0.09115 9.529 1.37 0.202 0.4205 1 1 0.006414 0.02763 0.06963 0.1542 0.6645 1.674 json
t16_x17_u4_b27 16 17 4 27 mlt(D,cil(mod(R,R))) 89538 130617264 o2(x,o1(o2(x,x))) true 33111 33111 -0.0005587 0.1445 0.02432 0.003956 0.0629 -0.2728 0.2729 0.5457 1 1.408 0.0002223 0.00005739 0.007717 0.5897 1 0.00001474 0.00002904 0.002271 0.00022 0.01483 1.922 0.06407 0.07071 0.00734 1 1 0.0006049 0.006364 0.008548 0.1529 1.609 2.161 json
t16_x17_u4_b28 16 17 4 28 mlt(D,cil(lrg(R,R))) 89539 130617265 o2(x,o1(o2(x,x))) true 33119 33119 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_x17_u4_b29 16 17 4 29 mlt(D,cil(eql(R,R))) 89540 130617266 o2(x,o1(o2(x,x))) true 33127 33127 0 0.5 0.09436 0.01082 0.104 -0.1454 0.1454 0.2908 1 2.561 0.001632 0 0.03609 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 5.236e-15 0.2912 2.017 4.838e-13 json
t16_x17_u4_b30 16 17 4 30 mlt(D,cil(min(R,R))) 89541 130617267 o2(x,o1(o2(x,x))) true 33135 33135 0.001117 0.4528 0.08225 0.01313 0.1146 -0.2729 0.2729 0.5458 1 2.887 0.0009306 0.0001635 0.02701 0.7011 1 -0.00002655 0.0001336 0.008913 0.0003646 0.01909 0.7068 0.06407 0.08332 0.01017 1 1 0.002066 0.02006 0.0213 0.1573 1.527 1.622 json
t16_x17_u4_b31 16 17 4 31 mlt(D,cil(dot(R,R))) 89542 130617268 o2(x,o1(o2(x,x))) true 33143 33143 -0.0005587 0.4988 0.1635 0.03876 0.1969 -0.6506 0.6506 1.301 1 3.666 0.004622 0.0001923 0.06069 0.9201 1 0.00001374 0.0007106 0.02341 0.00113 0.03362 0.5539 0.1869 0.1242 0.01833 1 1 0.009709 0.07451 0.02795 0.2505 1.922 0.721 json
t16_x17_u4_b32 16 17 4 32 mlt(D,cil(dst(R,R))) 89543 130617269 o2(x,o1(o2(x,x))) true 33151 33151 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_x17_u4_b33 16 17 4 33 div(D,cil(add(R,R))) 89544 130617270 o2(x,o1(o2(x,x))) true 33159 33159 -0.5029 0.2481 0.7644 0.4854 0.6967 -1 1 2 1 2.217 0.05677 0.05644 0.0807 0.002878 1 -0.0000069 0.2382 0.1446 0.1067 0.3266 4.047 2.828 0.2332 0.4908 1 1 0.1272 0.5284 1.114 0.262 1.089 2.295 json
t16_x17_u4_b34 16 17 4 34 div(D,cil(sub(R,R))) 89545 130617271 o2(x,o1(o2(x,x))) true 33167 33167 0 0.5 1 1 1 -1 1 2 1 1 0.4921 0 0.246 1 1 0 0.9841 0.4921 0.4315 0.6569 2.67 2 0.4921 0.9841 1 1 0.4947 2 0 0.4947 2 0 json
t16_x17_u4_b35 16 17 4 35 div(D,cil(mlt(R,R))) 89546 130617272 o2(x,o1(o2(x,x))) true 33175 33175 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
t16_x17_u4_b36 16 17 4 36 div(D,cil(div(R,R))) 89547 130617273 o2(x,o1(o2(x,x))) true 33183 33183 0.0002793 0.5007 0.09414 0.01084 0.1041 -0.1922 0.1922 0.3844 1 2.581 0.001617 0.000002654 0.03595 0.9967 1 -0.000005021 0.0002535 0.0145 0.0003275 0.0181 0.5034 0.06206 0.1495 0.0234 1 1 0.003141 0.02183 0.0002244 0.2899 2.015 0.02071 json
t16_x17_u4_b37 16 17 4 37 div(D,cil(pow(R,R))) 89548 130617274 o2(x,o1(o2(x,x))) true 33191 33191 -0.957 0.02148 0.9611 0.04159 0.2039 -1 0.1454 1.145 1 0.3658 0.004268 0.004132 0.009566 0.01619 1 -0.00001004 0.01749 0.01716 0.008309 0.09115 9.529 1.37 0.202 0.4205 1 1 0.006414 0.02763 0.06963 0.1542 0.6645 1.674 json
t16_x17_u4_b38 16 17 4 38 div(D,cil(mod(R,R))) 89549 130617275 o2(x,o1(o2(x,x))) true 33199 33199 -0.9922 0.003906 1 0.01556 0.1248 -1 1 2 1 0.03687 0.002016 0.002016 0.001997 0 1 0 0.008566 0.004031 0.004025 0.06344 31.77 2.828 0.259 0.5504 1 1 0.007091 0.02837 0.05673 0.4556 1.823 3.645 json
t16_x17_u4_b39 16 17 4 39 div(D,cil(lrg(R,R))) 89550 130617276 o2(x,o1(o2(x,x))) true 33207 33207 -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_x17_u4_b40 16 17 4 40 div(D,cil(eql(R,R))) 89551 130617277 o2(x,o1(o2(x,x))) true 33215 33215 0 0.5 0.09436 0.01082 0.104 -0.1454 0.1454 0.2908 1 2.561 0.001632 0 0.03609 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 5.236e-15 0.2912 2.017 4.838e-13 json
t16_x17_u4_b41 16 17 4 41 div(D,cil(min(R,R))) 89552 130617278 o2(x,o1(o2(x,x))) true 33223 33223 -0.8398 0.08008 0.9611 0.2521 0.5021 -1 1 2 1 0.6838 0.02956 0.03297 0.03633 -0.05464 1 -0.00001004 0.1324 0.07102 0.06117 0.2473 6.808 2.828 0.2481 0.5253 1 1 0.06153 0.2537 0.535 0.2441 1.007 2.123 json
t16_x17_u4_b42 16 17 4 42 div(D,cil(dot(R,R))) 89553 130617279 o2(x,o1(o2(x,x))) true 33231 33231 0.0004656 0.5014 0.07708 0.008505 0.09222 -0.2169 0.2169 0.4337 1 2.641 0.001021 0.00004112 0.02857 0.9225 1 -0.00001178 0.0001568 0.01102 0.0002455 0.01567 0.5485 0.06225 0.1248 0.01844 1 1 0.002019 0.01544 0.005508 0.2373 1.815 0.6476 json
t16_x17_u4_b43 16 17 4 43 div(D,cil(dst(R,R))) 89554 130617280 o2(x,o1(o2(x,x))) true 33239 33239 0 0.5 1 1 1 -1 1 2 1 1 0.4921 0 0.246 1 1 0 0.9841 0.4921 0.4315 0.6569 2.67 2 0.4921 0.9841 1 1 0.4947 2 0 0.4947 2 0 json
t16_x17_u4_b44 16 17 4 44 pow(D,cil(add(R,R))) 89555 130617281 o2(x,o1(o2(x,x))) true 33247 33247 -0.8623 0.07422 0.9893 0.2413 0.4913 -1 1 2 1 0.543 0.02489 0.02522 0.02864 -0.006669 1 -0.00002081 0.1056 0.05349 0.04928 0.222 7.752 2.828 0.2076 0.4377 1 1 0.05378 0.2351 0.5321 0.2228 0.974 2.205 json
t16_x17_u4_b45 16 17 4 45 pow(D,cil(sub(R,R))) 89556 130617282 o2(x,o1(o2(x,x))) true 33255 33255 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_x17_u4_b46 16 17 4 46 pow(D,cil(mlt(R,R))) 89557 130617283 o2(x,o1(o2(x,x))) true 33263 33263 -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_x17_u4_b47 16 17 4 47 pow(D,cil(div(R,R))) 89558 130617284 o2(x,o1(o2(x,x))) true 33271 33271 -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_x17_u4_b48 16 17 4 48 pow(D,cil(pow(R,R))) 89559 130617285 o2(x,o1(o2(x,x))) true 33279 33279 -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_x17_u4_b49 16 17 4 49 pow(D,cil(mod(R,R))) 89560 130617286 o2(x,o1(o2(x,x))) true 33287 33287 0.5992 0.8125 0.9742 0.6033 0.7767 -1 1 2 1 1.263 0.05504 0.03287 0.05239 0.2522 1 0.000009149 0.1823 0.09412 0.0852 0.2919 5.572 2.828 0.1457 0.3021 1 1 0.08694 0.3761 1.165 0.1441 0.6235 1.93 json
t16_x17_u4_b50 16 17 4 50 pow(D,cil(lrg(R,R))) 89561 130617287 o2(x,o1(o2(x,x))) true 33295 33295 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_x17_u4_b51 16 17 4 51 pow(D,cil(eql(R,R))) 89562 130617288 o2(x,o1(o2(x,x))) true 33303 33303 0 0.5 0.09436 0.01082 0.104 -0.1454 0.1454 0.2908 1 2.561 0.001632 0 0.03609 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 5.236e-15 0.2912 2.017 4.838e-13 json
t16_x17_u4_b52 16 17 4 52 pow(D,cil(min(R,R))) 89563 130617289 o2(x,o1(o2(x,x))) true 33311 33311 -0.5319 0.2539 0.9603 0.6607 0.8128 -1 1 2 1 1.406 0.06644 0.05715 0.07458 0.07511 1 -0.00001623 0.2574 0.1346 0.118 0.3435 4.606 2.828 0.1871 0.3895 1 1 0.1309 0.5607 1.257 0.1981 0.8486 1.902 json
t16_x17_u4_b53 16 17 4 53 pow(D,cil(dot(R,R))) 89564 130617290 o2(x,o1(o2(x,x))) true 33319 33319 -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_x17_u4_b54 16 17 4 54 pow(D,cil(dst(R,R))) 89565 130617291 o2(x,o1(o2(x,x))) true 33327 33327 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_x17_u4_b55 16 17 4 55 mod(D,cil(add(R,R))) 89566 130617292 o2(x,o1(o2(x,x))) true 33335 33335 -0.7305 0.1348 0.7559 0.1998 0.4469 -1 0.1454 1.145 1 1.531 0.01404 0.01709 0.0393 -0.09804 1 -0.0000113 0.06415 0.06468 0.0296 0.1721 4.378 1.415 0.1559 0.3212 1 1 0.02998 0.1268 0.3838 0.1501 0.6348 1.921 json
t16_x17_u4_b56 16 17 4 56 mod(D,cil(sub(R,R))) 89567 130617293 o2(x,o1(o2(x,x))) true 33343 33343 0 0.5 0.09436 0.01082 0.104 -0.1454 0.1454 0.2908 1 2.561 0.001632 0 0.03609 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 5.236e-15 0.2912 2.017 4.838e-13 json
t16_x17_u4_b57 16 17 4 57 mod(D,cil(mlt(R,R))) 89568 130617294 o2(x,o1(o2(x,x))) true 33351 33351 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
t16_x17_u4_b58 16 17 4 58 mod(D,cil(div(R,R))) 89569 130617295 o2(x,o1(o2(x,x))) true 33359 33359 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
t16_x17_u4_b59 16 17 4 59 mod(D,cil(pow(R,R))) 89570 130617296 o2(x,o1(o2(x,x))) true 33367 33367 -0.957 0.02148 0.9611 0.04159 0.2039 -1 0.1454 1.145 1 0.3658 0.004268 0.004132 0.009566 0.01619 1 -0.00001004 0.01749 0.01716 0.008309 0.09115 9.529 1.37 0.202 0.4205 1 1 0.006414 0.02763 0.06963 0.1542 0.6645 1.674 json
t16_x17_u4_b60 16 17 4 60 mod(D,cil(mod(R,R))) 89571 130617297 o2(x,o1(o2(x,x))) true 33375 33375 -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_x17_u4_b61 16 17 4 61 mod(D,cil(lrg(R,R))) 89572 130617298 o2(x,o1(o2(x,x))) true 33383 33383 -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_x17_u4_b62 16 17 4 62 mod(D,cil(eql(R,R))) 89573 130617299 o2(x,o1(o2(x,x))) true 33391 33391 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
t16_x17_u4_b63 16 17 4 63 mod(D,cil(min(R,R))) 89574 130617300 o2(x,o1(o2(x,x))) true 33399 33399 -0.957 0.02148 0.9611 0.04159 0.2039 -1 0.1454 1.145 1 0.3658 0.004268 0.004132 0.009566 0.01619 1 -0.00001004 0.01749 0.01716 0.008309 0.09115 9.529 1.37 0.202 0.4205 1 1 0.006414 0.02763 0.06963 0.1542 0.6645 1.674 json
t16_x17_u4_b64 16 17 4 64 mod(D,cil(dot(R,R))) 89575 130617301 o2(x,o1(o2(x,x))) true 33407 33407 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
t16_x17_u4_b65 16 17 4 65 mod(D,cil(dst(R,R))) 89576 130617302 o2(x,o1(o2(x,x))) true 33415 33415 0 0.5 0.09436 0.01082 0.104 -0.1454 0.1454 0.2908 1 2.561 0.001632 0 0.03609 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 5.236e-15 0.2912 2.017 4.838e-13 json
t16_x17_u4_b66 16 17 4 66 lrg(D,cil(add(R,R))) 89577 130617303 o2(x,o1(o2(x,x))) true 33423 33423 0.3779 0.8597 0.3779 0.1437 0.3791 0 1 1 1 3.296 0.01587 0.002087 0.06572 0.7676 1 -0.00001213 0.02817 0.04453 0.01364 0.1168 1.777 1 0.1249 0.196 1 1 0.02357 0.1451 0.25 0.1641 1.01 1.739 json
t16_x17_u4_b67 16 17 4 67 lrg(D,cil(sub(R,R))) 89578 130617304 o2(x,o1(o2(x,x))) true 33431 33431 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
t16_x17_u4_b68 16 17 4 68 lrg(D,cil(mlt(R,R))) 89579 130617305 o2(x,o1(o2(x,x))) true 33439 33439 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_x17_u4_b69 16 17 4 69 lrg(D,cil(div(R,R))) 89580 130617306 o2(x,o1(o2(x,x))) true 33447 33447 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_x17_u4_b70 16 17 4 70 lrg(D,cil(pow(R,R))) 89581 130617307 o2(x,o1(o2(x,x))) true 33455 33455 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_x17_u4_b71 16 17 4 71 lrg(D,cil(mod(R,R))) 89582 130617308 o2(x,o1(o2(x,x))) true 33463 33463 0.4521 0.9791 0.4521 0.1427 0.3778 0 0.9997 0.9997 1 3.445 0.05715 0.0003773 0.114 0.9869 1 0.00002281 0.1061 0.1208 0.04452 0.211 1.85 0.9997 0.4031 0.7432 1 1 0.06236 0.2266 0.06164 0.4369 1.588 0.4319 json
t16_x17_u4_b72 16 17 4 72 lrg(D,cil(lrg(R,R))) 89583 130617309 o2(x,o1(o2(x,x))) true 33471 33471 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
t16_x17_u4_b73 16 17 4 73 lrg(D,cil(eql(R,R))) 89584 130617310 o2(x,o1(o2(x,x))) true 33479 33479 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_x17_u4_b74 16 17 4 74 lrg(D,cil(min(R,R))) 89585 130617311 o2(x,o1(o2(x,x))) true 33487 33487 0.2568 0.752 0.2568 0.1126 0.3355 0 0.9997 0.9997 1 2.88 0.03004 0.00118 0.07441 0.9244 1 0.000001422 0.05612 0.0721 0.02568 0.1603 2.154 0.9997 0.2773 0.4985 1 1 0.03636 0.1591 0.1423 0.323 1.413 1.264 json
t16_x17_u4_b75 16 17 4 75 lrg(D,cil(dot(R,R))) 89586 130617312 o2(x,o1(o2(x,x))) true 33495 33495 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_x17_u4_b76 16 17 4 76 lrg(D,cil(dst(R,R))) 89587 130617313 o2(x,o1(o2(x,x))) true 33503 33503 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
t16_x17_u4_b77 16 17 4 77 eql(D,cil(add(R,R))) 89588 130617314 o2(x,o1(o2(x,x))) true 33511 33511 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_x17_u4_b78 16 17 4 78 eql(D,cil(sub(R,R))) 89589 130617315 o2(x,o1(o2(x,x))) true 33519 33519 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_x17_u4_b79 16 17 4 79 eql(D,cil(mlt(R,R))) 89590 130617316 o2(x,o1(o2(x,x))) true 33527 33527 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_x17_u4_b80 16 17 4 80 eql(D,cil(div(R,R))) 89591 130617317 o2(x,o1(o2(x,x))) true 33535 33535 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_x17_u4_b81 16 17 4 81 eql(D,cil(pow(R,R))) 89592 130617318 o2(x,o1(o2(x,x))) true 33543 33543 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_x17_u4_b82 16 17 4 82 eql(D,cil(mod(R,R))) 89593 130617319 o2(x,o1(o2(x,x))) true 33551 33551 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_x17_u4_b83 16 17 4 83 eql(D,cil(lrg(R,R))) 89594 130617320 o2(x,o1(o2(x,x))) true 33559 33559 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_x17_u4_b84 16 17 4 84 eql(D,cil(eql(R,R))) 89595 130617321 o2(x,o1(o2(x,x))) true 33567 33567 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_x17_u4_b85 16 17 4 85 eql(D,cil(min(R,R))) 89596 130617322 o2(x,o1(o2(x,x))) true 33575 33575 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_x17_u4_b86 16 17 4 86 eql(D,cil(dot(R,R))) 89597 130617323 o2(x,o1(o2(x,x))) true 33583 33583 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_x17_u4_b87 16 17 4 87 eql(D,cil(dst(R,R))) 89598 130617324 o2(x,o1(o2(x,x))) true 33591 33591 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_x17_u4_b88 16 17 4 88 min(D,cil(add(R,R))) 89599 130617325 o2(x,o1(o2(x,x))) true 33599 33599 -0.2771 0.2087 0.3096 0.1167 0.3416 -1 0.1454 1.145 1 3.969 0.002603 0.001722 0.05625 0.2037 1 0.00009156 0.000369 0.016 0.00116 0.03406 0.6056 0.1529 0.03705 0.003161 1 1 0.008202 0.09474 0.1991 0.07027 0.8117 1.705 json