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_x0_u0_b112 12 0 0 112 sqt(dst(P,mlt(P,P))) 19300 97447324 o1(o2(x,o2(x,x))) true 154407 154407 0.9873 0.9961 0.9873 0.01056 0.1028 0 1 1 1 0.1741 0.0001126 0.0001126 0.001684 -9.049e-7 1 -1.276e-10 0.00004104 0.0006279 0.0002223 0.01491 8.854 0.1688 0.02131 0.003886 1 1 0 0 0.0007605 0 0 0.07199 json
t12_x0_u0_b113 12 0 0 113 sqt(dst(P,div(P,P))) 19301 97447325 o1(o2(x,o2(x,x))) true 154415 154415 -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_x0_u0_b114 12 0 0 114 sqt(dst(P,pow(P,P))) 19302 97447326 o1(o2(x,o2(x,x))) true 154423 154423 -0.5 0.25 1 0.75 0.866 -1 1 2 1 0.8113 0.007937 0.007937 0.007937 0 1 0 0.03187 0.01587 0.01581 0.1257 15.84 2 0.02116 0.0425 1 1 0 0 0.02105 0 0 0.02807 json
t12_x0_u0_b115 12 0 0 115 sqt(dst(P,mod(P,P))) 19303 97447327 o1(o2(x,o2(x,x))) true 154431 154431 -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_x0_u0_b116 12 0 0 116 sqt(dst(P,lrg(P,P))) 19304 97447328 o1(o2(x,o2(x,x))) true 154439 154439 0.9963 1 0.9963 0.002333 0.0483 0.000582 1 0.9994 1 0.0975 0.00003754 0.00003754 0.0008214 -9.69e-8 0 -1.427e-10 0.000006666 0.0002158 0.00007432 0.008621 10.5 0.1194 0.03219 0.002858 1 1 0 0 0.00026 0 0 0.1114 json
t12_x0_u0_b117 12 0 0 117 sqt(dst(P,eql(P,P))) 19305 97447329 o1(o2(x,o2(x,x))) true 154447 154447 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_x0_u0_b118 12 0 0 118 sqt(dst(P,min(P,P))) 19306 97447330 o1(o2(x,o2(x,x))) true 154455 154455 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_x0_u0_b119 12 0 0 119 sqt(dst(P,dot(P,P))) 19307 97447331 o1(o2(x,o2(x,x))) true 154463 154463 0.9975 1 0.9975 0.001697 0.04119 0.0006922 1 0.9993 1 0.0621 0.00004662 0.00004662 0.0006893 0 0 5.256e-11 0.00002211 0.0002947 0.00009276 0.009631 13.97 0.183 0.05495 0.01303 1 1 0 0 0.0003138 0 0 0.1849 json
t12_x0_u0_b120 12 0 0 120 sqt(dst(P,dst(P,P))) 19308 97447332 o1(o2(x,o2(x,x))) true 154471 154471 0.9963 1 0.9963 0.002333 0.0483 0.000582 1 0.9994 1 0.0975 0.00003754 0.00003754 0.0008214 -9.69e-8 0 -1.427e-10 0.000006666 0.0002158 0.00007432 0.008621 10.5 0.1194 0.03219 0.002858 1 1 0 0 0.00026 0 0 0.1114 json
t12_x0_u1_b0 12 0 1 0 log(add(P,add(P,P))) 19309 97447413 o1(o2(x,o2(x,x))) true 154479 154479 -0.125 0.4375 1 0.9844 0.9922 -1 1 2 1 0.9887 0.01587 0 0.007937 1 1 0 0.03175 0.01587 0.01581 0.1257 15.84 2 0.01612 0.03225 1 1 0 0 0.02105 0 0 0.02139 json
t12_x0_u1_b1 12 0 1 1 log(add(P,sub(P,P))) 19310 97447414 o1(o2(x,o2(x,x))) true 154487 154487 -0.1739 0.4375 0.9511 0.9053 0.9515 -1 1 2 1 1.654 0.004186 0 0.007937 1 1 1.42e-9 0.007916 0.008917 0.004122 0.0642 8.089 1 0.004624 0.008745 1 1 0 0 0.005854 0 0 0.006466 json
t12_x0_u1_b2 12 0 1 2 log(add(P,mlt(P,P))) 19311 97447415 o1(o2(x,o2(x,x))) true 154495 154495 0.6147 0.8125 0.9897 0.6041 0.7772 -1 1 2 1 0.9758 0.02293 0 0.01587 1 1 -1.892e-9 0.04537 0.02827 0.02267 0.1506 9.485 1.693 0.03795 0.07511 1 1 0 0 0.03072 0 0 0.05085 json
t12_x0_u1_b3 12 0 1 3 log(add(P,div(P,P))) 19312 97447416 o1(o2(x,o2(x,x))) true 154503 154503 -0.1331 0.4375 0.9919 0.968 0.9839 -1 1 2 1 1.223 0.01142 0 0.007937 1 1 1.892e-9 0.02272 0.01379 0.01136 0.1066 13.43 1.693 0.0118 0.02347 1 1 0 0 0.01523 0 0 0.01574 json
t12_x0_u1_b4 12 0 1 4 log(add(P,pow(P,P))) 19313 97447417 o1(o2(x,o2(x,x))) true 154511 154511 -0.04599 0.5 0.954 0.9381 0.9685 -1 1 2 1 1.598 0.004222 0 0.007936 1 1 -1.419e-9 0.007937 0.009292 0.004157 0.06448 8.124 1 0.0045 0.008461 1 1 0 0 0.005935 0 0 0.006327 json
t12_x0_u1_b5 12 0 1 5 log(add(P,mod(P,P))) 19314 97447418 o1(o2(x,o2(x,x))) true 154519 154519 -0.171 0.4375 0.954 0.9111 0.9545 -1 1 2 1 1.569 0.004222 0 0.007936 1 1 -1.419e-9 0.007937 0.009292 0.004157 0.06448 8.124 1 0.004633 0.008711 1 1 0 0 0.005935 0 0 0.006514 json
t12_x0_u1_b6 12 0 1 6 log(add(P,lrg(P,P))) 19315 97447419 o1(o2(x,o2(x,x))) true 154527 154527 -0.1739 0.4375 0.9511 0.9053 0.9515 -1 1 2 1 1.654 0.004186 0 0.007937 1 1 1.42e-9 0.007916 0.008917 0.004122 0.0642 8.089 1 0.004624 0.008745 1 1 0 0 0.005854 0 0 0.006466 json
t12_x0_u1_b7 12 0 1 7 log(add(P,eql(P,P))) 19316 97447420 o1(o2(x,o2(x,x))) true 154535 154535 -0.0489 0.5 0.9511 0.9333 0.9661 -1 1 2 1 1.686 0.004186 0 0.007937 1 1 1.42e-9 0.007916 0.008917 0.004122 0.0642 8.089 1 0.004485 0.008482 1 1 0 0 0.005854 0 0 0.006272 json
t12_x0_u1_b8 12 0 1 8 log(add(P,min(P,P))) 19317 97447421 o1(o2(x,o2(x,x))) true 154543 154543 -0.1312 0.4375 0.9938 0.9718 0.9858 -1 1 2 1 1.182 0.01145 0 0.007937 1 1 0 0.02272 0.01402 0.01139 0.1067 13.44 1.693 0.01178 0.02338 1 1 0 0 0.01531 0 0 0.01575 json
t12_x0_u1_b9 12 0 1 9 log(add(P,dot(P,P))) 19318 97447422 o1(o2(x,o2(x,x))) true 154551 154551 0.9467 0.9766 0.9935 0.09552 0.3091 -1 1 2 1 0.3023 0.00359 0.003146 0.005278 0.06582 1 5.068e-10 0.01365 0.008382 0.00671 0.08191 15.52 2.828 0.07053 0.1429 1 1 0 0 0.01216 0 0 0.1273 json
t12_x0_u1_b10 12 0 1 10 log(add(P,dst(P,P))) 19319 97447423 o1(o2(x,o2(x,x))) true 154559 154559 -0.1739 0.4375 0.9511 0.9053 0.9515 -1 1 2 1 1.654 0.004186 0 0.007937 1 1 1.42e-9 0.007916 0.008917 0.004122 0.0642 8.089 1 0.004624 0.008745 1 1 0 0 0.005854 0 0 0.006466 json
t12_x0_u1_b11 12 0 1 11 log(sub(P,add(P,P))) 19320 97447424 o1(o2(x,o2(x,x))) true 154567 154567 -0.1739 0.4375 0.9511 0.9053 0.9515 -1 1 2 1 1.654 0.004186 0 0.007937 1 1 1.419e-9 0.007916 0.008917 0.004122 0.0642 8.089 1 0.004624 0.008745 1 1 0 0 0.005854 0 0 0.006466 json
t12_x0_u1_b12 12 0 1 12 log(sub(P,sub(P,P))) 19321 97447425 o1(o2(x,o2(x,x))) true 154575 154575 -0.1739 0.4375 0.9511 0.9053 0.9515 -1 1 2 1 1.654 0.004186 0 0.007937 1 1 1.42e-9 0.007916 0.008917 0.004122 0.0642 8.089 1 0.004624 0.008745 1 1 0 0 0.005854 0 0 0.006466 json
t12_x0_u1_b13 12 0 1 13 log(sub(P,mlt(P,P))) 19322 97447426 o1(o2(x,o2(x,x))) true 154583 154583 -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_x0_u1_b14 12 0 1 14 log(sub(P,div(P,P))) 19323 97447427 o1(o2(x,o2(x,x))) true 154591 154591 -0.2989 0.375 0.9511 0.8461 0.9199 -1 1 2 1 1.595 0.004186 0 0.007937 1 1 1.42e-9 0.007916 0.008917 0.004122 0.0642 8.089 1 0.004947 0.009356 1 1 0 0 0.005854 0 0 0.006919 json
t12_x0_u1_b15 12 0 1 15 log(sub(P,pow(P,P))) 19324 97447428 o1(o2(x,o2(x,x))) true 154599 154599 -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_x0_u1_b16 12 0 1 16 log(sub(P,mod(P,P))) 19325 97447429 o1(o2(x,o2(x,x))) true 154607 154607 -0.7909 0.125 0.9591 0.3238 0.569 -1 1 2 1 0.8717 0.04726 0 0.02931 1 1 0 0.09421 0.05373 0.04643 0.2155 7.352 2 0.146 0.291 1 1 0 0 0.06288 0 0 0.1942 json
t12_x0_u1_b17 12 0 1 17 log(sub(P,lrg(P,P))) 19326 97447430 o1(o2(x,o2(x,x))) true 154615 154615 -0.1739 0.4375 0.9511 0.9053 0.9515 -1 1 2 1 1.654 0.004186 0 0.007937 1 1 1.42e-9 0.007916 0.008917 0.004122 0.0642 8.089 1 0.004624 0.008745 1 1 0 0 0.005854 0 0 0.006466 json
t12_x0_u1_b18 12 0 1 18 log(sub(P,eql(P,P))) 19327 97447431 o1(o2(x,o2(x,x))) true 154623 154623 -0.2989 0.375 0.9511 0.8461 0.9199 -1 1 2 1 1.595 0.004186 0 0.007937 1 1 1.42e-9 0.007916 0.008917 0.004122 0.0642 8.089 1 0.004947 0.009356 1 1 0 0 0.005854 0 0 0.006919 json
t12_x0_u1_b19 12 0 1 19 log(sub(P,min(P,P))) 19328 97447432 o1(o2(x,o2(x,x))) true 154631 154631 -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_x0_u1_b20 12 0 1 20 log(sub(P,dot(P,P))) 19329 97447433 o1(o2(x,o2(x,x))) true 154639 154639 -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_x0_u1_b21 12 0 1 21 log(sub(P,dst(P,P))) 19330 97447434 o1(o2(x,o2(x,x))) true 154647 154647 -0.1739 0.4375 0.9511 0.9053 0.9515 -1 1 2 1 1.654 0.004186 0 0.007937 1 1 1.42e-9 0.007916 0.008917 0.004122 0.0642 8.089 1 0.004624 0.008745 1 1 0 0 0.005854 0 0 0.006466 json
t12_x0_u1_b22 12 0 1 22 log(mlt(P,add(P,P))) 19331 97447435 o1(o2(x,o2(x,x))) true 154655 154655 0.7407 0.875 0.9907 0.4349 0.6595 -1 1 2 1 0.8274 0.02297 0 0.01587 1 1 1.892e-9 0.0454 0.02854 0.02271 0.1507 9.495 1.694 0.05282 0.1044 1 1 0 0 0.03082 0 0 0.07088 json
t12_x0_u1_b23 12 0 1 23 log(mlt(P,sub(P,P))) 19332 97447436 o1(o2(x,o2(x,x))) true 154663 154663 -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_x0_u1_b24 12 0 1 24 log(mlt(P,mlt(P,P))) 19333 97447437 o1(o2(x,o2(x,x))) true 154671 154671 -0.1461 0.4375 0.9789 0.954 0.9767 -1 1 2 1 1.226 0.004645 0 0.007937 1 1 -4.726e-10 0.007988 0.009698 0.004581 0.06768 8.528 1.001 0.00487 0.008374 1 1 0 0 0.007025 0 0 0.007364 json
t12_x0_u1_b25 12 0 1 25 log(mlt(P,div(P,P))) 19334 97447438 o1(o2(x,o2(x,x))) true 154679 154679 -0.1739 0.4375 0.9511 0.9053 0.9515 -1 1 2 1 1.654 0.004186 0 0.007937 1 1 -1.419e-9 0.007916 0.008917 0.004122 0.0642 8.089 1 0.004624 0.008745 1 1 0 0 0.005854 0 0 0.006466 json
t12_x0_u1_b26 12 0 1 26 log(mlt(P,pow(P,P))) 19335 97447439 o1(o2(x,o2(x,x))) true 154687 154687 -0.1461 0.4375 0.9789 0.954 0.9767 -1 1 2 1 1.226 0.004645 0 0.007937 1 1 -4.726e-10 0.007988 0.009698 0.004581 0.06768 8.528 1.001 0.00487 0.008374 1 1 0 0 0.007025 0 0 0.007364 json
t12_x0_u1_b27 12 0 1 27 log(mlt(P,mod(P,P))) 19336 97447440 o1(o2(x,o2(x,x))) true 154695 154695 -0.75 0.125 1 0.4375 0.6614 -1 1 2 1 0.5436 0.06349 0 0.03175 1 1 0 0.127 0.06349 0.06247 0.2499 7.873 2 0.1451 0.2902 1 1 0 0 0.01053 0 0 0.02406 json
t12_x0_u1_b28 12 0 1 28 log(mlt(P,lrg(P,P))) 19337 97447441 o1(o2(x,o2(x,x))) true 154703 154703 -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_x0_u1_b29 12 0 1 29 log(mlt(P,eql(P,P))) 19338 97447442 o1(o2(x,o2(x,x))) true 154711 154711 -0.1739 0.4375 0.9511 0.9053 0.9515 -1 1 2 1 1.654 0.004186 0 0.007937 1 1 1.42e-9 0.007916 0.008917 0.004122 0.0642 8.089 1 0.004624 0.008745 1 1 0 0 0.005854 0 0 0.006466 json
t12_x0_u1_b30 12 0 1 30 log(mlt(P,min(P,P))) 19339 97447443 o1(o2(x,o2(x,x))) true 154719 154719 0.6987 0.875 0.9487 0.4505 0.6712 -1 1 2 1 1.146 0.008959 0 0.01587 1 1 -1.892e-9 0.01587 0.0183 0.008704 0.0933 5.878 1 0.01989 0.03522 1 1 0 0 0.01324 0 0 0.02939 json
t12_x0_u1_b31 12 0 1 31 log(mlt(P,dot(P,P))) 19340 97447444 o1(o2(x,o2(x,x))) true 154727 154727 -0.1267 0.4375 0.9983 0.9812 0.9906 -1 1 2 1 1.035 0.01469 0.000009854 0.008008 0.9987 1 -5.632e-11 0.02928 0.01534 0.01463 0.121 15.11 2 0.01498 0.02984 1 1 0 0 0.0191 0 0 0.01947 json
t12_x0_u1_b32 12 0 1 32 log(mlt(P,dst(P,P))) 19341 97447445 o1(o2(x,o2(x,x))) true 154735 154735 -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_x0_u1_b33 12 0 1 33 log(div(P,add(P,P))) 19342 97447446 o1(o2(x,o2(x,x))) true 154743 154743 -0.7311 0 0.7311 0.0103 0.1015 -1 -0.6931 0.3069 1 0.5436 0.0007473 0 0.002435 1 1 7.569e-9 0.001495 0.004871 0.0007418 0.02724 11.18 0.3069 0.07254 0.1451 1 1 0 0 0.0009911 0 0 0.09622 json
t12_x0_u1_b34 12 0 1 34 log(div(P,sub(P,P))) 19343 97447447 o1(o2(x,o2(x,x))) true 154751 154751 -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_x0_u1_b35 12 0 1 35 log(div(P,mlt(P,P))) 19344 97447448 o1(o2(x,o2(x,x))) true 154759 154759 -0.9511 0 0.9511 0.03057 0.1749 -1 -0.0002017 0.9998 1 0.7914 0.004183 0 0.007935 1 1 -1.42e-9 0.007985 0.008951 0.004119 0.06418 8.088 0.9998 0.1368 0.2612 1 1 0 0 0.0058 0 0 0.1897 json
t12_x0_u1_b36 12 0 1 36 log(div(P,div(P,P))) 19345 97447449 o1(o2(x,o2(x,x))) true 154767 154767 -0.1739 0.4375 0.9511 0.9053 0.9515 -1 1 2 1 1.654 0.004186 0 0.007937 1 1 -4.726e-10 0.007916 0.008917 0.004122 0.0642 8.089 1 0.004624 0.008745 1 1 0 0 0.005854 0 0 0.006466 json
t12_x0_u1_b37 12 0 1 37 log(div(P,pow(P,P))) 19346 97447450 o1(o2(x,o2(x,x))) true 154775 154775 -0.9546 0 0.9546 0.03006 0.1734 -1 -0.0002017 0.9998 1 0.6852 0.004235 0 0.007935 1 1 2.365e-9 0.008028 0.009359 0.004171 0.06458 8.139 0.9998 0.1409 0.2671 1 1 0 0 0.00591 0 0 0.1966 json
t12_x0_u1_b38 12 0 1 38 log(div(P,mod(P,P))) 19347 97447451 o1(o2(x,o2(x,x))) true 154783 154783 -0.625 0.125 0.875 0.4844 0.696 -1 1 2 1 1.061 0.04762 0 0.03175 1 1 -9.461e-10 0.09524 0.06349 0.0466 0.2159 6.8 2 0.09831 0.1966 1 1 0 0 0.04474 0 0 0.09236 json
t12_x0_u1_b39 12 0 1 39 log(div(P,lrg(P,P))) 19348 97447452 o1(o2(x,o2(x,x))) true 154791 154791 -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_x0_u1_b40 12 0 1 40 log(div(P,eql(P,P))) 19349 97447453 o1(o2(x,o2(x,x))) true 154799 154799 -0.1739 0.4375 0.9511 0.9053 0.9515 -1 1 2 1 1.654 0.004186 0 0.007937 1 1 1.42e-9 0.007916 0.008917 0.004122 0.0642 8.089 1 0.004624 0.008745 1 1 0 0 0.005854 0 0 0.006466 json
t12_x0_u1_b41 12 0 1 41 log(div(P,min(P,P))) 19350 97447454 o1(o2(x,o2(x,x))) true 154807 154807 -0.125 0 0.125 0.1094 0.3307 -1 0 1 1 1.406 0.007937 0 0.007937 1 1 2.125e-14 0.01587 0.01587 0.007872 0.08872 11.18 1 0.07256 0.1451 1 1 0 0 0.01053 0 0 0.09624 json
t12_x0_u1_b42 12 0 1 42 log(div(P,dot(P,P))) 19351 97447455 o1(o2(x,o2(x,x))) true 154815 154815 -0.9957 0 0.9957 0.002083 0.04564 -1 -0.0004034 0.9996 1 0.1495 0.0002755 0.00001719 0.0009895 0.8825 1 1.126e-11 0.0005326 0.0009409 0.0002922 0.01709 17.27 0.9996 0.1405 0.2557 1 1 0 0 0.0005653 0 0 0.2714 json
t12_x0_u1_b43 12 0 1 43 log(div(P,dst(P,P))) 19352 97447456 o1(o2(x,o2(x,x))) true 154823 154823 -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_x0_u1_b44 12 0 1 44 log(pow(P,add(P,P))) 19353 97447457 o1(o2(x,o2(x,x))) true 154831 154831 -0.1436 0.4375 0.9814 0.9579 0.9787 -1 1 2 1 1.205 0.004763 0 0.007937 1 1 1.891e-9 0.00804 0.01005 0.004699 0.06855 8.637 1.001 0.004973 0.008394 1 1 0 0 0.007304 0 0 0.007625 json
t12_x0_u1_b45 12 0 1 45 log(pow(P,sub(P,P))) 19354 97447458 o1(o2(x,o2(x,x))) true 154839 154839 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_x0_u1_b46 12 0 1 46 log(pow(P,mlt(P,P))) 19355 97447459 o1(o2(x,o2(x,x))) true 154847 154847 -0.1436 0.4375 0.9814 0.9579 0.9787 -1 1 2 1 1.205 0.004763 0 0.007937 1 1 1.891e-9 0.00804 0.01005 0.004699 0.06855 8.637 1.001 0.004973 0.008394 1 1 0 0 0.007304 0 0 0.007625 json
t12_x0_u1_b47 12 0 1 47 log(pow(P,div(P,P))) 19356 97447460 o1(o2(x,o2(x,x))) true 154855 154855 -0.1739 0.4375 0.9511 0.9053 0.9515 -1 1 2 1 1.654 0.004186 0 0.007937 1 1 -1.419e-9 0.007916 0.008917 0.004122 0.0642 8.089 1 0.004624 0.008745 1 1 0 0 0.005854 0 0 0.006466 json
t12_x0_u1_b48 12 0 1 48 log(pow(P,pow(P,P))) 19357 97447461 o1(o2(x,o2(x,x))) true 154863 154863 -0.1436 0.4375 0.9814 0.9579 0.9787 -1 1 2 1 1.205 0.004763 0 0.007937 1 1 1.891e-9 0.00804 0.01005 0.004699 0.06855 8.637 1.001 0.004973 0.008394 1 1 0 0 0.007304 0 0 0.007625 json
t12_x0_u1_b49 12 0 1 49 log(pow(P,mod(P,P))) 19358 97447462 o1(o2(x,o2(x,x))) true 154871 154871 -0.3054 0.3125 0.8196 0.7177 0.8472 -1 1 2 1 1.72 0.008799 0 0.01946 1 1 -0.001224 0.0111 0.01966 0.008416 0.09174 4.715 1 0.01226 0.01546 1 1 0 0 0.01241 0 0 0.01729 json
t12_x0_u1_b50 12 0 1 50 log(pow(P,lrg(P,P))) 19359 97447463 o1(o2(x,o2(x,x))) true 154879 154879 -0.5625 0 0.5625 0.2461 0.4961 -1 0 1 1 0.9887 0.003968 0 0.003968 1 1 0 0.007937 0.007937 0.003952 0.06287 15.84 1 0.01612 0.03225 1 1 0 0 0.005263 0 0 0.02139 json
t12_x0_u1_b51 12 0 1 51 log(pow(P,eql(P,P))) 19360 97447464 o1(o2(x,o2(x,x))) true 154887 154887 -0.1739 0.4375 0.9511 0.9053 0.9515 -1 1 2 1 1.654 0.004186 0 0.007937 1 1 1.42e-9 0.007916 0.008917 0.004122 0.0642 8.089 1 0.004624 0.008745 1 1 0 0 0.005854 0 0 0.006466 json
t12_x0_u1_b52 12 0 1 52 log(pow(P,min(P,P))) 19361 97447465 o1(o2(x,o2(x,x))) true 154895 154895 -0.1507 0.4375 0.9743 0.9471 0.9732 -1 1 2 1 1.29 0.004479 0 0.007936 1 1 -9.461e-10 0.007933 0.00915 0.004415 0.06645 8.372 1 0.004729 0.008376 1 1 0 0 0.006621 0 0 0.006991 json
t12_x0_u1_b53 12 0 1 53 log(pow(P,dot(P,P))) 19362 97447466 o1(o2(x,o2(x,x))) true 154903 154903 -0.136 0.4375 0.989 0.9684 0.984 -1 1 2 1 1.13 0.005533 0.000002049 0.007946 0.9993 1 5.501e-8 0.008464 0.01098 0.00547 0.07396 9.308 1.014 0.005716 0.00874 1 1 0 0 0.008539 0 0 0.008818 json
t12_x0_u1_b54 12 0 1 54 log(pow(P,dst(P,P))) 19363 97447467 o1(o2(x,o2(x,x))) true 154911 154911 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_x0_u1_b55 12 0 1 55 log(mod(P,add(P,P))) 19364 97447468 o1(o2(x,o2(x,x))) true 154919 154919 -0.1739 0.4375 0.9511 0.9053 0.9515 -1 1 2 1 1.654 0.004186 0 0.007937 1 1 1.42e-9 0.007916 0.008917 0.004122 0.0642 8.089 1 0.004624 0.008745 1 1 0 0 0.005854 0 0 0.006466 json
t12_x0_u1_b56 12 0 1 56 log(mod(P,sub(P,P))) 19365 97447469 o1(o2(x,o2(x,x))) true 154927 154927 -0.1739 0.4375 0.9511 0.9053 0.9515 -1 1 2 1 1.654 0.004186 0 0.007937 1 1 1.42e-9 0.007916 0.008917 0.004122 0.0642 8.089 1 0.004624 0.008745 1 1 0 0 0.005854 0 0 0.006466 json
t12_x0_u1_b57 12 0 1 57 log(mod(P,mlt(P,P))) 19366 97447470 o1(o2(x,o2(x,x))) true 154935 154935 -0.2581 0.375 0.9919 0.9193 0.9588 -1 1 2 1 1.181 0.01142 0 0.007937 1 1 1.892e-9 0.02272 0.01379 0.01136 0.1066 13.43 1.693 0.01243 0.02472 1 1 0 0 0.01523 0 0 0.01657 json
t12_x0_u1_b58 12 0 1 58 log(mod(P,div(P,P))) 19367 97447471 o1(o2(x,o2(x,x))) true 154943 154943 -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_x0_u1_b59 12 0 1 59 log(mod(P,pow(P,P))) 19368 97447472 o1(o2(x,o2(x,x))) true 154951 154951 -0.2581 0.375 0.9919 0.9193 0.9588 -1 1 2 1 1.181 0.01142 0 0.007937 1 1 1.892e-9 0.02272 0.01379 0.01136 0.1066 13.43 1.693 0.01243 0.02472 1 1 0 0 0.01523 0 0 0.01657 json
t12_x0_u1_b60 12 0 1 60 log(mod(P,mod(P,P))) 19369 97447473 o1(o2(x,o2(x,x))) true 154959 154959 -0.875 0.0625 1 0.2344 0.4841 -1 1 2 1 0.3373 0.03175 0 0.01587 1 1 0 0.06349 0.03175 0.03149 0.1774 11.18 2 0.1354 0.2709 1 1 0 0 0.01053 0 0 0.04491 json
t12_x0_u1_b61 12 0 1 61 log(mod(P,lrg(P,P))) 19370 97447474 o1(o2(x,o2(x,x))) true 154967 154967 -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_x0_u1_b62 12 0 1 62 log(mod(P,eql(P,P))) 19371 97447475 o1(o2(x,o2(x,x))) true 154975 154975 -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_x0_u1_b63 12 0 1 63 log(mod(P,min(P,P))) 19372 97447476 o1(o2(x,o2(x,x))) true 154983 154983 -0.875 0.0625 1 0.2344 0.4841 -1 1 2 1 0.3373 0.03175 0 0.01587 1 1 0 0.06349 0.03175 0.03149 0.1774 11.18 2 0.1354 0.2709 1 1 0 0 0.01053 0 0 0.04491 json
t12_x0_u1_b64 12 0 1 64 log(mod(P,dot(P,P))) 19373 97447477 o1(o2(x,o2(x,x))) true 154991 154991 -0.1844 0.4297 0.9562 0.9072 0.9525 -1 1 2 1 1.605 0.005105 0.000948 0.008589 0.6868 1 1.504e-9 0.01194 0.01089 0.005975 0.0773 9 2.394 0.006672 0.01316 1 1 0 0 0.009102 0 0 0.01003 json
t12_x0_u1_b65 12 0 1 65 log(mod(P,dst(P,P))) 19374 97447478 o1(o2(x,o2(x,x))) true 154999 154999 -0.1739 0.4375 0.9511 0.9053 0.9515 -1 1 2 1 1.654 0.004186 0 0.007937 1 1 1.42e-9 0.007916 0.008917 0.004122 0.0642 8.089 1 0.004624 0.008745 1 1 0 0 0.005854 0 0 0.006466 json
t12_x0_u1_b66 12 0 1 66 log(lrg(P,add(P,P))) 19375 97447479 o1(o2(x,o2(x,x))) true 155007 155007 -0.5625 0 0.5625 0.2461 0.4961 -1 0 1 1 0.9887 0.003968 0 0.003968 1 1 0 0.007937 0.007937 0.003952 0.06287 15.84 1 0.01612 0.03225 1 1 0 0 0.005263 0 0 0.02139 json
t12_x0_u1_b67 12 0 1 67 log(lrg(P,sub(P,P))) 19376 97447480 o1(o2(x,o2(x,x))) true 155015 155015 -0.5625 0 0.5625 0.2461 0.4961 -1 0 1 1 0.9887 0.003968 0 0.003968 1 1 0 0.007937 0.007937 0.003952 0.06287 15.84 1 0.01612 0.03225 1 1 0 0 0.005263 0 0 0.02139 json
t12_x0_u1_b68 12 0 1 68 log(lrg(P,mlt(P,P))) 19377 97447481 o1(o2(x,o2(x,x))) true 155023 155023 -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_x0_u1_b69 12 0 1 69 log(lrg(P,div(P,P))) 19378 97447482 o1(o2(x,o2(x,x))) true 155031 155031 -0.625 0 0.625 0.2344 0.4841 -1 0 1 1 0.9544 0.003968 0 0.003968 1 1 0 0.007937 0.007937 0.003952 0.06287 15.84 1 0.01693 0.03386 1 1 0 0 0.005263 0 0 0.02246 json
t12_x0_u1_b70 12 0 1 70 log(lrg(P,pow(P,P))) 19379 97447483 o1(o2(x,o2(x,x))) true 155039 155039 -0.5625 0 0.5625 0.2461 0.4961 -1 0 1 1 0.9887 0.003968 0 0.003968 1 1 0 0.007937 0.007937 0.003952 0.06287 15.84 1 0.01612 0.03225 1 1 0 0 0.005263 0 0 0.02139 json
t12_x0_u1_b71 12 0 1 71 log(lrg(P,mod(P,P))) 19380 97447484 o1(o2(x,o2(x,x))) true 155047 155047 -0.8125 0 0.8125 0.1523 0.3903 -1 0 1 1 0.6962 0.01587 0 0.01587 1 1 0 0.03175 0.03175 0.01562 0.125 7.873 1 0.1042 0.2084 1 1 0 0 0.02105 0 0 0.1382 json
t12_x0_u1_b72 12 0 1 72 log(lrg(P,lrg(P,P))) 19381 97447485 o1(o2(x,o2(x,x))) true 155055 155055 -0.5625 0 0.5625 0.2461 0.4961 -1 0 1 1 0.9887 0.003968 0 0.003968 1 1 0 0.007937 0.007937 0.003952 0.06287 15.84 1 0.01612 0.03225 1 1 0 0 0.005263 0 0 0.02139 json
t12_x0_u1_b73 12 0 1 73 log(lrg(P,eql(P,P))) 19382 97447486 o1(o2(x,o2(x,x))) true 155063 155063 -0.625 0 0.625 0.2344 0.4841 -1 0 1 1 0.9544 0.003968 0 0.003968 1 1 0 0.007937 0.007937 0.003952 0.06287 15.84 1 0.01693 0.03386 1 1 0 0 0.005263 0 0 0.02246 json
t12_x0_u1_b74 12 0 1 74 log(lrg(P,min(P,P))) 19383 97447487 o1(o2(x,o2(x,x))) true 155071 155071 -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_x0_u1_b75 12 0 1 75 log(lrg(P,dot(P,P))) 19384 97447488 o1(o2(x,o2(x,x))) true 155079 155079 -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_x0_u1_b76 12 0 1 76 log(lrg(P,dst(P,P))) 19385 97447489 o1(o2(x,o2(x,x))) true 155087 155087 -0.5625 0 0.5625 0.2461 0.4961 -1 0 1 1 0.9887 0.003968 0 0.003968 1 1 0 0.007937 0.007937 0.003952 0.06287 15.84 1 0.01612 0.03225 1 1 0 0 0.005263 0 0 0.02139 json
t12_x0_u1_b77 12 0 1 77 log(eql(P,add(P,P))) 19386 97447490 o1(o2(x,o2(x,x))) true 155095 155095 -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_x0_u1_b78 12 0 1 78 log(eql(P,sub(P,P))) 19387 97447491 o1(o2(x,o2(x,x))) true 155103 155103 -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_x0_u1_b79 12 0 1 79 log(eql(P,mlt(P,P))) 19388 97447492 o1(o2(x,o2(x,x))) true 155111 155111 -0.9375 0 0.9375 0.05859 0.2421 -1 0 1 1 0.3373 0.007937 0 0.007937 1 1 0 0.01587 0.01587 0.007872 0.08872 11.18 1 0.1354 0.2709 1 1 0 0 0.01053 0 0 0.1796 json
t12_x0_u1_b80 12 0 1 80 log(eql(P,div(P,P))) 19389 97447493 o1(o2(x,o2(x,x))) true 155119 155119 -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_x0_u1_b81 12 0 1 81 log(eql(P,pow(P,P))) 19390 97447494 o1(o2(x,o2(x,x))) true 155127 155127 -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_x0_u1_b82 12 0 1 82 log(eql(P,mod(P,P))) 19391 97447495 o1(o2(x,o2(x,x))) true 155135 155135 -0.875 0 0.875 0.1094 0.3307 -1 0 1 1 0.5436 0.01587 0 0.01587 1 1 0 0.03175 0.03175 0.01562 0.125 7.873 1 0.1451 0.2902 1 1 0 0 0.002632 0 0 0.02406 json
t12_x0_u1_b83 12 0 1 83 log(eql(P,lrg(P,P))) 19392 97447496 o1(o2(x,o2(x,x))) true 155143 155143 -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_x0_u1_b84 12 0 1 84 log(eql(P,eql(P,P))) 19393 97447497 o1(o2(x,o2(x,x))) true 155151 155151 -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_x0_u1_b85 12 0 1 85 log(eql(P,min(P,P))) 19394 97447498 o1(o2(x,o2(x,x))) true 155159 155159 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_x0_u1_b86 12 0 1 86 log(eql(P,dot(P,P))) 19395 97447499 o1(o2(x,o2(x,x))) true 155167 155167 -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_x0_u1_b87 12 0 1 87 log(eql(P,dst(P,P))) 19396 97447500 o1(o2(x,o2(x,x))) true 155175 155175 -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_x0_u1_b88 12 0 1 88 log(min(P,add(P,P))) 19397 97447501 o1(o2(x,o2(x,x))) true 155183 155183 -0.1739 0.4375 0.9511 0.9053 0.9515 -1 1 2 1 1.654 0.004186 0 0.007937 1 1 1.42e-9 0.007916 0.008917 0.004122 0.0642 8.089 1 0.004624 0.008745 1 1 0 0 0.005854 0 0 0.006466 json
t12_x0_u1_b89 12 0 1 89 log(min(P,sub(P,P))) 19398 97447502 o1(o2(x,o2(x,x))) true 155191 155191 -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_x0_u1_b90 12 0 1 90 log(min(P,mlt(P,P))) 19399 97447503 o1(o2(x,o2(x,x))) true 155199 155199 -0.1739 0.4375 0.9511 0.9053 0.9515 -1 1 2 1 1.654 0.004186 0 0.007937 1 1 1.42e-9 0.007916 0.008917 0.004122 0.0642 8.089 1 0.004624 0.008745 1 1 0 0 0.005854 0 0 0.006466 json