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_u15_b0 13 2 15 0 frc(add(log(P),R)) 43300 105651630 o1(o2(o1(x),x)) true 5367 5367 -0.3332 0.4375 0.7918 0.5959 0.7719 -1 0.9945 1.994 1 2.671 0.011 0.0003155 0.01995 0.9442 1 0.000001232 0.02145 0.01595 0.01092 0.1045 5.238 1.943 0.01898 0.036 1 1 0.01501 0.06742 0.2275 0.02519 0.1131 0.3818 json
t13_x2_u15_b1 13 2 15 1 frc(sub(log(P),R)) 43301 105651631 o1(o2(o1(x),x)) true 5375 5375 -0.3452 0.4375 0.7798 0.5728 0.7569 -1 0.9966 1.997 1 2.656 0.007927 0.0003155 0.01839 0.9234 1 0.000004925 0.0154 0.0138 0.007903 0.0889 4.835 1.997 0.01439 0.02687 1 1 0.01147 0.05434 0.2073 0.02003 0.09486 0.3619 json
t13_x2_u15_b2 13 2 15 2 frc(mlt(log(P),R)) 43302 105651632 o1(o2(o1(x),x)) true 5383 5383 -0.3503 0.4366 0.7747 0.5669 0.753 -1 0.9949 1.995 1 2.678 0.004314 0.0002905 0.01772 0.8738 1 0.00000694 0.007946 0.01103 0.004292 0.06551 3.697 1 0.008122 0.01402 1 1 0.006468 0.04022 0.2075 0.01141 0.07094 0.3659 json
t13_x2_u15_b3 13 2 15 3 frc(div(log(P),R)) 43303 105651633 o1(o2(o1(x),x)) true 5391 5391 -0.3573 0.4365 0.7677 0.5609 0.7489 -1 0.988 1.988 1 2.712 0.004385 0.0003726 0.01893 0.8434 1 0.000002408 0.007955 0.01133 0.004397 0.06631 3.502 1 0.008481 0.01418 1 1 0.006788 0.04421 0.2209 0.0121 0.07881 0.3938 json
t13_x2_u15_b4 13 2 15 4 frc(pow(log(P),R)) 43304 105651634 o1(o2(o1(x),x)) true 5399 5399 -0.3835 0.394 0.8274 0.611 0.7817 -1 0.9982 1.998 1 2.516 0.007464 0.002772 0.02116 0.4584 1 0.00002115 0.01949 0.01727 0.009789 0.09894 4.677 2.61 0.01675 0.0319 1 1 0.01219 0.06564 0.2581 0.01995 0.1074 0.4224 json
t13_x2_u15_b5 13 2 15 5 frc(mod(log(P),R)) 43305 105651635 o1(o2(o1(x),x)) true 5407 5407 -0.4605 0.4343 0.6645 0.3911 0.6254 -1 0.9711 1.971 1 2.432 0.004182 0.0002232 0.01421 0.8987 1 0.00000152 0.00795 0.0103 0.004203 0.06483 4.564 1 0.01127 0.02033 1 1 0.005994 0.03183 0.1445 0.01533 0.0814 0.3694 json
t13_x2_u15_b6 13 2 15 6 frc(lrg(log(P),R)) 43306 105651636 o1(o2(o1(x),x)) true 5415 5415 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_u15_b7 13 2 15 7 frc(eql(log(P),R)) 43307 105651637 o1(o2(o1(x),x)) true 5423 5423 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_u15_b8 13 2 15 8 frc(min(log(P),R)) 43308 105651638 o1(o2(o1(x),x)) true 5431 5431 0.323 0.8747 0.573 0.2984 0.5463 -1 0.997 1.997 1 3.918 0.01708 0.0006208 0.03837 0.9299 1 0.00005213 0.03295 0.02851 0.01623 0.1274 3.32 1.912 0.05931 0.1104 1 1 0.02464 0.1195 0.4706 0.08258 0.4006 1.577 json
t13_x2_u15_b9 13 2 15 9 frc(dot(log(P),R)) 43309 105651639 o1(o2(o1(x),x)) true 5439 5439 -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_u15_b10 13 2 15 10 frc(dst(log(P),R)) 43310 105651640 o1(o2(o1(x),x)) true 5447 5447 -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_u16_b0 13 2 16 0 frc(add(frc(P),R)) 43311 105651831 o1(o2(o1(x),x)) true 5455 5455 0.5266 1 0.5266 0.05091 0.2256 0.001084 0.997 0.9959 1 3.815 0.0007236 0.0006853 0.03089 0.02719 1 0.00004432 0.00008334 0.007111 0.0004549 0.02133 0.6905 0.1132 0.02767 0.001637 1 1 0.002542 0.03267 0.08567 0.04993 0.6416 1.683 json
t13_x2_u16_b1 13 2 16 1 frc(sub(frc(P),R)) 43312 105651832 o1(o2(o1(x),x)) true 5463 5463 0.4734 1 0.4734 0.05091 0.2256 0.002975 0.9989 0.9959 1 3.815 0.0007236 0.0006853 0.03089 0.02719 1 -0.00004432 0.00008334 0.007111 0.0004549 0.02133 0.6905 0.1132 0.02767 0.001637 1 1 0.002542 0.03267 0.08567 0.04993 0.6416 1.683 json
t13_x2_u16_b2 13 2 16 2 frc(mlt(frc(P),R)) 43313 105651833 o1(o2(o1(x),x)) true 5471 5471 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_u16_b3 13 2 16 3 frc(div(frc(P),R)) 43314 105651834 o1(o2(o1(x),x)) true 5479 5479 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_u16_b4 13 2 16 4 frc(pow(frc(P),R)) 43315 105651835 o1(o2(o1(x),x)) true 5487 5487 -0.957 0 0.957 0.04112 0.2028 -1 0 1 1 0.2557 0.00422 0.004094 0.008259 0.01515 1 0 0.01738 0.01663 0.008241 0.09078 10.99 1.414 0.2022 0.4228 1 1 0.006357 0.02738 0.06893 0.1546 0.6659 1.676 json
t13_x2_u16_b5 13 2 16 5 frc(mod(frc(P),R)) 43316 105651836 o1(o2(o1(x),x)) true 5495 5495 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_u16_b6 13 2 16 6 frc(lrg(frc(P),R)) 43317 105651837 o1(o2(o1(x),x)) true 5503 5503 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_u16_b7 13 2 16 7 frc(eql(frc(P),R)) 43318 105651838 o1(o2(o1(x),x)) true 5511 5511 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_u16_b8 13 2 16 8 frc(min(frc(P),R)) 43319 105651839 o1(o2(o1(x),x)) true 5519 5519 0.2635 0.9281 0.2635 0.06592 0.2568 0 0.9969 0.9969 1 3.381 0.000835 0.001027 0.03338 -0.1029 1 0.00003113 0.0001101 0.007819 0.0007475 0.02734 0.819 0.1165 0.02824 0.00167 1 1 0.003689 0.04762 0.1331 0.05596 0.7223 2.019 json
t13_x2_u16_b9 13 2 16 9 frc(dot(frc(P),R)) 43320 105651840 o1(o2(o1(x),x)) true 5527 5527 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_u16_b10 13 2 16 10 frc(dst(frc(P),R)) 43321 105651841 o1(o2(o1(x),x)) true 5535 5535 0.4499 1 0.4499 0.06286 0.2507 0.01038 0.9973 0.9869 1 3.893 0.0007229 0.0008491 0.03211 -0.08025 1 0.000009686 0.00009248 0.007393 0.0005409 0.02326 0.7242 0.1128 0.02501 0.001471 1 1 0.003189 0.04124 0.1375 0.05072 0.656 2.188 json
t13_x2_u17_b0 13 2 17 0 frc(add(flr(P),R)) 43322 105652032 o1(o2(o1(x),x)) true 5543 5543 0.5266 1 0.5266 0.05091 0.2256 0.001084 0.997 0.9959 1 3.815 0.0007236 0.0006853 0.03089 0.02719 1 0.00004432 0.00008334 0.007111 0.0004549 0.02133 0.6905 0.1132 0.02767 0.001637 1 1 0.002542 0.03267 0.08567 0.04993 0.6416 1.683 json
t13_x2_u17_b1 13 2 17 1 frc(sub(flr(P),R)) 43323 105652033 o1(o2(o1(x),x)) true 5551 5551 0.4734 1 0.4734 0.05091 0.2256 0.002976 0.9989 0.9959 1 3.815 0.0007236 0.0006853 0.03089 0.02719 1 -0.00004432 0.00008334 0.007111 0.0004549 0.02133 0.6905 0.1132 0.02767 0.001637 1 1 0.002542 0.03267 0.08567 0.04993 0.6416 1.683 json
t13_x2_u17_b2 13 2 17 2 frc(mlt(flr(P),R)) 43324 105652034 o1(o2(o1(x),x)) true 5559 5559 0.4737 0.9978 0.4737 0.06137 0.2477 9.693e-7 0.9979 0.9979 1 3.912 0.0009298 0.0007748 0.03371 0.09094 1 6.656e-7 0.0001001 0.007806 0.0005681 0.02384 0.707 0.1165 0.02778 0.001631 1 1 0.003621 0.04664 0.1189 0.059 0.76 1.938 json
t13_x2_u17_b3 13 2 17 3 frc(div(flr(P),R)) 43325 105652035 o1(o2(o1(x),x)) true 5567 5567 0.4546 0.9973 0.4546 0.05954 0.244 7.588e-7 0.9991 0.9991 1 3.895 0.0008477 0.0006308 0.03092 0.1467 1 -0.000008476 0.00008364 0.007098 0.0005222 0.02285 0.7389 0.1114 0.02483 0.001405 1 1 0.003033 0.0391 0.1157 0.05095 0.6568 1.944 json
t13_x2_u17_b4 13 2 17 4 frc(pow(flr(P),R)) 43326 105652036 o1(o2(o1(x),x)) true 5575 5575 -0.3334 0.437 0.7604 0.5636 0.7507 -1 0.9948 1.995 1 2.736 0.004322 0.001735 0.01829 0.427 1 0.00001866 0.01135 0.01386 0.005723 0.07565 4.136 1.414 0.01075 0.02013 1 1 0.008633 0.04785 0.238 0.01532 0.0849 0.4223 json
t13_x2_u17_b5 13 2 17 5 frc(mod(flr(P),R)) 43327 105652037 o1(o2(o1(x),x)) true 5583 5583 0.4816 0.996 0.4816 0.1049 0.324 1.109e-7 0.9996 0.9996 1 3.866 0.000542 0.0003177 0.0216 0.2609 1 3.995e-7 0.00004693 0.004956 0.0003931 0.01983 0.918 0.1168 0.008192 0.0004472 1 1 0.001846 0.02399 0.09115 0.01759 0.2286 0.8686 json
t13_x2_u17_b6 13 2 17 6 frc(lrg(flr(P),R)) 43328 105652038 o1(o2(o1(x),x)) true 5591 5591 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_u17_b7 13 2 17 7 frc(eql(flr(P),R)) 43329 105652039 o1(o2(o1(x),x)) true 5599 5599 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_u17_b8 13 2 17 8 frc(min(flr(P),R)) 43330 105652040 o1(o2(o1(x),x)) true 5607 5607 0.2632 0.5433 0.2632 0.09188 0.3031 0 0.997 0.997 1 2.919 0.000413 0.0003448 0.01653 0.08994 1 0.00002937 0.00004373 0.003797 0.0004845 0.02201 1.332 0.1114 0.008247 0.000476 1 1 0.00139 0.0181 0.07016 0.01513 0.197 0.7636 json
t13_x2_u17_b9 13 2 17 9 frc(dot(flr(P),R)) 43331 105652041 o1(o2(o1(x),x)) true 5615 5615 0.4985 1 0.4985 0.054 0.2324 0.0001509 0.9987 0.9986 1 3.862 0.0007379 0.0008022 0.03216 -0.04174 1 0.00002028 0.00009003 0.007409 0.0005058 0.02249 0.6993 0.1109 0.02852 0.001667 1 1 0.003367 0.04317 0.102 0.06236 0.7996 1.89 json
t13_x2_u17_b10 13 2 17 10 frc(dst(flr(P),R)) 43332 105652042 o1(o2(o1(x),x)) true 5623 5623 0.4819 1 0.4819 0.05196 0.2279 0.003903 0.9966 0.9927 1 3.85 0.0007872 0.0007332 0.03206 0.03552 1 0.000003255 0.00008894 0.00735 0.0004926 0.0222 0.6924 0.1141 0.02926 0.001712 1 1 0.003097 0.04009 0.11 0.05961 0.7715 2.117 json
t13_x2_u18_b0 13 2 18 0 frc(add(cil(P),R)) 43333 105652233 o1(o2(o1(x),x)) true 5631 5631 0.5266 1 0.5266 0.05091 0.2256 0.001084 0.997 0.9959 1 3.815 0.0007236 0.0006853 0.03089 0.02719 1 0.00004432 0.00008334 0.007111 0.0004549 0.02133 0.6905 0.1132 0.02767 0.001637 1 1 0.002542 0.03267 0.08567 0.04993 0.6416 1.683 json
t13_x2_u18_b1 13 2 18 1 frc(sub(cil(P),R)) 43334 105652234 o1(o2(o1(x),x)) true 5639 5639 0.4734 1 0.4734 0.05091 0.2256 0.002976 0.9989 0.9959 1 3.815 0.0007236 0.0006853 0.03089 0.02719 1 -0.00004432 0.00008334 0.007111 0.0004549 0.02133 0.6905 0.1132 0.02767 0.001637 1 1 0.002542 0.03267 0.08567 0.04993 0.6416 1.683 json
t13_x2_u18_b2 13 2 18 2 frc(mlt(cil(P),R)) 43335 105652235 o1(o2(o1(x),x)) true 5647 5647 0.4737 0.9978 0.4737 0.06137 0.2477 9.693e-7 0.9979 0.9979 1 3.912 0.0009298 0.0007748 0.03371 0.09094 1 6.656e-7 0.0001001 0.007806 0.0005681 0.02384 0.707 0.1165 0.02778 0.001631 1 1 0.003621 0.04664 0.1189 0.059 0.76 1.938 json
t13_x2_u18_b3 13 2 18 3 frc(div(cil(P),R)) 43336 105652236 o1(o2(o1(x),x)) true 5655 5655 0.4546 0.9973 0.4546 0.05954 0.244 7.588e-7 0.9991 0.9991 1 3.895 0.0008477 0.0006308 0.03092 0.1467 1 -0.000008476 0.00008364 0.007098 0.0005222 0.02285 0.7389 0.1114 0.02483 0.001405 1 1 0.003033 0.0391 0.1157 0.05095 0.6568 1.944 json
t13_x2_u18_b4 13 2 18 4 frc(pow(cil(P),R)) 43337 105652237 o1(o2(o1(x),x)) true 5663 5663 -0.3334 0.437 0.7604 0.5636 0.7507 -1 0.9948 1.995 1 2.736 0.004322 0.001735 0.01829 0.427 1 0.00001866 0.01135 0.01386 0.005723 0.07565 4.136 1.414 0.01075 0.02013 1 1 0.008633 0.04785 0.238 0.01532 0.0849 0.4223 json
t13_x2_u18_b5 13 2 18 5 frc(mod(cil(P),R)) 43338 105652238 o1(o2(o1(x),x)) true 5671 5671 0.4816 0.996 0.4816 0.1049 0.324 1.109e-7 0.9996 0.9996 1 3.866 0.000542 0.0003177 0.0216 0.2609 1 3.995e-7 0.00004693 0.004956 0.0003931 0.01983 0.918 0.1168 0.008192 0.0004472 1 1 0.001846 0.02399 0.09115 0.01759 0.2286 0.8686 json
t13_x2_u18_b6 13 2 18 6 frc(lrg(cil(P),R)) 43339 105652239 o1(o2(o1(x),x)) true 5679 5679 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_u18_b7 13 2 18 7 frc(eql(cil(P),R)) 43340 105652240 o1(o2(o1(x),x)) true 5687 5687 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_u18_b8 13 2 18 8 frc(min(cil(P),R)) 43341 105652241 o1(o2(o1(x),x)) true 5695 5695 0.2632 0.5433 0.2632 0.09188 0.3031 0 0.997 0.997 1 2.919 0.000413 0.0003448 0.01653 0.08994 1 0.00002937 0.00004373 0.003797 0.0004845 0.02201 1.332 0.1114 0.008247 0.000476 1 1 0.00139 0.0181 0.07016 0.01513 0.197 0.7636 json
t13_x2_u18_b9 13 2 18 9 frc(dot(cil(P),R)) 43342 105652242 o1(o2(o1(x),x)) true 5703 5703 0.4985 1 0.4985 0.054 0.2324 0.0001509 0.9987 0.9986 1 3.862 0.0007379 0.0008022 0.03216 -0.04174 1 0.00002028 0.00009003 0.007409 0.0005058 0.02249 0.6993 0.1109 0.02852 0.001667 1 1 0.003367 0.04317 0.102 0.06236 0.7996 1.89 json
t13_x2_u18_b10 13 2 18 10 frc(dst(cil(P),R)) 43343 105652243 o1(o2(o1(x),x)) true 5711 5711 0.4819 1 0.4819 0.05196 0.2279 0.003903 0.9966 0.9927 1 3.85 0.0007872 0.0007332 0.03206 0.03552 1 0.000003255 0.00008894 0.00735 0.0004926 0.0222 0.6924 0.1141 0.02926 0.001712 1 1 0.003097 0.04009 0.11 0.05961 0.7715 2.117 json
t13_x2_u19_b0 13 2 19 0 frc(add(sgn(P),R)) 43344 105652434 o1(o2(o1(x),x)) true 5719 5719 0.5266 1 0.5266 0.05091 0.2256 0.001084 0.997 0.9959 1 3.815 0.0007236 0.0006853 0.03089 0.02719 1 0.00004432 0.00008334 0.007111 0.0004549 0.02133 0.6905 0.1132 0.02767 0.001637 1 1 0.002542 0.03267 0.08567 0.04993 0.6416 1.683 json
t13_x2_u19_b1 13 2 19 1 frc(sub(sgn(P),R)) 43345 105652435 o1(o2(o1(x),x)) true 5727 5727 0.4734 1 0.4734 0.05091 0.2256 0.002976 0.9989 0.9959 1 3.815 0.0007236 0.0006853 0.03089 0.02719 1 -0.00004432 0.00008334 0.007111 0.0004549 0.02133 0.6905 0.1132 0.02767 0.001637 1 1 0.002542 0.03267 0.08567 0.04993 0.6416 1.683 json
t13_x2_u19_b2 13 2 19 2 frc(mlt(sgn(P),R)) 43346 105652436 o1(o2(o1(x),x)) true 5735 5735 0.4701 0.9978 0.4701 0.06113 0.2472 9.693e-7 0.9989 0.9989 1 3.906 0.0008723 0.0006634 0.03196 0.136 1 0.000009644 0.00008797 0.007317 0.0005143 0.02268 0.7096 0.1165 0.02512 0.001439 1 1 0.002893 0.03724 0.0971 0.04733 0.6092 1.588 json
t13_x2_u19_b3 13 2 19 3 frc(div(sgn(P),R)) 43347 105652437 o1(o2(o1(x),x)) true 5743 5743 0.4612 0.9973 0.4612 0.0608 0.2466 7.588e-7 0.9988 0.9988 1 3.906 0.0008183 0.000627 0.03087 0.1323 1 0.0000142 0.00008022 0.007021 0.0004923 0.02219 0.7187 0.1131 0.02377 0.00132 1 1 0.002696 0.0347 0.09439 0.04435 0.5708 1.553 json
t13_x2_u19_b4 13 2 19 4 frc(pow(sgn(P),R)) 43348 105652438 o1(o2(o1(x),x)) true 5751 5751 -0.5469 0 0.5469 0.2476 0.4976 -1 0 1 1 0.9937 0.003968 0.001512 0.005452 0.4483 1 0 0.01134 0.01096 0.005451 0.07383 13.54 1.414 0.02213 0.04579 1 1 0.007479 0.02992 0.1086 0.0302 0.1208 0.4385 json
t13_x2_u19_b5 13 2 19 5 frc(mod(sgn(P),R)) 43349 105652439 o1(o2(o1(x),x)) true 5759 5759 0.479 0.996 0.479 0.1204 0.3469 1.109e-7 0.9996 0.9996 1 3.652 0.0003956 0.0001392 0.01631 0.4793 1 0.000008114 0.00002844 0.003738 0.0002688 0.01639 1.005 0.1168 0.004443 0.0002363 1 1 0.001222 0.01587 0.0611 0.01015 0.1318 0.5076 json
t13_x2_u19_b6 13 2 19 6 frc(lrg(sgn(P),R)) 43350 105652440 o1(o2(o1(x),x)) true 5767 5767 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_u19_b7 13 2 19 7 frc(eql(sgn(P),R)) 43351 105652441 o1(o2(o1(x),x)) true 5775 5775 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_u19_b8 13 2 19 8 frc(min(sgn(P),R)) 43352 105652442 o1(o2(o1(x),x)) true 5783 5783 0.2632 0.5433 0.2632 0.09188 0.3031 0 0.997 0.997 1 2.919 0.000413 0.0003448 0.01653 0.08994 1 0.00002937 0.00004373 0.003797 0.0004845 0.02201 1.332 0.1114 0.008247 0.000476 1 1 0.00139 0.0181 0.07016 0.01513 0.197 0.7636 json
t13_x2_u19_b9 13 2 19 9 frc(dot(sgn(P),R)) 43353 105652443 o1(o2(o1(x),x)) true 5791 5791 0.4814 1 0.4814 0.04822 0.2196 0.0001509 0.9969 0.9968 1 3.81 0.0007439 0.0006247 0.03052 0.08712 1 0.00001953 0.0000799 0.006945 0.0004373 0.02091 0.6852 0.1104 0.02838 0.001657 1 1 0.002764 0.03564 0.09478 0.05732 0.7391 1.965 json
t13_x2_u19_b10 13 2 19 10 frc(dst(sgn(P),R)) 43354 105652444 o1(o2(o1(x),x)) true 5799 5799 0.4965 1 0.4965 0.05459 0.2337 0.0004346 0.9974 0.997 1 3.864 0.0007981 0.0007466 0.03228 0.03334 1 -1.906e-7 0.00009195 0.007448 0.0005025 0.02242 0.6944 0.1162 0.02829 0.001684 1 1 0.002923 0.03783 0.1041 0.05354 0.6929 1.906 json
t13_x2_u20_b0 13 2 20 0 frc(add(nrm(P),R)) 43355 105652635 o1(o2(o1(x),x)) true 5807 5807 0.4549 0.9844 0.4862 0.08201 0.2864 -1 0.9931 1.993 1 3.861 0.003193 0.002668 0.03326 0.08957 1 -0.00003481 0.009288 0.01291 0.004755 0.06895 2.073 1.819 0.07147 0.1133 1 1 0.01036 0.06358 0.2292 0.1263 0.7753 2.796 json
t13_x2_u20_b1 13 2 20 1 frc(sub(nrm(P),R)) 43356 105652636 o1(o2(o1(x),x)) true 5815 5815 0.4962 0.9844 0.5275 0.08692 0.2948 -1 0.992 1.992 1 3.902 0.002833 0.003319 0.03327 -0.07909 1 -8.354e-7 0.009996 0.01314 0.005046 0.07103 2.135 1.91 0.07077 0.115 1 1 0.01102 0.06688 0.2175 0.1268 0.7694 2.502 json
t13_x2_u20_b2 13 2 20 2 frc(mlt(nrm(P),R)) 43357 105652637 o1(o2(o1(x),x)) true 5823 5823 0.4539 0.9814 0.4852 0.09293 0.3048 -1 0.9988 1.999 1 3.947 0.003184 0.002275 0.03228 0.1665 1 0.00002382 0.008434 0.01239 0.004417 0.06646 2.059 1.898 0.05875 0.09077 1 1 0.009563 0.06014 0.2121 0.1029 0.6472 2.282 json
t13_x2_u20_b3 13 2 20 3 frc(div(nrm(P),R)) 43358 105652638 o1(o2(o1(x),x)) true 5831 5831 0.4108 0.9827 0.442 0.08422 0.2902 -1 0.9966 1.997 1 3.903 0.003469 0.002287 0.03389 0.2054 1 -0.00001008 0.008959 0.01289 0.004608 0.06788 2.003 2.068 0.06835 0.1064 1 1 0.01041 0.0664 0.2063 0.1236 0.7884 2.45 json
t13_x2_u20_b4 13 2 20 4 frc(pow(nrm(P),R)) 43359 105652639 o1(o2(o1(x),x)) true 5839 5839 -0.343 0.4482 0.7586 0.5686 0.754 -1 0.9997 2 1 2.778 0.008608 0.002403 0.02499 0.5636 1 -0.00001929 0.02024 0.01797 0.01038 0.1019 4.076 2.707 0.01937 0.0356 1 1 0.0165 0.08493 0.2837 0.02902 0.1494 0.4989 json
t13_x2_u20_b5 13 2 20 5 frc(mod(nrm(P),R)) 43360 105652640 o1(o2(o1(x),x)) true 5847 5847 0.4396 0.9812 0.4708 0.1291 0.3593 -1 0.9977 1.998 1 3.952 0.00274 0.002054 0.02569 0.143 1 -0.000001506 0.007938 0.01074 0.004134 0.0643 2.503 1.776 0.03713 0.06147 1 1 0.008613 0.0523 0.2073 0.0667 0.405 1.605 json
t13_x2_u20_b6 13 2 20 6 frc(lrg(nrm(P),R)) 43361 105652641 o1(o2(o1(x),x)) true 5855 5855 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_u20_b7 13 2 20 7 frc(eql(nrm(P),R)) 43362 105652642 o1(o2(o1(x),x)) true 5863 5863 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_u20_b8 13 2 20 8 frc(min(nrm(P),R)) 43363 105652643 o1(o2(o1(x),x)) true 5871 5871 0.3731 0.9949 0.3731 0.05883 0.2425 9.693e-7 0.997 0.997 1 3.787 0.0004245 0.0004212 0.02103 0.003871 1 0.00003253 0.00004867 0.004749 0.0004036 0.02009 0.9554 0.1032 0.01438 0.0008274 1 1 0.00159 0.02069 0.07441 0.02703 0.3517 1.265 json
t13_x2_u20_b9 13 2 20 9 frc(dot(nrm(P),R)) 43364 105652644 o1(o2(o1(x),x)) true 5879 5879 0.4714 0.9844 0.5027 0.09375 0.3062 -1 0.9966 1.997 1 3.972 0.003325 0.002722 0.03535 0.09978 1 0.00001303 0.009314 0.01338 0.004798 0.06926 1.959 1.985 0.0645 0.09935 1 1 0.01097 0.07049 0.2307 0.117 0.752 2.461 json
t13_x2_u20_b10 13 2 20 10 frc(dst(nrm(P),R)) 43365 105652645 o1(o2(o1(x),x)) true 5887 5887 0.4988 0.9844 0.53 0.08886 0.2981 -1 0.9804 1.98 1 3.917 0.003383 0.003943 0.03426 -0.07641 1 0.000001673 0.01219 0.01394 0.006152 0.07844 2.289 2.033 0.08245 0.1371 1 1 0.01342 0.0804 0.2602 0.151 0.9048 2.928 json
t13_x2_u21_b0 13 2 21 0 flr(add(sqt(P),R)) 43366 105652836 o1(o2(o1(x),x)) true 5895 5895 -0.09346 0.4721 0.9333 0.9072 0.9525 -1 1 2 1 1.889 0.002562 0.0004544 0.01351 0.6987 1 -0.00001426 0.00333 0.006609 0.002834 0.05324 3.941 1 0.003324 0.003671 1 1 0.005738 0.0546 0.2594 0.006325 0.06019 0.2859 json
t13_x2_u21_b1 13 2 21 1 flr(sub(sqt(P),R)) 43367 105652837 o1(o2(o1(x),x)) true 5903 5903 -0.09809 0.4606 0.9243 0.9 0.9487 -1 1 2 1 1.859 0.00272 0.0004169 0.01181 0.7342 1 0.00001382 0.004202 0.006929 0.002996 0.05474 4.636 1 0.003485 0.004669 1 1 0.005543 0.04858 0.2626 0.006159 0.05398 0.2918 json
t13_x2_u21_b2 13 2 21 2 flr(mlt(sqt(P),R)) 43368 105652838 o1(o2(o1(x),x)) true 5911 5911 -0.6815 0.1076 0.817 0.3101 0.5569 -1 1 2 1 2.437 0.007914 0.00386 0.04352 0.3443 1 0.00001424 0.009571 0.02075 0.009879 0.09939 2.284 1 0.03796 0.03086 1 1 0.01666 0.1541 0.4322 0.05371 0.497 1.393 json
t13_x2_u21_b3 13 2 21 3 flr(div(sqt(P),R)) 43369 105652839 o1(o2(o1(x),x)) true 5919 5919 -0.5774 0.2153 0.9489 0.6019 0.7758 -1 1 2 1 1.463 0.02731 0.03126 0.0626 -0.06741 1 -0.0000203 0.08815 0.07154 0.05464 0.2338 3.734 2.828 0.09731 0.1464 1 1 0.07409 0.4383 0.9516 0.1231 0.7282 1.581 json
t13_x2_u21_b4 13 2 21 4 flr(pow(sqt(P),R)) 43370 105652840 o1(o2(o1(x),x)) true 5927 5927 -0.3207 0.4154 0.773 0.6283 0.7927 -1 1 2 1 2.523 0.01403 0.004795 0.0334 0.4905 1 -0.00003846 0.03418 0.02509 0.0177 0.1331 3.983 2.828 0.02996 0.0544 1 1 0.02645 0.1368 0.3861 0.0421 0.2177 0.6144 json
t13_x2_u21_b5 13 2 21 5 flr(mod(sqt(P),R)) 43371 105652841 o1(o2(o1(x),x)) true 5935 5935 -0.5 0 0.5 0.25 0.5 -1 0 1 1 1 0.003968 0 0.003968 1 1 0 0.007937 0.007937 0.003952 0.06287 15.84 1 0.01587 0.03175 1 1 0.005263 0.02105 0.08421 0.02105 0.08421 0.3368 json
t13_x2_u21_b6 13 2 21 6 flr(lrg(sqt(P),R)) 43372 105652842 o1(o2(o1(x),x)) true 5943 5943 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_u21_b7 13 2 21 7 flr(eql(sqt(P),R)) 43373 105652843 o1(o2(o1(x),x)) true 5951 5951 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_u21_b8 13 2 21 8 flr(min(sqt(P),R)) 43374 105652844 o1(o2(o1(x),x)) true 5959 5959 -0.5176 0 0.5176 0.1537 0.3921 -1 0 1 1 3.585 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_u21_b9 13 2 21 9 flr(dot(sqt(P),R)) 43375 105652845 o1(o2(o1(x),x)) true 5967 5967 -0.8041 0.09406 0.9286 0.2625 0.5124 -1 1 2 1 1.358 0.004955 0.005499 0.02711 -0.05198 1 -0.0000174 0.01035 0.01507 0.009718 0.09858 3.636 2 0.03982 0.03942 1 1 0.01415 0.1193 0.3671 0.05389 0.4544 1.398 json
t13_x2_u21_b10 13 2 21 10 flr(dst(sqt(P),R)) 43376 105652846 o1(o2(o1(x),x)) true 5975 5975 -0.5052 0.25 0.9948 0.7383 0.8593 -1 1 2 1 0.8995 0.00716 0.007994 0.008537 -0.05507 1 -8.222e-10 0.03028 0.01563 0.01508 0.1228 14.38 2 0.02053 0.04101 1 1 0.01993 0.0807 0.3133 0.027 0.1093 0.4243 json
t13_x2_u22_b0 13 2 22 0 flr(add(log(P),R)) 43377 105653037 o1(o2(o1(x),x)) true 5983 5983 -0.2969 0.3759 0.8554 0.741 0.8608 -1 1 2 1 2.301 0.003071 0.0009352 0.01907 0.5331 1 0.000007126 0.004732 0.009698 0.003643 0.06036 3.165 1 0.005406 0.006386 1 1 0.006766 0.06141 0.2634 0.009131 0.08286 0.3555 json
t13_x2_u22_b1 13 2 22 1 flr(sub(log(P),R)) 43378 105653038 o1(o2(o1(x),x)) true 5991 5991 -0.2713 0.3939 0.8949 0.7942 0.8912 -1 1 2 1 2.218 0.002338 0.0009002 0.01934 0.444 1 -0.00001828 0.002591 0.007761 0.002866 0.05353 2.768 1 0.004077 0.003262 1 1 0.007123 0.07524 0.2866 0.008969 0.09475 0.3609 json
t13_x2_u22_b2 13 2 22 2 flr(mlt(log(P),R)) 43379 105653039 o1(o2(o1(x),x)) true 5999 5999 -0.7545 0.07179 0.8258 0.214 0.4626 -1 1 2 1 2.24 0.006274 0.002323 0.03577 0.4595 1 0.00004326 0.008564 0.01685 0.007319 0.08555 2.392 1 0.04017 0.04001 1 1 0.01238 0.1056 0.2888 0.05784 0.4933 1.349 json
t13_x2_u22_b3 13 2 22 3 flr(div(log(P),R)) 43380 105653040 o1(o2(o1(x),x)) true 6007 6007 -0.6664 0.1638 0.9394 0.4798 0.6927 -1 1 2 1 1.448 0.02038 0.02084 0.05314 -0.0111 1 -0.000008739 0.05648 0.0528 0.0384 0.196 3.688 2.828 0.08592 0.1177 1 1 0.04691 0.3096 0.6637 0.09778 0.6453 1.383 json
t13_x2_u22_b4 13 2 22 4 flr(pow(log(P),R)) 43381 105653041 o1(o2(o1(x),x)) true 6015 6015 -0.4307 0.3562 0.7803 0.5554 0.7453 -1 1 2 1 2.334 0.009399 0.003893 0.02845 0.4142 1 -0.000004273 0.02393 0.02024 0.01248 0.1117 3.927 2.828 0.02393 0.04308 1 1 0.01859 0.1021 0.3263 0.03347 0.1839 0.5874 json
t13_x2_u22_b5 13 2 22 5 flr(mod(log(P),R)) 43382 105653042 o1(o2(o1(x),x)) true 6023 6023 -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_x2_u22_b6 13 2 22 6 flr(lrg(log(P),R)) 43383 105653043 o1(o2(o1(x),x)) true 6031 6031 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_u22_b7 13 2 22 7 flr(eql(log(P),R)) 43384 105653044 o1(o2(o1(x),x)) true 6039 6039 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_u22_b8 13 2 22 8 flr(min(log(P),R)) 43385 105653045 o1(o2(o1(x),x)) true 6047 6047 -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_x2_u22_b9 13 2 22 9 flr(dot(log(P),R)) 43386 105653046 o1(o2(o1(x),x)) true 6055 6055 -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_u22_b10 13 2 22 10 flr(dst(log(P),R)) 43387 105653047 o1(o2(o1(x),x)) true 6063 6063 -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_u23_b0 13 2 23 0 flr(add(frc(P),R)) 43388 105653238 o1(o2(o1(x),x)) true 6071 6071 -0.5176 0 0.5176 0.1537 0.3921 -1 0 1 1 3.585 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_u23_b1 13 2 23 1 flr(sub(frc(P),R)) 43389 105653239 o1(o2(o1(x),x)) true 6079 6079 -0.4824 0 0.4824 0.1537 0.3921 -1 0 1 1 3.644 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_u23_b2 13 2 23 2 flr(mlt(frc(P),R)) 43390 105653240 o1(o2(o1(x),x)) true 6087 6087 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_u23_b3 13 2 23 3 flr(div(frc(P),R)) 43391 105653241 o1(o2(o1(x),x)) true 6095 6095 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_u23_b4 13 2 23 4 flr(pow(frc(P),R)) 43392 105653242 o1(o2(o1(x),x)) true 6103 6103 -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_u23_b5 13 2 23 5 flr(mod(frc(P),R)) 43393 105653243 o1(o2(o1(x),x)) true 6111 6111 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_u23_b6 13 2 23 6 flr(lrg(frc(P),R)) 43394 105653244 o1(o2(o1(x),x)) true 6119 6119 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_u23_b7 13 2 23 7 flr(eql(frc(P),R)) 43395 105653245 o1(o2(o1(x),x)) true 6127 6127 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_u23_b8 13 2 23 8 flr(min(frc(P),R)) 43396 105653246 o1(o2(o1(x),x)) true 6135 6135 -0.5176 0 0.5176 0.1537 0.3921 -1 0 1 1 3.585 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_u23_b9 13 2 23 9 flr(dot(frc(P),R)) 43397 105653247 o1(o2(o1(x),x)) true 6143 6143 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_u23_b10 13 2 23 10 flr(dst(frc(P),R)) 43398 105653248 o1(o2(o1(x),x)) true 6151 6151 0.5234 0.9064 0.5234 0.1603 0.4004 0 1 1 1 3.324 0.001857 0.002199 0.04748 -0.08437 1 -0.000005706 0.0002413 0.0116 0.001802 0.04245 0.894 0.1169 0.0253 0.001505 1 1 0.007899 0.1024 0.3171 0.04927 0.639 1.978 json
t13_x2_u24_b0 13 2 24 0 flr(add(flr(P),R)) 43399 105653439 o1(o2(o1(x),x)) true 6159 6159 -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