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_x16_u3_b38 19 16 3 38 div(D,mod(flr(R),D)) 150600 154938476 o2(x,o2(o1(x),x)) true 84807 84807 -0.9385 0.03076 0.9947 0.1117 0.3342 -1 1 2 1 0.2569 0.0398 0.01091 0.03275 0.5697 1 -1.817e-9 0.1152 0.06509 0.04964 0.2228 6.804 2.828 0.4541 1.032 1 1 0.0509 0.158 0.24 0.4558 1.415 2.149 json
t19_x16_u3_b39 19 16 3 39 div(D,lrg(flr(R),D)) 150601 154938477 o2(x,o2(o1(x),x)) true 84815 84815 -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_x16_u3_b40 19 16 3 40 div(D,eql(flr(R),D)) 150602 154938478 o2(x,o2(o1(x),x)) true 84823 84823 -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_x16_u3_b41 19 16 3 41 div(D,min(flr(R),D)) 150603 154938479 o2(x,o2(o1(x),x)) true 84831 84831 -0.7142 0.1385 0.8132 0.2769 0.5262 -1 0.9994 1.999 1 1.704 0.04306 0.02365 0.06101 0.2909 1 -0.000003038 0.1386 0.09975 0.06295 0.2509 4.112 2.828 0.2409 0.5006 1 1 0.06537 0.2629 0.4874 0.2361 0.9494 1.76 json
t19_x16_u3_b42 19 16 3 42 div(D,dot(flr(R),D)) 150604 154938480 o2(x,o2(o1(x),x)) true 84839 84839 -0.6469 0.1653 0.9098 0.4638 0.681 -1 1 2 1 1.914 0.1162 0.1354 0.1482 -0.07635 1 0.0000281 0.9338 0.2821 0.2295 0.479 3.232 2.828 0.5425 2.013 1 1 0.1708 0.4958 0.7365 0.3683 1.069 1.588 json
t19_x16_u3_b43 19 16 3 43 div(D,dst(flr(R),D)) 150605 154938481 o2(x,o2(o1(x),x)) true 84847 84847 -0.03097 0.4235 0.125 0.03256 0.1805 -0.9404 0.9379 1.878 1 3.307 0.005137 0.001014 0.04871 0.6703 1 0.00000489 0.005017 0.01962 0.003779 0.06147 1.262 1.467 0.1889 0.1541 1 1 0.01167 0.07235 0.03998 0.3584 2.222 1.228 json
t19_x16_u3_b44 19 16 3 44 pow(D,add(flr(R),D)) 150606 154938482 o2(x,o2(o1(x),x)) true 84855 84855 -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_x16_u3_b45 19 16 3 45 pow(D,sub(flr(R),D)) 150607 154938483 o2(x,o2(o1(x),x)) true 84863 84863 -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_x16_u3_b46 19 16 3 46 pow(D,mlt(flr(R),D)) 150608 154938484 o2(x,o2(o1(x),x)) true 84871 84871 -0.5781 0.2109 1 0.6661 0.8161 -1 1 2 1 0.7433 0.08151 0.06689 0.07361 0.09847 1 0 0.3136 0.1484 0.143 0.3782 5.137 2.828 0.2228 0.4707 1 1 0.1477 0.6117 1.421 0.2217 0.9184 2.134 json
t19_x16_u3_b47 19 16 3 47 pow(D,div(flr(R),D)) 150609 154938485 o2(x,o2(o1(x),x)) true 84879 84879 -0.5991 0.2004 1 0.6409 0.8006 -1 1 2 1 0.7228 0.08151 0.06381 0.0722 0.1218 1 0 0.3044 0.1453 0.1401 0.3743 5.185 2.828 0.2267 0.4749 1 1 0.1419 0.5967 1.353 0.2215 0.931 2.112 json
t19_x16_u3_b48 19 16 3 48 pow(D,pow(flr(R),D)) 150610 154938486 o2(x,o2(o1(x),x)) true 84887 84887 -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_x16_u3_b49 19 16 3 49 pow(D,mod(flr(R),D)) 150611 154938487 o2(x,o2(o1(x),x)) true 84895 84895 -0.4795 0.2603 1 0.7697 0.8773 -1 1 2 1 0.8271 0.3768 0.06305 0.2193 0.7133 1 0 1.19 0.4398 0.3919 0.626 2.854 2.828 0.5715 1.547 1 1 0.3013 0.7534 1.337 0.3914 0.9788 1.736 json
t19_x16_u3_b50 19 16 3 50 pow(D,lrg(flr(R),D)) 150612 154938488 o2(x,o2(o1(x),x)) true 84903 84903 -0.4922 0.2539 1 0.7577 0.8705 -1 1 2 1 0.8174 0.0868 0.06463 0.07518 0.1464 1 0 0.3176 0.1514 0.1459 0.3819 5.08 2.828 0.1998 0.4191 1 1 0.1571 0.6444 1.437 0.2074 0.8505 1.897 json
t19_x16_u3_b51 19 16 3 51 pow(D,eql(flr(R),D)) 150613 154938489 o2(x,o2(o1(x),x)) true 84911 84911 1 1 1 0 0 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 json
t19_x16_u3_b52 19 16 3 52 pow(D,min(flr(R),D)) 150614 154938490 o2(x,o2(o1(x),x)) true 84919 84919 -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_x16_u3_b53 19 16 3 53 pow(D,dot(flr(R),D)) 150615 154938491 o2(x,o2(o1(x),x)) true 84927 84927 -0.8842 0.05835 0.9991 0.2168 0.4656 -1 1 2 1 0.3513 0.05093 0.05105 0.04329 -0.001215 1 8.586e-7 0.4376 0.1028 0.1002 0.3165 7.31 2.828 0.4704 2.019 1 1 0.06323 0.2039 0.4859 0.2917 0.9407 2.241 json
t19_x16_u3_b54 19 16 3 54 pow(D,dst(flr(R),D)) 150616 154938492 o2(x,o2(o1(x),x)) true 84935 84935 -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_x16_u3_b55 19 16 3 55 mod(D,add(flr(R),D)) 150617 154938493 o2(x,o2(o1(x),x)) true 84943 84943 -0.01913 0.46 0.1255 0.02338 0.1529 -0.2729 0.2729 0.5458 1 3.169 0.02032 0.00008112 0.09528 0.992 1 0.0001049 0.04621 0.1573 0.01133 0.1064 1.117 0.5235 0.8727 1.976 1 1 0.01723 0.03756 0.0101 0.7368 1.607 0.4322 json
t19_x16_u3_b56 19 16 3 56 mod(D,sub(flr(R),D)) 150618 154938494 o2(x,o2(o1(x),x)) true 84951 84951 0.01799 0.4841 0.1257 0.02346 0.1532 -0.2729 0.2729 0.5458 1 3.177 0.02042 0.00008112 0.09549 0.9921 1 0.00004474 0.0464 0.1576 0.01138 0.1067 1.117 0.5235 0.8736 1.978 1 1 0.01745 0.03776 0.01012 0.7438 1.609 0.4313 json
t19_x16_u3_b57 19 16 3 57 mod(D,mlt(flr(R),D)) 150619 154938495 o2(x,o2(o1(x),x)) true 84959 84959 -0.9297 0.01758 0.937 0.06702 0.2589 -1 0.2729 1.273 1 0.5253 0.008278 0.006852 0.02184 0.09427 1 -0.0000469 0.03301 0.04207 0.01466 0.1211 5.543 1.414 0.2258 0.4926 1 1 0.01506 0.05585 0.1472 0.2246 0.8333 2.196 json
t19_x16_u3_b58 19 16 3 58 mod(D,div(flr(R),D)) 150620 154938496 o2(x,o2(o1(x),x)) true 84967 84967 -0.9297 0.03516 0.9363 0.06609 0.2571 -1 0.1454 1.145 1 0.5472 0.005622 0.006765 0.01439 -0.09221 1 0.00002009 0.02568 0.02524 0.01218 0.1104 7.669 1.415 0.1874 0.3886 1 1 0.01289 0.05485 0.1453 0.1951 0.83 2.198 json
t19_x16_u3_b59 19 16 3 59 mod(D,pow(flr(R),D)) 150621 154938497 o2(x,o2(o1(x),x)) true 84975 84975 -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_x16_u3_b60 19 16 3 60 mod(D,mod(flr(R),D)) 150622 154938498 o2(x,o2(o1(x),x)) true 84983 84983 -0.9385 0.03076 0.9413 0.05793 0.2407 -1 0.08586 1.086 1 0.4481 0.008732 0.005909 0.01635 0.1928 1 -0.000001069 0.03092 0.03213 0.01437 0.1199 7.335 1.371 0.2527 0.5338 1 1 0.01457 0.0532 0.1283 0.2515 0.9184 2.215 json
t19_x16_u3_b61 19 16 3 61 mod(D,lrg(flr(R),D)) 150623 154938499 o2(x,o2(o1(x),x)) true 84991 84991 -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_x16_u3_b62 19 16 3 62 mod(D,eql(flr(R),D)) 150624 154938500 o2(x,o2(o1(x),x)) true 84999 84999 -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_x16_u3_b63 19 16 3 63 mod(D,min(flr(R),D)) 150625 154938501 o2(x,o2(o1(x),x)) true 85007 85007 -0.7438 0.1453 0.7807 0.2047 0.4524 -1 0.2729 1.273 1 1.523 0.02445 0.01771 0.05316 0.1599 1 -0.000005222 0.089 0.0947 0.03933 0.1983 3.73 1.415 0.2059 0.4348 1 1 0.042 0.1814 0.3735 0.2052 0.8864 1.825 json
t19_x16_u3_b64 19 16 3 64 mod(D,dot(flr(R),D)) 150626 154938502 o2(x,o2(o1(x),x)) true 85015 85015 -0.6982 0.1393 0.728 0.2158 0.4646 -1 0.2729 1.273 1 1.806 0.04183 0.03728 0.0879 0.05755 1 0.0000633 0.3333 0.1895 0.07141 0.2672 3.04 1.794 0.3666 1.545 1 1 0.05498 0.1541 0.3784 0.2548 0.714 1.754 json
t19_x16_u3_b65 19 16 3 65 mod(D,dst(flr(R),D)) 150627 154938503 o2(x,o2(o1(x),x)) true 85023 85023 0.004255 0.5 0.09862 0.01208 0.1099 -0.1454 0.2666 0.412 1 2.689 0.002088 0.00008649 0.03848 0.9205 1 -0.000007303 0.001587 0.01964 0.0006952 0.02637 0.6852 0.3635 0.18 0.1314 1 1 0.003854 0.02462 0.0009449 0.3189 2.038 0.07819 json
t19_x16_u3_b66 19 16 3 66 lrg(D,add(flr(R),D)) 150628 154938504 o2(x,o2(o1(x),x)) true 85031 85031 0.5176 0.9429 0.5176 0.1537 0.3921 0 1 1 1 3.429 0.001972 0.002442 0.05168 -0.1065 1 0.00001781 0.0002592 0.01257 0.001744 0.04176 0.8079 0.1169 0.02872 0.001686 1 1 0.008731 0.1124 0.2862 0.0568 0.7316 1.862 json
t19_x16_u3_b67 19 16 3 67 lrg(D,sub(flr(R),D)) 150629 154938505 o2(x,o2(o1(x),x)) true 85039 85039 0.7201 1 0.7201 0.1002 0.3165 0.000291 1 0.9997 1 3.207 0.03404 0.001107 0.09497 0.937 1 0.00005357 0.06607 0.1026 0.02613 0.1617 1.702 0.9994 0.3508 0.6594 1 1 0.03671 0.1294 0.133 0.3664 1.292 1.327 json
t19_x16_u3_b68 19 16 3 68 lrg(D,mlt(flr(R),D)) 150630 154938506 o2(x,o2(o1(x),x)) true 85047 85047 0.5 1 0.5 0.1418 0.3765 0.000291 0.9997 0.9994 1 3.406 0.06511 0 0.1228 1 1 0 0.1208 0.1337 0.05001 0.2236 1.821 0.9994 0.4593 0.8522 1 1 0.07073 0.2419 0 0.4989 1.706 0 json
t19_x16_u3_b69 19 16 3 69 lrg(D,div(flr(R),D)) 150631 154938507 o2(x,o2(o1(x),x)) true 85055 85055 0.5 1 0.5 0.1418 0.3765 0.000291 0.9997 0.9994 1 3.406 0.06511 0 0.1228 1 1 0 0.1208 0.1337 0.05001 0.2236 1.821 0.9994 0.4593 0.8522 1 1 0.07073 0.2419 0 0.4989 1.706 0 json
t19_x16_u3_b70 19 16 3 70 lrg(D,pow(flr(R),D)) 150632 154938508 o2(x,o2(o1(x),x)) true 85063 85063 0.7607 1 0.7607 0.1075 0.3279 0.000291 1 0.9997 1 2.776 0.02734 0.00118 0.06882 0.9172 1 0.00001639 0.05101 0.06655 0.02378 0.1542 2.241 0.9997 0.2652 0.4745 1 1 0.03061 0.1388 0.1417 0.2847 1.291 1.318 json
t19_x16_u3_b71 19 16 3 71 lrg(D,mod(flr(R),D)) 150633 154938509 o2(x,o2(o1(x),x)) true 85071 85071 0.5 1 0.5 0.1418 0.3765 0.000291 0.9997 0.9994 1 3.406 0.06511 0 0.1228 1 1 0 0.1208 0.1337 0.05001 0.2236 1.821 0.9994 0.4593 0.8522 1 1 0.07073 0.2419 0 0.4989 1.706 0 json
t19_x16_u3_b72 19 16 3 72 lrg(D,lrg(flr(R),D)) 150634 154938510 o2(x,o2(o1(x),x)) true 85079 85079 0.5 1 0.5 0.1418 0.3765 0.000291 0.9997 0.9994 1 3.406 0.06511 0 0.1228 1 1 0 0.1208 0.1337 0.05001 0.2236 1.821 0.9994 0.4593 0.8522 1 1 0.07073 0.2419 0 0.4989 1.706 0 json
t19_x16_u3_b73 19 16 3 73 lrg(D,eql(flr(R),D)) 150635 154938511 o2(x,o2(o1(x),x)) true 85087 85087 0.5 1 0.5 0.1418 0.3765 0.000291 0.9997 0.9994 1 3.406 0.06511 0 0.1228 1 1 0 0.1208 0.1337 0.05001 0.2236 1.821 0.9994 0.4593 0.8522 1 1 0.07073 0.2419 0 0.4989 1.706 0 json
t19_x16_u3_b74 19 16 3 74 lrg(D,min(flr(R),D)) 150636 154938512 o2(x,o2(o1(x),x)) true 85095 85095 0.7607 1 0.7607 0.1075 0.3279 0.000291 1 0.9997 1 2.776 0.02734 0.00118 0.06882 0.9172 1 0.00001639 0.05101 0.06655 0.02378 0.1542 2.241 0.9997 0.2652 0.4745 1 1 0.03061 0.1388 0.1417 0.2847 1.291 1.318 json
t19_x16_u3_b75 19 16 3 75 lrg(D,dot(flr(R),D)) 150637 154938513 o2(x,o2(o1(x),x)) true 85103 85103 0.492 1 0.492 0.1181 0.3437 0.000291 0.9997 0.9994 1 3.76 0.05173 0.01466 0.1316 0.5584 1 0.0001497 0.1832 0.1654 0.04905 0.2215 1.683 1.409 0.5621 1.551 1 1 0.06934 0.2308 0.06722 0.5871 1.954 0.5692 json
t19_x16_u3_b76 19 16 3 76 lrg(D,dst(flr(R),D)) 150638 154938514 o2(x,o2(o1(x),x)) true 85111 85111 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_x16_u3_b77 19 16 3 77 eql(D,add(flr(R),D)) 150639 154938515 o2(x,o2(o1(x),x)) true 85119 85119 0.4824 0.9147 0.4824 0.1537 0.3921 0 1 1 1 3.429 0.001972 0.002442 0.05168 -0.1065 1 -0.00001781 0.0002592 0.01257 0.001744 0.04176 0.8079 0.1169 0.02872 0.001686 1 1 0.008731 0.1124 0.2862 0.0568 0.7316 1.862 json
t19_x16_u3_b78 19 16 3 78 eql(D,sub(flr(R),D)) 150640 154938516 o2(x,o2(o1(x),x)) true 85127 85127 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_x16_u3_b79 19 16 3 79 eql(D,mlt(flr(R),D)) 150641 154938517 o2(x,o2(o1(x),x)) true 85135 85135 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_x16_u3_b80 19 16 3 80 eql(D,div(flr(R),D)) 150642 154938518 o2(x,o2(o1(x),x)) true 85143 85143 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_x16_u3_b81 19 16 3 81 eql(D,pow(flr(R),D)) 150643 154938519 o2(x,o2(o1(x),x)) true 85151 85151 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_x16_u3_b82 19 16 3 82 eql(D,mod(flr(R),D)) 150644 154938520 o2(x,o2(o1(x),x)) true 85159 85159 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_x16_u3_b83 19 16 3 83 eql(D,lrg(flr(R),D)) 150645 154938521 o2(x,o2(o1(x),x)) true 85167 85167 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_x16_u3_b84 19 16 3 84 eql(D,eql(flr(R),D)) 150646 154938522 o2(x,o2(o1(x),x)) true 85175 85175 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_x16_u3_b85 19 16 3 85 eql(D,min(flr(R),D)) 150647 154938523 o2(x,o2(o1(x),x)) true 85183 85183 0.2393 0.7168 0.2393 0.1075 0.3279 0 0.9997 0.9997 1 2.776 0.02734 0.00118 0.06882 0.9172 1 -0.00001639 0.05101 0.06655 0.02378 0.1542 2.241 0.9997 0.2652 0.4744 1 1 0.03061 0.1388 0.1417 0.2847 1.291 1.317 json
t19_x16_u3_b86 19 16 3 86 eql(D,dot(flr(R),D)) 150648 154938524 o2(x,o2(o1(x),x)) true 85191 85191 0.01138 0.02341 0.01138 0.008791 0.09376 0 0.9994 0.9994 1 0.1808 0.01744 0.01754 0.03199 -0.002909 1 -0.00005045 0.2095 0.09017 0.03394 0.1842 5.759 1.413 3.979 23.83 1 1 0.01454 0.01476 0.01337 1.654 1.679 1.521 json
t19_x16_u3_b87 19 16 3 87 eql(D,dst(flr(R),D)) 150649 154938525 o2(x,o2(o1(x),x)) true 85199 85199 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_x16_u3_b88 19 16 3 88 min(D,add(flr(R),D)) 150650 154938526 o2(x,o2(o1(x),x)) true 85207 85207 -0.506 0.1368 0.5261 0.1526 0.3906 -1 0.1454 1.145 1 3.995 0.003337 0.002385 0.06259 0.1665 1 -0.00004054 0.0006666 0.01756 0.001805 0.04249 0.6788 0.1713 0.0375 0.004369 1 1 0.0112 0.125 0.2676 0.07343 0.8196 1.754 json
t19_x16_u3_b89 19 16 3 89 min(D,sub(flr(R),D)) 150651 154938527 o2(x,o2(o1(x),x)) true 85215 85215 -0.6399 0 0.6399 0.0955 0.309 -1 -0.03152 0.9685 1 3.675 0.003484 0.001527 0.05793 0.3905 1 0.0002923 0.0008346 0.01871 0.001655 0.04068 0.7023 0.1585 0.05247 0.00874 1 1 0.009487 0.09382 0.1652 0.09934 0.9824 1.729 json
t19_x16_u3_b90 19 16 3 90 min(D,mlt(flr(R),D)) 150652 154938528 o2(x,o2(o1(x),x)) true 85223 85223 -0.2165 0 0.2165 0.02131 0.146 -0.4963 -0.000282 0.4961 1 2.937 0.002754 0.00009101 0.04771 0.936 1 0.0004269 0.0005385 0.01721 0.0005688 0.02385 0.4999 0.08329 0.1335 0.02527 1 1 0.005488 0.03791 0.01093 0.2576 1.779 0.5131 json
t19_x16_u3_b91 19 16 3 91 min(D,div(flr(R),D)) 150653 154938529 o2(x,o2(o1(x),x)) true 85231 85231 -0.5001 0 0.5001 0.1511 0.3887 -1 -0.000282 0.9997 1 3.193 0.0477 0.00422 0.1073 0.8374 1 0.0003834 0.1017 0.1197 0.04041 0.201 1.874 0.9688 0.3436 0.6732 1 1 0.05755 0.2118 0.1834 0.3809 1.402 1.214 json
t19_x16_u3_b92 19 16 3 92 min(D,pow(flr(R),D)) 150654 154938530 o2(x,o2(o1(x),x)) true 85239 85239 -0.06955 0.2798 0.1121 0.01344 0.1159 -0.2729 0.1454 0.4183 1 2.895 0.001463 0.00009101 0.03567 0.8829 1 0.0001856 0.0002529 0.01404 0.0002821 0.0168 0.4709 0.0622 0.1156 0.01882 1 1 0.003011 0.02259 0.01093 0.224 1.681 0.8133 json
t19_x16_u3_b93 19 16 3 93 min(D,mod(flr(R),D)) 150655 154938531 o2(x,o2(o1(x),x)) true 85247 85247 -0.1833 0 0.1833 0.01514 0.123 -0.4688 -0.000282 0.4685 1 2.789 0.004162 0.00003508 0.05396 0.9833 1 0.0003102 0.006221 0.04219 0.001286 0.03585 0.6644 0.1993 0.2772 0.4109 1 1 0.005364 0.028 0.004215 0.3543 1.85 0.2784 json
t19_x16_u3_b94 19 16 3 94 min(D,lrg(flr(R),D)) 150656 154938532 o2(x,o2(o1(x),x)) true 85255 85255 -0.143 0 0.143 0.009237 0.09611 -0.2729 -0.000282 0.2726 1 2.227 0.001451 0 0.03416 1 1 0.0003063 0.0002653 0.01361 0.0002853 0.01689 0.4945 0.06184 0.1571 0.02873 1 1 0.002788 0.01827 0 0.3018 1.978 0 json
t19_x16_u3_b95 19 16 3 95 min(D,eql(flr(R),D)) 150657 154938533 o2(x,o2(o1(x),x)) true 85263 85263 -0.143 0 0.143 0.009237 0.09611 -0.2729 -0.000282 0.2726 1 2.227 0.001451 0 0.03416 1 1 0.0003063 0.0002653 0.01361 0.0002853 0.01689 0.4945 0.06184 0.1571 0.02873 1 1 0.002788 0.01827 0 0.3018 1.978 0 json
t19_x16_u3_b96 19 16 3 96 min(D,min(flr(R),D)) 150658 154938534 o2(x,o2(o1(x),x)) true 85271 85271 -0.586 0 0.586 0.1259 0.3548 -1 -0.000282 0.9997 1 3.621 0.002296 0.001949 0.05367 0.08161 1 0.0001413 0.0003076 0.01335 0.001365 0.03695 0.6884 0.1169 0.03373 0.002444 1 1 0.008325 0.102 0.231 0.06614 0.8103 1.835 json
t19_x16_u3_b97 19 16 3 97 min(D,dot(flr(R),D)) 150659 154938535 o2(x,o2(o1(x),x)) true 85279 85279 -0.235 0.04639 0.2387 0.02373 0.154 -0.6511 0.1306 0.7817 1 3.299 0.002466 0.0005992 0.05019 0.6091 1 0.0002951 0.0007741 0.01883 0.0005463 0.02337 0.4657 0.1089 0.1292 0.03262 1 1 0.005789 0.04252 0.02094 0.244 1.792 0.8823 json
t19_x16_u3_b98 19 16 3 98 min(D,dst(flr(R),D)) 150660 154938536 o2(x,o2(o1(x),x)) true 85287 85287 0 0.5 0.09436 0.01082 0.104 -0.1454 0.1454 0.2908 1 2.561 0.001632 0 0.0361 1 1 0 0.0002563 0.01459 0.0003304 0.01818 0.5036 0.06192 0.1508 0.02368 1 1 0.003151 0.02183 0 0.2912 2.017 0 json
t19_x16_u3_b99 19 16 3 99 dot(D,add(flr(R),D)) 150661 154938537 o2(x,o2(o1(x),x)) true 85295 85295 0.2414 0.8729 0.258 0.04358 0.2088 -0.223 0.9226 1.146 1 3.744 0.002428 0.002392 0.06416 0.007472 1 -0.0005709 0.0006652 0.02118 0.0007035 0.02652 0.4134 0.1455 0.1106 0.01526 1 1 0.00914 0.07416 0.04545 0.2097 1.702 1.043 json
t19_x16_u3_b100 19 16 3 100 dot(D,sub(flr(R),D)) 150662 154938538 o2(x,o2(o1(x),x)) true 85303 85303 -0.2347 0.1324 0.2519 0.0429 0.2071 -0.935 0.2143 1.149 1 3.73 0.002388 0.002321 0.06313 0.01426 1 0.000391 0.0006555 0.02102 0.0007243 0.02691 0.4263 0.1505 0.1098 0.01528 1 1 0.00879 0.07254 0.04545 0.2049 1.691 1.059 json
t19_x16_u3_b101 19 16 3 101 dot(D,mlt(flr(R),D)) 150663 154938539 o2(x,o2(o1(x),x)) true 85311 85311 -0.1181 0 0.1181 0.008517 0.09229 -0.4946 0 0.4946 1 2.341 0.000497 0.0004415 0.02674 0.0591 1 0.0002358 0.0001456 0.009755 0.0002234 0.01495 0.559 0.07197 0.1102 0.0171 1 1 0.001641 0.01201 0.008661 0.1927 1.41 1.017 json
t19_x16_u3_b102 19 16 3 102 dot(D,div(flr(R),D)) 150664 154938540 o2(x,o2(o1(x),x)) true 85319 85319 -0.7887 0 0.7887 0.1102 0.332 -1 0 1 1 2.38 0.001926 0.002319 0.03723 -0.09236 1 0.00006583 0.0007535 0.0124 0.002859 0.05347 1.436 0.2278 0.03852 0.006838 1 1 0.008158 0.09344 0.2232 0.07403 0.8479 2.025 json
t19_x16_u3_b103 19 16 3 103 dot(D,pow(flr(R),D)) 150665 154938541 o2(x,o2(o1(x),x)) true 85327 85327 -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_x16_u3_b104 19 16 3 104 dot(D,mod(flr(R),D)) 150666 154938542 o2(x,o2(o1(x),x)) true 85335 85335 0.0007535 0.4642 0.03298 0.002241 0.04734 -0.2127 0.2127 0.4254 1 1.772 0.001305 0.001152 0.03279 0.06237 1 -0.000005891 0.006492 0.04462 0.001382 0.03718 1.134 0.2647 1.097 2.897 1 1 0.001542 0.002731 0.003265 0.6879 1.219 1.457 json
t19_x16_u3_b105 19 16 3 105 dot(D,lrg(flr(R),D)) 150667 154938543 o2(x,o2(o1(x),x)) true 85343 85343 -0.1425 0 0.1425 0.01606 0.1267 -0.5458 0 0.5458 1 2.757 0.0006944 0.00077 0.0324 -0.05162 1 0.0002742 0.0002529 0.01202 0.0004145 0.02036 0.6283 0.08746 0.09121 0.01575 1 1 0.002966 0.02359 0.02229 0.1847 1.469 1.388 json
t19_x16_u3_b106 19 16 3 106 dot(D,eql(flr(R),D)) 150668 154938544 o2(x,o2(o1(x),x)) true 85351 85351 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_x16_u3_b107 19 16 3 107 dot(D,min(flr(R),D)) 150669 154938545 o2(x,o2(o1(x),x)) true 85359 85359 0.06264 0.6636 0.1297 0.0215 0.1466 -0.3365 0.5026 0.8391 1 3.269 0.001048 0.001006 0.04117 0.02085 1 -0.0002009 0.0002704 0.01333 0.0003589 0.01894 0.4601 0.1053 0.09552 0.01258 1 1 0.003811 0.03462 0.03128 0.1772 1.61 1.455 json
t19_x16_u3_b108 19 16 3 108 dot(D,dot(flr(R),D)) 150670 154938546 o2(x,o2(o1(x),x)) true 85367 85367 -0.1181 0.05577 0.1191 0.01038 0.1019 -0.5034 0.03753 0.5409 1 2.606 0.0006053 0.0005436 0.02938 0.05368 1 0.0002346 0.0001808 0.01062 0.0002855 0.0169 0.575 0.08004 0.1107 0.01743 1 1 0.001983 0.01536 0.01095 0.1911 1.48 1.055 json
t19_x16_u3_b109 19 16 3 109 dot(D,dst(flr(R),D)) 150671 154938547 o2(x,o2(o1(x),x)) true 85375 85375 0.08299 0.6454 0.1759 0.04472 0.2115 -0.4774 0.7755 1.253 1 3.783 0.00279 0.002785 0.06846 0.0008709 1 -0.0001015 0.0008503 0.02355 0.000888 0.0298 0.4353 0.1756 0.1247 0.01901 1 1 0.01019 0.07831 0.02702 0.2279 1.751 0.6042 json
t19_x16_u3_b110 19 16 3 110 dst(D,add(flr(R),D)) 150672 154938548 o2(x,o2(o1(x),x)) true 85383 85383 0.9191 1 0.9191 0.0494 0.2223 0.000291 1 0.9997 1 1.186 0.0009654 0.001125 0.01789 -0.0763 1 -0.000009421 0.000363 0.006146 0.00177 0.04208 2.351 0.2025 0.04231 0.007347 1 1 0.004557 0.05131 0.1057 0.09224 1.039 2.14 json
t19_x16_u3_b111 19 16 3 111 dst(D,sub(flr(R),D)) 150673 154938549 o2(x,o2(o1(x),x)) true 85391 85391 0.9726 1 0.9726 0.01086 0.1042 0.08902 1 0.911 1 0.7239 0.0009863 0.0009999 0.01459 -0.006815 1 -0.00007533 0.001063 0.01051 0.001774 0.04212 2.887 0.2622 0.1828 0.09789 1 1 0.004113 0.02323 0.02058 0.3786 2.139 1.894 json
t19_x16_u3_b112 19 16 3 112 dst(D,mlt(flr(R),D)) 150674 154938550 o2(x,o2(o1(x),x)) true 85399 85399 0.6627 1 0.6627 0.06707 0.259 0.04473 1 0.9553 1 3.684 0.005114 0.004714 0.08738 0.04063 1 -0.00101 0.00217 0.03154 0.002194 0.04684 0.536 0.1875 0.1465 0.03235 1 1 0.01823 0.1219 0.02806 0.2718 1.817 0.4183 json
t19_x16_u3_b113 19 16 3 113 dst(D,div(flr(R),D)) 150675 154938551 o2(x,o2(o1(x),x)) true 85407 85407 -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_x16_u3_b114 19 16 3 114 dst(D,pow(flr(R),D)) 150676 154938552 o2(x,o2(o1(x),x)) true 85415 85415 -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_x16_u3_b115 19 16 3 115 dst(D,mod(flr(R),D)) 150677 154938553 o2(x,o2(o1(x),x)) true 85423 85423 0.7674 1 0.7674 0.07935 0.2817 0.04471 1 0.9553 1 2.979 0.003944 0.003897 0.06087 0.006068 1 -0.0003366 0.00943 0.04967 0.004136 0.06431 1.056 0.3466 0.09882 0.1189 1 1 0.01126 0.09615 0.1425 0.142 1.212 1.796 json
t19_x16_u3_b116 19 16 3 116 dst(D,lrg(flr(R),D)) 150678 154938554 o2(x,o2(o1(x),x)) true 85431 85431 0.7523 1 0.7523 0.08384 0.2896 0.04473 1 0.9553 1 2.89 0.01304 0.0146 0.08283 -0.05655 1 -0.0005307 0.04876 0.07946 0.02078 0.1441 1.74 0.9553 0.3297 0.5816 1 1 0.03361 0.1309 0.09204 0.4008 1.561 1.098 json
t19_x16_u3_b117 19 16 3 117 dst(D,eql(flr(R),D)) 150679 154938555 o2(x,o2(o1(x),x)) true 85439 85439 0.7423 1 0.7423 0.07842 0.28 0.04473 1 0.9553 1 3.149 0.00222 0.002282 0.05136 -0.01393 1 -0.0004643 0.0005572 0.01475 0.001864 0.04318 0.8407 0.1326 0.05741 0.007105 1 1 0.008873 0.09021 0.1405 0.1132 1.15 1.792 json
t19_x16_u3_b118 19 16 3 118 dst(D,min(flr(R),D)) 150680 154938556 o2(x,o2(o1(x),x)) true 85447 85447 0.935 1 0.935 0.03185 0.1785 0.0006807 1 0.9993 1 1.293 0.0008916 0.0009867 0.01838 -0.05066 1 -0.00002398 0.0004661 0.008082 0.00154 0.03924 2.135 0.225 0.05897 0.01463 1 1 0.004004 0.03989 0.0657 0.1257 1.252 2.063 json
t19_x16_u3_b119 19 16 3 119 dst(D,dot(flr(R),D)) 150681 154938557 o2(x,o2(o1(x),x)) true 85455 85455 0.711 1 0.711 0.07454 0.273 0.04472 1 0.9553 1 3.46 0.006573 0.006043 0.09028 0.04196 1 -0.0009752 0.004426 0.03997 0.004465 0.06682 0.7402 0.252 0.1693 0.05938 1 1 0.02306 0.1417 0.04331 0.3094 1.901 0.581 json
t19_x16_u3_b120 19 16 3 120 dst(D,dst(flr(R),D)) 150682 154938558 o2(x,o2(o1(x),x)) true 85463 85463 0.9838 1 0.9838 0.008893 0.0943 0.04879 1 0.9512 1 0.369 0.0007931 0.0008303 0.008408 -0.02288 1 -0.00001627 0.0008362 0.005716 0.001552 0.0394 4.686 0.3153 0.1826 0.09403 1 1 0.003445 0.01984 0.01721 0.3874 2.231 1.935 json
t19_x16_u4_b0 19 16 4 0 add(D,add(cil(R),D)) 150683 154938639 o2(x,o2(o1(x),x)) true 85471 85471 0.457 0.8162 0.5143 0.166 0.4075 -0.2908 1 1.291 1 4.103 0.007347 0.002269 0.08054 0.5281 1 0.0001231 0.001709 0.02959 0.003131 0.05595 0.6948 0.2256 0.05792 0.01029 1 1 0.0188 0.1698 0.2469 0.1132 1.023 1.487 json
t19_x16_u4_b1 19 16 4 1 add(D,sub(cil(R),D)) 150684 154938640 o2(x,o2(o1(x),x)) true 85479 85479 0.4824 0.9147 0.4824 0.1537 0.3921 0 1 1 1 3.429 0.001972 0.002442 0.05168 -0.1065 1 -0.00001781 0.0002592 0.01257 0.001744 0.04176 0.8079 0.1169 0.02872 0.001686 1 1 0.008731 0.1124 0.2862 0.0568 0.7316 1.862 json
t19_x16_u4_b2 19 16 4 2 add(D,mlt(cil(R),D)) 150685 154938641 o2(x,o2(o1(x),x)) true 85487 85487 0.001117 0.5015 0.1555 0.0344 0.1855 -0.3844 0.3844 0.7688 1 3.566 0.004134 0.0001635 0.05771 0.9239 1 -0.00002655 0.0006375 0.02228 0.0009674 0.0311 0.5389 0.1244 0.125 0.01853 1 1 0.008126 0.06174 0.0213 0.2362 1.795 0.6194 json
t19_x16_u4_b3 19 16 4 3 add(D,div(cil(R),D)) 150686 154938642 o2(x,o2(o1(x),x)) true 85495 85495 0.004669 0.5018 0.6333 0.5713 0.7559 -1 1 2 1 3.555 0.1998 0.008603 0.1939 0.9174 1 0.00001171 0.3808 0.2369 0.1708 0.4132 2.132 2.095 0.3647 0.6665 1 1 0.2299 1.013 0.4092 0.4024 1.773 0.7163 json
t19_x16_u4_b4 19 16 4 4 add(D,pow(cil(R),D)) 150687 154938643 o2(x,o2(o1(x),x)) true 85503 85503 -0.1116 0.4727 0.9431 0.905 0.9513 -1 1 2 1 1.973 0.09468 0.1218 0.1232 -0.1252 1 0.00002437 0.4588 0.2313 0.2014 0.4488 3.643 2.828 0.2392 0.5069 1 1 0.2162 0.8975 1.677 0.2388 0.9916 1.853 json
t19_x16_u4_b5 19 16 4 5 add(D,mod(cil(R),D)) 150688 154938644 o2(x,o2(o1(x),x)) true 85511 85511 0.07564 0.6396 0.1239 0.018 0.1341 -0.1454 0.4378 0.5832 1 3.068 0.004538 0.00007494 0.05495 0.9675 1 -0.00001392 0.006909 0.05381 0.001594 0.03992 0.7266 0.2265 0.2563 0.384 1 1 0.005711 0.03122 0.008537 0.3174 1.735 0.4744 json
t19_x16_u4_b6 19 16 4 6 add(D,lrg(cil(R),D)) 150689 154938645 o2(x,o2(o1(x),x)) true 85519 85519 0.7279 1 0.7279 0.0779 0.2791 0.03125 1 0.9688 1 3.448 0.02581 0.001103 0.07489 0.918 1 0.00006057 0.05541 0.07095 0.02131 0.146 1.949 0.9378 0.3456 0.7114 1 1 0.0277 0.09688 0.1179 0.3555 1.244 1.514 json
t19_x16_u4_b7 19 16 4 7 add(D,eql(cil(R),D)) 150690 154938646 o2(x,o2(o1(x),x)) true 85527 85527 0 0.5 0.09436 0.01082 0.104 -0.1454 0.1454 0.2908 1 2.561 0.001632 0 0.0361 1 1 0 0.0002563 0.01459 0.0003304 0.01818 0.5036 0.06192 0.1508 0.02368 1 1 0.003151 0.02183 0 0.2912 2.017 0 json
t19_x16_u4_b8 19 16 4 8 add(D,min(cil(R),D)) 150691 154938647 o2(x,o2(o1(x),x)) true 85535 85535 -0.07347 0.4079 0.1842 0.04031 0.2008 -0.3844 0.2908 0.6753 1 3.459 0.005511 0.00009101 0.06675 0.9675 1 0.0001206 0.0008926 0.02731 0.001147 0.03387 0.5074 0.1241 0.139 0.02215 1 1 0.01078 0.07564 0.01093 0.2674 1.876 0.2712 json
t19_x16_u4_b9 19 16 4 9 add(D,dot(cil(R),D)) 150692 154938648 o2(x,o2(o1(x),x)) true 85543 85543 0.003352 0.5033 0.1796 0.04855 0.2203 -0.6072 0.6299 1.237 1 3.854 0.004301 0.001195 0.0674 0.5653 1 -0.00008999 0.0007837 0.02348 0.0009537 0.03088 0.4582 0.169 0.1132 0.01614 1 1 0.01071 0.0858 0.04545 0.2206 1.767 0.9362 json
t19_x16_u4_b10 19 16 4 10 add(D,dst(cil(R),D)) 150693 154938649 o2(x,o2(o1(x),x)) true 85551 85551 0.9405 1 0.9405 0.02825 0.1681 0.01245 1 0.9875 1 1.22 0.001204 0.000898 0.0188 0.1456 1 -0.00003231 0.0006164 0.009175 0.001748 0.04181 2.224 0.2238 0.07442 0.02182 1 1 0.003201 0.02795 0.03884 0.1133 0.9894 1.375 json
t19_x16_u4_b11 19 16 4 11 sub(D,add(cil(R),D)) 150694 154938650 o2(x,o2(o1(x),x)) true 85559 85559 -0.4824 0 0.4824 0.1537 0.3921 -1 0 1 1 3.644 0.001972 0.002442 0.05168 -0.1065 1 0.00001781 0.0002592 0.01257 0.001744 0.04176 0.8079 0.1169 0.02872 0.001686 1 1 0.008731 0.1124 0.2862 0.0568 0.7316 1.862 json
t19_x16_u4_b12 19 16 4 12 sub(D,sub(cil(R),D)) 150695 154938651 o2(x,o2(o1(x),x)) true 85567 85567 -0.4575 0.1811 0.5138 0.1645 0.4056 -1 0.2908 1.291 1 4.106 0.007243 0.002267 0.08005 0.5233 1 -0.00008161 0.001692 0.02943 0.003103 0.0557 0.6958 0.2256 0.05781 0.01029 1 1 0.01827 0.1656 0.2466 0.1111 1.007 1.499 json
t19_x16_u4_b13 19 16 4 13 sub(D,mlt(cil(R),D)) 150696 154938652 o2(x,o2(o1(x),x)) true 85575 85575 -0.001117 0.4543 0.0854 0.01351 0.1162 -0.2729 0.2729 0.5458 1 2.931 0.0009918 0.0001635 0.02827 0.7169 1 0.00002655 0.0001422 0.009401 0.0003565 0.01888 0.668 0.06407 0.0855 0.01052 1 1 0.002307 0.02204 0.0213 0.1708 1.631 1.577 json
t19_x16_u4_b14 19 16 4 14 sub(D,div(cil(R),D)) 150697 154938653 o2(x,o2(o1(x),x)) true 85583 85583 -0.005459 0.4952 0.629 0.559 0.7477 -1 1 2 1 3.747 0.1945 0.01044 0.1927 0.8982 1 0.00002846 0.3811 0.2322 0.1678 0.4096 2.126 2.002 0.3666 0.6818 1 1 0.2231 0.9743 0.5633 0.399 1.743 1.008 json
t19_x16_u4_b15 19 16 4 15 sub(D,pow(cil(R),D)) 150698 154938654 o2(x,o2(o1(x),x)) true 85591 85591 -0.9399 0.02222 0.9422 0.04246 0.2061 -1 0.09672 1.097 1 0.9662 0.007221 0.003919 0.02239 0.2964 1 -0.00003411 0.02043 0.02587 0.01063 0.1031 4.607 1.097 0.2624 0.4811 1 1 0.01237 0.05983 0.07512 0.2913 1.409 1.769 json
t19_x16_u4_b16 19 16 4 16 sub(D,mod(cil(R),D)) 150699 154938655 o2(x,o2(o1(x),x)) true 85599 85599 -0.07564 0.3602 0.1235 0.01789 0.1337 -0.4378 0.1454 0.5832 1 3.064 0.004529 0.00007494 0.05488 0.9674 1 0.00001392 0.006908 0.05379 0.001592 0.0399 0.7269 0.2265 0.2574 0.3862 1 1 0.005715 0.03101 0.008537 0.3195 1.733 0.4772 json