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_x10_u3_b79 12 10 3 79 flr(eql(D,mlt(P,D))) 28100 97851904 o1(o2(x,o2(x,x))) true 54647 54647 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_x10_u3_b80 12 10 3 80 flr(eql(D,div(P,D))) 28101 97851905 o1(o2(x,o2(x,x))) true 54655 54655 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_x10_u3_b81 12 10 3 81 flr(eql(D,pow(P,D))) 28102 97851906 o1(o2(x,o2(x,x))) true 54663 54663 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_x10_u3_b82 12 10 3 82 flr(eql(D,mod(P,D))) 28103 97851907 o1(o2(x,o2(x,x))) true 54671 54671 0.02275 0.02344 0.02275 0.02158 0.1469 0 0.9929 0.9929 1 0.1819 0.04493 0 0.04623 1 1 0 0.1348 0.09246 0.04282 0.2069 4.476 0.9929 2.082 6.247 1 1 0.01038 0.01297 0.01523 0.4809 0.6012 0.7059 json
t12_x10_u3_b83 12 10 3 83 flr(eql(D,lrg(P,D))) 28104 97851908 o1(o2(x,o2(x,x))) true 54679 54679 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_x10_u3_b84 12 10 3 84 flr(eql(D,eql(P,D))) 28105 97851909 o1(o2(x,o2(x,x))) true 54687 54687 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_x10_u3_b85 12 10 3 85 flr(eql(D,min(P,D))) 28106 97851910 o1(o2(x,o2(x,x))) true 54695 54695 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_x10_u3_b86 12 10 3 86 flr(eql(D,dot(P,D))) 28107 97851911 o1(o2(x,o2(x,x))) true 54703 54703 0.01216 0.03226 0.01216 0.008676 0.09314 0 0.9994 0.9994 1 0.2336 0.01281 0.01279 0.02743 0.0009992 1 -0.000005323 0.1439 0.06608 0.02484 0.1576 5.745 1.413 2.951 16.59 1 1 0.01535 0.01846 0.02309 1.769 2.128 2.661 json
t12_x10_u3_b87 12 10 3 87 flr(eql(D,dst(P,D))) 28108 97851912 o1(o2(x,o2(x,x))) true 54711 54711 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_x10_u3_b88 12 10 3 88 flr(min(D,add(P,D))) 28109 97851913 o1(o2(x,o2(x,x))) true 54719 54719 -0.75 0 0.75 0.1334 0.3652 -1 -0.000291 0.9997 1 2.329 0.03453 0 0.06344 1 1 -0.00008984 0.06436 0.07079 0.03051 0.1747 2.753 0.9997 0.2589 0.4825 1 1 0.03929 0.1364 0.03299 0.2946 1.023 0.2473 json
t12_x10_u3_b89 12 10 3 89 flr(min(D,sub(P,D))) 28110 97851914 o1(o2(x,o2(x,x))) true 54727 54727 -0.7813 0 0.7813 0.1235 0.3515 -1 -0.000291 0.9997 1 2.124 0.03022 0 0.0555 1 1 -0.00008984 0.05631 0.06193 0.02713 0.1647 2.967 0.9997 0.2446 0.4558 1 1 0.03318 0.1162 0.03299 0.2686 0.9402 0.267 json
t12_x10_u3_b90 12 10 3 90 flr(min(D,mlt(P,D))) 28111 97851915 o1(o2(x,o2(x,x))) true 54735 54735 -0.8448 0 0.8448 0.09773 0.3126 -1 -0.000291 0.9997 1 1.682 0.03868 0 0.06821 1 1 0.00002828 0.07039 0.09011 0.03402 0.1844 2.704 0.9997 0.3958 0.7202 1 1 0.04374 0.115 0.03492 0.4475 1.177 0.3573 json
t12_x10_u3_b91 12 10 3 91 flr(min(D,div(P,D))) 28112 97851916 o1(o2(x,o2(x,x))) true 54743 54743 -0.8847 0 0.8847 0.08428 0.2903 -1 -0.0005821 0.9994 1 1.107 0.04114 0 0.06339 1 1 7.096e-10 0.07157 0.08945 0.03711 0.1927 3.039 0.9994 0.4881 0.8491 1 1 0.04847 0.1122 0.02478 0.5751 1.332 0.294 json
t12_x10_u3_b92 12 10 3 92 flr(min(D,pow(P,D))) 28113 97851917 o1(o2(x,o2(x,x))) true 54751 54751 -0.5 0 0.5 0.1418 0.3765 -0.9997 -0.000291 0.9994 1 3.406 0.06511 0 0.1228 1 1 0 0.1208 0.1337 0.05001 0.2236 1.821 0.9994 0.4593 0.8522 1 1 0.07073 0.2419 0 0.4989 1.706 0 json
t12_x10_u3_b93 12 10 3 93 flr(min(D,mod(P,D))) 28114 97851918 o1(o2(x,o2(x,x))) true 54759 54759 -0.715 0 0.715 0.1495 0.3867 -1 -0.000291 0.9997 1 2.413 0.09754 0 0.1267 1 1 -0.00008985 0.261 0.1973 0.08149 0.2855 2.254 0.9997 0.6524 1.746 1 1 0.06545 0.1677 0.03021 0.4377 1.122 0.202 json
t12_x10_u3_b94 12 10 3 94 flr(min(D,lrg(P,D))) 28115 97851919 o1(o2(x,o2(x,x))) true 54767 54767 -0.5 0 0.5 0.1418 0.3765 -0.9997 -0.000291 0.9994 1 3.406 0.06511 0 0.1228 1 1 0 0.1208 0.1337 0.05001 0.2236 1.821 0.9994 0.4593 0.8522 1 1 0.07073 0.2419 0 0.4989 1.706 0 json
t12_x10_u3_b95 12 10 3 95 flr(min(D,eql(P,D))) 28116 97851920 o1(o2(x,o2(x,x))) true 54775 54775 -0.5 0 0.5 0.1418 0.3765 -0.9997 -0.000291 0.9994 1 3.406 0.06511 0 0.1228 1 1 0 0.1208 0.1337 0.05001 0.2236 1.821 0.9994 0.4593 0.8522 1 1 0.07073 0.2419 0 0.4989 1.706 0 json
t12_x10_u3_b96 12 10 3 96 flr(min(D,min(P,D))) 28117 97851921 o1(o2(x,o2(x,x))) true 54783 54783 -0.75 0 0.75 0.1334 0.3652 -1 -0.000291 0.9997 1 2.329 0.03453 0 0.06344 1 1 -0.00008984 0.06436 0.07079 0.03051 0.1747 2.753 0.9997 0.2589 0.4825 1 1 0.03929 0.1364 0.03299 0.2946 1.023 0.2473 json
t12_x10_u3_b97 12 10 3 97 flr(min(D,dot(P,D))) 28118 97851922 o1(o2(x,o2(x,x))) true 54791 54791 -0.919 0 0.919 0.04756 0.2181 -1 -0.0005821 0.9994 1 1.257 0.02488 0.01436 0.07021 0.268 1 0.0002988 0.1144 0.1145 0.0343 0.1852 2.638 1.413 0.825 2.405 1 1 0.04161 0.09782 0.02506 0.8748 2.057 0.5269 json
t12_x10_u3_b98 12 10 3 98 flr(min(D,dst(P,D))) 28119 97851923 o1(o2(x,o2(x,x))) true 54799 54799 -0.5 0 0.5 0.1418 0.3765 -0.9997 -0.000291 0.9994 1 3.406 0.06511 0 0.1228 1 1 0 0.1208 0.1337 0.05001 0.2236 1.821 0.9994 0.4593 0.8522 1 1 0.07073 0.2419 0 0.4989 1.706 0 json
t12_x10_u3_b99 12 10 3 99 flr(dot(D,add(P,D))) 28120 97851924 o1(o2(x,o2(x,x))) true 54807 54807 -0.4396 0.1996 0.6049 0.2982 0.5461 -1 1 2 1 4.195 0.07766 0.07767 0.2849 -0.000003741 1 0.001257 0.5406 0.5089 0.07417 0.2724 0.9561 1.413 0.5209 1.813 1 1 0.1236 0.4412 0.09626 0.4145 1.479 0.3228 json
t12_x10_u3_b100 12 10 3 100 flr(dot(D,sub(P,D))) 28121 97851925 o1(o2(x,o2(x,x))) true 54815 54815 -0.715 0.07635 0.7729 0.1908 0.4368 -1 1 2 1 2.887 0.06543 0.06543 0.2182 2.847e-7 1 0.0006542 0.4766 0.4022 0.08325 0.2885 1.322 1.412 0.6859 2.498 1 1 0.09519 0.2803 0.07159 0.4989 1.469 0.3752 json
t12_x10_u3_b101 12 10 3 101 flr(dot(D,mlt(P,D))) 28122 97851926 o1(o2(x,o2(x,x))) true 54823 54823 -0.3333 0.404 0.6572 0.482 0.6943 -1 1 2 1 3.334 0.04279 0.04279 0.1401 0.000002133 1 -0.0003323 0.2612 0.2354 0.06595 0.2568 1.833 1.545 0.1775 0.5419 1 1 0.08234 0.2592 0.117 0.1708 0.5378 0.2427 json
t12_x10_u3_b102 12 10 3 102 flr(dot(D,div(P,D))) 28123 97851927 o1(o2(x,o2(x,x))) true 54831 54831 -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_x10_u3_b103 12 10 3 103 flr(dot(D,pow(P,D))) 28124 97851928 o1(o2(x,o2(x,x))) true 54839 54839 -0.8165 0.05237 0.8422 0.1397 0.3737 -1 0.7011 1.701 1 1.806 0.01283 0.01283 0.05075 -0.000002286 1 -0.0001479 0.07989 0.0784 0.02309 0.152 2.994 1.414 0.1838 0.572 1 1 0.02462 0.07252 0.0451 0.1763 0.5192 0.3229 json
t12_x10_u3_b104 12 10 3 104 flr(dot(D,mod(P,D))) 28125 97851929 o1(o2(x,o2(x,x))) true 54847 54847 -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_x10_u3_b105 12 10 3 105 flr(dot(D,lrg(P,D))) 28126 97851930 o1(o2(x,o2(x,x))) true 54855 54855 -0.4164 0 0.4164 0.1465 0.3828 -1 0 1 1 3.658 0.0312 0.0312 0.1102 0.000001373 1 0.00004122 0.1798 0.1378 0.05024 0.2241 2.034 1.414 0.4259 1.227 1 1 0.06579 0.2101 0.04676 0.449 1.434 0.3192 json
t12_x10_u3_b106 12 10 3 106 flr(dot(D,eql(P,D))) 28127 97851931 o1(o2(x,o2(x,x))) true 54863 54863 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_x10_u3_b107 12 10 3 107 flr(dot(D,min(P,D))) 28128 97851932 o1(o2(x,o2(x,x))) true 54871 54871 -0.3729 0.224 0.44 0.2216 0.4707 -1 1 2 1 3.688 0.04557 0.04557 0.1728 0.000001185 1 0.0003458 0.268 0.29 0.06128 0.2475 1.433 1.409 0.4113 1.209 1 1 0.07183 0.2266 0.06286 0.3242 1.023 0.2837 json
t12_x10_u3_b108 12 10 3 108 flr(dot(D,dot(P,D))) 28129 97851933 o1(o2(x,o2(x,x))) true 54879 54879 -0.3091 0.3804 0.6497 0.4826 0.6947 -1 1 2 1 3.664 0.06843 0.06842 0.1932 0.000001633 1 -0.000191 0.4999 0.372 0.09953 0.3155 1.633 1.517 0.2836 1.036 1 1 0.1258 0.337 0.1167 0.2607 0.6984 0.2419 json
t12_x10_u3_b109 12 10 3 109 flr(dot(D,dst(P,D))) 28130 97851934 o1(o2(x,o2(x,x))) true 54887 54887 -0.3096 0.2863 0.6473 0.4491 0.6701 -1 1 2 1 4.192 0.1137 0.1137 0.3403 -0.000001245 1 -0.0005721 0.9746 0.6904 0.1117 0.3341 0.9818 1.439 0.5066 2.17 1 1 0.1816 0.6512 0.07661 0.4043 1.45 0.1706 json
t12_x10_u3_b110 12 10 3 110 flr(dst(D,add(P,D))) 28131 97851935 o1(o2(x,o2(x,x))) true 54895 54895 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.0002443 0.003178 0.008708 0.1025 1.334 3.654 json
t12_x10_u3_b111 12 10 3 111 flr(dst(D,sub(P,D))) 28132 97851936 o1(o2(x,o2(x,x))) true 54903 54903 0.9953 1 0.9953 0.00325 0.05701 0.001164 1 0.9988 1 0.1019 0.0006987 0.0006987 0.002903 -2.499e-7 1 -4.881e-11 0.00367 0.00393 0.001388 0.03726 12.84 1.329 0.4299 1.129 1 1 0.002835 0.01 0.01189 0.8723 3.078 3.659 json
t12_x10_u3_b112 12 10 3 112 flr(dst(D,mlt(P,D))) 28133 97851937 o1(o2(x,o2(x,x))) true 54911 54911 0.7172 0.9769 0.7172 0.174 0.4172 0 1 1 1 1.716 0.03667 0.03667 0.1025 0.00001128 1 -0.006455 0.1775 0.1844 0.06284 0.2507 2.447 1.351 0.4215 1.02 1 1 0.0798 0.2632 0.1066 0.4586 1.513 0.6128 json
t12_x10_u3_b113 12 10 3 113 flr(dst(D,div(P,D))) 28134 97851938 o1(o2(x,o2(x,x))) true 54919 54919 -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_x10_u3_b114 12 10 3 114 flr(dst(D,pow(P,D))) 28135 97851939 o1(o2(x,o2(x,x))) true 54927 54927 -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.02105 0.08421 0.3368 0.02807 0.1123 0.4491 json
t12_x10_u3_b115 12 10 3 115 flr(dst(D,mod(P,D))) 28136 97851940 o1(o2(x,o2(x,x))) true 54935 54935 -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_x10_u3_b116 12 10 3 116 flr(dst(D,lrg(P,D))) 28137 97851941 o1(o2(x,o2(x,x))) true 54943 54943 0.5472 0.9133 0.5472 0.1718 0.4144 0 1 1 1 3.071 0.02057 0.02057 0.08924 -0.000001132 1 0.00007041 0.1084 0.1161 0.03317 0.1821 2.041 1.26 0.2395 0.6312 1 1 0.04504 0.1604 0.05431 0.2622 0.9341 0.3162 json
t12_x10_u3_b117 12 10 3 117 flr(dst(D,eql(P,D))) 28138 97851942 o1(o2(x,o2(x,x))) true 54951 54951 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_x10_u3_b118 12 10 3 118 flr(dst(D,min(P,D))) 28139 97851943 o1(o2(x,o2(x,x))) true 54959 54959 0.6954 0.7506 0.6954 0.2004 0.4477 0 1 1 1 1.373 0.002589 0.002589 0.01277 -0.000002518 1 4.121e-9 0.008761 0.01167 0.005013 0.0708 5.543 1.319 0.02583 0.04372 1 1 0.008196 0.03227 0.07788 0.0409 0.161 0.3886 json
t12_x10_u3_b119 12 10 3 119 flr(dst(D,dot(P,D))) 28140 97851944 o1(o2(x,o2(x,x))) true 54967 54967 0.8501 0.9995 0.8501 0.1018 0.319 8.471e-8 1 1 1 1.431 0.03455 0.03455 0.09683 0.000002103 1 -0.001611 0.2019 0.1772 0.05969 0.2443 2.523 1.409 0.679 1.984 1 1 0.07852 0.2011 0.07929 0.7716 1.976 0.7792 json
t12_x10_u3_b120 12 10 3 120 flr(dst(D,dst(P,D))) 28141 97851945 o1(o2(x,o2(x,x))) true 54975 54975 0.9986 1 0.9986 0.0009895 0.03146 0.001164 1 0.9988 1 0.03123 0.0000782 0.0000782 0.000553 0 1 3.004e-11 0.0002422 0.0005928 0.000156 0.01249 22.58 0.8276 0.1581 0.2447 1 1 0.0004137 0.002853 0.003603 0.4181 2.883 3.641 json
t12_x10_u4_b0 12 10 4 0 cil(add(D,add(P,D))) 28142 97852026 o1(o2(x,o2(x,x))) true 54983 54983 0.0625 0.5313 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_x10_u4_b1 12 10 4 1 cil(add(D,sub(P,D))) 28143 97852027 o1(o2(x,o2(x,x))) true 54991 54991 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_x10_u4_b2 12 10 4 2 cil(add(D,mlt(P,D))) 28144 97852028 o1(o2(x,o2(x,x))) true 54999 54999 0.2965 0.6914 0.4525 0.2674 0.5171 -0.9701 1 1.97 1 3.772 0.1265 0 0.2327 1 1 0.006561 0.2784 0.3611 0.07241 0.2691 1.157 0.9994 0.4732 1.041 1 1 0.1029 0.3389 0.07848 0.385 1.267 0.2935 json
t12_x10_u4_b3 12 10 4 3 cil(add(D,div(P,D))) 28145 97852029 o1(o2(x,o2(x,x))) true 55007 55007 -0.06442 0.457 0.9382 0.9221 0.9603 -1 1 2 1 1.68 0.4084 0 0.2381 1 1 -3.754e-12 0.7713 0.425 0.3517 0.593 2.491 2 0.4429 0.8365 1 1 0.4139 1.735 0.2546 0.4489 1.881 0.2761 json
t12_x10_u4_b4 12 10 4 4 cil(add(D,pow(P,D))) 28146 97852030 o1(o2(x,o2(x,x))) true 55015 55015 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_x10_u4_b5 12 10 4 5 cil(add(D,mod(P,D))) 28147 97852031 o1(o2(x,o2(x,x))) true 55023 55023 0.4838 0.9883 0.4844 0.1341 0.3662 -0.07333 0.9997 1.073 1 3.57 0.09287 0 0.1602 1 1 8.515e-9 0.2235 0.223 0.06719 0.2592 1.618 1.044 0.6925 1.667 1 1 0.07343 0.2129 0.01128 0.5476 1.587 0.08415 json
t12_x10_u4_b6 12 10 4 6 cil(add(D,lrg(P,D))) 28148 97852032 o1(o2(x,o2(x,x))) true 55031 55031 0.7813 1 0.7813 0.1235 0.3515 0.000291 1 0.9997 1 2.124 0.03021 0 0.05541 1 1 0.00008984 0.05631 0.06193 0.02714 0.1647 2.973 0.9997 0.2446 0.4558 1 1 0.03059 0.106 0.03299 0.2476 0.858 0.267 json
t12_x10_u4_b7 12 10 4 7 cil(add(D,eql(P,D))) 28149 97852033 o1(o2(x,o2(x,x))) true 55039 55039 0.5 1 0.5 0.1418 0.3765 0.000291 0.9997 0.9994 1 3.406 0.06511 0 0.1228 1 1 0 0.1208 0.1337 0.05001 0.2236 1.821 0.9994 0.4593 0.8522 1 1 0.07073 0.2419 0 0.4989 1.706 0 json
t12_x10_u4_b8 12 10 4 8 cil(add(D,min(P,D))) 28150 97852034 o1(o2(x,o2(x,x))) true 55047 55047 -0.1972 0.5 0.6875 0.5849 0.7648 -1 0.9994 1.999 1 3.026 0.0624 0 0.116 1 1 -0.0001797 0.1321 0.1486 0.04894 0.2212 1.907 0.9997 0.1067 0.2259 1 1 0.06202 0.0784 0.1476 0.106 0.134 0.2524 json
t12_x10_u4_b9 12 10 4 9 cil(add(D,dot(P,D))) 28151 97852035 o1(o2(x,o2(x,x))) true 55055 55055 0.1631 0.6089 0.5291 0.3775 0.6144 -1 1 2 1 4.665 0.08713 0.08615 0.3163 0.005658 1 0.004824 0.5879 0.5547 0.07323 0.2706 0.8556 1.413 0.459 1.557 1 1 0.1478 0.5495 0.1103 0.3914 1.455 0.2922 json
t12_x10_u4_b10 12 10 4 10 cil(add(D,dst(P,D))) 28152 97852036 o1(o2(x,o2(x,x))) true 55063 55063 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_x10_u4_b11 12 10 4 11 cil(sub(D,add(P,D))) 28153 97852037 o1(o2(x,o2(x,x))) true 55071 55071 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_x10_u4_b12 12 10 4 12 cil(sub(D,sub(P,D))) 28154 97852038 o1(o2(x,o2(x,x))) true 55079 55079 0.0625 0.5313 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_x10_u4_b13 12 10 4 13 cil(sub(D,mlt(P,D))) 28155 97852039 o1(o2(x,o2(x,x))) true 55087 55087 0.5332 0.9023 0.5928 0.2149 0.4636 -0.7619 1 1.762 1 3.607 0.1119 0 0.2079 1 1 -0.0003958 0.2492 0.3192 0.06867 0.262 1.261 0.9991 0.5205 1.159 1 1 0.08868 0.2784 0.06874 0.4126 1.295 0.3198 json
t12_x10_u4_b14 12 10 4 14 cil(sub(D,div(P,D))) 28156 97852040 o1(o2(x,o2(x,x))) true 55095 55095 0.1612 0.5859 0.9651 0.9286 0.9637 -1 1 2 1 1.488 0.4017 0 0.2302 1 1 -7.509e-12 0.7561 0.4213 0.3486 0.5904 2.565 2 0.4326 0.8142 1 1 0.4067 1.592 0.2778 0.438 1.714 0.2991 json
t12_x10_u4_b15 12 10 4 15 cil(sub(D,pow(P,D))) 28157 97852041 o1(o2(x,o2(x,x))) true 55103 55103 -0.7314 0.03125 0.7744 0.1881 0.4337 -1 0.9994 1.999 1 2.444 0.05439 0 0.08161 1 1 0.0003594 0.1036 0.1072 0.04773 0.2185 2.677 1.999 0.2891 0.5508 1 1 0.06419 0.2104 0.1557 0.3412 1.118 0.8275 json
t12_x10_u4_b16 12 10 4 16 cil(sub(D,mod(P,D))) 28158 97852042 o1(o2(x,o2(x,x))) true 55111 55111 0.4838 0.9883 0.4839 0.1333 0.3651 -0.007124 0.9997 1.007 1 3.539 0.09156 0 0.1598 1 1 1.23e-8 0.219 0.2228 0.066 0.2569 1.607 1.007 0.6869 1.643 1 1 0.07178 0.2073 0.01352 0.5385 1.555 0.1014 json
t12_x10_u4_b17 12 10 4 17 cil(sub(D,lrg(P,D))) 28159 97852043 o1(o2(x,o2(x,x))) true 55119 55119 -1.091e-11 0.5 0.5236 0.4137 0.6432 -0.9997 0.9997 1.999 1 4.448 0.07911 0 0.1347 1 1 0 0.1451 0.1434 0.06096 0.2469 1.833 1.999 0.1912 0.3507 1 1 0.09176 0.3265 0.06598 0.2218 0.7893 0.1595 json
t12_x10_u4_b18 12 10 4 18 cil(sub(D,eql(P,D))) 28160 97852044 o1(o2(x,o2(x,x))) true 55127 55127 0.5 1 0.5 0.1418 0.3765 0.000291 0.9997 0.9994 1 3.406 0.06511 0 0.1228 1 1 0 0.1208 0.1337 0.05001 0.2236 1.821 0.9994 0.4593 0.8522 1 1 0.07073 0.2419 0 0.4989 1.706 0 json
t12_x10_u4_b19 12 10 4 19 cil(sub(D,min(P,D))) 28161 97852045 o1(o2(x,o2(x,x))) true 55135 55135 0.5097 0.5625 0.5097 0.2393 0.4892 0 1 1 1 1.461 0.004966 0 0.0119 1 1 -4.731e-10 0.008236 0.01066 0.004825 0.06946 5.838 0.9991 0.02075 0.03442 1 1 0.007711 0.02988 0.06998 0.03223 0.1249 0.2924 json
t12_x10_u4_b20 12 10 4 20 cil(sub(D,dot(P,D))) 28162 97852046 o1(o2(x,o2(x,x))) true 55143 55143 0.5845 0.8716 0.6848 0.2489 0.4989 -1 1 2 1 3.642 0.07058 0.06982 0.2516 0.005433 1 -0.0008029 0.4949 0.4508 0.07709 0.2776 1.103 1.413 0.5641 1.989 1 1 0.1091 0.3531 0.08523 0.4385 1.419 0.3425 json
t12_x10_u4_b21 12 10 4 21 cil(sub(D,dst(P,D))) 28163 97852047 o1(o2(x,o2(x,x))) true 55151 55151 -0.9941 0 0.9941 0.003856 0.06209 -1 -0.000873 0.9991 1 0.1373 0.0008328 0.0004395 0.003097 0.3091 1 1.614e-10 0.003735 0.004118 0.001262 0.03553 11.47 1.403 0.33 0.9686 1 1 0.002462 0.00873 0.01339 0.6385 2.264 3.474 json
t12_x10_u4_b22 12 10 4 22 cil(mlt(D,add(P,D))) 28164 97852048 o1(o2(x,o2(x,x))) true 55159 55159 0.4448 0.8594 0.5506 0.2475 0.4975 -0.8866 1 1.887 1 3.924 0.1269 0 0.2298 1 1 0.006499 0.2863 0.3633 0.07406 0.2721 1.184 0.9994 0.5126 1.157 1 1 0.09666 0.3047 0.07662 0.3905 1.231 0.3096 json
t12_x10_u4_b23 12 10 4 23 cil(mlt(D,sub(P,D))) 28165 97852049 o1(o2(x,o2(x,x))) true 55167 55167 0.2074 0.6406 0.438 0.2911 0.5395 -1 1 2 1 4.128 0.1456 0 0.2594 1 1 0.006622 0.3408 0.4241 0.07834 0.2799 1.079 0.9991 0.5002 1.171 1 1 0.1105 0.3727 0.0884 0.3795 1.28 0.3037 json
t12_x10_u4_b24 12 10 4 24 cil(mlt(D,mlt(P,D))) 28166 97852050 o1(o2(x,o2(x,x))) true 55175 55175 0.3649 0.5 0.5725 0.3924 0.6264 -1 1 2 1 2.894 0.01318 0 0.04908 1 1 0.0003311 0.02598 0.06115 0.01076 0.1037 2.114 0.6717 0.03358 0.06621 1 1 0.01016 0.033 0.08646 0.0259 0.0841 0.2203 json
t12_x10_u4_b25 12 10 4 25 cil(mlt(D,div(P,D))) 28167 97852051 o1(o2(x,o2(x,x))) true 55183 55183 0.02129 0.5 0.9162 0.9022 0.9499 -1 1 2 1 1.895 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_x10_u4_b26 12 10 4 26 cil(mlt(D,pow(P,D))) 28168 97852052 o1(o2(x,o2(x,x))) true 55191 55191 -0.2468 0.4375 0.7531 0.6405 0.8003 -1 1 2 1 2.669 0.03819 0 0.07266 1 1 -0.0004209 0.07538 0.09941 0.0329 0.1814 2.496 1 0.05962 0.1177 1 1 0.04 0.1122 0.1632 0.06246 0.1752 0.2548 json
t12_x10_u4_b27 12 10 4 27 cil(mlt(D,mod(P,D))) 28169 97852053 o1(o2(x,o2(x,x))) true 55199 55199 0.3752 0.8125 0.3752 0.14 0.3741 0 0.9929 0.9929 1 3.158 0.07433 0 0.1249 1 1 -0.0001797 0.1724 0.1536 0.05873 0.2423 1.941 0.9929 0.5311 1.232 1 1 0.05881 0.2058 0.06289 0.4202 1.47 0.4493 json
t12_x10_u4_b28 12 10 4 28 cil(mlt(D,lrg(P,D))) 28170 97852054 o1(o2(x,o2(x,x))) true 55207 55207 0.2188 0.4375 0.2188 0.1235 0.3515 0 0.9997 0.9997 1 2.124 0.03022 0 0.0555 1 1 -0.00008984 0.05631 0.06193 0.02713 0.1647 2.967 0.9997 0.2446 0.4558 1 1 0.03318 0.1162 0.03299 0.2686 0.9402 0.267 json
t12_x10_u4_b29 12 10 4 29 cil(mlt(D,eql(P,D))) 28171 97852055 o1(o2(x,o2(x,x))) true 55215 55215 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_x10_u4_b30 12 10 4 30 cil(mlt(D,min(P,D))) 28172 97852056 o1(o2(x,o2(x,x))) true 55223 55223 0.6488 0.9102 0.7249 0.241 0.4909 -0.8866 1 1.887 1 2.776 0.06582 0 0.126 1 1 0.003339 0.1472 0.1905 0.04995 0.2235 1.774 0.9994 0.2732 0.611 1 1 0.05706 0.1777 0.04769 0.2368 0.7374 0.1979 json
t12_x10_u4_b31 12 10 4 31 cil(mlt(D,dot(P,D))) 28173 97852057 o1(o2(x,o2(x,x))) true 55231 55231 0.3946 0.7371 0.5953 0.3418 0.5846 -1 1 2 1 4.094 0.07188 0.03445 0.183 0.352 1 0.0002162 0.3306 0.3083 0.07284 0.2699 1.475 1.464 0.3111 0.9674 1 1 0.09649 0.2414 0.091 0.2823 0.7063 0.2662 json
t12_x10_u4_b32 12 10 4 32 cil(mlt(D,dst(P,D))) 28174 97852058 o1(o2(x,o2(x,x))) true 55239 55239 0.3922 0.7735 0.6079 0.3623 0.6019 -1 1 2 1 3.865 0.1491 0.003433 0.26 0.955 1 0.002671 0.3412 0.4231 0.08498 0.2915 1.121 1.311 0.4212 0.9418 1 1 0.1215 0.4622 0.06008 0.3355 1.276 0.1658 json
t12_x10_u4_b33 12 10 4 33 cil(div(D,add(P,D))) 28175 97852059 o1(o2(x,o2(x,x))) true 55247 55247 0.4866 1 0.4866 0.1386 0.3723 0.000291 0.9997 0.9994 1 3.496 0.06267 0 0.1239 1 1 -0.0001797 0.1171 0.1359 0.04731 0.2175 1.755 0.9994 0.4522 0.8445 1 1 0.06677 0.2282 0.04372 0.4817 1.647 0.3154 json
t12_x10_u4_b34 12 10 4 34 cil(div(D,sub(P,D))) 28176 97852060 o1(o2(x,o2(x,x))) true 55255 55255 0.413 0.875 0.4888 0.2112 0.4596 -0.9997 0.9997 1.999 1 3.875 0.09726 0 0.1599 1 1 -0.0001797 0.2322 0.2152 0.07166 0.2677 1.674 1 0.4604 1.099 1 1 0.0821 0.238 0.1712 0.3887 1.127 0.8105 json
t12_x10_u4_b35 12 10 4 35 cil(div(D,mlt(P,D))) 28177 97852061 o1(o2(x,o2(x,x))) true 55263 55263 0.4186 0.5 0.5814 0.4016 0.6337 -1 1 2 1 1.593 0.06533 0 0.04581 1 1 0 0.1685 0.08833 0.06326 0.2515 5.49 2 0.1627 0.4197 1 1 0.06152 0.2238 0.2464 0.1532 0.5573 0.6135 json
t12_x10_u4_b36 12 10 4 36 cil(div(D,div(P,D))) 28178 97852062 o1(o2(x,o2(x,x))) true 55271 55271 0.4375 0.5 0.5625 0.3711 0.6092 -1 1 2 1 1.272 0.03571 0 0.01984 1 1 0 0.07143 0.03968 0.03531 0.1879 9.471 2 0.09624 0.1925 1 1 0.04737 0.1895 0.2526 0.1276 0.5106 0.6808 json
t12_x10_u4_b37 12 10 4 37 cil(div(D,pow(P,D))) 28179 97852063 o1(o2(x,o2(x,x))) true 55279 55279 -0.3904 0.4258 0.7374 0.5327 0.7299 -1 0.9994 1.999 1 2.53 0.04877 0 0.07896 1 1 -0.00008984 0.09919 0.1113 0.04255 0.2063 2.612 1.999 0.09156 0.1862 1 1 0.05164 0.1355 0.1934 0.09693 0.2544 0.363 json
t12_x10_u4_b38 12 10 4 38 cil(div(D,mod(P,D))) 28180 97852064 o1(o2(x,o2(x,x))) true 55287 55287 -0.1485 0.4219 0.8519 0.7857 0.8864 -1 1 2 1 2.569 0.8294 0 0.5471 1 1 -7.569e-9 2.282 1.028 0.5301 0.7281 1.331 2 1.056 2.905 1 1 0.4925 0.9912 0.433 0.6269 1.262 0.5511 json
t12_x10_u4_b39 12 10 4 39 cil(div(D,lrg(P,D))) 28181 97852065 o1(o2(x,o2(x,x))) true 55295 55295 -0.3438 0.4375 0.7813 0.6154 0.7845 -1 0.9997 2 1 2.479 0.04212 0 0.05947 1 1 -0.00008984 0.08017 0.06987 0.03858 0.1964 3.303 2 0.06844 0.1303 1 1 0.04893 0.1728 0.2014 0.07951 0.2807 0.3273 json
t12_x10_u4_b40 12 10 4 40 cil(div(D,eql(P,D))) 28182 97852066 o1(o2(x,o2(x,x))) true 55303 55303 -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_x10_u4_b41 12 10 4 41 cil(div(D,min(P,D))) 28183 97852067 o1(o2(x,o2(x,x))) true 55311 55311 0.625 0.9375 0.75 0.3053 0.5525 -1 1 2 1 2.617 0.06231 0 0.07525 1 1 -0.00008984 0.12 0.09461 0.05663 0.238 3.162 2 0.2041 0.3931 1 1 0.0735 0.2671 0.2856 0.2408 0.8751 0.9357 json
t12_x10_u4_b42 12 10 4 42 cil(div(D,dot(P,D))) 28184 97852068 o1(o2(x,o2(x,x))) true 55319 55319 0.4147 0.7943 0.5561 0.3005 0.5482 -1 1 2 1 3.67 0.2258 0.251 0.3294 -0.05301 1 0.0000821 2.197 0.6671 0.3683 0.6069 1.842 2.828 1.586 7.311 1 1 0.3637 0.5452 0.4199 1.21 1.814 1.397 json
t12_x10_u4_b43 12 10 4 43 cil(div(D,dst(P,D))) 28185 97852069 o1(o2(x,o2(x,x))) true 55327 55327 0.5 1 0.5 0.1416 0.3762 0.000291 0.9997 0.9994 1 3.416 0.06517 0.00002028 0.1231 0.9994 1 6.195e-11 0.1211 0.1345 0.05003 0.2237 1.817 0.9994 0.4605 0.8558 1 1 0.07079 0.2407 0.0004928 0.5001 1.7 0.003481 json
t12_x10_u4_b44 12 10 4 44 cil(pow(D,add(P,D))) 28186 97852070 o1(o2(x,o2(x,x))) true 55335 55335 -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_x10_u4_b45 12 10 4 45 cil(pow(D,sub(P,D))) 28187 97852071 o1(o2(x,o2(x,x))) true 55343 55343 -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_x10_u4_b46 12 10 4 46 cil(pow(D,mlt(P,D))) 28188 97852072 o1(o2(x,o2(x,x))) true 55351 55351 -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.04211 0.1684 0.3368 0.1796 0.7186 1.437 json
t12_x10_u4_b47 12 10 4 47 cil(pow(D,div(P,D))) 28189 97852073 o1(o2(x,o2(x,x))) true 55359 55359 -0.8828 0.05859 1 0.2206 0.4697 -1 1 2 1 0.3218 0.03175 0 0.01587 1 1 0 0.06349 0.03175 0.03149 0.1774 11.18 2 0.1439 0.2878 1 1 0.04211 0.1684 0.3158 0.1909 0.7635 1.432 json
t12_x10_u4_b48 12 10 4 48 cil(pow(D,pow(P,D))) 28190 97852074 o1(o2(x,o2(x,x))) true 55367 55367 -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_x10_u4_b49 12 10 4 49 cil(pow(D,mod(P,D))) 28191 97852075 o1(o2(x,o2(x,x))) true 55375 55375 -0.7422 0.1289 1 0.4491 0.6701 -1 1 2 1 0.5544 0.5079 0 0.254 1 1 0 1.556 0.5079 0.4434 0.6659 2.622 2 1.131 3.464 1 1 0.2421 0.4105 0.3474 0.5391 0.9141 0.7735 json
t12_x10_u4_b50 12 10 4 50 cil(pow(D,lrg(P,D))) 28192 97852076 o1(o2(x,o2(x,x))) true 55383 55383 -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.02105 0.08421 0.3368 0.02139 0.08555 0.3422 json
t12_x10_u4_b51 12 10 4 51 cil(pow(D,eql(P,D))) 28193 97852077 o1(o2(x,o2(x,x))) true 55391 55391 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_x10_u4_b52 12 10 4 52 cil(pow(D,min(P,D))) 28194 97852078 o1(o2(x,o2(x,x))) true 55399 55399 -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_x10_u4_b53 12 10 4 53 cil(pow(D,dot(P,D))) 28195 97852079 o1(o2(x,o2(x,x))) true 55407 55407 -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_x10_u4_b54 12 10 4 54 cil(pow(D,dst(P,D))) 28196 97852080 o1(o2(x,o2(x,x))) true 55415 55415 -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_x10_u4_b55 12 10 4 55 cil(mod(D,add(P,D))) 28197 97852081 o1(o2(x,o2(x,x))) true 55423 55423 0.4811 0.9492 0.4811 0.1461 0.3822 0 0.9997 0.9997 1 3.356 0.07851 0 0.1354 1 1 -1.877e-12 0.1702 0.165 0.06016 0.2453 1.811 0.9997 0.5376 1.165 1 1 0.07354 0.2393 0.01927 0.5035 1.638 0.1319 json
t12_x10_u4_b56 12 10 4 56 cil(mod(D,sub(P,D))) 28198 97852082 o1(o2(x,o2(x,x))) true 55431 55431 0.4811 0.9492 0.4811 0.1461 0.3822 0 0.9997 0.9997 1 3.356 0.07851 0 0.1354 1 1 -9.461e-10 0.1702 0.165 0.06017 0.2453 1.811 0.9997 0.5376 1.165 1 1 0.07354 0.2393 0.01927 0.5035 1.638 0.1319 json
t12_x10_u4_b57 12 10 4 57 cil(mod(D,mlt(P,D))) 28199 97852083 o1(o2(x,o2(x,x))) true 55439 55439 0.2936 0.8281 0.5436 0.3673 0.606 -1 0.9997 2 1 3.473 0.07782 0 0.1275 1 1 1.877e-12 0.162 0.1553 0.06157 0.2481 1.946 1 0.2119 0.4411 1 1 0.07711 0.2663 0.3773 0.21 0.7252 1.027 json