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_x20_u3_b50 19 20 3 50 pow(R,lrg(flr(P),R)) 154000 155100092 o2(x,o2(o1(x),x)) true 112007 112007 -0.08012 0.4609 0.998 0.9909 0.9955 -1 1 2 1 1.063 0.01614 0.008945 0.01301 0.2867 1 0.000002697 0.05197 0.02581 0.0249 0.1578 12.13 2.828 0.02531 0.05245 1 1 0.03067 0.125 0.4555 0.03095 0.1262 0.4596 json
t19_x20_u3_b51 19 20 3 51 pow(R,eql(flr(P),R)) 154001 155100093 o2(x,o2(o1(x),x)) true 112015 112015 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_x20_u3_b52 19 20 3 52 pow(R,min(flr(P),R)) 154002 155100094 o2(x,o2(o1(x),x)) true 112023 112023 -0.9153 0.04297 0.9988 0.1602 0.4003 -1 1 2 1 0.2934 0.01643 0.01583 0.01634 0.01872 1 0.000001003 0.06742 0.03274 0.03198 0.1788 10.94 2.828 0.2013 0.4208 1 1 0.02533 0.1089 0.2717 0.1581 0.6796 1.696 json
t19_x20_u3_b53 19 20 3 53 pow(R,dot(flr(P),R)) 154003 155100095 o2(x,o2(o1(x),x)) true 112031 112031 -0.9187 0.04297 0.9954 0.1498 0.387 -1 1 2 1 0.3182 0.01582 0.01426 0.01608 0.05187 1 -6.269e-8 0.06278 0.03158 0.02981 0.1727 10.74 2.828 0.2008 0.4191 1 1 0.02443 0.1049 0.2608 0.1631 0.7001 1.742 json
t19_x20_u3_b54 19 20 3 54 pow(R,dst(flr(P),R)) 154004 155100096 o2(x,o2(o1(x),x)) true 112039 112039 -0.9497 0.04259 0.9644 0.05773 0.2403 -1 0.7706 1.771 1 0.3789 0.006018 0.005685 0.01059 0.02841 1 0.000004806 0.0244 0.01963 0.0116 0.1077 10.17 2.014 0.2027 0.4226 1 1 0.009717 0.04244 0.1045 0.1683 0.735 1.809 json
t19_x20_u3_b55 19 20 3 55 mod(R,add(flr(P),R)) 154005 155100097 o2(x,o2(o1(x),x)) true 112047 112047 -0.002531 0.4875 0.3725 0.2032 0.4508 -0.9989 0.9806 1.979 1 4.828 0.002534 0.002893 0.0601 -0.06618 1 0.00004428 0.0003163 0.01373 0.001815 0.04261 0.7089 0.2301 0.02671 0.001556 1 1 0.01094 0.1405 0.3498 0.05385 0.6913 1.721 json
t19_x20_u3_b56 19 20 3 56 mod(R,sub(flr(P),R)) 154006 155100098 o2(x,o2(o1(x),x)) true 112055 112055 -0.00502 0.4866 0.3663 0.1987 0.4458 -0.9988 0.9806 1.979 1 4.814 0.002521 0.002849 0.05937 -0.06117 1 0.00004511 0.0003144 0.01359 0.001845 0.04296 0.7236 0.2301 0.02702 0.001582 1 1 0.01066 0.1369 0.3482 0.05362 0.6889 1.752 json
t19_x20_u3_b57 19 20 3 57 mod(R,mlt(flr(P),R)) 154007 155100099 o2(x,o2(o1(x),x)) true 112063 112063 -0.1289 0.4204 0.4545 0.2903 0.5388 -1 0.9806 1.981 1 4.742 0.01185 0.00262 0.06088 0.6378 1 0.00005936 0.01966 0.02885 0.01076 0.1037 1.704 1.898 0.04983 0.06773 1 1 0.02131 0.1628 0.4765 0.0734 0.5608 1.641 json
t19_x20_u3_b58 19 20 3 58 mod(R,div(flr(P),R)) 154008 155100100 o2(x,o2(o1(x),x)) true 112071 112071 -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_x20_u3_b59 19 20 3 59 mod(R,pow(flr(P),R)) 154009 155100101 o2(x,o2(o1(x),x)) true 112079 112079 -0.5177 0.2294 0.6884 0.3529 0.594 -1 0.9809 1.981 1 2.918 0.008078 0.0007911 0.02647 0.8216 1 6.768e-7 0.01467 0.01493 0.008169 0.09038 3.415 1.943 0.02514 0.04158 1 1 0.01173 0.07236 0.2039 0.03325 0.2051 0.5778 json
t19_x20_u3_b60 19 20 3 60 mod(R,mod(flr(P),R)) 154010 155100102 o2(x,o2(o1(x),x)) true 112087 112087 -0.1218 0.4239 0.186 0.1187 0.3446 -1 0.4169 1.417 1 2.853 0.008409 0.0001146 0.01901 0.9731 1 0.000001425 0.0166 0.01863 0.008163 0.09035 4.752 1.327 0.07179 0.1398 1 1 0.01143 0.04895 0.1825 0.09631 0.4123 1.537 json
t19_x20_u3_b61 19 20 3 61 mod(R,lrg(flr(P),R)) 154011 155100103 o2(x,o2(o1(x),x)) true 112095 112095 -0.5521 0.2093 0.7173 0.3323 0.5765 -1 0.9806 1.981 1 3.203 0.005341 0.001961 0.03349 0.463 1 0.000005562 0.009453 0.0147 0.006182 0.07862 2.347 2.097 0.02197 0.02844 1 1 0.01098 0.09044 0.2843 0.03304 0.2721 0.8554 json
t19_x20_u3_b62 19 20 3 62 mod(R,eql(flr(P),R)) 154012 155100104 o2(x,o2(o1(x),x)) true 112103 112103 -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_x20_u3_b63 19 20 3 63 mod(R,min(flr(P),R)) 154013 155100105 o2(x,o2(o1(x),x)) true 112111 112111 -0.06278 0.3544 0.2983 0.193 0.4393 -1 0.9693 1.969 1 4.097 0.007987 0.002796 0.0425 0.4814 1 0.0000275 0.01563 0.02105 0.008977 0.09475 2.229 2.097 0.05587 0.08096 1 1 0.01679 0.1217 0.3484 0.08698 0.6306 1.805 json
t19_x20_u3_b64 19 20 3 64 mod(R,dot(flr(P),R)) 154014 155100106 o2(x,o2(o1(x),x)) true 112119 112119 -0.004308 0.4912 0.3827 0.2182 0.4671 -1 0.9806 1.981 1 4.852 0.004388 0.004613 0.06233 -0.02496 1 0.00002701 0.007737 0.01873 0.005116 0.07153 1.148 2.098 0.04124 0.03545 1 1 0.01634 0.1528 0.4075 0.0749 0.7004 1.867 json
t19_x20_u3_b65 19 20 3 65 mod(R,dst(flr(P),R)) 154015 155100107 o2(x,o2(o1(x),x)) true 112127 112127 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_x20_u3_b66 19 20 3 66 lrg(R,add(flr(P),R)) 154016 155100108 o2(x,o2(o1(x),x)) true 112135 112135 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_x20_u3_b67 19 20 3 67 lrg(R,sub(flr(P),R)) 154017 155100109 o2(x,o2(o1(x),x)) true 112143 112143 0.5117 0.6049 0.5117 0.2314 0.4811 0 1 1 1 1.753 0.0004752 0.0003909 0.01019 0.09737 1 -0.00002852 0.00004979 0.002461 0.0007618 0.0276 2.708 0.1169 0.003742 0.0002151 1 1 0.002134 0.0276 0.09828 0.009223 0.1193 0.4247 json
t19_x20_u3_b68 19 20 3 68 lrg(R,mlt(flr(P),R)) 154018 155100110 o2(x,o2(o1(x),x)) true 112151 112151 0.498 0.9149 0.498 0.1579 0.3973 0 1 1 1 3.38 0.001993 0.002262 0.04986 -0.0631 1 0.00001926 0.0002476 0.0121 0.00177 0.04207 0.8438 0.1169 0.02696 0.001568 1 1 0.008333 0.1074 0.2992 0.05279 0.6806 1.895 json
t19_x20_u3_b69 19 20 3 69 lrg(R,div(flr(P),R)) 154019 155100111 o2(x,o2(o1(x),x)) true 112159 112159 0.5215 0.9288 0.5215 0.1546 0.3932 0 1 1 1 3.414 0.001912 0.002433 0.05092 -0.1198 1 0.00003066 0.0002568 0.0124 0.001753 0.04187 0.8222 0.1169 0.02811 0.001662 1 1 0.008497 0.1095 0.3067 0.05497 0.7083 1.984 json
t19_x20_u3_b70 19 20 3 70 lrg(R,pow(flr(P),R)) 154020 155100112 o2(x,o2(o1(x),x)) true 112167 112167 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_x20_u3_b71 19 20 3 71 lrg(R,mod(flr(P),R)) 154021 155100113 o2(x,o2(o1(x),x)) true 112175 112175 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_x20_u3_b72 19 20 3 72 lrg(R,lrg(flr(P),R)) 154022 155100114 o2(x,o2(o1(x),x)) true 112183 112183 0.2676 0.4921 0.2676 0.1474 0.3839 0 1 1 1 2.341 0.001052 0.001231 0.02666 -0.0785 1 0.000006427 0.0001288 0.006434 0.001572 0.03965 1.487 0.1169 0.01549 0.000874 1 1 0.004654 0.05961 0.1835 0.03158 0.4044 1.245 json
t19_x20_u3_b73 19 20 3 73 lrg(R,eql(flr(P),R)) 154023 155100115 o2(x,o2(o1(x),x)) true 112191 112191 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_x20_u3_b74 19 20 3 74 lrg(R,min(flr(P),R)) 154024 155100116 o2(x,o2(o1(x),x)) true 112199 112199 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_x20_u3_b75 19 20 3 75 lrg(R,dot(flr(P),R)) 154025 155100117 o2(x,o2(o1(x),x)) true 112207 112207 0.5371 0.9522 0.5371 0.1547 0.3933 0 1 1 1 3.391 0.002026 0.002339 0.05093 -0.07165 1 0.00003993 0.000252 0.01233 0.001772 0.04209 0.8264 0.1169 0.02823 0.001629 1 1 0.008583 0.1107 0.3172 0.05549 0.7156 2.051 json
t19_x20_u3_b76 19 20 3 76 lrg(R,dst(flr(P),R)) 154026 155100118 o2(x,o2(o1(x),x)) true 112215 112215 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_x20_u3_b77 19 20 3 77 eql(R,add(flr(P),R)) 154027 155100119 o2(x,o2(o1(x),x)) true 112223 112223 0.0625 0.125 0.0625 0.04507 0.2123 0 0.9997 0.9997 1 0.8126 0.0007059 0 0.007934 1 1 -9.461e-10 0.00003241 0.001855 0.0006433 0.02536 3.197 0.1169 0.01566 0.0007193 1 1 0.001851 0.02408 0.06598 0.04107 0.5344 1.464 json
t19_x20_u3_b78 19 20 3 78 eql(R,sub(flr(P),R)) 154028 155100120 o2(x,o2(o1(x),x)) true 112231 112231 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_x20_u3_b79 19 20 3 79 eql(R,mlt(flr(P),R)) 154029 155100121 o2(x,o2(o1(x),x)) true 112239 112239 0.0625 0.125 0.0625 0.04507 0.2123 0 0.9997 0.9997 1 0.8126 0.0007059 0 0.007934 1 1 -9.461e-10 0.00003241 0.001855 0.0006433 0.02536 3.197 0.1169 0.01566 0.0007193 1 1 0.001851 0.02408 0.06598 0.04107 0.5344 1.464 json
t19_x20_u3_b80 19 20 3 80 eql(R,div(flr(P),R)) 154030 155100122 o2(x,o2(o1(x),x)) true 112247 112247 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_x20_u3_b81 19 20 3 81 eql(R,pow(flr(P),R)) 154031 155100123 o2(x,o2(o1(x),x)) true 112255 112255 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_x20_u3_b82 19 20 3 82 eql(R,mod(flr(P),R)) 154032 155100124 o2(x,o2(o1(x),x)) true 112263 112263 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_x20_u3_b83 19 20 3 83 eql(R,lrg(flr(P),R)) 154033 155100125 o2(x,o2(o1(x),x)) true 112271 112271 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_x20_u3_b84 19 20 3 84 eql(R,eql(flr(P),R)) 154034 155100126 o2(x,o2(o1(x),x)) true 112279 112279 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_x20_u3_b85 19 20 3 85 eql(R,min(flr(P),R)) 154035 155100127 o2(x,o2(o1(x),x)) true 112287 112287 0.5039 0.5456 0.5039 0.2412 0.4911 0 1 1 1 1.415 0.0003238 0.0001053 0.004981 0.5091 1 0.000005704 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_x20_u3_b86 19 20 3 86 eql(R,dot(flr(P),R)) 154036 155100128 o2(x,o2(o1(x),x)) true 112295 112295 0.003906 0.01477 0.003906 0.002383 0.04882 0 0.9994 0.9994 1 0.1068 0.00003512 0.00003512 0.0008419 7.252e-7 0 -5.638e-14 0.000004222 0.000206 0.00006942 0.008332 9.897 0.1169 0.02947 0.001772 1 1 0.0002443 0.003178 0.008708 0.1025 1.334 3.654 json
t19_x20_u3_b87 19 20 3 87 eql(R,dst(flr(P),R)) 154037 155100129 o2(x,o2(o1(x),x)) true 112303 112303 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_x20_u3_b88 19 20 3 88 min(R,add(flr(P),R)) 154038 155100130 o2(x,o2(o1(x),x)) true 112311 112311 -0.467 0.2459 0.6608 0.3431 0.5858 -1 0.9806 1.981 1 3.695 0.001962 0.001682 0.03766 0.07663 1 -0.00000222 0.0003024 0.009307 0.002226 0.04718 1.253 0.2534 0.01062 0.0008815 1 1 0.007554 0.0961 0.3088 0.02202 0.2801 0.9001 json
t19_x20_u3_b89 19 20 3 89 min(R,sub(flr(P),R)) 154039 155100131 o2(x,o2(o1(x),x)) true 112319 112319 -0.5229 0.2076 0.6693 0.3006 0.5483 -1 0.9806 1.981 1 3.614 0.001426 0.001323 0.03208 0.03746 1 0.00001522 0.0002032 0.007882 0.001719 0.04146 1.292 0.219 0.009141 0.0006758 1 1 0.005272 0.06781 0.2213 0.01754 0.2256 0.736 json
t19_x20_u3_b90 19 20 3 90 min(R,mlt(flr(P),R)) 154040 155100132 o2(x,o2(o1(x),x)) true 112327 112327 -0.543 0.1639 0.6781 0.2734 0.5229 -1 0.9791 1.979 1 3.824 0.004444 0.005072 0.05649 -0.06603 1 0.0001883 0.002731 0.02283 0.006327 0.07954 1.408 0.6242 0.03481 0.00999 1 1 0.01536 0.1672 0.42 0.05619 0.6117 1.536 json
t19_x20_u3_b91 19 20 3 91 min(R,div(flr(P),R)) 154041 155100133 o2(x,o2(o1(x),x)) true 112335 112335 -0.7573 0.09113 0.8392 0.2109 0.4592 -1 0.9785 1.979 1 2.332 0.009119 0.009826 0.0519 -0.03729 1 0.0003092 0.01518 0.03985 0.01625 0.1275 2.456 1.554 0.08984 0.07198 1 1 0.03051 0.2117 0.4128 0.1447 1.004 1.957 json
t19_x20_u3_b92 19 20 3 92 min(R,pow(flr(P),R)) 154042 155100134 o2(x,o2(o1(x),x)) true 112343 112343 -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_x20_u3_b93 19 20 3 93 min(R,mod(flr(P),R)) 154043 155100135 o2(x,o2(o1(x),x)) true 112351 112351 -0.2554 0.1673 0.317 0.09034 0.3006 -0.9989 0.7987 1.798 1 4.263 0.001133 0.001112 0.03699 0.00939 1 0.000004609 0.0001346 0.008567 0.0008765 0.02961 0.8004 0.1856 0.02485 0.00149 1 1 0.004233 0.05483 0.1521 0.04685 0.6069 1.683 json
t19_x20_u3_b94 19 20 3 94 min(R,lrg(flr(P),R)) 154044 155100136 o2(x,o2(o1(x),x)) true 112359 112359 -0.1361 0.2244 0.3105 0.1484 0.3852 -0.9989 0.9806 1.979 1 4.449 0.001872 0.001879 0.04664 -0.001932 1 0.00001726 0.0002226 0.01081 0.001576 0.0397 0.8513 0.219 0.02529 0.001501 1 1 0.007167 0.09264 0.2444 0.04831 0.6245 1.648 json
t19_x20_u3_b95 19 20 3 95 min(R,eql(flr(P),R)) 154045 155100137 o2(x,o2(o1(x),x)) true 112367 112367 -0.2541 0 0.2541 0.06549 0.2559 -0.9989 0 0.9989 1 3.542 0.000768 0.0009295 0.0314 -0.09514 1 0.00001332 0.00009988 0.007359 0.0007117 0.02668 0.8497 0.1168 0.02592 0.001525 1 1 0.003123 0.04017 0.1061 0.04769 0.6134 1.62 json
t19_x20_u3_b96 19 20 3 96 min(R,min(flr(P),R)) 154046 155100138 o2(x,o2(o1(x),x)) true 112375 112375 -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_x20_u3_b97 19 20 3 97 min(R,dot(flr(P),R)) 154047 155100139 o2(x,o2(o1(x),x)) true 112383 112383 -0.6302 0.151 0.7558 0.2766 0.5259 -1 0.9796 1.98 1 3.169 0.005416 0.006298 0.05579 -0.07532 1 0.0002638 0.004464 0.02729 0.008602 0.09275 1.663 0.8555 0.04236 0.01614 1 1 0.01943 0.1925 0.4758 0.07026 0.696 1.72 json
t19_x20_u3_b98 19 20 3 98 min(R,dst(flr(P),R)) 154048 155100140 o2(x,o2(o1(x),x)) true 112391 112391 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_x20_u3_b99 19 20 3 99 dot(R,add(flr(P),R)) 154049 155100141 o2(x,o2(o1(x),x)) true 112399 112399 0.1551 0.5821 0.867 0.7983 0.8935 -1 1 2 1 2.777 0.0229 0.03157 0.09724 -0.1591 1 -0.00002594 0.04205 0.07136 0.04501 0.2122 2.182 1.818 0.06824 0.05267 1 1 0.06642 0.5083 1.251 0.0832 0.6366 1.567 json
t19_x20_u3_b100 19 20 3 100 dot(R,sub(flr(P),R)) 154050 155100142 o2(x,o2(o1(x),x)) true 112407 112407 -0.3487 0.3186 0.8604 0.6944 0.8333 -1 1 2 1 2.683 0.02276 0.03116 0.09604 -0.1558 1 0.0001193 0.04221 0.06995 0.04472 0.2115 2.202 1.795 0.07764 0.06079 1 1 0.06661 0.5192 1.206 0.09592 0.7476 1.736 json
t19_x20_u3_b101 19 20 3 101 dot(R,mlt(flr(P),R)) 154051 155100143 o2(x,o2(o1(x),x)) true 112415 112415 -0.03733 0.4803 0.8281 0.7755 0.8806 -1 1 2 1 3.068 0.004832 0.006032 0.04235 -0.1105 1 0.00002722 0.005053 0.0224 0.009073 0.09525 2.249 1.218 0.01401 0.006516 1 1 0.01522 0.1486 0.478 0.01962 0.1916 0.6164 json
t19_x20_u3_b102 19 20 3 102 dot(R,div(flr(P),R)) 154052 155100144 o2(x,o2(o1(x),x)) true 112423 112423 6.519e-9 0.498 0.9392 0.9217 0.96 -1 1 2 1 1.918 0.0006889 0.0006889 0.01208 -3.38e-7 1 -2.881e-10 0.0002289 0.003184 0.001231 0.03509 2.904 0.1653 0.001495 0.0002483 1 1 0.003512 0.04405 0.4161 0.003811 0.04779 0.4514 json
t19_x20_u3_b103 19 20 3 103 dot(R,pow(flr(P),R)) 154053 155100145 o2(x,o2(o1(x),x)) true 112431 112431 -0.9844 0.007828 0.9936 0.02306 0.1519 -1 1 2 1 0.1382 0.002535 0.002794 0.004228 -0.04868 1 2.178e-10 0.01093 0.00713 0.005312 0.07288 17.24 2.828 0.2311 0.4738 1 1 0.0005285 0.005534 0.02064 0.02292 0.24 0.8949 json
t19_x20_u3_b104 19 20 3 104 dot(R,mod(flr(P),R)) 154054 155100146 o2(x,o2(o1(x),x)) true 112439 112439 -0.03128 0.4555 0.1853 0.06529 0.2555 -1 1 2 1 3.988 0.0008704 0.0009421 0.03217 -0.03958 1 -0.00003347 0.000108 0.007312 0.0007775 0.02788 0.8667 0.1922 0.02776 0.001655 1 1 0.003271 0.04224 0.1291 0.0501 0.647 1.978 json
t19_x20_u3_b105 19 20 3 105 dot(R,lrg(flr(P),R)) 154055 155100147 o2(x,o2(o1(x),x)) true 112447 112447 -0.2734 0.223 0.4546 0.2395 0.4894 -1 1 2 1 4.605 0.003777 0.003585 0.06274 0.02612 1 0.000004416 0.0007526 0.01586 0.003426 0.05853 0.9329 0.343 0.03074 0.003143 1 1 0.01464 0.1795 0.4564 0.06113 0.7494 1.906 json
t19_x20_u3_b106 19 20 3 106 dot(R,eql(flr(P),R)) 154056 155100148 o2(x,o2(o1(x),x)) true 112455 112455 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_x20_u3_b107 19 20 3 107 dot(R,min(flr(P),R)) 154057 155100149 o2(x,o2(o1(x),x)) true 112463 112463 0.2334 0.6642 0.775 0.6344 0.7965 -1 1 2 1 3.662 0.01588 0.01987 0.08323 -0.1116 1 -0.00008817 0.02289 0.04911 0.02883 0.1698 2.04 1.824 0.05635 0.03608 1 1 0.04836 0.3921 0.8794 0.07623 0.6181 1.386 json
t19_x20_u3_b108 19 20 3 108 dot(R,dot(flr(P),R)) 154058 155100150 o2(x,o2(o1(x),x)) true 112471 112471 0.03413 0.5206 0.7662 0.7039 0.839 -1 1 2 1 3.415 0.01445 0.01307 0.07953 0.05041 1 0.0000714 0.01417 0.0449 0.0212 0.1456 1.831 1.539 0.03909 0.02013 1 1 0.04732 0.3826 0.8769 0.06722 0.5435 1.246 json
t19_x20_u3_b109 19 20 3 109 dot(R,dst(flr(P),R)) 154059 155100151 o2(x,o2(o1(x),x)) true 112479 112479 0.0147 0.511 0.8938 0.8592 0.9269 -1 1 2 1 2.48 0.03935 0.04124 0.1092 -0.02347 1 0.00002681 0.08673 0.1002 0.06867 0.262 2.399 2.122 0.09379 0.1009 1 1 0.1051 0.693 1.529 0.1223 0.8065 1.78 json
t19_x20_u3_b110 19 20 3 110 dst(R,add(flr(P),R)) 154060 155100152 o2(x,o2(o1(x),x)) true 112487 112487 0.9964 1 0.9964 0.002289 0.04784 0.000582 1 0.9994 1 0.09109 0.00003966 0.00003966 0.0008105 5.503e-7 0 -4.881e-11 0.00001004 0.0002297 0.00007859 0.008865 10.94 0.1294 0.03466 0.004388 1 1 0.0002733 0.00336 0.008351 0.1194 1.468 3.649 json
t19_x20_u3_b111 19 20 3 111 dst(R,sub(flr(P),R)) 154061 155100153 o2(x,o2(o1(x),x)) true 112495 112495 1 1 1 0.000002419 0.001555 0.8994 1 0.1006 1 0.003645 4.252e-7 6.941e-7 0.00002597 -0.2402 0 -3.379e-11 0.000001348 0.0000321 0.000001118 0.001057 40.72 0.06317 0.4626 0.5571 1 1 0.000003024 0.000008789 0.000008789 1.25 3.633 3.633 json
t19_x20_u3_b112 19 20 3 112 dst(R,mlt(flr(P),R)) 154062 155100154 o2(x,o2(o1(x),x)) true 112503 112503 0.9848 1 0.9848 0.005353 0.07316 0.2809 1 0.7191 1 0.4721 0.0001199 0.000168 0.003441 -0.1671 1 -0.000006953 0.0001636 0.00214 0.0002759 0.01661 4.827 0.3021 0.05378 0.03057 1 1 0.0006059 0.005577 0.01519 0.1132 1.042 2.838 json
t19_x20_u3_b113 19 20 3 113 dst(R,div(flr(P),R)) 154063 155100155 o2(x,o2(o1(x),x)) true 112511 112511 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_x20_u3_b114 19 20 3 114 dst(R,pow(flr(P),R)) 154064 155100156 o2(x,o2(o1(x),x)) true 112519 112519 -0.9688 0.01563 1 0.06152 0.248 -1 1 2 1 0.1161 0.006047 0.008062 0.006999 -0.1429 1 0 0.02973 0.01411 0.01406 0.1186 16.94 2.828 0.2293 0.4832 1 1 0.009695 0.04659 0.07003 0.1576 0.7573 1.138 json
t19_x20_u3_b115 19 20 3 115 dst(R,mod(flr(P),R)) 154065 155100157 o2(x,o2(o1(x),x)) true 112527 112527 0.8894 1 0.8894 0.02985 0.1728 0.07081 1 0.9292 1 2.178 0.0005062 0.0007329 0.01932 -0.183 1 -0.00002855 0.0002705 0.007276 0.0008659 0.02943 1.523 0.1753 0.04151 0.009062 1 1 0.002014 0.02116 0.04757 0.06748 0.7089 1.594 json
t19_x20_u3_b116 19 20 3 116 dst(R,lrg(flr(P),R)) 154066 155100158 o2(x,o2(o1(x),x)) true 112535 112535 0.9848 1 0.9848 0.005167 0.07188 0.2581 1 0.7419 1 0.4832 0.0001345 0.0001688 0.003948 -0.113 1 -0.00001134 0.0001247 0.002355 0.0002875 0.01696 4.295 0.1758 0.0587 0.02413 1 1 0.0006733 0.005844 0.0125 0.1303 1.131 2.419 json
t19_x20_u3_b117 19 20 3 117 dst(R,eql(flr(P),R)) 154067 155100159 o2(x,o2(o1(x),x)) true 112543 112543 0.897 1 0.897 0.02252 0.1501 0.09951 1 0.9005 1 2.181 0.0003411 0.0004606 0.01666 -0.149 1 -0.00001961 0.000143 0.005703 0.0005243 0.0229 1.374 0.1266 0.0356 0.006351 1 1 0.001342 0.015 0.03485 0.05959 0.666 1.547 json
t19_x20_u3_b118 19 20 3 118 dst(R,min(flr(P),R)) 154068 155100160 o2(x,o2(o1(x),x)) true 112551 112551 0.7918 0.9841 0.7918 0.1255 0.3543 0 1 1 1 1.923 0.000447 0.0003105 0.01167 0.1803 1 -0.00001466 0.00009501 0.003233 0.0006213 0.02493 2.137 0.2214 0.006034 0.0007569 1 1 0.001549 0.01869 0.07612 0.01234 0.1489 0.6064 json
t19_x20_u3_b119 19 20 3 119 dst(R,dot(flr(P),R)) 154069 155100161 o2(x,o2(o1(x),x)) true 112559 112559 0.9941 1 0.9941 0.001958 0.04425 0.1865 1 0.8135 1 0.2241 0.0001262 0.000194 0.002527 -0.212 1 -0.00003758 0.0002685 0.002321 0.0003138 0.01771 7.011 0.3554 0.1635 0.1371 1 1 0.0006253 0.003719 0.005643 0.3193 1.899 2.881 json
t19_x20_u3_b120 19 20 3 120 dst(R,dst(flr(P),R)) 154070 155100162 o2(x,o2(o1(x),x)) true 112567 112567 0.9996 1 0.9996 0.0001605 0.01267 0.4856 1 0.5144 1 0.01926 0.0000157 0.00001342 0.0002089 0.0785 0 -1.502e-11 0.0000192 0.0001734 0.00002906 0.005391 25.8 0.2519 0.1814 0.1196 1 1 0.00008952 0.0005479 0.0005838 0.5577 3.413 3.637 json
t19_x20_u4_b0 19 20 4 0 add(R,add(cil(P),R)) 154071 155100243 o2(x,o2(o1(x),x)) true 112575 112575 0.01261 0.507 0.9466 0.9272 0.9629 -1 1 2 1 1.912 0.002445 0.001452 0.0176 0.2549 1 -0.00004245 0.001018 0.007264 0.003586 0.05989 3.404 0.5071 0.004203 0.001098 1 1 0.009147 0.09627 0.3741 0.009865 0.1038 0.4035 json
t19_x20_u4_b1 19 20 4 1 add(R,sub(cil(P),R)) 154072 155100244 o2(x,o2(o1(x),x)) true 112583 112583 0 0.5 0.9375 0.924 0.9612 -1 1 2 1 1.813 0.0007059 0 0.007937 1 1 0 0.00003235 0.001851 0.0006432 0.02536 3.195 0.1169 0.0007639 0.00003501 1 1 0.001851 0.02449 0.2344 0.002003 0.0265 0.2537 json
t19_x20_u4_b2 19 20 4 2 add(R,mlt(cil(P),R)) 154073 155100245 o2(x,o2(o1(x),x)) true 112591 112591 -0.06496 0.4715 0.7252 0.6434 0.8021 -1 1 2 1 3.778 0.01726 0.01985 0.09398 -0.06994 1 -0.00004042 0.02076 0.0503 0.02827 0.1681 1.789 1.636 0.05768 0.03226 1 1 0.05307 0.4669 1.033 0.08249 0.7256 1.606 json
t19_x20_u4_b3 19 20 4 3 add(R,div(cil(P),R)) 154074 155100246 o2(x,o2(o1(x),x)) true 112599 112599 -0.03845 0.4775 0.9334 0.9092 0.9535 -1 1 2 1 2.022 0.06408 0.07962 0.1136 -0.1082 1 -0.000004173 0.2841 0.1609 0.1307 0.3616 3.183 2.828 0.158 0.3125 1 1 0.1627 0.8381 1.858 0.1789 0.9218 2.043 json
t19_x20_u4_b4 19 20 4 4 add(R,pow(cil(P),R)) 154075 155100247 o2(x,o2(o1(x),x)) true 112607 112607 -0.2531 0.3972 0.8819 0.7777 0.8819 -1 1 2 1 2.46 0.01506 0.007065 0.03518 0.3614 1 -0.00008497 0.03778 0.03113 0.02088 0.1445 4.108 2.828 0.02845 0.04857 1 1 0.03105 0.1666 0.4903 0.03992 0.2142 0.6304 json
t19_x20_u4_b5 19 20 4 5 add(R,mod(cil(P),R)) 154076 155100248 o2(x,o2(o1(x),x)) true 112615 112615 0.02315 0.515 0.3888 0.2397 0.4896 -1 1 2 1 4.824 0.003053 0.00298 0.06004 0.01202 1 0.000006444 0.0005166 0.01464 0.002428 0.04927 0.8207 0.2889 0.02517 0.002155 1 1 0.01166 0.1454 0.3941 0.04864 0.6065 1.644 json
t19_x20_u4_b6 19 20 4 6 add(R,lrg(cil(P),R)) 154077 155100249 o2(x,o2(o1(x),x)) true 112623 112623 0.4268 0.7835 0.5923 0.2729 0.5224 -0.9989 1 1.999 1 4.386 0.001918 0.002319 0.04668 -0.09461 1 -0.00001029 0.0004999 0.01321 0.002058 0.04537 0.9719 0.2301 0.01552 0.001832 1 1 0.008011 0.09607 0.2704 0.02935 0.352 0.9906 json
t19_x20_u4_b7 19 20 4 7 add(R,eql(cil(P),R)) 154078 155100250 o2(x,o2(o1(x),x)) true 112631 112631 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_x20_u4_b8 19 20 4 8 add(R,min(cil(P),R)) 154079 155100251 o2(x,o2(o1(x),x)) true 112639 112639 -0.4858 0.2433 0.7951 0.491 0.7007 -1 1 2 1 3.163 0.005138 0.004837 0.05358 0.03013 1 -0.000006204 0.001663 0.01663 0.007102 0.08428 1.573 0.438 0.02032 0.003387 1 1 0.01984 0.2283 0.5964 0.04042 0.465 1.215 json
t19_x20_u4_b9 19 20 4 9 add(R,dot(cil(P),R)) 154080 155100252 o2(x,o2(o1(x),x)) true 112647 112647 -0.09424 0.4515 0.8434 0.7877 0.8875 -1 1 2 1 2.905 0.02502 0.03254 0.1011 -0.1307 1 0.00005125 0.04614 0.07442 0.04735 0.2176 2.152 1.829 0.07307 0.05858 1 1 0.07397 0.5701 1.385 0.0939 0.7237 1.758 json
t19_x20_u4_b10 19 20 4 10 add(R,dst(cil(P),R)) 154081 155100253 o2(x,o2(o1(x),x)) true 112655 112655 0.9982 1 0.9982 0.000811 0.02848 0.3239 1 0.6761 1 0.06128 0.00003843 0.00004531 0.0006617 -0.08213 0 -4.318e-11 0.00004064 0.0004341 0.00008332 0.009128 13.8 0.238 0.1033 0.05011 1 1 0.000266 0.002125 0.002956 0.3279 2.62 3.645 json
t19_x20_u4_b11 19 20 4 11 sub(R,add(cil(P),R)) 154082 155100254 o2(x,o2(o1(x),x)) true 112663 112663 0 0.5 0.9375 0.924 0.9612 -1 1 2 1 1.813 0.0007059 4.835e-19 0.007937 1 1 -1.361e-11 0.00003235 0.001851 0.0006432 0.02536 3.195 0.1169 0.0007639 0.00003501 1 1 0.001851 0.02449 0.2344 0.002003 0.0265 0.2537 json
t19_x20_u4_b12 19 20 4 12 sub(R,sub(cil(P),R)) 154083 155100255 o2(x,o2(o1(x),x)) true 112671 112671 0.009129 0.5065 0.9387 0.9169 0.9575 -1 1 2 1 2.004 0.002544 0.001605 0.01976 0.2263 1 -0.00003295 0.001008 0.007816 0.00376 0.06132 3.103 0.5495 0.004525 0.001099 1 1 0.009684 0.1019 0.3603 0.01056 0.1111 0.393 json
t19_x20_u4_b13 19 20 4 13 sub(R,mlt(cil(P),R)) 154084 155100256 o2(x,o2(o1(x),x)) true 112679 112679 0.06055 0.5366 0.7257 0.6462 0.8039 -1 1 2 1 3.745 0.01647 0.02001 0.09057 -0.09684 1 0.00004313 0.02122 0.04957 0.02827 0.1681 1.856 1.468 0.05645 0.03283 1 1 0.05108 0.4367 1.061 0.07904 0.6757 1.641 json
t19_x20_u4_b14 19 20 4 14 sub(R,div(cil(P),R)) 154085 155100257 o2(x,o2(o1(x),x)) true 112687 112687 0.04839 0.522 0.9339 0.9089 0.9533 -1 1 2 1 2.022 0.06426 0.07943 0.1129 -0.1055 1 0.000003772 0.2842 0.1607 0.1309 0.3618 3.205 2.828 0.1581 0.3128 1 1 0.1626 0.8349 1.874 0.1789 0.9186 2.061 json
t19_x20_u4_b15 19 20 4 15 sub(R,pow(cil(P),R)) 154086 155100258 o2(x,o2(o1(x),x)) true 112695 112695 -0.9714 0.007721 0.9771 0.02299 0.1516 -1 0.8288 1.829 1 0.5567 0.003436 0.001646 0.008178 0.3523 1 0.00002607 0.01005 0.00955 0.005013 0.0708 8.658 1.829 0.221 0.4372 1 1 0.007157 0.0311 0.05812 0.3113 1.353 2.528 json
t19_x20_u4_b16 19 20 4 16 sub(R,mod(cil(P),R)) 154087 155100259 o2(x,o2(o1(x),x)) true 112703 112703 0.00009231 0.487 0.4168 0.2645 0.5143 -1 1 2 1 4.872 0.002779 0.003561 0.06295 -0.1233 1 0.000007478 0.0005275 0.0153 0.002377 0.04876 0.7745 0.2643 0.02397 0.001995 1 1 0.01271 0.159 0.3786 0.04807 0.6011 1.432 json
t19_x20_u4_b17 19 20 4 17 sub(R,lrg(cil(P),R)) 154088 155100260 o2(x,o2(o1(x),x)) true 112711 112711 -0.3894 0.2714 0.612 0.3343 0.5782 -1 0.9693 1.969 1 4.272 0.002594 0.002651 0.05 -0.01085 1 0.00007441 0.000655 0.01427 0.002744 0.05238 1.048 0.3332 0.01569 0.001959 1 1 0.01101 0.1302 0.3632 0.03294 0.3896 1.086 json
t19_x20_u4_b18 19 20 4 18 sub(R,eql(cil(P),R)) 154089 155100261 o2(x,o2(o1(x),x)) true 112719 112719 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_x20_u4_b19 19 20 4 19 sub(R,min(cil(P),R)) 154090 155100262 o2(x,o2(o1(x),x)) true 112727 112727 0.4784 0.5369 0.4784 0.2358 0.4856 0 1 1 1 1.566 0.0003403 0.0001296 0.005276 0.4485 1 -0.00001743 0.00009507 0.001759 0.0004423 0.02103 3.986 0.215 0.001993 0.0004032 1 1 0.001049 0.01188 0.07559 0.004449 0.05037 0.3206 json
t19_x20_u4_b20 19 20 4 20 sub(R,dot(cil(P),R)) 154091 155100263 o2(x,o2(o1(x),x)) true 112735 112735 0.09503 0.546 0.8473 0.7883 0.8879 -1 1 2 1 2.952 0.02454 0.03387 0.1037 -0.1596 1 0.000007152 0.04699 0.07524 0.04766 0.2183 2.106 2.004 0.0741 0.0596 1 1 0.07467 0.5818 1.372 0.09472 0.7381 1.741 json
t19_x20_u4_b21 19 20 4 21 sub(R,dst(cil(P),R)) 154092 155100264 o2(x,o2(o1(x),x)) true 112743 112743 -0.9942 0 0.9942 0.002879 0.05366 -1 -0.1097 0.8903 1 0.1554 0.0001018 0.00008186 0.001501 0.1083 1 -9.011e-11 0.00007274 0.0008524 0.0001812 0.01346 8.971 0.2735 0.06377 0.02526 1 1 0.0005924 0.005259 0.009175 0.2057 1.826 3.186 json
t19_x20_u4_b22 19 20 4 22 mlt(R,add(cil(P),R)) 154093 155100265 o2(x,o2(o1(x),x)) true 112751 112751 0.0601 0.5431 0.7423 0.6594 0.812 -1 1 2 1 3.762 0.01637 0.01921 0.09187 -0.07978 1 -0.00008018 0.01977 0.04912 0.02713 0.1647 1.793 1.489 0.05395 0.02999 1 1 0.04973 0.4374 1.01 0.07542 0.6632 1.532 json
t19_x20_u4_b23 19 20 4 23 mlt(R,sub(cil(P),R)) 154094 155100266 o2(x,o2(o1(x),x)) true 112759 112759 -0.1858 0.3889 0.7346 0.6217 0.7885 -1 1 2 1 3.727 0.01622 0.01928 0.09113 -0.0862 1 -0.00001364 0.01953 0.04931 0.02719 0.1649 1.809 1.406 0.0571 0.03142 1 1 0.04977 0.4344 1.007 0.08006 0.6988 1.62 json
t19_x20_u4_b24 19 20 4 24 mlt(R,mlt(cil(P),R)) 154095 155100267 o2(x,o2(o1(x),x)) true 112767 112767 0.0007528 0.4977 0.6708 0.5815 0.7625 -1 1 2 1 4.022 0.002074 0.002398 0.0364 -0.07248 1 0.00007537 0.001681 0.01637 0.003147 0.0561 1.541 0.4236 0.007689 0.002892 1 1 0.006862 0.06791 0.2277 0.0118 0.1168 0.3916 json
t19_x20_u4_b25 19 20 4 25 mlt(R,div(cil(P),R)) 154096 155100268 o2(x,o2(o1(x),x)) true 112775 112775 0 0.5 0.9375 0.924 0.9612 -1 1 2 1 1.813 0.0007059 7.469e-18 0.007937 1 1 -6.652e-11 0.00003235 0.001851 0.0006432 0.02536 3.195 0.1169 0.0007639 0.00003501 1 1 0.001851 0.02449 0.2344 0.002003 0.0265 0.2537 json
t19_x20_u4_b26 19 20 4 26 mlt(R,pow(cil(P),R)) 154097 155100269 o2(x,o2(o1(x),x)) true 112783 112783 -0.413 0.2707 0.7433 0.5214 0.7221 -1 1 2 1 2.808 0.008444 0.003688 0.03209 0.392 1 -0.00006276 0.01827 0.02253 0.0111 0.1054 3.284 2.541 0.02327 0.03504 1 1 0.01708 0.1123 0.3381 0.03276 0.2154 0.6483 json
t19_x20_u4_b27 19 20 4 27 mlt(R,mod(cil(P),R)) 154098 155100270 o2(x,o2(o1(x),x)) true 112791 112791 -0.009018 0.4536 0.1125 0.03012 0.1736 -0.7142 0.6991 1.413 1 3.289 0.0003685 0.0003527 0.01945 0.02189 1 -0.00001264 0.0000419 0.004455 0.000343 0.01852 0.9524 0.1249 0.02394 0.001391 1 1 0.001402 0.01814 0.05603 0.04654 0.6022 1.86 json
t19_x20_u4_b28 19 20 4 28 mlt(R,lrg(cil(P),R)) 154099 155100271 o2(x,o2(o1(x),x)) true 112799 112799 -0.0259 0.2244 0.2003 0.1084 0.3292 -0.9986 0.9806 1.979 1 3.471 0.001574 0.001465 0.03348 0.0359 1 -5.686e-7 0.0001812 0.007745 0.001918 0.0438 1.308 0.219 0.02805 0.001672 1 1 0.005937 0.07705 0.1996 0.05479 0.7111 1.842 json