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_u4_b40 12 4 4 40 cil(div(P,eql(D,D))) 23100 97609660 o1(o2(x,o2(x,x))) true 14647 14647 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_u4_b41 12 4 4 41 cil(div(P,min(D,D))) 23101 97609661 o1(o2(x,o2(x,x))) true 14655 14655 -0.08197 0.4375 0.9375 0.9197 0.959 -1 1 2 1 1.591 0.4176 0 0.2302 1 1 -9.461e-10 0.8041 0.4335 0.3645 0.6037 2.623 2 0.4541 0.8743 1 1 0.4166 1.734 0.242 0.453 1.886 0.2631 json
t12_x4_u4_b42 12 4 4 42 cil(div(P,dot(D,D))) 23102 97609662 o1(o2(x,o2(x,x))) true 14663 14663 0.003775 0.5 0.9565 0.9506 0.975 -1 1 2 1 1.452 0.002019 0.0001782 0.008307 0.8377 1 -1.774e-10 0.002334 0.007721 0.002128 0.04613 5.553 0.5247 0.002311 0.002455 1 1 0.004685 0.03553 0.2703 0.004928 0.03738 0.2843 json
t12_x4_u4_b43 12 4 4 43 cil(div(P,dst(D,D))) 23103 97609663 o1(o2(x,o2(x,x))) true 14671 14671 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_u4_b44 12 4 4 44 cil(pow(P,add(D,D))) 23104 97609664 o1(o2(x,o2(x,x))) true 14679 14679 -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_u4_b45 12 4 4 45 cil(pow(P,sub(D,D))) 23105 97609665 o1(o2(x,o2(x,x))) true 14687 14687 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_u4_b46 12 4 4 46 cil(pow(P,mlt(D,D))) 23106 97609666 o1(o2(x,o2(x,x))) true 14695 14695 -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_u4_b47 12 4 4 47 cil(pow(P,div(D,D))) 23107 97609667 o1(o2(x,o2(x,x))) true 14703 14703 -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_u4_b48 12 4 4 48 cil(pow(P,pow(D,D))) 23108 97609668 o1(o2(x,o2(x,x))) true 14711 14711 -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_u4_b49 12 4 4 49 cil(pow(P,mod(D,D))) 23109 97609669 o1(o2(x,o2(x,x))) true 14719 14719 0.5189 0.7656 0.9877 0.7159 0.8461 -1 1 2 1 0.9269 1.192 0 0.6079 1 1 -0.007937 3.819 1.223 0.823 0.9072 1.492 2 1.666 5.335 1 1 0.4826 0.4664 0.149 0.6741 0.6514 0.2081 json
t12_x4_u4_b50 12 4 4 50 cil(pow(P,lrg(D,D))) 23110 97609670 o1(o2(x,o2(x,x))) true 14727 14727 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_u4_b51 12 4 4 51 cil(pow(P,eql(D,D))) 23111 97609671 o1(o2(x,o2(x,x))) true 14735 14735 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_u4_b52 12 4 4 52 cil(pow(P,min(D,D))) 23112 97609672 o1(o2(x,o2(x,x))) true 14743 14743 -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_u4_b53 12 4 4 53 cil(pow(P,dot(D,D))) 23113 97609673 o1(o2(x,o2(x,x))) true 14751 14751 -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_u4_b54 12 4 4 54 cil(pow(P,dst(D,D))) 23114 97609674 o1(o2(x,o2(x,x))) true 14759 14759 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_u4_b55 12 4 4 55 cil(mod(P,add(D,D))) 23115 97609675 o1(o2(x,o2(x,x))) true 14767 14767 0.3845 0.4961 0.4207 0.2524 0.5023 -0.4416 1 1.442 1 2.18 0.0759 0 0.09815 1 1 -0.00002826 0.1859 0.1836 0.06623 0.2574 2.622 0.9997 0.3008 0.7368 1 1 0.06136 0.0793 0.08745 0.2431 0.3143 0.3466 json
t12_x4_u4_b56 12 4 4 56 cil(mod(P,sub(D,D))) 23116 97609676 o1(o2(x,o2(x,x))) true 14775 14775 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_u4_b57 12 4 4 57 cil(mod(P,mlt(D,D))) 23117 97609677 o1(o2(x,o2(x,x))) true 14783 14783 0.4102 0.4961 0.4102 0.2351 0.4849 0 1 1 1 1.304 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.0586 0.06475 0.06457 0.2493 0.2754 0.2747 json
t12_x4_u4_b58 12 4 4 58 cil(mod(P,div(D,D))) 23118 97609678 o1(o2(x,o2(x,x))) true 14791 14791 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_u4_b59 12 4 4 59 cil(mod(P,pow(D,D))) 23119 97609679 o1(o2(x,o2(x,x))) true 14799 14799 -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_u4_b60 12 4 4 60 cil(mod(P,mod(D,D))) 23120 97609680 o1(o2(x,o2(x,x))) true 14807 14807 -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_u4_b61 12 4 4 61 cil(mod(P,lrg(D,D))) 23121 97609681 o1(o2(x,o2(x,x))) true 14815 14815 -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_u4_b62 12 4 4 62 cil(mod(P,eql(D,D))) 23122 97609682 o1(o2(x,o2(x,x))) true 14823 14823 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_u4_b63 12 4 4 63 cil(mod(P,min(D,D))) 23123 97609683 o1(o2(x,o2(x,x))) true 14831 14831 0.4026 0.4961 0.4026 0.2335 0.4832 0 1 1 1 1.3 0.07077 0 0.07485 1 1 1.23e-8 0.1714 0.1428 0.06517 0.2553 3.41 0.9997 0.3031 0.734 1 1 0.0583 0.07466 0.07448 0.2497 0.3198 0.3191 json
t12_x4_u4_b64 12 4 4 64 cil(mod(P,dot(D,D))) 23124 97609684 o1(o2(x,o2(x,x))) true 14839 14839 0.4593 0.5 0.4597 0.2417 0.4916 -0.01937 1 1.019 1 1.692 0.007872 0.007557 0.01821 0.02045 1 -0.00006273 0.04706 0.03191 0.01509 0.1228 6.745 1.413 0.06384 0.1947 1 1 0.01654 0.02969 0.07651 0.06845 0.1228 0.3166 json
t12_x4_u4_b65 12 4 4 65 cil(mod(P,dst(D,D))) 23125 97609685 o1(o2(x,o2(x,x))) true 14847 14847 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_u4_b66 12 4 4 66 cil(lrg(P,add(D,D))) 23126 97609686 o1(o2(x,o2(x,x))) true 14855 14855 0.5 0.5938 0.5 0.2297 0.4793 0 1 1 1 1.793 0.006516 0 0.01891 1 1 -7.096e-10 0.01207 0.01859 0.006159 0.07848 4.15 0.9994 0.02837 0.05257 1 1 0.009276 0.03643 0.06598 0.04039 0.1586 0.2873 json
t12_x4_u4_b67 12 4 4 67 cil(lrg(P,sub(D,D))) 23127 97609687 o1(o2(x,o2(x,x))) true 14863 14863 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.0009255 0.01214 0.0751 0.00382 0.05012 0.31 json
t12_x4_u4_b68 12 4 4 68 cil(lrg(P,mlt(D,D))) 23128 97609688 o1(o2(x,o2(x,x))) true 14871 14871 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.0009255 0.01214 0.0751 0.00382 0.05012 0.31 json
t12_x4_u4_b69 12 4 4 69 cil(lrg(P,div(D,D))) 23129 97609689 o1(o2(x,o2(x,x))) true 14879 14879 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.0009255 0.01214 0.0751 0.003947 0.0518 0.3203 json
t12_x4_u4_b70 12 4 4 70 cil(lrg(P,pow(D,D))) 23130 97609690 o1(o2(x,o2(x,x))) true 14887 14887 0.7188 1 0.7188 0.1413 0.3759 0.000291 1 0.9997 1 2.519 0.03488 0 0.06731 1 1 -0.00008984 0.06442 0.07172 0.03035 0.1742 2.588 0.9994 0.2469 0.456 1 1 0.03759 0.1321 0.03299 0.266 0.935 0.2335 json
t12_x4_u4_b71 12 4 4 71 cil(lrg(P,mod(D,D))) 23131 97609691 o1(o2(x,o2(x,x))) true 14895 14895 0.4811 0.5156 0.4811 0.2408 0.4908 0 1 1 1 1.402 0.01807 0 0.02453 1 1 -4.731e-10 0.0575 0.04116 0.01747 0.1322 5.388 0.9929 0.07503 0.2387 1 1 0.009806 0.02345 0.07224 0.04071 0.09735 0.3 json
t12_x4_u4_b72 12 4 4 72 cil(lrg(P,lrg(D,D))) 23132 97609692 o1(o2(x,o2(x,x))) true 14903 14903 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.0009255 0.01214 0.0751 0.00382 0.05012 0.31 json
t12_x4_u4_b73 12 4 4 73 cil(lrg(P,eql(D,D))) 23133 97609693 o1(o2(x,o2(x,x))) true 14911 14911 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.0009255 0.01214 0.0751 0.003947 0.0518 0.3203 json
t12_x4_u4_b74 12 4 4 74 cil(lrg(P,min(D,D))) 23134 97609694 o1(o2(x,o2(x,x))) true 14919 14919 0.5 0.5625 0.5 0.2365 0.4863 0 1 1 1 1.577 0.00467 0 0.0119 1 1 -4.731e-10 0.008068 0.009787 0.004528 0.06729 5.654 0.9994 0.01975 0.03412 1 1 0.007036 0.03244 0.06598 0.02976 0.1372 0.279 json
t12_x4_u4_b75 12 4 4 75 cil(lrg(P,dot(D,D))) 23135 97609695 o1(o2(x,o2(x,x))) true 14927 14927 0.4686 0.4976 0.4686 0.2422 0.4922 0 1 1 1 1.322 0.0003573 0.000001609 0.004104 0.991 1 6.962e-7 0.00003199 0.001255 0.0003423 0.0185 4.508 0.1234 0.001482 0.0001321 1 1 0.0009358 0.01221 0.07507 0.003863 0.05039 0.3099 json
t12_x4_u4_b76 12 4 4 76 cil(lrg(P,dst(D,D))) 23136 97609696 o1(o2(x,o2(x,x))) true 14935 14935 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.0009255 0.01214 0.0751 0.00382 0.05012 0.31 json
t12_x4_u4_b77 12 4 4 77 cil(eql(P,add(D,D))) 23137 97609697 o1(o2(x,o2(x,x))) true 14943 14943 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_u4_b78 12 4 4 78 cil(eql(P,sub(D,D))) 23138 97609698 o1(o2(x,o2(x,x))) true 14951 14951 0.0625 0.125 0.0625 0.04507 0.2123 0 0.9997 0.9997 1 0.8126 0.0007059 0 0.007934 1 1 -9.461e-10 0.00003241 0.001855 0.0006433 0.02536 3.197 0.1169 0.01566 0.0007193 1 1 0.001851 0.02408 0.06598 0.04107 0.5344 1.464 json
t12_x4_u4_b79 12 4 4 79 cil(eql(P,mlt(D,D))) 23139 97609699 o1(o2(x,o2(x,x))) true 14959 14959 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_u4_b80 12 4 4 80 cil(eql(P,div(D,D))) 23140 97609700 o1(o2(x,o2(x,x))) true 14967 14967 0.0625 0.125 0.0625 0.04507 0.2123 0 0.9997 0.9997 1 0.8126 0.0007059 0 0.007934 1 1 -9.461e-10 0.00003241 0.001855 0.0006433 0.02536 3.197 0.1169 0.01566 0.0007193 1 1 0.001851 0.02408 0.06598 0.04107 0.5344 1.464 json
t12_x4_u4_b81 12 4 4 81 cil(eql(P,pow(D,D))) 23141 97609701 o1(o2(x,o2(x,x))) true 14975 14975 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_u4_b82 12 4 4 82 cil(eql(P,mod(D,D))) 23142 97609702 o1(o2(x,o2(x,x))) true 14983 14983 0.03789 0.09375 0.03789 0.02718 0.1649 0 0.9997 0.9997 1 0.5743 0.03542 0 0.04401 1 1 0 0.1149 0.08143 0.03349 0.183 4.159 0.9997 1.303 4.226 1 1 0.01778 0.02277 0.03854 0.6541 0.8376 1.418 json
t12_x4_u4_b83 12 4 4 83 cil(eql(P,lrg(D,D))) 23143 97609703 o1(o2(x,o2(x,x))) true 14991 14991 0.0625 0.125 0.0625 0.04507 0.2123 0 0.9997 0.9997 1 0.8126 0.0007059 0 0.007934 1 1 -9.461e-10 0.00003241 0.001855 0.0006433 0.02536 3.197 0.1169 0.01566 0.0007193 1 1 0.001851 0.02408 0.06598 0.04107 0.5344 1.464 json
t12_x4_u4_b84 12 4 4 84 cil(eql(P,eql(D,D))) 23144 97609704 o1(o2(x,o2(x,x))) true 14999 14999 0.0625 0.125 0.0625 0.04507 0.2123 0 0.9997 0.9997 1 0.8126 0.0007059 0 0.007934 1 1 -9.461e-10 0.00003241 0.001855 0.0006433 0.02536 3.197 0.1169 0.01566 0.0007193 1 1 0.001851 0.02408 0.06598 0.04107 0.5344 1.464 json
t12_x4_u4_b85 12 4 4 85 cil(eql(P,min(D,D))) 23145 97609705 o1(o2(x,o2(x,x))) true 15007 15007 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_u4_b86 12 4 4 86 cil(eql(P,dot(D,D))) 23146 97609706 o1(o2(x,o2(x,x))) true 15015 15015 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_u4_b87 12 4 4 87 cil(eql(P,dst(D,D))) 23147 97609707 o1(o2(x,o2(x,x))) true 15023 15023 0.0625 0.125 0.0625 0.04507 0.2123 0 0.9997 0.9997 1 0.8126 0.0007059 0 0.007934 1 1 -9.461e-10 0.00003241 0.001855 0.0006433 0.02536 3.197 0.1169 0.01566 0.0007193 1 1 0.001851 0.02408 0.06598 0.04107 0.5344 1.464 json
t12_x4_u4_b88 12 4 4 88 cil(min(P,add(D,D))) 23148 97609708 o1(o2(x,o2(x,x))) true 15031 15031 -0.2646 0.4375 0.6924 0.5628 0.7502 -1 0.9994 1.999 1 2.999 0.05234 0 0.102 1 1 -0.0001797 0.1101 0.1275 0.04195 0.2048 2.008 0.9994 0.093 0.1957 1 1 0.0499 0.07291 0.1385 0.08866 0.1296 0.2461 json
t12_x4_u4_b89 12 4 4 89 cil(min(P,sub(D,D))) 23149 97609709 o1(o2(x,o2(x,x))) true 15039 15039 -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.0009255 0.01214 0.0751 0.00382 0.05012 0.31 json
t12_x4_u4_b90 12 4 4 90 cil(min(P,mlt(D,D))) 23150 97609710 o1(o2(x,o2(x,x))) true 15047 15047 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_u4_b91 12 4 4 91 cil(min(P,div(D,D))) 23151 97609711 o1(o2(x,o2(x,x))) true 15055 15055 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_u4_b92 12 4 4 92 cil(min(P,pow(D,D))) 23152 97609712 o1(o2(x,o2(x,x))) true 15063 15063 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_u4_b93 12 4 4 93 cil(min(P,mod(D,D))) 23153 97609713 o1(o2(x,o2(x,x))) true 15071 15071 -0.3826 0.1094 0.5549 0.3868 0.622 -1 0.9929 1.993 1 2.004 0.1244 0 0.1479 1 1 4.731e-10 0.4024 0.2826 0.1025 0.3202 2.165 0.9929 0.3215 1.04 1 1 0.04533 0.08681 0.1025 0.1172 0.2244 0.2651 json
t12_x4_u4_b94 12 4 4 94 cil(min(P,lrg(D,D))) 23154 97609714 o1(o2(x,o2(x,x))) true 15079 15079 -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.0009255 0.01214 0.0751 0.00382 0.05012 0.31 json
t12_x4_u4_b95 12 4 4 95 cil(min(P,eql(D,D))) 23155 97609715 o1(o2(x,o2(x,x))) true 15087 15087 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_u4_b96 12 4 4 96 cil(min(P,min(D,D))) 23156 97609716 o1(o2(x,o2(x,x))) true 15095 15095 -0.25 0.4375 0.6875 0.5709 0.7556 -1 0.9997 2 1 3.025 0.03057 0 0.05947 1 1 -0.00008984 0.05632 0.06286 0.02704 0.1644 2.765 0.9997 0.05354 0.09866 1 1 0.03411 0.1283 0.1411 0.05974 0.2247 0.2471 json
t12_x4_u4_b97 12 4 4 97 cil(min(P,dot(D,D))) 23157 97609717 o1(o2(x,o2(x,x))) true 15103 15103 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_u4_b98 12 4 4 98 cil(min(P,dst(D,D))) 23158 97609718 o1(o2(x,o2(x,x))) true 15111 15111 -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.0009255 0.01214 0.0751 0.00382 0.05012 0.31 json
t12_x4_u4_b99 12 4 4 99 cil(dot(P,add(D,D))) 23159 97609719 o1(o2(x,o2(x,x))) true 15119 15119 -0.05235 0.4727 0.7263 0.6427 0.8017 -1 1 2 1 3.895 0.1163 0.1163 0.3231 -0.000009452 1 0.003055 0.6162 0.5193 0.1282 0.358 1.108 2.046 0.3618 0.9588 1 1 0.2347 1.078 0.1535 0.3652 1.678 0.2389 json
t12_x4_u4_b100 12 4 4 100 cil(dot(P,sub(D,D))) 23160 97609720 o1(o2(x,o2(x,x))) true 15127 15127 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_u4_b101 12 4 4 101 cil(dot(P,mlt(D,D))) 23161 97609721 o1(o2(x,o2(x,x))) true 15135 15135 0.3333 0.577 0.6572 0.4823 0.6945 -1 1 2 1 3.354 0.04278 0.04278 0.1398 -0.000004224 1 0.0003323 0.2612 0.2354 0.06601 0.2569 1.838 1.576 0.1774 0.5416 1 1 0.0823 0.2421 0.1097 0.1706 0.502 0.2275 json
t12_x4_u4_b102 12 4 4 102 cil(dot(P,div(D,D))) 23162 97609722 o1(o2(x,o2(x,x))) true 15143 15143 -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_u4_b103 12 4 4 103 cil(dot(P,pow(D,D))) 23163 97609723 o1(o2(x,o2(x,x))) true 15151 15151 -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_u4_b104 12 4 4 104 cil(dot(P,mod(D,D))) 23164 97609724 o1(o2(x,o2(x,x))) true 15159 15159 -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_u4_b105 12 4 4 105 cil(dot(P,lrg(D,D))) 23165 97609725 o1(o2(x,o2(x,x))) true 15167 15167 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_u4_b106 12 4 4 106 cil(dot(P,eql(D,D))) 23166 97609726 o1(o2(x,o2(x,x))) true 15175 15175 -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.003512 0.04405 0.4161 0.003811 0.04779 0.4514 json
t12_x4_u4_b107 12 4 4 107 cil(dot(P,min(D,D))) 23167 97609727 o1(o2(x,o2(x,x))) true 15183 15183 0.1641 0.6101 0.5266 0.3739 0.6115 -1 1 2 1 4.671 0.08665 0.08665 0.3169 7.738e-7 1 0.004905 0.5924 0.5574 0.07287 0.2699 0.8518 1.413 0.4635 1.584 1 1 0.1468 0.5333 0.1122 0.3926 1.426 0.2999 json
t12_x4_u4_b108 12 4 4 108 cil(dot(P,dot(D,D))) 23168 97609728 o1(o2(x,o2(x,x))) true 15191 15191 0.2329 0.5291 0.7095 0.6043 0.7774 -1 1 2 1 3.131 0.008008 0.008008 0.05792 5.815e-7 1 0.0005112 0.03608 0.07229 0.01266 0.1125 1.943 0.948 0.0265 0.0597 1 1 0.01919 0.09085 0.1749 0.03176 0.1503 0.2893 json
t12_x4_u4_b109 12 4 4 109 cil(dot(P,dst(D,D))) 23169 97609729 o1(o2(x,o2(x,x))) true 15199 15199 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_u4_b110 12 4 4 110 cil(dst(P,add(D,D))) 23170 97609730 o1(o2(x,o2(x,x))) true 15207 15207 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_u4_b111 12 4 4 111 cil(dst(P,sub(D,D))) 23171 97609731 o1(o2(x,o2(x,x))) true 15215 15215 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.0003021 0.00348 0.008043 0.1369 1.578 3.646 json
t12_x4_u4_b112 12 4 4 112 cil(dst(P,mlt(D,D))) 23172 97609732 o1(o2(x,o2(x,x))) true 15223 15223 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_u4_b113 12 4 4 113 cil(dst(P,div(D,D))) 23173 97609733 o1(o2(x,o2(x,x))) true 15231 15231 -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_u4_b114 12 4 4 114 cil(dst(P,pow(D,D))) 23174 97609734 o1(o2(x,o2(x,x))) true 15239 15239 -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_u4_b115 12 4 4 115 cil(dst(P,mod(D,D))) 23175 97609735 o1(o2(x,o2(x,x))) true 15247 15247 -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_u4_b116 12 4 4 116 cil(dst(P,lrg(D,D))) 23176 97609736 o1(o2(x,o2(x,x))) true 15255 15255 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.0003021 0.00348 0.008043 0.1369 1.578 3.646 json
t12_x4_u4_b117 12 4 4 117 cil(dst(P,eql(D,D))) 23177 97609737 o1(o2(x,o2(x,x))) true 15263 15263 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_u4_b118 12 4 4 118 cil(dst(P,min(D,D))) 23178 97609738 o1(o2(x,o2(x,x))) true 15271 15271 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_u4_b119 12 4 4 119 cil(dst(P,dot(D,D))) 23179 97609739 o1(o2(x,o2(x,x))) true 15279 15279 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_u4_b120 12 4 4 120 cil(dst(P,dst(D,D))) 23180 97609740 o1(o2(x,o2(x,x))) true 15287 15287 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.0003021 0.00348 0.008043 0.1369 1.578 3.646 json
t12_x4_u5_b0 12 4 5 0 sgn(add(P,add(D,D))) 23181 97609821 o1(o2(x,o2(x,x))) true 15295 15295 0 0.5 0.9806 0.9729 0.9864 -1 1 2 1 1.329 0.02324 0 0.02195 1 1 0 0.04817 0.03348 0.02276 0.1509 6.875 1.999 0.02389 0.04951 1 1 0.0297 0.04857 0.3004 0.03053 0.04992 0.3087 json
t12_x4_u5_b1 12 4 5 1 sgn(add(P,sub(D,D))) 23182 97609822 o1(o2(x,o2(x,x))) true 15303 15303 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_u5_b2 12 4 5 2 sgn(add(P,mlt(D,D))) 23183 97609823 o1(o2(x,o2(x,x))) true 15311 15311 0.0625 0.5313 0.9806 0.969 0.9844 -1 1 2 1 1.326 0.001412 0 0.007937 1 1 0 0.00006477 0.001855 0.001349 0.03673 4.628 0.2338 0.001457 0.00006684 1 1 0.003702 0.04857 0.3004 0.00382 0.05012 0.31 json
t12_x4_u5_b3 12 4 5 3 sgn(add(P,div(D,D))) 23184 97609824 o1(o2(x,o2(x,x))) true 15319 15319 0.1292 0.5586 0.9727 0.9479 0.9736 -1 1 2 1 1.365 0.1184 0 0.07896 1 1 2.838e-9 0.3822 0.1504 0.1123 0.3351 4.244 1.986 0.1249 0.4032 1 1 0.06068 0.07628 0.2899 0.06401 0.08046 0.3058 json
t12_x4_u5_b4 12 4 5 4 sgn(add(P,pow(D,D))) 23185 97609825 o1(o2(x,o2(x,x))) true 15327 15327 -0.5 0.25 0.8444 0.5335 0.7304 -1 0.9994 1.999 1 2.329 0.1381 0 0.1269 1 1 -0.0001797 0.2574 0.1416 0.122 0.3493 2.753 1.999 0.2589 0.4825 1 1 0.1572 0.5458 0.132 0.2946 1.023 0.2473 json
t12_x4_u5_b5 12 4 5 5 sgn(add(P,mod(D,D))) 23186 97609826 o1(o2(x,o2(x,x))) true 15335 15335 0 0.5 0.9621 0.9528 0.9761 -1 1 2 1 1.574 0.03542 0 0.04401 1 1 0 0.1149 0.08143 0.03349 0.183 4.158 0.9997 0.03717 0.1205 1 1 0.01779 0.0469 0.2733 0.01867 0.04922 0.2868 json
t12_x4_u5_b6 12 4 5 6 sgn(add(P,lrg(D,D))) 23187 97609827 o1(o2(x,o2(x,x))) true 15343 15343 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_u5_b7 12 4 5 7 sgn(add(P,eql(D,D))) 23188 97609828 o1(o2(x,o2(x,x))) true 15351 15351 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_u5_b8 12 4 5 8 sgn(add(P,min(D,D))) 23189 97609829 o1(o2(x,o2(x,x))) true 15359 15359 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_u5_b9 12 4 5 9 sgn(add(P,dot(D,D))) 23190 97609830 o1(o2(x,o2(x,x))) true 15367 15367 0.0628 0.5313 0.9806 0.9689 0.9843 -1 1 2 1 1.332 0.001429 0.000006437 0.008219 0.991 1 -0.000001393 0.000128 0.00251 0.001369 0.037 4.501 0.2462 0.001482 0.0001321 1 1 0.003743 0.04883 0.3003 0.003863 0.05039 0.3099 json
t12_x4_u5_b10 12 4 5 10 sgn(add(P,dst(D,D))) 23191 97609831 o1(o2(x,o2(x,x))) true 15375 15375 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_u5_b11 12 4 5 11 sgn(sub(P,add(D,D))) 23192 97609832 o1(o2(x,o2(x,x))) true 15383 15383 0 0.5 0.9417 0.9188 0.9585 -1 1 2 1 1.793 0.02606 0 0.03782 1 1 0 0.0483 0.03719 0.02463 0.157 4.15 1.999 0.02837 0.05257 1 1 0.03711 0.1457 0.2639 0.04039 0.1586 0.2873 json
t12_x4_u5_b12 12 4 5 12 sgn(sub(P,sub(D,D))) 23193 97609833 o1(o2(x,o2(x,x))) true 15391 15391 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_u5_b13 12 4 5 13 sgn(sub(P,mlt(D,D))) 23194 97609834 o1(o2(x,o2(x,x))) true 15399 15399 -0.0625 0.4688 0.9806 0.969 0.9844 -1 1 2 1 1.326 0.001412 0 0.007937 1 1 0 0.00006477 0.001855 0.001349 0.03673 4.628 0.2338 0.001457 0.00006684 1 1 0.003702 0.04857 0.3004 0.00382 0.05012 0.31 json
t12_x4_u5_b14 12 4 5 14 sgn(sub(P,div(D,D))) 23195 97609835 o1(o2(x,o2(x,x))) true 15407 15407 -0.1292 0.4414 0.9727 0.9479 0.9736 -1 1 2 1 1.365 0.1184 0 0.07896 1 1 -2.836e-9 0.3822 0.1504 0.1123 0.3351 4.244 1.986 0.1249 0.4032 1 1 0.06068 0.07628 0.2899 0.06401 0.08046 0.3058 json
t12_x4_u5_b15 12 4 5 15 sgn(sub(P,pow(D,D))) 23196 97609836 o1(o2(x,o2(x,x))) true 15415 15415 -0.5625 0.2188 0.8639 0.4942 0.703 -1 0.9994 1.999 1 2.124 0.1209 0 0.111 1 1 -0.0001797 0.2252 0.1239 0.1085 0.3294 2.967 1.999 0.2446 0.4558 1 1 0.1327 0.4646 0.132 0.2686 0.9402 0.267 json
t12_x4_u5_b16 12 4 5 16 sgn(sub(P,mod(D,D))) 23197 97609837 o1(o2(x,o2(x,x))) true 15423 15423 0 0.5 0.9488 0.9359 0.9674 -1 1 2 1 1.754 0.03686 0 0.04664 1 1 0 0.1151 0.0813 0.0347 0.1863 3.994 1.016 0.03939 0.123 1 1 0.02144 0.07102 0.2504 0.02291 0.07588 0.2676 json
t12_x4_u5_b17 12 4 5 17 sgn(sub(P,lrg(D,D))) 23198 97609838 o1(o2(x,o2(x,x))) true 15431 15431 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_u5_b18 12 4 5 18 sgn(sub(P,eql(D,D))) 23199 97609839 o1(o2(x,o2(x,x))) true 15439 15439 -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