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
t16_x24_u6_b118 16 24 6 118 dst(R,nrm(min(R,P))) 95800 130900564 o2(x,o1(o2(x,x))) true 83207 83207 0.7966 1 0.7966 0.08171 0.2858 0.01686 1 0.9831 1 2.642 0.0005679 0.0006284 0.01882 -0.05059 1 -0.00003391 0.0002706 0.006933 0.0008422 0.02902 1.542 0.1998 0.01464 0.003312 1 1 0.002224 0.02442 0.07611 0.02722 0.2989 0.9314 json
t16_x24_u6_b119 16 24 6 119 dst(R,nrm(dot(R,P))) 95801 130900565 o2(x,o1(o2(x,x))) true 83215 83215 0.9124 0.9844 0.9437 0.07769 0.2787 -1 1 2 1 1.363 0.004247 0.004108 0.01508 0.01662 1 -0.00001317 0.01566 0.01283 0.008124 0.09013 5.975 2.099 0.1075 0.2015 1 1 0.01478 0.06962 0.2469 0.1903 0.8961 3.178 json
t16_x24_u6_b120 16 24 6 120 dst(R,nrm(dst(R,P))) 95802 130900566 o2(x,o1(o2(x,x))) true 83223 83223 0.9574 1 0.9574 0.01496 0.1223 0.1417 1 0.8583 1 1.061 0.0004267 0.0005175 0.01114 -0.09619 1 -0.00001782 0.0002873 0.005546 0.0008208 0.02865 2.572 0.2061 0.06311 0.0192 1 1 0.002229 0.02133 0.03256 0.149 1.426 2.176 json
t16_x25_u0_b0 16 25 0 0 add(R,sqt(add(R,D))) 95803 130939641 o2(x,o1(o2(x,x))) true 83231 83231 -0.8786 0.06274 0.9959 0.2213 0.4704 -1 1 2 1 0.4325 0.09016 0.02004 0.05823 0.6363 1 0.0004249 0.237 0.1149 0.1068 0.3269 5.613 2.828 0.498 1.071 1 1 0.1002 0.3085 0.4607 0.453 1.394 2.082 json
t16_x25_u0_b1 16 25 0 1 add(R,sqt(sub(R,D))) 95804 130939642 o2(x,o1(o2(x,x))) true 83239 83239 -0.8675 0.06885 0.9948 0.2392 0.4891 -1 1 2 1 0.475 0.08732 0.02065 0.05784 0.6175 1 0.00004604 0.2389 0.1139 0.1047 0.3235 5.593 2.828 0.4514 0.9989 1 1 0.1001 0.3072 0.4591 0.4187 1.285 1.92 json
t16_x25_u0_b2 16 25 0 2 add(R,sqt(mlt(R,D))) 95805 130939643 o2(x,o1(o2(x,x))) true 83247 83247 -0.9479 0.02888 0.9792 0.07473 0.2734 -1 1 2 1 0.4168 0.008037 0.007917 0.01394 0.007541 1 0.000001827 0.03204 0.02177 0.01576 0.1255 9.006 2.005 0.2135 0.4288 1 1 0.01703 0.08106 0.1617 0.2279 1.085 2.163 json
t16_x25_u0_b3 16 25 0 3 add(R,sqt(div(R,D))) 95806 130939644 o2(x,o1(o2(x,x))) true 83255 83255 -0.9247 0.03906 0.9972 0.1404 0.3747 -1 1 2 1 0.3017 0.01963 0.01485 0.01846 0.1386 1 -7.796e-7 0.07295 0.03594 0.03414 0.1848 10.01 2.828 0.2456 0.5197 1 1 0.03647 0.1452 0.3137 0.2598 1.034 2.235 json
t16_x25_u0_b4 16 25 0 4 add(R,sqt(pow(R,D))) 95807 130939645 o2(x,o1(o2(x,x))) true 83263 83263 -0.9141 0.04297 1 0.1644 0.4055 -1 1 2 1 0.2557 0.01688 0.01637 0.01653 0.01539 1 1.201e-10 0.06952 0.03327 0.03296 0.1815 10.98 2.828 0.2022 0.4228 1 1 0.02542 0.1095 0.2756 0.1546 0.6658 1.676 json
t16_x25_u0_b5 16 25 0 5 add(R,sqt(mod(R,D))) 95808 130939646 o2(x,o1(o2(x,x))) true 83271 83271 -0.921 0.04297 0.993 0.1405 0.3748 -1 1 2 1 0.3707 0.01237 0.01401 0.01689 -0.06207 1 -0.000002588 0.0545 0.0322 0.02608 0.1615 9.565 2.828 0.1878 0.388 1 1 0.02101 0.09641 0.2381 0.1496 0.6864 1.695 json
t16_x25_u0_b6 16 25 0 6 add(R,sqt(lrg(R,D))) 95809 130939647 o2(x,o1(o2(x,x))) true 83279 83279 0.3562 0.658 0.6441 0.4058 0.637 -0.9986 1 1.999 1 4.045 0.02165 0.007303 0.101 0.4956 1 -0.0001007 0.03389 0.07216 0.01875 0.1369 1.355 1.117 0.07136 0.08352 1 1 0.04058 0.3313 0.7036 0.1 0.8165 1.734 json
t16_x25_u0_b7 16 25 0 7 add(R,sqt(eql(R,D))) 95810 130939648 o2(x,o1(o2(x,x))) true 83287 83287 0.009019 0.4984 0.3946 0.2196 0.4686 -0.9989 0.9806 1.979 1 4.862 0.002828 0.003169 0.06324 -0.0569 1 0.00002663 0.0003949 0.01461 0.001998 0.0447 0.7068 0.3544 0.02731 0.001798 1 1 0.01182 0.1519 0.3913 0.05385 0.6917 1.782 json
t16_x25_u0_b8 16 25 0 8 add(R,sqt(min(R,D))) 95811 130939649 o2(x,o1(o2(x,x))) true 83295 83295 -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
t16_x25_u0_b9 16 25 0 9 add(R,sqt(dot(R,D))) 95812 130939650 o2(x,o1(o2(x,x))) true 83303 83303 -0.9009 0.05807 0.9679 0.1463 0.3825 -1 1 2 1 0.6553 0.03981 0.0343 0.05013 0.07434 1 -0.0002428 0.227 0.09817 0.07158 0.2675 5.337 2.828 0.5066 1.551 1 1 0.085 0.2657 0.3325 0.581 1.816 2.273 json
t16_x25_u0_b10 16 25 0 10 add(R,sqt(dst(R,D))) 95813 130939651 o2(x,o1(o2(x,x))) true 83311 83311 0.8032 1 0.8032 0.06314 0.2513 0.01215 1 0.9878 1 2.756 0.001399 0.001572 0.03347 -0.05823 1 -0.00008806 0.0008125 0.01382 0.001851 0.04303 1.286 0.2442 0.04705 0.01287 1 1 0.0055 0.05281 0.1081 0.0871 0.8363 1.712 json
t16_x25_u0_b11 16 25 0 11 sub(R,sqt(add(R,D))) 95814 130939652 o2(x,o1(o2(x,x))) true 83319 83319 -0.9421 0.005981 0.9423 0.05041 0.2245 -1 0.1274 1.127 1 0.4709 0.02073 0.004573 0.02889 0.6386 1 0.0002179 0.05424 0.05513 0.02448 0.1565 5.415 1.394 0.502 1.076 1 1 0.02254 0.06918 0.1038 0.447 1.372 2.058 json
t16_x25_u0_b12 16 25 0 12 sub(R,sqt(sub(R,D))) 95815 130939653 o2(x,o1(o2(x,x))) true 83327 83327 -0.9375 0.005234 0.9377 0.05328 0.2308 -1 0.06594 1.066 1 0.5168 0.01996 0.00461 0.02853 0.6247 1 -0.00007221 0.05438 0.05456 0.02376 0.1541 5.403 1.507 0.4611 1.021 1 1 0.02239 0.06794 0.1016 0.4202 1.275 1.908 json
t16_x25_u0_b13 16 25 0 13 sub(R,sqt(mlt(R,D))) 95816 130939654 o2(x,o1(o2(x,x))) true 83335 83335 -0.9738 0.01003 0.9791 0.02472 0.1572 -1 0.7895 1.789 1 0.3807 0.005754 0.00266 0.01012 0.3676 1 0.000002643 0.01814 0.01491 0.008309 0.09115 9.009 1.795 0.3403 0.7337 1 1 0.007809 0.02949 0.0495 0.3159 1.193 2.002 json
t16_x25_u0_b14 16 25 0 14 sub(R,sqt(div(R,D))) 95817 130939655 o2(x,o1(o2(x,x))) true 83343 83343 -0.9972 0 0.9972 0.0009764 0.03125 -1 -0.1683 0.8317 1 0.1161 0.0001419 0.0001654 0.001524 -0.07637 1 0.00000228 0.0004842 0.001807 0.000305 0.01746 11.46 0.832 0.3148 0.4958 1 1 0.0003871 0.001525 0.001912 0.3965 1.562 1.958 json
t16_x25_u0_b15 16 25 0 15 sub(R,sqt(pow(R,D))) 95818 130939656 o2(x,o1(o2(x,x))) true 83351 83351 -0.9761 0 0.9761 0.01469 0.1212 -1 -0.05322 0.9468 1 0.4031 0.001509 0.001572 0.006082 -0.0203 1 0.000005912 0.00632 0.009641 0.003044 0.05517 9.071 1.223 0.2097 0.4302 1 1 0.002543 0.01128 0.02551 0.1731 0.7678 1.737 json
t16_x25_u0_b16 16 25 0 16 sub(R,sqt(mod(R,D))) 95819 130939657 o2(x,o1(o2(x,x))) true 83359 83359 -0.9468 0.03514 0.9691 0.06588 0.2567 -1 0.8854 1.885 1 0.4253 0.009378 0.006651 0.015 0.1701 1 0.00005382 0.03457 0.02761 0.01581 0.1257 8.384 2.424 0.2433 0.5248 1 1 0.0124 0.04711 0.1099 0.1883 0.7151 1.669 json
t16_x25_u0_b17 16 25 0 17 sub(R,sqt(lrg(R,D))) 95820 130939658 o2(x,o1(o2(x,x))) true 83367 83367 -0.4889 0.01665 0.4913 0.06471 0.2544 -1 0.251 1.251 1 3.991 0.01789 0.0009234 0.0687 0.9018 1 0.00001675 0.03559 0.06634 0.01409 0.1187 1.728 0.9993 0.2907 0.55 1 1 0.01847 0.07152 0.1137 0.2854 1.105 1.756 json
t16_x25_u0_b18 16 25 0 18 sub(R,sqt(eql(R,D))) 95821 130939659 o2(x,o1(o2(x,x))) true 83375 83375 0.008939 0.4983 0.3947 0.2196 0.4686 -0.9989 0.9806 1.979 1 4.862 0.002828 0.003171 0.06324 -0.05716 1 0.00002639 0.0003949 0.01461 0.001999 0.04471 0.7069 0.3513 0.02731 0.001798 1 1 0.01182 0.1519 0.3914 0.05384 0.6916 1.782 json
t16_x25_u0_b19 16 25 0 19 sub(R,sqt(min(R,D))) 95822 130939660 o2(x,o1(o2(x,x))) true 83383 83383 -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
t16_x25_u0_b20 16 25 0 20 sub(R,sqt(dot(R,D))) 95823 130939661 o2(x,o1(o2(x,x))) true 83391 83391 -0.9564 0.01404 0.9634 0.03735 0.1932 -1 0.8174 1.817 1 0.6118 0.01453 0.012 0.02868 0.09541 1 -0.00009611 0.08721 0.05326 0.02571 0.1603 5.591 2.488 0.7105 2.335 1 1 0.02984 0.07449 0.08556 0.799 1.995 2.291 json
t16_x25_u0_b21 16 25 0 21 sub(R,sqt(dst(R,D))) 95824 130939662 o2(x,o1(o2(x,x))) true 83399 83399 -0.7991 0.00004578 0.7991 0.06516 0.2553 -1 0.005813 1.006 1 2.761 0.001464 0.001564 0.03421 -0.0332 1 0.00009191 0.0007521 0.01336 0.001857 0.04309 1.26 0.2419 0.04647 0.01154 1 1 0.005752 0.0568 0.1175 0.08829 0.8717 1.803 json
t16_x25_u0_b22 16 25 0 22 mlt(R,sqt(add(R,D))) 95825 130939663 o2(x,o1(o2(x,x))) true 83407 83407 -0.9103 0.06273 0.9642 0.1232 0.351 -1 0.9302 1.93 1 0.5751 0.04999 0.01117 0.04431 0.6346 1 0.0003167 0.1321 0.08493 0.05919 0.2433 5.491 2.679 0.4965 1.072 1 1 0.05435 0.168 0.2527 0.4413 1.364 2.051 json
t16_x25_u0_b23 16 25 0 23 mlt(R,sqt(sub(R,D))) 95826 130939664 o2(x,o1(o2(x,x))) true 83415 83415 -0.9039 0.0687 0.9584 0.1281 0.3578 -1 0.9302 1.93 1 0.6194 0.04795 0.01133 0.04373 0.6178 1 0.00005106 0.1327 0.08374 0.05739 0.2396 5.478 2.627 0.4629 1.036 1 1 0.05476 0.1639 0.2454 0.4276 1.28 1.916 json
t16_x25_u0_b24 16 25 0 24 mlt(R,sqt(mlt(R,D))) 95827 130939665 o2(x,o1(o2(x,x))) true 83423 83423 -0.9608 0.01947 0.9657 0.03866 0.1966 -1 0.4115 1.411 1 0.367 0.005012 0.00411 0.01012 0.09884 1 0.000001597 0.01911 0.01831 0.009018 0.09497 9.38 1.411 0.236 0.4944 1 1 0.009518 0.0389 0.08365 0.2462 1.006 2.164 json
t16_x25_u0_b25 16 25 0 25 mlt(R,sqt(div(R,D))) 95828 130939666 o2(x,o1(o2(x,x))) true 83431 83431 -0.9608 0.01941 0.9837 0.05614 0.2369 -1 1 2 1 0.3597 0.01008 0.005882 0.01341 0.2631 1 0.000003575 0.03301 0.01927 0.01579 0.1256 9.367 2.02 0.2844 0.588 1 1 0.0162 0.06949 0.1166 0.2886 1.238 2.076 json
t16_x25_u0_b26 16 25 0 26 mlt(R,sqt(pow(R,D))) 95829 130939667 o2(x,o1(o2(x,x))) true 83439 83439 -0.9326 0.04297 0.9814 0.1028 0.3207 -1 0.9449 1.945 1 0.4126 0.01034 0.01046 0.01419 -0.006125 1 0.000008723 0.04339 0.02627 0.02059 0.1435 10.11 2.643 0.2023 0.422 1 1 0.01658 0.07204 0.1736 0.1613 0.7006 1.688 json
t16_x25_u0_b27 16 25 0 27 mlt(R,sqt(mod(R,D))) 95830 130939668 o2(x,o1(o2(x,x))) true 83447 83447 -0.9492 0.04297 0.9649 0.05803 0.2409 -1 0.4821 1.482 1 0.3723 0.005082 0.005851 0.01177 -0.07034 1 -0.00004704 0.0227 0.02198 0.0108 0.1039 8.828 1.602 0.1884 0.3911 1 1 0.008517 0.0396 0.09849 0.1468 0.6824 1.697 json
t16_x25_u0_b28 16 25 0 28 mlt(R,sqt(lrg(R,D))) 95831 130939669 o2(x,o1(o2(x,x))) true 83455 83455 0.2329 0.761 0.2514 0.07642 0.2764 -0.2687 0.9809 1.25 1 3.798 0.002527 0.001108 0.0434 0.3903 1 0.00004221 0.003307 0.02482 0.001752 0.04186 0.9644 0.3592 0.04757 0.04327 1 1 0.005783 0.05828 0.1518 0.07567 0.7626 1.986 json
t16_x25_u0_b29 16 25 0 29 mlt(R,sqt(eql(R,D))) 95832 130939670 o2(x,o1(o2(x,x))) true 83463 83463 -0.00002379 0 0.00002379 0.000003633 0.001906 -0.1948 0 0.1948 1 0.003755 0.000005124 5.318e-8 0.00003743 0.9795 0 -6.949e-8 0.00001553 0.00007373 0.000005176 0.002275 60.78 0.1892 1.425 4.276 1 1 0 0 0.000002772 0 0 0.7631 json
t16_x25_u0_b30 16 25 0 30 mlt(R,sqt(min(R,D))) 95833 130939671 o2(x,o1(o2(x,x))) true 83471 83471 -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
t16_x25_u0_b31 16 25 0 31 mlt(R,sqt(dot(R,D))) 95834 130939672 o2(x,o1(o2(x,x))) true 83479 83479 -0.9299 0.03688 0.9413 0.06941 0.2634 -1 0.5638 1.564 1 0.5973 0.02055 0.0179 0.03634 0.06906 1 -0.0001767 0.1215 0.07467 0.03713 0.1927 5.302 2.126 0.554 1.751 1 1 0.04141 0.1205 0.1542 0.5967 1.737 2.222 json
t16_x25_u0_b32 16 25 0 32 mlt(R,sqt(dst(R,D))) 95835 130939673 o2(x,o1(o2(x,x))) true 83487 83487 0.01389 0.5018 0.4137 0.2505 0.5005 -1 1 2 1 4.914 0.003262 0.003645 0.06743 -0.05551 1 0.00004858 0.0004563 0.01559 0.002359 0.04857 0.7204 0.2519 0.02757 0.001821 1 1 0.01354 0.1721 0.4487 0.05404 0.6868 1.791 json
t16_x25_u0_b33 16 25 0 33 div(R,sqt(add(R,D))) 95836 130939674 o2(x,o1(o2(x,x))) true 83495 83495 -0.8846 0.06201 0.9906 0.2017 0.4492 -1 1 2 1 0.5121 0.0813 0.01856 0.0577 0.6282 1 0.0004341 0.2124 0.109 0.09658 0.3108 5.386 2.821 0.495 1.053 1 1 0.08945 0.2755 0.4142 0.4434 1.366 2.053 json
t16_x25_u0_b34 16 25 0 34 div(R,sqt(sub(R,D))) 95837 130939675 o2(x,o1(o2(x,x))) true 83503 83503 -0.8726 0.0683 0.99 0.2219 0.4711 -1 1 2 1 0.5485 0.0815 0.01939 0.05744 0.6157 1 -0.0001469 0.2231 0.1105 0.09766 0.3125 5.44 2.828 0.4546 1.005 1 1 0.09239 0.2834 0.4239 0.4163 1.277 1.91 json
t16_x25_u0_b35 16 25 0 35 div(R,sqt(mlt(R,D))) 95838 130939676 o2(x,o1(o2(x,x))) true 83511 83511 -0.9612 0.01944 0.9908 0.06388 0.2528 -1 1 2 1 0.2914 0.01101 0.006641 0.01359 0.2473 1 0.000002126 0.03522 0.01916 0.01746 0.1321 9.724 2.028 0.2762 0.5514 1 1 0.01874 0.08556 0.1341 0.2933 1.339 2.099 json
t16_x25_u0_b36 16 25 0 36 div(R,sqt(div(R,D))) 95839 130939677 o2(x,o1(o2(x,x))) true 83519 83519 -0.961 0.01936 0.9681 0.0391 0.1977 -1 0.4022 1.402 1 0.3765 0.005114 0.004161 0.01075 0.1027 1 0.000001213 0.01928 0.01856 0.009162 0.09572 8.903 1.402 0.2372 0.4932 1 1 0.009679 0.03992 0.08445 0.2476 1.021 2.16 json
t16_x25_u0_b37 16 25 0 37 div(R,sqt(pow(R,D))) 95840 130939678 o2(x,o1(o2(x,x))) true 83527 83527 -0.9326 0.04297 0.9815 0.103 0.3209 -1 0.9466 1.947 1 0.4126 0.01033 0.01038 0.01416 -0.002227 1 0.000006919 0.04321 0.0262 0.02051 0.1432 10.12 2.638 0.2011 0.4196 1 1 0.01645 0.07162 0.1745 0.1597 0.6954 1.694 json
t16_x25_u0_b38 16 25 0 38 div(R,sqt(mod(R,D))) 95841 130939679 o2(x,o1(o2(x,x))) true 83535 83535 -0.9161 0.04297 0.998 0.1576 0.3969 -1 1 2 1 0.296 0.01709 0.0156 0.01739 0.04549 1 -0.00001915 0.0686 0.03456 0.03236 0.1799 10.34 2.828 0.2075 0.4354 1 1 0.02488 0.1066 0.2649 0.1579 0.6765 1.681 json
t16_x25_u0_b39 16 25 0 39 div(R,sqt(lrg(R,D))) 95842 130939680 o2(x,o1(o2(x,x))) true 83543 83543 -0.8932 0.06868 0.9691 0.157 0.3963 -1 0.9632 1.963 1 0.6171 0.05711 0.01391 0.04758 0.6083 1 0.0000183 0.1576 0.09188 0.06875 0.2622 5.511 2.728 0.4523 1.004 1 1 0.06612 0.2015 0.3009 0.4211 1.283 1.916 json
t16_x25_u0_b40 16 25 0 40 div(R,sqt(eql(R,D))) 95843 130939681 o2(x,o1(o2(x,x))) true 83551 83551 -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
t16_x25_u0_b41 16 25 0 41 div(R,sqt(min(R,D))) 95844 130939682 o2(x,o1(o2(x,x))) true 83559 83559 -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
t16_x25_u0_b42 16 25 0 42 div(R,sqt(dot(R,D))) 95845 130939683 o2(x,o1(o2(x,x))) true 83567 83567 -0.9285 0.03545 0.9789 0.1102 0.3319 -1 1 2 1 0.5364 0.03883 0.03134 0.04449 0.1068 1 -0.00007348 0.223 0.08015 0.06816 0.2611 5.869 2.828 0.6369 2.024 1 1 0.08376 0.2323 0.2557 0.7603 2.108 2.321 json
t16_x25_u0_b43 16 25 0 43 div(R,sqt(dst(R,D))) 95846 130939684 o2(x,o1(o2(x,x))) true 83575 83575 0.004989 0.4948 0.3886 0.2072 0.4552 -1 1 2 1 4.812 0.002796 0.003088 0.06357 -0.04974 1 -0.00001086 0.0004154 0.01496 0.001843 0.04293 0.6754 0.4036 0.0284 0.002005 1 1 0.01161 0.1468 0.3675 0.05602 0.7085 1.774 json
t16_x25_u0_b44 16 25 0 44 pow(R,sqt(add(R,D))) 95847 130939685 o2(x,o1(o2(x,x))) true 83583 83583 -0.9709 0.01685 0.9954 0.0494 0.2223 -1 0.9449 1.945 1 0.1689 0.01545 0.005329 0.0124 0.4872 1 0.000001762 0.04468 0.02421 0.02064 0.1437 11.59 2.655 0.4207 0.9044 1 1 0.01473 0.05334 0.0861 0.2981 1.08 1.743 json
t16_x25_u0_b45 16 25 0 45 pow(R,sqt(sub(R,D))) 95848 130939686 o2(x,o1(o2(x,x))) true 83591 83591 -0.9713 0.0166 0.9955 0.04905 0.2215 -1 0.9492 1.949 1 0.1663 0.01471 0.004715 0.01148 0.5145 1 -0.00002734 0.04181 0.02253 0.01928 0.1389 12.09 2.699 0.3959 0.8524 1 1 0.01236 0.04459 0.07471 0.252 0.9092 1.523 json
t16_x25_u0_b46 16 25 0 46 pow(R,sqt(mlt(R,D))) 95849 130939687 o2(x,o1(o2(x,x))) true 83599 83599 -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
t16_x25_u0_b47 16 25 0 47 pow(R,sqt(div(R,D))) 95850 130939688 o2(x,o1(o2(x,x))) true 83607 83607 -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
t16_x25_u0_b48 16 25 0 48 pow(R,sqt(pow(R,D))) 95851 130939689 o2(x,o1(o2(x,x))) true 83615 83615 -0.9326 0.04297 0.9815 0.1028 0.3207 -1 0.943 1.943 1 0.4123 0.01033 0.01038 0.01417 -0.002568 1 0.000006878 0.04323 0.02621 0.02051 0.1432 10.11 2.64 0.2015 0.4204 1 1 0.01647 0.07166 0.1744 0.1602 0.6969 1.696 json
t16_x25_u0_b49 16 25 0 49 pow(R,sqt(mod(R,D))) 95852 130939690 o2(x,o1(o2(x,x))) true 83623 83623 -0.9223 0.04297 0.9917 0.135 0.3674 -1 0.997 1.997 1 0.3795 0.01552 0.01352 0.01729 0.06877 1 -0.00001063 0.0613 0.03342 0.02872 0.1695 9.803 2.798 0.2151 0.4541 1 1 0.02232 0.09219 0.227 0.1653 0.6829 1.682 json
t16_x25_u0_b50 16 25 0 50 pow(R,sqt(lrg(R,D))) 95853 130939691 o2(x,o1(o2(x,x))) true 83631 83631 0.002951 0.5569 0.8892 0.8285 0.9102 -1 1 2 1 2.678 0.3112 0.04968 0.2091 0.7247 1 -0.0004813 0.7761 0.3959 0.3171 0.5632 2.694 2.828 0.4356 0.9368 1 1 0.3693 1.056 1.358 0.4458 1.274 1.639 json
t16_x25_u0_b51 16 25 0 51 pow(R,sqt(eql(R,D))) 95854 130939692 o2(x,o1(o2(x,x))) true 83639 83639 0.9995 0.9998 1 0.0009763 0.03125 -1 1 2 1 0.003282 0.001764 0.00006299 0.0009133 0.931 1 0 0.005669 0.001827 0.001826 0.04273 46.78 2 1.871 5.806 1 1 0 0 0.000831 0 0 0.8512 json
t16_x25_u0_b52 16 25 0 52 pow(R,sqt(min(R,D))) 95855 130939693 o2(x,o1(o2(x,x))) true 83647 83647 -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
t16_x25_u0_b53 16 25 0 53 pow(R,sqt(dot(R,D))) 95856 130939694 o2(x,o1(o2(x,x))) true 83655 83655 -0.9977 0.001236 0.9998 0.004181 0.06466 -1 0.9797 1.98 1 0.01631 0.003184 0.001134 0.002168 0.4747 1 2.253e-11 0.01409 0.004618 0.00431 0.06565 30.28 2.8 1.033 3.369 1 1 0.003979 0.009843 0.01159 0.9515 2.354 2.773 json
t16_x25_u0_b54 16 25 0 54 pow(R,sqt(dst(R,D))) 95857 130939695 o2(x,o1(o2(x,x))) true 83663 83663 -0.9322 0.04297 0.9818 0.1037 0.322 -1 0.9432 1.943 1 0.4076 0.01051 0.01058 0.01421 -0.00344 1 0.000007573 0.04406 0.0265 0.02088 0.1445 10.17 2.609 0.2034 0.425 1 1 0.01659 0.07145 0.1741 0.16 0.6892 1.679 json
t16_x25_u0_b55 16 25 0 55 mod(R,sqt(add(R,D))) 95858 130939696 o2(x,o1(o2(x,x))) true 83671 83671 -0.916 0.06201 0.9585 0.1094 0.3307 -1 0.9633 1.963 1 0.5762 0.05273 0.01015 0.0479 0.6771 1 0.0003235 0.1415 0.09209 0.06055 0.2461 5.137 2.742 0.5749 1.294 1 1 0.05375 0.1528 0.2236 0.4914 1.397 2.045 json
t16_x25_u0_b56 16 25 0 56 mod(R,sqt(sub(R,D))) 95859 130939697 o2(x,o1(o2(x,x))) true 83679 83679 -0.9089 0.06758 0.9535 0.1165 0.3413 -1 0.9634 1.963 1 0.6218 0.05255 0.01012 0.04758 0.6772 1 0.000324 0.1463 0.09295 0.06039 0.2457 5.165 2.706 0.5379 1.256 1 1 0.05569 0.1488 0.2203 0.478 1.277 1.891 json
t16_x25_u0_b57 16 25 0 57 mod(R,sqt(mlt(R,D))) 95860 130939698 o2(x,o1(o2(x,x))) true 83687 83687 -0.9609 0.02 0.9647 0.0382 0.1954 -1 0.3803 1.38 1 0.3561 0.005221 0.004086 0.01173 0.1219 1 3.852e-7 0.0197 0.02084 0.009173 0.09578 8.163 1.382 0.2437 0.5157 1 1 0.009796 0.03881 0.08418 0.2565 1.016 2.204 json
t16_x25_u0_b58 16 25 0 58 mod(R,sqt(div(R,D))) 95861 130939699 o2(x,o1(o2(x,x))) true 83695 83695 -0.9608 0.01945 0.9755 0.04546 0.2132 -1 0.9632 1.963 1 0.4231 0.006771 0.004853 0.01156 0.165 1 0.000003116 0.02412 0.01828 0.01149 0.1072 9.274 1.963 0.2557 0.5307 1 1 0.01153 0.05006 0.09494 0.2537 1.101 2.089 json
t16_x25_u0_b59 16 25 0 59 mod(R,sqt(pow(R,D))) 95862 130939700 o2(x,o1(o2(x,x))) true 83703 83703 -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
t16_x25_u0_b60 16 25 0 60 mod(R,sqt(mod(R,D))) 95863 130939701 o2(x,o1(o2(x,x))) true 83711 83711 -0.9496 0.04297 0.9645 0.05702 0.2388 -1 0.4307 1.431 1 0.3684 0.005468 0.005697 0.01258 -0.02049 1 -0.00001923 0.0236 0.0235 0.01101 0.1049 8.342 1.655 0.1958 0.414 1 1 0.008403 0.03812 0.09671 0.1474 0.6685 1.696 json
t16_x25_u0_b61 16 25 0 61 mod(R,sqt(lrg(R,D))) 95864 130939702 o2(x,o1(o2(x,x))) true 83719 83719 -0.8932 0.06868 0.9691 0.157 0.3963 -1 0.9632 1.963 1 0.6171 0.05711 0.01391 0.04758 0.6083 1 0.0000183 0.1576 0.09188 0.06875 0.2622 5.511 2.728 0.4523 1.004 1 1 0.06612 0.2015 0.3009 0.4211 1.283 1.916 json
t16_x25_u0_b62 16 25 0 62 mod(R,sqt(eql(R,D))) 95865 130939703 o2(x,o1(o2(x,x))) true 83727 83727 -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
t16_x25_u0_b63 16 25 0 63 mod(R,sqt(min(R,D))) 95866 130939704 o2(x,o1(o2(x,x))) true 83735 83735 -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
t16_x25_u0_b64 16 25 0 64 mod(R,sqt(dot(R,D))) 95867 130939705 o2(x,o1(o2(x,x))) true 83743 83743 -0.9314 0.03467 0.9408 0.06625 0.2574 -1 0.5325 1.533 1 0.5931 0.02051 0.01789 0.03919 0.06835 1 -0.0001962 0.1231 0.07999 0.03687 0.192 4.9 2.025 0.5796 1.858 1 1 0.04046 0.1131 0.1447 0.6107 1.708 2.184 json
t16_x25_u0_b65 16 25 0 65 mod(R,sqt(dst(R,D))) 95868 130939706 o2(x,o1(o2(x,x))) true 83751 83751 0.007774 0.4959 0.3819 0.2086 0.4567 -0.9989 0.9806 1.979 1 4.839 0.00573 0.004525 0.06834 0.1175 1 0.00004839 0.01523 0.03244 0.005585 0.07473 1.094 1.316 0.04917 0.07302 1 1 0.01503 0.1558 0.3746 0.07206 0.747 1.796 json
t16_x25_u0_b66 16 25 0 66 lrg(R,sqt(add(R,D))) 95869 130939707 o2(x,o1(o2(x,x))) true 83759 83759 0.6019 0.9726 0.6019 0.1278 0.3574 0 1 1 1 3.541 0.03342 0.001602 0.09974 0.9085 1 -0.00009092 0.06504 0.1001 0.02507 0.1583 1.588 1 0.2741 0.5091 1 1 0.03638 0.1619 0.1986 0.2847 1.267 1.555 json
t16_x25_u0_b67 16 25 0 67 lrg(R,sqt(sub(R,D))) 95870 130939708 o2(x,o1(o2(x,x))) true 83767 83767 0.6037 0.9719 0.6037 0.128 0.3578 0 1 1 1 3.534 0.03362 0.001614 0.099 0.9084 1 -0.0008318 0.06633 0.1015 0.02544 0.1595 1.611 0.9997 0.2752 0.5182 1 1 0.03624 0.1555 0.2021 0.2831 1.215 1.579 json
t16_x25_u0_b68 16 25 0 68 lrg(R,sqt(mlt(R,D))) 95871 130939709 o2(x,o1(o2(x,x))) true 83775 83775 0.68 0.9807 0.68 0.1325 0.3641 0 1 1 1 3.113 0.03785 0.001513 0.08761 0.9231 1 0.00003292 0.0726 0.09815 0.03169 0.178 2.032 1 0.297 0.5478 1 1 0.04335 0.189 0.187 0.3271 1.426 1.411 json
t16_x25_u0_b69 16 25 0 69 lrg(R,sqt(div(R,D))) 95872 130939710 o2(x,o1(o2(x,x))) true 83783 83783 0.4961 0.9456 0.4961 0.147 0.3834 0 1 1 1 3.516 0.04778 0.002278 0.1019 0.909 1 -0.00001497 0.09324 0.1121 0.03968 0.1992 1.955 1 0.3406 0.6344 1 1 0.05494 0.2454 0.2817 0.3738 1.67 1.917 json
t16_x25_u0_b70 16 25 0 70 lrg(R,sqt(pow(R,D))) 95873 130939711 o2(x,o1(o2(x,x))) true 83791 83791 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
t16_x25_u0_b71 16 25 0 71 lrg(R,sqt(mod(R,D))) 95874 130939712 o2(x,o1(o2(x,x))) true 83799 83799 0.8566 0.998 0.8566 0.06621 0.2573 0 1 1 1 2.161 0.03248 0.0009325 0.073 0.9442 1 0.00009881 0.08906 0.1005 0.02809 0.1676 2.296 1 0.5046 1.345 1 1 0.02187 0.05844 0.1056 0.3304 0.8827 1.595 json
t16_x25_u0_b72 16 25 0 72 lrg(R,sqt(lrg(R,D))) 95875 130939713 o2(x,o1(o2(x,x))) true 83807 83807 0.05923 0.3556 0.05923 0.02567 0.1602 0 0.9994 0.9994 1 1.251 0.008427 0.0003582 0.02849 0.9185 1 -0.00004931 0.01697 0.0305 0.007977 0.08931 3.135 0.9994 0.3423 0.6611 1 1 0.007699 0.02811 0.04308 0.3 1.095 1.679 json
t16_x25_u0_b73 16 25 0 73 lrg(R,sqt(eql(R,D))) 95876 130939714 o2(x,o1(o2(x,x))) true 83815 83815 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
t16_x25_u0_b74 16 25 0 74 lrg(R,sqt(min(R,D))) 95877 130939715 o2(x,o1(o2(x,x))) true 83823 83823 0.8918 1 0.8918 0.04995 0.2235 0.000291 1 0.9997 1 1.834 0.01375 0.0006858 0.0429 0.9049 1 0.00004454 0.02672 0.04334 0.01259 0.1122 2.615 0.9997 0.2889 0.5349 1 1 0.01383 0.06028 0.0809 0.2768 1.207 1.62 json
t16_x25_u0_b75 16 25 0 75 lrg(R,sqt(dot(R,D))) 95878 130939716 o2(x,o1(o2(x,x))) true 83831 83831 0.6459 0.9742 0.6459 0.134 0.3661 0 1 1 1 3.303 0.02479 0.02739 0.1058 -0.04968 1 0.0002756 0.1612 0.1429 0.04098 0.2024 1.912 1.414 0.3893 1.203 1 1 0.05622 0.2214 0.2517 0.4194 1.652 1.878 json
t16_x25_u0_b76 16 25 0 76 lrg(R,sqt(dst(R,D))) 95879 130939717 o2(x,o1(o2(x,x))) true 83839 83839 0.01479 0.08282 0.01479 0.006483 0.08052 0 0.9926 0.9926 1 0.4168 0.002297 0.001255 0.009307 0.2934 1 -0.00002186 0.01111 0.01286 0.003465 0.05887 6.325 1.337 0.5478 1.713 1 1 0.002685 0.009344 0.01068 0.4141 1.441 1.647 json
t16_x25_u0_b77 16 25 0 77 eql(R,sqt(add(R,D))) 95880 130939718 o2(x,o1(o2(x,x))) true 83847 83847 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
t16_x25_u0_b78 16 25 0 78 eql(R,sqt(sub(R,D))) 95881 130939719 o2(x,o1(o2(x,x))) true 83855 83855 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
t16_x25_u0_b79 16 25 0 79 eql(R,sqt(mlt(R,D))) 95882 130939720 o2(x,o1(o2(x,x))) true 83863 83863 7.106e-8 0.0002747 7.106e-8 1.62e-11 0.000004025 0 0.000291 0.000291 1 0 3.345e-11 2.373e-13 1.48e-7 0.9859 0 6.74e-16 1.013e-10 2.935e-7 3.366e-11 0.000005802 39.19 0.000291 2.079 6.254 1 1 3.024e-11 4.016e-11 5.884e-11 1.867 2.479 3.632 json
t16_x25_u0_b80 16 25 0 80 eql(R,sqt(div(R,D))) 95883 130939721 o2(x,o1(o2(x,x))) true 83871 83871 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
t16_x25_u0_b81 16 25 0 81 eql(R,sqt(pow(R,D))) 95884 130939722 o2(x,o1(o2(x,x))) true 83879 83879 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
t16_x25_u0_b82 16 25 0 82 eql(R,sqt(mod(R,D))) 95885 130939723 o2(x,o1(o2(x,x))) true 83887 83887 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
t16_x25_u0_b83 16 25 0 83 eql(R,sqt(lrg(R,D))) 95886 130939724 o2(x,o1(o2(x,x))) true 83895 83895 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
t16_x25_u0_b84 16 25 0 84 eql(R,sqt(eql(R,D))) 95887 130939725 o2(x,o1(o2(x,x))) true 83903 83903 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
t16_x25_u0_b85 16 25 0 85 eql(R,sqt(min(R,D))) 95888 130939726 o2(x,o1(o2(x,x))) true 83911 83911 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
t16_x25_u0_b86 16 25 0 86 eql(R,sqt(dot(R,D))) 95889 130939727 o2(x,o1(o2(x,x))) true 83919 83919 0.00006866 0.0002747 0.00006866 0.00003525 0.005937 0 0.7177 0.7177 1 0.00257 0.00007277 0.00007277 0.0002419 0 1 -0.00001073 0.000721 0.0005562 0.0001454 0.01206 49.85 1.015 4.129 20.46 1 1 0.00006361 0.00006361 0.00006524 1.805 1.805 1.851 json
t16_x25_u0_b87 16 25 0 87 eql(R,sqt(dst(R,D))) 95890 130939728 o2(x,o1(o2(x,x))) true 83927 83927 0.00002469 0.00009155 0.00002469 0.00001304 0.003611 0 0.741 0.741 1 0.001065 0.00002692 0.00002692 0.00008698 0 0 0 0.0002692 0.0002038 0.00005382 0.007336 84.34 1.048 4.128 20.64 1 1 0.00003042 0.00003042 0.00003042 2.333 2.333 2.333 json
t16_x25_u0_b88 16 25 0 88 min(R,sqt(add(R,D))) 95891 130939729 o2(x,o1(o2(x,x))) true 83935 83935 -0.00699 0.4875 0.3852 0.2105 0.4588 -0.9989 0.9806 1.979 1 4.841 0.003197 0.003025 0.06436 0.02771 1 0.00004502 0.001189 0.01986 0.00208 0.0456 0.7085 0.2545 0.02955 0.005648 1 1 0.01193 0.1488 0.3748 0.05664 0.7068 1.78 json
t16_x25_u0_b89 16 25 0 89 min(R,sqt(sub(R,D))) 95892 130939730 o2(x,o1(o2(x,x))) true 83943 83943 -0.007191 0.4878 0.3844 0.2101 0.4584 -0.9989 0.9805 1.979 1 4.841 0.003192 0.003024 0.06454 0.0271 1 0.00006729 0.001208 0.02007 0.002051 0.04529 0.7017 0.2268 0.02959 0.005749 1 1 0.01189 0.1482 0.373 0.0566 0.7056 1.775 json
t16_x25_u0_b90 16 25 0 90 min(R,sqt(mlt(R,D))) 95893 130939731 o2(x,o1(o2(x,x))) true 83951 83951 -0.04227 0.4804 0.3522 0.1802 0.4245 -0.9989 0.9805 1.979 1 4.757 0.008488 0.002553 0.07072 0.5375 1 -0.0001494 0.01444 0.04098 0.00604 0.07772 1.099 0.7958 0.06127 0.08013 1 1 0.01484 0.1275 0.3091 0.08236 0.7077 1.716 json
t16_x25_u0_b91 16 25 0 91 min(R,sqt(div(R,D))) 95894 130939732 o2(x,o1(o2(x,x))) true 83959 83959 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
t16_x25_u0_b92 16 25 0 92 min(R,sqt(pow(R,D))) 95895 130939733 o2(x,o1(o2(x,x))) true 83967 83967 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
t16_x25_u0_b93 16 25 0 93 min(R,sqt(mod(R,D))) 95896 130939734 o2(x,o1(o2(x,x))) true 83975 83975 -0.1255 0.4333 0.2923 0.1202 0.3467 -0.9989 0.5891 1.588 1 4.402 0.00674 0.001702 0.07249 0.5967 1 -0.0002208 0.01446 0.07127 0.003187 0.05645 0.7788 0.4047 0.07022 0.1202 1 1 0.009704 0.08111 0.2002 0.08072 0.6747 1.666 json
t16_x25_u0_b94 16 25 0 94 min(R,sqt(lrg(R,D))) 95897 130939735 o2(x,o1(o2(x,x))) true 83983 83983 -0.00442 0.4789 0.3921 0.2175 0.4663 -0.9989 0.9806 1.979 1 4.856 0.00353 0.003139 0.06539 0.05855 1 0.00005007 0.001791 0.02184 0.002393 0.04892 0.7482 0.3955 0.03067 0.008238 1 1 0.01244 0.1527 0.3882 0.05721 0.7023 1.785 json
t16_x25_u0_b95 16 25 0 95 min(R,sqt(eql(R,D))) 95898 130939736 o2(x,o1(o2(x,x))) true 83991 83991 -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
t16_x25_u0_b96 16 25 0 96 min(R,sqt(min(R,D))) 95899 130939737 o2(x,o1(o2(x,x))) true 83999 83999 -0.03155 0.4861 0.3605 0.1861 0.4314 -0.9989 0.9805 1.979 1 4.769 0.0081 0.002649 0.07125 0.5071 1 -0.0001533 0.01363 0.04002 0.005674 0.07533 1.057 0.7931 0.05777 0.07325 1 1 0.01466 0.1302 0.3212 0.0788 0.6998 1.726 json