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_u1_b9 12 6 1 9 log(add(P,dot(R,P))) 24400 97689828 o1(o2(x,o2(x,x))) true 25047 25047 -0.5518 0.2325 0.9699 0.6537 0.8085 -1 1 2 1 1.286 0.0233 0.02161 0.03086 0.03755 1 -0.000002833 0.09142 0.05055 0.04398 0.2097 6.797 2.828 0.0687 0.1398 1 1 0.04124 0.197 0.7397 0.06308 0.3013 1.132 json
t12_x6_u1_b10 12 6 1 10 log(add(P,dst(R,P))) 24401 97689829 o1(o2(x,o2(x,x))) true 25055 25055 0.5998 0.8221 0.9176 0.527 0.726 -1 1 2 1 1.973 0.002162 0.004405 0.01675 -0.3415 1 0.00002189 0.01041 0.01327 0.006284 0.07927 4.732 1.734 0.01246 0.01975 1 1 0.01053 0.06844 0.3498 0.01997 0.1299 0.6637 json
t12_x6_u1_b11 12 6 1 11 log(sub(P,add(R,P))) 24402 97689830 o1(o2(x,o2(x,x))) true 25063 25063 -0.9765 0 0.9765 0.01618 0.1272 -1 -0.001196 0.9988 1 0.3894 0.001388 0.002314 0.007057 -0.2501 1 0.00000196 0.007417 0.01019 0.003653 0.06044 8.565 1.247 0.2289 0.4584 1 1 0.003623 0.0155 0.03315 0.2239 0.9583 2.049 json
t12_x6_u1_b12 12 6 1 12 log(sub(P,sub(R,P))) 24403 97689831 o1(o2(x,o2(x,x))) true 25071 25071 -0.1146 0.4481 0.9727 0.9508 0.9751 -1 1 2 1 1.462 0.007155 0.0009986 0.009207 0.7551 1 0.000003758 0.01588 0.01197 0.008074 0.08985 9.759 2.003 0.008576 0.0167 1 1 0.01257 0.06176 0.311 0.01322 0.06496 0.3271 json
t12_x6_u1_b13 12 6 1 13 log(sub(P,mlt(R,P))) 24404 97689832 o1(o2(x,o2(x,x))) true 25079 25079 -0.2616 0.3829 0.9249 0.8312 0.9117 -1 1 2 1 2.038 0.004671 0.001708 0.02326 0.4645 1 -0.00004079 0.005633 0.01214 0.00584 0.07642 3.285 1.583 0.007674 0.006777 1 1 0.01178 0.1059 0.3942 0.01417 0.1274 0.4742 json
t12_x6_u1_b14 12 6 1 14 log(sub(P,div(R,P))) 24405 97689833 o1(o2(x,o2(x,x))) true 25087 25087 -0.1909 0.4154 0.9635 0.9114 0.9547 -1 1 2 1 1.671 0.003156 0.0002449 0.009187 0.856 1 0.00001265 0.004875 0.006198 0.00332 0.05762 6.272 1.583 0.003732 0.00535 1 1 0.006043 0.0451 0.2762 0.00663 0.04949 0.3031 json
t12_x6_u1_b15 12 6 1 15 log(sub(P,pow(R,P))) 24406 97689834 o1(o2(x,o2(x,x))) true 25095 25095 -0.9922 0.003906 1 0.01556 0.1248 -1 1 2 1 0.03687 0.001008 0.001764 0.001386 -0.2727 1 0 0.005795 0.002771 0.002769 0.05262 37.97 2 0.1781 0.3723 1 1 0 0 0.0133 0 0 0.8543 json
t12_x6_u1_b16 12 6 1 16 log(sub(P,mod(R,P))) 24407 97689835 o1(o2(x,o2(x,x))) true 25103 25103 -0.1935 0.4153 0.961 0.9089 0.9534 -1 1 2 1 1.679 0.003191 0.0002977 0.009831 0.8294 1 0.00001239 0.00489 0.006445 0.00339 0.05823 5.923 1.583 0.003839 0.005381 1 1 0.006301 0.0482 0.2776 0.006933 0.05303 0.3055 json
t12_x6_u1_b17 12 6 1 17 log(sub(P,lrg(R,P))) 24408 97689836 o1(o2(x,o2(x,x))) true 25111 25111 -0.1739 0.4375 0.9511 0.9053 0.9515 -1 1 2 1 1.654 0.004186 0 0.007937 1 1 1.42e-9 0.007916 0.008917 0.004122 0.0642 8.089 1 0.004624 0.008745 1 1 0.005854 0.03284 0.2495 0.006466 0.03627 0.2755 json
t12_x6_u1_b18 12 6 1 18 log(sub(P,eql(R,P))) 24409 97689837 o1(o2(x,o2(x,x))) true 25119 25119 -0.1739 0.4375 0.9511 0.9053 0.9515 -1 1 2 1 1.654 0.004186 0 0.007937 1 1 1.42e-9 0.007916 0.008917 0.004122 0.0642 8.089 1 0.004624 0.008745 1 1 0.005854 0.03284 0.2495 0.006466 0.03627 0.2755 json
t12_x6_u1_b19 12 6 1 19 log(sub(P,min(R,P))) 24410 97689838 o1(o2(x,o2(x,x))) true 25127 25127 -0.1855 0.4168 0.9538 0.9016 0.9495 -1 1 2 1 1.814 0.003327 0.0007236 0.01184 0.6428 1 0.00001828 0.005858 0.008454 0.003909 0.06252 5.28 1.497 0.004493 0.006498 1 1 0.00712 0.05123 0.2705 0.007898 0.05682 0.3 json
t12_x6_u1_b20 12 6 1 20 log(sub(P,dot(R,P))) 24411 97689839 o1(o2(x,o2(x,x))) true 25135 25135 -0.561 0.2241 0.9749 0.6508 0.8067 -1 1 2 1 1.216 0.02731 0.0214 0.03346 0.1214 1 -0.00002192 0.09769 0.05212 0.0476 0.2182 6.521 2.828 0.07484 0.1501 1 1 0.05044 0.2559 0.764 0.0775 0.3933 1.174 json
t12_x6_u1_b21 12 6 1 21 log(sub(P,dst(R,P))) 24412 97689840 o1(o2(x,o2(x,x))) true 25143 25143 -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_u1_b22 12 6 1 22 log(mlt(P,add(R,P))) 24413 97689841 o1(o2(x,o2(x,x))) true 25151 25151 0.6849 0.8503 0.9624 0.4798 0.6927 -1 1 2 1 1.279 0.01028 0.0003758 0.01738 0.9295 1 0.000004055 0.01761 0.01714 0.01036 0.1018 5.856 1.665 0.02221 0.03671 1 1 0.01565 0.1074 0.6242 0.03262 0.2237 1.301 json
t12_x6_u1_b23 12 6 1 23 log(mlt(P,sub(R,P))) 24414 97689842 o1(o2(x,o2(x,x))) true 25159 25159 -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_u1_b24 12 6 1 24 log(mlt(P,mlt(R,P))) 24415 97689843 o1(o2(x,o2(x,x))) true 25167 25167 -0.9362 0.03198 0.9957 0.1179 0.3434 -1 1 2 1 0.279 0.0127 0.01126 0.01294 0.06003 1 0 0.05003 0.02476 0.02378 0.1542 11.92 2.828 0.2032 0.4243 1 1 0.0181 0.07605 0.1798 0.1536 0.6451 1.525 json
t12_x6_u1_b25 12 6 1 25 log(mlt(P,div(R,P))) 24416 97689844 o1(o2(x,o2(x,x))) true 25175 25175 -0.9875 0 0.9875 0.007441 0.08626 -1 -0.05896 0.941 1 0.2677 0.0007567 0.0008874 0.003842 -0.0795 1 0.00001706 0.003232 0.005151 0.00163 0.04037 10.51 0.941 0.221 0.4344 1 1 0.001767 0.007619 0.01411 0.2374 1.024 1.897 json
t12_x6_u1_b26 12 6 1 26 log(mlt(P,pow(R,P))) 24417 97689845 o1(o2(x,o2(x,x))) true 25183 25183 -0.9983 0.0007324 0.9994 0.002454 0.04954 -1 1 2 1 0.02195 0.0001602 0.000192 0.0004962 -0.09022 1 0.00001974 0.00048 0.0004759 0.0003519 0.01876 37.81 2 0.1435 0.1956 1 1 0 0 0.001685 0 0 0.6866 json
t12_x6_u1_b27 12 6 1 27 log(mlt(P,mod(R,P))) 24418 97689846 o1(o2(x,o2(x,x))) true 25191 25191 -0.9588 0.0193 0.9828 0.05929 0.2435 -1 1 2 1 0.3625 0.005665 0.007005 0.01009 -0.1057 1 -4.022e-8 0.02598 0.01628 0.01257 0.1121 11.11 2.828 0.2137 0.4381 1 1 0.009747 0.04111 0.1029 0.1644 0.6934 1.736 json
t12_x6_u1_b28 12 6 1 28 log(mlt(P,lrg(R,P))) 24419 97689847 o1(o2(x,o2(x,x))) true 25199 25199 -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_u1_b29 12 6 1 29 log(mlt(P,eql(R,P))) 24420 97689848 o1(o2(x,o2(x,x))) true 25207 25207 -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_u1_b30 12 6 1 30 log(mlt(P,min(R,P))) 24421 97689849 o1(o2(x,o2(x,x))) true 25215 25215 -0.1429 0.4414 0.9743 0.9487 0.974 -1 1 2 1 1.294 0.005425 0.00174 0.009317 0.5143 1 -9.499e-10 0.01353 0.01189 0.00708 0.08414 9.031 2 0.007552 0.01427 1 1 0.006621 0.04469 0.3089 0.006979 0.04711 0.3256 json
t12_x6_u1_b31 12 6 1 31 log(mlt(P,dot(R,P))) 24422 97689850 o1(o2(x,o2(x,x))) true 25223 25223 -0.8766 0.06209 0.9955 0.2255 0.4749 -1 1 2 1 0.4306 0.01856 0.02589 0.02466 -0.1649 1 -0.000002285 0.09197 0.04581 0.04382 0.2093 8.489 2.828 0.1971 0.4078 1 1 0.03924 0.1736 0.3738 0.174 0.77 1.658 json
t12_x6_u1_b32 12 6 1 32 log(mlt(P,dst(R,P))) 24423 97689851 o1(o2(x,o2(x,x))) true 25231 25231 -0.1304 0.4363 0.9952 0.9766 0.9882 -1 1 2 1 1.104 0.01299 0.00002146 0.008077 0.9967 1 2.628e-11 0.02574 0.01434 0.01295 0.1138 14.09 2 0.01333 0.02635 1 1 0.0163 0.07329 0.3286 0.01669 0.07505 0.3365 json
t12_x6_u1_b33 12 6 1 33 log(div(P,add(R,P))) 24424 97689852 o1(o2(x,o2(x,x))) true 25239 25239 -0.09912 0.4876 0.2372 0.1499 0.3871 -1 1 2 1 3.504 0.01306 0.000566 0.02714 0.9169 1 -3.924e-7 0.02537 0.02224 0.01289 0.1135 4.182 2.003 0.09089 0.1693 1 1 0.01777 0.08702 0.2688 0.1185 0.5806 1.793 json
t12_x6_u1_b34 12 6 1 34 log(div(P,sub(R,P))) 24425 97689853 o1(o2(x,o2(x,x))) true 25247 25247 -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_u1_b35 12 6 1 35 log(div(P,mlt(R,P))) 24426 97689854 o1(o2(x,o2(x,x))) true 25255 25255 -0.9422 0.03516 0.9875 0.09485 0.308 -1 1 2 1 0.3466 0.01096 0.008504 0.01265 0.1262 1 -0.00001706 0.04052 0.02294 0.0193 0.1389 10.98 2.828 0.2052 0.4272 1 1 0.01551 0.06473 0.1656 0.1635 0.6824 1.746 json
t12_x6_u1_b36 12 6 1 36 log(div(P,div(R,P))) 24427 97689855 o1(o2(x,o2(x,x))) true 25263 25263 -0.9309 0.03516 0.9988 0.1317 0.3628 -1 1 2 1 0.2447 0.01401 0.01227 0.01353 0.06641 1 0 0.05496 0.02677 0.02613 0.1616 11.94 2.828 0.1996 0.4175 1 1 0.0221 0.09314 0.2319 0.1678 0.7075 1.761 json
t12_x6_u1_b37 12 6 1 37 log(div(P,pow(R,P))) 24428 97689856 o1(o2(x,o2(x,x))) true 25271 25271 -0.9922 0.003906 1 0.01556 0.1248 -1 1 2 1 0.03687 0.001008 0.001764 0.001386 -0.2727 1 0 0.005795 0.002771 0.002769 0.05262 37.97 2 0.1781 0.3723 1 1 0 0 0.0133 0 0 0.8543 json
t12_x6_u1_b38 12 6 1 38 log(div(P,mod(R,P))) 24429 97689857 o1(o2(x,o2(x,x))) true 25279 25279 -0.9229 0.03906 0.999 0.1467 0.383 -1 1 2 1 0.2651 0.01437 0.01218 0.01366 0.08266 1 4.13e-11 0.05539 0.02717 0.02637 0.1624 11.89 2.828 0.181 0.3777 1 1 0.02565 0.1064 0.2934 0.1749 0.7257 2.001 json
t12_x6_u1_b39 12 6 1 39 log(div(P,lrg(R,P))) 24430 97689858 o1(o2(x,o2(x,x))) true 25287 25287 -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_u1_b40 12 6 1 40 log(div(P,eql(R,P))) 24431 97689859 o1(o2(x,o2(x,x))) true 25295 25295 -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_u1_b41 12 6 1 41 log(div(P,min(R,P))) 24432 97689860 o1(o2(x,o2(x,x))) true 25303 25303 -0.5547 0.003906 0.5625 0.2548 0.5048 -1 1 2 1 1.453 0.004976 0.001764 0.005354 0.4766 1 0 0.01373 0.01071 0.006713 0.08193 15.3 2 0.02645 0.05389 1 1 0.005263 0.02105 0.09751 0.02066 0.08263 0.3827 json
t12_x6_u1_b42 12 6 1 42 log(div(P,dot(R,P))) 24433 97689861 o1(o2(x,o2(x,x))) true 25311 25311 -0.8988 0.0535 0.9749 0.16 0.4 -1 1 2 1 0.6218 0.01274 0.01577 0.02154 -0.1064 1 -0.00002576 0.05802 0.03573 0.02806 0.1675 7.776 2.828 0.1782 0.3626 1 1 0.02373 0.1105 0.2671 0.1483 0.6909 1.669 json
t12_x6_u1_b43 12 6 1 43 log(div(P,dst(R,P))) 24434 97689862 o1(o2(x,o2(x,x))) true 25319 25319 -0.7307 0.05669 0.7399 0.1452 0.381 -1 0.523 1.523 1 2.543 0.0009547 0.0001053 0.007532 0.8012 1 -0.000003586 0.001743 0.003491 0.001004 0.03168 4.206 1.523 0.007303 0.01201 1 1 0.002094 0.01328 0.06684 0.01442 0.09149 0.4605 json
t12_x6_u1_b44 12 6 1 44 log(pow(P,add(R,P))) 24435 97689863 o1(o2(x,o2(x,x))) true 25327 25327 -0.1525 0.4375 0.9725 0.9437 0.9715 -1 1 2 1 1.34 0.004452 0.00001407 0.008045 0.9937 1 -0.000002039 0.007954 0.009206 0.004398 0.06632 8.243 1.001 0.004732 0.008428 1 1 0.006542 0.04356 0.2926 0.006932 0.04616 0.31 json
t12_x6_u1_b45 12 6 1 45 log(pow(P,sub(R,P))) 24436 97689864 o1(o2(x,o2(x,x))) true 25335 25335 -0.9736 0 0.9736 0.02043 0.1429 -1 -0.0002106 0.9998 1 0.3833 0.004481 0.00001716 0.008071 0.9924 1 0.000001376 0.00811 0.009362 0.004431 0.06657 8.248 0.9998 0.2202 0.397 1 1 0.006584 0.02623 0.02885 0.3223 1.284 1.412 json
t12_x6_u1_b46 12 6 1 46 log(pow(P,mlt(R,P))) 24437 97689865 o1(o2(x,o2(x,x))) true 25343 25343 -0.606 0.1896 0.9044 0.5128 0.7161 -1 1 2 1 1.876 0.01642 0.01353 0.04669 0.09649 1 0.00001055 0.03502 0.04103 0.02778 0.1667 3.57 2 0.0584 0.06829 1 1 0.03349 0.2396 0.6169 0.06532 0.4672 1.203 json
t12_x6_u1_b47 12 6 1 47 log(pow(P,div(R,P))) 24438 97689866 o1(o2(x,o2(x,x))) true 25351 25351 -0.5687 0.1888 0.6125 0.2476 0.4976 -1 0.3389 1.339 1 2.385 0.004082 0.0001227 0.01227 0.9417 1 0.000005438 0.007952 0.009872 0.004055 0.06368 5.191 1 0.01698 0.03212 1 1 0.005748 0.02711 0.0993 0.02322 0.1095 0.4011 json
t12_x6_u1_b48 12 6 1 48 log(pow(P,pow(R,P))) 24439 97689867 o1(o2(x,o2(x,x))) true 25359 25359 -0.9948 0.003906 0.9974 0.007309 0.0855 -1 1 2 1 0.05077 0.0002654 0.0007814 0.001007 -0.4929 1 0.000002175 0.002124 0.001677 0.001046 0.03233 32.1 2 0.1432 0.2906 1 1 0 0 0.006038 0 0 0.8261 json
t12_x6_u1_b49 12 6 1 49 log(pow(P,mod(R,P))) 24440 97689868 o1(o2(x,o2(x,x))) true 25367 25367 -0.5817 0.1892 0.7702 0.3736 0.6112 -1 1 2 1 2.84 0.006185 0.002329 0.03557 0.4528 1 -0.00000425 0.008542 0.01655 0.007245 0.08512 2.393 1 0.02279 0.02286 1 1 0.01174 0.1009 0.3217 0.03142 0.27 0.8611 json
t12_x6_u1_b50 12 6 1 50 log(pow(P,lrg(R,P))) 24441 97689869 o1(o2(x,o2(x,x))) true 25375 25375 -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_x6_u1_b51 12 6 1 51 log(pow(P,eql(R,P))) 24442 97689870 o1(o2(x,o2(x,x))) true 25383 25383 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_u1_b52 12 6 1 52 log(pow(P,min(R,P))) 24443 97689871 o1(o2(x,o2(x,x))) true 25391 25391 -0.5817 0.1892 0.7702 0.3736 0.6112 -1 1 2 1 2.84 0.006185 0.002329 0.03557 0.4528 1 -0.00000425 0.008542 0.01655 0.007245 0.08512 2.393 1 0.02279 0.02286 1 1 0.01174 0.1009 0.3217 0.03142 0.27 0.8611 json
t12_x6_u1_b53 12 6 1 53 log(pow(P,dot(R,P))) 24444 97689872 o1(o2(x,o2(x,x))) true 25399 25399 -0.5998 0.1994 0.9273 0.5501 0.7417 -1 1 2 1 1.616 0.01767 0.01844 0.04669 -0.02136 1 0.00001703 0.04778 0.04743 0.03395 0.1842 3.946 2.389 0.06565 0.08686 1 1 0.03841 0.2591 0.6901 0.06982 0.4711 1.255 json
t12_x6_u1_b54 12 6 1 54 log(pow(P,dst(R,P))) 24445 97689873 o1(o2(x,o2(x,x))) true 25407 25407 -0.1436 0.4375 0.9814 0.9579 0.9787 -1 1 2 1 1.217 0.004799 0.000004352 0.007959 0.9982 1 6.579e-8 0.008089 0.009982 0.004738 0.06884 8.649 1.002 0.005015 0.008445 1 1 0.007216 0.05308 0.3058 0.007533 0.05541 0.3192 json
t12_x6_u1_b55 12 6 1 55 log(mod(P,add(R,P))) 24446 97689874 o1(o2(x,o2(x,x))) true 25415 25415 -0.5545 0.2089 0.8534 0.5031 0.7093 -1 1 2 1 2.479 0.00665 0.00529 0.0451 0.1139 1 -0.00004794 0.006613 0.01971 0.009906 0.09953 2.207 1 0.02373 0.01314 1 1 0.01791 0.1809 0.5454 0.0356 0.3596 1.084 json
t12_x6_u1_b56 12 6 1 56 log(mod(P,sub(R,P))) 24447 97689875 o1(o2(x,o2(x,x))) true 25423 25423 -0.4604 0.2638 0.8638 0.6103 0.7812 -1 1 2 1 2.484 0.005144 0.005598 0.04312 -0.04227 1 -0.000008327 0.004158 0.01685 0.008882 0.09424 2.186 1 0.0176 0.006813 1 1 0.01574 0.166 0.4529 0.0258 0.272 0.7422 json
t12_x6_u1_b57 12 6 1 57 log(mod(P,mlt(R,P))) 24448 97689876 o1(o2(x,o2(x,x))) true 25431 25431 -0.7628 0.1018 0.8346 0.2057 0.4536 -1 1 2 1 2.157 0.001683 0.002363 0.02593 -0.168 1 0.00009967 0.001015 0.00948 0.003373 0.05808 2.24 0.554 0.01967 0.004933 1 1 0.004673 0.05118 0.1959 0.02272 0.2488 0.9523 json
t12_x6_u1_b58 12 6 1 58 log(mod(P,div(R,P))) 24449 97689877 o1(o2(x,o2(x,x))) true 25439 25439 -1 0 1 8.423e-7 0.0009178 -1 -0.9012 0.09878 1 0.001563 1.046e-7 1.453e-7 0.00000599 -0.1628 0 0.000001558 3.702e-7 0.000006781 2.498e-7 0.0004998 83.44 0.06585 0.2966 0.4395 1 1 0 0 4.221e-7 0 0 0.5011 json
t12_x6_u1_b59 12 6 1 59 log(mod(P,pow(R,P))) 24450 97689878 o1(o2(x,o2(x,x))) true 25447 25447 -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_u1_b60 12 6 1 60 log(mod(P,mod(R,P))) 24451 97689879 o1(o2(x,o2(x,x))) true 25455 25455 -0.9788 0 0.9788 0.009947 0.09973 -1 -0.2248 0.7752 1 0.4985 0.0002735 0.000262 0.004774 0.02154 1 0.00003286 0.0002517 0.002919 0.0005128 0.02265 4.744 0.2802 0.05384 0.02531 1 1 0.001006 0.00887 0.02542 0.1011 0.8917 2.556 json
t12_x6_u1_b61 12 6 1 61 log(mod(P,lrg(R,P))) 24452 97689880 o1(o2(x,o2(x,x))) true 25463 25463 -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_u1_b62 12 6 1 62 log(mod(P,eql(R,P))) 24453 97689881 o1(o2(x,o2(x,x))) true 25471 25471 -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_u1_b63 12 6 1 63 log(mod(P,min(R,P))) 24454 97689882 o1(o2(x,o2(x,x))) true 25479 25479 -0.9788 0 0.9788 0.009947 0.09973 -1 -0.2248 0.7752 1 0.4985 0.0002735 0.000262 0.004774 0.02154 1 0.00003286 0.0002517 0.002919 0.0005128 0.02265 4.744 0.2802 0.05384 0.02531 1 1 0.001006 0.00887 0.02542 0.1011 0.8917 2.556 json
t12_x6_u1_b64 12 6 1 64 log(mod(P,dot(R,P))) 24455 97689883 o1(o2(x,o2(x,x))) true 25487 25487 -0.5918 0.2094 0.8564 0.4609 0.6789 -1 1 2 1 2.396 0.006772 0.004069 0.04121 0.2493 1 0.0000264 0.006643 0.01882 0.009147 0.09564 2.321 1 0.02352 0.01441 1 1 0.01826 0.1704 0.5187 0.03962 0.3697 1.125 json
t12_x6_u1_b65 12 6 1 65 log(mod(P,dst(R,P))) 24456 97689884 o1(o2(x,o2(x,x))) true 25495 25495 -0.2585 0.3898 0.9212 0.8288 0.9104 -1 1 2 1 2.035 0.005072 0.001846 0.01972 0.4664 1 -0.00003689 0.008078 0.01287 0.006531 0.08082 4.098 1 0.008347 0.009746 1 1 0.01216 0.1036 0.4347 0.01467 0.125 0.5245 json
t12_x6_u1_b66 12 6 1 66 log(lrg(P,add(R,P))) 24457 97689885 o1(o2(x,o2(x,x))) true 25503 25503 -0.9297 0 0.9297 0.06532 0.2556 -1 0 1 1 0.3671 0.00548 0.006677 0.01207 -0.09845 1 0 0.02545 0.02431 0.01201 0.1096 9.077 1.414 0.1861 0.3896 1 1 0.01256 0.05287 0.1436 0.1923 0.8093 2.199 json
t12_x6_u1_b67 12 6 1 67 log(lrg(P,sub(R,P))) 24458 97689886 o1(o2(x,o2(x,x))) true 25511 25511 -0.5391 0 0.5391 0.2487 0.4987 -1 0 1 1 0.9956 0.003968 0.0007559 0.004715 0.68 1 0 0.009637 0.009448 0.004701 0.06856 14.54 1.414 0.019 0.03876 1 1 0.006593 0.02637 0.1017 0.02651 0.1061 0.4091 json
t12_x6_u1_b68 12 6 1 68 log(lrg(P,mlt(R,P))) 24459 97689887 o1(o2(x,o2(x,x))) true 25519 25519 -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_x6_u1_b69 12 6 1 69 log(lrg(P,div(R,P))) 24460 97689888 o1(o2(x,o2(x,x))) true 25527 25527 -0.5391 0 0.5391 0.2487 0.4987 -1 0 1 1 0.9956 0.003968 0.0007559 0.004715 0.68 1 0 0.009637 0.009448 0.004701 0.06856 14.54 1.414 0.019 0.03876 1 1 0.006593 0.02637 0.1017 0.02651 0.1061 0.4091 json
t12_x6_u1_b70 12 6 1 70 log(lrg(P,pow(R,P))) 24461 97689889 o1(o2(x,o2(x,x))) true 25535 25535 -0.5273 0 0.5273 0.2494 0.4994 -1 0 1 1 0.9978 0.007433 0.002771 0.01015 0.4568 1 0 0.02098 0.02041 0.0101 0.1005 9.903 1.414 0.04091 0.0841 1 1 0.01197 0.04853 0.1567 0.04798 0.1946 0.6282 json
t12_x6_u1_b71 12 6 1 71 log(lrg(P,mod(R,P))) 24462 97689890 o1(o2(x,o2(x,x))) true 25543 25543 -0.5 0 0.5 0.25 0.5 -1 0 1 1 1 0.003968 0 0.003968 1 1 0 0.007937 0.007937 0.003952 0.06287 15.84 1 0.01587 0.03175 1 1 0.005263 0.02105 0.08421 0.02105 0.08421 0.3368 json
t12_x6_u1_b72 12 6 1 72 log(lrg(P,lrg(R,P))) 24463 97689891 o1(o2(x,o2(x,x))) true 25551 25551 -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_x6_u1_b73 12 6 1 73 log(lrg(P,eql(R,P))) 24464 97689892 o1(o2(x,o2(x,x))) true 25559 25559 -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_x6_u1_b74 12 6 1 74 log(lrg(P,min(R,P))) 24465 97689893 o1(o2(x,o2(x,x))) true 25567 25567 -0.5391 0 0.5391 0.2487 0.4987 -1 0 1 1 0.9956 0.003968 0.0007559 0.004715 0.68 1 0 0.009637 0.009448 0.004701 0.06856 14.54 1.414 0.019 0.03876 1 1 0.006593 0.02637 0.1017 0.02651 0.1061 0.4091 json
t12_x6_u1_b75 12 6 1 75 log(lrg(P,dot(R,P))) 24466 97689894 o1(o2(x,o2(x,x))) true 25575 25575 -0.7539 0 0.7539 0.1855 0.4307 -1 0 1 1 0.805 0.007748 0.005984 0.01363 0.1284 1 0 0.02866 0.02746 0.01354 0.1164 8.538 1.414 0.07402 0.1545 1 1 0.01424 0.06161 0.2081 0.07675 0.3321 1.122 json
t12_x6_u1_b76 12 6 1 76 log(lrg(P,dst(R,P))) 24467 97689895 o1(o2(x,o2(x,x))) true 25583 25583 -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_u1_b77 12 6 1 77 log(eql(P,add(R,P))) 24468 97689896 o1(o2(x,o2(x,x))) true 25591 25591 -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_u1_b78 12 6 1 78 log(eql(P,sub(R,P))) 24469 97689897 o1(o2(x,o2(x,x))) true 25599 25599 -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_u1_b79 12 6 1 79 log(eql(P,mlt(R,P))) 24470 97689898 o1(o2(x,o2(x,x))) true 25607 25607 -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_u1_b80 12 6 1 80 log(eql(P,div(R,P))) 24471 97689899 o1(o2(x,o2(x,x))) true 25615 25615 -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_u1_b81 12 6 1 81 log(eql(P,pow(R,P))) 24472 97689900 o1(o2(x,o2(x,x))) true 25623 25623 -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_u1_b82 12 6 1 82 log(eql(P,mod(R,P))) 24473 97689901 o1(o2(x,o2(x,x))) true 25631 25631 -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_u1_b83 12 6 1 83 log(eql(P,lrg(R,P))) 24474 97689902 o1(o2(x,o2(x,x))) true 25639 25639 -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_u1_b84 12 6 1 84 log(eql(P,eql(R,P))) 24475 97689903 o1(o2(x,o2(x,x))) true 25647 25647 -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_u1_b85 12 6 1 85 log(eql(P,min(R,P))) 24476 97689904 o1(o2(x,o2(x,x))) true 25655 25655 -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_u1_b86 12 6 1 86 log(eql(P,dot(R,P))) 24477 97689905 o1(o2(x,o2(x,x))) true 25663 25663 -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_u1_b87 12 6 1 87 log(eql(P,dst(R,P))) 24478 97689906 o1(o2(x,o2(x,x))) true 25671 25671 -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_u1_b88 12 6 1 88 log(min(P,add(R,P))) 24479 97689907 o1(o2(x,o2(x,x))) true 25679 25679 -0.1947 0.4216 0.9404 0.8833 0.9398 -1 1 2 1 1.835 0.003196 0.00008118 0.008757 0.9505 1 -0.000005332 0.005732 0.007604 0.0032 0.05657 6.46 1 0.00371 0.006489 1 1 0.004753 0.03065 0.234 0.005381 0.0347 0.2649 json
t12_x6_u1_b89 12 6 1 89 log(min(P,sub(R,P))) 24480 97689908 o1(o2(x,o2(x,x))) true 25687 25687 -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_u1_b90 12 6 1 90 log(min(P,mlt(R,P))) 24481 97689909 o1(o2(x,o2(x,x))) true 25695 25695 -0.9922 0.003906 1 0.0154 0.1241 -1 1 2 1 0.03867 0.0009452 0.00174 0.00138 -0.296 1 0 0.0056 0.002738 0.002683 0.05179 37.53 2 0.1744 0.3638 1 1 0 0 0.01314 0 0 0.8537 json
t12_x6_u1_b91 12 6 1 91 log(min(P,div(R,P))) 24482 97689910 o1(o2(x,o2(x,x))) true 25703 25703 -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_u1_b92 12 6 1 92 log(min(P,pow(R,P))) 24483 97689911 o1(o2(x,o2(x,x))) true 25711 25711 -0.5897 0.2014 0.9052 0.5268 0.7258 -1 1 2 1 1.992 0.0108 0.01181 0.05092 -0.04489 1 0.00007511 0.01578 0.03248 0.02001 0.1414 2.778 1.386 0.04293 0.02995 1 1 0.02962 0.2576 0.6296 0.05622 0.4891 1.195 json
t12_x6_u1_b93 12 6 1 93 log(min(P,mod(R,P))) 24484 97689912 o1(o2(x,o2(x,x))) true 25719 25719 -0.9984 0 0.9984 0.00102 0.03194 -1 -0.07531 0.9247 1 0.04175 0.00001566 0.0000908 0.0003519 -0.7058 1 0.00000472 0.0001855 0.0003575 0.0001063 0.01031 29.3 0.8956 0.1043 0.1817 1 1 0 0 0.0007799 0 0 0.7644 json
t12_x6_u1_b94 12 6 1 94 log(min(P,lrg(R,P))) 24485 97689913 o1(o2(x,o2(x,x))) true 25727 25727 -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_u1_b95 12 6 1 95 log(min(P,eql(R,P))) 24486 97689914 o1(o2(x,o2(x,x))) true 25735 25735 -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_u1_b96 12 6 1 96 log(min(P,min(R,P))) 24487 97689915 o1(o2(x,o2(x,x))) true 25743 25743 -0.9984 0 0.9984 0.00102 0.03194 -1 -0.07531 0.9247 1 0.04175 0.00001566 0.0000908 0.0003519 -0.7058 1 0.00000472 0.0001855 0.0003575 0.0001063 0.01031 29.3 0.8956 0.1043 0.1817 1 1 0 0 0.0007799 0 0 0.7644 json
t12_x6_u1_b97 12 6 1 97 log(min(P,dot(R,P))) 24488 97689916 o1(o2(x,o2(x,x))) true 25751 25751 -0.9704 0.01434 0.9909 0.04692 0.2166 -1 1 2 1 0.2425 0.005183 0.006071 0.008639 -0.07887 1 0.000006209 0.02318 0.01406 0.01118 0.1057 12.24 2.458 0.2399 0.494 1 1 0.01198 0.0505 0.1005 0.2553 1.076 2.141 json
t12_x6_u1_b98 12 6 1 98 log(min(P,dst(R,P))) 24489 97689917 o1(o2(x,o2(x,x))) true 25759 25759 -0.1768 0.4349 0.9494 0.901 0.9492 -1 1 2 1 1.708 0.00399 0.000008011 0.008065 0.996 1 1.232e-9 0.007501 0.008709 0.003932 0.06271 7.776 1 0.004438 0.008325 1 1 0.005561 0.03221 0.246 0.006172 0.03575 0.2731 json
t12_x6_u1_b99 12 6 1 99 log(dot(P,add(R,P))) 24490 97689918 o1(o2(x,o2(x,x))) true 25767 25767 0.9577 0.9819 0.9903 0.06999 0.2646 -1 1 2 1 0.3256 0.001893 0.002124 0.004809 -0.05736 1 5.256e-11 0.007734 0.00593 0.003998 0.06323 13.15 2.828 0.0574 0.1105 1 1 0.007614 0.04285 0.2233 0.1088 0.6122 3.19 json
t12_x6_u1_b100 12 6 1 100 log(dot(P,sub(R,P))) 24491 97689919 o1(o2(x,o2(x,x))) true 25775 25775 -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_u1_b101 12 6 1 101 log(dot(P,mlt(R,P))) 24492 97689920 o1(o2(x,o2(x,x))) true 25783 25783 -0.8983 0.05247 0.9941 0.1856 0.4309 -1 1 2 1 0.3818 0.01915 0.01684 0.01935 0.06417 1 -0.000008966 0.07496 0.03755 0.03564 0.1888 9.757 2.828 0.1938 0.4038 1 1 0.04158 0.1696 0.4102 0.224 0.9135 2.209 json
t12_x6_u1_b102 12 6 1 102 log(dot(P,div(R,P))) 24493 97689921 o1(o2(x,o2(x,x))) true 25791 25791 -0.9824 0.007828 0.9852 0.01684 0.1298 -1 0.547 1.547 1 0.243 0.001353 0.002811 0.005618 -0.3502 1 -9.761e-11 0.008293 0.008226 0.004132 0.06428 11.44 1.856 0.2472 0.4924 1 1 0.007222 0.02938 0.05269 0.4288 1.744 3.128 json
t12_x6_u1_b103 12 6 1 103 log(dot(P,pow(R,P))) 24494 97689922 o1(o2(x,o2(x,x))) true 25799 25799 -0.997 0.0008545 0.9973 0.002722 0.05217 -1 0.3607 1.361 1 0.05412 0.0006741 0.0002301 0.001303 0.491 1 -3.754e-12 0.001757 0.001763 0.0009019 0.03003 23.04 1.361 0.3322 0.6456 1 1 0.001724 0.006246 0.009908 0.6335 2.294 3.64 json
t12_x6_u1_b104 12 6 1 104 log(dot(P,mod(R,P))) 24495 97689923 o1(o2(x,o2(x,x))) true 25807 25807 -0.9561 0.02231 0.9944 0.07845 0.2801 -1 1 2 1 0.2546 0.009108 0.009984 0.01229 -0.04588 1 -0.000002428 0.03945 0.02095 0.01893 0.1376 11.2 2.828 0.2433 0.5028 1 1 0.02054 0.08677 0.1727 0.2618 1.106 2.201 json
t12_x6_u1_b105 12 6 1 105 log(dot(P,lrg(R,P))) 24496 97689924 o1(o2(x,o2(x,x))) true 25815 25815 -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_u1_b106 12 6 1 106 log(dot(P,eql(R,P))) 24497 97689925 o1(o2(x,o2(x,x))) true 25823 25823 -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_u1_b107 12 6 1 107 log(dot(P,min(R,P))) 24498 97689926 o1(o2(x,o2(x,x))) true 25831 25831 0.2836 0.6454 0.977 0.8886 0.9427 -1 1 2 1 1.383 0.01455 0.01434 0.02214 0.00702 1 -0.000006571 0.05778 0.03372 0.0284 0.1685 7.613 2.828 0.03251 0.06502 1 1 0.0398 0.1804 0.6073 0.04478 0.203 0.6834 json
t12_x6_u1_b108 12 6 1 108 log(dot(P,dot(R,P))) 24499 97689927 o1(o2(x,o2(x,x))) true 25839 25839 -0.8739 0.06372 0.992 0.2258 0.4752 -1 1 2 1 0.4861 0.02049 0.02288 0.02457 -0.05503 1 9.386e-11 0.08963 0.04514 0.04274 0.2067 8.415 2.828 0.1921 0.397 1 1 0.0411 0.176 0.4227 0.1821 0.7794 1.872 json