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_x0_u4_b19 17 0 4 19 sub(P,min(P,cil(P))) 98000 138051040 o2(x,o2(x,o1(x))) true 100807 100807 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_x0_u4_b20 17 0 4 20 sub(P,dot(P,cil(P))) 98001 138051041 o2(x,o2(x,o1(x))) true 100815 100815 -0.9937 0 0.9937 0.004639 0.06811 -1 -0.000291 0.9997 1 0.1265 0.00007372 0.0000757 0.001194 -0.01323 1 3.379e-11 0.00003768 0.0004689 0.0001478 0.01216 10.18 0.2359 0.03221 0.008122 1 1 0.0005008 0.005438 0.017 0.108 1.172 3.665 json
t17_x0_u4_b21 17 0 4 21 sub(P,dst(P,cil(P))) 98002 138051042 o2(x,o2(x,o1(x))) true 100823 100823 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_x0_u4_b22 17 0 4 22 mlt(P,add(P,cil(P))) 98003 138051043 o2(x,o2(x,o1(x))) true 100831 100831 0.9569 1 0.9569 0.03358 0.1833 0.0005821 1 0.9994 1 0.4876 0.001303 0 0.007932 1 1 -1.892e-9 0.0002683 0.003596 0.001239 0.0352 4.438 0.2265 0.03881 0.007989 1 1 0.003279 0.03105 0.04776 0.09765 0.9245 1.422 json
t17_x0_u4_b23 17 0 4 23 mlt(P,sub(P,cil(P))) 98004 138051044 o2(x,o2(x,o1(x))) true 100839 100839 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_x0_u4_b24 17 0 4 24 mlt(P,mlt(P,cil(P))) 98005 138051045 o2(x,o2(x,o1(x))) true 100847 100847 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_x0_u4_b25 17 0 4 25 mlt(P,div(P,cil(P))) 98006 138051046 o2(x,o2(x,o1(x))) true 100855 100855 -0.125 0.4375 1 0.9844 0.9922 -1 1 2 1 0.9887 0.01587 0 0.007937 1 1 0 0.03175 0.01587 0.01581 0.1257 15.84 2 0.01612 0.03225 1 1 0.02105 0.08421 0.3368 0.02139 0.08555 0.3422 json
t17_x0_u4_b26 17 0 4 26 mlt(P,pow(P,cil(P))) 98007 138051047 o2(x,o2(x,o1(x))) true 100863 100863 -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_x0_u4_b27 17 0 4 27 mlt(P,mod(P,cil(P))) 98008 138051048 o2(x,o2(x,o1(x))) true 100871 100871 0.4267 0.625 0.6767 0.4834 0.6953 -1 1 2 1 1.744 0.01948 0 0.03433 1 1 -0.005166 0.02885 0.04529 0.0183 0.1353 3.941 1 0.0403 0.05967 1 1 0.03032 0.1561 0.5687 0.06271 0.323 1.176 json
t17_x0_u4_b28 17 0 4 28 mlt(P,lrg(P,cil(P))) 98009 138051049 o2(x,o2(x,o1(x))) true 100879 100879 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_x0_u4_b29 17 0 4 29 mlt(P,eql(P,cil(P))) 98010 138051050 o2(x,o2(x,o1(x))) true 100887 100887 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_x0_u4_b30 17 0 4 30 mlt(P,min(P,cil(P))) 98011 138051051 o2(x,o2(x,o1(x))) true 100895 100895 0.9375 1 0.9375 0.04507 0.2123 0.000291 1 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_x0_u4_b31 17 0 4 31 mlt(P,dot(P,cil(P))) 98012 138051052 o2(x,o2(x,o1(x))) true 100903 100903 -2.328e-10 0.5 0.9764 0.9724 0.9861 -1 1 2 1 1.315 0.003016 0.00001526 0.00799 0.9899 1 8.26e-11 0.002794 0.00757 0.002966 0.05446 6.816 0.7569 0.003117 0.002873 1 1 0.005591 0.04758 0.2975 0.00575 0.04893 0.306 json
t17_x0_u4_b32 17 0 4 32 mlt(P,dst(P,cil(P))) 98013 138051053 o2(x,o2(x,o1(x))) true 100911 100911 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_x0_u4_b33 17 0 4 33 div(P,add(P,cil(P))) 98014 138051054 o2(x,o2(x,o1(x))) true 100919 100919 0.3125 0.875 0.5625 0.2461 0.4961 -1 0.5 1.5 1 0.5436 0.01786 0 0.0119 1 1 3.784e-9 0.03571 0.02381 0.01771 0.1331 11.18 1.5 0.07256 0.1451 1 1 0.02368 0.09474 0.3789 0.09624 0.385 1.54 json
t17_x0_u4_b34 17 0 4 34 div(P,sub(P,cil(P))) 98015 138051055 o2(x,o2(x,o1(x))) true 100927 100927 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
t17_x0_u4_b35 17 0 4 35 div(P,mlt(P,cil(P))) 98016 138051056 o2(x,o2(x,o1(x))) true 100935 100935 -0.125 0.4375 0.3944 0.2329 0.4826 -1 0.9999 2 1 3.833 0.01607 0 0.01488 1 1 9.386e-13 0.0318 0.01748 0.01585 0.1259 8.463 2 0.06901 0.1365 1 1 0.02155 0.0847 0.2581 0.0925 0.3637 1.108 json
t17_x0_u4_b36 17 0 4 36 div(P,div(P,cil(P))) 98017 138051057 o2(x,o2(x,o1(x))) true 100943 100943 -0.125 0.4375 1 0.9844 0.9922 -1 1 2 1 0.9887 0.01587 0 0.007937 1 1 0 0.03175 0.01587 0.01581 0.1257 15.84 2 0.01612 0.03225 1 1 0.02105 0.08421 0.3368 0.02139 0.08555 0.3422 json
t17_x0_u4_b37 17 0 4 37 div(P,pow(P,cil(P))) 98018 138051058 o2(x,o2(x,o1(x))) true 100951 100951 -0.3982 0.3984 0.6018 0.4106 0.6408 -1 0.9999 2 1 2.219 0.004468 0 0.0119 1 1 -1.42e-9 0.007909 0.009736 0.004326 0.06577 5.526 1 0.01088 0.01926 1 1 0.006607 0.04468 0.2699 0.01609 0.1088 0.6571 json
t17_x0_u4_b38 17 0 4 38 div(P,mod(P,cil(P))) 98019 138051059 o2(x,o2(x,o1(x))) true 100959 100959 -0.5 0.25 1 0.75 0.866 -1 1 2 1 0.8113 0.07937 0 0.03968 1 1 9.461e-10 0.1587 0.07937 0.07773 0.2788 7.026 2 0.1058 0.2116 1 1 0.05263 0.2421 0.6632 0.07018 0.3228 0.8842 json
t17_x0_u4_b39 17 0 4 39 div(P,lrg(P,cil(P))) 98020 138051060 o2(x,o2(x,o1(x))) true 100967 100967 -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_x0_u4_b40 17 0 4 40 div(P,eql(P,cil(P))) 98021 138051061 o2(x,o2(x,o1(x))) true 100975 100975 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_x0_u4_b41 17 0 4 41 div(P,min(P,cil(P))) 98022 138051062 o2(x,o2(x,o1(x))) true 100983 100983 0.75 0.875 1 0.4375 0.6614 -1 1 2 1 0.5436 0.03175 0 0.01587 1 1 7.569e-9 0.06349 0.03175 0.03149 0.1774 11.18 2 0.07256 0.1451 1 1 0.04211 0.1684 0.6737 0.09624 0.385 1.54 json
t17_x0_u4_b42 17 0 4 42 div(P,dot(P,cil(P))) 98023 138051063 o2(x,o2(x,o1(x))) true 100991 100991 -0.01562 0.489 0.1391 0.04132 0.2033 -1 0.9997 2 1 3.34 0.00164 0.00113 0.005443 0.1841 1 -4.78e-10 0.005603 0.00475 0.002741 0.05236 9.618 2.121 0.06705 0.1356 1 1 0.00496 0.02088 0.08355 0.1201 0.5053 2.022 json
t17_x0_u4_b43 17 0 4 43 div(P,dst(P,cil(P))) 98024 138051064 o2(x,o2(x,o1(x))) true 100999 100999 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
t17_x0_u4_b44 17 0 4 44 pow(P,add(P,cil(P))) 98025 138051065 o2(x,o2(x,o1(x))) true 101007 101007 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
t17_x0_u4_b45 17 0 4 45 pow(P,sub(P,cil(P))) 98026 138051066 o2(x,o2(x,o1(x))) true 101015 101015 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_x0_u4_b46 17 0 4 46 pow(P,mlt(P,cil(P))) 98027 138051067 o2(x,o2(x,o1(x))) true 101023 101023 -0.125 0.4375 1 0.9844 0.9922 -1 1 2 1 0.9887 0.03175 0 0.01587 1 1 0 0.06349 0.03175 0.03149 0.1774 11.18 2 0.03225 0.0645 1 1 0.02105 0.08421 0.4947 0.02139 0.08555 0.5026 json
t17_x0_u4_b47 17 0 4 47 pow(P,div(P,cil(P))) 98028 138051068 o2(x,o2(x,o1(x))) true 101031 101031 -0.125 0.4375 1 0.9844 0.9922 -1 1 2 1 0.9887 0.01587 0 0.007937 1 1 0 0.03175 0.01587 0.01581 0.1257 15.84 2 0.01612 0.03225 1 1 0.02105 0.08421 0.3368 0.02139 0.08555 0.3422 json
t17_x0_u4_b48 17 0 4 48 pow(P,pow(P,cil(P))) 98029 138051069 o2(x,o2(x,o1(x))) true 101039 101039 -0.5313 0.25 0.9688 0.6792 0.8241 -1 1 2 1 1.163 0.0202 0 0.01587 1 1 0 0.03965 0.02468 0.01994 0.1412 8.896 2 0.02974 0.05838 1 1 0.02728 0.124 0.6225 0.04017 0.1825 0.9165 json
t17_x0_u4_b49 17 0 4 49 pow(P,mod(P,cil(P))) 98030 138051070 o2(x,o2(x,o1(x))) true 101047 101047 0.125 0.5625 1 0.9844 0.9922 -1 1 2 1 0.9887 0.07937 0 0.03968 1 1 0 0.1587 0.07937 0.07773 0.2788 7.026 2 0.08062 0.1612 1 1 0.1053 0.4211 0.8421 0.1069 0.4277 0.8555 json
t17_x0_u4_b50 17 0 4 50 pow(P,lrg(P,cil(P))) 98031 138051071 o2(x,o2(x,o1(x))) true 101055 101055 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_x0_u4_b51 17 0 4 51 pow(P,eql(P,cil(P))) 98032 138051072 o2(x,o2(x,o1(x))) true 101063 101063 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_x0_u4_b52 17 0 4 52 pow(P,min(P,cil(P))) 98033 138051073 o2(x,o2(x,o1(x))) true 101071 101071 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
t17_x0_u4_b53 17 0 4 53 pow(P,dot(P,cil(P))) 98034 138051074 o2(x,o2(x,o1(x))) true 101079 101079 -0.4121 0.3086 0.9707 0.7936 0.8908 -1 1 2 1 1.255 0.02087 0.006064 0.019 0.5497 1 -1.201e-10 0.05466 0.03122 0.02658 0.163 8.578 2.828 0.03394 0.06888 1 1 0.02826 0.1484 0.7294 0.03561 0.187 0.9191 json
t17_x0_u4_b54 17 0 4 54 pow(P,dst(P,cil(P))) 98035 138051075 o2(x,o2(x,o1(x))) true 101087 101087 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_x0_u4_b55 17 0 4 55 mod(P,add(P,cil(P))) 98036 138051076 o2(x,o2(x,o1(x))) true 101095 101095 -0.125 0.4375 1 0.9844 0.9922 -1 1 2 1 0.9887 0.01587 0 0.007937 1 1 0 0.03175 0.01587 0.01581 0.1257 15.84 2 0.01612 0.03225 1 1 0.02105 0.08421 0.3368 0.02139 0.08555 0.3422 json
t17_x0_u4_b56 17 0 4 56 mod(P,sub(P,cil(P))) 98037 138051077 o2(x,o2(x,o1(x))) true 101103 101103 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_x0_u4_b57 17 0 4 57 mod(P,mlt(P,cil(P))) 98038 138051078 o2(x,o2(x,o1(x))) true 101111 101111 -0.125 0.4375 0.9569 0.9337 0.9663 -1 1 2 1 1.476 0.00924 0 0.01587 1 1 0 0.01614 0.01936 0.008985 0.09479 5.974 1.001 0.009896 0.01729 1 1 0.01381 0.07397 0.3266 0.01479 0.07922 0.3498 json
t17_x0_u4_b58 17 0 4 58 mod(P,div(P,cil(P))) 98039 138051079 o2(x,o2(x,o1(x))) true 101119 101119 -0.125 0 0.125 0.1094 0.3307 -1 4.172e-7 1 1 1.294 0.007937 0 0.007937 1 1 -1.487e-13 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
t17_x0_u4_b59 17 0 4 59 mod(P,pow(P,cil(P))) 98040 138051080 o2(x,o2(x,o1(x))) true 101127 101127 -0.08402 0.4375 0.916 0.9056 0.9516 -1 1 2 1 1.463 0.00462 0 0.007937 1 1 -9.461e-10 0.008071 0.009734 0.004556 0.0675 8.504 1 0.005101 0.008912 1 1 0.006903 0.03698 0.2185 0.007622 0.04084 0.2413 json
t17_x0_u4_b60 17 0 4 60 mod(P,mod(P,cil(P))) 98041 138051081 o2(x,o2(x,o1(x))) true 101135 101135 -0.875 0.0625 1 0.2344 0.4841 -1 1 2 1 0.3373 0.03175 0 0.01587 1 1 0 0.06349 0.03175 0.03149 0.1774 11.18 2 0.1354 0.2709 1 1 0.01053 0.07368 0.1684 0.04491 0.3144 0.7186 json
t17_x0_u4_b61 17 0 4 61 mod(P,lrg(P,cil(P))) 98042 138051082 o2(x,o2(x,o1(x))) true 101143 101143 -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_x0_u4_b62 17 0 4 62 mod(P,eql(P,cil(P))) 98043 138051083 o2(x,o2(x,o1(x))) true 101151 101151 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_x0_u4_b63 17 0 4 63 mod(P,min(P,cil(P))) 98044 138051084 o2(x,o2(x,o1(x))) true 101159 101159 -0.125 0.3125 0.6255 0.5899 0.768 -1 1 2 1 2.418 0.01617 0 0.03866 1 1 0 0.02037 0.03799 0.01467 0.1211 3.133 1 0.02741 0.03454 1 1 0.02392 0.1466 0.4242 0.04055 0.2485 0.7191 json
t17_x0_u4_b64 17 0 4 64 mod(P,dot(P,cil(P))) 98045 138051085 o2(x,o2(x,o1(x))) true 101167 101167 -0.01563 0.4922 0.9428 0.9297 0.9642 -1 1 2 1 1.767 0.002089 0.001431 0.009571 0.1869 1 -4.13e-11 0.005932 0.005937 0.003429 0.05856 6.118 2.828 0.003787 0.006381 1 1 0.00681 0.04415 0.2927 0.007325 0.04749 0.3148 json
t17_x0_u4_b65 17 0 4 65 mod(P,dst(P,cil(P))) 98046 138051086 o2(x,o2(x,o1(x))) true 101175 101175 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_x0_u4_b66 17 0 4 66 lrg(P,add(P,cil(P))) 98047 138051087 o2(x,o2(x,o1(x))) true 101183 101183 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_x0_u4_b67 17 0 4 67 lrg(P,sub(P,cil(P))) 98048 138051088 o2(x,o2(x,o1(x))) true 101191 101191 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_x0_u4_b68 17 0 4 68 lrg(P,mlt(P,cil(P))) 98049 138051089 o2(x,o2(x,o1(x))) true 101199 101199 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_x0_u4_b69 17 0 4 69 lrg(P,div(P,cil(P))) 98050 138051090 o2(x,o2(x,o1(x))) true 101207 101207 0.4688 0.5625 0.4688 0.2287 0.4783 0 1 1 1 1.79 0.001059 0 0.0119 1 1 -1.419e-9 0.00004864 0.002783 0.000917 0.03028 2.545 0.1169 0.004629 0.0002126 1 1 0.002776 0.03602 0.06598 0.01214 0.1575 0.2885 json
t17_x0_u4_b70 17 0 4 70 lrg(P,pow(P,cil(P))) 98051 138051091 o2(x,o2(x,o1(x))) true 101215 101215 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_x0_u4_b71 17 0 4 71 lrg(P,mod(P,cil(P))) 98052 138051092 o2(x,o2(x,o1(x))) true 101223 101223 0.3438 0.5 0.3438 0.1918 0.4379 0 1 1 1 2.076 0.001764 0 0.01981 1 1 0.00008984 0.00007983 0.004549 0.001372 0.03704 1.869 0.1169 0.009201 0.0004163 1 1 0.003702 0.04837 0.2118 0.0193 0.2522 1.105 json
t17_x0_u4_b72 17 0 4 72 lrg(P,lrg(P,cil(P))) 98053 138051093 o2(x,o2(x,o1(x))) true 101231 101231 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_x0_u4_b73 17 0 4 73 lrg(P,eql(P,cil(P))) 98054 138051094 o2(x,o2(x,o1(x))) true 101239 101239 0.4063 0.4375 0.4063 0.2344 0.4842 0 1 1 1 1.302 0.0003529 0 0.003968 1 1 -4.731e-10 0.00001619 0.0009276 0.0003372 0.01836 4.628 0.1169 0.001505 0.00006906 1 1 0.0009255 0.01214 0.0751 0.003947 0.0518 0.3203 json
t17_x0_u4_b74 17 0 4 74 lrg(P,min(P,cil(P))) 98055 138051095 o2(x,o2(x,o1(x))) true 101247 101247 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_x0_u4_b75 17 0 4 75 lrg(P,dot(P,cil(P))) 98056 138051096 o2(x,o2(x,o1(x))) true 101255 101255 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_x0_u4_b76 17 0 4 76 lrg(P,dst(P,cil(P))) 98057 138051097 o2(x,o2(x,o1(x))) true 101263 101263 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_x0_u4_b77 17 0 4 77 eql(P,add(P,cil(P))) 98058 138051098 o2(x,o2(x,o1(x))) true 101271 101271 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_x0_u4_b78 17 0 4 78 eql(P,sub(P,cil(P))) 98059 138051099 o2(x,o2(x,o1(x))) true 101279 101279 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_x0_u4_b79 17 0 4 79 eql(P,mlt(P,cil(P))) 98060 138051100 o2(x,o2(x,o1(x))) true 101287 101287 0.125 0.1875 0.125 0.09585 0.3096 0 1 1 1 1.067 0.0007059 0 0.007937 1 1 -9.461e-10 0.00003238 0.001855 0.0006432 0.02536 3.195 0.1169 0.007364 0.0003379 1 1 0.001851 0.02429 0.1411 0.01931 0.2534 1.472 json
t17_x0_u4_b80 17 0 4 80 eql(P,div(P,cil(P))) 98061 138051101 o2(x,o2(x,o1(x))) true 101295 101295 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_x0_u4_b81 17 0 4 81 eql(P,pow(P,cil(P))) 98062 138051102 o2(x,o2(x,o1(x))) true 101303 101303 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_x0_u4_b82 17 0 4 82 eql(P,mod(P,cil(P))) 98063 138051103 o2(x,o2(x,o1(x))) true 101311 101311 0.375 0.625 0.375 0.1803 0.4246 0 1 1 1 2.555 0.002821 0 0.0316 1 1 -0.0001797 0.0001273 0.007243 0.001823 0.0427 1.351 0.1169 0.01565 0.000706 1 1 0.00555 0.07063 0.2075 0.03079 0.3918 1.151 json
t17_x0_u4_b83 17 0 4 83 eql(P,lrg(P,cil(P))) 98064 138051104 o2(x,o2(x,o1(x))) true 101319 101319 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_x0_u4_b84 17 0 4 84 eql(P,eql(P,cil(P))) 98065 138051105 o2(x,o2(x,o1(x))) true 101327 101327 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_x0_u4_b85 17 0 4 85 eql(P,min(P,cil(P))) 98066 138051106 o2(x,o2(x,o1(x))) true 101335 101335 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_x0_u4_b86 17 0 4 86 eql(P,dot(P,cil(P))) 98067 138051107 o2(x,o2(x,o1(x))) true 101343 101343 0.007812 0.02258 0.007812 0.005398 0.07347 0 0.9997 0.9997 1 0.1706 0.00003512 0.00007993 0.001346 -0.3895 1 2.58e-11 0.000006278 0.0003238 0.0001133 0.01064 7.91 0.1169 0.02131 0.001163 1 1 0.0004001 0.00522 0.01922 0.07412 0.9669 3.56 json
t17_x0_u4_b87 17 0 4 87 eql(P,dst(P,cil(P))) 98068 138051108 o2(x,o2(x,o1(x))) true 101351 101351 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_x0_u4_b88 17 0 4 88 min(P,add(P,cil(P))) 98069 138051109 o2(x,o2(x,o1(x))) true 101359 101359 -0.009727 0.5 0.9472 0.9365 0.9677 -1 1 2 1 1.65 0.001005 0 0.007937 1 1 4.731e-10 0.0001502 0.002719 0.0009424 0.0307 3.868 0.2265 0.001073 0.0001604 1 1 0.002565 0.02848 0.2515 0.002739 0.03041 0.2686 json
t17_x0_u4_b89 17 0 4 89 min(P,sub(P,cil(P))) 98070 138051110 o2(x,o2(x,o1(x))) true 101367 101367 -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
t17_x0_u4_b90 17 0 4 90 min(P,mlt(P,cil(P))) 98071 138051111 o2(x,o2(x,o1(x))) true 101375 101375 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_x0_u4_b91 17 0 4 91 min(P,div(P,cil(P))) 98072 138051112 o2(x,o2(x,o1(x))) true 101383 101383 0 0.5 0.9375 0.924 0.9612 -1 1 2 1 1.813 0.0007059 0 0.007937 1 1 3.784e-9 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_x0_u4_b92 17 0 4 92 min(P,pow(P,cil(P))) 98073 138051113 o2(x,o2(x,o1(x))) true 101391 101391 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_x0_u4_b93 17 0 4 93 min(P,mod(P,cil(P))) 98074 138051114 o2(x,o2(x,o1(x))) true 101399 101399 -0.2185 0.3125 0.719 0.6542 0.8089 -1 1 2 1 2.238 0.00452 0 0.01964 1 1 -0.0006289 0.002266 0.01198 0.004133 0.06429 3.273 0.4609 0.006908 0.003463 1 1 0.00762 0.06437 0.2315 0.01165 0.09839 0.3539 json
t17_x0_u4_b94 17 0 4 94 min(P,lrg(P,cil(P))) 98075 138051115 o2(x,o2(x,o1(x))) true 101407 101407 -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
t17_x0_u4_b95 17 0 4 95 min(P,eql(P,cil(P))) 98076 138051116 o2(x,o2(x,o1(x))) true 101415 101415 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_x0_u4_b96 17 0 4 96 min(P,min(P,cil(P))) 98077 138051117 o2(x,o2(x,o1(x))) true 101423 101423 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_x0_u4_b97 17 0 4 97 min(P,dot(P,cil(P))) 98078 138051118 o2(x,o2(x,o1(x))) true 101431 101431 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_x0_u4_b98 17 0 4 98 min(P,dst(P,cil(P))) 98079 138051119 o2(x,o2(x,o1(x))) true 101439 101439 -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
t17_x0_u4_b99 17 0 4 99 dot(P,add(P,cil(P))) 98080 138051120 o2(x,o2(x,o1(x))) true 101447 101447 0.9983 1 0.9983 0.001181 0.03437 0.001164 1 0.9988 1 0.04112 0.0000519 0.0000519 0.0005686 -4.907e-7 1 2.253e-11 0.00003964 0.0003493 0.0001035 0.01018 17.9 0.2685 0.08787 0.03356 1 1 0.0003401 0.002995 0.004304 0.2879 2.536 3.644 json
t17_x0_u4_b100 17 0 4 100 dot(P,sub(P,cil(P))) 98081 138051121 o2(x,o2(x,o1(x))) true 101455 101455 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_x0_u4_b101 17 0 4 101 dot(P,mlt(P,cil(P))) 98082 138051122 o2(x,o2(x,o1(x))) true 101463 101463 3.725e-9 0.498 0.9867 0.9838 0.9919 -1 1 2 1 1.223 0.005879 0.005879 0.01178 -7.921e-8 1 -2.628e-10 0.02109 0.0135 0.01162 0.1078 9.153 1.414 0.01195 0.02144 1 1 0.02158 0.1241 0.5639 0.02194 0.1261 0.5731 json
t17_x0_u4_b102 17 0 4 102 dot(P,div(P,cil(P))) 98083 138051123 o2(x,o2(x,o1(x))) true 101471 101471 -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_x0_u4_b103 17 0 4 103 dot(P,pow(P,cil(P))) 98084 138051124 o2(x,o2(x,o1(x))) true 101479 101479 -0.5008 0.25 0.9992 0.7483 0.865 -1 1 2 1 0.8325 0.007543 0.007543 0.007877 6.174e-8 1 3.341e-10 0.03016 0.01543 0.01502 0.1226 15.56 2 0.02016 0.04031 1 1 0.01971 0.08047 0.3328 0.02634 0.1075 0.4447 json
t17_x0_u4_b104 17 0 4 104 dot(P,mod(P,cil(P))) 98085 138051125 o2(x,o2(x,o1(x))) true 101487 101487 -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_x0_u4_b105 17 0 4 105 dot(P,lrg(P,cil(P))) 98086 138051126 o2(x,o2(x,o1(x))) true 101495 101495 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_x0_u4_b106 17 0 4 106 dot(P,eql(P,cil(P))) 98087 138051127 o2(x,o2(x,o1(x))) true 101503 101503 -1.583e-8 0.498 0.9392 0.9217 0.96 -1 1 2 1 1.917 0.0006889 0.0006889 0.01208 4.225e-7 1 -1.164e-10 0.0002289 0.003184 0.001231 0.03509 2.904 0.1653 0.001495 0.0002483 1 1 0.003512 0.04405 0.4161 0.003811 0.04779 0.4514 json
t17_x0_u4_b107 17 0 4 107 dot(P,min(P,cil(P))) 98088 138051128 o2(x,o2(x,o1(x))) true 101511 101511 0.9967 1 0.9967 0.002206 0.04697 0.0005821 1 0.9994 1 0.08493 0.00004482 0.00004482 0.0007972 -5.682e-7 0 -1.502e-11 0.00002627 0.0002729 0.00008892 0.00943 11.83 0.1653 0.04063 0.01191 1 1 0.0003021 0.00348 0.008043 0.1369 1.578 3.646 json
t17_x0_u4_b108 17 0 4 108 dot(P,dot(P,cil(P))) 98089 138051129 o2(x,o2(x,o1(x))) true 101519 101519 -7.451e-9 0.498 0.9858 0.9826 0.9913 -1 1 2 1 1.234 0.005558 0.005558 0.01182 -4.189e-8 1 7.133e-11 0.01947 0.013 0.01098 0.1048 8.862 1.414 0.01131 0.01982 1 1 0.02038 0.1203 0.5604 0.02074 0.1224 0.5703 json
t17_x0_u4_b109 17 0 4 109 dot(P,dst(P,cil(P))) 98090 138051130 o2(x,o2(x,o1(x))) true 101527 101527 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_x0_u4_b110 17 0 4 110 dst(P,add(P,cil(P))) 98091 138051131 o2(x,o2(x,o1(x))) true 101535 101535 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_x0_u4_b111 17 0 4 111 dst(P,sub(P,cil(P))) 98092 138051132 o2(x,o2(x,o1(x))) true 101543 101543 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_x0_u4_b112 17 0 4 112 dst(P,mlt(P,cil(P))) 98093 138051133 o2(x,o2(x,o1(x))) true 101551 101551 0.989 0.9961 0.989 0.009418 0.09705 0 1 1 1 0.1504 0.0001341 0.0001341 0.001582 -3.797e-7 1 -1.652e-10 0.00007401 0.0007952 0.0002656 0.0163 10.3 0.2415 0.02849 0.007858 1 1 0.0008883 0.008472 0.03463 0.09433 0.8996 3.677 json
t17_x0_u4_b113 17 0 4 113 dst(P,div(P,cil(P))) 98094 138051134 o2(x,o2(x,o1(x))) true 101559 101559 -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_x0_u4_b114 17 0 4 114 dst(P,pow(P,cil(P))) 98095 138051135 o2(x,o2(x,o1(x))) true 101567 101567 -0.5 0.25 1 0.75 0.866 -1 1 2 1 0.8113 0.007937 0.007937 0.007937 0 1 0 0.03187 0.01587 0.01581 0.1257 15.84 2 0.02116 0.0425 1 1 0.02105 0.08421 0.3368 0.02807 0.1123 0.4491 json
t17_x0_u4_b115 17 0 4 115 dst(P,mod(P,cil(P))) 98096 138051136 o2(x,o2(x,o1(x))) true 101575 101575 -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_x0_u4_b116 17 0 4 116 dst(P,lrg(P,cil(P))) 98097 138051137 o2(x,o2(x,o1(x))) true 101583 101583 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_x0_u4_b117 17 0 4 117 dst(P,eql(P,cil(P))) 98098 138051138 o2(x,o2(x,o1(x))) true 101591 101591 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_x0_u4_b118 17 0 4 118 dst(P,min(P,cil(P))) 98099 138051139 o2(x,o2(x,o1(x))) true 101599 101599 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