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_x3_u3_b108 12 3 3 108 flr(dot(P,dot(D,P))) 22200 97569126 o1(o2(x,o2(x,x))) true 7447 7447 -0.1192 0.4184 0.8339 0.7763 0.8811 -1 1 2 1 2.91 0.1431 0.1431 0.2573 0.000003332 1 -0.0004353 0.6817 0.4142 0.2201 0.4692 1.823 2.828 0.3687 0.8782 1 1 0.2661 1.018 0.3511 0.3427 1.311 0.4522 json
t12_x3_u3_b109 12 3 3 109 flr(dot(P,dst(D,P))) 22201 97569127 o1(o2(x,o2(x,x))) true 7455 7455 -0.005298 0.4978 0.9775 0.9718 0.9858 -1 1 2 1 1.371 0.003336 0.003336 0.01314 -3.489e-8 1 0.000001279 0.007471 0.01088 0.006502 0.08063 6.136 1.709 0.006866 0.007688 1 1 0.01268 0.09567 0.5308 0.01304 0.09845 0.5462 json
t12_x3_u3_b110 12 3 3 110 flr(dst(P,add(D,P))) 22202 97569128 o1(o2(x,o2(x,x))) true 7463 7463 0.002387 0.5469 0.002387 0.0000194 0.004405 0 0.01937 0.01937 1 0 0.00002643 0.00002643 0.004122 1.376e-7 0 -0.00002229 0.0002509 0.008064 0.00003587 0.005989 1.453 0.02739 2.724 12.93 1 1 0.00004054 0.00003161 0 2.089 1.629 0 json
t12_x3_u3_b111 12 3 3 111 flr(dst(P,sub(D,P))) 22203 97569129 o1(o2(x,o2(x,x))) true 7471 7471 0.9983 1 0.9983 0.001194 0.03456 0.001164 1 0.9988 1 0.04274 0.00005151 0.00005151 0.0005732 -3.531e-7 1 -5.632e-11 0.00004004 0.0003397 0.0001028 0.01014 17.69 0.245 0.08625 0.03352 1 1 0.0003367 0.002996 0.004353 0.2819 2.509 3.644 json
t12_x3_u3_b112 12 3 3 112 flr(dst(P,mlt(D,P))) 22204 97569130 o1(o2(x,o2(x,x))) true 7479 7479 0.989 0.9969 0.989 0.008511 0.09226 0 1 1 1 0.1991 0.0006492 0.0006492 0.003287 1.793e-7 1 3.754e-11 0.002628 0.004025 0.001286 0.03586 10.91 1.048 0.1525 0.3088 1 1 0.002615 0.01031 0.02731 0.3073 1.211 3.209 json
t12_x3_u3_b113 12 3 3 113 flr(dst(P,div(D,P))) 22205 97569131 o1(o2(x,o2(x,x))) true 7487 7487 -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_x3_u3_b114 12 3 3 114 flr(dst(P,pow(D,P))) 22206 97569132 o1(o2(x,o2(x,x))) true 7495 7495 -0.9922 0.003906 1 0.01556 0.1248 -1 1 2 1 0.03687 0.002016 0.002016 0.001997 0 1 0 0.008566 0.004031 0.004025 0.06344 31.77 2.828 0.259 0.5504 1 1 0.007091 0.02837 0.05673 0.4556 1.823 3.645 json
t12_x3_u3_b115 12 3 3 115 flr(dst(P,mod(D,P))) 22207 97569133 o1(o2(x,o2(x,x))) true 7503 7503 -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_x3_u3_b116 12 3 3 116 flr(dst(P,lrg(D,P))) 22208 97569134 o1(o2(x,o2(x,x))) true 7511 7511 0.9996 1 0.9996 0.0003033 0.01742 0.001164 1 0.9988 1 0.01227 0.00008386 0.00008386 0.0002927 -4.338e-8 1 -3.754e-12 0.0003398 0.000423 0.0001676 0.01295 44.23 1.413 0.553 1.12 1 1 0.0003296 0.001102 0.001102 1.087 3.634 3.634 json
t12_x3_u3_b117 12 3 3 117 flr(dst(P,eql(D,P))) 22209 97569135 o1(o2(x,o2(x,x))) true 7519 7519 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_x3_u3_b118 12 3 3 118 flr(dst(P,min(D,P))) 22210 97569136 o1(o2(x,o2(x,x))) true 7527 7527 0.6954 0.7506 0.6954 0.2004 0.4477 0 1 1 1 1.373 0.002589 0.002589 0.01278 4.947e-7 1 4.295e-9 0.008761 0.01167 0.005009 0.07077 5.537 1.207 0.02583 0.04371 1 1 0.008196 0.03227 0.07788 0.0409 0.161 0.3886 json
t12_x3_u3_b119 12 3 3 119 flr(dst(P,dot(D,P))) 22211 97569137 o1(o2(x,o2(x,x))) true 7535 7535 0.9901 0.9986 0.9901 0.007711 0.08781 0 1 1 1 0.1725 0.0006407 0.0006407 0.002994 -0.000001136 1 6.007e-11 0.00306 0.004201 0.001272 0.03566 11.91 1.331 0.1662 0.3968 1 1 0.002469 0.01012 0.0254 0.3201 1.312 3.294 json
t12_x3_u3_b120 12 3 3 120 flr(dst(P,dst(D,P))) 22212 97569138 o1(o2(x,o2(x,x))) true 7543 7543 0.9985 1 0.9985 0.001029 0.03207 0.001164 1 0.9988 1 0.03667 0.00006913 0.00006913 0.0006229 -2.105e-7 1 -1.126e-11 0.0001588 0.0005451 0.0001377 0.01174 18.84 0.4372 0.1344 0.1543 1 1 0.0003777 0.002848 0.003747 0.3672 2.768 3.642 json
t12_x3_u4_b0 12 3 4 0 cil(add(P,add(D,P))) 22213 97569219 o1(o2(x,o2(x,x))) true 7551 7551 0.03125 0.5 0.9688 0.9603 0.98 -1 1 2 1 1.406 0.004323 0 0.007937 1 1 0 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_x3_u4_b1 12 3 4 1 cil(add(P,sub(D,P))) 22214 97569220 o1(o2(x,o2(x,x))) true 7559 7559 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_x3_u4_b2 12 3 4 2 cil(add(P,mlt(D,P))) 22215 97569221 o1(o2(x,o2(x,x))) true 7567 7567 0.01793 0.5 0.9196 0.9028 0.9502 -1 1 2 1 1.956 0.005552 0 0.01586 1 1 9.461e-10 0.008577 0.01222 0.005296 0.07278 4.587 0.9988 0.006149 0.0095 1 1 0.009039 0.03875 0.2076 0.01001 0.04292 0.23 json
t12_x3_u4_b3 12 3 4 3 cil(add(P,div(D,P))) 22216 97569222 o1(o2(x,o2(x,x))) true 7575 7575 -0.1035 0.4375 0.9785 0.9645 0.9821 -1 1 2 1 1.238 0.02049 0 0.01587 1 1 0 0.03992 0.0256 0.02023 0.1422 8.964 2 0.02124 0.04139 1 1 0.02788 0.1081 0.3607 0.0289 0.1121 0.374 json
t12_x3_u4_b4 12 3 4 4 cil(add(P,pow(D,P))) 22217 97569223 o1(o2(x,o2(x,x))) true 7583 7583 -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_x3_u4_b5 12 3 4 5 cil(add(P,mod(D,P))) 22218 97569224 o1(o2(x,o2(x,x))) true 7591 7591 -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_x3_u4_b6 12 3 4 6 cil(add(P,lrg(D,P))) 22219 97569225 o1(o2(x,o2(x,x))) true 7599 7599 0.09375 0.5 0.9063 0.89 0.9434 -1 1 2 1 1.668 0.004321 0 0.007937 1 1 4.731e-10 0.007953 0.008864 0.004257 0.06525 8.221 1 0.004855 0.008935 1 1 0.006189 0.0332 0.2014 0.006953 0.0373 0.2263 json
t12_x3_u4_b7 12 3 4 7 cil(add(P,eql(D,P))) 22220 97569226 o1(o2(x,o2(x,x))) true 7607 7607 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_x3_u4_b8 12 3 4 8 cil(add(P,min(D,P))) 22221 97569227 o1(o2(x,o2(x,x))) true 7615 7615 -0.009727 0.5 0.9472 0.9365 0.9677 -1 1 2 1 1.65 0.001005 0 0.007937 1 1 4.731e-10 0.0001502 0.002719 0.0009424 0.0307 3.868 0.2265 0.001073 0.0001604 1 1 0.002565 0.02848 0.2515 0.002739 0.03041 0.2686 json
t12_x3_u4_b9 12 3 4 9 cil(add(P,dot(D,P))) 22222 97569228 o1(o2(x,o2(x,x))) true 7623 7623 0.0285 0.5141 0.9367 0.9177 0.958 -1 1 2 1 1.943 0.00365 0.01397 0.03849 -0.5857 1 0.0005972 0.04678 0.0594 0.01614 0.127 3.3 1.412 0.0192 0.05098 1 1 0.01949 0.07895 0.2385 0.02123 0.08603 0.2599 json
t12_x3_u4_b10 12 3 4 10 cil(add(P,dst(D,P))) 22223 97569229 o1(o2(x,o2(x,x))) true 7631 7631 0.9674 1 0.9674 0.01896 0.1377 0.0005821 1 0.9994 1 0.6535 0.00453 0.001152 0.01407 0.5945 1 0.00003188 0.01467 0.01781 0.005478 0.07402 5.261 1.399 0.2997 0.7736 1 1 0.00657 0.02255 0.02089 0.3465 1.189 1.102 json
t12_x3_u4_b11 12 3 4 11 cil(sub(P,add(D,P))) 22224 97569230 o1(o2(x,o2(x,x))) true 7639 7639 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_x3_u4_b12 12 3 4 12 cil(sub(P,sub(D,P))) 22225 97569231 o1(o2(x,o2(x,x))) true 7647 7647 0.03125 0.5273 0.9688 0.9595 0.9796 -1 1 2 1 1.408 0.007092 0 0.01586 1 1 0 0.009138 0.01315 0.006835 0.08268 5.213 0.9983 0.007391 0.009524 1 1 0.01275 0.06237 0.2845 0.01329 0.065 0.2965 json
t12_x3_u4_b13 12 3 4 13 cil(sub(P,mlt(D,P))) 22226 97569232 o1(o2(x,o2(x,x))) true 7655 7655 0.04584 0.5 0.9111 0.9018 0.9496 -1 1 2 1 1.629 0.005541 0 0.01144 1 1 -1.183e-9 0.01012 0.01414 0.00541 0.07355 6.43 0.9997 0.006144 0.01123 1 1 0.007984 0.03243 0.2074 0.008854 0.03596 0.23 json
t12_x3_u4_b14 12 3 4 14 cil(sub(P,div(D,P))) 22227 97569233 o1(o2(x,o2(x,x))) true 7663 7663 0 0.5 1 1 1 -1 1 2 1 1 0.04762 0 0.02381 1 1 0 0.09524 0.04762 0.04704 0.2169 9.109 2 0.04762 0.09524 1 1 0.06316 0.2526 0.3368 0.06316 0.2526 0.3368 json
t12_x3_u4_b15 12 3 4 15 cil(sub(P,pow(D,P))) 22228 97569234 o1(o2(x,o2(x,x))) true 7671 7671 -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_x3_u4_b16 12 3 4 16 cil(sub(P,mod(D,P))) 22229 97569235 o1(o2(x,o2(x,x))) true 7679 7679 -0.1035 0.4375 0.9785 0.9645 0.9821 -1 1 2 1 1.238 0.02049 0 0.01587 1 1 0 0.03992 0.0256 0.02023 0.1422 8.964 2 0.02124 0.04139 1 1 0.02788 0.1081 0.3607 0.0289 0.1121 0.374 json
t12_x3_u4_b17 12 3 4 17 cil(sub(P,lrg(D,P))) 22230 97569236 o1(o2(x,o2(x,x))) true 7687 7687 -0.04098 0.4688 0.959 0.9453 0.9723 -1 1 2 1 1.571 0.006022 0 0.01586 1 1 0 0.008334 0.01158 0.005766 0.07594 4.787 0.9988 0.006371 0.008816 1 1 0.01045 0.06016 0.2663 0.01105 0.06364 0.2817 json
t12_x3_u4_b18 12 3 4 18 cil(sub(P,eql(D,P))) 22231 97569237 o1(o2(x,o2(x,x))) true 7695 7695 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_x3_u4_b19 12 3 4 19 cil(sub(P,min(D,P))) 22232 97569238 o1(o2(x,o2(x,x))) true 7703 7703 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_x3_u4_b20 12 3 4 20 cil(sub(P,dot(D,P))) 22233 97569239 o1(o2(x,o2(x,x))) true 7711 7711 0.09139 0.5503 0.9355 0.909 0.9534 -1 1 2 1 1.935 0.004007 0.01412 0.03798 -0.558 1 -0.0004096 0.05188 0.06237 0.0167 0.1292 3.402 1.414 0.01994 0.05707 1 1 0.01939 0.07492 0.2368 0.02133 0.08242 0.2605 json
t12_x3_u4_b21 12 3 4 21 cil(sub(P,dst(D,P))) 22234 97569240 o1(o2(x,o2(x,x))) true 7719 7719 -0.7948 0.102 0.8601 0.2008 0.4481 -1 0.9994 1.999 1 1.712 0.007823 0.004116 0.03095 0.3105 1 0.00001564 0.0345 0.03793 0.01099 0.1048 3.386 1.404 0.05945 0.1718 1 1 0.01533 0.059 0.1503 0.07637 0.2938 0.7483 json
t12_x3_u4_b22 12 3 4 22 cil(mlt(P,add(D,P))) 22235 97569241 o1(o2(x,o2(x,x))) true 7727 7727 0.9375 1 0.9375 0.04507 0.2123 0.000291 1 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_x3_u4_b23 12 3 4 23 cil(mlt(P,sub(D,P))) 22236 97569242 o1(o2(x,o2(x,x))) true 7735 7735 -0.9082 0 0.9082 0.06515 0.2553 -1 -0.000291 0.9997 1 1.05 0.0107 0 0.02378 1 1 -9.461e-10 0.01748 0.02292 0.01013 0.1007 4.233 0.9983 0.1642 0.2683 1 1 0.01678 0.04603 0.09782 0.2575 0.7065 1.501 json
t12_x3_u4_b24 12 3 4 24 cil(mlt(P,mlt(D,P))) 22237 97569243 o1(o2(x,o2(x,x))) true 7743 7743 0.1844 0.6172 0.7528 0.6782 0.8235 -1 1 2 1 2.91 0.2225 0 0.2155 1 1 -9.461e-10 0.3617 0.3116 0.1761 0.4197 1.948 1.992 0.3281 0.5333 1 1 0.2061 0.8377 0.1246 0.3039 1.235 0.1838 json
t12_x3_u4_b25 12 3 4 25 cil(mlt(P,div(D,P))) 22238 97569244 o1(o2(x,o2(x,x))) true 7751 7751 0.3125 0.875 0.5625 0.3702 0.6084 -1 0.9997 2 1 3.523 0.07235 0 0.1149 1 1 0 0.1364 0.1318 0.05916 0.2432 2.118 2 0.1955 0.3685 1 1 0.0796 0.2919 0.4028 0.215 0.7886 1.088 json
t12_x3_u4_b26 12 3 4 26 cil(mlt(P,pow(D,P))) 22239 97569245 o1(o2(x,o2(x,x))) true 7759 7759 -0.9736 0 0.9736 0.02231 0.1494 -1 -0.000291 0.9997 1 0.2758 0.005353 0 0.007934 1 1 0 0.01002 0.01237 0.005289 0.07272 9.166 0.9997 0.2399 0.449 1 1 0.007555 0.031 0.031 0.3386 1.389 1.389 json
t12_x3_u4_b27 12 3 4 27 cil(mlt(P,mod(D,P))) 22240 97569246 o1(o2(x,o2(x,x))) true 7767 7767 0.1725 0.6953 0.5749 0.4462 0.668 -1 1 2 1 3.999 0.1489 0 0.2395 1 1 0.006679 0.326 0.3773 0.09158 0.3026 1.264 1.999 0.3337 0.7307 1 1 0.134 0.4296 0.3797 0.3004 0.9629 0.851 json
t12_x3_u4_b28 12 3 4 28 cil(mlt(P,lrg(D,P))) 22241 97569247 o1(o2(x,o2(x,x))) true 7775 7775 -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_x3_u4_b29 12 3 4 29 cil(mlt(P,eql(D,P))) 22242 97569248 o1(o2(x,o2(x,x))) true 7783 7783 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_x3_u4_b30 12 3 4 30 cil(mlt(P,min(D,P))) 22243 97569249 o1(o2(x,o2(x,x))) true 7791 7791 0.6175 0.8477 0.6937 0.2562 0.5061 -0.8866 1 1.887 1 2.704 0.06432 0 0.1214 1 1 0.003339 0.1391 0.1816 0.04957 0.2226 1.834 0.9994 0.2511 0.5431 1 1 0.05348 0.1903 0.09035 0.2088 0.7427 0.3527 json
t12_x3_u4_b31 12 3 4 31 cil(mlt(P,dot(D,P))) 22244 97569250 o1(o2(x,o2(x,x))) true 7799 7799 0.1425 0.587 0.7917 0.7223 0.8499 -1 1 2 1 3.14 0.1549 0.1075 0.2553 0.1805 1 0.0007582 0.614 0.4031 0.1972 0.4441 1.739 2.828 0.3632 0.8502 1 1 0.2402 0.9465 0.2338 0.3326 1.31 0.3237 json
t12_x3_u4_b32 12 3 4 32 cil(mlt(P,dst(D,P))) 22245 97569251 o1(o2(x,o2(x,x))) true 7807 7807 0.003394 0.5 0.9656 0.9595 0.9796 -1 1 2 1 1.445 0.002141 0.00008732 0.008641 0.9216 1 -1.032e-11 0.001834 0.006517 0.002155 0.04642 5.372 1.205 0.002322 0.001911 1 1 0.004667 0.03753 0.2794 0.004864 0.03912 0.2911 json
t12_x3_u4_b33 12 3 4 33 cil(div(P,add(D,P))) 22246 97569252 o1(o2(x,o2(x,x))) true 7815 7815 0.9678 1 0.9678 0.02363 0.1537 0.009314 1 0.9907 1 0.3941 0.001528 0 0.007863 1 1 0 0.001086 0.006006 0.001465 0.03828 4.868 0.3082 0.06463 0.04595 1 1 0.003332 0.02747 0.03326 0.141 1.162 1.407 json
t12_x3_u4_b34 12 3 4 34 cil(div(P,sub(D,P))) 22247 97569253 o1(o2(x,o2(x,x))) true 7823 7823 -0.4509 0 0.4509 0.1499 0.3872 -0.9997 0 0.9997 1 3.61 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_x3_u4_b35 12 3 4 35 cil(div(P,mlt(D,P))) 22248 97569254 o1(o2(x,o2(x,x))) true 7831 7831 -0.06597 0.4375 0.941 0.915 0.9566 -1 1 2 1 1.498 0.3077 0 0.2143 1 1 0 0.5376 0.3434 0.2618 0.5117 2.388 2 0.3363 0.5876 1 1 0.333 1.49 0.3441 0.3639 1.628 0.376 json
t12_x3_u4_b36 12 3 4 36 cil(div(P,div(D,P))) 22249 97569255 o1(o2(x,o2(x,x))) true 7839 7839 0.01739 0.5117 0.9396 0.9288 0.9637 -1 1 2 1 1.624 0.4153 0 0.2302 1 1 0 0.7981 0.4258 0.3622 0.6018 2.615 2 0.4472 0.8593 1 1 0.4145 1.537 0.1879 0.4462 1.655 0.2023 json
t12_x3_u4_b37 12 3 4 37 cil(div(P,pow(D,P))) 22250 97569256 o1(o2(x,o2(x,x))) true 7847 7847 -0.9375 0 0.9375 0.05859 0.2421 -1 0 1 1 0.3373 0.007937 0 0.007937 1 1 0 0.01587 0.01587 0.007872 0.08872 11.18 1 0.1354 0.2709 1 1 0.01053 0.04211 0.08421 0.1796 0.7186 1.437 json
t12_x3_u4_b38 12 3 4 38 cil(div(P,mod(D,P))) 22251 97569257 o1(o2(x,o2(x,x))) true 7855 7855 -0.1347 0.4375 0.9903 0.9678 0.9838 -1 1 2 1 1.158 0.4148 0 0.2222 1 1 -1.892e-9 0.8 0.4247 0.3654 0.6045 2.72 2 0.4286 0.8266 1 1 0.4119 1.701 0.3198 0.4256 1.758 0.3304 json
t12_x3_u4_b39 12 3 4 39 cil(div(P,lrg(D,P))) 22252 97569258 o1(o2(x,o2(x,x))) true 7863 7863 -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_x3_u4_b40 12 3 4 40 cil(div(P,eql(D,P))) 22253 97569259 o1(o2(x,o2(x,x))) true 7871 7871 -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_x3_u4_b41 12 3 4 41 cil(div(P,min(D,P))) 22254 97569260 o1(o2(x,o2(x,x))) true 7879 7879 0.4014 0.7188 0.9639 0.7939 0.891 -1 1 2 1 1.379 0.2117 0 0.119 1 1 -9.461e-10 0.4079 0.2211 0.1977 0.4446 3.735 2 0.2667 0.5138 1 1 0.2175 0.9326 0.2955 0.2739 1.175 0.3723 json
t12_x3_u4_b42 12 3 4 42 cil(div(P,dot(D,P))) 22255 97569261 o1(o2(x,o2(x,x))) true 7887 7887 0.09504 0.5679 0.8296 0.7722 0.8788 -1 1 2 1 2.955 0.3871 0.3573 0.4557 0.04005 1 -0.000283 2.615 0.8477 0.5366 0.7325 1.607 2.828 0.964 3.387 1 1 0.714 1.928 0.7914 0.9246 2.497 1.025 json
t12_x3_u4_b43 12 3 4 43 cil(div(P,dst(D,P))) 22256 97569262 o1(o2(x,o2(x,x))) true 7895 7895 0.4323 0.5 0.5052 0.2967 0.5447 -0.9994 1 1.999 1 2.229 0.005082 0.001211 0.01902 0.615 1 0.00003734 0.01556 0.01914 0.005934 0.07703 4.049 1.399 0.02122 0.05245 1 1 0.007906 0.03617 0.1002 0.02665 0.1219 0.3377 json
t12_x3_u4_b44 12 3 4 44 cil(pow(P,add(D,P))) 22257 97569263 o1(o2(x,o2(x,x))) true 7903 7903 -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_x3_u4_b45 12 3 4 45 cil(pow(P,sub(D,P))) 22258 97569264 o1(o2(x,o2(x,x))) true 7911 7911 -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_x3_u4_b46 12 3 4 46 cil(pow(P,mlt(D,P))) 22259 97569265 o1(o2(x,o2(x,x))) true 7919 7919 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_x3_u4_b47 12 3 4 47 cil(pow(P,div(D,P))) 22260 97569266 o1(o2(x,o2(x,x))) true 7927 7927 -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_x3_u4_b48 12 3 4 48 cil(pow(P,pow(D,P))) 22261 97569267 o1(o2(x,o2(x,x))) true 7935 7935 -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_x3_u4_b49 12 3 4 49 cil(pow(P,mod(D,P))) 22262 97569268 o1(o2(x,o2(x,x))) true 7943 7943 -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_x3_u4_b50 12 3 4 50 cil(pow(P,lrg(D,P))) 22263 97569269 o1(o2(x,o2(x,x))) true 7951 7951 -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_x3_u4_b51 12 3 4 51 cil(pow(P,eql(D,P))) 22264 97569270 o1(o2(x,o2(x,x))) true 7959 7959 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_x3_u4_b52 12 3 4 52 cil(pow(P,min(D,P))) 22265 97569271 o1(o2(x,o2(x,x))) true 7967 7967 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_x3_u4_b53 12 3 4 53 cil(pow(P,dot(D,P))) 22266 97569272 o1(o2(x,o2(x,x))) true 7975 7975 -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_x3_u4_b54 12 3 4 54 cil(pow(P,dst(D,P))) 22267 97569273 o1(o2(x,o2(x,x))) true 7983 7983 -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_x3_u4_b55 12 3 4 55 cil(mod(P,add(D,P))) 22268 97569274 o1(o2(x,o2(x,x))) true 7991 7991 0.159 0.4961 0.7785 0.7238 0.8508 -1 1 2 1 2.664 0.03425 0 0.05865 1 1 0.0006289 0.05953 0.07312 0.0308 0.1755 2.992 0.9997 0.04732 0.08225 1 1 0.03608 0.121 0.1551 0.04985 0.1672 0.2143 json
t12_x3_u4_b56 12 3 4 56 cil(mod(P,sub(D,P))) 22269 97569275 o1(o2(x,o2(x,x))) true 7999 7999 0.1087 0.5 0.8288 0.7857 0.8864 -1 1 2 1 2.549 0.03563 0 0.06341 1 1 2.365e-9 0.06116 0.07699 0.03161 0.1778 2.804 0.9991 0.04535 0.07785 1 1 0.03828 0.1124 0.1802 0.04873 0.1431 0.2293 json
t12_x3_u4_b57 12 3 4 57 cil(mod(P,mlt(D,P))) 22270 97569276 o1(o2(x,o2(x,x))) true 8007 8007 0.1612 0.4375 0.6513 0.6084 0.78 -1 1 2 1 2.226 0.07241 0 0.09046 1 1 0.0001181 0.1503 0.1616 0.06427 0.2535 2.803 1 0.119 0.247 1 1 0.0733 0.1778 0.426 0.1205 0.2923 0.7001 json
t12_x3_u4_b58 12 3 4 58 cil(mod(P,div(D,P))) 22271 97569277 o1(o2(x,o2(x,x))) true 8015 8015 0.2809 0.4453 0.5309 0.4511 0.6717 -1 1 2 1 1.471 0.05866 0 0.06021 1 1 8.513e-9 0.1398 0.1125 0.05506 0.2346 3.897 1 0.13 0.3099 1 1 0.06289 0.152 0.431 0.1394 0.337 0.9554 json
t12_x3_u4_b59 12 3 4 59 cil(mod(P,pow(D,P))) 22272 97569278 o1(o2(x,o2(x,x))) true 8023 8023 -0.9688 0 0.9688 0.02351 0.1533 -1 -0.000291 0.9997 1 0.459 0.004319 0 0.007934 1 1 0 0.008002 0.008862 0.004255 0.06523 8.221 0.9997 0.1837 0.3404 1 1 0.00615 0.02664 0.03299 0.2616 1.133 1.403 json
t12_x3_u4_b60 12 3 4 60 cil(mod(P,mod(D,P))) 22273 97569279 o1(o2(x,o2(x,x))) true 8031 8031 0.2502 0.4375 0.5002 0.4374 0.6614 -1 1 2 1 1.406 0.07444 0 0.07491 1 1 1.183e-8 0.1713 0.1419 0.06882 0.2623 3.502 1 0.1702 0.3916 1 1 0.06809 0.1572 0.3994 0.1557 0.3595 0.9131 json
t12_x3_u4_b61 12 3 4 61 cil(mod(P,lrg(D,P))) 22274 97569280 o1(o2(x,o2(x,x))) true 8039 8039 -0.5625 0 0.5625 0.2461 0.4961 -1 0 1 1 0.9887 0.003968 0 0.003968 1 1 0 0.007937 0.007937 0.003952 0.06287 15.84 1 0.01612 0.03225 1 1 0.005263 0.02105 0.08421 0.02139 0.08555 0.3422 json
t12_x3_u4_b62 12 3 4 62 cil(mod(P,eql(D,P))) 22275 97569281 o1(o2(x,o2(x,x))) true 8047 8047 -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_x3_u4_b63 12 3 4 63 cil(mod(P,min(D,P))) 22276 97569282 o1(o2(x,o2(x,x))) true 8055 8055 0.06248 0.4375 0.688 0.6739 0.8209 -1 1 2 1 2.07 0.07851 0 0.08996 1 1 0.0006289 0.1735 0.1529 0.07041 0.2653 2.95 1 0.1165 0.2575 1 1 0.07479 0.2095 0.3408 0.111 0.3109 0.5058 json
t12_x3_u4_b64 12 3 4 64 cil(mod(P,dot(D,P))) 22277 97569283 o1(o2(x,o2(x,x))) true 8063 8063 0.1823 0.482 0.6706 0.5899 0.7681 -1 1 2 1 3.237 0.1465 0.1481 0.2702 -0.005342 1 0.001085 1.532 0.5996 0.2216 0.4708 1.742 2.828 0.4994 2.597 1 1 0.1809 0.2679 0.3516 0.3067 0.4541 0.5959 json
t12_x3_u4_b65 12 3 4 65 cil(mod(P,dst(D,P))) 22278 97569284 o1(o2(x,o2(x,x))) true 8071 8071 0.006758 0.5 0.9307 0.9148 0.9565 -1 1 2 1 1.909 0.003397 0.0006872 0.01439 0.6635 1 2.253e-11 0.008543 0.01178 0.00388 0.06229 4.329 1.344 0.004464 0.009338 1 1 0.005971 0.0346 0.2359 0.006527 0.03782 0.2579 json
t12_x3_u4_b66 12 3 4 66 cil(lrg(P,add(D,P))) 22279 97569285 o1(o2(x,o2(x,x))) true 8079 8079 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_x3_u4_b67 12 3 4 67 cil(lrg(P,sub(D,P))) 22280 97569286 o1(o2(x,o2(x,x))) true 8087 8087 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_x3_u4_b68 12 3 4 68 cil(lrg(P,mlt(D,P))) 22281 97569287 o1(o2(x,o2(x,x))) true 8095 8095 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_x3_u4_b69 12 3 4 69 cil(lrg(P,div(D,P))) 22282 97569288 o1(o2(x,o2(x,x))) true 8103 8103 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_x3_u4_b70 12 3 4 70 cil(lrg(P,pow(D,P))) 22283 97569289 o1(o2(x,o2(x,x))) true 8111 8111 0.6875 0.9375 0.6875 0.1607 0.4009 0 1 1 1 2.466 0.03057 0 0.05938 1 1 -0.00008984 0.05632 0.06286 0.02705 0.1645 2.77 0.9997 0.1902 0.3504 1 1 0.03151 0.1181 0.0751 0.1961 0.735 0.4672 json
t12_x3_u4_b71 12 3 4 71 cil(lrg(P,mod(D,P))) 22284 97569290 o1(o2(x,o2(x,x))) true 8119 8119 0.5313 0.5625 0.5313 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_x3_u4_b72 12 3 4 72 cil(lrg(P,lrg(D,P))) 22285 97569291 o1(o2(x,o2(x,x))) true 8127 8127 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_x3_u4_b73 12 3 4 73 cil(lrg(P,eql(D,P))) 22286 97569292 o1(o2(x,o2(x,x))) true 8135 8135 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_x3_u4_b74 12 3 4 74 cil(lrg(P,min(D,P))) 22287 97569293 o1(o2(x,o2(x,x))) true 8143 8143 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_x3_u4_b75 12 3 4 75 cil(lrg(P,dot(D,P))) 22288 97569294 o1(o2(x,o2(x,x))) true 8151 8151 0.5075 0.7453 0.5075 0.2098 0.458 0 1 1 1 2.38 0.002912 0.01088 0.04175 -0.5778 1 -0.0002407 0.03746 0.05267 0.01205 0.1098 2.63 1.341 0.06574 0.1785 1 1 0.01446 0.05012 0.07181 0.06893 0.2389 0.3423 json
t12_x3_u4_b76 12 3 4 76 cil(lrg(P,dst(D,P))) 22289 97569295 o1(o2(x,o2(x,x))) true 8159 8159 0.03624 0.14 0.03624 0.02006 0.1416 0 0.9994 0.9994 1 0.7425 0.004706 0.001199 0.01509 0.5939 1 -0.00003734 0.0154 0.0179 0.005672 0.07531 4.992 1.383 0.2943 0.7678 1 1 0.007138 0.02682 0.02248 0.3558 1.337 1.12 json
t12_x3_u4_b77 12 3 4 77 cil(eql(P,add(D,P))) 22290 97569296 o1(o2(x,o2(x,x))) true 8167 8167 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_x3_u4_b78 12 3 4 78 cil(eql(P,sub(D,P))) 22291 97569297 o1(o2(x,o2(x,x))) true 8175 8175 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_x3_u4_b79 12 3 4 79 cil(eql(P,mlt(D,P))) 22292 97569298 o1(o2(x,o2(x,x))) true 8183 8183 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_x3_u4_b80 12 3 4 80 cil(eql(P,div(D,P))) 22293 97569299 o1(o2(x,o2(x,x))) true 8191 8191 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_x3_u4_b81 12 3 4 81 cil(eql(P,pow(D,P))) 22294 97569300 o1(o2(x,o2(x,x))) true 8199 8199 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_x3_u4_b82 12 3 4 82 cil(eql(P,mod(D,P))) 22295 97569301 o1(o2(x,o2(x,x))) true 8207 8207 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_x3_u4_b83 12 3 4 83 cil(eql(P,lrg(D,P))) 22296 97569302 o1(o2(x,o2(x,x))) true 8215 8215 0.03125 0.0625 0.03125 0.02351 0.1533 0 0.9997 0.9997 1 0.459 0.004319 0 0.007934 1 1 -2.365e-10 0.008002 0.008862 0.004255 0.06523 8.221 0.9997 0.1837 0.3404 1 1 0.00615 0.02664 0.03299 0.2616 1.133 1.403 json
t12_x3_u4_b84 12 3 4 84 cil(eql(P,eql(D,P))) 22297 97569303 o1(o2(x,o2(x,x))) true 8223 8223 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_x3_u4_b85 12 3 4 85 cil(eql(P,min(D,P))) 22298 97569304 o1(o2(x,o2(x,x))) true 8231 8231 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_x3_u4_b86 12 3 4 86 cil(eql(P,dot(D,P))) 22299 97569305 o1(o2(x,o2(x,x))) true 8239 8239 0.005727 0.02557 0.005727 0.003169 0.05629 0 0.9994 0.9994 1 0.1685 0.001655 0.001655 0.006965 4.573e-7 1 -0.000003357 0.01679 0.01521 0.003259 0.05709 8.196 1.362 1.044 5.298 1 1 0.002071 0.00497 0.01057 0.6537 1.569 3.337 json