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_x8_u1_b115 12 8 1 115 log(dst(P,mod(R,R))) 26200 97770736 o1(o2(x,o2(x,x))) true 39447 39447 0.945 0.9837 0.9763 0.07252 0.2693 -1 1 2 1 0.6852 0.001485 0.001438 0.005078 0.01607 1 -2.778e-10 0.005795 0.005387 0.002899 0.05384 10.6 1.582 0.0403 0.07991 1 1 0.005395 0.02884 0.1952 0.07439 0.3977 2.692 json
t12_x8_u1_b116 12 8 1 116 log(dst(P,lrg(R,R))) 26201 97770737 o1(o2(x,o2(x,x))) true 39455 39455 0.944 0.9844 0.9752 0.07239 0.2691 -1 1 2 1 0.7009 0.001465 0.001465 0.005009 -7.548e-7 1 4.881e-11 0.005843 0.005405 0.002907 0.05392 10.76 1.904 0.04048 0.08071 1 1 0.005375 0.02798 0.1918 0.07424 0.3866 2.649 json
t12_x8_u1_b117 12 8 1 117 log(dst(P,eql(R,R))) 26202 97770738 o1(o2(x,o2(x,x))) true 39463 39463 0.974 1 0.974 0.01263 0.1124 0.0002017 1 0.9998 1 0.622 0.00003583 0.00003583 0.002176 0.00000198 0 -1.051e-10 0.00000706 0.0005851 0.00006693 0.008181 3.759 0.05358 0.005675 0.0005592 1 1 0.0002465 0.00312 0.02891 0.01952 0.2472 2.29 json
t12_x8_u1_b118 12 8 1 118 log(dst(P,min(R,R))) 26203 97770739 o1(o2(x,o2(x,x))) true 39471 39471 0.9615 0.9917 0.9643 0.02726 0.1651 -0.5231 1 1.523 1 0.7201 0.0001415 0.0001588 0.004217 -0.05759 1 -6.382e-11 0.00002913 0.00121 0.0002823 0.0168 3.984 0.1786 0.01102 0.001069 1 1 0.001036 0.01306 0.06482 0.038 0.4791 2.378 json
t12_x8_u1_b119 12 8 1 119 log(dst(P,dot(R,R))) 26204 97770740 o1(o2(x,o2(x,x))) true 39479 39479 0.9715 1 0.9715 0.01485 0.1218 0.009939 1 0.9901 1 0.6013 0.00007907 0.0001004 0.003145 -0.1189 1 1.502e-11 0.00002369 0.0009345 0.0001695 0.01302 4.14 0.1439 0.01209 0.001596 1 1 0.0006152 0.007476 0.0337 0.04143 0.5035 2.27 json
t12_x8_u1_b120 12 8 1 120 log(dst(P,dst(R,R))) 26205 97770741 o1(o2(x,o2(x,x))) true 39487 39487 0.944 0.9844 0.9752 0.07239 0.2691 -1 1 2 1 0.7009 0.001465 0.001465 0.005009 -7.548e-7 1 4.881e-11 0.005843 0.005405 0.002907 0.05392 10.76 1.904 0.04048 0.08071 1 1 0.005375 0.02798 0.1918 0.07424 0.3866 2.649 json
t12_x8_u2_b0 12 8 2 0 frc(add(P,add(R,R))) 26206 97770822 o1(o2(x,o2(x,x))) true 39495 39495 0.5219 1 0.5219 0.04854 0.2203 0.002148 0.9943 0.9922 1 3.801 0.0006102 0.0006854 0.02919 -0.05804 1 -0.00001544 0.00007528 0.006666 0.0004434 0.02106 0.7214 0.1096 0.02669 0.001551 1 1 0.002627 0.03394 0.1051 0.05412 0.6992 2.166 json
t12_x8_u2_b1 12 8 2 1 frc(add(P,sub(R,R))) 26207 97770823 o1(o2(x,o2(x,x))) true 39503 39503 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_x8_u2_b2 12 8 2 2 frc(add(P,mlt(R,R))) 26208 97770824 o1(o2(x,o2(x,x))) true 39511 39511 0.3495 0.9999 0.3495 0.05762 0.24 0.00007734 0.9979 0.9979 1 3.768 0.0007428 0.0008028 0.03156 -0.03877 1 1.609e-7 0.00009378 0.007378 0.0005496 0.02344 0.7428 0.1117 0.02682 0.001628 1 1 0.002725 0.03526 0.107 0.0473 0.6119 1.856 json
t12_x8_u2_b3 12 8 2 3 frc(add(P,div(R,R))) 26209 97770825 o1(o2(x,o2(x,x))) true 39519 39519 0.08203 0.1678 0.08203 0.05971 0.2443 0 1 1 1 0.992 0.0004699 0.0002906 0.008873 0.2358 1 -0.00001141 0.00004175 0.00213 0.0006819 0.02611 2.943 0.1169 0.01274 0.0006993 1 1 0.002113 0.02758 0.1268 0.03539 0.4619 2.124 json
t12_x8_u2_b4 12 8 2 4 frc(add(P,pow(R,R))) 26210 97770826 o1(o2(x,o2(x,x))) true 39527 39527 -0.9235 0.04297 0.9906 0.1306 0.3614 -1 0.9461 1.946 1 0.3372 0.01332 0.01296 0.0151 0.0136 1 0.000003032 0.05494 0.02962 0.02607 0.1615 10.7 2.664 0.2013 0.4207 1 1 0.0201 0.08704 0.2185 0.1539 0.6665 1.673 json
t12_x8_u2_b5 12 8 2 5 frc(add(P,mod(R,R))) 26211 97770827 o1(o2(x,o2(x,x))) true 39535 39535 0.1088 0.544 0.1088 0.03674 0.1917 0 0.9926 0.9926 1 2.009 0.0004453 0.0004664 0.01702 -0.02309 1 0.00001365 0.00005283 0.004012 0.000622 0.02494 1.465 0.1161 0.02482 0.001438 1 1 0.001943 0.02521 0.07656 0.05287 0.6861 2.084 json
t12_x8_u2_b6 12 8 2 6 frc(add(P,lrg(R,R))) 26212 97770828 o1(o2(x,o2(x,x))) true 39543 39543 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_x8_u2_b7 12 8 2 7 frc(add(P,eql(R,R))) 26213 97770829 o1(o2(x,o2(x,x))) true 39551 39551 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_x8_u2_b8 12 8 2 8 frc(add(P,min(R,R))) 26214 97770830 o1(o2(x,o2(x,x))) true 39559 39559 0.5266 1 0.5266 0.05091 0.2256 0.001084 0.997 0.9959 1 3.815 0.0007236 0.0006853 0.03089 0.02719 1 0.00004432 0.00008334 0.007111 0.0004549 0.02133 0.6905 0.1132 0.02767 0.001637 1 1 0.002542 0.03267 0.08567 0.04993 0.6416 1.683 json
t12_x8_u2_b9 12 8 2 9 frc(add(P,dot(R,R))) 26215 97770831 o1(o2(x,o2(x,x))) true 39567 39567 0.4732 1 0.4732 0.04617 0.2149 0.0001795 0.9948 0.9946 1 3.776 0.0005825 0.0007118 0.02938 -0.09994 1 0.000005111 0.0000755 0.006698 0.0004312 0.02077 0.7068 0.1163 0.02803 0.001635 1 1 0.002522 0.03229 0.09909 0.05462 0.6994 2.146 json
t12_x8_u2_b10 12 8 2 10 frc(add(P,dst(R,R))) 26216 97770832 o1(o2(x,o2(x,x))) true 39575 39575 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_x8_u2_b11 12 8 2 11 frc(sub(P,add(R,R))) 26217 97770833 o1(o2(x,o2(x,x))) true 39583 39583 0.4781 1 0.4781 0.04854 0.2203 0.00566 0.9979 0.9922 1 3.801 0.0006102 0.0006854 0.02919 -0.05804 1 0.00001544 0.00007528 0.006666 0.0004434 0.02106 0.7214 0.1096 0.02669 0.001551 1 1 0.002627 0.03394 0.1051 0.05412 0.6992 2.166 json
t12_x8_u2_b12 12 8 2 12 frc(sub(P,sub(R,R))) 26218 97770834 o1(o2(x,o2(x,x))) true 39591 39591 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_x8_u2_b13 12 8 2 13 frc(sub(P,mlt(R,R))) 26219 97770835 o1(o2(x,o2(x,x))) true 39599 39599 0.6505 1 0.6505 0.05762 0.24 0.002065 0.9999 0.9979 1 3.768 0.0007428 0.0008028 0.03156 -0.03877 1 -1.604e-7 0.00009378 0.007378 0.0005496 0.02344 0.7428 0.1117 0.02682 0.001628 1 1 0.002725 0.03526 0.107 0.0473 0.6119 1.856 json
t12_x8_u2_b14 12 8 2 14 frc(sub(P,div(R,R))) 26220 97770836 o1(o2(x,o2(x,x))) true 39607 39607 0.0332 0.0975 0.0332 0.02154 0.1468 0 1 1 1 0.5999 0.0002626 0.0002234 0.005757 0.08068 1 6.426e-11 0.00002929 0.001413 0.0004527 0.02128 3.696 0.1169 0.02256 0.00136 1 1 0.001212 0.01567 0.03987 0.05627 0.7276 1.851 json
t12_x8_u2_b15 12 8 2 15 frc(sub(P,pow(R,R))) 26221 97770837 o1(o2(x,o2(x,x))) true 39615 39615 -0.9476 0.04297 0.9664 0.06124 0.2475 -1 0.3077 1.308 1 0.3372 0.006359 0.006142 0.01053 0.01742 1 -0.000003032 0.02614 0.02044 0.0124 0.1113 10.58 1.849 0.2041 0.4268 1 1 0.009555 0.04089 0.1029 0.156 0.6677 1.681 json
t12_x8_u2_b16 12 8 2 16 frc(sub(P,mod(R,R))) 26222 97770838 o1(o2(x,o2(x,x))) true 39623 39623 0.1139 0.5437 0.1139 0.03803 0.195 0 0.9677 0.9677 1 2.075 0.0005111 0.0005214 0.0184 -0.009944 1 -0.00002932 0.00006268 0.004414 0.0006942 0.02635 1.432 0.1132 0.02715 0.001648 1 1 0.002163 0.0278 0.07612 0.05687 0.7311 2.002 json
t12_x8_u2_b17 12 8 2 17 frc(sub(P,lrg(R,R))) 26223 97770839 o1(o2(x,o2(x,x))) true 39631 39631 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_x8_u2_b18 12 8 2 18 frc(sub(P,eql(R,R))) 26224 97770840 o1(o2(x,o2(x,x))) true 39639 39639 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_x8_u2_b19 12 8 2 19 frc(sub(P,min(R,R))) 26225 97770841 o1(o2(x,o2(x,x))) true 39647 39647 0.4734 1 0.4734 0.05091 0.2256 0.002976 0.9989 0.9959 1 3.815 0.0007236 0.0006853 0.03089 0.02719 1 -0.00004432 0.00008334 0.007111 0.0004549 0.02133 0.6905 0.1132 0.02767 0.001637 1 1 0.002542 0.03267 0.08567 0.04993 0.6416 1.683 json
t12_x8_u2_b20 12 8 2 20 frc(sub(P,dot(R,R))) 26226 97770842 o1(o2(x,o2(x,x))) true 39655 39655 0.5268 1 0.5268 0.04617 0.2149 0.005185 0.9998 0.9946 1 3.776 0.0005825 0.0007118 0.02938 -0.09994 1 -0.000005112 0.0000755 0.006698 0.0004312 0.02077 0.7068 0.1163 0.02804 0.001636 1 1 0.002522 0.03229 0.09909 0.05462 0.6994 2.146 json
t12_x8_u2_b21 12 8 2 21 frc(sub(P,dst(R,R))) 26227 97770843 o1(o2(x,o2(x,x))) true 39663 39663 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_x8_u2_b22 12 8 2 22 frc(mlt(P,add(R,R))) 26228 97770844 o1(o2(x,o2(x,x))) true 39671 39671 0.463 0.9968 0.463 0.05592 0.2365 0.000001854 0.9959 0.9959 1 3.872 0.0008197 0.0006156 0.03093 0.1422 1 0.00001489 0.00008059 0.006985 0.0004785 0.02187 0.7072 0.1161 0.02567 0.001441 1 1 0.00285 0.03684 0.09758 0.05097 0.6588 1.745 json
t12_x8_u2_b23 12 8 2 23 frc(mlt(P,sub(R,R))) 26229 97770845 o1(o2(x,o2(x,x))) true 39679 39679 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_x8_u2_b24 12 8 2 24 frc(mlt(P,mlt(R,R))) 26230 97770846 o1(o2(x,o2(x,x))) true 39687 39687 0.4743 0.997 0.4743 0.06644 0.2578 1.332e-8 0.9998 0.9998 1 3.937 0.0009316 0.0007314 0.03332 0.1203 1 0.00001052 0.00009548 0.007616 0.0005531 0.02352 0.7059 0.1169 0.02503 0.001437 1 1 0.00329 0.0425 0.1127 0.04952 0.6397 1.696 json
t12_x8_u2_b25 12 8 2 25 frc(mlt(P,div(R,R))) 26231 97770847 o1(o2(x,o2(x,x))) true 39695 39695 0.08789 0.2554 0.08789 0.05206 0.2282 0 1 1 1 1.328 0.0006177 0.000651 0.015 -0.02625 1 0.000005715 0.00007628 0.003651 0.001044 0.0323 2.153 0.1169 0.02437 0.001465 1 1 0.002666 0.03404 0.08702 0.05122 0.6538 1.671 json
t12_x8_u2_b26 12 8 2 26 frc(mlt(P,pow(R,R))) 26232 97770848 o1(o2(x,o2(x,x))) true 39703 39703 -0.9403 0.04272 0.9738 0.08177 0.286 -1 0.923 1.923 1 0.4171 0.008668 0.007988 0.01273 0.0408 1 0.000003374 0.03474 0.02338 0.0165 0.1285 10.09 2.72 0.2037 0.4248 1 1 0.01255 0.05358 0.1363 0.1535 0.6552 1.666 json
t12_x8_u2_b27 12 8 2 27 frc(mlt(P,mod(R,R))) 26233 97770849 o1(o2(x,o2(x,x))) true 39711 39711 0.09333 0.5034 0.09333 0.03105 0.1762 0 0.9583 0.9583 1 1.85 0.0004171 0.0004638 0.0163 -0.05304 1 -0.000008531 0.00005361 0.003935 0.0006153 0.02481 1.522 0.1121 0.02836 0.001726 1 1 0.001881 0.02427 0.05899 0.06057 0.7814 1.9 json
t12_x8_u2_b28 12 8 2 28 frc(mlt(P,lrg(R,R))) 26234 97770850 o1(o2(x,o2(x,x))) true 39719 39719 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_x8_u2_b29 12 8 2 29 frc(mlt(P,eql(R,R))) 26235 97770851 o1(o2(x,o2(x,x))) true 39727 39727 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_x8_u2_b30 12 8 2 30 frc(mlt(P,min(R,R))) 26236 97770852 o1(o2(x,o2(x,x))) true 39735 39735 0.4737 0.9978 0.4737 0.06137 0.2477 9.693e-7 0.9979 0.9979 1 3.912 0.0009298 0.0007748 0.03371 0.09094 1 6.656e-7 0.0001001 0.007806 0.0005681 0.02384 0.707 0.1165 0.02778 0.001631 1 1 0.003621 0.04664 0.1189 0.059 0.76 1.938 json
t12_x8_u2_b31 12 8 2 31 frc(mlt(P,dot(R,R))) 26237 97770853 o1(o2(x,o2(x,x))) true 39743 39743 0.4729 0.9982 0.4729 0.05631 0.2373 0.00001307 0.9993 0.9993 1 3.873 0.0007957 0.0006202 0.03048 0.1239 1 2.139e-7 0.00008123 0.006956 0.0004868 0.02206 0.7238 0.1146 0.02514 0.001442 1 1 0.002961 0.03818 0.1183 0.05258 0.6779 2.101 json
t12_x8_u2_b32 12 8 2 32 frc(mlt(P,dst(R,R))) 26238 97770854 o1(o2(x,o2(x,x))) true 39751 39751 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_x8_u2_b33 12 8 2 33 frc(div(P,add(R,R))) 26239 97770855 o1(o2(x,o2(x,x))) true 39759 39759 0.4499 0.9987 0.4499 0.05487 0.2343 0.000009996 0.9996 0.9996 1 3.862 0.0007891 0.0006076 0.03045 0.1299 1 0.00001536 0.00007761 0.006883 0.0004698 0.02167 0.7119 0.1129 0.02545 0.001414 1 1 0.003087 0.0398 0.08884 0.05626 0.7253 1.619 json
t12_x8_u2_b34 12 8 2 34 frc(div(P,sub(R,R))) 26240 97770856 o1(o2(x,o2(x,x))) true 39767 39767 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_x8_u2_b35 12 8 2 35 frc(div(P,mlt(R,R))) 26241 97770857 o1(o2(x,o2(x,x))) true 39775 39775 0.4712 0.9972 0.4712 0.06335 0.2517 0.00001482 0.9967 0.9967 1 3.92 0.0009033 0.0007646 0.03309 0.08315 1 -0.00001021 0.00009741 0.007643 0.0005728 0.02393 0.7232 0.1162 0.02633 0.001538 1 1 0.003481 0.04496 0.1254 0.05495 0.7098 1.98 json
t12_x8_u2_b36 12 8 2 36 frc(div(P,div(R,R))) 26242 97770858 o1(o2(x,o2(x,x))) true 39783 39783 0.1152 0.3238 0.1152 0.06664 0.2581 0 1 1 1 1.609 0.0008448 0.0007782 0.01908 0.04107 1 -0.000009982 0.00009545 0.004639 0.001259 0.03548 1.859 0.1169 0.02435 0.001432 1 1 0.00316 0.04104 0.1173 0.04742 0.6159 1.761 json
t12_x8_u2_b37 12 8 2 37 frc(div(P,pow(R,R))) 26243 97770859 o1(o2(x,o2(x,x))) true 39791 39791 -0.9381 0.04272 0.976 0.08772 0.2962 -1 0.9904 1.99 1 0.4196 0.009787 0.008717 0.01345 0.05782 1 -0.000002346 0.03867 0.02466 0.01832 0.1354 10.06 2.815 0.2109 0.4409 1 1 0.0145 0.06189 0.1514 0.1653 0.7056 1.726 json
t12_x8_u2_b38 12 8 2 38 frc(div(P,mod(R,R))) 26244 97770860 o1(o2(x,o2(x,x))) true 39799 39799 -0.985 0.01164 0.9916 0.01965 0.1402 -1 0.8862 1.886 1 0.1324 0.002642 0.001806 0.003655 0.188 1 6.382e-11 0.009379 0.006592 0.004426 0.06653 18.2 2.571 0.2263 0.4773 1 1 0.007864 0.03154 0.06543 0.4002 1.605 3.33 json
t12_x8_u2_b39 12 8 2 39 frc(div(P,lrg(R,R))) 26245 97770861 o1(o2(x,o2(x,x))) true 39807 39807 -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_x8_u2_b40 12 8 2 40 frc(div(P,eql(R,R))) 26246 97770862 o1(o2(x,o2(x,x))) true 39815 39815 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_x8_u2_b41 12 8 2 41 frc(div(P,min(R,R))) 26247 97770863 o1(o2(x,o2(x,x))) true 39823 39823 0.4546 0.9973 0.4546 0.05954 0.244 7.588e-7 0.9991 0.9991 1 3.895 0.0008477 0.0006308 0.03092 0.1467 1 -0.000008476 0.00008364 0.007098 0.0005222 0.02285 0.7389 0.1114 0.02483 0.001405 1 1 0.003033 0.0391 0.1157 0.05095 0.6568 1.944 json
t12_x8_u2_b42 12 8 2 42 frc(div(P,dot(R,R))) 26248 97770864 o1(o2(x,o2(x,x))) true 39831 39831 0.4648 0.997 0.4648 0.05491 0.2343 0.0000148 0.9998 0.9998 1 3.862 0.0008224 0.0005776 0.03031 0.1749 1 -0.000007325 0.00008116 0.006944 0.0004815 0.02194 0.724 0.1146 0.02549 0.001478 1 1 0.002903 0.03748 0.09908 0.05287 0.6826 1.804 json
t12_x8_u2_b43 12 8 2 43 frc(div(P,dst(R,R))) 26249 97770865 o1(o2(x,o2(x,x))) true 39839 39839 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_x8_u2_b44 12 8 2 44 frc(pow(P,add(R,R))) 26250 97770866 o1(o2(x,o2(x,x))) true 39847 39847 -0.3804 0.4373 0.7133 0.4862 0.6973 -1 0.9898 1.99 1 2.681 0.004295 0.001714 0.0177 0.4296 1 0.000007274 0.01135 0.01378 0.005696 0.07547 4.263 1.414 0.01236 0.02334 1 1 0.008423 0.04488 0.2119 0.01732 0.09232 0.4358 json
t12_x8_u2_b45 12 8 2 45 frc(pow(P,sub(R,R))) 26251 97770867 o1(o2(x,o2(x,x))) true 39855 39855 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_x8_u2_b46 12 8 2 46 frc(pow(P,mlt(R,R))) 26252 97770868 o1(o2(x,o2(x,x))) true 39863 39863 -0.364 0.4344 0.636 0.4329 0.6579 -1 0.9969 1.997 1 2.751 0.004331 0.0003041 0.01735 0.8688 1 0.000009768 0.007976 0.01104 0.004334 0.06584 3.794 1 0.01071 0.01842 1 1 0.006361 0.03543 0.1444 0.0147 0.08186 0.3336 json
t12_x8_u2_b47 12 8 2 47 frc(pow(P,div(R,R))) 26253 97770869 o1(o2(x,o2(x,x))) true 39871 39871 -0.3301 0.2928 0.6699 0.537 0.7328 -1 1 2 1 2.232 0.004793 0.0003545 0.0176 0.8623 1 -0.000005694 0.007998 0.01117 0.004837 0.06955 3.952 1 0.009586 0.01489 1 1 0.007409 0.04911 0.2359 0.0138 0.09145 0.4392 json
t12_x8_u2_b48 12 8 2 48 frc(pow(P,pow(R,R))) 26254 97770870 o1(o2(x,o2(x,x))) true 39879 39879 -0.9722 0.007813 0.981 0.03462 0.1861 -1 0.9568 1.957 1 0.2056 0.003781 0.003344 0.005949 0.06128 1 -4.058e-7 0.01499 0.01146 0.007089 0.08419 14.15 1.954 0.2058 0.4331 1 1 0.00482 0.01928 0.06207 0.1392 0.5568 1.793 json
t12_x8_u2_b49 12 8 2 49 frc(pow(P,mod(R,R))) 26255 97770871 o1(o2(x,o2(x,x))) true 39887 39887 -0.3182 0.1785 0.385 0.2653 0.5151 -1 0.9872 1.987 1 1.692 0.01162 0.0104 0.02766 0.05564 1 0.000008651 0.04499 0.04478 0.02125 0.1458 5.271 1.414 0.083 0.1696 1 1 0.02358 0.1037 0.342 0.0889 0.3908 1.289 json
t12_x8_u2_b50 12 8 2 50 frc(pow(P,lrg(R,R))) 26256 97770872 o1(o2(x,o2(x,x))) true 39895 39895 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_x8_u2_b51 12 8 2 51 frc(pow(P,eql(R,R))) 26257 97770873 o1(o2(x,o2(x,x))) true 39903 39903 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_x8_u2_b52 12 8 2 52 frc(pow(P,min(R,R))) 26258 97770874 o1(o2(x,o2(x,x))) true 39911 39911 -0.3334 0.437 0.7604 0.5636 0.7507 -1 0.9948 1.995 1 2.736 0.004322 0.001735 0.01829 0.427 1 0.00001866 0.01135 0.01386 0.005723 0.07565 4.136 1.414 0.01075 0.02013 1 1 0.008633 0.04785 0.238 0.01532 0.0849 0.4223 json
t12_x8_u2_b53 12 8 2 53 frc(pow(P,dot(R,R))) 26259 97770875 o1(o2(x,o2(x,x))) true 39919 39919 -0.3022 0.4366 0.6978 0.5245 0.7243 -1 0.9805 1.981 1 2.902 0.004367 0.0003223 0.01858 0.8625 1 -0.00002593 0.007978 0.01127 0.004345 0.06592 3.547 1 0.00894 0.01521 1 1 0.006657 0.03915 0.1741 0.01269 0.07463 0.3319 json
t12_x8_u2_b54 12 8 2 54 frc(pow(P,dst(R,R))) 26260 97770876 o1(o2(x,o2(x,x))) true 39927 39927 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_x8_u2_b55 12 8 2 55 frc(mod(P,add(R,R))) 26261 97770877 o1(o2(x,o2(x,x))) true 39935 39935 0.4683 0.9531 0.4683 0.08668 0.2944 0 0.998 0.998 1 3.919 0.0007067 0.0005342 0.02685 0.1389 1 0.00000757 0.00007228 0.006205 0.0005202 0.02281 0.8496 0.1167 0.01432 0.0008339 1 1 0.002619 0.03383 0.1175 0.03022 0.3903 1.356 json
t12_x8_u2_b56 12 8 2 56 frc(mod(P,sub(R,R))) 26262 97770878 o1(o2(x,o2(x,x))) true 39943 39943 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_x8_u2_b57 12 8 2 57 frc(mod(P,mlt(R,R))) 26263 97770879 o1(o2(x,o2(x,x))) true 39951 39951 0.4667 0.995 0.4667 0.1377 0.3711 4.08e-9 0.9999 0.9999 1 3.64 0.0005442 0.0002849 0.02003 0.3127 1 0.000006498 0.00004569 0.004663 0.000428 0.02069 1.033 0.1169 0.006021 0.0003318 1 1 0.001649 0.02139 0.08263 0.01198 0.1553 0.6 json
t12_x8_u2_b58 12 8 2 58 frc(mod(P,div(R,R))) 26264 97770880 o1(o2(x,o2(x,x))) true 39959 39959 0.1152 0.3238 0.1152 0.06664 0.2581 0 1 1 1 1.609 0.0008448 0.0007782 0.01908 0.04107 1 -0.000009983 0.00009545 0.004639 0.001259 0.03548 1.859 0.1169 0.02435 0.001432 1 1 0.00316 0.04104 0.1173 0.04742 0.6159 1.761 json
t12_x8_u2_b59 12 8 2 59 frc(mod(P,pow(R,R))) 26265 97770881 o1(o2(x,o2(x,x))) true 39967 39967 -0.9348 0.04272 0.9793 0.09711 0.3116 -1 0.9932 1.993 1 0.4137 0.01092 0.009443 0.01381 0.07269 1 -0.000002529 0.0426 0.02587 0.02018 0.142 10.28 2.819 0.2097 0.4387 1 1 0.01651 0.06997 0.1721 0.1701 0.7205 1.773 json
t12_x8_u2_b60 12 8 2 60 frc(mod(P,mod(R,R))) 26266 97770882 o1(o2(x,o2(x,x))) true 39975 39975 -0.9845 0.01152 0.9921 0.02141 0.1463 -1 0.9718 1.972 1 0.1331 0.002911 0.001777 0.003765 0.2419 1 -2.253e-11 0.009837 0.0067 0.004665 0.0683 18.14 1.972 0.219 0.4595 1 1 0.008302 0.03335 0.07367 0.3878 1.558 3.441 json
t12_x8_u2_b61 12 8 2 61 frc(mod(P,lrg(R,R))) 26267 97770883 o1(o2(x,o2(x,x))) true 39983 39983 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_x8_u2_b62 12 8 2 62 frc(mod(P,eql(R,R))) 26268 97770884 o1(o2(x,o2(x,x))) true 39991 39991 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_x8_u2_b63 12 8 2 63 frc(mod(P,min(R,R))) 26269 97770885 o1(o2(x,o2(x,x))) true 39999 39999 0.4816 0.996 0.4816 0.1049 0.324 1.109e-7 0.9996 0.9996 1 3.866 0.000542 0.0003177 0.0216 0.2609 1 3.995e-7 0.00004693 0.004956 0.0003931 0.01983 0.918 0.1168 0.008192 0.0004472 1 1 0.001846 0.02399 0.09115 0.01759 0.2286 0.8686 json
t12_x8_u2_b64 12 8 2 64 frc(mod(P,dot(R,R))) 26270 97770886 o1(o2(x,o2(x,x))) true 40007 40007 0.4313 0.9453 0.4313 0.07652 0.2766 0 0.9998 0.9998 1 3.906 0.0006992 0.0006199 0.02787 0.06014 1 0.000005494 0.00007597 0.006416 0.0005423 0.02329 0.8356 0.1159 0.01724 0.0009928 1 1 0.002624 0.03385 0.106 0.03429 0.4424 1.385 json
t12_x8_u2_b65 12 8 2 65 frc(mod(P,dst(R,R))) 26271 97770887 o1(o2(x,o2(x,x))) true 40015 40015 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_x8_u2_b66 12 8 2 66 frc(lrg(P,add(R,R))) 26272 97770888 o1(o2(x,o2(x,x))) true 40023 40023 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_x8_u2_b67 12 8 2 67 frc(lrg(P,sub(R,R))) 26273 97770889 o1(o2(x,o2(x,x))) true 40031 40031 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_x8_u2_b68 12 8 2 68 frc(lrg(P,mlt(R,R))) 26274 97770890 o1(o2(x,o2(x,x))) true 40039 40039 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_x8_u2_b69 12 8 2 69 frc(lrg(P,div(R,R))) 26275 97770891 o1(o2(x,o2(x,x))) true 40047 40047 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_x8_u2_b70 12 8 2 70 frc(lrg(P,pow(R,R))) 26276 97770892 o1(o2(x,o2(x,x))) true 40055 40055 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_x8_u2_b71 12 8 2 71 frc(lrg(P,mod(R,R))) 26277 97770893 o1(o2(x,o2(x,x))) true 40063 40063 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_x8_u2_b72 12 8 2 72 frc(lrg(P,lrg(R,R))) 26278 97770894 o1(o2(x,o2(x,x))) true 40071 40071 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_x8_u2_b73 12 8 2 73 frc(lrg(P,eql(R,R))) 26279 97770895 o1(o2(x,o2(x,x))) true 40079 40079 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_x8_u2_b74 12 8 2 74 frc(lrg(P,min(R,R))) 26280 97770896 o1(o2(x,o2(x,x))) true 40087 40087 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_x8_u2_b75 12 8 2 75 frc(lrg(P,dot(R,R))) 26281 97770897 o1(o2(x,o2(x,x))) true 40095 40095 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_x8_u2_b76 12 8 2 76 frc(lrg(P,dst(R,R))) 26282 97770898 o1(o2(x,o2(x,x))) true 40103 40103 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_x8_u2_b77 12 8 2 77 frc(eql(P,add(R,R))) 26283 97770899 o1(o2(x,o2(x,x))) true 40111 40111 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_x8_u2_b78 12 8 2 78 frc(eql(P,sub(R,R))) 26284 97770900 o1(o2(x,o2(x,x))) true 40119 40119 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_x8_u2_b79 12 8 2 79 frc(eql(P,mlt(R,R))) 26285 97770901 o1(o2(x,o2(x,x))) true 40127 40127 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_x8_u2_b80 12 8 2 80 frc(eql(P,div(R,R))) 26286 97770902 o1(o2(x,o2(x,x))) true 40135 40135 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_x8_u2_b81 12 8 2 81 frc(eql(P,pow(R,R))) 26287 97770903 o1(o2(x,o2(x,x))) true 40143 40143 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_x8_u2_b82 12 8 2 82 frc(eql(P,mod(R,R))) 26288 97770904 o1(o2(x,o2(x,x))) true 40151 40151 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_x8_u2_b83 12 8 2 83 frc(eql(P,lrg(R,R))) 26289 97770905 o1(o2(x,o2(x,x))) true 40159 40159 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_x8_u2_b84 12 8 2 84 frc(eql(P,eql(R,R))) 26290 97770906 o1(o2(x,o2(x,x))) true 40167 40167 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_x8_u2_b85 12 8 2 85 frc(eql(P,min(R,R))) 26291 97770907 o1(o2(x,o2(x,x))) true 40175 40175 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_x8_u2_b86 12 8 2 86 frc(eql(P,dot(R,R))) 26292 97770908 o1(o2(x,o2(x,x))) true 40183 40183 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_x8_u2_b87 12 8 2 87 frc(eql(P,dst(R,R))) 26293 97770909 o1(o2(x,o2(x,x))) true 40191 40191 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_x8_u2_b88 12 8 2 88 frc(min(P,add(R,R))) 26294 97770910 o1(o2(x,o2(x,x))) true 40199 40199 0.2508 0.5637 0.2508 0.08579 0.2929 0 0.9943 0.9943 1 2.931 0.0003698 0.0004807 0.01756 -0.1305 1 0.00001304 0.00004979 0.004042 0.0005423 0.02329 1.326 0.113 0.009913 0.0005803 1 1 0.001674 0.02171 0.06869 0.01951 0.2531 0.8006 json
t12_x8_u2_b89 12 8 2 89 frc(min(P,sub(R,R))) 26295 97770911 o1(o2(x,o2(x,x))) true 40207 40207 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_x8_u2_b90 12 8 2 90 frc(min(P,mlt(R,R))) 26296 97770912 o1(o2(x,o2(x,x))) true 40215 40215 0.1601 0.4977 0.1601 0.05305 0.2303 0 0.9978 0.9978 1 2.546 0.0004293 0.0003585 0.01587 0.08983 1 0.000006404 0.00004788 0.003712 0.000536 0.02315 1.459 0.1111 0.01485 0.0009025 1 1 0.001398 0.01826 0.06286 0.02635 0.3441 1.185 json
t12_x8_u2_b91 12 8 2 91 frc(min(P,div(R,R))) 26297 97770913 o1(o2(x,o2(x,x))) true 40223 40223 0.08203 0.2332 0.08203 0.04946 0.2224 0 1 1 1 1.247 0.0005705 0.0005983 0.0138 -0.02374 1 1.095e-8 0.00007039 0.003361 0.0009788 0.03129 2.268 0.1169 0.02363 0.001423 1 1 0.002554 0.03269 0.08344 0.05164 0.6609 1.687 json
t12_x8_u2_b92 12 8 2 92 frc(min(P,pow(R,R))) 26298 97770914 o1(o2(x,o2(x,x))) true 40231 40231 0.1703 0.4543 0.1703 0.07524 0.2743 0 0.9816 0.9816 1 2.222 0.0007077 0.0007653 0.0218 -0.0391 1 -0.00001436 0.00008829 0.005255 0.000998 0.03159 1.449 0.1148 0.01958 0.001173 1 1 0.002822 0.03667 0.09791 0.03751 0.4873 1.301 json
t12_x8_u2_b93 12 8 2 93 frc(min(P,mod(R,R))) 26299 97770915 o1(o2(x,o2(x,x))) true 40239 40239 0.05067 0.2717 0.05067 0.01878 0.137 0 0.9926 0.9926 1 1.148 0.0002246 0.0002368 0.008547 -0.02645 1 0.00001113 0.00002722 0.002031 0.0003884 0.01971 2.306 0.1161 0.02457 0.00145 1 1 0.001017 0.01311 0.03683 0.05414 0.6978 1.961 json