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
t16_x6_u4_b6 16 6 4 6 add(P,cil(lrg(R,P))) 80200 130172832 o2(x,o1(o2(x,x))) true 129607 129607 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
t16_x6_u4_b7 16 6 4 7 add(P,cil(eql(R,P))) 80201 130172833 o2(x,o1(o2(x,x))) true 129615 129615 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
t16_x6_u4_b8 16 6 4 8 add(P,cil(min(R,P))) 80202 130172834 o2(x,o1(o2(x,x))) true 129623 129623 -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
t16_x6_u4_b9 16 6 4 9 add(P,cil(dot(R,P))) 80203 130172835 o2(x,o1(o2(x,x))) true 129631 129631 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
t16_x6_u4_b10 16 6 4 10 add(P,cil(dst(R,P))) 80204 130172836 o2(x,o1(o2(x,x))) true 129639 129639 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
t16_x6_u4_b11 16 6 4 11 sub(P,cil(add(R,P))) 80205 130172837 o2(x,o1(o2(x,x))) true 129647 129647 -0.4824 0 0.4824 0.1537 0.3921 -1 0 1 1 3.644 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
t16_x6_u4_b12 16 6 4 12 sub(P,cil(sub(R,P))) 80206 130172838 o2(x,o1(o2(x,x))) true 129655 129655 -0.0294 0.4854 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
t16_x6_u4_b13 16 6 4 13 sub(P,cil(mlt(R,P))) 80207 130172839 o2(x,o1(o2(x,x))) true 129663 129663 -0.0588 0.4782 0.888 0.8669 0.9311 -1 1 2 1 2.114 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
t16_x6_u4_b14 16 6 4 14 sub(P,cil(div(R,P))) 80208 130172840 o2(x,o1(o2(x,x))) true 129671 129671 -0.1401 0.4375 0.9849 0.9613 0.9805 -1 1 2 1 1.234 0.008365 0.00008881 0.008556 0.979 1 0.000003565 0.01613 0.01193 0.008374 0.09151 10.69 2 0.008793 0.01678 1 1 0.01257 0.06467 0.3185 0.01307 0.06727 0.3313 json
t16_x6_u4_b15 16 6 4 15 sub(P,cil(pow(R,P))) 80209 130172841 o2(x,o1(o2(x,x))) true 129679 129679 -0.9824 0.003906 0.9902 0.02298 0.1516 -1 1 2 1 0.2073 0.002379 0.002356 0.004594 0.004849 1 -4.881e-11 0.009725 0.007077 0.004716 0.06867 14.95 2 0.206 0.4231 1 1 0.001988 0.008728 0.02858 0.08648 0.3797 1.243 json
t16_x6_u4_b16 16 6 4 16 sub(P,cil(mod(R,P))) 80210 130172842 o2(x,o1(o2(x,x))) true 129687 129687 -0.1401 0.4375 0.9849 0.9613 0.9805 -1 1 2 1 1.234 0.008365 0.00008881 0.008556 0.979 1 0.000003565 0.01613 0.01193 0.008374 0.09151 10.69 2 0.008793 0.01678 1 1 0.01257 0.06467 0.3185 0.01307 0.06727 0.3313 json
t16_x6_u4_b17 16 6 4 17 sub(P,cil(lrg(R,P))) 80211 130172843 o2(x,o1(o2(x,x))) true 129695 129695 -0.03313 0.4839 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
t16_x6_u4_b18 16 6 4 18 sub(P,cil(eql(R,P))) 80212 130172844 o2(x,o1(o2(x,x))) true 129703 129703 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
t16_x6_u4_b19 16 6 4 19 sub(P,cil(min(R,P))) 80213 130172845 o2(x,o1(o2(x,x))) true 129711 129711 0.4341 0.4783 0.4341 0.2375 0.4873 0 1 1 1 1.377 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
t16_x6_u4_b20 16 6 4 20 sub(P,cil(dot(R,P))) 80214 130172846 o2(x,o1(o2(x,x))) true 129719 129719 -0.06755 0.4668 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
t16_x6_u4_b21 16 6 4 21 sub(P,cil(dst(R,P))) 80215 130172847 o2(x,o1(o2(x,x))) true 129727 129727 -0.9464 0 0.9464 0.03776 0.1943 -1 -8.471e-8 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
t16_x6_u4_b22 16 6 4 22 mlt(P,cil(add(R,P))) 80216 130172848 o2(x,o1(o2(x,x))) true 129735 129735 0.9164 0.9788 0.9164 0.06533 0.2556 0 1 1 1 0.8472 0.001114 0.0001422 0.009029 0.7737 1 0.000002614 0.0003035 0.003579 0.001175 0.03428 3.796 0.3455 0.01923 0.004645 1 1 0.003036 0.03175 0.1133 0.04646 0.4859 1.735 json
t16_x6_u4_b23 16 6 4 23 mlt(P,cil(sub(R,P))) 80217 130172849 o2(x,o1(o2(x,x))) true 129743 129743 -0.9131 0 0.9131 0.06765 0.2601 -1 0 1 1 0.9224 0.001132 0.0001664 0.009211 0.7438 1 -0.000002621 0.0003346 0.00375 0.001213 0.03483 3.782 0.3455 0.0192 0.004946 1 1 0.003186 0.03273 0.1068 0.04709 0.4837 1.579 json
t16_x6_u4_b24 16 6 4 24 mlt(P,cil(mlt(R,P))) 80218 130172850 o2(x,o1(o2(x,x))) true 129751 129751 -0.01071 0.4875 0.8249 0.7944 0.8913 -1 1 2 1 2.672 0.04699 0.05835 0.09918 -0.1079 1 0.00009866 0.2011 0.1219 0.09547 0.309 3.115 2.828 0.1326 0.2531 1 1 0.1076 0.6122 1.286 0.1355 0.7707 1.619 json
t16_x6_u4_b25 16 6 4 25 mlt(P,cil(div(R,P))) 80219 130172851 o2(x,o1(o2(x,x))) true 129759 129759 -0.1389 0.4024 0.7153 0.6609 0.8129 -1 1 2 1 2.97 0.0178 0.005879 0.05397 0.5035 1 -0.000007018 0.03204 0.04639 0.02078 0.1441 2.671 2 0.03584 0.04848 1 1 0.03267 0.1934 0.4931 0.04944 0.2926 0.7462 json
t16_x6_u4_b26 16 6 4 26 mlt(P,cil(pow(R,P))) 80220 130172852 o2(x,o1(o2(x,x))) true 129767 129767 -0.9576 0.02344 0.9849 0.06497 0.2549 -1 1 2 1 0.3217 0.007524 0.005742 0.01001 0.1343 1 -2.365e-10 0.02725 0.01641 0.01317 0.1148 11.47 2.828 0.2042 0.4194 1 1 0.0108 0.04485 0.1196 0.1663 0.6904 1.841 json
t16_x6_u4_b27 16 6 4 27 mlt(P,cil(mod(R,P))) 80221 130172853 o2(x,o1(o2(x,x))) true 129775 129775 -0.1422 0.4024 0.7187 0.6636 0.8146 -1 1 2 1 2.946 0.01699 0.005663 0.0517 0.5 1 -0.0001012 0.03069 0.04415 0.01998 0.1414 2.735 2 0.03413 0.04625 1 1 0.03212 0.1963 0.4985 0.0484 0.2958 0.7512 json
t16_x6_u4_b28 16 6 4 28 mlt(P,cil(lrg(R,P))) 80222 130172854 o2(x,o1(o2(x,x))) true 129783 129783 -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
t16_x6_u4_b29 16 6 4 29 mlt(P,cil(eql(R,P))) 80223 130172855 o2(x,o1(o2(x,x))) true 129791 129791 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
t16_x6_u4_b30 16 6 4 30 mlt(P,cil(min(R,P))) 80224 130172856 o2(x,o1(o2(x,x))) true 129799 129799 0.7765 0.9588 0.7765 0.1416 0.3762 0 1 1 1 1.833 0.002864 0.003009 0.03089 -0.02476 1 -0.00019 0.002701 0.01641 0.004921 0.07015 2.271 0.4702 0.04149 0.01908 1 1 0.01013 0.09478 0.2036 0.07153 0.6696 1.438 json
t16_x6_u4_b31 16 6 4 31 mlt(P,cil(dot(R,P))) 80225 130172857 o2(x,o1(o2(x,x))) true 129807 129807 0.07919 0.5511 0.8949 0.8667 0.931 -1 1 2 1 2.189 0.05306 0.07166 0.1042 -0.1491 1 0.00001402 0.2429 0.1424 0.1138 0.3373 3.237 2.828 0.1439 0.2803 1 1 0.1194 0.6451 1.401 0.1378 0.7443 1.617 json
t16_x6_u4_b32 16 6 4 32 mlt(P,cil(dst(R,P))) 80226 130172858 o2(x,o1(o2(x,x))) true 129815 129815 -0.001559 0.5 0.9674 0.9619 0.9808 -1 1 2 1 1.414 0.001955 0.00001153 0.007981 0.9883 1 1.969e-7 0.0009575 0.005311 0.001902 0.04362 5.465 0.4707 0.002045 0.0009954 1 1 0.004261 0.03743 0.2827 0.004429 0.03892 0.2939 json
t16_x6_u4_b33 16 6 4 33 div(P,cil(add(R,P))) 80227 130172859 o2(x,o1(o2(x,x))) true 129823 129823 0.657 0.8555 0.946 0.4778 0.6912 -1 1 2 1 1.97 0.02548 0.01015 0.02568 0.4303 1 0.000006853 0.07342 0.04051 0.03496 0.187 7.282 2.828 0.07456 0.1537 1 1 0.04699 0.1972 0.7416 0.09836 0.4127 1.552 json
t16_x6_u4_b34 16 6 4 34 div(P,cil(sub(R,P))) 80228 130172860 o2(x,o1(o2(x,x))) true 129831 129831 -0.9433 0 0.9433 0.01478 0.1216 -1 -0.0001455 0.9999 1 1.506 0.001477 0.0008144 0.008241 0.2893 1 7.679e-7 0.004509 0.006819 0.002224 0.04716 5.722 1.414 0.1551 0.3051 1 1 0.003282 0.01515 0.03399 0.2221 1.025 2.3 json
t16_x6_u4_b35 16 6 4 35 div(P,cil(mlt(R,P))) 80229 130172861 o2(x,o1(o2(x,x))) true 129839 129839 -0.5136 0.2434 0.9444 0.6614 0.8133 -1 1 2 1 1.698 0.05283 0.04981 0.08805 0.02937 1 0.000005879 0.1851 0.11 0.09492 0.3081 3.499 2.828 0.1552 0.2798 1 1 0.1145 0.5669 1.125 0.1732 0.8571 1.701 json
t16_x6_u4_b36 16 6 4 36 div(P,cil(div(R,P))) 80230 130172862 o2(x,o1(o2(x,x))) true 129847 129847 -0.9023 0.05078 0.9844 0.1669 0.4085 -1 1 2 1 0.4968 0.02235 0.01988 0.02452 0.0584 1 -3.567e-10 0.08915 0.04602 0.04161 0.204 8.318 2.828 0.2531 0.5342 1 1 0.04591 0.1889 0.3161 0.2751 1.132 1.894 json
t16_x6_u4_b37 16 6 4 37 div(P,cil(pow(R,P))) 80231 130172863 o2(x,o1(o2(x,x))) true 129855 129855 -0.9315 0.02344 0.9588 0.08305 0.2882 -1 1 2 1 0.6308 0.009036 0.007764 0.01514 0.07575 1 -0.000003119 0.03461 0.02495 0.01658 0.1288 8.507 2.828 0.2023 0.4167 1 1 0.01346 0.05594 0.1696 0.1621 0.6736 2.042 json
t16_x6_u4_b38 16 6 4 38 div(P,cil(mod(R,P))) 80232 130172864 o2(x,o1(o2(x,x))) true 129863 129863 -0.9453 0.02734 1 0.1063 0.3261 -1 1 2 1 0.1809 0.01209 0.01361 0.01272 -0.05882 1 0 0.05467 0.0257 0.02552 0.1598 12.56 2.828 0.2417 0.5141 1 1 0.02127 0.0851 0.1542 0.2001 0.8002 1.45 json
t16_x6_u4_b39 16 6 4 39 div(P,cil(lrg(R,P))) 80233 130172865 o2(x,o1(o2(x,x))) true 129871 129871 -0.9922 0 0.9922 0.00606 0.07785 -1 -0.000291 0.9997 1 0.1405 0.001097 0.0005923 0.002705 0.2987 1 -1.877e-11 0.003423 0.003743 0.001682 0.04101 15.16 1.414 0.2787 0.5647 1 1 0.002389 0.01006 0.01771 0.3943 1.66 2.922 json
t16_x6_u4_b40 16 6 4 40 div(P,cil(eql(R,P))) 80234 130172866 o2(x,o1(o2(x,x))) true 129879 129879 -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
t16_x6_u4_b41 16 6 4 41 div(P,cil(min(R,P))) 80235 130172867 o2(x,o1(o2(x,x))) true 129887 129887 -0.1172 0.4414 1 0.9872 0.9936 -1 1 2 1 0.9901 0.01688 0.001764 0.009322 0.8108 1 3.739e-9 0.03754 0.01864 0.01856 0.1362 14.61 2 0.01889 0.03803 1 1 0.02105 0.08421 0.3501 0.02133 0.08531 0.3547 json
t16_x6_u4_b42 16 6 4 42 div(P,cil(dot(R,P))) 80236 130172868 o2(x,o1(o2(x,x))) true 129895 129895 -0.2959 0.3685 0.8113 0.6674 0.8169 -1 1 2 1 3.112 0.04688 0.04726 0.1011 -0.004012 1 -0.00004358 0.1666 0.1105 0.08394 0.2897 2.866 2.828 0.1411 0.2497 1 1 0.1006 0.5406 1.217 0.1507 0.8101 1.824 json
t16_x6_u4_b43 16 6 4 43 div(P,cil(dst(R,P))) 80237 130172869 o2(x,o1(o2(x,x))) true 129903 129903 0.006374 0.4975 0.5826 0.4123 0.6421 -1 1 2 1 4.898 0.0001716 0.00009633 0.01134 0.281 1 0.000001332 0.00001393 0.002527 0.0001394 0.01181 1.042 0.1169 0.0006499 0.00003379 1 1 0.0008151 0.01072 0.08368 0.001977 0.02601 0.203 json
t16_x6_u4_b44 16 6 4 44 pow(P,cil(add(R,P))) 80238 130172870 o2(x,o1(o2(x,x))) true 129911 129911 0.02148 0.5195 0.9824 0.9765 0.9882 -1 1 2 1 1.304 0.01217 0.004496 0.01206 0.4603 1 0.000002852 0.03398 0.01905 0.01651 0.1285 10.65 2.828 0.01707 0.0348 1 1 0.02187 0.09719 0.4257 0.0224 0.09953 0.436 json
t16_x6_u4_b45 16 6 4 45 pow(P,cil(sub(R,P))) 80239 130172871 o2(x,o1(o2(x,x))) true 129919 129919 -0.3932 0.3682 0.6068 0.4268 0.6533 -1 1 2 1 2.125 0.01075 0.00006545 0.01275 0.9879 1 0.000001352 0.02085 0.0138 0.01065 0.1032 8.095 2 0.02534 0.04885 1 1 0.01467 0.07155 0.3075 0.03436 0.1676 0.7204 json
t16_x6_u4_b46 16 6 4 46 pow(P,cil(mlt(R,P))) 80240 130172872 o2(x,o1(o2(x,x))) true 129927 129927 -0.01303 0.5186 0.9479 0.9343 0.9666 -1 1 2 1 1.679 0.01797 0.008778 0.02412 0.3438 1 -0.00006419 0.0532 0.03579 0.02619 0.1618 6.71 2.828 0.02863 0.05694 1 1 0.03459 0.1445 0.5118 0.03702 0.1547 0.5478 json
t16_x6_u4_b47 16 6 4 47 pow(P,cil(div(R,P))) 80241 130172873 o2(x,o1(o2(x,x))) true 129935 129935 -0.02539 0.4922 0.9902 0.987 0.9935 -1 1 2 1 1.154 0.02757 0.01742 0.02444 0.2257 1 -4.768e-10 0.09363 0.04712 0.04436 0.2106 8.617 2.828 0.04558 0.09486 1 1 0.05042 0.2094 0.6534 0.05108 0.2122 0.662 json
t16_x6_u4_b48 16 6 4 48 pow(P,cil(pow(R,P))) 80242 130172874 o2(x,o1(o2(x,x))) true 129943 129943 -0.8906 0.07031 0.9688 0.1686 0.4107 -1 1 2 1 0.5964 0.0212 0.002771 0.01776 0.7688 1 -3.004e-11 0.0478 0.02846 0.02367 0.1538 8.662 2 0.1421 0.2835 1 1 0.0272 0.1109 0.228 0.1613 0.6573 1.352 json
t16_x6_u4_b49 16 6 4 49 pow(P,cil(mod(R,P))) 80243 130172875 o2(x,o1(o2(x,x))) true 129951 129951 -0.05469 0.4727 1 0.9977 0.9988 -1 1 2 1 0.9978 0.02973 0.01109 0.0203 0.4568 1 0 0.0839 0.04082 0.0404 0.201 9.903 2.828 0.04091 0.0841 1 1 0.04787 0.1941 0.6267 0.04798 0.1946 0.6282 json
t16_x6_u4_b50 16 6 4 50 pow(P,cil(lrg(R,P))) 80244 130172876 o2(x,o1(o2(x,x))) true 129959 129959 -0.01367 0.5 0.9863 0.982 0.991 -1 1 2 1 1.244 0.01056 0.00005267 0.008426 0.9901 1 0.000002852 0.02084 0.01284 0.01054 0.1027 12.18 2 0.01081 0.02122 1 1 0.01414 0.06463 0.3207 0.0144 0.06582 0.3266 json
t16_x6_u4_b51 16 6 4 51 pow(P,cil(eql(R,P))) 80245 130172877 o2(x,o1(o2(x,x))) true 129967 129967 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
t16_x6_u4_b52 16 6 4 52 pow(P,cil(min(R,P))) 80246 130172878 o2(x,o1(o2(x,x))) true 129975 129975 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
t16_x6_u4_b53 16 6 4 53 pow(P,cil(dot(R,P))) 80247 130172879 o2(x,o1(o2(x,x))) true 129983 129983 -0.154 0.4591 0.9242 0.8905 0.9437 -1 1 2 1 1.64 0.01548 0.007069 0.02282 0.3729 1 -0.00006166 0.0451 0.0353 0.02203 0.1484 6.504 2.828 0.02532 0.05064 1 1 0.0258 0.1174 0.4341 0.02897 0.1318 0.4875 json
t16_x6_u4_b54 16 6 4 54 pow(P,cil(dst(R,P))) 80248 130172880 o2(x,o1(o2(x,x))) true 129991 129991 -0.03125 0.5 0.9688 0.9603 0.98 -1 1 2 1 1.406 0.004323 0 0.007937 1 1 -9.386e-13 0.007903 0.008812 0.004259 0.06526 8.223 1 0.004502 0.008229 1 1 0.006228 0.03975 0.2856 0.006485 0.04139 0.2974 json
t16_x6_u4_b55 16 6 4 55 mod(P,cil(add(R,P))) 80249 130172881 o2(x,o1(o2(x,x))) true 129999 129999 -0.07716 0.4511 0.826 0.7862 0.8867 -1 1 2 1 2.741 0.01744 0.00517 0.04314 0.5427 1 -0.0001111 0.03749 0.04165 0.02074 0.144 3.338 2.828 0.02876 0.04769 1 1 0.03397 0.1838 0.4744 0.04321 0.2338 0.6034 json
t16_x6_u4_b56 16 6 4 56 mod(P,cil(sub(R,P))) 80250 130172882 o2(x,o1(o2(x,x))) true 130007 130007 -0.2486 0.3737 0.8257 0.7325 0.8559 -1 1 2 1 2.61 0.01025 0.003017 0.03731 0.545 1 -0.00007394 0.01831 0.03176 0.01188 0.109 2.921 1.415 0.01811 0.02499 1 1 0.02208 0.1508 0.4794 0.03014 0.2059 0.6545 json
t16_x6_u4_b57 16 6 4 57 mod(P,cil(mlt(R,P))) 80251 130172883 o2(x,o1(o2(x,x))) true 130015 130015 -0.5894 0.1631 0.8255 0.4532 0.6732 -1 1 2 1 2.17 0.02523 0.01992 0.0478 0.1178 1 -0.00001013 0.08953 0.06781 0.04285 0.207 4.331 2.828 0.09962 0.1975 1 1 0.0531 0.2509 0.7445 0.1172 0.5535 1.643 json
t16_x6_u4_b58 16 6 4 58 mod(P,cil(div(R,P))) 80252 130172884 o2(x,o1(o2(x,x))) true 130023 130023 -0.9609 0 0.9609 0.03752 0.1937 -1 0 1 1 0.238 0.003716 0.003212 0.006873 0.07273 1 0 0.01449 0.01386 0.006884 0.08297 12.07 1.414 0.1847 0.3862 1 1 0.006704 0.02748 0.07579 0.1787 0.7325 2.02 json
t16_x6_u4_b59 16 6 4 59 mod(P,cil(pow(R,P))) 80253 130172885 o2(x,o1(o2(x,x))) true 130031 130031 -0.9651 0 0.9651 0.031 0.1761 -1 0 1 1 0.3673 0.002838 0.002902 0.007509 -0.01128 1 1.352e-10 0.01173 0.01219 0.005686 0.0754 10.04 1.414 0.1851 0.3784 1 1 0.005671 0.02515 0.0693 0.1829 0.811 2.235 json
t16_x6_u4_b60 16 6 4 60 mod(P,cil(mod(R,P))) 80254 130172886 o2(x,o1(o2(x,x))) true 130039 130039 -0.9648 0 0.9648 0.03391 0.1841 -1 0 1 1 0.2196 0.003716 0.003086 0.006757 0.09259 1 0 0.01424 0.01361 0.00675 0.08216 12.16 1.414 0.2006 0.4198 1 1 0.005914 0.02428 0.06184 0.1744 0.716 1.824 json
t16_x6_u4_b61 16 6 4 61 mod(P,cil(lrg(R,P))) 80255 130172887 o2(x,o1(o2(x,x))) true 130047 130047 -0.5469 0 0.5469 0.2476 0.4976 -1 0 1 1 0.9937 0.003968 0.001512 0.005452 0.4483 1 0 0.01134 0.01096 0.005451 0.07383 13.54 1.414 0.02213 0.04579 1 1 0.007479 0.02992 0.1086 0.0302 0.1208 0.4385 json
t16_x6_u4_b62 16 6 4 62 mod(P,cil(eql(R,P))) 80256 130172888 o2(x,o1(o2(x,x))) true 130055 130055 -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
t16_x6_u4_b63 16 6 4 63 mod(P,cil(min(R,P))) 80257 130172889 o2(x,o1(o2(x,x))) true 130063 130063 -0.8088 0 0.8088 0.1446 0.3802 -1 0 1 1 1.171 0.008287 0.0004409 0.01971 0.899 1 0.0006289 0.01163 0.02038 0.008341 0.09133 4.634 1 0.06037 0.08047 1 1 0.01196 0.07328 0.1268 0.08271 0.5068 0.8771 json
t16_x6_u4_b64 16 6 4 64 mod(P,cil(dot(R,P))) 80258 130172890 o2(x,o1(o2(x,x))) true 130071 130071 -0.3116 0.3493 0.8361 0.7096 0.8424 -1 1 2 1 2.499 0.02536 0.01951 0.05189 0.1303 1 -0.00001046 0.08543 0.0647 0.04217 0.2054 3.957 2.828 0.06323 0.1204 1 1 0.04786 0.242 0.8634 0.06744 0.341 1.217 json
t16_x6_u4_b65 16 6 4 65 mod(P,cil(dst(R,P))) 80259 130172891 o2(x,o1(o2(x,x))) true 130079 130079 -0.003515 0.4995 0.9122 0.894 0.9455 -1 1 2 1 2.057 0.001622 0.0006183 0.01412 0.4481 1 -0.00003993 0.0009383 0.006321 0.002041 0.04517 3.198 0.4652 0.002506 0.00105 1 1 0.005453 0.05112 0.2606 0.006099 0.05719 0.2916 json
t16_x6_u4_b66 16 6 4 66 lrg(P,cil(add(R,P))) 80260 130172892 o2(x,o1(o2(x,x))) true 130087 130087 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
t16_x6_u4_b67 16 6 4 67 lrg(P,cil(sub(R,P))) 80261 130172893 o2(x,o1(o2(x,x))) true 130095 130095 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
t16_x6_u4_b68 16 6 4 68 lrg(P,cil(mlt(R,P))) 80262 130172894 o2(x,o1(o2(x,x))) true 130103 130103 0.3809 0.4781 0.3809 0.2102 0.4585 0 1 1 1 1.923 0.0006468 0.0005232 0.01383 0.1056 1 -0.00001497 0.00006894 0.003362 0.0009786 0.03128 2.262 0.1169 0.005566 0.000328 1 1 0.002874 0.03736 0.1353 0.01367 0.1777 0.6437 json
t16_x6_u4_b69 16 6 4 69 lrg(P,cil(div(R,P))) 80263 130172895 o2(x,o1(o2(x,x))) true 130111 130111 0.4648 0.541 0.4648 0.2315 0.4811 0 1 1 1 1.711 0.0005491 0.0002856 0.009689 0.3156 1 0.00001711 0.00004555 0.002325 0.0007411 0.02722 2.81 0.1169 0.003606 0.0001968 1 1 0.002192 0.02842 0.09003 0.009467 0.1228 0.3889 json
t16_x6_u4_b70 16 6 4 70 lrg(P,cil(pow(R,P))) 80264 130172896 o2(x,o1(o2(x,x))) true 130119 130119 0.6582 0.919 0.6582 0.1717 0.4144 0 1 1 1 2.57 0.001201 0.001301 0.02926 -0.04021 1 -7.24e-7 0.0001406 0.007057 0.001645 0.04056 1.386 0.1169 0.01457 0.0008187 1 1 0.0052 0.06663 0.2127 0.03029 0.388 1.239 json
t16_x6_u4_b71 16 6 4 71 lrg(P,cil(mod(R,P))) 80265 130172897 o2(x,o1(o2(x,x))) true 130127 130127 0.4922 0.5625 0.4922 0.2314 0.481 0 1 1 1 1.757 0.0007526 0.0001755 0.01069 0.6219 1 0.00001141 0.00004749 0.002535 0.0008141 0.02853 2.67 0.1169 0.004011 0.0002053 1 1 0.00235 0.03043 0.07435 0.01016 0.1315 0.3213 json
t16_x6_u4_b72 16 6 4 72 lrg(P,cil(lrg(R,P))) 80266 130172898 o2(x,o1(o2(x,x))) true 130135 130135 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
t16_x6_u4_b73 16 6 4 73 lrg(P,cil(eql(R,P))) 80267 130172899 o2(x,o1(o2(x,x))) true 130143 130143 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
t16_x6_u4_b74 16 6 4 74 lrg(P,cil(min(R,P))) 80268 130172900 o2(x,o1(o2(x,x))) true 130151 130151 0.4297 0.4783 0.4297 0.2349 0.4847 0 1 1 1 1.451 0.0003045 0.0001755 0.005652 0.2688 1 0.00001141 0.00002677 0.001359 0.0004481 0.02117 3.745 0.1169 0.002043 0.0001139 1 1 0.001279 0.01661 0.07962 0.005444 0.0707 0.3389 json
t16_x6_u4_b75 16 6 4 75 lrg(P,cil(dot(R,P))) 80269 130172901 o2(x,o1(o2(x,x))) true 130159 130159 0.4277 0.7027 0.4277 0.1872 0.4326 0 1 1 1 2.749 0.001293 0.001359 0.03127 -0.02504 1 0.00001711 0.0001561 0.007595 0.001674 0.04092 1.308 0.1169 0.01417 0.0008342 1 1 0.005474 0.07112 0.2303 0.02925 0.3799 1.231 json
t16_x6_u4_b76 16 6 4 76 lrg(P,cil(dst(R,P))) 80270 130172902 o2(x,o1(o2(x,x))) true 130167 130167 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
t16_x6_u4_b77 16 6 4 77 eql(P,cil(add(R,P))) 80271 130172903 o2(x,o1(o2(x,x))) true 130175 130175 0.5176 0.9429 0.5176 0.1537 0.3921 0 1 1 1 3.429 0.001972 0.002442 0.05168 -0.1065 1 0.00001781 0.0002592 0.01257 0.001744 0.04176 0.8079 0.1169 0.02872 0.001686 1 1 0.008731 0.1124 0.2862 0.0568 0.7316 1.862 json
t16_x6_u4_b78 16 6 4 78 eql(P,cil(sub(R,P))) 80272 130172904 o2(x,o1(o2(x,x))) true 130183 130183 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
t16_x6_u4_b79 16 6 4 79 eql(P,cil(mlt(R,P))) 80273 130172905 o2(x,o1(o2(x,x))) true 130191 130191 0.1504 0.3206 0.1504 0.09525 0.3086 0 1 1 1 1.675 0.0009997 0.0005232 0.0178 0.3129 1 0.00001497 0.00008514 0.00429 0.001207 0.03474 1.952 0.1169 0.01599 0.0008939 1 1 0.0038 0.04942 0.1712 0.03989 0.5188 1.797 json
t16_x6_u4_b80 16 6 4 80 eql(P,cil(div(R,P))) 80274 130172906 o2(x,o1(o2(x,x))) true 130199 130199 0.03906 0.1129 0.03906 0.02579 0.1606 0 0.9997 0.9997 1 0.6726 0.0003997 0.0001755 0.006718 0.3898 1 -0.00001141 0.00003128 0.001608 0.0005302 0.02303 3.427 0.1169 0.0223 0.001213 1 1 0.001425 0.01841 0.04273 0.05526 0.7139 1.657 json
t16_x6_u4_b81 16 6 4 81 eql(P,cil(pow(R,P))) 80275 130172907 o2(x,o1(o2(x,x))) true 130207 130207 0.03906 0.1129 0.03906 0.02579 0.1606 0 0.9997 0.9997 1 0.6726 0.0003997 0.0001755 0.006718 0.3898 1 -0.00001141 0.00003128 0.001608 0.0005302 0.02303 3.427 0.1169 0.0223 0.001213 1 1 0.001425 0.01841 0.04273 0.05526 0.7139 1.657 json
t16_x6_u4_b82 16 6 4 82 eql(P,cil(mod(R,P))) 80276 130172908 o2(x,o1(o2(x,x))) true 130215 130215 0.03906 0.1129 0.03906 0.02579 0.1606 0 0.9997 0.9997 1 0.6726 0.0003997 0.0001755 0.006718 0.3898 1 -0.00001141 0.00003128 0.001608 0.0005302 0.02303 3.427 0.1169 0.0223 0.001213 1 1 0.001425 0.01841 0.04273 0.05526 0.7139 1.657 json
t16_x6_u4_b83 16 6 4 83 eql(P,cil(lrg(R,P))) 80277 130172909 o2(x,o1(o2(x,x))) true 130223 130223 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
t16_x6_u4_b84 16 6 4 84 eql(P,cil(eql(R,P))) 80278 130172910 o2(x,o1(o2(x,x))) true 130231 130231 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
t16_x6_u4_b85 16 6 4 85 eql(P,cil(min(R,P))) 80279 130172911 o2(x,o1(o2(x,x))) true 130239 130239 0.5703 0.619 0.5703 0.2349 0.4847 0 1 1 1 1.451 0.0003045 0.0001755 0.005652 0.2688 1 -0.00001141 0.00002677 0.001359 0.0004481 0.02117 3.745 0.1169 0.002043 0.000114 1 1 0.001279 0.01661 0.07962 0.005444 0.0707 0.3389 json
t16_x6_u4_b86 16 6 4 86 eql(P,cil(dot(R,P))) 80280 130172912 o2(x,o1(o2(x,x))) true 130247 130247 0.08789 0.2904 0.08789 0.04938 0.2222 0 1 1 1 1.398 0.0007094 0.0007036 0.0168 0.004091 1 3.464e-10 0.0000851 0.004107 0.001131 0.03362 2.001 0.1169 0.02862 0.001724 1 1 0.00338 0.0437 0.1226 0.06846 0.8851 2.482 json
t16_x6_u4_b87 16 6 4 87 eql(P,cil(dst(R,P))) 80281 130172913 o2(x,o1(o2(x,x))) true 130255 130255 0.05859 0.1298 0.05859 0.04026 0.2006 0 1 1 1 0.8457 0.0002966 0.0003752 0.007902 -0.117 1 0.00001141 0.00004128 0.00194 0.0006089 0.02467 3.123 0.1169 0.01669 0.001025 1 1 0.001622 0.0212 0.07572 0.04029 0.5265 1.881 json
t16_x6_u4_b88 16 6 4 88 min(P,cil(add(R,P))) 80282 130172914 o2(x,o1(o2(x,x))) true 130263 130263 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
t16_x6_u4_b89 16 6 4 89 min(P,cil(sub(R,P))) 80283 130172915 o2(x,o1(o2(x,x))) true 130271 130271 -0.9029 0 0.9029 0.07273 0.2697 -1 0 1 1 1.07 0.000776 0.0001765 0.009426 0.6293 1 -0.000009269 0.0001161 0.002663 0.0008635 0.02939 3.117 0.2265 0.0131 0.001597 1 1 0.002474 0.02983 0.1134 0.03401 0.4102 1.56 json
t16_x6_u4_b90 16 6 4 90 min(P,cil(mlt(R,P))) 80284 130172916 o2(x,o1(o2(x,x))) true 130279 130279 -0.397 0.3044 0.8228 0.6223 0.7889 -1 1 2 1 2.776 0.009004 0.009279 0.05332 -0.01507 1 -0.00004281 0.009595 0.02612 0.01545 0.1243 2.331 1.436 0.02938 0.01542 1 1 0.02504 0.2344 0.6325 0.04024 0.3766 1.016 json
t16_x6_u4_b91 16 6 4 91 min(P,cil(div(R,P))) 80285 130172917 o2(x,o1(o2(x,x))) true 130287 130287 -0.3389 0.4135 0.7393 0.5766 0.7593 -1 1 2 1 2.705 0.00947 0.004301 0.03294 0.3754 1 -0.00001853 0.02386 0.02117 0.01269 0.1127 3.42 2.828 0.02388 0.04138 1 1 0.0194 0.1118 0.3341 0.03365 0.1939 0.5795 json
t16_x6_u4_b92 16 6 4 92 min(P,cil(pow(R,P))) 80286 130172918 o2(x,o1(o2(x,x))) true 130295 130295 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
t16_x6_u4_b93 16 6 4 93 min(P,cil(mod(R,P))) 80287 130172919 o2(x,o1(o2(x,x))) true 130303 130303 -0.2539 0.455 0.6836 0.5618 0.7495 -1 1 2 1 3.143 0.001448 0.001206 0.031 0.09096 1 -0.00002424 0.0001549 0.007528 0.001693 0.04114 1.327 0.1169 0.004724 0.0002756 1 1 0.005382 0.07012 0.2678 0.00958 0.1248 0.4768 json
t16_x6_u4_b94 16 6 4 94 min(P,cil(lrg(R,P))) 80288 130172920 o2(x,o1(o2(x,x))) true 130311 130311 -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
t16_x6_u4_b95 16 6 4 95 min(P,cil(eql(R,P))) 80289 130172921 o2(x,o1(o2(x,x))) true 130319 130319 -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
t16_x6_u4_b96 16 6 4 96 min(P,cil(min(R,P))) 80290 130172922 o2(x,o1(o2(x,x))) true 130327 130327 -0.2539 0.455 0.6836 0.5618 0.7495 -1 1 2 1 3.143 0.001448 0.001206 0.031 0.09096 1 -0.00002424 0.0001549 0.007528 0.001693 0.04114 1.327 0.1169 0.004724 0.0002756 1 1 0.005382 0.07012 0.2678 0.00958 0.1248 0.4768 json
t16_x6_u4_b97 16 6 4 97 min(P,cil(dot(R,P))) 80291 130172923 o2(x,o1(o2(x,x))) true 130335 130335 -0.4625 0.2743 0.9012 0.6596 0.8122 -1 1 2 1 2.129 0.01025 0.01287 0.04993 -0.1134 1 0.00001498 0.01566 0.03113 0.02063 0.1436 2.876 1.665 0.03506 0.02375 1 1 0.03028 0.2596 0.7731 0.04591 0.3935 1.172 json
t16_x6_u4_b98 16 6 4 98 min(P,cil(dst(R,P))) 80292 130172924 o2(x,o1(o2(x,x))) true 130343 130343 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
t16_x6_u4_b99 16 6 4 99 dot(P,cil(add(R,P))) 80293 130172925 o2(x,o1(o2(x,x))) true 130351 130351 0.9946 1 0.9946 0.003565 0.05971 0.0005819 1 0.9994 1 0.1219 0.0000736 0.0001118 0.00131 -0.206 1 1.126e-11 0.00006466 0.0006164 0.0001838 0.01356 10.35 0.3484 0.05201 0.01814 1 1 0.0006094 0.006029 0.01304 0.171 1.691 3.659 json
t16_x6_u4_b100 16 6 4 100 dot(P,cil(sub(R,P))) 80294 130172926 o2(x,o1(o2(x,x))) true 130359 130359 -0.9914 0 0.9914 0.006662 0.08162 -1 -8.471e-8 1 1 0.1523 0.0001315 0.0001016 0.001543 0.1284 1 4.505e-11 0.00008082 0.0007193 0.0002305 0.01518 9.842 0.3563 0.03499 0.01213 1 1 0.0007638 0.007495 0.02434 0.1146 1.125 3.653 json
t16_x6_u4_b101 16 6 4 101 dot(P,cil(mlt(R,P))) 80295 130172927 o2(x,o1(o2(x,x))) true 130367 130367 0.05095 0.5219 0.95 0.934 0.9665 -1 1 2 1 1.752 0.07236 0.08316 0.1108 -0.06944 1 -0.00001593 0.3291 0.1708 0.1432 0.3784 3.415 2.828 0.1665 0.3523 1 1 0.1471 0.7544 1.731 0.1575 0.8077 1.854 json
t16_x6_u4_b102 16 6 4 102 dot(P,cil(div(R,P))) 80296 130172928 o2(x,o1(o2(x,x))) true 130375 130375 -0.2736 0.3529 0.8759 0.7773 0.8817 -1 1 2 1 2.246 0.02196 0.02653 0.06268 -0.09413 1 -0.00004543 0.07155 0.06611 0.04455 0.2111 3.367 2.014 0.06238 0.09205 1 1 0.05716 0.3121 0.9969 0.07354 0.4015 1.282 json
t16_x6_u4_b103 16 6 4 103 dot(P,cil(pow(R,P))) 80297 130172929 o2(x,o1(o2(x,x))) true 130383 130383 -0.9844 0.007813 1 0.03101 0.1761 -1 1 2 1 0.06591 0.004031 0.002016 0.003005 0.3333 1 0 0.0126 0.006047 0.006035 0.07769 25.85 2.828 0.195 0.4063 1 1 0.01064 0.04255 0.1135 0.3431 1.372 3.659 json
t16_x6_u4_b104 16 6 4 104 dot(P,cil(mod(R,P))) 80298 130172930 o2(x,o1(o2(x,x))) true 130391 130391 -0.2635 0.3681 0.877 0.7823 0.8845 -1 1 2 1 2.294 0.02259 0.02485 0.06393 -0.0478 1 -0.00008198 0.06773 0.0636 0.04335 0.2082 3.256 2.065 0.06064 0.08658 1 1 0.06013 0.3413 0.9214 0.07686 0.4362 1.178 json
t16_x6_u4_b105 16 6 4 105 dot(P,cil(lrg(R,P))) 80299 130172931 o2(x,o1(o2(x,x))) true 130399 130399 -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