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_x20_u5_b67 12 20 5 67 sgn(lrg(R,sub(P,R))) 36800 98256304 o1(o2(x,o2(x,x))) true 124247 124247 0.5117 0.6049 0.5117 0.2314 0.4811 0 1 1 1 1.753 0.0004752 0.0003909 0.01019 0.09737 1 -0.00002852 0.00004979 0.002461 0.0007618 0.0276 2.708 0.1169 0.003742 0.0002151 1 1 0.002134 0.0276 0.09828 0.009223 0.1193 0.4247 json
t12_x20_u5_b68 12 20 5 68 sgn(lrg(R,mlt(P,R))) 36801 98256305 o1(o2(x,o2(x,x))) true 124255 124255 0.498 0.9149 0.498 0.1579 0.3973 0 1 1 1 3.38 0.001993 0.002262 0.04986 -0.0631 1 0.00001926 0.0002476 0.0121 0.00177 0.04207 0.8438 0.1169 0.02696 0.001568 1 1 0.008333 0.1074 0.2992 0.05279 0.6806 1.895 json
t12_x20_u5_b69 12 20 5 69 sgn(lrg(R,div(P,R))) 36802 98256306 o1(o2(x,o2(x,x))) true 124263 124263 0.5215 0.9288 0.5215 0.1546 0.3932 0 1 1 1 3.414 0.001912 0.002433 0.05092 -0.1198 1 0.00003066 0.0002568 0.0124 0.001753 0.04187 0.8222 0.1169 0.02811 0.001662 1 1 0.008497 0.1095 0.3067 0.05497 0.7083 1.984 json
t12_x20_u5_b70 12 20 5 70 sgn(lrg(R,pow(P,R))) 36803 98256307 o1(o2(x,o2(x,x))) true 124271 124271 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_x20_u5_b71 12 20 5 71 sgn(lrg(R,mod(P,R))) 36804 98256308 o1(o2(x,o2(x,x))) true 124279 124279 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_x20_u5_b72 12 20 5 72 sgn(lrg(R,lrg(P,R))) 36805 98256309 o1(o2(x,o2(x,x))) true 124287 124287 0.2676 0.4921 0.2676 0.1474 0.3839 0 1 1 1 2.341 0.001052 0.001231 0.02666 -0.0785 1 0.000006427 0.0001288 0.006434 0.001572 0.03965 1.487 0.1169 0.01549 0.000874 1 1 0.004654 0.05961 0.1835 0.03158 0.4044 1.245 json
t12_x20_u5_b73 12 20 5 73 sgn(lrg(R,eql(P,R))) 36806 98256310 o1(o2(x,o2(x,x))) true 124295 124295 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_x20_u5_b74 12 20 5 74 sgn(lrg(R,min(P,R))) 36807 98256311 o1(o2(x,o2(x,x))) true 124303 124303 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_x20_u5_b75 12 20 5 75 sgn(lrg(R,dot(P,R))) 36808 98256312 o1(o2(x,o2(x,x))) true 124311 124311 0.5371 0.9522 0.5371 0.1547 0.3933 0 1 1 1 3.391 0.002026 0.002339 0.05093 -0.07165 1 0.00003993 0.000252 0.01233 0.001772 0.04209 0.8264 0.1169 0.02823 0.001629 1 1 0.008583 0.1107 0.3172 0.05549 0.7156 2.051 json
t12_x20_u5_b76 12 20 5 76 sgn(lrg(R,dst(P,R))) 36809 98256313 o1(o2(x,o2(x,x))) true 124319 124319 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_x20_u5_b77 12 20 5 77 sgn(eql(R,add(P,R))) 36810 98256314 o1(o2(x,o2(x,x))) true 124327 124327 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_x20_u5_b78 12 20 5 78 sgn(eql(R,sub(P,R))) 36811 98256315 o1(o2(x,o2(x,x))) true 124335 124335 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_x20_u5_b79 12 20 5 79 sgn(eql(R,mlt(P,R))) 36812 98256316 o1(o2(x,o2(x,x))) true 124343 124343 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_x20_u5_b80 12 20 5 80 sgn(eql(R,div(P,R))) 36813 98256317 o1(o2(x,o2(x,x))) true 124351 124351 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_x20_u5_b81 12 20 5 81 sgn(eql(R,pow(P,R))) 36814 98256318 o1(o2(x,o2(x,x))) true 124359 124359 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_x20_u5_b82 12 20 5 82 sgn(eql(R,mod(P,R))) 36815 98256319 o1(o2(x,o2(x,x))) true 124367 124367 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_x20_u5_b83 12 20 5 83 sgn(eql(R,lrg(P,R))) 36816 98256320 o1(o2(x,o2(x,x))) true 124375 124375 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_x20_u5_b84 12 20 5 84 sgn(eql(R,eql(P,R))) 36817 98256321 o1(o2(x,o2(x,x))) true 124383 124383 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_x20_u5_b85 12 20 5 85 sgn(eql(R,min(P,R))) 36818 98256322 o1(o2(x,o2(x,x))) true 124391 124391 0.5039 0.5456 0.5039 0.2412 0.4911 0 1 1 1 1.415 0.0003238 0.0001053 0.004981 0.5091 1 0.000005704 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_x20_u5_b86 12 20 5 86 sgn(eql(R,dot(P,R))) 36819 98256323 o1(o2(x,o2(x,x))) true 124399 124399 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_x20_u5_b87 12 20 5 87 sgn(eql(R,dst(P,R))) 36820 98256324 o1(o2(x,o2(x,x))) true 124407 124407 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_x20_u5_b88 12 20 5 88 sgn(min(R,add(P,R))) 36821 98256325 o1(o2(x,o2(x,x))) true 124415 124415 -0.5156 0.2402 0.8385 0.5129 0.7162 -1 1 2 1 2.764 0.00482 0.005266 0.05913 -0.04423 1 -0.00005988 0.0006049 0.01443 0.006592 0.08119 1.373 0.2338 0.01966 0.001179 1 1 0.02058 0.2674 0.7164 0.04012 0.5213 1.397 json
t12_x20_u5_b89 12 20 5 89 sgn(min(R,sub(P,R))) 36822 98256326 o1(o2(x,o2(x,x))) true 124423 124423 -0.5703 0.2124 0.852 0.4723 0.6872 -1 1 2 1 2.586 0.004379 0.004825 0.05407 -0.04847 1 -0.00004847 0.0005547 0.01321 0.006283 0.07926 1.466 0.2338 0.01949 0.001175 1 1 0.01783 0.2314 0.5848 0.03774 0.49 1.238 json
t12_x20_u5_b90 12 20 5 90 sgn(min(R,mlt(P,R))) 36823 98256327 o1(o2(x,o2(x,x))) true 124431 124431 -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_x20_u5_b91 12 20 5 91 sgn(min(R,div(P,R))) 36824 98256328 o1(o2(x,o2(x,x))) true 124439 124439 -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_x20_u5_b92 12 20 5 92 sgn(min(R,pow(P,R))) 36825 98256329 o1(o2(x,o2(x,x))) true 124447 124447 -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_x20_u5_b93 12 20 5 93 sgn(min(R,mod(P,R))) 36826 98256330 o1(o2(x,o2(x,x))) true 124455 124455 -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_x20_u5_b94 12 20 5 94 sgn(min(R,lrg(P,R))) 36827 98256331 o1(o2(x,o2(x,x))) true 124463 124463 -0.3027 0.2191 0.5882 0.3961 0.6294 -1 1 2 1 4.212 0.005082 0.006066 0.07835 -0.08825 1 -0.00004205 0.000667 0.01905 0.005009 0.07078 0.9034 0.2338 0.02814 0.001684 1 1 0.02172 0.281 0.6813 0.05483 0.7094 1.72 json
t12_x20_u5_b95 12 20 5 95 sgn(min(R,eql(P,R))) 36828 98256332 o1(o2(x,o2(x,x))) true 124471 124471 -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_x20_u5_b96 12 20 5 96 sgn(min(R,min(P,R))) 36829 98256333 o1(o2(x,o2(x,x))) true 124479 124479 -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_x20_u5_b97 12 20 5 97 sgn(min(R,dot(P,R))) 36830 98256334 o1(o2(x,o2(x,x))) true 124487 124487 -0.5625 0.2116 0.8358 0.4575 0.6764 -1 1 2 1 2.776 0.005122 0.005209 0.06099 -0.008469 1 -0.00007129 0.0006022 0.01477 0.006613 0.08132 1.333 0.2338 0.02258 0.001316 1 1 0.02166 0.2819 0.8085 0.04735 0.6161 1.767 json
t12_x20_u5_b98 12 20 5 98 sgn(min(R,dst(P,R))) 36831 98256335 o1(o2(x,o2(x,x))) true 124495 124495 -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_x20_u5_b99 12 20 5 99 sgn(dot(R,add(P,R))) 36832 98256336 o1(o2(x,o2(x,x))) true 124503 124503 0.07813 0.5415 0.7314 0.6244 0.7902 -1 1 2 1 3.934 0.007598 0.009479 0.09991 -0.1101 1 -0.00009127 0.0009949 0.02421 0.007095 0.08423 0.843 0.2338 0.02735 0.001593 1 1 0.03136 0.4052 1.16 0.05023 0.6489 1.858 json
t12_x20_u5_b100 12 20 5 100 sgn(dot(R,sub(P,R))) 36833 98256337 o1(o2(x,o2(x,x))) true 124511 124511 -0.2578 0.3652 0.7477 0.5859 0.7655 -1 1 2 1 3.73 0.006907 0.009324 0.09477 -0.1489 1 -0.0000941 0.0009312 0.02291 0.007252 0.08516 0.8986 0.2338 0.0277 0.001589 1 1 0.03087 0.3999 1.154 0.05269 0.6824 1.97 json
t12_x20_u5_b101 12 20 5 101 sgn(dot(R,mlt(P,R))) 36834 98256338 o1(o2(x,o2(x,x))) true 124519 124519 -0.03906 0.4799 0.8877 0.8439 0.9186 -1 1 2 1 2.605 0.003376 0.003557 0.04099 -0.02601 1 -0.0000157 0.0004067 0.009947 0.005252 0.07247 1.768 0.2338 0.008215 0.0004819 1 1 0.01359 0.177 0.6411 0.0161 0.2098 0.7597 json
t12_x20_u5_b102 12 20 5 102 sgn(dot(R,div(P,R))) 36835 98256339 o1(o2(x,o2(x,x))) true 124527 124527 4.331e-8 0.5 0.9633 0.9492 0.9743 -1 1 2 1 1.672 0.001095 0.001163 0.01358 -0.02998 1 0 0.0001234 0.003232 0.002073 0.04554 3.353 0.2338 0.00238 0.0001301 1 1 0.005941 0.07728 0.4817 0.006259 0.08141 0.5074 json
t12_x20_u5_b103 12 20 5 103 sgn(dot(R,pow(P,R))) 36836 98256340 o1(o2(x,o2(x,x))) true 124535 124535 -0.8633 0.06421 0.9366 0.1676 0.4094 -1 1 2 1 1.25 0.001995 0.002017 0.02365 -0.005589 1 -0.00004563 0.0002431 0.005785 0.003453 0.05877 2.485 0.2338 0.02394 0.00145 1 1 0.008381 0.1095 0.292 0.05 0.6531 1.742 json
t12_x20_u5_b104 12 20 5 104 sgn(dot(R,mod(P,R))) 36837 98256341 o1(o2(x,o2(x,x))) true 124543 124543 -0.04687 0.4776 0.7133 0.6048 0.7777 -1 1 2 1 4.017 0.008211 0.009778 0.1051 -0.08709 1 -0.0001098 0.001049 0.02549 0.006934 0.08327 0.7919 0.2338 0.02974 0.001735 1 1 0.03453 0.4456 1.141 0.05709 0.7369 1.887 json
t12_x20_u5_b105 12 20 5 105 sgn(dot(R,lrg(P,R))) 36838 98256342 o1(o2(x,o2(x,x))) true 124551 124551 -0.3984 0.2341 0.6987 0.4445 0.6667 -1 1 2 1 3.867 0.006754 0.005953 0.08195 0.06301 1 -0.00005845 0.0007411 0.01983 0.005992 0.07741 0.9446 0.2338 0.02859 0.001667 1 1 0.02497 0.3234 0.8486 0.05618 0.7276 1.909 json
t12_x20_u5_b106 12 20 5 106 sgn(dot(R,eql(P,R))) 36839 98256343 o1(o2(x,o2(x,x))) true 124559 124559 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_x20_u5_b107 12 20 5 107 sgn(dot(R,min(P,R))) 36840 98256344 o1(o2(x,o2(x,x))) true 124567 124567 0.3047 0.6531 0.7984 0.6301 0.7938 -1 1 2 1 3.318 0.005515 0.007326 0.07499 -0.1411 1 -0.00006132 0.0007453 0.01822 0.007215 0.08494 1.133 0.2338 0.02038 0.001183 1 1 0.02572 0.3295 0.8425 0.04082 0.5229 1.337 json
t12_x20_u5_b108 12 20 5 108 sgn(dot(R,dot(P,R))) 36841 98256345 o1(o2(x,o2(x,x))) true 124575 124575 0.07031 0.5341 0.7307 0.6275 0.7921 -1 1 2 1 3.961 0.008223 0.008024 0.09598 0.01227 1 0.00002136 0.001009 0.02364 0.007035 0.08387 0.8739 0.2338 0.02589 0.001609 1 1 0.03434 0.4423 1.102 0.05473 0.7048 1.756 json
t12_x20_u5_b109 12 20 5 109 sgn(dot(R,dst(P,R))) 36842 98256346 o1(o2(x,o2(x,x))) true 124583 124583 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_x20_u5_b110 12 20 5 110 sgn(dst(R,add(P,R))) 36843 98256347 o1(o2(x,o2(x,x))) true 124591 124591 0.9961 1 0.9961 0.002383 0.04882 0.000582 1 0.9994 1 0.1068 0.00003512 0.00003512 0.0008419 6.216e-7 0 -1.577e-10 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_x20_u5_b111 12 20 5 111 sgn(dst(R,sub(P,R))) 36844 98256348 o1(o2(x,o2(x,x))) true 124599 124599 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_x20_u5_b112 12 20 5 112 sgn(dst(R,mlt(P,R))) 36845 98256349 o1(o2(x,o2(x,x))) true 124607 124607 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_x20_u5_b113 12 20 5 113 sgn(dst(R,div(P,R))) 36846 98256350 o1(o2(x,o2(x,x))) true 124615 124615 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_x20_u5_b114 12 20 5 114 sgn(dst(R,pow(P,R))) 36847 98256351 o1(o2(x,o2(x,x))) true 124623 124623 -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_x20_u5_b115 12 20 5 115 sgn(dst(R,mod(P,R))) 36848 98256352 o1(o2(x,o2(x,x))) true 124631 124631 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_x20_u5_b116 12 20 5 116 sgn(dst(R,lrg(P,R))) 36849 98256353 o1(o2(x,o2(x,x))) true 124639 124639 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_x20_u5_b117 12 20 5 117 sgn(dst(R,eql(P,R))) 36850 98256354 o1(o2(x,o2(x,x))) true 124647 124647 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_x20_u5_b118 12 20 5 118 sgn(dst(R,min(P,R))) 36851 98256355 o1(o2(x,o2(x,x))) true 124655 124655 0.8662 0.9883 0.8662 0.08829 0.2971 0 1 1 1 1.481 0.0006821 0.0005814 0.0148 0.07969 1 -0.00001355 0.00007438 0.003588 0.001044 0.03232 2.184 0.1169 0.01431 0.0008424 1 1 0.002614 0.03405 0.1025 0.02961 0.3857 1.161 json
t12_x20_u5_b119 12 20 5 119 sgn(dst(R,dot(P,R))) 36852 98256356 o1(o2(x,o2(x,x))) true 124663 124663 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_x20_u5_b120 12 20 5 120 sgn(dst(R,dst(P,R))) 36853 98256357 o1(o2(x,o2(x,x))) true 124671 124671 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_x20_u6_b0 12 20 6 0 nrm(add(R,add(P,R))) 36854 98256438 o1(o2(x,o2(x,x))) true 124679 124679 -0.0001789 0.5054 0.6151 0.4506 0.6712 -0.9937 0.9955 1.989 1 4.867 0.0004097 0.0003274 0.01749 0.1117 1 2.16e-7 0.00004285 0.003968 0.0004313 0.02077 1.188 0.1859 0.001636 0.0000951 1 1 0.002186 0.02847 0.1217 0.004852 0.06318 0.2702 json
t12_x20_u6_b1 12 20 6 1 nrm(add(R,sub(P,R))) 36855 98256439 o1(o2(x,o2(x,x))) true 124687 124687 -0.01562 0.4896 0.6504 0.5048 0.7105 -1 1 2 1 4.761 0.001863 0.00124 0.0104 0.2009 1 3.065e-10 0.00612 0.00575 0.002995 0.05473 5.261 2.414 0.006147 0.01212 1 1 0.005637 0.02655 0.1534 0.01117 0.05259 0.3039 json
t12_x20_u6_b2 12 20 6 2 nrm(add(R,mlt(P,R))) 36856 98256440 o1(o2(x,o2(x,x))) true 124695 124695 -0.05339 0.4665 0.4434 0.2824 0.5314 -0.9988 0.9992 1.998 1 4.951 0.003645 0.004371 0.06942 -0.09054 1 -0.00004747 0.0004784 0.01632 0.003197 0.05654 0.8144 0.2334 0.02839 0.001694 1 1 0.01566 0.2016 0.5072 0.05544 0.7138 1.796 json
t12_x20_u6_b3 12 20 6 3 nrm(add(R,div(P,R))) 36857 98256441 o1(o2(x,o2(x,x))) true 124703 124703 -0.02992 0.4817 0.4584 0.3027 0.5502 -1 0.9999 2 1 4.96 0.003843 0.00507 0.07326 -0.1376 1 -0.00003258 0.0005319 0.01724 0.003546 0.05955 0.8129 0.2338 0.02945 0.001757 1 1 0.01708 0.2206 0.599 0.05644 0.7287 1.979 json
t12_x20_u6_b4 12 20 6 4 nrm(add(R,pow(P,R))) 36858 98256442 o1(o2(x,o2(x,x))) true 124711 124711 -0.7332 0.1699 0.8229 0.2627 0.5126 -1 0.999 1.999 1 1.59 0.003264 0.003168 0.01295 0.01493 1 -0.00001121 0.01196 0.0116 0.006262 0.07913 6.111 1.952 0.02448 0.0455 1 1 0.00925 0.04686 0.1645 0.0352 0.1783 0.626 json
t12_x20_u6_b5 12 20 6 5 nrm(add(R,mod(P,R))) 36859 98256443 o1(o2(x,o2(x,x))) true 124719 124719 0.008747 0.5113 0.3761 0.2017 0.4491 -0.9919 0.9946 1.987 1 4.81 0.002558 0.002708 0.05914 -0.02846 1 -0.000005017 0.000309 0.01361 0.001769 0.04205 0.7111 0.228 0.02611 0.001532 1 1 0.01045 0.1342 0.3562 0.0518 0.6656 1.766 json
t12_x20_u6_b6 12 20 6 6 nrm(add(R,lrg(P,R))) 36860 98256444 o1(o2(x,o2(x,x))) true 124727 124727 0.3473 0.7805 0.4901 0.1824 0.4271 -0.9838 0.9974 1.981 1 4.581 0.001228 0.001547 0.04031 -0.115 1 0.00002855 0.0001629 0.009243 0.001151 0.03393 0.8417 0.2115 0.01522 0.0008931 1 1 0.005162 0.0657 0.1962 0.0283 0.3602 1.076 json
t12_x20_u6_b7 12 20 6 7 nrm(add(R,eql(P,R))) 36861 98256445 o1(o2(x,o2(x,x))) true 124735 124735 -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_x20_u6_b8 12 20 6 8 nrm(add(R,min(P,R))) 36862 98256446 o1(o2(x,o2(x,x))) true 124743 124743 -0.3657 0.2388 0.5293 0.2546 0.5046 -1 0.9927 1.993 1 4.554 0.001484 0.001173 0.03343 0.1169 1 -0.00002532 0.0001596 0.007751 0.00154 0.03924 1.174 0.2218 0.01044 0.0006269 1 1 0.005867 0.07658 0.2371 0.02304 0.3008 0.9313 json
t12_x20_u6_b9 12 20 6 9 nrm(add(R,dot(P,R))) 36863 98256447 o1(o2(x,o2(x,x))) true 124751 124751 -0.05562 0.4429 0.398 0.1953 0.4419 -0.835 0.9439 1.779 1 4.524 0.002471 0.00292 0.05798 -0.08335 1 -0.00006651 0.0003134 0.01366 0.002029 0.04504 0.7768 0.2017 0.02761 0.001605 1 1 0.01047 0.1356 0.3849 0.0536 0.6944 1.971 json
t12_x20_u6_b10 12 20 6 10 nrm(add(R,dst(P,R))) 36864 98256448 o1(o2(x,o2(x,x))) true 124759 124759 0.5744 1 0.5744 0.002455 0.04955 0.2146 0.7747 0.5601 1 1.674 0.00004334 0.00003587 0.006192 0.09432 0 5.868e-7 0.000004869 0.001438 0.00004087 0.006393 1.032 0.06431 0.03226 0.001983 1 1 0.0002383 0.003088 0.007167 0.09708 1.258 2.919 json
t12_x20_u6_b11 12 20 6 11 nrm(sub(R,add(P,R))) 36865 98256449 o1(o2(x,o2(x,x))) true 124767 124767 -0.01563 0.4896 0.6504 0.5048 0.7105 -1 1 2 1 4.761 0.001863 0.00124 0.01041 0.2009 1 -7.626e-12 0.00612 0.00575 0.002995 0.05472 5.255 2 0.006147 0.01212 1 1 0.005637 0.02655 0.1534 0.01117 0.05259 0.3039 json
t12_x20_u6_b12 12 20 6 12 nrm(sub(R,sub(P,R))) 36866 98256450 o1(o2(x,o2(x,x))) true 124775 124775 0.009266 0.5075 0.6149 0.4552 0.6747 -0.9966 0.9995 1.996 1 4.858 0.0004523 0.0003034 0.01784 0.197 1 3.274e-7 0.00004322 0.003991 0.0004375 0.02092 1.172 0.1929 0.00166 0.00009495 1 1 0.002268 0.0295 0.1238 0.004982 0.06482 0.272 json
t12_x20_u6_b13 12 20 6 13 nrm(sub(R,mlt(P,R))) 36867 98256451 o1(o2(x,o2(x,x))) true 124783 124783 0.04574 0.5425 0.4452 0.2855 0.5343 -0.9963 0.9976 1.994 1 4.952 0.00351 0.004222 0.06721 -0.09216 1 0.00003513 0.0004575 0.01578 0.003214 0.0567 0.8435 0.233 0.02708 0.001603 1 1 0.01495 0.1925 0.5288 0.05237 0.6741 1.852 json
t12_x20_u6_b14 12 20 6 14 nrm(sub(R,div(P,R))) 36868 98256452 o1(o2(x,o2(x,x))) true 124791 124791 0.02877 0.5152 0.46 0.3039 0.5512 -0.9999 1 2 1 4.956 0.003906 0.004941 0.07278 -0.117 1 0.00003609 0.0005258 0.01708 0.00355 0.05958 0.8187 0.2338 0.02912 0.00173 1 1 0.01681 0.2169 0.6118 0.05532 0.7138 2.013 json
t12_x20_u6_b15 12 20 6 15 nrm(sub(R,pow(P,R))) 36869 98256453 o1(o2(x,o2(x,x))) true 124799 124799 -0.8384 0 0.8384 0.1059 0.3255 -1 0 1 1 1.593 0.001722 0.002227 0.01216 -0.1278 1 0.00000668 0.007072 0.009318 0.003802 0.06166 5.071 1.414 0.03728 0.06677 1 1 0.005078 0.02823 0.08518 0.04794 0.2665 0.8041 json
t12_x20_u6_b16 12 20 6 16 nrm(sub(R,mod(P,R))) 36870 98256454 o1(o2(x,o2(x,x))) true 124807 124807 -0.007173 0.4791 0.3839 0.2089 0.4571 -0.9882 0.9945 1.983 1 4.84 0.002389 0.002714 0.0587 -0.06381 1 -0.000009782 0.0002999 0.01349 0.001658 0.04071 0.6936 0.2115 0.02442 0.001435 1 1 0.009965 0.1281 0.3263 0.04769 0.6129 1.562 json
t12_x20_u6_b17 12 20 6 17 nrm(sub(R,lrg(P,R))) 36871 98256455 o1(o2(x,o2(x,x))) true 124815 124815 -0.261 0.2683 0.4188 0.1649 0.4061 -0.9968 0.9715 1.968 1 4.616 0.00127 0.001401 0.04016 -0.04913 1 0.00001069 0.0001551 0.009137 0.001059 0.03254 0.8103 0.2114 0.0162 0.0009405 1 1 0.005619 0.07187 0.2022 0.03407 0.4358 1.226 json
t12_x20_u6_b18 12 20 6 18 nrm(sub(R,eql(P,R))) 36872 98256456 o1(o2(x,o2(x,x))) true 124823 124823 -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_x20_u6_b19 12 20 6 19 nrm(sub(R,min(P,R))) 36873 98256457 o1(o2(x,o2(x,x))) true 124831 124831 0.1306 0.4975 0.6463 0.5871 0.7662 -1 1 2 1 2.81 0.00894 0.005466 0.01388 0.2412 1 -0.00001002 0.02931 0.02086 0.01421 0.1192 8.586 2 0.02454 0.04993 1 1 0.01721 0.07374 0.2927 0.02931 0.1256 0.4986 json
t12_x20_u6_b20 12 20 6 20 nrm(sub(R,dot(P,R))) 36874 98256458 o1(o2(x,o2(x,x))) true 124839 124839 0.04258 0.5376 0.4062 0.2041 0.4518 -0.9306 0.8775 1.808 1 4.576 0.002621 0.003264 0.06118 -0.1092 1 0.00004267 0.0003401 0.01446 0.002141 0.04627 0.7563 0.1982 0.02883 0.001666 1 1 0.01181 0.1519 0.4066 0.05784 0.7439 1.992 json
t12_x20_u6_b21 12 20 6 21 nrm(sub(R,dst(P,R))) 36875 98256459 o1(o2(x,o2(x,x))) true 124847 124847 -0.5697 0 0.5697 0.0031 0.05568 -0.7676 -0.1733 0.5944 1 1.784 0.00005418 0.00004279 0.006573 0.1174 0 5.508e-7 0.000006112 0.001531 0.00005376 0.007332 1.115 0.0695 0.03128 0.001971 1 1 0.0002999 0.003888 0.008934 0.09674 1.254 2.881 json
t12_x20_u6_b22 12 20 6 22 nrm(mlt(R,add(P,R))) 36876 98256460 o1(o2(x,o2(x,x))) true 124855 124855 0.009055 0.52 0.467 0.3057 0.5529 -0.9998 0.9999 2 1 4.98 0.003691 0.00456 0.07023 -0.1052 1 -0.00004104 0.0004909 0.01648 0.003319 0.05761 0.8203 0.2331 0.02699 0.001606 1 1 0.01626 0.2093 0.5583 0.05319 0.6848 1.826 json
t12_x20_u6_b23 12 20 6 23 nrm(mlt(R,sub(P,R))) 36877 98256461 o1(o2(x,o2(x,x))) true 124863 124863 -0.1033 0.4099 0.4634 0.2938 0.5421 -0.9998 0.9987 1.998 1 4.95 0.00376 0.004479 0.07003 -0.08728 1 -0.0000457 0.0004899 0.01644 0.003335 0.05775 0.8246 0.2331 0.02804 0.001667 1 1 0.01629 0.2099 0.5553 0.05543 0.7144 1.89 json
t12_x20_u6_b24 12 20 6 24 nrm(mlt(R,mlt(P,R))) 36878 98256462 o1(o2(x,o2(x,x))) true 124871 124871 -0.01625 0.4898 0.6094 0.4777 0.6911 -1 1 2 1 4.765 0.002712 0.00223 0.03576 0.09761 1 -0.000006479 0.006249 0.0119 0.003664 0.06053 1.693 2 0.01035 0.01308 1 1 0.008894 0.06846 0.2706 0.01862 0.1433 0.5665 json
t12_x20_u6_b25 12 20 6 25 nrm(mlt(R,div(P,R))) 36879 98256463 o1(o2(x,o2(x,x))) true 124879 124879 -0.01562 0.4896 0.6504 0.5048 0.7105 -1 1 2 1 4.761 0.001863 0.00124 0.0104 0.2009 1 3.79e-11 0.00612 0.00575 0.002995 0.05473 5.261 2.414 0.006147 0.01212 1 1 0.005637 0.02655 0.1534 0.01117 0.05259 0.3039 json
t12_x20_u6_b26 12 20 6 26 nrm(mlt(R,pow(P,R))) 36880 98256464 o1(o2(x,o2(x,x))) true 124887 124887 -0.7653 0.09488 0.8255 0.2162 0.465 -1 0.9994 1.999 1 1.692 0.003251 0.003351 0.01484 -0.01526 1 -0.000017 0.01178 0.0119 0.00638 0.07987 5.383 1.999 0.03053 0.05448 1 1 0.009569 0.05002 0.1732 0.04425 0.2313 0.801 json
t12_x20_u6_b27 12 20 6 27 nrm(mlt(R,mod(P,R))) 36881 98256465 o1(o2(x,o2(x,x))) true 124895 124895 -0.05753 0.4445 0.4564 0.303 0.5505 -1 1 2 1 4.931 0.005561 0.005612 0.07577 -0.004515 1 -0.00006876 0.006137 0.02108 0.005432 0.0737 0.9727 2 0.03687 0.02025 1 1 0.02104 0.2282 0.6196 0.06944 0.7531 2.045 json
t12_x20_u6_b28 12 20 6 28 nrm(mlt(R,lrg(P,R))) 36882 98256466 o1(o2(x,o2(x,x))) true 124903 124903 -0.2921 0.218 0.5055 0.3367 0.5802 -1 1 2 1 3.849 0.005398 0.005624 0.04639 -0.0205 1 -0.00003382 0.01335 0.02185 0.008869 0.09417 2.03 1.999 0.03274 0.03966 1 1 0.0167 0.1435 0.3654 0.0496 0.4263 1.085 json
t12_x20_u6_b29 12 20 6 29 nrm(mlt(R,eql(P,R))) 36883 98256467 o1(o2(x,o2(x,x))) true 124911 124911 -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_x20_u6_b30 12 20 6 30 nrm(mlt(R,min(P,R))) 36884 98256468 o1(o2(x,o2(x,x))) true 124919 124919 0.1853 0.7507 0.4752 0.2919 0.5403 -0.9999 1 2 1 4.727 0.002907 0.003355 0.05583 -0.07144 1 -0.00001677 0.0003655 0.01321 0.003145 0.05608 1.004 0.2337 0.02145 0.001252 1 1 0.01232 0.1578 0.4526 0.0422 0.5405 1.551 json
t12_x20_u6_b31 12 20 6 31 nrm(mlt(R,dot(P,R))) 36885 98256469 o1(o2(x,o2(x,x))) true 124927 124927 -0.01146 0.4949 0.465 0.271 0.5206 -1 0.9487 1.949 1 4.832 0.002728 0.00308 0.04594 -0.06067 1 -0.000005746 0.005375 0.01387 0.003698 0.06081 1.324 2.033 0.02143 0.01983 1 1 0.01078 0.1001 0.3076 0.03976 0.3694 1.135 json
t12_x20_u6_b32 12 20 6 32 nrm(mlt(R,dst(P,R))) 36886 98256470 o1(o2(x,o2(x,x))) true 124935 124935 -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_x20_u6_b33 12 20 6 33 nrm(div(R,add(P,R))) 36887 98256471 o1(o2(x,o2(x,x))) true 124943 124943 0.003098 0.472 0.1575 0.05759 0.24 -0.993 0.707 1.7 1 3.673 0.0009396 0.0005404 0.02429 0.2698 1 -0.000007113 0.00008107 0.005522 0.0008901 0.02983 1.228 0.1979 0.0257 0.001408 1 1 0.003295 0.04262 0.1212 0.05722 0.7401 2.104 json
t12_x20_u6_b34 12 20 6 34 nrm(div(R,sub(P,R))) 36888 98256472 o1(o2(x,o2(x,x))) true 124951 124951 -0.003167 0.4652 0.1592 0.06088 0.2467 -0.707 0.9994 1.706 1 3.677 0.001063 0.0005668 0.02494 0.3046 1 -0.000008821 0.00008831 0.00567 0.001008 0.03175 1.273 0.1988 0.02678 0.001451 1 1 0.003591 0.04637 0.1167 0.05899 0.7616 1.917 json
t12_x20_u6_b35 12 20 6 35 nrm(div(R,mlt(P,R))) 36889 98256473 o1(o2(x,o2(x,x))) true 124959 124959 -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_x20_u6_b36 12 20 6 36 nrm(div(R,div(P,R))) 36890 98256474 o1(o2(x,o2(x,x))) true 124967 124967 -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_x20_u6_b37 12 20 6 37 nrm(div(R,pow(P,R))) 36891 98256475 o1(o2(x,o2(x,x))) true 124975 124975 -0.7754 0.09937 0.8366 0.208 0.4561 -1 0.9994 1.999 1 1.761 0.00372 0.003041 0.01662 0.1004 1 -0.00001315 0.01161 0.01215 0.006484 0.08052 4.844 1.999 0.0325 0.0558 1 1 0.008444 0.05795 0.1929 0.04059 0.2785 0.9272 json
t12_x20_u6_b38 12 20 6 38 nrm(div(R,mod(P,R))) 36892 98256476 o1(o2(x,o2(x,x))) true 124983 124983 -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_x20_u6_b39 12 20 6 39 nrm(div(R,lrg(P,R))) 36893 98256477 o1(o2(x,o2(x,x))) true 124991 124991 -0.5326 0.1055 0.5979 0.285 0.5338 -1 0.9368 1.937 1 2.287 0.004867 0.000859 0.01494 0.6999 1 -0.000003476 0.01006 0.0114 0.005503 0.07418 4.964 1.937 0.02009 0.0353 1 1 0.00718 0.04406 0.1632 0.02519 0.1546 0.5726 json
t12_x20_u6_b40 12 20 6 40 nrm(div(R,eql(P,R))) 36894 98256478 o1(o2(x,o2(x,x))) true 124999 124999 -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_x20_u6_b41 12 20 6 41 nrm(div(R,min(P,R))) 36895 98256479 o1(o2(x,o2(x,x))) true 125007 125007 0.07521 0.6095 0.2599 0.1587 0.3984 -1 0.7071 1.707 1 3.561 0.007407 0.002809 0.02827 0.4501 1 0.000007154 0.01858 0.01975 0.009416 0.09704 3.432 1.703 0.06436 0.1171 1 1 0.01553 0.07954 0.2808 0.0978 0.5011 1.769 json
t12_x20_u6_b42 12 20 6 42 nrm(div(R,dot(P,R))) 36896 98256480 o1(o2(x,o2(x,x))) true 125015 125015 -0.01146 0.4949 0.465 0.271 0.5206 -1 0.9487 1.949 1 4.832 0.002728 0.00308 0.04594 -0.06067 1 -0.000005746 0.005375 0.01387 0.003698 0.06081 1.324 2.033 0.02143 0.01983 1 1 0.01078 0.1001 0.3076 0.03976 0.3694 1.135 json
t12_x20_u6_b43 12 20 6 43 nrm(div(R,dst(P,R))) 36897 98256481 o1(o2(x,o2(x,x))) true 125023 125023 -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_x20_u6_b44 12 20 6 44 nrm(pow(R,add(P,R))) 36898 98256482 o1(o2(x,o2(x,x))) true 125031 125031 -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_x20_u6_b45 12 20 6 45 nrm(pow(R,sub(P,R))) 36899 98256483 o1(o2(x,o2(x,x))) true 125039 125039 -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