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
t18_x20_u0_b14 18 20 0 14 add(P,sub(R,div(P,R))) 124400 146978852 o2(x,o2(x,o2(x,x))) true 23607 23607 0.1045 0.555 0.9235 0.8856 0.9411 -1 1 2 1 2.145 0.05775 0.07145 0.1076 -0.106 1 0.000009868 0.2543 0.1467 0.1177 0.343 3.189 2.828 0.1459 0.2871 1 1 0.1374 0.7118 1.558 0.1551 0.8037 1.759 json
t18_x20_u0_b15 18 20 0 15 add(P,sub(R,pow(P,R))) 124401 146978853 o2(x,o2(x,o2(x,x))) true 23615 23615 -0.1316 0.4434 0.9671 0.9361 0.9675 -1 1 2 1 1.611 0.008098 0.002961 0.012 0.4645 1 -0.00001029 0.02204 0.01581 0.01091 0.1045 8.708 2.541 0.01181 0.02355 1 1 0.01492 0.07124 0.3247 0.01593 0.0761 0.3469 json
t18_x20_u0_b16 18 20 0 16 add(P,sub(R,mod(P,R))) 124402 146978854 o2(x,o2(x,o2(x,x))) true 23623 23623 0.005469 0.4981 0.9328 0.9094 0.9536 -1 1 2 1 2.054 0.001128 0.0004483 0.01209 0.4312 1 -0.00002244 0.0002642 0.003931 0.00143 0.03781 3.127 0.3012 0.001733 0.0002906 1 1 0.003777 0.04446 0.263 0.004153 0.04889 0.2892 json
t18_x20_u0_b17 18 20 0 17 add(P,sub(R,lrg(P,R))) 124403 146978855 o2(x,o2(x,o2(x,x))) true 23631 23631 -0.07268 0.4704 0.9184 0.8844 0.9404 -1 1 2 1 2.209 0.001422 0.0008093 0.01569 0.2747 1 -0.00002014 0.0004098 0.005337 0.001985 0.04455 2.839 0.312 0.002523 0.0004633 1 1 0.005639 0.06372 0.2826 0.006376 0.07204 0.3195 json
t18_x20_u0_b18 18 20 0 18 add(P,sub(R,eql(P,R))) 124404 146978856 o2(x,o2(x,o2(x,x))) true 23639 23639 0.003757 0.4974 0.9428 0.9208 0.9596 -1 1 2 1 1.952 0.001169 0.000358 0.0111 0.5311 1 -0.00002042 0.0002765 0.003741 0.001403 0.03746 3.374 0.312 0.001658 0.0003002 1 1 0.003726 0.04331 0.2691 0.004046 0.04703 0.2923 json
t18_x20_u0_b19 18 20 0 19 add(P,sub(R,min(P,R))) 124405 146978857 o2(x,o2(x,o2(x,x))) true 23647 23647 0.5036 0.7759 0.6706 0.3236 0.5688 -0.9989 1 1.999 1 3.628 0.00143 0.00164 0.03331 -0.06845 1 0.00002708 0.0001727 0.007555 0.00196 0.04427 1.329 0.2301 0.009488 0.0005337 1 1 0.006099 0.0777 0.2397 0.01885 0.2402 0.7408 json
t18_x20_u0_b20 18 20 0 20 add(P,sub(R,dot(P,R))) 124406 146978858 o2(x,o2(x,o2(x,x))) true 23655 23655 0.06189 0.5327 0.9133 0.8792 0.9377 -1 1 2 1 2.312 0.01199 0.01722 0.05681 -0.1788 1 0.0000688 0.02191 0.04015 0.02598 0.1612 2.837 1.814 0.03323 0.02492 1 1 0.04141 0.3291 0.7426 0.04709 0.3743 0.8446 json
t18_x20_u0_b21 18 20 0 21 add(P,sub(R,dst(P,R))) 124407 146978859 o2(x,o2(x,o2(x,x))) true 23663 23663 -0.8257 0.08374 0.9231 0.2161 0.4649 -1 1 2 1 1.395 0.002055 0.002016 0.02121 0.009646 1 -0.00001079 0.0008093 0.0074 0.003619 0.06016 2.836 0.4036 0.01884 0.003745 1 1 0.009445 0.1049 0.3169 0.0437 0.4855 1.466 json
t18_x20_u0_b22 18 20 0 22 add(P,mlt(R,add(P,R))) 124408 146978860 o2(x,o2(x,o2(x,x))) true 23671 23671 0.08338 0.5457 0.9142 0.8797 0.9379 -1 1 2 1 2.239 0.00191 0.00186 0.01898 0.01316 1 0.000001203 0.001429 0.008771 0.00341 0.0584 3.076 0.7384 0.004286 0.001625 1 1 0.007022 0.06767 0.2965 0.007982 0.07692 0.3371 json
t18_x20_u0_b23 18 20 0 23 add(P,mlt(R,sub(P,R))) 124409 146978861 o2(x,o2(x,o2(x,x))) true 23679 23679 -0.0708 0.4607 0.9172 0.8846 0.9406 -1 1 2 1 2.25 0.001761 0.001728 0.01841 0.009587 1 -0.0000292 0.001386 0.009049 0.003148 0.05611 3.048 0.629 0.003943 0.001567 1 1 0.005863 0.05781 0.2841 0.006628 0.06535 0.3212 json
t18_x20_u0_b24 18 20 0 24 add(P,mlt(R,mlt(P,R))) 124410 146978862 o2(x,o2(x,o2(x,x))) true 23687 23687 0.000488 0.5 0.9473 0.9372 0.9681 -1 1 2 1 1.666 0.0009956 0.000008097 0.007979 0.9839 1 -2.315e-8 0.0001605 0.002533 0.0009404 0.03067 3.843 0.2243 0.001071 0.0001712 1 1 0.002436 0.02843 0.25 0.002599 0.03033 0.2668 json
t18_x20_u0_b25 18 20 0 25 add(P,mlt(R,div(P,R))) 124411 146978863 o2(x,o2(x,o2(x,x))) true 23695 23695 0 0.5 0.9569 0.9494 0.9744 -1 1 2 1 1.488 0.001303 5.744e-19 0.007937 1 1 3.754e-12 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
t18_x20_u0_b26 18 20 0 26 add(P,mlt(R,pow(P,R))) 124412 146978864 o2(x,o2(x,o2(x,x))) true 23703 23703 -0.1031 0.4531 0.9906 0.9778 0.9889 -1 1 2 1 1.165 0.01174 0.003566 0.01031 0.5341 1 -0.000007084 0.03113 0.01826 0.01521 0.1233 11.96 2.828 0.01566 0.03184 1 1 0.0208 0.09077 0.3798 0.02128 0.09283 0.3884 json
t18_x20_u0_b27 18 20 0 27 add(P,mlt(R,mod(P,R))) 124413 146978865 o2(x,o2(x,o2(x,x))) true 23711 23711 0.0007892 0.5 0.9367 0.9224 0.9604 -1 1 2 1 1.867 0.0007343 0.00001142 0.008114 0.9694 1 -7.331e-7 0.00005859 0.002154 0.0006799 0.02608 3.214 0.143 0.0008084 0.00006351 1 1 0.001898 0.02439 0.2324 0.002057 0.02644 0.2519 json
t18_x20_u0_b28 18 20 0 28 add(P,mlt(R,lrg(P,R))) 124414 146978866 o2(x,o2(x,o2(x,x))) true 23719 23719 -0.02348 0.4833 0.9498 0.9325 0.9656 -1 1 2 1 1.833 0.00103 0.0001433 0.009015 0.7558 1 -0.00001877 0.0001768 0.002631 0.001092 0.03305 3.666 0.312 0.001259 0.0001896 1 1 0.002852 0.03383 0.2538 0.003058 0.03628 0.2722 json
t18_x20_u0_b29 18 20 0 29 add(P,mlt(R,eql(P,R))) 124415 146978867 o2(x,o2(x,o2(x,x))) true 23727 23727 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
t18_x20_u0_b30 18 20 0 30 add(P,mlt(R,min(P,R))) 124416 146978868 o2(x,o2(x,o2(x,x))) true 23735 23735 0.03755 0.5155 0.9335 0.911 0.9544 -1 1 2 1 2.022 0.001203 0.0005437 0.0125 0.3775 1 0.0000169 0.0005747 0.005421 0.00159 0.03987 3.19 0.4797 0.001918 0.0006309 1 1 0.003735 0.03849 0.2546 0.0041 0.04225 0.2795 json
t18_x20_u0_b31 18 20 0 31 add(P,mlt(R,dot(P,R))) 124417 146978869 o2(x,o2(x,o2(x,x))) true 23743 23743 0.02838 0.512 0.9666 0.9547 0.9771 -1 1 2 1 1.611 0.002195 0.001065 0.0115 0.3466 1 -0.00002842 0.001576 0.005613 0.003128 0.05593 4.865 1.233 0.003415 0.001651 1 1 0.005453 0.05977 0.3117 0.005712 0.0626 0.3265 json
t18_x20_u0_b32 18 20 0 32 add(P,mlt(R,dst(P,R))) 124418 146978870 o2(x,o2(x,o2(x,x))) true 23751 23751 0.007928 0.508 0.9087 0.8771 0.9365 -1 1 2 1 2.351 0.01348 0.01808 0.06168 -0.1458 1 0.000007071 0.02169 0.04341 0.02773 0.1665 2.7 1.388 0.03598 0.02473 1 1 0.04737 0.3569 0.8462 0.05401 0.4069 0.9649 json
t18_x20_u0_b33 18 20 0 33 add(P,div(R,add(P,R))) 124419 146978871 o2(x,o2(x,o2(x,x))) true 23759 23759 0.03443 0.519 0.9724 0.9601 0.9799 -1 1 2 1 1.585 0.002721 0.0006896 0.01226 0.5956 1 0.00003172 0.001173 0.005376 0.003262 0.05711 4.657 0.8407 0.003552 0.001222 1 1 0.006512 0.0684 0.3035 0.006782 0.07124 0.3161 json
t18_x20_u0_b34 18 20 0 34 add(P,div(R,sub(P,R))) 124420 146978872 o2(x,o2(x,o2(x,x))) true 23767 23767 -0.01967 0.488 0.972 0.9597 0.9796 -1 1 2 1 1.591 0.003825 0.001807 0.01402 0.3583 1 -0.00003422 0.00508 0.007822 0.005436 0.07373 5.259 2 0.005868 0.005293 1 1 0.007512 0.07567 0.3236 0.007827 0.07885 0.3372 json
t18_x20_u0_b35 18 20 0 35 add(P,div(R,mlt(P,R))) 124421 146978873 o2(x,o2(x,o2(x,x))) true 23775 23775 -0.125 0.4375 1 0.9844 0.9922 -1 1 2 1 0.9887 0.01587 0 0.007937 1 1 0 0.03175 0.01587 0.01581 0.1257 15.84 2 0.01612 0.03225 1 1 0.02105 0.08421 0.3368 0.02139 0.08555 0.3422 json
t18_x20_u0_b36 18 20 0 36 add(P,div(R,div(P,R))) 124422 146978874 o2(x,o2(x,o2(x,x))) true 23783 23783 -0.125 0.4375 1 0.9844 0.9922 -1 1 2 1 0.9887 0.01587 0 0.007937 1 1 0 0.03175 0.01587 0.01581 0.1257 15.84 2 0.01612 0.03225 1 1 0.02105 0.08421 0.3368 0.02139 0.08555 0.3422 json
t18_x20_u0_b37 18 20 0 37 add(P,div(R,pow(P,R))) 124423 146978875 o2(x,o2(x,o2(x,x))) true 23791 23791 -0.09387 0.4609 0.9843 0.9705 0.9852 -1 1 2 1 1.26 0.01058 0.001901 0.01049 0.6953 1 -0.00001331 0.02454 0.01614 0.01237 0.1112 10.6 2.828 0.01286 0.02529 1 1 0.01797 0.08309 0.3655 0.01851 0.08562 0.3766 json
t18_x20_u0_b38 18 20 0 38 add(P,div(R,mod(P,R))) 124424 146978876 o2(x,o2(x,o2(x,x))) true 23799 23799 -0.04302 0.4778 0.9652 0.9521 0.9758 -1 1 2 1 1.594 0.03414 0.02279 0.0527 0.1995 1 -0.00002742 0.09427 0.06622 0.05414 0.2327 4.415 2.675 0.0598 0.09901 1 1 0.08058 0.4228 0.9791 0.08464 0.4441 1.028 json
t18_x20_u0_b39 18 20 0 39 add(P,div(R,lrg(P,R))) 124425 146978877 o2(x,o2(x,o2(x,x))) true 23807 23807 -0.09751 0.4516 0.9891 0.9757 0.9878 -1 1 2 1 1.23 0.009518 0.001388 0.009105 0.7455 1 -0.00001264 0.02111 0.01326 0.01082 0.104 11.42 2.828 0.01118 0.02163 1 1 0.0161 0.07769 0.357 0.0165 0.07963 0.3659 json
t18_x20_u0_b40 18 20 0 40 add(P,div(R,eql(P,R))) 124426 146978878 o2(x,o2(x,o2(x,x))) true 23815 23815 -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
t18_x20_u0_b41 18 20 0 41 add(P,div(R,min(P,R))) 124427 146978879 o2(x,o2(x,o2(x,x))) true 23823 23823 -0.02802 0.4845 0.9895 0.9849 0.9924 -1 1 2 1 1.253 0.01614 0.008071 0.01569 0.3331 1 0.00001097 0.04908 0.02555 0.02396 0.1548 9.867 2.828 0.02458 0.04984 1 1 0.03932 0.1694 0.4797 0.03992 0.172 0.487 json
t18_x20_u0_b42 18 20 0 42 add(P,div(R,dot(P,R))) 124428 146978880 o2(x,o2(x,o2(x,x))) true 23831 23831 0.007923 0.5068 0.9506 0.9353 0.9671 -1 1 2 1 1.776 0.008395 0.00674 0.02369 0.1093 1 0.000002013 0.01996 0.01884 0.01457 0.1207 5.095 2.828 0.01618 0.02134 1 1 0.03312 0.2134 0.5011 0.03541 0.2282 0.5358 json
t18_x20_u0_b43 18 20 0 43 add(P,div(R,dst(P,R))) 124429 146978881 o2(x,o2(x,o2(x,x))) true 23839 23839 0.003016 0.498 0.9417 0.924 0.9613 -1 1 2 1 1.914 0.0008312 0.00006186 0.008568 0.8615 1 -0.000002852 0.0001006 0.002453 0.0008192 0.02862 3.341 0.2901 0.0009665 0.0001089 1 1 0.002426 0.02959 0.2439 0.002625 0.03202 0.264 json
t18_x20_u0_b44 18 20 0 44 add(P,pow(R,add(P,R))) 124430 146978882 o2(x,o2(x,o2(x,x))) true 23847 23847 -0.9241 0.04024 0.9935 0.1374 0.3707 -1 1 2 1 0.3378 0.01374 0.0132 0.01548 0.02005 1 -0.0001032 0.05586 0.02903 0.0267 0.1634 10.55 2.828 0.1961 0.4066 1 1 0.01755 0.08365 0.2012 0.1277 0.6089 1.464 json
t18_x20_u0_b45 18 20 0 45 add(P,pow(R,sub(P,R))) 124431 146978883 o2(x,o2(x,o2(x,x))) true 23855 23855 -0.9174 0.04181 0.9982 0.1558 0.3947 -1 1 2 1 0.2889 0.01537 0.01494 0.01619 0.01433 1 -0.0001107 0.06323 0.03154 0.03003 0.1733 10.7 2.828 0.1945 0.4058 1 1 0.02164 0.1012 0.252 0.1389 0.6498 1.617 json
t18_x20_u0_b46 18 20 0 46 add(P,pow(R,mlt(P,R))) 124432 146978884 o2(x,o2(x,o2(x,x))) true 23863 23863 -0.8943 0.05725 0.9827 0.1778 0.4216 -1 1 2 1 0.5428 0.01623 0.01645 0.02084 -0.006517 1 -0.00001175 0.06642 0.03638 0.03227 0.1796 8.621 2.828 0.1839 0.3736 1 1 0.02672 0.1139 0.3847 0.1503 0.6409 2.164 json
t18_x20_u0_b47 18 20 0 47 add(P,pow(R,div(P,R))) 124433 146978885 o2(x,o2(x,o2(x,x))) true 23871 23871 -0.8855 0.05826 0.9977 0.2124 0.4609 -1 1 2 1 0.3705 0.01942 0.02029 0.02094 -0.02181 1 -6.007e-11 0.08201 0.04076 0.0393 0.1982 9.469 2.828 0.187 0.3861 1 1 0.04003 0.1708 0.5152 0.1885 0.8041 2.426 json
t18_x20_u0_b48 18 20 0 48 add(P,pow(R,pow(P,R))) 124434 146978886 o2(x,o2(x,o2(x,x))) true 23879 23879 -0.9844 0.007813 1 0.03101 0.1761 -1 1 2 1 0.06591 0.003023 0.003779 0.003383 -0.1111 1 0 0.01436 0.006803 0.006791 0.08241 24.36 2.828 0.2194 0.4632 1 1 0.0008864 0.006205 0.02748 0.02859 0.2001 0.8863 json
t18_x20_u0_b49 18 20 0 49 add(P,pow(R,mod(P,R))) 124435 146978887 o2(x,o2(x,o2(x,x))) true 23887 23887 -0.9189 0.04439 0.9866 0.1389 0.3727 -1 1 2 1 0.4403 0.01106 0.01183 0.01398 -0.03378 1 -1.201e-10 0.04742 0.02514 0.0227 0.1507 10.78 2.828 0.1648 0.3414 1 1 0.02188 0.09487 0.3309 0.1575 0.6831 2.382 json
t18_x20_u0_b50 18 20 0 50 add(P,pow(R,lrg(P,R))) 124436 146978888 o2(x,o2(x,o2(x,x))) true 23895 23895 -0.9297 0.02344 0.9609 0.08812 0.2969 -1 1 2 1 0.6832 0.008439 0.007395 0.01451 0.06596 1 -3.004e-10 0.03233 0.02041 0.01562 0.125 8.612 2.828 0.1797 0.3669 1 1 0.01646 0.07111 0.1686 0.1868 0.8069 1.913 json
t18_x20_u0_b51 18 20 0 51 add(P,pow(R,eql(P,R))) 124437 146978889 o2(x,o2(x,o2(x,x))) true 23903 23903 0.125 0.5625 0.9375 0.9084 0.9531 -1 1 2 1 1.8 0.0007059 0 0.007937 1 1 0 0.00003235 0.001851 0.0006432 0.02536 3.195 0.1169 0.0007771 0.00003562 1 1 0.001851 0.02449 0.2344 0.002038 0.02696 0.2581 json
t18_x20_u0_b52 18 20 0 52 add(P,pow(R,min(P,R))) 124438 146978890 o2(x,o2(x,o2(x,x))) true 23911 23911 -0.9199 0.04114 0.9965 0.1491 0.3861 -1 1 2 1 0.3095 0.01464 0.01433 0.016 0.01092 1 -0.0001428 0.06036 0.0306 0.02871 0.1694 10.59 2.828 0.1944 0.405 1 1 0.02022 0.09575 0.2337 0.1357 0.6424 1.568 json
t18_x20_u0_b53 18 20 0 53 add(P,pow(R,dot(P,R))) 124439 146978891 o2(x,o2(x,o2(x,x))) true 23919 23919 -0.9389 0.03058 0.9944 0.1112 0.3334 -1 1 2 1 0.3015 0.01228 0.01068 0.01429 0.06966 1 0.000002167 0.0463 0.02486 0.02276 0.1509 10.56 2.828 0.2066 0.4165 1 1 0.0158 0.08079 0.169 0.1421 0.7268 1.52 json
t18_x20_u0_b54 18 20 0 54 add(P,pow(R,dst(P,R))) 124440 146978892 o2(x,o2(x,o2(x,x))) true 23927 23927 -0.9824 0.008606 0.9949 0.02842 0.1686 -1 1 2 1 0.1638 0.002231 0.003395 0.003995 -0.207 1 -6.007e-11 0.01164 0.006853 0.005611 0.07491 18.75 2.828 0.1979 0.4097 1 1 0.001061 0.006368 0.02661 0.03733 0.2241 0.9363 json
t18_x20_u0_b55 18 20 0 55 add(P,mod(R,add(P,R))) 124441 146978893 o2(x,o2(x,o2(x,x))) true 23935 23935 -0.005756 0.4944 0.9467 0.9287 0.9637 -1 1 2 1 1.883 0.001005 0.0001601 0.009326 0.7252 1 -0.000009399 0.0001829 0.002952 0.001078 0.03284 3.521 0.2856 0.001254 0.000197 1 1 0.003094 0.03621 0.253 0.003332 0.03899 0.2724 json
t18_x20_u0_b56 18 20 0 56 add(P,mod(R,sub(P,R))) 124442 146978894 o2(x,o2(x,o2(x,x))) true 23943 23943 0.0000589 0.4942 0.9282 0.9062 0.9519 -1 1 2 1 2.037 0.0009284 0.0002309 0.01043 0.6017 1 -0.00001467 0.0001727 0.003207 0.001051 0.03242 3.108 0.2488 0.001279 0.0001906 1 1 0.003082 0.03688 0.242 0.003401 0.0407 0.267 json
t18_x20_u0_b57 18 20 0 57 add(P,mod(R,mlt(P,R))) 124443 146978895 o2(x,o2(x,o2(x,x))) true 23951 23951 -0.1235 0.4375 0.9951 0.9775 0.9887 -1 1 2 1 1.127 0.0152 0.00002766 0.009367 0.9964 1 -0.000005241 0.03023 0.017 0.01513 0.123 13.13 2 0.01557 0.03093 1 1 0.02012 0.08356 0.3386 0.02058 0.08548 0.3464 json
t18_x20_u0_b58 18 20 0 58 add(P,mod(R,div(P,R))) 124444 146978896 o2(x,o2(x,o2(x,x))) true 23959 23959 -0.1213 0.4375 0.992 0.9739 0.9869 -1 1 2 1 1.199 0.0153 0.0000739 0.01075 0.9904 1 -0.000007567 0.03034 0.0185 0.01526 0.1235 11.5 2 0.01578 0.03116 1 1 0.02016 0.08452 0.3399 0.0207 0.08678 0.349 json
t18_x20_u0_b59 18 20 0 59 add(P,mod(R,pow(P,R))) 124445 146978897 o2(x,o2(x,o2(x,x))) true 23967 23967 -0.1271 0.4375 0.9979 0.9801 0.99 -1 1 2 1 1.06 0.01438 0.00002571 0.008116 0.9964 1 -0.000007567 0.02867 0.01536 0.01433 0.1197 14.75 2 0.0147 0.02926 1 1 0.01901 0.08005 0.3328 0.0194 0.08168 0.3396 json
t18_x20_u0_b60 18 20 0 60 add(P,mod(R,mod(P,R))) 124446 146978898 o2(x,o2(x,o2(x,x))) true 23975 23975 -0.1249 0.4375 0.9992 0.9829 0.9914 -1 1 2 1 1.04 0.01544 0.000001925 0.008302 0.9998 1 -5.367e-7 0.03083 0.01622 0.01537 0.124 14.94 2 0.01571 0.03137 1 1 0.02043 0.0833 0.336 0.02079 0.08475 0.3419 json
t18_x20_u0_b61 18 20 0 61 add(P,mod(R,lrg(P,R))) 124447 146978899 o2(x,o2(x,o2(x,x))) true 23983 23983 -0.09751 0.4516 0.9891 0.9757 0.9878 -1 1 2 1 1.23 0.009518 0.001388 0.009105 0.7455 1 -0.00001264 0.02111 0.01326 0.01082 0.104 11.42 2.828 0.01118 0.02163 1 1 0.0161 0.07769 0.357 0.0165 0.07963 0.3659 json
t18_x20_u0_b62 18 20 0 62 add(P,mod(R,eql(P,R))) 124448 146978900 o2(x,o2(x,o2(x,x))) true 23991 23991 -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
t18_x20_u0_b63 18 20 0 63 add(P,mod(R,min(P,R))) 124449 146978901 o2(x,o2(x,o2(x,x))) true 23999 23999 -0.0791 0.4551 0.9712 0.955 0.9772 -1 1 2 1 1.495 0.01033 0.001465 0.01155 0.7517 1 -0.00000929 0.02285 0.01522 0.01166 0.108 9.346 2.828 0.01236 0.02393 1 1 0.01721 0.07918 0.3457 0.01803 0.08291 0.362 json
t18_x20_u0_b64 18 20 0 64 add(P,mod(R,dot(P,R))) 124450 146978902 o2(x,o2(x,o2(x,x))) true 24007 24007 -0.01141 0.4902 0.9481 0.9288 0.9638 -1 1 2 1 1.884 0.003034 0.001895 0.0116 0.231 1 -0.0000204 0.008007 0.007727 0.00479 0.06921 5.964 2.828 0.005306 0.008621 1 1 0.009162 0.05548 0.3032 0.009864 0.05973 0.3265 json
t18_x20_u0_b65 18 20 0 65 add(P,mod(R,dst(P,R))) 124451 146978903 o2(x,o2(x,o2(x,x))) true 24015 24015 0.003757 0.4974 0.9428 0.9208 0.9596 -1 1 2 1 1.952 0.001169 0.000358 0.0111 0.5311 1 -0.00002042 0.0002765 0.003741 0.001403 0.03746 3.374 0.312 0.001658 0.0003002 1 1 0.003726 0.04331 0.2691 0.004046 0.04703 0.2923 json
t18_x20_u0_b66 18 20 0 66 add(P,lrg(R,add(P,R))) 124452 146978904 o2(x,o2(x,o2(x,x))) true 24023 24023 0.0625 0.5 0.875 0.8576 0.926 -1 1 2 1 2.027 0.0007059 0 0.007937 1 1 0 0.00003238 0.001855 0.0006432 0.02536 3.195 0.1169 0.0008231 0.00003776 1 1 0.001851 0.02429 0.1593 0.002158 0.02832 0.1858 json
t18_x20_u0_b67 18 20 0 67 add(P,lrg(R,sub(P,R))) 124453 146978905 o2(x,o2(x,o2(x,x))) true 24031 24031 0.0811 0.5328 0.9154 0.8928 0.9449 -1 1 2 1 1.983 0.0007785 0.0002204 0.009829 0.5588 1 -0.00002139 0.00009801 0.002573 0.0009021 0.03003 3.056 0.2338 0.001119 0.0001098 1 1 0.002511 0.03157 0.2225 0.002812 0.03536 0.2493 json
t18_x20_u0_b68 18 20 0 68 add(P,lrg(R,mlt(P,R))) 124454 146978906 o2(x,o2(x,o2(x,x))) true 24039 24039 0.0593 0.5253 0.9284 0.9103 0.9541 -1 1 2 1 1.908 0.0008573 0.000252 0.009911 0.5457 1 -0.00001497 0.0001128 0.002621 0.001012 0.03181 3.209 0.2338 0.001219 0.0001239 1 1 0.002908 0.03679 0.2589 0.003195 0.04041 0.2844 json
t18_x20_u0_b69 18 20 0 69 add(P,lrg(R,div(P,R))) 124455 146978907 o2(x,o2(x,o2(x,x))) true 24047 24047 0.06156 0.5253 0.9307 0.9124 0.9552 -1 1 2 1 1.866 0.0009104 0.0002509 0.00978 0.5679 1 -0.00001364 0.0001482 0.002791 0.001066 0.03264 3.338 0.2338 0.001273 0.0001625 1 1 0.003028 0.03731 0.2618 0.003319 0.04089 0.2869 json
t18_x20_u0_b70 18 20 0 70 add(P,lrg(R,pow(P,R))) 124456 146978908 o2(x,o2(x,o2(x,x))) true 24055 24055 0.08984 0.5378 0.9023 0.8786 0.9373 -1 1 2 1 2.016 0.0006768 0.0001053 0.00895 0.7306 1 -0.000005704 0.00003874 0.002113 0.000702 0.0265 2.96 0.1169 0.0008902 0.00004409 1 1 0.002072 0.02727 0.2084 0.002358 0.03104 0.2372 json
t18_x20_u0_b71 18 20 0 71 add(P,lrg(R,mod(P,R))) 124457 146978909 o2(x,o2(x,o2(x,x))) true 24063 24063 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
t18_x20_u0_b72 18 20 0 72 add(P,lrg(R,lrg(P,R))) 124458 146978910 o2(x,o2(x,o2(x,x))) true 24071 24071 0.0593 0.5253 0.9284 0.9103 0.9541 -1 1 2 1 1.908 0.0008573 0.000252 0.009911 0.5457 1 -0.00001497 0.0001128 0.002621 0.001012 0.03181 3.209 0.2338 0.001219 0.0001239 1 1 0.002908 0.03679 0.2589 0.003195 0.04041 0.2844 json
t18_x20_u0_b73 18 20 0 73 add(P,lrg(R,eql(P,R))) 124459 146978911 o2(x,o2(x,o2(x,x))) true 24079 24079 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
t18_x20_u0_b74 18 20 0 74 add(P,lrg(R,min(P,R))) 124460 146978912 o2(x,o2(x,o2(x,x))) true 24087 24087 0.08984 0.5378 0.9023 0.8786 0.9373 -1 1 2 1 2.016 0.0006768 0.0001053 0.00895 0.7306 1 -0.000005704 0.00003874 0.002113 0.000702 0.0265 2.96 0.1169 0.0008902 0.00004409 1 1 0.002072 0.02727 0.2084 0.002358 0.03104 0.2372 json
t18_x20_u0_b75 18 20 0 75 add(P,lrg(R,dot(P,R))) 124461 146978913 o2(x,o2(x,o2(x,x))) true 24095 24095 0.07294 0.5306 0.9388 0.9193 0.9588 -1 1 2 1 1.841 0.0009039 0.0002902 0.01005 0.5139 1 -0.000009266 0.0001213 0.002642 0.001092 0.03305 3.287 0.2338 0.001299 0.000132 1 1 0.003 0.03732 0.2522 0.003263 0.0406 0.2743 json
t18_x20_u0_b76 18 20 0 76 add(P,lrg(R,dst(P,R))) 124462 146978914 o2(x,o2(x,o2(x,x))) true 24103 24103 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
t18_x20_u0_b77 18 20 0 77 add(P,eql(R,add(P,R))) 124463 146978915 o2(x,o2(x,o2(x,x))) true 24111 24111 0.0625 0.5313 0.9806 0.969 0.9844 -1 1 2 1 1.326 0.001412 0 0.007937 1 1 0 0.00006477 0.001855 0.001349 0.03673 4.628 0.2338 0.001457 0.00006684 1 1 0.003702 0.04857 0.3004 0.00382 0.05012 0.31 json
t18_x20_u0_b78 18 20 0 78 add(P,eql(R,sub(P,R))) 124464 146978916 o2(x,o2(x,o2(x,x))) true 24119 24119 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
t18_x20_u0_b79 18 20 0 79 add(P,eql(R,mlt(P,R))) 124465 146978917 o2(x,o2(x,o2(x,x))) true 24127 24127 0.009727 0.5 0.9472 0.9365 0.9677 -1 1 2 1 1.65 0.001005 0 0.007937 1 1 -4.731e-10 0.0001502 0.002719 0.0009424 0.0307 3.868 0.2265 0.001073 0.0001604 1 1 0.002565 0.02848 0.2515 0.002739 0.03041 0.2686 json
t18_x20_u0_b80 18 20 0 80 add(P,eql(R,div(P,R))) 124466 146978918 o2(x,o2(x,o2(x,x))) true 24135 24135 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
t18_x20_u0_b81 18 20 0 81 add(P,eql(R,pow(P,R))) 124467 146978919 o2(x,o2(x,o2(x,x))) true 24143 24143 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
t18_x20_u0_b82 18 20 0 82 add(P,eql(R,mod(P,R))) 124468 146978920 o2(x,o2(x,o2(x,x))) true 24151 24151 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
t18_x20_u0_b83 18 20 0 83 add(P,eql(R,lrg(P,R))) 124469 146978921 o2(x,o2(x,o2(x,x))) true 24159 24159 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
t18_x20_u0_b84 18 20 0 84 add(P,eql(R,eql(P,R))) 124470 146978922 o2(x,o2(x,o2(x,x))) true 24167 24167 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
t18_x20_u0_b85 18 20 0 85 add(P,eql(R,min(P,R))) 124471 146978923 o2(x,o2(x,o2(x,x))) true 24175 24175 0.03972 0.5198 0.9657 0.9543 0.9769 -1 1 2 1 1.554 0.001197 0.00009554 0.008561 0.8522 1 0.000003562 0.0001197 0.002399 0.00122 0.03492 4.08 0.2338 0.001355 0.0001254 1 1 0.003358 0.04173 0.2916 0.003518 0.04373 0.3056 json
t18_x20_u0_b86 18 20 0 86 add(P,eql(R,dot(P,R))) 124472 146978924 o2(x,o2(x,o2(x,x))) true 24183 24183 0.0007121 0.5 0.9382 0.9249 0.9617 -1 1 2 1 1.806 0.0007278 0.000002972 0.007953 0.9919 1 1.177e-10 0.0000441 0.001912 0.0006677 0.02584 3.249 0.2265 0.0007901 0.00004768 1 1 0.00193 0.02501 0.2364 0.002087 0.02704 0.2556 json
t18_x20_u0_b87 18 20 0 87 add(P,eql(R,dst(P,R))) 124473 146978925 o2(x,o2(x,o2(x,x))) true 24191 24191 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
t18_x20_u0_b88 18 20 0 88 add(P,min(R,add(P,R))) 124474 146978926 o2(x,o2(x,o2(x,x))) true 24199 24199 -0.01665 0.4942 0.9613 0.9466 0.9729 -1 1 2 1 1.71 0.001326 0.0002414 0.009501 0.6919 1 -0.00001985 0.0003005 0.003394 0.001478 0.03844 4.046 0.3703 0.001656 0.0003174 1 1 0.003999 0.04431 0.2909 0.004224 0.04681 0.3073 json
t18_x20_u0_b89 18 20 0 89 add(P,min(R,sub(P,R))) 124475 146978927 o2(x,o2(x,o2(x,x))) true 24207 24207 -0.04714 0.4727 0.9619 0.9444 0.9718 -1 1 2 1 1.703 0.001102 0.00007664 0.008602 0.8699 1 -0.00001104 0.000177 0.002944 0.001104 0.03323 3.863 0.2488 0.001248 0.0001874 1 1 0.002922 0.03486 0.2672 0.003094 0.03691 0.2829 json
t18_x20_u0_b90 18 20 0 90 add(P,min(R,mlt(P,R))) 124476 146978928 o2(x,o2(x,o2(x,x))) true 24215 24215 -0.03764 0.4833 0.945 0.9247 0.9616 -1 1 2 1 1.927 0.00129 0.0004119 0.01179 0.516 1 -0.00003506 0.0004809 0.005107 0.001562 0.03953 3.354 0.3526 0.001841 0.0005201 1 1 0.003634 0.03948 0.2649 0.00393 0.0427 0.2864 json
t18_x20_u0_b91 18 20 0 91 add(P,min(R,div(P,R))) 124477 146978929 o2(x,o2(x,o2(x,x))) true 24223 24223 -0.5563 0.2113 0.9279 0.5954 0.7716 -1 1 2 1 1.819 0.02388 0.02532 0.06093 -0.02918 1 -0.00001074 0.06741 0.0599 0.04547 0.2132 3.5 2.828 0.08264 0.1132 1 1 0.06351 0.406 0.906 0.1067 0.682 1.522 json
t18_x20_u0_b92 18 20 0 92 add(P,min(R,pow(P,R))) 124478 146978930 o2(x,o2(x,o2(x,x))) true 24231 24231 -0.009996 0.4833 0.9363 0.916 0.9571 -1 1 2 1 1.949 0.001145 0.0002596 0.01057 0.6304 1 -0.00001894 0.0002724 0.003612 0.001293 0.03596 3.401 0.312 0.001533 0.0002973 1 1 0.003264 0.03724 0.2435 0.003563 0.04066 0.2658 json
t18_x20_u0_b93 18 20 0 93 add(P,min(R,mod(P,R))) 124479 146978931 o2(x,o2(x,o2(x,x))) true 24239 24239 -0.03082 0.4818 0.9494 0.9321 0.9654 -1 1 2 1 1.822 0.0009353 0.0001133 0.008909 0.7839 1 -0.00001305 0.0001185 0.002519 0.0009697 0.03114 3.495 0.2473 0.001125 0.0001271 1 1 0.002608 0.03213 0.2538 0.002798 0.03447 0.2723 json
t18_x20_u0_b94 18 20 0 94 add(P,min(R,lrg(P,R))) 124480 146978932 o2(x,o2(x,o2(x,x))) true 24247 24247 -0.02549 0.4833 0.9518 0.9354 0.9672 -1 1 2 1 1.789 0.001071 0.0001471 0.009011 0.7586 1 -0.00001864 0.0001978 0.002782 0.001137 0.03372 3.743 0.312 0.001303 0.0002115 1 1 0.002958 0.03455 0.2578 0.003162 0.03693 0.2756 json
t18_x20_u0_b95 18 20 0 95 add(P,min(R,eql(P,R))) 124481 146978933 o2(x,o2(x,o2(x,x))) true 24255 24255 -0.03231 0.4815 0.9463 0.928 0.9633 -1 1 2 1 1.884 0.0008346 0.0001011 0.008883 0.7838 1 -0.00001072 0.00008151 0.002361 0.0008571 0.02928 3.296 0.208 0.001008 0.00008783 1 1 0.002395 0.0304 0.2484 0.00258 0.03275 0.2677 json
t18_x20_u0_b96 18 20 0 96 add(P,min(R,min(P,R))) 124482 146978934 o2(x,o2(x,o2(x,x))) true 24263 24263 -0.03068 0.4833 0.957 0.9435 0.9714 -1 1 2 1 1.692 0.001208 0.0001388 0.008884 0.7938 1 -0.00001833 0.0002644 0.003305 0.001267 0.0356 4.007 0.312 0.001427 0.0002803 1 1 0.003263 0.03603 0.2678 0.003458 0.03819 0.2839 json
t18_x20_u0_b97 18 20 0 97 add(P,min(R,dot(P,R))) 124483 146978935 o2(x,o2(x,o2(x,x))) true 24271 24271 -0.1621 0.4188 0.9391 0.8926 0.9448 -1 1 2 1 1.94 0.00587 0.006559 0.03208 -0.05544 1 -0.00007815 0.006748 0.01796 0.01141 0.1068 3.329 1.429 0.01393 0.007559 1 1 0.02084 0.1926 0.556 0.02335 0.2158 0.6229 json
t18_x20_u0_b98 18 20 0 98 add(P,min(R,dst(P,R))) 124484 146978936 o2(x,o2(x,o2(x,x))) true 24279 24279 0.003757 0.4974 0.9428 0.9208 0.9596 -1 1 2 1 1.952 0.001169 0.000358 0.0111 0.5311 1 -0.00002042 0.0002765 0.003741 0.001403 0.03746 3.374 0.312 0.001658 0.0003002 1 1 0.003726 0.04331 0.2691 0.004046 0.04703 0.2923 json
t18_x20_u0_b99 18 20 0 99 add(P,dot(R,add(P,R))) 124485 146978937 o2(x,o2(x,o2(x,x))) true 24287 24287 0.1335 0.5664 0.9284 0.887 0.9418 -1 1 2 1 2.063 0.0127 0.01527 0.05017 -0.09184 1 -0.0001353 0.02292 0.03814 0.02545 0.1595 3.179 1.882 0.03152 0.02584 1 1 0.04054 0.3112 0.6922 0.0457 0.3509 0.7803 json
t18_x20_u0_b100 18 20 0 100 add(P,dot(R,sub(P,R))) 124486 146978938 o2(x,o2(x,o2(x,x))) true 24295 24295 -0.1756 0.4129 0.9322 0.8779 0.9369 -1 1 2 1 2.042 0.01169 0.01491 0.04914 -0.1211 1 -0.00008344 0.02116 0.0368 0.02419 0.1555 3.165 1.674 0.03029 0.02411 1 1 0.03768 0.2931 0.8183 0.04292 0.3339 0.9322 json
t18_x20_u0_b101 18 20 0 101 add(P,dot(R,mlt(P,R))) 124487 146978939 o2(x,o2(x,o2(x,x))) true 24303 24303 -0.01207 0.4969 0.9509 0.9371 0.968 -1 1 2 1 1.733 0.002687 0.001936 0.0167 0.1624 1 -0.00002134 0.001666 0.007556 0.004341 0.06589 3.947 0.9226 0.004933 0.001778 1 1 0.007698 0.07914 0.378 0.008215 0.08446 0.4034 json
t18_x20_u0_b102 18 20 0 102 add(P,dot(R,div(P,R))) 124488 146978940 o2(x,o2(x,o2(x,x))) true 24311 24311 -1.35e-8 0.5 0.9688 0.9594 0.9795 -1 1 2 1 1.531 0.001366 0.0003547 0.009634 0.5878 1 3.121e-11 0.0003278 0.003308 0.001628 0.04034 4.188 0.2614 0.001794 0.0003416 1 1 0.004392 0.0509 0.3961 0.004578 0.05305 0.4129 json
t18_x20_u0_b103 18 20 0 103 add(P,dot(R,pow(P,R))) 124489 146978941 o2(x,o2(x,o2(x,x))) true 24319 24319 -0.9766 0.01172 1 0.04631 0.2152 -1 1 2 1 0.09198 0.004031 0.006047 0.005002 -0.2 1 0 0.02116 0.01008 0.01005 0.1003 20.04 2.828 0.2176 0.457 1 1 0.002604 0.01823 0.04166 0.05623 0.3936 0.8996 json
t18_x20_u0_b104 18 20 0 104 add(P,dot(R,mod(P,R))) 124490 146978942 o2(x,o2(x,o2(x,x))) true 24327 24327 -0.0005236 0.4969 0.9392 0.9229 0.9607 -1 1 2 1 1.889 0.0007919 0.00005033 0.0085 0.8805 1 0.000002953 0.00009027 0.002363 0.0007702 0.02775 3.265 0.2214 0.0009126 0.00009782 1 1 0.002063 0.02587 0.2359 0.002235 0.02804 0.2556 json
t18_x20_u0_b105 18 20 0 105 add(P,dot(R,lrg(P,R))) 124491 146978943 o2(x,o2(x,o2(x,x))) true 24335 24335 -0.04999 0.4711 0.9555 0.9383 0.9687 -1 1 2 1 1.72 0.00138 0.0003554 0.009969 0.5904 1 -0.00001655 0.0003532 0.003504 0.001636 0.04044 4.057 0.3765 0.001849 0.0003764 1 1 0.004048 0.04462 0.2704 0.004314 0.04756 0.2882 json
t18_x20_u0_b106 18 20 0 106 add(P,dot(R,eql(P,R))) 124492 146978944 o2(x,o2(x,o2(x,x))) true 24343 24343 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
t18_x20_u0_b107 18 20 0 107 add(P,dot(R,min(P,R))) 124493 146978945 o2(x,o2(x,o2(x,x))) true 24351 24351 0.07213 0.5345 0.9214 0.8905 0.9437 -1 1 2 1 2.134 0.004888 0.004824 0.02805 0.00661 1 -0.00005745 0.005921 0.01751 0.008929 0.0945 3.368 1.582 0.01091 0.006649 1 1 0.01718 0.1382 0.3807 0.01929 0.1552 0.4275 json
t18_x20_u0_b108 18 20 0 108 add(P,dot(R,dot(P,R))) 124494 146978946 o2(x,o2(x,o2(x,x))) true 24359 24359 0.01668 0.509 0.9527 0.9387 0.9689 -1 1 2 1 1.727 0.006201 0.005256 0.02594 0.08256 1 0.000004416 0.006892 0.01675 0.01078 0.1038 4.003 1.536 0.01221 0.007342 1 1 0.0206 0.1614 0.4394 0.02194 0.1719 0.4681 json
t18_x20_u0_b109 18 20 0 109 add(P,dot(R,dst(P,R))) 124495 146978947 o2(x,o2(x,o2(x,x))) true 24367 24367 -0.0426 0.4777 0.9322 0.908 0.9529 -1 1 2 1 2.049 0.02991 0.03496 0.08106 -0.07785 1 0.0001322 0.07837 0.08009 0.05832 0.2415 2.979 2.329 0.07145 0.08631 1 1 0.08752 0.5656 1.175 0.09639 0.623 1.294 json
t18_x20_u0_b110 18 20 0 110 add(P,dst(R,add(P,R))) 124496 146978948 o2(x,o2(x,o2(x,x))) true 24375 24375 0.885 0.9968 0.885 0.07625 0.2761 0.00001812 1 1 1 1.305 0.00005943 0.0001798 0.004703 -0.5033 1 -0.000002319 0.00003737 0.001341 0.0002171 0.01473 3.133 0.2282 0.003138 0.0004901 1 1 0.0007094 0.0084 0.06467 0.009305 0.1102 0.8481 json
t18_x20_u0_b111 18 20 0 111 add(P,dst(R,sub(P,R))) 124497 146978949 o2(x,o2(x,o2(x,x))) true 24383 24383 0.8973 0.9593 0.9417 0.1166 0.3415 -1 1 2 1 1.11 0.001154 0.00172 0.01515 -0.1972 1 -0.00001627 0.0006698 0.005935 0.002644 0.05142 3.394 0.4828 0.02464 0.005744 1 1 0.005386 0.05489 0.1521 0.04619 0.4707 1.304 json
t18_x20_u0_b112 18 20 0 112 add(P,dst(R,mlt(P,R))) 124498 146978950 o2(x,o2(x,o2(x,x))) true 24391 24391 0.4799 0.7493 0.8906 0.6246 0.7903 -1 1 2 1 2.305 0.002956 0.003426 0.02893 -0.07367 1 0.00004014 0.001938 0.01223 0.005543 0.07445 2.574 0.6786 0.01022 0.003102 1 1 0.009887 0.1073 0.3564 0.01583 0.1718 0.5706 json
t18_x20_u0_b113 18 20 0 113 add(P,dst(R,div(P,R))) 124499 146978951 o2(x,o2(x,o2(x,x))) true 24399 24399 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