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
t6_x2_u0_b102 6 2 0 102 dot(P,div(P,R)) 2000 48804510 o2(x,o2(x,x)) true 16007 16007 0.0611 0.5308 0.9913 0.9848 0.9924 -1 1 2 1 1.173 0.1053 0.1173 0.116 -0.05391 1 0.00006414 0.5849 0.2281 0.2094 0.4576 3.945 2.828 0.2261 0.594 1 1 0 0 0.2074 0 0 0.2106 json
t6_x2_u0_b103 6 2 0 103 dot(P,pow(P,R)) 2001 48804511 o2(x,o2(x,x)) true 16015 16015 -0.5859 0.207 1 0.6568 0.8105 -1 1 2 1 0.7358 0.01096 0.008944 0.009915 0.1013 1 0 0.04119 0.0199 0.01982 0.1408 14.2 2.828 0.0303 0.06272 1 1 0 0 0.02637 0 0 0.04015 json
t6_x2_u0_b104 6 2 0 104 dot(P,mod(P,R)) 2002 48804512 o2(x,o2(x,x)) true 16023 16023 0.8578 1 0.8578 0.06298 0.251 0.00005728 1 0.9999 1 2.106 0.000883 0.0009785 0.0196 -0.0513 1 -0.00003595 0.0007493 0.009493 0.001477 0.03843 1.961 0.3398 0.02956 0.0119 1 1 0 0 0.003593 0 0 0.05704 json
t6_x2_u0_b105 6 2 0 105 dot(P,lrg(P,R)) 2003 48804513 o2(x,o2(x,x)) true 16031 16031 0.7179 0.75 0.7179 0.1953 0.4419 0 1 1 1 1.194 0.0001877 0.0001877 0.004161 0.000001047 1 -5.744e-10 0.00002276 0.0009958 0.0003579 0.01892 4.547 0.1653 0.001922 0.0001166 1 1 0 0 0.001001 0 0 0.005127 json
t6_x2_u0_b106 6 2 0 106 dot(P,eql(P,R)) 2004 48804514 o2(x,o2(x,x)) true 16039 16039 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
t6_x2_u0_b107 6 2 0 107 dot(P,min(P,R)) 2005 48804515 o2(x,o2(x,x)) true 16047 16047 0.7125 0.8627 0.9352 0.4069 0.6379 -1 1 2 1 1.517 0.008306 0.009492 0.0357 -0.06663 1 0.00000448 0.01304 0.02399 0.01653 0.1286 3.601 1.685 0.04374 0.03204 1 1 0 0 0.02201 0 0 0.0541 json
t6_x2_u0_b108 6 2 0 108 dot(P,dot(P,R)) 2006 48804516 o2(x,o2(x,x)) true 16055 16055 0.08756 0.5414 0.9094 0.8775 0.9367 -1 1 2 1 2.168 0.05796 0.07483 0.1056 -0.127 1 -0.0001091 0.2752 0.1491 0.1217 0.3489 3.305 2.828 0.1513 0.3136 1 1 0 0 0.1294 0 0 0.1475 json
t6_x2_u0_b109 6 2 0 109 dot(P,dst(P,R)) 2007 48804517 o2(x,o2(x,x)) true 16063 16063 0.001385 0.5005 0.9773 0.9709 0.9853 -1 1 2 1 1.38 0.003077 0.003079 0.01212 -0.0004268 1 -5.668e-7 0.006283 0.009078 0.006013 0.07754 6.399 1.605 0.006341 0.006472 1 1 0 0 0.01162 0 0 0.01197 json
t6_x2_u0_b110 6 2 0 110 dst(P,add(P,R)) 2008 48804518 o2(x,o2(x,x)) true 16071 16071 0.897 1 0.897 0.02252 0.1501 0.09951 1 0.9005 1 2.181 0.0003411 0.0004606 0.01666 -0.149 1 -0.00001961 0.000143 0.005703 0.0005243 0.0229 1.374 0.1266 0.0356 0.006351 1 1 0 0 0.001342 0 0 0.05959 json
t6_x2_u0_b111 6 2 0 111 dst(P,sub(P,R)) 2009 48804519 o2(x,o2(x,x)) true 16079 16079 0.897 1 0.897 0.02252 0.1501 0.09951 1 0.9005 1 2.181 0.0003411 0.0004606 0.01666 -0.149 1 -0.00001961 0.000143 0.005703 0.0005243 0.0229 1.374 0.1266 0.0356 0.006351 1 1 0 0 0.001342 0 0 0.05959 json
t6_x2_u0_b112 6 2 0 112 dst(P,mlt(P,R)) 2010 48804520 o2(x,o2(x,x)) true 16087 16087 0.9881 1 0.9881 0.005997 0.07744 0.0005273 1 0.9995 1 0.3039 0.0002741 0.0002694 0.003674 0.008649 1 -0.00001297 0.000324 0.00248 0.00053 0.02302 6.266 0.4083 0.09063 0.05403 1 1 0 0 0.001111 0 0 0.1853 json
t6_x2_u0_b113 6 2 0 113 dst(P,div(P,R)) 2011 48804521 o2(x,o2(x,x)) true 16095 16095 0.9968 1 0.9968 0.001867 0.04321 0.001649 1 0.9984 1 0.08687 0.0002729 0.000226 0.00179 0.09395 1 -0.000002961 0.0006093 0.001922 0.0004959 0.02227 12.44 0.8048 0.2672 0.3263 1 1 0 0 0.0009235 0 0 0.4946 json
t6_x2_u0_b114 6 2 0 114 dst(P,pow(P,R)) 2012 48804522 o2(x,o2(x,x)) true 16103 16103 -0.9688 0.01563 1 0.06152 0.248 -1 1 2 1 0.1161 0.006047 0.008062 0.006999 -0.1429 1 0 0.02973 0.01411 0.01406 0.1186 16.94 2.828 0.2293 0.4832 1 1 0 0 0.009695 0 0 0.1576 json
t6_x2_u0_b115 6 2 0 115 dst(P,mod(P,R)) 2013 48804523 o2(x,o2(x,x)) true 16111 16111 0.9946 1 0.9946 0.003064 0.05536 0.0004117 1 0.9996 1 0.1546 0.00003794 0.00004024 0.001034 -0.02948 0 2.065e-11 0.0000127 0.0003448 0.00007705 0.008778 8.488 0.1173 0.02551 0.004143 1 1 0 0 0.0002661 0 0 0.08685 json
t6_x2_u0_b116 6 2 0 116 dst(P,lrg(P,R)) 2014 48804524 o2(x,o2(x,x)) true 16119 16119 0.9972 1 0.9972 0.00183 0.04278 0.0007026 1 0.9993 1 0.07108 0.00004902 0.00003801 0.0007251 0.1266 0 7.133e-11 0.00001603 0.0002654 0.00008648 0.009299 12.82 0.1654 0.04756 0.008762 1 1 0 0 0.0002949 0 0 0.1612 json
t6_x2_u0_b117 6 2 0 117 dst(P,eql(P,R)) 2015 48804525 o2(x,o2(x,x)) true 16127 16127 0.9964 1 0.9964 0.002289 0.04784 0.000582 1 0.9994 1 0.09109 0.00003966 0.00003966 0.0008105 5.503e-7 0 -4.881e-11 0.00001004 0.0002297 0.00007859 0.008865 10.94 0.1294 0.03466 0.004388 1 1 0 0 0.0002733 0 0 0.1194 json
t6_x2_u0_b118 6 2 0 118 dst(P,min(P,R)) 2016 48804526 o2(x,o2(x,x)) true 16135 16135 0.7898 0.9889 0.7898 0.1251 0.3537 0 1 1 1 1.925 0.0004395 0.0004672 0.01246 -0.03053 1 0.000009531 0.0001315 0.003597 0.0007521 0.02742 2.202 0.2204 0.007248 0.001051 1 1 0 0 0.002264 0 0 0.0181 json
t6_x2_u0_b119 6 2 0 119 dst(P,dot(P,R)) 2017 48804527 o2(x,o2(x,x)) true 16143 16143 0.9969 1 0.9969 0.002021 0.04496 0.0005898 1 0.9994 1 0.08275 0.00005688 0.00003575 0.0007891 0.2281 0 -5.068e-11 0.00002142 0.0003187 0.00009194 0.009589 12.15 0.183 0.04583 0.0106 1 1 0 0 0.000312 0 0 0.1543 json
t6_x2_u0_b120 6 2 0 120 dst(P,dst(P,R)) 2018 48804528 o2(x,o2(x,x)) true 16151 16151 0.9999 1 0.9999 0.00001403 0.003746 0.8271 1 0.1729 1 0.0108 0.00000171 0.000001907 0.00006153 -0.05446 0 0 0.000003443 0.00006412 0.000003612 0.001901 30.89 0.0994 0.2578 0.2454 1 1 0 0 0.00001033 0 0 0.736 json
t6_x3_u0_b0 6 3 0 0 add(P,add(D,P)) 2019 48844809 o2(x,o2(x,x)) true 16159 16159 0 0.5 0.9629 0.9531 0.9763 -1 1 2 1 1.525 0.001033 0 0.007937 1 1 0 0.0001387 0.002289 0.0009709 0.03116 3.926 0.1758 0.001084 0.0001455 1 1 0 0 0.002648 0 0 0.002779 json
t6_x3_u0_b1 6 3 0 1 add(P,sub(D,P)) 2020 48844810 o2(x,o2(x,x)) true 16167 16167 0 0.5 0.09436 0.01082 0.104 -0.1454 0.1454 0.2908 1 2.561 0.001632 0 0.03609 1 1 0 0.0002563 0.01459 0.0003304 0.01818 0.5036 0.06192 0.1508 0.02368 1 1 0 0 0.003151 0 0 0.2912 json
t6_x3_u0_b2 6 3 0 2 add(P,mlt(D,P)) 2021 48844811 o2(x,o2(x,x)) true 16175 16175 -0.01514 0.4961 0.9347 0.9219 0.9601 -1 1 2 1 1.778 0.0008508 0 0.008516 1 1 -1.774e-10 0.00009868 0.002875 0.0007783 0.0279 3.276 0.1529 0.0009229 0.000107 1 1 0 0 0.002191 0 0 0.002377 json
t6_x3_u0_b3 6 3 0 3 add(P,div(D,P)) 2022 48844812 o2(x,o2(x,x)) true 16183 16183 -0.1235 0.4375 0.9985 0.982 0.991 -1 1 2 1 1.071 0.01591 0 0.008804 1 1 0 0.03178 0.01671 0.01583 0.1258 14.29 2 0.0162 0.03236 1 1 0 0 0.02113 0 0 0.02152 json
t6_x3_u0_b4 6 3 0 4 add(P,pow(D,P)) 2023 48844813 o2(x,o2(x,x)) true 16191 16191 -0.8767 0.0625 0.9983 0.2283 0.4778 -1 1 2 1 0.3808 0.03177 0 0.01672 1 1 9.461e-10 0.0636 0.03241 0.03148 0.1774 10.61 2 0.1392 0.2786 1 1 0 0 0.0421 0 0 0.1844 json
t6_x3_u0_b5 6 3 0 5 add(P,mod(D,P)) 2024 48844814 o2(x,o2(x,x)) true 16199 16199 -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 0 0.02105 0 0 0.02139 json
t6_x3_u0_b6 6 3 0 6 add(P,lrg(D,P)) 2025 48844815 o2(x,o2(x,x)) true 16207 16207 0.09375 0.5 0.9063 0.89 0.9434 -1 1 2 1 1.668 0.004321 0 0.007937 1 1 4.731e-10 0.007953 0.008864 0.004257 0.06525 8.221 1 0.004855 0.008935 1 1 0 0 0.006189 0 0 0.006953 json
t6_x3_u0_b7 6 3 0 7 add(P,eql(D,P)) 2026 48844816 o2(x,o2(x,x)) true 16215 16215 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 0 0.001851 0 0 0.002003 json
t6_x3_u0_b8 6 3 0 8 add(P,min(D,P)) 2027 48844817 o2(x,o2(x,x)) true 16223 16223 -0.02404 0.4961 0.9436 0.9318 0.9653 -1 1 2 1 1.674 0.0009535 0 0.007936 1 1 -2.364e-10 0.0001439 0.002555 0.0008912 0.02985 3.762 0.2122 0.001023 0.0001544 1 1 0 0 0.002434 0 0 0.002612 json
t6_x3_u0_b9 6 3 0 9 add(P,dot(D,P)) 2028 48844818 o2(x,o2(x,x)) true 16231 16231 -0.03169 0.4832 0.9368 0.9149 0.9565 -1 1 2 1 1.975 0.0008271 0.004124 0.02233 -0.6659 1 0.0003586 0.001754 0.01191 0.004455 0.06674 2.989 0.4596 0.005412 0.001917 1 1 0 0 0.008026 0 0 0.008773 json
t6_x3_u0_b10 6 3 0 10 add(P,dst(D,P)) 2029 48844819 o2(x,o2(x,x)) true 16239 16239 0.8954 0.9856 0.897 0.0679 0.2606 -0.1453 1 1.145 1 1.317 0.0002519 0.0003178 0.008865 -0.1158 1 -0.00007331 0.0001176 0.003335 0.000491 0.02216 2.5 0.2496 0.008391 0.001732 1 1 0 0 0.001452 0 0 0.02139 json
t6_x3_u0_b11 6 3 0 11 sub(P,add(D,P)) 2030 48844820 o2(x,o2(x,x)) true 16247 16247 0 0.5 0.09436 0.01082 0.104 -0.1454 0.1454 0.2908 1 2.561 0.001632 0 0.03609 1 1 0 0.0002563 0.01459 0.0003304 0.01818 0.5036 0.06192 0.1508 0.02368 1 1 0 0 0.003151 0 0 0.2912 json
t6_x3_u0_b12 6 3 0 12 sub(P,sub(D,P)) 2031 48844821 o2(x,o2(x,x)) true 16255 16255 0 0.5 0.9537 0.9469 0.9731 -1 1 2 1 1.494 0.001772 0 0.009085 1 1 0 0.0004501 0.004884 0.00169 0.04111 4.525 0.2773 0.001871 0.0004753 1 1 0 0 0.004401 0 0 0.004647 json
t6_x3_u0_b13 6 3 0 13 sub(P,mlt(D,P)) 2032 48844822 o2(x,o2(x,x)) true 16263 16263 0.01514 0.5 0.9347 0.9219 0.9601 -1 1 2 1 1.778 0.0008508 0 0.008516 1 1 1.774e-10 0.00009868 0.002875 0.0007783 0.0279 3.276 0.1529 0.0009229 0.000107 1 1 0 0 0.002191 0 0 0.002377 json
t6_x3_u0_b14 6 3 0 14 sub(P,div(D,P)) 2033 48844823 o2(x,o2(x,x)) true 16271 16271 -0.001471 0.5 0.9985 0.9972 0.9986 -1 1 2 1 1.08 0.04717 0 0.02443 1 1 9.461e-10 0.09511 0.04821 0.04655 0.2157 8.83 2 0.0473 0.09538 1 1 0 0 0.06204 0 0 0.06222 json
t6_x3_u0_b15 6 3 0 15 sub(P,pow(D,P)) 2034 48844824 o2(x,o2(x,x)) true 16279 16279 -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
t6_x3_u0_b16 6 3 0 16 sub(P,mod(D,P)) 2035 48844825 o2(x,o2(x,x)) true 16287 16287 -0.125 0.4375 0.9978 0.9802 0.99 -1 1 2 1 1.149 0.01546 0 0.009228 1 1 0 0.03163 0.0175 0.01536 0.124 13.43 1.969 0.01577 0.03227 1 1 0 0 0.02003 0 0 0.02043 json
t6_x3_u0_b17 6 3 0 17 sub(P,lrg(D,P)) 2036 48844826 o2(x,o2(x,x)) true 16295 16295 -0.04098 0.4688 0.959 0.9453 0.9723 -1 1 2 1 1.571 0.006022 0 0.01586 1 1 0 0.008334 0.01158 0.005766 0.07594 4.787 0.9988 0.006371 0.008816 1 1 0 0 0.01045 0 0 0.01105 json
t6_x3_u0_b18 6 3 0 18 sub(P,eql(D,P)) 2037 48844827 o2(x,o2(x,x)) true 16303 16303 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 0 0.001851 0 0 0.002003 json
t6_x3_u0_b19 6 3 0 19 sub(P,min(D,P)) 2038 48844828 o2(x,o2(x,x)) true 16311 16311 0.4835 0.5625 0.4835 0.2366 0.4864 0 1 1 1 1.546 0.000614 0 0.006897 1 1 1.656e-9 0.0001095 0.003022 0.0005663 0.0238 3.45 0.1529 0.002595 0.0004628 1 1 0 0 0.001556 0 0 0.006577 json
t6_x3_u0_b20 6 3 0 20 sub(P,dot(D,P)) 2039 48844829 o2(x,o2(x,x)) true 16319 16319 0.03169 0.5168 0.9368 0.9149 0.9565 -1 1 2 1 1.975 0.0008271 0.004124 0.02228 -0.6659 1 -0.0003586 0.001754 0.01191 0.004459 0.06677 2.997 0.4596 0.005412 0.001917 1 1 0 0 0.008026 0 0 0.008773 json
t6_x3_u0_b21 6 3 0 21 sub(P,dst(D,P)) 2040 48844830 o2(x,o2(x,x)) true 16327 16327 -0.8954 0.0144 0.897 0.0679 0.2606 -1 0.1453 1.145 1 1.317 0.0002547 0.0003178 0.008937 -0.1102 1 0.00007331 0.0001176 0.003335 0.0004928 0.0222 2.484 0.2456 0.008433 0.001732 1 1 0 0 0.001485 0 0 0.02187 json
t6_x3_u0_b22 6 3 0 22 mlt(P,add(D,P)) 2041 48844831 o2(x,o2(x,x)) true 16335 16335 0.9196 0.9922 0.9196 0.05971 0.2443 0.000009095 1 1 1 0.8884 0.00068 0 0.007936 1 1 7.687e-10 0.00003474 0.001754 0.0006173 0.02485 3.131 0.1105 0.01139 0.0005818 1 1 0 0 0.001781 0 0 0.02983 json
t6_x3_u0_b23 6 3 0 23 mlt(P,sub(D,P)) 2042 48844832 o2(x,o2(x,x)) true 16343 16343 -0.9506 0 0.9506 0.03634 0.1906 -1 -0.000573 0.9994 1 0.5528 0.001005 0 0.008865 1 1 -3.016e-9 0.0001619 0.003642 0.0009266 0.03044 3.434 0.1529 0.02765 0.004456 1 1 0 0 0.002558 0 0 0.07038 json
t6_x3_u0_b24 6 3 0 24 mlt(P,mlt(D,P)) 2043 48844833 o2(x,o2(x,x)) true 16351 16351 1.486e-8 0.5 0.7248 0.659 0.8118 -1 1 2 1 3.574 0.1916 0 0.1921 1 1 0 0.2709 0.2246 0.1548 0.3935 2.048 2 0.2908 0.411 1 1 0 0 0.1826 0 0 0.2772 json
t6_x3_u0_b25 6 3 0 25 mlt(P,div(D,P)) 2044 48844834 o2(x,o2(x,x)) true 16359 16359 -0.125 0.4375 0.2076 0.1189 0.3448 -1 0.1454 1.145 1 2.785 0.009352 0 0.03917 1 1 1.891e-9 0.01611 0.02856 0.007817 0.08842 2.257 1.031 0.07868 0.1355 1 1 0 0 0.01311 0 0 0.1103 json
t6_x3_u0_b26 6 3 0 26 mlt(P,pow(D,P)) 2045 48844835 o2(x,o2(x,x)) true 16367 16367 -0.9768 0 0.9768 0.01917 0.1384 -1 -0.0003004 0.9997 1 0.2758 0.004706 0 0.007934 1 1 2.365e-10 0.008208 0.01014 0.004641 0.06813 8.587 0.9997 0.2455 0.4283 1 1 0 0 0.007039 0 0 0.3673 json
t6_x3_u0_b27 6 3 0 27 mlt(P,mod(D,P)) 2046 48844836 o2(x,o2(x,x)) true 16375 16375 -0.2442 0.3594 0.5073 0.3057 0.5529 -1 0.9606 1.961 1 4.582 0.04084 0 0.1445 1 1 0.002385 0.02213 0.07273 0.01997 0.1413 0.9783 1.031 0.1336 0.07237 1 1 0 0 0.04934 0 0 0.1614 json
t6_x3_u0_b28 6 3 0 28 mlt(P,lrg(D,P)) 2047 48844837 o2(x,o2(x,x)) true 16383 16383 -0.4688 0 0.4688 0.2423 0.4922 -1 0 1 1 1.406 0.0003529 0 0.003968 1 1 4.731e-10 0.00001619 0.0009276 0.0003372 0.01836 4.628 0.1169 0.001457 0.00006684 1 1 0 0 0.0009255 0 0 0.00382 json
t6_x3_u0_b29 6 3 0 29 mlt(P,eql(D,P)) 2048 48844838 o2(x,o2(x,x)) true 16391 16391 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
t6_x3_u0_b30 6 3 0 30 mlt(P,min(D,P)) 2049 48844839 o2(x,o2(x,x)) true 16399 16399 0.4002 0.6797 0.6689 0.4238 0.651 -1 1 2 1 3.605 0.01684 0 0.07499 1 1 0.001193 0.003052 0.02997 0.01121 0.1059 1.412 0.4334 0.03974 0.007202 1 1 0 0 0.02115 0 0 0.0499 json
t6_x3_u0_b31 6 3 0 31 mlt(P,dot(D,P)) 2050 48844840 o2(x,o2(x,x)) true 16407 16407 -1.353e-9 0.4997 0.7783 0.7211 0.8492 -1 1 2 1 3.296 0.1361 0.08432 0.2236 0.235 1 -1.802e-10 0.393 0.2656 0.1704 0.4128 1.846 2.828 0.3057 0.545 1 1 0 0 0.2149 0 0 0.298 json
t6_x3_u0_b32 6 3 0 32 mlt(P,dst(D,P)) 2051 48844841 o2(x,o2(x,x)) true 16415 16415 2.328e-10 0.5 0.9672 0.9617 0.9806 -1 1 2 1 1.416 0.001917 0.000005101 0.007974 0.9947 1 -2.628e-11 0.0009407 0.005207 0.001858 0.04311 5.406 0.4716 0.001999 0.0009782 1 1 0 0 0.004109 0 0 0.004273 json
t6_x3_u0_b33 6 3 0 33 div(P,add(D,P)) 2052 48844842 o2(x,o2(x,x)) true 16423 16423 0.9514 1 0.9514 0.02451 0.1566 0.009314 1 0.9907 1 0.7286 0.001167 0 0.01319 1 1 1.815e-8 0.0001819 0.006426 0.0009933 0.03152 2.389 0.1613 0.04761 0.007419 1 1 0 0 0.002966 0 0 0.121 json
t6_x3_u0_b34 6 3 0 34 div(P,sub(D,P)) 2053 48844843 o2(x,o2(x,x)) true 16431 16431 -0.9209 0 0.9209 0.05355 0.2314 -1 -0.0001478 0.9999 1 0.9166 0.0006306 0 0.009908 1 1 -0.00003226 0.00004208 0.003594 0.0005323 0.02307 2.329 0.09868 0.01178 0.0007859 1 1 0 0 0.001639 0 0 0.03061 json
t6_x3_u0_b35 6 3 0 35 div(P,mlt(D,P)) 2054 48844844 o2(x,o2(x,x)) true 16439 16439 -0.125 0.4375 0.93 0.8892 0.943 -1 1 2 1 1.485 0.2807 0 0.2143 1 1 -1.892e-9 0.4589 0.2864 0.2347 0.4845 2.261 2 0.3156 0.5161 1 1 0 0 0.3189 0 0 0.3587 json
t6_x3_u0_b36 6 3 0 36 div(P,div(D,P)) 2055 48844845 o2(x,o2(x,x)) true 16447 16447 0 0.5 0.9425 0.9317 0.9653 -1 1 2 1 1.667 0.4167 0 0.2302 1 1 0 0.8024 0.4262 0.3635 0.6029 2.62 2 0.4472 0.8611 1 1 0 0 0.4152 0 0 0.4457 json
t6_x3_u0_b37 6 3 0 37 div(P,pow(D,P)) 2056 48844846 o2(x,o2(x,x)) true 16455 16455 -0.9464 0 0.9464 0.04361 0.2088 -1 -0.000282 0.9997 1 0.4765 0.007778 0 0.009852 1 1 9.461e-10 0.01593 0.01649 0.007678 0.08762 8.894 0.9997 0.1784 0.3653 1 1 0 0 0.01007 0 0 0.2309 json
t6_x3_u0_b38 6 3 0 38 div(P,mod(D,P)) 2057 48844847 o2(x,o2(x,x)) true 16463 16463 -0.1579 0.4219 0.9762 0.9433 0.9712 -1 1 2 1 1.269 0.3833 0 0.2222 1 1 3.788e-9 0.7092 0.3962 0.3339 0.5778 2.6 2 0.4063 0.7519 1 1 0 0 0.3885 0 0 0.4119 json
t6_x3_u0_b39 6 3 0 39 div(P,lrg(D,P)) 2058 48844848 o2(x,o2(x,x)) true 16471 16471 -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 0 0.04211 0 0 0.1796 json
t6_x3_u0_b40 6 3 0 40 div(P,eql(D,P)) 2059 48844849 o2(x,o2(x,x)) true 16479 16479 -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
t6_x3_u0_b41 6 3 0 41 div(P,min(D,P)) 2060 48844850 o2(x,o2(x,x)) true 16487 16487 0.3898 0.7109 0.9569 0.7937 0.8909 -1 1 2 1 1.448 0.196 0 0.119 1 1 7.565e-9 0.3625 0.2069 0.1819 0.4265 3.583 2 0.2469 0.4567 1 1 0 0 0.2057 0 0 0.2592 json
t6_x3_u0_b42 6 3 0 42 div(P,dot(D,P)) 2061 48844851 o2(x,o2(x,x)) true 16495 16495 -0.02991 0.4842 0.8176 0.7696 0.8773 -1 1 2 1 3.01 0.3726 0.3418 0.4477 0.04324 1 4.618e-10 2.468 0.7667 0.5141 0.717 1.601 2.828 0.9283 3.207 1 1 0 0 0.6975 0 0 0.9064 json
t6_x3_u0_b43 6 3 0 43 div(P,dst(D,P)) 2062 48844852 o2(x,o2(x,x)) true 16503 16503 4.884e-10 0.4973 0.6402 0.4929 0.7021 -1 1 2 1 4.794 0.0001677 0.00008094 0.01117 0.3491 1 -3.011e-10 0.00002256 0.002933 0.0001239 0.01113 0.9968 0.09867 0.0005045 0.00004577 1 1 0 0 0.0007696 0 0 0.001561 json
t6_x3_u0_b44 6 3 0 44 pow(P,add(D,P)) 2063 48844853 o2(x,o2(x,x)) true 16511 16511 -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 0 0.006228 0 0 0.006485 json
t6_x3_u0_b45 6 3 0 45 pow(P,sub(D,P)) 2064 48844854 o2(x,o2(x,x)) true 16519 16519 -0.4186 0.3594 0.5814 0.3796 0.6161 -1 0.9997 2 1 2.018 0.004563 0 0.01222 1 1 -2.839e-9 0.007916 0.009958 0.004415 0.06644 5.437 1 0.01202 0.02086 1 1 0 0 0.006853 0 0 0.01805 json
t6_x3_u0_b46 6 3 0 46 pow(P,mlt(D,P)) 2065 48844855 o2(x,o2(x,x)) true 16527 16527 -0.01826 0.5 0.9818 0.9672 0.9835 -1 1 2 1 1.524 0.01675 0 0.01631 1 1 -1.892e-9 0.03297 0.02397 0.01647 0.1284 7.871 2 0.01732 0.03408 1 1 0 0 0.02257 0 0 0.02333 json
t6_x3_u0_b47 6 3 0 47 pow(P,div(D,P)) 2066 48844856 o2(x,o2(x,x)) true 16535 16535 -0.0384 0.5 0.9616 0.9467 0.973 -1 1 2 1 1.523 0.004355 0 0.01044 1 1 0.00003526 0.007916 0.01055 0.004246 0.06516 6.24 1 0.004601 0.008362 1 1 0 0 0.006292 0 0 0.006647 json
t6_x3_u0_b48 6 3 0 48 pow(P,pow(D,P)) 2067 48844857 o2(x,o2(x,x)) true 16543 16543 -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 0 0.0272 0 0 0.1933 json
t6_x3_u0_b49 6 3 0 49 pow(P,mod(D,P)) 2068 48844858 o2(x,o2(x,x)) true 16551 16551 -0.143 0.4375 0.982 0.9454 0.9723 -1 1 2 1 1.488 0.01628 0 0.0157 1 1 0.00001491 0.03211 0.02265 0.01603 0.1266 8.067 2 0.01722 0.03396 1 1 0 0 0.02163 0 0 0.02288 json
t6_x3_u0_b50 6 3 0 50 pow(P,lrg(D,P)) 2069 48844859 o2(x,o2(x,x)) true 16559 16559 -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 0 0.006228 0 0 0.006485 json
t6_x3_u0_b51 6 3 0 51 pow(P,eql(D,P)) 2070 48844860 o2(x,o2(x,x)) true 16567 16567 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
t6_x3_u0_b52 6 3 0 52 pow(P,min(D,P)) 2071 48844861 o2(x,o2(x,x)) true 16575 16575 -0.01804 0.5 0.982 0.9658 0.9828 -1 1 2 1 1.527 0.01628 0 0.0157 1 1 0.00001491 0.03206 0.02265 0.01603 0.1266 8.067 2 0.01686 0.0332 1 1 0 0 0.02167 0 0 0.02243 json
t6_x3_u0_b53 6 3 0 53 pow(P,dot(D,P)) 2072 48844862 o2(x,o2(x,x)) true 16583 16583 -0.1357 0.4375 0.9893 0.9624 0.981 -1 1 2 1 1.32 0.01638 0.0003475 0.01392 0.9585 1 -0.00004857 0.03328 0.02205 0.01653 0.1286 9.24 2 0.01739 0.03458 1 1 0 0 0.02272 0 0 0.02361 json
t6_x3_u0_b54 6 3 0 54 pow(P,dst(D,P)) 2073 48844863 o2(x,o2(x,x)) true 16591 16591 -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 0 0.006228 0 0 0.006485 json
t6_x3_u0_b55 6 3 0 55 mod(P,add(D,P)) 2074 48844864 o2(x,o2(x,x)) true 16599 16599 1.211e-10 0.4961 0.6904 0.6307 0.7941 -1 1 2 1 3.508 0.06374 0 0.1106 1 1 0 0.1187 0.1434 0.05151 0.2269 2.053 0.9688 0.1011 0.1881 1 1 0 0 0.06526 0 0 0.1035 json
t6_x3_u0_b56 6 3 0 56 mod(P,sub(D,P)) 2075 48844865 o2(x,o2(x,x)) true 16607 16607 2.91e-11 0.5 0.7635 0.7106 0.843 -1 1 2 1 3.247 0.06561 0 0.1154 1 1 0 0.1203 0.1455 0.0523 0.2287 1.982 0.9679 0.09232 0.1692 1 1 0 0 0.06935 0 0 0.09758 json
t6_x3_u0_b57 6 3 0 57 mod(P,mlt(D,P)) 2076 48844866 o2(x,o2(x,x)) true 16615 16615 -0.125 0.4063 0.621 0.5015 0.7082 -1 1 2 1 4.195 0.03456 0 0.1089 1 1 -9.47e-10 0.0581 0.1614 0.02269 0.1506 1.383 1 0.06891 0.1159 1 1 0 0 0.04015 0 0 0.08006 json
t6_x3_u0_b58 6 3 0 58 mod(P,div(D,P)) 2077 48844867 o2(x,o2(x,x)) true 16623 16623 -0.125 0.3789 0.161 0.1132 0.3365 -1 0.2768 1.277 1 2.273 0.008978 0 0.02683 1 1 -9.455e-10 0.01821 0.04462 0.00826 0.09088 3.387 1 0.0793 0.1608 1 1 0 0 0.01169 0 0 0.1033 json
t6_x3_u0_b59 6 3 0 59 mod(P,pow(D,P)) 2078 48844868 o2(x,o2(x,x)) true 16631 16631 -0.9688 0 0.9688 0.02351 0.1533 -1 -0.000291 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 0 0.00615 0 0 0.2616 json
t6_x3_u0_b60 6 3 0 60 mod(P,mod(D,P)) 2079 48844869 o2(x,o2(x,x)) true 16639 16639 -0.125 0.3828 0.2525 0.137 0.3701 -1 0.3853 1.385 1 3.585 0.01482 0 0.06738 1 1 -9.452e-10 0.03226 0.1086 0.01028 0.1014 1.505 1 0.1082 0.2355 1 1 0 0 0.0156 0 0 0.1139 json
t6_x3_u0_b61 6 3 0 61 mod(P,lrg(D,P)) 2080 48844870 o2(x,o2(x,x)) true 16647 16647 -0.5625 0 0.5625 0.2461 0.4961 -1 0 1 1 0.9887 0.003968 0 0.003968 1 1 0 0.007937 0.007937 0.003952 0.06287 15.84 1 0.01612 0.03225 1 1 0 0 0.005263 0 0 0.02139 json
t6_x3_u0_b62 6 3 0 62 mod(P,eql(D,P)) 2081 48844871 o2(x,o2(x,x)) true 16655 16655 -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
t6_x3_u0_b63 6 3 0 63 mod(P,min(D,P)) 2082 48844872 o2(x,o2(x,x)) true 16663 16663 -0.249 0.3828 0.3765 0.2546 0.5046 -1 0.3853 1.385 1 2.824 0.01544 0 0.05271 1 1 0.0006207 0.02581 0.07304 0.01267 0.1126 2.135 1 0.06067 0.1014 1 1 0 0 0.02011 0 0 0.079 json
t6_x3_u0_b64 6 3 0 64 mod(P,dot(D,P)) 2083 48844873 o2(x,o2(x,x)) true 16671 16671 -0.03467 0.481 0.6476 0.5478 0.7401 -1 1 2 1 4.264 0.114 0.1157 0.3028 -0.007239 1 -3.004e-11 1.144 0.6321 0.138 0.3715 1.227 2.828 0.4193 2.088 1 1 0 0 0.1505 0 0 0.2748 json
t6_x3_u0_b65 6 3 0 65 mod(P,dst(D,P)) 2084 48844874 o2(x,o2(x,x)) true 16679 16679 2.328e-10 0.5 0.9265 0.9088 0.9533 -1 1 2 1 1.987 0.005659 0.001224 0.01987 0.6443 1 -8.823e-11 0.01631 0.02042 0.00649 0.08056 4.054 1.338 0.007575 0.01795 1 1 0 0 0.009248 0 0 0.01018 json
t6_x3_u0_b66 6 3 0 66 lrg(P,add(D,P)) 2085 48844875 o2(x,o2(x,x)) true 16687 16687 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 0 0.07073 0 0 0.4989 json
t6_x3_u0_b67 6 3 0 67 lrg(P,sub(D,P)) 2086 48844876 o2(x,o2(x,x)) true 16695 16695 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 0 0.007036 0 0 0.02976 json
t6_x3_u0_b68 6 3 0 68 lrg(P,mlt(D,P)) 2087 48844877 o2(x,o2(x,x)) true 16703 16703 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 0 0.0009255 0 0 0.00382 json
t6_x3_u0_b69 6 3 0 69 lrg(P,div(D,P)) 2088 48844878 o2(x,o2(x,x)) true 16711 16711 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 0 0.007036 0 0 0.02976 json
t6_x3_u0_b70 6 3 0 70 lrg(P,pow(D,P)) 2089 48844879 o2(x,o2(x,x)) true 16719 16719 0.6875 0.9375 0.6875 0.1607 0.4009 0 1 1 1 2.466 0.03057 0 0.05938 1 1 -0.00008984 0.05632 0.06286 0.02705 0.1645 2.77 0.9997 0.1902 0.3504 1 1 0 0 0.03151 0 0 0.1961 json
t6_x3_u0_b71 6 3 0 71 lrg(P,mod(D,P)) 2090 48844880 o2(x,o2(x,x)) true 16727 16727 0.5313 0.5625 0.5313 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 0 0.0009255 0 0 0.00382 json
t6_x3_u0_b72 6 3 0 72 lrg(P,lrg(D,P)) 2091 48844881 o2(x,o2(x,x)) true 16735 16735 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 0 0.0009255 0 0 0.00382 json
t6_x3_u0_b73 6 3 0 73 lrg(P,eql(D,P)) 2092 48844882 o2(x,o2(x,x)) true 16743 16743 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 0 0.0009255 0 0 0.00382 json
t6_x3_u0_b74 6 3 0 74 lrg(P,min(D,P)) 2093 48844883 o2(x,o2(x,x)) true 16751 16751 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 0 0.007036 0 0 0.02976 json
t6_x3_u0_b75 6 3 0 75 lrg(P,dot(D,P)) 2094 48844884 o2(x,o2(x,x)) true 16759 16759 0.5075 0.7453 0.5075 0.2098 0.458 0 1 1 1 2.38 0.002912 0.01088 0.04175 -0.5778 1 -0.0002407 0.03746 0.05267 0.01205 0.1098 2.63 1.341 0.06574 0.1785 1 1 0 0 0.01446 0 0 0.06893 json
t6_x3_u0_b76 6 3 0 76 lrg(P,dst(D,P)) 2095 48844885 o2(x,o2(x,x)) true 16767 16767 0.03624 0.14 0.03624 0.02006 0.1416 0 0.9994 0.9994 1 0.7425 0.004706 0.001199 0.01509 0.5939 1 -0.00003734 0.0154 0.0179 0.005672 0.07531 4.992 1.383 0.2943 0.7678 1 1 0 0 0.007138 0 0 0.3558 json
t6_x3_u0_b77 6 3 0 77 eql(P,add(D,P)) 2096 48844886 o2(x,o2(x,x)) true 16775 16775 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
t6_x3_u0_b78 6 3 0 78 eql(P,sub(D,P)) 2097 48844887 o2(x,o2(x,x)) true 16783 16783 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
t6_x3_u0_b79 6 3 0 79 eql(P,mlt(D,P)) 2098 48844888 o2(x,o2(x,x)) true 16791 16791 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 0 0.001851 0 0 0.04107 json
t6_x3_u0_b80 6 3 0 80 eql(P,div(D,P)) 2099 48844889 o2(x,o2(x,x)) true 16799 16799 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