blist_test.txt

{ { !varr0c0, !varr0c1 }, { !varr0c0, !varr0c2 }, { !varr0c0, !varr0c3 }, { !varr0c0, !varr0c4 }, { !varr0c0, !varr0c5 }, { !varr0c0, !varr0c6 }, { !varr0c0, !varr0c7 }, { !varr0c0, !varr1c1 }, { !varr0c0, !varr2c2 }, { !varr0c0, !varr3c3 }, { !varr0c0, !varr4c4 }, { !varr0c0, !varr5c5 }, { !varr0c0, !varr6c6 }, { !varr0c0, !varr7c7 }, { !varr0c1, !varr0c2 }, { !varr0c1, !varr0c3 }, { !varr0c1, !varr0c4 }, { !varr0c1, !varr0c5 }, { !varr0c1, !varr0c6 }, { !varr0c1, !varr0c7 }, { !varr0c1, !varr1c2 }, { !varr0c1, !varr2c3 }, { !varr0c1, !varr3c4 }, { !varr0c1, !varr4c5 }, { !varr0c1, !varr5c6 }, { !varr0c1, !varr6c7 }, { !varr0c2, !varr0c3 }, { !varr0c2, !varr0c4 }, { !varr0c2, !varr0c5 }, { !varr0c2, !varr0c6 }, { !varr0c2, !varr0c7 }, { !varr0c2, !varr1c3 }, { !varr0c2, !varr2c4 }, { !varr0c2, !varr3c5 }, { !varr0c2, !varr4c6 }, { !varr0c2, !varr5c7 }, { !varr0c3, !varr0c4 }, { !varr0c3, !varr0c5 }, { !varr0c3, !varr0c6 }, { !varr0c3, !varr0c7 }, { !varr0c3, !varr1c2 }, { !varr0c3, !varr1c4 }, { !varr0c3, !varr2c1 }, { !varr0c3, !varr2c5 }, { !varr0c3, !varr3c0 }, { !varr0c3, !varr3c6 }, { !varr0c3, !varr4c7 }, { !varr0c4, !varr0c5 }, { !varr0c4, !varr0c6 }, { !varr0c4, !varr0c7 }, { !varr0c4, !varr1c3 }, { !varr0c4, !varr1c5 }, { !varr0c4, !varr2c2 }, { !varr0c4, !varr2c6 }, { !varr0c4, !varr3c1 }, { !varr0c4, !varr3c7 }, { !varr0c4, !varr4c0 }, { !varr0c5, !varr0c6 }, { !varr0c5, !varr0c7 }, { !varr0c5, !varr1c4 }, { !varr0c5, !varr1c6 }, { !varr0c5, !varr2c3 }, { !varr0c5, !varr2c7 }, { !varr0c5, !varr3c2 }, { !varr0c5, !varr4c1 }, { !varr0c5, !varr5c0 }, { !varr0c6, !varr0c7 }, { !varr0c6, !varr1c5 }, { !varr0c6, !varr1c7 }, { !varr0c6, !varr2c4 }, { !varr0c6, !varr3c3 }, { !varr0c6, !varr4c2 }, { !varr0c6, !varr5c1 }, { !varr0c6, !varr6c0 }, { !varr0c7, !varr1c6 }, { !varr0c7, !varr2c5 }, { !varr0c7, !varr3c4 }, { !varr0c7, !varr4c3 }, { !varr0c7, !varr5c2 }, { !varr0c7, !varr6c1 }, { !varr0c7, !varr7c0 }, { !varr1c0, !varr1c1 }, { !varr1c0, !varr1c2 }, { !varr1c0, !varr1c3 }, { !varr1c0, !varr1c4 }, { !varr1c0, !varr1c5 }, { !varr1c0, !varr1c6 }, { !varr1c0, !varr1c7 }, { !varr1c0, !varr2c1 }, { !varr1c0, !varr3c2 }, { !varr1c0, !varr4c3 }, { !varr1c0, !varr5c4 }, { !varr1c0, !varr6c5 }, { !varr1c0, !varr7c6 }, { !varr1c1, !varr1c2 }, { !varr1c1, !varr1c3 }, { !varr1c1, !varr1c4 }, { !varr1c1, !varr1c5 }, { !varr1c1, !varr1c6 }, { !varr1c1, !varr1c7 }, { !varr1c1, !varr2c2 }, { !varr1c1, !varr3c3 }, { !varr1c1, !varr4c4 }, { !varr1c1, !varr5c5 }, { !varr1c1, !varr6c6 }, { !varr1c1, !varr7c7 }, { !varr1c2, !varr1c3 }, { !varr1c2, !varr1c4 }, { !varr1c2, !varr1c5 }, { !varr1c2, !varr1c6 }, { !varr1c2, !varr1c7 }, { !varr1c2, !varr2c1 }, { !varr1c2, !varr2c3 }, { !varr1c2, !varr3c0 }, { !varr1c2, !varr3c4 }, { !varr1c2, !varr4c5 }, { !varr1c2, !varr5c6 }, { !varr1c2, !varr6c7 }, { !varr1c3, !varr1c4 }, { !varr1c3, !varr1c5 }, { !varr1c3, !varr1c6 }, { !varr1c3, !varr1c7 }, { !varr1c3, !varr2c2 }, { !varr1c3, !varr2c4 }, { !varr1c3, !varr3c1 }, { !varr1c3, !varr3c5 }, { !varr1c3, !varr4c0 }, { !varr1c3, !varr4c6 }, { !varr1c3, !varr5c7 }, { !varr1c4, !varr1c5 }, { !varr1c4, !varr1c6 }, { !varr1c4, !varr1c7 }, { !varr1c4, !varr2c3 }, { !varr1c4, !varr2c5 }, { !varr1c4, !varr3c2 }, { !varr1c4, !varr3c6 }, { !varr1c4, !varr4c1 }, { !varr1c4, !varr4c7 }, { !varr1c4, !varr5c0 }, { !varr1c5, !varr1c6 }, { !varr1c5, !varr1c7 }, { !varr1c5, !varr2c4 }, { !varr1c5, !varr2c6 }, { !varr1c5, !varr3c3 }, { !varr1c5, !varr3c7 }, { !varr1c5, !varr4c2 }, { !varr1c5, !varr5c1 }, { !varr1c5, !varr6c0 }, { !varr1c6, !varr1c7 }, { !varr1c6, !varr2c5 }, { !varr1c6, !varr2c7 }, { !varr1c6, !varr3c4 }, { !varr1c6, !varr4c3 }, { !varr1c6, !varr5c2 }, { !varr1c6, !varr6c1 }, { !varr1c6, !varr7c0 }, { !varr1c7, !varr2c6 }, { !varr1c7, !varr3c5 }, { !varr1c7, !varr4c4 }, { !varr1c7, !varr5c3 }, { !varr1c7, !varr6c2 }, { !varr1c7, !varr7c1 }, { !varr2c0, !varr2c1 }, { !varr2c0, !varr2c2 }, { !varr2c0, !varr2c3 }, { !varr2c0, !varr2c4 }, { !varr2c0, !varr2c5 }, { !varr2c0, !varr2c6 }, { !varr2c0, !varr2c7 }, { !varr2c0, !varr3c1 }, { !varr2c0, !varr4c2 }, { !varr2c0, !varr5c3 }, { !varr2c0, !varr6c4 }, { !varr2c0, !varr7c5 }, { !varr2c1, !varr2c2 }, { !varr2c1, !varr2c3 }, { !varr2c1, !varr2c4 }, { !varr2c1, !varr2c5 }, { !varr2c1, !varr2c6 }, { !varr2c1, !varr2c7 }, { !varr2c1, !varr3c0 }, { !varr2c1, !varr3c2 }, { !varr2c1, !varr4c3 }, { !varr2c1, !varr5c4 }, { !varr2c1, !varr6c5 }, { !varr2c1, !varr7c6 }, { !varr2c2, !varr2c3 }, { !varr2c2, !varr2c4 }, { !varr2c2, !varr2c5 }, { !varr2c2, !varr2c6 }, { !varr2c2, !varr2c7 }, { !varr2c2, !varr3c1 }, { !varr2c2, !varr3c3 }, { !varr2c2, !varr4c0 }, { !varr2c2, !varr4c4 }, { !varr2c2, !varr5c5 }, { !varr2c2, !varr6c6 }, { !varr2c2, !varr7c7 }, { !varr2c3, !varr2c4 }, { !varr2c3, !varr2c5 }, { !varr2c3, !varr2c6 }, { !varr2c3, !varr2c7 }, { !varr2c3, !varr3c2 }, { !varr2c3, !varr3c4 }, { !varr2c3, !varr4c1 }, { !varr2c3, !varr4c5 }, { !varr2c3, !varr5c0 }, { !varr2c3, !varr5c6 }, { !varr2c3, !varr6c7 }, { !varr2c4, !varr2c5 }, { !varr2c4, !varr2c6 }, { !varr2c4, !varr2c7 }, { !varr2c4, !varr3c3 }, { !varr2c4, !varr3c5 }, { !varr2c4, !varr4c2 }, { !varr2c4, !varr4c6 }, { !varr2c4, !varr5c1 }, { !varr2c4, !varr5c7 }, { !varr2c4, !varr6c0 }, { !varr2c5, !varr2c6 }, { !varr2c5, !varr2c7 }, { !varr2c5, !varr3c4 }, { !varr2c5, !varr3c6 }, { !varr2c5, !varr4c3 }, { !varr2c5, !varr4c7 }, { !varr2c5, !varr5c2 }, { !varr2c5, !varr6c1 }, { !varr2c5, !varr7c0 }, { !varr2c6, !varr2c7 }, { !varr2c6, !varr3c5 }, { !varr2c6, !varr3c7 }, { !varr2c6, !varr4c4 }, { !varr2c6, !varr5c3 }, { !varr2c6, !varr6c2 }, { !varr2c6, !varr7c1 }, { !varr2c7, !varr3c6 }, { !varr2c7, !varr4c5 }, { !varr2c7, !varr5c4 }, { !varr2c7, !varr6c3 }, { !varr2c7, !varr7c2 }, { !varr3c0, !varr3c1 }, { !varr3c0, !varr3c2 }, { !varr3c0, !varr3c3 }, { !varr3c0, !varr3c4 }, { !varr3c0, !varr3c5 }, { !varr3c0, !varr3c6 }, { !varr3c0, !varr3c7 }, { !varr3c0, !varr4c1 }, { !varr3c0, !varr5c2 }, { !varr3c0, !varr6c3 }, { !varr3c0, !varr7c4 }, { !varr3c1, !varr3c2 }, { !varr3c1, !varr3c3 }, { !varr3c1, !varr3c4 }, { !varr3c1, !varr3c5 }, { !varr3c1, !varr3c6 }, { !varr3c1, !varr3c7 }, { !varr3c1, !varr4c0 }, { !varr3c1, !varr4c2 }, { !varr3c1, !varr5c3 }, { !varr3c1, !varr6c4 }, { !varr3c1, !varr7c5 }, { !varr3c2, !varr3c3 }, { !varr3c2, !varr3c4 }, { !varr3c2, !varr3c5 }, { !varr3c2, !varr3c6 }, { !varr3c2, !varr3c7 }, { !varr3c2, !varr4c1 }, { !varr3c2, !varr4c3 }, { !varr3c2, !varr5c0 }, { !varr3c2, !varr5c4 }, { !varr3c2, !varr6c5 }, { !varr3c2, !varr7c6 }, { !varr3c3, !varr3c4 }, { !varr3c3, !varr3c5 }, { !varr3c3, !varr3c6 }, { !varr3c3, !varr3c7 }, { !varr3c3, !varr4c2 }, { !varr3c3, !varr4c4 }, { !varr3c3, !varr5c1 }, { !varr3c3, !varr5c5 }, { !varr3c3, !varr6c0 }, { !varr3c3, !varr6c6 }, { !varr3c3, !varr7c7 }, { !varr3c4, !varr3c5 }, { !varr3c4, !varr3c6 }, { !varr3c4, !varr3c7 }, { !varr3c4, !varr4c3 }, { !varr3c4, !varr4c5 }, { !varr3c4, !varr5c2 }, { !varr3c4, !varr5c6 }, { !varr3c4, !varr6c1 }, { !varr3c4, !varr6c7 }, { !varr3c4, !varr7c0 }, { !varr3c5, !varr3c6 }, { !varr3c5, !varr3c7 }, { !varr3c5, !varr4c4 }, { !varr3c5, !varr4c6 }, { !varr3c5, !varr5c3 }, { !varr3c5, !varr5c7 }, { !varr3c5, !varr6c2 }, { !varr3c5, !varr7c1 }, { !varr3c6, !varr3c7 }, { !varr3c6, !varr4c5 }, { !varr3c6, !varr4c7 }, { !varr3c6, !varr5c4 }, { !varr3c6, !varr6c3 }, { !varr3c6, !varr7c2 }, { !varr3c7, !varr4c6 }, { !varr3c7, !varr5c5 }, { !varr3c7, !varr6c4 }, { !varr3c7, !varr7c3 }, { !varr4c0, !varr4c1 }, { !varr4c0, !varr4c2 }, { !varr4c0, !varr4c3 }, { !varr4c0, !varr4c4 }, { !varr4c0, !varr4c5 }, { !varr4c0, !varr4c6 }, { !varr4c0, !varr4c7 }, { !varr4c0, !varr5c1 }, { !varr4c0, !varr6c2 }, { !varr4c0, !varr7c3 }, { !varr4c1, !varr4c2 }, { !varr4c1, !varr4c3 }, { !varr4c1, !varr4c4 }, { !varr4c1, !varr4c5 }, { !varr4c1, !varr4c6 }, { !varr4c1, !varr4c7 }, { !varr4c1, !varr5c0 }, { !varr4c1, !varr5c2 }, { !varr4c1, !varr6c3 }, { !varr4c1, !varr7c4 }, { !varr4c2, !varr4c3 }, { !varr4c2, !varr4c4 }, { !varr4c2, !varr4c5 }, { !varr4c2, !varr4c6 }, { !varr4c2, !varr4c7 }, { !varr4c2, !varr5c1 }, { !varr4c2, !varr5c3 }, { !varr4c2, !varr6c0 }, { !varr4c2, !varr6c4 }, { !varr4c2, !varr7c5 }, { !varr4c3, !varr4c4 }, { !varr4c3, !varr4c5 }, { !varr4c3, !varr4c6 }, { !varr4c3, !varr4c7 }, { !varr4c3, !varr5c2 }, { !varr4c3, !varr5c4 }, { !varr4c3, !varr6c1 }, { !varr4c3, !varr6c5 }, { !varr4c3, !varr7c0 }, { !varr4c3, !varr7c6 }, { !varr4c4, !varr4c5 }, { !varr4c4, !varr4c6 }, { !varr4c4, !varr4c7 }, { !varr4c4, !varr5c3 }, { !varr4c4, !varr5c5 }, { !varr4c4, !varr6c2 }, { !varr4c4, !varr6c6 }, { !varr4c4, !varr7c1 }, { !varr4c4, !varr7c7 }, { !varr4c5, !varr4c6 }, { !varr4c5, !varr4c7 }, { !varr4c5, !varr5c4 }, { !varr4c5, !varr5c6 }, { !varr4c5, !varr6c3 }, { !varr4c5, !varr6c7 }, { !varr4c5, !varr7c2 }, { !varr4c6, !varr4c7 }, { !varr4c6, !varr5c5 }, { !varr4c6, !varr5c7 }, { !varr4c6, !varr6c4 }, { !varr4c6, !varr7c3 }, { !varr4c7, !varr5c6 }, { !varr4c7, !varr6c5 }, { !varr4c7, !varr7c4 }, { !varr5c0, !varr5c1 }, { !varr5c0, !varr5c2 }, { !varr5c0, !varr5c3 }, { !varr5c0, !varr5c4 }, { !varr5c0, !varr5c5 }, { !varr5c0, !varr5c6 }, { !varr5c0, !varr5c7 }, { !varr5c0, !varr6c1 }, { !varr5c0, !varr7c2 }, { !varr5c1, !varr5c2 }, { !varr5c1, !varr5c3 }, { !varr5c1, !varr5c4 }, { !varr5c1, !varr5c5 }, { !varr5c1, !varr5c6 }, { !varr5c1, !varr5c7 }, { !varr5c1, !varr6c0 }, { !varr5c1, !varr6c2 }, { !varr5c1, !varr7c3 }, { !varr5c2, !varr5c3 }, { !varr5c2, !varr5c4 }, { !varr5c2, !varr5c5 }, { !varr5c2, !varr5c6 }, { !varr5c2, !varr5c7 }, { !varr5c2, !varr6c1 }, { !varr5c2, !varr6c3 }, { !varr5c2, !varr7c0 }, { !varr5c2, !varr7c4 }, { !varr5c3, !varr5c4 }, { !varr5c3, !varr5c5 }, { !varr5c3, !varr5c6 }, { !varr5c3, !varr5c7 }, { !varr5c3, !varr6c2 }, { !varr5c3, !varr6c4 }, { !varr5c3, !varr7c1 }, { !varr5c3, !varr7c5 }, { !varr5c4, !varr5c5 }, { !varr5c4, !varr5c6 }, { !varr5c4, !varr5c7 }, { !varr5c4, !varr6c3 }, { !varr5c4, !varr6c5 }, { !varr5c4, !varr7c2 }, { !varr5c4, !varr7c6 }, { !varr5c5, !varr5c6 }, { !varr5c5, !varr5c7 }, { !varr5c5, !varr6c4 }, { !varr5c5, !varr6c6 }, { !varr5c5, !varr7c3 }, { !varr5c5, !varr7c7 }, { !varr5c6, !varr5c7 }, { !varr5c6, !varr6c5 }, { !varr5c6, !varr6c7 }, { !varr5c6, !varr7c4 }, { !varr5c7, !varr6c6 }, { !varr5c7, !varr7c5 }, { !varr6c0, !varr6c1 }, { !varr6c0, !varr6c2 }, { !varr6c0, !varr6c3 }, { !varr6c0, !varr6c4 }, { !varr6c0, !varr6c5 }, { !varr6c0, !varr6c6 }, { !varr6c0, !varr6c7 }, { !varr6c1, !varr6c2 }, { !varr6c1, !varr6c3 }, { !varr6c1, !varr6c4 }, { !varr6c1, !varr6c5 }, { !varr6c1, !varr6c6 }, { !varr6c1, !varr6c7 }, { !varr6c1, !varr7c0 }, { !varr6c1, !varr7c2 }, { !varr6c2, !varr6c3 }, { !varr6c2, !varr6c4 }, { !varr6c2, !varr6c5 }, { !varr6c2, !varr6c6 }, { !varr6c2, !varr6c7 }, { !varr6c2, !varr7c1 }, { !varr6c2, !varr7c3 }, { !varr6c3, !varr6c4 }, { !varr6c3, !varr6c5 }, { !varr6c3, !varr6c6 }, { !varr6c3, !varr6c7 }, { !varr6c3, !varr7c2 }, { !varr6c3, !varr7c4 }, { !varr6c4, !varr6c5 }, { !varr6c4, !varr6c6 }, { !varr6c4, !varr6c7 }, { !varr6c4, !varr7c3 }, { !varr6c4, !varr7c5 }, { !varr6c5, !varr6c6 }, { !varr6c5, !varr6c7 }, { !varr6c5, !varr7c4 }, { !varr6c5, !varr7c6 }, { !varr6c6, !varr6c7 }, { !varr6c6, !varr7c5 }, { !varr6c6, !varr7c7 }, { !varr6c7, !varr7c6 }, { !varr7c0, !varr7c1 }, { !varr7c0, !varr7c2 }, { !varr7c0, !varr7c3 }, { !varr7c0, !varr7c4 }, { !varr7c0, !varr7c5 }, { !varr7c0, !varr7c6 }, { !varr7c0, !varr7c7 }, { !varr7c1, !varr7c2 }, { !varr7c1, !varr7c3 }, { !varr7c1, !varr7c4 }, { !varr7c1, !varr7c5 }, { !varr7c1, !varr7c6 }, { !varr7c1, !varr7c7 }, { !varr7c2, !varr7c3 }, { !varr7c2, !varr7c4 }, { !varr7c2, !varr7c5 }, { !varr7c2, !varr7c6 }, { !varr7c2, !varr7c7 }, { !varr7c3, !varr7c4 }, { !varr7c3, !varr7c5 }, { !varr7c3, !varr7c6 }, { !varr7c3, !varr7c7 }, { !varr7c4, !varr7c5 }, { !varr7c4, !varr7c6 }, { !varr7c4, !varr7c7 }, { !varr7c5, !varr7c6 }, { !varr7c5, !varr7c7 }, { !varr7c6, !varr7c7 }, { varr0c0, varr1c0, varr2c0, varr3c0, varr4c0, varr5c0, varr6c0, varr7c0 }, { varr0c1, varr1c1, varr2c1, varr3c1, varr4c1, varr5c1, varr6c1, varr7c1 }, { varr0c2, varr1c2, varr2c2, varr3c2, varr4c2, varr5c2, varr6c2, varr7c2 }, { varr0c3, varr1c3, varr2c3, varr3c3, varr4c3, varr5c3, varr6c3, varr7c3 }, { varr0c4, varr1c4, varr2c4, varr3c4, varr4c4, varr5c4, varr6c4, varr7c4 }, { varr0c5, varr1c5, varr2c5, varr3c5, varr4c5, varr5c5, varr6c5, varr7c5 }, { varr0c6, varr1c6, varr2c6, varr3c6, varr4c6, varr5c6, varr6c6, varr7c6 }, { varr0c7, varr1c7, varr2c7, varr3c7, varr4c7, varr5c7, varr6c7, varr7c7 } }