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_x18_u0_b7 19 18 0 7 add(R,eql(sqt(P),P)) 151900 155018644 o2(x,o2(o1(x),x)) true 95207 95207 0.1082 0.5613 0.4415 0.2674 0.5171 -0.9989 1 1.999 1 4.876 0.003082 0.002987 0.06095 0.01566 1 0.00002651 0.0005013 0.0149 0.002354 0.04851 0.796 0.3135 0.0227 0.001875 1 1 0.01215 0.1509 0.4503 0.04543 0.5642 1.684 json
t19_x18_u0_b8 19 18 0 8 add(R,min(sqt(P),P)) 151901 155018645 o2(x,o2(o1(x),x)) true 95215 95215 0.0005735 0.4974 0.9396 0.9155 0.9568 -1 1 2 1 2.038 0.001185 0.000386 0.01185 0.5086 1 -0.00002483 0.0002883 0.004131 0.00143 0.03782 3.193 0.312 0.001716 0.000315 1 1 0.003801 0.04408 0.2669 0.004152 0.04814 0.2915 json
t19_x18_u0_b9 19 18 0 9 add(R,dot(sqt(P),P)) 151902 155018646 o2(x,o2(o1(x),x)) true 95223 95223 -0.5008 0.25 0.9992 0.7482 0.865 -1 1 2 1 0.8408 0.007433 0.007749 0.007953 -0.02084 1 -7.621e-10 0.03042 0.0156 0.01512 0.123 15.46 2 0.02029 0.04066 1 1 0.01989 0.08144 0.3322 0.02658 0.1089 0.4441 json
t19_x18_u0_b10 19 18 0 10 add(R,dst(sqt(P),P)) 151903 155018647 o2(x,o2(o1(x),x)) true 95231 95231 -0.5116 0.2472 0.9899 0.7252 0.8516 -1 1 2 1 0.9806 0.006084 0.007092 0.008662 -0.07654 1 1.051e-9 0.02611 0.01446 0.01309 0.1144 13.21 2 0.01817 0.03601 1 1 0.01663 0.072 0.2926 0.02293 0.09928 0.4034 json
t19_x18_u0_b11 19 18 0 11 sub(R,add(sqt(P),P)) 151904 155018648 o2(x,o2(o1(x),x)) true 95239 95239 -0.9795 0.008621 0.9855 0.0205 0.1432 -1 0.8285 1.829 1 0.3333 0.004852 0.00008213 0.00736 0.9667 1 -0.000001585 0.008753 0.008394 0.004884 0.06988 9.495 1.829 0.2407 0.4269 1 1 0.007799 0.03165 0.04214 0.3804 1.543 2.055 json
t19_x18_u0_b12 19 18 0 12 sub(R,sub(sqt(P),P)) 151905 155018649 o2(x,o2(o1(x),x)) true 95247 95247 -0.1169 0.4565 0.9127 0.8698 0.9326 -1 1 2 1 2.224 0.004932 0.0005121 0.01532 0.8119 1 -0.00002429 0.008657 0.01018 0.005209 0.07217 4.71 1.829 0.006259 0.009953 1 1 0.00889 0.059 0.231 0.01022 0.06783 0.2656 json
t19_x18_u0_b13 19 18 0 13 sub(R,mlt(sqt(P),P)) 151906 155018650 o2(x,o2(o1(x),x)) true 95255 95255 -0.9569 0.0119 0.9648 0.03653 0.1911 -1 0.8288 1.829 1 0.6288 0.004794 0.0002014 0.009227 0.9194 1 -0.000002615 0.008745 0.009105 0.004913 0.07009 7.596 1.829 0.1368 0.2394 1 1 0.00782 0.03843 0.0687 0.2141 1.052 1.881 json
t19_x18_u0_b14 19 18 0 14 sub(R,div(sqt(P),P)) 151907 155018651 o2(x,o2(o1(x),x)) true 95263 95263 -0.7874 0.06462 0.8138 0.1341 0.3662 -1 0.6027 1.603 1 2.405 0.002074 0.001111 0.02477 0.3023 1 0.00002918 0.002294 0.00923 0.002571 0.05071 2.047 0.9433 0.02376 0.01711 1 1 0.005015 0.05165 0.1479 0.03739 0.3851 1.103 json
t19_x18_u0_b15 19 18 0 15 sub(R,pow(sqt(P),P)) 151908 155018652 o2(x,o2(o1(x),x)) true 95271 95271 -0.9782 0 0.9782 0.01195 0.1093 -1 -0.05702 0.943 1 0.447 0.0007669 0.0001455 0.005078 0.6811 1 9.761e-11 0.001013 0.003535 0.0008871 0.02978 5.866 0.8291 0.07638 0.08483 1 1 0.001695 0.01206 0.02297 0.1419 1.009 1.922 json
t19_x18_u0_b16 19 18 0 16 sub(R,mod(sqt(P),P)) 151909 155018653 o2(x,o2(o1(x),x)) true 95279 95279 -0.9646 0.01402 0.9774 0.03853 0.1963 -1 0.9428 1.943 1 0.4865 0.008139 0.000159 0.01101 0.9617 1 -0.000003413 0.01484 0.012 0.008178 0.09043 8.211 1.943 0.2154 0.3852 1 1 0.01089 0.04601 0.05404 0.2826 1.194 1.402 json
t19_x18_u0_b17 19 18 0 17 sub(R,lrg(sqt(P),P)) 151910 155018654 o2(x,o2(o1(x),x)) true 95287 95287 -0.3773 0.2459 0.5711 0.2908 0.5393 -1 0.9806 1.981 1 4.437 0.002372 0.002439 0.05092 -0.01401 1 0.00004288 0.0005327 0.01383 0.002219 0.0471 0.9252 0.2534 0.01654 0.001832 1 1 0.009737 0.118 0.3367 0.03348 0.4056 1.158 json
t19_x18_u0_b18 19 18 0 18 sub(R,eql(sqt(P),P)) 151911 155018655 o2(x,o2(o1(x),x)) true 95295 95295 -0.09626 0.4226 0.4321 0.258 0.5079 -1 0.9806 1.981 1 4.874 0.003114 0.003004 0.06148 0.0179 1 0.00005021 0.0004929 0.01492 0.002338 0.04835 0.7864 0.3332 0.02372 0.001911 1 1 0.01212 0.1508 0.4445 0.04697 0.5846 1.723 json
t19_x18_u0_b19 19 18 0 19 sub(R,min(sqt(P),P)) 151912 155018656 o2(x,o2(o1(x),x)) true 95303 95303 0.008602 0.4968 0.9328 0.9065 0.9521 -1 1 2 1 2.103 0.00112 0.0004301 0.0124 0.4452 1 -0.00001844 0.0002669 0.004116 0.001396 0.03736 3.013 0.3332 0.00171 0.0002944 1 1 0.003868 0.04483 0.2595 0.004267 0.04946 0.2863 json
t19_x18_u0_b20 19 18 0 20 sub(R,dot(sqt(P),P)) 151913 155018657 o2(x,o2(o1(x),x)) true 95311 95311 -0.9987 0.0006256 0.9992 0.001607 0.04009 -1 0.8282 1.828 1 0.02382 0.0003147 0.0003554 0.0007336 -0.06081 1 7.509e-12 0.001348 0.0009241 0.0006693 0.02587 35.27 1.828 0.417 0.8389 1 1 0.001288 0.005329 0.005844 0.8015 3.316 3.637 json
t19_x18_u0_b21 19 18 0 21 sub(R,dst(sqt(P),P)) 151914 155018658 o2(x,o2(o1(x),x)) true 95319 95319 -0.9797 0.00824 0.9841 0.01944 0.1394 -1 0.8288 1.829 1 0.3102 0.0005607 0.001034 0.003687 -0.297 1 1.99e-10 0.002801 0.003085 0.001582 0.03978 10.79 1.829 0.08207 0.1441 1 1 0.00326 0.01954 0.05946 0.1677 1.005 3.059 json
t19_x18_u0_b22 19 18 0 22 mlt(R,add(sqt(P),P)) 151915 155018659 o2(x,o2(o1(x),x)) true 95327 95327 -0.5256 0.2376 0.9057 0.6042 0.7773 -1 1 2 1 1.987 0.01658 0.01391 0.05599 0.08772 1 0.00001126 0.02752 0.04236 0.02736 0.1654 2.954 1.88 0.05045 0.04554 1 1 0.04261 0.3248 0.7692 0.07051 0.5376 1.273 json
t19_x18_u0_b23 19 18 0 23 mlt(R,sub(sqt(P),P)) 151916 155018660 o2(x,o2(o1(x),x)) true 95335 95335 -0.4753 0.2455 0.7577 0.4891 0.6993 -1 1 2 1 2.729 0.008499 0.004843 0.03925 0.2741 1 0.000009014 0.01124 0.02226 0.01179 0.1086 2.767 1 0.02728 0.02298 1 1 0.01577 0.1344 0.415 0.03225 0.2749 0.8485 json
t19_x18_u0_b24 19 18 0 24 mlt(R,mlt(sqt(P),P)) 151917 155018661 o2(x,o2(o1(x),x)) true 95343 95343 -0.5345 0.2362 0.8954 0.5832 0.7636 -1 1 2 1 2.02 0.02068 0.01814 0.05389 0.06548 1 0.00001092 0.05084 0.05092 0.03592 0.1895 3.517 2.41 0.06655 0.08718 1 1 0.04519 0.3075 0.7423 0.07749 0.5272 1.273 json
t19_x18_u0_b25 19 18 0 25 mlt(R,div(sqt(P),P)) 151918 155018662 o2(x,o2(o1(x),x)) true 95351 95351 -0.5646 0.2 0.6506 0.2714 0.5209 -1 0.9432 1.943 1 2.744 0.007657 0.0004163 0.0199 0.8969 1 -0.000001618 0.01462 0.01342 0.007678 0.08762 4.403 1.943 0.02975 0.05388 1 1 0.01031 0.05383 0.1431 0.03798 0.1984 0.5274 json
t19_x18_u0_b26 19 18 0 26 mlt(R,pow(sqt(P),P)) 151919 155018663 o2(x,o2(o1(x),x)) true 95359 95359 -0.5365 0.2334 0.9128 0.5966 0.7724 -1 1 2 1 1.958 0.03313 0.03249 0.05612 0.009805 1 0.00001788 0.146 0.07334 0.06249 0.25 4.454 2.828 0.11 0.2447 1 1 0.0577 0.3297 0.7593 0.09672 0.5526 1.273 json
t19_x18_u0_b27 19 18 0 27 mlt(R,mod(sqt(P),P)) 151920 155018664 o2(x,o2(o1(x),x)) true 95367 95367 -0.5912 0.1896 0.8267 0.4278 0.6541 -1 1 2 1 2.621 0.007621 0.003911 0.04244 0.3217 1 -0.00002535 0.009425 0.02026 0.009735 0.09867 2.325 1 0.02696 0.02203 1 1 0.01695 0.154 0.4417 0.03962 0.3599 1.032 json
t19_x18_u0_b28 19 18 0 28 mlt(R,lrg(sqt(P),P)) 151921 155018665 o2(x,o2(o1(x),x)) true 95375 95375 0.02062 0.2678 0.1889 0.1055 0.3248 -0.9989 0.9693 1.968 1 3.251 0.001183 0.001609 0.02977 -0.1525 1 0.00002866 0.0001584 0.006748 0.001906 0.04365 1.467 0.2301 0.02647 0.001502 1 1 0.005331 0.06762 0.1753 0.05054 0.6411 1.661 json
t19_x18_u0_b29 19 18 0 29 mlt(R,eql(sqt(P),P)) 151922 155018666 o2(x,o2(o1(x),x)) true 95383 95383 0.007096 0.09966 0.05774 0.02998 0.1731 -0.9526 0.9431 1.896 1 1.4 0.0004943 0.0003799 0.01028 0.1309 1 -0.00002148 0.00005028 0.00237 0.0007688 0.02773 2.697 0.1951 0.02916 0.001677 1 1 0.002159 0.02783 0.07311 0.07201 0.9283 2.439 json
t19_x18_u0_b30 19 18 0 30 mlt(R,min(sqt(P),P)) 151923 155018667 o2(x,o2(o1(x),x)) true 95391 95391 -0.04756 0.4687 0.6544 0.5545 0.7446 -1 1 2 1 4.235 0.0117 0.01432 0.08773 -0.1009 1 -0.0000763 0.01156 0.0376 0.01832 0.1354 1.543 1.294 0.04693 0.02085 1 1 0.03894 0.3668 0.8764 0.07024 0.6616 1.581 json
t19_x18_u0_b31 19 18 0 31 mlt(R,dot(sqt(P),P)) 151924 155018668 o2(x,o2(o1(x),x)) true 95399 95399 -0.7394 0.13 0.9817 0.4296 0.6554 -1 1 2 1 0.8701 0.01844 0.01738 0.0324 0.02951 1 -0.000008641 0.05949 0.04138 0.03477 0.1865 5.755 2.607 0.08338 0.1385 1 1 0.04163 0.2434 0.6004 0.0969 0.5665 1.398 json
t19_x18_u0_b32 19 18 0 32 mlt(R,dst(sqt(P),P)) 151925 155018669 o2(x,o2(o1(x),x)) true 95407 95407 -0.7388 0.1273 0.9259 0.3595 0.5996 -1 1 2 1 1.486 0.007369 0.006863 0.02783 0.03562 1 -0.000007091 0.01692 0.01927 0.01346 0.116 4.168 2 0.03959 0.04708 1 1 0.01593 0.1177 0.3888 0.0443 0.3273 1.082 json
t19_x18_u0_b33 19 18 0 33 div(R,add(sqt(P),P)) 151926 155018670 o2(x,o2(o1(x),x)) true 95415 95415 -0.5621 0.2001 0.5942 0.2508 0.5008 -1 0.4716 1.472 1 2.136 0.005373 0.00006618 0.009954 0.9757 1 -0.000002489 0.01064 0.01021 0.005338 0.07306 7.34 1.472 0.02169 0.04245 1 1 0.006863 0.02888 0.09434 0.02737 0.1151 0.3762 json
t19_x18_u0_b34 19 18 0 34 div(R,sub(sqt(P),P)) 151927 155018671 o2(x,o2(o1(x),x)) true 95423 95423 -0.615 0.211 0.6964 0.2742 0.5236 -1 1 2 1 2.417 0.007243 0.0004699 0.01634 0.8781 1 -0.000002507 0.01389 0.01171 0.007449 0.08631 5.281 2 0.02813 0.05065 1 1 0.01217 0.06366 0.1616 0.04439 0.2322 0.5894 json
t19_x18_u0_b35 19 18 0 35 div(R,mlt(sqt(P),P)) 151928 155018672 o2(x,o2(o1(x),x)) true 95431 95431 -0.5579 0.2004 0.5969 0.2608 0.5107 -1 0.9432 1.943 1 2.145 0.007402 0.0001464 0.0112 0.9612 1 -0.00000796 0.01459 0.01139 0.007421 0.08615 7.689 1.943 0.02894 0.05593 1 1 0.009171 0.03943 0.107 0.03516 0.1512 0.4102 json
t19_x18_u0_b36 19 18 0 36 div(R,div(sqt(P),P)) 151929 155018673 o2(x,o2(o1(x),x)) true 95439 95439 -0.5835 0.1984 0.837 0.4436 0.6661 -1 1 2 1 2.636 0.01105 0.004024 0.04503 0.4662 1 -0.00003392 0.01608 0.02265 0.01305 0.1142 2.536 1.943 0.03399 0.03624 1 1 0.0208 0.1714 0.4576 0.04688 0.3864 1.031 json
t19_x18_u0_b37 19 18 0 37 div(R,pow(sqt(P),P)) 151930 155018674 o2(x,o2(o1(x),x)) true 95447 95447 -0.4918 0.2218 0.5572 0.2835 0.5324 -1 0.9432 1.943 1 2.528 0.004691 0.0003604 0.01383 0.8573 1 -0.00002002 0.008568 0.009248 0.004861 0.06972 5.042 1.829 0.01782 0.03023 1 1 0.007873 0.04801 0.1487 0.02777 0.1694 0.5246 json
t19_x18_u0_b38 19 18 0 38 div(R,mod(sqt(P),P)) 151931 155018675 o2(x,o2(o1(x),x)) true 95455 95455 -0.6332 0.1641 0.6922 0.2417 0.4916 -1 0.6757 1.676 1 2.377 0.004244 0.0002508 0.01467 0.8884 1 0.000007914 0.008071 0.01004 0.004279 0.06541 4.459 1.676 0.0186 0.03339 1 1 0.005991 0.03321 0.1233 0.02478 0.1374 0.51 json
t19_x18_u0_b39 19 18 0 39 div(R,lrg(sqt(P),P)) 151932 155018676 o2(x,o2(o1(x),x)) true 95463 95463 -0.5465 0.2329 0.7376 0.3632 0.6027 -1 0.9693 1.969 1 3.09 0.007374 0.001495 0.03151 0.6629 1 0.00003761 0.01277 0.0153 0.007879 0.08877 2.817 1.898 0.02442 0.03517 1 1 0.01261 0.09145 0.2487 0.03471 0.2518 0.6847 json
t19_x18_u0_b40 19 18 0 40 div(R,eql(sqt(P),P)) 151933 155018677 o2(x,o2(o1(x),x)) true 95471 95471 -0.934 0.03471 0.9637 0.07983 0.2825 -1 0.943 1.943 1 0.6364 0.01177 0.0001907 0.01284 0.9681 1 -0.00001074 0.02313 0.01789 0.0118 0.1086 8.461 1.943 0.1499 0.2897 1 1 0.01558 0.06809 0.1275 0.1952 0.8529 1.598 json
t19_x18_u0_b41 19 18 0 41 div(R,min(sqt(P),P)) 151934 155018678 o2(x,o2(o1(x),x)) true 95479 95479 -0.1307 0.4043 0.2677 0.15 0.3873 -1 0.9968 1.997 1 3.871 0.01153 0.0006452 0.03164 0.894 1 -0.00000246 0.0221 0.02195 0.01117 0.1057 3.341 1.947 0.08112 0.1473 1 1 0.01616 0.08427 0.2581 0.1077 0.5617 1.72 json
t19_x18_u0_b42 19 18 0 42 div(R,dot(sqt(P),P)) 151935 155018679 o2(x,o2(o1(x),x)) true 95487 95487 -0.7522 0.1281 0.7619 0.189 0.4348 -1 0.2464 1.246 1 1.204 0.001797 0.002113 0.005331 -0.08071 1 -4.58e-7 0.007837 0.008051 0.003883 0.06231 11.69 1.756 0.02069 0.04146 1 1 0.005163 0.02188 0.09055 0.02732 0.1158 0.479 json
t19_x18_u0_b43 19 18 0 43 div(R,dst(sqt(P),P)) 151936 155018680 o2(x,o2(o1(x),x)) true 95495 95495 -0.7587 0.1213 0.797 0.1995 0.4466 -1 1 2 1 1.596 0.002113 0.003906 0.009851 -0.2978 1 -0.00000209 0.01164 0.009938 0.005921 0.07695 7.811 2.085 0.03018 0.05833 1 1 0.009121 0.04446 0.1343 0.04572 0.2229 0.6735 json
t19_x18_u0_b44 19 18 0 44 pow(R,add(sqt(P),P)) 151937 155018681 o2(x,o2(o1(x),x)) true 95503 95503 -0.9612 0.02344 0.992 0.06528 0.2555 -1 1 2 1 0.2447 0.008333 0.005349 0.00859 0.2181 1 0.000001388 0.02856 0.01587 0.0136 0.1166 13.58 2.58 0.2096 0.4375 1 1 0.01155 0.04891 0.1248 0.1769 0.7492 1.911 json
t19_x18_u0_b45 19 18 0 45 pow(R,sub(sqt(P),P)) 151938 155018682 o2(x,o2(o1(x),x)) true 95511 95511 -0.8594 0.07031 1 0.2613 0.5112 -1 1 2 1 0.3671 0.03275 0.002771 0.01776 0.844 1 0 0.07155 0.03553 0.03522 0.1877 10.57 2 0.136 0.2738 1 1 0.04211 0.1684 0.3634 0.1611 0.6446 1.391 json
t19_x18_u0_b46 19 18 0 46 pow(R,mlt(sqt(P),P)) 151939 155018683 o2(x,o2(o1(x),x)) true 95519 95519 -0.9598 0.02312 0.9933 0.06989 0.2644 -1 1 2 1 0.2326 0.00897 0.005735 0.008628 0.22 1 5.271e-7 0.03076 0.01646 0.01463 0.1209 14.02 2.698 0.2104 0.4401 1 1 0.01259 0.053 0.1349 0.1801 0.7583 1.93 json
t19_x18_u0_b47 19 18 0 47 pow(R,div(sqt(P),P)) 151940 155018684 o2(x,o2(o1(x),x)) true 95527 95527 -0.9929 0.003906 0.9993 0.01279 0.1131 -1 0.9737 1.974 1 0.04655 0.000715 0.00142 0.001275 -0.3302 1 0.000001456 0.004444 0.002439 0.002133 0.04618 36.23 1.965 0.1669 0.3473 1 1 0 0 0.01082 0 0 0.8459 json
t19_x18_u0_b48 19 18 0 48 pow(R,pow(sqt(P),P)) 151941 155018685 o2(x,o2(o1(x),x)) true 95535 95535 -0.9897 0.003906 0.9946 0.01419 0.1191 -1 0.8669 1.867 1 0.08544 0.001602 0.001785 0.00241 -0.05396 1 -5.256e-11 0.00717 0.00468 0.003382 0.05815 24.13 2.64 0.2388 0.5054 1 1 0.0006226 0.004299 0.01275 0.04389 0.303 0.8988 json
t19_x18_u0_b49 19 18 0 49 pow(R,mod(sqt(P),P)) 151942 155018686 o2(x,o2(o1(x),x)) true 95543 95543 -0.9878 0.007813 0.9965 0.01952 0.1397 -1 1 2 1 0.09569 0.001679 0.001438 0.002309 0.07728 1 0.000005194 0.006438 0.00408 0.003112 0.05579 24.16 2 0.1596 0.3298 1 1 0 0 0.01643 0 0 0.8416 json
t19_x18_u0_b50 19 18 0 50 pow(R,lrg(sqt(P),P)) 151943 155018687 o2(x,o2(o1(x),x)) true 95551 95551 0.08315 0.5508 0.9816 0.9655 0.9826 -1 1 2 1 1.377 0.01947 0.01142 0.01926 0.2603 1 0.000005839 0.06397 0.03591 0.03051 0.1747 9.071 2.828 0.03199 0.06625 1 1 0.0346 0.1451 0.528 0.03584 0.1503 0.5469 json
t19_x18_u0_b51 19 18 0 51 pow(R,eql(sqt(P),P)) 151944 155018688 o2(x,o2(o1(x),x)) true 95559 95559 0.6951 0.8516 0.992 0.504 0.7099 -1 1 2 1 0.8625 0.02744 0.0113 0.02148 0.4167 1 3.792e-10 0.07971 0.04118 0.03829 0.1957 9.112 2.828 0.07685 0.1582 1 1 0.04976 0.2063 0.8071 0.09873 0.4093 1.601 json
t19_x18_u0_b52 19 18 0 52 pow(R,min(sqt(P),P)) 151945 155018689 o2(x,o2(o1(x),x)) true 95567 95567 -0.8571 0.07422 0.9945 0.2572 0.5072 -1 1 2 1 0.4908 0.02287 0.02266 0.02402 0.004604 1 0.00000316 0.09492 0.04723 0.04494 0.212 8.825 2.828 0.177 0.369 1 1 0.04423 0.1854 0.6125 0.1719 0.7207 2.381 json
t19_x18_u0_b53 19 18 0 53 pow(R,dot(sqt(P),P)) 151946 155018690 o2(x,o2(o1(x),x)) true 95575 95575 -0.992 0.007401 0.9924 0.008134 0.09019 -1 0.1242 1.124 1 0.06981 0.0007733 0.0009869 0.001752 -0.1213 1 3.561e-7 0.003713 0.003466 0.001757 0.04192 23.93 1.502 0.2164 0.4565 1 1 0.0002228 0.00157 0.007192 0.02739 0.193 0.8841 json
t19_x18_u0_b54 19 18 0 54 pow(R,dst(sqt(P),P)) 151947 155018691 o2(x,o2(o1(x),x)) true 95583 95583 -0.9825 0.01172 0.9941 0.02765 0.1663 -1 1 2 1 0.1275 0.003095 0.003477 0.004238 -0.05811 1 0.000002474 0.0139 0.008177 0.006559 0.08099 19.11 2.828 0.2377 0.5028 1 1 0.007437 0.0308 0.06743 0.269 1.114 2.439 json
t19_x18_u0_b55 19 18 0 55 mod(R,add(sqt(P),P)) 151948 155018692 o2(x,o2(o1(x),x)) true 95591 95591 -0.5736 0.1995 0.7298 0.325 0.57 -1 0.9806 1.981 1 3.079 0.008479 0.001297 0.03255 0.7347 1 0.00001063 0.01473 0.01637 0.008716 0.09336 2.868 1.943 0.03008 0.04532 1 1 0.01323 0.09166 0.2549 0.04071 0.2821 0.7843 json
t19_x18_u0_b56 19 18 0 56 mod(R,sub(sqt(P),P)) 151949 155018693 o2(x,o2(o1(x),x)) true 95599 95599 -0.641 0.1638 0.7631 0.2885 0.5371 -1 0.9806 1.981 1 2.732 0.004878 0.001002 0.02621 0.6591 1 0.00001884 0.007921 0.01275 0.005195 0.07208 2.75 1.457 0.02038 0.02745 1 1 0.008106 0.06384 0.2202 0.0281 0.2213 0.7632 json
t19_x18_u0_b57 19 18 0 57 mod(R,mlt(sqt(P),P)) 151950 155018694 o2(x,o2(o1(x),x)) true 95607 95607 -0.5736 0.1995 0.7298 0.325 0.57 -1 0.9806 1.981 1 3.079 0.008479 0.001297 0.03255 0.7347 1 0.00001063 0.01473 0.01637 0.008716 0.09336 2.868 1.943 0.03008 0.04532 1 1 0.01323 0.09166 0.2549 0.04071 0.2821 0.7843 json
t19_x18_u0_b58 19 18 0 58 mod(R,div(sqt(P),P)) 151951 155018695 o2(x,o2(o1(x),x)) true 95615 95615 -0.5708 0.1911 0.6465 0.2635 0.5133 -1 0.9432 1.943 1 2.735 0.007643 0.0004439 0.01975 0.8902 1 -0.00002063 0.01462 0.01335 0.0077 0.08775 4.442 1.943 0.0307 0.05551 1 1 0.01054 0.05641 0.1383 0.04001 0.2141 0.5249 json
t19_x18_u0_b59 19 18 0 59 mod(R,pow(sqt(P),P)) 151952 155018696 o2(x,o2(o1(x),x)) true 95623 95623 -0.5075 0.2342 0.6935 0.3484 0.5903 -1 0.9806 1.981 1 3.396 0.005748 0.001487 0.03555 0.5889 1 -1.078e-7 0.008702 0.01432 0.00597 0.07727 2.173 1.829 0.02077 0.02497 1 1 0.01182 0.09948 0.2945 0.03393 0.2855 0.8451 json
t19_x18_u0_b60 19 18 0 60 mod(R,mod(sqt(P),P)) 151953 155018697 o2(x,o2(o1(x),x)) true 95631 95631 -0.6415 0.1642 0.7683 0.2923 0.5406 -1 0.9806 1.981 1 2.742 0.005301 0.001074 0.02663 0.6631 1 0.00002051 0.008764 0.01266 0.005662 0.07525 2.825 1.956 0.02181 0.02998 1 1 0.008861 0.06835 0.2329 0.03031 0.2338 0.7969 json
t19_x18_u0_b61 19 18 0 61 mod(R,lrg(sqt(P),P)) 151954 155018698 o2(x,o2(o1(x),x)) true 95639 95639 -0.5465 0.2329 0.7376 0.3632 0.6027 -1 0.9693 1.969 1 3.09 0.007374 0.001495 0.03151 0.6629 1 0.00003761 0.01277 0.0153 0.007879 0.08877 2.817 1.898 0.02442 0.03517 1 1 0.01261 0.09145 0.2487 0.03471 0.2518 0.6847 json
t19_x18_u0_b62 19 18 0 62 mod(R,eql(sqt(P),P)) 151955 155018699 o2(x,o2(o1(x),x)) true 95647 95647 -0.934 0.03471 0.9637 0.07983 0.2825 -1 0.943 1.943 1 0.6364 0.01177 0.0001907 0.01284 0.9681 1 -0.00001074 0.02313 0.01789 0.0118 0.1086 8.461 1.943 0.1499 0.2897 1 1 0.01558 0.06809 0.1275 0.1952 0.8529 1.598 json
t19_x18_u0_b63 19 18 0 63 mod(R,min(sqt(P),P)) 151956 155018700 o2(x,o2(o1(x),x)) true 95655 95655 -0.12 0.4324 0.4674 0.3015 0.5491 -1 0.9806 1.981 1 4.761 0.01585 0.002792 0.06406 0.7005 1 0.00004824 0.0275 0.03166 0.01454 0.1206 1.882 1.943 0.06184 0.09123 1 1 0.02584 0.1831 0.5035 0.0857 0.6074 1.67 json
t19_x18_u0_b64 19 18 0 64 mod(R,dot(sqt(P),P)) 151957 155018701 o2(x,o2(o1(x),x)) true 95663 95663 -0.7383 0.1285 0.8418 0.2536 0.5036 -1 0.9432 1.943 1 1.958 0.002927 0.003944 0.01913 -0.1481 1 -0.000007843 0.01138 0.01188 0.006505 0.08065 4.216 2.097 0.0271 0.04488 1 1 0.009546 0.06089 0.2098 0.03764 0.2401 0.8273 json
t19_x18_u0_b65 19 18 0 65 mod(R,dst(sqt(P),P)) 151958 155018702 o2(x,o2(o1(x),x)) true 95671 95671 -0.7537 0.1203 0.8477 0.2386 0.4885 -1 0.9276 1.928 1 1.878 0.002863 0.003732 0.018 -0.1317 1 -0.000007843 0.01107 0.01162 0.006272 0.0792 4.399 1.969 0.02764 0.04638 1 1 0.00886 0.05481 0.192 0.03713 0.2297 0.8046 json
t19_x18_u0_b66 19 18 0 66 lrg(R,add(sqt(P),P)) 151959 155018703 o2(x,o2(o1(x),x)) true 95679 95679 0.4961 0.5378 0.4961 0.2412 0.4911 0 1 1 1 1.415 0.0003238 0.0001053 0.004981 0.5091 1 -0.000005705 0.00002256 0.001187 0.0004044 0.02011 4.037 0.1169 0.001779 0.00009352 1 1 0.001146 0.01504 0.08976 0.004753 0.06234 0.3721 json
t19_x18_u0_b67 19 18 0 67 lrg(R,sub(sqt(P),P)) 151960 155018704 o2(x,o2(o1(x),x)) true 95687 95687 0.9297 0.9991 0.9297 0.04739 0.2177 8.471e-8 1 1 1 0.9953 0.0004939 0.0003704 0.01005 0.1428 1 -0.00001711 0.00004728 0.002414 0.0007628 0.02762 2.748 0.1169 0.01824 0.0009977 1 1 0.002347 0.03051 0.1048 0.04954 0.6439 2.211 json
t19_x18_u0_b68 19 18 0 68 lrg(R,mlt(sqt(P),P)) 151961 155018705 o2(x,o2(o1(x),x)) true 95695 95695 0.4961 0.5378 0.4961 0.2412 0.4911 0 1 1 1 1.415 0.0003238 0.0001053 0.004981 0.5091 1 -0.000005705 0.00002256 0.001187 0.0004044 0.02011 4.037 0.1169 0.001779 0.00009352 1 1 0.001146 0.01504 0.08976 0.004753 0.06234 0.3721 json
t19_x18_u0_b69 19 18 0 69 lrg(R,div(sqt(P),P)) 151962 155018706 o2(x,o2(o1(x),x)) true 95703 95703 0.6221 0.8005 0.6221 0.2017 0.4491 0 1 1 1 2.125 0.001054 0.0004765 0.0179 0.3772 1 0.00002282 0.0000868 0.00431 0.00121 0.03478 1.943 0.1169 0.007584 0.0004302 1 1 0.002978 0.03906 0.1676 0.01476 0.1936 0.831 json
t19_x18_u0_b70 19 18 0 70 lrg(R,pow(sqt(P),P)) 151963 155018707 o2(x,o2(o1(x),x)) true 95711 95711 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_x18_u0_b71 19 18 0 71 lrg(R,mod(sqt(P),P)) 151964 155018708 o2(x,o2(o1(x),x)) true 95719 95719 0.5703 0.619 0.5703 0.2349 0.4847 0 1 1 1 1.451 0.0003045 0.0001755 0.005652 0.2688 1 -0.00001141 0.00002677 0.001359 0.0004481 0.02117 3.745 0.1169 0.002043 0.000114 1 1 0.001279 0.01661 0.07962 0.005444 0.0707 0.3389 json
t19_x18_u0_b72 19 18 0 72 lrg(R,lrg(sqt(P),P)) 151965 155018709 o2(x,o2(o1(x),x)) true 95727 95727 0.2422 0.4982 0.2422 0.1282 0.3581 0 1 1 1 2.408 0.001205 0.001316 0.02956 -0.04423 1 -0.00002994 0.0001512 0.007216 0.001648 0.0406 1.373 0.1169 0.01966 0.001179 1 1 0.005145 0.06684 0.1791 0.04013 0.5213 1.397 json
t19_x18_u0_b73 19 18 0 73 lrg(R,eql(sqt(P),P)) 151966 155018710 o2(x,o2(o1(x),x)) true 95735 95735 0.416 0.8273 0.416 0.1566 0.3957 0 1 1 1 3.256 0.001821 0.002157 0.04662 -0.08441 1 -6.989e-7 0.0002319 0.01132 0.001804 0.04247 0.911 0.1169 0.0254 0.001481 1 1 0.007376 0.09501 0.2765 0.04711 0.6068 1.766 json
t19_x18_u0_b74 19 18 0 74 lrg(R,min(sqt(P),P)) 151967 155018711 o2(x,o2(o1(x),x)) true 95743 95743 0.4961 0.5378 0.4961 0.2412 0.4911 0 1 1 1 1.415 0.0003238 0.0001053 0.004981 0.5091 1 -0.000005705 0.00002256 0.001187 0.0004044 0.02011 4.037 0.1169 0.001779 0.00009352 1 1 0.001146 0.01504 0.08976 0.004753 0.06234 0.3721 json
t19_x18_u0_b75 19 18 0 75 lrg(R,dot(sqt(P),P)) 151968 155018712 o2(x,o2(o1(x),x)) true 95751 95751 0.7217 0.7537 0.7217 0.1938 0.4402 0 1 1 1 1.191 0.0001804 0.0001804 0.004101 0.000002339 1 -5.714e-10 0.0000173 0.0009644 0.0003441 0.01855 4.524 0.1169 0.001862 0.00008927 1 1 0.0009528 0.01251 0.07885 0.004917 0.06454 0.4069 json
t19_x18_u0_b76 19 18 0 76 lrg(R,dst(sqt(P),P)) 151969 155018713 o2(x,o2(o1(x),x)) true 95759 95759 0.7334 0.7767 0.7334 0.1857 0.4309 0 1 1 1 1.28 0.0002857 0.0001961 0.00554 0.186 1 -7.115e-10 0.00002585 0.001333 0.0004511 0.02124 3.834 0.1169 0.002595 0.0001392 1 1 0.001374 0.01794 0.07557 0.007398 0.09658 0.4069 json
t19_x18_u0_b77 19 18 0 77 eql(R,add(sqt(P),P)) 151970 155018714 o2(x,o2(o1(x),x)) true 95767 95767 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_x18_u0_b78 19 18 0 78 eql(R,sub(sqt(P),P)) 151971 155018715 o2(x,o2(o1(x),x)) true 95775 95775 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_x18_u0_b79 19 18 0 79 eql(R,mlt(sqt(P),P)) 151972 155018716 o2(x,o2(o1(x),x)) true 95783 95783 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_x18_u0_b80 19 18 0 80 eql(R,div(sqt(P),P)) 151973 155018717 o2(x,o2(o1(x),x)) true 95791 95791 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_x18_u0_b81 19 18 0 81 eql(R,pow(sqt(P),P)) 151974 155018718 o2(x,o2(o1(x),x)) true 95799 95799 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_x18_u0_b82 19 18 0 82 eql(R,mod(sqt(P),P)) 151975 155018719 o2(x,o2(o1(x),x)) true 95807 95807 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_x18_u0_b83 19 18 0 83 eql(R,lrg(sqt(P),P)) 151976 155018720 o2(x,o2(o1(x),x)) true 95815 95815 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_x18_u0_b84 19 18 0 84 eql(R,eql(sqt(P),P)) 151977 155018721 o2(x,o2(o1(x),x)) true 95823 95823 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_x18_u0_b85 19 18 0 85 eql(R,min(sqt(P),P)) 151978 155018722 o2(x,o2(o1(x),x)) true 95831 95831 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_x18_u0_b86 19 18 0 86 eql(R,dot(sqt(P),P)) 151979 155018723 o2(x,o2(o1(x),x)) true 95839 95839 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_x18_u0_b87 19 18 0 87 eql(R,dst(sqt(P),P)) 151980 155018724 o2(x,o2(o1(x),x)) true 95847 95847 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_x18_u0_b88 19 18 0 88 min(R,add(sqt(P),P)) 151981 155018725 o2(x,o2(o1(x),x)) true 95855 95855 -0.005276 0.4805 0.3857 0.2142 0.4628 -0.9989 0.9806 1.979 1 4.852 0.0028 0.003069 0.06243 -0.04583 1 0.00002809 0.000342 0.01428 0.001973 0.04442 0.7115 0.2301 0.0274 0.001597 1 1 0.01137 0.1459 0.366 0.05307 0.6813 1.709 json
t19_x18_u0_b89 19 18 0 89 min(R,sub(sqt(P),P)) 151982 155018726 o2(x,o2(o1(x),x)) true 95863 95863 -0.3971 0.2561 0.6031 0.334 0.578 -1 0.9693 1.969 1 4.06 0.001557 0.00171 0.03664 -0.04668 1 0.00001769 0.0001954 0.008543 0.001925 0.04388 1.198 0.2301 0.009782 0.0005851 1 1 0.006518 0.08243 0.2328 0.01951 0.2468 0.697 json
t19_x18_u0_b90 19 18 0 90 min(R,mlt(sqt(P),P)) 151983 155018727 o2(x,o2(o1(x),x)) true 95871 95871 -0.005276 0.4805 0.3857 0.2142 0.4628 -0.9989 0.9806 1.979 1 4.852 0.0028 0.003069 0.06243 -0.04583 1 0.00002809 0.000342 0.01428 0.001973 0.04442 0.7115 0.2301 0.0274 0.001597 1 1 0.01137 0.1459 0.366 0.05307 0.6813 1.709 json
t19_x18_u0_b91 19 18 0 91 min(R,div(sqt(P),P)) 151984 155018728 o2(x,o2(o1(x),x)) true 95879 95879 -0.01866 0.484 0.3739 0.1994 0.4465 -0.9989 0.9693 1.968 1 4.814 0.002461 0.002877 0.05926 -0.07787 1 0.00001467 0.0003112 0.01361 0.001826 0.04273 0.7211 0.2301 0.02677 0.001561 1 1 0.01085 0.1391 0.3456 0.05442 0.6977 1.733 json
t19_x18_u0_b92 19 18 0 92 min(R,pow(sqt(P),P)) 151985 155018729 o2(x,o2(o1(x),x)) true 95887 95887 0.008979 0.4983 0.3946 0.2196 0.4686 -0.9989 0.9806 1.979 1 4.862 0.002813 0.00317 0.0632 -0.05957 1 0.00002651 0.0003508 0.01449 0.001989 0.0446 0.7057 0.2301 0.02725 0.001598 1 1 0.01182 0.1519 0.3914 0.05384 0.6917 1.782 json
t19_x18_u0_b93 19 18 0 93 min(R,mod(sqt(P),P)) 151986 155018730 o2(x,o2(o1(x),x)) true 95895 95895 -0.01617 0.4661 0.3809 0.2097 0.4579 -0.9989 0.9806 1.979 1 4.841 0.00254 0.002998 0.06038 -0.08272 1 0.00003544 0.0003254 0.01384 0.001893 0.0435 0.7205 0.2301 0.02641 0.001552 1 1 0.01081 0.139 0.3777 0.05156 0.6628 1.801 json
t19_x18_u0_b94 19 18 0 94 min(R,lrg(sqt(P),P)) 151987 155018731 o2(x,o2(o1(x),x)) true 95903 95903 -0.1232 0.2561 0.3292 0.1622 0.4027 -0.9989 0.9693 1.968 1 4.534 0.001696 0.00212 0.04719 -0.1109 1 0.00002414 0.0002192 0.01083 0.00159 0.03987 0.845 0.2301 0.02353 0.001351 1 1 0.007325 0.09349 0.2357 0.04516 0.5763 1.453 json
t19_x18_u0_b95 19 18 0 95 min(R,eql(sqt(P),P)) 151988 155018732 o2(x,o2(o1(x),x)) true 95911 95911 -0.2147 0.0789 0.2742 0.0963 0.3103 -0.9989 0.9431 1.942 1 3.969 0.001203 0.001212 0.03684 -0.00369 1 0.000002808 0.0001404 0.008551 0.001058 0.03253 0.8829 0.1967 0.02509 0.001458 1 1 0.004908 0.0632 0.1697 0.05097 0.6563 1.762 json
t19_x18_u0_b96 19 18 0 96 min(R,min(sqt(P),P)) 151989 155018733 o2(x,o2(o1(x),x)) true 95919 95919 -0.4947 0.2244 0.669 0.3314 0.5756 -1 0.9806 1.981 1 3.609 0.001675 0.001465 0.03457 0.06692 1 -5.686e-7 0.0001859 0.007986 0.001945 0.0441 1.276 0.219 0.009476 0.0005609 1 1 0.006236 0.08108 0.2653 0.01882 0.2447 0.8006 json
t19_x18_u0_b97 19 18 0 97 min(R,dot(sqt(P),P)) 151990 155018734 o2(x,o2(o1(x),x)) true 95927 95927 0.005739 0.494 0.3927 0.2182 0.4671 -0.9989 0.9806 1.979 1 4.859 0.002786 0.003153 0.06291 -0.06171 1 0.00002651 0.0003464 0.01439 0.001982 0.04452 0.7077 0.2301 0.02722 0.001588 1 1 0.01167 0.1499 0.3841 0.05348 0.6869 1.76 json
t19_x18_u0_b98 19 18 0 98 min(R,dst(sqt(P),P)) 151991 155018735 o2(x,o2(o1(x),x)) true 95935 95935 0.002161 0.4901 0.3906 0.2162 0.465 -0.9989 0.9806 1.979 1 4.855 0.00273 0.003141 0.06246 -0.07001 1 0.00002651 0.0003425 0.01429 0.00197 0.04439 0.7106 0.2301 0.02715 0.001584 1 1 0.01144 0.1469 0.3831 0.05288 0.6792 1.771 json
t19_x18_u0_b99 19 18 0 99 dot(R,add(sqt(P),P)) 151992 155018736 o2(x,o2(o1(x),x)) true 95943 95943 -0.7238 0.1394 0.9723 0.4395 0.6629 -1 1 2 1 1.029 0.01263 0.01321 0.02974 -0.02245 1 0.000008327 0.03483 0.03156 0.02494 0.1579 5.31 2.069 0.05879 0.07927 1 1 0.03274 0.2025 0.5611 0.0745 0.4608 1.277 json
t19_x18_u0_b100 19 18 0 100 dot(R,sub(sqt(P),P)) 151993 155018737 o2(x,o2(o1(x),x)) true 95951 95951 -0.7566 0.1152 0.9226 0.3306 0.575 -1 1 2 1 1.456 0.006001 0.006078 0.0253 -0.00639 1 -9.592e-7 0.0128 0.01744 0.01144 0.1069 4.228 2 0.03654 0.03873 1 1 0.0133 0.1019 0.3195 0.04022 0.3081 0.9665 json
t19_x18_u0_b101 19 18 0 101 dot(R,mlt(sqt(P),P)) 151994 155018738 o2(x,o2(o1(x),x)) true 95959 95959 -0.7264 0.1381 0.9773 0.4424 0.6652 -1 1 2 1 0.9496 0.01473 0.01698 0.03001 -0.07099 1 0.00001918 0.05181 0.03734 0.0308 0.1755 5.848 2.807 0.07168 0.1171 1 1 0.03616 0.2136 0.5749 0.08173 0.4827 1.299 json
t19_x18_u0_b102 19 18 0 102 dot(R,div(sqt(P),P)) 151995 155018739 o2(x,o2(o1(x),x)) true 95967 95967 -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_x18_u0_b103 19 18 0 103 dot(R,pow(sqt(P),P)) 151996 155018740 o2(x,o2(o1(x),x)) true 95975 95975 -0.7248 0.1389 0.9872 0.4574 0.6763 -1 1 2 1 0.8217 0.02317 0.02697 0.03162 -0.07579 1 0 0.1204 0.05313 0.04912 0.2216 7.011 2.828 0.1096 0.2633 1 1 0.04505 0.2358 0.606 0.09851 0.5155 1.325 json
t19_x18_u0_b104 19 18 0 104 dot(R,mod(sqt(P),P)) 151997 155018741 o2(x,o2(o1(x),x)) true 95983 95983 -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_x18_u0_b105 19 18 0 105 dot(R,lrg(sqt(P),P)) 151998 155018742 o2(x,o2(o1(x),x)) true 95991 95991 0.04299 0.4016 0.3225 0.2006 0.4479 -1 1 2 1 4.343 0.002507 0.00359 0.05334 -0.1776 1 0.00005811 0.0004947 0.01271 0.003251 0.05701 1.069 0.3911 0.03039 0.002466 1 1 0.01133 0.1416 0.3658 0.05647 0.7058 1.823 json
t19_x18_u0_b106 19 18 0 106 dot(R,eql(sqt(P),P)) 151999 155018743 o2(x,o2(o1(x),x)) true 95999 95999 -0.004699 0.4941 0.4037 0.2334 0.4831 -1 1 2 1 4.889 0.003614 0.003342 0.0659 0.03904 1 -0.00003798 0.0005666 0.01588 0.002613 0.05112 0.7758 0.3508 0.0298 0.002427 1 1 0.01596 0.2002 0.4938 0.06839 0.8576 2.116 json