# op a b c expected-count; case gives variables, linear, weighted, truth-mask.
# save/recover copy the circuit; open/finish transfer it to/from a cached query.
case 2 0 0 e
save 0 0 0 3
open 0 0 0 3
refuse_read 0 0 0 3
observe -1 0 0 1
reject_observe 1 3 0 1
refuse_read 0 0 0 1
observe 1 1 0 2
refuse_dirty -1 -1 0 1
clear_one 1 0 0 3
observe 1 -1 0 1
refuse_dirty -1 1 0 2
clear_one 1 0 0 3
observe 2 -2 0 1
refuse_dirty -2 2 0 2
clear_one 2 0 0 3
observe -1 2 0 1
refuse_dirty 1 -2 0 1
clear_one 1 0 0 1
observe -2 -2 0 1
refuse_dirty 2 2 0 2
clear_one 2 0 0 3
observe -2 1 0 1
refuse_dirty 2 -1 0 1
clear_one 2 0 0 1
observe 2 2 0 1
refuse_dirty -2 -2 0 0
clear_one 2 0 0 1
observe -1 2 0 1
refuse_dirty 1 -2 0 1
clear_one 1 0 0 1
observe 2 2 0 2
refuse_dirty -2 -2 0 1
clear_one 2 0 0 3
observe -1 1 0 2
refuse_dirty 1 -1 0 1
clear_one 1 0 0 3
observe -2 -1 0 0
refuse_dirty 2 1 0 1
clear_one 2 0 0 2
observe 2 -2 0 1
refuse_dirty -2 2 0 1
clear_one 2 0 0 2
clear 0 0 0 3
finish 0 0 0 3
refuse_transform 0 0 0 3
recover 0 0 0 3
roundtrip 0 0 0 3
minimize 0 0 0 3
open 0 0 0 3
observe -1 -2 0 0
finish 0 0 0 3
case 2 0 1 e
save 0 0 0 3
open 0 0 0 3
refuse_read 0 0 0 3
observe -1 0 0 1
reject_observe 1 3 0 1
refuse_read 0 0 0 1
observe 1 1 0 2
refuse_dirty -1 -1 0 1
clear_one 1 0 0 3
observe 1 -1 0 1
refuse_dirty -1 1 0 2
clear_one 1 0 0 3
observe 2 -2 0 1
refuse_dirty -2 2 0 2
clear_one 2 0 0 3
observe -1 2 0 1
refuse_dirty 1 -2 0 1
clear_one 1 0 0 1
observe -2 -2 0 1
refuse_dirty 2 2 0 2
clear_one 2 0 0 3
observe -2 1 0 1
refuse_dirty 2 -1 0 1
clear_one 2 0 0 1
observe 2 2 0 1
refuse_dirty -2 -2 0 0
clear_one 2 0 0 1
observe -1 2 0 1
refuse_dirty 1 -2 0 1
clear_one 1 0 0 1
observe 2 2 0 2
refuse_dirty -2 -2 0 1
clear_one 2 0 0 3
observe -1 1 0 2
refuse_dirty 1 -1 0 1
clear_one 1 0 0 3
observe -2 -1 0 0
refuse_dirty 2 1 0 1
clear_one 2 0 0 2
observe 2 -2 0 1
refuse_dirty -2 2 0 1
clear_one 2 0 0 2
clear 0 0 0 3
finish 0 0 0 3
refuse_transform 0 0 0 3
recover 0 0 0 3
roundtrip 0 0 0 3
minimize 0 0 0 3
open 0 0 0 3
observe -1 -2 0 0
finish 0 0 0 3
case 4 0 0 eeee
save 0 0 0 c
open 0 0 0 c
refuse_read 0 0 0 c
observe -1 0 0 4
reject_observe 1 5 0 4
refuse_read 0 0 0 4
observe -2 1 0 4
refuse_dirty 2 -1 0 4
clear_one 2 0 0 4
observe -3 4 0 1
refuse_dirty 3 -4 0 1
clear_one 3 0 0 2
observe -3 -1 0 1
refuse_dirty 3 1 0 2
clear_one 3 0 0 4
observe 3 -1 0 1
refuse_dirty -3 1 0 2
clear_one 3 0 0 4
observe 1 3 0 2
refuse_dirty -1 -3 0 1
clear_one 1 0 0 3
observe 2 -4 0 2
refuse_dirty -2 4 0 1
clear_one 2 0 0 3
observe 1 -2 0 1
refuse_dirty -1 2 0 1
clear_one 1 0 0 2
observe -4 -2 0 1
refuse_dirty 4 2 0 2
clear_one 4 0 0 4
observe -2 -1 0 0
refuse_dirty 2 1 0 2
clear_one 2 0 0 4
observe 1 1 0 4
refuse_dirty -1 -1 0 2
clear_one 1 0 0 6
observe -1 2 0 2
refuse_dirty 1 -2 0 2
clear_one 1 0 0 2
observe -2 -2 0 2
refuse_dirty 2 2 0 4
clear_one 2 0 0 6
clear 0 0 0 c
finish 0 0 0 c
refuse_transform 0 0 0 c
recover 0 0 0 c
roundtrip 0 0 0 c
minimize 0 0 0 c
open 0 0 0 c
observe -1 -2 0 0
finish 0 0 0 c
case 4 0 1 eeee
save 0 0 0 c
open 0 0 0 c
refuse_read 0 0 0 c
observe -1 0 0 4
reject_observe 1 5 0 4
refuse_read 0 0 0 4
observe -2 1 0 4
refuse_dirty 2 -1 0 4
clear_one 2 0 0 4
observe -3 4 0 1
refuse_dirty 3 -4 0 1
clear_one 3 0 0 2
observe -3 -1 0 1
refuse_dirty 3 1 0 2
clear_one 3 0 0 4
observe 3 -1 0 1
refuse_dirty -3 1 0 2
clear_one 3 0 0 4
observe 1 3 0 2
refuse_dirty -1 -3 0 1
clear_one 1 0 0 3
observe 2 -4 0 2
refuse_dirty -2 4 0 1
clear_one 2 0 0 3
observe 1 -2 0 1
refuse_dirty -1 2 0 1
clear_one 1 0 0 2
observe -4 -2 0 1
refuse_dirty 4 2 0 2
clear_one 4 0 0 4
observe -2 -1 0 0
refuse_dirty 2 1 0 2
clear_one 2 0 0 4
observe 1 1 0 4
refuse_dirty -1 -1 0 2
clear_one 1 0 0 6
observe -1 2 0 2
refuse_dirty 1 -2 0 2
clear_one 1 0 0 2
observe -2 -2 0 2
refuse_dirty 2 2 0 4
clear_one 2 0 0 6
clear 0 0 0 c
finish 0 0 0 c
refuse_transform 0 0 0 c
recover 0 0 0 c
roundtrip 0 0 0 c
minimize 0 0 0 c
open 0 0 0 c
observe -1 -2 0 0
finish 0 0 0 c
case 5 1 0 eeeeeeee
save 0 0 0 18
open 0 0 0 18
refuse_read 0 0 0 18
observe -1 0 0 8
reject_observe 1 6 0 8
refuse_read 0 0 0 8
observe -1 -5 0 4
refuse_dirty 1 5 0 8
clear_one 1 0 0 c
observe 1 2 0 4
refuse_dirty -1 -2 0 0
clear_one 1 0 0 4
observe -4 -1 0 0
refuse_dirty 4 1 0 2
clear_one 4 0 0 4
observe 2 2 0 4
refuse_dirty -2 -2 0 4
clear_one 2 0 0 8
observe 4 -4 0 4
refuse_dirty -4 4 0 4
clear_one 4 0 0 8
observe -3 4 0 2
refuse_dirty 3 -4 0 2
clear_one 3 0 0 4
observe 5 5 0 4
refuse_dirty -5 -5 0 4
clear_one 5 0 0 8
observe 5 -2 0 2
refuse_dirty -5 2 0 2
clear_one 5 0 0 4
observe 4 -4 0 4
refuse_dirty -4 4 0 4
clear_one 4 0 0 8
observe 3 2 0 4
refuse_dirty -3 -2 0 4
clear_one 3 0 0 8
observe 2 1 0 8
refuse_dirty -2 -1 0 0
clear_one 2 0 0 8
observe -4 3 0 2
refuse_dirty 4 -3 0 2
clear_one 4 0 0 4
clear 0 0 0 18
finish 0 0 0 18
refuse_transform 0 0 0 18
recover 0 0 0 18
roundtrip 0 0 0 18
minimize 0 0 0 18
open 0 0 0 18
observe -1 -2 0 0
finish 0 0 0 18
case 5 1 1 eeeeeeee
save 0 0 0 18
open 0 0 0 18
refuse_read 0 0 0 18
observe -1 0 0 8
reject_observe 1 6 0 8
refuse_read 0 0 0 8
observe -1 -5 0 4
refuse_dirty 1 5 0 8
clear_one 1 0 0 c
observe 1 2 0 4
refuse_dirty -1 -2 0 0
clear_one 1 0 0 4
observe -4 -1 0 0
refuse_dirty 4 1 0 2
clear_one 4 0 0 4
observe 2 2 0 4
refuse_dirty -2 -2 0 4
clear_one 2 0 0 8
observe 4 -4 0 4
refuse_dirty -4 4 0 4
clear_one 4 0 0 8
observe -3 4 0 2
refuse_dirty 3 -4 0 2
clear_one 3 0 0 4
observe 5 5 0 4
refuse_dirty -5 -5 0 4
clear_one 5 0 0 8
observe 5 -2 0 2
refuse_dirty -5 2 0 2
clear_one 5 0 0 4
observe 4 -4 0 4
refuse_dirty -4 4 0 4
clear_one 4 0 0 8
observe 3 2 0 4
refuse_dirty -3 -2 0 4
clear_one 3 0 0 8
observe 2 1 0 8
refuse_dirty -2 -1 0 0
clear_one 2 0 0 8
observe -4 3 0 2
refuse_dirty 4 -3 0 2
clear_one 4 0 0 4
clear 0 0 0 18
finish 0 0 0 18
refuse_transform 0 0 0 18
recover 0 0 0 18
roundtrip 0 0 0 18
minimize 0 0 0 18
open 0 0 0 18
observe -1 -2 0 0
finish 0 0 0 18
