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_x1_u2_b103 14 1 2 103 frc(dot(pow(P,P),D)) 48100 113729320 o1(o2(o2(x,x),x)) true 43767 43767 -0.6392 0.2493 0.8608 0.407 0.638 -1 0.9998 2 1 1.795 0.02353 0.02351 0.0886 0.0004633 1 0.0002174 0.1906 0.1653 0.03918 0.1979 2.234 1.993 0.1156 0.4682 1 1 0.03564 0.07328 0.2155 0.08756 0.1801 0.5294 json
t14_x1_u2_b104 14 1 2 104 frc(dot(mod(P,P),D)) 48101 113729321 o1(o2(o2(x,x),x)) true 43775 43775 -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_x1_u2_b105 14 1 2 105 frc(dot(lrg(P,P),D)) 48102 113729322 o1(o2(o2(x,x),x)) true 43783 43783 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_x1_u2_b106 14 1 2 106 frc(dot(eql(P,P),D)) 48103 113729323 o1(o2(o2(x,x),x)) true 43791 43791 0.4688 0.9375 0.4688 0.08301 0.2881 0 0.9375 0.9375 1 4 0.05862 0.05862 0.1659 0 1 0.00003149 0.5003 0.2502 0.08976 0.2996 1.806 1.326 1.412 6.027 1 1 0.1094 0.25 0 1.318 3.012 0 json
t14_x1_u2_b107 14 1 2 107 frc(dot(min(P,P),D)) 48104 113729324 o1(o2(o2(x,x),x)) true 43799 43799 0.4835 0.9991 0.4835 0.04261 0.2064 0.00001819 0.9682 0.9682 1 3.725 0.08242 0.08242 0.3477 -0.000004249 1 -0.0005344 0.8173 0.6957 0.04392 0.2096 0.6027 1.326 3.869 19.18 1 1 0.09122 0.06869 0.09165 2.141 1.612 2.151 json
t14_x1_u2_b108 14 1 2 108 frc(dot(dot(P,P),D)) 48105 113729325 o1(o2(o2(x,x),x)) true 43807 43807 0.4063 0.9374 0.4063 0.06081 0.2466 0 0.9374 0.9374 1 3.819 0.1188 0.1188 0.3972 -4.076e-7 1 -0.00004235 1.418 0.9283 0.07988 0.2826 0.7116 1.326 3.908 23.32 1 1 0.1198 0.08396 0.06672 1.971 1.381 1.097 json
t14_x1_u2_b109 14 1 2 109 frc(dot(dst(P,P),D)) 48106 113729326 o1(o2(o2(x,x),x)) true 43815 43815 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_x1_u2_b110 14 1 2 110 frc(dst(add(P,P),D)) 48107 113729327 o1(o2(o2(x,x),x)) true 43823 43823 0.4935 1 0.4935 0.05243 0.229 0.006588 0.994 0.9874 1 3.857 0.02372 0.02372 0.121 -0.000003573 1 -0.00001081 0.1579 0.1563 0.0328 0.1811 1.496 1.352 0.905 3.012 1 1 0.04621 0.1173 0.09163 0.8814 2.238 1.748 json
t14_x1_u2_b111 14 1 2 111 frc(dst(sub(P,P),D)) 48108 113729328 o1(o2(o2(x,x),x)) true 43831 43831 0.4415 1 0.4415 0.02494 0.1579 0.04473 0.7026 0.6579 1 3.253 0.002 0.002 0.05934 8.148e-7 1 -0.0006633 0.0009277 0.02445 0.0004789 0.02188 0.3688 0.1006 0.1604 0.0372 1 1 0.007614 0.05036 0 0.3053 2.019 0 json
t14_x1_u2_b112 14 1 2 112 frc(dst(mlt(P,P),D)) 48109 113729329 o1(o2(o2(x,x),x)) true 43839 43839 0.5034 1 0.5034 0.05791 0.2406 0.0007879 0.9981 0.9973 1 3.908 0.02339 0.02339 0.1141 -0.000001712 1 -0.0006361 0.1413 0.1463 0.03377 0.1838 1.611 1.368 0.8078 2.439 1 1 0.04358 0.116 0.08854 0.7525 2.003 1.529 json
t14_x1_u2_b113 14 1 2 113 frc(dst(div(P,P),D)) 48110 113729330 o1(o2(o2(x,x),x)) true 43847 43847 -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_x1_u2_b114 14 1 2 114 frc(dst(pow(P,P),D)) 48111 113729331 o1(o2(o2(x,x),x)) true 43855 43855 -0.6434 0.2442 0.8566 0.4 0.6324 -1 0.9955 1.996 1 1.787 0.009491 0.009476 0.03299 0.0008216 1 -0.00005864 0.04277 0.04602 0.01788 0.1337 4.054 1.973 0.04742 0.1069 1 1 0.02369 0.07683 0.2218 0.05924 0.1921 0.5544 json
t14_x1_u2_b115 14 1 2 115 frc(dst(mod(P,P),D)) 48112 113729332 o1(o2(o2(x,x),x)) true 43863 43863 -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_x1_u2_b116 14 1 2 116 frc(dst(lrg(P,P),D)) 48113 113729333 o1(o2(o2(x,x),x)) true 43871 43871 0.4415 1 0.4415 0.02494 0.1579 0.04473 0.7026 0.6579 1 3.253 0.002 0.002 0.05934 8.148e-7 1 -0.0006633 0.0009277 0.02445 0.0004789 0.02188 0.3688 0.1006 0.1604 0.0372 1 1 0.007614 0.05036 0 0.3053 2.019 0 json
t14_x1_u2_b117 14 1 2 117 frc(dst(eql(P,P),D)) 48114 113729334 o1(o2(o2(x,x),x)) true 43879 43879 0.559 1 0.559 0.03914 0.1979 0.121 0.9331 0.8121 1 3.619 0.02289 0.02289 0.1104 5.696e-7 1 0.00003711 0.1711 0.1586 0.03359 0.1833 1.661 1.109 1.169 4.372 1 1 0.04459 0.1095 0 1.139 2.797 0 json
t14_x1_u2_b118 14 1 2 118 frc(dst(min(P,P),D)) 48115 113729335 o1(o2(o2(x,x),x)) true 43887 43887 0.4984 1 0.4984 0.0516 0.2272 0.006575 0.9954 0.9889 1 3.853 0.02437 0.02437 0.1234 0.000006306 1 -0.0004041 0.1631 0.1603 0.0335 0.183 1.483 1.354 0.9445 3.162 1 1 0.0468 0.1157 0.08139 0.907 2.243 1.577 json
t14_x1_u2_b119 14 1 2 119 frc(dst(dot(P,P),D)) 48116 113729336 o1(o2(o2(x,x),x)) true 43895 43895 0.5023 1 0.5023 0.04892 0.2212 0.001477 0.9972 0.9957 1 3.822 0.02094 0.02094 0.09748 0.00001138 1 0.0000715 0.171 0.1438 0.03239 0.18 1.846 1.363 0.8563 3.495 1 1 0.04132 0.1122 0.08918 0.8447 2.294 1.823 json
t14_x1_u2_b120 14 1 2 120 frc(dst(dst(P,P),D)) 48117 113729337 o1(o2(o2(x,x),x)) true 43903 43903 0.4415 1 0.4415 0.02494 0.1579 0.04473 0.7026 0.6579 1 3.253 0.002 0.002 0.05934 8.148e-7 1 -0.0006633 0.0009277 0.02445 0.0004789 0.02188 0.3688 0.1006 0.1604 0.0372 1 1 0.007614 0.05036 0 0.3053 2.019 0 json
t14_x1_u3_b0 14 1 3 0 flr(add(add(P,P),D)) 48118 113729418 o1(o2(o2(x,x),x)) true 43911 43911 -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_x1_u3_b1 14 1 3 1 flr(add(sub(P,P),D)) 48119 113729419 o1(o2(o2(x,x),x)) true 43919 43919 -0.5 0 0.5 0.1418 0.3765 -0.9997 -0.000291 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_x1_u3_b2 14 1 3 2 flr(add(mlt(P,P),D)) 48120 113729420 o1(o2(o2(x,x),x)) true 43927 43927 0.859 0.9063 0.902 0.1539 0.3923 -0.9994 1 1.999 1 0.9495 0.01424 0 0.02379 1 1 9.461e-10 0.02466 0.02839 0.01367 0.1169 4.915 1 0.09253 0.1602 1 1 0.02142 0.08409 0.2126 0.1392 0.5464 1.381 json
t14_x1_u3_b3 14 1 3 3 flr(add(div(P,P),D)) 48121 113729421 o1(o2(o2(x,x),x)) true 43935 43935 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_x1_u3_b4 14 1 3 4 flr(add(pow(P,P),D)) 48122 113729422 o1(o2(o2(x,x),x)) true 43943 43943 -0.03125 0.5 0.9688 0.9603 0.98 -1 1 2 1 1.406 0.02019 0 0.01587 1 1 0 0.03985 0.02473 0.01993 0.1412 8.897 2 0.02102 0.04149 1 1 0.02712 0.09775 0.2856 0.02824 0.1018 0.2974 json
t14_x1_u3_b5 14 1 3 5 flr(add(mod(P,P),D)) 48123 113729423 o1(o2(o2(x,x),x)) true 43951 43951 -0.3331 0.2734 0.7919 0.6363 0.7977 -1 1 2 1 2.895 0.03933 0 0.07419 1 1 -9.48e-10 0.05984 0.07694 0.03383 0.1839 2.479 1.001 0.06181 0.09404 1 1 0.05311 0.254 0.4923 0.08347 0.3992 0.7736 json
t14_x1_u3_b6 14 1 3 6 flr(add(lrg(P,P),D)) 48124 113729424 o1(o2(o2(x,x),x)) true 43959 43959 -0.5 0 0.5 0.1418 0.3765 -0.9997 -0.000291 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_x1_u3_b7 14 1 3 7 flr(add(eql(P,P),D)) 48125 113729425 o1(o2(o2(x,x),x)) true 43967 43967 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_x1_u3_b8 14 1 3 8 flr(add(min(P,P),D)) 48126 113729426 o1(o2(o2(x,x),x)) true 43975 43975 -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_x1_u3_b9 14 1 3 9 flr(add(dot(P,P),D)) 48127 113729427 o1(o2(o2(x,x),x)) true 43983 43983 0.9894 0.9975 0.9918 0.01075 0.1037 -0.9991 1 1.999 1 0.1707 0.001229 0.0001185 0.003031 0.8241 1 -5.256e-11 0.002181 0.003048 0.001337 0.03657 12.07 1.006 0.1253 0.2029 1 1 0.002858 0.01417 0.03694 0.2659 1.318 3.436 json
t14_x1_u3_b10 14 1 3 10 flr(add(dst(P,P),D)) 48128 113729428 o1(o2(o2(x,x),x)) true 43991 43991 -0.5 0 0.5 0.1418 0.3765 -0.9997 -0.000291 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_x1_u3_b11 14 1 3 11 flr(sub(add(P,P),D)) 48129 113729429 o1(o2(o2(x,x),x)) true 43999 43999 -0.03125 0.4727 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_x1_u3_b12 14 1 3 12 flr(sub(sub(P,P),D)) 48130 113729430 o1(o2(o2(x,x),x)) true 44007 44007 -0.5 0 0.5 0.1418 0.3765 -0.9997 -0.000291 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_x1_u3_b13 14 1 3 13 flr(sub(mlt(P,P),D)) 48131 113729431 o1(o2(o2(x,x),x)) true 44015 44015 0.859 0.9063 0.902 0.1539 0.3923 -0.9994 1 1.999 1 0.9495 0.01424 0 0.02379 1 1 9.461e-10 0.02466 0.02839 0.01367 0.1169 4.915 1 0.09253 0.1602 1 1 0.02142 0.08409 0.2126 0.1392 0.5464 1.381 json
t14_x1_u3_b14 14 1 3 14 flr(sub(div(P,P),D)) 48132 113729432 o1(o2(o2(x,x),x)) true 44023 44023 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_x1_u3_b15 14 1 3 15 flr(sub(pow(P,P),D)) 48133 113729433 o1(o2(o2(x,x),x)) true 44031 44031 -0.04726 0.5 0.9527 0.9411 0.9701 -1 1 2 1 1.549 0.009223 0 0.01586 1 1 -9.386e-13 0.01647 0.01948 0.008966 0.09469 5.97 1 0.009801 0.01751 1 1 0.01354 0.05201 0.2605 0.01439 0.05527 0.2768 json
t14_x1_u3_b16 14 1 3 16 flr(sub(mod(P,P),D)) 48134 113729434 o1(o2(o2(x,x),x)) true 44039 44039 -0.3334 0.2695 0.7916 0.6359 0.7974 -1 1 2 1 2.851 0.0392 0 0.07516 1 1 -0.0005391 0.06062 0.07828 0.03354 0.1831 2.437 1 0.06164 0.09533 1 1 0.06124 0.2414 0.4832 0.0963 0.3796 0.7598 json
t14_x1_u3_b17 14 1 3 17 flr(sub(lrg(P,P),D)) 48135 113729435 o1(o2(o2(x,x),x)) true 44047 44047 -0.5 0 0.5 0.1418 0.3765 -0.9997 -0.000291 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_x1_u3_b18 14 1 3 18 flr(sub(eql(P,P),D)) 48136 113729436 o1(o2(o2(x,x),x)) true 44055 44055 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_x1_u3_b19 14 1 3 19 flr(sub(min(P,P),D)) 48137 113729437 o1(o2(o2(x,x),x)) true 44063 44063 -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_x1_u3_b20 14 1 3 20 flr(sub(dot(P,P),D)) 48138 113729438 o1(o2(o2(x,x),x)) true 44071 44071 0.9894 0.9975 0.9918 0.01075 0.1037 -0.9991 1 1.999 1 0.1707 0.001229 0.0001185 0.003063 0.8241 1 -2.628e-11 0.002181 0.003048 0.001337 0.03657 11.94 1.006 0.1253 0.2029 1 1 0.002858 0.01417 0.03694 0.2659 1.318 3.436 json
t14_x1_u3_b21 14 1 3 21 flr(sub(dst(P,P),D)) 48139 113729439 o1(o2(o2(x,x),x)) true 44079 44079 -0.5 0 0.5 0.1418 0.3765 -0.9997 -0.000291 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_x1_u3_b22 14 1 3 22 flr(mlt(add(P,P),D)) 48140 113729440 o1(o2(o2(x,x),x)) true 44087 44087 -0.4782 0.1875 0.6974 0.4006 0.6329 -1 1 2 1 3.327 0.1481 0 0.2326 1 1 3.312e-9 0.2576 0.3353 0.09402 0.3066 1.319 1.11 0.3696 0.6429 1 1 0.124 0.4809 0.08329 0.3095 1.2 0.2079 json
t14_x1_u3_b23 14 1 3 23 flr(mlt(sub(P,P),D)) 48141 113729441 o1(o2(o2(x,x),x)) true 44095 44095 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_x1_u3_b24 14 1 3 24 flr(mlt(mlt(P,P),D)) 48142 113729442 o1(o2(o2(x,x),x)) true 44103 44103 -0.1844 0.3203 0.7528 0.6782 0.8235 -1 1 2 1 3.007 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.2059 0.832 0.1284 0.3037 1.227 0.1893 json
t14_x1_u3_b25 14 1 3 25 flr(mlt(div(P,P),D)) 48143 113729443 o1(o2(o2(x,x),x)) true 44111 44111 -0.5625 0 0.5625 0.1514 0.3891 -1 -0.000291 0.9997 1 3.238 0.05647 0 0.1069 1 1 0 0.1047 0.1159 0.04503 0.2122 1.984 0.9997 0.373 0.6913 1 1 0.05855 0.2076 0.06598 0.3867 1.372 0.4359 json
t14_x1_u3_b26 14 1 3 26 flr(mlt(pow(P,P),D)) 48144 113729444 o1(o2(o2(x,x),x)) true 44119 44119 -0.8946 0.02344 0.9363 0.1231 0.3508 -1 1 2 1 0.9375 0.1527 0 0.09838 1 1 1.892e-9 0.3998 0.1774 0.1431 0.3782 3.845 2 1.241 3.248 1 1 0.1083 0.1367 0.06586 0.8803 1.11 0.5351 json
t14_x1_u3_b27 14 1 3 27 flr(mlt(mod(P,P),D)) 48145 113729445 o1(o2(o2(x,x),x)) true 44127 44127 -0.2604 0.2188 0.4846 0.3703 0.6085 -1 1 2 1 3.06 0.06211 0 0.1057 1 1 -0.0008419 0.1271 0.158 0.05094 0.2257 2.136 1 0.1677 0.3433 1 1 0.03803 0.2062 0.3839 0.1027 0.5569 1.037 json
t14_x1_u3_b28 14 1 3 28 flr(mlt(lrg(P,P),D)) 48146 113729446 o1(o2(o2(x,x),x)) true 44135 44135 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_x1_u3_b29 14 1 3 29 flr(mlt(eql(P,P),D)) 48147 113729447 o1(o2(o2(x,x),x)) true 44143 44143 -0.5 0 0.5 0.1418 0.3765 -0.9997 -0.000291 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_x1_u3_b30 14 1 3 30 flr(mlt(min(P,P),D)) 48148 113729448 o1(o2(o2(x,x),x)) true 44151 44151 -0.5366 0.09375 0.591 0.2092 0.4574 -1 0.7619 1.762 1 3.576 0.1102 0 0.2061 1 1 0.0003958 0.2442 0.3146 0.06775 0.2603 1.263 0.9991 0.5269 1.167 1 1 0.08877 0.2768 0.06916 0.4243 1.323 0.3306 json
t14_x1_u3_b31 14 1 3 31 flr(mlt(dot(P,P),D)) 48149 113729449 o1(o2(o2(x,x),x)) true 44159 44159 -0.09398 0.4343 0.9019 0.8697 0.9326 -1 1 2 1 2.205 0.3366 0.0002009 0.2428 0.9988 1 2.247e-7 0.5818 0.388 0.2777 0.527 2.17 2 0.3872 0.669 1 1 0.3208 1.328 0.1124 0.3689 1.527 0.1292 json
t14_x1_u3_b32 14 1 3 32 flr(mlt(dst(P,P),D)) 48150 113729450 o1(o2(o2(x,x),x)) true 44167 44167 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_x1_u3_b33 14 1 3 33 flr(div(add(P,P),D)) 48151 113729451 o1(o2(o2(x,x),x)) true 44175 44175 -0.1364 0.4141 0.955 0.9272 0.9629 -1 1 2 1 1.493 0.4147 0 0.2302 1 1 1.892e-9 0.7944 0.4296 0.3616 0.6013 2.613 2 0.4473 0.8568 1 1 0.4154 1.638 0.2634 0.448 1.766 0.284 json
t14_x1_u3_b34 14 1 3 34 flr(div(sub(P,P),D)) 48152 113729452 o1(o2(o2(x,x),x)) true 44183 44183 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_x1_u3_b35 14 1 3 35 flr(div(mlt(P,P),D)) 48153 113729453 o1(o2(o2(x,x),x)) true 44191 44191 -0.01739 0.4883 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.531 0.1928 0.4462 1.649 0.2076 json
t14_x1_u3_b36 14 1 3 36 flr(div(div(P,P),D)) 48154 113729454 o1(o2(o2(x,x),x)) true 44199 44199 -0.184 0.4375 0.941 0.8853 0.9409 -1 1 2 1 1.453 0.3077 0 0.2143 1 1 0 0.5376 0.3434 0.2618 0.5117 2.388 2 0.3476 0.6073 1 1 0.333 1.478 0.2986 0.3761 1.67 0.3373 json
t14_x1_u3_b37 14 1 3 37 flr(div(pow(P,P),D)) 48155 113729455 o1(o2(o2(x,x),x)) true 44207 44207 -0.6798 0.1602 0.9916 0.5279 0.7266 -1 1 2 1 0.7234 0.2364 0 0.127 1 1 0 0.4586 0.2398 0.2204 0.4695 3.697 2 0.4477 0.8686 1 1 0.2492 0.7227 0.1748 0.472 1.369 0.3312 json
t14_x1_u3_b38 14 1 3 38 flr(div(mod(P,P),D)) 48156 113729456 o1(o2(o2(x,x),x)) true 44215 44215 -0.1315 0.3125 0.6344 0.5985 0.7736 -1 1 2 1 2.312 0.1328 0 0.102 1 1 -0.001494 0.2407 0.1587 0.1224 0.3498 3.429 2 0.222 0.4022 1 1 0.07918 0.3933 0.5883 0.1323 0.6572 0.983 json
t14_x1_u3_b39 14 1 3 39 flr(div(lrg(P,P),D)) 48157 113729457 o1(o2(o2(x,x),x)) true 44223 44223 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_x1_u3_b40 14 1 3 40 flr(div(eql(P,P),D)) 48158 113729458 o1(o2(o2(x,x),x)) true 44231 44231 -0.06746 0.5 0.9326 0.9038 0.9507 -1 1 2 1 1.531 0.354 0 0.246 1 1 0 0.619 0.3948 0.2935 0.5417 2.202 2 0.3917 0.6849 1 1 0.4017 1.777 0 0.4444 1.966 0 json
t14_x1_u3_b41 14 1 3 41 flr(div(min(P,P),D)) 48159 113729459 o1(o2(o2(x,x),x)) true 44239 44239 -0.1463 0.4141 0.912 0.8693 0.9324 -1 1 2 1 1.931 0.3402 0 0.2302 1 1 -3.79e-9 0.5844 0.3624 0.2871 0.5358 2.328 2 0.3914 0.6722 1 1 0.3693 1.56 0.2146 0.4248 1.794 0.2468 json
t14_x1_u3_b42 14 1 3 42 flr(div(dot(P,P),D)) 48160 113729460 o1(o2(o2(x,x),x)) true 44247 44247 -0.00593 0.4967 0.9924 0.9901 0.995 -1 1 2 1 1.152 0.4755 0.0002504 0.2461 0.9989 1 -6.382e-11 0.9376 0.4796 0.4151 0.6443 2.618 2.037 0.4805 0.947 1 1 0.4789 1.893 0.06945 0.4836 1.912 0.07015 json
t14_x1_u3_b43 14 1 3 43 flr(div(dst(P,P),D)) 48161 113729461 o1(o2(o2(x,x),x)) true 44255 44255 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_x1_u3_b44 14 1 3 44 flr(pow(add(P,P),D)) 48162 113729462 o1(o2(o2(x,x),x)) true 44263 44263 -0.2018 0.4375 0.7982 0.7229 0.8503 -1 1 2 1 2.479 0.03788 0 0.06704 1 1 -0.0007803 0.07093 0.09116 0.03339 0.1827 2.726 1 0.0524 0.09812 1 1 0.04152 0.1197 0.168 0.05743 0.1655 0.2323 json
t14_x1_u3_b45 14 1 3 45 flr(pow(sub(P,P),D)) 48163 113729463 o1(o2(o2(x,x),x)) true 44271 44271 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_x1_u3_b46 14 1 3 46 flr(pow(mlt(P,P),D)) 48164 113729464 o1(o2(o2(x,x),x)) true 44279 44279 0.7934 1 0.7934 0.1183 0.344 0.000291 1 0.9997 1 2.091 0.06758 0 0.113 1 1 -0.00202 0.1263 0.1545 0.05478 0.2341 2.07 0.9997 0.571 1.068 1 1 0.06762 0.1521 0.08382 0.5714 1.286 0.7083 json
t14_x1_u3_b47 14 1 3 47 flr(pow(div(P,P),D)) 48165 113729465 o1(o2(o2(x,x),x)) true 44287 44287 0.7441 0.875 0.9941 0.4354 0.6598 -1 1 2 1 0.8541 0.03237 0 0.02247 1 1 0.00008984 0.06498 0.04142 0.03185 0.1785 7.942 2 0.07435 0.1493 1 1 0.04244 0.1688 0.6715 0.09747 0.3878 1.542 json
t14_x1_u3_b48 14 1 3 48 flr(pow(pow(P,P),D)) 48166 113729466 o1(o2(o2(x,x),x)) true 44295 44295 -0.07196 0.5 0.928 0.9054 0.9515 -1 1 2 1 1.822 0.03831 0 0.04431 1 1 -6.623e-9 0.08287 0.06973 0.03635 0.1906 4.303 2 0.04232 0.09153 1 1 0.04645 0.1393 0.3075 0.05131 0.1538 0.3396 json
t14_x1_u3_b49 14 1 3 49 flr(pow(mod(P,P),D)) 48167 113729467 o1(o2(o2(x,x),x)) true 44303 44303 -0.02106 0.4375 0.8539 0.8474 0.9205 -1 1 2 1 1.704 0.1002 0 0.06543 1 1 -9.386e-13 0.2001 0.1259 0.09598 0.3098 4.735 2 0.1182 0.2361 1 1 0.1237 0.5003 0.8496 0.146 0.5904 1.003 json
t14_x1_u3_b50 14 1 3 50 flr(pow(lrg(P,P),D)) 48168 113729468 o1(o2(o2(x,x),x)) true 44311 44311 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_x1_u3_b51 14 1 3 51 flr(pow(eql(P,P),D)) 48169 113729469 o1(o2(o2(x,x),x)) true 44319 44319 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_x1_u3_b52 14 1 3 52 flr(pow(min(P,P),D)) 48170 113729470 o1(o2(o2(x,x),x)) true 44327 44327 -0.2132 0.5 0.7867 0.6878 0.8293 -1 1 2 1 2.723 0.03388 0 0.07004 1 1 -0.0004492 0.06428 0.08762 0.02897 0.1702 2.43 1 0.04926 0.09346 1 1 0.0359 0.1274 0.2297 0.05219 0.1853 0.334 json
t14_x1_u3_b53 14 1 3 53 flr(pow(dot(P,P),D)) 48171 113729471 o1(o2(o2(x,x),x)) true 44335 44335 0.8333 0.9961 0.8411 0.1128 0.3358 -1 1 2 1 1.722 0.08145 0.002094 0.1262 0.9499 1 -0.002327 0.1638 0.1867 0.0676 0.26 2.06 2.828 0.7409 1.453 1 1 0.0868 0.1631 0.06989 0.7697 1.446 0.6198 json
t14_x1_u3_b54 14 1 3 54 flr(pow(dst(P,P),D)) 48172 113729472 o1(o2(o2(x,x),x)) true 44343 44343 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_x1_u3_b55 14 1 3 55 flr(mod(add(P,P),D)) 48173 113729473 o1(o2(o2(x,x),x)) true 44351 44351 -0.4026 0 0.4026 0.2335 0.4832 -1 0 1 1 1.62 0.07077 0 0.07485 1 1 -1.23e-8 0.1714 0.1428 0.06517 0.2553 3.41 0.9997 0.3031 0.734 1 1 0.05304 0.0694 0.06953 0.2272 0.2973 0.2978 json
t14_x1_u3_b56 14 1 3 56 flr(mod(sub(P,P),D)) 48174 113729474 o1(o2(o2(x,x),x)) true 44359 44359 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_x1_u3_b57 14 1 3 57 flr(mod(mlt(P,P),D)) 48175 113729475 o1(o2(o2(x,x),x)) true 44367 44367 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_x1_u3_b58 14 1 3 58 flr(mod(div(P,P),D)) 48176 113729476 o1(o2(o2(x,x),x)) true 44375 44375 -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_x1_u3_b59 14 1 3 59 flr(mod(pow(P,P),D)) 48177 113729477 o1(o2(o2(x,x),x)) true 44383 44383 -0.5167 0.01563 0.5413 0.2678 0.5175 -1 0.9929 1.993 1 1.317 0.0863 0 0.06725 1 1 0.00779 0.2578 0.1243 0.08179 0.286 4.253 1.963 0.3223 0.9629 1 1 0.005263 0.02105 0.1077 0.01965 0.07862 0.4022 json
t14_x1_u3_b60 14 1 3 60 flr(mod(mod(P,P),D)) 48178 113729478 o1(o2(o2(x,x),x)) true 44391 44391 -0.2891 0 0.2891 0.1785 0.4225 -1 0 1 1 2.097 0.03292 0 0.04728 1 1 0.00008984 0.06381 0.06688 0.03068 0.1752 3.705 1 0.1844 0.3574 1 1 0.02344 0.07652 0.1918 0.1313 0.4286 1.074 json
t14_x1_u3_b61 14 1 3 61 flr(mod(lrg(P,P),D)) 48179 113729479 o1(o2(o2(x,x),x)) true 44399 44399 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_x1_u3_b62 14 1 3 62 flr(mod(eql(P,P),D)) 48180 113729480 o1(o2(o2(x,x),x)) true 44407 44407 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_x1_u3_b63 14 1 3 63 flr(mod(min(P,P),D)) 48181 113729481 o1(o2(o2(x,x),x)) true 44415 44415 -0.4026 0 0.4026 0.2335 0.4832 -1 0 1 1 1.62 0.07077 0 0.07485 1 1 -1.23e-8 0.1714 0.1428 0.06517 0.2553 3.41 0.9997 0.3031 0.734 1 1 0.05304 0.0694 0.06953 0.2272 0.2973 0.2978 json
t14_x1_u3_b64 14 1 3 64 flr(mod(dot(P,P),D)) 48182 113729482 o1(o2(o2(x,x),x)) true 44423 44423 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_x1_u3_b65 14 1 3 65 flr(mod(dst(P,P),D)) 48183 113729483 o1(o2(o2(x,x),x)) true 44431 44431 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_x1_u3_b66 14 1 3 66 flr(lrg(add(P,P),D)) 48184 113729484 o1(o2(o2(x,x),x)) true 44439 44439 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
t14_x1_u3_b67 14 1 3 67 flr(lrg(sub(P,P),D)) 48185 113729485 o1(o2(o2(x,x),x)) true 44447 44447 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_x1_u3_b68 14 1 3 68 flr(lrg(mlt(P,P),D)) 48186 113729486 o1(o2(o2(x,x),x)) true 44455 44455 0.9688 1 0.9688 0.02351 0.1533 0.000291 1 0.9997 1 0.459 0.004319 0 0.007934 1 1 0 0.008002 0.008862 0.004255 0.06523 8.221 0.9997 0.1837 0.3404 1 1 0.00615 0.02664 0.03299 0.2616 1.133 1.403 json
t14_x1_u3_b69 14 1 3 69 flr(lrg(div(P,P),D)) 48187 113729487 o1(o2(o2(x,x),x)) true 44463 44463 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_x1_u3_b70 14 1 3 70 flr(lrg(pow(P,P),D)) 48188 113729488 o1(o2(o2(x,x),x)) true 44471 44471 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_x1_u3_b71 14 1 3 71 flr(lrg(mod(P,P),D)) 48189 113729489 o1(o2(o2(x,x),x)) true 44479 44479 0.5313 0.8125 0.5313 0.1881 0.4337 0 1 1 1 2.747 0.03489 0 0.06744 1 1 -7.096e-10 0.06428 0.07181 0.03034 0.1742 2.583 0.9997 0.1855 0.3417 1 1 0.04992 0.1917 0.132 0.2654 1.019 0.7015 json
t14_x1_u3_b72 14 1 3 72 flr(lrg(lrg(P,P),D)) 48190 113729490 o1(o2(o2(x,x),x)) true 44487 44487 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_x1_u3_b73 14 1 3 73 flr(lrg(eql(P,P),D)) 48191 113729491 o1(o2(o2(x,x),x)) true 44495 44495 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_x1_u3_b74 14 1 3 74 flr(lrg(min(P,P),D)) 48192 113729492 o1(o2(o2(x,x),x)) true 44503 44503 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
t14_x1_u3_b75 14 1 3 75 flr(lrg(dot(P,P),D)) 48193 113729493 o1(o2(o2(x,x),x)) true 44511 44511 0.998 1 0.998 0.001197 0.0346 0.000582 1 0.9994 1 0.05785 0.0002149 0.00001756 0.0006672 0.8489 1 -8.541e-11 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
t14_x1_u3_b76 14 1 3 76 flr(lrg(dst(P,P),D)) 48194 113729494 o1(o2(o2(x,x),x)) true 44519 44519 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_x1_u3_b77 14 1 3 77 flr(eql(add(P,P),D)) 48195 113729495 o1(o2(o2(x,x),x)) true 44527 44527 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_x1_u3_b78 14 1 3 78 flr(eql(sub(P,P),D)) 48196 113729496 o1(o2(o2(x,x),x)) true 44535 44535 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_x1_u3_b79 14 1 3 79 flr(eql(mlt(P,P),D)) 48197 113729497 o1(o2(o2(x,x),x)) true 44543 44543 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_x1_u3_b80 14 1 3 80 flr(eql(div(P,P),D)) 48198 113729498 o1(o2(o2(x,x),x)) true 44551 44551 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_x1_u3_b81 14 1 3 81 flr(eql(pow(P,P),D)) 48199 113729499 o1(o2(o2(x,x),x)) true 44559 44559 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