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_x24_u3_b101 14 24 3 101 flr(dot(mlt(R,R),P)) 67700 114658742 o1(o2(o2(x,x),x)) true 29607 29607 -0.195 0.4137 0.8453 0.7733 0.8794 -1 1 2 1 2.646 0.00519 0.006467 0.04174 -0.1096 1 -0.00007468 0.004769 0.02066 0.009915 0.09957 2.385 1.169 0.01507 0.006168 1 1 0.01787 0.1796 0.5571 0.0231 0.2323 0.7205 json
t14_x24_u3_b102 14 24 3 102 flr(dot(div(R,R),P)) 67701 114658743 o1(o2(o2(x,x),x)) true 29615 29615 -0.02751 0.4831 0.9341 0.9171 0.9577 -1 1 2 1 1.899 0.0008844 0.0008348 0.01246 0.02884 1 0.0000066 0.0002834 0.003762 0.001563 0.03954 3.174 0.2678 0.001874 0.000309 1 1 0.004453 0.05272 0.4099 0.004855 0.05748 0.4469 json
t14_x24_u3_b103 14 24 3 103 flr(dot(pow(R,R),P)) 67702 114658744 o1(o2(o2(x,x),x)) true 29623 29623 -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_x24_u3_b104 14 24 3 104 flr(dot(mod(R,R),P)) 67703 114658745 o1(o2(o2(x,x),x)) true 29631 29631 -0.1176 0.2438 0.382 0.3132 0.5596 -1 1 2 1 3.539 0.006389 0.007887 0.05909 -0.1049 1 0.00008094 0.006453 0.02842 0.01078 0.1038 1.757 1.402 0.04558 0.0206 1 1 0.01792 0.1782 0.5781 0.05721 0.5691 1.846 json
t14_x24_u3_b105 14 24 3 105 flr(dot(lrg(R,R),P)) 67704 114658746 o1(o2(o2(x,x),x)) true 29639 29639 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_x24_u3_b106 14 24 3 106 flr(dot(eql(R,R),P)) 67705 114658747 o1(o2(o2(x,x),x)) true 29647 29647 -1.583e-8 0.498 0.9392 0.9217 0.96 -1 1 2 1 1.917 0.0006889 0.0006889 0.01208 4.225e-7 1 -1.164e-10 0.0002289 0.003184 0.001231 0.03509 2.904 0.1653 0.001495 0.0002483 1 1 0.003512 0.04405 0.4161 0.003811 0.04779 0.4514 json
t14_x24_u3_b107 14 24 3 107 flr(dot(min(R,R),P)) 67706 114658748 o1(o2(o2(x,x),x)) true 29655 29655 -0.2276 0.372 0.8476 0.755 0.8689 -1 1 2 1 2.766 0.025 0.03234 0.1003 -0.1281 1 0.00009661 0.04594 0.07343 0.04726 0.2174 2.168 1.87 0.07594 0.06084 1 1 0.07293 0.5698 1.388 0.0966 0.7548 1.838 json
t14_x24_u3_b108 14 24 3 108 flr(dot(dot(R,R),P)) 67707 114658749 o1(o2(o2(x,x),x)) true 29663 29663 -0.04661 0.4741 0.9129 0.8939 0.9455 -1 1 2 1 2.002 0.0009991 0.001072 0.01378 -0.03501 1 -0.00001052 0.0005729 0.005395 0.001881 0.04337 3.149 0.5466 0.002316 0.0006408 1 1 0.005253 0.05613 0.3741 0.005876 0.06279 0.4185 json
t14_x24_u3_b109 14 24 3 109 flr(dot(dst(R,R),P)) 67708 114658750 o1(o2(o2(x,x),x)) true 29671 29671 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_x24_u3_b110 14 24 3 110 flr(dst(add(R,R),P)) 67709 114658751 o1(o2(o2(x,x),x)) true 29679 29679 0.9982 1 0.9982 0.001216 0.03487 0.001164 1 0.9988 1 0.04443 0.00003306 0.00007823 0.0005956 -0.4058 1 3.754e-12 0.00004909 0.0003628 0.000111 0.01054 17.69 0.3083 0.09155 0.04038 1 1 0.0003547 0.00298 0.004431 0.2918 2.451 3.645 json
t14_x24_u3_b111 14 24 3 111 flr(dst(sub(R,R),P)) 67710 114658752 o1(o2(o2(x,x),x)) true 29687 29687 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_x24_u3_b112 14 24 3 112 flr(dst(mlt(R,R),P)) 67711 114658753 o1(o2(o2(x,x),x)) true 29695 29695 0.9886 0.9998 0.9886 0.008385 0.09157 8.471e-8 1 1 1 0.2173 0.00007993 0.00007993 0.001741 -4.096e-7 1 -1.652e-10 0.00001941 0.0004602 0.0001568 0.01252 7.193 0.1653 0.01907 0.002315 1 1 0.0005512 0.006986 0.02971 0.06573 0.8332 3.543 json
t14_x24_u3_b113 14 24 3 113 flr(dst(div(R,R),P)) 67712 114658754 o1(o2(o2(x,x),x)) true 29703 29703 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_x24_u3_b114 14 24 3 114 flr(dst(pow(R,R),P)) 67713 114658755 o1(o2(o2(x,x),x)) true 29711 29711 -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_x24_u3_b115 14 24 3 115 flr(dst(mod(R,R),P)) 67714 114658756 o1(o2(o2(x,x),x)) true 29719 29719 0.9929 1 0.9929 0.005047 0.07105 0.000291 1 0.9997 1 0.1504 0.00007667 0.00005262 0.001273 0.186 1 -1.877e-10 0.00001731 0.0003811 0.0001278 0.0113 8.881 0.2265 0.02561 0.003429 1 1 0.0004424 0.005302 0.01835 0.08764 1.05 3.635 json
t14_x24_u3_b116 14 24 3 116 flr(dst(lrg(R,R),P)) 67715 114658757 o1(o2(o2(x,x),x)) true 29727 29727 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_x24_u3_b117 14 24 3 117 flr(dst(eql(R,R),P)) 67716 114658758 o1(o2(o2(x,x),x)) true 29735 29735 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_x24_u3_b118 14 24 3 118 flr(dst(min(R,R),P)) 67717 114658759 o1(o2(o2(x,x),x)) true 29743 29743 0.9883 1 0.9883 0.008047 0.08971 0.000291 1 0.9997 1 0.2363 0.000133 0.00019 0.002537 -0.1766 1 -1.389e-10 0.00008177 0.001006 0.0003163 0.01778 7.009 0.3082 0.04014 0.01016 1 1 0.001079 0.0114 0.02592 0.1341 1.417 3.221 json
t14_x24_u3_b119 14 24 3 119 flr(dst(dot(R,R),P)) 67718 114658760 o1(o2(o2(x,x),x)) true 29751 29751 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_x24_u3_b120 14 24 3 120 flr(dst(dst(R,R),P)) 67719 114658761 o1(o2(o2(x,x),x)) true 29759 29759 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_x24_u4_b0 14 24 4 0 cil(add(add(R,R),P)) 67720 114658842 o1(o2(o2(x,x),x)) true 29767 29767 0.06494 0.5281 0.9412 0.9225 0.9604 -1 1 2 1 1.82 0.002114 0.001376 0.01634 0.2114 1 -0.00004179 0.0007862 0.006069 0.00322 0.05675 3.473 0.4531 0.003783 0.0008523 1 1 0.007995 0.08759 0.3426 0.008667 0.09496 0.3714 json
t14_x24_u4_b1 14 24 4 1 cil(add(sub(R,R),P)) 67721 114658843 o1(o2(o2(x,x),x)) true 29775 29775 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_x24_u4_b2 14 24 4 2 cil(add(mlt(R,R),P)) 67722 114658844 o1(o2(o2(x,x),x)) true 29783 29783 0.125 0.5625 0.9375 0.9084 0.9531 -1 1 2 1 1.8 0.0007059 0 0.007937 1 1 0 0.00003235 0.001851 0.0006432 0.02536 3.195 0.1169 0.0007771 0.00003562 1 1 0.001851 0.02449 0.2344 0.002038 0.02696 0.2581 json
t14_x24_u4_b3 14 24 4 3 cil(add(div(R,R),P)) 67723 114658845 o1(o2(o2(x,x),x)) true 29791 29791 0.1477 0.5758 0.947 0.9113 0.9546 -1 1 2 1 1.773 0.0008829 0.0001675 0.009298 0.6812 1 0.000005704 0.00006385 0.002205 0.0009643 0.03105 3.34 0.2338 0.001153 0.00007006 1 1 0.002513 0.03281 0.2495 0.002758 0.036 0.2738 json
t14_x24_u4_b4 14 24 4 4 cil(add(pow(R,R),P)) 67724 114658846 o1(o2(o2(x,x),x)) true 29799 29799 -0.9746 0.01172 0.9941 0.04301 0.2074 -1 1 2 1 0.189 0.002839 0.005182 0.005361 -0.2922 1 -1.802e-10 0.01655 0.009482 0.007993 0.0894 16.68 2.828 0.1865 0.3849 1 1 0.002799 0.01579 0.04707 0.06509 0.3672 1.094 json
t14_x24_u4_b5 14 24 4 5 cil(add(mod(R,R),P)) 67725 114658847 o1(o2(o2(x,x),x)) true 29807 29807 0.02734 0.5112 0.9359 0.9211 0.9597 -1 1 2 1 1.837 0.0008443 0.0001555 0.009093 0.689 1 -0.00001141 0.0001118 0.002469 0.0009174 0.03029 3.331 0.2338 0.001085 0.0001214 1 1 0.002463 0.03053 0.2535 0.002674 0.03315 0.2752 json
t14_x24_u4_b6 14 24 4 6 cil(add(lrg(R,R),P)) 67726 114658848 o1(o2(o2(x,x),x)) true 29815 29815 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_x24_u4_b7 14 24 4 7 cil(add(eql(R,R),P)) 67727 114658849 o1(o2(o2(x,x),x)) true 29823 29823 0.125 0.5625 0.9375 0.9084 0.9531 -1 1 2 1 1.8 0.0007059 0 0.007937 1 1 0 0.00003235 0.001851 0.0006432 0.02536 3.195 0.1169 0.0007771 0.00003562 1 1 0.001851 0.02449 0.2344 0.002038 0.02696 0.2581 json
t14_x24_u4_b8 14 24 4 8 cil(add(min(R,R),P)) 67728 114658850 o1(o2(o2(x,x),x)) true 29831 29831 0.06347 0.5253 0.9326 0.9159 0.9571 -1 1 2 1 1.84 0.0009772 0.0002573 0.009837 0.5831 1 -0.00001925 0.0001771 0.002995 0.001138 0.03373 3.429 0.2338 0.001348 0.0001934 1 1 0.003184 0.03819 0.2638 0.003476 0.0417 0.288 json
t14_x24_u4_b9 14 24 4 9 cil(add(dot(R,R),P)) 67729 114658851 o1(o2(o2(x,x),x)) true 29839 29839 0.2025 0.602 0.9365 0.8811 0.9387 -1 1 2 1 1.824 0.0009228 0.0002899 0.01018 0.5219 1 -0.000003565 0.0001403 0.002822 0.001109 0.0333 3.271 0.2338 0.001376 0.0001592 1 1 0.003042 0.03691 0.2425 0.003453 0.04189 0.2753 json
t14_x24_u4_b10 14 24 4 10 cil(add(dst(R,R),P)) 67730 114658852 o1(o2(o2(x,x),x)) true 29847 29847 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_x24_u4_b11 14 24 4 11 cil(sub(add(R,R),P)) 67731 114658853 o1(o2(o2(x,x),x)) true 29855 29855 0.06905 0.5343 0.9397 0.9177 0.958 -1 1 2 1 1.9 0.002311 0.00153 0.01878 0.2033 1 -0.00003353 0.000804 0.0066 0.003487 0.05905 3.144 0.453 0.004185 0.0008761 1 1 0.009054 0.09938 0.3242 0.009866 0.1083 0.3533 json
t14_x24_u4_b12 14 24 4 12 cil(sub(sub(R,R),P)) 67732 114658854 o1(o2(o2(x,x),x)) true 29863 29863 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_x24_u4_b13 14 24 4 13 cil(sub(mlt(R,R),P)) 67733 114658855 o1(o2(o2(x,x),x)) true 29871 29871 0.125 0.5625 0.9375 0.9084 0.9531 -1 1 2 1 1.8 0.0007059 0 0.007937 1 1 0 0.00003235 0.001851 0.0006432 0.02536 3.195 0.1169 0.0007771 0.00003562 1 1 0.001851 0.02449 0.2344 0.002038 0.02696 0.2581 json
t14_x24_u4_b14 14 24 4 14 cil(sub(div(R,R),P)) 67734 114658856 o1(o2(o2(x,x),x)) true 29879 29879 0.1561 0.578 0.9431 0.9042 0.9509 -1 1 2 1 1.8 0.0008865 0.0002136 0.009606 0.6117 1 -2.351e-10 0.00008856 0.002448 0.001007 0.03174 3.304 0.2338 0.001217 0.00009794 1 1 0.002785 0.03541 0.2479 0.00308 0.03917 0.2742 json
t14_x24_u4_b15 14 24 4 15 cil(sub(pow(R,R),P)) 67735 114658857 o1(o2(o2(x,x),x)) true 29887 29887 -0.9238 0.03906 0.998 0.1442 0.3798 -1 1 2 1 0.2644 0.01514 0.0138 0.01487 0.04619 1 3.004e-11 0.06043 0.02953 0.02874 0.1695 11.4 2.828 0.2007 0.419 1 1 0.02507 0.107 0.2567 0.1739 0.7422 1.78 json
t14_x24_u4_b16 14 24 4 16 cil(sub(mod(R,R),P)) 67736 114658858 o1(o2(o2(x,x),x)) true 29895 29895 0.02301 0.5073 0.9371 0.9228 0.9606 -1 1 2 1 1.829 0.0008852 0.0001688 0.009228 0.6797 1 -0.00001141 0.0001072 0.002521 0.0009684 0.03112 3.372 0.2338 0.001142 0.0001162 1 1 0.002621 0.03279 0.2488 0.002841 0.03554 0.2696 json
t14_x24_u4_b17 14 24 4 17 cil(sub(lrg(R,R),P)) 67737 114658859 o1(o2(o2(x,x),x)) true 29903 29903 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_x24_u4_b18 14 24 4 18 cil(sub(eql(R,R),P)) 67738 114658860 o1(o2(o2(x,x),x)) true 29911 29911 0.125 0.5625 0.9375 0.9084 0.9531 -1 1 2 1 1.8 0.0007059 0 0.007937 1 1 0 0.00003235 0.001851 0.0006432 0.02536 3.195 0.1169 0.0007771 0.00003562 1 1 0.001851 0.02449 0.2344 0.002038 0.02696 0.2581 json
t14_x24_u4_b19 14 24 4 19 cil(sub(min(R,R),P)) 67739 114658861 o1(o2(o2(x,x),x)) true 29919 29919 0.06541 0.5222 0.9287 0.9116 0.9548 -1 1 2 1 1.859 0.0009844 0.0002879 0.01003 0.5475 1 -0.00001926 0.0001808 0.003033 0.001171 0.03422 3.413 0.2338 0.001396 0.0001983 1 1 0.00338 0.04008 0.2523 0.003707 0.04397 0.2768 json
t14_x24_u4_b20 14 24 4 20 cil(sub(dot(R,R),P)) 67740 114658862 o1(o2(o2(x,x),x)) true 29927 29927 0.1944 0.5963 0.9458 0.893 0.945 -1 1 2 1 1.783 0.001069 0.0003675 0.01098 0.4885 1 -0.000005704 0.0001655 0.00307 0.001317 0.03629 3.305 0.3082 0.001609 0.0001853 1 1 0.003813 0.04701 0.289 0.00427 0.05264 0.3236 json
t14_x24_u4_b21 14 24 4 21 cil(sub(dst(R,R),P)) 67741 114658863 o1(o2(o2(x,x),x)) true 29935 29935 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_x24_u4_b22 14 24 4 22 cil(mlt(add(R,R),P)) 67742 114658864 o1(o2(o2(x,x),x)) true 29943 29943 0.05422 0.534 0.833 0.7901 0.8889 -1 1 2 1 2.848 0.02979 0.03691 0.1016 -0.1067 1 -0.00007134 0.06934 0.08321 0.05637 0.2374 2.337 2.196 0.08442 0.08777 1 1 0.08856 0.6182 1.328 0.1121 0.7825 1.681 json
t14_x24_u4_b23 14 24 4 23 cil(mlt(sub(R,R),P)) 67743 114658865 o1(o2(o2(x,x),x)) true 29951 29951 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_x24_u4_b24 14 24 4 24 cil(mlt(mlt(R,R),P)) 67744 114658866 o1(o2(o2(x,x),x)) true 29959 29959 0.2271 0.5 0.7104 0.627 0.7918 -1 1 2 1 2.824 0.001706 0.001732 0.02396 -0.00747 1 0.0001279 0.001103 0.009836 0.002865 0.05352 2.234 0.4135 0.005483 0.00176 1 1 0.00506 0.05544 0.1927 0.00807 0.08841 0.3074 json
t14_x24_u4_b25 14 24 4 25 cil(mlt(div(R,R),P)) 67745 114658867 o1(o2(o2(x,x),x)) true 29967 29967 0.02046 0.5 0.917 0.9029 0.9502 -1 1 2 1 1.932 0.0007562 0.0001058 0.008805 0.7545 1 -0.000003562 0.00008857 0.00237 0.0007844 0.02801 3.181 0.2265 0.0009548 0.0000981 1 1 0.002232 0.02778 0.2142 0.002472 0.03077 0.2373 json
t14_x24_u4_b26 14 24 4 26 cil(mlt(pow(R,R),P)) 67746 114658868 o1(o2(o2(x,x),x)) true 29975 29975 -0.9785 0.007813 0.9902 0.03148 0.1774 -1 1 2 1 0.1945 0.002838 0.00367 0.004857 -0.1279 1 -5.632e-11 0.01354 0.008477 0.006487 0.08054 16.58 2.828 0.2067 0.4301 1 1 0.002135 0.01114 0.03644 0.06781 0.3538 1.157 json
t14_x24_u4_b27 14 24 4 27 cil(mlt(mod(R,R),P)) 67747 114658869 o1(o2(o2(x,x),x)) true 29983 29983 0.1076 0.3248 0.1856 0.1393 0.3733 -1 1 2 1 2.215 0.002715 0.00282 0.03059 -0.01885 1 -0.00002768 0.00188 0.01298 0.004599 0.06781 2.217 0.838 0.03973 0.01349 1 1 0.01015 0.1004 0.2508 0.07283 0.721 1.8 json
t14_x24_u4_b28 14 24 4 28 cil(mlt(lrg(R,R),P)) 67748 114658870 o1(o2(o2(x,x),x)) true 29991 29991 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_x24_u4_b29 14 24 4 29 cil(mlt(eql(R,R),P)) 67749 114658871 o1(o2(o2(x,x),x)) true 29999 29999 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_x24_u4_b30 14 24 4 30 cil(mlt(min(R,R),P)) 67750 114658872 o1(o2(o2(x,x),x)) true 30007 30007 0.1481 0.5997 0.7222 0.6371 0.7982 -1 1 2 1 3.558 0.01642 0.01939 0.09317 -0.08289 1 -0.00008127 0.01959 0.04883 0.02713 0.1647 1.768 1.436 0.05621 0.03075 1 1 0.04994 0.4435 0.9858 0.07838 0.696 1.547 json
t14_x24_u4_b31 14 24 4 31 cil(mlt(dot(R,R),P)) 67751 114658873 o1(o2(o2(x,x),x)) true 30015 30015 0.04394 0.5 0.9058 0.8862 0.9414 -1 1 2 1 2.057 0.001224 0.0006994 0.0137 0.2727 1 0.00001871 0.0005526 0.005652 0.001736 0.04167 3.041 0.4731 0.00217 0.0006236 1 1 0.004509 0.04536 0.2267 0.005089 0.05118 0.2559 json
t14_x24_u4_b32 14 24 4 32 cil(mlt(dst(R,R),P)) 67752 114658874 o1(o2(o2(x,x),x)) true 30023 30023 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_x24_u4_b33 14 24 4 33 cil(div(add(R,R),P)) 67753 114658875 o1(o2(o2(x,x),x)) true 30031 30031 0.2783 0.7855 0.5446 0.3838 0.6195 -1 1 2 1 3.66 0.02117 0.002623 0.05826 0.7795 1 -0.00005215 0.03891 0.03383 0.02041 0.1428 2.452 2.026 0.06199 0.1014 1 1 0.03401 0.2083 0.6506 0.08862 0.5426 1.695 json
t14_x24_u4_b34 14 24 4 34 cil(div(sub(R,R),P)) 67754 114658876 o1(o2(o2(x,x),x)) true 30039 30039 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_x24_u4_b35 14 24 4 35 cil(div(mlt(R,R),P)) 67755 114658877 o1(o2(o2(x,x),x)) true 30047 30047 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_x24_u4_b36 14 24 4 36 cil(div(div(R,R),P)) 67756 114658878 o1(o2(o2(x,x),x)) true 30055 30055 0.293 0.4375 0.582 0.4911 0.7008 -1 1 2 1 1.785 0.01743 0.00005267 0.01235 0.994 1 -0.000002852 0.03447 0.01958 0.01731 0.1316 10.65 2 0.03559 0.07019 1 1 0.0237 0.1007 0.42 0.04827 0.2051 0.8552 json
t14_x24_u4_b37 14 24 4 37 cil(div(pow(R,R),P)) 67757 114658879 o1(o2(o2(x,x),x)) true 30063 30063 -0.9609 0.003906 0.9688 0.04531 0.2129 -1 1 2 1 0.2373 0.004472 0.004409 0.007449 0.007092 1 0 0.01858 0.01499 0.00883 0.09397 12.61 2 0.196 0.4101 1 1 0.005914 0.02428 0.07181 0.1305 0.5358 1.585 json
t14_x24_u4_b38 14 24 4 38 cil(div(mod(R,R),P)) 67758 114658880 o1(o2(o2(x,x),x)) true 30071 30071 -0.02539 0.3105 0.2246 0.1907 0.4366 -1 0.9997 2 1 2.003 0.01218 0.0007877 0.0272 0.8786 1 -0.00000713 0.02301 0.02274 0.01223 0.1106 4.066 2 0.06804 0.1207 1 1 0.01898 0.1066 0.3468 0.09955 0.5592 1.819 json
t14_x24_u4_b39 14 24 4 39 cil(div(lrg(R,R),P)) 67759 114658881 o1(o2(o2(x,x),x)) true 30079 30079 -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_x24_u4_b40 14 24 4 40 cil(div(eql(R,R),P)) 67760 114658882 o1(o2(o2(x,x),x)) true 30087 30087 0.4063 0.5 0.5938 0.4216 0.6493 -1 1 2 1 1.697 0.04797 0 0.02778 1 1 0 0.09535 0.04854 0.04718 0.2172 7.82 2 0.1138 0.2262 1 1 0.06401 0.2517 0.2435 0.1518 0.597 0.5776 json
t14_x24_u4_b41 14 24 4 41 cil(div(min(R,R),P)) 67761 114658883 o1(o2(o2(x,x),x)) true 30095 30095 0.2852 0.798 0.5352 0.3702 0.6084 -1 1 2 1 3.538 0.02176 0.002174 0.05694 0.8184 1 -0.00003637 0.0405 0.03516 0.0207 0.1439 2.527 2 0.06467 0.1094 1 1 0.03339 0.1946 0.6235 0.0902 0.5256 1.684 json
t14_x24_u4_b42 14 24 4 42 cil(div(dot(R,R),P)) 67762 114658884 o1(o2(o2(x,x),x)) true 30103 30103 0.293 0.4375 0.582 0.4907 0.7005 -1 1 2 1 1.809 0.01737 0.00007023 0.0125 0.9919 1 0 0.03437 0.01961 0.01729 0.1315 10.52 2 0.03553 0.07003 1 1 0.02397 0.102 0.4189 0.04884 0.2079 0.8537 json
t14_x24_u4_b43 14 24 4 43 cil(div(dst(R,R),P)) 67763 114658885 o1(o2(o2(x,x),x)) true 30111 30111 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_x24_u4_b44 14 24 4 44 cil(pow(add(R,R),P)) 67764 114658886 o1(o2(o2(x,x),x)) true 30119 30119 -0.8516 0.07422 1 0.2749 0.5243 -1 1 2 1 0.3815 0.02494 0.02444 0.02454 0.0102 1 0 0.103 0.04938 0.04875 0.2208 8.996 2.828 0.1796 0.3748 1 1 0.0467 0.1946 0.6445 0.1699 0.7079 2.344 json
t14_x24_u4_b45 14 24 4 45 cil(pow(sub(R,R),P)) 67765 114658887 o1(o2(o2(x,x),x)) true 30127 30127 -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_x24_u4_b46 14 24 4 46 cil(pow(mlt(R,R),P)) 67766 114658888 o1(o2(o2(x,x),x)) true 30135 30135 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_x24_u4_b47 14 24 4 47 cil(pow(div(R,R),P)) 67767 114658889 o1(o2(o2(x,x),x)) true 30143 30143 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_x24_u4_b48 14 24 4 48 cil(pow(pow(R,R),P)) 67768 114658890 o1(o2(o2(x,x),x)) true 30151 30151 -0.8516 0.07422 1 0.2749 0.5243 -1 1 2 1 0.3815 0.02494 0.02444 0.02454 0.0102 1 0 0.103 0.04938 0.04875 0.2208 8.996 2.828 0.1796 0.3748 1 1 0.0467 0.1946 0.6445 0.1699 0.7079 2.344 json
t14_x24_u4_b49 14 24 4 49 cil(pow(mod(R,R),P)) 67769 114658891 o1(o2(o2(x,x),x)) true 30159 30159 -0.5625 0.1405 0.6875 0.3569 0.5974 -1 1 2 1 1.651 0.01953 0.01326 0.02924 0.1911 1 -0.000008552 0.06635 0.04491 0.03193 0.1787 6.111 2.828 0.09186 0.1859 1 1 0.03543 0.1522 0.4929 0.09926 0.4263 1.381 json
t14_x24_u4_b50 14 24 4 50 cil(pow(lrg(R,R),P)) 67770 114658892 o1(o2(o2(x,x),x)) true 30167 30167 -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_x24_u4_b51 14 24 4 51 cil(pow(eql(R,R),P)) 67771 114658893 o1(o2(o2(x,x),x)) true 30175 30175 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_x24_u4_b52 14 24 4 52 cil(pow(min(R,R),P)) 67772 114658894 o1(o2(o2(x,x),x)) true 30183 30183 -0.8516 0.07422 1 0.2749 0.5243 -1 1 2 1 0.3815 0.02494 0.02444 0.02454 0.0102 1 0 0.103 0.04938 0.04875 0.2208 8.996 2.828 0.1796 0.3748 1 1 0.0467 0.1946 0.6445 0.1699 0.7079 2.344 json
t14_x24_u4_b53 14 24 4 53 cil(pow(dot(R,R),P)) 67773 114658895 o1(o2(o2(x,x),x)) true 30191 30191 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_x24_u4_b54 14 24 4 54 cil(pow(dst(R,R),P)) 67774 114658896 o1(o2(o2(x,x),x)) true 30199 30199 -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_x24_u4_b55 14 24 4 55 cil(mod(add(R,R),P)) 67775 114658897 o1(o2(o2(x,x),x)) true 30207 30207 0.1635 0.6097 0.675 0.5669 0.7529 -1 1 2 1 3.97 0.02752 0.007064 0.08558 0.5915 1 -0.00002594 0.04576 0.04742 0.02726 0.1651 1.929 2 0.061 0.08072 1 1 0.05081 0.3662 0.9362 0.08963 0.646 1.651 json
t14_x24_u4_b56 14 24 4 56 cil(mod(sub(R,R),P)) 67776 114658898 o1(o2(o2(x,x),x)) true 30215 30215 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_x24_u4_b57 14 24 4 57 cil(mod(mlt(R,R),P)) 67777 114658899 o1(o2(o2(x,x),x)) true 30223 30223 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_x24_u4_b58 14 24 4 58 cil(mod(div(R,R),P)) 67778 114658900 o1(o2(o2(x,x),x)) true 30231 30231 0.7124 0.875 0.9624 0.4447 0.6669 -1 1 2 1 1.139 0.01695 0.0001113 0.01683 0.987 1 -3.501e-10 0.03299 0.02323 0.01679 0.1296 7.697 2 0.03837 0.07419 1 1 0.02351 0.1156 0.6192 0.05287 0.26 1.392 json
t14_x24_u4_b59 14 24 4 59 cil(mod(pow(R,R),P)) 67779 114658901 o1(o2(o2(x,x),x)) true 30239 30239 -0.9297 0.03516 1 0.1356 0.3683 -1 1 2 1 0.2196 0.01487 0.01235 0.01351 0.09259 1 0 0.05694 0.02721 0.027 0.1643 12.16 2.828 0.2006 0.4198 1 1 0.02366 0.09712 0.2474 0.1744 0.716 1.824 json
t14_x24_u4_b60 14 24 4 60 cil(mod(mod(R,R),P)) 67780 114658902 o1(o2(o2(x,x),x)) true 30247 30247 -0.05273 0.2415 0.1973 0.1691 0.4112 -1 1 2 1 1.712 0.01351 0.0006037 0.0235 0.9145 1 -0.00002851 0.02603 0.02273 0.01356 0.1165 4.955 2 0.08348 0.1539 1 1 0.01926 0.09596 0.31 0.1139 0.5675 1.833 json
t14_x24_u4_b61 14 24 4 61 cil(mod(lrg(R,R),P)) 67781 114658903 o1(o2(o2(x,x),x)) true 30255 30255 -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_x24_u4_b62 14 24 4 62 cil(mod(eql(R,R),P)) 67782 114658904 o1(o2(o2(x,x),x)) true 30263 30263 0.6875 0.875 0.9375 0.4513 0.6718 -1 1 2 1 1.335 0.008647 0 0.01587 1 1 -4.721e-10 0.01581 0.01762 0.008393 0.09161 5.772 1 0.01916 0.03502 1 1 0.01246 0.0795 0.5713 0.0276 0.1761 1.266 json
t14_x24_u4_b63 14 24 4 63 cil(mod(min(R,R),P)) 67783 114658905 o1(o2(o2(x,x),x)) true 30271 30271 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_x24_u4_b64 14 24 4 64 cil(mod(dot(R,R),P)) 67784 114658906 o1(o2(o2(x,x),x)) true 30279 30279 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_x24_u4_b65 14 24 4 65 cil(mod(dst(R,R),P)) 67785 114658907 o1(o2(o2(x,x),x)) true 30287 30287 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_x24_u4_b66 14 24 4 66 cil(lrg(add(R,R),P)) 67786 114658908 o1(o2(o2(x,x),x)) true 30295 30295 0.5117 0.6049 0.5117 0.2314 0.4811 0 1 1 1 1.753 0.0004752 0.0003909 0.01019 0.09737 1 -0.00002852 0.00004979 0.002461 0.0007618 0.0276 2.708 0.1169 0.003742 0.0002151 1 1 0.002134 0.0276 0.09828 0.009223 0.1193 0.4247 json
t14_x24_u4_b67 14 24 4 67 cil(lrg(sub(R,R),P)) 67787 114658909 o1(o2(o2(x,x),x)) true 30303 30303 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_x24_u4_b68 14 24 4 68 cil(lrg(mlt(R,R),P)) 67788 114658910 o1(o2(o2(x,x),x)) true 30311 30311 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_x24_u4_b69 14 24 4 69 cil(lrg(div(R,R),P)) 67789 114658911 o1(o2(o2(x,x),x)) true 30319 30319 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_x24_u4_b70 14 24 4 70 cil(lrg(pow(R,R),P)) 67790 114658912 o1(o2(o2(x,x),x)) true 30327 30327 0.7852 0.9905 0.7852 0.1181 0.3436 0 1 1 1 2.248 0.001095 0.001206 0.02703 -0.04847 1 0.00002424 0.0001387 0.006603 0.001571 0.03963 1.466 0.1169 0.01949 0.001175 1 1 0.004457 0.05786 0.1462 0.03774 0.49 1.238 json
t14_x24_u4_b71 14 24 4 71 cil(lrg(mod(R,R),P)) 67791 114658913 o1(o2(o2(x,x),x)) true 30335 30335 0.4805 0.5187 0.4805 0.2414 0.4913 0 1 1 1 1.388 0.0003335 0.00007022 0.004643 0.6522 1 -0.000005705 0.0000204 0.001099 0.0003822 0.01955 4.21 0.1169 0.001673 0.0000845 1 1 0.001014 0.01334 0.08412 0.0042 0.05526 0.3485 json
t14_x24_u4_b72 14 24 4 72 cil(lrg(lrg(R,R),P)) 67792 114658914 o1(o2(o2(x,x),x)) true 30343 30343 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_x24_u4_b73 14 24 4 73 cil(lrg(eql(R,R),P)) 67793 114658915 o1(o2(o2(x,x),x)) true 30351 30351 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_x24_u4_b74 14 24 4 74 cil(lrg(min(R,R),P)) 67794 114658916 o1(o2(o2(x,x),x)) true 30359 30359 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_x24_u4_b75 14 24 4 75 cil(lrg(dot(R,R),P)) 67795 114658917 o1(o2(o2(x,x),x)) true 30367 30367 0.5723 0.6194 0.5723 0.2348 0.4846 0 1 1 1 1.442 0.0003141 0.0001629 0.00557 0.3172 1 -0.000005705 0.00002576 0.001335 0.0004459 0.02112 3.791 0.1169 0.002031 0.0001097 1 1 0.001269 0.01664 0.08914 0.005402 0.07087 0.3796 json
t14_x24_u4_b76 14 24 4 76 cil(lrg(dst(R,R),P)) 67796 114658918 o1(o2(o2(x,x),x)) true 30375 30375 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_x24_u4_b77 14 24 4 77 cil(eql(add(R,R),P)) 67797 114658919 o1(o2(o2(x,x),x)) true 30383 30383 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_x24_u4_b78 14 24 4 78 cil(eql(sub(R,R),P)) 67798 114658920 o1(o2(o2(x,x),x)) true 30391 30391 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_x24_u4_b79 14 24 4 79 cil(eql(mlt(R,R),P)) 67799 114658921 o1(o2(o2(x,x),x)) true 30399 30399 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