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
t12_x9_u4_b105 12 9 4 105 cil(dot(D,lrg(P,P))) 27400 97811730 o1(o2(x,o2(x,x))) true 49047 49047 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
t12_x9_u4_b106 12 9 4 106 cil(dot(D,eql(P,P))) 27401 97811731 o1(o2(x,o2(x,x))) true 49055 49055 0.4688 0.9375 0.4688 0.1046 0.3235 0 0.9994 0.9994 1 3.91 0.06018 0.06018 0.1758 0.000004488 1 0.00003149 0.5007 0.2681 0.08942 0.299 1.701 1.409 1.15 4.785 1 1 0.1154 0.2917 0 1.103 2.788 0 json
t12_x9_u4_b107 12 9 4 107 cil(dot(D,min(P,P))) 27402 97811732 o1(o2(x,o2(x,x))) true 49063 49063 0.1641 0.6101 0.5266 0.3739 0.6115 -1 1 2 1 4.671 0.08665 0.08665 0.3169 7.738e-7 1 0.004905 0.5924 0.5574 0.07287 0.2699 0.8518 1.413 0.4635 1.584 1 1 0.1468 0.5333 0.1122 0.3926 1.426 0.2999 json
t12_x9_u4_b108 12 9 4 108 cil(dot(D,dot(P,P))) 27403 97811733 o1(o2(x,o2(x,x))) true 49071 49071 0.07967 0.5444 0.8786 0.8387 0.9158 -1 1 2 1 2.522 0.2137 0.2137 0.3228 6.972e-8 1 -0.0003818 1.216 0.5568 0.3232 0.5685 1.761 2.828 0.5097 1.45 1 1 0.4265 1.405 0.1283 0.5085 1.676 0.1529 json
t12_x9_u4_b109 12 9 4 109 cil(dot(D,dst(P,P))) 27404 97811734 o1(o2(x,o2(x,x))) true 49079 49079 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
t12_x9_u4_b110 12 9 4 110 cil(dst(D,add(P,P))) 27405 97811735 o1(o2(x,o2(x,x))) true 49087 49087 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
t12_x9_u4_b111 12 9 4 111 cil(dst(D,sub(P,P))) 27406 97811736 o1(o2(x,o2(x,x))) true 49095 49095 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
t12_x9_u4_b112 12 9 4 112 cil(dst(D,mlt(P,P))) 27407 97811737 o1(o2(x,o2(x,x))) true 49103 49103 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
t12_x9_u4_b113 12 9 4 113 cil(dst(D,div(P,P))) 27408 97811738 o1(o2(x,o2(x,x))) true 49111 49111 -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
t12_x9_u4_b114 12 9 4 114 cil(dst(D,pow(P,P))) 27409 97811739 o1(o2(x,o2(x,x))) true 49119 49119 -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
t12_x9_u4_b115 12 9 4 115 cil(dst(D,mod(P,P))) 27410 97811740 o1(o2(x,o2(x,x))) true 49127 49127 -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
t12_x9_u4_b116 12 9 4 116 cil(dst(D,lrg(P,P))) 27411 97811741 o1(o2(x,o2(x,x))) true 49135 49135 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
t12_x9_u4_b117 12 9 4 117 cil(dst(D,eql(P,P))) 27412 97811742 o1(o2(x,o2(x,x))) true 49143 49143 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
t12_x9_u4_b118 12 9 4 118 cil(dst(D,min(P,P))) 27413 97811743 o1(o2(x,o2(x,x))) true 49151 49151 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
t12_x9_u4_b119 12 9 4 119 cil(dst(D,dot(P,P))) 27414 97811744 o1(o2(x,o2(x,x))) true 49159 49159 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
t12_x9_u4_b120 12 9 4 120 cil(dst(D,dst(P,P))) 27415 97811745 o1(o2(x,o2(x,x))) true 49167 49167 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
t12_x9_u5_b0 12 9 5 0 sgn(add(D,add(P,P))) 27416 97811826 o1(o2(x,o2(x,x))) true 49175 49175 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
t12_x9_u5_b1 12 9 5 1 sgn(add(D,sub(P,P))) 27417 97811827 o1(o2(x,o2(x,x))) true 49183 49183 -1.819e-12 0.5 0.6889 0.5671 0.753 -0.9994 0.9994 1.999 1 3.406 0.2604 0 0.2456 1 1 0 0.4833 0.2673 0.2 0.4473 1.821 1.999 0.4593 0.8522 1 1 0.2829 0.9676 0 0.4989 1.706 0 json
t12_x9_u5_b2 12 9 5 2 sgn(add(D,mlt(P,P))) 27418 97811828 o1(o2(x,o2(x,x))) true 49191 49191 0.9375 0.9688 0.9806 0.09404 0.3067 -0.9994 1 1.999 1 0.459 0.01728 0 0.01587 1 1 0 0.03201 0.01772 0.01702 0.1305 8.221 1.999 0.1837 0.3404 1 1 0.0246 0.1066 0.132 0.2616 1.133 1.403 json
t12_x9_u5_b3 12 9 5 3 sgn(add(D,div(P,P))) 27419 97811829 o1(o2(x,o2(x,x))) true 49199 49199 0.875 0.9375 0.9611 0.1803 0.4246 -0.9994 1 1.999 1 0.8126 0.002823 0 0.01587 1 1 0 0.0001297 0.003711 0.002573 0.05073 3.197 0.2338 0.01566 0.0007193 1 1 0.007404 0.09633 0.2639 0.04107 0.5344 1.464 json
t12_x9_u5_b4 12 9 5 4 sgn(add(D,pow(P,P))) 27420 97811830 o1(o2(x,o2(x,x))) true 49207 49207 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
t12_x9_u5_b5 12 9 5 5 sgn(add(D,mod(P,P))) 27421 97811831 o1(o2(x,o2(x,x))) true 49215 49215 -0.0625 0.4688 0.825 0.7525 0.8675 -1 1 2 1 2.747 0.1396 0 0.1346 1 1 0 0.2567 0.1433 0.1214 0.3485 2.589 1.999 0.1855 0.3411 1 1 0.1926 0.7278 0.6752 0.256 0.9671 0.8973 json
t12_x9_u5_b6 12 9 5 6 sgn(add(D,lrg(P,P))) 27422 97811832 o1(o2(x,o2(x,x))) true 49223 49223 -1.819e-12 0.5 0.6889 0.5671 0.753 -0.9994 0.9994 1.999 1 3.406 0.2604 0 0.2456 1 1 0 0.4833 0.2673 0.2 0.4473 1.821 1.999 0.4593 0.8522 1 1 0.2829 0.9676 0 0.4989 1.706 0 json
t12_x9_u5_b7 12 9 5 7 sgn(add(D,eql(P,P))) 27423 97811833 o1(o2(x,o2(x,x))) true 49231 49231 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
t12_x9_u5_b8 12 9 5 8 sgn(add(D,min(P,P))) 27424 97811834 o1(o2(x,o2(x,x))) true 49239 49239 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
t12_x9_u5_b9 12 9 5 9 sgn(add(D,dot(P,P))) 27425 97811835 o1(o2(x,o2(x,x))) true 49247 49247 0.9961 0.9983 0.9978 0.004774 0.06909 -0.9988 1 1.999 1 0.06727 0.0008594 0.00007023 0.001303 0.8489 1 -1.915e-10 0.00162 0.001202 0.0009271 0.03045 23.36 1.999 0.1947 0.3394 1 1 0.001867 0.01021 0.01742 0.3912 2.139 3.648 json
t12_x9_u5_b10 12 9 5 10 sgn(add(D,dst(P,P))) 27426 97811836 o1(o2(x,o2(x,x))) true 49255 49255 -1.819e-12 0.5 0.6889 0.5671 0.753 -0.9994 0.9994 1.999 1 3.406 0.2604 0 0.2456 1 1 0 0.4833 0.2673 0.2 0.4473 1.821 1.999 0.4593 0.8522 1 1 0.2829 0.9676 0 0.4989 1.706 0 json
t12_x9_u5_b11 12 9 5 11 sgn(sub(D,add(P,P))) 27427 97811837 o1(o2(x,o2(x,x))) true 49263 49263 0 0.5 0.9611 0.9459 0.9725 -1 1 2 1 1.577 0.01868 0 0.0238 1 1 0 0.03227 0.01957 0.01811 0.1346 5.654 1.999 0.01975 0.03412 1 1 0.02814 0.1297 0.2639 0.02976 0.1372 0.279 json
t12_x9_u5_b12 12 9 5 12 sgn(sub(D,sub(P,P))) 27428 97811838 o1(o2(x,o2(x,x))) true 49271 49271 -1.819e-12 0.5 0.6889 0.5671 0.753 -0.9994 0.9994 1.999 1 3.406 0.2604 0 0.2456 1 1 0 0.4833 0.2673 0.2 0.4473 1.821 1.999 0.4593 0.8522 1 1 0.2829 0.9676 0 0.4989 1.706 0 json
t12_x9_u5_b13 12 9 5 13 sgn(sub(D,mlt(P,P))) 27429 97811839 o1(o2(x,o2(x,x))) true 49279 49279 -0.9375 0.03125 0.9806 0.09404 0.3067 -1 0.9994 1.999 1 0.459 0.01728 0 0.01587 1 1 0 0.03201 0.01772 0.01702 0.1305 8.221 1.999 0.1837 0.3404 1 1 0.0246 0.1066 0.132 0.2616 1.133 1.403 json
t12_x9_u5_b14 12 9 5 14 sgn(sub(D,div(P,P))) 27430 97811840 o1(o2(x,o2(x,x))) true 49287 49287 -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
t12_x9_u5_b15 12 9 5 15 sgn(sub(D,pow(P,P))) 27431 97811841 o1(o2(x,o2(x,x))) true 49295 49295 -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
t12_x9_u5_b16 12 9 5 16 sgn(sub(D,mod(P,P))) 27432 97811842 o1(o2(x,o2(x,x))) true 49303 49303 -0.0625 0.4688 0.825 0.7525 0.8675 -1 1 2 1 2.747 0.1396 0 0.1349 1 1 0 0.2571 0.1436 0.1214 0.3484 2.583 1.999 0.1855 0.3417 1 1 0.1997 0.7669 0.5279 0.2654 1.019 0.7015 json
t12_x9_u5_b17 12 9 5 17 sgn(sub(D,lrg(P,P))) 27433 97811843 o1(o2(x,o2(x,x))) true 49311 49311 -1.819e-12 0.5 0.6889 0.5671 0.753 -0.9994 0.9994 1.999 1 3.406 0.2604 0 0.2456 1 1 0 0.4833 0.2673 0.2 0.4473 1.821 1.999 0.4593 0.8522 1 1 0.2829 0.9676 0 0.4989 1.706 0 json
t12_x9_u5_b18 12 9 5 18 sgn(sub(D,eql(P,P))) 27434 97811844 o1(o2(x,o2(x,x))) true 49319 49319 -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
t12_x9_u5_b19 12 9 5 19 sgn(sub(D,min(P,P))) 27435 97811845 o1(o2(x,o2(x,x))) true 49327 49327 0 0.5 0.9611 0.9459 0.9725 -1 1 2 1 1.577 0.01868 0 0.0238 1 1 0 0.03227 0.01957 0.01811 0.1346 5.654 1.999 0.01975 0.03412 1 1 0.02814 0.1297 0.2639 0.02976 0.1372 0.279 json
t12_x9_u5_b20 12 9 5 20 sgn(sub(D,dot(P,P))) 27436 97811846 o1(o2(x,o2(x,x))) true 49335 49335 -0.9961 0.001709 0.9978 0.004774 0.06909 -1 0.9988 1.999 1 0.06727 0.0008594 0.00007023 0.001334 0.8489 1 1.821e-10 0.00162 0.001202 0.000927 0.03045 22.82 1.999 0.1947 0.3394 1 1 0.001867 0.01021 0.01742 0.3912 2.139 3.648 json
t12_x9_u5_b21 12 9 5 21 sgn(sub(D,dst(P,P))) 27437 97811847 o1(o2(x,o2(x,x))) true 49343 49343 -1.819e-12 0.5 0.6889 0.5671 0.753 -0.9994 0.9994 1.999 1 3.406 0.2604 0 0.2456 1 1 0 0.4833 0.2673 0.2 0.4473 1.821 1.999 0.4593 0.8522 1 1 0.2829 0.9676 0 0.4989 1.706 0 json
t12_x9_u5_b22 12 9 5 22 sgn(mlt(D,add(P,P))) 27438 97811848 o1(o2(x,o2(x,x))) true 49351 49351 -0.0625 0.4375 0.6653 0.5412 0.7356 -0.9997 0.9994 1.999 1 3.711 0.2425 0 0.2297 1 1 -0.0003594 0.4508 0.2496 0.1897 0.4355 1.896 1.999 0.448 0.833 1 1 0.2568 0.8873 0.1615 0.4745 1.64 0.2984 json
t12_x9_u5_b23 12 9 5 23 sgn(mlt(D,sub(P,P))) 27439 97811849 o1(o2(x,o2(x,x))) true 49359 49359 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
t12_x9_u5_b24 12 9 5 24 sgn(mlt(D,mlt(P,P))) 27440 97811850 o1(o2(x,o2(x,x))) true 49367 49367 3.716e-9 0.5 0.6653 0.5452 0.7384 -0.9997 0.9997 1.999 1 3.784 0.2425 0 0.2297 1 1 0 0.4508 0.2496 0.1897 0.4355 1.896 1.999 0.4447 0.8269 1 1 0.2568 0.8877 0.06598 0.471 1.628 0.121 json
t12_x9_u5_b25 12 9 5 25 sgn(mlt(D,div(P,P))) 27441 97811851 o1(o2(x,o2(x,x))) true 49375 49375 -0.0625 0.4688 0.7083 0.5901 0.7682 -1 0.9994 1.999 1 3.332 0.2432 0 0.2297 1 1 0 0.4509 0.2496 0.1904 0.4364 1.9 1.999 0.4121 0.764 1 1 0.2586 0.9117 0.132 0.4383 1.545 0.2236 json
t12_x9_u5_b26 12 9 5 26 sgn(mlt(D,pow(P,P))) 27442 97811852 o1(o2(x,o2(x,x))) true 49383 49383 -0.5 0.25 0.8444 0.5335 0.7304 -1 0.9994 1.999 1 2.329 0.1381 0 0.1269 1 1 -0.0001797 0.2574 0.1416 0.122 0.3493 2.753 1.999 0.2589 0.4825 1 1 0.1572 0.5458 0.132 0.2946 1.023 0.2473 json
t12_x9_u5_b27 12 9 5 27 sgn(mlt(D,mod(P,P))) 27443 97811853 o1(o2(x,o2(x,x))) true 49391 49391 -0.0625 0.3125 0.3986 0.3118 0.5584 -0.9997 0.9997 1.999 1 3.945 0.1015 0 0.103 1 1 -0.0001797 0.1923 0.108 0.09091 0.3015 2.928 1.999 0.3256 0.6168 1 1 0.05964 0.2576 0.2917 0.1913 0.8259 0.9354 json
t12_x9_u5_b28 12 9 5 28 sgn(mlt(D,lrg(P,P))) 27444 97811854 o1(o2(x,o2(x,x))) true 49399 49399 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
t12_x9_u5_b29 12 9 5 29 sgn(mlt(D,eql(P,P))) 27445 97811855 o1(o2(x,o2(x,x))) true 49407 49407 -1.819e-12 0.5 0.6889 0.5671 0.753 -0.9994 0.9994 1.999 1 3.406 0.2604 0 0.2456 1 1 0 0.4833 0.2673 0.2 0.4473 1.821 1.999 0.4593 0.8522 1 1 0.2829 0.9676 0 0.4989 1.706 0 json
t12_x9_u5_b30 12 9 5 30 sgn(mlt(D,min(P,P))) 27446 97811856 o1(o2(x,o2(x,x))) true 49415 49415 -0.0625 0.4375 0.6653 0.5412 0.7356 -0.9997 0.9994 1.999 1 3.711 0.2425 0 0.2297 1 1 -0.0003594 0.4508 0.2496 0.1897 0.4355 1.896 1.999 0.448 0.833 1 1 0.2568 0.8873 0.1615 0.4745 1.64 0.2984 json
t12_x9_u5_b31 12 9 5 31 sgn(mlt(D,dot(P,P))) 27447 97811857 o1(o2(x,o2(x,x))) true 49423 49423 -1.819e-12 0.4999 0.687 0.565 0.7517 -0.9997 0.9997 1.999 1 3.473 0.2591 0.00003512 0.2447 0.9997 1 0 0.4808 0.2662 0.1991 0.4462 1.823 1.999 0.4585 0.8509 1 1 0.2804 0.9609 0.008708 0.4963 1.701 0.01541 json
t12_x9_u5_b32 12 9 5 32 sgn(mlt(D,dst(P,P))) 27448 97811858 o1(o2(x,o2(x,x))) true 49431 49431 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
t12_x9_u5_b33 12 9 5 33 sgn(div(D,add(P,P))) 27449 97811859 o1(o2(x,o2(x,x))) true 49439 49439 -0.0625 0.4688 0.7083 0.5901 0.7682 -1 0.9994 1.999 1 3.332 0.259 0 0.2376 1 1 -0.0003594 0.4828 0.2655 0.2025 0.4499 1.893 1.999 0.4389 0.8181 1 1 0.2795 0.9698 0.2275 0.4737 1.643 0.3855 json
t12_x9_u5_b34 12 9 5 34 sgn(div(D,sub(P,P))) 27450 97811860 o1(o2(x,o2(x,x))) true 49447 49447 -1.819e-12 0.5 0.6889 0.5671 0.753 -0.9994 0.9994 1.999 1 3.406 0.2604 0 0.2456 1 1 0 0.4833 0.2673 0.2 0.4473 1.821 1.999 0.4593 0.8522 1 1 0.2829 0.9676 0 0.4989 1.706 0 json
t12_x9_u5_b35 12 9 5 35 sgn(div(D,mlt(P,P))) 27451 97811861 o1(o2(x,o2(x,x))) true 49455 49455 -1.819e-12 0.5 0.6889 0.5671 0.753 -0.9994 0.9994 1.999 1 3.406 0.2604 0 0.2456 1 1 0 0.4833 0.2673 0.2 0.4473 1.821 1.999 0.4593 0.8522 1 1 0.2829 0.9676 0 0.4989 1.706 0 json
t12_x9_u5_b36 12 9 5 36 sgn(div(D,div(P,P))) 27452 97811862 o1(o2(x,o2(x,x))) true 49463 49463 -0.0625 0.4688 0.7083 0.5901 0.7682 -1 0.9994 1.999 1 3.332 0.2432 0 0.2297 1 1 0 0.4509 0.2496 0.1904 0.4364 1.9 1.999 0.4121 0.764 1 1 0.2586 0.9117 0.132 0.4383 1.545 0.2236 json
t12_x9_u5_b37 12 9 5 37 sgn(div(D,pow(P,P))) 27453 97811863 o1(o2(x,o2(x,x))) true 49471 49471 -0.5 0.25 0.8444 0.5335 0.7304 -1 0.9994 1.999 1 2.329 0.1381 0 0.1269 1 1 -0.0001797 0.2574 0.1416 0.122 0.3493 2.753 1.999 0.2589 0.4825 1 1 0.1572 0.5458 0.132 0.2946 1.023 0.2473 json
t12_x9_u5_b38 12 9 5 38 sgn(div(D,mod(P,P))) 27454 97811864 o1(o2(x,o2(x,x))) true 49479 49479 -0.0625 0.4688 0.7861 0.6984 0.8357 -1 1 2 1 2.978 0.2376 0 0.1982 1 1 -0.0001797 0.4492 0.2424 0.1983 0.4453 2.246 2 0.3402 0.6432 1 1 0.2483 0.9011 0.4878 0.3556 1.29 0.6985 json
t12_x9_u5_b39 12 9 5 39 sgn(div(D,lrg(P,P))) 27455 97811865 o1(o2(x,o2(x,x))) true 49487 49487 -1.819e-12 0.5 0.6889 0.5671 0.753 -0.9994 0.9994 1.999 1 3.406 0.2604 0 0.2456 1 1 0 0.4833 0.2673 0.2 0.4473 1.821 1.999 0.4593 0.8522 1 1 0.2829 0.9676 0 0.4989 1.706 0 json
t12_x9_u5_b40 12 9 5 40 sgn(div(D,eql(P,P))) 27456 97811866 o1(o2(x,o2(x,x))) true 49495 49495 -1.819e-12 0.5 0.6889 0.5671 0.753 -0.9994 0.9994 1.999 1 3.406 0.2604 0 0.2456 1 1 0 0.4833 0.2673 0.2 0.4473 1.821 1.999 0.4593 0.8522 1 1 0.2829 0.9676 0 0.4989 1.706 0 json
t12_x9_u5_b41 12 9 5 41 sgn(div(D,min(P,P))) 27457 97811867 o1(o2(x,o2(x,x))) true 49503 49503 -0.0625 0.4688 0.7083 0.5901 0.7682 -1 0.9994 1.999 1 3.332 0.259 0 0.2376 1 1 -0.0003594 0.4828 0.2655 0.2025 0.4499 1.893 1.999 0.4389 0.8181 1 1 0.2795 0.9698 0.2275 0.4737 1.643 0.3855 json
t12_x9_u5_b42 12 9 5 42 sgn(div(D,dot(P,P))) 27458 97811868 o1(o2(x,o2(x,x))) true 49511 49511 -1.819e-12 0.5 0.6889 0.5671 0.753 -0.9994 0.9994 1.999 1 3.406 0.2604 0 0.2456 1 1 0 0.4833 0.2673 0.2 0.4473 1.821 1.999 0.4593 0.8522 1 1 0.2829 0.9676 0 0.4989 1.706 0 json
t12_x9_u5_b43 12 9 5 43 sgn(div(D,dst(P,P))) 27459 97811869 o1(o2(x,o2(x,x))) true 49519 49519 -1.819e-12 0.5 0.6889 0.5671 0.753 -0.9994 0.9994 1.999 1 3.406 0.2604 0 0.2456 1 1 0 0.4833 0.2673 0.2 0.4473 1.821 1.999 0.4593 0.8522 1 1 0.2829 0.9676 0 0.4989 1.706 0 json
t12_x9_u5_b44 12 9 5 44 sgn(pow(D,add(P,P))) 27460 97811870 o1(o2(x,o2(x,x))) true 49527 49527 0.0625 0.5313 0.7083 0.5901 0.7682 -0.9994 1 1.999 1 3.332 0.2432 0 0.2297 1 1 0 0.4509 0.2496 0.1904 0.4364 1.9 1.999 0.4121 0.764 1 1 0.2586 0.9117 0.132 0.4383 1.545 0.2236 json
t12_x9_u5_b45 12 9 5 45 sgn(pow(D,sub(P,P))) 27461 97811871 o1(o2(x,o2(x,x))) true 49535 49535 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
t12_x9_u5_b46 12 9 5 46 sgn(pow(D,mlt(P,P))) 27462 97811872 o1(o2(x,o2(x,x))) true 49543 49543 0.01635 0.4844 0.6636 0.5498 0.7415 -0.9994 1 1.999 1 3.494 0.2118 0 0.2301 1 1 -0.00008985 0.3761 0.239 0.1589 0.3986 1.732 1.999 0.3853 0.6841 1 1 0.2508 0.9085 0.1423 0.4562 1.652 0.2588 json
t12_x9_u5_b47 12 9 5 47 sgn(pow(D,div(P,P))) 27463 97811873 o1(o2(x,o2(x,x))) true 49551 49551 -0.0625 0.4688 0.7083 0.5901 0.7682 -1 0.9994 1.999 1 3.332 0.2432 0 0.2297 1 1 0 0.4509 0.2496 0.1904 0.4364 1.9 1.999 0.4121 0.764 1 1 0.2586 0.9117 0.132 0.4383 1.545 0.2236 json
t12_x9_u5_b48 12 9 5 48 sgn(pow(D,pow(P,P))) 27464 97811874 o1(o2(x,o2(x,x))) true 49559 49559 -0.6279 0.1211 0.7923 0.34 0.5831 -1 0.9994 1.999 1 2.609 0.07836 0 0.09547 1 1 -0.00008985 0.1373 0.09976 0.06923 0.2631 2.756 1.999 0.2305 0.4039 1 1 0.1072 0.3843 0.165 0.3153 1.13 0.4852 json
t12_x9_u5_b49 12 9 5 49 sgn(pow(D,mod(P,P))) 27465 97811875 o1(o2(x,o2(x,x))) true 49567 49567 0.5 0.75 0.8444 0.5335 0.7304 -0.9994 1 1.999 1 2.329 0.1064 0 0.1108 1 1 0.0001797 0.1926 0.1099 0.09414 0.3068 2.768 1.999 0.1995 0.3609 1 1 0.07067 0.3914 0.6788 0.1325 0.7336 1.272 json
t12_x9_u5_b50 12 9 5 50 sgn(pow(D,lrg(P,P))) 27466 97811876 o1(o2(x,o2(x,x))) true 49575 49575 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
t12_x9_u5_b51 12 9 5 51 sgn(pow(D,eql(P,P))) 27467 97811877 o1(o2(x,o2(x,x))) true 49583 49583 -1.819e-12 0.5 0.6889 0.5671 0.753 -0.9994 0.9994 1.999 1 3.406 0.2604 0 0.2456 1 1 0 0.4833 0.2673 0.2 0.4473 1.821 1.999 0.4593 0.8522 1 1 0.2829 0.9676 0 0.4989 1.706 0 json
t12_x9_u5_b52 12 9 5 52 sgn(pow(D,min(P,P))) 27468 97811878 o1(o2(x,o2(x,x))) true 49591 49591 0.0625 0.5313 0.7083 0.5901 0.7682 -0.9994 1 1.999 1 3.332 0.2432 0 0.2297 1 1 0 0.4509 0.2496 0.1904 0.4364 1.9 1.999 0.4121 0.764 1 1 0.2586 0.9117 0.132 0.4383 1.545 0.2236 json
t12_x9_u5_b53 12 9 5 53 sgn(pow(D,dot(P,P))) 27469 97811879 o1(o2(x,o2(x,x))) true 49599 49599 -0.1341 0.3676 0.5626 0.4246 0.6516 -0.9994 1 1.999 1 3.772 0.1644 0.000249 0.231 0.997 1 -0.00009808 0.281 0.238 0.1112 0.3335 1.443 1.999 0.3878 0.6619 1 1 0.2383 0.8957 0.061 0.5612 2.11 0.1437 json
t12_x9_u5_b54 12 9 5 54 sgn(pow(D,dst(P,P))) 27470 97811880 o1(o2(x,o2(x,x))) true 49607 49607 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
t12_x9_u5_b55 12 9 5 55 sgn(mod(D,add(P,P))) 27471 97811881 o1(o2(x,o2(x,x))) true 49615 49615 -0.0625 0.4688 0.7083 0.5901 0.7682 -1 0.9994 1.999 1 3.332 0.2432 0 0.2297 1 1 0 0.4509 0.2496 0.1904 0.4364 1.9 1.999 0.4121 0.764 1 1 0.2586 0.9117 0.132 0.4383 1.545 0.2236 json
t12_x9_u5_b56 12 9 5 56 sgn(mod(D,sub(P,P))) 27472 97811882 o1(o2(x,o2(x,x))) true 49623 49623 -1.819e-12 0.5 0.6889 0.5671 0.753 -0.9994 0.9994 1.999 1 3.406 0.2604 0 0.2456 1 1 0 0.4833 0.2673 0.2 0.4473 1.821 1.999 0.4593 0.8522 1 1 0.2829 0.9676 0 0.4989 1.706 0 json
t12_x9_u5_b57 12 9 5 57 sgn(mod(D,mlt(P,P))) 27473 97811883 o1(o2(x,o2(x,x))) true 49631 49631 -0.0625 0.4688 0.7083 0.5901 0.7682 -1 0.9994 1.999 1 3.332 0.2432 0 0.2297 1 1 0 0.4509 0.2496 0.1904 0.4364 1.9 1.999 0.4121 0.764 1 1 0.2586 0.9117 0.132 0.4383 1.545 0.2236 json
t12_x9_u5_b58 12 9 5 58 sgn(mod(D,div(P,P))) 27474 97811884 o1(o2(x,o2(x,x))) true 49639 49639 -0.0625 0.4688 0.7083 0.5901 0.7682 -1 0.9994 1.999 1 3.332 0.2432 0 0.2297 1 1 0 0.4509 0.2496 0.1904 0.4364 1.9 1.999 0.4121 0.764 1 1 0.2586 0.9117 0.132 0.4383 1.545 0.2236 json
t12_x9_u5_b59 12 9 5 59 sgn(mod(D,pow(P,P))) 27475 97811885 o1(o2(x,o2(x,x))) true 49647 49647 -0.5 0.25 0.8444 0.5335 0.7304 -1 0.9994 1.999 1 2.329 0.1381 0 0.1269 1 1 -0.0001797 0.2574 0.1416 0.122 0.3493 2.753 1.999 0.2589 0.4825 1 1 0.1572 0.5458 0.132 0.2946 1.023 0.2473 json
t12_x9_u5_b60 12 9 5 60 sgn(mod(D,mod(P,P))) 27476 97811886 o1(o2(x,o2(x,x))) true 49655 49655 -0.625 0.1875 0.8833 0.4471 0.6686 -1 0.9994 1.999 1 1.903 0.1036 0 0.09515 1 1 -0.0001797 0.1924 0.1062 0.09461 0.3076 3.233 1.999 0.2318 0.4304 1 1 0.06341 0.3132 0.4514 0.1418 0.7005 1.01 json
t12_x9_u5_b61 12 9 5 61 sgn(mod(D,lrg(P,P))) 27477 97811887 o1(o2(x,o2(x,x))) true 49663 49663 -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
t12_x9_u5_b62 12 9 5 62 sgn(mod(D,eql(P,P))) 27478 97811888 o1(o2(x,o2(x,x))) true 49671 49671 -1.819e-12 0.5 0.6889 0.5671 0.753 -0.9994 0.9994 1.999 1 3.406 0.2604 0 0.2456 1 1 0 0.4833 0.2673 0.2 0.4473 1.821 1.999 0.4593 0.8522 1 1 0.2829 0.9676 0 0.4989 1.706 0 json
t12_x9_u5_b63 12 9 5 63 sgn(mod(D,min(P,P))) 27479 97811889 o1(o2(x,o2(x,x))) true 49679 49679 -0.0625 0.4688 0.7083 0.5901 0.7682 -1 0.9994 1.999 1 3.332 0.2432 0 0.2297 1 1 0 0.4509 0.2496 0.1904 0.4364 1.9 1.999 0.4121 0.764 1 1 0.2586 0.9117 0.132 0.4383 1.545 0.2236 json
t12_x9_u5_b64 12 9 5 64 sgn(mod(D,dot(P,P))) 27480 97811890 o1(o2(x,o2(x,x))) true 49687 49687 -0.003906 0.4978 0.6891 0.5675 0.7533 -1 0.9994 1.999 1 3.429 0.2591 0.00007023 0.2449 0.9995 1 7.133e-11 0.4808 0.2663 0.1991 0.4462 1.822 1.999 0.4567 0.8473 1 1 0.2807 0.9641 0.01742 0.4946 1.699 0.03069 json
t12_x9_u5_b65 12 9 5 65 sgn(mod(D,dst(P,P))) 27481 97811891 o1(o2(x,o2(x,x))) true 49695 49695 -1.819e-12 0.5 0.6889 0.5671 0.753 -0.9994 0.9994 1.999 1 3.406 0.2604 0 0.2456 1 1 0 0.4833 0.2673 0.2 0.4473 1.821 1.999 0.4593 0.8522 1 1 0.2829 0.9676 0 0.4989 1.706 0 json
t12_x9_u5_b66 12 9 5 66 sgn(lrg(D,add(P,P))) 27482 97811892 o1(o2(x,o2(x,x))) true 49703 49703 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
t12_x9_u5_b67 12 9 5 67 sgn(lrg(D,sub(P,P))) 27483 97811893 o1(o2(x,o2(x,x))) true 49711 49711 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
t12_x9_u5_b68 12 9 5 68 sgn(lrg(D,mlt(P,P))) 27484 97811894 o1(o2(x,o2(x,x))) true 49719 49719 0.03125 0.0625 0.03125 0.02351 0.1533 0 0.9997 0.9997 1 0.459 0.004319 0 0.007934 1 1 -2.365e-10 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
t12_x9_u5_b69 12 9 5 69 sgn(lrg(D,div(P,P))) 27485 97811895 o1(o2(x,o2(x,x))) true 49727 49727 0.0625 0.125 0.0625 0.04507 0.2123 0 0.9997 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
t12_x9_u5_b70 12 9 5 70 sgn(lrg(D,pow(P,P))) 27486 97811896 o1(o2(x,o2(x,x))) true 49735 49735 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
t12_x9_u5_b71 12 9 5 71 sgn(lrg(D,mod(P,P))) 27487 97811897 o1(o2(x,o2(x,x))) true 49743 49743 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
t12_x9_u5_b72 12 9 5 72 sgn(lrg(D,lrg(P,P))) 27488 97811898 o1(o2(x,o2(x,x))) true 49751 49751 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
t12_x9_u5_b73 12 9 5 73 sgn(lrg(D,eql(P,P))) 27489 97811899 o1(o2(x,o2(x,x))) true 49759 49759 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
t12_x9_u5_b74 12 9 5 74 sgn(lrg(D,min(P,P))) 27490 97811900 o1(o2(x,o2(x,x))) true 49767 49767 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
t12_x9_u5_b75 12 9 5 75 sgn(lrg(D,dot(P,P))) 27491 97811901 o1(o2(x,o2(x,x))) true 49775 49775 0.001953 0.007385 0.001953 0.001197 0.0346 0 0.9994 0.9994 1 0.05785 0.0002149 0.00001756 0.0006672 0.8489 1 1.128e-12 0.000405 0.0006009 0.0002318 0.01522 22.82 0.9994 0.1941 0.3383 1 1 0.0004668 0.002552 0.004354 0.39 2.132 3.637 json
t12_x9_u5_b76 12 9 5 76 sgn(lrg(D,dst(P,P))) 27492 97811902 o1(o2(x,o2(x,x))) true 49783 49783 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
t12_x9_u5_b77 12 9 5 77 sgn(eql(D,add(P,P))) 27493 97811903 o1(o2(x,o2(x,x))) true 49791 49791 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
t12_x9_u5_b78 12 9 5 78 sgn(eql(D,sub(P,P))) 27494 97811904 o1(o2(x,o2(x,x))) true 49799 49799 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
t12_x9_u5_b79 12 9 5 79 sgn(eql(D,mlt(P,P))) 27495 97811905 o1(o2(x,o2(x,x))) true 49807 49807 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
t12_x9_u5_b80 12 9 5 80 sgn(eql(D,div(P,P))) 27496 97811906 o1(o2(x,o2(x,x))) true 49815 49815 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
t12_x9_u5_b81 12 9 5 81 sgn(eql(D,pow(P,P))) 27497 97811907 o1(o2(x,o2(x,x))) true 49823 49823 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
t12_x9_u5_b82 12 9 5 82 sgn(eql(D,mod(P,P))) 27498 97811908 o1(o2(x,o2(x,x))) true 49831 49831 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
t12_x9_u5_b83 12 9 5 83 sgn(eql(D,lrg(P,P))) 27499 97811909 o1(o2(x,o2(x,x))) true 49839 49839 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