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_x17_u5_b68 16 17 5 68 lrg(D,sgn(mlt(R,R))) 89700 130617506 o2(x,o1(o2(x,x))) true 34407 34407 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_x17_u5_b69 16 17 5 69 lrg(D,sgn(div(R,R))) 89701 130617507 o2(x,o1(o2(x,x))) true 34415 34415 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_x17_u5_b70 16 17 5 70 lrg(D,sgn(pow(R,R))) 89702 130617508 o2(x,o1(o2(x,x))) true 34423 34423 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_x17_u5_b71 16 17 5 71 lrg(D,sgn(mod(R,R))) 89703 130617509 o2(x,o1(o2(x,x))) true 34431 34431 0.5147 0.9921 0.5147 0.1467 0.383 8.471e-8 1 1 1 3.48 0.04822 0.0008048 0.1044 0.9672 1 0.00003279 0.08931 0.1056 0.03813 0.1953 1.871 1 0.3343 0.6089 1 1 0.05112 0.2071 0.138 0.3485 1.412 0.9408 json
t16_x17_u5_b72 16 17 5 72 lrg(D,sgn(lrg(R,R))) 89704 130617510 o2(x,o1(o2(x,x))) true 34439 34439 0.5 1 0.5 0.1418 0.3765 0.000291 0.9997 0.9994 1 3.406 0.06511 0 0.1228 1 1 0 0.1208 0.1337 0.05001 0.2236 1.821 0.9994 0.4593 0.8522 1 1 0.07073 0.2419 0 0.4989 1.706 0 json
t16_x17_u5_b73 16 17 5 73 lrg(D,sgn(eql(R,R))) 89705 130617511 o2(x,o1(o2(x,x))) true 34447 34447 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_x17_u5_b74 16 17 5 74 lrg(D,sgn(min(R,R))) 89706 130617512 o2(x,o1(o2(x,x))) true 34455 34455 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_x17_u5_b75 16 17 5 75 lrg(D,sgn(dot(R,R))) 89707 130617513 o2(x,o1(o2(x,x))) true 34463 34463 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_x17_u5_b76 16 17 5 76 lrg(D,sgn(dst(R,R))) 89708 130617514 o2(x,o1(o2(x,x))) true 34471 34471 0.5 1 0.5 0.1418 0.3765 0.000291 0.9997 0.9994 1 3.406 0.06511 0 0.1228 1 1 0 0.1208 0.1337 0.05001 0.2236 1.821 0.9994 0.4593 0.8522 1 1 0.07073 0.2419 0 0.4989 1.706 0 json
t16_x17_u5_b77 16 17 5 77 eql(D,sgn(add(R,R))) 89709 130617515 o2(x,o1(o2(x,x))) true 34479 34479 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_x17_u5_b78 16 17 5 78 eql(D,sgn(sub(R,R))) 89710 130617516 o2(x,o1(o2(x,x))) true 34487 34487 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_x17_u5_b79 16 17 5 79 eql(D,sgn(mlt(R,R))) 89711 130617517 o2(x,o1(o2(x,x))) true 34495 34495 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_x17_u5_b80 16 17 5 80 eql(D,sgn(div(R,R))) 89712 130617518 o2(x,o1(o2(x,x))) true 34503 34503 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_x17_u5_b81 16 17 5 81 eql(D,sgn(pow(R,R))) 89713 130617519 o2(x,o1(o2(x,x))) true 34511 34511 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_x17_u5_b82 16 17 5 82 eql(D,sgn(mod(R,R))) 89714 130617520 o2(x,o1(o2(x,x))) true 34519 34519 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_x17_u5_b83 16 17 5 83 eql(D,sgn(lrg(R,R))) 89715 130617521 o2(x,o1(o2(x,x))) true 34527 34527 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_x17_u5_b84 16 17 5 84 eql(D,sgn(eql(R,R))) 89716 130617522 o2(x,o1(o2(x,x))) true 34535 34535 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_x17_u5_b85 16 17 5 85 eql(D,sgn(min(R,R))) 89717 130617523 o2(x,o1(o2(x,x))) true 34543 34543 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_x17_u5_b86 16 17 5 86 eql(D,sgn(dot(R,R))) 89718 130617524 o2(x,o1(o2(x,x))) true 34551 34551 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_x17_u5_b87 16 17 5 87 eql(D,sgn(dst(R,R))) 89719 130617525 o2(x,o1(o2(x,x))) true 34559 34559 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_x17_u5_b88 16 17 5 88 min(D,sgn(add(R,R))) 89720 130617526 o2(x,o1(o2(x,x))) true 34567 34567 -0.5165 0.1481 0.5411 0.1671 0.4088 -1 0.1454 1.145 1 3.844 0.002918 0.002606 0.06083 0.05649 1 -0.00004437 0.0003944 0.01544 0.001823 0.0427 0.7019 0.1529 0.03305 0.00236 1 1 0.01087 0.1336 0.3079 0.06504 0.7992 1.842 json
t16_x17_u5_b89 16 17 5 89 min(D,sgn(sub(R,R))) 89721 130617527 o2(x,o1(o2(x,x))) true 34575 34575 -0.143 0 0.143 0.009237 0.09611 -0.2729 -0.000282 0.2726 1 2.227 0.001451 0 0.03416 1 1 0.0003063 0.0002653 0.01361 0.0002853 0.01689 0.4945 0.06184 0.1571 0.02873 1 1 0.002788 0.01827 0 0.3018 1.978 0 json
t16_x17_u5_b90 16 17 5 90 min(D,sgn(mlt(R,R))) 89722 130617528 o2(x,o1(o2(x,x))) true 34583 34583 0 0.5 0.09436 0.01082 0.104 -0.1454 0.1454 0.2908 1 2.561 0.001632 0 0.0361 1 1 0 0.0002563 0.01459 0.0003304 0.01818 0.5036 0.06192 0.1508 0.02368 1 1 0.003151 0.02183 0 0.2912 2.017 0 json
t16_x17_u5_b91 16 17 5 91 min(D,sgn(div(R,R))) 89723 130617529 o2(x,o1(o2(x,x))) true 34591 34591 0 0.5 0.09436 0.01082 0.104 -0.1454 0.1454 0.2908 1 2.561 0.001632 0 0.0361 1 1 0 0.0002563 0.01459 0.0003304 0.01818 0.5036 0.06192 0.1508 0.02368 1 1 0.003151 0.02183 0 0.2912 2.017 0 json
t16_x17_u5_b92 16 17 5 92 min(D,sgn(pow(R,R))) 89724 130617530 o2(x,o1(o2(x,x))) true 34599 34599 -0.5165 0.1481 0.5411 0.1671 0.4088 -1 0.1454 1.145 1 3.844 0.002918 0.002606 0.06083 0.05649 1 -0.00004437 0.0003944 0.01544 0.001823 0.0427 0.7019 0.1529 0.03305 0.00236 1 1 0.01087 0.1336 0.3079 0.06504 0.7992 1.842 json
t16_x17_u5_b93 16 17 5 93 min(D,sgn(mod(R,R))) 89725 130617531 o2(x,o1(o2(x,x))) true 34607 34607 -0.2365 0.04874 0.2428 0.06607 0.257 -1 0.1454 1.145 1 3.426 0.002111 0.0007431 0.04568 0.4792 1 0.0002372 0.0003074 0.01457 0.0007676 0.02771 0.6065 0.1529 0.04319 0.004653 1 1 0.006195 0.06704 0.134 0.09376 1.015 2.028 json
t16_x17_u5_b94 16 17 5 94 min(D,sgn(lrg(R,R))) 89726 130617532 o2(x,o1(o2(x,x))) true 34615 34615 -0.143 0 0.143 0.009237 0.09611 -0.2729 -0.000282 0.2726 1 2.227 0.001451 0 0.03416 1 1 0.0003063 0.0002653 0.01361 0.0002853 0.01689 0.4945 0.06184 0.1571 0.02873 1 1 0.002788 0.01827 0 0.3018 1.978 0 json
t16_x17_u5_b95 16 17 5 95 min(D,sgn(eql(R,R))) 89727 130617533 o2(x,o1(o2(x,x))) true 34623 34623 0 0.5 0.09436 0.01082 0.104 -0.1454 0.1454 0.2908 1 2.561 0.001632 0 0.0361 1 1 0 0.0002563 0.01459 0.0003304 0.01818 0.5036 0.06192 0.1508 0.02368 1 1 0.003151 0.02183 0 0.2912 2.017 0 json
t16_x17_u5_b96 16 17 5 96 min(D,sgn(min(R,R))) 89728 130617534 o2(x,o1(o2(x,x))) true 34631 34631 -0.5165 0.1481 0.5411 0.1671 0.4088 -1 0.1454 1.145 1 3.844 0.002918 0.002606 0.06083 0.05649 1 -0.00004437 0.0003944 0.01544 0.001823 0.0427 0.7019 0.1529 0.03305 0.00236 1 1 0.01087 0.1336 0.3079 0.06504 0.7992 1.842 json
t16_x17_u5_b97 16 17 5 97 min(D,sgn(dot(R,R))) 89729 130617535 o2(x,o1(o2(x,x))) true 34639 34639 0 0.5 0.09436 0.01082 0.104 -0.1454 0.1454 0.2908 1 2.561 0.001632 0 0.0361 1 1 0 0.0002563 0.01459 0.0003304 0.01818 0.5036 0.06192 0.1508 0.02368 1 1 0.003151 0.02183 0 0.2912 2.017 0 json
t16_x17_u5_b98 16 17 5 98 min(D,sgn(dst(R,R))) 89730 130617536 o2(x,o1(o2(x,x))) true 34647 34647 -0.143 0 0.143 0.009237 0.09611 -0.2729 -0.000282 0.2726 1 2.227 0.001451 0 0.03416 1 1 0.0003063 0.0002653 0.01361 0.0002853 0.01689 0.4945 0.06184 0.1571 0.02873 1 1 0.002788 0.01827 0 0.3018 1.978 0 json
t16_x17_u5_b99 16 17 5 99 dot(D,sgn(add(R,R))) 89731 130617537 o2(x,o1(o2(x,x))) true 34655 34655 0.006704 0.5042 0.2362 0.08716 0.2952 -0.8101 0.8101 1.62 1 4.246 0.00288 0.002971 0.07096 -0.01559 1 -0.00018 0.000595 0.02002 0.0008168 0.02858 0.4028 0.1704 0.06713 0.006827 1 1 0.01136 0.1275 0.1818 0.1303 1.463 2.086 json
t16_x17_u5_b100 16 17 5 100 dot(D,sgn(sub(R,R))) 89732 130617538 o2(x,o1(o2(x,x))) true 34663 34663 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_x17_u5_b101 16 17 5 101 dot(D,sgn(mlt(R,R))) 89733 130617539 o2(x,o1(o2(x,x))) true 34671 34671 -3.658e-9 0.4688 0.1187 0.02164 0.1471 -0.2908 0.2908 0.5817 1 3.165 0.001632 0.001632 0.05456 1.783e-7 1 -9.255e-10 0.0005126 0.01826 0.0002881 0.01697 0.3111 0.08757 0.1508 0.02368 1 1 0.006301 0.04366 0 0.2911 2.017 0 json
t16_x17_u5_b102 16 17 5 102 dot(D,sgn(div(R,R))) 89734 130617540 o2(x,o1(o2(x,x))) true 34679 34679 -3.658e-9 0.4688 0.1187 0.02164 0.1471 -0.2908 0.2908 0.5817 1 3.165 0.001632 0.001632 0.05456 1.783e-7 1 -9.255e-10 0.0005126 0.01826 0.0002881 0.01697 0.3111 0.08757 0.1508 0.02368 1 1 0.006301 0.04366 0 0.2911 2.017 0 json
t16_x17_u5_b103 16 17 5 103 dot(D,sgn(pow(R,R))) 89735 130617541 o2(x,o1(o2(x,x))) true 34687 34687 0.006704 0.5042 0.2362 0.08716 0.2952 -0.8101 0.8101 1.62 1 4.246 0.00288 0.002971 0.07096 -0.01559 1 -0.00018 0.000595 0.02002 0.0008168 0.02858 0.4028 0.1704 0.06713 0.006827 1 1 0.01136 0.1275 0.1818 0.1303 1.463 2.086 json
t16_x17_u5_b104 16 17 5 104 dot(D,sgn(mod(R,R))) 89736 130617542 o2(x,o1(o2(x,x))) true 34695 34695 0.002235 0.42 0.09676 0.02108 0.1452 -0.5731 0.5731 1.146 1 3.1 0.0006726 0.0006523 0.02808 0.01532 1 -0.00006327 0.0001286 0.007968 0.0005362 0.02316 0.8246 0.1319 0.06286 0.006102 1 1 0.002863 0.03222 0.04398 0.1358 1.529 2.087 json
t16_x17_u5_b105 16 17 5 105 dot(D,sgn(lrg(R,R))) 89737 130617543 o2(x,o1(o2(x,x))) true 34703 34703 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_x17_u5_b106 16 17 5 106 dot(D,sgn(eql(R,R))) 89738 130617544 o2(x,o1(o2(x,x))) true 34711 34711 3.452e-9 0.4688 0.1187 0.02164 0.1471 -0.2908 0.2908 0.5817 1 3.17 0.001632 0.001632 0.05456 1.783e-7 1 3.281e-9 0.0005126 0.01826 0.000288 0.01697 0.3111 0.08757 0.1508 0.02368 1 1 0.006301 0.04366 1.047e-14 0.2911 2.017 4.838e-13 json
t16_x17_u5_b107 16 17 5 107 dot(D,sgn(min(R,R))) 89739 130617545 o2(x,o1(o2(x,x))) true 34719 34719 0.006704 0.5042 0.2362 0.08716 0.2952 -0.8101 0.8101 1.62 1 4.246 0.00288 0.002971 0.07096 -0.01559 1 -0.00018 0.000595 0.02002 0.0008168 0.02858 0.4028 0.1704 0.06713 0.006827 1 1 0.01136 0.1275 0.1818 0.1303 1.463 2.086 json
t16_x17_u5_b108 16 17 5 108 dot(D,sgn(dot(R,R))) 89740 130617546 o2(x,o1(o2(x,x))) true 34727 34727 -3.658e-9 0.4688 0.1187 0.02164 0.1471 -0.2908 0.2908 0.5817 1 3.165 0.001632 0.001632 0.05456 1.783e-7 1 -9.255e-10 0.0005126 0.01826 0.0002881 0.01697 0.3111 0.08757 0.1508 0.02368 1 1 0.006301 0.04366 0 0.2911 2.017 0 json
t16_x17_u5_b109 16 17 5 109 dot(D,sgn(dst(R,R))) 89741 130617547 o2(x,o1(o2(x,x))) true 34735 34735 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_x17_u5_b110 16 17 5 110 dst(D,sgn(add(R,R))) 89742 130617548 o2(x,o1(o2(x,x))) true 34743 34743 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
t16_x17_u5_b111 16 17 5 111 dst(D,sgn(sub(R,R))) 89743 130617549 o2(x,o1(o2(x,x))) true 34751 34751 0.4439 1 0.4439 0.02504 0.1582 0.04473 0.7026 0.6579 1 3.252 0.001981 0.001981 0.05914 2.938e-7 1 -0.0006857 0.0006739 0.01958 0.000465 0.02156 0.3646 0.09377 0.1583 0.02692 1 1 0.007608 0.05068 0 0.3039 2.024 0 json
t16_x17_u5_b112 16 17 5 112 dst(D,sgn(mlt(R,R))) 89744 130617550 o2(x,o1(o2(x,x))) true 34759 34759 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
t16_x17_u5_b113 16 17 5 113 dst(D,sgn(div(R,R))) 89745 130617551 o2(x,o1(o2(x,x))) true 34767 34767 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
t16_x17_u5_b114 16 17 5 114 dst(D,sgn(pow(R,R))) 89746 130617552 o2(x,o1(o2(x,x))) true 34775 34775 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
t16_x17_u5_b115 16 17 5 115 dst(D,sgn(mod(R,R))) 89747 130617553 o2(x,o1(o2(x,x))) true 34783 34783 0.7422 1 0.7422 0.07608 0.2758 0.04419 1 0.9558 1 3.208 0.002352 0.002405 0.0515 -0.01129 1 -0.0003637 0.0008705 0.01724 0.002105 0.04588 0.891 0.2177 0.06253 0.01144 1 1 0.009213 0.08596 0.1288 0.1211 1.13 1.693 json
t16_x17_u5_b116 16 17 5 116 dst(D,sgn(lrg(R,R))) 89748 130617554 o2(x,o1(o2(x,x))) true 34791 34791 0.4439 1 0.4439 0.02504 0.1582 0.04473 0.7026 0.6579 1 3.252 0.001981 0.001981 0.05914 2.938e-7 1 -0.0006857 0.0006739 0.01958 0.000465 0.02156 0.3646 0.09377 0.1583 0.02692 1 1 0.007608 0.05068 0 0.3039 2.024 0 json
t16_x17_u5_b117 16 17 5 117 dst(D,sgn(eql(R,R))) 89749 130617555 o2(x,o1(o2(x,x))) true 34799 34799 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
t16_x17_u5_b118 16 17 5 118 dst(D,sgn(min(R,R))) 89750 130617556 o2(x,o1(o2(x,x))) true 34807 34807 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
t16_x17_u5_b119 16 17 5 119 dst(D,sgn(dot(R,R))) 89751 130617557 o2(x,o1(o2(x,x))) true 34815 34815 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
t16_x17_u5_b120 16 17 5 120 dst(D,sgn(dst(R,R))) 89752 130617558 o2(x,o1(o2(x,x))) true 34823 34823 0.4439 1 0.4439 0.02504 0.1582 0.04473 0.7026 0.6579 1 3.252 0.001981 0.001981 0.05914 2.938e-7 1 -0.0006857 0.0006739 0.01958 0.000465 0.02156 0.3646 0.09377 0.1583 0.02692 1 1 0.007608 0.05068 0 0.3039 2.024 0 json
t16_x17_u6_b0 16 17 6 0 add(D,nrm(add(R,R))) 89753 130617639 o2(x,o1(o2(x,x))) true 34831 34831 -0.004308 0.4902 0.4015 0.2205 0.4695 -1 1 2 1 4.857 0.004406 0.002943 0.07461 0.1991 1 -0.000007122 0.0005997 0.01905 0.001782 0.04222 0.5659 0.2653 0.03334 0.00272 1 1 0.01439 0.1659 0.3697 0.06529 0.7525 1.677 json
t16_x17_u6_b1 16 17 6 1 add(D,nrm(sub(R,R))) 89754 130617640 o2(x,o1(o2(x,x))) true 34839 34839 0 0.5 0.09436 0.01082 0.104 -0.1454 0.1454 0.2908 1 2.561 0.001632 0 0.03609 1 1 0 0.0002563 0.01459 0.0003304 0.01818 0.5036 0.06192 0.1508 0.02368 1 1 0.003151 0.02183 5.236e-15 0.2912 2.017 4.838e-13 json
t16_x17_u6_b2 16 17 6 2 add(D,nrm(mlt(R,R))) 89755 130617641 o2(x,o1(o2(x,x))) true 34847 34847 0.4729 0.9574 0.4772 0.07584 0.2754 -0.1413 1 1.141 1 4.08 0.002611 0.000982 0.05235 0.4534 1 -0.000002687 0.0004039 0.01563 0.0008523 0.02919 0.5576 0.1688 0.04738 0.005325 1 1 0.006437 0.06442 0.135 0.08488 0.8495 1.78 json
t16_x17_u6_b3 16 17 6 3 add(D,nrm(div(R,R))) 89756 130617642 o2(x,o1(o2(x,x))) true 34855 34855 0.5774 1 0.5774 0.01082 0.104 0.4319 0.7228 0.2908 1 2.5 0.001632 4.615e-17 0.0361 1 1 -3.015e-9 0.0002563 0.01459 0.0003304 0.01818 0.5036 0.06192 0.1508 0.02368 1 1 0.003151 0.02183 9.722e-16 0.2912 2.017 8.984e-14 json
t16_x17_u6_b4 16 17 6 4 add(D,nrm(pow(R,R))) 89757 130617643 o2(x,o1(o2(x,x))) true 34863 34863 -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_x17_u6_b5 16 17 6 5 add(D,nrm(mod(R,R))) 89758 130617644 o2(x,o1(o2(x,x))) true 34871 34871 -0.9363 0.02998 0.963 0.0784 0.28 -1 1 2 1 0.6058 0.006764 0.004488 0.01338 0.2023 1 -0.0000128 0.02229 0.0185 0.01108 0.1052 7.866 2.003 0.1435 0.2843 1 1 0.01021 0.05068 0.1443 0.1302 0.6464 1.841 json
t16_x17_u6_b6 16 17 6 6 add(D,nrm(lrg(R,R))) 89759 130617645 o2(x,o1(o2(x,x))) true 34879 34879 -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_x17_u6_b7 16 17 6 7 add(D,nrm(eql(R,R))) 89760 130617646 o2(x,o1(o2(x,x))) true 34887 34887 0.5774 1 0.5774 0.01082 0.104 0.4319 0.7228 0.2908 1 2.5 0.001632 0 0.03609 1 1 -1.892e-9 0.0002563 0.01459 0.0003304 0.01818 0.5036 0.06192 0.1508 0.02368 1 1 0.003151 0.02183 8.676e-15 0.2912 2.017 8.017e-13 json
t16_x17_u6_b8 16 17 6 8 add(D,nrm(min(R,R))) 89761 130617647 o2(x,o1(o2(x,x))) true 34895 34895 -0.004308 0.4902 0.4015 0.2205 0.4695 -1 1 2 1 4.857 0.004406 0.002943 0.07461 0.1991 1 -0.000007122 0.0005997 0.01905 0.001782 0.04222 0.5659 0.2653 0.03334 0.00272 1 1 0.01439 0.1659 0.3697 0.06529 0.7525 1.677 json
t16_x17_u6_b9 16 17 6 9 add(D,nrm(dot(R,R))) 89762 130617648 o2(x,o1(o2(x,x))) true 34903 34903 0.5774 1 0.5774 0.01082 0.104 0.4319 0.7228 0.2908 1 2.5 0.001632 3.319e-17 0.0361 1 1 1.169e-9 0.0002563 0.01459 0.0003304 0.01818 0.5036 0.06192 0.1508 0.02368 1 1 0.003151 0.02183 6.366e-16 0.2912 2.017 5.882e-14 json
t16_x17_u6_b10 16 17 6 10 add(D,nrm(dst(R,R))) 89763 130617649 o2(x,o1(o2(x,x))) true 34911 34911 -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_x17_u6_b11 16 17 6 11 sub(D,nrm(add(R,R))) 89764 130617650 o2(x,o1(o2(x,x))) true 34919 34919 0.00431 0.511 0.4004 0.2189 0.4678 -1 1 2 1 4.85 0.004325 0.002943 0.07398 0.1901 1 0.000006791 0.0005881 0.01883 0.001795 0.04237 0.5728 0.2658 0.03321 0.002687 1 1 0.01406 0.1626 0.3699 0.06422 0.743 1.69 json
t16_x17_u6_b12 16 17 6 12 sub(D,nrm(sub(R,R))) 89765 130617651 o2(x,o1(o2(x,x))) true 34927 34927 0 0.5 0.09436 0.01082 0.104 -0.1454 0.1454 0.2908 1 2.561 0.001632 0 0.03609 1 1 0 0.0002563 0.01459 0.0003304 0.01818 0.5036 0.06192 0.1508 0.02368 1 1 0.003151 0.02183 5.236e-15 0.2912 2.017 4.838e-13 json
t16_x17_u6_b13 16 17 6 13 sub(D,nrm(mlt(R,R))) 89766 130617652 o2(x,o1(o2(x,x))) true 34935 34935 -0.473 0.04526 0.4773 0.07579 0.2753 -1 0.1389 1.139 1 4.081 0.002608 0.0009822 0.05229 0.4528 1 0.00001012 0.0004018 0.01561 0.0008559 0.02926 0.5595 0.1667 0.04736 0.005301 1 1 0.006523 0.06533 0.1346 0.08606 0.862 1.776 json
t16_x17_u6_b14 16 17 6 14 sub(D,nrm(div(R,R))) 89767 130617653 o2(x,o1(o2(x,x))) true 34943 34943 -0.5774 0 0.5774 0.01082 0.104 -0.7228 -0.4319 0.2908 1 2.5 0.001632 7.325e-17 0.0361 1 1 3.893e-9 0.0002563 0.01459 0.0003304 0.01818 0.5036 0.06192 0.1508 0.02368 1 1 0.003151 0.02183 1.56e-15 0.2912 2.017 1.441e-13 json
t16_x17_u6_b15 16 17 6 15 sub(D,nrm(pow(R,R))) 89768 130617654 o2(x,o1(o2(x,x))) true 34951 34951 -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_x17_u6_b16 16 17 6 16 sub(D,nrm(mod(R,R))) 89769 130617655 o2(x,o1(o2(x,x))) true 34959 34959 -0.9387 0.0318 0.9618 0.07122 0.2669 -1 1 2 1 0.6107 0.008143 0.006307 0.01475 0.1271 1 0.0000111 0.02937 0.0218 0.01424 0.1193 8.093 2.784 0.2029 0.4124 1 1 0.01679 0.06978 0.1346 0.2358 0.9798 1.889 json
t16_x17_u6_b17 16 17 6 17 sub(D,nrm(lrg(R,R))) 89770 130617656 o2(x,o1(o2(x,x))) true 34967 34967 -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_x17_u6_b18 16 17 6 18 sub(D,nrm(eql(R,R))) 89771 130617657 o2(x,o1(o2(x,x))) true 34975 34975 -0.5774 0 0.5774 0.01082 0.104 -0.7228 -0.4319 0.2908 1 2.5 0.001632 0 0.03609 1 1 1.892e-9 0.0002563 0.01459 0.0003304 0.01818 0.5036 0.06192 0.1508 0.02368 1 1 0.003151 0.02183 9.574e-15 0.2912 2.017 8.847e-13 json
t16_x17_u6_b19 16 17 6 19 sub(D,nrm(min(R,R))) 89772 130617658 o2(x,o1(o2(x,x))) true 34983 34983 0.00431 0.511 0.4004 0.2189 0.4678 -1 1 2 1 4.85 0.004325 0.002943 0.07398 0.1901 1 0.000006791 0.0005881 0.01883 0.001795 0.04237 0.5728 0.2658 0.03321 0.002687 1 1 0.01406 0.1626 0.3699 0.06422 0.743 1.69 json
t16_x17_u6_b20 16 17 6 20 sub(D,nrm(dot(R,R))) 89773 130617659 o2(x,o1(o2(x,x))) true 34991 34991 -0.5774 0 0.5774 0.01082 0.104 -0.7228 -0.4319 0.2908 1 2.5 0.001632 2.136e-17 0.0361 1 1 -1.136e-9 0.0002563 0.01459 0.0003304 0.01818 0.5036 0.06192 0.1508 0.02368 1 1 0.003151 0.02183 4.407e-16 0.2912 2.017 4.073e-14 json
t16_x17_u6_b21 16 17 6 21 sub(D,nrm(dst(R,R))) 89774 130617660 o2(x,o1(o2(x,x))) true 34999 34999 -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_x17_u6_b22 16 17 6 22 mlt(D,nrm(add(R,R))) 89775 130617661 o2(x,o1(o2(x,x))) true 35007 35007 0.001644 0.5078 0.0903 0.01466 0.1211 -0.4499 0.4487 0.8987 1 2.985 0.0007602 0.0002127 0.02754 0.5628 1 -0.00004567 0.00009842 0.007955 0.0002144 0.01464 0.5317 0.08207 0.06635 0.006712 1 1 0.001885 0.02112 0.02828 0.1285 1.44 1.929 json
t16_x17_u6_b23 16 17 6 23 mlt(D,nrm(sub(R,R))) 89776 130617662 o2(x,o1(o2(x,x))) true 35015 35015 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_x17_u6_b24 16 17 6 24 mlt(D,nrm(mlt(R,R))) 89777 130617663 o2(x,o1(o2(x,x))) true 35023 35023 0.00007679 0.4999 0.06732 0.007739 0.08797 -0.2625 0.2683 0.5308 1 2.571 0.000629 0.00008664 0.02286 0.7579 1 -0.000009318 0.00009165 0.007945 0.0001929 0.01389 0.6074 0.06209 0.09247 0.01184 1 1 0.001285 0.01167 0.01066 0.1661 1.508 1.377 json
t16_x17_u6_b25 16 17 6 25 mlt(D,nrm(div(R,R))) 89778 130617664 o2(x,o1(o2(x,x))) true 35031 35031 1.16e-9 0.5 0.05448 0.003607 0.06006 -0.08396 0.08396 0.1679 1 2 0.0005443 7.801e-18 0.02084 1 1 -3.452e-10 0.00008544 0.008424 0.0001101 0.01049 0.5036 0.03575 0.1509 0.02368 1 1 0.00105 0.007279 1.496e-16 0.2911 2.018 4.146e-14 json
t16_x17_u6_b26 16 17 6 26 mlt(D,nrm(pow(R,R))) 89779 130617665 o2(x,o1(o2(x,x))) true 35039 35039 -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_x17_u6_b27 16 17 6 27 mlt(D,nrm(mod(R,R))) 89780 130617666 o2(x,o1(o2(x,x))) true 35047 35047 -0.9346 0.04166 0.9444 0.06568 0.2563 -1 0.4962 1.496 1 0.5294 0.005503 0.004902 0.01158 0.05779 1 -0.000004201 0.02126 0.02013 0.01026 0.1013 8.745 1.496 0.1584 0.3237 1 1 0.01041 0.04446 0.1158 0.1585 0.6769 1.763 json
t16_x17_u6_b28 16 17 6 28 mlt(D,nrm(lrg(R,R))) 89781 130617667 o2(x,o1(o2(x,x))) true 35055 35055 -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_x17_u6_b29 16 17 6 29 mlt(D,nrm(eql(R,R))) 89782 130617668 o2(x,o1(o2(x,x))) true 35063 35063 4.263e-13 0.5 0.05448 0.003607 0.06006 -0.08396 0.08396 0.1679 1 2 0.0005443 0 0.02084 1 1 0 0.00008544 0.008424 0.0001101 0.01049 0.5036 0.03575 0.1509 0.02368 1 1 0.00105 0.007279 1.803e-15 0.2911 2.018 4.998e-13 json
t16_x17_u6_b30 16 17 6 30 mlt(D,nrm(min(R,R))) 89783 130617669 o2(x,o1(o2(x,x))) true 35071 35071 0.001644 0.5078 0.0903 0.01466 0.1211 -0.4499 0.4487 0.8987 1 2.985 0.0007602 0.0002127 0.02754 0.5628 1 -0.00004567 0.00009842 0.007955 0.0002144 0.01464 0.5317 0.08207 0.06635 0.006712 1 1 0.001885 0.02112 0.02828 0.1285 1.44 1.929 json
t16_x17_u6_b31 16 17 6 31 mlt(D,nrm(dot(R,R))) 89784 130617670 o2(x,o1(o2(x,x))) true 35079 35079 1.751e-9 0.5 0.05448 0.003607 0.06006 -0.08396 0.08396 0.1679 1 2 0.0005443 7.224e-18 0.02084 1 1 -4.574e-10 0.00008544 0.008424 0.0001101 0.01049 0.5036 0.03575 0.1509 0.02368 1 1 0.00105 0.007279 1.112e-16 0.2911 2.018 3.083e-14 json
t16_x17_u6_b32 16 17 6 32 mlt(D,nrm(dst(R,R))) 89785 130617671 o2(x,o1(o2(x,x))) true 35087 35087 -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_x17_u6_b33 16 17 6 33 div(D,nrm(add(R,R))) 89786 130617672 o2(x,o1(o2(x,x))) true 35095 35095 -0.002073 0.4988 0.4402 0.3168 0.5629 -1 1 2 1 4.646 0.02673 0.007796 0.1185 0.5485 1 -0.000003174 0.02995 0.05864 0.02048 0.1431 1.208 2.018 0.109 0.09454 1 1 0.05234 0.4193 0.6191 0.1652 1.323 1.954 json
t16_x17_u6_b34 16 17 6 34 div(D,nrm(sub(R,R))) 89787 130617673 o2(x,o1(o2(x,x))) true 35103 35103 0 0.5 1 1 1 -1 1 2 1 1 0.4921 0 0.246 1 1 0 0.9841 0.4921 0.4315 0.6569 2.67 2 0.4921 0.9841 1 1 0.4947 2 0 0.4947 2 0 json
t16_x17_u6_b35 16 17 6 35 div(D,nrm(mlt(R,R))) 89788 130617674 o2(x,o1(o2(x,x))) true 35111 35111 0.001075 0.5003 0.566 0.4789 0.692 -1 1 2 1 4.074 0.0728 0.01593 0.1431 0.6409 1 0.0003414 0.1307 0.132 0.06827 0.2613 1.826 2.828 0.1853 0.273 1 1 0.0973 0.5659 0.8084 0.2032 1.182 1.688 json
t16_x17_u6_b36 16 17 6 36 div(D,nrm(div(R,R))) 89789 130617675 o2(x,o1(o2(x,x))) true 35119 35119 6.867e-10 0.5 0.1635 0.03246 0.1802 -0.2519 0.2519 0.5037 1 2.906 0.004897 6.372e-17 0.06251 1 1 -3.142e-9 0.0007688 0.02527 0.000991 0.03148 0.5036 0.1072 0.1508 0.02368 1 1 0.009452 0.06552 1.191e-15 0.2912 2.018 3.67e-14 json
t16_x17_u6_b37 16 17 6 37 div(D,nrm(pow(R,R))) 89790 130617676 o2(x,o1(o2(x,x))) true 35127 35127 -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_x17_u6_b38 16 17 6 38 div(D,nrm(mod(R,R))) 89791 130617677 o2(x,o1(o2(x,x))) true 35135 35135 -0.988 0.006561 0.9906 0.01285 0.1134 -1 0.6047 1.605 1 0.1383 0.001563 0.001219 0.003216 0.1234 1 1.389e-10 0.005773 0.005308 0.002775 0.05267 16.38 1.605 0.2165 0.4493 1 1 0.005001 0.02111 0.04271 0.3892 1.643 3.324 json
t16_x17_u6_b39 16 17 6 39 div(D,nrm(lrg(R,R))) 89792 130617678 o2(x,o1(o2(x,x))) true 35143 35143 -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_x17_u6_b40 16 17 6 40 div(D,nrm(eql(R,R))) 89793 130617679 o2(x,o1(o2(x,x))) true 35151 35151 -9.33e-10 0.5 0.1635 0.03246 0.1802 -0.2519 0.2519 0.5037 1 2.906 0.004897 0 0.06251 1 1 0 0.0007688 0.02527 0.000991 0.03148 0.5036 0.1072 0.1508 0.02368 1 1 0.009452 0.06552 1.552e-14 0.2912 2.018 4.781e-13 json
t16_x17_u6_b41 16 17 6 41 div(D,nrm(min(R,R))) 89794 130617680 o2(x,o1(o2(x,x))) true 35159 35159 -0.002073 0.4988 0.4402 0.3168 0.5629 -1 1 2 1 4.646 0.02673 0.007796 0.1185 0.5485 1 -0.000003174 0.02995 0.05864 0.02048 0.1431 1.208 2.018 0.109 0.09454 1 1 0.05234 0.4193 0.6191 0.1652 1.323 1.954 json
t16_x17_u6_b42 16 17 6 42 div(D,nrm(dot(R,R))) 89795 130617681 o2(x,o1(o2(x,x))) true 35167 35167 -6.617e-11 0.5 0.1635 0.03246 0.1802 -0.2519 0.2519 0.5037 1 2.906 0.004897 5.599e-17 0.06251 1 1 -4.623e-9 0.0007688 0.02527 0.000991 0.03148 0.5036 0.1072 0.1508 0.02368 1 1 0.009452 0.06552 5.467e-16 0.2912 2.018 1.684e-14 json
t16_x17_u6_b43 16 17 6 43 div(D,nrm(dst(R,R))) 89796 130617682 o2(x,o1(o2(x,x))) true 35175 35175 -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_x17_u6_b44 16 17 6 44 pow(D,nrm(add(R,R))) 89797 130617683 o2(x,o1(o2(x,x))) true 35183 35183 -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_x17_u6_b45 16 17 6 45 pow(D,nrm(sub(R,R))) 89798 130617684 o2(x,o1(o2(x,x))) true 35191 35191 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
t16_x17_u6_b46 16 17 6 46 pow(D,nrm(mlt(R,R))) 89799 130617685 o2(x,o1(o2(x,x))) true 35199 35199 -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