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_x12_u6_b82 16 12 6 82 eql(D,nrm(mod(D,P))) 85600 130415716 o2(x,o1(o2(x,x))) true 1607 1607 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_x12_u6_b83 16 12 6 83 eql(D,nrm(lrg(D,P))) 85601 130415717 o2(x,o1(o2(x,x))) true 1615 1615 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_x12_u6_b84 16 12 6 84 eql(D,nrm(eql(D,P))) 85602 130415718 o2(x,o1(o2(x,x))) true 1623 1623 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_x12_u6_b85 16 12 6 85 eql(D,nrm(min(D,P))) 85603 130415719 o2(x,o1(o2(x,x))) true 1631 1631 0.003905 0.007813 0.003905 0.003044 0.05517 0 0.9994 0.9994 1 0.07663 0.003157 0.00004199 0.004288 0.9737 1 -1.934e-10 0.0068 0.008074 0.003179 0.05638 13.15 0.9994 1.051 2.234 1 1 0.004272 0.005558 0.004512 1.404 1.826 1.482 json
t16_x12_u6_b86 16 12 6 86 eql(D,nrm(dot(D,P))) 85604 130415720 o2(x,o1(o2(x,x))) true 1639 1639 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_x12_u6_b87 16 12 6 87 eql(D,nrm(dst(D,P))) 85605 130415721 o2(x,o1(o2(x,x))) true 1647 1647 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_x12_u6_b88 16 12 6 88 min(D,nrm(add(D,P))) 85606 130415722 o2(x,o1(o2(x,x))) true 1655 1655 -0.341 0.2282 0.3822 0.1443 0.3798 -1 0.1454 1.145 1 4.071 0.001023 0.00003215 0.02393 0.939 1 0.0001629 0.0002125 0.008844 0.0004827 0.02197 0.9182 0.8352 0.007313 0.001473 1 1 0.002173 0.0175 0.04032 0.01506 0.1213 0.2795 json
t16_x12_u6_b89 16 12 6 89 min(D,nrm(sub(D,P))) 85607 130415723 o2(x,o1(o2(x,x))) true 1663 1663 -0.323 0.2577 0.3697 0.1454 0.3813 -1 0.1454 1.145 1 4.035 0.001089 0.00005438 0.02549 0.9049 1 -0.0001587 0.000232 0.01008 0.0004933 0.02221 0.8712 0.8354 0.007864 0.001596 1 1 0.002449 0.01824 0.03781 0.01685 0.1255 0.2601 json
t16_x12_u6_b90 16 12 6 90 min(D,nrm(mlt(D,P))) 85608 130415724 o2(x,o1(o2(x,x))) true 1671 1671 -0.3436 0.1682 0.3719 0.1049 0.3238 -0.9998 0.1454 1.145 1 4.169 0.01738 0.003061 0.09899 0.7005 1 0.0002996 0.02133 0.05749 0.01064 0.1032 1.042 1.03 0.195 0.2035 1 1 0.03249 0.1612 0.02798 0.3099 1.537 0.2668 json
t16_x12_u6_b91 16 12 6 91 min(D,nrm(div(D,P))) 85609 130415725 o2(x,o1(o2(x,x))) true 1679 1679 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_x12_u6_b92 16 12 6 92 min(D,nrm(pow(D,P))) 85610 130415726 o2(x,o1(o2(x,x))) true 1687 1687 -0.03949 0.3841 0.1033 0.01298 0.1139 -0.2728 0.1454 0.4182 1 2.841 0.001606 0.001187 0.04128 0.1502 1 0.00002028 0.002861 0.02553 0.00109 0.03301 0.7998 0.2775 0.2151 0.2204 1 1 0.00419 0.02375 0.001153 0.3228 1.829 0.08878 json
t16_x12_u6_b93 16 12 6 93 min(D,nrm(mod(D,P))) 85611 130415727 o2(x,o1(o2(x,x))) true 1695 1695 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_x12_u6_b94 16 12 6 94 min(D,nrm(lrg(D,P))) 85612 130415728 o2(x,o1(o2(x,x))) true 1703 1703 -0.03151 0.393 0.1046 0.01384 0.1176 -0.2729 0.1454 0.4183 1 2.862 0.001587 0.00006163 0.03603 0.9252 1 0.00003702 0.000373 0.0149 0.0003511 0.01874 0.5201 0.2774 0.1191 0.02695 1 1 0.003141 0.02111 0.002027 0.227 1.525 0.1464 json
t16_x12_u6_b95 16 12 6 95 min(D,nrm(eql(D,P))) 85613 130415729 o2(x,o1(o2(x,x))) true 1711 1711 -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_x12_u6_b96 16 12 6 96 min(D,nrm(min(D,P))) 85614 130415730 o2(x,o1(o2(x,x))) true 1719 1719 -0.4881 0.1413 0.5077 0.166 0.4075 -1 0.1419 1.142 1 3.788 0.005177 0.001055 0.03971 0.6615 1 0.0001859 0.005577 0.02076 0.004655 0.06823 1.718 1.031 0.03753 0.03359 1 1 0.0113 0.064 0.04634 0.06808 0.3855 0.2791 json
t16_x12_u6_b97 16 12 6 97 min(D,nrm(dot(D,P))) 85615 130415731 o2(x,o1(o2(x,x))) true 1727 1727 -0.3159 0.1434 0.3392 0.05331 0.2309 -0.597 0.1454 0.7424 1 3.547 0.0133 0.01292 0.08917 0.01463 1 0.0005725 0.07964 0.1058 0.01827 0.1352 1.516 1.046 0.4919 1.494 1 1 0.02835 0.09975 0.02845 0.5318 1.871 0.5336 json
t16_x12_u6_b98 16 12 6 98 min(D,nrm(dst(D,P))) 85616 130415732 o2(x,o1(o2(x,x))) true 1735 1735 -0.004262 0.5 0.09863 0.01196 0.1093 -0.1618 0.1454 0.3072 1 2.531 0.001813 8.262e-18 0.03815 1 1 0.00002217 0.0002946 0.01485 0.0003584 0.01893 0.4962 0.06203 0.1517 0.02464 1 1 0.003495 0.02411 7.858e-18 0.2923 2.017 6.573e-16 json
t16_x12_u6_b99 16 12 6 99 dot(D,nrm(add(D,P))) 85617 130415733 o2(x,o1(o2(x,x))) true 1743 1743 -0.005099 0.4742 0.08927 0.01082 0.104 -0.2056 0.2056 0.4113 1 2.712 0.0008122 0.0008122 0.0376 0.00000258 1 0.0005554 0.0002606 0.01384 0.0002111 0.01453 0.3864 0.06815 0.1501 0.02408 1 1 0.003144 0.02188 0.002545 0.2905 2.022 0.2352 json
t16_x12_u6_b100 16 12 6 100 dot(D,nrm(sub(D,P))) 85618 130415734 o2(x,o1(o2(x,x))) true 1751 1751 0.05778 0.6674 0.108 0.01486 0.1219 -0.1938 0.6714 0.8652 1 2.947 0.0009115 0.0009115 0.04005 0.000001692 1 -0.000578 0.0002763 0.01407 0.0002189 0.01479 0.3694 0.09331 0.1227 0.01859 1 1 0.003762 0.02827 0.008439 0.2531 1.902 0.5678 json
t16_x12_u6_b101 16 12 6 101 dot(D,nrm(mlt(D,P))) 85619 130415735 o2(x,o1(o2(x,x))) true 1759 1759 -0.01563 0.4901 0.3346 0.1481 0.3848 -1 0.7019 1.702 1 4.416 0.004419 0.004419 0.07514 -0.000007429 1 -2.206e-10 0.005659 0.03112 0.003192 0.05649 0.7518 1.477 0.05969 0.03822 1 1 0.01612 0.09587 0.08336 0.1089 0.6474 0.563 json
t16_x12_u6_b102 16 12 6 102 dot(D,nrm(div(D,P))) 85620 130415736 o2(x,o1(o2(x,x))) true 1767 1767 -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_x12_u6_b103 16 12 6 103 dot(D,nrm(pow(D,P))) 85621 130415737 o2(x,o1(o2(x,x))) true 1775 1775 -0.9958 0.003036 0.9965 0.004571 0.06761 -1 0.2906 1.291 1 0.04772 0.000545 0.000545 0.001185 -1.068e-7 1 -7.509e-12 0.002251 0.002122 0.001088 0.03298 27.84 1.364 0.2385 0.4925 1 1 0.001971 0.008408 0.01664 0.4311 1.839 3.64 json
t16_x12_u6_b104 16 12 6 104 dot(D,nrm(mod(D,P))) 85622 130415738 o2(x,o1(o2(x,x))) true 1783 1783 -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_x12_u6_b105 16 12 6 105 dot(D,nrm(lrg(D,P))) 85623 130415739 o2(x,o1(o2(x,x))) true 1791 1791 -0.3053 0.3691 0.3825 0.2318 0.4815 -1 0.3098 1.31 1 2.831 0.00278 0.00278 0.02996 -0.00002014 1 -0.00027 0.009555 0.01876 0.004662 0.06828 2.279 1.168 0.02398 0.04121 1 1 0.007928 0.03603 0.1077 0.03419 0.1554 0.4644 json
t16_x12_u6_b106 16 12 6 106 dot(D,nrm(eql(D,P))) 85624 130415740 o2(x,o1(o2(x,x))) true 1799 1799 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_x12_u6_b107 16 12 6 107 dot(D,nrm(min(D,P))) 85625 130415741 o2(x,o1(o2(x,x))) true 1807 1807 0.117 0.6408 0.1864 0.05292 0.23 -1 0.7026 1.703 1 3.601 0.001841 0.001841 0.0449 0.00001227 1 0.00007072 0.003153 0.018 0.001666 0.04081 0.909 1.477 0.06957 0.05959 1 1 0.006932 0.04238 0.03285 0.131 0.8008 0.6208 json
t16_x12_u6_b108 16 12 6 108 dot(D,nrm(dot(D,P))) 85626 130415742 o2(x,o1(o2(x,x))) true 1815 1815 -0.03467 0.4731 0.2266 0.07929 0.2816 -1 0.3396 1.34 1 3.428 0.04424 0.04424 0.1168 0.000006694 1 -5.397e-11 0.4641 0.2023 0.07484 0.2736 2.342 1.878 1.116 5.853 1 1 0.06166 0.1053 0.1003 0.7777 1.328 1.265 json
t16_x12_u6_b109 16 12 6 109 dot(D,nrm(dst(D,P))) 85627 130415743 o2(x,o1(o2(x,x))) true 1823 1823 -1.575e-9 0.4688 0.06856 0.007216 0.08495 -0.1679 0.1679 0.3358 1 2.481 0.0005443 0.0005443 0.0315 -0.000001069 1 -8.03e-10 0.0001709 0.01054 0.00009601 0.009799 0.3111 0.05056 0.1509 0.02368 1 1 0.0021 0.01455 1.888e-16 0.2911 2.017 2.617e-14 json
t16_x12_u6_b110 16 12 6 110 dst(D,nrm(add(D,P))) 85628 130415744 o2(x,o1(o2(x,x))) true 1831 1831 0.9783 1 0.9783 0.001874 0.0433 0.8173 1 0.1827 1 0.7789 0.0002633 0.0002633 0.01263 -1.658e-7 1 -1.325e-7 0.0003446 0.01019 0.000367 0.01916 1.516 0.06786 0.2809 0.1838 1 1 0.0008991 0.004536 0.0006973 0.4796 2.42 0.372 json
t16_x12_u6_b111 16 12 6 111 dst(D,nrm(sub(D,P))) 85629 130415745 o2(x,o1(o2(x,x))) true 1839 1839 0.954 1 0.954 0.005338 0.07306 0.3805 1 0.6195 1 1.354 0.0003949 0.0003949 0.01884 0.000003169 1 0.0004536 0.0003932 0.01269 0.0004347 0.02085 1.106 0.09123 0.148 0.07366 1 1 0.001665 0.009914 0.007045 0.3119 1.857 1.32 json
t16_x12_u6_b112 16 12 6 112 dst(D,nrm(mlt(D,P))) 85630 130415746 o2(x,o1(o2(x,x))) true 1847 1847 0.8314 0.9844 0.8627 0.08891 0.2982 -1 1 2 1 2.374 0.005322 0.005322 0.03728 -4.812e-7 1 -0.00005492 0.01746 0.02813 0.009256 0.09621 2.58 2.766 0.1197 0.1963 1 1 0.01857 0.07892 0.2102 0.2088 0.8877 2.364 json
t16_x12_u6_b113 16 12 6 113 dst(D,nrm(div(D,P))) 85631 130415747 o2(x,o1(o2(x,x))) true 1855 1855 -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_x12_u6_b114 16 12 6 114 dst(D,nrm(pow(D,P))) 85632 130415748 o2(x,o1(o2(x,x))) true 1863 1863 -0.9923 0.003906 0.9998 0.01494 0.1222 -1 1 2 1 0.04148 0.001964 0.001964 0.002062 0 1 3.004e-11 0.008401 0.004048 0.003921 0.06262 30.37 2.828 0.2629 0.5623 1 1 0.006862 0.02725 0.05445 0.4593 1.824 3.645 json
t16_x12_u6_b115 16 12 6 115 dst(D,nrm(mod(D,P))) 85633 130415749 o2(x,o1(o2(x,x))) true 1871 1871 -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_x12_u6_b116 16 12 6 116 dst(D,nrm(lrg(D,P))) 85634 130415750 o2(x,o1(o2(x,x))) true 1879 1879 0.3471 0.6836 0.9799 0.8419 0.9176 -1 1 2 1 1.589 0.009081 0.009081 0.01878 0.000009333 1 0.0001502 0.0358 0.02561 0.01782 0.1335 7.106 2 0.02157 0.04252 1 1 0.02517 0.1017 0.3813 0.02989 0.1208 0.4529 json
t16_x12_u6_b117 16 12 6 117 dst(D,nrm(eql(D,P))) 85635 130415751 o2(x,o1(o2(x,x))) true 1887 1887 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_x12_u6_b118 16 12 6 118 dst(D,nrm(min(D,P))) 85636 130415752 o2(x,o1(o2(x,x))) true 1895 1895 0.8615 0.9961 0.8693 0.05018 0.224 -1 1 2 1 2.341 0.002488 0.002488 0.02803 -0.000001732 1 0.0001775 0.008113 0.01716 0.004189 0.06472 2.309 2.766 0.09915 0.1617 1 1 0.008797 0.0396 0.05806 0.1753 0.7891 1.157 json
t16_x12_u6_b119 16 12 6 119 dst(D,nrm(dot(D,P))) 85637 130415753 o2(x,o1(o2(x,x))) true 1903 1903 0.8787 0.9653 0.948 0.1314 0.3626 -1 1 2 1 1.592 0.1499 0.1499 0.1415 -0.00001098 1 -0.0000324 1.666 0.3224 0.2798 0.529 3.739 2.828 2.281 12.67 1 1 0.1912 0.2286 0.3153 1.454 1.739 2.399 json
t16_x12_u6_b120 16 12 6 120 dst(D,nrm(dst(D,P))) 85638 130415754 o2(x,o1(o2(x,x))) true 1911 1911 0.9869 1 0.9869 0.0009073 0.03012 0.8745 1 0.1255 1 0.4978 0.0001537 0.0001537 0.008461 -0.000001184 1 0.00006137 0.0002372 0.007605 0.0002357 0.01535 1.815 0.05023 0.3387 0.2614 1 1 0.0005359 0.002179 3.861e-16 0.5907 2.401 4.256e-13 json
t16_x13_u0_b0 16 13 0 0 add(D,sqt(add(D,D))) 85639 130454829 o2(x,o1(o2(x,x))) true 1919 1919 -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_x13_u0_b1 16 13 0 1 add(D,sqt(sub(D,D))) 85640 130454830 o2(x,o1(o2(x,x))) true 1927 1927 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_x13_u0_b2 16 13 0 2 add(D,sqt(mlt(D,D))) 85641 130454831 o2(x,o1(o2(x,x))) true 1935 1935 0.286 1 0.286 0.03695 0.1922 0.0005639 0.5458 0.5452 1 2.828 0.005757 0 0.068 1 1 -0.0006126 0.001061 0.02723 0.001136 0.0337 0.4956 0.1237 0.1558 0.02873 1 1 0.01092 0.07309 0 0.2956 1.978 0 json
t16_x13_u0_b3 16 13 0 3 add(D,sqt(div(D,D))) 85642 130454832 o2(x,o1(o2(x,x))) true 1943 1943 0.9529 1 0.9529 0.003185 0.05644 0.8546 1 0.1454 1 1.329 0.0007155 0 0.01812 1 1 0.0001582 0.0003006 0.01323 0.0003869 0.01967 1.085 0.05567 0.2246 0.09439 1 1 0.0013 0.005463 0 0.4081 1.715 0 json
t16_x13_u0_b4 16 13 0 4 add(D,sqt(pow(D,D))) 85643 130454833 o2(x,o1(o2(x,x))) true 1951 1951 -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_x13_u0_b5 16 13 0 5 add(D,sqt(mod(D,D))) 85644 130454834 o2(x,o1(o2(x,x))) true 1959 1959 -0.1322 0.5 0.4201 0.2959 0.544 -1 0.5788 1.579 1 3.125 0.4225 0 0.4995 1 1 -0.002418 1.164 0.9637 0.1728 0.4157 0.8322 1.41 1.428 3.934 1 1 0.2606 0.4642 0 0.8809 1.569 0 json
t16_x13_u0_b6 16 13 0 6 add(D,sqt(lrg(D,D))) 85645 130454835 o2(x,o1(o2(x,x))) true 1967 1967 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_x13_u0_b7 16 13 0 7 add(D,sqt(eql(D,D))) 85646 130454836 o2(x,o1(o2(x,x))) true 1975 1975 0.9529 1 0.9529 0.003185 0.05644 0.8546 1 0.1454 1 1.329 0.0007155 0 0.01812 1 1 0.0001582 0.0003006 0.01323 0.0003869 0.01967 1.085 0.05567 0.2246 0.09439 1 1 0.0013 0.005463 2.693e-15 0.4081 1.715 8.454e-13 json
t16_x13_u0_b8 16 13 0 8 add(D,sqt(min(D,D))) 85647 130454837 o2(x,o1(o2(x,x))) true 1983 1983 -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_x13_u0_b9 16 13 0 9 add(D,sqt(dot(D,D))) 85648 130454838 o2(x,o1(o2(x,x))) true 1991 1991 0.4439 1 0.4439 0.03586 0.1894 0.01377 0.7717 0.7579 1 3.541 0.0036 0.001981 0.07045 0.29 1 -0.0006856 0.0009301 0.02391 0.0006193 0.02489 0.3533 0.1304 0.1557 0.02594 1 1 0.01071 0.07252 0 0.2987 2.022 0 json
t16_x13_u0_b10 16 13 0 10 add(D,sqt(dst(D,D))) 85649 130454839 o2(x,o1(o2(x,x))) true 1999 1999 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_x13_u0_b11 16 13 0 11 sub(D,sqt(add(D,D))) 85650 130454840 o2(x,o1(o2(x,x))) true 2007 2007 -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_x13_u0_b12 16 13 0 12 sub(D,sqt(sub(D,D))) 85651 130454841 o2(x,o1(o2(x,x))) true 2015 2015 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_x13_u0_b13 16 13 0 13 sub(D,sqt(mlt(D,D))) 85652 130454842 o2(x,o1(o2(x,x))) true 2023 2023 -0.286 0 0.286 0.03695 0.1922 -0.5458 -0.0005639 0.5452 1 2.828 0.005806 0 0.06832 1 1 0.0006126 0.001061 0.02723 0.001141 0.03378 0.4945 0.1237 0.1571 0.02873 1 1 0.01115 0.07309 0 0.3018 1.978 0 json
t16_x13_u0_b14 16 13 0 14 sub(D,sqt(div(D,D))) 85653 130454843 o2(x,o1(o2(x,x))) true 2031 2031 -0.9529 0 0.9529 0.003185 0.05644 -1 -0.8546 0.1454 1 1.329 0.0007092 0 0.01796 1 1 -0.0001582 0.0003006 0.01323 0.0003863 0.01965 1.094 0.05567 0.2227 0.09439 1 1 0.001259 0.005463 0 0.3952 1.715 0 json
t16_x13_u0_b15 16 13 0 15 sub(D,sqt(pow(D,D))) 85654 130454844 o2(x,o1(o2(x,x))) true 2039 2039 -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_x13_u0_b16 16 13 0 16 sub(D,sqt(mod(D,D))) 85655 130454845 o2(x,o1(o2(x,x))) true 2047 2047 -0.3257 0.25 0.378 0.174 0.4172 -1 0.1421 1.142 1 3.125 0.3229 0 0.4455 1 1 -0.00483 0.9809 0.8745 0.1242 0.3525 0.7912 0.969 1.855 5.636 1 1 0.154 0.2273 0 0.885 1.306 0 json
t16_x13_u0_b17 16 13 0 17 sub(D,sqt(lrg(D,D))) 85656 130454846 o2(x,o1(o2(x,x))) true 2055 2055 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_x13_u0_b18 16 13 0 18 sub(D,sqt(eql(D,D))) 85657 130454847 o2(x,o1(o2(x,x))) true 2063 2063 -0.9529 0 0.9529 0.003185 0.05644 -1 -0.8546 0.1454 1 1.329 0.0007092 0 0.01796 1 1 -0.0001582 0.0003006 0.01323 0.0003863 0.01965 1.094 0.05567 0.2227 0.09439 1 1 0.001259 0.005463 4.338e-15 0.3952 1.715 1.362e-12 json
t16_x13_u0_b19 16 13 0 19 sub(D,sqt(min(D,D))) 85658 130454848 o2(x,o1(o2(x,x))) true 2071 2071 -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_x13_u0_b20 16 13 0 20 sub(D,sqt(dot(D,D))) 85659 130454849 o2(x,o1(o2(x,x))) true 2079 2079 -0.4439 0 0.4439 0.03586 0.1894 -0.7717 -0.01377 0.7579 1 3.541 0.003627 0.001981 0.07077 0.2935 1 0.0006855 0.0009301 0.02391 0.0006004 0.0245 0.3462 0.1221 0.1564 0.02594 1 1 0.01081 0.07252 0 0.3014 2.022 0 json
t16_x13_u0_b21 16 13 0 21 sub(D,sqt(dst(D,D))) 85660 130454850 o2(x,o1(o2(x,x))) true 2087 2087 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_x13_u0_b22 16 13 0 22 mlt(D,sqt(add(D,D))) 85661 130454851 o2(x,o1(o2(x,x))) true 2095 2095 -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_x13_u0_b23 16 13 0 23 mlt(D,sqt(sub(D,D))) 85662 130454852 o2(x,o1(o2(x,x))) true 2103 2103 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_x13_u0_b24 16 13 0 24 mlt(D,sqt(mlt(D,D))) 85663 130454853 o2(x,o1(o2(x,x))) true 2111 2111 5.329e-15 0.5 0.002839 0.00001109 0.003331 -0.005622 0.005622 0.01124 1 1 0.000005771 0 0.002134 1 0 -3.666e-15 0.000003556 0.001693 0.000001218 0.001103 0.5171 0.00383 0.5202 0.3205 1 1 0.000009732 0.000004172 0 0.8773 0.3761 0 json
t16_x13_u0_b25 16 13 0 25 mlt(D,sqt(div(D,D))) 85664 130454854 o2(x,o1(o2(x,x))) true 2119 2119 -7.451e-9 0.5 0.09436 0.01082 0.104 -0.1454 0.1454 0.2908 1 2.561 0.001632 0 0.0361 1 1 3.223e-9 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_x13_u0_b26 16 13 0 26 mlt(D,sqt(pow(D,D))) 85665 130454855 o2(x,o1(o2(x,x))) true 2127 2127 -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_x13_u0_b27 16 13 0 27 mlt(D,sqt(mod(D,D))) 85666 130454856 o2(x,o1(o2(x,x))) true 2135 2135 -0.2202 0.25 0.2798 0.2061 0.454 -1 0.1792 1.179 1 1.592 0.4049 0 0.4153 1 1 -0.003855 1.181 0.8259 0.2326 0.4823 1.161 1.179 1.965 5.732 1 1 0.2162 0.28 0 1.049 1.359 0 json
t16_x13_u0_b28 16 13 0 28 mlt(D,sqt(lrg(D,D))) 85667 130454857 o2(x,o1(o2(x,x))) true 2143 2143 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_x13_u0_b29 16 13 0 29 mlt(D,sqt(eql(D,D))) 85668 130454858 o2(x,o1(o2(x,x))) true 2151 2151 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_x13_u0_b30 16 13 0 30 mlt(D,sqt(min(D,D))) 85669 130454859 o2(x,o1(o2(x,x))) true 2159 2159 -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_x13_u0_b31 16 13 0 31 mlt(D,sqt(dot(D,D))) 85670 130454860 o2(x,o1(o2(x,x))) true 2167 2167 -9.893e-10 0.4766 0.01824 0.0006075 0.02465 -0.05693 0.05693 0.1139 1 1 0.0001036 0.00003371 0.01012 0.5091 1 3.933e-11 0.00003908 0.004824 0.00003492 0.00591 0.584 0.03047 0.2261 0.06432 1 1 0.0002608 0.00162 0 0.4293 2.666 0 json
t16_x13_u0_b32 16 13 0 32 mlt(D,sqt(dst(D,D))) 85671 130454861 o2(x,o1(o2(x,x))) true 2175 2175 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_x13_u0_b33 16 13 0 33 div(D,sqt(add(D,D))) 85672 130454862 o2(x,o1(o2(x,x))) true 2183 2183 -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_x13_u0_b34 16 13 0 34 div(D,sqt(sub(D,D))) 85673 130454863 o2(x,o1(o2(x,x))) true 2191 2191 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_x13_u0_b35 16 13 0 35 div(D,sqt(mlt(D,D))) 85674 130454864 o2(x,o1(o2(x,x))) true 2199 2199 -1.819e-12 0.5 0.6889 0.5671 0.753 -0.9994 0.9994 1.999 1 3.406 0.2604 0 0.2456 1 1 -9.386e-13 0.4833 0.2673 0.2 0.4473 1.821 1.999 0.4593 0.8522 1 1 0.2829 0.9676 0 0.4989 1.706 0 json
t16_x13_u0_b36 16 13 0 36 div(D,sqt(div(D,D))) 85675 130454865 o2(x,o1(o2(x,x))) true 2207 2207 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_x13_u0_b37 16 13 0 37 div(D,sqt(pow(D,D))) 85676 130454866 o2(x,o1(o2(x,x))) true 2215 2215 -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_x13_u0_b38 16 13 0 38 div(D,sqt(mod(D,D))) 85677 130454867 o2(x,o1(o2(x,x))) true 2223 2223 -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_x13_u0_b39 16 13 0 39 div(D,sqt(lrg(D,D))) 85678 130454868 o2(x,o1(o2(x,x))) true 2231 2231 -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_x13_u0_b40 16 13 0 40 div(D,sqt(eql(D,D))) 85679 130454869 o2(x,o1(o2(x,x))) true 2239 2239 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_x13_u0_b41 16 13 0 41 div(D,sqt(min(D,D))) 85680 130454870 o2(x,o1(o2(x,x))) true 2247 2247 -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_x13_u0_b42 16 13 0 42 div(D,sqt(dot(D,D))) 85681 130454871 o2(x,o1(o2(x,x))) true 2255 2255 1.394e-9 0.5 0.3663 0.1867 0.4321 -0.9346 0.9346 1.869 1 4.562 0.03788 0.006951 0.1584 0.6899 1 5.575e-9 0.04219 0.07112 0.01975 0.1405 0.8875 1.466 0.2401 0.226 1 1 0.07517 0.4029 0 0.4025 2.158 0 json
t16_x13_u0_b43 16 13 0 43 div(D,sqt(dst(D,D))) 85682 130454872 o2(x,o1(o2(x,x))) true 2263 2263 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_x13_u0_b44 16 13 0 44 pow(D,sqt(add(D,D))) 85683 130454873 o2(x,o1(o2(x,x))) true 2271 2271 -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_x13_u0_b45 16 13 0 45 pow(D,sqt(sub(D,D))) 85684 130454874 o2(x,o1(o2(x,x))) true 2279 2279 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_x13_u0_b46 16 13 0 46 pow(D,sqt(mlt(D,D))) 85685 130454875 o2(x,o1(o2(x,x))) true 2287 2287 -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_x13_u0_b47 16 13 0 47 pow(D,sqt(div(D,D))) 85686 130454876 o2(x,o1(o2(x,x))) true 2295 2295 -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_x13_u0_b48 16 13 0 48 pow(D,sqt(pow(D,D))) 85687 130454877 o2(x,o1(o2(x,x))) true 2303 2303 -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_x13_u0_b49 16 13 0 49 pow(D,sqt(mod(D,D))) 85688 130454878 o2(x,o1(o2(x,x))) true 2311 2311 0.4061 0.75 0.9061 0.686 0.8283 -1 1 2 1 2 1.519 0 0.8833 1 1 -0.009967 4.623 1.761 0.7384 0.8593 0.9728 2 2.214 6.739 1 1 0.7156 0.8357 0 1.043 1.218 0 json
t16_x13_u0_b50 16 13 0 50 pow(D,sqt(lrg(D,D))) 85689 130454879 o2(x,o1(o2(x,x))) true 2319 2319 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_x13_u0_b51 16 13 0 51 pow(D,sqt(eql(D,D))) 85690 130454880 o2(x,o1(o2(x,x))) true 2327 2327 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_x13_u0_b52 16 13 0 52 pow(D,sqt(min(D,D))) 85691 130454881 o2(x,o1(o2(x,x))) true 2335 2335 -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_x13_u0_b53 16 13 0 53 pow(D,sqt(dot(D,D))) 85692 130454882 o2(x,o1(o2(x,x))) true 2343 2343 -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_x13_u0_b54 16 13 0 54 pow(D,sqt(dst(D,D))) 85693 130454883 o2(x,o1(o2(x,x))) true 2351 2351 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_x13_u0_b55 16 13 0 55 mod(D,sqt(add(D,D))) 85694 130454884 o2(x,o1(o2(x,x))) true 2359 2359 -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_x13_u0_b56 16 13 0 56 mod(D,sqt(sub(D,D))) 85695 130454885 o2(x,o1(o2(x,x))) true 2367 2367 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_x13_u0_b57 16 13 0 57 mod(D,sqt(mlt(D,D))) 85696 130454886 o2(x,o1(o2(x,x))) true 2375 2375 3.411e-13 0.25 0.103 0.02365 0.1538 -0.2662 0.2662 0.5324 1 2.25 0.05662 0 0.2081 1 1 0 0.2147 0.4162 0.01333 0.1154 0.5546 0.5235 2.394 9.082 1 1 0.005867 0.02353 0 0.2481 0.9953 0 json
t16_x13_u0_b58 16 13 0 58 mod(D,sqt(div(D,D))) 85697 130454887 o2(x,o1(o2(x,x))) true 2383 2383 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_x13_u0_b59 16 13 0 59 mod(D,sqt(pow(D,D))) 85698 130454888 o2(x,o1(o2(x,x))) true 2391 2391 -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_x13_u0_b60 16 13 0 60 mod(D,sqt(mod(D,D))) 85699 130454889 o2(x,o1(o2(x,x))) true 2399 2399 -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