added ori/and; debugging stp tautologies
gcd test
working on R31_1 bug (code not stable)
fixed R31 re-initialization bug