28    if (branch(0,  v1, v2)) ++wrong; else ++ok;  in or_1()
29    if (branch(1,  v1, v2)) ++wrong; else ++ok;  in or_1()
30    if (branch(2,  v1, v2)) ++wrong; else ++ok;  in or_1()
31    if (branch(3,  v1, v2)) ++wrong; else ++ok;  in or_1()
32    if (branch(4,  v1, v2)) ++wrong; else ++ok;  in or_1()
33    if (branch(5,  v1, v2)) ++wrong; else ++ok;  in or_1()
34    if (branch(6,  v1, v2)) ++wrong; else ++ok;  in or_1()
35    if (branch(7,  v1, v2)) ++wrong; else ++ok;  in or_1()
36    if (branch(8,  v1, v2)) ++ok; else ++wrong;  in or_1()
37    if (branch(9,  v1, v2)) ++ok; else ++wrong;  in or_1()
38    if (branch(10, v1, v2)) ++ok; else ++wrong;  in or_1()
39    if (branch(11, v1, v2)) ++ok; else ++wrong;  in or_1()
40    if (branch(12, v1, v2)) ++ok; else ++wrong;  in or_1()
41    if (branch(13, v1, v2)) ++ok; else ++wrong;  in or_1()
42    if (branch(14, v1, v2)) ++ok; else ++wrong;  in or_1()
43    if (branch(15, v1, v2)) ++ok; else ++wrong;  in or_1()
47    else  in or_1()
60    if (branch(0,  v1, v2)) ++wrong; else ++ok;  in or_2()
61    if (branch(1,  v1, v2)) ++wrong; else ++ok;  in or_2()
62    if (branch(2,  v1, v2)) ++wrong; else ++ok;  in or_2()
63    if (branch(3,  v1, v2)) ++wrong; else ++ok;  in or_2()
64    if (branch(4,  v1, v2)) ++ok; else ++wrong;  in or_2()
65    if (branch(5,  v1, v2)) ++ok; else ++wrong;  in or_2()
66    if (branch(6,  v1, v2)) ++ok; else ++wrong;  in or_2()
67    if (branch(7,  v1, v2)) ++ok; else ++wrong;  in or_2()
68    if (branch(8,  v1, v2)) ++wrong; else ++ok;  in or_2()
69    if (branch(9,  v1, v2)) ++wrong; else ++ok;  in or_2()
70    if (branch(10, v1, v2)) ++wrong; else ++ok;  in or_2()
71    if (branch(11, v1, v2)) ++wrong; else ++ok;  in or_2()
72    if (branch(12, v1, v2)) ++ok; else ++wrong;  in or_2()
73    if (branch(13, v1, v2)) ++ok; else ++wrong;  in or_2()
74    if (branch(14, v1, v2)) ++ok; else ++wrong;  in or_2()
75    if (branch(15, v1, v2)) ++ok; else ++wrong;  in or_2()
79    else  in or_2()