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_x19_u6_b84 17 19 6 84 eql(R,eql(P,nrm(D))) 114400 138819126 o2(x,o2(x,o1(x))) true 75207 75207 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_x19_u6_b85 17 19 6 85 eql(R,min(P,nrm(D))) 114401 138819127 o2(x,o2(x,o1(x))) true 75215 75215 0.0001088 0.0003357 0.0001088 0.00007359 0.008579 0 0.9926 0.9926 1 0.00339 0.0001519 0.0001513 0.0003803 0.00201 1 1.877e-12 0.001515 0.0008897 0.000303 0.01741 45.77 1.404 4.121 20.58 1 1 0.0002311 0.0002311 0.000207 3.141 3.141 2.813 json
t17_x19_u6_b86 17 19 6 86 eql(R,dot(P,nrm(D))) 114402 138819128 o2(x,o2(x,o1(x))) true 75223 75223 0.00001017 0.00001526 0.00001017 0.000006782 0.002604 0 0.6667 0.6667 1 0.0002662 0.000014 0.000014 0.00003584 0 0 0 0.00014 0.00008398 0.00002799 0.005291 147.6 0.9428 4.128 20.64 1 1 0 0 0 0 0 0 json
t17_x19_u6_b87 17 19 6 87 eql(R,dst(P,nrm(D))) 114403 138819129 o2(x,o2(x,o1(x))) true 75231 75231 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_x19_u6_b88 17 19 6 88 min(R,add(P,nrm(D))) 114404 138819130 o2(x,o2(x,o1(x))) true 75239 75239 -0.4896 0.229 0.6631 0.3241 0.5693 -1 0.9806 1.981 1 3.677 0.002995 0.001896 0.03956 0.2248 1 -0.00001233 0.00263 0.01308 0.003327 0.05768 1.458 1.466 0.01509 0.008116 1 1 0.009753 0.09401 0.2583 0.03009 0.2901 0.7969 json
t17_x19_u6_b89 17 19 6 89 min(R,sub(P,nrm(D))) 114405 138819131 o2(x,o2(x,o1(x))) true 75247 75247 -0.5077 0.2188 0.6709 0.3178 0.5637 -1 0.9806 1.981 1 3.619 0.003878 0.001886 0.04279 0.3456 1 -0.00001135 0.003026 0.01561 0.003932 0.06271 1.465 1.468 0.01814 0.009522 1 1 0.01177 0.1025 0.253 0.03703 0.3225 0.796 json
t17_x19_u6_b90 17 19 6 90 min(R,mlt(P,nrm(D))) 114406 138819132 o2(x,o2(x,o1(x))) true 75255 75255 -0.6827 0.09494 0.7462 0.1926 0.4389 -1 0.9783 1.978 1 3.19 0.05229 0.002709 0.1171 0.9015 1 -0.00008094 0.07146 0.1059 0.04128 0.2032 1.735 1.989 0.2856 0.3711 1 1 0.06927 0.2831 0.1548 0.3597 1.47 0.8037 json
t17_x19_u6_b91 17 19 6 91 min(R,div(P,nrm(D))) 114407 138819133 o2(x,o2(x,o1(x))) true 75263 75263 -0.7414 0.09506 0.8161 0.2063 0.4543 -1 0.9783 1.978 1 2.543 0.08953 0.001217 0.1215 0.9732 1 0.00002967 0.1568 0.1552 0.07597 0.2756 2.269 1.968 0.4398 0.7601 1 1 0.09934 0.3033 0.1786 0.4814 1.47 0.8655 json
t17_x19_u6_b92 17 19 6 92 min(R,pow(P,nrm(D))) 114408 138819134 o2(x,o2(x,o1(x))) true 75271 75271 -0.01814 0.4761 0.376 0.2044 0.4521 -0.9989 0.9806 1.979 1 4.833 0.003437 0.003037 0.06328 0.06177 1 0.0001356 0.001882 0.01756 0.002469 0.04969 0.7852 0.8291 0.03168 0.009207 1 1 0.0123 0.1452 0.3514 0.06019 0.7106 1.719 json
t17_x19_u6_b93 17 19 6 93 min(R,mod(P,nrm(D))) 114409 138819135 o2(x,o2(x,o1(x))) true 75279 75279 -0.2803 0.1596 0.3291 0.08722 0.2953 -0.9989 0.8252 1.824 1 4.255 0.01381 0.01545 0.1164 -0.05605 1 0.0001311 0.1289 0.1941 0.0157 0.1253 1.076 0.9002 0.3355 1.478 1 1 0.01921 0.06507 0.1241 0.2202 0.7461 1.423 json
t17_x19_u6_b94 17 19 6 94 min(R,lrg(P,nrm(D))) 114410 138819136 o2(x,o2(x,o1(x))) true 75287 75287 -0.129 0.2439 0.3142 0.1519 0.3898 -0.9989 0.9806 1.979 1 4.491 0.002407 0.001932 0.04852 0.1096 1 0.00001647 0.001195 0.01284 0.001984 0.04455 0.9181 0.8291 0.02856 0.007866 1 1 0.00821 0.09878 0.2591 0.05403 0.6501 1.705 json
t17_x19_u6_b95 17 19 6 95 min(R,eql(P,nrm(D))) 114411 138819137 o2(x,o2(x,o1(x))) true 75295 75295 -0.2541 0 0.2541 0.06549 0.2559 -0.9989 0 0.9989 1 3.542 0.000768 0.0009295 0.0314 -0.09514 1 0.00001332 0.00009988 0.007359 0.0007117 0.02668 0.8497 0.1168 0.02592 0.001525 1 1 0.003123 0.04017 0.1061 0.04769 0.6134 1.62 json
t17_x19_u6_b96 17 19 6 96 min(R,min(P,nrm(D))) 114412 138819138 o2(x,o2(x,o1(x))) true 75303 75303 -0.6915 0.06937 0.7293 0.1547 0.3933 -1 0.9344 1.934 1 3.239 0.007758 0.002407 0.05073 0.5265 1 0.0002114 0.009797 0.02413 0.007589 0.08712 1.717 1.467 0.0657 0.06333 1 1 0.01757 0.109 0.1108 0.1135 0.7045 0.7159 json
t17_x19_u6_b97 17 19 6 97 min(R,dot(P,nrm(D))) 114413 138819139 o2(x,o2(x,o1(x))) true 75311 75311 -0.8248 0.0592 0.8646 0.1364 0.3693 -1 0.9669 1.967 1 2.051 0.02904 0.02711 0.1003 0.03436 1 0.0007208 0.1084 0.1154 0.04607 0.2146 2.141 2.747 0.4116 0.7949 1 1 0.07075 0.2534 0.1344 0.5187 1.857 0.9856 json
t17_x19_u6_b98 17 19 6 98 min(R,dst(P,nrm(D))) 114414 138819140 o2(x,o2(x,o1(x))) true 75319 75319 0.008498 0.498 0.3944 0.2194 0.4684 -0.9989 0.9806 1.979 1 4.861 0.002831 0.003184 0.0633 -0.05859 1 0.00002651 0.0004807 0.0148 0.002008 0.04481 0.7078 0.4676 0.02742 0.002191 1 1 0.01187 0.1516 0.3915 0.05409 0.6909 1.784 json
t17_x19_u6_b99 17 19 6 99 dot(R,add(P,nrm(D))) 114415 138819141 o2(x,o2(x,o1(x))) true 75327 75327 -0.09629 0.4552 0.8427 0.7834 0.8851 -1 1 2 1 2.939 0.0262 0.03447 0.1101 -0.1363 1 0.0001006 0.04944 0.08023 0.04856 0.2204 2.002 1.743 0.07744 0.06312 1 1 0.081 0.5988 1.355 0.1034 0.7643 1.73 json
t17_x19_u6_b100 17 19 6 100 dot(R,sub(P,nrm(D))) 114416 138819142 o2(x,o2(x,o1(x))) true 75335 75335 -0.09342 0.4561 0.8517 0.7954 0.8919 -1 1 2 1 2.872 0.02668 0.03517 0.1112 -0.1373 1 0.000005235 0.05118 0.082 0.04949 0.2225 2 1.925 0.07776 0.06434 1 1 0.08254 0.6239 1.409 0.1038 0.7843 1.771 json
t17_x19_u6_b101 17 19 6 101 dot(R,mlt(P,nrm(D))) 114417 138819143 o2(x,o2(x,o1(x))) true 75343 75343 -0.009751 0.4968 0.7544 0.6795 0.8243 -1 1 2 1 3.664 0.06521 0.06401 0.1909 0.009284 1 0.0003011 0.168 0.1563 0.0928 0.3046 1.596 2.828 0.1902 0.2472 1 1 0.1652 1.065 1.234 0.2432 1.568 1.816 json
t17_x19_u6_b102 17 19 6 102 dot(R,div(P,nrm(D))) 114418 138819144 o2(x,o2(x,o1(x))) true 75351 75351 -0.01503 0.4929 0.901 0.8703 0.9329 -1 1 2 1 2.358 0.2802 0.2776 0.3548 0.004578 1 0.0002249 1.329 0.599 0.4318 0.6571 1.852 2.828 0.641 1.527 1 1 0.5222 1.456 1.617 0.6 1.673 1.858 json
t17_x19_u6_b103 17 19 6 103 dot(R,pow(P,nrm(D))) 114419 138819145 o2(x,o2(x,o1(x))) true 75359 75359 -0.7383 0.1351 0.9169 0.3448 0.5872 -1 1 2 1 1.621 0.006832 0.007641 0.03434 -0.05593 1 -0.0001336 0.01794 0.0227 0.01329 0.1153 3.357 2 0.04198 0.05204 1 1 0.01911 0.1471 0.4255 0.05542 0.4266 1.234 json
t17_x19_u6_b104 17 19 6 104 dot(R,mod(P,nrm(D))) 114420 138819146 o2(x,o2(x,o1(x))) true 75367 75367 -0.01288 0.4679 0.1383 0.04127 0.2032 -1 1 2 1 3.6 0.02193 0.02229 0.1532 -0.008066 1 0.00004904 0.2054 0.2982 0.02074 0.144 0.94 1.239 1.071 4.977 1 1 0.02681 0.04628 0.07467 0.6495 1.121 1.809 json
t17_x19_u6_b105 17 19 6 105 dot(R,lrg(P,nrm(D))) 114421 138819147 o2(x,o2(x,o1(x))) true 75375 75375 -0.004103 0.3867 0.3342 0.2078 0.4559 -1 1 2 1 4.494 0.004096 0.003707 0.05654 0.0498 1 -0.00001451 0.004652 0.01989 0.004606 0.06787 1.2 0.9524 0.03754 0.02238 1 1 0.01299 0.1394 0.4062 0.06252 0.6707 1.955 json
t17_x19_u6_b106 17 19 6 106 dot(R,eql(P,nrm(D))) 114422 138819148 o2(x,o2(x,o1(x))) true 75383 75383 -0.02962 0.4693 0.3744 0.1997 0.4469 -0.9967 0.9893 1.986 1 4.818 0.003 0.00287 0.06261 0.02222 1 -0.00003178 0.0003527 0.01452 0.001951 0.04417 0.7055 0.2258 0.02939 0.001766 1 1 0.01331 0.1712 0.4269 0.06664 0.857 2.137 json
t17_x19_u6_b107 17 19 6 107 dot(R,min(P,nrm(D))) 114423 138819149 o2(x,o2(x,o1(x))) true 75391 75391 -0.07687 0.4604 0.6707 0.5713 0.7558 -1 1 2 1 4.043 0.01986 0.02388 0.11 -0.09193 1 -0.00004469 0.03086 0.06312 0.03162 0.1778 1.616 1.833 0.07656 0.05402 1 1 0.06266 0.49 0.9789 0.1097 0.8576 1.714 json
t17_x19_u6_b108 17 19 6 108 dot(R,dot(P,nrm(D))) 114424 138819150 o2(x,o2(x,o1(x))) true 75399 75399 -0.0000567 0.4952 0.806 0.7483 0.865 -1 1 2 1 3.221 0.07479 0.08131 0.1884 -0.0418 1 -0.00004842 0.2602 0.1871 0.1206 0.3473 1.843 2.828 0.2086 0.3477 1 1 0.2064 1.156 1.384 0.2759 1.545 1.85 json
t17_x19_u6_b109 17 19 6 109 dot(R,dst(P,nrm(D))) 114425 138819151 o2(x,o2(x,o1(x))) true 75407 75407 0.01457 0.5104 0.8956 0.8619 0.9284 -1 1 2 1 2.461 0.04025 0.04151 0.1106 -0.0154 1 0.00002321 0.08869 0.1025 0.06953 0.2637 2.385 2.075 0.09487 0.1029 1 1 0.1078 0.707 1.55 0.125 0.8203 1.798 json
t17_x19_u6_b110 17 19 6 110 dst(R,add(P,nrm(D))) 114426 138819152 o2(x,o2(x,o1(x))) true 75415 75415 0.9988 1 0.9988 0.0003777 0.01943 0.283 1 0.717 1 0.0595 0.00008255 0.00009107 0.0009021 -0.04908 1 -1.877e-11 0.0003458 0.0009741 0.0001729 0.01315 14.57 0.8974 0.4597 0.9155 1 1 0.0004066 0.001254 0.001374 1.076 3.321 3.638 json
t17_x19_u6_b111 17 19 6 111 dst(R,sub(P,nrm(D))) 114427 138819153 o2(x,o2(x,o1(x))) true 75423 75423 0.9995 1 0.9995 0.0001691 0.01301 0.2991 1 0.7009 1 0.027 0.00007287 0.00008118 0.0006157 -0.05397 1 3.754e-11 0.0003595 0.000859 0.0001535 0.01239 20.12 0.8475 0.9108 2.126 1 1 0.0003325 0.0006155 0.0006147 1.966 3.639 3.634 json
t17_x19_u6_b112 17 19 6 112 dst(R,mlt(P,nrm(D))) 114428 138819154 o2(x,o2(x,o1(x))) true 75431 75431 0.9972 1 0.9972 0.0008863 0.02977 0.2041 1 0.7959 1 0.1238 0.0006055 0.0004141 0.00374 0.1877 1 -5.256e-11 0.002826 0.005964 0.001006 0.03172 8.482 0.8305 1.15 3.188 1 1 0.001465 0.00255 0.002562 1.653 2.877 2.891 json
t17_x19_u6_b113 17 19 6 113 dst(R,div(P,nrm(D))) 114429 138819155 o2(x,o2(x,o1(x))) true 75439 75439 1 1 1 0.000005225 0.002286 0.8133 1 0.1867 1 0.003918 0.000001413 0.000003052 0.00004588 -0.3671 0 2.628e-11 0.000009393 0.00006977 0.000004462 0.002112 46.04 0.1741 0.8545 1.798 1 1 0.000009855 0.00001898 0.00001898 1.886 3.633 3.633 json
t17_x19_u6_b114 17 19 6 114 dst(R,pow(P,nrm(D))) 114430 138819156 o2(x,o2(x,o1(x))) true 75447 75447 -0.501 0.25 0.999 0.7474 0.8645 -1 1 2 1 0.8556 0.00794 0.008003 0.008732 -0.003928 1 -4.308e-7 0.03201 0.01684 0.01586 0.1259 14.42 2 0.02133 0.04282 1 1 0.02113 0.08421 0.3347 0.02827 0.1127 0.4478 json
t17_x19_u6_b115 17 19 6 115 dst(R,mod(P,nrm(D))) 114431 138819157 o2(x,o2(x,o1(x))) true 75455 75455 0.9129 1 0.9129 0.02075 0.144 0.1241 1 0.8759 1 1.936 0.00631 0.006557 0.06167 -0.0192 1 -0.0000805 0.05803 0.1182 0.009065 0.09521 1.544 0.9253 0.6201 2.797 1 1 0.007294 0.0199 0.03512 0.3515 0.9592 1.692 json
t17_x19_u6_b116 17 19 6 116 dst(R,lrg(P,nrm(D))) 114432 138819158 o2(x,o2(x,o1(x))) true 75463 75463 0.9542 1 0.9542 0.01247 0.1117 0.2581 1 0.7419 1 1.214 0.0002536 0.0007489 0.01024 -0.4941 1 -0.00002855 0.001094 0.006429 0.0008967 0.02995 2.924 0.6238 0.08039 0.08777 1 1 0.001567 0.0104 0.01805 0.1257 0.8338 1.447 json
t17_x19_u6_b117 17 19 6 117 dst(R,eql(P,nrm(D))) 114433 138819159 o2(x,o2(x,o1(x))) true 75471 75471 0.9684 1 0.9684 0.009182 0.09582 0.2103 1 0.7897 1 0.9061 0.0002907 0.0002713 0.007968 0.03453 1 -0.00004516 0.0002037 0.004353 0.0004984 0.02232 2.802 0.1992 0.0612 0.02219 1 1 0.0009074 0.007818 0.01255 0.09882 0.8515 1.367 json
t17_x19_u6_b118 17 19 6 118 dst(R,min(P,nrm(D))) 114434 138819160 o2(x,o2(x,o1(x))) true 75479 75479 0.9865 1 0.9865 0.004444 0.06666 0.09302 1 0.907 1 0.448 0.000651 0.0006601 0.007427 -0.006931 1 0.000004363 0.00235 0.006683 0.001256 0.03543 4.771 1.283 0.2951 0.5289 1 1 0.002022 0.00769 0.009183 0.455 1.73 2.067 json
t17_x19_u6_b119 17 19 6 119 dst(R,dot(P,nrm(D))) 114435 138819161 o2(x,o2(x,o1(x))) true 75487 75487 0.9981 1 0.9981 0.0006584 0.02566 0.1021 1 0.8979 1 0.08622 0.001034 0.0009773 0.004944 0.0282 1 -0.000008718 0.009388 0.01078 0.001986 0.04456 9.013 1.235 3.055 14.26 1 1 0.00163 0.001788 0.001704 2.475 2.716 2.587 json
t17_x19_u6_b120 17 19 6 120 dst(R,dst(P,nrm(D))) 114436 138819162 o2(x,o2(x,o1(x))) true 75495 75495 0.9998 1 0.9998 0.00005164 0.007186 0.5517 1 0.4483 1 0.009722 0.00003906 0.00003706 0.0002697 0.02628 0 3.754e-12 0.0002049 0.000468 0.00007601 0.008719 32.33 0.6339 1.474 3.968 1 1 0.0001448 0.0001877 0.0001877 2.803 3.634 3.634 json
t17_x20_u0_b0 17 20 0 0 add(R,add(P,sqt(R))) 114437 138858237 o2(x,o2(x,o1(x))) true 75503 75503 -0.9701 0.01514 0.9945 0.05166 0.2273 -1 1 2 1 0.2059 0.004019 0.00584 0.00635 -0.1847 1 1.201e-10 0.02035 0.01137 0.009817 0.09908 15.6 2.828 0.1908 0.3939 1 1 0.00491 0.02578 0.06934 0.09505 0.499 1.342 json
t17_x20_u0_b1 17 20 0 1 add(R,sub(P,sqt(R))) 114438 138858238 o2(x,o2(x,o1(x))) true 75511 75511 -0.9855 0.006592 0.9964 0.02411 0.1553 -1 1 2 1 0.1234 0.001958 0.002886 0.003168 -0.1917 1 -9.386e-11 0.0101 0.005565 0.004835 0.06953 21.95 2.737 0.2009 0.4189 1 1 0.0004984 0.00348 0.02119 0.02067 0.1443 0.879 json
t17_x20_u0_b2 17 20 0 2 add(R,mlt(P,sqt(R))) 114439 138858239 o2(x,o2(x,o1(x))) true 75519 75519 -0.9768 0.01047 0.9927 0.03646 0.191 -1 1 2 1 0.2128 0.00265 0.004339 0.004979 -0.2416 1 0 0.01448 0.00878 0.006965 0.08346 16.76 2.828 0.1917 0.3972 1 1 0.002174 0.0124 0.03935 0.05963 0.34 1.079 json
t17_x20_u0_b3 17 20 0 3 add(R,div(P,sqt(R))) 114440 138858240 o2(x,o2(x,o1(x))) true 75527 75527 -0.98 0.009903 0.9958 0.03396 0.1843 -1 1 2 1 0.1531 0.002319 0.004138 0.004321 -0.2818 1 9.011e-11 0.01334 0.007682 0.006439 0.08024 18.57 2.828 0.1901 0.3927 1 1 0.00153 0.009219 0.03163 0.04504 0.2714 0.9313 json
t17_x20_u0_b4 17 20 0 4 add(R,pow(P,sqt(R))) 114441 138858241 o2(x,o2(x,o1(x))) true 75535 75535 -0.9567 0.02344 0.9964 0.07893 0.2809 -1 1 2 1 0.2171 0.008867 0.007338 0.009314 0.09437 1 -0.000002687 0.03418 0.01789 0.01611 0.1269 13.63 2.828 0.2053 0.433 1 1 0.01459 0.06024 0.1689 0.1848 0.7632 2.14 json
t17_x20_u0_b5 17 20 0 5 add(R,mod(P,sqt(R))) 114442 138858242 o2(x,o2(x,o1(x))) true 75543 75543 -0.9403 0.03854 0.9749 0.08352 0.289 -1 1 2 1 0.4365 0.008306 0.008555 0.01274 -0.01474 1 0.000005007 0.03514 0.02326 0.0167 0.1292 10.14 2.737 0.2019 0.4207 1 1 0.01209 0.05422 0.1371 0.1447 0.6491 1.641 json
t17_x20_u0_b6 17 20 0 6 add(R,lrg(P,sqt(R))) 114443 138858243 o2(x,o2(x,o1(x))) true 75551 75551 0.6553 1 0.6553 0.07788 0.2791 0.0011 1 0.9989 1 3.66 0.001092 0.001053 0.03236 0.01809 1 -0.00002242 0.0003829 0.01003 0.001098 0.03314 1.024 0.2122 0.02754 0.004917 1 1 0.003899 0.04386 0.1028 0.05006 0.5631 1.32 json
t17_x20_u0_b7 17 20 0 7 add(R,eql(P,sqt(R))) 114444 138858244 o2(x,o2(x,o1(x))) true 75559 75559 0.008979 0.4983 0.3946 0.2196 0.4686 -0.9989 0.9806 1.979 1 4.862 0.002813 0.00317 0.0632 -0.05957 1 0.00002651 0.0003508 0.01449 0.001989 0.0446 0.7057 0.2301 0.02725 0.001598 1 1 0.01182 0.1519 0.3914 0.05384 0.6917 1.782 json
t17_x20_u0_b8 17 20 0 8 add(R,min(P,sqt(R))) 114445 138858245 o2(x,o2(x,o1(x))) true 75567 75567 -0.007076 0.4969 0.9322 0.9058 0.9517 -1 1 2 1 2.113 0.001254 0.0006157 0.01371 0.3415 1 -0.00003186 0.0005165 0.005759 0.001683 0.04102 2.991 0.3773 0.002064 0.0005702 1 1 0.003902 0.04481 0.2659 0.004308 0.04947 0.2936 json
t17_x20_u0_b9 17 20 0 9 add(R,dot(P,sqt(R))) 114446 138858246 o2(x,o2(x,o1(x))) true 75575 75575 -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_x20_u0_b10 17 20 0 10 add(R,dst(P,sqt(R))) 114447 138858247 o2(x,o2(x,o1(x))) true 75583 75583 -0.9922 0.003906 1 0.01556 0.1248 -1 1 2 1 0.03687 0.002016 0.002016 0.001997 0 1 0 0.008566 0.004031 0.004024 0.06344 31.76 2.828 0.259 0.5504 1 1 0.007091 0.02837 0.05496 0.4556 1.823 3.531 json
t17_x20_u0_b11 17 20 0 11 sub(R,add(P,sqt(R))) 114448 138858248 o2(x,o2(x,o1(x))) true 75591 75591 -0.931 0.03397 0.9961 0.1281 0.358 -1 1 2 1 0.2954 0.01455 0.01161 0.01391 0.1125 1 3.754e-12 0.05467 0.02709 0.02599 0.1612 11.59 2.828 0.2041 0.4266 1 1 0.02357 0.09939 0.2388 0.1839 0.7756 1.864 json
t17_x20_u0_b12 17 20 0 12 sub(R,sub(P,sqt(R))) 114449 138858249 o2(x,o2(x,o1(x))) true 75599 75599 -0.9226 0.03906 0.9993 0.1476 0.3842 -1 1 2 1 0.2601 0.01556 0.01424 0.01506 0.04457 1 -1.952e-10 0.06227 0.03016 0.02958 0.172 11.42 2.828 0.2018 0.4218 1 1 0.02529 0.1086 0.2601 0.1713 0.7358 1.762 json
t17_x20_u0_b13 17 20 0 13 sub(R,mlt(P,sqt(R))) 114450 138858250 o2(x,o2(x,o1(x))) true 75607 75607 -0.9257 0.03784 0.9963 0.1383 0.3719 -1 1 2 1 0.2838 0.01509 0.01303 0.01466 0.0734 1 -1.314e-10 0.05876 0.02902 0.02792 0.1671 11.4 2.828 0.2032 0.4247 1 1 0.02484 0.1052 0.2512 0.1796 0.7607 1.816 json
t17_x20_u0_b14 17 20 0 14 sub(R,div(P,sqt(R))) 114451 138858251 o2(x,o2(x,o1(x))) true 75615 75615 -0.9262 0.03735 0.9966 0.1377 0.3711 -1 1 2 1 0.2849 0.015 0.01294 0.0146 0.07396 1 -2.178e-10 0.05837 0.02879 0.02773 0.1665 11.4 2.828 0.2029 0.4238 1 1 0.02477 0.1048 0.2506 0.1799 0.7608 1.819 json
t17_x20_u0_b15 17 20 0 15 sub(R,pow(P,sqt(R))) 114452 138858252 o2(x,o2(x,o1(x))) true 75623 75623 -0.985 0.007721 0.9906 0.01774 0.1332 -1 0.8288 1.829 1 0.1836 0.002877 0.001642 0.004773 0.2732 1 9.386e-11 0.009295 0.007092 0.004494 0.06704 14.04 1.829 0.2548 0.524 1 1 0.00607 0.02552 0.04886 0.3422 1.439 2.755 json
t17_x20_u0_b16 17 20 0 16 sub(R,mod(P,sqt(R))) 114453 138858253 o2(x,o2(x,o1(x))) true 75631 75631 -0.9264 0.04234 0.9878 0.1237 0.3517 -1 1 2 1 0.4094 0.01281 0.01241 0.01537 0.01598 1 0.000003209 0.05268 0.0288 0.02499 0.1581 10.29 2.736 0.204 0.426 1 1 0.02138 0.09118 0.2145 0.1729 0.7374 1.734 json
t17_x20_u0_b17 17 20 0 17 sub(R,lrg(P,sqt(R))) 114454 138858254 o2(x,o2(x,o1(x))) true 75639 75639 -0.5486 0.2066 0.7302 0.3313 0.5756 -1 0.969 1.969 1 3.557 0.004152 0.005107 0.05887 -0.1032 1 0.0001244 0.001502 0.01901 0.005794 0.07612 1.293 0.347 0.02795 0.004532 1 1 0.01853 0.2069 0.5296 0.05594 0.6244 1.598 json
t17_x20_u0_b18 17 20 0 18 sub(R,eql(P,sqt(R))) 114455 138858255 o2(x,o2(x,o1(x))) true 75647 75647 0.008979 0.4983 0.3946 0.2196 0.4686 -0.9989 0.9806 1.979 1 4.862 0.002813 0.00317 0.0632 -0.05957 1 0.00002651 0.0003508 0.01449 0.001989 0.0446 0.7057 0.2301 0.02725 0.001598 1 1 0.01182 0.1519 0.3914 0.05384 0.6917 1.782 json
t17_x20_u0_b19 17 20 0 19 sub(R,min(P,sqt(R))) 114456 138858256 o2(x,o2(x,o1(x))) true 75655 75655 0.07899 0.4983 0.8631 0.8146 0.9026 -1 1 2 1 2.607 0.002662 0.002471 0.02792 0.03726 1 0.0001368 0.002431 0.01568 0.004353 0.06598 2.363 0.456 0.006301 0.002984 1 1 0.009348 0.08587 0.3013 0.01148 0.1054 0.3699 json
t17_x20_u0_b20 17 20 0 20 sub(R,dot(P,sqt(R))) 114457 138858257 o2(x,o2(x,o1(x))) true 75663 75663 -0.9922 0.003906 1 0.01556 0.1248 -1 1 2 1 0.03687 0.002016 0.002016 0.001997 0 1 0 0.008566 0.004031 0.004024 0.06344 31.76 2.828 0.259 0.5504 1 1 0.007091 0.02837 0.05496 0.4556 1.823 3.531 json
t17_x20_u0_b21 17 20 0 21 sub(R,dst(P,sqt(R))) 114458 138858258 o2(x,o2(x,o1(x))) true 75671 75671 -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_x20_u0_b22 17 20 0 22 mlt(R,add(P,sqt(R))) 114459 138858259 o2(x,o2(x,o1(x))) true 75679 75679 -0.9757 0.01041 0.9906 0.03596 0.1896 -1 1 2 1 0.2419 0.002795 0.004212 0.005415 -0.2023 1 1.877e-11 0.01453 0.009534 0.006978 0.08354 15.43 2.828 0.1948 0.4041 1 1 0.002298 0.01258 0.04125 0.06391 0.3498 1.147 json
t17_x20_u0_b23 17 20 0 23 mlt(R,sub(P,sqt(R))) 114460 138858260 o2(x,o2(x,o1(x))) true 75687 75687 -0.9874 0.005219 0.9953 0.01923 0.1387 -1 1 2 1 0.1362 0.001383 0.00227 0.002908 -0.2428 1 -5.256e-11 0.007593 0.005121 0.003647 0.06039 20.77 2 0.1899 0.3947 1 1 0.0002317 0.001358 0.01684 0.01204 0.07058 0.8756 json
t17_x20_u0_b24 17 20 0 24 mlt(R,mlt(P,sqt(R))) 114461 138858261 o2(x,o2(x,o1(x))) true 75695 75695 -0.9805 0.007813 0.9909 0.02643 0.1626 -1 1 2 1 0.2446 0.002199 0.003195 0.004958 -0.1845 1 8.504e-7 0.01115 0.008179 0.005372 0.07329 14.78 2.556 0.2041 0.4217 1 1 0.001206 0.006585 0.02674 0.04561 0.2491 1.012 json
t17_x20_u0_b25 17 20 0 25 mlt(R,div(P,sqt(R))) 114462 138858262 o2(x,o2(x,o1(x))) true 75703 75703 -0.984 0.007813 0.9952 0.02563 0.1601 -1 1 2 1 0.1601 0.001967 0.003092 0.003553 -0.2222 1 -6.758e-11 0.01054 0.006234 0.005046 0.07104 20 2.731 0.1974 0.4112 1 1 0.0006437 0.004194 0.02286 0.02512 0.1636 0.8919 json
t17_x20_u0_b26 17 20 0 26 mlt(R,pow(P,sqt(R))) 114463 138858263 o2(x,o2(x,o1(x))) true 75711 75711 -0.9683 0.01662 0.9863 0.0463 0.2152 -1 1 2 1 0.2528 0.005029 0.004386 0.007248 0.0683 1 -0.000002715 0.01983 0.013 0.009364 0.09677 13.35 2.64 0.2034 0.4283 1 1 0.00556 0.02278 0.0779 0.1201 0.492 1.683 json
t17_x20_u0_b27 17 20 0 27 mlt(R,mod(P,sqt(R))) 114464 138858264 o2(x,o2(x,o1(x))) true 75719 75719 -0.9611 0.007568 0.9628 0.03444 0.1856 -1 0.273 1.273 1 0.3897 0.003492 0.003439 0.007861 0.007638 1 -0.000002401 0.01447 0.01511 0.006868 0.08287 10.54 1.499 0.2013 0.4202 1 1 0.004752 0.02101 0.0561 0.138 0.6102 1.629 json
t17_x20_u0_b28 17 20 0 28 mlt(R,lrg(P,sqt(R))) 114465 138858265 o2(x,o2(x,o1(x))) true 75727 75727 -0.1361 0.2244 0.3105 0.1484 0.3852 -0.9989 0.9806 1.979 1 4.449 0.001872 0.001879 0.04664 -0.001932 1 0.00001726 0.0002226 0.01081 0.001576 0.0397 0.8513 0.219 0.02529 0.001501 1 1 0.007167 0.09264 0.2444 0.04831 0.6245 1.648 json
t17_x20_u0_b29 17 20 0 29 mlt(R,eql(P,sqt(R))) 114466 138858266 o2(x,o2(x,o1(x))) true 75735 75735 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_x20_u0_b30 17 20 0 30 mlt(R,min(P,sqt(R))) 114467 138858267 o2(x,o2(x,o1(x))) true 75743 75743 -0.2175 0.3967 0.6609 0.5234 0.7235 -1 1 2 1 4.037 0.01104 0.01378 0.0813 -0.1103 1 0.000109 0.01197 0.0384 0.01821 0.1349 1.66 1.294 0.04742 0.02288 1 1 0.0368 0.3365 0.787 0.07032 0.643 1.504 json
t17_x20_u0_b31 17 20 0 31 mlt(R,dot(P,sqt(R))) 114468 138858268 o2(x,o2(x,o1(x))) true 75751 75751 -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_x20_u0_b32 17 20 0 32 mlt(R,dst(P,sqt(R))) 114469 138858269 o2(x,o2(x,o1(x))) true 75759 75759 -0.9922 0.003906 1 0.01556 0.1248 -1 1 2 1 0.03687 0.002016 0.002016 0.001997 0 1 0 0.008566 0.004031 0.004024 0.06344 31.76 2.828 0.259 0.5504 1 1 0.007091 0.02837 0.05496 0.4556 1.823 3.531 json
t17_x20_u0_b33 17 20 0 33 div(R,add(P,sqt(R))) 114470 138858270 o2(x,o2(x,o1(x))) true 75767 75767 -0.967 0.008682 0.9726 0.03353 0.1831 -1 0.8177 1.818 1 0.3368 0.003079 0.003654 0.007282 -0.08543 1 -7.717e-7 0.01373 0.01341 0.006678 0.08172 11.22 2.049 0.2008 0.4096 1 1 0.003308 0.01482 0.03683 0.09866 0.4419 1.098 json
t17_x20_u0_b34 17 20 0 34 div(R,sub(P,sqt(R))) 114471 138858271 o2(x,o2(x,o1(x))) true 75775 75775 -0.9607 0.006897 0.9669 0.03926 0.1981 -1 1 2 1 0.4027 0.004151 0.004159 0.008376 -0.0009514 1 -3.63e-7 0.01715 0.01575 0.008238 0.09076 10.84 2.828 0.2117 0.4368 1 1 0.00457 0.02085 0.05409 0.1164 0.5312 1.378 json
t17_x20_u0_b35 17 20 0 35 div(R,mlt(P,sqt(R))) 114472 138858272 o2(x,o2(x,o1(x))) true 75783 75783 -0.9721 0.003906 0.9729 0.02336 0.1528 -1 0.1204 1.12 1 0.327 0.00238 0.002245 0.005686 0.02909 1 -3.541e-7 0.009657 0.01081 0.004592 0.06776 11.92 1.296 0.198 0.4134 1 1 0.00281 0.01182 0.0308 0.1203 0.506 1.319 json
t17_x20_u0_b36 17 20 0 36 div(R,div(P,sqt(R))) 114473 138858273 o2(x,o2(x,o1(x))) true 75791 75791 -0.9696 0.003906 0.9701 0.0265 0.1628 -1 0.1117 1.112 1 0.326 0.002781 0.002532 0.006264 0.04697 1 -6.219e-7 0.01109 0.01186 0.005273 0.07262 11.59 1.374 0.2005 0.4186 1 1 0.003753 0.01563 0.03922 0.1416 0.5898 1.48 json
t17_x20_u0_b37 17 20 0 37 div(R,pow(P,sqt(R))) 114474 138858274 o2(x,o2(x,o1(x))) true 75799 75799 -0.9908 0.007004 0.9941 0.01122 0.1059 -1 0.8665 1.866 1 0.08971 0.001099 0.001176 0.001972 -0.03372 1 -0.000003316 0.004747 0.003499 0.002271 0.04765 24.17 1.866 0.2027 0.423 1 1 0 0 0.009751 0 0 0.8689 json
t17_x20_u0_b38 17 20 0 38 div(R,mod(P,sqt(R))) 114475 138858275 o2(x,o2(x,o1(x))) true 75807 75807 -0.9912 0.003906 0.9989 0.01564 0.1251 -1 1 2 1 0.08062 0.0009798 0.001778 0.001917 -0.2894 1 7.203e-7 0.005712 0.003532 0.002753 0.05247 27.37 2 0.1763 0.3652 1 1 0.00006554 0.000131 0.0132 0.004191 0.008376 0.8441 json
t17_x20_u0_b39 17 20 0 39 div(R,lrg(P,sqt(R))) 114476 138858276 o2(x,o2(x,o1(x))) true 75815 75815 -0.4619 0.2444 0.6974 0.3963 0.6295 -1 1 2 1 3.571 0.0222 0.01969 0.05364 0.05997 1 0.000005646 0.08299 0.05341 0.03902 0.1975 3.683 2.828 0.1057 0.2094 1 1 0.0554 0.2728 0.5612 0.1398 0.6884 1.416 json
t17_x20_u0_b40 17 20 0 40 div(R,eql(P,sqt(R))) 114477 138858277 o2(x,o2(x,o1(x))) true 75823 75823 -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_x20_u0_b41 17 20 0 41 div(R,min(P,sqt(R))) 114478 138858278 o2(x,o2(x,o1(x))) true 75831 75831 -0.02578 0.4832 0.3199 0.2166 0.4655 -1 0.9968 1.997 1 4.081 0.01284 0.001032 0.03814 0.8513 1 -0.000004182 0.02401 0.02409 0.01242 0.1114 2.922 1.971 0.06404 0.1108 1 1 0.01878 0.108 0.3427 0.08666 0.4987 1.582 json
t17_x20_u0_b42 17 20 0 42 div(R,dot(P,sqt(R))) 114479 138858279 o2(x,o2(x,o1(x))) true 75839 75839 -0.9966 0 0.9966 0.003017 0.05493 -1 -0.108 0.892 1 0.0405 0.0003904 0.0003905 0.0008834 -0.00003462 1 -3.379e-11 0.001659 0.001775 0.0007795 0.02792 31.6 1.262 0.2588 0.55 1 1 0.001374 0.005495 0.01065 0.4553 1.821 3.529 json
t17_x20_u0_b43 17 20 0 43 div(R,dst(P,sqt(R))) 114480 138858280 o2(x,o2(x,o1(x))) true 75847 75847 -0.9957 0.003906 0.9965 0.004731 0.06878 -1 0.1345 1.134 1 0.03904 0.0006116 0.0006118 0.001112 -0.0001486 1 -3.004e-11 0.0026 0.002223 0.001221 0.03495 31.42 1.517 0.2586 0.5495 1 1 0.002152 0.00861 0.01667 0.4549 1.82 3.523 json
t17_x20_u0_b44 17 20 0 44 pow(R,add(P,sqt(R))) 114481 138858281 o2(x,o2(x,o1(x))) true 75855 75855 -0.9196 0.04297 0.9945 0.147 0.3834 -1 1 2 1 0.3263 0.0158 0.01416 0.01576 0.05448 1 0.00000167 0.06265 0.03129 0.02971 0.1724 10.94 2.828 0.2038 0.4261 1 1 0.025 0.1065 0.2596 0.1701 0.7244 1.766 json
t17_x20_u0_b45 17 20 0 45 pow(R,sub(P,sqt(R))) 114482 138858282 o2(x,o2(x,o1(x))) true 75863 75863 -0.9173 0.04297 0.9968 0.1549 0.3935 -1 1 2 1 0.2863 0.01609 0.0152 0.01599 0.02845 1 0.000002031 0.0654 0.03201 0.03103 0.1762 11.02 2.828 0.2021 0.4223 1 1 0.02542 0.1095 0.267 0.1641 0.7069 1.724 json
t17_x20_u0_b46 17 20 0 46 pow(R,mlt(P,sqt(R))) 114483 138858283 o2(x,o2(x,o1(x))) true 75871 75871 -0.9176 0.04297 0.9964 0.1536 0.3919 -1 1 2 1 0.3024 0.01595 0.01503 0.01595 0.02974 1 0.0000019 0.06473 0.03185 0.03071 0.1753 10.99 2.828 0.2017 0.4215 1 1 0.02532 0.1088 0.2657 0.1648 0.7083 1.73 json
t17_x20_u0_b47 17 20 0 47 pow(R,div(P,sqt(R))) 114484 138858284 o2(x,o2(x,o1(x))) true 75879 75879 -0.9179 0.04285 0.9962 0.153 0.3911 -1 1 2 1 0.3037 0.01589 0.01495 0.01592 0.03056 1 0.000001723 0.06444 0.03176 0.03058 0.1749 10.98 2.828 0.2016 0.4213 1 1 0.02528 0.1085 0.2651 0.1653 0.7096 1.733 json
t17_x20_u0_b48 17 20 0 48 pow(R,pow(P,sqt(R))) 114485 138858285 o2(x,o2(x,o1(x))) true 75887 75887 -0.9879 0.007813 0.9965 0.01958 0.1399 -1 1 2 1 0.09419 0.002079 0.002429 0.002824 -0.07771 1 0.00000191 0.009525 0.0054 0.0045 0.06708 23.76 2.64 0.2302 0.4864 1 1 0.0007549 0.005342 0.01749 0.03855 0.2728 0.8929 json
t17_x20_u0_b49 17 20 0 49 pow(R,mod(P,sqt(R))) 114486 138858286 o2(x,o2(x,o1(x))) true 75895 75895 -0.9148 0.04297 0.9993 0.1619 0.4023 -1 1 2 1 0.2798 0.01657 0.01604 0.01643 0.01651 1 0.000001444 0.06816 0.03292 0.03232 0.1798 10.94 2.828 0.2015 0.4211 1 1 0.0254 0.1094 0.2733 0.1569 0.6756 1.688 json
t17_x20_u0_b50 17 20 0 50 pow(R,lrg(P,sqt(R))) 114487 138858287 o2(x,o2(x,o1(x))) true 75903 75903 -0.9161 0.04297 0.998 0.1576 0.3969 -1 1 2 1 0.3013 0.01614 0.0155 0.01623 0.02026 1 0.000002697 0.06608 0.03236 0.03136 0.1771 10.91 2.828 0.2008 0.4194 1 1 0.0253 0.1087 0.2694 0.1606 0.6897 1.71 json
t17_x20_u0_b51 17 20 0 51 pow(R,eql(P,sqt(R))) 114488 138858288 o2(x,o2(x,o1(x))) true 75911 75911 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_x20_u0_b52 17 20 0 52 pow(R,min(P,sqt(R))) 114489 138858289 o2(x,o2(x,o1(x))) true 75919 75919 -0.8551 0.07422 0.9965 0.2625 0.5124 -1 1 2 1 0.4749 0.02342 0.02325 0.02425 0.00367 1 0.000001767 0.09732 0.04799 0.04606 0.2146 8.851 2.828 0.1778 0.3707 1 1 0.0447 0.187 0.6211 0.1703 0.7125 2.366 json
t17_x20_u0_b53 17 20 0 53 pow(R,dot(P,sqt(R))) 114490 138858290 o2(x,o2(x,o1(x))) true 75927 75927 -0.9922 0.003906 1 0.01556 0.1248 -1 1 2 1 0.03687 0.002016 0.002016 0.001997 0 1 0 0.008566 0.004031 0.004024 0.06344 31.76 2.828 0.259 0.5504 1 1 0.007091 0.02837 0.05496 0.4556 1.823 3.531 json
t17_x20_u0_b54 17 20 0 54 pow(R,dst(P,sqt(R))) 114491 138858291 o2(x,o2(x,o1(x))) true 75935 75935 -0.9955 0.003906 0.9967 0.005217 0.07223 -1 0.3676 1.368 1 0.04641 0.0006753 0.0006811 0.001223 -0.004262 1 -2.253e-11 0.00288 0.002335 0.001354 0.03679 30.08 1.423 0.26 0.552 1 1 0.002389 0.009573 0.01834 0.458 1.835 3.516 json
t17_x20_u0_b55 17 20 0 55 mod(R,add(P,sqt(R))) 114492 138858292 o2(x,o2(x,o1(x))) true 75943 75943 -0.9366 0.04297 0.9775 0.09194 0.3032 -1 0.9428 1.943 1 0.4223 0.008953 0.009599 0.01347 -0.03482 1 0.000008535 0.0387 0.02465 0.01837 0.1355 10.07 2.64 0.2018 0.4209 1 1 0.0143 0.06168 0.1448 0.1556 0.6709 1.575 json
t17_x20_u0_b56 17 20 0 56 mod(R,sub(P,sqt(R))) 114493 138858293 o2(x,o2(x,o1(x))) true 75951 75951 -0.934 0.04297 0.98 0.09892 0.3145 -1 0.9428 1.943 1 0.4176 0.009844 0.009892 0.01383 -0.002454 1 0.000008536 0.04114 0.02552 0.01955 0.1398 10.11 2.098 0.1995 0.4159 1 1 0.01631 0.0703 0.1699 0.1649 0.7106 1.717 json
t17_x20_u0_b57 17 20 0 57 mod(R,mlt(P,sqt(R))) 114494 138858294 o2(x,o2(x,o1(x))) true 75959 75959 -0.9454 0.03516 0.9843 0.0832 0.2884 -1 0.9428 1.943 1 0.3499 0.008732 0.007683 0.01142 0.06389 1 0.000008536 0.03424 0.02109 0.01628 0.1276 11.18 2.098 0.1973 0.4115 1 1 0.01517 0.06259 0.1544 0.1823 0.7522 1.856 json
t17_x20_u0_b58 17 20 0 58 mod(R,div(P,sqt(R))) 114495 138858295 o2(x,o2(x,o1(x))) true 75967 75967 -0.9454 0.03516 0.9843 0.0832 0.2884 -1 0.9428 1.943 1 0.3499 0.008732 0.007683 0.01142 0.06389 1 0.000008536 0.03424 0.02109 0.01628 0.1276 11.18 2.098 0.1973 0.4115 1 1 0.01517 0.06259 0.1544 0.1823 0.7522 1.856 json
t17_x20_u0_b59 17 20 0 59 mod(R,pow(P,sqt(R))) 114496 138858296 o2(x,o2(x,o1(x))) true 75975 75975 -0.9884 0.007141 0.9964 0.01789 0.1337 -1 0.9276 1.928 1 0.09689 0.001429 0.001753 0.002439 -0.1019 1 3.268e-7 0.006584 0.00418 0.003176 0.05635 23.11 1.91 0.1779 0.3681 1 1 0 0 0.01524 0 0 0.8521 json
t17_x20_u0_b60 17 20 0 60 mod(R,mod(P,sqt(R))) 114497 138858297 o2(x,o2(x,o1(x))) true 75983 75983 -0.9592 0.03516 0.9705 0.04648 0.2156 -1 0.6587 1.659 1 0.3162 0.00492 0.004505 0.008297 0.04401 1 9.117e-7 0.01973 0.01597 0.009351 0.0967 11.65 1.939 0.2028 0.4246 1 1 0.0082 0.03336 0.08131 0.1764 0.7178 1.749 json
t17_x20_u0_b61 17 20 0 61 mod(R,lrg(P,sqt(R))) 114498 138858298 o2(x,o2(x,o1(x))) true 75991 75991 -0.5322 0.2093 0.6974 0.3263 0.5713 -1 0.9806 1.981 1 3.392 0.006447 0.002802 0.0375 0.3942 1 0.000005646 0.01344 0.02083 0.007842 0.08855 2.361 2.097 0.02834 0.04119 1 1 0.01317 0.09978 0.3038 0.04036 0.3058 0.931 json
t17_x20_u0_b62 17 20 0 62 mod(R,eql(P,sqt(R))) 114499 138858299 o2(x,o2(x,o1(x))) true 75999 75999 -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