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_x3_u6_b36 17 3 6 36 div(P,div(D,nrm(P))) 100800 138172662 o2(x,o2(x,o1(x))) true 123207 123207 -0.01562 0.4896 0.8858 0.8614 0.9281 -1 1 2 1 2.259 0.3538 0.001542 0.2292 0.9913 1 3.116e-10 0.6394 0.3719 0.3029 0.5504 2.402 2.006 0.4125 0.7422 1 1 0.3697 1.524 0.199 0.4291 1.77 0.231 json
t17_x3_u6_b37 17 3 6 37 div(P,pow(D,nrm(P))) 100801 138172663 o2(x,o2(x,o1(x))) true 123215 123215 -0.9641 0 0.9641 0.02563 0.1601 -1 -0.0002846 0.9997 1 0.4997 0.0049 0.0003352 0.00872 0.872 1 -1.19e-7 0.01075 0.0131 0.005157 0.07181 8.235 1.414 0.2043 0.4196 1 1 0.006941 0.02346 0.04452 0.2709 0.9156 1.737 json
t17_x3_u6_b38 17 3 6 38 div(P,mod(D,nrm(P))) 100802 138172664 o2(x,o2(x,o1(x))) true 123223 123223 -0.1253 0.4392 0.9835 0.9622 0.9809 -1 1 2 1 1.245 0.7532 0.0147 0.4048 0.9617 1 0.0000537 1.913 0.7863 0.6041 0.7773 1.92 2.828 0.7981 1.988 1 1 0.5979 1.494 0.7722 0.6214 1.553 0.8025 json
t17_x3_u6_b39 17 3 6 39 div(P,lrg(D,nrm(P))) 100803 138172665 o2(x,o2(x,o1(x))) true 123231 123231 -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_x3_u6_b40 17 3 6 40 div(P,eql(D,nrm(P))) 100804 138172666 o2(x,o2(x,o1(x))) true 123239 123239 -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_x3_u6_b41 17 3 6 41 div(P,min(D,nrm(P))) 100805 138172667 o2(x,o2(x,o1(x))) true 123247 123247 0.4138 0.717 0.9725 0.795 0.8916 -1 1 2 1 1.251 0.2008 0.00001205 0.1191 0.9999 1 9.178e-7 0.3746 0.2123 0.1868 0.4322 3.63 2 0.2527 0.4713 1 1 0.2085 0.9149 0.3087 0.2623 1.151 0.3883 json
t17_x3_u6_b42 17 3 6 42 div(P,dot(D,nrm(P))) 100806 138172668 o2(x,o2(x,o1(x))) true 123255 123255 -0.01746 0.4911 0.9426 0.929 0.9638 -1 1 2 1 1.759 0.4922 0.4428 0.4676 0.05282 1 1.952e-10 3.24 0.9623 0.7164 0.8464 1.81 2.828 1.006 3.487 1 1 0.8493 2.244 0.9286 0.9142 2.416 0.9995 json
t17_x3_u6_b43 17 3 6 43 div(P,dst(D,nrm(P))) 100807 138172669 o2(x,o2(x,o1(x))) true 123263 123263 -0.01563 0.4922 0.9404 0.9278 0.9632 -1 1 2 1 1.771 0.002485 0.001349 0.009313 0.2962 1 2.171e-11 0.006601 0.006062 0.00375 0.06124 6.576 2.827 0.004133 0.007115 1 1 0.007239 0.04357 0.2811 0.007802 0.04696 0.3029 json
t17_x3_u6_b44 17 3 6 44 pow(P,add(D,nrm(P))) 100808 138172670 o2(x,o2(x,o1(x))) true 123271 123271 -0.04368 0.4922 0.9719 0.9634 0.9815 -1 1 2 1 1.38 0.005794 0.001205 0.008922 0.6556 1 -5.784e-8 0.01366 0.0114 0.006924 0.08321 9.326 2.828 0.007265 0.01418 1 1 0.01085 0.05571 0.3272 0.01126 0.05783 0.3396 json
t17_x3_u6_b45 17 3 6 45 pow(P,sub(D,nrm(P))) 100809 138172671 o2(x,o2(x,o1(x))) true 123279 123279 -0.286 0.4922 0.7296 0.5567 0.7461 -1 0.9998 2 1 2.869 0.006133 0.001208 0.01927 0.6708 1 -0.00000861 0.01371 0.01499 0.006969 0.08348 4.333 2.828 0.01319 0.02464 1 1 0.01151 0.06024 0.2866 0.02067 0.1082 0.5149 json
t17_x3_u6_b46 17 3 6 46 pow(P,mlt(D,nrm(P))) 100810 138172672 o2(x,o2(x,o1(x))) true 123287 123287 -0.0318 0.4922 0.9838 0.9685 0.9841 -1 1 2 1 1.504 0.01617 0.002016 0.01557 0.7783 1 0.00006593 0.03649 0.02338 0.01794 0.1339 8.604 2.828 0.01877 0.03768 1 1 0.02506 0.09937 0.3837 0.02587 0.1026 0.3961 json
t17_x3_u6_b47 17 3 6 47 pow(P,div(D,nrm(P))) 100811 138172673 o2(x,o2(x,o1(x))) true 123295 123295 -0.06291 0.4922 0.9527 0.9269 0.9627 -1 1 2 1 1.908 0.006391 0.001206 0.01763 0.6826 1 -0.0001199 0.01423 0.01945 0.007284 0.08535 4.842 2.828 0.008196 0.01535 1 1 0.0117 0.05821 0.3057 0.01262 0.0628 0.3299 json
t17_x3_u6_b48 17 3 6 48 pow(P,pow(D,nrm(P))) 100812 138172674 o2(x,o2(x,o1(x))) true 123303 123303 -0.918 0.05469 0.9727 0.1241 0.3523 -1 0.9997 2 1 0.4922 0.01763 0.001205 0.01458 0.872 1 -4.13e-11 0.03743 0.02305 0.01861 0.1364 9.358 2.828 0.1517 0.3015 1 1 0.02474 0.1007 0.2014 0.1993 0.8108 1.622 json
t17_x3_u6_b49 17 3 6 49 pow(P,mod(D,nrm(P))) 100813 138172675 o2(x,o2(x,o1(x))) true 123311 123311 -0.1505 0.4375 0.9745 0.9317 0.9653 -1 1 2 1 1.655 0.01728 0.000007249 0.01984 0.9992 1 0.0001436 0.034 0.02925 0.01688 0.1299 6.549 2 0.01855 0.03649 1 1 0.0224 0.08563 0.3164 0.02404 0.09191 0.3395 json
t17_x3_u6_b50 17 3 6 50 pow(P,lrg(D,nrm(P))) 100814 138172676 o2(x,o2(x,o1(x))) true 123319 123319 -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_x3_u6_b51 17 3 6 51 pow(P,eql(D,nrm(P))) 100815 138172677 o2(x,o2(x,o1(x))) true 123327 123327 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_x3_u6_b52 17 3 6 52 pow(P,min(D,nrm(P))) 100816 138172678 o2(x,o2(x,o1(x))) true 123335 123335 -0.0227 0.5 0.9773 0.9587 0.9791 -1 1 2 1 1.621 0.01558 0.00001772 0.01678 0.9977 1 0.00003769 0.0305 0.02293 0.01532 0.1238 7.376 2 0.01627 0.03182 1 1 0.02047 0.08334 0.3208 0.02135 0.08693 0.3346 json
t17_x3_u6_b53 17 3 6 53 pow(P,dot(D,nrm(P))) 100817 138172679 o2(x,o2(x,o1(x))) true 123343 123343 -0.1422 0.4375 0.9828 0.9475 0.9734 -1 1 2 1 1.516 0.01616 0.0001475 0.01599 0.9819 1 0.000107 0.03209 0.02229 0.01604 0.1267 7.922 2 0.01721 0.03387 1 1 0.02173 0.0847 0.3193 0.02293 0.0894 0.337 json
t17_x3_u6_b54 17 3 6 54 pow(P,dst(D,nrm(P))) 100818 138172680 o2(x,o2(x,o1(x))) true 123351 123351 -0.04297 0.4922 0.9727 0.9641 0.9819 -1 1 2 1 1.363 0.00579 0.001205 0.008659 0.6554 1 -4.224e-11 0.01366 0.01121 0.006915 0.08316 9.604 2.828 0.007256 0.01417 1 1 0.01084 0.05572 0.3282 0.01125 0.05779 0.3404 json
t17_x3_u6_b55 17 3 6 55 mod(P,add(D,nrm(P))) 100819 138172681 o2(x,o2(x,o1(x))) true 123359 123359 -0.01563 0.4895 0.3318 0.1656 0.4069 -1 1 2 1 4.697 0.05804 0.00147 0.1819 0.9506 1 -1.427e-10 0.1671 0.2845 0.02642 0.1626 0.8937 1.999 0.3593 1.009 1 1 0.03655 0.05937 0.1395 0.2207 0.3585 0.8424 json
t17_x3_u6_b56 17 3 6 56 mod(P,sub(D,nrm(P))) 100820 138172682 o2(x,o2(x,o1(x))) true 123367 123367 -0.01562 0.4922 0.3483 0.1764 0.42 -1 1 2 1 4.724 0.06468 0.001577 0.1975 0.9524 1 6.852e-10 0.1909 0.3094 0.02725 0.1651 0.8359 1.932 0.3757 1.082 1 1 0.04091 0.06138 0.1456 0.2319 0.348 0.8257 json
t17_x3_u6_b57 17 3 6 57 mod(P,mlt(D,nrm(P))) 100821 138172683 o2(x,o2(x,o1(x))) true 123375 123375 -0.125 0.4365 0.2158 0.1251 0.3537 -1 0.4373 1.437 1 3.296 0.01252 0.00003254 0.05379 0.9948 1 -1.22e-11 0.02852 0.09025 0.00966 0.09829 1.827 1.008 0.1003 0.2279 1 1 0.01358 0.05234 0.1745 0.1085 0.4183 1.395 json
t17_x3_u6_b58 17 3 6 58 mod(P,div(D,nrm(P))) 100822 138172684 o2(x,o2(x,o1(x))) true 123383 123383 -0.125 0.4371 0.3291 0.1972 0.4441 -1 1 2 1 4.23 0.02883 0.0001573 0.09983 0.9891 1 1.164e-10 0.06848 0.1631 0.01902 0.1379 1.382 1.241 0.147 0.3472 1 1 0.02387 0.09104 0.2164 0.121 0.4616 1.097 json
t17_x3_u6_b59 17 3 6 59 mod(P,pow(D,nrm(P))) 100823 138172685 o2(x,o2(x,o1(x))) true 123391 123391 -0.9727 0 0.9727 0.02067 0.1438 -1 -0.000291 0.9997 1 0.4104 0.00377 0.0001974 0.007157 0.9005 1 -3.754e-12 0.007449 0.008234 0.003915 0.06257 8.743 1.414 0.192 0.3605 1 1 0.005461 0.02354 0.03299 0.2643 1.139 1.596 json
t17_x3_u6_b60 17 3 6 60 mod(P,mod(D,nrm(P))) 100824 138172686 o2(x,o2(x,o1(x))) true 123399 123399 -0.125 0.3832 0.2344 0.1312 0.3622 -1 0.3853 1.385 1 3.464 0.01457 0.000004813 0.0655 0.9993 1 -4.224e-11 0.03236 0.1084 0.01028 0.1014 1.548 1 0.1111 0.2467 1 1 0.01514 0.05466 0.1744 0.1154 0.4167 1.329 json
t17_x3_u6_b61 17 3 6 61 mod(P,lrg(D,nrm(P))) 100825 138172687 o2(x,o2(x,o1(x))) true 123407 123407 -0.7246 0 0.7246 0.1997 0.4468 -1 0 1 1 0.8491 0.05052 0.001701 0.05185 0.9349 1 -0.0005039 0.113 0.1049 0.04953 0.2225 4.292 1.414 0.2615 0.566 1 1 0.04988 0.1334 0.1003 0.2498 0.6683 0.5023 json
t17_x3_u6_b62 17 3 6 62 mod(P,eql(D,nrm(P))) 100826 138172688 o2(x,o2(x,o1(x))) true 123415 123415 -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_x3_u6_b63 17 3 6 63 mod(P,min(D,nrm(P))) 100827 138172689 o2(x,o2(x,o1(x))) true 123423 123423 -0.1187 0.3902 0.2383 0.1034 0.3216 -1 0.3853 1.385 1 3.954 0.01205 0.0001617 0.05102 0.9735 1 -0.00003492 0.02547 0.07432 0.009605 0.098 1.921 1 0.118 0.2462 1 1 0.01411 0.06105 0.1074 0.1364 0.5901 1.038 json
t17_x3_u6_b64 17 3 6 64 mod(P,dot(D,nrm(P))) 100828 138172690 o2(x,o2(x,o1(x))) true 123431 123431 -0.01807 0.4875 0.1492 0.0434 0.2083 -1 0.4549 1.455 1 3.467 0.01348 0.01367 0.1096 -0.007145 1 -7.054e-10 0.1296 0.2251 0.01513 0.123 1.122 1.752 0.6257 2.987 1 1 0.01705 0.03502 0.0753 0.3929 0.8069 1.735 json
t17_x3_u6_b65 17 3 6 65 mod(P,dst(D,nrm(P))) 100829 138172691 o2(x,o2(x,o1(x))) true 123439 123439 -0.01563 0.4922 0.5338 0.3568 0.5974 -1 1 2 1 4.953 0.07697 0.06339 0.2799 0.0967 1 -3.266e-10 0.5773 0.4849 0.062 0.249 0.8894 2.828 0.3933 1.618 1 1 0.09547 0.1462 0.2446 0.2675 0.4096 0.6853 json
t17_x3_u6_b66 17 3 6 66 lrg(P,add(D,nrm(P))) 100830 138172692 o2(x,o2(x,o1(x))) true 123447 123447 0.502 0.5872 0.502 0.2326 0.4823 0 1 1 1 1.717 0.00543 0.00005267 0.01546 0.9808 1 -1.025e-9 0.00967 0.01389 0.005245 0.07242 4.684 0.9994 0.02357 0.04158 1 1 0.008519 0.03864 0.07227 0.03663 0.1661 0.3108 json
t17_x3_u6_b67 17 3 6 67 lrg(P,sub(D,nrm(P))) 100831 138172693 o2(x,o2(x,o1(x))) true 123455 123455 0.502 0.5625 0.502 0.2366 0.4864 0 1 1 1 1.578 0.004336 0.00001756 0.01156 0.9919 1 -5.003e-10 0.007454 0.009263 0.004222 0.06498 5.621 0.9994 0.0184 0.03151 1 1 0.00647 0.03104 0.06833 0.02735 0.1312 0.2888 json
t17_x3_u6_b68 17 3 6 68 lrg(P,mlt(D,nrm(P))) 100832 138172694 o2(x,o2(x,o1(x))) true 123463 123463 0.4727 0.5074 0.4727 0.242 0.4919 0 1 1 1 1.358 0.0003432 0.00003512 0.004306 0.8144 1 -4.788e-10 0.00001836 0.001016 0.0003599 0.01897 4.405 0.1169 0.001564 0.00007585 1 1 0.001014 0.01329 0.07825 0.00419 0.05493 0.3234 json
t17_x3_u6_b69 17 3 6 69 lrg(P,div(D,nrm(P))) 100833 138172695 o2(x,o2(x,o1(x))) true 123471 123471 0.502 0.5753 0.502 0.2345 0.4843 0 1 1 1 1.66 0.008874 0.00004367 0.01862 0.9902 1 -7.528e-10 0.01624 0.02192 0.008567 0.09256 4.97 0.9997 0.03802 0.06925 1 1 0.01149 0.04986 0.0877 0.04898 0.2126 0.3739 json
t17_x3_u6_b70 17 3 6 70 lrg(P,pow(D,nrm(P))) 100834 138172696 o2(x,o2(x,o1(x))) true 123479 123479 0.6914 0.9449 0.6914 0.1586 0.3983 0 1 1 1 2.482 0.03056 0.00003512 0.05972 0.9977 1 -0.00008984 0.05633 0.06295 0.02702 0.1644 2.752 0.9997 0.1929 0.3551 1 1 0.0316 0.1188 0.0747 0.1992 0.7487 0.471 json
t17_x3_u6_b71 17 3 6 71 lrg(P,mod(D,nrm(P))) 100835 138172697 o2(x,o2(x,o1(x))) true 123487 123487 0.5313 0.5625 0.5313 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_x3_u6_b72 17 3 6 72 lrg(P,lrg(D,nrm(P))) 100836 138172698 o2(x,o2(x,o1(x))) true 123495 123495 0.4548 0.5 0.4548 0.2359 0.4857 0 1 1 1 1.523 0.002612 0.000012 0.009473 0.9909 1 -1.089e-9 0.004221 0.00689 0.002535 0.05035 5.315 0.9702 0.01112 0.0179 1 1 0.003539 0.02012 0.07147 0.015 0.08529 0.303 json
t17_x3_u6_b73 17 3 6 73 lrg(P,eql(D,nrm(P))) 100837 138172699 o2(x,o2(x,o1(x))) true 123503 123503 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_x3_u6_b74 17 3 6 74 lrg(P,min(D,nrm(P))) 100838 138172700 o2(x,o2(x,o1(x))) true 123511 123511 0.5 0.5625 0.5 0.2365 0.4863 0 1 1 1 1.577 0.00467 0 0.0119 1 1 -4.731e-10 0.008068 0.009787 0.004528 0.06729 5.654 0.9994 0.01975 0.03412 1 1 0.007036 0.03244 0.06598 0.02976 0.1372 0.279 json
t17_x3_u6_b75 17 3 6 75 lrg(P,dot(D,nrm(P))) 100839 138172701 o2(x,o2(x,o1(x))) true 123519 123519 0.5039 0.5601 0.5039 0.2386 0.4884 0 1 1 1 1.514 0.0002854 0.003006 0.009682 -0.8266 1 0.00001138 0.005704 0.00854 0.003197 0.05654 5.84 0.9994 0.0138 0.02391 1 1 0.004964 0.0246 0.07344 0.02081 0.1031 0.3078 json
t17_x3_u6_b76 17 3 6 76 lrg(P,dst(D,nrm(P))) 100840 138172702 o2(x,o2(x,o1(x))) true 123527 123527 0.4353 0.4798 0.4353 0.2354 0.4852 0 1 1 1 1.466 0.001475 0.002855 0.01016 -0.3186 1 -0.0000114 0.01178 0.01143 0.004228 0.06503 6.399 1.413 0.0184 0.05006 1 1 0.006387 0.02913 0.07818 0.02713 0.1237 0.3321 json
t17_x3_u6_b77 17 3 6 77 eql(P,add(D,nrm(P))) 100841 138172703 o2(x,o2(x,o1(x))) true 123535 123535 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_x3_u6_b78 17 3 6 78 eql(P,sub(D,nrm(P))) 100842 138172704 o2(x,o2(x,o1(x))) true 123543 123543 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_x3_u6_b79 17 3 6 79 eql(P,mlt(D,nrm(P))) 100843 138172705 o2(x,o2(x,o1(x))) true 123551 123551 0.05859 0.1241 0.05859 0.0418 0.2045 0 0.9997 0.9997 1 0.7992 0.0006513 0.00003512 0.007769 0.8977 1 -8.342e-10 0.00003252 0.001826 0.0006264 0.02503 3.222 0.1169 0.01642 0.0007779 1 1 0.001783 0.0232 0.06358 0.04266 0.5551 1.521 json
t17_x3_u6_b80 17 3 6 80 eql(P,div(D,nrm(P))) 100844 138172706 o2(x,o2(x,o1(x))) true 123559 123559 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_x3_u6_b81 17 3 6 81 eql(P,pow(D,nrm(P))) 100845 138172707 o2(x,o2(x,o1(x))) true 123567 123567 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_x3_u6_b82 17 3 6 82 eql(P,mod(D,nrm(P))) 100846 138172708 o2(x,o2(x,o1(x))) true 123575 123575 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_x3_u6_b83 17 3 6 83 eql(P,lrg(D,nrm(P))) 100847 138172709 o2(x,o2(x,o1(x))) true 123583 123583 0.04321 0.1061 0.04321 0.02934 0.1713 0 0.9997 0.9997 1 0.6848 0.006244 0.00002956 0.01308 0.9906 1 -1.802e-10 0.0116 0.0143 0.006103 0.07812 5.972 0.9997 0.2138 0.3953 1 1 0.008194 0.03307 0.03683 0.2793 1.127 1.255 json
t17_x3_u6_b84 17 3 6 84 eql(P,eql(D,nrm(P))) 100848 138172710 o2(x,o2(x,o1(x))) true 123591 123591 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_x3_u6_b85 17 3 6 85 eql(P,min(D,nrm(P))) 100849 138172711 o2(x,o2(x,o1(x))) true 123599 123599 0.0332 0.07684 0.0332 0.02392 0.1547 0 0.9997 0.9997 1 0.5246 0.00402 0.00005267 0.008436 0.9741 1 -1.924e-10 0.007396 0.008543 0.004004 0.06327 7.501 0.9997 0.1703 0.3092 1 1 0.005824 0.02777 0.04033 0.2435 1.161 1.686 json
t17_x3_u6_b86 17 3 6 86 eql(P,dot(D,nrm(P))) 100850 138172712 o2(x,o2(x,o1(x))) true 123607 123607 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_x3_u6_b87 17 3 6 87 eql(P,dst(D,nrm(P))) 100851 138172713 o2(x,o2(x,o1(x))) true 123615 123615 0.000001347 0.00006104 0.000001347 3.156e-8 0.0001777 0 0.02758 0.02758 1 0 6.515e-8 6.515e-8 0.000004744 0 0 0 6.515e-7 0.00001112 1.303e-7 0.0003609 76.07 0.03901 4.128 20.64 1 1 1.146e-7 1.146e-7 1.041e-7 3.631 3.631 3.297 json
t17_x3_u6_b88 17 3 6 88 min(P,add(D,nrm(P))) 100852 138172714 o2(x,o2(x,o1(x))) true 123623 123623 -0.1695 0.459 0.7904 0.6805 0.8249 -1 1 2 1 3.297 0.001025 0.00001735 0.01972 0.9667 1 0.0001568 0.0001377 0.00724 0.0006536 0.02557 1.297 0.1169 0.001532 0.0002023 1 1 0.002329 0.02422 0.1502 0.003423 0.0356 0.2207 json
t17_x3_u6_b89 17 3 6 89 min(P,sub(D,nrm(P))) 100853 138172715 o2(x,o2(x,o1(x))) true 123631 123631 -0.8027 0.0004272 0.8027 0.07685 0.2772 -1 0.01269 1.013 1 2.71 0.001302 0.00001886 0.02271 0.9714 1 0.00007954 0.0001846 0.008516 0.0008054 0.02838 1.25 0.1529 0.01719 0.002402 1 1 0.00298 0.0281 0.06371 0.03877 0.3656 0.8291 json
t17_x3_u6_b90 17 3 6 90 min(P,mlt(D,nrm(P))) 100854 138172716 o2(x,o2(x,o1(x))) true 123639 123639 -0.4766 0.2003 0.5017 0.2378 0.4876 -1 0.1454 1.145 1 2.474 0.0007691 4.78e-7 0.01605 0.9988 1 0.0001417 0.00008032 0.005686 0.0005118 0.02262 1.409 0.1169 0.003237 0.0003378 1 1 0.001762 0.01838 0.07148 0.007409 0.07731 0.3006 json
t17_x3_u6_b91 17 3 6 91 min(P,div(D,nrm(P))) 100855 138172717 o2(x,o2(x,o1(x))) true 123647 123647 -0.5203 0.226 0.6041 0.2742 0.5236 -1 0.8788 1.879 1 2.857 0.008487 0.00000815 0.03866 0.9981 1 0.0001776 0.009093 0.0216 0.007 0.08367 2.164 0.9997 0.03098 0.03316 1 1 0.01272 0.06772 0.09021 0.04639 0.247 0.329 json
t17_x3_u6_b92 17 3 6 92 min(P,pow(D,nrm(P))) 100856 138172718 o2(x,o2(x,o1(x))) true 123655 123655 -0.06664 0.5 0.8709 0.8325 0.9124 -1 1 2 1 2.508 0.02697 0.000001675 0.05533 0.9999 1 6.242e-7 0.05056 0.06568 0.02391 0.1546 2.794 0.9679 0.0324 0.06074 1 1 0.0299 0.07441 0.2066 0.03592 0.08939 0.2482 json
t17_x3_u6_b93 17 3 6 93 min(P,mod(D,nrm(P))) 100857 138172719 o2(x,o2(x,o1(x))) true 123663 123663 -0.4776 0.2136 0.5215 0.2417 0.4916 -1 0.2688 1.269 1 2.793 0.002283 0.000007077 0.02775 0.9938 1 0.000184 0.00235 0.01812 0.00152 0.03899 1.405 0.4825 0.009475 0.009721 1 1 0.003602 0.02737 0.07389 0.0149 0.1132 0.3057 json
t17_x3_u6_b94 17 3 6 94 min(P,lrg(D,nrm(P))) 100858 138172720 o2(x,o2(x,o1(x))) true 123671 123671 -0.4402 0.1592 0.4973 0.2823 0.5314 -1 0.9702 1.97 1 2.008 0.004826 0.00002543 0.01829 0.9895 1 -0.0000342 0.008567 0.01744 0.004517 0.06721 3.674 0.9702 0.01718 0.03034 1 1 0.004978 0.02396 0.09927 0.01763 0.08485 0.3516 json
t17_x3_u6_b95 17 3 6 95 min(P,eql(D,nrm(P))) 100859 138172721 o2(x,o2(x,o1(x))) true 123679 123679 -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_x3_u6_b96 17 3 6 96 min(P,min(D,nrm(P))) 100860 138172722 o2(x,o2(x,o1(x))) true 123687 123687 -0.4914 0.2093 0.5305 0.2365 0.4863 -1 0.1454 1.145 1 2.696 0.001233 2.176e-7 0.02283 0.9996 1 0.0001606 0.0001591 0.008211 0.0007121 0.02669 1.169 0.1105 0.005214 0.0006728 1 1 0.002623 0.02427 0.06651 0.01109 0.1026 0.2812 json
t17_x3_u6_b97 17 3 6 97 min(P,dot(D,nrm(P))) 100861 138172723 o2(x,o2(x,o1(x))) true 123695 123695 -0.4929 0.1848 0.5224 0.2287 0.4782 -1 0.1994 1.199 1 2.748 0.0006814 0.0004343 0.0228 0.2214 1 0.0003028 0.0001466 0.007688 0.0005957 0.02441 1.07 0.1176 0.004879 0.0006411 1 1 0.002392 0.0216 0.0632 0.01046 0.09444 0.2764 json
t17_x3_u6_b98 17 3 6 98 min(P,dst(D,nrm(P))) 100862 138172724 o2(x,o2(x,o1(x))) true 123703 123703 -0.0115 0.5 0.926 0.9025 0.95 -1 1 2 1 2.181 0.0007918 0.0001355 0.01345 0.7078 1 0.000004476 0.000202 0.006345 0.0007462 0.02732 2.031 0.1169 0.001027 0.0002238 1 1 0.00221 0.02529 0.2243 0.002449 0.02802 0.2485 json
t17_x3_u6_b99 17 3 6 99 dot(P,add(D,nrm(P))) 100863 138172725 o2(x,o2(x,o1(x))) true 123711 123711 0.9687 0.9844 1 0.06152 0.248 -1 1 2 1 0.1161 0.00401 0.00401 0.004015 0 1 -6.758e-11 0.0165 0.008041 0.008012 0.08951 22.3 2.828 0.1304 0.2683 1 1 0.01415 0.0567 0.2269 0.2299 0.9215 3.688 json
t17_x3_u6_b100 17 3 6 100 dot(P,sub(D,nrm(P))) 100864 138172726 o2(x,o2(x,o1(x))) true 123719 123719 -0.9999 0 0.9999 0.000002718 0.001649 -1 -0.9274 0.07264 1 0.004709 0.000001192 0.000001192 0.00005824 1.431e-7 0 -6.007e-11 0.000004162 0.00008537 0.000002379 0.001542 26.48 0.06325 0.8771 1.531 1 1 0.000005531 0.000009882 0.000009882 2.035 3.636 3.636 json
t17_x3_u6_b101 17 3 6 101 dot(P,mlt(D,nrm(P))) 100865 138172727 o2(x,o2(x,o1(x))) true 123727 123727 -0.01563 0.4904 0.4908 0.337 0.5805 -1 1 2 1 4.919 0.02246 0.02246 0.1769 -0.000003897 1 -5.378e-9 0.0131 0.0741 0.01364 0.1168 0.6602 1.414 0.1333 0.03888 1 1 0.05494 0.3878 0.1029 0.163 1.151 0.3053 json
t17_x3_u6_b102 17 3 6 102 dot(P,div(D,nrm(P))) 100866 138172728 o2(x,o2(x,o1(x))) true 123735 123735 -0.2344 0.3805 0.7015 0.5661 0.7524 -1 1 2 1 3.789 0.04504 0.04504 0.195 -0.000001654 1 8.4e-10 0.07222 0.1166 0.05205 0.2281 1.17 2.004 0.1591 0.1276 1 1 0.1103 0.6323 0.3833 0.1949 1.117 0.6771 json
t17_x3_u6_b103 17 3 6 103 dot(P,pow(D,nrm(P))) 100867 138172729 o2(x,o2(x,o1(x))) true 123743 123743 -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_x3_u6_b104 17 3 6 104 dot(P,mod(D,nrm(P))) 100868 138172730 o2(x,o2(x,o1(x))) true 123751 123751 -0.4027 0.2778 0.6925 0.4351 0.6596 -1 1 2 1 3.861 0.04429 0.04429 0.1932 0.000002145 1 0.002823 0.09779 0.158 0.05126 0.2264 1.172 1.994 0.2036 0.2248 1 1 0.09358 0.5126 0.2482 0.2151 1.178 0.5706 json
t17_x3_u6_b105 17 3 6 105 dot(P,lrg(D,nrm(P))) 100869 138172731 o2(x,o2(x,o1(x))) true 123759 123759 -0.6599 0.1375 0.7614 0.3018 0.5494 -1 1 2 1 1.962 0.007421 0.007421 0.03459 0.00000138 1 -0.0002125 0.02722 0.04013 0.01365 0.1168 3.378 1.378 0.04917 0.09017 1 1 0.01256 0.04124 0.1213 0.04161 0.1366 0.4019 json
t17_x3_u6_b106 17 3 6 106 dot(P,eql(D,nrm(P))) 100870 138172732 o2(x,o2(x,o1(x))) true 123767 123767 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_x3_u6_b107 17 3 6 107 dot(P,min(D,nrm(P))) 100871 138172733 o2(x,o2(x,o1(x))) true 123775 123775 0.5766 0.7852 0.8157 0.427 0.6534 -1 1 2 1 2.727 0.009871 0.009871 0.07221 -0.000004151 1 0.001306 0.005842 0.03256 0.01452 0.1205 1.669 0.6137 0.04624 0.01368 1 1 0.02701 0.1988 0.1236 0.06326 0.4656 0.2894 json
t17_x3_u6_b108 17 3 6 108 dot(P,dot(D,nrm(P))) 100872 138172734 o2(x,o2(x,o1(x))) true 123783 123783 -0.01563 0.4902 0.4613 0.3347 0.5785 -1 1 2 1 4.699 0.02456 0.02456 0.1576 1.896e-7 1 4.16e-9 0.02175 0.07526 0.02427 0.1558 0.9884 1.413 0.1468 0.06499 1 1 0.0631 0.4174 0.1229 0.1885 1.247 0.3672 json
t17_x3_u6_b109 17 3 6 109 dot(P,dst(D,nrm(P))) 100873 138172735 o2(x,o2(x,o1(x))) true 123791 123791 -0.01563 0.4905 0.9496 0.9343 0.9666 -1 1 2 1 1.79 0.00246 0.00246 0.01353 9.465e-8 1 -1.544e-10 0.007353 0.007974 0.004737 0.06882 5.088 2.828 0.005266 0.007871 1 1 0.009638 0.06707 0.464 0.01032 0.07179 0.4966 json
t17_x3_u6_b110 17 3 6 110 dst(P,add(D,nrm(P))) 100874 138172736 o2(x,o2(x,o1(x))) true 123799 123799 0.9624 0.9844 0.9936 0.06429 0.2536 -1 1 2 1 0.292 0.002323 0.002323 0.004864 5.012e-8 1 -4.092e-10 0.009153 0.006841 0.004625 0.06801 13.98 2.004 0.07226 0.1424 1 1 0.00856 0.04606 0.2184 0.1331 0.7164 3.398 json
t17_x3_u6_b111 17 3 6 111 dst(P,sub(D,nrm(P))) 100875 138172737 o2(x,o2(x,o1(x))) true 123807 123807 0.9688 0.9844 1 0.06152 0.248 -1 1 2 1 0.1161 0.004031 0.004031 0.004013 0 1 0 0.01663 0.008062 0.008054 0.08974 22.36 2.828 0.131 0.2703 1 1 0.01418 0.05673 0.2269 0.2305 0.9221 3.688 json
t17_x3_u6_b112 17 3 6 112 dst(P,mlt(D,nrm(P))) 100876 138172738 o2(x,o2(x,o1(x))) true 123815 123815 0.9687 0.9844 0.9999 0.06152 0.248 -1 1 2 1 0.1232 0.004021 0.004021 0.00406 5.79e-8 1 -1.089e-10 0.01664 0.008127 0.008032 0.08962 22.07 2.828 0.1307 0.2705 1 1 0.0141 0.05651 0.2267 0.2292 0.9185 3.685 json
t17_x3_u6_b113 17 3 6 113 dst(P,div(D,nrm(P))) 100877 138172739 o2(x,o2(x,o1(x))) true 123823 123823 0.5313 0.7656 1 0.7172 0.8469 -1 1 2 1 0.7856 0.02771 0.02771 0.0277 0 1 0 0.1114 0.05543 0.05465 0.2338 8.44 2.828 0.07728 0.1553 1 1 0.07003 0.2801 1.12 0.09763 0.3905 1.562 json
t17_x3_u6_b114 17 3 6 114 dst(P,pow(D,nrm(P))) 100878 138172740 o2(x,o2(x,o1(x))) true 123831 123831 -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_x3_u6_b115 17 3 6 115 dst(P,mod(D,nrm(P))) 100879 138172741 o2(x,o2(x,o1(x))) true 123839 123839 0.5313 0.7656 1 0.7172 0.8469 -1 1 2 1 0.7856 0.02771 0.02771 0.0277 0 1 0 0.1114 0.05543 0.05465 0.2338 8.44 2.828 0.07728 0.1553 1 1 0.07003 0.2801 1.12 0.09763 0.3905 1.562 json
t17_x3_u6_b116 17 3 6 116 dst(P,lrg(D,nrm(P))) 100880 138172742 o2(x,o2(x,o1(x))) true 123847 123847 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_x3_u6_b117 17 3 6 117 dst(P,eql(D,nrm(P))) 100881 138172743 o2(x,o2(x,o1(x))) true 123855 123855 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_x3_u6_b118 17 3 6 118 dst(P,min(D,nrm(P))) 100882 138172744 o2(x,o2(x,o1(x))) true 123863 123863 0.9909 1 0.9909 0.005634 0.07506 0.0008613 1 0.9991 1 0.1948 0.0000827 0.0000827 0.001661 -1.76e-7 1 -1.877e-11 0.00003415 0.0006387 0.0001627 0.01276 7.678 0.1756 0.02936 0.006062 1 1 0.0005577 0.005706 0.02048 0.09898 1.013 3.635 json
t17_x3_u6_b119 17 3 6 119 dst(P,dot(D,nrm(P))) 100883 138172745 o2(x,o2(x,o1(x))) true 123871 123871 0.9687 0.9844 1 0.06152 0.248 -1 1 2 1 0.1171 0.004025 0.004025 0.004033 0 1 -7.509e-12 0.01663 0.008095 0.008041 0.08967 22.23 2.828 0.1308 0.2704 1 1 0.01413 0.05665 0.2268 0.2298 0.9208 3.687 json
t17_x3_u6_b120 17 3 6 120 dst(P,dst(D,nrm(P))) 100884 138172746 o2(x,o2(x,o1(x))) true 123879 123879 0.9687 0.9844 1 0.06152 0.248 -1 1 2 1 0.1186 0.004032 0.004032 0.004034 -5.775e-8 1 -4.13e-11 0.01664 0.008086 0.008054 0.08974 22.25 2.828 0.1311 0.2704 1 1 0.01418 0.05673 0.2269 0.2305 0.922 3.688 json
t17_x4_u0_b0 17 4 0 0 add(P,add(D,sqt(D))) 100885 138211821 o2(x,o2(x,o1(x))) true 123887 123887 -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_x4_u0_b1 17 4 0 1 add(P,sub(D,sqt(D))) 100886 138211822 o2(x,o2(x,o1(x))) true 123895 123895 -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_x4_u0_b2 17 4 0 2 add(P,mlt(D,sqt(D))) 100887 138211823 o2(x,o2(x,o1(x))) true 123903 123903 -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_x4_u0_b3 17 4 0 3 add(P,div(D,sqt(D))) 100888 138211824 o2(x,o2(x,o1(x))) true 123911 123911 -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_x4_u0_b4 17 4 0 4 add(P,pow(D,sqt(D))) 100889 138211825 o2(x,o2(x,o1(x))) true 123919 123919 -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_x4_u0_b5 17 4 0 5 add(P,mod(D,sqt(D))) 100890 138211826 o2(x,o2(x,o1(x))) true 123927 123927 -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_x4_u0_b6 17 4 0 6 add(P,lrg(D,sqt(D))) 100891 138211827 o2(x,o2(x,o1(x))) true 123935 123935 0.0625 0.5313 0.9375 0.9184 0.9583 -1 1 2 1 1.809 0.01063 0 0.02379 1 1 0 0.0166 0.02131 0.01007 0.1003 4.218 0.9988 0.01158 0.01808 1 1 0.0172 0.07175 0.2321 0.01872 0.07812 0.2528 json
t17_x4_u0_b7 17 4 0 7 add(P,eql(D,sqt(D))) 100892 138211828 o2(x,o2(x,o1(x))) true 123943 123943 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_x4_u0_b8 17 4 0 8 add(P,min(D,sqt(D))) 100893 138211829 o2(x,o2(x,o1(x))) true 123951 123951 0 0.5 0.9375 0.9165 0.9574 -1 1 2 1 1.979 0.0004883 0 0.007937 1 1 0 0.0000155 0.000496 0.0004253 0.02062 2.598 0.0625 0.0005327 0.00001691 1 1 0.001285 0.01928 0.2245 0.001402 0.02104 0.245 json
t17_x4_u0_b9 17 4 0 9 add(P,dot(D,sqt(D))) 100894 138211830 o2(x,o2(x,o1(x))) true 123959 123959 -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_x4_u0_b10 17 4 0 10 add(P,dst(D,sqt(D))) 100895 138211831 o2(x,o2(x,o1(x))) true 123967 123967 -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_x4_u0_b11 17 4 0 11 sub(P,add(D,sqt(D))) 100896 138211832 o2(x,o2(x,o1(x))) true 123975 123975 -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_x4_u0_b12 17 4 0 12 sub(P,sub(D,sqt(D))) 100897 138211833 o2(x,o2(x,o1(x))) true 123983 123983 -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_x4_u0_b13 17 4 0 13 sub(P,mlt(D,sqt(D))) 100898 138211834 o2(x,o2(x,o1(x))) true 123991 123991 -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_x4_u0_b14 17 4 0 14 sub(P,div(D,sqt(D))) 100899 138211835 o2(x,o2(x,o1(x))) true 123999 123999 -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