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
t12_x15_u6_b81 12 15 6 81 nrm(eql(D,pow(R,P))) 32700 98054514 o1(o2(x,o2(x,x))) true 91447 91447 -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
t12_x15_u6_b82 12 15 6 82 nrm(eql(D,mod(R,P))) 32701 98054515 o1(o2(x,o2(x,x))) true 91455 91455 -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
t12_x15_u6_b83 12 15 6 83 nrm(eql(D,lrg(R,P))) 32702 98054516 o1(o2(x,o2(x,x))) true 91463 91463 -0.9453 0 0.9453 0.05166 0.2273 -1 0 1 1 0.306 0.00526 0.006141 0.0113 -0.07735 1 0 0.02403 0.0228 0.01127 0.1062 9.395 1.414 0.2207 0.4652 1 1 0.01014 0.04055 0.1055 0.1963 0.7851 2.042 json
t12_x15_u6_b84 12 15 6 84 nrm(eql(D,eql(R,P))) 32703 98054517 o1(o2(x,o2(x,x))) true 91471 91471 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
t12_x15_u6_b85 12 15 6 85 nrm(eql(D,min(R,P))) 32704 98054518 o1(o2(x,o2(x,x))) true 91479 91479 -0.9414 0 0.9414 0.05515 0.2348 -1 0 1 1 0.3218 0.004252 0.006204 0.01038 -0.1867 1 0 0.02195 0.02091 0.01035 0.1018 9.801 1.414 0.1896 0.398 1 1 0.009017 0.03802 0.08377 0.1635 0.6894 1.519 json
t12_x15_u6_b86 12 15 6 86 nrm(eql(D,dot(R,P))) 32705 98054519 o1(o2(x,o2(x,x))) true 91487 91487 -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
t12_x15_u6_b87 12 15 6 87 nrm(eql(D,dst(R,P))) 32706 98054520 o1(o2(x,o2(x,x))) true 91495 91495 -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
t12_x15_u6_b88 12 15 6 88 nrm(min(D,add(R,P))) 32707 98054521 o1(o2(x,o2(x,x))) true 91503 91503 -0.4098 0.2289 0.4861 0.2186 0.4675 -1 0.9838 1.984 1 4.054 0.006022 0.00108 0.03931 0.6959 1 0.0001508 0.005835 0.0155 0.005557 0.07454 1.896 1.965 0.03249 0.0267 1 1 0.01248 0.07992 0.0848 0.05712 0.3657 0.388 json
t12_x15_u6_b89 12 15 6 89 nrm(min(D,sub(R,P))) 32708 98054522 o1(o2(x,o2(x,x))) true 91511 91511 -0.3931 0.2576 0.4832 0.229 0.4785 -1 0.9869 1.987 1 4.068 0.007189 0.001228 0.04327 0.7082 1 -0.0002204 0.006786 0.01761 0.006545 0.0809 1.87 1.965 0.03676 0.02964 1 1 0.01624 0.09873 0.08934 0.07094 0.4312 0.3902 json
t12_x15_u6_b90 12 15 6 90 nrm(min(D,mlt(R,P))) 32709 98054523 o1(o2(x,o2(x,x))) true 91519 91519 -0.4048 0.1692 0.5046 0.194 0.4404 -1 0.9991 1.999 1 4.524 0.01478 0.004645 0.0875 0.5217 1 -0.00008952 0.01839 0.03488 0.01177 0.1085 1.24 1.999 0.1001 0.09482 1 1 0.03389 0.2451 0.3428 0.1747 1.263 1.767 json
t12_x15_u6_b91 12 15 6 91 nrm(min(D,div(R,P))) 32710 98054524 o1(o2(x,o2(x,x))) true 91527 91527 -0.2498 0.1951 0.331 0.1622 0.4027 -1 0.9902 1.99 1 4.146 0.01456 0.00663 0.07076 0.3741 1 0.0001554 0.02942 0.04523 0.01618 0.1272 1.798 1.957 0.1306 0.1814 1 1 0.03044 0.1798 0.3243 0.1877 1.109 2 json
t12_x15_u6_b92 12 15 6 92 nrm(min(D,pow(R,P))) 32711 98054525 o1(o2(x,o2(x,x))) true 91535 91535 -0.02357 0.4768 0.3789 0.2 0.4472 -0.9994 0.9991 1.999 1 4.696 0.04364 0.006664 0.1594 0.7351 1 0.00002151 0.05373 0.07998 0.02489 0.1578 0.9897 1.999 0.2515 0.2686 1 1 0.08271 0.4233 0.0223 0.4136 2.117 0.1115 json
t12_x15_u6_b93 12 15 6 93 nrm(min(D,mod(R,P))) 32712 98054526 o1(o2(x,o2(x,x))) true 91543 91543 -0.3201 0.211 0.42 0.1498 0.3871 -0.9996 0.937 1.937 1 4.575 0.009477 0.003073 0.08183 0.5102 1 -0.00009469 0.007161 0.02898 0.005854 0.07651 0.935 1.467 0.08376 0.04779 1 1 0.02414 0.1912 0.2486 0.1611 1.276 1.659 json
t12_x15_u6_b94 12 15 6 94 nrm(min(D,lrg(R,P))) 32713 98054527 o1(o2(x,o2(x,x))) true 91551 91551 -0.3014 0.2641 0.5332 0.3086 0.5555 -1 0.9991 1.999 1 4.394 0.0436 0.005107 0.1178 0.7903 1 -0.000132 0.06986 0.07717 0.03484 0.1867 1.585 1.999 0.1578 0.2264 1 1 0.06504 0.3034 0.1027 0.2108 0.9832 0.3328 json
t12_x15_u6_b95 12 15 6 95 nrm(min(D,eql(R,P))) 32714 98054528 o1(o2(x,o2(x,x))) true 91559 91559 -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
t12_x15_u6_b96 12 15 6 96 nrm(min(D,min(R,P))) 32715 98054529 o1(o2(x,o2(x,x))) true 91567 91567 -0.5084 0.07257 0.5346 0.161 0.4013 -1 0.9991 1.999 1 3.935 0.00285 0.0007886 0.02881 0.5666 1 0.00002318 0.002317 0.009696 0.002809 0.053 1.84 1.999 0.0226 0.01439 1 1 0.006532 0.05511 0.1108 0.04056 0.3422 0.688 json
t12_x15_u6_b97 12 15 6 97 nrm(min(D,dot(R,P))) 32716 98054530 o1(o2(x,o2(x,x))) true 91575 91575 -0.3178 0.2078 0.4705 0.1639 0.4048 -1 0.9377 1.938 1 4.149 0.01793 0.005494 0.09378 0.531 1 -0.00005184 0.02176 0.03943 0.01463 0.121 1.29 1.935 0.1429 0.1328 1 1 0.04241 0.2752 0.2625 0.2588 1.679 1.601 json
t12_x15_u6_b98 12 15 6 98 nrm(min(D,dst(R,P))) 32717 98054531 o1(o2(x,o2(x,x))) true 91583 91583 -0.000003055 0.5 0.3663 0.1867 0.4321 -0.9346 0.9346 1.869 1 4.562 0.03788 0.006951 0.1584 0.6899 1 5.538e-9 0.04219 0.07112 0.01975 0.1405 0.8875 1.466 0.2401 0.226 1 1 0.07517 0.4029 1.173e-7 0.4025 2.158 6.284e-7 json
t12_x15_u6_b99 12 15 6 99 nrm(dot(D,add(R,P))) 32718 98054532 o1(o2(x,o2(x,x))) true 91591 91591 -0.05254 0.4426 0.3313 0.1382 0.3717 -0.5774 0.577 1.154 1 4.137 0.04517 0.04513 0.1644 0.0004633 1 0.001175 0.2848 0.2064 0.06329 0.2516 1.53 1.632 0.6535 2.061 1 1 0.09513 0.3091 0.09754 0.6885 2.237 0.7059 json
t12_x15_u6_b100 12 15 6 100 nrm(dot(D,sub(R,P))) 32719 98054533 o1(o2(x,o2(x,x))) true 91599 91599 0.05315 0.5581 0.3324 0.1388 0.3726 -0.577 0.5774 1.154 1 4.136 0.04541 0.04458 0.1641 0.009124 1 -0.001066 0.2826 0.2054 0.06305 0.2511 1.53 1.632 0.6482 2.036 1 1 0.09494 0.3092 0.09515 0.6839 2.227 0.6853 json
t12_x15_u6_b101 12 15 6 101 nrm(dot(D,mlt(R,P))) 32720 98054534 o1(o2(x,o2(x,x))) true 91607 91607 -0.01942 0.4876 0.4177 0.2122 0.4607 -1 0.5774 1.577 1 4.029 0.04294 0.04189 0.1351 0.0123 1 0.000247 0.2464 0.188 0.06658 0.258 1.91 1.954 0.3997 1.161 1 1 0.0905 0.3663 0.4386 0.4264 1.726 2.067 json
t12_x15_u6_b102 12 15 6 102 nrm(dot(D,div(R,P))) 32721 98054535 o1(o2(x,o2(x,x))) true 91615 91615 -0.2243 0.3923 0.5479 0.3377 0.5811 -1 0.5774 1.577 1 3.823 0.04256 0.04277 0.1182 -0.002456 1 -0.00004832 0.2441 0.1759 0.07135 0.2671 2.26 2.23 0.2527 0.7228 1 1 0.08778 0.3409 0.5835 0.2599 1.009 1.728 json
t12_x15_u6_b103 12 15 6 103 nrm(dot(D,pow(R,P))) 32722 98054536 o1(o2(x,o2(x,x))) true 91623 91623 -0.9878 0.006287 0.9925 0.01437 0.1199 -1 0.5771 1.577 1 0.1401 0.002366 0.001506 0.003938 0.2222 1 -5.256e-11 0.009034 0.006493 0.003857 0.0621 15.77 1.615 0.2695 0.6286 1 1 0.006781 0.02516 0.05219 0.4718 1.751 3.632 json
t12_x15_u6_b104 12 15 6 104 nrm(dot(D,mod(R,P))) 32723 98054537 o1(o2(x,o2(x,x))) true 91631 91631 -0.2203 0.3957 0.5478 0.3395 0.5826 -1 0.5774 1.577 1 3.821 0.04431 0.04331 0.1212 0.01141 1 -0.0003284 0.2599 0.1826 0.07292 0.27 2.228 1.955 0.2581 0.7655 1 1 0.08962 0.3324 0.5606 0.264 0.9791 1.651 json
t12_x15_u6_b105 12 15 6 105 nrm(dot(D,lrg(R,P))) 32724 98054538 o1(o2(x,o2(x,x))) true 91639 91639 -0.3019 0.3541 0.5595 0.3319 0.5761 -1 0.577 1.577 1 3.724 0.0651 0.06587 0.1389 -0.005872 1 -0.00007386 0.5738 0.2237 0.1117 0.3342 2.406 2.23 0.3946 1.729 1 1 0.1019 0.2551 0.1646 0.3071 0.7686 0.496 json
t12_x15_u6_b106 12 15 6 106 nrm(dot(D,eql(R,P))) 32725 98054539 o1(o2(x,o2(x,x))) true 91647 91647 -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
t12_x15_u6_b107 12 15 6 107 nrm(dot(D,min(R,P))) 32726 98054540 o1(o2(x,o2(x,x))) true 91655 91655 -0.04515 0.4639 0.3895 0.1892 0.435 -1 0.5774 1.577 1 4.092 0.05042 0.0496 0.1556 0.00828 1 0.00009349 0.3113 0.2078 0.07581 0.2753 1.769 2.23 0.5286 1.645 1 1 0.0997 0.3399 0.2338 0.5269 1.796 1.236 json
t12_x15_u6_b108 12 15 6 108 nrm(dot(D,dot(R,P))) 32727 98054541 o1(o2(x,o2(x,x))) true 91663 91663 -0.07496 0.463 0.4531 0.2554 0.5054 -1 0.5774 1.577 1 4.06 0.1533 0.1522 0.2296 0.003396 1 -0.0000658 1.605 0.5076 0.2528 0.5028 2.19 2.231 1.196 6.284 1 1 0.2079 0.4984 0.4218 0.8138 1.951 1.651 json
t12_x15_u6_b109 12 15 6 109 nrm(dot(D,dst(R,P))) 32728 98054542 o1(o2(x,o2(x,x))) true 91671 91671 -0.0625 0.4688 0.3336 0.1636 0.4045 -1 0.5767 1.577 1 4.324 0.1529 0.1529 0.265 -5.849e-7 1 0.00006298 1.61 0.5182 0.2355 0.4852 1.831 2.224 1.868 9.843 1 1 0.2088 0.4196 8.362e-16 1.276 2.565 5.111e-15 json
t12_x15_u6_b110 12 15 6 110 nrm(dst(D,add(R,P))) 32729 98054543 o1(o2(x,o2(x,x))) true 91679 91679 0.5777 1 0.5777 1.421e-7 0.000377 0.5774 0.5774 1.192e-7 1 0 5.231e-16 5.229e-16 1.421e-8 1.678e-7 0 -6.822e-9 4.598e-15 1.917e-8 8.437e-16 2.905e-8 2.044 1.686e-7 7.361e-9 3.236e-8 1 1 4.815e-16 4.851e-16 4.888e-16 3.389e-9 3.414e-9 3.44e-9 json
t12_x15_u6_b111 12 15 6 111 nrm(dst(D,sub(R,P))) 32730 98054544 o1(o2(x,o2(x,x))) true 91687 91687 0.5777 1 0.5777 1.421e-7 0.000377 0.5774 0.5774 1.192e-7 1 0 5.248e-16 5.228e-16 1.427e-8 0.000001958 0 -7.291e-9 4.622e-15 1.931e-8 8.44e-16 2.905e-8 2.036 1.686e-7 7.372e-9 3.253e-8 1 1 4.753e-16 4.801e-16 4.964e-16 3.345e-9 3.379e-9 3.494e-9 json
t12_x15_u6_b112 12 15 6 112 nrm(dst(D,mlt(R,P))) 32731 98054545 o1(o2(x,o2(x,x))) true 91695 91695 0.5777 1 0.5777 1.421e-7 0.000377 0.5774 0.5774 1.192e-7 1 0 4.968e-16 4.953e-16 1.348e-8 0.000001455 0 -7.242e-9 4.378e-15 1.82e-8 8.1e-16 2.846e-8 2.111 1.686e-7 6.982e-9 3.081e-8 1 1 5.29e-16 5.336e-16 5.218e-16 3.723e-9 3.755e-9 3.672e-9 json
t12_x15_u6_b113 12 15 6 113 nrm(dst(D,div(R,P))) 32732 98054546 o1(o2(x,o2(x,x))) true 91703 91703 -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
t12_x15_u6_b114 12 15 6 114 nrm(dst(D,pow(R,P))) 32733 98054547 o1(o2(x,o2(x,x))) true 91711 91711 -0.9815 0.01172 0.9951 0.02883 0.1698 -1 0.5774 1.577 1 0.09198 0.003761 0.002507 0.003945 0.2 1 -2.215e-10 0.01316 0.007948 0.006259 0.07911 20.05 2.231 0.2174 0.4566 1 1 0.01103 0.04411 0.1048 0.3825 1.53 3.633 json
t12_x15_u6_b115 12 15 6 115 nrm(dst(D,mod(R,P))) 32734 98054548 o1(o2(x,o2(x,x))) true 91719 91719 0.2075 0.7656 0.6767 0.4465 0.6682 -1 0.5774 1.577 1 0.7856 0.01724 0.01724 0.02184 0 1 -6.26e-9 0.06927 0.04372 0.03401 0.1844 8.443 2.231 0.07722 0.1551 1 1 0.04356 0.1742 0.697 0.09755 0.3902 1.561 json
t12_x15_u6_b116 12 15 6 116 nrm(dst(D,lrg(R,P))) 32735 98054549 o1(o2(x,o2(x,x))) true 91727 91727 0.5777 1 0.5777 1.421e-7 0.0003769 0.5774 0.5774 1.192e-7 1 0 6.321e-16 6.129e-16 1.706e-8 0.00001913 0 -5.737e-9 5.439e-15 2.281e-8 9.542e-16 3.089e-8 1.811 1.333e-7 8.762e-9 3.828e-8 1 1 6.394e-16 6.463e-16 4.472e-16 4.5e-9 4.548e-9 3.148e-9 json
t12_x15_u6_b117 12 15 6 117 nrm(dst(D,eql(R,P))) 32736 98054550 o1(o2(x,o2(x,x))) true 91735 91735 0.5777 1 0.5777 1.421e-7 0.0003769 0.5774 0.5774 5.96e-8 1 0 7.984e-16 8.002e-16 2.301e-8 -0.00000179 0 -2.679e-8 8.622e-15 3.616e-8 1.069e-15 3.27e-8 1.421 8.429e-8 1.125e-8 6.068e-8 1 1 8.125e-16 9.432e-16 0 5.719e-9 6.639e-9 0 json
t12_x15_u6_b118 12 15 6 118 nrm(dst(D,min(R,P))) 32737 98054551 o1(o2(x,o2(x,x))) true 91743 91743 0.5777 1 0.5777 1.421e-7 0.000377 0.5774 0.5774 1.192e-7 1 0 5.027e-16 5.02e-16 1.367e-8 6.154e-7 0 -7.133e-9 4.411e-15 1.842e-8 8.183e-16 2.861e-8 2.093 1.686e-7 7.071e-9 3.104e-8 1 1 4.886e-16 4.846e-16 4.898e-16 3.438e-9 3.411e-9 3.447e-9 json
t12_x15_u6_b119 12 15 6 119 nrm(dst(D,dot(R,P))) 32738 98054552 o1(o2(x,o2(x,x))) true 91751 91751 0.5777 1 0.5777 1.421e-7 0.000377 0.5774 0.5774 1.192e-7 1 0 4.856e-16 4.882e-16 1.319e-8 -0.000002573 0 -7.096e-9 4.205e-15 1.76e-8 7.994e-16 2.827e-8 2.143 1.686e-7 6.853e-9 2.959e-8 1 1 4.852e-16 4.88e-16 4.889e-16 3.414e-9 3.435e-9 3.441e-9 json
t12_x15_u6_b120 12 15 6 120 nrm(dst(D,dst(R,P))) 32739 98054553 o1(o2(x,o2(x,x))) true 91759 91759 0.5777 1 0.5777 1.421e-7 0.000377 0.5774 0.5774 1.192e-7 1 0 4.803e-16 4.821e-16 1.311e-8 -0.00000179 0 -7.227e-9 4.29e-15 1.791e-8 7.909e-16 2.812e-8 2.144 1.686e-7 6.774e-9 3.019e-8 1 1 4.833e-16 4.878e-16 4.879e-16 3.401e-9 3.433e-9 3.434e-9 json
t12_x16_u0_b0 12 16 0 0 sqt(add(D,add(R,D))) 32740 98093628 o1(o2(x,o2(x,x))) true 91767 91767 -0.9306 0.04297 0.9834 0.1086 0.3296 -1 0.9494 1.949 1 0.407 0.06238 0.00965 0.04708 0.7321 1 0.00003695 0.164 0.08967 0.06981 0.2642 5.612 2.738 0.6631 1.51 1 1 0.06231 0.1417 0.2069 0.5736 1.304 1.905 json
t12_x16_u0_b1 12 16 0 1 sqt(add(D,sub(R,D))) 32741 98093629 o1(o2(x,o2(x,x))) true 91775 91775 -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
t12_x16_u0_b2 12 16 0 2 sqt(add(D,mlt(R,D))) 32742 98093630 o1(o2(x,o2(x,x))) true 91783 91783 -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
t12_x16_u0_b3 12 16 0 3 sqt(add(D,div(R,D))) 32743 98093631 o1(o2(x,o2(x,x))) true 91791 91791 -0.8462 0.07959 0.9946 0.275 0.5244 -1 1 2 1 0.5221 0.1049 0.02294 0.06794 0.6412 1 -0.000005443 0.2896 0.1326 0.1232 0.351 5.167 2.828 0.465 1.053 1 1 0.1308 0.4216 0.5541 0.4758 1.533 2.015 json
t12_x16_u0_b4 12 16 0 4 sqt(add(D,pow(R,D))) 32744 98093632 o1(o2(x,o2(x,x))) true 91799 91799 -0.9149 0.04297 0.9992 0.1614 0.4017 -1 1 2 1 0.28 0.01682 0.01603 0.01665 0.02389 1 0.000004987 0.06881 0.03318 0.03256 0.1804 10.84 2.828 0.2036 0.4264 1 1 0.0251 0.1076 0.2694 0.1555 0.6666 1.67 json
t12_x16_u0_b5 12 16 0 5 sqt(add(D,mod(R,D))) 32745 98093633 o1(o2(x,o2(x,x))) true 91807 91807 -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
t12_x16_u0_b6 12 16 0 6 sqt(add(D,lrg(R,D))) 32746 98093634 o1(o2(x,o2(x,x))) true 91815 91815 0.005211 0.5762 0.8528 0.775 0.8803 -1 1 2 1 2.911 0.2456 0.04448 0.197 0.6933 1 0.0006475 0.6254 0.352 0.2513 0.5013 2.545 2.828 0.3743 0.807 1 1 0.2899 0.8917 1.147 0.3741 1.151 1.48 json
t12_x16_u0_b7 12 16 0 7 sqt(add(D,eql(R,D))) 32747 98093635 o1(o2(x,o2(x,x))) true 91823 91823 -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
t12_x16_u0_b8 12 16 0 8 sqt(add(D,min(R,D))) 32748 98093636 o1(o2(x,o2(x,x))) true 91831 91831 -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
t12_x16_u0_b9 12 16 0 9 sqt(add(D,dot(R,D))) 32749 98093637 o1(o2(x,o2(x,x))) true 91839 91839 -0.9647 0.02612 0.983 0.04687 0.2165 -1 0.6356 1.636 1 0.2571 0.03517 0.009807 0.0338 0.564 1 -0.0001232 0.1332 0.06924 0.04384 0.2094 6.195 2.222 0.9596 2.841 1 1 0.04256 0.09613 0.1046 0.9081 2.051 2.232 json
t12_x16_u0_b10 12 16 0 10 sqt(add(D,dst(R,D))) 32750 98093638 o1(o2(x,o2(x,x))) true 91847 91847 0.6557 0.8542 0.9473 0.4774 0.6909 -1 1 2 1 1.994 0.1649 0.07457 0.132 0.3773 1 -0.0001203 0.6907 0.2567 0.2221 0.4713 3.57 2.828 0.5017 1.447 1 1 0.2286 0.7254 0.9596 0.4789 1.52 2.01 json
t12_x16_u0_b11 12 16 0 11 sqt(sub(D,add(R,D))) 32751 98093639 o1(o2(x,o2(x,x))) true 91855 91855 -0.8813 0.07031 0.9781 0.1889 0.4346 -1 0.9994 1.999 1 0.6096 0.01566 0.01984 0.02196 -0.1179 1 0.00000118 0.07426 0.04149 0.03502 0.1871 8.522 2.748 0.188 0.3931 1 1 0.03616 0.153 0.4151 0.1914 0.8099 2.198 json
t12_x16_u0_b12 12 16 0 12 sqt(sub(D,sub(R,D))) 32752 98093640 o1(o2(x,o2(x,x))) true 91863 91863 -0.9274 0.04541 0.9818 0.1124 0.3353 -1 0.9677 1.968 1 0.4288 0.07083 0.009019 0.0526 0.7741 1 0.001006 0.1854 0.1001 0.07708 0.2776 5.278 2.783 0.7101 1.649 1 1 0.08191 0.1774 0.188 0.7284 1.578 1.672 json
t12_x16_u0_b13 12 16 0 13 sqt(sub(D,mlt(R,D))) 32753 98093641 o1(o2(x,o2(x,x))) true 91871 91871 -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
t12_x16_u0_b14 12 16 0 14 sqt(sub(D,div(R,D))) 32754 98093642 o1(o2(x,o2(x,x))) true 91879 91879 -0.8701 0.06616 0.9976 0.2389 0.4888 -1 1 2 1 0.4174 0.09456 0.02287 0.06035 0.6105 1 0.0005175 0.267 0.1193 0.1137 0.3372 5.588 2.828 0.4915 1.117 1 1 0.1028 0.2885 0.4395 0.4301 1.207 1.839 json
t12_x16_u0_b15 12 16 0 15 sqt(sub(D,pow(R,D))) 32755 98093643 o1(o2(x,o2(x,x))) true 91887 91887 -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
t12_x16_u0_b16 12 16 0 16 sqt(sub(D,mod(R,D))) 32756 98093644 o1(o2(x,o2(x,x))) true 91895 91895 -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
t12_x16_u0_b17 12 16 0 17 sqt(sub(D,lrg(R,D))) 32757 98093645 o1(o2(x,o2(x,x))) true 91903 91903 -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
t12_x16_u0_b18 12 16 0 18 sqt(sub(D,eql(R,D))) 32758 98093646 o1(o2(x,o2(x,x))) true 91911 91911 -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
t12_x16_u0_b19 12 16 0 19 sqt(sub(D,min(R,D))) 32759 98093647 o1(o2(x,o2(x,x))) true 91919 91919 0.3495 0.9246 0.3495 0.08599 0.2932 0 1 1 1 3.693 0.002529 0.001198 0.0499 0.3572 1 0.00002724 0.001069 0.01907 0.001237 0.03517 0.7048 0.2361 0.04333 0.01243 1 1 0.006755 0.07086 0.145 0.07856 0.824 1.687 json
t12_x16_u0_b20 12 16 0 20 sqt(sub(D,dot(R,D))) 32760 98093648 o1(o2(x,o2(x,x))) true 91927 91927 -0.9611 0.02837 0.9821 0.05227 0.2286 -1 0.6825 1.682 1 0.2761 0.03277 0.01209 0.03312 0.4611 1 0.00007531 0.1338 0.068 0.04373 0.2091 6.314 2.361 0.8582 2.56 1 1 0.04065 0.09984 0.1114 0.7777 1.91 2.131 json
t12_x16_u0_b21 12 16 0 21 sqt(sub(D,dst(R,D))) 32761 98093649 o1(o2(x,o2(x,x))) true 91935 91935 -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
t12_x16_u0_b22 12 16 0 22 sqt(mlt(D,add(R,D))) 32762 98093650 o1(o2(x,o2(x,x))) true 91943 91943 -0.6105 0.2781 0.8333 0.4031 0.6349 -1 0.8574 1.857 1 1.83 0.1225 0.03213 0.1332 0.5846 1 -0.0007741 0.3341 0.2363 0.1369 0.37 2.777 2.456 0.3837 0.8288 1 1 0.1551 0.5313 0.7961 0.3847 1.318 1.975 json
t12_x16_u0_b23 12 16 0 23 sqt(mlt(D,sub(R,D))) 32763 98093651 o1(o2(x,o2(x,x))) true 91951 91951 -0.9936 0.004639 0.9971 0.008754 0.09356 -1 0.4539 1.454 1 0.05041 0.001818 0.001135 0.002208 0.2316 1 1.126e-11 0.006291 0.004352 0.002948 0.0543 24.59 1.928 0.3373 0.7187 1 1 0.005255 0.01924 0.02754 0.6003 2.198 3.146 json
t12_x16_u0_b24 12 16 0 24 sqt(mlt(D,mlt(R,D))) 32764 98093652 o1(o2(x,o2(x,x))) true 91959 91959 -0.9481 0.04297 0.966 0.06065 0.2463 -1 0.4816 1.482 1 0.3778 0.004507 0.006148 0.01099 -0.154 1 -0.00004454 0.02154 0.01881 0.01054 0.1026 9.339 1.482 0.1757 0.3551 1 1 0.008384 0.04132 0.1026 0.1382 0.6813 1.691 json
t12_x16_u0_b25 12 16 0 25 sqt(mlt(D,div(R,D))) 32765 98093653 o1(o2(x,o2(x,x))) true 91967 91967 -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
t12_x16_u0_b26 12 16 0 26 sqt(mlt(D,pow(R,D))) 32766 98093654 o1(o2(x,o2(x,x))) true 91975 91975 -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
t12_x16_u0_b27 12 16 0 27 sqt(mlt(D,mod(R,D))) 32767 98093655 o1(o2(x,o2(x,x))) true 91983 91983 -0.9539 0.03906 0.968 0.05284 0.2299 -1 0.484 1.484 1 0.345 0.005351 0.005671 0.01186 -0.0291 1 -3.388e-7 0.02281 0.02209 0.01088 0.1043 8.794 1.487 0.2086 0.4317 1 1 0.01197 0.05484 0.1183 0.2265 1.038 2.238 json
t12_x16_u0_b28 12 16 0 28 sqt(mlt(D,lrg(R,D))) 32768 98093656 o1(o2(x,o2(x,x))) true 91991 91991 -0.9073 0.02266 0.914 0.08858 0.2976 -1 0.4565 1.457 1 0.5216 0.03137 0.007533 0.03806 0.6127 1 -8.814e-7 0.08622 0.0756 0.03746 0.1936 5.085 1.544 0.4391 0.9733 1 1 0.0415 0.1227 0.1635 0.4685 1.386 1.846 json
t12_x16_u0_b29 12 16 0 29 sqt(mlt(D,eql(R,D))) 32769 98093657 o1(o2(x,o2(x,x))) true 91999 91999 -0.0002441 0 0.0002441 0.0002441 0.01562 -1 0 1 1 0.003282 0.0004409 0.00001575 0.0004567 0.931 1 0 0.001417 0.0009133 0.0004564 0.02136 46.78 1 1.871 5.806 1 1 0 0 0.0002078 0 0 0.8512 json
t12_x16_u0_b30 12 16 0 30 sqt(mlt(D,min(R,D))) 32770 98093658 o1(o2(x,o2(x,x))) true 92007 92007 -0.7171 0.2188 0.8454 0.2912 0.5396 -1 0.6228 1.623 1 1.434 0.02396 0.02785 0.05419 -0.07494 1 -0.0001651 0.1037 0.08747 0.04887 0.2211 4.08 1.648 0.1779 0.356 1 1 0.05606 0.2732 0.6387 0.1925 0.9382 2.193 json
t12_x16_u0_b31 12 16 0 31 sqt(mlt(D,dot(R,D))) 32771 98093659 o1(o2(x,o2(x,x))) true 92015 92015 -0.934 0.05403 0.9579 0.07703 0.2776 -1 0.5252 1.525 1 0.4591 0.02186 0.0214 0.03588 0.01054 1 -0.0001256 0.1376 0.07382 0.04197 0.2049 5.71 2.027 0.5616 1.786 1 1 0.03658 0.1072 0.139 0.4748 1.392 1.804 json
t12_x16_u0_b32 12 16 0 32 sqt(mlt(D,dst(R,D))) 32772 98093660 o1(o2(x,o2(x,x))) true 92023 92023 -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
t12_x16_u0_b33 12 16 0 33 sqt(div(D,add(R,D))) 32773 98093661 o1(o2(x,o2(x,x))) true 92031 92031 -0.5248 0.2781 0.919 0.604 0.7772 -1 1 2 1 1.799 0.2154 0.04632 0.1663 0.646 1 -0.001148 0.5793 0.3075 0.2339 0.4837 2.908 2.828 0.4333 0.9592 1 1 0.2491 0.7692 1.164 0.4124 1.274 1.926 json
t12_x16_u0_b34 12 16 0 34 sqt(div(D,sub(R,D))) 32774 98093662 o1(o2(x,o2(x,x))) true 92039 92039 -0.991 0.004639 0.9998 0.0176 0.1327 -1 1 2 1 0.04901 0.003633 0.002276 0.003174 0.2297 1 1.877e-11 0.01266 0.006249 0.005899 0.0768 24.2 2.828 0.3357 0.7194 1 1 0.01044 0.03909 0.05598 0.5932 2.221 3.18 json
t12_x16_u0_b35 12 16 0 35 sqt(div(D,mlt(R,D))) 32775 98093663 o1(o2(x,o2(x,x))) true 92047 92047 -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
t12_x16_u0_b36 12 16 0 36 sqt(div(D,div(R,D))) 32776 98093664 o1(o2(x,o2(x,x))) true 92055 92055 -0.9385 0.04297 0.9756 0.08724 0.2954 -1 1 2 1 0.4204 0.005072 0.008685 0.01383 -0.2627 1 -0.00008376 0.02673 0.021 0.01356 0.1164 8.423 2.005 0.1577 0.3063 1 1 0.01116 0.05849 0.1464 0.1279 0.6704 1.678 json
t12_x16_u0_b37 12 16 0 37 sqt(div(D,pow(R,D))) 32777 98093665 o1(o2(x,o2(x,x))) true 92063 92063 -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
t12_x16_u0_b38 12 16 0 38 sqt(div(D,mod(R,D))) 32778 98093666 o1(o2(x,o2(x,x))) true 92071 92071 -0.9219 0.03906 1 0.1501 0.3874 -1 1 2 1 0.238 0.01965 0.01612 0.01776 0.09859 1 0 0.07559 0.03578 0.03547 0.1883 10.6 2.828 0.2384 0.5037 1 1 0.03789 0.1542 0.336 0.2525 1.028 2.239 json
t12_x16_u0_b39 12 16 0 39 sqt(div(D,lrg(R,D))) 32779 98093667 o1(o2(x,o2(x,x))) true 92079 92079 -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
t12_x16_u0_b40 12 16 0 40 sqt(div(D,eql(R,D))) 32780 98093668 o1(o2(x,o2(x,x))) true 92087 92087 -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
t12_x16_u0_b41 12 16 0 41 sqt(div(D,min(R,D))) 32781 98093669 o1(o2(x,o2(x,x))) true 92095 92095 -0.5761 0.2188 0.9864 0.6471 0.8044 -1 1 2 1 1.044 0.06818 0.06264 0.07292 0.04231 1 -0.00004561 0.2717 0.1377 0.1255 0.3543 4.859 2.828 0.2022 0.4199 1 1 0.1366 0.5915 1.403 0.2111 0.914 2.169 json
t12_x16_u0_b42 12 16 0 42 sqt(div(D,dot(R,D))) 32782 98093670 o1(o2(x,o2(x,x))) true 92103 92103 -0.8961 0.05403 0.9959 0.1905 0.4365 -1 1 2 1 0.3849 0.05836 0.05943 0.05827 -0.009084 1 -0.0001626 0.3851 0.1215 0.1144 0.3382 5.805 2.828 0.6183 2.021 1 1 0.09555 0.2617 0.3366 0.5016 1.374 1.767 json
t12_x16_u0_b43 12 16 0 43 sqt(div(D,dst(R,D))) 32783 98093671 o1(o2(x,o2(x,x))) true 92111 92111 -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
t12_x16_u0_b44 12 16 0 44 sqt(pow(D,add(R,D))) 32784 98093672 o1(o2(x,o2(x,x))) true 92119 92119 -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
t12_x16_u0_b45 12 16 0 45 sqt(pow(D,sub(R,D))) 32785 98093673 o1(o2(x,o2(x,x))) true 92127 92127 -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
t12_x16_u0_b46 12 16 0 46 sqt(pow(D,mlt(R,D))) 32786 98093674 o1(o2(x,o2(x,x))) true 92135 92135 -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
t12_x16_u0_b47 12 16 0 47 sqt(pow(D,div(R,D))) 32787 98093675 o1(o2(x,o2(x,x))) true 92143 92143 -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
t12_x16_u0_b48 12 16 0 48 sqt(pow(D,pow(R,D))) 32788 98093676 o1(o2(x,o2(x,x))) true 92151 92151 -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
t12_x16_u0_b49 12 16 0 49 sqt(pow(D,mod(R,D))) 32789 98093677 o1(o2(x,o2(x,x))) true 92159 92159 -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
t12_x16_u0_b50 12 16 0 50 sqt(pow(D,lrg(R,D))) 32790 98093678 o1(o2(x,o2(x,x))) true 92167 92167 -0.8233 0.08936 0.998 0.3189 0.5647 -1 1 2 1 0.4935 0.1168 0.02706 0.07243 0.6239 1 4.932e-7 0.3191 0.1451 0.1386 0.3723 5.14 2.828 0.4512 1.001 1 1 0.152 0.4465 0.5708 0.4765 1.4 1.79 json
t12_x16_u0_b51 12 16 0 51 sqt(pow(D,eql(R,D))) 32791 98093679 o1(o2(x,o2(x,x))) true 92175 92175 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
t12_x16_u0_b52 12 16 0 52 sqt(pow(D,min(R,D))) 32792 98093680 o1(o2(x,o2(x,x))) true 92183 92183 -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
t12_x16_u0_b53 12 16 0 53 sqt(pow(D,dot(R,D))) 32793 98093681 o1(o2(x,o2(x,x))) true 92191 92191 -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
t12_x16_u0_b54 12 16 0 54 sqt(pow(D,dst(R,D))) 32794 98093682 o1(o2(x,o2(x,x))) true 92199 92199 -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
t12_x16_u0_b55 12 16 0 55 sqt(mod(D,add(R,D))) 32795 98093683 o1(o2(x,o2(x,x))) true 92207 92207 -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
t12_x16_u0_b56 12 16 0 56 sqt(mod(D,sub(R,D))) 32796 98093684 o1(o2(x,o2(x,x))) true 92215 92215 -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
t12_x16_u0_b57 12 16 0 57 sqt(mod(D,mlt(R,D))) 32797 98093685 o1(o2(x,o2(x,x))) true 92223 92223 -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
t12_x16_u0_b58 12 16 0 58 sqt(mod(D,div(R,D))) 32798 98093686 o1(o2(x,o2(x,x))) true 92231 92231 -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
t12_x16_u0_b59 12 16 0 59 sqt(mod(D,pow(R,D))) 32799 98093687 o1(o2(x,o2(x,x))) true 92239 92239 -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