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
t13_x7_u24_b6 13 7 24 6 flr(lrg(flr(R),D)) 46100 105855450 o1(o2(o1(x),x)) true 27767 27767 0.2393 0.7168 0.2393 0.1075 0.3279 0 0.9997 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.4744 1 1 0.03061 0.1388 0.1417 0.2847 1.291 1.317 json
t13_x7_u24_b7 13 7 24 7 flr(eql(flr(R),D)) 46101 105855451 o1(o2(o1(x),x)) true 27775 27775 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
t13_x7_u24_b8 13 7 24 8 flr(min(flr(R),D)) 46102 105855452 o1(o2(o1(x),x)) true 27783 27783 -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
t13_x7_u24_b9 13 7 24 9 flr(dot(flr(R),D)) 46103 105855453 o1(o2(o1(x),x)) true 27791 27791 -0.3632 0.01801 0.3648 0.1268 0.3561 -1 0.2466 1.247 1 3.802 0.02697 0.02393 0.1075 0.05978 1 -0.00005637 0.1407 0.1341 0.03934 0.1983 1.845 1.409 0.4014 1.11 1 1 0.05093 0.1993 0.1901 0.4017 1.572 1.5 json
t13_x7_u24_b10 13 7 24 10 flr(dst(flr(R),D)) 46104 105855454 o1(o2(o1(x),x)) true 27799 27799 0.7837 0.9996 0.7837 0.1025 0.3201 8.471e-8 1 1 1 2.565 0.01121 0.01097 0.06118 0.01105 1 0.0001013 0.05738 0.06892 0.01844 0.1358 2.219 1.414 0.2165 0.5601 1 1 0.02545 0.1305 0.209 0.2484 1.274 2.04 json
t13_x7_u25_b0 13 7 25 0 flr(add(cil(R),D)) 46105 105855645 o1(o2(o1(x),x)) true 27807 27807 -0.01758 0.444 0.4126 0.2977 0.5456 -0.9997 0.9997 1.999 1 4.623 0.06716 0.002442 0.1391 0.9298 1 -0.00001781 0.1211 0.1361 0.05024 0.2241 1.611 1.007 0.2338 0.4067 1 1 0.07992 0.3584 0.2862 0.2685 1.204 0.9614 json
t13_x7_u25_b1 13 7 25 1 flr(sub(cil(R),D)) 46106 105855646 o1(o2(o1(x),x)) true 27815 27815 -0.01758 0.4472 0.408 0.2933 0.5415 -0.9997 0.9997 1.999 1 4.619 0.06698 0.002442 0.1384 0.9296 1 -0.00001781 0.121 0.136 0.05027 0.2242 1.62 1.007 0.2367 0.4127 1 1 0.07901 0.3503 0.2862 0.2694 1.195 0.976 json
t13_x7_u25_b2 13 7 25 2 flr(mlt(cil(R),D)) 46107 105855647 o1(o2(o1(x),x)) true 27823 27823 -0.2393 0 0.2393 0.1075 0.3279 -0.9997 0 0.9997 1 3.299 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.4744 1 1 0.03061 0.1388 0.1417 0.2847 1.291 1.317 json
t13_x7_u25_b3 13 7 25 3 flr(div(cil(R),D)) 46108 105855648 o1(o2(o1(x),x)) true 27831 27831 -0.04183 0.4514 0.6099 0.559 0.7476 -1 1 2 1 3.414 0.2075 0.009374 0.1873 0.9136 1 0.00004249 0.4128 0.2656 0.1818 0.4264 2.276 2.037 0.388 0.7384 1 1 0.2307 0.9954 0.4708 0.4128 1.781 0.8423 json
t13_x7_u25_b4 13 7 25 4 flr(pow(cil(R),D)) 46109 105855649 o1(o2(o1(x),x)) true 27839 27839 -0.1084 0.4727 0.9463 0.9185 0.9584 -1 1 2 1 1.763 0.09523 0.1231 0.1227 -0.1275 1 0.000002846 0.4615 0.2313 0.2032 0.4507 3.674 2.828 0.2377 0.5024 1 1 0.2182 0.9093 1.701 0.2376 0.99 1.852 json
t13_x7_u25_b5 13 7 25 5 flr(mod(cil(R),D)) 46110 105855650 o1(o2(o1(x),x)) true 27847 27847 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
t13_x7_u25_b6 13 7 25 6 flr(lrg(cil(R),D)) 46111 105855651 o1(o2(o1(x),x)) true 27855 27855 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
t13_x7_u25_b7 13 7 25 7 flr(eql(cil(R),D)) 46112 105855652 o1(o2(o1(x),x)) true 27863 27863 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
t13_x7_u25_b8 13 7 25 8 flr(min(cil(R),D)) 46113 105855653 o1(o2(o1(x),x)) true 27871 27871 -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
t13_x7_u25_b9 13 7 25 9 flr(dot(cil(R),D)) 46114 105855654 o1(o2(o1(x),x)) true 27879 27879 -0.3652 0.01801 0.3667 0.1265 0.3557 -1 0.2466 1.247 1 3.803 0.02421 0.02697 0.1083 -0.05404 1 7.152e-7 0.143 0.1353 0.03946 0.1986 1.835 1.414 0.4045 1.13 1 1 0.05835 0.2086 0.1788 0.4612 1.649 1.413 json
t13_x7_u25_b10 13 7 25 10 flr(dst(cil(R),D)) 46115 105855655 o1(o2(o1(x),x)) true 27887 27887 0.7617 0.9969 0.7617 0.108 0.3286 0 1 1 1 2.733 0.01029 0.01144 0.06413 -0.05299 1 0.0002804 0.05721 0.07017 0.01761 0.1327 2.069 1.409 0.2011 0.5297 1 1 0.02536 0.1234 0.1881 0.2349 1.143 1.741 json
t13_x7_u26_b0 13 7 26 0 flr(add(sgn(R),D)) 46116 105855846 o1(o2(o1(x),x)) true 27895 27895 -0.3654 0.2971 0.6706 0.4465 0.6682 -1 0.9997 2 1 3.952 0.04107 0.007402 0.1207 0.6946 1 0.000116 0.06739 0.09242 0.03389 0.1841 1.525 1.025 0.1085 0.1509 1 1 0.0632 0.4206 0.7308 0.1415 0.942 1.637 json
t13_x7_u26_b1 13 7 26 1 flr(sub(sgn(R),D)) 46117 105855847 o1(o2(o1(x),x)) true 27903 27903 -0.3677 0.2964 0.6683 0.4428 0.6654 -1 0.9997 2 1 3.952 0.04082 0.00739 0.1189 0.6934 1 0.00007844 0.0673 0.09217 0.03408 0.1846 1.552 1.027 0.1089 0.152 1 1 0.06193 0.412 0.7291 0.1399 0.9305 1.646 json
t13_x7_u26_b2 13 7 26 2 flr(mlt(sgn(R),D)) 46118 105855848 o1(o2(o1(x),x)) true 27911 27911 -0.4961 0 0.4961 0.147 0.3834 -1 0 1 1 3.664 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
t13_x7_u26_b3 13 7 26 3 flr(div(sgn(R),D)) 46119 105855849 o1(o2(o1(x),x)) true 27919 27919 -0.06577 0.4795 0.9253 0.8961 0.9466 -1 1 2 1 2.061 0.292 0.05816 0.2417 0.6678 1 0.0001351 0.696 0.3808 0.2918 0.5402 2.236 2.828 0.3907 0.7767 1 1 0.3953 1.75 1.688 0.4411 1.952 1.884 json
t13_x7_u26_b4 13 7 26 4 flr(pow(sgn(R),D)) 46120 105855850 o1(o2(o1(x),x)) true 27927 27927 -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
t13_x7_u26_b5 13 7 26 5 flr(mod(sgn(R),D)) 46121 105855851 o1(o2(o1(x),x)) true 27935 27935 -0.4529 0 0.4529 0.1591 0.3988 -1 0 1 1 3.54 0.05667 0.002081 0.1077 0.9291 1 -0.00001496 0.1113 0.1344 0.04714 0.2171 2.016 0.9997 0.3693 0.6996 1 1 0.06563 0.1401 0.2441 0.4126 0.8807 1.535 json
t13_x7_u26_b6 13 7 26 6 flr(lrg(sgn(R),D)) 46122 105855852 o1(o2(o1(x),x)) true 27943 27943 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
t13_x7_u26_b7 13 7 26 7 flr(eql(sgn(R),D)) 46123 105855853 o1(o2(o1(x),x)) true 27951 27951 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
t13_x7_u26_b8 13 7 26 8 flr(min(sgn(R),D)) 46124 105855854 o1(o2(o1(x),x)) true 27959 27959 -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
t13_x7_u26_b9 13 7 26 9 flr(dot(sgn(R),D)) 46125 105855855 o1(o2(o1(x),x)) true 27967 27967 -0.4604 0.07382 0.4689 0.156 0.395 -1 0.6881 1.688 1 3.825 0.04558 0.04566 0.1488 -0.0008509 1 -0.0002189 0.371 0.2473 0.06909 0.2628 1.766 1.414 0.5847 2.378 1 1 0.09003 0.3064 0.2985 0.5769 1.964 1.913 json
t13_x7_u26_b10 13 7 26 10 flr(dst(sgn(R),D)) 46126 105855856 o1(o2(o1(x),x)) true 27975 27975 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
t13_x7_u27_b0 13 7 27 0 flr(add(nrm(R),D)) 46127 105856047 o1(o2(o1(x),x)) true 27983 27983 -0.4774 0.1241 0.5307 0.2031 0.4506 -1 0.9855 1.985 1 3.97 0.02879 0.003042 0.1072 0.8089 1 -0.0002342 0.05752 0.1116 0.02032 0.1426 1.329 0.9992 0.1567 0.2832 1 1 0.03305 0.1707 0.3599 0.1627 0.8405 1.772 json
t13_x7_u27_b1 13 7 27 1 flr(sub(nrm(R),D)) 46128 105856048 o1(o2(o1(x),x)) true 27991 27991 -0.479 0.1307 0.5316 0.2029 0.4504 -1 0.9855 1.985 1 3.963 0.02882 0.003047 0.1058 0.8088 1 1.413e-7 0.05799 0.1112 0.02068 0.1438 1.36 0.9997 0.1571 0.2858 1 1 0.0332 0.1676 0.363 0.1636 0.8261 1.789 json
t13_x7_u27_b2 13 7 27 2 flr(mlt(nrm(R),D)) 46129 105856049 o1(o2(o1(x),x)) true 27999 27999 -0.4961 0 0.4961 0.147 0.3834 -1 0 1 1 3.664 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
t13_x7_u27_b3 13 7 27 3 flr(div(nrm(R),D)) 46130 105856050 o1(o2(o1(x),x)) true 28007 28007 -0.1672 0.4044 0.8207 0.7353 0.8575 -1 1 2 1 3.162 0.2794 0.03279 0.2518 0.79 1 0.00008763 0.6416 0.3877 0.2488 0.4988 1.981 2.828 0.4246 0.8726 1 1 0.3393 1.321 1.343 0.4614 1.797 1.826 json
t13_x7_u27_b4 13 7 27 4 flr(pow(nrm(R),D)) 46131 105856051 o1(o2(o1(x),x)) true 28015 28015 -0.9347 0.04297 0.9794 0.1011 0.3179 -1 1 2 1 0.4065 0.01148 0.009898 0.01558 0.07397 1 -0.00001263 0.04441 0.02679 0.02114 0.1454 9.333 2.828 0.2115 0.4394 1 1 0.01661 0.07125 0.1686 0.1643 0.7049 1.668 json
t13_x7_u27_b5 13 7 27 5 flr(mod(nrm(R),D)) 46132 105856052 o1(o2(o1(x),x)) true 28023 28023 -0.5176 0 0.5176 0.1537 0.3921 -1 0 1 1 3.585 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
t13_x7_u27_b6 13 7 27 6 flr(lrg(nrm(R),D)) 46133 105856053 o1(o2(o1(x),x)) true 28031 28031 0.4942 0.917 0.4942 0.1479 0.3846 0 1 1 1 3.518 0.01791 0.002138 0.0779 0.7867 1 -0.000007026 0.03389 0.06775 0.01398 0.1182 1.518 0.9997 0.1356 0.2292 1 1 0.02263 0.1368 0.2773 0.153 0.9247 1.875 json
t13_x7_u27_b7 13 7 27 7 flr(eql(nrm(R),D)) 46134 105856054 o1(o2(o1(x),x)) true 28039 28039 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
t13_x7_u27_b8 13 7 27 8 flr(min(nrm(R),D)) 46135 105856055 o1(o2(o1(x),x)) true 28047 28047 -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
t13_x7_u27_b9 13 7 27 9 flr(dot(nrm(R),D)) 46136 105856056 o1(o2(o1(x),x)) true 28055 28055 -0.4933 0.003876 0.4933 0.1513 0.389 -1 0.01937 1.019 1 3.667 0.03525 0.03434 0.1236 0.01318 1 -0.0002918 0.2204 0.1796 0.05432 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
t13_x7_u27_b10 13 7 27 10 flr(dst(nrm(R),D)) 46137 105856057 o1(o2(o1(x),x)) true 28063 28063 0.5959 0.9858 0.5959 0.1482 0.3849 0 1 1 1 3.333 0.03514 0.03487 0.1224 0.003929 1 -0.0002251 0.2133 0.1798 0.05503 0.2346 1.917 1.414 0.4724 1.439 1 1 0.07488 0.285 0.2896 0.5053 1.924 1.954 json
t13_x7_u28_b0 13 7 28 0 cil(add(sqt(R),D)) 46138 105856248 o1(o2(o1(x),x)) true 28071 28071 -0.9144 0.04297 0.9996 0.1631 0.4039 -1 1 2 1 0.2708 0.01698 0.01627 0.01693 0.02106 1 0.000001472 0.06957 0.03384 0.03295 0.1815 10.72 2.828 0.2039 0.4266 1 1 0.02534 0.1092 0.274 0.1554 0.6695 1.68 json
t13_x7_u28_b1 13 7 28 1 cil(sub(sqt(R),D)) 46139 105856249 o1(o2(o1(x),x)) true 28079 28079 -0.9145 0.04297 0.9996 0.1629 0.4037 -1 1 2 1 0.2724 0.01698 0.01616 0.01695 0.02458 1 -1.088e-7 0.06938 0.0338 0.03283 0.1812 10.69 2.828 0.2034 0.4258 1 1 0.02529 0.1086 0.2732 0.1552 0.6666 1.677 json
t13_x7_u28_b2 13 7 28 2 cil(mlt(sqt(R),D)) 46140 105856250 o1(o2(o1(x),x)) true 28087 28087 -0.9355 0.04297 0.9785 0.09869 0.3141 -1 0.9997 2 1 0.4021 0.01067 0.009679 0.0151 0.04854 1 0.000005704 0.04215 0.0256 0.02012 0.1419 9.393 2 0.2062 0.4271 1 1 0.01507 0.0665 0.1631 0.1527 0.6738 1.652 json
t13_x7_u28_b3 13 7 28 3 cil(div(sqt(R),D)) 46141 105856251 o1(o2(o1(x),x)) true 28095 28095 -0.9523 0.02374 0.9946 0.0861 0.2934 -1 1 2 1 0.2529 0.01205 0.008189 0.01425 0.1907 1 -8.356e-7 0.03899 0.02257 0.02003 0.1415 9.929 2.111 0.235 0.4529 1 1 0.01458 0.07228 0.137 0.1694 0.8396 1.591 json
t13_x7_u28_b4 13 7 28 4 cil(pow(sqt(R),D)) 46142 105856252 o1(o2(o1(x),x)) true 28103 28103 -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
t13_x7_u28_b5 13 7 28 5 cil(mod(sqt(R),D)) 46143 105856253 o1(o2(o1(x),x)) true 28111 28111 -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
t13_x7_u28_b6 13 7 28 6 cil(lrg(sqt(R),D)) 46144 105856254 o1(o2(o1(x),x)) true 28119 28119 0.9764 1 0.9764 0.008587 0.09266 0.007413 1 0.9926 1 0.6761 0.003381 0.0001242 0.01432 0.9291 1 0.00002584 0.007036 0.01663 0.003299 0.05743 4.011 0.9926 0.4082 0.8195 1 1 0.002943 0.009819 0.01635 0.3427 1.143 1.905 json
t13_x7_u28_b7 13 7 28 7 cil(eql(sqt(R),D)) 46145 105856255 o1(o2(o1(x),x)) true 28127 28127 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
t13_x7_u28_b8 13 7 28 8 cil(min(sqt(R),D)) 46146 105856256 o1(o2(o1(x),x)) true 28135 28135 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
t13_x7_u28_b9 13 7 28 9 cil(dot(sqt(R),D)) 46147 105856257 o1(o2(o1(x),x)) true 28143 28143 -0.994 0.003906 0.9982 0.009617 0.09806 -1 0.9997 2 1 0.05229 0.001398 0.001387 0.002054 0.004258 1 0 0.006584 0.003804 0.002778 0.05271 25.66 2 0.2896 0.6846 1 1 0.004854 0.01834 0.03384 0.5047 1.907 3.519 json
t13_x7_u28_b10 13 7 28 10 cil(dst(sqt(R),D)) 46148 105856258 o1(o2(o1(x),x)) true 28151 28151 -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
t13_x7_u29_b0 13 7 29 0 cil(add(log(R),D)) 46149 105856449 o1(o2(o1(x),x)) true 28159 28159 -0.9654 0.01329 0.9723 0.03635 0.1906 -1 0.9926 1.993 1 0.3811 0.004275 0.0042 0.01086 0.00891 1 -0.0001042 0.01754 0.01652 0.00836 0.09143 8.42 1.993 0.2332 0.4825 1 1 0.006607 0.02941 0.05965 0.1818 0.8092 1.641 json
t13_x7_u29_b1 13 7 29 1 cil(sub(log(R),D)) 46150 105856450 o1(o2(o1(x),x)) true 28167 28167 -0.9649 0.01407 0.9725 0.03732 0.1932 -1 0.992 1.992 1 0.387 0.005091 0.004255 0.01202 0.08945 1 0.000008707 0.02012 0.01876 0.009204 0.09594 7.984 2.122 0.2504 0.5392 1 1 0.007319 0.03244 0.06562 0.1961 0.8692 1.758 json
t13_x7_u29_b2 13 7 29 2 cil(mlt(log(R),D)) 46151 105856451 o1(o2(o1(x),x)) true 28175 28175 -0.9356 0.04289 0.9785 0.09844 0.3137 -1 1 2 1 0.4076 0.01153 0.009682 0.01567 0.08724 1 -0.000006351 0.04414 0.02676 0.02097 0.1448 9.243 2.828 0.2155 0.4485 1 1 0.01642 0.06921 0.1645 0.1669 0.7031 1.671 json
t13_x7_u29_b3 13 7 29 3 cil(div(log(R),D)) 46152 105856452 o1(o2(o1(x),x)) true 28183 28183 -0.9502 0.02579 0.9933 0.08832 0.2972 -1 1 2 1 0.283 0.01299 0.009109 0.0153 0.1757 1 -0.0001045 0.04356 0.02511 0.02187 0.1479 9.666 2.828 0.2502 0.4933 1 1 0.01778 0.08283 0.1442 0.2013 0.9378 1.633 json
t13_x7_u29_b4 13 7 29 4 cil(pow(log(R),D)) 46153 105856453 o1(o2(o1(x),x)) true 28191 28191 -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
t13_x7_u29_b5 13 7 29 5 cil(mod(log(R),D)) 46154 105856454 o1(o2(o1(x),x)) true 28199 28199 -0.957 0 0.957 0.04112 0.2028 -1 0 1 1 0.2557 0.00422 0.004094 0.008259 0.01515 1 0 0.01738 0.01663 0.008241 0.09078 10.99 1.414 0.2022 0.4228 1 1 0.006357 0.02738 0.06893 0.1546 0.6659 1.676 json
t13_x7_u29_b6 13 7 29 6 cil(lrg(log(R),D)) 46155 105856455 o1(o2(o1(x),x)) true 28207 28207 0.5848 0.9773 0.5848 0.1487 0.3856 0 1 1 1 3.365 0.01084 0.002302 0.06246 0.6497 1 -0.0003336 0.01823 0.03741 0.009242 0.09613 1.539 0.9997 0.08839 0.1226 1 1 0.01677 0.1301 0.268 0.1128 0.8753 1.802 json
t13_x7_u29_b7 13 7 29 7 cil(eql(log(R),D)) 46156 105856456 o1(o2(o1(x),x)) true 28215 28215 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
t13_x7_u29_b8 13 7 29 8 cil(min(log(R),D)) 46157 105856457 o1(o2(o1(x),x)) true 28223 28223 0.07859 0.5871 0.3758 0.2748 0.5242 -1 0.9997 2 1 4.191 0.03249 0.004172 0.09783 0.7724 1 0.00008285 0.0571 0.07921 0.02709 0.1646 1.682 1.001 0.1334 0.2078 1 1 0.04459 0.2509 0.4116 0.1622 0.913 1.498 json
t13_x7_u29_b9 13 7 29 9 cil(dot(log(R),D)) 46158 105856458 o1(o2(o1(x),x)) true 28231 28231 -0.9937 0.003906 0.9985 0.01039 0.1019 -1 1 2 1 0.0518 0.001388 0.00141 0.002086 -0.007997 1 -4.881e-11 0.006541 0.00386 0.002791 0.05283 25.33 2.828 0.2694 0.6298 1 1 0.004907 0.0198 0.03673 0.4724 1.907 3.537 json
t13_x7_u29_b10 13 7 29 10 cil(dst(log(R),D)) 46159 105856459 o1(o2(o1(x),x)) true 28239 28239 -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
t13_x7_u30_b0 13 7 30 0 cil(add(frc(R),D)) 46160 105856650 o1(o2(o1(x),x)) true 28247 28247 0.9145 1 0.9145 0.03858 0.1964 0.0008731 1 0.9991 1 1.601 0.01561 0.0005772 0.04879 0.9287 1 0.0007429 0.03119 0.0611 0.0138 0.1175 2.408 0.9989 0.4195 0.8084 1 1 0.01433 0.04255 0.05951 0.3713 1.103 1.542 json
t13_x7_u30_b1 13 7 30 1 cil(sub(frc(R),D)) 46161 105856651 o1(o2(o1(x),x)) true 28255 28255 0.9163 1 0.9163 0.03753 0.1937 0.0008731 1 0.9991 1 1.585 0.01531 0.0005754 0.04908 0.9276 1 0.00004325 0.03139 0.06114 0.01347 0.1161 2.365 0.9991 0.4233 0.8364 1 1 0.01386 0.04179 0.06065 0.3694 1.114 1.616 json
t13_x7_u30_b2 13 7 30 2 cil(mlt(frc(R),D)) 46162 105856652 o1(o2(o1(x),x)) true 28263 28263 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
t13_x7_u30_b3 13 7 30 3 cil(div(frc(R),D)) 46163 105856653 o1(o2(o1(x),x)) true 28271 28271 0.1804 0.611 0.8208 0.731 0.855 -1 1 2 1 3.123 0.2989 0.001596 0.2475 0.9894 1 -0.0006673 0.5431 0.3554 0.2392 0.4891 1.976 2.06 0.411 0.743 1 1 0.3343 1.315 0.1347 0.4573 1.799 0.1843 json
t13_x7_u30_b4 13 7 30 4 cil(pow(frc(R),D)) 46164 105856654 o1(o2(o1(x),x)) true 28279 28279 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
t13_x7_u30_b5 13 7 30 5 cil(mod(frc(R),D)) 46165 105856655 o1(o2(o1(x),x)) true 28287 28287 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
t13_x7_u30_b6 13 7 30 6 cil(lrg(frc(R),D)) 46166 105856656 o1(o2(o1(x),x)) true 28295 28295 0.8717 1 0.8717 0.05109 0.226 0.000582 1 0.9994 1 2.175 0.01818 0.0005901 0.05803 0.9371 1 0.00008906 0.03613 0.06391 0.0154 0.1241 2.139 0.9994 0.3674 0.7072 1 1 0.01752 0.06396 0.08102 0.3429 1.252 1.586 json
t13_x7_u30_b7 13 7 30 7 cil(eql(frc(R),D)) 46167 105856657 o1(o2(o1(x),x)) true 28303 28303 0.000082 0.0002441 0.000082 0.00004315 0.006569 0 0.6715 0.6715 1 0.003091 0.00006086 6.316e-7 0.000129 0.9795 0 2.395e-7 0.0001845 0.0002541 0.00006148 0.007841 60.78 0.6519 1.425 4.276 1 1 0 0 0.00003293 0 0 0.7631 json
t13_x7_u30_b8 13 7 30 8 cil(min(frc(R),D)) 46168 105856658 o1(o2(o1(x),x)) true 28311 28311 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
t13_x7_u30_b9 13 7 30 9 cil(dot(frc(R),D)) 46169 105856659 o1(o2(o1(x),x)) true 28319 28319 0.4984 1 0.4984 0.1056 0.325 0.0001313 0.9998 0.9997 1 3.885 0.03459 0.03392 0.1376 0.009872 1 -0.0000676 0.2167 0.1846 0.04958 0.2227 1.618 1.409 0.6487 2.052 1 1 0.07235 0.2284 0.09262 0.6851 2.162 0.877 json
t13_x7_u30_b10 13 7 30 10 cil(dst(frc(R),D)) 46170 105856660 o1(o2(o1(x),x)) true 28327 28327 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
t13_x7_u31_b0 13 7 31 0 cil(add(flr(R),D)) 46171 105856851 o1(o2(o1(x),x)) true 28335 28335 -0.01758 0.444 0.4126 0.2977 0.5456 -0.9997 0.9997 1.999 1 4.623 0.06716 0.002442 0.1391 0.9298 1 -0.00001781 0.1211 0.1361 0.05024 0.2241 1.611 1.007 0.2338 0.4067 1 1 0.07992 0.3584 0.2862 0.2685 1.204 0.9614 json
t13_x7_u31_b1 13 7 31 1 cil(sub(flr(R),D)) 46172 105856852 o1(o2(o1(x),x)) true 28343 28343 -0.01758 0.4472 0.408 0.2933 0.5415 -0.9997 0.9997 1.999 1 4.619 0.06698 0.002442 0.1384 0.9296 1 -0.00001781 0.121 0.136 0.05027 0.2242 1.62 1.007 0.2367 0.4127 1 1 0.07901 0.3503 0.2862 0.2694 1.195 0.976 json
t13_x7_u31_b2 13 7 31 2 cil(mlt(flr(R),D)) 46173 105856853 o1(o2(o1(x),x)) true 28351 28351 0.2607 0.7598 0.2607 0.1136 0.3371 0 0.9997 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
t13_x7_u31_b3 13 7 31 3 cil(div(flr(R),D)) 46174 105856854 o1(o2(o1(x),x)) true 28359 28359 0.05413 0.4891 0.6421 0.5894 0.7677 -1 1 2 1 3.398 0.2212 0.009455 0.1965 0.918 1 -0.00004618 0.4371 0.2803 0.1921 0.4383 2.23 2.037 0.3913 0.7416 1 1 0.2619 1.138 0.4857 0.4443 1.93 0.8241 json
t13_x7_u31_b4 13 7 31 4 cil(pow(flr(R),D)) 46175 105856855 o1(o2(o1(x),x)) true 28367 28367 -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
t13_x7_u31_b5 13 7 31 5 cil(mod(flr(R),D)) 46176 105856856 o1(o2(o1(x),x)) true 28375 28375 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
t13_x7_u31_b6 13 7 31 6 cil(lrg(flr(R),D)) 46177 105856857 o1(o2(o1(x),x)) true 28383 28383 0.2393 0.7168 0.2393 0.1075 0.3279 0 0.9997 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.4744 1 1 0.03061 0.1388 0.1417 0.2847 1.291 1.317 json
t13_x7_u31_b7 13 7 31 7 cil(eql(flr(R),D)) 46178 105856858 o1(o2(o1(x),x)) true 28391 28391 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
t13_x7_u31_b8 13 7 31 8 cil(min(flr(R),D)) 46179 105856859 o1(o2(o1(x),x)) true 28399 28399 -0.5176 0 0.5176 0.1537 0.3921 -1 0 1 1 3.585 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
t13_x7_u31_b9 13 7 31 9 cil(dot(flr(R),D)) 46180 105856860 o1(o2(o1(x),x)) true 28407 28407 0.3716 0.8852 0.3733 0.128 0.3578 -0.2466 1 1.247 1 3.628 0.02694 0.02403 0.108 0.0572 1 -0.00005021 0.1407 0.1343 0.03932 0.1983 1.836 1.414 0.3982 1.099 1 1 0.05108 0.1995 0.1926 0.399 1.559 1.504 json
t13_x7_u31_b10 13 7 31 10 cil(dst(flr(R),D)) 46181 105856861 o1(o2(o1(x),x)) true 28415 28415 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
t13_x7_u32_b0 13 7 32 0 cil(add(cil(R),D)) 46182 105857052 o1(o2(o1(x),x)) true 28423 28423 0.7849 1 0.7849 0.1096 0.331 0.000291 1 0.9997 1 2.432 0.03126 0.001219 0.07173 0.925 1 -0.0000963 0.057 0.07618 0.02733 0.1653 2.305 0.9997 0.2964 0.5202 1 1 0.03874 0.1582 0.1294 0.3535 1.443 1.181 json
t13_x7_u32_b1 13 7 32 1 cil(sub(cil(R),D)) 46183 105857053 o1(o2(o1(x),x)) true 28431 28431 0.7872 1 0.7872 0.1083 0.3291 0.000291 1 0.9997 1 2.425 0.03117 0.001219 0.07231 0.9247 1 -0.00006835 0.05697 0.07595 0.02717 0.1648 2.28 0.9997 0.299 0.5258 1 1 0.03835 0.1559 0.131 0.354 1.439 1.209 json
t13_x7_u32_b2 13 7 32 2 cil(mlt(cil(R),D)) 46184 105857054 o1(o2(o1(x),x)) true 28439 28439 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
t13_x7_u32_b3 13 7 32 3 cil(div(cil(R),D)) 46185 105857055 o1(o2(o1(x),x)) true 28447 28447 0.05174 0.4747 0.6101 0.558 0.747 -1 1 2 1 3.425 0.2072 0.009373 0.1874 0.9135 1 -0.00006335 0.4122 0.265 0.1815 0.4261 2.274 2.037 0.3882 0.7388 1 1 0.2302 0.9935 0.4705 0.4126 1.78 0.8431 json
t13_x7_u32_b4 13 7 32 4 cil(pow(cil(R),D)) 46186 105857056 o1(o2(o1(x),x)) true 28455 28455 -0.1084 0.4727 0.9463 0.9185 0.9584 -1 1 2 1 1.763 0.09523 0.1231 0.1227 -0.1275 1 0.000002846 0.4615 0.2313 0.2032 0.4507 3.674 2.828 0.2377 0.5024 1 1 0.2182 0.9093 1.701 0.2376 0.99 1.852 json
t13_x7_u32_b5 13 7 32 5 cil(mod(cil(R),D)) 46187 105857057 o1(o2(o1(x),x)) true 28463 28463 0.4221 0.8705 0.4221 0.1552 0.3939 0 1 1 1 3.292 0.05163 0.002081 0.1027 0.9225 1 -0.00001496 0.1012 0.1243 0.04316 0.2077 2.023 0.9997 0.3461 0.6522 1 1 0.05559 0.1311 0.2441 0.3582 0.8451 1.573 json
t13_x7_u32_b6 13 7 32 6 cil(lrg(cil(R),D)) 46188 105857058 o1(o2(o1(x),x)) true 28471 28471 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
t13_x7_u32_b7 13 7 32 7 cil(eql(cil(R),D)) 46189 105857059 o1(o2(o1(x),x)) true 28479 28479 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
t13_x7_u32_b8 13 7 32 8 cil(min(cil(R),D)) 46190 105857060 o1(o2(o1(x),x)) true 28487 28487 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
t13_x7_u32_b9 13 7 32 9 cil(dot(cil(R),D)) 46191 105857061 o1(o2(o1(x),x)) true 28495 28495 0.3769 0.8875 0.3786 0.1294 0.3598 -0.2466 1 1.247 1 3.636 0.02423 0.027 0.1088 -0.05397 1 0.00002183 0.143 0.1353 0.03939 0.1985 1.824 1.409 0.3959 1.105 1 1 0.05854 0.2103 0.1868 0.4523 1.625 1.443 json
t13_x7_u32_b10 13 7 32 10 cil(dst(cil(R),D)) 46192 105857062 o1(o2(o1(x),x)) true 28503 28503 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
t13_x7_u33_b0 13 7 33 0 cil(add(sgn(R),D)) 46193 105857253 o1(o2(o1(x),x)) true 28511 28511 0.3123 0.6665 0.6518 0.46 0.6782 -0.9997 1 2 1 4.088 0.04379 0.007421 0.1244 0.7102 1 -0.0001476 0.07248 0.09787 0.03574 0.1891 1.52 1.027 0.1113 0.1576 1 1 0.06913 0.446 0.7485 0.1503 0.9695 1.627 json
t13_x7_u33_b1 13 7 33 1 cil(sub(sgn(R),D)) 46194 105857254 o1(o2(o1(x),x)) true 28519 28519 0.3145 0.667 0.6495 0.4566 0.6757 -0.9997 1 2 1 4.088 0.04354 0.007409 0.1247 0.7092 1 -0.0001287 0.07242 0.09764 0.03541 0.1882 1.509 1.025 0.1116 0.1586 1 1 0.06792 0.4366 0.7498 0.1488 0.9562 1.642 json
t13_x7_u33_b2 13 7 33 2 cil(mlt(sgn(R),D)) 46195 105857255 o1(o2(o1(x),x)) true 28527 28527 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
t13_x7_u33_b3 13 7 33 3 cil(div(sgn(R),D)) 46196 105857256 o1(o2(o1(x),x)) true 28535 28535 0.08345 0.5297 0.9255 0.8943 0.9457 -1 1 2 1 2.047 0.2915 0.05806 0.241 0.6678 1 -0.0001373 0.6953 0.38 0.2914 0.5398 2.24 2.828 0.3909 0.7775 1 1 0.3943 1.744 1.667 0.4409 1.95 1.864 json
t13_x7_u33_b4 13 7 33 4 cil(pow(sgn(R),D)) 46197 105857257 o1(o2(o1(x),x)) true 28543 28543 -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
t13_x7_u33_b5 13 7 33 5 cil(mod(sgn(R),D)) 46198 105857258 o1(o2(o1(x),x)) true 28551 28551 0.4221 0.8705 0.4221 0.1552 0.3939 0 1 1 1 3.292 0.05163 0.002081 0.1027 0.9225 1 -0.00001496 0.1012 0.1243 0.04316 0.2077 2.023 0.9997 0.3461 0.6522 1 1 0.05559 0.1311 0.2441 0.3582 0.8451 1.573 json
t13_x7_u33_b6 13 7 33 6 cil(lrg(sgn(R),D)) 46199 105857259 o1(o2(o1(x),x)) true 28559 28559 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