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_x19_u0_b119 12 19 0 119 sqt(dst(R,dot(P,D))) 35400 98214950 o1(o2(x,o2(x,x))) true 113047 113047 0.9903 1 0.9903 0.002132 0.04618 0.2193 1 0.7807 1 0.4003 0.001117 0.001048 0.01107 0.03182 1 -0.0001189 0.006203 0.01719 0.002042 0.04519 4.084 0.9024 1.015 2.909 1 1 0.002478 0.00509 0.004479 1.162 2.387 2.1 json
t12_x19_u0_b120 12 19 0 120 sqt(dst(R,dst(P,D))) 35401 98214951 o1(o2(x,o2(x,x))) true 113055 113055 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_x19_u1_b0 12 19 1 0 log(add(R,add(P,D))) 35402 98215032 o1(o2(x,o2(x,x))) true 113063 113063 -0.1541 0.4394 0.9394 0.8923 0.9446 -1 1 2 1 1.954 0.002646 0.0008527 0.01109 0.5126 1 -0.000008137 0.005202 0.007505 0.003375 0.0581 5.24 2.191 0.003921 0.005829 1 1 0.005719 0.04225 0.2454 0.006409 0.04735 0.275 json
t12_x19_u1_b1 12 19 1 1 log(add(R,sub(P,D))) 35403 98215033 o1(o2(x,o2(x,x))) true 113071 113071 -0.2126 0.4061 0.9588 0.8963 0.9468 -1 1 2 1 1.7 0.0166 0.002168 0.0184 0.7689 1 -0.000002003 0.03893 0.02781 0.01844 0.1358 7.381 2.685 0.02093 0.04343 1 1 0.02364 0.07167 0.2795 0.02637 0.07996 0.3118 json
t12_x19_u1_b2 12 19 1 2 log(add(R,mlt(P,D))) 35404 98215034 o1(o2(x,o2(x,x))) true 113079 113079 -0.9959 0 0.9959 0.002129 0.04614 -1 -0.1582 0.8418 1 0.1155 0.002211 0.0002397 0.004949 0.8044 1 0.000001715 0.006781 0.008746 0.002426 0.04926 9.953 1.16 1.151 3.185 1 1 0.001514 0.002408 0.003414 0.7113 1.131 1.604 json
t12_x19_u1_b3 12 19 1 3 log(add(R,div(P,D))) 35405 98215035 o1(o2(x,o2(x,x))) true 113087 113087 -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_x19_u1_b4 12 19 1 4 log(add(R,pow(P,D))) 35406 98215036 o1(o2(x,o2(x,x))) true 113095 113095 -0.774 0.1163 0.849 0.2067 0.4546 -1 0.7811 1.781 1 1.899 0.02534 0.01004 0.04835 0.4326 1 0.0002918 0.07311 0.0642 0.03304 0.1818 3.759 2.296 0.1712 0.3537 1 1 0.03424 0.1386 0.3091 0.1657 0.6708 1.496 json
t12_x19_u1_b5 12 19 1 5 log(add(R,mod(P,D))) 35407 98215037 o1(o2(x,o2(x,x))) true 113103 113103 -0.9759 0.0009613 0.9759 0.0156 0.1249 -1 0.1202 1.12 1 0.4343 0.01182 0.00183 0.02245 0.7318 1 -0.000006364 0.04071 0.04161 0.01314 0.1146 5.106 1.539 0.8748 2.609 1 1 0.008869 0.01973 0.03005 0.5684 1.265 1.926 json
t12_x19_u1_b6 12 19 1 6 log(add(R,lrg(P,D))) 35408 98215038 o1(o2(x,o2(x,x))) true 113111 113111 -0.6238 0.1741 0.731 0.2672 0.5169 -1 0.6829 1.683 1 2.928 0.00763 0.004865 0.041 0.2213 1 0.00005021 0.01843 0.02667 0.01081 0.104 2.536 2.242 0.04676 0.06898 1 1 0.0171 0.1177 0.2883 0.06401 0.4404 1.079 json
t12_x19_u1_b7 12 19 1 7 log(add(R,eql(P,D))) 35409 98215039 o1(o2(x,o2(x,x))) true 113119 113119 -0.9838 0 0.9838 0.009626 0.09811 -1 -0.05896 0.941 1 0.3254 0.001056 0.001224 0.005061 -0.07381 1 0.00001706 0.004529 0.00698 0.002254 0.04747 9.381 1.212 0.2369 0.4706 1 1 0.001967 0.008849 0.01618 0.2044 0.9193 1.681 json
t12_x19_u1_b8 12 19 1 8 log(add(R,min(P,D))) 35410 98215040 o1(o2(x,o2(x,x))) true 113127 113127 -0.9924 0 0.9924 0.00418 0.06465 -1 -0.09262 0.9074 1 0.1802 0.001561 0.0004164 0.004425 0.5789 1 0.00005416 0.004312 0.006481 0.001959 0.04427 10 1.236 0.4732 1.032 1 1 0.002098 0.005669 0.00923 0.502 1.356 2.208 json
t12_x19_u1_b9 12 19 1 9 log(add(R,dot(P,D))) 35411 98215041 o1(o2(x,o2(x,x))) true 113135 113135 -0.9996 0 0.9996 0.000149 0.01221 -1 -0.223 0.777 1 0.01576 0.000176 0.0002156 0.0008502 -0.1012 1 3.754e-11 0.001618 0.001748 0.0003908 0.01977 23.25 0.8202 2.629 10.86 1 1 0.000282 0.0003111 0.0002879 1.893 2.089 1.932 json
t12_x19_u1_b10 12 19 1 10 log(add(R,dst(P,D))) 35412 98215042 o1(o2(x,o2(x,x))) true 113143 113143 0.9564 0.9892 0.969 0.04064 0.2016 -1 1 2 1 0.7214 0.002352 0.001969 0.007671 0.08852 1 1.276e-10 0.01074 0.006325 0.004263 0.06529 8.512 2.802 0.1063 0.2642 1 1 0.008413 0.04045 0.1045 0.207 0.9955 2.571 json
t12_x19_u1_b11 12 19 1 11 log(sub(R,add(P,D))) 35413 98215043 o1(o2(x,o2(x,x))) true 113151 113151 -0.163 0.4318 0.9393 0.8909 0.9439 -1 1 2 1 1.921 0.00266 0.001199 0.01082 0.3787 1 -0.000002861 0.006359 0.007422 0.003745 0.06119 5.656 1.623 0.004332 0.007138 1 1 0.005745 0.04121 0.2578 0.006449 0.04626 0.2894 json
t12_x19_u1_b12 12 19 1 12 log(sub(R,sub(P,D))) 35414 98215044 o1(o2(x,o2(x,x))) true 113159 113159 -0.2183 0.4017 0.9601 0.897 0.9471 -1 1 2 1 1.64 0.01417 0.00224 0.01724 0.727 1 0.000001084 0.03577 0.02548 0.01612 0.127 7.364 2.828 0.0183 0.03987 1 1 0.02048 0.07032 0.3135 0.02283 0.07839 0.3494 json
t12_x19_u1_b13 12 19 1 13 log(sub(R,mlt(P,D))) 35415 98215045 o1(o2(x,o2(x,x))) true 113167 113167 -0.9813 0.0003357 0.9813 0.01098 0.1048 -1 0.05965 1.06 1 0.3748 0.003024 0.001198 0.009552 0.4325 1 0.000001719 0.01022 0.01467 0.004132 0.06428 6.729 1.158 0.3846 0.9307 1 1 0.004126 0.01367 0.02305 0.3758 1.245 2.1 json
t12_x19_u1_b14 12 19 1 14 log(sub(R,div(P,D))) 35416 98215046 o1(o2(x,o2(x,x))) true 113175 113175 -0.9636 0.01643 0.9886 0.0562 0.2371 -1 1 2 1 0.3213 0.008801 0.005371 0.01073 0.242 1 7.509e-11 0.02864 0.01592 0.01406 0.1186 11.05 2.828 0.2521 0.5096 1 1 0.02011 0.08364 0.1657 0.3578 1.488 2.948 json
t12_x19_u1_b15 12 19 1 15 log(sub(R,pow(P,D))) 35417 98215047 o1(o2(x,o2(x,x))) true 113183 113183 -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_x19_u1_b16 12 19 1 16 log(sub(R,mod(P,D))) 35418 98215048 o1(o2(x,o2(x,x))) true 113191 113191 -0.9664 0.003632 0.9668 0.02271 0.1507 -1 0.2192 1.219 1 0.5509 0.0105 0.00248 0.0221 0.6177 1 0.0001163 0.03805 0.03938 0.01249 0.1117 5.057 1.545 0.5715 1.676 1 1 0.006955 0.02029 0.0372 0.3063 0.8936 1.638 json
t12_x19_u1_b17 12 19 1 17 log(sub(R,lrg(P,D))) 35419 98215049 o1(o2(x,o2(x,x))) true 113199 113199 -0.9891 0 0.9891 0.006459 0.08037 -1 -0.05896 0.941 1 0.2392 0.0007411 0.0007966 0.00349 -0.03613 1 0.00001234 0.003047 0.004793 0.001527 0.03908 11.2 0.941 0.2381 0.4717 1 1 0.001767 0.007619 0.01333 0.2735 1.18 2.064 json
t12_x19_u1_b18 12 19 1 18 log(sub(R,eql(P,D))) 35420 98215050 o1(o2(x,o2(x,x))) true 113207 113207 -0.9838 0 0.9838 0.009626 0.09811 -1 -0.05896 0.941 1 0.3254 0.001056 0.001224 0.005061 -0.07381 1 0.00001706 0.004529 0.00698 0.002254 0.04747 9.381 1.212 0.2369 0.4706 1 1 0.001967 0.008849 0.01618 0.2044 0.9193 1.681 json
t12_x19_u1_b19 12 19 1 19 log(sub(R,min(P,D))) 35421 98215051 o1(o2(x,o2(x,x))) true 113215 113215 -0.1468 0.4332 0.9214 0.8725 0.9341 -1 1 2 1 2.15 0.004849 0.00204 0.0177 0.4078 1 9.706e-7 0.01243 0.0172 0.006573 0.08107 4.58 1.639 0.007895 0.01425 1 1 0.009856 0.05289 0.2701 0.0113 0.06061 0.3095 json
t12_x19_u1_b20 12 19 1 20 log(sub(R,dot(P,D))) 35422 98215052 o1(o2(x,o2(x,x))) true 113223 113223 -0.9918 0.00009155 0.9918 0.005076 0.07125 -1 0.03669 1.037 1 0.1786 0.001385 0.001327 0.006325 0.02118 1 -1.84e-10 0.00737 0.01022 0.002674 0.05171 8.175 1.107 0.5343 1.452 1 1 0.003296 0.009776 0.01714 0.6494 1.926 3.377 json
t12_x19_u1_b21 12 19 1 21 log(sub(R,dst(P,D))) 35423 98215053 o1(o2(x,o2(x,x))) true 113231 113231 -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_x19_u1_b22 12 19 1 22 log(mlt(R,add(P,D))) 35424 98215054 o1(o2(x,o2(x,x))) true 113239 113239 -0.9577 0.0193 0.9816 0.05983 0.2446 -1 1 2 1 0.3863 0.005753 0.007144 0.01063 -0.1078 1 -3.999e-8 0.02651 0.01694 0.01279 0.1131 10.64 2.828 0.2156 0.443 1 1 0.009641 0.04062 0.1036 0.1611 0.6789 1.732 json
t12_x19_u1_b23 12 19 1 23 log(mlt(R,sub(P,D))) 35425 98215055 o1(o2(x,o2(x,x))) true 113247 113247 -0.9549 0.01924 0.9785 0.06101 0.247 -1 1 2 1 0.4401 0.006282 0.0071 0.01196 -0.06112 1 -4.024e-8 0.02712 0.01854 0.01323 0.115 9.614 2.828 0.2194 0.4445 1 1 0.01074 0.0454 0.1061 0.176 0.7442 1.74 json
t12_x19_u1_b24 12 19 1 24 log(mlt(R,mlt(P,D))) 35426 98215056 o1(o2(x,o2(x,x))) true 113255 113255 -0.9909 0.00351 0.9935 0.00941 0.09701 -1 0.7229 1.723 1 0.1483 0.0006333 0.001076 0.003409 -0.2591 1 0.000001388 0.002535 0.003526 0.001698 0.04121 12.09 1.723 0.1817 0.2693 1 1 0.002068 0.01149 0.01774 0.2197 1.221 1.885 json
t12_x19_u1_b25 12 19 1 25 log(mlt(R,div(P,D))) 35427 98215057 o1(o2(x,o2(x,x))) true 113263 113263 -0.9351 0.03464 0.9949 0.1185 0.3443 -1 1 2 1 0.2922 0.01752 0.01197 0.01671 0.1881 1 -0.000002059 0.06209 0.03117 0.0292 0.1709 10.23 2.828 0.2488 0.5238 1 1 0.02734 0.1031 0.2064 0.2307 0.8694 1.742 json
t12_x19_u1_b26 12 19 1 26 log(mlt(R,pow(P,D))) 35428 98215058 o1(o2(x,o2(x,x))) true 113271 113271 -0.9985 0 0.9985 0.000683 0.02614 -1 -0.1397 0.8603 1 0.04716 0.00001394 0.00005859 0.0003271 -0.6157 0 0.00002623 0.00012 0.0003817 0.00007238 0.008508 26.01 0.6381 0.1062 0.1757 1 1 0 0 0.0004947 0 0 0.7243 json
t12_x19_u1_b27 12 19 1 27 log(mlt(R,mod(P,D))) 35429 98215059 o1(o2(x,o2(x,x))) true 113279 113279 -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_x19_u1_b28 12 19 1 28 log(mlt(R,lrg(P,D))) 35430 98215060 o1(o2(x,o2(x,x))) true 113287 113287 -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_x19_u1_b29 12 19 1 29 log(mlt(R,eql(P,D))) 35431 98215061 o1(o2(x,o2(x,x))) true 113295 113295 -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_x19_u1_b30 12 19 1 30 log(mlt(R,min(P,D))) 35432 98215062 o1(o2(x,o2(x,x))) true 113303 113303 -0.9663 0.0154 0.9825 0.04452 0.211 -1 1 2 1 0.3414 0.004705 0.005307 0.008865 -0.06012 1 -4.01e-8 0.0204 0.0137 0.009934 0.09967 11.24 2.828 0.2249 0.4584 1 1 0.009754 0.04109 0.09008 0.2191 0.9231 2.023 json
t12_x19_u1_b31 12 19 1 31 log(mlt(R,dot(P,D))) 35433 98215063 o1(o2(x,o2(x,x))) true 113311 113311 -0.9615 0.01883 0.9766 0.0449 0.2119 -1 1 2 1 0.4527 0.008328 0.006943 0.0202 0.09072 1 -0.0003013 0.0352 0.02873 0.01487 0.122 6.037 2.656 0.3401 0.7838 1 1 0.01221 0.0496 0.05502 0.272 1.105 1.225 json
t12_x19_u1_b32 12 19 1 32 log(mlt(R,dst(P,D))) 35434 98215064 o1(o2(x,o2(x,x))) true 113319 113319 -0.9242 0.04041 0.9911 0.1337 0.3656 -1 1 2 1 0.3728 0.01304 0.01359 0.01572 -0.02068 1 -0.000001514 0.05545 0.02935 0.02639 0.1624 10.33 2.828 0.1993 0.4148 1 1 0.01754 0.07901 0.1871 0.1312 0.5911 1.4 json
t12_x19_u1_b33 12 19 1 33 log(div(R,add(P,D))) 35435 98215065 o1(o2(x,o2(x,x))) true 113327 113327 -0.9904 0.004562 0.9954 0.01324 0.1151 -1 1 2 1 0.1272 0.002361 0.001814 0.003623 0.1308 1 1.126e-11 0.008608 0.005638 0.004163 0.06452 17.81 2.828 0.3153 0.65 1 1 0.003132 0.01385 0.02195 0.2365 1.046 1.657 json
t12_x19_u1_b34 12 19 1 34 log(div(R,sub(P,D))) 35436 98215066 o1(o2(x,o2(x,x))) true 113335 113335 -0.9831 0.006058 0.9918 0.02232 0.1494 -1 1 2 1 0.2255 0.004885 0.001772 0.006278 0.4676 1 -4.505e-11 0.01319 0.009084 0.006617 0.08135 12.96 2.016 0.2982 0.591 1 1 0.008427 0.02908 0.04813 0.3776 1.303 2.156 json
t12_x19_u1_b35 12 19 1 35 log(div(R,mlt(P,D))) 35437 98215067 o1(o2(x,o2(x,x))) true 113343 113343 -0.9727 0.01285 0.9896 0.04018 0.2004 -1 1 2 1 0.271 0.01994 0.004597 0.01852 0.6253 1 0.000003792 0.05673 0.02784 0.0242 0.1556 8.398 2.828 0.6107 1.412 1 1 0.02107 0.05244 0.08352 0.5245 1.305 2.079 json
t12_x19_u1_b36 12 19 1 36 log(div(R,div(P,D))) 35438 98215068 o1(o2(x,o2(x,x))) true 113351 113351 -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_x19_u1_b37 12 19 1 37 log(div(R,pow(P,D))) 35439 98215069 o1(o2(x,o2(x,x))) true 113359 113359 -0.9981 0.0005951 0.9982 0.001664 0.04079 -1 0.1618 1.162 1 0.03333 0.00004682 0.00016 0.000459 -0.5473 1 -0.00001679 0.000345 0.0004798 0.0002066 0.01437 31.32 1.163 0.1243 0.2074 1 1 0 0 0.001341 0 0 0.8059 json
t12_x19_u1_b38 12 19 1 38 log(div(R,mod(P,D))) 35440 98215070 o1(o2(x,o2(x,x))) true 113367 113367 -0.9413 0.03098 0.9923 0.1036 0.3219 -1 1 2 1 0.3105 0.02452 0.00959 0.02187 0.4378 1 -1.197e-7 0.08015 0.04155 0.03364 0.1834 8.388 2.828 0.3292 0.7735 1 1 0.02889 0.08717 0.2126 0.2788 0.8412 2.052 json
t12_x19_u1_b39 12 19 1 39 log(div(R,lrg(P,D))) 35441 98215071 o1(o2(x,o2(x,x))) true 113375 113375 -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_x19_u1_b40 12 19 1 40 log(div(R,eql(P,D))) 35442 98215072 o1(o2(x,o2(x,x))) true 113383 113383 -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_x19_u1_b41 12 19 1 41 log(div(R,min(P,D))) 35443 98215073 o1(o2(x,o2(x,x))) true 113391 113391 -0.9723 0.01395 0.9921 0.04398 0.2097 -1 1 2 1 0.2439 0.009282 0.004718 0.01009 0.326 1 -8.232e-7 0.02899 0.0162 0.0139 0.1179 11.69 2.828 0.3183 0.6593 1 1 0.01545 0.05193 0.1082 0.3512 1.181 2.46 json
t12_x19_u1_b42 12 19 1 42 log(div(R,dot(P,D))) 35444 98215074 o1(o2(x,o2(x,x))) true 113399 113399 -0.9735 0.01115 0.9865 0.03438 0.1854 -1 1 2 1 0.3261 0.02333 0.02849 0.03601 -0.09968 1 0.0003302 0.2064 0.06732 0.05049 0.2247 6.239 2.828 1.508 6.004 1 1 0.0554 0.08431 0.08939 1.611 2.452 2.6 json
t12_x19_u1_b43 12 19 1 43 log(div(R,dst(P,D))) 35445 98215075 o1(o2(x,o2(x,x))) true 113407 113407 -0.9999 0 0.9999 0.000008397 0.002898 -1 -0.8743 0.1257 1 0.009268 0.00000222 0.000001012 0.00007055 0.3736 0 -1.877e-11 0.000004216 0.00008064 0.000003224 0.001796 25.45 0.1228 0.3849 0.5021 1 1 0.000008371 0.00002705 0.00003055 0.997 3.222 3.638 json
t12_x19_u1_b44 12 19 1 44 log(pow(R,add(P,D))) 35446 98215076 o1(o2(x,o2(x,x))) true 113415 113415 -0.9326 0.03516 0.9908 0.1182 0.3438 -1 1 2 1 0.3455 0.01292 0.01034 0.01373 0.1108 1 -0.000006028 0.04834 0.02618 0.02309 0.152 11.07 2.828 0.1968 0.4091 1 1 0.0201 0.08813 0.2087 0.1701 0.7458 1.766 json
t12_x19_u1_b45 12 19 1 45 log(pow(R,sub(P,D))) 35447 98215077 o1(o2(x,o2(x,x))) true 113423 113423 -0.9329 0.0351 0.9901 0.1172 0.3423 -1 1 2 1 0.3453 0.0129 0.01005 0.01372 0.1243 1 -0.000007707 0.04775 0.02607 0.02278 0.1509 11 2.828 0.1959 0.4074 1 1 0.0195 0.08573 0.2055 0.1664 0.7316 1.754 json
t12_x19_u1_b46 12 19 1 46 log(pow(R,mlt(P,D))) 35448 98215078 o1(o2(x,o2(x,x))) true 113431 113431 -0.9596 0.02457 0.9725 0.04777 0.2186 -1 1 2 1 0.3824 0.005115 0.00481 0.01172 0.03069 1 0.000001107 0.01944 0.01808 0.009793 0.09896 8.442 2.052 0.2078 0.407 1 1 0.008514 0.04026 0.09333 0.1782 0.8429 1.954 json
t12_x19_u1_b47 12 19 1 47 log(pow(R,div(P,D))) 35449 98215079 o1(o2(x,o2(x,x))) true 113439 113439 -0.9541 0.0249 0.9934 0.08186 0.2861 -1 1 2 1 0.2453 0.01358 0.00744 0.01308 0.2922 1 0.00001034 0.04258 0.02263 0.02086 0.1444 11.04 2.828 0.2568 0.5202 1 1 0.01625 0.07702 0.1406 0.1985 0.9409 1.718 json
t12_x19_u1_b48 12 19 1 48 log(pow(R,pow(P,D))) 35450 98215080 o1(o2(x,o2(x,x))) true 113447 113447 -0.9958 0 0.9958 0.003545 0.05954 -1 -0.00004153 1 1 0.06431 0.0004299 0.000419 0.001194 0.01279 1 0.00002321 0.001732 0.001961 0.0008474 0.02911 24.39 1.212 0.2395 0.4886 1 1 0.0001499 0.00108 0.003082 0.04227 0.3045 0.8692 json
t12_x19_u1_b49 12 19 1 49 log(pow(R,mod(P,D))) 35451 98215081 o1(o2(x,o2(x,x))) true 113455 113455 -0.9539 0.03113 0.9611 0.04798 0.219 -1 0.5324 1.532 1 0.3734 0.0045 0.004657 0.01063 -0.01717 1 -0.000001497 0.01891 0.01988 0.009048 0.09512 8.946 1.548 0.1908 0.3942 1 1 0.007319 0.03275 0.0822 0.1525 0.6825 1.713 json
t12_x19_u1_b50 12 19 1 50 log(pow(R,lrg(P,D))) 35452 98215082 o1(o2(x,o2(x,x))) true 113463 113463 -0.9614 0 0.9614 0.03563 0.1888 -1 0 1 1 0.32 0.004051 0.003385 0.00808 0.08968 1 0.00000472 0.01551 0.01539 0.007368 0.08584 10.62 1.414 0.2087 0.4354 1 1 0.00621 0.02629 0.06371 0.1743 0.7379 1.788 json
t12_x19_u1_b51 12 19 1 51 log(pow(R,eql(P,D))) 35453 98215083 o1(o2(x,o2(x,x))) true 113471 113471 -0.7891 0 0.7891 0.1665 0.4081 -1 0 1 1 0.7433 0.02038 0.01672 0.0368 0.09847 1 0 0.07839 0.0742 0.03575 0.1891 5.137 1.414 0.2228 0.4707 1 1 0.03693 0.1529 0.3553 0.2217 0.9184 2.134 json
t12_x19_u1_b52 12 19 1 52 log(pow(R,min(P,D))) 35454 98215084 o1(o2(x,o2(x,x))) true 113479 113479 -0.9282 0.03955 0.9868 0.1226 0.3501 -1 1 2 1 0.3774 0.01325 0.01081 0.01453 0.1015 1 -0.00001646 0.05009 0.02779 0.02386 0.1545 10.63 2.828 0.1963 0.4086 1 1 0.01992 0.08781 0.2119 0.1625 0.7164 1.729 json
t12_x19_u1_b53 12 19 1 53 log(pow(R,dot(P,D))) 35455 98215085 o1(o2(x,o2(x,x))) true 113487 113487 -0.9528 0.02486 0.9798 0.06756 0.2599 -1 1 2 1 0.3949 0.006498 0.005808 0.01357 0.05609 1 0.00003702 0.02321 0.01946 0.01212 0.1101 8.115 2.177 0.1821 0.3435 1 1 0.008904 0.0454 0.1101 0.1318 0.672 1.63 json
t12_x19_u1_b54 12 19 1 54 log(pow(R,dst(P,D))) 35456 98215086 o1(o2(x,o2(x,x))) true 113495 113495 -0.9986 0 0.9986 0.0006042 0.02458 -1 -0.2377 0.7623 1 0.05072 0.0001535 0.0001606 0.0009359 -0.02249 1 0.00001493 0.0006091 0.001355 0.0003132 0.0177 18.91 0.7623 0.52 1.008 1 1 0.0004588 0.001412 0.001843 0.7593 2.337 3.051 json
t12_x19_u1_b55 12 19 1 55 log(mod(R,add(P,D))) 35457 98215087 o1(o2(x,o2(x,x))) true 113503 113503 -0.9865 0 0.9865 0.008078 0.08988 -1 -0.05896 0.941 1 0.2815 0.001309 0.000999 0.004807 0.1344 1 0.00001706 0.004717 0.007036 0.002286 0.04781 9.946 1.212 0.2857 0.5839 1 1 0.001813 0.007891 0.01471 0.2245 0.9768 1.821 json
t12_x19_u1_b56 12 19 1 56 log(mod(R,sub(P,D))) 35458 98215088 o1(o2(x,o2(x,x))) true 113511 113511 -0.9873 0 0.9873 0.007615 0.08726 -1 -0.05896 0.941 1 0.2747 0.001437 0.001036 0.00526 0.1622 1 0.00001706 0.005048 0.007911 0.002447 0.04947 9.404 1.212 0.3248 0.6629 1 1 0.002194 0.006562 0.01105 0.2881 0.8617 1.451 json
t12_x19_u1_b57 12 19 1 57 log(mod(R,mlt(P,D))) 35459 98215089 o1(o2(x,o2(x,x))) true 113519 113519 -0.9937 0 0.9937 0.003587 0.05989 -1 -0.05918 0.9408 1 0.1566 0.0006413 0.0005439 0.002766 0.08214 1 -0.0003478 0.002638 0.004187 0.001178 0.03432 12.4 1.266 0.3305 0.7355 1 1 0.0007779 0.002786 0.004112 0.2169 0.7766 1.146 json
t12_x19_u1_b58 12 19 1 58 log(mod(R,div(P,D))) 35460 98215090 o1(o2(x,o2(x,x))) true 113527 113527 -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_x19_u1_b59 12 19 1 59 log(mod(R,pow(P,D))) 35461 98215091 o1(o2(x,o2(x,x))) true 113535 113535 -0.9997 0 0.9997 0.0001954 0.01398 -1 -0.07531 0.9247 1 0.006576 0.00003297 3.794e-7 0.00008417 0.9772 0 0.00005293 0.00003875 0.0001154 0.00003333 0.005774 68.59 0.7035 0.1706 0.1983 1 1 0 0 0.00002823 0 0 0.1444 json
t12_x19_u1_b60 12 19 1 60 log(mod(R,mod(P,D))) 35462 98215092 o1(o2(x,o2(x,x))) true 113543 113543 -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_x19_u1_b61 12 19 1 61 log(mod(R,lrg(P,D))) 35463 98215093 o1(o2(x,o2(x,x))) true 113551 113551 -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_x19_u1_b62 12 19 1 62 log(mod(R,eql(P,D))) 35464 98215094 o1(o2(x,o2(x,x))) true 113559 113559 -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_x19_u1_b63 12 19 1 63 log(mod(R,min(P,D))) 35465 98215095 o1(o2(x,o2(x,x))) true 113567 113567 -0.988 0 0.988 0.007115 0.08435 -1 -0.05896 0.941 1 0.258 0.000968 0.0008874 0.004047 0.04345 1 0.00001234 0.003742 0.005767 0.001838 0.04287 10.59 0.941 0.2608 0.526 1 1 0.001816 0.007941 0.01395 0.2552 1.116 1.96 json
t12_x19_u1_b64 12 19 1 64 log(mod(R,dot(P,D))) 35466 98215096 o1(o2(x,o2(x,x))) true 113575 113575 -0.9908 0 0.9908 0.00518 0.07197 -1 -0.05918 0.9408 1 0.2172 0.001344 0.001591 0.005678 -0.08414 1 -0.00006547 0.009428 0.0104 0.002902 0.05387 9.488 1.265 0.5668 1.82 1 1 0.001612 0.004374 0.00615 0.3111 0.8443 1.187 json
t12_x19_u1_b65 12 19 1 65 log(mod(R,dst(P,D))) 35467 98215097 o1(o2(x,o2(x,x))) true 113583 113583 -0.9838 0 0.9838 0.009621 0.09809 -1 -0.05896 0.941 1 0.3254 0.001057 0.001225 0.005064 -0.07376 1 0.00001706 0.004535 0.007005 0.002255 0.04749 9.377 1.212 0.2371 0.4714 1 1 0.00197 0.008857 0.01617 0.2047 0.9206 1.68 json
t12_x19_u1_b66 12 19 1 66 log(lrg(R,add(P,D))) 35468 98215098 o1(o2(x,o2(x,x))) true 113591 113591 -0.5381 0 0.5381 0.2483 0.4983 -1 0 1 1 0.9958 0.003968 0.001338 0.00527 0.4955 1 0 0.01131 0.01061 0.005281 0.07267 13.79 1.414 0.02137 0.04553 1 1 0.006787 0.02773 0.1028 0.02733 0.1117 0.414 json
t12_x19_u1_b67 12 19 1 67 log(lrg(R,sub(P,D))) 35469 98215099 o1(o2(x,o2(x,x))) true 113599 113599 -0.5767 0 0.5767 0.2443 0.4943 -1 0 1 1 0.983 0.01096 0.001559 0.01244 0.7509 1 0 0.02661 0.02504 0.01237 0.1112 8.944 1.414 0.05123 0.1089 1 1 0.01637 0.05421 0.1091 0.067 0.2219 0.4463 json
t12_x19_u1_b68 12 19 1 68 log(lrg(R,mlt(P,D))) 35470 98215100 o1(o2(x,o2(x,x))) true 113607 113607 -0.9463 0 0.9463 0.05085 0.2255 -1 0 1 1 0.302 0.0199 0.005102 0.02476 0.5919 1 0 0.06041 0.05001 0.02439 0.1562 6.308 1.414 0.4917 1.188 1 1 0.02427 0.06683 0.1295 0.4772 1.314 2.546 json
t12_x19_u1_b69 12 19 1 69 log(lrg(R,div(P,D))) 35471 98215101 o1(o2(x,o2(x,x))) true 113615 113615 -0.9688 0 0.9688 0.03027 0.174 -1 0 1 1 0.2006 0.002016 0.003023 0.005011 -0.2 1 0 0.01046 0.01008 0.005017 0.07083 14.13 1.414 0.1665 0.3454 1 1 0.007036 0.02814 0.09042 0.2324 0.9297 2.987 json
t12_x19_u1_b70 12 19 1 70 log(lrg(R,pow(P,D))) 35472 98215102 o1(o2(x,o2(x,x))) true 113623 113623 -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_x19_u1_b71 12 19 1 71 log(lrg(R,mod(P,D))) 35473 98215103 o1(o2(x,o2(x,x))) true 113631 113631 -0.9089 0 0.9089 0.08278 0.2877 -1 0 1 1 0.44 0.04431 0.006173 0.04993 0.7555 1 0.0005039 0.1515 0.1015 0.04796 0.219 4.386 1.414 0.6099 1.831 1 1 0.02752 0.05885 0.1183 0.3325 0.7109 1.43 json
t12_x19_u1_b72 12 19 1 72 log(lrg(R,lrg(P,D))) 35474 98215104 o1(o2(x,o2(x,x))) true 113639 113639 -0.9688 0 0.9688 0.03027 0.174 -1 0 1 1 0.2006 0.003464 0.002646 0.006064 0.134 1 0 0.01279 0.01222 0.006069 0.0779 12.85 1.414 0.2018 0.4224 1 1 0.005914 0.02428 0.05852 0.1954 0.802 1.933 json
t12_x19_u1_b73 12 19 1 73 log(lrg(R,eql(P,D))) 35475 98215105 o1(o2(x,o2(x,x))) true 113647 113647 -0.957 0 0.957 0.04112 0.2028 -1 0 1 1 0.2557 0.00422 0.004094 0.008259 0.01515 1 0 0.01738 0.01663 0.008241 0.09078 10.99 1.414 0.2022 0.4228 1 1 0.006357 0.02738 0.06893 0.1546 0.6659 1.676 json
t12_x19_u1_b74 12 19 1 74 log(lrg(R,min(P,D))) 35476 98215106 o1(o2(x,o2(x,x))) true 113655 113655 -0.4924 0 0.4924 0.2499 0.4999 -1 0 1 1 0.9998 0.01241 0.004724 0.01699 0.4485 1 0 0.03691 0.03427 0.01685 0.1298 7.637 1.414 0.06855 0.1477 1 1 0.01963 0.07101 0.1787 0.07852 0.2841 0.715 json
t12_x19_u1_b75 12 19 1 75 log(lrg(R,dot(P,D))) 35477 98215107 o1(o2(x,o2(x,x))) true 113663 113663 -0.9691 0 0.9691 0.02994 0.173 -1 0 1 1 0.1988 0.01285 0.01436 0.02577 -0.05556 1 0 0.08349 0.05442 0.02653 0.1629 6.32 1.414 0.9088 2.788 1 1 0.02893 0.05722 0.0833 0.9663 1.911 2.782 json
t12_x19_u1_b76 12 19 1 76 log(lrg(R,dst(P,D))) 35478 98215108 o1(o2(x,o2(x,x))) true 113671 113671 -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_x19_u1_b77 12 19 1 77 log(eql(R,add(P,D))) 35479 98215109 o1(o2(x,o2(x,x))) true 113679 113679 -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_x19_u1_b78 12 19 1 78 log(eql(R,sub(P,D))) 35480 98215110 o1(o2(x,o2(x,x))) true 113687 113687 -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_x19_u1_b79 12 19 1 79 log(eql(R,mlt(P,D))) 35481 98215111 o1(o2(x,o2(x,x))) true 113695 113695 -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_x19_u1_b80 12 19 1 80 log(eql(R,div(P,D))) 35482 98215112 o1(o2(x,o2(x,x))) true 113703 113703 -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_x19_u1_b81 12 19 1 81 log(eql(R,pow(P,D))) 35483 98215113 o1(o2(x,o2(x,x))) true 113711 113711 -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_x19_u1_b82 12 19 1 82 log(eql(R,mod(P,D))) 35484 98215114 o1(o2(x,o2(x,x))) true 113719 113719 -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_x19_u1_b83 12 19 1 83 log(eql(R,lrg(P,D))) 35485 98215115 o1(o2(x,o2(x,x))) true 113727 113727 -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_x19_u1_b84 12 19 1 84 log(eql(R,eql(P,D))) 35486 98215116 o1(o2(x,o2(x,x))) true 113735 113735 -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_x19_u1_b85 12 19 1 85 log(eql(R,min(P,D))) 35487 98215117 o1(o2(x,o2(x,x))) true 113743 113743 -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_x19_u1_b86 12 19 1 86 log(eql(R,dot(P,D))) 35488 98215118 o1(o2(x,o2(x,x))) true 113751 113751 -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_x19_u1_b87 12 19 1 87 log(eql(R,dst(P,D))) 35489 98215119 o1(o2(x,o2(x,x))) true 113759 113759 -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_x19_u1_b88 12 19 1 88 log(min(R,add(P,D))) 35490 98215120 o1(o2(x,o2(x,x))) true 113767 113767 -0.9973 0 0.9973 0.001704 0.04127 -1 -0.07531 0.9247 1 0.06704 0.0001766 0.0001815 0.0008588 -0.01388 1 0.00000472 0.0006918 0.001093 0.0003573 0.0189 22.01 1.212 0.2102 0.4061 1 1 0.00003712 0.00026 0.001404 0.02179 0.1526 0.824 json
t12_x19_u1_b89 12 19 1 89 log(min(R,sub(P,D))) 35491 98215121 o1(o2(x,o2(x,x))) true 113775 113775 -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_x19_u1_b90 12 19 1 90 log(min(R,mlt(P,D))) 35492 98215122 o1(o2(x,o2(x,x))) true 113783 113783 -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_x19_u1_b91 12 19 1 91 log(min(R,div(P,D))) 35493 98215123 o1(o2(x,o2(x,x))) true 113791 113791 -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_x19_u1_b92 12 19 1 92 log(min(R,pow(P,D))) 35494 98215124 o1(o2(x,o2(x,x))) true 113799 113799 -0.9864 0 0.9864 0.008077 0.08987 -1 -0.05896 0.941 1 0.2843 0.0009445 0.0009995 0.004417 -0.02831 1 0.00003672 0.003841 0.006012 0.001926 0.04389 9.937 0.941 0.2407 0.4755 1 1 0.001885 0.008331 0.01472 0.2334 1.031 1.822 json
t12_x19_u1_b93 12 19 1 93 log(min(R,mod(P,D))) 35495 98215125 o1(o2(x,o2(x,x))) true 113807 113807 -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_x19_u1_b94 12 19 1 94 log(min(R,lrg(P,D))) 35496 98215126 o1(o2(x,o2(x,x))) true 113815 113815 -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_x19_u1_b95 12 19 1 95 log(min(R,eql(P,D))) 35497 98215127 o1(o2(x,o2(x,x))) true 113823 113823 -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_x19_u1_b96 12 19 1 96 log(min(R,min(P,D))) 35498 98215128 o1(o2(x,o2(x,x))) true 113831 113831 -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_x19_u1_b97 12 19 1 97 log(min(R,dot(P,D))) 35499 98215129 o1(o2(x,o2(x,x))) true 113839 113839 -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