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
t14_x15_u3_b24 14 15 3 24 flr(mlt(mlt(D,R),P)) 60000 114295056 o1(o2(o2(x,x),x)) true 138967 138967 -0.4283 0.1217 0.5233 0.2425 0.4924 -1 1 2 1 4.017 0.06448 0.004311 0.1423 0.8747 1 -0.0002169 0.1325 0.1857 0.04855 0.2203 1.549 1.001 0.2837 0.5464 1 1 0.06536 0.3091 0.4005 0.2695 1.275 1.652 json
t14_x15_u3_b25 14 15 3 25 flr(mlt(div(D,R),P)) 60001 114295057 o1(o2(o2(x,x),x)) true 138975 138975 -0.1925 0.3701 0.7619 0.672 0.8197 -1 1 2 1 3.286 0.1312 0.02941 0.1942 0.6338 1 -0.0002479 0.286 0.2769 0.1229 0.3505 1.805 2.828 0.239 0.4256 1 1 0.1593 0.8527 1.24 0.2371 1.269 1.845 json
t14_x15_u3_b26 14 15 3 26 flr(mlt(pow(D,R),P)) 60002 114295058 o1(o2(o2(x,x),x)) true 138983 138983 -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
t14_x15_u3_b27 14 15 3 27 flr(mlt(mod(D,R),P)) 60003 114295059 o1(o2(o2(x,x),x)) true 138991 138991 -0.4747 0.09859 0.5739 0.2629 0.5128 -1 1 2 1 3.661 0.1138 0.001314 0.1871 0.9772 1 0.00009907 0.2337 0.2811 0.08007 0.283 1.512 1.982 0.4377 0.8888 1 1 0.09292 0.34 0.133 0.3534 1.293 0.5056 json
t14_x15_u3_b28 14 15 3 28 flr(mlt(lrg(D,R),P)) 60004 114295060 o1(o2(o2(x,x),x)) true 138999 138999 0.002766 0.4274 0.6608 0.6181 0.7862 -1 1 2 1 3.249 0.02523 0.005117 0.07264 0.6627 1 -0.0002029 0.04998 0.08214 0.02506 0.1583 2.179 1 0.04909 0.08086 1 1 0.03388 0.1643 0.343 0.05482 0.2659 0.5549 json
t14_x15_u3_b29 14 15 3 29 flr(mlt(eql(D,R),P)) 60005 114295061 o1(o2(o2(x,x),x)) true 139007 139007 0.00004008 0.0002289 0.00004008 0.00001031 0.00321 0 0.3282 0.3282 1 0.002722 0.00001454 1.509e-7 0.00006305 0.9795 0 1.17e-7 0.00004407 0.0001242 0.00001469 0.003832 60.78 0.3186 1.425 4.276 1 1 0 0 0.000007865 0 0 0.7631 json
t14_x15_u3_b30 14 15 3 30 flr(mlt(min(D,R),P)) 60006 114295062 o1(o2(o2(x,x),x)) true 139015 139015 -0.339 0.2706 0.6989 0.5213 0.722 -1 1 2 1 3.528 0.04835 0.005064 0.1122 0.8104 1 0.0003592 0.0986 0.1407 0.04083 0.2021 1.801 1.007 0.1025 0.1891 1 1 0.04951 0.2576 0.3878 0.09497 0.4941 0.7438 json
t14_x15_u3_b31 14 15 3 31 flr(mlt(dot(D,R),P)) 60007 114295063 o1(o2(o2(x,x),x)) true 139023 139023 -0.3806 0.2032 0.5729 0.3385 0.5818 -1 1 2 1 4.043 0.05269 0.05229 0.1836 0.003885 1 -0.0002111 0.3359 0.3007 0.07128 0.267 1.454 1.535 0.3101 0.9922 1 1 0.09695 0.4274 0.5606 0.2864 1.263 1.656 json
t14_x15_u3_b32 14 15 3 32 flr(mlt(dst(D,R),P)) 60008 114295064 o1(o2(o2(x,x),x)) true 139031 139031 -0.03009 0.4964 0.9188 0.9032 0.9504 -1 1 2 1 1.932 0.003072 0.00232 0.01576 0.1394 1 -0.000002169 0.01423 0.01684 0.005142 0.07171 4.549 1.404 0.00597 0.01575 1 1 0.007633 0.0431 0.2219 0.008451 0.04773 0.2457 json
t14_x15_u3_b33 14 15 3 33 flr(div(add(D,R),P)) 60009 114295065 o1(o2(o2(x,x),x)) true 139039 139039 -0.5711 0.02017 0.5811 0.161 0.4012 -1 0.9988 1.999 1 3.596 0.02329 0.001975 0.08007 0.8436 1 0.0003839 0.04391 0.07462 0.01886 0.1373 1.715 1.94 0.1569 0.2728 1 1 0.02725 0.1486 0.2781 0.1693 0.9232 1.728 json
t14_x15_u3_b34 14 15 3 34 flr(div(sub(D,R),P)) 60010 114295066 o1(o2(o2(x,x),x)) true 139047 139047 -0.5343 0.01564 0.5417 0.1646 0.4057 -1 0.9402 1.94 1 3.606 0.02275 0.002011 0.0783 0.8376 1 -0.00005188 0.04354 0.07404 0.01863 0.1365 1.743 0.9997 0.1504 0.2644 1 1 0.02669 0.1431 0.2894 0.1621 0.869 1.758 json
t14_x15_u3_b35 14 15 3 35 flr(div(mlt(D,R),P)) 60011 114295067 o1(o2(o2(x,x),x)) true 139055 139055 -0.5605 0 0.5605 0.1546 0.3932 -1 0 1 1 3.47 0.04254 0.002019 0.09091 0.9094 1 -0.00003494 0.08292 0.1001 0.0363 0.1905 2.096 1 0.2883 0.5364 1 1 0.04668 0.2121 0.2795 0.302 1.372 1.809 json
t14_x15_u3_b36 14 15 3 36 flr(div(div(D,R),P)) 60012 114295068 o1(o2(o2(x,x),x)) true 139063 139063 -0.5208 0.0784 0.5962 0.2391 0.489 -1 1 2 1 3.648 0.05349 0.004442 0.1076 0.8467 1 -0.00001075 0.1056 0.1286 0.04634 0.2153 2 2.09 0.2423 0.4415 1 1 0.06681 0.3116 0.4767 0.2794 1.303 1.993 json
t14_x15_u3_b37 14 15 3 37 flr(div(pow(D,R),P)) 60013 114295069 o1(o2(o2(x,x),x)) true 139071 139071 -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
t14_x15_u3_b38 14 15 3 38 flr(div(mod(D,R),P)) 60014 114295070 o1(o2(o2(x,x),x)) true 139079 139079 -0.5625 0 0.5625 0.1514 0.3891 -1 -0.000291 0.9997 1 3.238 0.06044 0 0.1109 1 1 -0.0001797 0.1126 0.1239 0.04813 0.2194 1.978 0.9997 0.3992 0.7441 1 1 0.06377 0.2221 0.06598 0.4212 1.467 0.4359 json
t14_x15_u3_b39 14 15 3 39 flr(div(lrg(D,R),P)) 60015 114295071 o1(o2(o2(x,x),x)) true 139087 139087 -0.3204 0.05148 0.35 0.198 0.445 -1 0.9997 2 1 2.956 0.0203 0.0009948 0.04618 0.9066 1 -0.000006082 0.03946 0.0482 0.01916 0.1384 2.997 2 0.1075 0.1993 1 1 0.02713 0.1201 0.2529 0.137 0.6067 1.277 json
t14_x15_u3_b40 14 15 3 40 flr(div(eql(D,R),P)) 60016 114295072 o1(o2(o2(x,x),x)) true 139095 139095 0.00004008 0.0002289 0.00004008 0.00001031 0.00321 0 0.3282 0.3282 1 0.002722 0.00001454 1.509e-7 0.00006305 0.9795 0 1.17e-7 0.00004407 0.0001242 0.00001469 0.003832 60.78 0.3186 1.425 4.276 1 1 0 0 0.000007865 0 0 0.7631 json
t14_x15_u3_b41 14 15 3 41 flr(div(min(D,R),P)) 60017 114295073 o1(o2(o2(x,x),x)) true 139103 139103 -0.5752 0 0.5752 0.1781 0.4221 -1 0 1 1 3.168 0.02738 0.001057 0.06507 0.9256 1 -0.0001255 0.05153 0.06534 0.02421 0.1556 2.391 1 0.1596 0.2892 1 1 0.03023 0.1364 0.1789 0.1697 0.7657 1.004 json
t14_x15_u3_b42 14 15 3 42 flr(div(dot(D,R),P)) 60018 114295074 o1(o2(o2(x,x),x)) true 139111 139111 -0.5648 0.0005798 0.5648 0.1586 0.3983 -1 0.04095 1.041 1 3.442 0.03372 0.03032 0.1116 0.05313 1 0.00003419 0.2005 0.1642 0.0516 0.2272 2.036 1.414 0.4038 1.264 1 1 0.06543 0.2474 0.2863 0.4125 1.56 1.805 json
t14_x15_u3_b43 14 15 3 43 flr(div(dst(D,R),P)) 60019 114295075 o1(o2(o2(x,x),x)) true 139119 139119 -0.545 0.05461 0.58 0.2781 0.5273 -1 1 2 1 1.28 0.01204 0.0008697 0.01114 0.8653 1 0.000005239 0.02837 0.01794 0.01279 0.1131 10.15 2 0.04644 0.102 1 1 0.01618 0.05682 0.1284 0.0582 0.2044 0.4617 json
t14_x15_u3_b44 14 15 3 44 flr(pow(add(D,R),P)) 60020 114295076 o1(o2(o2(x,x),x)) true 139127 139127 -0.8287 0.09468 0.9672 0.2766 0.5259 -1 1 2 1 0.6997 0.08872 0.0161 0.06052 0.6928 1 0.0001694 0.2247 0.1182 0.1013 0.3182 5.258 2.828 0.379 0.8125 1 1 0.09928 0.3192 0.527 0.359 1.154 1.906 json
t14_x15_u3_b45 14 15 3 45 flr(pow(sub(D,R),P)) 60021 114295077 o1(o2(o2(x,x),x)) true 139135 139135 -0.8518 0.07877 0.9743 0.2467 0.4967 -1 1 2 1 0.573 0.09062 0.01966 0.06369 0.6435 1 -0.0001001 0.2452 0.1259 0.1062 0.3259 5.116 2.828 0.447 0.9939 1 1 0.1148 0.3238 0.4849 0.4651 1.312 1.965 json
t14_x15_u3_b46 14 15 3 46 flr(pow(mlt(D,R),P)) 60022 114295078 o1(o2(o2(x,x),x)) true 139143 139143 -0.9082 0.03906 0.9824 0.1572 0.3965 -1 1 2 1 0.3753 0.02131 0.01683 0.02112 0.1176 1 0 0.08046 0.04212 0.03771 0.1942 9.195 2.828 0.2426 0.5119 1 1 0.04319 0.1783 0.384 0.2748 1.134 2.443 json
t14_x15_u3_b47 14 15 3 47 flr(pow(div(D,R),P)) 60023 114295079 o1(o2(o2(x,x),x)) true 139151 139151 -0.9046 0.05222 0.9861 0.1655 0.4068 -1 1 2 1 0.4254 0.02302 0.01709 0.02458 0.1479 1 -0.000006279 0.08396 0.04609 0.03951 0.1988 8.086 2.828 0.2424 0.5074 1 1 0.04379 0.1784 0.3875 0.2646 1.078 2.342 json
t14_x15_u3_b48 14 15 3 48 flr(pow(pow(D,R),P)) 60024 114295080 o1(o2(o2(x,x),x)) true 139159 139159 -0.8866 0.0625 0.9884 0.1986 0.4456 -1 1 2 1 0.4834 0.02846 0.0001488 0.01725 0.9896 1 -0.00002436 0.05734 0.03083 0.0283 0.1682 9.751 2 0.1441 0.2888 1 1 0.03688 0.146 0.2882 0.1857 0.7351 1.451 json
t14_x15_u3_b49 14 15 3 49 flr(pow(mod(D,R),P)) 60025 114295081 o1(o2(o2(x,x),x)) true 139167 139167 -0.875 0.0625 1 0.2344 0.4841 -1 1 2 1 0.3373 0.03175 0 0.01587 1 1 0 0.06349 0.03175 0.03149 0.1774 11.18 2 0.1354 0.2709 1 1 0.04211 0.1684 0.3368 0.1796 0.7186 1.437 json
t14_x15_u3_b50 14 15 3 50 flr(pow(lrg(D,R),P)) 60026 114295082 o1(o2(o2(x,x),x)) true 139175 139175 -0.02829 0.5732 0.7686 0.714 0.845 -1 1 2 1 2.927 0.1216 0.03102 0.1112 0.5936 1 -0.0004752 0.3409 0.1767 0.1403 0.3745 3.369 2.828 0.2138 0.4774 1 1 0.1403 0.473 0.7347 0.1964 0.6624 1.029 json
t14_x15_u3_b51 14 15 3 51 flr(pow(eql(D,R),P)) 60027 114295083 o1(o2(o2(x,x),x)) true 139183 139183 -0.4687 0.0625 0.5313 0.3049 0.5521 -1 0.9999 2 1 1.407 0.01624 1.509e-7 0.01193 1 1 1.166e-7 0.03191 0.01691 0.01609 0.1268 10.63 2 0.05326 0.1047 1 1 0.0219 0.08325 0.1593 0.07183 0.2731 0.5226 json
t14_x15_u3_b52 14 15 3 52 flr(pow(min(D,R),P)) 60028 114295084 o1(o2(o2(x,x),x)) true 139191 139191 -0.9609 0.01953 1 0.07656 0.2767 -1 1 2 1 0.1388 0.01008 0.006047 0.008007 0.25 1 0 0.03376 0.01612 0.01606 0.1267 15.83 2.828 0.2106 0.441 1 1 0.02216 0.0913 0.2411 0.2895 1.193 3.149 json
t14_x15_u3_b53 14 15 3 53 flr(pow(dot(D,R),P)) 60029 114295085 o1(o2(o2(x,x),x)) true 139199 139199 -0.8718 0.05159 0.9573 0.1962 0.443 -1 1 2 1 0.5529 0.05377 0.0456 0.0555 0.08227 1 -0.0002047 0.3064 0.1189 0.09628 0.3103 5.591 2.828 0.5064 1.562 1 1 0.1096 0.3182 0.4159 0.5585 1.621 2.119 json
t14_x15_u3_b54 14 15 3 54 flr(pow(dst(D,R),P)) 60030 114295086 o1(o2(o2(x,x),x)) true 139207 139207 0.6866 0.9056 0.6866 0.1697 0.412 0 1 1 1 2.348 0.02124 0.02159 0.0845 -0.008099 1 -0.0003646 0.1175 0.1297 0.03567 0.1889 2.235 1.413 0.2523 0.6921 1 1 0.04734 0.202 0.3121 0.2789 1.19 1.839 json
t14_x15_u3_b55 14 15 3 55 flr(mod(add(D,R),P)) 60031 114295087 o1(o2(o2(x,x),x)) true 139215 139215 -0.5351 0.1086 0.5929 0.215 0.4637 -1 0.9988 1.999 1 3.756 0.03086 0.002821 0.09962 0.8325 1 -0.0002356 0.06039 0.1048 0.02376 0.1541 1.547 1 0.1567 0.2809 1 1 0.03481 0.1764 0.3609 0.1619 0.8204 1.679 json
t14_x15_u3_b56 14 15 3 56 flr(mod(sub(D,R),P)) 60032 114295088 o1(o2(o2(x,x),x)) true 139223 139223 -0.5361 0.1033 0.5927 0.2166 0.4654 -1 0.9991 1.999 1 3.705 0.02947 0.002765 0.09606 0.8284 1 0.00001471 0.05792 0.1009 0.02301 0.1517 1.579 1 0.1488 0.2674 1 1 0.03397 0.1626 0.3635 0.1568 0.7507 1.678 json
t14_x15_u3_b57 14 15 3 57 flr(mod(mlt(D,R),P)) 60033 114295089 o1(o2(o2(x,x),x)) true 139231 139231 -0.5566 0 0.5566 0.155 0.3937 -1 0 1 1 3.463 0.04197 0.002019 0.09035 0.9082 1 0.00001497 0.08179 0.09899 0.03583 0.1893 2.095 1 0.2838 0.5277 1 1 0.04623 0.2095 0.2795 0.2983 1.352 1.804 json
t14_x15_u3_b58 14 15 3 58 flr(mod(div(D,R),P)) 60034 114295090 o1(o2(o2(x,x),x)) true 139239 139239 -0.4834 0.1696 0.6374 0.3216 0.5671 -1 1 2 1 3.743 0.08723 0.005538 0.157 0.8806 1 0.0001417 0.1906 0.2234 0.06811 0.261 1.662 2.063 0.2884 0.5927 1 1 0.08217 0.3807 0.5745 0.2555 1.184 1.786 json
t14_x15_u3_b59 14 15 3 59 flr(mod(pow(D,R),P)) 60035 114295091 o1(o2(o2(x,x),x)) true 139247 139247 -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
t14_x15_u3_b60 14 15 3 60 flr(mod(mod(D,R),P)) 60036 114295092 o1(o2(o2(x,x),x)) true 139255 139255 -0.5625 0 0.5625 0.1514 0.3891 -1 -0.000291 0.9997 1 3.238 0.05647 0 0.1069 1 1 0 0.1047 0.1159 0.04503 0.2122 1.984 0.9997 0.373 0.6913 1 1 0.05855 0.2076 0.06598 0.3867 1.372 0.4359 json
t14_x15_u3_b61 14 15 3 61 flr(mod(lrg(D,R),P)) 60037 114295093 o1(o2(o2(x,x),x)) true 139263 139263 0.2914 0.7887 0.5414 0.3682 0.6068 -1 1 2 1 3.598 0.0253 0.00174 0.07683 0.8713 1 -0.00003901 0.04829 0.0753 0.02114 0.1454 1.892 1 0.07344 0.1312 1 1 0.02955 0.1619 0.5603 0.08025 0.4397 1.522 json
t14_x15_u3_b62 14 15 3 62 flr(mod(eql(D,R),P)) 60038 114295094 o1(o2(o2(x,x),x)) true 139271 139271 -0.125 0 0.125 0.1094 0.3307 -1 0 1 1 0.5436 0.007937 0 0.007937 1 1 0 0.01587 0.01587 0.007872 0.08872 11.18 1 0.07256 0.1451 1 1 0.01053 0.04211 0.1684 0.09624 0.385 1.54 json
t14_x15_u3_b63 14 15 3 63 flr(mod(min(D,R),P)) 60039 114295095 o1(o2(o2(x,x),x)) true 139279 139279 -0.7881 0 0.7881 0.1008 0.3174 -1 -0.000291 0.9997 1 2.562 0.02341 0.001057 0.0611 0.9136 1 0.000007138 0.04357 0.0574 0.02074 0.144 2.357 0.9997 0.2428 0.4324 1 1 0.02498 0.1176 0.1317 0.2479 1.167 1.307 json
t14_x15_u3_b64 14 15 3 64 flr(mod(dot(D,R),P)) 60040 114295096 o1(o2(o2(x,x),x)) true 139287 139287 -0.5526 0.005341 0.5527 0.1602 0.4002 -1 0.07772 1.078 1 3.463 0.03378 0.03037 0.1119 0.05317 1 -0.0002736 0.2008 0.1659 0.05162 0.2272 2.03 1.414 0.4005 1.254 1 1 0.0658 0.2475 0.2898 0.4108 1.545 1.809 json
t14_x15_u3_b65 14 15 3 65 flr(mod(dst(D,R),P)) 60041 114295097 o1(o2(o2(x,x),x)) true 139295 139295 0.3271 0.8371 0.5771 0.391 0.6253 -1 1 2 1 3.467 0.02739 0.01935 0.09439 0.1719 1 0.0001783 0.1321 0.1324 0.03783 0.1945 2.061 1.413 0.1195 0.3378 1 1 0.04897 0.2141 0.603 0.1252 0.5476 1.542 json
t14_x15_u3_b66 14 15 3 66 flr(lrg(add(D,R),P)) 60042 114295098 o1(o2(o2(x,x),x)) true 139303 139303 0.5017 0.5879 0.5017 0.2332 0.4829 0 1 1 1 1.707 0.002579 0.0001747 0.01255 0.8731 1 -0.000009609 0.004619 0.009851 0.002597 0.05096 4.059 0.9926 0.01181 0.01981 1 1 0.003607 0.02284 0.08805 0.01547 0.09794 0.3776 json
t14_x15_u3_b67 14 15 3 67 flr(lrg(sub(D,R),P)) 60043 114295099 o1(o2(o2(x,x),x)) true 139311 139311 0.4996 0.572 0.4996 0.2344 0.4841 0 1 1 1 1.67 0.002223 0.0001586 0.01146 0.8668 1 0.000008897 0.003908 0.0088 0.00225 0.04743 4.138 0.97 0.01016 0.01668 1 1 0.003183 0.02133 0.08782 0.01358 0.09101 0.3747 json
t14_x15_u3_b68 14 15 3 68 flr(lrg(mlt(D,R),P)) 60044 114295100 o1(o2(o2(x,x),x)) true 139319 139319 0.5 0.5378 0.5 0.2421 0.492 0 1 1 1 1.382 0.003597 0.0001053 0.007956 0.9431 1 -3.219e-10 0.006751 0.008078 0.003638 0.06032 7.581 1 0.01529 0.02789 1 1 0.005344 0.0265 0.09053 0.02207 0.1095 0.3739 json
t14_x15_u3_b69 14 15 3 69 flr(lrg(div(D,R),P)) 60045 114295101 o1(o2(o2(x,x),x)) true 139327 139327 0.4999 0.6382 0.4999 0.2273 0.4767 0 1 1 1 1.893 0.00855 0.0003323 0.02338 0.9252 1 -0.000007968 0.01689 0.027 0.008337 0.09131 3.906 1 0.03908 0.07432 1 1 0.01218 0.05236 0.1138 0.05359 0.2304 0.5009 json
t14_x15_u3_b70 14 15 3 70 flr(lrg(pow(D,R),P)) 60046 114295102 o1(o2(o2(x,x),x)) true 139335 139335 0.8123 1 0.8123 0.1032 0.3212 0.000291 1 0.9997 1 2.093 0.02438 0.0002632 0.05304 0.9786 1 0.00009479 0.04507 0.05657 0.02183 0.1477 2.785 0.9997 0.2388 0.4368 1 1 0.0256 0.1005 0.04777 0.2481 0.9743 0.4629 json
t14_x15_u3_b71 14 15 3 71 flr(lrg(mod(D,R),P)) 60047 114295103 o1(o2(o2(x,x),x)) true 139343 139343 0.5 0.5625 0.5 0.2365 0.4863 0 1 1 1 1.577 0.00467 0 0.0119 1 1 -4.731e-10 0.008068 0.009787 0.004528 0.06729 5.654 0.9994 0.01975 0.03412 1 1 0.007036 0.03244 0.06598 0.02976 0.1372 0.279 json
t14_x15_u3_b72 14 15 3 72 flr(lrg(lrg(D,R),P)) 60048 114295104 o1(o2(o2(x,x),x)) true 139351 139351 0.5046 0.5562 0.5046 0.2388 0.4886 0 1 1 1 1.512 0.0009964 0.000103 0.007439 0.8127 1 0.000002812 0.00144 0.004408 0.001045 0.03232 4.345 0.8606 0.004604 0.006033 1 1 0.001885 0.01652 0.08589 0.007897 0.0692 0.3597 json
t14_x15_u3_b73 14 15 3 73 flr(lrg(eql(D,R),P)) 60049 114295105 o1(o2(o2(x,x),x)) true 139359 139359 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
t14_x15_u3_b74 14 15 3 74 flr(lrg(min(D,R),P)) 60050 114295106 o1(o2(o2(x,x),x)) true 139367 139367 0.4824 0.5378 0.4824 0.2389 0.4888 0 1 1 1 1.486 0.002093 0.00005267 0.007983 0.9509 1 -0.000002853 0.003286 0.004977 0.002081 0.04562 5.715 0.9994 0.008984 0.01375 1 1 0.003596 0.02222 0.07826 0.01505 0.09301 0.3276 json
t14_x15_u3_b75 14 15 3 75 flr(lrg(dot(D,R),P)) 60051 114295107 o1(o2(o2(x,x),x)) true 139375 139375 0.501 0.5466 0.501 0.2411 0.491 0 1 1 1 1.421 0.002838 0.001955 0.01021 0.1842 1 -0.00001934 0.01541 0.01267 0.004689 0.06847 6.706 1.409 0.01988 0.06392 1 1 0.006801 0.0302 0.08809 0.02821 0.1253 0.3654 json
t14_x15_u3_b76 14 15 3 76 flr(lrg(dst(D,R),P)) 60052 114295108 o1(o2(o2(x,x),x)) true 139383 139383 0.5703 0.6169 0.5703 0.2373 0.4872 0 1 1 1 1.36 0.001875 0.001644 0.008277 0.06575 1 0.000001304 0.01025 0.01038 0.003447 0.05871 7.093 1.404 0.01483 0.0432 1 1 0.005233 0.02504 0.08669 0.02205 0.1055 0.3653 json
t14_x15_u3_b77 14 15 3 77 flr(eql(add(D,R),P)) 60053 114295109 o1(o2(o2(x,x),x)) true 139391 139391 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
t14_x15_u3_b78 14 15 3 78 flr(eql(sub(D,R),P)) 60054 114295110 o1(o2(o2(x,x),x)) true 139399 139399 0.000082 0.0002441 0.000082 0.00004315 0.006569 0 0.6715 0.6715 1 0.003091 0.00006086 6.316e-7 0.000129 0.9795 0 2.395e-7 0.0001845 0.0002541 0.00006148 0.007841 60.78 0.6519 1.425 4.276 1 1 0 0 0.00003293 0 0 0.7631 json
t14_x15_u3_b79 14 15 3 79 flr(eql(mlt(D,R),P)) 60055 114295111 o1(o2(o2(x,x),x)) true 139407 139407 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
t14_x15_u3_b80 14 15 3 80 flr(eql(div(D,R),P)) 60056 114295112 o1(o2(o2(x,x),x)) true 139415 139415 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
t14_x15_u3_b81 14 15 3 81 flr(eql(pow(D,R),P)) 60057 114295113 o1(o2(o2(x,x),x)) true 139423 139423 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
t14_x15_u3_b82 14 15 3 82 flr(eql(mod(D,R),P)) 60058 114295114 o1(o2(o2(x,x),x)) true 139431 139431 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
t14_x15_u3_b83 14 15 3 83 flr(eql(lrg(D,R),P)) 60059 114295115 o1(o2(o2(x,x),x)) true 139439 139439 0.04915 0.1394 0.04915 0.03205 0.179 0 0.9997 0.9997 1 0.8158 0.001966 0.000237 0.01068 0.7849 1 0.000008215 0.003176 0.007693 0.002089 0.04571 4.278 0.9994 0.06875 0.09911 1 1 0.004129 0.02915 0.07178 0.1288 0.9096 2.24 json
t14_x15_u3_b84 14 15 3 84 flr(eql(eql(D,R),P)) 60060 114295116 o1(o2(o2(x,x),x)) true 139447 139447 0.06254 0.125 0.06254 0.04512 0.2124 0 0.9999 0.9999 1 0.8129 0.0007211 1.509e-7 0.007966 0.9996 1 1.161e-7 0.00007655 0.001972 0.0006579 0.02565 3.22 0.4319 0.01598 0.001697 1 1 0.001851 0.02408 0.06599 0.04102 0.5337 1.463 json
t14_x15_u3_b85 14 15 3 85 flr(eql(min(D,R),P)) 60061 114295117 o1(o2(o2(x,x),x)) true 139455 139455 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
t14_x15_u3_b86 14 15 3 86 flr(eql(dot(D,R),P)) 60062 114295118 o1(o2(o2(x,x),x)) true 139463 139463 0.00002339 0.00006104 0.00002339 0.00001388 0.003725 0 0.6669 0.6669 1 0.001004 0.00002864 0.00002864 0.00008242 0 0 0 0.0002864 0.0001931 0.00005727 0.007568 91.82 0.9432 4.128 20.64 1 1 0 0 0.00001246 0 0 0.8978 json
t14_x15_u3_b87 14 15 3 87 flr(eql(dst(D,R),P)) 60063 114295119 o1(o2(o2(x,x),x)) true 139471 139471 0.00001866 0.0001068 0.00001866 0.00001186 0.003444 0 0.8547 0.8547 1 0.0007985 0.00002449 0.00002449 0.00006575 0 0 0 0.0002449 0.0001541 0.00004897 0.006998 106.4 1.209 4.128 20.64 1 1 0.000002607 0.00001272 0.00001272 0.2197 1.073 1.072 json
t14_x15_u3_b88 14 15 3 88 flr(min(add(D,R),P)) 60064 114295120 o1(o2(o2(x,x),x)) true 139479 139479 -0.7355 0.05183 0.7627 0.1677 0.4095 -1 0.9988 1.999 1 2.599 0.01551 0.001592 0.05598 0.8138 1 0.0002287 0.02992 0.05644 0.01396 0.1182 2.111 0.9997 0.102 0.1784 1 1 0.01908 0.1055 0.2282 0.1138 0.6293 1.361 json
t14_x15_u3_b89 14 15 3 89 flr(min(sub(D,R),P)) 60065 114295121 o1(o2(o2(x,x),x)) true 139487 139487 -0.7198 0.05478 0.7484 0.1761 0.4196 -1 0.9991 1.999 1 2.644 0.01544 0.001584 0.05597 0.814 1 3.91e-7 0.02955 0.05618 0.01389 0.1179 2.106 0.9997 0.0967 0.1678 1 1 0.01798 0.1003 0.2155 0.1021 0.5697 1.224 json
t14_x15_u3_b90 14 15 3 90 flr(min(mlt(D,R),P)) 60066 114295122 o1(o2(o2(x,x),x)) true 139495 139495 -0.7344 0 0.7344 0.1391 0.3729 -1 0 1 1 2.537 0.02512 0.001307 0.05492 0.9011 1 -0.000004283 0.04904 0.05946 0.02341 0.153 2.786 1 0.19 0.3526 1 1 0.0308 0.1426 0.1827 0.2215 1.026 1.314 json
t14_x15_u3_b91 14 15 3 91 flr(min(div(D,R),P)) 60067 114295123 o1(o2(o2(x,x),x)) true 139503 139503 -0.6981 0.1059 0.7991 0.2646 0.5144 -1 1 2 1 2.543 0.04163 0.004473 0.08441 0.806 1 0.0001759 0.08142 0.1078 0.03896 0.1974 2.338 2.044 0.1742 0.3078 1 1 0.05042 0.274 0.3987 0.1906 1.036 1.507 json
t14_x15_u3_b92 14 15 3 92 flr(min(pow(D,R),P)) 60068 114295124 o1(o2(o2(x,x),x)) true 139511 139511 -0.04149 0.5 0.896 0.8704 0.9329 -1 1 2 1 2.237 0.01239 0.0005912 0.03163 0.9089 1 -0.000007249 0.02127 0.03243 0.01197 0.1094 3.46 0.9991 0.01491 0.02444 1 1 0.01589 0.06511 0.2376 0.01826 0.07481 0.273 json
t14_x15_u3_b93 14 15 3 93 flr(min(mod(D,R),P)) 60069 114295125 o1(o2(o2(x,x),x)) true 139519 139519 -0.75 0 0.75 0.1334 0.3652 -1 -0.000291 0.9997 1 2.329 0.03453 0 0.06344 1 1 -0.00008984 0.06436 0.07079 0.03051 0.1747 2.753 0.9997 0.2589 0.4825 1 1 0.03929 0.1364 0.03299 0.2946 1.023 0.2473 json
t14_x15_u3_b94 14 15 3 94 flr(min(lrg(D,R),P)) 60070 114295126 o1(o2(o2(x,x),x)) true 139527 139527 -0.2314 0.4266 0.7061 0.5967 0.7724 -1 1 2 1 3.126 0.0101 0.001034 0.04232 0.8142 1 -0.00003426 0.0183 0.03485 0.009345 0.09667 2.284 0.9997 0.01866 0.03066 1 1 0.01238 0.08155 0.256 0.02074 0.1367 0.429 json
t14_x15_u3_b95 14 15 3 95 flr(min(eql(D,R),P)) 60071 114295127 o1(o2(o2(x,x),x)) true 139535 139535 -0.4687 0.0002289 0.4688 0.2423 0.4922 -1 0.3282 1.328 1 1.409 0.0003675 1.509e-7 0.004031 0.9992 1 1.175e-7 0.00006027 0.001052 0.0003516 0.01875 4.651 0.3186 0.001517 0.0002487 1 1 0.0009255 0.01214 0.07511 0.003819 0.05011 0.31 json
t14_x15_u3_b96 14 15 3 96 flr(min(min(D,R),P)) 60072 114295128 o1(o2(o2(x,x),x)) true 139543 139543 -0.8867 0 0.8867 0.06403 0.253 -1 -0.000291 0.9997 1 1.639 0.01363 0.0006318 0.03482 0.9114 1 -0.00006203 0.02557 0.03365 0.01305 0.1142 3.281 0.9997 0.2227 0.3993 1 1 0.01644 0.07574 0.0849 0.2567 1.183 1.326 json
t14_x15_u3_b97 14 15 3 97 flr(min(dot(D,R),P)) 60073 114295129 o1(o2(o2(x,x),x)) true 139551 139551 -0.7329 0.004105 0.7329 0.1431 0.3783 -1 0.07772 1.078 1 2.535 0.01914 0.01811 0.06675 0.02757 1 -0.0001367 0.1169 0.09695 0.03281 0.1811 2.713 1.414 0.2603 0.8173 1 1 0.04077 0.1607 0.1972 0.285 1.123 1.378 json
t14_x15_u3_b98 14 15 3 98 flr(min(dst(D,R),P)) 60074 114295130 o1(o2(o2(x,x),x)) true 139559 139559 -0.1986 0.4799 0.7389 0.6498 0.8061 -1 1 2 1 3.039 0.01205 0.0118 0.0538 0.01064 1 0.0001645 0.07008 0.06955 0.02096 0.1448 2.691 1.413 0.03671 0.1079 1 1 0.02669 0.1199 0.2991 0.04107 0.1846 0.4603 json
t14_x15_u3_b99 14 15 3 99 flr(dot(add(D,R),P)) 60075 114295131 o1(o2(o2(x,x),x)) true 139567 139567 -0.3001 0.3368 0.8626 0.732 0.8556 -1 1 2 1 2.651 0.04837 0.05398 0.142 -0.05482 1 0.0008467 0.2289 0.2117 0.08217 0.2867 2.018 2.219 0.1398 0.3127 1 1 0.1107 0.617 1.293 0.1513 0.8428 1.767 json
t14_x15_u3_b100 14 15 3 100 flr(dot(sub(D,R),P)) 60076 114295132 o1(o2(o2(x,x),x)) true 139575 139575 -0.1244 0.4281 0.8663 0.8088 0.8993 -1 1 2 1 2.752 0.049 0.05424 0.1467 -0.05072 1 0.001315 0.2337 0.2179 0.0817 0.2858 1.949 2.113 0.1276 0.2889 1 1 0.1076 0.6132 1.299 0.133 0.7582 1.606 json
t14_x15_u3_b101 14 15 3 101 flr(dot(mlt(D,R),P)) 60077 114295133 o1(o2(o2(x,x),x)) true 139583 139583 -0.3978 0.2261 0.6096 0.3602 0.6002 -1 1 2 1 4.018 0.05331 0.0536 0.1915 -0.002687 1 -0.000533 0.3101 0.3066 0.07021 0.265 1.383 1.543 0.2968 0.861 1 1 0.1001 0.4488 0.5859 0.2778 1.246 1.627 json
t14_x15_u3_b102 14 15 3 102 flr(dot(div(D,R),P)) 60078 114295134 o1(o2(o2(x,x),x)) true 139591 139591 -0.1123 0.4405 0.8916 0.8486 0.9212 -1 1 2 1 2.417 0.1173 0.1147 0.2072 0.01089 1 0.000223 0.5475 0.3465 0.1891 0.4348 2.099 2.828 0.2734 0.6452 1 1 0.244 1.184 1.596 0.2875 1.395 1.881 json
t14_x15_u3_b103 14 15 3 103 flr(dot(pow(D,R),P)) 60079 114295135 o1(o2(o2(x,x),x)) true 139599 139599 -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
t14_x15_u3_b104 14 15 3 104 flr(dot(mod(D,R),P)) 60080 114295136 o1(o2(o2(x,x),x)) true 139607 139607 -0.4758 0.1762 0.6691 0.3585 0.5987 -1 1 2 1 3.72 0.09914 0.1045 0.2829 -0.02634 1 0.0007893 0.6549 0.5111 0.1236 0.3516 1.243 2.111 0.5681 1.827 1 1 0.148 0.4945 0.2622 0.4128 1.379 0.7314 json
t14_x15_u3_b105 14 15 3 105 flr(dot(lrg(D,R),P)) 60081 114295137 o1(o2(o2(x,x),x)) true 139615 139615 0.01377 0.4929 0.8203 0.7826 0.8847 -1 1 2 1 2.827 0.02937 0.03562 0.0947 -0.09618 1 -0.0002348 0.1086 0.1142 0.05603 0.2367 2.499 2.139 0.08304 0.1387 1 1 0.07198 0.3541 0.688 0.09197 0.4524 0.8791 json
t14_x15_u3_b106 14 15 3 106 flr(dot(eql(D,R),P)) 60082 114295138 o1(o2(o2(x,x),x)) true 139623 139623 -0.0001701 0.0002289 0.0002502 0.000152 0.01233 -0.8606 0.3282 1.189 1 0.0104 0.00001661 0.0002927 0.0005009 -0.8926 1 1.171e-7 0.0009302 0.0009922 0.000309 0.01758 35.09 0.8606 2.035 6.119 1 1 0.0002646 0.0003513 0.0005225 1.74 2.311 3.437 json
t14_x15_u3_b107 14 15 3 107 flr(dot(min(D,R),P)) 60083 114295139 o1(o2(o2(x,x),x)) true 139631 139631 -0.2985 0.3245 0.8147 0.6754 0.8219 -1 1 2 1 3.028 0.03461 0.03794 0.1279 -0.04595 1 0.001025 0.1695 0.1846 0.0562 0.2371 1.854 1.544 0.1074 0.251 1 1 0.07499 0.3971 0.7209 0.111 0.5879 1.067 json
t14_x15_u3_b108 14 15 3 108 flr(dot(dot(D,R),P)) 60084 114295140 o1(o2(o2(x,x),x)) true 139639 139639 -0.3422 0.2438 0.6006 0.3992 0.6318 -1 1 2 1 3.995 0.05706 0.05784 0.1915 -0.006767 1 -0.0001829 0.3611 0.3161 0.07821 0.2797 1.46 1.734 0.2878 0.9047 1 1 0.1064 0.5051 0.7008 0.2664 1.265 1.756 json
t14_x15_u3_b109 14 15 3 109 flr(dot(dst(D,R),P)) 60085 114295141 o1(o2(o2(x,x),x)) true 139647 139647 -0.03704 0.4839 0.922 0.9036 0.9506 -1 1 2 1 1.971 0.002612 0.002807 0.01798 -0.03587 1 0.000005841 0.01229 0.01662 0.005097 0.07139 3.971 1.408 0.005997 0.0136 1 1 0.008983 0.06077 0.3831 0.009941 0.06725 0.424 json
t14_x15_u3_b110 14 15 3 110 flr(dst(add(D,R),P)) 60086 114295142 o1(o2(o2(x,x),x)) true 139655 139655 0.9937 1 0.9937 0.004501 0.06709 0.0005821 1 0.9994 1 0.1302 0.0006225 0.0006399 0.002844 -0.01378 1 0 0.003427 0.003787 0.001254 0.03541 12.45 1.413 0.2805 0.7615 1 1 0.00256 0.01102 0.01577 0.5687 2.448 3.504 json
t14_x15_u3_b111 14 15 3 111 flr(dst(sub(D,R),P)) 60087 114295143 o1(o2(o2(x,x),x)) true 139663 139663 0.9964 1 0.9964 0.002196 0.04686 0.0005821 1 0.9994 1 0.09515 0.0003562 0.0003594 0.001969 -0.004588 1 -2.253e-11 0.002046 0.00266 0.0007117 0.02668 13.55 1.212 0.3258 0.9315 1 1 0.001398 0.005841 0.007538 0.6366 2.659 3.432 json
t14_x15_u3_b112 14 15 3 112 flr(dst(mlt(D,R),P)) 60088 114295144 o1(o2(o2(x,x),x)) true 139671 139671 0.9902 0.9996 0.9902 0.008114 0.09008 8.471e-8 1 1 1 0.1534 0.0004999 0.0006048 0.002256 -0.09502 1 1.877e-11 0.002786 0.003037 0.001101 0.03318 14.71 1.394 0.1362 0.3434 1 1 0.00213 0.01036 0.02811 0.2625 1.277 3.464 json
t14_x15_u3_b113 14 15 3 113 flr(dst(div(D,R),P)) 60089 114295145 o1(o2(o2(x,x),x)) true 139679 139679 0.994 1 0.994 0.004299 0.06557 0.0006034 1 0.9994 1 0.1262 0.0009179 0.00163 0.004526 -0.2794 1 -4.881e-11 0.006814 0.007485 0.002525 0.05025 11.1 1.383 0.5925 1.585 1 1 0.004435 0.01147 0.01426 1.032 2.668 3.316 json
t14_x15_u3_b114 14 15 3 114 flr(dst(pow(D,R),P)) 60090 114295146 o1(o2(o2(x,x),x)) true 139687 139687 -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
t14_x15_u3_b115 14 15 3 115 flr(dst(mod(D,R),P)) 60091 114295147 o1(o2(o2(x,x),x)) true 139695 139695 0.9919 1 0.9919 0.005256 0.0725 0.000582 1 0.9994 1 0.1862 0.0007438 0.0006646 0.003565 0.05626 1 -3.379e-11 0.003434 0.004452 0.001397 0.03738 10.48 1.255 0.268 0.6534 1 1 0.002671 0.01023 0.01883 0.5081 1.946 3.583 json
t14_x15_u3_b116 14 15 3 116 flr(dst(lrg(D,R),P)) 60092 114295148 o1(o2(o2(x,x),x)) true 139703 139703 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
t14_x15_u3_b117 14 15 3 117 flr(dst(eql(D,R),P)) 60093 114295149 o1(o2(o2(x,x),x)) true 139711 139711 0.9961 1 0.9961 0.002383 0.04882 0.000582 1 0.9994 1 0.1068 0.00003512 0.00003512 0.0008419 6.216e-7 0 -1.577e-10 0.000004222 0.000206 0.00006942 0.008332 9.897 0.1169 0.02947 0.001772 1 1 0.0002443 0.003178 0.008708 0.1025 1.334 3.654 json
t14_x15_u3_b118 14 15 3 118 flr(dst(min(D,R),P)) 60094 114295150 o1(o2(o2(x,x),x)) true 139719 139719 0.9898 0.9999 0.9898 0.007341 0.08568 1.694e-7 1 1 1 0.1985 0.0002269 0.0002649 0.002575 -0.07741 1 -1.502e-11 0.001069 0.002476 0.0004847 0.02202 8.548 0.7766 0.06699 0.1457 1 1 0.00113 0.008038 0.02626 0.154 1.095 3.578 json
t14_x15_u3_b119 14 15 3 119 flr(dst(dot(D,R),P)) 60095 114295151 o1(o2(o2(x,x),x)) true 139727 139727 0.9896 0.9998 0.9896 0.007777 0.08819 1.694e-7 1 1 1 0.1941 0.0007432 0.0006723 0.003361 0.05008 1 -1.352e-10 0.004035 0.004517 0.001403 0.03745 11.14 1.388 0.182 0.5188 1 1 0.002709 0.01169 0.02582 0.3483 1.503 3.321 json
t14_x15_u3_b120 14 15 3 120 flr(dst(dst(D,R),P)) 60096 114295152 o1(o2(o2(x,x),x)) true 139735 139735 0.9977 1 0.9977 0.001328 0.03644 0.0142 1 0.9858 1 0.06861 0.0002957 0.0003674 0.001386 -0.1081 1 3.379e-11 0.002064 0.001998 0.000662 0.02573 18.56 1.383 0.4995 1.555 1 1 0.001215 0.003936 0.004763 0.9152 2.965 3.588 json
t14_x15_u4_b0 14 15 4 0 cil(add(add(D,R),P)) 60097 114295233 o1(o2(o2(x,x),x)) true 139743 139743 0.06627 0.5292 0.9337 0.9156 0.9569 -1 1 2 1 1.827 0.00507 0.00046 0.01546 0.8336 1 -0.00002021 0.00952 0.01704 0.005294 0.07276 4.706 0.9994 0.00604 0.0104 1 1 0.008404 0.05105 0.2777 0.009178 0.05575 0.3033 json
t14_x15_u4_b1 14 15 4 1 cil(add(sub(D,R),P)) 60098 114295234 o1(o2(o2(x,x),x)) true 139751 139751 0.06013 0.5271 0.9384 0.921 0.9597 -1 1 2 1 1.831 0.005091 0.0004392 0.01585 0.8412 1 0.00001917 0.009523 0.01784 0.005276 0.07264 4.582 0.9997 0.006005 0.01034 1 1 0.008 0.04829 0.2805 0.008687 0.05243 0.3046 json
t14_x15_u4_b2 14 15 4 2 cil(add(mlt(D,R),P)) 60099 114295235 o1(o2(o2(x,x),x)) true 139759 139759 0.06065 0.5312 0.9382 0.9215 0.9599 -1 1 2 1 1.811 0.007365 0.00023 0.01623 0.9394 1 8.881e-7 0.01321 0.01645 0.007335 0.08564 5.275 1 0.008243 0.01433 1 1 0.01163 0.05908 0.2717 0.01262 0.06412 0.2948 json