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_x23_u3_b28 16 23 3 28 mlt(R,flr(lrg(D,R))) 94500 130859470 o2(x,o1(o2(x,x))) true 72807 72807 -0.2239 0.1253 0.239 0.07192 0.2682 -0.9987 0.2695 1.268 1 3.788 0.002335 0.0009971 0.04036 0.4016 1 -0.00001563 0.003293 0.02414 0.001703 0.04127 1.023 0.3515 0.04634 0.04579 1 1 0.004893 0.04676 0.1166 0.06803 0.6502 1.622 json
t16_x23_u3_b29 16 23 3 29 mlt(R,flr(eql(D,R))) 94501 130859471 o2(x,o1(o2(x,x))) true 72815 72815 -0.00002379 0 0.00002379 0.000003633 0.001906 -0.1948 0 0.1948 1 0.003755 0.000005124 5.318e-8 0.00003743 0.9795 0 -6.949e-8 0.00001553 0.00007373 0.000005176 0.002275 60.78 0.1892 1.425 4.276 1 1 0 0 0.000002772 0 0 0.7631 json
t16_x23_u3_b30 16 23 3 30 mlt(R,flr(min(D,R))) 94502 130859472 o2(x,o1(o2(x,x))) true 72823 72823 0.1235 0.6598 0.3169 0.1511 0.3888 -0.9805 0.9989 1.979 1 4.595 0.01138 0.002047 0.06581 0.695 1 -0.00001672 0.01894 0.04201 0.009091 0.09535 1.449 0.9695 0.08881 0.1253 1 1 0.01724 0.1257 0.2462 0.114 0.8318 1.629 json
t16_x23_u3_b31 16 23 3 31 mlt(R,flr(dot(D,R))) 94503 130859473 o2(x,o1(o2(x,x))) true 72831 72831 -0.004057 0.4667 0.2106 0.09867 0.3141 -0.9808 0.9987 1.979 1 4.096 0.01583 0.01078 0.08057 0.19 1 -0.00004202 0.08244 0.1005 0.02011 0.1418 1.76 1.378 0.2696 0.8354 1 1 0.02884 0.1283 0.1599 0.2923 1.3 1.621 json
t16_x23_u3_b32 16 23 3 32 mlt(R,flr(dst(D,R))) 94504 130859474 o2(x,o1(o2(x,x))) true 72839 72839 0.01348 0.5017 0.278 0.1509 0.3885 -1 0.9977 1.998 1 4.439 0.01107 0.008434 0.07832 0.1354 1 0.000006757 0.05163 0.07982 0.01338 0.1157 1.477 1.324 0.1293 0.3421 1 1 0.0228 0.1413 0.2766 0.1511 0.9361 1.833 json
t16_x23_u3_b33 16 23 3 33 div(R,flr(add(D,R))) 94505 130859475 o2(x,o1(o2(x,x))) true 72847 72847 -0.6768 0.1961 0.9275 0.4393 0.6628 -1 1 2 1 1.438 0.1724 0.04031 0.1343 0.6209 1 -0.0008398 0.4764 0.2607 0.1945 0.4411 3.285 2.828 0.4841 1.084 1 1 0.2064 0.5804 0.8269 0.4699 1.321 1.882 json
t16_x23_u3_b34 16 23 3 34 div(R,flr(sub(D,R))) 94506 130859476 o2(x,o1(o2(x,x))) true 72855 72855 -0.9269 0.00325 0.9273 0.03785 0.1945 -1 0.1651 1.165 1 1.148 0.01858 0.003215 0.03812 0.7051 1 -0.00002092 0.04988 0.06778 0.02035 0.1427 3.742 1.635 0.5759 1.318 1 1 0.02095 0.054 0.07448 0.5536 1.427 1.968 json
t16_x23_u3_b35 16 23 3 35 div(R,flr(mlt(D,R))) 94507 130859477 o2(x,o1(o2(x,x))) true 72863 72863 -0.9553 0.02234 0.9712 0.04986 0.2233 -1 0.8658 1.866 1 0.4947 0.007671 0.005052 0.01304 0.2058 1 -0.000003135 0.02628 0.02017 0.01256 0.1121 8.592 1.866 0.2552 0.5271 1 1 0.01195 0.05021 0.07771 0.2397 1.007 1.559 json
t16_x23_u3_b36 16 23 3 36 div(R,flr(div(D,R))) 94508 130859478 o2(x,o1(o2(x,x))) true 72871 72871 -0.748 0.1254 0.825 0.2252 0.4745 -1 0.9987 1.999 1 2.034 0.09243 0.01879 0.106 0.662 1 0.0002079 0.2487 0.1888 0.09999 0.3162 2.983 2.712 0.494 1.104 1 1 0.1071 0.31 0.4159 0.4759 1.377 1.847 json
t16_x23_u3_b37 16 23 3 37 div(R,flr(pow(D,R))) 94509 130859479 o2(x,o1(o2(x,x))) true 72879 72879 -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_x23_u3_b38 16 23 3 38 div(R,flr(mod(D,R))) 94510 130859480 o2(x,o1(o2(x,x))) true 72887 72887 -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_x23_u3_b39 16 23 3 39 div(R,flr(lrg(D,R))) 94511 130859481 o2(x,o1(o2(x,x))) true 72895 72895 -0.7925 0.08945 0.9713 0.3306 0.5749 -1 1 2 1 1.008 0.1402 0.0397 0.1017 0.5586 1 -0.000004916 0.4143 0.2028 0.1696 0.4118 4.05 2.828 0.5442 1.253 1 1 0.1665 0.479 0.5341 0.5037 1.449 1.616 json
t16_x23_u3_b40 16 23 3 40 div(R,flr(eql(D,R))) 94512 130859482 o2(x,o1(o2(x,x))) true 72903 72903 -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_x23_u3_b41 16 23 3 41 div(R,flr(min(D,R))) 94513 130859483 o2(x,o1(o2(x,x))) true 72911 72911 -0.6881 0.1915 0.86 0.3426 0.5853 -1 0.9989 1.999 1 1.945 0.03764 0.03084 0.06008 0.0993 1 -8.553e-7 0.1419 0.09687 0.0649 0.2548 4.24 2.792 0.1999 0.4143 1 1 0.07246 0.3084 0.6381 0.2115 0.9003 1.863 json
t16_x23_u3_b42 16 23 3 42 div(R,flr(dot(D,R))) 94514 130859484 o2(x,o1(o2(x,x))) true 72919 72919 -0.9041 0.04846 0.9582 0.1303 0.361 -1 1 2 1 0.7598 0.04364 0.03833 0.05581 0.06471 1 0.0001642 0.2627 0.1131 0.07887 0.2808 5.032 2.828 0.6291 2.016 1 1 0.07759 0.2199 0.2652 0.5955 1.688 2.036 json
t16_x23_u3_b43 16 23 3 43 div(R,flr(dst(D,R))) 94515 130859485 o2(x,o1(o2(x,x))) true 72927 72927 -0.7697 0.1153 0.8965 0.2703 0.5199 -1 1 2 1 1.746 0.0712 0.06969 0.1011 0.01068 1 0.0003484 0.4171 0.1934 0.1307 0.3615 3.575 2.828 0.5213 1.543 1 1 0.1343 0.4116 0.571 0.4969 1.523 2.113 json
t16_x23_u3_b44 16 23 3 44 pow(R,flr(add(D,R))) 94516 130859486 o2(x,o1(o2(x,x))) true 72935 72935 -0.7457 0.1277 0.9989 0.4417 0.6646 -1 1 2 1 0.5912 0.08305 0.04296 0.06352 0.3182 1 0.0004406 0.2667 0.1269 0.1219 0.3492 5.497 2.828 0.2853 0.6039 1 1 0.1226 0.4645 0.8892 0.2775 1.052 2.013 json
t16_x23_u3_b45 16 23 3 45 pow(R,flr(sub(D,R))) 94517 130859487 o2(x,o1(o2(x,x))) true 72943 72943 -0.4609 0.2695 1 0.7871 0.8872 -1 1 2 1 0.8408 0.2535 0.06563 0.1578 0.5886 1 -0.001008 0.7008 0.3191 0.2944 0.5426 3.438 2.828 0.4054 0.8903 1 1 0.3137 0.9254 1.593 0.3986 1.176 2.023 json
t16_x23_u3_b46 16 23 3 46 pow(R,flr(mlt(D,R))) 94518 130859488 o2(x,o1(o2(x,x))) true 72951 72951 -0.5625 0.2188 1 0.6836 0.8268 -1 1 2 1 0.7579 0.08251 0.06563 0.07348 0.1139 1 0 0.3131 0.1481 0.1428 0.3779 5.142 2.828 0.2167 0.4579 1 1 0.1531 0.6281 1.494 0.2239 0.9188 2.185 json
t16_x23_u3_b47 16 23 3 47 pow(R,flr(div(D,R))) 94519 130859489 o2(x,o1(o2(x,x))) true 72959 72959 -0.7593 0.1221 0.9966 0.418 0.6465 -1 1 2 1 0.6306 0.09852 0.0377 0.06986 0.4464 1 2.183e-7 0.3058 0.139 0.1313 0.3624 5.187 2.828 0.3259 0.7315 1 1 0.1292 0.4321 0.838 0.3091 1.034 2.005 json
t16_x23_u3_b48 16 23 3 48 pow(R,flr(pow(D,R))) 94520 130859490 o2(x,o1(o2(x,x))) true 72967 72967 -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_x23_u3_b49 16 23 3 49 pow(R,flr(mod(D,R))) 94521 130859491 o2(x,o1(o2(x,x))) true 72975 72975 -0.5781 0.2109 1 0.6661 0.8161 -1 1 2 1 0.7433 0.08151 0.06689 0.07361 0.09847 1 0 0.3136 0.1484 0.143 0.3782 5.137 2.828 0.2228 0.4707 1 1 0.1477 0.6117 1.421 0.2217 0.9184 2.134 json
t16_x23_u3_b50 16 23 3 50 pow(R,flr(lrg(D,R))) 94522 130859492 o2(x,o1(o2(x,x))) true 72983 72983 -0.7543 0.1287 0.9884 0.4135 0.643 -1 1 2 1 0.7732 0.07944 0.0384 0.06421 0.3482 1 0.000005221 0.2506 0.1252 0.1136 0.3371 5.25 2.828 0.285 0.606 1 1 0.1189 0.4303 0.8065 0.2876 1.041 1.95 json
t16_x23_u3_b51 16 23 3 51 pow(R,flr(eql(D,R))) 94523 130859493 o2(x,o1(o2(x,x))) true 72991 72991 0.9995 0.9998 1 0.0009763 0.03125 -1 1 2 1 0.003282 0.001764 0.00006299 0.0009133 0.931 1 0 0.005669 0.001827 0.001826 0.04273 46.78 2 1.871 5.806 1 1 0 0 0.000831 0 0 0.8512 json
t16_x23_u3_b52 16 23 3 52 pow(R,flr(min(D,R))) 94524 130859494 o2(x,o1(o2(x,x))) true 72999 72999 -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
t16_x23_u3_b53 16 23 3 53 pow(R,flr(dot(D,R))) 94525 130859495 o2(x,o1(o2(x,x))) true 73007 73007 -0.4596 0.2702 1 0.7891 0.8883 -1 1 2 1 0.8418 0.1495 0.1456 0.1403 0.01345 1 -0.000252 0.86 0.2953 0.2753 0.5247 3.74 2.828 0.374 1.09 1 1 0.2882 0.9263 1.579 0.3653 1.174 2.002 json
t16_x23_u3_b54 16 23 3 54 pow(R,flr(dst(D,R))) 94526 130859496 o2(x,o1(o2(x,x))) true 73015 73015 -0.6307 0.1972 0.975 0.561 0.749 -1 1 2 1 1.195 0.1093 0.1089 0.1144 0.002221 1 -0.000438 0.6142 0.2342 0.205 0.4528 3.957 2.828 0.389 1.095 1 1 0.2122 0.6906 1.147 0.3782 1.231 2.044 json
t16_x23_u3_b55 16 23 3 55 mod(R,flr(add(D,R))) 94527 130859497 o2(x,o1(o2(x,x))) true 73023 73023 -0.891 0.03763 0.9225 0.1011 0.318 -1 0.9806 1.981 1 1.287 0.04868 0.007602 0.05905 0.7299 1 -0.0003123 0.125 0.1056 0.05279 0.2298 3.891 2.595 0.5566 1.237 1 1 0.05619 0.1477 0.1993 0.5556 1.461 1.971 json
t16_x23_u3_b56 16 23 3 56 mod(R,flr(sub(D,R))) 94528 130859498 o2(x,o1(o2(x,x))) true 73031 73031 -0.8021 0.1219 0.9228 0.251 0.501 -1 0.9632 1.963 1 1.264 0.09065 0.02109 0.08458 0.6226 1 0.00001871 0.2519 0.1567 0.1046 0.3234 3.824 2.743 0.4451 1.004 1 1 0.1055 0.3089 0.4875 0.4204 1.23 1.942 json
t16_x23_u3_b57 16 23 3 57 mod(R,flr(mlt(D,R))) 94529 130859499 o2(x,o1(o2(x,x))) true 73039 73039 -0.9509 0.02454 0.9712 0.05834 0.2415 -1 0.943 1.943 1 0.4961 0.008751 0.005485 0.01372 0.2294 1 0.000003135 0.02941 0.02168 0.01404 0.1185 8.636 2.698 0.244 0.5041 1 1 0.01139 0.05145 0.09009 0.1953 0.882 1.544 json
t16_x23_u3_b58 16 23 3 58 mod(R,flr(div(D,R))) 94530 130859500 o2(x,o1(o2(x,x))) true 73047 73047 -0.7368 0.126 0.8324 0.2461 0.4961 -1 0.9633 1.963 1 2.051 0.09383 0.02045 0.1036 0.6421 1 0.0002277 0.254 0.1878 0.1036 0.3218 3.106 2.742 0.4643 1.032 1 1 0.1093 0.3209 0.4717 0.444 1.304 1.916 json
t16_x23_u3_b59 16 23 3 59 mod(R,flr(pow(D,R))) 94531 130859501 o2(x,o1(o2(x,x))) true 73055 73055 -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_x23_u3_b60 16 23 3 60 mod(R,flr(mod(D,R))) 94532 130859502 o2(x,o1(o2(x,x))) true 73063 73063 -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_x23_u3_b61 16 23 3 61 mod(R,flr(lrg(D,R))) 94533 130859503 o2(x,o1(o2(x,x))) true 73071 73071 -0.9712 0.00009155 0.9713 0.01543 0.1242 -1 0.1088 1.109 1 0.5827 0.009287 0.001405 0.01836 0.7372 1 -0.000004916 0.02537 0.03446 0.01036 0.1018 5.544 1.32 0.6928 1.644 1 1 0.01009 0.02375 0.02771 0.654 1.539 1.795 json
t16_x23_u3_b62 16 23 3 62 mod(R,flr(eql(D,R))) 94534 130859504 o2(x,o1(o2(x,x))) true 73079 73079 -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_x23_u3_b63 16 23 3 63 mod(R,flr(min(D,R))) 94535 130859505 o2(x,o1(o2(x,x))) true 73087 73087 -0.8197 0.05455 0.86 0.1439 0.3793 -1 0.9805 1.981 1 1.917 0.02182 0.01178 0.0427 0.2989 1 8.569e-7 0.06799 0.062 0.03179 0.1783 4.176 2.783 0.2335 0.4725 1 1 0.03264 0.1472 0.2528 0.2268 1.023 1.757 json
t16_x23_u3_b64 16 23 3 64 mod(R,flr(dot(D,R))) 94536 130859506 o2(x,o1(o2(x,x))) true 73095 73095 -0.9355 0.03171 0.9583 0.07251 0.2693 -1 0.9633 1.963 1 0.6461 0.02577 0.02386 0.04034 0.03856 1 0.00008534 0.1586 0.08141 0.04803 0.2192 5.433 2.752 0.6845 2.186 1 1 0.048 0.1309 0.1574 0.6619 1.805 2.17 json
t16_x23_u3_b65 16 23 3 65 mod(R,flr(dst(D,R))) 94537 130859507 o2(x,o1(o2(x,x))) true 73103 73103 -0.8096 0.09549 0.8966 0.2073 0.4553 -1 0.9806 1.981 1 1.615 0.04645 0.05238 0.08151 -0.06 1 0.0002849 0.2948 0.1525 0.09222 0.3037 3.726 2.783 0.4767 1.422 1 1 0.1028 0.3181 0.4552 0.4958 1.534 2.196 json
t16_x23_u3_b66 16 23 3 66 lrg(R,flr(add(D,R))) 94538 130859508 o2(x,o1(o2(x,x))) true 73111 73111 0.843 1 0.843 0.05971 0.2444 0.000582 1 0.9994 1 2.468 0.02168 0.0007319 0.06777 0.9347 1 0.0006264 0.04322 0.07397 0.01782 0.1335 1.97 0.9991 0.3754 0.7238 1 1 0.02309 0.08538 0.09077 0.3867 1.43 1.52 json
t16_x23_u3_b67 16 23 3 67 lrg(R,flr(sub(D,R))) 94539 130859509 o2(x,o1(o2(x,x))) true 73119 73119 0.5584 0.9678 0.5584 0.1513 0.389 0 1 1 1 3.407 0.01242 0.002277 0.06623 0.6901 1 -0.00003517 0.02158 0.04522 0.01031 0.1015 1.533 0.9994 0.09712 0.1427 1 1 0.01881 0.1352 0.277 0.1243 0.8939 1.831 json
t16_x23_u3_b68 16 23 3 68 lrg(R,flr(mlt(D,R))) 94540 130859510 o2(x,o1(o2(x,x))) true 73127 73127 0.7393 1 0.7393 0.1136 0.3371 0.000291 1 0.9997 1 2.903 0.03008 0.00118 0.07393 0.9245 1 -0.00001639 0.05613 0.07221 0.02581 0.1607 2.173 0.9997 0.2752 0.494 1 1 0.03658 0.1608 0.1417 0.322 1.415 1.247 json
t16_x23_u3_b69 16 23 3 69 lrg(R,flr(div(D,R))) 94541 130859511 o2(x,o1(o2(x,x))) true 73135 73135 0.68 0.9809 0.68 0.1325 0.3641 0 1 1 1 3.113 0.03785 0.001513 0.08761 0.9231 1 0.00003292 0.0726 0.09815 0.03169 0.178 2.032 1 0.297 0.5478 1 1 0.04335 0.189 0.187 0.3271 1.426 1.411 json
t16_x23_u3_b70 16 23 3 70 lrg(R,flr(pow(D,R))) 94542 130859512 o2(x,o1(o2(x,x))) true 73143 73143 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
t16_x23_u3_b71 16 23 3 71 lrg(R,flr(mod(D,R))) 94543 130859513 o2(x,o1(o2(x,x))) true 73151 73151 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
t16_x23_u3_b72 16 23 3 72 lrg(R,flr(lrg(D,R))) 94544 130859514 o2(x,o1(o2(x,x))) true 73159 73159 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
t16_x23_u3_b73 16 23 3 73 lrg(R,flr(eql(D,R))) 94545 130859515 o2(x,o1(o2(x,x))) true 73167 73167 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
t16_x23_u3_b74 16 23 3 74 lrg(R,flr(min(D,R))) 94546 130859516 o2(x,o1(o2(x,x))) true 73175 73175 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_x23_u3_b75 16 23 3 75 lrg(R,flr(dot(D,R))) 94547 130859517 o2(x,o1(o2(x,x))) true 73183 73183 0.7387 0.9954 0.7387 0.1107 0.3327 0 1 1 1 2.931 0.01883 0.01775 0.0809 0.02938 1 0.0001333 0.1109 0.09676 0.03004 0.1733 2.142 1.413 0.3305 1.001 1 1 0.04129 0.1722 0.2082 0.373 1.556 1.881 json
t16_x23_u3_b76 16 23 3 76 lrg(R,flr(dst(D,R))) 94548 130859518 o2(x,o1(o2(x,x))) true 73191 73191 0.2006 0.5034 0.2006 0.09916 0.3149 0 1 1 1 2.408 0.01176 0.0118 0.05833 -0.001817 1 -0.00008867 0.06879 0.06855 0.02017 0.142 2.434 1.413 0.2376 0.6937 1 1 0.02511 0.1162 0.1703 0.2532 1.172 1.718 json
t16_x23_u3_b77 16 23 3 77 eql(R,flr(add(D,R))) 94549 130859519 o2(x,o1(o2(x,x))) true 73199 73199 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_x23_u3_b78 16 23 3 78 eql(R,flr(sub(D,R))) 94550 130859520 o2(x,o1(o2(x,x))) true 73207 73207 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_x23_u3_b79 16 23 3 79 eql(R,flr(mlt(D,R))) 94551 130859521 o2(x,o1(o2(x,x))) true 73215 73215 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_x23_u3_b80 16 23 3 80 eql(R,flr(div(D,R))) 94552 130859522 o2(x,o1(o2(x,x))) true 73223 73223 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_x23_u3_b81 16 23 3 81 eql(R,flr(pow(D,R))) 94553 130859523 o2(x,o1(o2(x,x))) true 73231 73231 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_x23_u3_b82 16 23 3 82 eql(R,flr(mod(D,R))) 94554 130859524 o2(x,o1(o2(x,x))) true 73239 73239 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_x23_u3_b83 16 23 3 83 eql(R,flr(lrg(D,R))) 94555 130859525 o2(x,o1(o2(x,x))) true 73247 73247 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_x23_u3_b84 16 23 3 84 eql(R,flr(eql(D,R))) 94556 130859526 o2(x,o1(o2(x,x))) true 73255 73255 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_x23_u3_b85 16 23 3 85 eql(R,flr(min(D,R))) 94557 130859527 o2(x,o1(o2(x,x))) true 73263 73263 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_x23_u3_b86 16 23 3 86 eql(R,flr(dot(D,R))) 94558 130859528 o2(x,o1(o2(x,x))) true 73271 73271 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_x23_u3_b87 16 23 3 87 eql(R,flr(dst(D,R))) 94559 130859529 o2(x,o1(o2(x,x))) true 73279 73279 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_x23_u3_b88 16 23 3 88 min(R,flr(add(D,R))) 94560 130859530 o2(x,o1(o2(x,x))) true 73287 73287 -0.4882 0.1132 0.5433 0.2013 0.4487 -1 0.9803 1.98 1 3.973 0.0247 0.003104 0.09949 0.7767 1 -0.0001559 0.04679 0.09635 0.0179 0.1338 1.345 0.999 0.1381 0.2324 1 1 0.03035 0.1797 0.364 0.1508 0.8927 1.808 json
t16_x23_u3_b89 16 23 3 89 min(R,flr(sub(D,R))) 94561 130859531 o2(x,o1(o2(x,x))) true 73295 73295 -0.7683 0 0.7683 0.06454 0.2541 -1 -0.0003867 0.9996 1 3.161 0.01502 0.001018 0.06093 0.8731 1 0.00005832 0.02962 0.06359 0.01233 0.111 1.822 0.9992 0.2485 0.4588 1 1 0.01606 0.07006 0.1253 0.2488 1.085 1.942 json
t16_x23_u3_b90 16 23 3 90 min(R,flr(mlt(D,R))) 94562 130859532 o2(x,o1(o2(x,x))) true 73303 73303 -0.6248 0 0.6248 0.1135 0.3369 -1 -0.000002674 1 1 3.648 0.03213 0.001639 0.08339 0.9029 1 0.00001606 0.06206 0.0863 0.02681 0.1637 1.963 1 0.2974 0.5467 1 1 0.03618 0.1677 0.2104 0.3187 1.477 1.854 json
t16_x23_u3_b91 16 23 3 91 min(R,flr(div(D,R))) 94563 130859533 o2(x,o1(o2(x,x))) true 73311 73311 -0.6912 0.01291 0.6928 0.1249 0.3535 -1 0.2499 1.25 1 3.219 0.03623 0.002506 0.09296 0.8706 1 0.0003515 0.07211 0.1162 0.0301 0.1735 1.866 1.027 0.3101 0.5772 1 1 0.04094 0.1744 0.2388 0.3277 1.396 1.911 json
t16_x23_u3_b92 16 23 3 92 min(R,flr(pow(D,R))) 94564 130859534 o2(x,o1(o2(x,x))) true 73319 73319 -0.1235 0.3333 0.3169 0.1511 0.3888 -0.9989 0.9805 1.979 1 4.595 0.01138 0.002047 0.06581 0.695 1 0.00001672 0.01894 0.04201 0.009091 0.09535 1.449 0.9695 0.08881 0.1253 1 1 0.01724 0.1257 0.2462 0.114 0.8318 1.629 json
t16_x23_u3_b93 16 23 3 93 min(R,flr(mod(D,R))) 94565 130859535 o2(x,o1(o2(x,x))) true 73327 73327 -0.6254 0 0.6254 0.1106 0.3326 -1 -0.000291 0.9997 1 3.681 0.04112 0.0004469 0.09628 0.9785 1 0.00001223 0.07632 0.09986 0.0323 0.1797 1.867 0.9997 0.3757 0.6897 1 1 0.04474 0.1658 0.05191 0.4044 1.498 0.4691 json
t16_x23_u3_b94 16 23 3 94 min(R,flr(lrg(D,R))) 94566 130859536 o2(x,o1(o2(x,x))) true 73335 73335 -0.2407 0.1009 0.2522 0.06981 0.2642 -0.9989 0.2695 1.268 1 3.784 0.001443 0.000988 0.0371 0.1873 1 -0.00001024 0.001538 0.01559 0.001055 0.03248 0.8755 0.2695 0.03483 0.02203 1 1 0.00386 0.04306 0.1133 0.0553 0.6168 1.623 json
t16_x23_u3_b95 16 23 3 95 min(R,flr(eql(D,R))) 94567 130859537 o2(x,o1(o2(x,x))) true 73343 73343 -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_x23_u3_b96 16 23 3 96 min(R,flr(min(D,R))) 94568 130859538 o2(x,o1(o2(x,x))) true 73351 73351 -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
t16_x23_u3_b97 16 23 3 97 min(R,flr(dot(D,R))) 94569 130859539 o2(x,o1(o2(x,x))) true 73359 73359 -0.6218 0.0004272 0.6218 0.1166 0.3415 -1 0.007671 1.008 1 3.64 0.02177 0.02422 0.09873 -0.05325 1 -0.0002333 0.1436 0.1361 0.03625 0.1904 1.928 1.413 0.3945 1.232 1 1 0.0484 0.1929 0.2207 0.4151 1.655 1.893 json
t16_x23_u3_b98 16 23 3 98 min(R,flr(dst(D,R))) 94570 130859540 o2(x,o1(o2(x,x))) true 73367 73367 -0.07827 0.3808 0.3436 0.1805 0.4249 -0.9989 0.9806 1.979 1 4.721 0.006998 0.005891 0.06982 0.08593 1 0.00009361 0.02622 0.04505 0.008015 0.08953 1.282 1.323 0.0714 0.1452 1 1 0.01762 0.148 0.3307 0.09758 0.8198 1.832 json
t16_x23_u3_b99 16 23 3 99 dot(R,flr(add(D,R))) 94571 130859541 o2(x,o1(o2(x,x))) true 73375 73375 0.7452 0.9914 0.7463 0.0926 0.3043 -0.251 1 1.251 1 3.104 0.00591 0.006744 0.05807 -0.06592 1 -0.000386 0.02106 0.06509 0.00928 0.09633 1.659 1.317 0.1367 0.2275 1 1 0.01622 0.09002 0.1594 0.1752 0.9722 1.721 json
t16_x23_u3_b100 16 23 3 100 dot(R,flr(sub(D,R))) 94572 130859542 o2(x,o1(o2(x,x))) true 73383 73383 -0.7204 0.01889 0.7232 0.1096 0.3311 -1 0.3399 1.34 1 3.181 0.005444 0.006399 0.05911 -0.08064 1 0.00002324 0.01741 0.06071 0.008345 0.09135 1.545 0.9834 0.108 0.1588 1 1 0.01426 0.09687 0.1982 0.1301 0.8835 1.808 json
t16_x23_u3_b101 16 23 3 101 dot(R,flr(mlt(D,R))) 94573 130859543 o2(x,o1(o2(x,x))) true 73391 73391 -0.02274 0.4929 0.324 0.1828 0.4275 -1 1 2 1 4.679 0.02132 0.02131 0.1155 0.000101 1 -0.0000211 0.07484 0.1252 0.02929 0.1711 1.482 1.341 0.2332 0.4094 1 1 0.04781 0.2154 0.2116 0.2615 1.179 1.158 json
t16_x23_u3_b102 16 23 3 102 dot(R,flr(div(D,R))) 94574 130859544 o2(x,o1(o2(x,x))) true 73399 73399 -0.02194 0.4878 0.3279 0.178 0.4219 -1 1 2 1 4.714 0.02415 0.02425 0.143 -0.002098 1 -0.00005239 0.08919 0.182 0.02795 0.1672 1.169 1.34 0.2719 0.501 1 1 0.05223 0.2011 0.2042 0.2934 1.13 1.147 json
t16_x23_u3_b103 16 23 3 103 dot(R,flr(pow(D,R))) 94575 130859545 o2(x,o1(o2(x,x))) true 73407 73407 -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_x23_u3_b104 16 23 3 104 dot(R,flr(mod(D,R))) 94576 130859546 o2(x,o1(o2(x,x))) true 73415 73415 -0.01332 0.4999 0.3393 0.1922 0.4384 -1 1 2 1 4.74 0.01762 0.01732 0.1053 0.008762 1 -0.000009151 0.06058 0.1086 0.02385 0.1544 1.466 1.341 0.1818 0.3152 1 1 0.04026 0.2213 0.3619 0.2095 1.151 1.883 json
t16_x23_u3_b105 16 23 3 105 dot(R,flr(lrg(D,R))) 94577 130859547 o2(x,o1(o2(x,x))) true 73423 73423 -0.6262 0.01367 0.6279 0.1037 0.322 -1 0.2558 1.256 1 3.744 0.002579 0.002939 0.04973 -0.06532 1 -0.00003224 0.005744 0.03672 0.003045 0.05518 1.109 0.4377 0.05321 0.05539 1 1 0.008526 0.07592 0.1781 0.08221 0.7321 1.717 json
t16_x23_u3_b106 16 23 3 106 dot(R,flr(eql(D,R))) 94578 130859548 o2(x,o1(o2(x,x))) true 73431 73431 0.00003533 0.0004578 0.00008291 0.00001485 0.003853 -0.1948 0.2421 0.4369 1 0.008177 0.000005289 0.00002321 0.0001606 -0.6288 0 -6.948e-8 0.00008566 0.0003179 0.00002845 0.005334 33.22 0.2421 1.919 5.769 1 1 0.00002093 0.0000278 0.0000435 1.41 1.872 2.93 json
t16_x23_u3_b107 16 23 3 107 dot(R,flr(min(D,R))) 94579 130859549 o2(x,o1(o2(x,x))) true 73439 73439 0.4317 0.8194 0.5648 0.2385 0.4883 -1 1 2 1 4.4 0.01179 0.01235 0.08913 -0.02352 1 -0.0000653 0.03469 0.07211 0.0162 0.1273 1.428 1.051 0.1012 0.1455 1 1 0.03349 0.227 0.4085 0.1404 0.9518 1.713 json
t16_x23_u3_b108 16 23 3 108 dot(R,flr(dot(D,R))) 94580 130859550 o2(x,o1(o2(x,x))) true 73447 73447 -0.007155 0.448 0.2954 0.1933 0.4397 -1 1 2 1 4.287 0.02262 0.02362 0.1022 -0.02166 1 0.00005472 0.1358 0.1298 0.03579 0.1892 1.85 1.685 0.2392 0.7026 1 1 0.05655 0.2677 0.3384 0.2925 1.385 1.751 json
t16_x23_u3_b109 16 23 3 109 dot(R,flr(dst(D,R))) 94581 130859551 o2(x,o1(o2(x,x))) true 73455 73455 0.03127 0.5275 0.3607 0.2546 0.5046 -1 1 2 1 4.419 0.01795 0.01934 0.1002 -0.03703 1 -0.0001263 0.0971 0.1089 0.02725 0.1651 1.647 2.103 0.1465 0.3814 1 1 0.04909 0.2781 0.5089 0.1928 1.093 1.999 json
t16_x23_u3_b110 16 23 3 110 dst(R,flr(add(D,R))) 94582 130859552 o2(x,o1(o2(x,x))) true 73463 73463 0.9313 1 0.9313 0.01587 0.126 0.09942 1 0.9006 1 1.682 0.003302 0.003394 0.0352 -0.01378 1 -0.0000293 0.01347 0.04697 0.005458 0.07388 2.099 0.9006 0.4219 0.8486 1 1 0.0068 0.02445 0.02795 0.4285 1.541 1.761 json
t16_x23_u3_b111 16 23 3 111 dst(R,flr(sub(D,R))) 94583 130859553 o2(x,o1(o2(x,x))) true 73471 73471 0.9951 1 0.9951 0.001416 0.03763 0.3854 1 0.6146 1 0.1984 0.0002684 0.0002424 0.002893 0.05097 1 0.00001628 0.000918 0.003772 0.0005022 0.02241 7.746 0.5665 0.3607 0.6482 1 1 0.0004156 0.001466 0.001905 0.2935 1.035 1.345 json
t16_x23_u3_b112 16 23 3 112 dst(R,flr(mlt(D,R))) 94584 130859554 o2(x,o1(o2(x,x))) true 73479 73479 0.9631 1 0.9631 0.01012 0.1006 0.09952 1 0.9005 1 1.041 0.001873 0.002018 0.01856 -0.03735 1 -0.00004559 0.007285 0.02398 0.003549 0.05957 3.209 0.9005 0.3845 0.7199 1 1 0.003689 0.01384 0.01657 0.3645 1.367 1.638 json
t16_x23_u3_b113 16 23 3 113 dst(R,flr(div(D,R))) 94585 130859555 o2(x,o1(o2(x,x))) true 73487 73487 0.9901 1 0.9901 0.002979 0.05458 0.1006 1 0.8994 1 0.3549 0.001469 0.001344 0.01034 0.04424 1 -0.00008917 0.00714 0.01728 0.002706 0.05202 5.031 1.244 0.9441 2.397 1 1 0.002194 0.004397 0.004191 0.7363 1.476 1.407 json
t16_x23_u3_b114 16 23 3 114 dst(R,flr(pow(D,R))) 94586 130859556 o2(x,o1(o2(x,x))) true 73495 73495 -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_x23_u3_b115 16 23 3 115 dst(R,flr(mod(D,R))) 94587 130859557 o2(x,o1(o2(x,x))) true 73503 73503 0.9613 1 0.9613 0.01047 0.1023 0.09952 1 0.9005 1 1.089 0.002041 0.001914 0.019 0.03202 1 -0.00004086 0.007424 0.02437 0.003596 0.05996 3.156 0.9005 0.3779 0.7093 1 1 0.003764 0.01448 0.01662 0.3597 1.383 1.588 json
t16_x23_u3_b116 16 23 3 116 dst(R,flr(lrg(D,R))) 94588 130859558 o2(x,o1(o2(x,x))) true 73511 73511 0.997 1 0.997 0.001149 0.03389 0.1001 1 0.8999 1 0.1173 0.0003012 0.0002356 0.001988 0.1222 1 -0.000002083 0.00104 0.002748 0.0005327 0.02308 11.61 1.214 0.4673 0.9054 1 1 0.0005619 0.001869 0.001968 0.4891 1.627 1.713 json
t16_x23_u3_b117 16 23 3 117 dst(R,flr(eql(D,R))) 94589 130859559 o2(x,o1(o2(x,x))) true 73519 73519 0.897 1 0.897 0.02252 0.1501 0.09951 1 0.9005 1 2.18 0.0003469 0.0004856 0.01678 -0.1666 1 -0.00001965 0.0002407 0.006013 0.000551 0.02347 1.399 0.2869 0.03697 0.01069 1 1 0.00136 0.01498 0.03482 0.06041 0.6652 1.546 json
t16_x23_u3_b118 16 23 3 118 dst(R,flr(min(D,R))) 94590 130859560 o2(x,o1(o2(x,x))) true 73527 73527 0.9644 1 0.9644 0.01023 0.1011 0.09964 1 0.9004 1 1.008 0.001339 0.001258 0.0141 0.03146 1 -0.00004447 0.004384 0.01546 0.002398 0.04897 3.474 0.9004 0.2539 0.4287 1 1 0.003109 0.01351 0.01842 0.3039 1.321 1.801 json
t16_x23_u3_b119 16 23 3 119 dst(R,flr(dot(D,R))) 94591 130859561 o2(x,o1(o2(x,x))) true 73535 73535 0.9631 1 0.9631 0.01019 0.101 0.09954 1 0.9005 1 1.056 0.001846 0.001802 0.01712 0.01213 1 -0.000008158 0.01017 0.02375 0.003353 0.0579 3.381 1.268 0.3579 0.9978 1 1 0.003408 0.01338 0.01625 0.3343 1.312 1.594 json
t16_x23_u3_b120 16 23 3 120 dst(R,flr(dst(D,R))) 94592 130859562 o2(x,o1(o2(x,x))) true 73543 73543 0.9293 1 0.9293 0.01901 0.1379 0.09954 1 0.9005 1 1.635 0.001466 0.001562 0.02305 -0.03174 1 -0.00009085 0.006351 0.02557 0.002497 0.04997 2.167 0.6765 0.1592 0.334 1 1 0.003715 0.021 0.03164 0.1954 1.104 1.664 json
t16_x23_u4_b0 16 23 4 0 add(R,cil(add(D,R))) 94593 130859643 o2(x,o1(o2(x,x))) true 73551 73551 0.3331 0.6493 0.672 0.4596 0.6779 -1 1 2 1 3.982 0.02666 0.008671 0.1123 0.5091 1 0.000004025 0.04477 0.09597 0.02272 0.1507 1.342 1.007 0.07687 0.09741 1 1 0.04817 0.3618 0.784 0.1048 0.7871 1.706 json
t16_x23_u4_b1 16 23 4 1 add(R,cil(sub(D,R))) 94594 130859644 o2(x,o1(o2(x,x))) true 73559 73559 0.4975 0.9805 0.4991 0.06059 0.2461 -0.1169 1 1.117 1 3.965 0.03702 0.0007445 0.1103 0.9606 1 0.00008683 0.07638 0.1291 0.0256 0.16 1.451 0.999 0.6233 1.261 1 1 0.03559 0.09508 0.09433 0.5874 1.569 1.557 json
t16_x23_u4_b2 16 23 4 2 add(R,cil(mlt(D,R))) 94595 130859645 o2(x,o1(o2(x,x))) true 73567 73567 0.4386 0.7975 0.5773 0.2475 0.4975 -0.9986 1 1.999 1 4.383 0.03446 0.00436 0.1035 0.7754 1 -0.00004559 0.0639 0.09422 0.02811 0.1676 1.62 1.005 0.1568 0.2582 1 1 0.04704 0.2762 0.4235 0.1901 1.116 1.711 json
t16_x23_u4_b3 16 23 4 3 add(R,cil(div(D,R))) 94596 130859646 o2(x,o1(o2(x,x))) true 73575 73575 0.3181 0.69 0.6897 0.4819 0.6942 -1 1 2 1 4.119 0.07071 0.01231 0.1568 0.7035 1 0.0004416 0.1381 0.1936 0.05844 0.2417 1.542 2.03 0.1723 0.2865 1 1 0.09456 0.5492 0.8701 0.1962 1.14 1.806 json
t16_x23_u4_b4 16 23 4 4 add(R,cil(pow(D,R))) 94597 130859647 o2(x,o1(o2(x,x))) true 73583 73583 -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_x23_u4_b5 16 23 4 5 add(R,cil(mod(D,R))) 94598 130859648 o2(x,o1(o2(x,x))) true 73591 73591 0.4361 0.7938 0.5773 0.2485 0.4985 -0.9982 1 1.998 1 4.395 0.04776 0.002502 0.1145 0.9005 1 -0.00007085 0.08469 0.1109 0.03715 0.1927 1.683 1.025 0.2022 0.3407 1 1 0.05926 0.2813 0.2746 0.2385 1.132 1.105 json
t16_x23_u4_b6 16 23 4 6 add(R,cil(lrg(D,R))) 94599 130859649 o2(x,o1(o2(x,x))) true 73599 73599 0.5086 0.9807 0.5111 0.06479 0.2545 -0.2345 1 1.235 1 3.999 0.01796 0.0009252 0.06872 0.902 1 0.00001003 0.03579 0.0664 0.01416 0.119 1.732 0.9994 0.2915 0.5525 1 1 0.0188 0.07237 0.114 0.2902 1.117 1.759 json