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_u9_b10 13 6 9 10 log(dst(frc(R),P)) 45400 105812038 o1(o2(o1(x),x)) true 22167 22167 0.9676 0.9927 0.9702 0.02154 0.1468 -0.5232 1 1.523 1 0.6606 0.00007504 0.00008552 0.002963 -0.06525 1 1.877e-11 0.00001296 0.0007766 0.0001517 0.01232 4.157 0.1402 0.007453 0.0006015 1 1 0.0005551 0.007107 0.05295 0.02577 0.3299 2.458 json
t13_x6_u10_b0 13 6 10 0 log(add(flr(R),P)) 45401 105812229 o1(o2(o1(x),x)) true 22175 22175 -0.2593 0.3896 0.9516 0.8691 0.9323 -1 1 2 1 1.607 0.006137 0.002036 0.01064 0.5017 1 -0.000002231 0.01629 0.01399 0.008062 0.08979 8.435 2.394 0.009404 0.01874 1 1 0.009496 0.04925 0.2863 0.01093 0.05667 0.3294 json
t13_x6_u10_b1 13 6 10 1 log(sub(flr(R),P)) 45402 105812230 o1(o2(o1(x),x)) true 22183 22183 -0.2585 0.3865 0.9524 0.8724 0.934 -1 1 2 1 1.579 0.0055 0.002226 0.01028 0.4238 1 5.948e-7 0.01545 0.01355 0.007614 0.08726 8.487 1.693 0.008855 0.01771 1 1 0.0104 0.05294 0.3096 0.01192 0.06068 0.3549 json
t13_x6_u10_b2 13 6 10 2 log(mlt(flr(R),P)) 45403 105812231 o1(o2(o1(x),x)) true 22191 22191 -0.9389 0.03516 0.9908 0.1064 0.3262 -1 1 2 1 0.3166 0.01049 0.008707 0.01132 0.09285 1 3.792e-10 0.04006 0.02154 0.01906 0.1381 12.19 2.828 0.1804 0.3764 1 1 0.01856 0.07809 0.2045 0.1744 0.7337 1.921 json
t13_x6_u10_b3 13 6 10 3 log(div(flr(R),P)) 45404 105812232 o1(o2(o1(x),x)) true 22199 22199 -0.9908 0 0.9908 0.0061 0.0781 -1 -0.0002017 0.9998 1 0.1937 0.0008916 0.0005151 0.002499 0.2677 1 -3.191e-10 0.002884 0.003756 0.001402 0.03744 14.98 1.414 0.2306 0.4729 1 1 0.002218 0.009086 0.018 0.3637 1.49 2.951 json
t13_x6_u10_b4 13 6 10 4 log(pow(flr(R),P)) 45405 105812233 o1(o2(o1(x),x)) true 22207 22207 -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_u10_b5 13 6 10 5 log(mod(flr(R),P)) 45406 105812234 o1(o2(o1(x),x)) true 22215 22215 -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_u10_b6 13 6 10 6 log(lrg(flr(R),P)) 45407 105812235 o1(o2(o1(x),x)) true 22223 22223 -0.6055 0 0.6055 0.2387 0.4886 -1 0 1 1 0.9677 0.003968 0.001512 0.005452 0.4483 1 0 0.01134 0.01096 0.005451 0.07383 13.54 1.414 0.02295 0.04749 1 1 0.007258 0.0297 0.1161 0.0304 0.1244 0.4864 json
t13_x6_u10_b7 13 6 10 7 log(eql(flr(R),P)) 45408 105812236 o1(o2(o1(x),x)) true 22231 22231 -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_u10_b8 13 6 10 8 log(min(flr(R),P)) 45409 105812237 o1(o2(o1(x),x)) true 22239 22239 -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_u10_b9 13 6 10 9 log(dot(flr(R),P)) 45410 105812238 o1(o2(o1(x),x)) true 22247 22247 -0.9263 0.03906 0.9956 0.1361 0.369 -1 1 2 1 0.3043 0.01269 0.0157 0.01555 -0.1061 1 6.007e-11 0.0594 0.02998 0.02815 0.1678 10.79 2.828 0.2085 0.4364 1 1 0.02553 0.1066 0.25 0.1875 0.7829 1.837 json
t13_x6_u10_b10 13 6 10 10 log(dst(flr(R),P)) 45411 105812239 o1(o2(o1(x),x)) true 22255 22255 0.9458 0.9844 0.9771 0.07226 0.2688 -1 1 2 1 0.6773 0.002027 0.002528 0.005757 -0.1099 1 3.454e-10 0.009106 0.006655 0.00452 0.06723 11.68 2.552 0.06303 0.126 1 1 0.008309 0.04026 0.2042 0.115 0.5572 2.826 json
t13_x6_u11_b0 13 6 11 0 log(add(cil(R),P)) 45412 105812430 o1(o2(o1(x),x)) true 22263 22263 -0.1323 0.4524 0.9615 0.929 0.9639 -1 1 2 1 1.612 0.007552 0.002258 0.01079 0.5397 1 -0.000006171 0.01973 0.01513 0.009697 0.09848 9.13 2.394 0.01056 0.02124 1 1 0.01327 0.06109 0.3012 0.01429 0.06575 0.3242 json
t13_x6_u11_b1 13 6 11 1 log(sub(cil(R),P)) 45413 105812431 o1(o2(o1(x),x)) true 22271 22271 -0.1352 0.4524 0.9585 0.9247 0.9616 -1 1 2 1 1.62 0.007107 0.002241 0.01044 0.5205 1 -0.000003798 0.01884 0.01472 0.009246 0.09615 9.214 1.693 0.01011 0.02037 1 1 0.0129 0.0592 0.304 0.01395 0.06402 0.3287 json
t13_x6_u11_b2 13 6 11 2 log(mlt(cil(R),P)) 45414 105812432 o1(o2(o1(x),x)) true 22279 22279 -0.9922 0.003906 1 0.01556 0.1248 -1 1 2 1 0.03687 0.001008 0.001764 0.001386 -0.2727 1 0 0.005795 0.002771 0.002769 0.05262 37.97 2 0.1781 0.3723 1 1 0 0 0.0133 0 0 0.8543 json
t13_x6_u11_b3 13 6 11 3 log(div(cil(R),P)) 45415 105812433 o1(o2(o1(x),x)) true 22287 22287 -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_u11_b4 13 6 11 4 log(pow(cil(R),P)) 45416 105812434 o1(o2(o1(x),x)) true 22295 22295 -0.9102 0.02344 0.957 0.1287 0.3588 -1 1 2 1 0.4146 0.01329 0.01594 0.01856 -0.09052 1 0 0.06198 0.03741 0.02889 0.17 9.158 2.828 0.227 0.4815 1 1 0.02586 0.1054 0.2099 0.2009 0.8187 1.63 json
t13_x6_u11_b5 13 6 11 5 log(mod(cil(R),P)) 45417 105812435 o1(o2(o1(x),x)) true 22303 22303 -0.9727 0 0.9727 0.02658 0.163 -1 0 1 1 0.1809 0.002708 0.002583 0.005254 0.02381 1 0 0.01109 0.01058 0.005265 0.07256 13.81 1.414 0.199 0.417 1 1 0.003255 0.01364 0.03348 0.1224 0.5132 1.259 json
t13_x6_u11_b6 13 6 11 6 log(lrg(cil(R),P)) 45418 105812436 o1(o2(o1(x),x)) true 22311 22311 -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_x6_u11_b7 13 6 11 7 log(eql(cil(R),P)) 45419 105812437 o1(o2(o1(x),x)) true 22319 22319 -0.9844 0 0.9844 0.01538 0.124 -1 0 1 1 0.1161 0.002016 0.001008 0.003005 0.3333 1 0 0.006299 0.006047 0.003016 0.05492 18.27 1.414 0.1966 0.4095 1 1 0.003546 0.01418 0.03546 0.2305 0.9221 2.305 json
t13_x6_u11_b8 13 6 11 8 log(min(cil(R),P)) 45420 105812438 o1(o2(o1(x),x)) true 22327 22327 -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_u11_b9 13 6 11 9 log(dot(cil(R),P)) 45421 105812439 o1(o2(o1(x),x)) true 22335 22335 -0.8992 0.05469 0.9914 0.1788 0.4229 -1 1 2 1 0.4358 0.01498 0.01104 0.01521 0.1514 1 1.577e-10 0.05412 0.02794 0.0258 0.1606 10.56 2.828 0.1455 0.3026 1 1 0.03477 0.1447 0.4497 0.1944 0.8088 2.515 json
t13_x6_u11_b10 13 6 11 10 log(dst(cil(R),P)) 45422 105812440 o1(o2(o1(x),x)) true 22343 22343 0.9456 0.9844 0.9768 0.07171 0.2678 -1 1 2 1 0.6796 0.002318 0.001847 0.00536 0.1132 1 -2.253e-11 0.008326 0.006286 0.004137 0.06432 12 2 0.05809 0.1161 1 1 0.007575 0.03631 0.1988 0.1056 0.5063 2.772 json
t13_x6_u12_b0 13 6 12 0 log(add(sgn(R),P)) 45423 105812631 o1(o2(o1(x),x)) true 22351 22351 -0.2392 0.3984 0.9639 0.8923 0.9446 -1 1 2 1 1.553 0.0094 0.004793 0.01383 0.3246 1 -0.000003584 0.02843 0.01916 0.014 0.1183 8.552 2.828 0.01591 0.03186 1 1 0.01531 0.07472 0.3361 0.01716 0.08374 0.3767 json
t13_x6_u12_b1 13 6 12 1 log(sub(sgn(R),P)) 45424 105812632 o1(o2(o1(x),x)) true 22359 22359 -0.2391 0.3984 0.964 0.8946 0.9458 -1 1 2 1 1.514 0.008293 0.005122 0.0129 0.2364 1 6.121e-7 0.02705 0.01842 0.01325 0.1151 8.92 2.395 0.015 0.03023 1 1 0.01785 0.08388 0.386 0.01996 0.09376 0.4315 json
t13_x6_u12_b2 13 6 12 2 log(mlt(sgn(R),P)) 45425 105812633 o1(o2(o1(x),x)) true 22367 22367 -0.931 0.03906 0.9908 0.121 0.3479 -1 1 2 1 0.3388 0.0115 0.01047 0.01271 0.04672 1 3.792e-10 0.04586 0.02431 0.0218 0.1476 11.62 2.828 0.1815 0.3789 1 1 0.01856 0.07809 0.2178 0.1534 0.6453 1.799 json
t13_x6_u12_b3 13 6 12 3 log(div(sgn(R),P)) 45426 105812634 o1(o2(o1(x),x)) true 22375 22375 -0.9908 0 0.9908 0.0061 0.0781 -1 -0.0002017 0.9998 1 0.1937 0.0008916 0.0005151 0.002499 0.2677 1 -3.191e-10 0.002884 0.003756 0.001402 0.03744 14.98 1.414 0.2306 0.4729 1 1 0.002218 0.009086 0.018 0.3637 1.49 2.951 json
t13_x6_u12_b4 13 6 12 4 log(pow(sgn(R),P)) 45427 105812635 o1(o2(o1(x),x)) true 22383 22383 -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_x6_u12_b5 13 6 12 5 log(mod(sgn(R),P)) 45428 105812636 o1(o2(o1(x),x)) true 22391 22391 -0.9727 0 0.9727 0.02658 0.163 -1 0 1 1 0.1809 0.002708 0.002583 0.005254 0.02381 1 0 0.01109 0.01058 0.005265 0.07256 13.81 1.414 0.199 0.417 1 1 0.003255 0.01364 0.03348 0.1224 0.5132 1.259 json
t13_x6_u12_b6 13 6 12 6 log(lrg(sgn(R),P)) 45429 105812637 o1(o2(o1(x),x)) true 22399 22399 -0.6016 0 0.6016 0.2399 0.4898 -1 0 1 1 0.97 0.003968 0.002016 0.005956 0.3263 1 0 0.01235 0.01197 0.005946 0.07711 12.95 1.414 0.02495 0.05147 1 1 0.007479 0.03125 0.1197 0.03118 0.1303 0.4989 json
t13_x6_u12_b7 13 6 12 7 log(eql(sgn(R),P)) 45430 105812638 o1(o2(o1(x),x)) true 22407 22407 -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_u12_b8 13 6 12 8 log(min(sgn(R),P)) 45431 105812639 o1(o2(o1(x),x)) true 22415 22415 -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_u12_b9 13 6 12 9 log(dot(sgn(R),P)) 45432 105812640 o1(o2(o1(x),x)) true 22423 22423 -0.948 0.02734 0.9973 0.09765 0.3125 -1 1 2 1 0.226 0.009694 0.01074 0.01116 -0.05123 1 1.689e-10 0.04267 0.02157 0.02031 0.1425 12.76 2.828 0.2093 0.437 1 1 0.02543 0.106 0.259 0.2605 1.085 2.652 json
t13_x6_u12_b10 13 6 12 10 log(dst(sgn(R),P)) 45433 105812641 o1(o2(o1(x),x)) true 22431 22431 0.9729 1 0.9729 0.01319 0.1149 0.0002017 1 0.9998 1 0.6418 0.0001242 0.000123 0.00388 0.004584 1 -4.505e-11 0.000042 0.001343 0.0002323 0.01524 3.928 0.1542 0.01874 0.003184 1 1 0.0008391 0.009684 0.0322 0.0636 0.7341 2.44 json
t13_x6_u13_b0 13 6 13 0 log(add(nrm(R),P)) 45434 105812832 o1(o2(o1(x),x)) true 22439 22439 -0.169 0.4308 0.9419 0.8902 0.9435 -1 1 2 1 1.938 0.004768 0.001244 0.01155 0.5861 1 -0.000008705 0.01123 0.01128 0.005876 0.07665 6.635 2.174 0.006754 0.01262 1 1 0.008572 0.04707 0.2529 0.00963 0.05288 0.2841 json
t13_x6_u13_b1 13 6 13 1 log(sub(nrm(R),P)) 45435 105812833 o1(o2(o1(x),x)) true 22447 22447 -0.1752 0.4258 0.9433 0.8908 0.9438 -1 1 2 1 1.892 0.003842 0.001284 0.0111 0.4991 1 -0.000003261 0.009322 0.01003 0.005002 0.07073 6.374 1.576 0.005754 0.01046 1 1 0.007783 0.04625 0.2761 0.008737 0.05192 0.3099 json
t13_x6_u13_b2 13 6 13 2 log(mlt(nrm(R),P)) 45436 105812834 o1(o2(o1(x),x)) true 22455 22455 -0.9561 0.02351 0.9813 0.06276 0.2505 -1 1 2 1 0.3745 0.006247 0.007081 0.01042 -0.06254 1 -0.00000245 0.02753 0.01712 0.01322 0.115 11.03 2.828 0.2124 0.4387 1 1 0.01011 0.04243 0.1084 0.1611 0.6762 1.728 json
t13_x6_u13_b3 13 6 13 3 log(div(nrm(R),P)) 45437 105812835 o1(o2(o1(x),x)) true 22463 22463 -0.9987 0 0.9987 0.0005476 0.0234 -1 -0.313 0.687 1 0.04896 0.0001105 0.00009296 0.0006275 0.08614 1 2.253e-11 0.000411 0.0008911 0.000203 0.01425 22.71 0.687 0.3715 0.7505 1 1 0.000337 0.001336 0.001847 0.6154 2.439 3.372 json
t13_x6_u13_b4 13 6 13 4 log(pow(nrm(R),P)) 45438 105812836 o1(o2(o1(x),x)) true 22471 22471 -0.9313 0.0351 0.9916 0.1223 0.3498 -1 1 2 1 0.3307 0.01345 0.01115 0.01385 0.09335 1 -0.00001706 0.05136 0.02689 0.02443 0.1563 11.29 2.828 0.2011 0.4198 1 1 0.0212 0.09165 0.2172 0.1733 0.7491 1.776 json
t13_x6_u13_b5 13 6 13 5 log(mod(nrm(R),P)) 45439 105812837 o1(o2(o1(x),x)) true 22479 22479 -0.9859 0 0.9859 0.007781 0.08821 -1 -0.08235 0.9177 1 0.2912 0.0007968 0.0009163 0.004023 -0.06975 1 0.00001233 0.003439 0.005854 0.001696 0.04118 10.24 0.8645 0.2202 0.442 1 1 0.001662 0.007032 0.01289 0.2136 0.9037 1.657 json
t13_x6_u13_b6 13 6 13 6 log(lrg(nrm(R),P)) 45440 105812838 o1(o2(o1(x),x)) true 22487 22487 -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_x6_u13_b7 13 6 13 7 log(eql(nrm(R),P)) 45441 105812839 o1(o2(o1(x),x)) true 22495 22495 -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_u13_b8 13 6 13 8 log(min(nrm(R),P)) 45442 105812840 o1(o2(o1(x),x)) true 22503 22503 -0.998 0 0.998 0.001083 0.03291 -1 -0.3744 0.6256 1 0.04512 0.00005253 0.0001199 0.000394 -0.3908 1 9.268e-7 0.0003554 0.0006806 0.0001722 0.01312 33.31 0.6157 0.1592 0.3281 1 1 0 0 0.000906 0 0 0.8364 json
t13_x6_u13_b9 13 6 13 9 log(dot(nrm(R),P)) 45443 105812841 o1(o2(o1(x),x)) true 22511 22511 -0.9433 0.02872 0.9888 0.09596 0.3098 -1 1 2 1 0.3548 0.01096 0.01124 0.01484 -0.01245 1 -0.000001689 0.04574 0.02476 0.02199 0.1483 9.994 2.828 0.2314 0.4767 1 1 0.02451 0.1071 0.2246 0.2554 1.116 2.341 json
t13_x6_u13_b10 13 6 13 10 log(dst(nrm(R),P)) 45444 105812842 o1(o2(o1(x),x)) true 22519 22519 0.9624 0.9936 0.9644 0.0257 0.1603 -0.4544 1 1.454 1 0.7087 0.00013 0.0001372 0.003963 -0.02707 1 1.276e-10 0.0000266 0.001138 0.0002514 0.01585 4.001 0.1789 0.0104 0.001035 1 1 0.0009212 0.01153 0.05986 0.03584 0.4487 2.329 json
t13_x6_u14_b0 13 6 14 0 frc(add(sqt(R),P)) 45445 105813033 o1(o2(o1(x),x)) true 22527 22527 -0.9258 0.04297 0.9882 0.1235 0.3514 -1 0.971 1.971 1 0.3916 0.01252 0.01245 0.01513 0.002807 1 0.000005689 0.05219 0.02886 0.02476 0.1573 10.4 2.731 0.2023 0.4226 1 1 0.0197 0.08508 0.2088 0.1595 0.689 1.691 json
t13_x6_u14_b1 13 6 14 1 frc(sub(sqt(R),P)) 45446 105813034 o1(o2(o1(x),x)) true 22535 22535 -0.9258 0.04297 0.9882 0.1235 0.3514 -1 0.971 1.971 1 0.3916 0.01252 0.01245 0.01513 0.002807 1 0.000005689 0.05219 0.02886 0.02476 0.1573 10.4 2.731 0.2023 0.4226 1 1 0.0197 0.08508 0.2088 0.1595 0.689 1.691 json
t13_x6_u14_b2 13 6 14 2 frc(mlt(sqt(R),P)) 45447 105813035 o1(o2(o1(x),x)) true 22543 22543 -0.9414 0.04272 0.9727 0.0792 0.2814 -1 0.9444 1.944 1 0.4147 0.008188 0.008032 0.01242 0.009653 1 0.000002429 0.03385 0.02294 0.01608 0.1268 10.21 2.75 0.2048 0.4274 1 1 0.01169 0.05024 0.1259 0.1476 0.6344 1.59 json
t13_x6_u14_b3 13 6 14 3 frc(div(sqt(R),P)) 45448 105813036 o1(o2(o1(x),x)) true 22551 22551 -0.9408 0.03516 0.9889 0.09909 0.3148 -1 0.9496 1.95 1 0.327 0.01092 0.009041 0.01175 0.09425 1 -3.541e-7 0.04177 0.02303 0.01982 0.1408 11.98 2.71 0.2015 0.4215 1 1 0.0163 0.06741 0.1629 0.1645 0.6803 1.644 json
t13_x6_u14_b4 13 6 14 4 frc(pow(sqt(R),P)) 45449 105813037 o1(o2(o1(x),x)) true 22559 22559 -0.8998 0.07359 0.9518 0.1299 0.3604 -1 0.971 1.971 1 0.6563 0.01351 0.01166 0.01959 0.0737 1 -3.266e-7 0.05228 0.03498 0.02478 0.1574 8.036 2.761 0.1938 0.4024 1 1 0.02379 0.09776 0.2911 0.1831 0.7525 2.241 json
t13_x6_u14_b5 13 6 14 5 frc(mod(sqt(R),P)) 45450 105813038 o1(o2(o1(x),x)) true 22567 22567 -0.9397 0.03516 0.99 0.1006 0.3171 -1 0.971 1.971 1 0.3329 0.01074 0.009256 0.01227 0.07411 1 0.000005689 0.04178 0.02335 0.01983 0.1408 11.48 2.398 0.1988 0.4155 1 1 0.01818 0.07467 0.1863 0.1808 0.7425 1.853 json
t13_x6_u14_b6 13 6 14 6 frc(lrg(sqt(R),P)) 45451 105813039 o1(o2(o1(x),x)) true 22575 22575 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_u14_b7 13 6 14 7 frc(eql(sqt(R),P)) 45452 105813040 o1(o2(o1(x),x)) true 22583 22583 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_u14_b8 13 6 14 8 frc(min(sqt(R),P)) 45453 105813041 o1(o2(o1(x),x)) true 22591 22591 0.1511 0.4503 0.1511 0.06653 0.2579 0 0.9902 0.9902 1 2.172 0.0006938 0.0005898 0.01981 0.08104 1 -0.000004727 0.00007748 0.00472 0.0008915 0.02986 1.508 0.1158 0.01929 0.001165 1 1 0.002575 0.03347 0.09532 0.03871 0.5032 1.433 json
t13_x6_u14_b9 13 6 14 9 frc(dot(sqt(R),P)) 45454 105813042 o1(o2(o1(x),x)) true 22599 22599 -0.9937 0.003906 0.9985 0.01025 0.1012 -1 0.7175 1.718 1 0.04542 0.001328 0.001325 0.001666 0.0009631 1 -3.004e-11 0.005636 0.003274 0.002648 0.05146 30.89 2.214 0.2589 0.5501 1 1 0.004668 0.01868 0.03607 0.4556 1.823 3.521 json
t13_x6_u14_b10 13 6 14 10 frc(dst(sqt(R),P)) 45455 105813043 o1(o2(o1(x),x)) true 22607 22607 -0.994 0.003906 0.9982 0.009552 0.09773 -1 0.8964 1.896 1 0.05108 0.001265 0.001236 0.001701 0.01167 1 -6.382e-11 0.005303 0.003148 0.002497 0.04997 29.37 1.896 0.2619 0.5552 1 1 0.004416 0.01773 0.03342 0.4623 1.857 3.499 json
t13_x6_u15_b0 13 6 15 0 frc(add(log(R),P)) 45456 105813234 o1(o2(o1(x),x)) true 22615 22615 -0.9316 0.04297 0.9825 0.1066 0.3265 -1 0.941 1.941 1 0.4165 0.01073 0.01099 0.01468 -0.01216 1 0.000004297 0.04528 0.02672 0.02152 0.1467 9.991 2.726 0.2037 0.4247 1 1 0.0149 0.06649 0.1649 0.1398 0.6237 1.547 json
t13_x6_u15_b1 13 6 15 1 frc(sub(log(R),P)) 45457 105813235 o1(o2(o1(x),x)) true 22623 22623 -0.9316 0.04297 0.9825 0.1066 0.3265 -1 0.941 1.941 1 0.4165 0.01073 0.01099 0.01468 -0.01216 1 0.000004297 0.04528 0.02672 0.02152 0.1467 9.991 2.726 0.2037 0.4247 1 1 0.0149 0.06649 0.1649 0.1398 0.6237 1.547 json
t13_x6_u15_b2 13 6 15 2 frc(mlt(log(R),P)) 45458 105813236 o1(o2(o1(x),x)) true 22631 22631 -0.9371 0.04279 0.977 0.0904 0.3007 -1 0.9756 1.976 1 0.4189 0.01002 0.009214 0.0134 0.042 1 0.00000126 0.04029 0.02517 0.01906 0.138 10.3 2.794 0.2128 0.4456 1 1 0.01733 0.07242 0.1729 0.1918 0.8012 1.913 json
t13_x6_u15_b3 13 6 15 3 frc(div(log(R),P)) 45459 105813237 o1(o2(o1(x),x)) true 22639 22639 -0.9546 0.03516 0.9751 0.05904 0.243 -1 0.9906 1.991 1 0.3389 0.00629 0.005567 0.009372 0.06095 1 -0.00000138 0.02478 0.0177 0.01176 0.1084 11.57 2.442 0.2008 0.4196 1 1 0.01001 0.04088 0.1101 0.1695 0.6924 1.865 json
t13_x6_u15_b4 13 6 15 4 frc(pow(log(R),P)) 45460 105813238 o1(o2(o1(x),x)) true 22647 22647 -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_u15_b5 13 6 15 5 frc(mod(log(R),P)) 45461 105813239 o1(o2(o1(x),x)) true 22655 22655 -0.9449 0.03516 0.9848 0.08553 0.2924 -1 0.941 1.941 1 0.354 0.009192 0.008071 0.01201 0.06496 1 0.000004297 0.03599 0.02152 0.01711 0.1308 10.89 2.726 0.2018 0.4208 1 1 0.01367 0.05777 0.1444 0.1598 0.6755 1.689 json
t13_x6_u15_b6 13 6 15 6 frc(lrg(log(R),P)) 45462 105813240 o1(o2(o1(x),x)) true 22663 22663 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_u15_b7 13 6 15 7 frc(eql(log(R),P)) 45463 105813241 o1(o2(o1(x),x)) true 22671 22671 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_u15_b8 13 6 15 8 frc(min(log(R),P)) 45464 105813242 o1(o2(o1(x),x)) true 22679 22679 0.1431 0.5178 0.1431 0.05672 0.2382 0 0.9991 0.9991 1 2.234 0.0005802 0.0006231 0.02 -0.03563 1 -0.000006375 0.00007187 0.004752 0.0008035 0.02835 1.418 0.1168 0.02122 0.001267 1 1 0.002407 0.0313 0.09201 0.04244 0.5519 1.622 json
t13_x6_u15_b9 13 6 15 9 frc(dot(log(R),P)) 45465 105813243 o1(o2(o1(x),x)) true 22687 22687 -0.9943 0.003906 0.9978 0.008405 0.09168 -1 0.9992 1.999 1 0.05203 0.001117 0.001116 0.001669 0.0004934 1 -3.754e-12 0.00473 0.002968 0.002229 0.04721 28.28 2.43 0.2658 0.5628 1 1 0.003958 0.01597 0.02948 0.471 1.9 3.508 json
t13_x6_u15_b10 13 6 15 10 frc(dst(log(R),P)) 45466 105813244 o1(o2(o1(x),x)) true 22695 22695 -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_u16_b0 13 6 16 0 frc(add(frc(R),P)) 45467 105813435 o1(o2(o1(x),x)) true 22703 22703 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_x6_u16_b1 13 6 16 1 frc(sub(frc(R),P)) 45468 105813436 o1(o2(o1(x),x)) true 22711 22711 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_x6_u16_b2 13 6 16 2 frc(mlt(frc(R),P)) 45469 105813437 o1(o2(o1(x),x)) true 22719 22719 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.654e-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_x6_u16_b3 13 6 16 3 frc(div(frc(R),P)) 45470 105813438 o1(o2(o1(x),x)) true 22727 22727 0.3134 0.875 0.5634 0.3635 0.6029 -1 0.9994 1.999 1 3.65 0.01898 0.00009033 0.02178 0.9905 1 0.00000291 0.03763 0.02627 0.0186 0.1364 6.261 1.997 0.05246 0.1035 1 1 0.0254 0.1057 0.4066 0.06988 0.2907 1.119 json
t13_x6_u16_b4 13 6 16 4 frc(pow(frc(R),P)) 45471 105813439 o1(o2(o1(x),x)) true 22735 22735 0.331 0.9831 0.331 0.06148 0.248 1.834e-10 0.9855 0.9855 1 3.71 0.0007893 0.000657 0.02975 0.09148 1 -0.000003337 0.00008293 0.006816 0.0005613 0.02369 0.7964 0.1143 0.02352 0.001349 1 1 0.002655 0.03406 0.09052 0.04318 0.554 1.472 json
t13_x6_u16_b5 13 6 16 5 frc(mod(frc(R),P)) 45472 105813440 o1(o2(o1(x),x)) true 22743 22743 0.337 0.875 0.587 0.3015 0.5491 -1 0.997 1.997 1 3.893 0.02159 0.0006142 0.03977 0.9447 1 0.00004894 0.04201 0.03172 0.02062 0.1436 3.611 1.943 0.07365 0.1394 1 1 0.02948 0.1355 0.4916 0.09777 0.4495 1.631 json
t13_x6_u16_b6 13 6 16 6 frc(lrg(frc(R),P)) 45473 105813441 o1(o2(o1(x),x)) true 22751 22751 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_u16_b7 13 6 16 7 frc(eql(frc(R),P)) 45474 105813442 o1(o2(o1(x),x)) true 22759 22759 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_u16_b8 13 6 16 8 frc(min(frc(R),P)) 45475 105813443 o1(o2(o1(x),x)) true 22767 22767 0.2505 0.4996 0.2505 0.09249 0.3041 0 0.997 0.997 1 2.795 0.0004377 0.0003237 0.01591 0.1497 1 0.00002617 0.00004293 0.003629 0.0005083 0.02255 1.417 0.1114 0.008233 0.0004642 1 1 0.001405 0.01828 0.06687 0.01519 0.1977 0.723 json
t13_x6_u16_b9 13 6 16 9 frc(dot(frc(R),P)) 45476 105813444 o1(o2(o1(x),x)) true 22775 22775 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_x6_u16_b10 13 6 16 10 frc(dst(frc(R),P)) 45477 105813445 o1(o2(o1(x),x)) true 22783 22783 0.5021 1 0.5021 0.04992 0.2234 0.006241 0.9955 0.9893 1 3.83 0.0006864 0.0007638 0.0313 -0.05336 1 0.000002757 0.00008544 0.007174 0.0004704 0.02169 0.6929 0.1075 0.02905 0.001712 1 1 0.003026 0.03905 0.1007 0.06063 0.7824 2.017 json
t13_x6_u17_b0 13 6 17 0 frc(add(flr(R),P)) 45478 105813636 o1(o2(o1(x),x)) true 22791 22791 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_u17_b1 13 6 17 1 frc(sub(flr(R),P)) 45479 105813637 o1(o2(o1(x),x)) true 22799 22799 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_u17_b2 13 6 17 2 frc(mlt(flr(R),P)) 45480 105813638 o1(o2(o1(x),x)) true 22807 22807 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_u17_b3 13 6 17 3 frc(div(flr(R),P)) 45481 105813639 o1(o2(o1(x),x)) true 22815 22815 0.1014 0.8011 0.3514 0.2363 0.4861 -1 0.875 1.875 1 3.405 0.008542 0.0006398 0.0311 0.8606 1 0.00000284 0.01591 0.02143 0.008215 0.09064 2.914 1 0.03886 0.06735 1 1 0.0127 0.07442 0.333 0.05374 0.3149 1.409 json
t13_x6_u17_b4 13 6 17 4 frc(pow(flr(R),P)) 45482 105813640 o1(o2(o1(x),x)) true 22823 22823 -0.9766 0 0.9766 0.02287 0.1512 -1 0 1 1 0.1603 0.002771 0.001953 0.004696 0.1733 1 0 0.009889 0.009448 0.004702 0.06857 14.6 1.414 0.2066 0.4324 1 1 0.003767 0.01573 0.04233 0.1647 0.688 1.851 json
t13_x6_u17_b5 13 6 17 5 frc(mod(flr(R),P)) 45483 105813641 o1(o2(o1(x),x)) true 22831 22831 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_u17_b6 13 6 17 6 frc(lrg(flr(R),P)) 45484 105813642 o1(o2(o1(x),x)) true 22839 22839 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_u17_b7 13 6 17 7 frc(eql(flr(R),P)) 45485 105813643 o1(o2(o1(x),x)) true 22847 22847 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_u17_b8 13 6 17 8 frc(min(flr(R),P)) 45486 105813644 o1(o2(o1(x),x)) true 22855 22855 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_u17_b9 13 6 17 9 frc(dot(flr(R),P)) 45487 105813645 o1(o2(o1(x),x)) true 22863 22863 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_u17_b10 13 6 17 10 frc(dst(flr(R),P)) 45488 105813646 o1(o2(o1(x),x)) true 22871 22871 0.3593 0.9972 0.3593 0.05257 0.2293 2e-8 0.9498 0.9498 1 3.73 0.0005411 0.0005451 0.02537 -0.003662 1 -0.000001035 0.00006385 0.0058 0.0004424 0.02103 0.8289 0.111 0.02066 0.001214 1 1 0.001792 0.02316 0.08413 0.03408 0.4406 1.6 json
t13_x6_u18_b0 13 6 18 0 frc(add(cil(R),P)) 45489 105813837 o1(o2(o1(x),x)) true 22879 22879 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_u18_b1 13 6 18 1 frc(sub(cil(R),P)) 45490 105813838 o1(o2(o1(x),x)) true 22887 22887 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_u18_b2 13 6 18 2 frc(mlt(cil(R),P)) 45491 105813839 o1(o2(o1(x),x)) true 22895 22895 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_u18_b3 13 6 18 3 frc(div(cil(R),P)) 45492 105813840 o1(o2(o1(x),x)) true 22903 22903 0.07599 0.7427 0.326 0.2301 0.4797 -1 0.875 1.875 1 3.203 0.008461 0.000653 0.02956 0.8567 1 0.00001355 0.01592 0.02106 0.008242 0.09079 3.072 1 0.03961 0.06919 1 1 0.0126 0.07044 0.291 0.05475 0.3061 1.265 json
t13_x6_u18_b4 13 6 18 4 frc(pow(cil(R),P)) 45493 105813841 o1(o2(o1(x),x)) true 22911 22911 -0.4492 0 0.4492 0.2476 0.4976 -1 0 1 1 0.9925 0.006425 0.004157 0.01052 0.2143 1 0 0.02198 0.02116 0.01048 0.1024 9.732 1.414 0.04274 0.08879 1 1 0.0114 0.04688 0.1605 0.04604 0.1894 0.6481 json
t13_x6_u18_b5 13 6 18 5 frc(mod(cil(R),P)) 45494 105813842 o1(o2(o1(x),x)) true 22919 22919 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_u18_b6 13 6 18 6 frc(lrg(cil(R),P)) 45495 105813843 o1(o2(o1(x),x)) true 22927 22927 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_u18_b7 13 6 18 7 frc(eql(cil(R),P)) 45496 105813844 o1(o2(o1(x),x)) true 22935 22935 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_u18_b8 13 6 18 8 frc(min(cil(R),P)) 45497 105813845 o1(o2(o1(x),x)) true 22943 22943 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_u18_b9 13 6 18 9 frc(dot(cil(R),P)) 45498 105813846 o1(o2(o1(x),x)) true 22951 22951 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_u18_b10 13 6 18 10 frc(dst(cil(R),P)) 45499 105813847 o1(o2(o1(x),x)) true 22959 22959 0.3702 0.9927 0.3702 0.05098 0.2258 0 0.9497 0.9497 1 3.74 0.0005116 0.0004882 0.02447 0.02336 1 0.000005659 0.00005827 0.005586 0.0004009 0.02002 0.8181 0.111 0.01961 0.001143 1 1 0.00204 0.02644 0.0901 0.04001 0.5187 1.767 json