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_x23_u1_b1 17 23 1 1 add(R,sub(D,log(R))) 117100 138979642 o2(x,o2(x,o1(x))) true 96807 96807 -0.9144 0.04297 0.9996 0.1632 0.404 -1 1 2 1 0.2723 0.01687 0.0162 0.01665 0.02017 1 0.00000527 0.06923 0.03333 0.03278 0.181 10.87 2.828 0.2026 0.4242 1 1 0.02523 0.1087 0.2733 0.1546 0.666 1.675 json
t17_x23_u1_b2 17 23 1 2 add(R,mlt(D,log(R))) 117101 138979643 o2(x,o2(x,o1(x))) true 96815 96815 -0.933 0.04088 0.9818 0.1028 0.3206 -1 0.9497 1.95 1 0.4224 0.01042 0.01037 0.01464 0.002607 1 0.00001874 0.04324 0.02633 0.0206 0.1435 9.8 2.646 0.2023 0.4208 1 1 0.01658 0.0715 0.1693 0.1614 0.6958 1.648 json
t17_x23_u1_b3 17 23 1 3 add(R,div(D,log(R))) 117102 138979644 o2(x,o2(x,o1(x))) true 96823 96823 -0.9381 0.03654 0.9821 0.09652 0.3107 -1 1 2 1 0.4172 0.01119 0.008805 0.01603 0.1193 1 0.0001558 0.04108 0.02627 0.01973 0.1405 8.765 2.828 0.2072 0.4256 1 1 0.01587 0.07233 0.1806 0.1645 0.7494 1.871 json
t17_x23_u1_b4 17 23 1 4 add(R,pow(D,log(R))) 117103 138979645 o2(x,o2(x,o1(x))) true 96831 96831 -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_x23_u1_b5 17 23 1 5 add(R,mod(D,log(R))) 117104 138979646 o2(x,o2(x,o1(x))) true 96839 96839 -0.9326 0.04285 0.9815 0.1036 0.3219 -1 0.9957 1.996 1 0.4191 0.01044 0.01028 0.01505 0.007989 1 0.000001069 0.04324 0.02736 0.0205 0.1432 9.515 2.596 0.2 0.4174 1 1 0.01632 0.07147 0.1775 0.1575 0.6899 1.713 json
t17_x23_u1_b6 17 23 1 6 add(R,lrg(D,log(R))) 117105 138979647 o2(x,o2(x,o1(x))) true 96847 96847 0.7877 1 0.7877 0.06993 0.2644 0.001146 1 0.9989 1 2.936 0.00191 0.001379 0.03329 0.1612 1 0.00002599 0.002333 0.01748 0.002181 0.0467 1.403 0.5883 0.04703 0.03335 1 1 0.005361 0.05055 0.1154 0.07665 0.7228 1.65 json
t17_x23_u1_b7 17 23 1 7 add(R,eql(D,log(R))) 117106 138979648 o2(x,o2(x,o1(x))) true 96855 96855 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_x23_u1_b8 17 23 1 8 add(R,min(D,log(R))) 117107 138979649 o2(x,o2(x,o1(x))) true 96863 96863 -0.343 0.2297 0.4914 0.2182 0.4671 -1 0.9612 1.961 1 4.583 0.004804 0.003165 0.0695 0.2056 1 0.0001888 0.001256 0.02064 0.003139 0.05603 0.8061 0.6031 0.03653 0.00576 1 1 0.01433 0.1614 0.3922 0.06567 0.7398 1.798 json
t17_x23_u1_b9 17 23 1 9 add(R,dot(D,log(R))) 117108 138979650 o2(x,o2(x,o1(x))) true 96871 96871 -0.9931 0.003906 0.9991 0.01218 0.1104 -1 0.9713 1.971 1 0.04836 0.001556 0.001399 0.00185 0.05305 1 6.382e-11 0.006194 0.003461 0.002949 0.05431 29.36 2.038 0.2426 0.5085 1 1 0.005253 0.02227 0.04299 0.4312 1.828 3.529 json
t17_x23_u1_b10 17 23 1 10 add(R,dst(D,log(R))) 117109 138979651 o2(x,o2(x,o1(x))) true 96879 96879 -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_x23_u1_b11 17 23 1 11 sub(R,add(D,log(R))) 117110 138979652 o2(x,o2(x,o1(x))) true 96887 96887 -0.9144 0.04297 0.9996 0.1631 0.4038 -1 1 2 1 0.2711 0.01687 0.01613 0.01663 0.02247 1 0.00001009 0.06911 0.03329 0.03271 0.1809 10.87 2.828 0.2024 0.4238 1 1 0.02516 0.1084 0.2737 0.1543 0.6647 1.679 json
t17_x23_u1_b12 17 23 1 12 sub(R,sub(D,log(R))) 117111 138979653 o2(x,o2(x,o1(x))) true 96895 96895 -0.961 0.02065 0.9771 0.04689 0.2166 -1 1 2 1 0.4136 0.004948 0.005442 0.01121 -0.04757 1 0.00003207 0.02087 0.01627 0.01026 0.1013 9.04 2.482 0.2216 0.4451 1 1 0.008955 0.04022 0.08078 0.191 0.8576 1.723 json
t17_x23_u1_b13 17 23 1 13 sub(R,mlt(D,log(R))) 117112 138979654 o2(x,o2(x,o1(x))) true 96903 96903 -0.9324 0.04181 0.982 0.1041 0.3227 -1 0.951 1.951 1 0.4201 0.01038 0.01061 0.01487 -0.01095 1 -0.000001673 0.04367 0.0266 0.02079 0.1442 9.699 2.634 0.2016 0.4194 1 1 0.01674 0.07351 0.1806 0.1607 0.7059 1.734 json
t17_x23_u1_b14 17 23 1 14 sub(R,div(D,log(R))) 117113 138979655 o2(x,o2(x,o1(x))) true 96911 96911 -0.9418 0.03438 0.9816 0.08915 0.2986 -1 1 2 1 0.4161 0.0111 0.00986 0.01694 0.05914 1 0.00009988 0.04293 0.02704 0.02068 0.1438 8.49 2.331 0.2351 0.4816 1 1 0.01712 0.06971 0.1351 0.192 0.7819 1.515 json
t17_x23_u1_b15 17 23 1 15 sub(R,pow(D,log(R))) 117114 138979656 o2(x,o2(x,o1(x))) true 96919 96919 -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_x23_u1_b16 17 23 1 16 sub(R,mod(D,log(R))) 117115 138979657 o2(x,o2(x,o1(x))) true 96927 96927 -0.9329 0.04233 0.9812 0.1027 0.3205 -1 0.9989 1.999 1 0.4218 0.0105 0.01065 0.01518 -0.007152 1 0.000016 0.04402 0.02761 0.02093 0.1447 9.533 2.684 0.206 0.4286 1 1 0.01698 0.0733 0.1713 0.1654 0.7137 1.668 json
t17_x23_u1_b17 17 23 1 17 sub(R,lrg(D,log(R))) 117116 138979658 o2(x,o2(x,o1(x))) true 96935 96935 -0.7371 0.05124 0.7756 0.1427 0.3777 -1 0.9799 1.98 1 3.058 0.01118 0.002855 0.05661 0.5931 1 -0.0002391 0.01895 0.03872 0.01083 0.1041 1.838 1 0.09836 0.1328 1 1 0.01799 0.1246 0.277 0.1261 0.8735 1.942 json
t17_x23_u1_b18 17 23 1 18 sub(R,eql(D,log(R))) 117117 138979659 o2(x,o2(x,o1(x))) true 96943 96943 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_x23_u1_b19 17 23 1 19 sub(R,min(D,log(R))) 117118 138979660 o2(x,o2(x,o1(x))) true 96951 96951 0.3127 0.6243 0.6322 0.4182 0.6467 -1 1 2 1 4.18 0.006979 0.007912 0.08769 -0.06268 1 -0.0001735 0.002426 0.02689 0.007201 0.08486 0.9677 0.5435 0.0356 0.005801 1 1 0.02752 0.3148 0.7318 0.06581 0.7526 1.75 json
t17_x23_u1_b20 17 23 1 20 sub(R,dot(D,log(R))) 117119 138979661 o2(x,o2(x,o1(x))) true 96959 96959 -0.9942 0.003906 0.998 0.008965 0.09468 -1 0.9083 1.908 1 0.05154 0.001175 0.001343 0.001787 -0.06675 1 -2.253e-11 0.005374 0.003214 0.002512 0.05012 28.05 1.881 0.2808 0.5995 1 1 0.004428 0.01684 0.03129 0.4939 1.878 3.49 json
t17_x23_u1_b21 17 23 1 21 sub(R,dst(D,log(R))) 117120 138979662 o2(x,o2(x,o1(x))) true 96967 96967 -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_x23_u1_b22 17 23 1 22 mlt(R,add(D,log(R))) 117121 138979663 o2(x,o2(x,o1(x))) true 96975 96975 -0.968 0.000885 0.9681 0.02325 0.1525 -1 0.08162 1.082 1 0.3729 0.002362 0.002342 0.007088 0.004346 1 -0.000001385 0.009791 0.01265 0.004653 0.06821 9.624 1.201 0.2023 0.421 1 1 0.003606 0.01557 0.03757 0.1551 0.6696 1.615 json
t17_x23_u1_b23 17 23 1 23 mlt(R,sub(D,log(R))) 117122 138979664 o2(x,o2(x,o1(x))) true 96983 96983 -0.9463 0.04131 0.9679 0.06483 0.2546 -1 0.4351 1.435 1 0.3744 0.006764 0.006542 0.01141 0.01668 1 -0.000009116 0.02779 0.02128 0.01317 0.1148 10.06 1.918 0.2053 0.4287 1 1 0.01016 0.0431 0.1072 0.1567 0.6648 1.653 json
t17_x23_u1_b24 17 23 1 24 mlt(R,mlt(D,log(R))) 117123 138979665 o2(x,o2(x,o1(x))) true 96991 96991 -0.9571 0.02097 0.9583 0.04109 0.2027 -1 0.08582 1.086 1 0.3174 0.004228 0.004158 0.008687 0.008434 1 0.000001829 0.01752 0.01683 0.008304 0.09113 10.49 1.43 0.2041 0.4263 1 1 0.006456 0.02773 0.0685 0.1571 0.6749 1.667 json
t17_x23_u1_b25 17 23 1 25 mlt(R,div(D,log(R))) 117124 138979666 o2(x,o2(x,o1(x))) true 96999 96999 -0.9549 0.02319 0.9751 0.05881 0.2425 -1 1 2 1 0.4129 0.005288 0.005092 0.01249 0.01892 1 0.00005619 0.01964 0.01814 0.01022 0.1011 8.093 2.002 0.1765 0.334 1 1 0.008073 0.04321 0.1107 0.1373 0.7347 1.883 json
t17_x23_u1_b26 17 23 1 26 mlt(R,pow(D,log(R))) 117125 138979667 o2(x,o2(x,o1(x))) true 97007 97007 -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_x23_u1_b27 17 23 1 27 mlt(R,mod(D,log(R))) 117126 138979668 o2(x,o2(x,o1(x))) true 97015 97015 -0.957 0.02216 0.9592 0.04135 0.2034 -1 0.1582 1.158 1 0.3476 0.004265 0.004029 0.009202 0.02853 1 -0.000001576 0.01738 0.01762 0.008213 0.09063 9.848 1.399 0.2006 0.4202 1 1 0.006276 0.02712 0.06951 0.1518 0.6559 1.681 json
t17_x23_u1_b28 17 23 1 28 mlt(R,lrg(D,log(R))) 117127 138979669 o2(x,o2(x,o1(x))) true 97023 97023 -0.04788 0.4471 0.3642 0.1922 0.4384 -0.9989 0.9806 1.979 1 4.798 0.008689 0.002709 0.06682 0.5247 1 0.000335 0.01281 0.03322 0.006932 0.08326 1.246 0.9735 0.05929 0.06666 1 1 0.01617 0.1499 0.339 0.0841 0.7799 1.763 json
t17_x23_u1_b29 17 23 1 29 mlt(R,eql(D,log(R))) 117128 138979670 o2(x,o2(x,o1(x))) true 97031 97031 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_x23_u1_b30 17 23 1 30 mlt(R,min(D,log(R))) 117129 138979671 o2(x,o2(x,o1(x))) true 97039 97039 -0.1286 0.2069 0.1543 0.01978 0.1406 -0.4311 0.2628 0.6939 1 3.137 0.0006244 0.0002882 0.02587 0.3683 1 0.00002717 0.0001006 0.007705 0.0002432 0.0156 0.6028 0.07712 0.04614 0.005085 1 1 0.001778 0.01973 0.03545 0.08989 0.9977 1.792 json
t17_x23_u1_b31 17 23 1 31 mlt(R,dot(D,log(R))) 117130 138979672 o2(x,o2(x,o1(x))) true 97047 97047 -0.996 0.002563 0.9963 0.004127 0.06424 -1 0.1507 1.151 1 0.04541 0.0005351 0.0005073 0.001093 0.02672 1 3.754e-12 0.002201 0.00207 0.00104 0.03225 29.5 1.451 0.2526 0.5334 1 1 0.001843 0.007538 0.01457 0.4466 1.827 3.531 json
t17_x23_u1_b32 17 23 1 32 mlt(R,dst(D,log(R))) 117131 138979673 o2(x,o2(x,o1(x))) true 97055 97055 -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_x23_u1_b33 17 23 1 33 div(R,add(D,log(R))) 117132 138979674 o2(x,o2(x,o1(x))) true 97063 97063 -0.9715 0.01041 0.988 0.0404 0.201 -1 1 2 1 0.2937 0.01082 0.005218 0.01351 0.3495 1 -0.0003655 0.03588 0.02122 0.01586 0.1259 9.324 2.654 0.3971 0.8882 1 1 0.01026 0.03895 0.05599 0.2539 0.9641 1.386 json
t17_x23_u1_b34 17 23 1 34 div(R,sub(D,log(R))) 117133 138979675 o2(x,o2(x,o1(x))) true 97071 97071 -0.9438 0.03119 0.9885 0.09405 0.3067 -1 1 2 1 0.3469 0.02583 0.01067 0.02329 0.4154 1 -0.00009067 0.08137 0.04077 0.03593 0.1895 8.138 2.828 0.3881 0.8652 1 1 0.02753 0.08465 0.1514 0.2927 0.9 1.609 json
t17_x23_u1_b35 17 23 1 35 div(R,mlt(D,log(R))) 117134 138979676 o2(x,o2(x,o1(x))) true 97079 97079 -0.9551 0.02245 0.9961 0.08274 0.2876 -1 1 2 1 0.2248 0.0151 0.008246 0.01487 0.2935 1 -0.000006008 0.0462 0.02518 0.02314 0.1521 10.23 2.828 0.2821 0.5584 1 1 0.01829 0.08075 0.1499 0.221 0.976 1.812 json
t17_x23_u1_b36 17 23 1 36 div(R,div(D,log(R))) 117135 138979677 o2(x,o2(x,o1(x))) true 97087 97087 -0.9575 0.02112 0.986 0.06519 0.2553 -1 1 2 1 0.3475 0.01117 0.006787 0.01445 0.2439 1 -0.00001447 0.03605 0.02063 0.01773 0.1332 9.218 2.828 0.2754 0.553 1 1 0.01421 0.0611 0.1071 0.218 0.9373 1.643 json
t17_x23_u1_b37 17 23 1 37 div(R,pow(D,log(R))) 117136 138979678 o2(x,o2(x,o1(x))) true 97095 97095 -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_x23_u1_b38 17 23 1 38 div(R,mod(D,log(R))) 117137 138979679 o2(x,o2(x,o1(x))) true 97103 97103 -0.9574 0.02148 0.9963 0.07842 0.28 -1 1 2 1 0.2216 0.02356 0.008586 0.01973 0.4658 1 -8.259e-7 0.07698 0.03609 0.03174 0.1782 9.029 2.828 0.41 0.9817 1 1 0.0186 0.0665 0.11 0.2371 0.8481 1.403 json
t17_x23_u1_b39 17 23 1 39 div(R,lrg(D,log(R))) 117138 138979680 o2(x,o2(x,o1(x))) true 97111 97111 -0.06782 0.4436 0.6005 0.4839 0.6956 -1 1 2 1 4.368 0.1016 0.06604 0.1461 0.2123 1 0.00005689 0.3662 0.2274 0.1463 0.3826 2.618 2.636 0.3465 0.7567 1 1 0.1697 0.6736 0.9405 0.3507 1.392 1.943 json
t17_x23_u1_b40 17 23 1 40 div(R,eql(D,log(R))) 117139 138979681 o2(x,o2(x,o1(x))) true 97119 97119 -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_x23_u1_b41 17 23 1 41 div(R,min(D,log(R))) 117140 138979682 o2(x,o2(x,o1(x))) true 97127 97127 -0.3851 0.2624 0.7759 0.5595 0.748 -1 1 2 1 3.296 0.1832 0.01284 0.1819 0.8691 1 0.0001681 0.3763 0.2244 0.163 0.4038 2.22 2.828 0.3505 0.6725 1 1 0.2226 0.8435 0.6936 0.3979 1.508 1.24 json
t17_x23_u1_b42 17 23 1 42 div(R,dot(D,log(R))) 117141 138979683 o2(x,o2(x,o1(x))) true 97135 97135 -0.9963 0.001862 0.9996 0.00687 0.08288 -1 1 2 1 0.02776 0.002189 0.002559 0.002432 -0.07797 1 1.502e-11 0.01635 0.005032 0.004738 0.06884 28.31 2.828 0.6913 2.381 1 1 0.007778 0.02298 0.0242 1.132 3.346 3.523 json
t17_x23_u1_b43 17 23 1 43 div(R,dst(D,log(R))) 117142 138979684 o2(x,o2(x,o1(x))) true 97143 97143 -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_x23_u1_b44 17 23 1 44 pow(R,add(D,log(R))) 117143 138979685 o2(x,o2(x,o1(x))) true 97151 97151 -0.9141 0.04297 1 0.1645 0.4056 -1 1 2 1 0.2557 0.01688 0.01638 0.01652 0.01515 1 0 0.06954 0.03326 0.03297 0.1816 10.99 2.828 0.2022 0.4228 1 1 0.02543 0.1095 0.2757 0.1546 0.6659 1.676 json
t17_x23_u1_b45 17 23 1 45 pow(R,sub(D,log(R))) 117144 138979686 o2(x,o2(x,o1(x))) true 97159 97159 -0.9297 0.04297 0.9844 0.113 0.3361 -1 1 2 1 0.4195 0.01126 0.01173 0.01518 -0.02027 1 0.000008258 0.04788 0.02753 0.02277 0.1509 9.938 2.806 0.2035 0.4238 1 1 0.01876 0.08168 0.192 0.1661 0.7231 1.7 json
t17_x23_u1_b46 17 23 1 46 pow(R,mlt(D,log(R))) 117145 138979687 o2(x,o2(x,o1(x))) true 97167 97167 -0.9159 0.04297 0.9982 0.1578 0.3972 -1 1 2 1 0.3089 0.01668 0.01576 0.01689 0.02844 1 0.000001654 0.06812 0.03317 0.03214 0.1793 10.61 2.828 0.2056 0.4317 1 1 0.02493 0.107 0.2675 0.158 0.6783 1.695 json
t17_x23_u1_b47 17 23 1 47 pow(R,div(D,log(R))) 117146 138979688 o2(x,o2(x,o1(x))) true 97175 97175 -0.9151 0.04297 0.999 0.1606 0.4008 -1 1 2 1 0.2906 0.01663 0.01599 0.0168 0.01973 1 0.000005684 0.06861 0.03338 0.03232 0.1798 10.7 2.786 0.203 0.4271 1 1 0.02475 0.1068 0.2691 0.1541 0.6647 1.675 json
t17_x23_u1_b48 17 23 1 48 pow(R,pow(D,log(R))) 117147 138979689 o2(x,o2(x,o1(x))) true 97183 97183 -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_x23_u1_b49 17 23 1 49 pow(R,mod(D,log(R))) 117148 138979690 o2(x,o2(x,o1(x))) true 97191 97191 -0.9158 0.04297 0.9983 0.1582 0.3978 -1 1 2 1 0.3074 0.01672 0.01569 0.01684 0.03188 1 0.000006211 0.06806 0.03324 0.03212 0.1792 10.64 2.828 0.2049 0.4302 1 1 0.02484 0.1063 0.2632 0.157 0.6721 1.664 json
t17_x23_u1_b50 17 23 1 50 pow(R,lrg(D,log(R))) 117149 138979691 o2(x,o2(x,o1(x))) true 97199 97199 -0.9318 0.04297 0.9822 0.1056 0.3249 -1 0.9993 1.999 1 0.4163 0.01036 0.01069 0.0145 -0.01542 1 0.000005965 0.04386 0.02672 0.02083 0.1443 9.952 2.64 0.1993 0.4154 1 1 0.01673 0.07362 0.1787 0.1584 0.6973 1.692 json
t17_x23_u1_b51 17 23 1 51 pow(R,eql(D,log(R))) 117150 138979692 o2(x,o2(x,o1(x))) true 97207 97207 1 1 1 0 0 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 json
t17_x23_u1_b52 17 23 1 52 pow(R,min(D,log(R))) 117151 138979693 o2(x,o2(x,o1(x))) true 97215 97215 -0.9141 0.04297 1 0.1645 0.4056 -1 1 2 1 0.2557 0.01688 0.01638 0.01652 0.01515 1 0 0.06954 0.03326 0.03297 0.1816 10.99 2.828 0.2022 0.4228 1 1 0.02543 0.1095 0.2757 0.1546 0.6659 1.676 json
t17_x23_u1_b53 17 23 1 53 pow(R,dot(D,log(R))) 117152 138979694 o2(x,o2(x,o1(x))) true 97223 97223 -0.9927 0.003906 0.9995 0.01374 0.1172 -1 1 2 1 0.04588 0.001791 0.001949 0.00203 -0.04222 1 -3.754e-12 0.008025 0.003925 0.003733 0.0611 30.09 2.734 0.2722 0.584 1 1 0.006535 0.02511 0.04837 0.4756 1.827 3.52 json
t17_x23_u1_b54 17 23 1 54 pow(R,dst(D,log(R))) 117153 138979695 o2(x,o2(x,o1(x))) true 97231 97231 -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_x23_u1_b55 17 23 1 55 mod(R,add(D,log(R))) 117154 138979696 o2(x,o2(x,o1(x))) true 97239 97239 -0.9465 0.04297 0.9675 0.06442 0.2538 -1 0.6163 1.616 1 0.385 0.006832 0.006534 0.01239 0.02234 1 -0.000004449 0.02815 0.02341 0.01322 0.115 9.28 2.098 0.2075 0.437 1 1 0.01014 0.04432 0.1095 0.1575 0.688 1.7 json
t17_x23_u1_b56 17 23 1 56 mod(R,sub(D,log(R))) 117155 138979697 o2(x,o2(x,o1(x))) true 97247 97247 -0.9466 0.04297 0.9675 0.06421 0.2534 -1 0.6065 1.606 1 0.3848 0.007024 0.006473 0.01255 0.04087 1 0.00001474 0.02855 0.02362 0.01335 0.1155 9.206 2.098 0.2102 0.4447 1 1 0.0102 0.04353 0.1085 0.1589 0.678 1.689 json
t17_x23_u1_b57 17 23 1 57 mod(R,mlt(D,log(R))) 117156 138979698 o2(x,o2(x,o1(x))) true 97255 97255 -0.9533 0.04297 0.9607 0.0487 0.2207 -1 0.3014 1.301 1 0.336 0.00445 0.004876 0.01025 -0.04576 1 -0.000004631 0.01929 0.01935 0.009216 0.096 9.366 1.457 0.1915 0.396 1 1 0.007092 0.03213 0.08162 0.1456 0.6596 1.676 json
t17_x23_u1_b58 17 23 1 58 mod(R,div(D,log(R))) 117157 138979699 o2(x,o2(x,o1(x))) true 97263 97263 -0.9408 0.04297 0.9732 0.0813 0.2851 -1 0.9427 1.943 1 0.4168 0.005745 0.008438 0.01392 -0.1899 1 -0.0001167 0.0285 0.02473 0.01398 0.1182 8.493 1.957 0.1745 0.3506 1 1 0.01104 0.05716 0.1362 0.1358 0.7031 1.675 json
t17_x23_u1_b59 17 23 1 59 mod(R,pow(D,log(R))) 117158 138979700 o2(x,o2(x,o1(x))) true 97271 97271 -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_x23_u1_b60 17 23 1 60 mod(R,mod(D,log(R))) 117159 138979701 o2(x,o2(x,o1(x))) true 97279 97279 -0.9529 0.04297 0.9612 0.04975 0.2231 -1 0.4204 1.42 1 0.3434 0.004581 0.004977 0.01066 -0.04149 1 -0.000004516 0.01988 0.02019 0.009449 0.0972 9.118 1.456 0.1921 0.3995 1 1 0.007323 0.03317 0.08388 0.1472 0.6667 1.686 json
t17_x23_u1_b61 17 23 1 61 mod(R,lrg(D,log(R))) 117160 138979702 o2(x,o2(x,o1(x))) true 97287 97287 -0.3935 0.2808 0.6005 0.3336 0.5776 -1 0.9688 1.969 1 4.024 0.1035 0.01826 0.1235 0.7 1 0.001002 0.2623 0.182 0.1065 0.3263 2.641 2.636 0.365 0.7864 1 1 0.1162 0.4158 0.6514 0.3483 1.247 1.953 json
t17_x23_u1_b62 17 23 1 62 mod(R,eql(D,log(R))) 117161 138979703 o2(x,o2(x,o1(x))) true 97295 97295 -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_x23_u1_b63 17 23 1 63 mod(R,min(D,log(R))) 117162 138979704 o2(x,o2(x,o1(x))) true 97303 97303 0.03424 0.5169 0.1293 0.02731 0.1652 -0.456 0.5381 0.9941 1 3.408 0.004688 0.000402 0.0529 0.842 1 0.0001027 0.01206 0.06827 0.002292 0.04787 0.9051 0.3836 0.1864 0.4418 1 1 0.004437 0.02449 0.04449 0.1625 0.8968 1.629 json
t17_x23_u1_b64 17 23 1 64 mod(R,dot(D,log(R))) 117163 138979705 o2(x,o2(x,o1(x))) true 97311 97311 -0.9955 0.003906 0.9967 0.005245 0.07242 -1 0.4378 1.438 1 0.047 0.0006834 0.0006318 0.001375 0.0392 1 4.505e-11 0.002861 0.00268 0.001312 0.03622 26.35 1.444 0.2508 0.5455 1 1 0.002296 0.009636 0.01855 0.4377 1.837 3.537 json
t17_x23_u1_b65 17 23 1 65 mod(R,dst(D,log(R))) 117164 138979706 o2(x,o2(x,o1(x))) true 97319 97319 -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_x23_u1_b66 17 23 1 66 lrg(R,add(D,log(R))) 117165 138979707 o2(x,o2(x,o1(x))) true 97327 97327 1 1 1 0 0 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 json
t17_x23_u1_b67 17 23 1 67 lrg(R,sub(D,log(R))) 117166 138979708 o2(x,o2(x,o1(x))) true 97335 97335 0.7507 0.9964 0.7507 0.1126 0.3355 0 1 1 1 2.792 0.00756 0.001767 0.04965 0.6211 1 -0.0001983 0.01238 0.03016 0.006863 0.08284 1.669 0.9997 0.08284 0.11 1 1 0.01238 0.09721 0.2069 0.11 0.8635 1.838 json
t17_x23_u1_b68 17 23 1 68 lrg(R,mlt(D,log(R))) 117167 138979709 o2(x,o2(x,o1(x))) true 97343 97343 0.9414 1 0.9414 0.02855 0.169 0.000582 1 0.9994 1 1.167 0.007563 0.0003884 0.02391 0.9023 1 0.00003298 0.01491 0.02461 0.007381 0.08591 3.593 0.9994 0.2785 0.5222 1 1 0.006593 0.02819 0.04579 0.231 0.9873 1.604 json
t17_x23_u1_b69 17 23 1 69 lrg(R,div(D,log(R))) 117168 138979710 o2(x,o2(x,o1(x))) true 97351 97351 0.8705 1 0.8705 0.05305 0.2303 0.000582 1 0.9994 1 2.111 0.01874 0.000678 0.05469 0.9302 1 0.0001282 0.03702 0.05749 0.01643 0.1282 2.344 0.9994 0.366 0.6979 1 1 0.0195 0.07358 0.08604 0.3676 1.387 1.622 json
t17_x23_u1_b70 17 23 1 70 lrg(R,pow(D,log(R))) 117169 138979711 o2(x,o2(x,o1(x))) true 97359 97359 0.7568 1 0.7568 0.1087 0.3297 0.000291 1 0.9997 1 2.8 0.02738 0.00118 0.07029 0.9174 1 0.000001419 0.05102 0.06666 0.02362 0.1537 2.186 0.9997 0.2627 0.4693 1 1 0.03085 0.1411 0.1423 0.2838 1.298 1.309 json
t17_x23_u1_b71 17 23 1 71 lrg(R,mod(D,log(R))) 117170 138979712 o2(x,o2(x,o1(x))) true 97367 97367 0.943 1 0.943 0.0257 0.1603 0.000582 1 0.9994 1 1.184 0.008309 0.0003571 0.02654 0.9176 1 0.00002666 0.01666 0.02793 0.00796 0.08922 3.361 0.9994 0.3372 0.6482 1 1 0.007594 0.02799 0.04285 0.2955 1.089 1.668 json
t17_x23_u1_b72 17 23 1 72 lrg(R,lrg(D,log(R))) 117171 138979713 o2(x,o2(x,o1(x))) true 97375 97375 0.06722 0.3304 0.06722 0.0312 0.1766 0 0.9994 0.9994 1 1.315 0.009252 0.0004406 0.02846 0.9091 1 -0.0003514 0.01807 0.02931 0.008885 0.09426 3.312 0.9994 0.3107 0.5792 1 1 0.009831 0.03943 0.05831 0.3151 1.264 1.869 json
t17_x23_u1_b73 17 23 1 73 lrg(R,eql(D,log(R))) 117172 138979714 o2(x,o2(x,o1(x))) true 97383 97383 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_x23_u1_b74 17 23 1 74 lrg(R,min(D,log(R))) 117173 138979715 o2(x,o2(x,o1(x))) true 97391 97391 0.5584 0.9678 0.5584 0.1513 0.389 0 1 1 1 3.407 0.01241 0.002278 0.06622 0.6899 1 -0.00003529 0.02157 0.0452 0.01031 0.1015 1.533 0.9994 0.09708 0.1426 1 1 0.01881 0.1352 0.277 0.1243 0.8938 1.831 json
t17_x23_u1_b75 17 23 1 75 lrg(R,dot(D,log(R))) 117174 138979716 o2(x,o2(x,o1(x))) true 97399 97399 0.9694 1 0.9694 0.01404 0.1185 0.000582 1 0.9994 1 0.7422 0.002854 0.002667 0.01471 0.03388 1 0.00005276 0.01712 0.01858 0.005302 0.07281 4.95 1.413 0.3932 1.219 1 1 0.004912 0.01644 0.0225 0.3499 1.171 1.603 json
t17_x23_u1_b76 17 23 1 76 lrg(R,dst(D,log(R))) 117175 138979717 o2(x,o2(x,o1(x))) true 97407 97407 0.912 1 0.912 0.04767 0.2183 0.000291 1 0.9997 1 1.443 0.001616 0.001834 0.02039 -0.06317 1 0.00002764 0.006563 0.01037 0.003032 0.05506 2.701 1.409 0.07237 0.1377 1 1 0.006147 0.04621 0.09881 0.129 0.9695 2.073 json
t17_x23_u1_b77 17 23 1 77 eql(R,add(D,log(R))) 117176 138979718 o2(x,o2(x,o1(x))) true 97415 97415 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_x23_u1_b78 17 23 1 78 eql(R,sub(D,log(R))) 117177 138979719 o2(x,o2(x,o1(x))) true 97423 97423 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_x23_u1_b79 17 23 1 79 eql(R,mlt(D,log(R))) 117178 138979720 o2(x,o2(x,o1(x))) true 97431 97431 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_x23_u1_b80 17 23 1 80 eql(R,div(D,log(R))) 117179 138979721 o2(x,o2(x,o1(x))) true 97439 97439 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_x23_u1_b81 17 23 1 81 eql(R,pow(D,log(R))) 117180 138979722 o2(x,o2(x,o1(x))) true 97447 97447 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_x23_u1_b82 17 23 1 82 eql(R,mod(D,log(R))) 117181 138979723 o2(x,o2(x,o1(x))) true 97455 97455 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_x23_u1_b83 17 23 1 83 eql(R,lrg(D,log(R))) 117182 138979724 o2(x,o2(x,o1(x))) true 97463 97463 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_x23_u1_b84 17 23 1 84 eql(R,eql(D,log(R))) 117183 138979725 o2(x,o2(x,o1(x))) true 97471 97471 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_x23_u1_b85 17 23 1 85 eql(R,min(D,log(R))) 117184 138979726 o2(x,o2(x,o1(x))) true 97479 97479 0.00004008 0.0002289 0.00004008 0.00001031 0.00321 0 0.3282 0.3282 1 0.002722 0.00001454 1.509e-7 0.00006305 0.9795 0 1.17e-7 0.00004407 0.0001242 0.00001469 0.003832 60.78 0.3186 1.425 4.276 1 1 0 0 0.000007865 0 0 0.7631 json
t17_x23_u1_b86 17 23 1 86 eql(R,dot(D,log(R))) 117185 138979727 o2(x,o2(x,o1(x))) true 97487 97487 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_x23_u1_b87 17 23 1 87 eql(R,dst(D,log(R))) 117186 138979728 o2(x,o2(x,o1(x))) true 97495 97495 0.000001037 0.00001526 0.000001037 7.046e-8 0.0002655 0 0.06796 0.06796 1 0.0002662 1.454e-7 1.454e-7 0.000003654 0 0 0 0.000001454 0.000008561 2.909e-7 0.0005393 147.6 0.0961 4.128 20.64 1 1 2.558e-7 2.558e-7 2.558e-7 3.631 3.631 3.631 json
t17_x23_u1_b88 17 23 1 88 min(R,add(D,log(R))) 117187 138979729 o2(x,o2(x,o1(x))) true 97503 97503 -0.5722 0.01529 0.5739 0.08952 0.2992 -1 0.1929 1.193 1 3.893 0.00229 0.00154 0.04576 0.1957 1 0.00008149 0.0008764 0.01539 0.001736 0.04166 0.9104 0.3759 0.04278 0.00979 1 1 0.006811 0.07155 0.1605 0.07609 0.7993 1.793 json
t17_x23_u1_b89 17 23 1 89 min(R,sub(D,log(R))) 117188 138979730 o2(x,o2(x,o1(x))) true 97511 97511 -0.1337 0.3913 0.3126 0.1309 0.3617 -0.9989 0.611 1.61 1 4.496 0.002026 0.001826 0.05192 0.05189 1 -7.84e-7 0.0002754 0.01273 0.001156 0.034 0.6548 0.1966 0.02943 0.002104 1 1 0.007573 0.09455 0.2224 0.05787 0.7225 1.7 json
t17_x23_u1_b90 17 23 1 90 min(R,mlt(D,log(R))) 117189 138979731 o2(x,o2(x,o1(x))) true 97519 97519 -0.2843 0.1382 0.3027 0.07635 0.2763 -1 0.2596 1.26 1 4.039 0.001809 0.001001 0.04268 0.2875 1 0.0001038 0.0003499 0.01167 0.0009885 0.03144 0.7367 0.3585 0.0368 0.004583 1 1 0.005157 0.05736 0.1293 0.06755 0.7513 1.693 json
t17_x23_u1_b91 17 23 1 91 min(R,div(D,log(R))) 117190 138979732 o2(x,o2(x,o1(x))) true 97527 97527 -0.333 0.1829 0.4303 0.1655 0.4068 -1 0.9805 1.981 1 4.507 0.01403 0.002457 0.07957 0.702 1 0.0004268 0.01032 0.03376 0.01016 0.1008 1.267 1.968 0.09963 0.06234 1 1 0.02614 0.2028 0.2776 0.158 1.226 1.678 json
t17_x23_u1_b92 17 23 1 92 min(R,pow(D,log(R))) 117191 138979733 o2(x,o2(x,o1(x))) true 97535 97535 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_x23_u1_b93 17 23 1 93 min(R,mod(D,log(R))) 117192 138979734 o2(x,o2(x,o1(x))) true 97543 97543 -0.2648 0.1626 0.2931 0.07268 0.2696 -0.9989 0.2656 1.265 1 4.055 0.002419 0.0009897 0.04709 0.4193 1 -0.000005837 0.002547 0.02589 0.001191 0.03451 0.7329 0.3515 0.0469 0.03505 1 1 0.00538 0.05468 0.1162 0.07402 0.7524 1.598 json
t17_x23_u1_b94 17 23 1 94 min(R,lrg(D,log(R))) 117193 138979735 o2(x,o2(x,o1(x))) true 97551 97551 -0.04788 0.4471 0.3642 0.1922 0.4384 -0.9989 0.9806 1.979 1 4.798 0.008689 0.002709 0.06682 0.5247 1 0.000335 0.01281 0.03322 0.006932 0.08326 1.246 0.9735 0.05929 0.06666 1 1 0.01617 0.1499 0.339 0.0841 0.7799 1.763 json
t17_x23_u1_b95 17 23 1 95 min(R,eql(D,log(R))) 117194 138979736 o2(x,o2(x,o1(x))) true 97559 97559 -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_x23_u1_b96 17 23 1 96 min(R,min(D,log(R))) 117195 138979737 o2(x,o2(x,o1(x))) true 97567 97567 -0.6026 0 0.6026 0.07398 0.272 -1 -0.003109 0.9969 1 3.746 0.001796 0.001278 0.03935 0.1685 1 0.0001597 0.0007461 0.01393 0.001526 0.03907 0.9929 0.3883 0.04155 0.01009 1 1 0.005261 0.05501 0.1316 0.07112 0.7435 1.778 json
t17_x23_u1_b97 17 23 1 97 min(R,dot(D,log(R))) 117196 138979738 o2(x,o2(x,o1(x))) true 97575 97575 -0.1513 0.3352 0.3436 0.1577 0.3971 -1 0.969 1.969 1 4.664 0.002391 0.002729 0.05864 -0.06611 1 0.0000715 0.0004269 0.01464 0.001681 0.041 0.6992 0.2648 0.03247 0.002707 1 1 0.009451 0.116 0.2732 0.05993 0.7354 1.733 json
t17_x23_u1_b98 17 23 1 98 min(R,dst(D,log(R))) 117197 138979739 o2(x,o2(x,o1(x))) true 97583 97583 0.006242 0.4978 0.3922 0.2169 0.4657 -0.9989 0.9806 1.979 1 4.857 0.002796 0.003144 0.06304 -0.05856 1 0.00002664 0.0003541 0.0145 0.001967 0.04435 0.7036 0.2301 0.02739 0.001633 1 1 0.01168 0.1498 0.3837 0.05386 0.6905 1.769 json
t17_x23_u1_b99 17 23 1 99 dot(R,add(D,log(R))) 117198 138979740 o2(x,o2(x,o1(x))) true 97591 97591 -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_x23_u1_b100 17 23 1 100 dot(R,sub(D,log(R))) 117199 138979741 o2(x,o2(x,o1(x))) true 97599 97599 -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