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_x21_u3_b42 14 21 3 42 flr(div(dot(R,D),P)) 65100 114537480 o1(o2(o2(x,x),x)) true 8807 8807 -0.5648 0.0005798 0.5648 0.1586 0.3983 -1 0.04095 1.041 1 3.442 0.03372 0.03032 0.1116 0.05313 1 0.00003419 0.2005 0.1642 0.0516 0.2272 2.036 1.414 0.4038 1.264 1 1 0.06543 0.2474 0.2863 0.4125 1.56 1.805 json
t14_x21_u3_b43 14 21 3 43 flr(div(dst(R,D),P)) 65101 114537481 o1(o2(o2(x,x),x)) true 8815 8815 -0.545 0.05461 0.58 0.2781 0.5273 -1 1 2 1 1.28 0.01204 0.0008697 0.01114 0.8653 1 0.000005239 0.02837 0.01794 0.01279 0.1131 10.15 2 0.04644 0.102 1 1 0.01618 0.05682 0.1284 0.0582 0.2044 0.4617 json
t14_x21_u3_b44 14 21 3 44 flr(pow(add(R,D),P)) 65102 114537482 o1(o2(o2(x,x),x)) true 8823 8823 -0.8287 0.09468 0.9672 0.2766 0.5259 -1 1 2 1 0.6997 0.08872 0.0161 0.06052 0.6928 1 0.0001694 0.2247 0.1182 0.1013 0.3182 5.258 2.828 0.379 0.8125 1 1 0.09928 0.3192 0.527 0.359 1.154 1.906 json
t14_x21_u3_b45 14 21 3 45 flr(pow(sub(R,D),P)) 65103 114537483 o1(o2(o2(x,x),x)) true 8831 8831 -0.8129 0.09813 0.9659 0.3012 0.5488 -1 1 2 1 0.7416 0.09129 0.01623 0.06227 0.698 1 -2.894e-7 0.2318 0.1204 0.1037 0.322 5.171 2.828 0.357 0.7697 1 1 0.1004 0.3257 0.4857 0.3334 1.082 1.613 json
t14_x21_u3_b46 14 21 3 46 flr(pow(mlt(R,D),P)) 65104 114537484 o1(o2(o2(x,x),x)) true 8839 8839 -0.9082 0.03906 0.9824 0.1572 0.3965 -1 1 2 1 0.3753 0.02131 0.01683 0.02112 0.1176 1 0 0.08046 0.04212 0.03771 0.1942 9.195 2.828 0.2426 0.5119 1 1 0.04319 0.1783 0.384 0.2748 1.134 2.443 json
t14_x21_u3_b47 14 21 3 47 flr(pow(div(R,D),P)) 65105 114537485 o1(o2(o2(x,x),x)) true 8847 8847 -0.905 0.05211 0.9857 0.1643 0.4054 -1 1 2 1 0.4239 0.02172 0.01712 0.0239 0.1185 1 -0.00001799 0.08055 0.04442 0.03827 0.1956 8.186 2.828 0.2363 0.4901 1 1 0.04365 0.1838 0.3923 0.2656 1.119 2.387 json
t14_x21_u3_b48 14 21 3 48 flr(pow(pow(R,D),P)) 65106 114537486 o1(o2(o2(x,x),x)) true 8855 8855 -0.8595 0.07422 0.9921 0.2513 0.5013 -1 1 2 1 0.4841 0.02226 0.02149 0.025 0.01764 1 0.000003713 0.09004 0.04729 0.04314 0.2077 8.307 2.828 0.1741 0.3583 1 1 0.04392 0.1841 0.5865 0.1748 0.7326 2.334 json
t14_x21_u3_b49 14 21 3 49 flr(pow(mod(R,D),P)) 65107 114537487 o1(o2(o2(x,x),x)) true 8863 8863 -0.8652 0.07031 0.9863 0.2357 0.4855 -1 1 2 1 0.5031 0.02052 0.02069 0.02308 -0.004008 1 3.004e-11 0.08573 0.04422 0.04065 0.2016 8.736 2.828 0.1748 0.3637 1 1 0.04117 0.1741 0.5718 0.1746 0.7385 2.426 json
t14_x21_u3_b50 14 21 3 50 flr(pow(lrg(R,D),P)) 65108 114537488 o1(o2(o2(x,x),x)) true 8871 8871 -0.1583 0.5065 0.7626 0.6885 0.8298 -1 1 2 1 2.787 0.08319 0.01281 0.08058 0.7331 1 0.00003414 0.2024 0.1191 0.08949 0.2991 3.712 2.828 0.1394 0.294 1 1 0.09007 0.3106 0.5533 0.1308 0.4511 0.8037 json
t14_x21_u3_b51 14 21 3 51 flr(pow(eql(R,D),P)) 65109 114537489 o1(o2(o2(x,x),x)) true 8879 8879 -0.4687 0.0625 0.5313 0.3049 0.5521 -1 0.9999 2 1 1.407 0.01624 1.509e-7 0.01193 1 1 1.166e-7 0.03191 0.01691 0.01609 0.1268 10.63 2 0.05326 0.1047 1 1 0.0219 0.08325 0.1593 0.07183 0.2731 0.5226 json
t14_x21_u3_b52 14 21 3 52 flr(pow(min(R,D),P)) 65110 114537490 o1(o2(o2(x,x),x)) true 8887 8887 -0.9609 0.01953 1 0.07656 0.2767 -1 1 2 1 0.1388 0.01008 0.006047 0.008007 0.25 1 0 0.03376 0.01612 0.01606 0.1267 15.83 2.828 0.2106 0.441 1 1 0.02216 0.0913 0.2411 0.2895 1.193 3.149 json
t14_x21_u3_b53 14 21 3 53 flr(pow(dot(R,D),P)) 65111 114537491 o1(o2(o2(x,x),x)) true 8895 8895 -0.8718 0.05159 0.9573 0.1962 0.443 -1 1 2 1 0.5529 0.05377 0.0456 0.0555 0.08227 1 -0.0002047 0.3064 0.1189 0.09628 0.3103 5.591 2.828 0.5064 1.562 1 1 0.1096 0.3182 0.4159 0.5585 1.621 2.119 json
t14_x21_u3_b54 14 21 3 54 flr(pow(dst(R,D),P)) 65112 114537492 o1(o2(o2(x,x),x)) true 8903 8903 0.6866 0.9056 0.6866 0.1697 0.412 0 1 1 1 2.348 0.02124 0.02159 0.0845 -0.008099 1 -0.0003646 0.1175 0.1297 0.03567 0.1889 2.235 1.413 0.2523 0.6921 1 1 0.04734 0.202 0.3121 0.2789 1.19 1.839 json
t14_x21_u3_b55 14 21 3 55 flr(mod(add(R,D),P)) 65113 114537493 o1(o2(o2(x,x),x)) true 8911 8911 -0.5351 0.1086 0.5929 0.215 0.4637 -1 0.9988 1.999 1 3.756 0.03086 0.002821 0.09962 0.8325 1 -0.0002356 0.06039 0.1048 0.02376 0.1541 1.547 1 0.1567 0.2809 1 1 0.03481 0.1764 0.3609 0.1619 0.8204 1.679 json
t14_x21_u3_b56 14 21 3 56 flr(mod(sub(R,D),P)) 65114 114537494 o1(o2(o2(x,x),x)) true 8919 8919 -0.5325 0.1069 0.5887 0.2156 0.4644 -1 0.9988 1.999 1 3.742 0.03131 0.002828 0.09874 0.8343 1 -0.00004595 0.06093 0.1048 0.02439 0.1562 1.582 1 0.1583 0.2825 1 1 0.03599 0.1732 0.3587 0.1669 0.8032 1.664 json
t14_x21_u3_b57 14 21 3 57 flr(mod(mlt(R,D),P)) 65115 114537495 o1(o2(o2(x,x),x)) true 8927 8927 -0.5566 0 0.5566 0.155 0.3937 -1 0 1 1 3.463 0.04197 0.002019 0.09035 0.9082 1 0.00001497 0.08179 0.09899 0.03583 0.1893 2.095 1 0.2838 0.5277 1 1 0.04623 0.2095 0.2795 0.2983 1.352 1.804 json
t14_x21_u3_b58 14 21 3 58 flr(mod(div(R,D),P)) 65116 114537496 o1(o2(o2(x,x),x)) true 8935 8935 -0.3491 0.2828 0.761 0.5728 0.7568 -1 1 2 1 3.408 0.2485 0.01343 0.2516 0.8974 1 -0.0004673 0.6094 0.3952 0.1987 0.4458 1.772 2.248 0.4574 1.064 1 1 0.2127 0.7983 0.9337 0.3713 1.394 1.63 json
t14_x21_u3_b59 14 21 3 59 flr(mod(pow(R,D),P)) 65117 114537497 o1(o2(o2(x,x),x)) true 8943 8943 -0.9501 0.02731 0.9796 0.07404 0.2721 -1 1 2 1 0.3273 0.00841 0.006816 0.0114 0.1047 1 -0.00001214 0.03166 0.02027 0.01509 0.1228 10.78 2.828 0.2056 0.4276 1 1 0.01153 0.04745 0.113 0.1557 0.6409 1.526 json
t14_x21_u3_b60 14 21 3 60 flr(mod(mod(R,D),P)) 65118 114537498 o1(o2(o2(x,x),x)) true 8951 8951 -0.582 0 0.582 0.1596 0.3995 -1 0 1 1 3.341 0.005954 0.002174 0.04959 0.465 1 -6.958e-7 0.008895 0.02044 0.005671 0.07531 1.519 1 0.05094 0.05574 1 1 0.01239 0.1095 0.2784 0.07763 0.6861 1.745 json
t14_x21_u3_b61 14 21 3 61 flr(mod(lrg(R,D),P)) 65119 114537499 o1(o2(o2(x,x),x)) true 8959 8959 0.2711 0.7734 0.5211 0.3604 0.6003 -1 1 2 1 3.578 0.02513 0.00174 0.076 0.8705 1 0.00003901 0.04829 0.07515 0.0211 0.1453 1.911 1 0.07456 0.134 1 1 0.029 0.1554 0.5165 0.08046 0.4313 1.433 json
t14_x21_u3_b62 14 21 3 62 flr(mod(eql(R,D),P)) 65120 114537500 o1(o2(o2(x,x),x)) true 8967 8967 -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_x21_u3_b63 14 21 3 63 flr(mod(min(R,D),P)) 65121 114537501 o1(o2(o2(x,x),x)) true 8975 8975 -0.7881 0 0.7881 0.1008 0.3174 -1 -0.000291 0.9997 1 2.562 0.02341 0.001057 0.0611 0.9136 1 0.000007138 0.04357 0.0574 0.02074 0.144 2.357 0.9997 0.2428 0.4324 1 1 0.02498 0.1176 0.1317 0.2479 1.167 1.307 json
t14_x21_u3_b64 14 21 3 64 flr(mod(dot(R,D),P)) 65122 114537502 o1(o2(o2(x,x),x)) true 8983 8983 -0.5526 0.005341 0.5527 0.1602 0.4002 -1 0.07772 1.078 1 3.463 0.03378 0.03037 0.1119 0.05317 1 -0.0002736 0.2008 0.1659 0.05162 0.2272 2.03 1.414 0.4005 1.254 1 1 0.0658 0.2475 0.2898 0.4108 1.545 1.809 json
t14_x21_u3_b65 14 21 3 65 flr(mod(dst(R,D),P)) 65123 114537503 o1(o2(o2(x,x),x)) true 8991 8991 0.3271 0.8371 0.5771 0.391 0.6253 -1 1 2 1 3.467 0.02739 0.01935 0.09439 0.1719 1 0.0001783 0.1321 0.1324 0.03783 0.1945 2.061 1.413 0.1195 0.3378 1 1 0.04897 0.2141 0.603 0.1252 0.5476 1.542 json
t14_x21_u3_b66 14 21 3 66 flr(lrg(add(R,D),P)) 65124 114537504 o1(o2(o2(x,x),x)) true 8999 8999 0.5017 0.5879 0.5017 0.2332 0.4829 0 1 1 1 1.707 0.002579 0.0001747 0.01255 0.8731 1 -0.000009609 0.004619 0.009851 0.002597 0.05096 4.059 0.9926 0.01181 0.01981 1 1 0.003607 0.02284 0.08805 0.01547 0.09794 0.3776 json
t14_x21_u3_b67 14 21 3 67 flr(lrg(sub(R,D),P)) 65125 114537505 o1(o2(o2(x,x),x)) true 9007 9007 0.5017 0.5461 0.5017 0.2404 0.4904 0 1 1 1 1.441 0.002564 0.000168 0.008601 0.877 1 -0.000009608 0.004735 0.008797 0.002659 0.05157 5.995 0.9997 0.01136 0.01969 1 1 0.003586 0.02271 0.09229 0.01492 0.09446 0.3838 json
t14_x21_u3_b68 14 21 3 68 flr(lrg(mlt(R,D),P)) 65126 114537506 o1(o2(o2(x,x),x)) true 9015 9015 0.5 0.5378 0.5 0.2421 0.492 0 1 1 1 1.382 0.003597 0.0001053 0.007956 0.9431 1 -3.219e-10 0.006751 0.008078 0.003638 0.06032 7.581 1 0.01529 0.02789 1 1 0.005344 0.0265 0.09053 0.02207 0.1095 0.3739 json
t14_x21_u3_b69 14 21 3 69 flr(lrg(div(R,D),P)) 65127 114537507 o1(o2(o2(x,x),x)) true 9023 9023 0.5006 0.6666 0.5006 0.2145 0.4631 0 1 1 1 2.252 0.07443 0.001095 0.1036 0.971 1 0.000505 0.1656 0.1758 0.06478 0.2545 2.456 1 0.3522 0.7721 1 1 0.0765 0.1704 0.1893 0.3567 0.7948 0.8828 json
t14_x21_u3_b70 14 21 3 70 flr(lrg(pow(R,D),P)) 65128 114537508 o1(o2(o2(x,x),x)) true 9031 9031 0.806 0.9914 0.806 0.1119 0.3346 0 1 1 1 2.052 0.00334 0.001116 0.02644 0.4992 1 0.00001777 0.005082 0.01199 0.003758 0.0613 2.318 0.9997 0.0398 0.0454 1 1 0.006511 0.0574 0.1377 0.05816 0.5128 1.23 json
t14_x21_u3_b71 14 21 3 71 flr(lrg(mod(R,D),P)) 65129 114537509 o1(o2(o2(x,x),x)) true 9039 9039 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_x21_u3_b72 14 21 3 72 flr(lrg(lrg(R,D),P)) 65130 114537510 o1(o2(o2(x,x),x)) true 9047 9047 0.4954 0.522 0.4954 0.2439 0.4938 0 1 1 1 1.312 0.001031 0.000103 0.004918 0.8183 1 -0.000002813 0.001445 0.003705 0.001109 0.0333 6.772 0.9264 0.004649 0.005925 1 1 0.002051 0.0179 0.09272 0.008412 0.07339 0.3802 json
t14_x21_u3_b73 14 21 3 73 flr(lrg(eql(R,D),P)) 65131 114537511 o1(o2(o2(x,x),x)) true 9055 9055 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_x21_u3_b74 14 21 3 74 flr(lrg(min(R,D),P)) 65132 114537512 o1(o2(o2(x,x),x)) true 9063 9063 0.4824 0.5378 0.4824 0.2389 0.4888 0 1 1 1 1.486 0.002093 0.00005267 0.007983 0.9509 1 -0.000002853 0.003286 0.004977 0.002081 0.04562 5.715 0.9994 0.008984 0.01375 1 1 0.003596 0.02222 0.07826 0.01505 0.09301 0.3276 json
t14_x21_u3_b75 14 21 3 75 flr(lrg(dot(R,D),P)) 65133 114537513 o1(o2(o2(x,x),x)) true 9071 9071 0.501 0.5466 0.501 0.2411 0.491 0 1 1 1 1.421 0.002838 0.001955 0.01021 0.1842 1 -0.00001934 0.01541 0.01267 0.004689 0.06847 6.706 1.409 0.01988 0.06392 1 1 0.006801 0.0302 0.08809 0.02821 0.1253 0.3654 json
t14_x21_u3_b76 14 21 3 76 flr(lrg(dst(R,D),P)) 65134 114537514 o1(o2(o2(x,x),x)) true 9079 9079 0.5703 0.6169 0.5703 0.2373 0.4872 0 1 1 1 1.36 0.001875 0.001644 0.008277 0.06575 1 0.000001304 0.01025 0.01038 0.003447 0.05871 7.093 1.404 0.01483 0.0432 1 1 0.005233 0.02504 0.08669 0.02205 0.1055 0.3653 json
t14_x21_u3_b77 14 21 3 77 flr(eql(add(R,D),P)) 65135 114537515 o1(o2(o2(x,x),x)) true 9087 9087 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_x21_u3_b78 14 21 3 78 flr(eql(sub(R,D),P)) 65136 114537516 o1(o2(o2(x,x),x)) true 9095 9095 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_x21_u3_b79 14 21 3 79 flr(eql(mlt(R,D),P)) 65137 114537517 o1(o2(o2(x,x),x)) true 9103 9103 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_x21_u3_b80 14 21 3 80 flr(eql(div(R,D),P)) 65138 114537518 o1(o2(o2(x,x),x)) true 9111 9111 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_x21_u3_b81 14 21 3 81 flr(eql(pow(R,D),P)) 65139 114537519 o1(o2(o2(x,x),x)) true 9119 9119 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_x21_u3_b82 14 21 3 82 flr(eql(mod(R,D),P)) 65140 114537520 o1(o2(o2(x,x),x)) true 9127 9127 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_x21_u3_b83 14 21 3 83 flr(eql(lrg(R,D),P)) 65141 114537521 o1(o2(o2(x,x),x)) true 9135 9135 0.07581 0.134 0.07581 0.05735 0.2395 0 1 1 1 0.878 0.002091 0.0002371 0.009857 0.7963 1 -0.000008333 0.003172 0.007306 0.002231 0.04724 4.792 0.9997 0.0406 0.05531 1 1 0.004333 0.03216 0.1035 0.07556 0.5607 1.805 json
t14_x21_u3_b84 14 21 3 84 flr(eql(eql(R,D),P)) 65142 114537522 o1(o2(o2(x,x),x)) true 9143 9143 0.06254 0.125 0.06254 0.04512 0.2124 0 0.9999 0.9999 1 0.8129 0.0007211 1.509e-7 0.007966 0.9996 1 1.161e-7 0.00007655 0.001972 0.0006579 0.02565 3.22 0.4319 0.01598 0.001697 1 1 0.001851 0.02408 0.06599 0.04102 0.5337 1.463 json
t14_x21_u3_b85 14 21 3 85 flr(eql(min(R,D),P)) 65143 114537523 o1(o2(o2(x,x),x)) true 9151 9151 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_x21_u3_b86 14 21 3 86 flr(eql(dot(R,D),P)) 65144 114537524 o1(o2(o2(x,x),x)) true 9159 9159 0.00002339 0.00006104 0.00002339 0.00001388 0.003725 0 0.6669 0.6669 1 0.001004 0.00002864 0.00002864 0.00008242 0 0 0 0.0002864 0.0001931 0.00005727 0.007568 91.82 0.9432 4.128 20.64 1 1 0 0 0.00001246 0 0 0.8978 json
t14_x21_u3_b87 14 21 3 87 flr(eql(dst(R,D),P)) 65145 114537525 o1(o2(o2(x,x),x)) true 9167 9167 0.00001866 0.0001068 0.00001866 0.00001186 0.003444 0 0.8547 0.8547 1 0.0007985 0.00002449 0.00002449 0.00006575 0 0 0 0.0002449 0.0001541 0.00004897 0.006998 106.4 1.209 4.128 20.64 1 1 0.000002607 0.00001272 0.00001272 0.2197 1.073 1.072 json
t14_x21_u3_b88 14 21 3 88 flr(min(add(R,D),P)) 65146 114537526 o1(o2(o2(x,x),x)) true 9175 9175 -0.7355 0.05183 0.7627 0.1677 0.4095 -1 0.9988 1.999 1 2.599 0.01551 0.001592 0.05598 0.8138 1 0.0002287 0.02992 0.05644 0.01396 0.1182 2.111 0.9997 0.102 0.1784 1 1 0.01908 0.1055 0.2282 0.1138 0.6293 1.361 json
t14_x21_u3_b89 14 21 3 89 flr(min(sub(R,D),P)) 65147 114537527 o1(o2(o2(x,x),x)) true 9183 9183 -0.724 0.06114 0.7558 0.1751 0.4184 -1 0.9985 1.999 1 2.694 0.01697 0.001645 0.06001 0.8233 1 -0.000007038 0.03286 0.06135 0.01501 0.1225 2.042 1 0.1063 0.1877 1 1 0.02073 0.1067 0.2418 0.1184 0.6092 1.381 json
t14_x21_u3_b90 14 21 3 90 flr(min(mlt(R,D),P)) 65148 114537528 o1(o2(o2(x,x),x)) true 9191 9191 -0.7344 0 0.7344 0.1391 0.3729 -1 0 1 1 2.537 0.02512 0.001307 0.05492 0.9011 1 -0.000004283 0.04904 0.05946 0.02341 0.153 2.786 1 0.19 0.3526 1 1 0.0308 0.1426 0.1827 0.2215 1.026 1.314 json
t14_x21_u3_b91 14 21 3 91 flr(min(div(R,D),P)) 65149 114537529 o1(o2(o2(x,x),x)) true 9199 9199 -0.6158 0.1723 0.8827 0.4693 0.6851 -1 1 2 1 2.165 0.116 0.01324 0.1177 0.7951 1 0.0001077 0.2552 0.1733 0.1153 0.3396 2.884 2.821 0.2754 0.5437 1 1 0.1451 0.6047 0.6501 0.3092 1.288 1.385 json
t14_x21_u3_b92 14 21 3 92 flr(min(pow(R,D),P)) 65150 114537530 o1(o2(o2(x,x),x)) true 9207 9207 -0.04743 0.5 0.8901 0.8619 0.9284 -1 1 2 1 2.308 0.01087 0.001038 0.03071 0.8257 1 -0.000006507 0.01949 0.02937 0.01096 0.1047 3.409 0.9997 0.01382 0.02261 1 1 0.01491 0.06875 0.2421 0.0173 0.07977 0.2809 json
t14_x21_u3_b93 14 21 3 93 flr(min(mod(R,D),P)) 65151 114537531 o1(o2(o2(x,x),x)) true 9215 9215 -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_x21_u3_b94 14 21 3 94 flr(min(lrg(R,D),P)) 65152 114537532 o1(o2(o2(x,x),x)) true 9223 9223 -0.2374 0.4651 0.7001 0.5835 0.7638 -1 1 2 1 3.186 0.01023 0.001034 0.04502 0.8164 1 0.00003414 0.0183 0.03545 0.009238 0.09612 2.135 0.9997 0.01931 0.03136 1 1 0.01267 0.08445 0.2757 0.02171 0.1447 0.4725 json
t14_x21_u3_b95 14 21 3 95 flr(min(eql(R,D),P)) 65153 114537533 o1(o2(o2(x,x),x)) true 9231 9231 -0.4687 0.0002289 0.4688 0.2423 0.4922 -1 0.3282 1.328 1 1.409 0.0003675 1.509e-7 0.004031 0.9992 1 1.175e-7 0.00006027 0.001052 0.0003516 0.01875 4.651 0.3186 0.001517 0.0002487 1 1 0.0009255 0.01214 0.07511 0.003819 0.05011 0.31 json
t14_x21_u3_b96 14 21 3 96 flr(min(min(R,D),P)) 65154 114537534 o1(o2(o2(x,x),x)) true 9239 9239 -0.8867 0 0.8867 0.06403 0.253 -1 -0.000291 0.9997 1 1.639 0.01363 0.0006318 0.03482 0.9114 1 -0.00006203 0.02557 0.03365 0.01305 0.1142 3.281 0.9997 0.2227 0.3993 1 1 0.01644 0.07574 0.0849 0.2567 1.183 1.326 json
t14_x21_u3_b97 14 21 3 97 flr(min(dot(R,D),P)) 65155 114537535 o1(o2(o2(x,x),x)) true 9247 9247 -0.7329 0.004105 0.7329 0.1431 0.3783 -1 0.07772 1.078 1 2.535 0.01914 0.01811 0.06675 0.02757 1 -0.0001367 0.1169 0.09695 0.03281 0.1811 2.713 1.414 0.2603 0.8173 1 1 0.04077 0.1607 0.1972 0.285 1.123 1.378 json
t14_x21_u3_b98 14 21 3 98 flr(min(dst(R,D),P)) 65156 114537536 o1(o2(o2(x,x),x)) true 9255 9255 -0.1986 0.4799 0.7389 0.6498 0.8061 -1 1 2 1 3.039 0.01205 0.0118 0.0538 0.01064 1 0.0001645 0.07008 0.06955 0.02096 0.1448 2.691 1.413 0.03671 0.1079 1 1 0.02669 0.1199 0.2991 0.04107 0.1846 0.4603 json
t14_x21_u3_b99 14 21 3 99 flr(dot(add(R,D),P)) 65157 114537537 o1(o2(o2(x,x),x)) true 9263 9263 -0.3001 0.3368 0.8626 0.732 0.8556 -1 1 2 1 2.651 0.04837 0.05398 0.142 -0.05482 1 0.0008467 0.2289 0.2117 0.08217 0.2867 2.018 2.219 0.1398 0.3127 1 1 0.1107 0.617 1.293 0.1513 0.8428 1.767 json
t14_x21_u3_b100 14 21 3 100 flr(dot(sub(R,D),P)) 65158 114537538 o1(o2(o2(x,x),x)) true 9271 9271 -0.154 0.4199 0.8486 0.7809 0.8837 -1 1 2 1 2.835 0.04957 0.05505 0.1493 -0.05238 1 -0.001068 0.2377 0.2211 0.08235 0.287 1.923 2.139 0.134 0.3044 1 1 0.1129 0.6355 1.368 0.1445 0.8138 1.751 json
t14_x21_u3_b101 14 21 3 101 flr(dot(mlt(R,D),P)) 65159 114537539 o1(o2(o2(x,x),x)) true 9279 9279 -0.3978 0.2261 0.6096 0.3602 0.6002 -1 1 2 1 4.018 0.05331 0.0536 0.1915 -0.002687 1 -0.000533 0.3101 0.3066 0.07021 0.265 1.383 1.543 0.2968 0.861 1 1 0.1001 0.4488 0.5859 0.2778 1.246 1.627 json
t14_x21_u3_b102 14 21 3 102 flr(dot(div(R,D),P)) 65160 114537540 o1(o2(o2(x,x),x)) true 9287 9287 -0.05293 0.4704 0.9549 0.9387 0.9689 -1 1 2 1 1.724 0.3414 0.3457 0.3795 -0.006202 1 0.00009033 1.814 0.7237 0.5432 0.737 1.942 2.828 0.732 1.933 1 1 0.6416 1.694 1.803 0.6835 1.805 1.921 json
t14_x21_u3_b103 14 21 3 103 flr(dot(pow(R,D),P)) 65161 114537541 o1(o2(o2(x,x),x)) true 9295 9295 -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_x21_u3_b104 14 21 3 104 flr(dot(mod(R,D),P)) 65162 114537542 o1(o2(o2(x,x),x)) true 9303 9303 -0.4504 0.1884 0.6141 0.3244 0.5696 -1 1 2 1 3.881 0.09401 0.1034 0.2777 -0.04777 1 -0.001138 0.6373 0.4735 0.1203 0.3469 1.249 2.118 0.6086 1.964 1 1 0.1007 0.2706 0.5197 0.3104 0.8341 1.602 json
t14_x21_u3_b105 14 21 3 105 flr(dot(lrg(R,D),P)) 65163 114537543 o1(o2(o2(x,x),x)) true 9311 9311 0.0007279 0.5022 0.8528 0.8207 0.9059 -1 1 2 1 2.605 0.03169 0.03385 0.09372 -0.03305 1 0.00005457 0.1109 0.1148 0.05676 0.2382 2.542 2.207 0.07985 0.1351 1 1 0.06675 0.3323 0.694 0.08133 0.4049 0.8456 json
t14_x21_u3_b106 14 21 3 106 flr(dot(eql(R,D),P)) 65164 114537544 o1(o2(o2(x,x),x)) true 9319 9319 -0.0001701 0.0002289 0.0002502 0.000152 0.01233 -0.8606 0.3282 1.189 1 0.0104 0.00001661 0.0002927 0.0005009 -0.8926 1 1.171e-7 0.0009302 0.0009922 0.000309 0.01758 35.09 0.8606 2.035 6.119 1 1 0.0002646 0.0003513 0.0005225 1.74 2.311 3.437 json
t14_x21_u3_b107 14 21 3 107 flr(dot(min(R,D),P)) 65165 114537545 o1(o2(o2(x,x),x)) true 9327 9327 -0.2985 0.3245 0.8147 0.6754 0.8219 -1 1 2 1 3.028 0.03461 0.03794 0.1279 -0.04595 1 0.001025 0.1695 0.1846 0.0562 0.2371 1.854 1.544 0.1074 0.251 1 1 0.07499 0.3971 0.7209 0.111 0.5879 1.067 json
t14_x21_u3_b108 14 21 3 108 flr(dot(dot(R,D),P)) 65166 114537546 o1(o2(o2(x,x),x)) true 9335 9335 -0.3422 0.2438 0.6006 0.3992 0.6318 -1 1 2 1 3.995 0.05706 0.05784 0.1915 -0.006767 1 -0.0001829 0.3611 0.3161 0.07821 0.2797 1.46 1.734 0.2878 0.9047 1 1 0.1064 0.5051 0.7008 0.2664 1.265 1.756 json
t14_x21_u3_b109 14 21 3 109 flr(dot(dst(R,D),P)) 65167 114537547 o1(o2(o2(x,x),x)) true 9343 9343 -0.03704 0.4839 0.922 0.9036 0.9506 -1 1 2 1 1.971 0.002612 0.002807 0.01798 -0.03587 1 0.000005841 0.01229 0.01662 0.005097 0.07139 3.971 1.408 0.005997 0.0136 1 1 0.008983 0.06077 0.3831 0.009941 0.06725 0.424 json
t14_x21_u3_b110 14 21 3 110 flr(dst(add(R,D),P)) 65168 114537548 o1(o2(o2(x,x),x)) true 9351 9351 0.9937 1 0.9937 0.004501 0.06709 0.0005821 1 0.9994 1 0.1302 0.0006225 0.0006399 0.002844 -0.01378 1 0 0.003427 0.003787 0.001254 0.03541 12.45 1.413 0.2805 0.7615 1 1 0.00256 0.01102 0.01577 0.5687 2.448 3.504 json
t14_x21_u3_b111 14 21 3 111 flr(dst(sub(R,D),P)) 65169 114537549 o1(o2(o2(x,x),x)) true 9359 9359 0.989 0.9997 0.989 0.007586 0.0871 0 1 1 1 0.2188 0.0007155 0.0007101 0.003392 0.003738 1 -9.011e-11 0.004039 0.004314 0.001416 0.03763 11.09 1.408 0.1879 0.5324 1 1 0.002815 0.01381 0.02595 0.371 1.821 3.421 json
t14_x21_u3_b112 14 21 3 112 flr(dst(mlt(R,D),P)) 65170 114537550 o1(o2(o2(x,x),x)) true 9367 9367 0.9902 0.9996 0.9902 0.008114 0.09008 8.471e-8 1 1 1 0.1534 0.0004999 0.0006048 0.002256 -0.09502 1 1.877e-11 0.002786 0.003037 0.001101 0.03318 14.71 1.394 0.1362 0.3434 1 1 0.00213 0.01036 0.02811 0.2625 1.277 3.464 json
t14_x21_u3_b113 14 21 3 113 flr(dst(div(R,D),P)) 65171 114537551 o1(o2(o2(x,x),x)) true 9375 9375 -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_x21_u3_b114 14 21 3 114 flr(dst(pow(R,D),P)) 65172 114537552 o1(o2(o2(x,x),x)) true 9383 9383 -0.9922 0.003906 1 0.01556 0.1248 -1 1 2 1 0.03687 0.002016 0.002016 0.001997 0 1 0 0.008566 0.004031 0.004024 0.06344 31.76 2.828 0.259 0.5504 1 1 0.007091 0.02837 0.05496 0.4556 1.823 3.531 json
t14_x21_u3_b115 14 21 3 115 flr(dst(mod(R,D),P)) 65173 114537553 o1(o2(o2(x,x),x)) true 9391 9391 0.99 0.9997 0.99 0.007695 0.08772 1.694e-7 1 1 1 0.1777 0.001186 0.002423 0.005716 -0.3427 1 -2.628e-11 0.01189 0.009748 0.003576 0.0598 10.46 1.213 0.4691 1.545 1 1 0.00289 0.009367 0.02542 0.3756 1.217 3.304 json
t14_x21_u3_b116 14 21 3 116 flr(dst(lrg(R,D),P)) 65174 114537554 o1(o2(o2(x,x),x)) true 9399 9399 0.9972 1 0.9972 0.001881 0.04337 0.0005819 1 0.9994 1 0.07069 0.00004659 0.0001185 0.0007405 -0.4358 1 -1.502e-10 0.0001947 0.0005078 0.0001648 0.01284 17.33 0.7742 0.08778 0.1035 1 1 0.0004154 0.00344 0.006859 0.2208 1.828 3.646 json
t14_x21_u3_b117 14 21 3 117 flr(dst(eql(R,D),P)) 65175 114537555 o1(o2(o2(x,x),x)) true 9407 9407 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_x21_u3_b118 14 21 3 118 flr(dst(min(R,D),P)) 65176 114537556 o1(o2(o2(x,x),x)) true 9415 9415 0.9898 0.9999 0.9898 0.007341 0.08568 1.694e-7 1 1 1 0.1985 0.0002269 0.0002649 0.002575 -0.07741 1 -1.502e-11 0.001069 0.002476 0.0004847 0.02202 8.548 0.7766 0.06699 0.1457 1 1 0.00113 0.008038 0.02626 0.154 1.095 3.578 json
t14_x21_u3_b119 14 21 3 119 flr(dst(dot(R,D),P)) 65177 114537557 o1(o2(o2(x,x),x)) true 9423 9423 0.9896 0.9998 0.9896 0.007777 0.08819 1.694e-7 1 1 1 0.1941 0.0007432 0.0006723 0.003361 0.05008 1 -1.352e-10 0.004035 0.004517 0.001403 0.03745 11.14 1.388 0.182 0.5188 1 1 0.002709 0.01169 0.02582 0.3483 1.503 3.321 json
t14_x21_u3_b120 14 21 3 120 flr(dst(dst(R,D),P)) 65178 114537558 o1(o2(o2(x,x),x)) true 9431 9431 0.9977 1 0.9977 0.001328 0.03644 0.0142 1 0.9858 1 0.06861 0.0002957 0.0003674 0.001386 -0.1081 1 3.379e-11 0.002064 0.001998 0.000662 0.02573 18.56 1.383 0.4995 1.555 1 1 0.001215 0.003936 0.004763 0.9152 2.965 3.588 json
t14_x21_u4_b0 14 21 4 0 cil(add(add(R,D),P)) 65179 114537639 o1(o2(o2(x,x),x)) true 9439 9439 0.06627 0.5292 0.9337 0.9156 0.9569 -1 1 2 1 1.827 0.00507 0.00046 0.01546 0.8336 1 -0.00002021 0.00952 0.01704 0.005294 0.07276 4.706 0.9994 0.00604 0.0104 1 1 0.008404 0.05105 0.2777 0.009178 0.05575 0.3033 json
t14_x21_u4_b1 14 21 4 1 cil(add(sub(R,D),P)) 65180 114537640 o1(o2(o2(x,x),x)) true 9447 9447 0.06596 0.5289 0.9319 0.9118 0.9549 -1 1 2 1 1.887 0.005548 0.0004462 0.02022 0.8511 1 -0.00002057 0.009759 0.01993 0.005584 0.07472 3.696 0.9986 0.006574 0.0107 1 1 0.009145 0.0522 0.271 0.01003 0.05724 0.2971 json
t14_x21_u4_b2 14 21 4 2 cil(add(mlt(R,D),P)) 65181 114537641 o1(o2(o2(x,x),x)) true 9455 9455 0.06065 0.5312 0.9382 0.9215 0.9599 -1 1 2 1 1.811 0.007365 0.00023 0.01623 0.9394 1 8.881e-7 0.01321 0.01645 0.007335 0.08564 5.275 1 0.008243 0.01433 1 1 0.01163 0.05908 0.2717 0.01262 0.06412 0.2948 json
t14_x21_u4_b3 14 21 4 3 cil(add(div(R,D),P)) 65182 114537642 o1(o2(o2(x,x),x)) true 9463 9463 0.05156 0.5235 0.9484 0.9285 0.9636 -1 1 2 1 1.829 0.3207 0.02056 0.2123 0.8795 1 0.0008429 0.809 0.3714 0.2961 0.5441 2.563 2.828 0.3675 0.8712 1 1 0.3405 0.7464 0.8245 0.3667 0.8039 0.888 json
t14_x21_u4_b4 14 21 4 4 cil(add(pow(R,D),P)) 65183 114537643 o1(o2(o2(x,x),x)) true 9471 9471 -0.97 0.01563 0.9963 0.05425 0.2329 -1 1 2 1 0.1775 0.004509 0.006074 0.006705 -0.1478 1 -6.007e-11 0.02162 0.0114 0.01054 0.1026 15.31 2.828 0.1951 0.3985 1 1 0.00706 0.03421 0.08253 0.1301 0.6306 1.521 json
t14_x21_u4_b5 14 21 4 5 cil(add(mod(R,D),P)) 65184 114537644 o1(o2(o2(x,x),x)) true 9479 9479 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_x21_u4_b6 14 21 4 6 cil(add(lrg(R,D),P)) 65185 114537645 o1(o2(o2(x,x),x)) true 9487 9487 0.06314 0.5275 0.9321 0.9133 0.9557 -1 1 2 1 1.872 0.002589 0.0002254 0.01394 0.8398 1 -0.00001332 0.003498 0.009582 0.00262 0.05118 3.673 0.9986 0.003081 0.00383 1 1 0.005541 0.04145 0.2565 0.006067 0.04538 0.2809 json
t14_x21_u4_b7 14 21 4 7 cil(add(eql(R,D),P)) 65186 114537646 o1(o2(o2(x,x),x)) true 9495 9495 0.00004008 0.5 0.9375 0.924 0.9613 -1 1 2 1 1.813 0.0007197 1.509e-7 0.007967 0.9996 1 1.17e-7 0.00007637 0.001971 0.0006566 0.02562 3.216 0.4213 0.0007791 0.00008264 1 1 0.001851 0.02449 0.2344 0.002003 0.0265 0.2537 json
t14_x21_u4_b8 14 21 4 8 cil(add(min(R,D),P)) 65187 114537647 o1(o2(o2(x,x),x)) true 9503 9503 0.03125 0.5 0.9336 0.9229 0.9607 -1 1 2 1 1.716 0.003964 0.0001228 0.00908 0.9399 1 -0.000008557 0.007347 0.009205 0.004002 0.06326 6.967 1 0.004428 0.007961 1 1 0.005943 0.0364 0.2553 0.00644 0.03944 0.2766 json
t14_x21_u4_b9 14 21 4 9 cil(add(dot(R,D),P)) 65188 114537648 o1(o2(o2(x,x),x)) true 9511 9511 0.06095 0.5315 0.9395 0.9221 0.9602 -1 1 2 1 1.818 0.005581 0.003931 0.01902 0.1735 1 0.00002343 0.02793 0.02431 0.009154 0.09567 5.031 1.418 0.01032 0.03029 1 1 0.01408 0.06803 0.2623 0.01527 0.07378 0.2845 json
t14_x21_u4_b10 14 21 4 10 cil(add(dst(R,D),P)) 65189 114537649 o1(o2(o2(x,x),x)) true 9519 9519 0.2009 0.603 0.9379 0.8837 0.94 -1 1 2 1 1.788 0.003391 0.002719 0.01584 0.1099 1 -0.00001295 0.01618 0.01795 0.005856 0.07652 4.832 1.409 0.006915 0.01831 1 1 0.009416 0.0521 0.2482 0.01066 0.05896 0.2809 json
t14_x21_u4_b11 14 21 4 11 cil(sub(add(R,D),P)) 65190 114537650 o1(o2(o2(x,x),x)) true 9527 9527 0.06942 0.5313 0.9284 0.9087 0.9533 -1 1 2 1 1.904 0.005652 0.0004702 0.02054 0.8464 1 -0.00002293 0.009921 0.01997 0.005704 0.07552 3.678 0.9983 0.006738 0.01092 1 1 0.009251 0.05652 0.2625 0.01018 0.0622 0.2888 json
t14_x21_u4_b12 14 21 4 12 cil(sub(sub(R,D),P)) 65191 114537651 o1(o2(o2(x,x),x)) true 9535 9535 0.07006 0.5342 0.9314 0.9115 0.9547 -1 1 2 1 1.879 0.005294 0.0004608 0.01641 0.8399 1 -0.00002259 0.009933 0.01763 0.005489 0.07409 4.516 1.113 0.006314 0.0109 1 1 0.008345 0.0525 0.2685 0.009156 0.05759 0.2946 json
t14_x21_u4_b13 14 21 4 13 cil(sub(mlt(R,D),P)) 65192 114537652 o1(o2(o2(x,x),x)) true 9543 9543 0.06222 0.5227 0.9377 0.9191 0.9587 -1 1 2 1 1.852 0.007208 0.0002815 0.0172 0.9248 1 0.000002143 0.01282 0.01638 0.007196 0.08483 4.933 1 0.00815 0.01395 1 1 0.01117 0.06078 0.2584 0.01215 0.06613 0.2812 json
t14_x21_u4_b14 14 21 4 14 cil(sub(div(R,D),P)) 65193 114537653 o1(o2(o2(x,x),x)) true 9551 9551 0.05367 0.5257 0.9474 0.9275 0.9631 -1 1 2 1 1.834 0.324 0.02097 0.2151 0.8785 1 0.0007951 0.8137 0.3755 0.2987 0.5465 2.541 2.828 0.3719 0.8773 1 1 0.3453 0.7581 0.8222 0.3723 0.8174 0.8865 json
t14_x21_u4_b15 14 21 4 15 cil(sub(pow(R,D),P)) 65194 114537654 o1(o2(o2(x,x),x)) true 9559 9559 -0.9219 0.03906 1 0.15 0.3873 -1 1 2 1 0.238 0.01587 0.01461 0.01513 0.04132 1 0 0.06374 0.03049 0.03027 0.174 11.5 2.828 0.2032 0.425 1 1 0.02543 0.1095 0.2624 0.1695 0.7302 1.75 json
t14_x21_u4_b16 14 21 4 16 cil(sub(mod(R,D),P)) 65195 114537655 o1(o2(o2(x,x),x)) true 9567 9567 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_x21_u4_b17 14 21 4 17 cil(sub(lrg(R,D),P)) 65196 114537656 o1(o2(o2(x,x),x)) true 9575 9575 0.067 0.5217 0.9271 0.9111 0.9545 -1 1 2 1 1.811 0.00248 0.000243 0.01004 0.8215 1 -0.00001554 0.003616 0.007898 0.002622 0.05121 5.099 1.113 0.002988 0.003969 1 1 0.005236 0.04179 0.2547 0.005747 0.04587 0.2796 json
t14_x21_u4_b18 14 21 4 18 cil(sub(eql(R,D),P)) 65197 114537657 o1(o2(o2(x,x),x)) true 9583 9583 0.00004007 0.5 0.9375 0.924 0.9612 -1 1 2 1 1.813 0.0007211 1.509e-7 0.007968 0.9996 1 1.171e-7 0.00007649 0.001967 0.0006578 0.02565 3.219 0.4319 0.0007805 0.00008278 1 1 0.001851 0.02449 0.2344 0.002003 0.02651 0.2537 json
t14_x21_u4_b19 14 21 4 19 cil(sub(min(R,D),P)) 65198 114537658 o1(o2(o2(x,x),x)) true 9591 9591 0.03249 0.5159 0.935 0.9187 0.9585 -1 1 2 1 1.882 0.005565 0.0001359 0.01727 0.9523 1 -0.000008556 0.008168 0.01271 0.005406 0.07352 4.256 0.9991 0.006206 0.008891 1 1 0.009422 0.05341 0.2431 0.01026 0.05814 0.2647 json
t14_x21_u4_b20 14 21 4 20 cil(sub(dot(R,D),P)) 65199 114537659 o1(o2(o2(x,x),x)) true 9599 9599 0.06295 0.5246 0.9381 0.9189 0.9586 -1 1 2 1 1.868 0.005561 0.003994 0.02023 0.164 1 -0.00003829 0.02791 0.02481 0.009143 0.09562 4.726 1.413 0.0104 0.03037 1 1 0.01391 0.06747 0.2568 0.01514 0.07342 0.2794 json