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_x25_u1_b116 12 25 1 116 log(dst(R,lrg(R,D))) 40600 98457554 o1(o2(x,o2(x,x))) true 4807 4807 -0.05643 0.4829 0.2066 0.07332 0.2708 -1 0.5542 1.554 1 4.027 0.006308 0.006821 0.06048 -0.03911 1 0.00006237 0.02361 0.05959 0.009471 0.09732 1.609 1.206 0.179 0.322 1 1 0.01383 0.07281 0.1421 0.1887 0.9929 1.938 json
t12_x25_u1_b117 12 25 1 117 log(dst(R,eql(R,D))) 40601 98457555 o1(o2(x,o2(x,x))) true 4815 4815 -0.07693 0.4673 0.2056 0.07212 0.2685 -1 0.4433 1.443 1 3.97 0.0008212 0.001171 0.03298 -0.1754 1 0.00001527 0.0003454 0.008271 0.0009042 0.03007 0.9118 0.4007 0.02762 0.004789 1 1 0.003256 0.04131 0.1158 0.04515 0.5728 1.606 json
t12_x25_u1_b118 12 25 1 118 log(dst(R,min(R,D))) 40602 98457556 o1(o2(x,o2(x,x))) true 4823 4823 -0.6568 0.08316 0.6756 0.1667 0.4083 -1 0.3846 1.385 1 3.013 0.01637 0.01614 0.07135 0.007075 1 0.0001544 0.06405 0.08199 0.02743 0.1656 2.321 1.813 0.195 0.3842 1 1 0.03935 0.1848 0.3582 0.2361 1.109 2.149 json
t12_x25_u1_b119 12 25 1 119 log(dst(R,dot(R,D))) 40603 98457557 o1(o2(x,o2(x,x))) true 4831 4831 -0.03084 0.521 0.2399 0.09394 0.3065 -1 0.7098 1.71 1 4.225 0.001788 0.002237 0.05295 -0.1116 1 -0.0001131 0.0007189 0.01565 0.001221 0.03495 0.66 0.742 0.04285 0.007653 1 1 0.007374 0.07983 0.1519 0.0785 0.8499 1.617 json
t12_x25_u1_b120 12 25 1 120 log(dst(R,dst(R,D))) 40604 98457558 o1(o2(x,o2(x,x))) true 4839 4839 0.5944 0.9296 0.6277 0.1242 0.3524 -1 1 2 1 4.076 0.002363 0.002743 0.0558 -0.07441 1 -0.00006987 0.0005651 0.01521 0.001991 0.04463 0.7997 0.4052 0.04111 0.00455 1 1 0.01009 0.115 0.2233 0.08127 0.9262 1.798 json
t12_x25_u2_b0 12 25 2 0 frc(add(R,add(R,D))) 40605 98457639 o1(o2(x,o2(x,x))) true 4847 4847 0.5007 1 0.5007 0.05181 0.2276 0.005224 0.9986 0.9934 1 3.849 0.03656 0.0007267 0.1114 0.961 1 0.0001487 0.07885 0.1245 0.02488 0.1577 1.416 0.9392 0.7196 1.522 1 1 0.03612 0.08763 0.1089 0.6972 1.691 2.102 json
t12_x25_u2_b1 12 25 2 1 frc(add(R,sub(R,D))) 40606 98457640 o1(o2(x,o2(x,x))) true 4855 4855 0.4998 1 0.4998 0.05128 0.2265 0.003721 0.9986 0.9948 1 3.844 0.03589 0.000723 0.1103 0.9605 1 -0.0000966 0.0771 0.1223 0.02446 0.1564 1.418 0.9428 0.714 1.503 1 1 0.03577 0.08722 0.1079 0.6975 1.701 2.105 json
t12_x25_u2_b2 12 25 2 2 frc(add(R,mlt(R,D))) 40607 98457641 o1(o2(x,o2(x,x))) true 4863 4863 0.5156 1 0.5156 0.04904 0.2214 0.0005461 0.9991 0.9986 1 3.814 0.01423 0.0006924 0.05849 0.9072 1 0.000321 0.0296 0.05008 0.0115 0.1072 1.833 0.9417 0.3043 0.6037 1 1 0.014 0.05579 0.0903 0.2856 1.138 1.841 json
t12_x25_u2_b3 12 25 2 3 frc(add(R,div(R,D))) 40608 98457642 o1(o2(x,o2(x,x))) true 4871 4871 0.4915 1 0.4915 0.05094 0.2257 0.002425 0.9991 0.9967 1 3.845 0.09473 0.0007065 0.248 0.9852 1 -0.0003767 0.2858 0.4203 0.03393 0.1842 0.7426 0.9696 1.874 5.61 1 1 0.04973 0.07095 0.1029 0.9763 1.393 2.02 json
t12_x25_u2_b4 12 25 2 4 frc(add(R,pow(R,D))) 40609 98457643 o1(o2(x,o2(x,x))) true 4879 4879 -0.9294 0.04297 0.9846 0.1127 0.3357 -1 0.9833 1.983 1 0.412 0.01112 0.01159 0.01638 -0.02057 1 -0.0001066 0.04712 0.02963 0.02243 0.1498 9.14 2.647 0.2014 0.418 1 1 0.01777 0.07722 0.1877 0.1576 0.685 1.665 json
t12_x25_u2_b5 12 25 2 5 frc(add(R,mod(R,D))) 40610 98457644 o1(o2(x,o2(x,x))) true 4887 4887 0.5122 1 0.5122 0.05406 0.2325 0.001147 0.9944 0.9932 1 3.871 0.05008 0.000766 0.1311 0.9699 1 0.0002541 0.1467 0.2188 0.03365 0.1834 1.399 0.9683 0.9406 2.713 1 1 0.02786 0.06129 0.1028 0.5155 1.134 1.902 json
t12_x25_u2_b6 12 25 2 6 frc(add(R,lrg(R,D))) 40611 98457645 o1(o2(x,o2(x,x))) true 4895 4895 0.5266 1 0.5266 0.05091 0.2256 0.001084 0.997 0.9959 1 3.815 0.0007236 0.0006853 0.03089 0.02719 1 0.00004432 0.00008334 0.007111 0.0004549 0.02133 0.6905 0.1132 0.02767 0.001637 1 1 0.002542 0.03267 0.08567 0.04993 0.6416 1.683 json
t12_x25_u2_b7 12 25 2 7 frc(add(R,eql(R,D))) 40612 98457646 o1(o2(x,o2(x,x))) true 4903 4903 0.5266 1 0.5266 0.05091 0.2256 0.001084 0.997 0.9959 1 3.815 0.0007236 0.0006853 0.03089 0.02719 1 0.00004432 0.00008334 0.007111 0.0004549 0.02133 0.6905 0.1132 0.02767 0.001637 1 1 0.002542 0.03267 0.08567 0.04993 0.6416 1.683 json
t12_x25_u2_b8 12 25 2 8 frc(add(R,min(R,D))) 40613 98457647 o1(o2(x,o2(x,x))) true 4911 4911 0.4722 1 0.4722 0.04975 0.2231 0.0003496 0.996 0.9957 1 3.82 0.01794 0.0007479 0.06811 0.92 1 0.00007117 0.03842 0.06699 0.01405 0.1185 1.74 0.9651 0.3756 0.7723 1 1 0.0172 0.05854 0.09654 0.3458 1.177 1.94 json
t12_x25_u2_b9 12 25 2 9 frc(add(R,dot(R,D))) 40614 98457648 o1(o2(x,o2(x,x))) true 4919 4919 0.5075 1 0.5075 0.05042 0.2245 0.003054 0.9978 0.9948 1 3.833 0.01685 0.01892 0.09332 -0.05784 1 0.00002609 0.1201 0.1239 0.02706 0.1645 1.763 1.363 0.7094 2.382 1 1 0.03247 0.09204 0.09267 0.644 1.825 1.838 json
t12_x25_u2_b10 12 25 2 10 frc(add(R,dst(R,D))) 40615 98457649 o1(o2(x,o2(x,x))) true 4927 4927 0.5069 1 0.5069 0.04896 0.2213 0.0009342 0.9993 0.9984 1 3.82 0.01803 0.01816 0.095 -0.003414 1 0.00002965 0.1195 0.1287 0.02717 0.1648 1.735 1.39 0.7392 2.441 1 1 0.03392 0.09413 0.09549 0.6928 1.923 1.95 json
t12_x25_u2_b11 12 25 2 11 frc(sub(R,add(R,D))) 40616 98457650 o1(o2(x,o2(x,x))) true 4935 4935 0.5 1 0.5 0.08301 0.2881 0.03125 0.9688 0.9375 1 4 0.05599 3.464e-18 0.1146 1 1 -8.26e-11 0.119 0.119 0.04284 0.207 1.806 0.9375 0.6745 1.434 1 1 0.05321 0.125 9.482e-17 0.641 1.506 1.142e-15 json
t12_x25_u2_b12 12 25 2 12 frc(sub(R,sub(R,D))) 40617 98457651 o1(o2(x,o2(x,x))) true 4943 4943 0.5 1 0.5 0.08301 0.2881 0.03125 0.9688 0.9375 1 4 0.05599 3.408e-18 0.1146 1 1 -1.126e-11 0.119 0.119 0.04284 0.207 1.806 0.9375 0.6745 1.434 1 1 0.05321 0.125 9.257e-17 0.641 1.506 1.115e-15 json
t12_x25_u2_b13 12 25 2 13 frc(sub(R,mlt(R,D))) 40618 98457652 o1(o2(x,o2(x,x))) true 4951 4951 0.5162 1 0.5162 0.04937 0.2222 0.0002707 0.9992 0.999 1 3.821 0.01468 0.0007077 0.05898 0.908 1 0.0001484 0.02986 0.05033 0.0119 0.1091 1.85 0.9412 0.3116 0.6049 1 1 0.01494 0.05602 0.09053 0.3025 1.135 1.833 json
t12_x25_u2_b14 12 25 2 14 frc(sub(R,div(R,D))) 40619 98457653 o1(o2(x,o2(x,x))) true 4959 4959 0.4904 1 0.4904 0.05057 0.2249 0.001727 0.9985 0.9968 1 3.839 0.09469 0.0007117 0.2481 0.9851 1 -0.0001405 0.2867 0.4216 0.03384 0.1839 0.7413 0.9665 1.887 5.671 1 1 0.04873 0.06932 0.1012 0.9637 1.371 2.002 json
t12_x25_u2_b15 12 25 2 15 frc(sub(R,pow(R,D))) 40620 98457654 o1(o2(x,o2(x,x))) true 4967 4967 -0.9288 0.04297 0.9853 0.1146 0.3386 -1 0.9885 1.988 1 0.4076 0.01113 0.01131 0.01594 -0.008323 1 -0.00001269 0.04656 0.02914 0.02218 0.1489 9.342 2.634 0.1957 0.4062 1 1 0.01737 0.07708 0.1921 0.1516 0.6724 1.676 json
t12_x25_u2_b16 12 25 2 16 frc(sub(R,mod(R,D))) 40621 98457655 o1(o2(x,o2(x,x))) true 4975 4975 0.3811 0.962 0.3811 0.05946 0.2439 0 0.9684 0.9684 1 3.781 0.01879 0.0006902 0.08474 0.9291 1 0.0003476 0.03881 0.1243 0.0123 0.1109 1.309 0.9682 0.3276 0.6527 1 1 0.01985 0.07113 0.0943 0.3338 1.196 1.586 json
t12_x25_u2_b17 12 25 2 17 frc(sub(R,lrg(R,D))) 40622 98457656 o1(o2(x,o2(x,x))) true 4983 4983 0.5266 1 0.5266 0.05091 0.2256 0.001084 0.997 0.9959 1 3.815 0.0007236 0.0006853 0.03089 0.02719 1 0.00004432 0.00008334 0.007111 0.0004549 0.02133 0.6905 0.1132 0.02767 0.001637 1 1 0.002542 0.03267 0.08567 0.04993 0.6416 1.683 json
t12_x25_u2_b18 12 25 2 18 frc(sub(R,eql(R,D))) 40623 98457657 o1(o2(x,o2(x,x))) true 4991 4991 0.5266 1 0.5266 0.05091 0.2256 0.001084 0.997 0.9959 1 3.815 0.0007236 0.0006853 0.03089 0.02719 1 0.00004432 0.00008334 0.007111 0.0004549 0.02133 0.6905 0.1132 0.02767 0.001637 1 1 0.002542 0.03267 0.08567 0.04993 0.6416 1.683 json
t12_x25_u2_b19 12 25 2 19 frc(sub(R,min(R,D))) 40624 98457658 o1(o2(x,o2(x,x))) true 4999 4999 0.2086 0.9139 0.2086 0.05127 0.2264 0 0.9947 0.9947 1 3.118 0.01086 0.0007331 0.04975 0.8736 1 0.0001232 0.0216 0.04144 0.00912 0.0955 1.92 0.9376 0.2261 0.4213 1 1 0.01269 0.05861 0.09896 0.2476 1.143 1.93 json
t12_x25_u2_b20 12 25 2 20 frc(sub(R,dot(R,D))) 40625 98457659 o1(o2(x,o2(x,x))) true 5007 5007 0.5081 1 0.5081 0.04884 0.221 0.0005076 0.9971 0.9966 1 3.82 0.0167 0.01859 0.09295 -0.05347 1 -0.00007685 0.1183 0.1216 0.02665 0.1632 1.756 1.366 0.7225 2.422 1 1 0.03295 0.09253 0.09039 0.6747 1.894 1.851 json
t12_x25_u2_b21 12 25 2 21 frc(sub(R,dst(R,D))) 40626 98457660 o1(o2(x,o2(x,x))) true 5015 5015 0.4987 1 0.4987 0.04984 0.2233 0.000945 0.9997 0.9988 1 3.83 0.0178 0.01849 0.09526 -0.01914 1 0.000174 0.1197 0.129 0.02722 0.165 1.732 1.371 0.7282 2.401 1 1 0.03329 0.0951 0.09346 0.6678 1.908 1.875 json
t12_x25_u2_b22 12 25 2 22 frc(mlt(R,add(R,D))) 40627 98457661 o1(o2(x,o2(x,x))) true 5023 5023 0.4131 1 0.4131 0.06784 0.2605 0.0003009 0.9998 0.9995 1 3.909 0.02847 0.00095 0.08485 0.9354 1 -0.0005793 0.05845 0.09689 0.02222 0.1491 1.757 0.9993 0.4336 0.8615 1 1 0.02754 0.09835 0.1304 0.4059 1.45 1.923 json
t12_x25_u2_b23 12 25 2 23 frc(mlt(R,sub(R,D))) 40628 98457662 o1(o2(x,o2(x,x))) true 5031 5031 0.4132 1 0.4132 0.06625 0.2574 0.000353 0.9998 0.9994 1 3.906 0.02811 0.000923 0.08418 0.9364 1 0.0002399 0.0578 0.09605 0.02195 0.1482 1.76 0.9993 0.4382 0.8725 1 1 0.02726 0.09575 0.1258 0.4114 1.445 1.899 json
t12_x25_u2_b24 12 25 2 24 frc(mlt(R,mlt(R,D))) 40629 98457663 o1(o2(x,o2(x,x))) true 5039 5039 0.4995 0.9999 0.4995 0.1228 0.3504 0.00003472 0.9999 0.9999 1 3.817 0.06174 0.00006439 0.1204 0.9979 1 0.00001161 0.1201 0.1292 0.04732 0.2175 1.807 0.9997 0.5034 0.9784 1 1 0.06444 0.2015 0.00836 0.5248 1.641 0.06808 json
t12_x25_u2_b25 12 25 2 25 frc(mlt(R,div(R,D))) 40630 98457664 o1(o2(x,o2(x,x))) true 5047 5047 0.5004 1 0.5004 0.05428 0.233 0.0004893 0.9996 0.9991 1 3.875 0.07846 0.0007536 0.2101 0.981 1 -0.0002152 0.2295 0.3448 0.03509 0.1873 0.8918 0.999 1.459 4.228 1 1 0.04462 0.07618 0.1042 0.822 1.404 1.92 json
t12_x25_u2_b26 12 25 2 26 frc(mlt(R,pow(R,D))) 40631 98457665 o1(o2(x,o2(x,x))) true 5055 5055 -0.9322 0.04297 0.9819 0.104 0.3225 -1 0.9493 1.949 1 0.4116 0.01034 0.01063 0.01429 -0.01362 1 0.000007304 0.04372 0.02639 0.02077 0.1441 10.08 2.646 0.2017 0.4203 1 1 0.01675 0.07303 0.1753 0.1611 0.7021 1.685 json
t12_x25_u2_b27 12 25 2 27 frc(mlt(R,mod(R,D))) 40632 98457666 o1(o2(x,o2(x,x))) true 5063 5063 0.07288 0.9997 0.07288 0.004083 0.0639 0.00004368 0.4156 0.4155 1 1.686 0.003162 0.00003249 0.03916 0.9797 1 -0.0001728 0.008488 0.06227 0.001661 0.04075 1.041 0.2427 0.7824 2.079 1 1 0.002189 0.00632 0.004462 0.5362 1.548 1.093 json
t12_x25_u2_b28 12 25 2 28 frc(mlt(R,lrg(R,D))) 40633 98457667 o1(o2(x,o2(x,x))) true 5071 5071 0.3088 0.9212 0.3088 0.07642 0.2764 0 0.9969 0.9969 1 3.549 0.008017 0.001084 0.05269 0.7618 1 0.00002473 0.01438 0.03934 0.006326 0.07954 1.51 0.9965 0.1191 0.1881 1 1 0.01086 0.07115 0.1441 0.1421 0.9311 1.885 json
t12_x25_u2_b29 12 25 2 29 frc(mlt(R,eql(R,D))) 40634 98457668 o1(o2(x,o2(x,x))) true 5079 5079 0.00001628 0.0002289 0.00001628 0.000001702 0.001304 0 0.1334 0.1334 1 0.00188 0.0000024 2.491e-8 0.00002562 0.9795 0 4.756e-8 0.000007276 0.00005046 0.000002424 0.001557 60.78 0.1295 1.425 4.276 1 1 0 0 0.000001298 0 0 0.7631 json
t12_x25_u2_b30 12 25 2 30 frc(mlt(R,min(R,D))) 40635 98457669 o1(o2(x,o2(x,x))) true 5087 5087 0.4072 1 0.4072 0.08348 0.2889 0.00006723 0.9998 0.9998 1 3.916 0.02534 0.0008467 0.0719 0.9353 1 -0.00004923 0.05074 0.06501 0.02102 0.145 2.016 0.9997 0.3137 0.6079 1 1 0.02607 0.09603 0.1108 0.3123 1.15 1.328 json
t12_x25_u2_b31 12 25 2 31 frc(mlt(R,dot(R,D))) 40636 98457670 o1(o2(x,o2(x,x))) true 5095 5095 0.4972 1 0.4972 0.09756 0.3123 0.0001336 0.9998 0.9997 1 3.973 0.03381 0.0326 0.1319 0.01825 1 0.00001135 0.2203 0.1789 0.04903 0.2214 1.679 1.411 0.6808 2.258 1 1 0.06811 0.2066 0.1516 0.6981 2.118 1.554 json
t12_x25_u2_b32 12 25 2 32 frc(mlt(R,dst(R,D))) 40637 98457671 o1(o2(x,o2(x,x))) true 5103 5103 0.5168 1 0.5168 0.05584 0.2363 0.002786 0.9991 0.9964 1 3.881 0.01199 0.008665 0.0657 0.1608 1 0.0000988 0.06757 0.06695 0.01634 0.1278 1.945 1.375 0.3698 1.21 1 1 0.0192 0.07209 0.1119 0.3439 1.291 2.003 json
t12_x25_u2_b33 12 25 2 33 frc(div(R,add(R,D))) 40638 98457672 o1(o2(x,o2(x,x))) true 5111 5111 0.5341 1 0.5341 0.05044 0.2246 0.01064 0.9739 0.9633 1 3.837 0.06352 0.0006984 0.1715 0.9782 1 0.0003144 0.1671 0.2553 0.03479 0.1865 1.087 0.9371 1.273 3.313 1 1 0.04692 0.07007 0.09438 0.9302 1.389 1.871 json
t12_x25_u2_b34 12 25 2 34 frc(div(R,sub(R,D))) 40639 98457673 o1(o2(x,o2(x,x))) true 5119 5119 0.5325 1 0.5325 0.05035 0.2244 0.007553 0.9796 0.9721 1 3.836 0.06371 0.0006978 0.1722 0.9783 1 0.0001704 0.1685 0.258 0.03474 0.1864 1.082 0.9372 1.279 3.348 1 1 0.04654 0.07003 0.09327 0.9244 1.391 1.853 json
t12_x25_u2_b35 12 25 2 35 frc(div(R,mlt(R,D))) 40640 98457674 o1(o2(x,o2(x,x))) true 5127 5127 0.4524 0.9397 0.4524 0.06294 0.2509 0.000009389 1 1 1 2.967 0.1242 0.0001175 0.2884 0.9981 1 -7.17e-7 0.3319 0.4657 0.04116 0.2029 0.7035 1 1.975 5.273 1 1 0.0837 0.04572 0.01713 1.33 0.7265 0.2721 json
t12_x25_u2_b36 12 25 2 36 frc(div(R,div(R,D))) 40641 98457675 o1(o2(x,o2(x,x))) true 5135 5135 0.5 1 0.5 0.08301 0.2881 0.03125 0.9688 0.9375 1 4 0.05599 1.276e-17 0.1146 1 1 -7.127e-9 0.119 0.119 0.04284 0.207 1.806 0.9375 0.6745 1.434 1 1 0.05321 0.125 2.026e-16 0.641 1.506 2.441e-15 json
t12_x25_u2_b37 12 25 2 37 frc(div(R,pow(R,D))) 40642 98457676 o1(o2(x,o2(x,x))) true 5143 5143 -0.9321 0.04297 0.982 0.1044 0.3231 -1 0.9507 1.951 1 0.4118 0.01034 0.01047 0.01423 -0.006331 1 0.000003856 0.04338 0.02628 0.0206 0.1435 10.09 2.635 0.1993 0.4157 1 1 0.0165 0.07229 0.1772 0.1581 0.6927 1.698 json
t12_x25_u2_b38 12 25 2 38 frc(div(R,mod(R,D))) 40643 98457677 o1(o2(x,o2(x,x))) true 5151 5151 0.4067 0.9799 0.4067 0.07278 0.2698 0 1 1 1 3.913 0.07497 0.0009435 0.2012 0.9751 1 0.0005982 0.2136 0.3449 0.03544 0.1883 0.9358 0.9777 1.043 2.935 1 1 0.04546 0.08434 0.1377 0.6246 1.159 1.893 json
t12_x25_u2_b39 12 25 2 39 frc(div(R,lrg(R,D))) 40644 98457678 o1(o2(x,o2(x,x))) true 5159 5159 -0.8894 0.06885 0.9729 0.1682 0.4101 -1 0.9635 1.964 1 0.6081 0.06073 0.01497 0.04836 0.6045 1 0.000008772 0.1687 0.09522 0.07341 0.2709 5.602 2.728 0.4502 1.003 1 1 0.07052 0.2163 0.3258 0.4194 1.287 1.937 json
t12_x25_u2_b40 12 25 2 40 frc(div(R,eql(R,D))) 40645 98457679 o1(o2(x,o2(x,x))) true 5167 5167 -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_x25_u2_b41 12 25 2 41 frc(div(R,min(R,D))) 40646 98457680 o1(o2(x,o2(x,x))) true 5175 5175 0.37 0.9597 0.37 0.09429 0.3071 0 1 1 1 3.779 0.05003 0.001204 0.1532 0.953 1 0.0003246 0.1364 0.2312 0.02777 0.1666 1.088 0.9955 0.5434 1.447 1 1 0.03429 0.09269 0.1868 0.3637 0.983 1.981 json
t12_x25_u2_b42 12 25 2 42 frc(div(R,dot(R,D))) 40647 98457681 o1(o2(x,o2(x,x))) true 5183 5183 0.498 1 0.498 0.05166 0.2273 0.0008737 0.9992 0.9983 1 3.848 0.09706 0.0951 0.3751 0.01023 1 -0.00009965 0.9764 0.7737 0.05144 0.2268 0.6046 1.332 3.72 18.9 1 1 0.09944 0.09831 0.1044 1.925 1.903 2.022 json
t12_x25_u2_b43 12 25 2 43 frc(div(R,dst(R,D))) 40648 98457682 o1(o2(x,o2(x,x))) true 5191 5191 0.5147 1 0.5147 0.03741 0.1934 0.002856 0.9952 0.9923 1 3.66 0.009374 0.006836 0.0581 0.1566 1 0.0001539 0.05502 0.06275 0.01284 0.1133 1.95 1.348 0.4334 1.471 1 1 0.01418 0.04284 0.06568 0.3792 1.145 1.756 json
t12_x25_u2_b44 12 25 2 44 frc(pow(R,add(R,D))) 40649 98457683 o1(o2(x,o2(x,x))) true 5199 5199 -0.9268 0.04297 0.9873 0.1207 0.3474 -1 0.9666 1.967 1 0.3965 0.01405 0.01207 0.01703 0.07589 1 0.00001766 0.05486 0.03169 0.02582 0.1607 9.437 2.669 0.2164 0.4546 1 1 0.01979 0.08254 0.2022 0.164 0.6839 1.675 json
t12_x25_u2_b45 12 25 2 45 frc(pow(R,sub(R,D))) 40650 98457684 o1(o2(x,o2(x,x))) true 5207 5207 -0.9268 0.04297 0.9872 0.1205 0.3471 -1 0.9717 1.972 1 0.3967 0.01411 0.01202 0.01719 0.08001 1 -0.00000527 0.05502 0.03183 0.02582 0.1607 9.349 2.658 0.2169 0.4567 1 1 0.01973 0.08175 0.2018 0.1638 0.6786 1.675 json
t12_x25_u2_b46 12 25 2 46 frc(pow(R,mlt(R,D))) 40651 98457685 o1(o2(x,o2(x,x))) true 5215 5215 -0.9354 0.04297 0.9787 0.09839 0.3137 -1 0.998 1.998 1 0.4185 0.0106 0.009756 0.0151 0.04126 1 0.000006503 0.04228 0.02557 0.02013 0.1419 9.397 1.998 0.2069 0.4297 1 1 0.01511 0.06636 0.1621 0.1535 0.6745 1.647 json
t12_x25_u2_b47 12 25 2 47 frc(pow(R,div(R,D))) 40652 98457686 o1(o2(x,o2(x,x))) true 5223 5223 -0.9387 0.04254 0.9753 0.08596 0.2932 -1 0.9841 1.984 1 0.419 0.008795 0.008901 0.01727 -0.005994 1 -0.0001145 0.0377 0.02942 0.0174 0.1319 7.636 2.563 0.2059 0.4386 1 1 0.01395 0.06079 0.146 0.1623 0.7072 1.698 json
t12_x25_u2_b48 12 25 2 48 frc(pow(R,pow(R,D))) 40653 98457687 o1(o2(x,o2(x,x))) true 5231 5231 -0.9324 0.04297 0.9817 0.1034 0.3216 -1 0.9432 1.943 1 0.4116 0.01033 0.01041 0.01423 -0.003643 1 0.000004753 0.04327 0.02625 0.02054 0.1433 10.07 2.64 0.2005 0.4183 1 1 0.01649 0.07189 0.1759 0.1594 0.695 1.701 json
t12_x25_u2_b49 12 25 2 49 frc(pow(R,mod(R,D))) 40654 98457688 o1(o2(x,o2(x,x))) true 5239 5239 -0.9178 0.04297 0.9962 0.1507 0.3882 -1 0.9999 2 1 0.3381 0.01675 0.01501 0.01747 0.05502 1 -0.000002649 0.06675 0.03432 0.03148 0.1774 10.15 2.824 0.2108 0.443 1 1 0.02427 0.1014 0.2526 0.1611 0.6731 1.677 json
t12_x25_u2_b50 12 25 2 50 frc(pow(R,lrg(R,D))) 40655 98457689 o1(o2(x,o2(x,x))) true 5247 5247 -0.2884 0.4834 0.5978 0.4438 0.6662 -1 0.9809 1.981 1 2.88 0.145 0.02729 0.1506 0.6832 1 -0.0003275 0.3699 0.2706 0.1496 0.3867 2.567 2.747 0.3882 0.8334 1 1 0.1763 0.525 0.7628 0.3973 1.183 1.719 json
t12_x25_u2_b51 12 25 2 51 frc(pow(R,eql(R,D))) 40656 98457690 o1(o2(x,o2(x,x))) true 5255 5255 -0.0002441 0 0.0002441 0.0002441 0.01562 -1 0 1 1 0.003282 0.0004409 0.00001575 0.0004567 0.931 1 0 0.001417 0.0009133 0.0004564 0.02136 46.78 1 1.871 5.806 1 1 0 0 0.0002078 0 0 0.8512 json
t12_x25_u2_b52 12 25 2 52 frc(pow(R,min(R,D))) 40657 98457691 o1(o2(x,o2(x,x))) true 5263 5263 -0.9341 0.04297 0.98 0.1013 0.3183 -1 0.9979 1.998 1 0.4242 0.01068 0.01009 0.01576 0.02877 1 0.0000106 0.04336 0.02691 0.02052 0.1433 9.088 1.998 0.2051 0.4281 1 1 0.01536 0.06772 0.1651 0.1516 0.6686 1.63 json
t12_x25_u2_b53 12 25 2 53 frc(pow(R,dot(R,D))) 40658 98457692 o1(o2(x,o2(x,x))) true 5271 5271 -0.9344 0.04297 0.9797 0.09999 0.3162 -1 0.9997 2 1 0.4266 0.01164 0.01096 0.01738 0.03024 1 -0.00006417 0.05119 0.03096 0.0223 0.1493 8.592 2.812 0.2261 0.512 1 1 0.01819 0.07206 0.1682 0.1819 0.7207 1.682 json
t12_x25_u2_b54 12 25 2 54 frc(pow(R,dst(R,D))) 40659 98457693 o1(o2(x,o2(x,x))) true 5279 5279 -0.9318 0.04297 0.9822 0.1048 0.3238 -1 0.9431 1.943 1 0.4041 0.01069 0.01078 0.01435 -0.004396 1 0.000006967 0.04489 0.02679 0.02125 0.1458 10.16 2.573 0.2048 0.4282 1 1 0.01669 0.07129 0.1745 0.1592 0.68 1.665 json
t12_x25_u2_b55 12 25 2 55 frc(mod(R,add(R,D))) 40660 98457694 o1(o2(x,o2(x,x))) true 5287 5287 0.5217 1 0.5217 0.07185 0.268 0.0009762 0.9993 0.9984 1 3.977 0.02156 0.0007482 0.08285 0.9329 1 -0.0001048 0.04468 0.09764 0.01544 0.1243 1.5 0.9673 0.3104 0.6219 1 1 0.02226 0.08095 0.08886 0.3099 1.127 1.237 json
t12_x25_u2_b56 12 25 2 56 frc(mod(R,sub(R,D))) 40661 98457695 o1(o2(x,o2(x,x))) true 5295 5295 0.5227 1 0.5227 0.07317 0.2705 0.0009194 0.9992 0.9983 1 3.979 0.02155 0.0007571 0.0829 0.9321 1 -0.00005673 0.04469 0.09794 0.01544 0.1242 1.499 0.9674 0.3049 0.6107 1 1 0.0223 0.08092 0.09082 0.3048 1.106 1.241 json
t12_x25_u2_b57 12 25 2 57 frc(mod(R,mlt(R,D))) 40662 98457696 o1(o2(x,o2(x,x))) true 5303 5303 0.4699 0.9642 0.4699 0.122 0.3492 2.97e-8 0.9995 0.9995 1 3.801 0.04268 0.001646 0.1014 0.9257 1 0.00001874 0.08489 0.1415 0.03405 0.1845 1.82 0.9992 0.3634 0.696 1 1 0.04567 0.1103 0.2003 0.3744 0.9042 1.642 json
t12_x25_u2_b58 12 25 2 58 frc(mod(R,div(R,D))) 40663 98457697 o1(o2(x,o2(x,x))) true 5311 5311 0.5266 1 0.5266 0.05091 0.2256 0.001084 0.997 0.9959 1 3.815 0.0007236 0.0006853 0.03089 0.02719 1 0.00004432 0.00008334 0.007111 0.0004549 0.02133 0.6905 0.1132 0.02767 0.001637 1 1 0.002542 0.03267 0.08567 0.04993 0.6416 1.683 json
t12_x25_u2_b59 12 25 2 59 frc(mod(R,pow(R,D))) 40664 98457698 o1(o2(x,o2(x,x))) true 5319 5319 -0.9327 0.04297 0.9813 0.1025 0.3202 -1 0.9428 1.943 1 0.413 0.01033 0.01038 0.01414 -0.00231 1 0.000008535 0.04322 0.0262 0.02051 0.1432 10.13 2.64 0.2021 0.4217 1 1 0.01648 0.07156 0.1733 0.1608 0.6982 1.691 json
t12_x25_u2_b60 12 25 2 60 frc(mod(R,mod(R,D))) 40665 98457699 o1(o2(x,o2(x,x))) true 5327 5327 0.4015 0.9771 0.4015 0.1318 0.363 0 0.9995 0.9995 1 3.555 0.01847 0.001858 0.07939 0.8172 1 0.0003201 0.03581 0.09668 0.01402 0.1184 1.491 0.9977 0.1542 0.2718 1 1 0.02337 0.1283 0.2323 0.1774 0.9741 1.763 json
t12_x25_u2_b61 12 25 2 61 frc(mod(R,lrg(R,D))) 40666 98457700 o1(o2(x,o2(x,x))) true 5335 5335 -0.8894 0.06885 0.9729 0.1682 0.4101 -1 0.9635 1.964 1 0.6081 0.06073 0.01497 0.04836 0.6045 1 0.000008772 0.1687 0.09522 0.07341 0.2709 5.602 2.728 0.4502 1.003 1 1 0.07052 0.2163 0.3258 0.4194 1.287 1.937 json
t12_x25_u2_b62 12 25 2 62 frc(mod(R,eql(R,D))) 40667 98457701 o1(o2(x,o2(x,x))) true 5343 5343 -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_x25_u2_b63 12 25 2 63 frc(mod(R,min(R,D))) 40668 98457702 o1(o2(x,o2(x,x))) true 5351 5351 0.1635 0.9518 0.1635 0.03894 0.1973 0 0.9967 0.9967 1 2.788 0.008323 0.0004874 0.05234 0.8894 1 -0.0001527 0.01759 0.06659 0.006071 0.07792 1.489 0.9965 0.2262 0.4518 1 1 0.008888 0.04228 0.07197 0.2282 1.086 1.848 json
t12_x25_u2_b64 12 25 2 64 frc(mod(R,dot(R,D))) 40669 98457703 o1(o2(x,o2(x,x))) true 5359 5359 0.5194 1 0.5194 0.1114 0.3338 0.0001183 1 0.9998 1 3.893 0.006031 0.006035 0.08637 -0.0003128 1 -8.709e-7 0.0408 0.1376 0.004606 0.06787 0.7858 0.5861 0.1083 0.3661 1 1 0.01233 0.09508 0.2083 0.1107 0.8533 1.869 json
t12_x25_u2_b65 12 25 2 65 frc(mod(R,dst(R,D))) 40670 98457704 o1(o2(x,o2(x,x))) true 5367 5367 0.524 1 0.524 0.05281 0.2298 0.001077 0.997 0.9959 1 3.836 0.0057 0.003706 0.04667 0.212 1 0.0001561 0.02763 0.04162 0.007229 0.08502 1.822 1.283 0.1781 0.5231 1 1 0.009124 0.04706 0.09082 0.1728 0.8912 1.72 json
t12_x25_u2_b66 12 25 2 66 frc(lrg(R,add(R,D))) 40671 98457705 o1(o2(x,o2(x,x))) true 5375 5375 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_x25_u2_b67 12 25 2 67 frc(lrg(R,sub(R,D))) 40672 98457706 o1(o2(x,o2(x,x))) true 5383 5383 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_x25_u2_b68 12 25 2 68 frc(lrg(R,mlt(R,D))) 40673 98457707 o1(o2(x,o2(x,x))) true 5391 5391 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_x25_u2_b69 12 25 2 69 frc(lrg(R,div(R,D))) 40674 98457708 o1(o2(x,o2(x,x))) true 5399 5399 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_x25_u2_b70 12 25 2 70 frc(lrg(R,pow(R,D))) 40675 98457709 o1(o2(x,o2(x,x))) true 5407 5407 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_x25_u2_b71 12 25 2 71 frc(lrg(R,mod(R,D))) 40676 98457710 o1(o2(x,o2(x,x))) true 5415 5415 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_x25_u2_b72 12 25 2 72 frc(lrg(R,lrg(R,D))) 40677 98457711 o1(o2(x,o2(x,x))) true 5423 5423 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_x25_u2_b73 12 25 2 73 frc(lrg(R,eql(R,D))) 40678 98457712 o1(o2(x,o2(x,x))) true 5431 5431 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_x25_u2_b74 12 25 2 74 frc(lrg(R,min(R,D))) 40679 98457713 o1(o2(x,o2(x,x))) true 5439 5439 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_x25_u2_b75 12 25 2 75 frc(lrg(R,dot(R,D))) 40680 98457714 o1(o2(x,o2(x,x))) true 5447 5447 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_x25_u2_b76 12 25 2 76 frc(lrg(R,dst(R,D))) 40681 98457715 o1(o2(x,o2(x,x))) true 5455 5455 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_x25_u2_b77 12 25 2 77 frc(eql(R,add(R,D))) 40682 98457716 o1(o2(x,o2(x,x))) true 5463 5463 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_x25_u2_b78 12 25 2 78 frc(eql(R,sub(R,D))) 40683 98457717 o1(o2(x,o2(x,x))) true 5471 5471 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_x25_u2_b79 12 25 2 79 frc(eql(R,mlt(R,D))) 40684 98457718 o1(o2(x,o2(x,x))) true 5479 5479 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_x25_u2_b80 12 25 2 80 frc(eql(R,div(R,D))) 40685 98457719 o1(o2(x,o2(x,x))) true 5487 5487 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_x25_u2_b81 12 25 2 81 frc(eql(R,pow(R,D))) 40686 98457720 o1(o2(x,o2(x,x))) true 5495 5495 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_x25_u2_b82 12 25 2 82 frc(eql(R,mod(R,D))) 40687 98457721 o1(o2(x,o2(x,x))) true 5503 5503 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_x25_u2_b83 12 25 2 83 frc(eql(R,lrg(R,D))) 40688 98457722 o1(o2(x,o2(x,x))) true 5511 5511 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_x25_u2_b84 12 25 2 84 frc(eql(R,eql(R,D))) 40689 98457723 o1(o2(x,o2(x,x))) true 5519 5519 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_x25_u2_b85 12 25 2 85 frc(eql(R,min(R,D))) 40690 98457724 o1(o2(x,o2(x,x))) true 5527 5527 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_x25_u2_b86 12 25 2 86 frc(eql(R,dot(R,D))) 40691 98457725 o1(o2(x,o2(x,x))) true 5535 5535 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_x25_u2_b87 12 25 2 87 frc(eql(R,dst(R,D))) 40692 98457726 o1(o2(x,o2(x,x))) true 5543 5543 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_x25_u2_b88 12 25 2 88 frc(min(R,add(R,D))) 40693 98457727 o1(o2(x,o2(x,x))) true 5551 5551 0.5137 1 0.5137 0.0492 0.2218 0.0008745 0.997 0.9962 1 3.82 0.0175 0.0007062 0.06784 0.9224 1 -0.000468 0.03592 0.06835 0.0136 0.1166 1.719 0.9684 0.37 0.7301 1 1 0.01696 0.06193 0.0892 0.3447 1.259 1.813 json
t12_x25_u2_b89 12 25 2 89 frc(min(R,sub(R,D))) 40694 98457728 o1(o2(x,o2(x,x))) true 5559 5559 0.5117 1 0.5117 0.04995 0.2235 0.0009976 0.997 0.996 1 3.828 0.01724 0.0007087 0.06748 0.921 1 0.0002613 0.03593 0.06865 0.0134 0.1157 1.715 0.9683 0.3593 0.7192 1 1 0.01663 0.06243 0.08871 0.3328 1.25 1.776 json
t12_x25_u2_b90 12 25 2 90 frc(min(R,mlt(R,D))) 40695 98457729 o1(o2(x,o2(x,x))) true 5567 5567 0.5033 1 0.5033 0.07601 0.2757 0.0002744 0.9999 0.9996 1 3.989 0.02524 0.0007489 0.07126 0.9424 1 4.224e-7 0.05069 0.0645 0.02091 0.1446 2.029 0.9996 0.3419 0.6668 1 1 0.0257 0.09113 0.09153 0.338 1.199 1.204 json
t12_x25_u2_b91 12 25 2 91 frc(min(R,div(R,D))) 40696 98457730 o1(o2(x,o2(x,x))) true 5575 5575 0.5229 1 0.5229 0.05064 0.225 0.001241 0.9978 0.9965 1 3.829 0.0489 0.0007303 0.15 0.9706 1 0.0005182 0.1408 0.2387 0.02713 0.1647 1.098 0.895 0.9802 2.781 1 1 0.03 0.06121 0.09722 0.5925 1.209 1.92 json
t12_x25_u2_b92 12 25 2 92 frc(min(R,pow(R,D))) 40697 98457731 o1(o2(x,o2(x,x))) true 5583 5583 0.5266 1 0.5266 0.05091 0.2256 0.001084 0.997 0.9959 1 3.815 0.0007236 0.0006853 0.03089 0.02719 1 0.00004432 0.00008334 0.007111 0.0004549 0.02133 0.6905 0.1132 0.02767 0.001637 1 1 0.002542 0.03267 0.08567 0.04993 0.6416 1.683 json
t12_x25_u2_b93 12 25 2 93 frc(min(R,mod(R,D))) 40698 98457732 o1(o2(x,o2(x,x))) true 5591 5591 0.3278 1 0.3278 0.05524 0.235 0.000133 0.9969 0.9968 1 3.706 0.004039 0.0008078 0.04989 0.6667 1 -0.0001546 0.008526 0.05386 0.002358 0.04856 0.9735 0.3228 0.08773 0.1543 1 1 0.005548 0.0446 0.1076 0.1004 0.8074 1.948 json
t12_x25_u2_b94 12 25 2 94 frc(min(R,lrg(R,D))) 40699 98457733 o1(o2(x,o2(x,x))) true 5599 5599 0.5132 1 0.5132 0.05433 0.2331 0.0002359 0.997 0.9968 1 3.851 0.001438 0.0007436 0.03602 0.3184 1 0.00006788 0.001528 0.01512 0.0008847 0.02974 0.8258 0.2998 0.04016 0.02811 1 1 0.003324 0.03584 0.09194 0.06118 0.6597 1.692 json