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_x24_u6_b49 17 24 6 49 pow(R,mod(R,nrm(P))) 118600 139021096 o2(x,o2(x,o1(x))) true 108807 108807 -0.9362 0.03516 0.9935 0.1119 0.3346 -1 0.9995 1.999 1 0.2982 0.01213 0.01012 0.01265 0.09032 1 0.000004065 0.04652 0.02465 0.02208 0.1486 11.74 2.41 0.1988 0.4156 1 1 0.01984 0.08174 0.2069 0.1772 0.7302 1.849 json
t17_x24_u6_b50 17 24 6 50 pow(R,lrg(R,nrm(P))) 118601 139021097 o2(x,o2(x,o1(x))) true 108815 108815 0.1786 0.6172 0.9443 0.8809 0.9386 -1 1 2 1 2.057 0.0202 0.01935 0.02974 0.02154 1 0.00001282 0.08147 0.04685 0.03865 0.1966 6.612 2.828 0.04489 0.09248 1 1 0.04061 0.1683 0.6076 0.0461 0.191 0.6897 json
t17_x24_u6_b51 17 24 6 51 pow(R,eql(R,nrm(P))) 118602 139021098 o2(x,o2(x,o1(x))) true 108823 108823 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_x24_u6_b52 17 24 6 52 pow(R,min(R,nrm(P))) 118603 139021099 o2(x,o2(x,o1(x))) true 108831 108831 -0.915 0.04297 0.9991 0.1611 0.4014 -1 1 2 1 0.2819 0.01656 0.01595 0.01637 0.01851 1 0.000001003 0.06796 0.03287 0.03223 0.1795 10.96 2.828 0.2018 0.4217 1 1 0.0254 0.1094 0.2726 0.1577 0.6787 1.692 json
t17_x24_u6_b53 17 24 6 53 pow(R,dot(R,nrm(P))) 118604 139021100 o2(x,o2(x,o1(x))) true 108839 108839 -0.9155 0.04297 0.9986 0.1592 0.3991 -1 1 2 1 0.3037 0.01638 0.01574 0.01646 0.01972 1 1.191e-7 0.06716 0.03276 0.03183 0.1784 10.84 2.828 0.2017 0.4217 1 1 0.02509 0.1077 0.2705 0.1576 0.6762 1.699 json
t17_x24_u6_b54 17 24 6 54 pow(R,dst(R,nrm(P))) 118605 139021101 o2(x,o2(x,o1(x))) true 108847 108847 -0.9368 0.04297 0.9772 0.09071 0.3012 -1 0.9448 1.945 1 0.4165 0.008976 0.009167 0.01334 -0.01052 1 0.000009109 0.03781 0.02447 0.01797 0.134 10.04 2.679 0.2 0.4168 1 1 0.01378 0.06071 0.1486 0.1519 0.6692 1.638 json
t17_x24_u6_b55 17 24 6 55 mod(R,add(R,nrm(P))) 118606 139021102 o2(x,o2(x,o1(x))) true 108855 108855 -0.01557 0.4903 0.2676 0.1362 0.369 -1 0.9809 1.981 1 4.449 0.00257 0.002478 0.04211 0.01815 1 0.00001239 0.005179 0.01341 0.003274 0.05722 1.359 2.097 0.03707 0.03803 1 1 0.009553 0.085 0.2512 0.07015 0.6242 1.844 json
t17_x24_u6_b56 17 24 6 56 mod(R,sub(R,nrm(P))) 118607 139021103 o2(x,o2(x,o1(x))) true 108863 108863 -0.01625 0.4658 0.2895 0.1502 0.3875 -1 0.9694 1.969 1 4.564 0.002375 0.00263 0.0431 -0.0509 1 -4.22e-8 0.005136 0.01355 0.003147 0.0561 1.302 1.797 0.03333 0.0342 1 1 0.009502 0.08464 0.2319 0.06328 0.5636 1.545 json
t17_x24_u6_b57 17 24 6 57 mod(R,mlt(R,nrm(P))) 118608 139021104 o2(x,o2(x,o1(x))) true 108871 108871 -0.1258 0.4208 0.1905 0.1198 0.3461 -1 0.9089 1.909 1 2.962 0.008604 0.0001717 0.01934 0.9609 1 0.00002259 0.01697 0.01892 0.008402 0.09166 4.74 1.233 0.07326 0.1416 1 1 0.01206 0.05313 0.1885 0.1007 0.4435 1.574 json
t17_x24_u6_b58 17 24 6 58 mod(R,div(R,nrm(P))) 118609 139021105 o2(x,o2(x,o1(x))) true 108879 108879 -0.1229 0.431 0.463 0.2988 0.5466 -1 0.9806 1.981 1 4.757 0.01612 0.002713 0.06344 0.7119 1 0.00004952 0.02803 0.03173 0.0148 0.1217 1.918 1.943 0.06302 0.09383 1 1 0.02603 0.1807 0.4872 0.08711 0.6048 1.631 json
t17_x24_u6_b59 17 24 6 59 mod(R,pow(R,nrm(P))) 118610 139021106 o2(x,o2(x,o1(x))) true 108887 108887 -0.8998 0.0598 0.9629 0.1386 0.3723 -1 0.943 1.943 1 0.7127 0.01346 0.01324 0.02079 0.008276 1 0.000008536 0.05521 0.03521 0.02628 0.1621 7.798 2.698 0.1926 0.3983 1 1 0.02457 0.1069 0.2955 0.1773 0.7712 2.132 json
t17_x24_u6_b60 17 24 6 60 mod(R,mod(R,nrm(P))) 118611 139021107 o2(x,o2(x,o1(x))) true 108895 108895 -0.1227 0.3244 0.181 0.1248 0.3533 -1 0.9089 1.909 1 2.772 0.008851 0.0002069 0.01925 0.9543 1 -0.00001111 0.01728 0.01905 0.008687 0.0932 4.842 1.483 0.07256 0.1384 1 1 0.01267 0.05922 0.2093 0.1015 0.4744 1.677 json
t17_x24_u6_b61 17 24 6 61 mod(R,lrg(R,nrm(P))) 118612 139021108 o2(x,o2(x,o1(x))) true 108903 108903 -0.6522 0.1951 0.8122 0.3355 0.5792 -1 0.9693 1.969 1 2.259 0.01401 0.01467 0.03357 -0.02304 1 0.00001533 0.05729 0.04018 0.02754 0.166 4.944 2.748 0.08549 0.1708 1 1 0.02593 0.1263 0.3263 0.07729 0.3765 0.9727 json
t17_x24_u6_b62 17 24 6 62 mod(R,eql(R,nrm(P))) 118613 139021109 o2(x,o2(x,o1(x))) true 108911 108911 -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_x24_u6_b63 17 24 6 63 mod(R,min(R,nrm(P))) 118614 139021110 o2(x,o2(x,o1(x))) true 108919 108919 -0.06951 0.4305 0.2209 0.1263 0.3555 -1 0.9158 1.916 1 3.725 0.005125 0.001804 0.03173 0.4792 1 0.000007192 0.01068 0.01681 0.005923 0.07696 2.425 1.483 0.05484 0.08453 1 1 0.01085 0.07594 0.2414 0.08584 0.601 1.911 json
t17_x24_u6_b64 17 24 6 64 mod(R,dot(R,nrm(P))) 118615 139021111 o2(x,o2(x,o1(x))) true 108927 108927 -0.01843 0.488 0.2493 0.1211 0.3481 -1 0.9557 1.956 1 4.351 0.002683 0.002856 0.04347 -0.03136 1 3.172e-7 0.005603 0.01387 0.00365 0.06042 1.39 2.097 0.04573 0.04625 1 1 0.01021 0.0904 0.2523 0.08429 0.7462 2.082 json
t17_x24_u6_b65 17 24 6 65 mod(R,dst(R,nrm(P))) 118616 139021112 o2(x,o2(x,o1(x))) true 108935 108935 -0.01743 0.4732 0.3654 0.1983 0.4453 -1 0.9806 1.981 1 4.806 0.00372 0.004333 0.05868 -0.07605 1 0.00001835 0.00683 0.0175 0.00461 0.06789 1.157 1.797 0.04061 0.03444 1 1 0.0155 0.1487 0.3937 0.07816 0.7499 1.985 json
t17_x24_u6_b66 17 24 6 66 lrg(R,add(R,nrm(P))) 118617 139021113 o2(x,o2(x,o1(x))) true 108943 108943 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.775e-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_x24_u6_b67 17 24 6 67 lrg(R,sub(R,nrm(P))) 118618 139021114 o2(x,o2(x,o1(x))) true 108951 108951 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_x24_u6_b68 17 24 6 68 lrg(R,mlt(R,nrm(P))) 118619 139021115 o2(x,o2(x,o1(x))) true 108959 108959 0.4688 0.9098 0.4688 0.1543 0.3928 0 1 1 1 3.408 0.001904 0.002486 0.05133 -0.1326 1 -0.00002352 0.0002538 0.01244 0.001756 0.0419 0.8164 0.1169 0.02844 0.001644 1 1 0.008666 0.1116 0.2777 0.05615 0.7229 1.799 json
t17_x24_u6_b69 17 24 6 69 lrg(R,div(R,nrm(P))) 118620 139021116 o2(x,o2(x,o1(x))) true 108967 108967 0.5176 0.921 0.5176 0.1571 0.3964 0 1 1 1 3.382 0.001921 0.002351 0.05001 -0.1008 1 0.00004778 0.0002481 0.01213 0.001771 0.04209 0.8415 0.1169 0.02719 0.001579 1 1 0.008334 0.1073 0.2998 0.05304 0.6832 1.908 json
t17_x24_u6_b70 17 24 6 70 lrg(R,pow(R,nrm(P))) 118621 139021117 o2(x,o2(x,o1(x))) true 108975 108975 0.4863 0.9104 0.4863 0.1574 0.3968 0 1 1 1 3.38 0.001861 0.002387 0.04975 -0.1238 1 0.0000121 0.0002479 0.01208 0.001773 0.0421 0.8463 0.1169 0.02698 0.001575 1 1 0.008299 0.1069 0.2931 0.05272 0.6791 1.862 json
t17_x24_u6_b71 17 24 6 71 lrg(R,mod(R,nrm(P))) 118622 139021118 o2(x,o2(x,o1(x))) true 108983 108983 0.2129 0.4744 0.2129 0.1205 0.3472 0 1 1 1 2.199 0.001169 0.001022 0.02577 0.06678 1 0.00002924 0.0001226 0.006193 0.001526 0.03907 1.516 0.1169 0.01818 0.001017 1 1 0.004607 0.05918 0.2058 0.03823 0.491 1.708 json
t17_x24_u6_b72 17 24 6 72 lrg(R,lrg(R,nrm(P))) 118623 139021119 o2(x,o2(x,o1(x))) true 108991 108991 0.1514 0.3528 0.1514 0.08944 0.2991 0 1 1 1 1.817 0.0008226 0.0009402 0.02083 -0.06671 1 -0.00002638 0.000109 0.005111 0.001329 0.03646 1.75 0.1169 0.01971 0.001218 1 1 0.003503 0.04549 0.1193 0.03917 0.5087 1.334 json
t17_x24_u6_b73 17 24 6 73 lrg(R,eql(R,nrm(P))) 118624 139021120 o2(x,o2(x,o1(x))) true 108999 108999 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_x24_u6_b74 17 24 6 74 lrg(R,min(R,nrm(P))) 118625 139021121 o2(x,o2(x,o1(x))) true 109007 109007 0.4912 0.6939 0.4912 0.2089 0.457 0 1 1 1 2.399 0.0009891 0.0009494 0.02282 0.02049 1 0.00001354 0.0001081 0.005457 0.001417 0.03765 1.65 0.1169 0.009281 0.0005175 1 1 0.004053 0.0522 0.1736 0.0194 0.2499 0.8312 json
t17_x24_u6_b75 17 24 6 75 lrg(R,dot(R,nrm(P))) 118626 139021122 o2(x,o2(x,o1(x))) true 109015 109015 0.5068 0.9327 0.5068 0.1519 0.3897 0 1 1 1 3.453 0.002004 0.002507 0.05266 -0.1116 1 0.00003421 0.0002659 0.01283 0.001738 0.04169 0.7916 0.1169 0.02971 0.001751 1 1 0.008741 0.1125 0.3089 0.05756 0.7411 2.034 json
t17_x24_u6_b76 17 24 6 76 lrg(R,dst(R,nrm(P))) 118627 139021123 o2(x,o2(x,o1(x))) true 109023 109023 0.04883 0.1568 0.04883 0.02882 0.1698 0 0.9997 0.9997 1 0.8747 0.000414 0.0003636 0.009278 0.06474 1 2.277e-10 0.00004929 0.002285 0.0006919 0.0263 2.835 0.1169 0.02698 0.00171 1 1 0.001534 0.02007 0.06843 0.05324 0.6963 2.374 json
t17_x24_u6_b77 17 24 6 77 eql(R,add(R,nrm(P))) 118628 139021124 o2(x,o2(x,o1(x))) true 109031 109031 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_x24_u6_b78 17 24 6 78 eql(R,sub(R,nrm(P))) 118629 139021125 o2(x,o2(x,o1(x))) true 109039 109039 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_x24_u6_b79 17 24 6 79 eql(R,mlt(R,nrm(P))) 118630 139021126 o2(x,o2(x,o1(x))) true 109047 109047 0.0293 0.06207 0.0293 0.02176 0.1475 0 0.9997 0.9997 1 0.4503 0.00001756 0.0003257 0.00389 -0.8977 1 -1.126e-11 0.00001626 0.0009129 0.0003282 0.01812 4.657 0.1169 0.01577 0.000747 1 1 0.0008917 0.01161 0.03457 0.04097 0.5334 1.588 json
t17_x24_u6_b80 17 24 6 80 eql(R,div(R,nrm(P))) 118631 139021127 o2(x,o2(x,o1(x))) true 109055 109055 0.0293 0.06207 0.0293 0.02176 0.1475 0 0.9997 0.9997 1 0.4503 0.00001756 0.0003257 0.00389 -0.8977 1 -1.126e-11 0.00001626 0.0009129 0.0003282 0.01812 4.657 0.1169 0.01577 0.000747 1 1 0.0008917 0.01161 0.03457 0.04097 0.5334 1.588 json
t17_x24_u6_b81 17 24 6 81 eql(R,pow(R,nrm(P))) 118632 139021128 o2(x,o2(x,o1(x))) true 109063 109063 0.01367 0.04474 0.01367 0.008868 0.09417 0 0.9997 0.9997 1 0.2947 0.00008778 0.000127 0.002551 -0.1828 1 0.000005705 0.00001217 0.0006141 0.0002084 0.01444 5.659 0.1169 0.02423 0.001373 1 1 0.0005125 0.006707 0.02262 0.0578 0.7564 2.551 json
t17_x24_u6_b82 17 24 6 82 eql(R,mod(R,nrm(P))) 118633 139021129 o2(x,o2(x,o1(x))) true 109071 109071 0.6543 0.9072 0.6543 0.1649 0.406 0 1 1 1 2.738 0.001397 0.00142 0.033 -0.00788 1 -0.00001214 0.0001658 0.008032 0.001728 0.04157 1.26 0.1169 0.01709 0.001006 1 1 0.005851 0.07561 0.2783 0.03549 0.4587 1.688 json
t17_x24_u6_b83 17 24 6 83 eql(R,lrg(R,nrm(P))) 118634 139021130 o2(x,o2(x,o1(x))) true 109079 109079 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_x24_u6_b84 17 24 6 84 eql(R,eql(R,nrm(P))) 118635 139021131 o2(x,o2(x,o1(x))) true 109087 109087 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_x24_u6_b85 17 24 6 85 eql(R,min(R,nrm(P))) 118636 139021132 o2(x,o2(x,o1(x))) true 109095 109095 0.5088 0.6993 0.5088 0.2089 0.457 0 1 1 1 2.399 0.0009891 0.0009494 0.02282 0.02049 1 -0.00001354 0.0001081 0.005457 0.001417 0.03765 1.65 0.1169 0.009281 0.0005175 1 1 0.004053 0.0522 0.1736 0.0194 0.2499 0.8312 json
t17_x24_u6_b86 17 24 6 86 eql(R,dot(R,nrm(P))) 118637 139021133 o2(x,o2(x,o1(x))) true 109103 109103 0.0293 0.06207 0.0293 0.02176 0.1475 0 0.9997 0.9997 1 0.4503 0.00001756 0.0003257 0.00389 -0.8977 1 -1.126e-11 0.00001626 0.0009129 0.0003282 0.01812 4.657 0.1169 0.01577 0.000747 1 1 0.0008917 0.01161 0.03457 0.04097 0.5334 1.588 json
t17_x24_u6_b87 17 24 6 87 eql(R,dst(R,nrm(P))) 118638 139021134 o2(x,o2(x,o1(x))) true 109111 109111 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_x24_u6_b88 17 24 6 88 min(R,add(R,nrm(P))) 118639 139021135 o2(x,o2(x,o1(x))) true 109119 109119 -0.2786 0.3005 0.4969 0.2667 0.5164 -1 0.9806 1.981 1 4.721 0.00256 0.002872 0.05697 -0.05738 1 0.000042 0.0004871 0.01435 0.002186 0.04676 0.8207 0.2534 0.02037 0.001826 1 1 0.01072 0.1325 0.363 0.04021 0.4968 1.361 json
t17_x24_u6_b89 17 24 6 89 min(R,sub(R,nrm(P))) 118640 139021136 o2(x,o2(x,o1(x))) true 109127 109127 -0.2734 0.3188 0.5238 0.2968 0.5448 -1 0.9693 1.969 1 4.713 0.002607 0.002805 0.05647 -0.03662 1 0.00004886 0.0004812 0.01425 0.002223 0.04715 0.835 0.2349 0.01824 0.001621 1 1 0.01075 0.1333 0.3563 0.03623 0.4492 1.2 json
t17_x24_u6_b90 17 24 6 90 min(R,mlt(R,nrm(P))) 118641 139021137 o2(x,o2(x,o1(x))) true 109135 109135 -0.2594 0.2028 0.3817 0.1344 0.3666 -0.9989 0.9256 1.924 1 4.51 0.001327 0.00146 0.04119 -0.04775 1 0.00001048 0.0001685 0.009526 0.001089 0.03301 0.8013 0.1867 0.02074 0.001254 1 1 0.005334 0.06931 0.2002 0.0397 0.5159 1.49 json
t17_x24_u6_b91 17 24 6 91 min(R,div(R,nrm(P))) 118642 139021138 o2(x,o2(x,o1(x))) true 109143 109143 -0.4246 0.198 0.5869 0.2647 0.5145 -1 0.9805 1.981 1 4.373 0.008052 0.00691 0.05659 0.0763 1 0.00006367 0.02039 0.02836 0.01176 0.1084 1.916 2.541 0.05653 0.07705 1 1 0.02291 0.1622 0.4283 0.08654 0.6128 1.618 json
t17_x24_u6_b92 17 24 6 92 min(R,pow(R,nrm(P))) 118643 139021139 o2(x,o2(x,o1(x))) true 109151 109151 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_x24_u6_b93 17 24 6 93 min(R,mod(R,nrm(P))) 118644 139021140 o2(x,o2(x,o1(x))) true 109159 109159 -0.08876 0.4353 0.3315 0.1602 0.4002 -0.9989 0.9276 1.926 1 4.681 0.001875 0.002132 0.05191 -0.06398 1 0.000007746 0.0002402 0.01195 0.001312 0.03623 0.6979 0.1959 0.02502 0.0015 1 1 0.007964 0.103 0.2803 0.04973 0.643 1.75 json
t17_x24_u6_b94 17 24 6 94 min(R,lrg(R,nrm(P))) 118645 139021141 o2(x,o2(x,o1(x))) true 109167 109167 -0.0617 0.3626 0.3604 0.1941 0.4406 -0.9989 0.9806 1.979 1 4.739 0.002271 0.002713 0.05533 -0.08864 1 0.00003012 0.0002861 0.01261 0.001923 0.04385 0.7925 0.2301 0.02567 0.001474 1 1 0.009801 0.1255 0.3231 0.05048 0.6463 1.665 json
t17_x24_u6_b95 17 24 6 95 min(R,eql(R,nrm(P))) 118646 139021142 o2(x,o2(x,o1(x))) true 109175 109175 -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_x24_u6_b96 17 24 6 96 min(R,min(R,nrm(P))) 118647 139021143 o2(x,o2(x,o1(x))) true 109183 109183 -0.3847 0.2169 0.5289 0.2203 0.4693 -1 0.9276 1.928 1 4.632 0.00136 0.001369 0.03598 -0.002974 1 0.000002588 0.0001657 0.008296 0.001434 0.03787 1.053 0.2138 0.01239 0.0007525 1 1 0.005589 0.07275 0.2205 0.02537 0.3303 1.001 json
t17_x24_u6_b97 17 24 6 97 min(R,dot(R,nrm(P))) 118648 139021144 o2(x,o2(x,o1(x))) true 109191 109191 -0.3246 0.2028 0.4658 0.1831 0.4279 -1 0.9555 1.955 1 4.65 0.00194 0.002075 0.0498 -0.03354 1 0.000004008 0.0002591 0.01158 0.001534 0.03917 0.7865 0.2317 0.02193 0.001416 1 1 0.007866 0.1019 0.3196 0.04297 0.5568 1.746 json
t17_x24_u6_b98 17 24 6 98 min(R,dst(R,nrm(P))) 118649 139021145 o2(x,o2(x,o1(x))) true 109199 109199 -0.000503 0.493 0.3873 0.2125 0.461 -0.9989 0.9806 1.979 1 4.848 0.002669 0.003097 0.06186 -0.0742 1 0.00002913 0.000337 0.01417 0.00194 0.04404 0.7119 0.2301 0.02713 0.001586 1 1 0.01147 0.1472 0.3764 0.05397 0.6926 1.771 json
t17_x24_u6_b99 17 24 6 99 dot(R,add(R,nrm(P))) 118650 139021146 o2(x,o2(x,o1(x))) true 109207 109207 0.7024 0.9592 0.7372 0.1439 0.3793 -1 1 2 1 3.249 0.004775 0.005321 0.04185 -0.05403 1 -0.000126 0.0136 0.022 0.008343 0.09134 2.183 2.828 0.07016 0.09454 1 1 0.01788 0.1169 0.336 0.1243 0.8123 2.335 json
t17_x24_u6_b100 17 24 6 100 dot(R,sub(R,nrm(P))) 118651 139021147 o2(x,o2(x,o1(x))) true 109215 109215 0.7545 0.9661 0.7884 0.1345 0.3667 -1 1 2 1 2.892 0.004311 0.004664 0.03846 -0.03928 1 -0.00005373 0.01192 0.0203 0.007494 0.08657 2.251 2.013 0.06675 0.08867 1 1 0.01561 0.1034 0.3064 0.1161 0.7687 2.279 json
t17_x24_u6_b101 17 24 6 101 dot(R,mlt(R,nrm(P))) 118652 139021148 o2(x,o2(x,o1(x))) true 109223 109223 -0.02929 0.4722 0.3367 0.1672 0.4089 -1 1 2 1 4.685 0.001927 0.002135 0.03484 -0.05122 1 0.00001622 0.005047 0.01167 0.002847 0.05336 1.532 2.553 0.02429 0.03018 1 1 0.007057 0.05319 0.1764 0.0422 0.3181 1.055 json
t17_x24_u6_b102 17 24 6 102 dot(R,div(R,nrm(P))) 118653 139021149 o2(x,o2(x,o1(x))) true 109231 109231 -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_x24_u6_b103 17 24 6 103 dot(R,pow(R,nrm(P))) 118654 139021150 o2(x,o2(x,o1(x))) true 109239 109239 -0.9835 0.008743 0.9958 0.02702 0.1644 -1 1 2 1 0.1391 0.003733 0.002877 0.004416 0.1295 1 3.004e-11 0.01376 0.007614 0.006595 0.08121 18.39 2.48 0.2446 0.5092 1 1 0.0118 0.04886 0.0974 0.4368 1.808 3.604 json
t17_x24_u6_b104 17 24 6 104 dot(R,mod(R,nrm(P))) 118655 139021151 o2(x,o2(x,o1(x))) true 109247 109247 0.2769 0.7656 0.7457 0.5468 0.7395 -1 1 2 1 3.549 0.01844 0.01931 0.0465 -0.02301 1 -0.000007888 0.07311 0.05094 0.0356 0.1887 4.058 2.19 0.06904 0.1337 1 1 0.04658 0.2135 0.943 0.08519 0.3904 1.725 json
t17_x24_u6_b105 17 24 6 105 dot(R,lrg(R,nrm(P))) 118656 139021152 o2(x,o2(x,o1(x))) true 109255 109255 0.4786 0.8968 0.536 0.17 0.4124 -0.9389 1 1.939 1 4.25 0.002782 0.002895 0.05461 -0.01994 1 -0.0000206 0.0007791 0.01528 0.002693 0.0519 0.9503 0.3651 0.03338 0.004582 1 1 0.01092 0.1277 0.3161 0.0642 0.751 1.859 json
t17_x24_u6_b106 17 24 6 106 dot(R,eql(R,nrm(P))) 118657 139021153 o2(x,o2(x,o1(x))) true 109263 109263 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_x24_u6_b107 17 24 6 107 dot(R,min(R,nrm(P))) 118658 139021154 o2(x,o2(x,o1(x))) true 109271 109271 0.4337 0.8233 0.5483 0.2128 0.4613 -1 1 2 1 4.451 0.002122 0.002966 0.05259 -0.1658 1 -0.00006913 0.0005794 0.01386 0.002322 0.04818 0.9161 0.3022 0.02391 0.002723 1 1 0.009999 0.1196 0.3049 0.04699 0.5619 1.433 json
t17_x24_u6_b108 17 24 6 108 dot(R,dot(R,nrm(P))) 118659 139021155 o2(x,o2(x,o1(x))) true 109279 109279 0.0106 0.5139 0.3629 0.2352 0.485 -1 1 2 1 4.646 0.003893 0.00366 0.05157 0.03084 1 -0.000001499 0.006586 0.01716 0.004893 0.06995 1.357 2.828 0.03211 0.028 1 1 0.01574 0.1469 0.3964 0.0669 0.6245 1.685 json
t17_x24_u6_b109 17 24 6 109 dot(R,dst(R,nrm(P))) 118660 139021156 o2(x,o2(x,o1(x))) true 109287 109287 -0.000003588 0.5029 0.6205 0.5108 0.7147 -1 1 2 1 4.394 0.01192 0.01217 0.08971 -0.01044 1 0.0000218 0.01687 0.03769 0.01604 0.1267 1.412 2.479 0.04717 0.03302 1 1 0.04606 0.403 1.015 0.09018 0.789 1.988 json
t17_x24_u6_b110 17 24 6 110 dst(R,add(R,nrm(P))) 118661 139021157 o2(x,o2(x,o1(x))) true 109295 109295 0.9688 0.9844 1 0.06152 0.248 -1 1 2 1 0.1161 0.004031 0.004031 0.004013 0 1 1.076e-8 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_x24_u6_b111 17 24 6 111 dst(R,sub(R,nrm(P))) 118662 139021158 o2(x,o2(x,o1(x))) true 109303 109303 0.9688 0.9844 1 0.06152 0.248 -1 1 2 1 0.1161 0.004031 0.004031 0.004013 0 1 1.121e-8 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_x24_u6_b112 17 24 6 112 dst(R,mlt(R,nrm(P))) 118663 139021159 o2(x,o2(x,o1(x))) true 109311 109311 0.8244 0.9844 0.8557 0.09628 0.3103 -1 1 2 1 2.499 0.003854 0.003711 0.01981 0.0188 1 -0.0000232 0.01397 0.01302 0.007174 0.0847 4.276 2.014 0.07857 0.1451 1 1 0.0133 0.06437 0.2292 0.1381 0.6685 2.381 json
t17_x24_u6_b113 17 24 6 113 dst(R,div(R,nrm(P))) 118664 139021160 o2(x,o2(x,o1(x))) true 109319 109319 -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_x24_u6_b114 17 24 6 114 dst(R,pow(R,nrm(P))) 118665 139021161 o2(x,o2(x,o1(x))) true 109327 109327 -0.9768 0.01172 0.9998 0.04552 0.2134 -1 1 2 1 0.09898 0.00587 0.003821 0.004974 0.2114 1 0 0.02028 0.009913 0.009661 0.09829 19.76 2.828 0.2129 0.4456 1 1 0.01707 0.06958 0.1657 0.375 1.529 3.639 json
t17_x24_u6_b115 17 24 6 115 dst(R,mod(R,nrm(P))) 118666 139021162 o2(x,o2(x,o1(x))) true 109335 109335 0.06335 0.7229 0.5321 0.4074 0.6383 -1 1 2 1 3.678 0.01811 0.01577 0.05032 0.06906 1 -0.000008678 0.06472 0.04837 0.03134 0.177 3.518 2.414 0.08314 0.1589 1 1 0.04187 0.1883 0.6212 0.1028 0.4623 1.525 json
t17_x24_u6_b116 17 24 6 116 dst(R,lrg(R,nrm(P))) 118667 139021163 o2(x,o2(x,o1(x))) true 109343 109343 0.9174 1 0.9174 0.01982 0.1408 0.21 1 0.79 1 1.849 0.0003597 0.0004157 0.01427 -0.07222 1 -0.00003143 0.0001945 0.005664 0.0005717 0.02391 1.675 0.196 0.03913 0.009813 1 1 0.001502 0.01532 0.03457 0.07581 0.773 1.745 json
t17_x24_u6_b117 17 24 6 117 dst(R,eql(R,nrm(P))) 118668 139021164 o2(x,o2(x,o1(x))) true 109351 109351 0.897 1 0.897 0.02252 0.1501 0.09951 1 0.9005 1 2.181 0.0003411 0.0004606 0.01666 -0.149 1 -0.00001961 0.000143 0.005703 0.0005243 0.0229 1.374 0.1266 0.0356 0.006351 1 1 0.001342 0.015 0.03485 0.05959 0.666 1.547 json
t17_x24_u6_b118 17 24 6 118 dst(R,min(R,nrm(P))) 118669 139021165 o2(x,o2(x,o1(x))) true 109359 109359 0.6763 0.9934 0.6763 0.1288 0.3589 6.568e-10 1 1 1 3.163 0.001186 0.001101 0.02964 0.03718 1 -0.00001841 0.0004027 0.009574 0.001408 0.03752 1.266 0.2201 0.01776 0.003127 1 1 0.004478 0.05111 0.1461 0.03477 0.3968 1.134 json
t17_x24_u6_b119 17 24 6 119 dst(R,dot(R,nrm(P))) 118670 139021166 o2(x,o2(x,o1(x))) true 109367 109367 0.8911 0.9844 0.9223 0.08037 0.2835 -1 1 2 1 1.793 0.004363 0.004135 0.01904 0.0268 1 -0.00006581 0.01563 0.01484 0.008137 0.0902 4.737 2.693 0.1057 0.1945 1 1 0.01476 0.06891 0.2409 0.1837 0.8575 2.998 json
t17_x24_u6_b120 17 24 6 120 dst(R,dst(R,nrm(P))) 118671 139021167 o2(x,o2(x,o1(x))) true 109375 109375 0.9644 0.9844 0.9956 0.06313 0.2513 -1 1 2 1 0.2675 0.004051 0.004039 0.005813 0.001383 1 -0.000003328 0.01628 0.009376 0.008054 0.08975 15.44 2.176 0.1281 0.2578 1 1 0.0144 0.0603 0.2292 0.228 0.9552 3.63 json
t17_x25_u0_b0 17 25 0 0 add(R,add(R,sqt(D))) 118672 139060242 o2(x,o2(x,o1(x))) true 109383 109383 -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_u0_b1 17 25 0 1 add(R,sub(R,sqt(D))) 118673 139060243 o2(x,o2(x,o1(x))) true 109391 109391 -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_u0_b2 17 25 0 2 add(R,mlt(R,sqt(D))) 118674 139060244 o2(x,o2(x,o1(x))) true 109399 109399 -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_u0_b3 17 25 0 3 add(R,div(R,sqt(D))) 118675 139060245 o2(x,o2(x,o1(x))) true 109407 109407 -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_u0_b4 17 25 0 4 add(R,pow(R,sqt(D))) 118676 139060246 o2(x,o2(x,o1(x))) true 109415 109415 -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_u0_b5 17 25 0 5 add(R,mod(R,sqt(D))) 118677 139060247 o2(x,o2(x,o1(x))) true 109423 109423 -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_u0_b6 17 25 0 6 add(R,lrg(R,sqt(D))) 118678 139060248 o2(x,o2(x,o1(x))) true 109431 109431 0.5006 0.8107 0.631 0.2663 0.516 -0.9986 1 1.999 1 3.987 0.0412 0.003882 0.1073 0.8277 1 -0.00006858 0.07323 0.1024 0.03357 0.1832 1.708 1.008 0.1693 0.275 1 1 0.05383 0.2813 0.3763 0.2021 1.056 1.413 json
t17_x25_u0_b7 17 25 0 7 add(R,eql(R,sqt(D))) 118679 139060249 o2(x,o2(x,o1(x))) true 109439 109439 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_x25_u0_b8 17 25 0 8 add(R,min(R,sqt(D))) 118680 139060250 o2(x,o2(x,o1(x))) true 109447 109447 -0.002451 0.4935 0.6476 0.5296 0.7277 -1 1 2 1 4.495 0.009927 0.009178 0.09807 0.03923 1 -0.00004618 0.006891 0.041 0.009488 0.09741 0.9933 0.6831 0.03608 0.01301 1 1 0.03571 0.3927 0.9477 0.06743 0.7415 1.79 json
t17_x25_u0_b9 17 25 0 9 add(R,dot(R,sqt(D))) 118681 139060251 o2(x,o2(x,o1(x))) true 109455 109455 -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_u0_b10 17 25 0 10 add(R,dst(R,sqt(D))) 118682 139060252 o2(x,o2(x,o1(x))) true 109463 109463 -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_u0_b11 17 25 0 11 sub(R,add(R,sqt(D))) 118683 139060253 o2(x,o2(x,o1(x))) true 109471 109471 -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_u0_b12 17 25 0 12 sub(R,sub(R,sqt(D))) 118684 139060254 o2(x,o2(x,o1(x))) true 109479 109479 -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_u0_b13 17 25 0 13 sub(R,mlt(R,sqt(D))) 118685 139060255 o2(x,o2(x,o1(x))) true 109487 109487 -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_u0_b14 17 25 0 14 sub(R,div(R,sqt(D))) 118686 139060256 o2(x,o2(x,o1(x))) true 109495 109495 -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_u0_b15 17 25 0 15 sub(R,pow(R,sqt(D))) 118687 139060257 o2(x,o2(x,o1(x))) true 109503 109503 -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_u0_b16 17 25 0 16 sub(R,mod(R,sqt(D))) 118688 139060258 o2(x,o2(x,o1(x))) true 109511 109511 -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_u0_b17 17 25 0 17 sub(R,lrg(R,sqt(D))) 118689 139060259 o2(x,o2(x,o1(x))) true 109519 109519 -0.5539 0.05537 0.5689 0.1213 0.3483 -1 0.4153 1.415 1 3.93 0.02676 0.001571 0.08698 0.8891 1 0.00006798 0.0489 0.08599 0.02077 0.1441 1.657 1.001 0.2336 0.4031 1 1 0.03128 0.146 0.1645 0.2578 1.204 1.356 json
t17_x25_u0_b18 17 25 0 18 sub(R,eql(R,sqt(D))) 118690 139060260 o2(x,o2(x,o1(x))) true 109527 109527 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_x25_u0_b19 17 25 0 19 sub(R,min(R,sqt(D))) 118691 139060261 o2(x,o2(x,o1(x))) true 109535 109535 0.04053 0.2998 0.04053 0.01218 0.1104 0 0.8042 0.8042 1 1.059 0.005981 0.0001333 0.02353 0.9564 1 0.0001798 0.01332 0.02787 0.00556 0.07457 3.17 0.7925 0.5021 1.093 1 1 0.005631 0.01577 0.01838 0.4624 1.295 1.509 json
t17_x25_u0_b20 17 25 0 20 sub(R,dot(R,sqt(D))) 118692 139060262 o2(x,o2(x,o1(x))) true 109543 109543 -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_u0_b21 17 25 0 21 sub(R,dst(R,sqt(D))) 118693 139060263 o2(x,o2(x,o1(x))) true 109551 109551 -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_u0_b22 17 25 0 22 mlt(R,add(R,sqt(D))) 118694 139060264 o2(x,o2(x,o1(x))) true 109559 109559 -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_u0_b23 17 25 0 23 mlt(R,sub(R,sqt(D))) 118695 139060265 o2(x,o2(x,o1(x))) true 109567 109567 -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_u0_b24 17 25 0 24 mlt(R,mlt(R,sqt(D))) 118696 139060266 o2(x,o2(x,o1(x))) true 109575 109575 -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_u0_b25 17 25 0 25 mlt(R,div(R,sqt(D))) 118697 139060267 o2(x,o2(x,o1(x))) true 109583 109583 -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_u0_b26 17 25 0 26 mlt(R,pow(R,sqt(D))) 118698 139060268 o2(x,o2(x,o1(x))) true 109591 109591 -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_u0_b27 17 25 0 27 mlt(R,mod(R,sqt(D))) 118699 139060269 o2(x,o2(x,o1(x))) true 109599 109599 -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