# op a b c truth-mask; circuit IDs are zero-based row numbers within each case.
# case variables linear seed; signed literals and variable IDs are one-based.
case 1 0 719 0
literal 1 0 0 2
literal -1 0 0 1
one 0 0 0 3
zero 0 0 0 0
and 0 1 0 0
or 0 1 0 3
xor 0 0 0 0
ite 5 0 5 2
xor 4 6 0 0
exists 8 1 0 0
exists 4 1 0 0
condition 5 -1 0 3
minimize 9 0 0 0
condition 5 -1 0 3
xor 12 7 0 2
negate 13 0 0 0
roundtrip 3 0 0 0
ite 14 4 8 0
xor 1 10 0 1
negate 5 0 0 0
condition 5 1 0 3
and 0 1 0 0
or 10 10 0 0
condition 16 1 0 0
and 8 6 0 0
negate 4 0 0 3
or 8 9 0 0
condition 17 1 0 0
negate 2 0 0 0
exists 9 1 0 0
minimize 27 0 0 0
or 27 4 0 0
or 9 28 0 0
exists 12 1 0 0
exists 6 1 0 0
roundtrip 10 0 0 0
ite 11 1 9 1
and 9 36 0 0
roundtrip 10 0 0 0
negate 24 0 0 3
minimize 9 0 0 0
negate 40 0 0 3
negate 20 0 0 0
negate 34 0 0 3
condition 25 -1 0 3
roundtrip 10 0 0 0
xor 22 36 0 1
xor 46 5 0 2
exists 22 1 0 0
and 0 35 0 0
minimize 38 0 0 0
ite 30 2 18 1
ite 45 2 11 3
ite 50 17 26 0
xor 24 34 0 0
roundtrip 48 0 0 0
minimize 4 0 0 0
roundtrip 48 0 0 0
or 32 41 0 3
ite 16 41 4 0
and 40 35 0 0
or 24 8 0 0
negate 17 0 0 3
negate 54 0 0 3
xor 53 4 0 0
condition 4 1 0 0
negate 55 0 0 3
condition 40 -1 0 0
xor 11 66 0 0
exists 35 1 0 0
minimize 24 0 0 0
minimize 14 0 0 2
exists 39 1 0 3
xor 12 15 0 0
negate 3 0 0 3
minimize 4 0 0 0
minimize 57 0 0 0
ite 30 19 27 0
negate 58 0 0 0
negate 63 0 0 0
negate 5 0 0 0
exists 24 1 0 0
or 59 39 0 3
and 3 54 0 0
case 4 0 31017 0
literal 1 0 0 aaaa
literal -1 0 0 5555
literal 2 0 0 cccc
literal -2 0 0 3333
literal 3 0 0 f0f0
literal -3 0 0 f0f
literal 4 0 0 ff00
literal -4 0 0 ff
one 0 0 0 ffff
zero 0 0 0 0
and 0 1 0 0
or 0 1 0 ffff
xor 0 2 0 6666
rename 12 1 2 0
swap 12 1 2 6666
and 7 5 0 f
minimize 12 0 0 6666
negate 8 0 0 0
negate 6 0 0 ff
and 2 10 0 0
condition 19 3 0 0
swap 0 3 4 aaaa
exists 20 3 0 0
or 22 18 0 ff
ite 21 0 6 ffaa
roundtrip 5 0 0 f0f
minimize 7 0 0 ff
negate 22 0 0 ffff
roundtrip 19 0 0 0
ite 0 6 2 ee44
exists 22 3 0 0
negate 23 0 0 ff00
condition 5 -1 0 f0f
rename 17 2 3 0
ite 30 14 20 0
or 27 29 0 ffff
and 9 14 0 0
rename 22 3 1 0
condition 17 4 0 0
ite 28 21 23 ff
negate 30 0 0 ffff
negate 2 0 0 3333
rename 8 4 1 ffff
condition 23 4 0 0
and 14 38 0 0
swap 13 4 2 0
negate 21 0 0 5555
condition 23 -4 0 ffff
exists 27 2 0 ffff
negate 28 0 0 ffff
and 39 47 0 ff
rename 35 3 1 ffff
xor 8 15 0 fff0
rename 12 3 4 6666
condition 17 -2 0 0
exists 47 4 0 ffff
or 5 38 0 f0f
and 0 16 0 2222
or 12 10 0 6666
swap 15 4 2 303
roundtrip 56 0 0 f0f
or 48 22 0 ffff
rename 45 1 2 0
exists 39 3 0 ff
and 19 56 0 0
roundtrip 15 0 0 f
ite 51 2 49 cccc
or 9 14 0 6666
roundtrip 63 0 0 ff
condition 8 -3 0 ffff
xor 35 38 0 ffff
and 19 26 0 0
negate 40 0 0 0
and 59 8 0 303
ite 6 66 33 cc00
negate 63 0 0 ff00
roundtrip 3 0 0 3333
or 3 31 0 ff33
swap 13 4 3 0
or 33 25 0 f0f
swap 76 4 1 3333
negate 20 0 0 ffff
xor 45 4 0 f0f0
and 52 6 0 ff00
or 33 54 0 0
minimize 47 0 0 ffff
swap 58 1 4 33cc
or 64 70 0 ffff
ite 19 26 66 cccc
and 65 70 0 f
ite 35 83 78 ff00
rename 3 1 3 3333
case 4 1 31017 0
literal 1 0 0 aaaa
literal -1 0 0 5555
literal 2 0 0 cccc
literal -2 0 0 3333
literal 3 0 0 f0f0
literal -3 0 0 f0f
literal 4 0 0 ff00
literal -4 0 0 ff
one 0 0 0 ffff
zero 0 0 0 0
and 0 1 0 0
or 0 1 0 ffff
xor 0 2 0 6666
rename 12 1 2 0
swap 12 1 2 6666
and 7 5 0 f
minimize 12 0 0 6666
negate 8 0 0 0
negate 6 0 0 ff
and 2 10 0 0
condition 19 3 0 0
swap 0 3 4 aaaa
exists 20 3 0 0
or 22 18 0 ff
ite 21 0 6 ffaa
roundtrip 5 0 0 f0f
minimize 7 0 0 ff
negate 22 0 0 ffff
roundtrip 19 0 0 0
ite 0 6 2 ee44
exists 22 3 0 0
negate 23 0 0 ff00
condition 5 -1 0 f0f
rename 17 2 3 0
ite 30 14 20 0
or 27 29 0 ffff
and 9 14 0 0
rename 22 3 1 0
condition 17 4 0 0
ite 28 21 23 ff
negate 30 0 0 ffff
negate 2 0 0 3333
rename 8 4 1 ffff
condition 23 4 0 0
and 14 38 0 0
swap 13 4 2 0
negate 21 0 0 5555
condition 23 -4 0 ffff
exists 27 2 0 ffff
negate 28 0 0 ffff
and 39 47 0 ff
rename 35 3 1 ffff
xor 8 15 0 fff0
rename 12 3 4 6666
condition 17 -2 0 0
exists 47 4 0 ffff
or 5 38 0 f0f
and 0 16 0 2222
or 12 10 0 6666
swap 15 4 2 303
roundtrip 56 0 0 f0f
or 48 22 0 ffff
rename 45 1 2 0
exists 39 3 0 ff
and 19 56 0 0
roundtrip 15 0 0 f
ite 51 2 49 cccc
or 9 14 0 6666
roundtrip 63 0 0 ff
condition 8 -3 0 ffff
xor 35 38 0 ffff
and 19 26 0 0
negate 40 0 0 0
and 59 8 0 303
ite 6 66 33 cc00
negate 63 0 0 ff00
roundtrip 3 0 0 3333
or 3 31 0 ff33
swap 13 4 3 0
or 33 25 0 f0f
swap 76 4 1 3333
negate 20 0 0 ffff
xor 45 4 0 f0f0
and 52 6 0 ff00
or 33 54 0 0
minimize 47 0 0 ffff
swap 58 1 4 33cc
or 64 70 0 ffff
ite 19 26 66 cccc
and 65 70 0 f
ite 35 83 78 ff00
rename 3 1 3 3333
case 5 0 67021 0
literal 1 0 0 aaaaaaaa
literal -1 0 0 55555555
literal 2 0 0 cccccccc
literal -2 0 0 33333333
literal 3 0 0 f0f0f0f0
literal -3 0 0 f0f0f0f
literal 4 0 0 ff00ff00
literal -4 0 0 ff00ff
literal 5 0 0 ffff0000
literal -5 0 0 ffff
one 0 0 0 ffffffff
zero 0 0 0 0
and 0 1 0 0
or 0 1 0 ffffffff
xor 0 2 0 66666666
rename 14 1 2 0
swap 14 1 2 66666666
condition 9 -2 0 ffff
swap 14 1 4 33cc33cc
condition 16 5 0 66666666
rename 12 4 5 0
negate 17 0 0 ffff0000
or 9 9 0 ffff
negate 5 0 0 f0f0f0f0
minimize 9 0 0 ffff
rename 3 3 5 33333333
or 8 17 0 ffffffff
xor 12 7 0 ff00ff
condition 8 5 0 ffffffff
negate 22 0 0 ffff0000
xor 21 27 0 ff0000ff
condition 12 3 0 0
negate 8 0 0 ffff
minimize 1 0 0 55555555
and 27 25 0 330033
and 28 33 0 55555555
roundtrip 12 0 0 0
and 21 15 0 0
and 14 14 0 66666666
condition 25 3 0 33333333
exists 14 2 0 ffffffff
roundtrip 32 0 0 ffff
or 24 39 0 3333ffff
and 29 2 0 cccc0000
swap 22 5 4 ff00ff
ite 30 43 10 ccffff00
condition 24 -1 0 ffff
roundtrip 11 0 0 0
minimize 30 0 0 ff0000ff
ite 21 25 40 3333ffff
ite 23 10 42 f3f3ffff
roundtrip 26 0 0 ffffffff
swap 18 2 1 55aa55aa
and 36 36 0 0
exists 39 4 0 33333333
exists 33 2 0 55555555
swap 44 5 3 ff00ff
minimize 17 0 0 ffff
minimize 32 0 0 ffff
negate 17 0 0 ffff0000
roundtrip 14 0 0 66666666
ite 24 42 46 ffff
negate 40 0 0 0
rename 42 3 4 3333ffff
swap 21 5 3 f0f0f0f0
rename 44 3 5 ff00ff
minimize 55 0 0 55555555
and 0 44 0 aa00aa
ite 5 9 17 ffff
condition 68 -4 0 ffff
condition 54 4 0 33333333
exists 25 3 0 33333333
or 43 34 0 ccff0033
roundtrip 17 0 0 ffff
or 12 35 0 55555555
condition 59 3 0 ffff0000
swap 62 5 1 0
exists 53 2 0 0
minimize 28 0 0 ffffffff
xor 74 38 0 33333333
exists 31 1 0 0
ite 76 4 67 aa00aa
minimize 42 0 0 3333ffff
minimize 59 0 0 ffff0000
rename 25 3 4 33333333
roundtrip 51 0 0 ffffffff
ite 48 53 77 0
minimize 82 0 0 3333ffff
and 10 10 0 ffffffff
condition 50 2 0 f0f0ffff
minimize 13 0 0 ffffffff
condition 55 5 0 55555555
negate 88 0 0 0
and 43 79 0 0
