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
t17_x7_u3_b111 17 7 3 111 dst(P,sub(R,flr(D))) 103900 138333738 o2(x,o2(x,o1(x))) true 148007 148007 0.9989 1 0.9989 0.0002281 0.0151 0.5641 1 0.4359 1 0.06117 0.00002397 0.00004642 0.0005587 -0.3189 0 -1.276e-10 0.0001239 0.0006771 0.00007014 0.008375 14.99 0.4359 0.3087 0.5434 1 1 0.0001479 0.0005866 0.000832 0.6485 2.572 3.648 json
t17_x7_u3_b112 17 7 3 112 dst(P,mlt(R,flr(D))) 103901 138333739 o2(x,o2(x,o1(x))) true 148015 148015 0.9985 1 0.9985 0.0007324 0.02706 0.0006368 1 0.9994 1 0.05248 0.0001227 0.00007369 0.0007233 0.2494 1 7.133e-11 0.0003516 0.000885 0.000196 0.014 19.36 0.8291 0.2681 0.4801 1 1 0.000403 0.001826 0.002644 0.5503 2.494 3.61 json
t17_x7_u3_b113 17 7 3 113 dst(P,div(R,flr(D))) 103902 138333740 o2(x,o2(x,o1(x))) true 148023 148023 -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
t17_x7_u3_b114 17 7 3 114 dst(P,pow(R,flr(D))) 103903 138333741 o2(x,o2(x,o1(x))) true 148031 148031 -0.8906 0.05469 1 0.2066 0.4546 -1 1 2 1 0.306 0.02293 0.02494 0.02377 -0.04211 1 0 0.1008 0.04787 0.04729 0.2175 9.149 2.828 0.2317 0.4877 1 1 0.07335 0.2961 0.6861 0.355 1.433 3.32 json
t17_x7_u3_b115 17 7 3 115 dst(P,mod(R,flr(D))) 103904 138333742 o2(x,o2(x,o1(x))) true 148039 148039 -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
t17_x7_u3_b116 17 7 3 116 dst(P,lrg(R,flr(D))) 103905 138333743 o2(x,o2(x,o1(x))) true 148047 148047 0.9982 1 0.9982 0.001101 0.03317 0.000582 1 0.9994 1 0.05143 0.000198 0.00002169 0.0006277 0.8026 1 -2.159e-11 0.0003766 0.0005632 0.0002191 0.0148 23.58 0.9994 0.1996 0.3422 1 1 0.0004482 0.002495 0.004012 0.4073 2.267 3.645 json
t17_x7_u3_b117 17 7 3 117 dst(P,eql(R,flr(D))) 103906 138333744 o2(x,o2(x,o1(x))) true 148055 148055 0.9964 1 0.9964 0.002289 0.04784 0.000582 1 0.9994 1 0.09109 0.00003966 0.00003966 0.0008105 5.503e-7 0 -4.881e-11 0.00001004 0.0002297 0.00007859 0.008865 10.94 0.1294 0.03466 0.004388 1 1 0.0002733 0.00336 0.008351 0.1194 1.468 3.649 json
t17_x7_u3_b118 17 7 3 118 dst(P,min(R,flr(D))) 103907 138333745 o2(x,o2(x,o1(x))) true 148063 148063 0.9985 1 0.9985 0.0009183 0.0303 0.001045 1 0.999 1 0.04667 0.000226 0.0002387 0.001023 -0.02733 1 1.877e-11 0.0009096 0.001403 0.0004641 0.02154 21.06 1.413 0.506 0.9905 1 1 0.0009249 0.003196 0.003338 1.007 3.48 3.635 json
t17_x7_u3_b119 17 7 3 119 dst(P,dot(R,flr(D))) 103908 138333746 o2(x,o2(x,o1(x))) true 148071 148071 0.999 1 0.999 0.0005118 0.02262 0.0006762 1 0.9993 1 0.04021 0.0001028 0.0001096 0.0006105 -0.03178 1 5.632e-12 0.0004091 0.0008349 0.0002119 0.01456 23.84 0.9993 0.415 0.7994 1 1 0.0004166 0.001561 0.001855 0.814 3.051 3.625 json
t17_x7_u3_b120 17 7 3 120 dst(P,dst(R,flr(D))) 103909 138333747 o2(x,o2(x,o1(x))) true 148079 148079 1 1 1 7.629e-8 0.0002762 0.9568 1 0.04315 1 0 8.262e-8 7.02e-8 0.000004529 0.08127 0 0 4.566e-7 0.000008463 1.528e-7 0.0003909 86.31 0.04382 2.003 5.986 1 1 2.634e-7 2.77e-7 2.77e-7 3.453 3.631 3.631 json
t17_x7_u4_b0 17 7 4 0 add(P,add(R,cil(D))) 103910 138333828 o2(x,o2(x,o1(x))) true 148087 148087 0.06508 0.5312 0.9388 0.9122 0.9551 -1 1 2 1 1.956 0.00702 0.0003899 0.01563 0.8947 1 -0.00002194 0.01337 0.01787 0.007165 0.08465 5.416 1.016 0.008123 0.01466 1 1 0.01071 0.05669 0.2608 0.01174 0.06215 0.2859 json
t17_x7_u4_b1 17 7 4 1 add(P,sub(R,cil(D))) 103911 138333829 o2(x,o2(x,o1(x))) true 148095 148095 -0.05517 0.4726 0.9444 0.9212 0.9598 -1 1 2 1 1.935 0.008693 0.0003641 0.02429 0.9196 1 -0.00002069 0.01238 0.02153 0.008464 0.092 3.788 1.016 0.009832 0.01344 1 1 0.01612 0.08315 0.2623 0.0175 0.09027 0.2847 json
t17_x7_u4_b2 17 7 4 2 add(P,mlt(R,cil(D))) 103912 138333830 o2(x,o2(x,o1(x))) true 148103 148103 0.000934 0.4854 0.9368 0.92 0.9591 -1 1 2 1 1.872 0.003111 0.0001846 0.01261 0.8879 1 -0.00001077 0.004698 0.009807 0.003134 0.05599 4.439 0.9522 0.003582 0.005107 1 1 0.005277 0.04002 0.2522 0.005736 0.0435 0.2741 json
t17_x7_u4_b3 17 7 4 3 add(P,div(R,cil(D))) 103913 138333831 o2(x,o2(x,o1(x))) true 148111 148111 -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
t17_x7_u4_b4 17 7 4 4 add(P,pow(R,cil(D))) 103914 138333832 o2(x,o2(x,o1(x))) true 148119 148119 -0.8005 0.09824 0.9843 0.3386 0.5819 -1 1 2 1 0.7291 0.04166 0.03039 0.04011 0.1565 1 5.887e-8 0.1515 0.07576 0.07046 0.2654 6.618 2.828 0.2127 0.4473 1 1 0.07987 0.3366 0.814 0.2359 0.9939 2.404 json
t17_x7_u4_b5 17 7 4 5 add(P,mod(R,cil(D))) 103915 138333833 o2(x,o2(x,o1(x))) true 148127 148127 -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
t17_x7_u4_b6 17 7 4 6 add(P,lrg(R,cil(D))) 103916 138333834 o2(x,o2(x,o1(x))) true 148135 148135 0.03196 0.5159 0.9369 0.9213 0.9599 -1 1 2 1 1.854 0.005355 0.0001246 0.01666 0.9545 1 -0.000008556 0.007758 0.01212 0.0052 0.07211 4.329 0.9991 0.005948 0.00842 1 1 0.00933 0.05305 0.2484 0.01013 0.05758 0.2697 json
t17_x7_u4_b7 17 7 4 7 add(P,eql(R,cil(D))) 103917 138333835 o2(x,o2(x,o1(x))) true 148143 148143 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
t17_x7_u4_b8 17 7 4 8 add(P,min(R,cil(D))) 103918 138333836 o2(x,o2(x,o1(x))) true 148151 148151 -0.01493 0.4842 0.9432 0.9224 0.9604 -1 1 2 1 1.932 0.001927 0.0002305 0.01044 0.7864 1 -0.0000155 0.00267 0.006659 0.002048 0.04525 4.335 0.8977 0.002339 0.002894 1 1 0.00378 0.03629 0.2584 0.004098 0.03935 0.2801 json
t17_x7_u4_b9 17 7 4 9 add(P,dot(R,cil(D))) 103919 138333837 o2(x,o2(x,o1(x))) true 148159 148159 0.01095 0.5055 0.9355 0.9168 0.9575 -1 1 2 1 1.927 0.003053 0.002378 0.01694 0.1242 1 -0.00001076 0.008679 0.01636 0.005142 0.07171 4.233 1.319 0.005923 0.009466 1 1 0.007988 0.05217 0.2537 0.008713 0.05691 0.2768 json
t17_x7_u4_b10 17 7 4 10 add(P,dst(R,cil(D))) 103920 138333838 o2(x,o2(x,o1(x))) true 148167 148167 0.1638 0.5828 0.9365 0.8902 0.9435 -1 1 2 1 1.953 0.002409 0.001828 0.01413 0.137 1 -0.000003194 0.007145 0.01491 0.004037 0.06354 4.497 1.113 0.00476 0.008026 1 1 0.006392 0.04106 0.2394 0.00718 0.04612 0.2689 json
t17_x7_u4_b11 17 7 4 11 sub(P,add(R,cil(D))) 103921 138333839 o2(x,o2(x,o1(x))) true 148175 148175 -0.06825 0.4665 0.933 0.9063 0.952 -1 1 2 1 2.003 0.009873 0.0004029 0.02562 0.9216 1 0.00002141 0.01458 0.02265 0.009626 0.09811 3.829 1.015 0.01134 0.01609 1 1 0.01725 0.08621 0.2529 0.01904 0.09513 0.279 json
t17_x7_u4_b12 17 7 4 12 sub(P,sub(R,cil(D))) 103922 138333840 o2(x,o2(x,o1(x))) true 148183 148183 0.06049 0.5313 0.9353 0.9075 0.9526 -1 1 2 1 2.024 0.006877 0.0003827 0.01636 0.8946 1 0.00001826 0.01311 0.01888 0.006996 0.08364 5.113 1.019 0.008 0.01445 1 1 0.01031 0.05312 0.2546 0.01136 0.05854 0.2806 json
t17_x7_u4_b13 17 7 4 13 sub(P,mlt(R,cil(D))) 103923 138333841 o2(x,o2(x,o1(x))) true 148191 148191 -0.001954 0.4897 0.9407 0.923 0.9608 -1 1 2 1 1.886 0.003495 0.0001957 0.01373 0.894 1 0.00001099 0.005366 0.01119 0.003501 0.05917 4.308 0.9533 0.003999 0.005813 1 1 0.005712 0.04102 0.2547 0.006188 0.04444 0.276 json
t17_x7_u4_b14 17 7 4 14 sub(P,div(R,cil(D))) 103924 138333842 o2(x,o2(x,o1(x))) true 148199 148199 -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
t17_x7_u4_b15 17 7 4 15 sub(P,pow(R,cil(D))) 103925 138333843 o2(x,o2(x,o1(x))) true 148207 148207 -0.8548 0.07031 0.9818 0.2461 0.496 -1 1 2 1 0.6424 0.03059 0.021 0.02929 0.1859 1 -3.604e-10 0.1088 0.05633 0.05077 0.2253 7.694 2.828 0.2097 0.4422 1 1 0.05023 0.211 0.5432 0.2042 0.8576 2.208 json
t17_x7_u4_b16 17 7 4 16 sub(P,mod(R,cil(D))) 103926 138333844 o2(x,o2(x,o1(x))) true 148215 148215 -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
t17_x7_u4_b17 17 7 4 17 sub(P,lrg(R,cil(D))) 103927 138333845 o2(x,o2(x,o1(x))) true 148223 148223 -0.0332 0.4783 0.9316 0.9213 0.9598 -1 1 2 1 1.701 0.004134 0.0001404 0.009118 0.9343 1 0.000008557 0.007747 0.009685 0.004189 0.06472 7.098 1 0.00464 0.008409 1 1 0.006027 0.03717 0.2484 0.006542 0.04034 0.2696 json
t17_x7_u4_b18 17 7 4 18 sub(P,eql(R,cil(D))) 103928 138333846 o2(x,o2(x,o1(x))) true 148231 148231 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
t17_x7_u4_b19 17 7 4 19 sub(P,min(R,cil(D))) 103929 138333847 o2(x,o2(x,o1(x))) true 148239 148239 0.01504 0.5077 0.9416 0.921 0.9597 -1 1 2 1 1.962 0.002951 0.0002532 0.01463 0.8419 1 0.00001563 0.003445 0.009049 0.002989 0.05468 3.737 0.9427 0.003478 0.00374 1 1 0.005811 0.04566 0.2583 0.006309 0.04958 0.2805 json
t17_x7_u4_b20 17 7 4 20 sub(P,dot(R,cil(D))) 103930 138333848 o2(x,o2(x,o1(x))) true 148247 148247 -0.01029 0.4911 0.9335 0.9126 0.9553 -1 1 2 1 1.996 0.003418 0.002386 0.01798 0.1778 1 0.00001091 0.009332 0.01789 0.005483 0.07405 4.119 1.318 0.006361 0.01023 1 1 0.00863 0.05245 0.2503 0.009456 0.05747 0.2742 json
t17_x7_u4_b21 17 7 4 21 sub(P,dst(R,cil(D))) 103931 138333849 o2(x,o2(x,o1(x))) true 148255 148255 -0.1592 0.4235 0.939 0.8929 0.9449 -1 1 2 1 1.956 0.002943 0.00186 0.01779 0.2255 1 -0.000009573 0.007 0.01618 0.004487 0.06699 3.766 1.009 0.00538 0.00784 1 1 0.008229 0.05062 0.2436 0.009217 0.0567 0.2728 json
t17_x7_u4_b22 17 7 4 22 mlt(P,add(R,cil(D))) 103932 138333850 o2(x,o2(x,o1(x))) true 148263 148263 -0.07882 0.449 0.8038 0.7435 0.8623 -1 1 2 1 3.19 0.1142 0.01034 0.1313 0.834 1 -0.00008936 0.2055 0.1569 0.1073 0.3275 2.495 2.277 0.1675 0.2765 1 1 0.1377 0.593 0.6235 0.1852 0.7976 0.8386 json
t17_x7_u4_b23 17 7 4 23 mlt(P,sub(R,cil(D))) 103933 138333851 o2(x,o2(x,o1(x))) true 148271 148271 0.02461 0.5314 0.7985 0.7449 0.863 -1 1 2 1 3.182 0.1079 0.0107 0.1265 0.8195 1 0.00007841 0.1941 0.1519 0.1026 0.3203 2.531 2.416 0.1592 0.2605 1 1 0.1241 0.5555 0.6283 0.1666 0.7457 0.8436 json
t17_x7_u4_b24 17 7 4 24 mlt(P,mlt(R,cil(D))) 103934 138333852 o2(x,o2(x,o1(x))) true 148279 148279 -0.05376 0.4238 0.4683 0.386 0.6213 -1 1 2 1 4.114 0.04683 0.01077 0.119 0.6261 1 -0.00002344 0.08949 0.1211 0.04345 0.2085 1.752 1.353 0.1492 0.2318 1 1 0.06297 0.3761 0.6105 0.1631 0.9743 1.582 json
t17_x7_u4_b25 17 7 4 25 mlt(P,div(R,cil(D))) 103935 138333853 o2(x,o2(x,o1(x))) true 148287 148287 -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
t17_x7_u4_b26 17 7 4 26 mlt(P,pow(R,cil(D))) 103936 138333854 o2(x,o2(x,o1(x))) true 148295 148295 -0.8211 0.08594 0.974 0.2928 0.5411 -1 1 2 1 0.8395 0.03597 0.02599 0.03689 0.161 1 -5.225e-7 0.1303 0.06954 0.06064 0.2462 6.676 2.828 0.2116 0.4449 1 1 0.06523 0.2752 0.6705 0.2228 0.9399 2.29 json
t17_x7_u4_b27 17 7 4 27 mlt(P,mod(R,cil(D))) 103937 138333855 o2(x,o2(x,o1(x))) true 148303 148303 -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
t17_x7_u4_b28 17 7 4 28 mlt(P,lrg(R,cil(D))) 103938 138333856 o2(x,o2(x,o1(x))) true 148311 148311 0.01509 0.3667 0.3785 0.3344 0.5783 -1 1 2 1 3.221 0.03855 0.004177 0.08373 0.8044 1 0.0003294 0.0703 0.09522 0.0357 0.189 2.257 1.077 0.1278 0.2102 1 1 0.04506 0.2051 0.263 0.1347 0.6135 0.7865 json
t17_x7_u4_b29 17 7 4 29 mlt(P,eql(R,cil(D))) 103939 138333857 o2(x,o2(x,o1(x))) true 148319 148319 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
t17_x7_u4_b30 17 7 4 30 mlt(P,min(R,cil(D))) 103940 138333858 o2(x,o2(x,o1(x))) true 148327 148327 -0.08973 0.4138 0.6235 0.5358 0.732 -1 1 2 1 4.031 0.03961 0.01272 0.1075 0.5138 1 -0.00003847 0.06843 0.0913 0.04077 0.2019 1.878 2.019 0.09768 0.1277 1 1 0.06 0.3938 0.7143 0.112 0.7349 1.333 json
t17_x7_u4_b31 17 7 4 31 mlt(P,dot(R,cil(D))) 103941 138333859 o2(x,o2(x,o1(x))) true 148335 148335 -0.04983 0.4773 0.6441 0.5613 0.7492 -1 1 2 1 3.993 0.05393 0.0542 0.1539 -0.002559 1 -0.00007061 0.1817 0.1783 0.08447 0.2906 1.888 2.053 0.1926 0.3238 1 1 0.1069 0.5733 0.9429 0.1905 1.021 1.68 json
t17_x7_u4_b32 17 7 4 32 mlt(P,dst(R,cil(D))) 103942 138333860 o2(x,o2(x,o1(x))) true 148343 148343 -0.003711 0.5 0.9385 0.9245 0.9615 -1 1 2 1 1.826 0.001251 0.0004908 0.01041 0.4366 1 -3.995e-7 0.001833 0.007167 0.001633 0.04041 3.882 0.7764 0.001885 0.001983 1 1 0.003424 0.02987 0.237 0.003703 0.03231 0.2563 json
t17_x7_u4_b33 17 7 4 33 div(P,add(R,cil(D))) 103943 138333861 o2(x,o2(x,o1(x))) true 148351 148351 -0.08845 0.4448 0.9121 0.8823 0.9393 -1 1 2 1 2.111 0.1855 0.04572 0.1569 0.6045 1 -0.00001589 0.4538 0.2493 0.2064 0.4543 2.895 2.828 0.262 0.5143 1 1 0.2621 1.073 1.251 0.297 1.216 1.418 json
t17_x7_u4_b34 17 7 4 34 div(P,sub(R,cil(D))) 103944 138333862 o2(x,o2(x,o1(x))) true 148359 148359 0.05498 0.5422 0.9223 0.9003 0.9488 -1 1 2 1 2.023 0.1631 0.04373 0.1407 0.5771 1 -0.000001904 0.4059 0.2233 0.187 0.4324 3.073 2.828 0.2297 0.4508 1 1 0.2044 0.8756 1.135 0.227 0.9727 1.261 json
t17_x7_u4_b35 17 7 4 35 div(P,mlt(R,cil(D))) 103945 138333863 o2(x,o2(x,o1(x))) true 148367 148367 -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
t17_x7_u4_b36 17 7 4 36 div(P,div(R,cil(D))) 103946 138333864 o2(x,o2(x,o1(x))) true 148375 148375 -0.03412 0.4503 0.716 0.6787 0.8238 -1 1 2 1 3.015 0.07274 0.04884 0.1547 0.1966 1 -0.0001546 0.2027 0.2046 0.09765 0.3125 2.02 2.034 0.1792 0.2987 1 1 0.1378 0.7043 1.344 0.2031 1.038 1.981 json
t17_x7_u4_b37 17 7 4 37 div(P,pow(R,cil(D))) 103947 138333865 o2(x,o2(x,o1(x))) true 148383 148383 -0.8295 0.08594 0.9858 0.2949 0.5431 -1 1 2 1 0.6228 0.03692 0.02597 0.03482 0.1741 1 -2.403e-10 0.1327 0.06676 0.06168 0.2483 7.133 2.828 0.2132 0.4498 1 1 0.06589 0.273 0.6783 0.2234 0.9258 2.3 json
t17_x7_u4_b38 17 7 4 38 div(P,mod(R,cil(D))) 103948 138333866 o2(x,o2(x,o1(x))) true 148391 148391 -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
t17_x7_u4_b39 17 7 4 39 div(P,lrg(R,cil(D))) 103949 138333867 o2(x,o2(x,o1(x))) true 148399 148399 -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
t17_x7_u4_b40 17 7 4 40 div(P,eql(R,cil(D))) 103950 138333868 o2(x,o2(x,o1(x))) true 148407 148407 -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
t17_x7_u4_b41 17 7 4 41 div(P,min(R,cil(D))) 103951 138333869 o2(x,o2(x,o1(x))) true 148415 148415 -0.5457 0.2263 0.9862 0.6857 0.8281 -1 1 2 1 0.9996 0.07107 0.074 0.08066 -0.02023 1 -0.000003135 0.3102 0.1517 0.1385 0.3722 4.615 2.828 0.2116 0.4524 1 1 0.146 0.5734 1.008 0.2129 0.8362 1.47 json
t17_x7_u4_b42 17 7 4 42 div(P,dot(R,cil(D))) 103952 138333870 o2(x,o2(x,o1(x))) true 148423 148423 -0.007813 0.4961 1 0.9999 0.9999 -1 1 2 1 1 0.08617 0.08894 0.08689 -0.01583 1 0 0.3689 0.1751 0.1676 0.4093 4.711 2.828 0.1751 0.3689 1 1 0.1673 0.6799 1.502 0.1673 0.68 1.502 json
t17_x7_u4_b43 17 7 4 43 div(P,dst(R,cil(D))) 103953 138333871 o2(x,o2(x,o1(x))) true 148431 148431 0.003401 0.5 0.9211 0.9001 0.9487 -1 1 2 1 2.092 0.0009718 0.0005162 0.0111 0.3062 1 -0.000005923 0.001617 0.008025 0.001364 0.03693 3.327 0.6923 0.001653 0.001797 1 1 0.002932 0.02553 0.2105 0.003257 0.02836 0.2339 json
t17_x7_u4_b44 17 7 4 44 pow(P,add(R,cil(D))) 103954 138333872 o2(x,o2(x,o1(x))) true 148439 148439 -0.0554 0.5 0.9446 0.9209 0.9596 -1 1 2 1 1.857 0.007621 0.0002243 0.01965 0.9428 1 -0.0002333 0.01398 0.02355 0.007463 0.08639 4.396 1 0.008519 0.01518 1 1 0.009891 0.05194 0.2856 0.01074 0.0564 0.3102 json
t17_x7_u4_b45 17 7 4 45 pow(P,sub(R,cil(D))) 103955 138333873 o2(x,o2(x,o1(x))) true 148447 148447 -0.2725 0.4375 0.8525 0.7239 0.8508 -1 1 2 1 2.498 0.0232 0.0005766 0.03553 0.9515 1 0.000006737 0.04475 0.0452 0.02251 0.15 4.223 2 0.03285 0.06183 1 1 0.02858 0.1154 0.3283 0.03949 0.1594 0.4535 json
t17_x7_u4_b46 17 7 4 46 pow(P,mlt(R,cil(D))) 103956 138333874 o2(x,o2(x,o1(x))) true 148455 148455 -0.1402 0.4531 0.9535 0.9089 0.9533 -1 1 2 1 1.872 0.01569 0.003912 0.02266 0.6008 1 0.000009564 0.0392 0.03105 0.01907 0.1381 6.094 2.828 0.02156 0.04313 1 1 0.02562 0.108 0.3855 0.02819 0.1188 0.4241 json
t17_x7_u4_b47 17 7 4 47 pow(P,div(R,cil(D))) 103957 138333875 o2(x,o2(x,o1(x))) true 148463 148463 -0.636 0.203 0.9578 0.5447 0.7381 -1 1 2 1 1.135 0.0499 0.06054 0.06417 -0.09631 1 -0.00004434 0.235 0.1209 0.1063 0.326 5.08 2.828 0.2027 0.4314 1 1 0.1071 0.4548 0.8453 0.1965 0.8348 1.552 json
t17_x7_u4_b48 17 7 4 48 pow(P,pow(R,cil(D))) 103958 138333876 o2(x,o2(x,o1(x))) true 148471 148471 -0.75 0.1289 0.9922 0.428 0.6542 -1 1 2 1 0.6566 0.04973 0.01949 0.03628 0.4369 1 -3.604e-10 0.1435 0.07125 0.06787 0.2605 7.18 2.828 0.1617 0.3352 1 1 0.0798 0.3307 0.7933 0.1865 0.7727 1.854 json
t17_x7_u4_b49 17 7 4 49 pow(P,mod(R,cil(D))) 103959 138333877 o2(x,o2(x,o1(x))) true 148479 148479 -0.9766 0.01563 0.9922 0.03679 0.1918 -1 0.9997 2 1 0.1693 0.005128 0.003616 0.006197 0.173 1 -1.765e-10 0.01829 0.01078 0.008704 0.0933 15.05 2.828 0.2377 0.4971 1 1 0.01203 0.04862 0.1081 0.327 1.322 2.939 json
t17_x7_u4_b50 17 7 4 50 pow(P,lrg(R,cil(D))) 103960 138333878 o2(x,o2(x,o1(x))) true 148487 148487 0.3223 0.668 0.9863 0.8791 0.9376 -1 1 2 1 1.172 0.0452 0.02789 0.0394 0.2368 1 0.000002852 0.1516 0.07535 0.07152 0.2674 6.788 2.828 0.08315 0.1724 1 1 0.07003 0.2802 0.6944 0.07966 0.3188 0.7899 json
t17_x7_u4_b51 17 7 4 51 pow(P,eql(R,cil(D))) 103961 138333879 o2(x,o2(x,o1(x))) true 148495 148495 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
t17_x7_u4_b52 17 7 4 52 pow(P,min(R,cil(D))) 103962 138333880 o2(x,o2(x,o1(x))) true 148503 148503 -0.1876 0.4531 0.9061 0.8234 0.9074 -1 1 2 1 2.349 0.01361 0.004104 0.02316 0.5368 1 -0.00007218 0.03477 0.02533 0.01718 0.1311 5.659 2.828 0.02152 0.04222 1 1 0.02412 0.1061 0.3782 0.02929 0.1288 0.4593 json
t17_x7_u4_b53 17 7 4 53 pow(P,dot(R,cil(D))) 103963 138333881 o2(x,o2(x,o1(x))) true 148511 148511 -0.1532 0.457 0.9328 0.8766 0.9363 -1 1 2 1 2.066 0.01456 0.006205 0.02875 0.4024 1 -0.00006871 0.04124 0.04007 0.01995 0.1412 4.913 2.828 0.02369 0.04704 1 1 0.02537 0.1077 0.395 0.02895 0.1229 0.4506 json
t17_x7_u4_b54 17 7 4 54 pow(P,dst(R,cil(D))) 103964 138333882 o2(x,o2(x,o1(x))) true 148519 148519 -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
t17_x7_u4_b55 17 7 4 55 mod(P,add(R,cil(D))) 103965 138333883 o2(x,o2(x,o1(x))) true 148527 148527 0.00001941 0.496 0.3228 0.1671 0.4087 -1 1 2 1 4.646 0.01192 0.0007381 0.05044 0.8834 1 -0.00006029 0.02195 0.04544 0.01011 0.1006 1.994 0.9993 0.07576 0.1314 1 1 0.01392 0.07257 0.1219 0.08332 0.4344 0.7294 json
t17_x7_u4_b56 17 7 4 56 mod(P,sub(R,cil(D))) 103966 138333884 o2(x,o2(x,o1(x))) true 148535 148535 0.008171 0.496 0.3178 0.1656 0.407 -1 1 2 1 4.64 0.01108 0.0007729 0.04833 0.8696 1 -0.00003929 0.02078 0.04497 0.00952 0.09757 2.019 0.9975 0.07156 0.1254 1 1 0.01391 0.07402 0.142 0.08397 0.4468 0.8575 json
t17_x7_u4_b57 17 7 4 57 mod(P,mlt(R,cil(D))) 103967 138333885 o2(x,o2(x,o1(x))) true 148543 148543 -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
t17_x7_u4_b58 17 7 4 58 mod(P,div(R,cil(D))) 103968 138333886 o2(x,o2(x,o1(x))) true 148551 148551 -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
t17_x7_u4_b59 17 7 4 59 mod(P,pow(R,cil(D))) 103969 138333887 o2(x,o2(x,o1(x))) true 148559 148559 -0.7845 0.06721 0.805 0.1727 0.4155 -1 0.7988 1.799 1 1.462 0.02223 0.01701 0.04085 0.133 1 -0.00001393 0.08273 0.07604 0.03759 0.1939 4.745 1.799 0.2273 0.4791 1 1 0.04115 0.1699 0.3977 0.2383 0.9842 2.303 json
t17_x7_u4_b60 17 7 4 60 mod(P,mod(R,cil(D))) 103970 138333888 o2(x,o2(x,o1(x))) true 148567 148567 -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
t17_x7_u4_b61 17 7 4 61 mod(P,lrg(R,cil(D))) 103971 138333889 o2(x,o2(x,o1(x))) true 148575 148575 -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
t17_x7_u4_b62 17 7 4 62 mod(P,eql(R,cil(D))) 103972 138333890 o2(x,o2(x,o1(x))) true 148583 148583 -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
t17_x7_u4_b63 17 7 4 63 mod(P,min(R,cil(D))) 103973 138333891 o2(x,o2(x,o1(x))) true 148591 148591 -0.7378 0.1248 0.8049 0.2239 0.4732 -1 0.7987 1.799 1 1.874 0.02452 0.01889 0.04359 0.1297 1 -2.37e-7 0.09075 0.07922 0.04153 0.2038 4.675 2 0.1938 0.4053 1 1 0.04599 0.192 0.4385 0.2054 0.8573 1.958 json
t17_x7_u4_b64 17 7 4 64 mod(P,dot(R,cil(D))) 103974 138333892 o2(x,o2(x,o1(x))) true 148599 148599 -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
t17_x7_u4_b65 17 7 4 65 mod(P,dst(R,cil(D))) 103975 138333893 o2(x,o2(x,o1(x))) true 148607 148607 -0.001511 0.499 0.5974 0.4513 0.6718 -1 1 2 1 4.816 0.01067 0.01113 0.07275 -0.02135 1 -0.00002211 0.04125 0.08061 0.01651 0.1285 1.766 1.32 0.04831 0.09141 1 1 0.02292 0.1193 0.2487 0.05079 0.2643 0.5511 json
t17_x7_u4_b66 17 7 4 66 lrg(P,add(R,cil(D))) 103976 138333894 o2(x,o2(x,o1(x))) true 148615 148615 0.4668 0.5456 0.4668 0.2314 0.481 0 1 1 1 1.72 0.005017 0.0001404 0.01467 0.9456 1 0.000008556 0.008777 0.01177 0.004941 0.07029 4.793 0.9994 0.02229 0.03793 1 1 0.007444 0.03684 0.07788 0.03217 0.1592 0.3366 json
t17_x7_u4_b67 17 7 4 67 lrg(P,sub(R,cil(D))) 103977 138333895 o2(x,o2(x,o1(x))) true 148623 148623 0.5312 0.5575 0.5312 0.2433 0.4933 0 1 1 1 1.285 0.003228 0.0001228 0.006531 0.9267 1 0.000008556 0.006234 0.007643 0.00331 0.05753 8.809 1 0.01377 0.02562 1 1 0.005058 0.02437 0.09335 0.02079 0.1001 0.3836 json
t17_x7_u4_b68 17 7 4 68 lrg(P,mlt(R,cil(D))) 103978 138333896 o2(x,o2(x,o1(x))) true 148631 148631 0.4863 0.5 0.4863 0.2457 0.4957 0 1 1 1 1.212 0.002184 0.00005267 0.004458 0.9529 1 0.000002852 0.004107 0.004926 0.002216 0.04708 10.56 1 0.0091 0.01671 1 1 0.003149 0.01776 0.08737 0.01282 0.07225 0.3555 json
t17_x7_u4_b69 17 7 4 69 lrg(P,div(R,cil(D))) 103979 138333897 o2(x,o2(x,o1(x))) true 148639 148639 0.4756 0.8568 0.4756 0.1694 0.4116 0 1 1 1 3.198 0.03159 0.001228 0.07581 0.9252 1 -0.0001034 0.05922 0.0754 0.02708 0.1646 2.17 1 0.1938 0.3496 1 1 0.03673 0.164 0.1827 0.2168 0.968 1.079 json
t17_x7_u4_b70 17 7 4 70 lrg(P,pow(R,cil(D))) 103980 138333898 o2(x,o2(x,o1(x))) true 148647 148647 0.5752 0.8364 0.5752 0.2029 0.4504 0 1 1 1 2.37 0.01959 0.0006008 0.04291 0.9405 1 0.00003208 0.03703 0.04521 0.01834 0.1354 3.156 1 0.09951 0.1825 1 1 0.02417 0.1012 0.1359 0.1191 0.4987 0.6697 json
t17_x7_u4_b71 17 7 4 71 lrg(P,mod(R,cil(D))) 103981 138333899 o2(x,o2(x,o1(x))) true 148655 148655 0.7363 1 0.7363 0.136 0.3688 0.000291 1 0.9997 1 2.449 0.0323 0.00005267 0.06339 0.9967 1 -0.00008699 0.05964 0.06691 0.02834 0.1683 2.656 0.9994 0.2379 0.4384 1 1 0.03415 0.1219 0.04032 0.251 0.8959 0.2964 json
t17_x7_u4_b72 17 7 4 72 lrg(P,lrg(R,cil(D))) 103982 138333900 o2(x,o2(x,o1(x))) true 148663 148663 0.4492 0.4783 0.4492 0.2434 0.4933 0 1 1 1 1.214 0.002352 0.00008773 0.004706 0.9281 1 0.000005704 0.004529 0.005553 0.002417 0.04916 10.45 1 0.01002 0.01861 1 1 0.003233 0.01847 0.08264 0.01328 0.07589 0.3395 json
t17_x7_u4_b73 17 7 4 73 lrg(P,eql(R,cil(D))) 103983 138333901 o2(x,o2(x,o1(x))) true 148671 148671 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
t17_x7_u4_b74 17 7 4 74 lrg(P,min(R,cil(D))) 103984 138333902 o2(x,o2(x,o1(x))) true 148679 148679 0.5039 0.5456 0.5039 0.2412 0.4911 0 1 1 1 1.415 0.0003238 0.0001053 0.004981 0.5091 1 0.000005704 0.00002256 0.001187 0.0004044 0.02011 4.037 0.1169 0.001779 0.00009352 1 1 0.001146 0.01504 0.08976 0.004753 0.06234 0.3721 json
t17_x7_u4_b75 17 7 4 75 lrg(P,dot(R,cil(D))) 103985 138333903 o2(x,o2(x,o1(x))) true 148687 148687 0.4873 0.5187 0.4873 0.2423 0.4922 0 1 1 1 1.362 0.002815 0.001177 0.008348 0.4101 1 0.000005704 0.007697 0.009408 0.003925 0.06265 7.504 1 0.01648 0.03177 1 1 0.005648 0.02756 0.09045 0.02331 0.1137 0.3733 json
t17_x7_u4_b76 17 7 4 76 lrg(P,dst(R,cil(D))) 103986 138333904 o2(x,o2(x,o1(x))) true 148695 148695 0.4219 0.4746 0.4219 0.2331 0.4828 0 1 1 1 1.471 0.001728 0.001621 0.009469 0.03213 1 -0.000002853 0.005902 0.008596 0.00326 0.0571 6.03 0.9997 0.01436 0.02532 1 1 0.005164 0.02898 0.08556 0.02215 0.1243 0.367 json
t17_x7_u4_b77 17 7 4 77 eql(P,add(R,cil(D))) 103987 138333905 o2(x,o2(x,o1(x))) true 148703 148703 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
t17_x7_u4_b78 17 7 4 78 eql(P,sub(R,cil(D))) 103988 138333906 o2(x,o2(x,o1(x))) true 148711 148711 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
t17_x7_u4_b79 17 7 4 79 eql(P,mlt(R,cil(D))) 103989 138333907 o2(x,o2(x,o1(x))) true 148719 148719 0.03125 0.0625 0.03125 0.02351 0.1533 0 0.9997 0.9997 1 0.459 0.004319 0 0.007934 1 1 -2.365e-10 0.008002 0.008862 0.004255 0.06523 8.221 0.9997 0.1837 0.3404 1 1 0.00615 0.02664 0.03299 0.2616 1.133 1.403 json
t17_x7_u4_b80 17 7 4 80 eql(P,div(R,cil(D))) 103990 138333908 o2(x,o2(x,o1(x))) true 148727 148727 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
t17_x7_u4_b81 17 7 4 81 eql(P,pow(R,cil(D))) 103991 138333909 o2(x,o2(x,o1(x))) true 148735 148735 0.03125 0.0625 0.03125 0.02351 0.1533 0 0.9997 0.9997 1 0.459 0.004319 0 0.007934 1 1 -2.365e-10 0.008002 0.008862 0.004255 0.06523 8.221 0.9997 0.1837 0.3404 1 1 0.00615 0.02664 0.03299 0.2616 1.133 1.403 json
t17_x7_u4_b82 17 7 4 82 eql(P,mod(R,cil(D))) 103992 138333910 o2(x,o2(x,o1(x))) true 148743 148743 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
t17_x7_u4_b83 17 7 4 83 eql(P,lrg(R,cil(D))) 103993 138333911 o2(x,o2(x,o1(x))) true 148751 148751 0.06836 0.1081 0.06836 0.05468 0.2338 0 1 1 1 0.7246 0.004133 0.0001404 0.009117 0.9343 1 -0.000002853 0.007766 0.0097 0.004188 0.06472 7.098 1 0.07816 0.142 1 1 0.006007 0.03379 0.09012 0.1099 0.6179 1.648 json
t17_x7_u4_b84 17 7 4 84 eql(P,eql(R,cil(D))) 103994 138333912 o2(x,o2(x,o1(x))) true 148759 148759 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
t17_x7_u4_b85 17 7 4 85 eql(P,min(R,cil(D))) 103995 138333913 o2(x,o2(x,o1(x))) true 148767 148767 0.01367 0.03778 0.01367 0.009529 0.09762 0 0.9997 0.9997 1 0.2706 0.001741 0.00005267 0.003969 0.9413 1 -0.000002852 0.003247 0.00405 0.001778 0.04217 10.62 0.9997 0.1883 0.3408 1 1 0.002688 0.01298 0.02244 0.2821 1.362 2.355 json
t17_x7_u4_b86 17 7 4 86 eql(P,dot(R,cil(D))) 103996 138333914 o2(x,o2(x,o1(x))) true 148775 148775 0.01562 0.05908 0.01562 0.009349 0.09669 0 0.9994 0.9994 1 0.3551 0.001685 0.001619 0.006752 0.01984 1 2.328e-10 0.006688 0.008465 0.003259 0.05709 8.455 1.413 0.3534 0.7154 1 1 0.004736 0.01839 0.01289 0.5066 1.967 1.379 json
t17_x7_u4_b87 17 7 4 87 eql(P,dst(R,cil(D))) 103997 138333915 o2(x,o2(x,o1(x))) true 148783 148783 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
t17_x7_u4_b88 17 7 4 88 min(P,add(R,cil(D))) 103998 138333916 o2(x,o2(x,o1(x))) true 148791 148791 -0.2988 0.3778 0.7345 0.5664 0.7526 -1 1 2 1 3.552 0.02349 0.001137 0.05917 0.9077 1 -0.00009258 0.04174 0.05527 0.02113 0.1454 2.457 1.023 0.04349 0.07369 1 1 0.02912 0.1459 0.2645 0.05142 0.2575 0.4669 json
t17_x7_u4_b89 17 7 4 89 min(P,sub(R,cil(D))) 103999 138333917 o2(x,o2(x,o1(x))) true 148799 148799 -0.7022 0.09132 0.7691 0.2017 0.4491 -1 0.9802 1.98 1 2.906 0.02355 0.0012 0.05992 0.903 1 0.000104 0.04086 0.05658 0.02115 0.1454 2.427 1.022 0.1227 0.2026 1 1 0.03016 0.1503 0.1866 0.1496 0.7454 0.9254 json