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_x9_u3_b106 14 9 3 106 flr(dot(eql(D,P),P)) 55000 114052732 o1(o2(o2(x,x),x)) true 98967 98967 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_x9_u3_b107 14 9 3 107 flr(dot(min(D,P),P)) 55001 114052733 o1(o2(o2(x,x),x)) true 98975 98975 0.5225 0.7436 0.8804 0.5724 0.7566 -1 1 2 1 2.222 0.02324 0.02324 0.08532 -8.415e-7 1 0.0006495 0.1476 0.1448 0.03921 0.198 2.321 1.413 0.08121 0.2578 1 1 0.04125 0.1576 0.2377 0.07207 0.2753 0.4153 json
t14_x9_u3_b108 14 9 3 108 flr(dot(dot(D,P),P)) 55002 114052734 o1(o2(o2(x,x),x)) true 98983 98983 -0.1192 0.4184 0.8339 0.7763 0.8811 -1 1 2 1 2.91 0.1431 0.1431 0.2573 0.000003332 1 -0.0004353 0.6817 0.4142 0.2201 0.4692 1.823 2.828 0.3687 0.8782 1 1 0.2661 1.018 0.3511 0.3427 1.311 0.4522 json
t14_x9_u3_b109 14 9 3 109 flr(dot(dst(D,P),P)) 55003 114052735 o1(o2(o2(x,x),x)) true 98991 98991 -0.005298 0.4978 0.9775 0.9718 0.9858 -1 1 2 1 1.371 0.003336 0.003336 0.01314 -3.489e-8 1 0.000001279 0.007471 0.01088 0.006502 0.08063 6.136 1.709 0.006866 0.007688 1 1 0.01268 0.09567 0.5308 0.01304 0.09845 0.5462 json
t14_x9_u3_b110 14 9 3 110 flr(dst(add(D,P),P)) 55004 114052736 o1(o2(o2(x,x),x)) true 98999 98999 0.002387 0.5469 0.002387 0.0000194 0.004405 0 0.01937 0.01937 1 0 0.00002643 0.00002643 0.004122 1.376e-7 0 -0.00002229 0.0002509 0.008064 0.00003587 0.005989 1.453 0.02739 2.724 12.93 1 1 0.00004054 0.00003161 0 2.089 1.629 0 json
t14_x9_u3_b111 14 9 3 111 flr(dst(sub(D,P),P)) 55005 114052737 o1(o2(o2(x,x),x)) true 99007 99007 0.9983 1 0.9983 0.001194 0.03456 0.001164 1 0.9988 1 0.04274 0.00005151 0.00005151 0.0005732 -3.531e-7 1 -5.632e-11 0.00004004 0.0003397 0.0001028 0.01014 17.69 0.245 0.08625 0.03352 1 1 0.0003367 0.002996 0.004353 0.2819 2.509 3.644 json
t14_x9_u3_b112 14 9 3 112 flr(dst(mlt(D,P),P)) 55006 114052738 o1(o2(o2(x,x),x)) true 99015 99015 0.989 0.9969 0.989 0.008511 0.09226 0 1 1 1 0.1991 0.0006492 0.0006492 0.003287 1.793e-7 1 3.754e-11 0.002628 0.004025 0.001286 0.03586 10.91 1.048 0.1525 0.3088 1 1 0.002615 0.01031 0.02731 0.3073 1.211 3.209 json
t14_x9_u3_b113 14 9 3 113 flr(dst(div(D,P),P)) 55007 114052739 o1(o2(o2(x,x),x)) true 99023 99023 -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_x9_u3_b114 14 9 3 114 flr(dst(pow(D,P),P)) 55008 114052740 o1(o2(o2(x,x),x)) true 99031 99031 -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.004025 0.06344 31.77 2.828 0.259 0.5504 1 1 0.007091 0.02837 0.05673 0.4556 1.823 3.645 json
t14_x9_u3_b115 14 9 3 115 flr(dst(mod(D,P),P)) 55009 114052741 o1(o2(o2(x,x),x)) true 99039 99039 -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_x9_u3_b116 14 9 3 116 flr(dst(lrg(D,P),P)) 55010 114052742 o1(o2(o2(x,x),x)) true 99047 99047 0.9996 1 0.9996 0.0003033 0.01742 0.001164 1 0.9988 1 0.01227 0.00008386 0.00008386 0.0002927 -4.338e-8 1 -3.754e-12 0.0003398 0.000423 0.0001676 0.01295 44.23 1.413 0.553 1.12 1 1 0.0003296 0.001102 0.001102 1.087 3.634 3.634 json
t14_x9_u3_b117 14 9 3 117 flr(dst(eql(D,P),P)) 55011 114052743 o1(o2(o2(x,x),x)) true 99055 99055 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_x9_u3_b118 14 9 3 118 flr(dst(min(D,P),P)) 55012 114052744 o1(o2(o2(x,x),x)) true 99063 99063 0.6954 0.7506 0.6954 0.2004 0.4477 0 1 1 1 1.373 0.002589 0.002589 0.01278 4.947e-7 1 4.295e-9 0.008761 0.01167 0.005009 0.07077 5.537 1.207 0.02583 0.04371 1 1 0.008196 0.03227 0.07788 0.0409 0.161 0.3886 json
t14_x9_u3_b119 14 9 3 119 flr(dst(dot(D,P),P)) 55013 114052745 o1(o2(o2(x,x),x)) true 99071 99071 0.9901 0.9986 0.9901 0.007711 0.08781 0 1 1 1 0.1725 0.0006407 0.0006407 0.002994 -0.000001136 1 6.007e-11 0.00306 0.004201 0.001272 0.03566 11.91 1.331 0.1662 0.3968 1 1 0.002469 0.01012 0.0254 0.3201 1.312 3.294 json
t14_x9_u3_b120 14 9 3 120 flr(dst(dst(D,P),P)) 55014 114052746 o1(o2(o2(x,x),x)) true 99079 99079 0.9985 1 0.9985 0.001029 0.03207 0.001164 1 0.9988 1 0.03667 0.00006913 0.00006913 0.0006229 -2.105e-7 1 -1.126e-11 0.0001588 0.0005451 0.0001377 0.01174 18.84 0.4372 0.1344 0.1543 1 1 0.0003777 0.002848 0.003747 0.3672 2.768 3.642 json
t14_x9_u4_b0 14 9 4 0 cil(add(add(D,P),P)) 55015 114052827 o1(o2(o2(x,x),x)) true 99087 99087 0.03125 0.5 0.9688 0.9603 0.98 -1 1 2 1 1.406 0.004323 0 0.007937 1 1 0 0.007903 0.008812 0.004259 0.06526 8.223 1 0.004502 0.008229 1 1 0.006228 0.03975 0.2856 0.006485 0.04139 0.2974 json
t14_x9_u4_b1 14 9 4 1 cil(add(sub(D,P),P)) 55016 114052828 o1(o2(o2(x,x),x)) true 99095 99095 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_x9_u4_b2 14 9 4 2 cil(add(mlt(D,P),P)) 55017 114052829 o1(o2(o2(x,x),x)) true 99103 99103 0.01793 0.5 0.9196 0.9028 0.9502 -1 1 2 1 1.956 0.005552 0 0.01586 1 1 9.461e-10 0.008577 0.01222 0.005296 0.07278 4.587 0.9988 0.006149 0.0095 1 1 0.009039 0.03875 0.2076 0.01001 0.04292 0.23 json
t14_x9_u4_b3 14 9 4 3 cil(add(div(D,P),P)) 55018 114052830 o1(o2(o2(x,x),x)) true 99111 99111 -0.1035 0.4375 0.9785 0.9645 0.9821 -1 1 2 1 1.238 0.02049 0 0.01587 1 1 0 0.03992 0.0256 0.02023 0.1422 8.964 2 0.02124 0.04139 1 1 0.02788 0.1081 0.3607 0.0289 0.1121 0.374 json
t14_x9_u4_b4 14 9 4 4 cil(add(pow(D,P),P)) 55019 114052831 o1(o2(o2(x,x),x)) true 99119 99119 -0.875 0.0625 1 0.2344 0.4841 -1 1 2 1 0.3373 0.03175 0 0.01587 1 1 0 0.06349 0.03175 0.03149 0.1774 11.18 2 0.1354 0.2709 1 1 0.04211 0.1684 0.3368 0.1796 0.7186 1.437 json
t14_x9_u4_b5 14 9 4 5 cil(add(mod(D,P),P)) 55020 114052832 o1(o2(o2(x,x),x)) true 99127 99127 -0.125 0.4375 1 0.9844 0.9922 -1 1 2 1 0.9887 0.01587 0 0.007937 1 1 0 0.03175 0.01587 0.01581 0.1257 15.84 2 0.01612 0.03225 1 1 0.02105 0.08421 0.3368 0.02139 0.08555 0.3422 json
t14_x9_u4_b6 14 9 4 6 cil(add(lrg(D,P),P)) 55021 114052833 o1(o2(o2(x,x),x)) true 99135 99135 0.09375 0.5 0.9063 0.89 0.9434 -1 1 2 1 1.668 0.004321 0 0.007937 1 1 4.731e-10 0.007953 0.008864 0.004257 0.06525 8.221 1 0.004855 0.008935 1 1 0.006189 0.0332 0.2014 0.006953 0.0373 0.2263 json
t14_x9_u4_b7 14 9 4 7 cil(add(eql(D,P),P)) 55022 114052834 o1(o2(o2(x,x),x)) true 99143 99143 0 0.5 0.9375 0.924 0.9612 -1 1 2 1 1.813 0.0007059 0 0.007937 1 1 0 0.00003235 0.001851 0.0006432 0.02536 3.195 0.1169 0.0007639 0.00003501 1 1 0.001851 0.02449 0.2344 0.002003 0.0265 0.2537 json
t14_x9_u4_b8 14 9 4 8 cil(add(min(D,P),P)) 55023 114052835 o1(o2(o2(x,x),x)) true 99151 99151 -0.009727 0.5 0.9472 0.9365 0.9677 -1 1 2 1 1.65 0.001005 0 0.007937 1 1 4.731e-10 0.0001502 0.002719 0.0009424 0.0307 3.868 0.2265 0.001073 0.0001604 1 1 0.002565 0.02848 0.2515 0.002739 0.03041 0.2686 json
t14_x9_u4_b9 14 9 4 9 cil(add(dot(D,P),P)) 55024 114052836 o1(o2(o2(x,x),x)) true 99159 99159 0.0285 0.5141 0.9367 0.9177 0.958 -1 1 2 1 1.943 0.00365 0.01397 0.03849 -0.5857 1 0.0005972 0.04678 0.0594 0.01614 0.127 3.3 1.412 0.0192 0.05098 1 1 0.01949 0.07895 0.2385 0.02123 0.08603 0.2599 json
t14_x9_u4_b10 14 9 4 10 cil(add(dst(D,P),P)) 55025 114052837 o1(o2(o2(x,x),x)) true 99167 99167 0.9674 1 0.9674 0.01896 0.1377 0.0005821 1 0.9994 1 0.6535 0.00453 0.001152 0.01407 0.5945 1 0.00003188 0.01467 0.01781 0.005478 0.07402 5.261 1.399 0.2997 0.7736 1 1 0.00657 0.02255 0.02089 0.3465 1.189 1.102 json
t14_x9_u4_b11 14 9 4 11 cil(sub(add(D,P),P)) 55026 114052838 o1(o2(o2(x,x),x)) true 99175 99175 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_x9_u4_b12 14 9 4 12 cil(sub(sub(D,P),P)) 55027 114052839 o1(o2(o2(x,x),x)) true 99183 99183 0.03125 0.5273 0.9688 0.9595 0.9796 -1 1 2 1 1.408 0.007092 0 0.01586 1 1 0 0.009138 0.01315 0.006835 0.08268 5.213 0.9983 0.007391 0.009524 1 1 0.01275 0.06237 0.2845 0.01329 0.065 0.2965 json
t14_x9_u4_b13 14 9 4 13 cil(sub(mlt(D,P),P)) 55028 114052840 o1(o2(o2(x,x),x)) true 99191 99191 0.01793 0.5 0.9196 0.9028 0.9502 -1 1 2 1 1.956 0.005552 0 0.01586 1 1 9.461e-10 0.008577 0.01222 0.005296 0.07278 4.587 0.9988 0.006149 0.009501 1 1 0.009039 0.03875 0.2076 0.01001 0.04292 0.23 json
t14_x9_u4_b14 14 9 4 14 cil(sub(div(D,P),P)) 55029 114052841 o1(o2(o2(x,x),x)) true 99199 99199 -0.1035 0.4375 0.9785 0.9645 0.9821 -1 1 2 1 1.238 0.02049 0 0.01587 1 1 4.731e-10 0.03992 0.0256 0.02023 0.1422 8.964 2 0.02124 0.04139 1 1 0.02788 0.1081 0.3607 0.0289 0.1121 0.374 json
t14_x9_u4_b15 14 9 4 15 cil(sub(pow(D,P),P)) 55030 114052842 o1(o2(o2(x,x),x)) true 99207 99207 -0.875 0.0625 1 0.2344 0.4841 -1 1 2 1 0.3373 0.03175 0 0.01587 1 1 0 0.06349 0.03175 0.03149 0.1774 11.18 2 0.1354 0.2709 1 1 0.04211 0.1684 0.3368 0.1796 0.7186 1.437 json
t14_x9_u4_b16 14 9 4 16 cil(sub(mod(D,P),P)) 55031 114052843 o1(o2(o2(x,x),x)) true 99215 99215 -0.1035 0.4375 0.9785 0.9645 0.9821 -1 1 2 1 1.238 0.02049 0 0.01587 1 1 4.731e-10 0.03992 0.0256 0.02023 0.1422 8.964 2 0.02124 0.04139 1 1 0.02788 0.1081 0.3607 0.0289 0.1121 0.374 json
t14_x9_u4_b17 14 9 4 17 cil(sub(lrg(D,P),P)) 55032 114052844 o1(o2(o2(x,x),x)) true 99223 99223 0.04098 0.5313 0.959 0.9453 0.9723 -1 1 2 1 1.571 0.006022 0 0.01586 1 1 0 0.008334 0.01158 0.005766 0.07594 4.787 0.9988 0.006371 0.008816 1 1 0.01045 0.06016 0.2663 0.01105 0.06364 0.2817 json
t14_x9_u4_b18 14 9 4 18 cil(sub(eql(D,P),P)) 55033 114052845 o1(o2(o2(x,x),x)) true 99231 99231 0 0.5 0.9375 0.924 0.9612 -1 1 2 1 1.813 0.0007059 0 0.007937 1 1 0 0.00003235 0.001851 0.0006432 0.02536 3.195 0.1169 0.0007639 0.00003501 1 1 0.001851 0.02449 0.2344 0.002003 0.0265 0.2537 json
t14_x9_u4_b19 14 9 4 19 cil(sub(min(D,P),P)) 55034 114052846 o1(o2(o2(x,x),x)) true 99239 99239 -0.4472 0 0.4472 0.2367 0.4866 -1 0 1 1 1.59 0.004966 0 0.0119 1 1 4.731e-10 0.008236 0.01066 0.004825 0.06946 5.838 0.9991 0.02098 0.03479 1 1 0.007711 0.02988 0.06998 0.03257 0.1262 0.2956 json
t14_x9_u4_b20 14 9 4 20 cil(sub(dot(D,P),P)) 55035 114052847 o1(o2(o2(x,x),x)) true 99247 99247 0.0285 0.5141 0.9367 0.9177 0.958 -1 1 2 1 1.943 0.00365 0.01397 0.0386 -0.5857 1 0.0005972 0.04678 0.0594 0.01612 0.127 3.29 1.403 0.0192 0.05098 1 1 0.01949 0.07895 0.2385 0.02123 0.08603 0.2599 json
t14_x9_u4_b21 14 9 4 21 cil(sub(dst(D,P),P)) 55036 114052848 o1(o2(o2(x,x),x)) true 99255 99255 0.9674 1 0.9674 0.01896 0.1377 0.0005821 1 0.9994 1 0.6535 0.004531 0.001152 0.01424 0.5946 1 0.00003188 0.01467 0.01781 0.005485 0.07406 5.201 1.383 0.2997 0.7736 1 1 0.006769 0.025 0.02207 0.357 1.318 1.164 json
t14_x9_u4_b22 14 9 4 22 cil(mlt(add(D,P),P)) 55037 114052849 o1(o2(o2(x,x),x)) true 99263 99263 0.9375 1 0.9375 0.04507 0.2123 0.000291 1 0.9997 1 0.8126 0.0007059 0 0.007934 1 1 -9.461e-10 0.00003241 0.001855 0.0006433 0.02536 3.197 0.1169 0.01566 0.0007193 1 1 0.001851 0.02408 0.06598 0.04107 0.5344 1.464 json
t14_x9_u4_b23 14 9 4 23 cil(mlt(sub(D,P),P)) 55038 114052850 o1(o2(o2(x,x),x)) true 99271 99271 -0.9082 0 0.9082 0.06515 0.2553 -1 -0.000291 0.9997 1 1.05 0.0107 0 0.02378 1 1 -9.461e-10 0.01748 0.02292 0.01013 0.1007 4.233 0.9983 0.1642 0.2683 1 1 0.01678 0.04603 0.09782 0.2575 0.7065 1.501 json
t14_x9_u4_b24 14 9 4 24 cil(mlt(mlt(D,P),P)) 55039 114052851 o1(o2(o2(x,x),x)) true 99279 99279 0.1844 0.6172 0.7528 0.6782 0.8235 -1 1 2 1 2.91 0.2225 0 0.2155 1 1 -9.461e-10 0.3617 0.3116 0.1761 0.4197 1.948 1.992 0.3281 0.5333 1 1 0.2061 0.8377 0.1246 0.3039 1.235 0.1838 json
t14_x9_u4_b25 14 9 4 25 cil(mlt(div(D,P),P)) 55040 114052852 o1(o2(o2(x,x),x)) true 99287 99287 0.3125 0.875 0.5625 0.3702 0.6084 -1 0.9997 2 1 3.523 0.07235 0 0.1149 1 1 0 0.1364 0.1318 0.05916 0.2432 2.118 2 0.1955 0.3685 1 1 0.0796 0.2919 0.4028 0.215 0.7886 1.088 json
t14_x9_u4_b26 14 9 4 26 cil(mlt(pow(D,P),P)) 55041 114052853 o1(o2(o2(x,x),x)) true 99295 99295 -0.9736 0 0.9736 0.02231 0.1494 -1 -0.000291 0.9997 1 0.2758 0.005353 0 0.007934 1 1 0 0.01002 0.01237 0.005289 0.07272 9.166 0.9997 0.2399 0.449 1 1 0.007555 0.031 0.031 0.3386 1.389 1.389 json
t14_x9_u4_b27 14 9 4 27 cil(mlt(mod(D,P),P)) 55042 114052854 o1(o2(o2(x,x),x)) true 99303 99303 0.1725 0.6953 0.5749 0.4462 0.668 -1 1 2 1 3.999 0.1489 0 0.2395 1 1 0.006679 0.326 0.3773 0.09158 0.3026 1.264 1.999 0.3337 0.7307 1 1 0.134 0.4296 0.3797 0.3004 0.9629 0.851 json
t14_x9_u4_b28 14 9 4 28 cil(mlt(lrg(D,P),P)) 55043 114052855 o1(o2(o2(x,x),x)) true 99311 99311 -0.4688 0 0.4688 0.2423 0.4922 -1 0 1 1 1.406 0.0003529 0 0.003968 1 1 4.731e-10 0.00001619 0.0009276 0.0003372 0.01836 4.628 0.1169 0.001457 0.00006684 1 1 0.0009255 0.01214 0.0751 0.00382 0.05012 0.31 json
t14_x9_u4_b29 14 9 4 29 cil(mlt(eql(D,P),P)) 55044 114052856 o1(o2(o2(x,x),x)) true 99319 99319 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_x9_u4_b30 14 9 4 30 cil(mlt(min(D,P),P)) 55045 114052857 o1(o2(o2(x,x),x)) true 99327 99327 0.6175 0.8477 0.6937 0.2562 0.5061 -0.8866 1 1.887 1 2.704 0.06432 0 0.1214 1 1 0.003339 0.1391 0.1816 0.04957 0.2226 1.834 0.9994 0.2511 0.5431 1 1 0.05348 0.1903 0.09035 0.2088 0.7427 0.3527 json
t14_x9_u4_b31 14 9 4 31 cil(mlt(dot(D,P),P)) 55046 114052858 o1(o2(o2(x,x),x)) true 99335 99335 0.1425 0.587 0.7917 0.7223 0.8499 -1 1 2 1 3.14 0.1549 0.1075 0.2553 0.1805 1 0.0007582 0.614 0.4031 0.1972 0.4441 1.739 2.828 0.3632 0.8502 1 1 0.2402 0.9465 0.2338 0.3326 1.31 0.3237 json
t14_x9_u4_b32 14 9 4 32 cil(mlt(dst(D,P),P)) 55047 114052859 o1(o2(o2(x,x),x)) true 99343 99343 0.003394 0.5 0.9656 0.9595 0.9796 -1 1 2 1 1.445 0.002141 0.00008732 0.008641 0.9216 1 -1.032e-11 0.001834 0.006517 0.002155 0.04642 5.372 1.205 0.002322 0.001911 1 1 0.004667 0.03753 0.2794 0.004864 0.03912 0.2911 json
t14_x9_u4_b33 14 9 4 33 cil(div(add(D,P),P)) 55048 114052860 o1(o2(o2(x,x),x)) true 99351 99351 0.75 0.875 1 0.4375 0.6614 -1 1 2 1 0.5436 0.03175 0 0.01587 1 1 0 0.06349 0.03175 0.03149 0.1774 11.18 2 0.07256 0.1451 1 1 0.04211 0.1684 0.6737 0.09624 0.385 1.54 json
t14_x9_u4_b34 14 9 4 34 cil(div(sub(D,P),P)) 55049 114052861 o1(o2(o2(x,x),x)) true 99359 99359 -0.5625 0 0.5625 0.1514 0.3891 -1 -0.000291 0.9997 1 3.238 0.06044 0 0.1109 1 1 -0.0001797 0.1126 0.1239 0.04813 0.2194 1.978 0.9997 0.3992 0.7441 1 1 0.06377 0.2221 0.06598 0.4212 1.467 0.4359 json
t14_x9_u4_b35 14 9 4 35 cil(div(mlt(D,P),P)) 55050 114052862 o1(o2(o2(x,x),x)) true 99367 99367 0.3125 0.875 0.5625 0.3702 0.6084 -1 0.9997 2 1 3.523 0.07235 0 0.1149 1 1 0 0.1364 0.1318 0.05916 0.2432 2.118 2 0.1955 0.3685 1 1 0.0796 0.2919 0.4028 0.215 0.7886 1.088 json
t14_x9_u4_b36 14 9 4 36 cil(div(div(D,P),P)) 55051 114052863 o1(o2(o2(x,x),x)) true 99375 99375 0.3125 0.875 0.5625 0.3702 0.6084 -1 0.9997 2 1 3.523 0.07235 0 0.1149 1 1 0 0.1364 0.1318 0.05916 0.2432 2.118 2 0.1955 0.3685 1 1 0.0796 0.2919 0.4028 0.215 0.7886 1.088 json
t14_x9_u4_b37 14 9 4 37 cil(div(pow(D,P),P)) 55052 114052864 o1(o2(o2(x,x),x)) true 99383 99383 -0.875 0.0625 1 0.2344 0.4841 -1 1 2 1 0.3373 0.03175 0 0.01587 1 1 0 0.06349 0.03175 0.03149 0.1774 11.18 2 0.1354 0.2709 1 1 0.04211 0.1684 0.3368 0.1796 0.7186 1.437 json
t14_x9_u4_b38 14 9 4 38 cil(div(mod(D,P),P)) 55053 114052865 o1(o2(o2(x,x),x)) true 99391 99391 0.3125 0.875 0.5625 0.3702 0.6084 -1 0.9997 2 1 3.523 0.08425 0 0.1188 1 1 -0.0001797 0.1603 0.1398 0.0701 0.2648 2.228 2 0.2276 0.4332 1 1 0.09528 0.3354 0.4028 0.2574 0.9061 1.088 json
t14_x9_u4_b39 14 9 4 39 cil(div(lrg(D,P),P)) 55054 114052866 o1(o2(o2(x,x),x)) true 99399 99399 -0.1563 0 0.1563 0.1251 0.3537 -1 0 1 1 1.024 0.004321 0 0.007937 1 1 4.731e-10 0.007953 0.008864 0.004257 0.06525 8.221 1 0.03455 0.06358 1 1 0.006189 0.0332 0.1593 0.04948 0.2654 1.274 json
t14_x9_u4_b40 14 9 4 40 cil(div(eql(D,P),P)) 55055 114052867 o1(o2(o2(x,x),x)) true 99407 99407 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_x9_u4_b41 14 9 4 41 cil(div(min(D,P),P)) 55056 114052868 o1(o2(o2(x,x),x)) true 99415 99415 0.5313 0.875 0.7813 0.4514 0.6719 -1 1 2 1 2.582 0.058 0 0.06741 1 1 -0.00008984 0.1119 0.08574 0.05346 0.2312 3.43 2 0.1285 0.2479 1 1 0.06999 0.257 0.5383 0.155 0.5693 1.192 json
t14_x9_u4_b42 14 9 4 42 cil(div(dot(D,P),P)) 55057 114052869 o1(o2(o2(x,x),x)) true 99423 99423 0.3036 0.8547 0.562 0.3412 0.5841 -1 1 2 1 4.081 0.05396 0.03558 0.1632 0.2052 1 0.0001454 0.271 0.2344 0.0629 0.2508 1.537 2.235 0.2624 0.7943 1 1 0.09108 0.2933 0.443 0.2669 0.8595 1.298 json
t14_x9_u4_b43 14 9 4 43 cil(div(dst(D,P),P)) 55058 114052870 o1(o2(o2(x,x),x)) true 99431 99431 -0.0892 0.4375 0.9642 0.9415 0.9703 -1 1 2 1 1.646 0.02052 0.001162 0.02266 0.8928 1 -0.00003734 0.04681 0.03354 0.02116 0.1455 6.421 2 0.02303 0.04972 1 1 0.02783 0.1079 0.358 0.02956 0.1147 0.3803 json
t14_x9_u4_b44 14 9 4 44 cil(pow(add(D,P),P)) 55059 114052871 o1(o2(o2(x,x),x)) true 99439 99439 0 0.5 1 1 1 -1 1 2 1 1 0.01587 0 0.007937 1 1 0 0.03175 0.01587 0.01581 0.1257 15.84 2 0.01587 0.03175 1 1 0.02105 0.08421 0.3368 0.02105 0.08421 0.3368 json
t14_x9_u4_b45 14 9 4 45 cil(pow(sub(D,P),P)) 55060 114052872 o1(o2(o2(x,x),x)) true 99447 99447 0 0.5 1 1 1 -1 1 2 1 1 0.01587 0 0.007937 1 1 0 0.03175 0.01587 0.01581 0.1257 15.84 2 0.01587 0.03175 1 1 0.02105 0.08421 0.3368 0.02105 0.08421 0.3368 json
t14_x9_u4_b46 14 9 4 46 cil(pow(mlt(D,P),P)) 55061 114052873 o1(o2(o2(x,x),x)) true 99455 99455 -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_x9_u4_b47 14 9 4 47 cil(pow(div(D,P),P)) 55062 114052874 o1(o2(o2(x,x),x)) true 99463 99463 -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_x9_u4_b48 14 9 4 48 cil(pow(pow(D,P),P)) 55063 114052875 o1(o2(o2(x,x),x)) true 99471 99471 -0.875 0.0625 1 0.2344 0.4841 -1 1 2 1 0.3373 0.03175 0 0.01587 1 1 0 0.06349 0.03175 0.03149 0.1774 11.18 2 0.1354 0.2709 1 1 0.04211 0.1684 0.3368 0.1796 0.7186 1.437 json
t14_x9_u4_b49 14 9 4 49 cil(pow(mod(D,P),P)) 55064 114052876 o1(o2(o2(x,x),x)) true 99479 99479 -0.875 0.0625 1 0.2344 0.4841 -1 1 2 1 0.3373 0.03175 0 0.01587 1 1 0 0.06349 0.03175 0.03149 0.1774 11.18 2 0.1354 0.2709 1 1 0.04211 0.1684 0.3368 0.1796 0.7186 1.437 json
t14_x9_u4_b50 14 9 4 50 cil(pow(lrg(D,P),P)) 55065 114052877 o1(o2(o2(x,x),x)) true 99487 99487 0.5313 0.5625 0.5313 0.2423 0.4922 0 1 1 1 1.326 0.0003529 0 0.003968 1 1 -4.731e-10 0.00001619 0.0009276 0.0003372 0.01836 4.628 0.1169 0.001457 0.00006684 1 1 0.0009255 0.01214 0.0751 0.00382 0.05012 0.31 json
t14_x9_u4_b51 14 9 4 51 cil(pow(eql(D,P),P)) 55066 114052878 o1(o2(o2(x,x),x)) true 99495 99495 -0.4688 0.0625 0.5313 0.3046 0.5519 -1 0.9997 2 1 1.406 0.01622 0 0.0119 1 1 -4.731e-10 0.03186 0.0168 0.01607 0.1268 10.65 2 0.05326 0.1046 1 1 0.0219 0.08325 0.1593 0.0719 0.2733 0.523 json
t14_x9_u4_b52 14 9 4 52 cil(pow(min(D,P),P)) 55067 114052879 o1(o2(o2(x,x),x)) true 99503 99503 -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_x9_u4_b53 14 9 4 53 cil(pow(dot(D,P),P)) 55068 114052880 o1(o2(o2(x,x),x)) true 99511 99511 -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_x9_u4_b54 14 9 4 54 cil(pow(dst(D,P),P)) 55069 114052881 o1(o2(o2(x,x),x)) true 99519 99519 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_x9_u4_b55 14 9 4 55 cil(mod(add(D,P),P)) 55070 114052882 o1(o2(o2(x,x),x)) true 99527 99527 0.002749 0.4375 0.8722 0.8496 0.9217 -1 1 2 1 2.105 0.04986 0 0.06343 1 1 1.892e-9 0.09166 0.08868 0.04581 0.214 3.375 2 0.05869 0.1079 1 1 0.05607 0.1834 0.3707 0.066 0.2158 0.4364 json
t14_x9_u4_b56 14 9 4 56 cil(mod(sub(D,P),P)) 55071 114052883 o1(o2(o2(x,x),x)) true 99535 99535 0.05254 0.4375 0.8224 0.7993 0.894 -1 1 2 1 2.291 0.04856 0 0.05932 1 1 0.0005391 0.08999 0.08451 0.04503 0.2122 3.577 2 0.06076 0.1126 1 1 0.05647 0.2059 0.4262 0.07065 0.2576 0.5333 json
t14_x9_u4_b57 14 9 4 57 cil(mod(mlt(D,P),P)) 55072 114052884 o1(o2(o2(x,x),x)) true 99543 99543 0.1725 0.6953 0.5749 0.4462 0.668 -1 1 2 1 3.999 0.1489 0 0.2395 1 1 0.006679 0.326 0.3773 0.09158 0.3026 1.264 1.999 0.3337 0.7307 1 1 0.134 0.4296 0.3797 0.3004 0.9629 0.851 json
t14_x9_u4_b58 14 9 4 58 cil(mod(div(D,P),P)) 55073 114052885 o1(o2(o2(x,x),x)) true 99551 99551 0.3125 0.875 0.5625 0.3702 0.6084 -1 0.9997 2 1 3.523 0.08425 0 0.1188 1 1 -0.0001797 0.1603 0.1398 0.0701 0.2648 2.228 2 0.2276 0.4332 1 1 0.09528 0.3354 0.4028 0.2574 0.9061 1.088 json
t14_x9_u4_b59 14 9 4 59 cil(mod(pow(D,P),P)) 55074 114052886 o1(o2(o2(x,x),x)) true 99559 99559 -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_x9_u4_b60 14 9 4 60 cil(mod(mod(D,P),P)) 55075 114052887 o1(o2(o2(x,x),x)) true 99567 99567 0.3125 0.875 0.5625 0.3702 0.6084 -1 0.9997 2 1 3.523 0.07235 0 0.1149 1 1 0 0.1364 0.1318 0.05916 0.2432 2.118 2 0.1955 0.3685 1 1 0.0796 0.2919 0.4028 0.215 0.7886 1.088 json
t14_x9_u4_b61 14 9 4 61 cil(mod(lrg(D,P),P)) 55076 114052888 o1(o2(o2(x,x),x)) true 99575 99575 0.2813 0.4375 0.5313 0.445 0.6671 -1 1 2 1 1.736 0.008292 0 0.0119 1 1 0 0.01584 0.01675 0.008154 0.0903 7.585 1 0.01863 0.0356 1 1 0.01149 0.0608 0.3698 0.02582 0.1366 0.8311 json
t14_x9_u4_b62 14 9 4 62 cil(mod(eql(D,P),P)) 55077 114052889 o1(o2(o2(x,x),x)) true 99583 99583 -0.125 0 0.125 0.1094 0.3307 -1 0 1 1 0.5436 0.007937 0 0.007937 1 1 0 0.01587 0.01587 0.007872 0.08872 11.18 1 0.07256 0.1451 1 1 0.01053 0.04211 0.1684 0.09624 0.385 1.54 json
t14_x9_u4_b63 14 9 4 63 cil(mod(min(D,P),P)) 55078 114052890 o1(o2(o2(x,x),x)) true 99591 99591 -0.1565 0.4375 0.594 0.5121 0.7156 -1 0.9997 2 1 3.237 0.05016 0 0.07848 1 1 0.0005391 0.09036 0.08887 0.04398 0.2097 2.672 2 0.09794 0.1764 1 1 0.06089 0.246 0.3249 0.1189 0.4804 0.6344 json
t14_x9_u4_b64 14 9 4 64 cil(mod(dot(D,P),P)) 55079 114052891 o1(o2(o2(x,x),x)) true 99599 99599 0.04651 0.5709 0.626 0.5196 0.7208 -1 1 2 1 4.356 0.1237 0.1049 0.3125 0.0826 1 0.004115 0.7892 0.5783 0.131 0.3619 1.158 2.828 0.44 1.519 1 1 0.1887 0.6174 0.4404 0.3632 1.188 0.8476 json
t14_x9_u4_b65 14 9 4 65 cil(mod(dst(D,P),P)) 55080 114052892 o1(o2(o2(x,x),x)) true 99607 99607 0.75 0.875 1 0.4375 0.6614 -1 1 2 1 0.5436 0.03175 0 0.01587 1 1 0 0.06349 0.03175 0.03149 0.1774 11.18 2 0.07256 0.1451 1 1 0.04211 0.1684 0.6737 0.09624 0.385 1.54 json
t14_x9_u4_b66 14 9 4 66 cil(lrg(add(D,P),P)) 55081 114052893 o1(o2(o2(x,x),x)) true 99615 99615 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_x9_u4_b67 14 9 4 67 cil(lrg(sub(D,P),P)) 55082 114052894 o1(o2(o2(x,x),x)) true 99623 99623 0.5 0.5625 0.5 0.2365 0.4863 0 1 1 1 1.577 0.00467 0 0.0119 1 1 -4.731e-10 0.008068 0.009787 0.004528 0.06729 5.654 0.9994 0.01975 0.03412 1 1 0.007036 0.03244 0.06598 0.02976 0.1372 0.279 json
t14_x9_u4_b68 14 9 4 68 cil(lrg(mlt(D,P),P)) 55083 114052895 o1(o2(o2(x,x),x)) true 99631 99631 0.4688 0.5 0.4688 0.2423 0.4922 0 1 1 1 1.326 0.0003529 0 0.003968 1 1 -4.731e-10 0.00001619 0.0009276 0.0003372 0.01836 4.628 0.1169 0.001457 0.00006684 1 1 0.0009255 0.01214 0.0751 0.00382 0.05012 0.31 json
t14_x9_u4_b69 14 9 4 69 cil(lrg(div(D,P),P)) 55084 114052896 o1(o2(o2(x,x),x)) true 99639 99639 0.5 0.5625 0.5 0.2365 0.4863 0 1 1 1 1.577 0.00467 0 0.0119 1 1 -4.731e-10 0.008068 0.009787 0.004528 0.06729 5.654 0.9994 0.01975 0.03412 1 1 0.007036 0.03244 0.06598 0.02976 0.1372 0.279 json
t14_x9_u4_b70 14 9 4 70 cil(lrg(pow(D,P),P)) 55085 114052897 o1(o2(o2(x,x),x)) true 99647 99647 0.7813 1 0.7813 0.1235 0.3515 0.000291 1 0.9997 1 2.124 0.03022 0 0.0555 1 1 0.00008984 0.05631 0.06193 0.02713 0.1647 2.967 0.9997 0.2446 0.4558 1 1 0.03318 0.1162 0.03299 0.2686 0.9402 0.267 json
t14_x9_u4_b71 14 9 4 71 cil(lrg(mod(D,P),P)) 55086 114052898 o1(o2(o2(x,x),x)) true 99655 99655 0.5313 0.5625 0.5313 0.2423 0.4922 0 1 1 1 1.326 0.0003529 0 0.003968 1 1 -4.731e-10 0.00001619 0.0009276 0.0003372 0.01836 4.628 0.1169 0.001457 0.00006684 1 1 0.0009255 0.01214 0.0751 0.00382 0.05012 0.31 json
t14_x9_u4_b72 14 9 4 72 cil(lrg(lrg(D,P),P)) 55087 114052899 o1(o2(o2(x,x),x)) true 99663 99663 0.5 0.5625 0.5 0.2365 0.4863 0 1 1 1 1.577 0.00467 0 0.0119 1 1 -4.731e-10 0.008068 0.009787 0.004528 0.06729 5.654 0.9994 0.01975 0.03412 1 1 0.007036 0.03244 0.06598 0.02976 0.1372 0.279 json
t14_x9_u4_b73 14 9 4 73 cil(lrg(eql(D,P),P)) 55088 114052900 o1(o2(o2(x,x),x)) true 99671 99671 0.4688 0.5 0.4688 0.2423 0.4922 0 1 1 1 1.326 0.0003529 0 0.003968 1 1 -4.731e-10 0.00001619 0.0009276 0.0003372 0.01836 4.628 0.1169 0.001457 0.00006684 1 1 0.0009255 0.01214 0.0751 0.00382 0.05012 0.31 json
t14_x9_u4_b74 14 9 4 74 cil(lrg(min(D,P),P)) 55089 114052901 o1(o2(o2(x,x),x)) true 99679 99679 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_x9_u4_b75 14 9 4 75 cil(lrg(dot(D,P),P)) 55090 114052902 o1(o2(o2(x,x),x)) true 99687 99687 0.4867 0.7279 0.4867 0.2105 0.4589 0 1 1 1 2.359 0.002924 0.01085 0.04134 -0.5756 1 0.000244 0.03742 0.05254 0.01207 0.1099 2.657 1.341 0.06544 0.1777 1 1 0.01445 0.05 0.07411 0.06863 0.2375 0.352 json
t14_x9_u4_b76 14 9 4 76 cil(lrg(dst(D,P),P)) 55091 114052903 o1(o2(o2(x,x),x)) true 99695 99695 0.9638 1 0.9638 0.02006 0.1416 0.000582 1 0.9994 1 0.7425 0.004706 0.001199 0.01509 0.5939 1 0.00003734 0.0154 0.0179 0.005672 0.07531 4.992 1.383 0.2943 0.7678 1 1 0.007138 0.02682 0.02248 0.3558 1.337 1.12 json
t14_x9_u4_b77 14 9 4 77 cil(eql(add(D,P),P)) 55092 114052904 o1(o2(o2(x,x),x)) true 99703 99703 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_x9_u4_b78 14 9 4 78 cil(eql(sub(D,P),P)) 55093 114052905 o1(o2(o2(x,x),x)) true 99711 99711 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_x9_u4_b79 14 9 4 79 cil(eql(mlt(D,P),P)) 55094 114052906 o1(o2(o2(x,x),x)) true 99719 99719 0.0625 0.125 0.0625 0.04507 0.2123 0 0.9997 0.9997 1 0.8126 0.0007059 0 0.007934 1 1 -9.461e-10 0.00003241 0.001855 0.0006433 0.02536 3.197 0.1169 0.01566 0.0007193 1 1 0.001851 0.02408 0.06598 0.04107 0.5344 1.464 json
t14_x9_u4_b80 14 9 4 80 cil(eql(div(D,P),P)) 55095 114052907 o1(o2(o2(x,x),x)) true 99727 99727 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_x9_u4_b81 14 9 4 81 cil(eql(pow(D,P),P)) 55096 114052908 o1(o2(o2(x,x),x)) true 99735 99735 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_x9_u4_b82 14 9 4 82 cil(eql(mod(D,P),P)) 55097 114052909 o1(o2(o2(x,x),x)) true 99743 99743 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_x9_u4_b83 14 9 4 83 cil(eql(lrg(D,P),P)) 55098 114052910 o1(o2(o2(x,x),x)) true 99751 99751 0.03125 0.0625 0.03125 0.02351 0.1533 0 0.9997 0.9997 1 0.459 0.004319 0 0.007934 1 1 -2.365e-10 0.008002 0.008862 0.004255 0.06523 8.221 0.9997 0.1837 0.3404 1 1 0.00615 0.02664 0.03299 0.2616 1.133 1.403 json
t14_x9_u4_b84 14 9 4 84 cil(eql(eql(D,P),P)) 55099 114052911 o1(o2(o2(x,x),x)) true 99759 99759 0.0625 0.125 0.0625 0.04507 0.2123 0 0.9997 0.9997 1 0.8126 0.0007059 0 0.007934 1 1 -9.461e-10 0.00003241 0.001855 0.0006433 0.02536 3.197 0.1169 0.01566 0.0007193 1 1 0.001851 0.02408 0.06598 0.04107 0.5344 1.464 json