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
t14_x25_u1_b96 14 25 1 96 log(min(min(R,R),D)) 68300 114698736 o1(o2(o2(x,x),x)) true 34407 34407 -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
t14_x25_u1_b97 14 25 1 97 log(min(dot(R,R),D)) 68301 114698737 o1(o2(o2(x,x),x)) true 34415 34415 -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
t14_x25_u1_b98 14 25 1 98 log(min(dst(R,R),D)) 68302 114698738 o1(o2(o2(x,x),x)) true 34423 34423 -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
t14_x25_u1_b99 14 25 1 99 log(dot(add(R,R),D)) 68303 114698739 o1(o2(o2(x,x),x)) true 34431 34431 -0.987 0.0003052 0.9871 0.007227 0.08501 -1 0.08236 1.082 1 0.3038 0.001271 0.001227 0.007792 0.01733 1 -0.00001109 0.005106 0.01006 0.002437 0.04937 6.336 1.193 0.3456 0.7065 1 1 0.004167 0.01769 0.02024 0.5766 2.448 2.801 json
t14_x25_u1_b100 14 25 1 100 log(dot(sub(R,R),D)) 68304 114698740 o1(o2(o2(x,x),x)) true 34439 34439 -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
t14_x25_u1_b101 14 25 1 101 log(dot(mlt(R,R),D)) 68305 114698741 o1(o2(o2(x,x),x)) true 34447 34447 -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
t14_x25_u1_b102 14 25 1 102 log(dot(div(R,R),D)) 68306 114698742 o1(o2(o2(x,x),x)) true 34455 34455 -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
t14_x25_u1_b103 14 25 1 103 log(dot(pow(R,R),D)) 68307 114698743 o1(o2(o2(x,x),x)) true 34463 34463 -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
t14_x25_u1_b104 14 25 1 104 log(dot(mod(R,R),D)) 68308 114698744 o1(o2(o2(x,x),x)) true 34471 34471 -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
t14_x25_u1_b105 14 25 1 105 log(dot(lrg(R,R),D)) 68309 114698745 o1(o2(o2(x,x),x)) true 34479 34479 -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
t14_x25_u1_b106 14 25 1 106 log(dot(eql(R,R),D)) 68310 114698746 o1(o2(o2(x,x),x)) true 34487 34487 -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
t14_x25_u1_b107 14 25 1 107 log(dot(min(R,R),D)) 68311 114698747 o1(o2(o2(x,x),x)) true 34495 34495 -0.9993 0 0.9993 0.0001377 0.01173 -1 -0.6108 0.3892 1 0.04537 0.00003521 0.00002373 0.000569 0.1947 0 -7.509e-12 0.0000902 0.0007168 0.00005861 0.007656 13.46 0.2706 0.4281 0.6551 1 1 0.0001362 0.0004219 0.0004535 0.9892 3.065 3.294 json
t14_x25_u1_b108 14 25 1 108 log(dot(dot(R,R),D)) 68312 114698748 o1(o2(o2(x,x),x)) true 34503 34503 -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
t14_x25_u1_b109 14 25 1 109 log(dot(dst(R,R),D)) 68313 114698749 o1(o2(o2(x,x),x)) true 34511 34511 -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
t14_x25_u1_b110 14 25 1 110 log(dst(add(R,R),D)) 68314 114698750 o1(o2(o2(x,x),x)) true 34519 34519 0.6278 0.966 0.6441 0.08089 0.2844 -1 1 2 1 3.937 0.001189 0.001508 0.04082 -0.1184 1 0.00002774 0.0002323 0.0101 0.00103 0.03209 0.7862 0.3247 0.03333 0.002871 1 1 0.004645 0.05689 0.1368 0.05742 0.7033 1.692 json
t14_x25_u1_b111 14 25 1 111 log(dst(sub(R,R),D)) 68315 114698751 o1(o2(o2(x,x),x)) true 34527 34527 -0.7705 0 0.7705 0.04347 0.2085 -1 -0.3539 0.6461 1 2.94 0.004784 0.004784 0.07691 -0.000003456 1 -0.0003411 0.005662 0.04961 0.003653 0.06044 0.7859 0.2093 0.2201 0.1303 1 1 0.01694 0.08275 0 0.3898 1.904 0 json
t14_x25_u1_b112 14 25 1 112 log(dst(mlt(R,R),D)) 68316 114698752 o1(o2(o2(x,x),x)) true 34535 34535 -0.2458 0.2616 0.3091 0.1139 0.3375 -1 0.4858 1.486 1 4.221 0.003646 0.004 0.0697 -0.04642 1 -0.0002886 0.002054 0.02475 0.002788 0.0528 0.7575 0.7829 0.06714 0.01804 1 1 0.01398 0.1272 0.1769 0.1227 1.117 1.553 json
t14_x25_u1_b113 14 25 1 113 log(dst(div(R,R),D)) 68317 114698753 o1(o2(o2(x,x),x)) true 34543 34543 0.5632 1 0.5632 0.002676 0.05173 0.4543 0.6603 0.206 1 1.847 0.0002025 0.0002025 0.01922 6.466e-7 1 -0.00002756 0.00006341 0.006479 0.00003567 0.005972 0.3107 0.02901 0.1514 0.02369 1 1 0.000782 0.005416 5.016e-16 0.2922 2.024 1.875e-13 json
t14_x25_u1_b114 14 25 1 114 log(dst(pow(R,R),D)) 68318 114698754 o1(o2(o2(x,x),x)) true 34551 34551 -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
t14_x25_u1_b115 14 25 1 115 log(dst(mod(R,R),D)) 68319 114698755 o1(o2(o2(x,x),x)) true 34559 34559 -0.5788 0.06129 0.5922 0.1182 0.3438 -1 0.4055 1.405 1 3.923 0.005229 0.005106 0.0806 0.01194 1 -0.0002667 0.00426 0.03909 0.003839 0.06196 0.7688 0.412 0.08744 0.03604 1 1 0.01899 0.1507 0.2026 0.1607 1.275 1.714 json
t14_x25_u1_b116 14 25 1 116 log(dst(lrg(R,R),D)) 68320 114698756 o1(o2(o2(x,x),x)) true 34567 34567 -0.7705 0 0.7705 0.04347 0.2085 -1 -0.3539 0.6461 1 2.94 0.004784 0.004784 0.07691 -0.000003456 1 -0.0003411 0.005662 0.04961 0.003653 0.06044 0.7859 0.2093 0.2201 0.1303 1 1 0.01694 0.08275 0 0.3898 1.904 0 json
t14_x25_u1_b117 14 25 1 117 log(dst(eql(R,R),D)) 68321 114698757 o1(o2(o2(x,x),x)) true 34575 34575 0.5632 1 0.5632 0.002676 0.05173 0.4543 0.6603 0.206 1 1.847 0.0002025 0.0002025 0.01922 -0.000002658 1 -0.00002755 0.00006341 0.006479 0.00003567 0.005972 0.3107 0.02901 0.1514 0.02369 1 1 0.000782 0.005416 0 0.2922 2.024 0 json
t14_x25_u1_b118 14 25 1 118 log(dst(min(R,R),D)) 68322 114698758 o1(o2(o2(x,x),x)) true 34583 34583 -0.009376 0.5552 0.231 0.08847 0.2974 -1 0.6216 1.622 1 4.16 0.002139 0.002329 0.05578 -0.0425 1 -0.00002802 0.0006161 0.01582 0.001357 0.03683 0.6603 0.3841 0.0505 0.006964 1 1 0.008147 0.09049 0.1648 0.09208 1.023 1.862 json
t14_x25_u1_b119 14 25 1 119 log(dst(dot(R,R),D)) 68323 114698759 o1(o2(o2(x,x),x)) true 34591 34591 0.4547 0.8425 0.5681 0.2061 0.454 -1 1 2 1 4.472 0.003319 0.004013 0.0642 -0.09474 1 -0.00009749 0.0008847 0.01677 0.00321 0.05666 0.8825 0.3986 0.03557 0.004292 1 1 0.01291 0.1497 0.331 0.06264 0.7262 1.606 json
t14_x25_u1_b120 14 25 1 120 log(dst(dst(R,R),D)) 68324 114698760 o1(o2(o2(x,x),x)) true 34599 34599 -0.7705 0 0.7705 0.04347 0.2085 -1 -0.3539 0.6461 1 2.94 0.004784 0.004784 0.07691 -0.000003456 1 -0.0003411 0.005662 0.04961 0.003653 0.06044 0.7859 0.2093 0.2201 0.1303 1 1 0.01694 0.08275 0 0.3898 1.904 0 json
t14_x25_u2_b0 14 25 2 0 frc(add(add(R,R),D)) 68325 114698841 o1(o2(o2(x,x),x)) true 34607 34607 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
t14_x25_u2_b1 14 25 2 1 frc(add(sub(R,R),D)) 68326 114698842 o1(o2(o2(x,x),x)) true 34615 34615 0.5 1 0.5 0.08301 0.2881 0.03125 0.9688 0.9375 1 4 0.05599 0 0.1146 1 1 0 0.119 0.119 0.04284 0.207 1.806 0.9375 0.6745 1.434 1 1 0.05321 0.125 0 0.641 1.506 0 json
t14_x25_u2_b2 14 25 2 2 frc(add(mlt(R,R),D)) 68327 114698843 o1(o2(o2(x,x),x)) true 34623 34623 0.5016 1 0.5016 0.05458 0.2336 0.001148 0.9996 0.9985 1 3.881 0.03854 0.0007322 0.1116 0.9627 1 -0.0002481 0.08309 0.1239 0.02682 0.1638 1.468 0.9394 0.7196 1.522 1 1 0.03732 0.09097 0.1016 0.6838 1.667 1.861 json
t14_x25_u2_b3 14 25 2 3 frc(add(div(R,R),D)) 68328 114698844 o1(o2(o2(x,x),x)) true 34631 34631 0.5 1 0.5 0.08301 0.2881 0.03125 0.9688 0.9375 1 4 0.05599 6.725e-17 0.1146 1 1 1.05e-9 0.119 0.119 0.04284 0.207 1.806 0.9375 0.6745 1.434 1 1 0.05321 0.125 1.563e-15 0.641 1.506 1.883e-14 json
t14_x25_u2_b4 14 25 2 4 frc(add(pow(R,R),D)) 68329 114698845 o1(o2(o2(x,x),x)) true 34639 34639 -0.9351 0.04297 0.979 0.09673 0.311 -1 0.991 1.991 1 0.4233 0.01483 0.009292 0.01763 0.2296 1 0.0001063 0.05161 0.03127 0.02381 0.1543 8.753 2.62 0.2494 0.5335 1 1 0.01809 0.0649 0.1621 0.187 0.6709 1.675 json
t14_x25_u2_b5 14 25 2 5 frc(add(mod(R,R),D)) 68330 114698846 o1(o2(o2(x,x),x)) true 34647 34647 0.4998 1 0.4998 0.07142 0.2672 0.00107 0.9896 0.9885 1 3.982 0.04876 0.0003184 0.1134 0.987 1 -0.000002772 0.1044 0.1212 0.03622 0.1903 1.678 0.9415 0.6872 1.462 1 1 0.04514 0.1064 0.05243 0.632 1.489 0.7341 json
t14_x25_u2_b6 14 25 2 6 frc(add(lrg(R,R),D)) 68331 114698847 o1(o2(o2(x,x),x)) true 34655 34655 0.5 1 0.5 0.08301 0.2881 0.03125 0.9688 0.9375 1 4 0.05599 0 0.1146 1 1 0 0.119 0.119 0.04284 0.207 1.806 0.9375 0.6745 1.434 1 1 0.05321 0.125 0 0.641 1.506 0 json
t14_x25_u2_b7 14 25 2 7 frc(add(eql(R,R),D)) 68332 114698848 o1(o2(o2(x,x),x)) true 34663 34663 0.5 1 0.5 0.08301 0.2881 0.03125 0.9688 0.9375 1 4 0.05599 0 0.1146 1 1 0 0.119 0.119 0.04284 0.207 1.806 0.9375 0.6745 1.434 1 1 0.05321 0.125 0 0.641 1.506 0 json
t14_x25_u2_b8 14 25 2 8 frc(add(min(R,R),D)) 68333 114698849 o1(o2(o2(x,x),x)) true 34671 34671 0.4998 1 0.4998 0.05059 0.2249 0.0003494 0.9966 0.9962 1 3.84 0.03625 0.0007444 0.1109 0.9598 1 -0.0001478 0.07858 0.1247 0.0247 0.1572 1.418 0.9415 0.7311 1.553 1 1 0.03363 0.08296 0.0945 0.6648 1.64 1.868 json
t14_x25_u2_b9 14 25 2 9 frc(add(dot(R,R),D)) 68334 114698850 o1(o2(o2(x,x),x)) true 34679 34679 0.5022 1 0.5022 0.05119 0.2263 0.0003732 0.9979 0.9975 1 3.844 0.03613 0.000745 0.1108 0.9596 1 0.00001722 0.07784 0.1233 0.02461 0.1569 1.416 0.9419 0.7203 1.521 1 1 0.03529 0.08867 0.09703 0.6894 1.732 1.895 json
t14_x25_u2_b10 14 25 2 10 frc(add(dst(R,R),D)) 68335 114698851 o1(o2(o2(x,x),x)) true 34687 34687 0.5 1 0.5 0.08301 0.2881 0.03125 0.9688 0.9375 1 4 0.05599 0 0.1146 1 1 0 0.119 0.119 0.04284 0.207 1.806 0.9375 0.6745 1.434 1 1 0.05321 0.125 0 0.641 1.506 0 json
t14_x25_u2_b11 14 25 2 11 frc(sub(add(R,R),D)) 68336 114698852 o1(o2(o2(x,x),x)) true 34695 34695 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
t14_x25_u2_b12 14 25 2 12 frc(sub(sub(R,R),D)) 68337 114698853 o1(o2(o2(x,x),x)) true 34703 34703 0.5 1 0.5 0.08301 0.2881 0.03125 0.9688 0.9375 1 4 0.05599 0 0.1146 1 1 0 0.119 0.119 0.04284 0.207 1.806 0.9375 0.6745 1.434 1 1 0.05321 0.125 0 0.641 1.506 0 json
t14_x25_u2_b13 14 25 2 13 frc(sub(mlt(R,R),D)) 68338 114698854 o1(o2(o2(x,x),x)) true 34711 34711 0.5013 1 0.5013 0.05502 0.2346 0.001012 0.9996 0.9985 1 3.885 0.03893 0.0007331 0.1122 0.963 1 -0.000003512 0.08414 0.1249 0.02706 0.1645 1.466 0.9396 0.7208 1.529 1 1 0.03621 0.09069 0.101 0.6581 1.648 1.835 json
t14_x25_u2_b14 14 25 2 14 frc(sub(div(R,R),D)) 68339 114698855 o1(o2(o2(x,x),x)) true 34719 34719 0.5 1 0.5 0.08301 0.2881 0.03125 0.9688 0.9375 1 4 0.05599 6.666e-17 0.1146 1 1 1.239e-9 0.119 0.119 0.04284 0.207 1.806 0.9375 0.6745 1.434 1 1 0.05321 0.125 1.611e-15 0.641 1.506 1.941e-14 json
t14_x25_u2_b15 14 25 2 15 frc(sub(pow(R,R),D)) 68340 114698856 o1(o2(o2(x,x),x)) true 34727 34727 -0.9357 0.04297 0.9784 0.09497 0.3082 -1 0.989 1.989 1 0.4236 0.01505 0.009651 0.01792 0.2186 1 0.00001553 0.05362 0.03186 0.02438 0.1561 8.713 2.708 0.2601 0.5646 1 1 0.018 0.06526 0.1551 0.1895 0.6871 1.633 json
t14_x25_u2_b16 14 25 2 16 frc(sub(mod(R,R),D)) 68341 114698857 o1(o2(o2(x,x),x)) true 34735 34735 0.4995 1 0.4995 0.07155 0.2675 0.00107 0.9896 0.9885 1 3.983 0.04888 0.0003191 0.1137 0.987 1 0.000001517 0.1046 0.1214 0.03626 0.1904 1.675 0.9375 0.6875 1.461 1 1 0.04575 0.1068 0.05395 0.6393 1.492 0.754 json
t14_x25_u2_b17 14 25 2 17 frc(sub(lrg(R,R),D)) 68342 114698858 o1(o2(o2(x,x),x)) true 34743 34743 0.5 1 0.5 0.08301 0.2881 0.03125 0.9688 0.9375 1 4 0.05599 0 0.1146 1 1 0 0.119 0.119 0.04284 0.207 1.806 0.9375 0.6745 1.434 1 1 0.05321 0.125 0 0.641 1.506 0 json
t14_x25_u2_b18 14 25 2 18 frc(sub(eql(R,R),D)) 68343 114698859 o1(o2(o2(x,x),x)) true 34751 34751 0.5 1 0.5 0.08301 0.2881 0.03125 0.9688 0.9375 1 4 0.05599 0 0.1146 1 1 0 0.119 0.119 0.04284 0.207 1.806 0.9375 0.6745 1.434 1 1 0.05321 0.125 0 0.641 1.506 0 json
t14_x25_u2_b19 14 25 2 19 frc(sub(min(R,R),D)) 68344 114698860 o1(o2(o2(x,x),x)) true 34759 34759 0.4981 1 0.4981 0.05037 0.2244 0.0002575 0.9959 0.9956 1 3.836 0.0363 0.0007475 0.1112 0.9596 1 0.00008992 0.07858 0.1248 0.02468 0.1571 1.412 0.9399 0.7356 1.56 1 1 0.03408 0.0818 0.0953 0.6766 1.624 1.892 json
t14_x25_u2_b20 14 25 2 20 frc(sub(dot(R,R),D)) 68345 114698861 o1(o2(o2(x,x),x)) true 34767 34767 0.5007 1 0.5007 0.05131 0.2265 0.0004022 0.998 0.9976 1 3.845 0.03601 0.0007408 0.1108 0.9597 1 -0.0007407 0.07837 0.1237 0.02448 0.1565 1.412 0.942 0.7163 1.527 1 1 0.03512 0.08852 0.09826 0.6844 1.725 1.915 json
t14_x25_u2_b21 14 25 2 21 frc(sub(dst(R,R),D)) 68346 114698862 o1(o2(o2(x,x),x)) true 34775 34775 0.5 1 0.5 0.08301 0.2881 0.03125 0.9688 0.9375 1 4 0.05599 0 0.1146 1 1 0 0.119 0.119 0.04284 0.207 1.806 0.9375 0.6745 1.434 1 1 0.05321 0.125 0 0.641 1.506 0 json
t14_x25_u2_b22 14 25 2 22 frc(mlt(add(R,R),D)) 68347 114698863 o1(o2(o2(x,x),x)) true 34783 34783 0.4986 1 0.4986 0.07165 0.2677 0.0004338 0.9997 0.9993 1 3.977 0.047 0.001104 0.1184 0.9541 1 -0.00008756 0.1013 0.1374 0.0341 0.1846 1.56 0.9993 0.6714 1.414 1 1 0.04639 0.1087 0.1336 0.6475 1.517 1.864 json
t14_x25_u2_b23 14 25 2 23 frc(mlt(sub(R,R),D)) 68348 114698864 o1(o2(o2(x,x),x)) true 34791 34791 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
t14_x25_u2_b24 14 25 2 24 frc(mlt(mlt(R,R),D)) 68349 114698865 o1(o2(o2(x,x),x)) true 34799 34799 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
t14_x25_u2_b25 14 25 2 25 frc(mlt(div(R,R),D)) 68350 114698866 o1(o2(o2(x,x),x)) true 34807 34807 0.5 1 0.5 0.08301 0.2881 0.03125 0.9688 0.9375 1 4 0.05599 7.987e-18 0.1146 1 1 -9.011e-11 0.119 0.119 0.04284 0.207 1.806 0.9375 0.6745 1.434 1 1 0.05321 0.125 1.323e-16 0.641 1.506 1.594e-15 json
t14_x25_u2_b26 14 25 2 26 frc(mlt(pow(R,R),D)) 68351 114698867 o1(o2(o2(x,x),x)) true 34815 34815 -0.9356 0.04297 0.9785 0.09643 0.3105 -1 0.9783 1.978 1 0.4266 0.0112 0.009727 0.01518 0.07051 1 -0.00001409 0.04388 0.02586 0.02071 0.1439 9.477 2.798 0.2171 0.4551 1 1 0.01622 0.06829 0.1623 0.1682 0.7082 1.683 json
t14_x25_u2_b27 14 25 2 27 frc(mlt(mod(R,R),D)) 68352 114698868 o1(o2(o2(x,x),x)) true 34823 34823 0.1117 0.5396 0.1117 0.05185 0.2277 0 0.9992 0.9992 1 1.868 0.01093 0.000664 0.03292 0.8855 1 0.00001241 0.02198 0.03039 0.01052 0.1025 3.115 0.999 0.2236 0.4238 1 1 0.0146 0.05964 0.1076 0.2815 1.15 2.075 json
t14_x25_u2_b28 14 25 2 28 frc(mlt(lrg(R,R),D)) 68353 114698869 o1(o2(o2(x,x),x)) true 34831 34831 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
t14_x25_u2_b29 14 25 2 29 frc(mlt(eql(R,R),D)) 68354 114698870 o1(o2(o2(x,x),x)) true 34839 34839 0.5 1 0.5 0.08301 0.2881 0.03125 0.9688 0.9375 1 4 0.05599 0 0.1146 1 1 0 0.119 0.119 0.04284 0.207 1.806 0.9375 0.6745 1.434 1 1 0.05321 0.125 0 0.641 1.506 0 json
t14_x25_u2_b30 14 25 2 30 frc(mlt(min(R,R),D)) 68355 114698871 o1(o2(o2(x,x),x)) true 34847 34847 0.4976 1 0.4976 0.09513 0.3084 0.0002169 0.9999 0.9996 1 3.982 0.04486 0.001485 0.1019 0.9359 1 -0.00005236 0.09294 0.1089 0.03597 0.1897 1.862 0.9996 0.4872 0.9771 1 1 0.04751 0.1592 0.1798 0.4994 1.673 1.891 json
t14_x25_u2_b31 14 25 2 31 frc(mlt(dot(R,R),D)) 68356 114698872 o1(o2(o2(x,x),x)) true 34855 34855 0.499 1 0.499 0.0862 0.2936 0.000564 0.9994 0.9989 1 3.992 0.05923 0.0001742 0.1289 0.9941 1 0.00003731 0.126 0.1474 0.04279 0.2068 1.605 0.9989 0.6892 1.462 1 1 0.05643 0.1204 0.02061 0.6547 1.397 0.2391 json
t14_x25_u2_b32 14 25 2 32 frc(mlt(dst(R,R),D)) 68357 114698873 o1(o2(o2(x,x),x)) true 34863 34863 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
t14_x25_u2_b33 14 25 2 33 frc(div(add(R,R),D)) 68358 114698874 o1(o2(o2(x,x),x)) true 34871 34871 0.4987 1 0.4987 0.05231 0.2287 0.00189 0.9983 0.9964 1 3.856 0.1052 0.0007331 0.2656 0.9862 1 0.0002529 0.3237 0.4628 0.03541 0.1882 0.7086 0.9964 2.025 6.187 1 1 0.04998 0.07125 0.1024 0.9554 1.362 1.957 json
t14_x25_u2_b34 14 25 2 34 frc(div(sub(R,R),D)) 68359 114698875 o1(o2(o2(x,x),x)) true 34879 34879 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
t14_x25_u2_b35 14 25 2 35 frc(div(mlt(R,R),D)) 68360 114698876 o1(o2(o2(x,x),x)) true 34887 34887 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
t14_x25_u2_b36 14 25 2 36 frc(div(div(R,R),D)) 68361 114698877 o1(o2(o2(x,x),x)) true 34895 34895 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.07e-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
t14_x25_u2_b37 14 25 2 37 frc(div(pow(R,R),D)) 68362 114698878 o1(o2(o2(x,x),x)) true 34903 34903 -0.9352 0.04297 0.9788 0.09533 0.3088 -1 0.9562 1.956 1 0.4172 0.0139 0.009724 0.02269 0.1768 1 -0.0001504 0.05546 0.04133 0.0231 0.152 6.696 2.615 0.2478 0.5817 1 1 0.01624 0.06506 0.1592 0.1704 0.6825 1.67 json
t14_x25_u2_b38 14 25 2 38 frc(div(mod(R,R),D)) 68363 114698879 o1(o2(o2(x,x),x)) true 34911 34911 0.111 0.5426 0.111 0.03864 0.1966 0 0.978 0.978 1 2.045 0.02191 0.0005115 0.0697 0.9544 1 0.0003289 0.06449 0.1065 0.01757 0.1325 1.902 0.9565 0.5803 1.669 1 1 0.01612 0.03598 0.08121 0.4172 0.9314 2.102 json
t14_x25_u2_b39 14 25 2 39 frc(div(lrg(R,R),D)) 68364 114698880 o1(o2(o2(x,x),x)) true 34919 34919 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
t14_x25_u2_b40 14 25 2 40 frc(div(eql(R,R),D)) 68365 114698881 o1(o2(o2(x,x),x)) true 34927 34927 0.4375 0.9375 0.4375 0.06368 0.2523 0.000009389 0.8736 0.8736 1 2.875 0.1187 0 0.281 1 1 7.569e-9 0.3114 0.4587 0.03976 0.1994 0.7097 0.7472 1.864 4.891 1 1 0.08183 0.05697 0 1.285 0.8946 0 json
t14_x25_u2_b41 14 25 2 41 frc(div(min(R,R),D)) 68366 114698882 o1(o2(o2(x,x),x)) true 34935 34935 0.4999 1 0.4999 0.05107 0.226 0.002168 0.9978 0.9956 1 3.843 0.09967 0.0007255 0.2554 0.9855 1 0.0006191 0.2997 0.4334 0.03517 0.1875 0.7343 0.9956 1.966 5.868 1 1 0.05312 0.06839 0.1017 1.04 1.339 1.992 json
t14_x25_u2_b42 14 25 2 42 frc(div(dot(R,R),D)) 68367 114698883 o1(o2(o2(x,x),x)) true 34943 34943 0.5006 1 0.5006 0.05149 0.2269 0.0004937 0.9995 0.999 1 3.847 0.1057 0.0007244 0.2682 0.9864 1 0.00005646 0.3199 0.4623 0.03443 0.1856 0.6918 0.999 2.066 6.213 1 1 0.05434 0.07052 0.09885 1.055 1.37 1.92 json
t14_x25_u2_b43 14 25 2 43 frc(div(dst(R,R),D)) 68368 114698884 o1(o2(o2(x,x),x)) true 34951 34951 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
t14_x25_u2_b44 14 25 2 44 frc(pow(add(R,R),D)) 68369 114698885 o1(o2(o2(x,x),x)) true 34959 34959 -0.9353 0.04297 0.9787 0.09744 0.3122 -1 0.9985 1.998 1 0.4256 0.01048 0.009109 0.0146 0.06987 1 0.000003504 0.04082 0.0255 0.01936 0.1392 9.532 2.804 0.201 0.4189 1 1 0.0146 0.065 0.1695 0.1499 0.667 1.739 json
t14_x25_u2_b45 14 25 2 45 frc(pow(sub(R,R),D)) 68370 114698886 o1(o2(o2(x,x),x)) true 34967 34967 -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
t14_x25_u2_b46 14 25 2 46 frc(pow(mlt(R,R),D)) 68371 114698887 o1(o2(o2(x,x),x)) true 34975 34975 0.4943 1 0.4943 0.08233 0.2869 0.0002061 0.9997 0.9995 1 3.997 0.06994 0.000448 0.1639 0.9873 1 -0.0001397 0.1702 0.2267 0.04353 0.2086 1.273 0.9995 0.8549 2.068 1 1 0.05721 0.1152 0.05819 0.6948 1.399 0.7068 json
t14_x25_u2_b47 14 25 2 47 frc(pow(div(R,R),D)) 68372 114698888 o1(o2(o2(x,x),x)) true 34983 34983 0.006164 0.1236 0.006164 0.001245 0.03528 0 0.6715 0.6715 1 0.2749 0.0007506 0.00001731 0.005562 0.9549 1 -0.00001078 0.001675 0.007505 0.0007366 0.02714 4.879 0.6715 0.6169 1.346 1 1 0.0004746 0.0009705 0.001646 0.3812 0.7796 1.322 json
t14_x25_u2_b48 14 25 2 48 frc(pow(pow(R,R),D)) 68373 114698889 o1(o2(o2(x,x),x)) true 34991 34991 -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
t14_x25_u2_b49 14 25 2 49 frc(pow(mod(R,R),D)) 68374 114698890 o1(o2(o2(x,x),x)) true 34999 34999 -0.9901 0.007813 0.9943 0.01298 0.1139 -1 0.9707 1.971 1 0.0929 0.001717 0.0006704 0.002229 0.4383 1 4.881e-11 0.004875 0.003752 0.002379 0.04878 21.88 1.971 0.1839 0.3755 1 1 0.004231 0.01777 0.04744 0.3259 1.369 3.655 json
t14_x25_u2_b50 14 25 2 50 frc(pow(lrg(R,R),D)) 68375 114698891 o1(o2(o2(x,x),x)) true 35007 35007 -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
t14_x25_u2_b51 14 25 2 51 frc(pow(eql(R,R),D)) 68376 114698892 o1(o2(o2(x,x),x)) true 35015 35015 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
t14_x25_u2_b52 14 25 2 52 frc(pow(min(R,R),D)) 68377 114698893 o1(o2(o2(x,x),x)) true 35023 35023 -0.9349 0.04297 0.9792 0.09895 0.3146 -1 0.9979 1.998 1 0.4246 0.01068 0.009812 0.01566 0.04253 1 0.00001213 0.04281 0.02668 0.02025 0.1423 9.086 1.998 0.2071 0.4327 1 1 0.01504 0.06583 0.1605 0.152 0.6652 1.622 json
t14_x25_u2_b53 14 25 2 53 frc(pow(dot(R,R),D)) 68378 114698894 o1(o2(o2(x,x),x)) true 35031 35031 0.5168 1 0.5168 0.1011 0.3179 0.0005716 0.9995 0.9989 1 3.958 0.0485 0.001374 0.1089 0.9449 1 -0.00000786 0.1008 0.1234 0.03801 0.195 1.79 0.9989 0.4934 0.9973 1 1 0.05065 0.1715 0.2024 0.501 1.696 2.002 json
t14_x25_u2_b54 14 25 2 54 frc(pow(dst(R,R),D)) 68379 114698895 o1(o2(o2(x,x),x)) true 35039 35039 -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
t14_x25_u2_b55 14 25 2 55 frc(mod(add(R,R),D)) 68380 114698896 o1(o2(o2(x,x),x)) true 35047 35047 0.5127 1 0.5127 0.09864 0.3141 0.0002569 0.9996 0.9994 1 3.965 0.009232 0.001555 0.08292 0.7117 1 -0.000009106 0.02218 0.1099 0.003912 0.06254 0.7543 0.5095 0.1094 0.2249 1 1 0.01077 0.08701 0.1871 0.1092 0.8821 1.897 json
t14_x25_u2_b56 14 25 2 56 frc(mod(sub(R,R),D)) 68381 114698897 o1(o2(o2(x,x),x)) true 35055 35055 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
t14_x25_u2_b57 14 25 2 57 frc(mod(mlt(R,R),D)) 68382 114698898 o1(o2(o2(x,x),x)) true 35063 35063 0.1072 0.9998 0.1072 0.006866 0.08286 0.00005887 0.467 0.4669 1 2.177 0.004738 0.0000577 0.04649 0.9759 1 -0.0002391 0.01188 0.07081 0.002634 0.05132 1.104 0.2985 0.6985 1.731 1 1 0.003828 0.01101 0.007542 0.5575 1.604 1.099 json
t14_x25_u2_b58 14 25 2 58 frc(mod(div(R,R),D)) 68383 114698899 o1(o2(o2(x,x),x)) true 35071 35071 0.1577 0.9201 0.1577 0.01062 0.103 0.000009095 0.3195 0.3195 1 2.5 0.004373 2.104e-7 0.04913 0.9999 1 -0.00002045 0.008378 0.07126 0.001959 0.04426 0.9008 0.1459 0.4119 0.7891 1 1 0.004524 0.01989 0.00003177 0.4261 1.873 0.002993 json
t14_x25_u2_b59 14 25 2 59 frc(mod(pow(R,R),D)) 68384 114698900 o1(o2(o2(x,x),x)) true 35079 35079 -0.9515 0.04297 0.9626 0.0528 0.2298 -1 0.3612 1.361 1 0.3554 0.004679 0.005299 0.01157 -0.06217 1 -0.00004896 0.02085 0.02206 0.009837 0.09918 8.57 1.437 0.189 0.395 1 1 0.007671 0.03533 0.08867 0.1453 0.6693 1.679 json
t14_x25_u2_b60 14 25 2 60 frc(mod(mod(R,R),D)) 68385 114698901 o1(o2(o2(x,x),x)) true 35087 35087 0.1219 0.5422 0.1219 0.05661 0.2379 0 0.9985 0.9985 1 1.966 0.002397 0.0006948 0.02813 0.5505 1 0.00004093 0.004286 0.02659 0.0023 0.04796 1.705 0.5032 0.05461 0.0757 1 1 0.005132 0.05084 0.1223 0.09066 0.898 2.161 json
t14_x25_u2_b61 14 25 2 61 frc(mod(lrg(R,R),D)) 68386 114698902 o1(o2(o2(x,x),x)) true 35095 35095 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
t14_x25_u2_b62 14 25 2 62 frc(mod(eql(R,R),D)) 68387 114698903 o1(o2(o2(x,x),x)) true 35103 35103 0.1568 0.875 0.1568 0.01087 0.1043 0.000009095 0.3195 0.3195 1 2.5 0.004456 0 0.04994 1 1 -0.00002039 0.00854 0.07294 0.001963 0.0443 0.8871 0.1459 0.41 0.7858 1 1 0.004628 0.02035 0 0.4258 1.873 0 json
t14_x25_u2_b63 14 25 2 63 frc(mod(min(R,R),D)) 68388 114698904 o1(o2(o2(x,x),x)) true 35111 35111 0.5114 1 0.5114 0.1002 0.3166 0.000133 0.9993 0.9991 1 3.962 0.00821 0.001578 0.07626 0.6775 1 -8.694e-7 0.01828 0.09885 0.003973 0.06303 0.8265 0.5032 0.09768 0.1824 1 1 0.01081 0.08794 0.1884 0.1079 0.8776 1.88 json
t14_x25_u2_b64 14 25 2 64 frc(mod(dot(R,R),D)) 68389 114698905 o1(o2(o2(x,x),x)) true 35119 35119 0.1413 1 0.1413 0.01027 0.1014 0.0001428 0.4895 0.4893 1 2.507 0.008892 0.00005524 0.06984 0.9877 1 -0.0003842 0.02384 0.1143 0.004069 0.06379 0.9134 0.3489 0.8708 2.32 1 1 0.006079 0.01825 0.007263 0.5917 1.776 0.7069 json
t14_x25_u2_b65 14 25 2 65 frc(mod(dst(R,R),D)) 68390 114698906 o1(o2(o2(x,x),x)) true 35127 35127 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
t14_x25_u2_b66 14 25 2 66 frc(lrg(add(R,R),D)) 68391 114698907 o1(o2(o2(x,x),x)) true 35135 35135 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
t14_x25_u2_b67 14 25 2 67 frc(lrg(sub(R,R),D)) 68392 114698908 o1(o2(o2(x,x),x)) true 35143 35143 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
t14_x25_u2_b68 14 25 2 68 frc(lrg(mlt(R,R),D)) 68393 114698909 o1(o2(o2(x,x),x)) true 35151 35151 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
t14_x25_u2_b69 14 25 2 69 frc(lrg(div(R,R),D)) 68394 114698910 o1(o2(o2(x,x),x)) true 35159 35159 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
t14_x25_u2_b70 14 25 2 70 frc(lrg(pow(R,R),D)) 68395 114698911 o1(o2(o2(x,x),x)) true 35167 35167 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
t14_x25_u2_b71 14 25 2 71 frc(lrg(mod(R,R),D)) 68396 114698912 o1(o2(o2(x,x),x)) true 35175 35175 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
t14_x25_u2_b72 14 25 2 72 frc(lrg(lrg(R,R),D)) 68397 114698913 o1(o2(o2(x,x),x)) true 35183 35183 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
t14_x25_u2_b73 14 25 2 73 frc(lrg(eql(R,R),D)) 68398 114698914 o1(o2(o2(x,x),x)) true 35191 35191 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
t14_x25_u2_b74 14 25 2 74 frc(lrg(min(R,R),D)) 68399 114698915 o1(o2(o2(x,x),x)) true 35199 35199 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