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_x6_u19_b0 13 6 19 0 frc(add(sgn(R),P)) 45500 105814038 o1(o2(o1(x),x)) true 22967 22967 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_x6_u19_b1 13 6 19 1 frc(sub(sgn(R),P)) 45501 105814039 o1(o2(o1(x),x)) true 22975 22975 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_x6_u19_b2 13 6 19 2 frc(mlt(sgn(R),P)) 45502 105814040 o1(o2(o1(x),x)) true 22983 22983 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_x6_u19_b3 13 6 19 3 frc(div(sgn(R),P)) 45503 105814041 o1(o2(o1(x),x)) true 22991 22991 0.3024 0.875 0.5524 0.2921 0.5405 -1 0.875 1.875 1 3.794 0.008579 0.0005888 0.03313 0.8716 1 0.00001639 0.01589 0.02185 0.008071 0.08984 2.712 1 0.03138 0.0544 1 1 0.01236 0.07184 0.3831 0.04232 0.2459 1.311 json
t13_x6_u19_b4 13 6 19 4 frc(pow(sgn(R),P)) 45504 105814042 o1(o2(o1(x),x)) true 22999 22999 -0.9258 0 0.9258 0.06873 0.2622 -1 0 1 1 0.3815 0.006236 0.00611 0.01227 0.0102 1 0 0.02576 0.02469 0.01219 0.1104 8.996 1.414 0.1796 0.3748 1 1 0.01168 0.04866 0.1611 0.1699 0.7079 2.344 json
t13_x6_u19_b5 13 6 19 5 frc(mod(sgn(R),P)) 45505 105814043 o1(o2(o1(x),x)) true 23007 23007 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_x6_u19_b6 13 6 19 6 frc(lrg(sgn(R),P)) 45506 105814044 o1(o2(o1(x),x)) true 23015 23015 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_x6_u19_b7 13 6 19 7 frc(eql(sgn(R),P)) 45507 105814045 o1(o2(o1(x),x)) true 23023 23023 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_x6_u19_b8 13 6 19 8 frc(min(sgn(R),P)) 45508 105814046 o1(o2(o1(x),x)) true 23031 23031 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_x6_u19_b9 13 6 19 9 frc(dot(sgn(R),P)) 45509 105814047 o1(o2(o1(x),x)) true 23039 23039 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_x6_u19_b10 13 6 19 10 frc(dst(sgn(R),P)) 45510 105814048 o1(o2(o1(x),x)) true 23047 23047 0.4004 1 0.4004 0.0439 0.2095 0.0001157 0.9498 0.9497 1 3.678 0.0005232 0.0005243 0.02614 -0.001053 1 0.00002403 0.00006099 0.005897 0.0003642 0.01908 0.7301 0.1051 0.02386 0.001389 1 1 0.001925 0.02491 0.07024 0.04384 0.5673 1.6 json
t13_x6_u20_b0 13 6 20 0 frc(add(nrm(R),P)) 45511 105814239 o1(o2(o1(x),x)) true 23055 23055 0.5132 1 0.5132 0.0376 0.1939 0.002806 0.9945 0.9917 1 3.652 0.0004878 0.0005167 0.0258 -0.0288 1 0.0000118 0.00005923 0.005892 0.0003387 0.0184 0.7132 0.1079 0.02672 0.001575 1 1 0.001782 0.02284 0.06365 0.04741 0.6075 1.693 json
t13_x6_u20_b1 13 6 20 1 frc(sub(nrm(R),P)) 45512 105814240 o1(o2(o1(x),x)) true 23063 23063 0.5132 1 0.5132 0.0376 0.1939 0.002806 0.9945 0.9917 1 3.652 0.0004878 0.0005167 0.0258 -0.0288 1 0.0000118 0.00005923 0.005892 0.0003387 0.0184 0.7132 0.1079 0.02672 0.001575 1 1 0.001782 0.02284 0.06365 0.04741 0.6075 1.693 json
t13_x6_u20_b2 13 6 20 2 frc(mlt(nrm(R),P)) 45513 105814241 o1(o2(o1(x),x)) true 23071 23071 0.4854 0.9984 0.4854 0.05838 0.2416 7.982e-7 0.9972 0.9972 1 3.891 0.0007829 0.0006444 0.03053 0.09702 1 0.00001134 0.0000823 0.006988 0.0004952 0.02225 0.7289 0.1166 0.02445 0.00141 1 1 0.00294 0.03795 0.1097 0.05037 0.6501 1.878 json
t13_x6_u20_b3 13 6 20 3 frc(div(nrm(R),P)) 45514 105814242 o1(o2(o1(x),x)) true 23079 23079 0.3384 0.875 0.5884 0.3296 0.5741 -1 0.999 1.999 1 3.979 0.02026 0.001207 0.04619 0.8875 1 0.0000251 0.03883 0.03255 0.01933 0.139 3.01 1.997 0.06512 0.1178 1 1 0.02926 0.1457 0.5058 0.08876 0.4421 1.535 json
t13_x6_u20_b4 13 6 20 4 frc(pow(nrm(R),P)) 45515 105814243 o1(o2(o1(x),x)) true 23087 23087 -0.8976 0.07391 0.954 0.1362 0.369 -1 0.9944 1.994 1 0.6608 0.01421 0.01237 0.02025 0.06948 1 3.647e-7 0.05526 0.03585 0.02616 0.1617 7.985 2.679 0.1951 0.4058 1 1 0.02551 0.106 0.3158 0.1873 0.7781 2.319 json
t13_x6_u20_b5 13 6 20 5 frc(mod(nrm(R),P)) 45516 105814244 o1(o2(o1(x),x)) true 23095 23095 0.3228 0.875 0.5728 0.2837 0.5327 -1 0.9945 1.995 1 3.75 0.02022 0.0004765 0.03527 0.954 1 0.00001645 0.03965 0.03003 0.01945 0.1395 3.954 1.937 0.07294 0.1397 1 1 0.0278 0.1225 0.4403 0.098 0.4316 1.552 json
t13_x6_u20_b6 13 6 20 6 frc(lrg(nrm(R),P)) 45517 105814245 o1(o2(o1(x),x)) true 23103 23103 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_x6_u20_b7 13 6 20 7 frc(eql(nrm(R),P)) 45518 105814246 o1(o2(o1(x),x)) true 23111 23111 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_x6_u20_b8 13 6 20 8 frc(min(nrm(R),P)) 45519 105814247 o1(o2(o1(x),x)) true 23119 23119 0.2546 0.5437 0.2546 0.08205 0.2865 0 0.9945 0.9945 1 2.909 0.00032 0.0002783 0.01449 0.06957 1 0.000004754 0.00003349 0.003285 0.0003882 0.0197 1.36 0.1095 0.007291 0.0004082 1 1 0.001146 0.01491 0.0584 0.01396 0.1817 0.7117 json
t13_x6_u20_b9 13 6 20 9 frc(dot(nrm(R),P)) 45520 105814248 o1(o2(o1(x),x)) true 23127 23127 0.4881 1 0.4881 0.05001 0.2236 0.0002895 0.9993 0.999 1 3.829 0.0007474 0.0008325 0.03291 -0.05388 1 -0.00002018 0.00009514 0.0076 0.000497 0.02229 0.6775 0.1167 0.03159 0.001902 1 1 0.003106 0.03997 0.107 0.06211 0.7993 2.14 json
t13_x6_u20_b10 13 6 20 10 frc(dst(nrm(R),P)) 45521 105814249 o1(o2(o1(x),x)) true 23135 23135 0.5024 1 0.5024 0.05378 0.2319 0.0001757 0.9862 0.986 1 3.864 0.0007514 0.0008617 0.03294 -0.06838 1 0.00002038 0.00009381 0.007552 0.0005282 0.02298 0.6977 0.1128 0.02999 0.001744 1 1 0.00343 0.04421 0.1237 0.06378 0.822 2.3 json
t13_x6_u21_b0 13 6 21 0 flr(add(sqt(R),P)) 45522 105814440 o1(o2(o1(x),x)) true 23143 23143 -0.9844 0.007813 0.9961 0.02625 0.162 -1 1 2 1 0.1256 0.00206 0.003166 0.003355 -0.2116 1 3.754e-12 0.01089 0.005899 0.005215 0.07221 21.53 2.828 0.1991 0.4147 1 1 0.0006169 0.004318 0.02317 0.0235 0.1645 0.8824 json
t13_x6_u21_b1 13 6 21 1 flr(sub(sqt(R),P)) 45523 105814441 o1(o2(o1(x),x)) true 23151 23151 -0.9297 0.03516 0.9961 0.1309 0.3618 -1 1 2 1 0.2869 0.01491 0.01198 0.01411 0.1088 1 1.051e-10 0.05624 0.02757 0.02671 0.1634 11.58 2.828 0.2055 0.4297 1 1 0.02427 0.1014 0.2439 0.1855 0.775 1.864 json
t13_x6_u21_b2 13 6 21 2 flr(mlt(sqt(R),P)) 45524 105814442 o1(o2(o1(x),x)) true 23159 23159 -0.9863 0.003906 0.9941 0.02088 0.1445 -1 1 2 1 0.1152 0.001282 0.002465 0.002623 -0.3157 1 1.502e-11 0.007771 0.00484 0.003738 0.06114 23.31 2 0.1795 0.3722 1 1 0.0003084 0.002159 0.01823 0.01477 0.1034 0.8731 json
t13_x6_u21_b3 13 6 21 3 flr(div(sqt(R),P)) 45525 105814443 o1(o2(o1(x),x)) true 23167 23167 -0.9961 0 0.9961 0.003891 0.06238 -1 0 1 1 0.03687 0.000252 0.0004409 0.0006929 -0.2727 1 0 0.001449 0.001386 0.0006922 0.02631 37.97 1 0.1781 0.3723 1 1 0 0 0.003324 0 0 0.8543 json
t13_x6_u21_b4 13 6 21 4 flr(pow(sqt(R),P)) 45526 105814444 o1(o2(o1(x),x)) true 23175 23175 -0.8652 0.07031 0.9863 0.2357 0.4855 -1 1 2 1 0.5031 0.02052 0.02069 0.02308 -0.004008 1 3.004e-11 0.08573 0.04422 0.04065 0.2016 8.736 2.828 0.1748 0.3637 1 1 0.04117 0.1741 0.5718 0.1746 0.7385 2.426 json
t13_x6_u21_b5 13 6 21 5 flr(mod(sqt(R),P)) 45527 105814445 o1(o2(o1(x),x)) true 23183 23183 -0.9648 0 0.9648 0.03391 0.1841 -1 0 1 1 0.2196 0.003716 0.003086 0.006757 0.09259 1 0 0.01424 0.01361 0.00675 0.08216 12.16 1.414 0.2006 0.4198 1 1 0.005914 0.02428 0.06184 0.1744 0.716 1.824 json
t13_x6_u21_b6 13 6 21 6 flr(lrg(sqt(R),P)) 45528 105814446 o1(o2(o1(x),x)) true 23191 23191 0.7852 0.9905 0.7852 0.1181 0.3436 0 1 1 1 2.248 0.001095 0.001206 0.02703 -0.04847 1 0.00002424 0.0001387 0.006603 0.001571 0.03963 1.466 0.1169 0.01949 0.001175 1 1 0.004457 0.05786 0.1462 0.03774 0.49 1.238 json
t13_x6_u21_b7 13 6 21 7 flr(eql(sqt(R),P)) 45529 105814447 o1(o2(o1(x),x)) true 23199 23199 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_x6_u21_b8 13 6 21 8 flr(min(sqt(R),P)) 45530 105814448 o1(o2(o1(x),x)) true 23207 23207 -0.1217 0.4718 0.8158 0.7727 0.879 -1 1 2 1 2.516 0.002661 0.002845 0.02798 -0.03339 1 -0.0001374 0.002633 0.01553 0.004725 0.06874 2.457 0.4702 0.007126 0.003408 1 1 0.009223 0.08456 0.2694 0.01194 0.1094 0.3487 json
t13_x6_u21_b9 13 6 21 9 flr(dot(sqt(R),P)) 45531 105814449 o1(o2(o1(x),x)) true 23215 23215 -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_x6_u21_b10 13 6 21 10 flr(dst(sqt(R),P)) 45532 105814450 o1(o2(o1(x),x)) true 23223 23223 -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.004024 0.06344 31.76 2.828 0.259 0.5504 1 1 0.007091 0.02837 0.05496 0.4556 1.823 3.531 json
t13_x6_u22_b0 13 6 22 0 flr(add(log(R),P)) 45533 105814641 o1(o2(o1(x),x)) true 23231 23231 -0.9906 0.003906 0.9984 0.01683 0.1297 -1 1 2 1 0.06935 0.001293 0.001935 0.002088 -0.199 1 -3.379e-11 0.006722 0.003785 0.003223 0.05677 27.18 2 0.1919 0.3995 1 1 0.00008681 0.0005771 0.01447 0.005159 0.0343 0.8599 json
t13_x6_u22_b1 13 6 22 1 flr(sub(log(R),P)) 45534 105814642 o1(o2(o1(x),x)) true 23239 23239 -0.9398 0.03125 0.9945 0.11 0.3317 -1 1 2 1 0.2769 0.01268 0.009943 0.01258 0.1208 1 -1.051e-10 0.04725 0.02404 0.02245 0.1498 11.91 2.828 0.2056 0.4296 1 1 0.01981 0.0823 0.1896 0.1801 0.7482 1.724 json
t13_x6_u22_b2 13 6 22 2 flr(mlt(log(R),P)) 45535 105814643 o1(o2(o1(x),x)) true 23247 23247 -0.94 0.03082 0.9858 0.1006 0.3171 -1 1 2 1 0.3348 0.01092 0.00836 0.0123 0.1326 1 -0.00003346 0.03981 0.0228 0.01911 0.1382 11.24 2.828 0.1916 0.3958 1 1 0.01457 0.06518 0.1553 0.1448 0.648 1.544 json
t13_x6_u22_b3 13 6 22 3 flr(div(log(R),P)) 45536 105814644 o1(o2(o1(x),x)) true 23255 23255 -0.9688 0 0.9688 0.03027 0.174 -1 0 1 1 0.2006 0.003464 0.002646 0.006064 0.134 1 0 0.01279 0.01222 0.006069 0.0779 12.85 1.414 0.2018 0.4224 1 1 0.005914 0.02428 0.05852 0.1954 0.802 1.933 json
t13_x6_u22_b4 13 6 22 4 flr(pow(log(R),P)) 45537 105814645 o1(o2(o1(x),x)) true 23263 23263 -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_x6_u22_b5 13 6 22 5 flr(mod(log(R),P)) 45538 105814646 o1(o2(o1(x),x)) true 23271 23271 -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_x6_u22_b6 13 6 22 6 flr(lrg(log(R),P)) 45539 105814647 o1(o2(o1(x),x)) true 23279 23279 0.748 0.986 0.748 0.1301 0.3607 0 1 1 1 2.494 0.001297 0.001369 0.03127 -0.0271 1 0.00002424 0.0001592 0.007625 0.001688 0.04108 1.314 0.1169 0.02049 0.001224 1 1 0.005545 0.07203 0.1859 0.04263 0.5537 1.429 json
t13_x6_u22_b7 13 6 22 7 flr(eql(log(R),P)) 45540 105814648 o1(o2(o1(x),x)) true 23287 23287 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_x6_u22_b8 13 6 22 8 flr(min(log(R),P)) 45541 105814649 o1(o2(o1(x),x)) true 23295 23295 -0.3442 0.3119 0.9034 0.7542 0.8685 -1 1 2 1 2.282 0.009718 0.013 0.05539 -0.1443 1 -0.0001094 0.01113 0.03067 0.01964 0.1401 2.53 1.134 0.03012 0.01475 1 1 0.03497 0.3196 0.6804 0.04637 0.4238 0.9021 json
t13_x6_u22_b9 13 6 22 9 flr(dot(log(R),P)) 45542 105814650 o1(o2(o1(x),x)) true 23303 23303 -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.004024 0.06344 31.76 2.828 0.259 0.5504 1 1 0.007091 0.02837 0.05496 0.4556 1.823 3.531 json
t13_x6_u22_b10 13 6 22 10 flr(dst(log(R),P)) 45543 105814651 o1(o2(o1(x),x)) true 23311 23311 -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_x6_u23_b0 13 6 23 0 flr(add(frc(R),P)) 45544 105814842 o1(o2(o1(x),x)) true 23319 23319 0 0.5 0.9375 0.924 0.9612 -1 1 2 1 1.813 0.0007059 0 0.007937 1 1 0 0.00003235 0.001851 0.0006432 0.02536 3.195 0.1169 0.0007639 0.00003501 1 1 0.001851 0.02449 0.2344 0.002003 0.0265 0.2537 json
t13_x6_u23_b1 13 6 23 1 flr(sub(frc(R),P)) 45545 105814843 o1(o2(o1(x),x)) true 23327 23327 0 0.5 0.9375 0.924 0.9612 -1 1 2 1 1.813 0.0007059 0 0.007937 1 1 0 0.00003235 0.001851 0.0006432 0.02536 3.195 0.1169 0.0007639 0.00003501 1 1 0.001851 0.02449 0.2344 0.002003 0.0265 0.2537 json
t13_x6_u23_b2 13 6 23 2 flr(mlt(frc(R),P)) 45546 105814844 o1(o2(o1(x),x)) true 23335 23335 -0.1481 0.4107 0.7894 0.7431 0.862 -1 1 2 1 2.486 0.00156 0.00114 0.01883 0.1558 1 -0.00001629 0.0008301 0.007832 0.002344 0.04841 2.571 0.4109 0.003634 0.001117 1 1 0.00448 0.04975 0.2123 0.006029 0.06695 0.2857 json
t13_x6_u23_b3 13 6 23 3 flr(div(frc(R),P)) 45547 105814845 o1(o2(o1(x),x)) true 23343 23343 -0.5625 0 0.5625 0.2461 0.4961 -1 0 1 1 0.9887 0.003968 0 0.003968 1 1 0 0.007937 0.007937 0.003952 0.06287 15.84 1 0.01612 0.03225 1 1 0.005263 0.02105 0.08421 0.02139 0.08555 0.3422 json
t13_x6_u23_b4 13 6 23 4 flr(pow(frc(R),P)) 45548 105814846 o1(o2(o1(x),x)) true 23351 23351 0.5313 0.5625 0.5313 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_x6_u23_b5 13 6 23 5 flr(mod(frc(R),P)) 45549 105814847 o1(o2(o1(x),x)) true 23359 23359 -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
t13_x6_u23_b6 13 6 23 6 flr(lrg(frc(R),P)) 45550 105814848 o1(o2(o1(x),x)) true 23367 23367 0.5313 0.5625 0.5313 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_x6_u23_b7 13 6 23 7 flr(eql(frc(R),P)) 45551 105814849 o1(o2(o1(x),x)) true 23375 23375 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_x6_u23_b8 13 6 23 8 flr(min(frc(R),P)) 45552 105814850 o1(o2(o1(x),x)) true 23383 23383 -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_x6_u23_b9 13 6 23 9 flr(dot(frc(R),P)) 45553 105814851 o1(o2(o1(x),x)) true 23391 23391 -0.1311 0.4271 0.8915 0.8468 0.9202 -1 1 2 1 2.361 0.005852 0.007232 0.03906 -0.1055 1 -0.00002407 0.005885 0.01934 0.01156 0.1075 2.752 1.316 0.01545 0.00695 1 1 0.01726 0.1771 0.497 0.02038 0.2091 0.587 json
t13_x6_u23_b10 13 6 23 10 flr(dst(frc(R),P)) 45554 105814852 o1(o2(o1(x),x)) true 23399 23399 0.9887 0.9998 0.9887 0.008344 0.09134 8.471e-8 1 1 1 0.2123 0.00008236 0.00008236 0.001731 -4.417e-8 1 -1.877e-10 0.00002492 0.0004769 0.0001617 0.01271 7.343 0.1653 0.01974 0.002987 1 1 0.0005656 0.007068 0.02964 0.06779 0.8471 3.552 json
t13_x6_u24_b0 13 6 24 0 flr(add(flr(R),P)) 45555 105815043 o1(o2(o1(x),x)) true 23407 23407 -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_x6_u24_b1 13 6 24 1 flr(sub(flr(R),P)) 45556 105815044 o1(o2(o1(x),x)) true 23415 23415 -0.06404 0.4692 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_x6_u24_b2 13 6 24 2 flr(mlt(flr(R),P)) 45557 105815045 o1(o2(o1(x),x)) true 23423 23423 -0.03133 0.4445 0.6628 0.6203 0.7876 -1 1 2 1 3.223 0.004632 0.005873 0.04815 -0.1181 1 -0.00003416 0.005311 0.02944 0.008187 0.09048 1.879 0.4702 0.01694 0.008563 1 1 0.01641 0.1371 0.3554 0.02645 0.221 0.573 json
t13_x6_u24_b3 13 6 24 3 flr(div(flr(R),P)) 45558 105815046 o1(o2(o1(x),x)) true 23431 23431 -0.3535 0.04126 0.3809 0.2068 0.4548 -1 0.9997 2 1 2.945 0.01212 0.001189 0.03411 0.8214 1 -0.00001283 0.02244 0.02268 0.01215 0.1102 3.231 2 0.06436 0.1085 1 1 0.01915 0.1075 0.2641 0.09258 0.5197 1.277 json
t13_x6_u24_b4 13 6 24 4 flr(pow(flr(R),P)) 45559 105815047 o1(o2(o1(x),x)) true 23439 23439 -0.9668 0.01953 0.9863 0.04955 0.2226 -1 0.9997 2 1 0.2345 0.006662 0.004057 0.007925 0.2431 1 3.004e-11 0.02226 0.01374 0.01065 0.1032 13.02 2 0.2163 0.4492 1 1 0.009522 0.0402 0.09661 0.1922 0.8112 1.95 json
t13_x6_u24_b5 13 6 24 5 flr(mod(flr(R),P)) 45560 105815048 o1(o2(o1(x),x)) true 23447 23447 -0.5566 0 0.5566 0.1634 0.4043 -1 0 1 1 3.377 0.009773 0.001997 0.05288 0.6607 1 0.00001071 0.01616 0.02678 0.008975 0.09474 1.791 1 0.07202 0.09886 1 1 0.01775 0.1271 0.2844 0.1086 0.7779 1.74 json
t13_x6_u24_b6 13 6 24 6 flr(lrg(flr(R),P)) 45561 105815049 o1(o2(o1(x),x)) true 23455 23455 0.4414 0.4866 0.4414 0.2373 0.4872 0 1 1 1 1.431 0.0003142 0.0001403 0.005314 0.3824 1 -0.00001141 0.0000246 0.001271 0.0004265 0.02065 3.886 0.1169 0.001915 0.0001037 1 1 0.001146 0.01504 0.09102 0.00483 0.06336 0.3835 json
t13_x6_u24_b7 13 6 24 7 flr(eql(flr(R),P)) 45562 105815050 o1(o2(o1(x),x)) true 23463 23463 0.05469 0.1327 0.05469 0.03777 0.1944 0 1 1 1 0.8133 0.000414 0.0002457 0.007741 0.2551 1 0.000005704 0.00003679 0.001864 0.0005996 0.02449 3.163 0.1169 0.01746 0.000974 1 1 0.001703 0.02225 0.09418 0.04509 0.5891 2.493 json
t13_x6_u24_b8 13 6 24 8 flr(min(flr(R),P)) 45563 105815051 o1(o2(o1(x),x)) true 23471 23471 -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_x6_u24_b9 13 6 24 9 flr(dot(flr(R),P)) 45564 105815052 o1(o2(o1(x),x)) true 23479 23479 -0.04238 0.4739 0.8078 0.7682 0.8765 -1 1 2 1 2.874 0.01033 0.01423 0.06449 -0.1588 1 0.00004393 0.01472 0.04265 0.02039 0.1428 2.214 1.344 0.03196 0.01916 1 1 0.0373 0.2996 0.6954 0.04855 0.3899 0.9051 json
t13_x6_u24_b10 13 6 24 10 flr(dst(flr(R),P)) 45565 105815053 o1(o2(o1(x),x)) true 23487 23487 0.9969 1 0.9969 0.001997 0.04469 0.000582 1 0.9994 1 0.0822 0.00003348 0.00005372 0.0007682 -0.2321 0 -4.505e-11 0.00001828 0.0002712 0.00008655 0.009303 12.11 0.2265 0.04366 0.009154 1 1 0.000295 0.003293 0.007276 0.1477 1.649 3.643 json
t13_x6_u25_b0 13 6 25 0 flr(add(cil(R),P)) 45566 105815244 o1(o2(o1(x),x)) true 23495 23495 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_x6_u25_b1 13 6 25 1 flr(sub(cil(R),P)) 45567 105815245 o1(o2(o1(x),x)) true 23503 23503 0.06541 0.5222 0.9287 0.9116 0.9548 -1 1 2 1 1.859 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_x6_u25_b2 13 6 25 2 flr(mlt(cil(R),P)) 45568 105815246 o1(o2(o1(x),x)) true 23511 23511 -0.01528 0.4588 0.6308 0.5848 0.7647 -1 1 2 1 3.364 0.004633 0.00582 0.04992 -0.1136 1 -0.0001012 0.005193 0.02934 0.007964 0.08924 1.788 0.4702 0.01788 0.00888 1 1 0.01726 0.1505 0.3679 0.02952 0.2574 0.6291 json
t13_x6_u25_b3 13 6 25 3 flr(div(cil(R),P)) 45569 105815247 o1(o2(o1(x),x)) true 23519 23519 -0.3281 0.05646 0.3672 0.2146 0.4633 -1 0.9997 2 1 2.891 0.0137 0.001143 0.03267 0.8459 1 -0.00002354 0.0257 0.02224 0.01377 0.1173 3.591 2 0.06914 0.1197 1 1 0.02025 0.1101 0.281 0.09434 0.513 1.309 json
t13_x6_u25_b4 13 6 25 4 flr(pow(cil(R),P)) 45570 105815248 o1(o2(o1(x),x)) true 23527 23527 -0.1055 0.5353 0.7461 0.6862 0.8283 -1 1 2 1 2.85 0.03375 0.02968 0.05632 0.06425 1 -0.00002424 0.1284 0.06758 0.06026 0.2455 4.359 2.828 0.09244 0.1871 1 1 0.06761 0.31 0.8415 0.09853 0.4518 1.226 json
t13_x6_u25_b5 13 6 25 5 flr(mod(cil(R),P)) 45571 105815249 o1(o2(o1(x),x)) true 23535 23535 0.2559 0.7583 0.5059 0.3605 0.6004 -1 1 2 1 3.472 0.009599 0.001997 0.05087 0.6556 1 0.00001071 0.01605 0.02628 0.00901 0.09492 1.866 1 0.03216 0.04452 1 1 0.01723 0.1324 0.5167 0.04778 0.3672 1.433 json
t13_x6_u25_b6 13 6 25 6 flr(lrg(cil(R),P)) 45572 105815250 o1(o2(o1(x),x)) true 23543 23543 0.4961 0.5378 0.4961 0.2412 0.4911 0 1 1 1 1.415 0.0003238 0.0001053 0.004981 0.5091 1 -0.000005705 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_x6_u25_b7 13 6 25 7 flr(eql(cil(R),P)) 45573 105815251 o1(o2(o1(x),x)) true 23551 23551 0.07422 0.1637 0.07422 0.05254 0.2292 0 1 1 1 0.9712 0.000489 0.000276 0.008922 0.2785 1 -0.000005705 0.00004318 0.002158 0.0006856 0.02618 2.935 0.1169 0.01456 0.0008219 1 1 0.001958 0.02544 0.09741 0.03726 0.4842 1.854 json
t13_x6_u25_b8 13 6 25 8 flr(min(cil(R),P)) 45574 105815252 o1(o2(o1(x),x)) true 23559 23559 -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_x6_u25_b9 13 6 25 9 flr(dot(cil(R),P)) 45575 105815253 o1(o2(o1(x),x)) true 23567 23567 -0.02507 0.4854 0.8341 0.7991 0.8939 -1 1 2 1 2.713 0.01024 0.01346 0.06185 -0.136 1 -0.00007087 0.01474 0.04208 0.01988 0.141 2.28 1.472 0.02966 0.01844 1 1 0.03431 0.2751 0.6755 0.04293 0.3442 0.8453 json
t13_x6_u25_b10 13 6 25 10 flr(dst(cil(R),P)) 45576 105815254 o1(o2(o1(x),x)) true 23575 23575 0.9968 1 0.9968 0.002041 0.04518 0.000582 1 0.9994 1 0.08778 0.0000513 0.00003106 0.0007805 0.2458 0 -9.198e-11 0.00001277 0.0002545 0.0000817 0.009039 11.58 0.2265 0.04035 0.006257 1 1 0.0002805 0.003219 0.007442 0.1374 1.577 3.646 json
t13_x6_u26_b0 13 6 26 0 flr(add(sgn(R),P)) 45577 105815445 o1(o2(o1(x),x)) true 23583 23583 0.006117 0.4994 0.9421 0.9262 0.9624 -1 1 2 1 1.861 0.001892 0.001043 0.0157 0.2894 1 -0.00003255 0.0006342 0.005652 0.002688 0.05184 3.302 0.3507 0.003169 0.0006847 1 1 0.007625 0.08405 0.3316 0.008232 0.09074 0.358 json
t13_x6_u26_b1 13 6 26 1 flr(sub(sgn(R),P)) 45578 105815446 o1(o2(o1(x),x)) true 23591 23591 0.00008297 0.4951 0.9353 0.918 0.9581 -1 1 2 1 1.934 0.001844 0.001053 0.01631 0.2732 1 -0.00002874 0.0006075 0.005737 0.002629 0.05127 3.143 0.3507 0.003155 0.0006617 1 1 0.007534 0.08295 0.3282 0.008207 0.09035 0.3575 json
t13_x6_u26_b2 13 6 26 2 flr(mlt(sgn(R),P)) 45579 105815447 o1(o2(o1(x),x)) true 23599 23599 -0.056 0.4736 0.8588 0.8173 0.904 -1 1 2 1 2.72 0.03337 0.04339 0.1064 -0.1305 1 -0.000008313 0.07809 0.09296 0.06541 0.2558 2.403 1.863 0.09393 0.09555 1 1 0.09871 0.6759 1.52 0.1208 0.8271 1.86 json
t13_x6_u26_b3 13 6 26 3 flr(div(sgn(R),P)) 45580 105815448 o1(o2(o1(x),x)) true 23607 23607 -0.5566 0.04701 0.6041 0.2075 0.4555 -1 0.9997 2 1 3.583 0.01712 0.002667 0.05818 0.7304 1 -0.00003637 0.03044 0.02877 0.0164 0.1281 2.201 2 0.09539 0.1467 1 1 0.02902 0.1875 0.4095 0.1399 0.9036 1.974 json
t13_x6_u26_b4 13 6 26 4 flr(pow(sgn(R),P)) 45581 105815449 o1(o2(o1(x),x)) true 23615 23615 -0.8516 0.07422 1 0.2749 0.5243 -1 1 2 1 0.3815 0.02494 0.02444 0.02454 0.0102 1 0 0.103 0.04938 0.04875 0.2208 8.996 2.828 0.1796 0.3748 1 1 0.0467 0.1946 0.6445 0.1699 0.7079 2.344 json
t13_x6_u26_b5 13 6 26 5 flr(mod(sgn(R),P)) 45582 105815450 o1(o2(o1(x),x)) true 23623 23623 -0.1758 0.4033 0.7175 0.5936 0.7705 -1 1 2 1 3.927 0.01423 0.007988 0.09488 0.281 1 0.00002142 0.01674 0.03695 0.01322 0.115 1.212 1 0.03743 0.02821 1 1 0.03656 0.3727 1.002 0.06158 0.6279 1.688 json
t13_x6_u26_b6 13 6 26 6 flr(lrg(sgn(R),P)) 45583 105815451 o1(o2(o1(x),x)) true 23631 23631 0.4688 0.5328 0.4688 0.2351 0.4849 0 1 1 1 1.602 0.0004195 0.0002457 0.007798 0.2613 1 -0.00001711 0.0000372 0.001876 0.0006046 0.02459 3.153 0.1169 0.00283 0.0001582 1 1 0.001801 0.02353 0.1025 0.007662 0.1001 0.4361 json
t13_x6_u26_b7 13 6 26 7 flr(eql(sgn(R),P)) 45584 105815452 o1(o2(o1(x),x)) true 23639 23639 0.06641 0.1954 0.06641 0.04165 0.2041 0 0.9997 0.9997 1 1.048 0.0006635 0.0003158 0.01147 0.355 1 -4.364e-10 0.00005347 0.002748 0.0008472 0.02911 2.538 0.1169 0.02351 0.001284 1 1 0.002493 0.0323 0.07847 0.05987 0.7755 1.884 json
t13_x6_u26_b8 13 6 26 8 flr(min(sgn(R),P)) 45585 105815453 o1(o2(o1(x),x)) true 23647 23647 -0.543 0.2191 0.8285 0.4739 0.6884 -1 1 2 1 2.817 0.004315 0.00494 0.05623 -0.06757 1 -0.00005418 0.000559 0.0137 0.006094 0.07807 1.388 0.2338 0.01953 0.001179 1 1 0.01813 0.2355 0.6057 0.03827 0.4969 1.278 json
t13_x6_u26_b9 13 6 26 9 flr(dot(sgn(R),P)) 45586 105815454 o1(o2(o1(x),x)) true 23655 23655 -0.08787 0.4576 0.9178 0.8848 0.9407 -1 1 2 1 2.187 0.04287 0.05536 0.1113 -0.1272 1 0.000105 0.1226 0.1178 0.08582 0.2929 2.632 2.355 0.111 0.1385 1 1 0.1236 0.7705 1.656 0.1397 0.8708 1.871 json
t13_x6_u26_b10 13 6 26 10 flr(dst(sgn(R),P)) 45587 105815455 o1(o2(o1(x),x)) true 23663 23663 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_x6_u27_b0 13 6 27 0 flr(add(nrm(R),P)) 45588 105815646 o1(o2(o1(x),x)) true 23671 23671 -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_x6_u27_b1 13 6 27 1 flr(sub(nrm(R),P)) 45589 105815647 o1(o2(o1(x),x)) true 23679 23679 -0.06404 0.4692 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_x6_u27_b2 13 6 27 2 flr(mlt(nrm(R),P)) 45590 105815648 o1(o2(o1(x),x)) true 23687 23687 -0.2694 0.3029 0.7398 0.6111 0.7818 -1 1 2 1 3.367 0.01655 0.01886 0.08764 -0.06541 1 -0.00003255 0.01935 0.04804 0.02774 0.1665 1.9 1.33 0.05794 0.03167 1 1 0.04734 0.4225 1.005 0.07746 0.6913 1.645 json
t13_x6_u27_b3 13 6 27 3 flr(div(nrm(R),P)) 45591 105815649 o1(o2(o1(x),x)) true 23695 23695 -0.5898 0 0.5898 0.1582 0.3977 -1 0 1 1 3.342 0.005388 0.002174 0.04902 0.425 1 -0.00003637 0.007749 0.0193 0.00516 0.07183 1.465 1 0.0478 0.04899 1 1 0.01195 0.109 0.2886 0.07556 0.6893 1.825 json
t13_x6_u27_b4 13 6 27 4 flr(pow(nrm(R),P)) 45592 105815650 o1(o2(o1(x),x)) true 23703 23703 -0.8652 0.07031 0.9863 0.2357 0.4855 -1 1 2 1 0.5031 0.02052 0.02069 0.02308 -0.004008 1 3.004e-11 0.08573 0.04422 0.04065 0.2016 8.736 2.828 0.1748 0.3637 1 1 0.04117 0.1741 0.5718 0.1746 0.7385 2.426 json
t13_x6_u27_b5 13 6 27 5 flr(mod(nrm(R),P)) 45593 105815651 o1(o2(o1(x),x)) true 23711 23711 -0.582 0 0.582 0.1596 0.3995 -1 0 1 1 3.341 0.005954 0.002174 0.04959 0.465 1 -6.958e-7 0.008895 0.02044 0.005671 0.07531 1.519 1 0.05094 0.05574 1 1 0.01239 0.1095 0.2784 0.07763 0.6861 1.745 json
t13_x6_u27_b6 13 6 27 6 flr(lrg(nrm(R),P)) 45594 105815652 o1(o2(o1(x),x)) true 23719 23719 0.4961 0.5378 0.4961 0.2412 0.4911 0 1 1 1 1.415 0.0003238 0.0001053 0.004981 0.5091 1 -0.000005705 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_x6_u27_b7 13 6 27 7 flr(eql(nrm(R),P)) 45595 105815653 o1(o2(o1(x),x)) true 23727 23727 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_x6_u27_b8 13 6 27 8 flr(min(nrm(R),P)) 45596 105815654 o1(o2(o1(x),x)) true 23735 23735 -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_x6_u27_b9 13 6 27 9 flr(dot(nrm(R),P)) 45597 105815655 o1(o2(o1(x),x)) true 23743 23743 -0.2181 0.3813 0.8586 0.7717 0.8785 -1 1 2 1 2.689 0.02561 0.03303 0.1012 -0.1264 1 0.0001017 0.0461 0.07442 0.04842 0.22 2.175 1.87 0.07599 0.05974 1 1 0.0733 0.5795 1.386 0.09498 0.7509 1.796 json
t13_x6_u27_b10 13 6 27 10 flr(dst(nrm(R),P)) 45598 105815656 o1(o2(o1(x),x)) true 23751 23751 0.9942 1 0.9942 0.003694 0.06078 0.000582 1 0.9994 1 0.1419 0.00007977 0.0001 0.001481 -0.1126 1 -7.696e-11 0.00003876 0.0005727 0.0001775 0.01332 8.993 0.2359 0.04867 0.01049 1 1 0.0006054 0.006482 0.0134 0.1639 1.755 3.627 json
t13_x6_u28_b0 13 6 28 0 cil(add(sqt(R),P)) 45599 105815847 o1(o2(o1(x),x)) true 23759 23759 -0.9746 0.01172 0.9941 0.04301 0.2074 -1 1 2 1 0.189 0.002839 0.005182 0.005361 -0.2922 1 -1.802e-10 0.01655 0.009482 0.007993 0.0894 16.68 2.828 0.1865 0.3849 1 1 0.002799 0.01579 0.04707 0.06509 0.3672 1.094 json