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_u3_b49 12 0 3 49 flr(pow(P,mod(P,P))) 19600 97447864 o1(o2(x,o2(x,x))) true 156807 156807 0.125 0.5625 1 0.9844 0.9922 -1 1 2 1 0.9887 0.07937 0 0.03968 1 1 0 0.1587 0.07937 0.07773 0.2788 7.026 2 0.08062 0.1612 1 1 0 0 0.1053 0 0 0.1069 json
t12_x0_u3_b50 12 0 3 50 flr(pow(P,lrg(P,P))) 19601 97447865 o1(o2(x,o2(x,x))) true 156815 156815 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_u3_b51 12 0 3 51 flr(pow(P,eql(P,P))) 19602 97447866 o1(o2(x,o2(x,x))) true 156823 156823 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 0 0.001851 0 0 0.002003 json
t12_x0_u3_b52 12 0 3 52 flr(pow(P,min(P,P))) 19603 97447867 o1(o2(x,o2(x,x))) true 156831 156831 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 0 0.02105 0 0 0.02105 json
t12_x0_u3_b53 12 0 3 53 flr(pow(P,dot(P,P))) 19604 97447868 o1(o2(x,o2(x,x))) true 156839 156839 -0.4121 0.3086 0.9707 0.7936 0.8908 -1 1 2 1 1.255 0.02087 0.006064 0.019 0.5497 1 -1.201e-10 0.05466 0.03122 0.02658 0.163 8.578 2.828 0.03394 0.06888 1 1 0 0 0.02826 0 0 0.03561 json
t12_x0_u3_b54 12 0 3 54 flr(pow(P,dst(P,P))) 19605 97447869 o1(o2(x,o2(x,x))) true 156847 156847 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_u3_b55 12 0 3 55 flr(mod(P,add(P,P))) 19606 97447870 o1(o2(x,o2(x,x))) true 156855 156855 -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_u3_b56 12 0 3 56 flr(mod(P,sub(P,P))) 19607 97447871 o1(o2(x,o2(x,x))) true 156863 156863 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 0 0.001851 0 0 0.002003 json
t12_x0_u3_b57 12 0 3 57 flr(mod(P,mlt(P,P))) 19608 97447872 o1(o2(x,o2(x,x))) true 156871 156871 -0.125 0.4375 0.9569 0.9337 0.9663 -1 1 2 1 1.476 0.00924 0 0.01587 1 1 0 0.01614 0.01936 0.008985 0.09479 5.974 1.001 0.009896 0.01729 1 1 0 0 0.01381 0 0 0.01479 json
t12_x0_u3_b58 12 0 3 58 flr(mod(P,div(P,P))) 19609 97447873 o1(o2(x,o2(x,x))) true 156879 156879 -0.3125 0 0.3125 0.1878 0.4334 -1 0 1 1 2.102 0.009346 0 0.02369 1 1 0.00008984 0.01594 0.01949 0.008781 0.09371 3.956 1 0.04977 0.08486 1 1 0 0 0.0133 0 0 0.07083 json
t12_x0_u3_b59 12 0 3 59 flr(mod(P,pow(P,P))) 19610 97447874 o1(o2(x,o2(x,x))) true 156887 156887 -0.08402 0.4375 0.916 0.9056 0.9516 -1 1 2 1 1.463 0.00462 0 0.007937 1 1 -9.461e-10 0.008071 0.009734 0.004556 0.0675 8.504 1 0.005101 0.008912 1 1 0 0 0.006903 0 0 0.007622 json
t12_x0_u3_b60 12 0 3 60 flr(mod(P,mod(P,P))) 19611 97447875 o1(o2(x,o2(x,x))) true 156895 156895 -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_u3_b61 12 0 3 61 flr(mod(P,lrg(P,P))) 19612 97447876 o1(o2(x,o2(x,x))) true 156903 156903 -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_u3_b62 12 0 3 62 flr(mod(P,eql(P,P))) 19613 97447877 o1(o2(x,o2(x,x))) true 156911 156911 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_u3_b63 12 0 3 63 flr(mod(P,min(P,P))) 19614 97447878 o1(o2(x,o2(x,x))) true 156919 156919 -0.125 0.3125 0.6255 0.5899 0.768 -1 1 2 1 2.418 0.01617 0 0.03866 1 1 0 0.02037 0.03799 0.01467 0.1211 3.133 1 0.02741 0.03454 1 1 0 0 0.02392 0 0 0.04055 json
t12_x0_u3_b64 12 0 3 64 flr(mod(P,dot(P,P))) 19615 97447879 o1(o2(x,o2(x,x))) true 156927 156927 -0.01563 0.4922 0.9428 0.9297 0.9642 -1 1 2 1 1.767 0.002089 0.001431 0.009571 0.1869 1 -4.13e-11 0.005932 0.005937 0.003429 0.05856 6.118 2.828 0.003787 0.006381 1 1 0 0 0.00681 0 0 0.007325 json
t12_x0_u3_b65 12 0 3 65 flr(mod(P,dst(P,P))) 19616 97447880 o1(o2(x,o2(x,x))) true 156935 156935 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 0 0.001851 0 0 0.002003 json
t12_x0_u3_b66 12 0 3 66 flr(lrg(P,add(P,P))) 19617 97447881 o1(o2(x,o2(x,x))) true 156943 156943 0.4688 0.5 0.4688 0.2423 0.4922 0 1 1 1 1.326 0.0003529 0 0.003968 1 1 -4.731e-10 0.00001619 0.0009276 0.0003372 0.01836 4.628 0.1169 0.001457 0.00006684 1 1 0 0 0.0009255 0 0 0.00382 json
t12_x0_u3_b67 12 0 3 67 flr(lrg(P,sub(P,P))) 19618 97447882 o1(o2(x,o2(x,x))) true 156951 156951 0.4688 0.5 0.4688 0.2423 0.4922 0 1 1 1 1.326 0.0003529 0 0.003968 1 1 -4.731e-10 0.00001619 0.0009276 0.0003372 0.01836 4.628 0.1169 0.001457 0.00006684 1 1 0 0 0.0009255 0 0 0.00382 json
t12_x0_u3_b68 12 0 3 68 flr(lrg(P,mlt(P,P))) 19619 97447883 o1(o2(x,o2(x,x))) true 156959 156959 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_u3_b69 12 0 3 69 flr(lrg(P,div(P,P))) 19620 97447884 o1(o2(x,o2(x,x))) true 156967 156967 0.4688 0.5625 0.4688 0.2287 0.4783 0 1 1 1 1.79 0.001059 0 0.0119 1 1 -1.419e-9 0.00004864 0.002783 0.000917 0.03028 2.545 0.1169 0.004629 0.0002126 1 1 0 0 0.002776 0 0 0.01214 json
t12_x0_u3_b70 12 0 3 70 flr(lrg(P,pow(P,P))) 19621 97447885 o1(o2(x,o2(x,x))) true 156975 156975 0.4688 0.5 0.4688 0.2423 0.4922 0 1 1 1 1.326 0.0003529 0 0.003968 1 1 -4.731e-10 0.00001619 0.0009276 0.0003372 0.01836 4.628 0.1169 0.001457 0.00006684 1 1 0 0 0.0009255 0 0 0.00382 json
t12_x0_u3_b71 12 0 3 71 flr(lrg(P,mod(P,P))) 19622 97447886 o1(o2(x,o2(x,x))) true 156983 156983 0.3438 0.5 0.3438 0.1918 0.4379 0 1 1 1 2.076 0.001764 0 0.01981 1 1 0.00008984 0.00007983 0.004549 0.001372 0.03704 1.869 0.1169 0.009201 0.0004163 1 1 0 0 0.003702 0 0 0.0193 json
t12_x0_u3_b72 12 0 3 72 flr(lrg(P,lrg(P,P))) 19623 97447887 o1(o2(x,o2(x,x))) true 156991 156991 0.4688 0.5 0.4688 0.2423 0.4922 0 1 1 1 1.326 0.0003529 0 0.003968 1 1 -4.731e-10 0.00001619 0.0009276 0.0003372 0.01836 4.628 0.1169 0.001457 0.00006684 1 1 0 0 0.0009255 0 0 0.00382 json
t12_x0_u3_b73 12 0 3 73 flr(lrg(P,eql(P,P))) 19624 97447888 o1(o2(x,o2(x,x))) true 156999 156999 0.4063 0.4375 0.4063 0.2344 0.4842 0 1 1 1 1.302 0.0003529 0 0.003968 1 1 -4.731e-10 0.00001619 0.0009276 0.0003372 0.01836 4.628 0.1169 0.001505 0.00006906 1 1 0 0 0.0009255 0 0 0.003947 json
t12_x0_u3_b74 12 0 3 74 flr(lrg(P,min(P,P))) 19625 97447889 o1(o2(x,o2(x,x))) true 157007 157007 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_u3_b75 12 0 3 75 flr(lrg(P,dot(P,P))) 19626 97447890 o1(o2(x,o2(x,x))) true 157015 157015 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_u3_b76 12 0 3 76 flr(lrg(P,dst(P,P))) 19627 97447891 o1(o2(x,o2(x,x))) true 157023 157023 0.4688 0.5 0.4688 0.2423 0.4922 0 1 1 1 1.326 0.0003529 0 0.003968 1 1 -4.731e-10 0.00001619 0.0009276 0.0003372 0.01836 4.628 0.1169 0.001457 0.00006684 1 1 0 0 0.0009255 0 0 0.00382 json
t12_x0_u3_b77 12 0 3 77 flr(eql(P,add(P,P))) 19628 97447892 o1(o2(x,o2(x,x))) true 157031 157031 0.0625 0.125 0.0625 0.04507 0.2123 0 0.9997 0.9997 1 0.8126 0.0007059 0 0.007934 1 1 -9.461e-10 0.00003241 0.001855 0.0006433 0.02536 3.197 0.1169 0.01566 0.0007193 1 1 0 0 0.001851 0 0 0.04107 json
t12_x0_u3_b78 12 0 3 78 flr(eql(P,sub(P,P))) 19629 97447893 o1(o2(x,o2(x,x))) true 157039 157039 0.0625 0.125 0.0625 0.04507 0.2123 0 0.9997 0.9997 1 0.8126 0.0007059 0 0.007934 1 1 -9.461e-10 0.00003241 0.001855 0.0006433 0.02536 3.197 0.1169 0.01566 0.0007193 1 1 0 0 0.001851 0 0 0.04107 json
t12_x0_u3_b79 12 0 3 79 flr(eql(P,mlt(P,P))) 19630 97447894 o1(o2(x,o2(x,x))) true 157047 157047 0.125 0.1875 0.125 0.09585 0.3096 0 1 1 1 1.067 0.0007059 0 0.007937 1 1 -9.461e-10 0.00003238 0.001855 0.0006432 0.02536 3.195 0.1169 0.007364 0.0003379 1 1 0 0 0.001851 0 0 0.01931 json
t12_x0_u3_b80 12 0 3 80 flr(eql(P,div(P,P))) 19631 97447895 o1(o2(x,o2(x,x))) true 157055 157055 0.0625 0.125 0.0625 0.04507 0.2123 0 0.9997 0.9997 1 0.8126 0.0007059 0 0.007934 1 1 -9.461e-10 0.00003241 0.001855 0.0006433 0.02536 3.197 0.1169 0.01566 0.0007193 1 1 0 0 0.001851 0 0 0.04107 json
t12_x0_u3_b81 12 0 3 81 flr(eql(P,pow(P,P))) 19632 97447896 o1(o2(x,o2(x,x))) true 157063 157063 0.0625 0.125 0.0625 0.04507 0.2123 0 0.9997 0.9997 1 0.8126 0.0007059 0 0.007934 1 1 -9.461e-10 0.00003241 0.001855 0.0006433 0.02536 3.197 0.1169 0.01566 0.0007193 1 1 0 0 0.001851 0 0 0.04107 json
t12_x0_u3_b82 12 0 3 82 flr(eql(P,mod(P,P))) 19633 97447897 o1(o2(x,o2(x,x))) true 157071 157071 0.375 0.625 0.375 0.1803 0.4246 0 1 1 1 2.555 0.002821 0 0.0316 1 1 -0.0001797 0.0001273 0.007243 0.001823 0.0427 1.351 0.1169 0.01565 0.000706 1 1 0 0 0.00555 0 0 0.03079 json
t12_x0_u3_b83 12 0 3 83 flr(eql(P,lrg(P,P))) 19634 97447898 o1(o2(x,o2(x,x))) true 157079 157079 0.0625 0.125 0.0625 0.04507 0.2123 0 0.9997 0.9997 1 0.8126 0.0007059 0 0.007934 1 1 -9.461e-10 0.00003241 0.001855 0.0006433 0.02536 3.197 0.1169 0.01566 0.0007193 1 1 0 0 0.001851 0 0 0.04107 json
t12_x0_u3_b84 12 0 3 84 flr(eql(P,eql(P,P))) 19635 97447899 o1(o2(x,o2(x,x))) true 157087 157087 0.0625 0.125 0.0625 0.04507 0.2123 0 0.9997 0.9997 1 0.8126 0.0007059 0 0.007934 1 1 -9.461e-10 0.00003241 0.001855 0.0006433 0.02536 3.197 0.1169 0.01566 0.0007193 1 1 0 0 0.001851 0 0 0.04107 json
t12_x0_u3_b85 12 0 3 85 flr(eql(P,min(P,P))) 19636 97447900 o1(o2(x,o2(x,x))) true 157095 157095 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_u3_b86 12 0 3 86 flr(eql(P,dot(P,P))) 19637 97447901 o1(o2(x,o2(x,x))) true 157103 157103 0.007812 0.02258 0.007812 0.005398 0.07347 0 0.9997 0.9997 1 0.1706 0.00003512 0.00007993 0.001346 -0.3895 1 2.58e-11 0.000006278 0.0003238 0.0001133 0.01064 7.91 0.1169 0.02131 0.001163 1 1 0 0 0.0004001 0 0 0.07412 json
t12_x0_u3_b87 12 0 3 87 flr(eql(P,dst(P,P))) 19638 97447902 o1(o2(x,o2(x,x))) true 157111 157111 0.0625 0.125 0.0625 0.04507 0.2123 0 0.9997 0.9997 1 0.8126 0.0007059 0 0.007934 1 1 -9.461e-10 0.00003241 0.001855 0.0006433 0.02536 3.197 0.1169 0.01566 0.0007193 1 1 0 0 0.001851 0 0 0.04107 json
t12_x0_u3_b88 12 0 3 88 flr(min(P,add(P,P))) 19639 97447903 o1(o2(x,o2(x,x))) true 157119 157119 -0.009727 0.5 0.9472 0.9365 0.9677 -1 1 2 1 1.65 0.001005 0 0.007937 1 1 4.731e-10 0.0001502 0.002719 0.0009424 0.0307 3.868 0.2265 0.001073 0.0001604 1 1 0 0 0.002565 0 0 0.002739 json
t12_x0_u3_b89 12 0 3 89 flr(min(P,sub(P,P))) 19640 97447904 o1(o2(x,o2(x,x))) true 157127 157127 -0.4688 0 0.4688 0.2423 0.4922 -1 0 1 1 1.406 0.0003529 0 0.003968 1 1 4.731e-10 0.00001619 0.0009276 0.0003372 0.01836 4.628 0.1169 0.001457 0.00006684 1 1 0 0 0.0009255 0 0 0.00382 json
t12_x0_u3_b90 12 0 3 90 flr(min(P,mlt(P,P))) 19641 97447905 o1(o2(x,o2(x,x))) true 157135 157135 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 0 0.001851 0 0 0.002003 json
t12_x0_u3_b91 12 0 3 91 flr(min(P,div(P,P))) 19642 97447906 o1(o2(x,o2(x,x))) true 157143 157143 -0.1875 0.4375 0.75 0.6743 0.8211 -1 1 2 1 2.833 0.002117 0 0.02378 1 1 0.00008984 0.00009599 0.005472 0.001551 0.03939 1.656 0.1169 0.00314 0.0001424 1 1 0 0 0.004627 0 0 0.006863 json
t12_x0_u3_b92 12 0 3 92 flr(min(P,pow(P,P))) 19643 97447907 o1(o2(x,o2(x,x))) true 157151 157151 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 0 0.001851 0 0 0.002003 json
t12_x0_u3_b93 12 0 3 93 flr(min(P,mod(P,P))) 19644 97447908 o1(o2(x,o2(x,x))) true 157159 157159 -0.2185 0.3125 0.719 0.6542 0.8089 -1 1 2 1 2.238 0.00452 0 0.01964 1 1 -0.0006289 0.002266 0.01198 0.004133 0.06429 3.273 0.4609 0.006908 0.003463 1 1 0 0 0.00762 0 0 0.01165 json
t12_x0_u3_b94 12 0 3 94 flr(min(P,lrg(P,P))) 19645 97447909 o1(o2(x,o2(x,x))) true 157167 157167 -0.4688 0 0.4688 0.2423 0.4922 -1 0 1 1 1.406 0.0003529 0 0.003968 1 1 4.731e-10 0.00001619 0.0009276 0.0003372 0.01836 4.628 0.1169 0.001457 0.00006684 1 1 0 0 0.0009255 0 0 0.00382 json
t12_x0_u3_b95 12 0 3 95 flr(min(P,eql(P,P))) 19646 97447910 o1(o2(x,o2(x,x))) true 157175 157175 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 0 0.001851 0 0 0.002003 json
t12_x0_u3_b96 12 0 3 96 flr(min(P,min(P,P))) 19647 97447911 o1(o2(x,o2(x,x))) true 157183 157183 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 0 0.001851 0 0 0.002003 json
t12_x0_u3_b97 12 0 3 97 flr(min(P,dot(P,P))) 19648 97447912 o1(o2(x,o2(x,x))) true 157191 157191 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 0 0.001851 0 0 0.002003 json
t12_x0_u3_b98 12 0 3 98 flr(min(P,dst(P,P))) 19649 97447913 o1(o2(x,o2(x,x))) true 157199 157199 -0.4688 0 0.4688 0.2423 0.4922 -1 0 1 1 1.406 0.0003529 0 0.003968 1 1 4.731e-10 0.00001619 0.0009276 0.0003372 0.01836 4.628 0.1169 0.001457 0.00006684 1 1 0 0 0.0009255 0 0 0.00382 json
t12_x0_u3_b99 12 0 3 99 flr(dot(P,add(P,P))) 19650 97447914 o1(o2(x,o2(x,x))) true 157207 157207 0.9983 1 0.9983 0.001181 0.03437 0.001164 1 0.9988 1 0.04112 0.0000519 0.0000519 0.0005686 -4.907e-7 1 2.253e-11 0.00003964 0.0003493 0.0001035 0.01018 17.9 0.2685 0.08787 0.03356 1 1 0 0 0.0003401 0 0 0.2879 json
t12_x0_u3_b100 12 0 3 100 flr(dot(P,sub(P,P))) 19651 97447915 o1(o2(x,o2(x,x))) true 157215 157215 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_u3_b101 12 0 3 101 flr(dot(P,mlt(P,P))) 19652 97447916 o1(o2(x,o2(x,x))) true 157223 157223 3.725e-9 0.498 0.9867 0.9838 0.9919 -1 1 2 1 1.223 0.005879 0.005879 0.01178 -7.921e-8 1 -2.628e-10 0.02109 0.0135 0.01162 0.1078 9.153 1.414 0.01195 0.02144 1 1 0 0 0.02158 0 0 0.02194 json
t12_x0_u3_b102 12 0 3 102 flr(dot(P,div(P,P))) 19653 97447917 o1(o2(x,o2(x,x))) true 157231 157231 -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_u3_b103 12 0 3 103 flr(dot(P,pow(P,P))) 19654 97447918 o1(o2(x,o2(x,x))) true 157239 157239 -0.5008 0.25 0.9992 0.7483 0.865 -1 1 2 1 0.8325 0.007543 0.007543 0.007877 6.174e-8 1 3.341e-10 0.03016 0.01543 0.01502 0.1226 15.56 2 0.02016 0.04031 1 1 0 0 0.01971 0 0 0.02634 json
t12_x0_u3_b104 12 0 3 104 flr(dot(P,mod(P,P))) 19655 97447919 o1(o2(x,o2(x,x))) true 157247 157247 -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_u3_b105 12 0 3 105 flr(dot(P,lrg(P,P))) 19656 97447920 o1(o2(x,o2(x,x))) true 157255 157255 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_u3_b106 12 0 3 106 flr(dot(P,eql(P,P))) 19657 97447921 o1(o2(x,o2(x,x))) true 157263 157263 -1.583e-8 0.498 0.9392 0.9217 0.96 -1 1 2 1 1.917 0.0006889 0.0006889 0.01208 4.225e-7 1 -1.164e-10 0.0002289 0.003184 0.001231 0.03509 2.904 0.1653 0.001495 0.0002483 1 1 0 0 0.003512 0 0 0.003811 json
t12_x0_u3_b107 12 0 3 107 flr(dot(P,min(P,P))) 19658 97447922 o1(o2(x,o2(x,x))) true 157271 157271 0.9967 1 0.9967 0.002206 0.04697 0.0005821 1 0.9994 1 0.08493 0.00004482 0.00004482 0.0007972 -5.682e-7 0 -1.502e-11 0.00002627 0.0002729 0.00008892 0.00943 11.83 0.1653 0.04063 0.01191 1 1 0 0 0.0003021 0 0 0.1369 json
t12_x0_u3_b108 12 0 3 108 flr(dot(P,dot(P,P))) 19659 97447923 o1(o2(x,o2(x,x))) true 157279 157279 -7.451e-9 0.498 0.9858 0.9826 0.9913 -1 1 2 1 1.234 0.005558 0.005558 0.01182 -4.189e-8 1 7.133e-11 0.01947 0.013 0.01098 0.1048 8.862 1.414 0.01131 0.01982 1 1 0 0 0.02038 0 0 0.02074 json
t12_x0_u3_b109 12 0 3 109 flr(dot(P,dst(P,P))) 19660 97447924 o1(o2(x,o2(x,x))) true 157287 157287 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_u3_b110 12 0 3 110 flr(dst(P,add(P,P))) 19661 97447925 o1(o2(x,o2(x,x))) true 157295 157295 0.9961 1 0.9961 0.002383 0.04882 0.000582 1 0.9994 1 0.1068 0.00003512 0.00003512 0.0008419 6.216e-7 0 -1.577e-10 0.000004222 0.000206 0.00006942 0.008332 9.897 0.1169 0.02947 0.001772 1 1 0 0 0.0002443 0 0 0.1025 json
t12_x0_u3_b111 12 0 3 111 flr(dst(P,sub(P,P))) 19662 97447926 o1(o2(x,o2(x,x))) true 157303 157303 0.9961 1 0.9961 0.002383 0.04882 0.000582 1 0.9994 1 0.1068 0.00003512 0.00003512 0.0008419 6.216e-7 0 -1.577e-10 0.000004222 0.000206 0.00006942 0.008332 9.897 0.1169 0.02947 0.001772 1 1 0 0 0.0002443 0 0 0.1025 json
t12_x0_u3_b112 12 0 3 112 flr(dst(P,mlt(P,P))) 19663 97447927 o1(o2(x,o2(x,x))) true 157311 157311 0.989 0.9961 0.989 0.00943 0.09711 0 1 1 1 0.1501 0.0001328 0.0001328 0.001586 -9.863e-7 1 -2.666e-10 0.00006724 0.0007873 0.0002628 0.01621 10.22 0.2278 0.02816 0.007131 1 1 0 0 0.0008819 0 0 0.09353 json
t12_x0_u3_b113 12 0 3 113 flr(dst(P,div(P,P))) 19664 97447928 o1(o2(x,o2(x,x))) true 157319 157319 -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_u3_b114 12 0 3 114 flr(dst(P,pow(P,P))) 19665 97447929 o1(o2(x,o2(x,x))) true 157327 157327 -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_u3_b115 12 0 3 115 flr(dst(P,mod(P,P))) 19666 97447930 o1(o2(x,o2(x,x))) true 157335 157335 -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_u3_b116 12 0 3 116 flr(dst(P,lrg(P,P))) 19667 97447931 o1(o2(x,o2(x,x))) true 157343 157343 0.9961 1 0.9961 0.002383 0.04882 0.000582 1 0.9994 1 0.1068 0.00003512 0.00003512 0.0008419 6.216e-7 0 -1.577e-10 0.000004222 0.000206 0.00006942 0.008332 9.897 0.1169 0.02947 0.001772 1 1 0 0 0.0002443 0 0 0.1025 json
t12_x0_u3_b117 12 0 3 117 flr(dst(P,eql(P,P))) 19668 97447932 o1(o2(x,o2(x,x))) true 157351 157351 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_u3_b118 12 0 3 118 flr(dst(P,min(P,P))) 19669 97447933 o1(o2(x,o2(x,x))) true 157359 157359 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_u3_b119 12 0 3 119 flr(dst(P,dot(P,P))) 19670 97447934 o1(o2(x,o2(x,x))) true 157367 157367 0.9976 1 0.9976 0.001656 0.04069 0.0005821 1 0.9994 1 0.06143 0.00005033 0.00005033 0.0006901 -4.698e-7 1 -1.314e-11 0.00003429 0.0003311 0.0001002 0.01001 14.5 0.2443 0.06079 0.02071 1 1 0 0 0.000333 0 0 0.2011 json
t12_x0_u3_b120 12 0 3 120 flr(dst(P,dst(P,P))) 19671 97447935 o1(o2(x,o2(x,x))) true 157375 157375 0.9961 1 0.9961 0.002383 0.04882 0.000582 1 0.9994 1 0.1068 0.00003512 0.00003512 0.0008419 6.216e-7 0 -1.577e-10 0.000004222 0.000206 0.00006942 0.008332 9.897 0.1169 0.02947 0.001772 1 1 0 0 0.0002443 0 0 0.1025 json
t12_x0_u4_b0 12 0 4 0 cil(add(P,add(P,P))) 19672 97448016 o1(o2(x,o2(x,x))) true 157383 157383 0 0.5 0.9641 0.9583 0.9789 -1 1 2 1 1.379 0.001774 0 0.007937 1 1 0 0.0008204 0.004879 0.001711 0.04136 5.211 0.3082 0.001851 0.0008561 1 1 0 0 0.004162 0 0 0.004343 json
t12_x0_u4_b1 12 0 4 1 cil(add(P,sub(P,P))) 19673 97448017 o1(o2(x,o2(x,x))) true 157391 157391 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 0 0.001851 0 0 0.002003 json
t12_x0_u4_b2 12 0 4 2 cil(add(P,mlt(P,P))) 19674 97448018 o1(o2(x,o2(x,x))) true 157399 157399 0.8944 0.9375 0.8944 0.08685 0.2947 0 1 1 1 0.7463 0.001303 0 0.007937 1 1 -1.892e-9 0.0002682 0.003596 0.001241 0.03522 4.438 0.2265 0.01501 0.003088 1 1 0 0 0.003279 0 0 0.03776 json
t12_x0_u4_b3 12 0 4 3 cil(add(P,div(P,P))) 19675 97448019 o1(o2(x,o2(x,x))) true 157407 157407 -0.09375 0.4375 0.9688 0.9525 0.976 -1 1 2 1 1.404 0.02019 0 0.01587 1 1 0 0.03975 0.02473 0.01993 0.1412 8.896 2 0.0212 0.04173 1 1 0 0 0.0272 0 0 0.02856 json
t12_x0_u4_b4 12 0 4 4 cil(add(P,pow(P,P))) 19676 97448020 o1(o2(x,o2(x,x))) true 157415 157415 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 0 0.02105 0 0 0.02105 json
t12_x0_u4_b5 12 0 4 5 cil(add(P,mod(P,P))) 19677 97448021 o1(o2(x,o2(x,x))) true 157423 157423 -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_u4_b6 12 0 4 6 cil(add(P,lrg(P,P))) 19678 97448022 o1(o2(x,o2(x,x))) true 157431 157431 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 0 0.001851 0 0 0.002003 json
t12_x0_u4_b7 12 0 4 7 cil(add(P,eql(P,P))) 19679 97448023 o1(o2(x,o2(x,x))) true 157439 157439 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 0 0.001851 0 0 0.002038 json
t12_x0_u4_b8 12 0 4 8 cil(add(P,min(P,P))) 19680 97448024 o1(o2(x,o2(x,x))) true 157447 157447 0 0.5 0.9569 0.9494 0.9744 -1 1 2 1 1.488 0.001303 0 0.007937 1 1 0 0.0002681 0.003586 0.001241 0.03522 4.438 0.2265 0.001373 0.0002824 1 1 0 0 0.003279 0 0 0.003454 json
t12_x0_u4_b9 12 0 4 9 cil(add(P,dot(P,P))) 19681 97448025 o1(o2(x,o2(x,x))) true 157455 157455 0.9937 1 0.9937 0.004639 0.06811 0.000291 1 0.9997 1 0.1265 0.00007372 0.0000757 0.001194 -0.01323 1 -3.379e-11 0.00003768 0.0004689 0.0001478 0.01216 10.18 0.2359 0.03221 0.008122 1 1 0 0 0.0005008 0 0 0.108 json
t12_x0_u4_b10 12 0 4 10 cil(add(P,dst(P,P))) 19682 97448026 o1(o2(x,o2(x,x))) true 157463 157463 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 0 0.001851 0 0 0.002003 json
t12_x0_u4_b11 12 0 4 11 cil(sub(P,add(P,P))) 19683 97448027 o1(o2(x,o2(x,x))) true 157471 157471 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 0 0.001851 0 0 0.002003 json
t12_x0_u4_b12 12 0 4 12 cil(sub(P,sub(P,P))) 19684 97448028 o1(o2(x,o2(x,x))) true 157479 157479 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 0 0.001851 0 0 0.002003 json
t12_x0_u4_b13 12 0 4 13 cil(sub(P,mlt(P,P))) 19685 97448029 o1(o2(x,o2(x,x))) true 157487 157487 -0.8944 0 0.8944 0.08685 0.2947 -1 0 1 1 0.8189 0.001303 0 0.007937 1 1 1.892e-9 0.0002682 0.003596 0.001241 0.03522 4.438 0.2265 0.01501 0.003088 1 1 0 0 0.003279 0 0 0.03776 json
t12_x0_u4_b14 12 0 4 14 cil(sub(P,div(P,P))) 19686 97448030 o1(o2(x,o2(x,x))) true 157495 157495 -0.1563 0.4375 0.9688 0.9369 0.9679 -1 1 2 1 1.385 0.004323 0 0.007937 1 1 -9.386e-13 0.007903 0.008812 0.004259 0.06526 8.223 1 0.004615 0.008435 1 1 0 0 0.006228 0 0 0.006647 json
t12_x0_u4_b15 12 0 4 15 cil(sub(P,pow(P,P))) 19687 97448031 o1(o2(x,o2(x,x))) true 157503 157503 -0.9472 0 0.9472 0.03942 0.1985 -1 -0.000291 0.9997 1 0.6778 0.001005 0 0.007934 1 1 1.419e-9 0.0001503 0.002725 0.0009424 0.0307 3.869 0.2265 0.02549 0.003814 1 1 0 0 0.002565 0 0 0.06508 json
t12_x0_u4_b16 12 0 4 16 cil(sub(P,mod(P,P))) 19688 97448032 o1(o2(x,o2(x,x))) true 157511 157511 -0.125 0.375 0.7463 0.7093 0.8422 -1 1 2 1 2.465 0.02375 0 0.03967 1 1 -1.877e-12 0.03553 0.03674 0.02218 0.1489 3.754 2 0.03348 0.05009 1 1 0 0 0.03363 0 0 0.04742 json
t12_x0_u4_b17 12 0 4 17 cil(sub(P,lrg(P,P))) 19689 97448033 o1(o2(x,o2(x,x))) true 157519 157519 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 0 0.001851 0 0 0.002003 json
t12_x0_u4_b18 12 0 4 18 cil(sub(P,eql(P,P))) 19690 97448034 o1(o2(x,o2(x,x))) true 157527 157527 -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 0 0.001851 0 0 0.002038 json
t12_x0_u4_b19 12 0 4 19 cil(sub(P,min(P,P))) 19691 97448035 o1(o2(x,o2(x,x))) true 157535 157535 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_u4_b20 12 0 4 20 cil(sub(P,dot(P,P))) 19692 97448036 o1(o2(x,o2(x,x))) true 157543 157543 -0.9937 0 0.9937 0.004639 0.06811 -1 -0.000291 0.9997 1 0.1265 0.00007372 0.0000757 0.001194 -0.01323 1 3.379e-11 0.00003768 0.0004689 0.0001478 0.01216 10.18 0.2359 0.03221 0.008122 1 1 0 0 0.0005008 0 0 0.108 json
t12_x0_u4_b21 12 0 4 21 cil(sub(P,dst(P,P))) 19693 97448037 o1(o2(x,o2(x,x))) true 157551 157551 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 0 0.001851 0 0 0.002003 json
t12_x0_u4_b22 12 0 4 22 cil(mlt(P,add(P,P))) 19694 97448038 o1(o2(x,o2(x,x))) true 157559 157559 0.9569 1 0.9569 0.03358 0.1833 0.0005821 1 0.9994 1 0.4876 0.001303 0 0.007932 1 1 -1.892e-9 0.0002683 0.003596 0.001239 0.0352 4.438 0.2265 0.03881 0.007989 1 1 0 0 0.003279 0 0 0.09765 json
t12_x0_u4_b23 12 0 4 23 cil(mlt(P,sub(P,P))) 19695 97448039 o1(o2(x,o2(x,x))) true 157567 157567 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_u4_b24 12 0 4 24 cil(mlt(P,mlt(P,P))) 19696 97448040 o1(o2(x,o2(x,x))) true 157575 157575 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 0 0.001851 0 0 0.002003 json
t12_x0_u4_b25 12 0 4 25 cil(mlt(P,div(P,P))) 19697 97448041 o1(o2(x,o2(x,x))) true 157583 157583 -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_u4_b26 12 0 4 26 cil(mlt(P,pow(P,P))) 19698 97448042 o1(o2(x,o2(x,x))) true 157591 157591 -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 0 0.006228 0 0 0.006485 json
t12_x0_u4_b27 12 0 4 27 cil(mlt(P,mod(P,P))) 19699 97448043 o1(o2(x,o2(x,x))) true 157599 157599 0.4267 0.625 0.6767 0.4834 0.6953 -1 1 2 1 1.744 0.01948 0 0.03433 1 1 -0.005166 0.02885 0.04529 0.0183 0.1353 3.941 1 0.0403 0.05967 1 1 0 0 0.03032 0 0 0.06271 json