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
t19_x9_u1_b109 19 9 1 109 dot(D,dst(log(P),P)) 144500 154655338 o2(x,o2(o1(x),x)) true 36007 36007 -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
t19_x9_u1_b110 19 9 1 110 dst(D,add(log(P),P)) 144501 154655339 o2(x,o2(o1(x),x)) true 36015 36015 -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
t19_x9_u1_b111 19 9 1 111 dst(D,sub(log(P),P)) 144502 154655340 o2(x,o2(o1(x),x)) true 36023 36023 -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
t19_x9_u1_b112 19 9 1 112 dst(D,mlt(log(P),P)) 144503 154655341 o2(x,o2(o1(x),x)) true 36031 36031 -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
t19_x9_u1_b113 19 9 1 113 dst(D,div(log(P),P)) 144504 154655342 o2(x,o2(o1(x),x)) true 36039 36039 -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
t19_x9_u1_b114 19 9 1 114 dst(D,pow(log(P),P)) 144505 154655343 o2(x,o2(o1(x),x)) true 36047 36047 -0.5 0.25 1 0.75 0.866 -1 1 2 1 0.8113 0.007937 0.007937 0.007937 0 1 0 0.03187 0.01587 0.01581 0.1257 15.84 2 0.02116 0.0425 1 1 0.02105 0.08421 0.3368 0.02807 0.1123 0.4491 json
t19_x9_u1_b115 19 9 1 115 dst(D,mod(log(P),P)) 144506 154655344 o2(x,o2(o1(x),x)) true 36055 36055 -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
t19_x9_u1_b116 19 9 1 116 dst(D,lrg(log(P),P)) 144507 154655345 o2(x,o2(o1(x),x)) true 36063 36063 0.8256 1 0.8256 0.06774 0.2603 0.04419 1 0.9558 1 2.343 0.0007228 0.0007228 0.02439 -8.859e-7 1 -0.00009822 0.0003442 0.01075 0.000851 0.02917 1.196 0.09377 0.02134 0.005082 1 1 0.002895 0.02178 0.02846 0.04274 0.3215 0.4201 json
t19_x9_u1_b117 19 9 1 117 dst(D,eql(log(P),P)) 144508 154655346 o2(x,o2(o1(x),x)) true 36071 36071 0.4439 1 0.4439 0.02504 0.1582 0.04473 0.7026 0.6579 1 3.252 0.001981 0.001981 0.05914 2.938e-7 1 -0.0006857 0.0006739 0.01958 0.000465 0.02156 0.3646 0.09377 0.1583 0.02692 1 1 0.007608 0.05068 0 0.3039 2.024 0 json
t19_x9_u1_b118 19 9 1 118 dst(D,min(log(P),P)) 144509 154655347 o2(x,o2(o1(x),x)) true 36079 36079 -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
t19_x9_u1_b119 19 9 1 119 dst(D,dot(log(P),P)) 144510 154655348 o2(x,o2(o1(x),x)) true 36087 36087 -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
t19_x9_u1_b120 19 9 1 120 dst(D,dst(log(P),P)) 144511 154655349 o2(x,o2(o1(x),x)) true 36095 36095 -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
t19_x9_u2_b0 19 9 2 0 add(D,add(frc(P),P)) 144512 154655430 o2(x,o2(o1(x),x)) true 36103 36103 0 0.5 0.9375 0.9165 0.9574 -1 1 2 1 1.979 0.0004883 0 0.007937 1 1 0 0.0000155 0.000496 0.0004253 0.02062 2.598 0.0625 0.0005327 0.00001691 1 1 0.001285 0.01928 0.2245 0.001402 0.02104 0.245 json
t19_x9_u2_b1 19 9 2 1 add(D,sub(frc(P),P)) 144513 154655431 o2(x,o2(o1(x),x)) true 36111 36111 0 0.5 0.9375 0.9252 0.9619 -1 1 2 1 1.774 0.001323 0 0.01101 1 1 0 0.0002527 0.005079 0.001202 0.03468 3.15 0.1713 0.00143 0.0002731 1 1 0.003342 0.0331 0.2361 0.003612 0.03578 0.2552 json
t19_x9_u2_b2 19 9 2 2 add(D,mlt(frc(P),P)) 144514 154655432 o2(x,o2(o1(x),x)) true 36119 36119 0 0.5 0.09436 0.01082 0.104 -0.1454 0.1454 0.2908 1 2.561 0.001632 0 0.03609 1 1 0 0.0002563 0.01459 0.0003304 0.01818 0.5036 0.06192 0.1508 0.02368 1 1 0.003151 0.02183 5.236e-15 0.2912 2.017 4.838e-13 json
t19_x9_u2_b3 19 9 2 3 add(D,div(frc(P),P)) 144515 154655433 o2(x,o2(o1(x),x)) true 36127 36127 0 0.5 0.09436 0.01082 0.104 -0.1454 0.1454 0.2908 1 2.561 0.001632 0 0.03609 1 1 0 0.0002563 0.01459 0.0003304 0.01818 0.5036 0.06192 0.1508 0.02368 1 1 0.003151 0.02183 5.236e-15 0.2912 2.017 4.838e-13 json
t19_x9_u2_b4 19 9 2 4 add(D,pow(frc(P),P)) 144516 154655434 o2(x,o2(o1(x),x)) true 36135 36135 -0.4699 0.2617 0.5736 0.3113 0.5579 -1 1 2 1 2.463 0.01721 0 0.02849 1 1 0.0001582 0.03194 0.02384 0.0164 0.128 4.495 2 0.0553 0.1026 1 1 0.02399 0.1022 0.1587 0.07709 0.3283 0.51 json
t19_x9_u2_b5 19 9 2 5 add(D,mod(frc(P),P)) 144517 154655435 o2(x,o2(o1(x),x)) true 36143 36143 0 0.5 0.09436 0.01082 0.104 -0.1454 0.1454 0.2908 1 2.561 0.001632 0 0.03609 1 1 0 0.0002563 0.01459 0.0003304 0.01818 0.5036 0.06192 0.1508 0.02368 1 1 0.003151 0.02183 5.236e-15 0.2912 2.017 4.838e-13 json
t19_x9_u2_b6 19 9 2 6 add(D,lrg(frc(P),P)) 144518 154655436 o2(x,o2(o1(x),x)) true 36151 36151 0.447 0.7305 0.4964 0.2313 0.481 -0.1454 1 1.145 1 3.074 0.001765 0 0.03094 1 1 0.0001582 0.0003479 0.01481 0.0008082 0.02843 0.9188 0.1713 0.00763 0.001504 1 1 0.003752 0.02995 0.06962 0.01622 0.1295 0.3009 json
t19_x9_u2_b7 19 9 2 7 add(D,eql(frc(P),P)) 144519 154655437 o2(x,o2(o1(x),x)) true 36159 36159 0.0614 0.543 0.1462 0.05374 0.2318 -0.1454 1 1.145 1 3.075 0.002292 0 0.04018 1 1 9.461e-10 0.0003168 0.0146 0.0006788 0.02605 0.6483 0.1713 0.04265 0.005895 1 1 0.004861 0.04401 0.06323 0.09045 0.819 1.176 json
t19_x9_u2_b8 19 9 2 8 add(D,min(frc(P),P)) 144520 154655438 o2(x,o2(o1(x),x)) true 36167 36167 -0.4688 0.25 0.516 0.244 0.494 -1 0.1454 1.145 1 2.701 0.001064 0 0.02209 1 1 0.0001582 0.0001359 0.007549 0.0005757 0.02399 1.086 0.0625 0.004358 0.000557 1 1 0.002248 0.02091 0.07308 0.009213 0.0857 0.2995 json
t19_x9_u2_b9 19 9 2 9 add(D,dot(frc(P),P)) 144521 154655439 o2(x,o2(o1(x),x)) true 36175 36175 0 0.5 0.09436 0.01082 0.104 -0.1454 0.1454 0.2908 1 2.561 0.001632 0 0.03609 1 1 0 0.0002563 0.01459 0.0003304 0.01818 0.5036 0.06192 0.1508 0.02368 1 1 0.003151 0.02183 5.236e-15 0.2912 2.017 4.838e-13 json
t19_x9_u2_b10 19 9 2 10 add(D,dst(frc(P),P)) 144522 154655440 o2(x,o2(o1(x),x)) true 36183 36183 0.9962 0.9995 0.9963 0.002389 0.04887 -0.09643 1 1.096 1 0.1035 0.00005512 0.00003969 0.0009345 0.1627 0 -1.014e-10 0.00001899 0.0003543 0.00009398 0.009694 10.37 0.172 0.03969 0.00795 1 1 0.0003206 0.00351 0.008707 0.1342 1.469 3.645 json
t19_x9_u2_b11 19 9 2 11 sub(D,add(frc(P),P)) 144523 154655441 o2(x,o2(o1(x),x)) true 36191 36191 0 0.5 0.9375 0.9252 0.9619 -1 1 2 1 1.774 0.001323 0 0.01101 1 1 0 0.0002527 0.005079 0.001202 0.03468 3.15 0.1713 0.00143 0.0002731 1 1 0.003342 0.0331 0.2361 0.003612 0.03578 0.2552 json
t19_x9_u2_b12 19 9 2 12 sub(D,sub(frc(P),P)) 144524 154655442 o2(x,o2(o1(x),x)) true 36199 36199 0 0.5 0.9375 0.9165 0.9574 -1 1 2 1 1.979 0.0004883 0 0.007937 1 1 0 0.0000155 0.000496 0.0004253 0.02062 2.598 0.0625 0.0005327 0.00001691 1 1 0.001285 0.01928 0.2245 0.001402 0.02104 0.245 json
t19_x9_u2_b13 19 9 2 13 sub(D,mlt(frc(P),P)) 144525 154655443 o2(x,o2(o1(x),x)) true 36207 36207 0 0.5 0.09436 0.01082 0.104 -0.1454 0.1454 0.2908 1 2.561 0.001632 0 0.03609 1 1 0 0.0002563 0.01459 0.0003304 0.01818 0.5036 0.06192 0.1508 0.02368 1 1 0.003151 0.02183 5.236e-15 0.2912 2.017 4.838e-13 json
t19_x9_u2_b14 19 9 2 14 sub(D,div(frc(P),P)) 144526 154655444 o2(x,o2(o1(x),x)) true 36215 36215 0 0.5 0.09436 0.01082 0.104 -0.1454 0.1454 0.2908 1 2.561 0.001632 0 0.03609 1 1 0 0.0002563 0.01459 0.0003304 0.01818 0.5036 0.06192 0.1508 0.02368 1 1 0.003151 0.02183 5.236e-15 0.2912 2.017 4.838e-13 json
t19_x9_u2_b15 19 9 2 15 sub(D,pow(frc(P),P)) 144527 154655445 o2(x,o2(o1(x),x)) true 36223 36223 -0.5313 0.2188 0.5725 0.2433 0.4933 -1 0.1454 1.145 1 2.543 0.0009586 0 0.01978 1 1 0.0001582 0.0001198 0.006625 0.0005673 0.02382 1.204 0.0625 0.00394 0.0004922 1 1 0.00198 0.01909 0.07308 0.00814 0.07847 0.3004 json
t19_x9_u2_b16 19 9 2 16 sub(D,mod(frc(P),P)) 144528 154655446 o2(x,o2(o1(x),x)) true 36231 36231 0 0.5 0.09436 0.01082 0.104 -0.1454 0.1454 0.2908 1 2.561 0.001632 0 0.03609 1 1 0 0.0002563 0.01459 0.0003304 0.01818 0.5036 0.06192 0.1508 0.02368 1 1 0.003151 0.02183 5.236e-15 0.2912 2.017 4.838e-13 json
t19_x9_u2_b17 19 9 2 17 sub(D,lrg(frc(P),P)) 144529 154655447 o2(x,o2(o1(x),x)) true 36239 36239 -0.4481 0.25 0.4953 0.224 0.4733 -1 0.1454 1.145 1 3.24 0.001361 0 0.02967 1 1 4.731e-10 0.0002634 0.01318 0.000481 0.02193 0.7392 0.0625 0.006076 0.001176 1 1 0.002745 0.02296 0.06813 0.01225 0.1025 0.3041 json
t19_x9_u2_b18 19 9 2 18 sub(D,eql(frc(P),P)) 144530 154655448 o2(x,o2(o1(x),x)) true 36247 36247 -0.0614 0.457 0.1462 0.05374 0.2318 -1 0.1454 1.145 1 3.075 0.002292 0 0.04018 1 1 -9.461e-10 0.0003168 0.0146 0.0006788 0.02605 0.6483 0.1713 0.04265 0.005895 1 1 0.004861 0.04401 0.06323 0.09045 0.819 1.176 json
t19_x9_u2_b19 19 9 2 19 sub(D,min(frc(P),P)) 144531 154655449 o2(x,o2(o1(x),x)) true 36255 36255 0.4665 0.7305 0.516 0.2503 0.5003 -0.1454 1 1.145 1 2.568 0.001481 0 0.02363 1 1 0.0001582 0.0002545 0.009837 0.0009225 0.03037 1.286 0.1713 0.005917 0.001017 1 1 0.003277 0.02782 0.07597 0.01309 0.1112 0.3036 json
t19_x9_u2_b20 19 9 2 20 sub(D,dot(frc(P),P)) 144532 154655450 o2(x,o2(o1(x),x)) true 36263 36263 0 0.5 0.09436 0.01082 0.104 -0.1454 0.1454 0.2908 1 2.561 0.001632 0 0.03609 1 1 0 0.0002563 0.01459 0.0003304 0.01818 0.5036 0.06192 0.1508 0.02368 1 1 0.003151 0.02183 5.236e-15 0.2912 2.017 4.838e-13 json
t19_x9_u2_b21 19 9 2 21 sub(D,dst(frc(P),P)) 144533 154655451 o2(x,o2(o1(x),x)) true 36271 36271 -0.9962 0.0004883 0.9963 0.002389 0.04887 -1 0.09643 1.096 1 0.1035 0.00005512 0.00003969 0.0009275 0.1627 0 9.761e-11 0.00001899 0.0003543 0.000094 0.009695 10.45 0.1739 0.03969 0.00795 1 1 0.0003206 0.00351 0.008707 0.1342 1.469 3.645 json
t19_x9_u2_b22 19 9 2 22 mlt(D,add(frc(P),P)) 144534 154655452 o2(x,o2(o1(x),x)) true 36279 36279 -0.1371 0.3594 0.4002 0.2253 0.4747 -1 0.9606 1.961 1 4.765 0.03261 0 0.1409 1 1 0.002385 0.006072 0.05811 0.01278 0.113 0.8025 0.4334 0.1447 0.02695 1 1 0.03817 0.2764 0.02108 0.1694 1.227 0.09354 json
t19_x9_u2_b23 19 9 2 23 mlt(D,sub(frc(P),P)) 144535 154655453 o2(x,o2(o1(x),x)) true 36287 36287 0.1371 0.6406 0.4002 0.2253 0.4747 -0.9606 1 1.961 1 4.765 0.03261 0 0.1409 1 1 -0.002385 0.006072 0.05811 0.01278 0.113 0.8025 0.4334 0.1447 0.02695 1 1 0.03817 0.2764 0.02108 0.1694 1.227 0.09354 json
t19_x9_u2_b24 19 9 2 24 mlt(D,mlt(frc(P),P)) 144536 154655454 o2(x,o2(o1(x),x)) true 36295 36295 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
t19_x9_u2_b25 19 9 2 25 mlt(D,div(frc(P),P)) 144537 154655455 o2(x,o2(o1(x),x)) true 36303 36303 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
t19_x9_u2_b26 19 9 2 26 mlt(D,pow(frc(P),P)) 144538 154655456 o2(x,o2(o1(x),x)) true 36311 36311 -0.4911 0.0625 0.5089 0.2607 0.5105 -1 0.2729 1.273 1 1.295 0.004308 0 0.006134 1 1 1.173e-13 0.007957 0.008565 0.004267 0.06532 10.65 1.031 0.01653 0.03053 1 1 0.006151 0.03108 0.09875 0.0236 0.1193 0.3789 json
t19_x9_u2_b27 19 9 2 27 mlt(D,mod(frc(P),P)) 144539 154655457 o2(x,o2(o1(x),x)) true 36319 36319 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
t19_x9_u2_b28 19 9 2 28 mlt(D,lrg(frc(P),P)) 144540 154655458 o2(x,o2(o1(x),x)) true 36327 36327 0.008939 0.2813 0.05022 0.006513 0.0807 -0.1454 0.2729 0.4183 1 2.074 0.0008041 0 0.01782 1 1 -0.0001582 0.0001201 0.007004 0.0004868 0.02206 1.238 0.0622 0.1235 0.01844 1 1 0.001527 0.01126 0.002956 0.2344 1.728 0.4539 json
t19_x9_u2_b29 19 9 2 29 mlt(D,eql(frc(P),P)) 144541 154655459 o2(x,o2(o1(x),x)) true 36335 36335 -2.075e-12 0.0625 0.01788 0.003712 0.06092 -0.2729 0.2729 0.5458 1 0.8113 0.0001919 0 0.004331 1 1 0 0.00001617 0.001257 0.0001731 0.01316 3.038 0.06248 0.0517 0.004357 1 1 0.0004983 0.005342 0.005001 0.1342 1.439 1.347 json
t19_x9_u2_b30 19 9 2 30 mlt(D,min(frc(P),P)) 144542 154655460 o2(x,o2(o1(x),x)) true 36343 36343 -0.06855 0.1797 0.2001 0.1174 0.3426 -1 0.9606 1.961 1 3.281 0.01613 0 0.06983 1 1 0.001193 0.003036 0.02905 0.01125 0.1061 1.519 0.4334 0.1374 0.02586 1 1 0.01795 0.1216 0.01069 0.1529 1.036 0.09109 json
t19_x9_u2_b31 19 9 2 31 mlt(D,dot(frc(P),P)) 144543 154655461 o2(x,o2(o1(x),x)) true 36351 36351 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
t19_x9_u2_b32 19 9 2 32 mlt(D,dst(frc(P),P)) 144544 154655462 o2(x,o2(o1(x),x)) true 36359 36359 -3.395e-9 0.5 0.5555 0.4106 0.6407 -1 1 2 1 4.847 0.06115 0.00002467 0.1973 0.9992 1 1.887e-10 0.01352 0.0871 0.02223 0.1491 0.7555 0.6568 0.149 0.03293 1 1 0.07378 0.5183 0.02171 0.1797 1.262 0.05289 json
t19_x9_u2_b33 19 9 2 33 div(D,add(frc(P),P)) 144545 154655463 o2(x,o2(o1(x),x)) true 36367 36367 -0.1094 0.5156 0.1542 0.1153 0.3396 -1 0.1922 1.192 1 1.912 0.00866 0 0.01835 1 1 0.0000369 0.01597 0.01991 0.008324 0.09124 4.973 1.031 0.07511 0.1385 1 1 0.01236 0.05779 0.1864 0.1072 0.5012 1.617 json
t19_x9_u2_b34 19 9 2 34 div(D,sub(frc(P),P)) 144546 154655464 o2(x,o2(o1(x),x)) true 36375 36375 -0.01564 0.4219 0.1542 0.127 0.3564 -1 1 2 1 2.037 0.02404 0 0.02604 1 1 -0.0000369 0.04766 0.03576 0.02336 0.1529 5.871 2 0.1893 0.3752 1 1 0.03214 0.13 0.1704 0.253 1.024 1.342 json
t19_x9_u2_b35 19 9 2 35 div(D,mlt(frc(P),P)) 144547 154655465 o2(x,o2(o1(x),x)) true 36383 36383 0 0.5 1 1 1 -1 1 2 1 1 0.4921 0 0.246 1 1 0 0.9841 0.4921 0.4315 0.6569 2.67 2 0.4921 0.9841 1 1 0.4947 2 0 0.4947 2 0 json
t19_x9_u2_b36 19 9 2 36 div(D,div(frc(P),P)) 144548 154655466 o2(x,o2(o1(x),x)) true 36391 36391 0 0.5 1 1 1 -1 1 2 1 1 0.4921 0 0.246 1 1 0 0.9841 0.4921 0.4315 0.6569 2.67 2 0.4921 0.9841 1 1 0.4947 2 0 0.4947 2 0 json
t19_x9_u2_b37 19 9 2 37 div(D,pow(frc(P),P)) 144549 154655467 o2(x,o2(o1(x),x)) true 36399 36399 -0.5089 0 0.5089 0.2428 0.4927 -1 0 1 1 1.411 0.003812 0 0.005886 1 1 -4.731e-10 0.007947 0.00856 0.003777 0.06146 10.44 0.9688 0.0157 0.03273 1 1 0.004843 0.01507 0.07467 0.01995 0.06206 0.3075 json
t19_x9_u2_b38 19 9 2 38 div(D,mod(frc(P),P)) 144550 154655468 o2(x,o2(o1(x),x)) true 36407 36407 0 0.5 1 1 1 -1 1 2 1 1 0.4921 0 0.246 1 1 0 0.9841 0.4921 0.4315 0.6569 2.67 2 0.4921 0.9841 1 1 0.4947 2 0 0.4947 2 0 json
t19_x9_u2_b39 19 9 2 39 div(D,lrg(frc(P),P)) 144551 154655469 o2(x,o2(o1(x),x)) true 36415 36415 -0.5625 0.2188 0.6038 0.2508 0.5008 -1 0.1454 1.145 1 2.109 0.004427 0 0.01938 1 1 -0.0001582 0.008005 0.01426 0.004053 0.06366 3.285 0.969 0.01765 0.03192 1 1 0.005908 0.02549 0.08512 0.02356 0.1016 0.3394 json
t19_x9_u2_b40 19 9 2 40 div(D,eql(frc(P),P)) 144552 154655470 o2(x,o2(o1(x),x)) true 36423 36423 -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
t19_x9_u2_b41 19 9 2 41 div(D,min(frc(P),P)) 144553 154655471 o2(x,o2(o1(x),x)) true 36431 36431 -0.5547 0.2578 0.5771 0.2559 0.5059 -1 0.1922 1.192 1 1.673 0.00433 0 0.009164 1 1 0.00001845 0.007987 0.009957 0.004249 0.06518 7.113 1.031 0.01692 0.03121 1 1 0.006178 0.02888 0.09322 0.02414 0.1129 0.3642 json
t19_x9_u2_b42 19 9 2 42 div(D,dot(frc(P),P)) 144554 154655472 o2(x,o2(o1(x),x)) true 36439 36439 0 0.5 1 1 1 -1 1 2 1 1 0.4921 0 0.246 1 1 0 0.9841 0.4921 0.4315 0.6569 2.67 2 0.4921 0.9841 1 1 0.4947 2 0 0.4947 2 0 json
t19_x9_u2_b43 19 9 2 43 div(D,dst(frc(P),P)) 144555 154655473 o2(x,o2(o1(x),x)) true 36447 36447 -0.01562 0.4913 0.03454 0.01607 0.1268 -1 0.1922 1.192 1 1.309 0.001101 0.001019 0.009239 0.03869 1 -1.506e-10 0.004194 0.006895 0.002034 0.0451 4.881 1.415 0.1319 0.261 1 1 0.003839 0.01616 0.05736 0.2389 1.005 3.569 json
t19_x9_u2_b44 19 9 2 44 pow(D,add(frc(P),P)) 144556 154655474 o2(x,o2(o1(x),x)) true 36455 36455 -0.875 0.0625 1 0.2344 0.4841 -1 1 2 1 0.3373 0.03175 0 0.01587 1 1 0 0.06349 0.03175 0.03149 0.1774 11.18 2 0.1354 0.2709 1 1 0.04211 0.1684 0.3368 0.1796 0.7186 1.437 json
t19_x9_u2_b45 19 9 2 45 pow(D,sub(frc(P),P)) 144557 154655475 o2(x,o2(o1(x),x)) true 36463 36463 -0.8973 0.0625 0.9777 0.1655 0.4069 -1 1 2 1 0.5419 0.02043 0 0.01587 1 1 4.731e-10 0.03967 0.02439 0.02017 0.142 8.948 2 0.1234 0.2396 1 1 0.02789 0.1266 0.2371 0.1685 0.7646 1.432 json
t19_x9_u2_b46 19 9 2 46 pow(D,mlt(frc(P),P)) 144558 154655476 o2(x,o2(o1(x),x)) true 36471 36471 1 1 1 0 0 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 json
t19_x9_u2_b47 19 9 2 47 pow(D,div(frc(P),P)) 144559 154655477 o2(x,o2(o1(x),x)) true 36479 36479 1 1 1 0 0 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 json
t19_x9_u2_b48 19 9 2 48 pow(D,pow(frc(P),P)) 144560 154655478 o2(x,o2(o1(x),x)) true 36487 36487 -0.02231 0.5 0.9777 0.9706 0.9852 -1 1 2 1 1.36 0.004559 0 0.007936 1 1 4.731e-10 0.007909 0.008519 0.004494 0.06704 8.447 1.032 0.004696 0.008148 1 1 0.006847 0.0474 0.2972 0.007054 0.04884 0.3062 json
t19_x9_u2_b49 19 9 2 49 pow(D,mod(frc(P),P)) 144561 154655479 o2(x,o2(o1(x),x)) true 36495 36495 1 1 1 0 0 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 json
t19_x9_u2_b50 19 9 2 50 pow(D,lrg(frc(P),P)) 144562 154655480 o2(x,o2(o1(x),x)) true 36503 36503 0.1027 0.5625 0.9777 0.9597 0.9797 -1 1 2 1 1.356 0.004559 0 0.007936 1 1 4.731e-10 0.007909 0.008519 0.004494 0.06704 8.447 1.032 0.00475 0.008241 1 1 0.006847 0.0474 0.2972 0.007134 0.04939 0.3097 json
t19_x9_u2_b51 19 9 2 51 pow(D,eql(frc(P),P)) 144563 154655481 o2(x,o2(o1(x),x)) true 36511 36511 0.8527 0.9375 0.9777 0.2434 0.4934 -1 1 2 1 0.7376 0.02043 0 0.01587 1 1 4.731e-10 0.03965 0.02439 0.02017 0.142 8.948 2 0.08394 0.1629 1 1 0.0279 0.1316 0.3574 0.1146 0.5407 1.468 json
t19_x9_u2_b52 19 9 2 52 pow(D,min(frc(P),P)) 144564 154655482 o2(x,o2(o1(x),x)) true 36519 36519 0.125 0.5625 1 0.9844 0.9922 -1 1 2 1 0.9887 0.01587 0 0.007937 1 1 0 0.03175 0.01587 0.01581 0.1257 15.84 2 0.01612 0.03225 1 1 0.02105 0.08421 0.3368 0.02139 0.08555 0.3422 json
t19_x9_u2_b53 19 9 2 53 pow(D,dot(frc(P),P)) 144565 154655483 o2(x,o2(o1(x),x)) true 36527 36527 1 1 1 0 0 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 json
t19_x9_u2_b54 19 9 2 54 pow(D,dst(frc(P),P)) 144566 154655484 o2(x,o2(o1(x),x)) true 36535 36535 -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
t19_x9_u2_b55 19 9 2 55 mod(D,add(frc(P),P)) 144567 154655485 o2(x,o2(o1(x),x)) true 36543 36543 -0.125 0.4375 0.2076 0.1189 0.3448 -1 0.1454 1.145 1 2.785 0.009352 0 0.03917 1 1 9.386e-13 0.01611 0.02856 0.007817 0.08842 2.257 1.031 0.07868 0.1355 1 1 0.01311 0.05985 0.1702 0.1103 0.5035 1.432 json
t19_x9_u2_b56 19 9 2 56 mod(D,sub(frc(P),P)) 144568 154655486 o2(x,o2(o1(x),x)) true 36551 36551 -0.125 0.4375 0.2076 0.1189 0.3448 -1 0.1454 1.145 1 2.785 0.009352 0 0.03917 1 1 9.386e-13 0.01611 0.02856 0.007817 0.08842 2.257 1.031 0.07868 0.1355 1 1 0.01311 0.05985 0.1702 0.1103 0.5035 1.432 json
t19_x9_u2_b57 19 9 2 57 mod(D,mlt(frc(P),P)) 144569 154655487 o2(x,o2(o1(x),x)) true 36559 36559 0 0.5 0.09436 0.01082 0.104 -0.1454 0.1454 0.2908 1 2.561 0.001632 0 0.03609 1 1 0 0.0002563 0.01459 0.0003304 0.01818 0.5036 0.06192 0.1508 0.02368 1 1 0.003151 0.02183 5.236e-15 0.2912 2.017 4.838e-13 json
t19_x9_u2_b58 19 9 2 58 mod(D,div(frc(P),P)) 144570 154655488 o2(x,o2(o1(x),x)) true 36567 36567 0 0.5 0.09436 0.01082 0.104 -0.1454 0.1454 0.2908 1 2.561 0.001632 0 0.03609 1 1 0 0.0002563 0.01459 0.0003304 0.01818 0.5036 0.06192 0.1508 0.02368 1 1 0.003151 0.02183 5.236e-15 0.2912 2.017 4.838e-13 json
t19_x9_u2_b59 19 9 2 59 mod(D,pow(frc(P),P)) 144571 154655489 o2(x,o2(o1(x),x)) true 36575 36575 -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
t19_x9_u2_b60 19 9 2 60 mod(D,mod(frc(P),P)) 144572 154655490 o2(x,o2(o1(x),x)) true 36583 36583 0 0.5 0.09436 0.01082 0.104 -0.1454 0.1454 0.2908 1 2.561 0.001632 0 0.03609 1 1 0 0.0002563 0.01459 0.0003304 0.01818 0.5036 0.06192 0.1508 0.02368 1 1 0.003151 0.02183 5.236e-15 0.2912 2.017 4.838e-13 json
t19_x9_u2_b61 19 9 2 61 mod(D,lrg(frc(P),P)) 144573 154655491 o2(x,o2(o1(x),x)) true 36591 36591 -0.5625 0.2188 0.6038 0.2508 0.5008 -1 0.1454 1.145 1 2.109 0.004427 0 0.01938 1 1 -0.0001582 0.008005 0.01426 0.004053 0.06366 3.285 0.969 0.01765 0.03192 1 1 0.005908 0.02549 0.08512 0.02356 0.1016 0.3394 json
t19_x9_u2_b62 19 9 2 62 mod(D,eql(frc(P),P)) 144574 154655492 o2(x,o2(o1(x),x)) true 36599 36599 -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
t19_x9_u2_b63 19 9 2 63 mod(D,min(frc(P),P)) 144575 154655493 o2(x,o2(o1(x),x)) true 36607 36607 -0.5625 0.2188 0.6038 0.2508 0.5008 -1 0.1454 1.145 1 2.109 0.004427 0 0.01938 1 1 -0.0001582 0.008005 0.01426 0.004053 0.06366 3.285 0.969 0.01765 0.03192 1 1 0.005908 0.02549 0.08512 0.02356 0.1016 0.3394 json
t19_x9_u2_b64 19 9 2 64 mod(D,dot(frc(P),P)) 144576 154655494 o2(x,o2(o1(x),x)) true 36615 36615 0 0.5 0.09436 0.01082 0.104 -0.1454 0.1454 0.2908 1 2.561 0.001632 0 0.03609 1 1 0 0.0002563 0.01459 0.0003304 0.01818 0.5036 0.06192 0.1508 0.02368 1 1 0.003151 0.02183 5.236e-15 0.2912 2.017 4.838e-13 json
t19_x9_u2_b65 19 9 2 65 mod(D,dst(frc(P),P)) 144577 154655495 o2(x,o2(o1(x),x)) true 36623 36623 -0.01563 0.4922 0.1085 0.02604 0.1614 -1 0.1454 1.145 1 2.637 0.002612 0.001019 0.03747 0.4389 1 7.133e-11 0.004435 0.01836 0.002229 0.04721 1.26 1.415 0.1395 0.1703 1 1 0.00662 0.03541 0.05735 0.2543 1.36 2.203 json
t19_x9_u2_b66 19 9 2 66 lrg(D,add(frc(P),P)) 144578 154655496 o2(x,o2(o1(x),x)) true 36631 36631 0.5 0.5625 0.5 0.2365 0.4863 0 1 1 1 1.577 0.00467 0 0.0119 1 1 -4.731e-10 0.008068 0.009787 0.004528 0.06729 5.654 0.9994 0.01975 0.03412 1 1 0.007036 0.03244 0.06598 0.02976 0.1372 0.279 json
t19_x9_u2_b67 19 9 2 67 lrg(D,sub(frc(P),P)) 144579 154655497 o2(x,o2(o1(x),x)) true 36639 36639 0.5 0.5 0.5 0.25 0.5 0 1 1 1 1 0.003968 0 0.003968 1 1 0 0.007937 0.007937 0.003952 0.06287 15.84 1 0.01587 0.03175 1 1 0.005263 0.02105 0.08421 0.02105 0.08421 0.3368 json
t19_x9_u2_b68 19 9 2 68 lrg(D,mlt(frc(P),P)) 144580 154655498 o2(x,o2(o1(x),x)) true 36647 36647 0.5 1 0.5 0.1418 0.3765 0.000291 0.9997 0.9994 1 3.406 0.06511 0 0.1228 1 1 0 0.1208 0.1337 0.05001 0.2236 1.821 0.9994 0.4593 0.8522 1 1 0.07073 0.2419 0 0.4989 1.706 0 json
t19_x9_u2_b69 19 9 2 69 lrg(D,div(frc(P),P)) 144581 154655499 o2(x,o2(o1(x),x)) true 36655 36655 0.5 1 0.5 0.1418 0.3765 0.000291 0.9997 0.9994 1 3.406 0.06511 0 0.1228 1 1 0 0.1208 0.1337 0.05001 0.2236 1.821 0.9994 0.4593 0.8522 1 1 0.07073 0.2419 0 0.4989 1.706 0 json
t19_x9_u2_b70 19 9 2 70 lrg(D,pow(frc(P),P)) 144582 154655500 o2(x,o2(o1(x),x)) true 36663 36663 0.2188 0.4375 0.2188 0.1235 0.3515 0 0.9997 0.9997 1 2.124 0.03022 0 0.0555 1 1 -0.00008984 0.05631 0.06193 0.02713 0.1647 2.967 0.9997 0.2446 0.4558 1 1 0.03318 0.1162 0.03299 0.2686 0.9402 0.267 json
t19_x9_u2_b71 19 9 2 71 lrg(D,mod(frc(P),P)) 144583 154655501 o2(x,o2(o1(x),x)) true 36671 36671 0.5 1 0.5 0.1418 0.3765 0.000291 0.9997 0.9994 1 3.406 0.06511 0 0.1228 1 1 0 0.1208 0.1337 0.05001 0.2236 1.821 0.9994 0.4593 0.8522 1 1 0.07073 0.2419 0 0.4989 1.706 0 json
t19_x9_u2_b72 19 9 2 72 lrg(D,lrg(frc(P),P)) 144584 154655502 o2(x,o2(o1(x),x)) true 36679 36679 0.25 0.5 0.25 0.1334 0.3652 0 0.9997 0.9997 1 2.329 0.03453 0 0.06344 1 1 -0.00008984 0.06436 0.07079 0.03051 0.1747 2.753 0.9997 0.2589 0.4825 1 1 0.03929 0.1364 0.03299 0.2946 1.023 0.2473 json
t19_x9_u2_b73 19 9 2 73 lrg(D,eql(frc(P),P)) 144585 154655503 o2(x,o2(o1(x),x)) true 36687 36687 0.4688 0.9375 0.4688 0.1475 0.3841 0 0.9997 0.9997 1 3.332 0.06079 0 0.1149 1 1 0 0.1127 0.1248 0.0476 0.2182 1.9 0.9997 0.4121 0.764 1 1 0.06466 0.2279 0.03299 0.4383 1.545 0.2236 json
t19_x9_u2_b74 19 9 2 74 lrg(D,min(frc(P),P)) 144586 154655504 o2(x,o2(o1(x),x)) true 36695 36695 0.7188 1 0.7188 0.1413 0.3759 0.000291 1 0.9997 1 2.519 0.03488 0 0.0674 1 1 -0.00008984 0.06442 0.07172 0.03033 0.1742 2.584 0.9994 0.2469 0.456 1 1 0.04018 0.1422 0.03299 0.2844 1.007 0.2335 json
t19_x9_u2_b75 19 9 2 75 lrg(D,dot(frc(P),P)) 144587 154655505 o2(x,o2(o1(x),x)) true 36703 36703 0.5 1 0.5 0.1418 0.3765 0.000291 0.9997 0.9994 1 3.406 0.06511 0 0.1228 1 1 0 0.1208 0.1337 0.05001 0.2236 1.821 0.9994 0.4593 0.8522 1 1 0.07073 0.2419 0 0.4989 1.706 0 json
t19_x9_u2_b76 19 9 2 76 lrg(D,dst(frc(P),P)) 144588 154655506 o2(x,o2(o1(x),x)) true 36711 36711 0.001953 0.007385 0.001953 0.001197 0.0346 0 0.9994 0.9994 1 0.05785 0.0002149 0.00001756 0.0006672 0.8489 1 1.128e-12 0.000405 0.0006009 0.0002318 0.01522 22.82 0.9994 0.1941 0.3383 1 1 0.0004668 0.002552 0.004354 0.39 2.132 3.637 json
t19_x9_u2_b77 19 9 2 77 eql(D,add(frc(P),P)) 144589 154655507 o2(x,o2(o1(x),x)) true 36719 36719 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
t19_x9_u2_b78 19 9 2 78 eql(D,sub(frc(P),P)) 144590 154655508 o2(x,o2(o1(x),x)) true 36727 36727 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
t19_x9_u2_b79 19 9 2 79 eql(D,mlt(frc(P),P)) 144591 154655509 o2(x,o2(o1(x),x)) true 36735 36735 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
t19_x9_u2_b80 19 9 2 80 eql(D,div(frc(P),P)) 144592 154655510 o2(x,o2(o1(x),x)) true 36743 36743 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
t19_x9_u2_b81 19 9 2 81 eql(D,pow(frc(P),P)) 144593 154655511 o2(x,o2(o1(x),x)) true 36751 36751 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
t19_x9_u2_b82 19 9 2 82 eql(D,mod(frc(P),P)) 144594 154655512 o2(x,o2(o1(x),x)) true 36759 36759 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
t19_x9_u2_b83 19 9 2 83 eql(D,lrg(frc(P),P)) 144595 154655513 o2(x,o2(o1(x),x)) true 36767 36767 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
t19_x9_u2_b84 19 9 2 84 eql(D,eql(frc(P),P)) 144596 154655514 o2(x,o2(o1(x),x)) true 36775 36775 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
t19_x9_u2_b85 19 9 2 85 eql(D,min(frc(P),P)) 144597 154655515 o2(x,o2(o1(x),x)) true 36783 36783 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
t19_x9_u2_b86 19 9 2 86 eql(D,dot(frc(P),P)) 144598 154655516 o2(x,o2(o1(x),x)) true 36791 36791 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
t19_x9_u2_b87 19 9 2 87 eql(D,dst(frc(P),P)) 144599 154655517 o2(x,o2(o1(x),x)) true 36799 36799 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