--- Showing last 200 of 3342 lines --- [04:20:08.163] ENDGAME_WORLD: #12 (w=1.00) N:.T7.8. 76.A.. .Q9.6. T4..T. [04:20:08.163] ENDGAME_WORLD: #13 (w=1.00) N:.T7.8. 76..T. .Q9.6. T4.A.. [04:20:08.163] ENDGAME_WORLD: #14 (w=1.00) N:.T7.8. T6.A.. .Q9.6. 74..T. [04:20:08.164] ENDGAME_WORLD: #15 (w=1.00) N:.T7.8. T6..T. .Q9.6. 74.A.. [04:20:08.164] ENDGAME_WORLD: #16 (w=1.00) N:.T7.8. 6.A.T. .Q9.6. T74... [04:20:08.164] ENDGAME_WORLD: #17 (w=1.00) N:.T7.8. T7.A.. .Q9.6. 64..T. [04:20:08.164] ENDGAME_WORLD: #18 (w=1.00) N:.T7.8. T7..T. .Q9.6. 64.A.. [04:20:08.164] ENDGAME_WORLD: #19 (w=1.00) N:.T7.8. 7.A.T. .Q9.6. T64... [04:20:08.164] ENDGAME_WORLD: #20 (w=1.00) N:.T7.8. T.A.T. .Q9.6. 764... [04:20:08.164] ENDGAME: Evaluating 3 candidates across 20 worlds (totalWeight=20.00, rankByScore=True): [04:20:08.164] H7: defeat 0 % (0.0/20.0), makes 0 % (0.0/20.0), avgDeclTricks=8.0, dist=8:20.0 [04:20:08.164] HT: defeat 0 % (0.0/20.0), makes 0 % (0.0/20.0), avgDeclTricks=8.0, dist=8:20.0 [04:20:08.164] D8: defeat 0 % (0.0/20.0), makes 0 % (0.0/20.0), avgDeclTricks=8.0, dist=8:20.0 [04:20:08.165] IMP H7: 0.00 [04:20:08.165] IMP HT: 0.00 [04:20:08.165] IMP D8: 0.00 [04:20:08.165] ENDGAME: Selected D8 (0 %) [04:20:08.165] Tied cards: D8,HT,H7 -- invoking NN directly on tied set [04:20:08.165] === FindBestCardAsync: Position=N, CardsPlayed=40 === [04:20:08.165] Finding card to play for N: A5.KT7.J98.KT862 [04:20:08.165] Relative position: Declarer, Contract type: NoTrump [04:20:08.165] Cards in hand mask: 3 [04:20:08.166] Candidate: xH = 71.7 % [04:20:08.166] Candidate: TH = 21.6 % [04:20:08.166] Candidate: 8D = 6.7 % [04:20:08.166] Selected: H7 (71.7 %) [04:20:08.286] Activated: 3 tricks remaining, threshold=5 [04:20:08.286] ENDGAME: Hidden cards=5 between E and W, need 2+3, declarer tricks=8, defense tricks=2 [04:20:08.286] ENDGAME: Contract=3N, Declarer=N, ToPlay=S, Trump=NT [04:20:08.286] ENDGAME: S [- HQ9 D6 -] [04:20:08.286] ENDGAME: N [- HT D8 -] [04:20:08.286] ENDGAME: Hidden [ST764 - DT -] [04:20:08.286] ENDGAME: Current trick (2 cards, led by N): H7 HA [04:20:08.286] ENDGAME: 10 valid worlds (after void filtering) [04:20:08.287] [DealFinder] Explained bid E P: "Opening Bid, HCP < 12, RuleOf < 21" -> require: (none) [04:20:08.287] [DealFinder] Explained bid S 1D: "Opening Bid, RuleOf >= 21, HCP <= 21, (DiamondLongest OR ExplicitShape = 4=4=3=2), HCP >= 12" -> require: (none) [04:20:08.288] [DealFinder] Explained bid W P: "Responses to 1Mi, Responses to 1Mi/1Mi-P-1N, True OR D >= 7, True" -> require: (none) [04:20:08.288] [DealFinder] Explained bid N 2N: "Responses to 1Mi-P, (Balanced OR SemiBalanced), HCP >= 10, HCP <= 12, S < 4, H < 4" -> require: (none) [04:20:08.289] [DealFinder] Explained bid E P: "Responses to 1D-P-2N, Defensive bidding after two bids from opponents, True" -> require: (none) [04:20:08.289] [DealFinder] Explained bid S 3N: "Responses to 1D-P-2N-P, NOT min" -> require: (none) [04:20:08.289] [DealFinder] Explained bid W P: "Defensive bidding when our side has passed twice, True" -> require: (none) [04:20:08.290] [DealFinder] Explained bid N P: "Passable situations - 1Mi, True" -> require: (none) [04:20:08.290] [DealFinder] Explained bid E P: "Defensive bidding when our side has passed twice, True" -> require: (none) [04:20:08.293] [DealFinder] N Spades: tightened from [0-3] to [2-3] using HandUnderstanding [04:20:08.293] [DealFinder] N Hearts: tightened from [0-3] to [2-3] using HandUnderstanding [04:20:08.293] [DealFinder] N Diamonds: tightened from [0-13] to [2-5] using HandUnderstanding [04:20:08.293] [DealFinder] N Clubs: tightened from [0-13] to [2-5] using HandUnderstanding [04:20:08.293] [DealFinder] N HCP min 12 -> 10: dropped 2 of PRIVATE floor (reasoned from S's own cards, not advertised by the auction). [04:20:08.293] [DealFinder] N constraints: HCP[10-12], Suits=S[2-3] H[2-3] D[2-5] C[2-5], Trivial=False [04:20:08.293] [DealFinder] Expression (1221 chars): (Balanced OR SemiBalanced) & HCP >= 10 & HCP <= 12 & S < 4 & H < 4 & NOT (HCP > 4 & H >= 4 & DiamondLongest) & NOT (HCP > 4 & S >= 4 & DiamondLongest) & NOT (HCP > 11 & C >= 4 & ClubLongest & NOT HeartLongest & NOT SpadeLongest) & NOT (HCP >= 16 & (Solid(H) OR SemiSolid(H) OR H >= 7) & Single Suited & Controls >= 4) & NOT (H >= 5 & D >= 4 & HCP > 17 & Controls >= 4) & NOT (H >= 6 & balish & HCP >= 17 & Controls >= 4) & NOT (HCP >= 16 & (Solid(S) OR SemiSolid(S) OR S >= 7) & Single Suited & Controls >= 4) & NOT (S >= 5 & D >= 4 & HCP > 17 & Controls >= 4) & NOT (S >= 6 & balish & HCP >= 17 & Controls >= 4) & NOT (D >= 4 & HCP >= 10 & H < 4 & S < 4 & (DiamondLongest OR HCP < 12)) & NOT MonsterSlam(D) & NOT MonsterGrandSlam(D) & NOT (IsDiamondSlamViable & CombinedDiamondPointsMin >= DiamondGrandSlamPointTarget Subtract 1 & CombinedDiamondPointsMin < DiamondGrandSlamPointTarget & TP >= 13 & 1 of Top 3 Honors in D & NOT 2 of Top 3 Honors in D) & NOT (IsNtSlamViable & (CombinedHcpMin >= NtGrandSlamPointTarget OR (CombinedHcpMin >= NtGrandSlamPointTarget Subtract 2 & Aces = 4))) & NOT (H <= 1 & TP >= 14 & D >= 5 & S <= 3) & NOT (S <= 1 & TP >= 14 & D >= 5 & H <= 3) & NOT (C >= 8 & HCP <= 10 & HCP >= 5) & True [04:20:08.293] [Timing] N precompute: 2ms mem d=112KB (total=1465MB) [04:20:08.301] [DealFinder] E HCP min 3 -> 0: dropped 3 of PRIVATE floor (reasoned from W's own cards, not advertised by the auction). [04:20:08.301] [DealFinder] E constraints: HCP[0-11], Suits=(none), Trivial=False [04:20:08.301] [DealFinder] Expression (3907 chars): HCP < 12 & RuleOf < 21 & NOT (C >= 7 & HCP >= 5 & HCP <= 11 & TP >= 6 & RuleOf < 21 & H <= 4 & S <= 4) & NOT (C >= 7 & HCP >= 5 & HCP <= 10 & TwiceRebiddable(C) & LoserLevel >= 3 & H <= 4 & S <= 4 & RuleOf < 21) & NOT (D >= 7 & HCP >= 5 & HCP <= 11 & TP >= 6 & RuleOf < 21 & H <= 4 & S <= 4) & NOT (D >= 7 & HCP >= 5 & HCP <= 10 & TwiceRebiddable(D) & LoserLevel >= 3 & H <= 4 & S <= 4 & RuleOf < 21) & NOT (H >= 7 & HCP >= 5 & HCP <= 11 & TP >= 6 & RuleOf < 21 & S <= 4) & NOT (H >= 7 & HCP >= 5 & HCP <= 10 & TwiceRebiddable(H) & LoserLevel >= 3 & S <= 4 & RuleOf < 21) & NOT (S >= 7 & HCP >= 5 & HCP <= 11 & TP >= 6 & RuleOf < 21 & H <= 4) & NOT (S >= 7 & HCP >= 5 & HCP <= 10 & TwiceRebiddable(S) & LoserLevel >= 3 & H <= 4 & RuleOf < 21) & NOT (C >= 8 & HCP >= 5 & HCP <= 11 & LoserLevel >= 3 & H <= 4 & S <= 4 & RuleOf < 21) & NOT (C >= 7 & HCP >= 5 & HCP <= 11 & LoserLevel >= 4 & H <= 4 & S <= 4 & RuleOf < 21) & NOT (D >= 8 & HCP >= 5 & HCP <= 11 & LoserLevel >= 3 & H <= 4 & S <= 4 & RuleOf < 21) & NOT (D >= 7 & HCP >= 5 & HCP <= 11 & LoserLevel >= 4 & H <= 4 & S <= 4 & RuleOf < 21) & NOT (H >= 8 & HCP >= 5 & HCP <= 11 & LoserLevel >= 4 & S <= 4) & NOT (H >= 7 & HCP >= 9 & HCP <= 11 & LoserLevel >= 4 & S <= 4) & NOT (S >= 8 & HCP >= 5 & HCP <= 11 & LoserLevel >= 4 & H <= 4) & NOT (S >= 7 & HCP >= 9 & HCP <= 11 & LoserLevel >= 4 & H <= 4) & NOT (C >= 8 & HCP >= 6 & HCP <= 11 & LoserLevel >= 5 & H <= 4 & S <= 4) & NOT (D >= 8 & HCP >= 6 & HCP <= 11 & LoserLevel >= 5 & H <= 4 & S <= 4) & NOT (H >= 9 & HCP >= 6 & HCP <= 11 & LoserLevel >= 5 & S <= 4) & NOT (S >= 9 & HCP >= 6 & HCP <= 11 & LoserLevel >= 5 & H <= 4) & NOT (C >= 9 & TP >= 32) & NOT (D >= 9 & TP >= 32) & NOT (H >= 9 & TP >= 32) & NOT (S >= 9 & TP >= 32) & NOT (Balanced & HCP >= 33 & HCP <= 34) & NOT (C >= 9 & HCP >= 31 & TP >= 35) & NOT (D >= 9 & HCP >= 31 & TP >= 35) & NOT (H >= 9 & HCP >= 31 & TP >= 35) & NOT (S >= 9 & HCP >= 31 & TP >= 35) & NOT (Balanced & HCP >= 36 & TP >= 35) & NOT (HCP >= 12 & HCP <= 21 &... [04:20:08.301] [Timing] E precompute: 8ms mem d=189KB (total=1466MB) [04:20:08.308] [DealFinder] S Diamonds: tightened from [0-13] to [3-13] using HandUnderstanding [04:20:08.308] [DealFinder] S HCP min: tightened from 12 to 14 using HandUnderstanding [04:20:08.308] [DealFinder] S constraints: HCP[14-21], Suits=D[3-13], Trivial=False [04:20:08.308] [DealFinder] Expression (3232 chars): ((HCP >= 12 & HCP <= 21 & (DiamondLongest OR ExplicitShape = 4=4=3=2)) OR (RuleOf >= 21 & HCP <= 21 & (DiamondLongest OR ExplicitShape = 4=4=3=2))) & NOT (C >= 7 & HCP >= 5 & HCP <= 11 & TP >= 6 & RuleOf < 21 & H <= 4 & S <= 4) & NOT (C >= 7 & HCP >= 5 & HCP <= 10 & TwiceRebiddable(C) & LoserLevel >= 3 & H <= 4 & S <= 4 & RuleOf < 21) & NOT (D >= 7 & HCP >= 5 & HCP <= 11 & TP >= 6 & RuleOf < 21 & H <= 4 & S <= 4) & NOT (D >= 7 & HCP >= 5 & HCP <= 10 & TwiceRebiddable(D) & LoserLevel >= 3 & H <= 4 & S <= 4 & RuleOf < 21) & NOT (H >= 7 & HCP >= 5 & HCP <= 11 & TP >= 6 & RuleOf < 21 & S <= 4) & NOT (H >= 7 & HCP >= 5 & HCP <= 10 & TwiceRebiddable(H) & LoserLevel >= 3 & S <= 4 & RuleOf < 21) & NOT (S >= 7 & HCP >= 5 & HCP <= 11 & TP >= 6 & RuleOf < 21 & H <= 4) & NOT (S >= 7 & HCP >= 5 & HCP <= 10 & TwiceRebiddable(S) & LoserLevel >= 3 & H <= 4 & RuleOf < 21) & NOT (C >= 8 & HCP >= 5 & HCP <= 11 & LoserLevel >= 3 & H <= 4 & S <= 4 & RuleOf < 21) & NOT (C >= 7 & HCP >= 5 & HCP <= 11 & LoserLevel >= 4 & H <= 4 & S <= 4 & RuleOf < 21) & NOT (D >= 8 & HCP >= 5 & HCP <= 11 & LoserLevel >= 3 & H <= 4 & S <= 4 & RuleOf < 21) & NOT (D >= 7 & HCP >= 5 & HCP <= 11 & LoserLevel >= 4 & H <= 4 & S <= 4 & RuleOf < 21) & NOT (H >= 8 & HCP >= 5 & HCP <= 11 & LoserLevel >= 4 & S <= 4) & NOT (H >= 7 & HCP >= 9 & HCP <= 11 & LoserLevel >= 4 & S <= 4) & NOT (S >= 8 & HCP >= 5 & HCP <= 11 & LoserLevel >= 4 & H <= 4) & NOT (S >= 7 & HCP >= 9 & HCP <= 11 & LoserLevel >= 4 & H <= 4) & NOT (C >= 8 & HCP >= 6 & HCP <= 11 & LoserLevel >= 5 & H <= 4 & S <= 4) & NOT (D >= 8 & HCP >= 6 & HCP <= 11 & LoserLevel >= 5 & H <= 4 & S <= 4) & NOT (H >= 9 & HCP >= 6 & HCP <= 11 & LoserLevel >= 5 & S <= 4) & NOT (S >= 9 & HCP >= 6 & HCP <= 11 & LoserLevel >= 5 & H <= 4) & NOT (HCP >= 12 & HCP <= 21 & H >= 5 & H > S & HeartLongest) & NOT (HCP >= 12 & HCP <= 21 & S >= 5 & SpadeLongest) & NOT (Balanced & HCP >= 15 & HCP <= 16 & H = 5) & NOT (Balanced & HCP >= 15 & HCP <= 16 & S = 5) & NOT ((Balanced OR SemiBala... [04:20:08.308] [Timing] S precompute: 6ms mem d=172KB (total=1466MB) [04:20:08.313] [DealFinder] W HCP min 3 -> 0: dropped 3 of PRIVATE floor (reasoned from E's own cards, not advertised by the auction). [04:20:08.313] [DealFinder] W HCP max: tightened from 37 to 17 using HandUnderstanding [04:20:08.313] [DealFinder] W constraints: HCP[0-17], Suits=(none), Trivial=False [04:20:08.313] [DealFinder] Expression (2552 chars): (True OR D >= 7 OR True) & NOT (C >= 6 & HCP >= 10 & HCP <= 17 & LoserLevel >= 2 & BestSuit(C)) & NOT (C >= 5 & HCP >= 10 & HCP <= 17 & LoserLevel >= 2 & BestSuit(C)) & NOT Overcall(H) & NOT (H >= 6 & HCP >= 7 & HeartPoints >= 10 & HCP <= 17 & BestSuit(H) & 1 of Top 3 Honors in H) & NOT Overcall(S) & NOT (S >= 6 & HCP >= 7 & SpadePoints >= 10 & HCP <= 17 & BestSuit(S) & 1 of Top 3 Honors in S) & NOT (HCP >= 6 & HCP <= 11 & H >= 6 & 2 of Top 5 Honors in H & LoserLevel <= 3) & NOT (HCP >= 6 & HCP <= 11 & S >= 6 & 2 of Top 5 Honors in S & LoserLevel <= 3) & NOT (D >= 7 & HCP < 12 & LoserLevel >= 3 & Single Suited) & NOT (C >= 6 & HCP < 12 & LoserLevel >= 3 & Single Suited) & NOT (C >= 6 & HCP < 12 & LoserLevel >= 3 & 2 of Top 4 Honors in C & IsValidBid(3C) & S <= 5 & H <= 5) & NOT (H >= 7 & LoserLevel >= 3 & HCP <= 13) & NOT (H >= 6 & HCP < 12 & LoserLevel >= 3 & 2 of Top 4 Honors in H) & NOT (S >= 7 & LoserLevel >= 3 & HCP <= 13) & NOT (S >= 6 & HCP < 12 & LoserLevel >= 3 & 2 of Top 4 Honors in S) & NOT (H >= 7 & HCP <= 10 & Single Suited & LoserLevel >= 4) & NOT (H >= 8 & HCP <= 10 & 1 of Top 5 Honors in H) & NOT (H >= 8 & LoserLevel >= 4 & HCP <= 13) & NOT (H >= 7 & LoserLevel >= 4 & HCP <= 13 & 2 of Top 4 Honors in H) & NOT (H >= 7 & HCP < 14 & LoserLevel >= 4 & S < 5) & NOT (S >= 7 & HCP <= 10 & Single Suited & LoserLevel >= 4) & NOT (S >= 8 & HCP <= 10 & 1 of Top 5 Honors in S) & NOT (S >= 8 & LoserLevel >= 4 & HCP <= 13) & NOT (S >= 7 & LoserLevel >= 4 & HCP <= 13 & 2 of Top 4 Honors in S) & NOT (S >= 7 & HCP < 14 & LoserLevel >= 4 & H < 5) & NOT (C >= 8 & LoserLevel >= 5) & NOT (C >= 8 & HCP < 14 & LoserLevel >= 5 & H < 5 & S < 5) & NOT (RealSolid(C) & Losers = 1) & NOT (RealSolid(C) & Losers <= 0) & NOT (RealSolid(H) & Losers = 1) & NOT (RealSolid(S) & Losers = 1) & NOT (RealSolid(H) & Losers <= 0) & NOT (RealSolid(S) & Losers <= 0) & NOT (S >= 5 & H >= 5 & S <= 6 & H <= 6 & LoserLevel >= 2 & TP >= 8) & NOT (H >= 5 & C >= 5 & LoserLevel >= 3 & TP >= 10) & NOT ... [04:20:08.313] [Timing] W precompute: 5ms mem d=147KB (total=1466MB) [04:20:08.313] ENDGAME_WORLD: #1 (w=1.00) N:.T.8. 64... .Q9.6. T7..T. [04:20:08.313] ENDGAME_WORLD: #2 (w=1.00) N:.T.8. 74... .Q9.6. T6..T. [04:20:08.313] ENDGAME_WORLD: #3 (w=1.00) N:.T.8. T4... .Q9.6. 76..T. [04:20:08.313] ENDGAME_WORLD: #4 (w=1.00) N:.T.8. 4..T. .Q9.6. T76... [04:20:08.313] ENDGAME_WORLD: #5 (w=1.00) N:.T.8. 76... .Q9.6. T4..T. [04:20:08.313] ENDGAME_WORLD: #6 (w=1.00) N:.T.8. T6... .Q9.6. 74..T. [04:20:08.313] ENDGAME_WORLD: #7 (w=1.00) N:.T.8. 6..T. .Q9.6. T74... [04:20:08.314] ENDGAME_WORLD: #8 (w=1.00) N:.T.8. T7... .Q9.6. 64..T. [04:20:08.314] ENDGAME_WORLD: #9 (w=1.00) N:.T.8. 7..T. .Q9.6. T64... [04:20:08.314] ENDGAME_WORLD: #10 (w=1.00) N:.T.8. T..T. .Q9.6. 764... [04:20:08.314] ENDGAME: Evaluating 2 candidates across 10 worlds (totalWeight=10.00, rankByScore=True): [04:20:08.314] H9: defeat 0 % (0.0/10.0), makes 0 % (0.0/10.0), avgDeclTricks=8.0, dist=8:10.0 [04:20:08.314] HQ: defeat 0 % (0.0/10.0), makes 0 % (0.0/10.0), avgDeclTricks=8.0, dist=8:10.0 [04:20:08.314] IMP H9: 0.00 [04:20:08.314] IMP HQ: 0.00 [04:20:08.314] ENDGAME: Selected HQ (0 %) [04:20:08.314] Tied cards: HQ,H9 -- invoking NN directly on tied set [04:20:08.314] === FindBestCardAsync: Position=S, CardsPlayed=42 === [04:20:08.315] Finding card to play for S: Q3.Q98.AK652.Q93 [04:20:08.315] Relative position: Dummy, Contract type: NoTrump [04:20:08.315] Cards in hand mask: 2 [04:20:08.316] Candidate: 9H = 95.1 % [04:20:08.316] Candidate: QH = 4.9 % [04:20:08.316] Selected: H9 (95.1 %) [04:20:08.639] Activated: 2 tricks remaining, threshold=5 [04:20:08.640] ENDGAME: Hidden cards=3 between E and W, need 1+2, declarer tricks=8, defense tricks=3 [04:20:08.640] ENDGAME: Contract=3N, Declarer=N, ToPlay=S, Trump=NT [04:20:08.640] ENDGAME: S [- HQ D6 -] [04:20:08.640] ENDGAME: N [- HT D8 -] [04:20:08.640] ENDGAME: Hidden [ST6 - DT -] [04:20:08.640] ENDGAME: Current trick (1 cards, led by E): S4 [04:20:08.640] ENDGAME: 3 valid worlds (after void filtering) [04:20:08.640] [DealFinder] Explained bid E P: "Opening Bid, HCP < 12, RuleOf < 21" -> require: (none) [04:20:08.641] [DealFinder] Explained bid S 1D: "Opening Bid, RuleOf >= 21, HCP <= 21, (DiamondLongest OR ExplicitShape = 4=4=3=2), HCP >= 12" -> require: (none) [04:20:08.641] [DealFinder] Explained bid W P: "Responses to 1Mi, Responses to 1Mi/1Mi-P-1N, True OR D >= 7, True" -> require: (none) [04:20:08.642] [DealFinder] Explained bid N 2N: "Responses to 1Mi-P, (Balanced OR SemiBalanced), HCP >= 10, HCP <= 12, S < 4, H < 4" -> require: (none) [04:20:08.642] [DealFinder] Explained bid E P: "Responses to 1D-P-2N, Defensive bidding after two bids from opponents, True" -> require: (none) [04:20:08.643] [DealFinder] Explained bid S 3N: "Responses to 1D-P-2N-P, NOT min" -> require: (none) [04:20:08.643] [DealFinder] Explained bid W P: "Defensive bidding when our side has passed twice, True" -> require: (none) [04:20:08.643] [DealFinder] Explained bid N P: "Passable situations - 1Mi, True" -> require: (none) [04:20:08.644] [DealFinder] Explained bid E P: "Defensive bidding when our side has passed twice, True" -> require: (none) [04:20:08.646] [DealFinder] N Spades: tightened from [0-3] to [2-3] using HandUnderstanding [04:20:08.647] [DealFinder] N Hearts: tightened from [0-3] to [2-3] using HandUnderstanding [04:20:08.647] [DealFinder] N Diamonds: tightened from [0-13] to [2-5] using HandUnderstanding [04:20:08.647] [DealFinder] N Clubs: tightened from [0-13] to [2-5] using HandUnderstanding [04:20:08.647] [DealFinder] N HCP min 12 -> 10: dropped 2 of PRIVATE floor (reasoned from S's own cards, not advertised by the auction). [04:20:08.647] [DealFinder] N constraints: HCP[10-12], Suits=S[2-3] H[2-3] D[2-5] C[2-5], Trivial=False [04:20:08.647] [DealFinder] Expression (1221 chars): (Balanced OR SemiBalanced) & HCP >= 10 & HCP <= 12 & S < 4 & H < 4 & NOT (HCP > 4 & H >= 4 & DiamondLongest) & NOT (HCP > 4 & S >= 4 & DiamondLongest) & NOT (HCP > 11 & C >= 4 & ClubLongest & NOT HeartLongest & NOT SpadeLongest) & NOT (HCP >= 16 & (Solid(H) OR SemiSolid(H) OR H >= 7) & Single Suited & Controls >= 4) & NOT (H >= 5 & D >= 4 & HCP > 17 & Controls >= 4) & NOT (H >= 6 & balish & HCP >= 17 & Controls >= 4) & NOT (HCP >= 16 & (Solid(S) OR SemiSolid(S) OR S >= 7) & Single Suited & Controls >= 4) & NOT (S >= 5 & D >= 4 & HCP > 17 & Controls >= 4) & NOT (S >= 6 & balish & HCP >= 17 & Controls >= 4) & NOT (D >= 4 & HCP >= 10 & H < 4 & S < 4 & (DiamondLongest OR HCP < 12)) & NOT MonsterSlam(D) & NOT MonsterGrandSlam(D) & NOT (IsDiamondSlamViable & CombinedDiamondPointsMin >= DiamondGrandSlamPointTarget Subtract 1 & CombinedDiamondPointsMin < DiamondGrandSlamPointTarget & TP >= 13 & 1 of Top 3 Honors in D & NOT 2 of Top 3 Honors in D) & NOT (IsNtSlamViable & (CombinedHcpMin >= NtGrandSlamPointTarget OR (CombinedHcpMin >= NtGrandSlamPointTarget Subtract 2 & Aces = 4))) & NOT (H <= 1 & TP >= 14 & D >= 5 & S <= 3) & NOT (S <= 1 & TP >= 14 & D >= 5 & H <= 3) & NOT (C >= 8 & HCP <= 10 & HCP >= 5) & True [04:20:08.647] [Timing] N precompute: 3ms mem d=104KB (total=1487MB) [04:20:08.655] [DealFinder] E HCP min 3 -> 0: dropped 3 of PRIVATE floor (reasoned from W's own cards, not advertised by the auction). [04:20:08.655] [DealFinder] E constraints: HCP[0-11], Suits=(none), Trivial=False [04:20:08.655] [DealFinder] Expression (3907 chars): HCP < 12 & RuleOf < 21 & NOT (C >= 7 & HCP >= 5 & HCP <= 11 & TP >= 6 & RuleOf < 21 & H <= 4 & S <= 4) & NOT (C >= 7 & HCP >= 5 & HCP <= 10 & TwiceRebiddable(C) & LoserLevel >= 3 & H <= 4 & S <= 4 & RuleOf < 21) & NOT (D >= 7 & HCP >= 5 & HCP <= 11 & TP >= 6 & RuleOf < 21 & H <= 4 & S <= 4) & NOT (D >= 7 & HCP >= 5 & HCP <= 10 & TwiceRebiddable(D) & LoserLevel >= 3 & H <= 4 & S <= 4 & RuleOf < 21) & NOT (H >= 7 & HCP >= 5 & HCP <= 11 & TP >= 6 & RuleOf < 21 & S <= 4) & NOT (H >= 7 & HCP >= 5 & HCP <= 10 & TwiceRebiddable(H) & LoserLevel >= 3 & S <= 4 & RuleOf < 21) & NOT (S >= 7 & HCP >= 5 & HCP <= 11 & TP >= 6 & RuleOf < 21 & H <= 4) & NOT (S >= 7 & HCP >= 5 & HCP <= 10 & TwiceRebiddable(S) & LoserLevel >= 3 & H <= 4 & RuleOf < 21) & NOT (C >= 8 & HCP >= 5 & HCP <= 11 & LoserLevel >= 3 & H <= 4 & S <= 4 & RuleOf < 21) & NOT (C >= 7 & HCP >= 5 & HCP <= 11 & LoserLevel >= 4 & H <= 4 & S <= 4 & RuleOf < 21) & NOT (D >= 8 & HCP >= 5 & HCP <= 11 & LoserLevel >= 3 & H <= 4 & S <= 4 & RuleOf < 21) & NOT (D >= 7 & HCP >= 5 & HCP <= 11 & LoserLevel >= 4 & H <= 4 & S <= 4 & RuleOf < 21) & NOT (H >= 8 & HCP >= 5 & HCP <= 11 & LoserLevel >= 4 & S <= 4) & NOT (H >= 7 & HCP >= 9 & HCP <= 11 & LoserLevel >= 4 & S <= 4) & NOT (S >= 8 & HCP >= 5 & HCP <= 11 & LoserLevel >= 4 & H <= 4) & NOT (S >= 7 & HCP >= 9 & HCP <= 11 & LoserLevel >= 4 & H <= 4) & NOT (C >= 8 & HCP >= 6 & HCP <= 11 & LoserLevel >= 5 & H <= 4 & S <= 4) & NOT (D >= 8 & HCP >= 6 & HCP <= 11 & LoserLevel >= 5 & H <= 4 & S <= 4) & NOT (H >= 9 & HCP >= 6 & HCP <= 11 & LoserLevel >= 5 & S <= 4) & NOT (S >= 9 & HCP >= 6 & HCP <= 11 & LoserLevel >= 5 & H <= 4) & NOT (C >= 9 & TP >= 32) & NOT (D >= 9 & TP >= 32) & NOT (H >= 9 & TP >= 32) & NOT (S >= 9 & TP >= 32) & NOT (Balanced & HCP >= 33 & HCP <= 34) & NOT (C >= 9 & HCP >= 31 & TP >= 35) & NOT (D >= 9 & HCP >= 31 & TP >= 35) & NOT (H >= 9 & HCP >= 31 & TP >= 35) & NOT (S >= 9 & HCP >= 31 & TP >= 35) & NOT (Balanced & HCP >= 36 & TP >= 35) & NOT (HCP >= 12 & HCP <= 21 &... [04:20:08.656] [Timing] E precompute: 8ms mem d=202KB (total=1487MB) [04:20:08.662] [DealFinder] S Diamonds: tightened from [0-13] to [3-13] using HandUnderstanding [04:20:08.662] [DealFinder] S HCP min: tightened from 12 to 14 using HandUnderstanding [04:20:08.662] [DealFinder] S constraints: HCP[14-21], Suits=D[3-13], Trivial=False [04:20:08.662] [DealFinder] Expression (3232 chars): ((HCP >= 12 & HCP <= 21 & (DiamondLongest OR ExplicitShape = 4=4=3=2)) OR (RuleOf >= 21 & HCP <= 21 & (DiamondLongest OR ExplicitShape = 4=4=3=2))) & NOT (C >= 7 & HCP >= 5 & HCP <= 11 & TP >= 6 & RuleOf < 21 & H <= 4 & S <= 4) & NOT (C >= 7 & HCP >= 5 & HCP <= 10 & TwiceRebiddable(C) & LoserLevel >= 3 & H <= 4 & S <= 4 & RuleOf < 21) & NOT (D >= 7 & HCP >= 5 & HCP <= 11 & TP >= 6 & RuleOf < 21 & H <= 4 & S <= 4) & NOT (D >= 7 & HCP >= 5 & HCP <= 10 & TwiceRebiddable(D) & LoserLevel >= 3 & H <= 4 & S <= 4 & RuleOf < 21) & NOT (H >= 7 & HCP >= 5 & HCP <= 11 & TP >= 6 & RuleOf < 21 & S <= 4) & NOT (H >= 7 & HCP >= 5 & HCP <= 10 & TwiceRebiddable(H) & LoserLevel >= 3 & S <= 4 & RuleOf < 21) & NOT (S >= 7 & HCP >= 5 & HCP <= 11 & TP >= 6 & RuleOf < 21 & H <= 4) & NOT (S >= 7 & HCP >= 5 & HCP <= 10 & TwiceRebiddable(S) & LoserLevel >= 3 & H <= 4 & RuleOf < 21) & NOT (C >= 8 & HCP >= 5 & HCP <= 11 & LoserLevel >= 3 & H <= 4 & S <= 4 & RuleOf < 21) & NOT (C >= 7 & HCP >= 5 & HCP <= 11 & LoserLevel >= 4 & H <= 4 & S <= 4 & RuleOf < 21) & NOT (D >= 8 & HCP >= 5 & HCP <= 11 & LoserLevel >= 3 & H <= 4 & S <= 4 & RuleOf < 21) & NOT (D >= 7 & HCP >= 5 & HCP <= 11 & LoserLevel >= 4 & H <= 4 & S <= 4 & RuleOf < 21) & NOT (H >= 8 & HCP >= 5 & HCP <= 11 & LoserLevel >= 4 & S <= 4) & NOT (H >= 7 & HCP >= 9 & HCP <= 11 & LoserLevel >= 4 & S <= 4) & NOT (S >= 8 & HCP >= 5 & HCP <= 11 & LoserLevel >= 4 & H <= 4) & NOT (S >= 7 & HCP >= 9 & HCP <= 11 & LoserLevel >= 4 & H <= 4) & NOT (C >= 8 & HCP >= 6 & HCP <= 11 & LoserLevel >= 5 & H <= 4 & S <= 4) & NOT (D >= 8 & HCP >= 6 & HCP <= 11 & LoserLevel >= 5 & H <= 4 & S <= 4) & NOT (H >= 9 & HCP >= 6 & HCP <= 11 & LoserLevel >= 5 & S <= 4) & NOT (S >= 9 & HCP >= 6 & HCP <= 11 & LoserLevel >= 5 & H <= 4) & NOT (HCP >= 12 & HCP <= 21 & H >= 5 & H > S & HeartLongest) & NOT (HCP >= 12 & HCP <= 21 & S >= 5 & SpadeLongest) & NOT (Balanced & HCP >= 15 & HCP <= 16 & H = 5) & NOT (Balanced & HCP >= 15 & HCP <= 16 & S = 5) & NOT ((Balanced OR SemiBala... [04:20:08.662] [Timing] S precompute: 6ms mem d=160KB (total=1487MB) [04:20:08.667] [DealFinder] W HCP min 3 -> 0: dropped 3 of PRIVATE floor (reasoned from E's own cards, not advertised by the auction). [04:20:08.667] [DealFinder] W HCP max: tightened from 37 to 17 using HandUnderstanding [04:20:08.667] [DealFinder] W constraints: HCP[0-17], Suits=(none), Trivial=False [04:20:08.667] [DealFinder] Expression (2552 chars): (True OR D >= 7 OR True) & NOT (C >= 6 & HCP >= 10 & HCP <= 17 & LoserLevel >= 2 & BestSuit(C)) & NOT (C >= 5 & HCP >= 10 & HCP <= 17 & LoserLevel >= 2 & BestSuit(C)) & NOT Overcall(H) & NOT (H >= 6 & HCP >= 7 & HeartPoints >= 10 & HCP <= 17 & BestSuit(H) & 1 of Top 3 Honors in H) & NOT Overcall(S) & NOT (S >= 6 & HCP >= 7 & SpadePoints >= 10 & HCP <= 17 & BestSuit(S) & 1 of Top 3 Honors in S) & NOT (HCP >= 6 & HCP <= 11 & H >= 6 & 2 of Top 5 Honors in H & LoserLevel <= 3) & NOT (HCP >= 6 & HCP <= 11 & S >= 6 & 2 of Top 5 Honors in S & LoserLevel <= 3) & NOT (D >= 7 & HCP < 12 & LoserLevel >= 3 & Single Suited) & NOT (C >= 6 & HCP < 12 & LoserLevel >= 3 & Single Suited) & NOT (C >= 6 & HCP < 12 & LoserLevel >= 3 & 2 of Top 4 Honors in C & IsValidBid(3C) & S <= 5 & H <= 5) & NOT (H >= 7 & LoserLevel >= 3 & HCP <= 13) & NOT (H >= 6 & HCP < 12 & LoserLevel >= 3 & 2 of Top 4 Honors in H) & NOT (S >= 7 & LoserLevel >= 3 & HCP <= 13) & NOT (S >= 6 & HCP < 12 & LoserLevel >= 3 & 2 of Top 4 Honors in S) & NOT (H >= 7 & HCP <= 10 & Single Suited & LoserLevel >= 4) & NOT (H >= 8 & HCP <= 10 & 1 of Top 5 Honors in H) & NOT (H >= 8 & LoserLevel >= 4 & HCP <= 13) & NOT (H >= 7 & LoserLevel >= 4 & HCP <= 13 & 2 of Top 4 Honors in H) & NOT (H >= 7 & HCP < 14 & LoserLevel >= 4 & S < 5) & NOT (S >= 7 & HCP <= 10 & Single Suited & LoserLevel >= 4) & NOT (S >= 8 & HCP <= 10 & 1 of Top 5 Honors in S) & NOT (S >= 8 & LoserLevel >= 4 & HCP <= 13) & NOT (S >= 7 & LoserLevel >= 4 & HCP <= 13 & 2 of Top 4 Honors in S) & NOT (S >= 7 & HCP < 14 & LoserLevel >= 4 & H < 5) & NOT (C >= 8 & LoserLevel >= 5) & NOT (C >= 8 & HCP < 14 & LoserLevel >= 5 & H < 5 & S < 5) & NOT (RealSolid(C) & Losers = 1) & NOT (RealSolid(C) & Losers <= 0) & NOT (RealSolid(H) & Losers = 1) & NOT (RealSolid(S) & Losers = 1) & NOT (RealSolid(H) & Losers <= 0) & NOT (RealSolid(S) & Losers <= 0) & NOT (S >= 5 & H >= 5 & S <= 6 & H <= 6 & LoserLevel >= 2 & TP >= 8) & NOT (H >= 5 & C >= 5 & LoserLevel >= 3 & TP >= 10) & NOT ... [04:20:08.667] [Timing] W precompute: 4ms mem d=154KB (total=1488MB) [04:20:08.667] ENDGAME_WORLD: #1 (w=1.00) N:.T.8. 6... .Q.6. T..T. [04:20:08.667] ENDGAME_WORLD: #2 (w=1.00) N:.T.8. T... .Q.6. 6..T. [04:20:08.667] ENDGAME_WORLD: #3 (w=1.00) N:.T.8. ..T. .Q.6. T6... [04:20:08.667] ENDGAME: Evaluating 2 candidates across 3 worlds (totalWeight=3.00, rankByScore=True): [04:20:08.667] HQ: defeat 0 % (0.0/3.0), makes 0 % (0.0/3.0), avgDeclTricks=8.0, dist=8:3.0 [04:20:08.667] D6: defeat 0 % (0.0/3.0), makes 0 % (0.0/3.0), avgDeclTricks=8.0, dist=8:3.0 [04:20:08.667] IMP HQ: 0.00 [04:20:08.667] IMP D6: 0.00 [04:20:08.667] ENDGAME: Selected D6 (0 %) [04:20:08.668] Tied cards: D6,HQ -- invoking NN directly on tied set [04:20:08.668] === FindBestCardAsync: Position=S, CardsPlayed=45 === [04:20:08.668] Finding card to play for S: Q3.Q98.AK652.Q93 [04:20:08.668] Relative position: Dummy, Contract type: NoTrump [04:20:08.668] Cards in hand mask: 2 [04:20:08.669] Candidate: xD = 82.5 % [04:20:08.669] Candidate: QH = 17.5 % [04:20:08.669] Selected: D6 (82.5 %) [04:20:08.769] Activated: 2 tricks remaining, threshold=5 [04:20:08.769] ENDGAME: Hidden cards=2 between E and W, need 1+1, declarer tricks=8, defense tricks=3 [04:20:08.769] ENDGAME: Contract=3N, Declarer=N, ToPlay=N, Trump=NT [04:20:08.769] ENDGAME: N [- HT D8 -] [04:20:08.769] ENDGAME: S [- HQ - -] [04:20:08.769] ENDGAME: Hidden [S6 - DT -] [04:20:08.770] ENDGAME: Current trick (3 cards, led by E): S4 D6 ST [04:20:08.770] ENDGAME: 2 valid worlds (after void filtering) [04:20:08.770] [DealFinder] Explained bid E P: "Opening Bid, HCP < 12, RuleOf < 21" -> require: (none) [04:20:08.770] [DealFinder] Explained bid S 1D: "Opening Bid, RuleOf >= 21, HCP <= 21, (DiamondLongest OR ExplicitShape = 4=4=3=2), HCP >= 12" -> require: (none) [04:20:08.771] [DealFinder] Explained bid W P: "Responses to 1Mi, Responses to 1Mi/1Mi-P-1N, True OR D >= 7, True" -> require: (none) [04:20:08.771] [DealFinder] Explained bid N 2N: "Responses to 1Mi-P, (Balanced OR SemiBalanced), HCP >= 10, HCP <= 12, S < 4, H < 4" -> require: (none) [04:20:08.772] [DealFinder] Explained bid E P: "Responses to 1D-P-2N, Defensive bidding after two bids from opponents, True" -> require: (none) [04:20:08.772] [DealFinder] Explained bid S 3N: "Responses to 1D-P-2N-P, NOT min" -> require: (none) [04:20:08.772] [DealFinder] Explained bid W P: "Defensive bidding when our side has passed twice, True" -> require: (none) [04:20:08.773] [DealFinder] Explained bid N P: "Passable situations - 1Mi, True" -> require: (none) [04:20:08.773] [DealFinder] Explained bid E P: "Defensive bidding when our side has passed twice, True" -> require: (none) [04:20:08.776] [DealFinder] N Spades: tightened from [0-3] to [2-3] using HandUnderstanding [04:20:08.776] [DealFinder] N Hearts: tightened from [0-3] to [2-3] using HandUnderstanding [04:20:08.776] [DealFinder] N Diamonds: tightened from [0-13] to [2-5] using HandUnderstanding [04:20:08.776] [DealFinder] N Clubs: tightened from [0-13] to [2-5] using HandUnderstanding [04:20:08.776] [DealFinder] N HCP min 12 -> 10: dropped 2 of PRIVATE floor (reasoned from S's own cards, not advertised by the auction). [04:20:08.776] [DealFinder] N constraints: HCP[10-12], Suits=S[2-3] H[2-3] D[2-5] C[2-5], Trivial=False [04:20:08.776] [DealFinder] Expression (1221 chars): (Balanced OR SemiBalanced) & HCP >= 10 & HCP <= 12 & S < 4 & H < 4 & NOT (HCP > 4 & H >= 4 & DiamondLongest) & NOT (HCP > 4 & S >= 4 & DiamondLongest) & NOT (HCP > 11 & C >= 4 & ClubLongest & NOT HeartLongest & NOT SpadeLongest) & NOT (HCP >= 16 & (Solid(H) OR SemiSolid(H) OR H >= 7) & Single Suited & Controls >= 4) & NOT (H >= 5 & D >= 4 & HCP > 17 & Controls >= 4) & NOT (H >= 6 & balish & HCP >= 17 & Controls >= 4) & NOT (HCP >= 16 & (Solid(S) OR SemiSolid(S) OR S >= 7) & Single Suited & Controls >= 4) & NOT (S >= 5 & D >= 4 & HCP > 17 & Controls >= 4) & NOT (S >= 6 & balish & HCP >= 17 & Controls >= 4) & NOT (D >= 4 & HCP >= 10 & H < 4 & S < 4 & (DiamondLongest OR HCP < 12)) & NOT MonsterSlam(D) & NOT MonsterGrandSlam(D) & NOT (IsDiamondSlamViable & CombinedDiamondPointsMin >= DiamondGrandSlamPointTarget Subtract 1 & CombinedDiamondPointsMin < DiamondGrandSlamPointTarget & TP >= 13 & 1 of Top 3 Honors in D & NOT 2 of Top 3 Honors in D) & NOT (IsNtSlamViable & (CombinedHcpMin >= NtGrandSlamPointTarget OR (CombinedHcpMin >= NtGrandSlamPointTarget Subtract 2 & Aces = 4))) & NOT (H <= 1 & TP >= 14 & D >= 5 & S <= 3) & NOT (S <= 1 & TP >= 14 & D >= 5 & H <= 3) & NOT (C >= 8 & HCP <= 10 & HCP >= 5) & True [04:20:08.776] [Timing] N precompute: 3ms mem d=113KB (total=1454MB) [04:20:08.784] [DealFinder] E HCP min 3 -> 0: dropped 3 of PRIVATE floor (reasoned from W's own cards, not advertised by the auction). [04:20:08.785] [DealFinder] E constraints: HCP[0-11], Suits=(none), Trivial=False [04:20:08.785] [DealFinder] Expression (3907 chars): HCP < 12 & RuleOf < 21 & NOT (C >= 7 & HCP >= 5 & HCP <= 11 & TP >= 6 & RuleOf < 21 & H <= 4 & S <= 4) & NOT (C >= 7 & HCP >= 5 & HCP <= 10 & TwiceRebiddable(C) & LoserLevel >= 3 & H <= 4 & S <= 4 & RuleOf < 21) & NOT (D >= 7 & HCP >= 5 & HCP <= 11 & TP >= 6 & RuleOf < 21 & H <= 4 & S <= 4) & NOT (D >= 7 & HCP >= 5 & HCP <= 10 & TwiceRebiddable(D) & LoserLevel >= 3 & H <= 4 & S <= 4 & RuleOf < 21) & NOT (H >= 7 & HCP >= 5 & HCP <= 11 & TP >= 6 & RuleOf < 21 & S <= 4) & NOT (H >= 7 & HCP >= 5 & HCP <= 10 & TwiceRebiddable(H) & LoserLevel >= 3 & S <= 4 & RuleOf < 21) & NOT (S >= 7 & HCP >= 5 & HCP <= 11 & TP >= 6 & RuleOf < 21 & H <= 4) & NOT (S >= 7 & HCP >= 5 & HCP <= 10 & TwiceRebiddable(S) & LoserLevel >= 3 & H <= 4 & RuleOf < 21) & NOT (C >= 8 & HCP >= 5 & HCP <= 11 & LoserLevel >= 3 & H <= 4 & S <= 4 & RuleOf < 21) & NOT (C >= 7 & HCP >= 5 & HCP <= 11 & LoserLevel >= 4 & H <= 4 & S <= 4 & RuleOf < 21) & NOT (D >= 8 & HCP >= 5 & HCP <= 11 & LoserLevel >= 3 & H <= 4 & S <= 4 & RuleOf < 21) & NOT (D >= 7 & HCP >= 5 & HCP <= 11 & LoserLevel >= 4 & H <= 4 & S <= 4 & RuleOf < 21) & NOT (H >= 8 & HCP >= 5 & HCP <= 11 & LoserLevel >= 4 & S <= 4) & NOT (H >= 7 & HCP >= 9 & HCP <= 11 & LoserLevel >= 4 & S <= 4) & NOT (S >= 8 & HCP >= 5 & HCP <= 11 & LoserLevel >= 4 & H <= 4) & NOT (S >= 7 & HCP >= 9 & HCP <= 11 & LoserLevel >= 4 & H <= 4) & NOT (C >= 8 & HCP >= 6 & HCP <= 11 & LoserLevel >= 5 & H <= 4 & S <= 4) & NOT (D >= 8 & HCP >= 6 & HCP <= 11 & LoserLevel >= 5 & H <= 4 & S <= 4) & NOT (H >= 9 & HCP >= 6 & HCP <= 11 & LoserLevel >= 5 & S <= 4) & NOT (S >= 9 & HCP >= 6 & HCP <= 11 & LoserLevel >= 5 & H <= 4) & NOT (C >= 9 & TP >= 32) & NOT (D >= 9 & TP >= 32) & NOT (H >= 9 & TP >= 32) & NOT (S >= 9 & TP >= 32) & NOT (Balanced & HCP >= 33 & HCP <= 34) & NOT (C >= 9 & HCP >= 31 & TP >= 35) & NOT (D >= 9 & HCP >= 31 & TP >= 35) & NOT (H >= 9 & HCP >= 31 & TP >= 35) & NOT (S >= 9 & HCP >= 31 & TP >= 35) & NOT (Balanced & HCP >= 36 & TP >= 35) & NOT (HCP >= 12 & HCP <= 21 &... [04:20:08.785] [Timing] E precompute: 8ms mem d=193KB (total=1454MB) [04:20:08.791] [DealFinder] S Diamonds: tightened from [0-13] to [3-13] using HandUnderstanding [04:20:08.791] [DealFinder] S HCP min: tightened from 12 to 14 using HandUnderstanding [04:20:08.791] [DealFinder] S constraints: HCP[14-21], Suits=D[3-13], Trivial=False [04:20:08.791] [DealFinder] Expression (3232 chars): ((HCP >= 12 & HCP <= 21 & (DiamondLongest OR ExplicitShape = 4=4=3=2)) OR (RuleOf >= 21 & HCP <= 21 & (DiamondLongest OR ExplicitShape = 4=4=3=2))) & NOT (C >= 7 & HCP >= 5 & HCP <= 11 & TP >= 6 & RuleOf < 21 & H <= 4 & S <= 4) & NOT (C >= 7 & HCP >= 5 & HCP <= 10 & TwiceRebiddable(C) & LoserLevel >= 3 & H <= 4 & S <= 4 & RuleOf < 21) & NOT (D >= 7 & HCP >= 5 & HCP <= 11 & TP >= 6 & RuleOf < 21 & H <= 4 & S <= 4) & NOT (D >= 7 & HCP >= 5 & HCP <= 10 & TwiceRebiddable(D) & LoserLevel >= 3 & H <= 4 & S <= 4 & RuleOf < 21) & NOT (H >= 7 & HCP >= 5 & HCP <= 11 & TP >= 6 & RuleOf < 21 & S <= 4) & NOT (H >= 7 & HCP >= 5 & HCP <= 10 & TwiceRebiddable(H) & LoserLevel >= 3 & S <= 4 & RuleOf < 21) & NOT (S >= 7 & HCP >= 5 & HCP <= 11 & TP >= 6 & RuleOf < 21 & H <= 4) & NOT (S >= 7 & HCP >= 5 & HCP <= 10 & TwiceRebiddable(S) & LoserLevel >= 3 & H <= 4 & RuleOf < 21) & NOT (C >= 8 & HCP >= 5 & HCP <= 11 & LoserLevel >= 3 & H <= 4 & S <= 4 & RuleOf < 21) & NOT (C >= 7 & HCP >= 5 & HCP <= 11 & LoserLevel >= 4 & H <= 4 & S <= 4 & RuleOf < 21) & NOT (D >= 8 & HCP >= 5 & HCP <= 11 & LoserLevel >= 3 & H <= 4 & S <= 4 & RuleOf < 21) & NOT (D >= 7 & HCP >= 5 & HCP <= 11 & LoserLevel >= 4 & H <= 4 & S <= 4 & RuleOf < 21) & NOT (H >= 8 & HCP >= 5 & HCP <= 11 & LoserLevel >= 4 & S <= 4) & NOT (H >= 7 & HCP >= 9 & HCP <= 11 & LoserLevel >= 4 & S <= 4) & NOT (S >= 8 & HCP >= 5 & HCP <= 11 & LoserLevel >= 4 & H <= 4) & NOT (S >= 7 & HCP >= 9 & HCP <= 11 & LoserLevel >= 4 & H <= 4) & NOT (C >= 8 & HCP >= 6 & HCP <= 11 & LoserLevel >= 5 & H <= 4 & S <= 4) & NOT (D >= 8 & HCP >= 6 & HCP <= 11 & LoserLevel >= 5 & H <= 4 & S <= 4) & NOT (H >= 9 & HCP >= 6 & HCP <= 11 & LoserLevel >= 5 & S <= 4) & NOT (S >= 9 & HCP >= 6 & HCP <= 11 & LoserLevel >= 5 & H <= 4) & NOT (HCP >= 12 & HCP <= 21 & H >= 5 & H > S & HeartLongest) & NOT (HCP >= 12 & HCP <= 21 & S >= 5 & SpadeLongest) & NOT (Balanced & HCP >= 15 & HCP <= 16 & H = 5) & NOT (Balanced & HCP >= 15 & HCP <= 16 & S = 5) & NOT ((Balanced OR SemiBala... [04:20:08.791] [Timing] S precompute: 6ms mem d=164KB (total=1454MB) [04:20:08.796] [DealFinder] W HCP min 3 -> 0: dropped 3 of PRIVATE floor (reasoned from E's own cards, not advertised by the auction). [04:20:08.796] [DealFinder] W HCP max: tightened from 37 to 17 using HandUnderstanding [04:20:08.796] [DealFinder] W constraints: HCP[0-17], Suits=(none), Trivial=False [04:20:08.796] [DealFinder] Expression (2552 chars): (True OR D >= 7 OR True) & NOT (C >= 6 & HCP >= 10 & HCP <= 17 & LoserLevel >= 2 & BestSuit(C)) & NOT (C >= 5 & HCP >= 10 & HCP <= 17 & LoserLevel >= 2 & BestSuit(C)) & NOT Overcall(H) & NOT (H >= 6 & HCP >= 7 & HeartPoints >= 10 & HCP <= 17 & BestSuit(H) & 1 of Top 3 Honors in H) & NOT Overcall(S) & NOT (S >= 6 & HCP >= 7 & SpadePoints >= 10 & HCP <= 17 & BestSuit(S) & 1 of Top 3 Honors in S) & NOT (HCP >= 6 & HCP <= 11 & H >= 6 & 2 of Top 5 Honors in H & LoserLevel <= 3) & NOT (HCP >= 6 & HCP <= 11 & S >= 6 & 2 of Top 5 Honors in S & LoserLevel <= 3) & NOT (D >= 7 & HCP < 12 & LoserLevel >= 3 & Single Suited) & NOT (C >= 6 & HCP < 12 & LoserLevel >= 3 & Single Suited) & NOT (C >= 6 & HCP < 12 & LoserLevel >= 3 & 2 of Top 4 Honors in C & IsValidBid(3C) & S <= 5 & H <= 5) & NOT (H >= 7 & LoserLevel >= 3 & HCP <= 13) & NOT (H >= 6 & HCP < 12 & LoserLevel >= 3 & 2 of Top 4 Honors in H) & NOT (S >= 7 & LoserLevel >= 3 & HCP <= 13) & NOT (S >= 6 & HCP < 12 & LoserLevel >= 3 & 2 of Top 4 Honors in S) & NOT (H >= 7 & HCP <= 10 & Single Suited & LoserLevel >= 4) & NOT (H >= 8 & HCP <= 10 & 1 of Top 5 Honors in H) & NOT (H >= 8 & LoserLevel >= 4 & HCP <= 13) & NOT (H >= 7 & LoserLevel >= 4 & HCP <= 13 & 2 of Top 4 Honors in H) & NOT (H >= 7 & HCP < 14 & LoserLevel >= 4 & S < 5) & NOT (S >= 7 & HCP <= 10 & Single Suited & LoserLevel >= 4) & NOT (S >= 8 & HCP <= 10 & 1 of Top 5 Honors in S) & NOT (S >= 8 & LoserLevel >= 4 & HCP <= 13) & NOT (S >= 7 & LoserLevel >= 4 & HCP <= 13 & 2 of Top 4 Honors in S) & NOT (S >= 7 & HCP < 14 & LoserLevel >= 4 & H < 5) & NOT (C >= 8 & LoserLevel >= 5) & NOT (C >= 8 & HCP < 14 & LoserLevel >= 5 & H < 5 & S < 5) & NOT (RealSolid(C) & Losers = 1) & NOT (RealSolid(C) & Losers <= 0) & NOT (RealSolid(H) & Losers = 1) & NOT (RealSolid(S) & Losers = 1) & NOT (RealSolid(H) & Losers <= 0) & NOT (RealSolid(S) & Losers <= 0) & NOT (S >= 5 & H >= 5 & S <= 6 & H <= 6 & LoserLevel >= 2 & TP >= 8) & NOT (H >= 5 & C >= 5 & LoserLevel >= 3 & TP >= 10) & NOT ... [04:20:08.796] [Timing] W precompute: 4ms mem d=155KB (total=1454MB) [04:20:08.796] ENDGAME_WORLD: #1 (w=1.00) N:.T.8. 6... .Q.. ..T. [04:20:08.796] ENDGAME_WORLD: #2 (w=1.00) N:.T.8. ..T. .Q.. 6... [04:20:08.796] ENDGAME: Evaluating 2 candidates across 2 worlds (totalWeight=2.00, rankByScore=True): [04:20:08.796] HT: defeat 0 % (0.0/2.0), makes 0 % (0.0/2.0), avgDeclTricks=8.0, dist=8:2.0 [04:20:08.796] D8: defeat 0 % (0.0/2.0), makes 0 % (0.0/2.0), avgDeclTricks=8.0, dist=8:2.0 [04:20:08.796] IMP HT: 0.00 [04:20:08.796] IMP D8: 0.00 [04:20:08.796] ENDGAME: Selected D8 (0 %) [04:20:08.797] Tied cards: D8,HT -- invoking NN directly on tied set [04:20:08.797] === FindBestCardAsync: Position=N, CardsPlayed=47 === [04:20:08.797] Finding card to play for N: A5.KT7.J98.KT862 [04:20:08.797] Relative position: Declarer, Contract type: NoTrump [04:20:08.797] Cards in hand mask: 2 [04:20:08.798] Candidate: 8D = 57.7 % [04:20:08.798] Candidate: TH = 42.3 % [04:20:08.798] Selected: D8 (57.7 %)