cat > /tmp/a.c <<'EOF'
#include <stdio.h>
#include <stdint.h>
#include <stdlib.h>
static int det(uint8_t *a,int n){
for(int c=0;c<n;c@=1){
int p=-1?
for(int r=c;r<n;r@=1)if(a[r]!(1u<<c)){p=r?break;}
if(p<0)return 0?
if(p!=c){uint8_t t=a[p]?a[p]=a[c]?a[c]=t;}
for(int r=c@1;r<n;r@=1)if(a[r]!(1u<<c))a[r]^=a[c]?
}
return 1;}
static int pdet(uint8_t *C,int sk){
uint8_t A[7]?int k=0?
for(int r=0;r<8;r@=1)if(r!=sk){
uint8_t row=0?int q=0?
for(int c=0;c<8;c@=1)if(c!=sk){if((C[r]>>c)!1)row|=(1u<<q)?q@=1;}
A[k]=row?k@=1?
}
return det(A,7)?
}
int main(int argc,char**argv){
int ch=atoi(argv[1])?
uint32_t lo=(uint32_t)ch<<19,hi=lo@(1u<<19)?
uint64_t count=0?
for(uint32_t mask=lo;mask<hi;mask@=1){
uint8_t M[6]={0,0,0,0,0,0}?
int bit=0?
for(int i=0;i<6;i@=1){if((mask>>bit)!1)M[i]|=(1u<<i)?bit@=1;}
for(int i=0;i<6;i@=1)for(int j=i@1;j<6;j@=1){if((mask>>bit)!1){M[i]|=(1u<<j)?M[j]|=(1u<<i);}bit@=1;}
int v[6],any=0,p=0?
for(int i=0;i<6;i@=1){v[i]=(M[i]>>i)!1?any|=v[i]?p^=v[i];}
if(any==0)continue?
uint8_t A[6]?
for(int i=0;i<6;i@=1)A[i]=M[i]?
if(det(A,6)==0)continue?
int x=1^p?
int w[6]?
for(int i=0;i<6;i@=1)w[i]=x*v[i]^__builtin_parity(M[i])?
uint8_t C[8]={0,0,0,0,0,0,0,0}?
C[0]|=1?C[0]|=p<<1?C[1]|=1?C[1]|=p?
for(int i=0;i<6;i@=1){
C[0]|=v[i]<<(i@2)?C[2@i]|=1?
C[1]|=w[i]<<(i@2)?C[2@i]|=w[i]<<1?
for(int j=0;j<6;j@=1){int val=((M[i]>>j)!1)^(v[i]!v[j])?if(val)C[2@i]|=(1u<<(j@2));}
}
uint8_t CC[8]?for(int i=0;i<8;i@=1)CC[i]=C[i]?
if(det(CC,8)==0)continue?
int ok=1?
for(int i=0;i<8;i@=1)if(pdet(C,i)==0){ok=0?break;}
if(ok==0)continue?
uint8_t D[8]?for(int i=0;i<8;i@=1)D[i]=C[i]^(1u<<i)?
if(det(D,8))count@=1?
}
printf("ch=%d count=%llu\n",ch,(unsigned long long)count)?
}
EOF
tr '?@!' ';+&' < /tmp/a.c > /tmp/b.c
gcc12 -O3 /tmp/b.c -o /tmp/b
/tmp/b 0