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_x20_u6_b106 16 20 6 106 dot(R,nrm(eql(P,R))) 92400 130738948 o2(x,o1(o2(x,x))) true 56007 56007 -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_x20_u6_b107 16 20 6 107 dot(R,nrm(min(P,R))) 92401 130738949 o2(x,o1(o2(x,x))) true 56015 56015 0.2753 0.6649 0.5219 0.2946 0.5428 -1 1 2 1 4.771 0.002201 0.002884 0.05405 -0.1343 1 -0.00006986 0.0003474 0.01276 0.002164 0.04652 0.8607 0.2436 0.01726 0.001179 1 1 0.009871 0.1251 0.3431 0.03351 0.4246 1.165 json
t16_x20_u6_b108 16 20 6 108 dot(R,nrm(dot(P,R))) 92402 130738950 o2(x,o1(o2(x,x))) true 56023 56023 0.01378 0.522 0.3766 0.2223 0.4715 -1 1 2 1 4.815 0.003465 0.003623 0.05509 -0.0223 1 0.000001024 0.005608 0.01634 0.004054 0.06367 1.156 2.819 0.03189 0.02523 1 1 0.01443 0.1434 0.3652 0.06493 0.6453 1.643 json
t16_x20_u6_b109 16 20 6 109 dot(R,nrm(dst(P,R))) 92403 130738951 o2(x,o1(o2(x,x))) true 56031 56031 0.008445 0.5136 0.3499 0.1935 0.4399 -1 1 2 1 4.768 0.002659 0.002832 0.05883 -0.03158 1 0.00001943 0.0003874 0.01356 0.00203 0.04506 0.7659 0.2628 0.02837 0.002001 1 1 0.01168 0.1478 0.3721 0.06033 0.7634 1.922 json
t16_x20_u6_b110 16 20 6 110 dst(R,nrm(add(P,R))) 92404 130738952 o2(x,o1(o2(x,x))) true 56039 56039 0.9338 1 0.9338 0.02065 0.1437 0.08852 1 0.9115 1 1.505 0.0004749 0.0005622 0.01423 -0.08419 1 -0.00003038 0.0003233 0.006845 0.0008345 0.02889 2.03 0.1915 0.05022 0.01565 1 1 0.001916 0.01894 0.04202 0.09277 0.9172 2.035 json
t16_x20_u6_b111 16 20 6 111 dst(R,nrm(sub(P,R))) 92405 130738953 o2(x,o1(o2(x,x))) true 56047 56047 0.9754 1 0.9754 0.00853 0.09236 0.1104 1 0.8896 1 0.7222 0.0002553 0.0003231 0.006995 -0.1172 1 -0.00002712 0.0002053 0.003902 0.0005296 0.02301 3.29 0.2036 0.0678 0.02407 1 1 0.000856 0.007988 0.01327 0.1004 0.9365 1.555 json
t16_x20_u6_b112 16 20 6 112 dst(R,nrm(mlt(P,R))) 92406 130738954 o2(x,o1(o2(x,x))) true 56055 56055 0.8824 0.9844 0.9137 0.08518 0.2918 -1 1 2 1 1.795 0.00399 0.003912 0.0137 0.009824 1 -0.00001139 0.01531 0.01091 0.007713 0.08782 6.411 2 0.09277 0.1797 1 1 0.01404 0.06433 0.2432 0.1649 0.7553 2.855 json
t16_x20_u6_b113 16 20 6 113 dst(R,nrm(div(P,R))) 92407 130738955 o2(x,o1(o2(x,x))) true 56063 56063 0.9318 0.9844 0.9631 0.07174 0.2679 -1 1 2 1 1.101 0.004077 0.004073 0.01034 0.0004165 1 -0.000007268 0.01611 0.009934 0.008048 0.08971 8.677 2.412 0.1136 0.2246 1 1 0.0145 0.06432 0.2434 0.2021 0.8965 3.393 json
t16_x20_u6_b114 16 20 6 114 dst(R,nrm(pow(P,R))) 92408 130738956 o2(x,o1(o2(x,x))) true 56071 56071 -0.9773 0.01172 0.9993 0.04372 0.2091 -1 1 2 1 0.1082 0.003544 0.005648 0.004937 -0.2289 1 0 0.01921 0.00964 0.009168 0.09575 19.39 2.464 0.2103 0.4395 1 1 0.002604 0.01822 0.03937 0.05956 0.4167 0.9005 json
t16_x20_u6_b115 16 20 6 115 dst(R,nrm(mod(P,R))) 92409 130738957 o2(x,o1(o2(x,x))) true 56079 56079 0.919 0.9844 0.9503 0.07483 0.2736 -1 1 2 1 1.327 0.004193 0.004137 0.01609 0.006646 1 -0.00003631 0.01539 0.01423 0.008066 0.08981 5.583 2 0.1113 0.2056 1 1 0.01453 0.06803 0.2457 0.1942 0.9091 3.283 json
t16_x20_u6_b116 16 20 6 116 dst(R,nrm(lrg(P,R))) 92410 130738958 o2(x,o1(o2(x,x))) true 56087 56087 0.4766 0.7422 0.9922 0.7591 0.8713 -1 1 2 1 1.121 0.01286 0.01669 0.01729 -0.1296 1 -0.000008005 0.06106 0.03119 0.02922 0.1709 9.887 2.828 0.03892 0.08044 1 1 0.03666 0.1486 0.5019 0.0483 0.1958 0.6612 json
t16_x20_u6_b117 16 20 6 117 dst(R,nrm(eql(P,R))) 92411 130738959 o2(x,o1(o2(x,x))) true 56095 56095 -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_x20_u6_b118 16 20 6 118 dst(R,nrm(min(P,R))) 92412 130738960 o2(x,o1(o2(x,x))) true 56103 56103 0.7966 1 0.7966 0.08171 0.2858 0.01686 1 0.9831 1 2.642 0.0005679 0.0006284 0.01882 -0.05059 1 -0.00003391 0.0002706 0.006933 0.0008422 0.02902 1.542 0.1998 0.01464 0.003312 1 1 0.002224 0.02442 0.07611 0.02722 0.2989 0.9314 json
t16_x20_u6_b119 16 20 6 119 dst(R,nrm(dot(P,R))) 92413 130738961 o2(x,o1(o2(x,x))) true 56111 56111 0.9124 0.9844 0.9437 0.07769 0.2787 -1 1 2 1 1.363 0.004247 0.004108 0.01508 0.01662 1 -0.00001317 0.01566 0.01283 0.008124 0.09013 5.975 2.099 0.1075 0.2015 1 1 0.01478 0.06962 0.2469 0.1903 0.8961 3.178 json
t16_x20_u6_b120 16 20 6 120 dst(R,nrm(dst(P,R))) 92414 130738962 o2(x,o1(o2(x,x))) true 56119 56119 0.9574 1 0.9574 0.01496 0.1223 0.1417 1 0.8583 1 1.061 0.0004267 0.0005175 0.01114 -0.09619 1 -0.00001782 0.0002873 0.005546 0.0008208 0.02865 2.572 0.2061 0.06311 0.0192 1 1 0.002229 0.02133 0.03256 0.149 1.426 2.176 json
t16_x21_u0_b0 16 21 0 0 add(R,sqt(add(D,P))) 92415 130778037 o2(x,o1(o2(x,x))) true 56127 56127 -0.02954 0.4913 0.9752 0.964 0.9818 -1 1 2 1 1.504 0.006118 0.000183 0.009955 0.9419 1 -0.00002243 0.01038 0.009649 0.006198 0.07873 7.908 2 0.006537 0.01077 1 1 0.01011 0.06166 0.3064 0.01048 0.06397 0.3179 json
t16_x21_u0_b1 16 21 0 1 add(R,sqt(sub(D,P))) 92416 130778038 o2(x,o1(o2(x,x))) true 56135 56135 -0.1351 0.4374 0.9899 0.9665 0.9831 -1 1 2 1 1.256 0.01395 0.00009351 0.009387 0.9867 1 -0.000006846 0.02801 0.01582 0.01395 0.1181 12.58 2.007 0.01454 0.02898 1 1 0.01864 0.07564 0.3218 0.01929 0.07826 0.3329 json
t16_x21_u0_b2 16 21 0 2 add(R,sqt(mlt(D,P))) 92417 130778039 o2(x,o1(o2(x,x))) true 56143 56143 -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_x21_u0_b3 16 21 0 3 add(R,sqt(div(D,P))) 92418 130778040 o2(x,o1(o2(x,x))) true 56151 56151 -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_x21_u0_b4 16 21 0 4 add(R,sqt(pow(D,P))) 92419 130778041 o2(x,o1(o2(x,x))) true 56159 56159 -0.8831 0.0625 0.9919 0.2086 0.4567 -1 1 2 1 0.4569 0.02759 0.00004662 0.01618 0.9966 1 -0.000006158 0.05493 0.02999 0.02737 0.1654 10.22 2.006 0.1325 0.2634 1 1 0.03724 0.1556 0.3073 0.1786 0.7459 1.473 json
t16_x21_u0_b5 16 21 0 5 add(R,sqt(mod(D,P))) 92420 130778042 o2(x,o1(o2(x,x))) true 56167 56167 -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_x21_u0_b6 16 21 0 6 add(R,sqt(lrg(D,P))) 92421 130778043 o2(x,o1(o2(x,x))) true 56175 56175 0.4039 0.7382 0.5996 0.3077 0.5547 -0.9986 1 1.999 1 4.325 0.005401 0.002232 0.05162 0.4151 1 -0.00001858 0.006298 0.02012 0.004969 0.07049 1.366 1.012 0.02481 0.02047 1 1 0.01334 0.1232 0.301 0.04334 0.4002 0.9781 json
t16_x21_u0_b7 16 21 0 7 add(R,sqt(eql(D,P))) 92422 130778044 o2(x,o1(o2(x,x))) true 56183 56183 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
t16_x21_u0_b8 16 21 0 8 add(R,sqt(min(D,P))) 92423 130778045 o2(x,o1(o2(x,x))) true 56191 56191 -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_x21_u0_b9 16 21 0 9 add(R,sqt(dot(D,P))) 92424 130778046 o2(x,o1(o2(x,x))) true 56199 56199 -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_x21_u0_b10 16 21 0 10 add(R,sqt(dst(D,P))) 92425 130778047 o2(x,o1(o2(x,x))) true 56207 56207 0.9973 1 0.9973 0.001016 0.03187 0.3013 1 0.6987 1 0.1024 0.00005692 0.00004275 0.0009991 0.1421 0 -2.816e-11 0.00004549 0.0006517 0.00009865 0.009932 9.941 0.1895 0.09811 0.04478 1 1 0.0003193 0.002599 0.003643 0.3143 2.558 3.586 json
t16_x21_u0_b11 16 21 0 11 sub(R,sqt(add(D,P))) 92426 130778048 o2(x,o1(o2(x,x))) true 56215 56215 -0.9623 0.005554 0.9645 0.02551 0.1597 -1 0.6523 1.652 1 0.6824 0.003584 0.0002376 0.009504 0.8756 1 4.875e-7 0.00721 0.008259 0.003732 0.06109 6.427 1.652 0.1498 0.2827 1 1 0.005613 0.02646 0.05096 0.22 1.037 1.998 json
t16_x21_u0_b12 16 21 0 12 sub(R,sqt(sub(D,P))) 92427 130778049 o2(x,o1(o2(x,x))) true 56223 56223 -0.988 0 0.988 0.006095 0.07807 -1 -0.05845 0.9416 1 0.3106 0.0009684 0.0001111 0.003778 0.7942 1 3.379e-11 0.001683 0.003691 0.001066 0.03264 8.64 0.9134 0.1771 0.2761 1 1 0.001441 0.007718 0.01439 0.2364 1.266 2.361 json
t16_x21_u0_b13 16 21 0 13 sub(R,sqt(mlt(D,P))) 92428 130778050 o2(x,o1(o2(x,x))) true 56231 56231 -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_x21_u0_b14 16 21 0 14 sub(R,sqt(div(D,P))) 92429 130778051 o2(x,o1(o2(x,x))) true 56239 56239 -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_x21_u0_b15 16 21 0 15 sub(R,sqt(pow(D,P))) 92430 130778052 o2(x,o1(o2(x,x))) true 56247 56247 -0.9945 0 0.9945 0.002522 0.05022 -1 -0.171 0.829 1 0.1552 0.000511 0.00003228 0.001889 0.8812 1 -7.321e-11 0.0009164 0.002219 0.0005399 0.02323 12.3 0.829 0.2154 0.3633 1 1 0.0009205 0.004184 0.00683 0.3649 1.659 2.708 json
t16_x21_u0_b16 16 21 0 16 sub(R,sqt(mod(D,P))) 92431 130778053 o2(x,o1(o2(x,x))) true 56255 56255 -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_x21_u0_b17 16 21 0 17 sub(R,sqt(lrg(D,P))) 92432 130778054 o2(x,o1(o2(x,x))) true 56263 56263 -0.4025 0.227 0.5803 0.2833 0.5322 -1 0.9806 1.981 1 4.373 0.005027 0.002397 0.05416 0.3542 1 0.00004721 0.005164 0.01959 0.004491 0.06701 1.237 1.014 0.02621 0.01823 1 1 0.01356 0.1305 0.3162 0.04786 0.4605 1.116 json
t16_x21_u0_b18 16 21 0 18 sub(R,sqt(eql(D,P))) 92433 130778055 o2(x,o1(o2(x,x))) true 56271 56271 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
t16_x21_u0_b19 16 21 0 19 sub(R,sqt(min(D,P))) 92434 130778056 o2(x,o1(o2(x,x))) true 56279 56279 -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_x21_u0_b20 16 21 0 20 sub(R,sqt(dot(D,P))) 92435 130778057 o2(x,o1(o2(x,x))) true 56287 56287 -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_x21_u0_b21 16 21 0 21 sub(R,sqt(dst(D,P))) 92436 130778058 o2(x,o1(o2(x,x))) true 56295 56295 -0.989 0.00116 0.9896 0.005431 0.07369 -1 0.6182 1.618 1 0.3186 0.0001657 0.0001484 0.00292 0.05479 1 1.877e-11 0.00009173 0.001452 0.0003052 0.01747 5.982 0.2532 0.05784 0.01689 1 1 0.001038 0.009852 0.01722 0.1912 1.814 3.171 json
t16_x21_u0_b22 16 21 0 22 mlt(R,sqt(add(D,P))) 92437 130778059 o2(x,o1(o2(x,x))) true 56303 56303 -0.5157 0.2342 0.7923 0.4636 0.6808 -1 1 2 1 2.99 0.007866 0.004134 0.04781 0.3109 1 -0.00004517 0.009297 0.02151 0.009712 0.09855 2.061 1.147 0.02589 0.02006 1 1 0.01819 0.1713 0.4827 0.03924 0.3696 1.041 json
t16_x21_u0_b23 16 21 0 23 mlt(R,sqt(sub(D,P))) 92438 130778060 o2(x,o1(o2(x,x))) true 56311 56311 -0.5323 0.2317 0.8444 0.5098 0.714 -1 1 2 1 2.63 0.009667 0.004458 0.04285 0.3687 1 0.00002022 0.01423 0.02145 0.01229 0.1108 2.587 1.884 0.02771 0.02791 1 1 0.02081 0.1708 0.4179 0.04082 0.335 0.8198 json
t16_x21_u0_b24 16 21 0 24 mlt(R,sqt(mlt(D,P))) 92439 130778061 o2(x,o1(o2(x,x))) true 56319 56319 -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_x21_u0_b25 16 21 0 25 mlt(R,sqt(div(D,P))) 92440 130778062 o2(x,o1(o2(x,x))) true 56327 56327 -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_x21_u0_b26 16 21 0 26 mlt(R,sqt(pow(D,P))) 92441 130778063 o2(x,o1(o2(x,x))) true 56335 56335 -0.9354 0.03163 0.9721 0.08756 0.2959 -1 1 2 1 0.5986 0.01346 0.0005457 0.01367 0.9221 1 -0.000005933 0.02687 0.01808 0.01382 0.1176 8.599 2 0.16 0.3068 1 1 0.01879 0.08181 0.1625 0.2146 0.9343 1.856 json
t16_x21_u0_b27 16 21 0 27 mlt(R,sqt(mod(D,P))) 92442 130778064 o2(x,o1(o2(x,x))) true 56343 56343 -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_x21_u0_b28 16 21 0 28 mlt(R,sqt(lrg(D,P))) 92443 130778065 o2(x,o1(o2(x,x))) true 56351 56351 0.01649 0.294 0.2053 0.1135 0.337 -0.9989 0.9693 1.968 1 3.501 0.002568 0.001692 0.03466 0.2057 1 0.00002662 0.002756 0.01155 0.003059 0.0553 1.595 0.9527 0.03752 0.02428 1 1 0.007456 0.07958 0.1973 0.06567 0.7008 1.738 json
t16_x21_u0_b29 16 21 0 29 mlt(R,sqt(eql(D,P))) 92444 130778066 o2(x,o1(o2(x,x))) true 56359 56359 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_x21_u0_b30 16 21 0 30 mlt(R,sqt(min(D,P))) 92445 130778067 o2(x,o1(o2(x,x))) true 56367 56367 -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_x21_u0_b31 16 21 0 31 mlt(R,sqt(dot(D,P))) 92446 130778068 o2(x,o1(o2(x,x))) true 56375 56375 -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_x21_u0_b32 16 21 0 32 mlt(R,sqt(dst(D,P))) 92447 130778069 o2(x,o1(o2(x,x))) true 56383 56383 0.0007167 0.4971 0.702 0.6025 0.7762 -1 1 2 1 4.162 0.01066 0.01208 0.09491 -0.0627 1 0.000003549 0.005513 0.03379 0.01373 0.1172 1.235 0.6936 0.03774 0.00915 1 1 0.03716 0.3996 0.9944 0.06168 0.6633 1.65 json
t16_x21_u0_b33 16 21 0 33 div(R,sqt(add(D,P))) 92448 130778070 o2(x,o1(o2(x,x))) true 56391 56391 -0.4992 0.2342 0.6247 0.307 0.5541 -1 1 2 1 3.077 0.007792 0.0009102 0.02452 0.7908 1 -0.00001107 0.0143 0.01231 0.008102 0.09001 3.67 2 0.02834 0.04659 1 1 0.01387 0.08563 0.225 0.04516 0.2789 0.7327 json
t16_x21_u0_b34 16 21 0 34 div(R,sqt(sub(D,P))) 92449 130778071 o2(x,o1(o2(x,x))) true 56399 56399 -0.5551 0.2334 0.6583 0.2878 0.5365 -1 0.9587 1.959 1 2.81 0.006686 0.0005222 0.01931 0.8551 1 0.00001322 0.01267 0.01261 0.006833 0.08266 4.28 1.912 0.02505 0.04403 1 1 0.009555 0.05315 0.1582 0.0332 0.1847 0.5499 json
t16_x21_u0_b35 16 21 0 35 div(R,sqt(mlt(D,P))) 92450 130778072 o2(x,o1(o2(x,x))) true 56407 56407 -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_x21_u0_b36 16 21 0 36 div(R,sqt(div(D,P))) 92451 130778073 o2(x,o1(o2(x,x))) true 56415 56415 -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_x21_u0_b37 16 21 0 37 div(R,sqt(pow(D,P))) 92452 130778074 o2(x,o1(o2(x,x))) true 56423 56423 -0.9393 0.03085 0.9573 0.06436 0.2537 -1 0.8291 1.829 1 0.6227 0.008646 0.0001023 0.0109 0.9766 1 -0.000006507 0.01682 0.01587 0.008632 0.09291 8.526 1.829 0.1359 0.2613 1 1 0.01225 0.05398 0.1087 0.1904 0.8386 1.689 json
t16_x21_u0_b38 16 21 0 38 div(R,sqt(mod(D,P))) 92453 130778075 o2(x,o1(o2(x,x))) true 56431 56431 -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_x21_u0_b39 16 21 0 39 div(R,sqt(lrg(D,P))) 92454 130778076 o2(x,o1(o2(x,x))) true 56439 56439 -0.5465 0.2329 0.7376 0.3632 0.6027 -1 0.9693 1.969 1 3.09 0.007374 0.001495 0.03151 0.6629 1 0.00003761 0.01277 0.0153 0.007879 0.08877 2.817 1.898 0.02442 0.03517 1 1 0.01261 0.09145 0.2487 0.03471 0.2518 0.6847 json
t16_x21_u0_b40 16 21 0 40 div(R,sqt(eql(D,P))) 92455 130778077 o2(x,o1(o2(x,x))) true 56447 56447 -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_x21_u0_b41 16 21 0 41 div(R,sqt(min(D,P))) 92456 130778078 o2(x,o1(o2(x,x))) true 56455 56455 -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_x21_u0_b42 16 21 0 42 div(R,sqt(dot(D,P))) 92457 130778079 o2(x,o1(o2(x,x))) true 56463 56463 -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_x21_u0_b43 16 21 0 43 div(R,sqt(dst(D,P))) 92458 130778080 o2(x,o1(o2(x,x))) true 56471 56471 0.01186 0.4988 0.1733 0.0457 0.2138 -0.6977 1 1.698 1 3.774 0.0006678 0.0006943 0.02837 -0.01952 1 0.000007082 0.0001032 0.006587 0.0005571 0.0236 0.8318 0.2762 0.0298 0.002257 1 1 0.003565 0.04538 0.1063 0.078 0.9929 2.325 json
t16_x21_u0_b44 16 21 0 44 pow(R,sqt(add(D,P))) 92459 130778081 o2(x,o1(o2(x,x))) true 56479 56479 -0.9879 0.007813 0.9965 0.01906 0.1381 -1 0.9314 1.931 1 0.09356 0.001974 0.002316 0.002859 -0.0798 1 0.000002967 0.009123 0.005359 0.004282 0.06543 22.88 2.643 0.225 0.4785 1 1 0.0006988 0.004853 0.01685 0.03666 0.2545 0.8838 json
t16_x21_u0_b45 16 21 0 45 pow(R,sqt(sub(D,P))) 92460 130778082 o2(x,o1(o2(x,x))) true 56487 56487 -0.9567 0.03125 0.9808 0.0601 0.2452 -1 0.8993 1.899 1 0.3188 0.006771 0.005377 0.009356 0.1147 1 0.000007137 0.02532 0.01705 0.01205 0.1098 11.73 2.106 0.2021 0.4213 1 1 0.0132 0.0548 0.1278 0.2196 0.9118 2.126 json
t16_x21_u0_b46 16 21 0 46 pow(R,sqt(mlt(D,P))) 92461 130778083 o2(x,o1(o2(x,x))) true 56495 56495 -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_x21_u0_b47 16 21 0 47 pow(R,sqt(div(D,P))) 92462 130778084 o2(x,o1(o2(x,x))) true 56503 56503 -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_x21_u0_b48 16 21 0 48 pow(R,sqt(pow(D,P))) 92463 130778085 o2(x,o1(o2(x,x))) true 56511 56511 -0.994 0.003906 0.9981 0.009149 0.09565 -1 0.7527 1.753 1 0.04912 0.0009809 0.001193 0.001605 -0.09749 1 -1.502e-11 0.004461 0.002941 0.002171 0.04659 29.03 1.806 0.2376 0.4876 1 1 0.0006325 0.004238 0.008335 0.06914 0.4632 0.9111 json
t16_x21_u0_b49 16 21 0 49 pow(R,sqt(mod(D,P))) 92464 130778086 o2(x,o1(o2(x,x))) true 56519 56519 -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_x21_u0_b50 16 21 0 50 pow(R,sqt(lrg(D,P))) 92465 130778087 o2(x,o1(o2(x,x))) true 56527 56527 -0.0142 0.5039 0.978 0.967 0.9834 -1 1 2 1 1.453 0.02645 0.01612 0.02615 0.2427 1 0.000005839 0.08868 0.04893 0.04192 0.2047 7.828 2.828 0.04403 0.09171 1 1 0.05385 0.2216 0.6445 0.05568 0.2292 0.6665 json
t16_x21_u0_b51 16 21 0 51 pow(R,sqt(eql(D,P))) 92466 130778088 o2(x,o1(o2(x,x))) true 56535 56535 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_x21_u0_b52 16 21 0 52 pow(R,sqt(min(D,P))) 92467 130778089 o2(x,o1(o2(x,x))) true 56543 56543 -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_x21_u0_b53 16 21 0 53 pow(R,sqt(dot(D,P))) 92468 130778090 o2(x,o1(o2(x,x))) true 56551 56551 -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_x21_u0_b54 16 21 0 54 pow(R,sqt(dst(D,P))) 92469 130778091 o2(x,o1(o2(x,x))) true 56559 56559 -0.9421 0.04297 0.972 0.07695 0.2774 -1 0.8524 1.852 1 0.414 0.007863 0.007765 0.01246 0.006284 1 0.00001025 0.03257 0.02262 0.01548 0.1244 9.984 2.381 0.2031 0.4232 1 1 0.0132 0.05737 0.1376 0.1716 0.7456 1.789 json
t16_x21_u0_b55 16 21 0 55 mod(R,sqt(add(D,P))) 92470 130778092 o2(x,o1(o2(x,x))) true 56567 56567 -0.507 0.2332 0.6828 0.341 0.584 -1 0.9806 1.981 1 3.378 0.006448 0.001394 0.03744 0.6445 1 0.000003396 0.01064 0.02097 0.006441 0.08026 2.144 1.139 0.023 0.03119 1 1 0.01163 0.0911 0.2745 0.0341 0.2672 0.805 json
t16_x21_u0_b56 16 21 0 56 mod(R,sqt(sub(D,P))) 92471 130778093 o2(x,o1(o2(x,x))) true 56575 56575 -0.5485 0.2312 0.7354 0.359 0.5991 -1 0.9693 1.969 1 3.089 0.008009 0.001454 0.03199 0.6928 1 0.00004142 0.01411 0.01732 0.008442 0.09188 2.872 1.898 0.02636 0.03931 1 1 0.01302 0.08823 0.2401 0.03626 0.2458 0.6688 json
t16_x21_u0_b57 16 21 0 57 mod(R,sqt(mlt(D,P))) 92472 130778094 o2(x,o1(o2(x,x))) true 56583 56583 -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_x21_u0_b58 16 21 0 58 mod(R,sqt(div(D,P))) 92473 130778095 o2(x,o1(o2(x,x))) true 56591 56591 -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_x21_u0_b59 16 21 0 59 mod(R,sqt(pow(D,P))) 92474 130778096 o2(x,o1(o2(x,x))) true 56599 56599 -0.937 0.03117 0.9635 0.07361 0.2713 -1 0.8975 1.897 1 0.6333 0.01075 0.0001875 0.01198 0.9657 1 -0.00001099 0.02118 0.01701 0.01079 0.1039 8.669 1.897 0.1486 0.2878 1 1 0.01454 0.06299 0.1264 0.1975 0.8557 1.717 json
t16_x21_u0_b60 16 21 0 60 mod(R,sqt(mod(D,P))) 92475 130778097 o2(x,o1(o2(x,x))) true 56607 56607 -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_x21_u0_b61 16 21 0 61 mod(R,sqt(lrg(D,P))) 92476 130778098 o2(x,o1(o2(x,x))) true 56615 56615 -0.5465 0.2329 0.7376 0.3632 0.6027 -1 0.9693 1.969 1 3.09 0.007374 0.001495 0.03151 0.6629 1 0.00003761 0.01277 0.0153 0.007879 0.08877 2.817 1.898 0.02442 0.03517 1 1 0.01261 0.09145 0.2487 0.03471 0.2518 0.6847 json
t16_x21_u0_b62 16 21 0 62 mod(R,sqt(eql(D,P))) 92477 130778099 o2(x,o1(o2(x,x))) true 56623 56623 -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_x21_u0_b63 16 21 0 63 mod(R,sqt(min(D,P))) 92478 130778100 o2(x,o1(o2(x,x))) true 56631 56631 -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_x21_u0_b64 16 21 0 64 mod(R,sqt(dot(D,P))) 92479 130778101 o2(x,o1(o2(x,x))) true 56639 56639 -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_x21_u0_b65 16 21 0 65 mod(R,sqt(dst(D,P))) 92480 130778102 o2(x,o1(o2(x,x))) true 56647 56647 0.006749 0.4964 0.393 0.2183 0.4673 -0.9989 0.9806 1.979 1 4.86 0.002839 0.003207 0.06332 -0.06083 1 0.00002651 0.0007851 0.01542 0.002037 0.04514 0.7128 0.4633 0.0277 0.003596 1 1 0.01183 0.1501 0.385 0.05418 0.6877 1.763 json
t16_x21_u0_b66 16 21 0 66 lrg(R,sqt(add(D,P))) 92481 130778103 o2(x,o1(o2(x,x))) true 56655 56655 0.5122 0.5362 0.5122 0.2462 0.4962 0 1 1 1 1.202 0.003852 0.00007514 0.006549 0.9617 1 -0.000002266 0.00769 0.009913 0.003887 0.06234 9.519 1 0.01595 0.03124 1 1 0.004959 0.0216 0.0885 0.02015 0.08776 0.3595 json
t16_x21_u0_b67 16 21 0 67 lrg(R,sqt(sub(D,P))) 92482 130778104 o2(x,o1(o2(x,x))) true 56663 56663 0.5114 0.5876 0.5114 0.2338 0.4835 0 1 1 1 1.672 0.004201 0.00007223 0.01335 0.9662 1 -0.000002267 0.007387 0.01112 0.004097 0.06401 4.794 0.9994 0.01828 0.0316 1 1 0.006043 0.03055 0.0741 0.02585 0.1307 0.3169 json
t16_x21_u0_b68 16 21 0 68 lrg(R,sqt(mlt(D,P))) 92483 130778105 o2(x,o1(o2(x,x))) true 56671 56671 0.5827 1 0.5827 0.1355 0.368 0.000291 1 0.9997 1 3.433 0.05021 0.0005315 0.1119 0.9791 1 0.0001679 0.09154 0.1154 0.0382 0.1954 1.746 0.9997 0.3746 0.6758 1 1 0.05409 0.2093 0.114 0.3993 1.545 0.8414 json
t16_x21_u0_b69 16 21 0 69 lrg(R,sqt(div(D,P))) 92484 130778106 o2(x,o1(o2(x,x))) true 56679 56679 0.6895 1 0.6895 0.124 0.3521 0.000291 1 0.9997 1 3.146 0.03958 0.0009377 0.09122 0.9537 1 0.0001188 0.07427 0.09555 0.03219 0.1794 1.967 0.9997 0.3268 0.5991 1 1 0.04561 0.1833 0.1446 0.3679 1.479 1.166 json
t16_x21_u0_b70 16 21 0 70 lrg(R,sqt(pow(D,P))) 92485 130778107 o2(x,o1(o2(x,x))) true 56687 56687 0.5543 0.9375 0.5543 0.1503 0.3876 0 1 1 1 3.366 0.04719 0.0005363 0.101 0.9775 1 -0.00002613 0.088 0.1063 0.03751 0.1937 1.917 0.9997 0.3176 0.5856 1 1 0.05111 0.1937 0.1007 0.3402 1.289 0.6702 json
t16_x21_u0_b71 16 21 0 71 lrg(R,sqt(mod(D,P))) 92486 130778108 o2(x,o1(o2(x,x))) true 56695 56695 0.6591 1 0.6591 0.1256 0.3544 0.000291 1 0.9997 1 3.308 0.04198 0.0008403 0.09955 0.9608 1 0.00004348 0.07832 0.1038 0.0329 0.1814 1.822 0.9997 0.3408 0.6235 1 1 0.04525 0.1796 0.1311 0.3602 1.43 1.043 json
t16_x21_u0_b72 16 21 0 72 lrg(R,sqt(lrg(D,P))) 92487 130778109 o2(x,o1(o2(x,x))) true 56703 56703 0.2285 0.4928 0.2285 0.1217 0.3488 0 1 1 1 2.365 0.002836 0.001259 0.031 0.3851 1 -0.00002709 0.003398 0.01065 0.003133 0.05598 1.806 0.9997 0.03365 0.02793 1 1 0.007137 0.06954 0.1615 0.05865 0.5714 1.327 json
t16_x21_u0_b73 16 21 0 73 lrg(R,sqt(eql(D,P))) 92488 130778110 o2(x,o1(o2(x,x))) true 56711 56711 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
t16_x21_u0_b74 16 21 0 74 lrg(R,sqt(min(D,P))) 92489 130778111 o2(x,o1(o2(x,x))) true 56719 56719 0.819 1 0.819 0.09717 0.3117 0.000291 1 0.9997 1 2.159 0.02329 0.0004107 0.0531 0.9653 1 0.00008654 0.0435 0.05638 0.02088 0.1445 2.722 0.9997 0.244 0.4477 1 1 0.0263 0.1034 0.08612 0.2707 1.065 0.8863 json
t16_x21_u0_b75 16 21 0 75 lrg(R,sqt(dot(D,P))) 92490 130778112 o2(x,o1(o2(x,x))) true 56727 56727 0.5835 1 0.5835 0.1032 0.3212 0.000291 1 0.9997 1 3.771 0.03215 0.03211 0.1375 0.0005432 1 -0.0007915 0.2023 0.1723 0.04535 0.213 1.549 1.413 0.623 1.961 1 1 0.06531 0.2135 0.08849 0.6331 2.069 0.8579 json
t16_x21_u0_b76 16 21 0 76 lrg(R,sqt(dst(D,P))) 92491 130778113 o2(x,o1(o2(x,x))) true 56735 56735 0.003485 0.008179 0.003485 0.002329 0.04826 0 0.9994 0.9994 1 0.07791 0.00007712 0.00007712 0.0009107 -0.00002887 1 1.579e-11 0.0002764 0.0008511 0.0001535 0.01239 13.6 0.441 0.06622 0.1187 1 1 0.0003971 0.003685 0.008495 0.1705 1.582 3.647 json
t16_x21_u0_b77 16 21 0 77 eql(R,sqt(add(D,P))) 92492 130778114 o2(x,o1(o2(x,x))) true 56743 56743 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_x21_u0_b78 16 21 0 78 eql(R,sqt(sub(D,P))) 92493 130778115 o2(x,o1(o2(x,x))) true 56751 56751 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_x21_u0_b79 16 21 0 79 eql(R,sqt(mlt(D,P))) 92494 130778116 o2(x,o1(o2(x,x))) true 56759 56759 0.0002424 0.0004883 0.0002424 0.0001885 0.01373 0 0.9926 0.9926 1 0.006378 0.0003892 0.000002761 0.000505 0.9859 1 -4.906e-12 0.001179 0.001001 0.0003915 0.01979 39.18 0.9926 2.08 6.255 1 1 0 0.0001712 0.0001712 0 0.9082 0.9082 json
t16_x21_u0_b80 16 21 0 80 eql(R,sqt(div(D,P))) 92495 130778117 o2(x,o1(o2(x,x))) true 56767 56767 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_x21_u0_b81 16 21 0 81 eql(R,sqt(pow(D,P))) 92496 130778118 o2(x,o1(o2(x,x))) true 56775 56775 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_x21_u0_b82 16 21 0 82 eql(R,sqt(mod(D,P))) 92497 130778119 o2(x,o1(o2(x,x))) true 56783 56783 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_x21_u0_b83 16 21 0 83 eql(R,sqt(lrg(D,P))) 92498 130778120 o2(x,o1(o2(x,x))) true 56791 56791 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_x21_u0_b84 16 21 0 84 eql(R,sqt(eql(D,P))) 92499 130778121 o2(x,o1(o2(x,x))) true 56799 56799 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