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_x7_u4_b40 19 7 4 40 div(P,eql(cil(R),D)) 143100 154575070 o2(x,o2(o1(x),x)) true 24807 24807 -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_x7_u4_b41 19 7 4 41 div(P,min(cil(R),D)) 143101 154575071 o2(x,o2(o1(x),x)) true 24815 24815 -0.8098 0.08887 0.9826 0.3233 0.5686 -1 1 2 1 0.6632 0.08398 0.02669 0.0642 0.5177 1 7.396e-10 0.2225 0.1175 0.1065 0.3263 5.083 2.828 0.3423 0.6881 1 1 0.1055 0.4319 0.5763 0.3263 1.336 1.783 json
t19_x7_u4_b42 19 7 4 42 div(P,dot(cil(R),D)) 143102 154575072 o2(x,o2(o1(x),x)) true 24823 24823 -0.5956 0.1943 0.9653 0.604 0.7772 -1 1 2 1 1.175 0.1589 0.1681 0.161 -0.02809 1 -0.00001019 1.098 0.3429 0.301 0.5486 3.409 2.828 0.5413 1.818 1 1 0.3714 1.041 1.223 0.6149 1.724 2.025 json
t19_x7_u4_b43 19 7 4 43 div(P,dst(cil(R),D)) 143103 154575073 o2(x,o2(o1(x),x)) true 24831 24831 -0.003434 0.5 0.9218 0.9007 0.949 -1 1 2 1 2.109 0.0006794 0.00008813 0.009211 0.7704 1 -0.000006982 0.0001349 0.003072 0.0006822 0.02612 2.836 0.2792 0.0008521 0.0001498 1 1 0.002068 0.024 0.2132 0.002296 0.02665 0.2367 json
t19_x7_u4_b44 19 7 4 44 pow(P,add(cil(R),D)) 143104 154575074 o2(x,o2(o1(x),x)) true 24839 24839 -0.03627 0.5 0.9637 0.9516 0.9755 -1 1 2 1 1.586 0.004425 0.00002304 0.0105 0.9896 1 -0.0000209 0.008041 0.01139 0.004337 0.06586 6.275 1 0.004675 0.00845 1 1 0.006442 0.04059 0.2791 0.006769 0.04265 0.2933 json
t19_x7_u4_b45 19 7 4 45 pow(P,sub(cil(R),D)) 143105 154575075 o2(x,o2(o1(x),x)) true 24847 24847 -0.1028 0.4531 0.9909 0.9771 0.9885 -1 1 2 1 1.167 0.01299 0.003622 0.01132 0.564 1 -0.000007525 0.03398 0.02029 0.01648 0.1284 11.34 2.828 0.017 0.03478 1 1 0.02275 0.09455 0.3822 0.02328 0.09676 0.3912 json
t19_x7_u4_b46 19 7 4 46 pow(P,mlt(cil(R),D)) 143106 154575076 o2(x,o2(o1(x),x)) true 24855 24855 0.06196 0.5469 0.9682 0.9458 0.9725 -1 1 2 1 1.748 0.01961 0.01523 0.02638 0.1256 1 0.00005884 0.0711 0.04024 0.03415 0.1848 7.006 2.828 0.03684 0.07518 1 1 0.03801 0.1631 0.5616 0.04019 0.1725 0.5937 json
t19_x7_u4_b47 19 7 4 47 pow(P,div(cil(R),D)) 143107 154575077 o2(x,o2(o1(x),x)) true 24863 24863 0.01511 0.5469 0.9214 0.8982 0.9477 -1 1 2 1 2.015 0.03035 0.01582 0.04571 0.3147 1 -0.0003656 0.09073 0.06621 0.04409 0.21 4.594 2.828 0.05141 0.101 1 1 0.04994 0.2089 0.5952 0.0556 0.2326 0.6627 json
t19_x7_u4_b48 19 7 4 48 pow(P,pow(cil(R),D)) 143108 154575078 o2(x,o2(o1(x),x)) true 24871 24871 -0.4961 0.2617 0.9805 0.7291 0.8539 -1 1 2 1 1.109 0.06543 0.06306 0.06804 0.01844 1 0.000002852 0.2711 0.1316 0.1238 0.3518 5.171 2.828 0.1762 0.3719 1 1 0.1287 0.5373 1.095 0.1765 0.7369 1.502 json
t19_x7_u4_b49 19 7 4 49 pow(P,mod(cil(R),D)) 143109 154575079 o2(x,o2(o1(x),x)) true 24879 24879 0.1035 0.5586 0.9863 0.9714 0.9856 -1 1 2 1 1.255 0.09868 0.01616 0.06058 0.7185 1 0.000002495 0.3022 0.1177 0.1112 0.3335 5.506 2.828 0.1182 0.3111 1 1 0.08564 0.207 0.5689 0.08816 0.2131 0.5856 json
t19_x7_u4_b50 19 7 4 50 pow(P,lrg(cil(R),D)) 143110 154575080 o2(x,o2(o1(x),x)) true 24887 24887 0.003906 0.5117 0.9805 0.9752 0.9875 -1 1 2 1 1.316 0.01189 0.002463 0.01139 0.6567 1 0.000002852 0.02885 0.01748 0.01422 0.1192 10.46 2.236 0.01472 0.02959 1 1 0.01971 0.08423 0.3414 0.02021 0.08637 0.3501 json
t19_x7_u4_b51 19 7 4 51 pow(P,eql(cil(R),D)) 143111 154575081 o2(x,o2(o1(x),x)) true 24895 24895 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_x7_u4_b52 19 7 4 52 pow(P,min(cil(R),D)) 143112 154575082 o2(x,o2(o1(x),x)) true 24903 24903 -0.05795 0.5 0.9421 0.8998 0.9486 -1 1 2 1 2.145 0.0112 0.0001206 0.02141 0.9787 1 0.000178 0.02111 0.02019 0.01086 0.1042 4.868 2 0.01258 0.02346 1 1 0.0152 0.07125 0.3104 0.0169 0.07918 0.345 json
t19_x7_u4_b53 19 7 4 53 pow(P,dot(cil(R),D)) 143113 154575083 o2(x,o2(o1(x),x)) true 24911 24911 -0.09859 0.4674 0.9666 0.9361 0.9675 -1 1 2 1 1.772 0.0165 0.01144 0.02356 0.1813 1 0.000004889 0.08636 0.03621 0.0274 0.1655 7.027 2.828 0.02984 0.09226 1 1 0.03475 0.1349 0.4247 0.03712 0.1441 0.4537 json
t19_x7_u4_b54 19 7 4 54 pow(P,dst(cil(R),D)) 143114 154575084 o2(x,o2(o1(x),x)) true 24919 24919 -0.03125 0.5 0.9688 0.9603 0.98 -1 1 2 1 1.406 0.004323 0 0.007937 1 1 -9.386e-13 0.007903 0.008812 0.004259 0.06526 8.223 1 0.004502 0.008229 1 1 0.006228 0.03975 0.2856 0.006485 0.04139 0.2974 json
t19_x7_u4_b55 19 7 4 55 mod(P,add(cil(R),D)) 143115 154575085 o2(x,o2(o1(x),x)) true 24927 24927 -0.01662 0.4827 0.308 0.1591 0.3989 -1 1 2 1 4.633 0.05271 0.0006484 0.1546 0.9757 1 0.002242 0.146 0.2329 0.02946 0.1717 1.111 0.9685 0.3354 0.918 1 1 0.03277 0.06774 0.1277 0.206 0.4258 0.8028 json
t19_x7_u4_b56 19 7 4 56 mod(P,sub(cil(R),D)) 143116 154575086 o2(x,o2(o1(x),x)) true 24935 24935 -0.0006291 0.4852 0.3063 0.1576 0.397 -1 1 2 1 4.633 0.05314 0.0006492 0.154 0.9759 1 -0.002102 0.1453 0.2316 0.03007 0.1734 1.126 0.9685 0.3413 0.9219 1 1 0.03235 0.06638 0.1276 0.2053 0.4212 0.8098 json
t19_x7_u4_b57 19 7 4 57 mod(P,mlt(cil(R),D)) 143117 154575087 o2(x,o2(o1(x),x)) true 24943 24943 -0.961 0.006836 0.9626 0.03472 0.1863 -1 0.3428 1.343 1 0.3855 0.004563 0.003557 0.01061 0.124 1 5.188e-7 0.01764 0.01979 0.00801 0.0895 8.437 1.414 0.2338 0.5081 1 1 0.005634 0.02135 0.05454 0.1622 0.6148 1.571 json
t19_x7_u4_b58 19 7 4 58 mod(P,div(cil(R),D)) 143118 154575088 o2(x,o2(o1(x),x)) true 24951 24951 -0.9813 0.007813 0.9923 0.02658 0.163 -1 1 2 1 0.208 0.005252 0.003145 0.009738 0.251 1 -7.509e-12 0.02096 0.01813 0.008301 0.09111 9.357 2.828 0.3159 0.7886 1 1 0.001994 0.006313 0.02497 0.07504 0.2375 0.9393 json
t19_x7_u4_b59 19 7 4 59 mod(P,pow(cil(R),D)) 143119 154575089 o2(x,o2(o1(x),x)) true 24959 24959 -0.957 0 0.957 0.04112 0.2028 -1 0 1 1 0.2557 0.00422 0.004094 0.008259 0.01515 1 0 0.01738 0.01663 0.008241 0.09078 10.99 1.414 0.2022 0.4228 1 1 0.006357 0.02738 0.06893 0.1546 0.6659 1.676 json
t19_x7_u4_b60 19 7 4 60 mod(P,mod(cil(R),D)) 143120 154575090 o2(x,o2(o1(x),x)) true 24967 24967 -0.964 0.005859 0.9646 0.03341 0.1828 -1 0.1932 1.193 1 0.3132 0.004868 0.00341 0.009627 0.1762 1 8.251e-7 0.01753 0.01866 0.008185 0.09047 9.397 1.414 0.2478 0.5247 1 1 0.005795 0.02297 0.05557 0.1734 0.6876 1.663 json
t19_x7_u4_b61 19 7 4 61 mod(P,lrg(cil(R),D)) 143121 154575091 o2(x,o2(o1(x),x)) true 24975 24975 -0.7813 0 0.7813 0.1709 0.4134 -1 0 1 1 0.7579 0.02063 0.01641 0.03674 0.1139 1 0 0.07826 0.07407 0.03569 0.1889 5.142 1.414 0.2167 0.4579 1 1 0.03827 0.157 0.3734 0.2239 0.9188 2.185 json
t19_x7_u4_b62 19 7 4 62 mod(P,eql(cil(R),D)) 143122 154575092 o2(x,o2(o1(x),x)) true 24983 24983 -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_x7_u4_b63 19 7 4 63 mod(P,min(cil(R),D)) 143123 154575093 o2(x,o2(o1(x),x)) true 24991 24991 -0.7876 0.0752 0.8107 0.167 0.4086 -1 0.3853 1.385 1 1.5 0.0223 0.01617 0.05037 0.1594 1 0.000001492 0.08236 0.09289 0.03593 0.1895 3.763 1.414 0.2303 0.4932 1 1 0.0389 0.1606 0.3797 0.2329 0.9615 2.274 json
t19_x7_u4_b64 19 7 4 64 mod(P,dot(cil(R),D)) 143124 154575094 o2(x,o2(o1(x),x)) true 24999 24999 -0.686 0.1464 0.7281 0.2229 0.4721 -1 0.5661 1.566 1 2.032 0.03958 0.04041 0.09101 -0.01044 1 0.0000286 0.3583 0.2026 0.07172 0.2678 2.943 1.979 0.3589 1.607 1 1 0.0704 0.1724 0.4764 0.3158 0.7734 2.137 json
t19_x7_u4_b65 19 7 4 65 mod(P,dst(cil(R),D)) 143125 154575095 o2(x,o2(o1(x),x)) true 25007 25007 -0.01629 0.4999 0.5822 0.4327 0.6578 -1 1 2 1 4.86 0.03854 0.0384 0.1764 0.001865 1 -0.0004735 0.2756 0.2888 0.04581 0.214 1.213 1.398 0.1778 0.6368 1 1 0.05702 0.1349 0.264 0.1318 0.3116 0.6101 json
t19_x7_u4_b66 19 7 4 66 lrg(P,add(cil(R),D)) 143126 154575096 o2(x,o2(o1(x),x)) true 25015 25015 0.4668 0.5456 0.4668 0.2314 0.481 0 1 1 1 1.72 0.005017 0.0001404 0.01467 0.9456 1 0.000008556 0.008777 0.01177 0.004941 0.07029 4.793 0.9994 0.02229 0.03793 1 1 0.007444 0.03684 0.07788 0.03217 0.1592 0.3366 json
t19_x7_u4_b67 19 7 4 67 lrg(P,sub(cil(R),D)) 143127 154575097 o2(x,o2(o1(x),x)) true 25023 25023 0.4668 0.4955 0.4668 0.2423 0.4922 0 1 1 1 1.318 0.004454 0.0001452 0.008219 0.9368 1 0.000008556 0.008671 0.01026 0.00453 0.0673 8.189 1 0.01898 0.03579 1 1 0.006119 0.02826 0.08725 0.02526 0.1166 0.3601 json
t19_x7_u4_b68 19 7 4 68 lrg(P,mlt(cil(R),D)) 143128 154575098 o2(x,o2(o1(x),x)) true 25031 25031 0.4824 0.5378 0.4824 0.2389 0.4888 0 1 1 1 1.486 0.002093 0.00005267 0.007936 0.9509 1 -0.000002853 0.003286 0.004977 0.002082 0.04563 5.75 0.9994 0.008984 0.01375 1 1 0.003596 0.02222 0.07826 0.01505 0.09301 0.3276 json
t19_x7_u4_b69 19 7 4 69 lrg(P,div(cil(R),D)) 143129 154575099 o2(x,o2(o1(x),x)) true 25039 25039 0.4843 0.655 0.4843 0.2139 0.4625 0 1 1 1 2.264 0.04164 0.000744 0.06698 0.9649 1 0.000005424 0.08119 0.09985 0.0379 0.1947 2.906 0.9997 0.1981 0.3796 1 1 0.04055 0.1299 0.1321 0.1896 0.607 0.6174 json
t19_x7_u4_b70 19 7 4 70 lrg(P,pow(cil(R),D)) 143130 154575100 o2(x,o2(o1(x),x)) true 25047 25047 0.2949 0.4321 0.2949 0.1699 0.4122 0 1 1 1 2.135 0.01441 0.0006271 0.03542 0.9166 1 -0.00004349 0.02703 0.03491 0.01379 0.1174 3.315 1 0.08852 0.1591 1 1 0.01754 0.08023 0.1095 0.1032 0.4723 0.6448 json
t19_x7_u4_b71 19 7 4 71 lrg(P,mod(cil(R),D)) 143131 154575101 o2(x,o2(o1(x),x)) true 25055 25055 0.4688 0.5 0.4688 0.2423 0.4922 0 1 1 1 1.326 0.0003529 0 0.003968 1 1 -4.731e-10 0.00001619 0.0009276 0.0003372 0.01836 4.628 0.1169 0.001457 0.00006684 1 1 0.0009255 0.01214 0.0751 0.00382 0.05012 0.31 json
t19_x7_u4_b72 19 7 4 72 lrg(P,lrg(cil(R),D)) 143132 154575102 o2(x,o2(o1(x),x)) true 25063 25063 0.418 0.4375 0.418 0.2375 0.4873 0 1 1 1 1.276 0.001377 0.00008773 0.004781 0.8802 1 0.000005704 0.002392 0.00366 0.001441 0.03797 7.941 1 0.006166 0.01007 1 1 0.002548 0.01706 0.0812 0.01073 0.07185 0.3419 json
t19_x7_u4_b73 19 7 4 73 lrg(P,eql(cil(R),D)) 143133 154575103 o2(x,o2(o1(x),x)) true 25071 25071 0.4688 0.5 0.4688 0.2423 0.4922 0 1 1 1 1.326 0.0003529 0 0.003968 1 1 -4.731e-10 0.00001619 0.0009276 0.0003372 0.01836 4.628 0.1169 0.001457 0.00006684 1 1 0.0009255 0.01214 0.0751 0.00382 0.05012 0.31 json
t19_x7_u4_b74 19 7 4 74 lrg(P,min(cil(R),D)) 143134 154575104 o2(x,o2(o1(x),x)) true 25079 25079 0.5 0.5625 0.5 0.2365 0.4863 0 1 1 1 1.577 0.00467 0 0.0119 1 1 -4.731e-10 0.008068 0.009787 0.004528 0.06729 5.654 0.9994 0.01975 0.03412 1 1 0.007036 0.03244 0.06598 0.02976 0.1372 0.279 json
t19_x7_u4_b75 19 7 4 75 lrg(P,dot(cil(R),D)) 143135 154575105 o2(x,o2(o1(x),x)) true 25087 25087 0.4976 0.5668 0.4976 0.2361 0.4859 0 1 1 1 1.607 0.001694 0.002258 0.0117 -0.1426 1 -0.000008214 0.008967 0.01118 0.003815 0.06176 5.277 1.413 0.01674 0.03798 1 1 0.005994 0.02834 0.07289 0.02539 0.1201 0.3087 json
t19_x7_u4_b76 19 7 4 76 lrg(P,dst(cil(R),D)) 143136 154575106 o2(x,o2(o1(x),x)) true 25095 25095 0.4199 0.4539 0.4199 0.2358 0.4856 0 1 1 1 1.364 0.0012 0.001197 0.007033 0.001208 1 -0.00001949 0.006478 0.007674 0.002346 0.04844 6.887 1.264 0.01017 0.02747 1 1 0.003505 0.02031 0.08251 0.01487 0.08615 0.3499 json
t19_x7_u4_b77 19 7 4 77 eql(P,add(cil(R),D)) 143137 154575107 o2(x,o2(o1(x),x)) true 25103 25103 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_x7_u4_b78 19 7 4 78 eql(P,sub(cil(R),D)) 143138 154575108 o2(x,o2(o1(x),x)) true 25111 25111 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_x7_u4_b79 19 7 4 79 eql(P,mlt(cil(R),D)) 143139 154575109 o2(x,o2(o1(x),x)) true 25119 25119 0.03516 0.09119 0.03516 0.02431 0.1559 0 0.9997 0.9997 1 0.5835 0.0003631 0.0001053 0.005422 0.5502 1 0.000005704 0.00002431 0.001291 0.0004388 0.02095 3.863 0.1169 0.01927 0.001 1 1 0.001224 0.01595 0.05043 0.05036 0.656 2.074 json
t19_x7_u4_b80 19 7 4 80 eql(P,div(cil(R),D)) 143140 154575110 o2(x,o2(o1(x),x)) true 25127 25127 0.03516 0.09119 0.03516 0.02431 0.1559 0 0.9997 0.9997 1 0.5835 0.0003631 0.0001053 0.005422 0.5502 1 0.000005704 0.00002431 0.001291 0.0004388 0.02095 3.863 0.1169 0.01927 0.001 1 1 0.001224 0.01595 0.05043 0.05036 0.656 2.074 json
t19_x7_u4_b81 19 7 4 81 eql(P,pow(cil(R),D)) 143141 154575111 o2(x,o2(o1(x),x)) true 25135 25135 0.05664 0.1181 0.05664 0.04202 0.205 0 1 1 1 0.7509 0.002348 0.0002233 0.008398 0.8264 1 -0.000008557 0.004136 0.0059 0.002502 0.05002 5.956 1 0.0612 0.09843 1 1 0.003954 0.02709 0.0756 0.0941 0.6446 1.799 json
t19_x7_u4_b82 19 7 4 82 eql(P,mod(cil(R),D)) 143142 154575112 o2(x,o2(o1(x),x)) true 25143 25143 0.03857 0.09314 0.03857 0.02779 0.1667 0 0.9997 0.9997 1 0.5965 0.003566 0.00008854 0.008688 0.9515 1 0.000004991 0.006447 0.008238 0.003579 0.05983 6.887 0.9997 0.1315 0.232 1 1 0.005531 0.02013 0.05291 0.199 0.7244 1.904 json
t19_x7_u4_b83 19 7 4 83 eql(P,lrg(cil(R),D)) 143143 154575113 o2(x,o2(o1(x),x)) true 25151 25151 0.06836 0.119 0.06836 0.05383 0.232 0 1 1 1 0.7583 0.00356 0.0001404 0.009238 0.9241 1 -0.000002853 0.006508 0.008586 0.003617 0.06014 6.51 1 0.06874 0.1209 1 1 0.005687 0.03312 0.08945 0.1057 0.6153 1.662 json
t19_x7_u4_b84 19 7 4 84 eql(P,eql(cil(R),D)) 143144 154575114 o2(x,o2(o1(x),x)) true 25159 25159 0.0625 0.125 0.0625 0.04507 0.2123 0 0.9997 0.9997 1 0.8126 0.0007059 0 0.007934 1 1 -9.461e-10 0.00003241 0.001855 0.0006433 0.02536 3.197 0.1169 0.01566 0.0007193 1 1 0.001851 0.02408 0.06598 0.04107 0.5344 1.464 json
t19_x7_u4_b85 19 7 4 85 eql(P,min(cil(R),D)) 143145 154575115 o2(x,o2(o1(x),x)) true 25167 25167 0.01758 0.04559 0.01758 0.01247 0.1117 0 0.9997 0.9997 1 0.325 0.002222 0.00005267 0.004898 0.9537 1 0.000002852 0.004136 0.005036 0.002251 0.04745 9.686 0.9997 0.1824 0.3318 1 1 0.003206 0.01523 0.02522 0.2572 1.221 2.023 json
t19_x7_u4_b86 19 7 4 86 eql(P,dot(cil(R),D)) 143146 154575116 o2(x,o2(o1(x),x)) true 25175 25175 0.002765 0.01086 0.002765 0.00168 0.04099 0 0.9994 0.9994 1 0.0824 0.00102 0.001026 0.002744 -0.002707 1 0.000005018 0.01207 0.006783 0.002039 0.04515 16.46 1.413 1.218 7.187 1 1 0.001424 0.001477 0.002246 0.8475 0.8789 1.337 json
t19_x7_u4_b87 19 7 4 87 eql(P,dst(cil(R),D)) 143147 154575117 o2(x,o2(o1(x),x)) true 25183 25183 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_x7_u4_b88 19 7 4 88 min(P,add(cil(R),D)) 143148 154575118 o2(x,o2(o1(x),x)) true 25191 25191 -0.2761 0.4007 0.6874 0.5419 0.7362 -1 1 2 1 3.417 0.002087 0.001156 0.03638 0.2872 1 0.000131 0.0003154 0.009549 0.001919 0.04381 1.204 0.1713 0.005985 0.0005821 1 1 0.006504 0.0765 0.2469 0.012 0.1412 0.4557 json
t19_x7_u4_b89 19 7 4 89 min(P,sub(cil(R),D)) 143149 154575119 o2(x,o2(o1(x),x)) true 25199 25199 -0.2589 0.4152 0.6914 0.5555 0.7453 -1 1 2 1 3.392 0.002152 0.001154 0.03673 0.3018 1 -0.0001408 0.0003411 0.009982 0.001958 0.04425 1.205 0.1713 0.005953 0.000614 1 1 0.006576 0.07591 0.2534 0.01184 0.1367 0.4562 json
t19_x7_u4_b90 19 7 4 90 min(P,mlt(cil(R),D)) 143150 154575120 o2(x,o2(o1(x),x)) true 25207 25207 -0.4771 0.1998 0.5136 0.2448 0.4947 -1 0.2729 1.273 1 2.739 0.0007809 0.000097 0.01725 0.779 1 0.00007494 0.00007822 0.00512 0.0005804 0.02409 1.397 0.1169 0.003586 0.0003195 1 1 0.001889 0.02199 0.08218 0.007717 0.08984 0.3358 json
t19_x7_u4_b91 19 7 4 91 min(P,div(cil(R),D)) 143151 154575121 o2(x,o2(o1(x),x)) true 25215 25215 -0.524 0.2023 0.7593 0.4515 0.6719 -1 1 2 1 2.557 0.08087 0.004351 0.08786 0.8979 1 0.00001586 0.1522 0.104 0.07753 0.2784 3.169 2 0.1887 0.3372 1 1 0.09427 0.4322 0.3003 0.2088 0.9572 0.665 json
t19_x7_u4_b92 19 7 4 92 min(P,pow(cil(R),D)) 143152 154575122 o2(x,o2(o1(x),x)) true 25223 25223 -0.07722 0.5 0.8603 0.8199 0.9055 -1 1 2 1 2.582 0.01662 0.000628 0.04165 0.9272 1 -0.00002649 0.02887 0.04202 0.01551 0.1245 2.99 0.9997 0.02104 0.03521 1 1 0.02125 0.09145 0.2478 0.02592 0.1115 0.3023 json
t19_x7_u4_b93 19 7 4 93 min(P,mod(cil(R),D)) 143153 154575123 o2(x,o2(o1(x),x)) true 25231 25231 -0.4351 0.3898 0.5024 0.2781 0.5273 -1 0.3195 1.32 1 2.238 0.00174 0.00003585 0.02165 0.9596 1 -0.000008793 0.003281 0.02465 0.001307 0.03615 1.67 0.1721 0.006386 0.0118 1 1 0.00209 0.01633 0.08651 0.007518 0.05872 0.3111 json
t19_x7_u4_b94 19 7 4 94 min(P,lrg(cil(R),D)) 143154 154575124 o2(x,o2(o1(x),x)) true 25239 25239 -0.1191 0.5 0.8184 0.7541 0.8684 -1 1 2 1 2.959 0.01513 0.0005791 0.0434 0.9263 1 0.00003066 0.0271 0.03666 0.01383 0.1176 2.71 0.9997 0.02083 0.03593 1 1 0.01927 0.09832 0.2514 0.02556 0.1304 0.3334 json
t19_x7_u4_b95 19 7 4 95 min(P,eql(cil(R),D)) 143155 154575125 o2(x,o2(o1(x),x)) true 25247 25247 -0.4688 0 0.4688 0.2423 0.4922 -1 0 1 1 1.406 0.0003529 0 0.003968 1 1 4.731e-10 0.00001619 0.0009276 0.0003372 0.01836 4.628 0.1169 0.001457 0.00006684 1 1 0.0009255 0.01214 0.0751 0.00382 0.05012 0.31 json
t19_x7_u4_b96 19 7 4 96 min(P,min(cil(R),D)) 143156 154575126 o2(x,o2(o1(x),x)) true 25255 25255 -0.5207 0.1107 0.5367 0.2097 0.4579 -1 0.1454 1.145 1 2.701 0.001058 0.00004389 0.0216 0.9204 1 0.0001896 0.0001403 0.007705 0.0006355 0.02521 1.167 0.1105 0.005257 0.0006691 1 1 0.002377 0.02275 0.06753 0.01134 0.1085 0.3221 json
t19_x7_u4_b97 19 7 4 97 min(P,dot(cil(R),D)) 143157 154575127 o2(x,o2(o1(x),x)) true 25263 25263 -0.4817 0.2251 0.5407 0.2491 0.4991 -1 0.4991 1.499 1 3.01 0.0008081 0.0006005 0.02454 0.1474 1 0.0000569 0.000157 0.007344 0.0008065 0.0284 1.157 0.1368 0.005654 0.00063 1 1 0.003008 0.03155 0.0897 0.01208 0.1266 0.36 json
t19_x7_u4_b98 19 7 4 98 min(P,dst(cil(R),D)) 143158 154575128 o2(x,o2(o1(x),x)) true 25271 25271 -0.0346 0.5 0.9029 0.8722 0.9339 -1 1 2 1 2.372 0.001232 0.000473 0.01749 0.4452 1 -0.00006708 0.0002926 0.006113 0.001399 0.0374 2.139 0.2166 0.001955 0.0003354 1 1 0.003159 0.03628 0.243 0.003622 0.0416 0.2786 json
t19_x7_u4_b99 19 7 4 99 dot(P,add(cil(R),D)) 143159 154575129 o2(x,o2(o1(x),x)) true 25279 25279 -0.08894 0.4521 0.8727 0.8248 0.9082 -1 1 2 1 2.664 0.01813 0.02271 0.08919 -0.1122 1 0.000826 0.02698 0.06036 0.03287 0.1813 2.033 1.893 0.04951 0.03271 1 1 0.05411 0.3843 0.7132 0.0656 0.466 0.8647 json
t19_x7_u4_b100 19 7 4 100 dot(P,sub(cil(R),D)) 143160 154575130 o2(x,o2(o1(x),x)) true 25287 25287 0.03345 0.5206 0.875 0.8341 0.9133 -1 1 2 1 2.645 0.01751 0.02215 0.08769 -0.117 1 -0.0008682 0.02485 0.05897 0.03198 0.1788 2.039 1.557 0.04756 0.0298 1 1 0.05193 0.3672 0.7121 0.06226 0.4402 0.8538 json
t19_x7_u4_b101 19 7 4 101 dot(P,mlt(cil(R),D)) 143161 154575131 o2(x,o2(o1(x),x)) true 25295 25295 -0.1158 0.4047 0.4819 0.3468 0.5889 -1 1 2 1 4.653 0.01682 0.01682 0.1374 0.0001065 1 0.001808 0.009416 0.0563 0.01475 0.1215 0.8837 0.816 0.09702 0.02715 1 1 0.04475 0.4117 0.459 0.129 1.187 1.324 json
t19_x7_u4_b102 19 7 4 102 dot(P,div(cil(R),D)) 143162 154575132 o2(x,o2(o1(x),x)) true 25303 25303 -0.09351 0.4439 0.8942 0.8673 0.9313 -1 1 2 1 2.085 0.2487 0.2563 0.2987 -0.01509 1 -0.0005973 1.214 0.5385 0.4158 0.6449 2.159 2.828 0.5823 1.4 1 1 0.5119 1.583 0.9372 0.5903 1.825 1.081 json
t19_x7_u4_b103 19 7 4 103 dot(P,pow(cil(R),D)) 143163 154575133 o2(x,o2(o1(x),x)) true 25311 25311 -0.756 0.1219 0.9958 0.4231 0.6505 -1 1 2 1 0.6121 0.05201 0.05202 0.05376 -0.0001728 1 0 0.2211 0.106 0.1012 0.3181 5.916 2.828 0.2459 0.5226 1 1 0.1299 0.5452 1.022 0.3071 1.289 2.415 json
t19_x7_u4_b104 19 7 4 104 dot(P,mod(cil(R),D)) 143164 154575134 o2(x,o2(o1(x),x)) true 25319 25319 -0.0328 0.4575 0.4384 0.3245 0.5697 -1 1 2 1 4.583 0.03095 0.03534 0.1787 -0.06619 1 -0.00001653 0.1479 0.2418 0.03436 0.1854 1.037 1.328 0.2043 0.4559 1 1 0.04794 0.1711 0.1917 0.1477 0.5274 0.5908 json
t19_x7_u4_b105 19 7 4 105 dot(P,lrg(cil(R),D)) 143165 154575135 o2(x,o2(o1(x),x)) true 25327 25327 0.02424 0.5134 0.9162 0.8929 0.945 -1 1 2 1 2.148 0.03708 0.03598 0.07803 0.01499 1 0.0001705 0.1256 0.09729 0.06697 0.2588 3.317 2.103 0.08182 0.1407 1 1 0.07745 0.3489 0.5004 0.08674 0.3907 0.5604 json
t19_x7_u4_b106 19 7 4 106 dot(P,eql(cil(R),D)) 143166 154575136 o2(x,o2(o1(x),x)) true 25335 25335 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_x7_u4_b107 19 7 4 107 dot(P,min(cil(R),D)) 143167 154575137 o2(x,o2(o1(x),x)) true 25343 25343 -0.1892 0.3747 0.5782 0.4194 0.6476 -1 1 2 1 4.557 0.02211 0.02214 0.161 -0.0004895 1 0.002215 0.01519 0.07678 0.01833 0.1354 0.841 0.7989 0.1055 0.03621 1 1 0.0581 0.4058 0.2618 0.1385 0.9676 0.6242 json
t19_x7_u4_b108 19 7 4 108 dot(P,dot(cil(R),D)) 143168 154575138 o2(x,o2(o1(x),x)) true 25351 25351 -0.09873 0.3887 0.4951 0.3749 0.6123 -1 1 2 1 4.508 0.0219 0.02257 0.1371 -0.01511 1 0.001178 0.02063 0.06652 0.02567 0.1602 1.168 1.397 0.1186 0.05503 1 1 0.06257 0.5045 0.5505 0.1669 1.346 1.468 json
t19_x7_u4_b109 19 7 4 109 dot(P,dst(cil(R),D)) 143169 154575139 o2(x,o2(o1(x),x)) true 25359 25359 0.008428 0.5028 0.9428 0.926 0.9623 -1 1 2 1 1.878 0.001544 0.00151 0.01652 0.01119 1 -0.00004145 0.002125 0.008473 0.002782 0.05275 3.193 0.7757 0.003298 0.002295 1 1 0.005954 0.05821 0.4421 0.00643 0.06286 0.4775 json
t19_x7_u4_b110 19 7 4 110 dst(P,add(cil(R),D)) 143170 154575140 o2(x,o2(o1(x),x)) true 25367 25367 0.9988 1 0.9988 0.0006622 0.02573 0.04515 1 0.9549 1 0.03836 0.00003527 0.00003446 0.0004858 0.01153 0 -6.007e-11 0.00002768 0.0002878 0.0000694 0.00833 17.15 0.2768 0.1053 0.04179 1 1 0.0002268 0.001871 0.002412 0.3425 2.826 3.642 json
t19_x7_u4_b111 19 7 4 111 dst(P,sub(cil(R),D)) 143171 154575141 o2(x,o2(o1(x),x)) true 25375 25375 0.9977 1 0.9977 0.00112 0.03346 0.04459 1 0.9554 1 0.08571 0.00004369 0.0000217 0.0006767 0.3363 0 4.505e-11 0.00001771 0.0002931 0.00006494 0.008059 11.91 0.2245 0.0584 0.01582 1 1 0.0002176 0.002149 0.004082 0.1943 1.919 3.646 json
t19_x7_u4_b112 19 7 4 112 dst(P,mlt(cil(R),D)) 143172 154575142 o2(x,o2(o1(x),x)) true 25383 25383 0.9983 1 0.9983 0.0009221 0.03037 0.04475 1 0.9552 1 0.05656 0.0000245 0.00003384 0.0005532 -0.1601 0 -3.754e-11 0.00001374 0.0002189 0.00005801 0.007616 13.77 0.1609 0.06327 0.0149 1 1 0.0001968 0.002023 0.003357 0.2134 2.194 3.641 json
t19_x7_u4_b113 19 7 4 113 dst(P,div(cil(R),D)) 143173 154575143 o2(x,o2(o1(x),x)) true 25391 25391 -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_x7_u4_b114 19 7 4 114 dst(P,pow(cil(R),D)) 143174 154575144 o2(x,o2(o1(x),x)) true 25399 25399 -0.5 0.25 1 0.75 0.866 -1 1 2 1 0.8113 0.09776 0.09221 0.09419 0.02918 1 0 0.4039 0.19 0.181 0.4255 4.517 2.828 0.2533 0.5385 1 1 0.2204 0.9052 1.642 0.2939 1.207 2.189 json
t19_x7_u4_b115 19 7 4 115 dst(P,mod(cil(R),D)) 143175 154575145 o2(x,o2(o1(x),x)) true 25407 25407 0.9976 1 0.9976 0.001415 0.03762 0.000573 1 0.9994 1 0.06998 0.0000579 0.00008148 0.0007855 -0.1692 1 2.628e-11 0.000217 0.0009599 0.0001389 0.01179 15.01 0.4614 0.09847 0.1533 1 1 0.0003086 0.00262 0.005157 0.218 1.851 3.644 json
t19_x7_u4_b116 19 7 4 116 dst(P,lrg(cil(R),D)) 143176 154575146 o2(x,o2(o1(x),x)) true 25415 25415 0.9982 1 0.9982 0.001101 0.03317 0.000582 1 0.9994 1 0.05143 0.000198 0.00002169 0.0006277 0.8026 1 -2.159e-11 0.0003766 0.0005632 0.0002191 0.0148 23.58 0.9994 0.1996 0.3422 1 1 0.0004482 0.002495 0.004012 0.4073 2.267 3.645 json
t19_x7_u4_b117 19 7 4 117 dst(P,eql(cil(R),D)) 143177 154575147 o2(x,o2(o1(x),x)) true 25423 25423 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_x7_u4_b118 19 7 4 118 dst(P,min(cil(R),D)) 143178 154575148 o2(x,o2(o1(x),x)) true 25431 25431 0.9984 1 0.9984 0.0008458 0.02908 0.04475 1 0.9552 1 0.05489 0.00003157 0.00003197 0.000574 -0.006251 0 -1.126e-11 0.00001965 0.000291 0.00006326 0.007954 13.86 0.1776 0.07512 0.02323 1 1 0.0002114 0.002009 0.003078 0.2499 2.376 3.639 json
t19_x7_u4_b119 19 7 4 119 dst(P,dot(cil(R),D)) 143179 154575149 o2(x,o2(o1(x),x)) true 25439 25439 0.9988 1 0.9988 0.000668 0.02585 0.0006008 1 0.9994 1 0.0399 0.00003654 0.00004558 0.0005551 -0.1101 0 1.502e-11 0.00005001 0.000286 0.0000819 0.00905 16.3 0.2253 0.1229 0.07487 1 1 0.0002626 0.001996 0.002433 0.393 2.988 3.642 json
t19_x7_u4_b120 19 7 4 120 dst(P,dst(cil(R),D)) 143180 154575150 o2(x,o2(o1(x),x)) true 25447 25447 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_x7_u5_b0 19 7 5 0 add(P,add(sgn(R),D)) 143181 154575231 o2(x,o2(o1(x),x)) true 25455 25455 0.006207 0.5031 0.9414 0.923 0.9607 -1 1 2 1 1.923 0.001649 0.001053 0.01608 0.2205 1 -0.00003264 0.0005173 0.005497 0.002444 0.04944 3.074 0.2963 0.002928 0.0005604 1 1 0.007108 0.08151 0.326 0.0077 0.08831 0.3532 json
t19_x7_u5_b1 19 7 5 1 add(P,sub(sgn(R),D)) 143182 154575232 o2(x,o2(o1(x),x)) true 25463 25463 0.005858 0.5014 0.9424 0.9257 0.9621 -1 1 2 1 1.895 0.002434 0.001051 0.01734 0.3967 1 -0.00003295 0.0008442 0.007267 0.003186 0.05645 3.256 0.405 0.003765 0.0009119 1 1 0.008982 0.08941 0.3303 0.009703 0.09658 0.3568 json
t19_x7_u5_b2 19 7 5 2 add(P,mlt(sgn(R),D)) 143183 154575233 o2(x,o2(o1(x),x)) true 25471 25471 -0.001119 0.4993 0.9352 0.9197 0.959 -1 1 2 1 1.892 0.000986 0.0000722 0.01021 0.8635 1 4.945e-8 0.0001178 0.003015 0.0009537 0.03088 3.026 0.1713 0.001151 0.0001281 1 1 0.00282 0.03379 0.2415 0.003066 0.03674 0.2625 json
t19_x7_u5_b3 19 7 5 3 add(P,div(sgn(R),D)) 143184 154575234 o2(x,o2(o1(x),x)) true 25479 25479 0.003827 0.5013 0.9535 0.9376 0.9683 -1 1 2 1 1.775 0.35 0.03693 0.2416 0.8091 1 0.00101 0.8288 0.4086 0.3287 0.5733 2.373 2.828 0.4126 0.884 1 1 0.4221 1.139 1.081 0.4501 1.215 1.153 json
t19_x7_u5_b4 19 7 5 4 add(P,pow(sgn(R),D)) 143185 154575235 o2(x,o2(o1(x),x)) true 25487 25487 -0.9746 0.01172 0.9941 0.04301 0.2074 -1 1 2 1 0.189 0.002839 0.005182 0.005361 -0.2922 1 -1.802e-10 0.01655 0.009482 0.007993 0.0894 16.68 2.828 0.1865 0.3849 1 1 0.002799 0.01579 0.04707 0.06509 0.3672 1.094 json
t19_x7_u5_b5 19 7 5 5 add(P,mod(sgn(R),D)) 143186 154575236 o2(x,o2(o1(x),x)) true 25495 25495 0.0007225 0.499 0.9381 0.9248 0.9617 -1 1 2 1 1.804 0.001778 0.00003178 0.01085 0.9649 1 -0.000005098 0.002776 0.01194 0.001691 0.04112 3.789 0.461 0.001957 0.003001 1 1 0.003021 0.02703 0.238 0.003267 0.02923 0.2574 json
t19_x7_u5_b6 19 7 5 6 add(P,lrg(sgn(R),D)) 143187 154575237 o2(x,o2(o1(x),x)) true 25503 25503 0.06347 0.5253 0.9326 0.9159 0.9571 -1 1 2 1 1.84 0.0009772 0.0002573 0.009837 0.5831 1 -0.00001925 0.0001771 0.002995 0.001138 0.03373 3.429 0.2338 0.001348 0.0001934 1 1 0.003184 0.03819 0.2638 0.003476 0.0417 0.288 json
t19_x7_u5_b7 19 7 5 7 add(P,eql(sgn(R),D)) 143188 154575238 o2(x,o2(o1(x),x)) true 25511 25511 0 0.5 0.9375 0.924 0.9612 -1 1 2 1 1.813 0.0007059 0 0.007937 1 1 0 0.00003235 0.001851 0.0006432 0.02536 3.195 0.1169 0.0007639 0.00003501 1 1 0.001851 0.02449 0.2344 0.002003 0.0265 0.2537 json
t19_x7_u5_b8 19 7 5 8 add(P,min(sgn(R),D)) 143189 154575239 o2(x,o2(o1(x),x)) true 25519 25519 -0.05905 0.475 0.9445 0.9237 0.9611 -1 1 2 1 1.882 0.0009246 0.0002989 0.01065 0.5114 1 -0.00001664 0.0001308 0.002744 0.00111 0.03332 3.13 0.2154 0.001325 0.0001416 1 1 0.003265 0.04159 0.2609 0.003535 0.04503 0.2824 json
t19_x7_u5_b9 19 7 5 9 add(P,dot(sgn(R),D)) 143190 154575240 o2(x,o2(o1(x),x)) true 25527 25527 0.0005357 0.5012 0.9342 0.9157 0.9569 -1 1 2 1 1.953 0.001075 0.0003718 0.01237 0.486 1 0.000001104 0.0002543 0.004054 0.001293 0.03596 2.909 0.2341 0.00158 0.0002777 1 1 0.003829 0.04277 0.239 0.004181 0.0467 0.261 json
t19_x7_u5_b10 19 7 5 10 add(P,dst(sgn(R),D)) 143191 154575241 o2(x,o2(o1(x),x)) true 25535 25535 0.2231 0.6082 0.9399 0.8698 0.9327 -1 1 2 1 1.917 0.000797 0.0001283 0.009821 0.7227 1 -0.00002035 0.0001321 0.002909 0.0008286 0.02879 2.931 0.1773 0.001064 0.0001518 1 1 0.00233 0.02751 0.2322 0.002678 0.03162 0.267 json
t19_x7_u5_b11 19 7 5 11 sub(P,add(sgn(R),D)) 143192 154575242 o2(x,o2(o1(x),x)) true 25543 25543 -0.0001919 0.5033 0.9355 0.9174 0.9578 -1 1 2 1 1.963 0.002415 0.00106 0.01809 0.39 1 0.00002828 0.0008378 0.007373 0.003146 0.05609 3.1 0.405 0.003788 0.0009132 1 1 0.00892 0.08845 0.3269 0.009722 0.09641 0.3563 json
t19_x7_u5_b12 19 7 5 12 sub(P,sub(sgn(R),D)) 143193 154575243 o2(x,o2(o1(x),x)) true 25551 25551 0.0005982 0.5004 0.9348 0.9147 0.9564 -1 1 2 1 2.001 0.001629 0.001063 0.01677 0.2102 1 0.00002738 0.0005199 0.005604 0.00241 0.04909 2.926 0.2963 0.002943 0.0005683 1 1 0.007039 0.08054 0.3225 0.007695 0.08805 0.3526 json
t19_x7_u5_b13 19 7 5 13 sub(P,mlt(sgn(R),D)) 143194 154575244 o2(x,o2(o1(x),x)) true 25559 25559 0.0006366 0.5 0.941 0.9257 0.9621 -1 1 2 1 1.882 0.001019 0.00007561 0.01045 0.8618 1 -1.258e-10 0.0001457 0.003498 0.0009857 0.0314 3.004 0.1713 0.001182 0.0001574 1 1 0.002856 0.0338 0.2452 0.003085 0.03651 0.2649 json
t19_x7_u5_b14 19 7 5 14 sub(P,div(sgn(R),D)) 143195 154575245 o2(x,o2(o1(x),x)) true 25567 25567 -0.000603 0.5001 0.9508 0.9342 0.9665 -1 1 2 1 1.818 0.348 0.03705 0.2411 0.8075 1 -0.00101 0.8227 0.4056 0.3272 0.572 2.373 2.828 0.4122 0.8807 1 1 0.4189 1.144 1.103 0.4484 1.224 1.18 json
t19_x7_u5_b15 19 7 5 15 sub(P,pow(sgn(R),D)) 143196 154575246 o2(x,o2(o1(x),x)) true 25575 25575 -0.9902 0.003906 0.998 0.01707 0.1306 -1 1 2 1 0.07835 0.001282 0.001961 0.002119 -0.2094 1 -1.877e-11 0.006766 0.003832 0.003237 0.0569 26.85 2 0.19 0.3964 1 1 0.00008682 0.0006077 0.01469 0.005086 0.03561 0.8604 json
t19_x7_u5_b16 19 7 5 16 sub(P,mod(sgn(R),D)) 143197 154575247 o2(x,o2(o1(x),x)) true 25583 25583 -0.0004495 0.5014 0.937 0.9232 0.9608 -1 1 2 1 1.827 0.001777 0.00003188 0.01106 0.9647 1 0.000004999 0.002814 0.01238 0.001686 0.04106 3.714 0.461 0.001959 0.003048 1 1 0.003006 0.02685 0.2368 0.003257 0.02908 0.2565 json
t19_x7_u5_b17 19 7 5 17 sub(P,lrg(sgn(R),D)) 143198 154575248 o2(x,o2(o1(x),x)) true 25591 25591 -0.06541 0.4608 0.9287 0.9116 0.9548 -1 1 2 1 1.855 0.0009844 0.0002879 0.01003 0.5475 1 0.00001926 0.0001808 0.003033 0.001171 0.03422 3.413 0.2338 0.001396 0.0001983 1 1 0.00338 0.04008 0.2523 0.003707 0.04397 0.2768 json
t19_x7_u5_b18 19 7 5 18 sub(P,eql(sgn(R),D)) 143199 154575249 o2(x,o2(o1(x),x)) true 25599 25599 0 0.5 0.9375 0.924 0.9612 -1 1 2 1 1.813 0.0007059 0 0.007937 1 1 0 0.00003235 0.001851 0.0006432 0.02536 3.195 0.1169 0.0007639 0.00003501 1 1 0.001851 0.02449 0.2344 0.002003 0.0265 0.2537 json