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_x23_u0_b31 12 23 0 31 sqt(mlt(R,dot(D,R))) 38700 98376466 o1(o2(x,o2(x,x))) true 139447 139447 -0.9476 0.04234 0.9677 0.06255 0.2501 -1 0.5524 1.552 1 0.373 0.03181 0.01529 0.03727 0.3506 1 0.0000461 0.1479 0.07745 0.04572 0.2138 5.737 2.144 0.7531 2.364 1 1 0.04094 0.1059 0.114 0.6546 1.693 1.822 json
t12_x23_u0_b32 12 23 0 32 sqt(mlt(R,dst(D,R))) 38701 98376467 o1(o2(x,o2(x,x))) true 139455 139455 -0.9254 0.04297 0.9887 0.1255 0.3542 -1 1 2 1 0.4013 0.01252 0.01245 0.01543 0.002896 1 0.00001068 0.05209 0.02885 0.02474 0.1573 10.19 2.828 0.199 0.4151 1 1 0.01987 0.08747 0.2147 0.1584 0.6971 1.711 json
t12_x23_u0_b33 12 23 0 33 sqt(div(R,add(D,R))) 38702 98376468 o1(o2(x,o2(x,x))) true 139463 139463 -0.4359 0.2939 0.9762 0.7694 0.8772 -1 1 2 1 1.423 0.2917 0.06122 0.1835 0.6531 1 0.000453 0.7812 0.3625 0.3191 0.5649 3.078 2.828 0.4588 1.015 1 1 0.3495 0.9806 1.5 0.4543 1.274 1.95 json
t12_x23_u0_b34 12 23 0 34 sqt(div(R,sub(D,R))) 38703 98376469 o1(o2(x,o2(x,x))) true 139471 139471 -0.9981 0.0009766 0.9999 0.003627 0.06023 -1 1 2 1 0.01256 0.003874 0.0004382 0.002205 0.7968 1 -3.754e-12 0.01164 0.004438 0.004303 0.0656 29.76 2.828 1.189 3.209 1 1 0.00376 0.007262 0.009642 1.037 2.002 2.658 json
t12_x23_u0_b35 12 23 0 35 sqt(div(R,mlt(D,R))) 38704 98376470 o1(o2(x,o2(x,x))) true 139479 139479 -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_x23_u0_b36 12 23 0 36 sqt(div(R,div(D,R))) 38705 98376471 o1(o2(x,o2(x,x))) true 139487 139487 -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_x23_u0_b37 12 23 0 37 sqt(div(R,pow(D,R))) 38706 98376472 o1(o2(x,o2(x,x))) true 139495 139495 -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_x23_u0_b38 12 23 0 38 sqt(div(R,mod(D,R))) 38707 98376473 o1(o2(x,o2(x,x))) true 139503 139503 -0.9219 0.03906 1 0.1501 0.3874 -1 1 2 1 0.238 0.01965 0.01612 0.01776 0.09859 1 0 0.07559 0.03578 0.03547 0.1883 10.6 2.828 0.2384 0.5037 1 1 0.03789 0.1542 0.336 0.2525 1.028 2.239 json
t12_x23_u0_b39 12 23 0 39 sqt(div(R,lrg(D,R))) 38708 98376474 o1(o2(x,o2(x,x))) true 139511 139511 -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_x23_u0_b40 12 23 0 40 sqt(div(R,eql(D,R))) 38709 98376475 o1(o2(x,o2(x,x))) true 139519 139519 -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_x23_u0_b41 12 23 0 41 sqt(div(R,min(D,R))) 38710 98376476 o1(o2(x,o2(x,x))) true 139527 139527 -0.5016 0.2539 0.9906 0.732 0.8556 -1 1 2 1 1.091 0.08639 0.06205 0.07744 0.164 1 -0.000002094 0.3118 0.1517 0.1424 0.3774 4.873 2.828 0.2028 0.426 1 1 0.1547 0.6259 1.394 0.2113 0.855 1.904 json
t12_x23_u0_b42 12 23 0 42 sqt(div(R,dot(D,R))) 38711 98376477 o1(o2(x,o2(x,x))) true 139535 139535 -0.9165 0.04234 0.9988 0.1581 0.3976 -1 1 2 1 0.284 0.08392 0.04382 0.05998 0.3139 1 0.00007389 0.4177 0.1284 0.1241 0.3522 5.872 2.828 0.8081 2.642 1 1 0.1081 0.2657 0.2859 0.684 1.681 1.808 json
t12_x23_u0_b43 12 23 0 43 sqt(div(R,dst(D,R))) 38712 98376478 o1(o2(x,o2(x,x))) true 139543 139543 -0.9254 0.04297 0.9886 0.1246 0.353 -1 1 2 1 0.3869 0.01275 0.01278 0.01544 -0.00109 1 -0.000001739 0.0534 0.02932 0.0253 0.1591 10.3 2.53 0.205 0.4287 1 1 0.01978 0.08422 0.2071 0.1588 0.676 1.662 json
t12_x23_u0_b44 12 23 0 44 sqt(pow(R,add(D,R))) 38713 98376479 o1(o2(x,o2(x,x))) true 139551 139551 -0.9189 0.04297 0.9952 0.1466 0.3829 -1 1 2 1 0.3429 0.01493 0.01453 0.01611 0.0134 1 0.000004046 0.06153 0.03148 0.02919 0.1709 10.61 2.746 0.2009 0.4197 1 1 0.02251 0.09718 0.2432 0.1535 0.6628 1.658 json
t12_x23_u0_b45 12 23 0 45 sqt(pow(R,sub(D,R))) 38714 98376480 o1(o2(x,o2(x,x))) true 139559 139559 -0.9141 0.04297 0.9999 0.1643 0.4053 -1 1 2 1 0.2591 0.01688 0.01634 0.01654 0.01633 1 7.509e-11 0.06946 0.03327 0.03293 0.1815 10.97 2.828 0.2022 0.4229 1 1 0.02538 0.1093 0.2751 0.1545 0.6655 1.675 json
t12_x23_u0_b46 12 23 0 46 sqt(pow(R,mlt(D,R))) 38715 98376481 o1(o2(x,o2(x,x))) true 139567 139567 -0.9144 0.04297 0.9997 0.1634 0.4042 -1 1 2 1 0.2557 0.01685 0.01628 0.01658 0.01702 1 9.437e-7 0.06934 0.03326 0.03285 0.1812 10.93 2.828 0.2028 0.4245 1 1 0.02534 0.109 0.2736 0.1551 0.667 1.675 json
t12_x23_u0_b47 12 23 0 47 sqt(pow(R,div(D,R))) 38716 98376482 o1(o2(x,o2(x,x))) true 139575 139575 -0.9167 0.04297 0.9973 0.1552 0.394 -1 1 2 1 0.3177 0.01661 0.01532 0.01688 0.04058 1 0.000009034 0.06715 0.03295 0.03163 0.1778 10.54 2.828 0.2057 0.4326 1 1 0.02452 0.1051 0.2576 0.1579 0.677 1.659 json
t12_x23_u0_b48 12 23 0 48 sqt(pow(R,pow(D,R))) 38717 98376483 o1(o2(x,o2(x,x))) true 139583 139583 -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_x23_u0_b49 12 23 0 49 sqt(pow(R,mod(D,R))) 38718 98376484 o1(o2(x,o2(x,x))) true 139591 139591 -0.9147 0.04297 0.9993 0.1619 0.4024 -1 1 2 1 0.2727 0.0168 0.01616 0.01682 0.01961 1 0.000006986 0.06911 0.03362 0.03266 0.1807 10.75 2.828 0.2036 0.4268 1 1 0.02521 0.1082 0.2712 0.1557 0.6681 1.675 json
t12_x23_u0_b50 12 23 0 50 sqt(pow(R,lrg(D,R))) 38719 98376485 o1(o2(x,o2(x,x))) true 139599 139599 -0.7509 0.1287 0.9918 0.423 0.6504 -1 1 2 1 0.7422 0.07988 0.03909 0.06323 0.3428 1 0.000003311 0.2528 0.1245 0.1149 0.339 5.361 2.828 0.2813 0.5978 1 1 0.1203 0.4387 0.8243 0.2843 1.037 1.949 json
t12_x23_u0_b51 12 23 0 51 sqt(pow(R,eql(D,R))) 38720 98376486 o1(o2(x,o2(x,x))) true 139607 139607 0.9995 0.9998 1 0.0009763 0.03125 -1 1 2 1 0.003282 0.001764 0.00006299 0.0009133 0.931 1 0 0.005669 0.001827 0.001826 0.04273 46.78 2 1.871 5.806 1 1 0 0 0.000831 0 0 0.8512 json
t12_x23_u0_b52 12 23 0 52 sqt(pow(R,min(D,R))) 38721 98376487 o1(o2(x,o2(x,x))) true 139615 139615 -0.9147 0.04297 0.9994 0.1621 0.4026 -1 1 2 1 0.2759 0.01679 0.01614 0.01667 0.01974 1 0.000002849 0.06902 0.03326 0.03264 0.1807 10.84 2.828 0.2032 0.4259 1 1 0.02523 0.1084 0.2711 0.1557 0.6687 1.673 json
t12_x23_u0_b53 12 23 0 53 sqt(pow(R,dot(D,R))) 38722 98376488 o1(o2(x,o2(x,x))) true 139623 139623 -0.9148 0.04297 0.9992 0.1616 0.402 -1 1 2 1 0.2762 0.01651 0.01628 0.01663 0.006972 1 0.000001133 0.06863 0.03313 0.03251 0.1803 10.84 2.828 0.203 0.4248 1 1 0.02514 0.1079 0.2707 0.1556 0.6677 1.676 json
t12_x23_u0_b54 12 23 0 54 sqt(pow(R,dst(D,R))) 38723 98376489 o1(o2(x,o2(x,x))) true 139631 139631 -0.925 0.04297 0.9891 0.1261 0.3551 -1 0.9711 1.971 1 0.3822 0.01288 0.01288 0.01532 -0.000179 1 0.000005551 0.05391 0.02938 0.02553 0.1598 10.43 2.695 0.2043 0.4275 1 1 0.01995 0.08507 0.2106 0.1582 0.6745 1.669 json
t12_x23_u0_b55 12 23 0 55 sqt(mod(R,add(D,R))) 38724 98376490 o1(o2(x,o2(x,x))) true 139639 139639 -0.9349 0.04297 0.9792 0.09621 0.3102 -1 0.9707 1.971 1 0.4139 0.009293 0.009605 0.01485 -0.01655 1 -0.00001891 0.03895 0.02682 0.01869 0.1367 9.204 1.971 0.1964 0.4048 1 1 0.01471 0.06478 0.1595 0.1529 0.6733 1.657 json
t12_x23_u0_b56 12 23 0 56 sqt(mod(R,sub(D,R))) 38725 98376491 o1(o2(x,o2(x,x))) true 139647 139647 -0.9347 0.04297 0.9794 0.09691 0.3113 -1 0.9693 1.969 1 0.4143 0.009756 0.009858 0.01508 -0.005174 1 -0.00001856 0.04058 0.02745 0.0194 0.1393 9.234 2.731 0.2024 0.4187 1 1 0.01567 0.06837 0.1661 0.1617 0.7055 1.714 json
t12_x23_u0_b57 12 23 0 57 sqt(mod(R,mlt(D,R))) 38726 98376492 o1(o2(x,o2(x,x))) true 139655 139655 -0.9308 0.04106 0.953 0.07911 0.2813 -1 0.5486 1.549 1 0.479 0.02993 0.007886 0.03778 0.5829 1 -2.245e-7 0.1005 0.07373 0.0364 0.1908 5.05 1.595 0.478 1.27 1 1 0.02446 0.06305 0.1377 0.3092 0.797 1.74 json
t12_x23_u0_b58 12 23 0 58 sqt(mod(R,div(D,R))) 38727 98376493 o1(o2(x,o2(x,x))) true 139663 139663 -0.9386 0.04297 0.9755 0.08498 0.2915 -1 0.8228 1.823 1 0.3981 0.006817 0.008574 0.01465 -0.1142 1 -0.00006432 0.03144 0.02673 0.01519 0.1232 8.413 1.823 0.1811 0.37 1 1 0.01186 0.05738 0.144 0.1396 0.6752 1.695 json
t12_x23_u0_b59 12 23 0 59 sqt(mod(R,pow(D,R))) 38728 98376494 o1(o2(x,o2(x,x))) true 139671 139671 -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_x23_u0_b60 12 23 0 60 sqt(mod(R,mod(D,R))) 38729 98376495 o1(o2(x,o2(x,x))) true 139679 139679 -0.946 0.04297 0.968 0.06546 0.2558 -1 0.5891 1.589 1 0.3803 0.005866 0.006619 0.01334 -0.06032 1 -0.00003699 0.02588 0.02435 0.01231 0.111 8.315 1.658 0.1907 0.3954 1 1 0.009672 0.0448 0.1113 0.1478 0.6845 1.7 json
t12_x23_u0_b61 12 23 0 61 sqt(mod(R,lrg(D,R))) 38730 98376496 o1(o2(x,o2(x,x))) true 139687 139687 -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_x23_u0_b62 12 23 0 62 sqt(mod(R,eql(D,R))) 38731 98376497 o1(o2(x,o2(x,x))) true 139695 139695 -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_x23_u0_b63 12 23 0 63 sqt(mod(R,min(D,R))) 38732 98376498 o1(o2(x,o2(x,x))) true 139703 139703 -0.5717 0.3312 0.6934 0.3236 0.5688 -1 0.6591 1.659 1 1.979 0.0697 0.02571 0.103 0.4611 1 -0.0001777 0.2023 0.19 0.08481 0.2912 2.828 2.015 0.2949 0.6254 1 1 0.08863 0.2991 0.6171 0.2739 0.9243 1.907 json
t12_x23_u0_b64 12 23 0 64 sqt(mod(R,dot(D,R))) 38733 98376499 o1(o2(x,o2(x,x))) true 139711 139711 -0.9443 0.04297 0.9697 0.06977 0.2641 -1 0.672 1.672 1 0.389 0.007123 0.007005 0.01546 0.00832 1 -0.0000301 0.03209 0.02964 0.01389 0.1179 7.626 1.738 0.2025 0.4599 1 1 0.01026 0.04638 0.1161 0.1471 0.6648 1.664 json
t12_x23_u0_b65 12 23 0 65 sqt(mod(R,dst(D,R))) 38734 98376500 o1(o2(x,o2(x,x))) true 139719 139719 -0.9278 0.04297 0.9863 0.1173 0.3424 -1 0.971 1.971 1 0.3989 0.01279 0.01193 0.01593 0.03512 1 0.0000555 0.05274 0.0304 0.02446 0.1564 9.817 2.731 0.2108 0.4498 1 1 0.01937 0.08122 0.2008 0.1652 0.6926 1.712 json
t12_x23_u0_b66 12 23 0 66 sqt(lrg(R,add(D,R))) 38735 98376501 o1(o2(x,o2(x,x))) true 139727 139727 0.5 1 0.5 0.1418 0.3765 0.000291 0.9997 0.9994 1 3.406 0.06511 0 0.1228 1 1 0 0.1208 0.1337 0.05001 0.2236 1.821 0.9994 0.4593 0.8522 1 1 0.07073 0.2419 0 0.4989 1.706 0 json
t12_x23_u0_b67 12 23 0 67 sqt(lrg(R,sub(D,R))) 38736 98376502 o1(o2(x,o2(x,x))) true 139735 139735 0.4898 0.9172 0.4898 0.1541 0.3926 0 1 1 1 3.432 0.01004 0.002285 0.06307 0.6294 1 0.00008436 0.01703 0.03881 0.008353 0.0914 1.449 0.9997 0.08 0.1105 1 1 0.01554 0.1282 0.294 0.1009 0.8321 1.907 json
t12_x23_u0_b68 12 23 0 68 sqt(lrg(R,mlt(D,R))) 38737 98376503 o1(o2(x,o2(x,x))) true 139743 139743 0.4824 0.9145 0.4824 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_x23_u0_b69 12 23 0 69 sqt(lrg(R,div(D,R))) 38738 98376504 o1(o2(x,o2(x,x))) true 139751 139751 0.5076 0.9306 0.5076 0.1537 0.392 0 1 1 1 3.432 0.02995 0.002237 0.08767 0.861 1 -0.0002227 0.05769 0.09089 0.02451 0.1566 1.786 0.9997 0.2094 0.3754 1 1 0.03571 0.1851 0.2907 0.2324 1.204 1.892 json
t12_x23_u0_b70 12 23 0 70 sqt(lrg(R,pow(D,R))) 38739 98376505 o1(o2(x,o2(x,x))) true 139759 139759 0.6315 1 0.6315 0.1302 0.3608 0.000291 1 0.9997 1 3.398 0.0455 0.0008739 0.1042 0.9623 1 0.0002899 0.08483 0.1082 0.03552 0.1885 1.809 0.9994 0.3562 0.6515 1 1 0.05054 0.1973 0.1234 0.3882 1.515 0.9475 json
t12_x23_u0_b71 12 23 0 71 sqt(lrg(R,mod(D,R))) 38740 98376506 o1(o2(x,o2(x,x))) true 139767 139767 0.4824 0.9147 0.4824 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_x23_u0_b72 12 23 0 72 sqt(lrg(R,lrg(D,R))) 38741 98376507 o1(o2(x,o2(x,x))) true 139775 139775 0.4232 0.8335 0.4232 0.1518 0.3896 0 1 1 1 3.35 0.01015 0.002268 0.0614 0.6347 1 0.0000315 0.01717 0.03834 0.00865 0.093 1.515 0.9994 0.0818 0.1131 1 1 0.01515 0.1243 0.2844 0.09979 0.819 1.874 json
t12_x23_u0_b73 12 23 0 73 sqt(lrg(R,eql(D,R))) 38742 98376508 o1(o2(x,o2(x,x))) true 139783 139783 0.4824 0.9147 0.4824 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_x23_u0_b74 12 23 0 74 sqt(lrg(R,min(D,R))) 38743 98376509 o1(o2(x,o2(x,x))) true 139791 139791 0.4991 0.9305 0.4991 0.1466 0.3829 0 1 1 1 3.529 0.0202 0.00212 0.08082 0.81 1 0.00001402 0.03815 0.07049 0.01579 0.1257 1.555 0.9997 0.1522 0.2602 1 1 0.02456 0.14 0.2709 0.1675 0.9551 1.848 json
t12_x23_u0_b75 12 23 0 75 sqt(lrg(R,dot(D,R))) 38744 98376510 o1(o2(x,o2(x,x))) true 139799 139799 0.4865 0.905 0.4865 0.1558 0.3947 0 1 1 1 3.396 0.004702 0.01157 0.06797 -0.4221 1 0.00006323 0.03608 0.05622 0.01165 0.108 1.588 1.404 0.1044 0.2316 1 1 0.01916 0.1366 0.2882 0.1229 0.877 1.849 json
t12_x23_u0_b76 12 23 0 76 sqt(lrg(R,dst(D,R))) 38745 98376511 o1(o2(x,o2(x,x))) true 139807 139807 0.03494 0.153 0.03494 0.01758 0.1326 0 0.9926 0.9926 1 0.7688 0.004824 0.003409 0.01889 0.1719 1 -0.0001942 0.02592 0.02597 0.007878 0.08876 4.699 1.404 0.4683 1.475 1 1 0.006816 0.02462 0.02849 0.3878 1.4 1.621 json
t12_x23_u0_b77 12 23 0 77 sqt(eql(R,add(D,R))) 38746 98376512 o1(o2(x,o2(x,x))) true 139815 139815 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_x23_u0_b78 12 23 0 78 sqt(eql(R,sub(D,R))) 38747 98376513 o1(o2(x,o2(x,x))) true 139823 139823 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_x23_u0_b79 12 23 0 79 sqt(eql(R,mlt(D,R))) 38748 98376514 o1(o2(x,o2(x,x))) true 139831 139831 2.132e-7 0.000824 2.132e-7 4.854e-11 0.000006967 0 0.000291 0.000291 1 0 1.003e-10 7.118e-13 4.44e-7 0.9859 0 -1.038e-10 3.039e-10 8.803e-7 1.008e-10 0.00001004 22.61 0.000291 2.082 6.261 1 1 6.049e-11 8.031e-11 1.177e-10 1.246 1.655 2.424 json
t12_x23_u0_b80 12 23 0 80 sqt(eql(R,div(D,R))) 38749 98376515 o1(o2(x,o2(x,x))) true 139839 139839 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_x23_u0_b81 12 23 0 81 sqt(eql(R,pow(D,R))) 38750 98376516 o1(o2(x,o2(x,x))) true 139847 139847 7.106e-8 0.0002747 7.106e-8 1.62e-11 0.000004024 0 0.000291 0.000291 1 0 3.345e-11 2.373e-13 1.48e-7 0.9859 0 6.74e-16 1.013e-10 2.935e-7 3.364e-11 0.0000058 39.18 0.000291 2.08 6.255 1 1 1.278e-11 1.697e-11 1.855e-11 0.7888 1.048 1.145 json
t12_x23_u0_b82 12 23 0 82 sqt(eql(R,mod(D,R))) 38751 98376517 o1(o2(x,o2(x,x))) true 139855 139855 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_x23_u0_b83 12 23 0 83 sqt(eql(R,lrg(D,R))) 38752 98376518 o1(o2(x,o2(x,x))) true 139863 139863 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_x23_u0_b84 12 23 0 84 sqt(eql(R,eql(D,R))) 38753 98376519 o1(o2(x,o2(x,x))) true 139871 139871 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_x23_u0_b85 12 23 0 85 sqt(eql(R,min(D,R))) 38754 98376520 o1(o2(x,o2(x,x))) true 139879 139879 0.5009 0.9274 0.5009 0.1466 0.3829 0 1 1 1 3.529 0.0202 0.00212 0.08082 0.81 1 -0.00001403 0.03815 0.07049 0.01579 0.1257 1.555 0.9997 0.1522 0.2602 1 1 0.02456 0.14 0.2709 0.1675 0.9551 1.848 json
t12_x23_u0_b86 12 23 0 86 sqt(eql(R,dot(D,R))) 38755 98376521 o1(o2(x,o2(x,x))) true 139887 139887 0.00009826 0.000351 0.00009826 0.0000607 0.007791 0 0.8991 0.8991 1 0.003532 0.0001253 0.0001253 0.0003462 0 1 0 0.001253 0.0008112 0.0002505 0.01583 45.71 1.271 4.129 20.65 1 1 0.0001569 0.0001561 0.0001449 2.584 2.571 2.387 json
t12_x23_u0_b87 12 23 0 87 sqt(eql(R,dst(D,R))) 38756 98376522 o1(o2(x,o2(x,x))) true 139895 139895 0.00003112 0.0001068 0.00003112 0.00001826 0.004274 0 0.9414 0.9414 1 0.001536 0.0000377 0.0000377 0.0001096 0 0 7.997e-10 0.000377 0.0002569 0.00007538 0.008682 79.18 1.331 4.128 20.64 1 1 0.00005579 0.00005579 0.0000558 3.055 3.055 3.055 json
t12_x23_u0_b88 12 23 0 88 sqt(min(R,add(D,R))) 38757 98376523 o1(o2(x,o2(x,x))) true 139903 139903 -0.9728 0.01685 0.9935 0.0436 0.2088 -1 0.9533 1.953 1 0.1799 0.01332 0.004686 0.01169 0.4794 1 0.00001108 0.03881 0.02243 0.01786 0.1336 11.44 2.707 0.4129 0.8901 1 1 0.01287 0.04659 0.07588 0.2952 1.068 1.74 json
t12_x23_u0_b89 12 23 0 89 sqt(min(R,sub(D,R))) 38758 98376524 o1(o2(x,o2(x,x))) true 139911 139911 -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_x23_u0_b90 12 23 0 90 sqt(min(R,mlt(D,R))) 38759 98376525 o1(o2(x,o2(x,x))) true 139919 139919 -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_x23_u0_b91 12 23 0 91 sqt(min(R,div(D,R))) 38760 98376526 o1(o2(x,o2(x,x))) true 139927 139927 -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_x23_u0_b92 12 23 0 92 sqt(min(R,pow(D,R))) 38761 98376527 o1(o2(x,o2(x,x))) true 139935 139935 -0.9294 0.04297 0.9847 0.1121 0.3348 -1 0.9696 1.97 1 0.4004 0.01052 0.0112 0.01457 -0.03135 1 -0.00003135 0.04463 0.0269 0.02149 0.1466 10.06 2.731 0.1937 0.3981 1 1 0.01715 0.07694 0.1924 0.153 0.6863 1.717 json
t12_x23_u0_b93 12 23 0 93 sqt(min(R,mod(D,R))) 38762 98376528 o1(o2(x,o2(x,x))) true 139943 139943 -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_x23_u0_b94 12 23 0 94 sqt(min(R,lrg(D,R))) 38763 98376529 o1(o2(x,o2(x,x))) true 139951 139951 -0.9546 0.02547 0.9594 0.04628 0.2151 -1 0.4527 1.453 1 0.3173 0.004429 0.004572 0.009699 -0.0159 1 -0.000003929 0.01877 0.01835 0.008907 0.09438 9.731 1.454 0.1945 0.4056 1 1 0.006805 0.03029 0.07827 0.147 0.6544 1.691 json
t12_x23_u0_b95 12 23 0 95 sqt(min(R,eql(D,R))) 38764 98376530 o1(o2(x,o2(x,x))) true 139959 139959 -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_x23_u0_b96 12 23 0 96 sqt(min(R,min(D,R))) 38765 98376531 o1(o2(x,o2(x,x))) true 139967 139967 -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_x23_u0_b97 12 23 0 97 sqt(min(R,dot(D,R))) 38766 98376532 o1(o2(x,o2(x,x))) true 139975 139975 -0.9984 0.001236 0.9992 0.002192 0.04681 -1 0.511 1.511 1 0.01709 0.00152 0.000475 0.001508 0.5238 1 -3.004e-11 0.006044 0.003109 0.001992 0.04463 29.59 1.896 0.9104 2.758 1 1 0.00196 0.005359 0.006228 0.8941 2.445 2.842 json
t12_x23_u0_b98 12 23 0 98 sqt(min(R,dst(D,R))) 38767 98376533 o1(o2(x,o2(x,x))) true 139983 139983 -0.9261 0.04297 0.988 0.1226 0.3502 -1 0.971 1.971 1 0.3911 0.01252 0.01237 0.01513 0.005975 1 0.000006195 0.05204 0.02884 0.02468 0.1571 10.38 2.731 0.203 0.4243 1 1 0.01965 0.08469 0.208 0.1602 0.6906 1.696 json
t12_x23_u0_b99 12 23 0 99 sqt(dot(R,add(D,R))) 38768 98376534 o1(o2(x,o2(x,x))) true 139991 139991 0.6103 0.8505 0.9093 0.4769 0.6906 -1 1 2 1 2.481 0.1173 0.1238 0.1388 -0.02671 1 -0.0005584 0.6853 0.2633 0.2218 0.471 3.392 2.828 0.5054 1.437 1 1 0.2138 0.5824 0.8408 0.4484 1.221 1.763 json
t12_x23_u0_b100 12 23 0 100 sqt(dot(R,sub(D,R))) 38769 98376535 o1(o2(x,o2(x,x))) true 139999 139999 -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_x23_u0_b101 12 23 0 101 sqt(dot(R,mlt(D,R))) 38770 98376536 o1(o2(x,o2(x,x))) true 140007 140007 -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_x23_u0_b102 12 23 0 102 sqt(dot(R,div(D,R))) 38771 98376537 o1(o2(x,o2(x,x))) true 140015 140015 -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_x23_u0_b103 12 23 0 103 sqt(dot(R,pow(D,R))) 38772 98376538 o1(o2(x,o2(x,x))) true 140023 140023 -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_x23_u0_b104 12 23 0 104 sqt(dot(R,mod(D,R))) 38773 98376539 o1(o2(x,o2(x,x))) true 140031 140031 -0.9045 0.06917 0.9571 0.1242 0.3525 -1 0.7301 1.73 1 0.5884 0.06533 0.06096 0.08871 0.03453 1 -0.0001259 0.4647 0.1887 0.1184 0.3441 3.879 2.444 1.017 3.741 1 1 0.1044 0.1994 0.2827 0.8408 1.605 2.276 json
t12_x23_u0_b105 12 23 0 105 sqt(dot(R,lrg(D,R))) 38774 98376540 o1(o2(x,o2(x,x))) true 140039 140039 -0.9999 0.0001068 0.9999 0.0001203 0.01097 -1 0.1704 1.17 1 0.00171 0.0002483 0.00003743 0.0002586 0.738 1 3.754e-12 0.0009711 0.0005355 0.0002856 0.0169 65.35 1.414 2.376 8.074 1 1 0.0002827 0.0004368 0.0004368 2.351 3.631 3.631 json
t12_x23_u0_b106 12 23 0 106 sqt(dot(R,eql(D,R))) 38775 98376541 o1(o2(x,o2(x,x))) true 140047 140047 -0.0001327 0.0004883 0.0003556 0.000284 0.01685 -1 0.4564 1.456 1 0.008975 0.0004415 0.00009805 0.0006889 0.6365 1 3.754e-12 0.001667 0.001374 0.0005391 0.02322 33.7 1 1.9 5.868 1 1 0.00007442 0.00009881 0.0003525 0.2621 0.3479 1.241 json
t12_x23_u0_b107 12 23 0 107 sqt(dot(R,min(D,R))) 38776 98376542 o1(o2(x,o2(x,x))) true 140055 140055 -0.1401 0.5017 0.8565 0.7578 0.8705 -1 1 2 1 2.756 0.1161 0.117 0.1506 -0.00365 1 -0.0002325 0.5773 0.2864 0.2104 0.4587 3.047 2.828 0.3076 0.7618 1 1 0.2226 0.7693 1.244 0.2937 1.015 1.642 json
t12_x23_u0_b108 12 23 0 108 sqt(dot(R,dot(D,R))) 38777 98376543 o1(o2(x,o2(x,x))) true 140063 140063 -0.9363 0.0488 0.9661 0.08019 0.2832 -1 0.7871 1.787 1 0.4396 0.0248 0.02396 0.03727 0.0173 1 0.00004929 0.1521 0.0759 0.04737 0.2176 5.84 2.38 0.608 1.897 1 1 0.04661 0.1312 0.1627 0.5813 1.636 2.029 json
t12_x23_u0_b109 12 23 0 109 sqt(dot(R,dst(D,R))) 38778 98376544 o1(o2(x,o2(x,x))) true 140071 140071 -0.8976 0.05859 0.9852 0.1712 0.4137 -1 1 2 1 0.5143 0.01658 0.01922 0.02173 -0.07381 1 -0.000002515 0.07495 0.04099 0.03534 0.188 8.65 2.828 0.2092 0.4379 1 1 0.05289 0.2228 0.4901 0.309 1.302 2.863 json
t12_x23_u0_b110 12 23 0 110 sqt(dst(R,add(D,R))) 38779 98376545 o1(o2(x,o2(x,x))) true 140079 140079 0.6462 1 0.6462 0.0189 0.1375 0.2107 0.838 0.6273 1 2.946 0.001647 0.001647 0.05095 -0.000001307 1 -0.0006689 0.0009022 0.01589 0.0006987 0.02643 0.5188 0.1533 0.1743 0.04773 1 1 0.00623 0.0394 2.317e-16 0.3296 2.084 1.226e-14 json
t12_x23_u0_b111 12 23 0 111 sqt(dst(R,sub(D,R))) 38780 98376546 o1(o2(x,o2(x,x))) true 140087 140087 0.9969 1 0.9969 0.0006626 0.02574 0.3703 1 0.6297 1 0.1555 0.000024 0.00004242 0.001222 -0.2773 0 -0.000005757 0.00002988 0.000827 0.00006489 0.008055 6.592 0.1288 0.1002 0.0451 1 1 0.00006746 0.0004651 0.0008032 0.1018 0.702 1.212 json
t12_x23_u0_b112 12 23 0 112 sqt(dst(R,mlt(D,R))) 38781 98376547 o1(o2(x,o2(x,x))) true 140095 140095 0.9382 1 0.9382 0.008633 0.09291 0.3107 1 0.6893 1 1.661 0.0001549 0.00021 0.0119 -0.151 1 -4.153e-7 0.00007414 0.004477 0.0002233 0.01494 1.256 0.1022 0.04226 0.008588 1 1 0.0005936 0.006137 0.01273 0.06876 0.7109 1.474 json
t12_x23_u0_b113 12 23 0 113 sqt(dst(R,div(D,R))) 38782 98376548 o1(o2(x,o2(x,x))) true 140103 140103 0.9932 1 0.9932 0.001229 0.03506 0.3631 1 0.6369 1 0.3085 0.0003265 0.0002943 0.005681 0.05182 1 -0.00005143 0.0008703 0.006494 0.0005884 0.02426 4.27 0.4548 0.5051 0.7081 1 1 0.0008564 0.002347 0.001873 0.6968 1.91 1.524 json
t12_x23_u0_b114 12 23 0 114 sqt(dst(R,pow(D,R))) 38783 98376549 o1(o2(x,o2(x,x))) true 140111 140111 -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_x23_u0_b115 12 23 0 115 sqt(dst(R,mod(D,R))) 38784 98376550 o1(o2(x,o2(x,x))) true 140119 140119 0.9317 1 0.9317 0.0104 0.102 0.2674 1 0.7326 1 1.773 0.0004078 0.000469 0.01775 -0.06983 1 0.00001752 0.0009873 0.01504 0.0005617 0.0237 1.335 0.3256 0.0843 0.09492 1 1 0.001185 0.009524 0.01733 0.1139 0.9157 1.666 json
t12_x23_u0_b116 12 23 0 116 sqt(dst(R,lrg(D,R))) 38785 98376551 o1(o2(x,o2(x,x))) true 140127 140127 0.9978 1 0.9978 0.000587 0.02423 0.3155 1 0.6845 1 0.1085 0.0001406 0.0001134 0.001389 0.1069 1 -0.000001116 0.0004963 0.001896 0.000252 0.01588 11.43 0.9369 0.4327 0.8456 1 1 0.0002377 0.0008241 0.0008799 0.405 1.404 1.499 json
t12_x23_u0_b117 12 23 0 117 sqt(dst(R,eql(D,R))) 38786 98376552 o1(o2(x,o2(x,x))) true 140135 140135 0.9395 1 0.9395 0.008315 0.09119 0.3152 1 0.6848 1 1.63 0.0001179 0.0001711 0.009847 -0.1839 1 -0.000009907 0.00007463 0.003334 0.0001921 0.01386 1.407 0.1692 0.03476 0.008975 1 1 0.000451 0.005094 0.0124 0.05423 0.6127 1.492 json
t12_x23_u0_b118 12 23 0 118 sqt(dst(R,min(D,R))) 38787 98376553 o1(o2(x,o2(x,x))) true 140143 140143 0.7146 0.9993 0.7146 0.07216 0.2686 0 1 1 1 3.55 0.001626 0.001455 0.04245 0.05534 1 0.00008595 0.0007799 0.01451 0.001279 0.03577 0.8425 0.2574 0.0427 0.01081 1 1 0.005581 0.06088 0.1346 0.07734 0.8437 1.865 json
t12_x23_u0_b119 12 23 0 119 sqt(dst(R,dot(D,R))) 38788 98376554 o1(o2(x,o2(x,x))) true 140151 140151 0.9451 1 0.9451 0.008125 0.09014 0.297 1 0.703 1 1.533 0.0001911 0.0002528 0.01247 -0.139 1 -0.00002868 0.000124 0.005525 0.0002883 0.01698 1.361 0.1227 0.05463 0.01527 1 1 0.0007583 0.006957 0.01234 0.09333 0.8563 1.519 json
t12_x23_u0_b120 12 23 0 120 sqt(dst(R,dst(D,R))) 38789 98376555 o1(o2(x,o2(x,x))) true 140159 140159 0.994 1 0.994 0.001101 0.03318 0.1754 1 0.8246 1 0.2877 0.00008383 0.00009165 0.003005 -0.04458 1 -0.000004581 0.00009597 0.00222 0.0001663 0.0129 4.291 0.2006 0.1594 0.08718 1 1 0.0002689 0.001585 0.001763 0.2442 1.44 1.602 json
t12_x23_u1_b0 12 23 1 0 log(add(R,add(D,R))) 38790 98376636 o1(o2(x,o2(x,x))) true 140167 140167 -0.9604 0.01955 0.9705 0.0403 0.2008 -1 0.6145 1.614 1 0.4711 0.008314 0.004824 0.01491 0.2656 1 0.00001815 0.02864 0.02415 0.01293 0.1137 7.627 2.261 0.326 0.7107 1 1 0.01342 0.04283 0.08505 0.333 1.063 2.11 json
t12_x23_u1_b1 12 23 1 1 log(add(R,sub(D,R))) 38791 98376637 o1(o2(x,o2(x,x))) true 140175 140175 -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_x23_u1_b2 12 23 1 2 log(add(R,mlt(D,R))) 38792 98376638 o1(o2(x,o2(x,x))) true 140183 140183 -0.986 0.0001068 0.986 0.007931 0.08905 -1 0.02656 1.027 1 0.3145 0.001098 0.001033 0.005053 0.03036 1 0.00002523 0.00422 0.006676 0.002106 0.04589 9.081 1.167 0.2688 0.5321 1 1 0.001857 0.00764 0.01288 0.2342 0.9633 1.624 json
t12_x23_u1_b3 12 23 1 3 log(add(R,div(D,R))) 38793 98376639 o1(o2(x,o2(x,x))) true 140191 140191 -0.9556 0.01906 0.9706 0.04988 0.2233 -1 1 2 1 0.5112 0.01057 0.005866 0.02058 0.2862 1 -0.00005214 0.03229 0.02972 0.01602 0.1266 6.15 2.828 0.3295 0.6473 1 1 0.01872 0.06899 0.09501 0.3752 1.383 1.905 json
t12_x23_u1_b4 12 23 1 4 log(add(R,pow(D,R))) 38794 98376640 o1(o2(x,o2(x,x))) true 140199 140199 -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_x23_u1_b5 12 23 1 5 log(add(R,mod(D,R))) 38795 98376641 o1(o2(x,o2(x,x))) true 140207 140207 -0.9862 0.0002747 0.9863 0.00839 0.0916 -1 0.04884 1.049 1 0.2876 0.001768 0.001078 0.006295 0.2424 1 0.00001404 0.006054 0.009932 0.002807 0.05298 8.416 1.167 0.3393 0.7216 1 1 0.002196 0.008166 0.01334 0.2617 0.9733 1.59 json
t12_x23_u1_b6 12 23 1 6 log(add(R,lrg(D,R))) 38796 98376642 o1(o2(x,o2(x,x))) true 140215 140215 -0.8115 0.005493 0.8123 0.08421 0.2902 -1 0.2132 1.213 1 2.369 0.02914 0.005116 0.06922 0.7013 1 -0.0001406 0.07235 0.1027 0.02945 0.1716 2.479 1.573 0.4068 0.8592 1 1 0.03414 0.1024 0.1519 0.4055 1.216 1.804 json
t12_x23_u1_b7 12 23 1 7 log(add(R,eql(D,R))) 38797 98376643 o1(o2(x,o2(x,x))) true 140223 140223 -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_x23_u1_b8 12 23 1 8 log(add(R,min(D,R))) 38798 98376644 o1(o2(x,o2(x,x))) true 140231 140231 -0.996 0 0.996 0.002013 0.04487 -1 -0.09567 0.9043 1 0.1129 0.0006486 0.000232 0.002192 0.4731 1 0.0000242 0.001956 0.003359 0.0008761 0.0296 13.5 1.16 0.4375 0.9717 1 1 0.0007224 0.002371 0.003601 0.3589 1.178 1.789 json
t12_x23_u1_b9 12 23 1 9 log(add(R,dot(D,R))) 38799 98376645 o1(o2(x,o2(x,x))) true 140239 140239 -0.9822 0.001877 0.9825 0.01169 0.1081 -1 0.2318 1.232 1 0.3615 0.002788 0.002189 0.009634 0.1204 1 -0.0000247 0.012 0.01468 0.004883 0.06988 7.253 1.438 0.4258 1.026 1 1 0.005179 0.01766 0.02256 0.443 1.511 1.93 json