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_u0_b3 17 0 0 3 add(P,div(P,sqt(P))) 97500 138050220 o2(x,o2(x,o1(x))) true 96807 96807 -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_u0_b4 17 0 0 4 add(P,pow(P,sqt(P))) 97501 138050221 o2(x,o2(x,o1(x))) true 96815 96815 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_u0_b5 17 0 0 5 add(P,mod(P,sqt(P))) 97502 138050222 o2(x,o2(x,o1(x))) true 96823 96823 -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_u0_b6 17 0 0 6 add(P,lrg(P,sqt(P))) 97503 138050223 o2(x,o2(x,o1(x))) true 96831 96831 0.0625 0.5 0.875 0.8576 0.926 -1 1 2 1 2.027 0.0007059 0 0.007937 1 1 0 0.00003238 0.001855 0.0006432 0.02536 3.195 0.1169 0.0008231 0.00003776 1 1 0.001851 0.02429 0.1593 0.002158 0.02832 0.1858 json
t17_x0_u0_b7 17 0 0 7 add(P,eql(P,sqt(P))) 97504 138050224 o2(x,o2(x,o1(x))) true 96839 96839 0.0625 0.5313 0.9806 0.969 0.9844 -1 1 2 1 1.326 0.001412 0 0.007937 1 1 0 0.00006477 0.001855 0.001349 0.03673 4.628 0.2338 0.001457 0.00006684 1 1 0.003702 0.04857 0.3004 0.00382 0.05012 0.31 json
t17_x0_u0_b8 17 0 0 8 add(P,min(P,sqt(P))) 97505 138050225 o2(x,o2(x,o1(x))) true 96847 96847 0 0.5 0.9569 0.9494 0.9744 -1 1 2 1 1.488 0.001303 0 0.007937 1 1 0 0.0002681 0.003586 0.001241 0.03522 4.438 0.2265 0.001373 0.0002824 1 1 0.003279 0.03268 0.2686 0.003454 0.03442 0.2829 json
t17_x0_u0_b9 17 0 0 9 add(P,dot(P,sqt(P))) 97506 138050226 o2(x,o2(x,o1(x))) true 96855 96855 -0.5006 0.25 0.9994 0.7486 0.8652 -1 1 2 1 0.826 0.00755 0.007669 0.00789 -0.00779 1 7.509e-11 0.03042 0.01552 0.01516 0.1231 15.6 2 0.02033 0.04064 1 1 0.01995 0.08149 0.334 0.02665 0.1089 0.4462 json
t17_x0_u0_b10 17 0 0 10 add(P,dst(P,sqt(P))) 97507 138050227 o2(x,o2(x,o1(x))) true 96863 96863 -0.5033 0.25 0.9967 0.7424 0.8616 -1 1 2 1 0.8763 0.006504 0.007538 0.007863 -0.07365 1 -1.126e-11 0.02802 0.01482 0.01398 0.1182 15.04 2 0.01891 0.03774 1 1 0.01792 0.07464 0.3216 0.02414 0.1005 0.4333 json
t17_x0_u0_b11 17 0 0 11 sub(P,add(P,sqt(P))) 97508 138050228 o2(x,o2(x,o1(x))) true 96871 96871 -0.9688 0 0.9688 0.02351 0.1533 -1 -0.000291 0.9997 1 0.459 0.004319 0 0.007934 1 1 0 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_x0_u0_b12 17 0 0 12 sub(P,sub(P,sqt(P))) 97509 138050229 o2(x,o2(x,o1(x))) true 96879 96879 -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_u0_b13 17 0 0 13 sub(P,mlt(P,sqt(P))) 97510 138050230 o2(x,o2(x,o1(x))) true 96887 96887 -0.8988 0 0.8988 0.08011 0.283 -1 0 1 1 0.9785 0.004249 0 0.007937 1 1 -2.129e-9 0.007974 0.009266 0.004185 0.06469 8.151 1 0.05304 0.09954 1 1 0.005983 0.03013 0.1189 0.07469 0.3761 1.484 json
t17_x0_u0_b14 17 0 0 14 sub(P,div(P,sqt(P))) 97511 138050231 o2(x,o2(x,o1(x))) true 96895 96895 -0.1789 0.4375 0.946 0.8982 0.9477 -1 1 2 1 1.639 0.00419 0 0.007937 1 1 4.735e-10 0.00793 0.009079 0.004126 0.06423 8.093 1 0.004665 0.008829 1 1 0.005856 0.03176 0.2421 0.006519 0.03536 0.2696 json
t17_x0_u0_b15 17 0 0 15 sub(P,pow(P,sqt(P))) 97512 138050232 o2(x,o2(x,o1(x))) true 96903 96903 -0.9231 0 0.9231 0.05141 0.2267 -1 -0.0001936 0.9998 1 0.997 0.0006489 0 0.007935 1 1 -1.183e-10 0.0001015 0.002587 0.0005862 0.02421 3.051 0.1324 0.01262 0.001974 1 1 0.001654 0.01979 0.07718 0.03217 0.385 1.501 json
t17_x0_u0_b16 17 0 0 16 sub(P,mod(P,sqt(P))) 97513 138050233 o2(x,o2(x,o1(x))) true 96911 96911 -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_u0_b17 17 0 0 17 sub(P,lrg(P,sqt(P))) 97514 138050234 o2(x,o2(x,o1(x))) true 96919 96919 -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_u0_b18 17 0 0 18 sub(P,eql(P,sqt(P))) 97515 138050235 o2(x,o2(x,o1(x))) true 96927 96927 -0.1153 0.4375 0.9472 0.9229 0.9607 -1 1 2 1 1.642 0.001005 0 0.007937 1 1 -4.731e-10 0.0001502 0.002719 0.0009424 0.0307 3.868 0.2265 0.001089 0.0001628 1 1 0.002565 0.02848 0.2515 0.00278 0.03086 0.2725 json
t17_x0_u0_b19 17 0 0 19 sub(P,min(P,sqt(P))) 97516 138050236 o2(x,o2(x,o1(x))) true 96935 96935 0.3835 0.4375 0.3835 0.2201 0.4692 0 1 1 1 1.535 0.0002202 0 0.003968 1 1 1.064e-9 0.00002227 0.001173 0.0002046 0.01431 3.605 0.07973 0.001 0.0001012 1 1 0.0005694 0.006871 0.06218 0.002587 0.03121 0.2825 json
t17_x0_u0_b20 17 0 0 20 sub(P,dot(P,sqt(P))) 97517 138050237 o2(x,o2(x,o1(x))) true 96943 96943 -0.9971 0 0.9971 0.002144 0.0463 -1 -0.000291 0.9997 1 0.06815 0.0001075 0.0003994 0.001002 -0.5757 1 2.628e-11 0.000973 0.001202 0.0005055 0.02248 22.45 0.9997 0.2364 0.4539 1 1 0.000961 0.004276 0.007757 0.4483 1.994 3.618 json
t17_x0_u0_b21 17 0 0 21 sub(P,dst(P,sqt(P))) 97518 138050238 o2(x,o2(x,o1(x))) true 96951 96951 -0.6608 0.1719 0.9608 0.5112 0.715 -1 1 2 1 1.274 0.0006336 0.007715 0.009594 -0.8482 1 -0.00001061 0.01594 0.009902 0.008263 0.0909 9.475 2 0.01633 0.03118 1 1 0.01156 0.05633 0.3334 0.02261 0.1102 0.6521 json
t17_x0_u0_b22 17 0 0 22 mlt(P,add(P,sqt(P))) 97519 138050239 o2(x,o2(x,o1(x))) true 96959 96959 -0.02152 0.5 0.9785 0.9739 0.9869 -1 1 2 1 1.244 0.004625 0 0.007937 1 1 -4.731e-10 0.007971 0.009631 0.00456 0.06753 8.509 1.001 0.004749 0.008185 1 1 0.006981 0.05009 0.3027 0.007168 0.05143 0.3108 json
t17_x0_u0_b23 17 0 0 23 mlt(P,sub(P,sqt(P))) 97520 138050240 o2(x,o2(x,o1(x))) true 96967 96967 -0.0906 0.4375 0.9094 0.8955 0.9463 -1 1 2 1 1.558 0.004409 0 0.007937 1 1 9.386e-13 0.007985 0.009023 0.004345 0.06592 8.305 1 0.004924 0.008918 1 1 0.0064 0.03468 0.2073 0.007147 0.03873 0.2315 json
t17_x0_u0_b24 17 0 0 24 mlt(P,mlt(P,sqt(P))) 97521 138050241 o2(x,o2(x,o1(x))) true 96975 96975 -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_u0_b25 17 0 0 25 mlt(P,div(P,sqt(P))) 97522 138050242 o2(x,o2(x,o1(x))) true 96983 96983 -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_u0_b26 17 0 0 26 mlt(P,pow(P,sqt(P))) 97523 138050243 o2(x,o2(x,o1(x))) true 96991 96991 -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_u0_b27 17 0 0 27 mlt(P,mod(P,sqt(P))) 97524 138050244 o2(x,o2(x,o1(x))) true 96999 96999 -0.1885 0.4375 0.9365 0.8899 0.9434 -1 1 2 1 1.628 0.006067 0 0.01587 1 1 3.311e-9 0.008439 0.01372 0.005811 0.07623 4.804 1 0.006817 0.009483 1 1 0.0105 0.07435 0.3311 0.01179 0.08355 0.3721 json
t17_x0_u0_b28 17 0 0 28 mlt(P,lrg(P,sqt(P))) 97525 138050245 o2(x,o2(x,o1(x))) true 97007 97007 -0.05277 0.4375 0.8847 0.8716 0.9336 -1 1 2 1 1.869 0.001005 0 0.007937 1 1 -4.731e-10 0.0001503 0.002725 0.0009424 0.0307 3.868 0.2265 0.001153 0.0001724 1 1 0.002565 0.02807 0.1699 0.002943 0.03221 0.1949 json
t17_x0_u0_b29 17 0 0 29 mlt(P,eql(P,sqt(P))) 97526 138050246 o2(x,o2(x,o1(x))) true 97015 97015 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_u0_b30 17 0 0 30 mlt(P,min(P,sqt(P))) 97527 138050247 o2(x,o2(x,o1(x))) true 97023 97023 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_u0_b31 17 0 0 31 mlt(P,dot(P,sqt(P))) 97528 138050248 o2(x,o2(x,o1(x))) true 97031 97031 -0.5069 0.25 0.9931 0.735 0.8573 -1 1 2 1 0.9022 0.002601 0.007534 0.007821 -0.4867 1 5.425e-8 0.01922 0.01299 0.01007 0.1004 12.83 2 0.01379 0.02615 1 1 0.01382 0.06971 0.3173 0.0188 0.09484 0.4316 json
t17_x0_u0_b32 17 0 0 32 mlt(P,dst(P,sqt(P))) 97529 138050249 o2(x,o2(x,o1(x))) true 97039 97039 -0.5182 0.2458 0.9818 0.7104 0.8428 -1 1 2 1 1.005 0.002314 0.006832 0.007704 -0.4939 1 7.3e-8 0.0177 0.01208 0.009087 0.09533 12.37 2 0.01288 0.02492 1 1 0.01194 0.05646 0.2792 0.01681 0.07948 0.3931 json
t17_x0_u0_b33 17 0 0 33 div(P,add(P,sqt(P))) 97530 138050250 o2(x,o2(x,o1(x))) true 97047 97047 -0.273 0.4375 0.8521 0.6814 0.8254 -1 0.7388 1.739 1 1.755 0.008932 0 0.0069 1 1 0.000001172 0.01785 0.01212 0.008889 0.09428 13.67 1.5 0.01311 0.0262 1 1 0.01186 0.04835 0.2103 0.0174 0.07097 0.3087 json
t17_x0_u0_b34 17 0 0 34 div(P,sub(P,sqt(P))) 97531 138050251 o2(x,o2(x,o1(x))) true 97055 97055 -0.25 0.375 1 0.9375 0.9682 -1 1 2 1 0.9544 0.01587 0 0.007937 1 1 0 0.03175 0.01587 0.01581 0.1257 15.84 2 0.01693 0.03386 1 1 0.02105 0.08421 0.3368 0.02246 0.08982 0.3593 json
t17_x0_u0_b35 17 0 0 35 div(P,mlt(P,sqt(P))) 97532 138050252 o2(x,o2(x,o1(x))) true 97063 97063 -0.3316 0.4375 0.7934 0.5865 0.7659 -1 0.9999 2 1 2.294 0.01591 0 0.0105 1 1 -0.000002193 0.03178 0.01647 0.01581 0.1257 11.97 2 0.02713 0.05418 1 1 0.02113 0.08175 0.2655 0.03603 0.1394 0.4526 json
t17_x0_u0_b36 17 0 0 36 div(P,div(P,sqt(P))) 97533 138050253 o2(x,o2(x,o1(x))) true 97071 97071 -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_u0_b37 17 0 0 37 div(P,pow(P,sqt(P))) 97534 138050254 o2(x,o2(x,o1(x))) true 97079 97079 -0.3306 0.5 0.6694 0.4981 0.7057 -1 0.9999 2 1 2.786 0.004398 0 0.01181 1 1 -0.000001647 0.007906 0.009714 0.004258 0.06525 5.523 1 0.00883 0.01587 1 1 0.006422 0.04228 0.2822 0.01289 0.08488 0.5665 json
t17_x0_u0_b38 17 0 0 38 div(P,mod(P,sqt(P))) 97535 138050255 o2(x,o2(x,o1(x))) true 97087 97087 -0.375 0.3125 1 0.8594 0.927 -1 1 2 1 0.896 0.04762 0 0.02381 1 1 0 0.09524 0.04762 0.04704 0.2169 9.109 2 0.05541 0.1108 1 1 0.06316 0.2526 0.6737 0.07349 0.294 0.7839 json
t17_x0_u0_b39 17 0 0 39 div(P,lrg(P,sqt(P))) 97536 138050256 o2(x,o2(x,o1(x))) true 97095 97095 -0.25 0.375 1 0.9375 0.9682 -1 1 2 1 0.9544 0.01587 0 0.007937 1 1 0 0.03175 0.01587 0.01581 0.1257 15.84 2 0.01693 0.03386 1 1 0.02105 0.08421 0.3368 0.02246 0.08982 0.3593 json
t17_x0_u0_b40 17 0 0 40 div(P,eql(P,sqt(P))) 97537 138050257 o2(x,o2(x,o1(x))) true 97103 97103 -0.7813 0.125 0.9688 0.3514 0.5928 -1 1 2 1 0.8347 0.0202 0 0.01587 1 1 0 0.03965 0.02468 0.01994 0.1412 8.896 2 0.05748 0.1128 1 1 0.02728 0.124 0.5383 0.07764 0.3528 1.532 json
t17_x0_u0_b41 17 0 0 41 div(P,min(P,sqt(P))) 97538 138050258 o2(x,o2(x,o1(x))) true 97111 97111 0.75 0.875 1 0.4375 0.6614 -1 1 2 1 0.5436 0.03175 0 0.01587 1 1 3.784e-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_u0_b42 17 0 0 42 div(P,dot(P,sqt(P))) 97539 138050259 o2(x,o2(x,o1(x))) true 97119 97119 -0.6936 0.2445 0.8142 0.2923 0.5406 -1 0.9998 2 1 1.561 0.00252 0.004517 0.00629 -0.2838 1 -9.837e-7 0.01428 0.01052 0.006996 0.08364 13.3 2.121 0.02408 0.04885 1 1 0.009903 0.03973 0.1545 0.03388 0.1359 0.5286 json
t17_x0_u0_b43 17 0 0 43 div(P,dst(P,sqt(P))) 97540 138050260 o2(x,o2(x,o1(x))) true 97127 97127 -0.5659 0.2337 0.9654 0.6333 0.7958 -1 1 2 1 1.25 0.003562 0.007651 0.008109 -0.3647 1 -0.000003116 0.02256 0.01315 0.01115 0.1056 13.02 2.828 0.01771 0.03562 1 1 0.01553 0.06525 0.2898 0.02452 0.103 0.4575 json
t17_x0_u0_b44 17 0 0 44 pow(P,add(P,sqt(P))) 97541 138050261 o2(x,o2(x,o1(x))) true 97135 97135 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_u0_b45 17 0 0 45 pow(P,sub(P,sqt(P))) 97542 138050262 o2(x,o2(x,o1(x))) true 97143 97143 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_u0_b46 17 0 0 46 pow(P,mlt(P,sqt(P))) 97543 138050263 o2(x,o2(x,o1(x))) true 97151 97151 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_u0_b47 17 0 0 47 pow(P,div(P,sqt(P))) 97544 138050264 o2(x,o2(x,o1(x))) true 97159 97159 -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_u0_b48 17 0 0 48 pow(P,pow(P,sqt(P))) 97545 138050265 o2(x,o2(x,o1(x))) true 97167 97167 -0.2813 0.375 0.9688 0.8822 0.9393 -1 1 2 1 1.338 0.0202 0 0.01587 1 1 0 0.03965 0.02468 0.01994 0.1412 8.896 2 0.02289 0.04494 1 1 0.01675 0.1134 0.6119 0.01899 0.1286 0.6936 json
t17_x0_u0_b49 17 0 0 49 pow(P,mod(P,sqt(P))) 97546 138050266 o2(x,o2(x,o1(x))) true 97175 97175 -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_u0_b50 17 0 0 50 pow(P,lrg(P,sqt(P))) 97547 138050267 o2(x,o2(x,o1(x))) true 97183 97183 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_u0_b51 17 0 0 51 pow(P,eql(P,sqt(P))) 97548 138050268 o2(x,o2(x,o1(x))) true 97191 97191 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_u0_b52 17 0 0 52 pow(P,min(P,sqt(P))) 97549 138050269 o2(x,o2(x,o1(x))) true 97199 97199 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_u0_b53 17 0 0 53 pow(P,dot(P,sqt(P))) 97550 138050270 o2(x,o2(x,o1(x))) true 97207 97207 -0.5146 0.25 0.9854 0.717 0.8468 -1 1 2 1 1.011 0.002499 0.007945 0.008021 -0.5215 1 3.67e-10 0.02066 0.01259 0.01038 0.1019 12.7 2 0.01457 0.02881 1 1 0.01424 0.06346 0.3049 0.01985 0.0885 0.4253 json
t17_x0_u0_b54 17 0 0 54 pow(P,dst(P,sqt(P))) 97551 138050271 o2(x,o2(x,o1(x))) true 97215 97215 -0.5127 0.25 0.9873 0.7218 0.8496 -1 1 2 1 0.9899 0.003232 0.007945 0.008021 -0.4217 1 -4.224e-11 0.02217 0.01303 0.01111 0.1054 13.14 2 0.01549 0.03071 1 1 0.01549 0.06775 0.3163 0.02146 0.09387 0.4383 json
t17_x0_u0_b55 17 0 0 55 mod(P,add(P,sqt(P))) 97552 138050272 o2(x,o2(x,o1(x))) true 97223 97223 -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_u0_b56 17 0 0 56 mod(P,sub(P,sqt(P))) 97553 138050273 o2(x,o2(x,o1(x))) true 97231 97231 -0.3588 0.375 0.8912 0.736 0.8579 -1 1 2 1 1.793 0.006969 0 0.01162 1 1 -4.731e-10 0.01252 0.0125 0.00683 0.08265 7.114 1.243 0.009469 0.01701 1 1 0.01019 0.05367 0.1891 0.01384 0.07292 0.2569 json
t17_x0_u0_b57 17 0 0 57 mod(P,mlt(P,sqt(P))) 97554 138050274 o2(x,o2(x,o1(x))) true 97239 97239 -0.1465 0.4375 0.9785 0.9531 0.9763 -1 1 2 1 1.226 0.004625 0 0.007937 1 1 -4.731e-10 0.007971 0.009631 0.00456 0.06753 8.509 1.001 0.004852 0.008364 1 1 0.006981 0.05009 0.3027 0.007324 0.05256 0.3176 json
t17_x0_u0_b58 17 0 0 58 mod(P,div(P,sqt(P))) 97555 138050275 o2(x,o2(x,o1(x))) true 97247 97247 -0.2648 0.4375 0.8601 0.7507 0.8664 -1 1 2 1 2.273 0.004866 0 0.01587 1 1 9.463e-10 0.008009 0.01127 0.004616 0.06794 4.281 1 0.006483 0.01067 1 1 0.007598 0.05227 0.2951 0.01012 0.06963 0.3931 json
t17_x0_u0_b59 17 0 0 59 mod(P,pow(P,sqt(P))) 97556 138050276 o2(x,o2(x,o1(x))) true 97255 97255 -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_u0_b60 17 0 0 60 mod(P,mod(P,sqt(P))) 97557 138050277 o2(x,o2(x,o1(x))) true 97263 97263 -0.6485 0.25 0.8515 0.3806 0.6169 -1 0.9703 1.97 1 1.588 0.02113 0 0.02202 1 1 0.00007229 0.04165 0.03278 0.02065 0.1437 6.524 1.464 0.05553 0.1094 1 1 0.02773 0.1135 0.3125 0.07287 0.2984 0.8212 json
t17_x0_u0_b61 17 0 0 61 mod(P,lrg(P,sqt(P))) 97558 138050278 o2(x,o2(x,o1(x))) true 97271 97271 -0.1875 0 0.1875 0.1523 0.3903 -1 0 1 1 0.6962 0.007937 0 0.007937 1 1 0 0.01587 0.01587 0.007872 0.08872 11.18 1 0.0521 0.1042 1 1 0.01053 0.04211 0.1684 0.0691 0.2764 1.106 json
t17_x0_u0_b62 17 0 0 62 mod(P,eql(P,sqt(P))) 97559 138050279 o2(x,o2(x,o1(x))) true 97279 97279 -0.9375 0 0.9375 0.05859 0.2421 -1 0 1 1 0.3373 0.007937 0 0.007937 1 1 0 0.01587 0.01587 0.007872 0.08872 11.18 1 0.1354 0.2709 1 1 0.01053 0.04211 0.08421 0.1796 0.7186 1.437 json
t17_x0_u0_b63 17 0 0 63 mod(P,min(P,sqt(P))) 97560 138050280 o2(x,o2(x,o1(x))) true 97287 97287 -0.0776 0.4375 0.6729 0.6178 0.786 -1 1 2 1 3.095 0.0129 0 0.03489 1 1 0.0006289 0.01819 0.03027 0.01169 0.1081 3.099 1 0.02088 0.02945 1 1 0.01956 0.1256 0.4186 0.03165 0.2032 0.6775 json
t17_x0_u0_b64 17 0 0 64 mod(P,dot(P,sqt(P))) 97561 138050281 o2(x,o2(x,o1(x))) true 97295 97295 -0.5221 0.2461 0.9857 0.7098 0.8425 -1 1 2 1 0.9962 0.002508 0.007263 0.007748 -0.4867 1 -4.224e-11 0.01936 0.01218 0.009711 0.09854 12.72 2.828 0.01377 0.02728 1 1 0.01307 0.06003 0.3011 0.01841 0.08457 0.4243 json
t17_x0_u0_b65 17 0 0 65 mod(P,dst(P,sqt(P))) 97562 138050282 o2(x,o2(x,o1(x))) true 97303 97303 -0.564 0.2344 0.9672 0.6382 0.7989 -1 1 2 1 1.221 0.002578 0.005478 0.009486 -0.3599 1 -0.000002433 0.01553 0.01226 0.007966 0.08925 9.409 2 0.01262 0.02434 1 1 0.0101 0.04933 0.2455 0.01582 0.07729 0.3847 json
t17_x0_u0_b66 17 0 0 66 lrg(P,add(P,sqt(P))) 97563 138050283 o2(x,o2(x,o1(x))) true 97311 97311 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_u0_b67 17 0 0 67 lrg(P,sub(P,sqt(P))) 97564 138050284 o2(x,o2(x,o1(x))) true 97319 97319 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_u0_b68 17 0 0 68 lrg(P,mlt(P,sqt(P))) 97565 138050285 o2(x,o2(x,o1(x))) true 97327 97327 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_u0_b69 17 0 0 69 lrg(P,div(P,sqt(P))) 97566 138050286 o2(x,o2(x,o1(x))) true 97335 97335 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_u0_b70 17 0 0 70 lrg(P,pow(P,sqt(P))) 97567 138050287 o2(x,o2(x,o1(x))) true 97343 97343 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_u0_b71 17 0 0 71 lrg(P,mod(P,sqt(P))) 97568 138050288 o2(x,o2(x,o1(x))) true 97351 97351 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_u0_b72 17 0 0 72 lrg(P,lrg(P,sqt(P))) 97569 138050289 o2(x,o2(x,o1(x))) true 97359 97359 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_u0_b73 17 0 0 73 lrg(P,eql(P,sqt(P))) 97570 138050290 o2(x,o2(x,o1(x))) true 97367 97367 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_u0_b74 17 0 0 74 lrg(P,min(P,sqt(P))) 97571 138050291 o2(x,o2(x,o1(x))) true 97375 97375 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_u0_b75 17 0 0 75 lrg(P,dot(P,sqt(P))) 97572 138050292 o2(x,o2(x,o1(x))) true 97383 97383 0.7178 0.75 0.7178 0.1955 0.4422 0 1 1 1 1.198 0.0001852 0.0001852 0.004184 0.000001493 1 -5.533e-10 0.00001725 0.0009791 0.0003528 0.01878 4.489 0.1169 0.001895 0.00008821 1 1 0.0009865 0.01294 0.08005 0.005046 0.06621 0.4094 json
t17_x0_u0_b76 17 0 0 76 lrg(P,dst(P,sqt(P))) 97573 138050293 o2(x,o2(x,o1(x))) true 97391 97391 0.8965 0.9401 0.8965 0.0833 0.2886 0 1 1 1 0.8839 0.0003414 0.0001229 0.00541 0.4706 1 -0.000005705 0.00002467 0.00129 0.0004349 0.02086 3.855 0.1169 0.005574 0.0002962 1 1 0.001224 0.01606 0.08863 0.0147 0.1928 1.064 json
t17_x0_u0_b77 17 0 0 77 eql(P,add(P,sqt(P))) 97574 138050294 o2(x,o2(x,o1(x))) true 97399 97399 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_u0_b78 17 0 0 78 eql(P,sub(P,sqt(P))) 97575 138050295 o2(x,o2(x,o1(x))) true 97407 97407 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_u0_b79 17 0 0 79 eql(P,mlt(P,sqt(P))) 97576 138050296 o2(x,o2(x,o1(x))) true 97415 97415 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_u0_b80 17 0 0 80 eql(P,div(P,sqt(P))) 97577 138050297 o2(x,o2(x,o1(x))) true 97423 97423 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_u0_b81 17 0 0 81 eql(P,pow(P,sqt(P))) 97578 138050298 o2(x,o2(x,o1(x))) true 97431 97431 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_u0_b82 17 0 0 82 eql(P,mod(P,sqt(P))) 97579 138050299 o2(x,o2(x,o1(x))) true 97439 97439 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_u0_b83 17 0 0 83 eql(P,lrg(P,sqt(P))) 97580 138050300 o2(x,o2(x,o1(x))) true 97447 97447 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_u0_b84 17 0 0 84 eql(P,eql(P,sqt(P))) 97581 138050301 o2(x,o2(x,o1(x))) true 97455 97455 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_u0_b85 17 0 0 85 eql(P,min(P,sqt(P))) 97582 138050302 o2(x,o2(x,o1(x))) true 97463 97463 0.5938 0.625 0.5938 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_u0_b86 17 0 0 86 eql(P,dot(P,sqt(P))) 97583 138050303 o2(x,o2(x,o1(x))) true 97471 97471 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_u0_b87 17 0 0 87 eql(P,dst(P,sqt(P))) 97584 138050304 o2(x,o2(x,o1(x))) true 97479 97479 0.007812 0.02258 0.007812 0.005398 0.07347 0 0.9997 0.9997 1 0.1706 0.00007993 0.00003512 0.001346 0.3895 1 -6.764e-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_u0_b88 17 0 0 88 min(P,add(P,sqt(P))) 97585 138050305 o2(x,o2(x,o1(x))) true 97487 97487 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_u0_b89 17 0 0 89 min(P,sub(P,sqt(P))) 97586 138050306 o2(x,o2(x,o1(x))) true 97495 97495 -0.0852 0.4375 0.8523 0.8214 0.9063 -1 1 2 1 2.272 0.0005732 0 0.007937 1 1 1.537e-9 0.00003846 0.002101 0.0005102 0.02259 2.846 0.1169 0.0006978 0.00004682 1 1 0.001495 0.01901 0.1426 0.00182 0.02315 0.1736 json
t17_x0_u0_b90 17 0 0 90 min(P,mlt(P,sqt(P))) 97587 138050307 o2(x,o2(x,o1(x))) true 97503 97503 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_u0_b91 17 0 0 91 min(P,div(P,sqt(P))) 97588 138050308 o2(x,o2(x,o1(x))) true 97511 97511 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_u0_b92 17 0 0 92 min(P,pow(P,sqt(P))) 97589 138050309 o2(x,o2(x,o1(x))) true 97519 97519 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_u0_b93 17 0 0 93 min(P,mod(P,sqt(P))) 97590 138050310 o2(x,o2(x,o1(x))) true 97527 97527 -0.1711 0.4375 0.7664 0.6912 0.8314 -1 1 2 1 2.86 0.00125 0 0.01587 1 1 2.897e-9 0.0001178 0.004296 0.0009978 0.03159 1.99 0.1482 0.001808 0.0001704 1 1 0.003237 0.03952 0.1956 0.004683 0.05718 0.283 json
t17_x0_u0_b94 17 0 0 94 min(P,lrg(P,sqt(P))) 97591 138050311 o2(x,o2(x,o1(x))) true 97535 97535 -0.0625 0.4375 0.875 0.8576 0.926 -1 1 2 1 2.027 0.0007059 0 0.007937 1 1 0 0.00003238 0.001855 0.0006432 0.02536 3.195 0.1169 0.0008231 0.00003776 1 1 0.001851 0.02429 0.1593 0.002158 0.02832 0.1858 json
t17_x0_u0_b95 17 0 0 95 min(P,eql(P,sqt(P))) 97592 138050312 o2(x,o2(x,o1(x))) true 97543 97543 -0.4063 0.125 0.5313 0.3457 0.588 -1 0.9997 2 1 2.109 0.001059 0 0.0119 1 1 -4.731e-10 0.00004858 0.002778 0.0009168 0.03028 2.544 0.1169 0.003063 0.0001405 1 1 0.002776 0.03643 0.2162 0.008031 0.1054 0.6253 json
t17_x0_u0_b96 17 0 0 96 min(P,min(P,sqt(P))) 97593 138050313 o2(x,o2(x,o1(x))) true 97551 97551 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_u0_b97 17 0 0 97 min(P,dot(P,sqt(P))) 97594 138050314 o2(x,o2(x,o1(x))) true 97559 97559 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_u0_b98 17 0 0 98 min(P,dst(P,sqt(P))) 97595 138050315 o2(x,o2(x,o1(x))) true 97567 97567 -0.01221 0.4956 0.9253 0.9092 0.9535 -1 1 2 1 1.945 0.0006735 0.00004216 0.008371 0.8822 1 2.302e-10 0.00004246 0.002046 0.0006454 0.0254 3.035 0.1644 0.0007871 0.0000467 1 1 0.001879 0.02449 0.2248 0.002067 0.02694 0.2473 json
t17_x0_u0_b99 17 0 0 99 dot(P,add(P,sqt(P))) 97596 138050316 o2(x,o2(x,o1(x))) true 97575 97575 -0.5004 0.25 0.9996 0.749 0.8655 -1 1 2 1 0.8216 0.007674 0.007674 0.007899 0 1 1.652e-10 0.03069 0.01559 0.01529 0.1236 15.65 2 0.02049 0.04097 1 1 0.02018 0.08223 0.3349 0.02694 0.1098 0.4471 json
t17_x0_u0_b100 17 0 0 100 dot(P,sub(P,sqt(P))) 97597 138050317 o2(x,o2(x,o1(x))) true 97583 97583 -0.5081 0.2461 0.9919 0.7329 0.8561 -1 1 2 1 0.9021 0.006858 0.006858 0.007885 3.734e-7 1 1.427e-10 0.02732 0.01462 0.01365 0.1168 14.82 2 0.01872 0.03728 1 1 0.01739 0.07165 0.3041 0.02373 0.09776 0.4149 json
t17_x0_u0_b101 17 0 0 101 dot(P,mlt(P,sqt(P))) 97598 138050318 o2(x,o2(x,o1(x))) true 97591 97591 -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_u0_b102 17 0 0 102 dot(P,div(P,sqt(P))) 97599 138050319 o2(x,o2(x,o1(x))) true 97599 97599 -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