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
t16_x17_u0_b73 16 17 0 73 lrg(D,sqt(eql(R,R))) 89100 130616506 o2(x,o1(o2(x,x))) true 29607 29607 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
t16_x17_u0_b74 16 17 0 74 lrg(D,sqt(min(R,R))) 89101 130616507 o2(x,o1(o2(x,x))) true 29615 29615 0.5412 0.9645 0.5412 0.1542 0.3926 0 1 1 1 3.395 0.00536 0.002367 0.05659 0.3873 1 -0.000008039 0.007287 0.02633 0.004526 0.06728 1.189 0.9994 0.05012 0.04727 1 1 0.0114 0.1182 0.2916 0.07393 0.7667 1.892 json
t16_x17_u0_b75 16 17 0 75 lrg(D,sqt(dot(R,R))) 89102 130616508 o2(x,o1(o2(x,x))) true 29623 29623 0.01486 0.1993 0.01486 0.004335 0.06584 0 0.97 0.97 1 0.5047 0.002089 0.00006279 0.01059 0.9416 1 -0.00002819 0.004483 0.01296 0.00204 0.04517 4.267 0.97 0.4963 1.034 1 1 0.001669 0.004257 0.00645 0.385 0.982 1.488 json
t16_x17_u0_b76 16 17 0 76 lrg(D,sqt(dst(R,R))) 89103 130616509 o2(x,o1(o2(x,x))) true 29631 29631 0.5 1 0.5 0.1418 0.3765 0.000291 0.9997 0.9994 1 3.406 0.06511 0 0.1228 1 1 0 0.1208 0.1337 0.05001 0.2236 1.821 0.9994 0.4593 0.8522 1 1 0.07073 0.2419 0 0.4989 1.706 0 json
t16_x17_u0_b77 16 17 0 77 eql(D,sqt(add(R,R))) 89104 130616510 o2(x,o1(o2(x,x))) true 29639 29639 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
t16_x17_u0_b78 16 17 0 78 eql(D,sqt(sub(R,R))) 89105 130616511 o2(x,o1(o2(x,x))) true 29647 29647 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
t16_x17_u0_b79 16 17 0 79 eql(D,sqt(mlt(R,R))) 89106 130616512 o2(x,o1(o2(x,x))) true 29655 29655 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
t16_x17_u0_b80 16 17 0 80 eql(D,sqt(div(R,R))) 89107 130616513 o2(x,o1(o2(x,x))) true 29663 29663 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
t16_x17_u0_b81 16 17 0 81 eql(D,sqt(pow(R,R))) 89108 130616514 o2(x,o1(o2(x,x))) true 29671 29671 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
t16_x17_u0_b82 16 17 0 82 eql(D,sqt(mod(R,R))) 89109 130616515 o2(x,o1(o2(x,x))) true 29679 29679 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
t16_x17_u0_b83 16 17 0 83 eql(D,sqt(lrg(R,R))) 89110 130616516 o2(x,o1(o2(x,x))) true 29687 29687 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
t16_x17_u0_b84 16 17 0 84 eql(D,sqt(eql(R,R))) 89111 130616517 o2(x,o1(o2(x,x))) true 29695 29695 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
t16_x17_u0_b85 16 17 0 85 eql(D,sqt(min(R,R))) 89112 130616518 o2(x,o1(o2(x,x))) true 29703 29703 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
t16_x17_u0_b86 16 17 0 86 eql(D,sqt(dot(R,R))) 89113 130616519 o2(x,o1(o2(x,x))) true 29711 29711 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
t16_x17_u0_b87 16 17 0 87 eql(D,sqt(dst(R,R))) 89114 130616520 o2(x,o1(o2(x,x))) true 29719 29719 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
t16_x17_u0_b88 16 17 0 88 min(D,sqt(add(R,R))) 89115 130616521 o2(x,o1(o2(x,x))) true 29727 29727 -0.00195 0.4961 0.09531 0.01109 0.1053 -0.2482 0.1454 0.3936 1 2.585 0.001661 0.000002358 0.03643 0.9972 1 0.000004144 0.0002636 0.01475 0.0003366 0.01835 0.5036 0.08454 0.15 0.02378 1 1 0.003191 0.02215 0.0004691 0.2877 1.998 0.04231 json
t16_x17_u0_b89 16 17 0 89 min(D,sqt(sub(R,R))) 89116 130616522 o2(x,o1(o2(x,x))) true 29735 29735 -0.143 0 0.143 0.009237 0.09611 -0.2729 -0.000282 0.2726 1 2.227 0.001451 0 0.03416 1 1 0.0003063 0.0002653 0.01361 0.0002853 0.01689 0.4945 0.06184 0.1571 0.02873 1 1 0.002788 0.01827 0 0.3018 1.978 0 json
t16_x17_u0_b90 16 17 0 90 min(D,sqt(mlt(R,R))) 89117 130616523 o2(x,o1(o2(x,x))) true 29743 29743 -0.02723 0.4375 0.1048 0.01338 0.1157 -0.2719 0.1454 0.4173 1 2.764 0.001888 0.00002744 0.03922 0.9714 1 0.000041 0.000333 0.01576 0.000378 0.01944 0.4958 0.0851 0.1432 0.02489 1 1 0.003704 0.02564 0.003378 0.2768 1.916 0.2525 json
t16_x17_u0_b91 16 17 0 91 min(D,sqt(div(R,R))) 89118 130616524 o2(x,o1(o2(x,x))) true 29751 29751 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
t16_x17_u0_b92 16 17 0 92 min(D,sqt(pow(R,R))) 89119 130616525 o2(x,o1(o2(x,x))) true 29759 29759 -0.00001033 0.5 0.09437 0.01083 0.104 -0.1454 0.1454 0.2908 1 2.561 0.001633 3.429e-11 0.03609 1 1 -2.324e-7 0.0002564 0.01459 0.0003307 0.01819 0.5038 0.06196 0.1508 0.02368 1 1 0.003152 0.02184 4.541e-9 0.2911 2.017 4.194e-7 json
t16_x17_u0_b93 16 17 0 93 min(D,sqt(mod(R,R))) 89120 130616526 o2(x,o1(o2(x,x))) true 29767 29767 -0.112 0.1233 0.1293 0.01211 0.11 -0.2729 0.1454 0.4183 1 2.714 0.00146 0.0000521 0.03505 0.9311 1 0.0002661 0.0002621 0.01386 0.0002847 0.01687 0.4815 0.08049 0.1249 0.02164 1 1 0.002931 0.02079 0.008488 0.242 1.717 0.701 json
t16_x17_u0_b94 16 17 0 94 min(D,sqt(lrg(R,R))) 89121 130616527 o2(x,o1(o2(x,x))) true 29775 29775 -0.143 0 0.143 0.009237 0.09611 -0.2729 -0.000282 0.2726 1 2.227 0.001451 0 0.03416 1 1 0.0003063 0.0002653 0.01361 0.0002853 0.01689 0.4945 0.06184 0.1571 0.02873 1 1 0.002788 0.01827 0 0.3018 1.978 0 json
t16_x17_u0_b95 16 17 0 95 min(D,sqt(eql(R,R))) 89122 130616528 o2(x,o1(o2(x,x))) true 29783 29783 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
t16_x17_u0_b96 16 17 0 96 min(D,sqt(min(R,R))) 89123 130616529 o2(x,o1(o2(x,x))) true 29791 29791 -0.003851 0.4921 0.09635 0.01137 0.1066 -0.2543 0.1454 0.3998 1 2.604 0.001697 0.000004065 0.03686 0.9952 1 0.000009016 0.0002731 0.01488 0.0003436 0.01854 0.5029 0.08529 0.1497 0.02403 1 1 0.003252 0.02257 0.0006724 0.2861 1.985 0.05915 json
t16_x17_u0_b97 16 17 0 97 min(D,sqt(dot(R,R))) 89124 130616530 o2(x,o1(o2(x,x))) true 29799 29799 -0.002049 0.4973 0.09574 0.01118 0.1057 -0.2438 0.1454 0.3892 1 2.577 0.001681 0.000001595 0.03666 0.9981 1 0.000007736 0.0002677 0.01482 0.0003401 0.01844 0.5031 0.08437 0.1505 0.02394 1 1 0.003238 0.02242 0.000124 0.2895 2.005 0.01108 json
t16_x17_u0_b98 16 17 0 98 min(D,sqt(dst(R,R))) 89125 130616531 o2(x,o1(o2(x,x))) true 29807 29807 -0.143 0 0.143 0.009237 0.09611 -0.2729 -0.000282 0.2726 1 2.227 0.001451 0 0.03416 1 1 0.0003063 0.0002653 0.01361 0.0002853 0.01689 0.4945 0.06184 0.1571 0.02873 1 1 0.002788 0.01827 0 0.3018 1.978 0 json
t16_x17_u0_b99 16 17 0 99 dot(D,sqt(add(R,R))) 89126 130616532 o2(x,o1(o2(x,x))) true 29815 29815 -0.9958 0.002655 0.9966 0.00449 0.06701 -1 0.3451 1.345 1 0.04915 0.0005769 0.0005285 0.001223 0.04382 1 -3.754e-11 0.002307 0.002138 0.001103 0.03321 27.15 1.344 0.2462 0.5138 1 1 0.001975 0.008304 0.01584 0.4399 1.849 3.527 json
t16_x17_u0_b100 16 17 0 100 dot(D,sqt(sub(R,R))) 89127 130616533 o2(x,o1(o2(x,x))) true 29823 29823 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
t16_x17_u0_b101 16 17 0 101 dot(D,sqt(mlt(R,R))) 89128 130616534 o2(x,o1(o2(x,x))) true 29831 29831 -0.001482 0.4895 0.09317 0.01358 0.1165 -0.4034 0.3695 0.7729 1 2.961 0.0006852 0.0006995 0.03381 -0.01033 1 0.0000419 0.0001867 0.01104 0.0002413 0.01553 0.4594 0.09739 0.102 0.01375 1 1 0.002611 0.02228 0.01597 0.1923 1.641 1.176 json
t16_x17_u0_b102 16 17 0 102 dot(D,sqt(div(R,R))) 89129 130616535 o2(x,o1(o2(x,x))) true 29839 29839 -5.746e-9 0.4688 0.1187 0.02164 0.1471 -0.2908 0.2908 0.5817 1 3.165 0.001632 0.001632 0.05456 1.783e-7 1 -5.369e-10 0.0005126 0.01826 0.0002881 0.01697 0.3111 0.08757 0.1508 0.02368 1 1 0.006301 0.04366 2.839e-16 0.2911 2.017 1.312e-14 json
t16_x17_u0_b103 16 17 0 103 dot(D,sqt(pow(R,R))) 89130 130616536 o2(x,o1(o2(x,x))) true 29847 29847 -0.9961 0.00209 0.9965 0.004011 0.06333 -1 0.2541 1.254 1 0.04844 0.0005197 0.0005125 0.001163 0.007026 1 3.379e-11 0.002176 0.002072 0.00103 0.03209 27.6 1.341 0.2573 0.5426 1 1 0.00183 0.0074 0.01411 0.4563 1.845 3.518 json
t16_x17_u0_b104 16 17 0 104 dot(D,sqt(mod(R,R))) 89131 130616537 o2(x,o1(o2(x,x))) true 29855 29855 -0.596 0.1325 0.6134 0.2445 0.4944 -1 0.303 1.303 1 1.793 0.0158 0.01711 0.03699 -0.03987 1 0.000006024 0.06805 0.06628 0.03153 0.1776 4.8 1.415 0.1346 0.2784 1 1 0.03017 0.1308 0.4509 0.1234 0.5351 1.844 json
t16_x17_u0_b105 16 17 0 105 dot(D,sqt(lrg(R,R))) 89132 130616538 o2(x,o1(o2(x,x))) true 29863 29863 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
t16_x17_u0_b106 16 17 0 106 dot(D,sqt(eql(R,R))) 89133 130616539 o2(x,o1(o2(x,x))) true 29871 29871 3.452e-9 0.4688 0.1187 0.02164 0.1471 -0.2908 0.2908 0.5817 1 3.17 0.001632 0.001632 0.05456 1.783e-7 1 3.281e-9 0.0005126 0.01826 0.000288 0.01697 0.3111 0.08757 0.1508 0.02368 1 1 0.006301 0.04366 1.047e-14 0.2911 2.017 4.838e-13 json
t16_x17_u0_b107 16 17 0 107 dot(D,sqt(min(R,R))) 89134 130616540 o2(x,o1(o2(x,x))) true 29879 29879 -0.9959 0.002655 0.9964 0.004299 0.06556 -1 0.244 1.244 1 0.04716 0.0005527 0.0005187 0.001157 0.03172 1 3.754e-12 0.002251 0.002102 0.001069 0.0327 28.25 1.364 0.2493 0.5237 1 1 0.001903 0.007886 0.01516 0.4427 1.834 3.526 json
t16_x17_u0_b108 16 17 0 108 dot(D,sqt(dot(R,R))) 89135 130616541 o2(x,o1(o2(x,x))) true 29887 29887 -0.0006414 0.4969 0.1303 0.02765 0.1663 -0.5196 0.5113 1.031 1 3.454 0.001765 0.001795 0.05541 -0.008335 1 0.00001617 0.0005327 0.01842 0.0004901 0.02214 0.3995 0.1434 0.1287 0.01926 1 1 0.006939 0.05151 0.01253 0.2509 1.863 0.4533 json
t16_x17_u0_b109 16 17 0 109 dot(D,sqt(dst(R,R))) 89136 130616542 o2(x,o1(o2(x,x))) true 29895 29895 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
t16_x17_u0_b110 16 17 0 110 dst(D,sqt(add(R,R))) 89137 130616543 o2(x,o1(o2(x,x))) true 29903 29903 -0.9922 0.003906 1 0.01556 0.1248 -1 1 2 1 0.03687 0.002016 0.002016 0.001997 0 1 0 0.008566 0.004031 0.004024 0.06344 31.76 2.828 0.259 0.5504 1 1 0.007091 0.02837 0.05496 0.4556 1.823 3.531 json
t16_x17_u0_b111 16 17 0 111 dst(D,sqt(sub(R,R))) 89138 130616544 o2(x,o1(o2(x,x))) true 29911 29911 0.4439 1 0.4439 0.02504 0.1582 0.04473 0.7026 0.6579 1 3.252 0.001981 0.001981 0.05914 2.938e-7 1 -0.0006857 0.0006739 0.01958 0.000465 0.02156 0.3646 0.09377 0.1583 0.02692 1 1 0.007608 0.05068 0 0.3039 2.024 0 json
t16_x17_u0_b112 16 17 0 112 dst(D,sqt(mlt(R,R))) 89139 130616545 o2(x,o1(o2(x,x))) true 29919 29919 0.9325 1 0.9325 0.01606 0.1267 0.07226 1 0.9277 1 1.653 0.0006127 0.0007105 0.01997 -0.07392 1 -0.00007472 0.0004164 0.009793 0.0009249 0.03041 1.523 0.191 0.0824 0.02593 1 1 0.002233 0.01779 0.02237 0.1391 1.108 1.393 json
t16_x17_u0_b113 16 17 0 113 dst(D,sqt(div(R,R))) 89140 130616546 o2(x,o1(o2(x,x))) true 29927 29927 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
t16_x17_u0_b114 16 17 0 114 dst(D,sqt(pow(R,R))) 89141 130616547 o2(x,o1(o2(x,x))) true 29935 29935 -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
t16_x17_u0_b115 16 17 0 115 dst(D,sqt(mod(R,R))) 89142 130616548 o2(x,o1(o2(x,x))) true 29943 29943 -0.3585 0.4023 0.8368 0.6349 0.7968 -1 1 2 1 2.498 0.0359 0.03657 0.06888 -0.009116 1 -0.0002148 0.1454 0.09985 0.0677 0.2602 3.778 2.828 0.1142 0.2291 1 1 0.06587 0.3256 1.17 0.1037 0.5128 1.842 json
t16_x17_u0_b116 16 17 0 116 dst(D,sqt(lrg(R,R))) 89143 130616549 o2(x,o1(o2(x,x))) true 29951 29951 0.4439 1 0.4439 0.02504 0.1582 0.04473 0.7026 0.6579 1 3.252 0.001981 0.001981 0.05914 2.938e-7 1 -0.0006857 0.0006739 0.01958 0.000465 0.02156 0.3646 0.09377 0.1583 0.02692 1 1 0.007608 0.05068 0 0.3039 2.024 0 json
t16_x17_u0_b117 16 17 0 117 dst(D,sqt(eql(R,R))) 89144 130616550 o2(x,o1(o2(x,x))) true 29959 29959 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
t16_x17_u0_b118 16 17 0 118 dst(D,sqt(min(R,R))) 89145 130616551 o2(x,o1(o2(x,x))) true 29967 29967 -0.9922 0.003906 1 0.01556 0.1248 -1 1 2 1 0.03687 0.002016 0.002016 0.001997 0 1 0 0.008566 0.004031 0.004024 0.06344 31.76 2.828 0.259 0.5504 1 1 0.007091 0.02837 0.05496 0.4556 1.823 3.531 json
t16_x17_u0_b119 16 17 0 119 dst(D,sqt(dot(R,R))) 89146 130616552 o2(x,o1(o2(x,x))) true 29975 29975 0.9931 1 0.9931 0.002079 0.04559 0.1266 1 0.8734 1 0.2725 0.0001036 0.0001548 0.002962 -0.1984 1 -0.00002793 0.000141 0.00216 0.0002495 0.01579 5.332 0.2429 0.1243 0.06785 1 1 0.0003142 0.001897 0.002868 0.1512 0.9124 1.38 json
t16_x17_u0_b120 16 17 0 120 dst(D,sqt(dst(R,R))) 89147 130616553 o2(x,o1(o2(x,x))) true 29983 29983 0.4439 1 0.4439 0.02504 0.1582 0.04473 0.7026 0.6579 1 3.252 0.001981 0.001981 0.05914 2.938e-7 1 -0.0006857 0.0006739 0.01958 0.000465 0.02156 0.3646 0.09377 0.1583 0.02692 1 1 0.007608 0.05068 0 0.3039 2.024 0 json
t16_x17_u1_b0 16 17 1 0 add(D,log(add(R,R))) 89148 130616634 o2(x,o1(o2(x,x))) true 29991 29991 -0.9576 0.02417 0.9725 0.0486 0.2204 -1 0.7794 1.779 1 0.4211 0.005038 0.005308 0.01103 -0.02608 1 0.000006483 0.02118 0.01724 0.01022 0.1011 9.169 2.148 0.2129 0.4358 1 1 0.008711 0.03815 0.08314 0.1792 0.7851 1.711 json
t16_x17_u1_b1 16 17 1 1 add(D,log(sub(R,R))) 89149 130616635 o2(x,o1(o2(x,x))) true 29999 29999 -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
t16_x17_u1_b2 16 17 1 2 add(D,log(mlt(R,R))) 89150 130616636 o2(x,o1(o2(x,x))) true 30007 30007 -0.8621 0.004364 0.8624 0.06343 0.2518 -1 0.09862 1.099 1 2.011 0.002313 0.001957 0.03092 0.08327 1 0.0001614 0.001951 0.01754 0.003315 0.05758 1.862 0.4741 0.06732 0.03077 1 1 0.006842 0.05334 0.1068 0.1079 0.841 1.684 json
t16_x17_u1_b3 16 17 1 3 add(D,log(div(R,R))) 89151 130616637 o2(x,o1(o2(x,x))) true 30015 30015 -6.486e-9 0.5 0.09436 0.01082 0.104 -0.1454 0.1454 0.2908 1 2.561 0.001632 1.063e-17 0.0361 1 1 1.339e-10 0.0002563 0.01459 0.0003304 0.01818 0.5036 0.06192 0.1508 0.02368 1 1 0.003151 0.02183 8.592e-16 0.2912 2.017 7.939e-14 json
t16_x17_u1_b4 16 17 1 4 add(D,log(pow(R,R))) 89152 130616638 o2(x,o1(o2(x,x))) true 30023 30023 -0.9679 0.0008698 0.968 0.02364 0.1538 -1 0.08979 1.09 1 0.3859 0.002397 0.002352 0.007534 0.009471 1 -0.000006178 0.009829 0.01284 0.004695 0.06852 9.094 1.195 0.2009 0.4157 1 1 0.003647 0.01599 0.0392 0.1542 0.6761 1.658 json
t16_x17_u1_b5 16 17 1 5 add(D,log(mod(R,R))) 89153 130616639 o2(x,o1(o2(x,x))) true 30031 30031 -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
t16_x17_u1_b6 16 17 1 6 add(D,log(lrg(R,R))) 89154 130616640 o2(x,o1(o2(x,x))) true 30039 30039 -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
t16_x17_u1_b7 16 17 1 7 add(D,log(eql(R,R))) 89155 130616641 o2(x,o1(o2(x,x))) true 30047 30047 0 0.5 0.09436 0.01082 0.104 -0.1454 0.1454 0.2908 1 2.561 0.001632 0 0.03609 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 5.236e-15 0.2912 2.017 4.838e-13 json
t16_x17_u1_b8 16 17 1 8 add(D,log(min(R,R))) 89156 130616642 o2(x,o1(o2(x,x))) true 30055 30055 -0.9836 0.0003204 0.9837 0.009971 0.09986 -1 0.08623 1.086 1 0.3285 0.0011 0.001275 0.005354 -0.0737 1 0.00001142 0.004669 0.00712 0.002348 0.04845 9.051 1.168 0.2382 0.4683 1 1 0.002059 0.009233 0.01644 0.2065 0.926 1.648 json
t16_x17_u1_b9 16 17 1 9 add(D,log(dot(R,R))) 89157 130616643 o2(x,o1(o2(x,x))) true 30063 30063 -0.1204 0.4591 0.3842 0.2183 0.4673 -1 1 2 1 4.653 0.004133 0.00342 0.06931 0.09439 1 0.0000383 0.001098 0.02022 0.002749 0.05243 0.7565 0.4741 0.0346 0.005031 1 1 0.01361 0.1501 0.3591 0.06233 0.6874 1.645 json
t16_x17_u1_b10 16 17 1 10 add(D,log(dst(R,R))) 89158 130616644 o2(x,o1(o2(x,x))) true 30071 30071 -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
t16_x17_u1_b11 16 17 1 11 sub(D,log(add(R,R))) 89159 130616645 o2(x,o1(o2(x,x))) true 30079 30079 -0.9566 0.01828 0.9723 0.05049 0.2247 -1 1 2 1 0.4502 0.005488 0.004845 0.01104 0.06227 1 -0.00002423 0.02103 0.01732 0.01021 0.1011 9.154 2.008 0.2046 0.4165 1 1 0.006605 0.02967 0.07835 0.1308 0.5876 1.552 json
t16_x17_u1_b12 16 17 1 12 sub(D,log(sub(R,R))) 89160 130616646 o2(x,o1(o2(x,x))) true 30087 30087 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
t16_x17_u1_b13 16 17 1 13 sub(D,log(mlt(R,R))) 89161 130616647 o2(x,o1(o2(x,x))) true 30095 30095 0.8619 0.995 0.8623 0.06419 0.2534 -0.1389 1 1.139 1 2.013 0.002356 0.001935 0.03127 0.09823 1 -0.0001189 0.001941 0.01768 0.003312 0.05755 1.841 0.4783 0.06684 0.03024 1 1 0.006816 0.05527 0.1083 0.1062 0.8611 1.687 json
t16_x17_u1_b14 16 17 1 14 sub(D,log(div(R,R))) 89162 130616648 o2(x,o1(o2(x,x))) true 30103 30103 1.599e-8 0.5 0.09436 0.01082 0.104 -0.1454 0.1454 0.2908 1 2.561 0.001632 1.615e-17 0.0361 1 1 1.032e-11 0.0002563 0.01459 0.0003304 0.01818 0.5036 0.06192 0.1508 0.02368 1 1 0.003151 0.02183 1.269e-15 0.2912 2.017 1.173e-13 json
t16_x17_u1_b15 16 17 1 15 sub(D,log(pow(R,R))) 89163 130616649 o2(x,o1(o2(x,x))) true 30111 30111 -0.9462 0.04143 0.968 0.06533 0.2556 -1 0.5024 1.502 1 0.3878 0.006797 0.006532 0.01183 0.01991 1 -0.00001391 0.02779 0.02147 0.01319 0.1148 9.71 1.891 0.204 0.4253 1 1 0.01015 0.04341 0.1097 0.1554 0.6644 1.68 json
t16_x17_u1_b16 16 17 1 16 sub(D,log(mod(R,R))) 89164 130616650 o2(x,o1(o2(x,x))) true 30119 30119 -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
t16_x17_u1_b17 16 17 1 17 sub(D,log(lrg(R,R))) 89165 130616651 o2(x,o1(o2(x,x))) true 30127 30127 -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
t16_x17_u1_b18 16 17 1 18 sub(D,log(eql(R,R))) 89166 130616652 o2(x,o1(o2(x,x))) true 30135 30135 0 0.5 0.09436 0.01082 0.104 -0.1454 0.1454 0.2908 1 2.561 0.001632 0 0.03609 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 5.236e-15 0.2912 2.017 4.838e-13 json
t16_x17_u1_b19 16 17 1 19 sub(D,log(min(R,R))) 89167 130616653 o2(x,o1(o2(x,x))) true 30143 30143 -0.9304 0.04263 0.9837 0.112 0.3347 -1 1 2 1 0.414 0.01181 0.01082 0.01539 0.04389 1 -0.00002208 0.04699 0.02746 0.0224 0.1497 9.724 2.828 0.202 0.4193 1 1 0.01618 0.07031 0.1822 0.1444 0.6275 1.626 json
t16_x17_u1_b20 16 17 1 20 sub(D,log(dot(R,R))) 89168 130616654 o2(x,o1(o2(x,x))) true 30151 30151 0.1207 0.5431 0.3878 0.22 0.4691 -0.9986 1 1.999 1 4.656 0.004193 0.003435 0.06976 0.09938 1 -0.00005464 0.001125 0.02043 0.002762 0.05255 0.7533 0.4557 0.03467 0.005112 1 1 0.01358 0.1498 0.3592 0.06174 0.681 1.633 json
t16_x17_u1_b21 16 17 1 21 sub(D,log(dst(R,R))) 89169 130616655 o2(x,o1(o2(x,x))) true 30159 30159 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
t16_x17_u1_b22 16 17 1 22 mlt(D,log(add(R,R))) 89170 130616656 o2(x,o1(o2(x,x))) true 30167 30167 -0.9573 0.02306 0.9611 0.04128 0.2032 -1 0.3784 1.378 1 0.3867 0.004254 0.004056 0.009278 0.02387 1 0.000003247 0.0173 0.0168 0.008226 0.0907 9.776 1.431 0.2013 0.4191 1 1 0.006312 0.0267 0.06587 0.1529 0.6468 1.595 json
t16_x17_u1_b23 16 17 1 23 mlt(D,log(sub(R,R))) 89171 130616657 o2(x,o1(o2(x,x))) true 30175 30175 0 0.5 1 1 1 -1 1 2 1 1 0.4921 0 0.246 1 1 0 0.9841 0.4921 0.4315 0.6569 2.67 2 0.4921 0.9841 1 1 0.4947 2 0 0.4947 2 0 json
t16_x17_u1_b24 16 17 1 24 mlt(D,log(mlt(R,R))) 89172 130616658 o2(x,o1(o2(x,x))) true 30183 30183 -0.0002685 0.4957 0.2681 0.1449 0.3807 -1 1 2 1 4.4 0.01155 0.001901 0.08678 0.7173 1 0.00003082 0.003011 0.03238 0.005919 0.07693 0.8865 0.7346 0.09282 0.02078 1 1 0.02275 0.1996 0.2247 0.157 1.378 1.551 json
t16_x17_u1_b25 16 17 1 25 mlt(D,log(div(R,R))) 89173 130616659 o2(x,o1(o2(x,x))) true 30191 30191 -3.33e-11 0 3.353e-9 3.812e-17 6.174e-9 -3.252e-8 3.252e-8 6.504e-8 1 0.01475 2.172e-18 5.421e-19 1.051e-9 0.00000163 0 1.077e-13 2.927e-19 3.204e-10 1.61e-18 1.269e-9 1.208 7.446e-9 0.000002714 2.927e-7 0 1 5.085e-18 5.161e-17 6.469e-17 0.000005085 0.00005161 0.00006469 json
t16_x17_u1_b26 16 17 1 26 mlt(D,log(pow(R,R))) 89174 130616660 o2(x,o1(o2(x,x))) true 30199 30199 -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
t16_x17_u1_b27 16 17 1 27 mlt(D,log(mod(R,R))) 89175 130616661 o2(x,o1(o2(x,x))) true 30207 30207 -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
t16_x17_u1_b28 16 17 1 28 mlt(D,log(lrg(R,R))) 89176 130616662 o2(x,o1(o2(x,x))) true 30215 30215 -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
t16_x17_u1_b29 16 17 1 29 mlt(D,log(eql(R,R))) 89177 130616663 o2(x,o1(o2(x,x))) true 30223 30223 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
t16_x17_u1_b30 16 17 1 30 mlt(D,log(min(R,R))) 89178 130616664 o2(x,o1(o2(x,x))) true 30231 30231 -0.9573 0.02133 0.9617 0.04153 0.2038 -1 0.4603 1.46 1 0.3949 0.0043 0.004082 0.009587 0.02607 1 0.00001021 0.01737 0.01697 0.008291 0.09105 9.497 1.462 0.2018 0.4184 1 1 0.006404 0.02721 0.06629 0.1542 0.6553 1.596 json
t16_x17_u1_b31 16 17 1 31 mlt(D,log(dot(R,R))) 89179 130616665 o2(x,o1(o2(x,x))) true 30239 30239 -0.0009907 0.4914 0.09303 0.02018 0.1421 -0.9592 1 1.959 1 3.039 0.001118 0.0003163 0.02909 0.5591 1 0.00003992 0.0001634 0.008562 0.0005886 0.02426 0.8341 0.2883 0.07108 0.008096 1 1 0.002142 0.0231 0.03291 0.1061 1.144 1.631 json
t16_x17_u1_b32 16 17 1 32 mlt(D,log(dst(R,R))) 89180 130616666 o2(x,o1(o2(x,x))) true 30247 30247 0 0.5 1 1 1 -1 1 2 1 1 0.4921 0 0.246 1 1 0 0.9841 0.4921 0.4315 0.6569 2.67 2 0.4921 0.9841 1 1 0.4947 2 0 0.4947 2 0 json
t16_x17_u1_b33 16 17 1 33 div(D,log(add(R,R))) 89181 130616667 o2(x,o1(o2(x,x))) true 30255 30255 -0.9579 0.01968 0.979 0.05642 0.2375 -1 1 2 1 0.4041 0.005377 0.00731 0.01356 -0.1523 1 -0.00007858 0.02456 0.01981 0.0125 0.1118 8.245 2.725 0.2249 0.4354 1 1 0.01075 0.04764 0.08255 0.1905 0.8443 1.463 json
t16_x17_u1_b34 16 17 1 34 div(D,log(sub(R,R))) 89182 130616668 o2(x,o1(o2(x,x))) true 30263 30263 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
t16_x17_u1_b35 16 17 1 35 div(D,log(mlt(R,R))) 89183 130616669 o2(x,o1(o2(x,x))) true 30271 30271 0.01002 0.5077 0.2854 0.1906 0.4366 -1 1 2 1 4.11 0.0196 0.0044 0.08269 0.6332 1 -0.00007545 0.02153 0.04565 0.01716 0.131 1.584 2.06 0.1259 0.113 1 1 0.03322 0.2406 0.3188 0.1743 1.262 1.673 json
t16_x17_u1_b36 16 17 1 36 div(D,log(div(R,R))) 89184 130616670 o2(x,o1(o2(x,x))) true 30279 30279 -0.9883 0.005859 1 0.02329 0.1526 -1 1 2 1 0.05188 0.006047 0.002016 0.003994 0.5 1 0 0.01713 0.008062 0.008057 0.08976 22.47 2.828 0.3462 0.7357 1 1 0.01418 0.05673 0.07756 0.609 2.436 3.331 json
t16_x17_u1_b37 16 17 1 37 div(D,log(pow(R,R))) 89185 130616671 o2(x,o1(o2(x,x))) true 30287 30287 -0.9553 0.02214 0.9798 0.06149 0.248 -1 1 2 1 0.4132 0.006062 0.005072 0.01394 0.08889 1 0.00006096 0.02021 0.01895 0.01093 0.1046 7.498 2.018 0.1811 0.3286 1 1 0.009025 0.04735 0.1118 0.1468 0.77 1.819 json
t16_x17_u1_b38 16 17 1 38 div(D,log(mod(R,R))) 89186 130616672 o2(x,o1(o2(x,x))) true 30295 30295 -0.3849 0.08484 0.4173 0.2562 0.5062 -1 1 2 1 1.901 0.01722 0.01793 0.04092 -0.02041 1 -0.00003378 0.0705 0.06913 0.03348 0.183 4.472 2 0.1372 0.2752 1 1 0.03516 0.1557 0.5098 0.1372 0.6075 1.99 json
t16_x17_u1_b39 16 17 1 39 div(D,log(lrg(R,R))) 89187 130616673 o2(x,o1(o2(x,x))) true 30303 30303 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
t16_x17_u1_b40 16 17 1 40 div(D,log(eql(R,R))) 89188 130616674 o2(x,o1(o2(x,x))) true 30311 30311 0 0.5 1 1 1 -1 1 2 1 1 0.4921 0 0.246 1 1 0 0.9841 0.4921 0.4315 0.6569 2.67 2 0.4921 0.9841 1 1 0.4947 2 0 0.4947 2 0 json
t16_x17_u1_b41 16 17 1 41 div(D,log(min(R,R))) 89189 130616675 o2(x,o1(o2(x,x))) true 30319 30319 -0.955 0.02277 0.9766 0.05983 0.2446 -1 1 2 1 0.4128 0.005498 0.005245 0.01296 0.02361 1 0.00005494 0.0201 0.0185 0.01058 0.1029 7.938 2.031 0.1796 0.336 1 1 0.008569 0.04567 0.1128 0.1432 0.7633 1.886 json
t16_x17_u1_b42 16 17 1 42 div(D,log(dot(R,R))) 89190 130616676 o2(x,o1(o2(x,x))) true 30327 30327 0.006435 0.5002 0.5313 0.4249 0.6519 -1 1 2 1 4.436 0.03701 0.009963 0.1374 0.5758 1 0.0002506 0.03279 0.07507 0.0281 0.1676 1.22 2.005 0.1105 0.07716 1 1 0.07985 0.6155 0.9132 0.1879 1.448 2.149 json
t16_x17_u1_b43 16 17 1 43 div(D,log(dst(R,R))) 89191 130616677 o2(x,o1(o2(x,x))) true 30335 30335 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
t16_x17_u1_b44 16 17 1 44 pow(D,log(add(R,R))) 89192 130616678 o2(x,o1(o2(x,x))) true 30343 30343 -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
t16_x17_u1_b45 16 17 1 45 pow(D,log(sub(R,R))) 89193 130616679 o2(x,o1(o2(x,x))) true 30351 30351 -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
t16_x17_u1_b46 16 17 1 46 pow(D,log(mlt(R,R))) 89194 130616680 o2(x,o1(o2(x,x))) true 30359 30359 -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
t16_x17_u1_b47 16 17 1 47 pow(D,log(div(R,R))) 89195 130616681 o2(x,o1(o2(x,x))) true 30367 30367 0.1797 0.5898 1 0.9674 0.9836 -1 1 2 1 0.9766 0.1048 0.06072 0.08216 0.2664 1 0 0.3449 0.1655 0.1588 0.3986 4.851 2.828 0.1711 0.3565 1 1 0.1458 0.6042 1.876 0.1507 0.6245 1.939 json
t16_x17_u1_b48 16 17 1 48 pow(D,log(pow(R,R))) 89196 130616682 o2(x,o1(o2(x,x))) true 30375 30375 -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
t16_x17_u1_b49 16 17 1 49 pow(D,log(mod(R,R))) 89197 130616683 o2(x,o1(o2(x,x))) true 30383 30383 -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
t16_x17_u1_b50 16 17 1 50 pow(D,log(lrg(R,R))) 89198 130616684 o2(x,o1(o2(x,x))) true 30391 30391 -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
t16_x17_u1_b51 16 17 1 51 pow(D,log(eql(R,R))) 89199 130616685 o2(x,o1(o2(x,x))) true 30399 30399 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