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
- leaves:
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.
#Akept 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-256b6fc8f27…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 oninputs.expr), the formula (grad-noise-175k.manifest.json) and the frames (png/)
| 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_u2_b100 | 12 | 10 | 2 | 100 | ![]() |
frc(dot(D,sub(P,D))) | 28000 | 97851724 | o1(o2(x,o2(x,x))) | true | 53847 | 53847 | 0.5016 | 1 | 0.5016 | 0.05206 | 0.2282 | 0.01293 | 0.9975 | 0.9846 | 1 | 3.854 | 0.1016 | 0.1016 | 0.3928 | 0.000002822 | 1 | -0.00105 | 1.006 | 0.7793 | 0.04902 | 0.2214 | 0.5636 | 1.329 | 3.905 | 19.33 | 1 | 1 | 0.1135 | 0.1055 | 0.1109 | 2.181 | 2.026 | 2.129 | json |
| t12_x10_u2_b101 | 12 | 10 | 2 | 101 | ![]() |
frc(dot(D,mlt(P,D))) | 28001 | 97851725 | o1(o2(x,o2(x,x))) | true | 53855 | 53855 | 0.4952 | 1 | 0.4952 | 0.06579 | 0.2565 | 0.00003581 | 0.9988 | 0.9988 | 1 | 3.956 | 0.05318 | 0.05318 | 0.2334 | 0.000007075 | 1 | 0.0000297 | 0.4202 | 0.4121 | 0.05187 | 0.2277 | 0.9756 | 1.392 | 1.617 | 6.387 | 1 | 1 | 0.07409 | 0.1121 | 0.07252 | 1.126 | 1.704 | 1.102 | json |
| t12_x10_u2_b102 | 12 | 10 | 2 | 102 | ![]() |
frc(dot(D,div(P,D))) | 28002 | 97851726 | o1(o2(x,o2(x,x))) | true | 53863 | 53863 | -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_u2_b103 | 12 | 10 | 2 | 103 | ![]() |
frc(dot(D,pow(P,D))) | 28003 | 97851727 | o1(o2(x,o2(x,x))) | true | 53871 | 53871 | -0.6162 | 0.25 | 0.8838 | 0.456 | 0.6753 | -1 | 0.9937 | 1.994 | 1 | 1.781 | 0.01563 | 0.01563 | 0.05348 | 0.000001669 | 1 | -0.00008668 | 0.09573 | 0.08538 | 0.02839 | 0.1685 | 3.151 | 1.97 | 0.06854 | 0.2099 | 1 | 1 | 0.0313 | 0.08395 | 0.207 | 0.06864 | 0.1841 | 0.4539 | json |
| t12_x10_u2_b104 | 12 | 10 | 2 | 104 | ![]() |
frc(dot(D,mod(P,D))) | 28004 | 97851728 | o1(o2(x,o2(x,x))) | true | 53879 | 53879 | -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_u2_b105 | 12 | 10 | 2 | 105 | ![]() |
frc(dot(D,lrg(P,D))) | 28005 | 97851729 | o1(o2(x,o2(x,x))) | true | 53887 | 53887 | 0.3806 | 0.7893 | 0.3806 | 0.104 | 0.3225 | 0 | 0.9688 | 0.9688 | 1 | 3.699 | 0.02854 | 0.02854 | 0.1043 | -0.00001083 | 1 | 0.0002751 | 0.1788 | 0.1277 | 0.0462 | 0.2149 | 2.061 | 1.326 | 0.549 | 1.72 | 1 | 1 | 0.05524 | 0.1346 | 0.03176 | 0.5313 | 1.295 | 0.3055 | json |
| t12_x10_u2_b106 | 12 | 10 | 2 | 106 | ![]() |
frc(dot(D,eql(P,D))) | 28006 | 97851730 | o1(o2(x,o2(x,x))) | true | 53895 | 53895 | 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_u2_b107 | 12 | 10 | 2 | 107 | ![]() |
frc(dot(D,min(P,D))) | 28007 | 97851731 | o1(o2(x,o2(x,x))) | true | 53903 | 53903 | 0.4213 | 0.9998 | 0.4213 | 0.05291 | 0.23 | 0.00001819 | 0.9924 | 0.9924 | 1 | 3.829 | 0.04798 | 0.04798 | 0.2267 | -0.00003832 | 1 | -0.001659 | 0.3934 | 0.3973 | 0.04456 | 0.2111 | 0.9312 | 1.325 | 1.814 | 7.434 | 1 | 1 | 0.05694 | 0.06624 | 0.04706 | 1.076 | 1.252 | 0.8894 | json |
| t12_x10_u2_b108 | 12 | 10 | 2 | 108 | ![]() |
frc(dot(D,dot(P,D))) | 28008 | 97851732 | o1(o2(x,o2(x,x))) | true | 53911 | 53911 | 0.4701 | 0.996 | 0.4701 | 0.07292 | 0.27 | 0 | 0.9978 | 0.9978 | 1 | 3.974 | 0.08831 | 0.08831 | 0.3012 | -0.000004724 | 1 | 0.00001313 | 0.8164 | 0.6203 | 0.08592 | 0.2931 | 0.9732 | 1.411 | 2.422 | 11.19 | 1 | 1 | 0.1227 | 0.1498 | 0.07688 | 1.683 | 2.054 | 1.054 | json |
| t12_x10_u2_b109 | 12 | 10 | 2 | 109 | ![]() |
frc(dot(D,dst(P,D))) | 28009 | 97851733 | o1(o2(x,o2(x,x))) | true | 53919 | 53919 | 0.4755 | 0.9993 | 0.4755 | 0.05368 | 0.2317 | 0.00002636 | 0.9987 | 0.9987 | 1 | 3.862 | 0.1308 | 0.1308 | 0.4505 | 0 | 1 | 0.000009072 | 1.666 | 1.07 | 0.05878 | 0.2424 | 0.5382 | 1.41 | 4.875 | 31.04 | 1 | 1 | 0.121 | 0.1092 | 0.08331 | 2.253 | 2.034 | 1.552 | json |
| t12_x10_u2_b110 | 12 | 10 | 2 | 110 | ![]() |
frc(dst(D,add(P,D))) | 28010 | 97851734 | o1(o2(x,o2(x,x))) | true | 53927 | 53927 | 0.3304 | 0.9857 | 0.3304 | 0.05498 | 0.2345 | 3.509e-8 | 0.9439 | 0.9439 | 1 | 3.672 | 0.000555 | 0.000555 | 0.0263 | 0.000003985 | 1 | -3.837e-7 | 0.00006371 | 0.005985 | 0.0004184 | 0.02045 | 0.7777 | 0.1031 | 0.02019 | 0.001159 | 1 | 1 | 0.002058 | 0.02662 | 0.09686 | 0.03743 | 0.4841 | 1.762 | json |
| t12_x10_u2_b111 | 12 | 10 | 2 | 111 | ![]() |
frc(dst(D,sub(P,D))) | 28011 | 97851735 | o1(o2(x,o2(x,x))) | true | 53935 | 53935 | 0.5006 | 1 | 0.5006 | 0.05302 | 0.2303 | 0.001128 | 0.9955 | 0.9943 | 1 | 3.86 | 0.04595 | 0.04595 | 0.2095 | -0.000003284 | 1 | -0.0004919 | 0.3272 | 0.3021 | 0.04799 | 0.2191 | 1.045 | 1.317 | 1.733 | 6.172 | 1 | 1 | 0.0823 | 0.0939 | 0.09751 | 1.552 | 1.771 | 1.839 | json |
| t12_x10_u2_b112 | 12 | 10 | 2 | 112 | ![]() |
frc(dst(D,mlt(P,D))) | 28012 | 97851736 | o1(o2(x,o2(x,x))) | true | 53943 | 53943 | 0.4921 | 1 | 0.4921 | 0.05335 | 0.231 | 0.0005638 | 0.9886 | 0.988 | 1 | 3.801 | 0.07417 | 0.07417 | 0.3231 | 0.000006931 | 1 | 0.002577 | 0.5641 | 0.5774 | 0.04396 | 0.2097 | 0.649 | 1.119 | 2.781 | 10.57 | 1 | 1 | 0.08172 | 0.085 | 0.0742 | 1.532 | 1.593 | 1.391 | json |
| t12_x10_u2_b113 | 12 | 10 | 2 | 113 | ![]() |
frc(dst(D,div(P,D))) | 28013 | 97851737 | o1(o2(x,o2(x,x))) | true | 53951 | 53951 | -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_u2_b114 | 12 | 10 | 2 | 114 | ![]() |
frc(dst(D,pow(P,D))) | 28014 | 97851738 | o1(o2(x,o2(x,x))) | true | 53959 | 53959 | -0.5958 | 0.25 | 0.9042 | 0.4987 | 0.7062 | -1 | 0.9834 | 1.983 | 1 | 1.684 | 0.008418 | 0.008418 | 0.03099 | 2.766e-7 | 1 | 0.000068 | 0.04324 | 0.0476 | 0.01588 | 0.126 | 4.065 | 1.772 | 0.03376 | 0.0867 | 1 | 1 | 0.01617 | 0.05439 | 0.2244 | 0.03242 | 0.1091 | 0.45 | json |
| t12_x10_u2_b115 | 12 | 10 | 2 | 115 | ![]() |
frc(dst(D,mod(P,D))) | 28015 | 97851739 | o1(o2(x,o2(x,x))) | true | 53967 | 53967 | -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_u2_b116 | 12 | 10 | 2 | 116 | ![]() |
frc(dst(D,lrg(P,D))) | 28016 | 97851740 | o1(o2(x,o2(x,x))) | true | 53975 | 53975 | 0.4817 | 1 | 0.4817 | 0.04863 | 0.2205 | 0.03178 | 0.9772 | 0.9454 | 1 | 3.817 | 0.01815 | 0.01815 | 0.1035 | -0.00002289 | 1 | -0.000561 | 0.1098 | 0.1232 | 0.02559 | 0.16 | 1.546 | 1.207 | 0.7464 | 2.258 | 1 | 1 | 0.03574 | 0.1017 | 0.0171 | 0.7348 | 2.091 | 0.3516 | json |
| t12_x10_u2_b117 | 12 | 10 | 2 | 117 | ![]() |
frc(dst(D,eql(P,D))) | 28017 | 97851741 | o1(o2(x,o2(x,x))) | true | 53983 | 53983 | 0.1095 | 1 | 0.1095 | 0.003273 | 0.05721 | 0.001204 | 0.2224 | 0.2212 | 1 | 1.911 | 0.0002536 | 0.0002536 | 0.02142 | 5.738e-7 | 1 | -0.0002138 | 0.00007867 | 0.007366 | 0.00004872 | 0.00698 | 0.3259 | 0.03278 | 0.155 | 0.02403 | 1 | 1 | 0.0009717 | 0.00647 | 0 | 0.2969 | 1.977 | 0 | json |
| t12_x10_u2_b118 | 12 | 10 | 2 | 118 | ![]() |
frc(dst(D,min(P,D))) | 28018 | 97851742 | o1(o2(x,o2(x,x))) | true | 53991 | 53991 | 0.3612 | 0.8086 | 0.3612 | 0.09358 | 0.3059 | 0 | 0.9954 | 0.9954 | 1 | 3.699 | 0.01897 | 0.01897 | 0.08503 | 0.00002096 | 1 | -0.000349 | 0.09539 | 0.09673 | 0.0307 | 0.1752 | 2.061 | 1.354 | 0.4054 | 1.019 | 1 | 1 | 0.03455 | 0.08278 | 0.04264 | 0.3692 | 0.8846 | 0.4557 | json |
| t12_x10_u2_b119 | 12 | 10 | 2 | 119 | ![]() |
frc(dst(D,dot(P,D))) | 28019 | 97851743 | o1(o2(x,o2(x,x))) | true | 53999 | 53999 | 0.4945 | 1 | 0.4945 | 0.04842 | 0.22 | 0.001744 | 0.9964 | 0.9946 | 1 | 3.814 | 0.1034 | 0.1034 | 0.3955 | 7.929e-7 | 1 | -0.0001936 | 1.086 | 0.8336 | 0.05035 | 0.2244 | 0.5674 | 1.207 | 4.27 | 22.43 | 1 | 1 | 0.08711 | 0.09451 | 0.09062 | 1.799 | 1.952 | 1.872 | json |
| t12_x10_u2_b120 | 12 | 10 | 2 | 120 | ![]() |
frc(dst(D,dst(P,D))) | 28020 | 97851744 | o1(o2(x,o2(x,x))) | true | 54007 | 54007 | 0.5006 | 1 | 0.5006 | 0.05223 | 0.2285 | 0.002327 | 0.9987 | 0.9964 | 1 | 3.853 | 0.04169 | 0.04169 | 0.193 | -0.000007238 | 1 | -0.0003193 | 0.2906 | 0.2748 | 0.04612 | 0.2148 | 1.113 | 1.359 | 1.596 | 5.565 | 1 | 1 | 0.07662 | 0.1012 | 0.1161 | 1.467 | 1.937 | 2.223 | json |
| t12_x10_u3_b0 | 12 | 10 | 3 | 0 | ![]() |
flr(add(D,add(P,D))) | 28021 | 97851825 | o1(o2(x,o2(x,x))) | true | 54015 | 54015 | -0.0625 | 0.4688 | 0.9375 | 0.9201 | 0.9592 | -1 | 1 | 2 | 1 | 1.809 | 0.01317 | 0 | 0.02194 | 1 | 1 | 0 | 0.02797 | 0.03347 | 0.01269 | 0.1127 | 5.133 | 0.9994 | 0.01431 | 0.0304 | 1 | 1 | 0.01638 | 0.02449 | 0.2344 | 0.0178 | 0.02662 | 0.2548 | json |
| t12_x10_u3_b1 | 12 | 10 | 3 | 1 | ![]() |
flr(add(D,sub(P,D))) | 28022 | 97851826 | o1(o2(x,o2(x,x))) | true | 54023 | 54023 | 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_u3_b2 | 12 | 10 | 3 | 2 | ![]() |
flr(add(D,mlt(P,D))) | 28023 | 97851827 | o1(o2(x,o2(x,x))) | true | 54031 | 54031 | -0.5332 | 0.09766 | 0.5928 | 0.2149 | 0.4636 | -1 | 0.7619 | 1.762 | 1 | 3.607 | 0.1119 | 0 | 0.2079 | 1 | 1 | 0.0003958 | 0.2492 | 0.3192 | 0.06865 | 0.262 | 1.26 | 0.9991 | 0.5206 | 1.159 | 1 | 1 | 0.08857 | 0.2842 | 0.0698 | 0.4121 | 1.322 | 0.3247 | json |
| t12_x10_u3_b3 | 12 | 10 | 3 | 3 | ![]() |
flr(add(D,div(P,D))) | 28024 | 97851828 | o1(o2(x,o2(x,x))) | true | 54039 | 54039 | -0.1612 | 0.4141 | 0.9651 | 0.9286 | 0.9637 | -1 | 1 | 2 | 1 | 1.488 | 0.4017 | 0 | 0.2302 | 1 | 1 | 3.784e-9 | 0.7561 | 0.4213 | 0.3486 | 0.5904 | 2.565 | 2 | 0.4326 | 0.8142 | 1 | 1 | 0.4067 | 1.593 | 0.2775 | 0.438 | 1.715 | 0.2988 | json |
| t12_x10_u3_b4 | 12 | 10 | 3 | 4 | ![]() |
flr(add(D,pow(P,D))) | 28025 | 97851829 | o1(o2(x,o2(x,x))) | true | 54047 | 54047 | -0.2428 | 0.4375 | 0.7572 | 0.6478 | 0.8048 | -1 | 1 | 2 | 1 | 2.628 | 0.04477 | 0 | 0.08907 | 1 | 1 | -0.0005391 | 0.09179 | 0.1278 | 0.03683 | 0.1919 | 2.155 | 1 | 0.06911 | 0.1417 | 1 | 1 | 0.04484 | 0.1009 | 0.1617 | 0.06922 | 0.1557 | 0.2496 | json |
| t12_x10_u3_b5 | 12 | 10 | 3 | 5 | ![]() |
flr(add(D,mod(P,D))) | 28026 | 97851830 | o1(o2(x,o2(x,x))) | true | 54055 | 54055 | -0.4838 | 0.01172 | 0.4844 | 0.1341 | 0.3662 | -0.9997 | 0.07333 | 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.07088 | 0.212 | 0.0165 | 0.5286 | 1.581 | 0.123 | json |
| t12_x10_u3_b6 | 12 | 10 | 3 | 6 | ![]() |
flr(add(D,lrg(P,D))) | 28027 | 97851831 | o1(o2(x,o2(x,x))) | true | 54063 | 54063 | 1.455e-11 | 0.4375 | 0.4375 | 0.3428 | 0.5855 | -0.9997 | 0.9997 | 1.999 | 1 | 4.198 | 0.06044 | 0 | 0.1109 | 1 | 1 | 0 | 0.1126 | 0.1239 | 0.04813 | 0.2194 | 1.978 | 0.9997 | 0.1763 | 0.3286 | 1 | 1 | 0.06377 | 0.2221 | 0.06598 | 0.186 | 0.648 | 0.1925 | json |
| t12_x10_u3_b7 | 12 | 10 | 3 | 7 | ![]() |
flr(add(D,eql(P,D))) | 28028 | 97851832 | o1(o2(x,o2(x,x))) | true | 54071 | 54071 | -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_b8 | 12 | 10 | 3 | 8 | ![]() |
flr(add(D,min(P,D))) | 28029 | 97851833 | o1(o2(x,o2(x,x))) | true | 54079 | 54079 | -0.7549 | 0 | 0.7549 | 0.1246 | 0.353 | -1 | -0.0005821 | 0.9994 | 1 | 2.345 | 0.05751 | 0 | 0.1085 | 1 | 1 | -0.0001797 | 0.1221 | 0.1363 | 0.04573 | 0.2138 | 1.97 | 0.9994 | 0.4614 | 0.9799 | 1 | 1 | 0.05567 | 0.06191 | 0.02987 | 0.4467 | 0.4967 | 0.2396 | json |
| t12_x10_u3_b9 | 12 | 10 | 3 | 9 | ![]() |
flr(add(D,dot(P,D))) | 28030 | 97851834 | o1(o2(x,o2(x,x))) | true | 54087 | 54087 | -0.5845 | 0.1284 | 0.6848 | 0.2489 | 0.4989 | -1 | 1 | 2 | 1 | 3.642 | 0.07052 | 0.06982 | 0.2517 | 0.005043 | 1 | 0.0008029 | 0.4949 | 0.4508 | 0.077 | 0.2775 | 1.102 | 1.413 | 0.5639 | 1.989 | 1 | 1 | 0.1093 | 0.3615 | 0.08433 | 0.4392 | 1.453 | 0.3388 | json |
| t12_x10_u3_b10 | 12 | 10 | 3 | 10 | ![]() |
flr(add(D,dst(P,D))) | 28031 | 97851835 | o1(o2(x,o2(x,x))) | true | 54095 | 54095 | 0.9941 | 1 | 0.9941 | 0.003856 | 0.06209 | 0.000873 | 1 | 0.9991 | 1 | 0.1373 | 0.0008328 | 0.0004395 | 0.003085 | 0.3091 | 1 | -1.389e-10 | 0.003735 | 0.004118 | 0.001262 | 0.03552 | 11.51 | 1.412 | 0.33 | 0.9686 | 1 | 1 | 0.002462 | 0.00873 | 0.01339 | 0.6385 | 2.264 | 3.474 | json |
| t12_x10_u3_b11 | 12 | 10 | 3 | 11 | ![]() |
flr(sub(D,add(P,D))) | 28032 | 97851836 | o1(o2(x,o2(x,x))) | true | 54103 | 54103 | 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_u3_b12 | 12 | 10 | 3 | 12 | ![]() |
flr(sub(D,sub(P,D))) | 28033 | 97851837 | o1(o2(x,o2(x,x))) | true | 54111 | 54111 | -0.0625 | 0.4688 | 0.9375 | 0.9184 | 0.9583 | -1 | 1 | 2 | 1 | 1.778 | 0.01572 | 0 | 0.03409 | 1 | 1 | 0 | 0.0303 | 0.04159 | 0.01455 | 0.1206 | 3.539 | 0.9983 | 0.01711 | 0.03299 | 1 | 1 | 0.0216 | 0.04579 | 0.2322 | 0.02352 | 0.04986 | 0.2528 | json |
| t12_x10_u3_b13 | 12 | 10 | 3 | 13 | ![]() |
flr(sub(D,mlt(P,D))) | 28034 | 97851838 | o1(o2(x,o2(x,x))) | true | 54119 | 54119 | -0.2965 | 0.1836 | 0.4525 | 0.2674 | 0.5171 | -1 | 0.9701 | 1.97 | 1 | 3.919 | 0.1266 | 0 | 0.2327 | 1 | 1 | -0.006561 | 0.2784 | 0.3611 | 0.07249 | 0.2692 | 1.157 | 0.9994 | 0.4736 | 1.041 | 1 | 1 | 0.1014 | 0.3323 | 0.07968 | 0.3792 | 1.243 | 0.298 | json |
| t12_x10_u3_b14 | 12 | 10 | 3 | 14 | ![]() |
flr(sub(D,div(P,D))) | 28035 | 97851839 | o1(o2(x,o2(x,x))) | true | 54127 | 54127 | 0.06442 | 0.5195 | 0.9382 | 0.9221 | 0.9603 | -1 | 1 | 2 | 1 | 1.706 | 0.4084 | 0 | 0.2381 | 1 | 1 | 0 | 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_u3_b15 | 12 | 10 | 3 | 15 | ![]() |
flr(sub(D,pow(P,D))) | 28036 | 97851840 | o1(o2(x,o2(x,x))) | true | 54135 | 54135 | -0.9785 | 0 | 0.9785 | 0.01727 | 0.1314 | -1 | -0.0005821 | 0.9994 | 1 | 0.2758 | 0.004615 | 0 | 0.007932 | 1 | 1 | 4.731e-10 | 0.00817 | 0.00973 | 0.004551 | 0.06746 | 8.505 | 0.9994 | 0.2672 | 0.4731 | 1 | 1 | 0.006825 | 0.02388 | 0.02388 | 0.3952 | 1.383 | 1.383 | json |
| t12_x10_u3_b16 | 12 | 10 | 3 | 16 | ![]() |
flr(sub(D,mod(P,D))) | 28037 | 97851841 | o1(o2(x,o2(x,x))) | true | 54143 | 54143 | -0.4838 | 0.007813 | 0.4839 | 0.1333 | 0.3651 | -0.9997 | 0.007124 | 1.007 | 1 | 3.556 | 0.09156 | 0 | 0.1598 | 1 | 1 | -1.136e-8 | 0.219 | 0.2228 | 0.066 | 0.2569 | 1.607 | 1.007 | 0.6869 | 1.643 | 1 | 1 | 0.07178 | 0.2082 | 0.00902 | 0.5385 | 1.562 | 0.06767 | json |
| t12_x10_u3_b17 | 12 | 10 | 3 | 17 | ![]() |
flr(sub(D,lrg(P,D))) | 28038 | 97851842 | o1(o2(x,o2(x,x))) | true | 54151 | 54151 | -0.7382 | 0 | 0.7382 | 0.1383 | 0.3718 | -1 | -0.000291 | 0.9997 | 1 | 2.383 | 0.03548 | 0 | 0.06731 | 1 | 1 | 0.00008984 | 0.06471 | 0.07345 | 0.03094 | 0.1759 | 2.613 | 0.9994 | 0.2566 | 0.468 | 1 | 1 | 0.03898 | 0.1331 | 0.02787 | 0.2819 | 0.9628 | 0.2016 | json |
| t12_x10_u3_b18 | 12 | 10 | 3 | 18 | ![]() |
flr(sub(D,eql(P,D))) | 28039 | 97851843 | o1(o2(x,o2(x,x))) | true | 54159 | 54159 | -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_b19 | 12 | 10 | 3 | 19 | ![]() |
flr(sub(D,min(P,D))) | 28040 | 97851844 | o1(o2(x,o2(x,x))) | true | 54167 | 54167 | 0.4472 | 0.5 | 0.4472 | 0.2367 | 0.4866 | 0 | 1 | 1 | 1 | 1.452 | 0.004966 | 0 | 0.0119 | 1 | 1 | -4.731e-10 | 0.008236 | 0.01066 | 0.004825 | 0.06946 | 5.838 | 0.9991 | 0.02098 | 0.03479 | 1 | 1 | 0.007711 | 0.02988 | 0.06998 | 0.03257 | 0.1262 | 0.2956 | json |
| t12_x10_u3_b20 | 12 | 10 | 3 | 20 | ![]() |
flr(sub(D,dot(P,D))) | 28041 | 97851845 | o1(o2(x,o2(x,x))) | true | 54175 | 54175 | -0.1631 | 0.3744 | 0.5291 | 0.3775 | 0.6144 | -1 | 1 | 2 | 1 | 4.672 | 0.08709 | 0.08615 | 0.3162 | 0.005425 | 1 | -0.004824 | 0.5879 | 0.5547 | 0.07327 | 0.2707 | 0.8562 | 1.413 | 0.4589 | 1.557 | 1 | 1 | 0.1468 | 0.5372 | 0.1122 | 0.3887 | 1.423 | 0.2973 | json |
| t12_x10_u3_b21 | 12 | 10 | 3 | 21 | ![]() |
flr(sub(D,dst(P,D))) | 28042 | 97851846 | o1(o2(x,o2(x,x))) | true | 54183 | 54183 | -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_b22 | 12 | 10 | 3 | 22 | ![]() |
flr(mlt(D,add(P,D))) | 28043 | 97851847 | o1(o2(x,o2(x,x))) | true | 54191 | 54191 | -0.4593 | 0.1172 | 0.5453 | 0.2321 | 0.4818 | -1 | 0.8866 | 1.887 | 1 | 3.799 | 0.1145 | 0 | 0.2142 | 1 | 1 | 0.0004523 | 0.2537 | 0.3401 | 0.06864 | 0.262 | 1.223 | 0.9994 | 0.4933 | 1.093 | 1 | 1 | 0.08845 | 0.2956 | 0.07119 | 0.381 | 1.273 | 0.3067 | json |
| t12_x10_u3_b23 | 12 | 10 | 3 | 23 | ![]() |
flr(mlt(D,sub(P,D))) | 28044 | 97851848 | o1(o2(x,o2(x,x))) | true | 54199 | 54199 | -0.657 | 0.0625 | 0.6975 | 0.1956 | 0.4423 | -1 | 0.7321 | 1.732 | 1 | 2.926 | 0.1086 | 0 | 0.1879 | 1 | 1 | 0.0003392 | 0.2409 | 0.3 | 0.07326 | 0.2707 | 1.44 | 0.9991 | 0.555 | 1.232 | 1 | 1 | 0.08682 | 0.2492 | 0.06569 | 0.4438 | 1.274 | 0.3358 | json |
| t12_x10_u3_b24 | 12 | 10 | 3 | 24 | ![]() |
flr(mlt(D,mlt(P,D))) | 28045 | 97851849 | o1(o2(x,o2(x,x))) | true | 54207 | 54207 | -0.3649 | 0.375 | 0.5725 | 0.3924 | 0.6264 | -1 | 1 | 2 | 1 | 2.702 | 0.0132 | 0 | 0.04941 | 1 | 1 | -0.0003311 | 0.02598 | 0.06115 | 0.01076 | 0.1037 | 2.1 | 0.6717 | 0.03365 | 0.06621 | 1 | 1 | 0.01018 | 0.04081 | 0.09106 | 0.02595 | 0.104 | 0.2321 | json |
| t12_x10_u3_b25 | 12 | 10 | 3 | 25 | ![]() |
flr(mlt(D,div(P,D))) | 28046 | 97851850 | o1(o2(x,o2(x,x))) | true | 54215 | 54215 | -0.02129 | 0.4844 | 0.9162 | 0.9022 | 0.9499 | -1 | 1 | 2 | 1 | 1.891 | 0.03228 | 0 | 0.0433 | 1 | 1 | -2.365e-9 | 0.1065 | 0.07535 | 0.03039 | 0.1743 | 4.026 | 0.9997 | 0.03578 | 0.118 | 1 | 1 | 0.01503 | 0.03178 | 0.2074 | 0.01666 | 0.03523 | 0.2298 | json |
| t12_x10_u3_b26 | 12 | 10 | 3 | 26 | ![]() |
flr(mlt(D,pow(P,D))) | 28047 | 97851851 | o1(o2(x,o2(x,x))) | true | 54223 | 54223 | -0.7147 | 0.007813 | 0.7166 | 0.1467 | 0.383 | -1 | 0.1169 | 1.117 | 1 | 2.47 | 0.03958 | 0 | 0.07847 | 1 | 1 | -0.0004209 | 0.0784 | 0.1023 | 0.03341 | 0.1828 | 2.329 | 0.9997 | 0.2698 | 0.5345 | 1 | 1 | 0.04085 | 0.1115 | 0.03707 | 0.2785 | 0.76 | 0.2528 | json |
| t12_x10_u3_b27 | 12 | 10 | 3 | 27 | ![]() |
flr(mlt(D,mod(P,D))) | 28048 | 97851852 | o1(o2(x,o2(x,x))) | true | 54231 | 54231 | -0.4299 | 0 | 0.4299 | 0.1371 | 0.3703 | -0.9929 | 0 | 0.9929 | 1 | 3.585 | 0.07504 | 0 | 0.1328 | 1 | 1 | -0.0001797 | 0.1725 | 0.1555 | 0.0574 | 0.2396 | 1.804 | 0.9929 | 0.5473 | 1.258 | 1 | 1 | 0.06573 | 0.2218 | 0.04467 | 0.4793 | 1.617 | 0.3258 | json |
| t12_x10_u3_b28 | 12 | 10 | 3 | 28 | ![]() |
flr(mlt(D,lrg(P,D))) | 28049 | 97851853 | o1(o2(x,o2(x,x))) | true | 54239 | 54239 | -0.2813 | 0 | 0.2813 | 0.1413 | 0.3759 | -0.9997 | 0 | 0.9997 | 1 | 2.904 | 0.03488 | 0 | 0.0674 | 1 | 1 | -0.00008984 | 0.06442 | 0.07172 | 0.03033 | 0.1742 | 2.584 | 0.9994 | 0.2469 | 0.456 | 1 | 1 | 0.04018 | 0.1422 | 0.03299 | 0.2844 | 1.007 | 0.2335 | json |
| t12_x10_u3_b29 | 12 | 10 | 3 | 29 | ![]() |
flr(mlt(D,eql(P,D))) | 28050 | 97851854 | o1(o2(x,o2(x,x))) | true | 54247 | 54247 | 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_b30 | 12 | 10 | 3 | 30 | ![]() |
flr(mlt(D,min(P,D))) | 28051 | 97851855 | o1(o2(x,o2(x,x))) | true | 54255 | 54255 | -0.2683 | 0.04688 | 0.2955 | 0.1766 | 0.4202 | -1 | 0.7619 | 1.762 | 1 | 2.708 | 0.05512 | 0 | 0.103 | 1 | 1 | 0.0001979 | 0.1221 | 0.1573 | 0.0445 | 0.2109 | 2.049 | 0.9991 | 0.3121 | 0.6915 | 1 | 1 | 0.04314 | 0.1285 | 0.04533 | 0.2443 | 0.7275 | 0.2567 | json |
| t12_x10_u3_b31 | 12 | 10 | 3 | 31 | ![]() |
flr(mlt(D,dot(P,D))) | 28052 | 97851856 | o1(o2(x,o2(x,x))) | true | 54263 | 54263 | -0.3946 | 0.2517 | 0.5953 | 0.3418 | 0.5846 | -1 | 1 | 2 | 1 | 4.096 | 0.07199 | 0.03445 | 0.1832 | 0.3527 | 1 | -0.0002162 | 0.3306 | 0.3083 | 0.07288 | 0.27 | 1.474 | 1.513 | 0.3115 | 0.9674 | 1 | 1 | 0.09656 | 0.2577 | 0.09693 | 0.2825 | 0.7539 | 0.2836 | json |
| t12_x10_u3_b32 | 12 | 10 | 3 | 32 | ![]() |
flr(mlt(D,dst(P,D))) | 28053 | 97851857 | o1(o2(x,o2(x,x))) | true | 54271 | 54271 | -0.3922 | 0.2265 | 0.6079 | 0.3623 | 0.6019 | -1 | 1 | 2 | 1 | 3.865 | 0.1469 | 0.003433 | 0.2573 | 0.9543 | 1 | -0.002671 | 0.3412 | 0.4231 | 0.08411 | 0.29 | 1.127 | 1.219 | 0.4149 | 0.9418 | 1 | 1 | 0.1204 | 0.449 | 0.05882 | 0.3323 | 1.239 | 0.1624 | json |
| t12_x10_u3_b33 | 12 | 10 | 3 | 33 | ![]() |
flr(div(D,add(P,D))) | 28054 | 97851858 | o1(o2(x,o2(x,x))) | true | 54279 | 54279 | -0.4755 | 0.03125 | 0.5153 | 0.1772 | 0.421 | -0.9997 | 0.9907 | 1.99 | 1 | 3.645 | 0.1029 | 0 | 0.1642 | 1 | 1 | -0.0001797 | 0.2395 | 0.2146 | 0.07596 | 0.2756 | 1.678 | 1.085 | 0.5808 | 1.351 | 1 | 1 | 0.09235 | 0.2642 | 0.09633 | 0.5211 | 1.491 | 0.5436 | json |
| t12_x10_u3_b34 | 12 | 10 | 3 | 34 | ![]() |
flr(div(D,sub(P,D))) | 28055 | 97851859 | o1(o2(x,o2(x,x))) | true | 54287 | 54287 | -0.5491 | 0 | 0.5491 | 0.1499 | 0.3872 | -1 | -0.000291 | 0.9997 | 1 | 3.338 | 0.06183 | 0 | 0.1159 | 1 | 1 | -0.0001797 | 0.1175 | 0.1339 | 0.04839 | 0.22 | 1.898 | 0.9997 | 0.4125 | 0.7838 | 1 | 1 | 0.06424 | 0.2026 | 0.07566 | 0.4285 | 1.351 | 0.5047 | json |
| t12_x10_u3_b35 | 12 | 10 | 3 | 35 | ![]() |
flr(div(D,mlt(P,D))) | 28056 | 97851860 | o1(o2(x,o2(x,x))) | true | 54295 | 54295 | -0.4186 | 0.1094 | 0.5814 | 0.4016 | 0.6337 | -1 | 1 | 2 | 1 | 1.517 | 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_u3_b36 | 12 | 10 | 3 | 36 | ![]() |
flr(div(D,div(P,D))) | 28057 | 97851861 | o1(o2(x,o2(x,x))) | true | 54303 | 54303 | -0.4375 | 0.0625 | 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_u3_b37 | 12 | 10 | 3 | 37 | ![]() |
flr(div(D,pow(P,D))) | 28058 | 97851862 | o1(o2(x,o2(x,x))) | true | 54311 | 54311 | -0.8265 | 0 | 0.8265 | 0.09248 | 0.3041 | -1 | -0.0005821 | 0.9994 | 1 | 2.079 | 0.03531 | 0 | 0.07221 | 1 | 1 | -0.00008984 | 0.07062 | 0.09959 | 0.0301 | 0.1735 | 2.402 | 0.9994 | 0.3818 | 0.7637 | 1 | 1 | 0.0355 | 0.08011 | 0.03125 | 0.3839 | 0.8662 | 0.3379 | json |
| t12_x10_u3_b38 | 12 | 10 | 3 | 38 | ![]() |
flr(div(D,mod(P,D))) | 28059 | 97851863 | o1(o2(x,o2(x,x))) | true | 54319 | 54319 | -0.4226 | 0.2969 | 0.8741 | 0.651 | 0.8068 | -1 | 1 | 2 | 1 | 2.351 | 0.7174 | 0 | 0.4876 | 1 | 1 | -5.677e-9 | 1.928 | 0.8428 | 0.4797 | 0.6926 | 1.42 | 2 | 1.102 | 2.962 | 1 | 1 | 0.4612 | 0.8297 | 0.3903 | 0.7085 | 1.275 | 0.5995 | json |
| t12_x10_u3_b39 | 12 | 10 | 3 | 39 | ![]() |
flr(div(D,lrg(P,D))) | 28060 | 97851864 | o1(o2(x,o2(x,x))) | true | 54327 | 54327 | -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_b40 | 12 | 10 | 3 | 40 | ![]() |
flr(div(D,eql(P,D))) | 28061 | 97851865 | o1(o2(x,o2(x,x))) | true | 54335 | 54335 | -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_b41 | 12 | 10 | 3 | 41 | ![]() |
flr(div(D,min(P,D))) | 28062 | 97851866 | o1(o2(x,o2(x,x))) | true | 54343 | 54343 | -0.0283 | 0.4531 | 0.5839 | 0.4981 | 0.7057 | -1 | 1 | 2 | 1 | 3.737 | 0.3072 | 0 | 0.3485 | 1 | 1 | -0.00403 | 0.9664 | 0.6368 | 0.1857 | 0.4309 | 1.236 | 2 | 0.6167 | 1.94 | 1 | 1 | 0.1314 | 0.2877 | 0.1874 | 0.2638 | 0.5777 | 0.3762 | json |
| t12_x10_u3_b42 | 12 | 10 | 3 | 42 | ![]() |
flr(div(D,dot(P,D))) | 28063 | 97851867 | o1(o2(x,o2(x,x))) | true | 54351 | 54351 | -0.4684 | 0.07697 | 0.5561 | 0.2531 | 0.5031 | -1 | 1 | 2 | 1 | 3.738 | 0.1699 | 0.1923 | 0.2844 | -0.06182 | 1 | -0.0000821 | 1.585 | 0.5615 | 0.2814 | 0.5304 | 1.865 | 2.828 | 1.431 | 6.262 | 1 | 1 | 0.2862 | 0.4537 | 0.3277 | 1.131 | 1.793 | 1.295 | json |
| t12_x10_u3_b43 | 12 | 10 | 3 | 43 | ![]() |
flr(div(D,dst(P,D))) | 28064 | 97851868 | o1(o2(x,o2(x,x))) | true | 54359 | 54359 | -0.5 | 0 | 0.5 | 0.1416 | 0.3762 | -0.9997 | -0.000291 | 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_u3_b44 | 12 | 10 | 3 | 44 | ![]() |
flr(pow(D,add(P,D))) | 28065 | 97851869 | o1(o2(x,o2(x,x))) | true | 54367 | 54367 | -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_b45 | 12 | 10 | 3 | 45 | ![]() |
flr(pow(D,sub(P,D))) | 28066 | 97851870 | o1(o2(x,o2(x,x))) | true | 54375 | 54375 | -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_b46 | 12 | 10 | 3 | 46 | ![]() |
flr(pow(D,mlt(P,D))) | 28067 | 97851871 | o1(o2(x,o2(x,x))) | true | 54383 | 54383 | -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_u3_b47 | 12 | 10 | 3 | 47 | ![]() |
flr(pow(D,div(P,D))) | 28068 | 97851872 | o1(o2(x,o2(x,x))) | true | 54391 | 54391 | -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_u3_b48 | 12 | 10 | 3 | 48 | ![]() |
flr(pow(D,pow(P,D))) | 28069 | 97851873 | o1(o2(x,o2(x,x))) | true | 54399 | 54399 | -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_b49 | 12 | 10 | 3 | 49 | ![]() |
flr(pow(D,mod(P,D))) | 28070 | 97851874 | o1(o2(x,o2(x,x))) | true | 54407 | 54407 | -0.7423 | 0.1289 | 0.9999 | 0.4487 | 0.6699 | -1 | 1 | 2 | 1 | 0.5544 | 0.5069 | 0 | 0.2537 | 1 | 1 | -5.677e-9 | 1.552 | 0.5075 | 0.4426 | 0.6653 | 2.622 | 2 | 1.13 | 3.459 | 1 | 1 | 0.2418 | 0.4099 | 0.3467 | 0.5388 | 0.9135 | 0.7728 | json |
| t12_x10_u3_b50 | 12 | 10 | 3 | 50 | ![]() |
flr(pow(D,lrg(P,D))) | 28071 | 97851875 | o1(o2(x,o2(x,x))) | true | 54415 | 54415 | -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_u3_b51 | 12 | 10 | 3 | 51 | ![]() |
flr(pow(D,eql(P,D))) | 28072 | 97851876 | o1(o2(x,o2(x,x))) | true | 54423 | 54423 | 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_b52 | 12 | 10 | 3 | 52 | ![]() |
flr(pow(D,min(P,D))) | 28073 | 97851877 | o1(o2(x,o2(x,x))) | true | 54431 | 54431 | -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_b53 | 12 | 10 | 3 | 53 | ![]() |
flr(pow(D,dot(P,D))) | 28074 | 97851878 | o1(o2(x,o2(x,x))) | true | 54439 | 54439 | -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_b54 | 12 | 10 | 3 | 54 | ![]() |
flr(pow(D,dst(P,D))) | 28075 | 97851879 | o1(o2(x,o2(x,x))) | true | 54447 | 54447 | -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_b55 | 12 | 10 | 3 | 55 | ![]() |
flr(mod(D,add(P,D))) | 28076 | 97851880 | o1(o2(x,o2(x,x))) | true | 54455 | 54455 | -0.4811 | 0 | 0.4811 | 0.1461 | 0.3822 | -0.9997 | 0 | 0.9997 | 1 | 3.529 | 0.07851 | 0 | 0.1354 | 1 | 1 | 0 | 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_u3_b56 | 12 | 10 | 3 | 56 | ![]() |
flr(mod(D,sub(P,D))) | 28077 | 97851881 | o1(o2(x,o2(x,x))) | true | 54463 | 54463 | -0.4811 | 0 | 0.4811 | 0.1461 | 0.3822 | -0.9997 | 0 | 0.9997 | 1 | 3.529 | 0.07851 | 0 | 0.1354 | 1 | 1 | 0 | 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_u3_b57 | 12 | 10 | 3 | 57 | ![]() |
flr(mod(D,mlt(P,D))) | 28078 | 97851882 | o1(o2(x,o2(x,x))) | true | 54471 | 54471 | -0.5436 | 0 | 0.5436 | 0.158 | 0.3975 | -1 | 0 | 1 | 1 | 3.351 | 0.07781 | 0 | 0.1275 | 1 | 1 | -4.731e-10 | 0.1779 | 0.1632 | 0.06157 | 0.2481 | 1.946 | 1 | 0.4924 | 1.125 | 1 | 1 | 0.06658 | 0.22 | 0.09151 | 0.4213 | 1.392 | 0.5791 | json |
| t12_x10_u3_b58 | 12 | 10 | 3 | 58 | ![]() |
flr(mod(D,div(P,D))) | 28079 | 97851883 | o1(o2(x,o2(x,x))) | true | 54479 | 54479 | -0.5625 | 0 | 0.5625 | 0.1514 | 0.3891 | -1 | -0.000291 | 0.9997 | 1 | 3.238 | 0.05647 | 0 | 0.1069 | 1 | 1 | 0 | 0.1047 | 0.1159 | 0.04503 | 0.2122 | 1.984 | 0.9997 | 0.373 | 0.6913 | 1 | 1 | 0.05855 | 0.2076 | 0.06598 | 0.3867 | 1.372 | 0.4359 | json |
| t12_x10_u3_b59 | 12 | 10 | 3 | 59 | ![]() |
flr(mod(D,pow(P,D))) | 28080 | 97851884 | o1(o2(x,o2(x,x))) | true | 54487 | 54487 | -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_b60 | 12 | 10 | 3 | 60 | ![]() |
flr(mod(D,mod(P,D))) | 28081 | 97851885 | o1(o2(x,o2(x,x))) | true | 54495 | 54495 | -0.5721 | 0 | 0.5721 | 0.1576 | 0.397 | -1 | 0 | 1 | 1 | 3.312 | 0.1366 | 0 | 0.191 | 1 | 1 | 0.00008984 | 0.364 | 0.2991 | 0.1 | 0.3163 | 1.656 | 1 | 0.8666 | 2.31 | 1 | 1 | 0.08996 | 0.1765 | 0.1214 | 0.5709 | 1.12 | 0.7704 | json |
| t12_x10_u3_b61 | 12 | 10 | 3 | 61 | ![]() |
flr(mod(D,lrg(P,D))) | 28082 | 97851886 | o1(o2(x,o2(x,x))) | true | 54503 | 54503 | -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_b62 | 12 | 10 | 3 | 62 | ![]() |
flr(mod(D,eql(P,D))) | 28083 | 97851887 | o1(o2(x,o2(x,x))) | true | 54511 | 54511 | -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_b63 | 12 | 10 | 3 | 63 | ![]() |
flr(mod(D,min(P,D))) | 28084 | 97851888 | o1(o2(x,o2(x,x))) | true | 54519 | 54519 | -0.3797 | 0 | 0.3797 | 0.1712 | 0.4138 | -1 | 0 | 1 | 1 | 2.981 | 0.176 | 0 | 0.2239 | 1 | 1 | -0.00385 | 0.5203 | 0.3878 | 0.1259 | 0.3548 | 1.584 | 1 | 1.028 | 3.038 | 1 | 1 | 0.08918 | 0.2139 | 0.05852 | 0.5208 | 1.249 | 0.3418 | json |
| t12_x10_u3_b64 | 12 | 10 | 3 | 64 | ![]() |
flr(mod(D,dot(P,D))) | 28085 | 97851889 | o1(o2(x,o2(x,x))) | true | 54527 | 54527 | -0.5075 | 0 | 0.5075 | 0.146 | 0.3821 | -1 | -0.000002074 | 1 | 1 | 3.381 | 0.08537 | 0.02587 | 0.1671 | 0.5349 | 1 | -0.0001154 | 0.3794 | 0.2571 | 0.08329 | 0.2886 | 1.727 | 1.414 | 0.7619 | 2.599 | 1 | 1 | 0.09701 | 0.2505 | 0.04723 | 0.6644 | 1.715 | 0.3235 | json |
| t12_x10_u3_b65 | 12 | 10 | 3 | 65 | ![]() |
flr(mod(D,dst(P,D))) | 28086 | 97851890 | o1(o2(x,o2(x,x))) | true | 54535 | 54535 | -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_b66 | 12 | 10 | 3 | 66 | ![]() |
flr(lrg(D,add(P,D))) | 28087 | 97851891 | o1(o2(x,o2(x,x))) | true | 54543 | 54543 | 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_x10_u3_b67 | 12 | 10 | 3 | 67 | ![]() |
flr(lrg(D,sub(P,D))) | 28088 | 97851892 | o1(o2(x,o2(x,x))) | true | 54551 | 54551 | 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_x10_u3_b68 | 12 | 10 | 3 | 68 | ![]() |
flr(lrg(D,mlt(P,D))) | 28089 | 97851893 | o1(o2(x,o2(x,x))) | true | 54559 | 54559 | 0.5 | 1 | 0.5 | 0.1418 | 0.3765 | 0.000291 | 0.9997 | 0.9994 | 1 | 3.406 | 0.06114 | 0 | 0.1188 | 1 | 1 | 0.0001797 | 0.1128 | 0.1257 | 0.047 | 0.2168 | 1.825 | 0.9994 | 0.4313 | 0.7955 | 1 | 1 | 0.06554 | 0.2335 | 0.04776 | 0.4623 | 1.647 | 0.3369 | json |
| t12_x10_u3_b69 | 12 | 10 | 3 | 69 | ![]() |
flr(lrg(D,div(P,D))) | 28090 | 97851894 | o1(o2(x,o2(x,x))) | true | 54567 | 54567 | 0.5313 | 1 | 0.5313 | 0.1475 | 0.3841 | 0.000291 | 1 | 0.9997 | 1 | 3.332 | 0.06476 | 0 | 0.1188 | 1 | 1 | 0.0001797 | 0.1207 | 0.1327 | 0.05061 | 0.225 | 1.893 | 0.9997 | 0.4389 | 0.8181 | 1 | 1 | 0.06988 | 0.2424 | 0.05687 | 0.4737 | 1.643 | 0.3855 | json |
| t12_x10_u3_b70 | 12 | 10 | 3 | 70 | ![]() |
flr(lrg(D,pow(P,D))) | 28091 | 97851895 | o1(o2(x,o2(x,x))) | true | 54575 | 54575 | 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_b71 | 12 | 10 | 3 | 71 | ![]() |
flr(lrg(D,mod(P,D))) | 28092 | 97851896 | o1(o2(x,o2(x,x))) | true | 54583 | 54583 | 0.4886 | 0.9883 | 0.4886 | 0.142 | 0.3768 | 0 | 0.9997 | 0.9997 | 1 | 3.399 | 0.08716 | 0 | 0.145 | 1 | 1 | -1.419e-9 | 0.2038 | 0.1795 | 0.0661 | 0.2571 | 1.773 | 0.9997 | 0.6139 | 1.436 | 1 | 1 | 0.07039 | 0.2393 | 0.01004 | 0.4958 | 1.685 | 0.07074 | json |
| t12_x10_u3_b72 | 12 | 10 | 3 | 72 | ![]() |
flr(lrg(D,lrg(P,D))) | 28093 | 97851897 | o1(o2(x,o2(x,x))) | true | 54591 | 54591 | 0.2813 | 0.5625 | 0.2813 | 0.1413 | 0.3759 | 0 | 0.9997 | 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_x10_u3_b73 | 12 | 10 | 3 | 73 | ![]() |
flr(lrg(D,eql(P,D))) | 28094 | 97851898 | o1(o2(x,o2(x,x))) | true | 54599 | 54599 | 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_u3_b74 | 12 | 10 | 3 | 74 | ![]() |
flr(lrg(D,min(P,D))) | 28095 | 97851899 | o1(o2(x,o2(x,x))) | true | 54607 | 54607 | 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_b75 | 12 | 10 | 3 | 75 | ![]() |
flr(lrg(D,dot(P,D))) | 28096 | 97851900 | o1(o2(x,o2(x,x))) | true | 54615 | 54615 | 0.5396 | 1 | 0.5396 | 0.1029 | 0.3207 | 0.000291 | 1 | 0.9997 | 1 | 3.827 | 0.03345 | 0.03326 | 0.1424 | 0.002863 | 1 | -0.0009411 | 0.2094 | 0.1768 | 0.04643 | 0.2155 | 1.513 | 1.414 | 0.6486 | 2.036 | 1 | 1 | 0.06996 | 0.2283 | 0.06515 | 0.6801 | 2.219 | 0.6334 | json |
| t12_x10_u3_b76 | 12 | 10 | 3 | 76 | ![]() |
flr(lrg(D,dst(P,D))) | 28097 | 97851901 | o1(o2(x,o2(x,x))) | true | 54623 | 54623 | 0.0002745 | 0.004578 | 0.0002745 | 0.00005835 | 0.007639 | 0 | 0.4414 | 0.4414 | 1 | 0.01717 | 0.00003931 | 0.000009054 | 0.0002599 | 0.6256 | 0 | -1.962e-12 | 0.0001369 | 0.0003767 | 0.00004826 | 0.006947 | 26.73 | 0.4973 | 0.8289 | 2.346 | 1 | 1 | 0.00007944 | 0.0001845 | 0.0002021 | 1.361 | 3.162 | 3.464 | json |
| t12_x10_u3_b77 | 12 | 10 | 3 | 77 | ![]() |
flr(eql(D,add(P,D))) | 28098 | 97851902 | o1(o2(x,o2(x,x))) | true | 54631 | 54631 | 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_b78 | 12 | 10 | 3 | 78 | ![]() |
flr(eql(D,sub(P,D))) | 28099 | 97851903 | o1(o2(x,o2(x,x))) | true | 54639 | 54639 | 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 |



































































































