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
t18_x0_u0_b34 18 0 0 34 add(P,div(P,sub(P,P))) 120400 146170852 o2(x,o2(x,o2(x,x))) true 123207 123207 -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
t18_x0_u0_b35 18 0 0 35 add(P,div(P,mlt(P,P))) 120401 146170853 o2(x,o2(x,o2(x,x))) true 123215 123215 -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
t18_x0_u0_b36 18 0 0 36 add(P,div(P,div(P,P))) 120402 146170854 o2(x,o2(x,o2(x,x))) true 123223 123223 -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
t18_x0_u0_b37 18 0 0 37 add(P,div(P,pow(P,P))) 120403 146170855 o2(x,o2(x,o2(x,x))) true 123231 123231 -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
t18_x0_u0_b38 18 0 0 38 add(P,div(P,mod(P,P))) 120404 146170856 o2(x,o2(x,o2(x,x))) true 123239 123239 -0.625 0.1875 1 0.6094 0.7806 -1 1 2 1 0.6962 0.04762 0 0.02381 1 1 0 0.09524 0.04762 0.04704 0.2169 9.109 2 0.07814 0.1563 1 1 0.05263 0.2421 0.6632 0.08637 0.3973 1.088 json
t18_x0_u0_b39 18 0 0 39 add(P,div(P,lrg(P,P))) 120405 146170857 o2(x,o2(x,o2(x,x))) true 123247 123247 -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
t18_x0_u0_b40 18 0 0 40 add(P,div(P,eql(P,P))) 120406 146170858 o2(x,o2(x,o2(x,x))) true 123255 123255 0 0.5 0.9569 0.9494 0.9744 -1 1 2 1 1.488 0.001303 0 0.007937 1 1 0 0.0002681 0.003586 0.001241 0.03522 4.438 0.2265 0.001373 0.0002824 1 1 0.003279 0.03268 0.2686 0.003454 0.03442 0.2829 json
t18_x0_u0_b41 18 0 0 41 add(P,div(P,min(P,P))) 120407 146170859 o2(x,o2(x,o2(x,x))) true 123263 123263 -0.09375 0.4375 0.9688 0.9525 0.976 -1 1 2 1 1.404 0.02019 0 0.01587 1 1 0 0.03975 0.02473 0.01993 0.1412 8.896 2 0.0212 0.04173 1 1 0.0272 0.1109 0.3698 0.02856 0.1164 0.3883 json
t18_x0_u0_b42 18 0 0 42 add(P,div(P,dot(P,P))) 120408 146170860 o2(x,o2(x,o2(x,x))) true 123271 123271 -0.01563 0.4922 0.9484 0.9374 0.9682 -1 1 2 1 1.671 0.002719 0.001547 0.008905 0.2745 1 1.502e-11 0.007453 0.0058 0.004188 0.06472 7.268 2.828 0.004551 0.00795 1 1 0.008067 0.04725 0.301 0.008605 0.05041 0.3211 json
t18_x0_u0_b43 18 0 0 43 add(P,div(P,dst(P,P))) 120409 146170861 o2(x,o2(x,o2(x,x))) true 123279 123279 -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
t18_x0_u0_b44 18 0 0 44 add(P,pow(P,add(P,P))) 120410 146170862 o2(x,o2(x,o2(x,x))) true 123287 123287 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
t18_x0_u0_b45 18 0 0 45 add(P,pow(P,sub(P,P))) 120411 146170863 o2(x,o2(x,o2(x,x))) true 123295 123295 0.125 0.5625 0.9375 0.9084 0.9531 -1 1 2 1 1.8 0.0007059 0 0.007937 1 1 0 0.00003235 0.001851 0.0006432 0.02536 3.195 0.1169 0.0007771 0.00003562 1 1 0.001851 0.02449 0.2344 0.002038 0.02696 0.2581 json
t18_x0_u0_b46 18 0 0 46 add(P,pow(P,mlt(P,P))) 120412 146170864 o2(x,o2(x,o2(x,x))) true 123303 123303 -0.125 0.4375 1 0.9844 0.9922 -1 1 2 1 0.9887 0.03175 0 0.01587 1 1 0 0.06349 0.03175 0.03149 0.1774 11.18 2 0.03225 0.0645 1 1 0.02105 0.08421 0.4947 0.02139 0.08555 0.5026 json
t18_x0_u0_b47 18 0 0 47 add(P,pow(P,div(P,P))) 120413 146170865 o2(x,o2(x,o2(x,x))) true 123311 123311 -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
t18_x0_u0_b48 18 0 0 48 add(P,pow(P,pow(P,P))) 120414 146170866 o2(x,o2(x,o2(x,x))) true 123319 123319 -0.5215 0.25 0.9785 0.7029 0.8384 -1 1 2 1 1.022 0.0205 0 0.01587 1 1 0 0.03972 0.0255 0.02024 0.1423 8.963 2 0.02916 0.0565 1 1 0.02803 0.1343 0.6396 0.03988 0.1911 0.9099 json
t18_x0_u0_b49 18 0 0 49 add(P,pow(P,mod(P,P))) 120415 146170867 o2(x,o2(x,o2(x,x))) true 123327 123327 -0.09375 0.4375 0.9688 0.9525 0.976 -1 1 2 1 1.404 0.02019 0 0.01587 1 1 0 0.03975 0.02473 0.01993 0.1412 8.896 2 0.0212 0.04173 1 1 0.0272 0.1109 0.3698 0.02856 0.1164 0.3883 json
t18_x0_u0_b50 18 0 0 50 add(P,pow(P,lrg(P,P))) 120416 146170868 o2(x,o2(x,o2(x,x))) true 123335 123335 0.125 0.5625 0.9375 0.9084 0.9531 -1 1 2 1 1.8 0.0007059 0 0.007937 1 1 0 0.00003235 0.001851 0.0006432 0.02536 3.195 0.1169 0.0007771 0.00003562 1 1 0.001851 0.02449 0.2344 0.002038 0.02696 0.2581 json
t18_x0_u0_b51 18 0 0 51 add(P,pow(P,eql(P,P))) 120417 146170869 o2(x,o2(x,o2(x,x))) true 123343 123343 0 0.5 0.9569 0.9494 0.9744 -1 1 2 1 1.488 0.001303 0 0.007937 1 1 0 0.0002681 0.003586 0.001241 0.03522 4.438 0.2265 0.001373 0.0002824 1 1 0.003279 0.03268 0.2686 0.003454 0.03442 0.2829 json
t18_x0_u0_b52 18 0 0 52 add(P,pow(P,min(P,P))) 120418 146170870 o2(x,o2(x,o2(x,x))) true 123351 123351 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
t18_x0_u0_b53 18 0 0 53 add(P,pow(P,dot(P,P))) 120419 146170871 o2(x,o2(x,o2(x,x))) true 123359 123359 -0.4029 0.3086 0.9799 0.8138 0.9021 -1 1 2 1 1.112 0.02115 0.006061 0.01893 0.5545 1 -6.007e-11 0.05473 0.03199 0.02686 0.1639 8.657 2.828 0.03344 0.06725 1 1 0.02893 0.1581 0.7451 0.03555 0.1942 0.9155 json
t18_x0_u0_b54 18 0 0 54 add(P,pow(P,dst(P,P))) 120420 146170872 o2(x,o2(x,o2(x,x))) true 123367 123367 0.125 0.5625 0.9375 0.9084 0.9531 -1 1 2 1 1.8 0.0007059 0 0.007937 1 1 0 0.00003235 0.001851 0.0006432 0.02536 3.195 0.1169 0.0007771 0.00003562 1 1 0.001851 0.02449 0.2344 0.002038 0.02696 0.2581 json
t18_x0_u0_b55 18 0 0 55 add(P,mod(P,add(P,P))) 120421 146170873 o2(x,o2(x,o2(x,x))) true 123375 123375 -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
t18_x0_u0_b56 18 0 0 56 add(P,mod(P,sub(P,P))) 120422 146170874 o2(x,o2(x,o2(x,x))) true 123383 123383 0 0.5 0.9569 0.9494 0.9744 -1 1 2 1 1.488 0.001303 0 0.007937 1 1 0 0.0002681 0.003586 0.001241 0.03522 4.438 0.2265 0.001373 0.0002824 1 1 0.003279 0.03268 0.2686 0.003454 0.03442 0.2829 json
t18_x0_u0_b57 18 0 0 57 add(P,mod(P,mlt(P,P))) 120423 146170875 o2(x,o2(x,o2(x,x))) true 123391 123391 -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
t18_x0_u0_b58 18 0 0 58 add(P,mod(P,div(P,P))) 120424 146170876 o2(x,o2(x,o2(x,x))) true 123399 123399 -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
t18_x0_u0_b59 18 0 0 59 add(P,mod(P,pow(P,P))) 120425 146170877 o2(x,o2(x,o2(x,x))) true 123407 123407 -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
t18_x0_u0_b60 18 0 0 60 add(P,mod(P,mod(P,P))) 120426 146170878 o2(x,o2(x,o2(x,x))) true 123415 123415 -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.01053 0.07368 0.1684 0.04491 0.3144 0.7186 json
t18_x0_u0_b61 18 0 0 61 add(P,mod(P,lrg(P,P))) 120427 146170879 o2(x,o2(x,o2(x,x))) true 123423 123423 -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
t18_x0_u0_b62 18 0 0 62 add(P,mod(P,eql(P,P))) 120428 146170880 o2(x,o2(x,o2(x,x))) true 123431 123431 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
t18_x0_u0_b63 18 0 0 63 add(P,mod(P,min(P,P))) 120429 146170881 o2(x,o2(x,o2(x,x))) true 123439 123439 -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
t18_x0_u0_b64 18 0 0 64 add(P,mod(P,dot(P,P))) 120430 146170882 o2(x,o2(x,o2(x,x))) true 123447 123447 -0.01563 0.4922 0.9623 0.9552 0.9774 -1 1 2 1 1.437 0.003153 0.001607 0.008901 0.3248 1 0 0.007752 0.007141 0.004686 0.06846 7.691 2.828 0.004984 0.008116 1 1 0.0091 0.05267 0.3253 0.009527 0.05514 0.3406 json
t18_x0_u0_b65 18 0 0 65 add(P,mod(P,dst(P,P))) 120431 146170883 o2(x,o2(x,o2(x,x))) true 123455 123455 0 0.5 0.9569 0.9494 0.9744 -1 1 2 1 1.488 0.001303 0 0.007937 1 1 0 0.0002681 0.003586 0.001241 0.03522 4.438 0.2265 0.001373 0.0002824 1 1 0.003279 0.03268 0.2686 0.003454 0.03442 0.2829 json
t18_x0_u0_b66 18 0 0 66 add(P,lrg(P,add(P,P))) 120432 146170884 o2(x,o2(x,o2(x,x))) true 123463 123463 0.0625 0.5 0.875 0.8576 0.926 -1 1 2 1 2.027 0.0007059 0 0.007937 1 1 0 0.00003238 0.001855 0.0006432 0.02536 3.195 0.1169 0.0008231 0.00003776 1 1 0.001851 0.02429 0.1593 0.002158 0.02832 0.1858 json
t18_x0_u0_b67 18 0 0 67 add(P,lrg(P,sub(P,P))) 120433 146170885 o2(x,o2(x,o2(x,x))) true 123471 123471 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
t18_x0_u0_b68 18 0 0 68 add(P,lrg(P,mlt(P,P))) 120434 146170886 o2(x,o2(x,o2(x,x))) true 123479 123479 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
t18_x0_u0_b69 18 0 0 69 add(P,lrg(P,div(P,P))) 120435 146170887 o2(x,o2(x,o2(x,x))) true 123487 123487 0.0625 0.5313 0.9806 0.969 0.9844 -1 1 2 1 1.326 0.001412 0 0.007937 1 1 0 0.00006477 0.001855 0.001349 0.03673 4.628 0.2338 0.001457 0.00006684 1 1 0.003702 0.04857 0.3004 0.00382 0.05012 0.31 json
t18_x0_u0_b70 18 0 0 70 add(P,lrg(P,pow(P,P))) 120436 146170888 o2(x,o2(x,o2(x,x))) true 123495 123495 0.0625 0.5 0.875 0.8576 0.926 -1 1 2 1 2.027 0.0007059 0 0.007937 1 1 0 0.00003238 0.001855 0.0006432 0.02536 3.195 0.1169 0.0008231 0.00003776 1 1 0.001851 0.02429 0.1593 0.002158 0.02832 0.1858 json
t18_x0_u0_b71 18 0 0 71 add(P,lrg(P,mod(P,P))) 120437 146170889 o2(x,o2(x,o2(x,x))) true 123503 123503 0.0625 0.5313 0.9806 0.969 0.9844 -1 1 2 1 1.326 0.001412 0 0.007937 1 1 0 0.00006477 0.001855 0.001349 0.03673 4.628 0.2338 0.001457 0.00006684 1 1 0.003702 0.04857 0.3004 0.00382 0.05012 0.31 json
t18_x0_u0_b72 18 0 0 72 add(P,lrg(P,lrg(P,P))) 120438 146170890 o2(x,o2(x,o2(x,x))) true 123511 123511 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
t18_x0_u0_b73 18 0 0 73 add(P,lrg(P,eql(P,P))) 120439 146170891 o2(x,o2(x,o2(x,x))) true 123519 123519 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
t18_x0_u0_b74 18 0 0 74 add(P,lrg(P,min(P,P))) 120440 146170892 o2(x,o2(x,o2(x,x))) true 123527 123527 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
t18_x0_u0_b75 18 0 0 75 add(P,lrg(P,dot(P,P))) 120441 146170893 o2(x,o2(x,o2(x,x))) true 123535 123535 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
t18_x0_u0_b76 18 0 0 76 add(P,lrg(P,dst(P,P))) 120442 146170894 o2(x,o2(x,o2(x,x))) true 123543 123543 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
t18_x0_u0_b77 18 0 0 77 add(P,eql(P,add(P,P))) 120443 146170895 o2(x,o2(x,o2(x,x))) true 123551 123551 0.0625 0.5313 0.9806 0.969 0.9844 -1 1 2 1 1.326 0.001412 0 0.007937 1 1 0 0.00006477 0.001855 0.001349 0.03673 4.628 0.2338 0.001457 0.00006684 1 1 0.003702 0.04857 0.3004 0.00382 0.05012 0.31 json
t18_x0_u0_b78 18 0 0 78 add(P,eql(P,sub(P,P))) 120444 146170896 o2(x,o2(x,o2(x,x))) true 123559 123559 0.0625 0.5313 0.9806 0.969 0.9844 -1 1 2 1 1.326 0.001412 0 0.007937 1 1 0 0.00006477 0.001855 0.001349 0.03673 4.628 0.2338 0.001457 0.00006684 1 1 0.003702 0.04857 0.3004 0.00382 0.05012 0.31 json
t18_x0_u0_b79 18 0 0 79 add(P,eql(P,mlt(P,P))) 120445 146170897 o2(x,o2(x,o2(x,x))) true 123567 123567 0.0625 0.5313 0.9806 0.969 0.9844 -1 1 2 1 1.326 0.001412 0 0.007937 1 1 0 0.00006477 0.001855 0.001349 0.03673 4.628 0.2338 0.001457 0.00006684 1 1 0.003702 0.04857 0.3004 0.00382 0.05012 0.31 json
t18_x0_u0_b80 18 0 0 80 add(P,eql(P,div(P,P))) 120446 146170898 o2(x,o2(x,o2(x,x))) true 123575 123575 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
t18_x0_u0_b81 18 0 0 81 add(P,eql(P,pow(P,P))) 120447 146170899 o2(x,o2(x,o2(x,x))) true 123583 123583 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
t18_x0_u0_b82 18 0 0 82 add(P,eql(P,mod(P,P))) 120448 146170900 o2(x,o2(x,o2(x,x))) true 123591 123591 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
t18_x0_u0_b83 18 0 0 83 add(P,eql(P,lrg(P,P))) 120449 146170901 o2(x,o2(x,o2(x,x))) true 123599 123599 0.0625 0.5313 0.9806 0.969 0.9844 -1 1 2 1 1.326 0.001412 0 0.007937 1 1 0 0.00006477 0.001855 0.001349 0.03673 4.628 0.2338 0.001457 0.00006684 1 1 0.003702 0.04857 0.3004 0.00382 0.05012 0.31 json
t18_x0_u0_b84 18 0 0 84 add(P,eql(P,eql(P,P))) 120450 146170902 o2(x,o2(x,o2(x,x))) true 123607 123607 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
t18_x0_u0_b85 18 0 0 85 add(P,eql(P,min(P,P))) 120451 146170903 o2(x,o2(x,o2(x,x))) true 123615 123615 0.125 0.5625 0.9375 0.9084 0.9531 -1 1 2 1 1.8 0.0007059 0 0.007937 1 1 0 0.00003235 0.001851 0.0006432 0.02536 3.195 0.1169 0.0007771 0.00003562 1 1 0.001851 0.02449 0.2344 0.002038 0.02696 0.2581 json
t18_x0_u0_b86 18 0 0 86 add(P,eql(P,dot(P,P))) 120452 146170904 o2(x,o2(x,o2(x,x))) true 123623 123623 0.004188 0.5027 0.9403 0.9268 0.9627 -1 1 2 1 1.803 0.0007458 0.00003997 0.008196 0.8983 1 5.561e-11 0.00004759 0.001936 0.0007189 0.02681 3.271 0.2338 0.0008478 0.00005135 1 1 0.002124 0.02786 0.2443 0.002292 0.03006 0.2636 json
t18_x0_u0_b87 18 0 0 87 add(P,eql(P,dst(P,P))) 120453 146170905 o2(x,o2(x,o2(x,x))) true 123631 123631 0.0625 0.5313 0.9806 0.969 0.9844 -1 1 2 1 1.326 0.001412 0 0.007937 1 1 0 0.00006477 0.001855 0.001349 0.03673 4.628 0.2338 0.001457 0.00006684 1 1 0.003702 0.04857 0.3004 0.00382 0.05012 0.31 json
t18_x0_u0_b88 18 0 0 88 add(P,min(P,add(P,P))) 120454 146170906 o2(x,o2(x,o2(x,x))) true 123639 123639 -0.003595 0.5 0.9605 0.9538 0.9766 -1 1 2 1 1.433 0.001539 0 0.007937 1 1 -4.731e-10 0.0005443 0.004233 0.001476 0.03841 4.84 0.3082 0.001613 0.0005706 1 1 0.003721 0.03425 0.2746 0.003901 0.03591 0.2879 json
t18_x0_u0_b89 18 0 0 89 add(P,min(P,sub(P,P))) 120455 146170907 o2(x,o2(x,o2(x,x))) true 123647 123647 -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
t18_x0_u0_b90 18 0 0 90 add(P,min(P,mlt(P,P))) 120456 146170908 o2(x,o2(x,o2(x,x))) true 123655 123655 0 0.5 0.9569 0.9494 0.9744 -1 1 2 1 1.488 0.001303 0 0.007937 1 1 0 0.0002681 0.003586 0.001241 0.03522 4.438 0.2265 0.001373 0.0002824 1 1 0.003279 0.03268 0.2686 0.003454 0.03442 0.2829 json
t18_x0_u0_b91 18 0 0 91 add(P,min(P,div(P,P))) 120457 146170909 o2(x,o2(x,o2(x,x))) true 123663 123663 0 0.5 0.9569 0.9494 0.9744 -1 1 2 1 1.488 0.001303 0 0.007937 1 1 0 0.0002681 0.003586 0.001241 0.03522 4.438 0.2265 0.001373 0.0002824 1 1 0.003279 0.03268 0.2686 0.003454 0.03442 0.2829 json
t18_x0_u0_b92 18 0 0 92 add(P,min(P,pow(P,P))) 120458 146170910 o2(x,o2(x,o2(x,x))) true 123671 123671 0 0.5 0.9569 0.9494 0.9744 -1 1 2 1 1.488 0.001303 0 0.007937 1 1 0 0.0002681 0.003586 0.001241 0.03522 4.438 0.2265 0.001373 0.0002824 1 1 0.003279 0.03268 0.2686 0.003454 0.03442 0.2829 json
t18_x0_u0_b93 18 0 0 93 add(P,min(P,mod(P,P))) 120459 146170911 o2(x,o2(x,o2(x,x))) true 123679 123679 -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
t18_x0_u0_b94 18 0 0 94 add(P,min(P,lrg(P,P))) 120460 146170912 o2(x,o2(x,o2(x,x))) true 123687 123687 -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
t18_x0_u0_b95 18 0 0 95 add(P,min(P,eql(P,P))) 120461 146170913 o2(x,o2(x,o2(x,x))) true 123695 123695 0 0.5 0.9569 0.9494 0.9744 -1 1 2 1 1.488 0.001303 0 0.007937 1 1 0 0.0002681 0.003586 0.001241 0.03522 4.438 0.2265 0.001373 0.0002824 1 1 0.003279 0.03268 0.2686 0.003454 0.03442 0.2829 json
t18_x0_u0_b96 18 0 0 96 add(P,min(P,min(P,P))) 120462 146170914 o2(x,o2(x,o2(x,x))) true 123703 123703 0 0.5 0.9569 0.9494 0.9744 -1 1 2 1 1.488 0.001303 0 0.007937 1 1 0 0.0002681 0.003586 0.001241 0.03522 4.438 0.2265 0.001373 0.0002824 1 1 0.003279 0.03268 0.2686 0.003454 0.03442 0.2829 json
t18_x0_u0_b97 18 0 0 97 add(P,min(P,dot(P,P))) 120463 146170915 o2(x,o2(x,o2(x,x))) true 123711 123711 0 0.5 0.9569 0.9494 0.9744 -1 1 2 1 1.488 0.001303 0 0.007937 1 1 0 0.0002681 0.003586 0.001241 0.03522 4.438 0.2265 0.001373 0.0002824 1 1 0.003279 0.03268 0.2686 0.003454 0.03442 0.2829 json
t18_x0_u0_b98 18 0 0 98 add(P,min(P,dst(P,P))) 120464 146170916 o2(x,o2(x,o2(x,x))) true 123719 123719 -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
t18_x0_u0_b99 18 0 0 99 add(P,dot(P,add(P,P))) 120465 146170917 o2(x,o2(x,o2(x,x))) true 123727 123727 0.9981 1 0.9981 0.001308 0.03617 0.0008731 1 0.9991 1 0.04674 0.0000487 0.00005869 0.0006048 -0.09304 1 7.509e-12 0.00004495 0.0003565 0.0001071 0.01035 17.11 0.3116 0.08209 0.03436 1 1 0.0003479 0.00308 0.004769 0.266 2.355 3.646 json
t18_x0_u0_b100 18 0 0 100 add(P,dot(P,sub(P,P))) 120466 146170918 o2(x,o2(x,o2(x,x))) true 123735 123735 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
t18_x0_u0_b101 18 0 0 101 add(P,dot(P,mlt(P,P))) 120467 146170919 o2(x,o2(x,o2(x,x))) true 123743 123743 -9.313e-10 0.5 0.9934 0.9913 0.9957 -1 1 2 1 1.143 0.01001 0.0103 0.01235 -0.01385 1 3.754e-12 0.05924 0.022 0.02014 0.1419 11.49 2.828 0.02049 0.05976 1 1 0.02798 0.1392 0.5852 0.02822 0.1404 0.5903 json
t18_x0_u0_b102 18 0 0 102 add(P,dot(P,div(P,P))) 120468 146170920 o2(x,o2(x,o2(x,x))) true 123751 123751 -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
t18_x0_u0_b103 18 0 0 103 add(P,dot(P,pow(P,P))) 120469 146170921 o2(x,o2(x,o2(x,x))) true 123759 123759 -0.5006 0.25 0.9994 0.7486 0.8652 -1 1 2 1 0.826 0.00755 0.007669 0.00789 -0.00779 1 7.509e-11 0.03042 0.01552 0.01516 0.1231 15.6 2 0.02033 0.04064 1 1 0.01995 0.08149 0.334 0.02665 0.1089 0.4462 json
t18_x0_u0_b104 18 0 0 104 add(P,dot(P,mod(P,P))) 120470 146170922 o2(x,o2(x,o2(x,x))) true 123767 123767 -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
t18_x0_u0_b105 18 0 0 105 add(P,dot(P,lrg(P,P))) 120471 146170923 o2(x,o2(x,o2(x,x))) true 123775 123775 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
t18_x0_u0_b106 18 0 0 106 add(P,dot(P,eql(P,P))) 120472 146170924 o2(x,o2(x,o2(x,x))) true 123783 123783 -1.071e-8 0.5 0.9688 0.9594 0.9795 -1 1 2 1 1.531 0.001366 0.0003547 0.009634 0.5878 1 0 0.0003278 0.003308 0.001628 0.04034 4.188 0.2614 0.001794 0.0003416 1 1 0.004392 0.0509 0.3961 0.004578 0.05305 0.4129 json
t18_x0_u0_b107 18 0 0 107 add(P,dot(P,min(P,P))) 120473 146170925 o2(x,o2(x,o2(x,x))) true 123791 123791 0.9937 1 0.9937 0.004639 0.06811 0.000291 1 0.9997 1 0.1265 0.00007372 0.0000757 0.001194 -0.01323 1 -3.379e-11 0.00003768 0.0004689 0.0001478 0.01216 10.18 0.2359 0.03221 0.008122 1 1 0.0005008 0.005438 0.017 0.108 1.172 3.665 json
t18_x0_u0_b108 18 0 0 108 add(P,dot(P,dot(P,P))) 120474 146170926 o2(x,o2(x,o2(x,x))) true 123799 123799 2.095e-9 0.5 0.9928 0.9905 0.9952 -1 1 2 1 1.154 0.009056 0.00935 0.0124 -0.01595 1 -4.505e-11 0.04929 0.02041 0.01827 0.1351 10.9 2.828 0.01858 0.04976 1 1 0.02623 0.1366 0.5828 0.02648 0.1379 0.5883 json
t18_x0_u0_b109 18 0 0 109 add(P,dot(P,dst(P,P))) 120475 146170927 o2(x,o2(x,o2(x,x))) true 123807 123807 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
t18_x0_u0_b110 18 0 0 110 add(P,dst(P,add(P,P))) 120476 146170928 o2(x,o2(x,o2(x,x))) true 123815 123815 0.885 0.9968 0.885 0.07625 0.2761 0.00001812 1 1 1 1.305 0.00005943 0.0001798 0.004703 -0.5033 1 -0.000002319 0.00003737 0.001341 0.0002171 0.01473 3.133 0.2282 0.003138 0.0004901 1 1 0.0007094 0.0084 0.06467 0.009305 0.1102 0.8481 json
t18_x0_u0_b111 18 0 0 111 add(P,dst(P,sub(P,P))) 120477 146170929 o2(x,o2(x,o2(x,x))) true 123823 123823 0.885 0.9968 0.885 0.07625 0.2761 0.00001812 1 1 1 1.305 0.00005943 0.0001798 0.004703 -0.5033 1 -0.000002319 0.00003737 0.001341 0.0002171 0.01473 3.133 0.2282 0.003138 0.0004901 1 1 0.0007094 0.0084 0.06467 0.009305 0.1102 0.8481 json
t18_x0_u0_b112 18 0 0 112 add(P,dst(P,mlt(P,P))) 120478 146170930 o2(x,o2(x,o2(x,x))) true 123831 123831 0.9937 1 0.9937 0.004665 0.0683 0.000291 1 0.9997 1 0.129 0.0000744 0.00007168 0.0012 0.01859 1 -4.13e-11 0.00003286 0.0004515 0.0001448 0.01203 10.03 0.2359 0.03131 0.007044 1 1 0.0004914 0.005406 0.0171 0.1053 1.159 3.665 json
t18_x0_u0_b113 18 0 0 113 add(P,dst(P,div(P,P))) 120479 146170931 o2(x,o2(x,o2(x,x))) true 123839 123839 -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
t18_x0_u0_b114 18 0 0 114 add(P,dst(P,pow(P,P))) 120480 146170932 o2(x,o2(x,o2(x,x))) true 123847 123847 -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
t18_x0_u0_b115 18 0 0 115 add(P,dst(P,mod(P,P))) 120481 146170933 o2(x,o2(x,o2(x,x))) true 123855 123855 -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
t18_x0_u0_b116 18 0 0 116 add(P,dst(P,lrg(P,P))) 120482 146170934 o2(x,o2(x,o2(x,x))) true 123863 123863 0.885 0.9968 0.885 0.07625 0.2761 0.00001812 1 1 1 1.305 0.00005943 0.0001798 0.004703 -0.5033 1 -0.000002319 0.00003737 0.001341 0.0002171 0.01473 3.133 0.2282 0.003138 0.0004901 1 1 0.0007094 0.0084 0.06467 0.009305 0.1102 0.8481 json
t18_x0_u0_b117 18 0 0 117 add(P,dst(P,eql(P,P))) 120483 146170935 o2(x,o2(x,o2(x,x))) true 123871 123871 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
t18_x0_u0_b118 18 0 0 118 add(P,dst(P,min(P,P))) 120484 146170936 o2(x,o2(x,o2(x,x))) true 123879 123879 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
t18_x0_u0_b119 18 0 0 119 add(P,dst(P,dot(P,P))) 120485 146170937 o2(x,o2(x,o2(x,x))) true 123887 123887 0.9982 1 0.9982 0.001278 0.03575 0.0008335 1 0.9992 1 0.04392 0.00005254 0.00005201 0.0005939 0.005029 1 -2.253e-11 0.00004123 0.000343 0.0001043 0.01021 17.19 0.2718 0.08182 0.03227 1 1 0.0003416 0.003074 0.004657 0.2673 2.406 3.645 json
t18_x0_u0_b120 18 0 0 120 add(P,dst(P,dst(P,P))) 120486 146170938 o2(x,o2(x,o2(x,x))) true 123895 123895 0.885 0.9968 0.885 0.07625 0.2761 0.00001812 1 1 1 1.305 0.00005943 0.0001798 0.004703 -0.5033 1 -0.000002319 0.00003737 0.001341 0.0002171 0.01473 3.133 0.2282 0.003138 0.0004901 1 1 0.0007094 0.0084 0.06467 0.009305 0.1102 0.8481 json
t18_x0_u0_b121 18 0 0 121 sub(P,add(P,add(P,P))) 120487 146170939 o2(x,o2(x,o2(x,x))) true 123903 123903 0 0.5 0.9569 0.9494 0.9744 -1 1 2 1 1.488 0.001303 0 0.007937 1 1 0 0.0002681 0.003586 0.001241 0.03522 4.438 0.2265 0.001373 0.0002824 1 1 0.003279 0.03268 0.2686 0.003454 0.03442 0.2829 json
t18_x0_u0_b122 18 0 0 122 sub(P,add(P,sub(P,P))) 120488 146170940 o2(x,o2(x,o2(x,x))) true 123911 123911 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
t18_x0_u0_b123 18 0 0 123 sub(P,add(P,mlt(P,P))) 120489 146170941 o2(x,o2(x,o2(x,x))) true 123919 123919 -0.9375 0 0.9375 0.04507 0.2123 -1 -0.000291 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
t18_x0_u0_b124 18 0 0 124 sub(P,add(P,div(P,P))) 120490 146170942 o2(x,o2(x,o2(x,x))) true 123927 123927 -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
t18_x0_u0_b125 18 0 0 125 sub(P,add(P,pow(P,P))) 120491 146170943 o2(x,o2(x,o2(x,x))) true 123935 123935 -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
t18_x0_u0_b126 18 0 0 126 sub(P,add(P,mod(P,P))) 120492 146170944 o2(x,o2(x,o2(x,x))) true 123943 123943 -0.125 0.3125 0.6255 0.5899 0.768 -1 1 2 1 2.418 0.01617 0 0.03866 1 1 0 0.02037 0.03799 0.01467 0.1211 3.133 1 0.02741 0.03454 1 1 0.02392 0.1466 0.4242 0.04055 0.2485 0.7191 json
t18_x0_u0_b127 18 0 0 127 sub(P,add(P,lrg(P,P))) 120493 146170945 o2(x,o2(x,o2(x,x))) true 123951 123951 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
t18_x0_u0_b128 18 0 0 128 sub(P,add(P,eql(P,P))) 120494 146170946 o2(x,o2(x,o2(x,x))) true 123959 123959 -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
t18_x0_u0_b129 18 0 0 129 sub(P,add(P,min(P,P))) 120495 146170947 o2(x,o2(x,o2(x,x))) true 123967 123967 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
t18_x0_u0_b130 18 0 0 130 sub(P,add(P,dot(P,P))) 120496 146170948 o2(x,o2(x,o2(x,x))) true 123975 123975 -0.9967 0 0.9967 0.002206 0.04697 -1 -0.0005821 0.9994 1 0.08493 0.00004482 0.00004482 0.0007972 -5.682e-7 0 1.502e-11 0.00002627 0.0002729 0.00008892 0.00943 11.83 0.1653 0.04063 0.01191 1 1 0.0003021 0.00348 0.008043 0.1369 1.578 3.646 json
t18_x0_u0_b131 18 0 0 131 sub(P,add(P,dst(P,P))) 120497 146170949 o2(x,o2(x,o2(x,x))) true 123983 123983 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
t18_x0_u0_b132 18 0 0 132 sub(P,sub(P,add(P,P))) 120498 146170950 o2(x,o2(x,o2(x,x))) true 123991 123991 0 0.5 0.9569 0.9494 0.9744 -1 1 2 1 1.488 0.001303 0 0.007937 1 1 0 0.0002681 0.003586 0.001241 0.03522 4.438 0.2265 0.001373 0.0002824 1 1 0.003279 0.03268 0.2686 0.003454 0.03442 0.2829 json
t18_x0_u0_b133 18 0 0 133 sub(P,sub(P,sub(P,P))) 120499 146170951 o2(x,o2(x,o2(x,x))) true 123999 123999 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