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_x4_u2_b82 12 4 2 82 frc(eql(P,mod(D,D))) 22900 97609300 o1(o2(x,o2(x,x))) true 13047 13047 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_x4_u2_b83 12 4 2 83 frc(eql(P,lrg(D,D))) 22901 97609301 o1(o2(x,o2(x,x))) true 13055 13055 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_x4_u2_b84 12 4 2 84 frc(eql(P,eql(D,D))) 22902 97609302 o1(o2(x,o2(x,x))) true 13063 13063 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_x4_u2_b85 12 4 2 85 frc(eql(P,min(D,D))) 22903 97609303 o1(o2(x,o2(x,x))) true 13071 13071 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_x4_u2_b86 12 4 2 86 frc(eql(P,dot(D,D))) 22904 97609304 o1(o2(x,o2(x,x))) true 13079 13079 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_x4_u2_b87 12 4 2 87 frc(eql(P,dst(D,D))) 22905 97609305 o1(o2(x,o2(x,x))) true 13087 13087 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_x4_u2_b88 12 4 2 88 frc(min(P,add(D,D))) 22906 97609306 o1(o2(x,o2(x,x))) true 13095 13095 0.2578 0.582 0.2578 0.1005 0.3169 0 0.9375 0.9375 1 2.953 0.05553 0 0.1174 1 1 0.000496 0.1253 0.1336 0.04173 0.2043 1.74 0.9372 0.5528 1.248 1 1 0.04997 0.01186 0.02177 0.4974 0.1181 0.2168 json
t12_x4_u2_b89 12 4 2 89 frc(min(P,sub(D,D))) 22907 97609307 o1(o2(x,o2(x,x))) true 13103 13103 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_x4_u2_b90 12 4 2 90 frc(min(P,mlt(D,D))) 22908 97609308 o1(o2(x,o2(x,x))) true 13111 13111 0.0558 0.5 0.0558 0.006961 0.08343 0 0.2473 0.2473 1 1.326 0.0005678 0 0.0146 1 1 -0.0001202 0.00008737 0.005937 0.0003546 0.01883 1.289 0.05089 0.08157 0.01255 1 1 0.001049 0.007358 0.001404 0.1507 1.057 0.2018 json
t12_x4_u2_b91 12 4 2 91 frc(min(P,div(D,D))) 22909 97609309 o1(o2(x,o2(x,x))) true 13119 13119 0.1846 0.2344 0.1846 0.1188 0.3447 0 0.9929 0.9929 1 1.254 0.2445 0 0.2735 1 1 0.00394 0.815 0.5422 0.1698 0.412 1.506 0.9929 2.058 6.861 1 1 0.07796 0.07979 0.02745 0.6563 0.6717 0.2311 json
t12_x4_u2_b92 12 4 2 92 frc(min(P,pow(D,D))) 22910 97609310 o1(o2(x,o2(x,x))) true 13127 13127 0.1643 0.4375 0.1643 0.07227 0.2688 0 0.8971 0.8971 1 2.089 0.02406 0 0.0498 1 1 -0.00007647 0.05037 0.05621 0.02157 0.1469 2.95 0.8971 0.3329 0.697 1 1 0.02382 0.06598 0.01911 0.3296 0.913 0.2644 json
t12_x4_u2_b93 12 4 2 93 frc(min(P,mod(D,D))) 22911 97609311 o1(o2(x,o2(x,x))) true 13135 13135 0.1043 0.25 0.1043 0.05001 0.2236 0 0.8998 0.8998 1 1.417 0.1037 0 0.1579 1 1 0.00357 0.3457 0.3088 0.0787 0.2805 1.776 0.8998 2.073 6.913 1 1 0.03394 0.04728 0.009334 0.6786 0.9454 0.1866 json
t12_x4_u2_b94 12 4 2 94 frc(min(P,lrg(D,D))) 22912 97609312 o1(o2(x,o2(x,x))) true 13143 13143 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_x4_u2_b95 12 4 2 95 frc(min(P,eql(D,D))) 22913 97609313 o1(o2(x,o2(x,x))) true 13151 13151 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_x4_u2_b96 12 4 2 96 frc(min(P,min(D,D))) 22914 97609314 o1(o2(x,o2(x,x))) true 13159 13159 0.2634 0.5547 0.2634 0.1068 0.3268 0 0.9688 0.9688 1 2.934 0.03042 0 0.06336 1 1 0.000248 0.06361 0.06474 0.02641 0.1625 2.565 0.9685 0.2849 0.5958 1 1 0.03133 0.07981 0.02302 0.2934 0.7474 0.2156 json
t12_x4_u2_b97 12 4 2 97 frc(min(P,dot(D,D))) 22915 97609315 o1(o2(x,o2(x,x))) true 13167 13167 0.1105 0.4976 0.1105 0.02047 0.1431 0 0.4946 0.4946 1 2.134 0.0005902 0.0005908 0.02259 -0.000543 1 -0.0002219 0.0002996 0.01024 0.0006708 0.0259 1.147 0.09672 0.05769 0.01463 1 1 0.002167 0.01479 0.004836 0.1059 0.7222 0.2362 json
t12_x4_u2_b98 12 4 2 98 frc(min(P,dst(D,D))) 22916 97609316 o1(o2(x,o2(x,x))) true 13175 13175 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_x4_u2_b99 12 4 2 99 frc(dot(P,add(D,D))) 22917 97609317 o1(o2(x,o2(x,x))) true 13183 13183 0.4688 0.999 0.4688 0.05194 0.2279 0.00003638 0.937 0.9369 1 3.794 0.1045 0.1045 0.4045 0.000003424 1 0.000002005 1.061 0.8147 0.04531 0.2129 0.5263 1.237 4.023 20.43 1 1 0.09778 0.03948 0.1092 1.883 0.7602 2.102 json
t12_x4_u2_b100 12 4 2 100 frc(dot(P,sub(D,D))) 22918 97609318 o1(o2(x,o2(x,x))) true 13191 13191 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_x4_u2_b101 12 4 2 101 frc(dot(P,mlt(D,D))) 22919 97609319 o1(o2(x,o2(x,x))) true 13199 13199 0.4952 1 0.4952 0.06579 0.2565 0.00003581 0.9988 0.9988 1 3.956 0.05318 0.05318 0.2334 0.000007075 1 0.0000297 0.4202 0.4121 0.05187 0.2277 0.9756 1.392 1.617 6.387 1 1 0.07409 0.1121 0.07252 1.126 1.704 1.102 json
t12_x4_u2_b102 12 4 2 102 frc(dot(P,div(D,D))) 22920 97609320 o1(o2(x,o2(x,x))) true 13207 13207 -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_x4_u2_b103 12 4 2 103 frc(dot(P,pow(D,D))) 22921 97609321 o1(o2(x,o2(x,x))) true 13215 13215 -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_x4_u2_b104 12 4 2 104 frc(dot(P,mod(D,D))) 22922 97609322 o1(o2(x,o2(x,x))) true 13223 13223 -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_x4_u2_b105 12 4 2 105 frc(dot(P,lrg(D,D))) 22923 97609323 o1(o2(x,o2(x,x))) true 13231 13231 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_x4_u2_b106 12 4 2 106 frc(dot(P,eql(D,D))) 22924 97609324 o1(o2(x,o2(x,x))) true 13239 13239 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_x4_u2_b107 12 4 2 107 frc(dot(P,min(D,D))) 22925 97609325 o1(o2(x,o2(x,x))) true 13247 13247 0.4835 0.9991 0.4835 0.04261 0.2064 0.00001819 0.9682 0.9682 1 3.725 0.08242 0.08242 0.3477 -0.000004249 1 -0.0005344 0.8173 0.6957 0.04392 0.2096 0.6027 1.326 3.869 19.18 1 1 0.09122 0.06869 0.09165 2.141 1.612 2.151 json
t12_x4_u2_b108 12 4 2 108 frc(dot(P,dot(D,D))) 22926 97609326 o1(o2(x,o2(x,x))) true 13255 13255 0.4697 0.9998 0.4697 0.06278 0.2506 0.00003525 0.9975 0.9975 1 3.934 0.04772 0.04772 0.232 7.806e-8 1 0.000007121 0.4479 0.4252 0.04162 0.204 0.8795 1.075 1.52 7.135 1 1 0.04855 0.09886 0.1081 0.7734 1.575 1.721 json
t12_x4_u2_b109 12 4 2 109 frc(dot(P,dst(D,D))) 22927 97609327 o1(o2(x,o2(x,x))) true 13263 13263 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_x4_u2_b110 12 4 2 110 frc(dst(P,add(D,D))) 22928 97609328 o1(o2(x,o2(x,x))) true 13271 13271 0.5006 1 0.5006 0.05302 0.2303 0.001128 0.9955 0.9943 1 3.86 0.04595 0.04595 0.2095 -0.000003284 1 -0.0004919 0.3272 0.3021 0.04799 0.2191 1.045 1.317 1.733 6.172 1 1 0.0823 0.0939 0.09751 1.552 1.771 1.839 json
t12_x4_u2_b111 12 4 2 111 frc(dst(P,sub(D,D))) 22929 97609329 o1(o2(x,o2(x,x))) true 13279 13279 0.3304 0.9857 0.3304 0.05498 0.2345 3.509e-8 0.9439 0.9439 1 3.672 0.000555 0.000555 0.0263 0.000003985 1 -3.837e-7 0.00006371 0.005985 0.0004184 0.02045 0.7777 0.1031 0.02019 0.001159 1 1 0.002058 0.02662 0.09686 0.03743 0.4841 1.762 json
t12_x4_u2_b112 12 4 2 112 frc(dst(P,mlt(D,D))) 22930 97609330 o1(o2(x,o2(x,x))) true 13287 13287 0.4509 1 0.4509 0.06019 0.2453 0.0003964 0.9997 0.9993 1 3.898 0.01168 0.01168 0.07102 -0.00001447 1 -0.00007441 0.06825 0.0977 0.01833 0.1354 1.906 1.396 0.3883 1.134 1 1 0.02395 0.08095 0.1015 0.398 1.345 1.687 json
t12_x4_u2_b113 12 4 2 113 frc(dst(P,div(D,D))) 22931 97609331 o1(o2(x,o2(x,x))) true 13295 13295 -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_x4_u2_b114 12 4 2 114 frc(dst(P,pow(D,D))) 22932 97609332 o1(o2(x,o2(x,x))) true 13303 13303 -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_x4_u2_b115 12 4 2 115 frc(dst(P,mod(D,D))) 22933 97609333 o1(o2(x,o2(x,x))) true 13311 13311 -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_x4_u2_b116 12 4 2 116 frc(dst(P,lrg(D,D))) 22934 97609334 o1(o2(x,o2(x,x))) true 13319 13319 0.3304 0.9857 0.3304 0.05498 0.2345 3.509e-8 0.9439 0.9439 1 3.672 0.000555 0.000555 0.0263 0.000003985 1 -3.837e-7 0.00006371 0.005985 0.0004184 0.02045 0.7777 0.1031 0.02019 0.001159 1 1 0.002058 0.02662 0.09686 0.03743 0.4841 1.762 json
t12_x4_u2_b117 12 4 2 117 frc(dst(P,eql(D,D))) 22935 97609335 o1(o2(x,o2(x,x))) true 13327 13327 0.3991 1 0.3991 0.04604 0.2146 0.0001778 0.9497 0.9495 1 3.706 0.0005692 0.0005692 0.02693 0.00000542 1 0.00002655 0.00006686 0.006107 0.000413 0.02032 0.7546 0.1051 0.02473 0.001452 1 1 0.002154 0.02799 0.07821 0.04679 0.608 1.699 json
t12_x4_u2_b118 12 4 2 118 frc(dst(P,min(D,D))) 22936 97609336 o1(o2(x,o2(x,x))) true 13335 13335 0.4984 1 0.4984 0.0516 0.2272 0.006575 0.9954 0.9889 1 3.853 0.02437 0.02437 0.1234 0.000006306 1 -0.0004041 0.1631 0.1603 0.0335 0.183 1.483 1.354 0.9445 3.162 1 1 0.0468 0.1157 0.08139 0.907 2.243 1.577 json
t12_x4_u2_b119 12 4 2 119 frc(dst(P,dot(D,D))) 22937 97609337 o1(o2(x,o2(x,x))) true 13343 13343 0.4905 1 0.4905 0.05629 0.2373 0.0005358 0.9995 0.999 1 3.889 0.01361 0.01361 0.07905 -2.053e-7 1 -8.428e-8 0.08871 0.1142 0.02097 0.1448 1.832 1.322 0.4836 1.576 1 1 0.02564 0.08147 0.1001 0.4555 1.447 1.778 json
t12_x4_u2_b120 12 4 2 120 frc(dst(P,dst(D,D))) 22938 97609338 o1(o2(x,o2(x,x))) true 13351 13351 0.3304 0.9857 0.3304 0.05498 0.2345 3.509e-8 0.9439 0.9439 1 3.672 0.000555 0.000555 0.0263 0.000003985 1 -3.837e-7 0.00006371 0.005985 0.0004184 0.02045 0.7777 0.1031 0.02019 0.001159 1 1 0.002058 0.02662 0.09686 0.03743 0.4841 1.762 json
t12_x4_u3_b0 12 4 3 0 flr(add(P,add(D,D))) 22939 97609419 o1(o2(x,o2(x,x))) true 13359 13359 -0.0625 0.4688 0.9375 0.9201 0.9592 -1 1 2 1 1.809 0.01317 0 0.02194 1 1 0 0.02797 0.03347 0.01269 0.1127 5.133 0.9994 0.01431 0.0304 1 1 0.01638 0.02449 0.2344 0.0178 0.02662 0.2548 json
t12_x4_u3_b1 12 4 3 1 flr(add(P,sub(D,D))) 22940 97609420 o1(o2(x,o2(x,x))) true 13367 13367 0 0.5 0.9375 0.924 0.9612 -1 1 2 1 1.813 0.0007059 0 0.007937 1 1 0 0.00003235 0.001851 0.0006432 0.02536 3.195 0.1169 0.0007639 0.00003501 1 1 0.001851 0.02449 0.2344 0.002003 0.0265 0.2537 json
t12_x4_u3_b2 12 4 3 2 flr(add(P,mlt(D,D))) 22941 97609421 o1(o2(x,o2(x,x))) true 13375 13375 0 0.5 0.9375 0.924 0.9612 -1 1 2 1 1.813 0.0007059 0 0.007937 1 1 0 0.00003235 0.001851 0.0006432 0.02536 3.195 0.1169 0.0007639 0.00003501 1 1 0.001851 0.02449 0.2344 0.002003 0.0265 0.2537 json
t12_x4_u3_b3 12 4 3 3 flr(add(P,div(D,D))) 22942 97609422 o1(o2(x,o2(x,x))) true 13383 13383 0.07848 0.5313 0.9348 0.9179 0.958 -1 1 2 1 1.725 0.06652 0 0.07805 1 1 -9.461e-10 0.2219 0.15 0.06043 0.2458 3.15 1.044 0.07247 0.2418 1 1 0.02926 0.04597 0.2353 0.03188 0.05009 0.2563 json
t12_x4_u3_b4 12 4 3 4 flr(add(P,pow(D,D))) 22943 97609423 o1(o2(x,o2(x,x))) true 13391 13391 -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_x4_u3_b5 12 4 3 5 flr(add(P,mod(D,D))) 22944 97609424 o1(o2(x,o2(x,x))) true 13399 13399 -0.02461 0.4844 0.9375 0.9282 0.9634 -1 1 2 1 1.668 0.03542 0 0.04401 1 1 -4.731e-10 0.1149 0.08143 0.03349 0.183 4.158 0.9997 0.03816 0.1237 1 1 0.01779 0.03746 0.2401 0.01916 0.04035 0.2587 json
t12_x4_u3_b6 12 4 3 6 flr(add(P,lrg(D,D))) 22945 97609425 o1(o2(x,o2(x,x))) true 13407 13407 0 0.5 0.9375 0.924 0.9612 -1 1 2 1 1.813 0.0007059 0 0.007937 1 1 0 0.00003235 0.001851 0.0006432 0.02536 3.195 0.1169 0.0007639 0.00003501 1 1 0.001851 0.02449 0.2344 0.002003 0.0265 0.2537 json
t12_x4_u3_b7 12 4 3 7 flr(add(P,eql(D,D))) 22946 97609426 o1(o2(x,o2(x,x))) true 13415 13415 0.125 0.5625 0.9375 0.9084 0.9531 -1 1 2 1 1.8 0.0007059 0 0.007937 1 1 0 0.00003235 0.001851 0.0006432 0.02536 3.195 0.1169 0.0007771 0.00003562 1 1 0.001851 0.02449 0.2344 0.002038 0.02696 0.2581 json
t12_x4_u3_b8 12 4 3 8 flr(add(P,min(D,D))) 22947 97609427 o1(o2(x,o2(x,x))) true 13423 13423 -0.0625 0.4375 0.9375 0.9336 0.9662 -1 1 2 1 1.272 0.007937 0 0.007937 1 1 0 0.01587 0.01587 0.007872 0.08872 11.18 1 0.008501 0.017 1 1 0.01053 0.04211 0.2526 0.01128 0.0451 0.2706 json
t12_x4_u3_b9 12 4 3 9 flr(add(P,dot(D,D))) 22948 97609428 o1(o2(x,o2(x,x))) true 13431 13431 0.0002984 0.5 0.9375 0.924 0.9612 -1 1 2 1 1.812 0.0007092 0.000003307 0.007966 0.9907 1 -0.000001393 0.00006377 0.002281 0.0006492 0.02548 3.199 0.1232 0.0007711 0.00006902 1 1 0.001858 0.0245 0.2344 0.002011 0.02651 0.2537 json
t12_x4_u3_b10 12 4 3 10 flr(add(P,dst(D,D))) 22949 97609429 o1(o2(x,o2(x,x))) true 13439 13439 0 0.5 0.9375 0.924 0.9612 -1 1 2 1 1.813 0.0007059 0 0.007937 1 1 0 0.00003235 0.001851 0.0006432 0.02536 3.195 0.1169 0.0007639 0.00003501 1 1 0.001851 0.02449 0.2344 0.002003 0.0265 0.2537 json
t12_x4_u3_b11 12 4 3 11 flr(sub(P,add(D,D))) 22950 97609430 o1(o2(x,o2(x,x))) true 13447 13447 -0.0625 0.4688 0.9375 0.9184 0.9583 -1 1 2 1 1.778 0.01572 0 0.03409 1 1 0 0.0303 0.04159 0.01455 0.1206 3.539 0.9983 0.01711 0.03299 1 1 0.0216 0.04579 0.2322 0.02352 0.04986 0.2528 json
t12_x4_u3_b12 12 4 3 12 flr(sub(P,sub(D,D))) 22951 97609431 o1(o2(x,o2(x,x))) true 13455 13455 0 0.5 0.9375 0.924 0.9612 -1 1 2 1 1.813 0.0007059 0 0.007937 1 1 0 0.00003235 0.001851 0.0006432 0.02536 3.195 0.1169 0.0007639 0.00003501 1 1 0.001851 0.02449 0.2344 0.002003 0.0265 0.2537 json
t12_x4_u3_b13 12 4 3 13 flr(sub(P,mlt(D,D))) 22952 97609432 o1(o2(x,o2(x,x))) true 13463 13463 -0.125 0.4375 0.9375 0.9084 0.9531 -1 1 2 1 1.8 0.0007059 0 0.007937 1 1 0 0.00003235 0.001851 0.0006432 0.02536 3.195 0.1169 0.0007771 0.00003562 1 1 0.001851 0.02449 0.2344 0.002038 0.02696 0.2581 json
t12_x4_u3_b14 12 4 3 14 flr(sub(P,div(D,D))) 22953 97609433 o1(o2(x,o2(x,x))) true 13471 13471 -0.1545 0.4258 0.9548 0.9206 0.9595 -1 1 2 1 1.54 0.02831 0 0.03767 1 1 -9.386e-13 0.08391 0.06745 0.0269 0.164 4.354 1.014 0.03075 0.09115 1 1 0.01944 0.04199 0.2624 0.02112 0.04561 0.285 json
t12_x4_u3_b15 12 4 3 15 flr(sub(P,pow(D,D))) 22954 97609434 o1(o2(x,o2(x,x))) true 13479 13479 -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_x4_u3_b16 12 4 3 16 flr(sub(P,mod(D,D))) 22955 97609435 o1(o2(x,o2(x,x))) true 13487 13487 -0.02461 0.4844 0.9375 0.9246 0.9615 -1 1 2 1 1.765 0.03435 0 0.04664 1 1 -9.48e-10 0.1093 0.08216 0.03219 0.1794 3.847 1.016 0.03715 0.1183 1 1 0.01861 0.05432 0.2352 0.02013 0.05875 0.2544 json
t12_x4_u3_b17 12 4 3 17 flr(sub(P,lrg(D,D))) 22956 97609436 o1(o2(x,o2(x,x))) true 13495 13495 0 0.5 0.9375 0.924 0.9612 -1 1 2 1 1.813 0.0007059 0 0.007937 1 1 0 0.00003235 0.001851 0.0006432 0.02536 3.195 0.1169 0.0007639 0.00003501 1 1 0.001851 0.02449 0.2344 0.002003 0.0265 0.2537 json
t12_x4_u3_b18 12 4 3 18 flr(sub(P,eql(D,D))) 22957 97609437 o1(o2(x,o2(x,x))) true 13503 13503 -0.125 0.4375 0.9375 0.9084 0.9531 -1 1 2 1 1.8 0.0007059 0 0.007937 1 1 0 0.00003235 0.001851 0.0006432 0.02536 3.195 0.1169 0.0007771 0.00003562 1 1 0.001851 0.02449 0.2344 0.002038 0.02696 0.2581 json
t12_x4_u3_b19 12 4 3 19 flr(sub(P,min(D,D))) 22958 97609438 o1(o2(x,o2(x,x))) true 13511 13511 -0.0625 0.4688 0.9375 0.9184 0.9583 -1 1 2 1 1.809 0.01063 0 0.02379 1 1 0 0.0166 0.02131 0.01007 0.1003 4.218 0.9988 0.01158 0.01808 1 1 0.0172 0.07175 0.2321 0.01872 0.07812 0.2528 json
t12_x4_u3_b20 12 4 3 20 flr(sub(P,dot(D,D))) 22959 97609439 o1(o2(x,o2(x,x))) true 13519 13519 -0.1253 0.4351 0.9375 0.9083 0.953 -1 1 2 1 1.8 0.0007092 0.000003307 0.007962 0.9907 1 0.000001393 0.00006377 0.002281 0.0006492 0.02548 3.2 0.1234 0.0007845 0.00007022 1 1 0.001858 0.0245 0.2344 0.002045 0.02697 0.2581 json
t12_x4_u3_b21 12 4 3 21 flr(sub(P,dst(D,D))) 22960 97609440 o1(o2(x,o2(x,x))) true 13527 13527 0 0.5 0.9375 0.924 0.9612 -1 1 2 1 1.813 0.0007059 0 0.007937 1 1 0 0.00003235 0.001851 0.0006432 0.02536 3.195 0.1169 0.0007639 0.00003501 1 1 0.001851 0.02449 0.2344 0.002003 0.0265 0.2537 json
t12_x4_u3_b22 12 4 3 22 flr(mlt(P,add(D,D))) 22961 97609441 o1(o2(x,o2(x,x))) true 13535 13535 -0.4782 0.1875 0.6974 0.4006 0.6329 -1 1 2 1 3.327 0.1481 0 0.2326 1 1 3.312e-9 0.2576 0.3353 0.09402 0.3066 1.319 1.11 0.3696 0.6429 1 1 0.124 0.4809 0.08329 0.3095 1.2 0.2079 json
t12_x4_u3_b23 12 4 3 23 flr(mlt(P,sub(D,D))) 22962 97609442 o1(o2(x,o2(x,x))) true 13543 13543 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_x4_u3_b24 12 4 3 24 flr(mlt(P,mlt(D,D))) 22963 97609443 o1(o2(x,o2(x,x))) true 13551 13551 -0.3649 0.375 0.5725 0.3924 0.6264 -1 1 2 1 2.702 0.0132 0 0.04941 1 1 -0.0003311 0.02598 0.06115 0.01076 0.1037 2.1 0.6717 0.03365 0.06621 1 1 0.01018 0.04081 0.09106 0.02595 0.104 0.2321 json
t12_x4_u3_b25 12 4 3 25 flr(mlt(P,div(D,D))) 22964 97609444 o1(o2(x,o2(x,x))) true 13559 13559 -0.02129 0.4844 0.9162 0.9022 0.9499 -1 1 2 1 1.891 0.03228 0 0.0433 1 1 -2.365e-9 0.1065 0.07535 0.03039 0.1743 4.026 0.9997 0.03578 0.118 1 1 0.01503 0.03178 0.2074 0.01666 0.03523 0.2298 json
t12_x4_u3_b26 12 4 3 26 flr(mlt(P,pow(D,D))) 22965 97609445 o1(o2(x,o2(x,x))) true 13567 13567 -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_x4_u3_b27 12 4 3 27 flr(mlt(P,mod(D,D))) 22966 97609446 o1(o2(x,o2(x,x))) true 13575 13575 -0.1474 0.1016 0.323 0.2825 0.5315 -1 1 2 1 1.723 0.5053 0 0.4662 1 1 -0.007881 1.398 0.9251 0.2879 0.5366 1.151 2 1.789 4.947 1 1 0.2506 0.3119 0.04789 0.8872 1.104 0.1695 json
t12_x4_u3_b28 12 4 3 28 flr(mlt(P,lrg(D,D))) 22967 97609447 o1(o2(x,o2(x,x))) true 13583 13583 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_x4_u3_b29 12 4 3 29 flr(mlt(P,eql(D,D))) 22968 97609448 o1(o2(x,o2(x,x))) true 13591 13591 0 0.5 0.9375 0.924 0.9612 -1 1 2 1 1.813 0.0007059 0 0.007937 1 1 0 0.00003235 0.001851 0.0006432 0.02536 3.195 0.1169 0.0007639 0.00003501 1 1 0.001851 0.02449 0.2344 0.002003 0.0265 0.2537 json
t12_x4_u3_b30 12 4 3 30 flr(mlt(P,min(D,D))) 22969 97609449 o1(o2(x,o2(x,x))) true 13599 13599 -0.5366 0.09375 0.591 0.2092 0.4574 -1 0.7619 1.762 1 3.576 0.1102 0 0.2061 1 1 0.0003958 0.2442 0.3146 0.06775 0.2603 1.263 0.9991 0.5269 1.167 1 1 0.08877 0.2768 0.06916 0.4243 1.323 0.3306 json
t12_x4_u3_b31 12 4 3 31 flr(mlt(P,dot(D,D))) 22970 97609450 o1(o2(x,o2(x,x))) true 13607 13607 -0.2643 0.4517 0.6734 0.5511 0.7424 -1 1 2 1 2.994 0.008398 0.007683 0.05821 0.04446 1 -0.0004691 0.03565 0.07434 0.0127 0.1127 1.936 0.845 0.02918 0.06469 1 1 0.01834 0.08077 0.1065 0.03327 0.1466 0.1932 json
t12_x4_u3_b32 12 4 3 32 flr(mlt(P,dst(D,D))) 22971 97609451 o1(o2(x,o2(x,x))) true 13615 13615 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_x4_u3_b33 12 4 3 33 flr(div(P,add(D,D))) 22972 97609452 o1(o2(x,o2(x,x))) true 13623 13623 -0.1501 0.4141 0.8791 0.8339 0.9132 -1 1 2 1 2.062 0.3214 0 0.2302 1 1 3.783e-9 0.5451 0.3476 0.2683 0.5179 2.25 2 0.3853 0.6537 1 1 0.3519 1.512 0.1933 0.4219 1.812 0.2318 json
t12_x4_u3_b34 12 4 3 34 flr(div(P,sub(D,D))) 22973 97609453 o1(o2(x,o2(x,x))) true 13631 13631 0 0.5 1 1 1 -1 1 2 1 1 0.01587 0 0.007937 1 1 0 0.03175 0.01587 0.01581 0.1257 15.84 2 0.01587 0.03175 1 1 0.02105 0.08421 0.3368 0.02105 0.08421 0.3368 json
t12_x4_u3_b35 12 4 3 35 flr(div(P,mlt(D,D))) 22974 97609454 o1(o2(x,o2(x,x))) true 13639 13639 -0.003139 0.5 0.9591 0.9538 0.9766 -1 1 2 1 1.39 0.002164 0 0.007937 1 1 7.096e-10 0.001509 0.006724 0.0021 0.04583 5.774 0.3983 0.002269 0.001582 1 1 0.004739 0.03567 0.2747 0.004968 0.0374 0.288 json
t12_x4_u3_b36 12 4 3 36 flr(div(P,div(D,D))) 22975 97609455 o1(o2(x,o2(x,x))) true 13647 13647 -0.003322 0.5 0.9408 0.9294 0.964 -1 1 2 1 1.715 0.002055 0 0.009965 1 1 0 0.002778 0.008727 0.001956 0.04422 4.438 0.5584 0.002211 0.002989 1 1 0.003609 0.02726 0.2417 0.003884 0.02934 0.2601 json
t12_x4_u3_b37 12 4 3 37 flr(div(P,pow(D,D))) 22976 97609456 o1(o2(x,o2(x,x))) true 13655 13655 -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_x4_u3_b38 12 4 3 38 flr(div(P,mod(D,D))) 22977 97609457 o1(o2(x,o2(x,x))) true 13663 13663 -0.75 0.125 1 0.4375 0.6614 -1 1 2 1 0.5436 0.7619 0 0.381 1 1 0 2.286 0.7619 0.6165 0.7852 2.061 2 1.741 5.224 1 1 0.3789 0.5368 0.08421 0.8662 1.227 0.1925 json
t12_x4_u3_b39 12 4 3 39 flr(div(P,lrg(D,D))) 22978 97609458 o1(o2(x,o2(x,x))) true 13671 13671 -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_x4_u3_b40 12 4 3 40 flr(div(P,eql(D,D))) 22979 97609459 o1(o2(x,o2(x,x))) true 13679 13679 0 0.5 0.9375 0.924 0.9612 -1 1 2 1 1.813 0.0007059 0 0.007937 1 1 0 0.00003235 0.001851 0.0006432 0.02536 3.195 0.1169 0.0007639 0.00003501 1 1 0.001851 0.02449 0.2344 0.002003 0.0265 0.2537 json
t12_x4_u3_b41 12 4 3 41 flr(div(P,min(D,D))) 22980 97609460 o1(o2(x,o2(x,x))) true 13687 13687 -0.1463 0.4141 0.912 0.8693 0.9324 -1 1 2 1 1.931 0.3402 0 0.2302 1 1 -3.79e-9 0.5844 0.3624 0.2871 0.5358 2.328 2 0.3914 0.6722 1 1 0.3693 1.56 0.2146 0.4248 1.794 0.2468 json
t12_x4_u3_b42 12 4 3 42 flr(div(P,dot(D,D))) 22981 97609461 o1(o2(x,o2(x,x))) true 13695 13695 -0.003775 0.4976 0.9565 0.9506 0.975 -1 1 2 1 1.452 0.002019 0.0001782 0.00828 0.8377 1 2.084e-10 0.002334 0.007721 0.002128 0.04613 5.572 0.5254 0.002311 0.002455 1 1 0.004685 0.03553 0.2703 0.004928 0.03738 0.2843 json
t12_x4_u3_b43 12 4 3 43 flr(div(P,dst(D,D))) 22982 97609462 o1(o2(x,o2(x,x))) true 13703 13703 0 0.5 1 1 1 -1 1 2 1 1 0.01587 0 0.007937 1 1 0 0.03175 0.01587 0.01581 0.1257 15.84 2 0.01587 0.03175 1 1 0.02105 0.08421 0.3368 0.02105 0.08421 0.3368 json
t12_x4_u3_b44 12 4 3 44 flr(pow(P,add(D,D))) 22983 97609463 o1(o2(x,o2(x,x))) true 13711 13711 -0.1442 0.5 0.8557 0.802 0.8955 -1 1 2 1 2.339 0.03564 0 0.06334 1 1 -0.00211 0.06479 0.081 0.03163 0.1779 2.808 1 0.04444 0.08079 1 1 0.03842 0.1157 0.235 0.04791 0.1443 0.293 json
t12_x4_u3_b45 12 4 3 45 flr(pow(P,sub(D,D))) 22984 97609464 o1(o2(x,o2(x,x))) true 13719 13719 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_x4_u3_b46 12 4 3 46 flr(pow(P,mlt(D,D))) 22985 97609465 o1(o2(x,o2(x,x))) true 13727 13727 -0.03125 0.5 0.9688 0.9603 0.98 -1 1 2 1 1.406 0.004323 0 0.007937 1 1 -9.386e-13 0.007903 0.008812 0.004259 0.06526 8.223 1 0.004502 0.008229 1 1 0.006228 0.03975 0.2856 0.006485 0.04139 0.2974 json
t12_x4_u3_b47 12 4 3 47 flr(pow(P,div(D,D))) 22986 97609466 o1(o2(x,o2(x,x))) true 13735 13735 -0.03125 0.5 0.9688 0.9603 0.98 -1 1 2 1 1.406 0.004323 0 0.007937 1 1 -9.386e-13 0.007903 0.008812 0.004259 0.06526 8.223 1 0.004502 0.008229 1 1 0.006228 0.03975 0.2856 0.006485 0.04139 0.2974 json
t12_x4_u3_b48 12 4 3 48 flr(pow(P,pow(D,D))) 22987 97609467 o1(o2(x,o2(x,x))) true 13743 13743 -0.9063 0.0625 0.9688 0.1407 0.3751 -1 0.9997 2 1 0.5501 0.02019 0 0.01587 1 1 0 0.03975 0.02468 0.01993 0.1412 8.896 2 0.1435 0.2825 1 1 0.0272 0.1109 0.2014 0.1933 0.7879 1.432 json
t12_x4_u3_b49 12 4 3 49 flr(pow(P,mod(D,D))) 22988 97609468 o1(o2(x,o2(x,x))) true 13751 13751 0.4328 0.7656 0.9016 0.6972 0.835 -1 1 2 1 1.527 1.312 0 0.7478 1 1 -0.01188 4.202 1.492 0.7527 0.8676 1.16 2 1.882 6.027 1 1 0.527 0.535 0.1627 0.7558 0.7673 0.2334 json
t12_x4_u3_b50 12 4 3 50 flr(pow(P,lrg(D,D))) 22989 97609469 o1(o2(x,o2(x,x))) true 13759 13759 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_x4_u3_b51 12 4 3 51 flr(pow(P,eql(D,D))) 22990 97609470 o1(o2(x,o2(x,x))) true 13767 13767 0 0.5 0.9375 0.924 0.9612 -1 1 2 1 1.813 0.0007059 0 0.007937 1 1 0 0.00003235 0.001851 0.0006432 0.02536 3.195 0.1169 0.0007639 0.00003501 1 1 0.001851 0.02449 0.2344 0.002003 0.0265 0.2537 json
t12_x4_u3_b52 12 4 3 52 flr(pow(P,min(D,D))) 22991 97609471 o1(o2(x,o2(x,x))) true 13775 13775 -0.2132 0.5 0.7867 0.6878 0.8293 -1 1 2 1 2.723 0.03388 0 0.07004 1 1 -0.0004492 0.06428 0.08762 0.02897 0.1702 2.43 1 0.04926 0.09346 1 1 0.0359 0.1274 0.2297 0.05219 0.1853 0.334 json
t12_x4_u3_b53 12 4 3 53 flr(pow(P,dot(D,D))) 22992 97609472 o1(o2(x,o2(x,x))) true 13783 13783 -0.03125 0.5 0.9688 0.9603 0.98 -1 1 2 1 1.406 0.004323 0 0.007937 1 1 -9.386e-13 0.007903 0.008812 0.004259 0.06526 8.223 1 0.004502 0.008229 1 1 0.006228 0.03975 0.2856 0.006485 0.04139 0.2974 json
t12_x4_u3_b54 12 4 3 54 flr(pow(P,dst(D,D))) 22993 97609473 o1(o2(x,o2(x,x))) true 13791 13791 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_x4_u3_b55 12 4 3 55 flr(mod(P,add(D,D))) 22994 97609474 o1(o2(x,o2(x,x))) true 13799 13799 -0.3845 0.1758 0.4207 0.2524 0.5023 -1 0.4416 1.442 1 2.143 0.0759 0 0.09818 1 1 0.00002826 0.1859 0.1836 0.06622 0.2573 2.621 0.9997 0.3008 0.7368 1 1 0.0561 0.07451 0.08352 0.2223 0.2952 0.331 json
t12_x4_u3_b56 12 4 3 56 flr(mod(P,sub(D,D))) 22995 97609475 o1(o2(x,o2(x,x))) true 13807 13807 0 0.5 0.9375 0.924 0.9612 -1 1 2 1 1.813 0.0007059 0 0.007937 1 1 0 0.00003235 0.001851 0.0006432 0.02536 3.195 0.1169 0.0007639 0.00003501 1 1 0.001851 0.02449 0.2344 0.002003 0.0265 0.2537 json
t12_x4_u3_b57 12 4 3 57 flr(mod(P,mlt(D,D))) 22996 97609476 o1(o2(x,o2(x,x))) true 13815 13815 -0.4102 0 0.4102 0.2351 0.4849 -1 0 1 1 1.6 0.05582 0 0.05946 1 1 -1.23e-8 0.1111 0.1119 0.05225 0.2286 3.845 0.9997 0.2375 0.4728 1 1 0.05334 0.05949 0.06457 0.2269 0.253 0.2747 json
t12_x4_u3_b58 12 4 3 58 flr(mod(P,div(D,D))) 22997 97609477 o1(o2(x,o2(x,x))) true 13823 13823 -0.1846 0 0.1846 0.1188 0.3447 -0.9929 0 0.9929 1 1.254 0.2406 0 0.2696 1 1 -0.00394 0.815 0.5422 0.1679 0.4098 1.52 0.9929 2.025 6.861 1 1 0.07536 0.07308 0.02745 0.6344 0.6152 0.2311 json
t12_x4_u3_b59 12 4 3 59 flr(mod(P,pow(D,D))) 22998 97609478 o1(o2(x,o2(x,x))) true 13831 13831 -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_x4_u3_b60 12 4 3 60 flr(mod(P,mod(D,D))) 22999 97609479 o1(o2(x,o2(x,x))) true 13839 13839 -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