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
t16_x24_u3_b81 16 24 3 81 eql(R,flr(pow(R,P))) 95400 130899924 o2(x,o1(o2(x,x))) true 80007 80007 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
t16_x24_u3_b82 16 24 3 82 eql(R,flr(mod(R,P))) 95401 130899925 o2(x,o1(o2(x,x))) true 80015 80015 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
t16_x24_u3_b83 16 24 3 83 eql(R,flr(lrg(R,P))) 95402 130899926 o2(x,o1(o2(x,x))) true 80023 80023 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
t16_x24_u3_b84 16 24 3 84 eql(R,flr(eql(R,P))) 95403 130899927 o2(x,o1(o2(x,x))) true 80031 80031 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
t16_x24_u3_b85 16 24 3 85 eql(R,flr(min(R,P))) 95404 130899928 o2(x,o1(o2(x,x))) true 80039 80039 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
t16_x24_u3_b86 16 24 3 86 eql(R,flr(dot(R,P))) 95405 130899929 o2(x,o1(o2(x,x))) true 80047 80047 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
t16_x24_u3_b87 16 24 3 87 eql(R,flr(dst(R,P))) 95406 130899930 o2(x,o1(o2(x,x))) true 80055 80055 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
t16_x24_u3_b88 16 24 3 88 min(R,flr(add(R,P))) 95407 130899931 o2(x,o1(o2(x,x))) true 80063 80063 -0.5095 0.2226 0.6827 0.3356 0.5793 -1 0.9806 1.981 1 3.463 0.001841 0.001517 0.03461 0.09627 1 -0.000001634 0.0002309 0.008221 0.00216 0.04648 1.343 0.2272 0.01001 0.0006882 1 1 0.00681 0.08711 0.2785 0.02029 0.2596 0.8299 json
t16_x24_u3_b89 16 24 3 89 min(R,flr(sub(R,P))) 95408 130899932 o2(x,o1(o2(x,x))) true 80071 80071 -0.4857 0.2552 0.6912 0.3678 0.6065 -1 0.9693 1.969 1 3.475 0.001621 0.001716 0.03366 -0.02868 1 0.00002509 0.0002294 0.00789 0.002204 0.04694 1.395 0.2301 0.009073 0.0006237 1 1 0.006797 0.08521 0.2646 0.01848 0.2317 0.7193 json
t16_x24_u3_b90 16 24 3 90 min(R,flr(mlt(R,P))) 95409 130899933 o2(x,o1(o2(x,x))) true 80079 80079 -0.6559 0.09151 0.7386 0.2225 0.4716 -1 0.9788 1.979 1 3.262 0.004414 0.005212 0.05194 -0.08287 1 0.000208 0.003178 0.02291 0.006926 0.08322 1.602 0.6892 0.04327 0.01429 1 1 0.01605 0.1674 0.4052 0.07215 0.7525 1.821 json
t16_x24_u3_b91 16 24 3 91 min(R,flr(div(R,P))) 95410 130899934 o2(x,o1(o2(x,x))) true 80087 80087 -0.6634 0.01793 0.6758 0.1336 0.3655 -1 0.8291 1.829 1 3.472 0.003665 0.005142 0.04557 -0.1678 1 -0.00001406 0.01182 0.02058 0.00673 0.08203 1.8 1.829 0.06593 0.08848 1 1 0.01431 0.1083 0.2756 0.1071 0.8107 2.064 json
t16_x24_u3_b92 16 24 3 92 min(R,flr(pow(R,P))) 95411 130899935 o2(x,o1(o2(x,x))) true 80095 80095 -0.1089 0.2835 0.3376 0.17 0.4124 -0.9989 0.9693 1.968 1 4.59 0.001757 0.002222 0.04859 -0.1169 1 0.00002257 0.0002301 0.01115 0.001618 0.04023 0.8278 0.2301 0.0234 0.001353 1 1 0.007881 0.1008 0.2669 0.04635 0.5926 1.57 json
t16_x24_u3_b93 16 24 3 93 min(R,flr(mod(R,P))) 95412 130899936 o2(x,o1(o2(x,x))) true 80103 80103 -0.4907 0.03322 0.5096 0.1659 0.4074 -1 0.8289 1.829 1 3.817 0.002099 0.002494 0.05291 -0.08617 1 -0.00001618 0.00027 0.01274 0.001794 0.04236 0.8005 0.2138 0.02768 0.001627 1 1 0.009397 0.1212 0.323 0.05663 0.7302 1.946 json
t16_x24_u3_b94 16 24 3 94 min(R,flr(lrg(R,P))) 95413 130899937 o2(x,o1(o2(x,x))) true 80111 80111 -0.1089 0.2835 0.3376 0.17 0.4124 -0.9989 0.9693 1.968 1 4.59 0.001757 0.002222 0.04859 -0.1169 1 0.00002257 0.0002301 0.01115 0.001618 0.04023 0.8278 0.2301 0.0234 0.001353 1 1 0.007881 0.1008 0.2669 0.04635 0.5926 1.57 json
t16_x24_u3_b95 16 24 3 95 min(R,flr(eql(R,P))) 95414 130899938 o2(x,o1(o2(x,x))) true 80119 80119 -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
t16_x24_u3_b96 16 24 3 96 min(R,flr(min(R,P))) 95415 130899939 o2(x,o1(o2(x,x))) true 80127 80127 -0.7578 0 0.7578 0.1282 0.3581 -1 0 1 1 2.446 0.001205 0.001316 0.02956 -0.04423 1 -0.00002994 0.0001512 0.007216 0.001648 0.0406 1.373 0.1169 0.01966 0.001179 1 1 0.005145 0.06684 0.1791 0.04012 0.5213 1.397 json
t16_x24_u3_b97 16 24 3 97 min(R,flr(dot(R,P))) 95416 130899940 o2(x,o1(o2(x,x))) true 80135 80135 -0.6929 0.1187 0.7937 0.246 0.496 -1 0.9794 1.979 1 2.813 0.005626 0.006429 0.05379 -0.06659 1 0.0002624 0.004858 0.02732 0.009162 0.09572 1.779 0.9179 0.04901 0.01975 1 1 0.02014 0.196 0.4714 0.08189 0.7969 1.917 json
t16_x24_u3_b98 16 24 3 98 min(R,flr(dst(R,P))) 95417 130899941 o2(x,o1(o2(x,x))) true 80143 80143 0.005537 0.494 0.3928 0.2185 0.4674 -0.9989 0.9806 1.979 1 4.86 0.002797 0.003171 0.06316 -0.06261 1 0.00002651 0.0003497 0.01446 0.00198 0.04449 0.7045 0.2301 0.02732 0.001601 1 1 0.01177 0.1513 0.3939 0.05389 0.6924 1.803 json
t16_x24_u3_b99 16 24 3 99 dot(R,flr(add(R,P))) 95418 130899942 o2(x,o1(o2(x,x))) true 80151 80151 0.0976 0.5576 0.8597 0.8017 0.8954 -1 1 2 1 2.859 0.02366 0.03263 0.1016 -0.1592 1 -0.00005819 0.04305 0.07324 0.04597 0.2144 2.111 1.812 0.07021 0.0537 1 1 0.07016 0.5444 1.262 0.08752 0.679 1.574 json
t16_x24_u3_b100 16 24 3 100 dot(R,flr(sub(R,P))) 95419 130899943 o2(x,o1(o2(x,x))) true 80159 80159 0.2794 0.6475 0.8598 0.7367 0.8583 -1 1 2 1 2.739 0.02426 0.03157 0.09779 -0.1311 1 -0.0001115 0.04463 0.07182 0.04625 0.2151 2.199 1.826 0.07578 0.06058 1 1 0.07117 0.5512 1.3 0.0966 0.7482 1.765 json
t16_x24_u3_b101 16 24 3 101 dot(R,flr(mlt(R,P))) 95420 130899944 o2(x,o1(o2(x,x))) true 80167 80167 -0.04509 0.4846 0.8098 0.7563 0.8697 -1 1 2 1 3.113 0.004898 0.006346 0.04408 -0.1287 1 0.00003494 0.0051 0.02324 0.009303 0.09645 2.188 1.107 0.01487 0.006743 1 1 0.01633 0.1557 0.4655 0.02159 0.2059 0.6154 json
t16_x24_u3_b102 16 24 3 102 dot(R,flr(div(R,P))) 95421 130899945 o2(x,o1(o2(x,x))) true 80175 80175 -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
t16_x24_u3_b103 16 24 3 103 dot(R,flr(pow(R,P))) 95422 130899946 o2(x,o1(o2(x,x))) true 80183 80183 -0.9872 0.005051 0.9953 0.01946 0.1395 -1 1 2 1 0.1328 0.002601 0.002473 0.003479 0.02522 1 3.754e-12 0.01072 0.006255 0.005057 0.07111 20.44 2.828 0.2608 0.5512 1 1 0.008976 0.03596 0.06951 0.4614 1.848 3.573 json
t16_x24_u3_b104 16 24 3 104 dot(R,flr(mod(R,P))) 95423 130899947 o2(x,o1(o2(x,x))) true 80191 80191 0.2978 0.7656 0.7665 0.5826 0.7633 -1 1 2 1 3.442 0.02034 0.01738 0.04977 0.07863 1 -0.00005055 0.07151 0.05181 0.03524 0.1877 3.772 2.001 0.06475 0.1228 1 1 0.04607 0.223 0.9133 0.07908 0.3829 1.568 json
t16_x24_u3_b105 16 24 3 105 dot(R,flr(lrg(R,P))) 95424 130899948 o2(x,o1(o2(x,x))) true 80199 80199 0.2856 0.7701 0.4466 0.2207 0.4698 -1 1 2 1 4.605 0.003206 0.003747 0.06117 -0.07795 1 0.00003325 0.0007607 0.01561 0.003211 0.05667 0.9264 0.3887 0.03151 0.003447 1 1 0.01262 0.152 0.3985 0.05718 0.689 1.806 json
t16_x24_u3_b106 16 24 3 106 dot(R,flr(eql(R,P))) 95425 130899949 o2(x,o1(o2(x,x))) true 80207 80207 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
t16_x24_u3_b107 16 24 3 107 dot(R,flr(min(R,P))) 95426 130899950 o2(x,o1(o2(x,x))) true 80215 80215 0.2277 0.6702 0.7648 0.6288 0.7929 -1 1 2 1 3.662 0.01608 0.02015 0.08581 -0.1124 1 -0.00007141 0.02266 0.04931 0.02887 0.1699 1.98 1.764 0.05763 0.03604 1 1 0.0499 0.416 0.8898 0.07937 0.6617 1.415 json
t16_x24_u3_b108 16 24 3 108 dot(R,flr(dot(R,P))) 95427 130899951 o2(x,o1(o2(x,x))) true 80223 80223 0.03117 0.5124 0.7688 0.7089 0.842 -1 1 2 1 3.371 0.01495 0.01396 0.08124 0.03431 1 0.00005544 0.0153 0.04597 0.0223 0.1493 1.838 1.727 0.04077 0.02159 1 1 0.04777 0.3946 0.9121 0.06739 0.5566 1.287 json
t16_x24_u3_b109 16 24 3 109 dot(R,flr(dst(R,P))) 95428 130899952 o2(x,o1(o2(x,x))) true 80231 80231 0.00812 0.5113 0.8768 0.8386 0.9158 -1 1 2 1 2.611 0.03672 0.03888 0.1086 -0.02865 1 0.00002493 0.07722 0.0945 0.06377 0.2525 2.324 2.043 0.09015 0.09207 1 1 0.09731 0.6662 1.5 0.116 0.7944 1.789 json
t16_x24_u3_b110 16 24 3 110 dst(R,flr(add(R,P))) 95429 130899953 o2(x,o1(o2(x,x))) true 80239 80239 0.9991 1 0.9991 0.0002317 0.01522 0.5927 1 0.4073 1 0.04326 0.00000751 0.000009797 0.0002646 -0.1321 0 -8.635e-11 0.00000692 0.0001492 0.00001726 0.004154 15.7 0.1355 0.0747 0.02987 1 1 0.00005585 0.000499 0.0008438 0.2411 2.154 3.642 json
t16_x24_u3_b111 16 24 3 111 dst(R,flr(sub(R,P))) 95430 130899954 o2(x,o1(o2(x,x))) true 80247 80247 0.9977 1 0.9977 0.0008075 0.02842 0.4914 1 0.5086 1 0.08492 0.00001577 0.00002208 0.0005144 -0.1667 0 3.942e-11 0.0000129 0.0002501 0.00003757 0.006129 11.92 0.1513 0.04687 0.01597 1 1 0.0001236 0.001179 0.002954 0.1531 1.46 3.658 json
t16_x24_u3_b112 16 24 3 112 dst(R,flr(mlt(R,P))) 95431 130899955 o2(x,o1(o2(x,x))) true 80255 80255 0.9899 1 0.9899 0.003686 0.06071 0.2579 1 0.7421 1 0.3268 0.00008352 0.0002004 0.002918 -0.4116 1 -0.000002665 0.0001386 0.00192 0.0002752 0.01659 5.686 0.2722 0.07702 0.03759 1 1 0.0007851 0.006357 0.01209 0.213 1.724 3.281 json
t16_x24_u3_b113 16 24 3 113 dst(R,flr(div(R,P))) 95432 130899956 o2(x,o1(o2(x,x))) true 80263 80263 -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
t16_x24_u3_b114 16 24 3 114 dst(R,flr(pow(R,P))) 95433 130899957 o2(x,o1(o2(x,x))) true 80271 80271 -0.9766 0.01172 1 0.04623 0.215 -1 1 2 1 0.09266 0.006008 0.003984 0.004992 0.2025 1 0 0.0209 0.01003 0.00996 0.0998 19.99 2.828 0.2161 0.452 1 1 0.01762 0.07081 0.1682 0.3811 1.531 3.638 json
t16_x24_u3_b115 16 24 3 115 dst(R,flr(mod(R,P))) 95434 130899958 o2(x,o1(o2(x,x))) true 80279 80279 0.4556 0.7656 0.9243 0.6654 0.8157 -1 1 2 1 2.41 0.02527 0.02634 0.03944 -0.02082 1 -0.00001454 0.1025 0.05717 0.05004 0.2237 5.671 2.828 0.07757 0.1541 1 1 0.06514 0.2706 1.033 0.0979 0.4066 1.552 json
t16_x24_u3_b116 16 24 3 116 dst(R,flr(lrg(R,P))) 95435 130899959 o2(x,o1(o2(x,x))) true 80287 80287 0.9431 1 0.9431 0.0148 0.1216 0.21 1 0.79 1 1.429 0.0003039 0.0004033 0.01151 -0.1405 1 -0.00004627 0.0002148 0.005169 0.0005744 0.02397 2.082 0.2028 0.04779 0.01452 1 1 0.001285 0.0123 0.02868 0.08684 0.8312 1.939 json
t16_x24_u3_b117 16 24 3 117 dst(R,flr(eql(R,P))) 95436 130899960 o2(x,o1(o2(x,x))) true 80295 80295 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
t16_x24_u3_b118 16 24 3 118 dst(R,flr(min(R,P))) 95437 130899961 o2(x,o1(o2(x,x))) true 80303 80303 0.9752 1 0.9752 0.006847 0.08274 0.2346 1 0.7654 1 0.7717 0.0001309 0.00009997 0.004808 0.1339 1 -0.00001814 0.00004875 0.001819 0.0002077 0.01441 2.997 0.1299 0.03371 0.007121 1 1 0.000525 0.005931 0.01545 0.07668 0.8662 2.257 json
t16_x24_u3_b119 16 24 3 119 dst(R,flr(dot(R,P))) 95438 130899962 o2(x,o1(o2(x,x))) true 80311 80311 0.9905 1 0.9905 0.003736 0.06112 0.1009 1 0.8991 1 0.3095 0.0002157 0.0002718 0.003571 -0.1151 1 -0.00003215 0.0003747 0.003099 0.000475 0.0218 6.103 0.4221 0.1305 0.1003 1 1 0.001027 0.006605 0.01051 0.275 1.768 2.812 json
t16_x24_u3_b120 16 24 3 120 dst(R,flr(dst(R,P))) 95439 130899963 o2(x,o1(o2(x,x))) true 80319 80319 0.9987 1 0.9987 0.0003991 0.01998 0.4918 1 0.5082 1 0.05738 0.00002089 0.00003653 0.0005388 -0.2724 0 -6.57e-11 0.00003431 0.0004236 0.00005711 0.007557 14.03 0.2211 0.1439 0.08596 1 1 0.0001777 0.001218 0.001348 0.4452 3.052 3.378 json
t16_x24_u4_b0 16 24 4 0 add(R,cil(add(R,P))) 95440 130900044 o2(x,o1(o2(x,x))) true 80327 80327 0.06641 0.5306 0.9431 0.9188 0.9585 -1 1 2 1 1.911 0.001967 0.001222 0.01594 0.2337 1 -0.00003689 0.0007106 0.006124 0.002936 0.05418 3.398 0.4156 0.003471 0.0007734 1 1 0.007671 0.08204 0.3495 0.008349 0.08929 0.3804 json
t16_x24_u4_b1 16 24 4 1 add(R,cil(sub(R,P))) 95441 130900045 o2(x,o1(o2(x,x))) true 80335 80335 0.06853 0.5324 0.9387 0.9118 0.9549 -1 1 2 1 1.998 0.002148 0.001335 0.01804 0.2336 1 -0.00003495 0.000729 0.006682 0.003156 0.05618 3.115 0.4362 0.00382 0.0007995 1 1 0.008651 0.09337 0.3196 0.009487 0.1024 0.3505 json
t16_x24_u4_b2 16 24 4 2 add(R,cil(mlt(R,P))) 95442 130900046 o2(x,o1(o2(x,x))) true 80343 80343 0.1493 0.5903 0.7568 0.6523 0.8076 -1 1 2 1 3.743 0.01747 0.0195 0.09641 -0.05494 1 -0.00008507 0.02033 0.05063 0.02767 0.1663 1.725 1.608 0.05669 0.03117 1 1 0.05196 0.4571 0.9863 0.07966 0.7008 1.512 json
t16_x24_u4_b3 16 24 4 3 add(R,cil(div(R,P))) 95443 130900047 o2(x,o1(o2(x,x))) true 80351 80351 0.2325 0.6997 0.6237 0.4323 0.6575 -1 1 2 1 4.481 0.02462 0.003894 0.06417 0.7269 1 -0.00005253 0.04381 0.04001 0.0244 0.1562 2.434 2 0.06596 0.1013 1 1 0.04028 0.2579 0.7086 0.09318 0.5967 1.639 json
t16_x24_u4_b4 16 24 4 4 add(R,cil(pow(R,P))) 95444 130900048 o2(x,o1(o2(x,x))) true 80359 80359 -0.8561 0.07422 0.9955 0.2604 0.5103 -1 1 2 1 0.4602 0.02336 0.02342 0.02481 -0.001404 1 0 0.09733 0.0484 0.04619 0.2149 8.664 2.828 0.1796 0.3738 1 1 0.04411 0.1884 0.6046 0.1694 0.7236 2.322 json
t16_x24_u4_b5 16 24 4 5 add(R,cil(mod(R,P))) 95445 130900049 o2(x,o1(o2(x,x))) true 80367 80367 0.1638 0.5441 0.6848 0.5608 0.7489 -1 1 2 1 4.032 0.02661 0.007087 0.08297 0.5794 1 -0.0000882 0.04444 0.04644 0.02681 0.1637 1.974 2.015 0.06009 0.07924 1 1 0.04972 0.3642 0.9205 0.08865 0.6494 1.641 json
t16_x24_u4_b6 16 24 4 6 add(R,cil(lrg(R,P))) 95446 130900050 o2(x,o1(o2(x,x))) true 80375 80375 0.3937 0.7233 0.6048 0.324 0.5692 -0.9986 1 1.999 1 4.299 0.002645 0.002519 0.04966 0.02444 1 -0.00002429 0.0006386 0.01415 0.002698 0.05194 1.046 0.3332 0.01594 0.001971 1 1 0.01068 0.1279 0.3464 0.03297 0.3948 1.069 json
t16_x24_u4_b7 16 24 4 7 add(R,cil(eql(R,P))) 95447 130900051 o2(x,o1(o2(x,x))) true 80383 80383 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
t16_x24_u4_b8 16 24 4 8 add(R,cil(min(R,P))) 95448 130900052 o2(x,o1(o2(x,x))) true 80391 80391 -0.316 0.3143 0.7712 0.5983 0.7735 -1 1 2 1 3.426 0.004004 0.004145 0.04904 -0.01737 1 -0.00009086 0.001321 0.01543 0.005747 0.07581 1.546 0.3359 0.01362 0.002208 1 1 0.01586 0.1821 0.5022 0.02651 0.3044 0.8393 json
t16_x24_u4_b9 16 24 4 9 add(R,cil(dot(R,P))) 95449 130900053 o2(x,o1(o2(x,x))) true 80399 80399 0.05568 0.5378 0.8589 0.8068 0.8982 -1 1 2 1 2.872 0.02498 0.0328 0.1002 -0.1353 1 0.00005938 0.04656 0.07468 0.04771 0.2184 2.179 1.833 0.07161 0.05771 1 1 0.0723 0.5499 1.346 0.08961 0.6816 1.668 json
t16_x24_u4_b10 16 24 4 10 add(R,cil(dst(R,P))) 95450 130900054 o2(x,o1(o2(x,x))) true 80407 80407 0.9989 1 0.9989 0.0004468 0.02114 0.355 1 0.645 1 0.04282 0.00002921 0.00002937 0.000454 -0.002729 0 7.509e-12 0.00003312 0.0003445 0.00005838 0.007641 16.83 0.2345 0.1311 0.07412 1 1 0.0001835 0.001311 0.001625 0.4106 2.935 3.638 json
t16_x24_u4_b11 16 24 4 11 sub(R,cil(add(R,P))) 95451 130900055 o2(x,o1(o2(x,x))) true 80415 80415 -0.06113 0.4682 0.944 0.9183 0.9583 -1 1 2 1 1.974 0.0007819 0.00007526 0.008857 0.8244 1 -0.000004385 0.00009775 0.002593 0.0007792 0.02791 3.152 0.2164 0.0009334 0.0001064 1 1 0.002182 0.02655 0.2369 0.002376 0.02891 0.258 json
t16_x24_u4_b12 16 24 4 12 sub(R,cil(sub(R,P))) 95452 130900056 o2(x,o1(o2(x,x))) true 80423 80423 -0.05913 0.4688 0.9462 0.921 0.9597 -1 1 2 1 1.957 0.0007926 0.00006667 0.008755 0.8448 1 -0.000004072 0.00009892 0.002616 0.0007824 0.02797 3.195 0.2212 0.000933 0.0001074 1 1 0.002177 0.02654 0.2382 0.002364 0.02882 0.2586 json
t16_x24_u4_b13 16 24 4 13 sub(R,cil(mlt(R,P))) 95453 130900057 o2(x,o1(o2(x,x))) true 80431 80431 -0.1424 0.4078 0.734 0.6317 0.7948 -1 1 2 1 3.739 0.01622 0.02004 0.0913 -0.1053 1 0.00007497 0.02114 0.04932 0.02792 0.1671 1.83 1.463 0.0574 0.03347 1 1 0.05109 0.4353 1.031 0.08087 0.6892 1.633 json
t16_x24_u4_b14 16 24 4 14 sub(R,cil(div(R,P))) 95454 130900058 o2(x,o1(o2(x,x))) true 80439 80439 -0.4653 0.172 0.6182 0.2659 0.5156 -1 0.969 1.969 1 4.152 0.009696 0.004117 0.05449 0.4039 1 0.000111 0.01475 0.02535 0.01084 0.1041 1.911 1.898 0.05195 0.05547 1 1 0.02105 0.1744 0.4328 0.07919 0.6558 1.628 json
t16_x24_u4_b15 16 24 4 15 sub(R,cil(pow(R,P))) 95455 130900059 o2(x,o1(o2(x,x))) true 80447 80447 -0.9905 0 0.9905 0.005718 0.07561 -1 -0.05702 0.943 1 0.2004 0.0008008 0.0005813 0.003091 0.1588 1 0.000002697 0.002723 0.00439 0.001373 0.03705 11.99 1.283 0.2417 0.4763 1 1 0.001072 0.004429 0.008018 0.1875 0.7747 1.402 json
t16_x24_u4_b16 16 24 4 16 sub(R,cil(mod(R,P))) 95456 130900060 o2(x,o1(o2(x,x))) true 80455 80455 -0.538 0 0.538 0.07664 0.2768 -1 -0.002975 0.997 1 3.837 0.003994 0.0006142 0.03184 0.7334 1 0.00004894 0.006815 0.01585 0.003594 0.05995 1.883 0.9432 0.06013 0.08892 1 1 0.006446 0.04382 0.1303 0.0841 0.5717 1.7 json
t16_x24_u4_b17 16 24 4 17 sub(R,cil(lrg(R,P))) 95457 130900061 o2(x,o1(o2(x,x))) true 80463 80463 -0.4044 0.2183 0.5766 0.2742 0.5236 -1 0.9806 1.981 1 4.4 0.00222 0.002293 0.04913 -0.01601 1 0.00004808 0.000506 0.01343 0.002099 0.04581 0.9325 0.223 0.01646 0.001845 1 1 0.008635 0.104 0.2902 0.03149 0.3794 1.058 json
t16_x24_u4_b18 16 24 4 18 sub(R,cil(eql(R,P))) 95458 130900062 o2(x,o1(o2(x,x))) true 80471 80471 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
t16_x24_u4_b19 16 24 4 19 sub(R,cil(min(R,P))) 95459 130900063 o2(x,o1(o2(x,x))) true 80479 80479 0.2381 0.4994 0.7048 0.5389 0.7341 -0.9989 1 1.999 1 3.382 0.001064 0.0005842 0.02204 0.2913 1 0.000006237 0.0001834 0.005548 0.001163 0.0341 1.547 0.3332 0.003059 0.0003404 1 1 0.003596 0.04425 0.2153 0.006674 0.08212 0.3995 json
t16_x24_u4_b20 16 24 4 20 sub(R,cil(dot(R,P))) 95460 130900064 o2(x,o1(o2(x,x))) true 80487 80487 -0.05481 0.4683 0.8569 0.8078 0.8988 -1 1 2 1 2.837 0.02441 0.03398 0.1032 -0.1639 1 0.00004996 0.04617 0.07531 0.04774 0.2185 2.116 1.924 0.07229 0.05715 1 1 0.07506 0.5803 1.365 0.09292 0.7184 1.689 json
t16_x24_u4_b21 16 24 4 21 sub(R,cil(dst(R,P))) 95461 130900065 o2(x,o1(o2(x,x))) true 80495 80495 -0.9988 0 0.9988 0.0003741 0.01934 -1 -0.5171 0.4829 1 0.05327 0.00002598 0.00001975 0.0004625 0.1364 0 1.502e-11 0.00002582 0.0003348 0.00004553 0.006748 14.59 0.1999 0.1222 0.06901 1 1 0.0001422 0.001047 0.001363 0.3801 2.798 3.642 json
t16_x24_u4_b22 16 24 4 22 mlt(R,cil(add(R,P))) 95462 130900066 o2(x,o1(o2(x,x))) true 80503 80503 0.03962 0.541 0.7311 0.6542 0.8088 -1 1 2 1 3.746 0.01673 0.01937 0.09248 -0.07298 1 -0.00007059 0.01975 0.04936 0.02754 0.166 1.795 1.454 0.05518 0.03019 1 1 0.0509 0.4474 1.008 0.07781 0.6839 1.542 json
t16_x24_u4_b23 16 24 4 23 mlt(R,cil(sub(R,P))) 95463 130900067 o2(x,o1(o2(x,x))) true 80511 80511 0.1634 0.6021 0.7288 0.6292 0.7932 -1 1 2 1 3.678 0.01629 0.01952 0.08963 -0.08997 1 0.00001992 0.02043 0.0492 0.02778 0.1667 1.86 1.397 0.05691 0.03247 1 1 0.04982 0.4294 1.029 0.07918 0.6824 1.635 json
t16_x24_u4_b24 16 24 4 24 mlt(R,cil(mlt(R,P))) 95464 130900068 o2(x,o1(o2(x,x))) true 80519 80519 0.002376 0.4904 0.6472 0.5645 0.7513 -1 1 2 1 4.011 0.00225 0.002485 0.03766 -0.04977 1 0.00003745 0.001725 0.0167 0.003317 0.05759 1.529 0.4497 0.008388 0.003055 1 1 0.007463 0.07514 0.2328 0.01322 0.1331 0.4124 json
t16_x24_u4_b25 16 24 4 25 mlt(R,cil(div(R,P))) 95465 130900069 o2(x,o1(o2(x,x))) true 80527 80527 -0.1241 0.3908 0.3348 0.2186 0.4675 -1 0.9809 1.981 1 4.197 0.01196 0.0007594 0.03589 0.8806 1 0.00003073 0.02253 0.02404 0.01143 0.1069 2.979 1.943 0.05818 0.1031 1 1 0.01665 0.08845 0.2876 0.0762 0.4046 1.316 json
t16_x24_u4_b26 16 24 4 26 mlt(R,cil(pow(R,P))) 95466 130900070 o2(x,o1(o2(x,x))) true 80535 80535 -0.8795 0.062 0.982 0.2016 0.449 -1 1 2 1 0.6202 0.01988 0.01866 0.0237 0.03182 1 0.000002697 0.07963 0.04217 0.03799 0.1949 8.225 2.828 0.1912 0.395 1 1 0.03642 0.1584 0.4437 0.1806 0.7855 2.201 json
t16_x24_u4_b27 16 24 4 27 mlt(R,cil(mod(R,P))) 95467 130900071 o2(x,o1(o2(x,x))) true 80543 80543 0.1008 0.7827 0.3508 0.2344 0.4842 -1 0.9809 1.981 1 3.445 0.01663 0.0009021 0.04022 0.8971 1 0.0000237 0.03179 0.02862 0.01591 0.1262 3.136 1.943 0.07478 0.1356 1 1 0.02224 0.1157 0.3802 0.09487 0.4934 1.622 json
t16_x24_u4_b28 16 24 4 28 mlt(R,cil(lrg(R,P))) 95468 130900072 o2(x,o1(o2(x,x))) true 80551 80551 0.03488 0.3128 0.2019 0.1109 0.3331 -0.9989 0.9693 1.968 1 3.377 0.00124 0.00164 0.03127 -0.1387 1 0.00002708 0.000164 0.007099 0.001902 0.04362 1.395 0.2301 0.02597 0.001479 1 1 0.005641 0.07166 0.1897 0.05085 0.6461 1.71 json
t16_x24_u4_b29 16 24 4 29 mlt(R,cil(eql(R,P))) 95469 130900073 o2(x,o1(o2(x,x))) true 80559 80559 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
t16_x24_u4_b30 16 24 4 30 mlt(R,cil(min(R,P))) 95470 130900074 o2(x,o1(o2(x,x))) true 80567 80567 0.08372 0.676 0.4827 0.3817 0.6178 -1 1 2 1 4.06 0.008329 0.01061 0.06121 -0.1204 1 -0.00002973 0.01011 0.02812 0.01519 0.1232 2.014 1.294 0.04962 0.02648 1 1 0.02807 0.2438 0.5598 0.07355 0.6388 1.467 json
t16_x24_u4_b31 16 24 4 31 mlt(R,cil(dot(R,P))) 95471 130900075 o2(x,o1(o2(x,x))) true 80575 80575 0.03895 0.5045 0.7362 0.6603 0.8126 -1 1 2 1 3.68 0.007803 0.006806 0.06084 0.06824 1 -0.000001517 0.006257 0.03018 0.01091 0.1044 1.717 1.103 0.02213 0.009476 1 1 0.02181 0.2145 0.5267 0.03303 0.3249 0.7977 json
t16_x24_u4_b32 16 24 4 32 mlt(R,cil(dst(R,P))) 95472 130900076 o2(x,o1(o2(x,x))) true 80583 80583 -0.005207 0.4978 0.8797 0.8399 0.9165 -1 1 2 1 2.644 0.02852 0.03316 0.1033 -0.07526 1 0.00007885 0.05014 0.07795 0.05102 0.2259 2.187 2 0.07344 0.05969 1 1 0.08611 0.6485 1.448 0.1025 0.7721 1.723 json
t16_x24_u4_b33 16 24 4 33 div(R,cil(add(R,P))) 95473 130900077 o2(x,o1(o2(x,x))) true 80591 80591 -0.1711 0.3737 0.2552 0.1522 0.3902 -1 0.8291 1.829 1 3.387 0.01068 0.004727 0.02668 0.3864 1 -0.00001419 0.03096 0.02691 0.01469 0.1212 4.544 2.325 0.1012 0.2034 1 1 0.02054 0.09133 0.2745 0.1349 0.6 1.803 json
t16_x24_u4_b34 16 24 4 34 div(R,cil(sub(R,P))) 95474 130900078 o2(x,o1(o2(x,x))) true 80599 80599 -0.1504 0.4494 0.2605 0.1659 0.4073 -1 1 2 1 3.419 0.01282 0.004653 0.02708 0.4675 1 -9.622e-7 0.03511 0.02857 0.01674 0.1294 4.779 2.828 0.1053 0.2116 1 1 0.02532 0.1092 0.3162 0.1526 0.6584 1.906 json
t16_x24_u4_b35 16 24 4 35 div(R,cil(mlt(R,P))) 95475 130900079 o2(x,o1(o2(x,x))) true 80607 80607 -0.5079 0.2227 0.6653 0.3384 0.5818 -1 1 2 1 2.742 0.03044 0.0253 0.04458 0.09216 1 0.000003938 0.1168 0.0827 0.05374 0.2318 5.2 2.828 0.1647 0.3451 1 1 0.05846 0.247 0.6734 0.1727 0.7299 1.99 json
t16_x24_u4_b36 16 24 4 36 div(R,cil(div(R,P))) 95476 130900080 o2(x,o1(o2(x,x))) true 80615 80615 -0.8459 0.07031 0.958 0.2307 0.4803 -1 1 2 1 0.9609 0.02452 0.02264 0.02985 0.03992 1 0.000002781 0.09905 0.05587 0.04629 0.2151 7.207 2.828 0.2044 0.4294 1 1 0.05143 0.2152 0.4608 0.223 0.933 1.997 json
t16_x24_u4_b37 16 24 4 37 div(R,cil(pow(R,P))) 95477 130900081 o2(x,o1(o2(x,x))) true 80623 80623 -0.9151 0.05801 0.9484 0.09951 0.3155 -1 0.943 1.943 1 0.6978 0.009806 0.009643 0.01755 0.00838 1 0.000005875 0.04018 0.02991 0.01914 0.1384 7.884 2.698 0.1954 0.4038 1 1 0.0176 0.07645 0.2107 0.1769 0.7682 2.117 json
t16_x24_u4_b38 16 24 4 38 div(R,cil(mod(R,P))) 95478 130900082 o2(x,o1(o2(x,x))) true 80631 80631 -0.8439 0.08594 0.9843 0.2649 0.5147 -1 1 2 1 0.6338 0.03007 0.03198 0.03397 -0.0308 1 0.000008536 0.1312 0.06662 0.06091 0.2468 7.265 2.828 0.2342 0.4955 1 1 0.0568 0.2347 0.5063 0.2144 0.8859 1.912 json
t16_x24_u4_b39 16 24 4 39 div(R,cil(lrg(R,P))) 95479 130900083 o2(x,o1(o2(x,x))) true 80639 80639 -0.5245 0.2468 0.7292 0.3754 0.6127 -1 0.9693 1.969 1 3.17 0.007962 0.004214 0.03444 0.3078 1 0.00003761 0.01996 0.01989 0.01099 0.1048 3.044 2.587 0.03244 0.05318 1 1 0.01797 0.1136 0.3039 0.04786 0.3027 0.8096 json
t16_x24_u4_b40 16 24 4 40 div(R,cil(eql(R,P))) 95480 130900084 o2(x,o1(o2(x,x))) true 80647 80647 -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
t16_x24_u4_b41 16 24 4 41 div(R,cil(min(R,P))) 95481 130900085 o2(x,o1(o2(x,x))) true 80655 80655 -0.5051 0.2355 0.6155 0.3193 0.5651 -1 1 2 1 2.671 0.01744 0.01378 0.02555 0.1175 1 0.000001854 0.06494 0.03616 0.03056 0.1748 6.843 2.828 0.09777 0.2034 1 1 0.02885 0.1276 0.3344 0.09033 0.3995 1.047 json
t16_x24_u4_b42 16 24 4 42 div(R,cil(dot(R,P))) 95482 130900086 o2(x,o1(o2(x,x))) true 80663 80663 -0.2814 0.3812 0.461 0.3001 0.5478 -1 1 2 1 3.595 0.02207 0.01867 0.04689 0.08363 1 -0.000008062 0.08387 0.06746 0.03854 0.1963 4.187 2.828 0.1358 0.2795 1 1 0.04502 0.2013 0.5616 0.15 0.6709 1.872 json
t16_x24_u4_b43 16 24 4 43 div(R,cil(dst(R,P))) 95483 130900087 o2(x,o1(o2(x,x))) true 80671 80671 0.00675 0.4967 0.07174 0.009723 0.09861 -0.6453 0.4832 1.128 1 2.607 0.0001612 0.0001408 0.01191 0.06732 1 0.000001948 0.0000184 0.002755 0.0001602 0.01266 1.063 0.132 0.03106 0.001892 1 1 0.0009168 0.01188 0.02608 0.09429 1.221 2.682 json
t16_x24_u4_b44 16 24 4 44 pow(R,cil(add(R,P))) 95484 130900088 o2(x,o1(o2(x,x))) true 80679 80679 -0.8627 0.07422 0.9889 0.2399 0.4898 -1 1 2 1 0.5453 0.02168 0.02057 0.02356 0.02633 1 0.000001659 0.08803 0.04534 0.04169 0.2042 8.666 2.828 0.1761 0.367 1 1 0.04113 0.1737 0.5784 0.1714 0.724 2.411 json
t16_x24_u4_b45 16 24 4 45 pow(R,cil(sub(R,P))) 95485 130900089 o2(x,o1(o2(x,x))) true 80687 80687 -0.8852 0.07385 0.9664 0.1752 0.4186 -1 1 2 1 0.6344 0.01517 0.01491 0.02026 0.008769 1 0.000003712 0.06266 0.03756 0.02965 0.1722 8.5 2.828 0.1716 0.3576 1 1 0.0281 0.1213 0.4227 0.1603 0.6923 2.412 json
t16_x24_u4_b46 16 24 4 46 pow(R,cil(mlt(R,P))) 95486 130900090 o2(x,o1(o2(x,x))) true 80695 80695 -0.6872 0.1719 0.969 0.4836 0.6954 -1 1 2 1 1.113 0.03967 0.0292 0.04051 0.152 1 0.000004979 0.1422 0.07496 0.06724 0.2593 6.401 2.828 0.1424 0.2941 1 1 0.08035 0.3326 1.027 0.1662 0.6877 2.123 json
t16_x24_u4_b47 16 24 4 47 pow(R,cil(div(R,P))) 95487 130900091 o2(x,o1(o2(x,x))) true 80703 80703 -0.1251 0.4881 0.8984 0.8309 0.9115 -1 1 2 1 2.5 0.02556 0.01537 0.03634 0.2491 1 0.00002694 0.08352 0.04671 0.0396 0.199 5.476 2.828 0.04925 0.1005 1 1 0.0439 0.1932 0.5958 0.05284 0.2326 0.7171 json
t16_x24_u4_b48 16 24 4 48 pow(R,cil(pow(R,P))) 95488 130900092 o2(x,o1(o2(x,x))) true 80711 80711 -0.942 0.04063 0.9721 0.07839 0.28 -1 0.9276 1.928 1 0.4084 0.007606 0.008222 0.01249 -0.03887 1 0.000009052 0.03295 0.0226 0.01568 0.1252 10.02 2.64 0.2019 0.4203 1 1 0.01182 0.053 0.1282 0.1508 0.6761 1.635 json
t16_x24_u4_b49 16 24 4 49 pow(R,cil(mod(R,P))) 95489 130900093 o2(x,o1(o2(x,x))) true 80719 80719 0.5579 0.875 0.8079 0.3954 0.6288 -1 1 2 1 3.302 0.02607 0.0007802 0.04084 0.9419 1 0.0000244 0.05082 0.0344 0.02519 0.1587 3.886 2 0.06791 0.1285 1 1 0.03522 0.1639 0.637 0.08906 0.4144 1.611 json
t16_x24_u4_b50 16 24 4 50 pow(R,cil(lrg(R,P))) 95490 130900094 o2(x,o1(o2(x,x))) true 80727 80727 0.07442 0.5508 0.9729 0.9538 0.9766 -1 1 2 1 1.543 0.0175 0.01051 0.01967 0.2496 1 0.000007902 0.05784 0.03449 0.02761 0.1662 8.446 2.828 0.02937 0.06064 1 1 0.03083 0.1327 0.5055 0.03232 0.1392 0.53 json
t16_x24_u4_b51 16 24 4 51 pow(R,cil(eql(R,P))) 95491 130900095 o2(x,o1(o2(x,x))) true 80735 80735 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
t16_x24_u4_b52 16 24 4 52 pow(R,cil(min(R,P))) 95492 130900096 o2(x,o1(o2(x,x))) true 80743 80743 0.004647 0.5508 0.9031 0.849 0.9214 -1 1 2 1 2.558 0.02606 0.01711 0.03622 0.2075 1 0.00002818 0.08799 0.04594 0.04185 0.2046 5.649 2.828 0.05084 0.1036 1 1 0.047 0.2041 0.6489 0.05536 0.2404 0.7644 json
t16_x24_u4_b53 16 24 4 53 pow(R,cil(dot(R,P))) 95493 130900097 o2(x,o1(o2(x,x))) true 80751 80751 -0.8286 0.09375 0.9839 0.2898 0.5383 -1 1 2 1 0.6824 0.02421 0.02483 0.02801 -0.01249 1 5.774e-7 0.1021 0.05296 0.04823 0.2196 7.839 2.828 0.1692 0.3525 1 1 0.0482 0.2006 0.5647 0.1663 0.6922 1.949 json
t16_x24_u4_b54 16 24 4 54 pow(R,cil(dst(R,P))) 95494 130900098 o2(x,o1(o2(x,x))) true 80759 80759 -0.9503 0.04253 0.9638 0.05611 0.2369 -1 0.7241 1.724 1 0.3733 0.005835 0.005504 0.01039 0.02918 1 0.000004538 0.02364 0.01935 0.01124 0.106 10.2 1.935 0.2021 0.4213 1 1 0.009301 0.04067 0.1006 0.1658 0.7247 1.792 json
t16_x24_u4_b55 16 24 4 55 mod(R,cil(add(R,P))) 95495 130900099 o2(x,o1(o2(x,x))) true 80767 80767 -0.1546 0.4164 0.4886 0.3193 0.5651 -1 0.9806 1.981 1 4.68 0.01434 0.005692 0.06291 0.4316 1 0.00005572 0.03165 0.03448 0.01607 0.1268 2.015 2.541 0.06273 0.09912 1 1 0.02985 0.1945 0.5309 0.09349 0.6091 1.662 json
t16_x24_u4_b56 16 24 4 56 mod(R,cil(sub(R,P))) 95496 130900100 o2(x,o1(o2(x,x))) true 80775 80775 -0.1632 0.4117 0.4949 0.3241 0.5693 -1 0.9806 1.981 1 4.661 0.01306 0.00559 0.06146 0.4006 1 0.00005812 0.02899 0.03304 0.01488 0.122 1.984 2.587 0.05756 0.08945 1 1 0.02703 0.1834 0.5392 0.0834 0.566 1.664 json
t16_x24_u4_b57 16 24 4 57 mod(R,cil(mlt(R,P))) 95497 130900101 o2(x,o1(o2(x,x))) true 80783 80783 -0.5664 0.2126 0.7574 0.36 0.6 -1 0.9806 1.981 1 3.084 0.02534 0.0205 0.05963 0.1055 1 0.00002719 0.09052 0.07 0.0423 0.2057 3.449 2.776 0.1273 0.2515 1 1 0.05029 0.2415 0.6241 0.1397 0.6709 1.734 json
t16_x24_u4_b58 16 24 4 58 mod(R,cil(div(R,P))) 95498 130900102 o2(x,o1(o2(x,x))) true 80791 80791 -0.9758 0.003906 0.9805 0.02075 0.144 -1 0.9276 1.928 1 0.3941 0.001731 0.001775 0.005024 -0.0125 1 0.00000278 0.007208 0.008198 0.003482 0.05901 11.75 1.91 0.169 0.3475 1 1 0.002193 0.009345 0.03054 0.1057 0.4505 1.472 json
t16_x24_u4_b59 16 24 4 59 mod(R,cil(pow(R,P))) 95499 130900103 o2(x,o1(o2(x,x))) true 80799 80799 -0.8998 0.0598 0.9629 0.1386 0.3723 -1 0.943 1.943 1 0.7127 0.01346 0.01324 0.02079 0.008276 1 0.000008536 0.05521 0.03521 0.02628 0.1621 7.798 2.698 0.1926 0.3983 1 1 0.02457 0.1069 0.2955 0.1773 0.7712 2.132 json