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_x18_u3_b83 14 18 3 83 flr(eql(lrg(R,P),P)) 62600 114416318 o1(o2(o2(x,x),x)) true 159767 159767 0.03516 0.09119 0.03516 0.02431 0.1559 0 0.9997 0.9997 1 0.5835 0.0003631 0.0001053 0.005422 0.5502 1 0.000005704 0.00002431 0.001291 0.0004388 0.02095 3.863 0.1169 0.01927 0.001 1 1 0.001224 0.01595 0.05043 0.05036 0.656 2.074 json
t14_x18_u3_b84 14 18 3 84 flr(eql(eql(R,P),P)) 62601 114416319 o1(o2(o2(x,x),x)) true 159775 159775 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_x18_u3_b85 14 18 3 85 flr(eql(min(R,P),P)) 62602 114416320 o1(o2(o2(x,x),x)) true 159783 159783 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_x18_u3_b86 14 18 3 86 flr(eql(dot(R,P),P)) 62603 114416321 o1(o2(o2(x,x),x)) true 159791 159791 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_x18_u3_b87 14 18 3 87 flr(eql(dst(R,P),P)) 62604 114416322 o1(o2(o2(x,x),x)) true 159799 159799 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_x18_u3_b88 14 18 3 88 flr(min(add(R,P),P)) 62605 114416323 o1(o2(o2(x,x),x)) true 159807 159807 -0.05877 0.4723 0.9451 0.9283 0.9635 -1 1 2 1 1.786 0.001009 0.0002866 0.01014 0.5576 1 -0.00001667 0.000135 0.00275 0.001193 0.03453 3.406 0.2338 0.001396 0.0001454 1 1 0.003407 0.04218 0.2644 0.00367 0.04544 0.2848 json
t14_x18_u3_b89 14 18 3 89 flr(min(sub(R,P),P)) 62606 114416324 o1(o2(o2(x,x),x)) true 159815 159815 -0.9751 0 0.9751 0.01744 0.1321 -1 -0.000291 0.9997 1 0.4373 0.0003484 0.0001106 0.004435 0.5181 1 -0.000003565 0.00006659 0.001297 0.0004391 0.02095 4.725 0.2265 0.02632 0.003818 1 1 0.001267 0.01486 0.04134 0.07267 0.8519 2.37 json
t14_x18_u3_b90 14 18 3 90 flr(min(mlt(R,P),P)) 62607 114416325 o1(o2(o2(x,x),x)) true 159823 159823 -0.6121 0.1353 0.8372 0.4283 0.6544 -1 1 2 1 2.33 0.009166 0.008613 0.04691 0.03111 1 -0.000001385 0.009981 0.02503 0.01558 0.1248 2.661 1.34 0.04151 0.02331 1 1 0.0247 0.227 0.6093 0.05768 0.53 1.423 json
t14_x18_u3_b91 14 18 3 91 flr(min(div(R,P),P)) 62608 114416326 o1(o2(o2(x,x),x)) true 159831 159831 -0.7842 0 0.7842 0.1216 0.3487 -1 0 1 1 2.221 0.002709 0.002789 0.02901 -0.01453 1 -0.00001853 0.006969 0.01369 0.004657 0.06824 2.352 1.414 0.04522 0.05732 1 1 0.008589 0.06965 0.174 0.07064 0.5728 1.431 json
t14_x18_u3_b92 14 18 3 92 flr(min(pow(R,P),P)) 62609 114416327 o1(o2(o2(x,x),x)) true 159839 159839 -0.1217 0.4718 0.8158 0.7727 0.879 -1 1 2 1 2.516 0.002661 0.002845 0.02798 -0.03339 1 -0.0001374 0.002633 0.01553 0.004725 0.06874 2.457 0.4702 0.007126 0.003408 1 1 0.009223 0.08456 0.2694 0.01194 0.1094 0.3487 json
t14_x18_u3_b93 14 18 3 93 flr(min(mod(R,P),P)) 62610 114416328 o1(o2(o2(x,x),x)) true 159847 159847 -0.7226 0 0.7226 0.1447 0.3805 -1 0 1 1 2.582 0.001352 0.001206 0.02993 0.05714 1 -0.00002424 0.0001504 0.007283 0.001662 0.04077 1.362 0.1169 0.01768 0.001039 1 1 0.005236 0.06805 0.1911 0.03617 0.4701 1.32 json
t14_x18_u3_b94 14 18 3 94 flr(min(lrg(R,P),P)) 62611 114416329 o1(o2(o2(x,x),x)) true 159855 159855 -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_x18_u3_b95 14 18 3 95 flr(min(eql(R,P),P)) 62612 114416330 o1(o2(o2(x,x),x)) true 159863 159863 -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_x18_u3_b96 14 18 3 96 flr(min(min(R,P),P)) 62613 114416331 o1(o2(o2(x,x),x)) true 159871 159871 -0.7578 0 0.7578 0.1282 0.3581 -1 0 1 1 2.446 0.001205 0.001316 0.02956 -0.04423 1 -0.00002994 0.0001512 0.007216 0.001648 0.0406 1.373 0.1169 0.01966 0.001179 1 1 0.005145 0.06684 0.1791 0.04012 0.5213 1.397 json
t14_x18_u3_b97 14 18 3 97 flr(min(dot(R,P),P)) 62614 114416332 o1(o2(o2(x,x),x)) true 159879 159879 -0.5904 0.2017 0.8989 0.5235 0.7235 -1 1 2 1 1.983 0.01137 0.01311 0.0517 -0.07129 1 0.00005325 0.0167 0.0328 0.02182 0.1477 2.857 1.693 0.04677 0.0319 1 1 0.03313 0.2813 0.8022 0.06329 0.5373 1.532 json
t14_x18_u3_b98 14 18 3 98 flr(min(dst(R,P),P)) 62615 114416333 o1(o2(o2(x,x),x)) true 159887 159887 -0.003246 0.4996 0.9343 0.9203 0.9593 -1 1 2 1 1.842 0.0007123 0.00003106 0.008208 0.9164 1 4.177e-11 0.00004306 0.001988 0.0006762 0.026 3.168 0.2265 0.0008077 0.00004679 1 1 0.001976 0.02569 0.2318 0.002147 0.02791 0.2519 json
t14_x18_u3_b99 14 18 3 99 flr(dot(add(R,P),P)) 62616 114416334 o1(o2(o2(x,x),x)) true 159895 159895 0.9923 1 0.9923 0.005497 0.07414 0.0002911 1 0.9997 1 0.1544 0.0001017 0.0001648 0.001699 -0.2369 1 6.758e-11 0.0001031 0.0008022 0.000264 0.01625 9.566 0.3575 0.04848 0.01876 1 1 0.0008643 0.008108 0.02007 0.1572 1.475 3.65 json
t14_x18_u3_b100 14 18 3 100 flr(dot(sub(R,P),P)) 62617 114416335 o1(o2(o2(x,x),x)) true 159903 159903 -0.9972 0 0.9972 0.001884 0.04341 -1 -0.0005822 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_x18_u3_b101 14 18 3 101 flr(dot(mlt(R,P),P)) 62618 114416336 o1(o2(o2(x,x),x)) true 159911 159911 0.01283 0.5014 0.9469 0.9307 0.9647 -1 1 2 1 1.817 0.07358 0.08465 0.1154 -0.06994 1 -0.00004851 0.3284 0.1737 0.1449 0.3807 3.298 2.828 0.17 0.3529 1 1 0.1558 0.8226 1.807 0.1674 0.8838 1.941 json
t14_x18_u3_b102 14 18 3 102 flr(dot(div(R,P),P)) 62619 114416337 o1(o2(o2(x,x),x)) true 159919 159919 -0.5556 0.17 0.7229 0.3397 0.5828 -1 1 2 1 3.38 0.01077 0.01376 0.07005 -0.1218 1 0.00009995 0.03307 0.03842 0.01962 0.1401 1.999 2.828 0.07221 0.09736 1 1 0.03537 0.2555 0.6822 0.1041 0.7521 2.008 json
t14_x18_u3_b103 14 18 3 103 flr(dot(pow(R,P),P)) 62620 114416338 o1(o2(o2(x,x),x)) true 159927 159927 -0.9912 0.003693 0.9932 0.01028 0.1014 -1 0.9994 1.999 1 0.08097 0.001367 0.0008632 0.00195 0.226 1 -6.007e-11 0.004657 0.00357 0.002225 0.04717 24.19 1.999 0.2169 0.4529 1 1 0.00395 0.01566 0.03763 0.3841 1.523 3.66 json
t14_x18_u3_b104 14 18 3 104 flr(dot(mod(R,P),P)) 62621 114416339 o1(o2(o2(x,x),x)) true 159935 159935 -0.4122 0.2913 0.9112 0.7146 0.8453 -1 1 2 1 2.098 0.0336 0.03699 0.09005 -0.04805 1 0.00006893 0.08607 0.08565 0.06244 0.2499 2.775 2.103 0.09877 0.1204 1 1 0.08518 0.5252 1.174 0.1192 0.735 1.643 json
t14_x18_u3_b105 14 18 3 105 flr(dot(lrg(R,P),P)) 62622 114416340 o1(o2(o2(x,x),x)) true 159943 159943 -0.7179 0 0.7179 0.1955 0.4421 -1 0 1 1 1.263 0.0001877 0.0001877 0.00417 0.000001628 1 5.134e-10 0.00002276 0.0009958 0.0003579 0.01892 4.537 0.1628 0.00192 0.0001164 1 1 0.001001 0.01303 0.08014 0.005121 0.06664 0.41 json
t14_x18_u3_b106 14 18 3 106 flr(dot(eql(R,P),P)) 62623 114416341 o1(o2(o2(x,x),x)) true 159951 159951 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_x18_u3_b107 14 18 3 107 flr(dot(min(R,P),P)) 62624 114416342 o1(o2(o2(x,x),x)) true 159959 159959 0.6529 0.8327 0.9289 0.4838 0.6955 -1 1 2 1 1.603 0.009517 0.01018 0.03914 -0.03358 1 -0.000003578 0.01434 0.02586 0.01816 0.1348 3.444 1.693 0.04071 0.02963 1 1 0.0257 0.2217 0.6267 0.05313 0.4584 1.295 json
t14_x18_u3_b108 14 18 3 108 flr(dot(dot(R,P),P)) 62625 114416343 o1(o2(o2(x,x),x)) true 159967 159967 0.03319 0.5118 0.9135 0.8893 0.9431 -1 1 2 1 2.153 0.05813 0.07528 0.1079 -0.1286 1 -0.00009021 0.2747 0.1496 0.1218 0.349 3.233 2.828 0.15 0.3088 1 1 0.1332 0.7321 1.692 0.1498 0.8232 1.902 json
t14_x18_u3_b109 14 18 3 109 flr(dot(dst(R,P),P)) 62626 114416344 o1(o2(o2(x,x),x)) true 159975 159975 -0.004881 0.4964 0.9745 0.9692 0.9845 -1 1 2 1 1.401 0.003068 0.003104 0.01223 -0.005945 1 6.396e-7 0.006266 0.009181 0.006025 0.07762 6.348 1.709 0.006368 0.006465 1 1 0.01174 0.09353 0.5196 0.01212 0.09651 0.5361 json
t14_x18_u3_b110 14 18 3 110 flr(dst(add(R,P),P)) 62627 114416345 o1(o2(o2(x,x),x)) true 159983 159983 0.5234 0.9064 0.5234 0.1603 0.4004 0 1 1 1 3.324 0.001857 0.002199 0.04748 -0.08437 1 -0.000005706 0.0002413 0.0116 0.001802 0.04245 0.894 0.1169 0.0253 0.001505 1 1 0.007899 0.1024 0.3171 0.04927 0.639 1.978 json
t14_x18_u3_b111 14 18 3 111 flr(dst(sub(R,P),P)) 62628 114416346 o1(o2(o2(x,x),x)) true 159991 159991 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_x18_u3_b112 14 18 3 112 flr(dst(mlt(R,P),P)) 62629 114416347 o1(o2(o2(x,x),x)) true 159999 159999 0.9678 0.9997 0.9678 0.02255 0.1502 8.471e-8 1 1 1 0.5209 0.0008483 0.0008396 0.008441 0.005159 1 -0.00005933 0.0009557 0.005198 0.001615 0.04019 4.761 0.5555 0.07484 0.04237 1 1 0.003857 0.03259 0.06248 0.171 1.445 2.77 json
t14_x18_u3_b113 14 18 3 113 flr(dst(div(R,P),P)) 62630 114416348 o1(o2(o2(x,x),x)) true 160007 160007 -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_x18_u3_b114 14 18 3 114 flr(dst(pow(R,P),P)) 62631 114416349 o1(o2(o2(x,x),x)) true 160015 160015 -0.9766 0.01172 1 0.0463 0.2152 -1 1 2 1 0.09198 0.006047 0.004031 0.005002 0.2 1 0 0.02116 0.01008 0.01005 0.1002 20.04 2.828 0.2177 0.4571 1 1 0.01773 0.07091 0.1684 0.3829 1.532 3.638 json
t14_x18_u3_b115 14 18 3 115 flr(dst(mod(R,P),P)) 62632 114416350 o1(o2(o2(x,x),x)) true 160023 160023 0.5307 0.7656 0.9994 0.7172 0.8469 -1 1 2 1 0.8021 0.02733 0.02745 0.02765 -0.002164 1 -1.652e-10 0.1099 0.05508 0.054 0.2324 8.404 2.828 0.07637 0.1532 1 1 0.06893 0.2774 1.118 0.0961 0.3868 1.558 json
t14_x18_u3_b116 14 18 3 116 flr(dst(lrg(R,P),P)) 62633 114416351 o1(o2(o2(x,x),x)) true 160031 160031 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_x18_u3_b117 14 18 3 117 flr(dst(eql(R,P),P)) 62634 114416352 o1(o2(o2(x,x),x)) true 160039 160039 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_x18_u3_b118 14 18 3 118 flr(dst(min(R,P),P)) 62635 114416353 o1(o2(o2(x,x),x)) true 160047 160047 0.6996 0.7594 0.6996 0.1977 0.4446 0 1 1 1 1.417 0.0004203 0.0003061 0.007433 0.1573 1 -0.00001222 0.00009111 0.002115 0.0006704 0.02589 3.483 0.2265 0.003675 0.0004609 1 1 0.001673 0.0205 0.09496 0.008462 0.1037 0.4804 json
t14_x18_u3_b119 14 18 3 119 flr(dst(dot(R,P),P)) 62636 114416354 o1(o2(o2(x,x),x)) true 160055 160055 0.9931 1 0.9931 0.004928 0.0702 0.000291 1 0.9997 1 0.1468 0.0001037 0.00003841 0.001306 0.4593 1 -2.253e-11 0.00002726 0.0004129 0.0001405 0.01185 9.075 0.2479 0.02883 0.005532 1 1 0.0004824 0.005597 0.01765 0.09789 1.136 3.581 json
t14_x18_u3_b120 14 18 3 120 flr(dst(dst(R,P),P)) 62637 114416355 o1(o2(o2(x,x),x)) true 160063 160063 0.998 1 0.998 0.001344 0.03665 0.0008731 1 0.9991 1 0.04915 0.00004709 0.00005643 0.0006129 -0.09024 1 3.754e-12 0.00003906 0.0003368 0.0001032 0.01016 16.57 0.3088 0.07705 0.02907 1 1 0.0003368 0.003067 0.004886 0.2507 2.283 3.637 json
t14_x18_u4_b0 14 18 4 0 cil(add(add(R,P),P)) 62638 114416436 o1(o2(o2(x,x),x)) true 160071 160071 0.02917 0.5147 0.9669 0.9574 0.9784 -1 1 2 1 1.513 0.001477 0.0001102 0.008546 0.8611 1 -0.000006592 0.0003494 0.003141 0.001515 0.03892 4.555 0.3506 0.001658 0.000365 1 1 0.004081 0.04468 0.2971 0.004263 0.04667 0.3103 json
t14_x18_u4_b1 14 18 4 1 cil(add(sub(R,P),P)) 62639 114416437 o1(o2(o2(x,x),x)) true 160079 160079 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_x18_u4_b2 14 18 4 2 cil(add(mlt(R,P),P)) 62640 114416438 o1(o2(o2(x,x),x)) true 160087 160087 0.06653 0.5 0.8842 0.8611 0.928 -1 1 2 1 2.147 0.001409 0.001061 0.01535 0.1409 1 0.00000322 0.0009566 0.007052 0.002234 0.04727 3.08 0.5251 0.002868 0.001111 1 1 0.00489 0.04774 0.2568 0.005679 0.05544 0.2983 json
t14_x18_u4_b3 14 18 4 3 cil(add(div(R,P),P)) 62641 114416439 o1(o2(o2(x,x),x)) true 160095 160095 -0.1122 0.4375 0.9872 0.9715 0.9856 -1 1 2 1 1.223 0.0175 0.00007824 0.01184 0.9911 1 0.000005261 0.03479 0.01991 0.01743 0.132 11.15 2 0.0181 0.03581 1 1 0.02378 0.09728 0.3596 0.02448 0.1001 0.3702 json
t14_x18_u4_b4 14 18 4 4 cil(add(pow(R,P),P)) 62642 114416440 o1(o2(o2(x,x),x)) true 160103 160103 -0.8541 0.07326 0.999 0.2693 0.5189 -1 1 2 1 0.3997 0.02413 0.02324 0.02423 0.01897 1 -0.0001384 0.09898 0.04802 0.04676 0.2162 8.923 2.828 0.1759 0.3676 1 1 0.04345 0.1876 0.6256 0.1614 0.6965 2.323 json
t14_x18_u4_b5 14 18 4 5 cil(add(mod(R,P),P)) 62643 114416441 o1(o2(o2(x,x),x)) true 160111 160111 -0.1106 0.4375 0.9856 0.9694 0.9846 -1 1 2 1 1.231 0.01819 0.00007646 0.01291 0.9916 1 -0.000003562 0.03598 0.02139 0.0181 0.1345 10.42 2 0.01884 0.03711 1 1 0.02443 0.09885 0.3599 0.0252 0.102 0.3712 json
t14_x18_u4_b6 14 18 4 6 cil(add(lrg(R,P),P)) 62644 114416442 o1(o2(o2(x,x),x)) true 160119 160119 0.08984 0.5378 0.9023 0.8786 0.9373 -1 1 2 1 2.016 0.0006768 0.0001053 0.00895 0.7306 1 -0.000005704 0.00003874 0.002113 0.000702 0.0265 2.96 0.1169 0.0008902 0.00004409 1 1 0.002072 0.02727 0.2084 0.002358 0.03104 0.2372 json
t14_x18_u4_b7 14 18 4 7 cil(add(eql(R,P),P)) 62645 114416443 o1(o2(o2(x,x),x)) true 160127 160127 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_x18_u4_b8 14 18 4 8 cil(add(min(R,P),P)) 62646 114416444 o1(o2(o2(x,x),x)) true 160135 160135 -0.003127 0.5 0.9538 0.9453 0.9723 -1 1 2 1 1.558 0.001209 0.00001482 0.008018 0.9758 1 -0.000004284 0.0002464 0.003305 0.001159 0.03405 4.247 0.2265 0.001295 0.0002606 1 1 0.003054 0.03164 0.263 0.003231 0.03347 0.2783 json
t14_x18_u4_b9 14 18 4 9 cil(add(dot(R,P),P)) 62647 114416445 o1(o2(o2(x,x),x)) true 160143 160143 0.05172 0.5253 0.9263 0.9011 0.9493 -1 1 2 1 2.072 0.01287 0.01623 0.05326 -0.1155 1 -0.0001489 0.02321 0.03949 0.02624 0.162 3.041 1.901 0.03229 0.02575 1 1 0.04328 0.3403 0.7399 0.04803 0.3777 0.8211 json
t14_x18_u4_b10 14 18 4 10 cil(add(dst(R,P),P)) 62648 114416446 o1(o2(o2(x,x),x)) true 160151 160151 0.961 0.9957 0.961 0.02859 0.1691 0 1 1 1 0.5734 0.0002104 0.0004488 0.005685 -0.3617 1 -0.000006959 0.0001123 0.001921 0.0006264 0.02503 4.402 0.3082 0.02306 0.00393 1 1 0.001438 0.01547 0.04956 0.0503 0.5411 1.734 json
t14_x18_u4_b11 14 18 4 11 cil(sub(add(R,P),P)) 62649 114416447 o1(o2(o2(x,x),x)) true 160159 160159 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_x18_u4_b12 14 18 4 12 cil(sub(sub(R,P),P)) 62650 114416448 o1(o2(o2(x,x),x)) true 160167 160167 0.0294 0.5146 0.9661 0.9563 0.9779 -1 1 2 1 1.526 0.001447 0.000117 0.008557 0.8504 1 -0.000006592 0.0003249 0.003031 0.001491 0.03862 4.513 0.3506 0.001635 0.0003397 1 1 0.004086 0.04497 0.2958 0.004273 0.04703 0.3093 json
t14_x18_u4_b13 14 18 4 13 cil(sub(mlt(R,P),P)) 62651 114416449 o1(o2(o2(x,x),x)) true 160175 160175 0.0588 0.5 0.888 0.8669 0.9311 -1 1 2 1 2.131 0.001614 0.0007803 0.01494 0.3482 1 0.0001027 0.0009622 0.007024 0.002171 0.0466 3.119 0.5805 0.002762 0.00111 1 1 0.005791 0.05492 0.2437 0.006681 0.06336 0.2812 json
t14_x18_u4_b14 14 18 4 14 cil(sub(div(R,P),P)) 62652 114416450 o1(o2(o2(x,x),x)) true 160183 160183 -0.1099 0.4375 0.9849 0.9688 0.9843 -1 1 2 1 1.244 0.01844 0.00008881 0.01359 0.9904 1 -0.000003565 0.0364 0.02207 0.01835 0.1354 9.965 2 0.01912 0.03758 1 1 0.02466 0.09938 0.3545 0.02546 0.1026 0.3659 json
t14_x18_u4_b15 14 18 4 15 cil(sub(pow(R,P),P)) 62653 114416451 o1(o2(o2(x,x),x)) true 160191 160191 -0.8691 0.07031 0.9902 0.2329 0.4826 -1 1 2 1 0.4742 0.02027 0.02024 0.02238 0.0005874 1 3.004e-11 0.08428 0.04284 0.04 0.2 8.935 2.828 0.174 0.3619 1 1 0.04117 0.1741 0.5685 0.1768 0.7475 2.441 json
t14_x18_u4_b16 14 18 4 16 cil(sub(mod(R,P),P)) 62654 114416452 o1(o2(o2(x,x),x)) true 160199 160199 -0.1099 0.4375 0.9849 0.9688 0.9843 -1 1 2 1 1.244 0.01844 0.00008881 0.01359 0.9904 1 -0.000003565 0.0364 0.02207 0.01835 0.1354 9.965 2 0.01912 0.03758 1 1 0.02466 0.09938 0.3545 0.02546 0.1026 0.3659 json
t14_x18_u4_b17 14 18 4 17 cil(sub(lrg(R,P),P)) 62655 114416453 o1(o2(o2(x,x),x)) true 160207 160207 0.03313 0.5159 0.9615 0.9497 0.9745 -1 1 2 1 1.593 0.001152 0.00009554 0.008539 0.8468 1 -0.000005261 0.0001293 0.002497 0.001175 0.03428 4.014 0.2338 0.001314 0.0001361 1 1 0.003262 0.04004 0.2874 0.003434 0.04216 0.3026 json
t14_x18_u4_b18 14 18 4 18 cil(sub(eql(R,P),P)) 62656 114416454 o1(o2(o2(x,x),x)) true 160215 160215 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_x18_u4_b19 14 18 4 19 cil(sub(min(R,P),P)) 62657 114416455 o1(o2(o2(x,x),x)) true 160223 160223 -0.4341 0 0.4341 0.2375 0.4873 -1 0 1 1 1.512 0.0004231 0.0001765 0.005459 0.4112 1 -0.00000927 0.00009993 0.001736 0.0005702 0.02388 4.374 0.2265 0.002525 0.0004208 1 1 0.001548 0.01777 0.08227 0.006519 0.07484 0.3464 json
t14_x18_u4_b20 14 18 4 20 cil(sub(dot(R,P),P)) 62658 114416456 o1(o2(o2(x,x),x)) true 160231 160231 0.06755 0.5326 0.9123 0.8821 0.9392 -1 1 2 1 2.233 0.01247 0.01546 0.05546 -0.1069 1 -0.00002223 0.02059 0.03878 0.02484 0.1576 2.842 1.746 0.03167 0.02334 1 1 0.03967 0.3189 0.792 0.04498 0.3615 0.8978 json
t14_x18_u4_b21 14 18 4 21 cil(sub(dst(R,P),P)) 62659 114416457 o1(o2(o2(x,x),x)) true 160239 160239 0.9464 0.9988 0.9464 0.03776 0.1943 8.471e-8 1 1 1 0.7642 0.0003636 0.0004546 0.007841 -0.1112 1 -0.00001008 0.0001244 0.002363 0.0007564 0.0275 3.508 0.2265 0.02167 0.003294 1 1 0.001998 0.02332 0.07128 0.05292 0.6175 1.888 json
t14_x18_u4_b22 14 18 4 22 cil(mlt(add(R,P),P)) 62660 114416458 o1(o2(o2(x,x),x)) true 160247 160247 0.9488 1 0.9488 0.03868 0.1967 0.000291 1 0.9997 1 0.6599 0.00105 0.0000267 0.008058 0.9504 1 -0.000003397 0.0001962 0.002843 0.001012 0.03181 3.947 0.2265 0.02784 0.005072 1 1 0.002715 0.02895 0.05763 0.07018 0.7485 1.49 json
t14_x18_u4_b23 14 18 4 23 cil(mlt(sub(R,P),P)) 62661 114416459 o1(o2(o2(x,x),x)) true 160255 160255 -0.8865 0 0.8865 0.08698 0.2949 -1 0 1 1 1.1 0.001138 0.0002745 0.01012 0.6114 1 0.000002806 0.0004484 0.004213 0.00131 0.03619 3.576 0.3822 0.01624 0.005155 1 1 0.003424 0.03464 0.1485 0.03936 0.3983 1.707 json
t14_x18_u4_b24 14 18 4 24 cil(mlt(mlt(R,P),P)) 62662 114416460 o1(o2(o2(x,x),x)) true 160263 160263 0.08325 0.5661 0.8399 0.8003 0.8946 -1 1 2 1 2.617 0.04738 0.05737 0.1004 -0.09532 1 0.00009844 0.1951 0.1197 0.09471 0.3077 3.066 2.828 0.1309 0.2438 1 1 0.1096 0.6385 1.283 0.1369 0.7979 1.603 json
t14_x18_u4_b25 14 18 4 25 cil(mlt(div(R,P),P)) 62663 114416461 o1(o2(o2(x,x),x)) true 160271 160271 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_x18_u4_b26 14 18 4 26 cil(mlt(pow(R,P),P)) 62664 114416462 o1(o2(o2(x,x),x)) true 160279 160279 -0.9559 0.02344 0.9833 0.06603 0.257 -1 1 2 1 0.3556 0.007463 0.005853 0.01017 0.1209 1 -2.365e-10 0.02741 0.01653 0.01322 0.115 11.3 2.828 0.2017 0.4151 1 1 0.01082 0.046 0.1228 0.1638 0.6967 1.86 json
t14_x18_u4_b27 14 18 4 27 cil(mlt(mod(R,P),P)) 62665 114416463 o1(o2(o2(x,x),x)) true 160287 160287 -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_x18_u4_b28 14 18 4 28 cil(mlt(lrg(R,P),P)) 62666 114416464 o1(o2(o2(x,x),x)) true 160295 160295 -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_x18_u4_b29 14 18 4 29 cil(mlt(eql(R,P),P)) 62667 114416465 o1(o2(o2(x,x),x)) true 160303 160303 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_x18_u4_b30 14 18 4 30 cil(mlt(min(R,P),P)) 62668 114416466 o1(o2(o2(x,x),x)) true 160311 160311 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_x18_u4_b31 14 18 4 31 cil(mlt(dot(R,P),P)) 62669 114416467 o1(o2(o2(x,x),x)) true 160319 160319 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_x18_u4_b32 14 18 4 32 cil(mlt(dst(R,P),P)) 62670 114416468 o1(o2(o2(x,x),x)) true 160327 160327 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_x18_u4_b33 14 18 4 33 cil(div(add(R,P),P)) 62671 114416469 o1(o2(o2(x,x),x)) true 160335 160335 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_x18_u4_b34 14 18 4 34 cil(div(sub(R,P),P)) 62672 114416470 o1(o2(o2(x,x),x)) true 160343 160343 -0.5898 0 0.5898 0.1582 0.3977 -1 0 1 1 3.342 0.005388 0.002174 0.04902 0.425 1 -0.00003637 0.007749 0.0193 0.00516 0.07183 1.465 1 0.0478 0.04899 1 1 0.01195 0.109 0.2886 0.07556 0.6893 1.825 json
t14_x18_u4_b35 14 18 4 35 cil(div(mlt(R,P),P)) 62673 114416471 o1(o2(o2(x,x),x)) true 160351 160351 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_x18_u4_b36 14 18 4 36 cil(div(div(R,P),P)) 62674 114416472 o1(o2(o2(x,x),x)) true 160359 160359 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_x18_u4_b37 14 18 4 37 cil(div(pow(R,P),P)) 62675 114416473 o1(o2(o2(x,x),x)) true 160367 160367 -0.9903 0.003906 0.9981 0.01698 0.1303 -1 1 2 1 0.07598 0.001284 0.002352 0.002726 -0.2938 1 0.00005008 0.007743 0.004862 0.003626 0.06022 22.09 2 0.2142 0.4561 1 1 0.001463 0.004025 0.01775 0.08619 0.2371 1.045 json
t14_x18_u4_b38 14 18 4 38 cil(div(mod(R,P),P)) 62676 114416474 o1(o2(o2(x,x),x)) true 160375 160375 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_x18_u4_b39 14 18 4 39 cil(div(lrg(R,P),P)) 62677 114416475 o1(o2(o2(x,x),x)) true 160383 160383 -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_x18_u4_b40 14 18 4 40 cil(div(eql(R,P),P)) 62678 114416476 o1(o2(o2(x,x),x)) true 160391 160391 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_x18_u4_b41 14 18 4 41 cil(div(min(R,P),P)) 62679 114416477 o1(o2(o2(x,x),x)) true 160399 160399 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_x18_u4_b42 14 18 4 42 cil(div(dot(R,P),P)) 62680 114416478 o1(o2(o2(x,x),x)) true 160407 160407 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_x18_u4_b43 14 18 4 43 cil(div(dst(R,P),P)) 62681 114416479 o1(o2(o2(x,x),x)) true 160415 160415 -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_x18_u4_b44 14 18 4 44 cil(pow(add(R,P),P)) 62682 114416480 o1(o2(o2(x,x),x)) true 160423 160423 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_x18_u4_b45 14 18 4 45 cil(pow(sub(R,P),P)) 62683 114416481 o1(o2(o2(x,x),x)) true 160431 160431 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_x18_u4_b46 14 18 4 46 cil(pow(mlt(R,P),P)) 62684 114416482 o1(o2(o2(x,x),x)) true 160439 160439 -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_x18_u4_b47 14 18 4 47 cil(pow(div(R,P),P)) 62685 114416483 o1(o2(o2(x,x),x)) true 160447 160447 -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_x18_u4_b48 14 18 4 48 cil(pow(pow(R,P),P)) 62686 114416484 o1(o2(o2(x,x),x)) true 160455 160455 -0.8525 0.07422 0.999 0.2717 0.5213 -1 1 2 1 0.4042 0.02495 0.02413 0.02462 0.01665 1 -0.000002852 0.1024 0.04923 0.04844 0.2201 8.939 2.828 0.1806 0.3769 1 1 0.0467 0.1946 0.6445 0.1719 0.7162 2.372 json
t14_x18_u4_b49 14 18 4 49 cil(pow(mod(R,P),P)) 62687 114416485 o1(o2(o2(x,x),x)) true 160463 160463 -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_x18_u4_b50 14 18 4 50 cil(pow(lrg(R,P),P)) 62688 114416486 o1(o2(o2(x,x),x)) true 160471 160471 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_x18_u4_b51 14 18 4 51 cil(pow(eql(R,P),P)) 62689 114416487 o1(o2(o2(x,x),x)) true 160479 160479 -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_x18_u4_b52 14 18 4 52 cil(pow(min(R,P),P)) 62690 114416488 o1(o2(o2(x,x),x)) true 160487 160487 -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_x18_u4_b53 14 18 4 53 cil(pow(dot(R,P),P)) 62691 114416489 o1(o2(o2(x,x),x)) true 160495 160495 -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_x18_u4_b54 14 18 4 54 cil(pow(dst(R,P),P)) 62692 114416490 o1(o2(o2(x,x),x)) true 160503 160503 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_x18_u4_b55 14 18 4 55 cil(mod(add(R,P),P)) 62693 114416491 o1(o2(o2(x,x),x)) true 160511 160511 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_x18_u4_b56 14 18 4 56 cil(mod(sub(R,P),P)) 62694 114416492 o1(o2(o2(x,x),x)) true 160519 160519 0.0619 0.4375 0.8131 0.7878 0.8876 -1 1 2 1 2.325 0.02184 0.002384 0.03422 0.8031 1 0.0001452 0.04164 0.03613 0.02306 0.1518 4.437 2 0.03074 0.05286 1 1 0.03312 0.167 0.5258 0.04204 0.2119 0.6675 json
t14_x18_u4_b57 14 18 4 57 cil(mod(mlt(R,P),P)) 62695 114416493 o1(o2(o2(x,x),x)) true 160527 160527 -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_x18_u4_b58 14 18 4 58 cil(mod(div(R,P),P)) 62696 114416494 o1(o2(o2(x,x),x)) true 160535 160535 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_x18_u4_b59 14 18 4 59 cil(mod(pow(R,P),P)) 62697 114416495 o1(o2(o2(x,x),x)) true 160543 160543 -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_x18_u4_b60 14 18 4 60 cil(mod(mod(R,P),P)) 62698 114416496 o1(o2(o2(x,x),x)) true 160551 160551 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_x18_u4_b61 14 18 4 61 cil(mod(lrg(R,P),P)) 62699 114416497 o1(o2(o2(x,x),x)) true 160559 160559 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