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_x63_u0_b121 20 63 0 121 sub(R,add(add(D,P),P)) 172300 164957404 o2(x,o2(o2(x,x),x)) true 86807 86807 -0.004691 0.497 0.9712 0.9607 0.9802 -1 1 2 1 1.545 0.001287 0.0001658 0.008651 0.7718 1 -0.000009995 0.0002477 0.002547 0.001379 0.03714 4.293 0.3854 0.001513 0.0002579 1 1 0.0038 0.04578 0.3093 0.003956 0.04765 0.322 json
t20_x63_u0_b122 20 63 0 122 sub(R,add(sub(D,P),P)) 172301 164957405 o2(x,o2(o2(x,x),x)) true 86815 86815 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_x63_u0_b123 20 63 0 123 sub(R,add(mlt(D,P),P)) 172302 164957406 o2(x,o2(o2(x,x),x)) true 86823 86823 0.01846 0.5043 0.9354 0.9125 0.9552 -1 1 2 1 2.021 0.001309 0.0003896 0.01287 0.5414 1 -0.0000205 0.0003207 0.004531 0.001534 0.03916 3.043 0.3626 0.001862 0.0003515 1 1 0.004205 0.04712 0.262 0.004608 0.05163 0.2871 json
t20_x63_u0_b124 20 63 0 124 sub(R,add(div(D,P),P)) 172303 164957407 o2(x,o2(o2(x,x),x)) true 86831 86831 -0.1249 0.4373 0.99 0.9695 0.9846 -1 1 2 1 1.25 0.01496 0.00009166 0.01153 0.9878 1 -0.000007239 0.03012 0.0191 0.01491 0.1221 10.59 2.002 0.01553 0.03107 1 1 0.0196 0.0791 0.334 0.02022 0.08159 0.3445 json
t20_x63_u0_b125 20 63 0 125 sub(R,add(pow(D,P),P)) 172304 164957408 o2(x,o2(o2(x,x),x)) true 86839 86839 -0.9929 0 0.9929 0.003657 0.06047 -1 -0.1639 0.8361 1 0.1755 0.0006065 0.00003966 0.002324 0.8772 1 -5.913e-11 0.0009956 0.002745 0.0006407 0.02531 10.89 0.8293 0.1767 0.2722 1 1 0.001102 0.005769 0.009584 0.3014 1.577 2.621 json
t20_x63_u0_b126 20 63 0 126 sub(R,add(mod(D,P),P)) 172305 164957409 o2(x,o2(o2(x,x),x)) true 86847 86847 -0.1219 0.4375 0.992 0.9724 0.9861 -1 1 2 1 1.219 0.01525 0.00007372 0.01115 0.9904 1 -0.000006629 0.03013 0.0187 0.0152 0.1233 11.05 2.004 0.01576 0.03099 1 1 0.02042 0.0843 0.3379 0.021 0.08669 0.3475 json
t20_x63_u0_b127 20 63 0 127 sub(R,add(lrg(D,P),P)) 172306 164957410 o2(x,o2(o2(x,x),x)) true 86855 86855 -0.08136 0.4567 0.9069 0.867 0.9311 -1 1 2 1 2.337 0.00316 0.000555 0.01615 0.7012 1 -0.00001753 0.004772 0.009994 0.003453 0.05876 3.638 1.015 0.004285 0.005504 1 1 0.006438 0.05055 0.2392 0.007426 0.0583 0.2759 json
t20_x63_u0_b128 20 63 0 128 sub(R,add(eql(D,P),P)) 172307 164957411 o2(x,o2(o2(x,x),x)) true 86863 86863 0.004612 0.4968 0.9368 0.913 0.9555 -1 1 2 1 2.013 0.001147 0.000385 0.01159 0.4976 1 -0.00002051 0.0002745 0.003871 0.001399 0.0374 3.228 0.3332 0.001679 0.0003007 1 1 0.003782 0.0437 0.2627 0.004142 0.04787 0.2877 json
t20_x63_u0_b129 20 63 0 129 sub(R,add(min(D,P),P)) 172308 164957412 o2(x,o2(o2(x,x),x)) true 86871 86871 0.03031 0.5076 0.9473 0.9294 0.9641 -1 1 2 1 1.807 0.001403 0.0002878 0.01109 0.6595 1 -0.00000924 0.0003276 0.003719 0.001567 0.03958 3.571 0.4157 0.001819 0.0003525 1 1 0.004255 0.04792 0.2761 0.004579 0.05156 0.2971 json
t20_x63_u0_b130 20 63 0 130 sub(R,add(dot(D,P),P)) 172309 164957413 o2(x,o2(o2(x,x),x)) true 86879 86879 0.03634 0.5178 0.9347 0.9123 0.9551 -1 1 2 1 2.006 0.001319 0.004571 0.02494 -0.5521 1 -0.0004379 0.002049 0.01296 0.005269 0.07259 2.91 0.5473 0.006456 0.002246 1 1 0.01033 0.08347 0.2627 0.01132 0.09149 0.288 json
t20_x63_u0_b131 20 63 0 131 sub(R,add(dst(D,P),P)) 172310 164957414 o2(x,o2(o2(x,x),x)) true 86887 86887 -0.8662 0.05107 0.8944 0.114 0.3377 -1 0.8496 1.85 1 1.484 0.000691 0.000856 0.01432 -0.1066 1 0.00008758 0.0003165 0.005086 0.001342 0.03664 2.559 0.3698 0.01356 0.002775 1 1 0.003781 0.03731 0.1053 0.03315 0.3271 0.9234 json
t20_x63_u0_b132 20 63 0 132 sub(R,sub(add(D,P),P)) 172311 164957415 o2(x,o2(o2(x,x),x)) true 86895 86895 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_x63_u0_b133 20 63 0 133 sub(R,sub(sub(D,P),P)) 172312 164957416 o2(x,o2(o2(x,x),x)) true 86903 86903 -0.004855 0.4969 0.9703 0.9589 0.9792 -1 1 2 1 1.548 0.002107 0.0001662 0.009969 0.8537 1 -0.000007078 0.0006217 0.004816 0.002174 0.04662 4.677 0.4664 0.00237 0.0006483 1 1 0.005705 0.05094 0.3064 0.005949 0.05313 0.3196 json
t20_x63_u0_b134 20 63 0 134 sub(R,sub(mlt(D,P),P)) 172313 164957417 o2(x,o2(o2(x,x),x)) true 86911 86911 0.01718 0.5032 0.9406 0.9183 0.9583 -1 1 2 1 1.977 0.001319 0.0003663 0.01209 0.5653 1 -0.00002102 0.0003323 0.004331 0.001539 0.03922 3.245 0.342 0.001835 0.0003619 1 1 0.004126 0.04571 0.2674 0.004493 0.04978 0.2913 json
t20_x63_u0_b135 20 63 0 135 sub(R,sub(div(D,P),P)) 172314 164957418 o2(x,o2(o2(x,x),x)) true 86919 86919 -0.1243 0.4375 0.9925 0.9733 0.9865 -1 1 2 1 1.201 0.01508 0.00007386 0.01078 0.9903 1 -0.000007955 0.03034 0.01851 0.01505 0.1227 11.38 2 0.01557 0.03117 1 1 0.01958 0.08038 0.3348 0.02012 0.08258 0.344 json
t20_x63_u0_b136 20 63 0 136 sub(R,sub(pow(D,P),P)) 172315 164957419 o2(x,o2(o2(x,x),x)) true 86927 86927 -0.9966 0 0.9966 0.001573 0.03966 -1 -0.1712 0.8288 1 0.1047 0.0005302 0.00002087 0.001717 0.9242 1 -3.754e-11 0.0009377 0.002226 0.0005485 0.02342 13.64 0.8288 0.3504 0.5962 1 1 0.0009382 0.002895 0.004521 0.5965 1.84 2.875 json
t20_x63_u0_b137 20 63 0 137 sub(R,sub(mod(D,P),P)) 172316 164957420 o2(x,o2(o2(x,x),x)) true 86935 86935 -0.1207 0.4375 0.9896 0.9711 0.9855 -1 1 2 1 1.238 0.01533 0.0000933 0.01145 0.9879 1 -0.000007519 0.03042 0.01917 0.01529 0.1237 10.8 2 0.01589 0.03132 1 1 0.02014 0.08458 0.3408 0.02074 0.08709 0.3509 json
t20_x63_u0_b138 20 63 0 138 sub(R,sub(lrg(D,P),P)) 172317 164957421 o2(x,o2(o2(x,x),x)) true 86943 86943 -0.04169 0.4785 0.9638 0.949 0.9741 -1 1 2 1 1.647 0.004562 0.0002164 0.01434 0.9094 1 -0.00001767 0.00513 0.009522 0.004571 0.06761 4.715 1.014 0.005036 0.005406 1 1 0.009336 0.06447 0.2898 0.009838 0.06794 0.3054 json
t20_x63_u0_b139 20 63 0 139 sub(R,sub(eql(D,P),P)) 172318 164957422 o2(x,o2(o2(x,x),x)) true 86951 86951 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
t20_x63_u0_b140 20 63 0 140 sub(R,sub(min(D,P),P)) 172319 164957423 o2(x,o2(o2(x,x),x)) true 86959 86959 0.4933 0.757 0.6802 0.3411 0.5841 -0.9989 1 1.999 1 3.634 0.002246 0.001838 0.03767 0.09994 1 0.000008361 0.0004023 0.009778 0.002664 0.05162 1.37 0.342 0.01197 0.001179 1 1 0.008558 0.101 0.2771 0.02509 0.2961 0.8123 json
t20_x63_u0_b141 20 63 0 141 sub(R,sub(dot(D,P),P)) 172320 164957424 o2(x,o2(o2(x,x),x)) true 86967 86967 0.03537 0.515 0.9383 0.9165 0.9573 -1 1 2 1 1.953 0.0013 0.003834 0.02219 -0.4936 1 -0.0003902 0.001812 0.01157 0.004639 0.06811 3.069 0.536 0.005601 0.001977 1 1 0.009652 0.07875 0.2669 0.01053 0.08592 0.2912 json
t20_x63_u0_b142 20 63 0 142 sub(R,sub(dst(D,P),P)) 172321 164957425 o2(x,o2(o2(x,x),x)) true 86975 86975 -0.8619 0.0592 0.9029 0.1314 0.3626 -1 1 2 1 1.421 0.0008242 0.0009897 0.01524 -0.09127 1 0.00006627 0.0003291 0.00505 0.00158 0.03975 2.609 0.3793 0.0138 0.002503 1 1 0.004608 0.04787 0.1531 0.03506 0.3642 1.165 json
t20_x63_u0_b143 20 63 0 143 sub(R,mlt(add(D,P),P)) 172322 164957426 o2(x,o2(o2(x,x),x)) true 86983 86983 -0.9048 0.03284 0.9264 0.08389 0.2896 -1 0.8291 1.829 1 1.15 0.001061 0.0003967 0.01205 0.4556 1 -0.00000711 0.0002885 0.003982 0.001312 0.03622 3.006 0.2735 0.01737 0.003439 1 1 0.003677 0.04418 0.1606 0.04383 0.5266 1.915 json
t20_x63_u0_b144 20 63 0 144 sub(R,mlt(sub(D,P),P)) 172323 164957427 o2(x,o2(o2(x,x),x)) true 86991 86991 0.9362 0.9746 0.9575 0.06406 0.2531 -0.952 1 1.952 1 0.8525 0.00174 0.0002926 0.01182 0.7121 1 -0.00003274 0.0004996 0.004963 0.001893 0.0435 3.682 0.3773 0.03173 0.007798 1 1 0.004782 0.04815 0.113 0.07464 0.7517 1.764 json
t20_x63_u0_b145 20 63 0 145 sub(R,mlt(mlt(D,P),P)) 172324 164957428 o2(x,o2(o2(x,x),x)) true 86999 86999 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_x63_u0_b146 20 63 0 146 sub(R,mlt(div(D,P),P)) 172325 164957429 o2(x,o2(o2(x,x),x)) true 87007 87007 -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_x63_u0_b147 20 63 0 147 sub(R,mlt(pow(D,P),P)) 172326 164957430 o2(x,o2(o2(x,x),x)) true 87015 87015 -0.9017 0.04982 0.9846 0.166 0.4074 -1 1 2 1 0.5413 0.02125 0.00008065 0.01625 0.9924 1 -0.000004687 0.04063 0.02527 0.02106 0.1451 8.933 2 0.1286 0.2448 1 1 0.02985 0.1425 0.2528 0.1799 0.8588 1.523 json
t20_x63_u0_b148 20 63 0 148 sub(R,mlt(mod(D,P),P)) 172327 164957431 o2(x,o2(o2(x,x),x)) true 87023 87023 -0.01683 0.5099 0.5857 0.4627 0.6802 -1 1 2 1 4.571 0.04301 0.002385 0.1406 0.8949 1 -0.001309 0.03494 0.07526 0.02563 0.1601 1.139 1.913 0.09811 0.07551 1 1 0.05593 0.3875 0.5211 0.1209 0.8375 1.126 json
t20_x63_u0_b149 20 63 0 149 sub(R,mlt(lrg(D,P),P)) 172328 164957432 o2(x,o2(o2(x,x),x)) true 87031 87031 0.4529 0.7191 0.6665 0.3631 0.6026 -0.9986 1 1.999 1 3.689 0.002143 0.001663 0.03784 0.126 1 -0.000018 0.0003148 0.009259 0.002374 0.04873 1.288 0.3332 0.01048 0.0008669 1 1 0.007792 0.09852 0.2953 0.02146 0.2713 0.8133 json
t20_x63_u0_b150 20 63 0 150 sub(R,mlt(eql(D,P),P)) 172329 164957433 o2(x,o2(o2(x,x),x)) true 87039 87039 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_x63_u0_b151 20 63 0 151 sub(R,mlt(min(D,P),P)) 172330 164957434 o2(x,o2(o2(x,x),x)) true 87047 87047 -0.4052 0.3035 0.7248 0.4758 0.6898 -1 1 2 1 3.565 0.01621 0.001482 0.07717 0.8325 1 -0.0007669 0.004145 0.03152 0.01174 0.1084 1.404 0.5854 0.03719 0.008711 1 1 0.02459 0.213 0.3066 0.05169 0.4476 0.6444 json
t20_x63_u0_b152 20 63 0 152 sub(R,mlt(dot(D,P),P)) 172331 164957435 o2(x,o2(o2(x,x),x)) true 87055 87055 0.00929 0.5069 0.8102 0.7493 0.8656 -1 1 2 1 3.241 0.1362 0.08461 0.2236 0.2336 1 0.00001819 0.3984 0.267 0.1708 0.4133 1.849 2.828 0.2947 0.5316 1 1 0.2148 0.9622 0.3409 0.2867 1.284 0.4549 json
t20_x63_u0_b153 20 63 0 153 sub(R,mlt(dst(D,P),P)) 172332 164957436 o2(x,o2(o2(x,x),x)) true 87063 87063 -0.003376 0.4977 0.9776 0.969 0.9844 -1 1 2 1 1.444 0.002245 0.0001576 0.008879 0.8688 1 -0.000002519 0.0009397 0.005191 0.002322 0.04819 5.428 0.71 0.002479 0.0009698 1 1 0.005435 0.051 0.3136 0.00561 0.05264 0.3237 json
t20_x63_u0_b154 20 63 0 154 sub(R,div(add(D,P),P)) 172333 164957437 o2(x,o2(o2(x,x),x)) true 87071 87071 -0.834 0 0.834 0.06462 0.2542 -1 -0.01086 0.9891 1 2.4 0.00291 0.001357 0.03097 0.3639 1 0.00006639 0.004241 0.01578 0.003309 0.05752 1.857 0.9121 0.06604 0.06563 1 1 0.006441 0.05167 0.1161 0.09969 0.7996 1.797 json
t20_x63_u0_b155 20 63 0 155 sub(R,div(sub(D,P),P)) 172334 164957438 o2(x,o2(o2(x,x),x)) true 87079 87079 0.5733 0.874 0.8233 0.4168 0.6456 -1 1 2 1 2.991 0.02907 0.001333 0.04252 0.9123 1 -0.00005505 0.05724 0.04065 0.0286 0.1691 3.977 2.002 0.07294 0.1373 1 1 0.04082 0.1836 0.6434 0.09792 0.4405 1.543 json
t20_x63_u0_b156 20 63 0 156 sub(R,div(mlt(D,P),P)) 172335 164957439 o2(x,o2(o2(x,x),x)) true 87087 87087 -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_x63_u0_b157 20 63 0 157 sub(R,div(div(D,P),P)) 172336 164957440 o2(x,o2(o2(x,x),x)) true 87095 87095 -0.12 0.4311 0.4679 0.3028 0.5503 -1 1 2 1 4.767 0.01598 0.002791 0.06509 0.7026 1 0.00005019 0.02753 0.032 0.01454 0.1206 1.852 1.929 0.062 0.09093 1 1 0.02617 0.1853 0.5057 0.08642 0.6121 1.67 json
t20_x63_u0_b158 20 63 0 158 sub(R,div(pow(D,P),P)) 172337 164957441 o2(x,o2(o2(x,x),x)) true 87103 87103 -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_x63_u0_b159 20 63 0 159 sub(R,div(mod(D,P),P)) 172338 164957442 o2(x,o2(o2(x,x),x)) true 87111 87111 -0.1356 0.4197 0.4677 0.2978 0.5457 -1 0.9891 1.989 1 4.76 0.01541 0.002791 0.0653 0.6933 1 0.00001546 0.02747 0.03198 0.01394 0.1181 1.808 1.912 0.06112 0.09225 1 1 0.02477 0.1717 0.4884 0.08319 0.5765 1.64 json
t20_x63_u0_b160 20 63 0 160 sub(R,div(lrg(D,P),P)) 172339 164957443 o2(x,o2(o2(x,x),x)) true 87119 87119 0.003975 0.5271 0.4986 0.3571 0.5976 -1 1 2 1 4.77 0.02358 0.002676 0.06536 0.7962 1 0.00004202 0.04293 0.03737 0.02199 0.1483 2.269 2.006 0.07353 0.1202 1 1 0.03661 0.2205 0.5948 0.1025 0.6175 1.666 json
t20_x63_u0_b161 20 63 0 161 sub(R,div(eql(D,P),P)) 172340 164957444 o2(x,o2(o2(x,x),x)) true 87127 87127 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_x63_u0_b162 20 63 0 162 sub(R,div(min(D,P),P)) 172341 164957445 o2(x,o2(o2(x,x),x)) true 87135 87135 -0.4858 0.193 0.634 0.2812 0.5302 -1 0.9891 1.989 1 4.02 0.009568 0.002102 0.04894 0.6398 1 0.00003847 0.0166 0.02411 0.009271 0.09629 1.967 1.912 0.0415 0.05902 1 1 0.01599 0.1133 0.3043 0.05688 0.4029 1.082 json
t20_x63_u0_b163 20 63 0 163 sub(R,div(dot(D,P),P)) 172342 164957446 o2(x,o2(o2(x,x),x)) true 87143 87143 -0.1201 0.4405 0.4848 0.327 0.5718 -1 1 2 1 4.737 0.0174 0.006436 0.08724 0.4599 1 0.000006255 0.02971 0.04217 0.01622 0.1274 1.46 2.056 0.07288 0.09086 1 1 0.03453 0.2385 0.5118 0.1056 0.7293 1.565 json
t20_x63_u0_b164 20 63 0 164 sub(R,div(dst(D,P),P)) 172343 164957447 o2(x,o2(o2(x,x),x)) true 87151 87151 -0.1117 0.4375 0.9327 0.8868 0.9417 -1 1 2 1 2.276 0.01629 0.0005459 0.02047 0.9351 1 0.00002906 0.03184 0.0216 0.01642 0.1281 6.26 2.002 0.01898 0.03591 1 1 0.02291 0.1032 0.3863 0.02583 0.1164 0.4356 json
t20_x63_u0_b165 20 63 0 165 sub(R,pow(add(D,P),P)) 172344 164957448 o2(x,o2(o2(x,x),x)) true 87159 87159 -0.9741 0.0006714 0.9741 0.01584 0.1259 -1 0.05246 1.052 1 0.4806 0.0008522 0.0001553 0.005735 0.6917 1 4.13e-11 0.001027 0.003698 0.0009751 0.03123 5.445 0.8294 0.0636 0.06483 1 1 0.001916 0.01536 0.02924 0.1209 0.9696 1.845 json
t20_x63_u0_b166 20 63 0 166 sub(R,pow(sub(D,P),P)) 172345 164957449 o2(x,o2(o2(x,x),x)) true 87167 87167 -0.588 0.1996 0.7447 0.3224 0.5678 -1 0.9644 1.964 1 3.101 0.001891 0.0015 0.03014 0.1153 1 0.0000454 0.001151 0.009213 0.002483 0.04983 1.653 0.8292 0.01052 0.003571 1 1 0.006728 0.07523 0.2077 0.02087 0.2334 0.6444 json
t20_x63_u0_b167 20 63 0 167 sub(R,pow(mlt(D,P),P)) 172346 164957450 o2(x,o2(o2(x,x),x)) true 87175 87175 -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_x63_u0_b168 20 63 0 168 sub(R,pow(div(D,P),P)) 172347 164957451 o2(x,o2(o2(x,x),x)) true 87183 87183 -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_x63_u0_b169 20 63 0 169 sub(R,pow(pow(D,P),P)) 172348 164957452 o2(x,o2(o2(x,x),x)) true 87191 87191 -0.9694 0.009842 0.9767 0.0288 0.1697 -1 0.8659 1.866 1 0.4511 0.006977 0.0001373 0.009961 0.9614 1 -0.000002799 0.01365 0.01199 0.007014 0.08375 8.408 1.866 0.247 0.4739 1 1 0.009086 0.03238 0.05086 0.3155 1.124 1.766 json
t20_x63_u0_b170 20 63 0 170 sub(R,pow(mod(D,P),P)) 172349 164957453 o2(x,o2(o2(x,x),x)) true 87199 87199 -0.9955 0 0.9955 0.0021 0.04582 -1 -0.171 0.829 1 0.1283 0.0005283 0.00002694 0.001806 0.9029 1 5.256e-11 0.0009325 0.002262 0.0005522 0.0235 13.01 0.829 0.2644 0.4441 1 1 0.0009472 0.003735 0.00588 0.4511 1.779 2.8 json
t20_x63_u0_b171 20 63 0 171 sub(R,pow(lrg(D,P),P)) 172350 164957454 o2(x,o2(o2(x,x),x)) true 87207 87207 -0.4239 0.2153 0.5938 0.2826 0.5316 -1 0.9806 1.981 1 4.3 0.002585 0.002339 0.04962 0.04989 1 0.00004932 0.0006236 0.01401 0.002462 0.04962 0.9999 0.312 0.01742 0.002206 1 1 0.009681 0.1139 0.305 0.03426 0.4032 1.079 json
t20_x63_u0_b172 20 63 0 172 sub(R,pow(eql(D,P),P)) 172351 164957455 o2(x,o2(o2(x,x),x)) true 87215 87215 -0.5327 0.2153 0.7027 0.3345 0.5784 -1 0.9806 1.981 1 3.318 0.00235 0.001445 0.03358 0.2383 1 0.000004225 0.001133 0.009449 0.002669 0.05166 1.539 0.8294 0.01135 0.003388 1 1 0.007298 0.08688 0.2666 0.02182 0.2597 0.7969 json
t20_x63_u0_b173 20 63 0 173 sub(R,pow(min(D,P),P)) 172352 164957456 o2(x,o2(o2(x,x),x)) true 87223 87223 -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_x63_u0_b174 20 63 0 174 sub(R,pow(dot(D,P),P)) 172353 164957457 o2(x,o2(o2(x,x),x)) true 87231 87231 -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_x63_u0_b175 20 63 0 175 sub(R,pow(dst(D,P),P)) 172354 164957458 o2(x,o2(o2(x,x),x)) true 87239 87239 -0.5327 0.2288 0.712 0.3422 0.585 -1 0.9676 1.968 1 3.353 0.001574 0.001698 0.03207 -0.03781 1 0.00003728 0.0003455 0.008294 0.002243 0.04736 1.477 0.2875 0.009561 0.00101 1 1 0.006487 0.0777 0.2285 0.01896 0.2271 0.6676 json
t20_x63_u0_b176 20 63 0 176 sub(R,mod(add(D,P),P)) 172355 164957459 o2(x,o2(o2(x,x),x)) true 87247 87247 -0.1235 0.4372 0.8563 0.7939 0.891 -1 1 2 1 2.853 0.08153 0.001034 0.1097 0.975 1 9.9e-7 0.1507 0.1412 0.07053 0.2656 2.421 1.943 0.104 0.1898 1 1 0.08961 0.2798 0.3943 0.1129 0.3524 0.4966 json
t20_x63_u0_b177 20 63 0 177 sub(R,mod(sub(D,P),P)) 172356 164957460 o2(x,o2(o2(x,x),x)) true 87255 87255 -0.1195 0.4394 0.8095 0.7356 0.8577 -1 1 2 1 3.231 0.08845 0.001198 0.1144 0.9733 1 0.0001059 0.1644 0.1427 0.07659 0.2767 2.419 2 0.1219 0.2235 1 1 0.09308 0.3204 0.402 0.1265 0.4356 0.5465 json
t20_x63_u0_b178 20 63 0 178 sub(R,mod(mlt(D,P),P)) 172357 164957461 o2(x,o2(o2(x,x),x)) true 87263 87263 -0.01683 0.5099 0.5857 0.4627 0.6802 -1 1 2 1 4.571 0.04301 0.002385 0.1406 0.8949 1 -0.001309 0.03494 0.07526 0.02563 0.1601 1.139 1.913 0.09811 0.07551 1 1 0.05593 0.3875 0.5211 0.1209 0.8375 1.126 json
t20_x63_u0_b179 20 63 0 179 sub(R,mod(div(D,P),P)) 172358 164957462 o2(x,o2(o2(x,x),x)) true 87271 87271 -0.1356 0.4197 0.4677 0.2978 0.5457 -1 0.9891 1.989 1 4.76 0.01541 0.002791 0.0653 0.6933 1 0.00001546 0.02747 0.03198 0.01394 0.1181 1.808 1.912 0.06112 0.09225 1 1 0.02477 0.1717 0.4884 0.08319 0.5765 1.64 json
t20_x63_u0_b180 20 63 0 180 sub(R,mod(pow(D,P),P)) 172359 164957463 o2(x,o2(o2(x,x),x)) true 87279 87279 -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_x63_u0_b181 20 63 0 181 sub(R,mod(mod(D,P),P)) 172360 164957464 o2(x,o2(o2(x,x),x)) true 87287 87287 -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_x63_u0_b182 20 63 0 182 sub(R,mod(lrg(D,P),P)) 172361 164957465 o2(x,o2(o2(x,x),x)) true 87295 87295 -0.4537 0.2145 0.6216 0.2967 0.5447 -1 0.9806 1.981 1 4.106 0.01578 0.002168 0.05472 0.7584 1 0.00005002 0.02777 0.03151 0.01495 0.1223 2.235 1.943 0.06049 0.09358 1 1 0.0245 0.1519 0.3563 0.08255 0.5118 1.201 json
t20_x63_u0_b183 20 63 0 183 sub(R,mod(eql(D,P),P)) 172362 164957466 o2(x,o2(o2(x,x),x)) true 87303 87303 -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
t20_x63_u0_b184 20 63 0 184 sub(R,mod(min(D,P),P)) 172363 164957467 o2(x,o2(o2(x,x),x)) true 87311 87311 0.1079 0.5444 0.6154 0.4929 0.702 -1 1 2 1 4.339 0.01991 0.002119 0.0665 0.8076 1 -0.0007299 0.02941 0.03922 0.01761 0.1327 1.995 1.912 0.04471 0.05967 1 1 0.03306 0.233 0.6115 0.06708 0.4727 1.241 json
t20_x63_u0_b185 20 63 0 185 sub(R,mod(dot(D,P),P)) 172364 164957468 o2(x,o2(o2(x,x),x)) true 87319 87319 0.03148 0.5293 0.6659 0.5615 0.7493 -1 1 2 1 4.243 0.06857 0.06554 0.2203 0.02258 1 -0.001927 0.3389 0.2401 0.08556 0.2925 1.328 2.828 0.2388 0.6036 1 1 0.1206 0.5772 0.5903 0.2148 1.028 1.051 json
t20_x63_u0_b186 20 63 0 186 sub(R,mod(dst(D,P),P)) 172365 164957469 o2(x,o2(o2(x,x),x)) true 87327 87327 -0.8298 0.05023 0.8586 0.1195 0.3458 -1 0.8937 1.894 1 2.109 0.02762 0.009101 0.06435 0.5044 1 0.0006354 0.0869 0.07967 0.03259 0.1805 2.805 2.446 0.3072 0.7269 1 1 0.04339 0.1635 0.2027 0.363 1.368 1.695 json
t20_x63_u0_b187 20 63 0 187 sub(R,lrg(add(D,P),P)) 172366 164957470 o2(x,o2(o2(x,x),x)) true 87335 87335 -0.4226 0.1991 0.5655 0.2483 0.4983 -1 0.9802 1.98 1 4.396 0.04752 0.002554 0.1144 0.898 1 0.00008838 0.08409 0.1105 0.03699 0.1923 1.682 1.023 0.2016 0.3386 1 1 0.05828 0.2809 0.2873 0.2347 1.131 1.157 json
t20_x63_u0_b188 20 63 0 188 sub(R,lrg(sub(D,P),P)) 172367 164957471 o2(x,o2(o2(x,x),x)) true 87343 87343 -0.4025 0.227 0.5803 0.2833 0.5322 -1 0.9806 1.981 1 4.373 0.005027 0.002397 0.05416 0.3542 1 0.00004721 0.005164 0.01959 0.004491 0.06701 1.237 1.014 0.02621 0.01823 1 1 0.01356 0.1305 0.3162 0.04786 0.4605 1.116 json
t20_x63_u0_b189 20 63 0 189 sub(R,lrg(mlt(D,P),P)) 172368 164957472 o2(x,o2(o2(x,x),x)) true 87351 87351 -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
t20_x63_u0_b190 20 63 0 190 sub(R,lrg(div(D,P),P)) 172369 164957473 o2(x,o2(o2(x,x),x)) true 87359 87359 -0.4025 0.227 0.5803 0.2833 0.5322 -1 0.9806 1.981 1 4.373 0.005027 0.002397 0.05416 0.3542 1 0.00004721 0.005164 0.01959 0.004491 0.06701 1.237 1.014 0.02621 0.01823 1 1 0.01356 0.1305 0.3162 0.04786 0.4605 1.116 json
t20_x63_u0_b191 20 63 0 191 sub(R,lrg(pow(D,P),P)) 172370 164957474 o2(x,o2(o2(x,x),x)) true 87367 87367 -0.636 0.07729 0.6932 0.1759 0.4194 -1 0.9804 1.98 1 3.63 0.02276 0.002012 0.07085 0.8375 1 0.00003272 0.03926 0.05826 0.01975 0.1405 1.983 1.022 0.1408 0.2232 1 1 0.03075 0.168 0.2208 0.1748 0.9549 1.255 json
t20_x63_u0_b192 20 63 0 192 sub(R,lrg(mod(D,P),P)) 172371 164957475 o2(x,o2(o2(x,x),x)) true 87375 87375 -0.4239 0.2153 0.5938 0.2826 0.5316 -1 0.9806 1.981 1 4.3 0.002585 0.002339 0.04962 0.04989 1 0.00004932 0.0006236 0.01401 0.002462 0.04962 0.9999 0.312 0.01742 0.002206 1 1 0.009681 0.1139 0.305 0.03426 0.4032 1.079 json
t20_x63_u0_b193 20 63 0 193 sub(R,lrg(lrg(D,P),P)) 172372 164957476 o2(x,o2(o2(x,x),x)) true 87383 87383 -0.4025 0.227 0.5803 0.2833 0.5322 -1 0.9806 1.981 1 4.373 0.005027 0.002397 0.05416 0.3542 1 0.00004721 0.005164 0.01959 0.004491 0.06701 1.237 1.014 0.02621 0.01823 1 1 0.01356 0.1305 0.3162 0.04786 0.4605 1.116 json
t20_x63_u0_b194 20 63 0 194 sub(R,lrg(eql(D,P),P)) 172373 164957477 o2(x,o2(o2(x,x),x)) true 87391 87391 -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
t20_x63_u0_b195 20 63 0 195 sub(R,lrg(min(D,P),P)) 172374 164957478 o2(x,o2(o2(x,x),x)) true 87399 87399 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_x63_u0_b196 20 63 0 196 sub(R,lrg(dot(D,P),P)) 172375 164957479 o2(x,o2(o2(x,x),x)) true 87407 87407 -0.4017 0.2209 0.5729 0.2726 0.5221 -1 0.9806 1.981 1 4.415 0.004447 0.009896 0.06885 -0.3799 1 0.00002428 0.02766 0.05138 0.009604 0.098 1.423 1.374 0.05262 0.1015 1 1 0.0193 0.1453 0.3403 0.07082 0.533 1.248 json
t20_x63_u0_b197 20 63 0 197 sub(R,lrg(dst(D,P),P)) 172376 164957480 o2(x,o2(o2(x,x),x)) true 87415 87415 -0.7678 0.01483 0.7773 0.0967 0.311 -1 0.9247 1.925 1 2.905 0.005178 0.002641 0.04166 0.3244 1 0.00006506 0.0128 0.02583 0.006085 0.07801 1.873 1.353 0.08086 0.1323 1 1 0.01208 0.08593 0.1699 0.1249 0.8885 1.757 json
t20_x63_u0_b198 20 63 0 198 sub(R,eql(add(D,P),P)) 172377 164957481 o2(x,o2(o2(x,x),x)) true 87423 87423 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_x63_u0_b199 20 63 0 199 sub(R,eql(sub(D,P),P)) 172378 164957482 o2(x,o2(o2(x,x),x)) true 87431 87431 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_x63_u0_b200 20 63 0 200 sub(R,eql(mlt(D,P),P)) 172379 164957483 o2(x,o2(o2(x,x),x)) true 87439 87439 -0.04116 0.4621 0.4134 0.2429 0.4929 -1 0.9806 1.981 1 4.887 0.003595 0.003089 0.0647 0.07576 1 0.00003624 0.0005259 0.01542 0.002498 0.04998 0.7724 0.3332 0.02751 0.002165 1 1 0.0133 0.1656 0.4074 0.05476 0.6817 1.677 json
t20_x64_u0_b0 20 64 0 0 add(R,add(add(D,P),D)) 172380 164997684 o2(x,o2(o2(x,x),x)) true 87447 87447 0.004181 0.4995 0.9414 0.9221 0.9603 -1 1 2 1 1.945 0.001154 0.0003623 0.01258 0.5221 1 -0.00002046 0.0002298 0.003713 0.001359 0.03687 2.93 0.2253 0.001644 0.0002492 1 1 0.003753 0.04492 0.2697 0.00407 0.04871 0.2925 json
t20_x64_u0_b1 20 64 0 1 add(R,add(sub(D,P),D)) 172381 164997685 o2(x,o2(o2(x,x),x)) true 87455 87455 0.004561 0.4974 0.9367 0.9132 0.9556 -1 1 2 1 2.016 0.002785 0.0003881 0.01784 0.7554 1 -0.00001977 0.0008152 0.00829 0.002856 0.05344 2.996 0.442 0.003474 0.0008926 1 1 0.007775 0.06407 0.2632 0.008514 0.07016 0.2882 json
t20_x64_u0_b2 20 64 0 2 add(R,add(mlt(D,P),D)) 172382 164997686 o2(x,o2(o2(x,x),x)) true 87463 87463 -0.1155 0.416 0.5149 0.3546 0.5955 -1 1 2 1 4.841 0.03149 0.002785 0.1433 0.8375 1 0.001784 0.008215 0.0597 0.01374 0.1172 0.818 0.5999 0.09665 0.02317 1 1 0.0463 0.3797 0.3498 0.1306 1.071 0.9865 json
t20_x64_u0_b3 20 64 0 3 add(R,add(div(D,P),D)) 172383 164997687 o2(x,o2(o2(x,x),x)) true 87471 87471 -0.1045 0.4449 0.4764 0.3184 0.5643 -1 1 2 1 4.767 0.01822 0.002784 0.07561 0.7349 1 0.00007783 0.02799 0.03654 0.01529 0.1237 1.635 2 0.06597 0.08791 1 1 0.03071 0.2204 0.5224 0.09642 0.6922 1.641 json
t20_x64_u0_b4 20 64 0 4 add(R,add(pow(D,P),D)) 172384 164997688 o2(x,o2(o2(x,x),x)) true 87479 87479 -0.8836 0.06221 0.9914 0.2076 0.4556 -1 1 2 1 0.4502 0.02753 0.00004704 0.01645 0.9966 1 -0.000003432 0.05499 0.03049 0.02729 0.1652 10.04 2.001 0.1329 0.2649 1 1 0.03703 0.1554 0.3055 0.1784 0.7486 1.472 json
t20_x64_u0_b5 20 64 0 5 add(R,add(mod(D,P),D)) 172385 164997689 o2(x,o2(o2(x,x),x)) true 87487 87487 -0.1195 0.4396 0.4911 0.3349 0.5787 -1 1 2 1 4.739 0.02149 0.002754 0.09316 0.7728 1 0.00005113 0.02869 0.04592 0.01556 0.1247 1.339 2 0.07238 0.08566 1 1 0.03611 0.252 0.5026 0.1078 0.7524 1.501 json
t20_x64_u0_b6 20 64 0 6 add(R,add(lrg(D,P),D)) 172386 164997690 o2(x,o2(o2(x,x),x)) true 87495 87495 0.3998 0.736 0.6041 0.3177 0.5637 -1 1 2 1 4.315 0.00726 0.002222 0.0613 0.5314 1 0.00008737 0.006729 0.02473 0.005724 0.07566 1.234 1.073 0.02984 0.02118 1 1 0.01733 0.1484 0.2981 0.05453 0.4672 0.9381 json
t20_x64_u0_b7 20 64 0 7 add(R,add(eql(D,P),D)) 172387 164997691 o2(x,o2(o2(x,x),x)) true 87503 87503 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_x64_u0_b8 20 64 0 8 add(R,add(min(D,P),D)) 172388 164997692 o2(x,o2(o2(x,x),x)) true 87511 87511 -0.4848 0.2398 0.6777 0.3503 0.5918 -1 1 2 1 3.628 0.005043 0.001648 0.05383 0.5073 1 0.0002876 0.0008357 0.01678 0.003794 0.0616 1.144 0.3054 0.01911 0.002386 1 1 0.01365 0.1394 0.2931 0.03896 0.398 0.8367 json
t20_x64_u0_b9 20 64 0 9 add(R,add(dot(D,P),D)) 172389 164997693 o2(x,o2(o2(x,x),x)) true 87519 87519 -0.207 0.3711 0.5889 0.4203 0.6483 -1 1 2 1 4.561 0.02736 0.02649 0.181 0.01609 1 0.002734 0.01776 0.08272 0.0211 0.1453 0.8027 0.7333 0.1281 0.04226 1 1 0.07029 0.5225 0.3145 0.1673 1.243 0.7484 json
t20_x64_u0_b10 20 64 0 10 add(R,add(dst(D,P),D)) 172390 164997694 o2(x,o2(o2(x,x),x)) true 87527 87527 0.9987 1 0.9987 0.0005637 0.02374 0.1997 1 0.8003 1 0.05139 0.00005319 0.00003571 0.0006482 0.1966 0 -2.816e-11 0.00005399 0.0005061 0.00008851 0.009408 14.51 0.2585 0.1577 0.09577 1 1 0.0002783 0.001773 0.002011 0.4938 3.145 3.568 json
t20_x64_u0_b11 20 64 0 11 add(R,sub(add(D,P),D)) 172391 164997695 o2(x,o2(o2(x,x),x)) true 87535 87535 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
t20_x64_u0_b12 20 64 0 12 add(R,sub(sub(D,P),D)) 172392 164997696 o2(x,o2(o2(x,x),x)) true 87543 87543 0.004612 0.4968 0.9368 0.913 0.9555 -1 1 2 1 2.013 0.001147 0.000385 0.01159 0.4976 1 -0.00002051 0.0002745 0.003871 0.001399 0.0374 3.228 0.3332 0.001679 0.0003007 1 1 0.003782 0.0437 0.2627 0.004142 0.04787 0.2877 json
t20_x64_u0_b13 20 64 0 13 add(R,sub(mlt(D,P),D)) 172393 164997697 o2(x,o2(o2(x,x),x)) true 87551 87551 -0.1191 0.4092 0.5144 0.354 0.595 -1 1 2 1 4.836 0.03143 0.002763 0.1434 0.8384 1 0.001843 0.008247 0.05991 0.01363 0.1167 0.8141 0.5946 0.09659 0.0233 1 1 0.04532 0.3669 0.354 0.128 1.036 0.9999 json
t20_x64_u0_b14 20 64 0 14 add(R,sub(div(D,P),D)) 172394 164997698 o2(x,o2(o2(x,x),x)) true 87559 87559 -0.1045 0.4432 0.4743 0.3159 0.562 -1 1 2 1 4.756 0.01805 0.002782 0.07526 0.7329 1 0.00008486 0.02792 0.03638 0.01517 0.1232 1.637 1.96 0.06597 0.0884 1 1 0.03025 0.2159 0.5212 0.09577 0.6836 1.65 json
t20_x64_u0_b15 20 64 0 15 add(R,sub(pow(D,P),D)) 172395 164997699 o2(x,o2(o2(x,x),x)) true 87567 87567 -0.8805 0.0625 0.9945 0.2166 0.4654 -1 1 2 1 0.435 0.02777 0.00003177 0.01602 0.9977 1 -0.000003852 0.05497 0.0298 0.02754 0.1659 10.36 2.006 0.1284 0.2539 1 1 0.03766 0.1595 0.3163 0.1739 0.7367 1.461 json
t20_x64_u0_b16 20 64 0 16 add(R,sub(mod(D,P),D)) 172396 164997700 o2(x,o2(o2(x,x),x)) true 87575 87575 -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
t20_x64_u0_b17 20 64 0 17 add(R,sub(lrg(D,P),D)) 172397 164997701 o2(x,o2(o2(x,x),x)) true 87583 87583 0.4049 0.7363 0.5993 0.309 0.5559 -1 1 2 1 4.318 0.005918 0.002248 0.05949 0.4494 1 -0.0001095 0.006397 0.02289 0.004627 0.06802 1.144 0.9522 0.02643 0.0207 1 1 0.01398 0.1287 0.3058 0.04526 0.4166 0.9895 json
t20_x64_u0_b18 20 64 0 18 add(R,sub(eql(D,P),D)) 172398 164997702 o2(x,o2(o2(x,x),x)) true 87591 87591 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_x64_u0_b19 20 64 0 19 add(R,sub(min(D,P),D)) 172399 164997703 o2(x,o2(o2(x,x),x)) true 87599 87599 -0.4809 0.2369 0.6651 0.3359 0.5796 -1 0.9806 1.981 1 3.673 0.002292 0.001672 0.03903 0.1565 1 5.141e-7 0.0004066 0.01039 0.002441 0.04941 1.266 0.2879 0.0118 0.001211 1 1 0.008319 0.1002 0.2967 0.02477 0.2982 0.8833 json