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_x6_u4_b26 14 6 4 26 cil(mlt(pow(P,R),P)) 52500 113931650 o1(o2(o2(x,x),x)) true 78967 78967 -0.1016 0.4531 0.9922 0.9808 0.9903 -1 1 2 1 1.12 0.01294 0.003616 0.0101 0.5632 1 -1.765e-10 0.03388 0.01859 0.01646 0.1283 12.7 2.828 0.01688 0.03455 1 1 0.02269 0.09441 0.3825 0.02313 0.09626 0.39 json
t14_x6_u4_b27 14 6 4 27 cil(mlt(mod(P,R),P)) 52501 113931651 o1(o2(o2(x,x),x)) true 78975 78975 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_x6_u4_b28 14 6 4 28 cil(mlt(lrg(P,R),P)) 52502 113931652 o1(o2(o2(x,x),x)) true 78983 78983 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_x6_u4_b29 14 6 4 29 cil(mlt(eql(P,R),P)) 52503 113931653 o1(o2(o2(x,x),x)) true 78991 78991 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_x6_u4_b30 14 6 4 30 cil(mlt(min(P,R),P)) 52504 113931654 o1(o2(o2(x,x),x)) true 78999 78999 0.5405 0.8044 0.8228 0.4878 0.6984 -1 1 2 1 2.622 0.009004 0.009279 0.05332 -0.01507 1 -0.00004281 0.009595 0.02613 0.01545 0.1243 2.331 1.436 0.03748 0.01967 1 1 0.02504 0.2341 0.5442 0.05134 0.48 1.116 json
t14_x6_u4_b31 14 6 4 31 cil(mlt(dot(P,R),P)) 52505 113931655 o1(o2(o2(x,x),x)) true 79007 79007 0.1514 0.5969 0.9013 0.8563 0.9254 -1 1 2 1 2.132 0.0536 0.07066 0.1047 -0.1373 1 -0.000003183 0.2372 0.1402 0.1132 0.3365 3.214 2.828 0.1451 0.277 1 1 0.124 0.6868 1.376 0.1447 0.802 1.607 json
t14_x6_u4_b32 14 6 4 32 cil(mlt(dst(P,R),P)) 52506 113931656 o1(o2(o2(x,x),x)) true 79015 79015 0.00233 0.5 0.9635 0.9575 0.9785 -1 1 2 1 1.449 0.001883 0.0000693 0.008279 0.929 1 2.962e-7 0.0009308 0.005287 0.001884 0.0434 5.242 0.4706 0.002039 0.0009722 1 1 0.004251 0.03809 0.2786 0.00444 0.03978 0.291 json
t14_x6_u4_b33 14 6 4 33 cil(div(add(P,R),P)) 52507 113931657 o1(o2(o2(x,x),x)) true 79023 79023 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_x6_u4_b34 14 6 4 34 cil(div(sub(P,R),P)) 52508 113931658 o1(o2(o2(x,x),x)) true 79031 79031 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_x6_u4_b35 14 6 4 35 cil(div(mlt(P,R),P)) 52509 113931659 o1(o2(o2(x,x),x)) true 79039 79039 0.293 0.7953 0.543 0.3734 0.6111 -1 1 2 1 3.539 0.02346 0.002174 0.05751 0.8304 1 -6.988e-7 0.04394 0.0363 0.02233 0.1494 2.598 2 0.06865 0.1177 1 1 0.0347 0.1958 0.5929 0.09291 0.5244 1.588 json
t14_x6_u4_b36 14 6 4 36 cil(div(div(P,R),P)) 52510 113931660 o1(o2(o2(x,x),x)) true 79047 79047 -0.09497 0.4487 0.913 0.874 0.9349 -1 1 2 1 2.301 0.04714 0.0333 0.1055 0.1721 1 -0.00004975 0.1001 0.09451 0.06933 0.2633 2.495 2.828 0.09202 0.1146 1 1 0.1133 0.722 1.652 0.1296 0.826 1.89 json
t14_x6_u4_b37 14 6 4 37 cil(div(pow(P,R),P)) 52511 113931661 o1(o2(o2(x,x),x)) true 79055 79055 -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_x6_u4_b38 14 6 4 38 cil(div(mod(P,R),P)) 52512 113931662 o1(o2(o2(x,x),x)) true 79063 79063 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_x6_u4_b39 14 6 4 39 cil(div(lrg(P,R),P)) 52513 113931663 o1(o2(o2(x,x),x)) true 79071 79071 0.3125 0.4375 0.5625 0.4648 0.6818 -1 1 2 1 1.419 0.01984 0 0.0119 1 1 0 0.03968 0.02381 0.01969 0.1403 11.79 2 0.04268 0.08537 1 1 0.02632 0.1053 0.4211 0.05661 0.2264 0.9058 json
t14_x6_u4_b40 14 6 4 40 cil(div(eql(P,R),P)) 52514 113931664 o1(o2(o2(x,x),x)) true 79079 79079 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_x6_u4_b41 14 6 4 41 cil(div(min(P,R),P)) 52515 113931665 o1(o2(o2(x,x),x)) true 79087 79087 0.5078 0.8361 0.7578 0.4551 0.6746 -1 1 2 1 2.64 0.02802 0.001118 0.03807 0.9232 1 -0.00001853 0.05443 0.03461 0.02769 0.1664 4.371 2 0.06402 0.1196 1 1 0.0388 0.1852 0.6307 0.08524 0.407 1.386 json
t14_x6_u4_b42 14 6 4 42 cil(div(dot(P,R),P)) 52516 113931666 o1(o2(o2(x,x),x)) true 79095 79095 0.2268 0.6765 0.6777 0.5477 0.74 -1 1 2 1 3.87 0.03021 0.007891 0.08066 0.5858 1 -0.00003397 0.05396 0.04818 0.03159 0.1777 2.204 2.264 0.06957 0.09853 1 1 0.05491 0.3746 0.9739 0.1003 0.6839 1.778 json
t14_x6_u4_b43 14 6 4 43 cil(div(dst(P,R),P)) 52517 113931667 o1(o2(o2(x,x),x)) true 79103 79103 -0.08274 0.4375 0.9577 0.9404 0.9697 -1 1 2 1 1.571 0.01618 0.0003335 0.01365 0.9596 1 0.000005705 0.03208 0.01762 0.01633 0.1278 9.365 2 0.01756 0.03411 1 1 0.02234 0.09823 0.3898 0.02376 0.1045 0.4145 json
t14_x6_u4_b44 14 6 4 44 cil(pow(add(P,R),P)) 52518 113931668 o1(o2(o2(x,x),x)) true 79111 79111 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_x6_u4_b45 14 6 4 45 cil(pow(sub(P,R),P)) 52519 113931669 o1(o2(o2(x,x),x)) true 79119 79119 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_x6_u4_b46 14 6 4 46 cil(pow(mlt(P,R),P)) 52520 113931670 o1(o2(o2(x,x),x)) true 79127 79127 -0.8594 0.07031 1 0.2613 0.5112 -1 1 2 1 0.3671 0.02494 0.02293 0.02373 0.04211 1 0 0.1003 0.04787 0.04729 0.2175 9.163 2.828 0.1832 0.3838 1 1 0.0472 0.1941 0.57 0.1807 0.743 2.181 json
t14_x6_u4_b47 14 6 4 47 cil(pow(div(P,R),P)) 52521 113931671 o1(o2(o2(x,x),x)) true 79135 79135 -0.8594 0.07031 1 0.2613 0.5112 -1 1 2 1 0.3671 0.02494 0.02293 0.02373 0.04211 1 0 0.1003 0.04787 0.04729 0.2175 9.163 2.828 0.1832 0.3838 1 1 0.0472 0.1941 0.57 0.1807 0.743 2.181 json
t14_x6_u4_b48 14 6 4 48 cil(pow(pow(P,R),P)) 52522 113931672 o1(o2(o2(x,x),x)) true 79143 79143 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_x6_u4_b49 14 6 4 49 cil(pow(mod(P,R),P)) 52523 113931673 o1(o2(o2(x,x),x)) true 79151 79151 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_x6_u4_b50 14 6 4 50 cil(pow(lrg(P,R),P)) 52524 113931674 o1(o2(o2(x,x),x)) true 79159 79159 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_x6_u4_b51 14 6 4 51 cil(pow(eql(P,R),P)) 52525 113931675 o1(o2(o2(x,x),x)) true 79167 79167 -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_x6_u4_b52 14 6 4 52 cil(pow(min(P,R),P)) 52526 113931676 o1(o2(o2(x,x),x)) true 79175 79175 -0.9531 0.02344 1 0.09148 0.3025 -1 1 2 1 0.1603 0.01109 0.007811 0.009393 0.1733 1 0 0.03956 0.0189 0.01881 0.1371 14.6 2.828 0.2066 0.4324 1 1 0.01507 0.06294 0.1693 0.1647 0.688 1.851 json
t14_x6_u4_b53 14 6 4 53 cil(pow(dot(P,R),P)) 52527 113931677 o1(o2(o2(x,x),x)) true 79183 79183 -0.8516 0.07422 1 0.2749 0.5243 -1 1 2 1 0.3815 0.02897 0.01789 0.02332 0.2366 1 0 0.09776 0.04686 0.04629 0.2151 9.226 2.828 0.1705 0.3556 1 1 0.05335 0.2159 0.6116 0.1941 0.7854 2.225 json
t14_x6_u4_b54 14 6 4 54 cil(pow(dst(P,R),P)) 52528 113931678 o1(o2(o2(x,x),x)) true 79191 79191 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_x6_u4_b55 14 6 4 55 cil(mod(add(P,R),P)) 52529 113931679 o1(o2(o2(x,x),x)) true 79199 79199 0.03695 0.4375 0.838 0.8189 0.9049 -1 1 2 1 2.183 0.02159 0.0023 0.03153 0.8075 1 0.00006503 0.04153 0.03525 0.02289 0.1513 4.798 2 0.02918 0.05072 1 1 0.0328 0.1601 0.495 0.04005 0.1956 0.6045 json
t14_x6_u4_b56 14 6 4 56 cil(mod(sub(P,R),P)) 52530 113931680 o1(o2(o2(x,x),x)) true 79207 79207 0.03968 0.4375 0.8353 0.8127 0.9015 -1 1 2 1 2.264 0.02184 0.002486 0.03433 0.7956 1 0.000151 0.04167 0.03633 0.02316 0.1522 4.433 2 0.02994 0.05127 1 1 0.03293 0.1576 0.4878 0.04051 0.1939 0.6002 json
t14_x6_u4_b57 14 6 4 57 cil(mod(mlt(P,R),P)) 52531 113931681 o1(o2(o2(x,x),x)) true 79215 79215 -0.01005 0.502 0.814 0.7608 0.8723 -1 1 2 1 3.163 0.03619 0.01923 0.09946 0.306 1 -0.00008127 0.05986 0.07168 0.04555 0.2134 2.146 2 0.07285 0.07867 1 1 0.07493 0.5264 1.241 0.09849 0.6918 1.631 json
t14_x6_u4_b58 14 6 4 58 cil(mod(div(P,R),P)) 52532 113931682 o1(o2(o2(x,x),x)) true 79223 79223 0.0164 0.5201 0.7852 0.727 0.8526 -1 1 2 1 3.351 0.03331 0.01723 0.09834 0.318 1 0.000004026 0.05465 0.06679 0.04087 0.2022 2.056 2 0.06952 0.07517 1 1 0.06668 0.4824 1.271 0.09173 0.6636 1.749 json
t14_x6_u4_b59 14 6 4 59 cil(mod(pow(P,R),P)) 52533 113931683 o1(o2(o2(x,x),x)) true 79231 79231 -0.1517 0.4375 0.9733 0.9449 0.9721 -1 1 2 1 1.328 0.004462 0.00001631 0.008025 0.9927 1 -0.000002142 0.007954 0.009181 0.004411 0.06642 8.276 1.001 0.004739 0.008418 1 1 0.006557 0.04395 0.2931 0.00694 0.04652 0.3102 json
t14_x6_u4_b60 14 6 4 60 cil(mod(mod(P,R),P)) 52534 113931684 o1(o2(o2(x,x),x)) true 79239 79239 0.3125 0.4375 0.5625 0.4648 0.6818 -1 1 2 1 1.419 0.01984 0 0.0119 1 1 0 0.03968 0.02381 0.01969 0.1403 11.79 2 0.04268 0.08537 1 1 0.02632 0.1053 0.4211 0.05661 0.2264 0.9058 json
t14_x6_u4_b61 14 6 4 61 cil(mod(lrg(P,R),P)) 52535 113931685 o1(o2(o2(x,x),x)) true 79247 79247 0.2813 0.4375 0.5313 0.445 0.6671 -1 1 2 1 1.736 0.008292 0 0.0119 1 1 -9.386e-13 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_x6_u4_b62 14 6 4 62 cil(mod(eql(P,R),P)) 52536 113931686 o1(o2(o2(x,x),x)) true 79255 79255 -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_x6_u4_b63 14 6 4 63 cil(mod(min(P,R),P)) 52537 113931687 o1(o2(o2(x,x),x)) true 79263 79263 -0.18 0.3986 0.5706 0.4834 0.6953 -1 1 2 1 3.234 0.02018 0.001118 0.04915 0.895 1 0.0006104 0.03287 0.03773 0.01889 0.1374 2.797 2 0.04407 0.068 1 1 0.0297 0.1743 0.4173 0.06144 0.3606 0.8633 json
t14_x6_u4_b64 14 6 4 64 cil(mod(dot(P,R),P)) 52538 113931688 o1(o2(o2(x,x),x)) true 79271 79271 -0.01446 0.5119 0.7986 0.7437 0.8624 -1 1 2 1 3.246 0.03498 0.0164 0.09408 0.3616 1 -0.00006018 0.05799 0.06654 0.04253 0.2062 2.192 2 0.06908 0.07797 1 1 0.06466 0.4508 1.247 0.08694 0.6061 1.676 json
t14_x6_u4_b65 14 6 4 65 cil(mod(dst(P,R),P)) 52539 113931689 o1(o2(o2(x,x),x)) true 79279 79279 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_x6_u4_b66 14 6 4 66 cil(lrg(add(P,R),P)) 52540 113931690 o1(o2(o2(x,x),x)) true 79287 79287 0.4824 0.9147 0.4824 0.1537 0.3921 0 1 1 1 3.429 0.001972 0.002442 0.05168 -0.1065 1 -0.00001781 0.0002592 0.01257 0.001744 0.04176 0.8079 0.1169 0.02872 0.001686 1 1 0.008731 0.1124 0.2862 0.0568 0.7316 1.862 json
t14_x6_u4_b67 14 6 4 67 cil(lrg(sub(P,R),P)) 52541 113931691 o1(o2(o2(x,x),x)) true 79295 79295 0.5176 0.9429 0.5176 0.1537 0.3921 0 1 1 1 3.429 0.001972 0.002442 0.05168 -0.1065 1 0.00001781 0.0002592 0.01257 0.001744 0.04176 0.8079 0.1169 0.02872 0.001686 1 1 0.008731 0.1124 0.2862 0.0568 0.7316 1.862 json
t14_x6_u4_b68 14 6 4 68 cil(lrg(mlt(P,R),P)) 52542 113931692 o1(o2(o2(x,x),x)) true 79303 79303 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_x6_u4_b69 14 6 4 69 cil(lrg(div(P,R),P)) 52543 113931693 o1(o2(o2(x,x),x)) true 79311 79311 0.4434 0.8957 0.4434 0.1529 0.391 0 1 1 1 3.387 0.001991 0.002332 0.05065 -0.07892 1 -0.00003637 0.0002525 0.0123 0.001758 0.04193 0.8278 0.1169 0.02828 0.001651 1 1 0.008378 0.1079 0.2912 0.0548 0.7058 1.905 json
t14_x6_u4_b70 14 6 4 70 cil(lrg(pow(P,R),P)) 52544 113931694 o1(o2(o2(x,x),x)) true 79319 79319 0.5039 0.5456 0.5039 0.2412 0.4911 0 1 1 1 1.415 0.0003238 0.0001053 0.004981 0.5091 1 0.000005704 0.00002256 0.001187 0.0004044 0.02011 4.037 0.1169 0.001779 0.00009352 1 1 0.001146 0.01504 0.08976 0.004753 0.06234 0.3721 json
t14_x6_u4_b71 14 6 4 71 cil(lrg(mod(P,R),P)) 52545 113931695 o1(o2(o2(x,x),x)) true 79327 79327 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_x6_u4_b72 14 6 4 72 cil(lrg(lrg(P,R),P)) 52546 113931696 o1(o2(o2(x,x),x)) true 79335 79335 0.5039 0.5456 0.5039 0.2412 0.4911 0 1 1 1 1.415 0.0003238 0.0001053 0.004981 0.5091 1 0.000005704 0.00002256 0.001187 0.0004044 0.02011 4.037 0.1169 0.001779 0.00009352 1 1 0.001146 0.01504 0.08976 0.004753 0.06234 0.3721 json
t14_x6_u4_b73 14 6 4 73 cil(lrg(eql(P,R),P)) 52547 113931697 o1(o2(o2(x,x),x)) true 79343 79343 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_x6_u4_b74 14 6 4 74 cil(lrg(min(P,R),P)) 52548 113931698 o1(o2(o2(x,x),x)) true 79351 79351 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_x6_u4_b75 14 6 4 75 cil(lrg(dot(P,R),P)) 52549 113931699 o1(o2(o2(x,x),x)) true 79359 79359 0.4844 0.743 0.4844 0.1938 0.4403 0 1 1 1 2.732 0.001175 0.001382 0.03016 -0.08085 1 -0.00001711 0.0001519 0.00735 0.001647 0.04058 1.345 0.1169 0.01319 0.0007834 1 1 0.00525 0.06774 0.2002 0.02708 0.3495 1.033 json
t14_x6_u4_b76 14 6 4 76 cil(lrg(dst(P,R),P)) 52550 113931700 o1(o2(o2(x,x),x)) true 79367 79367 0.9414 0.9987 0.9414 0.04026 0.2006 8.471e-8 1 1 1 0.8457 0.0002966 0.0003752 0.007902 -0.117 1 -0.00001141 0.00004128 0.00194 0.0006089 0.02467 3.123 0.1169 0.01669 0.001025 1 1 0.001622 0.0212 0.07572 0.04029 0.5266 1.881 json
t14_x6_u4_b77 14 6 4 77 cil(eql(add(P,R),P)) 52551 113931701 o1(o2(o2(x,x),x)) true 79375 79375 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_x6_u4_b78 14 6 4 78 cil(eql(sub(P,R),P)) 52552 113931702 o1(o2(o2(x,x),x)) true 79383 79383 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_x6_u4_b79 14 6 4 79 cil(eql(mlt(P,R),P)) 52553 113931703 o1(o2(o2(x,x),x)) true 79391 79391 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_x6_u4_b80 14 6 4 80 cil(eql(div(P,R),P)) 52554 113931704 o1(o2(o2(x,x),x)) true 79399 79399 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_x6_u4_b81 14 6 4 81 cil(eql(pow(P,R),P)) 52555 113931705 o1(o2(o2(x,x),x)) true 79407 79407 0.08984 0.1628 0.08984 0.06626 0.2574 0 1 1 1 1.008 0.0006768 0.0001053 0.008948 0.7306 1 -0.000005705 0.00003877 0.002115 0.0007021 0.0265 2.961 0.1169 0.0118 0.0005851 1 1 0.002072 0.02707 0.115 0.03127 0.4086 1.736 json
t14_x6_u4_b82 14 6 4 82 cil(eql(mod(P,R),P)) 52556 113931706 o1(o2(o2(x,x),x)) true 79415 79415 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_x6_u4_b83 14 6 4 83 cil(eql(lrg(P,R),P)) 52557 113931707 o1(o2(o2(x,x),x)) true 79423 79423 0.08984 0.1628 0.08984 0.06626 0.2574 0 1 1 1 1.008 0.0006768 0.0001053 0.008948 0.7306 1 -0.000005705 0.00003877 0.002115 0.0007021 0.0265 2.961 0.1169 0.0118 0.0005851 1 1 0.002072 0.02707 0.115 0.03127 0.4086 1.736 json
t14_x6_u4_b84 14 6 4 84 cil(eql(eql(P,R),P)) 52558 113931708 o1(o2(o2(x,x),x)) true 79431 79431 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_x6_u4_b85 14 6 4 85 cil(eql(min(P,R),P)) 52559 113931709 o1(o2(o2(x,x),x)) true 79439 79439 0.4961 0.5378 0.4961 0.2412 0.4911 0 1 1 1 1.415 0.0003238 0.0001053 0.004981 0.5091 1 -0.000005705 0.00002256 0.001187 0.0004044 0.02011 4.037 0.1169 0.001779 0.00009352 1 1 0.001146 0.01504 0.08976 0.004753 0.06234 0.3721 json
t14_x6_u4_b86 14 6 4 86 cil(eql(dot(P,R),P)) 52560 113931710 o1(o2(o2(x,x),x)) true 79447 79447 0.003906 0.01477 0.003906 0.002383 0.04882 0 0.9994 0.9994 1 0.1068 0.00003512 0.00003512 0.0008419 7.252e-7 0 -5.638e-14 0.000004222 0.000206 0.00006942 0.008332 9.897 0.1169 0.02947 0.001772 1 1 0.0002443 0.003178 0.008708 0.1025 1.334 3.654 json
t14_x6_u4_b87 14 6 4 87 cil(eql(dst(P,R),P)) 52561 113931711 o1(o2(o2(x,x),x)) true 79455 79455 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_x6_u4_b88 14 6 4 88 cil(min(add(P,R),P)) 52562 113931712 o1(o2(o2(x,x),x)) true 79463 79463 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_x6_u4_b89 14 6 4 89 cil(min(sub(P,R),P)) 52563 113931713 o1(o2(o2(x,x),x)) true 79471 79471 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_x6_u4_b90 14 6 4 90 cil(min(mlt(P,R),P)) 52564 113931714 o1(o2(o2(x,x),x)) true 79479 79479 -0.397 0.3044 0.8228 0.6223 0.7889 -1 1 2 1 2.776 0.009004 0.009279 0.05332 -0.01507 1 -0.00004281 0.009595 0.02612 0.01545 0.1243 2.331 1.436 0.02938 0.01542 1 1 0.02504 0.2344 0.6325 0.04024 0.3766 1.016 json
t14_x6_u4_b91 14 6 4 91 cil(min(div(P,R),P)) 52565 113931715 o1(o2(o2(x,x),x)) true 79487 79487 -0.6286 0.177 0.9188 0.5043 0.7101 -1 1 2 1 1.708 0.02427 0.02861 0.05848 -0.082 1 -0.000009616 0.07833 0.0633 0.04945 0.2224 3.803 2.828 0.1048 0.1553 1 1 0.06435 0.3893 0.8069 0.1276 0.7719 1.6 json
t14_x6_u4_b92 14 6 4 92 cil(min(pow(P,R),P)) 52566 113931716 o1(o2(o2(x,x),x)) true 79495 79495 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_x6_u4_b93 14 6 4 93 cil(min(mod(P,R),P)) 52567 113931717 o1(o2(o2(x,x),x)) true 79503 79503 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_x6_u4_b94 14 6 4 94 cil(min(lrg(P,R),P)) 52568 113931718 o1(o2(o2(x,x),x)) true 79511 79511 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_x6_u4_b95 14 6 4 95 cil(min(eql(P,R),P)) 52569 113931719 o1(o2(o2(x,x),x)) true 79519 79519 -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_x6_u4_b96 14 6 4 96 cil(min(min(P,R),P)) 52570 113931720 o1(o2(o2(x,x),x)) true 79527 79527 -0.2539 0.455 0.6836 0.5618 0.7495 -1 1 2 1 3.143 0.001448 0.001206 0.031 0.09096 1 -0.00002424 0.0001549 0.007528 0.001693 0.04114 1.327 0.1169 0.004724 0.0002756 1 1 0.005382 0.07012 0.2678 0.00958 0.1248 0.4768 json
t14_x6_u4_b97 14 6 4 97 cil(min(dot(P,R),P)) 52571 113931721 o1(o2(o2(x,x),x)) true 79535 79535 -0.4625 0.2743 0.9012 0.6596 0.8122 -1 1 2 1 2.129 0.01025 0.01287 0.04993 -0.1134 1 0.00001498 0.01566 0.03113 0.02063 0.1436 2.876 1.665 0.03506 0.02375 1 1 0.03028 0.2596 0.7731 0.04591 0.3935 1.172 json
t14_x6_u4_b98 14 6 4 98 cil(min(dst(P,R),P)) 52572 113931722 o1(o2(o2(x,x),x)) true 79543 79543 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_x6_u4_b99 14 6 4 99 cil(dot(add(P,R),P)) 52573 113931723 o1(o2(o2(x,x),x)) true 79551 79551 0.9979 1 0.9979 0.001411 0.03757 0.0008732 1 0.9991 1 0.05097 0.00004059 0.00006227 0.0006364 -0.2107 1 -1.502e-11 0.00003514 0.0003436 0.0001025 0.01012 15.91 0.2611 0.07289 0.0249 1 1 0.0003387 0.00316 0.005133 0.24 2.239 3.637 json
t14_x6_u4_b100 14 6 4 100 cil(dot(sub(P,R),P)) 52574 113931724 o1(o2(o2(x,x),x)) true 79559 79559 0.9972 1 0.9972 0.001884 0.04341 0.0005822 1 0.9994 1 0.07127 0.00005929 0.00003905 0.0007438 0.2058 0 3.191e-11 0.00002882 0.0003263 0.00009775 0.009887 13.29 0.2407 0.0522 0.0153 1 1 0.0003289 0.003426 0.006871 0.1746 1.818 3.647 json
t14_x6_u4_b101 14 6 4 101 cil(dot(mlt(P,R),P)) 52575 113931725 o1(o2(o2(x,x),x)) true 79567 79567 0.1105 0.5611 0.9478 0.9211 0.9597 -1 1 2 1 1.777 0.07418 0.08361 0.1143 -0.05978 1 -0.0000192 0.3302 0.1726 0.1448 0.3805 3.328 2.828 0.1713 0.3585 1 1 0.1522 0.8073 1.68 0.1652 0.8765 1.823 json
t14_x6_u4_b102 14 6 4 102 cil(dot(div(P,R),P)) 52576 113931726 o1(o2(o2(x,x),x)) true 79575 79575 0.06917 0.5344 0.9918 0.985 0.9925 -1 1 2 1 1.165 0.1053 0.1175 0.1157 -0.05505 1 0.00005797 0.5853 0.228 0.2095 0.4577 3.956 2.828 0.2262 0.5942 1 1 0.2066 0.8741 2.009 0.2098 0.8874 2.04 json
t14_x6_u4_b103 14 6 4 103 cil(dot(pow(P,R),P)) 52577 113931727 o1(o2(o2(x,x),x)) true 79583 79583 -0.5859 0.207 1 0.6568 0.8105 -1 1 2 1 0.7358 0.01096 0.008944 0.009915 0.1013 1 0 0.04119 0.0199 0.01982 0.1408 14.2 2.828 0.0303 0.06272 1 1 0.02637 0.1055 0.3785 0.04015 0.1606 0.5763 json
t14_x6_u4_b104 14 6 4 104 cil(dot(mod(P,R),P)) 52578 113931728 o1(o2(o2(x,x),x)) true 79591 79591 0.9961 1 0.9961 0.002383 0.04882 0.000582 1 0.9994 1 0.1068 0.00003512 0.00003512 0.0008419 6.216e-7 0 -1.577e-10 0.000004222 0.000206 0.00006942 0.008332 9.897 0.1169 0.02947 0.001772 1 1 0.0002443 0.003178 0.008708 0.1025 1.334 3.654 json
t14_x6_u4_b105 14 6 4 105 cil(dot(lrg(P,R),P)) 52579 113931729 o1(o2(o2(x,x),x)) true 79599 79599 0.7179 0.75 0.7179 0.1953 0.4419 0 1 1 1 1.194 0.0001877 0.0001877 0.004161 0.000001047 1 -5.744e-10 0.00002276 0.0009958 0.0003579 0.01892 4.547 0.1653 0.001922 0.0001166 1 1 0.001001 0.01303 0.08014 0.005127 0.06671 0.4104 json
t14_x6_u4_b106 14 6 4 106 cil(dot(eql(P,R),P)) 52580 113931730 o1(o2(o2(x,x),x)) true 79607 79607 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_x6_u4_b107 14 6 4 107 cil(dot(min(P,R),P)) 52581 113931731 o1(o2(o2(x,x),x)) true 79615 79615 0.7657 0.8898 0.9509 0.3506 0.5921 -1 1 2 1 1.227 0.007648 0.008786 0.03144 -0.06924 1 -0.000005133 0.01207 0.0221 0.01544 0.1243 3.953 1.469 0.04687 0.03443 1 1 0.0188 0.1565 0.4047 0.05364 0.4463 1.154 json
t14_x6_u4_b108 14 6 4 108 cil(dot(dot(P,R),P)) 52582 113931732 o1(o2(o2(x,x),x)) true 79623 79623 0.1454 0.5751 0.9104 0.8698 0.9326 -1 1 2 1 2.07 0.05859 0.07334 0.1031 -0.1118 1 -0.00008252 0.2758 0.1478 0.1214 0.3484 3.377 2.828 0.1517 0.3171 1 1 0.126 0.675 1.597 0.1448 0.776 1.836 json
t14_x6_u4_b109 14 6 4 109 cil(dot(dst(P,R),P)) 52583 113931733 o1(o2(o2(x,x),x)) true 79631 79631 0.009058 0.5046 0.9735 0.9672 0.9834 -1 1 2 1 1.393 0.003097 0.003116 0.01225 -0.003004 1 -0.000001919 0.006306 0.009474 0.006066 0.07788 6.359 1.799 0.006424 0.00652 1 1 0.01178 0.09299 0.5152 0.01218 0.09615 0.5327 json
t14_x6_u4_b110 14 6 4 110 cil(dst(add(P,R),P)) 52584 113931734 o1(o2(o2(x,x),x)) true 79639 79639 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_x6_u4_b111 14 6 4 111 cil(dst(sub(P,R),P)) 52585 113931735 o1(o2(o2(x,x),x)) true 79647 79647 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_x6_u4_b112 14 6 4 112 cil(dst(mlt(P,R),P)) 52586 113931736 o1(o2(o2(x,x),x)) true 79655 79655 0.9978 1 0.9978 0.001459 0.0382 0.000873 1 0.9991 1 0.05612 0.00005846 0.00003821 0.0006499 0.2094 0 -3.191e-11 0.00002623 0.0003143 0.00009628 0.009812 15.1 0.2266 0.06626 0.01798 1 1 0.0003215 0.003122 0.00531 0.2203 2.14 3.639 json
t14_x6_u4_b113 14 6 4 113 cil(dst(div(P,R),P)) 52587 113931737 o1(o2(o2(x,x),x)) true 79663 79663 0.9991 1 0.9991 0.0006591 0.02567 0.001746 1 0.9983 1 0.02216 0.00006916 0.00005102 0.0004295 0.151 1 2.816e-11 0.00009444 0.0003847 0.0001199 0.01095 25.49 0.4614 0.1824 0.1433 1 1 0.0003564 0.002184 0.002397 0.5408 3.314 3.638 json
t14_x6_u4_b114 14 6 4 114 cil(dst(pow(P,R),P)) 52588 113931738 o1(o2(o2(x,x),x)) true 79671 79671 -0.9688 0.01563 1 0.06152 0.248 -1 1 2 1 0.1161 0.006047 0.008062 0.006999 -0.1429 1 0 0.02973 0.01411 0.01406 0.1186 16.94 2.828 0.2293 0.4832 1 1 0.009695 0.04659 0.07003 0.1576 0.7573 1.138 json
t14_x6_u4_b115 14 6 4 115 cil(dst(mod(P,R),P)) 52589 113931739 o1(o2(o2(x,x),x)) true 79679 79679 0.9967 1 0.9967 0.002206 0.04697 0.0005821 1 0.9994 1 0.08493 0.00004482 0.00004482 0.0007972 -5.682e-7 0 -1.502e-11 0.00002627 0.0002729 0.00008892 0.00943 11.83 0.1653 0.04063 0.01191 1 1 0.0003021 0.00348 0.008043 0.1369 1.578 3.646 json
t14_x6_u4_b116 14 6 4 116 cil(dst(lrg(P,R),P)) 52590 113931740 o1(o2(o2(x,x),x)) true 79687 79687 0.9978 1 0.9978 0.001471 0.03836 0.000873 1 0.9991 1 0.05828 0.00005744 0.00003773 0.0006505 0.2071 0 -1.126e-10 0.00002478 0.000308 0.00009476 0.009735 14.96 0.2278 0.06468 0.01684 1 1 0.0003172 0.003103 0.005356 0.2156 2.109 3.64 json
t14_x6_u4_b117 14 6 4 117 cil(dst(eql(P,R),P)) 52591 113931741 o1(o2(o2(x,x),x)) true 79695 79695 0.9967 1 0.9967 0.002206 0.04697 0.0005821 1 0.9994 1 0.08493 0.00004482 0.00004482 0.0007972 -5.682e-7 0 -1.502e-11 0.00002627 0.0002729 0.00008892 0.00943 11.83 0.1653 0.04063 0.01191 1 1 0.0003021 0.00348 0.008043 0.1369 1.578 3.646 json
t14_x6_u4_b118 14 6 4 118 cil(dst(min(P,R),P)) 52592 113931742 o1(o2(o2(x,x),x)) true 79703 79703 0.8789 0.9933 0.8789 0.07886 0.2808 0 1 1 1 1.429 0.0006105 0.0007497 0.01508 -0.1023 1 0.000003565 0.000123 0.003916 0.001134 0.03367 2.232 0.2265 0.01725 0.001559 1 1 0.003139 0.03878 0.08175 0.03981 0.4918 1.037 json
t14_x6_u4_b119 14 6 4 119 cil(dst(dot(P,R),P)) 52593 113931743 o1(o2(o2(x,x),x)) true 79711 79711 0.9979 1 0.9979 0.001423 0.03772 0.0008731 1 0.9991 1 0.05191 0.00006135 0.00004025 0.000638 0.2076 1 5.632e-12 0.00003379 0.0003356 0.0001012 0.01006 15.77 0.2333 0.07142 0.02375 1 1 0.000335 0.003153 0.005175 0.2355 2.216 3.638 json
t14_x6_u4_b120 14 6 4 120 cil(dst(dst(P,R),P)) 52594 113931744 o1(o2(o2(x,x),x)) true 79719 79719 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_x6_u5_b0 14 6 5 0 sgn(add(add(P,R),P)) 52595 113931825 o1(o2(o2(x,x),x)) true 79727 79727 -0.007813 0.4961 0.9749 0.9649 0.9823 -1 1 2 1 1.475 0.001295 0.0004214 0.009963 0.5091 1 -0.00001141 0.00009024 0.002375 0.001617 0.04022 4.037 0.2338 0.001779 0.00009352 1 1 0.004586 0.06015 0.359 0.004753 0.06234 0.3721 json
t14_x6_u5_b1 14 6 5 1 sgn(add(sub(P,R),P)) 52596 113931826 o1(o2(o2(x,x),x)) true 79735 79735 0.007813 0.5039 0.9749 0.9649 0.9823 -1 1 2 1 1.475 0.001295 0.0004214 0.009962 0.5091 1 0.00001141 0.00009024 0.002375 0.001617 0.04022 4.037 0.2338 0.001779 0.00009352 1 1 0.004586 0.06015 0.359 0.004753 0.06234 0.3721 json
t14_x6_u5_b2 14 6 5 2 sgn(add(mlt(P,R),P)) 52597 113931827 o1(o2(o2(x,x),x)) true 79743 79743 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_x6_u5_b3 14 6 5 3 sgn(add(div(P,R),P)) 52598 113931828 o1(o2(o2(x,x),x)) true 79751 79751 -0.05078 0.4741 0.6828 0.5746 0.758 -1 1 2 1 4.18 0.007168 0.009328 0.09975 -0.1309 1 -0.00007274 0.0009734 0.02421 0.006547 0.08091 0.8112 0.2338 0.02871 0.001694 1 1 0.03152 0.4058 1.101 0.05486 0.7063 1.916 json
t14_x6_u5_b4 14 6 5 4 sgn(add(pow(P,R),P)) 52599 113931829 o1(o2(o2(x,x),x)) true 79759 79759 0.03516 0.5198 0.9611 0.9479 0.9736 -1 1 2 1 1.637 0.001069 0.0001053 0.008778 0.8206 1 0.000005704 0.00005667 0.002005 0.001097 0.03312 3.773 0.2338 0.001239 0.00005978 1 1 0.003075 0.04044 0.2848 0.003244 0.04266 0.3005 json