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_x10_u1_b101 14 10 1 101 log(dot(mlt(D,P),D)) 55600 114092726 o1(o2(o2(x,x),x)) true 103767 103767 -0.8043 0.1001 0.8878 0.2072 0.4552 -1 1 2 1 1.659 0.01428 0.01428 0.06367 -0.000001304 1 -0.0004637 0.041 0.0533 0.0245 0.1565 2.458 2.255 0.1378 0.1979 1 1 0.02915 0.1375 0.04717 0.1406 0.6633 0.2276 json
t14_x10_u1_b102 14 10 1 102 log(dot(div(D,P),D)) 55601 114092727 o1(o2(o2(x,x),x)) true 103775 103775 -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_x10_u1_b103 14 10 1 103 log(dot(pow(D,P),D)) 55602 114092728 o1(o2(o2(x,x),x)) true 103783 103783 -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_x10_u1_b104 14 10 1 104 log(dot(mod(D,P),D)) 55603 114092729 o1(o2(o2(x,x),x)) true 103791 103791 -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_x10_u1_b105 14 10 1 105 log(dot(lrg(D,P),D)) 55604 114092730 o1(o2(o2(x,x),x)) true 103799 103799 -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_x10_u1_b106 14 10 1 106 log(dot(eql(D,P),D)) 55605 114092731 o1(o2(o2(x,x),x)) true 103807 103807 -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_x10_u1_b107 14 10 1 107 log(dot(min(D,P),D)) 55606 114092732 o1(o2(o2(x,x),x)) true 103815 103815 -0.9961 0 0.9961 0.0007776 0.02789 -1 -0.7078 0.2922 1 0.1559 0.0001863 0.0001863 0.003308 -0.000001953 1 0 0.0004119 0.003955 0.0003616 0.01902 5.748 0.1643 0.4791 0.5297 1 1 0.0005425 0.001498 0.0002937 0.6976 1.927 0.3777 json
t14_x10_u1_b108 14 10 1 108 log(dot(dot(D,P),D)) 55607 114092733 o1(o2(o2(x,x),x)) true 103823 103823 -0.9377 0.02972 0.9565 0.06467 0.2543 -1 0.8205 1.821 1 0.7027 0.01186 0.01186 0.03416 -7.067e-7 1 -0.0001196 0.05211 0.04697 0.02256 0.1502 4.397 2.296 0.3668 0.8058 1 1 0.01972 0.07641 0.02518 0.3049 1.182 0.3894 json
t14_x10_u1_b109 14 10 1 109 log(dot(dst(D,P),D)) 55608 114092734 o1(o2(o2(x,x),x)) true 103831 103831 -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_x10_u1_b110 14 10 1 110 log(dst(add(D,P),D)) 55609 114092735 o1(o2(o2(x,x),x)) true 103839 103839 0.944 0.9844 0.9752 0.07239 0.2691 -1 1 2 1 0.7009 0.001465 0.001465 0.005009 -7.548e-7 1 4.881e-11 0.005843 0.005405 0.002907 0.05392 10.76 1.904 0.04048 0.08071 1 1 0.005375 0.02798 0.1918 0.07424 0.3866 2.649 json
t14_x10_u1_b111 14 10 1 111 log(dst(sub(D,P),D)) 55610 114092736 o1(o2(o2(x,x),x)) true 103847 103847 0.944 0.9844 0.9752 0.07239 0.2691 -1 1 2 1 0.7009 0.001465 0.001465 0.005009 -7.548e-7 1 4.881e-11 0.005843 0.005405 0.002907 0.05392 10.76 1.904 0.04048 0.08071 1 1 0.005375 0.02798 0.1918 0.07424 0.3866 2.649 json
t14_x10_u1_b112 14 10 1 112 log(dst(mlt(D,P),D)) 55611 114092737 o1(o2(o2(x,x),x)) true 103855 103855 0.3364 0.7173 0.6595 0.4312 0.6567 -1 1 2 1 4.247 0.02709 0.02709 0.1699 0.000008904 1 -0.004881 0.02357 0.08115 0.02531 0.1591 0.9364 1.104 0.1256 0.05466 1 1 0.08726 0.5039 0.1485 0.2023 1.168 0.3444 json
t14_x10_u1_b113 14 10 1 113 log(dst(div(D,P),D)) 55612 114092738 o1(o2(o2(x,x),x)) true 103863 103863 -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_x10_u1_b114 14 10 1 114 log(dst(pow(D,P),D)) 55613 114092739 o1(o2(o2(x,x),x)) true 103871 103871 -0.9926 0.003906 0.9996 0.01414 0.1189 -1 1 2 1 0.04416 0.001827 0.001827 0.001975 0 1 3.004e-11 0.007739 0.003863 0.003648 0.0604 30.58 2.22 0.2584 0.5472 1 1 0.006451 0.02593 0.05153 0.4562 1.833 3.644 json
t14_x10_u1_b115 14 10 1 115 log(dst(mod(D,P),D)) 55614 114092740 o1(o2(o2(x,x),x)) true 103879 103879 -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_x10_u1_b116 14 10 1 116 log(dst(lrg(D,P),D)) 55615 114092741 o1(o2(o2(x,x),x)) true 103887 103887 -0.1294 0.4741 0.3292 0.1837 0.4286 -1 0.4902 1.49 1 4.24 0.004127 0.004127 0.05557 -0.00001089 1 0.0001114 0.01085 0.03237 0.005165 0.07187 1.293 1.37 0.04494 0.05909 1 1 0.0128 0.06297 0.06661 0.06969 0.3429 0.3627 json
t14_x10_u1_b117 14 10 1 117 log(dst(eql(D,P),D)) 55616 114092742 o1(o2(o2(x,x),x)) true 103895 103895 0.1011 1 0.1011 0.002679 0.05176 0.001168 0.2007 0.1996 1 1.758 0.0002079 0.0002079 0.01938 0.00000378 1 -0.0001915 0.00006473 0.00676 0.00004037 0.006353 0.3279 0.02995 0.1552 0.02416 1 1 0.0007966 0.005299 0 0.2973 1.978 0 json
t14_x10_u1_b118 14 10 1 118 log(dst(min(D,P),D)) 55617 114092743 o1(o2(o2(x,x),x)) true 103903 103903 0.3013 0.6559 0.9395 0.8296 0.9108 -1 1 2 1 1.772 0.002517 0.002517 0.01115 0.000002637 1 -1.119e-9 0.009671 0.01155 0.004908 0.07006 6.285 1.408 0.006067 0.01166 1 1 0.007365 0.0371 0.292 0.008878 0.04473 0.352 json
t14_x10_u1_b119 14 10 1 119 log(dst(dot(D,P),D)) 55618 114092744 o1(o2(o2(x,x),x)) true 103911 103911 0.554 0.8131 0.7569 0.3669 0.6058 -1 1 2 1 3.453 0.06355 0.06355 0.223 0.000001817 1 -0.004101 0.1801 0.2046 0.07738 0.2782 1.248 1.753 0.3463 0.4907 1 1 0.1785 0.7127 0.1918 0.4865 1.942 0.5227 json
t14_x10_u1_b120 14 10 1 120 log(dst(dst(D,P),D)) 55619 114092745 o1(o2(o2(x,x),x)) true 103919 103919 0.9904 0.9982 0.9923 0.007183 0.08475 -1 1 2 1 0.254 0.0001893 0.0001893 0.002694 1.922e-7 1 -1.239e-10 0.0001004 0.001059 0.0003715 0.01928 7.156 0.399 0.05271 0.01398 1 1 0.001266 0.0121 0.02477 0.1763 1.685 3.449 json
t14_x10_u2_b0 14 10 2 0 frc(add(add(D,P),D)) 55620 114092826 o1(o2(o2(x,x),x)) true 103927 103927 0.5 1 0.5 0.08203 0.2864 0.0625 0.9375 0.875 1 3 0.1079 0 0.2173 1 1 0 0.246 0.246 0.0607 0.2464 1.134 0.875 1.315 2.999 1 1 0.09309 0 0 1.135 0 0 json
t14_x10_u2_b1 14 10 2 1 frc(add(sub(D,P),D)) 55621 114092827 o1(o2(o2(x,x),x)) true 103935 103935 0.5 1 0.5 0.08203 0.2864 0.0625 0.9375 0.875 1 3 0.1079 0 0.2173 1 1 0 0.246 0.246 0.0607 0.2464 1.134 0.875 1.315 2.999 1 1 0.09309 0 0 1.135 0 0 json
t14_x10_u2_b2 14 10 2 2 frc(add(mlt(D,P),D)) 55622 114092828 o1(o2(o2(x,x),x)) true 103943 103943 0.4681 0.9922 0.4681 0.0662 0.2573 0.000009095 0.9685 0.9685 1 3.928 0.1194 0 0.2758 1 1 -0.003882 0.358 0.4315 0.04338 0.2083 0.7552 0.9372 1.804 5.407 1 1 0.06417 0.05452 0.06952 0.9693 0.8235 1.05 json
t14_x10_u2_b3 14 10 2 3 frc(add(div(D,P),D)) 55623 114092829 o1(o2(o2(x,x),x)) true 103951 103951 0.2921 0.875 0.5421 0.3149 0.5612 -1 0.9843 1.984 1 4.022 0.05473 0 0.1061 1 1 0.000008628 0.1144 0.1241 0.04347 0.2085 1.965 1.063 0.1738 0.3633 1 1 0.05295 0.1561 0.3623 0.1681 0.4958 1.151 json
t14_x10_u2_b4 14 10 2 4 frc(add(pow(D,P),D)) 55624 114092830 o1(o2(o2(x,x),x)) true 103959 103959 -0.8987 0.0625 0.9763 0.1574 0.3967 -1 0.9685 1.968 1 0.5345 0.02403 0 0.02304 1 1 -9.461e-10 0.04674 0.0366 0.02349 0.1533 6.652 1.968 0.1527 0.297 1 1 0.03274 0.115 0.2257 0.2081 0.7306 1.435 json
t14_x10_u2_b5 14 10 2 5 frc(add(mod(D,P),D)) 55625 114092831 o1(o2(o2(x,x),x)) true 103967 103967 0.3125 0.875 0.5625 0.3179 0.5638 -1 0.9375 1.938 1 3.169 0.1103 0 0.1979 1 1 0 0.2461 0.2302 0.07119 0.2668 1.348 1.938 0.3471 0.7742 1 1 0.09955 0.09819 0.3928 0.3132 0.3089 1.236 json
t14_x10_u2_b6 14 10 2 6 frc(add(lrg(D,P),D)) 55626 114092832 o1(o2(o2(x,x),x)) true 103975 103975 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_x10_u2_b7 14 10 2 7 frc(add(eql(D,P),D)) 55627 114092833 o1(o2(o2(x,x),x)) true 103983 103983 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_x10_u2_b8 14 10 2 8 frc(add(min(D,P),D)) 55628 114092834 o1(o2(o2(x,x),x)) true 103991 103991 0.4918 1 0.4918 0.08051 0.2837 0.03125 0.9688 0.9375 1 3.842 0.08018 0 0.1656 1 1 0.000248 0.1786 0.1837 0.05276 0.2297 1.387 0.9375 0.9959 2.219 1 1 0.07081 0.05504 0.004365 0.8795 0.6837 0.05421 json
t14_x10_u2_b9 14 10 2 9 frc(add(dot(D,P),D)) 55629 114092835 o1(o2(o2(x,x),x)) true 103999 103999 0.4834 0.9991 0.4834 0.04261 0.2064 0.00001819 0.9682 0.9682 1 3.724 0.08248 0.08244 0.3478 0.0002432 1 -0.0005017 0.8192 0.697 0.04393 0.2096 0.6025 1.326 3.87 19.22 1 1 0.09011 0.06865 0.0914 2.115 1.611 2.145 json
t14_x10_u2_b10 14 10 2 10 frc(add(dst(D,P),D)) 55630 114092836 o1(o2(o2(x,x),x)) true 104007 104007 0.4647 1 0.4647 0.05696 0.2387 0.000129 0.9956 0.9955 1 3.886 0.03573 0.02372 0.1437 0.202 1 -0.0002151 0.2059 0.1958 0.03882 0.197 1.372 1.375 1.044 3.615 1 1 0.05468 0.0969 0.08471 0.9601 1.701 1.487 json
t14_x10_u2_b11 14 10 2 11 frc(sub(add(D,P),D)) 55631 114092837 o1(o2(o2(x,x),x)) true 104015 104015 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_x10_u2_b12 14 10 2 12 frc(sub(sub(D,P),D)) 55632 114092838 o1(o2(o2(x,x),x)) true 104023 104023 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_x10_u2_b13 14 10 2 13 frc(sub(mlt(D,P),D)) 55633 114092839 o1(o2(o2(x,x),x)) true 104031 104031 0.4681 0.9922 0.4681 0.0662 0.2573 0.000009095 0.9685 0.9685 1 3.928 0.1198 0 0.2762 1 1 -0.003882 0.358 0.4315 0.04353 0.2086 0.7555 0.9372 1.809 5.407 1 1 0.06549 0.0542 0.06877 0.9892 0.8187 1.039 json
t14_x10_u2_b14 14 10 2 14 frc(sub(div(D,P),D)) 55634 114092840 o1(o2(o2(x,x),x)) true 104039 104039 0.2921 0.875 0.5421 0.3149 0.5612 -1 0.9843 1.984 1 4.022 0.05473 0 0.1061 1 1 0.000008627 0.1144 0.1241 0.04347 0.2085 1.965 1.063 0.1738 0.3633 1 1 0.05312 0.1575 0.3623 0.1687 0.5003 1.15 json
t14_x10_u2_b15 14 10 2 15 frc(sub(pow(D,P),D)) 55635 114092841 o1(o2(o2(x,x),x)) true 104047 104047 -0.9141 0.0625 0.9609 0.1138 0.3373 -1 0.9688 1.969 1 0.5375 0.02242 0 0.02281 1 1 0 0.05216 0.0393 0.02191 0.148 6.489 1.969 0.197 0.4583 1 1 0.02489 0.08419 0.1633 0.2188 0.7398 1.435 json
t14_x10_u2_b16 14 10 2 16 frc(sub(mod(D,P),D)) 55636 114092842 o1(o2(o2(x,x),x)) true 104055 104055 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_x10_u2_b17 14 10 2 17 frc(sub(lrg(D,P),D)) 55637 114092843 o1(o2(o2(x,x),x)) true 104063 104063 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_x10_u2_b18 14 10 2 18 frc(sub(eql(D,P),D)) 55638 114092844 o1(o2(o2(x,x),x)) true 104071 104071 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_x10_u2_b19 14 10 2 19 frc(sub(min(D,P),D)) 55639 114092845 o1(o2(o2(x,x),x)) true 104079 104079 0.2634 0.5547 0.2634 0.1068 0.3268 0 0.9688 0.9688 1 2.934 0.0304 0 0.06312 1 1 0.000248 0.06361 0.06474 0.02643 0.1626 2.576 0.9685 0.2847 0.5958 1 1 0.02927 0.07454 0.02302 0.2741 0.6982 0.2156 json
t14_x10_u2_b20 14 10 2 20 frc(sub(dot(D,P),D)) 55640 114092846 o1(o2(o2(x,x),x)) true 104087 104087 0.4834 0.9991 0.4834 0.04261 0.2064 0.00001819 0.9682 0.9682 1 3.724 0.0825 0.08244 0.3479 0.0003994 1 -0.0005017 0.8191 0.697 0.04392 0.2096 0.6024 1.326 3.87 19.22 1 1 0.09054 0.06863 0.09172 2.125 1.611 2.152 json
t14_x10_u2_b21 14 10 2 21 frc(sub(dst(D,P),D)) 55641 114092847 o1(o2(o2(x,x),x)) true 104095 104095 0.4647 1 0.4647 0.05696 0.2387 0.000129 0.9956 0.9955 1 3.886 0.03589 0.02372 0.144 0.2041 1 -0.0002151 0.2059 0.1958 0.03887 0.1972 1.369 1.367 1.047 3.615 1 1 0.05528 0.09705 0.08598 0.9705 1.704 1.509 json
t14_x10_u2_b22 14 10 2 22 frc(mlt(add(D,P),D)) 55642 114092848 o1(o2(o2(x,x),x)) true 104103 104103 0.4882 1 0.4882 0.0644 0.2538 0.001259 0.9697 0.9685 1 3.928 0.1178 0 0.2739 1 1 -0.004061 0.3538 0.4313 0.04276 0.2068 0.755 0.9375 1.829 5.494 1 1 0.06596 0.07934 0.06715 1.024 1.232 1.043 json
t14_x10_u2_b23 14 10 2 23 frc(mlt(sub(D,P),D)) 55643 114092849 o1(o2(o2(x,x),x)) true 104111 104111 0.4882 1 0.4882 0.07151 0.2674 0.00124 0.9697 0.9685 1 3.923 0.1314 0 0.2921 1 1 0.003703 0.3975 0.465 0.04608 0.2147 0.735 0.9372 1.837 5.558 1 1 0.06913 0.07317 0.07534 0.9667 1.023 1.054 json
t14_x10_u2_b24 14 10 2 24 frc(mlt(mlt(D,P),D)) 55644 114092850 o1(o2(o2(x,x),x)) true 104119 104119 0.4688 0.9961 0.4688 0.1122 0.335 0.00001791 0.9988 0.9988 1 3.844 0.03381 0 0.1202 1 1 -3.783e-9 0.08312 0.1583 0.01936 0.1392 1.158 0.6302 0.3013 0.7406 1 1 0.02212 0.0835 0.06494 0.1971 0.7441 0.5786 json
t14_x10_u2_b25 14 10 2 25 frc(mlt(div(D,P),D)) 55645 114092851 o1(o2(o2(x,x),x)) true 104127 104127 0.3125 0.875 0.5625 0.4354 0.6599 -1 0.9998 2 1 2.149 0.01998 0 0.02031 1 1 -9.461e-9 0.03977 0.02717 0.01957 0.1399 6.887 1.999 0.04589 0.09133 1 1 0.02661 0.1041 0.4112 0.06111 0.2392 0.9444 json
t14_x10_u2_b26 14 10 2 26 frc(mlt(pow(D,P),D)) 55646 114092852 o1(o2(o2(x,x),x)) true 104135 104135 -0.9152 0.05859 0.9598 0.1152 0.3394 -1 0.9685 1.968 1 0.5419 0.01968 0 0.01562 1 1 4.731e-10 0.03978 0.02443 0.01944 0.1394 8.924 1.968 0.1709 0.3454 1 1 0.02582 0.09045 0.1649 0.2242 0.7852 1.431 json
t14_x10_u2_b27 14 10 2 27 frc(mlt(mod(D,P),D)) 55647 114092853 o1(o2(o2(x,x),x)) true 104143 104143 -0.02084 0.875 0.2291 0.144 0.3795 -1 0.2473 1.247 1 2.128 0.009049 0 0.03506 1 1 -0.0002405 0.01587 0.02675 0.007818 0.08842 2.522 1.001 0.06283 0.1102 1 1 0.01268 0.06562 0.2123 0.08807 0.4556 1.474 json
t14_x10_u2_b28 14 10 2 28 frc(mlt(lrg(D,P),D)) 55648 114092854 o1(o2(o2(x,x),x)) true 104151 104151 0.2366 0.5625 0.2366 0.09342 0.3057 0 0.9688 0.9688 1 2.908 0.02619 0 0.05579 1 1 -0.000248 0.05558 0.05705 0.02307 0.1519 2.722 0.9375 0.2803 0.5949 1 1 0.02343 0.05607 0.02302 0.2508 0.6002 0.2464 json
t14_x10_u2_b29 14 10 2 29 frc(mlt(eql(D,P),D)) 55649 114092855 o1(o2(o2(x,x),x)) true 104159 104159 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_x10_u2_b30 14 10 2 30 frc(mlt(min(D,P),D)) 55650 114092856 o1(o2(o2(x,x),x)) true 104167 104167 0.2944 1 0.2944 0.06935 0.2634 0.0002731 0.9687 0.9685 1 3.482 0.05944 0 0.1512 1 1 -0.00212 0.1772 0.2204 0.03659 0.1913 1.265 0.9375 0.8571 2.555 1 1 0.03258 0.03461 0.03248 0.4697 0.499 0.4684 json
t14_x10_u2_b31 14 10 2 31 frc(mlt(dot(D,P),D)) 55651 114092857 o1(o2(o2(x,x),x)) true 104175 104175 0.494 0.9999 0.494 0.07201 0.2684 0.00002672 0.9988 0.9988 1 3.97 0.07921 0.04326 0.2409 0.2935 1 5.293e-8 0.449 0.4238 0.06443 0.2538 1.054 1.411 1.701 6.234 1 1 0.093 0.1612 0.07706 1.291 2.239 1.07 json
t14_x10_u2_b32 14 10 2 32 frc(mlt(dst(D,P),D)) 55652 114092858 o1(o2(o2(x,x),x)) true 104183 104183 0.5 1 0.5 0.05267 0.2295 0.001425 0.9986 0.9971 1 3.831 0.1382 0.005448 0.3326 0.9242 1 -4.102e-10 0.4853 0.574 0.03308 0.1819 0.5469 1.167 2.728 9.215 1 1 0.06896 0.07684 0.07128 1.309 1.459 1.353 json
t14_x10_u2_b33 14 10 2 33 frc(div(add(D,P),D)) 55653 114092859 o1(o2(o2(x,x),x)) true 104191 104191 0.4356 0.9375 0.4356 0.08603 0.2933 0 0.9993 0.9993 1 3.806 0.1581 0 0.301 1 1 -0.0009359 0.4541 0.5267 0.06744 0.2597 0.8626 0.999 1.837 5.278 1 1 0.08996 0.09399 0.04493 1.046 1.092 0.5223 json
t14_x10_u2_b34 14 10 2 34 frc(div(sub(D,P),D)) 55654 114092860 o1(o2(o2(x,x),x)) true 104199 104199 0.4188 0.9297 0.4188 0.08627 0.2937 0 0.9985 0.9985 1 3.792 0.1668 0 0.3097 1 1 0.000936 0.4754 0.5457 0.07087 0.2662 0.8595 0.9982 1.934 5.511 1 1 0.1011 0.09815 0.05058 1.172 1.138 0.5863 json
t14_x10_u2_b35 14 10 2 35 frc(div(mlt(D,P),D)) 55655 114092861 o1(o2(o2(x,x),x)) true 104207 104207 0.1846 0.2344 0.1846 0.1188 0.3447 0 0.9929 0.9929 1 1.254 0.2445 0 0.2735 1 1 0.00394 0.815 0.5422 0.1698 0.412 1.506 0.9929 2.058 6.861 1 1 0.07796 0.07979 0.02745 0.6563 0.6717 0.2311 json
t14_x10_u2_b36 14 10 2 36 frc(div(div(D,P),D)) 55656 114092862 o1(o2(o2(x,x),x)) true 104215 104215 0.2936 0.875 0.5436 0.3115 0.5581 -1 0.9964 1.996 1 3.571 0.02568 0 0.03418 1 1 -5.203e-9 0.0654 0.04957 0.02451 0.1566 4.581 1 0.08243 0.2099 1 1 0.02475 0.08174 0.3694 0.07944 0.2624 1.186 json
t14_x10_u2_b37 14 10 2 37 frc(div(pow(D,P),D)) 55657 114092863 o1(o2(o2(x,x),x)) true 104223 104223 -0.9078 0.05859 0.9672 0.1327 0.3643 -1 0.9557 1.956 1 0.5482 0.01433 0 0.02425 1 1 0 0.01912 0.03052 0.01375 0.1173 4.834 1 0.108 0.1441 1 1 0.02533 0.0993 0.1904 0.1908 0.7482 1.434 json
t14_x10_u2_b38 14 10 2 38 frc(div(mod(D,P),D)) 55658 114092864 o1(o2(o2(x,x),x)) true 104231 104231 0.2195 0.4375 0.4695 0.362 0.6017 -1 0.9929 1.993 1 2.294 0.4578 0 0.5098 1 1 0.00788 1.516 1.004 0.1976 0.4446 0.8721 1 1.264 4.186 1 1 0.1565 0.2147 0.3559 0.4323 0.5931 0.9832 json
t14_x10_u2_b39 14 10 2 39 frc(div(lrg(D,P),D)) 55659 114092865 o1(o2(o2(x,x),x)) true 104239 104239 0.2223 0.5195 0.2223 0.07713 0.2777 0 0.8736 0.8736 1 2.425 0.05847 0 0.1428 1 1 0.001016 0.1538 0.2332 0.03808 0.1951 1.367 0.7472 0.758 1.994 1 1 0.03954 0.03428 0.01617 0.5126 0.4445 0.2097 json
t14_x10_u2_b40 14 10 2 40 frc(div(eql(D,P),D)) 55660 114092866 o1(o2(o2(x,x),x)) true 104247 104247 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_x10_u2_b41 14 10 2 41 frc(div(min(D,P),D)) 55661 114092867 o1(o2(o2(x,x),x)) true 104255 104255 0.4023 0.7031 0.4023 0.1288 0.3588 0 0.9993 0.9993 1 3.28 0.3236 0 0.4237 1 1 0.003472 1.042 0.8054 0.1439 0.3794 0.8953 0.999 2.513 8.093 1 1 0.1224 0.1292 0.03604 0.951 1.004 0.2799 json
t14_x10_u2_b42 14 10 2 42 frc(div(dot(D,P),D)) 55662 114092868 o1(o2(o2(x,x),x)) true 104263 104263 0.3855 0.9541 0.3855 0.07633 0.2763 0 0.9992 0.9992 1 3.74 0.1383 0.08185 0.3864 0.2563 1 0.00187 0.9867 0.7791 0.07081 0.2661 0.6887 1.412 2.884 12.93 1 1 0.1097 0.1268 0.05037 1.437 1.661 0.6599 json
t14_x10_u2_b43 14 10 2 43 frc(div(dst(D,P),D)) 55663 114092869 o1(o2(o2(x,x),x)) true 104271 104271 0.5 1 0.5 0.05297 0.2302 0.002016 0.998 0.996 1 3.862 0.1055 0.0856 0.3719 0.1042 1 -5.857e-10 0.8973 0.7429 0.05278 0.2297 0.6177 1.239 3.608 16.94 1 1 0.1064 0.1035 0.09565 2.008 1.953 1.806 json
t14_x10_u2_b44 14 10 2 44 frc(pow(add(D,P),D)) 55664 114092870 o1(o2(o2(x,x),x)) true 104279 104279 -0.2434 0.5 0.7566 0.6102 0.7811 -1 0.979 1.979 1 2.963 0.044 0 0.08377 1 1 0.0003886 0.09792 0.109 0.03697 0.1923 2.295 1.897 0.0721 0.1605 1 1 0.04231 0.1099 0.2109 0.06933 0.1801 0.3457 json
t14_x10_u2_b45 14 10 2 45 frc(pow(sub(D,P),D)) 55665 114092871 o1(o2(o2(x,x),x)) true 104287 104287 -0.3396 0.4375 0.7854 0.5944 0.771 -1 0.979 1.979 1 2.722 0.03605 0 0.08136 1 1 -0.0006609 0.08369 0.1142 0.02942 0.1715 2.108 1.001 0.06064 0.1408 1 1 0.029 0.06088 0.1904 0.04879 0.1024 0.3203 json
t14_x10_u2_b46 14 10 2 46 frc(pow(mlt(D,P),D)) 55666 114092872 o1(o2(o2(x,x),x)) true 104295 104295 -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_x10_u2_b47 14 10 2 47 frc(pow(div(D,P),D)) 55667 114092873 o1(o2(o2(x,x),x)) true 104303 104303 -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_x10_u2_b48 14 10 2 48 frc(pow(pow(D,P),D)) 55668 114092874 o1(o2(o2(x,x),x)) true 104311 104311 -0.9269 0.05859 0.9481 0.08145 0.2854 -1 0.369 1.369 1 0.4843 0.009066 0 0.01087 1 1 1.419e-9 0.01672 0.01727 0.00895 0.09461 8.707 1.114 0.1113 0.2052 1 1 0.01296 0.05998 0.1169 0.1591 0.7364 1.436 json
t14_x10_u2_b49 14 10 2 49 frc(pow(mod(D,P),D)) 55669 114092875 o1(o2(o2(x,x),x)) true 104319 104319 -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_x10_u2_b50 14 10 2 50 frc(pow(lrg(D,P),D)) 55670 114092876 o1(o2(o2(x,x),x)) true 104327 104327 -0.5625 0 0.5625 0.2461 0.4961 -1 0 1 1 0.9887 0.003968 0 0.003968 1 1 0 0.007937 0.007937 0.003952 0.06287 15.84 1 0.01612 0.03225 1 1 0.005263 0.02105 0.08421 0.02139 0.08555 0.3422 json
t14_x10_u2_b51 14 10 2 51 frc(pow(eql(D,P),D)) 55671 114092877 o1(o2(o2(x,x),x)) true 104335 104335 -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_x10_u2_b52 14 10 2 52 frc(pow(min(D,P),D)) 55672 114092878 o1(o2(o2(x,x),x)) true 104343 104343 -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_x10_u2_b53 14 10 2 53 frc(pow(dot(D,P),D)) 55673 114092879 o1(o2(o2(x,x),x)) true 104351 104351 -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_x10_u2_b54 14 10 2 54 frc(pow(dst(D,P),D)) 55674 114092880 o1(o2(o2(x,x),x)) true 104359 104359 0.5185 1 0.5185 0.06154 0.2481 0.0009922 0.999 0.998 1 3.911 0.07541 0.001427 0.1845 0.9629 1 -0.0002567 0.1878 0.252 0.0428 0.2069 1.121 1.41 1.249 3.052 1 1 0.06117 0.08235 0.02959 0.994 1.338 0.4808 json
t14_x10_u2_b55 14 10 2 55 frc(mod(add(D,P),D)) 55675 114092881 o1(o2(o2(x,x),x)) true 104367 104367 0.4149 0.9336 0.4149 0.1281 0.3579 0 0.9683 0.9683 1 3.481 0.08011 0 0.1444 1 1 -3.548e-9 0.2086 0.261 0.05927 0.2435 1.687 0.968 0.6254 1.629 1 1 0.05469 0.05639 0.04065 0.427 0.4402 0.3174 json
t14_x10_u2_b56 14 10 2 56 frc(mod(sub(D,P),D)) 55676 114092882 o1(o2(o2(x,x),x)) true 104375 104375 0.4149 0.9336 0.4149 0.1278 0.3575 0 0.9683 0.9683 1 3.481 0.08028 0 0.1443 1 1 -3.311e-9 0.2086 0.2606 0.05945 0.2438 1.69 0.968 0.6281 1.632 1 1 0.05947 0.06194 0.04403 0.4653 0.4846 0.3445 json
t14_x10_u2_b57 14 10 2 57 frc(mod(mlt(D,P),D)) 55677 114092883 o1(o2(o2(x,x),x)) true 104383 104383 0.1904 0.4688 0.1904 0.07308 0.2703 0 0.8998 0.8998 1 2.13 0.1809 0 0.2802 1 1 0.007141 0.6133 0.555 0.1024 0.32 1.142 0.8998 2.476 8.393 1 1 0.05597 0.07473 0.01428 0.7659 1.023 0.1954 json
t14_x10_u2_b58 14 10 2 58 frc(mod(div(D,P),D)) 55678 114092884 o1(o2(o2(x,x),x)) true 104391 104391 0.3168 0.875 0.5668 0.3564 0.597 -1 0.9958 1.996 1 3.801 0.06007 0 0.1155 1 1 0.0002166 0.1156 0.1364 0.04672 0.2161 1.871 1 0.1686 0.3242 1 1 0.0618 0.218 0.4 0.1734 0.6117 1.122 json
t14_x10_u2_b59 14 10 2 59 frc(mod(pow(D,P),D)) 55679 114092885 o1(o2(o2(x,x),x)) true 104399 104399 -0.9275 0.05469 0.9475 0.07962 0.2822 -1 0.3512 1.351 1 0.4906 0.008448 0 0.01217 1 1 9.461e-10 0.01622 0.02108 0.008302 0.09112 7.488 1 0.1061 0.2038 1 1 0.01165 0.05779 0.1143 0.1463 0.7258 1.435 json
t14_x10_u2_b60 14 10 2 60 frc(mod(mod(D,P),D)) 55680 114092886 o1(o2(o2(x,x),x)) true 104407 104407 0.04725 0.4375 0.2973 0.2197 0.4687 -1 0.8998 1.9 1 2.471 0.172 0 0.2624 1 1 0.00394 0.5591 0.51 0.1031 0.3211 1.224 1 0.7828 2.545 1 1 0.06404 0.1233 0.2534 0.2915 0.5613 1.153 json
t14_x10_u2_b61 14 10 2 61 frc(mod(lrg(D,P),D)) 55681 114092887 o1(o2(o2(x,x),x)) true 104415 104415 0.07839 0.4922 0.07839 0.0108 0.1039 0 0.3195 0.3195 1 1.957 0.00259 0 0.0284 1 1 -0.00001019 0.005333 0.04089 0.001783 0.04222 1.487 0.1721 0.2398 0.4939 1 1 0.002557 0.009426 0.001928 0.2368 0.873 0.1785 json
t14_x10_u2_b62 14 10 2 62 frc(mod(eql(D,P),D)) 55682 114092888 o1(o2(o2(x,x),x)) true 104423 104423 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_x10_u2_b63 14 10 2 63 frc(mod(min(D,P),D)) 55683 114092889 o1(o2(o2(x,x),x)) true 104431 104431 0.4382 0.7305 0.4382 0.1469 0.3833 0 0.9683 0.9683 1 3.063 0.167 0 0.249 1 1 0.003579 0.5028 0.4787 0.105 0.324 1.301 0.968 1.137 3.423 1 1 0.07943 0.08763 0.03795 0.5407 0.5965 0.2584 json
t14_x10_u2_b64 14 10 2 64 frc(mod(dot(D,P),D)) 55684 114092890 o1(o2(o2(x,x),x)) true 104439 104439 0.4094 0.9567 0.4094 0.08899 0.2983 0 0.9687 0.9687 1 3.824 0.1051 0.05035 0.2765 0.352 1 0.002207 0.6272 0.5525 0.07898 0.281 1.017 1.355 1.746 7.048 1 1 0.09726 0.1676 0.04553 1.093 1.883 0.5116 json
t14_x10_u2_b65 14 10 2 65 frc(mod(dst(D,P),D)) 55685 114092891 o1(o2(o2(x,x),x)) true 104447 104447 0.1426 0.9998 0.1426 0.0105 0.1025 0.00007832 0.4751 0.4751 1 2.522 0.008766 0.004569 0.09298 0.3147 1 -0.0002364 0.0528 0.1689 0.00469 0.06849 0.7366 0.5825 1.27 5.027 1 1 0.009389 0.02098 0.007079 0.894 1.997 0.674 json
t14_x10_u2_b66 14 10 2 66 frc(lrg(add(D,P),D)) 55686 114092892 o1(o2(o2(x,x),x)) true 104455 104455 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_x10_u2_b67 14 10 2 67 frc(lrg(sub(D,P),D)) 55687 114092893 o1(o2(o2(x,x),x)) true 104463 104463 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_x10_u2_b68 14 10 2 68 frc(lrg(mlt(D,P),D)) 55688 114092894 o1(o2(o2(x,x),x)) true 104471 104471 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_x10_u2_b69 14 10 2 69 frc(lrg(div(D,P),D)) 55689 114092895 o1(o2(o2(x,x),x)) true 104479 104479 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_x10_u2_b70 14 10 2 70 frc(lrg(pow(D,P),D)) 55690 114092896 o1(o2(o2(x,x),x)) true 104487 104487 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_x10_u2_b71 14 10 2 71 frc(lrg(mod(D,P),D)) 55691 114092897 o1(o2(o2(x,x),x)) true 104495 104495 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_x10_u2_b72 14 10 2 72 frc(lrg(lrg(D,P),D)) 55692 114092898 o1(o2(o2(x,x),x)) true 104503 104503 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_x10_u2_b73 14 10 2 73 frc(lrg(eql(D,P),D)) 55693 114092899 o1(o2(o2(x,x),x)) true 104511 104511 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_x10_u2_b74 14 10 2 74 frc(lrg(min(D,P),D)) 55694 114092900 o1(o2(o2(x,x),x)) true 104519 104519 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_x10_u2_b75 14 10 2 75 frc(lrg(dot(D,P),D)) 55695 114092901 o1(o2(o2(x,x),x)) true 104527 104527 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_x10_u2_b76 14 10 2 76 frc(lrg(dst(D,P),D)) 55696 114092902 o1(o2(o2(x,x),x)) true 104535 104535 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_x10_u2_b77 14 10 2 77 frc(eql(add(D,P),D)) 55697 114092903 o1(o2(o2(x,x),x)) true 104543 104543 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_x10_u2_b78 14 10 2 78 frc(eql(sub(D,P),D)) 55698 114092904 o1(o2(o2(x,x),x)) true 104551 104551 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_x10_u2_b79 14 10 2 79 frc(eql(mlt(D,P),D)) 55699 114092905 o1(o2(o2(x,x),x)) true 104559 104559 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