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_x3_u3_b88 14 3 3 88 flr(min(add(P,D),P)) 49900 113810308 o1(o2(o2(x,x),x)) true 58167 58167 -0.0625 0.4375 0.9375 0.9336 0.9662 -1 1 2 1 1.272 0.007937 0 0.007937 1 1 0 0.01587 0.01587 0.007872 0.08872 11.18 1 0.008501 0.017 1 1 0.01053 0.04211 0.2526 0.01128 0.0451 0.2706 json
t14_x3_u3_b89 14 3 3 89 flr(min(sub(P,D),P)) 49901 113810309 o1(o2(o2(x,x),x)) true 58175 58175 -0.0625 0.4688 0.9375 0.9184 0.9583 -1 1 2 1 1.809 0.01063 0 0.02379 1 1 0 0.0166 0.02131 0.01007 0.1003 4.218 0.9988 0.01158 0.01808 1 1 0.0172 0.07175 0.2321 0.01872 0.07812 0.2528 json
t14_x3_u3_b90 14 3 3 90 flr(min(mlt(P,D),P)) 49902 113810310 o1(o2(o2(x,x),x)) true 58183 58183 -0.737 0.04688 0.7643 0.1674 0.4091 -1 0.7619 1.762 1 2.487 0.05548 0 0.1071 1 1 0.0001979 0.1221 0.1582 0.044 0.2098 1.958 0.9991 0.3315 0.7296 1 1 0.04656 0.1605 0.07049 0.2781 0.959 0.4211 json
t14_x3_u3_b91 14 3 3 91 flr(min(div(P,D),P)) 49903 113810311 o1(o2(o2(x,x),x)) true 58191 58191 -0.6204 0.168 0.9279 0.5264 0.7255 -1 1 2 1 1.432 0.1614 0 0.119 1 1 1.877e-12 0.269 0.1731 0.1473 0.3837 3.224 2 0.3066 0.511 1 1 0.1864 0.6874 0.1049 0.3542 1.306 0.1994 json
t14_x3_u3_b92 14 3 3 92 flr(min(pow(P,D),P)) 49904 113810312 o1(o2(o2(x,x),x)) true 58199 58199 -0.182 0.5 0.7555 0.6623 0.8138 -1 1 2 1 3.129 0.03026 0 0.07004 1 1 -0.0004492 0.05641 0.08066 0.02535 0.1592 2.273 0.9994 0.04569 0.08517 1 1 0.03152 0.1122 0.2115 0.0476 0.1694 0.3193 json
t14_x3_u3_b93 14 3 3 93 flr(min(mod(P,D),P)) 49905 113810313 o1(o2(o2(x,x),x)) true 58207 58207 -0.4688 0 0.4688 0.2423 0.4922 -1 0 1 1 1.406 0.0003529 0 0.003968 1 1 4.731e-10 0.00001619 0.0009276 0.0003372 0.01836 4.628 0.1169 0.001457 0.00006684 1 1 0.0009255 0.01214 0.0751 0.00382 0.05012 0.31 json
t14_x3_u3_b94 14 3 3 94 flr(min(lrg(P,D),P)) 49906 113810314 o1(o2(o2(x,x),x)) true 58215 58215 0 0.5 0.9375 0.924 0.9612 -1 1 2 1 1.813 0.0007059 0 0.007937 1 1 0 0.00003235 0.001851 0.0006432 0.02536 3.195 0.1169 0.0007639 0.00003501 1 1 0.001851 0.02449 0.2344 0.002003 0.0265 0.2537 json
t14_x3_u3_b95 14 3 3 95 flr(min(eql(P,D),P)) 49907 113810315 o1(o2(o2(x,x),x)) true 58223 58223 -0.4688 0 0.4688 0.2423 0.4922 -1 0 1 1 1.406 0.0003529 0 0.003968 1 1 4.731e-10 0.00001619 0.0009276 0.0003372 0.01836 4.628 0.1169 0.001457 0.00006684 1 1 0.0009255 0.01214 0.0751 0.00382 0.05012 0.31 json
t14_x3_u3_b96 14 3 3 96 flr(min(min(P,D),P)) 49908 113810316 o1(o2(o2(x,x),x)) true 58231 58231 -0.75 0 0.75 0.1334 0.3652 -1 -0.000291 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
t14_x3_u3_b97 14 3 3 97 flr(min(dot(P,D),P)) 49909 113810317 o1(o2(o2(x,x),x)) true 58239 58239 -0.7939 0.0589 0.8403 0.1616 0.402 -1 1 2 1 2.221 0.03471 0.03561 0.1268 -0.01275 1 0.0003847 0.2436 0.2224 0.05427 0.233 1.838 1.413 0.4351 1.507 1 1 0.05723 0.1895 0.0634 0.3541 1.173 0.3923 json
t14_x3_u3_b98 14 3 3 98 flr(min(dst(P,D),P)) 49910 113810318 o1(o2(o2(x,x),x)) true 58247 58247 -0.001297 0.5 0.9362 0.9222 0.9603 -1 1 2 1 1.834 0.0009896 0.0001016 0.008812 0.8137 1 1.689e-11 0.001104 0.003114 0.001013 0.03183 3.612 1.255 0.001183 0.001197 1 1 0.002582 0.02648 0.2328 0.0028 0.02872 0.2524 json
t14_x3_u3_b99 14 3 3 99 flr(dot(add(P,D),P)) 49911 113810319 o1(o2(o2(x,x),x)) true 58255 58255 0.9881 0.9927 0.9881 0.01049 0.1024 0 1 1 1 0.154 0.0004462 0.0004462 0.0018 8.479e-7 1 -1.126e-11 0.001725 0.002491 0.0008895 0.02982 16.57 0.9997 0.08505 0.1644 1 1 0.001696 0.009636 0.03865 0.1616 0.9183 3.683 json
t14_x3_u3_b100 14 3 3 100 flr(dot(sub(P,D),P)) 49912 113810320 o1(o2(o2(x,x),x)) true 58263 58263 0.9946 1 0.9946 0.003739 0.06115 0.0005821 1 0.9994 1 0.1211 0.0004495 0.0004495 0.002402 2.266e-7 1 1.539e-10 0.001395 0.00242 0.0008941 0.0299 12.45 0.9981 0.2404 0.3732 1 1 0.002011 0.007831 0.01363 0.5378 2.094 3.645 json
t14_x3_u3_b101 14 3 3 101 flr(dot(mlt(P,D),P)) 49913 113810321 o1(o2(o2(x,x),x)) true 58271 58271 -0.1107 0.4295 0.8769 0.8316 0.9119 -1 1 2 1 2.539 0.1523 0.1523 0.2565 0.000003279 1 -0.0002271 0.623 0.3976 0.2386 0.4885 1.905 2.828 0.3662 0.7492 1 1 0.2953 1.192 0.2787 0.3551 1.433 0.3351 json
t14_x3_u3_b102 14 3 3 102 flr(dot(div(P,D),P)) 49914 113810322 o1(o2(o2(x,x),x)) true 58279 58279 -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_x3_u3_b103 14 3 3 103 flr(dot(pow(P,D),P)) 49915 113810323 o1(o2(o2(x,x),x)) true 58287 58287 -0.5008 0.25 0.9992 0.7483 0.865 -1 1 2 1 0.8325 0.007543 0.007543 0.007877 6.174e-8 1 3.341e-10 0.03016 0.01543 0.01502 0.1226 15.56 2 0.02016 0.04031 1 1 0.01971 0.08047 0.3328 0.02634 0.1075 0.4447 json
t14_x3_u3_b104 14 3 3 104 flr(dot(mod(P,D),P)) 49916 113810324 o1(o2(o2(x,x),x)) true 58295 58295 -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_x3_u3_b105 14 3 3 105 flr(dot(lrg(P,D),P)) 49917 113810325 o1(o2(o2(x,x),x)) true 58303 58303 0.7179 0.75 0.7179 0.1953 0.4419 0 1 1 1 1.194 0.0001877 0.0001877 0.004161 0.000001047 1 -5.744e-10 0.00002276 0.0009958 0.0003579 0.01892 4.547 0.1653 0.001922 0.0001166 1 1 0.001001 0.01303 0.08014 0.005127 0.06671 0.4104 json
t14_x3_u3_b106 14 3 3 106 flr(dot(eql(P,D),P)) 49918 113810326 o1(o2(o2(x,x),x)) true 58311 58311 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_x3_u3_b107 14 3 3 107 flr(dot(min(P,D),P)) 49919 113810327 o1(o2(o2(x,x),x)) true 58319 58319 0.5225 0.7436 0.8804 0.5724 0.7566 -1 1 2 1 2.222 0.02324 0.02324 0.08532 -8.415e-7 1 0.0006495 0.1476 0.1448 0.03921 0.198 2.321 1.413 0.08121 0.2578 1 1 0.04125 0.1576 0.2377 0.07207 0.2753 0.4153 json
t14_x3_u3_b108 14 3 3 108 flr(dot(dot(P,D),P)) 49920 113810328 o1(o2(o2(x,x),x)) true 58327 58327 -0.1192 0.4184 0.8339 0.7763 0.8811 -1 1 2 1 2.91 0.1431 0.1431 0.2573 0.000003332 1 -0.0004353 0.6817 0.4142 0.2201 0.4692 1.823 2.828 0.3687 0.8782 1 1 0.2661 1.018 0.3511 0.3427 1.311 0.4522 json
t14_x3_u3_b109 14 3 3 109 flr(dot(dst(P,D),P)) 49921 113810329 o1(o2(o2(x,x),x)) true 58335 58335 -0.005298 0.4978 0.9775 0.9718 0.9858 -1 1 2 1 1.371 0.003336 0.003336 0.01314 -3.489e-8 1 0.000001279 0.007471 0.01088 0.006502 0.08063 6.136 1.709 0.006866 0.007688 1 1 0.01268 0.09567 0.5308 0.01304 0.09845 0.5462 json
t14_x3_u3_b110 14 3 3 110 flr(dst(add(P,D),P)) 49922 113810330 o1(o2(o2(x,x),x)) true 58343 58343 0.002387 0.5469 0.002387 0.0000194 0.004405 0 0.01937 0.01937 1 0 0.00002643 0.00002643 0.004122 1.376e-7 0 -0.00002229 0.0002509 0.008064 0.00003587 0.005989 1.453 0.02739 2.724 12.93 1 1 0.00004054 0.00003161 0 2.089 1.629 0 json
t14_x3_u3_b111 14 3 3 111 flr(dst(sub(P,D),P)) 49923 113810331 o1(o2(o2(x,x),x)) true 58351 58351 0.002387 0.5469 0.002387 0.0000194 0.004405 0 0.01937 0.01937 1 0 0.00002643 0.00002643 0.004122 1.376e-7 0 -0.00002229 0.0002509 0.008064 0.00003587 0.005989 1.453 0.02739 2.724 12.93 1 1 0.00004054 0.00003161 0 2.089 1.629 0 json
t14_x3_u3_b112 14 3 3 112 flr(dst(mlt(P,D),P)) 49924 113810332 o1(o2(o2(x,x),x)) true 58359 58359 0.989 0.9969 0.989 0.008511 0.09226 0 1 1 1 0.1991 0.0006492 0.0006492 0.003287 1.793e-7 1 3.754e-11 0.002628 0.004025 0.001286 0.03586 10.91 1.048 0.1525 0.3088 1 1 0.002615 0.01031 0.02731 0.3073 1.211 3.209 json
t14_x3_u3_b113 14 3 3 113 flr(dst(div(P,D),P)) 49925 113810333 o1(o2(o2(x,x),x)) true 58367 58367 -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_x3_u3_b114 14 3 3 114 flr(dst(pow(P,D),P)) 49926 113810334 o1(o2(o2(x,x),x)) true 58375 58375 -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
t14_x3_u3_b115 14 3 3 115 flr(dst(mod(P,D),P)) 49927 113810335 o1(o2(o2(x,x),x)) true 58383 58383 -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_x3_u3_b116 14 3 3 116 flr(dst(lrg(P,D),P)) 49928 113810336 o1(o2(o2(x,x),x)) true 58391 58391 0.9912 0.9961 0.9912 0.007496 0.08658 0 1 1 1 0.1339 0.0003818 0.0003818 0.001464 0 1 -7.884e-11 0.001443 0.001675 0.0007623 0.02761 18.85 1 0.1019 0.1925 1 1 0.001451 0.007781 0.02747 0.1935 1.038 3.665 json
t14_x3_u3_b117 14 3 3 117 flr(dst(eql(P,D),P)) 49929 113810337 o1(o2(o2(x,x),x)) true 58399 58399 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
t14_x3_u3_b118 14 3 3 118 flr(dst(min(P,D),P)) 49930 113810338 o1(o2(o2(x,x),x)) true 58407 58407 0.6954 0.7506 0.6954 0.2004 0.4477 0 1 1 1 1.373 0.002589 0.002589 0.01278 4.947e-7 1 4.295e-9 0.008761 0.01167 0.005009 0.07077 5.537 1.207 0.02583 0.04371 1 1 0.008196 0.03227 0.07788 0.0409 0.161 0.3886 json
t14_x3_u3_b119 14 3 3 119 flr(dst(dot(P,D),P)) 49931 113810339 o1(o2(o2(x,x),x)) true 58415 58415 0.9901 0.9986 0.9901 0.007711 0.08781 0 1 1 1 0.1725 0.0006407 0.0006407 0.002994 -0.000001136 1 6.007e-11 0.00306 0.004201 0.001272 0.03566 11.91 1.331 0.1662 0.3968 1 1 0.002469 0.01012 0.0254 0.3201 1.312 3.294 json
t14_x3_u3_b120 14 3 3 120 flr(dst(dst(P,D),P)) 49932 113810340 o1(o2(o2(x,x),x)) true 58423 58423 0.9985 1 0.9985 0.001029 0.03207 0.001164 1 0.9988 1 0.03667 0.00006913 0.00006913 0.0006229 -2.105e-7 1 -1.126e-11 0.0001588 0.0005451 0.0001377 0.01174 18.84 0.4372 0.1344 0.1543 1 1 0.0003777 0.002848 0.003747 0.3672 2.768 3.642 json
t14_x3_u4_b0 14 3 4 0 cil(add(add(P,D),P)) 49933 113810421 o1(o2(o2(x,x),x)) true 58431 58431 0.03125 0.5 0.9688 0.9603 0.98 -1 1 2 1 1.406 0.004323 0 0.007937 1 1 0 0.007903 0.008812 0.004259 0.06526 8.223 1 0.004502 0.008229 1 1 0.006228 0.03975 0.2856 0.006485 0.04139 0.2974 json
t14_x3_u4_b1 14 3 4 1 cil(add(sub(P,D),P)) 49934 113810422 o1(o2(o2(x,x),x)) true 58439 58439 0.03125 0.5273 0.9688 0.9595 0.9796 -1 1 2 1 1.408 0.007092 0 0.01586 1 1 0 0.009138 0.01315 0.006835 0.08268 5.213 0.9983 0.007391 0.009524 1 1 0.01275 0.06237 0.2845 0.01329 0.065 0.2965 json
t14_x3_u4_b2 14 3 4 2 cil(add(mlt(P,D),P)) 49935 113810423 o1(o2(o2(x,x),x)) true 58447 58447 0.01793 0.5 0.9196 0.9028 0.9502 -1 1 2 1 1.956 0.005552 0 0.01586 1 1 9.461e-10 0.008577 0.01222 0.005296 0.07278 4.587 0.9988 0.006149 0.0095 1 1 0.009039 0.03875 0.2076 0.01001 0.04292 0.23 json
t14_x3_u4_b3 14 3 4 3 cil(add(div(P,D),P)) 49936 113810424 o1(o2(o2(x,x),x)) true 58455 58455 -0.09558 0.4258 0.9114 0.8861 0.9413 -1 1 2 1 1.896 0.3697 0 0.2302 1 1 0 0.6678 0.3892 0.3166 0.5626 2.445 2 0.4172 0.7536 1 1 0.389 1.445 0.2305 0.4391 1.631 0.2601 json
t14_x3_u4_b4 14 3 4 4 cil(add(pow(P,D),P)) 49937 113810425 o1(o2(o2(x,x),x)) true 58463 58463 -0.02152 0.5 0.9785 0.9739 0.9869 -1 1 2 1 1.244 0.004625 0 0.007937 1 1 -4.731e-10 0.007971 0.009631 0.00456 0.06753 8.509 1.001 0.004749 0.008185 1 1 0.006981 0.05009 0.3027 0.007168 0.05143 0.3108 json
t14_x3_u4_b5 14 3 4 5 cil(add(mod(P,D),P)) 49938 113810426 o1(o2(o2(x,x),x)) true 58471 58471 0.009726 0.5 0.9472 0.9365 0.9677 -1 1 2 1 1.65 0.001005 0 0.007939 1 1 -1.419e-9 0.0001502 0.002723 0.0009423 0.0307 3.867 0.2265 0.001073 0.0001604 1 1 0.002565 0.02848 0.2515 0.002739 0.03041 0.2686 json
t14_x3_u4_b6 14 3 4 6 cil(add(lrg(P,D),P)) 49939 113810427 o1(o2(o2(x,x),x)) true 58479 58479 0.04098 0.5313 0.959 0.9453 0.9723 -1 1 2 1 1.571 0.006022 0 0.01586 1 1 0 0.008334 0.01158 0.005766 0.07594 4.787 0.9988 0.006371 0.008816 1 1 0.01045 0.06016 0.2663 0.01105 0.06364 0.2817 json
t14_x3_u4_b7 14 3 4 7 cil(add(eql(P,D),P)) 49940 113810428 o1(o2(o2(x,x),x)) true 58487 58487 0 0.5 0.9375 0.924 0.9612 -1 1 2 1 1.813 0.0007059 0 0.007937 1 1 0 0.00003235 0.001851 0.0006432 0.02536 3.195 0.1169 0.0007639 0.00003501 1 1 0.001851 0.02449 0.2344 0.002003 0.0265 0.2537 json
t14_x3_u4_b8 14 3 4 8 cil(add(min(P,D),P)) 49941 113810429 o1(o2(o2(x,x),x)) true 58495 58495 -0.009727 0.5 0.9472 0.9365 0.9677 -1 1 2 1 1.65 0.001005 0 0.007937 1 1 4.731e-10 0.0001502 0.002719 0.0009424 0.0307 3.868 0.2265 0.001073 0.0001604 1 1 0.002565 0.02848 0.2515 0.002739 0.03041 0.2686 json
t14_x3_u4_b9 14 3 4 9 cil(add(dot(P,D),P)) 49942 113810430 o1(o2(o2(x,x),x)) true 58503 58503 0.0285 0.5141 0.9367 0.9177 0.958 -1 1 2 1 1.943 0.00365 0.01397 0.03849 -0.5857 1 0.0005972 0.04678 0.0594 0.01614 0.127 3.3 1.412 0.0192 0.05098 1 1 0.01949 0.07895 0.2385 0.02123 0.08603 0.2599 json
t14_x3_u4_b10 14 3 4 10 cil(add(dst(P,D),P)) 49943 113810431 o1(o2(o2(x,x),x)) true 58511 58511 0.9674 1 0.9674 0.01896 0.1377 0.0005821 1 0.9994 1 0.6535 0.00453 0.001152 0.01407 0.5945 1 0.00003188 0.01467 0.01781 0.005478 0.07402 5.261 1.399 0.2997 0.7736 1 1 0.00657 0.02255 0.02089 0.3465 1.189 1.102 json
t14_x3_u4_b11 14 3 4 11 cil(sub(add(P,D),P)) 49944 113810432 o1(o2(o2(x,x),x)) true 58519 58519 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
t14_x3_u4_b12 14 3 4 12 cil(sub(sub(P,D),P)) 49945 113810433 o1(o2(o2(x,x),x)) true 58527 58527 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
t14_x3_u4_b13 14 3 4 13 cil(sub(mlt(P,D),P)) 49946 113810434 o1(o2(o2(x,x),x)) true 58535 58535 0.01793 0.5 0.9196 0.9028 0.9502 -1 1 2 1 1.956 0.005552 0 0.01586 1 1 9.461e-10 0.008577 0.01222 0.005296 0.07278 4.587 0.9988 0.006149 0.009501 1 1 0.009039 0.03875 0.2076 0.01001 0.04292 0.23 json
t14_x3_u4_b14 14 3 4 14 cil(sub(div(P,D),P)) 49947 113810435 o1(o2(o2(x,x),x)) true 58543 58543 -0.09558 0.4258 0.9114 0.8861 0.9413 -1 1 2 1 1.896 0.3697 0 0.2302 1 1 0 0.6678 0.3892 0.3166 0.5626 2.445 2 0.4172 0.7536 1 1 0.389 1.44 0.2311 0.4391 1.626 0.2608 json
t14_x3_u4_b15 14 3 4 15 cil(sub(pow(P,D),P)) 49948 113810436 o1(o2(o2(x,x),x)) true 58551 58551 -0.8847 0 0.8847 0.09136 0.3023 -1 0 1 1 1.007 0.008934 0 0.01587 1 1 4.731e-10 0.01617 0.01859 0.008677 0.09315 5.871 1 0.09779 0.177 1 1 0.01297 0.05093 0.1121 0.142 0.5574 1.227 json
t14_x3_u4_b16 14 3 4 16 cil(sub(mod(P,D),P)) 49949 113810437 o1(o2(o2(x,x),x)) true 58559 58559 0.05469 0.5 0.8828 0.8669 0.9311 -1 1 2 1 1.997 0.008583 0 0.01582 1 1 -7.096e-10 0.01597 0.01767 0.00833 0.09127 5.77 0.9997 0.009902 0.01842 1 1 0.01218 0.02955 0.1698 0.01405 0.03409 0.1959 json
t14_x3_u4_b17 14 3 4 17 cil(sub(lrg(P,D),P)) 49950 113810438 o1(o2(o2(x,x),x)) true 58567 58567 0.09375 0.5 0.9063 0.89 0.9434 -1 1 2 1 1.668 0.004321 0 0.007937 1 1 4.731e-10 0.007953 0.008864 0.004257 0.06525 8.221 1 0.004855 0.008935 1 1 0.006189 0.0332 0.2014 0.006953 0.0373 0.2263 json
t14_x3_u4_b18 14 3 4 18 cil(sub(eql(P,D),P)) 49951 113810439 o1(o2(o2(x,x),x)) true 58575 58575 0 0.5 0.9375 0.924 0.9612 -1 1 2 1 1.813 0.0007059 0 0.007937 1 1 0 0.00003235 0.001851 0.0006432 0.02536 3.195 0.1169 0.0007639 0.00003501 1 1 0.001851 0.02449 0.2344 0.002003 0.0265 0.2537 json
t14_x3_u4_b19 14 3 4 19 cil(sub(min(P,D),P)) 49952 113810440 o1(o2(o2(x,x),x)) true 58583 58583 -0.4472 0 0.4472 0.2367 0.4866 -1 0 1 1 1.59 0.004966 0 0.0119 1 1 4.731e-10 0.008236 0.01066 0.004825 0.06946 5.838 0.9991 0.02098 0.03479 1 1 0.007711 0.02988 0.06998 0.03257 0.1262 0.2956 json
t14_x3_u4_b20 14 3 4 20 cil(sub(dot(P,D),P)) 49953 113810441 o1(o2(o2(x,x),x)) true 58591 58591 0.0285 0.5141 0.9367 0.9177 0.958 -1 1 2 1 1.943 0.00365 0.01397 0.0386 -0.5857 1 0.0005972 0.04678 0.0594 0.01612 0.127 3.29 1.403 0.0192 0.05098 1 1 0.01949 0.07895 0.2385 0.02123 0.08603 0.2599 json
t14_x3_u4_b21 14 3 4 21 cil(sub(dst(P,D),P)) 49954 113810442 o1(o2(o2(x,x),x)) true 58599 58599 0.9674 1 0.9674 0.01896 0.1377 0.0005821 1 0.9994 1 0.6535 0.004531 0.001152 0.01424 0.5946 1 0.00003188 0.01467 0.01781 0.005485 0.07406 5.201 1.383 0.2997 0.7736 1 1 0.006769 0.025 0.02207 0.357 1.318 1.164 json
t14_x3_u4_b22 14 3 4 22 cil(mlt(add(P,D),P)) 49955 113810443 o1(o2(o2(x,x),x)) true 58607 58607 0.9375 1 0.9375 0.04507 0.2123 0.000291 1 0.9997 1 0.8126 0.0007059 0 0.007934 1 1 -9.461e-10 0.00003241 0.001855 0.0006433 0.02536 3.197 0.1169 0.01566 0.0007193 1 1 0.001851 0.02408 0.06598 0.04107 0.5344 1.464 json
t14_x3_u4_b23 14 3 4 23 cil(mlt(sub(P,D),P)) 49956 113810444 o1(o2(o2(x,x),x)) true 58615 58615 0.9569 1 0.9569 0.03358 0.1833 0.0005821 1 0.9994 1 0.4876 0.001303 0 0.007932 1 1 -1.892e-9 0.0002683 0.003596 0.001239 0.0352 4.438 0.2265 0.03881 0.007989 1 1 0.003279 0.03105 0.04776 0.09765 0.9245 1.422 json
t14_x3_u4_b24 14 3 4 24 cil(mlt(mlt(P,D),P)) 49957 113810445 o1(o2(o2(x,x),x)) true 58623 58623 0.1844 0.6172 0.7528 0.6782 0.8235 -1 1 2 1 2.91 0.2225 0 0.2155 1 1 -9.461e-10 0.3617 0.3116 0.1761 0.4197 1.948 1.992 0.3281 0.5333 1 1 0.2061 0.8377 0.1246 0.3039 1.235 0.1838 json
t14_x3_u4_b25 14 3 4 25 cil(mlt(div(P,D),P)) 49958 113810446 o1(o2(o2(x,x),x)) true 58631 58631 0.01739 0.5117 0.9396 0.9288 0.9637 -1 1 2 1 1.624 0.4153 0 0.2302 1 1 0 0.7981 0.4258 0.3622 0.6018 2.615 2 0.4472 0.8593 1 1 0.4145 1.537 0.1879 0.4462 1.655 0.2023 json
t14_x3_u4_b26 14 3 4 26 cil(mlt(pow(P,D),P)) 49959 113810447 o1(o2(o2(x,x),x)) true 58639 58639 -0.03125 0.5 0.9688 0.9603 0.98 -1 1 2 1 1.406 0.004323 0 0.007937 1 1 -9.386e-13 0.007903 0.008812 0.004259 0.06526 8.223 1 0.004502 0.008229 1 1 0.006228 0.03975 0.2856 0.006485 0.04139 0.2974 json
t14_x3_u4_b27 14 3 4 27 cil(mlt(mod(P,D),P)) 49960 113810448 o1(o2(o2(x,x),x)) true 58647 58647 0.8056 0.9922 0.8056 0.1421 0.377 0 1 1 1 1.289 0.1397 0 0.1488 1 1 1.703e-8 0.3364 0.2836 0.1176 0.3429 2.305 0.9997 0.9833 2.367 1 1 0.1108 0.1427 0.06944 0.7795 1.004 0.4887 json
t14_x3_u4_b28 14 3 4 28 cil(mlt(lrg(P,D),P)) 49961 113810449 o1(o2(o2(x,x),x)) true 58655 58655 0.4688 0.5 0.4688 0.2423 0.4922 0 1 1 1 1.326 0.0003529 0 0.003968 1 1 -4.731e-10 0.00001619 0.0009276 0.0003372 0.01836 4.628 0.1169 0.001457 0.00006684 1 1 0.0009255 0.01214 0.0751 0.00382 0.05012 0.31 json
t14_x3_u4_b29 14 3 4 29 cil(mlt(eql(P,D),P)) 49962 113810450 o1(o2(o2(x,x),x)) true 58663 58663 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_x3_u4_b30 14 3 4 30 cil(mlt(min(P,D),P)) 49963 113810451 o1(o2(o2(x,x),x)) true 58671 58671 0.6175 0.8477 0.6937 0.2562 0.5061 -0.8866 1 1.887 1 2.704 0.06432 0 0.1214 1 1 0.003339 0.1391 0.1816 0.04957 0.2226 1.834 0.9994 0.2511 0.5431 1 1 0.05348 0.1903 0.09035 0.2088 0.7427 0.3527 json
t14_x3_u4_b31 14 3 4 31 cil(mlt(dot(P,D),P)) 49964 113810452 o1(o2(o2(x,x),x)) true 58679 58679 0.1425 0.587 0.7917 0.7223 0.8499 -1 1 2 1 3.14 0.1549 0.1075 0.2553 0.1805 1 0.0007582 0.614 0.4031 0.1972 0.4441 1.739 2.828 0.3632 0.8502 1 1 0.2402 0.9465 0.2338 0.3326 1.31 0.3237 json
t14_x3_u4_b32 14 3 4 32 cil(mlt(dst(P,D),P)) 49965 113810453 o1(o2(o2(x,x),x)) true 58687 58687 0.003394 0.5 0.9656 0.9595 0.9796 -1 1 2 1 1.445 0.002141 0.00008732 0.008641 0.9216 1 -1.032e-11 0.001834 0.006517 0.002155 0.04642 5.372 1.205 0.002322 0.001911 1 1 0.004667 0.03753 0.2794 0.004864 0.03912 0.2911 json
t14_x3_u4_b33 14 3 4 33 cil(div(add(P,D),P)) 49966 113810454 o1(o2(o2(x,x),x)) true 58695 58695 0.75 0.875 1 0.4375 0.6614 -1 1 2 1 0.5436 0.03175 0 0.01587 1 1 0 0.06349 0.03175 0.03149 0.1774 11.18 2 0.07256 0.1451 1 1 0.04211 0.1684 0.6737 0.09624 0.385 1.54 json
t14_x3_u4_b34 14 3 4 34 cil(div(sub(P,D),P)) 49967 113810455 o1(o2(o2(x,x),x)) true 58703 58703 0.875 0.9375 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
t14_x3_u4_b35 14 3 4 35 cil(div(mlt(P,D),P)) 49968 113810456 o1(o2(o2(x,x),x)) true 58711 58711 0.3125 0.875 0.5625 0.3702 0.6084 -1 0.9997 2 1 3.523 0.07235 0 0.1149 1 1 0 0.1364 0.1318 0.05916 0.2432 2.118 2 0.1955 0.3685 1 1 0.0796 0.2919 0.4028 0.215 0.7886 1.088 json
t14_x3_u4_b36 14 3 4 36 cil(div(div(P,D),P)) 49969 113810457 o1(o2(o2(x,x),x)) true 58719 58719 -0.06597 0.4375 0.941 0.915 0.9566 -1 1 2 1 1.498 0.3077 0 0.2143 1 1 0 0.5376 0.3434 0.2618 0.5117 2.388 2 0.3363 0.5876 1 1 0.333 1.49 0.3441 0.3639 1.628 0.376 json
t14_x3_u4_b37 14 3 4 37 cil(div(pow(P,D),P)) 49970 113810458 o1(o2(o2(x,x),x)) true 58727 58727 -0.125 0.4375 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
t14_x3_u4_b38 14 3 4 38 cil(div(mod(P,D),P)) 49971 113810459 o1(o2(o2(x,x),x)) true 58735 58735 0.6255 0.875 0.8755 0.484 0.6957 -1 1 2 1 1.061 0.1409 0 0.1419 1 1 2.365e-8 0.3267 0.2679 0.1207 0.3475 2.449 1 0.2912 0.675 1 1 0.1204 0.2671 0.6254 0.2488 0.552 1.292 json
t14_x3_u4_b39 14 3 4 39 cil(div(lrg(P,D),P)) 49972 113810460 o1(o2(o2(x,x),x)) true 58743 58743 0.4375 0.5 0.5625 0.3711 0.6092 -1 1 2 1 1.272 0.03571 0 0.01984 1 1 0 0.07143 0.03968 0.03531 0.1879 9.471 2 0.09624 0.1925 1 1 0.04737 0.1895 0.2526 0.1276 0.5106 0.6808 json
t14_x3_u4_b40 14 3 4 40 cil(div(eql(P,D),P)) 49973 113810461 o1(o2(o2(x,x),x)) true 58751 58751 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_x3_u4_b41 14 3 4 41 cil(div(min(P,D),P)) 49974 113810462 o1(o2(o2(x,x),x)) true 58759 58759 0.5313 0.875 0.7813 0.4514 0.6719 -1 1 2 1 2.582 0.058 0 0.06741 1 1 -0.00008984 0.1119 0.08574 0.05346 0.2312 3.43 2 0.1285 0.2479 1 1 0.06999 0.257 0.5383 0.155 0.5693 1.192 json
t14_x3_u4_b42 14 3 4 42 cil(div(dot(P,D),P)) 49975 113810463 o1(o2(o2(x,x),x)) true 58767 58767 0.3036 0.8547 0.562 0.3412 0.5841 -1 1 2 1 4.081 0.05396 0.03558 0.1632 0.2052 1 0.0001454 0.271 0.2344 0.0629 0.2508 1.537 2.235 0.2624 0.7943 1 1 0.09108 0.2933 0.443 0.2669 0.8595 1.298 json
t14_x3_u4_b43 14 3 4 43 cil(div(dst(P,D),P)) 49976 113810464 o1(o2(o2(x,x),x)) true 58775 58775 -0.0892 0.4375 0.9642 0.9415 0.9703 -1 1 2 1 1.646 0.02052 0.001162 0.02266 0.8928 1 -0.00003734 0.04681 0.03354 0.02116 0.1455 6.421 2 0.02303 0.04972 1 1 0.02783 0.1079 0.358 0.02956 0.1147 0.3803 json
t14_x3_u4_b44 14 3 4 44 cil(pow(add(P,D),P)) 49977 113810465 o1(o2(o2(x,x),x)) true 58783 58783 0 0.5 1 1 1 -1 1 2 1 1 0.01587 0 0.007937 1 1 0 0.03175 0.01587 0.01581 0.1257 15.84 2 0.01587 0.03175 1 1 0.02105 0.08421 0.3368 0.02105 0.08421 0.3368 json
t14_x3_u4_b45 14 3 4 45 cil(pow(sub(P,D),P)) 49978 113810466 o1(o2(o2(x,x),x)) true 58791 58791 0 0.5 1 1 1 -1 1 2 1 1 0.01587 0 0.007937 1 1 0 0.03175 0.01587 0.01581 0.1257 15.84 2 0.01587 0.03175 1 1 0.02105 0.08421 0.3368 0.02105 0.08421 0.3368 json
t14_x3_u4_b46 14 3 4 46 cil(pow(mlt(P,D),P)) 49979 113810467 o1(o2(o2(x,x),x)) true 58799 58799 -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_x3_u4_b47 14 3 4 47 cil(pow(div(P,D),P)) 49980 113810468 o1(o2(o2(x,x),x)) true 58807 58807 -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_x3_u4_b48 14 3 4 48 cil(pow(pow(P,D),P)) 49981 113810469 o1(o2(o2(x,x),x)) true 58815 58815 0 0.5 1 1 1 -1 1 2 1 1 0.01587 0 0.007937 1 1 0 0.03175 0.01587 0.01581 0.1257 15.84 2 0.01587 0.03175 1 1 0.02105 0.08421 0.3368 0.02105 0.08421 0.3368 json
t14_x3_u4_b49 14 3 4 49 cil(pow(mod(P,D),P)) 49982 113810470 o1(o2(o2(x,x),x)) true 58823 58823 -0.06616 0.5 0.9338 0.9289 0.9638 -1 1 2 1 1.283 0.08634 0 0.07888 1 1 1.325e-8 0.203 0.1578 0.0801 0.283 3.588 2 0.09295 0.2186 1 1 0.07862 0.152 0.3257 0.08464 0.1636 0.3506 json
t14_x3_u4_b50 14 3 4 50 cil(pow(lrg(P,D),P)) 49983 113810471 o1(o2(o2(x,x),x)) true 58831 58831 0 0.5 1 1 1 -1 1 2 1 1 0.01587 0 0.007937 1 1 0 0.03175 0.01587 0.01581 0.1257 15.84 2 0.01587 0.03175 1 1 0.02105 0.08421 0.3368 0.02105 0.08421 0.3368 json
t14_x3_u4_b51 14 3 4 51 cil(pow(eql(P,D),P)) 49984 113810472 o1(o2(o2(x,x),x)) true 58839 58839 -0.4688 0.0625 0.5313 0.3046 0.5519 -1 0.9997 2 1 1.406 0.01622 0 0.0119 1 1 -4.731e-10 0.03186 0.0168 0.01607 0.1268 10.65 2 0.05326 0.1046 1 1 0.0219 0.08325 0.1593 0.0719 0.2733 0.523 json
t14_x3_u4_b52 14 3 4 52 cil(pow(min(P,D),P)) 49985 113810473 o1(o2(o2(x,x),x)) true 58847 58847 -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_x3_u4_b53 14 3 4 53 cil(pow(dot(P,D),P)) 49986 113810474 o1(o2(o2(x,x),x)) true 58855 58855 -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_x3_u4_b54 14 3 4 54 cil(pow(dst(P,D),P)) 49987 113810475 o1(o2(o2(x,x),x)) true 58863 58863 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
t14_x3_u4_b55 14 3 4 55 cil(mod(add(P,D),P)) 49988 113810476 o1(o2(o2(x,x),x)) true 58871 58871 0.002749 0.4375 0.8722 0.8496 0.9217 -1 1 2 1 2.105 0.04986 0 0.06343 1 1 1.892e-9 0.09166 0.08868 0.04581 0.214 3.375 2 0.05869 0.1079 1 1 0.05607 0.1834 0.3707 0.066 0.2158 0.4364 json
t14_x3_u4_b56 14 3 4 56 cil(mod(sub(P,D),P)) 49989 113810477 o1(o2(o2(x,x),x)) true 58879 58879 0.05255 0.4375 0.8224 0.7993 0.894 -1 1 2 1 2.291 0.04849 0 0.05878 1 1 0.0005391 0.08999 0.08451 0.04502 0.2122 3.61 2 0.06066 0.1126 1 1 0.05395 0.1969 0.4254 0.0675 0.2463 0.5322 json
t14_x3_u4_b57 14 3 4 57 cil(mod(mlt(P,D),P)) 49990 113810478 o1(o2(o2(x,x),x)) true 58887 58887 0.1725 0.6953 0.5749 0.4462 0.668 -1 1 2 1 3.999 0.1489 0 0.2395 1 1 0.006679 0.326 0.3773 0.09158 0.3026 1.264 1.999 0.3337 0.7307 1 1 0.134 0.4296 0.3797 0.3004 0.9629 0.851 json
t14_x3_u4_b58 14 3 4 58 cil(mod(div(P,D),P)) 49991 113810479 o1(o2(o2(x,x),x)) true 58895 58895 -0.07501 0.4688 0.828 0.7857 0.8864 -1 1 2 1 2.505 0.5707 0 0.4211 1 1 3.784e-9 1.493 0.7082 0.3935 0.6273 1.49 2 0.7264 1.901 1 1 0.3563 1.021 0.3342 0.4535 1.3 0.4254 json
t14_x3_u4_b59 14 3 4 59 cil(mod(pow(P,D),P)) 49992 113810480 o1(o2(o2(x,x),x)) true 58903 58903 -0.1563 0.4375 0.9688 0.9369 0.9679 -1 1 2 1 1.385 0.004323 0 0.007937 1 1 -9.386e-13 0.007903 0.008812 0.004259 0.06526 8.223 1 0.004615 0.008435 1 1 0.006228 0.03975 0.2856 0.006647 0.04243 0.3049 json
t14_x3_u4_b60 14 3 4 60 cil(mod(mod(P,D),P)) 49993 113810481 o1(o2(o2(x,x),x)) true 58911 58911 0.2502 0.4375 0.5002 0.4374 0.6614 -1 1 2 1 1.406 0.07444 0 0.07491 1 1 1.183e-8 0.1713 0.1419 0.06882 0.2623 3.502 1 0.1702 0.3916 1 1 0.06809 0.1572 0.3994 0.1557 0.3595 0.9131 json
t14_x3_u4_b61 14 3 4 61 cil(mod(lrg(P,D),P)) 49994 113810482 o1(o2(o2(x,x),x)) true 58919 58919 0.2813 0.4375 0.5313 0.445 0.6671 -1 1 2 1 1.736 0.008292 0 0.0119 1 1 -9.386e-13 0.01584 0.01675 0.008154 0.0903 7.585 1 0.01863 0.0356 1 1 0.01149 0.0608 0.3698 0.02582 0.1366 0.8311 json
t14_x3_u4_b62 14 3 4 62 cil(mod(eql(P,D),P)) 49995 113810483 o1(o2(o2(x,x),x)) true 58927 58927 -0.125 0 0.125 0.1094 0.3307 -1 0 1 1 0.5436 0.007937 0 0.007937 1 1 0 0.01587 0.01587 0.007872 0.08872 11.18 1 0.07256 0.1451 1 1 0.01053 0.04211 0.1684 0.09624 0.385 1.54 json
t14_x3_u4_b63 14 3 4 63 cil(mod(min(P,D),P)) 49996 113810484 o1(o2(o2(x,x),x)) true 58935 58935 -0.1565 0.4375 0.594 0.5121 0.7156 -1 0.9997 2 1 3.237 0.05016 0 0.07848 1 1 0.0005391 0.09036 0.08887 0.04398 0.2097 2.672 2 0.09794 0.1764 1 1 0.06089 0.246 0.3249 0.1189 0.4804 0.6344 json
t14_x3_u4_b64 14 3 4 64 cil(mod(dot(P,D),P)) 49997 113810485 o1(o2(o2(x,x),x)) true 58943 58943 0.04651 0.5709 0.626 0.5196 0.7208 -1 1 2 1 4.356 0.1237 0.1049 0.3125 0.0826 1 0.004115 0.7892 0.5783 0.131 0.3619 1.158 2.828 0.44 1.519 1 1 0.1887 0.6174 0.4404 0.3632 1.188 0.8476 json
t14_x3_u4_b65 14 3 4 65 cil(mod(dst(P,D),P)) 49998 113810486 o1(o2(o2(x,x),x)) true 58951 58951 0.75 0.875 1 0.4375 0.6614 -1 1 2 1 0.5436 0.03175 0 0.01587 1 1 0 0.06349 0.03175 0.03149 0.1774 11.18 2 0.07256 0.1451 1 1 0.04211 0.1684 0.6737 0.09624 0.385 1.54 json
t14_x3_u4_b66 14 3 4 66 cil(lrg(add(P,D),P)) 49999 113810487 o1(o2(o2(x,x),x)) true 58959 58959 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