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
t17_x0_u6_b77 17 0 6 77 eql(P,add(P,nrm(P))) 98300 138051500 o2(x,o2(x,o1(x))) true 103207 103207 0.05859 0.1241 0.05859 0.0418 0.2045 0 0.9997 0.9997 1 0.7992 0.0006513 0.00003512 0.007769 0.8977 1 -8.342e-10 0.00003252 0.001826 0.0006264 0.02503 3.222 0.1169 0.01642 0.0007779 1 1 0.001783 0.0232 0.06358 0.04266 0.5551 1.521 json
t17_x0_u6_b78 17 0 6 78 eql(P,sub(P,nrm(P))) 98301 138051501 o2(x,o2(x,o1(x))) true 103215 103215 0.05859 0.1241 0.05859 0.0418 0.2045 0 0.9997 0.9997 1 0.7992 0.0006513 0.00003512 0.007769 0.8977 1 -8.342e-10 0.00003252 0.001826 0.0006264 0.02503 3.222 0.1169 0.01642 0.0007779 1 1 0.001783 0.0232 0.06358 0.04266 0.5551 1.521 json
t17_x0_u6_b79 17 0 6 79 eql(P,mlt(P,nrm(P))) 98302 138051502 o2(x,o2(x,o1(x))) true 103223 103223 0.08789 0.1793 0.08789 0.06037 0.2457 0 0.9997 0.9997 1 1.095 0.0006592 0.0003511 0.01141 0.305 1 -8.434e-10 0.00004888 0.002695 0.0008798 0.02966 2.599 0.1169 0.01674 0.0008098 1 1 0.002608 0.03393 0.09574 0.0432 0.5621 1.586 json
t17_x0_u6_b80 17 0 6 80 eql(P,div(P,nrm(P))) 98303 138051503 o2(x,o2(x,o1(x))) true 103231 103231 0.0293 0.06207 0.0293 0.02176 0.1475 0 0.9997 0.9997 1 0.4503 0.00001756 0.0003257 0.00389 -0.8977 1 -1.126e-11 0.00001626 0.0009129 0.0003282 0.01812 4.657 0.1169 0.01577 0.000747 1 1 0.0008917 0.01161 0.03457 0.04097 0.5334 1.588 json
t17_x0_u6_b81 17 0 6 81 eql(P,pow(P,nrm(P))) 98304 138051504 o2(x,o2(x,o1(x))) true 103239 103239 0.08789 0.1719 0.08789 0.06169 0.2484 0 1 1 1 1.059 0.0006786 0.0002809 0.01082 0.4146 1 -1.043e-9 0.00004456 0.002533 0.0008429 0.02903 2.684 0.1169 0.01555 0.0007222 1 1 0.002431 0.03163 0.08944 0.0394 0.5128 1.45 json
t17_x0_u6_b82 17 0 6 82 eql(P,mod(P,nrm(P))) 98305 138051505 o2(x,o2(x,o1(x))) true 103247 103247 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
t17_x0_u6_b83 17 0 6 83 eql(P,lrg(P,nrm(P))) 98306 138051506 o2(x,o2(x,o1(x))) true 103255 103255 0.1172 0.1866 0.1172 0.08924 0.2987 0 1 1 1 1.07 0.0006513 0.00007993 0.008274 0.7814 1 -8.755e-10 0.00003455 0.001944 0.000663 0.02575 3.112 0.1169 0.008195 0.0003872 1 1 0.001939 0.02542 0.1365 0.02173 0.2848 1.53 json
t17_x0_u6_b84 17 0 6 84 eql(P,eql(P,nrm(P))) 98307 138051507 o2(x,o2(x,o1(x))) true 103263 103263 0.007812 0.02258 0.007812 0.005398 0.07347 0 0.9997 0.9997 1 0.1706 0.00003512 0.00007993 0.001346 -0.3895 1 2.58e-11 0.000006278 0.0003238 0.0001133 0.01064 7.91 0.1169 0.02131 0.001163 1 1 0.0004001 0.00522 0.01922 0.07412 0.9669 3.56 json
t17_x0_u6_b85 17 0 6 85 eql(P,min(P,nrm(P))) 98308 138051508 o2(x,o2(x,o1(x))) true 103271 103271 0.5352 0.5699 0.5352 0.2413 0.4912 0 1 1 1 1.357 0.0003432 0.00003512 0.004306 0.8144 1 -4.775e-10 0.00001836 0.001016 0.0003599 0.01897 4.405 0.1169 0.001568 0.00007608 1 1 0.001014 0.01329 0.07825 0.004202 0.05509 0.3243 json
t17_x0_u6_b86 17 0 6 86 eql(P,dot(P,nrm(P))) 98309 138051509 o2(x,o2(x,o1(x))) true 103279 103279 0.0293 0.06207 0.0293 0.02176 0.1475 0 0.9997 0.9997 1 0.4503 0.00001756 0.0003257 0.00389 -0.8977 1 -1.126e-11 0.00001626 0.0009129 0.0003282 0.01812 4.657 0.1169 0.01577 0.000747 1 1 0.0008917 0.01161 0.03457 0.04097 0.5334 1.588 json
t17_x0_u6_b87 17 0 6 87 eql(P,dst(P,nrm(P))) 98310 138051510 o2(x,o2(x,o1(x))) true 103287 103287 0.01562 0.05908 0.01562 0.009349 0.09669 0 0.9994 0.9994 1 0.3551 0.0001405 0.0001405 0.003367 -1.036e-7 1 -5.638e-14 0.00001689 0.0008241 0.0002697 0.01642 4.877 0.1169 0.03005 0.001806 1 1 0.000977 0.0127 0.03048 0.1045 1.358 3.26 json
t17_x0_u6_b88 17 0 6 88 min(P,add(P,nrm(P))) 98311 138051511 o2(x,o2(x,o1(x))) true 103295 103295 -0.004833 0.5 0.9423 0.9305 0.9646 -1 1 2 1 1.737 0.0008475 3.436e-7 0.007938 0.9992 1 5.047e-8 0.00008827 0.002172 0.0007855 0.02803 3.531 0.2265 0.0009113 0.00009487 1 1 0.002242 0.02697 0.2446 0.00241 0.02899 0.2629 json
t17_x0_u6_b89 17 0 6 89 min(P,sub(P,nrm(P))) 98312 138051512 o2(x,o2(x,o1(x))) true 103303 103303 -0.01892 0.4988 0.9186 0.8987 0.948 -1 1 2 1 2.067 0.0006153 0.000007308 0.008091 0.9765 1 1.643e-7 0.00004318 0.002143 0.0005569 0.0236 2.917 0.1169 0.0006928 0.00004805 1 1 0.001612 0.02078 0.1989 0.001794 0.02312 0.2213 json
t17_x0_u6_b90 17 0 6 90 min(P,mlt(P,nrm(P))) 98313 138051513 o2(x,o2(x,o1(x))) true 103311 103311 -0.04899 0.4974 0.8885 0.8611 0.928 -1 1 2 1 2.269 0.000567 0.000009715 0.008138 0.9663 1 -0.000001303 0.00004513 0.002138 0.0005106 0.0226 2.777 0.1187 0.0006697 0.00005241 1 1 0.001543 0.01973 0.1817 0.001792 0.02291 0.211 json
t17_x0_u6_b91 17 0 6 91 min(P,div(P,nrm(P))) 98314 138051514 o2(x,o2(x,o1(x))) true 103319 103319 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
t17_x0_u6_b92 17 0 6 92 min(P,pow(P,nrm(P))) 98315 138051515 o2(x,o2(x,o1(x))) true 103327 103327 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
t17_x0_u6_b93 17 0 6 93 min(P,mod(P,nrm(P))) 98316 138051516 o2(x,o2(x,o1(x))) true 103335 103335 -0.3567 0.491 0.5808 0.3757 0.613 -1 0.8443 1.844 1 3.009 0.0004766 0.0001594 0.01311 0.4989 1 -9.879e-7 0.00003238 0.003 0.0004641 0.02154 1.644 0.1169 0.001693 0.00008619 1 1 0.001455 0.01905 0.112 0.003872 0.0507 0.2981 json
t17_x0_u6_b94 17 0 6 94 min(P,lrg(P,nrm(P))) 98317 138051517 o2(x,o2(x,o1(x))) true 103343 103343 -0.003906 0.4996 0.9336 0.9194 0.9588 -1 1 2 1 1.855 0.0006962 0.00003512 0.008275 0.904 1 -1.596e-11 0.00003452 0.001939 0.000663 0.02575 3.112 0.1169 0.0007954 0.00003755 1 1 0.001939 0.02562 0.2312 0.002109 0.02787 0.2515 json
t17_x0_u6_b95 17 0 6 95 min(P,eql(P,nrm(P))) 98318 138051518 o2(x,o2(x,o1(x))) true 103351 103351 -0.4648 0.01477 0.4727 0.2482 0.4982 -1 0.9994 1.999 1 1.504 0.000388 0.00003512 0.00481 0.834 1 4.787e-10 0.00002041 0.001133 0.0003999 0.02 4.157 0.1169 0.001705 0.00008223 1 1 0.00117 0.01534 0.09013 0.004712 0.06179 0.3631 json
t17_x0_u6_b96 17 0 6 96 min(P,min(P,nrm(P))) 98319 138051519 o2(x,o2(x,o1(x))) true 103359 103359 -0.148 0.4974 0.7895 0.6872 0.829 -1 1 2 1 3.301 0.0004406 0.00001886 0.008649 0.9179 1 -0.000001322 0.00002118 0.001893 0.0003846 0.01961 2.268 0.1169 0.0006686 0.00003082 1 1 0.001262 0.01667 0.1533 0.001836 0.02425 0.2231 json
t17_x0_u6_b97 17 0 6 97 min(P,dot(P,nrm(P))) 98320 138051520 o2(x,o2(x,o1(x))) true 103367 103367 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
t17_x0_u6_b98 17 0 6 98 min(P,dst(P,nrm(P))) 98321 138051521 o2(x,o2(x,o1(x))) true 103375 103375 -0.007915 0.4993 0.9296 0.9145 0.9563 -1 1 2 1 1.891 0.0006879 0.0000195 0.008188 0.9449 1 2.051e-10 0.00003809 0.001949 0.0006405 0.02531 3.091 0.1176 0.0007736 0.00004166 1 1 0.001853 0.02429 0.225 0.002026 0.02656 0.246 json
t17_x0_u6_b99 17 0 6 99 dot(P,add(P,nrm(P))) 98322 138051522 o2(x,o2(x,o1(x))) true 103383 103383 0.9688 0.9844 1 0.06152 0.248 -1 1 2 1 0.1161 0.004031 0.004031 0.004013 0 1 0 0.01663 0.008062 0.008054 0.08974 22.36 2.828 0.131 0.2703 1 1 0.01418 0.05673 0.2269 0.2305 0.9221 3.688 json
t17_x0_u6_b100 17 0 6 100 dot(P,sub(P,nrm(P))) 98323 138051523 o2(x,o2(x,o1(x))) true 103391 103391 0.9618 0.9844 0.993 0.06557 0.2561 -1 1 2 1 0.2725 0.001864 0.001864 0.004329 6.245e-8 1 4.505e-10 0.00728 0.006112 0.003708 0.06089 14.07 2.243 0.05686 0.111 1 1 0.007009 0.04219 0.2188 0.1069 0.6434 3.336 json
t17_x0_u6_b101 17 0 6 101 dot(P,mlt(P,nrm(P))) 98324 138051524 o2(x,o2(x,o1(x))) true 103399 103399 -0.01562 0.4905 0.9864 0.9828 0.9914 -1 1 2 1 1.23 0.005565 0.005565 0.01285 0 1 -9.574e-11 0.01757 0.01407 0.01097 0.1047 8.147 2.828 0.01133 0.01788 1 1 0.02001 0.1213 0.5722 0.02036 0.1234 0.5822 json
t17_x0_u6_b102 17 0 6 102 dot(P,div(P,nrm(P))) 98325 138051525 o2(x,o2(x,o1(x))) true 103407 103407 -0.2344 0.3811 0.985 0.9263 0.9624 -1 1 2 1 1.211 0.01657 0.01657 0.02409 -6.182e-7 1 1.201e-10 0.06098 0.03565 0.03258 0.1805 7.491 2 0.03578 0.06584 1 1 0.04478 0.2184 0.8975 0.04834 0.2358 0.969 json
t17_x0_u6_b103 17 0 6 103 dot(P,pow(P,nrm(P))) 98326 138051526 o2(x,o2(x,o1(x))) true 103415 103415 -0.5078 0.2461 1 0.7421 0.8614 -1 1 2 1 0.805 0.007937 0.007937 0.007918 0 1 0 0.03212 0.01587 0.01581 0.1257 15.88 2.828 0.02139 0.04329 1 1 0.02105 0.08421 0.3368 0.02837 0.1135 0.4539 json
t17_x0_u6_b104 17 0 6 104 dot(P,mod(P,nrm(P))) 98327 138051527 o2(x,o2(x,o1(x))) true 103423 103423 0.4804 0.7656 0.9491 0.6929 0.8324 -1 1 2 1 1.678 0.01703 0.01703 0.03545 0.000003609 1 -0.00006238 0.06475 0.05147 0.03279 0.1811 5.108 2.243 0.04916 0.09344 1 1 0.04532 0.2406 1.039 0.06541 0.3472 1.5 json
t17_x0_u6_b105 17 0 6 105 dot(P,lrg(P,nrm(P))) 98328 138051528 o2(x,o2(x,o1(x))) true 103431 103431 0.7123 0.7494 0.7123 0.1974 0.4443 0 1 1 1 1.227 0.0002427 0.0002427 0.00479 0.000001259 1 9.386e-10 0.00005865 0.001346 0.0004624 0.0215 4.489 0.245 0.002458 0.000297 1 1 0.001363 0.01638 0.0872 0.006905 0.08297 0.4416 json
t17_x0_u6_b106 17 0 6 106 dot(P,eql(P,nrm(P))) 98329 138051529 o2(x,o2(x,o1(x))) true 103439 103439 6.633e-11 0.02234 0.01506 0.009593 0.09794 -0.9994 0.9994 1.999 1 0.4189 0.0001405 0.0001405 0.003069 -9.324e-7 1 1.496e-11 0.00001688 0.0007212 0.0002716 0.01648 5.369 0.1653 0.02928 0.00176 1 1 0.000977 0.01274 0.04354 0.1018 1.328 4.538 json
t17_x0_u6_b107 17 0 6 107 dot(P,min(P,nrm(P))) 98330 138051530 o2(x,o2(x,o1(x))) true 103447 103447 0.9966 1 0.9966 0.002245 0.04739 0.000582 1 0.9994 1 0.08801 0.00004199 0.00004199 0.0008016 8.663e-8 0 -1.877e-11 0.00001556 0.0002504 0.00008327 0.009125 11.38 0.1628 0.0374 0.006929 1 1 0.0002871 0.003422 0.00819 0.1279 1.524 3.647 json
t17_x0_u6_b108 17 0 6 108 dot(P,dot(P,nrm(P))) 98331 138051531 o2(x,o2(x,o1(x))) true 103455 103455 -0.01563 0.4905 0.9828 0.978 0.989 -1 1 2 1 1.29 0.004672 0.004672 0.0129 9.967e-8 1 -2.346e-11 0.01317 0.01234 0.009175 0.09579 7.423 2.828 0.009554 0.01347 1 1 0.01684 0.1106 0.5594 0.01721 0.1131 0.5719 json
t17_x0_u6_b109 17 0 6 109 dot(P,dst(P,nrm(P))) 98332 138051532 o2(x,o2(x,o1(x))) true 103463 103463 -0.01563 0.4905 0.9729 0.9658 0.9827 -1 1 2 1 1.427 0.003788 0.003788 0.01397 3.995e-7 1 -6.101e-11 0.009522 0.01201 0.007377 0.08589 6.148 2.587 0.007845 0.009859 1 1 0.01365 0.09913 0.529 0.01413 0.1026 0.5478 json
t17_x0_u6_b110 17 0 6 110 dst(P,add(P,nrm(P))) 98333 138051533 o2(x,o2(x,o1(x))) true 103471 103471 0.9688 0.9844 1 0.06152 0.248 -1 1 2 1 0.1161 0.004031 0.004031 0.004013 0 1 5.444e-9 0.01663 0.008062 0.008054 0.08974 22.36 2.828 0.131 0.2703 1 1 0.01418 0.05673 0.2269 0.2305 0.9221 3.688 json
t17_x0_u6_b111 17 0 6 111 dst(P,sub(P,nrm(P))) 98334 138051534 o2(x,o2(x,o1(x))) true 103479 103479 0.9688 0.9844 1 0.06152 0.248 -1 1 2 1 0.1161 0.004031 0.004031 0.004013 0 1 6.942e-9 0.01663 0.008062 0.008054 0.08974 22.36 2.828 0.131 0.2703 1 1 0.01418 0.05673 0.2269 0.2305 0.9221 3.688 json
t17_x0_u6_b112 17 0 6 112 dst(P,mlt(P,nrm(P))) 98335 138051535 o2(x,o2(x,o1(x))) true 103487 103487 0.9052 0.9844 0.9364 0.1002 0.3165 -1 1 2 1 1.054 0.003411 0.003411 0.01026 0.000001058 1 1.098e-7 0.01293 0.00882 0.006711 0.08192 7.986 2 0.0681 0.1291 1 1 0.01242 0.06136 0.2343 0.124 0.6126 2.339 json
t17_x0_u6_b113 17 0 6 113 dst(P,div(P,nrm(P))) 98336 138051536 o2(x,o2(x,o1(x))) true 103495 103495 0.531 0.7656 0.9998 0.7171 0.8468 -1 1 2 1 0.7977 0.02757 0.02757 0.02768 6.756e-8 1 7.884e-11 0.1107 0.0553 0.05436 0.2332 8.423 2.828 0.0769 0.1544 1 1 0.06953 0.2787 1.119 0.09697 0.3887 1.561 json
t17_x0_u6_b114 17 0 6 114 dst(P,pow(P,nrm(P))) 98337 138051537 o2(x,o2(x,o1(x))) true 103503 103503 -0.5078 0.2461 1 0.7421 0.8614 -1 1 2 1 0.805 0.007937 0.007937 0.007918 0 1 0 0.03212 0.01587 0.01581 0.1257 15.88 2.828 0.02139 0.04329 1 1 0.02105 0.08421 0.3368 0.02837 0.1135 0.4539 json
t17_x0_u6_b115 17 0 6 115 dst(P,mod(P,nrm(P))) 98338 138051538 o2(x,o2(x,o1(x))) true 103511 103511 0.5313 0.7656 1 0.7172 0.8469 -1 1 2 1 0.7856 0.02771 0.02771 0.0277 0 1 0 0.1114 0.05543 0.05465 0.2338 8.44 2.828 0.07728 0.1553 1 1 0.07003 0.2801 1.12 0.09763 0.3905 1.562 json
t17_x0_u6_b116 17 0 6 116 dst(P,lrg(P,nrm(P))) 98339 138051539 o2(x,o2(x,o1(x))) true 103519 103519 0.9963 1 0.9963 0.002336 0.04833 0.000582 1 0.9994 1 0.09906 0.00003739 0.00003739 0.0008243 5.351e-7 0 -4.881e-11 0.000007132 0.0002179 0.00007402 0.008603 10.44 0.1294 0.03201 0.003053 1 1 0.0002588 0.00327 0.008529 0.1108 1.4 3.652 json
t17_x0_u6_b117 17 0 6 117 dst(P,eql(P,nrm(P))) 98340 138051540 o2(x,o2(x,o1(x))) true 103527 103527 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
t17_x0_u6_b118 17 0 6 118 dst(P,min(P,nrm(P))) 98341 138051541 o2(x,o2(x,o1(x))) true 103535 103535 0.6931 0.7484 0.6931 0.1983 0.4453 0 1 1 1 1.488 0.0001596 0.0001596 0.004745 -0.000003876 1 1.639e-7 0.00003297 0.001396 0.0002967 0.01723 3.631 0.1176 0.00161 0.0001663 1 1 0.0008565 0.01058 0.08301 0.00432 0.05337 0.4187 json
t17_x0_u6_b119 17 0 6 119 dst(P,dot(P,nrm(P))) 98342 138051542 o2(x,o2(x,o1(x))) true 103543 103543 0.9688 0.9844 1 0.06152 0.248 -1 1 2 1 0.1161 0.004031 0.004031 0.004013 0 1 0 0.01663 0.008062 0.008054 0.08974 22.36 2.828 0.131 0.2703 1 1 0.01418 0.05673 0.2269 0.2305 0.9221 3.688 json
t17_x0_u6_b120 17 0 6 120 dst(P,dst(P,nrm(P))) 98343 138051543 o2(x,o2(x,o1(x))) true 103551 103551 0.9687 0.9844 0.9999 0.06152 0.248 -1 1 2 1 0.1205 0.003995 0.003995 0.004022 5.828e-8 1 1.84e-10 0.01647 0.008047 0.007981 0.08934 22.21 2.724 0.1299 0.2677 1 1 0.01406 0.05656 0.2268 0.2286 0.9193 3.686 json
t17_x1_u0_b0 17 1 0 0 add(P,add(P,sqt(D))) 98344 138090618 o2(x,o2(x,o1(x))) true 103559 103559 -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
t17_x1_u0_b1 17 1 0 1 add(P,sub(P,sqt(D))) 98345 138090619 o2(x,o2(x,o1(x))) true 103567 103567 -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
t17_x1_u0_b2 17 1 0 2 add(P,mlt(P,sqt(D))) 98346 138090620 o2(x,o2(x,o1(x))) true 103575 103575 -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
t17_x1_u0_b3 17 1 0 3 add(P,div(P,sqt(D))) 98347 138090621 o2(x,o2(x,o1(x))) true 103583 103583 -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
t17_x1_u0_b4 17 1 0 4 add(P,pow(P,sqt(D))) 98348 138090622 o2(x,o2(x,o1(x))) true 103591 103591 -0.8965 0.0625 0.9785 0.1709 0.4135 -1 1 2 1 0.475 0.0205 0 0.01587 1 1 0 0.03972 0.0255 0.02024 0.1423 8.963 2 0.1199 0.2323 1 1 0.02803 0.1343 0.2447 0.164 0.7856 1.432 json
t17_x1_u0_b5 17 1 0 5 add(P,mod(P,sqt(D))) 98349 138090623 o2(x,o2(x,o1(x))) true 103599 103599 -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
t17_x1_u0_b6 17 1 0 6 add(P,lrg(P,sqt(D))) 98350 138090624 o2(x,o2(x,o1(x))) true 103607 103607 0.0625 0.5313 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
t17_x1_u0_b7 17 1 0 7 add(P,eql(P,sqt(D))) 98351 138090625 o2(x,o2(x,o1(x))) true 103615 103615 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
t17_x1_u0_b8 17 1 0 8 add(P,min(P,sqt(D))) 98352 138090626 o2(x,o2(x,o1(x))) true 103623 103623 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
t17_x1_u0_b9 17 1 0 9 add(P,dot(P,sqt(D))) 98353 138090627 o2(x,o2(x,o1(x))) true 103631 103631 -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
t17_x1_u0_b10 17 1 0 10 add(P,dst(P,sqt(D))) 98354 138090628 o2(x,o2(x,o1(x))) true 103639 103639 -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
t17_x1_u0_b11 17 1 0 11 sub(P,add(P,sqt(D))) 98355 138090629 o2(x,o2(x,o1(x))) true 103647 103647 -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
t17_x1_u0_b12 17 1 0 12 sub(P,sub(P,sqt(D))) 98356 138090630 o2(x,o2(x,o1(x))) true 103655 103655 -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
t17_x1_u0_b13 17 1 0 13 sub(P,mlt(P,sqt(D))) 98357 138090631 o2(x,o2(x,o1(x))) true 103663 103663 -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
t17_x1_u0_b14 17 1 0 14 sub(P,div(P,sqt(D))) 98358 138090632 o2(x,o2(x,o1(x))) true 103671 103671 -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
t17_x1_u0_b15 17 1 0 15 sub(P,pow(P,sqt(D))) 98359 138090633 o2(x,o2(x,o1(x))) true 103679 103679 -0.9375 0 0.9375 0.05859 0.2421 -1 0 1 1 0.3373 0.007937 0 0.007937 1 1 0 0.01587 0.01587 0.007872 0.08872 11.18 1 0.1354 0.2709 1 1 0.01053 0.04211 0.08421 0.1796 0.7186 1.437 json
t17_x1_u0_b16 17 1 0 16 sub(P,mod(P,sqt(D))) 98360 138090634 o2(x,o2(x,o1(x))) true 103687 103687 -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
t17_x1_u0_b17 17 1 0 17 sub(P,lrg(P,sqt(D))) 98361 138090635 o2(x,o2(x,o1(x))) true 103695 103695 -0.09375 0.4375 0.9063 0.89 0.9434 -1 1 2 1 1.621 0.004321 0 0.007937 1 1 -4.731e-10 0.007953 0.008864 0.004257 0.06525 8.221 1 0.004855 0.008935 1 1 0.006189 0.0332 0.2014 0.006953 0.0373 0.2263 json
t17_x1_u0_b18 17 1 0 18 sub(P,eql(P,sqt(D))) 98362 138090636 o2(x,o2(x,o1(x))) true 103703 103703 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
t17_x1_u0_b19 17 1 0 19 sub(P,min(P,sqt(D))) 98363 138090637 o2(x,o2(x,o1(x))) true 103711 103711 0.2821 0.4336 0.2821 0.1771 0.4209 0 1 1 1 1.731 0.03211 0 0.05394 1 1 -0.0005473 0.05699 0.06929 0.02921 0.1709 3.168 1 0.1813 0.3217 1 1 0.03465 0.1138 0.04161 0.1956 0.6425 0.2349 json
t17_x1_u0_b20 17 1 0 20 sub(P,dot(P,sqt(D))) 98364 138090638 o2(x,o2(x,o1(x))) true 103719 103719 -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
t17_x1_u0_b21 17 1 0 21 sub(P,dst(P,sqt(D))) 98365 138090639 o2(x,o2(x,o1(x))) true 103727 103727 -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
t17_x1_u0_b22 17 1 0 22 mlt(P,add(P,sqt(D))) 98366 138090640 o2(x,o2(x,o1(x))) true 103735 103735 -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
t17_x1_u0_b23 17 1 0 23 mlt(P,sub(P,sqt(D))) 98367 138090641 o2(x,o2(x,o1(x))) true 103743 103743 -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
t17_x1_u0_b24 17 1 0 24 mlt(P,mlt(P,sqt(D))) 98368 138090642 o2(x,o2(x,o1(x))) true 103751 103751 -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
t17_x1_u0_b25 17 1 0 25 mlt(P,div(P,sqt(D))) 98369 138090643 o2(x,o2(x,o1(x))) true 103759 103759 -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
t17_x1_u0_b26 17 1 0 26 mlt(P,pow(P,sqt(D))) 98370 138090644 o2(x,o2(x,o1(x))) true 103767 103767 -0.9063 0.0625 0.9688 0.1407 0.3751 -1 0.9997 2 1 0.5501 0.02019 0 0.01587 1 1 0 0.03975 0.02468 0.01993 0.1412 8.896 2 0.1435 0.2825 1 1 0.0272 0.1109 0.2014 0.1933 0.7879 1.432 json
t17_x1_u0_b27 17 1 0 27 mlt(P,mod(P,sqt(D))) 98371 138090645 o2(x,o2(x,o1(x))) true 103775 103775 -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
t17_x1_u0_b28 17 1 0 28 mlt(P,lrg(P,sqt(D))) 98372 138090646 o2(x,o2(x,o1(x))) true 103783 103783 0.159 0.5 0.7785 0.7238 0.8508 -1 1 2 1 2.664 0.03425 0 0.05865 1 1 0.0006289 0.05953 0.07312 0.0308 0.1755 2.992 0.9997 0.04732 0.08225 1 1 0.03608 0.121 0.1551 0.04985 0.1672 0.2143 json
t17_x1_u0_b29 17 1 0 29 mlt(P,eql(P,sqt(D))) 98373 138090647 o2(x,o2(x,o1(x))) true 103791 103791 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
t17_x1_u0_b30 17 1 0 30 mlt(P,min(P,sqt(D))) 98374 138090648 o2(x,o2(x,o1(x))) true 103799 103799 0.9215 1 0.9215 0.05167 0.2273 0.000291 1 0.9997 1 1.051 0.009014 0 0.02637 1 1 -1.419e-9 0.01995 0.03186 0.008322 0.09123 3.46 0.8218 0.1745 0.3861 1 1 0.01068 0.0322 0.06941 0.2067 0.6232 1.343 json
t17_x1_u0_b31 17 1 0 31 mlt(P,dot(P,sqt(D))) 98375 138090649 o2(x,o2(x,o1(x))) true 103807 103807 -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
t17_x1_u0_b32 17 1 0 32 mlt(P,dst(P,sqt(D))) 98376 138090650 o2(x,o2(x,o1(x))) true 103815 103815 -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
t17_x1_u0_b33 17 1 0 33 div(P,add(P,sqt(D))) 98377 138090651 o2(x,o2(x,o1(x))) true 103823 103823 -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
t17_x1_u0_b34 17 1 0 34 div(P,sub(P,sqt(D))) 98378 138090652 o2(x,o2(x,o1(x))) true 103831 103831 -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
t17_x1_u0_b35 17 1 0 35 div(P,mlt(P,sqt(D))) 98379 138090653 o2(x,o2(x,o1(x))) true 103839 103839 -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
t17_x1_u0_b36 17 1 0 36 div(P,div(P,sqt(D))) 98380 138090654 o2(x,o2(x,o1(x))) true 103847 103847 -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
t17_x1_u0_b37 17 1 0 37 div(P,pow(P,sqt(D))) 98381 138090655 o2(x,o2(x,o1(x))) true 103855 103855 -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
t17_x1_u0_b38 17 1 0 38 div(P,mod(P,sqt(D))) 98382 138090656 o2(x,o2(x,o1(x))) true 103863 103863 -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
t17_x1_u0_b39 17 1 0 39 div(P,lrg(P,sqt(D))) 98383 138090657 o2(x,o2(x,o1(x))) true 103871 103871 -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
t17_x1_u0_b40 17 1 0 40 div(P,eql(P,sqt(D))) 98384 138090658 o2(x,o2(x,o1(x))) true 103879 103879 -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
t17_x1_u0_b41 17 1 0 41 div(P,min(P,sqt(D))) 98385 138090659 o2(x,o2(x,o1(x))) true 103887 103887 0.75 0.875 1 0.4375 0.6614 -1 1 2 1 0.5436 0.03175 0 0.01587 1 1 3.784e-9 0.06349 0.03175 0.03149 0.1774 11.18 2 0.07256 0.1451 1 1 0.04211 0.1684 0.6737 0.09624 0.385 1.54 json
t17_x1_u0_b42 17 1 0 42 div(P,dot(P,sqt(D))) 98386 138090660 o2(x,o2(x,o1(x))) true 103895 103895 -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
t17_x1_u0_b43 17 1 0 43 div(P,dst(P,sqt(D))) 98387 138090661 o2(x,o2(x,o1(x))) true 103903 103903 -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
t17_x1_u0_b44 17 1 0 44 pow(P,add(P,sqt(D))) 98388 138090662 o2(x,o2(x,o1(x))) true 103911 103911 -0.9063 0.0625 0.9688 0.1407 0.3751 -1 0.9997 2 1 0.5501 0.02019 0 0.01587 1 1 0 0.03975 0.02468 0.01993 0.1412 8.896 2 0.1435 0.2825 1 1 0.0272 0.1109 0.2014 0.1933 0.7879 1.432 json
t17_x1_u0_b45 17 1 0 45 pow(P,sub(P,sqt(D))) 98389 138090663 o2(x,o2(x,o1(x))) true 103919 103919 -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
t17_x1_u0_b46 17 1 0 46 pow(P,mlt(P,sqt(D))) 98390 138090664 o2(x,o2(x,o1(x))) true 103927 103927 -0.875 0.0625 1 0.2344 0.4841 -1 1 2 1 0.3373 0.03175 0 0.01587 1 1 0 0.06349 0.03175 0.03149 0.1774 11.18 2 0.1354 0.2709 1 1 0.04211 0.1684 0.3368 0.1796 0.7186 1.437 json
t17_x1_u0_b47 17 1 0 47 pow(P,div(P,sqt(D))) 98391 138090665 o2(x,o2(x,o1(x))) true 103935 103935 -0.875 0.0625 1 0.2344 0.4841 -1 1 2 1 0.3373 0.03175 0 0.01587 1 1 0 0.06349 0.03175 0.03149 0.1774 11.18 2 0.1354 0.2709 1 1 0.04211 0.1684 0.3368 0.1796 0.7186 1.437 json
t17_x1_u0_b48 17 1 0 48 pow(P,pow(P,sqt(D))) 98392 138090666 o2(x,o2(x,o1(x))) true 103943 103943 -0.875 0.0625 1 0.2344 0.4841 -1 1 2 1 0.3373 0.03175 0 0.01587 1 1 0 0.06349 0.03175 0.03149 0.1774 11.18 2 0.1354 0.2709 1 1 0.04211 0.1684 0.3368 0.1796 0.7186 1.437 json
t17_x1_u0_b49 17 1 0 49 pow(P,mod(P,sqt(D))) 98393 138090667 o2(x,o2(x,o1(x))) true 103951 103951 -0.875 0.0625 1 0.2344 0.4841 -1 1 2 1 0.3373 0.03175 0 0.01587 1 1 0 0.06349 0.03175 0.03149 0.1774 11.18 2 0.1354 0.2709 1 1 0.04211 0.1684 0.3368 0.1796 0.7186 1.437 json
t17_x1_u0_b50 17 1 0 50 pow(P,lrg(P,sqt(D))) 98394 138090668 o2(x,o2(x,o1(x))) true 103959 103959 0.09375 0.5625 0.9688 0.9525 0.976 -1 1 2 1 1.404 0.02019 0 0.01587 1 1 0 0.03985 0.02473 0.01993 0.1412 8.897 2 0.02119 0.04183 1 1 0.02712 0.09775 0.2856 0.02848 0.1026 0.2999 json
t17_x1_u0_b51 17 1 0 51 pow(P,eql(P,sqt(D))) 98395 138090669 o2(x,o2(x,o1(x))) true 103967 103967 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
t17_x1_u0_b52 17 1 0 52 pow(P,min(P,sqt(D))) 98396 138090670 o2(x,o2(x,o1(x))) true 103975 103975 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
t17_x1_u0_b53 17 1 0 53 pow(P,dot(P,sqt(D))) 98397 138090671 o2(x,o2(x,o1(x))) true 103983 103983 -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
t17_x1_u0_b54 17 1 0 54 pow(P,dst(P,sqt(D))) 98398 138090672 o2(x,o2(x,o1(x))) true 103991 103991 -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
t17_x1_u0_b55 17 1 0 55 mod(P,add(P,sqt(D))) 98399 138090673 o2(x,o2(x,o1(x))) true 103999 103999 -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