Test X00 Allow Histogram (16 states) 421094319:> 0:r1=0; 0:r4=0; 2:r1=0; 2:r4=0; 185224049:> 0:r1=0; 0:r4=0; 2:r1=0; 2:r4=1; 28980927:> 0:r1=0; 0:r4=0; 2:r1=1; 2:r4=0; 208060004:> 0:r1=0; 0:r4=0; 2:r1=1; 2:r4=1; 180208618:> 0:r1=0; 0:r4=1; 2:r1=0; 2:r4=0; 19660613:> 0:r1=0; 0:r4=1; 2:r1=0; 2:r4=1; 132076798:> 0:r1=0; 0:r4=1; 2:r1=1; 2:r4=0; 260948717:> 0:r1=0; 0:r4=1; 2:r1=1; 2:r4=1; 30173606:> 0:r1=1; 0:r4=0; 2:r1=0; 2:r4=0; 125491422:> 0:r1=1; 0:r4=0; 2:r1=0; 2:r4=1; 3118 :> 0:r1=1; 0:r4=0; 2:r1=1; 2:r4=0; 43443608:> 0:r1=1; 0:r4=0; 2:r1=1; 2:r4=1; 206561401:> 0:r1=1; 0:r4=1; 2:r1=0; 2:r4=0; 259927187:> 0:r1=1; 0:r4=1; 2:r1=0; 2:r4=1; 46347537:> 0:r1=1; 0:r4=1; 2:r1=1; 2:r4=0; 251798076:> 0:r1=1; 0:r4=1; 2:r1=1; 2:r4=1; Ok Witnesses Positive: 3118 Negative: 2399996882 Condition exists (0:r1=1 /\ 0:r4=0 /\ 2:r1=1 /\ 2:r4=0) is validated Hash=6559e19d9e37619f3f8bf433a5805105 Time X00 1673.60 Test X01 Allow Histogram (16 states) 426931324:> 0:r1=0; 0:r4=0; 2:r1=0; 2:r3=0; 183414565:> 0:r1=0; 0:r4=0; 2:r1=0; 2:r3=1; 29289763:> 0:r1=0; 0:r4=0; 2:r1=1; 2:r3=0; 205050704:> 0:r1=0; 0:r4=0; 2:r1=1; 2:r3=1; 178355676:> 0:r1=0; 0:r4=1; 2:r1=0; 2:r3=0; 19615678:> 0:r1=0; 0:r4=1; 2:r1=0; 2:r3=1; 136705969:> 0:r1=0; 0:r4=1; 2:r1=1; 2:r3=0; 257221609:> 0:r1=0; 0:r4=1; 2:r1=1; 2:r3=1; 29532055:> 0:r1=1; 0:r4=0; 2:r1=0; 2:r3=0; 124544862:> 0:r1=1; 0:r4=0; 2:r1=0; 2:r3=1; 7904 :> 0:r1=1; 0:r4=0; 2:r1=1; 2:r3=0; 42983764:> 0:r1=1; 0:r4=0; 2:r1=1; 2:r3=1; 208116716:> 0:r1=1; 0:r4=1; 2:r1=0; 2:r3=0; 260104648:> 0:r1=1; 0:r4=1; 2:r1=0; 2:r3=1; 47183063:> 0:r1=1; 0:r4=1; 2:r1=1; 2:r3=0; 250941700:> 0:r1=1; 0:r4=1; 2:r1=1; 2:r3=1; Ok Witnesses Positive: 7904 Negative: 2399992096 Condition exists (0:r1=1 /\ 0:r4=0 /\ 2:r1=1 /\ 2:r3=0) is validated Hash=2dd158f1ef0b66595a56ff21c6e00a13 Time X01 1663.23 Test X02 Allow Histogram (16 states) 228538890:> 0:r1=0; 0:r4=0; 2:r1=0; z=1; 411217490:> 0:r1=0; 0:r4=0; 2:r1=0; z=2; 172755774:> 0:r1=0; 0:r4=0; 2:r1=1; z=1; 26767369:> 0:r1=0; 0:r4=0; 2:r1=1; z=2; 23908440:> 0:r1=0; 0:r4=1; 2:r1=0; z=1; 196421885:> 0:r1=0; 0:r4=1; 2:r1=0; z=2; 257926585:> 0:r1=0; 0:r4=1; 2:r1=1; z=1; 119710345:> 0:r1=0; 0:r4=1; 2:r1=1; z=2; 139696725:> 0:r1=1; 0:r4=0; 2:r1=0; z=1; 31850469:> 0:r1=1; 0:r4=0; 2:r1=0; z=2; 31216199:> 0:r1=1; 0:r4=0; 2:r1=1; z=1; 1043 :> 0:r1=1; 0:r4=0; 2:r1=1; z=2; 254253259:> 0:r1=1; 0:r4=1; 2:r1=0; z=1; 226630782:> 0:r1=1; 0:r4=1; 2:r1=0; z=2; 250747048:> 0:r1=1; 0:r4=1; 2:r1=1; z=1; 28357697:> 0:r1=1; 0:r4=1; 2:r1=1; z=2; Ok Witnesses Positive: 1043 Negative: 2399998957 Condition exists (z=2 /\ 0:r1=1 /\ 0:r4=0 /\ 2:r1=1) is validated Hash=ddaab862216f1c9eafeceba074a24928 Time X02 1809.36 Test X03 Allow Histogram (8 states) 593757418:> 0:r1=0; 0:r4=0; y=1; 218967660:> 0:r1=0; 0:r4=0; y=2; 33777259:> 0:r1=0; 0:r4=1; y=1; 606699157:> 0:r1=0; 0:r4=1; y=2; 234996661:> 0:r1=1; 0:r4=0; y=1; 2308 :> 0:r1=1; 0:r4=0; y=2; 492248237:> 0:r1=1; 0:r4=1; y=1; 219551300:> 0:r1=1; 0:r4=1; y=2; Ok Witnesses Positive: 2308 Negative: 2399997692 Condition exists (y=2 /\ 0:r1=1 /\ 0:r4=0) is validated Hash=979eb45568765c8b5bb24cb8beb2a694 Time X03 1136.32 Test X04 Allow Histogram (16 states) 225938705:> 0:r1=0; 0:r4=0; y=1; z=1; 408531156:> 0:r1=0; 0:r4=0; y=1; z=2; 152200651:> 0:r1=0; 0:r4=0; y=2; z=1; 35573199:> 0:r1=0; 0:r4=0; y=2; z=2; 17701803:> 0:r1=0; 0:r4=1; y=1; z=1; 161601620:> 0:r1=0; 0:r4=1; y=1; z=2; 229845050:> 0:r1=0; 0:r4=1; y=2; z=1; 159734407:> 0:r1=0; 0:r4=1; y=2; z=2; 132441737:> 0:r1=1; 0:r4=0; y=1; z=1; 24259570:> 0:r1=1; 0:r4=0; y=1; z=2; 27999129:> 0:r1=1; 0:r4=0; y=2; z=1; 4 :> 0:r1=1; 0:r4=0; y=2; z=2; 258172321:> 0:r1=1; 0:r4=1; y=1; z=1; 203682923:> 0:r1=1; 0:r4=1; y=1; z=2; 289624315:> 0:r1=1; 0:r4=1; y=2; z=1; 72693410:> 0:r1=1; 0:r4=1; y=2; z=2; Ok Witnesses Positive: 4 Negative: 2399999996 Condition exists (y=2 /\ z=2 /\ 0:r1=1 /\ 0:r4=0) is validated Hash=bbe86be3ef3c2131f0d4681c0ccd31a8 Time X04 1950.92 Test X05 Allow Histogram (16 states) 392393309:> 0:r1=0; 0:r4=0; 2:r3=0; y=1; 14972510:> 0:r1=0; 0:r4=0; 2:r3=0; y=2; 184041533:> 0:r1=0; 0:r4=0; 2:r3=1; y=1; 257936356:> 0:r1=0; 0:r4=0; 2:r3=1; y=2; 163828202:> 0:r1=0; 0:r4=1; 2:r3=0; y=1; 107809939:> 0:r1=0; 0:r4=1; 2:r3=0; y=2; 20267875:> 0:r1=0; 0:r4=1; 2:r3=1; y=1; 324240055:> 0:r1=0; 0:r4=1; 2:r3=1; y=2; 7382861 :> 0:r1=1; 0:r4=0; 2:r3=0; y=1; 92 :> 0:r1=1; 0:r4=0; 2:r3=0; y=2; 126426330:> 0:r1=1; 0:r4=0; 2:r3=1; y=1; 68632905:> 0:r1=1; 0:r4=0; 2:r3=1; y=2; 92269460:> 0:r1=1; 0:r4=1; 2:r3=0; y=1; 47748340:> 0:r1=1; 0:r4=1; 2:r3=0; y=2; 271956428:> 0:r1=1; 0:r4=1; 2:r3=1; y=1; 320093805:> 0:r1=1; 0:r4=1; 2:r3=1; y=2; Ok Witnesses Positive: 92 Negative: 2399999908 Condition exists (y=2 /\ 0:r1=1 /\ 0:r4=0 /\ 2:r3=0) is validated Hash=2f45a04baa1582caaf7bebb0f6429fad Time X05 1936.65 Test X06 Allow Histogram (16 states) 216578407:> 0:r1=0; 0:r4=0; y=1; z=1; 383979025:> 0:r1=0; 0:r4=0; y=1; z=2; 227364540:> 0:r1=0; 0:r4=0; y=2; z=1; 11887289:> 0:r1=0; 0:r4=0; y=2; z=2; 46198354:> 0:r1=0; 0:r4=1; y=1; z=1; 105662928:> 0:r1=0; 0:r4=1; y=1; z=2; 317237656:> 0:r1=0; 0:r4=1; y=2; z=1; 89428040:> 0:r1=0; 0:r4=1; y=2; z=2; 137146892:> 0:r1=1; 0:r4=0; y=1; z=1; 7046975 :> 0:r1=1; 0:r4=0; y=1; z=2; 50405168:> 0:r1=1; 0:r4=0; y=2; z=1; 84 :> 0:r1=1; 0:r4=0; y=2; z=2; 336786559:> 0:r1=1; 0:r4=1; y=1; z=1; 78564468:> 0:r1=1; 0:r4=1; y=1; z=2; 353464339:> 0:r1=1; 0:r4=1; y=2; z=1; 38249276:> 0:r1=1; 0:r4=1; y=2; z=2; Ok Witnesses Positive: 84 Negative: 2399999916 Condition exists (y=2 /\ z=2 /\ 0:r1=1 /\ 0:r4=0) is validated Hash=2f7e7e797a32b772dba41a2c989f624e Time X06 1988.84 Test X07 Allow Histogram (8 states) 234462134:> 0:r1=0; 0:r4=0; 1:r3=0; 605919170:> 0:r1=0; 0:r4=0; 1:r3=1; 523270480:> 0:r1=0; 0:r4=1; 1:r3=0; 67683786:> 0:r1=0; 0:r4=1; 1:r3=1; 1552 :> 0:r1=1; 0:r4=0; 1:r3=0; 261968354:> 0:r1=1; 0:r4=0; 1:r3=1; 128966998:> 0:r1=1; 0:r4=1; 1:r3=0; 577727526:> 0:r1=1; 0:r4=1; 1:r3=1; Ok Witnesses Positive: 1552 Negative: 2399998448 Condition exists (0:r1=1 /\ 0:r4=0 /\ 1:r3=0) is validated Hash=27f80466ebe5b987c02fd5b2375e9014 Time X07 1128.23 Test X08 Allow Histogram (16 states) 125181006:> 0:r1=0; 0:r4=0; 1:r3=0; z=1; 52278373:> 0:r1=0; 0:r4=0; 1:r3=0; z=2; 266165986:> 0:r1=0; 0:r4=0; 1:r3=1; z=1; 459829436:> 0:r1=0; 0:r4=0; 1:r3=1; z=2; 241644195:> 0:r1=0; 0:r4=1; 1:r3=0; z=1; 114527896:> 0:r1=0; 0:r4=1; 1:r3=0; z=2; 12043813:> 0:r1=0; 0:r4=1; 1:r3=1; z=1; 207506576:> 0:r1=0; 0:r4=1; 1:r3=1; z=2; 13559404:> 0:r1=1; 0:r4=0; 1:r3=0; z=1; 2 :> 0:r1=1; 0:r4=0; 1:r3=0; z=2; 207346955:> 0:r1=1; 0:r4=0; 1:r3=1; z=1; 45522150:> 0:r1=1; 0:r4=0; 1:r3=1; z=2; 242117858:> 0:r1=1; 0:r4=1; 1:r3=0; z=1; 12492894:> 0:r1=1; 0:r4=1; 1:r3=0; z=2; 210311433:> 0:r1=1; 0:r4=1; 1:r3=1; z=1; 189472023:> 0:r1=1; 0:r4=1; 1:r3=1; z=2; Ok Witnesses Positive: 2 Negative: 2399999998 Condition exists (z=2 /\ 0:r1=1 /\ 0:r4=0 /\ 1:r3=0) is validated Hash=c693aeac120b5ebe47aca8096f1cefc4 Time X08 1924.15 Test X09 Allow Histogram (16 states) 11473738:> 0:r1=0; 0:r4=0; 1:r3=0; 2:r3=0; 192879053:> 0:r1=0; 0:r4=0; 1:r3=0; 2:r3=1; 398660094:> 0:r1=0; 0:r4=0; 1:r3=1; 2:r3=0; 266561343:> 0:r1=0; 0:r4=0; 1:r3=1; 2:r3=1; 69403534:> 0:r1=0; 0:r4=1; 1:r3=0; 2:r3=0; 299392499:> 0:r1=0; 0:r4=1; 1:r3=0; 2:r3=1; 189652894:> 0:r1=0; 0:r4=1; 1:r3=1; 2:r3=0; 17461030:> 0:r1=0; 0:r4=1; 1:r3=1; 2:r3=1; 5 :> 0:r1=1; 0:r4=0; 1:r3=0; 2:r3=0; 18811471:> 0:r1=1; 0:r4=0; 1:r3=0; 2:r3=1; 9937894 :> 0:r1=1; 0:r4=0; 1:r3=1; 2:r3=0; 216736215:> 0:r1=1; 0:r4=0; 1:r3=1; 2:r3=1; 17714315:> 0:r1=1; 0:r4=1; 1:r3=0; 2:r3=0; 267363650:> 0:r1=1; 0:r4=1; 1:r3=0; 2:r3=1; 160621570:> 0:r1=1; 0:r4=1; 1:r3=1; 2:r3=0; 263330695:> 0:r1=1; 0:r4=1; 1:r3=1; 2:r3=1; Ok Witnesses Positive: 5 Negative: 2399999995 Condition exists (0:r1=1 /\ 0:r4=0 /\ 1:r3=0 /\ 2:r3=0) is validated Hash=25130932b014cac34245d116a5f68876 Time X09 1742.51 Test X10 Allow Histogram (16 states) 176713425:> 0:r1=0; 0:r4=0; 1:r3=0; z=1; 9506747 :> 0:r1=0; 0:r4=0; 1:r3=0; z=2; 300637847:> 0:r1=0; 0:r4=0; 1:r3=1; z=1; 392340261:> 0:r1=0; 0:r4=0; 1:r3=1; z=2; 300293671:> 0:r1=0; 0:r4=1; 1:r3=0; z=1; 63602001:> 0:r1=0; 0:r4=1; 1:r3=0; z=2; 42464604:> 0:r1=0; 0:r4=1; 1:r3=1; z=1; 191920638:> 0:r1=0; 0:r4=1; 1:r3=1; z=2; 17670479:> 0:r1=1; 0:r4=0; 1:r3=0; z=1; 1 :> 0:r1=1; 0:r4=0; 1:r3=0; z=2; 240199638:> 0:r1=1; 0:r4=0; 1:r3=1; z=1; 8202628 :> 0:r1=1; 0:r4=0; 1:r3=1; z=2; 271563704:> 0:r1=1; 0:r4=1; 1:r3=0; z=1; 10450179:> 0:r1=1; 0:r4=1; 1:r3=0; z=2; 276577995:> 0:r1=1; 0:r4=1; 1:r3=1; z=1; 97856182:> 0:r1=1; 0:r4=1; 1:r3=1; z=2; Ok Witnesses Positive: 1 Negative: 2399999999 Condition exists (z=2 /\ 0:r1=1 /\ 0:r4=0 /\ 1:r3=0) is validated Hash=6da0ade67698eb3fe55496c10e533d9d Time X10 1939.65 Test X11 Allow Histogram (8 states) 624111657:> 0:r1=0; 0:r4=0; y=1; 209036470:> 0:r1=0; 0:r4=0; y=2; 98386123:> 0:r1=0; 0:r4=1; y=1; 517766855:> 0:r1=0; 0:r4=1; y=2; 253684929:> 0:r1=1; 0:r4=0; y=1; 2396 :> 0:r1=1; 0:r4=0; y=2; 587166969:> 0:r1=1; 0:r4=1; y=1; 109844601:> 0:r1=1; 0:r4=1; y=2; Ok Witnesses Positive: 2396 Negative: 2399997604 Condition exists (y=2 /\ 0:r1=1 /\ 0:r4=0) is validated Hash=2e151daaab42138b8c478ba081d896ed Time X11 1163.12 Test X12 Allow Histogram (16 states) 270279423:> 0:r1=0; 0:r4=0; y=1; z=1; 437270851:> 0:r1=0; 0:r4=0; y=1; z=2; 117548600:> 0:r1=0; 0:r4=0; y=2; z=1; 37405113:> 0:r1=0; 0:r4=0; y=2; z=2; 59432761:> 0:r1=0; 0:r4=1; y=1; z=1; 200116755:> 0:r1=0; 0:r4=1; y=1; z=2; 194363720:> 0:r1=0; 0:r4=1; y=2; z=1; 99362724:> 0:r1=0; 0:r4=1; y=2; z=2; 200266259:> 0:r1=1; 0:r4=0; y=1; z=1; 38984982:> 0:r1=1; 0:r4=0; y=1; z=2; 10138803:> 0:r1=1; 0:r4=0; y=2; z=1; 6 :> 0:r1=1; 0:r4=0; y=2; z=2; 282277045:> 0:r1=1; 0:r4=1; y=1; z=1; 239577797:> 0:r1=1; 0:r4=1; y=1; z=2; 198812019:> 0:r1=1; 0:r4=1; y=2; z=1; 14163142:> 0:r1=1; 0:r4=1; y=2; z=2; Ok Witnesses Positive: 6 Negative: 2399999994 Condition exists (y=2 /\ z=2 /\ 0:r1=1 /\ 0:r4=0) is validated Hash=449f3e0ad9111a8f4431787ea3e14c01 Time X12 1955.29 Test X13 Allow Histogram (16 states) 401592487:> 0:r1=0; 0:r4=0; 2:r3=0; y=1; 10547570:> 0:r1=0; 0:r4=0; 2:r3=0; y=2; 277657983:> 0:r1=0; 0:r4=0; 2:r3=1; y=1; 176380456:> 0:r1=0; 0:r4=0; 2:r3=1; y=2; 219187671:> 0:r1=0; 0:r4=1; 2:r3=0; y=1; 69894190:> 0:r1=0; 0:r4=1; 2:r3=0; y=2; 67562854:> 0:r1=0; 0:r4=1; 2:r3=1; y=1; 255412167:> 0:r1=0; 0:r4=1; 2:r3=1; y=2; 8334961 :> 0:r1=1; 0:r4=0; 2:r3=0; y=1; 6 :> 0:r1=1; 0:r4=0; 2:r3=0; y=2; 229402800:> 0:r1=1; 0:r4=0; 2:r3=1; y=1; 19648923:> 0:r1=1; 0:r4=0; 2:r3=1; y=2; 138470638:> 0:r1=1; 0:r4=1; 2:r3=0; y=1; 13462690:> 0:r1=1; 0:r4=1; 2:r3=0; y=2; 299463574:> 0:r1=1; 0:r4=1; 2:r3=1; y=1; 212981030:> 0:r1=1; 0:r4=1; 2:r3=1; y=2; Ok Witnesses Positive: 6 Negative: 2399999994 Condition exists (y=2 /\ 0:r1=1 /\ 0:r4=0 /\ 2:r3=0) is validated Hash=e039602c16d523ecfdb1a0b4937a34a6 Time X13 1916.73 Test X14 Allow Histogram (16 states) 475831239:> 0:r1=0; 0:r4=0; y=1; z=1; 653583308:> 0:r1=0; 0:r4=0; y=1; z=2; 281076309:> 0:r1=0; 0:r4=0; y=2; z=1; 14671003:> 0:r1=0; 0:r4=0; y=2; z=2; 129821536:> 0:r1=0; 0:r4=1; y=1; z=1; 318039169:> 0:r1=0; 0:r4=1; y=1; z=2; 405169653:> 0:r1=0; 0:r4=1; y=2; z=1; 77988073:> 0:r1=0; 0:r4=1; y=2; z=2; 386177709:> 0:r1=1; 0:r4=0; y=1; z=1; 12330912:> 0:r1=1; 0:r4=0; y=1; z=2; 20389015:> 0:r1=1; 0:r4=0; y=2; z=1; 1 :> 0:r1=1; 0:r4=0; y=2; z=2; 599740581:> 0:r1=1; 0:r4=1; y=1; z=1; 211373888:> 0:r1=1; 0:r4=1; y=1; z=2; 399314867:> 0:r1=1; 0:r4=1; y=2; z=1; 14492737:> 0:r1=1; 0:r4=1; y=2; z=2; Ok Witnesses Positive: 1 Negative: 3999999999 Condition exists (y=2 /\ z=2 /\ 0:r1=1 /\ 0:r4=0) is validated Hash=74664d9800a1cc765c71acb315cf55f7 Time X14 3105.26 Test X15 Allow Histogram (16 states) 424271044:> 0:r1=0; 0:r3=0; 2:r1=0; 2:r3=0; 184793015:> 0:r1=0; 0:r3=0; 2:r1=0; 2:r3=1; 29328708:> 0:r1=0; 0:r3=0; 2:r1=1; 2:r3=0; 208580960:> 0:r1=0; 0:r3=0; 2:r1=1; 2:r3=1; 178995619:> 0:r1=0; 0:r3=1; 2:r1=0; 2:r3=0; 18656802:> 0:r1=0; 0:r3=1; 2:r1=0; 2:r3=1; 136773249:> 0:r1=0; 0:r3=1; 2:r1=1; 2:r3=0; 256327590:> 0:r1=0; 0:r3=1; 2:r1=1; 2:r3=1; 32499169:> 0:r1=1; 0:r3=0; 2:r1=0; 2:r3=0; 130858508:> 0:r1=1; 0:r3=0; 2:r1=0; 2:r3=1; 17312 :> 0:r1=1; 0:r3=0; 2:r1=1; 2:r3=0; 46273973:> 0:r1=1; 0:r3=0; 2:r1=1; 2:r3=1; 204234872:> 0:r1=1; 0:r3=1; 2:r1=0; 2:r3=0; 251877952:> 0:r1=1; 0:r3=1; 2:r1=0; 2:r3=1; 49587151:> 0:r1=1; 0:r3=1; 2:r1=1; 2:r3=0; 246924076:> 0:r1=1; 0:r3=1; 2:r1=1; 2:r3=1; Ok Witnesses Positive: 17312 Negative: 2399982688 Condition exists (0:r1=1 /\ 0:r3=0 /\ 2:r1=1 /\ 2:r3=0) is validated Hash=a488ac47b1a88d9c3f30dcee477424e5 Time X15 1667.70 Test X16 Allow Histogram (8 states) 594572494:> 0:r1=0; 0:r3=0; y=1; 218833631:> 0:r1=0; 0:r3=0; y=2; 35100662:> 0:r1=0; 0:r3=1; y=1; 612586474:> 0:r1=0; 0:r3=1; y=2; 241224443:> 0:r1=1; 0:r3=0; y=1; 4518 :> 0:r1=1; 0:r3=0; y=2; 487053949:> 0:r1=1; 0:r3=1; y=1; 210623829:> 0:r1=1; 0:r3=1; y=2; Ok Witnesses Positive: 4518 Negative: 2399995482 Condition exists (y=2 /\ 0:r1=1 /\ 0:r3=0) is validated Hash=7cfc2b26a1cbcdd15d0fab061a637ce4 Time X16 1151.33 Test X17 Allow Histogram (16 states) 202032368:> 0:r1=0; 0:r3=0; y=1; z=1; 401712606:> 0:r1=0; 0:r3=0; y=1; z=2; 201158158:> 0:r1=0; 0:r3=0; y=2; z=1; 26019416:> 0:r1=0; 0:r3=0; y=2; z=2; 17365350:> 0:r1=0; 0:r3=1; y=1; z=1; 157156327:> 0:r1=0; 0:r3=1; y=1; z=2; 249233371:> 0:r1=0; 0:r3=1; y=2; z=1; 140956383:> 0:r1=0; 0:r3=1; y=2; z=2; 125247024:> 0:r1=1; 0:r3=0; y=1; z=1; 24678884:> 0:r1=1; 0:r3=0; y=1; z=2; 41011408:> 0:r1=1; 0:r3=0; y=2; z=1; 124 :> 0:r1=1; 0:r3=0; y=2; z=2; 239580953:> 0:r1=1; 0:r3=1; y=1; z=1; 201393335:> 0:r1=1; 0:r3=1; y=1; z=2; 302607637:> 0:r1=1; 0:r3=1; y=2; z=1; 69846656:> 0:r1=1; 0:r3=1; y=2; z=2; Ok Witnesses Positive: 124 Negative: 2399999876 Condition exists (y=2 /\ z=2 /\ 0:r1=1 /\ 0:r3=0) is validated Hash=8ece2ae907eaa93a2cebf24dcb08cf79 Time X17 1927.90 Test X18 Allow Histogram (16 states) 396602119:> 0:r1=0; 0:r3=0; 2:r3=0; y=1; 16080117:> 0:r1=0; 0:r3=0; 2:r3=0; y=2; 173244044:> 0:r1=0; 0:r3=0; 2:r3=1; y=1; 271812072:> 0:r1=0; 0:r3=0; 2:r3=1; y=2; 167098745:> 0:r1=0; 0:r3=1; 2:r3=0; y=1; 111002690:> 0:r1=0; 0:r3=1; 2:r3=0; y=2; 18093424:> 0:r1=0; 0:r3=1; 2:r3=1; y=1; 328441639:> 0:r1=0; 0:r3=1; 2:r3=1; y=2; 7609492 :> 0:r1=1; 0:r3=0; 2:r3=0; y=1; 186 :> 0:r1=1; 0:r3=0; 2:r3=0; y=2; 124689762:> 0:r1=1; 0:r3=0; 2:r3=1; y=1; 77590880:> 0:r1=1; 0:r3=0; 2:r3=1; y=2; 84227895:> 0:r1=1; 0:r3=1; 2:r3=0; y=1; 44931534:> 0:r1=1; 0:r3=1; 2:r3=0; y=2; 261147877:> 0:r1=1; 0:r3=1; 2:r3=1; y=1; 317427524:> 0:r1=1; 0:r3=1; 2:r3=1; y=2; Ok Witnesses Positive: 186 Negative: 2399999814 Condition exists (y=2 /\ 0:r1=1 /\ 0:r3=0 /\ 2:r3=0) is validated Hash=773f6798f908e0cd810f3e878df07bab Time X18 1930.38 Test X19 Allow Histogram (16 states) 188917989:> 0:r1=0; 0:r3=0; y=1; z=1; 377626572:> 0:r1=0; 0:r3=0; y=1; z=2; 262154608:> 0:r1=0; 0:r3=0; y=2; z=1; 13684831:> 0:r1=0; 0:r3=0; y=2; z=2; 47984847:> 0:r1=0; 0:r3=1; y=1; z=1; 106019644:> 0:r1=0; 0:r3=1; y=1; z=2; 319602993:> 0:r1=0; 0:r3=1; y=2; z=1; 86984953:> 0:r1=0; 0:r3=1; y=2; z=2; 125519891:> 0:r1=1; 0:r3=0; y=1; z=1; 7755308 :> 0:r1=1; 0:r3=0; y=1; z=2; 67801857:> 0:r1=1; 0:r3=0; y=2; z=1; 5 :> 0:r1=1; 0:r3=0; y=2; z=2; 318836067:> 0:r1=1; 0:r3=1; y=1; z=1; 74470099:> 0:r1=1; 0:r3=1; y=1; z=2; 366872133:> 0:r1=1; 0:r3=1; y=2; z=1; 35768203:> 0:r1=1; 0:r3=1; y=2; z=2; Ok Witnesses Positive: 5 Negative: 2399999995 Condition exists (y=2 /\ z=2 /\ 0:r1=1 /\ 0:r3=0) is validated Hash=811f0a85dc5f811c7436b53d2ca9c449 Time X19 1976.11 Test X20 Allow Histogram (8 states) 233589881:> 0:r1=0; 0:r3=0; 1:r3=0; 611048428:> 0:r1=0; 0:r3=0; 1:r3=1; 521079978:> 0:r1=0; 0:r3=1; 1:r3=0; 67481403:> 0:r1=0; 0:r3=1; 1:r3=1; 1786 :> 0:r1=1; 0:r3=0; 1:r3=0; 272288588:> 0:r1=1; 0:r3=0; 1:r3=1; 128708175:> 0:r1=1; 0:r3=1; 1:r3=0; 565801761:> 0:r1=1; 0:r3=1; 1:r3=1; Ok Witnesses Positive: 1786 Negative: 2399998214 Condition exists (0:r1=1 /\ 0:r3=0 /\ 1:r3=0) is validated Hash=0c99e9e00ef12798cd94e468d7533fcb Time X20 1132.66 Test X21 Allow Histogram (16 states) 141382872:> 0:r1=0; 0:r3=0; 1:r3=0; z=1; 33573654:> 0:r1=0; 0:r3=0; 1:r3=0; z=2; 272411007:> 0:r1=0; 0:r3=0; 1:r3=1; z=1; 458687250:> 0:r1=0; 0:r3=0; 1:r3=1; z=2; 260535589:> 0:r1=0; 0:r3=1; 1:r3=0; z=1; 89306552:> 0:r1=0; 0:r3=1; 1:r3=0; z=2; 12690696:> 0:r1=0; 0:r3=1; 1:r3=1; z=1; 208792517:> 0:r1=0; 0:r3=1; 1:r3=1; z=2; 14783078:> 0:r1=1; 0:r3=0; 1:r3=0; z=1; 11 :> 0:r1=1; 0:r3=0; 1:r3=0; z=2; 214646285:> 0:r1=1; 0:r3=0; 1:r3=1; z=1; 46905721:> 0:r1=1; 0:r3=0; 1:r3=1; z=2; 243443487:> 0:r1=1; 0:r3=1; 1:r3=0; z=1; 11214263:> 0:r1=1; 0:r3=1; 1:r3=0; z=2; 206737681:> 0:r1=1; 0:r3=1; 1:r3=1; z=1; 184889337:> 0:r1=1; 0:r3=1; 1:r3=1; z=2; Ok Witnesses Positive: 11 Negative: 2399999989 Condition exists (z=2 /\ 0:r1=1 /\ 0:r3=0 /\ 1:r3=0) is validated Hash=10b56f844965b778138fc256080a6cb2 Time X21 1923.17 Test X22 Allow Histogram (16 states) 12251300:> 0:r1=0; 0:r3=0; 1:r3=0; 2:r3=0; 195838001:> 0:r1=0; 0:r3=0; 1:r3=0; 2:r3=1; 401869861:> 0:r1=0; 0:r3=0; 1:r3=1; 2:r3=0; 263208005:> 0:r1=0; 0:r3=0; 1:r3=1; 2:r3=1; 73563263:> 0:r1=0; 0:r3=1; 1:r3=0; 2:r3=0; 295854025:> 0:r1=0; 0:r3=1; 1:r3=0; 2:r3=1; 202615385:> 0:r1=0; 0:r3=1; 1:r3=1; 2:r3=0; 17234928:> 0:r1=0; 0:r3=1; 1:r3=1; 2:r3=1; 5 :> 0:r1=1; 0:r3=0; 1:r3=0; 2:r3=0; 20914233:> 0:r1=1; 0:r3=0; 1:r3=0; 2:r3=1; 9736617 :> 0:r1=1; 0:r3=0; 1:r3=1; 2:r3=0; 220200038:> 0:r1=1; 0:r3=0; 1:r3=1; 2:r3=1; 16042151:> 0:r1=1; 0:r3=1; 1:r3=0; 2:r3=0; 268206622:> 0:r1=1; 0:r3=1; 1:r3=0; 2:r3=1; 146858802:> 0:r1=1; 0:r3=1; 1:r3=1; 2:r3=0; 255606764:> 0:r1=1; 0:r3=1; 1:r3=1; 2:r3=1; Ok Witnesses Positive: 5 Negative: 2399999995 Condition exists (0:r1=1 /\ 0:r3=0 /\ 1:r3=0 /\ 2:r3=0) is validated Hash=e7fc832a2e4b347328216cfab07885d9 Time X22 1721.77 Test X23 Allow Histogram (16 states) 176607618:> 0:r1=0; 0:r3=0; 1:r3=0; z=1; 10287940:> 0:r1=0; 0:r3=0; 1:r3=0; z=2; 299425290:> 0:r1=0; 0:r3=0; 1:r3=1; z=1; 396152165:> 0:r1=0; 0:r3=0; 1:r3=1; z=2; 295391887:> 0:r1=0; 0:r3=1; 1:r3=0; z=1; 64260455:> 0:r1=0; 0:r3=1; 1:r3=0; z=2; 41355840:> 0:r1=0; 0:r3=1; 1:r3=1; z=1; 189870571:> 0:r1=0; 0:r3=1; 1:r3=1; z=2; 18774132:> 0:r1=1; 0:r3=0; 1:r3=0; z=1; 1 :> 0:r1=1; 0:r3=0; 1:r3=0; z=2; 248889290:> 0:r1=1; 0:r3=0; 1:r3=1; z=1; 8970174 :> 0:r1=1; 0:r3=0; 1:r3=1; z=2; 269666804:> 0:r1=1; 0:r3=1; 1:r3=0; z=1; 10283200:> 0:r1=1; 0:r3=1; 1:r3=0; z=2; 270971620:> 0:r1=1; 0:r3=1; 1:r3=1; z=1; 99093013:> 0:r1=1; 0:r3=1; 1:r3=1; z=2; Ok Witnesses Positive: 1 Negative: 2399999999 Condition exists (z=2 /\ 0:r1=1 /\ 0:r3=0 /\ 1:r3=0) is validated Hash=86fcf34749ab0aa370ea66e6893791a0 Time X23 1910.41 Test X24 Allow Histogram (8 states) 626661985:> 0:r1=0; 0:r3=0; y=1; 208985761:> 0:r1=0; 0:r3=0; y=2; 103480339:> 0:r1=0; 0:r3=1; y=1; 512061158:> 0:r1=0; 0:r3=1; y=2; 261978068:> 0:r1=1; 0:r3=0; y=1; 2997 :> 0:r1=1; 0:r3=0; y=2; 580454731:> 0:r1=1; 0:r3=1; y=1; 106374961:> 0:r1=1; 0:r3=1; y=2; Ok Witnesses Positive: 2997 Negative: 2399997003 Condition exists (y=2 /\ 0:r1=1 /\ 0:r3=0) is validated Hash=1a78bce42911eadebdb22805402de8eb Time X24 1153.94 Test X25 Allow Histogram (16 states) 277904266:> 0:r1=0; 0:r3=0; y=1; z=1; 431020584:> 0:r1=0; 0:r3=0; y=1; z=2; 131309681:> 0:r1=0; 0:r3=0; y=2; z=1; 26674517:> 0:r1=0; 0:r3=0; y=2; z=2; 59413724:> 0:r1=0; 0:r3=1; y=1; z=1; 196444917:> 0:r1=0; 0:r3=1; y=1; z=2; 216996346:> 0:r1=0; 0:r3=1; y=2; z=1; 81892401:> 0:r1=0; 0:r3=1; y=2; z=2; 208291277:> 0:r1=1; 0:r3=0; y=1; z=1; 39636920:> 0:r1=1; 0:r3=0; y=1; z=2; 11994499:> 0:r1=1; 0:r3=0; y=2; z=1; 7 :> 0:r1=1; 0:r3=0; y=2; z=2; 267637187:> 0:r1=1; 0:r3=1; y=1; z=1; 237563529:> 0:r1=1; 0:r3=1; y=1; z=2; 200370583:> 0:r1=1; 0:r3=1; y=2; z=1; 12849562:> 0:r1=1; 0:r3=1; y=2; z=2; Ok Witnesses Positive: 7 Negative: 2399999993 Condition exists (y=2 /\ z=2 /\ 0:r1=1 /\ 0:r3=0) is validated Hash=629e26a0c6f613b14043edf57727b702 Time X25 1958.95 Test X26 Allow Histogram (16 states) 405067614:> 0:r1=0; 0:r3=0; 2:r3=0; y=1; 10466313:> 0:r1=0; 0:r3=0; 2:r3=0; y=2; 271063276:> 0:r1=0; 0:r3=0; 2:r3=1; y=1; 182901145:> 0:r1=0; 0:r3=0; 2:r3=1; y=2; 230737975:> 0:r1=0; 0:r3=1; 2:r3=0; y=1; 73337595:> 0:r1=0; 0:r3=1; 2:r3=0; y=2; 65346144:> 0:r1=0; 0:r3=1; 2:r3=1; y=1; 259909743:> 0:r1=0; 0:r3=1; 2:r3=1; y=2; 8477701 :> 0:r1=1; 0:r3=0; 2:r3=0; y=1; 21 :> 0:r1=1; 0:r3=0; 2:r3=0; y=2; 235453842:> 0:r1=1; 0:r3=0; 2:r3=1; y=1; 22982741:> 0:r1=1; 0:r3=0; 2:r3=1; y=2; 121658804:> 0:r1=1; 0:r3=1; 2:r3=0; y=1; 12561109:> 0:r1=1; 0:r3=1; 2:r3=0; y=2; 283070573:> 0:r1=1; 0:r3=1; 2:r3=1; y=1; 216965404:> 0:r1=1; 0:r3=1; 2:r3=1; y=2; Ok Witnesses Positive: 21 Negative: 2399999979 Condition exists (y=2 /\ 0:r1=1 /\ 0:r3=0 /\ 2:r3=0) is validated Hash=54da285ce144acabc337e28ea8958874 Time X26 1919.94 Test X27 Allow Histogram (16 states) 241707090:> 0:r1=0; 2:r1=0; 2:r3=0; x=1; 412111621:> 0:r1=0; 2:r1=0; 2:r3=0; x=2; 23394593:> 0:r1=0; 2:r1=0; 2:r3=1; x=1; 189056938:> 0:r1=0; 2:r1=0; 2:r3=1; x=2; 149676285:> 0:r1=0; 2:r1=1; 2:r3=0; x=1; 33734254:> 0:r1=0; 2:r1=1; 2:r3=0; x=2; 255645757:> 0:r1=0; 2:r1=1; 2:r3=1; x=1; 231365556:> 0:r1=0; 2:r1=1; 2:r3=1; x=2; 160532087:> 0:r1=1; 2:r1=0; 2:r3=0; x=1; 24785688:> 0:r1=1; 2:r1=0; 2:r3=0; x=2; 257358818:> 0:r1=1; 2:r1=0; 2:r3=1; x=1; 113200782:> 0:r1=1; 2:r1=0; 2:r3=1; x=2; 25914684:> 0:r1=1; 2:r1=1; 2:r3=0; x=1; 118 :> 0:r1=1; 2:r1=1; 2:r3=0; x=2; 251592667:> 0:r1=1; 2:r1=1; 2:r3=1; x=1; 29923062:> 0:r1=1; 2:r1=1; 2:r3=1; x=2; Ok Witnesses Positive: 118 Negative: 2399999882 Condition exists (x=2 /\ 0:r1=1 /\ 2:r1=1 /\ 2:r3=0) is validated Hash=ffa63368caa391807dee9905d20510c6 Time X27 1827.98 Test X28 Allow Histogram (16 states) 139044233:> 1:r1=0; 3:r1=0; 3:r4=0; x=1; 410261011:> 1:r1=0; 3:r1=0; 3:r4=0; x=2; 9021494 :> 1:r1=0; 3:r1=0; 3:r4=1; x=1; 155002421:> 1:r1=0; 3:r1=0; 3:r4=1; x=2; 96837641:> 1:r1=0; 3:r1=1; 3:r4=0; x=1; 14671515:> 1:r1=0; 3:r1=1; 3:r4=0; x=2; 186969474:> 1:r1=0; 3:r1=1; 3:r4=1; x=1; 167401653:> 1:r1=0; 3:r1=1; 3:r4=1; x=2; 249772763:> 1:r1=1; 3:r1=0; 3:r4=0; x=1; 37198864:> 1:r1=1; 3:r1=0; 3:r4=0; x=2; 231086216:> 1:r1=1; 3:r1=0; 3:r4=1; x=1; 145661764:> 1:r1=1; 3:r1=0; 3:r4=1; x=2; 69572680:> 1:r1=1; 3:r1=1; 3:r4=0; x=1; 1856 :> 1:r1=1; 3:r1=1; 3:r4=0; x=2; 427578301:> 1:r1=1; 3:r1=1; 3:r4=1; x=1; 59918114:> 1:r1=1; 3:r1=1; 3:r4=1; x=2; Ok Witnesses Positive: 1856 Negative: 2399998144 Condition exists (x=2 /\ 1:r1=1 /\ 3:r1=1 /\ 3:r4=0) is validated Hash=4adca431a2784b4aa9df91b1fc3b1666 Time X28 1668.43 Test X29 Allow Histogram (16 states) 139531886:> 1:r1=0; 3:r1=0; 3:r3=0; x=1; 414649532:> 1:r1=0; 3:r1=0; 3:r3=0; x=2; 8802689 :> 1:r1=0; 3:r1=0; 3:r3=1; x=1; 147089113:> 1:r1=0; 3:r1=0; 3:r3=1; x=2; 98633696:> 1:r1=0; 3:r1=1; 3:r3=0; x=1; 16267354:> 1:r1=0; 3:r1=1; 3:r3=0; x=2; 183147077:> 1:r1=0; 3:r1=1; 3:r3=1; x=1; 171500897:> 1:r1=0; 3:r1=1; 3:r3=1; x=2; 253209838:> 1:r1=1; 3:r1=0; 3:r3=0; x=1; 34084691:> 1:r1=1; 3:r1=0; 3:r3=0; x=2; 230552344:> 1:r1=1; 3:r1=0; 3:r3=1; x=1; 135930442:> 1:r1=1; 3:r1=0; 3:r3=1; x=2; 71175600:> 1:r1=1; 3:r1=1; 3:r3=0; x=1; 393 :> 1:r1=1; 3:r1=1; 3:r3=0; x=2; 432375591:> 1:r1=1; 3:r1=1; 3:r3=1; x=1; 63048857:> 1:r1=1; 3:r1=1; 3:r3=1; x=2; Ok Witnesses Positive: 393 Negative: 2399999607 Condition exists (x=2 /\ 1:r1=1 /\ 3:r1=1 /\ 3:r3=0) is validated Hash=cd58719fd03bc8a841de06004867cb05 Time X29 1643.29 Test X30 Allow Histogram (16 states) 234697817:> 0:r1=0; 2:r1=0; 2:r4=0; x=1; 412313032:> 0:r1=0; 2:r1=0; 2:r4=0; x=2; 23636416:> 0:r1=0; 2:r1=0; 2:r4=1; x=1; 190801832:> 0:r1=0; 2:r1=0; 2:r4=1; x=2; 143407018:> 0:r1=0; 2:r1=1; 2:r4=0; x=1; 31463462:> 0:r1=0; 2:r1=1; 2:r4=0; x=2; 260236894:> 0:r1=0; 2:r1=1; 2:r4=1; x=1; 236374605:> 0:r1=0; 2:r1=1; 2:r4=1; x=2; 158564554:> 0:r1=1; 2:r1=0; 2:r4=0; x=1; 23839568:> 0:r1=1; 2:r1=0; 2:r4=0; x=2; 260743755:> 0:r1=1; 2:r1=0; 2:r4=1; x=1; 116285804:> 0:r1=1; 2:r1=0; 2:r4=1; x=2; 24848359:> 0:r1=1; 2:r1=1; 2:r4=0; x=1; 1846 :> 0:r1=1; 2:r1=1; 2:r4=0; x=2; 252205971:> 0:r1=1; 2:r1=1; 2:r4=1; x=1; 30579067:> 0:r1=1; 2:r1=1; 2:r4=1; x=2; Ok Witnesses Positive: 1846 Negative: 2399998154 Condition exists (x=2 /\ 0:r1=1 /\ 2:r1=1 /\ 2:r4=0) is validated Hash=a0f55fa2291a072f015a1f0b83d20074 Time X30 1802.31 Test X31 Allow Histogram (16 states) 237202414:> 0:r1=0; 2:r1=0; 2:r3=0; x=1; 417704034:> 0:r1=0; 2:r1=0; 2:r3=0; x=2; 22888184:> 0:r1=0; 2:r1=0; 2:r3=1; x=1; 189930988:> 0:r1=0; 2:r1=0; 2:r3=1; x=2; 147762010:> 0:r1=0; 2:r1=1; 2:r3=0; x=1; 33005917:> 0:r1=0; 2:r1=1; 2:r3=0; x=2; 254725294:> 0:r1=0; 2:r1=1; 2:r3=1; x=1; 231939847:> 0:r1=0; 2:r1=1; 2:r3=1; x=2; 159901709:> 0:r1=1; 2:r1=0; 2:r3=0; x=1; 25509945:> 0:r1=1; 2:r1=0; 2:r3=0; x=2; 256591149:> 0:r1=1; 2:r1=0; 2:r3=1; x=1; 116018175:> 0:r1=1; 2:r1=0; 2:r3=1; x=2; 25576482:> 0:r1=1; 2:r1=1; 2:r3=0; x=1; 26 :> 0:r1=1; 2:r1=1; 2:r3=0; x=2; 250998865:> 0:r1=1; 2:r1=1; 2:r3=1; x=1; 30244961:> 0:r1=1; 2:r1=1; 2:r3=1; x=2; Ok Witnesses Positive: 26 Negative: 2399999974 Condition exists (x=2 /\ 0:r1=1 /\ 2:r1=1 /\ 2:r3=0) is validated Hash=ffb6dc3e13fae7c7e7811955e241147b Time X31 1808.86 Test X32 Allow Histogram (16 states) 385215108:> 1:r1=0; 1:r3=0; 3:r1=0; 3:r4=0; 146248040:> 1:r1=0; 1:r3=0; 3:r1=0; 3:r4=1; 6200939 :> 1:r1=0; 1:r3=0; 3:r1=1; 3:r4=0; 88566529:> 1:r1=0; 1:r3=0; 3:r1=1; 3:r4=1; 115261720:> 1:r1=0; 1:r3=1; 3:r1=0; 3:r4=0; 14877235:> 1:r1=0; 1:r3=1; 3:r1=0; 3:r4=1; 90907964:> 1:r1=0; 1:r3=1; 3:r1=1; 3:r4=0; 223110273:> 1:r1=0; 1:r3=1; 3:r1=1; 3:r4=1; 26260963:> 1:r1=1; 1:r3=0; 3:r1=0; 3:r4=0; 119719077:> 1:r1=1; 1:r3=0; 3:r1=0; 3:r4=1; 1325 :> 1:r1=1; 1:r3=0; 3:r1=1; 3:r4=0; 67308718:> 1:r1=1; 1:r3=0; 3:r1=1; 3:r4=1; 280104625:> 1:r1=1; 1:r3=1; 3:r1=0; 3:r4=0; 261379863:> 1:r1=1; 1:r3=1; 3:r1=0; 3:r4=1; 84206440:> 1:r1=1; 1:r3=1; 3:r1=1; 3:r4=0; 490631181:> 1:r1=1; 1:r3=1; 3:r1=1; 3:r4=1; Ok Witnesses Positive: 1325 Negative: 2399998675 Condition exists (1:r1=1 /\ 1:r3=0 /\ 3:r1=1 /\ 3:r4=0) is validated Hash=abdf662fb230128532b66df78e4a75f1 Time X32 1605.45 Test X33 Allow Histogram (16 states) 382428339:> 1:r1=0; 1:r3=0; 3:r1=0; 3:r3=0; 145204553:> 1:r1=0; 1:r3=0; 3:r1=0; 3:r3=1; 6397858 :> 1:r1=0; 1:r3=0; 3:r1=1; 3:r3=0; 87632960:> 1:r1=0; 1:r3=0; 3:r1=1; 3:r3=1; 116949849:> 1:r1=0; 1:r3=1; 3:r1=0; 3:r3=0; 15045159:> 1:r1=0; 1:r3=1; 3:r1=0; 3:r3=1; 92756999:> 1:r1=0; 1:r3=1; 3:r1=1; 3:r3=0; 223843744:> 1:r1=0; 1:r3=1; 3:r1=1; 3:r3=1; 25131031:> 1:r1=1; 1:r3=0; 3:r1=0; 3:r3=0; 119571422:> 1:r1=1; 1:r3=0; 3:r1=0; 3:r3=1; 1628 :> 1:r1=1; 1:r3=0; 3:r1=1; 3:r3=0; 65335690:> 1:r1=1; 1:r3=0; 3:r1=1; 3:r3=1; 285509457:> 1:r1=1; 1:r3=1; 3:r1=0; 3:r3=0; 262525923:> 1:r1=1; 1:r3=1; 3:r1=0; 3:r3=1; 86033080:> 1:r1=1; 1:r3=1; 3:r1=1; 3:r3=0; 485632308:> 1:r1=1; 1:r3=1; 3:r1=1; 3:r3=1; Ok Witnesses Positive: 1628 Negative: 2399998372 Condition exists (1:r1=1 /\ 1:r3=0 /\ 3:r1=1 /\ 3:r3=0) is validated Hash=c86889a7cdc1c89457a71c414046d8c0 Time X33 1578.10 Test X34 Allow Histogram (16 states) 136956127:> 1:r1=0; 3:r1=0; 3:r4=0; x=1; 387490717:> 1:r1=0; 3:r1=0; 3:r4=0; x=2; 16100586:> 1:r1=0; 3:r1=0; 3:r4=1; x=1; 148307436:> 1:r1=0; 3:r1=0; 3:r4=1; x=2; 106944840:> 1:r1=0; 3:r1=1; 3:r4=0; x=1; 5910714 :> 1:r1=0; 3:r1=1; 3:r4=0; x=2; 232642912:> 1:r1=0; 3:r1=1; 3:r4=1; x=1; 80049161:> 1:r1=0; 3:r1=1; 3:r4=1; x=2; 272365359:> 1:r1=1; 3:r1=0; 3:r4=0; x=1; 23474639:> 1:r1=1; 3:r1=0; 3:r4=0; x=2; 259408347:> 1:r1=1; 3:r1=0; 3:r4=1; x=1; 125914340:> 1:r1=1; 3:r1=0; 3:r4=1; x=2; 73277992:> 1:r1=1; 3:r1=1; 3:r4=0; x=1; 1864 :> 1:r1=1; 3:r1=1; 3:r4=0; x=2; 472006106:> 1:r1=1; 3:r1=1; 3:r4=1; x=1; 59148860:> 1:r1=1; 3:r1=1; 3:r4=1; x=2; Ok Witnesses Positive: 1864 Negative: 2399998136 Condition exists (x=2 /\ 1:r1=1 /\ 3:r1=1 /\ 3:r4=0) is validated Hash=8db91522dc421fe43a7baf7aff0de837 Time X34 1675.42 Test X35 Allow Histogram (16 states) 139040303:> 1:r1=0; 3:r1=0; 3:r3=0; x=1; 385043998:> 1:r1=0; 3:r1=0; 3:r3=0; x=2; 16213186:> 1:r1=0; 3:r1=0; 3:r3=1; x=1; 139250545:> 1:r1=0; 3:r1=0; 3:r3=1; x=2; 107066777:> 1:r1=0; 3:r1=1; 3:r3=0; x=1; 6657674 :> 1:r1=0; 3:r1=1; 3:r3=0; x=2; 232921662:> 1:r1=0; 3:r1=1; 3:r3=1; x=1; 83751796:> 1:r1=0; 3:r1=1; 3:r3=1; x=2; 275028815:> 1:r1=1; 3:r1=0; 3:r3=0; x=1; 22971031:> 1:r1=1; 3:r1=0; 3:r3=0; x=2; 258316354:> 1:r1=1; 3:r1=0; 3:r3=1; x=1; 118525384:> 1:r1=1; 3:r1=0; 3:r3=1; x=2; 74739759:> 1:r1=1; 3:r1=1; 3:r3=0; x=1; 1373 :> 1:r1=1; 3:r1=1; 3:r3=0; x=2; 479166477:> 1:r1=1; 3:r1=1; 3:r3=1; x=1; 61304866:> 1:r1=1; 3:r1=1; 3:r3=1; x=2; Ok Witnesses Positive: 1373 Negative: 2399998627 Condition exists (x=2 /\ 1:r1=1 /\ 3:r1=1 /\ 3:r3=0) is validated Hash=00744a65cf189719eb1309a79c27a2ca Time X35 1655.84 Test Y00 Allow Histogram (15 states) 1947281568:> 0:r1=0; 0:r4=0; 2:r1=0; 2:r4=0; 312289535:> 0:r1=0; 0:r4=0; 2:r1=0; 2:r4=1; 121262674:> 0:r1=0; 0:r4=0; 2:r1=1; 2:r4=0; 1149652886:> 0:r1=0; 0:r4=0; 2:r1=1; 2:r4=1; 312292734:> 0:r1=0; 0:r4=1; 2:r1=0; 2:r4=0; 10791068:> 0:r1=0; 0:r4=1; 2:r1=0; 2:r4=1; 470401205:> 0:r1=0; 0:r4=1; 2:r1=1; 2:r4=0; 965024774:> 0:r1=0; 0:r4=1; 2:r1=1; 2:r4=1; 121617366:> 0:r1=1; 0:r4=0; 2:r1=0; 2:r4=0; 466104821:> 0:r1=1; 0:r4=0; 2:r1=0; 2:r4=1; 514367672:> 0:r1=1; 0:r4=0; 2:r1=1; 2:r4=1; 1157097055:> 0:r1=1; 0:r4=1; 2:r1=0; 2:r4=0; 974645064:> 0:r1=1; 0:r4=1; 2:r1=0; 2:r4=1; 515764196:> 0:r1=1; 0:r4=1; 2:r1=1; 2:r4=0; 2961407382:> 0:r1=1; 0:r4=1; 2:r1=1; 2:r4=1; No Witnesses Positive: 0 Negative: 12000000000 Condition exists (0:r1=1 /\ 0:r4=0 /\ 2:r1=1 /\ 2:r4=0) is not validated Hash=08b576a9816ca91b136efc84cb8198fe Time Y00 8384.74 Test Y01 Allow Histogram (15 states) 1960881392:> 0:r1=0; 0:r4=0; 2:r1=0; 2:r3=0; 303688088:> 0:r1=0; 0:r4=0; 2:r1=0; 2:r3=1; 130481761:> 0:r1=0; 0:r4=0; 2:r1=1; 2:r3=0; 1138331092:> 0:r1=0; 0:r4=0; 2:r1=1; 2:r3=1; 320298204:> 0:r1=0; 0:r4=1; 2:r1=0; 2:r3=0; 10262502:> 0:r1=0; 0:r4=1; 2:r1=0; 2:r3=1; 490927697:> 0:r1=0; 0:r4=1; 2:r1=1; 2:r3=0; 937401854:> 0:r1=0; 0:r4=1; 2:r1=1; 2:r3=1; 123397684:> 0:r1=1; 0:r4=0; 2:r1=0; 2:r3=0; 462240654:> 0:r1=1; 0:r4=0; 2:r1=0; 2:r3=1; 505228959:> 0:r1=1; 0:r4=0; 2:r1=1; 2:r3=1; 1203176617:> 0:r1=1; 0:r4=1; 2:r1=0; 2:r3=0; 981327047:> 0:r1=1; 0:r4=1; 2:r1=0; 2:r3=1; 520745339:> 0:r1=1; 0:r4=1; 2:r1=1; 2:r3=0; 2911611110:> 0:r1=1; 0:r4=1; 2:r1=1; 2:r3=1; No Witnesses Positive: 0 Negative: 12000000000 Condition exists (0:r1=1 /\ 0:r4=0 /\ 2:r1=1 /\ 2:r3=0) is not validated Hash=27be645f8ce747a8241695ecd5d12775 Time Y01 8424.66 Test Y02 Allow Histogram (15 states) 675788664:> 0:r1=0; 0:r4=0; 2:r1=0; z=1; 1875042809:> 0:r1=0; 0:r4=0; 2:r1=0; z=2; 905754299:> 0:r1=0; 0:r4=0; 2:r1=1; z=1; 51487247:> 0:r1=0; 0:r4=0; 2:r1=1; z=2; 41876911:> 0:r1=0; 0:r4=1; 2:r1=0; z=1; 325126283:> 0:r1=0; 0:r4=1; 2:r1=0; z=2; 1014135164:> 0:r1=0; 0:r4=1; 2:r1=1; z=1; 298468726:> 0:r1=0; 0:r4=1; 2:r1=1; z=2; 743088333:> 0:r1=1; 0:r4=0; 2:r1=0; z=1; 99237804:> 0:r1=1; 0:r4=0; 2:r1=0; z=2; 300594885:> 0:r1=1; 0:r4=0; 2:r1=1; z=1; 1753048801:> 0:r1=1; 0:r4=1; 2:r1=0; z=1; 950375021:> 0:r1=1; 0:r4=1; 2:r1=0; z=2; 2560306722:> 0:r1=1; 0:r4=1; 2:r1=1; z=1; 405668331:> 0:r1=1; 0:r4=1; 2:r1=1; z=2; No Witnesses Positive: 0 Negative: 12000000000 Condition exists (z=2 /\ 0:r1=1 /\ 0:r4=0 /\ 2:r1=1) is not validated Hash=e299ccd513ee6b40ffc1479736b6d80f Time Y02 9321.03 Test Y03 Allow Histogram (7 states) 2256385215:> 0:r1=0; 0:r4=0; y=1; 1045856186:> 0:r1=0; 0:r4=0; y=2; 40009594:> 0:r1=0; 0:r4=1; y=1; 1886652097:> 0:r1=0; 0:r4=1; y=2; 1323668463:> 0:r1=1; 0:r4=0; y=1; 3162220610:> 0:r1=1; 0:r4=1; y=1; 2285207835:> 0:r1=1; 0:r4=1; y=2; No Witnesses Positive: 0 Negative: 12000000000 Condition exists (y=2 /\ 0:r1=1 /\ 0:r4=0) is not validated Hash=fbc1c062cf6f3291c2ce205045bcf85e Time Y03 6249.18 Test Y04 Allow Histogram (15 states) 723723691:> 0:r1=0; 0:r4=0; y=1; z=1; 1669861128:> 0:r1=0; 0:r4=0; y=1; z=2; 761221953:> 0:r1=0; 0:r4=0; y=2; z=1; 89379458:> 0:r1=0; 0:r4=0; y=2; z=2; 33172558:> 0:r1=0; 0:r4=1; y=1; z=1; 436147050:> 0:r1=0; 0:r4=1; y=1; z=2; 779831505:> 0:r1=0; 0:r4=1; y=2; z=1; 492161703:> 0:r1=0; 0:r4=1; y=2; z=2; 759722679:> 0:r1=1; 0:r4=0; y=1; z=1; 126699288:> 0:r1=1; 0:r4=0; y=1; z=2; 224309236:> 0:r1=1; 0:r4=0; y=2; z=1; 1554314187:> 0:r1=1; 0:r4=1; y=1; z=1; 1687347210:> 0:r1=1; 0:r4=1; y=1; z=2; 2148647210:> 0:r1=1; 0:r4=1; y=2; z=1; 513461144:> 0:r1=1; 0:r4=1; y=2; z=2; No Witnesses Positive: 0 Negative: 12000000000 Condition exists (y=2 /\ z=2 /\ 0:r1=1 /\ 0:r4=0) is not validated Hash=00bb906e6b50e3e5b6bc490a41e163e4 Time Y04 9724.35 Test Y05 Allow Histogram (15 states) 1864627180:> 0:r1=0; 0:r4=0; 2:r3=0; y=1; 70429613:> 0:r1=0; 0:r4=0; 2:r3=0; y=2; 704231106:> 0:r1=0; 0:r4=0; 2:r3=1; y=1; 887490685:> 0:r1=0; 0:r4=0; 2:r3=1; y=2; 362278527:> 0:r1=0; 0:r4=1; 2:r3=0; y=1; 376643512:> 0:r1=0; 0:r4=1; 2:r3=0; y=2; 39221787:> 0:r1=0; 0:r4=1; 2:r3=1; y=1; 940455599:> 0:r1=0; 0:r4=1; 2:r3=1; y=2; 78268291:> 0:r1=1; 0:r4=0; 2:r3=0; y=1; 671844835:> 0:r1=1; 0:r4=0; 2:r3=1; y=1; 348468267:> 0:r1=1; 0:r4=0; 2:r3=1; y=2; 1106352728:> 0:r1=1; 0:r4=1; 2:r3=0; y=1; 425196408:> 0:r1=1; 0:r4=1; 2:r3=0; y=2; 1708180314:> 0:r1=1; 0:r4=1; 2:r3=1; y=1; 2416311148:> 0:r1=1; 0:r4=1; 2:r3=1; y=2; No Witnesses Positive: 0 Negative: 12000000000 Condition exists (y=2 /\ 0:r1=1 /\ 0:r4=0 /\ 2:r3=0) is not validated Hash=2d110167698039bf55def82743b120ef Time Y05 9476.71 Test Y06 Allow Histogram (15 states) 752773161:> 0:r1=0; 0:r4=0; y=1; z=1; 1676501234:> 0:r1=0; 0:r4=0; y=1; z=2; 902031270:> 0:r1=0; 0:r4=0; y=2; z=1; 57191200:> 0:r1=0; 0:r4=0; y=2; z=2; 61923493:> 0:r1=0; 0:r4=1; y=1; z=1; 340642060:> 0:r1=0; 0:r4=1; y=1; z=2; 936886447:> 0:r1=0; 0:r4=1; y=2; z=1; 327679402:> 0:r1=0; 0:r4=1; y=2; z=2; 730605354:> 0:r1=1; 0:r4=0; y=1; z=1; 70870305:> 0:r1=1; 0:r4=0; y=1; z=2; 308445172:> 0:r1=1; 0:r4=0; y=2; z=1; 2099745013:> 0:r1=1; 0:r4=1; y=1; z=1; 830427846:> 0:r1=1; 0:r4=1; y=1; z=2; 2644040594:> 0:r1=1; 0:r4=1; y=2; z=1; 260237449:> 0:r1=1; 0:r4=1; y=2; z=2; No Witnesses Positive: 0 Negative: 12000000000 Condition exists (y=2 /\ z=2 /\ 0:r1=1 /\ 0:r4=0) is not validated Hash=5519b7e18d61900b26b6e20148fd6e5b Time Y06 9776.80 Test Y07 Allow Histogram (7 states) 1021130084:> 0:r1=0; 0:r4=0; 1:r3=0; 2371362469:> 0:r1=0; 0:r4=0; 1:r3=1; 1942873502:> 0:r1=0; 0:r4=1; 1:r3=0; 57104878:> 0:r1=0; 0:r4=1; 1:r3=1; 1478312214:> 0:r1=1; 0:r4=0; 1:r3=1; 1647080519:> 0:r1=1; 0:r4=1; 1:r3=0; 3482136334:> 0:r1=1; 0:r4=1; 1:r3=1; No Witnesses Positive: 0 Negative: 12000000000 Condition exists (0:r1=1 /\ 0:r4=0 /\ 1:r3=0) is not validated Hash=75dc62611c83cbf21aa9273aa6a41b23 Time Y07 5755.01 Test Y08 Allow Histogram (15 states) 658372985:> 0:r1=0; 0:r4=0; 1:r3=0; z=1; 89800043:> 0:r1=0; 0:r4=0; 1:r3=0; z=2; 876210694:> 0:r1=0; 0:r4=0; 1:r3=1; z=1; 1790071087:> 0:r1=0; 0:r4=0; 1:r3=1; z=2; 916501871:> 0:r1=0; 0:r4=1; 1:r3=0; z=1; 410320913:> 0:r1=0; 0:r4=1; 1:r3=0; z=2; 24354778:> 0:r1=0; 0:r4=1; 1:r3=1; z=1; 496941842:> 0:r1=0; 0:r4=1; 1:r3=1; z=2; 72661439:> 0:r1=1; 0:r4=0; 1:r3=0; z=1; 1185271198:> 0:r1=1; 0:r4=0; 1:r3=1; z=1; 221311013:> 0:r1=1; 0:r4=0; 1:r3=1; z=2; 1764504140:> 0:r1=1; 0:r4=1; 1:r3=0; z=1; 167601522:> 0:r1=1; 0:r4=1; 1:r3=0; z=2; 1473524556:> 0:r1=1; 0:r4=1; 1:r3=1; z=1; 1852551919:> 0:r1=1; 0:r4=1; 1:r3=1; z=2; No Witnesses Positive: 0 Negative: 12000000000 Condition exists (z=2 /\ 0:r1=1 /\ 0:r4=0 /\ 1:r3=0) is not validated Hash=6f98559c8174fdcd1fe2a621ad7dc8d2 Time Y08 9338.77 Test Y09 Allow Histogram (15 states) 56320338:> 0:r1=0; 0:r4=0; 1:r3=0; 2:r3=0; 729915413:> 0:r1=0; 0:r4=0; 1:r3=0; 2:r3=1; 1841033865:> 0:r1=0; 0:r4=0; 1:r3=1; 2:r3=0; 930971036:> 0:r1=0; 0:r4=0; 1:r3=1; 2:r3=1; 316178048:> 0:r1=0; 0:r4=1; 1:r3=0; 2:r3=0; 1082868859:> 0:r1=0; 0:r4=1; 1:r3=0; 2:r3=1; 420663721:> 0:r1=0; 0:r4=1; 1:r3=1; 2:r3=0; 44176034:> 0:r1=0; 0:r4=1; 1:r3=1; 2:r3=1; 100940414:> 0:r1=1; 0:r4=0; 1:r3=0; 2:r3=1; 92766701:> 0:r1=1; 0:r4=0; 1:r3=1; 2:r3=0; 1124926065:> 0:r1=1; 0:r4=0; 1:r3=1; 2:r3=1; 218213669:> 0:r1=1; 0:r4=1; 1:r3=0; 2:r3=0; 1882001306:> 0:r1=1; 0:r4=1; 1:r3=0; 2:r3=1; 1414302927:> 0:r1=1; 0:r4=1; 1:r3=1; 2:r3=0; 1744721604:> 0:r1=1; 0:r4=1; 1:r3=1; 2:r3=1; No Witnesses Positive: 0 Negative: 12000000000 Condition exists (0:r1=1 /\ 0:r4=0 /\ 1:r3=0 /\ 2:r3=0) is not validated Hash=f9c57151a878a2fb7ca88a7241079b1d Time Y09 8757.07 Test Y10 Allow Histogram (15 states) 735676801:> 0:r1=0; 0:r4=0; 1:r3=0; z=1; 44520294:> 0:r1=0; 0:r4=0; 1:r3=0; z=2; 1023963171:> 0:r1=0; 0:r4=0; 1:r3=1; z=1; 1725256088:> 0:r1=0; 0:r4=0; 1:r3=1; z=2; 1067892525:> 0:r1=0; 0:r4=1; 1:r3=0; z=1; 274659686:> 0:r1=0; 0:r4=1; 1:r3=0; z=2; 49439553:> 0:r1=0; 0:r4=1; 1:r3=1; z=1; 399698698:> 0:r1=0; 0:r4=1; 1:r3=1; z=2; 80916269:> 0:r1=1; 0:r4=0; 1:r3=0; z=1; 1294639690:> 0:r1=1; 0:r4=0; 1:r3=1; z=1; 81757592:> 0:r1=1; 0:r4=0; 1:r3=1; z=2; 1923875005:> 0:r1=1; 0:r4=1; 1:r3=0; z=1; 160847368:> 0:r1=1; 0:r4=1; 1:r3=0; z=2; 1989306494:> 0:r1=1; 0:r4=1; 1:r3=1; z=1; 1147550766:> 0:r1=1; 0:r4=1; 1:r3=1; z=2; No Witnesses Positive: 0 Negative: 12000000000 Condition exists (z=2 /\ 0:r1=1 /\ 0:r4=0 /\ 1:r3=0) is not validated Hash=d987b1dfa9ff6dbc9cfc5646bda90ed3 Time Y10 9422.40 Test Y11 Allow Histogram (7 states) 2406804214:> 0:r1=0; 0:r4=0; y=1; 920131756:> 0:r1=0; 0:r4=0; y=2; 90764130:> 0:r1=0; 0:r4=1; y=1; 1875954318:> 0:r1=0; 0:r4=1; y=2; 1419600882:> 0:r1=1; 0:r4=0; y=1; 3768217894:> 0:r1=1; 0:r4=1; y=1; 1518526806:> 0:r1=1; 0:r4=1; y=2; No Witnesses Positive: 0 Negative: 12000000000 Condition exists (y=2 /\ 0:r1=1 /\ 0:r4=0) is not validated Hash=5506d17360dcb64cbec742d67fe4340e Time Y11 6168.13 Test Y12 Allow Histogram (15 states) 895566016:> 0:r1=0; 0:r4=0; y=1; z=1; 1771424090:> 0:r1=0; 0:r4=0; y=1; z=2; 592601934:> 0:r1=0; 0:r4=0; y=2; z=1; 72581402:> 0:r1=0; 0:r4=0; y=2; z=2; 69694464:> 0:r1=0; 0:r4=1; y=1; z=1; 530035859:> 0:r1=0; 0:r4=1; y=1; z=2; 798204068:> 0:r1=0; 0:r4=1; y=2; z=1; 386403970:> 0:r1=0; 0:r4=1; y=2; z=2; 1124430411:> 0:r1=1; 0:r4=0; y=1; z=1; 201748110:> 0:r1=1; 0:r4=0; y=1; z=2; 58243602:> 0:r1=1; 0:r4=0; y=2; z=1; 1926943294:> 0:r1=1; 0:r4=1; y=1; z=1; 1954443888:> 0:r1=1; 0:r4=1; y=1; z=2; 1460444175:> 0:r1=1; 0:r4=1; y=2; z=1; 157234717:> 0:r1=1; 0:r4=1; y=2; z=2; No Witnesses Positive: 0 Negative: 12000000000 Condition exists (y=2 /\ z=2 /\ 0:r1=1 /\ 0:r4=0) is not validated Hash=e74570fa8cc4ed49e2bc7eb3e6efaadc Time Y12 9774.58 Test Y13 Allow Histogram (15 states) 1900956818:> 0:r1=0; 0:r4=0; 2:r3=0; y=1; 45345285:> 0:r1=0; 0:r4=0; 2:r3=0; y=2; 955110564:> 0:r1=0; 0:r4=0; 2:r3=1; y=1; 654330965:> 0:r1=0; 0:r4=0; 2:r3=1; y=2; 465486942:> 0:r1=0; 0:r4=1; 2:r3=0; y=1; 284105966:> 0:r1=0; 0:r4=1; 2:r3=0; y=2; 112095758:> 0:r1=0; 0:r4=1; 2:r3=1; y=1; 938535325:> 0:r1=0; 0:r4=1; 2:r3=1; y=2; 84589737:> 0:r1=1; 0:r4=0; 2:r3=0; y=1; 1101919106:> 0:r1=1; 0:r4=0; 2:r3=1; y=1; 89524782:> 0:r1=1; 0:r4=0; 2:r3=1; y=2; 1450801182:> 0:r1=1; 0:r4=1; 2:r3=0; y=1; 200680575:> 0:r1=1; 0:r4=1; 2:r3=0; y=2; 2166112432:> 0:r1=1; 0:r4=1; 2:r3=1; y=1; 1550404563:> 0:r1=1; 0:r4=1; 2:r3=1; y=2; No Witnesses Positive: 0 Negative: 12000000000 Condition exists (y=2 /\ 0:r1=1 /\ 0:r4=0 /\ 2:r3=0) is not validated Hash=d514c17376c3fe56c7da249e5154e952 Time Y13 9585.72 Test Y14 Allow Histogram (15 states) 1019261746:> 0:r1=0; 0:r4=0; y=1; z=1; 1734949973:> 0:r1=0; 0:r4=0; y=1; z=2; 659095794:> 0:r1=0; 0:r4=0; y=2; z=1; 35938494:> 0:r1=0; 0:r4=0; y=2; z=2; 91789978:> 0:r1=0; 0:r4=1; y=1; z=1; 441553739:> 0:r1=0; 0:r4=1; y=1; z=2; 952531400:> 0:r1=0; 0:r4=1; y=2; z=1; 248668752:> 0:r1=0; 0:r4=1; y=2; z=2; 1187401948:> 0:r1=1; 0:r4=0; y=1; z=1; 78910401:> 0:r1=1; 0:r4=0; y=1; z=2; 64973070:> 0:r1=1; 0:r4=0; y=2; z=1; 2522251164:> 0:r1=1; 0:r4=1; y=1; z=1; 1193035972:> 0:r1=1; 0:r4=1; y=1; z=2; 1624627796:> 0:r1=1; 0:r4=1; y=2; z=1; 145009773:> 0:r1=1; 0:r4=1; y=2; z=2; No Witnesses Positive: 0 Negative: 12000000000 Condition exists (y=2 /\ z=2 /\ 0:r1=1 /\ 0:r4=0) is not validated Hash=db5bc36ebd8ef1745e795c6bdf75e423 Time Y14 9842.91 Test Y15 Allow Histogram (15 states) 1979680342:> 0:r1=0; 0:r3=0; 2:r1=0; 2:r3=0; 312372784:> 0:r1=0; 0:r3=0; 2:r1=0; 2:r3=1; 142673084:> 0:r1=0; 0:r3=0; 2:r1=1; 2:r3=0; 1185814862:> 0:r1=0; 0:r3=0; 2:r1=1; 2:r3=1; 324434609:> 0:r1=0; 0:r3=1; 2:r1=0; 2:r3=0; 10084889:> 0:r1=0; 0:r3=1; 2:r1=0; 2:r3=1; 505752899:> 0:r1=0; 0:r3=1; 2:r1=1; 2:r3=0; 943646398:> 0:r1=0; 0:r3=1; 2:r1=1; 2:r3=1; 131055332:> 0:r1=1; 0:r3=0; 2:r1=0; 2:r3=0; 489433012:> 0:r1=1; 0:r3=0; 2:r1=0; 2:r3=1; 512239587:> 0:r1=1; 0:r3=0; 2:r1=1; 2:r3=1; 1189040983:> 0:r1=1; 0:r3=1; 2:r1=0; 2:r3=0; 945705614:> 0:r1=1; 0:r3=1; 2:r1=0; 2:r3=1; 522094156:> 0:r1=1; 0:r3=1; 2:r1=1; 2:r3=0; 2805971449:> 0:r1=1; 0:r3=1; 2:r1=1; 2:r3=1; No Witnesses Positive: 0 Negative: 12000000000 Condition exists (0:r1=1 /\ 0:r3=0 /\ 2:r1=1 /\ 2:r3=0) is not validated Hash=11eec175e5c988e350ebfc54fd0e2c1c Time Y15 8801.30 Test Y16 Allow Histogram (7 states) 2300640043:> 0:r1=0; 0:r3=0; y=1; 1050646140:> 0:r1=0; 0:r3=0; y=2; 42158412:> 0:r1=0; 0:r3=1; y=1; 1886297759:> 0:r1=0; 0:r3=1; y=2; 1363835796:> 0:r1=1; 0:r3=0; y=1; 3086998820:> 0:r1=1; 0:r3=1; y=1; 2269423030:> 0:r1=1; 0:r3=1; y=2; No Witnesses Positive: 0 Negative: 12000000000 Condition exists (y=2 /\ 0:r1=1 /\ 0:r3=0) is not validated Hash=8e9853ba7646212616eafb737d8e71e4 Time Y16 6230.57 Test Y17 Allow Histogram (15 states) 754947759:> 0:r1=0; 0:r3=0; y=1; z=1; 1685549388:> 0:r1=0; 0:r3=0; y=1; z=2; 769956416:> 0:r1=0; 0:r3=0; y=2; z=1; 90113411:> 0:r1=0; 0:r3=0; y=2; z=2; 34259876:> 0:r1=0; 0:r3=1; y=1; z=1; 433306269:> 0:r1=0; 0:r3=1; y=1; z=2; 824171352:> 0:r1=0; 0:r3=1; y=2; z=1; 446014284:> 0:r1=0; 0:r3=1; y=2; z=2; 826287070:> 0:r1=1; 0:r3=0; y=1; z=1; 136633856:> 0:r1=1; 0:r3=0; y=1; z=2; 195433105:> 0:r1=1; 0:r3=0; y=2; z=1; 1553869235:> 0:r1=1; 0:r3=1; y=1; z=1; 1659495021:> 0:r1=1; 0:r3=1; y=1; z=2; 2059839928:> 0:r1=1; 0:r3=1; y=2; z=1; 530123030:> 0:r1=1; 0:r3=1; y=2; z=2; No Witnesses Positive: 0 Negative: 12000000000 Condition exists (y=2 /\ z=2 /\ 0:r1=1 /\ 0:r3=0) is not validated Hash=5dde3da66b8fd3eb942a6c2fb7e9050b Time Y17 9858.18 Test Y18 Allow Histogram (15 states) 1872736779:> 0:r1=0; 0:r3=0; 2:r3=0; y=1; 66527575:> 0:r1=0; 0:r3=0; 2:r3=0; y=2; 750337747:> 0:r1=0; 0:r3=0; 2:r3=1; y=1; 868399133:> 0:r1=0; 0:r3=0; 2:r3=1; y=2; 345999625:> 0:r1=0; 0:r3=1; 2:r3=0; y=1; 373910901:> 0:r1=0; 0:r3=1; 2:r3=0; y=2; 38225280:> 0:r1=0; 0:r3=1; 2:r3=1; y=1; 951190158:> 0:r1=0; 0:r3=1; 2:r3=1; y=2; 88070794:> 0:r1=1; 0:r3=0; 2:r3=0; y=1; 726009607:> 0:r1=1; 0:r3=0; 2:r3=1; y=1; 333099014:> 0:r1=1; 0:r3=0; 2:r3=1; y=2; 1099215239:> 0:r1=1; 0:r3=1; 2:r3=0; y=1; 431145423:> 0:r1=1; 0:r3=1; 2:r3=0; y=2; 1725828492:> 0:r1=1; 0:r3=1; 2:r3=1; y=1; 2329304233:> 0:r1=1; 0:r3=1; 2:r3=1; y=2; No Witnesses Positive: 0 Negative: 12000000000 Condition exists (y=2 /\ 0:r1=1 /\ 0:r3=0 /\ 2:r3=0) is not validated Hash=abfe8f96fb73d61f24cd4ed25c4cbe36 Time Y18 9706.25 Test Y19 Allow Histogram (15 states) 810374957:> 0:r1=0; 0:r3=0; y=1; z=1; 1723678424:> 0:r1=0; 0:r3=0; y=1; z=2; 881283563:> 0:r1=0; 0:r3=0; y=2; z=1; 56599741:> 0:r1=0; 0:r3=0; y=2; z=2; 63541448:> 0:r1=0; 0:r3=1; y=1; z=1; 325855870:> 0:r1=0; 0:r3=1; y=1; z=2; 936214091:> 0:r1=0; 0:r3=1; y=2; z=1; 331558075:> 0:r1=0; 0:r3=1; y=2; z=2; 826067294:> 0:r1=1; 0:r3=0; y=1; z=1; 76760128:> 0:r1=1; 0:r3=0; y=1; z=2; 277027274:> 0:r1=1; 0:r3=0; y=2; z=1; 2095274748:> 0:r1=1; 0:r3=1; y=1; z=1; 814483663:> 0:r1=1; 0:r3=1; y=1; z=2; 2508678807:> 0:r1=1; 0:r3=1; y=2; z=1; 272601917:> 0:r1=1; 0:r3=1; y=2; z=2; No Witnesses Positive: 0 Negative: 12000000000 Condition exists (y=2 /\ z=2 /\ 0:r1=1 /\ 0:r3=0) is not validated Hash=a4ab8a1891a2982f2576f75c35f64825 Time Y19 9960.12 Test Y20 Allow Histogram (7 states) 1037059205:> 0:r1=0; 0:r3=0; 1:r3=0; 2416507850:> 0:r1=0; 0:r3=0; 1:r3=1; 1969984502:> 0:r1=0; 0:r3=1; 1:r3=0; 58171349:> 0:r1=0; 0:r3=1; 1:r3=1; 1494969993:> 0:r1=1; 0:r3=0; 1:r3=1; 1623640836:> 0:r1=1; 0:r3=1; 1:r3=0; 3399666265:> 0:r1=1; 0:r3=1; 1:r3=1; No Witnesses Positive: 0 Negative: 12000000000 Condition exists (0:r1=1 /\ 0:r3=0 /\ 1:r3=0) is not validated Hash=310ba9b87ba9c8abbb2cb09115abba03 Time Y20 5802.12 Test Y21 Allow Histogram (15 states) 664409368:> 0:r1=0; 0:r3=0; 1:r3=0; z=1; 90300691:> 0:r1=0; 0:r3=0; 1:r3=0; z=2; 897300107:> 0:r1=0; 0:r3=0; 1:r3=1; z=1; 1802078516:> 0:r1=0; 0:r3=0; 1:r3=1; z=2; 922413352:> 0:r1=0; 0:r3=1; 1:r3=0; z=1; 402895429:> 0:r1=0; 0:r3=1; 1:r3=0; z=2; 22696745:> 0:r1=0; 0:r3=1; 1:r3=1; z=1; 489209856:> 0:r1=0; 0:r3=1; 1:r3=1; z=2; 82163133:> 0:r1=1; 0:r3=0; 1:r3=0; z=1; 1215617937:> 0:r1=1; 0:r3=0; 1:r3=1; z=1; 232548254:> 0:r1=1; 0:r3=0; 1:r3=1; z=2; 1747217835:> 0:r1=1; 0:r3=1; 1:r3=0; z=1; 166237318:> 0:r1=1; 0:r3=1; 1:r3=0; z=2; 1423779639:> 0:r1=1; 0:r3=1; 1:r3=1; z=1; 1841131820:> 0:r1=1; 0:r3=1; 1:r3=1; z=2; No Witnesses Positive: 0 Negative: 12000000000 Condition exists (z=2 /\ 0:r1=1 /\ 0:r3=0 /\ 1:r3=0) is not validated Hash=63a4ff1b2a8c61b6b9352662bce3e8c9 Time Y21 9450.99 Test Y22 Allow Histogram (15 states) 56195820:> 0:r1=0; 0:r3=0; 1:r3=0; 2:r3=0; 744791577:> 0:r1=0; 0:r3=0; 1:r3=0; 2:r3=1; 1849515596:> 0:r1=0; 0:r3=0; 1:r3=1; 2:r3=0; 965212646:> 0:r1=0; 0:r3=0; 1:r3=1; 2:r3=1; 309053304:> 0:r1=0; 0:r3=1; 1:r3=0; 2:r3=0; 1086937746:> 0:r1=0; 0:r3=1; 1:r3=0; 2:r3=1; 396731340:> 0:r1=0; 0:r3=1; 1:r3=1; 2:r3=0; 44704281:> 0:r1=0; 0:r3=1; 1:r3=1; 2:r3=1; 111896252:> 0:r1=1; 0:r3=0; 1:r3=0; 2:r3=1; 104516899:> 0:r1=1; 0:r3=0; 1:r3=1; 2:r3=0; 1184270503:> 0:r1=1; 0:r3=0; 1:r3=1; 2:r3=1; 216634444:> 0:r1=1; 0:r3=1; 1:r3=0; 2:r3=0; 1856434269:> 0:r1=1; 0:r3=1; 1:r3=0; 2:r3=1; 1407204332:> 0:r1=1; 0:r3=1; 1:r3=1; 2:r3=0; 1665900991:> 0:r1=1; 0:r3=1; 1:r3=1; 2:r3=1; No Witnesses Positive: 0 Negative: 12000000000 Condition exists (0:r1=1 /\ 0:r3=0 /\ 1:r3=0 /\ 2:r3=0) is not validated Hash=8a2b1f87ebce2fea7bdd4e78ab49e198 Time Y22 9303.47 Test Y23 Allow Histogram (15 states) 741922462:> 0:r1=0; 0:r3=0; 1:r3=0; z=1; 45131230:> 0:r1=0; 0:r3=0; 1:r3=0; z=2; 1034904775:> 0:r1=0; 0:r3=0; 1:r3=1; z=1; 1754697567:> 0:r1=0; 0:r3=0; 1:r3=1; z=2; 1075416156:> 0:r1=0; 0:r3=1; 1:r3=0; z=1; 276099190:> 0:r1=0; 0:r3=1; 1:r3=0; z=2; 48626789:> 0:r1=0; 0:r3=1; 1:r3=1; z=1; 390177383:> 0:r1=0; 0:r3=1; 1:r3=1; z=2; 92772593:> 0:r1=1; 0:r3=0; 1:r3=0; z=1; 1340866531:> 0:r1=1; 0:r3=0; 1:r3=1; z=1; 89038199:> 0:r1=1; 0:r3=0; 1:r3=1; z=2; 1897755808:> 0:r1=1; 0:r3=1; 1:r3=0; z=1; 160734938:> 0:r1=1; 0:r3=1; 1:r3=0; z=2; 1919409133:> 0:r1=1; 0:r3=1; 1:r3=1; z=1; 1132447246:> 0:r1=1; 0:r3=1; 1:r3=1; z=2; No Witnesses Positive: 0 Negative: 12000000000 Condition exists (z=2 /\ 0:r1=1 /\ 0:r3=0 /\ 1:r3=0) is not validated Hash=34f72841a6635924e4f6e89a17ea5886 Time Y23 9517.57 Test Y24 Allow Histogram (7 states) 2455872051:> 0:r1=0; 0:r3=0; y=1; 921516633:> 0:r1=0; 0:r3=0; y=2; 100535271:> 0:r1=0; 0:r3=1; y=1; 1876808182:> 0:r1=0; 0:r3=1; y=2; 1458598593:> 0:r1=1; 0:r3=0; y=1; 3685580742:> 0:r1=1; 0:r3=1; y=1; 1501088528:> 0:r1=1; 0:r3=1; y=2; No Witnesses Positive: 0 Negative: 12000000000 Condition exists (y=2 /\ 0:r1=1 /\ 0:r3=0) is not validated Hash=967cc1d43171137af345c68503a9bda3 Time Y24 6195.87 Test Y25 Allow Histogram (15 states) 925882166:> 0:r1=0; 0:r3=0; y=1; z=1; 1778419071:> 0:r1=0; 0:r3=0; y=1; z=2; 599592578:> 0:r1=0; 0:r3=0; y=2; z=1; 69482160:> 0:r1=0; 0:r3=0; y=2; z=2; 79309877:> 0:r1=0; 0:r3=1; y=1; z=1; 527066380:> 0:r1=0; 0:r3=1; y=1; z=2; 822887665:> 0:r1=0; 0:r3=1; y=2; z=1; 342459550:> 0:r1=0; 0:r3=1; y=2; z=2; 1161634903:> 0:r1=1; 0:r3=0; y=1; z=1; 216628419:> 0:r1=1; 0:r3=0; y=1; z=2; 64136568:> 0:r1=1; 0:r3=0; y=2; z=1; 1921819314:> 0:r1=1; 0:r3=1; y=1; z=1; 1933756359:> 0:r1=1; 0:r3=1; y=1; z=2; 1405475887:> 0:r1=1; 0:r3=1; y=2; z=1; 151449103:> 0:r1=1; 0:r3=1; y=2; z=2; No Witnesses Positive: 0 Negative: 12000000000 Condition exists (y=2 /\ z=2 /\ 0:r1=1 /\ 0:r3=0) is not validated Hash=67d202536303d5d116d23867165f4ed6 Time Y25 9804.27 Test Y26 Allow Histogram (15 states) 1899023384:> 0:r1=0; 0:r3=0; 2:r3=0; y=1; 45800084:> 0:r1=0; 0:r3=0; 2:r3=0; y=2; 984696635:> 0:r1=0; 0:r3=0; 2:r3=1; y=1; 659155846:> 0:r1=0; 0:r3=0; 2:r3=1; y=2; 443522409:> 0:r1=0; 0:r3=1; 2:r3=0; y=1; 282177707:> 0:r1=0; 0:r3=1; 2:r3=0; y=2; 116689125:> 0:r1=0; 0:r3=1; 2:r3=1; y=1; 937476146:> 0:r1=0; 0:r3=1; 2:r3=1; y=2; 96036876:> 0:r1=1; 0:r3=0; 2:r3=0; y=1; 1173634404:> 0:r1=1; 0:r3=0; 2:r3=1; y=1; 93208916:> 0:r1=1; 0:r3=0; 2:r3=1; y=2; 1463092588:> 0:r1=1; 0:r3=1; 2:r3=0; y=1; 197655342:> 0:r1=1; 0:r3=1; 2:r3=0; y=2; 2108498636:> 0:r1=1; 0:r3=1; 2:r3=1; y=1; 1499331902:> 0:r1=1; 0:r3=1; 2:r3=1; y=2; No Witnesses Positive: 0 Negative: 12000000000 Condition exists (y=2 /\ 0:r1=1 /\ 0:r3=0 /\ 2:r3=0) is not validated Hash=44ca19804af93c9cee9c0f6acff5a2b0 Time Y26 9648.58 Test Y27 Allow Histogram (15 states) 659377056:> 0:r1=0; 2:r1=0; 2:r3=0; x=1; 1882655866:> 0:r1=0; 2:r1=0; 2:r3=0; x=2; 41954292:> 0:r1=0; 2:r1=0; 2:r3=1; x=1; 321516878:> 0:r1=0; 2:r1=0; 2:r3=1; x=2; 732855362:> 0:r1=0; 2:r1=1; 2:r3=0; x=1; 107723623:> 0:r1=0; 2:r1=1; 2:r3=0; x=2; 1668058583:> 0:r1=0; 2:r1=1; 2:r3=1; x=1; 943405766:> 0:r1=0; 2:r1=1; 2:r3=1; x=2; 987876287:> 0:r1=1; 2:r1=0; 2:r3=0; x=1; 56044922:> 0:r1=1; 2:r1=0; 2:r3=0; x=2; 1017710605:> 0:r1=1; 2:r1=0; 2:r3=1; x=1; 300222803:> 0:r1=1; 2:r1=0; 2:r3=1; x=2; 327547245:> 0:r1=1; 2:r1=1; 2:r3=0; x=1; 2564946675:> 0:r1=1; 2:r1=1; 2:r3=1; x=1; 388104037:> 0:r1=1; 2:r1=1; 2:r3=1; x=2; No Witnesses Positive: 0 Negative: 12000000000 Condition exists (x=2 /\ 0:r1=1 /\ 2:r1=1 /\ 2:r3=0) is not validated Hash=ad65804aeb1597ba714e2328512d7995 Time Y27 9558.02 Test Y28 Allow Histogram (15 states) 482997640:> 1:r1=0; 3:r1=0; 3:r4=0; x=1; 1777788674:> 1:r1=0; 3:r1=0; 3:r4=0; x=2; 8529363 :> 1:r1=0; 3:r1=0; 3:r4=1; x=1; 333426850:> 1:r1=0; 3:r1=0; 3:r4=1; x=2; 632156070:> 1:r1=0; 3:r1=1; 3:r4=0; x=1; 103417674:> 1:r1=0; 3:r1=1; 3:r4=0; x=2; 1133523731:> 1:r1=0; 3:r1=1; 3:r4=1; x=1; 1421067911:> 1:r1=0; 3:r1=1; 3:r4=1; x=2; 919085854:> 1:r1=1; 3:r1=0; 3:r4=0; x=1; 153098777:> 1:r1=1; 3:r1=0; 3:r4=0; x=2; 778540868:> 1:r1=1; 3:r1=0; 3:r4=1; x=1; 475750136:> 1:r1=1; 3:r1=0; 3:r4=1; x=2; 330142541:> 1:r1=1; 3:r1=1; 3:r4=0; x=1; 2883791965:> 1:r1=1; 3:r1=1; 3:r4=1; x=1; 566681946:> 1:r1=1; 3:r1=1; 3:r4=1; x=2; No Witnesses Positive: 0 Negative: 12000000000 Condition exists (x=2 /\ 1:r1=1 /\ 3:r1=1 /\ 3:r4=0) is not validated Hash=ce1b4a24ee0901b9de433860bfb46080 Time Y28 8388.83 Test Y29 Allow Histogram (15 states) 498913534:> 1:r1=0; 3:r1=0; 3:r3=0; x=1; 1798935416:> 1:r1=0; 3:r1=0; 3:r3=0; x=2; 9355562 :> 1:r1=0; 3:r1=0; 3:r3=1; x=1; 327389965:> 1:r1=0; 3:r1=0; 3:r3=1; x=2; 650526783:> 1:r1=0; 3:r1=1; 3:r3=0; x=1; 110579324:> 1:r1=0; 3:r1=1; 3:r3=0; x=2; 1100289048:> 1:r1=0; 3:r1=1; 3:r3=1; x=1; 1397329726:> 1:r1=0; 3:r1=1; 3:r3=1; x=2; 949669901:> 1:r1=1; 3:r1=0; 3:r3=0; x=1; 156300911:> 1:r1=1; 3:r1=0; 3:r3=0; x=2; 782631509:> 1:r1=1; 3:r1=0; 3:r3=1; x=1; 472141117:> 1:r1=1; 3:r1=0; 3:r3=1; x=2; 349298048:> 1:r1=1; 3:r1=1; 3:r3=0; x=1; 2838943559:> 1:r1=1; 3:r1=1; 3:r3=1; x=1; 557695597:> 1:r1=1; 3:r1=1; 3:r3=1; x=2; No Witnesses Positive: 0 Negative: 12000000000 Condition exists (x=2 /\ 1:r1=1 /\ 3:r1=1 /\ 3:r3=0) is not validated Hash=8bc55273b7032305e0142605023bce2d Time Y29 8415.55 Test Y30 Allow Histogram (15 states) 627564724:> 0:r1=0; 2:r1=0; 2:r4=0; x=1; 1862626173:> 0:r1=0; 2:r1=0; 2:r4=0; x=2; 41298274:> 0:r1=0; 2:r1=0; 2:r4=1; x=1; 329606748:> 0:r1=0; 2:r1=0; 2:r4=1; x=2; 704577952:> 0:r1=0; 2:r1=1; 2:r4=0; x=1; 97681765:> 0:r1=0; 2:r1=1; 2:r4=0; x=2; 1716967828:> 0:r1=0; 2:r1=1; 2:r4=1; x=1; 970716194:> 0:r1=0; 2:r1=1; 2:r4=1; x=2; 962874948:> 0:r1=1; 2:r1=0; 2:r4=0; x=1; 55906386:> 0:r1=1; 2:r1=0; 2:r4=0; x=2; 1021372274:> 0:r1=1; 2:r1=0; 2:r4=1; x=1; 299074871:> 0:r1=1; 2:r1=0; 2:r4=1; x=2; 321393907:> 0:r1=1; 2:r1=1; 2:r4=0; x=1; 2598113444:> 0:r1=1; 2:r1=1; 2:r4=1; x=1; 390224512:> 0:r1=1; 2:r1=1; 2:r4=1; x=2; No Witnesses Positive: 0 Negative: 12000000000 Condition exists (x=2 /\ 0:r1=1 /\ 2:r1=1 /\ 2:r4=0) is not validated Hash=3e1573bf73b4fdef87461b3565d66b20 Time Y30 9568.32 Test Y31 Allow Histogram (15 states) 644210473:> 0:r1=0; 2:r1=0; 2:r3=0; x=1; 1881056606:> 0:r1=0; 2:r1=0; 2:r3=0; x=2; 41524293:> 0:r1=0; 2:r1=0; 2:r3=1; x=1; 318692845:> 0:r1=0; 2:r1=0; 2:r3=1; x=2; 738997813:> 0:r1=0; 2:r1=1; 2:r3=0; x=1; 105893983:> 0:r1=0; 2:r1=1; 2:r3=0; x=2; 1661650341:> 0:r1=0; 2:r1=1; 2:r3=1; x=1; 951798529:> 0:r1=0; 2:r1=1; 2:r3=1; x=2; 984565787:> 0:r1=1; 2:r1=0; 2:r3=0; x=1; 56588393:> 0:r1=1; 2:r1=0; 2:r3=0; x=2; 1027837932:> 0:r1=1; 2:r1=0; 2:r3=1; x=1; 298321907:> 0:r1=1; 2:r1=0; 2:r3=1; x=2; 337736961:> 0:r1=1; 2:r1=1; 2:r3=0; x=1; 2558504544:> 0:r1=1; 2:r1=1; 2:r3=1; x=1; 392619593:> 0:r1=1; 2:r1=1; 2:r3=1; x=2; No Witnesses Positive: 0 Negative: 12000000000 Condition exists (x=2 /\ 0:r1=1 /\ 2:r1=1 /\ 2:r3=0) is not validated Hash=e6774eda20819c8f372129af64bca016 Time Y31 9495.11 Test Y32 Allow Histogram (15 states) 1871843712:> 1:r1=0; 1:r3=0; 3:r1=0; 3:r4=0; 305295655:> 1:r1=0; 1:r3=0; 3:r1=0; 3:r4=1; 69284607:> 1:r1=0; 1:r3=0; 3:r1=1; 3:r4=0; 941954123:> 1:r1=0; 1:r3=0; 3:r1=1; 3:r4=1; 455535475:> 1:r1=0; 1:r3=1; 3:r1=0; 3:r4=0; 10486189:> 1:r1=0; 1:r3=1; 3:r1=0; 3:r4=1; 560573424:> 1:r1=0; 1:r3=1; 3:r1=1; 3:r4=0; 1239488458:> 1:r1=0; 1:r3=1; 3:r1=1; 3:r4=1; 141955221:> 1:r1=1; 1:r3=0; 3:r1=0; 3:r4=0; 451236244:> 1:r1=1; 1:r3=0; 3:r1=0; 3:r4=1; 547526113:> 1:r1=1; 1:r3=0; 3:r1=1; 3:r4=1; 934836327:> 1:r1=1; 1:r3=1; 3:r1=0; 3:r4=0; 870289647:> 1:r1=1; 1:r3=1; 3:r1=0; 3:r4=1; 363909525:> 1:r1=1; 1:r3=1; 3:r1=1; 3:r4=0; 3235785280:> 1:r1=1; 1:r3=1; 3:r1=1; 3:r4=1; No Witnesses Positive: 0 Negative: 12000000000 Condition exists (1:r1=1 /\ 1:r3=0 /\ 3:r1=1 /\ 3:r4=0) is not validated Hash=a577eb9c8f1d583ecead3fdf77525a1e Time Y32 8180.91 Test Y33 Allow Histogram (15 states) 1876795464:> 1:r1=0; 1:r3=0; 3:r1=0; 3:r3=0; 303012946:> 1:r1=0; 1:r3=0; 3:r1=0; 3:r3=1; 75225817:> 1:r1=0; 1:r3=0; 3:r1=1; 3:r3=0; 935309292:> 1:r1=0; 1:r3=0; 3:r1=1; 3:r3=1; 474535311:> 1:r1=0; 1:r3=1; 3:r1=0; 3:r3=0; 11136907:> 1:r1=0; 1:r3=1; 3:r1=0; 3:r3=1; 568166736:> 1:r1=0; 1:r3=1; 3:r1=1; 3:r3=0; 1213799890:> 1:r1=0; 1:r3=1; 3:r1=1; 3:r3=1; 145243873:> 1:r1=1; 1:r3=0; 3:r1=0; 3:r3=0; 449802299:> 1:r1=1; 1:r3=0; 3:r1=0; 3:r3=1; 549428365:> 1:r1=1; 1:r3=0; 3:r1=1; 3:r3=1; 969818022:> 1:r1=1; 1:r3=1; 3:r1=0; 3:r3=0; 859432845:> 1:r1=1; 1:r3=1; 3:r1=0; 3:r3=1; 382506411:> 1:r1=1; 1:r3=1; 3:r1=1; 3:r3=0; 3185785822:> 1:r1=1; 1:r3=1; 3:r1=1; 3:r3=1; No Witnesses Positive: 0 Negative: 12000000000 Condition exists (1:r1=1 /\ 1:r3=0 /\ 3:r1=1 /\ 3:r3=0) is not validated Hash=eea22bd3e2446126dd9b287b5df5faca Time Y33 8127.67 Test Y34 Allow Histogram (15 states) 513543579:> 1:r1=0; 3:r1=0; 3:r4=0; x=1; 1799092450:> 1:r1=0; 3:r1=0; 3:r4=0; x=2; 13021240:> 1:r1=0; 3:r1=0; 3:r4=1; x=1; 307560681:> 1:r1=0; 3:r1=0; 3:r4=1; x=2; 660528185:> 1:r1=0; 3:r1=1; 3:r4=0; x=1; 66291423:> 1:r1=0; 3:r1=1; 3:r4=0; x=2; 1332498147:> 1:r1=0; 3:r1=1; 3:r4=1; x=1; 925825043:> 1:r1=0; 3:r1=1; 3:r4=1; x=2; 933826318:> 1:r1=1; 3:r1=0; 3:r4=0; x=1; 116036797:> 1:r1=1; 3:r1=0; 3:r4=0; x=2; 879102831:> 1:r1=1; 3:r1=0; 3:r4=1; x=1; 425989645:> 1:r1=1; 3:r1=0; 3:r4=1; x=2; 352284144:> 1:r1=1; 3:r1=1; 3:r4=0; x=1; 3161845330:> 1:r1=1; 3:r1=1; 3:r4=1; x=1; 512554187:> 1:r1=1; 3:r1=1; 3:r4=1; x=2; No Witnesses Positive: 0 Negative: 12000000000 Condition exists (x=2 /\ 1:r1=1 /\ 3:r1=1 /\ 3:r4=0) is not validated Hash=49482953dd91da1bcee183b3b0b006b8 Time Y34 8407.54 Test Y35 Allow Histogram (15 states) 527075793:> 1:r1=0; 3:r1=0; 3:r3=0; x=1; 1822162685:> 1:r1=0; 3:r1=0; 3:r3=0; x=2; 13609793:> 1:r1=0; 3:r1=0; 3:r3=1; x=1; 302233303:> 1:r1=0; 3:r1=0; 3:r3=1; x=2; 684733777:> 1:r1=0; 3:r1=1; 3:r3=0; x=1; 71158327:> 1:r1=0; 3:r1=1; 3:r3=0; x=2; 1292346266:> 1:r1=0; 3:r1=1; 3:r3=1; x=1; 907680840:> 1:r1=0; 3:r1=1; 3:r3=1; x=2; 962228205:> 1:r1=1; 3:r1=0; 3:r3=0; x=1; 117722779:> 1:r1=1; 3:r1=0; 3:r3=0; x=2; 875352298:> 1:r1=1; 3:r1=0; 3:r3=1; x=1; 426888391:> 1:r1=1; 3:r1=0; 3:r3=1; x=2; 378324830:> 1:r1=1; 3:r1=1; 3:r3=0; x=1; 3111158960:> 1:r1=1; 3:r1=1; 3:r3=1; x=1; 507323753:> 1:r1=1; 3:r1=1; 3:r3=1; x=2; No Witnesses Positive: 0 Negative: 12000000000 Condition exists (x=2 /\ 1:r1=1 /\ 3:r1=1 /\ 3:r3=0) is not validated Hash=1ab190404386bf69014d12d891f99e7c Time Y35 8431.59