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
t13_x2_u24_b1 13 2 24 1 flr(sub(flr(P),R)) 43400 105653440 o1(o2(o1(x),x)) true 6167 6167 -0.06541 0.4608 0.9287 0.9116 0.9548 -1 1 2 1 1.855 0.0009844 0.0002879 0.01003 0.5475 1 0.00001926 0.0001808 0.003033 0.001171 0.03422 3.413 0.2338 0.001396 0.0001983 1 1 0.00338 0.04008 0.2523 0.003707 0.04397 0.2768 json
t13_x2_u24_b2 13 2 24 2 flr(mlt(flr(P),R)) 43401 105653441 o1(o2(o1(x),x)) true 6175 6175 -0.2757 0.2944 0.7289 0.5951 0.7714 -1 1 2 1 3.408 0.01658 0.01768 0.08607 -0.03202 1 -0.00003973 0.01955 0.04738 0.02686 0.1639 1.904 1.403 0.05758 0.03285 1 1 0.04788 0.4194 1.008 0.08046 0.7047 1.694 json
t13_x2_u24_b3 13 2 24 3 flr(div(flr(P),R)) 43402 105653442 o1(o2(o1(x),x)) true 6183 6183 -0.07763 0.4646 0.9256 0.9024 0.9499 -1 1 2 1 1.959 0.06374 0.08052 0.1127 -0.1163 1 0.000009851 0.2855 0.1617 0.1316 0.3627 3.22 2.828 0.1599 0.3163 1 1 0.1622 0.8266 1.843 0.1798 0.916 2.042 json
t13_x2_u24_b4 13 2 24 4 flr(pow(flr(P),R)) 43403 105653443 o1(o2(o1(x),x)) true 6191 6191 -0.2946 0.4163 0.7992 0.6786 0.8237 -1 1 2 1 2.387 0.01453 0.005156 0.03316 0.4762 1 -0.00006453 0.03484 0.02763 0.01859 0.1363 4.111 2.828 0.02901 0.05134 1 1 0.02787 0.145 0.4032 0.04107 0.2137 0.5942 json
t13_x2_u24_b5 13 2 24 5 flr(mod(flr(P),R)) 43404 105653444 o1(o2(o1(x),x)) true 6199 6199 -0.4688 0 0.4688 0.2423 0.4922 -1 0 1 1 1.406 0.0003529 0 0.003968 1 1 4.731e-10 0.00001619 0.0009276 0.0003372 0.01836 4.628 0.1169 0.001457 0.00006684 1 1 0.0009255 0.01214 0.0751 0.00382 0.05012 0.31 json
t13_x2_u24_b6 13 2 24 6 flr(lrg(flr(P),R)) 43405 105653445 o1(o2(o1(x),x)) true 6207 6207 0.5039 0.5456 0.5039 0.2412 0.4911 0 1 1 1 1.415 0.0003238 0.0001053 0.004981 0.5091 1 0.000005704 0.00002256 0.001187 0.0004044 0.02011 4.037 0.1169 0.001779 0.00009352 1 1 0.001146 0.01504 0.08976 0.004753 0.06234 0.3721 json
t13_x2_u24_b7 13 2 24 7 flr(eql(flr(P),R)) 43406 105653446 o1(o2(o1(x),x)) true 6215 6215 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
t13_x2_u24_b8 13 2 24 8 flr(min(flr(P),R)) 43407 105653447 o1(o2(o1(x),x)) true 6223 6223 -0.7578 0 0.7578 0.1282 0.3581 -1 0 1 1 2.446 0.001205 0.001316 0.02956 -0.04423 1 -0.00002994 0.0001512 0.007216 0.001648 0.0406 1.373 0.1169 0.01966 0.001179 1 1 0.005145 0.06684 0.1791 0.04012 0.5213 1.397 json
t13_x2_u24_b9 13 2 24 9 flr(dot(flr(P),R)) 43408 105653448 o1(o2(o1(x),x)) true 6231 6231 -0.2276 0.372 0.8476 0.755 0.8689 -1 1 2 1 2.766 0.025 0.03234 0.1003 -0.1281 1 0.00009661 0.04594 0.07343 0.04726 0.2174 2.168 1.87 0.07594 0.06084 1 1 0.07293 0.5698 1.388 0.0966 0.7548 1.838 json
t13_x2_u24_b10 13 2 24 10 flr(dst(flr(P),R)) 43409 105653449 o1(o2(o1(x),x)) true 6239 6239 0.9883 1 0.9883 0.008047 0.08971 0.000291 1 0.9997 1 0.2363 0.000133 0.00019 0.002537 -0.1766 1 -1.389e-10 0.00008177 0.001006 0.0003163 0.01778 7.009 0.3082 0.04014 0.01016 1 1 0.001079 0.0114 0.02592 0.1341 1.417 3.221 json
t13_x2_u25_b0 13 2 25 0 flr(add(cil(P),R)) 43410 105653640 o1(o2(o1(x),x)) true 6247 6247 -0.05877 0.4723 0.9451 0.9283 0.9635 -1 1 2 1 1.786 0.001009 0.0002866 0.01014 0.5576 1 -0.00001667 0.000135 0.00275 0.001193 0.03453 3.406 0.2338 0.001396 0.0001454 1 1 0.003407 0.04218 0.2644 0.00367 0.04544 0.2848 json
t13_x2_u25_b1 13 2 25 1 flr(sub(cil(P),R)) 43411 105653641 o1(o2(o1(x),x)) true 6255 6255 -0.06541 0.4608 0.9287 0.9116 0.9548 -1 1 2 1 1.855 0.0009844 0.0002879 0.01003 0.5475 1 0.00001926 0.0001808 0.003033 0.001171 0.03422 3.413 0.2338 0.001396 0.0001983 1 1 0.00338 0.04008 0.2523 0.003707 0.04397 0.2768 json
t13_x2_u25_b2 13 2 25 2 flr(mlt(cil(P),R)) 43412 105653642 o1(o2(o1(x),x)) true 6263 6263 -0.2757 0.2944 0.7289 0.5951 0.7714 -1 1 2 1 3.408 0.01658 0.01768 0.08607 -0.03202 1 -0.00003973 0.01955 0.04738 0.02686 0.1639 1.904 1.403 0.05758 0.03285 1 1 0.04788 0.4194 1.008 0.08046 0.7047 1.694 json
t13_x2_u25_b3 13 2 25 3 flr(div(cil(P),R)) 43413 105653643 o1(o2(o1(x),x)) true 6271 6271 -0.07763 0.4646 0.9256 0.9024 0.9499 -1 1 2 1 1.959 0.06374 0.08052 0.1127 -0.1163 1 0.000009851 0.2855 0.1617 0.1316 0.3627 3.22 2.828 0.1599 0.3163 1 1 0.1622 0.8266 1.843 0.1798 0.916 2.042 json
t13_x2_u25_b4 13 2 25 4 flr(pow(cil(P),R)) 43414 105653644 o1(o2(o1(x),x)) true 6279 6279 -0.2946 0.4163 0.7992 0.6786 0.8237 -1 1 2 1 2.387 0.01453 0.005156 0.03316 0.4762 1 -0.00006453 0.03484 0.02763 0.01859 0.1363 4.111 2.828 0.02901 0.05134 1 1 0.02787 0.145 0.4032 0.04107 0.2137 0.5942 json
t13_x2_u25_b5 13 2 25 5 flr(mod(cil(P),R)) 43415 105653645 o1(o2(o1(x),x)) true 6287 6287 -0.4688 0 0.4688 0.2423 0.4922 -1 0 1 1 1.406 0.0003529 0 0.003968 1 1 4.731e-10 0.00001619 0.0009276 0.0003372 0.01836 4.628 0.1169 0.001457 0.00006684 1 1 0.0009255 0.01214 0.0751 0.00382 0.05012 0.31 json
t13_x2_u25_b6 13 2 25 6 flr(lrg(cil(P),R)) 43416 105653646 o1(o2(o1(x),x)) true 6295 6295 0.5039 0.5456 0.5039 0.2412 0.4911 0 1 1 1 1.415 0.0003238 0.0001053 0.004981 0.5091 1 0.000005704 0.00002256 0.001187 0.0004044 0.02011 4.037 0.1169 0.001779 0.00009352 1 1 0.001146 0.01504 0.08976 0.004753 0.06234 0.3721 json
t13_x2_u25_b7 13 2 25 7 flr(eql(cil(P),R)) 43417 105653647 o1(o2(o1(x),x)) true 6303 6303 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
t13_x2_u25_b8 13 2 25 8 flr(min(cil(P),R)) 43418 105653648 o1(o2(o1(x),x)) true 6311 6311 -0.7578 0 0.7578 0.1282 0.3581 -1 0 1 1 2.446 0.001205 0.001316 0.02956 -0.04423 1 -0.00002994 0.0001512 0.007216 0.001648 0.0406 1.373 0.1169 0.01966 0.001179 1 1 0.005145 0.06684 0.1791 0.04012 0.5213 1.397 json
t13_x2_u25_b9 13 2 25 9 flr(dot(cil(P),R)) 43419 105653649 o1(o2(o1(x),x)) true 6319 6319 -0.2276 0.372 0.8476 0.755 0.8689 -1 1 2 1 2.766 0.025 0.03234 0.1003 -0.1281 1 0.00009661 0.04594 0.07343 0.04726 0.2174 2.168 1.87 0.07594 0.06084 1 1 0.07293 0.5698 1.388 0.0966 0.7548 1.838 json
t13_x2_u25_b10 13 2 25 10 flr(dst(cil(P),R)) 43420 105653650 o1(o2(o1(x),x)) true 6327 6327 0.9883 1 0.9883 0.008047 0.08971 0.000291 1 0.9997 1 0.2363 0.000133 0.00019 0.002537 -0.1766 1 -1.389e-10 0.00008177 0.001006 0.0003163 0.01778 7.009 0.3082 0.04014 0.01016 1 1 0.001079 0.0114 0.02592 0.1341 1.417 3.221 json
t13_x2_u26_b0 13 2 26 0 flr(add(sgn(P),R)) 43421 105653841 o1(o2(o1(x),x)) true 6335 6335 -0.2913 0.4334 0.7126 0.5725 0.7566 -1 1 2 1 3.026 0.001753 0.001318 0.03167 0.1417 1 -0.0000278 0.0002108 0.007831 0.002066 0.04546 1.435 0.2338 0.005363 0.0003683 1 1 0.006471 0.08285 0.2931 0.0113 0.1447 0.5119 json
t13_x2_u26_b1 13 2 26 1 flr(sub(sgn(P),R)) 43422 105653842 o1(o2(o1(x),x)) true 6343 6343 -0.2456 0.4513 0.7485 0.634 0.7963 -1 1 2 1 3.035 0.001561 0.001318 0.03054 0.0845 1 0.00003422 0.0002151 0.007653 0.001945 0.04411 1.444 0.2338 0.00454 0.0003392 1 1 0.006142 0.07822 0.3018 0.009687 0.1234 0.476 json
t13_x2_u26_b2 13 2 26 2 flr(mlt(sgn(P),R)) 43423 105653843 o1(o2(o1(x),x)) true 6351 6351 -0.4941 0 0.4941 0.1569 0.3961 -1 0 1 1 3.605 0.001946 0.002332 0.05014 -0.09022 1 -0.00003637 0.0002504 0.01218 0.001764 0.042 0.8377 0.1169 0.02726 0.001596 1 1 0.00831 0.107 0.2923 0.05296 0.6821 1.863 json
t13_x2_u26_b3 13 2 26 3 flr(div(sgn(P),R)) 43424 105653844 o1(o2(o1(x),x)) true 6359 6359 -0.1363 0.4395 0.8634 0.8052 0.8973 -1 1 2 1 2.704 0.02845 0.03739 0.1081 -0.1357 1 0.00002925 0.06594 0.08273 0.05417 0.2328 2.153 2.828 0.08177 0.08189 1 1 0.09736 0.6954 1.663 0.1209 0.8636 2.065 json
t13_x2_u26_b4 13 2 26 4 flr(pow(sgn(P),R)) 43425 105653845 o1(o2(o1(x),x)) true 6367 6367 -0.1016 0.4531 0.9922 0.9808 0.9903 -1 1 2 1 1.12 0.01294 0.003616 0.0101 0.5632 1 -1.765e-10 0.03388 0.01859 0.01646 0.1283 12.7 2.828 0.01688 0.03455 1 1 0.02269 0.09441 0.3825 0.02313 0.09626 0.39 json
t13_x2_u26_b5 13 2 26 5 flr(mod(sgn(P),R)) 43426 105653846 o1(o2(o1(x),x)) true 6375 6375 -0.4688 0 0.4688 0.2423 0.4922 -1 0 1 1 1.406 0.0003529 0 0.003968 1 1 4.731e-10 0.00001619 0.0009276 0.0003372 0.01836 4.628 0.1169 0.001457 0.00006684 1 1 0.0009255 0.01214 0.0751 0.00382 0.05012 0.31 json
t13_x2_u26_b6 13 2 26 6 flr(lrg(sgn(P),R)) 43427 105653847 o1(o2(o1(x),x)) true 6383 6383 0.5039 0.5456 0.5039 0.2412 0.4911 0 1 1 1 1.415 0.0003238 0.0001053 0.004981 0.5091 1 0.000005704 0.00002256 0.001187 0.0004044 0.02011 4.037 0.1169 0.001779 0.00009352 1 1 0.001146 0.01504 0.08976 0.004753 0.06234 0.3721 json
t13_x2_u26_b7 13 2 26 7 flr(eql(sgn(P),R)) 43428 105653848 o1(o2(o1(x),x)) true 6391 6391 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
t13_x2_u26_b8 13 2 26 8 flr(min(sgn(P),R)) 43429 105653849 o1(o2(o1(x),x)) true 6399 6399 -0.7578 0 0.7578 0.1282 0.3581 -1 0 1 1 2.446 0.001205 0.001316 0.02956 -0.04423 1 -0.00002994 0.0001512 0.007216 0.001648 0.0406 1.373 0.1169 0.01966 0.001179 1 1 0.005145 0.06684 0.1791 0.04012 0.5213 1.397 json
t13_x2_u26_b9 13 2 26 9 flr(dot(sgn(P),R)) 43430 105653850 o1(o2(o1(x),x)) true 6407 6407 -0.4298 0.188 0.6102 0.3325 0.5766 -1 1 2 1 3.979 0.005042 0.00596 0.07349 -0.0834 1 0.00001716 0.00143 0.0208 0.005602 0.07485 1.018 0.3506 0.03309 0.004301 1 1 0.02116 0.251 0.6687 0.06363 0.7548 2.011 json
t13_x2_u26_b10 13 2 26 10 flr(dst(sgn(P),R)) 43431 105653851 o1(o2(o1(x),x)) true 6415 6415 0.8565 0.9913 0.8565 0.083 0.2881 0 1 1 1 1.813 0.001515 0.001665 0.02716 -0.04707 1 -0.00003641 0.0006073 0.00953 0.002441 0.04941 1.819 0.2278 0.03831 0.007317 1 1 0.006256 0.06871 0.1863 0.07537 0.8279 2.244 json
t13_x2_u27_b0 13 2 27 0 flr(add(nrm(P),R)) 43432 105654042 o1(o2(o1(x),x)) true 6423 6423 -0.3575 0.277 0.6432 0.4419 0.6648 -1 1 2 1 3.757 0.003548 0.003866 0.04715 -0.04281 1 0.00005969 0.005768 0.01559 0.005191 0.07205 1.528 2.828 0.01678 0.01305 1 1 0.0141 0.1343 0.4144 0.03191 0.3039 0.9378 json
t13_x2_u27_b1 13 2 27 1 flr(sub(nrm(P),R)) 43433 105654043 o1(o2(o1(x),x)) true 6431 6431 -0.3445 0.3238 0.6603 0.4727 0.6875 -1 1 2 1 3.615 0.003188 0.002768 0.04367 0.0706 1 0.000008722 0.003146 0.01322 0.00405 0.06364 1.457 1.999 0.0126 0.006654 1 1 0.01131 0.1208 0.371 0.02392 0.2555 0.7848 json
t13_x2_u27_b2 13 2 27 2 flr(mlt(nrm(P),R)) 43434 105654044 o1(o2(o1(x),x)) true 6439 6439 -0.5059 0 0.5059 0.1584 0.398 -1 0 1 1 3.579 0.002306 0.002998 0.05051 -0.1306 1 -0.00003637 0.002522 0.01447 0.002752 0.05246 1.039 1.414 0.03348 0.01592 1 1 0.009991 0.111 0.3136 0.06307 0.701 1.98 json
t13_x2_u27_b3 13 2 27 3 flr(div(nrm(P),R)) 43435 105654045 o1(o2(o1(x),x)) true 6447 6447 -0.2371 0.3453 0.7649 0.6536 0.8085 -1 1 2 1 3.31 0.02175 0.02646 0.0976 -0.09784 1 5.38e-7 0.04628 0.06498 0.03868 0.1967 2.015 2.828 0.07376 0.0708 1 1 0.07358 0.5496 1.364 0.1126 0.8409 2.088 json
t13_x2_u27_b4 13 2 27 4 flr(pow(nrm(P),R)) 43436 105654046 o1(o2(o1(x),x)) true 6455 6455 -0.2944 0.4363 0.8072 0.6775 0.8231 -1 1 2 1 2.517 0.008914 0.002911 0.03048 0.5076 1 0.0000128 0.01988 0.01955 0.01089 0.1044 3.424 2.828 0.01745 0.02935 1 1 0.01705 0.1048 0.3659 0.02516 0.1547 0.54 json
t13_x2_u27_b5 13 2 27 5 flr(mod(nrm(P),R)) 43437 105654047 o1(o2(o1(x),x)) true 6463 6463 -0.4805 0 0.4805 0.2436 0.4935 -1 0 1 1 1.365 0.000812 0.0007013 0.004702 0.07315 1 3.698e-10 0.002493 0.003323 0.001492 0.03862 8.214 1.414 0.006213 0.01024 1 1 0.00289 0.01858 0.09637 0.01186 0.07628 0.3957 json
t13_x2_u27_b6 13 2 27 6 flr(lrg(nrm(P),R)) 43438 105654048 o1(o2(o1(x),x)) true 6471 6471 0.5088 0.6993 0.5088 0.2089 0.457 0 1 1 1 2.399 0.0009891 0.0009494 0.02282 0.02049 1 -0.00001354 0.0001081 0.005457 0.001417 0.03765 1.65 0.1169 0.009281 0.0005175 1 1 0.004053 0.0522 0.1736 0.0194 0.2499 0.8312 json
t13_x2_u27_b7 13 2 27 7 flr(eql(nrm(P),R)) 43439 105654049 o1(o2(o1(x),x)) true 6479 6479 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
t13_x2_u27_b8 13 2 27 8 flr(min(nrm(P),R)) 43440 105654050 o1(o2(o1(x),x)) true 6487 6487 -0.7578 0 0.7578 0.1282 0.3581 -1 0 1 1 2.446 0.001205 0.001316 0.02956 -0.04423 1 -0.00002994 0.0001512 0.007216 0.001648 0.0406 1.373 0.1169 0.01966 0.001179 1 1 0.005145 0.06684 0.1791 0.04012 0.5213 1.397 json
t13_x2_u27_b9 13 2 27 9 flr(dot(nrm(P),R)) 43441 105654051 o1(o2(o1(x),x)) true 6495 6495 -0.5116 0.0766 0.5779 0.2241 0.4733 -1 1 2 1 3.778 0.003801 0.004676 0.06076 -0.1032 1 -0.00005623 0.004213 0.01825 0.004786 0.06918 1.139 2.827 0.03783 0.0188 1 1 0.01506 0.1605 0.4268 0.06721 0.7165 1.905 json
t13_x2_u27_b10 13 2 27 10 flr(dst(nrm(P),R)) 43442 105654052 o1(o2(o1(x),x)) true 6503 6503 0.7234 0.974 0.7546 0.1654 0.4067 -1 1 2 1 2.735 0.004243 0.003934 0.04169 0.03777 1 0.00004015 0.009555 0.01665 0.006439 0.08025 1.925 2.003 0.04945 0.05778 1 1 0.01501 0.1202 0.3683 0.09077 0.7265 2.227 json
t13_x2_u28_b0 13 2 28 0 cil(add(sqt(P),R)) 43443 105654243 o1(o2(o1(x),x)) true 6511 6511 -0.0134 0.5 0.9866 0.983 0.9915 -1 1 2 1 1.215 0.0094 0.00005802 0.008352 0.9877 1 -0.000007134 0.01823 0.01241 0.009384 0.09687 11.6 2 0.009621 0.01854 1 1 0.01318 0.06524 0.3224 0.01341 0.06636 0.3279 json
t13_x2_u28_b1 13 2 28 1 cil(sub(sqt(P),R)) 43444 105654244 o1(o2(o1(x),x)) true 6519 6519 -0.01122 0.5 0.9888 0.9859 0.9929 -1 1 2 1 1.192 0.01063 0.00005792 0.008323 0.9892 1 7.131e-7 0.02087 0.01305 0.01061 0.103 12.38 2 0.01084 0.02116 1 1 0.01435 0.06801 0.3256 0.01456 0.06898 0.3302 json
t13_x2_u28_b2 13 2 28 2 cil(mlt(sqt(P),R)) 43445 105654245 o1(o2(o1(x),x)) true 6527 6527 -0.3525 0.3636 0.7915 0.6217 0.7885 -1 1 2 1 2.851 0.007415 0.00398 0.04404 0.3015 1 -0.00006495 0.00942 0.02114 0.009459 0.09726 2.208 1 0.01833 0.01515 1 1 0.01614 0.1514 0.4719 0.02596 0.2436 0.7591 json
t13_x2_u28_b3 13 2 28 3 cil(div(sqt(P),R)) 43446 105654246 o1(o2(o1(x),x)) true 6535 6535 -0.5159 0.2437 0.9506 0.6717 0.8196 -1 1 2 1 1.492 0.02797 0.03011 0.06316 -0.03672 1 -0.00004531 0.08409 0.07129 0.05407 0.2325 3.682 2.828 0.08647 0.1252 1 1 0.07671 0.4612 1.015 0.1142 0.6866 1.511 json
t13_x2_u28_b4 13 2 28 4 cil(pow(sqt(P),R)) 43447 105654247 o1(o2(o1(x),x)) true 6543 6543 -0.1016 0.4531 0.9922 0.9808 0.9903 -1 1 2 1 1.12 0.01294 0.003616 0.0101 0.5632 1 -1.765e-10 0.03388 0.01859 0.01646 0.1283 12.7 2.828 0.01688 0.03455 1 1 0.02269 0.09441 0.3825 0.02313 0.09626 0.39 json
t13_x2_u28_b5 13 2 28 5 cil(mod(sqt(P),R)) 43448 105654248 o1(o2(o1(x),x)) true 6551 6551 -0.03125 0.5 0.9688 0.9603 0.98 -1 1 2 1 1.406 0.004323 0 0.007937 1 1 -9.386e-13 0.007903 0.008812 0.004259 0.06526 8.223 1 0.004502 0.008229 1 1 0.006228 0.03975 0.2856 0.006485 0.04139 0.2974 json
t13_x2_u28_b6 13 2 28 6 cil(lrg(sqt(P),R)) 43449 105654249 o1(o2(o1(x),x)) true 6559 6559 0.9727 1 0.9727 0.01868 0.1367 0.000291 1 0.9997 1 0.4881 0.0002846 0.0001053 0.004539 0.4597 1 0.000005704 0.00002084 0.001084 0.0003695 0.01922 4.235 0.1169 0.02087 0.001115 1 1 0.001069 0.01392 0.04488 0.05719 0.7451 2.402 json
t13_x2_u28_b7 13 2 28 7 cil(eql(sqt(P),R)) 43450 105654250 o1(o2(o1(x),x)) true 6567 6567 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
t13_x2_u28_b8 13 2 28 8 cil(min(sqt(P),R)) 43451 105654251 o1(o2(o1(x),x)) true 6575 6575 0.4551 0.9009 0.4551 0.1532 0.3914 0 1 1 1 3.405 0.002041 0.002332 0.05121 -0.06649 1 -0.00001211 0.0002549 0.01243 0.001751 0.04185 0.8172 0.1169 0.02854 0.001664 1 1 0.008456 0.1088 0.2655 0.05518 0.7103 1.733 json
t13_x2_u28_b9 13 2 28 9 cil(dot(sqt(P),R)) 43452 105654252 o1(o2(o1(x),x)) true 6583 6583 -0.6716 0.1747 0.937 0.4691 0.6849 -1 1 2 1 1.471 0.007754 0.007474 0.02631 0.01838 1 -0.00006541 0.0217 0.01985 0.01453 0.1205 4.582 2 0.03246 0.04625 1 1 0.02154 0.134 0.4669 0.04591 0.2856 0.9953 json
t13_x2_u28_b10 13 2 28 10 cil(dst(sqt(P),R)) 43453 105654253 o1(o2(o1(x),x)) true 6591 6591 -0.5 0.25 1 0.75 0.866 -1 1 2 1 0.8113 0.007937 0.007937 0.007937 0 1 0 0.03187 0.01587 0.01581 0.1257 15.84 2 0.02116 0.0425 1 1 0.02105 0.08421 0.3368 0.02807 0.1123 0.4491 json
t13_x2_u29_b0 13 2 29 0 cil(add(log(P),R)) 43454 105654444 o1(o2(o1(x),x)) true 6599 6599 -0.1387 0.4375 0.9863 0.9627 0.9812 -1 1 2 1 1.246 0.01143 0.0001131 0.009288 0.9804 1 -0.000006956 0.02255 0.0138 0.01146 0.107 11.52 2 0.01199 0.02343 1 1 0.01476 0.06855 0.3191 0.01533 0.07121 0.3314 json
t13_x2_u29_b1 13 2 29 1 cil(sub(log(P),R)) 43455 105654445 o1(o2(o1(x),x)) true 6607 6607 -0.1456 0.4375 0.9794 0.9531 0.9763 -1 1 2 1 1.3 0.00834 0.0001858 0.009287 0.9564 1 -0.000001695 0.01615 0.01214 0.008442 0.09188 9.894 2 0.008945 0.01695 1 1 0.01277 0.06556 0.3156 0.01339 0.06879 0.3312 json
t13_x2_u29_b2 13 2 29 2 cil(mlt(log(P),R)) 43456 105654446 o1(o2(o1(x),x)) true 6615 6615 -0.4292 0.3263 0.7864 0.561 0.749 -1 1 2 1 2.652 0.005981 0.002476 0.03484 0.4145 1 -0.00003879 0.008551 0.01688 0.007246 0.08513 2.444 1 0.01507 0.01524 1 1 0.01186 0.1033 0.3753 0.02115 0.1841 0.6689 json
t13_x2_u29_b3 13 2 29 3 cil(div(log(P),R)) 43457 105654447 o1(o2(o1(x),x)) true 6623 6623 -0.5896 0.2017 0.9376 0.5737 0.7574 -1 1 2 1 1.57 0.02052 0.02011 0.05356 0.009852 1 -0.00002714 0.05399 0.05192 0.03779 0.1944 3.629 2.828 0.07082 0.0941 1 1 0.04855 0.3255 0.7785 0.08462 0.5673 1.357 json
t13_x2_u29_b4 13 2 29 4 cil(pow(log(P),R)) 43458 105654448 o1(o2(o1(x),x)) true 6631 6631 -0.2187 0.3945 0.9923 0.9426 0.9709 -1 1 2 1 1.082 0.01227 0.00414 0.01029 0.4954 1 6.382e-11 0.03343 0.01862 0.01631 0.1277 12.41 2.828 0.01741 0.03547 1 1 0.02067 0.08959 0.3756 0.02193 0.09504 0.3985 json
t13_x2_u29_b5 13 2 29 5 cil(mod(log(P),R)) 43459 105654449 o1(o2(o1(x),x)) true 6639 6639 -0.1563 0.4375 0.9688 0.9369 0.9679 -1 1 2 1 1.385 0.004323 0 0.007937 1 1 -9.386e-13 0.007903 0.008812 0.004259 0.06526 8.223 1 0.004615 0.008435 1 1 0.006228 0.03975 0.2856 0.006647 0.04243 0.3049 json
t13_x2_u29_b6 13 2 29 6 cil(lrg(log(P),R)) 43460 105654450 o1(o2(o1(x),x)) true 6647 6647 0.8926 0.9783 0.8926 0.07755 0.2785 0 1 1 1 1.157 0.0006646 0.000233 0.01037 0.4809 1 0.000005703 0.00004671 0.002468 0.0007898 0.0281 2.711 0.1169 0.01157 0.0006023 1 1 0.00236 0.03069 0.119 0.03043 0.3957 1.535 json
t13_x2_u29_b7 13 2 29 7 cil(eql(log(P),R)) 43461 105654451 o1(o2(o1(x),x)) true 6655 6655 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
t13_x2_u29_b8 13 2 29 8 cil(min(log(P),R)) 43462 105654452 o1(o2(o1(x),x)) true 6663 6663 0.2734 0.7782 0.5234 0.3674 0.6061 -1 1 2 1 3.5 0.01616 0.002086 0.05379 0.7713 1 0.000005006 0.02928 0.03097 0.01535 0.1239 2.303 2 0.04966 0.07971 1 1 0.02561 0.162 0.5582 0.0697 0.4411 1.519 json
t13_x2_u29_b9 13 2 29 9 cil(dot(log(P),R)) 43463 105654453 o1(o2(o1(x),x)) true 6671 6671 -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
t13_x2_u29_b10 13 2 29 10 cil(dst(log(P),R)) 43464 105654454 o1(o2(o1(x),x)) true 6679 6679 -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
t13_x2_u30_b0 13 2 30 0 cil(add(frc(P),R)) 43465 105654645 o1(o2(o1(x),x)) true 6687 6687 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
t13_x2_u30_b1 13 2 30 1 cil(sub(frc(P),R)) 43466 105654646 o1(o2(o1(x),x)) true 6695 6695 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
t13_x2_u30_b2 13 2 30 2 cil(mlt(frc(P),R)) 43467 105654647 o1(o2(o1(x),x)) true 6703 6703 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
t13_x2_u30_b3 13 2 30 3 cil(div(frc(P),R)) 43468 105654648 o1(o2(o1(x),x)) true 6711 6711 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
t13_x2_u30_b4 13 2 30 4 cil(pow(frc(P),R)) 43469 105654649 o1(o2(o1(x),x)) true 6719 6719 -0.8398 0.05859 0.957 0.2516 0.5016 -1 1 2 1 0.5738 0.02942 0.03294 0.03498 -0.05657 1 0 0.1323 0.07048 0.06113 0.2472 7.068 2.828 0.2479 0.5258 1 1 0.06126 0.2521 0.5343 0.2435 1.002 2.124 json
t13_x2_u30_b5 13 2 30 5 cil(mod(frc(P),R)) 43470 105654650 o1(o2(o1(x),x)) true 6727 6727 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
t13_x2_u30_b6 13 2 30 6 cil(lrg(frc(P),R)) 43471 105654651 o1(o2(o1(x),x)) true 6735 6735 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
t13_x2_u30_b7 13 2 30 7 cil(eql(frc(P),R)) 43472 105654652 o1(o2(o1(x),x)) true 6743 6743 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
t13_x2_u30_b8 13 2 30 8 cil(min(frc(P),R)) 43473 105654653 o1(o2(o1(x),x)) true 6751 6751 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
t13_x2_u30_b9 13 2 30 9 cil(dot(frc(P),R)) 43474 105654654 o1(o2(o1(x),x)) true 6759 6759 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
t13_x2_u30_b10 13 2 30 10 cil(dst(frc(P),R)) 43475 105654655 o1(o2(o1(x),x)) true 6767 6767 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
t13_x2_u31_b0 13 2 31 0 cil(add(flr(P),R)) 43476 105654846 o1(o2(o1(x),x)) true 6775 6775 0.06347 0.5253 0.9326 0.9159 0.9571 -1 1 2 1 1.84 0.0009772 0.0002573 0.009837 0.5831 1 -0.00001925 0.0001771 0.002995 0.001138 0.03373 3.429 0.2338 0.001348 0.0001934 1 1 0.003184 0.03819 0.2638 0.003476 0.0417 0.288 json
t13_x2_u31_b1 13 2 31 1 cil(sub(flr(P),R)) 43477 105654847 o1(o2(o1(x),x)) true 6783 6783 0.06404 0.5292 0.9418 0.9239 0.9612 -1 1 2 1 1.81 0.0009419 0.000259 0.009869 0.5687 1 0.00001453 0.0001299 0.002631 0.001104 0.03323 3.367 0.2338 0.0013 0.0001406 1 1 0.003125 0.03919 0.2718 0.003382 0.04241 0.2942 json
t13_x2_u31_b2 13 2 31 2 cil(mlt(flr(P),R)) 43478 105654848 o1(o2(o1(x),x)) true 6791 6791 0.1481 0.5997 0.7222 0.6371 0.7982 -1 1 2 1 3.558 0.01642 0.01939 0.09317 -0.08289 1 -0.00008127 0.01959 0.04883 0.02713 0.1647 1.768 1.436 0.05621 0.03075 1 1 0.04994 0.4435 0.9858 0.07838 0.696 1.547 json
t13_x2_u31_b3 13 2 31 3 cil(div(flr(P),R)) 43479 105654849 o1(o2(o1(x),x)) true 6799 6799 -0.005636 0.4968 0.9262 0.909 0.9534 -1 1 2 1 1.945 0.06411 0.08033 0.113 -0.1123 1 -0.00004048 0.2857 0.162 0.1316 0.3628 3.209 2.828 0.1589 0.3142 1 1 0.1629 0.8328 1.851 0.1792 0.9161 2.037 json
t13_x2_u31_b4 13 2 31 4 cil(pow(flr(P),R)) 43480 105654850 o1(o2(o1(x),x)) true 6807 6807 -0.1016 0.4531 0.9922 0.9808 0.9903 -1 1 2 1 1.12 0.01294 0.003616 0.0101 0.5632 1 -1.765e-10 0.03388 0.01859 0.01646 0.1283 12.7 2.828 0.01688 0.03455 1 1 0.02269 0.09441 0.3825 0.02313 0.09626 0.39 json
t13_x2_u31_b5 13 2 31 5 cil(mod(flr(P),R)) 43481 105654851 o1(o2(o1(x),x)) true 6815 6815 0.4688 0.5 0.4688 0.2423 0.4922 0 1 1 1 1.326 0.0003529 0 0.003968 1 1 -4.731e-10 0.00001619 0.0009276 0.0003372 0.01836 4.628 0.1169 0.001457 0.00006684 1 1 0.0009255 0.01214 0.0751 0.00382 0.05012 0.31 json
t13_x2_u31_b6 13 2 31 6 cil(lrg(flr(P),R)) 43482 105654852 o1(o2(o1(x),x)) true 6823 6823 0.5039 0.5456 0.5039 0.2412 0.4911 0 1 1 1 1.415 0.0003238 0.0001053 0.004981 0.5091 1 0.000005704 0.00002256 0.001187 0.0004044 0.02011 4.037 0.1169 0.001779 0.00009352 1 1 0.001146 0.01504 0.08976 0.004753 0.06234 0.3721 json
t13_x2_u31_b7 13 2 31 7 cil(eql(flr(P),R)) 43483 105654853 o1(o2(o1(x),x)) true 6831 6831 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
t13_x2_u31_b8 13 2 31 8 cil(min(flr(P),R)) 43484 105654854 o1(o2(o1(x),x)) true 6839 6839 -0.2539 0.455 0.6836 0.5618 0.7495 -1 1 2 1 3.143 0.001448 0.001206 0.031 0.09096 1 -0.00002424 0.0001549 0.007528 0.001693 0.04114 1.327 0.1169 0.004724 0.0002756 1 1 0.005382 0.07012 0.2678 0.00958 0.1248 0.4768 json
t13_x2_u31_b9 13 2 31 9 cil(dot(flr(P),R)) 43485 105654855 o1(o2(o1(x),x)) true 6847 6847 0.05788 0.5406 0.8592 0.8135 0.902 -1 1 2 1 2.779 0.02449 0.03325 0.102 -0.1518 1 0.000002434 0.04556 0.07425 0.04734 0.2176 2.133 1.819 0.07098 0.056 1 1 0.07312 0.5689 1.353 0.08988 0.6993 1.664 json
t13_x2_u31_b10 13 2 31 10 cil(dst(flr(P),R)) 43486 105654856 o1(o2(o1(x),x)) true 6855 6855 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
t13_x2_u32_b0 13 2 32 0 cil(add(cil(P),R)) 43487 105655047 o1(o2(o1(x),x)) true 6863 6863 0.06347 0.5253 0.9326 0.9159 0.9571 -1 1 2 1 1.84 0.0009772 0.0002573 0.009837 0.5831 1 -0.00001925 0.0001771 0.002995 0.001138 0.03373 3.429 0.2338 0.001348 0.0001934 1 1 0.003184 0.03819 0.2638 0.003476 0.0417 0.288 json
t13_x2_u32_b1 13 2 32 1 cil(sub(cil(P),R)) 43488 105655048 o1(o2(o1(x),x)) true 6871 6871 0.06404 0.5292 0.9418 0.9239 0.9612 -1 1 2 1 1.81 0.0009419 0.000259 0.009869 0.5687 1 0.00001453 0.0001299 0.002631 0.001104 0.03323 3.367 0.2338 0.0013 0.0001406 1 1 0.003125 0.03919 0.2718 0.003382 0.04241 0.2942 json
t13_x2_u32_b2 13 2 32 2 cil(mlt(cil(P),R)) 43489 105655049 o1(o2(o1(x),x)) true 6879 6879 0.1481 0.5997 0.7222 0.6371 0.7982 -1 1 2 1 3.558 0.01642 0.01939 0.09317 -0.08289 1 -0.00008127 0.01959 0.04883 0.02713 0.1647 1.768 1.436 0.05621 0.03075 1 1 0.04994 0.4435 0.9858 0.07838 0.696 1.547 json
t13_x2_u32_b3 13 2 32 3 cil(div(cil(P),R)) 43490 105655050 o1(o2(o1(x),x)) true 6887 6887 -0.005636 0.4968 0.9262 0.909 0.9534 -1 1 2 1 1.945 0.06411 0.08033 0.113 -0.1123 1 -0.00004048 0.2857 0.162 0.1316 0.3628 3.209 2.828 0.1589 0.3142 1 1 0.1629 0.8328 1.851 0.1792 0.9161 2.037 json
t13_x2_u32_b4 13 2 32 4 cil(pow(cil(P),R)) 43491 105655051 o1(o2(o1(x),x)) true 6895 6895 -0.1016 0.4531 0.9922 0.9808 0.9903 -1 1 2 1 1.12 0.01294 0.003616 0.0101 0.5632 1 -1.765e-10 0.03388 0.01859 0.01646 0.1283 12.7 2.828 0.01688 0.03455 1 1 0.02269 0.09441 0.3825 0.02313 0.09626 0.39 json
t13_x2_u32_b5 13 2 32 5 cil(mod(cil(P),R)) 43492 105655052 o1(o2(o1(x),x)) true 6903 6903 0.4688 0.5 0.4688 0.2423 0.4922 0 1 1 1 1.326 0.0003529 0 0.003968 1 1 -4.731e-10 0.00001619 0.0009276 0.0003372 0.01836 4.628 0.1169 0.001457 0.00006684 1 1 0.0009255 0.01214 0.0751 0.00382 0.05012 0.31 json
t13_x2_u32_b6 13 2 32 6 cil(lrg(cil(P),R)) 43493 105655053 o1(o2(o1(x),x)) true 6911 6911 0.5039 0.5456 0.5039 0.2412 0.4911 0 1 1 1 1.415 0.0003238 0.0001053 0.004981 0.5091 1 0.000005704 0.00002256 0.001187 0.0004044 0.02011 4.037 0.1169 0.001779 0.00009352 1 1 0.001146 0.01504 0.08976 0.004753 0.06234 0.3721 json
t13_x2_u32_b7 13 2 32 7 cil(eql(cil(P),R)) 43494 105655054 o1(o2(o1(x),x)) true 6919 6919 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
t13_x2_u32_b8 13 2 32 8 cil(min(cil(P),R)) 43495 105655055 o1(o2(o1(x),x)) true 6927 6927 -0.2539 0.455 0.6836 0.5618 0.7495 -1 1 2 1 3.143 0.001448 0.001206 0.031 0.09096 1 -0.00002424 0.0001549 0.007528 0.001693 0.04114 1.327 0.1169 0.004724 0.0002756 1 1 0.005382 0.07012 0.2678 0.00958 0.1248 0.4768 json
t13_x2_u32_b9 13 2 32 9 cil(dot(cil(P),R)) 43496 105655056 o1(o2(o1(x),x)) true 6935 6935 0.05788 0.5406 0.8592 0.8135 0.902 -1 1 2 1 2.779 0.02449 0.03325 0.102 -0.1518 1 0.000002434 0.04556 0.07425 0.04734 0.2176 2.133 1.819 0.07098 0.056 1 1 0.07312 0.5689 1.353 0.08988 0.6993 1.664 json
t13_x2_u32_b10 13 2 32 10 cil(dst(cil(P),R)) 43497 105655057 o1(o2(o1(x),x)) true 6943 6943 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
t13_x2_u33_b0 13 2 33 0 cil(add(sgn(P),R)) 43498 105655248 o1(o2(o1(x),x)) true 6951 6951 0.2718 0.5253 0.7243 0.6022 0.776 -1 1 2 1 3.042 0.001474 0.001237 0.02828 0.08774 1 0.000002147 0.0002069 0.007127 0.001912 0.04373 1.546 0.2338 0.004502 0.0003435 1 1 0.005777 0.07227 0.3114 0.009593 0.12 0.5172 json
t13_x2_u33_b1 13 2 33 1 cil(sub(sgn(P),R)) 43499 105655249 o1(o2(o1(x),x)) true 6959 6959 0.2661 0.5292 0.7397 0.6198 0.7873 -1 1 2 1 3.032 0.001558 0.001236 0.02881 0.1152 1 -0.000008567 0.0001949 0.007101 0.001965 0.04433 1.538 0.2338 0.004509 0.0003145 1 1 0.005935 0.07487 0.2961 0.009574 0.1208 0.4777 json