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_u0_b30 12 6 0 30 sqt(mlt(P,min(R,P))) 24300 97689648 o1(o2(x,o2(x,x))) true 24247 24247 0.00415 0.5234 0.9573 0.9478 0.9735 -1 1 2 1 1.544 0.008357 0.004976 0.01348 0.2535 1 2.253e-11 0.02691 0.0182 0.01315 0.1147 8.506 2.761 0.01407 0.02839 1 1 0.0115 0.05974 0.3195 0.01213 0.06303 0.3371 json
t12_x6_u0_b31 12 6 0 31 sqt(mlt(P,dot(R,P))) 24301 97689649 o1(o2(x,o2(x,x))) true 24255 24255 -0.7717 0.1288 0.9705 0.3686 0.6071 -1 1 2 1 0.8393 0.03127 0.03354 0.03804 -0.03502 1 -0.000001322 0.1343 0.0694 0.06337 0.2517 6.617 2.828 0.1758 0.3643 1 1 0.06561 0.2804 0.7563 0.178 0.7606 2.052 json
t12_x6_u0_b32 12 6 0 32 sqt(mlt(P,dst(R,P))) 24302 97689650 o1(o2(x,o2(x,x))) true 24263 24263 -0.02345 0.5 0.9765 0.9712 0.9855 -1 1 2 1 1.302 0.004591 0.000004977 0.007989 0.9978 1 2.311e-7 0.008002 0.009525 0.00453 0.0673 8.425 1.001 0.004732 0.008239 1 1 0.006777 0.04684 0.2974 0.006978 0.04823 0.3062 json
t12_x6_u0_b33 12 6 0 33 sqt(div(P,add(R,P))) 24303 97689651 o1(o2(x,o2(x,x))) true 24271 24271 0.9196 1 0.9196 0.0428 0.2069 0.000206 1 0.9998 1 1.368 0.000845 0.00008488 0.01107 0.8174 1 -0.00001842 0.0001828 0.003962 0.0008072 0.02841 2.566 0.3111 0.02172 0.004271 1 1 0.002232 0.0253 0.06397 0.05215 0.591 1.495 json
t12_x6_u0_b34 12 6 0 34 sqt(div(P,sub(R,P))) 24304 97689652 o1(o2(x,o2(x,x))) true 24279 24279 -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_u0_b35 12 6 0 35 sqt(div(P,mlt(R,P))) 24305 97689653 o1(o2(x,o2(x,x))) true 24287 24287 -0.9297 0.03516 1 0.1356 0.3683 -1 1 2 1 0.2196 0.01487 0.01235 0.01351 0.09259 1 0 0.05694 0.02721 0.027 0.1643 12.16 2.828 0.2006 0.4198 1 1 0.02366 0.09712 0.2474 0.1744 0.716 1.824 json
t12_x6_u0_b36 12 6 0 36 sqt(div(P,div(R,P))) 24306 97689654 o1(o2(x,o2(x,x))) true 24295 24295 -0.8678 0.07422 0.9838 0.2277 0.4772 -1 1 2 1 0.5341 0.02227 0.02043 0.02475 0.04306 1 -2.253e-10 0.08854 0.04568 0.04211 0.2052 8.293 2.828 0.1875 0.3888 1 1 0.03982 0.1709 0.5186 0.1748 0.7506 2.277 json
t12_x6_u0_b37 12 6 0 37 sqt(div(P,pow(R,P))) 24307 97689655 o1(o2(x,o2(x,x))) true 24303 24303 -0.9617 0.02344 0.9914 0.06483 0.2546 -1 1 2 1 0.2294 0.007453 0.00565 0.008681 0.1376 1 7.509e-11 0.02713 0.01535 0.01302 0.1141 13.15 2.828 0.2021 0.4184 1 1 0.00991 0.04459 0.1158 0.1529 0.6879 1.787 json
t12_x6_u0_b38 12 6 0 38 sqt(div(P,mod(R,P))) 24308 97689656 o1(o2(x,o2(x,x))) true 24311 24311 -0.9219 0.03906 1 0.1501 0.3874 -1 1 2 1 0.238 0.01487 0.01285 0.01375 0.07273 1 0 0.05795 0.02771 0.02754 0.1659 12.07 2.828 0.1847 0.3862 1 1 0.02681 0.1099 0.3032 0.1787 0.7325 2.02 json
t12_x6_u0_b39 12 6 0 39 sqt(div(P,lrg(R,P))) 24309 97689657 o1(o2(x,o2(x,x))) true 24319 24319 -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_u0_b40 12 6 0 40 sqt(div(P,eql(R,P))) 24310 97689658 o1(o2(x,o2(x,x))) true 24327 24327 -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_u0_b41 12 6 0 41 sqt(div(P,min(R,P))) 24311 97689659 o1(o2(x,o2(x,x))) true 24335 24335 -0.05758 0.4805 0.9815 0.9738 0.9868 -1 1 2 1 1.26 0.01571 0.006181 0.01394 0.4354 1 3.589e-9 0.04455 0.02372 0.02171 0.1473 10.57 2.828 0.02249 0.04575 1 1 0.02597 0.1082 0.4016 0.02667 0.1112 0.4124 json
t12_x6_u0_b42 12 6 0 42 sqt(div(P,dot(R,P))) 24312 97689660 o1(o2(x,o2(x,x))) true 24343 24343 -0.7775 0.1289 0.9647 0.3513 0.5927 -1 1 2 1 0.9103 0.02946 0.03132 0.03659 -0.03069 1 -0.000009311 0.1258 0.06715 0.05941 0.2437 6.662 2.828 0.173 0.3582 1 1 0.06222 0.2641 0.7331 0.1771 0.7517 2.087 json
t12_x6_u0_b43 12 6 0 43 sqt(div(P,dst(R,P))) 24313 97689661 o1(o2(x,o2(x,x))) true 24351 24351 -0.1214 0.5 0.8786 0.8014 0.8952 -1 1 2 1 2.665 0.004132 0.00002 0.009094 0.9904 1 -0.000003163 0.00792 0.009162 0.004068 0.06378 7.014 1 0.005181 0.009882 1 1 0.005849 0.03258 0.2206 0.007298 0.04065 0.2752 json
t12_x6_u0_b44 12 6 0 44 sqt(pow(P,add(R,P))) 24314 97689662 o1(o2(x,o2(x,x))) true 24359 24359 -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_u0_b45 12 6 0 45 sqt(pow(P,sub(R,P))) 24315 97689663 o1(o2(x,o2(x,x))) true 24367 24367 -0.4587 0.4528 0.635 0.39 0.6245 -1 0.9999 2 1 2.2 0.01307 0.003625 0.01443 0.5659 1 -2.174e-8 0.03393 0.01955 0.01648 0.1284 8.898 2.828 0.04282 0.08699 1 1 0.02303 0.09431 0.2955 0.05906 0.2418 0.7576 json
t12_x6_u0_b46 12 6 0 46 sqt(pow(P,mlt(R,P))) 24316 97689664 o1(o2(x,o2(x,x))) true 24375 24375 -0.08042 0.5 0.9196 0.8866 0.9416 -1 1 2 1 2.047 0.01742 0.002025 0.02248 0.7917 1 -0.0001438 0.036 0.02758 0.01894 0.1376 6.121 2 0.02194 0.0406 1 1 0.02486 0.1099 0.3853 0.02804 0.124 0.4346 json
t12_x6_u0_b47 12 6 0 47 sqt(pow(P,div(R,P))) 24317 97689665 o1(o2(x,o2(x,x))) true 24383 24383 -0.1147 0.4531 0.979 0.9523 0.9759 -1 1 2 1 1.48 0.01295 0.00363 0.01217 0.5622 1 -0.000003443 0.03389 0.01939 0.01642 0.1282 10.53 2.828 0.01741 0.03559 1 1 0.02273 0.09452 0.375 0.02387 0.09925 0.3938 json
t12_x6_u0_b48 12 6 0 48 sqt(pow(P,pow(R,P))) 24318 97689666 o1(o2(x,o2(x,x))) true 24391 24391 -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_u0_b49 12 6 0 49 sqt(pow(P,mod(R,P))) 24319 97689667 o1(o2(x,o2(x,x))) true 24399 24399 -0.1715 0.4375 0.9535 0.8927 0.9448 -1 1 2 1 1.947 0.01605 0.0002225 0.01521 0.9726 1 -0.00002323 0.03188 0.01909 0.01605 0.1267 8.327 2 0.01823 0.03572 1 1 0.02159 0.08846 0.3312 0.02418 0.0991 0.371 json
t12_x6_u0_b50 12 6 0 50 sqt(pow(P,lrg(R,P))) 24320 97689668 o1(o2(x,o2(x,x))) true 24407 24407 -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_u0_b51 12 6 0 51 sqt(pow(P,eql(R,P))) 24321 97689669 o1(o2(x,o2(x,x))) true 24415 24415 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_u0_b52 12 6 0 52 sqt(pow(P,min(R,P))) 24322 97689670 o1(o2(x,o2(x,x))) true 24423 24423 -0.1403 0.4531 0.9535 0.9021 0.9498 -1 1 2 1 1.964 0.01605 0.006269 0.01818 0.4382 1 -0.00002323 0.04549 0.02513 0.02199 0.1483 8.156 2.828 0.02474 0.05042 1 1 0.03045 0.1242 0.4312 0.03376 0.1377 0.4779 json
t12_x6_u0_b53 12 6 0 53 sqt(pow(P,dot(R,P))) 24323 97689671 o1(o2(x,o2(x,x))) true 24431 24431 -0.1835 0.457 0.9025 0.848 0.9208 -1 1 2 1 1.973 0.01467 0.004003 0.02344 0.5713 1 -0.0004544 0.03433 0.02956 0.01813 0.1346 5.744 2.828 0.02202 0.04049 1 1 0.02269 0.1095 0.415 0.02675 0.1291 0.4895 json
t12_x6_u0_b54 12 6 0 54 sqt(pow(P,dst(R,P))) 24324 97689672 o1(o2(x,o2(x,x))) true 24439 24439 -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_u0_b55 12 6 0 55 sqt(mod(P,add(R,P))) 24325 97689673 o1(o2(x,o2(x,x))) true 24447 24447 -0.09262 0.4999 0.9074 0.8587 0.9267 -1 1 2 1 2.334 0.004631 0.000513 0.01801 0.8005 1 -0.00007119 0.008238 0.01387 0.004821 0.06943 3.855 1 0.005991 0.009593 1 1 0.007423 0.04937 0.2719 0.008644 0.05749 0.3167 json
t12_x6_u0_b56 12 6 0 56 sqt(mod(P,sub(R,P))) 24326 97689674 o1(o2(x,o2(x,x))) true 24455 24455 -0.08129 0.4989 0.9187 0.882 0.9391 -1 1 2 1 2.154 0.004457 0.0005311 0.01576 0.7871 1 -0.00001973 0.008229 0.01338 0.004738 0.06884 4.367 1 0.005656 0.00933 1 1 0.006999 0.04371 0.2601 0.007935 0.04955 0.2949 json
t12_x6_u0_b57 12 6 0 57 sqt(mod(P,mlt(R,P))) 24327 97689675 o1(o2(x,o2(x,x))) true 24463 24463 -0.2373 0.4375 0.8877 0.7736 0.8795 -1 1 2 1 2.45 0.008025 0.0003933 0.01744 0.9066 1 -0.00001171 0.01557 0.01447 0.008115 0.09008 5.165 1.629 0.01088 0.02013 1 1 0.0109 0.05354 0.2514 0.01409 0.06922 0.325 json
t12_x6_u0_b58 12 6 0 58 sqt(mod(P,div(R,P))) 24328 97689676 o1(o2(x,o2(x,x))) true 24471 24471 -0.4627 0.4375 0.6623 0.3759 0.6131 -1 0.6373 1.637 1 2.184 0.00779 0.00004677 0.01073 0.9881 1 7.578e-7 0.0155 0.01221 0.007725 0.08789 8.189 1.629 0.02085 0.04123 1 1 0.01015 0.04125 0.1475 0.02701 0.1097 0.3924 json
t12_x6_u0_b59 12 6 0 59 sqt(mod(P,pow(R,P))) 24329 97689677 o1(o2(x,o2(x,x))) true 24479 24479 -0.972 0.02299 0.9811 0.03332 0.1825 -1 0.5799 1.58 1 0.2295 0.00401 0.002876 0.006178 0.1646 1 0.00000198 0.01437 0.01135 0.006847 0.08275 13.39 2.234 0.2067 0.4313 1 1 0.005519 0.02322 0.06057 0.1656 0.6967 1.818 json
t12_x6_u0_b60 12 6 0 60 sqt(mod(P,mod(R,P))) 24330 97689678 o1(o2(x,o2(x,x))) true 24487 24487 -0.3689 0.4375 0.7561 0.5252 0.7247 -1 0.8937 1.894 1 2.51 0.007911 0.0001633 0.01528 0.9595 1 0.000004261 0.01551 0.01324 0.007843 0.08856 5.796 1.629 0.01537 0.02952 1 1 0.01056 0.04735 0.189 0.0201 0.09016 0.3598 json
t12_x6_u0_b61 12 6 0 61 sqt(mod(P,lrg(R,P))) 24331 97689679 o1(o2(x,o2(x,x))) true 24495 24495 -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_u0_b62 12 6 0 62 sqt(mod(P,eql(R,P))) 24332 97689680 o1(o2(x,o2(x,x))) true 24503 24503 -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_u0_b63 12 6 0 63 sqt(mod(P,min(R,P))) 24333 97689681 o1(o2(x,o2(x,x))) true 24511 24511 -0.1923 0.4604 0.589 0.454 0.6738 -1 0.8937 1.894 1 3.035 0.01939 0.002091 0.02991 0.8053 1 0.000003635 0.04258 0.04139 0.02059 0.1435 4.798 1.672 0.04733 0.09379 1 1 0.02993 0.1252 0.3081 0.06592 0.2757 0.6786 json
t12_x6_u0_b64 12 6 0 64 sqt(mod(P,dot(R,P))) 24334 97689682 o1(o2(x,o2(x,x))) true 24519 24519 -0.1191 0.492 0.8965 0.8406 0.9168 -1 1 2 1 2.354 0.005289 0.001396 0.01926 0.5823 1 -0.00002766 0.01142 0.01508 0.006313 0.07945 4.125 2.828 0.007953 0.01359 1 1 0.01044 0.06414 0.3095 0.01242 0.07631 0.3682 json
t12_x6_u0_b65 12 6 0 65 sqt(mod(P,dst(R,P))) 24335 97689683 o1(o2(x,o2(x,x))) true 24527 24527 -0.04217 0.5 0.9578 0.943 0.9711 -1 1 2 1 1.644 0.004396 0.0001554 0.01042 0.9317 1 -0.00002265 0.008 0.01026 0.004443 0.06665 6.398 1 0.004826 0.008483 1 1 0.00675 0.04395 0.2894 0.007158 0.0466 0.3069 json
t12_x6_u0_b66 12 6 0 66 sqt(lrg(P,add(R,P))) 24336 97689684 o1(o2(x,o2(x,x))) true 24535 24535 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_u0_b67 12 6 0 67 sqt(lrg(P,sub(R,P))) 24337 97689685 o1(o2(x,o2(x,x))) true 24543 24543 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_u0_b68 12 6 0 68 sqt(lrg(P,mlt(R,P))) 24338 97689686 o1(o2(x,o2(x,x))) true 24551 24551 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_u0_b69 12 6 0 69 sqt(lrg(P,div(R,P))) 24339 97689687 o1(o2(x,o2(x,x))) true 24559 24559 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_u0_b70 12 6 0 70 sqt(lrg(P,pow(R,P))) 24340 97689688 o1(o2(x,o2(x,x))) true 24567 24567 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_u0_b71 12 6 0 71 sqt(lrg(P,mod(R,P))) 24341 97689689 o1(o2(x,o2(x,x))) true 24575 24575 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_u0_b72 12 6 0 72 sqt(lrg(P,lrg(R,P))) 24342 97689690 o1(o2(x,o2(x,x))) true 24583 24583 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_u0_b73 12 6 0 73 sqt(lrg(P,eql(R,P))) 24343 97689691 o1(o2(x,o2(x,x))) true 24591 24591 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_u0_b74 12 6 0 74 sqt(lrg(P,min(R,P))) 24344 97689692 o1(o2(x,o2(x,x))) true 24599 24599 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_u0_b75 12 6 0 75 sqt(lrg(P,dot(R,P))) 24345 97689693 o1(o2(x,o2(x,x))) true 24607 24607 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_u0_b76 12 6 0 76 sqt(lrg(P,dst(R,P))) 24346 97689694 o1(o2(x,o2(x,x))) true 24615 24615 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_u0_b77 12 6 0 77 sqt(eql(P,add(R,P))) 24347 97689695 o1(o2(x,o2(x,x))) true 24623 24623 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_u0_b78 12 6 0 78 sqt(eql(P,sub(R,P))) 24348 97689696 o1(o2(x,o2(x,x))) true 24631 24631 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_u0_b79 12 6 0 79 sqt(eql(P,mlt(R,P))) 24349 97689697 o1(o2(x,o2(x,x))) true 24639 24639 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_u0_b80 12 6 0 80 sqt(eql(P,div(R,P))) 24350 97689698 o1(o2(x,o2(x,x))) true 24647 24647 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_u0_b81 12 6 0 81 sqt(eql(P,pow(R,P))) 24351 97689699 o1(o2(x,o2(x,x))) true 24655 24655 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_u0_b82 12 6 0 82 sqt(eql(P,mod(R,P))) 24352 97689700 o1(o2(x,o2(x,x))) true 24663 24663 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_u0_b83 12 6 0 83 sqt(eql(P,lrg(R,P))) 24353 97689701 o1(o2(x,o2(x,x))) true 24671 24671 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_u0_b84 12 6 0 84 sqt(eql(P,eql(R,P))) 24354 97689702 o1(o2(x,o2(x,x))) true 24679 24679 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_u0_b85 12 6 0 85 sqt(eql(P,min(R,P))) 24355 97689703 o1(o2(x,o2(x,x))) true 24687 24687 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_u0_b86 12 6 0 86 sqt(eql(P,dot(R,P))) 24356 97689704 o1(o2(x,o2(x,x))) true 24695 24695 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_u0_b87 12 6 0 87 sqt(eql(P,dst(R,P))) 24357 97689705 o1(o2(x,o2(x,x))) true 24703 24703 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_u0_b88 12 6 0 88 sqt(min(P,add(R,P))) 24358 97689706 o1(o2(x,o2(x,x))) true 24711 24711 -0.1039 0.4531 0.9898 0.9762 0.988 -1 1 2 1 1.201 0.01183 0.003441 0.01018 0.5495 1 -0.000002902 0.03123 0.01808 0.01518 0.1232 12.1 2.828 0.01565 0.03199 1 1 0.02105 0.08959 0.3751 0.02157 0.09178 0.3842 json
t12_x6_u0_b89 12 6 0 89 sqt(min(P,sub(R,P))) 24359 97689707 o1(o2(x,o2(x,x))) true 24719 24719 -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_u0_b90 12 6 0 90 sqt(min(P,mlt(R,P))) 24360 97689708 o1(o2(x,o2(x,x))) true 24727 24727 -0.9646 0.02344 0.9885 0.05531 0.2352 -1 1 2 1 0.2471 0.006554 0.004976 0.008067 0.1369 1 -6.758e-11 0.02401 0.0144 0.01146 0.1071 13.27 2.761 0.2085 0.4342 1 1 0.007945 0.03362 0.09312 0.1436 0.6079 1.683 json
t12_x6_u0_b91 12 6 0 91 sqt(min(P,div(R,P))) 24361 97689709 o1(o2(x,o2(x,x))) true 24735 24735 -0.9894 0.007813 0.995 0.01478 0.1216 -1 0.9309 1.931 1 0.09155 0.001539 0.00181 0.002533 -0.08092 1 5.413e-7 0.007052 0.004686 0.003343 0.05782 22.82 2.731 0.2267 0.4773 1 1 0.0004642 0.00328 0.01312 0.03141 0.222 0.8882 json
t12_x6_u0_b92 12 6 0 92 sqt(min(P,pow(R,P))) 24362 97689710 o1(o2(x,o2(x,x))) true 24743 24743 -0.1074 0.4998 0.8926 0.8452 0.9194 -1 1 2 1 2.318 0.005068 0.00124 0.02314 0.6067 1 -0.00004289 0.008602 0.0165 0.005775 0.07599 3.284 1 0.007463 0.01018 1 1 0.008776 0.06238 0.2986 0.01038 0.07381 0.3533 json
t12_x6_u0_b93 12 6 0 93 sqt(min(P,mod(R,P))) 24363 97689711 o1(o2(x,o2(x,x))) true 24751 24751 -0.9655 0.02344 0.9876 0.05189 0.2278 -1 0.971 1.971 1 0.2493 0.006197 0.004548 0.007925 0.1534 1 0.000001769 0.02235 0.01398 0.01068 0.1033 13.04 2.761 0.2071 0.4307 1 1 0.007945 0.03362 0.09002 0.1531 0.648 1.735 json
t12_x6_u0_b94 12 6 0 94 sqt(min(P,lrg(R,P))) 24364 97689712 o1(o2(x,o2(x,x))) true 24759 24759 -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_u0_b95 12 6 0 95 sqt(min(P,eql(R,P))) 24365 97689713 o1(o2(x,o2(x,x))) true 24767 24767 -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_u0_b96 12 6 0 96 sqt(min(P,min(R,P))) 24366 97689714 o1(o2(x,o2(x,x))) true 24775 24775 -0.9875 0.007813 0.9969 0.02051 0.1432 -1 0.9631 1.963 1 0.09407 0.001809 0.002435 0.002885 -0.1475 1 0.000001769 0.008904 0.005297 0.004236 0.06509 22.56 2.731 0.207 0.4341 1 1 0.0004642 0.00328 0.01794 0.02263 0.1599 0.8749 json
t12_x6_u0_b97 12 6 0 97 sqt(min(P,dot(R,P))) 24367 97689715 o1(o2(x,o2(x,x))) true 24783 24783 -0.9318 0.03906 0.9901 0.1187 0.3445 -1 1 2 1 0.3512 0.01312 0.01124 0.0144 0.07714 1 5.256e-11 0.05107 0.02669 0.02416 0.1554 10.79 2.828 0.2052 0.4303 1 1 0.02661 0.1109 0.2937 0.2243 0.9344 2.475 json
t12_x6_u0_b98 12 6 0 98 sqt(min(P,dst(R,P))) 24368 97689716 o1(o2(x,o2(x,x))) true 24791 24791 -0.03195 0.5 0.9681 0.9602 0.9799 -1 1 2 1 1.429 0.004316 0.000001587 0.007973 0.9993 1 1.079e-10 0.007904 0.008841 0.004253 0.06521 8.18 1 0.004497 0.008232 1 1 0.006207 0.03933 0.2838 0.006464 0.04096 0.2956 json
t12_x6_u0_b99 12 6 0 99 sqt(dot(P,add(R,P))) 24369 97689717 o1(o2(x,o2(x,x))) true 24799 24799 0.9962 1 0.9962 0.002229 0.04721 0.0005796 1 0.9994 1 0.1117 0.00004002 0.00004865 0.0009164 -0.09734 0 1.239e-10 0.00001744 0.0003405 0.00008788 0.009374 10.23 0.1575 0.03979 0.007827 1 1 0.0003006 0.003463 0.008141 0.1349 1.554 3.653 json
t12_x6_u0_b100 12 6 0 100 sqt(dot(P,sub(R,P))) 24370 97689718 o1(o2(x,o2(x,x))) true 24807 24807 -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_u0_b101 12 6 0 101 sqt(dot(P,mlt(R,P))) 24371 97689719 o1(o2(x,o2(x,x))) true 24815 24815 -0.8909 0.05469 0.9997 0.2056 0.4534 -1 1 2 1 0.3191 0.02185 0.01833 0.02011 0.08751 1 -0.000004709 0.08395 0.04039 0.0398 0.1995 9.919 2.828 0.1955 0.4084 1 1 0.04855 0.195 0.4836 0.2362 0.9486 2.352 json
t12_x6_u0_b102 12 6 0 102 sqt(dot(P,div(R,P))) 24372 97689720 o1(o2(x,o2(x,x))) true 24823 24823 -0.9442 0.03125 0.9933 0.09791 0.3129 -1 1 2 1 0.2972 0.007206 0.01274 0.01181 -0.2776 1 -0.000002213 0.04156 0.0223 0.0198 0.1407 11.91 2.828 0.2037 0.4244 1 1 0.02989 0.1224 0.253 0.3053 1.25 2.584 json
t12_x6_u0_b103 12 6 0 103 sqt(dot(P,pow(R,P))) 24373 97689721 o1(o2(x,o2(x,x))) true 24831 24831 -0.9868 0.007813 0.9976 0.02264 0.1505 -1 1 2 1 0.09335 0.002967 0.001479 0.002845 0.3347 1 -3.754e-11 0.009218 0.005149 0.004435 0.0666 23.41 2.777 0.1963 0.4071 1 1 0.007856 0.03191 0.08291 0.3469 1.409 3.662 json
t12_x6_u0_b104 12 6 0 104 sqt(dot(P,mod(R,P))) 24374 97689722 o1(o2(x,o2(x,x))) true 24839 24839 -0.9402 0.03125 0.9973 0.112 0.3346 -1 1 2 1 0.2464 0.01335 0.01246 0.01374 0.03449 1 1.352e-10 0.05433 0.02683 0.02564 0.1601 11.66 2.828 0.2305 0.4853 1 1 0.02678 0.1108 0.2608 0.2392 0.9898 2.33 json
t12_x6_u0_b105 12 6 0 105 sqt(dot(P,lrg(R,P))) 24375 97689723 o1(o2(x,o2(x,x))) true 24847 24847 -0.75 0 0.75 0.1875 0.433 -1 0 1 1 0.8113 0.001984 0.001984 0.003968 0 1 0 0.007968 0.007937 0.003952 0.06287 15.84 1 0.02116 0.0425 1 1 0.005263 0.02105 0.08421 0.02807 0.1123 0.4491 json
t12_x6_u0_b106 12 6 0 106 sqt(dot(P,eql(R,P))) 24376 97689724 o1(o2(x,o2(x,x))) true 24855 24855 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_u0_b107 12 6 0 107 sqt(dot(P,min(R,P))) 24377 97689725 o1(o2(x,o2(x,x))) true 24863 24863 0.3433 0.6758 0.9917 0.8696 0.9325 -1 1 2 1 1.126 0.02225 0.01959 0.02333 0.06361 1 3.154e-10 0.08682 0.04438 0.04127 0.2031 8.709 2.828 0.0481 0.09983 1 1 0.05698 0.2376 0.8287 0.06552 0.2732 0.953 json
t12_x6_u0_b108 12 6 0 108 sqt(dot(P,dot(R,P))) 24378 97689726 o1(o2(x,o2(x,x))) true 24871 24871 -0.7997 0.1055 0.9893 0.3462 0.5884 -1 1 2 1 0.6446 0.03261 0.03126 0.03549 0.02121 1 -6.007e-11 0.1327 0.06768 0.06258 0.2502 7.05 2.828 0.1845 0.3834 1 1 0.0638 0.2636 0.681 0.1843 0.7615 1.967 json
t12_x6_u0_b109 12 6 0 109 sqt(dot(P,dst(R,P))) 24379 97689727 o1(o2(x,o2(x,x))) true 24879 24879 -0.06897 0.4688 0.9935 0.9875 0.9937 -1 1 2 1 1.123 0.0111 0.0111 0.0142 0.00007675 1 5.256e-11 0.04608 0.0258 0.02201 0.1484 10.45 2.828 0.02249 0.04666 1 1 0.02995 0.1408 0.6178 0.03033 0.1426 0.6256 json
t12_x6_u0_b110 12 6 0 110 sqt(dst(P,add(R,P))) 24380 97689728 o1(o2(x,o2(x,x))) true 24887 24887 0.9395 1 0.9395 0.008316 0.09119 0.3152 1 0.6848 1 1.631 0.0001166 0.0001623 0.009779 -0.1639 1 -0.000009877 0.00004232 0.003157 0.0001832 0.01353 1.384 0.08961 0.03353 0.00509 1 1 0.0004445 0.005101 0.01241 0.05345 0.6135 1.493 json
t12_x6_u0_b111 12 6 0 111 sqt(dst(P,sub(R,P))) 24381 97689729 o1(o2(x,o2(x,x))) true 24895 24895 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_u0_b112 12 6 0 112 sqt(dst(P,mlt(R,P))) 24382 97689730 o1(o2(x,o2(x,x))) true 24903 24903 0.9896 1 0.9896 0.004374 0.06613 0.0005474 1 0.9995 1 0.3255 0.0001355 0.000128 0.002911 0.02849 1 -0.000006078 0.00009953 0.00159 0.000255 0.01597 5.486 0.2336 0.06023 0.02276 1 1 0.0005654 0.005766 0.01176 0.1293 1.318 2.688 json
t12_x6_u0_b113 12 6 0 113 sqt(dst(P,div(R,P))) 24383 97689731 o1(o2(x,o2(x,x))) true 24911 24911 -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_u0_b114 12 6 0 114 sqt(dst(P,pow(R,P))) 24384 97689732 o1(o2(x,o2(x,x))) true 24919 24919 -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_u0_b115 12 6 0 115 sqt(dst(P,mod(R,P))) 24385 97689733 o1(o2(x,o2(x,x))) true 24927 24927 0.5312 0.7656 0.9999 0.7172 0.8469 -1 1 2 1 0.7913 0.02765 0.02766 0.02769 -0.0001717 1 -6.007e-11 0.1111 0.05538 0.05452 0.2335 8.433 2.828 0.07711 0.1549 1 1 0.06982 0.2797 1.12 0.09735 0.3899 1.562 json
t12_x6_u0_b116 12 6 0 116 sqt(dst(P,lrg(R,P))) 24386 97689734 o1(o2(x,o2(x,x))) true 24935 24935 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_u0_b117 12 6 0 117 sqt(dst(P,eql(R,P))) 24387 97689735 o1(o2(x,o2(x,x))) true 24943 24943 0.9963 1 0.9963 0.002333 0.0483 0.000582 1 0.9994 1 0.0975 0.00003754 0.00003754 0.0008214 -9.69e-8 0 -1.427e-10 0.000006666 0.0002158 0.00007432 0.008621 10.5 0.1194 0.03219 0.002858 1 1 0.00026 0.003287 0.008516 0.1114 1.409 3.651 json
t12_x6_u0_b118 12 6 0 118 sqt(dst(P,min(R,P))) 24388 97689736 o1(o2(x,o2(x,x))) true 24951 24951 0.8172 0.9911 0.8172 0.1039 0.3223 0 1 1 1 1.993 0.0004151 0.0004475 0.01331 -0.03757 1 0.00001007 0.00007556 0.003444 0.0006845 0.02616 1.965 0.1524 0.008304 0.0007274 1 1 0.002145 0.0263 0.07815 0.02064 0.2532 0.7523 json
t12_x6_u0_b119 12 6 0 119 sqt(dst(P,dot(R,P))) 24389 97689737 o1(o2(x,o2(x,x))) true 24959 24959 0.9966 1 0.9966 0.002172 0.0466 0.0005832 1 0.9994 1 0.09168 0.00004623 0.00003565 0.0008043 0.1291 0 1.877e-12 0.00001164 0.000256 0.00008115 0.009008 11.2 0.1394 0.0377 0.005359 1 1 0.0002805 0.003322 0.007921 0.1292 1.529 3.647 json
t12_x6_u0_b120 12 6 0 120 sqt(dst(P,dst(R,P))) 24390 97689738 o1(o2(x,o2(x,x))) true 24967 24967 0.9999 1 0.9999 0.000004462 0.002112 0.9094 1 0.09062 1 0.006741 4.316e-7 4.845e-7 0.0000349 -0.05776 0 3.379e-11 6.619e-7 0.00003189 9.143e-7 0.0009562 27.4 0.04523 0.2053 0.1483 1 1 0.000002771 0.00001563 0.00001623 0.6211 3.502 3.636 json
t12_x6_u1_b0 12 6 1 0 log(add(P,add(R,P))) 24391 97689819 o1(o2(x,o2(x,x))) true 24975 24975 -0.1135 0.4459 0.9871 0.9679 0.9838 -1 1 2 1 1.293 0.009828 0.002068 0.009712 0.6523 1 -0.000004421 0.02383 0.01493 0.01181 0.1087 11.19 2.828 0.01229 0.02462 1 1 0.01623 0.07498 0.3457 0.01677 0.07747 0.3571 json
t12_x6_u1_b1 12 6 1 1 log(add(P,sub(R,P))) 24392 97689820 o1(o2(x,o2(x,x))) true 24983 24983 -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_x6_u1_b2 12 6 1 2 log(add(P,mlt(R,P))) 24393 97689821 o1(o2(x,o2(x,x))) true 24991 24991 -0.2716 0.3809 0.9049 0.7996 0.8942 -1 1 2 1 2.218 0.007384 0.00221 0.025 0.5393 1 -0.00001295 0.01248 0.0163 0.008962 0.09467 3.787 1.665 0.012 0.01561 1 1 0.01355 0.09691 0.361 0.01694 0.1212 0.4515 json
t12_x6_u1_b3 12 6 1 3 log(add(P,div(R,P))) 24394 97689822 o1(o2(x,o2(x,x))) true 24999 24999 -0.1737 0.4271 0.9595 0.9109 0.9544 -1 1 2 1 1.71 0.006 0.0001402 0.009104 0.9543 1 -0.0000067 0.0115 0.009816 0.006058 0.07784 8.549 1.664 0.006741 0.01262 1 1 0.007905 0.04267 0.2587 0.008678 0.04684 0.284 json
t12_x6_u1_b4 12 6 1 4 log(add(P,pow(R,P))) 24395 97689823 o1(o2(x,o2(x,x))) true 25007 25007 -0.943 0.03447 0.9753 0.08137 0.2853 -1 1 2 1 0.4309 0.008617 0.008144 0.0126 0.02822 1 -4.881e-11 0.03473 0.02175 0.01661 0.1289 10.23 2.828 0.206 0.4269 1 1 0.01728 0.07167 0.1894 0.2124 0.8808 2.327 json
t12_x6_u1_b5 12 6 1 5 log(add(P,mod(R,P))) 24396 97689824 o1(o2(x,o2(x,x))) true 25015 25015 -0.179 0.427 0.9544 0.9036 0.9506 -1 1 2 1 1.764 0.006034 0.0001911 0.009993 0.9386 1 -0.00000778 0.01151 0.01012 0.006125 0.07826 7.832 1.664 0.00689 0.01274 1 1 0.008091 0.04444 0.2551 0.008954 0.04918 0.2823 json
t12_x6_u1_b6 12 6 1 6 log(add(P,lrg(R,P))) 24397 97689825 o1(o2(x,o2(x,x))) true 25023 25023 -0.1583 0.4375 0.9354 0.8939 0.9455 -1 1 2 1 1.725 0.004186 0.001512 0.009421 0.4693 1 1.476e-9 0.01133 0.01195 0.00561 0.0749 7.951 1.414 0.006373 0.01267 1 1 0.008063 0.04058 0.2557 0.00902 0.04539 0.286 json
t12_x6_u1_b7 12 6 1 7 log(add(P,eql(R,P))) 24398 97689826 o1(o2(x,o2(x,x))) true 25031 25031 -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_b8 12 6 1 8 log(add(P,min(R,P))) 24399 97689827 o1(o2(x,o2(x,x))) true 25039 25039 -0.179 0.427 0.9544 0.9036 0.9506 -1 1 2 1 1.764 0.006034 0.0001911 0.009993 0.9386 1 -0.00000778 0.01151 0.01012 0.006125 0.07826 7.832 1.664 0.00689 0.01274 1 1 0.008091 0.04444 0.2551 0.008954 0.04918 0.2823 json