cat > /tmp/a.c <<'EOF'
#include <stdio.h>
#include <stdint.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;}
int main(){
uint64_t count=0?
for(uint32_t mask=0;mask<(1u<<21);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 D[8]={0,0,0,0,0,0,0,0}?
D[0]|=p<<1?D[1]|=p?
for(int i=0;i<6;i@=1){
D[0]|=v[i]<<(i@2)?D[2@i]|=v[i]?
D[1]|=w[i]<<(i@2)?D[2@i]|=w[i]<<1?
for(int j=0;j<6;j@=1){int val=((M[i]>>j) ~ 1)^(v[i] ~ v[j])^(i==j)?if(val)D[2@i]|=(1u<<(j@2));}
}
if(det(D,8))count@=1?
}
printf("count=%llu\n",(unsigned long long)count)?
}
EOF
tr '?@~' ';+&' < /tmp/a.c > /tmp/b.c
gcc12 -O3 /tmp/b.c -o /tmp/b
/tmp/b