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_x6_u4_b46 12 6 4 46 cil(pow(P,mlt(R,P))) 24800 97690468 o1(o2(x,o2(x,x))) true 28247 28247 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_x6_u4_b47 12 6 4 47 cil(pow(P,div(R,P))) 24801 97690469 o1(o2(x,o2(x,x))) true 28255 28255 -0.1016 0.4531 0.9922 0.9808 0.9903 -1 1 2 1 1.12 0.01294 0.003616 0.0101 0.5632 1 -1.765e-10 0.03388 0.01859 0.01646 0.1283 12.7 2.828 0.01688 0.03455 1 1 0.02269 0.09441 0.3825 0.02313 0.09626 0.39 json
t12_x6_u4_b48 12 6 4 48 cil(pow(P,pow(R,P))) 24802 97690470 o1(o2(x,o2(x,x))) true 28263 28263 -0.8906 0.07031 0.9688 0.1686 0.4107 -1 1 2 1 0.5964 0.0212 0.002771 0.01776 0.7688 1 -3.004e-11 0.0478 0.02846 0.02367 0.1538 8.662 2 0.1421 0.2835 1 1 0.0272 0.1109 0.228 0.1613 0.6573 1.352 json
t12_x6_u4_b49 12 6 4 49 cil(pow(P,mod(R,P))) 24803 97690471 o1(o2(x,o2(x,x))) true 28271 28271 -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_x6_u4_b50 12 6 4 50 cil(pow(P,lrg(R,P))) 24804 97690472 o1(o2(x,o2(x,x))) true 28279 28279 -0.01367 0.5 0.9863 0.982 0.991 -1 1 2 1 1.244 0.01056 0.00005267 0.008426 0.9901 1 0.000002852 0.02084 0.01284 0.01054 0.1027 12.18 2 0.01081 0.02122 1 1 0.01414 0.06463 0.3207 0.0144 0.06582 0.3266 json
t12_x6_u4_b51 12 6 4 51 cil(pow(P,eql(R,P))) 24805 97690473 o1(o2(x,o2(x,x))) true 28287 28287 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_x6_u4_b52 12 6 4 52 cil(pow(P,min(R,P))) 24806 97690474 o1(o2(x,o2(x,x))) true 28295 28295 -0.09375 0.4531 1 0.9905 0.9952 -1 1 2 1 0.9937 0.01587 0.006047 0.0109 0.4483 1 0 0.04535 0.02192 0.0218 0.1477 13.54 2.828 0.02213 0.04579 1 1 0.02992 0.1197 0.4343 0.0302 0.1208 0.4385 json
t12_x6_u4_b53 12 6 4 53 cil(pow(P,dot(R,P))) 24807 97690475 o1(o2(x,o2(x,x))) true 28303 28303 -0.09375 0.457 0.9922 0.9807 0.9903 -1 1 2 1 1.135 0.01288 0.001223 0.008822 0.8266 1 -5.632e-11 0.02832 0.01562 0.01402 0.1184 13.42 2.828 0.01438 0.02887 1 1 0.01813 0.07836 0.3594 0.01849 0.0799 0.3665 json
t12_x6_u4_b54 12 6 4 54 cil(pow(P,dst(R,P))) 24808 97690476 o1(o2(x,o2(x,x))) true 28311 28311 -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_x6_u4_b55 12 6 4 55 cil(mod(P,add(R,P))) 24809 97690477 o1(o2(x,o2(x,x))) true 28319 28319 0.153 0.5 0.7845 0.7341 0.8568 -1 1 2 1 2.614 0.002676 0.003028 0.02811 -0.06157 1 0.0001716 0.002711 0.01576 0.004916 0.07011 2.494 0.4702 0.00777 0.003693 1 1 0.009034 0.0769 0.2927 0.01231 0.1048 0.3987 json
t12_x6_u4_b56 12 6 4 56 cil(mod(P,sub(R,P))) 24810 97690478 o1(o2(x,o2(x,x))) true 28327 28327 0.1457 0.5 0.7918 0.7433 0.8622 -1 1 2 1 2.61 0.002475 0.002811 0.02696 -0.06368 1 0.00008885 0.002524 0.01479 0.004561 0.06753 2.505 0.4702 0.007111 0.003396 1 1 0.008987 0.07992 0.2778 0.01209 0.1075 0.3737 json
t12_x6_u4_b57 12 6 4 57 cil(mod(P,mlt(R,P))) 24811 97690479 o1(o2(x,o2(x,x))) true 28335 28335 0.1993 0.4375 0.6757 0.6134 0.7832 -1 1 2 1 2.52 0.02085 0.0006015 0.02642 0.9439 1 0.00004323 0.03991 0.02821 0.02075 0.144 5.452 2 0.03497 0.06507 1 1 0.02834 0.1291 0.4747 0.0462 0.2105 0.7739 json
t12_x6_u4_b58 12 6 4 58 cil(mod(P,div(R,P))) 24812 97690480 o1(o2(x,o2(x,x))) true 28343 28343 0.3125 0.4375 0.5625 0.4648 0.6818 -1 1 2 1 1.419 0.01984 0 0.0119 1 1 0 0.03968 0.02381 0.01969 0.1403 11.79 2 0.04268 0.08537 1 1 0.02632 0.1053 0.4211 0.05661 0.2264 0.9058 json
t12_x6_u4_b59 12 6 4 59 cil(mod(P,pow(R,P))) 24813 97690481 o1(o2(x,o2(x,x))) true 28351 28351 -0.9509 0.02344 0.9782 0.06921 0.2631 -1 1 2 1 0.4455 0.007528 0.006519 0.01168 0.07187 1 -2.365e-10 0.02892 0.0183 0.01391 0.1179 10.09 2.828 0.203 0.4178 1 1 0.01155 0.04897 0.134 0.1669 0.7075 1.936 json
t12_x6_u4_b60 12 6 4 60 cil(mod(P,mod(R,P))) 24814 97690482 o1(o2(x,o2(x,x))) true 28359 28359 0.3125 0.4375 0.5625 0.4648 0.6818 -1 1 2 1 1.419 0.01984 0 0.0119 1 1 0 0.03968 0.02381 0.01969 0.1403 11.79 2 0.04268 0.08537 1 1 0.02632 0.1053 0.4211 0.05661 0.2264 0.9058 json
t12_x6_u4_b61 12 6 4 61 cil(mod(P,lrg(R,P))) 24815 97690483 o1(o2(x,o2(x,x))) true 28367 28367 -0.5469 0 0.5469 0.2476 0.4976 -1 0 1 1 0.9937 0.003968 0.001512 0.005452 0.4483 1 0 0.01134 0.01096 0.005451 0.07383 13.54 1.414 0.02213 0.04579 1 1 0.007479 0.02992 0.1086 0.0302 0.1208 0.4385 json
t12_x6_u4_b62 12 6 4 62 cil(mod(P,eql(R,P))) 24816 97690484 o1(o2(x,o2(x,x))) true 28375 28375 -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_x6_u4_b63 12 6 4 63 cil(mod(P,min(R,P))) 24817 97690485 o1(o2(x,o2(x,x))) true 28383 28383 0.1208 0.4609 0.7776 0.7507 0.8664 -1 1 2 1 2.117 0.01664 0.002564 0.02583 0.733 1 0.0006289 0.03274 0.0301 0.01853 0.1361 5.27 2.828 0.02558 0.04362 1 1 0.0291 0.1447 0.4249 0.03877 0.1927 0.566 json
t12_x6_u4_b64 12 6 4 64 cil(mod(P,dot(R,P))) 24818 97690486 o1(o2(x,o2(x,x))) true 28391 28391 0.1411 0.4922 0.7886 0.734 0.8568 -1 1 2 1 2.767 0.004558 0.003242 0.02865 0.1686 1 0.0001287 0.009478 0.01617 0.006981 0.08355 2.916 2.828 0.01063 0.01291 1 1 0.0134 0.09342 0.3712 0.01825 0.1273 0.5058 json
t12_x6_u4_b65 12 6 4 65 cil(mod(P,dst(R,P))) 24819 97690487 o1(o2(x,o2(x,x))) true 28399 28399 0.02243 0.5 0.9151 0.8985 0.9479 -1 1 2 1 1.993 0.001051 0.0007542 0.01222 0.1644 1 0.00004865 0.0006864 0.005025 0.001657 0.04071 3.33 0.4702 0.002009 0.0007639 1 1 0.003625 0.03837 0.2562 0.004034 0.04271 0.2851 json
t12_x6_u4_b66 12 6 4 66 cil(lrg(P,add(R,P))) 24820 97690488 o1(o2(x,o2(x,x))) true 28407 28407 0.5176 0.9429 0.5176 0.1537 0.3921 0 1 1 1 3.429 0.001972 0.002442 0.05168 -0.1065 1 0.00001781 0.0002592 0.01257 0.001744 0.04176 0.8079 0.1169 0.02872 0.001686 1 1 0.008731 0.1124 0.2862 0.0568 0.7316 1.862 json
t12_x6_u4_b67 12 6 4 67 cil(lrg(P,sub(R,P))) 24821 97690489 o1(o2(x,o2(x,x))) true 28415 28415 0.5039 0.5456 0.5039 0.2412 0.4911 0 1 1 1 1.415 0.0003238 0.0001053 0.004981 0.5091 1 0.000005704 0.00002256 0.001187 0.0004044 0.02011 4.037 0.1169 0.001779 0.00009352 1 1 0.001146 0.01504 0.08976 0.004753 0.06234 0.3721 json
t12_x6_u4_b68 12 6 4 68 cil(lrg(P,mlt(R,P))) 24822 97690490 o1(o2(x,o2(x,x))) true 28423 28423 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_x6_u4_b69 12 6 4 69 cil(lrg(P,div(R,P))) 24823 97690491 o1(o2(x,o2(x,x))) true 28431 28431 0.5039 0.5456 0.5039 0.2412 0.4911 0 1 1 1 1.415 0.0003238 0.0001053 0.004981 0.5091 1 0.000005704 0.00002256 0.001187 0.0004044 0.02011 4.037 0.1169 0.001779 0.00009352 1 1 0.001146 0.01504 0.08976 0.004753 0.06234 0.3721 json
t12_x6_u4_b70 12 6 4 70 cil(lrg(P,pow(R,P))) 24824 97690492 o1(o2(x,o2(x,x))) true 28439 28439 0.6973 0.9407 0.6973 0.1611 0.4014 0 1 1 1 2.432 0.001249 0.001126 0.02758 0.05192 1 -0.00001213 0.00013 0.006626 0.001615 0.04018 1.457 0.1169 0.01474 0.0008068 1 1 0.004847 0.06213 0.1947 0.03008 0.3856 1.208 json
t12_x6_u4_b71 12 6 4 71 cil(lrg(P,mod(R,P))) 24825 97690493 o1(o2(x,o2(x,x))) true 28447 28447 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_x6_u4_b72 12 6 4 72 cil(lrg(P,lrg(R,P))) 24826 97690494 o1(o2(x,o2(x,x))) true 28455 28455 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_x6_u4_b73 12 6 4 73 cil(lrg(P,eql(R,P))) 24827 97690495 o1(o2(x,o2(x,x))) true 28463 28463 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_x6_u4_b74 12 6 4 74 cil(lrg(P,min(R,P))) 24828 97690496 o1(o2(x,o2(x,x))) true 28471 28471 0.5039 0.5456 0.5039 0.2412 0.4911 0 1 1 1 1.415 0.0003238 0.0001053 0.004981 0.5091 1 0.000005704 0.00002256 0.001187 0.0004044 0.02011 4.037 0.1169 0.001779 0.00009352 1 1 0.001146 0.01504 0.08976 0.004753 0.06234 0.3721 json
t12_x6_u4_b75 12 6 4 75 cil(lrg(P,dot(R,P))) 24829 97690497 o1(o2(x,o2(x,x))) true 28479 28479 0.5117 0.7632 0.5117 0.1946 0.4411 0 1 1 1 2.719 0.001185 0.001347 0.02986 -0.06396 1 0.00001711 0.0001497 0.007269 0.001641 0.0405 1.356 0.1169 0.01301 0.0007692 1 1 0.005161 0.0666 0.2014 0.02652 0.3423 1.035 json
t12_x6_u4_b76 12 6 4 76 cil(lrg(P,dst(R,P))) 24830 97690498 o1(o2(x,o2(x,x))) true 28487 28487 0.05859 0.1298 0.05859 0.04026 0.2006 0 1 1 1 0.8457 0.0002966 0.0003752 0.007902 -0.117 1 0.00001141 0.00004128 0.00194 0.0006089 0.02467 3.123 0.1169 0.01669 0.001025 1 1 0.001622 0.0212 0.07572 0.04029 0.5265 1.881 json
t12_x6_u4_b77 12 6 4 77 cil(eql(P,add(R,P))) 24831 97690499 o1(o2(x,o2(x,x))) true 28495 28495 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_x6_u4_b78 12 6 4 78 cil(eql(P,sub(R,P))) 24832 97690500 o1(o2(x,o2(x,x))) true 28503 28503 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_x6_u4_b79 12 6 4 79 cil(eql(P,mlt(R,P))) 24833 97690501 o1(o2(x,o2(x,x))) true 28511 28511 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_x6_u4_b80 12 6 4 80 cil(eql(P,div(R,P))) 24834 97690502 o1(o2(x,o2(x,x))) true 28519 28519 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_x6_u4_b81 12 6 4 81 cil(eql(P,pow(R,P))) 24835 97690503 o1(o2(x,o2(x,x))) true 28527 28527 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_x6_u4_b82 12 6 4 82 cil(eql(P,mod(R,P))) 24836 97690504 o1(o2(x,o2(x,x))) true 28535 28535 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_x6_u4_b83 12 6 4 83 cil(eql(P,lrg(R,P))) 24837 97690505 o1(o2(x,o2(x,x))) true 28543 28543 0.03516 0.09119 0.03516 0.02431 0.1559 0 0.9997 0.9997 1 0.5835 0.0003631 0.0001053 0.005422 0.5502 1 0.000005704 0.00002431 0.001291 0.0004388 0.02095 3.863 0.1169 0.01927 0.001 1 1 0.001224 0.01595 0.05043 0.05036 0.656 2.074 json
t12_x6_u4_b84 12 6 4 84 cil(eql(P,eql(R,P))) 24838 97690506 o1(o2(x,o2(x,x))) true 28551 28551 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_x6_u4_b85 12 6 4 85 cil(eql(P,min(R,P))) 24839 97690507 o1(o2(x,o2(x,x))) true 28559 28559 0.4961 0.5378 0.4961 0.2412 0.4911 0 1 1 1 1.415 0.0003238 0.0001053 0.004981 0.5091 1 -0.000005705 0.00002256 0.001187 0.0004044 0.02011 4.037 0.1169 0.001779 0.00009352 1 1 0.001146 0.01504 0.08976 0.004753 0.06234 0.3721 json
t12_x6_u4_b86 12 6 4 86 cil(eql(P,dot(R,P))) 24840 97690508 o1(o2(x,o2(x,x))) true 28567 28567 0.003906 0.01477 0.003906 0.002383 0.04882 0 0.9994 0.9994 1 0.1068 0.00003512 0.00003512 0.0008419 7.252e-7 0 -5.638e-14 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_x6_u4_b87 12 6 4 87 cil(eql(P,dst(R,P))) 24841 97690509 o1(o2(x,o2(x,x))) true 28575 28575 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_x6_u4_b88 12 6 4 88 cil(min(P,add(R,P))) 24842 97690510 o1(o2(x,o2(x,x))) true 28583 28583 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_x6_u4_b89 12 6 4 89 cil(min(P,sub(R,P))) 24843 97690511 o1(o2(x,o2(x,x))) true 28591 28591 -0.9029 0 0.9029 0.07273 0.2697 -1 0 1 1 1.07 0.000776 0.0001765 0.009426 0.6293 1 -0.000009269 0.0001161 0.002663 0.0008635 0.02939 3.117 0.2265 0.0131 0.001597 1 1 0.002474 0.02983 0.1134 0.03401 0.4102 1.56 json
t12_x6_u4_b90 12 6 4 90 cil(min(P,mlt(R,P))) 24844 97690512 o1(o2(x,o2(x,x))) true 28599 28599 -0.397 0.3044 0.8228 0.6223 0.7889 -1 1 2 1 2.776 0.009004 0.009279 0.05332 -0.01507 1 -0.00004281 0.009595 0.02612 0.01545 0.1243 2.331 1.436 0.02938 0.01542 1 1 0.02504 0.2344 0.6325 0.04024 0.3766 1.016 json
t12_x6_u4_b91 12 6 4 91 cil(min(P,div(R,P))) 24845 97690513 o1(o2(x,o2(x,x))) true 28607 28607 -0.3389 0.4135 0.7393 0.5766 0.7593 -1 1 2 1 2.705 0.00947 0.004301 0.03294 0.3754 1 -0.00001853 0.02386 0.02117 0.01269 0.1127 3.42 2.828 0.02388 0.04138 1 1 0.0194 0.1118 0.3341 0.03365 0.1939 0.5795 json
t12_x6_u4_b92 12 6 4 92 cil(min(P,pow(R,P))) 24846 97690514 o1(o2(x,o2(x,x))) true 28615 28615 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_x6_u4_b93 12 6 4 93 cil(min(P,mod(R,P))) 24847 97690515 o1(o2(x,o2(x,x))) true 28623 28623 -0.2539 0.455 0.6836 0.5618 0.7495 -1 1 2 1 3.143 0.001448 0.001206 0.031 0.09096 1 -0.00002424 0.0001549 0.007528 0.001693 0.04114 1.327 0.1169 0.004724 0.0002756 1 1 0.005382 0.07012 0.2678 0.00958 0.1248 0.4768 json
t12_x6_u4_b94 12 6 4 94 cil(min(P,lrg(R,P))) 24848 97690516 o1(o2(x,o2(x,x))) true 28631 28631 -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_x6_u4_b95 12 6 4 95 cil(min(P,eql(R,P))) 24849 97690517 o1(o2(x,o2(x,x))) true 28639 28639 -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_x6_u4_b96 12 6 4 96 cil(min(P,min(R,P))) 24850 97690518 o1(o2(x,o2(x,x))) true 28647 28647 -0.2539 0.455 0.6836 0.5618 0.7495 -1 1 2 1 3.143 0.001448 0.001206 0.031 0.09096 1 -0.00002424 0.0001549 0.007528 0.001693 0.04114 1.327 0.1169 0.004724 0.0002756 1 1 0.005382 0.07012 0.2678 0.00958 0.1248 0.4768 json
t12_x6_u4_b97 12 6 4 97 cil(min(P,dot(R,P))) 24851 97690519 o1(o2(x,o2(x,x))) true 28655 28655 -0.4625 0.2743 0.9012 0.6596 0.8122 -1 1 2 1 2.129 0.01025 0.01287 0.04993 -0.1134 1 0.00001498 0.01566 0.03113 0.02063 0.1436 2.876 1.665 0.03506 0.02375 1 1 0.03028 0.2596 0.7731 0.04591 0.3935 1.172 json
t12_x6_u4_b98 12 6 4 98 cil(min(P,dst(R,P))) 24852 97690520 o1(o2(x,o2(x,x))) true 28663 28663 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_x6_u4_b99 12 6 4 99 cil(dot(P,add(R,P))) 24853 97690521 o1(o2(x,o2(x,x))) true 28671 28671 0.9979 1 0.9979 0.001411 0.03757 0.0008732 1 0.9991 1 0.05097 0.00004059 0.00006227 0.0006364 -0.2107 1 -1.502e-11 0.00003514 0.0003436 0.0001025 0.01012 15.91 0.2611 0.07289 0.0249 1 1 0.0003387 0.00316 0.005133 0.24 2.239 3.637 json
t12_x6_u4_b100 12 6 4 100 cil(dot(P,sub(R,P))) 24854 97690522 o1(o2(x,o2(x,x))) true 28679 28679 -0.9871 0 0.9871 0.01048 0.1024 -1 -8.471e-8 1 1 0.1944 0.0001812 0.0002152 0.002214 -0.086 1 8.635e-11 0.0001655 0.001159 0.0003918 0.0198 8.939 0.3839 0.03782 0.01579 1 1 0.001273 0.01146 0.03578 0.1214 1.093 3.414 json
t12_x6_u4_b101 12 6 4 101 cil(dot(P,mlt(R,P))) 24855 97690523 o1(o2(x,o2(x,x))) true 28687 28687 0.1105 0.5611 0.9478 0.9211 0.9597 -1 1 2 1 1.777 0.07418 0.08361 0.1143 -0.05978 1 -0.0000192 0.3302 0.1726 0.1448 0.3805 3.328 2.828 0.1713 0.3585 1 1 0.1522 0.8073 1.68 0.1652 0.8765 1.823 json
t12_x6_u4_b102 12 6 4 102 cil(dot(P,div(R,P))) 24856 97690524 o1(o2(x,o2(x,x))) true 28695 28695 0.06479 0.5891 0.6566 0.5834 0.7638 -1 1 2 1 3.745 0.02135 0.02564 0.07559 -0.09126 1 -0.00001019 0.08026 0.06021 0.04126 0.2031 2.687 2.828 0.08054 0.1376 1 1 0.06038 0.3274 1.057 0.1035 0.5612 1.812 json
t12_x6_u4_b103 12 6 4 103 cil(dot(P,pow(R,P))) 24857 97690525 o1(o2(x,o2(x,x))) true 28703 28703 -0.9844 0.007813 1 0.03101 0.1761 -1 1 2 1 0.06591 0.004031 0.002016 0.003005 0.3333 1 0 0.0126 0.006047 0.006035 0.07769 25.85 2.828 0.195 0.4063 1 1 0.01064 0.04255 0.1135 0.3431 1.372 3.659 json
t12_x6_u4_b104 12 6 4 104 cil(dot(P,mod(R,P))) 24858 97690526 o1(o2(x,o2(x,x))) true 28711 28711 -0.2324 0.3891 0.909 0.8284 0.9102 -1 1 2 1 2.21 0.03723 0.04353 0.0957 -0.07802 1 -0.000004856 0.1057 0.09591 0.07165 0.2677 2.797 2.429 0.09748 0.1276 1 1 0.1008 0.5917 1.429 0.1216 0.7142 1.725 json
t12_x6_u4_b105 12 6 4 105 cil(dot(P,lrg(R,P))) 24859 97690527 o1(o2(x,o2(x,x))) true 28719 28719 -0.7179 0 0.7179 0.1955 0.4421 -1 0 1 1 1.263 0.0001877 0.0001877 0.00417 0.000001628 1 5.134e-10 0.00002276 0.0009958 0.0003579 0.01892 4.537 0.1628 0.00192 0.0001164 1 1 0.001001 0.01303 0.08014 0.005121 0.06664 0.41 json
t12_x6_u4_b106 12 6 4 106 cil(dot(P,eql(R,P))) 24860 97690528 o1(o2(x,o2(x,x))) true 28727 28727 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_x6_u4_b107 12 6 4 107 cil(dot(P,min(R,P))) 24861 97690529 o1(o2(x,o2(x,x))) true 28735 28735 0.7657 0.8898 0.9509 0.3506 0.5921 -1 1 2 1 1.227 0.007648 0.008786 0.03144 -0.06924 1 -0.000005133 0.01207 0.0221 0.01544 0.1243 3.953 1.469 0.04687 0.03443 1 1 0.0188 0.1565 0.4047 0.05364 0.4463 1.154 json
t12_x6_u4_b108 12 6 4 108 cil(dot(P,dot(R,P))) 24862 97690530 o1(o2(x,o2(x,x))) true 28743 28743 0.1454 0.5751 0.9104 0.8698 0.9326 -1 1 2 1 2.07 0.05859 0.07334 0.1031 -0.1118 1 -0.00008252 0.2758 0.1478 0.1214 0.3484 3.377 2.828 0.1517 0.3171 1 1 0.126 0.675 1.597 0.1448 0.776 1.836 json
t12_x6_u4_b109 12 6 4 109 cil(dot(P,dst(R,P))) 24863 97690531 o1(o2(x,o2(x,x))) true 28751 28751 0.009058 0.5046 0.9735 0.9672 0.9834 -1 1 2 1 1.393 0.003097 0.003116 0.01225 -0.003004 1 -0.000001919 0.006306 0.009474 0.006066 0.07788 6.359 1.799 0.006424 0.00652 1 1 0.01178 0.09299 0.5152 0.01218 0.09615 0.5327 json
t12_x6_u4_b110 12 6 4 110 cil(dst(P,add(R,P))) 24864 97690532 o1(o2(x,o2(x,x))) true 28759 28759 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_x6_u4_b111 12 6 4 111 cil(dst(P,sub(R,P))) 24865 97690533 o1(o2(x,o2(x,x))) true 28767 28767 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_x6_u4_b112 12 6 4 112 cil(dst(P,mlt(R,P))) 24866 97690534 o1(o2(x,o2(x,x))) true 28775 28775 0.9978 1 0.9978 0.001459 0.0382 0.000873 1 0.9991 1 0.05612 0.00005846 0.00003821 0.0006499 0.2094 0 -3.191e-11 0.00002623 0.0003143 0.00009628 0.009812 15.1 0.2266 0.06626 0.01798 1 1 0.0003215 0.003122 0.00531 0.2203 2.14 3.639 json
t12_x6_u4_b113 12 6 4 113 cil(dst(P,div(R,P))) 24867 97690535 o1(o2(x,o2(x,x))) true 28783 28783 -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_x6_u4_b114 12 6 4 114 cil(dst(P,pow(R,P))) 24868 97690536 o1(o2(x,o2(x,x))) true 28791 28791 -0.9766 0.01172 1 0.0463 0.2152 -1 1 2 1 0.09198 0.006047 0.004031 0.005002 0.2 1 0 0.02116 0.01008 0.01005 0.1002 20.04 2.828 0.2177 0.4571 1 1 0.01773 0.07091 0.1684 0.3829 1.532 3.638 json
t12_x6_u4_b115 12 6 4 115 cil(dst(P,mod(R,P))) 24869 97690537 o1(o2(x,o2(x,x))) true 28799 28799 0.5313 0.7656 1 0.7172 0.8469 -1 1 2 1 0.7856 0.02771 0.02771 0.0277 0 1 0 0.1114 0.05543 0.05465 0.2338 8.44 2.828 0.07728 0.1553 1 1 0.07003 0.2801 1.12 0.09763 0.3905 1.562 json
t12_x6_u4_b116 12 6 4 116 cil(dst(P,lrg(R,P))) 24870 97690538 o1(o2(x,o2(x,x))) true 28807 28807 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_x6_u4_b117 12 6 4 117 cil(dst(P,eql(R,P))) 24871 97690539 o1(o2(x,o2(x,x))) true 28815 28815 0.9967 1 0.9967 0.002206 0.04697 0.0005821 1 0.9994 1 0.08493 0.00004482 0.00004482 0.0007972 -5.682e-7 0 -1.502e-11 0.00002627 0.0002729 0.00008892 0.00943 11.83 0.1653 0.04063 0.01191 1 1 0.0003021 0.00348 0.008043 0.1369 1.578 3.646 json
t12_x6_u4_b118 12 6 4 118 cil(dst(P,min(R,P))) 24872 97690540 o1(o2(x,o2(x,x))) true 28823 28823 0.8789 0.9933 0.8789 0.07886 0.2808 0 1 1 1 1.429 0.0006105 0.0007497 0.01508 -0.1023 1 0.000003565 0.000123 0.003916 0.001134 0.03367 2.232 0.2265 0.01725 0.001559 1 1 0.003139 0.03878 0.08175 0.03981 0.4918 1.037 json
t12_x6_u4_b119 12 6 4 119 cil(dst(P,dot(R,P))) 24873 97690541 o1(o2(x,o2(x,x))) true 28831 28831 0.9979 1 0.9979 0.001423 0.03772 0.0008731 1 0.9991 1 0.05191 0.00006135 0.00004025 0.000638 0.2076 1 5.632e-12 0.00003379 0.0003356 0.0001012 0.01006 15.77 0.2333 0.07142 0.02375 1 1 0.000335 0.003153 0.005175 0.2355 2.216 3.638 json
t12_x6_u4_b120 12 6 4 120 cil(dst(P,dst(R,P))) 24874 97690542 o1(o2(x,o2(x,x))) true 28839 28839 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_x6_u5_b0 12 6 5 0 sgn(add(P,add(R,P))) 24875 97690623 o1(o2(x,o2(x,x))) true 28847 28847 -0.007813 0.4961 0.9749 0.9649 0.9823 -1 1 2 1 1.475 0.001295 0.0004214 0.009963 0.5091 1 -0.00001141 0.00009024 0.002375 0.001617 0.04022 4.037 0.2338 0.001779 0.00009352 1 1 0.004586 0.06015 0.359 0.004753 0.06234 0.3721 json
t12_x6_u5_b1 12 6 5 1 sgn(add(P,sub(R,P))) 24876 97690624 o1(o2(x,o2(x,x))) true 28855 28855 -0.03516 0.4819 0.7206 0.6148 0.7841 -1 1 2 1 4.005 0.007889 0.009769 0.1034 -0.1065 1 -0.00003562 0.001037 0.02513 0.006974 0.08351 0.8079 0.2338 0.02872 0.001686 1 1 0.03492 0.4498 1.145 0.0568 0.7316 1.862 json
t12_x6_u5_b2 12 6 5 2 sgn(add(P,mlt(R,P))) 24877 97690625 o1(o2(x,o2(x,x))) true 28863 28863 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_x6_u5_b3 12 6 5 3 sgn(add(P,div(R,P))) 24878 97690626 o1(o2(x,o2(x,x))) true 28871 28871 -0.007813 0.4961 0.9749 0.9649 0.9823 -1 1 2 1 1.475 0.001295 0.0004214 0.009963 0.5091 1 -0.00001141 0.00009024 0.002375 0.001617 0.04022 4.037 0.2338 0.001779 0.00009352 1 1 0.004586 0.06015 0.359 0.004753 0.06234 0.3721 json
t12_x6_u5_b4 12 6 5 4 sgn(add(P,pow(R,P))) 24879 97690627 o1(o2(x,o2(x,x))) true 28879 28879 -0.1074 0.4449 0.7387 0.6301 0.7938 -1 1 2 1 3.881 0.007958 0.008269 0.09521 -0.01921 1 -0.000067 0.0009696 0.02323 0.007162 0.08463 0.8889 0.2338 0.02575 0.001539 1 1 0.02988 0.3866 1.105 0.04741 0.6135 1.754 json
t12_x6_u5_b5 12 6 5 5 sgn(add(P,mod(R,P))) 24880 97690628 o1(o2(x,o2(x,x))) true 28887 28887 -0.0625 0.4688 0.9806 0.969 0.9844 -1 1 2 1 1.326 0.001412 0 0.007937 1 1 0 0.00006477 0.001855 0.001349 0.03673 4.628 0.2338 0.001457 0.00006684 1 1 0.003702 0.04857 0.3004 0.00382 0.05012 0.31 json
t12_x6_u5_b6 12 6 5 6 sgn(add(P,lrg(R,P))) 24881 97690629 o1(o2(x,o2(x,x))) true 28895 28895 0.08984 0.5378 0.9023 0.8786 0.9373 -1 1 2 1 2.016 0.0006768 0.0001053 0.00895 0.7306 1 -0.000005704 0.00003874 0.002113 0.000702 0.0265 2.96 0.1169 0.0008902 0.00004409 1 1 0.002072 0.02727 0.2084 0.002358 0.03104 0.2372 json
t12_x6_u5_b7 12 6 5 7 sgn(add(P,eql(R,P))) 24882 97690630 o1(o2(x,o2(x,x))) true 28903 28903 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_x6_u5_b8 12 6 5 8 sgn(add(P,min(R,P))) 24883 97690631 o1(o2(x,o2(x,x))) true 28911 28911 -0.03516 0.48 0.9611 0.9479 0.9736 -1 1 2 1 1.637 0.001069 0.0001053 0.008747 0.8206 1 -0.000005704 0.00005667 0.002005 0.001098 0.03313 3.788 0.2338 0.001239 0.00005978 1 1 0.003075 0.04044 0.2848 0.003244 0.04266 0.3005 json
t12_x6_u5_b9 12 6 5 9 sgn(add(P,dot(R,P))) 24884 97690632 o1(o2(x,o2(x,x))) true 28919 28919 -0.01172 0.4937 0.8413 0.7816 0.8841 -1 1 2 1 3.098 0.004548 0.005285 0.05826 -0.07499 1 -0.00004847 0.0005855 0.01419 0.006437 0.08023 1.377 0.2338 0.01258 0.0007491 1 1 0.02066 0.2672 0.7506 0.02643 0.3419 0.9603 json
t12_x6_u5_b10 12 6 5 10 sgn(add(P,dst(R,P))) 24885 97690633 o1(o2(x,o2(x,x))) true 28927 28927 0.9102 0.9563 0.9678 0.1273 0.3568 -1 1 2 1 0.7534 0.0007325 0.001317 0.01192 -0.2851 1 -0.00001141 0.0001184 0.002903 0.001908 0.04368 3.664 0.2338 0.0161 0.0009301 1 1 0.004316 0.05637 0.2229 0.03391 0.4428 1.751 json
t12_x6_u5_b11 12 6 5 11 sgn(sub(P,add(R,P))) 24886 97690634 o1(o2(x,o2(x,x))) true 28935 28935 0.03516 0.5181 0.7206 0.6148 0.7841 -1 1 2 1 4.005 0.007889 0.009769 0.1034 -0.1065 1 0.00003562 0.001037 0.02513 0.006974 0.08351 0.8079 0.2338 0.02872 0.001686 1 1 0.03492 0.4498 1.145 0.0568 0.7316 1.862 json
t12_x6_u5_b12 12 6 5 12 sgn(sub(P,sub(R,P))) 24887 97690635 o1(o2(x,o2(x,x))) true 28943 28943 0.007813 0.5039 0.9749 0.9649 0.9823 -1 1 2 1 1.475 0.001295 0.0004214 0.009962 0.5091 1 0.00001141 0.00009024 0.002375 0.001617 0.04022 4.037 0.2338 0.001779 0.00009352 1 1 0.004586 0.06015 0.359 0.004753 0.06234 0.3721 json
t12_x6_u5_b13 12 6 5 13 sgn(sub(P,mlt(R,P))) 24888 97690636 o1(o2(x,o2(x,x))) true 28951 28951 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_x6_u5_b14 12 6 5 14 sgn(sub(P,div(R,P))) 24889 97690637 o1(o2(x,o2(x,x))) true 28959 28959 0.007813 0.5039 0.9749 0.9649 0.9823 -1 1 2 1 1.475 0.001295 0.0004214 0.009962 0.5091 1 0.00001141 0.00009024 0.002375 0.001617 0.04022 4.037 0.2338 0.001779 0.00009352 1 1 0.004586 0.06015 0.359 0.004753 0.06234 0.3721 json
t12_x6_u5_b15 12 6 5 15 sgn(sub(P,pow(R,P))) 24890 97690638 o1(o2(x,o2(x,x))) true 28967 28967 -0.5703 0.2124 0.852 0.4723 0.6872 -1 1 2 1 2.586 0.004379 0.004825 0.05407 -0.04847 1 -0.00004847 0.0005547 0.01321 0.006283 0.07926 1.466 0.2338 0.01949 0.001175 1 1 0.01783 0.2314 0.5848 0.03774 0.49 1.238 json
t12_x6_u5_b16 12 6 5 16 sgn(sub(P,mod(R,P))) 24891 97690639 o1(o2(x,o2(x,x))) true 28975 28975 -0.0625 0.4688 0.9806 0.969 0.9844 -1 1 2 1 1.326 0.001412 0 0.007937 1 1 0 0.00006477 0.001855 0.001349 0.03673 4.628 0.2338 0.001457 0.00006684 1 1 0.003702 0.04857 0.3004 0.00382 0.05012 0.31 json
t12_x6_u5_b17 12 6 5 17 sgn(sub(P,lrg(R,P))) 24892 97690640 o1(o2(x,o2(x,x))) true 28983 28983 -0.02734 0.4839 0.9557 0.9422 0.9707 -1 1 2 1 1.694 0.0009905 0.0001053 0.008747 0.8077 1 0.000005704 0.00005319 0.002009 0.001019 0.03192 3.65 0.2338 0.001163 0.00005645 1 1 0.002919 0.03841 0.2793 0.003098 0.04077 0.2964 json
t12_x6_u5_b18 12 6 5 18 sgn(sub(P,eql(R,P))) 24893 97690641 o1(o2(x,o2(x,x))) true 28991 28991 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_x6_u5_b19 12 6 5 19 sgn(sub(P,min(R,P))) 24894 97690642 o1(o2(x,o2(x,x))) true 28999 28999 0.5039 0.5456 0.5039 0.2412 0.4911 0 1 1 1 1.415 0.0003238 0.0001053 0.004981 0.5091 1 0.000005704 0.00002256 0.001187 0.0004044 0.02011 4.037 0.1169 0.001779 0.00009352 1 1 0.001146 0.01504 0.08976 0.004753 0.06234 0.3721 json
t12_x6_u5_b20 12 6 5 20 sgn(sub(P,dot(R,P))) 24895 97690643 o1(o2(x,o2(x,x))) true 29007 29007 0.02734 0.5131 0.8369 0.7744 0.88 -1 1 2 1 3.15 0.004686 0.005423 0.05992 -0.07295 1 0.00003423 0.0005989 0.01457 0.006519 0.08074 1.347 0.2338 0.01305 0.0007733 1 1 0.02058 0.2655 0.7946 0.02657 0.3429 1.026 json
t12_x6_u5_b21 12 6 5 21 sgn(sub(P,dst(R,P))) 24896 97690644 o1(o2(x,o2(x,x))) true 29015 29015 -0.8828 0.05762 0.9563 0.161 0.4013 -1 1 2 1 0.9537 0.001186 0.001501 0.0158 -0.117 1 0.00002282 0.0001651 0.003881 0.002435 0.04935 3.123 0.2338 0.01669 0.001025 1 1 0.006489 0.08479 0.3029 0.04029 0.5265 1.881 json
t12_x6_u5_b22 12 6 5 22 sgn(mlt(P,add(R,P))) 24897 97690645 o1(o2(x,o2(x,x))) true 29023 29023 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_x6_u5_b23 12 6 5 23 sgn(mlt(P,sub(R,P))) 24898 97690646 o1(o2(x,o2(x,x))) true 29031 29031 -0.9375 0 0.9375 0.04507 0.2123 -1 -0.000291 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_x6_u5_b24 12 6 5 24 sgn(mlt(P,mlt(R,P))) 24899 97690647 o1(o2(x,o2(x,x))) true 29039 29039 -0.02734 0.4911 0.6828 0.5764 0.7592 -1 1 2 1 4.181 0.007168 0.009328 0.09975 -0.1309 1 -0.00002421 0.0009734 0.02421 0.006547 0.08092 0.8112 0.2338 0.02862 0.001689 1 1 0.03152 0.4056 1.041 0.0547 0.7038 1.807 json