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
t17_x3_u2_b20 17 3 2 20 sub(P,dot(D,frc(P))) 100300 138171842 o2(x,o2(x,o1(x))) true 119207 119207 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
t17_x3_u2_b21 17 3 2 21 sub(P,dst(D,frc(P))) 100301 138171843 o2(x,o2(x,o1(x))) true 119215 119215 -0.05549 0.4658 0.9375 0.9113 0.9546 -1 1 2 1 1.963 0.000935 0.0002544 0.01134 0.5722 1 0.00004394 0.0002205 0.003978 0.001061 0.03258 2.873 0.1587 0.001305 0.000242 1 1 0.003022 0.02891 0.222 0.003316 0.03172 0.2436 json
t17_x3_u2_b22 17 3 2 22 mlt(P,add(D,frc(P))) 100302 138171844 o2(x,o2(x,o1(x))) true 119223 119223 -0.1371 0.3594 0.4002 0.2253 0.4747 -1 0.9606 1.961 1 4.765 0.03261 0 0.1409 1 1 0.002385 0.006072 0.05811 0.01278 0.113 0.8025 0.4334 0.1447 0.02695 1 1 0.03817 0.2764 0.02108 0.1694 1.227 0.09354 json
t17_x3_u2_b23 17 3 2 23 mlt(P,sub(D,frc(P))) 100303 138171845 o2(x,o2(x,o1(x))) true 119231 119231 -0.1371 0.3594 0.4002 0.2253 0.4747 -1 0.9606 1.961 1 4.765 0.03261 0 0.1409 1 1 0.002385 0.006072 0.05811 0.01278 0.113 0.8025 0.4334 0.1447 0.02695 1 1 0.03817 0.2764 0.02108 0.1694 1.227 0.09354 json
t17_x3_u2_b24 17 3 2 24 mlt(P,mlt(D,frc(P))) 100304 138171846 o2(x,o2(x,o1(x))) true 119239 119239 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
t17_x3_u2_b25 17 3 2 25 mlt(P,div(D,frc(P))) 100305 138171847 o2(x,o2(x,o1(x))) true 119247 119247 -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
t17_x3_u2_b26 17 3 2 26 mlt(P,pow(D,frc(P))) 100306 138171848 o2(x,o2(x,o1(x))) true 119255 119255 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
t17_x3_u2_b27 17 3 2 27 mlt(P,mod(D,frc(P))) 100307 138171849 o2(x,o2(x,o1(x))) true 119263 119263 -0.1371 0.3594 0.4002 0.2253 0.4747 -1 0.9606 1.961 1 4.765 0.03261 0 0.1409 1 1 0.002385 0.006072 0.05811 0.01278 0.113 0.8025 0.4334 0.1447 0.02695 1 1 0.03817 0.2764 0.02108 0.1694 1.227 0.09354 json
t17_x3_u2_b28 17 3 2 28 mlt(P,lrg(D,frc(P))) 100308 138171850 o2(x,o2(x,o1(x))) true 119271 119271 -0.05033 0.4375 0.6698 0.6202 0.7875 -1 1 2 1 3.323 0.06927 0 0.1147 1 1 -0.0006289 0.1207 0.1483 0.05611 0.2369 2.064 0.9997 0.1117 0.1946 1 1 0.07501 0.2172 0.1278 0.121 0.3503 0.2062 json
t17_x3_u2_b29 17 3 2 29 mlt(P,eql(D,frc(P))) 100309 138171851 o2(x,o2(x,o1(x))) true 119279 119279 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
t17_x3_u2_b30 17 3 2 30 mlt(P,min(D,frc(P))) 100310 138171852 o2(x,o2(x,o1(x))) true 119287 119287 -0.04495 0.4375 0.4715 0.368 0.6067 -1 1 2 1 4.344 0.01907 0 0.09364 1 1 0.000495 0.007662 0.05145 0.0103 0.1015 1.084 0.4329 0.05181 0.02082 1 1 0.02697 0.1536 0.0403 0.07329 0.4173 0.1095 json
t17_x3_u2_b31 17 3 2 31 mlt(P,dot(D,frc(P))) 100311 138171853 o2(x,o2(x,o1(x))) true 119295 119295 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
t17_x3_u2_b32 17 3 2 32 mlt(P,dst(D,frc(P))) 100312 138171854 o2(x,o2(x,o1(x))) true 119303 119303 -3.757e-9 0.5 0.8219 0.7655 0.8749 -1 1 2 1 3.133 0.004727 0.004589 0.04504 0.0148 1 -1.138e-9 0.008931 0.03295 0.007283 0.08534 1.895 0.5993 0.01217 0.01167 1 1 0.01625 0.0716 0.1251 0.02122 0.09353 0.1634 json
t17_x3_u2_b33 17 3 2 33 div(P,add(D,frc(P))) 100313 138171855 o2(x,o2(x,o1(x))) true 119311 119311 -0.1114 0.4219 0.9298 0.9017 0.9496 -1 1 2 1 1.687 0.3848 0 0.2302 1 1 3.788e-9 0.7096 0.4006 0.3317 0.5759 2.502 2 0.4267 0.787 1 1 0.3921 1.648 0.2316 0.4349 1.828 0.2568 json
t17_x3_u2_b34 17 3 2 34 div(P,sub(D,frc(P))) 100314 138171856 o2(x,o2(x,o1(x))) true 119319 119319 -0.1114 0.4219 0.9298 0.9017 0.9496 -1 1 2 1 1.687 0.3848 0 0.2302 1 1 3.788e-9 0.7096 0.4006 0.3317 0.5759 2.502 2 0.4267 0.787 1 1 0.3921 1.648 0.2316 0.4349 1.828 0.2568 json
t17_x3_u2_b35 17 3 2 35 div(P,mlt(D,frc(P))) 100315 138171857 o2(x,o2(x,o1(x))) true 119327 119327 0 0.5 1 1 1 -1 1 2 1 1 0.01587 0 0.007937 1 1 0 0.03175 0.01587 0.01581 0.1257 15.84 2 0.01587 0.03175 1 1 0.02105 0.08421 0.3368 0.02105 0.08421 0.3368 json
t17_x3_u2_b36 17 3 2 36 div(P,div(D,frc(P))) 100316 138171858 o2(x,o2(x,o1(x))) true 119335 119335 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
t17_x3_u2_b37 17 3 2 37 div(P,pow(D,frc(P))) 100317 138171859 o2(x,o2(x,o1(x))) true 119343 119343 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
t17_x3_u2_b38 17 3 2 38 div(P,mod(D,frc(P))) 100318 138171860 o2(x,o2(x,o1(x))) true 119351 119351 -0.1114 0.4219 0.9298 0.9017 0.9496 -1 1 2 1 1.687 0.3848 0 0.2302 1 1 3.788e-9 0.7096 0.4006 0.3317 0.5759 2.502 2 0.4267 0.787 1 1 0.3921 1.648 0.2316 0.4349 1.828 0.2568 json
t17_x3_u2_b39 17 3 2 39 div(P,lrg(D,frc(P))) 100319 138171861 o2(x,o2(x,o1(x))) true 119359 119359 0 0.5 1 1 1 -1 1 2 1 1 0.01587 0 0.007937 1 1 0 0.03175 0.01587 0.01581 0.1257 15.84 2 0.01587 0.03175 1 1 0.02105 0.08421 0.3368 0.02105 0.08421 0.3368 json
t17_x3_u2_b40 17 3 2 40 div(P,eql(D,frc(P))) 100320 138171862 o2(x,o2(x,o1(x))) true 119367 119367 -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
t17_x3_u2_b41 17 3 2 41 div(P,min(D,frc(P))) 100321 138171863 o2(x,o2(x,o1(x))) true 119375 119375 -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
t17_x3_u2_b42 17 3 2 42 div(P,dot(D,frc(P))) 100322 138171864 o2(x,o2(x,o1(x))) true 119383 119383 0 0.5 1 1 1 -1 1 2 1 1 0.01587 0 0.007937 1 1 0 0.03175 0.01587 0.01581 0.1257 15.84 2 0.01587 0.03175 1 1 0.02105 0.08421 0.3368 0.02105 0.08421 0.3368 json
t17_x3_u2_b43 17 3 2 43 div(P,dst(D,frc(P))) 100323 138171865 o2(x,o2(x,o1(x))) true 119391 119391 1.164e-10 0.5 0.9513 0.9437 0.9715 -1 1 2 1 1.558 0.001389 0.0000211 0.008008 0.9701 1 1.22e-10 0.000459 0.004047 0.001346 0.03668 4.581 0.2779 0.001494 0.0004864 1 1 0.003458 0.03249 0.261 0.003665 0.03442 0.2766 json
t17_x3_u2_b44 17 3 2 44 pow(P,add(D,frc(P))) 100324 138171866 o2(x,o2(x,o1(x))) true 119399 119399 -0.04929 0.5 0.9507 0.9255 0.962 -1 1 2 1 1.869 0.004731 0 0.0157 1 1 0.00001491 0.00822 0.01559 0.004484 0.06696 4.266 1 0.005112 0.008882 1 1 0.006841 0.04185 0.2717 0.007392 0.04522 0.2935 json
t17_x3_u2_b45 17 3 2 45 pow(P,sub(D,frc(P))) 100325 138171867 o2(x,o2(x,o1(x))) true 119407 119407 -0.04929 0.5 0.9507 0.9255 0.962 -1 1 2 1 1.869 0.004731 0 0.0157 1 1 0.00001491 0.00822 0.01559 0.004484 0.06696 4.266 1 0.005112 0.008882 1 1 0.006841 0.04185 0.2717 0.007392 0.04522 0.2935 json
t17_x3_u2_b46 17 3 2 46 pow(P,mlt(D,frc(P))) 100326 138171868 o2(x,o2(x,o1(x))) true 119415 119415 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
t17_x3_u2_b47 17 3 2 47 pow(P,div(D,frc(P))) 100327 138171869 o2(x,o2(x,o1(x))) true 119423 119423 -0.8125 0.125 0.9375 0.2638 0.5136 -1 0.9997 2 1 0.9693 0.008647 0 0.01587 1 1 -4.731e-10 0.01581 0.01762 0.008393 0.09162 5.772 1 0.03278 0.05991 1 1 0.01246 0.07929 0.4028 0.04721 0.3006 1.527 json
t17_x3_u2_b48 17 3 2 48 pow(P,pow(D,frc(P))) 100328 138171870 o2(x,o2(x,o1(x))) true 119431 119431 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
t17_x3_u2_b49 17 3 2 49 pow(P,mod(D,frc(P))) 100329 138171871 o2(x,o2(x,o1(x))) true 119439 119439 -0.04929 0.5 0.9507 0.9255 0.962 -1 1 2 1 1.869 0.004731 0 0.0157 1 1 0.00001491 0.00822 0.01559 0.004484 0.06696 4.266 1 0.005112 0.008882 1 1 0.006841 0.04185 0.2717 0.007392 0.04522 0.2935 json
t17_x3_u2_b50 17 3 2 50 pow(P,lrg(D,frc(P))) 100330 138171872 o2(x,o2(x,o1(x))) true 119447 119447 -0.03125 0.5 0.9688 0.9603 0.98 -1 1 2 1 1.406 0.004323 0 0.007937 1 1 -9.386e-13 0.007903 0.008812 0.004259 0.06526 8.223 1 0.004502 0.008229 1 1 0.006228 0.03975 0.2856 0.006485 0.04139 0.2974 json
t17_x3_u2_b51 17 3 2 51 pow(P,eql(D,frc(P))) 100331 138171873 o2(x,o2(x,o1(x))) true 119455 119455 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
t17_x3_u2_b52 17 3 2 52 pow(P,min(D,frc(P))) 100332 138171874 o2(x,o2(x,o1(x))) true 119463 119463 0.05527 0.5625 0.9303 0.8746 0.9352 -1 1 2 1 2.288 0.01673 0 0.02437 1 1 0.0003702 0.03192 0.0229 0.01614 0.127 5.212 2 0.01913 0.0365 1 1 0.02238 0.09287 0.3388 0.02558 0.1062 0.3874 json
t17_x3_u2_b53 17 3 2 53 pow(P,dot(D,frc(P))) 100333 138171875 o2(x,o2(x,o1(x))) true 119471 119471 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
t17_x3_u2_b54 17 3 2 54 pow(P,dst(D,frc(P))) 100334 138171876 o2(x,o2(x,o1(x))) true 119479 119479 -0.03125 0.5 0.9688 0.9603 0.98 -1 1 2 1 1.406 0.004323 0 0.007937 1 1 -9.386e-13 0.007903 0.008812 0.004259 0.06526 8.223 1 0.004502 0.008229 1 1 0.006228 0.03975 0.2856 0.006485 0.04139 0.2974 json
t17_x3_u2_b55 17 3 2 55 mod(P,add(D,frc(P))) 100335 138171877 o2(x,o2(x,o1(x))) true 119487 119487 -6.793e-12 0.4375 0.1373 0.02905 0.1704 -0.3853 0.3853 0.7705 1 3.434 0.007524 0 0.06604 1 1 0 0.01799 0.1023 0.003162 0.05623 0.8515 0.284 0.259 0.6191 1 1 0.005715 0.01626 0.008739 0.1967 0.5596 0.3008 json
t17_x3_u2_b56 17 3 2 56 mod(P,sub(D,frc(P))) 100336 138171878 o2(x,o2(x,o1(x))) true 119495 119495 -6.793e-12 0.4375 0.1373 0.02905 0.1704 -0.3853 0.3853 0.7705 1 3.434 0.007524 0 0.06604 1 1 0 0.01799 0.1023 0.003162 0.05623 0.8515 0.284 0.259 0.6191 1 1 0.005715 0.01626 0.008739 0.1967 0.5596 0.3008 json
t17_x3_u2_b57 17 3 2 57 mod(P,mlt(D,frc(P))) 100337 138171879 o2(x,o2(x,o1(x))) true 119503 119503 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
t17_x3_u2_b58 17 3 2 58 mod(P,div(D,frc(P))) 100338 138171880 o2(x,o2(x,o1(x))) true 119511 119511 -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
t17_x3_u2_b59 17 3 2 59 mod(P,pow(D,frc(P))) 100339 138171881 o2(x,o2(x,o1(x))) true 119519 119519 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
t17_x3_u2_b60 17 3 2 60 mod(P,mod(D,frc(P))) 100340 138171882 o2(x,o2(x,o1(x))) true 119527 119527 -6.793e-12 0.4375 0.1373 0.02905 0.1704 -0.3853 0.3853 0.7705 1 3.434 0.007524 0 0.06604 1 1 0 0.01799 0.1023 0.003162 0.05623 0.8515 0.284 0.259 0.6191 1 1 0.005715 0.01626 0.008739 0.1967 0.5596 0.3008 json
t17_x3_u2_b61 17 3 2 61 mod(P,lrg(D,frc(P))) 100341 138171883 o2(x,o2(x,o1(x))) true 119535 119535 -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
t17_x3_u2_b62 17 3 2 62 mod(P,eql(D,frc(P))) 100342 138171884 o2(x,o2(x,o1(x))) true 119543 119543 -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
t17_x3_u2_b63 17 3 2 63 mod(P,min(D,frc(P))) 100343 138171885 o2(x,o2(x,o1(x))) true 119551 119551 -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
t17_x3_u2_b64 17 3 2 64 mod(P,dot(D,frc(P))) 100344 138171886 o2(x,o2(x,o1(x))) true 119559 119559 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
t17_x3_u2_b65 17 3 2 65 mod(P,dst(D,frc(P))) 100345 138171887 o2(x,o2(x,o1(x))) true 119567 119567 9.61e-10 0.498 0.1984 0.05393 0.2322 -0.5917 0.5917 1.183 1 3.878 0.01563 0.01467 0.1428 0.0315 1 -2.393e-10 0.1414 0.2802 0.009923 0.09961 0.6978 0.5887 0.5619 2.621 1 1 0.01718 0.02754 0.01798 0.3186 0.5106 0.3333 json
t17_x3_u2_b66 17 3 2 66 lrg(P,add(D,frc(P))) 100346 138171888 o2(x,o2(x,o1(x))) true 119575 119575 0.5 0.5625 0.5 0.2365 0.4863 0 1 1 1 1.577 0.00467 0 0.0119 1 1 -4.731e-10 0.008068 0.009787 0.004528 0.06729 5.654 0.9994 0.01975 0.03412 1 1 0.007036 0.03244 0.06598 0.02976 0.1372 0.279 json
t17_x3_u2_b67 17 3 2 67 lrg(P,sub(D,frc(P))) 100347 138171889 o2(x,o2(x,o1(x))) true 119583 119583 0.5 0.5625 0.5 0.2365 0.4863 0 1 1 1 1.577 0.00467 0 0.0119 1 1 -4.731e-10 0.008068 0.009787 0.004528 0.06729 5.654 0.9994 0.01975 0.03412 1 1 0.007036 0.03244 0.06598 0.02976 0.1372 0.279 json
t17_x3_u2_b68 17 3 2 68 lrg(P,mlt(D,frc(P))) 100348 138171890 o2(x,o2(x,o1(x))) true 119591 119591 0.4688 0.5 0.4688 0.2423 0.4922 0 1 1 1 1.326 0.0003529 0 0.003968 1 1 -4.731e-10 0.00001619 0.0009276 0.0003372 0.01836 4.628 0.1169 0.001457 0.00006684 1 1 0.0009255 0.01214 0.0751 0.00382 0.05012 0.31 json
t17_x3_u2_b69 17 3 2 69 lrg(P,div(D,frc(P))) 100349 138171891 o2(x,o2(x,o1(x))) true 119599 119599 0.5 1 0.5 0.1418 0.3765 0.000291 0.9997 0.9994 1 3.406 0.06511 0 0.1228 1 1 0 0.1208 0.1337 0.05001 0.2236 1.821 0.9994 0.4593 0.8522 1 1 0.07073 0.2419 0 0.4989 1.706 0 json
t17_x3_u2_b70 17 3 2 70 lrg(P,pow(D,frc(P))) 100350 138171892 o2(x,o2(x,o1(x))) true 119607 119607 0.4063 0.4375 0.4063 0.2344 0.4842 0 1 1 1 1.302 0.0003529 0 0.003968 1 1 -4.731e-10 0.00001619 0.0009276 0.0003372 0.01836 4.628 0.1169 0.001505 0.00006906 1 1 0.0009255 0.01214 0.0751 0.003947 0.0518 0.3203 json
t17_x3_u2_b71 17 3 2 71 lrg(P,mod(D,frc(P))) 100351 138171893 o2(x,o2(x,o1(x))) true 119615 119615 0.5 0.5625 0.5 0.2365 0.4863 0 1 1 1 1.577 0.00467 0 0.0119 1 1 -4.731e-10 0.008068 0.009787 0.004528 0.06729 5.654 0.9994 0.01975 0.03412 1 1 0.007036 0.03244 0.06598 0.02976 0.1372 0.279 json
t17_x3_u2_b72 17 3 2 72 lrg(P,lrg(D,frc(P))) 100352 138171894 o2(x,o2(x,o1(x))) true 119623 119623 0.4375 0.5 0.4375 0.2326 0.4823 0 1 1 1 1.565 0.00467 0 0.0119 1 1 -4.731e-10 0.008068 0.009787 0.004528 0.06729 5.654 0.9994 0.02008 0.03469 1 1 0.007036 0.03244 0.06598 0.03025 0.1395 0.2837 json
t17_x3_u2_b73 17 3 2 73 lrg(P,eql(D,frc(P))) 100353 138171895 o2(x,o2(x,o1(x))) true 119631 119631 0.4688 0.5 0.4688 0.2423 0.4922 0 1 1 1 1.326 0.0003529 0 0.003968 1 1 -4.731e-10 0.00001619 0.0009276 0.0003372 0.01836 4.628 0.1169 0.001457 0.00006684 1 1 0.0009255 0.01214 0.0751 0.00382 0.05012 0.31 json
t17_x3_u2_b74 17 3 2 74 lrg(P,min(D,frc(P))) 100354 138171896 o2(x,o2(x,o1(x))) true 119639 119639 0.5 0.5625 0.5 0.2365 0.4863 0 1 1 1 1.577 0.00467 0 0.0119 1 1 -4.731e-10 0.008068 0.009787 0.004528 0.06729 5.654 0.9994 0.01975 0.03412 1 1 0.007036 0.03244 0.06598 0.02976 0.1372 0.279 json
t17_x3_u2_b75 17 3 2 75 lrg(P,dot(D,frc(P))) 100355 138171897 o2(x,o2(x,o1(x))) true 119647 119647 0.4688 0.5 0.4688 0.2423 0.4922 0 1 1 1 1.326 0.0003529 0 0.003968 1 1 -4.731e-10 0.00001619 0.0009276 0.0003372 0.01836 4.628 0.1169 0.001457 0.00006684 1 1 0.0009255 0.01214 0.0751 0.00382 0.05012 0.31 json
t17_x3_u2_b76 17 3 2 76 lrg(P,dst(D,frc(P))) 100356 138171898 o2(x,o2(x,o1(x))) true 119655 119655 0.4686 0.4976 0.4686 0.2422 0.4922 0 1 1 1 1.322 0.0003573 0.000001609 0.004104 0.991 1 6.962e-7 0.00003199 0.001255 0.0003423 0.0185 4.508 0.1234 0.001482 0.0001321 1 1 0.0009358 0.01221 0.07507 0.003863 0.05039 0.3099 json
t17_x3_u2_b77 17 3 2 77 eql(P,add(D,frc(P))) 100357 138171899 o2(x,o2(x,o1(x))) true 119663 119663 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
t17_x3_u2_b78 17 3 2 78 eql(P,sub(D,frc(P))) 100358 138171900 o2(x,o2(x,o1(x))) true 119671 119671 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
t17_x3_u2_b79 17 3 2 79 eql(P,mlt(D,frc(P))) 100359 138171901 o2(x,o2(x,o1(x))) true 119679 119679 0.0625 0.125 0.0625 0.04507 0.2123 0 0.9997 0.9997 1 0.8126 0.0007059 0 0.007934 1 1 -9.461e-10 0.00003241 0.001855 0.0006433 0.02536 3.197 0.1169 0.01566 0.0007193 1 1 0.001851 0.02408 0.06598 0.04107 0.5344 1.464 json
t17_x3_u2_b80 17 3 2 80 eql(P,div(D,frc(P))) 100360 138171902 o2(x,o2(x,o1(x))) true 119687 119687 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
t17_x3_u2_b81 17 3 2 81 eql(P,pow(D,frc(P))) 100361 138171903 o2(x,o2(x,o1(x))) true 119695 119695 0.0625 0.125 0.0625 0.04507 0.2123 0 0.9997 0.9997 1 0.8126 0.0007059 0 0.007934 1 1 -9.461e-10 0.00003241 0.001855 0.0006433 0.02536 3.197 0.1169 0.01566 0.0007193 1 1 0.001851 0.02408 0.06598 0.04107 0.5344 1.464 json
t17_x3_u2_b82 17 3 2 82 eql(P,mod(D,frc(P))) 100362 138171904 o2(x,o2(x,o1(x))) true 119703 119703 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
t17_x3_u2_b83 17 3 2 83 eql(P,lrg(D,frc(P))) 100363 138171905 o2(x,o2(x,o1(x))) true 119711 119711 0.0625 0.125 0.0625 0.04507 0.2123 0 0.9997 0.9997 1 0.8126 0.008638 0 0.01587 1 1 -4.731e-10 0.016 0.01772 0.008384 0.09157 5.77 0.9997 0.1917 0.3551 1 1 0.0123 0.05328 0.05687 0.2729 1.182 1.262 json
t17_x3_u2_b84 17 3 2 84 eql(P,eql(D,frc(P))) 100364 138171906 o2(x,o2(x,o1(x))) true 119719 119719 0.0625 0.125 0.0625 0.04507 0.2123 0 0.9997 0.9997 1 0.8126 0.0007059 0 0.007934 1 1 -9.461e-10 0.00003241 0.001855 0.0006433 0.02536 3.197 0.1169 0.01566 0.0007193 1 1 0.001851 0.02408 0.06598 0.04107 0.5344 1.464 json
t17_x3_u2_b85 17 3 2 85 eql(P,min(D,frc(P))) 100365 138171907 o2(x,o2(x,o1(x))) true 119727 119727 0.03125 0.0625 0.03125 0.02351 0.1533 0 0.9997 0.9997 1 0.459 0.004319 0 0.007934 1 1 -2.365e-10 0.008002 0.008862 0.004255 0.06523 8.221 0.9997 0.1837 0.3404 1 1 0.00615 0.02664 0.03299 0.2616 1.133 1.403 json
t17_x3_u2_b86 17 3 2 86 eql(P,dot(D,frc(P))) 100366 138171908 o2(x,o2(x,o1(x))) true 119735 119735 0.0625 0.125 0.0625 0.04507 0.2123 0 0.9997 0.9997 1 0.8126 0.0007059 0 0.007934 1 1 -9.461e-10 0.00003241 0.001855 0.0006433 0.02536 3.197 0.1169 0.01566 0.0007193 1 1 0.001851 0.02408 0.06598 0.04107 0.5344 1.464 json
t17_x3_u2_b87 17 3 2 87 eql(P,dst(D,frc(P))) 100367 138171909 o2(x,o2(x,o1(x))) true 119743 119743 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
t17_x3_u2_b88 17 3 2 88 min(P,add(D,frc(P))) 100368 138171910 o2(x,o2(x,o1(x))) true 119751 119751 -0.4866 0.2188 0.5279 0.2404 0.4903 -1 0.1454 1.145 1 2.671 0.00115 0 0.02195 1 1 0.0001582 0.000139 0.007881 0.0006688 0.02586 1.178 0.1105 0.004785 0.0005782 1 1 0.002476 0.02333 0.06805 0.0103 0.09702 0.283 json
t17_x3_u2_b89 17 3 2 89 min(P,sub(D,frc(P))) 100369 138171911 o2(x,o2(x,o1(x))) true 119759 119759 -0.4866 0.2188 0.5279 0.2404 0.4903 -1 0.1454 1.145 1 2.671 0.00115 0 0.02195 1 1 0.0001582 0.000139 0.007881 0.0006688 0.02586 1.178 0.1105 0.004785 0.0005782 1 1 0.002476 0.02333 0.06805 0.0103 0.09702 0.283 json
t17_x3_u2_b90 17 3 2 90 min(P,mlt(D,frc(P))) 100370 138171912 o2(x,o2(x,o1(x))) true 119767 119767 -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
t17_x3_u2_b91 17 3 2 91 min(P,div(D,frc(P))) 100371 138171913 o2(x,o2(x,o1(x))) true 119775 119775 -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
t17_x3_u2_b92 17 3 2 92 min(P,pow(D,frc(P))) 100372 138171914 o2(x,o2(x,o1(x))) true 119783 119783 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
t17_x3_u2_b93 17 3 2 93 min(P,mod(D,frc(P))) 100373 138171915 o2(x,o2(x,o1(x))) true 119791 119791 -0.4866 0.2188 0.5279 0.2404 0.4903 -1 0.1454 1.145 1 2.671 0.00115 0 0.02195 1 1 0.0001582 0.000139 0.007881 0.0006688 0.02586 1.178 0.1105 0.004785 0.0005782 1 1 0.002476 0.02333 0.06805 0.0103 0.09702 0.283 json
t17_x3_u2_b94 17 3 2 94 min(P,lrg(D,frc(P))) 100374 138171916 o2(x,o2(x,o1(x))) true 119799 119799 -0.25 0.4375 0.6875 0.5709 0.7556 -1 0.9997 2 1 3.025 0.03057 0 0.05947 1 1 -0.00008984 0.05632 0.06286 0.02704 0.1644 2.765 0.9997 0.05354 0.09866 1 1 0.03411 0.1283 0.1411 0.05974 0.2247 0.2471 json
t17_x3_u2_b95 17 3 2 95 min(P,eql(D,frc(P))) 100375 138171917 o2(x,o2(x,o1(x))) true 119807 119807 -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
t17_x3_u2_b96 17 3 2 96 min(P,min(D,frc(P))) 100376 138171918 o2(x,o2(x,o1(x))) true 119815 119815 -0.5492 0 0.5492 0.1838 0.4288 -1 -0.000282 0.9997 1 2.381 0.001057 0 0.02091 1 1 0.0002322 0.0001474 0.007591 0.0006198 0.0249 1.191 0.1105 0.00575 0.0008017 1 1 0.002283 0.02067 0.05807 0.01242 0.1125 0.3159 json
t17_x3_u2_b97 17 3 2 97 min(P,dot(D,frc(P))) 100377 138171919 o2(x,o2(x,o1(x))) true 119823 119823 -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
t17_x3_u2_b98 17 3 2 98 min(P,dst(D,frc(P))) 100378 138171920 o2(x,o2(x,o1(x))) true 119831 119831 -0.2607 0.5 0.6768 0.4958 0.7042 -1 0.7026 1.703 1 3.086 0.001303 0.000921 0.0325 0.1716 1 -0.0003317 0.0003309 0.01032 0.001167 0.03417 1.051 0.1169 0.004484 0.0006674 1 1 0.004447 0.03701 0.1282 0.008968 0.07464 0.2585 json
t17_x3_u2_b99 17 3 2 99 dot(P,add(D,frc(P))) 100379 138171921 o2(x,o2(x,o1(x))) true 119839 119839 -0.2397 0.3389 0.5376 0.3418 0.5846 -1 1 2 1 4.686 0.02744 0.02744 0.1913 -0.00001704 1 0.002662 0.0158 0.08103 0.0183 0.1353 0.7073 0.613 0.1606 0.04621 1 1 0.06843 0.4811 0.03707 0.2002 1.408 0.1085 json
t17_x3_u2_b100 17 3 2 100 dot(P,sub(D,frc(P))) 100380 138171922 o2(x,o2(x,o1(x))) true 119847 119847 -0.2397 0.3389 0.5376 0.3418 0.5846 -1 1 2 1 4.686 0.02744 0.02744 0.1913 -0.00001704 1 0.002662 0.0158 0.08103 0.0183 0.1353 0.7073 0.613 0.1606 0.04621 1 1 0.06843 0.4811 0.03707 0.2002 1.408 0.1085 json
t17_x3_u2_b101 17 3 2 101 dot(P,mlt(D,frc(P))) 100381 138171923 o2(x,o2(x,o1(x))) true 119855 119855 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
t17_x3_u2_b102 17 3 2 102 dot(P,div(D,frc(P))) 100382 138171924 o2(x,o2(x,o1(x))) true 119863 119863 -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
t17_x3_u2_b103 17 3 2 103 dot(P,pow(D,frc(P))) 100383 138171925 o2(x,o2(x,o1(x))) true 119871 119871 -1.583e-8 0.498 0.9392 0.9217 0.96 -1 1 2 1 1.917 0.0006889 0.0006889 0.01208 4.225e-7 1 -1.164e-10 0.0002289 0.003184 0.001231 0.03509 2.904 0.1653 0.001495 0.0002483 1 1 0.003512 0.04405 0.4161 0.003811 0.04779 0.4514 json
t17_x3_u2_b104 17 3 2 104 dot(P,mod(D,frc(P))) 100384 138171926 o2(x,o2(x,o1(x))) true 119879 119879 -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
t17_x3_u2_b105 17 3 2 105 dot(P,lrg(D,frc(P))) 100385 138171927 o2(x,o2(x,o1(x))) true 119887 119887 -0.08197 0.4531 0.8477 0.8034 0.8963 -1 1 2 1 2.738 0.07708 0.07708 0.1567 -0.000003238 1 -0.0005906 0.2791 0.2136 0.1296 0.36 2.298 2.043 0.1919 0.3474 1 1 0.1617 0.5743 0.2253 0.2013 0.7149 0.2804 json
t17_x3_u2_b106 17 3 2 106 dot(P,eql(D,frc(P))) 100386 138171928 o2(x,o2(x,o1(x))) true 119895 119895 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
t17_x3_u2_b107 17 3 2 107 dot(P,min(D,frc(P))) 100387 138171929 o2(x,o2(x,o1(x))) true 119903 119903 -0.0782 0.4515 0.6372 0.5303 0.7282 -1 1 2 1 4.28 0.01628 0.01628 0.1269 0.000004976 1 0.001021 0.01365 0.0685 0.01646 0.1283 1.011 0.6376 0.06141 0.02574 1 1 0.04533 0.2625 0.07073 0.08548 0.4951 0.1334 json
t17_x3_u2_b108 17 3 2 108 dot(P,dot(D,frc(P))) 100388 138171930 o2(x,o2(x,o1(x))) true 119911 119911 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
t17_x3_u2_b109 17 3 2 109 dot(P,dst(D,frc(P))) 100389 138171931 o2(x,o2(x,o1(x))) true 119919 119919 9.096e-8 0.498 0.835 0.7826 0.8846 -1 1 2 1 3.018 0.004435 0.004435 0.0409 -1.05e-7 1 -1.558e-9 0.01091 0.03194 0.007199 0.08485 2.074 0.7824 0.01133 0.01395 1 1 0.01504 0.06551 0.22 0.01922 0.08371 0.2811 json
t17_x3_u2_b110 17 3 2 110 dst(P,add(D,frc(P))) 100390 138171932 o2(x,o2(x,o1(x))) true 119927 119927 0.9987 1 0.9987 0.0006951 0.02637 0.04531 1 0.9547 1 0.04216 0.00003371 0.00003371 0.0005271 1.079e-7 0 -1.314e-11 0.00002519 0.0003152 0.00006724 0.0082 15.56 0.1796 0.097 0.03624 1 1 0.0002218 0.001933 0.002533 0.3191 2.781 3.643 json
t17_x3_u2_b111 17 3 2 111 dst(P,sub(D,frc(P))) 100391 138171933 o2(x,o2(x,o1(x))) true 119935 119935 0.9987 1 0.9987 0.0006951 0.02637 0.04531 1 0.9547 1 0.04216 0.00003371 0.00003371 0.0005271 1.079e-7 0 -1.314e-11 0.00002519 0.0003152 0.00006724 0.0082 15.56 0.1796 0.097 0.03624 1 1 0.0002218 0.001933 0.002533 0.3191 2.781 3.643 json
t17_x3_u2_b112 17 3 2 112 dst(P,mlt(D,frc(P))) 100392 138171934 o2(x,o2(x,o1(x))) true 119943 119943 0.9964 1 0.9964 0.002289 0.04784 0.000582 1 0.9994 1 0.09109 0.00003966 0.00003966 0.0008105 5.503e-7 0 -4.881e-11 0.00001004 0.0002297 0.00007859 0.008865 10.94 0.1294 0.03466 0.004388 1 1 0.0002733 0.00336 0.008351 0.1194 1.468 3.649 json
t17_x3_u2_b113 17 3 2 113 dst(P,div(D,frc(P))) 100393 138171935 o2(x,o2(x,o1(x))) true 119951 119951 -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
t17_x3_u2_b114 17 3 2 114 dst(P,pow(D,frc(P))) 100394 138171936 o2(x,o2(x,o1(x))) true 119959 119959 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
t17_x3_u2_b115 17 3 2 115 dst(P,mod(D,frc(P))) 100395 138171937 o2(x,o2(x,o1(x))) true 119967 119967 -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
t17_x3_u2_b116 17 3 2 116 dst(P,lrg(D,frc(P))) 100396 138171938 o2(x,o2(x,o1(x))) true 119975 119975 0.9983 1 0.9983 0.001197 0.0346 0.001164 1 0.9988 1 0.04274 0.0003368 0.0003368 0.001213 8.642e-8 1 5.256e-11 0.001367 0.001701 0.0006715 0.02591 21.37 1.413 0.5625 1.141 1 1 0.001324 0.004363 0.004363 1.106 3.643 3.643 json
t17_x3_u2_b117 17 3 2 117 dst(P,eql(D,frc(P))) 100397 138171939 o2(x,o2(x,o1(x))) true 119983 119983 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
t17_x3_u2_b118 17 3 2 118 dst(P,min(D,frc(P))) 100398 138171940 o2(x,o2(x,o1(x))) true 119991 119991 0.9979 1 0.9979 0.001165 0.03413 0.001146 1 0.9989 1 0.06515 0.0000354 0.0000354 0.0006552 -1.541e-7 0 6.758e-11 0.00001687 0.0002838 0.0000704 0.008391 12.81 0.1818 0.0608 0.01448 1 1 0.0002389 0.002466 0.004238 0.2051 2.117 3.639 json
t17_x3_u2_b119 17 3 2 119 dst(P,dot(D,frc(P))) 100399 138171941 o2(x,o2(x,o1(x))) true 119999 119999 0.9964 1 0.9964 0.002289 0.04784 0.000582 1 0.9994 1 0.09109 0.00003966 0.00003966 0.0008105 5.503e-7 0 -4.881e-11 0.00001004 0.0002297 0.00007859 0.008865 10.94 0.1294 0.03466 0.004388 1 1 0.0002733 0.00336 0.008351 0.1194 1.468 3.649 json