i put salt into his water fountain in 2000
then i went home to san diego
then nineteen hijackers lived on my street
then i delivered my paper Introduction to universal truth in 2002
P=NP=#P=#Q=PSPACE=QSPACE for modest sizes
common sense is monotone
wisdom is deep and monotone
each solution is satisfying (#P=NP)
#solutions = #questions (#P=#Q)
monotone reason is linear
universal truth is quadratic

// Solve all QBFs in twenty lines of code
// bit by bit linear transformation
// from models into questions
// P=NP for modest sizes
daniel 2380++

joy plan(num v, numnums& s) {
numnums left; numnums right; split(v, s, left, right); setofmodels.setsize(zero);
when ( left.size()) plan (v+one, left); // spread deeper left
when (right.size()) plan (v+one, right); // spread deeper right
juggle (v, left, right); // then set vee quantifications
for (num g = zero; g < left.size(); g++) { ezis(*( left[g]), v); s.add( left[g]);} left.setsize(zero);
for (num g = zero; g < right.size(); g++) { univ(*(right[g]), v); s.add(right[g]);} right.setsize(zero); }

joy juggle (num v, numnums& l, numnums& r) {
if(l.size()==zero){for(num g=zero;g<r.size();g++)l.add(r[g]);r.setsize(zero);return;}
numnums al; numnums ar; split(v+one, l, al, ar); l.setsize(zero);
numnums bl; numnums br; split(v+one, r, bl, br); r.setsize(zero);
juggle (v+one,al,bl);// leftleft with leftright
juggle (v+one,ar,br);// rightleft with rightright
for(num g=zero;g<al.size();g++) l.add(al[g]); for(num g=zero;g<ar.size();g++) l.add(ar[g]);
for(num g=zero;g<bl.size();g++) r.add(bl[g]); for(num g=zero;g<br.size();g++) r.add(br[g]); }

joy zerotoone /*bit is on*/(nums& s, num b) { (s[b >> five] += (ones[b & fifthtau]));} //
num be /*is bit on*/(nums& s, num b) { return (s[b >> five] & (ones[b & fifthtau]));} //
joy ezis(nums& s, num b) { s[b >> five] &= zeroes[b & fifthtau]; }
joy univ(nums& s, num b) { s[b >> five] & ones[b & fifthtau]; } //
joy split /*leftright around bit*/(num b, numnums& s, numnums& l, numnums& r) // left right on bit b
{for (num g = zero; g < s.size(); g++) if (be((*s[g]), b)) r.add(s[g]); else l.add(s[g]); } // oh of s.size()

On Wednesday, June 29, 2022 at 10:56:51 AM UTC-4, Daniel Pehoushek wrote:
> i put salt into his water fountain in 2000
> then i went home to san diego
> then nineteen hijackers lived on my street
> then i delivered my paper Introduction to universal truth in 2002
> P=NP=#P=#Q=PSPACE=QSPACE for modest sizes
> common sense is monotone
> wisdom is deep and monotone
> each solution is satisfying (#P=NP)
> #solutions = #questions (#P=#Q)
> monotone reason is linear
> universal truth is quadratic
>
> // Solve all QBFs in twenty lines of code
> // bit by bit linear transformation
> // from models into questions
> // P=NP for modest sizes
> daniel 2380++
the body is
in an iron sarcophagus
above a fountain
just beside church of Valencia
year 2000

On Wednesday, June 29, 2022 at 1:26:19 PM UTC-7, pehou...@gmail.com wrote:
> On Wednesday, June 29, 2022 at 10:56:51 AM UTC-4, Daniel Pehoushek wrote:
> > i put salt into his water fountain in 2000
> > then i went home to san diego
> > then nineteen hijackers lived on my street
> > then i delivered my paper Introduction to universal truth in 2002
> > P=NP=#P=#Q=PSPACE=QSPACE for modest sizes
> > common sense is monotone
> > wisdom is deep and monotone
> > each solution is satisfying (#P=NP)
> > #solutions = #questions (#P=#Q)
> > monotone reason is linear
> > universal truth is quadratic
> >
> > // Solve all QBFs in twenty lines of code
> > // bit by bit linear transformation
> > // from models into questions
> > // P=NP for modest sizes
> > daniel 2380++
> the body is
> in an iron sarcophagus
> above a fountain
> just beside church of Valencia
> year 2000

The "Shroud of Turin" is garbage, guys.

On Wednesday, June 29, 2022 at 9:05:30 PM UTC-4, Jeffrey Rubard wrote:
> On Wednesday, June 29, 2022 at 1:26:19 PM UTC-7, pehou...@gmail.com wrote:
> > On Wednesday, June 29, 2022 at 10:56:51 AM UTC-4, Daniel Pehoushek wrote:
> > > i put salt into his water fountain in 2000
> > > then i went home to san diego
> > > then nineteen hijackers lived on my street
> > > then i delivered my paper Introduction to universal truth in 2002
> > > P=NP=#P=#Q=PSPACE=QSPACE for modest sizes
> > > common sense is monotone
> > > wisdom is deep and monotone
> > > each solution is satisfying (#P=NP)
> > > #solutions = #questions (#P=#Q)
> > > monotone reason is linear
> > > universal truth is quadratic
> > >
> > > // Solve all QBFs in twenty lines of code
> > > // bit by bit linear transformation
> > > // from models into questions
> > > // P=NP for modest sizes
> > > daniel 2380++
> > the body is
> > in an iron sarcophagus
> > above a fountain
> > just beside church of Valencia
> > year 2000
> The "Shroud of Turin" is garbage, guys.
They have the body of Christ
in Valencia, Spain