Nontrivial set of inequalities corresponding to 3-3

Inequalities marked by !s indicate a violation by quantum theory



#1: 2 +2a2 - a3 + b1 + b3 - a1b1 + a1b2 - a2b1 - a2b2 - a2b3 + a3b1 + a3b2 - a3b3
#1: 2 1.875
#2: 2 +2a1 - a3 + b1 + b3 - a1b1 - a1b2 - a1b3 - a2b1 + a2b2 + a3b1 + a3b2 - a3b3
#2: 2 1.125
#3: 1 + a1 - a3 + b1 - b2 - a1b1 - a1b3 - a2b1 + a2b2 + a2b3 + a3b1 + a3b2 - a3b3
#3: 1 0.375
#4: 1 + a2 - a3 + b1 - b2 - a1b1 + a1b2 + a1b3 - a2b1 - a2b3 + a3b1 + a3b2 - a3b3
#4: 1 0.75
#5: 2 - a1 +2a2 + b1 + b3 + a1b1 + a1b2 - a1b3 - a2b1 - a2b2 - a2b3 - a3b1 + a3b2
#5: 2 0.75
#6: 2 +2a1 - a2 + b1 + b3 - a1b1 - a1b2 - a1b3 + a2b1 + a2b2 - a2b3 - a3b1 + a3b2
#6: 2 0.75
#7: 1 - a1 + a2 + b1 - b2 + a1b1 + a1b2 - a1b3 - a2b1 - a2b3 - a3b1 + a3b2 + a3b3
#7: 1 -0.75
#8: 1 + a1 - a2 + b1 - b2 - a1b1 - a1b3 + a2b1 + a2b2 - a2b3 - a3b1 + a3b2 + a3b3
#8: 1 -0.375
#9: 1 - a2 + a3 + b1 - b2 - a1b1 + a1b2 + a1b3 + a2b1 + a2b2 - a2b3 - a3b1 - a3b3
#9: 1 0.375
#10: 1 - a1 + a3 + b1 - b2 + a1b1 + a1b2 - a1b3 - a2b1 + a2b2 + a2b3 - a3b1 - a3b3
#10: 1 -0.375
#11: 2 - a1 +2a3 + b1 + b3 + a1b1 + a1b2 - a1b3 - a2b1 + a2b2 - a3b1 - a3b2 - a3b3
#11: 2 0.375
#12: 2 - a2 +2a3 + b1 + b3 - a1b1 + a1b2 + a2b1 + a2b2 - a2b3 - a3b1 - a3b2 - a3b3
#12: 2 1.125
#13: 1 + a1 - a2 + b3 - a1b2 - a1b3 + a2b1 + a2b2 - a2b3 - a3b1 + a3b2 - a3b3
#13: 1 -0.25
#14: 1 - a1 + a2 + b3 + a1b1 + a1b2 - a1b3 - a2b2 - a2b3 - a3b1 + a3b2 - a3b3
#14: 1 0.125
#15: 0 - a2 - a3 - b2 - a1b1 + a1b2 - a1b3 + a2b1 + a2b2 - a2b3 + a3b2 + a3b3
#15: 0 -1.125
#16: 0 - a1 - a3 - b2 + a1b1 + a1b2 - a1b3 - a2b1 + a2b2 - a2b3 + a3b2 + a3b3
#16: 0 -1.875
#17: 1 - a2 + a3 + b3 - a1b1 + a1b2 - a1b3 + a2b1 + a2b2 - a2b3 - a3b2 - a3b3
#17: 1 0.125
#18: 1 - a1 + a3 + b3 + a1b1 + a1b2 - a1b3 - a2b1 + a2b2 - a2b3 - a3b2 - a3b3
#18: 1 -0.625
#19: 1 + a2 - a3 + b3 - a1b1 + a1b2 - a1b3 - a2b2 - a2b3 + a3b1 + a3b2 - a3b3
#19: 1 0.875
#20: 1 + a1 - a3 + b3 - a1b2 - a1b3 - a2b1 + a2b2 - a2b3 + a3b1 + a3b2 - a3b3
#20: 1 -0.25
#21: 0 - a1 - a3 - b2 + a1b2 + a1b3 - a2b1 + a2b2 - a2b3 + a3b1 + a3b2 - a3b3
#21: 0 -0.75
#22: 0 - a2 - a3 - b2 - a1b1 + a1b2 - a1b3 + a2b2 + a2b3 + a3b1 + a3b2 - a3b3
#22: 0 -0.375
#23: 0 - a1 - a2 - b2 + a1b1 + a1b2 - a1b3 + a2b2 + a2b3 - a3b1 + a3b2 - a3b3
#23: 0 -1.125
#24: 0 - a1 - a2 - b2 + a1b2 + a1b3 + a2b1 + a2b2 - a2b3 - a3b1 + a3b2 - a3b3
#24: 0 -0.75
#25: 2 +2a2 - a3 + b2 + b3 + a1b1 - a1b2 - a2b1 - a2b2 - a2b3 + a3b1 + a3b2 - a3b3
#25: 2 1.125
#26: 2 +2a1 - a3 + b2 + b3 - a1b1 - a1b2 - a1b3 + a2b1 - a2b2 + a3b1 + a3b2 - a3b3
#26: 2 1.875
#27: 1 + a1 - a3 - b1 + b2 - a1b2 - a1b3 + a2b1 - a2b2 + a2b3 + a3b1 + a3b2 - a3b3
#27: 1 0.75
#28: 1 + a2 - a3 - b1 + b2 + a1b1 - a1b2 + a1b3 - a2b2 - a2b3 + a3b1 + a3b2 - a3b3
#28: 1 0.375
#29: 1 - a1 + a2 - b1 + b2 + a1b1 + a1b2 - a1b3 - a2b2 - a2b3 + a3b1 - a3b2 + a3b3
#29: 1 -0.375
#30: 1 + a1 - a2 - b1 + b2 - a1b2 - a1b3 + a2b1 + a2b2 - a2b3 + a3b1 - a3b2 + a3b3
#30: 1 -0.75
#31: 2 - a1 +2a2 + b2 + b3 + a1b1 + a1b2 - a1b3 - a2b1 - a2b2 - a2b3 + a3b1 - a3b2
#31: 2 0.75
#32: 2 +2a1 - a2 + b2 + b3 - a1b1 - a1b2 - a1b3 + a2b1 + a2b2 - a2b3 + a3b1 - a3b2
#32: 2 0.75
#33: 1 - a1 + a3 - b1 + b2 + a1b1 + a1b2 - a1b3 + a2b1 - a2b2 + a2b3 - a3b2 - a3b3
#33: 1 0.375
#34: 1 - a2 + a3 - b1 + b2 + a1b1 - a1b2 + a1b3 + a2b1 + a2b2 - a2b3 - a3b2 - a3b3
#34: 1 -0.375
#35: 2 - a1 +2a3 + b2 + b3 + a1b1 + a1b2 - a1b3 + a2b1 - a2b2 - a3b1 - a3b2 - a3b3
#35: 2 1.125
#36: 2 - a2 +2a3 + b2 + b3 + a1b1 - a1b2 + a2b1 + a2b2 - a2b3 - a3b1 - a3b2 - a3b3
#36: 2 0.375
#37: 3 + a1 +2a2 + b1 +2b3 - a1b1 + a1b2 - a1b3 - a2b1 - a2b2 - a2b3 + a3b1 - a3b3
#37: 3 2.625
#38: 3 +2a1 + a2 + b1 +2b3 - a1b1 - a1b2 - a1b3 - a2b1 + a2b2 - a2b3 + a3b1 - a3b3
#38: 3 1.875
#39: 3 +2a1 + a3 + b1 +2b3 - a1b1 - a1b2 - a1b3 + a2b1 - a2b3 - a3b1 + a3b2 - a3b3
#39: 3 2.25
#40: 3 + a1 +2a3 + b1 +2b3 - a1b1 + a1b2 - a1b3 + a2b1 - a2b3 - a3b1 - a3b2 - a3b3
#40: 3 2.25
#41: 3 +2a2 + a3 + b1 +2b3 + a1b1 - a1b3 - a2b1 - a2b2 - a2b3 - a3b1 + a3b2 - a3b3
#41: 3 1.875
#42: 3 + a2 +2a3 + b1 +2b3 + a1b1 - a1b3 - a2b1 + a2b2 - a2b3 - a3b1 - a3b2 - a3b3
#42: 3 1.125
#43: 2 + a2 + a3 - b1 +2b3 + a1b1 + a1b2 - a1b3 - a2b1 - a2b3 + a3b1 - a3b2 - a3b3
#43: 2 0.75
#44: 2 + a1 + a3 - b1 +2b3 - a1b1 - a1b3 + a2b1 + a2b2 - a2b3 + a3b1 - a3b2 - a3b3
#44: 2 1.125
#45: 2 + a1 + a3 - b1 +2b3 + a1b1 - a1b2 - a1b3 + a2b1 + a2b2 - a2b3 - a3b1 - a3b3
#45: 2 0.375
#46: 2 + a2 + a3 - b1 +2b3 + a1b1 + a1b2 - a1b3 + a2b1 - a2b2 - a2b3 - a3b1 - a3b3
#46: 2 1.125
#47: 2 + a1 + a2 - b1 +2b3 + a1b1 - a1b2 - a1b3 - a2b1 - a2b3 + a3b1 + a3b2 - a3b3
#47: 2 0.75
#48: 2 + a1 + a2 - b1 +2b3 - a1b1 - a1b3 + a2b1 - a2b2 - a2b3 + a3b1 + a3b2 - a3b3
#48: 2 1.875
#49: 1 + a1 + b3 - a1b1 - a1b3 + a2b1 - a2b3
#49: 1 0.625
#50: 1 + a2 + b3 + a1b1 - a1b3 - a2b1 - a2b3
#50: 1 -0.125
#51: 0 - a1b3
#51: 0 -0.375
#52: 0 - a2b3
#52: 0 -0.375
#53: 1 + a1 + b3 - a1b2 - a1b3 + a2b2 - a2b3
#53: 1 -0.125
#54: 1 + a2 + b3 + a1b2 - a1b3 - a2b2 - a2b3
#54: 1 0.625
#55: 1 + a1 + b3 - a1b1 - a1b3 + a3b1 - a3b3
#55: 1 1
#56: 1 + a2 + b3 - a2b1 - a2b3 + a3b1 - a3b3
#56: 1 0.625
#57: 1 + a1 + b3 - a1b2 - a1b3 + a3b2 - a3b3
#57: 1 0.625
#58: 1 + a2 + b3 - a2b2 - a2b3 + a3b2 - a3b3
#58: 1 1
#59: 1 + a3 + b3 + a1b2 - a1b3 - a3b2 - a3b3
#59: 1 0.625
#60: 1 + a3 + b3 + a2b2 - a2b3 - a3b2 - a3b3
#60: 1 0.25
#61: 1 + a3 + b3 + a1b1 - a1b3 - a3b1 - a3b3
#61: 1 0.25
#62: 1 + a3 + b3 + a2b1 - a2b3 - a3b1 - a3b3
#62: 1 0.625
#63: 0 - a3b3
#63: 0 0
#64: 3 +2a1 + a2 + b2 +2b3 - a1b1 - a1b2 - a1b3 + a2b1 - a2b2 - a2b3 + a3b2 - a3b3
#64: 3 2.625
#65: 3 + a1 +2a2 + b2 +2b3 + a1b1 - a1b2 - a1b3 - a2b1 - a2b2 - a2b3 + a3b2 - a3b3
#65: 3 1.875
#66: 2 + a2 + a3 - b2 +2b3 + a1b1 + a1b2 - a1b3 - a2b2 - a2b3 - a3b1 + a3b2 - a3b3
#66: 2 1.125
#67: 2 + a1 + a3 - b2 +2b3 - a1b2 - a1b3 + a2b1 + a2b2 - a2b3 - a3b1 + a3b2 - a3b3
#67: 2 0.75
#68: 3 + a1 +2a3 + b2 +2b3 + a1b1 - a1b2 - a1b3 + a2b2 - a2b3 - a3b1 - a3b2 - a3b3
#68: 3 1.125
#69: 3 +2a1 + a3 + b2 +2b3 - a1b1 - a1b2 - a1b3 + a2b2 - a2b3 + a3b1 - a3b2 - a3b3
#69: 3 1.875
#70: 3 + a2 +2a3 + b2 +2b3 + a1b2 - a1b3 + a2b1 - a2b2 - a2b3 - a3b1 - a3b2 - a3b3
#70: 3 2.25
#71: 3 +2a2 + a3 + b2 +2b3 + a1b2 - a1b3 - a2b1 - a2b2 - a2b3 + a3b1 - a3b2 - a3b3
#71: 3 2.25
#72: 2 + a1 + a3 - b2 +2b3 - a1b1 + a1b2 - a1b3 + a2b1 + a2b2 - a2b3 - a3b2 - a3b3
#72: 2 1.125
#73: 2 + a2 + a3 - b2 +2b3 + a1b1 + a1b2 - a1b3 - a2b1 + a2b2 - a2b3 - a3b2 - a3b3
#73: 2 0.375
#74: 2 + a1 + a2 - b2 +2b3 - a1b2 - a1b3 - a2b1 + a2b2 - a2b3 + a3b1 + a3b2 - a3b3
#74: 2 0.75
#75: 2 + a1 + a2 - b2 +2b3 - a1b1 + a1b2 - a1b3 - a2b2 - a2b3 + a3b1 + a3b2 - a3b3
#75: 2 1.875
#76: 1 + a1 - a2 + b3 - a1b1 - a1b3 + a2b1 + a2b2 - a2b3 + a3b1 - a3b2 - a3b3
#76: 1 0.125
#77: 1 - a1 + a2 + b3 + a1b1 + a1b2 - a1b3 - a2b1 - a2b3 + a3b1 - a3b2 - a3b3
#77: 1 -0.25
#78: 0 - a2 - a3 - b1 + a1b1 - a1b2 - a1b3 + a2b1 + a2b2 - a2b3 + a3b1 + a3b3
#78: 0 -1.875
#79: 0 - a1 - a3 - b1 + a1b1 + a1b2 - a1b3 + a2b1 - a2b2 - a2b3 + a3b1 + a3b3
#79: 0 -1.125
#80: 1 - a2 + a3 + b3 + a1b1 - a1b2 - a1b3 + a2b1 + a2b2 - a2b3 - a3b1 - a3b3
#80: 1 -0.625
#81: 1 - a1 + a3 + b3 + a1b1 + a1b2 - a1b3 + a2b1 - a2b2 - a2b3 - a3b1 - a3b3
#81: 1 0.125
#82: 1 + a1 - a3 + b3 - a1b1 - a1b3 + a2b1 - a2b2 - a2b3 + a3b1 + a3b2 - a3b3
#82: 1 0.875
#83: 1 + a2 - a3 + b3 + a1b1 - a1b2 - a1b3 - a2b1 - a2b3 + a3b1 + a3b2 - a3b3
#83: 1 -0.25
#84: 0 - a1 - a3 - b1 + a1b1 + a1b3 + a2b1 - a2b2 - a2b3 + a3b1 + a3b2 - a3b3
#84: 0 -0.375
#85: 0 - a2 - a3 - b1 + a1b1 - a1b2 - a1b3 + a2b1 + a2b3 + a3b1 + a3b2 - a3b3
#85: 0 -0.75
#86: 0 - a1 - a2 - b1 + a1b1 + a1b2 - a1b3 + a2b1 + a2b3 + a3b1 - a3b2 - a3b3
#86: 0 -0.75
#87: 0 - a1 - a2 - b1 + a1b1 + a1b3 + a2b1 + a2b2 - a2b3 + a3b1 - a3b2 - a3b3
#87: 0 -1.125
#88: 1 + a1 - a3 - b2 + b3 - a1b1 + a1b2 - a1b3 + a2b1 - a2b2 - a2b3 + a3b1 + a3b2
#88: 1 0.75
#89: 1 + a2 - a3 - b2 + b3 + a1b1 - a1b2 - a1b3 - a2b1 + a2b2 - a2b3 + a3b1 + a3b2
#89: 1 -0.75
#90: 0 - a3 - b1 - b2 + a1b2 - a1b3 + a2b1 - a2b2 - a2b3 + a3b1 + a3b2 + a3b3
#90: 0 -0.75
#91: 0 - a3 - b1 - b2 + a1b1 - a1b2 - a1b3 + a2b2 - a2b3 + a3b1 + a3b2 + a3b3
#91: 0 -1.875
#92: 1 - a1 + a2 - b2 + b3 + a1b1 + a1b2 - a2b1 + a2b2 - a2b3 + a3b1 - a3b2 - a3b3
#92: 1 -0.375
#93: 1 + a1 - a2 - b2 + b3 - a1b1 + a1b2 - a1b3 + a2b1 + a2b2 + a3b1 - a3b2 - a3b3
#93: 1 0.375
#94: 0 - a1 - b1 - b2 + a1b1 + a1b2 + a1b3 + a2b2 - a2b3 + a3b1 - a3b2 - a3b3
#94: 0 -1.125
#95: 0 - a2 - b1 - b2 + a1b2 - a1b3 + a2b1 + a2b2 + a2b3 + a3b1 - a3b2 - a3b3
#95: 0 -0.75
#96: 0 - a2 - b1 - b2 + a1b1 - a1b2 - a1b3 + a2b1 + a2b2 + a2b3 + a3b2 - a3b3
#96: 0 -1.125
#97: 0 - a1 - b1 - b2 + a1b1 + a1b2 + a1b3 + a2b1 - a2b2 - a2b3 + a3b2 - a3b3
#97: 0 -0.375
#98: 1 - a2 + a3 - b2 + b3 + a1b1 - a1b2 - a1b3 + a2b1 + a2b2 - a3b1 + a3b2 - a3b3
#98: 1 -0.375
#99: 1 - a1 + a3 - b2 + b3 + a1b1 + a1b2 + a2b1 - a2b2 - a2b3 - a3b1 + a3b2 - a3b3
#99: 1 0.375
#100: 0 - a1 - b1 - b2 + a1b1 + a1b2 + a1b3 + a2b1 - a2b3 - a3b1 + a3b2 - a3b3
#100: 0 -0.75
#101: 0 - a2 - b1 - b2 + a1b1 - a1b3 + a2b1 + a2b2 + a2b3 - a3b1 + a3b2 - a3b3
#101: 0 -1.125
#102: 1 - a1 + a3 - b1 + b3 + a1b1 + a1b2 - a2b1 + a2b2 - a2b3 + a3b1 - a3b2 - a3b3
#102: 1 -0.375
#103: 1 - a2 + a3 - b1 + b3 - a1b1 + a1b2 - a1b3 + a2b1 + a2b2 + a3b1 - a3b2 - a3b3
#103: 1 0.375
#104: 0 - a2 - b1 - b2 - a1b1 + a1b2 - a1b3 + a2b1 + a2b2 + a2b3 + a3b1 - a3b3
#104: 0 -0.375
#105: 0 - a1 - b1 - b2 + a1b1 + a1b2 + a1b3 - a2b1 + a2b2 - a2b3 + a3b1 - a3b3
#105: 0 -1.125
#106: 1 + a1 - a2 - b1 + b3 + a1b1 - a1b2 - a1b3 + a2b1 + a2b2 - a3b1 + a3b2 - a3b3
#106: 1 -0.375
#107: 1 - a1 + a2 - b1 + b3 + a1b1 + a1b2 + a2b1 - a2b2 - a2b3 - a3b1 + a3b2 - a3b3
#107: 1 0.375
#108: 1 + a2 - a3 - b1 + b3 - a1b1 + a1b2 - a1b3 + a2b1 - a2b2 - a2b3 + a3b1 + a3b2
#108: 1 0.75
#109: 1 + a1 - a3 - b1 + b3 + a1b1 - a1b2 - a1b3 - a2b1 + a2b2 - a2b3 + a3b1 + a3b2
#109: 1 -0.75
#110: 0 - a3 - b1 - b2 + a1b1 - a1b3 - a2b1 + a2b2 - a2b3 + a3b1 + a3b2 + a3b3
#110: 0 -1.875
#111: 0 - a3 - b1 - b2 - a1b1 + a1b2 - a1b3 + a2b1 - a2b3 + a3b1 + a3b2 + a3b3
#111: 0 -0.75
#112: 2 + a1 + a2 + b1 + b3 - a1b1 - a1b2 - a2b1 + a2b2 - a2b3 + a3b1 - a3b2 - a3b3
#112: 2 0.875
#113: 2 + a1 + a2 + b1 + b3 - a1b1 + a1b2 - a1b3 - a2b1 - a2b2 + a3b1 - a3b2 - a3b3
#113: 2 1.625
#114: 2 + a1 + a2 + b1 + b2 - a1b1 - a1b2 + a1b3 - a2b1 - a2b3 + a3b1 - a3b2 - a3b3
#114: 2 1.25
#115: 2 + a1 + a2 + b1 + b2 - a1b1 - a1b3 - a2b1 - a2b2 + a2b3 + a3b1 - a3b2 - a3b3
#115: 2 1.625
#116: 2 + a1 + a3 + b1 + b2 - a1b1 - a1b2 + a1b3 + a2b1 - a2b2 - a2b3 - a3b1 - a3b3
#116: 2 1.625
#117: 2 + a2 + a3 + b1 + b2 + a1b1 - a1b2 - a1b3 - a2b1 - a2b2 + a2b3 - a3b1 - a3b3
#117: 2 0.875
#118: 2 + a2 + a3 + b1 + b3 + a1b1 - a1b2 - a1b3 - a2b1 - a2b2 - a3b1 + a3b2 - a3b3
#118: 2 0.875
#119: 2 + a1 + a3 + b1 + b3 - a1b1 - a1b2 + a2b1 - a2b2 - a2b3 - a3b1 + a3b2 - a3b3
#119: 2 1.625
#120: 2 + a1 + a3 + b1 + b3 - a1b1 + a1b2 - a1b3 + a2b1 - a2b2 - a2b3 - a3b1 - a3b2
#120: 2 1.25
#121: 2 + a2 + a3 + b1 + b3 + a1b1 - a1b2 - a1b3 - a2b1 + a2b2 - a2b3 - a3b1 - a3b2
#121: 2 -0.25
#122: 2 + a2 + a3 + b1 + b2 + a1b1 - a1b2 - a1b3 - a2b1 - a2b3 - a3b1 - a3b2 + a3b3
#122: 2 -0.25
#123: 2 + a1 + a3 + b1 + b2 - a1b1 - a1b3 + a2b1 - a2b2 - a2b3 - a3b1 - a3b2 + a3b3
#123: 2 0.875
#124: 1 + a3 + b3 + a1b1 - a1b2 - a1b3 + a2b2 - a2b3 - a3b1 - a3b2 - a3b3
#124: 1 -0.875
#125: 1 + a3 + b3 + a1b2 - a1b3 + a2b1 - a2b2 - a2b3 - a3b1 - a3b2 - a3b3
#125: 1 0.25
#126: 1 + a1 + b3 - a1b1 - a1b2 - a1b3 + a2b1 - a2b2 - a2b3 + a3b2 - a3b3
#126: 1 0.625
#127: 1 + a2 + b3 + a1b1 - a1b2 - a1b3 - a2b1 - a2b2 - a2b3 + a3b2 - a3b3
#127: 1 -0.125
#128: 1 + a1 + b2 - a1b1 - a1b2 - a1b3 + a2b1 - a2b2 - a2b3 - a3b2 + a3b3
#128: 1 -0.125
#129: 1 + a2 + b2 + a1b1 - a1b2 - a1b3 - a2b1 - a2b2 - a2b3 - a3b2 + a3b3
#129: 1 -0.875
#130: 1 + a1 + b3 - a1b1 - a1b2 - a1b3 + a2b2 - a2b3 + a3b1 - a3b2 - a3b3
#130: 1 -0.125
#131: 1 + a2 + b3 + a1b2 - a1b3 - a2b1 - a2b2 - a2b3 + a3b1 - a3b2 - a3b3
#131: 1 0.25
#132: 1 + a1 + b2 - a1b1 - a1b2 - a1b3 - a2b2 + a2b3 + a3b1 - a3b2 - a3b3
#132: 1 0.625
#133: 1 + a2 + b2 - a1b2 + a1b3 - a2b1 - a2b2 - a2b3 + a3b1 - a3b2 - a3b3
#133: 1 0.25
#134: 1 + a3 + b2 - a1b2 + a1b3 + a2b1 - a2b2 - a2b3 - a3b1 - a3b2 - a3b3
#134: 1 0.25
#135: 1 + a3 + b2 + a1b1 - a1b2 - a1b3 - a2b2 + a2b3 - a3b1 - a3b2 - a3b3
#135: 1 -0.125
#136: 1 + a3 - b1 + b2 + a1b1 - a1b2 + a1b3 + a2b1 - a2b3 - a3b1 - a3b2 - a3b3
#136: 1 -0.25
#137: 1 + a3 - b1 + b2 + a1b1 - a1b3 + a2b1 - a2b2 + a2b3 - a3b1 - a3b2 - a3b3
#137: 1 0.125
#138: 1 + a3 - b1 + b3 + a1b1 - a1b2 + a2b1 + a2b2 - a2b3 - a3b1 - a3b2 - a3b3
#138: 1 -0.625
#139: 1 + a3 - b1 + b3 + a1b1 + a1b2 - a1b3 + a2b1 - a2b2 - a3b1 - a3b2 - a3b3
#139: 1 0.125
#140: 1 + a2 - b1 + b3 + a1b1 - a1b2 - a2b1 - a2b2 - a2b3 + a3b1 + a3b2 - a3b3
#140: 1 0.125
#141: 1 + a1 - b1 + b3 - a1b1 - a1b2 - a1b3 + a2b1 - a2b2 + a3b1 + a3b2 - a3b3
#141: 1 0.875
#142: 1 + a2 - b1 + b2 + a1b1 - a1b2 + a1b3 - a2b1 - a2b2 - a2b3 + a3b1 - a3b3
#142: 1 0.125
#143: 1 + a1 - b1 + b2 - a1b1 - a1b2 - a1b3 + a2b1 - a2b2 + a2b3 + a3b1 - a3b3
#143: 1 0.875
#144: 1 + a1 - b1 + b3 - a1b1 - a1b2 - a1b3 + a2b1 + a2b2 - a2b3 + a3b1 - a3b2
#144: 1 -0.25
#145: 1 + a2 - b1 + b3 + a1b1 + a1b2 - a1b3 - a2b1 - a2b2 - a2b3 + a3b1 - a3b2
#145: 1 -0.25
#146: 1 + a2 - b1 + b2 + a1b1 - a1b3 - a2b1 - a2b2 - a2b3 + a3b1 - a3b2 + a3b3
#146: 1 -0.625
#147: 1 + a1 - b1 + b2 - a1b1 - a1b2 - a1b3 + a2b1 - a2b3 + a3b1 - a3b2 + a3b3
#147: 1 -0.25
#148: 2 + a1 + a3 + b1 + b2 - a1b1 - a1b2 + a1b3 - a2b1 + a2b2 - a2b3 - a3b2 - a3b3
#148: 2 0.875
#149: 2 + a2 + a3 + b1 + b2 - a1b1 + a1b2 - a1b3 - a2b1 - a2b2 + a2b3 - a3b2 - a3b3
#149: 2 1.625
#150: 2 + a2 + a3 + b2 + b3 - a1b1 + a1b2 - a1b3 - a2b1 - a2b2 + a3b1 - a3b2 - a3b3
#150: 2 1.625
#151: 2 + a1 + a3 + b2 + b3 - a1b1 - a1b2 - a2b1 + a2b2 - a2b3 + a3b1 - a3b2 - a3b3
#151: 2 0.875
#152: 2 + a1 + a2 + b2 + b3 - a1b1 - a1b2 + a2b1 - a2b2 - a2b3 - a3b1 + a3b2 - a3b3
#152: 2 1.625
#153: 2 + a1 + a2 + b2 + b3 + a1b1 - a1b2 - a1b3 - a2b1 - a2b2 - a3b1 + a3b2 - a3b3
#153: 2 0.875
#154: 2 + a1 + a2 + b1 + b2 - a1b1 - a1b2 + a1b3 - a2b2 - a2b3 - a3b1 + a3b2 - a3b3
#154: 2 1.625
#155: 2 + a1 + a2 + b1 + b2 - a1b2 - a1b3 - a2b1 - a2b2 + a2b3 - a3b1 + a3b2 - a3b3
#155: 2 1.25
#156: 2 + a1 + a3 + b1 + b2 - a1b2 - a1b3 - a2b1 + a2b2 - a2b3 - a3b1 - a3b2 + a3b3
#156: 2 -0.25
#157: 2 + a2 + a3 + b1 + b2 - a1b1 + a1b2 - a1b3 - a2b2 - a2b3 - a3b1 - a3b2 + a3b3
#157: 2 0.875
#158: 2 + a2 + a3 + b2 + b3 - a1b1 + a1b2 - a1b3 + a2b1 - a2b2 - a2b3 - a3b1 - a3b2
#158: 2 1.25
#159: 2 + a1 + a3 + b2 + b3 + a1b1 - a1b2 - a1b3 - a2b1 + a2b2 - a2b3 - a3b1 - a3b2
#159: 2 -0.25
#160: 1 + a3 + b3 - a1b1 + a1b2 - a1b3 + a2b1 - a2b3 - a3b1 - a3b2 - a3b3
#160: 1 0.25
#161: 1 + a3 + b3 + a1b1 - a1b3 - a2b1 + a2b2 - a2b3 - a3b1 - a3b2 - a3b3
#161: 1 -0.875
#162: 1 + a1 + b3 - a1b1 - a1b2 - a1b3 + a2b1 - a2b3 - a3b1 + a3b2 - a3b3
#162: 1 0.25
#163: 1 + a2 + b3 + a1b1 - a1b3 - a2b1 - a2b2 - a2b3 - a3b1 + a3b2 - a3b3
#163: 1 -0.125
#164: 1 + a1 + b3 - a1b1 - a1b2 - a1b3 - a2b1 + a2b2 - a2b3 + a3b1 - a3b3
#164: 1 -0.125
#165: 1 + a2 + b3 - a1b1 + a1b2 - a1b3 - a2b1 - a2b2 - a2b3 + a3b1 - a3b3
#165: 1 0.625
#166: 1 + a1 + b1 - a1b1 - a1b2 - a1b3 - a2b1 + a2b2 - a2b3 - a3b1 + a3b3
#166: 1 -0.875
#167: 1 + a2 + b1 - a1b1 + a1b2 - a1b3 - a2b1 - a2b2 - a2b3 - a3b1 + a3b3
#167: 1 -0.125
#168: 1 + a1 + b1 - a1b1 - a1b2 - a1b3 - a2b1 + a2b3 - a3b1 + a3b2 - a3b3
#168: 1 0.25
#169: 1 + a2 + b1 - a1b1 + a1b3 - a2b1 - a2b2 - a2b3 - a3b1 + a3b2 - a3b3
#169: 1 0.625
#170: 1 + a3 + b1 - a1b1 + a1b3 - a2b1 + a2b2 - a2b3 - a3b1 - a3b2 - a3b3
#170: 1 -0.125
#171: 1 + a3 + b1 - a1b1 + a1b2 - a1b3 - a2b1 + a2b3 - a3b1 - a3b2 - a3b3
#171: 1 0.25
#172: 1 + a3 + b1 - b2 + a1b2 - a1b3 - a2b1 + a2b2 + a2b3 - a3b1 - a3b2 - a3b3
#172: 1 -0.25
#173: 1 + a3 + b1 - b2 - a1b1 + a1b2 + a1b3 + a2b2 - a2b3 - a3b1 - a3b2 - a3b3
#173: 1 0.125
#174: 1 + a3 - b2 + b3 + a1b1 + a1b2 - a1b3 - a2b1 + a2b2 - a3b1 - a3b2 - a3b3
#174: 1 -0.625
#175: 1 + a3 - b2 + b3 - a1b1 + a1b2 + a2b1 + a2b2 - a2b3 - a3b1 - a3b2 - a3b3
#175: 1 0.125
#176: 1 + a2 - b2 + b3 - a1b1 + a1b2 - a2b1 - a2b2 - a2b3 + a3b1 + a3b2 - a3b3
#176: 1 0.875
#177: 1 + a1 - b2 + b3 - a1b1 - a1b2 - a1b3 - a2b1 + a2b2 + a3b1 + a3b2 - a3b3
#177: 1 0.125
#178: 1 + a2 + b1 - b2 - a1b1 + a1b2 + a1b3 - a2b1 - a2b2 - a2b3 + a3b2 - a3b3
#178: 1 0.875
#179: 1 + a1 + b1 - b2 - a1b1 - a1b2 - a1b3 - a2b1 + a2b2 + a2b3 + a3b2 - a3b3
#179: 1 0.125
#180: 1 + a2 + b1 - b2 + a1b2 - a1b3 - a2b1 - a2b2 - a2b3 - a3b1 + a3b2 + a3b3
#180: 1 -0.25
#181: 1 + a1 + b1 - b2 - a1b1 - a1b2 - a1b3 + a2b2 - a2b3 - a3b1 + a3b2 + a3b3
#181: 1 -0.625
#182: 1 + a1 - b2 + b3 - a1b1 - a1b2 - a1b3 + a2b1 + a2b2 - a2b3 - a3b1 + a3b2
#182: 1 -0.25
#183: 1 + a2 - b2 + b3 + a1b1 + a1b2 - a1b3 - a2b1 - a2b2 - a2b3 - a3b1 + a3b2
#183: 1 -0.25
#184: 1 + a1 + b1 - b3 - a1b1 - a1b2 - a1b3 - a2b1 + a2b2 + a2b3 - a3b2 + a3b3
#184: 1 -0.625
#185: 1 + a2 + b1 - b3 - a1b1 + a1b2 + a1b3 - a2b1 - a2b2 - a2b3 - a3b2 + a3b3
#185: 1 0.125
#186: 1 + a1 + b2 - b3 - a1b1 - a1b2 - a1b3 - a2b1 + a2b3 + a3b1 - a3b2 + a3b3
#186: 1 -0.25
#187: 1 + a2 + b2 - b3 - a1b1 + a1b3 - a2b1 - a2b2 - a2b3 + a3b1 - a3b2 + a3b3
#187: 1 0.125
#188: 1 + a1 + b2 - b3 - a1b1 - a1b2 - a1b3 + a2b1 - a2b2 + a2b3 - a3b1 + a3b3
#188: 1 0.125
#189: 1 + a2 + b2 - b3 + a1b1 - a1b2 + a1b3 - a2b1 - a2b2 - a2b3 - a3b1 + a3b3
#189: 1 -0.625
#190: 1 + a1 + b1 - b3 - a1b1 - a1b2 - a1b3 - a2b2 + a2b3 - a3b1 + a3b2 + a3b3
#190: 1 0.125
#191: 1 + a2 + b1 - b3 - a1b2 + a1b3 - a2b1 - a2b2 - a2b3 - a3b1 + a3b2 + a3b3
#191: 1 -0.25
#192: 1 + a3 + b1 - b3 - a1b1 + a1b2 + a1b3 - a2b2 + a2b3 - a3b1 - a3b2 - a3b3
#192: 1 0.875
#193: 1 + a3 + b1 - b3 - a1b2 + a1b3 - a2b1 + a2b2 + a2b3 - a3b1 - a3b2 - a3b3
#193: 1 -0.25
#194: 1 + a3 + b2 - b3 - a1b1 + a1b3 + a2b1 - a2b2 + a2b3 - a3b1 - a3b2 - a3b3
#194: 1 0.875
#195: 1 + a3 + b2 - b3 + a1b1 - a1b2 + a1b3 - a2b1 + a2b3 - a3b1 - a3b2 - a3b3
#195: 1 -0.25
#196: 2 + a2 + a3 + b1 + b3 - a1b1 - a1b2 + a1b3 - a2b1 + a2b2 - a2b3 - a3b2 - a3b3
#196: 2 0.875
#197: 2 + a1 + a3 + b1 + b3 - a1b1 + a1b2 - a1b3 - a2b1 - a2b2 + a2b3 - a3b2 - a3b3
#197: 2 1.625
#198: 2 + a1 + a3 + b2 + b3 - a1b1 - a1b3 - a2b1 - a2b2 + a2b3 + a3b1 - a3b2 - a3b3
#198: 2 1.625
#199: 2 + a2 + a3 + b2 + b3 - a1b1 - a1b2 + a1b3 - a2b1 - a2b3 + a3b1 - a3b2 - a3b3
#199: 2 1.25
#200: 2 + a2 + a3 + b2 + b3 - a1b1 - a1b2 + a1b3 + a2b1 - a2b2 - a2b3 - a3b1 - a3b3
#200: 2 1.625
#201: 2 + a1 + a3 + b2 + b3 + a1b1 - a1b2 - a1b3 - a2b1 - a2b2 + a2b3 - a3b1 - a3b3
#201: 2 0.875
#202: 2 + a1 + a3 + b1 + b3 - a1b2 - a1b3 - a2b1 - a2b2 + a2b3 - a3b1 + a3b2 - a3b3
#202: 2 1.25
#203: 2 + a2 + a3 + b1 + b3 - a1b1 - a1b2 + a1b3 - a2b2 - a2b3 - a3b1 + a3b2 - a3b3
#203: 2 1.625
#204: 2 + a1 + a2 + b1 + b3 - a1b1 + a1b2 - a1b3 - a2b2 - a2b3 - a3b1 - a3b2 + a3b3
#204: 2 0.875
#205: 2 + a1 + a2 + b1 + b3 - a1b2 - a1b3 - a2b1 + a2b2 - a2b3 - a3b1 - a3b2 + a3b3
#205: 2 -0.25
#206: 2 + a1 + a2 + b2 + b3 - a1b1 - a1b3 + a2b1 - a2b2 - a2b3 - a3b1 - a3b2 + a3b3
#206: 2 0.875
#207: 2 + a1 + a2 + b2 + b3 + a1b1 - a1b2 - a1b3 - a2b1 - a2b3 - a3b1 - a3b2 + a3b3
#207: 2 -0.25
#208: 1 + a2 + b2 + a1b1 - a1b2 - a2b1 - a2b2 - a2b3 - a3b1 - a3b2 + a3b3
#208: 1 -0.875
#209: 1 + a1 + b2 - a1b1 - a1b2 - a1b3 + a2b1 - a2b2 - a3b1 - a3b2 + a3b3
#209: 1 -0.125
#210: 1 + a2 + b1 - a1b1 + a1b2 - a2b1 - a2b2 - a2b3 - a3b1 - a3b2 + a3b3
#210: 1 -0.125
#211: 1 + a1 + b1 - a1b1 - a1b2 - a1b3 - a2b1 + a2b2 - a3b1 - a3b2 + a3b3
#211: 1 -0.875
#212: 1 + a2 + b1 - a1b1 - a1b2 + a1b3 - a2b1 - a2b2 - a2b3 - a3b1 + a3b2
#212: 1 0.25
#213: 1 + a1 + b1 - a1b1 - a1b2 - a1b3 - a2b1 - a2b2 + a2b3 - a3b1 + a3b2
#213: 1 0.25
#214: 1 + a2 + b2 - a1b1 - a1b2 + a1b3 - a2b1 - a2b2 - a2b3 + a3b1 - a3b2
#214: 1 0.25
#215: 1 + a1 + b2 - a1b1 - a1b2 - a1b3 - a2b1 - a2b2 + a2b3 + a3b1 - a3b2
#215: 1 0.25
#216: 1 + a3 + b1 - a1b1 - a1b2 + a1b3 - a2b1 + a2b2 - a3b1 - a3b2 - a3b3
#216: 1 -0.125
#217: 1 + a3 + b1 - a1b1 + a1b2 - a2b1 - a2b2 + a2b3 - a3b1 - a3b2 - a3b3
#217: 1 0.625
#218: 1 + a3 + b2 - a1b1 - a1b2 + a1b3 + a2b1 - a2b2 - a3b1 - a3b2 - a3b3
#218: 1 0.625
#219: 1 + a3 + b2 + a1b1 - a1b2 - a2b1 - a2b2 + a2b3 - a3b1 - a3b2 - a3b3
#219: 1 -0.125
#220: 1 - a1 + a2 + b1 - b2 + a1b2 + a1b3 - a2b1 + a2b2 - a2b3 - a3b1 - a3b2 + a3b3
#220: 1 -0.75
#221: 1 + a1 - a2 + b1 - b2 - a1b1 + a1b2 - a1b3 + a2b2 + a2b3 - a3b1 - a3b2 + a3b3
#221: 1 -0.375
#222: 0 - a1 - b2 - b3 + a1b1 + a1b2 + a1b3 - a2b1 + a2b2 - a3b1 - a3b2 + a3b3
#222: 0 -1.875
#223: 0 - a2 - b2 - b3 - a1b1 + a1b2 + a2b1 + a2b2 + a2b3 - a3b1 - a3b2 + a3b3
#223: 0 -1.125
#224: 0 - a1 - b2 - b3 + a1b1 + a1b2 + a1b3 - a2b1 - a2b2 + a2b3 - a3b1 + a3b2
#224: 0 -0.75
#225: 0 - a2 - b2 - b3 - a1b1 - a1b2 + a1b3 + a2b1 + a2b2 + a2b3 - a3b1 + a3b2
#225: 0 -0.75
#226: 1 - a1 + a3 + b1 - b2 + a1b2 + a1b3 - a2b1 - a2b2 + a2b3 - a3b1 + a3b2 - a3b3
#226: 1 0.75
#227: 1 - a2 + a3 + b1 - b2 - a1b1 - a1b2 + a1b3 + a2b2 + a2b3 - a3b1 + a3b2 - a3b3
#227: 1 0.375
#228: 0 - a3 - b2 - b3 - a1b1 + a1b2 - a2b1 - a2b2 + a2b3 + a3b1 + a3b2 + a3b3
#228: 0 -0.375
#229: 0 - a3 - b2 - b3 - a1b1 - a1b2 + a1b3 - a2b1 + a2b2 + a3b1 + a3b2 + a3b3
#229: 0 -1.125
#230: 1 + a1 - a3 + b1 - b2 - a1b1 + a1b2 - a1b3 - a2b1 - a2b2 + a2b3 + a3b2 + a3b3
#230: 1 0.375
#231: 1 + a2 - a3 + b1 - b2 - a1b1 - a1b2 + a1b3 - a2b1 + a2b2 - a2b3 + a3b2 + a3b3
#231: 1 -0.375
#232: 1 - a1 + a3 + b1 - b3 + a1b2 + a1b3 - a2b1 + a2b2 - a2b3 - a3b1 - a3b2 + a3b3
#232: 1 -0.75
#233: 1 - a2 + a3 + b1 - b3 - a1b1 + a1b2 - a1b3 + a2b2 + a2b3 - a3b1 - a3b2 + a3b3
#233: 1 -0.375
#234: 0 - a1 - b2 - b3 + a1b1 + a1b2 + a1b3 - a2b1 + a2b2 - a2b3 - a3b1 + a3b3
#234: 0 -1.875
#235: 0 - a2 - b2 - b3 - a1b1 + a1b2 - a1b3 + a2b1 + a2b2 + a2b3 - a3b1 + a3b3
#235: 0 -1.125
#236: 0 - a1 - b2 - b3 + a1b1 + a1b2 + a1b3 - a2b1 + a2b3 - a3b1 + a3b2 - a3b3
#236: 0 -0.75
#237: 0 - a2 - b2 - b3 - a1b1 + a1b3 + a2b1 + a2b2 + a2b3 - a3b1 + a3b2 - a3b3
#237: 0 -0.375
#238: 1 + a1 - a2 + b1 - b3 - a1b1 - a1b2 + a1b3 + a2b2 + a2b3 - a3b1 + a3b2 - a3b3
#238: 1 0.375
#239: 1 - a1 + a2 + b1 - b3 + a1b2 + a1b3 - a2b1 - a2b2 + a2b3 - a3b1 + a3b2 - a3b3
#239: 1 0.75
#240: 0 - a3 - b2 - b3 - a1b1 + a1b2 - a1b3 - a2b1 + a2b3 + a3b1 + a3b2 + a3b3
#240: 0 -0.75
#241: 0 - a3 - b2 - b3 - a1b1 + a1b3 - a2b1 + a2b2 - a2b3 + a3b1 + a3b2 + a3b3
#241: 0 -1.125
#242: 1 + a1 - a3 + b1 - b3 - a1b1 - a1b2 + a1b3 - a2b1 + a2b2 - a2b3 + a3b2 + a3b3
#242: 1 -0.375
#243: 1 + a2 - a3 + b1 - b3 - a1b1 + a1b2 - a1b3 - a2b1 - a2b2 + a2b3 + a3b2 + a3b3
#243: 1 0.375
#244: 1 + a2 - a3 + b1 - a1b1 - a1b2 + a1b3 - a2b1 - a2b3 - a3b1 + a3b2 + a3b3
#244: 1 -0.25
#245: 1 + a1 - a3 + b1 - a1b1 - a1b3 - a2b1 - a2b2 + a2b3 - a3b1 + a3b2 + a3b3
#245: 1 0.125
#246: 1 - a1 + a3 + b1 - a1b1 + a1b2 + a1b3 - a2b1 - a2b2 + a2b3 - a3b1 - a3b3
#246: 1 0.875
#247: 1 - a2 + a3 + b1 - a1b1 - a1b2 + a1b3 - a2b1 + a2b2 + a2b3 - a3b1 - a3b3
#247: 1 0.125
#248: 0 - a1 - a3 - b3 - a1b1 + a1b2 + a1b3 - a2b1 - a2b2 + a2b3 + a3b1 + a3b3
#248: 0 -0.375
#249: 0 - a2 - a3 - b3 - a1b1 - a1b2 + a1b3 - a2b1 + a2b2 + a2b3 + a3b1 + a3b3
#249: 0 -1.125
#250: 1 + a1 - a2 + b1 - a1b1 - a1b3 - a2b1 + a2b2 + a2b3 - a3b1 - a3b2 + a3b3
#250: 1 -0.625
#251: 1 - a1 + a2 + b1 - a1b1 + a1b2 + a1b3 - a2b1 - a2b3 - a3b1 - a3b2 + a3b3
#251: 1 -0.25
#252: 0 - a1 - a3 - b3 + a1b1 + a1b3 - a2b1 - a2b2 + a2b3 - a3b1 + a3b2 + a3b3
#252: 0 -1.125
#253: 0 - a2 - a3 - b3 - a1b1 - a1b2 + a1b3 + a2b1 + a2b3 - a3b1 + a3b2 + a3b3
#253: 0 -0.75
#254: 0 - a1 - a2 - b3 + a1b1 + a1b3 - a2b1 + a2b2 + a2b3 - a3b1 - a3b2 + a3b3
#254: 0 -1.875
#255: 0 - a1 - a2 - b3 - a1b1 + a1b2 + a1b3 + a2b1 + a2b3 - a3b1 - a3b2 + a3b3
#255: 0 -0.75
#256: 1 - a2 + a3 + b2 - b3 + a1b1 - a1b2 + a1b3 - a2b1 + a2b2 + a2b3 - a3b1 - a3b2
#256: 1 -0.75
#257: 1 - a1 + a3 + b2 - b3 - a1b1 + a1b2 + a1b3 + a2b1 - a2b2 + a2b3 - a3b1 - a3b2
#257: 1 0.75
#258: 2 - a2 +2a3 + b1 + b2 - a1b2 + a1b3 - a2b1 + a2b2 + a2b3 - a3b1 - a3b2 - a3b3
#258: 2 0.75
#259: 2 - a1 +2a3 + b1 + b2 - a1b1 + a1b2 + a1b3 - a2b2 + a2b3 - a3b1 - a3b2 - a3b3
#259: 2 1.875
#260: 2 +2a1 - a3 + b1 + b2 - a1b1 - a1b2 - a1b3 - a2b2 + a2b3 - a3b1 + a3b2 + a3b3
#260: 2 1.125
#261: 2 +2a2 - a3 + b1 + b2 - a1b2 + a1b3 - a2b1 - a2b2 - a2b3 - a3b1 + a3b2 + a3b3
#261: 2 0.75
#262: 1 + a2 - a3 + b2 - b3 + a1b1 - a1b2 + a1b3 - a2b1 - a2b2 - a3b1 + a3b2 + a3b3
#262: 1 -0.375
#263: 1 + a1 - a3 + b2 - b3 - a1b1 - a1b2 + a2b1 - a2b2 + a2b3 - a3b1 + a3b2 + a3b3
#263: 1 0.375
#264: 1 - a1 + a2 + b2 - b3 - a1b1 + a1b2 + a1b3 - a2b1 - a2b2 + a3b1 - a3b2 + a3b3
#264: 1 0.375
#265: 1 + a1 - a2 + b2 - b3 - a1b1 - a1b2 - a2b1 + a2b2 + a2b3 + a3b1 - a3b2 + a3b3
#265: 1 -0.375
#266: 2 +2a1 - a2 + b1 + b2 - a1b1 - a1b2 - a1b3 - a2b1 + a2b2 + a2b3 - a3b2 + a3b3
#266: 2 0.375
#267: 2 - a1 +2a2 + b1 + b2 - a1b1 + a1b2 + a1b3 - a2b1 - a2b2 - a2b3 - a3b2 + a3b3
#267: 2 1.125
#268: 2 - a1 +2a2 + b1 + b3 - a1b1 + a1b2 + a1b3 - a2b1 - a2b2 - a2b3 + a3b2 - a3b3
#268: 2 1.875
#269: 2 +2a1 - a2 + b1 + b3 - a1b1 - a1b2 - a1b3 - a2b1 + a2b2 + a2b3 + a3b2 - a3b3
#269: 2 1.125
#270: 1 + a1 - a2 - b2 + b3 - a1b1 - a1b3 - a2b1 + a2b2 + a2b3 + a3b1 + a3b2 - a3b3
#270: 1 0.375
#271: 1 - a1 + a2 - b2 + b3 - a1b1 + a1b2 + a1b3 - a2b1 - a2b3 + a3b1 + a3b2 - a3b3
#271: 1 0.75
#272: 2 +2a2 - a3 + b1 + b3 + a1b2 - a1b3 - a2b1 - a2b2 - a2b3 - a3b1 + a3b2 + a3b3
#272: 2 0.75
#273: 2 +2a1 - a3 + b1 + b3 - a1b1 - a1b2 - a1b3 + a2b2 - a2b3 - a3b1 + a3b2 + a3b3
#273: 2 0.375
#274: 1 + a1 - a3 - b2 + b3 - a1b1 - a1b3 + a2b1 + a2b2 - a2b3 - a3b1 + a3b2 + a3b3
#274: 1 -0.375
#275: 1 + a2 - a3 - b2 + b3 + a1b1 + a1b2 - a1b3 - a2b1 - a2b3 - a3b1 + a3b2 + a3b3
#275: 1 -0.75
#276: 1 - a1 + a3 - b2 + b3 - a1b1 + a1b2 + a1b3 + a2b1 + a2b2 - a2b3 - a3b1 - a3b3
#276: 1 0.375
#277: 1 - a2 + a3 - b2 + b3 + a1b1 + a1b2 - a1b3 - a2b1 + a2b2 + a2b3 - a3b1 - a3b3
#277: 1 -0.375
#278: 2 - a2 +2a3 + b1 + b3 + a1b2 - a1b3 - a2b1 + a2b2 + a2b3 - a3b1 - a3b2 - a3b3
#278: 2 0.75
#279: 2 - a1 +2a3 + b1 + b3 - a1b1 + a1b2 + a1b3 + a2b2 - a2b3 - a3b1 - a3b2 - a3b3
#279: 2 1.125
#280: 2 + a1 + a2 +2b1 - b2 - a1b1 + a1b2 - a1b3 - a2b1 - a2b2 - a3b1 + a3b2 + a3b3
#280: 2 1.125
#281: 2 + a1 + a2 +2b1 - b2 - a1b1 - a1b2 - a2b1 + a2b2 - a2b3 - a3b1 + a3b2 + a3b3
#281: 2 0.375
#282: 2 + a1 + a3 +2b1 - b2 - a1b1 - a1b2 - a2b1 + a2b2 + a2b3 - a3b1 + a3b2 - a3b3
#282: 2 1.125
#283: 2 + a2 + a3 +2b1 - b2 - a1b1 + a1b2 + a1b3 - a2b1 - a2b2 - a3b1 + a3b2 - a3b3
#283: 2 1.875
#284: 2 + a1 + a3 +2b1 - b2 - a1b1 + a1b2 - a1b3 - a2b1 + a2b2 + a2b3 - a3b1 - a3b2
#284: 2 0.75
#285: 2 + a2 + a3 +2b1 - b2 - a1b1 + a1b2 + a1b3 - a2b1 + a2b2 - a2b3 - a3b1 - a3b2
#285: 2 0.75
#286: 3 +2a2 + a3 +2b1 + b2 - a1b1 + a1b2 - a2b1 - a2b2 - a2b3 - a3b1 - a3b2 + a3b3
#286: 3 1.875
#287: 3 + a2 +2a3 +2b1 + b2 - a1b1 + a1b2 - a2b1 - a2b2 + a2b3 - a3b1 - a3b2 - a3b3
#287: 3 2.625
#288: 3 +2a1 + a3 +2b1 + b2 - a1b1 - a1b2 - a1b3 - a2b1 + a2b2 - a3b1 - a3b2 + a3b3
#288: 3 1.125
#289: 3 + a1 +2a3 +2b1 + b2 - a1b1 - a1b2 + a1b3 - a2b1 + a2b2 - a3b1 - a3b2 - a3b3
#289: 3 1.875
#290: 3 + a1 +2a2 +2b1 + b2 - a1b1 - a1b2 + a1b3 - a2b1 - a2b2 - a2b3 - a3b1 + a3b2
#290: 3 2.25
#291: 3 +2a1 + a2 +2b1 + b2 - a1b1 - a1b2 - a1b3 - a2b1 - a2b2 + a2b3 - a3b1 + a3b2
#291: 3 2.25
#292: 0 - a1 - a3 - b2 + a1b1 + a1b2 - a2b1 + a2b2 - a2b3 - a3b1 + a3b2 + a3b3
#292: 0 -1.875
#293: 0 - a2 - a3 - b2 - a1b1 + a1b2 - a1b3 + a2b1 + a2b2 - a3b1 + a3b2 + a3b3
#293: 0 -1.125
#294: 1 + a1 - a3 + b1 - a1b1 - a1b2 - a2b1 + a2b2 - a2b3 - a3b1 + a3b2 + a3b3
#294: 1 -0.625
#295: 1 + a2 - a3 + b1 - a1b1 + a1b2 - a1b3 - a2b1 - a2b2 - a3b1 + a3b2 + a3b3
#295: 1 0.125
#296: 1 - a1 + a3 + b1 - a1b1 + a1b2 + a1b3 - a2b1 + a2b2 - a2b3 - a3b1 - a3b2
#296: 1 -0.25
#297: 1 - a2 + a3 + b1 - a1b1 + a1b2 - a1b3 - a2b1 + a2b2 + a2b3 - a3b1 - a3b2
#297: 1 -0.25
#298: 0 - a2 - a3 - b2 - a1b1 + a1b2 - a1b3 - a2b1 + a2b2 + a2b3 + a3b1 + a3b2
#298: 0 -0.75
#299: 0 - a1 - a3 - b2 - a1b1 + a1b2 + a1b3 - a2b1 + a2b2 - a2b3 + a3b1 + a3b2
#299: 0 -0.75
#300: 1 - a1 + a2 + b1 - a1b1 + a1b2 + a1b3 - a2b1 - a2b2 - a3b1 + a3b2 - a3b3
#300: 1 0.875
#301: 1 + a1 - a2 + b1 - a1b1 - a1b2 - a2b1 + a2b2 + a2b3 - a3b1 + a3b2 - a3b3
#301: 1 0.125
#302: 0 - a1 - a2 - b2 - a1b1 + a1b2 + a1b3 + a2b1 + a2b2 - a3b1 + a3b2 - a3b3
#302: 0 -0.375
#303: 0 - a1 - a2 - b2 + a1b1 + a1b2 - a2b1 + a2b2 + a2b3 - a3b1 + a3b2 - a3b3
#303: 0 -1.125
#304: 2 + a1 + a2 +2b1 - b3 - a1b1 - a1b2 + a1b3 - a2b1 - a2b3 - a3b1 + a3b2 + a3b3
#304: 2 0.75
#305: 2 + a1 + a2 +2b1 - b3 - a1b1 - a1b3 - a2b1 - a2b2 + a2b3 - a3b1 + a3b2 + a3b3
#305: 2 1.125
#306: 2 + a2 + a3 +2b1 - b3 - a1b1 + a1b2 + a1b3 - a2b1 - a2b2 + a2b3 - a3b1 - a3b3
#306: 2 1.875
#307: 2 + a1 + a3 +2b1 - b3 - a1b1 - a1b2 + a1b3 - a2b1 + a2b2 + a2b3 - a3b1 - a3b3
#307: 2 1.125
#308: 3 +2a2 + a3 +2b1 + b3 - a1b1 + a1b3 - a2b1 - a2b2 - a2b3 - a3b1 + a3b2 - a3b3
#308: 3 2.625
#309: 3 + a2 +2a3 +2b1 + b3 - a1b1 + a1b3 - a2b1 + a2b2 - a2b3 - a3b1 - a3b2 - a3b3
#309: 3 1.875
#310: 3 +2a1 + a3 +2b1 + b3 - a1b1 - a1b2 - a1b3 - a2b1 + a2b3 - a3b1 + a3b2 - a3b3
#310: 3 2.25
#311: 3 + a1 +2a3 +2b1 + b3 - a1b1 + a1b2 - a1b3 - a2b1 + a2b3 - a3b1 - a3b2 - a3b3
#311: 3 2.25
#312: 2 + a1 + a3 +2b1 - b3 - a1b1 - a1b3 - a2b1 + a2b2 + a2b3 - a3b1 - a3b2 + a3b3
#312: 2 0.375
#313: 2 + a2 + a3 +2b1 - b3 - a1b1 + a1b2 + a1b3 - a2b1 - a2b3 - a3b1 - a3b2 + a3b3
#313: 2 0.75
#314: 3 +2a1 + a2 +2b1 + b3 - a1b1 - a1b2 - a1b3 - a2b1 + a2b2 - a2b3 - a3b1 + a3b3
#314: 3 1.125
#315: 3 + a1 +2a2 +2b1 + b3 - a1b1 + a1b2 - a1b3 - a2b1 - a2b2 - a2b3 - a3b1 + a3b3
#315: 3 1.875
#316: 1 + a1 + b1 - a1b1 - a1b3 - a3b1 + a3b3
#316: 1 0.25
#317: 1 + a2 + b1 - a2b1 - a2b3 - a3b1 + a3b3
#317: 1 -0.125
#318: 1 + a2 + b1 - a1b1 + a1b2 - a2b1 - a2b2
#318: 1 1
#319: 1 + a1 + b1 - a1b1 - a1b2 - a2b1 + a2b2
#319: 1 0.25
#320: 1 + a2 + b1 - a1b1 + a1b3 - a2b1 - a2b3
#320: 1 0.625
#321: 1 + a1 + b1 - a1b1 - a1b3 - a2b1 + a2b3
#321: 1 0.625
#322: 0 - a1b1
#322: 0 0
#323: 0 - a2b1
#323: 0 -0.375
#324: 1 + a1 + b1 - a1b1 - a1b2 - a3b1 + a3b2
#324: 1 0.625
#325: 1 + a2 + b1 - a2b1 - a2b2 - a3b1 + a3b2
#325: 1 0.625
#326: 1 + a3 + b1 - a2b1 + a2b3 - a3b1 - a3b3
#326: 1 0.625
#327: 1 + a3 + b1 - a1b1 + a1b3 - a3b1 - a3b3
#327: 1 1
#328: 1 + a3 + b1 - a1b1 + a1b2 - a3b1 - a3b2
#328: 1 0.625
#329: 1 + a3 + b1 - a2b1 + a2b2 - a3b1 - a3b2
#329: 1 -0.125
#330: 0 - a3b1
#330: 0 -0.375
#331: 1 + a1 - a2 - b1 + b2 + a1b1 - a1b2 - a1b3 + a2b1 + a2b3 - a3b1 - a3b2 + a3b3
#331: 1 -0.75
#332: 1 - a1 + a2 - b1 + b2 + a1b1 + a1b3 + a2b1 - a2b2 - a2b3 - a3b1 - a3b2 + a3b3
#332: 1 -0.375
#333: 0 - a1 - b1 - b3 + a1b1 + a1b2 + a1b3 + a2b1 - a2b2 - a3b1 - a3b2 + a3b3
#333: 0 -1.125
#334: 0 - a2 - b1 - b3 + a1b1 - a1b2 + a2b1 + a2b2 + a2b3 - a3b1 - a3b2 + a3b3
#334: 0 -1.875
#335: 1 - a1 + a3 - b1 + b2 + a1b1 + a1b3 - a2b1 - a2b2 + a2b3 + a3b1 - a3b2 - a3b3
#335: 1 0.375
#336: 1 - a2 + a3 - b1 + b2 - a1b1 - a1b2 + a1b3 + a2b1 + a2b3 + a3b1 - a3b2 - a3b3
#336: 1 0.75
#337: 0 - a1 - b1 - b3 + a1b1 + a1b2 + a1b3 - a2b1 - a2b2 + a2b3 + a3b1 - a3b2
#337: 0 -0.75
#338: 0 - a2 - b1 - b3 - a1b1 - a1b2 + a1b3 + a2b1 + a2b2 + a2b3 + a3b1 - a3b2
#338: 0 -0.75
#339: 0 - a3 - b1 - b3 + a1b1 - a1b2 - a2b1 - a2b2 + a2b3 + a3b1 + a3b2 + a3b3
#339: 0 -1.125
#340: 0 - a3 - b1 - b3 - a1b1 - a1b2 + a1b3 + a2b1 - a2b2 + a3b1 + a3b2 + a3b3
#340: 0 -0.375
#341: 1 + a1 - a3 - b1 + b2 + a1b1 - a1b2 - a1b3 - a2b1 - a2b2 + a2b3 + a3b1 + a3b3
#341: 1 -0.375
#342: 1 + a2 - a3 - b1 + b2 - a1b1 - a1b2 + a1b3 + a2b1 - a2b2 - a2b3 + a3b1 + a3b3
#342: 1 0.375
#343: 1 - a1 + a3 + b2 - b3 + a1b1 + a1b3 + a2b1 - a2b2 - a2b3 - a3b1 - a3b2 + a3b3
#343: 1 -0.375
#344: 1 - a2 + a3 + b2 - b3 + a1b1 - a1b2 - a1b3 + a2b1 + a2b3 - a3b1 - a3b2 + a3b3
#344: 1 -0.75
#345: 0 - a1 - b1 - b3 + a1b1 + a1b2 + a1b3 + a2b1 - a2b2 - a2b3 - a3b2 + a3b3
#345: 0 -1.125
#346: 0 - a2 - b1 - b3 + a1b1 - a1b2 - a1b3 + a2b1 + a2b2 + a2b3 - a3b2 + a3b3
#346: 0 -1.875
#347: 1 + a1 - a2 + b2 - b3 - a1b1 - a1b2 + a1b3 + a2b1 + a2b3 + a3b1 - a3b2 - a3b3
#347: 1 0.75
#348: 1 - a1 + a2 + b2 - b3 + a1b1 + a1b3 - a2b1 - a2b2 + a2b3 + a3b1 - a3b2 - a3b3
#348: 1 0.375
#349: 0 - a1 - b1 - b3 + a1b1 + a1b2 + a1b3 - a2b2 + a2b3 + a3b1 - a3b2 - a3b3
#349: 0 -0.375
#350: 0 - a2 - b1 - b3 - a1b2 + a1b3 + a2b1 + a2b2 + a2b3 + a3b1 - a3b2 - a3b3
#350: 0 -0.75
#351: 0 - a3 - b1 - b3 + a1b1 - a1b2 - a1b3 - a2b2 + a2b3 + a3b1 + a3b2 + a3b3
#351: 0 -1.125
#352: 0 - a3 - b1 - b3 - a1b2 + a1b3 + a2b1 - a2b2 - a2b3 + a3b1 + a3b2 + a3b3
#352: 0 -0.75
#353: 1 + a1 - a3 + b2 - b3 - a1b1 - a1b2 + a1b3 + a2b1 - a2b2 - a2b3 + a3b1 + a3b3
#353: 1 0.375
#354: 1 + a2 - a3 + b2 - b3 + a1b1 - a1b2 - a1b3 - a2b1 - a2b2 + a2b3 + a3b1 + a3b3
#354: 1 -0.375
#355: 1 + a2 - a3 + b2 - a1b1 - a1b2 + a1b3 - a2b2 - a2b3 + a3b1 - a3b2 + a3b3
#355: 1 0.125
#356: 1 + a1 - a3 + b2 - a1b2 - a1b3 - a2b1 - a2b2 + a2b3 + a3b1 - a3b2 + a3b3
#356: 1 -0.25
#357: 0 - a1 - a3 - b3 + a1b2 + a1b3 - a2b1 - a2b2 + a2b3 + a3b1 - a3b2 + a3b3
#357: 0 -0.75
#358: 0 - a2 - a3 - b3 - a1b1 - a1b2 + a1b3 + a2b2 + a2b3 + a3b1 - a3b2 + a3b3
#358: 0 -1.125
#359: 1 - a1 + a3 + b2 + a1b1 - a1b2 + a1b3 - a2b1 - a2b2 + a2b3 - a3b2 - a3b3
#359: 1 0.125
#360: 1 - a2 + a3 + b2 - a1b1 - a1b2 + a1b3 + a2b1 - a2b2 + a2b3 - a3b2 - a3b3
#360: 1 0.875
#361: 0 - a1 - a3 - b3 + a1b1 - a1b2 + a1b3 - a2b1 - a2b2 + a2b3 + a3b2 + a3b3
#361: 0 -1.125
#362: 0 - a2 - a3 - b3 - a1b1 - a1b2 + a1b3 + a2b1 - a2b2 + a2b3 + a3b2 + a3b3
#362: 0 -0.375
#363: 1 + a1 - a2 + b2 - a1b2 - a1b3 + a2b1 - a2b2 + a2b3 - a3b1 - a3b2 + a3b3
#363: 1 -0.25
#364: 1 - a1 + a2 + b2 + a1b1 - a1b2 + a1b3 - a2b2 - a2b3 - a3b1 - a3b2 + a3b3
#364: 1 -0.625
#365: 0 - a1 - a2 - b3 + a1b2 + a1b3 + a2b1 - a2b2 + a2b3 - a3b1 - a3b2 + a3b3
#365: 0 -0.75
#366: 0 - a1 - a2 - b3 + a1b1 - a1b2 + a1b3 + a2b2 + a2b3 - a3b1 - a3b2 + a3b3
#366: 0 -1.875
#367: 2 - a1 +2a3 + b1 + b2 + a1b1 - a1b2 + a1b3 - a2b1 + a2b3 - a3b1 - a3b2 - a3b3
#367: 2 0.75
#368: 2 - a2 +2a3 + b1 + b2 - a1b1 + a1b3 + a2b1 - a2b2 + a2b3 - a3b1 - a3b2 - a3b3
#368: 2 1.875
#369: 1 - a1 + a3 + b1 - b3 + a1b1 - a1b2 + a1b3 - a2b1 + a2b2 + a2b3 - a3b1 - a3b2
#369: 1 -0.75
#370: 1 - a2 + a3 + b1 - b3 - a1b1 + a1b2 + a1b3 + a2b1 - a2b2 + a2b3 - a3b1 - a3b2
#370: 1 0.75
#371: 1 - a1 + a2 + b1 - b3 + a1b1 - a1b2 + a1b3 - a2b1 - a2b2 - a3b1 + a3b2 + a3b3
#371: 1 -0.375
#372: 1 + a1 - a2 + b1 - b3 - a1b1 - a1b2 + a2b1 - a2b2 + a2b3 - a3b1 + a3b2 + a3b3
#372: 1 0.375
#373: 2 +2a1 - a2 + b1 + b2 - a1b1 - a1b2 - a1b3 + a2b1 - a2b2 + a2b3 - a3b1 + a3b3
#373: 2 1.125
#374: 2 - a1 +2a2 + b1 + b2 + a1b1 - a1b2 + a1b3 - a2b1 - a2b2 - a2b3 - a3b1 + a3b3
#374: 2 0.375
#375: 2 +2a1 - a3 + b1 + b2 - a1b1 - a1b2 - a1b3 - a2b1 + a2b3 + a3b1 - a3b2 + a3b3
#375: 2 0.75
#376: 2 +2a2 - a3 + b1 + b2 - a1b1 + a1b3 - a2b1 - a2b2 - a2b3 + a3b1 - a3b2 + a3b3
#376: 2 1.125
#377: 1 + a2 - a3 + b1 - b3 - a1b1 + a1b2 + a1b3 - a2b1 - a2b2 + a3b1 - a3b2 + a3b3
#377: 1 0.375
#378: 1 + a1 - a3 + b1 - b3 - a1b1 - a1b2 - a2b1 + a2b2 + a2b3 + a3b1 - a3b2 + a3b3
#378: 1 -0.375
#379: 2 - a1 +2a2 + b2 + b3 + a1b1 - a1b2 + a1b3 - a2b1 - a2b2 - a2b3 + a3b1 - a3b3
#379: 2 1.125
#380: 2 +2a1 - a2 + b2 + b3 - a1b1 - a1b2 - a1b3 + a2b1 - a2b2 + a2b3 + a3b1 - a3b3
#380: 2 1.875
#381: 1 + a1 - a2 - b1 + b3 - a1b2 - a1b3 + a2b1 - a2b2 + a2b3 + a3b1 + a3b2 - a3b3
#381: 1 0.75
#382: 1 - a1 + a2 - b1 + b3 + a1b1 - a1b2 + a1b3 - a2b2 - a2b3 + a3b1 + a3b2 - a3b3
#382: 1 0.375
#383: 1 + a1 - a3 - b1 + b3 - a1b2 - a1b3 + a2b1 + a2b2 - a2b3 + a3b1 - a3b2 + a3b3
#383: 1 -0.75
#384: 1 + a2 - a3 - b1 + b3 + a1b1 + a1b2 - a1b3 - a2b2 - a2b3 + a3b1 - a3b2 + a3b3
#384: 1 -0.375
#385: 2 +2a2 - a3 + b2 + b3 + a1b1 - a1b3 - a2b1 - a2b2 - a2b3 + a3b1 - a3b2 + a3b3
#385: 2 0.375
#386: 2 +2a1 - a3 + b2 + b3 - a1b1 - a1b2 - a1b3 + a2b1 - a2b3 + a3b1 - a3b2 + a3b3
#386: 2 0.75
#387: 1 - a2 + a3 - b1 + b3 + a1b1 + a1b2 - a1b3 + a2b1 - a2b2 + a2b3 - a3b2 - a3b3
#387: 1 0.375
#388: 1 - a1 + a3 - b1 + b3 + a1b1 - a1b2 + a1b3 + a2b1 + a2b2 - a2b3 - a3b2 - a3b3
#388: 1 -0.375
#389: 2 - a2 +2a3 + b2 + b3 + a1b1 - a1b3 + a2b1 - a2b2 + a2b3 - a3b1 - a3b2 - a3b3
#389: 2 1.125
#390: 2 - a1 +2a3 + b2 + b3 + a1b1 - a1b2 + a1b3 + a2b1 - a2b3 - a3b1 - a3b2 - a3b3
#390: 2 0.75
#391: 2 + a1 + a2 - b1 +2b2 + a1b1 - a1b2 - a1b3 - a2b1 - a2b2 + a3b1 - a3b2 + a3b3
#391: 2 0.375
#392: 2 + a1 + a2 - b1 +2b2 - a1b1 - a1b2 + a2b1 - a2b2 - a2b3 + a3b1 - a3b2 + a3b3
#392: 2 1.125
#393: 2 + a1 + a3 - b1 +2b2 - a1b1 - a1b2 + a2b1 - a2b2 + a2b3 + a3b1 - a3b2 - a3b3
#393: 2 1.875
#394: 2 + a2 + a3 - b1 +2b2 + a1b1 - a1b2 + a1b3 - a2b1 - a2b2 + a3b1 - a3b2 - a3b3
#394: 2 1.125
#395: 2 + a2 + a3 - b1 +2b2 + a1b1 - a1b2 + a1b3 + a2b1 - a2b2 - a2b3 - a3b1 - a3b2
#395: 2 0.75
#396: 2 + a1 + a3 - b1 +2b2 + a1b1 - a1b2 - a1b3 + a2b1 - a2b2 + a2b3 - a3b1 - a3b2
#396: 2 0.75
#397: 3 +2a2 + a3 + b1 +2b2 + a1b1 - a1b2 - a2b1 - a2b2 - a2b3 - a3b1 - a3b2 + a3b3
#397: 3 1.125
#398: 3 + a2 +2a3 + b1 +2b2 + a1b1 - a1b2 - a2b1 - a2b2 + a2b3 - a3b1 - a3b2 - a3b3
#398: 3 1.875
#399: 3 +2a1 + a3 + b1 +2b2 - a1b1 - a1b2 - a1b3 + a2b1 - a2b2 - a3b1 - a3b2 + a3b3
#399: 3 1.875
#400: 3 + a1 +2a3 + b1 +2b2 - a1b1 - a1b2 + a1b3 + a2b1 - a2b2 - a3b1 - a3b2 - a3b3
#400: 3 2.625
#401: 3 + a1 +2a2 + b1 +2b2 - a1b1 - a1b2 + a1b3 - a2b1 - a2b2 - a2b3 + a3b1 - a3b2
#401: 3 2.25
#402: 3 +2a1 + a2 + b1 +2b2 - a1b1 - a1b2 - a1b3 - a2b1 - a2b2 + a2b3 + a3b1 - a3b2
#402: 3 2.25
#403: 0 - a2 - a3 - b1 + a1b1 - a1b2 - a1b3 + a2b1 + a2b2 + a3b1 - a3b2 + a3b3
#403: 0 -1.875
#404: 0 - a1 - a3 - b1 + a1b1 + a1b2 + a2b1 - a2b2 - a2b3 + a3b1 - a3b2 + a3b3
#404: 0 -1.125
#405: 1 + a1 - a3 + b2 - a1b1 - a1b2 + a2b1 - a2b2 - a2b3 + a3b1 - a3b2 + a3b3
#405: 1 0.125
#406: 1 + a2 - a3 + b2 + a1b1 - a1b2 - a1b3 - a2b1 - a2b2 + a3b1 - a3b2 + a3b3
#406: 1 -0.625
#407: 1 - a1 + a3 + b2 + a1b1 - a1b2 + a1b3 + a2b1 - a2b2 - a2b3 - a3b1 - a3b2
#407: 1 -0.25
#408: 1 - a2 + a3 + b2 + a1b1 - a1b2 - a1b3 + a2b1 - a2b2 + a2b3 - a3b1 - a3b2
#408: 1 -0.25
#409: 0 - a2 - a3 - b1 + a1b1 - a1b2 - a1b3 + a2b1 - a2b2 + a2b3 + a3b1 + a3b2
#409: 0 -0.75
#410: 0 - a1 - a3 - b1 + a1b1 - a1b2 + a1b3 + a2b1 - a2b2 - a2b3 + a3b1 + a3b2
#410: 0 -0.75
#411: 1 - a1 + a2 + b2 + a1b1 - a1b2 + a1b3 - a2b1 - a2b2 + a3b1 - a3b2 - a3b3
#411: 1 0.125
#412: 1 + a1 - a2 + b2 - a1b1 - a1b2 + a2b1 - a2b2 + a2b3 + a3b1 - a3b2 - a3b3
#412: 1 0.875
#413: 0 - a1 - a2 - b1 + a1b1 + a1b2 + a2b1 - a2b2 + a2b3 + a3b1 - a3b2 - a3b3
#413: 0 -0.375
#414: 0 - a1 - a2 - b1 + a1b1 - a1b2 + a1b3 + a2b1 + a2b2 + a3b1 - a3b2 - a3b3
#414: 0 -1.125
#415: 2 + a1 + a2 +2b2 - b3 - a1b1 - a1b2 + a1b3 - a2b2 - a2b3 + a3b1 - a3b2 + a3b3
#415: 2 1.125
#416: 2 + a1 + a2 +2b2 - b3 - a1b2 - a1b3 - a2b1 - a2b2 + a2b3 + a3b1 - a3b2 + a3b3
#416: 2 0.75
#417: 3 +2a2 + a3 +2b2 + b3 - a1b2 + a1b3 - a2b1 - a2b2 - a2b3 + a3b1 - a3b2 - a3b3
#417: 3 2.25
#418: 3 + a2 +2a3 +2b2 + b3 - a1b2 + a1b3 + a2b1 - a2b2 - a2b3 - a3b1 - a3b2 - a3b3
#418: 3 2.25
#419: 3 +2a1 + a3 +2b2 + b3 - a1b1 - a1b2 - a1b3 - a2b2 + a2b3 + a3b1 - a3b2 - a3b3
#419: 3 2.625
#420: 3 + a1 +2a3 +2b2 + b3 + a1b1 - a1b2 - a1b3 - a2b2 + a2b3 - a3b1 - a3b2 - a3b3
#420: 3 1.875
#421: 2 + a2 + a3 +2b2 - b3 + a1b1 - a1b2 + a1b3 - a2b1 - a2b2 + a2b3 - a3b2 - a3b3
#421: 2 1.125
#422: 2 + a1 + a3 +2b2 - b3 - a1b1 - a1b2 + a1b3 + a2b1 - a2b2 + a2b3 - a3b2 - a3b3
#422: 2 1.875
#423: 2 + a1 + a3 +2b2 - b3 - a1b2 - a1b3 + a2b1 - a2b2 + a2b3 - a3b1 - a3b2 + a3b3
#423: 2 0.75
#424: 2 + a2 + a3 +2b2 - b3 + a1b1 - a1b2 + a1b3 - a2b2 - a2b3 - a3b1 - a3b2 + a3b3
#424: 2 0.375
#425: 3 +2a1 + a2 +2b2 + b3 - a1b1 - a1b2 - a1b3 + a2b1 - a2b2 - a2b3 - a3b2 + a3b3
#425: 3 1.875
#426: 3 + a1 +2a2 +2b2 + b3 + a1b1 - a1b2 - a1b3 - a2b1 - a2b2 - a2b3 - a3b2 + a3b3
#426: 3 1.125
#427: 1 + a1 + b2 - a1b2 - a1b3 - a3b2 + a3b3
#427: 1 -0.125
#428: 1 + a2 + b2 - a2b2 - a2b3 - a3b2 + a3b3
#428: 1 0.25
#429: 1 + a1 + b2 - a1b1 - a1b2 + a3b1 - a3b2
#429: 1 0.625
#430: 1 + a2 + b2 - a2b1 - a2b2 + a3b1 - a3b2
#430: 1 0.625
#431: 1 + a2 + b2 + a1b1 - a1b2 - a2b1 - a2b2
#431: 1 0.25
#432: 1 + a1 + b2 - a1b1 - a1b2 + a2b1 - a2b2
#432: 1 1
#433: 1 + a2 + b2 - a1b2 + a1b3 - a2b2 - a2b3
#433: 1 0.625
#434: 1 + a1 + b2 - a1b2 - a1b3 - a2b2 + a2b3
#434: 1 0.625
#435: 0 - a1b2
#435: 0 -0.375
#436: 0 - a2b2
#436: 0 0
#437: 1 + a3 + b2 - a2b2 + a2b3 - a3b2 - a3b3
#437: 1 1
#438: 1 + a3 + b2 - a1b2 + a1b3 - a3b2 - a3b3
#438: 1 0.625
#439: 1 + a3 + b2 + a2b1 - a2b2 - a3b1 - a3b2
#439: 1 0.625
#440: 1 + a3 + b2 + a1b1 - a1b2 - a3b1 - a3b2
#440: 1 -0.125
#441: 0 - a3b2
#441: 0 -0.375
#442: 0 - a2 - a3 - b1 - b2 + a1b1 + a1b2 - a1b3 + a2b1 + a2b3 - a3b1 + a3b2 + a3b3
#442: 0 -1.25
#443: 0 - a1 - a3 - b1 - b2 + a1b1 + a1b3 + a2b1 + a2b2 - a2b3 - a3b1 + a3b2 + a3b3
#443: 0 -1.625
#444: 0 - a1 - a2 - b1 - b3 + a1b1 + a1b2 - a2b1 + a2b2 + a2b3 + a3b1 - a3b2 + a3b3
#444: 0 -1.625
#445: 0 - a1 - a2 - b1 - b3 - a1b1 + a1b2 + a1b3 + a2b1 + a2b2 + a3b1 - a3b2 + a3b3
#445: 0 -0.875
#446: 0 - a1 - a3 - b1 - b2 - a1b1 + a1b2 + a1b3 + a2b1 + a2b2 - a2b3 + a3b1 + a3b3
#446: 0 -0.875
#447: 0 - a2 - a3 - b1 - b2 + a1b1 + a1b2 - a1b3 - a2b1 + a2b2 + a2b3 + a3b1 + a3b3
#447: 0 -1.625
#448: 0 - a2 - a3 - b1 - b3 + a1b1 - a1b2 + a1b3 + a2b1 + a2b2 - a3b1 + a3b2 + a3b3
#448: 0 -1.625
#449: 0 - a1 - a3 - b1 - b3 + a1b1 + a1b2 + a2b1 - a2b2 + a2b3 - a3b1 + a3b2 + a3b3
#449: 0 -0.875
#450: 0 - a1 - a2 - b1 - b2 + a1b1 + a1b3 - a2b1 + a2b2 + a2b3 + a3b1 + a3b2 - a3b3
#450: 0 -0.875
#451: 0 - a1 - a2 - b1 - b2 - a1b1 + a1b2 + a1b3 + a2b1 + a2b3 + a3b1 + a3b2 - a3b3
#451: 0 0.25 !!!!!!!!!!!!!!!!!!!!!!!!!
#452: 0 - a2 - a3 - b1 - b3 + a1b1 - a1b2 + a1b3 - a2b1 + a2b2 + a2b3 + a3b1 + a3b2
#452: 0 -1.25
#453: 0 - a1 - a3 - b1 - b3 - a1b1 + a1b2 + a1b3 + a2b1 - a2b2 + a2b3 + a3b1 + a3b2
#453: 0 0.25 !!!!!!!!!!!!!!!!!!!!!!!!!
#454: 0 - a1 - a2 - b1 - b2 + a1b2 + a1b3 + a2b1 - a2b2 + a2b3 + a3b1 + a3b2 - a3b3
#454: 0 0.25 !!!!!!!!!!!!!!!!!!!!!!!!!
#455: 0 - a1 - a2 - b1 - b2 + a1b1 - a1b2 + a1b3 + a2b2 + a2b3 + a3b1 + a3b2 - a3b3
#455: 0 -0.875
#456: 0 - a1 - a3 - b2 - b3 + a1b1 - a1b2 + a1b3 - a2b1 + a2b2 + a2b3 + a3b1 + a3b2
#456: 0 -1.25
#457: 0 - a2 - a3 - b2 - b3 - a1b1 + a1b2 + a1b3 + a2b1 - a2b2 + a2b3 + a3b1 + a3b2
#457: 0 0.25 !!!!!!!!!!!!!!!!!!!!!!!!!
#458: 0 - a1 - a3 - b2 - b3 + a1b1 + a1b2 - a2b1 + a2b2 + a2b3 + a3b1 - a3b2 + a3b3
#458: 0 -1.625
#459: 0 - a2 - a3 - b2 - b3 - a1b1 + a1b2 + a1b3 + a2b1 + a2b2 + a3b1 - a3b2 + a3b3
#459: 0 -0.875
#460: 0 - a2 - a3 - b1 - b2 + a1b1 + a1b2 - a1b3 + a2b2 + a2b3 + a3b1 - a3b2 + a3b3
#460: 0 -1.625
#461: 0 - a1 - a3 - b1 - b2 + a1b2 + a1b3 + a2b1 + a2b2 - a2b3 + a3b1 - a3b2 + a3b3
#461: 0 -1.25
#462: 0 - a1 - a3 - b1 - b2 + a1b1 - a1b2 + a1b3 + a2b1 + a2b2 - a2b3 + a3b2 + a3b3
#462: 0 -1.625
#463: 0 - a2 - a3 - b1 - b2 + a1b1 + a1b2 - a1b3 + a2b1 - a2b2 + a2b3 + a3b2 + a3b3
#463: 0 -0.875
#464: 0 - a1 - a2 - b2 - b3 + a1b1 - a1b2 + a1b3 + a2b1 + a2b2 - a3b1 + a3b2 + a3b3
#464: 0 -1.625
#465: 0 - a1 - a2 - b2 - b3 + a1b1 + a1b2 + a2b1 - a2b2 + a2b3 - a3b1 + a3b2 + a3b3
#465: 0 -0.875
#466: 0 - a1 - a3 - b1 - b3 + a1b2 + a1b3 + a2b1 - a2b2 + a2b3 + a3b1 + a3b2 - a3b3
#466: 0 0.25 !!!!!!!!!!!!!!!!!!!!!!!!!
#467: 0 - a2 - a3 - b1 - b3 + a1b1 - a1b2 + a1b3 + a2b2 + a2b3 + a3b1 + a3b2 - a3b3
#467: 0 -0.875
#468: 0 - a1 - a3 - b2 - b3 + a1b1 + a1b3 - a2b1 + a2b2 + a2b3 + a3b1 + a3b2 - a3b3
#468: 0 -0.875
#469: 0 - a2 - a3 - b2 - b3 - a1b1 + a1b2 + a1b3 + a2b1 + a2b3 + a3b1 + a3b2 - a3b3
#469: 0 0.25 !!!!!!!!!!!!!!!!!!!!!!!!!
#470: 0 - a1 - a3 - b2 - b3 + a1b1 + a1b2 - a1b3 - a2b1 + a2b2 + a2b3 + a3b1 + a3b3
#470: 0 -1.625
#471: 0 - a2 - a3 - b2 - b3 - a1b1 + a1b2 + a1b3 + a2b1 + a2b2 - a2b3 + a3b1 + a3b3
#471: 0 -0.875
#472: 0 - a1 - a3 - b1 - b3 + a1b1 + a1b2 - a1b3 + a2b1 - a2b2 + a2b3 + a3b2 + a3b3
#472: 0 -0.875
#473: 0 - a2 - a3 - b1 - b3 + a1b1 - a1b2 + a1b3 + a2b1 + a2b2 - a2b3 + a3b2 + a3b3
#473: 0 -1.625
#474: 0 - a1 - a2 - b1 - b3 + a1b2 + a1b3 + a2b1 + a2b2 - a2b3 + a3b1 - a3b2 + a3b3
#474: 0 -1.25
#475: 0 - a1 - a2 - b1 - b3 + a1b1 + a1b2 - a1b3 + a2b2 + a2b3 + a3b1 - a3b2 + a3b3
#475: 0 -1.625
#476: 0 - a1 - a2 - b2 - b3 + a1b1 + a1b3 + a2b1 + a2b2 - a2b3 - a3b1 + a3b2 + a3b3
#476: 0 -1.625
#477: 0 - a1 - a2 - b2 - b3 + a1b1 + a1b2 - a1b3 + a2b1 + a2b3 - a3b1 + a3b2 + a3b3
#477: 0 -1.25
#478: 0 - a1 -2a3 - b3 + a1b1 - a1b2 + a1b3 - a2b1 + a2b3 + a3b1 + a3b2 + a3b3
#478: 0 -1.25
#479: 0 - a2 -2a3 - b3 - a1b1 + a1b3 + a2b1 - a2b2 + a2b3 + a3b1 + a3b2 + a3b3
#479: 0 -0.125
#480: 0 - a1 -2a3 - b1 + a1b1 - a1b2 + a1b3 + a2b1 - a2b3 + a3b1 + a3b2 + a3b3
#480: 0 -1.25
#481: 0 - a2 -2a3 - b1 + a1b1 - a1b3 + a2b1 - a2b2 + a2b3 + a3b1 + a3b2 + a3b3
#481: 0 -0.875
#482: 0 -2a1 - a2 - b3 + a1b1 + a1b2 + a1b3 + a2b1 - a2b2 + a2b3 - a3b1 + a3b3
#482: 0 -0.875
#483: 0 - a1 -2a2 - b3 + a1b1 - a1b2 + a1b3 + a2b1 + a2b2 + a2b3 - a3b1 + a3b3
#483: 0 -1.625
#484: 0 -2a1 - a2 - b1 + a1b1 + a1b2 + a1b3 + a2b1 - a2b2 + a2b3 + a3b1 - a3b3
#484: 0 -0.125
#485: 0 - a1 -2a2 - b1 + a1b1 - a1b2 + a1b3 + a2b1 + a2b2 + a2b3 + a3b1 - a3b3
#485: 0 -0.875
#486: 0 -2a1 - a3 - b3 + a1b1 + a1b2 + a1b3 - a2b1 + a2b3 + a3b1 - a3b2 + a3b3
#486: 0 -1.25
#487: 0 -2a2 - a3 - b3 - a1b1 + a1b3 + a2b1 + a2b2 + a2b3 + a3b1 - a3b2 + a3b3
#487: 0 -0.875
#488: 0 -2a2 - a3 - b1 + a1b1 - a1b3 + a2b1 + a2b2 + a2b3 + a3b1 - a3b2 + a3b3
#488: 0 -1.625
#489: 0 -2a1 - a3 - b1 + a1b1 + a1b2 + a1b3 + a2b1 - a2b3 + a3b1 - a3b2 + a3b3
#489: 0 -1.25
#490: 0 - a3 - b2 -2b3 - a1b1 + a1b2 + a1b3 - a2b2 + a2b3 + a3b1 + a3b2 + a3b3
#490: 0 -0.125
#491: 0 - a3 - b2 -2b3 - a1b2 + a1b3 - a2b1 + a2b2 + a2b3 + a3b1 + a3b2 + a3b3
#491: 0 -1.25
#492: 0 - a1 - b2 -2b3 + a1b1 + a1b2 + a1b3 - a2b1 + a2b2 + a2b3 - a3b2 + a3b3
#492: 0 -1.625
#493: 0 - a2 - b2 -2b3 - a1b1 + a1b2 + a1b3 + a2b1 + a2b2 + a2b3 - a3b2 + a3b3
#493: 0 -0.875
#494: 1 - a1 + a2 + b2 -2b3 + a1b2 + a1b3 - a2b1 - a2b2 + a2b3 + a3b1 - a3b2 + a3b3
#494: 1 0.25
#495: 1 - a1 + a3 + b2 -2b3 + a1b2 + a1b3 + a2b1 - a2b2 + a2b3 - a3b1 - a3b2 + a3b3
#495: 1 0.25
#496: 1 + a1 - a2 + b2 -2b3 - a1b1 - a1b2 + a1b3 + a2b2 + a2b3 + a3b1 - a3b2 + a3b3
#496: 1 -0.125
#497: 1 - a2 + a3 + b2 -2b3 + a1b1 - a1b2 + a1b3 + a2b2 + a2b3 - a3b1 - a3b2 + a3b3
#497: 1 -0.875
#498: 0 - a2 - b2 -2b3 - a1b2 + a1b3 + a2b1 + a2b2 + a2b3 - a3b1 + a3b2 + a3b3
#498: 0 -1.25
#499: 0 - a1 - b2 -2b3 + a1b1 + a1b2 + a1b3 - a2b2 + a2b3 - a3b1 + a3b2 + a3b3
#499: 0 -0.875
#500: 1 + a2 - a3 + b2 -2b3 + a1b1 - a1b2 + a1b3 - a2b1 - a2b2 + a2b3 + a3b2 + a3b3
#500: 1 -0.125
#501: 1 + a1 - a3 + b2 -2b3 - a1b1 - a1b2 + a1b3 + a2b1 - a2b2 + a2b3 + a3b2 + a3b3
#501: 1 0.625
#502: 0 - a3 - b3 - a1b1 + a1b3 + a3b1 + a3b3
#502: 0 -0.25
#503: 0 - a3 - b3 - a2b1 + a2b3 + a3b1 + a3b3
#503: 0 -0.625
#504: 0 - a3 - b3 - a1b2 + a1b3 + a3b2 + a3b3
#504: 0 -0.625
#505: 0 - a3 - b3 - a2b2 + a2b3 + a3b2 + a3b3
#505: 0 -0.25
#506: 0 - a1 - b3 + a1b2 + a1b3 - a2b2 + a2b3
#506: 0 0.125 !!!!!!!!!!!!!!!!!!!!!!!!!
#507: 0 - a2 - b3 - a1b2 + a1b3 + a2b2 + a2b3
#507: 0 -0.625
#508: 0 - a1 + a1b3
#508: 0 -0.125
#509: 0 - a2 + a2b3
#509: 0 -0.125
#510: 0 - a1 - b3 + a1b1 + a1b3 - a2b1 + a2b3
#510: 0 -0.625
#511: 0 - a2 - b3 - a1b1 + a1b3 + a2b1 + a2b3
#511: 0 0.125 !!!!!!!!!!!!!!!!!!!!!!!!!
#512: 0 - a2 - b3 + a2b2 + a2b3 - a3b2 + a3b3
#512: 0 -1
#513: 0 - a1 - b3 + a1b2 + a1b3 - a3b2 + a3b3
#513: 0 -0.625
#514: 0 - a2 - b3 + a2b1 + a2b3 - a3b1 + a3b3
#514: 0 -0.625
#515: 0 - a1 - b3 + a1b1 + a1b3 - a3b1 + a3b3
#515: 0 -1
#516: 0 - a3 + a3b3
#516: 0 -0.5
#517: 0 - a3 - b1 -2b3 - a1b1 + a1b3 + a2b1 - a2b2 + a2b3 + a3b1 + a3b2 + a3b3
#517: 0 -0.125
#518: 0 - a3 - b1 -2b3 + a1b1 - a1b2 + a1b3 - a2b1 + a2b3 + a3b1 + a3b2 + a3b3
#518: 0 -1.25
#519: 0 - a1 - b1 -2b3 + a1b1 + a1b2 + a1b3 + a2b1 - a2b2 + a2b3 - a3b1 + a3b3
#519: 0 -0.875
#520: 0 - a2 - b1 -2b3 + a1b1 - a1b2 + a1b3 + a2b1 + a2b2 + a2b3 - a3b1 + a3b3
#520: 0 -1.625
#521: 0 - a2 - b1 -2b3 - a1b1 + a1b3 + a2b1 + a2b2 + a2b3 + a3b1 - a3b2 + a3b3
#521: 0 -0.875
#522: 0 - a1 - b1 -2b3 + a1b1 + a1b2 + a1b3 - a2b1 + a2b3 + a3b1 - a3b2 + a3b3
#522: 0 -1.25
#523: 1 - a1 + a3 + b1 -2b3 + a1b1 + a1b3 - a2b1 + a2b2 + a2b3 - a3b1 - a3b2 + a3b3
#523: 1 -0.875
#524: 1 - a1 + a2 + b1 -2b3 + a1b1 + a1b3 - a2b1 - a2b2 + a2b3 - a3b1 + a3b2 + a3b3
#524: 1 -0.125
#525: 1 - a2 + a3 + b1 -2b3 - a1b1 + a1b2 + a1b3 + a2b1 + a2b3 - a3b1 - a3b2 + a3b3
#525: 1 0.25
#526: 1 + a1 - a2 + b1 -2b3 - a1b1 - a1b2 + a1b3 + a2b1 + a2b3 - a3b1 + a3b2 + a3b3
#526: 1 0.25
#527: 1 + a1 - a3 + b1 -2b3 - a1b1 - a1b2 + a1b3 - a2b1 + a2b2 + a2b3 + a3b1 + a3b3
#527: 1 -0.125
#528: 1 + a2 - a3 + b1 -2b3 - a1b1 + a1b2 + a1b3 - a2b1 - a2b2 + a2b3 + a3b1 + a3b3
#528: 1 0.625
#529: 1 -2a1 + a3 + b2 - b3 + a1b1 + a1b2 + a1b3 + a2b1 - a2b2 - a3b1 - a3b2 + a3b3
#529: 1 -0.125
#530: 1 -2a2 + a3 + b2 - b3 + a1b1 - a1b2 + a2b1 + a2b2 + a2b3 - a3b1 - a3b2 + a3b3
#530: 1 -0.875
#531: 1 + a1 -2a2 - b1 + b2 + a1b1 - a1b2 - a1b3 + a2b1 + a2b2 + a2b3 - a3b2 + a3b3
#531: 1 -0.875
#532: 1 -2a1 + a2 - b1 + b2 + a1b1 + a1b2 + a1b3 + a2b1 - a2b2 - a2b3 - a3b2 + a3b3
#532: 1 -0.125
#533: 1 + a1 -2a2 + b2 - b3 - a1b1 - a1b2 + a1b3 + a2b1 + a2b2 + a2b3 + a3b1 - a3b2
#533: 1 0.25
#534: 1 -2a1 + a2 + b2 - b3 + a1b1 + a1b2 + a1b3 - a2b1 - a2b2 + a2b3 + a3b1 - a3b2
#534: 1 0.25
#535: 1 -2a1 + a3 - b1 + b2 + a1b1 + a1b2 + a1b3 - a2b2 + a2b3 + a3b1 - a3b2 - a3b3
#535: 1 0.625
#536: 1 -2a2 + a3 - b1 + b2 - a1b2 + a1b3 + a2b1 + a2b2 + a2b3 + a3b1 - a3b2 - a3b3
#536: 1 0.25
#537: 1 + a1 -2a3 - b1 + b2 + a1b1 - a1b2 - a1b3 - a2b2 + a2b3 + a3b1 + a3b2 + a3b3
#537: 1 -0.125
#538: 1 + a2 -2a3 - b1 + b2 - a1b2 + a1b3 + a2b1 - a2b2 - a2b3 + a3b1 + a3b2 + a3b3
#538: 1 0.25
#539: 1 + a1 -2a3 + b2 - b3 - a1b1 - a1b2 + a1b3 + a2b1 - a2b2 + a3b1 + a3b2 + a3b3
#539: 1 0.625
#540: 1 + a2 -2a3 + b2 - b3 + a1b1 - a1b2 - a2b1 - a2b2 + a2b3 + a3b1 + a3b2 + a3b3
#540: 1 -0.125
#541: 0 - a2 -2a3 - b3 - a1b2 + a1b3 - a2b1 + a2b2 + a2b3 + a3b1 + a3b2 + a3b3
#541: 0 -1.25
#542: 0 - a1 -2a3 - b3 - a1b1 + a1b2 + a1b3 - a2b2 + a2b3 + a3b1 + a3b2 + a3b3
#542: 0 -0.125
#543: 0 - a1 -2a3 - b2 - a1b1 + a1b2 + a1b3 + a2b2 - a2b3 + a3b1 + a3b2 + a3b3
#543: 0 -0.875
#544: 0 - a2 -2a3 - b2 + a1b2 - a1b3 - a2b1 + a2b2 + a2b3 + a3b1 + a3b2 + a3b3
#544: 0 -1.25
#545: 0 -2a1 - a2 - b3 + a1b1 + a1b2 + a1b3 - a2b1 + a2b2 + a2b3 - a3b2 + a3b3
#545: 0 -1.625
#546: 0 - a1 -2a2 - b3 - a1b1 + a1b2 + a1b3 + a2b1 + a2b2 + a2b3 - a3b2 + a3b3
#546: 0 -0.875
#547: 0 -2a1 - a2 - b2 + a1b1 + a1b2 + a1b3 - a2b1 + a2b2 + a2b3 + a3b2 - a3b3
#547: 0 -0.875
#548: 0 - a1 -2a2 - b2 - a1b1 + a1b2 + a1b3 + a2b1 + a2b2 + a2b3 + a3b2 - a3b3
#548: 0 -0.125
#549: 0 -2a1 - a3 - b3 + a1b1 + a1b2 + a1b3 - a2b2 + a2b3 - a3b1 + a3b2 + a3b3
#549: 0 -0.875
#550: 0 -2a2 - a3 - b3 - a1b2 + a1b3 + a2b1 + a2b2 + a2b3 - a3b1 + a3b2 + a3b3
#550: 0 -1.25
#551: 0 -2a2 - a3 - b2 + a1b2 - a1b3 + a2b1 + a2b2 + a2b3 - a3b1 + a3b2 + a3b3
#551: 0 -1.25
#552: 0 -2a1 - a3 - b2 + a1b1 + a1b2 + a1b3 + a2b2 - a2b3 - a3b1 + a3b2 + a3b3
#552: 0 -1.625
#553: 1 -2a1 + a3 + b1 - b3 + a1b1 + a1b2 + a1b3 - a2b1 + a2b2 - a3b1 - a3b2 + a3b3
#553: 1 -0.875
#554: 1 -2a2 + a3 + b1 - b3 - a1b1 + a1b2 + a2b1 + a2b2 + a2b3 - a3b1 - a3b2 + a3b3
#554: 1 -0.125
#555: 1 -2a1 + a2 + b1 - b2 + a1b1 + a1b2 + a1b3 - a2b1 + a2b2 - a2b3 - a3b1 + a3b3
#555: 1 -0.875
#556: 1 + a1 -2a2 + b1 - b2 - a1b1 + a1b2 - a1b3 + a2b1 + a2b2 + a2b3 - a3b1 + a3b3
#556: 1 -0.125
#557: 1 -2a1 + a3 + b1 - b2 + a1b1 + a1b2 + a1b3 - a2b1 + a2b3 - a3b1 + a3b2 - a3b3
#557: 1 0.25
#558: 1 -2a2 + a3 + b1 - b2 - a1b1 + a1b3 + a2b1 + a2b2 + a2b3 - a3b1 + a3b2 - a3b3
#558: 1 0.625
#559: 1 + a1 -2a2 + b1 - b3 - a1b1 - a1b2 + a1b3 + a2b1 + a2b2 + a2b3 - a3b1 + a3b2
#559: 1 0.25
#560: 1 -2a1 + a2 + b1 - b3 + a1b1 + a1b2 + a1b3 - a2b1 - a2b2 + a2b3 - a3b1 + a3b2
#560: 1 0.25
#561: 1 + a1 -2a3 + b1 - b2 - a1b1 + a1b2 - a1b3 - a2b1 + a2b3 + a3b1 + a3b2 + a3b3
#561: 1 0.25
#562: 1 + a2 -2a3 + b1 - b2 - a1b1 + a1b3 - a2b1 + a2b2 - a2b3 + a3b1 + a3b2 + a3b3
#562: 1 -0.125
#563: 1 + a1 -2a3 + b1 - b3 - a1b1 - a1b2 + a1b3 - a2b1 + a2b2 + a3b1 + a3b2 + a3b3
#563: 1 -0.125
#564: 1 + a2 -2a3 + b1 - b3 - a1b1 + a1b2 - a2b1 - a2b2 + a2b3 + a3b1 + a3b2 + a3b3
#564: 1 0.625
#565: 1 + a2 -2a3 - b1 + b3 + a1b2 - a1b3 + a2b1 - a2b2 - a2b3 + a3b1 + a3b2 + a3b3
#565: 1 0.25
#566: 1 + a1 -2a3 - b1 + b3 + a1b1 - a1b2 - a1b3 + a2b2 - a2b3 + a3b1 + a3b2 + a3b3
#566: 1 -0.875
#567: 1 + a2 -2a3 - b2 + b3 + a1b1 - a1b3 - a2b1 + a2b2 - a2b3 + a3b1 + a3b2 + a3b3
#567: 1 -0.875
#568: 1 + a1 -2a3 - b2 + b3 - a1b1 + a1b2 - a1b3 + a2b1 - a2b3 + a3b1 + a3b2 + a3b3
#568: 1 0.25
#569: 1 -2a1 + a2 - b2 + b3 + a1b1 + a1b2 + a1b3 - a2b1 + a2b2 - a2b3 + a3b1 - a3b3
#569: 1 -0.125
#570: 1 + a1 -2a2 - b2 + b3 - a1b1 + a1b2 - a1b3 + a2b1 + a2b2 + a2b3 + a3b1 - a3b3
#570: 1 0.625
#571: 1 -2a1 + a2 - b1 + b3 + a1b1 + a1b2 + a1b3 + a2b1 - a2b2 - a2b3 + a3b2 - a3b3
#571: 1 0.625
#572: 1 + a1 -2a2 - b1 + b3 + a1b1 - a1b2 - a1b3 + a2b1 + a2b2 + a2b3 + a3b2 - a3b3
#572: 1 -0.125
#573: 1 -2a2 + a3 - b1 + b3 + a1b2 - a1b3 + a2b1 + a2b2 + a2b3 + a3b1 - a3b2 - a3b3
#573: 1 0.25
#574: 1 -2a1 + a3 - b1 + b3 + a1b1 + a1b2 + a1b3 + a2b2 - a2b3 + a3b1 - a3b2 - a3b3
#574: 1 -0.125
#575: 1 -2a2 + a3 - b2 + b3 + a1b1 - a1b3 + a2b1 + a2b2 + a2b3 - a3b1 + a3b2 - a3b3
#575: 1 -0.125
#576: 1 -2a1 + a3 - b2 + b3 + a1b1 + a1b2 + a1b3 + a2b1 - a2b3 - a3b1 + a3b2 - a3b3
#576: 1 0.25
#577: 0 - a3 - b1 -2b2 + a1b1 + a1b2 - a1b3 - a2b1 + a2b2 + a3b1 + a3b2 + a3b3
#577: 0 -1.625
#578: 0 - a3 - b1 -2b2 - a1b1 + a1b2 + a2b1 + a2b2 - a2b3 + a3b1 + a3b2 + a3b3
#578: 0 -0.875
#579: 0 - a2 - b1 -2b2 - a1b1 + a1b2 + a2b1 + a2b2 + a2b3 + a3b1 + a3b2 - a3b3
#579: 0 -0.125
#580: 0 - a1 - b1 -2b2 + a1b1 + a1b2 + a1b3 - a2b1 + a2b2 + a3b1 + a3b2 - a3b3
#580: 0 -0.875
#581: 0 - a1 - b1 -2b2 + a1b1 + a1b2 + a1b3 + a2b1 + a2b2 - a2b3 - a3b1 + a3b2
#581: 0 -1.25
#582: 0 - a2 - b1 -2b2 + a1b1 + a1b2 - a1b3 + a2b1 + a2b2 + a2b3 - a3b1 + a3b2
#582: 0 -1.25
#583: 1 - a1 + a2 + b1 -2b2 + a1b1 + a1b2 - a2b1 + a2b2 - a2b3 - a3b1 + a3b2 + a3b3
#583: 1 -0.875
#584: 1 - a1 + a3 + b1 -2b2 + a1b1 + a1b2 - a2b1 + a2b2 + a2b3 - a3b1 + a3b2 - a3b3
#584: 1 -0.125
#585: 1 + a1 - a2 + b1 -2b2 - a1b1 + a1b2 - a1b3 + a2b1 + a2b2 - a3b1 + a3b2 + a3b3
#585: 1 -0.125
#586: 1 - a2 + a3 + b1 -2b2 - a1b1 + a1b2 + a1b3 + a2b1 + a2b2 - a3b1 + a3b2 - a3b3
#586: 1 0.625
#587: 1 + a2 - a3 + b1 -2b2 - a1b1 + a1b2 + a1b3 - a2b1 + a2b2 - a2b3 + a3b1 + a3b2
#587: 1 0.25
#588: 1 + a1 - a3 + b1 -2b2 - a1b1 + a1b2 - a1b3 - a2b1 + a2b2 + a2b3 + a3b1 + a3b2
#588: 1 0.25
#589: 0 - a3 -2b1 - b2 + a1b1 - a1b2 + a2b1 + a2b2 - a2b3 + a3b1 + a3b2 + a3b3
#589: 0 -1.625
#590: 0 - a3 -2b1 - b2 + a1b1 + a1b2 - a1b3 + a2b1 - a2b2 + a3b1 + a3b2 + a3b3
#590: 0 -0.875
#591: 0 - a2 -2b1 - b2 + a1b1 - a1b2 + a2b1 + a2b2 + a2b3 + a3b1 + a3b2 - a3b3
#591: 0 -0.875
#592: 0 - a1 -2b1 - b2 + a1b1 + a1b2 + a1b3 + a2b1 - a2b2 + a3b1 + a3b2 - a3b3
#592: 0 -0.125
#593: 0 - a2 -2b1 - b2 + a1b1 + a1b2 - a1b3 + a2b1 + a2b2 + a2b3 + a3b1 - a3b2
#593: 0 -1.25
#594: 0 - a1 -2b1 - b2 + a1b1 + a1b2 + a1b3 + a2b1 + a2b2 - a2b3 + a3b1 - a3b2
#594: 0 -1.25
#595: 1 - a1 + a2 -2b1 + b2 + a1b1 + a1b2 + a2b1 - a2b2 - a2b3 + a3b1 - a3b2 + a3b3
#595: 1 -0.125
#596: 1 - a1 + a3 -2b1 + b2 + a1b1 + a1b2 + a2b1 - a2b2 + a2b3 + a3b1 - a3b2 - a3b3
#596: 1 0.625
#597: 1 + a1 - a2 -2b1 + b2 + a1b1 - a1b2 - a1b3 + a2b1 + a2b2 + a3b1 - a3b2 + a3b3
#597: 1 -0.875
#598: 1 - a2 + a3 -2b1 + b2 + a1b1 - a1b2 + a1b3 + a2b1 + a2b2 + a3b1 - a3b2 - a3b3
#598: 1 -0.125
#599: 1 + a2 - a3 -2b1 + b2 + a1b1 - a1b2 + a1b3 + a2b1 - a2b2 - a2b3 + a3b1 + a3b2
#599: 1 0.25
#600: 1 + a1 - a3 -2b1 + b2 + a1b1 - a1b2 - a1b3 + a2b1 - a2b2 + a2b3 + a3b1 + a3b2
#600: 1 0.25
#601: 0 - a2 -2a3 - b2 - a1b1 + a1b2 + a2b1 + a2b2 - a2b3 + a3b1 + a3b2 + a3b3
#601: 0 -0.875
#602: 0 - a1 -2a3 - b2 + a1b1 + a1b2 - a1b3 - a2b1 + a2b2 + a3b1 + a3b2 + a3b3
#602: 0 -1.625
#603: 0 - a2 -2a3 - b1 + a1b1 - a1b2 + a2b1 + a2b2 - a2b3 + a3b1 + a3b2 + a3b3
#603: 0 -1.625
#604: 0 - a1 -2a3 - b1 + a1b1 + a1b2 - a1b3 + a2b1 - a2b2 + a3b1 + a3b2 + a3b3
#604: 0 -0.875
#605: 0 -2a1 - a2 - b1 + a1b1 + a1b2 + a1b3 + a2b1 + a2b2 - a2b3 + a3b1 - a3b2
#605: 0 -1.25
#606: 0 - a1 -2a2 - b1 + a1b1 + a1b2 - a1b3 + a2b1 + a2b2 + a2b3 + a3b1 - a3b2
#606: 0 -1.25
#607: 0 - a1 -2a2 - b2 + a1b1 + a1b2 - a1b3 + a2b1 + a2b2 + a2b3 - a3b1 + a3b2
#607: 0 -1.25
#608: 0 -2a1 - a2 - b2 + a1b1 + a1b2 + a1b3 + a2b1 + a2b2 - a2b3 - a3b1 + a3b2
#608: 0 -1.25
#609: 0 -2a1 - a3 - b1 + a1b1 + a1b2 + a1b3 + a2b1 - a2b2 + a3b1 + a3b2 - a3b3
#609: 0 -0.125
#610: 0 -2a2 - a3 - b1 + a1b1 - a1b2 + a2b1 + a2b2 + a2b3 + a3b1 + a3b2 - a3b3
#610: 0 -0.875
#611: 0 -2a1 - a3 - b2 + a1b1 + a1b2 + a1b3 - a2b1 + a2b2 + a3b1 + a3b2 - a3b3
#611: 0 -0.875
#612: 0 -2a2 - a3 - b2 - a1b1 + a1b2 + a2b1 + a2b2 + a2b3 + a3b1 + a3b2 - a3b3
#612: 0 -0.125
#613: 1 + a2 - a3 -2b2 + b3 + a1b1 + a1b2 - a1b3 - a2b1 + a2b2 - a2b3 + a3b2 + a3b3
#613: 1 -0.875
#614: 1 + a1 - a3 -2b2 + b3 - a1b1 + a1b2 - a1b3 + a2b1 + a2b2 - a2b3 + a3b2 + a3b3
#614: 1 -0.125
#615: 0 - a1 -2b2 - b3 + a1b1 + a1b2 + a1b3 + a2b2 - a2b3 - a3b1 + a3b2 + a3b3
#615: 0 -1.625
#616: 0 - a2 -2b2 - b3 + a1b2 - a1b3 + a2b1 + a2b2 + a2b3 - a3b1 + a3b2 + a3b3
#616: 0 -1.25
#617: 0 - a2 -2b2 - b3 - a1b1 + a1b2 + a1b3 + a2b1 + a2b2 + a2b3 + a3b2 - a3b3
#617: 0 -0.125
#618: 0 - a1 -2b2 - b3 + a1b1 + a1b2 + a1b3 - a2b1 + a2b2 + a2b3 + a3b2 - a3b3
#618: 0 -0.875
#619: 1 - a2 + a3 -2b2 + b3 + a1b1 + a1b2 - a1b3 + a2b2 + a2b3 - a3b1 + a3b2 - a3b3
#619: 1 -0.125
#620: 1 + a1 - a2 -2b2 + b3 - a1b1 + a1b2 - a1b3 + a2b2 + a2b3 + a3b1 + a3b2 - a3b3
#620: 1 0.625
#621: 1 - a1 + a3 -2b2 + b3 + a1b2 + a1b3 + a2b1 + a2b2 - a2b3 - a3b1 + a3b2 - a3b3
#621: 1 0.25
#622: 1 - a1 + a2 -2b2 + b3 + a1b2 + a1b3 - a2b1 + a2b2 - a2b3 + a3b1 + a3b2 - a3b3
#622: 1 0.25
#623: 0 - a3 -2b2 - b3 + a1b2 - a1b3 - a2b1 + a2b2 + a2b3 + a3b1 + a3b2 + a3b3
#623: 0 -1.25
#624: 0 - a3 -2b2 - b3 - a1b1 + a1b2 + a1b3 + a2b2 - a2b3 + a3b1 + a3b2 + a3b3
#624: 0 -0.875
#625: 0 - a3 - b2 + a2b2 - a2b3 + a3b2 + a3b3
#625: 0 -1
#626: 0 - a3 - b2 + a1b2 - a1b3 + a3b2 + a3b3
#626: 0 -0.625
#627: 0 - a3 - b2 - a1b1 + a1b2 + a3b1 + a3b2
#627: 0 0.125 !!!!!!!!!!!!!!!!!!!!!!!!!
#628: 0 - a3 - b2 - a2b1 + a2b2 + a3b1 + a3b2
#628: 0 -0.625
#629: 0 - a2 - b2 + a2b2 + a2b3 + a3b2 - a3b3
#629: 0 -0.25
#630: 0 - a1 - b2 + a1b2 + a1b3 + a3b2 - a3b3
#630: 0 0.125 !!!!!!!!!!!!!!!!!!!!!!!!!
#631: 0 - a1 - b2 + a1b1 + a1b2 - a2b1 + a2b2
#631: 0 -1
#632: 0 - a2 - b2 - a1b1 + a1b2 + a2b1 + a2b2
#632: 0 -0.25
#633: 0 - a2 - b2 + a1b2 - a1b3 + a2b2 + a2b3
#633: 0 -0.625
#634: 0 - a1 - b2 + a1b2 + a1b3 + a2b2 - a2b3
#634: 0 -0.625
#635: 0 - a1 + a1b2
#635: 0 -0.125
#636: 0 - a2 + a2b2
#636: 0 -0.5
#637: 0 - a2 - b2 + a2b1 + a2b2 - a3b1 + a3b2
#637: 0 -0.625
#638: 0 - a1 - b2 + a1b1 + a1b2 - a3b1 + a3b2
#638: 0 -0.625
#639: 0 - a3 + a3b2
#639: 0 -0.125
#640: 0 - a3 -2b1 - b3 + a1b1 - a1b2 + a1b3 + a2b1 - a2b3 + a3b1 + a3b2 + a3b3
#640: 0 -1.25
#641: 0 - a3 -2b1 - b3 + a1b1 - a1b3 + a2b1 - a2b2 + a2b3 + a3b1 + a3b2 + a3b3
#641: 0 -0.875
#642: 0 - a1 -2b1 - b3 + a1b1 + a1b2 + a1b3 + a2b1 - a2b2 + a2b3 + a3b1 - a3b3
#642: 0 -0.125
#643: 0 - a2 -2b1 - b3 + a1b1 - a1b2 + a1b3 + a2b1 + a2b2 + a2b3 + a3b1 - a3b3
#643: 0 -0.875
#644: 1 - a1 + a2 -2b1 + b3 + a1b1 + a1b3 + a2b1 - a2b2 - a2b3 + a3b1 + a3b2 - a3b3
#644: 1 0.625
#645: 1 - a1 + a3 -2b1 + b3 + a1b1 + a1b3 + a2b1 + a2b2 - a2b3 + a3b1 - a3b2 - a3b3
#645: 1 -0.125
#646: 1 + a1 - a2 -2b1 + b3 + a1b1 - a1b2 - a1b3 + a2b1 + a2b3 + a3b1 + a3b2 - a3b3
#646: 1 0.25
#647: 1 - a2 + a3 -2b1 + b3 + a1b1 + a1b2 - a1b3 + a2b1 + a2b3 + a3b1 - a3b2 - a3b3
#647: 1 0.25
#648: 0 - a2 -2b1 - b3 + a1b1 - a1b3 + a2b1 + a2b2 + a2b3 + a3b1 - a3b2 + a3b3
#648: 0 -1.625
#649: 0 - a1 -2b1 - b3 + a1b1 + a1b2 + a1b3 + a2b1 - a2b3 + a3b1 - a3b2 + a3b3
#649: 0 -1.25
#650: 1 + a1 - a3 -2b1 + b3 + a1b1 - a1b2 - a1b3 + a2b1 + a2b2 - a2b3 + a3b1 + a3b3
#650: 1 -0.875
#651: 1 + a2 - a3 -2b1 + b3 + a1b1 + a1b2 - a1b3 + a2b1 - a2b2 - a2b3 + a3b1 + a3b3
#651: 1 -0.125
#652: 0 - a3 - b1 + a2b1 - a2b3 + a3b1 + a3b3
#652: 0 -0.625
#653: 0 - a3 - b1 + a1b1 - a1b3 + a3b1 + a3b3
#653: 0 -1
#654: 0 - a3 - b1 + a2b1 - a2b2 + a3b1 + a3b2
#654: 0 0.125 !!!!!!!!!!!!!!!!!!!!!!!!!
#655: 0 - a3 - b1 + a1b1 - a1b2 + a3b1 + a3b2
#655: 0 -0.625
#656: 0 - a2 - b1 + a2b1 + a2b3 + a3b1 - a3b3
#656: 0 0.125 !!!!!!!!!!!!!!!!!!!!!!!!!
#657: 0 - a1 - b1 + a1b1 + a1b3 + a3b1 - a3b3
#657: 0 -0.25
#658: 0 - a1 - b1 + a1b1 + a1b2 + a2b1 - a2b2
#658: 0 -0.25
#659: 0 - a2 - b1 + a1b1 - a1b2 + a2b1 + a2b2
#659: 0 -1
#660: 0 - a2 - b1 + a2b1 + a2b2 + a3b1 - a3b2
#660: 0 -0.625
#661: 0 - a1 - b1 + a1b1 + a1b2 + a3b1 - a3b2
#661: 0 -0.625
#662: 0 - a1 - b1 + a1b1 + a1b3 + a2b1 - a2b3
#662: 0 -0.625
#663: 0 - a2 - b1 + a1b1 - a1b3 + a2b1 + a2b3
#663: 0 -0.625
#664: 0 - a1 + a1b1
#664: 0 -0.5
#665: 0 - a2 + a2b1
#665: 0 -0.125
#666: 0 - a3 + a3b1
#666: 0 -0.125
#667: 0 - b3 + a3b3
#667: 0 -0.5
#668: 0 - b1 + a3b1
#668: 0 -0.125
#669: 0 - b2 + a3b2
#669: 0 -0.125
#670: 1 + a3 + b3 - a3b3
#670: 1 1
#671: 1 + a3 + b2 - a3b2
#671: 1 0.625
#672: 0 - b1 + a2b1
#672: 0 -0.125
#673: 0 - b1 + a1b1
#673: 0 -0.5
#674: 1 + a3 + b1 - a3b1
#674: 1 0.625
#675: 0 - b2 + a2b2
#675: 0 -0.5
#676: 0 - b2 + a1b2
#676: 0 -0.125
#677: 0 - b3 + a2b3
#677: 0 -0.125
#678: 0 - b3 + a1b3
#678: 0 -0.125
#679: 1 + a2 + b3 - a2b3
#679: 1 0.625
#680: 1 + a1 + b3 - a1b3
#680: 1 0.625
#681: 1 + a2 + b2 - a2b2
#681: 1 1
#682: 1 + a1 + b2 - a1b2
#682: 1 0.625
#683: 1 + a2 + b1 - a2b1
#683: 1 0.625
#684: 1 + a1 + b1 - a1b1
#684: 1 1
12


File translated from TEX by TTH, version 2.69.
On 9 Mar 2001, 10:34.