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
t20_x55_u0_b129 20 55 0 129 sub(R,add(min(P,P),D)) 170700 164634204 o2(x,o2(o2(x,x),x)) true 74007 74007 0.004594 0.4984 0.9361 0.9137 0.9559 -1 1 2 1 2.02 0.000956 0.0003843 0.01199 0.4266 1 -0.00001998 0.0001835 0.003203 0.001197 0.0346 2.886 0.2788 0.001467 0.0002009 1 1 0.003317 0.04196 0.2627 0.003631 0.04593 0.2875 json
t20_x55_u0_b130 20 55 0 130 sub(R,add(dot(P,P),D)) 170701 164634205 o2(x,o2(o2(x,x),x)) true 74015 74015 -0.9933 0.002808 0.9958 0.007543 0.08685 -1 0.9003 1.9 1 0.1148 0.0001659 0.0001266 0.001555 0.1344 1 0 0.00005417 0.000543 0.0002899 0.01703 10.95 0.3078 0.03879 0.007182 1 1 0.0009893 0.01107 0.02757 0.1312 1.468 3.656 json
t20_x55_u0_b131 20 55 0 131 sub(R,add(dst(P,P),D)) 170702 164634206 o2(x,o2(o2(x,x),x)) true 74023 74023 0.009165 0.4978 0.4005 0.2287 0.4782 -1 1 2 1 4.894 0.004393 0.003164 0.07461 0.1626 1 0.00003074 0.0006179 0.01902 0.001989 0.0446 0.5978 0.2561 0.03305 0.002702 1 1 0.01479 0.1717 0.3901 0.06468 0.751 1.706 json
t20_x55_u0_b132 20 55 0 132 sub(R,sub(add(P,P),D)) 170703 164634207 o2(x,o2(o2(x,x),x)) true 74031 74031 -0.005016 0.4968 0.9696 0.9579 0.9787 -1 1 2 1 1.557 0.002072 0.0001647 0.009995 0.8527 1 -0.000008806 0.0006035 0.004717 0.002137 0.04622 4.625 0.4869 0.002335 0.0006301 1 1 0.005642 0.0507 0.3055 0.00589 0.05292 0.3189 json
t20_x55_u0_b133 20 55 0 133 sub(R,sub(sub(P,P),D)) 170704 164634208 o2(x,o2(o2(x,x),x)) true 74039 74039 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
t20_x55_u0_b134 20 55 0 134 sub(R,sub(mlt(P,P),D)) 170705 164634209 o2(x,o2(o2(x,x),x)) true 74047 74047 -0.9186 0.02373 0.9346 0.06781 0.2604 -1 0.9017 1.902 1 1.083 0.001331 0.0003777 0.01239 0.5578 1 -0.000004149 0.0004749 0.004957 0.001554 0.03942 3.183 0.3684 0.02519 0.007003 1 1 0.004242 0.04344 0.1348 0.06256 0.6406 1.987 json
t20_x55_u0_b135 20 55 0 135 sub(R,sub(div(P,P),D)) 170706 164634210 o2(x,o2(o2(x,x),x)) true 74055 74055 -0.8228 0.003952 0.8231 0.07165 0.2677 -1 0.08818 1.088 1 2.486 0.003724 0.001407 0.03616 0.4515 1 0.0000559 0.004479 0.01858 0.003824 0.06184 1.71 0.9742 0.07161 0.06251 1 1 0.008008 0.06346 0.1263 0.1118 0.8856 1.763 json
t20_x55_u0_b136 20 55 0 136 sub(R,sub(pow(P,P),D)) 170707 164634211 o2(x,o2(o2(x,x),x)) true 74063 74063 -0.9793 0.00006104 0.9793 0.01165 0.108 -1 0.00472 1.005 1 0.4175 0.001006 0.000138 0.005553 0.7589 1 -4.881e-11 0.001179 0.00422 0.001113 0.03337 6.008 0.8601 0.0982 0.1012 1 1 0.002186 0.0134 0.02364 0.1876 1.15 2.029 json
t20_x55_u0_b137 20 55 0 137 sub(R,sub(mod(P,P),D)) 170708 164634212 o2(x,o2(o2(x,x),x)) true 74071 74071 -0.1274 0.4291 0.7637 0.6756 0.8219 -1 1 2 1 3.525 0.02389 0.001462 0.0629 0.8846 1 0.00004639 0.0315 0.04486 0.02139 0.1463 2.325 1.974 0.03753 0.04662 1 1 0.04016 0.2708 0.644 0.05945 0.4008 0.9532 json
t20_x55_u0_b138 20 55 0 138 sub(R,sub(lrg(P,P),D)) 170709 164634213 o2(x,o2(o2(x,x),x)) true 74079 74079 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
t20_x55_u0_b139 20 55 0 139 sub(R,sub(eql(P,P),D)) 170710 164634214 o2(x,o2(o2(x,x),x)) true 74087 74087 -0.7947 0.003952 0.7949 0.07675 0.277 -1 0.08818 1.088 1 2.748 0.002267 0.001589 0.039 0.1758 1 0.0000559 0.0009536 0.0154 0.002335 0.04832 1.239 0.2738 0.05023 0.01242 1 1 0.007444 0.07061 0.1422 0.09699 0.92 1.853 json
t20_x55_u0_b140 20 55 0 140 sub(R,sub(min(P,P),D)) 170711 164634215 o2(x,o2(o2(x,x),x)) true 74095 74095 0.004613 0.4966 0.9369 0.9128 0.9554 -1 1 2 1 2.013 0.001754 0.0003857 0.01398 0.6395 1 -0.00002058 0.0004675 0.005718 0.001946 0.04411 3.155 0.3876 0.002345 0.0005122 1 1 0.005271 0.05112 0.2627 0.005775 0.05601 0.2878 json
t20_x55_u0_b141 20 55 0 141 sub(R,sub(dot(P,P),D)) 170712 164634216 o2(x,o2(o2(x,x),x)) true 74103 74103 -0.9934 0.002808 0.9959 0.007539 0.08683 -1 0.9014 1.901 1 0.1103 0.0001647 0.0001271 0.001542 0.129 1 4.13e-11 0.00004932 0.0005296 0.0002891 0.017 11.03 0.2958 0.0387 0.006542 1 1 0.0009908 0.01124 0.02756 0.1314 1.49 3.655 json
t20_x55_u0_b142 20 55 0 142 sub(R,sub(dst(P,P),D)) 170713 164634217 o2(x,o2(o2(x,x),x)) true 74111 74111 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
t20_x55_u0_b143 20 55 0 143 sub(R,mlt(add(P,P),D)) 170714 164634218 o2(x,o2(o2(x,x),x)) true 74119 74119 0.187 0.6087 0.6756 0.5329 0.73 -1 1 2 1 4.26 0.08194 0.002011 0.1919 0.9521 1 -0.0002771 0.03741 0.1115 0.04712 0.2171 1.131 0.9718 0.1575 0.07021 1 1 0.1106 0.7301 0.2911 0.2075 1.37 0.5463 json
t20_x55_u0_b144 20 55 0 144 sub(R,mlt(sub(P,P),D)) 170715 164634219 o2(x,o2(o2(x,x),x)) true 74127 74127 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
t20_x55_u0_b145 20 55 0 145 sub(R,mlt(mlt(P,P),D)) 170716 164634220 o2(x,o2(o2(x,x),x)) true 74135 74135 0.004758 0.5033 0.7834 0.7126 0.8442 -1 1 2 1 3.49 0.1848 0.001364 0.1954 0.9853 1 -0.00002399 0.2509 0.2167 0.1479 0.3846 1.968 2.004 0.2612 0.352 1 1 0.1864 0.8776 0.3009 0.2616 1.231 0.4222 json
t20_x55_u0_b146 20 55 0 146 sub(R,mlt(div(P,P),D)) 170717 164634221 o2(x,o2(o2(x,x),x)) true 74143 74143 -0.1199 0.4315 0.4721 0.3089 0.5558 -1 1 2 1 4.753 0.01717 0.002786 0.07389 0.7208 1 0.00004949 0.02774 0.03559 0.0145 0.1204 1.629 1.929 0.06461 0.0898 1 1 0.02817 0.1983 0.5037 0.09119 0.6421 1.631 json
t20_x55_u0_b147 20 55 0 147 sub(R,mlt(pow(P,P),D)) 170718 164634222 o2(x,o2(o2(x,x),x)) true 74151 74151 -0.1609 0.4277 0.9281 0.8784 0.9372 -1 1 2 1 2.023 0.1573 0.0004648 0.09958 0.9941 1 -0.00002094 0.4003 0.1691 0.1478 0.3845 3.861 2.001 0.1797 0.4557 1 1 0.1205 0.192 0.2694 0.1372 0.2186 0.3067 json
t20_x55_u0_b148 20 55 0 148 sub(R,mlt(mod(P,P),D)) 170719 164634223 o2(x,o2(o2(x,x),x)) true 74159 74159 -0.1167 0.4423 0.611 0.4774 0.6909 -1 1 2 1 4.476 0.03589 0.002299 0.1138 0.8796 1 0.001055 0.03293 0.05861 0.02523 0.1588 1.395 1.943 0.08 0.06898 1 1 0.04264 0.3392 0.7562 0.08933 0.7106 1.584 json
t20_x55_u0_b149 20 55 0 149 sub(R,mlt(lrg(P,P),D)) 170720 164634224 o2(x,o2(o2(x,x),x)) true 74167 74167 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
t20_x55_u0_b150 20 55 0 150 sub(R,mlt(eql(P,P),D)) 170721 164634225 o2(x,o2(o2(x,x),x)) true 74175 74175 0.009165 0.4978 0.4005 0.2287 0.4782 -1 1 2 1 4.894 0.004393 0.003164 0.07461 0.1626 1 0.00003074 0.0006179 0.01902 0.001989 0.0446 0.5978 0.2561 0.03305 0.002702 1 1 0.01479 0.1717 0.3901 0.06468 0.751 1.706 json
t20_x55_u0_b151 20 55 0 151 sub(R,mlt(min(P,P),D)) 170722 164634226 o2(x,o2(o2(x,x),x)) true 74183 74183 0.13 0.5877 0.518 0.3561 0.5967 -1 1 2 1 4.821 0.03083 0.002763 0.1417 0.8355 1 -0.001331 0.00803 0.05876 0.01353 0.1163 0.821 0.5854 0.09434 0.02255 1 1 0.04391 0.3619 0.3563 0.1233 1.017 1.001 json
t20_x55_u0_b152 20 55 0 152 sub(R,mlt(dot(P,P),D)) 170723 164634227 o2(x,o2(o2(x,x),x)) true 74191 74191 0.01587 0.5104 0.8996 0.8661 0.9307 -1 1 2 1 2.416 0.3088 0.0006974 0.2348 0.9955 1 0.000001938 0.4959 0.3392 0.2542 0.5042 2.148 2.006 0.3573 0.5725 1 1 0.3105 1.363 0.1743 0.3585 1.573 0.2012 json
t20_x55_u0_b153 20 55 0 153 sub(R,mlt(dst(P,P),D)) 170724 164634228 o2(x,o2(o2(x,x),x)) true 74199 74199 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
t20_x55_u0_b154 20 55 0 154 sub(R,div(add(P,P),D)) 170725 164634229 o2(x,o2(o2(x,x),x)) true 74207 74207 0.1115 0.5556 0.9634 0.9378 0.9684 -1 1 2 1 1.628 0.414 0.0001996 0.2319 0.999 1 -0.00000519 0.7907 0.4255 0.3606 0.6005 2.589 2.002 0.4417 0.8432 1 1 0.4162 1.701 0.2971 0.4438 1.813 0.3168 json
t20_x55_u0_b155 20 55 0 155 sub(R,div(sub(P,P),D)) 170726 164634230 o2(x,o2(o2(x,x),x)) true 74215 74215 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
t20_x55_u0_b156 20 55 0 156 sub(R,div(mlt(P,P),D)) 170727 164634231 o2(x,o2(o2(x,x),x)) true 74223 74223 -0.00416 0.4969 0.9598 0.9455 0.9723 -1 1 2 1 1.686 0.4188 0.0002151 0.2312 0.999 1 -0.000006752 0.8074 0.4277 0.3654 0.6045 2.614 2.001 0.4432 0.854 1 1 0.4186 1.557 0.2373 0.4427 1.647 0.251 json
t20_x55_u0_b157 20 55 0 157 sub(R,div(div(P,P),D)) 170728 164634232 o2(x,o2(o2(x,x),x)) true 74231 74231 -0.1239 0.4389 0.9242 0.8828 0.9396 -1 1 2 1 2.121 0.2774 0.0003431 0.2147 0.9975 1 0.00000508 0.4532 0.2888 0.2315 0.4812 2.241 2 0.3146 0.5133 1 1 0.316 1.43 0.3487 0.3579 1.619 0.3949 json
t20_x55_u0_b158 20 55 0 158 sub(R,div(pow(P,P),D)) 170729 164634233 o2(x,o2(o2(x,x),x)) true 74239 74239 -0.3305 0.3348 0.9896 0.8768 0.9364 -1 1 2 1 1.124 0.2136 0.00004907 0.1191 0.9995 1 -0.000002719 0.4062 0.2177 0.1996 0.4467 3.751 2 0.2436 0.4633 1 1 0.2235 0.659 0.2369 0.2549 0.7516 0.2702 json
t20_x55_u0_b159 20 55 0 159 sub(R,div(mod(P,P),D)) 170730 164634234 o2(x,o2(o2(x,x),x)) true 74247 74247 -0.1269 0.432 0.7654 0.679 0.824 -1 1 2 1 3.458 0.1538 0.00141 0.1263 0.9818 1 0.001497 0.2864 0.1771 0.1392 0.3732 2.953 2 0.2285 0.4218 1 1 0.09742 0.5368 1.042 0.1435 0.7906 1.534 json
t20_x55_u0_b160 20 55 0 160 sub(R,div(lrg(P,P),D)) 170731 164634235 o2(x,o2(o2(x,x),x)) true 74255 74255 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
t20_x55_u0_b161 20 55 0 161 sub(R,div(eql(P,P),D)) 170732 164634236 o2(x,o2(o2(x,x),x)) true 74263 74263 0.001765 0.5017 0.9134 0.8842 0.9403 -1 1 2 1 2.265 0.3192 0.0003831 0.2465 0.9976 1 0.000001922 0.5223 0.3324 0.2587 0.5086 2.063 2 0.3615 0.5907 1 1 0.3812 1.708 0.03916 0.4311 1.932 0.04429 json
t20_x55_u0_b162 20 55 0 162 sub(R,div(min(P,P),D)) 170733 164634237 o2(x,o2(o2(x,x),x)) true 74271 74271 0.1074 0.5522 0.9463 0.9166 0.9574 -1 1 2 1 1.847 0.3882 0.0002702 0.2322 0.9986 1 -0.000009452 0.7171 0.4028 0.3346 0.5784 2.491 2.001 0.4238 0.7823 1 1 0.3974 1.669 0.2842 0.4335 1.82 0.3101 json
t20_x55_u0_b163 20 55 0 163 sub(R,div(dot(P,P),D)) 170734 164634238 o2(x,o2(o2(x,x),x)) true 74279 74279 0.002861 0.5019 0.9936 0.9915 0.9957 -1 1 2 1 1.138 0.4762 0.000307 0.2461 0.9987 1 -1.502e-11 0.9393 0.4799 0.4159 0.6449 2.621 2.022 0.4805 0.9473 1 1 0.48 1.898 0.07231 0.4841 1.914 0.07293 json
t20_x55_u0_b164 20 55 0 164 sub(R,div(dst(P,P),D)) 170735 164634239 o2(x,o2(o2(x,x),x)) true 74287 74287 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
t20_x55_u0_b165 20 55 0 165 sub(R,pow(add(P,P),D)) 170736 164634240 o2(x,o2(o2(x,x),x)) true 74295 74295 -0.9041 0.01663 0.9137 0.06345 0.2519 -1 0.8289 1.829 1 1.424 0.006611 0.0006006 0.02444 0.8334 1 0.0001696 0.009639 0.01747 0.006617 0.08135 3.328 1.829 0.1137 0.1519 1 1 0.0114 0.06862 0.1155 0.1797 1.081 1.821 json
t20_x55_u0_b166 20 55 0 166 sub(R,pow(sub(P,P),D)) 170737 164634241 o2(x,o2(o2(x,x),x)) true 74303 74303 -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
t20_x55_u0_b167 20 55 0 167 sub(R,pow(mlt(P,P),D)) 170738 164634242 o2(x,o2(o2(x,x),x)) true 74311 74311 -0.8789 0.01514 0.8871 0.0703 0.2651 -1 0.8288 1.829 1 1.772 0.01159 0.0008617 0.04118 0.8616 1 0.001094 0.01563 0.03643 0.01076 0.1037 2.52 1.829 0.1772 0.2223 1 1 0.01774 0.08947 0.1278 0.2523 1.273 1.818 json
t20_x55_u0_b168 20 55 0 168 sub(R,pow(div(P,P),D)) 170739 164634243 o2(x,o2(o2(x,x),x)) true 74319 74319 -0.8263 0 0.8263 0.06765 0.2601 -1 -0.01936 0.9806 1 2.46 0.003007 0.001408 0.03111 0.3621 1 0.0000876 0.004236 0.01586 0.003446 0.0587 1.887 0.9432 0.06527 0.06262 1 1 0.006723 0.05535 0.1242 0.09938 0.8182 1.836 json
t20_x55_u0_b169 20 55 0 169 sub(R,pow(pow(P,P),D)) 170740 164634244 o2(x,o2(o2(x,x),x)) true 74327 74327 -0.947 0.002548 0.9474 0.02986 0.1728 -1 0.2422 1.242 1 0.9286 0.003139 0.0003886 0.01581 0.7796 1 0.000004922 0.004214 0.01313 0.003276 0.05723 3.619 0.8291 0.1181 0.1411 1 1 0.007219 0.03579 0.06154 0.2417 1.198 2.061 json
t20_x55_u0_b170 20 55 0 170 sub(R,pow(mod(P,P),D)) 170741 164634245 o2(x,o2(o2(x,x),x)) true 74335 74335 -0.9189 0.02486 0.9331 0.06781 0.2604 -1 0.9556 1.956 1 1.067 0.009655 0.000365 0.01967 0.9271 1 0.000008669 0.01754 0.02046 0.00963 0.09813 4.989 1.956 0.1478 0.2587 1 1 0.01313 0.06991 0.1319 0.1937 1.031 1.945 json
t20_x55_u0_b171 20 55 0 171 sub(R,pow(lrg(P,P),D)) 170742 164634246 o2(x,o2(o2(x,x),x)) true 74343 74343 -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
t20_x55_u0_b172 20 55 0 172 sub(R,pow(eql(P,P),D)) 170743 164634247 o2(x,o2(o2(x,x),x)) true 74351 74351 -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
t20_x55_u0_b173 20 55 0 173 sub(R,pow(min(P,P),D)) 170744 164634248 o2(x,o2(o2(x,x),x)) true 74359 74359 -0.8947 0.01361 0.9026 0.06347 0.2519 -1 0.8288 1.829 1 1.588 0.005958 0.0006904 0.02384 0.7923 1 0.00002921 0.009221 0.01561 0.006081 0.07798 3.272 1.829 0.1047 0.1453 1 1 0.01049 0.06422 0.1182 0.1652 1.012 1.862 json
t20_x55_u0_b174 20 55 0 174 sub(R,pow(dot(P,P),D)) 170745 164634249 o2(x,o2(o2(x,x),x)) true 74367 74367 -0.9243 0.004349 0.9259 0.04081 0.202 -1 0.8285 1.829 1 1.301 0.009456 0.0007084 0.03771 0.8606 1 0.0009826 0.0103 0.03561 0.008744 0.09351 2.479 1.829 0.2491 0.2524 1 1 0.01434 0.06413 0.08032 0.3514 1.571 1.968 json
t20_x55_u0_b175 20 55 0 175 sub(R,pow(dst(P,P),D)) 170746 164634250 o2(x,o2(o2(x,x),x)) true 74375 74375 -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
t20_x55_u0_b176 20 55 0 176 sub(R,mod(add(P,P),D)) 170747 164634251 o2(x,o2(o2(x,x),x)) true 74383 74383 0.009468 0.496 0.4239 0.2527 0.5027 -1 1 2 1 4.931 0.01076 0.003149 0.09681 0.5473 1 0.00002708 0.02064 0.1108 0.004542 0.06739 0.6962 0.405 0.05506 0.08169 1 1 0.01771 0.1664 0.3981 0.0701 0.6586 1.575 json
t20_x55_u0_b177 20 55 0 177 sub(R,mod(sub(P,P),D)) 170748 164634252 o2(x,o2(o2(x,x),x)) true 74391 74391 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
t20_x55_u0_b178 20 55 0 178 sub(R,mod(mlt(P,P),D)) 170749 164634253 o2(x,o2(o2(x,x),x)) true 74399 74399 -0.1176 0.4047 0.4114 0.2252 0.4745 -1 0.9806 1.981 1 4.849 0.01097 0.003148 0.09706 0.554 1 0.0002766 0.02118 0.1105 0.004695 0.06852 0.706 0.4139 0.06269 0.09406 1 1 0.0178 0.1644 0.3946 0.07905 0.7298 1.752 json
t20_x55_u0_b179 20 55 0 179 sub(R,mod(div(P,P),D)) 170750 164634254 o2(x,o2(o2(x,x),x)) true 74407 74407 -0.2565 0.3319 0.4897 0.2749 0.5243 -1 0.9682 1.968 1 4.643 0.01944 0.002768 0.08155 0.7508 1 0.0000728 0.03559 0.07867 0.01556 0.1248 1.53 1.943 0.08079 0.1295 1 1 0.02866 0.183 0.4503 0.1043 0.6655 1.638 json
t20_x55_u0_b180 20 55 0 180 sub(R,mod(pow(P,P),D)) 170751 164634255 o2(x,o2(o2(x,x),x)) true 74415 74415 -0.5788 0.1812 0.7127 0.2925 0.5408 -1 1 2 1 3.284 0.02791 0.001469 0.07121 0.9 1 -0.004046 0.06852 0.09445 0.02432 0.1559 2.19 1.829 0.1005 0.2343 1 1 0.01482 0.1025 0.2766 0.05067 0.3503 0.9456 json
t20_x55_u0_b181 20 55 0 181 sub(R,mod(mod(P,P),D)) 170752 164634256 o2(x,o2(o2(x,x),x)) true 74423 74423 -0.1197 0.4318 0.4805 0.3165 0.5626 -1 1 2 1 4.766 0.01939 0.002783 0.08019 0.749 1 0.00004824 0.03688 0.08251 0.01574 0.1255 1.565 1.943 0.07005 0.1165 1 1 0.02706 0.1873 0.51 0.08549 0.5919 1.611 json
t20_x55_u0_b182 20 55 0 182 sub(R,mod(lrg(P,P),D)) 170753 164634257 o2(x,o2(o2(x,x),x)) true 74431 74431 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
t20_x55_u0_b183 20 55 0 183 sub(R,mod(eql(P,P),D)) 170754 164634258 o2(x,o2(o2(x,x),x)) true 74439 74439 -0.1455 0.3853 0.4185 0.2262 0.4756 -1 0.9806 1.981 1 4.846 0.007096 0.003144 0.08439 0.3859 1 0.00005735 0.008563 0.07158 0.003118 0.05584 0.6617 0.316 0.04526 0.03785 1 1 0.01626 0.17 0.3855 0.07188 0.7512 1.704 json
t20_x55_u0_b184 20 55 0 184 sub(R,mod(min(P,P),D)) 170755 164634259 o2(x,o2(o2(x,x),x)) true 74447 74447 0.009314 0.498 0.4236 0.2526 0.5026 -1 1 2 1 4.934 0.0101 0.003152 0.09426 0.5244 1 0.00002679 0.01776 0.1013 0.00437 0.06611 0.7013 0.4281 0.05248 0.07032 1 1 0.01741 0.1679 0.3961 0.06894 0.6649 1.568 json
t20_x55_u0_b185 20 55 0 185 sub(R,mod(dot(P,P),D)) 170756 164634260 o2(x,o2(o2(x,x),x)) true 74455 74455 -0.1237 0.4021 0.4155 0.228 0.4775 -1 0.9806 1.981 1 4.858 0.01084 0.003184 0.09696 0.5459 1 0.00001911 0.02156 0.1115 0.004623 0.06799 0.7012 0.5063 0.06152 0.09456 1 1 0.01762 0.1695 0.3977 0.07728 0.7433 1.744 json
t20_x55_u0_b186 20 55 0 186 sub(R,mod(dst(P,P),D)) 170757 164634261 o2(x,o2(o2(x,x),x)) true 74463 74463 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
t20_x55_u0_b187 20 55 0 187 sub(R,lrg(add(P,P),D)) 170758 164634262 o2(x,o2(o2(x,x),x)) true 74471 74471 -0.3932 0.2587 0.6034 0.3194 0.5652 -1 0.9693 1.969 1 4.31 0.004882 0.002404 0.05232 0.3402 1 0.00007191 0.005129 0.01918 0.004547 0.06744 1.289 1.014 0.02281 0.01606 1 1 0.01341 0.1295 0.3138 0.04197 0.4055 0.9822 json
t20_x55_u0_b188 20 55 0 188 sub(R,lrg(sub(P,P),D)) 170759 164634263 o2(x,o2(o2(x,x),x)) true 74479 74479 -0.4204 0.201 0.5662 0.2506 0.5006 -1 0.9804 1.98 1 4.386 0.0477 0.002539 0.1158 0.8989 1 0.0001124 0.08414 0.1109 0.03684 0.1919 1.658 1.023 0.2005 0.3357 1 1 0.05898 0.2859 0.2878 0.2353 1.141 1.149 json
t20_x55_u0_b189 20 55 0 189 sub(R,lrg(mlt(P,P),D)) 170760 164634264 o2(x,o2(o2(x,x),x)) true 74487 74487 -0.7759 0.0119 0.7838 0.08964 0.2994 -1 0.8288 1.829 1 2.881 0.003873 0.001654 0.03724 0.4015 1 0.00008499 0.005205 0.01776 0.00414 0.06434 1.728 1.014 0.06165 0.05807 1 1 0.009804 0.0811 0.1752 0.1094 0.9047 1.954 json
t20_x55_u0_b190 20 55 0 190 sub(R,lrg(div(P,P),D)) 170761 164634265 o2(x,o2(o2(x,x),x)) true 74495 74495 -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
t20_x55_u0_b191 20 55 0 191 sub(R,lrg(pow(P,P),D)) 170762 164634266 o2(x,o2(o2(x,x),x)) true 74503 74503 -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
t20_x55_u0_b192 20 55 0 192 sub(R,lrg(mod(P,P),D)) 170763 164634267 o2(x,o2(o2(x,x),x)) true 74511 74511 -0.4275 0.2199 0.6001 0.2871 0.5359 -1 0.9693 1.969 1 4.287 0.02691 0.002382 0.08463 0.8373 1 0.00007133 0.04526 0.06604 0.02213 0.1488 1.758 1.024 0.102 0.1576 1 1 0.04435 0.2458 0.3459 0.1545 0.8562 1.205 json
t20_x55_u0_b193 20 55 0 193 sub(R,lrg(lrg(P,P),D)) 170764 164634268 o2(x,o2(o2(x,x),x)) true 74519 74519 -0.4204 0.201 0.5662 0.2506 0.5006 -1 0.9804 1.98 1 4.386 0.0477 0.002539 0.1158 0.8989 1 0.0001124 0.08414 0.1109 0.03684 0.1919 1.658 1.023 0.2005 0.3357 1 1 0.05898 0.2859 0.2878 0.2353 1.141 1.149 json
t20_x55_u0_b194 20 55 0 194 sub(R,lrg(eql(P,P),D)) 170765 164634269 o2(x,o2(o2(x,x),x)) true 74527 74527 -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
t20_x55_u0_b195 20 55 0 195 sub(R,lrg(min(P,P),D)) 170766 164634270 o2(x,o2(o2(x,x),x)) true 74535 74535 -0.3932 0.2587 0.6034 0.3194 0.5652 -1 0.9693 1.969 1 4.31 0.004882 0.002404 0.05232 0.3402 1 0.00007191 0.005129 0.01918 0.004547 0.06744 1.289 1.014 0.02281 0.01606 1 1 0.01341 0.1295 0.3138 0.04197 0.4055 0.9822 json
t20_x55_u0_b196 20 55 0 196 sub(R,lrg(dot(P,P),D)) 170767 164634271 o2(x,o2(o2(x,x),x)) true 74543 74543 -0.7963 0.00148 0.7976 0.07494 0.2737 -1 0.8285 1.829 1 2.734 0.001712 0.001631 0.03366 0.02423 1 0.0000876 0.001104 0.01293 0.00221 0.04701 1.396 0.9995 0.0446 0.01474 1 1 0.00659 0.06602 0.1494 0.08794 0.8809 1.994 json
t20_x55_u0_b197 20 55 0 197 sub(R,lrg(dst(P,P),D)) 170768 164634272 o2(x,o2(o2(x,x),x)) true 74551 74551 -0.4204 0.201 0.5662 0.2506 0.5006 -1 0.9804 1.98 1 4.386 0.0477 0.002539 0.1158 0.8989 1 0.0001124 0.08414 0.1109 0.03684 0.1919 1.658 1.023 0.2005 0.3357 1 1 0.05898 0.2859 0.2878 0.2353 1.141 1.149 json
t20_x55_u0_b198 20 55 0 198 sub(R,eql(add(P,P),D)) 170769 164634273 o2(x,o2(o2(x,x),x)) true 74559 74559 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
t20_x55_u0_b199 20 55 0 199 sub(R,eql(sub(P,P),D)) 170770 164634274 o2(x,o2(o2(x,x),x)) true 74567 74567 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
t20_x55_u0_b200 20 55 0 200 sub(R,eql(mlt(P,P),D)) 170771 164634275 o2(x,o2(o2(x,x),x)) true 74575 74575 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
t20_x56_u0_b0 20 56 0 0 add(R,add(add(P,P),R)) 170772 164674476 o2(x,o2(o2(x,x),x)) true 74583 74583 -0.001478 0.4974 0.9764 0.9673 0.9835 -1 1 2 1 1.478 0.002361 0.0006801 0.01107 0.5527 1 -0.0000308 0.0008848 0.005056 0.002918 0.05402 4.88 0.6047 0.003144 0.0009148 1 1 0.007737 0.07709 0.3698 0.007999 0.0797 0.3823 json
t20_x56_u0_b1 20 56 0 1 add(R,add(sub(P,P),R)) 170773 164674477 o2(x,o2(o2(x,x),x)) true 74591 74591 0.01372 0.4984 0.659 0.5457 0.7387 -1 1 2 1 4.408 0.008726 0.009756 0.09338 -0.05568 1 0.00002908 0.003164 0.02873 0.009763 0.09881 1.058 0.4602 0.03387 0.005798 1 1 0.03624 0.4079 0.9797 0.06641 0.7475 1.795 json
t20_x56_u0_b2 20 56 0 2 add(R,add(mlt(P,P),R)) 170774 164674478 o2(x,o2(o2(x,x),x)) true 74599 74599 0.909 0.9569 0.963 0.1236 0.3516 -1 1 2 1 0.8552 0.002511 0.001144 0.01455 0.374 1 -0.00006426 0.0009944 0.006113 0.003445 0.05869 4.032 0.5495 0.02957 0.008044 1 1 0.008376 0.08533 0.2516 0.06775 0.6903 2.035 json
t20_x56_u0_b3 20 56 0 3 add(R,add(div(P,P),R)) 170775 164674479 o2(x,o2(o2(x,x),x)) true 74607 74607 0.4126 0.7415 0.7739 0.5274 0.7263 -1 1 2 1 3.431 0.02985 0.005126 0.06634 0.7069 1 -0.00007872 0.05388 0.04849 0.03057 0.1748 2.635 2.023 0.06631 0.1022 1 1 0.05021 0.3015 0.8409 0.0952 0.5716 1.594 json
t20_x56_u0_b4 20 56 0 4 add(R,add(pow(P,P),R)) 170776 164674480 o2(x,o2(o2(x,x),x)) true 74615 74615 -0.02639 0.4893 0.9811 0.9753 0.9876 -1 1 2 1 1.329 0.009602 0.0004506 0.01064 0.9103 1 -0.0000349 0.01827 0.01319 0.009943 0.09971 9.375 2 0.01031 0.01873 1 1 0.01481 0.07745 0.3226 0.01518 0.07941 0.3308 json
t20_x56_u0_b5 20 56 0 5 add(R,add(mod(P,P),R)) 170777 164674481 o2(x,o2(o2(x,x),x)) true 74623 74623 -0.1256 0.434 0.8505 0.7863 0.8868 -1 1 2 1 2.898 0.03193 0.004784 0.07206 0.7394 1 0.00004061 0.04187 0.04938 0.03154 0.1776 2.464 2.017 0.04669 0.05324 1 1 0.05848 0.4386 0.9836 0.07436 0.5578 1.251 json
t20_x56_u0_b6 20 56 0 6 add(R,add(lrg(P,P),R)) 170778 164674482 o2(x,o2(o2(x,x),x)) true 74631 74631 0.01372 0.4984 0.659 0.5457 0.7387 -1 1 2 1 4.408 0.008726 0.009756 0.09338 -0.05568 1 0.00002908 0.003164 0.02873 0.009763 0.09881 1.058 0.4602 0.03387 0.005798 1 1 0.03624 0.4079 0.9797 0.06641 0.7475 1.795 json
t20_x56_u0_b7 20 56 0 7 add(R,add(eql(P,P),R)) 170779 164674483 o2(x,o2(o2(x,x),x)) true 74639 74639 0.6143 0.8457 0.7403 0.2767 0.526 -0.9977 1 1.998 1 3.302 0.00496 0.005854 0.06068 -0.08261 1 -0.0001222 0.002674 0.02409 0.007134 0.08446 1.392 0.4459 0.03909 0.009665 1 1 0.01988 0.2027 0.452 0.07186 0.7327 1.634 json
t20_x56_u0_b8 20 56 0 8 add(R,add(min(P,P),R)) 170780 164674484 o2(x,o2(o2(x,x),x)) true 74647 74647 0.01261 0.507 0.9466 0.9272 0.9629 -1 1 2 1 1.912 0.002445 0.001452 0.0176 0.2549 1 -0.00004245 0.001018 0.007264 0.003586 0.05989 3.404 0.5071 0.004203 0.001098 1 1 0.009147 0.09627 0.3741 0.009865 0.1038 0.4035 json
t20_x56_u0_b9 20 56 0 9 add(R,add(dot(P,P),R)) 170781 164674485 o2(x,o2(o2(x,x),x)) true 74655 74655 0.997 0.9991 0.9973 0.002215 0.04707 -0.2898 1 1.29 1 0.07397 0.0001323 0.0001102 0.001154 0.09116 1 2.628e-11 0.000122 0.0008087 0.000241 0.01552 13.45 0.412 0.1094 0.05505 1 1 0.0007687 0.006073 0.007841 0.347 2.741 3.539 json
t20_x56_u0_b10 20 56 0 10 add(R,add(dst(P,P),R)) 170782 164674486 o2(x,o2(o2(x,x),x)) true 74663 74663 0.01372 0.4984 0.659 0.5457 0.7387 -1 1 2 1 4.408 0.008726 0.009756 0.09338 -0.05568 1 0.00002908 0.003164 0.02873 0.009763 0.09881 1.058 0.4602 0.03387 0.005798 1 1 0.03624 0.4079 0.9797 0.06641 0.7475 1.795 json
t20_x56_u0_b11 20 56 0 11 add(R,sub(add(P,P),R)) 170783 164674487 o2(x,o2(o2(x,x),x)) true 74671 74671 0 0.5 0.9569 0.9494 0.9744 -1 1 2 1 1.488 0.001303 0 0.007937 1 1 0 0.0002681 0.003586 0.001241 0.03522 4.438 0.2265 0.001373 0.0002824 1 1 0.003279 0.03268 0.2686 0.003454 0.03442 0.2829 json
t20_x56_u0_b12 20 56 0 12 add(R,sub(sub(P,P),R)) 170784 164674488 o2(x,o2(o2(x,x),x)) true 74679 74679 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
t20_x56_u0_b13 20 56 0 13 add(R,sub(mlt(P,P),R)) 170785 164674489 o2(x,o2(o2(x,x),x)) true 74687 74687 0.9375 1 0.9375 0.04507 0.2123 0.000291 1 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
t20_x56_u0_b14 20 56 0 14 add(R,sub(div(P,P),R)) 170786 164674490 o2(x,o2(o2(x,x),x)) true 74695 74695 0.75 0.875 1 0.4375 0.6614 -1 1 2 1 0.5436 0.03175 0 0.01587 1 1 7.569e-9 0.06349 0.03175 0.03149 0.1774 11.18 2 0.07256 0.1451 1 1 0.04211 0.1684 0.6737 0.09624 0.385 1.54 json
t20_x56_u0_b15 20 56 0 15 add(R,sub(pow(P,P),R)) 170787 164674491 o2(x,o2(o2(x,x),x)) true 74703 74703 0 0.5 1 1 1 -1 1 2 1 1 0.01587 0 0.007937 1 1 0 0.03175 0.01587 0.01581 0.1257 15.84 2 0.01587 0.03175 1 1 0.02105 0.08421 0.3368 0.02105 0.08421 0.3368 json
t20_x56_u0_b16 20 56 0 16 add(R,sub(mod(P,P),R)) 170788 164674492 o2(x,o2(o2(x,x),x)) true 74711 74711 -0.125 0.3125 0.6255 0.5899 0.768 -1 1 2 1 2.418 0.01617 0 0.03866 1 1 0 0.02037 0.03799 0.01467 0.1211 3.133 1 0.02741 0.03454 1 1 0.02392 0.1466 0.4242 0.04055 0.2485 0.7191 json
t20_x56_u0_b17 20 56 0 17 add(R,sub(lrg(P,P),R)) 170789 164674493 o2(x,o2(o2(x,x),x)) true 74719 74719 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
t20_x56_u0_b18 20 56 0 18 add(R,sub(eql(P,P),R)) 170790 164674494 o2(x,o2(o2(x,x),x)) true 74727 74727 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
t20_x56_u0_b19 20 56 0 19 add(R,sub(min(P,P),R)) 170791 164674495 o2(x,o2(o2(x,x),x)) true 74735 74735 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
t20_x56_u0_b20 20 56 0 20 add(R,sub(dot(P,P),R)) 170792 164674496 o2(x,o2(o2(x,x),x)) true 74743 74743 0.9967 1 0.9967 0.002206 0.04697 0.0005821 1 0.9994 1 0.08493 0.00004482 0.00004482 0.0007972 -5.682e-7 0 -1.502e-11 0.00002627 0.0002729 0.00008892 0.00943 11.83 0.1653 0.04063 0.01191 1 1 0.0003021 0.00348 0.008043 0.1369 1.578 3.646 json
t20_x56_u0_b21 20 56 0 21 add(R,sub(dst(P,P),R)) 170793 164674497 o2(x,o2(o2(x,x),x)) true 74751 74751 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
t20_x56_u0_b22 20 56 0 22 add(R,mlt(add(P,P),R)) 170794 164674498 o2(x,o2(o2(x,x),x)) true 74759 74759 -0.06508 0.4667 0.8471 0.7929 0.8904 -1 1 2 1 2.925 0.03166 0.03657 0.1021 -0.0719 1 -0.00002756 0.07304 0.08462 0.05782 0.2405 2.356 2.013 0.08605 0.09211 1 1 0.09108 0.6347 1.348 0.1149 0.8004 1.7 json
t20_x56_u0_b23 20 56 0 23 add(R,mlt(sub(P,P),R)) 170795 164674499 o2(x,o2(o2(x,x),x)) true 74767 74767 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
t20_x56_u0_b24 20 56 0 24 add(R,mlt(mlt(P,P),R)) 170796 164674500 o2(x,o2(o2(x,x),x)) true 74775 74775 -0.001209 0.4978 0.8905 0.8537 0.9239 -1 1 2 1 2.511 0.04957 0.06106 0.1058 -0.1039 1 0.00009144 0.2051 0.1257 0.09947 0.3154 2.982 2.828 0.1296 0.2402 1 1 0.1197 0.7018 1.44 0.1402 0.8221 1.687 json
t20_x56_u0_b25 20 56 0 25 add(R,mlt(div(P,P),R)) 170797 164674501 o2(x,o2(o2(x,x),x)) true 74783 74783 -0.1182 0.4325 0.6953 0.5809 0.7622 -1 1 2 1 4.144 0.0245 0.008569 0.09056 0.4817 1 0.00003845 0.03761 0.04492 0.02486 0.1577 1.741 2.017 0.05692 0.06474 1 1 0.0503 0.4057 0.9787 0.08659 0.6983 1.685 json
t20_x56_u0_b26 20 56 0 26 add(R,mlt(pow(P,P),R)) 170798 164674502 o2(x,o2(o2(x,x),x)) true 74791 74791 -0.5352 0.2328 0.964 0.6653 0.8156 -1 1 2 1 1.393 0.0458 0.04667 0.06247 -0.009484 1 0.00002836 0.2133 0.09661 0.08857 0.2976 4.764 2.828 0.139 0.3205 1 1 0.0867 0.449 0.9099 0.1303 0.6749 1.368 json
t20_x56_u0_b27 20 56 0 27 add(R,mlt(mod(P,P),R)) 170799 164674503 o2(x,o2(o2(x,x),x)) true 74799 74799 -0.1899 0.3978 0.6508 0.5095 0.7138 -1 1 2 1 4.194 0.02326 0.01176 0.0865 0.3284 1 0.00004995 0.03812 0.05327 0.02753 0.1659 1.918 1.943 0.06873 0.07482 1 1 0.03793 0.2934 0.7556 0.07445 0.5759 1.483 json