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
t18_x50_u0_b184 18 50 0 184 sub(D,mod(R,min(D,R))) 130600 148191052 o2(x,o2(x,o2(x,x))) true 73207 73207 0.0192 0.5216 0.1498 0.04205 0.2051 -0.5037 1 1.504 1 3.595 0.005453 0.0004473 0.06122 0.8484 1 0.000156 0.009015 0.05867 0.002153 0.0464 0.7579 0.4042 0.1403 0.2144 1 1 0.007825 0.05304 0.0688 0.1861 1.261 1.636 json
t18_x50_u0_b185 18 50 0 185 sub(D,mod(R,dot(D,R))) 130601 148191053 o2(x,o2(x,o2(x,x))) true 73215 73215 -0.001782 0.494 0.119 0.02112 0.1453 -0.5782 0.5692 1.147 1 3.264 0.006218 0.004275 0.08309 0.1851 1 0.00001868 0.04088 0.1374 0.00359 0.05991 0.7211 0.5305 0.4969 1.936 1 1 0.009115 0.03459 0.01993 0.4316 1.638 0.9439 json
t18_x50_u0_b186 18 50 0 186 sub(D,mod(R,dst(D,R))) 130602 148191054 o2(x,o2(x,o2(x,x))) true 73223 73223 -0.006614 0.5047 0.379 0.2118 0.4602 -1 1 2 1 4.86 0.009815 0.005888 0.08671 0.25 1 -0.0001421 0.02822 0.05302 0.008185 0.09047 1.043 1.322 0.07414 0.1332 1 1 0.0216 0.1833 0.3574 0.102 0.8654 1.687 json
t18_x50_u0_b187 18 50 0 187 sub(D,lrg(R,add(D,R))) 130603 148191055 o2(x,o2(x,o2(x,x))) true 73231 73231 -0.4823 0.3125 0.5176 0.2029 0.4504 -1 0.09672 1.097 1 2.852 0.07311 0 0.1349 1 1 -0.00006836 0.122 0.1445 0.05491 0.2343 1.737 1.031 0.3604 0.6012 1 1 0.08612 0.3709 0 0.4245 1.828 0 json
t18_x50_u0_b188 18 50 0 188 sub(D,lrg(R,sub(D,R))) 130604 148191056 o2(x,o2(x,o2(x,x))) true 73239 73239 -0.4798 0.1552 0.5011 0.1573 0.3966 -1 0.1454 1.145 1 3.981 0.01149 0.002237 0.07571 0.6742 1 -0.0001023 0.01643 0.04402 0.008 0.08944 1.181 1.048 0.08728 0.1044 1 1 0.0184 0.1456 0.277 0.1169 0.9253 1.761 json
t18_x50_u0_b189 18 50 0 189 sub(D,lrg(R,mlt(D,R))) 130605 148191057 o2(x,o2(x,o2(x,x))) true 73247 73247 -0.4726 0.1515 0.4954 0.1528 0.3909 -1 0.1454 1.145 1 4.044 0.003321 0.002384 0.06297 0.1641 1 -0.00001363 0.0006541 0.01751 0.00174 0.04171 0.6624 0.1713 0.03734 0.004282 1 1 0.01109 0.1243 0.2688 0.07262 0.8134 1.76 json
t18_x50_u0_b190 18 50 0 190 sub(D,lrg(R,div(D,R))) 130606 148191058 o2(x,o2(x,o2(x,x))) true 73255 73255 -0.4974 0.1361 0.5177 0.1493 0.3864 -1 0.1454 1.145 1 4.036 0.03058 0.002183 0.09559 0.8668 1 0.0001983 0.0579 0.09347 0.02363 0.1537 1.608 1.055 0.2194 0.3877 1 1 0.03608 0.1804 0.2721 0.2416 1.208 1.822 json
t18_x50_u0_b191 18 50 0 191 sub(D,lrg(R,pow(D,R))) 130607 148191059 o2(x,o2(x,o2(x,x))) true 73263 73263 -0.6103 0.1827 0.6303 0.1728 0.4157 -1 0.09672 1.097 1 3.25 0.05169 0.0008655 0.1147 0.9671 1 -0.0003581 0.08593 0.1163 0.03942 0.1985 1.731 1.049 0.3041 0.4972 1 1 0.06222 0.288 0.1218 0.36 1.667 0.7045 json
t18_x50_u0_b192 18 50 0 192 sub(D,lrg(R,mod(D,R))) 130608 148191060 o2(x,o2(x,o2(x,x))) true 73271 73271 -0.4726 0.1515 0.4954 0.1528 0.3909 -1 0.1454 1.145 1 4.044 0.003321 0.002384 0.06297 0.1641 1 -0.00001363 0.0006541 0.01751 0.00174 0.04171 0.6624 0.1713 0.03734 0.004282 1 1 0.01109 0.1243 0.2688 0.07262 0.8134 1.76 json
t18_x50_u0_b193 18 50 0 193 sub(D,lrg(R,lrg(D,R))) 130609 148191061 o2(x,o2(x,o2(x,x))) true 73279 73279 -0.4163 0.1906 0.4457 0.1575 0.3968 -1 0.1454 1.145 1 4.034 0.01207 0.002231 0.07638 0.6881 1 -0.00004643 0.01757 0.04448 0.008471 0.09204 1.205 1.055 0.09084 0.1116 1 1 0.01825 0.1418 0.2717 0.1159 0.9007 1.726 json
t18_x50_u0_b194 18 50 0 194 sub(D,lrg(R,eql(D,R))) 130610 148191062 o2(x,o2(x,o2(x,x))) true 73287 73287 -0.4726 0.1515 0.4954 0.1528 0.3909 -1 0.1454 1.145 1 4.044 0.003321 0.002384 0.06297 0.1641 1 -0.00001363 0.0006541 0.01751 0.00174 0.04171 0.6624 0.1713 0.03734 0.004282 1 1 0.01109 0.1243 0.2688 0.07262 0.8134 1.76 json
t18_x50_u0_b195 18 50 0 195 sub(D,lrg(R,min(D,R))) 130611 148191063 o2(x,o2(x,o2(x,x))) true 73295 73295 -0.49 0.1521 0.5086 0.1563 0.3954 -1 0.1454 1.145 1 3.939 0.02197 0.002084 0.09428 0.8268 1 -0.00002828 0.03678 0.07581 0.01517 0.1232 1.307 1.048 0.1539 0.2353 1 1 0.02801 0.1648 0.2571 0.1792 1.054 1.645 json
t18_x50_u0_b196 18 50 0 196 sub(D,lrg(R,dot(D,R))) 130612 148191064 o2(x,o2(x,o2(x,x))) true 73303 73303 -0.4763 0.153 0.4996 0.1545 0.3931 -1 0.1454 1.145 1 4.034 0.005917 0.01104 0.07816 -0.3019 1 -0.00009001 0.03481 0.05873 0.01084 0.1041 1.332 1.339 0.1097 0.2253 1 1 0.02089 0.1466 0.27 0.1352 0.9485 1.748 json
t18_x50_u0_b197 18 50 0 197 sub(D,lrg(R,dst(D,R))) 130613 148191065 o2(x,o2(x,o2(x,x))) true 73311 73311 -0.03494 0.4516 0.1192 0.02444 0.1563 -0.9616 0.1454 1.107 1 3.012 0.005872 0.003409 0.04933 0.2654 1 0.0001942 0.02608 0.03775 0.006847 0.08275 1.677 1.365 0.3798 1.067 1 1 0.009129 0.04039 0.02849 0.3736 1.653 1.166 json
t18_x50_u0_b198 18 50 0 198 sub(D,eql(R,add(D,R))) 130614 148191066 o2(x,o2(x,o2(x,x))) true 73319 73319 0 0.5 0.09436 0.01082 0.104 -0.1454 0.1454 0.2908 1 2.561 0.001632 0 0.0361 1 1 0 0.0002563 0.01459 0.0003304 0.01818 0.5036 0.06192 0.1508 0.02368 1 1 0.003151 0.02183 0 0.2912 2.017 0 json
t18_x50_u0_b199 18 50 0 199 sub(D,eql(R,sub(D,R))) 130615 148191067 o2(x,o2(x,o2(x,x))) true 73327 73327 0 0.5 0.09436 0.01082 0.104 -0.1454 0.1454 0.2908 1 2.561 0.001632 0 0.0361 1 1 0 0.0002563 0.01459 0.0003304 0.01818 0.5036 0.06192 0.1508 0.02368 1 1 0.003151 0.02183 0 0.2912 2.017 0 json
t18_x50_u0_b200 18 50 0 200 sub(D,eql(R,mlt(D,R))) 130616 148191068 o2(x,o2(x,o2(x,x))) true 73335 73335 -2.132e-7 0.5 0.09436 0.01082 0.104 -0.1454 0.1454 0.2908 1 2.561 0.001632 7.118e-13 0.0361 1 1 1.039e-10 0.0002563 0.01459 0.0003304 0.01818 0.5036 0.06221 0.1508 0.02368 1 1 0.003151 0.02183 1.177e-10 0.2912 2.017 1.087e-8 json
t18_x51_u0_b0 18 51 0 0 add(D,add(R,add(R,P))) 130617 148231269 o2(x,o2(x,o2(x,x))) true 73343 73343 0.01259 0.5069 0.946 0.9267 0.9626 -1 1 2 1 1.899 0.002237 0.001447 0.01791 0.2146 1 -0.00004005 0.0008783 0.006876 0.003363 0.05799 3.238 0.4527 0.003975 0.0009478 1 1 0.008681 0.09525 0.3716 0.009368 0.1028 0.4011 json
t18_x51_u0_b1 18 51 0 1 add(D,add(R,sub(R,P))) 130618 148231270 o2(x,o2(x,o2(x,x))) true 73351 73351 0.009223 0.5072 0.939 0.9172 0.9577 -1 1 2 1 2 0.003142 0.001605 0.02127 0.3239 1 -0.0000321 0.001297 0.00911 0.004297 0.06555 3.081 0.6039 0.005176 0.001414 1 1 0.0111 0.1074 0.3615 0.0121 0.1171 0.3941 json
t18_x51_u0_b2 18 51 0 2 add(D,add(R,mlt(R,P))) 130619 148231271 o2(x,o2(x,o2(x,x))) true 73359 73359 -0.06416 0.4695 0.7295 0.6464 0.804 -1 1 2 1 3.782 0.01795 0.01982 0.09817 -0.04967 1 -0.0000457 0.02091 0.05202 0.02813 0.1677 1.709 1.662 0.05842 0.03235 1 1 0.05468 0.4774 1.033 0.08459 0.7385 1.598 json
t18_x51_u0_b3 18 51 0 3 add(D,add(R,div(R,P))) 130620 148231272 o2(x,o2(x,o2(x,x))) true 73367 73367 -0.1251 0.4174 0.4665 0.3135 0.5599 -1 1 2 1 4.689 0.01735 0.002949 0.07315 0.7095 1 0.00003441 0.02759 0.03606 0.01495 0.1223 1.672 2 0.06476 0.08801 1 1 0.02984 0.2155 0.5155 0.09519 0.6873 1.645 json
t18_x51_u0_b4 18 51 0 4 add(D,add(R,pow(R,P))) 130621 148231273 o2(x,o2(x,o2(x,x))) true 73375 73375 -0.8581 0.0741 0.9935 0.2539 0.5038 -1 1 2 1 0.4985 0.02271 0.02281 0.02475 -0.002179 1 0.000006122 0.09465 0.0477 0.04493 0.212 8.564 2.828 0.1793 0.3728 1 1 0.04352 0.1846 0.5889 0.1714 0.727 2.32 json
t18_x51_u0_b5 18 51 0 5 add(D,add(R,mod(R,P))) 130622 148231274 o2(x,o2(x,o2(x,x))) true 73383 73383 -0.1182 0.4324 0.6955 0.5817 0.7627 -1 1 2 1 4.146 0.0254 0.008503 0.09456 0.4984 1 0.00003719 0.03794 0.04697 0.02495 0.158 1.671 2.021 0.05828 0.06523 1 1 0.05175 0.413 0.9737 0.08896 0.7101 1.674 json
t18_x51_u0_b6 18 51 0 6 add(D,add(R,lrg(R,P))) 130623 148231275 o2(x,o2(x,o2(x,x))) true 73391 73391 0.3907 0.7216 0.6073 0.3316 0.5758 -1 1 2 1 4.287 0.003986 0.002517 0.05857 0.2259 1 0.00008278 0.0009531 0.01809 0.003073 0.05544 0.9465 0.3876 0.01961 0.002874 1 1 0.01342 0.1454 0.3458 0.04048 0.4385 1.043 json
t18_x51_u0_b7 18 51 0 7 add(D,add(R,eql(R,P))) 130624 148231276 o2(x,o2(x,o2(x,x))) true 73399 73399 0.009078 0.4986 0.4013 0.2304 0.48 -1 1 2 1 4.899 0.004471 0.003165 0.07546 0.1709 1 0.00002869 0.0006263 0.01935 0.001942 0.04407 0.584 0.2845 0.03314 0.002718 1 1 0.01508 0.1746 0.3904 0.06546 0.7577 1.694 json
t18_x51_u0_b8 18 51 0 8 add(D,add(R,min(R,P))) 130625 148231277 o2(x,o2(x,o2(x,x))) true 73407 73407 -0.4864 0.2432 0.7948 0.4906 0.7004 -1 1 2 1 3.161 0.00551 0.004806 0.05596 0.06823 1 0.00009308 0.001768 0.01733 0.007188 0.08479 1.515 0.4477 0.02103 0.003605 1 1 0.02053 0.2322 0.5923 0.04184 0.4734 1.207 json
t18_x51_u0_b9 18 51 0 9 add(D,add(R,dot(R,P))) 130626 148231278 o2(x,o2(x,o2(x,x))) true 73415 73415 -0.09371 0.4537 0.8444 0.7878 0.8876 -1 1 2 1 2.904 0.02546 0.03255 0.1028 -0.1222 1 0.00004019 0.04649 0.07516 0.04744 0.2178 2.119 1.856 0.07363 0.05901 1 1 0.07509 0.576 1.384 0.09532 0.7311 1.757 json
t18_x51_u0_b10 18 51 0 10 add(D,add(R,dst(R,P))) 130627 148231279 o2(x,o2(x,o2(x,x))) true 73423 73423 0.9981 1 0.9981 0.0008337 0.02887 0.2567 1 0.7433 1 0.06768 0.00004764 0.00004656 0.0007187 0.01151 0 -5.632e-12 0.00004758 0.000474 0.00009367 0.009678 13.47 0.2629 0.113 0.05708 1 1 0.000298 0.002162 0.00304 0.3575 2.593 3.646 json
t18_x51_u0_b11 18 51 0 11 add(D,sub(R,add(R,P))) 130628 148231280 o2(x,o2(x,o2(x,x))) true 73431 73431 0 0.5 0.9375 0.9252 0.9619 -1 1 2 1 1.774 0.001323 0 0.01101 1 1 0 0.0002527 0.005079 0.001202 0.03468 3.15 0.1713 0.00143 0.0002731 1 1 0.003342 0.0331 0.2361 0.003612 0.03578 0.2552 json
t18_x51_u0_b12 18 51 0 12 add(D,sub(R,sub(R,P))) 130629 148231281 o2(x,o2(x,o2(x,x))) true 73439 73439 0 0.5 0.9375 0.9165 0.9574 -1 1 2 1 1.979 0.0004883 1.427e-18 0.007937 1 1 1.539e-10 0.0000155 0.000496 0.0004253 0.02062 2.598 0.0625 0.0005327 0.00001691 1 1 0.001285 0.01928 0.2245 0.001402 0.02104 0.245 json
t18_x51_u0_b13 18 51 0 13 add(D,sub(R,mlt(R,P))) 130630 148231282 o2(x,o2(x,o2(x,x))) true 73447 73447 0.0608 0.5379 0.7298 0.6482 0.8051 -1 1 2 1 3.75 0.01725 0.01994 0.09434 -0.07226 1 0.00004755 0.0215 0.05126 0.02829 0.1682 1.783 1.482 0.05737 0.03316 1 1 0.05263 0.4449 1.06 0.0812 0.6864 1.635 json
t18_x51_u0_b14 18 51 0 14 add(D,sub(R,div(R,P))) 130631 148231283 o2(x,o2(x,o2(x,x))) true 73455 73455 -0.1191 0.44 0.4708 0.3232 0.5685 -1 1 2 1 4.662 0.01571 0.003148 0.07072 0.6662 1 0.00007841 0.02474 0.03444 0.01386 0.1177 1.665 2.021 0.05836 0.07653 1 1 0.02799 0.2042 0.531 0.0866 0.6318 1.643 json
t18_x51_u0_b15 18 51 0 15 add(D,sub(R,pow(R,P))) 130632 148231284 o2(x,o2(x,o2(x,x))) true 73463 73463 -0.9826 0.003906 0.986 0.01576 0.1256 -1 0.6189 1.619 1 0.2746 0.001976 0.001707 0.005607 0.07325 1 0.0000109 0.007504 0.008029 0.003651 0.06042 10.78 1.565 0.2336 0.476 1 1 0.002403 0.01011 0.02185 0.1525 0.6413 1.386 json
t18_x51_u0_b16 18 51 0 16 add(D,sub(R,mod(R,P))) 130633 148231285 o2(x,o2(x,o2(x,x))) true 73471 73471 -0.125 0.4375 0.2076 0.1189 0.3448 -1 0.1454 1.145 1 2.785 0.009352 0 0.03917 1 1 9.386e-13 0.01611 0.02856 0.007817 0.08842 2.257 1.031 0.07868 0.1355 1 1 0.01311 0.05985 0.1702 0.1103 0.5035 1.432 json
t18_x51_u0_b17 18 51 0 17 add(D,sub(R,lrg(R,P))) 130634 148231286 o2(x,o2(x,o2(x,x))) true 73479 73479 -0.4036 0.2226 0.5766 0.2784 0.5276 -1 1 2 1 4.391 0.003329 0.002294 0.05815 0.1842 1 0.00009526 0.0007368 0.01698 0.002242 0.04735 0.8143 0.2738 0.0202 0.002647 1 1 0.01076 0.119 0.2916 0.03866 0.4274 1.048 json
t18_x51_u0_b18 18 51 0 18 add(D,sub(R,eql(R,P))) 130635 148231287 o2(x,o2(x,o2(x,x))) true 73487 73487 0.009078 0.4986 0.4013 0.2304 0.48 -1 1 2 1 4.899 0.004471 0.003165 0.07546 0.1709 1 0.00002869 0.0006263 0.01935 0.001942 0.04407 0.584 0.2845 0.03314 0.002718 1 1 0.01508 0.1746 0.3904 0.06546 0.7577 1.694 json
t18_x51_u0_b19 18 51 0 19 add(D,sub(R,min(R,P))) 130636 148231288 o2(x,o2(x,o2(x,x))) true 73495 73495 0.4757 0.7454 0.5228 0.2433 0.4933 -0.1454 1 1.145 1 2.734 0.001456 0.0001292 0.02432 0.8371 1 0.0001404 0.0003182 0.009944 0.0009944 0.03153 1.297 0.2657 0.006516 0.001308 1 1 0.003393 0.02709 0.07592 0.01394 0.1113 0.312 json
t18_x51_u0_b20 18 51 0 20 add(D,sub(R,dot(R,P))) 130637 148231289 o2(x,o2(x,o2(x,x))) true 73503 73503 0.09522 0.5471 0.8481 0.7892 0.8883 -1 1 2 1 2.946 0.02492 0.03381 0.105 -0.1513 1 0.00001096 0.0471 0.07577 0.04768 0.2184 2.079 2.001 0.07442 0.05969 1 1 0.0755 0.586 1.371 0.09567 0.7426 1.737 json
t18_x51_u0_b21 18 51 0 21 add(D,sub(R,dst(R,P))) 130638 148231290 o2(x,o2(x,o2(x,x))) true 73511 73511 -0.9941 0 0.9941 0.002965 0.05446 -1 -0.04519 0.9548 1 0.1644 0.0001286 0.0000824 0.001677 0.2188 1 -5.256e-11 0.00008756 0.0009152 0.0002082 0.01443 8.606 0.2973 0.07114 0.02953 1 1 0.0006775 0.005465 0.009485 0.2285 1.843 3.198 json
t18_x51_u0_b22 18 51 0 22 add(D,mlt(R,add(R,P))) 130639 148231291 o2(x,o2(x,o2(x,x))) true 73519 73519 0.06062 0.5441 0.7439 0.6611 0.8131 -1 1 2 1 3.764 0.01706 0.01919 0.09545 -0.05875 1 -0.00008166 0.02002 0.05077 0.02714 0.1648 1.726 1.49 0.05483 0.03029 1 1 0.0513 0.4465 1.005 0.07761 0.6755 1.52 json
t18_x51_u0_b23 18 51 0 23 add(D,mlt(R,sub(R,P))) 130640 148231292 o2(x,o2(x,o2(x,x))) true 73527 73527 0.1854 0.6137 0.7358 0.6231 0.7893 -1 1 2 1 3.723 0.017 0.01924 0.09499 -0.06183 1 0.00001289 0.01991 0.051 0.02723 0.165 1.737 1.408 0.05818 0.03196 1 1 0.05135 0.4419 1.004 0.08242 0.7092 1.612 json
t18_x51_u0_b24 18 51 0 24 add(D,mlt(R,mlt(R,P))) 130641 148231293 o2(x,o2(x,o2(x,x))) true 73535 73535 0.0004601 0.5051 0.6754 0.5836 0.764 -1 1 2 1 4.035 0.002652 0.00243 0.0425 0.04361 1 0.00006986 0.001821 0.01835 0.003275 0.05723 1.347 0.4418 0.008707 0.003121 1 1 0.008241 0.07852 0.2332 0.01412 0.1345 0.3995 json
t18_x51_u0_b25 18 51 0 25 add(D,mlt(R,div(R,P))) 130642 148231294 o2(x,o2(x,o2(x,x))) true 73543 73543 -0.1269 0.4346 0.2515 0.1433 0.3786 -1 0.9923 1.992 1 3.704 0.01174 0.00009719 0.04279 0.9836 1 0.000005641 0.02007 0.02949 0.01001 0.1 2.337 1.921 0.08261 0.14 1 1 0.01623 0.07677 0.1952 0.1133 0.5357 1.362 json
t18_x51_u0_b26 18 51 0 26 add(D,mlt(R,pow(R,P))) 130643 148231295 o2(x,o2(x,o2(x,x))) true 73551 73551 -0.8853 0.05917 0.9769 0.1863 0.4317 -1 1 2 1 0.634 0.01886 0.01724 0.02304 0.04488 1 0.0000117 0.07482 0.04062 0.03555 0.1886 8.182 2.828 0.1938 0.4016 1 1 0.03447 0.1485 0.4107 0.185 0.7972 2.204 json
t18_x51_u0_b27 18 51 0 27 add(D,mlt(R,mod(R,P))) 130644 148231296 o2(x,o2(x,o2(x,x))) true 73559 73559 0.1768 0.7984 0.4349 0.2586 0.5085 -1 1 2 1 4.064 0.01748 0.0007107 0.05382 0.9219 1 -0.000001725 0.03115 0.03502 0.01529 0.1237 2.298 1.949 0.07035 0.1205 1 1 0.02295 0.1197 0.3844 0.08874 0.4629 1.486 json
t18_x51_u0_b28 18 51 0 28 add(D,mlt(R,lrg(R,P))) 130645 148231297 o2(x,o2(x,o2(x,x))) true 73567 73567 0.03489 0.524 0.2509 0.1224 0.3499 -1 1 2 1 4.287 0.002916 0.001638 0.05535 0.2808 1 0.00003102 0.0004356 0.01694 0.001491 0.03862 0.6977 0.2845 0.0372 0.003559 1 1 0.008851 0.09399 0.1892 0.07231 0.7678 1.546 json
t18_x51_u0_b29 18 51 0 29 add(D,mlt(R,eql(R,P))) 130646 148231298 o2(x,o2(x,o2(x,x))) true 73575 73575 0 0.5 0.09436 0.01082 0.104 -0.1454 0.1454 0.2908 1 2.561 0.001632 0 0.0361 1 1 0 0.0002563 0.01459 0.0003304 0.01818 0.5036 0.06192 0.1508 0.02368 1 1 0.003151 0.02183 0 0.2912 2.017 0 json
t18_x51_u0_b30 18 51 0 30 add(D,mlt(R,min(R,P))) 130647 148231299 o2(x,o2(x,o2(x,x))) true 73583 73583 0.1394 0.6968 0.5417 0.3993 0.6319 -1 1 2 1 4.363 0.00932 0.0106 0.07182 -0.06443 1 0.0001161 0.01038 0.03268 0.01477 0.1215 1.692 1.303 0.0499 0.026 1 1 0.02995 0.2555 0.5492 0.07502 0.6398 1.376 json
t18_x51_u0_b31 18 51 0 31 add(D,mlt(R,dot(R,P))) 130648 148231300 o2(x,o2(x,o2(x,x))) true 73591 73591 0.04221 0.513 0.7406 0.6661 0.8161 -1 1 2 1 3.642 0.007848 0.006633 0.06193 0.08388 1 -0.000009658 0.006157 0.03043 0.01065 0.1032 1.666 1.166 0.02174 0.009244 1 1 0.02066 0.1996 0.5062 0.03102 0.2996 0.76 json
t18_x51_u0_b32 18 51 0 32 add(D,mlt(R,dst(R,P))) 130649 148231301 o2(x,o2(x,o2(x,x))) true 73599 73599 -0.0103 0.4958 0.8637 0.8191 0.905 -1 1 2 1 2.798 0.0267 0.03048 0.1033 -0.06607 1 0.00007223 0.04306 0.07329 0.04649 0.2156 2.087 1.931 0.0698 0.05256 1 1 0.0791 0.6154 1.393 0.09657 0.7514 1.701 json
t18_x51_u0_b33 18 51 0 33 add(D,div(R,add(R,P))) 130650 148231302 o2(x,o2(x,o2(x,x))) true 73607 73607 -0.01486 0.4687 0.2301 0.1214 0.3484 -1 1 2 1 4.073 0.004305 0.001461 0.05185 0.4931 1 0.00004334 0.001542 0.01936 0.003078 0.05548 1.07 0.7985 0.0475 0.0127 1 1 0.01119 0.1079 0.2344 0.09214 0.8892 1.931 json
t18_x51_u0_b34 18 51 0 34 add(D,div(R,sub(R,P))) 130651 148231303 o2(x,o2(x,o2(x,x))) true 73615 73615 -0.02706 0.4851 0.2414 0.1338 0.3658 -1 1 2 1 4.076 0.005267 0.002063 0.05283 0.4371 1 0.0000563 0.003828 0.021 0.004539 0.06737 1.275 1.889 0.05478 0.02861 1 1 0.0132 0.1237 0.2368 0.09867 0.9247 1.77 json
t18_x51_u0_b35 18 51 0 35 add(D,div(R,mlt(R,P))) 130652 148231304 o2(x,o2(x,o2(x,x))) true 73623 73623 -0.125 0.4375 0.3917 0.2433 0.4932 -1 1 2 1 4.346 0.01777 1.929e-17 0.04264 1 1 2.614e-9 0.03206 0.02974 0.01595 0.1263 2.963 2 0.07305 0.1318 1 1 0.02482 0.1101 0.2567 0.102 0.4525 1.055 json
t18_x51_u0_b36 18 51 0 36 add(D,div(R,div(R,P))) 130653 148231305 o2(x,o2(x,o2(x,x))) true 73631 73631 0 0.5 0.9375 0.9165 0.9574 -1 1 2 1 1.979 0.0004883 1.105e-17 0.007937 1 1 -3.51e-10 0.0000155 0.000496 0.0004253 0.02062 2.598 0.0625 0.0005327 0.00001691 1 1 0.001285 0.01928 0.2245 0.001402 0.02104 0.2449 json
t18_x51_u0_b37 18 51 0 37 add(D,div(R,pow(R,P))) 130654 148231306 o2(x,o2(x,o2(x,x))) true 73639 73639 -0.9073 0.05421 0.9561 0.1213 0.3483 -1 1 2 1 0.7217 0.01235 0.0116 0.02036 0.03132 1 -0.00001637 0.04956 0.03298 0.02353 0.1534 7.537 2.784 0.1975 0.4085 1 1 0.02146 0.0941 0.2601 0.1769 0.7756 2.144 json
t18_x51_u0_b38 18 51 0 38 add(D,div(R,mod(R,P))) 130655 148231307 o2(x,o2(x,o2(x,x))) true 73647 73647 0.7088 0.875 0.9588 0.4198 0.6479 -1 1 2 1 1.707 0.03188 2.187e-17 0.03145 1 1 0.0001582 0.06366 0.04304 0.03088 0.1757 5.589 2 0.07594 0.1516 1 1 0.04195 0.165 0.6428 0.09994 0.3932 1.531 json
t18_x51_u0_b39 18 51 0 39 add(D,div(R,lrg(R,P))) 130656 148231308 o2(x,o2(x,o2(x,x))) true 73655 73655 -0.5244 0.2449 0.7318 0.38 0.6164 -1 1 2 1 3.157 0.008387 0.004185 0.03983 0.3343 1 -0.0001166 0.01998 0.02216 0.01098 0.1048 2.631 2.543 0.03308 0.05257 1 1 0.0184 0.1168 0.3037 0.04842 0.3073 0.7992 json
t18_x51_u0_b40 18 51 0 40 add(D,div(R,eql(R,P))) 130657 148231309 o2(x,o2(x,o2(x,x))) true 73663 73663 -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
t18_x51_u0_b41 18 51 0 41 add(D,div(R,min(R,P))) 130658 148231310 o2(x,o2(x,o2(x,x))) true 73671 73671 0.3918 0.7163 0.5982 0.3734 0.6111 -1 1 2 1 3.655 0.01656 0.007679 0.04118 0.3664 1 0.000003272 0.04728 0.0378 0.02255 0.1502 3.646 2.828 0.06491 0.1266 1 1 0.03878 0.1684 0.4387 0.1039 0.4511 1.175 json
t18_x51_u0_b42 18 51 0 42 add(D,div(R,dot(R,P))) 130659 148231311 o2(x,o2(x,o2(x,x))) true 73679 73679 -0.02492 0.485 0.3187 0.1964 0.4432 -1 1 2 1 4.423 0.008254 0.004923 0.05903 0.2527 1 -0.0000133 0.015 0.02904 0.009692 0.09845 1.668 2.828 0.06709 0.07639 1 1 0.02745 0.1864 0.4214 0.1398 0.9492 2.146 json
t18_x51_u0_b43 18 51 0 43 add(D,div(R,dst(R,P))) 130660 148231312 o2(x,o2(x,o2(x,x))) true 73687 73687 0.01141 0.5165 0.1226 0.02521 0.1588 -0.7624 0.9122 1.675 1 3.341 0.001879 0.0002096 0.04028 0.7993 1 0.000001869 0.000285 0.01483 0.0004663 0.02159 0.5361 0.1731 0.08285 0.01131 1 1 0.004588 0.04044 0.03802 0.182 1.604 1.508 json
t18_x51_u0_b44 18 51 0 44 add(D,pow(R,add(R,P))) 130661 148231313 o2(x,o2(x,o2(x,x))) true 73695 73695 -0.9192 0.04259 0.9949 0.1482 0.3849 -1 1 2 1 0.3267 0.01581 0.01433 0.01595 0.049 1 0.00001172 0.06303 0.03149 0.02988 0.1729 10.84 2.828 0.2034 0.4254 1 1 0.02501 0.1067 0.2607 0.1688 0.7204 1.759 json
t18_x51_u0_b45 18 51 0 45 add(D,pow(R,sub(R,P))) 130662 148231314 o2(x,o2(x,o2(x,x))) true 73703 73703 -0.9398 0.03627 0.9753 0.08616 0.2935 -1 1 2 1 0.4332 0.008208 0.009202 0.01301 -0.05708 1 -0.0000163 0.03632 0.02368 0.01725 0.1313 10.1 2.812 0.2021 0.4215 1 1 0.01189 0.05343 0.1381 0.138 0.6201 1.603 json
t18_x51_u0_b46 18 51 0 46 add(D,pow(R,mlt(R,P))) 130663 148231315 o2(x,o2(x,o2(x,x))) true 73711 73711 -0.8578 0.07422 0.9937 0.2549 0.5049 -1 1 2 1 0.506 0.02318 0.02237 0.02436 0.0178 1 0.00001174 0.09529 0.04772 0.04494 0.212 8.704 2.828 0.1787 0.3739 1 1 0.04435 0.1848 0.6084 0.174 0.7249 2.387 json
t18_x51_u0_b47 18 51 0 47 add(D,pow(R,div(R,P))) 130664 148231316 o2(x,o2(x,o2(x,x))) true 73719 73719 -0.919 0.04199 0.9952 0.1487 0.3856 -1 1 2 1 0.3345 0.01673 0.01435 0.01664 0.07657 1 0.00001017 0.06523 0.03229 0.03078 0.1755 10.54 2.828 0.209 0.4387 1 1 0.02447 0.1029 0.2604 0.1646 0.6921 1.751 json
t18_x51_u0_b48 18 51 0 48 add(D,pow(R,pow(R,P))) 130665 148231317 o2(x,o2(x,o2(x,x))) true 73727 73727 -0.9397 0.03638 0.9755 0.08609 0.2934 -1 1 2 1 0.4363 0.008536 0.009174 0.0136 -0.036 1 -0.000003599 0.03691 0.02391 0.01753 0.1324 9.737 2.62 0.2057 0.4287 1 1 0.01259 0.0562 0.1392 0.1463 0.6528 1.617 json
t18_x51_u0_b49 18 51 0 49 add(D,pow(R,mod(R,P))) 130666 148231318 o2(x,o2(x,o2(x,x))) true 73735 73735 -0.9374 0.03516 0.9923 0.108 0.3286 -1 1 2 1 0.3195 0.01166 0.009763 0.01305 0.08839 1 -0.000003947 0.04477 0.02451 0.02124 0.1457 11.17 2.366 0.1984 0.4146 1 1 0.01867 0.07695 0.1964 0.1729 0.7127 1.819 json
t18_x51_u0_b50 18 51 0 50 add(D,pow(R,lrg(R,P))) 130667 148231319 o2(x,o2(x,o2(x,x))) true 73743 73743 0.05233 0.5507 0.9508 0.9142 0.9562 -1 1 2 1 2.112 0.01814 0.01051 0.02874 0.2662 1 0.000145 0.0581 0.041 0.02783 0.1668 5.805 2.807 0.03133 0.06355 1 1 0.03219 0.1394 0.4947 0.03521 0.1524 0.5411 json
t18_x51_u0_b51 18 51 0 51 add(D,pow(R,eql(R,P))) 130668 148231320 o2(x,o2(x,o2(x,x))) true 73751 73751 0.9529 1 0.9529 0.003185 0.05644 0.8546 1 0.1454 1 1.329 0.0007155 0 0.01812 1 1 0.0001582 0.0003006 0.01323 0.0003869 0.01967 1.085 0.05567 0.2246 0.09439 1 1 0.0013 0.005463 0 0.4081 1.715 0 json
t18_x51_u0_b52 18 51 0 52 add(D,pow(R,min(R,P))) 130669 148231321 o2(x,o2(x,o2(x,x))) true 73759 73759 -0.9155 0.04297 0.9985 0.1593 0.3991 -1 1 2 1 0.2992 0.01644 0.01571 0.01647 0.02265 1 0.00001105 0.06719 0.03279 0.03186 0.1785 10.84 2.828 0.2018 0.4218 1 1 0.02528 0.1085 0.2709 0.1587 0.6811 1.701 json
t18_x51_u0_b53 18 51 0 53 add(D,pow(R,dot(R,P))) 130670 148231322 o2(x,o2(x,o2(x,x))) true 73767 73767 -0.9188 0.04297 0.9953 0.1495 0.3867 -1 1 2 1 0.3185 0.01585 0.01424 0.01618 0.05345 1 0.00000998 0.06277 0.03163 0.02982 0.1727 10.67 2.828 0.2012 0.4197 1 1 0.02447 0.1048 0.2608 0.1636 0.7009 1.744 json
t18_x51_u0_b54 18 51 0 54 add(D,pow(R,dst(R,P))) 130671 148231323 o2(x,o2(x,o2(x,x))) true 73775 73775 -0.9497 0.03378 0.9658 0.05804 0.2409 -1 0.7396 1.74 1 0.4097 0.00605 0.005732 0.01129 0.02697 1 -0.000005236 0.02452 0.01993 0.01165 0.1079 9.565 1.97 0.203 0.4224 1 1 0.009749 0.0424 0.1046 0.168 0.7305 1.802 json
t18_x51_u0_b55 18 51 0 55 add(D,mod(R,add(R,P))) 130672 148231324 o2(x,o2(x,o2(x,x))) true 73783 73783 -0.002434 0.4869 0.3815 0.214 0.4626 -1 1 2 1 4.864 0.004191 0.002889 0.07259 0.1839 1 0.00004423 0.0005916 0.01878 0.001811 0.04255 0.5862 0.2845 0.03308 0.002764 1 1 0.0142 0.1632 0.3488 0.06635 0.7623 1.63 json
t18_x51_u0_b56 18 51 0 56 add(D,mod(R,sub(R,P))) 130673 148231325 o2(x,o2(x,o2(x,x))) true 73791 73791 -0.004922 0.484 0.3754 0.2096 0.4578 -1 1 2 1 4.853 0.004179 0.002845 0.07213 0.1898 1 0.00004332 0.0005889 0.01877 0.001822 0.04268 0.5918 0.2845 0.03351 0.00281 1 1 0.01392 0.1596 0.3473 0.06641 0.7616 1.657 json
t18_x51_u0_b57 18 51 0 57 add(D,mod(R,mlt(R,P))) 130674 148231326 o2(x,o2(x,o2(x,x))) true 73799 73799 -0.1288 0.4242 0.4623 0.2994 0.5472 -1 1 2 1 4.736 0.01324 0.002616 0.07156 0.6701 1 0.00005757 0.01991 0.03324 0.01074 0.1036 1.448 1.867 0.05297 0.0665 1 1 0.02389 0.1806 0.4774 0.07978 0.6032 1.595 json
t18_x51_u0_b58 18 51 0 58 add(D,mod(R,div(R,P))) 130675 148231327 o2(x,o2(x,o2(x,x))) true 73807 73807 -0.1241 0.4343 0.2192 0.1252 0.3539 -1 0.8668 1.867 1 3.131 0.01112 0.00008775 0.04104 0.9843 1 -0.000007554 0.01961 0.02948 0.009527 0.09761 2.378 1.867 0.08951 0.1566 1 1 0.01513 0.07 0.1958 0.1208 0.5589 1.564 json
t18_x51_u0_b59 18 51 0 59 add(D,mod(R,pow(R,P))) 130676 148231328 o2(x,o2(x,o2(x,x))) true 73815 73815 -0.9074 0.05206 0.9584 0.1219 0.3491 -1 1 2 1 0.7278 0.01124 0.0117 0.01978 -0.0202 1 -0.000002154 0.04731 0.03268 0.02253 0.1501 7.59 2.019 0.1882 0.3882 1 1 0.02213 0.09673 0.2672 0.1816 0.7936 2.192 json
t18_x51_u0_b60 18 51 0 60 add(D,mod(R,mod(R,P))) 130677 148231329 o2(x,o2(x,o2(x,x))) true 73823 73823 -0.1352 0.4244 0.2535 0.144 0.3794 -1 1 2 1 3.609 0.01141 0.0004025 0.04591 0.9319 1 -0.000002492 0.01964 0.02985 0.009709 0.09853 2.146 1.867 0.08206 0.1364 1 1 0.01649 0.088 0.2423 0.1146 0.6112 1.683 json
t18_x51_u0_b61 18 51 0 61 add(D,mod(R,lrg(R,P))) 130678 148231330 o2(x,o2(x,o2(x,x))) true 73831 73831 -0.5244 0.2449 0.7318 0.38 0.6164 -1 1 2 1 3.157 0.008387 0.004185 0.03983 0.3343 1 -0.0001166 0.01998 0.02216 0.01098 0.1048 2.631 2.543 0.03308 0.05257 1 1 0.0184 0.1168 0.3037 0.04842 0.3073 0.7992 json
t18_x51_u0_b62 18 51 0 62 add(D,mod(R,eql(R,P))) 130679 148231331 o2(x,o2(x,o2(x,x))) true 73839 73839 -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
t18_x51_u0_b63 18 51 0 63 add(D,mod(R,min(R,P))) 130680 148231332 o2(x,o2(x,o2(x,x))) true 73847 73847 -0.06277 0.4695 0.3331 0.2028 0.4503 -1 1 2 1 4.488 0.009446 0.002818 0.06095 0.5404 1 0.00003144 0.01593 0.0286 0.00855 0.09246 1.517 2.098 0.06047 0.07854 1 1 0.01949 0.1401 0.3491 0.09608 0.6908 1.721 json
t18_x51_u0_b64 18 51 0 64 add(D,mod(R,dot(R,P))) 130681 148231333 o2(x,o2(x,o2(x,x))) true 73855 73855 -0.004205 0.4937 0.3919 0.229 0.4786 -1 1 2 1 4.876 0.006024 0.004619 0.07464 0.132 1 0.00002919 0.008036 0.0238 0.005073 0.07122 0.9543 2.098 0.04647 0.03509 1 1 0.01954 0.1749 0.4068 0.08531 0.7639 1.776 json
t18_x51_u0_b65 18 51 0 65 add(D,mod(R,dst(R,P))) 130682 148231334 o2(x,o2(x,o2(x,x))) true 73863 73863 0.009078 0.4986 0.4013 0.2304 0.48 -1 1 2 1 4.899 0.004471 0.003165 0.07546 0.1709 1 0.00002869 0.0006263 0.01935 0.001942 0.04407 0.584 0.2845 0.03314 0.002718 1 1 0.01508 0.1746 0.3904 0.06546 0.7577 1.694 json
t18_x51_u0_b66 18 51 0 66 add(D,lrg(R,add(R,P))) 130683 148231335 o2(x,o2(x,o2(x,x))) true 73871 73871 0.447 0.7305 0.4964 0.2313 0.481 -0.1454 1 1.145 1 3.074 0.001765 0 0.03094 1 1 0.0001582 0.0003479 0.01481 0.0008082 0.02843 0.9188 0.1713 0.00763 0.001504 1 1 0.003752 0.02995 0.06962 0.01622 0.1295 0.3009 json
t18_x51_u0_b67 18 51 0 67 add(D,lrg(R,sub(R,P))) 130684 148231336 o2(x,o2(x,o2(x,x))) true 73879 73879 0.4481 0.75 0.4953 0.224 0.4733 -0.1454 1 1.145 1 3.24 0.001361 0 0.02967 1 1 -4.731e-10 0.0002634 0.01318 0.000481 0.02193 0.7392 0.0625 0.006076 0.001176 1 1 0.002728 0.02228 0.06813 0.01218 0.09944 0.3041 json
t18_x51_u0_b68 18 51 0 68 add(D,lrg(R,mlt(R,P))) 130685 148231337 o2(x,o2(x,o2(x,x))) true 73887 73887 0.4869 0.8489 0.5096 0.1568 0.3959 -0.1454 1 1.145 1 4.004 0.003367 0.002208 0.06159 0.2078 1 0.00006582 0.0006492 0.01738 0.001782 0.04222 0.6854 0.1713 0.03557 0.004142 1 1 0.01079 0.12 0.2801 0.06883 0.7653 1.787 json
t18_x51_u0_b69 18 51 0 69 add(D,lrg(R,div(R,P))) 130686 148231338 o2(x,o2(x,o2(x,x))) true 73895 73895 0.4419 0.8262 0.4687 0.1561 0.3951 -0.1454 1 1.145 1 4.047 0.003381 0.002211 0.06216 0.2093 1 0.00005567 0.0006405 0.01747 0.001729 0.04158 0.669 0.1713 0.03581 0.004102 1 1 0.0107 0.1183 0.286 0.06856 0.758 1.832 json
t18_x51_u0_b70 18 51 0 70 add(D,lrg(R,pow(R,P))) 130687 148231339 o2(x,o2(x,o2(x,x))) true 73903 73903 0.6348 0.8926 0.6517 0.1606 0.4008 -0.1454 1 1.145 1 3.471 0.002207 0.001269 0.04388 0.2697 1 0.00002167 0.0004709 0.01521 0.001551 0.03938 0.8976 0.1713 0.02164 0.002932 1 1 0.00695 0.07417 0.197 0.04327 0.4618 1.227 json
t18_x51_u0_b71 18 51 0 71 add(D,lrg(R,mod(R,P))) 130688 148231340 o2(x,o2(x,o2(x,x))) true 73911 73911 0.0614 0.543 0.1462 0.05374 0.2318 -0.1454 1 1.145 1 3.075 0.002292 0 0.04018 1 1 9.461e-10 0.0003168 0.0146 0.0006788 0.02605 0.6483 0.1713 0.04265 0.005895 1 1 0.004861 0.04401 0.06323 0.09045 0.819 1.176 json
t18_x51_u0_b72 18 51 0 72 add(D,lrg(R,lrg(R,P))) 130689 148231341 o2(x,o2(x,o2(x,x))) true 73919 73919 0.2114 0.6705 0.2707 0.121 0.3478 -0.1454 1 1.145 1 3.772 0.002526 0.001181 0.05046 0.3627 1 -0.00002799 0.0004429 0.01583 0.001162 0.03409 0.6756 0.1713 0.03063 0.00366 1 1 0.007152 0.07478 0.1394 0.05911 0.618 1.152 json
t18_x51_u0_b73 18 51 0 73 add(D,lrg(R,eql(R,P))) 130690 148231342 o2(x,o2(x,o2(x,x))) true 73927 73927 0.4724 0.846 0.4956 0.1536 0.3919 -0.1454 1 1.145 1 4.04 0.003373 0.002386 0.06328 0.1715 1 0.00003424 0.0006621 0.01757 0.001756 0.0419 0.6622 0.1713 0.0375 0.004311 1 1 0.01136 0.1266 0.2692 0.07399 0.8245 1.753 json
t18_x51_u0_b74 18 51 0 74 add(D,lrg(R,min(R,P))) 130691 148231343 o2(x,o2(x,o2(x,x))) true 73935 73935 0.4732 0.747 0.5197 0.2303 0.4799 -0.1454 1 1.145 1 3.108 0.001715 0.0001036 0.03121 0.8861 1 0.0001526 0.0003549 0.01484 0.0008444 0.02906 0.931 0.1713 0.007896 0.001541 1 1 0.003911 0.03228 0.08375 0.01699 0.1402 0.3637 json
t18_x51_u0_b75 18 51 0 75 add(D,lrg(R,dot(R,P))) 130692 148231344 o2(x,o2(x,o2(x,x))) true 73943 73943 0.5246 0.8706 0.5431 0.1525 0.3905 -0.1454 1 1.145 1 3.956 0.003347 0.002282 0.06158 0.1892 1 0.00008047 0.000658 0.01742 0.001838 0.04287 0.6962 0.1713 0.03692 0.004316 1 1 0.01102 0.1229 0.2965 0.07228 0.8059 1.945 json
t18_x51_u0_b76 18 51 0 76 add(D,lrg(R,dst(R,P))) 130693 148231345 o2(x,o2(x,o2(x,x))) true 73951 73951 0 0.5 0.09436 0.01082 0.104 -0.1454 0.1454 0.2908 1 2.561 0.001632 0 0.0361 1 1 0 0.0002563 0.01459 0.0003304 0.01818 0.5036 0.06192 0.1508 0.02368 1 1 0.003151 0.02183 0 0.2912 2.017 0 json
t18_x51_u0_b77 18 51 0 77 add(D,eql(R,add(R,P))) 130694 148231346 o2(x,o2(x,o2(x,x))) true 73959 73959 0.0614 0.543 0.1462 0.05374 0.2318 -0.1454 1 1.145 1 3.075 0.002292 0 0.04018 1 1 9.461e-10 0.0003168 0.0146 0.0006788 0.02605 0.6483 0.1713 0.04265 0.005895 1 1 0.004861 0.04401 0.06323 0.09045 0.819 1.176 json
t18_x51_u0_b78 18 51 0 78 add(D,eql(R,sub(R,P))) 130695 148231347 o2(x,o2(x,o2(x,x))) true 73967 73967 0.0614 0.543 0.1462 0.05374 0.2318 -0.1454 1 1.145 1 3.075 0.002292 0 0.04018 1 1 9.461e-10 0.0003168 0.0146 0.0006788 0.02605 0.6483 0.1713 0.04265 0.005895 1 1 0.004861 0.04401 0.06323 0.09045 0.819 1.176 json
t18_x51_u0_b79 18 51 0 79 add(D,eql(R,mlt(R,P))) 130696 148231348 o2(x,o2(x,o2(x,x))) true 73975 73975 0.0614 0.543 0.1462 0.05374 0.2318 -0.1454 1 1.145 1 3.075 0.002292 0 0.04018 1 1 9.461e-10 0.0003168 0.0146 0.0006788 0.02605 0.6483 0.1713 0.04265 0.005895 1 1 0.004861 0.04401 0.06323 0.09045 0.819 1.176 json
t18_x51_u0_b80 18 51 0 80 add(D,eql(R,div(R,P))) 130697 148231349 o2(x,o2(x,o2(x,x))) true 73983 73983 0.0614 0.543 0.1462 0.05374 0.2318 -0.1454 1 1.145 1 3.075 0.002292 0 0.04018 1 1 9.461e-10 0.0003168 0.0146 0.0006788 0.02605 0.6483 0.1713 0.04265 0.005895 1 1 0.004861 0.04401 0.06323 0.09045 0.819 1.176 json
t18_x51_u0_b81 18 51 0 81 add(D,eql(R,pow(R,P))) 130698 148231350 o2(x,o2(x,o2(x,x))) true 73991 73991 0.03861 0.5327 0.1256 0.03568 0.1889 -0.1454 1 1.145 1 2.966 0.002013 0.0001737 0.03985 0.8411 1 -0.00001141 0.0003026 0.01485 0.0005997 0.02449 0.6146 0.1713 0.06128 0.00848 1 1 0.00452 0.03944 0.0414 0.1267 1.105 1.16 json
t18_x51_u0_b82 18 51 0 82 add(D,eql(R,mod(R,P))) 130699 148231351 o2(x,o2(x,o2(x,x))) true 73999 73999 0.8952 0.9805 0.8974 0.04398 0.2097 -0.09672 1 1.097 1 1.984 0.001494 0 0.02452 1 1 0.0001582 0.000355 0.0134 0.0008929 0.02988 1.219 0.1713 0.03397 0.008072 1 1 0.003329 0.03019 0.05883 0.07569 0.6865 1.338 json