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
t14_x22_u3_b95 14 22 3 95 flr(min(eql(R,D),D)) 66000 114577934 o1(o2(o2(x,x),x)) true 16007 16007 -0.5 0 0.5 0.1418 0.3765 -0.9997 -0.000291 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
t14_x22_u3_b96 14 22 3 96 flr(min(min(R,D),D)) 66001 114577935 o1(o2(o2(x,x),x)) true 16015 16015 -0.7568 0 0.7568 0.1087 0.3297 -1 -0.000291 0.9997 1 2.8 0.02738 0.00118 0.07029 0.9174 1 -0.000001419 0.05102 0.06666 0.02362 0.1537 2.186 0.9997 0.2627 0.4693 1 1 0.03085 0.1411 0.1423 0.2838 1.298 1.309 json
t14_x22_u3_b97 14 22 3 97 flr(min(dot(R,D),D)) 66002 114577936 o1(o2(o2(x,x),x)) true 16023 16023 -0.7537 0 0.7537 0.1114 0.3338 -1 -0.000291 0.9997 1 2.788 0.04161 0.01709 0.1029 0.4178 1 -0.0002412 0.1639 0.1454 0.0481 0.2193 2.131 1.414 0.5269 1.472 1 1 0.06039 0.1967 0.1491 0.5421 1.766 1.338 json
t14_x22_u3_b98 14 22 3 98 flr(min(dst(R,D),D)) 66003 114577937 o1(o2(o2(x,x),x)) true 16031 16031 -0.5 0 0.5 0.1418 0.3765 -0.9997 -0.000291 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
t14_x22_u3_b99 14 22 3 99 flr(dot(add(R,D),D)) 66004 114577938 o1(o2(o2(x,x),x)) true 16039 16039 -0.2211 0.4218 0.2717 0.1435 0.3788 -1 0.9004 1.9 1 3.37 0.0387 0.0386 0.1344 0.001316 1 -0.000701 0.2359 0.2252 0.05924 0.2434 1.811 1.42 0.5386 1.644 1 1 0.07939 0.2715 0.2564 0.5531 1.892 1.786 json
t14_x22_u3_b100 14 22 3 100 flr(dot(sub(R,D),D)) 66005 114577939 o1(o2(o2(x,x),x)) true 16047 16047 -0.7436 0 0.7436 0.1267 0.356 -1 -0.00008101 0.9999 1 2.553 0.03558 0.03534 0.1133 0.003428 1 0.0003302 0.2144 0.1894 0.0581 0.241 2.127 1.414 0.5597 1.692 1 1 0.07594 0.2555 0.2309 0.5993 2.017 1.822 json
t14_x22_u3_b101 14 22 3 101 flr(dot(mlt(R,D),D)) 66006 114577940 o1(o2(o2(x,x),x)) true 16055 16055 -0.5095 0.001617 0.5095 0.157 0.3962 -1 0.009772 1.01 1 3.576 0.03365 0.03354 0.1182 0.001704 1 -0.0003128 0.2303 0.1771 0.05323 0.2307 1.953 1.409 0.428 1.467 1 1 0.07313 0.2006 0.3003 0.4658 1.278 1.913 json
t14_x22_u3_b102 14 22 3 102 flr(dot(div(R,D),D)) 66007 114577941 o1(o2(o2(x,x),x)) true 16063 16063 -0.3753 0.2414 0.6041 0.3621 0.6017 -1 1 2 1 4.181 0.005313 0.005917 0.07758 -0.05381 1 0.0000878 0.001189 0.02046 0.005211 0.07219 0.9306 0.3506 0.03102 0.003284 1 1 0.02186 0.2708 0.7155 0.06037 0.748 1.976 json
t14_x22_u3_b103 14 22 3 103 flr(dot(pow(R,D),D)) 66008 114577942 o1(o2(o2(x,x),x)) true 16071 16071 -0.9988 0 0.9988 0.0007054 0.02656 -1 -0.001746 0.9983 1 0.03911 0.0002592 0.0003284 0.001046 -0.1178 1 0 0.001801 0.001844 0.0005858 0.0242 23.13 1.337 0.833 2.554 1 1 0.0009706 0.002023 0.002419 1.376 2.868 3.429 json
t14_x22_u3_b104 14 22 3 104 flr(dot(mod(R,D),D)) 66009 114577943 o1(o2(o2(x,x),x)) true 16079 16079 -0.4939 0.000946 0.4939 0.1504 0.3878 -1 0.01021 1.01 1 3.663 0.05596 0.05632 0.1768 -0.003218 1 0.00005692 0.3941 0.2995 0.08101 0.2846 1.61 1.414 0.7464 2.62 1 1 0.08991 0.2941 0.302 0.5977 1.955 2.007 json
t14_x22_u3_b105 14 22 3 105 flr(dot(lrg(R,D),D)) 66010 114577944 o1(o2(o2(x,x),x)) true 16087 16087 -0.5014 0 0.5014 0.1275 0.357 -1 0 1 1 3.791 0.03263 0.03363 0.1374 -0.01513 1 0.00006804 0.1776 0.1825 0.04737 0.2177 1.584 1.414 0.5198 1.393 1 1 0.07121 0.2264 0.1582 0.5586 1.776 1.241 json
t14_x22_u3_b106 14 22 3 106 flr(dot(eql(R,D),D)) 66011 114577945 o1(o2(o2(x,x),x)) true 16095 16095 -0.00004008 0 0.00004008 0.00001031 0.00321 -0.3282 0 0.3282 1 0.003875 0.00001454 1.509e-7 0.00006305 0.9795 0 -1.17e-7 0.00004407 0.0001242 0.00001469 0.003832 60.78 0.3186 1.425 4.276 1 1 0 0 0.000007865 0 0 0.7631 json
t14_x22_u3_b107 14 22 3 107 flr(dot(min(R,D),D)) 66012 114577946 o1(o2(o2(x,x),x)) true 16103 16103 -0.2704 0.1076 0.2715 0.1096 0.331 -0.9997 0.07745 1.077 1 3.476 0.02716 0.02661 0.101 0.01021 1 -0.0003377 0.1696 0.1443 0.04357 0.2087 2.066 1.409 0.4909 1.548 1 1 0.05535 0.1952 0.1719 0.5052 1.782 1.569 json
t14_x22_u3_b108 14 22 3 108 flr(dot(dot(R,D),D)) 66013 114577947 o1(o2(o2(x,x),x)) true 16111 16111 -0.4699 0.01575 0.4705 0.1554 0.3942 -1 0.195 1.195 1 3.644 0.06241 0.06188 0.169 0.004218 1 -0.0003689 0.502 0.324 0.09572 0.3094 1.831 1.414 0.8 3.231 1 1 0.1107 0.2512 0.2803 0.7124 1.617 1.804 json
t14_x22_u3_b109 14 22 3 109 flr(dot(dst(R,D),D)) 66014 114577948 o1(o2(o2(x,x),x)) true 16119 16119 -0.4791 0.00412 0.4798 0.08909 0.2985 -1 0.4433 1.443 1 4.056 0.04649 0.04646 0.1822 0.0003635 1 0.00000566 0.3807 0.2991 0.05976 0.2444 1.342 1.413 1.043 4.274 1 1 0.08934 0.2193 0.02529 1.003 2.461 0.2839 json
t14_x22_u3_b110 14 22 3 110 flr(dst(add(R,D),D)) 66015 114577949 o1(o2(o2(x,x),x)) true 16127 16127 0.5234 0.9064 0.5234 0.1603 0.4004 0 1 1 1 3.324 0.001857 0.002199 0.04748 -0.08437 1 -0.000005706 0.0002413 0.0116 0.001802 0.04245 0.894 0.1169 0.0253 0.001505 1 1 0.007899 0.1024 0.3171 0.04927 0.639 1.978 json
t14_x22_u3_b111 14 22 3 111 flr(dst(sub(R,D),D)) 66016 114577950 o1(o2(o2(x,x),x)) true 16135 16135 0.7274 0.9998 0.7274 0.134 0.366 0 1 1 1 2.569 0.03256 0.03277 0.1147 -0.003224 1 -0.0004441 0.1975 0.1901 0.05218 0.2284 1.992 1.413 0.4876 1.474 1 1 0.06778 0.2313 0.2377 0.506 1.727 1.774 json
t14_x22_u3_b112 14 22 3 112 flr(dst(mlt(R,D),D)) 66017 114577951 o1(o2(o2(x,x),x)) true 16143 16143 0.06726 0.7879 0.06726 0.01232 0.111 0 1 1 1 1.689 0.004702 0.004723 0.0512 -0.002234 1 -0.0001592 0.02686 0.07066 0.006804 0.08249 1.611 0.9263 0.765 2.18 1 1 0.007307 0.01639 0.01734 0.5931 1.331 1.407 json
t14_x22_u3_b113 14 22 3 113 flr(dst(div(R,D),D)) 66018 114577952 o1(o2(o2(x,x),x)) true 16151 16151 -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
t14_x22_u3_b114 14 22 3 114 flr(dst(pow(R,D),D)) 66019 114577953 o1(o2(o2(x,x),x)) true 16159 16159 -0.9922 0.003906 1 0.01556 0.1248 -1 1 2 1 0.03687 0.002016 0.002016 0.001997 0 1 0 0.008566 0.004031 0.004024 0.06344 31.76 2.828 0.259 0.5504 1 1 0.007091 0.02837 0.05496 0.4556 1.823 3.531 json
t14_x22_u3_b115 14 22 3 115 flr(dst(mod(R,D),D)) 66020 114577954 o1(o2(o2(x,x),x)) true 16167 16167 0.1923 0.9207 0.1923 0.0674 0.2596 0 1 1 1 2.821 0.01963 0.01922 0.1038 0.01051 1 -0.0002594 0.1105 0.1497 0.02808 0.1676 1.614 1.388 0.5764 1.639 1 1 0.03832 0.1115 0.1202 0.5685 1.654 1.783 json
t14_x22_u3_b116 14 22 3 116 flr(dst(lrg(R,D),D)) 66021 114577955 o1(o2(o2(x,x),x)) true 16175 16175 0.8166 0.9996 0.8166 0.09108 0.3018 8.471e-8 1 1 1 2.302 0.01338 0.01381 0.06776 -0.01569 1 0.0001926 0.0658 0.08891 0.0226 0.1503 2.219 1.408 0.2986 0.7225 1 1 0.0291 0.1201 0.1605 0.3195 1.319 1.762 json
t14_x22_u3_b117 14 22 3 117 flr(dst(eql(R,D),D)) 66022 114577956 o1(o2(o2(x,x),x)) true 16183 16183 0.002434 0.547 0.002434 0.00003038 0.005511 0 0.3285 0.3285 1 0.003603 0.00004173 0.00002799 0.004201 0.1971 0 -0.00002217 0.0003044 0.008215 0.00005208 0.007217 1.718 0.3283 2.295 10.02 1 1 0.00004303 0.00003395 0.000009973 1.416 1.118 0.3283 json
t14_x22_u3_b118 14 22 3 118 flr(dst(min(R,D),D)) 66023 114577957 o1(o2(o2(x,x),x)) true 16191 16191 0.2204 0.7248 0.2204 0.0958 0.3095 0 1 1 1 2.748 0.01371 0.01195 0.07048 0.06874 1 0.0001357 0.06029 0.08062 0.0207 0.1439 2.041 1.413 0.2679 0.6293 1 1 0.0254 0.1093 0.1773 0.2651 1.141 1.851 json
t14_x22_u3_b119 14 22 3 119 flr(dst(dot(R,D),D)) 66024 114577958 o1(o2(o2(x,x),x)) true 16199 16199 0.1277 0.9093 0.1277 0.03785 0.1945 0 1 1 1 2.36 0.01246 0.01207 0.08111 0.01597 1 -0.0002896 0.07776 0.1212 0.01795 0.134 1.652 1.271 0.6482 2.055 1 1 0.02228 0.06124 0.04908 0.5888 1.618 1.297 json
t14_x22_u3_b120 14 22 3 120 flr(dst(dst(R,D),D)) 66025 114577959 o1(o2(o2(x,x),x)) true 16207 16207 0.9428 1 0.9428 0.03588 0.1894 0.000291 1 0.9997 1 0.9168 0.007737 0.008378 0.03306 -0.03979 1 -0.00007396 0.04736 0.05163 0.01503 0.1226 3.708 1.403 0.4492 1.32 1 1 0.01646 0.05549 0.06138 0.4587 1.547 1.711 json
t14_x22_u4_b0 14 22 4 0 cil(add(add(R,D),D)) 66026 114578040 o1(o2(o2(x,x),x)) true 16215 16215 0.4565 0.8207 0.5539 0.2347 0.4845 -0.9988 1 1.999 1 4.156 0.05776 0.003258 0.1597 0.8932 1 -0.0007717 0.1202 0.2013 0.03552 0.1885 1.18 1.026 0.26 0.5123 1 1 0.06415 0.2111 0.3755 0.2733 0.8994 1.6 json
t14_x22_u4_b1 14 22 4 1 cil(add(sub(R,D),D)) 66027 114578041 o1(o2(o2(x,x),x)) true 16223 16223 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
t14_x22_u4_b2 14 22 4 2 cil(add(mlt(R,D),D)) 66028 114578042 o1(o2(o2(x,x),x)) true 16231 16231 0.5 1 0.5 0.1317 0.3629 0.000291 0.9997 0.9994 1 3.602 0.06807 0.0000636 0.1348 0.9981 1 0.000009185 0.1298 0.163 0.04995 0.2235 1.658 0.9994 0.5174 0.986 1 1 0.07222 0.2076 0.009023 0.5484 1.577 0.06852 json
t14_x22_u4_b3 14 22 4 3 cil(add(div(R,D),D)) 66029 114578043 o1(o2(o2(x,x),x)) true 16239 16239 0.1946 0.6084 0.8169 0.7236 0.8507 -1 1 2 1 3.143 0.2817 0.03166 0.2554 0.7979 1 -0.0005902 0.6464 0.3957 0.2483 0.4983 1.951 2.828 0.4331 0.8933 1 1 0.3375 1.296 1.294 0.4664 1.791 1.788 json
t14_x22_u4_b4 14 22 4 4 cil(add(pow(R,D),D)) 66030 114578044 o1(o2(o2(x,x),x)) true 16247 16247 -0.9141 0.04297 1 0.1645 0.4056 -1 1 2 1 0.2557 0.01688 0.01638 0.01652 0.01515 1 0 0.06954 0.03326 0.03297 0.1816 10.99 2.828 0.2022 0.4228 1 1 0.02543 0.1095 0.2757 0.1546 0.6659 1.676 json
t14_x22_u4_b5 14 22 4 5 cil(add(mod(R,D),D)) 66031 114578045 o1(o2(o2(x,x),x)) true 16255 16255 0.499 1 0.499 0.1342 0.3664 0.000291 0.9997 0.9994 1 3.556 0.06648 0.00003341 0.1292 0.999 1 -0.00002448 0.1256 0.1519 0.04982 0.2232 1.728 0.9994 0.4956 0.9361 1 1 0.07131 0.2175 0.004859 0.5313 1.621 0.0362 json
t14_x22_u4_b6 14 22 4 6 cil(add(lrg(R,D),D)) 66032 114578046 o1(o2(o2(x,x),x)) true 16263 16263 0.826 1 0.826 0.1012 0.3181 0.000291 1 0.9997 1 1.975 0.03866 0.001071 0.07002 0.9461 1 -0.0000456 0.07686 0.0979 0.03482 0.1866 2.665 0.9997 0.3927 0.7598 1 1 0.04389 0.1504 0.1243 0.4339 1.487 1.229 json
t14_x22_u4_b7 14 22 4 7 cil(add(eql(R,D),D)) 66033 114578047 o1(o2(o2(x,x),x)) true 16271 16271 0.5 1 0.5 0.1418 0.3765 0.000291 0.9999 0.9996 1 3.406 0.06512 1.509e-7 0.1228 1 1 1.171e-7 0.1209 0.1338 0.05001 0.2236 1.821 0.9994 0.4593 0.8525 1 1 0.07073 0.2419 0.000007865 0.4989 1.706 0.00005548 json
t14_x22_u4_b8 14 22 4 8 cil(add(min(R,D),D)) 66034 114578048 o1(o2(o2(x,x),x)) true 16279 16279 0.2181 0.7763 0.3162 0.1502 0.3875 -0.9991 0.9994 1.999 1 4.187 0.06421 0.001503 0.1624 0.9542 1 0.0002813 0.1329 0.1942 0.03933 0.1983 1.221 1.006 0.4376 0.8848 1 1 0.06356 0.1403 0.1862 0.4233 0.9343 1.24 json
t14_x22_u4_b9 14 22 4 9 cil(add(dot(R,D),D)) 66035 114578049 o1(o2(o2(x,x),x)) true 16287 16287 0.5041 0.9619 0.506 0.1221 0.3495 -0.4325 1 1.432 1 3.916 0.04535 0.02621 0.151 0.2674 1 -0.0001766 0.2166 0.2121 0.04876 0.2208 1.463 1.413 0.5859 1.773 1 1 0.07402 0.2319 0.1607 0.6062 1.899 1.316 json
t14_x22_u4_b10 14 22 4 10 cil(add(dst(R,D),D)) 66036 114578050 o1(o2(o2(x,x),x)) true 16295 16295 0.9975 1 0.9975 0.0008831 0.02972 0.06665 1 0.9333 1 0.1045 0.000715 0.0003209 0.003282 0.3804 1 -0.00001425 0.003309 0.005513 0.001025 0.03202 9.757 1.133 1.173 3.747 1 1 0.0008808 0.001577 0.001746 0.9974 1.786 1.977 json
t14_x22_u4_b11 14 22 4 11 cil(sub(add(R,D),D)) 66037 114578051 o1(o2(o2(x,x),x)) true 16303 16303 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
t14_x22_u4_b12 14 22 4 12 cil(sub(sub(R,D),D)) 66038 114578052 o1(o2(o2(x,x),x)) true 16311 16311 0.4571 0.8197 0.5512 0.2325 0.4822 -0.9991 1 1.999 1 4.143 0.05835 0.003254 0.16 0.8943 1 -0.0007819 0.1202 0.2007 0.03601 0.1898 1.186 1.024 0.265 0.5171 1 1 0.06217 0.2066 0.3774 0.2674 0.8886 1.623 json
t14_x22_u4_b13 14 22 4 13 cil(sub(mlt(R,D),D)) 66039 114578053 o1(o2(o2(x,x),x)) true 16319 16319 0.5005 1 0.5005 0.132 0.3633 0.000291 0.9997 0.9994 1 3.593 0.06781 0.00005492 0.1337 0.9984 1 0.00001371 0.129 0.1604 0.04998 0.2236 1.672 0.9994 0.5143 0.9777 1 1 0.07193 0.2109 0.006728 0.5451 1.598 0.05099 json
t14_x22_u4_b14 14 22 4 14 cil(sub(div(R,D),D)) 66040 114578054 o1(o2(o2(x,x),x)) true 16327 16327 0.1925 0.6032 0.8206 0.7258 0.8519 -1 1 2 1 3.161 0.2796 0.03161 0.2539 0.7969 1 -0.000491 0.6409 0.3911 0.2468 0.4968 1.957 2.828 0.4289 0.883 1 1 0.3359 1.301 1.317 0.4628 1.793 1.815 json
t14_x22_u4_b15 14 22 4 15 cil(sub(pow(R,D),D)) 66041 114578055 o1(o2(o2(x,x),x)) true 16335 16335 -0.9141 0.04297 1 0.1644 0.4054 -1 1 2 1 0.2575 0.01689 0.01635 0.01656 0.01629 1 0 0.06952 0.03331 0.03295 0.1815 10.96 2.828 0.2022 0.4229 1 1 0.0254 0.1094 0.2754 0.1545 0.6658 1.675 json
t14_x22_u4_b16 14 22 4 16 cil(sub(mod(R,D),D)) 66042 114578056 o1(o2(o2(x,x),x)) true 16343 16343 0.4989 1 0.4989 0.1343 0.3665 0.000291 0.9997 0.9994 1 3.557 0.06652 0.00003435 0.1292 0.999 1 -0.00002535 0.1258 0.1522 0.04985 0.2233 1.728 0.9994 0.4956 0.9368 1 1 0.07121 0.2187 0.004815 0.5302 1.628 0.03586 json
t14_x22_u4_b17 14 22 4 17 cil(sub(lrg(R,D),D)) 66043 114578057 o1(o2(o2(x,x),x)) true 16351 16351 0.7776 1 0.7776 0.1101 0.3317 0.0002911 1 0.9997 1 2.465 0.03944 0.001027 0.09103 0.9492 1 -0.00007313 0.07311 0.1074 0.03219 0.1794 1.971 0.9994 0.3678 0.6643 1 1 0.04503 0.1607 0.1185 0.4092 1.46 1.077 json
t14_x22_u4_b18 14 22 4 18 cil(sub(eql(R,D),D)) 66044 114578058 o1(o2(o2(x,x),x)) true 16359 16359 0.5 1 0.5 0.1418 0.3765 0.000291 0.9997 0.9994 1 3.406 0.06512 1.509e-7 0.1228 1 1 1.17e-7 0.1209 0.1338 0.05002 0.2236 1.821 0.9994 0.4594 0.8526 1 1 0.07073 0.2419 0.000007865 0.499 1.706 0.00005549 json
t14_x22_u4_b19 14 22 4 19 cil(sub(min(R,D),D)) 66045 114578059 o1(o2(o2(x,x),x)) true 16367 16367 -0.0689 0 0.0689 0.03058 0.1749 -0.9994 0 0.9994 1 2.072 0.009627 0.0003905 0.03203 0.922 1 0.00004 0.01918 0.03453 0.008996 0.09485 2.962 0.9994 0.3276 0.6271 1 1 0.009866 0.03784 0.05061 0.3226 1.237 1.655 json
t14_x22_u4_b20 14 22 4 20 cil(sub(dot(R,D),D)) 66046 114578060 o1(o2(o2(x,x),x)) true 16375 16375 0.5031 0.9605 0.505 0.1232 0.351 -0.497 1 1.497 1 3.914 0.04407 0.02718 0.1488 0.2371 1 -0.0001193 0.216 0.2083 0.04911 0.2216 1.489 1.413 0.5784 1.753 1 1 0.07366 0.2352 0.1728 0.598 1.909 1.402 json
t14_x22_u4_b21 14 22 4 21 cil(sub(dst(R,D),D)) 66047 114578061 o1(o2(o2(x,x),x)) true 16383 16383 0.9978 1 0.9978 0.00083 0.02881 0.01454 1 0.9855 1 0.09648 0.0005509 0.0003561 0.002803 0.2148 1 0.000006832 0.00301 0.00482 0.0008989 0.02998 10.7 1.362 1.093 3.626 1 1 0.0005501 0.0009835 0.00109 0.6627 1.185 1.314 json
t14_x22_u4_b22 14 22 4 22 cil(mlt(add(R,D),D)) 66048 114578062 o1(o2(o2(x,x),x)) true 16391 16391 0.6436 0.9964 0.6436 0.1461 0.3822 0 1 1 1 3.131 0.06372 0.002057 0.1177 0.9375 1 -0.0005895 0.1302 0.1661 0.05193 0.2279 1.936 1 0.4503 0.8911 1 1 0.06728 0.2305 0.2639 0.4606 1.578 1.806 json
t14_x22_u4_b23 14 22 4 23 cil(mlt(sub(R,D),D)) 66049 114578063 o1(o2(o2(x,x),x)) true 16399 16399 0.3599 0.7127 0.3666 0.1481 0.3848 -0.2255 1 1.225 1 3.623 0.06506 0.002048 0.1235 0.939 1 0.0001483 0.1327 0.1723 0.05185 0.2277 1.844 1.016 0.4532 0.8965 1 1 0.06886 0.2375 0.2667 0.4651 1.604 1.801 json
t14_x22_u4_b24 14 22 4 24 cil(mlt(mlt(R,D),D)) 66050 114578064 o1(o2(o2(x,x),x)) true 16407 16407 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
t14_x22_u4_b25 14 22 4 25 cil(mlt(div(R,D),D)) 66051 114578065 o1(o2(o2(x,x),x)) true 16415 16415 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
t14_x22_u4_b26 14 22 4 26 cil(mlt(pow(R,D),D)) 66052 114578066 o1(o2(o2(x,x),x)) true 16423 16423 -0.9373 0.04257 0.9769 0.09318 0.3053 -1 0.9994 1.999 1 0.4121 0.01086 0.009296 0.01565 0.07769 1 0.00002413 0.04202 0.02684 0.01991 0.1411 9.018 1.999 0.2163 0.451 1 1 0.01477 0.06391 0.1557 0.1585 0.6858 1.671 json
t14_x22_u4_b27 14 22 4 27 cil(mlt(mod(R,D),D)) 66053 114578067 o1(o2(o2(x,x),x)) true 16431 16431 0.5039 0.9395 0.5039 0.147 0.3834 0 1 1 1 3.516 0.04778 0.002278 0.1019 0.909 1 0.00001497 0.09324 0.1121 0.03968 0.1992 1.955 1 0.3406 0.6344 1 1 0.05494 0.2454 0.2817 0.3738 1.67 1.917 json
t14_x22_u4_b28 14 22 4 28 cil(mlt(lrg(R,D),D)) 66054 114578068 o1(o2(o2(x,x),x)) true 16439 16439 0.1839 0.4355 0.1839 0.1009 0.3176 0 0.9997 0.9997 1 2.152 0.03393 0.001031 0.06662 0.941 1 0.00004789 0.06661 0.08621 0.03051 0.1747 2.622 0.9997 0.3466 0.6604 1 1 0.03498 0.1373 0.1383 0.3468 1.361 1.371 json
t14_x22_u4_b29 14 22 4 29 cil(mlt(eql(R,D),D)) 66055 114578069 o1(o2(o2(x,x),x)) true 16447 16447 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
t14_x22_u4_b30 14 22 4 30 cil(mlt(min(R,D),D)) 66056 114578070 o1(o2(o2(x,x),x)) true 16455 16455 0.7432 1 0.7432 0.1126 0.3355 0.000291 1 0.9997 1 2.88 0.03004 0.00118 0.07441 0.9244 1 -0.000001422 0.05612 0.0721 0.02568 0.1603 2.154 0.9997 0.2773 0.4985 1 1 0.03636 0.1591 0.1423 0.323 1.413 1.264 json
t14_x22_u4_b31 14 22 4 31 cil(mlt(dot(R,D),D)) 66057 114578071 o1(o2(o2(x,x),x)) true 16463 16463 0.487 0.9185 0.487 0.1553 0.394 -0.01654 1 1.017 1 3.454 0.06857 0.03439 0.1561 0.3319 1 -0.0001983 0.3194 0.2521 0.07862 0.2804 1.797 1.414 0.6632 2.057 1 1 0.09817 0.2759 0.302 0.6323 1.777 1.945 json
t14_x22_u4_b32 14 22 4 32 cil(mlt(dst(R,D),D)) 66058 114578072 o1(o2(o2(x,x),x)) true 16471 16471 0.4992 1 0.4992 0.1295 0.3599 0.000291 0.9997 0.9994 1 3.592 0.06688 0.0004116 0.1327 0.9878 1 0.000008897 0.13 0.1657 0.04969 0.2229 1.68 0.9994 0.5196 1.004 1 1 0.07127 0.2098 0.005131 0.5503 1.62 0.03962 json
t14_x22_u4_b33 14 22 4 33 cil(div(add(R,D),D)) 66059 114578073 o1(o2(o2(x,x),x)) true 16479 16479 0.4918 0.765 0.8831 0.6052 0.7779 -1 1 2 1 2.337 0.304 0.02769 0.2471 0.833 1 -0.001353 0.6935 0.4011 0.2707 0.5203 2.105 2.828 0.5481 1.146 1 1 0.3503 0.9962 0.9595 0.5788 1.646 1.585 json
t14_x22_u4_b34 14 22 4 34 cil(div(sub(R,D),D)) 66060 114578074 o1(o2(o2(x,x),x)) true 16487 16487 -0.1764 0.3926 0.8112 0.7211 0.8492 -1 1 2 1 3.223 0.2796 0.03163 0.2514 0.7967 1 0.0001231 0.6415 0.3893 0.2481 0.4981 1.981 2.828 0.4316 0.8895 1 1 0.3358 1.295 1.303 0.4657 1.795 1.808 json
t14_x22_u4_b35 14 22 4 35 cil(div(mlt(R,D),D)) 66061 114578075 o1(o2(o2(x,x),x)) true 16495 16495 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
t14_x22_u4_b36 14 22 4 36 cil(div(div(R,D),D)) 66062 114578076 o1(o2(o2(x,x),x)) true 16503 16503 0.05875 0.5276 0.9303 0.9038 0.9507 -1 1 2 1 2.062 0.05186 0.07086 0.1237 -0.1549 1 0.0001631 0.1924 0.1619 0.1074 0.3277 2.649 2.471 0.1358 0.2128 1 1 0.161 0.852 1.615 0.1782 0.9427 1.787 json
t14_x22_u4_b37 14 22 4 37 cil(div(pow(R,D),D)) 66063 114578077 o1(o2(o2(x,x),x)) true 16511 16511 -0.9591 0.02026 0.9967 0.07577 0.2753 -1 1 2 1 0.2097 0.01326 0.007326 0.01369 0.2884 1 0.000002501 0.03899 0.02204 0.0204 0.1428 10.43 2.392 0.2717 0.5145 1 1 0.01497 0.06911 0.1221 0.1976 0.9121 1.611 json
t14_x22_u4_b38 14 22 4 38 cil(div(mod(R,D),D)) 66064 114578078 o1(o2(o2(x,x),x)) true 16519 16519 0.5039 0.9395 0.5039 0.147 0.3834 0 1 1 1 3.516 0.04778 0.002278 0.1019 0.909 1 0.00001497 0.09324 0.1121 0.03968 0.1992 1.955 1 0.3406 0.6344 1 1 0.05494 0.2454 0.2817 0.3738 1.67 1.917 json
t14_x22_u4_b39 14 22 4 39 cil(div(lrg(R,D),D)) 66065 114578079 o1(o2(o2(x,x),x)) true 16527 16527 -0.1287 0.2995 0.6231 0.556 0.7457 -1 1 2 1 3.333 0.239 0.008464 0.2129 0.9316 1 -0.00001184 0.4902 0.3353 0.202 0.4495 2.111 2.037 0.445 0.8816 1 1 0.2562 1.002 0.4397 0.4608 1.802 0.7908 json
t14_x22_u4_b40 14 22 4 40 cil(div(eql(R,D),D)) 66066 114578080 o1(o2(o2(x,x),x)) true 16535 16535 -0.00004008 0 0.00004008 0.00001031 0.00321 -0.3282 0 0.3282 1 0.003875 0.00001454 1.509e-7 0.00006305 0.9795 0 -1.17e-7 0.00004407 0.0001242 0.00001469 0.003832 60.78 0.3186 1.425 4.276 1 1 0 0 0.000007865 0 0 0.7631 json
t14_x22_u4_b41 14 22 4 41 cil(div(min(R,D),D)) 66067 114578081 o1(o2(o2(x,x),x)) true 16543 16543 0.5284 0.7954 0.8559 0.5211 0.7219 -1 1 2 1 2.811 0.1918 0.007958 0.1756 0.9203 1 -0.0005347 0.3934 0.2479 0.169 0.4111 2.341 2 0.3834 0.7549 1 1 0.2175 0.8163 0.5487 0.4174 1.566 1.053 json
t14_x22_u4_b42 14 22 4 42 cil(div(dot(R,D),D)) 66068 114578082 o1(o2(o2(x,x),x)) true 16551 16551 0.3576 0.7403 0.6328 0.4197 0.6479 -1 1 2 1 3.948 0.2525 0.06915 0.2956 0.5701 1 -0.0004991 0.9186 0.524 0.2343 0.4841 1.637 2.828 0.7664 2.188 1 1 0.2953 0.7843 0.7687 0.7035 1.869 1.831 json
t14_x22_u4_b43 14 22 4 43 cil(div(dst(R,D),D)) 66069 114578083 o1(o2(o2(x,x),x)) true 16559 16559 0.08646 0.5425 0.9145 0.8778 0.9369 -1 1 2 1 2.246 0.3307 0.005581 0.2513 0.9668 1 0.00005763 0.5862 0.3784 0.2731 0.5226 2.079 2 0.3831 0.6678 1 1 0.3928 1.667 0.08347 0.4475 1.9 0.09509 json
t14_x22_u4_b44 14 22 4 44 cil(pow(add(R,D),D)) 66070 114578084 o1(o2(o2(x,x),x)) true 16567 16567 -0.8745 0.06274 1 0.2352 0.4849 -1 1 2 1 0.3382 0.1005 0.02142 0.06042 0.6488 1 0.0005039 0.2643 0.1214 0.1182 0.3438 5.69 2.828 0.5186 1.124 1 1 0.1075 0.3219 0.4816 0.4573 1.369 2.048 json
t14_x22_u4_b45 14 22 4 45 cil(pow(sub(R,D),D)) 66071 114578085 o1(o2(o2(x,x),x)) true 16575 16575 -0.8623 0.06885 1 0.2563 0.5063 -1 1 2 1 0.3616 0.0994 0.0223 0.06022 0.6335 1 0 0.272 0.1217 0.118 0.3435 5.704 2.828 0.4748 1.061 1 1 0.11 0.3251 0.488 0.4291 1.268 1.904 json
t14_x22_u4_b46 14 22 4 46 cil(pow(mlt(R,D),D)) 66072 114578086 o1(o2(o2(x,x),x)) true 16583 16583 -0.9219 0.03906 1 0.1501 0.3874 -1 1 2 1 0.238 0.01965 0.01612 0.01776 0.09859 1 0 0.07559 0.03578 0.03547 0.1883 10.6 2.828 0.2384 0.5037 1 1 0.03789 0.1542 0.336 0.2525 1.028 2.239 json
t14_x22_u4_b47 14 22 4 47 cil(pow(div(R,D),D)) 66073 114578087 o1(o2(o2(x,x),x)) true 16591 16591 -0.9219 0.03906 1 0.1501 0.3874 -1 1 2 1 0.238 0.01965 0.01612 0.01776 0.09859 1 0 0.07559 0.03578 0.03547 0.1883 10.6 2.828 0.2384 0.5037 1 1 0.03789 0.1542 0.336 0.2525 1.028 2.239 json
t14_x22_u4_b48 14 22 4 48 cil(pow(pow(R,D),D)) 66074 114578088 o1(o2(o2(x,x),x)) true 16599 16599 -0.9141 0.04297 1 0.1645 0.4056 -1 1 2 1 0.2557 0.01688 0.01638 0.01652 0.01515 1 0 0.06954 0.03326 0.03297 0.1816 10.99 2.828 0.2022 0.4228 1 1 0.02543 0.1095 0.2757 0.1546 0.6659 1.676 json
t14_x22_u4_b49 14 22 4 49 cil(pow(mod(R,D),D)) 66075 114578089 o1(o2(o2(x,x),x)) true 16607 16607 -0.9141 0.04297 1 0.1645 0.4056 -1 1 2 1 0.2557 0.01688 0.01638 0.01652 0.01515 1 0 0.06954 0.03326 0.03297 0.1816 10.99 2.828 0.2022 0.4228 1 1 0.02543 0.1095 0.2757 0.1546 0.6659 1.676 json
t14_x22_u4_b50 14 22 4 50 cil(pow(lrg(R,D),D)) 66076 114578090 o1(o2(o2(x,x),x)) true 16615 16615 0.2584 0.7412 0.776 0.6496 0.8059 -1 1 2 1 3.034 0.1709 0.07572 0.1856 0.386 1 0.000093 0.5491 0.3209 0.2121 0.4606 2.481 2.828 0.3797 0.8453 1 1 0.2419 0.8004 1.152 0.3725 1.232 1.773 json
t14_x22_u4_b51 14 22 4 51 cil(pow(eql(R,D),D)) 66077 114578091 o1(o2(o2(x,x),x)) true 16623 16623 -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
t14_x22_u4_b52 14 22 4 52 cil(pow(min(R,D),D)) 66078 114578092 o1(o2(o2(x,x),x)) true 16631 16631 -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
t14_x22_u4_b53 14 22 4 53 cil(pow(dot(R,D),D)) 66079 114578093 o1(o2(o2(x,x),x)) true 16639 16639 -0.8639 0.06805 1 0.2537 0.5037 -1 1 2 1 0.3586 0.07804 0.06885 0.06761 0.06261 1 -0.0003779 0.467 0.1468 0.1422 0.3772 5.578 2.828 0.579 1.841 1 1 0.1518 0.4325 0.5568 0.5984 1.705 2.195 json
t14_x22_u4_b54 14 22 4 54 cil(pow(dst(R,D),D)) 66080 114578094 o1(o2(o2(x,x),x)) true 16647 16647 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
t14_x22_u4_b55 14 22 4 55 cil(mod(add(R,D),D)) 66081 114578095 o1(o2(o2(x,x),x)) true 16655 16655 0.4995 0.9338 0.4995 0.1438 0.3792 0 1 1 1 3.559 0.01982 0.002087 0.08162 0.8094 1 0.00001479 0.0372 0.07003 0.01524 0.1235 1.513 0.9997 0.1524 0.2587 1 1 0.02404 0.145 0.2603 0.1672 1.009 1.81 json
t14_x22_u4_b56 14 22 4 56 cil(mod(sub(R,D),D)) 66082 114578096 o1(o2(o2(x,x),x)) true 16663 16663 0.4992 0.9305 0.4992 0.1466 0.3828 0 1 1 1 3.529 0.0202 0.00212 0.08084 0.81 1 0.00001414 0.03816 0.07051 0.01579 0.1257 1.554 0.9997 0.1523 0.2603 1 1 0.02456 0.14 0.2709 0.1675 0.9553 1.848 json
t14_x22_u4_b57 14 22 4 57 cil(mod(mlt(R,D),D)) 66083 114578097 o1(o2(o2(x,x),x)) true 16671 16671 0.5039 0.9395 0.5039 0.147 0.3834 0 1 1 1 3.516 0.04778 0.002278 0.1019 0.909 1 0.00001497 0.09324 0.1121 0.03968 0.1992 1.955 1 0.3406 0.6344 1 1 0.05494 0.2454 0.2817 0.3738 1.67 1.917 json
t14_x22_u4_b58 14 22 4 58 cil(mod(div(R,D),D)) 66084 114578098 o1(o2(o2(x,x),x)) true 16679 16679 0.5039 0.9395 0.5039 0.147 0.3834 0 1 1 1 3.516 0.04778 0.002278 0.1019 0.909 1 0.00001497 0.09324 0.1121 0.03968 0.1992 1.955 1 0.3406 0.6344 1 1 0.05494 0.2454 0.2817 0.3738 1.67 1.917 json
t14_x22_u4_b59 14 22 4 59 cil(mod(pow(R,D),D)) 66085 114578099 o1(o2(o2(x,x),x)) true 16687 16687 -0.9141 0.04297 1 0.1645 0.4056 -1 1 2 1 0.2557 0.01688 0.01638 0.01652 0.01515 1 0 0.06954 0.03326 0.03297 0.1816 10.99 2.828 0.2022 0.4228 1 1 0.02543 0.1095 0.2757 0.1546 0.6659 1.676 json
t14_x22_u4_b60 14 22 4 60 cil(mod(mod(R,D),D)) 66086 114578100 o1(o2(o2(x,x),x)) true 16695 16695 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
t14_x22_u4_b61 14 22 4 61 cil(mod(lrg(R,D),D)) 66087 114578101 o1(o2(o2(x,x),x)) true 16703 16703 0.4388 0.8826 0.4388 0.1499 0.3872 0 1 1 1 3.415 0.06745 0.001768 0.1286 0.9489 1 0.00001723 0.1374 0.1745 0.05269 0.2295 1.785 1 0.4617 0.9163 1 1 0.06902 0.1534 0.2289 0.4604 1.023 1.527 json
t14_x22_u4_b62 14 22 4 62 cil(mod(eql(R,D),D)) 66088 114578102 o1(o2(o2(x,x),x)) true 16711 16711 0.00004008 0.0002289 0.00004008 0.00001031 0.00321 0 0.3282 0.3282 1 0.002722 0.00001454 1.509e-7 0.00006305 0.9795 0 1.17e-7 0.00004407 0.0001242 0.00001469 0.003832 60.78 0.3186 1.425 4.276 1 1 0 0 0.000007865 0 0 0.7631 json
t14_x22_u4_b63 14 22 4 63 cil(mod(min(R,D),D)) 66089 114578103 o1(o2(o2(x,x),x)) true 16719 16719 0.1333 0.4852 0.1333 0.06866 0.262 0 0.9994 0.9994 1 1.906 0.09909 0.0006907 0.1453 0.9862 1 0.002295 0.3267 0.26 0.07866 0.2805 1.931 0.9994 1.453 4.758 1 1 0.03806 0.08467 0.084 0.5544 1.233 1.223 json
t14_x22_u4_b64 14 22 4 64 cil(mod(dot(R,D),D)) 66090 114578104 o1(o2(o2(x,x),x)) true 16727 16727 0.5067 0.9349 0.5067 0.1513 0.389 0 1 1 1 3.462 0.03526 0.03434 0.1236 0.0132 1 -0.0002918 0.2205 0.1794 0.05433 0.2331 1.886 1.414 0.4599 1.457 1 1 0.07404 0.2846 0.3006 0.4893 1.881 1.986 json
t14_x22_u4_b65 14 22 4 65 cil(mod(dst(R,D),D)) 66091 114578105 o1(o2(o2(x,x),x)) true 16735 16735 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
t14_x22_u4_b66 14 22 4 66 cil(lrg(add(R,D),D)) 66092 114578106 o1(o2(o2(x,x),x)) true 16743 16743 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
t14_x22_u4_b67 14 22 4 67 cil(lrg(sub(R,D),D)) 66093 114578107 o1(o2(o2(x,x),x)) true 16751 16751 0.5023 0.9546 0.5023 0.1257 0.3546 0 1 1 1 3.657 0.03726 0.00162 0.111 0.9167 1 -0.0007312 0.07287 0.1148 0.02657 0.163 1.469 0.9997 0.3093 0.5797 1 1 0.04081 0.1633 0.2124 0.3247 1.299 1.69 json
t14_x22_u4_b68 14 22 4 68 cil(lrg(mlt(R,D),D)) 66094 114578108 o1(o2(o2(x,x),x)) true 16759 16759 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
t14_x22_u4_b69 14 22 4 69 cil(lrg(div(R,D),D)) 66095 114578109 o1(o2(o2(x,x),x)) true 16767 16767 0.5037 0.9283 0.5037 0.1479 0.3846 0 1 1 1 3.51 0.05445 0.002214 0.1134 0.9218 1 0.000009187 0.1084 0.1387 0.04381 0.2093 1.846 1 0.3831 0.7326 1 1 0.05886 0.2477 0.2858 0.3979 1.675 1.932 json
t14_x22_u4_b70 14 22 4 70 cil(lrg(pow(R,D),D)) 66096 114578110 o1(o2(o2(x,x),x)) true 16775 16775 0.9795 1 0.9795 0.005502 0.07417 0.1394 1 0.8606 1 0.6616 0.003005 0.0000761 0.01478 0.9506 1 0.00003992 0.006484 0.01801 0.002862 0.0535 3.62 0.8606 0.56 1.179 1 1 0.002645 0.006827 0.009916 0.4808 1.241 1.802 json
t14_x22_u4_b71 14 22 4 71 cil(lrg(mod(R,D),D)) 66097 114578111 o1(o2(o2(x,x),x)) true 16783 16783 0.4998 1 0.4998 0.1418 0.3765 0.00009555 0.9997 0.9996 1 3.406 0.06507 0.00000155 0.1228 1 1 -4.734e-7 0.1207 0.1337 0.04996 0.2235 1.82 0.9994 0.459 0.8515 1 1 0.07073 0.2419 0.0000808 0.4989 1.706 0.00057 json
t14_x22_u4_b72 14 22 4 72 cil(lrg(lrg(R,D),D)) 66098 114578112 o1(o2(o2(x,x),x)) true 16791 16791 0.6839 1 0.6839 0.1174 0.3427 0.000291 1 0.9997 1 3.271 0.03888 0.001031 0.09674 0.9483 1 0.00004788 0.07352 0.1006 0.03055 0.1748 1.807 0.9997 0.3398 0.6261 1 1 0.04371 0.1708 0.1383 0.3722 1.455 1.177 json
t14_x22_u4_b73 14 22 4 73 cil(lrg(eql(R,D),D)) 66099 114578113 o1(o2(o2(x,x),x)) true 16799 16799 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