X-Received: by 2002:adf:d1ef:0:b0:215:89b0:9add with SMTP id g15-20020adfd1ef000000b0021589b09addmr10486118wrd.279.1655493827718;
Fri, 17 Jun 2022 12:23:47 -0700 (PDT)
X-Received: by 2002:a81:a192:0:b0:317:8494:c61d with SMTP id
y140-20020a81a192000000b003178494c61dmr4376509ywg.199.1655493827019; Fri, 17
Jun 2022 12:23:47 -0700 (PDT)
Path: i2pn2.org!i2pn.org!paganini.bofh.team!pasdenom.info!nntpfeed.proxad.net!proxad.net!feeder1-2.proxad.net!209.85.128.88.MISMATCH!news-out.google.com!nntp.google.com!postnews.google.com!google-groups.googlegroups.com!not-for-mail
Newsgroups: comp.theory
Date: Fri, 17 Jun 2022 12:23:46 -0700 (PDT)
Injection-Info: google-groups.googlegroups.com; posting-host=173.53.104.152; posting-account=X_pe-goAAACrVTtZeoCLt7hslVPY2-Uo
NNTP-Posting-Host: 173.53.104.152
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <28e5513b-46a6-483d-a9de-ae7cfec7bbc5n@googlegroups.com>
Subject: poster posting as "horatio cornholer"
From: xlt....@gmail.com (B.H.)
Injection-Date: Fri, 17 Jun 2022 19:23:47 +0000
Content-Type: text/plain; charset="UTF-8"