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 cntC=0,cntE=0,diff=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 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]|=v[i]?
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 D[8]?for(int i=0;i<8;i@=1)D[i]=C[i]^(1u<<i)?
int d1=det(D,8)?
uint8_t E[8]={0,0,0,0,0,0,0,0}?
E[0]|=p<<1?E[1]|=p?
for(int i=0;i<6;i@=1){
E[0]|=v[i]<<(i@2)?E[2@i]|=v[i]?
E[1]|=w[i]<<(i@2)?E[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)E[2@i]|=(1u<<(j@2));}
}
int d2=det(E,8)?
cntC@=d1?cntE@=d2?if(d1!=d2)diff@=1?
}
printf("cntC=%llu cntE=%llu diff=%llu\n",(unsigned long long)cntC,(unsigned long long)cntE,(unsigned long long)diff)?
}
EOF
tr '?@!' ';+&' < /tmp/a.c > /tmp/b.c
gcc12 -O3 /tmp/b.c -o /tmp/b
/tmp/b