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_x25_u6_b102 17 25 6 102 dot(R,div(R,nrm(D))) 119500 139061550 o2(x,o2(x,o1(x))) true 116007 116007 -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_x25_u6_b103 17 25 6 103 dot(R,pow(R,nrm(D))) 119501 139061551 o2(x,o2(x,o1(x))) true 116015 116015 -0.9927 0.003906 0.9995 0.01384 0.1176 -1 1 2 1 0.04491 0.001928 0.001527 0.001992 0.1162 1 -3.754e-11 0.007284 0.003722 0.003448 0.05872 29.48 2.48 0.2497 0.5263 1 1 0.006129 0.02551 0.04868 0.4429 1.843 3.518 json
t17_x25_u6_b104 17 25 6 104 dot(R,mod(R,nrm(D))) 119502 139061552 o2(x,o2(x,o1(x))) true 116023 116023 0.655 1 0.655 0.06798 0.2607 0.009976 1 0.99 1 3.655 0.01633 0.01637 0.1119 -0.001055 1 0.00005448 0.1278 0.2033 0.02018 0.1421 1.27 1.221 0.481 1.88 1 1 0.02509 0.06435 0.1349 0.369 0.9467 1.984 json
t17_x25_u6_b105 17 25 6 105 dot(R,lrg(R,nrm(D))) 119503 139061553 o2(x,o2(x,o1(x))) true 116031 116031 0.4666 0.8618 0.5263 0.1733 0.4163 -1 1 2 1 4.29 0.01785 0.01784 0.1059 0.0002787 1 0.00001578 0.1128 0.1416 0.02448 0.1564 1.477 1.336 0.2059 0.6508 1 1 0.03779 0.1766 0.3372 0.218 1.019 1.945 json
t17_x25_u6_b106 17 25 6 106 dot(R,eql(R,nrm(D))) 119504 139061554 o2(x,o2(x,o1(x))) true 116039 116039 0.0001096 0.0005188 0.0002251 0.0001263 0.01124 -0.3139 0.9417 1.256 1 0.01181 0.0002048 0.0002595 0.0007451 -0.1177 1 1.549e-11 0.00215 0.001722 0.0004637 0.02153 28.9 1.332 3.677 17.03 1 1 0.0004438 0.0004445 0.0004415 3.514 3.52 3.496 json
t17_x25_u6_b107 17 25 6 107 dot(R,min(R,nrm(D))) 119505 139061555 o2(x,o2(x,o1(x))) true 116047 116047 0.4664 0.8692 0.5381 0.1724 0.4152 -1 1 2 1 4.339 0.007757 0.008269 0.08553 -0.03192 1 -0.00009098 0.01371 0.03779 0.00871 0.09333 1.091 1.566 0.09297 0.07955 1 1 0.02892 0.2108 0.2887 0.1678 1.223 1.675 json
t17_x25_u6_b108 17 25 6 108 dot(R,dot(R,nrm(D))) 119506 139061556 o2(x,o2(x,o1(x))) true 116055 116055 -0.005933 0.4873 0.2939 0.1667 0.4083 -1 1 2 1 4.489 0.012 0.01354 0.1002 -0.06044 1 0.0001419 0.02336 0.04393 0.0155 0.1245 1.243 2.088 0.1532 0.1401 1 1 0.04672 0.3334 0.2886 0.2803 2 1.731 json
t17_x25_u6_b109 17 25 6 109 dot(R,dst(R,nrm(D))) 119507 139061557 o2(x,o2(x,o1(x))) true 116063 116063 0.02681 0.5178 0.6119 0.4978 0.7056 -1 1 2 1 4.465 0.0106 0.01155 0.1003 -0.04281 1 0.00003461 0.009843 0.04184 0.01209 0.11 1.097 1.245 0.04449 0.01977 1 1 0.04381 0.4135 0.9511 0.088 0.8307 1.91 json
t17_x25_u6_b110 17 25 6 110 dst(R,add(R,nrm(D))) 119508 139061558 o2(x,o2(x,o1(x))) true 116071 116071 1 1 1 2.604e-15 5.103e-8 1 1 1.192e-7 1 0 2.663e-15 2.739e-15 6.309e-8 -0.00007687 0 9.222e-8 4.24e-14 1.487e-7 1.421e-15 3.77e-8 0.5976 1.686e-7 0.005402 0.0424 0 1 2.822e-15 2.734e-15 9.552e-16 0.002822 0.002734 0.0009552 json
t17_x25_u6_b111 17 25 6 111 dst(R,sub(R,nrm(D))) 119509 139061559 o2(x,o2(x,o1(x))) true 116079 116079 1 1 1 2.606e-15 5.105e-8 1 1 1.192e-7 1 0 2.663e-15 2.745e-15 6.321e-8 -0.00008162 0 9.325e-8 4.294e-14 1.496e-7 1.412e-15 3.758e-8 0.5946 1.686e-7 0.005408 0.04294 0 1 2.812e-15 2.741e-15 9.474e-16 0.002812 0.002741 0.0009474 json
t17_x25_u6_b112 17 25 6 112 dst(R,mlt(R,nrm(D))) 119510 139061560 o2(x,o2(x,o1(x))) true 116087 116087 0.8854 1 0.8854 0.03094 0.1759 0.04362 1 0.9564 1 2.205 0.002365 0.002628 0.03759 -0.05269 1 -0.000006287 0.006486 0.02544 0.00358 0.05983 1.592 0.8158 0.1614 0.2097 1 1 0.007174 0.03875 0.04137 0.2319 1.253 1.337 json
t17_x25_u6_b113 17 25 6 113 dst(R,div(R,nrm(D))) 119511 139061561 o2(x,o2(x,o1(x))) true 116095 116095 -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_x25_u6_b114 17 25 6 114 dst(R,pow(R,nrm(D))) 119512 139061562 o2(x,o2(x,o1(x))) true 116103 116103 -0.9926 0.003906 0.9995 0.01395 0.1181 -1 1 2 1 0.04382 0.001788 0.001618 0.001942 0.05004 1 0 0.007185 0.003762 0.003399 0.0583 30.02 2.828 0.2442 0.5152 1 1 0.006004 0.02559 0.04951 0.4306 1.835 3.55 json
t17_x25_u6_b115 17 25 6 115 dst(R,mod(R,nrm(D))) 119513 139061563 o2(x,o2(x,o1(x))) true 116111 116111 0.4106 0.9847 0.4106 0.07392 0.2719 0 1 1 1 3.865 0.02509 0.02536 0.1563 -0.005411 1 0.0001404 0.207 0.2945 0.02602 0.1613 1.032 1.262 0.6825 2.8 1 1 0.04283 0.08529 0.1304 0.5794 1.154 1.764 json
t17_x25_u6_b116 17 25 6 116 dst(R,lrg(R,nrm(D))) 119514 139061564 o2(x,o2(x,o1(x))) true 116119 116119 0.9356 1 0.9356 0.01637 0.1279 0.2411 1 0.7589 1 1.565 0.002587 0.002877 0.02711 -0.05313 1 0.00001646 0.01534 0.03794 0.004729 0.06877 2.537 0.9665 0.3339 0.937 1 1 0.006089 0.02426 0.03059 0.372 1.482 1.869 json
t17_x25_u6_b117 17 25 6 117 dst(R,eql(R,nrm(D))) 119515 139061565 o2(x,o2(x,o1(x))) true 116127 116127 0.897 1 0.897 0.02252 0.1501 0.09951 1 0.9005 1 2.181 0.0003629 0.0004829 0.01682 -0.142 1 -0.00001961 0.0003601 0.006113 0.0005629 0.02373 1.411 0.7419 0.03756 0.01599 1 1 0.001358 0.01501 0.03484 0.06032 0.6667 1.547 json
t17_x25_u6_b118 17 25 6 118 dst(R,min(R,nrm(D))) 119516 139061566 o2(x,o2(x,o1(x))) true 116135 116135 0.7169 1 0.7169 0.08933 0.2989 0.0001407 1 0.9999 1 3.334 0.006532 0.006999 0.07216 -0.03449 1 0.00001638 0.01612 0.04402 0.008325 0.09124 1.264 1.069 0.1515 0.1805 1 1 0.02154 0.1253 0.1373 0.2411 1.403 1.538 json
t17_x25_u6_b119 17 25 6 119 dst(R,dot(R,nrm(D))) 119517 139061567 o2(x,o2(x,o1(x))) true 116143 116143 0.9337 1 0.9337 0.01943 0.1394 0.02659 1 0.9734 1 1.537 0.002148 0.002355 0.02935 -0.04615 1 -0.00005667 0.007444 0.02684 0.00364 0.06033 2.056 0.8431 0.2317 0.383 1 1 0.006427 0.02702 0.03192 0.3307 1.391 1.643 json
t17_x25_u6_b120 17 25 6 120 dst(R,dst(R,nrm(D))) 119518 139061568 o2(x,o2(x,o1(x))) true 116151 116151 0.9955 1 0.9955 0.00182 0.04266 0.02111 1 0.9789 1 0.1608 0.0005849 0.0005771 0.004266 0.006671 1 0.000001605 0.002557 0.005571 0.001143 0.03382 7.927 0.979 0.6386 1.405 1 1 0.002077 0.005352 0.004485 1.142 2.941 2.465 json
t17_x26_u0_b0 17 26 0 0 add(R,add(R,sqt(R))) 119519 139100643 o2(x,o2(x,o1(x))) true 116159 116159 -0.9149 0.04297 0.9991 0.1615 0.4018 -1 1 2 1 0.2796 0.01631 0.01608 0.0165 0.007064 1 -6.894e-7 0.06766 0.0329 0.0321 0.1792 10.86 2.828 0.2006 0.4191 1 1 0.0251 0.1083 0.2706 0.1555 0.6705 1.676 json
t17_x26_u0_b1 17 26 0 1 add(R,sub(R,sqt(R))) 119520 139100644 o2(x,o2(x,o1(x))) true 116167 116167 -0.9397 0.04034 0.9748 0.08389 0.2896 -1 0.9147 1.915 1 0.426 0.008416 0.008562 0.01316 -0.008608 1 0.00001138 0.03535 0.02355 0.01681 0.1297 9.855 2.549 0.2024 0.4214 1 1 0.01365 0.05967 0.1418 0.1627 0.7114 1.69 json
t17_x26_u0_b2 17 26 0 2 add(R,mlt(R,sqt(R))) 119521 139100645 o2(x,o2(x,o1(x))) true 116175 116175 -0.921 0.04297 0.993 0.1412 0.3758 -1 1 2 1 0.3626 0.01389 0.01385 0.0161 0.001176 1 -2.007e-7 0.05772 0.03051 0.02747 0.1657 10.29 2.828 0.1964 0.4086 1 1 0.02225 0.09889 0.2409 0.1575 0.7002 1.705 json
t17_x26_u0_b3 17 26 0 3 add(R,div(R,sqt(R))) 119522 139100646 o2(x,o2(x,o1(x))) true 116183 116183 -0.9161 0.04297 0.998 0.1575 0.3968 -1 1 2 1 0.3035 0.016 0.01565 0.01648 0.01096 1 -5.265e-7 0.0661 0.03253 0.03136 0.1771 10.74 2.828 0.201 0.4197 1 1 0.02479 0.107 0.2656 0.1574 0.6792 1.687 json
t17_x26_u0_b4 17 26 0 4 add(R,pow(R,sqt(R))) 119523 139100647 o2(x,o2(x,o1(x))) true 116191 116191 -0.9158 0.04297 0.9982 0.1582 0.3978 -1 1 2 1 0.3052 0.01603 0.01564 0.01646 0.01229 1 -2.958e-7 0.06613 0.03258 0.03137 0.1771 10.76 2.828 0.2001 0.4179 1 1 0.02473 0.107 0.2667 0.1563 0.6763 1.685 json
t17_x26_u0_b5 17 26 0 5 add(R,mod(R,sqt(R))) 119524 139100648 o2(x,o2(x,o1(x))) true 116199 116199 -0.9188 0.04297 0.9952 0.1482 0.385 -1 1 2 1 0.341 0.0148 0.01462 0.0163 0.006122 1 -3.547e-7 0.06132 0.03141 0.02914 0.1707 10.48 2.828 0.1985 0.4136 1 1 0.02346 0.1029 0.2523 0.1583 0.6939 1.702 json
t17_x26_u0_b6 17 26 0 6 add(R,lrg(R,sqt(R))) 119525 139100649 o2(x,o2(x,o1(x))) true 116207 116207 0.5266 1 0.5266 0.05091 0.2256 0.001084 0.997 0.9959 1 3.815 0.0007236 0.0006853 0.03089 0.02719 1 0.00004432 0.00008334 0.007111 0.0004549 0.02133 0.6905 0.1132 0.02767 0.001637 1 1 0.002542 0.03267 0.08567 0.04993 0.6416 1.683 json
t17_x26_u0_b7 17 26 0 7 add(R,eql(R,sqt(R))) 119526 139100650 o2(x,o2(x,o1(x))) true 116215 116215 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_x26_u0_b8 17 26 0 8 add(R,min(R,sqt(R))) 119527 139100651 o2(x,o2(x,o1(x))) true 116223 116223 0.01372 0.4984 0.659 0.5457 0.7387 -1 1 2 1 4.408 0.008726 0.009756 0.09338 -0.05568 1 0.00002908 0.003164 0.02873 0.009763 0.09881 1.058 0.4602 0.03387 0.005798 1 1 0.03624 0.4079 0.9797 0.06641 0.7475 1.795 json
t17_x26_u0_b9 17 26 0 9 add(R,dot(R,sqt(R))) 119528 139100652 o2(x,o2(x,o1(x))) true 116231 116231 -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_x26_u0_b10 17 26 0 10 add(R,dst(R,sqt(R))) 119529 139100653 o2(x,o2(x,o1(x))) true 116239 116239 -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_x26_u0_b11 17 26 0 11 sub(R,add(R,sqt(R))) 119530 139100654 o2(x,o2(x,o1(x))) true 116247 116247 -0.9882 0 0.9882 0.004031 0.06349 -1 -0.3239 0.6761 1 0.3763 0.0004792 0.0004089 0.00317 0.07921 1 -0.000005689 0.001806 0.004769 0.0008786 0.02964 9.35 0.6761 0.2203 0.448 1 1 0.0005505 0.00247 0.006263 0.1366 0.6127 1.554 json
t17_x26_u0_b12 17 26 0 12 sub(R,sub(R,sqt(R))) 119531 139100655 o2(x,o2(x,o1(x))) true 116255 116255 -0.9258 0.04297 0.9882 0.1235 0.3514 -1 0.971 1.971 1 0.3916 0.01252 0.01245 0.01513 0.002807 1 0.000005689 0.05219 0.02886 0.02476 0.1573 10.4 2.731 0.2023 0.4226 1 1 0.0197 0.08508 0.2088 0.1595 0.689 1.691 json
t17_x26_u0_b13 17 26 0 13 sub(R,mlt(R,sqt(R))) 119532 139100656 o2(x,o2(x,o1(x))) true 116263 116263 -0.9526 0.04297 0.9615 0.05011 0.2238 -1 0.148 1.148 1 0.3107 0.005172 0.005015 0.009336 0.01542 1 -0.000001314 0.0213 0.01844 0.0101 0.1005 10.77 1.624 0.2033 0.4252 1 1 0.007821 0.03355 0.08428 0.1561 0.6695 1.682 json
t17_x26_u0_b14 17 26 0 14 sub(R,div(R,sqt(R))) 119533 139100657 o2(x,o2(x,o1(x))) true 116271 116271 -0.9639 0 0.9639 0.0291 0.1706 -1 -0.02815 0.9718 1 0.3315 0.00295 0.0029 0.007281 0.008391 1 0.000002847 0.01222 0.01398 0.005794 0.07612 10.45 1.323 0.201 0.42 1 1 0.004533 0.01967 0.0488 0.1558 0.6761 1.677 json
t17_x26_u0_b15 17 26 0 15 sub(R,pow(R,sqt(R))) 119534 139100658 o2(x,o2(x,o1(x))) true 116279 116279 -0.9621 0 0.9621 0.03237 0.1799 -1 -0.001649 0.9984 1 0.3523 0.00328 0.003276 0.007787 0.0006529 1 0.000003028 0.0137 0.01477 0.006496 0.0806 10.35 1.402 0.2025 0.4231 1 1 0.005213 0.02248 0.05485 0.161 0.6946 1.695 json
t17_x26_u0_b16 17 26 0 16 sub(R,mod(R,sqt(R))) 119535 139100659 o2(x,o2(x,o1(x))) true 116287 116287 -0.957 0 0.957 0.04112 0.2028 -1 0 1 1 0.2557 0.00422 0.004094 0.008259 0.01515 1 0 0.01738 0.01663 0.008241 0.09078 10.99 1.414 0.2022 0.4228 1 1 0.006357 0.02738 0.06893 0.1546 0.6659 1.676 json
t17_x26_u0_b17 17 26 0 17 sub(R,lrg(R,sqt(R))) 119536 139100660 o2(x,o2(x,o1(x))) true 116295 116295 -0.3539 0.3544 0.6666 0.4315 0.6569 -1 0.9804 1.98 1 3.927 0.006974 0.008247 0.08425 -0.08369 1 0.0001444 0.002323 0.02589 0.008124 0.09014 1.07 0.347 0.03528 0.005383 1 1 0.02989 0.3406 0.8128 0.06928 0.7893 1.884 json
t17_x26_u0_b18 17 26 0 18 sub(R,eql(R,sqt(R))) 119537 139100661 o2(x,o2(x,o1(x))) true 116303 116303 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_x26_u0_b19 17 26 0 19 sub(R,min(R,sqt(R))) 119538 139100662 o2(x,o2(x,o1(x))) true 116311 116311 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_x26_u0_b20 17 26 0 20 sub(R,dot(R,sqt(R))) 119539 139100663 o2(x,o2(x,o1(x))) true 116319 116319 -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_x26_u0_b21 17 26 0 21 sub(R,dst(R,sqt(R))) 119540 139100664 o2(x,o2(x,o1(x))) true 116327 116327 -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_x26_u0_b22 17 26 0 22 mlt(R,add(R,sqt(R))) 119541 139100665 o2(x,o2(x,o1(x))) true 116335 116335 -0.9255 0.04297 0.9886 0.1273 0.3568 -1 1 2 1 0.3891 0.01231 0.01248 0.01568 -0.006752 1 7.773e-7 0.05143 0.02871 0.02454 0.1567 9.988 2.828 0.1947 0.404 1 1 0.01996 0.09043 0.2171 0.1568 0.7104 1.706 json
t17_x26_u0_b23 17 26 0 23 mlt(R,sub(R,sqt(R))) 119542 139100666 o2(x,o2(x,o1(x))) true 116343 116343 -0.9601 0 0.9601 0.03546 0.1883 -1 -0.02298 0.977 1 0.293 0.003632 0.003511 0.007775 0.01699 1 4.518e-7 0.01493 0.01543 0.007084 0.08416 10.83 1.336 0.2015 0.4212 1 1 0.005407 0.02338 0.05916 0.1525 0.6594 1.669 json
t17_x26_u0_b24 17 26 0 24 mlt(R,mlt(R,sqt(R))) 119543 139100667 o2(x,o2(x,o1(x))) true 116351 116351 -0.9425 0.04297 0.9715 0.07566 0.2751 -1 0.8633 1.863 1 0.4121 0.007585 0.007643 0.01237 -0.00382 1 0.00001027 0.03172 0.02236 0.01509 0.1228 9.933 2.404 0.2013 0.4192 1 1 0.01201 0.05267 0.1268 0.1587 0.6961 1.676 json
t17_x26_u0_b25 17 26 0 25 mlt(R,div(R,sqt(R))) 119544 139100668 o2(x,o2(x,o1(x))) true 116359 116359 -0.9372 0.04297 0.9769 0.08987 0.2998 -1 0.9155 1.916 1 0.4173 0.009033 0.00911 0.0134 -0.004231 1 0.00000985 0.03783 0.02446 0.01796 0.134 10 2.556 0.2019 0.4209 1 1 0.01444 0.06297 0.1516 0.1607 0.7007 1.687 json
t17_x26_u0_b26 17 26 0 26 mlt(R,pow(R,sqt(R))) 119545 139100669 o2(x,o2(x,o1(x))) true 116367 116367 -0.9387 0.04297 0.9754 0.08557 0.2925 -1 0.8905 1.891 1 0.4145 0.008605 0.008653 0.01304 -0.002766 1 0.000009378 0.03598 0.02387 0.01709 0.1307 10.03 2.488 0.2017 0.4205 1 1 0.01365 0.05957 0.1441 0.1595 0.6962 1.684 json
t17_x26_u0_b27 17 26 0 27 mlt(R,mod(R,sqt(R))) 119546 139100670 o2(x,o2(x,o1(x))) true 116375 116375 -0.9403 0.04297 0.9738 0.08156 0.2856 -1 0.889 1.889 1 0.4167 0.008183 0.008256 0.01283 -0.004464 1 0.0000103 0.03425 0.02325 0.01628 0.1276 9.948 2.477 0.2016 0.4199 1 1 0.01303 0.05702 0.1371 0.1598 0.6992 1.681 json
t17_x26_u0_b28 17 26 0 28 mlt(R,lrg(R,sqt(R))) 119547 139100671 o2(x,o2(x,o1(x))) true 116383 116383 -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_x26_u0_b29 17 26 0 29 mlt(R,eql(R,sqt(R))) 119548 139100672 o2(x,o2(x,o1(x))) true 116391 116391 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_x26_u0_b30 17 26 0 30 mlt(R,min(R,sqt(R))) 119549 139100673 o2(x,o2(x,o1(x))) true 116399 116399 0.3495 0.9999 0.3495 0.05762 0.24 0.00007718 0.9979 0.9979 1 3.768 0.0007428 0.0008028 0.03156 -0.03877 1 1.602e-7 0.00009378 0.007378 0.0005496 0.02344 0.7428 0.1117 0.02682 0.001628 1 1 0.002725 0.03526 0.107 0.0473 0.6119 1.856 json
t17_x26_u0_b31 17 26 0 31 mlt(R,dot(R,sqt(R))) 119550 139100674 o2(x,o2(x,o1(x))) true 116407 116407 -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_x26_u0_b32 17 26 0 32 mlt(R,dst(R,sqt(R))) 119551 139100675 o2(x,o2(x,o1(x))) true 116415 116415 -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_x26_u0_b33 17 26 0 33 div(R,add(R,sqt(R))) 119552 139100676 o2(x,o2(x,o1(x))) true 116423 116423 -0.9393 0.04297 0.9748 0.08221 0.2867 -1 0.4926 1.493 1 0.3311 0.008389 0.008236 0.01198 0.009198 1 0.000001887 0.03476 0.02355 0.01647 0.1283 10.71 2.096 0.2022 0.4228 1 1 0.01291 0.05562 0.1384 0.157 0.6766 1.684 json
t17_x26_u0_b34 17 26 0 34 div(R,sub(R,sqt(R))) 119553 139100677 o2(x,o2(x,o1(x))) true 116431 116431 -0.9993 0 0.9993 0.0002588 0.01609 -1 -0.4797 0.5203 1 0.02657 0.0000897 0.00005049 0.0004615 0.2797 1 4.651e-7 0.0002737 0.0006821 0.0001399 0.01183 25.63 0.5223 0.5416 1.057 1 1 0.00007901 0.0002702 0.0004384 0.3053 1.044 1.694 json
t17_x26_u0_b35 17 26 0 35 div(R,mlt(R,sqt(R))) 119554 139100678 o2(x,o2(x,o1(x))) true 116439 116439 -0.9141 0.04297 1 0.1645 0.4056 -1 1 2 1 0.2557 0.01688 0.01638 0.01652 0.01515 1 0 0.06954 0.03326 0.03297 0.1816 10.99 2.828 0.2022 0.4228 1 1 0.02543 0.1095 0.2757 0.1546 0.6659 1.676 json
t17_x26_u0_b36 17 26 0 36 div(R,div(R,sqt(R))) 119555 139100679 o2(x,o2(x,o1(x))) true 116447 116447 -0.9258 0.04297 0.9882 0.1235 0.3514 -1 0.971 1.971 1 0.3916 0.01252 0.01245 0.01513 0.002807 1 0.000005689 0.05219 0.02886 0.02476 0.1573 10.4 2.731 0.2023 0.4226 1 1 0.0197 0.08508 0.2088 0.1595 0.689 1.691 json
t17_x26_u0_b37 17 26 0 37 div(R,pow(R,sqt(R))) 119556 139100680 o2(x,o2(x,o1(x))) true 116455 116455 -0.9235 0.04297 0.9906 0.1319 0.3632 -1 0.9982 1.998 1 0.3926 0.0134 0.01337 0.01573 0.0009543 1 0.000005725 0.05593 0.02984 0.02652 0.1628 10.36 2.814 0.203 0.4241 1 1 0.02134 0.09196 0.224 0.1618 0.6973 1.698 json
t17_x26_u0_b38 17 26 0 38 div(R,mod(R,sqt(R))) 119557 139100681 o2(x,o2(x,o1(x))) true 116463 116463 -0.9141 0.04297 1 0.1645 0.4056 -1 1 2 1 0.2557 0.01688 0.01638 0.01652 0.01515 1 4.055e-10 0.06954 0.03326 0.03297 0.1816 10.99 2.828 0.2022 0.4228 1 1 0.02543 0.1095 0.2757 0.1546 0.6659 1.676 json
t17_x26_u0_b39 17 26 0 39 div(R,lrg(R,sqt(R))) 119558 139100682 o2(x,o2(x,o1(x))) true 116471 116471 -0.834 0.06641 0.9668 0.2582 0.5081 -1 1 2 1 0.9667 0.03283 0.03069 0.03712 0.03363 1 -0.000001442 0.1348 0.07139 0.06217 0.2493 6.718 2.828 0.246 0.5219 1 1 0.06941 0.2884 0.5044 0.2688 1.117 1.954 json
t17_x26_u0_b40 17 26 0 40 div(R,eql(R,sqt(R))) 119559 139100683 o2(x,o2(x,o1(x))) true 116479 116479 -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_x26_u0_b41 17 26 0 41 div(R,min(R,sqt(R))) 119560 139100684 o2(x,o2(x,o1(x))) true 116487 116487 1 1 1 6.881e-16 2.623e-8 1 1 5.96e-8 1 0 7.815e-17 6.691e-17 2.325e-9 0.00001124 0 6.889e-9 1.65e-15 6.919e-9 1.396e-16 1.181e-8 5.081 8.429e-8 0.0001451 0.00165 0 1 1.618e-16 6.145e-16 1.172e-15 0.0001618 0.0006145 0.001172 json
t17_x26_u0_b42 17 26 0 42 div(R,dot(R,sqt(R))) 119561 139100685 o2(x,o2(x,o1(x))) true 116495 116495 -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_x26_u0_b43 17 26 0 43 div(R,dst(R,sqt(R))) 119562 139100686 o2(x,o2(x,o1(x))) true 116503 116503 -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_x26_u0_b44 17 26 0 44 pow(R,add(R,sqt(R))) 119563 139100687 o2(x,o2(x,o1(x))) true 116511 116511 -0.9336 0.04297 0.9805 0.099 0.3146 -1 0.8936 1.894 1 0.3852 0.01002 0.009889 0.01358 0.006396 1 0.000006514 0.04156 0.02576 0.01972 0.1404 10.34 2.508 0.2011 0.4198 1 1 0.01543 0.06715 0.1659 0.1559 0.6783 1.676 json
t17_x26_u0_b45 17 26 0 45 pow(R,sub(R,sqt(R))) 119564 139100688 o2(x,o2(x,o1(x))) true 116519 116519 -0.9141 0.04297 1 0.1645 0.4056 -1 1 2 1 0.2557 0.01688 0.01638 0.01652 0.01515 1 0 0.06954 0.03326 0.03297 0.1816 10.99 2.828 0.2022 0.4228 1 1 0.02543 0.1095 0.2757 0.1546 0.6659 1.676 json
t17_x26_u0_b46 17 26 0 46 pow(R,mlt(R,sqt(R))) 119565 139100689 o2(x,o2(x,o1(x))) true 116527 116527 -0.9207 0.04297 0.9934 0.1402 0.3744 -1 0.9476 1.948 1 0.3265 0.01435 0.01389 0.01547 0.01629 1 0.000001359 0.05902 0.03069 0.028 0.1673 10.81 2.675 0.2014 0.4211 1 1 0.02142 0.09265 0.234 0.1529 0.6611 1.67 json
t17_x26_u0_b47 17 26 0 47 pow(R,div(R,sqt(R))) 119566 139100690 o2(x,o2(x,o1(x))) true 116535 116535 -0.9277 0.04297 0.9864 0.1171 0.3422 -1 0.9445 1.944 1 0.3811 0.01187 0.01171 0.01462 0.006736 1 0.000005508 0.04928 0.02806 0.02339 0.1529 10.46 2.652 0.2014 0.4207 1 1 0.01836 0.07954 0.1968 0.1567 0.6791 1.681 json
t17_x26_u0_b48 17 26 0 48 pow(R,pow(R,sqt(R))) 119567 139100691 o2(x,o2(x,o1(x))) true 116543 116543 -0.9274 0.04297 0.9867 0.1182 0.3439 -1 0.9459 1.946 1 0.3883 0.01198 0.01189 0.01475 0.00395 1 0.000005291 0.04988 0.02822 0.02367 0.1538 10.43 2.662 0.2019 0.4218 1 1 0.01872 0.0809 0.1993 0.1583 0.6842 1.686 json
t17_x26_u0_b49 17 26 0 49 pow(R,mod(R,sqt(R))) 119568 139100692 o2(x,o2(x,o1(x))) true 116551 116551 -0.9235 0.04297 0.9906 0.1306 0.3614 -1 0.9461 1.946 1 0.3372 0.01332 0.01296 0.0151 0.0136 1 0.000003032 0.05494 0.02962 0.02607 0.1615 10.7 2.664 0.2013 0.4207 1 1 0.0201 0.08704 0.2185 0.1539 0.6665 1.673 json
t17_x26_u0_b50 17 26 0 50 pow(R,lrg(R,sqt(R))) 119569 139100693 o2(x,o2(x,o1(x))) true 116559 116559 -0.9141 0.04297 1 0.1645 0.4056 -1 1 2 1 0.2557 0.01688 0.01638 0.01652 0.01515 1 0 0.06954 0.03326 0.03297 0.1816 10.99 2.828 0.2022 0.4228 1 1 0.02543 0.1095 0.2757 0.1546 0.6659 1.676 json
t17_x26_u0_b51 17 26 0 51 pow(R,eql(R,sqt(R))) 119570 139100694 o2(x,o2(x,o1(x))) true 116567 116567 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_x26_u0_b52 17 26 0 52 pow(R,min(R,sqt(R))) 119571 139100695 o2(x,o2(x,o1(x))) true 116575 116575 -0.9235 0.04297 0.9906 0.1306 0.3614 -1 0.9461 1.946 1 0.3372 0.01332 0.01296 0.0151 0.0136 1 0.000003032 0.05494 0.02962 0.02607 0.1615 10.7 2.664 0.2013 0.4207 1 1 0.0201 0.08704 0.2185 0.1539 0.6665 1.673 json
t17_x26_u0_b53 17 26 0 53 pow(R,dot(R,sqt(R))) 119572 139100696 o2(x,o2(x,o1(x))) true 116583 116583 -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_x26_u0_b54 17 26 0 54 pow(R,dst(R,sqt(R))) 119573 139100697 o2(x,o2(x,o1(x))) true 116591 116591 -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_x26_u0_b55 17 26 0 55 mod(R,add(R,sqt(R))) 119574 139100698 o2(x,o2(x,o1(x))) true 116599 116599 -0.9327 0.04297 0.9813 0.1025 0.3202 -1 0.9428 1.943 1 0.413 0.01033 0.01038 0.01414 -0.00231 1 0.000008535 0.04322 0.0262 0.02051 0.1432 10.13 2.64 0.2021 0.4217 1 1 0.01648 0.07156 0.1733 0.1608 0.6982 1.691 json
t17_x26_u0_b56 17 26 0 56 mod(R,sub(R,sqt(R))) 119575 139100699 o2(x,o2(x,o1(x))) true 116607 116607 -0.9539 0.04297 0.9602 0.04749 0.2179 -1 0.1692 1.169 1 0.3169 0.004936 0.004665 0.009099 0.02822 1 -9.285e-7 0.02007 0.0179 0.00952 0.09757 10.72 1.606 0.2022 0.4225 1 1 0.007404 0.03179 0.0803 0.1559 0.6694 1.691 json
t17_x26_u0_b57 17 26 0 57 mod(R,mlt(R,sqt(R))) 119576 139100700 o2(x,o2(x,o1(x))) true 116615 116615 -0.9529 0.04297 0.9612 0.04949 0.2225 -1 0.148 1.148 1 0.3186 0.005107 0.004972 0.009317 0.01343 1 -0.000001302 0.02108 0.01834 0.009993 0.09996 10.73 1.624 0.2036 0.4259 1 1 0.007776 0.03332 0.08346 0.1571 0.6733 1.686 json
t17_x26_u0_b58 17 26 0 58 mod(R,div(R,sqt(R))) 119577 139100701 o2(x,o2(x,o1(x))) true 116623 116623 -0.9327 0.04297 0.9813 0.1025 0.3202 -1 0.9428 1.943 1 0.413 0.01033 0.01038 0.01414 -0.00231 1 0.000008535 0.04322 0.0262 0.02051 0.1432 10.13 2.64 0.2021 0.4217 1 1 0.01648 0.07156 0.1733 0.1608 0.6982 1.691 json
t17_x26_u0_b59 17 26 0 59 mod(R,pow(R,sqt(R))) 119578 139100702 o2(x,o2(x,o1(x))) true 116631 116631 -0.9327 0.04297 0.9813 0.1025 0.3202 -1 0.9428 1.943 1 0.413 0.01033 0.01038 0.01414 -0.00231 1 0.000008535 0.04322 0.0262 0.02051 0.1432 10.13 2.64 0.2021 0.4217 1 1 0.01648 0.07156 0.1733 0.1608 0.6982 1.691 json
t17_x26_u0_b60 17 26 0 60 mod(R,mod(R,sqt(R))) 119579 139100703 o2(x,o2(x,o1(x))) true 116639 116639 -0.9517 0.02866 0.9624 0.05393 0.2322 -1 0.8978 1.898 1 0.3487 0.005826 0.004928 0.009904 0.08344 1 -0.000001658 0.02238 0.01869 0.01065 0.1032 10.42 2.098 0.1994 0.415 1 1 0.008929 0.03885 0.1039 0.1656 0.7204 1.926 json
t17_x26_u0_b61 17 26 0 61 mod(R,lrg(R,sqt(R))) 119580 139100704 o2(x,o2(x,o1(x))) true 116647 116647 -0.9668 0 0.9668 0.01915 0.1384 -1 -0.007164 0.9928 1 0.6215 0.00171 0.001917 0.007503 -0.05728 1 -0.000001442 0.007437 0.01163 0.00357 0.05975 7.963 1.289 0.1894 0.3884 1 1 0.003992 0.01731 0.04085 0.2085 0.9041 2.133 json
t17_x26_u0_b62 17 26 0 62 mod(R,eql(R,sqt(R))) 119581 139100705 o2(x,o2(x,o1(x))) true 116655 116655 -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_x26_u0_b63 17 26 0 63 mod(R,min(R,sqt(R))) 119582 139100706 o2(x,o2(x,o1(x))) true 116663 116663 -0.01621 0.2374 0.09644 0.04024 0.2006 -0.9675 0.9558 1.923 1 2.738 0.0006146 0.0005535 0.01871 0.05227 1 -0.0000106 0.00006938 0.004372 0.0008183 0.02861 1.529 0.2163 0.02903 0.001724 1 1 0.002918 0.03769 0.09805 0.0725 0.9366 2.436 json
t17_x26_u0_b64 17 26 0 64 mod(R,dot(R,sqt(R))) 119583 139100707 o2(x,o2(x,o1(x))) true 116671 116671 -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_x26_u0_b65 17 26 0 65 mod(R,dst(R,sqt(R))) 119584 139100708 o2(x,o2(x,o1(x))) true 116679 116679 -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_x26_u0_b66 17 26 0 66 lrg(R,add(R,sqt(R))) 119585 139100709 o2(x,o2(x,o1(x))) true 116687 116687 0.5176 0.9429 0.5176 0.1537 0.3921 0 1 1 1 3.429 0.001972 0.002442 0.05168 -0.1065 1 0.00001781 0.0002592 0.01257 0.001744 0.04176 0.8079 0.1169 0.02872 0.001686 1 1 0.008731 0.1124 0.2862 0.0568 0.7316 1.862 json
t17_x26_u0_b67 17 26 0 67 lrg(R,sub(R,sqt(R))) 119586 139100710 o2(x,o2(x,o1(x))) true 116695 116695 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_x26_u0_b68 17 26 0 68 lrg(R,mlt(R,sqt(R))) 119587 139100711 o2(x,o2(x,o1(x))) true 116703 116703 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_x26_u0_b69 17 26 0 69 lrg(R,div(R,sqt(R))) 119588 139100712 o2(x,o2(x,o1(x))) true 116711 116711 0.5176 0.9429 0.5176 0.1537 0.3921 0 1 1 1 3.429 0.001972 0.002442 0.05168 -0.1065 1 0.00001781 0.0002592 0.01257 0.001744 0.04176 0.8079 0.1169 0.02872 0.001686 1 1 0.008731 0.1124 0.2862 0.0568 0.7316 1.862 json
t17_x26_u0_b70 17 26 0 70 lrg(R,pow(R,sqt(R))) 119589 139100713 o2(x,o2(x,o1(x))) true 116719 116719 0.5176 0.9429 0.5176 0.1537 0.3921 0 1 1 1 3.429 0.001972 0.002442 0.05168 -0.1065 1 0.00001781 0.0002592 0.01257 0.001744 0.04176 0.8079 0.1169 0.02872 0.001686 1 1 0.008731 0.1124 0.2862 0.0568 0.7316 1.862 json
t17_x26_u0_b71 17 26 0 71 lrg(R,mod(R,sqt(R))) 119590 139100714 o2(x,o2(x,o1(x))) true 116727 116727 0.5176 0.9429 0.5176 0.1537 0.3921 0 1 1 1 3.429 0.001972 0.002442 0.05168 -0.1065 1 0.00001781 0.0002592 0.01257 0.001744 0.04176 0.8079 0.1169 0.02872 0.001686 1 1 0.008731 0.1124 0.2862 0.0568 0.7316 1.862 json
t17_x26_u0_b72 17 26 0 72 lrg(R,lrg(R,sqt(R))) 119591 139100715 o2(x,o2(x,o1(x))) true 116735 116735 0.4824 0.9147 0.4824 0.1537 0.3921 0 1 1 1 3.429 0.001972 0.002442 0.05168 -0.1065 1 -0.00001781 0.0002592 0.01257 0.001744 0.04176 0.8079 0.1169 0.02872 0.001686 1 1 0.008731 0.1124 0.2862 0.0568 0.7316 1.862 json
t17_x26_u0_b73 17 26 0 73 lrg(R,eql(R,sqt(R))) 119592 139100716 o2(x,o2(x,o1(x))) true 116743 116743 0.4824 0.9147 0.4824 0.1537 0.3921 0 1 1 1 3.429 0.001972 0.002442 0.05168 -0.1065 1 -0.00001781 0.0002592 0.01257 0.001744 0.04176 0.8079 0.1169 0.02872 0.001686 1 1 0.008731 0.1124 0.2862 0.0568 0.7316 1.862 json
t17_x26_u0_b74 17 26 0 74 lrg(R,min(R,sqt(R))) 119593 139100717 o2(x,o2(x,o1(x))) true 116751 116751 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_x26_u0_b75 17 26 0 75 lrg(R,dot(R,sqt(R))) 119594 139100718 o2(x,o2(x,o1(x))) true 116759 116759 0.9004 1 0.9004 0.0556 0.2358 0.000291 1 0.9997 1 1.524 0.0007493 0.0008444 0.01886 -0.05965 1 0.00002282 0.00009416 0.004589 0.001238 0.03519 1.866 0.1169 0.02866 0.001693 1 1 0.003746 0.04825 0.1189 0.06736 0.8678 2.138 json
t17_x26_u0_b76 17 26 0 76 lrg(R,dst(R,sqt(R))) 119595 139100719 o2(x,o2(x,o1(x))) true 116767 116767 0.9863 1 0.9863 0.008204 0.09058 0.000582 1 0.9994 1 0.3168 0.0001173 0.0001228 0.002875 -0.02273 1 -5.444e-10 0.00001428 0.0006966 0.0002319 0.01523 5.298 0.1169 0.02927 0.00174 1 1 0.0003565 0.004541 0.01228 0.04345 0.5535 1.497 json
t17_x26_u0_b77 17 26 0 77 eql(R,add(R,sqt(R))) 119596 139100720 o2(x,o2(x,o1(x))) true 116775 116775 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_x26_u0_b78 17 26 0 78 eql(R,sub(R,sqt(R))) 119597 139100721 o2(x,o2(x,o1(x))) true 116783 116783 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_x26_u0_b79 17 26 0 79 eql(R,mlt(R,sqt(R))) 119598 139100722 o2(x,o2(x,o1(x))) true 116791 116791 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_x26_u0_b80 17 26 0 80 eql(R,div(R,sqt(R))) 119599 139100723 o2(x,o2(x,o1(x))) true 116799 116799 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