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
t19_x21_u6_b40 19 21 6 40 div(R,eql(nrm(D),P)) 155200 155141086 o2(x,o2(o1(x),x)) true 121607 121607 -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
t19_x21_u6_b41 19 21 6 41 div(R,min(nrm(D),P)) 155201 155141087 o2(x,o2(o1(x),x)) true 121615 121615 -0.05786 0.4597 0.3949 0.2839 0.5328 -1 1 2 1 4.446 0.1087 0.006443 0.118 0.8881 1 -0.00005188 0.2524 0.1414 0.1013 0.3182 2.697 2.279 0.4058 0.8891 1 1 0.1171 0.3978 0.5182 0.4126 1.401 1.825 json
t19_x21_u6_b42 19 21 6 42 div(R,dot(nrm(D),P)) 155202 155141088 o2(x,o2(o1(x),x)) true 121623 121623 -0.02103 0.4907 0.241 0.1428 0.378 -1 1 2 1 4.001 0.1643 0.1673 0.2694 -0.00894 1 0.0002112 1.532 0.5198 0.2591 0.509 1.889 2.828 2.321 10.73 1 1 0.2559 0.33 0.367 1.791 2.31 2.569 json
t19_x21_u6_b43 19 21 6 43 div(R,dst(nrm(D),P)) 155203 155141089 o2(x,o2(o1(x),x)) true 121631 121631 0.01033 0.4986 0.08608 0.01792 0.1339 -1 1 2 1 2.83 0.0005879 0.0006519 0.01743 -0.05163 1 0.000001696 0.00109 0.005923 0.0009361 0.0306 1.756 1.02 0.0692 0.06086 1 1 0.003488 0.02953 0.05336 0.1947 1.648 2.978 json
t19_x21_u6_b44 19 21 6 44 pow(R,add(nrm(D),P)) 155204 155141090 o2(x,o2(o1(x),x)) true 121639 121639 -0.9182 0.04297 0.9959 0.1518 0.3896 -1 1 2 1 0.3121 0.01598 0.01475 0.01602 0.03976 1 6.877e-7 0.06421 0.03174 0.03046 0.1745 10.89 2.828 0.2024 0.4229 1 1 0.02529 0.1085 0.264 0.1666 0.7146 1.739 json
t19_x21_u6_b45 19 21 6 45 pow(R,sub(nrm(D),P)) 155205 155141091 o2(x,o2(o1(x),x)) true 121647 121647 -0.9372 0.04272 0.9768 0.09402 0.3066 -1 1 2 1 0.4061 0.00876 0.01015 0.01323 -0.07328 1 0.000006297 0.03937 0.02452 0.01873 0.1369 10.35 2.828 0.2011 0.4187 1 1 0.01395 0.06258 0.1578 0.1484 0.6656 1.678 json
t19_x21_u6_b46 19 21 6 46 pow(R,mlt(nrm(D),P)) 155206 155141092 o2(x,o2(o1(x),x)) true 121655 121655 -0.854 0.07422 0.9976 0.2674 0.5171 -1 1 2 1 0.4328 0.02336 0.02294 0.02465 0.009035 1 -0.000003297 0.09597 0.04817 0.04566 0.2137 8.668 2.828 0.1732 0.3589 1 1 0.04548 0.1922 0.6331 0.1701 0.7187 2.368 json
t19_x21_u6_b47 19 21 6 47 pow(R,div(nrm(D),P)) 155207 155141093 o2(x,o2(o1(x),x)) true 121663 121663 -0.9251 0.03906 0.9967 0.1391 0.373 -1 1 2 1 0.3001 0.01578 0.01278 0.01546 0.105 1 -1.314e-7 0.05992 0.02995 0.02833 0.1683 10.89 2.828 0.2053 0.4307 1 1 0.02274 0.09608 0.2437 0.1634 0.6906 1.752 json
t19_x21_u6_b48 19 21 6 48 pow(R,pow(nrm(D),P)) 155208 155141094 o2(x,o2(o1(x),x)) true 121671 121671 -0.994 0.003906 0.9982 0.009421 0.09706 -1 0.8542 1.854 1 0.05 0.000985 0.001348 0.001703 -0.1556 1 4.13e-11 0.004855 0.003023 0.00233 0.04827 28.35 1.854 0.2477 0.5153 1 1 0.0006888 0.004344 0.008583 0.07311 0.4611 0.9111 json
t19_x21_u6_b49 19 21 6 49 pow(R,mod(nrm(D),P)) 155209 155141095 o2(x,o2(o1(x),x)) true 121679 121679 -0.9327 0.03516 0.9969 0.1249 0.3535 -1 1 2 1 0.2848 0.01408 0.01103 0.01392 0.1216 1 -1.656e-7 0.05285 0.0267 0.02494 0.1579 11.34 2.828 0.201 0.4229 1 1 0.02206 0.09158 0.2255 0.1765 0.7329 1.805 json
t19_x21_u6_b50 19 21 6 50 pow(R,lrg(nrm(D),P)) 155210 155141096 o2(x,o2(o1(x),x)) true 121687 121687 -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
t19_x21_u6_b51 19 21 6 51 pow(R,eql(nrm(D),P)) 155211 155141097 o2(x,o2(o1(x),x)) true 121695 121695 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
t19_x21_u6_b52 19 21 6 52 pow(R,min(nrm(D),P)) 155212 155141098 o2(x,o2(o1(x),x)) true 121703 121703 -0.8835 0.05859 0.9993 0.2183 0.4672 -1 1 2 1 0.3438 0.0248 0.01995 0.02255 0.1083 1 0 0.0935 0.04509 0.04423 0.2103 9.327 2.828 0.205 0.4284 1 1 0.03961 0.1663 0.4152 0.1815 0.7618 1.902 json
t19_x21_u6_b53 19 21 6 53 pow(R,dot(nrm(D),P)) 155213 155141099 o2(x,o2(o1(x),x)) true 121711 121711 -0.915 0.0433 0.9984 0.1604 0.4005 -1 1 2 1 0.2898 0.01814 0.01797 0.01897 0.004611 1 1.652e-10 0.0942 0.03765 0.03575 0.1891 9.968 2.828 0.2252 0.5873 1 1 0.0279 0.11 0.2691 0.174 0.6861 1.678 json
t19_x21_u6_b54 19 21 6 54 pow(R,dst(nrm(D),P)) 155214 155141100 o2(x,o2(o1(x),x)) true 121719 121719 -0.949 0.0426 0.9651 0.0596 0.2441 -1 0.8676 1.868 1 0.3831 0.006278 0.005859 0.01079 0.03459 1 0.00000776 0.02529 0.01994 0.01202 0.1097 10.16 2.461 0.2036 0.4244 1 1 0.01056 0.04592 0.1114 0.1772 0.7704 1.869 json
t19_x21_u6_b55 19 21 6 55 mod(R,add(nrm(D),P)) 155215 155141101 o2(x,o2(o1(x),x)) true 121727 121727 0.004102 0.4926 0.3694 0.2006 0.4479 -0.9989 0.9806 1.979 1 4.821 0.005758 0.004988 0.07168 0.0716 1 0.00001073 0.02076 0.04259 0.005608 0.07489 1.045 1.241 0.05357 0.1035 1 1 0.0158 0.144 0.3531 0.07878 0.718 1.76 json
t19_x21_u6_b56 19 21 6 56 mod(R,sub(nrm(D),P)) 155216 155141102 o2(x,o2(o1(x),x)) true 121735 121735 0.004102 0.4916 0.3679 0.1995 0.4467 -0.9987 0.9806 1.979 1 4.816 0.005784 0.004962 0.07157 0.0765 1 0.00001073 0.02077 0.04307 0.005623 0.07498 1.048 1.226 0.05386 0.1041 1 1 0.01583 0.143 0.3477 0.07935 0.7169 1.743 json
t19_x21_u6_b57 19 21 6 57 mod(R,mlt(nrm(D),P)) 155217 155141103 o2(x,o2(o1(x),x)) true 121743 121743 -0.1259 0.4272 0.4355 0.2753 0.5247 -1 0.9808 1.981 1 4.702 0.0205 0.00861 0.08814 0.4084 1 -0.000006503 0.06942 0.09459 0.02134 0.1461 1.658 1.812 0.1057 0.2522 1 1 0.03529 0.1699 0.446 0.1282 0.617 1.62 json
t19_x21_u6_b58 19 21 6 58 mod(R,div(nrm(D),P)) 155218 155141104 o2(x,o2(o1(x),x)) true 121751 121751 -0.1244 0.4278 0.1923 0.1231 0.3508 -1 0.9393 1.939 1 2.955 0.01161 0.003837 0.05503 0.5031 1 -0.00005938 0.04445 0.1016 0.01242 0.1114 2.025 1.812 0.1255 0.3612 1 1 0.01805 0.06555 0.1969 0.1466 0.5327 1.6 json
t19_x21_u6_b59 19 21 6 59 mod(R,pow(nrm(D),P)) 155219 155141105 o2(x,o2(o1(x),x)) true 121759 121759 -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
t19_x21_u6_b60 19 21 6 60 mod(R,mod(nrm(D),P)) 155220 155141106 o2(x,o2(o1(x),x)) true 121767 121767 -0.1266 0.4178 0.3267 0.1926 0.4389 -1 0.9616 1.962 1 4.289 0.02482 0.01968 0.1124 0.1155 1 0.00007154 0.1497 0.1905 0.03186 0.1785 1.588 1.812 0.231 0.7772 1 1 0.04367 0.1388 0.3113 0.2267 0.7207 1.616 json
t19_x21_u6_b61 19 21 6 61 mod(R,lrg(nrm(D),P)) 155221 155141107 o2(x,o2(o1(x),x)) true 121775 121775 -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
t19_x21_u6_b62 19 21 6 62 mod(R,eql(nrm(D),P)) 155222 155141108 o2(x,o2(o1(x),x)) true 121783 121783 -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
t19_x21_u6_b63 19 21 6 63 mod(R,min(nrm(D),P)) 155223 155141109 o2(x,o2(o1(x),x)) true 121791 121791 -0.05249 0.46 0.3573 0.2097 0.4579 -1 0.9693 1.969 1 4.694 0.0184 0.01175 0.0936 0.2206 1 0.000058 0.08737 0.1152 0.0214 0.1463 1.563 1.785 0.1438 0.4166 1 1 0.03403 0.1661 0.342 0.1623 0.7922 1.631 json
t19_x21_u6_b64 19 21 6 64 mod(R,dot(nrm(D),P)) 155224 155141110 o2(x,o2(o1(x),x)) true 121799 121799 -0.02357 0.4794 0.3851 0.2188 0.4677 -1 0.9805 1.981 1 4.85 0.03435 0.0349 0.1259 -0.007897 1 0.0001263 0.3204 0.1826 0.05339 0.2311 1.835 2.7 0.3165 1.465 1 1 0.06405 0.1917 0.4225 0.2928 0.8762 1.931 json
t19_x21_u6_b65 19 21 6 65 mod(R,dst(nrm(D),P)) 155225 155141111 o2(x,o2(o1(x),x)) true 121807 121807 0.008348 0.4976 0.3935 0.2188 0.4678 -0.9989 0.9806 1.979 1 4.86 0.003027 0.0034 0.06404 -0.05789 1 0.00002651 0.00221 0.01705 0.002326 0.04823 0.7531 0.9548 0.02937 0.0101 1 1 0.01239 0.1512 0.3911 0.05664 0.691 1.787 json
t19_x21_u6_b66 19 21 6 66 lrg(R,add(nrm(D),P)) 155226 155141112 o2(x,o2(o1(x),x)) true 121815 121815 0.5031 0.5483 0.5031 0.2397 0.4896 0 1 1 1 1.463 0.005509 0.003286 0.01455 0.2527 1 0.00003128 0.02792 0.02264 0.008584 0.09265 6.367 1.413 0.03669 0.1164 1 1 0.01203 0.03983 0.08905 0.05017 0.1661 0.3715 json
t19_x21_u6_b67 19 21 6 67 lrg(R,sub(nrm(D),P)) 155227 155141113 o2(x,o2(o1(x),x)) true 121823 121823 0.5021 0.5959 0.5021 0.2287 0.4783 0 1 1 1 1.842 0.005575 0.003186 0.02019 0.2727 1 0.00003128 0.02686 0.02298 0.008349 0.09137 4.525 1.413 0.0383 0.1174 1 1 0.01285 0.0475 0.08101 0.05617 0.2076 0.3541 json
t19_x21_u6_b68 19 21 6 68 lrg(R,mlt(nrm(D),P)) 155228 155141114 o2(x,o2(o1(x),x)) true 121831 121831 0.5343 0.994 0.5343 0.1341 0.3662 0 1 1 1 3.537 0.04863 0.008609 0.1226 0.6992 1 0.0002518 0.1337 0.1365 0.0422 0.2054 1.676 1.413 0.4269 0.9969 1 1 0.06314 0.2263 0.09992 0.4709 1.688 0.7451 json
t19_x21_u6_b69 19 21 6 69 lrg(R,div(nrm(D),P)) 155229 155141115 o2(x,o2(o1(x),x)) true 121839 121839 0.4951 0.915 0.4951 0.1545 0.3931 0 1 1 1 3.426 0.01935 0.01131 0.07957 0.2621 1 0.0001257 0.08485 0.07868 0.02433 0.156 1.96 1.413 0.1984 0.5491 1 1 0.03693 0.166 0.2727 0.239 1.074 1.765 json
t19_x21_u6_b70 19 21 6 70 lrg(R,pow(nrm(D),P)) 155230 155141116 o2(x,o2(o1(x),x)) true 121847 121847 0.5299 0.9375 0.5299 0.1464 0.3826 0 1 1 1 3.454 0.05121 0.007024 0.1144 0.7588 1 -0.0001185 0.1269 0.1315 0.04513 0.2124 1.856 1.404 0.3979 0.8667 1 1 0.06095 0.2091 0.08375 0.4164 1.428 0.5722 json
t19_x21_u6_b71 19 21 6 71 lrg(R,mod(nrm(D),P)) 155231 155141117 o2(x,o2(o1(x),x)) true 121855 121855 0.5375 0.9712 0.5375 0.1295 0.3599 0 1 1 1 3.679 0.03888 0.02263 0.1255 0.2641 1 -0.00007799 0.1882 0.1621 0.04576 0.2139 1.705 1.413 0.4748 1.452 1 1 0.0648 0.2019 0.162 0.5002 1.559 1.251 json
t19_x21_u6_b72 19 21 6 72 lrg(R,lrg(nrm(D),P)) 155232 155141118 o2(x,o2(o1(x),x)) true 121863 121863 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
t19_x21_u6_b73 19 21 6 73 lrg(R,eql(nrm(D),P)) 155233 155141119 o2(x,o2(o1(x),x)) true 121871 121871 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
t19_x21_u6_b74 19 21 6 74 lrg(R,min(nrm(D),P)) 155234 155141120 o2(x,o2(o1(x),x)) true 121879 121879 0.7488 0.984 0.7488 0.1251 0.3537 0 1 1 1 2.568 0.02102 0.01225 0.06727 0.2635 1 -0.0002352 0.1025 0.08738 0.02874 0.1695 2.52 1.413 0.2659 0.819 1 1 0.03687 0.1181 0.113 0.2948 0.9442 0.9036 json
t19_x21_u6_b75 19 21 6 75 lrg(R,dot(nrm(D),P)) 155235 155141121 o2(x,o2(o1(x),x)) true 121887 121887 0.5504 1 0.5504 0.1045 0.3233 0.000291 1 0.9997 1 3.812 0.03363 0.03338 0.1412 0.00375 1 -0.001009 0.2113 0.1771 0.04707 0.2169 1.537 1.413 0.6413 2.023 1 1 0.0703 0.2287 0.07272 0.6728 2.188 0.6959 json
t19_x21_u6_b76 19 21 6 76 lrg(R,dst(nrm(D),P)) 155236 155141122 o2(x,o2(o1(x),x)) true 121895 121895 0.002482 0.009766 0.002482 0.001508 0.03883 0 0.9994 0.9994 1 0.07187 0.000715 0.0006344 0.001998 0.0597 1 -9.817e-13 0.004821 0.003469 0.001347 0.0367 18.37 1.413 0.8948 3.197 1 1 0.0022 0.005117 0.005491 1.459 3.393 3.641 json
t19_x21_u6_b77 19 21 6 77 eql(R,add(nrm(D),P)) 155237 155141123 o2(x,o2(o1(x),x)) true 121903 121903 1.264e-7 0.00003052 1.264e-7 5.237e-10 0.00002288 0 0.004143 0.004143 1 0 1.081e-9 1.081e-9 4.454e-7 0 0 0 1.081e-8 0.000001044 2.161e-9 0.00004649 104.4 0.005859 4.128 20.64 1 1 9.507e-10 9.507e-10 7.131e-10 1.816 1.816 1.362 json
t19_x21_u6_b78 19 21 6 78 eql(R,sub(nrm(D),P)) 155238 155141124 o2(x,o2(o1(x),x)) true 121911 121911 1.264e-7 0.00003052 1.264e-7 5.237e-10 0.00002288 0 0.004143 0.004143 1 0 1.081e-9 1.081e-9 4.454e-7 0 0 0 1.081e-8 0.000001044 2.161e-9 0.00004649 104.4 0.005859 4.128 20.64 1 1 9.507e-10 9.507e-10 7.131e-10 1.816 1.816 1.362 json
t19_x21_u6_b79 19 21 6 79 eql(R,mlt(nrm(D),P)) 155239 155141125 o2(x,o2(o1(x),x)) true 121919 121919 9.081e-7 0.00003052 9.081e-7 2.702e-8 0.0001644 0 0.02976 0.02976 1 0 5.577e-8 5.577e-8 0.0000032 0 0 0 5.577e-7 0.000007497 1.115e-7 0.000334 104.4 0.04208 4.128 20.64 1 1 0 0 0 0 0 0 json
t19_x21_u6_b80 19 21 6 80 eql(R,div(nrm(D),P)) 155240 155141126 o2(x,o2(o1(x),x)) true 121927 121927 0.0002355 0.0006104 0.0002355 0.0001766 0.01329 0 0.9994 0.9994 1 0.006256 0.0003648 0.0003334 0.0007553 0.04506 1 -1.314e-8 0.003939 0.001882 0.0006971 0.0264 34.95 1.413 3.952 22.3 1 1 0.0001026 0.0001026 0.00009793 0.5806 0.5806 0.5544 json
t19_x21_u6_b81 19 21 6 81 eql(R,pow(nrm(D),P)) 155241 155141127 o2(x,o2(o1(x),x)) true 121935 121935 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
t19_x21_u6_b82 19 21 6 82 eql(R,mod(nrm(D),P)) 155242 155141128 o2(x,o2(o1(x),x)) true 121943 121943 0.0001225 0.0004272 0.0001225 0.00007621 0.00873 0 0.9926 0.9926 1 0.00431 0.0001573 0.0001561 0.0004255 0.00389 1 1.877e-12 0.001564 0.0009941 0.0003132 0.0177 41.59 1.404 4.113 20.52 1 1 0.0002312 0.0002312 0.0002071 3.034 3.034 2.717 json
t19_x21_u6_b83 19 21 6 83 eql(R,lrg(nrm(D),P)) 155243 155141129 o2(x,o2(o1(x),x)) true 121951 121951 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
t19_x21_u6_b84 19 21 6 84 eql(R,eql(nrm(D),P)) 155244 155141130 o2(x,o2(o1(x),x)) true 121959 121959 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
t19_x21_u6_b85 19 21 6 85 eql(R,min(nrm(D),P)) 155245 155141131 o2(x,o2(o1(x),x)) true 121967 121967 0.0001088 0.0003357 0.0001088 0.00007359 0.008579 0 0.9926 0.9926 1 0.00339 0.0001519 0.0001513 0.0003803 0.00201 1 1.877e-12 0.001515 0.0008897 0.000303 0.01741 45.77 1.404 4.121 20.58 1 1 0.0002311 0.0002311 0.000207 3.141 3.141 2.813 json
t19_x21_u6_b86 19 21 6 86 eql(R,dot(nrm(D),P)) 155246 155141132 o2(x,o2(o1(x),x)) true 121975 121975 0.00001017 0.00001526 0.00001017 0.000006782 0.002604 0 0.6667 0.6667 1 0.0002662 0.000014 0.000014 0.00003584 0 0 0 0.00014 0.00008398 0.00002799 0.005291 147.6 0.9428 4.128 20.64 1 1 0 0 0 0 0 0 json
t19_x21_u6_b87 19 21 6 87 eql(R,dst(nrm(D),P)) 155247 155141133 o2(x,o2(o1(x),x)) true 121983 121983 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
t19_x21_u6_b88 19 21 6 88 min(R,add(nrm(D),P)) 155248 155141134 o2(x,o2(o1(x),x)) true 121991 121991 -0.4896 0.229 0.6631 0.3241 0.5693 -1 0.9806 1.981 1 3.677 0.002995 0.001896 0.03956 0.2248 1 -0.00001233 0.00263 0.01308 0.003327 0.05768 1.458 1.466 0.01509 0.008116 1 1 0.009753 0.09401 0.2583 0.03009 0.2901 0.7969 json
t19_x21_u6_b89 19 21 6 89 min(R,sub(nrm(D),P)) 155249 155141135 o2(x,o2(o1(x),x)) true 121999 121999 -0.4822 0.2514 0.6795 0.3513 0.5927 -1 0.9693 1.969 1 3.643 0.003687 0.002072 0.04204 0.2804 1 0.00001535 0.002961 0.01522 0.003993 0.06319 1.503 1.465 0.0164 0.008431 1 1 0.01186 0.1028 0.2392 0.03377 0.2925 0.6811 json
t19_x21_u6_b90 19 21 6 90 min(R,mlt(nrm(D),P)) 155250 155141136 o2(x,o2(o1(x),x)) true 122007 122007 -0.6827 0.09494 0.7462 0.1926 0.4389 -1 0.9783 1.978 1 3.19 0.05229 0.002709 0.1171 0.9015 1 -0.00008094 0.07146 0.1059 0.04128 0.2032 1.735 1.989 0.2856 0.3711 1 1 0.06927 0.2831 0.1548 0.3597 1.47 0.8037 json
t19_x21_u6_b91 19 21 6 91 min(R,div(nrm(D),P)) 155251 155141137 o2(x,o2(o1(x),x)) true 122015 122015 -0.3 0.1635 0.3497 0.1172 0.3424 -1 0.933 1.933 1 4.269 0.01142 0.001607 0.05441 0.7532 1 0.00003194 0.0189 0.03001 0.01006 0.1003 1.844 1.829 0.1111 0.1612 1 1 0.0208 0.1181 0.1988 0.1774 1.007 1.696 json
t19_x21_u6_b92 19 21 6 92 min(R,pow(nrm(D),P)) 155252 155141138 o2(x,o2(o1(x),x)) true 122023 122023 -0.01632 0.4746 0.379 0.2077 0.4557 -0.9989 0.9805 1.979 1 4.838 0.006638 0.003601 0.07026 0.2966 1 0.0001014 0.0105 0.03093 0.005304 0.07283 1.037 0.9552 0.04931 0.05054 1 1 0.01593 0.1506 0.3587 0.0767 0.7252 1.727 json
t19_x21_u6_b93 19 21 6 93 min(R,mod(nrm(D),P)) 155253 155141139 o2(x,o2(o1(x),x)) true 122031 122031 -0.3515 0.1922 0.4619 0.1562 0.3953 -0.999 0.9346 1.934 1 4.565 0.01539 0.004625 0.09769 0.5378 1 -0.00001038 0.01889 0.04507 0.01047 0.1023 1.048 1.467 0.1281 0.1209 1 1 0.03265 0.2097 0.1996 0.209 1.342 1.278 json
t19_x21_u6_b94 19 21 6 94 min(R,lrg(nrm(D),P)) 155254 155141140 o2(x,o2(o1(x),x)) true 122039 122039 -0.1161 0.2755 0.3331 0.1657 0.4071 -0.9989 0.9693 1.968 1 4.571 0.002226 0.002174 0.04912 0.01185 1 0.00002336 0.001191 0.01286 0.001988 0.04459 0.9078 0.8292 0.02655 0.007188 1 1 0.00836 0.09956 0.2512 0.05045 0.6008 1.516 json
t19_x21_u6_b95 19 21 6 95 min(R,eql(nrm(D),P)) 155255 155141141 o2(x,o2(o1(x),x)) true 122047 122047 -0.2541 0 0.2541 0.06549 0.2559 -0.9989 0 0.9989 1 3.542 0.000768 0.0009295 0.0314 -0.09514 1 0.00001332 0.00009988 0.007359 0.0007117 0.02668 0.8497 0.1168 0.02592 0.001525 1 1 0.003123 0.04017 0.1061 0.04769 0.6134 1.62 json
t19_x21_u6_b96 19 21 6 96 min(R,min(nrm(D),P)) 155256 155141142 o2(x,o2(o1(x),x)) true 122055 122055 -0.6915 0.06937 0.7293 0.1547 0.3933 -1 0.9344 1.934 1 3.239 0.007758 0.002407 0.05073 0.5265 1 0.0002114 0.009797 0.02413 0.007589 0.08712 1.717 1.467 0.0657 0.06333 1 1 0.01757 0.109 0.1108 0.1135 0.7045 0.7159 json
t19_x21_u6_b97 19 21 6 97 min(R,dot(nrm(D),P)) 155257 155141143 o2(x,o2(o1(x),x)) true 122063 122063 -0.8248 0.0592 0.8646 0.1364 0.3693 -1 0.9669 1.967 1 2.051 0.02904 0.02711 0.1003 0.03436 1 0.0007208 0.1084 0.1154 0.04607 0.2146 2.141 2.747 0.4116 0.7949 1 1 0.07075 0.2534 0.1344 0.5187 1.857 0.9856 json
t19_x21_u6_b98 19 21 6 98 min(R,dst(nrm(D),P)) 155258 155141144 o2(x,o2(o1(x),x)) true 122071 122071 0.008498 0.498 0.3944 0.2194 0.4684 -0.9989 0.9806 1.979 1 4.861 0.002831 0.003184 0.0633 -0.05859 1 0.00002651 0.0004807 0.0148 0.002008 0.04481 0.7078 0.4676 0.02742 0.002191 1 1 0.01187 0.1516 0.3915 0.05409 0.6909 1.784 json
t19_x21_u6_b99 19 21 6 99 dot(R,add(nrm(D),P)) 155259 155141145 o2(x,o2(o1(x),x)) true 122079 122079 -0.09629 0.4552 0.8427 0.7834 0.8851 -1 1 2 1 2.939 0.0262 0.03447 0.1101 -0.1363 1 0.0001006 0.04944 0.08023 0.04856 0.2204 2.002 1.743 0.07744 0.06312 1 1 0.081 0.5988 1.355 0.1034 0.7643 1.73 json
t19_x21_u6_b100 19 21 6 100 dot(R,sub(nrm(D),P)) 155260 155141146 o2(x,o2(o1(x),x)) true 122087 122087 0.09342 0.5439 0.8517 0.7954 0.8919 -1 1 2 1 2.872 0.02668 0.03517 0.1112 -0.1373 1 -0.000005235 0.05118 0.082 0.04949 0.2225 2 1.925 0.07776 0.06434 1 1 0.08254 0.6239 1.409 0.1038 0.7843 1.771 json
t19_x21_u6_b101 19 21 6 101 dot(R,mlt(nrm(D),P)) 155261 155141147 o2(x,o2(o1(x),x)) true 122095 122095 -0.009751 0.4968 0.7544 0.6795 0.8243 -1 1 2 1 3.664 0.06521 0.06401 0.1909 0.009284 1 0.0003011 0.168 0.1563 0.0928 0.3046 1.596 2.828 0.1902 0.2472 1 1 0.1652 1.065 1.234 0.2432 1.568 1.816 json
t19_x21_u6_b102 19 21 6 102 dot(R,div(nrm(D),P)) 155262 155141148 o2(x,o2(o1(x),x)) true 122103 122103 -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
t19_x21_u6_b103 19 21 6 103 dot(R,pow(nrm(D),P)) 155263 155141149 o2(x,o2(o1(x),x)) true 122111 122111 -0.9937 0.003723 0.9986 0.01066 0.1033 -1 1 2 1 0.05024 0.001253 0.001368 0.001812 -0.04369 1 3.004e-11 0.005496 0.003212 0.002616 0.05114 28.23 2.188 0.2458 0.5155 1 1 0.004708 0.0204 0.03882 0.4416 1.914 3.641 json
t19_x21_u6_b104 19 21 6 104 dot(R,mod(nrm(D),P)) 155264 155141150 o2(x,o2(o1(x),x)) true 122119 122119 -0.2222 0.401 0.5182 0.3417 0.5846 -1 1 2 1 4.423 0.02026 0.01917 0.1058 0.0277 1 -0.0002738 0.05622 0.06424 0.02825 0.1681 1.589 2.191 0.1154 0.1645 1 1 0.05506 0.3247 0.5601 0.1611 0.95 1.639 json
t19_x21_u6_b105 19 21 6 105 dot(R,lrg(nrm(D),P)) 155265 155141151 o2(x,o2(o1(x),x)) true 122127 122127 0.04031 0.4276 0.3392 0.2095 0.4577 -1 1 2 1 4.507 0.003792 0.00464 0.05957 -0.1006 1 0.00005449 0.004944 0.02052 0.004884 0.06989 1.173 0.9528 0.04025 0.0236 1 1 0.01474 0.1584 0.3938 0.07037 0.7561 1.88 json
t19_x21_u6_b106 19 21 6 106 dot(R,eql(nrm(D),P)) 155266 155141152 o2(x,o2(o1(x),x)) true 122135 122135 -0.02962 0.4693 0.3744 0.1997 0.4469 -0.9967 0.9893 1.986 1 4.818 0.003 0.00287 0.06261 0.02222 1 -0.00003178 0.0003527 0.01452 0.001951 0.04417 0.7055 0.2258 0.02939 0.001766 1 1 0.01331 0.1712 0.4269 0.06664 0.857 2.137 json
t19_x21_u6_b107 19 21 6 107 dot(R,min(nrm(D),P)) 155267 155141153 o2(x,o2(o1(x),x)) true 122143 122143 -0.07687 0.4604 0.6707 0.5713 0.7558 -1 1 2 1 4.043 0.01986 0.02388 0.11 -0.09193 1 -0.00004469 0.03086 0.06312 0.03162 0.1778 1.616 1.833 0.07656 0.05402 1 1 0.06266 0.49 0.9789 0.1097 0.8576 1.714 json
t19_x21_u6_b108 19 21 6 108 dot(R,dot(nrm(D),P)) 155268 155141154 o2(x,o2(o1(x),x)) true 122151 122151 -0.0000567 0.4952 0.806 0.7483 0.865 -1 1 2 1 3.221 0.07479 0.08131 0.1884 -0.0418 1 -0.00004842 0.2602 0.1871 0.1206 0.3473 1.843 2.828 0.2086 0.3477 1 1 0.2064 1.156 1.384 0.2759 1.545 1.85 json
t19_x21_u6_b109 19 21 6 109 dot(R,dst(nrm(D),P)) 155269 155141155 o2(x,o2(o1(x),x)) true 122159 122159 0.01457 0.5104 0.8956 0.8619 0.9284 -1 1 2 1 2.461 0.04025 0.04151 0.1106 -0.0154 1 0.00002321 0.08869 0.1025 0.06953 0.2637 2.385 2.075 0.09487 0.1029 1 1 0.1078 0.707 1.55 0.125 0.8203 1.798 json
t19_x21_u6_b110 19 21 6 110 dst(R,add(nrm(D),P)) 155270 155141156 o2(x,o2(o1(x),x)) true 122167 122167 0.9988 1 0.9988 0.0003777 0.01943 0.283 1 0.717 1 0.0595 0.00008255 0.00009107 0.0009021 -0.04908 1 -1.877e-11 0.0003458 0.0009741 0.0001729 0.01315 14.57 0.8974 0.4597 0.9155 1 1 0.0004066 0.001254 0.001374 1.076 3.321 3.638 json
t19_x21_u6_b111 19 21 6 111 dst(R,sub(nrm(D),P)) 155271 155141157 o2(x,o2(o1(x),x)) true 122175 122175 0.9995 1 0.9995 0.0001508 0.01228 0.2842 1 0.7158 1 0.02568 0.00009259 0.00007409 0.0006415 0.111 1 -1.126e-11 0.0004324 0.0009601 0.0001661 0.01289 20.09 0.7158 1.105 2.867 1 1 0.0003397 0.0005489 0.0005482 2.252 3.639 3.635 json
t19_x21_u6_b112 19 21 6 112 dst(R,mlt(nrm(D),P)) 155272 155141158 o2(x,o2(o1(x),x)) true 122183 122183 0.9972 1 0.9972 0.0008863 0.02977 0.2041 1 0.7959 1 0.1238 0.0006055 0.0004141 0.00374 0.1877 1 -5.256e-11 0.002826 0.005964 0.001006 0.03172 8.482 0.8305 1.15 3.188 1 1 0.001465 0.00255 0.002562 1.653 2.877 2.891 json
t19_x21_u6_b113 19 21 6 113 dst(R,div(nrm(D),P)) 155273 155141159 o2(x,o2(o1(x),x)) true 122191 122191 -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
t19_x21_u6_b114 19 21 6 114 dst(R,pow(nrm(D),P)) 155274 155141160 o2(x,o2(o1(x),x)) true 122199 122199 -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.004025 0.06344 31.77 2.828 0.259 0.5504 1 1 0.007091 0.02837 0.05673 0.4556 1.823 3.645 json
t19_x21_u6_b115 19 21 6 115 dst(R,mod(nrm(D),P)) 155275 155141161 o2(x,o2(o1(x),x)) true 122207 122207 0.5006 0.7656 0.9694 0.6986 0.8358 -1 1 2 1 1.615 0.02775 0.02832 0.04475 -0.01027 1 0.00003257 0.1124 0.0701 0.05405 0.2325 5.195 2.828 0.08027 0.1609 1 1 0.07019 0.2811 1.1 0.1005 0.4023 1.575 json
t19_x21_u6_b116 19 21 6 116 dst(R,lrg(nrm(D),P)) 155276 155141162 o2(x,o2(o1(x),x)) true 122215 122215 0.9463 1 0.9463 0.01353 0.1163 0.21 1 0.79 1 1.399 0.0003742 0.0004627 0.01122 -0.1057 1 -0.00004541 0.0006474 0.006363 0.0007111 0.02667 2.377 0.5354 0.06186 0.04785 1 1 0.001308 0.009736 0.02094 0.09667 0.7196 1.548 json
t19_x21_u6_b117 19 21 6 117 dst(R,eql(nrm(D),P)) 155277 155141163 o2(x,o2(o1(x),x)) true 122223 122223 0.9684 1 0.9684 0.009182 0.09582 0.2103 1 0.7897 1 0.9061 0.0002907 0.0002713 0.007968 0.03453 1 -0.00004516 0.0002037 0.004353 0.0004984 0.02232 2.802 0.1992 0.0612 0.02219 1 1 0.0009074 0.007818 0.01255 0.09882 0.8515 1.367 json
t19_x21_u6_b118 19 21 6 118 dst(R,min(nrm(D),P)) 155278 155141164 o2(x,o2(o1(x),x)) true 122231 122231 0.9865 1 0.9865 0.004444 0.06666 0.09302 1 0.907 1 0.448 0.000651 0.0006601 0.007427 -0.006931 1 0.000004363 0.00235 0.006683 0.001256 0.03543 4.771 1.283 0.2951 0.5289 1 1 0.002022 0.00769 0.009183 0.455 1.73 2.067 json
t19_x21_u6_b119 19 21 6 119 dst(R,dot(nrm(D),P)) 155279 155141165 o2(x,o2(o1(x),x)) true 122239 122239 0.9981 1 0.9981 0.0006584 0.02566 0.1021 1 0.8979 1 0.08622 0.001034 0.0009773 0.004944 0.0282 1 -0.000008718 0.009388 0.01078 0.001986 0.04456 9.013 1.235 3.055 14.26 1 1 0.00163 0.001788 0.001704 2.475 2.716 2.587 json
t19_x21_u6_b120 19 21 6 120 dst(R,dst(nrm(D),P)) 155280 155141166 o2(x,o2(o1(x),x)) true 122247 122247 0.9998 1 0.9998 0.00005164 0.007186 0.5517 1 0.4483 1 0.009722 0.00003906 0.00003706 0.0002697 0.02628 0 3.754e-12 0.0002049 0.000468 0.00007601 0.008719 32.33 0.6339 1.474 3.968 1 1 0.0001448 0.0001877 0.0001877 2.803 3.634 3.634 json
t19_x22_u0_b0 19 22 0 0 add(R,add(sqt(D),D)) 155281 155180241 o2(x,o2(o1(x),x)) true 122255 122255 -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
t19_x22_u0_b1 19 22 0 1 add(R,sub(sqt(D),D)) 155282 155180242 o2(x,o2(o1(x),x)) true 122263 122263 -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
t19_x22_u0_b2 19 22 0 2 add(R,mlt(sqt(D),D)) 155283 155180243 o2(x,o2(o1(x),x)) true 122271 122271 -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
t19_x22_u0_b3 19 22 0 3 add(R,div(sqt(D),D)) 155284 155180244 o2(x,o2(o1(x),x)) true 122279 122279 -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
t19_x22_u0_b4 19 22 0 4 add(R,pow(sqt(D),D)) 155285 155180245 o2(x,o2(o1(x),x)) true 122287 122287 -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
t19_x22_u0_b5 19 22 0 5 add(R,mod(sqt(D),D)) 155286 155180246 o2(x,o2(o1(x),x)) true 122295 122295 -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
t19_x22_u0_b6 19 22 0 6 add(R,lrg(sqt(D),D)) 155287 155180247 o2(x,o2(o1(x),x)) true 122303 122303 0.8072 1 0.8072 0.06917 0.263 0.001146 1 0.9989 1 2.721 0.00124 0.001463 0.03034 -0.08261 1 -0.00006109 0.0006685 0.01204 0.001783 0.04223 1.392 0.223 0.03908 0.009664 1 1 0.004971 0.05068 0.113 0.07186 0.7327 1.634 json
t19_x22_u0_b7 19 22 0 7 add(R,eql(sqt(D),D)) 155288 155180248 o2(x,o2(o1(x),x)) true 122311 122311 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
t19_x22_u0_b8 19 22 0 8 add(R,min(sqt(D),D)) 155289 155180249 o2(x,o2(o1(x),x)) true 122319 122319 0.009078 0.4986 0.4013 0.2304 0.48 -1 1 2 1 4.899 0.004471 0.003165 0.07546 0.1709 1 0.00002869 0.0006263 0.01935 0.001942 0.04407 0.584 0.2845 0.03314 0.002718 1 1 0.01508 0.1746 0.3904 0.06546 0.7577 1.694 json
t19_x22_u0_b9 19 22 0 9 add(R,dot(sqt(D),D)) 155290 155180250 o2(x,o2(o1(x),x)) true 122327 122327 -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
t19_x22_u0_b10 19 22 0 10 add(R,dst(sqt(D),D)) 155291 155180251 o2(x,o2(o1(x),x)) true 122335 122335 -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
t19_x22_u0_b11 19 22 0 11 sub(R,add(sqt(D),D)) 155292 155180252 o2(x,o2(o1(x),x)) true 122343 122343 -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
t19_x22_u0_b12 19 22 0 12 sub(R,sub(sqt(D),D)) 155293 155180253 o2(x,o2(o1(x),x)) true 122351 122351 -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
t19_x22_u0_b13 19 22 0 13 sub(R,mlt(sqt(D),D)) 155294 155180254 o2(x,o2(o1(x),x)) true 122359 122359 -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
t19_x22_u0_b14 19 22 0 14 sub(R,div(sqt(D),D)) 155295 155180255 o2(x,o2(o1(x),x)) true 122367 122367 -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
t19_x22_u0_b15 19 22 0 15 sub(R,pow(sqt(D),D)) 155296 155180256 o2(x,o2(o1(x),x)) true 122375 122375 -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
t19_x22_u0_b16 19 22 0 16 sub(R,mod(sqt(D),D)) 155297 155180257 o2(x,o2(o1(x),x)) true 122383 122383 -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
t19_x22_u0_b17 19 22 0 17 sub(R,lrg(sqt(D),D)) 155298 155180258 o2(x,o2(o1(x),x)) true 122391 122391 -0.7982 0 0.7982 0.07256 0.2694 -1 -0.01936 0.9806 1 2.717 0.001471 0.00159 0.03308 -0.03903 1 0.0000876 0.0006964 0.01237 0.001966 0.04434 1.34 0.223 0.04219 0.009598 1 1 0.005951 0.06127 0.1403 0.08201 0.8444 1.934 json
t19_x22_u0_b18 19 22 0 18 sub(R,eql(sqt(D),D)) 155299 155180259 o2(x,o2(o1(x),x)) true 122399 122399 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