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_x49_u0_b185 18 49 0 185 sub(D,mod(R,dot(D,D))) 130400 148150652 o2(x,o2(x,o2(x,x))) true 71607 71607 0.003414 0.507 0.1135 0.01856 0.1362 -0.4567 0.4444 0.901 1 3.166 0.004942 0.003331 0.07749 0.1948 1 -0.000002224 0.03036 0.1265 0.002268 0.04763 0.6146 0.4163 0.4457 1.636 1 1 0.007487 0.0305 0.01513 0.4033 1.643 0.8153 json
t18_x49_u0_b186 18 49 0 186 sub(D,mod(R,dst(D,D))) 130401 148150653 o2(x,o2(x,o2(x,x))) true 71615 71615 -0.009165 0.5021 0.4005 0.2287 0.4782 -1 1 2 1 4.894 0.004393 0.003164 0.07461 0.1626 1 -0.00003074 0.0006179 0.01902 0.001989 0.0446 0.5978 0.2561 0.03305 0.002702 1 1 0.01479 0.1717 0.3901 0.06468 0.751 1.706 json
t18_x49_u0_b187 18 49 0 187 sub(D,lrg(R,add(D,D))) 130402 148150654 o2(x,o2(x,o2(x,x))) true 71623 71623 -0.494 0.1593 0.5107 0.1511 0.3887 -1 0.09672 1.097 1 3.82 0.04032 0.001599 0.1263 0.9237 1 0.0006032 0.07022 0.1214 0.02598 0.1612 1.276 1.049 0.2775 0.4648 1 1 0.04795 0.2184 0.2027 0.3175 1.446 1.342 json
t18_x49_u0_b188 18 49 0 188 sub(D,lrg(R,sub(D,D))) 130403 148150655 o2(x,o2(x,o2(x,x))) true 71631 71631 -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_x49_u0_b189 18 49 0 189 sub(D,lrg(R,mlt(D,D))) 130404 148150656 o2(x,o2(x,o2(x,x))) true 71639 71639 -0.428 0.1757 0.457 0.154 0.3925 -1 0.1454 1.145 1 4.07 0.01002 0.002251 0.07384 0.6332 1 -0.00006149 0.01448 0.04355 0.006821 0.08259 1.118 1.055 0.07967 0.09403 1 1 0.01608 0.1333 0.2754 0.1044 0.8652 1.788 json
t18_x49_u0_b190 18 49 0 190 sub(D,lrg(R,div(D,D))) 130405 148150657 o2(x,o2(x,o2(x,x))) true 71647 71647 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_x49_u0_b191 18 49 0 191 sub(D,lrg(R,pow(D,D))) 130406 148150658 o2(x,o2(x,o2(x,x))) true 71655 71655 -0.5553 0.2455 0.5826 0.1917 0.4379 -1 0.09672 1.097 1 3.184 0.07208 0.0005761 0.1321 0.9841 1 -0.00009238 0.1312 0.1514 0.05518 0.2349 1.778 1.031 0.379 0.6845 1 1 0.08143 0.329 0.07881 0.4247 1.716 0.4111 json
t18_x49_u0_b192 18 49 0 192 sub(D,lrg(R,mod(D,D))) 130407 148150659 o2(x,o2(x,o2(x,x))) true 71663 71663 -0.4769 0.1712 0.5026 0.1603 0.4004 -1 0.1454 1.145 1 3.997 0.04484 0.00225 0.1212 0.9044 1 0.00007723 0.1128 0.1437 0.03238 0.18 1.484 1.055 0.2937 0.7033 1 1 0.0369 0.1515 0.2626 0.2302 0.9451 1.638 json
t18_x49_u0_b193 18 49 0 193 sub(D,lrg(R,lrg(D,D))) 130408 148150660 o2(x,o2(x,o2(x,x))) true 71671 71671 -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_x49_u0_b194 18 49 0 194 sub(D,lrg(R,eql(D,D))) 130409 148150661 o2(x,o2(x,o2(x,x))) true 71679 71679 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_x49_u0_b195 18 49 0 195 sub(D,lrg(R,min(D,D))) 130410 148150662 o2(x,o2(x,o2(x,x))) true 71687 71687 -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_x49_u0_b196 18 49 0 196 sub(D,lrg(R,dot(D,D))) 130411 148150663 o2(x,o2(x,o2(x,x))) true 71695 71695 -0.3806 0.2142 0.4184 0.1553 0.3941 -1 0.1454 1.145 1 4.057 0.01031 0.00904 0.08262 0.06575 1 -0.0002702 0.04496 0.07319 0.01253 0.1119 1.355 1.453 0.1246 0.2894 1 1 0.02217 0.1511 0.273 0.1427 0.9726 1.758 json
t18_x49_u0_b197 18 49 0 197 sub(D,lrg(R,dst(D,D))) 130412 148150664 o2(x,o2(x,o2(x,x))) true 71703 71703 -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_x49_u0_b198 18 49 0 198 sub(D,eql(R,add(D,D))) 130413 148150665 o2(x,o2(x,o2(x,x))) true 71711 71711 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_x49_u0_b199 18 49 0 199 sub(D,eql(R,sub(D,D))) 130414 148150666 o2(x,o2(x,o2(x,x))) true 71719 71719 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_x49_u0_b200 18 49 0 200 sub(D,eql(R,mlt(D,D))) 130415 148150667 o2(x,o2(x,o2(x,x))) true 71727 71727 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_b0 18 50 0 0 add(D,add(R,add(D,R))) 130416 148190868 o2(x,o2(x,o2(x,x))) true 71735 71735 0.01364 0.4986 0.6596 0.5488 0.7408 -1 1 2 1 4.376 0.01265 0.00955 0.1069 0.1397 1 0.00002705 0.00462 0.0369 0.01077 0.1038 0.971 0.5689 0.04046 0.008419 1 1 0.04317 0.4419 0.951 0.07867 0.8054 1.733 json
t18_x50_u0_b1 18 50 0 1 add(D,add(R,sub(D,R))) 130417 148190869 o2(x,o2(x,o2(x,x))) true 71743 71743 0 0.5 0.1887 0.04329 0.2081 -0.2908 0.2908 0.5817 1 2.906 0.00653 0 0.07219 1 1 0 0.001025 0.02918 0.001321 0.03635 0.5036 0.1238 0.1508 0.02368 1 1 0.0126 0.08733 2.094e-14 0.2912 2.017 4.838e-13 json
t18_x50_u0_b2 18 50 0 2 add(D,add(R,mlt(D,R))) 130418 148190870 o2(x,o2(x,o2(x,x))) true 71751 71751 0.008501 0.485 0.4094 0.2418 0.4918 -0.9989 1 1.999 1 4.895 0.005179 0.003351 0.07752 0.2144 1 0.00001081 0.0007931 0.02097 0.002521 0.05021 0.6477 0.3011 0.03527 0.00328 1 1 0.0168 0.1932 0.4145 0.06947 0.7989 1.714 json
t18_x50_u0_b3 18 50 0 3 add(D,add(R,div(D,R))) 130419 148190871 o2(x,o2(x,o2(x,x))) true 71759 71759 -0.001998 0.4888 0.6606 0.5433 0.7371 -1 1 2 1 4.493 0.03618 0.01259 0.1356 0.4836 1 0.00005242 0.04008 0.07155 0.03038 0.1743 1.285 2.005 0.08976 0.07377 1 1 0.07239 0.6012 1.018 0.1332 1.106 1.873 json
t18_x50_u0_b4 18 50 0 4 add(D,add(R,pow(D,R))) 130420 148190872 o2(x,o2(x,o2(x,x))) true 71767 71767 -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_x50_u0_b5 18 50 0 5 add(D,add(R,mod(D,R))) 130421 148190873 o2(x,o2(x,o2(x,x))) true 71775 71775 0.008873 0.5055 0.4154 0.263 0.5128 -1 1 2 1 4.898 0.01215 0.003232 0.1039 0.5797 1 0.00004253 0.008214 0.05921 0.004595 0.06779 0.6527 0.6644 0.05848 0.03123 1 1 0.02756 0.2479 0.3969 0.1048 0.9427 1.509 json
t18_x50_u0_b6 18 50 0 6 add(D,add(R,lrg(D,R))) 130422 148190874 o2(x,o2(x,o2(x,x))) true 71783 71783 0.5061 0.9518 0.515 0.08227 0.2868 -0.3766 1 1.377 1 4.125 0.01973 0.0009068 0.08625 0.9121 1 0.00001263 0.03379 0.07389 0.0132 0.1149 1.332 1.05 0.2509 0.4107 1 1 0.0231 0.1052 0.111 0.2808 1.279 1.349 json
t18_x50_u0_b7 18 50 0 7 add(D,add(R,eql(D,R))) 130423 148190875 o2(x,o2(x,o2(x,x))) true 71791 71791 0.009118 0.4987 0.4013 0.2304 0.48 -1 1 2 1 4.899 0.004486 0.003165 0.0755 0.1727 1 0.00002881 0.0006704 0.01946 0.001951 0.04417 0.585 0.4052 0.0332 0.00291 1 1 0.01508 0.1746 0.3903 0.06546 0.7577 1.694 json
t18_x50_u0_b8 18 50 0 8 add(D,add(R,min(D,R))) 130424 148190876 o2(x,o2(x,o2(x,x))) true 71799 71799 -0.2025 0.3866 0.5593 0.3792 0.6158 -1 1 2 1 4.69 0.009068 0.005904 0.09654 0.2113 1 0.0001203 0.002183 0.02978 0.005651 0.07517 0.7787 0.4284 0.03948 0.005758 1 1 0.02903 0.3112 0.6359 0.07655 0.8206 1.677 json
t18_x50_u0_b9 18 50 0 9 add(D,add(R,dot(D,R))) 130425 148190877 o2(x,o2(x,o2(x,x))) true 71807 71807 0.01017 0.4881 0.4203 0.2551 0.505 -1 1 2 1 4.915 0.005371 0.004111 0.08291 0.1329 1 -0.00007452 0.000942 0.02246 0.002607 0.05106 0.6158 0.3573 0.03717 0.003693 1 1 0.01844 0.2118 0.4359 0.07231 0.8304 1.709 json
t18_x50_u0_b10 18 50 0 10 add(D,add(R,dst(D,R))) 130426 148190878 o2(x,o2(x,o2(x,x))) true 71815 71815 0.8034 0.9891 0.805 0.07533 0.2745 -0.2303 1 1.23 1 2.723 0.003353 0.002001 0.04658 0.2525 1 -0.00008934 0.001497 0.02033 0.003183 0.05642 1.211 0.3078 0.07107 0.01987 1 1 0.01016 0.08696 0.1267 0.1348 1.154 1.681 json
t18_x50_u0_b11 18 50 0 11 add(D,sub(R,add(D,R))) 130427 148190879 o2(x,o2(x,o2(x,x))) true 71823 71823 3.067e-10 0 1.613e-9 4.834e-17 6.953e-9 -5.957e-8 5.957e-8 1.191e-7 1 0.06517 1.325e-17 7.365e-19 7.428e-10 0.00001252 0 -2.975e-15 2.653e-17 7.949e-10 1.343e-17 3.665e-9 4.934 5.957e-8 0.00001399 0.00002653 0 1 1.387e-17 5.646e-17 8.845e-17 0.00001387 0.00005646 0.00008845 json
t18_x50_u0_b12 18 50 0 12 add(D,sub(R,sub(D,R))) 130428 148190880 o2(x,o2(x,o2(x,x))) true 71831 71831 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
t18_x50_u0_b13 18 50 0 13 add(D,sub(R,mlt(D,R))) 130429 148190881 o2(x,o2(x,o2(x,x))) true 71839 71839 0.009762 0.5123 0.4114 0.2415 0.4914 -1 0.981 1.981 1 4.891 0.00514 0.003371 0.07816 0.2078 1 0.00004661 0.0007868 0.02109 0.002402 0.04901 0.627 0.3026 0.03524 0.003258 1 1 0.01682 0.193 0.4128 0.06965 0.7991 1.709 json
t18_x50_u0_b14 18 50 0 14 add(D,sub(R,div(D,R))) 130430 148190882 o2(x,o2(x,o2(x,x))) true 71847 71847 0.01949 0.5321 0.6615 0.5415 0.7359 -1 1 2 1 4.501 0.03584 0.01267 0.137 0.4777 1 0.0001397 0.03849 0.07148 0.02972 0.1724 1.258 2.087 0.08957 0.07107 1 1 0.07541 0.6196 1.012 0.1393 1.144 1.869 json
t18_x50_u0_b15 18 50 0 15 add(D,sub(R,pow(D,R))) 130431 148190883 o2(x,o2(x,o2(x,x))) true 71855 71855 -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_x50_u0_b16 18 50 0 16 add(D,sub(R,mod(D,R))) 130432 148190884 o2(x,o2(x,o2(x,x))) true 71863 71863 0.009289 0.4977 0.3984 0.2246 0.474 -1 1 2 1 4.874 0.0058 0.003262 0.07696 0.28 1 0.00002235 0.007045 0.05183 0.003139 0.05603 0.728 0.4002 0.04034 0.03136 1 1 0.01469 0.1613 0.4003 0.06538 0.7181 1.782 json
t18_x50_u0_b17 18 50 0 17 add(D,sub(R,lrg(D,R))) 130433 148190885 o2(x,o2(x,o2(x,x))) true 71871 71871 -0.3483 0.3315 0.6509 0.4135 0.6431 -1 1 2 1 4.155 0.0204 0.007416 0.1044 0.4667 1 0.0001276 0.03083 0.06921 0.01691 0.13 1.245 1.14 0.06725 0.07455 1 1 0.04025 0.3476 0.7761 0.09733 0.8406 1.877 json
t18_x50_u0_b18 18 50 0 18 add(D,sub(R,eql(D,R))) 130434 148190886 o2(x,o2(x,o2(x,x))) true 71879 71879 0.009038 0.4986 0.4013 0.2304 0.48 -1 1 2 1 4.899 0.004484 0.003166 0.0755 0.1723 1 0.00002857 0.0006703 0.01947 0.00195 0.04416 0.585 0.3915 0.0332 0.002909 1 1 0.01508 0.1746 0.3904 0.06546 0.7577 1.694 json
t18_x50_u0_b19 18 50 0 19 add(D,sub(R,min(D,R))) 130435 148190887 o2(x,o2(x,o2(x,x))) true 71887 71887 0.2892 0.8267 0.3173 0.07861 0.2804 -0.1454 0.9811 1.127 1 4.075 0.002012 0.001105 0.04856 0.2911 1 0.000005686 0.0003091 0.01397 0.0007593 0.02755 0.5674 0.1649 0.03965 0.003931 1 1 0.006231 0.07031 0.1475 0.07926 0.8944 1.876 json
t18_x50_u0_b20 18 50 0 20 add(D,sub(R,dot(D,R))) 130436 148190888 o2(x,o2(x,o2(x,x))) true 71895 71895 0.007622 0.511 0.4213 0.2536 0.5036 -1 1 2 1 4.922 0.005294 0.004174 0.08374 0.1184 1 0.0001342 0.0009206 0.02249 0.002456 0.04955 0.5918 0.317 0.03733 0.00363 1 1 0.01877 0.2139 0.4466 0.074 0.8433 1.761 json
t18_x50_u0_b21 18 50 0 21 add(D,sub(R,dst(D,R))) 130437 148190889 o2(x,o2(x,o2(x,x))) true 71903 71903 -0.8034 0.0119 0.8051 0.07596 0.2756 -1 0.2241 1.224 1 2.739 0.003273 0.001911 0.04605 0.2629 1 0.00007091 0.001364 0.01947 0.003064 0.05535 1.202 0.3348 0.06824 0.01795 1 1 0.009534 0.08338 0.118 0.1255 1.098 1.553 json
t18_x50_u0_b22 18 50 0 22 add(D,mlt(R,add(D,R))) 130438 148190890 o2(x,o2(x,o2(x,x))) true 71911 71911 0.3482 0.9087 0.3591 0.07922 0.2815 -0.1759 1 1.176 1 4.063 0.003084 0.0009962 0.05388 0.5117 1 -0.00003443 0.0005078 0.01727 0.001177 0.03431 0.6369 0.1968 0.0515 0.00641 1 1 0.00757 0.07487 0.1272 0.09556 0.9451 1.606 json
t18_x50_u0_b23 18 50 0 23 add(D,mlt(R,sub(D,R))) 130439 148190891 o2(x,o2(x,o2(x,x))) true 71919 71919 -0.3461 0.0997 0.3587 0.08134 0.2852 -1 0.1744 1.174 1 4.08 0.003102 0.0009992 0.05447 0.5127 1 -0.00005252 0.0004987 0.01739 0.001134 0.03368 0.6183 0.1922 0.05041 0.006131 1 1 0.007639 0.07631 0.1352 0.09391 0.9382 1.662 json
t18_x50_u0_b24 18 50 0 24 add(D,mlt(R,mlt(D,R))) 130440 148190892 o2(x,o2(x,o2(x,x))) true 71927 71927 -0.0005061 0.499 0.1335 0.02372 0.154 -0.3662 0.3789 0.7451 1 3.272 0.003184 0.00006439 0.05067 0.9604 1 0.00001161 0.0004946 0.01995 0.0006809 0.02609 0.515 0.1241 0.137 0.02086 1 1 0.006184 0.04506 0.00836 0.2608 1.9 0.3525 json
t18_x50_u0_b25 18 50 0 25 add(D,mlt(R,div(D,R))) 130441 148190893 o2(x,o2(x,o2(x,x))) true 71935 71935 6.257e-10 0.5 0.1887 0.04329 0.2081 -0.2908 0.2908 0.5817 1 2.906 0.00653 3.901e-18 0.07219 1 1 2.377e-10 0.001025 0.02918 0.001321 0.03635 0.5036 0.1238 0.1508 0.02368 1 1 0.0126 0.08733 2.396e-16 0.2912 2.017 5.534e-15 json
t18_x50_u0_b26 18 50 0 26 add(D,mlt(R,pow(D,R))) 130442 148190894 o2(x,o2(x,o2(x,x))) true 71943 71943 -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_x50_u0_b27 18 50 0 27 add(D,mlt(R,mod(D,R))) 130443 148190895 o2(x,o2(x,o2(x,x))) true 71951 71951 0.001367 0.501 0.1229 0.02484 0.1576 -0.4898 0.5372 1.027 1 3.369 0.002878 0.0002006 0.04667 0.8697 1 -0.0000482 0.001511 0.02657 0.0009006 0.03001 0.643 0.2082 0.1239 0.0608 1 1 0.005452 0.04222 0.0274 0.2194 1.699 1.103 json
t18_x50_u0_b28 18 50 0 28 add(D,mlt(R,lrg(D,R))) 130444 148190896 o2(x,o2(x,o2(x,x))) true 71959 71959 -0.2236 0.2357 0.2709 0.08262 0.2874 -1 0.3834 1.383 1 4.089 0.00396 0.0009943 0.05694 0.5986 1 -0.00001417 0.003558 0.03051 0.001712 0.04138 0.7266 0.4022 0.05997 0.04306 1 1 0.008018 0.06855 0.1161 0.09705 0.8296 1.405 json
t18_x50_u0_b29 18 50 0 29 add(D,mlt(R,eql(D,R))) 130445 148190897 o2(x,o2(x,o2(x,x))) true 71967 71967 -0.00002379 0.4999 0.09436 0.01082 0.104 -0.1454 0.1454 0.2908 1 2.561 0.001637 5.318e-8 0.03612 0.9999 1 -6.949e-8 0.0002718 0.01466 0.0003336 0.01826 0.5057 0.2294 0.1513 0.02511 1 1 0.003151 0.02183 0.000002772 0.2911 2.017 0.0002561 json
t18_x50_u0_b30 18 50 0 30 add(D,mlt(R,min(D,R))) 130446 148190898 o2(x,o2(x,o2(x,x))) true 71975 71975 0.1678 0.7172 0.24 0.0701 0.2648 -0.3735 1 1.373 1 4.03 0.003424 0.0007279 0.05676 0.6493 1 -0.00003434 0.0005272 0.01951 0.0009299 0.03049 0.5373 0.177 0.05922 0.007521 1 1 0.007777 0.06813 0.08524 0.111 0.9719 1.216 json
t18_x50_u0_b31 18 50 0 31 add(D,mlt(R,dot(D,R))) 130447 148190899 o2(x,o2(x,o2(x,x))) true 71983 71983 -0.00006284 0.5007 0.141 0.02948 0.1717 -0.6158 0.5647 1.18 1 3.499 0.003275 0.0003636 0.05418 0.8001 1 -0.000001834 0.0005327 0.02009 0.0007027 0.02651 0.4893 0.1564 0.1234 0.01807 1 1 0.006915 0.05339 0.02045 0.2346 1.811 0.6939 json
t18_x50_u0_b32 18 50 0 32 add(D,mlt(R,dst(D,R))) 130448 148190900 o2(x,o2(x,o2(x,x))) true 71991 71991 0.02026 0.5086 0.4458 0.2938 0.5421 -1 1 2 1 4.9 0.004591 0.004375 0.07769 0.02414 1 0.00005305 0.0008277 0.01996 0.002931 0.05414 0.6969 0.3196 0.03052 0.002817 1 1 0.01739 0.2082 0.5188 0.05919 0.7084 1.766 json
t18_x50_u0_b33 18 50 0 33 add(D,div(R,add(D,R))) 130449 148190901 o2(x,o2(x,o2(x,x))) true 71999 71999 0.5885 0.8502 0.7948 0.3688 0.6073 -1 1 2 1 3.267 0.3137 0.009247 0.2541 0.9427 1 0.00169 0.7889 0.3926 0.2584 0.5083 2 2.828 0.8757 2.139 1 1 0.2665 0.5077 0.667 0.7226 1.377 1.809 json
t18_x50_u0_b34 18 50 0 34 add(D,div(R,sub(D,R))) 130450 148190902 o2(x,o2(x,o2(x,x))) true 72007 72007 -0.5963 0.1505 0.8063 0.3746 0.612 -1 1 2 1 3.189 0.3077 0.008953 0.2487 0.9435 1 -0.00006057 0.7721 0.3857 0.2548 0.5048 2.029 2.828 0.8454 2.061 1 1 0.2625 0.5206 0.6836 0.7006 1.39 1.825 json
t18_x50_u0_b35 18 50 0 35 add(D,div(R,mlt(D,R))) 130451 148190903 o2(x,o2(x,o2(x,x))) true 72015 72015 1.095e-8 0.5 0.9234 0.8937 0.9453 -1 1 2 1 1.544 0.3238 2.169e-17 0.246 1 1 1.134e-9 0.5271 0.3365 0.2634 0.5132 2.086 2 0.3624 0.5898 1 1 0.3873 1.749 2.009e-15 0.4334 1.957 2.248e-15 json
t18_x50_u0_b36 18 50 0 36 add(D,div(R,div(D,R))) 130452 148190904 o2(x,o2(x,o2(x,x))) true 72023 72023 -0.001494 0.4993 0.7061 0.6236 0.7897 -1 1 2 1 3.84 0.2603 0.00272 0.2412 0.9793 1 -0.000004488 0.4903 0.2897 0.205 0.4527 1.877 2.096 0.4218 0.7863 1 1 0.2886 1.115 0.1955 0.4628 1.788 0.3135 json
t18_x50_u0_b37 18 50 0 37 add(D,div(R,pow(D,R))) 130453 148190905 o2(x,o2(x,o2(x,x))) true 72031 72031 -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_x50_u0_b38 18 50 0 38 add(D,div(R,mod(D,R))) 130454 148190906 o2(x,o2(x,o2(x,x))) true 72039 72039 0.007951 0.5033 0.8975 0.8637 0.9293 -1 1 2 1 2.455 0.5456 0.0432 0.4025 0.8533 1 0.0002525 1.502 0.7053 0.4268 0.6533 1.623 2.828 0.6817 1.739 1 1 0.4842 1.488 1.643 0.5607 1.723 1.903 json
t18_x50_u0_b39 18 50 0 39 add(D,div(R,lrg(D,R))) 130455 148190907 o2(x,o2(x,o2(x,x))) true 72047 72047 -0.7974 0.08961 0.9762 0.3287 0.5733 -1 1 2 1 0.9549 0.1387 0.04006 0.101 0.5519 1 0.00003417 0.4122 0.2007 0.1685 0.4105 4.064 2.828 0.544 1.254 1 1 0.1652 0.4768 0.5333 0.5027 1.451 1.622 json
t18_x50_u0_b40 18 50 0 40 add(D,div(R,eql(D,R))) 130456 148190908 o2(x,o2(x,o2(x,x))) true 72055 72055 -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_x50_u0_b41 18 50 0 41 add(D,div(R,min(D,R))) 130457 148190909 o2(x,o2(x,o2(x,x))) true 72063 72063 0.429 0.7448 0.8313 0.5789 0.7609 -1 1 2 1 3.275 0.1752 0.008554 0.1789 0.9069 1 -0.00004792 0.3387 0.2086 0.1517 0.3895 2.177 2.317 0.3173 0.5851 1 1 0.2017 0.899 0.5889 0.3483 1.553 1.017 json
t18_x50_u0_b42 18 50 0 42 add(D,div(R,dot(D,R))) 130458 148190910 o2(x,o2(x,o2(x,x))) true 72071 72071 0.000808 0.5002 0.8744 0.8332 0.9128 -1 1 2 1 2.68 0.3846 0.3205 0.428 0.0909 1 -0.00003843 2.424 0.7542 0.522 0.7225 1.688 2.828 0.8461 2.909 1 1 0.6936 1.888 1.196 0.8324 2.266 1.435 json
t18_x50_u0_b43 18 50 0 43 add(D,div(R,dst(D,R))) 130459 148190911 o2(x,o2(x,o2(x,x))) true 72079 72079 0.001044 0.4916 0.4037 0.2355 0.4852 -1 1 2 1 4.892 0.006447 0.003734 0.08476 0.2665 1 -0.00003997 0.002055 0.0251 0.002997 0.05474 0.6459 1.28 0.04324 0.008728 1 1 0.01949 0.2007 0.3825 0.08279 0.8523 1.625 json
t18_x50_u0_b44 18 50 0 44 add(D,pow(R,add(D,R))) 130460 148190912 o2(x,o2(x,o2(x,x))) true 72087 72087 -0.9224 0.04297 0.9916 0.1345 0.3667 -1 1 2 1 0.3661 0.01335 0.01318 0.01569 0.006344 1 -0.000002903 0.05531 0.03001 0.02628 0.1621 10.33 2.625 0.1972 0.4113 1 1 0.02022 0.08781 0.2207 0.1504 0.6529 1.641 json
t18_x50_u0_b45 18 50 0 45 add(D,pow(R,sub(D,R))) 130461 148190913 o2(x,o2(x,o2(x,x))) true 72095 72095 -0.9141 0.04297 0.9999 0.1642 0.4052 -1 1 2 1 0.2586 0.01688 0.01631 0.01655 0.01709 1 0.000003379 0.06941 0.03327 0.0329 0.1814 10.96 2.828 0.2022 0.4227 1 1 0.02541 0.1094 0.2753 0.1548 0.6664 1.676 json
t18_x50_u0_b46 18 50 0 46 add(D,pow(R,mlt(D,R))) 130462 148190914 o2(x,o2(x,o2(x,x))) true 72103 72103 -0.9156 0.04297 0.9985 0.159 0.3987 -1 1 2 1 0.3006 0.01669 0.01587 0.01684 0.02533 1 0.000009316 0.06845 0.03327 0.03226 0.1796 10.67 2.801 0.2048 0.4305 1 1 0.02477 0.1059 0.2659 0.1558 0.6661 1.673 json
t18_x50_u0_b47 18 50 0 47 add(D,pow(R,div(D,R))) 130463 148190915 o2(x,o2(x,o2(x,x))) true 72111 72111 -0.9168 0.04297 0.9973 0.1549 0.3936 -1 1 2 1 0.3203 0.01644 0.01527 0.01681 0.03686 1 -0.00001292 0.06668 0.03285 0.03142 0.1773 10.55 2.828 0.2047 0.4304 1 1 0.0247 0.1059 0.2583 0.1594 0.6837 1.667 json
t18_x50_u0_b48 18 50 0 48 add(D,pow(R,pow(D,R))) 130464 148190916 o2(x,o2(x,o2(x,x))) true 72119 72119 -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_x50_u0_b49 18 50 0 49 add(D,pow(R,mod(D,R))) 130465 148190917 o2(x,o2(x,o2(x,x))) true 72127 72127 -0.9152 0.04297 0.9989 0.1604 0.4004 -1 1 2 1 0.2917 0.0168 0.01599 0.01715 0.02458 1 0.00001111 0.06881 0.03408 0.03247 0.1802 10.51 2.828 0.2045 0.4291 1 1 0.02505 0.1073 0.2687 0.1562 0.6694 1.676 json
t18_x50_u0_b50 18 50 0 50 add(D,pow(R,lrg(D,R))) 130466 148190918 o2(x,o2(x,o2(x,x))) true 72135 72135 -0.7563 0.1287 0.9864 0.4053 0.6367 -1 1 2 1 0.8389 0.078 0.03739 0.06321 0.3519 1 0.00001398 0.2453 0.1233 0.1113 0.3337 5.279 2.828 0.2847 0.6051 1 1 0.1165 0.4257 0.7907 0.2874 1.05 1.951 json
t18_x50_u0_b51 18 50 0 51 add(D,pow(R,eql(D,R))) 130467 148190919 o2(x,o2(x,o2(x,x))) true 72143 72143 0.9525 0.9998 0.9529 0.004115 0.06414 -1 1 2 1 1.333 0.002479 0.00006299 0.01904 0.9504 1 0.0001582 0.005993 0.01506 0.00218 0.04669 2.453 2 0.6178 1.457 1 1 0.0013 0.005463 0.000831 0.3159 1.328 0.202 json
t18_x50_u0_b52 18 50 0 52 add(D,pow(R,min(D,R))) 130468 148190920 o2(x,o2(x,o2(x,x))) true 72151 72151 -0.9151 0.04297 0.999 0.1608 0.401 -1 1 2 1 0.2903 0.01676 0.01598 0.01671 0.02375 1 0.000007466 0.06867 0.03325 0.03244 0.1801 10.78 2.828 0.2036 0.4271 1 1 0.02507 0.1076 0.2687 0.1559 0.669 1.671 json
t18_x50_u0_b53 18 50 0 53 add(D,pow(R,dot(D,R))) 130469 148190921 o2(x,o2(x,o2(x,x))) true 72159 72159 -0.9161 0.04297 0.998 0.157 0.3963 -1 1 2 1 0.3152 0.0162 0.01586 0.01688 0.01062 1 0.000005811 0.06725 0.03303 0.03176 0.1782 10.56 2.828 0.2042 0.4282 1 1 0.02446 0.1044 0.2627 0.1557 0.6645 1.673 json
t18_x50_u0_b54 18 50 0 54 add(D,pow(R,dst(D,R))) 130470 148190922 o2(x,o2(x,o2(x,x))) true 72167 72167 -0.9319 0.04297 0.9822 0.1053 0.3246 -1 1 2 1 0.4147 0.01074 0.01082 0.01509 -0.003573 1 -0.000002335 0.04501 0.02713 0.02134 0.1461 9.684 2.53 0.2047 0.4272 1 1 0.01671 0.07115 0.1749 0.1586 0.6754 1.66 json
t18_x50_u0_b55 18 50 0 55 add(D,mod(R,add(D,R))) 130471 148190923 o2(x,o2(x,o2(x,x))) true 72175 72175 0.004175 0.5034 0.2855 0.154 0.3924 -1 1 2 1 4.537 0.02794 0.001317 0.1022 0.91 1 -0.0001216 0.04598 0.1071 0.01881 0.1372 1.342 1.019 0.19 0.2986 1 1 0.03605 0.1867 0.1655 0.2342 1.213 1.075 json
t18_x50_u0_b56 18 50 0 56 add(D,mod(R,sub(D,R))) 130472 148190924 o2(x,o2(x,o2(x,x))) true 72183 72183 0.005132 0.4955 0.2478 0.0971 0.3116 -0.9677 0.9498 1.918 1 4.345 0.01957 0.001299 0.09113 0.8756 1 -0.00007454 0.04423 0.1003 0.01257 0.1121 1.23 0.9055 0.215 0.4555 1 1 0.01957 0.07535 0.1599 0.2015 0.7761 1.646 json
t18_x50_u0_b57 18 50 0 57 add(D,mod(R,mlt(D,R))) 130473 148190925 o2(x,o2(x,o2(x,x))) true 72191 72191 0.001344 0.5029 0.1102 0.01746 0.1322 -0.428 0.4193 0.8473 1 3.117 0.004278 0.00009648 0.05196 0.9559 1 0.000001642 0.006865 0.052 0.001675 0.04093 0.7877 0.3513 0.2505 0.3931 1 1 0.005385 0.02855 0.0117 0.3083 1.635 0.6698 json
t18_x50_u0_b58 18 50 0 58 add(D,mod(R,div(D,R))) 130474 148190926 o2(x,o2(x,o2(x,x))) true 72199 72199 -0.008674 0.4776 0.1652 0.04467 0.2113 -0.7019 0.7024 1.404 1 3.794 0.01203 0.0005128 0.08709 0.9183 1 -0.00008563 0.02595 0.1079 0.004962 0.07044 0.8089 0.5911 0.2809 0.581 1 1 0.01292 0.05645 0.06649 0.2892 1.264 1.489 json
t18_x50_u0_b59 18 50 0 59 add(D,mod(R,pow(D,R))) 130475 148190927 o2(x,o2(x,o2(x,x))) true 72207 72207 -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_x50_u0_b60 18 50 0 60 add(D,mod(R,mod(D,R))) 130476 148190928 o2(x,o2(x,o2(x,x))) true 72215 72215 -0.00005311 0.5049 0.1113 0.01918 0.1385 -0.4444 0.4284 0.8728 1 3.199 0.006339 0.0001208 0.0661 0.9626 1 0.00001187 0.01324 0.08169 0.002091 0.04573 0.6918 0.3033 0.3368 0.69 1 1 0.0064 0.03051 0.01513 0.3337 1.591 0.7886 json
t18_x50_u0_b61 18 50 0 61 add(D,mod(R,lrg(D,R))) 130477 148190929 o2(x,o2(x,o2(x,x))) true 72223 72223 -0.9761 0.0002594 0.9762 0.01178 0.1086 -1 0.2509 1.251 1 0.5286 0.007853 0.001103 0.01733 0.7537 1 0.00003417 0.02178 0.03158 0.008659 0.09305 5.371 1.276 0.7599 1.848 1 1 0.008064 0.0174 0.02054 0.6844 1.477 1.743 json
t18_x50_u0_b62 18 50 0 62 add(D,mod(R,eql(D,R))) 130478 148190930 o2(x,o2(x,o2(x,x))) true 72231 72231 -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_x50_u0_b63 18 50 0 63 add(D,mod(R,min(D,R))) 130479 148190931 o2(x,o2(x,o2(x,x))) true 72239 72239 -0.01921 0.4899 0.1493 0.04222 0.2055 -1 0.4797 1.48 1 3.592 0.005475 0.0004475 0.06197 0.8489 1 -0.0001561 0.009018 0.05884 0.002083 0.04563 0.7364 0.3315 0.1403 0.2136 1 1 0.007962 0.05382 0.06889 0.1886 1.275 1.632 json
t18_x50_u0_b64 18 50 0 64 add(D,mod(R,dot(D,R))) 130480 148190932 o2(x,o2(x,o2(x,x))) true 72247 72247 0.001782 0.507 0.1197 0.02146 0.1465 -0.5753 0.6084 1.184 1 3.277 0.006243 0.004275 0.08336 0.1871 1 -0.00001868 0.04088 0.1375 0.003569 0.05974 0.7166 0.516 0.4902 1.905 1 1 0.009198 0.03508 0.01993 0.4286 1.635 0.9289 json
t18_x50_u0_b65 18 50 0 65 add(D,mod(R,dst(D,R))) 130481 148190933 o2(x,o2(x,o2(x,x))) true 72255 72255 0.006581 0.4967 0.3737 0.2044 0.4521 -1 1 2 1 4.842 0.008468 0.005872 0.08268 0.1811 1 0.0001385 0.02775 0.05136 0.007503 0.08662 1.048 1.252 0.07016 0.1358 1 1 0.01948 0.1695 0.3577 0.09531 0.8292 1.75 json
t18_x50_u0_b66 18 50 0 66 add(D,lrg(R,add(D,R))) 130482 148190934 o2(x,o2(x,o2(x,x))) true 72263 72263 0.5 1 0.5 0.08301 0.2881 0.03125 0.9688 0.9375 1 4 0.05599 0 0.1146 1 1 0 0.119 0.119 0.04284 0.207 1.806 0.9375 0.6745 1.434 1 1 0.05321 0.125 0 0.641 1.506 0 json
t18_x50_u0_b67 18 50 0 67 add(D,lrg(R,sub(D,R))) 130483 148190935 o2(x,o2(x,o2(x,x))) true 72271 72271 0.4791 0.8548 0.5023 0.149 0.386 -0.1454 1 1.145 1 4.069 0.01034 0.002225 0.07134 0.646 1 0.0001369 0.01634 0.04037 0.00748 0.08649 1.212 1.05 0.08433 0.1096 1 1 0.01679 0.1339 0.2736 0.1127 0.8987 1.836 json
t18_x50_u0_b68 18 50 0 68 add(D,lrg(R,mlt(D,R))) 130484 148190936 o2(x,o2(x,o2(x,x))) true 72279 72279 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_x50_u0_b69 18 50 0 69 add(D,lrg(R,div(D,R))) 130485 148190937 o2(x,o2(x,o2(x,x))) true 72287 72287 0.4958 0.8521 0.5173 0.1557 0.3946 -0.1454 1 1.145 1 3.989 0.02869 0.002187 0.09629 0.8584 1 -0.0001375 0.05182 0.09063 0.02161 0.147 1.527 1.031 0.1983 0.3328 1 1 0.03658 0.2041 0.2722 0.2349 1.311 1.748 json
t18_x50_u0_b70 18 50 0 70 add(D,lrg(R,pow(D,R))) 130486 148190938 o2(x,o2(x,o2(x,x))) true 72295 72295 0.6246 1 0.6246 0.08558 0.2925 0.03125 1 0.9688 1 3.841 0.03863 0.0008175 0.0979 0.9585 1 0.0003169 0.08201 0.09811 0.02985 0.1728 1.765 0.9375 0.4609 0.9583 1 1 0.03811 0.114 0.1061 0.4453 1.332 1.24 json
t18_x50_u0_b71 18 50 0 71 add(D,lrg(R,mod(D,R))) 130487 148190939 o2(x,o2(x,o2(x,x))) true 72303 72303 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_x50_u0_b72 18 50 0 72 add(D,lrg(R,lrg(D,R))) 130488 148190940 o2(x,o2(x,o2(x,x))) true 72311 72311 0.415 0.8224 0.445 0.149 0.386 -0.1454 1 1.145 1 4.102 0.01019 0.002219 0.07093 0.6424 1 0.00008323 0.01575 0.03998 0.007378 0.0859 1.211 0.9375 0.08329 0.1057 1 1 0.01653 0.1339 0.2682 0.111 0.8987 1.8 json
t18_x50_u0_b73 18 50 0 73 add(D,lrg(R,eql(D,R))) 130489 148190941 o2(x,o2(x,o2(x,x))) true 72319 72319 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_x50_u0_b74 18 50 0 74 add(D,lrg(R,min(D,R))) 130490 148190942 o2(x,o2(x,o2(x,x))) true 72327 72327 0.4883 0.8731 0.5093 0.1364 0.3694 -0.1454 1 1.145 1 4.117 0.01894 0.002057 0.08348 0.8041 1 0.00007571 0.03573 0.06751 0.01403 0.1184 1.419 1.05 0.1539 0.2619 1 1 0.02406 0.1369 0.2499 0.1763 1.003 1.832 json
t18_x50_u0_b75 18 50 0 75 add(D,lrg(R,dot(D,R))) 130491 148190943 o2(x,o2(x,o2(x,x))) true 72335 72335 0.4758 0.8458 0.4992 0.1551 0.3939 -0.1454 1 1.145 1 4.026 0.005895 0.01084 0.07853 -0.2957 1 0.0001151 0.03387 0.05903 0.01057 0.1028 1.309 1.426 0.1079 0.2183 1 1 0.02105 0.1485 0.2705 0.1357 0.9575 1.744 json
t18_x50_u0_b76 18 50 0 76 add(D,lrg(R,dst(D,R))) 130492 148190944 o2(x,o2(x,o2(x,x))) true 72343 72343 0.03468 0.5269 0.1211 0.03182 0.1784 -0.1454 1 1.145 1 2.954 0.006814 0.003294 0.0525 0.3482 1 -0.00019 0.02512 0.03917 0.007353 0.08575 1.633 1.37 0.3176 0.7895 1 1 0.01054 0.05166 0.02766 0.3311 1.623 0.8692 json
t18_x50_u0_b77 18 50 0 77 add(D,eql(R,add(D,R))) 130493 148190945 o2(x,o2(x,o2(x,x))) true 72351 72351 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_b78 18 50 0 78 add(D,eql(R,sub(D,R))) 130494 148190946 o2(x,o2(x,o2(x,x))) true 72359 72359 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_b79 18 50 0 79 add(D,eql(R,mlt(D,R))) 130495 148190947 o2(x,o2(x,o2(x,x))) true 72367 72367 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.06192 0.1508 0.02368 1 1 0.003151 0.02183 1.177e-10 0.2912 2.017 1.087e-8 json
t18_x50_u0_b80 18 50 0 80 add(D,eql(R,div(D,R))) 130496 148190948 o2(x,o2(x,o2(x,x))) true 72375 72375 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_b81 18 50 0 81 add(D,eql(R,pow(D,R))) 130497 148190949 o2(x,o2(x,o2(x,x))) true 72383 72383 7.106e-8 0.5 0.09436 0.01082 0.104 -0.1454 0.1454 0.2908 1 2.561 0.001632 2.373e-13 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 1.855e-11 0.2912 2.017 1.714e-9 json
t18_x50_u0_b82 18 50 0 82 add(D,eql(R,mod(D,R))) 130498 148190950 o2(x,o2(x,o2(x,x))) true 72391 72391 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_b83 18 50 0 83 add(D,eql(R,lrg(D,R))) 130499 148190951 o2(x,o2(x,o2(x,x))) true 72399 72399 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