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_x23_u4_b27 14 23 4 27 cil(mlt(mod(R,D),R)) 66900 114618468 o1(o2(o2(x,x),x)) true 23207 23207 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_x23_u4_b28 14 23 4 28 cil(mlt(lrg(R,D),R)) 66901 114618469 o1(o2(o2(x,x),x)) true 23215 23215 0.4232 0.8335 0.4232 0.1518 0.3896 0 1 1 1 3.35 0.01015 0.002268 0.0614 0.6347 1 0.0000315 0.01717 0.03834 0.00865 0.093 1.515 0.9994 0.0818 0.1131 1 1 0.01515 0.1243 0.2844 0.09979 0.819 1.874 json
t14_x23_u4_b29 14 23 4 29 cil(mlt(eql(R,D),R)) 66902 114618470 o1(o2(o2(x,x),x)) true 23223 23223 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_x23_u4_b30 14 23 4 30 cil(mlt(min(R,D),R)) 66903 114618471 o1(o2(o2(x,x),x)) true 23231 23231 0.7607 1 0.7607 0.1075 0.3279 0.000291 1 0.9997 1 2.776 0.02734 0.00118 0.06882 0.9172 1 0.00001639 0.05101 0.06655 0.02378 0.1542 2.241 0.9997 0.2652 0.4745 1 1 0.03061 0.1388 0.1417 0.2847 1.291 1.318 json
t14_x23_u4_b31 14 23 4 31 cil(mlt(dot(R,D),R)) 66904 114618472 o1(o2(o2(x,x),x)) true 23239 23239 0.5027 0.9583 0.5028 0.1283 0.3582 -0.145 1 1.145 1 3.754 0.03569 0.0337 0.1342 0.02861 1 -0.00001318 0.2207 0.1822 0.05138 0.2267 1.689 1.413 0.5409 1.72 1 1 0.07392 0.2617 0.1983 0.5762 2.04 1.546 json
t14_x23_u4_b32 14 23 4 32 cil(mlt(dst(R,D),R)) 66905 114618473 o1(o2(o2(x,x),x)) true 23247 23247 0.4355 0.8189 0.5547 0.2699 0.5196 -1 1 2 1 3.975 0.009445 0.008592 0.07954 0.04729 1 -0.00006745 0.03505 0.05254 0.01171 0.1082 1.361 1.409 0.06682 0.1298 1 1 0.02337 0.1991 0.4738 0.08656 0.7376 1.755 json
t14_x23_u4_b33 14 23 4 33 cil(div(add(R,D),R)) 66906 114618474 o1(o2(o2(x,x),x)) true 23255 23255 0.8133 0.9224 0.934 0.248 0.498 -1 1 2 1 1.509 0.03503 0.008652 0.06601 0.6038 1 0.000372 0.07023 0.08693 0.03934 0.1983 3.005 2.16 0.1761 0.2831 1 1 0.04645 0.2565 0.4497 0.1873 1.034 1.813 json
t14_x23_u4_b34 14 23 4 34 cil(div(sub(R,D),R)) 66907 114618475 o1(o2(o2(x,x),x)) true 23263 23263 0.8097 0.9194 0.9303 0.2491 0.4991 -1 1 2 1 1.534 0.03586 0.008381 0.06771 0.6211 1 0.0001282 0.07146 0.08814 0.03968 0.1992 2.942 2.091 0.1776 0.2869 1 1 0.05493 0.2943 0.4801 0.2205 1.181 1.927 json
t14_x23_u4_b35 14 23 4 35 cil(div(mlt(R,D),R)) 66908 114618476 o1(o2(o2(x,x),x)) true 23271 23271 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_x23_u4_b36 14 23 4 36 cil(div(div(R,D),R)) 66909 114618477 o1(o2(o2(x,x),x)) true 23279 23279 0.06746 0.5 0.9326 0.9038 0.9507 -1 1 2 1 1.531 0.354 0 0.246 1 1 0 0.619 0.3948 0.2935 0.5417 2.202 2 0.3917 0.6849 1 1 0.4017 1.777 0 0.4444 1.966 0 json
t14_x23_u4_b37 14 23 4 37 cil(div(pow(R,D),R)) 66910 114618478 o1(o2(o2(x,x),x)) true 23287 23287 -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_x23_u4_b38 14 23 4 38 cil(div(mod(R,D),R)) 66911 114618479 o1(o2(o2(x,x),x)) true 23295 23295 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_x23_u4_b39 14 23 4 39 cil(div(lrg(R,D),R)) 66912 114618480 o1(o2(o2(x,x),x)) true 23303 23303 0.4142 0.724 0.6672 0.4463 0.668 -1 1 2 1 3.135 0.05826 0.01488 0.114 0.593 1 0.00005266 0.1188 0.128 0.06013 0.2452 2.15 2.828 0.1639 0.2662 1 1 0.0905 0.4625 0.8629 0.2028 1.036 1.934 json
t14_x23_u4_b40 14 23 4 40 cil(div(eql(R,D),R)) 66913 114618481 o1(o2(o2(x,x),x)) true 23311 23311 -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_x23_u4_b41 14 23 4 41 cil(div(min(R,D),R)) 66914 114618482 o1(o2(o2(x,x),x)) true 23319 23319 0.6677 0.9271 0.7677 0.2562 0.5061 -1 1 2 1 2.957 0.04438 0.005839 0.09901 0.7675 1 0.0003384 0.08593 0.114 0.04041 0.201 2.03 2.091 0.196 0.3355 1 1 0.05535 0.2665 0.4292 0.2161 1.04 1.676 json
t14_x23_u4_b42 14 23 4 42 cil(div(dot(R,D),R)) 66915 114618483 o1(o2(o2(x,x),x)) true 23327 23327 0.4404 0.8525 0.5747 0.2729 0.5224 -1 1 2 1 4.118 0.0413 0.0531 0.1692 -0.125 1 0.0003 0.2726 0.2501 0.06576 0.2564 1.515 2.05 0.346 0.9991 1 1 0.1038 0.4325 0.5096 0.3804 1.585 1.868 json
t14_x23_u4_b43 14 23 4 43 cil(div(dst(R,D),R)) 66916 114618484 o1(o2(o2(x,x),x)) true 23335 23335 0.0582 0.5233 0.8864 0.8438 0.9186 -1 1 2 1 2.615 0.03584 0.04295 0.1225 -0.09024 1 0.00002259 0.1124 0.1267 0.06376 0.2525 2.062 2.828 0.09339 0.1332 1 1 0.1163 0.771 1.693 0.1379 0.9138 2.006 json
t14_x23_u4_b44 14 23 4 44 cil(pow(add(R,D),R)) 66917 114618485 o1(o2(o2(x,x),x)) true 23343 23343 -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_x23_u4_b45 14 23 4 45 cil(pow(sub(R,D),R)) 66918 114618486 o1(o2(o2(x,x),x)) true 23351 23351 -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_x23_u4_b46 14 23 4 46 cil(pow(mlt(R,D),R)) 66919 114618487 o1(o2(o2(x,x),x)) true 23359 23359 -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_x23_u4_b47 14 23 4 47 cil(pow(div(R,D),R)) 66920 114618488 o1(o2(o2(x,x),x)) true 23367 23367 -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_x23_u4_b48 14 23 4 48 cil(pow(pow(R,D),R)) 66921 114618489 o1(o2(o2(x,x),x)) true 23375 23375 -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_x23_u4_b49 14 23 4 49 cil(pow(mod(R,D),R)) 66922 114618490 o1(o2(o2(x,x),x)) true 23383 23383 -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_x23_u4_b50 14 23 4 50 cil(pow(lrg(R,D),R)) 66923 114618491 o1(o2(o2(x,x),x)) true 23391 23391 -0.6979 0.1587 0.9847 0.4911 0.7008 -1 1 2 1 0.8936 0.08049 0.05246 0.07334 0.2109 1 0.000007965 0.2846 0.1422 0.1276 0.3572 4.87 2.828 0.2707 0.5794 1 1 0.1317 0.4836 0.9943 0.2682 0.9847 2.024 json
t14_x23_u4_b51 14 23 4 51 cil(pow(eql(R,D),R)) 66924 114618492 o1(o2(o2(x,x),x)) true 23399 23399 -0.8398 0.05859 0.957 0.2516 0.5016 -1 1 2 1 0.5738 0.02942 0.03294 0.03498 -0.05657 1 0 0.1323 0.07048 0.06113 0.2472 7.068 2.828 0.2479 0.5258 1 1 0.06126 0.2521 0.5343 0.2435 1.002 2.124 json
t14_x23_u4_b52 14 23 4 52 cil(pow(min(R,D),R)) 66925 114618493 o1(o2(o2(x,x),x)) true 23407 23407 -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_x23_u4_b53 14 23 4 53 cil(pow(dot(R,D),R)) 66926 114618494 o1(o2(o2(x,x),x)) true 23415 23415 -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_x23_u4_b54 14 23 4 54 cil(pow(dst(R,D),R)) 66927 114618495 o1(o2(o2(x,x),x)) true 23423 23423 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_x23_u4_b55 14 23 4 55 cil(mod(add(R,D),R)) 66928 114618496 o1(o2(o2(x,x),x)) true 23431 23431 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_x23_u4_b56 14 23 4 56 cil(mod(sub(R,D),R)) 66929 114618497 o1(o2(o2(x,x),x)) true 23439 23439 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_x23_u4_b57 14 23 4 57 cil(mod(mlt(R,D),R)) 66930 114618498 o1(o2(o2(x,x),x)) true 23447 23447 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_x23_u4_b58 14 23 4 58 cil(mod(div(R,D),R)) 66931 114618499 o1(o2(o2(x,x),x)) true 23455 23455 0.4547 0.9062 0.4547 0.1497 0.3869 0 1 1 1 3.439 0.05243 0.002041 0.1082 0.9251 1 0.0000139 0.1029 0.1269 0.04275 0.2068 1.91 1 0.3638 0.6876 1 1 0.05896 0.243 0.2598 0.3938 1.623 1.736 json
t14_x23_u4_b59 14 23 4 59 cil(mod(pow(R,D),R)) 66932 114618500 o1(o2(o2(x,x),x)) true 23463 23463 -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_x23_u4_b60 14 23 4 60 cil(mod(mod(R,D),R)) 66933 114618501 o1(o2(o2(x,x),x)) true 23471 23471 0.3918 0.7764 0.3918 0.1505 0.388 0 1 1 1 3.248 0.01296 0.002109 0.06289 0.7201 1 0.0003068 0.02229 0.04604 0.01112 0.1054 1.677 0.9994 0.1001 0.1481 1 1 0.01632 0.123 0.2863 0.1084 0.8171 1.902 json
t14_x23_u4_b61 14 23 4 61 cil(mod(lrg(R,D),R)) 66934 114618502 o1(o2(o2(x,x),x)) true 23479 23479 0.4991 0.9305 0.4991 0.1466 0.3829 0 1 1 1 3.529 0.0202 0.00212 0.08082 0.81 1 0.00001402 0.03815 0.07049 0.01579 0.1257 1.555 0.9997 0.1522 0.2602 1 1 0.02456 0.14 0.2709 0.1675 0.9551 1.848 json
t14_x23_u4_b62 14 23 4 62 cil(mod(eql(R,D),R)) 66935 114618503 o1(o2(o2(x,x),x)) true 23487 23487 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_x23_u4_b63 14 23 4 63 cil(mod(min(R,D),R)) 66936 114618504 o1(o2(o2(x,x),x)) true 23495 23495 0.1975 0.5052 0.1975 0.1028 0.3206 0 0.9997 0.9997 1 2.326 0.03186 0.001051 0.06694 0.9361 1 0.00003566 0.06231 0.08005 0.02844 0.1686 2.519 0.9997 0.3202 0.606 1 1 0.03279 0.1349 0.1439 0.319 1.312 1.399 json
t14_x23_u4_b64 14 23 4 64 cil(mod(dot(R,D),R)) 66937 114618505 o1(o2(o2(x,x),x)) true 23503 23503 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_x23_u4_b65 14 23 4 65 cil(mod(dst(R,D),R)) 66938 114618506 o1(o2(o2(x,x),x)) true 23511 23511 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_x23_u4_b66 14 23 4 66 cil(lrg(add(R,D),R)) 66939 114618507 o1(o2(o2(x,x),x)) true 23519 23519 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_x23_u4_b67 14 23 4 67 cil(lrg(sub(R,D),R)) 66940 114618508 o1(o2(o2(x,x),x)) true 23527 23527 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_x23_u4_b68 14 23 4 68 cil(lrg(mlt(R,D),R)) 66941 114618509 o1(o2(o2(x,x),x)) true 23535 23535 0.5176 0.9429 0.5176 0.1537 0.3921 0 1 1 1 3.429 0.001972 0.002442 0.05168 -0.1065 1 0.00001781 0.0002592 0.01257 0.001744 0.04176 0.8079 0.1169 0.02872 0.001686 1 1 0.008731 0.1124 0.2862 0.0568 0.7316 1.862 json
t14_x23_u4_b69 14 23 4 69 cil(lrg(div(R,D),R)) 66942 114618510 o1(o2(o2(x,x),x)) true 23543 23543 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_x23_u4_b70 14 23 4 70 cil(lrg(pow(R,D),R)) 66943 114618511 o1(o2(o2(x,x),x)) true 23551 23551 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_x23_u4_b71 14 23 4 71 cil(lrg(mod(R,D),R)) 66944 114618512 o1(o2(o2(x,x),x)) true 23559 23559 0.366 0.6935 0.366 0.1531 0.3913 0 1 1 1 3.074 0.02187 0.002116 0.07193 0.8236 1 0.0003024 0.03988 0.07212 0.01881 0.1372 1.907 0.9994 0.1566 0.2605 1 1 0.02907 0.1538 0.2589 0.1899 1.004 1.691 json
t14_x23_u4_b72 14 23 4 72 cil(lrg(lrg(R,D),R)) 66945 114618513 o1(o2(o2(x,x),x)) true 23567 23567 0.9407 1 0.9407 0.02567 0.1602 0.000582 1 0.9994 1 1.251 0.008427 0.0003582 0.02849 0.9185 1 0.0000493 0.01697 0.0305 0.007977 0.08931 3.135 0.9994 0.3422 0.6609 1 1 0.007699 0.02811 0.04308 0.2999 1.095 1.678 json
t14_x23_u4_b73 14 23 4 73 cil(lrg(eql(R,D),R)) 66946 114618514 o1(o2(o2(x,x),x)) true 23575 23575 0.5176 0.9429 0.5176 0.1537 0.3921 0 1 1 1 3.429 0.001972 0.002442 0.05168 -0.1065 1 0.00001781 0.0002592 0.01257 0.001744 0.04176 0.8079 0.1169 0.02872 0.001686 1 1 0.008731 0.1124 0.2862 0.0568 0.7316 1.862 json
t14_x23_u4_b74 14 23 4 74 cil(lrg(min(R,D),R)) 66947 114618515 o1(o2(o2(x,x),x)) true 23583 23583 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_x23_u4_b75 14 23 4 75 cil(lrg(dot(R,D),R)) 66948 114618516 o1(o2(o2(x,x),x)) true 23591 23591 0.5134 0.9291 0.5134 0.1558 0.3948 0 1 1 1 3.396 0.004698 0.01157 0.06796 -0.4223 1 -0.00006323 0.03601 0.05617 0.01165 0.1079 1.588 1.404 0.1044 0.231 1 1 0.01916 0.1367 0.2881 0.123 0.877 1.849 json
t14_x23_u4_b76 14 23 4 76 cil(lrg(dst(R,D),R)) 66949 114618517 o1(o2(o2(x,x),x)) true 23599 23599 0.965 1 0.965 0.01759 0.1326 0.007413 1 0.9926 1 0.7694 0.004825 0.003407 0.0189 0.1722 1 0.0001942 0.02588 0.02596 0.007877 0.08875 4.697 1.404 0.4679 1.471 1 1 0.006846 0.02466 0.02854 0.3891 1.402 1.622 json
t14_x23_u4_b77 14 23 4 77 cil(eql(add(R,D),R)) 66950 114618518 o1(o2(o2(x,x),x)) true 23607 23607 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_x23_u4_b78 14 23 4 78 cil(eql(sub(R,D),R)) 66951 114618519 o1(o2(o2(x,x),x)) true 23615 23615 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_x23_u4_b79 14 23 4 79 cil(eql(mlt(R,D),R)) 66952 114618520 o1(o2(o2(x,x),x)) true 23623 23623 2.132e-7 0.000824 2.132e-7 4.854e-11 0.000006967 0 0.000291 0.000291 1 0 1.003e-10 7.118e-13 4.44e-7 0.9859 0 -1.038e-10 3.039e-10 8.803e-7 1.008e-10 0.00001004 22.61 0.000291 2.082 6.261 1 1 6.049e-11 8.031e-11 1.177e-10 1.246 1.655 2.424 json
t14_x23_u4_b80 14 23 4 80 cil(eql(div(R,D),R)) 66953 114618521 o1(o2(o2(x,x),x)) true 23631 23631 7.106e-8 0.0002747 7.106e-8 1.62e-11 0.000004025 0 0.000291 0.000291 1 0 3.345e-11 2.372e-13 1.48e-7 0.9859 0 -1.038e-10 1.013e-10 2.934e-7 3.366e-11 0.000005802 39.21 0.000291 2.079 6.253 1 1 0 0 0 0 0 0 json
t14_x23_u4_b81 14 23 4 81 cil(eql(pow(R,D),R)) 66954 114618522 o1(o2(o2(x,x),x)) true 23639 23639 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_x23_u4_b82 14 23 4 82 cil(eql(mod(R,D),R)) 66955 114618523 o1(o2(o2(x,x),x)) true 23647 23647 0.2693 0.9401 0.2693 0.1142 0.3379 0 1 1 1 2.991 0.03728 0.001281 0.09495 0.9335 1 -0.0006337 0.07144 0.1198 0.02955 0.1719 1.81 0.9994 0.3377 0.6257 1 1 0.03933 0.1354 0.168 0.3445 1.186 1.471 json
t14_x23_u4_b83 14 23 4 83 cil(eql(lrg(R,D),R)) 66956 114618524 o1(o2(o2(x,x),x)) true 23655 23655 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_x23_u4_b84 14 23 4 84 cil(eql(eql(R,D),R)) 66957 114618525 o1(o2(o2(x,x),x)) true 23663 23663 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_x23_u4_b85 14 23 4 85 cil(eql(min(R,D),R)) 66958 114618526 o1(o2(o2(x,x),x)) true 23671 23671 0.5009 0.9274 0.5009 0.1466 0.3829 0 1 1 1 3.529 0.0202 0.00212 0.08082 0.81 1 -0.00001403 0.03815 0.07049 0.01579 0.1257 1.555 0.9997 0.1522 0.2602 1 1 0.02456 0.14 0.2709 0.1675 0.9551 1.848 json
t14_x23_u4_b86 14 23 4 86 cil(eql(dot(R,D),R)) 66959 114618527 o1(o2(o2(x,x),x)) true 23679 23679 0.00009826 0.000351 0.00009826 0.0000607 0.007791 0 0.8991 0.8991 1 0.003532 0.0001253 0.0001253 0.0003462 0 1 0 0.001253 0.0008112 0.0002505 0.01583 45.71 1.271 4.129 20.65 1 1 0.0001569 0.0001561 0.0001449 2.584 2.571 2.387 json
t14_x23_u4_b87 14 23 4 87 cil(eql(dst(R,D),R)) 66960 114618528 o1(o2(o2(x,x),x)) true 23687 23687 0.00003112 0.0001068 0.00003112 0.00001826 0.004274 0 0.9414 0.9414 1 0.001536 0.0000377 0.0000377 0.0001096 0 0 7.997e-10 0.000377 0.0002569 0.00007538 0.008682 79.18 1.331 4.128 20.64 1 1 0.00005579 0.00005579 0.0000558 3.055 3.055 3.055 json
t14_x23_u4_b88 14 23 4 88 cil(min(add(R,D),R)) 66961 114618529 o1(o2(o2(x,x),x)) true 23695 23695 0.3522 0.7604 0.443 0.2117 0.4601 -0.9994 1 1.999 1 4.197 0.02052 0.003039 0.08913 0.742 1 0.0008008 0.03639 0.06997 0.01561 0.1249 1.402 0.9994 0.1112 0.1719 1 1 0.02694 0.1768 0.3713 0.1272 0.8351 1.754 json
t14_x23_u4_b89 14 23 4 89 cil(min(sub(R,D),R)) 66962 114618530 o1(o2(o2(x,x),x)) true 23703 23703 0.3543 0.7507 0.44 0.2106 0.459 -0.9994 1 1.999 1 4.149 0.01998 0.003003 0.0876 0.7387 1 0.0000715 0.03633 0.07004 0.01532 0.1238 1.413 0.9997 0.1091 0.1725 1 1 0.0258 0.1721 0.3718 0.1225 0.817 1.765 json
t14_x23_u4_b90 14 23 4 90 cil(min(mlt(R,D),R)) 66963 114618531 o1(o2(o2(x,x),x)) true 23711 23711 0.2432 0.7246 0.2432 0.1087 0.3297 0 0.9997 0.9997 1 2.8 0.02738 0.00118 0.07029 0.9174 1 -0.00000142 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_x23_u4_b91 14 23 4 91 cil(min(div(R,D),R)) 66964 114618532 o1(o2(o2(x,x),x)) true 23719 23719 -0.2231 0.3996 0.577 0.4395 0.663 -1 0.9997 2 1 4.083 0.1356 0.01033 0.1843 0.8584 1 -0.0006789 0.2655 0.2441 0.1119 0.3346 1.815 2.017 0.3319 0.604 1 1 0.1619 0.6978 0.713 0.3683 1.588 1.622 json
t14_x23_u4_b92 14 23 4 92 cil(min(pow(R,D),R)) 66965 114618533 o1(o2(o2(x,x),x)) true 23727 23727 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_x23_u4_b93 14 23 4 93 cil(min(mod(R,D),R)) 66966 114618534 o1(o2(o2(x,x),x)) true 23735 23735 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_x23_u4_b94 14 23 4 94 cil(min(lrg(R,D),R)) 66967 114618535 o1(o2(o2(x,x),x)) true 23743 23743 0.4232 0.8335 0.4232 0.1518 0.3896 0 1 1 1 3.35 0.01015 0.002268 0.0614 0.6347 1 0.0000315 0.01717 0.03834 0.00865 0.093 1.515 0.9994 0.0818 0.1131 1 1 0.01515 0.1243 0.2844 0.09979 0.819 1.874 json
t14_x23_u4_b95 14 23 4 95 cil(min(eql(R,D),R)) 66968 114618536 o1(o2(o2(x,x),x)) true 23751 23751 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_x23_u4_b96 14 23 4 96 cil(min(min(R,D),R)) 66969 114618537 o1(o2(o2(x,x),x)) true 23759 23759 0.2432 0.7246 0.2432 0.1087 0.3297 0 0.9997 0.9997 1 2.8 0.02738 0.00118 0.07029 0.9174 1 -0.00000142 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_x23_u4_b97 14 23 4 97 cil(min(dot(R,D),R)) 66970 114618538 o1(o2(o2(x,x),x)) true 23767 23767 0.2451 0.6676 0.2459 0.1082 0.329 -0.195 1 1.195 1 3.012 0.01769 0.01756 0.07627 0.003747 1 -0.000155 0.1103 0.0937 0.02943 0.1716 2.249 1.413 0.3256 1.019 1 1 0.03721 0.1588 0.1952 0.3438 1.467 1.804 json
t14_x23_u4_b98 14 23 4 98 cil(min(dst(R,D),R)) 66971 114618539 o1(o2(o2(x,x),x)) true 23775 23775 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_x23_u4_b99 14 23 4 99 cil(dot(add(R,D),R)) 66972 114618540 o1(o2(o2(x,x),x)) true 23783 23783 0.9964 1 0.9964 0.001156 0.034 0.03547 1 0.9645 1 0.1528 0.0004762 0.0005362 0.003582 -0.05925 1 0.000005208 0.003354 0.005501 0.0009992 0.03161 8.825 1.364 0.8759 2.901 1 1 0.000542 0.001151 0.001288 0.4689 0.9956 1.115 json
t14_x23_u4_b100 14 23 4 100 cil(dot(sub(R,D),R)) 66973 114618541 o1(o2(o2(x,x),x)) true 23791 23791 0.9955 1 0.9955 0.001751 0.04185 0.000317 1 0.9997 1 0.1692 0.0005581 0.0005597 0.003708 -0.001409 1 0.000004889 0.003732 0.005729 0.001105 0.03324 8.964 1.399 0.6383 2.131 1 1 0.0006769 0.00187 0.002489 0.3866 1.068 1.421 json
t14_x23_u4_b101 14 23 4 101 cil(dot(mlt(R,D),R)) 66974 114618542 o1(o2(o2(x,x),x)) true 23799 23799 0.5023 0.9996 0.5023 0.1168 0.3418 0.000002074 1 1 1 3.808 0.03259 0.03148 0.1321 0.01726 1 -0.0001631 0.1813 0.1691 0.04662 0.2159 1.635 1.409 0.5486 1.553 1 1 0.06881 0.2317 0.1272 0.5891 1.984 1.089 json
t14_x23_u4_b102 14 23 4 102 cil(dot(div(R,D),R)) 66975 114618543 o1(o2(o2(x,x),x)) true 23807 23807 -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_x23_u4_b103 14 23 4 103 cil(dot(pow(R,D),R)) 66976 114618544 o1(o2(o2(x,x),x)) true 23815 23815 -0.9922 0.003906 1 0.01552 0.1246 -1 1 2 1 0.03702 0.001984 0.001984 0.001982 0 1 -4.881e-11 0.008377 0.003968 0.003962 0.06294 31.75 2.236 0.2557 0.5398 1 1 0.007036 0.02831 0.05479 0.4534 1.824 3.531 json
t14_x23_u4_b104 14 23 4 104 cil(dot(mod(R,D),R)) 66977 114618545 o1(o2(o2(x,x),x)) true 23823 23823 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_x23_u4_b105 14 23 4 105 cil(dot(lrg(R,D),R)) 66978 114618546 o1(o2(o2(x,x),x)) true 23831 23831 0.8555 0.9947 0.8555 0.07981 0.2825 0 1 1 1 1.911 0.00534 0.004529 0.03921 0.08213 1 0.0001828 0.01547 0.03308 0.008329 0.09126 2.327 1.08 0.1237 0.1939 1 1 0.01232 0.07178 0.134 0.1543 0.8994 1.679 json
t14_x23_u4_b106 14 23 4 106 cil(dot(eql(R,D),R)) 66979 114618547 o1(o2(o2(x,x),x)) true 23839 23839 0.0002102 0.0004883 0.0002102 0.0001417 0.0119 0 0.8606 0.8606 1 0.006317 0.000002076 0.0002926 0.0004378 -0.9859 1 -2.568e-11 0.0008861 0.000868 0.0002944 0.01716 39.19 0.8606 2.08 6.254 1 1 0.0002646 0.0003513 0.0005147 1.867 2.479 3.633 json
t14_x23_u4_b107 14 23 4 107 cil(dot(min(R,D),R)) 66980 114618548 o1(o2(o2(x,x),x)) true 23847 23847 0.8923 1 0.8923 0.05515 0.2348 0.000291 1 0.9997 1 1.711 0.009505 0.009322 0.04406 0.009705 1 0.0001295 0.05297 0.05549 0.01689 0.13 2.95 1.414 0.3414 0.9605 1 1 0.02234 0.08754 0.1025 0.4051 1.587 1.858 json
t14_x23_u4_b108 14 23 4 108 cil(dot(dot(R,D),R)) 66981 114618549 o1(o2(o2(x,x),x)) true 23855 23855 0.4909 0.923 0.4959 0.1465 0.3828 -0.7346 1 1.735 1 3.741 0.03625 0.03582 0.1348 0.00602 1 0.0002764 0.2303 0.1958 0.0539 0.2322 1.722 1.414 0.4918 1.571 1 1 0.07587 0.28 0.2791 0.5177 1.911 1.905 json
t14_x23_u4_b109 14 23 4 109 cil(dot(dst(R,D),R)) 66982 114618550 o1(o2(o2(x,x),x)) true 23863 23863 0.3883 0.7708 0.6414 0.4009 0.6331 -1 1 2 1 3.97 0.01154 0.01208 0.0924 -0.02282 1 0.000005371 0.03667 0.06347 0.01509 0.1228 1.329 1.413 0.05894 0.09149 1 1 0.0366 0.3063 0.7536 0.09131 0.7642 1.88 json
t14_x23_u4_b110 14 23 4 110 cil(dst(add(R,D),R)) 66983 114618551 o1(o2(o2(x,x),x)) true 23871 23871 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_x23_u4_b111 14 23 4 111 cil(dst(sub(R,D),R)) 66984 114618552 o1(o2(o2(x,x),x)) true 23879 23879 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_x23_u4_b112 14 23 4 112 cil(dst(mlt(R,D),R)) 66985 114618553 o1(o2(o2(x,x),x)) true 23887 23887 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_x23_u4_b113 14 23 4 113 cil(dst(div(R,D),R)) 66986 114618554 o1(o2(o2(x,x),x)) true 23895 23895 -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_x23_u4_b114 14 23 4 114 cil(dst(pow(R,D),R)) 66987 114618555 o1(o2(o2(x,x),x)) true 23903 23903 -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_x23_u4_b115 14 23 4 115 cil(dst(mod(R,D),R)) 66988 114618556 o1(o2(o2(x,x),x)) true 23911 23911 0.9263 0.9994 0.9263 0.0294 0.1715 0 1 1 1 1.489 0.009065 0.008825 0.05166 0.01345 1 0.0004021 0.04239 0.07558 0.01522 0.1234 2.389 1.394 0.6085 1.442 1 1 0.0155 0.04011 0.04081 0.5271 1.364 1.388 json
t14_x23_u4_b116 14 23 4 116 cil(dst(lrg(R,D),R)) 66989 114618557 o1(o2(o2(x,x),x)) true 23919 23919 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_x23_u4_b117 14 23 4 117 cil(dst(eql(R,D),R)) 66990 114618558 o1(o2(o2(x,x),x)) true 23927 23927 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_x23_u4_b118 14 23 4 118 cil(dst(min(R,D),R)) 66991 114618559 o1(o2(o2(x,x),x)) true 23935 23935 0.9008 0.9994 0.9008 0.05835 0.2415 0 1 1 1 1.443 0.006263 0.0057 0.0351 0.04705 1 0.0001425 0.02202 0.03906 0.01073 0.1036 2.951 0.9994 0.205 0.3774 1 1 0.0128 0.06259 0.1001 0.2194 1.073 1.716 json
t14_x23_u4_b119 14 23 4 119 cil(dst(dot(R,D),R)) 66992 114618560 o1(o2(o2(x,x),x)) true 23943 23943 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_x23_u4_b120 14 23 4 120 cil(dst(dst(R,D),R)) 66993 114618561 o1(o2(o2(x,x),x)) true 23951 23951 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_x23_u5_b0 14 23 5 0 sgn(add(add(R,D),R)) 66994 114618642 o1(o2(o2(x,x),x)) true 23959 23959 -0.01971 0.4889 0.7081 0.5993 0.7741 -1 1 2 1 4.06 0.04088 0.009031 0.1301 0.6381 1 0.0001587 0.0691 0.07916 0.03299 0.1816 1.396 1.999 0.08328 0.1153 1 1 0.05905 0.4959 1.1 0.09854 0.8275 1.835 json
t14_x23_u5_b1 14 23 5 1 sgn(add(sub(R,D),R)) 66995 114618643 o1(o2(o2(x,x),x)) true 23967 23967 -0.02032 0.4877 0.721 0.6165 0.7852 -1 1 2 1 4.006 0.04018 0.009139 0.1261 0.6294 1 0.0001687 0.06812 0.07761 0.03341 0.1828 1.449 1.999 0.08 0.1105 1 1 0.06218 0.513 1.176 0.1009 0.8321 1.907 json
t14_x23_u5_b2 14 23 5 2 sgn(add(mlt(R,D),R)) 66996 114618644 o1(o2(o2(x,x),x)) true 23975 23975 -0.03516 0.4819 0.7206 0.6148 0.7841 -1 1 2 1 4.005 0.007889 0.009769 0.1034 -0.1065 1 -0.00003562 0.001037 0.02513 0.006974 0.08351 0.8079 0.2338 0.02872 0.001686 1 1 0.03492 0.4498 1.145 0.0568 0.7316 1.862 json
t14_x23_u5_b3 14 23 5 3 sgn(add(div(R,D),R)) 66997 114618645 o1(o2(o2(x,x),x)) true 23983 23983 0.007812 0.5049 0.6979 0.5879 0.7668 -1 1 2 1 4.14 0.1911 0.00911 0.2038 0.909 1 0.00002994 0.3729 0.2242 0.1587 0.3984 1.955 2 0.3406 0.6344 1 1 0.2198 0.9817 1.127 0.3738 1.67 1.917 json
t14_x23_u5_b4 14 23 5 4 sgn(add(pow(R,D),R)) 66998 114618646 o1(o2(o2(x,x),x)) true 23991 23991 -0.03516 0.4819 0.7206 0.6148 0.7841 -1 1 2 1 4.005 0.007889 0.009769 0.1034 -0.1065 1 -0.00003562 0.001037 0.02513 0.006974 0.08351 0.8079 0.2338 0.02872 0.001686 1 1 0.03492 0.4498 1.145 0.0568 0.7316 1.862 json
t14_x23_u5_b5 14 23 5 5 sgn(add(mod(R,D),R)) 66999 114618647 o1(o2(o2(x,x),x)) true 23999 23999 -0.03516 0.4819 0.7206 0.6148 0.7841 -1 1 2 1 4.005 0.007889 0.009769 0.1034 -0.1065 1 -0.00003562 0.001037 0.02513 0.006974 0.08351 0.8079 0.2338 0.02872 0.001686 1 1 0.03492 0.4498 1.145 0.0568 0.7316 1.862 json