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
t12_x7_u2_b41 12 7 2 41 frc(div(P,min(R,D))) 25400 97730462 o1(o2(x,o2(x,x))) true 33047 33047 0.4267 0.9853 0.4267 0.06544 0.2558 0 0.9999 0.9999 1 3.879 0.05394 0.0005418 0.1507 0.9801 1 -0.0005051 0.1445 0.2479 0.03177 0.1783 1.183 0.9996 0.8325 2.208 1 1 0.03474 0.06131 0.09209 0.5309 0.9368 1.407 json
t12_x7_u2_b42 12 7 2 42 frc(div(P,dot(R,D))) 25401 97730463 o1(o2(x,o2(x,x))) true 33055 33055 0.4687 0.9981 0.4687 0.05908 0.2431 0.00000494 0.9988 0.9988 1 3.901 0.09554 0.09603 0.3757 -0.002551 1 -0.0002711 0.9621 0.7818 0.05041 0.2245 0.5976 1.355 3.242 16.28 1 1 0.0934 0.09955 0.1086 1.581 1.685 1.838 json
t12_x7_u2_b43 12 7 2 43 frc(div(P,dst(R,D))) 25402 97730464 o1(o2(x,o2(x,x))) true 33063 33063 0.4686 0.9977 0.4686 0.06038 0.2457 0.00000278 0.9987 0.9987 1 3.909 0.06043 0.06054 0.2536 -0.0009258 1 0.0002307 0.5221 0.4548 0.05667 0.2381 0.9388 1.369 2.003 8.648 1 1 0.07503 0.1045 0.1109 1.243 1.73 1.837 json
t12_x7_u2_b44 12 7 2 44 frc(pow(P,add(R,D))) 25403 97730465 o1(o2(x,o2(x,x))) true 33071 33071 -0.3403 0.4369 0.7242 0.5231 0.7232 -1 0.9936 1.994 1 2.778 0.02406 0.001466 0.0661 0.8851 1 -0.0002194 0.06437 0.09314 0.02116 0.1455 2.201 1.414 0.04879 0.1231 1 1 0.0206 0.05609 0.2099 0.03938 0.1072 0.4013 json
t12_x7_u2_b45 12 7 2 45 frc(pow(P,sub(R,D))) 25404 97730466 o1(o2(x,o2(x,x))) true 33079 33079 -0.3617 0.4367 0.7511 0.5348 0.7313 -1 0.9936 1.994 1 2.682 0.02632 0.0009173 0.06792 0.9327 1 -0.0003537 0.06731 0.09907 0.02263 0.1504 2.215 1.414 0.05094 0.1259 1 1 0.02294 0.06328 0.2172 0.0429 0.1183 0.4062 json
t12_x7_u2_b46 12 7 2 46 frc(pow(P,mlt(R,D))) 25405 97730467 o1(o2(x,o2(x,x))) true 33087 33087 -0.3357 0.4367 0.7581 0.5766 0.7593 -1 0.9997 2 1 2.778 0.02262 0.002101 0.05192 0.8301 1 -0.0000164 0.05102 0.06327 0.02202 0.1484 2.858 1.414 0.04288 0.08848 1 1 0.02615 0.09132 0.2464 0.04535 0.1584 0.4273 json
t12_x7_u2_b47 12 7 2 47 frc(pow(P,div(R,D))) 25406 97730468 o1(o2(x,o2(x,x))) true 33095 33095 -0.4176 0.4279 0.6762 0.4364 0.6606 -1 0.9857 1.986 1 2.592 0.02622 0.001812 0.07251 0.8707 1 -0.000177 0.07194 0.1152 0.02277 0.1509 2.081 1.414 0.06424 0.1649 1 1 0.02177 0.06559 0.1967 0.04989 0.1503 0.4509 json
t12_x7_u2_b48 12 7 2 48 frc(pow(P,pow(R,D))) 25407 97730469 o1(o2(x,o2(x,x))) true 33103 33103 -0.9742 0.007568 0.9789 0.02869 0.1694 -1 0.9332 1.933 1 0.1992 0.003576 0.002945 0.006603 0.09669 1 -0.0000526 0.01417 0.01241 0.006474 0.08046 12.18 1.933 0.2273 0.4941 1 1 0.00482 0.01928 0.05719 0.168 0.672 1.993 json
t12_x7_u2_b49 12 7 2 49 frc(pow(P,mod(R,D))) 25408 97730470 o1(o2(x,o2(x,x))) true 33111 33111 -0.3153 0.437 0.7784 0.6106 0.7814 -1 0.9979 1.998 1 2.78 0.01048 0.0021 0.04639 0.6661 1 -0.0001127 0.02723 0.06729 0.01043 0.1021 2.201 1.414 0.0206 0.04459 1 1 0.01294 0.07101 0.2675 0.02119 0.1163 0.4381 json
t12_x7_u2_b50 12 7 2 50 frc(pow(P,lrg(R,D))) 25409 97730471 o1(o2(x,o2(x,x))) true 33119 33119 -0.3977 0.1303 0.4949 0.3226 0.568 -1 1 2 1 1.7 0.01726 0.003995 0.02911 0.6241 1 0.000002301 0.04672 0.04575 0.02041 0.1429 4.909 1.414 0.06588 0.1448 1 1 0.02106 0.07684 0.2007 0.06527 0.2382 0.622 json
t12_x7_u2_b51 12 7 2 51 frc(pow(P,eql(R,D))) 25410 97730472 o1(o2(x,o2(x,x))) true 33127 33127 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
t12_x7_u2_b52 12 7 2 52 frc(pow(P,min(R,D))) 25411 97730473 o1(o2(x,o2(x,x))) true 33135 33135 -0.336 0.4375 0.7578 0.5589 0.7476 -1 0.9946 1.995 1 2.729 0.01347 0.001699 0.0372 0.776 1 0.0002139 0.03221 0.04251 0.01379 0.1174 3.157 1.414 0.02714 0.05762 1 1 0.01599 0.05665 0.2297 0.02862 0.1014 0.4109 json
t12_x7_u2_b53 12 7 2 53 frc(pow(P,dot(R,D))) 25412 97730474 o1(o2(x,o2(x,x))) true 33143 33143 -0.333 0.4366 0.7611 0.5755 0.7586 -1 0.9997 2 1 2.785 0.02023 0.01715 0.07143 0.08242 1 0.00001718 0.1275 0.1125 0.03229 0.1797 2.516 1.414 0.06496 0.2216 1 1 0.03577 0.09763 0.2337 0.06216 0.1696 0.4061 json
t12_x7_u2_b54 12 7 2 54 frc(pow(P,dst(R,D))) 25413 97730475 o1(o2(x,o2(x,x))) true 33151 33151 -0.2958 0.4362 0.7042 0.5344 0.731 -1 0.9997 2 1 2.908 0.03669 0.03351 0.1373 0.04531 1 -0.0001824 0.3169 0.2638 0.05134 0.2266 1.65 1.329 0.1314 0.5931 1 1 0.04079 0.06405 0.1683 0.07634 0.1199 0.3149 json
t12_x7_u2_b55 12 7 2 55 frc(mod(P,add(R,D))) 25414 97730476 o1(o2(x,o2(x,x))) true 33159 33159 0.4568 0.9832 0.4568 0.098 0.3131 0 0.9997 0.9997 1 3.937 0.03741 0.0004684 0.1404 0.9753 1 -0.0001996 0.1081 0.2221 0.01817 0.1348 0.9602 0.9846 0.3865 1.103 1 1 0.02258 0.04746 0.09542 0.2304 0.4843 0.9737 json
t12_x7_u2_b56 12 7 2 56 frc(mod(P,sub(R,D))) 25415 97730477 o1(o2(x,o2(x,x))) true 33167 33167 0.4592 0.98 0.4592 0.09759 0.3124 0 0.9997 0.9997 1 3.942 0.03668 0.0004693 0.1388 0.9747 1 0.00008335 0.1052 0.2182 0.01789 0.1337 0.9637 0.9646 0.3807 1.078 1 1 0.0221 0.04832 0.0947 0.2264 0.4951 0.9704 json
t12_x7_u2_b57 12 7 2 57 frc(mod(P,mlt(R,D))) 25416 97730478 o1(o2(x,o2(x,x))) true 33175 33175 0.4682 0.9958 0.4682 0.1842 0.4292 1.289e-7 0.9999 0.9999 1 2.765 0.003016 0.00003063 0.03874 0.9799 1 0.00007075 0.00715 0.0578 0.001546 0.03932 1.015 0.3029 0.01654 0.03881 1 1 0.002719 0.0169 0.06583 0.01476 0.09171 0.3573 json
t12_x7_u2_b58 12 7 2 58 frc(mod(P,div(R,D))) 25417 97730479 o1(o2(x,o2(x,x))) true 33183 33183 0.3205 0.9141 0.3205 0.08576 0.2928 0 0.9973 0.9973 1 3.524 0.06585 0.0006548 0.1731 0.9803 1 -0.0002941 0.1774 0.2851 0.03653 0.1911 1.104 0.997 0.7754 2.069 1 1 0.04224 0.09192 0.09971 0.4925 1.072 1.163 json
t12_x7_u2_b59 12 7 2 59 frc(mod(P,pow(R,D))) 25418 97730480 o1(o2(x,o2(x,x))) true 33191 33191 -0.9369 0.03906 0.9772 0.09278 0.3046 -1 0.9951 1.995 1 0.4221 0.01094 0.009091 0.01754 0.0924 1 0.00006573 0.04246 0.03019 0.01973 0.1405 8.008 1.995 0.2159 0.4577 1 1 0.01494 0.06234 0.1507 0.161 0.6719 1.624 json
t12_x7_u2_b60 12 7 2 60 frc(mod(P,mod(R,D))) 25419 97730481 o1(o2(x,o2(x,x))) true 33199 33199 0.4702 0.9957 0.4702 0.1871 0.4325 1.109e-7 0.9999 0.9999 1 2.704 0.003446 0.0000273 0.04015 0.9843 1 -0.00005542 0.00841 0.06175 0.001861 0.04314 1.075 0.3146 0.01856 0.04496 1 1 0.002869 0.01632 0.06549 0.01533 0.08722 0.3501 json
t12_x7_u2_b61 12 7 2 61 frc(mod(P,lrg(R,D))) 25420 97730482 o1(o2(x,o2(x,x))) true 33207 33207 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
t12_x7_u2_b62 12 7 2 62 frc(mod(P,eql(R,D))) 25421 97730483 o1(o2(x,o2(x,x))) true 33215 33215 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
t12_x7_u2_b63 12 7 2 63 frc(mod(P,min(R,D))) 25422 97730484 o1(o2(x,o2(x,x))) true 33223 33223 0.4466 0.9846 0.4466 0.1143 0.3381 0 0.9993 0.9993 1 3.741 0.03066 0.0003228 0.08004 0.9792 1 -7.061e-7 0.07454 0.1276 0.02458 0.1568 1.959 0.9988 0.2711 0.6522 1 1 0.02267 0.04058 0.08301 0.1984 0.3551 0.7263 json
t12_x7_u2_b64 12 7 2 64 frc(mod(P,dot(R,D))) 25423 97730485 o1(o2(x,o2(x,x))) true 33231 33231 0.4688 0.9961 0.4688 0.1586 0.3982 0 0.9999 0.9999 1 3.226 0.005764 0.005504 0.08373 0.02302 1 0.00002491 0.05438 0.1658 0.004258 0.06525 0.7794 0.57 0.07105 0.3429 1 1 0.006679 0.0218 0.0621 0.04211 0.1375 0.3916 json
t12_x7_u2_b65 12 7 2 65 frc(mod(P,dst(R,D))) 25424 97730486 o1(o2(x,o2(x,x))) true 33239 33239 0.4314 0.9309 0.4314 0.07284 0.2699 0 0.9988 0.9988 1 3.887 0.0412 0.04108 0.2015 0.001519 1 0.0002784 0.3391 0.3552 0.04167 0.2041 1.013 1.373 1.13 4.655 1 1 0.05304 0.0903 0.117 0.7281 1.24 1.606 json
t12_x7_u2_b66 12 7 2 66 frc(lrg(P,add(R,D))) 25425 97730487 o1(o2(x,o2(x,x))) true 33247 33247 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
t12_x7_u2_b67 12 7 2 67 frc(lrg(P,sub(R,D))) 25426 97730488 o1(o2(x,o2(x,x))) true 33255 33255 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
t12_x7_u2_b68 12 7 2 68 frc(lrg(P,mlt(R,D))) 25427 97730489 o1(o2(x,o2(x,x))) true 33263 33263 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
t12_x7_u2_b69 12 7 2 69 frc(lrg(P,div(R,D))) 25428 97730490 o1(o2(x,o2(x,x))) true 33271 33271 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
t12_x7_u2_b70 12 7 2 70 frc(lrg(P,pow(R,D))) 25429 97730491 o1(o2(x,o2(x,x))) true 33279 33279 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
t12_x7_u2_b71 12 7 2 71 frc(lrg(P,mod(R,D))) 25430 97730492 o1(o2(x,o2(x,x))) true 33287 33287 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
t12_x7_u2_b72 12 7 2 72 frc(lrg(P,lrg(R,D))) 25431 97730493 o1(o2(x,o2(x,x))) true 33295 33295 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
t12_x7_u2_b73 12 7 2 73 frc(lrg(P,eql(R,D))) 25432 97730494 o1(o2(x,o2(x,x))) true 33303 33303 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
t12_x7_u2_b74 12 7 2 74 frc(lrg(P,min(R,D))) 25433 97730495 o1(o2(x,o2(x,x))) true 33311 33311 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
t12_x7_u2_b75 12 7 2 75 frc(lrg(P,dot(R,D))) 25434 97730496 o1(o2(x,o2(x,x))) true 33319 33319 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
t12_x7_u2_b76 12 7 2 76 frc(lrg(P,dst(R,D))) 25435 97730497 o1(o2(x,o2(x,x))) true 33327 33327 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
t12_x7_u2_b77 12 7 2 77 frc(eql(P,add(R,D))) 25436 97730498 o1(o2(x,o2(x,x))) true 33335 33335 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
t12_x7_u2_b78 12 7 2 78 frc(eql(P,sub(R,D))) 25437 97730499 o1(o2(x,o2(x,x))) true 33343 33343 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
t12_x7_u2_b79 12 7 2 79 frc(eql(P,mlt(R,D))) 25438 97730500 o1(o2(x,o2(x,x))) true 33351 33351 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
t12_x7_u2_b80 12 7 2 80 frc(eql(P,div(R,D))) 25439 97730501 o1(o2(x,o2(x,x))) true 33359 33359 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
t12_x7_u2_b81 12 7 2 81 frc(eql(P,pow(R,D))) 25440 97730502 o1(o2(x,o2(x,x))) true 33367 33367 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
t12_x7_u2_b82 12 7 2 82 frc(eql(P,mod(R,D))) 25441 97730503 o1(o2(x,o2(x,x))) true 33375 33375 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
t12_x7_u2_b83 12 7 2 83 frc(eql(P,lrg(R,D))) 25442 97730504 o1(o2(x,o2(x,x))) true 33383 33383 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
t12_x7_u2_b84 12 7 2 84 frc(eql(P,eql(R,D))) 25443 97730505 o1(o2(x,o2(x,x))) true 33391 33391 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
t12_x7_u2_b85 12 7 2 85 frc(eql(P,min(R,D))) 25444 97730506 o1(o2(x,o2(x,x))) true 33399 33399 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
t12_x7_u2_b86 12 7 2 86 frc(eql(P,dot(R,D))) 25445 97730507 o1(o2(x,o2(x,x))) true 33407 33407 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
t12_x7_u2_b87 12 7 2 87 frc(eql(P,dst(R,D))) 25446 97730508 o1(o2(x,o2(x,x))) true 33415 33415 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
t12_x7_u2_b88 12 7 2 88 frc(min(P,add(R,D))) 25447 97730509 o1(o2(x,o2(x,x))) true 33423 33423 0.2536 0.5726 0.2536 0.08426 0.2903 0 0.9959 0.9959 1 2.992 0.01875 0.0004165 0.06031 0.9565 1 -0.0004965 0.04 0.06581 0.01554 0.1247 2.067 0.9709 0.2275 0.4747 1 1 0.01837 0.04977 0.0747 0.218 0.5907 0.8865 json
t12_x7_u2_b89 12 7 2 89 frc(min(P,sub(R,D))) 25448 97730510 o1(o2(x,o2(x,x))) true 33431 33431 0.2533 0.5362 0.2533 0.08625 0.2937 0 0.9959 0.9959 1 2.947 0.01928 0.0004258 0.05932 0.9568 1 -0.0001473 0.04143 0.06678 0.01619 0.1273 2.145 0.97 0.2285 0.4803 1 1 0.01852 0.04941 0.07542 0.2148 0.5729 0.8744 json
t12_x7_u2_b90 12 7 2 90 frc(min(P,mlt(R,D))) 25449 97730511 o1(o2(x,o2(x,x))) true 33439 33439 0.2598 0.5365 0.2598 0.1107 0.3327 0 0.9998 0.9998 1 2.873 0.02369 0.0008566 0.05442 0.9302 1 0.00001627 0.04892 0.0578 0.02158 0.1469 2.7 0.9995 0.2218 0.4421 1 1 0.02686 0.09473 0.124 0.2427 0.856 1.121 json
t12_x7_u2_b91 12 7 2 91 frc(min(P,div(R,D))) 25450 97730512 o1(o2(x,o2(x,x))) true 33447 33447 0.2547 0.6575 0.2547 0.0814 0.2853 0 0.9978 0.9978 1 3.098 0.06841 0.0006524 0.1634 0.9811 1 -0.0001054 0.1871 0.2745 0.04235 0.2058 1.259 0.9976 0.8484 2.299 1 1 0.04763 0.08285 0.1064 0.5852 1.018 1.307 json
t12_x7_u2_b92 12 7 2 92 frc(min(P,pow(R,D))) 25451 97730513 o1(o2(x,o2(x,x))) true 33455 33455 0.101 0.3819 0.101 0.04955 0.2226 0 0.9988 0.9988 1 1.695 0.01223 0.0004777 0.03463 0.9248 1 -0.000137 0.02612 0.037 0.01151 0.1073 3.098 0.9979 0.2564 0.5271 1 1 0.0123 0.04792 0.06393 0.2482 0.967 1.29 json
t12_x7_u2_b93 12 7 2 93 frc(min(P,mod(R,D))) 25452 97730514 o1(o2(x,o2(x,x))) true 33463 33463 0.2782 0.544 0.2782 0.1208 0.3476 0 0.9991 0.9991 1 2.89 0.004379 0.0008821 0.04099 0.6647 1 -0.0000143 0.009305 0.05087 0.003581 0.05984 1.46 0.5005 0.04356 0.07703 1 1 0.006159 0.05406 0.1265 0.05099 0.4475 1.047 json
t12_x7_u2_b94 12 7 2 94 frc(min(P,lrg(R,D))) 25453 97730515 o1(o2(x,o2(x,x))) true 33471 33471 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
t12_x7_u2_b95 12 7 2 95 frc(min(P,eql(R,D))) 25454 97730516 o1(o2(x,o2(x,x))) true 33479 33479 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
t12_x7_u2_b96 12 7 2 96 frc(min(P,min(R,D))) 25455 97730517 o1(o2(x,o2(x,x))) true 33487 33487 0.2523 0.5576 0.2523 0.087 0.2949 0 0.9968 0.9968 1 2.987 0.01228 0.0003233 0.0379 0.9487 1 0.0001488 0.02534 0.03346 0.01117 0.1057 2.789 0.9685 0.1449 0.2912 1 1 0.01324 0.0439 0.06154 0.1522 0.5046 0.7074 json
t12_x7_u2_b97 12 7 2 97 frc(min(P,dot(R,D))) 25456 97730518 o1(o2(x,o2(x,x))) true 33495 33495 0.2582 0.5434 0.2582 0.1023 0.3198 0 0.9997 0.9997 1 2.94 0.01779 0.01679 0.06807 0.02907 1 0.00009617 0.1168 0.09586 0.02995 0.1731 2.542 1.405 0.3381 1.142 1 1 0.03536 0.09724 0.1107 0.3458 0.9507 1.082 json
t12_x7_u2_b98 12 7 2 98 frc(min(P,dst(R,D))) 25457 97730519 o1(o2(x,o2(x,x))) true 33503 33503 0.2175 0.4634 0.2175 0.08527 0.292 0 0.9986 0.9986 1 2.674 0.01071 0.0109 0.04932 -0.008743 1 -0.0002178 0.0704 0.06899 0.01918 0.1385 2.808 1.372 0.2534 0.8256 1 1 0.02205 0.0629 0.08209 0.2586 0.7377 0.9627 json
t12_x7_u2_b99 12 7 2 99 frc(dot(P,add(R,D))) 25458 97730520 o1(o2(x,o2(x,x))) true 33511 33511 0.498 1 0.498 0.05122 0.2263 0.0001691 0.9992 0.999 1 3.845 0.09961 0.1001 0.3894 -0.002275 1 -0.0002546 0.991 0.7684 0.04802 0.2191 0.5627 1.312 3.899 19.35 1 1 0.1121 0.08679 0.1025 2.189 1.695 2.002 json
t12_x7_u2_b100 12 7 2 100 frc(dot(P,sub(R,D))) 25459 97730521 o1(o2(x,o2(x,x))) true 33519 33519 0.4979 1 0.4979 0.05123 0.2263 0.0001327 0.9997 0.9996 1 3.846 0.09964 0.09989 0.3888 -0.00125 1 0.0002451 0.9903 0.7679 0.04834 0.2199 0.5655 1.293 3.895 19.33 1 1 0.1121 0.08654 0.1026 2.188 1.689 2.003 json
t12_x7_u2_b101 12 7 2 101 frc(dot(P,mlt(R,D))) 25460 97730522 o1(o2(x,o2(x,x))) true 33527 33527 0.4978 1 0.4978 0.05672 0.2382 0.0001017 0.9993 0.9992 1 3.897 0.06155 0.06134 0.2616 0.001748 1 -0.0001118 0.479 0.4477 0.05446 0.2334 0.8921 1.387 2.167 8.445 1 1 0.08345 0.1144 0.1175 1.471 2.017 2.071 json
t12_x7_u2_b102 12 7 2 102 frc(dot(P,div(R,D))) 25461 97730523 o1(o2(x,o2(x,x))) true 33535 33535 0.4983 1 0.4983 0.05108 0.226 0.0001083 0.9987 0.9986 1 3.842 0.0955 0.094 0.378 0.007874 1 -0.0004643 0.9234 0.774 0.04662 0.2159 0.5712 1.32 3.71 18.08 1 1 0.09387 0.09797 0.1034 1.838 1.918 2.024 json
t12_x7_u2_b103 12 7 2 103 frc(dot(P,pow(R,D))) 25462 97730524 o1(o2(x,o2(x,x))) true 33543 33543 -0.9942 0.003906 0.998 0.008856 0.09411 -1 0.971 1.971 1 0.05203 0.001331 0.001573 0.00262 -0.08341 1 -6.758e-11 0.007953 0.005035 0.002892 0.05378 20.53 2.526 0.3279 0.898 1 1 0.004642 0.01656 0.03114 0.5242 1.87 3.516 json
t12_x7_u2_b104 12 7 2 104 frc(dot(P,mod(R,D))) 25463 97730525 o1(o2(x,o2(x,x))) true 33551 33551 0.4922 1 0.4922 0.05584 0.2363 0.0001509 0.9975 0.9974 1 3.89 0.05961 0.06152 0.2756 -0.01579 1 -0.0001067 0.5022 0.5217 0.04516 0.2125 0.771 1.322 2.169 8.993 1 1 0.06721 0.09953 0.1139 1.204 1.782 2.039 json
t12_x7_u2_b105 12 7 2 105 frc(dot(P,lrg(R,D))) 25464 97730526 o1(o2(x,o2(x,x))) true 33559 33559 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
t12_x7_u2_b106 12 7 2 106 frc(dot(P,eql(R,D))) 25465 97730527 o1(o2(x,o2(x,x))) true 33567 33567 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
t12_x7_u2_b107 12 7 2 107 frc(dot(P,min(R,D))) 25466 97730528 o1(o2(x,o2(x,x))) true 33575 33575 0.4957 0.9999 0.4957 0.05087 0.2256 0.00001819 0.9992 0.9992 1 3.838 0.04864 0.05078 0.2461 -0.02147 1 -0.00004962 0.3885 0.4258 0.03888 0.1972 0.8013 1.326 1.954 7.637 1 1 0.05947 0.06937 0.1005 1.169 1.364 1.976 json
t12_x7_u2_b108 12 7 2 108 frc(dot(P,dot(R,D))) 25467 97730529 o1(o2(x,o2(x,x))) true 33583 33583 0.4686 1 0.4686 0.06088 0.2467 0.0000337 0.9997 0.9997 1 3.921 0.06979 0.07059 0.2842 -0.005734 1 -0.0000467 0.6438 0.5245 0.05961 0.2442 0.8591 1.405 2.306 10.57 1 1 0.0859 0.1154 0.1261 1.411 1.896 2.071 json
t12_x7_u2_b109 12 7 2 109 frc(dot(P,dst(R,D))) 25468 97730530 o1(o2(x,o2(x,x))) true 33591 33591 0.4713 0.9999 0.4713 0.05735 0.2395 0.00001686 0.9994 0.9994 1 3.895 0.06914 0.07087 0.2859 -0.01232 1 -0.0001126 0.6383 0.528 0.05826 0.2414 0.8442 1.371 2.441 11.13 1 1 0.08294 0.1031 0.1192 1.446 1.797 2.078 json
t12_x7_u2_b110 12 7 2 110 frc(dst(P,add(R,D))) 25469 97730531 o1(o2(x,o2(x,x))) true 33599 33599 0.5017 1 0.5017 0.05048 0.2247 0.0005585 0.9997 0.9991 1 3.838 0.0236 0.02414 0.1208 -0.01126 1 -0.0002405 0.1618 0.1598 0.03314 0.1821 1.507 1.359 0.9458 3.206 1 1 0.0459 0.1154 0.09961 0.9094 2.286 1.973 json
t12_x7_u2_b111 12 7 2 111 frc(dst(P,sub(R,D))) 25470 97730532 o1(o2(x,o2(x,x))) true 33607 33607 0.4969 1 0.4969 0.05185 0.2277 0.001406 0.9997 0.9983 1 3.851 0.02437 0.02407 0.1216 0.006168 1 -0.0002361 0.1644 0.1606 0.03364 0.1834 1.508 1.359 0.9342 3.171 1 1 0.04728 0.1174 0.1073 0.9118 2.265 2.07 json
t12_x7_u2_b112 12 7 2 112 frc(dst(P,mlt(R,D))) 25471 97730533 o1(o2(x,o2(x,x))) true 33615 33615 0.4632 1 0.4632 0.05615 0.2369 0.001101 0.999 0.9979 1 3.885 0.01464 0.01451 0.07894 0.004531 1 -0.0001788 0.08527 0.09561 0.02292 0.1514 1.918 1.391 0.5192 1.519 1 1 0.03075 0.1006 0.1119 0.5477 1.793 1.992 json
t12_x7_u2_b113 12 7 2 113 frc(dst(P,div(R,D))) 25472 97730534 o1(o2(x,o2(x,x))) true 33623 33623 -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
t12_x7_u2_b114 12 7 2 114 frc(dst(P,pow(R,D))) 25473 97730535 o1(o2(x,o2(x,x))) true 33631 33631 -0.9941 0.003906 0.9981 0.009106 0.09542 -1 0.9489 1.949 1 0.05164 0.001274 0.001179 0.001954 0.03881 1 -8.635e-11 0.005704 0.003599 0.002447 0.04947 25.32 2.537 0.2694 0.6264 1 1 0.004225 0.01705 0.03223 0.464 1.873 3.539 json
t12_x7_u2_b115 12 7 2 115 frc(dst(P,mod(R,D))) 25474 97730536 o1(o2(x,o2(x,x))) true 33639 33639 0.4539 1 0.4539 0.05471 0.2339 0.002395 0.9992 0.9968 1 3.869 0.02538 0.02609 0.1296 -0.01381 1 -0.0008769 0.1783 0.2237 0.03466 0.1862 1.436 1.359 0.9407 3.258 1 1 0.03166 0.07276 0.1028 0.5788 1.33 1.879 json
t12_x7_u2_b116 12 7 2 116 frc(dst(P,lrg(R,D))) 25475 97730537 o1(o2(x,o2(x,x))) true 33647 33647 0.3671 0.9848 0.3671 0.05587 0.2364 0 0.9499 0.9499 1 3.764 0.002604 0.002796 0.03541 -0.03569 1 -0.00005663 0.009314 0.03575 0.004146 0.06439 1.818 0.8528 0.09664 0.1667 1 1 0.005959 0.03744 0.09919 0.1066 0.6702 1.775 json
t12_x7_u2_b117 12 7 2 117 frc(dst(P,eql(R,D))) 25476 97730538 o1(o2(x,o2(x,x))) true 33655 33655 0.3306 0.9857 0.3306 0.055 0.2345 3.509e-8 0.9439 0.9439 1 3.672 0.0005557 0.000659 0.02654 -0.08504 1 -3.91e-7 0.0003749 0.006497 0.0005101 0.02259 0.8508 0.5302 0.02209 0.006817 1 1 0.002155 0.02676 0.097 0.03917 0.4866 1.764 json
t12_x7_u2_b118 12 7 2 118 frc(dst(P,min(R,D))) 25477 97730539 o1(o2(x,o2(x,x))) true 33663 33663 0.4835 1 0.4835 0.05307 0.2304 0.001889 0.9987 0.9968 1 3.859 0.01324 0.0133 0.08022 -0.002216 1 -0.0003257 0.07059 0.0895 0.0201 0.1418 1.768 1.352 0.5001 1.33 1 1 0.02543 0.081 0.09797 0.4792 1.526 1.846 json
t12_x7_u2_b119 12 7 2 119 frc(dst(P,dot(R,D))) 25478 97730540 o1(o2(x,o2(x,x))) true 33671 33671 0.4908 1 0.4908 0.05353 0.2314 0.0003341 0.9996 0.9993 1 3.866 0.01828 0.01886 0.09336 -0.01548 1 -0.00003951 0.1277 0.1229 0.02843 0.1686 1.806 1.4 0.6939 2.385 1 1 0.03876 0.1058 0.112 0.7241 1.977 2.092 json
t12_x7_u2_b120 12 7 2 120 frc(dst(P,dst(R,D))) 25479 97730541 o1(o2(x,o2(x,x))) true 33679 33679 0.487 1 0.487 0.05049 0.2247 0.0005927 0.9993 0.9987 1 3.832 0.01708 0.01784 0.09154 -0.02169 1 0.0001696 0.1159 0.1222 0.02654 0.1629 1.779 1.398 0.6915 2.296 1 1 0.03418 0.0908 0.1015 0.677 1.798 2.01 json
t12_x7_u3_b0 12 7 3 0 flr(add(P,add(R,D))) 25480 97730622 o1(o2(x,o2(x,x))) true 33687 33687 -0.05543 0.4705 0.9446 0.9281 0.9634 -1 1 2 1 1.782 0.004594 0.0004097 0.01493 0.8362 1 -0.00002039 0.008229 0.01577 0.004781 0.06915 4.63 0.9997 0.005391 0.008867 1 1 0.007854 0.05269 0.2783 0.008462 0.05677 0.2999 json
t12_x7_u3_b1 12 7 3 1 flr(add(P,sub(R,D))) 25481 97730623 o1(o2(x,o2(x,x))) true 33695 33695 -0.05556 0.4744 0.9466 0.9282 0.9635 -1 1 2 1 1.811 0.004989 0.0004196 0.01902 0.8448 1 -0.00001971 0.008333 0.01837 0.005049 0.07106 3.736 0.9983 0.005827 0.008977 1 1 0.008507 0.05318 0.2766 0.009164 0.05729 0.298 json
t12_x7_u3_b2 12 7 3 2 flr(add(P,mlt(R,D))) 25482 97730624 o1(o2(x,o2(x,x))) true 33703 33703 -0.06257 0.4632 0.9386 0.9212 0.9598 -1 1 2 1 1.818 0.00702 0.0002737 0.01584 0.9249 1 -4.44e-7 0.01277 0.01603 0.007038 0.08389 5.295 1 0.007917 0.01386 1 1 0.01098 0.05911 0.2623 0.01192 0.06417 0.2847 json
t12_x7_u3_b3 12 7 3 3 flr(add(P,div(R,D))) 25483 97730625 o1(o2(x,o2(x,x))) true 33711 33711 -0.04932 0.4772 0.9507 0.9319 0.9653 -1 1 2 1 1.802 0.3236 0.02098 0.2135 0.8782 1 -0.0002655 0.8145 0.3744 0.2991 0.5469 2.562 2.828 0.3698 0.8741 1 1 0.343 0.7526 0.8235 0.3681 0.8076 0.8837 json
t12_x7_u3_b4 12 7 3 4 flr(add(P,pow(R,D))) 25484 97730626 o1(o2(x,o2(x,x))) true 33719 33719 -0.979 0.009766 0.9946 0.035 0.1871 -1 1 2 1 0.1634 0.002991 0.004175 0.005352 -0.1653 1 6.007e-11 0.01465 0.00879 0.007139 0.08449 15.79 2.828 0.2048 0.4187 1 1 0.002392 0.01197 0.0373 0.06835 0.3422 1.066 json
t12_x7_u3_b5 12 7 3 5 flr(add(P,mod(R,D))) 25485 97730627 o1(o2(x,o2(x,x))) true 33727 33727 -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
t12_x7_u3_b6 12 7 3 6 flr(add(P,lrg(R,D))) 25486 97730628 o1(o2(x,o2(x,x))) true 33735 33735 0.06314 0.5275 0.9321 0.9133 0.9557 -1 1 2 1 1.872 0.002589 0.0002254 0.01394 0.8398 1 -0.00001332 0.003498 0.009582 0.00262 0.05118 3.673 0.9986 0.003081 0.00383 1 1 0.005541 0.04145 0.2565 0.006067 0.04538 0.2809 json
t12_x7_u3_b7 12 7 3 7 flr(add(P,eql(R,D))) 25487 97730629 o1(o2(x,o2(x,x))) true 33743 33743 0.00004008 0.5 0.9375 0.924 0.9613 -1 1 2 1 1.813 0.0007197 1.509e-7 0.007967 0.9996 1 1.17e-7 0.00007637 0.001971 0.0006566 0.02562 3.216 0.4213 0.0007791 0.00008264 1 1 0.001851 0.02449 0.2344 0.002003 0.0265 0.2537 json
t12_x7_u3_b8 12 7 3 8 flr(add(P,min(R,D))) 25488 97730630 o1(o2(x,o2(x,x))) true 33751 33751 -0.0918 0.4375 0.9434 0.9256 0.9621 -1 1 2 1 1.667 0.004134 0.0001404 0.009243 0.9343 1 -0.000008557 0.007737 0.009674 0.004191 0.06474 7.004 1 0.004618 0.008359 1 1 0.006031 0.03796 0.2585 0.006516 0.04101 0.2793 json
t12_x7_u3_b9 12 7 3 9 flr(add(P,dot(R,D))) 25489 97730631 o1(o2(x,o2(x,x))) true 33759 33759 -0.06232 0.4607 0.9372 0.9195 0.9589 -1 1 2 1 1.835 0.005416 0.003989 0.01878 0.1518 1 -0.00004289 0.02793 0.02438 0.009059 0.09518 5.067 1.418 0.01023 0.03037 1 1 0.01367 0.06579 0.2595 0.01486 0.07155 0.2822 json
t12_x7_u3_b10 12 7 3 10 flr(add(P,dst(R,D))) 25490 97730632 o1(o2(x,o2(x,x))) true 33767 33767 0.07242 0.5346 0.9336 0.9141 0.9561 -1 1 2 1 1.847 0.003305 0.002631 0.01626 0.1135 1 -0.00001309 0.01553 0.01798 0.005674 0.07533 4.634 1.403 0.006494 0.01699 1 1 0.01022 0.05912 0.2571 0.01118 0.06468 0.2812 json
t12_x7_u3_b11 12 7 3 11 flr(sub(P,add(R,D))) 25491 97730633 o1(o2(x,o2(x,x))) true 33775 33775 -0.06942 0.4662 0.9284 0.9087 0.9533 -1 1 2 1 1.904 0.005652 0.0004702 0.02054 0.8464 1 0.00002293 0.009921 0.01997 0.005704 0.07552 3.678 0.9983 0.006738 0.01092 1 1 0.009251 0.05652 0.2625 0.01018 0.0622 0.2888 json
t12_x7_u3_b12 12 7 3 12 flr(sub(P,sub(R,D))) 25492 97730634 o1(o2(x,o2(x,x))) true 33783 33783 -0.07006 0.462 0.9314 0.9115 0.9547 -1 1 2 1 1.88 0.005294 0.0004608 0.01641 0.8399 1 0.00002259 0.009933 0.01763 0.005489 0.07409 4.516 1.113 0.006314 0.0109 1 1 0.008345 0.0525 0.2685 0.009156 0.05759 0.2946 json
t12_x7_u3_b13 12 7 3 13 flr(sub(P,mlt(R,D))) 25493 97730635 o1(o2(x,o2(x,x))) true 33791 33791 -0.06222 0.4759 0.9377 0.9191 0.9587 -1 1 2 1 1.851 0.007208 0.0002815 0.0172 0.9248 1 -0.000002143 0.01282 0.01638 0.007196 0.08483 4.933 1 0.00815 0.01395 1 1 0.01117 0.06078 0.2584 0.01215 0.06613 0.2812 json
t12_x7_u3_b14 12 7 3 14 flr(sub(P,div(R,D))) 25494 97730636 o1(o2(x,o2(x,x))) true 33799 33799 -0.05367 0.4741 0.9474 0.9275 0.9631 -1 1 2 1 1.834 0.324 0.02097 0.2151 0.8785 1 -0.0007951 0.8137 0.3755 0.2987 0.5465 2.541 2.828 0.3719 0.8773 1 1 0.3453 0.7581 0.8222 0.3723 0.8174 0.8865 json
t12_x7_u3_b15 12 7 3 15 flr(sub(P,pow(R,D))) 25495 97730637 o1(o2(x,o2(x,x))) true 33807 33807 -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
t12_x7_u3_b16 12 7 3 16 flr(sub(P,mod(R,D))) 25496 97730638 o1(o2(x,o2(x,x))) true 33815 33815 -0.06541 0.4608 0.9287 0.9116 0.9548 -1 1 2 1 1.855 0.0009844 0.0002879 0.01003 0.5475 1 0.00001926 0.0001808 0.003033 0.001171 0.03422 3.413 0.2338 0.001396 0.0001983 1 1 0.00338 0.04008 0.2523 0.003707 0.04397 0.2768 json
t12_x7_u3_b17 12 7 3 17 flr(sub(P,lrg(R,D))) 25497 97730639 o1(o2(x,o2(x,x))) true 33823 33823 -0.067 0.4548 0.9271 0.9111 0.9545 -1 1 2 1 1.812 0.00248 0.000243 0.01004 0.8215 1 0.00001554 0.003616 0.007898 0.002622 0.05121 5.099 1.113 0.002988 0.003969 1 1 0.005236 0.04179 0.2547 0.005747 0.04587 0.2796 json
t12_x7_u3_b18 12 7 3 18 flr(sub(P,eql(R,D))) 25498 97730640 o1(o2(x,o2(x,x))) true 33831 33831 -0.00004007 0.5 0.9375 0.924 0.9612 -1 1 2 1 1.813 0.0007211 1.509e-7 0.007968 0.9996 1 -1.171e-7 0.00007649 0.001967 0.0006578 0.02565 3.219 0.4319 0.0007805 0.00008278 1 1 0.001851 0.02449 0.2344 0.002003 0.02651 0.2537 json
t12_x7_u3_b19 12 7 3 19 flr(sub(P,min(R,D))) 25499 97730641 o1(o2(x,o2(x,x))) true 33839 33839 -0.03249 0.4839 0.935 0.9187 0.9585 -1 1 2 1 1.882 0.005565 0.0001359 0.01727 0.9523 1 0.000008556 0.008168 0.01271 0.005406 0.07352 4.256 0.9991 0.006206 0.008891 1 1 0.009422 0.05341 0.2431 0.01026 0.05814 0.2647 json