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_x24_u1_b54 17 24 1 54 pow(R,dst(R,log(P))) 118000 139020096 o2(x,o2(x,o1(x))) true 104007 104007 -0.9922 0 0.9922 0.007751 0.08804 -1 0 1 1 0.06591 0.0007559 0.0009448 0.001691 -0.1111 1 0 0.00359 0.003401 0.001698 0.0412 24.36 1.414 0.2194 0.4632 1 1 0.0002216 0.001551 0.00687 0.02859 0.2001 0.8863 json
t17_x24_u1_b55 17 24 1 55 mod(R,add(R,log(P))) 118001 139020097 o2(x,o2(x,o1(x))) true 104015 104015 -0.5377 0.2202 0.6915 0.3354 0.5791 -1 0.9806 1.981 1 2.98 0.005247 0.0008696 0.02627 0.7156 1 0.000006848 0.008851 0.01308 0.005427 0.07367 2.804 1.698 0.01823 0.02639 1 1 0.008303 0.05955 0.2101 0.02476 0.1775 0.6263 json
t17_x24_u1_b56 17 24 1 56 mod(R,sub(R,log(P))) 118002 139020098 o2(x,o2(x,o1(x))) true 104023 104023 -0.6138 0.1671 0.7013 0.2555 0.5055 -1 0.9276 1.928 1 2.985 0.005187 0.0009243 0.02661 0.6975 1 0.000007607 0.008873 0.01323 0.005402 0.0735 2.762 1.698 0.02391 0.03472 1 1 0.008359 0.05756 0.1517 0.03271 0.2253 0.5934 json
t17_x24_u1_b57 17 24 1 57 mod(R,mlt(R,log(P))) 118003 139020099 o2(x,o2(x,o1(x))) true 104031 104031 -0.64 0.1637 0.7611 0.2889 0.5375 -1 0.9806 1.981 1 2.729 0.004808 0.0009748 0.02565 0.6629 1 0.00002132 0.007871 0.01281 0.005126 0.0716 2.792 1.293 0.02002 0.02725 1 1 0.008258 0.06288 0.2204 0.02859 0.2177 0.763 json
t17_x24_u1_b58 17 24 1 58 mod(R,div(R,log(P))) 118004 139020100 o2(x,o2(x,o1(x))) true 104039 104039 -0.6329 0.1656 0.6794 0.2394 0.4893 -1 0.9556 1.956 1 2.313 0.004489 0.0002453 0.01331 0.8964 1 0.000004483 0.008659 0.009529 0.004559 0.06752 5.074 1.956 0.01977 0.03617 1 1 0.005973 0.03037 0.1115 0.02495 0.1269 0.4658 json
t17_x24_u1_b59 17 24 1 59 mod(R,pow(R,log(P))) 118005 139020101 o2(x,o2(x,o1(x))) true 104047 104047 -0.9903 0.007141 0.9945 0.01261 0.1123 -1 0.9161 1.916 1 0.09317 0.00125 0.001196 0.002074 0.02175 1 -0.000002061 0.005081 0.003615 0.002441 0.04941 23.83 1.898 0.194 0.4031 1 1 0 0 0.01087 0 0 0.8623 json
t17_x24_u1_b60 17 24 1 60 mod(R,mod(R,log(P))) 118006 139020102 o2(x,o2(x,o1(x))) true 104055 104055 -0.6248 0.0789 0.6466 0.2433 0.4933 -1 0.9089 1.909 1 1.722 0.004405 0.000145 0.008683 0.9363 1 0.00000314 0.008557 0.00924 0.004474 0.06688 7.703 1.393 0.0187 0.03517 1 1 0.006438 0.0308 0.1018 0.02646 0.1266 0.4183 json
t17_x24_u1_b61 17 24 1 61 mod(R,lrg(R,log(P))) 118007 139020103 o2(x,o2(x,o1(x))) true 104063 104063 -0.4608 0.276 0.691 0.3872 0.6223 -1 0.9693 1.969 1 3.501 0.008635 0.004296 0.03896 0.3356 1 0.00002662 0.02053 0.02058 0.01141 0.1068 2.742 2.698 0.0334 0.05302 1 1 0.0171 0.1207 0.314 0.04417 0.3116 0.811 json
t17_x24_u1_b62 17 24 1 62 mod(R,eql(R,log(P))) 118008 139020104 o2(x,o2(x,o1(x))) true 104071 104071 -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_x24_u1_b63 17 24 1 63 mod(R,min(R,log(P))) 118009 139020105 o2(x,o2(x,o1(x))) true 104079 104079 -0.1983 0.1688 0.2445 0.1686 0.4106 -1 0.9089 1.909 1 2.656 0.009759 0.0006878 0.02053 0.8683 1 0.00000268 0.01973 0.0203 0.01003 0.1001 4.877 1.898 0.06196 0.117 1 1 0.01438 0.06937 0.2226 0.08528 0.4114 1.32 json
t17_x24_u1_b64 17 24 1 64 mod(R,dot(R,log(P))) 118010 139020106 o2(x,o2(x,o1(x))) true 104087 104087 -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_x24_u1_b65 17 24 1 65 mod(R,dst(R,log(P))) 118011 139020107 o2(x,o2(x,o1(x))) true 104095 104095 -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_x24_u1_b66 17 24 1 66 lrg(R,add(R,log(P))) 118012 139020108 o2(x,o2(x,o1(x))) true 104103 104103 0.5313 0.5625 0.5313 0.2423 0.4922 0 1 1 1 1.326 0.0003529 0 0.003968 1 1 -4.731e-10 0.00001619 0.0009276 0.0003372 0.01836 4.628 0.1169 0.001457 0.00006684 1 1 0.0009255 0.01214 0.0751 0.00382 0.05012 0.31 json
t17_x24_u1_b67 17 24 1 67 lrg(R,sub(R,log(P))) 118013 139020109 o2(x,o2(x,o1(x))) true 104111 104111 0.875 0.9375 0.875 0.09585 0.3096 0 1 1 1 1.067 0.0007059 0 0.007937 1 1 -9.461e-10 0.00003238 0.001855 0.0006432 0.02536 3.195 0.1169 0.007364 0.0003379 1 1 0.001851 0.02429 0.1411 0.01931 0.2534 1.472 json
t17_x24_u1_b68 17 24 1 68 lrg(R,mlt(R,log(P))) 118014 139020110 o2(x,o2(x,o1(x))) true 104119 104119 0.7539 0.9895 0.7539 0.1296 0.3601 0 1 1 1 2.428 0.001231 0.001326 0.02996 -0.03701 1 -0.00001569 0.0001518 0.007299 0.001661 0.04075 1.36 0.1169 0.01973 0.001171 1 1 0.005301 0.06887 0.1834 0.04089 0.5313 1.414 json
t17_x24_u1_b69 17 24 1 69 lrg(R,div(R,log(P))) 118015 139020111 o2(x,o2(x,o1(x))) true 104127 104127 0.707 0.9454 0.707 0.1523 0.3903 0 1 1 1 2.51 0.001171 0.001316 0.02919 -0.05829 1 0.000004283 0.0001494 0.007132 0.001636 0.04045 1.386 0.1169 0.01633 0.0009807 1 1 0.005067 0.06588 0.1911 0.03327 0.4325 1.254 json
t17_x24_u1_b70 17 24 1 70 lrg(R,pow(R,log(P))) 118016 139020112 o2(x,o2(x,o1(x))) true 104135 104135 0.8848 0.9768 0.8848 0.08275 0.2877 0 1 1 1 1.213 0.0006234 0.0002984 0.0108 0.3527 1 0.00001141 0.00005055 0.002595 0.0008055 0.02838 2.627 0.1169 0.01114 0.0006108 1 1 0.002425 0.03159 0.1346 0.02931 0.3818 1.627 json
t17_x24_u1_b71 17 24 1 71 lrg(R,mod(R,log(P))) 118017 139020113 o2(x,o2(x,o1(x))) true 104143 104143 0.5996 0.6361 0.5996 0.2322 0.4819 0 1 1 1 1.345 0.0003384 0.00005267 0.004475 0.7307 1 0.000005704 0.00001932 0.001055 0.0003708 0.01926 4.303 0.1169 0.001684 0.00008318 1 1 0.001014 0.01329 0.07916 0.004366 0.05724 0.3409 json
t17_x24_u1_b72 17 24 1 72 lrg(R,lrg(R,log(P))) 118018 139020114 o2(x,o2(x,o1(x))) true 104151 104151 0.1699 0.3732 0.1699 0.09968 0.3157 0 1 1 1 1.925 0.0008526 0.001004 0.02192 -0.08129 1 -0.00001853 0.0001139 0.005364 0.001376 0.0371 1.693 0.1169 0.01862 0.001143 1 1 0.003221 0.04193 0.1261 0.03231 0.4206 1.265 json
t17_x24_u1_b73 17 24 1 73 lrg(R,eql(R,log(P))) 118019 139020115 o2(x,o2(x,o1(x))) true 104159 104159 0.4824 0.9147 0.4824 0.1537 0.3921 0 1 1 1 3.429 0.001972 0.002442 0.05168 -0.1065 1 -0.00001781 0.0002592 0.01257 0.001744 0.04176 0.8079 0.1169 0.02872 0.001686 1 1 0.008731 0.1124 0.2862 0.0568 0.7316 1.862 json
t17_x24_u1_b74 17 24 1 74 lrg(R,min(R,log(P))) 118020 139020116 o2(x,o2(x,o1(x))) true 104167 104167 0.1074 0.1932 0.1074 0.07755 0.2785 0 1 1 1 1.157 0.0006646 0.000233 0.01037 0.4809 1 -0.000005705 0.00004671 0.002468 0.0007898 0.0281 2.711 0.1169 0.01157 0.0006023 1 1 0.00236 0.03069 0.119 0.03043 0.3957 1.535 json
t17_x24_u1_b75 17 24 1 75 lrg(R,dot(R,log(P))) 118021 139020117 o2(x,o2(x,o1(x))) true 104175 104175 0.8662 0.9883 0.8662 0.08829 0.2971 0 1 1 1 1.481 0.0006821 0.0005814 0.0148 0.07969 1 -0.00001355 0.00007438 0.003588 0.001044 0.03232 2.184 0.1169 0.01431 0.0008424 1 1 0.002614 0.03405 0.1025 0.02961 0.3857 1.161 json
t17_x24_u1_b76 17 24 1 76 lrg(R,dst(R,log(P))) 118022 139020118 o2(x,o2(x,o1(x))) true 104183 104183 0.7178 0.75 0.7178 0.1955 0.4422 0 1 1 1 1.198 0.0001852 0.0001852 0.004184 0.000001493 1 -5.533e-10 0.00001725 0.0009791 0.0003528 0.01878 4.489 0.1169 0.001895 0.00008821 1 1 0.0009865 0.01294 0.08005 0.005046 0.06621 0.4094 json
t17_x24_u1_b77 17 24 1 77 eql(R,add(R,log(P))) 118023 139020119 o2(x,o2(x,o1(x))) true 104191 104191 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_x24_u1_b78 17 24 1 78 eql(R,sub(R,log(P))) 118024 139020120 o2(x,o2(x,o1(x))) true 104199 104199 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_x24_u1_b79 17 24 1 79 eql(R,mlt(R,log(P))) 118025 139020121 o2(x,o2(x,o1(x))) true 104207 104207 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_x24_u1_b80 17 24 1 80 eql(R,div(R,log(P))) 118026 139020122 o2(x,o2(x,o1(x))) true 104215 104215 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_x24_u1_b81 17 24 1 81 eql(R,pow(R,log(P))) 118027 139020123 o2(x,o2(x,o1(x))) true 104223 104223 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_x24_u1_b82 17 24 1 82 eql(R,mod(R,log(P))) 118028 139020124 o2(x,o2(x,o1(x))) true 104231 104231 0.3965 0.4364 0.3965 0.2309 0.4805 0 1 1 1 1.369 0.0003287 0.00008778 0.004813 0.5785 1 -0.000005705 0.00002148 0.001143 0.0003932 0.01983 4.12 0.1169 0.001804 0.00009304 1 1 0.001058 0.01389 0.07982 0.004582 0.06017 0.3457 json
t17_x24_u1_b83 17 24 1 83 eql(R,lrg(R,log(P))) 118029 139020125 o2(x,o2(x,o1(x))) true 104239 104239 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_x24_u1_b84 17 24 1 84 eql(R,eql(R,log(P))) 118030 139020126 o2(x,o2(x,o1(x))) true 104247 104247 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_x24_u1_b85 17 24 1 85 eql(R,min(R,log(P))) 118031 139020127 o2(x,o2(x,o1(x))) true 104255 104255 0.8926 0.9783 0.8926 0.07755 0.2785 0 1 1 1 1.157 0.0006646 0.000233 0.01037 0.4809 1 0.000005703 0.00004671 0.002468 0.0007898 0.0281 2.711 0.1169 0.01157 0.0006023 1 1 0.00236 0.03069 0.119 0.03043 0.3957 1.535 json
t17_x24_u1_b86 17 24 1 86 eql(R,dot(R,log(P))) 118032 139020128 o2(x,o2(x,o1(x))) true 104263 104263 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_x24_u1_b87 17 24 1 87 eql(R,dst(R,log(P))) 118033 139020129 o2(x,o2(x,o1(x))) true 104271 104271 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_x24_u1_b88 17 24 1 88 min(R,add(R,log(P))) 118034 139020130 o2(x,o2(x,o1(x))) true 104279 104279 -0.12 0.4324 0.4674 0.3015 0.5491 -1 0.9806 1.981 1 4.761 0.01585 0.002792 0.06406 0.7005 1 0.00004824 0.0275 0.03166 0.01454 0.1206 1.882 1.943 0.06184 0.09123 1 1 0.02584 0.1831 0.5035 0.0857 0.6074 1.67 json
t17_x24_u1_b89 17 24 1 89 min(R,sub(R,log(P))) 118035 139020131 o2(x,o2(x,o1(x))) true 104287 104287 -0.3493 0.32 0.6129 0.3723 0.6102 -1 0.9693 1.969 1 4.175 0.002289 0.002238 0.04508 0.0114 1 0.00001499 0.0003536 0.01125 0.002494 0.04994 1.108 0.2777 0.01216 0.0009497 1 1 0.009765 0.1217 0.324 0.02623 0.3269 0.8701 json
t17_x24_u1_b90 17 24 1 90 min(R,mlt(R,log(P))) 118036 139020132 o2(x,o2(x,o1(x))) true 104295 104295 -0.1475 0.4004 0.4615 0.2879 0.5366 -1 0.9804 1.98 1 4.764 0.00883 0.004154 0.06457 0.3601 1 0.00006024 0.01457 0.02614 0.008815 0.09389 1.454 1.898 0.0451 0.0506 1 1 0.01992 0.169 0.4829 0.06921 0.5869 1.677 json
t17_x24_u1_b91 17 24 1 91 min(R,div(R,log(P))) 118037 139020133 o2(x,o2(x,o1(x))) true 104303 104303 -0.1187 0.4272 0.4264 0.2574 0.5073 -1 0.9693 1.969 1 4.798 0.006798 0.007484 0.06126 -0.04804 1 0.00004083 0.01944 0.02761 0.01053 0.1026 1.675 2.061 0.05549 0.07554 1 1 0.01837 0.1602 0.4779 0.07138 0.6224 1.857 json
t17_x24_u1_b92 17 24 1 92 min(R,pow(R,log(P))) 118038 139020134 o2(x,o2(x,o1(x))) true 104311 104311 -0.006926 0.4848 0.3846 0.2113 0.4597 -0.9989 0.9693 1.968 1 4.847 0.002684 0.003037 0.06163 -0.06177 1 0.00002815 0.0003344 0.01411 0.001922 0.04384 0.7113 0.2301 0.02707 0.001582 1 1 0.01145 0.1471 0.3774 0.05419 0.6959 1.786 json
t17_x24_u1_b93 17 24 1 93 min(R,mod(R,log(P))) 118039 139020135 o2(x,o2(x,o1(x))) true 104319 104319 0.004918 0.4959 0.3918 0.2171 0.466 -0.9989 0.9806 1.979 1 4.857 0.002774 0.003107 0.06257 -0.05669 1 0.00002256 0.0003449 0.01435 0.001967 0.04435 0.7088 0.2301 0.02708 0.001588 1 1 0.01154 0.1482 0.386 0.05315 0.6827 1.777 json
t17_x24_u1_b94 17 24 1 94 min(R,lrg(R,log(P))) 118040 139020136 o2(x,o2(x,o1(x))) true 104327 104327 -0.07827 0.3326 0.3531 0.1868 0.4322 -0.9989 0.9693 1.968 1 4.689 0.002129 0.002478 0.05284 -0.07576 1 0.00001887 0.0002653 0.0121 0.001814 0.04259 0.806 0.2301 0.02466 0.001421 1 1 0.009336 0.1194 0.2969 0.04999 0.6394 1.59 json
t17_x24_u1_b95 17 24 1 95 min(R,eql(R,log(P))) 118041 139020137 o2(x,o2(x,o1(x))) true 104335 104335 -0.2541 0 0.2541 0.06549 0.2559 -0.9989 0 0.9989 1 3.542 0.000768 0.0009295 0.0314 -0.09514 1 0.00001332 0.00009988 0.007359 0.0007117 0.02668 0.8497 0.1168 0.02592 0.001525 1 1 0.003123 0.04017 0.1061 0.04769 0.6134 1.62 json
t17_x24_u1_b96 17 24 1 96 min(R,min(R,log(P))) 118042 139020138 o2(x,o2(x,o1(x))) true 104343 104343 -0.1341 0.4149 0.4588 0.2914 0.5398 -1 0.9806 1.981 1 4.746 0.01151 0.002675 0.06077 0.623 1 0.00005143 0.01902 0.02807 0.0105 0.1024 1.686 1.898 0.04869 0.06526 1 1 0.02072 0.1608 0.4758 0.0711 0.5517 1.633 json
t17_x24_u1_b97 17 24 1 97 min(R,dot(R,log(P))) 118043 139020139 o2(x,o2(x,o1(x))) true 104351 104351 -0.2416 0.3759 0.5498 0.3576 0.598 -1 0.9806 1.981 1 4.478 0.007224 0.009325 0.05669 -0.127 1 0.00003436 0.02513 0.02781 0.01334 0.1155 2.037 2.64 0.04628 0.07029 1 1 0.0257 0.1814 0.483 0.07188 0.5072 1.351 json
t17_x24_u1_b98 17 24 1 98 min(R,dst(R,log(P))) 118044 139020140 o2(x,o2(x,o1(x))) true 104359 104359 0.008979 0.4983 0.3946 0.2196 0.4686 -0.9989 0.9806 1.979 1 4.862 0.002813 0.00317 0.0632 -0.05957 1 0.00002651 0.0003508 0.01449 0.001989 0.0446 0.7057 0.2301 0.02725 0.001598 1 1 0.01182 0.1519 0.3914 0.05384 0.6917 1.782 json
t17_x24_u1_b99 17 24 1 99 dot(R,add(R,log(P))) 118045 139020141 o2(x,o2(x,o1(x))) true 104367 104367 -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_x24_u1_b100 17 24 1 100 dot(R,sub(R,log(P))) 118046 139020142 o2(x,o2(x,o1(x))) true 104375 104375 -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_x24_u1_b101 17 24 1 101 dot(R,mlt(R,log(P))) 118047 139020143 o2(x,o2(x,o1(x))) true 104383 104383 -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_x24_u1_b102 17 24 1 102 dot(R,div(R,log(P))) 118048 139020144 o2(x,o2(x,o1(x))) true 104391 104391 -0.8054 0.1406 0.9134 0.2373 0.4872 -1 1 2 1 1.09 0.004276 0.002948 0.008397 0.1838 1 0.000009887 0.01418 0.009833 0.007153 0.08457 10.07 2 0.03044 0.05976 1 1 0.008998 0.03756 0.1312 0.03791 0.1583 0.5529 json
t17_x24_u1_b103 17 24 1 103 dot(R,pow(R,log(P))) 118049 139020145 o2(x,o2(x,o1(x))) true 104399 104399 -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_x24_u1_b104 17 24 1 104 dot(R,mod(R,log(P))) 118050 139020146 o2(x,o2(x,o1(x))) true 104407 104407 -0.7505 0.1406 0.9683 0.3884 0.6232 -1 1 2 1 1.028 0.005048 0.004939 0.009419 0.01095 1 -0.000003671 0.0196 0.01194 0.009897 0.09948 10.56 2 0.02572 0.05048 1 1 0.01224 0.05106 0.2096 0.03152 0.1315 0.5397 json
t17_x24_u1_b105 17 24 1 105 dot(R,lrg(R,log(P))) 118051 139020147 o2(x,o2(x,o1(x))) true 104415 104415 0.06444 0.552 0.4941 0.3415 0.5844 -1 1 2 1 4.865 0.005116 0.005829 0.07868 -0.06522 1 0.00004366 0.001371 0.02064 0.004755 0.06896 0.8764 0.4552 0.03205 0.004015 1 1 0.02293 0.2685 0.6342 0.06714 0.7862 1.857 json
t17_x24_u1_b106 17 24 1 106 dot(R,eql(R,log(P))) 118052 139020148 o2(x,o2(x,o1(x))) true 104423 104423 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_x24_u1_b107 17 24 1 107 dot(R,min(R,log(P))) 118053 139020149 o2(x,o2(x,o1(x))) true 104431 104431 -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_x24_u1_b108 17 24 1 108 dot(R,dot(R,log(P))) 118054 139020150 o2(x,o2(x,o1(x))) true 104439 104439 -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_x24_u1_b109 17 24 1 109 dot(R,dst(R,log(P))) 118055 139020151 o2(x,o2(x,o1(x))) true 104447 104447 -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_x24_u1_b110 17 24 1 110 dst(R,add(R,log(P))) 118056 139020152 o2(x,o2(x,o1(x))) true 104455 104455 -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_x24_u1_b111 17 24 1 111 dst(R,sub(R,log(P))) 118057 139020153 o2(x,o2(x,o1(x))) true 104463 104463 -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_x24_u1_b112 17 24 1 112 dst(R,mlt(R,log(P))) 118058 139020154 o2(x,o2(x,o1(x))) true 104471 104471 -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_x24_u1_b113 17 24 1 113 dst(R,div(R,log(P))) 118059 139020155 o2(x,o2(x,o1(x))) true 104479 104479 -0.7795 0.1406 0.9392 0.3022 0.5497 -1 0.9978 1.998 1 1.09 0.004195 0.004381 0.008952 -0.02164 1 0.00001108 0.01697 0.0108 0.008497 0.09218 10.3 1.998 0.02838 0.05615 1 1 0.01003 0.04195 0.1586 0.03318 0.1388 0.5249 json
t17_x24_u1_b114 17 24 1 114 dst(R,pow(R,log(P))) 118060 139020156 o2(x,o2(x,o1(x))) true 104487 104487 -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_x24_u1_b115 17 24 1 115 dst(R,mod(R,log(P))) 118061 139020157 o2(x,o2(x,o1(x))) true 104495 104495 -0.8573 0.01099 0.8614 0.1252 0.3538 -1 0.6927 1.693 1 0.6418 0.002099 0.001493 0.003613 0.1688 1 0.000001977 0.007177 0.006495 0.00358 0.05983 16.56 1.693 0.02869 0.05732 1 1 0.003855 0.01542 0.05788 0.03079 0.1232 0.4623 json
t17_x24_u1_b116 17 24 1 116 dst(R,lrg(R,log(P))) 118062 139020158 o2(x,o2(x,o1(x))) true 104503 104503 0.9843 1 0.9843 0.004914 0.0701 0.2919 1 0.7081 1 0.5022 0.0001876 0.0002009 0.004687 -0.03429 1 -0.00002016 0.0001632 0.00284 0.0003667 0.01915 4.086 0.1944 0.07906 0.03322 1 1 0.0008415 0.006837 0.01104 0.1712 1.391 2.247 json
t17_x24_u1_b117 17 24 1 117 dst(R,eql(R,log(P))) 118063 139020159 o2(x,o2(x,o1(x))) true 104511 104511 0.897 1 0.897 0.02252 0.1501 0.09951 1 0.9005 1 2.181 0.0003411 0.0004606 0.01666 -0.149 1 -0.00001961 0.000143 0.005703 0.0005243 0.0229 1.374 0.1266 0.0356 0.006351 1 1 0.001342 0.015 0.03485 0.05959 0.666 1.547 json
t17_x24_u1_b118 17 24 1 118 dst(R,min(R,log(P))) 118064 139020160 o2(x,o2(x,o1(x))) true 104519 104519 -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_x24_u1_b119 17 24 1 119 dst(R,dot(R,log(P))) 118065 139020161 o2(x,o2(x,o1(x))) true 104527 104527 -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_x24_u1_b120 17 24 1 120 dst(R,dst(R,log(P))) 118066 139020162 o2(x,o2(x,o1(x))) true 104535 104535 -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_x24_u2_b0 17 24 2 0 add(R,add(R,frc(P))) 118067 139020243 o2(x,o2(x,o1(x))) true 104543 104543 0.01372 0.4984 0.659 0.5457 0.7387 -1 1 2 1 4.408 0.008726 0.009756 0.09338 -0.05568 1 0.00002908 0.003164 0.02873 0.009763 0.09881 1.058 0.4602 0.03387 0.005798 1 1 0.03624 0.4079 0.9797 0.06641 0.7475 1.795 json
t17_x24_u2_b1 17 24 2 1 add(R,sub(R,frc(P))) 118068 139020244 o2(x,o2(x,o1(x))) true 104551 104551 0.01372 0.4984 0.659 0.5457 0.7387 -1 1 2 1 4.408 0.008726 0.009756 0.09338 -0.05568 1 0.00002908 0.003164 0.02873 0.009763 0.09881 1.058 0.4602 0.03387 0.005798 1 1 0.03624 0.4079 0.9797 0.06641 0.7475 1.795 json
t17_x24_u2_b2 17 24 2 2 add(R,mlt(R,frc(P))) 118069 139020245 o2(x,o2(x,o1(x))) true 104559 104559 0.008979 0.4983 0.3946 0.2196 0.4686 -0.9989 0.9806 1.979 1 4.862 0.002813 0.00317 0.0632 -0.05957 1 0.00002651 0.0003508 0.01449 0.001989 0.0446 0.7057 0.2301 0.02725 0.001598 1 1 0.01182 0.1519 0.3914 0.05384 0.6917 1.782 json
t17_x24_u2_b3 17 24 2 3 add(R,div(R,frc(P))) 118070 139020246 o2(x,o2(x,o1(x))) true 104567 104567 -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_x24_u2_b4 17 24 2 4 add(R,pow(R,frc(P))) 118071 139020247 o2(x,o2(x,o1(x))) true 104575 104575 0.8072 1 0.8072 0.06917 0.263 0.001146 1 0.9989 1 2.721 0.00124 0.001463 0.03034 -0.08261 1 -0.00006109 0.0006685 0.01204 0.001783 0.04223 1.392 0.223 0.03908 0.009664 1 1 0.004971 0.05068 0.113 0.07186 0.7327 1.634 json
t17_x24_u2_b5 17 24 2 5 add(R,mod(R,frc(P))) 118072 139020248 o2(x,o2(x,o1(x))) true 104583 104583 0.01372 0.4984 0.659 0.5457 0.7387 -1 1 2 1 4.408 0.008726 0.009756 0.09338 -0.05568 1 0.00002908 0.003164 0.02873 0.009763 0.09881 1.058 0.4602 0.03387 0.005798 1 1 0.03624 0.4079 0.9797 0.06641 0.7475 1.795 json
t17_x24_u2_b6 17 24 2 6 add(R,lrg(R,frc(P))) 118073 139020249 o2(x,o2(x,o1(x))) true 104591 104591 0.3351 0.6255 0.6444 0.4213 0.6491 -0.9989 1 1.999 1 4.004 0.006632 0.00803 0.08203 -0.0953 1 -0.000127 0.0024 0.02604 0.007932 0.08906 1.086 0.347 0.0348 0.005696 1 1 0.02829 0.3191 0.7425 0.06714 0.7573 1.762 json
t17_x24_u2_b7 17 24 2 7 add(R,eql(R,frc(P))) 118074 139020250 o2(x,o2(x,o1(x))) true 104599 104599 0.008979 0.4983 0.3946 0.2196 0.4686 -0.9989 0.9806 1.979 1 4.862 0.002813 0.00317 0.0632 -0.05957 1 0.00002651 0.0003508 0.01449 0.001989 0.0446 0.7057 0.2301 0.02725 0.001598 1 1 0.01182 0.1519 0.3914 0.05384 0.6917 1.782 json
t17_x24_u2_b8 17 24 2 8 add(R,min(R,frc(P))) 118075 139020251 o2(x,o2(x,o1(x))) true 104607 104607 -0.1786 0.4229 0.5355 0.3565 0.597 -1 0.9804 1.98 1 4.683 0.005248 0.005892 0.07878 -0.05786 1 0.0001125 0.001381 0.0214 0.004933 0.07024 0.8915 0.3468 0.03125 0.003875 1 1 0.02169 0.2587 0.6278 0.06083 0.7256 1.761 json
t17_x24_u2_b9 17 24 2 9 add(R,dot(R,frc(P))) 118076 139020252 o2(x,o2(x,o1(x))) true 104615 104615 0.008979 0.4983 0.3946 0.2196 0.4686 -0.9989 0.9806 1.979 1 4.862 0.002813 0.00317 0.0632 -0.05957 1 0.00002651 0.0003508 0.01449 0.001989 0.0446 0.7057 0.2301 0.02725 0.001598 1 1 0.01182 0.1519 0.3914 0.05384 0.6917 1.782 json
t17_x24_u2_b10 17 24 2 10 add(R,dst(R,frc(P))) 118077 139020253 o2(x,o2(x,o1(x))) true 104623 104623 0.7698 1 0.7698 0.07179 0.2679 0.03077 1 0.9692 1 2.953 0.001474 0.001584 0.03376 -0.03597 1 -0.00007251 0.000832 0.01385 0.001919 0.0438 1.298 0.2336 0.0426 0.01159 1 1 0.00568 0.0565 0.13 0.07911 0.7869 1.81 json
t17_x24_u2_b11 17 24 2 11 sub(R,add(R,frc(P))) 118078 139020254 o2(x,o2(x,o1(x))) true 104631 104631 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_x24_u2_b12 17 24 2 12 sub(R,sub(R,frc(P))) 118079 139020255 o2(x,o2(x,o1(x))) true 104639 104639 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_x24_u2_b13 17 24 2 13 sub(R,mlt(R,frc(P))) 118080 139020256 o2(x,o2(x,o1(x))) true 104647 104647 0.008979 0.4983 0.3946 0.2196 0.4686 -0.9989 0.9806 1.979 1 4.862 0.002813 0.00317 0.0632 -0.05957 1 0.00002651 0.0003508 0.01449 0.001989 0.0446 0.7057 0.2301 0.02725 0.001598 1 1 0.01182 0.1519 0.3914 0.05384 0.6917 1.782 json
t17_x24_u2_b14 17 24 2 14 sub(R,div(R,frc(P))) 118081 139020257 o2(x,o2(x,o1(x))) true 104655 104655 -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_x24_u2_b15 17 24 2 15 sub(R,pow(R,frc(P))) 118082 139020258 o2(x,o2(x,o1(x))) true 104663 104663 -0.7982 0 0.7982 0.07256 0.2694 -1 -0.01936 0.9806 1 2.717 0.001471 0.00159 0.03308 -0.03903 1 0.0000876 0.0006964 0.01237 0.001966 0.04434 1.34 0.223 0.04219 0.009598 1 1 0.005951 0.06127 0.1403 0.08201 0.8444 1.934 json
t17_x24_u2_b16 17 24 2 16 sub(R,mod(R,frc(P))) 118083 139020259 o2(x,o2(x,o1(x))) true 104671 104671 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_x24_u2_b17 17 24 2 17 sub(R,lrg(R,frc(P))) 118084 139020260 o2(x,o2(x,o1(x))) true 104679 104679 -0.4734 0 0.4734 0.05091 0.2256 -0.9989 -0.002975 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
t17_x24_u2_b18 17 24 2 18 sub(R,eql(R,frc(P))) 118085 139020261 o2(x,o2(x,o1(x))) true 104687 104687 0.008979 0.4983 0.3946 0.2196 0.4686 -0.9989 0.9806 1.979 1 4.862 0.002813 0.00317 0.0632 -0.05957 1 0.00002651 0.0003508 0.01449 0.001989 0.0446 0.7057 0.2301 0.02725 0.001598 1 1 0.01182 0.1519 0.3914 0.05384 0.6917 1.782 json
t17_x24_u2_b19 17 24 2 19 sub(R,min(R,frc(P))) 118086 139020262 o2(x,o2(x,o1(x))) true 104695 104695 0.263 0.8999 0.263 0.06996 0.2645 0 0.9809 0.9809 1 3.339 0.0009721 0.001017 0.03412 -0.0225 1 0.0000132 0.0001175 0.007977 0.0008249 0.02872 0.8418 0.1147 0.02843 0.001679 1 1 0.003984 0.05127 0.1379 0.05695 0.7329 1.971 json
t17_x24_u2_b20 17 24 2 20 sub(R,dot(R,frc(P))) 118087 139020263 o2(x,o2(x,o1(x))) true 104703 104703 0.008979 0.4983 0.3946 0.2196 0.4686 -0.9989 0.9806 1.979 1 4.862 0.002813 0.00317 0.0632 -0.05957 1 0.00002651 0.0003508 0.01449 0.001989 0.0446 0.7057 0.2301 0.02725 0.001598 1 1 0.01182 0.1519 0.3914 0.05384 0.6917 1.782 json
t17_x24_u2_b21 17 24 2 21 sub(R,dst(R,frc(P))) 118088 139020264 o2(x,o2(x,o1(x))) true 104711 104711 -0.769 0 0.769 0.06946 0.2636 -1 -0.03319 0.9668 1 2.969 0.001268 0.001446 0.0322 -0.06543 1 0.00008738 0.0006871 0.01243 0.001677 0.04095 1.272 0.2384 0.03907 0.009891 1 1 0.005001 0.05032 0.1157 0.07199 0.7245 1.666 json
t17_x24_u2_b22 17 24 2 22 mlt(R,add(R,frc(P))) 118089 139020265 o2(x,o2(x,o1(x))) true 104719 104719 0.3495 0.9999 0.3495 0.05762 0.24 0.00007718 0.9979 0.9979 1 3.768 0.0007428 0.0008028 0.03156 -0.03877 1 1.602e-7 0.00009378 0.007378 0.0005496 0.02344 0.7428 0.1117 0.02682 0.001628 1 1 0.002725 0.03526 0.107 0.0473 0.6119 1.856 json
t17_x24_u2_b23 17 24 2 23 mlt(R,sub(R,frc(P))) 118090 139020266 o2(x,o2(x,o1(x))) true 104727 104727 0.3495 0.9999 0.3495 0.05762 0.24 0.00007718 0.9979 0.9979 1 3.768 0.0007428 0.0008028 0.03156 -0.03877 1 1.602e-7 0.00009378 0.007378 0.0005496 0.02344 0.7428 0.1117 0.02682 0.001628 1 1 0.002725 0.03526 0.107 0.0473 0.6119 1.856 json
t17_x24_u2_b24 17 24 2 24 mlt(R,mlt(R,frc(P))) 118091 139020267 o2(x,o2(x,o1(x))) true 104735 104735 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_x24_u2_b25 17 24 2 25 mlt(R,div(R,frc(P))) 118092 139020268 o2(x,o2(x,o1(x))) true 104743 104743 -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_x24_u2_b26 17 24 2 26 mlt(R,pow(R,frc(P))) 118093 139020269 o2(x,o2(x,o1(x))) true 104751 104751 0.008979 0.4983 0.3946 0.2196 0.4686 -0.9989 0.9806 1.979 1 4.862 0.002813 0.00317 0.0632 -0.05957 1 0.00002651 0.0003508 0.01449 0.001989 0.0446 0.7057 0.2301 0.02725 0.001598 1 1 0.01182 0.1519 0.3914 0.05384 0.6917 1.782 json
t17_x24_u2_b27 17 24 2 27 mlt(R,mod(R,frc(P))) 118094 139020270 o2(x,o2(x,o1(x))) true 104759 104759 0.3495 0.9999 0.3495 0.05762 0.24 0.00007718 0.9979 0.9979 1 3.768 0.0007428 0.0008028 0.03156 -0.03877 1 1.602e-7 0.00009378 0.007378 0.0005496 0.02344 0.7428 0.1117 0.02682 0.001628 1 1 0.002725 0.03526 0.107 0.0473 0.6119 1.856 json
t17_x24_u2_b28 17 24 2 28 mlt(R,lrg(R,frc(P))) 118095 139020271 o2(x,o2(x,o1(x))) true 104767 104767 0.263 0.8999 0.263 0.06996 0.2645 0 0.9809 0.9809 1 3.339 0.0009721 0.001017 0.03412 -0.0225 1 0.0000132 0.0001175 0.007977 0.0008249 0.02872 0.8418 0.1147 0.02843 0.001679 1 1 0.003984 0.05127 0.1379 0.05695 0.7329 1.971 json
t17_x24_u2_b29 17 24 2 29 mlt(R,eql(R,frc(P))) 118096 139020272 o2(x,o2(x,o1(x))) true 104775 104775 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_x24_u2_b30 17 24 2 30 mlt(R,min(R,frc(P))) 118097 139020273 o2(x,o2(x,o1(x))) true 104783 104783 0.1667 0.8997 0.1667 0.04767 0.2183 0 0.9978 0.9978 1 2.743 0.0005125 0.0006455 0.02318 -0.1149 1 -0.00002081 0.00006781 0.00545 0.0006207 0.02491 1.075 0.1167 0.02429 0.001422 1 1 0.002031 0.02613 0.07519 0.0426 0.5481 1.577 json
t17_x24_u2_b31 17 24 2 31 mlt(R,dot(R,frc(P))) 118098 139020274 o2(x,o2(x,o1(x))) true 104791 104791 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_x24_u2_b32 17 24 2 32 mlt(R,dst(R,frc(P))) 118099 139020275 o2(x,o2(x,o1(x))) true 104799 104799 0.02082 0.5061 0.4225 0.2695 0.5192 -1 1 2 1 4.887 0.003547 0.00404 0.0684 -0.06503 1 0.00003814 0.0005905 0.01626 0.002909 0.05393 0.7884 0.2967 0.02815 0.002191 1 1 0.01476 0.1849 0.4871 0.05474 0.686 1.807 json