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_x18_u5_b61 12 18 5 61 sgn(mod(R,lrg(P,P))) 35100 98175496 o1(o2(x,o2(x,x))) true 110647 110647 -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_x18_u5_b62 12 18 5 62 sgn(mod(R,eql(P,P))) 35101 98175497 o1(o2(x,o2(x,x))) true 110655 110655 -0.03516 0.4819 0.7206 0.6148 0.7841 -1 1 2 1 4.005 0.007889 0.009769 0.1034 -0.1065 1 -0.00003562 0.001037 0.02513 0.006974 0.08351 0.8079 0.2338 0.02872 0.001686 1 1 0.03492 0.4498 1.145 0.0568 0.7316 1.862 json
t12_x18_u5_b63 12 18 5 63 sgn(mod(R,min(P,P))) 35102 98175498 o1(o2(x,o2(x,x))) true 110663 110663 -0.08984 0.4524 0.7246 0.6129 0.7829 -1 1 2 1 3.976 0.008165 0.009328 0.1024 -0.06649 1 -0.00002421 0.00102 0.02486 0.007005 0.0837 0.8172 0.2338 0.02854 0.001664 1 1 0.03382 0.4354 1.062 0.05519 0.7103 1.733 json
t12_x18_u5_b64 12 18 5 64 sgn(mod(R,dot(P,P))) 35103 98175499 o1(o2(x,o2(x,x))) true 110671 110671 -0.04297 0.4775 0.7223 0.6161 0.7849 -1 1 2 1 3.993 0.007787 0.009847 0.1032 -0.1168 1 -0.00003562 0.001028 0.02504 0.00699 0.08361 0.8103 0.2338 0.02862 0.001668 1 1 0.03484 0.4487 1.135 0.05655 0.7283 1.842 json
t12_x18_u5_b65 12 18 5 65 sgn(mod(R,dst(P,P))) 35104 98175500 o1(o2(x,o2(x,x))) true 110679 110679 -0.03516 0.4819 0.7206 0.6148 0.7841 -1 1 2 1 4.005 0.007889 0.009769 0.1034 -0.1065 1 -0.00003562 0.001037 0.02513 0.006974 0.08351 0.8079 0.2338 0.02872 0.001686 1 1 0.03492 0.4498 1.145 0.0568 0.7316 1.862 json
t12_x18_u5_b66 12 18 5 66 sgn(lrg(R,add(P,P))) 35105 98175501 o1(o2(x,o2(x,x))) true 110687 110687 0.4961 0.5378 0.4961 0.2412 0.4911 0 1 1 1 1.415 0.0003238 0.0001053 0.004981 0.5091 1 -0.000005705 0.00002256 0.001187 0.0004044 0.02011 4.037 0.1169 0.001779 0.00009352 1 1 0.001146 0.01504 0.08976 0.004753 0.06234 0.3721 json
t12_x18_u5_b67 12 18 5 67 sgn(lrg(R,sub(P,P))) 35106 98175502 o1(o2(x,o2(x,x))) true 110695 110695 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
t12_x18_u5_b68 12 18 5 68 sgn(lrg(R,mlt(P,P))) 35107 98175503 o1(o2(x,o2(x,x))) true 110703 110703 0.02734 0.07556 0.02734 0.01868 0.1367 0 0.9997 0.9997 1 0.4881 0.0002846 0.0001053 0.004539 0.4597 1 -0.000005705 0.00002084 0.001084 0.0003695 0.01922 4.235 0.1169 0.02087 0.001115 1 1 0.001069 0.01392 0.04488 0.0572 0.7453 2.402 json
t12_x18_u5_b69 12 18 5 69 sgn(lrg(R,div(P,P))) 35108 98175504 o1(o2(x,o2(x,x))) true 110711 110711 0.0625 0.125 0.0625 0.04507 0.2123 0 0.9997 0.9997 1 0.8126 0.0007059 0 0.007934 1 1 -9.461e-10 0.00003241 0.001855 0.0006433 0.02536 3.197 0.1169 0.01566 0.0007193 1 1 0.001851 0.02408 0.06598 0.04107 0.5344 1.464 json
t12_x18_u5_b70 12 18 5 70 sgn(lrg(R,pow(P,P))) 35109 98175505 o1(o2(x,o2(x,x))) true 110719 110719 0.4688 0.5 0.4688 0.2423 0.4922 0 1 1 1 1.326 0.0003529 0 0.003968 1 1 -4.731e-10 0.00001619 0.0009276 0.0003372 0.01836 4.628 0.1169 0.001457 0.00006684 1 1 0.0009255 0.01214 0.0751 0.00382 0.05012 0.31 json
t12_x18_u5_b71 12 18 5 71 sgn(lrg(R,mod(P,P))) 35110 98175506 o1(o2(x,o2(x,x))) true 110727 110727 0.5234 0.8511 0.5234 0.1781 0.4221 0 1 1 1 3.044 0.001949 0.001384 0.0391 0.1697 1 -0.00001425 0.0001875 0.009402 0.001804 0.04247 1.086 0.1169 0.01871 0.001052 1 1 0.007625 0.09784 0.2727 0.0428 0.5492 1.531 json
t12_x18_u5_b72 12 18 5 72 sgn(lrg(R,lrg(P,P))) 35111 98175507 o1(o2(x,o2(x,x))) true 110735 110735 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
t12_x18_u5_b73 12 18 5 73 sgn(lrg(R,eql(P,P))) 35112 98175508 o1(o2(x,o2(x,x))) true 110743 110743 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_x18_u5_b74 12 18 5 74 sgn(lrg(R,min(P,P))) 35113 98175509 o1(o2(x,o2(x,x))) true 110751 110751 0.4961 0.5378 0.4961 0.2412 0.4911 0 1 1 1 1.415 0.0003238 0.0001053 0.004981 0.5091 1 -0.000005705 0.00002256 0.001187 0.0004044 0.02011 4.037 0.1169 0.001779 0.00009352 1 1 0.001146 0.01504 0.08976 0.004753 0.06234 0.3721 json
t12_x18_u5_b75 12 18 5 75 sgn(lrg(R,dot(P,P))) 35114 98175510 o1(o2(x,o2(x,x))) true 110759 110759 0.003906 0.01477 0.003906 0.002383 0.04882 0 0.9994 0.9994 1 0.1068 0.00003512 0.00003512 0.0008419 7.252e-7 0 -5.638e-14 0.000004222 0.000206 0.00006942 0.008332 9.897 0.1169 0.02947 0.001772 1 1 0.0002443 0.003178 0.008708 0.1025 1.334 3.654 json
t12_x18_u5_b76 12 18 5 76 sgn(lrg(R,dst(P,P))) 35115 98175511 o1(o2(x,o2(x,x))) true 110767 110767 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
t12_x18_u5_b77 12 18 5 77 sgn(eql(R,add(P,P))) 35116 98175512 o1(o2(x,o2(x,x))) true 110775 110775 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_x18_u5_b78 12 18 5 78 sgn(eql(R,sub(P,P))) 35117 98175513 o1(o2(x,o2(x,x))) true 110783 110783 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_x18_u5_b79 12 18 5 79 sgn(eql(R,mlt(P,P))) 35118 98175514 o1(o2(x,o2(x,x))) true 110791 110791 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_x18_u5_b80 12 18 5 80 sgn(eql(R,div(P,P))) 35119 98175515 o1(o2(x,o2(x,x))) true 110799 110799 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_x18_u5_b81 12 18 5 81 sgn(eql(R,pow(P,P))) 35120 98175516 o1(o2(x,o2(x,x))) true 110807 110807 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_x18_u5_b82 12 18 5 82 sgn(eql(R,mod(P,P))) 35121 98175517 o1(o2(x,o2(x,x))) true 110815 110815 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_x18_u5_b83 12 18 5 83 sgn(eql(R,lrg(P,P))) 35122 98175518 o1(o2(x,o2(x,x))) true 110823 110823 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_x18_u5_b84 12 18 5 84 sgn(eql(R,eql(P,P))) 35123 98175519 o1(o2(x,o2(x,x))) true 110831 110831 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_x18_u5_b85 12 18 5 85 sgn(eql(R,min(P,P))) 35124 98175520 o1(o2(x,o2(x,x))) true 110839 110839 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_x18_u5_b86 12 18 5 86 sgn(eql(R,dot(P,P))) 35125 98175521 o1(o2(x,o2(x,x))) true 110847 110847 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_x18_u5_b87 12 18 5 87 sgn(eql(R,dst(P,P))) 35126 98175522 o1(o2(x,o2(x,x))) true 110855 110855 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_x18_u5_b88 12 18 5 88 sgn(min(R,add(P,P))) 35127 98175523 o1(o2(x,o2(x,x))) true 110863 110863 -0.543 0.2191 0.8285 0.4739 0.6884 -1 1 2 1 2.817 0.004315 0.00494 0.05623 -0.06757 1 -0.00005418 0.000559 0.0137 0.006094 0.07807 1.388 0.2338 0.01953 0.001179 1 1 0.01813 0.2355 0.6057 0.03827 0.4969 1.278 json
t12_x18_u5_b89 12 18 5 89 sgn(min(R,sub(P,P))) 35128 98175524 o1(o2(x,o2(x,x))) true 110871 110871 -0.5176 0 0.5176 0.1537 0.3921 -1 0 1 1 3.585 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
t12_x18_u5_b90 12 18 5 90 sgn(min(R,mlt(P,P))) 35129 98175525 o1(o2(x,o2(x,x))) true 110879 110879 -0.0625 0.466 0.7051 0.5952 0.7715 -1 1 2 1 4.091 0.007742 0.009443 0.1022 -0.09897 1 -0.00002992 0.001007 0.02477 0.006736 0.08207 0.8028 0.2338 0.02887 0.001693 1 1 0.03331 0.4286 1.059 0.05596 0.7202 1.779 json
t12_x18_u5_b91 12 18 5 91 sgn(min(R,div(P,P))) 35130 98175526 o1(o2(x,o2(x,x))) true 110887 110887 -0.03516 0.4819 0.7206 0.6148 0.7841 -1 1 2 1 4.005 0.007889 0.009769 0.1034 -0.1065 1 -0.00003562 0.001037 0.02513 0.006974 0.08351 0.8079 0.2338 0.02872 0.001686 1 1 0.03492 0.4498 1.145 0.0568 0.7316 1.862 json
t12_x18_u5_b92 12 18 5 92 sgn(min(R,pow(P,P))) 35131 98175527 o1(o2(x,o2(x,x))) true 110895 110895 -0.03516 0.4819 0.7206 0.6148 0.7841 -1 1 2 1 4.005 0.007889 0.009769 0.1034 -0.1065 1 -0.00003562 0.001037 0.02513 0.006974 0.08351 0.8079 0.2338 0.02872 0.001686 1 1 0.03492 0.4498 1.145 0.0568 0.7316 1.862 json
t12_x18_u5_b93 12 18 5 93 sgn(min(R,mod(P,P))) 35132 98175528 o1(o2(x,o2(x,x))) true 110903 110903 -0.5156 0.1298 0.6572 0.2989 0.5467 -1 1 2 1 3.795 0.003839 0.003621 0.06194 0.02929 1 -0.00001995 0.0004385 0.01472 0.003623 0.06019 0.9717 0.2338 0.02496 0.001467 1 1 0.01435 0.1863 0.5348 0.04799 0.6233 1.789 json
t12_x18_u5_b94 12 18 5 94 sgn(min(R,lrg(P,P))) 35133 98175529 o1(o2(x,o2(x,x))) true 110911 110911 -0.5176 0 0.5176 0.1537 0.3921 -1 0 1 1 3.585 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
t12_x18_u5_b95 12 18 5 95 sgn(min(R,eql(P,P))) 35134 98175530 o1(o2(x,o2(x,x))) true 110919 110919 -0.03516 0.4819 0.7206 0.6148 0.7841 -1 1 2 1 4.005 0.007889 0.009769 0.1034 -0.1065 1 -0.00003562 0.001037 0.02513 0.006974 0.08351 0.8079 0.2338 0.02872 0.001686 1 1 0.03492 0.4498 1.145 0.0568 0.7316 1.862 json
t12_x18_u5_b96 12 18 5 96 sgn(min(R,min(P,P))) 35135 98175531 o1(o2(x,o2(x,x))) true 110927 110927 -0.543 0.2191 0.8285 0.4739 0.6884 -1 1 2 1 2.817 0.004315 0.00494 0.05623 -0.06757 1 -0.00005418 0.000559 0.0137 0.006094 0.07807 1.388 0.2338 0.01953 0.001179 1 1 0.01813 0.2355 0.6057 0.03827 0.4969 1.278 json
t12_x18_u5_b97 12 18 5 97 sgn(min(R,dot(P,P))) 35136 98175532 o1(o2(x,o2(x,x))) true 110935 110935 -0.03906 0.4788 0.7194 0.6131 0.783 -1 1 2 1 4.013 0.007803 0.009773 0.1031 -0.1121 1 -0.00003562 0.001028 0.02503 0.006942 0.08332 0.8079 0.2338 0.02867 0.001677 1 1 0.03464 0.4461 1.131 0.0565 0.7275 1.845 json
t12_x18_u5_b98 12 18 5 98 sgn(min(R,dst(P,P))) 35137 98175533 o1(o2(x,o2(x,x))) true 110943 110943 -0.5176 0 0.5176 0.1537 0.3921 -1 0 1 1 3.585 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
t12_x18_u5_b99 12 18 5 99 sgn(dot(R,add(P,P))) 35138 98175534 o1(o2(x,o2(x,x))) true 110951 110951 -0.07422 0.4625 0.7252 0.6169 0.7854 -1 1 2 1 3.93 0.007703 0.009739 0.1018 -0.1167 1 -0.0001027 0.001001 0.02463 0.007076 0.08412 0.8261 0.2338 0.02827 0.001623 1 1 0.03471 0.4482 1.222 0.05627 0.7266 1.982 json
t12_x18_u5_b100 12 18 5 100 sgn(dot(R,sub(P,P))) 35139 98175535 o1(o2(x,o2(x,x))) true 110959 110959 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_x18_u5_b101 12 18 5 101 sgn(dot(R,mlt(P,P))) 35140 98175536 o1(o2(x,o2(x,x))) true 110967 110967 0.03125 0.5169 0.7097 0.6022 0.776 -1 1 2 1 4.051 0.008118 0.00975 0.1048 -0.09136 1 0.00002282 0.001069 0.02559 0.006891 0.08301 0.7923 0.2338 0.02967 0.001774 1 1 0.03498 0.4515 1.181 0.05808 0.7497 1.961 json
t12_x18_u5_b102 12 18 5 102 sgn(dot(R,div(P,P))) 35141 98175537 o1(o2(x,o2(x,x))) true 110975 110975 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_x18_u5_b103 12 18 5 103 sgn(dot(R,pow(P,P))) 35142 98175538 o1(o2(x,o2(x,x))) true 110983 110983 -0.709 0.1454 0.9158 0.3815 0.6176 -1 1 2 1 1.771 0.002539 0.002719 0.03103 -0.03409 1 -0.00002565 0.0003147 0.007555 0.004295 0.06553 2.112 0.2338 0.01378 0.000825 1 1 0.01108 0.145 0.497 0.02904 0.3801 1.303 json
t12_x18_u5_b104 12 18 5 104 sgn(dot(R,mod(P,P))) 35143 98175539 o1(o2(x,o2(x,x))) true 110991 110991 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_x18_u5_b105 12 18 5 105 sgn(dot(R,lrg(P,P))) 35144 98175540 o1(o2(x,o2(x,x))) true 110999 110999 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_x18_u5_b106 12 18 5 106 sgn(dot(R,eql(P,P))) 35145 98175541 o1(o2(x,o2(x,x))) true 111007 111007 0.01562 0.5076 0.7163 0.6098 0.7809 -1 1 2 1 4.038 0.009126 0.008856 0.1053 0.01499 1 0.00002711 0.001054 0.02554 0.006904 0.08309 0.7894 0.2338 0.02949 0.001728 1 1 0.03452 0.4449 1.193 0.0566 0.7296 1.956 json
t12_x18_u5_b107 12 18 5 107 sgn(dot(R,min(P,P))) 35146 98175542 o1(o2(x,o2(x,x))) true 111015 111015 -0.07422 0.4625 0.7252 0.6169 0.7854 -1 1 2 1 3.93 0.007703 0.009739 0.1018 -0.1167 1 -0.0001027 0.001001 0.02463 0.007076 0.08412 0.8261 0.2338 0.02827 0.001623 1 1 0.03471 0.4482 1.222 0.05627 0.7266 1.982 json
t12_x18_u5_b108 12 18 5 108 sgn(dot(R,dot(P,P))) 35147 98175543 o1(o2(x,o2(x,x))) true 111023 111023 0.01172 0.5055 0.7141 0.6072 0.7792 -1 1 2 1 4.054 0.00911 0.00884 0.1054 0.01502 1 0.00002711 0.001049 0.02554 0.006852 0.08278 0.7857 0.2338 0.02956 0.001728 1 1 0.03441 0.4435 1.185 0.05667 0.7304 1.952 json
t12_x18_u5_b109 12 18 5 109 sgn(dot(R,dst(P,P))) 35148 98175544 o1(o2(x,o2(x,x))) true 111031 111031 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_x18_u5_b110 12 18 5 110 sgn(dst(R,add(P,P))) 35149 98175545 o1(o2(x,o2(x,x))) true 111039 111039 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
t12_x18_u5_b111 12 18 5 111 sgn(dst(R,sub(P,P))) 35150 98175546 o1(o2(x,o2(x,x))) true 111047 111047 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
t12_x18_u5_b112 12 18 5 112 sgn(dst(R,mlt(P,P))) 35151 98175547 o1(o2(x,o2(x,x))) true 111055 111055 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
t12_x18_u5_b113 12 18 5 113 sgn(dst(R,div(P,P))) 35152 98175548 o1(o2(x,o2(x,x))) true 111063 111063 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_x18_u5_b114 12 18 5 114 sgn(dst(R,pow(P,P))) 35153 98175549 o1(o2(x,o2(x,x))) true 111071 111071 -0.4355 0.2821 0.9795 0.7821 0.8843 -1 1 2 1 1.205 0.000741 0.000741 0.008368 0.000001453 1 9.386e-11 0.00006899 0.001958 0.001411 0.03757 4.489 0.2338 0.001895 0.00008821 1 1 0.003946 0.05178 0.3202 0.005046 0.06621 0.4094 json
t12_x18_u5_b115 12 18 5 115 sgn(dst(R,mod(P,P))) 35154 98175550 o1(o2(x,o2(x,x))) true 111079 111079 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_x18_u5_b116 12 18 5 116 sgn(dst(R,lrg(P,P))) 35155 98175551 o1(o2(x,o2(x,x))) true 111087 111087 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
t12_x18_u5_b117 12 18 5 117 sgn(dst(R,eql(P,P))) 35156 98175552 o1(o2(x,o2(x,x))) true 111095 111095 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
t12_x18_u5_b118 12 18 5 118 sgn(dst(R,min(P,P))) 35157 98175553 o1(o2(x,o2(x,x))) true 111103 111103 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
t12_x18_u5_b119 12 18 5 119 sgn(dst(R,dot(P,P))) 35158 98175554 o1(o2(x,o2(x,x))) true 111111 111111 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
t12_x18_u5_b120 12 18 5 120 sgn(dst(R,dst(P,P))) 35159 98175555 o1(o2(x,o2(x,x))) true 111119 111119 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
t12_x18_u6_b0 12 18 6 0 nrm(add(R,add(P,P))) 35160 98175636 o1(o2(x,o2(x,x))) true 111127 111127 0.0006429 0.4966 0.6421 0.4906 0.7004 -0.9995 0.9988 1.998 1 4.803 0.0002071 0.00007593 0.009983 0.4634 1 1.417e-7 0.00001448 0.002112 0.0001834 0.01354 1.356 0.1964 0.0005768 0.00002951 1 1 0.0008959 0.01182 0.1082 0.001826 0.0241 0.2206 json
t12_x18_u6_b1 12 18 6 1 nrm(add(R,sub(P,P))) 35161 98175637 o1(o2(x,o2(x,x))) true 111135 111135 -0.004333 0.4894 0.3952 0.209 0.4572 -0.9488 0.9534 1.902 1 4.783 0.002736 0.002944 0.06188 -0.03652 1 -0.000006012 0.0003349 0.01431 0.001851 0.04303 0.6953 0.2114 0.02718 0.001602 1 1 0.01108 0.1426 0.3701 0.05303 0.6821 1.771 json
t12_x18_u6_b2 12 18 6 2 nrm(add(R,mlt(P,P))) 35162 98175638 o1(o2(x,o2(x,x))) true 111143 111143 0.6022 0.9711 0.6055 0.1296 0.36 -0.4152 1 1.415 1 3.715 0.000171 0.0001096 0.01041 0.2188 1 -0.000004592 0.00001416 0.002129 0.0001722 0.01312 1.261 0.1475 0.002165 0.0001093 1 1 0.0008758 0.01152 0.09234 0.006758 0.08893 0.7126 json
t12_x18_u6_b3 12 18 6 3 nrm(add(R,div(P,P))) 35163 98175639 o1(o2(x,o2(x,x))) true 111151 111151 -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_x18_u6_b4 12 18 6 4 nrm(add(R,pow(P,P))) 35164 98175640 o1(o2(x,o2(x,x))) true 111159 111159 -0.6166 0.2228 0.8834 0.4899 0.6999 -1 1 2 1 1.468 0.002516 0.007275 0.008854 -0.486 1 -0.000001625 0.01943 0.01251 0.009709 0.09853 11.13 2 0.01999 0.03966 1 1 0.01302 0.05511 0.25 0.02657 0.1125 0.5102 json
t12_x18_u6_b5 12 18 6 5 nrm(add(R,mod(P,P))) 35165 98175641 o1(o2(x,o2(x,x))) true 111167 111167 -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_x18_u6_b6 12 18 6 6 nrm(add(R,lrg(P,P))) 35166 98175642 o1(o2(x,o2(x,x))) true 111175 111175 -0.004333 0.4894 0.3952 0.209 0.4572 -0.9488 0.9534 1.902 1 4.783 0.002736 0.002944 0.06188 -0.03652 1 -0.000006012 0.0003349 0.01431 0.001851 0.04303 0.6953 0.2114 0.02718 0.001602 1 1 0.01108 0.1426 0.3701 0.05303 0.6821 1.771 json
t12_x18_u6_b7 12 18 6 7 nrm(add(R,eql(P,P))) 35167 98175643 o1(o2(x,o2(x,x))) true 111183 111183 0.5218 1 0.5218 0.04298 0.2073 0.0006391 0.9876 0.987 1 3.72 0.0006307 0.0005715 0.02779 0.04925 1 0.000001816 0.00007173 0.006415 0.00043 0.02074 0.7462 0.1136 0.02797 0.001669 1 1 0.00233 0.03005 0.07928 0.0542 0.6992 1.844 json
t12_x18_u6_b8 12 18 6 8 nrm(add(R,min(P,P))) 35168 98175644 o1(o2(x,o2(x,x))) true 111191 111191 -0.001296 0.4957 0.6369 0.4811 0.6936 -1 0.9994 1.999 1 4.815 0.0002614 0.0001353 0.01182 0.3179 1 2.517e-7 0.00002199 0.002614 0.0002569 0.01603 1.356 0.1929 0.0008245 0.00004571 1 1 0.001234 0.01619 0.1121 0.002565 0.03366 0.233 json
t12_x18_u6_b9 12 18 6 9 nrm(add(R,dot(P,P))) 35169 98175645 o1(o2(x,o2(x,x))) true 111199 111199 0.5757 1 0.5757 0.0006867 0.02621 0.228 0.6962 0.4682 1 0.5914 0.00001388 0.00001139 0.002001 0.09843 0 -3.668e-8 0.000001642 0.0004714 0.00002126 0.004611 2.304 0.05473 0.03679 0.002391 1 1 0.00008719 0.001133 0.002591 0.127 1.65 3.772 json
t12_x18_u6_b10 12 18 6 10 nrm(add(R,dst(P,P))) 35170 98175646 o1(o2(x,o2(x,x))) true 111207 111207 -0.004333 0.4894 0.3952 0.209 0.4572 -0.9488 0.9534 1.902 1 4.783 0.002736 0.002944 0.06188 -0.03652 1 -0.000006012 0.0003349 0.01431 0.001851 0.04303 0.6953 0.2114 0.02718 0.001602 1 1 0.01108 0.1426 0.3701 0.05303 0.6821 1.771 json
t12_x18_u6_b11 12 18 6 11 nrm(sub(R,add(P,P))) 35171 98175647 o1(o2(x,o2(x,x))) true 111215 111215 0.001538 0.4972 0.6433 0.4938 0.7027 -0.9985 0.9996 1.998 1 4.788 0.0002072 0.00007892 0.01 0.4483 1 1.357e-7 0.00001443 0.002105 0.0001861 0.01364 1.364 0.1902 0.0005794 0.00002923 1 1 0.0009076 0.01198 0.1103 0.001838 0.02426 0.2233 json
t12_x18_u6_b12 12 18 6 12 nrm(sub(R,sub(P,P))) 35172 98175648 o1(o2(x,o2(x,x))) true 111223 111223 -0.004333 0.4894 0.3952 0.209 0.4572 -0.9488 0.9534 1.902 1 4.783 0.002736 0.002944 0.06188 -0.03652 1 -0.000006012 0.0003349 0.01431 0.001851 0.04303 0.6953 0.2114 0.02718 0.001602 1 1 0.01108 0.1426 0.3701 0.05303 0.6821 1.771 json
t12_x18_u6_b13 12 18 6 13 nrm(sub(R,mlt(P,P))) 35173 98175649 o1(o2(x,o2(x,x))) true 111231 111231 -0.597 0.02365 0.6018 0.134 0.3661 -1 0.6957 1.696 1 3.696 0.0002644 0.0001465 0.01116 0.2871 1 0.000004476 0.00002222 0.002351 0.0002864 0.01692 1.516 0.1929 0.003066 0.0001658 1 1 0.00133 0.01744 0.1117 0.009923 0.1301 0.8332 json
t12_x18_u6_b14 12 18 6 14 nrm(sub(R,div(P,P))) 35174 98175650 o1(o2(x,o2(x,x))) true 111239 111239 -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_x18_u6_b15 12 18 6 15 nrm(sub(R,pow(P,P))) 35175 98175651 o1(o2(x,o2(x,x))) true 111247 111247 -0.8832 0 0.8832 0.09036 0.3006 -1 -7.477e-8 1 1 1.018 0.001602 0.0001858 0.004905 0.7921 1 0.000001624 0.003336 0.00442 0.001764 0.042 8.563 1 0.01979 0.03692 1 1 0.002386 0.01264 0.07215 0.02641 0.1399 0.7985 json
t12_x18_u6_b16 12 18 6 16 nrm(sub(R,mod(P,P))) 35176 98175652 o1(o2(x,o2(x,x))) true 111255 111255 -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_x18_u6_b17 12 18 6 17 nrm(sub(R,lrg(P,P))) 35177 98175653 o1(o2(x,o2(x,x))) true 111263 111263 -0.004333 0.4894 0.3952 0.209 0.4572 -0.9488 0.9534 1.902 1 4.783 0.002736 0.002944 0.06188 -0.03652 1 -0.000006012 0.0003349 0.01431 0.001851 0.04303 0.6953 0.2114 0.02718 0.001602 1 1 0.01108 0.1426 0.3701 0.05303 0.6821 1.771 json
t12_x18_u6_b18 12 18 6 18 nrm(sub(R,eql(P,P))) 35178 98175654 o1(o2(x,o2(x,x))) true 111271 111271 -0.5098 0 0.5098 0.04255 0.2063 -0.9951 -0.01019 0.9849 1 3.738 0.0006278 0.000626 0.02875 0.00144 1 0.0000121 0.00007509 0.006609 0.0004275 0.02068 0.7193 0.1117 0.02947 0.001765 1 1 0.002522 0.03244 0.08112 0.05928 0.7624 1.906 json
t12_x18_u6_b19 12 18 6 19 nrm(sub(R,min(P,P))) 35179 98175655 o1(o2(x,o2(x,x))) true 111279 111279 0.002052 0.4967 0.6384 0.4864 0.6975 -0.9987 0.9993 1.998 1 4.795 0.0002507 0.0001435 0.0118 0.2721 1 2.402e-7 0.00002095 0.002558 0.000255 0.01597 1.353 0.176 0.0008103 0.00004306 1 1 0.001229 0.01613 0.1157 0.002527 0.03316 0.2379 json
t12_x18_u6_b20 12 18 6 20 nrm(sub(R,dot(P,P))) 35180 98175656 o1(o2(x,o2(x,x))) true 111287 111287 -0.5718 0.003632 0.5744 0.00415 0.06442 -0.7408 0.6955 1.436 1 0.5847 0.00007652 0.00005993 0.002761 0.1215 1 -3.998e-8 0.000008617 0.0006518 0.0001288 0.01135 4.111 0.168 0.03288 0.002076 1 1 0.0004739 0.006164 0.016 0.1142 1.485 3.854 json
t12_x18_u6_b21 12 18 6 21 nrm(sub(R,dst(P,P))) 35181 98175657 o1(o2(x,o2(x,x))) true 111295 111295 -0.004333 0.4894 0.3952 0.209 0.4572 -0.9488 0.9534 1.902 1 4.783 0.002736 0.002944 0.06188 -0.03652 1 -0.000006012 0.0003349 0.01431 0.001851 0.04303 0.6953 0.2114 0.02718 0.001602 1 1 0.01108 0.1426 0.3701 0.05303 0.6821 1.771 json
t12_x18_u6_b22 12 18 6 22 nrm(mlt(R,add(P,P))) 35182 98175658 o1(o2(x,o2(x,x))) true 111303 111303 -0.06496 0.4542 0.4818 0.3274 0.5722 -1 1 2 1 4.95 0.005439 0.006103 0.07362 -0.05754 1 -0.00004516 0.006198 0.02087 0.006122 0.07825 1.063 2.054 0.03525 0.01893 1 1 0.02251 0.2466 0.6759 0.06875 0.7532 2.064 json
t12_x18_u6_b23 12 18 6 23 nrm(mlt(R,sub(P,P))) 35183 98175659 o1(o2(x,o2(x,x))) true 111311 111311 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_x18_u6_b24 12 18 6 24 nrm(mlt(R,mlt(P,P))) 35184 98175660 o1(o2(x,o2(x,x))) true 111319 111319 -0.001715 0.4683 0.4594 0.3299 0.5744 -1 1 2 1 4.801 0.005231 0.006895 0.07066 -0.1373 1 0.000004948 0.007264 0.02066 0.007132 0.08445 1.195 2.054 0.03675 0.02202 1 1 0.0235 0.2513 0.6651 0.07123 0.7618 2.016 json
t12_x18_u6_b25 12 18 6 25 nrm(mlt(R,div(P,P))) 35185 98175661 o1(o2(x,o2(x,x))) true 111327 111327 -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_x18_u6_b26 12 18 6 26 nrm(mlt(R,pow(P,P))) 35186 98175662 o1(o2(x,o2(x,x))) true 111335 111335 -0.7507 0.1005 0.8506 0.2656 0.5154 -1 1 2 1 1.708 0.002695 0.00457 0.01913 -0.258 1 -0.00002711 0.01037 0.01131 0.006899 0.08306 4.342 1.999 0.02735 0.03905 1 1 0.01139 0.08603 0.274 0.04286 0.3239 1.031 json
t12_x18_u6_b27 12 18 6 27 nrm(mlt(R,mod(P,P))) 35187 98175663 o1(o2(x,o2(x,x))) true 111343 111343 -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_x18_u6_b28 12 18 6 28 nrm(mlt(R,lrg(P,P))) 35188 98175664 o1(o2(x,o2(x,x))) true 111351 111351 -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_x18_u6_b29 12 18 6 29 nrm(mlt(R,eql(P,P))) 35189 98175665 o1(o2(x,o2(x,x))) true 111359 111359 -0.004333 0.4894 0.3952 0.209 0.4572 -0.9488 0.9534 1.902 1 4.783 0.002736 0.002944 0.06188 -0.03652 1 -0.000006012 0.0003349 0.01431 0.001851 0.04303 0.6953 0.2114 0.02718 0.001602 1 1 0.01108 0.1426 0.3701 0.05303 0.6821 1.771 json
t12_x18_u6_b30 12 18 6 30 nrm(mlt(R,min(P,P))) 35190 98175666 o1(o2(x,o2(x,x))) true 111367 111367 -0.06496 0.4542 0.4818 0.3274 0.5722 -1 1 2 1 4.95 0.005439 0.006103 0.07362 -0.05754 1 -0.00004516 0.006198 0.02087 0.006122 0.07825 1.063 2.054 0.03525 0.01893 1 1 0.02251 0.2466 0.6759 0.06875 0.7532 2.064 json
t12_x18_u6_b31 12 18 6 31 nrm(mlt(R,dot(P,P))) 35191 98175667 o1(o2(x,o2(x,x))) true 111375 111375 -0.02334 0.4786 0.4045 0.2206 0.4697 -1 0.9534 1.953 1 4.82 0.004007 0.004871 0.06296 -0.09725 1 -0.000006011 0.007333 0.01875 0.004914 0.0701 1.113 2.032 0.04025 0.03324 1 1 0.01647 0.1576 0.42 0.07467 0.7143 1.904 json
t12_x18_u6_b32 12 18 6 32 nrm(mlt(R,dst(P,P))) 35192 98175668 o1(o2(x,o2(x,x))) true 111383 111383 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_x18_u6_b33 12 18 6 33 nrm(div(R,add(P,P))) 35193 98175669 o1(o2(x,o2(x,x))) true 111391 111391 -0.125 0 0.125 0.1094 0.3307 -1 0 1 1 0.5436 0.007937 0 0.007937 1 1 0 0.01587 0.01587 0.007872 0.08872 11.18 1 0.07256 0.1451 1 1 0.01053 0.04211 0.1684 0.09624 0.385 1.54 json
t12_x18_u6_b34 12 18 6 34 nrm(div(R,sub(P,P))) 35194 98175670 o1(o2(x,o2(x,x))) true 111399 111399 -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_x18_u6_b35 12 18 6 35 nrm(div(R,mlt(P,P))) 35195 98175671 o1(o2(x,o2(x,x))) true 111407 111407 -0.125 0 0.125 0.1094 0.3307 -1 0 1 1 0.5436 0.007937 0 0.007937 1 1 0 0.01587 0.01587 0.007872 0.08872 11.18 1 0.07256 0.1451 1 1 0.01053 0.04211 0.1684 0.09624 0.385 1.54 json
t12_x18_u6_b36 12 18 6 36 nrm(div(R,div(P,P))) 35196 98175672 o1(o2(x,o2(x,x))) true 111415 111415 -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_x18_u6_b37 12 18 6 37 nrm(div(R,pow(P,P))) 35197 98175673 o1(o2(x,o2(x,x))) true 111423 111423 -0.7448 0.08188 0.7867 0.217 0.4659 -1 0.9887 1.989 1 1.588 0.002663 0.00247 0.01047 0.03772 1 -0.000007034 0.009064 0.009136 0.005023 0.07088 6.767 1.696 0.02365 0.04176 1 1 0.007096 0.04479 0.1471 0.0327 0.2064 0.6778 json
t12_x18_u6_b38 12 18 6 38 nrm(div(R,mod(P,P))) 35198 98175674 o1(o2(x,o2(x,x))) true 111431 111431 -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_x18_u6_b39 12 18 6 39 nrm(div(R,lrg(P,P))) 35199 98175675 o1(o2(x,o2(x,x))) true 111439 111439 -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