--- Showing last 200 of 3486 lines ---
[04:32:19.234]   CT: defeat 100 % (20.2/20.2), makes 100 % (20.2/20.2), avgDeclTricks=9.0, dist=[9:20.2]
[04:32:19.235]   CQ: defeat 100 % (20.2/20.2), makes 100 % (20.2/20.2), avgDeclTricks=9.0, dist=[9:20.2]
[04:32:19.235]   CK: defeat 100 % (20.2/20.2), makes 100 % (20.2/20.2), avgDeclTricks=9.0, dist=[9:20.2]
[04:32:19.235]   IMP CT: 0.00
[04:32:19.235]   IMP CQ: 0.00
[04:32:19.235]   IMP CK: 0.00
[04:32:19.235] ENDGAME: Selected CK (100 %)
[04:32:19.235] Tied cards: CK,CQ,CT -- invoking NN directly on tied set
[04:32:19.235] === FindBestCardAsync: Position=E, CardsPlayed=37 ===
[04:32:19.235] Finding card to play for E: 65.AJ3.AQ8.KQT93
[04:32:19.236] Relative position: Declarer, Contract type: NoTrump
[04:32:19.236] Cards in hand mask: 3
[04:32:19.236]   Candidate: TC = 47.6 %
[04:32:19.237]   Candidate: KC = 35.0 %
[04:32:19.237]   Candidate: QC = 17.4 %
[04:32:19.237] Selected: CT (47.6 %)
[04:32:19.397] Activated: 3 tricks remaining, threshold=5
[04:32:19.397] ENDGAME: Hidden cards=6 between N and S, need 3+3, declarer tricks=6, defense tricks=4
[04:32:19.397] ENDGAME: Contract=3N, Declarer=E, ToPlay=W, Trump=NT
[04:32:19.397] ENDGAME: W [- HK4 DK -]
[04:32:19.397] ENDGAME: E [- HA - CKQ]
[04:32:19.397] ENDGAME: Hidden [- HT5 DJ9 C65]
[04:32:19.397] ENDGAME: 20 valid worlds (after void filtering)
[04:32:19.398] [DealFinder] Explained bid N P: "Opening Bid, HCP < 12, RuleOf < 21" -> require: (none)
[04:32:19.398] [DealFinder] Explained bid E 1N: "Opening Bid, Balanced, HCP >= 15, HCP <= 16, H = 5, S = 5, (Balanced OR SemiBalanced), HCP <= 17, S <= 4, H <= 4" -> require: (none)
[04:32:19.399] [DealFinder] Explained bid S P: "Responses to 1N, True" -> require: (none)
[04:32:19.399] [DealFinder] Explained bid W 2C: "Artificial - Stayman, Smolen, (H = 4 OR S = 4), HCP >= 8, H Add S <= 8, HCP <= 9, HCP >= 10, S >= 4, H >= 4, H Add S >= 9" -> require: (none)
[04:32:19.399] [DealFinder] Explained bid N P: "Responses to 1N-P-2C, Defensive bidding after two bids from opponents, True" -> require: (none)
[04:32:19.400] [DealFinder] Explained bid E 2D: "Responses to 2C-PX (Stayman after 1V-P-1W-1N-PX-2C), (S < 4 OR OpponentSuit(S)), (H < 4 OR OpponentSuit(H))" -> require: (none)
[04:32:19.400] [DealFinder] Explained bid S P: "Responses to 1N-P-2C-P-2D, True" -> require: (none)
[04:32:19.401] [DealFinder] Explained bid W 3N: "Responses to 2C-2D-P-P (Stayman after 1V-P-1W-1N-PX-2C), (CombinedHcpMin >= 25 OR IsGameForcing OR TwoOpenersGame), NOT (Comb. Pts >= 32, CombinedHcpMin >= 28)" -> require: (none)
[04:32:19.401] [DealFinder] Explained bid N P: "Defensive bidding when our side has passed twice, True" -> require: (none)
[04:32:19.401] [DealFinder] Explained bid E P: "Passable situations - Stayman (Stayman after 1V-P-1W-1N-PX-2C), True" -> require: (none)
[04:32:19.402] [DealFinder] Explained bid S P: "Defensive bidding when our side has passed twice, True" -> require: (none)
[04:32:19.412] [DealFinder] N constraints: HCP[0-11], Suits=(none), Trivial=False
[04:32:19.412] [DealFinder]   Expression (4407 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:32:19.412] [Timing] N precompute: 10ms mem d=221KB (total=1448MB)
[04:32:19.414] [DealFinder] E Spades: tightened from [0-13] to [2-5] using HandUnderstanding
[04:32:19.414] [DealFinder] E Hearts: tightened from [0-13] to [2-5] using HandUnderstanding
[04:32:19.414] [DealFinder] E Diamonds: tightened from [0-13] to [2-5] using HandUnderstanding
[04:32:19.414] [DealFinder] E Clubs: tightened from [0-13] to [2-5] using HandUnderstanding
[04:32:19.414] [DealFinder] E constraints: HCP[15-17], Suits=S[2-5] H[2-5] D[2-5] C[2-5], Trivial=False
[04:32:19.415] [DealFinder]   Expression (789 chars): (((Balanced OR SemiBalanced) & HCP >= 15 & HCP <= 17 & S <= 4 & H <= 4) OR (Balanced & HCP >= 15 & HCP <= 16 & H = 5) OR (Balanced & HCP >= 15 & HCP <= 16 & S = 5)) & 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 (H >= 9 & HCP >= 6 & HCP <= 11 & LoserLevel >= 5 & S <= 4) & NOT (S >= 9 & HCP >= 6 & HCP <= 11 & LoserLevel >= 5 & H <= 4) & NOT (balish & HCP >= 20 & HCP <= 21) & NOT (balish & HCP >= 25 & HCP <= 27 & H <= 4 & S <= 4) & (S < 4 OR OpponentSuit(S)) & (H < 4 OR OpponentSuit(H)) & NOT (H >= 4 & NOT OpponentSuit(H)) & NOT (S >= 4 & NOT OpponentSuit(S)) & True
[04:32:19.415] [Timing] E precompute: 2ms mem d=144KB (total=1448MB)
[04:32:19.416] [DealFinder] S constraints: HCP[0-37], Suits=(none), Trivial=False
[04:32:19.417] [DealFinder]   Expression (981 chars): True & NOT (Rebiddable(C) & C >= 7 & ClubPoints >= 14 & ClubPoints <= 17) & NOT (Rebiddable(D) & D >= 7 & DiamondPoints >= 14 & DiamondPoints <= 17) & NOT (Rebiddable(H) & H >= 7 & HeartPoints >= 14 & HeartPoints <= 17) & NOT (Rebiddable(S) & S >= 7 & SpadePoints >= 14 & SpadePoints <= 17) & NOT (Rebiddable(C) & C >= 7 & HCP <= 10 & LoserLevel >= 4) & NOT (Rebiddable(D) & D >= 7 & HCP <= 10 & LoserLevel >= 4) & NOT (Rebiddable(H) & H >= 7 & HCP <= 10 & LoserLevel >= 4) & NOT (Rebiddable(S) & S >= 7 & HCP <= 10 & LoserLevel >= 4) & NOT (TP >= 10 & LengthLongestSuit >= 6 & Single Suited & HCP >= 10) & NOT (TP >= 10 & LengthLongestSuit >= 7 & HCP >= 10) & NOT (H >= 5 & S >= 5 & HCP >= 10) & NOT (H >= 5 & (C >= 4 OR D >= 4) & LoserLevel >= 2 & TP >= 12 & HCP >= 10) & NOT (S >= 5 & (C >= 4 OR D >= 4) & LoserLevel >= 2 & TP >= 12 & HCP >= 10) & NOT (C >= 5 & D >= 5 & TP >= 15 & HCP >= 10) & True & NOT Overcall(H) & NOT Overcall(S) & NOT Overcall(C) & NOT Overcall(D) & True
[04:32:19.417] [Timing] S precompute: 1ms mem d=80KB (total=1448MB)
[04:32:19.419] [DealFinder] W HCP min: tightened from 8 to 10 using HandUnderstanding
[04:32:19.419] [DealFinder] W constraints: HCP[10-37], Suits=(none), Trivial=False
[04:32:19.419] [DealFinder]   Expression (1539 chars): ((HCP >= 10 & S >= 4 & H >= 4 & H Add S >= 9) OR ((H = 4 OR S = 4) & HCP >= 8 & H Add S <= 8) OR (HCP >= 8 & HCP <= 9)) & NOT (H >= 6 & ((NOT (Comb. Pts >= 32 & CombinedHcpMin >= 28) & Game in H) OR (Comb. Pts >= 32 & CombinedHcpMin >= 28))) & NOT (S >= 6 & ((NOT (Comb. Pts >= 32 & CombinedHcpMin >= 28) & Game in S) OR (Comb. Pts >= 32 & CombinedHcpMin >= 28))) & NOT (D <= 1 & H = 4 & S = 4 & CombinedHcpMin >= 23 & C >= 4) & NOT (H <= 1 & S = 4 & CombinedHcpMin >= 23 & C >= 3 & D >= 3) & NOT (S <= 1 & H = 4 & CombinedHcpMin >= 23 & C >= 3 & D >= 3) & (CombinedHcpMin >= 25 OR IsGameForcing OR TwoOpenersGame) & NOT (Comb. Pts >= 32 & CombinedHcpMin >= 28) & NOT (C >= 5 & Game in C) & NOT (D >= 5 & Game in D) & NOT (IsNtSlamViable & CombinedHcpMin >= NtSmallSlamPointTarget Subtract 2 & CombinedHcpMin < NtSmallSlamPointTarget) & NOT (IsNtSlamViable & CombinedHcpMin >= NtSmallSlamPointTarget & CombinedHcpMin < NtGrandSlamPointTarget & CombinedHcpMax >= NtGrandSlamPointTarget) & NOT (IsNtSlamViable & CombinedHcpMin >= NtSmallSlamPointTarget & CombinedHcpMin < NtGrandSlamPointTarget) & NOT (IsNtSlamViable & (CombinedHcpMin >= NtGrandSlamPointTarget OR (CombinedHcpMin >= NtGrandSlamPointTarget Subtract 2 & Aces = 4))) & NOT Game in H & NOT Game in S & NOT (H >= 6 & HCP >= 8 & NOT (Comb. Pts >= 32 & CombinedHcpMin >= 28)) & NOT (S >= 6 & HCP >= 8 & NOT (Comb. Pts >= 32 & CombinedHcpMin >= 28)) & NOT (H = 4 & S = 5 & NOT OpponentSuit(H) & NOT OpponentSuit(S)) & NOT (H = 5 & S = 4 & NOT OpponentSuit(H) & NOT OpponentSuit(S))
[04:32:19.419] [Timing] W precompute: 2ms mem d=143KB (total=1448MB)
[04:32:19.419] ENDGAME: Bidding weights applied to 10/20 worlds (range 0.01-1.00, total 10.10, 10 unpenalised)
[04:32:19.419] ENDGAME: Played by N: 11 HCP S:4 H:2 D:2 C:2; by S: 0 HCP S:4 H:2 D:2 C:2
[04:32:19.420] ENDGAME_WORLD: #1 (w=1.00) N:.T5.9. .A..KQ ..J.65 .K4.K.
[04:32:19.420] ENDGAME_WORLD: #2 (w=0.01) N:.T5.J. .A..KQ ..9.65 .K4.K.
[04:32:19.420] ENDGAME_WORLD: #3 (w=1.00) N:.T5..5 .A..KQ ..J9.6 .K4.K.
[04:32:19.420] ENDGAME_WORLD: #4 (w=1.00) N:.T5..6 .A..KQ ..J9.5 .K4.K.
[04:32:19.420] ENDGAME_WORLD: #5 (w=0.01) N:.5.J9. .A..KQ .T..65 .K4.K.
[04:32:19.420] ENDGAME_WORLD: #6 (w=1.00) N:.5.9.5 .A..KQ .T.J.6 .K4.K.
[04:32:19.420] ENDGAME_WORLD: #7 (w=1.00) N:.5.9.6 .A..KQ .T.J.5 .K4.K.
[04:32:19.420] ENDGAME_WORLD: #8 (w=0.01) N:.5.J.5 .A..KQ .T.9.6 .K4.K.
[04:32:19.420] ENDGAME_WORLD: #9 (w=0.01) N:.5.J.6 .A..KQ .T.9.5 .K4.K.
[04:32:19.420] ENDGAME_WORLD: #10 (w=1.00) N:.5..65 .A..KQ .T.J9. .K4.K.
[04:32:19.420] ENDGAME_WORLD: #11 (w=0.01) N:.T.J9. .A..KQ .5..65 .K4.K.
[04:32:19.420] ENDGAME_WORLD: #12 (w=1.00) N:.T.9.5 .A..KQ .5.J.6 .K4.K.
[04:32:19.420] ENDGAME_WORLD: #13 (w=1.00) N:.T.9.6 .A..KQ .5.J.5 .K4.K.
[04:32:19.420] ENDGAME_WORLD: #14 (w=0.01) N:.T.J.5 .A..KQ .5.9.6 .K4.K.
[04:32:19.420] ENDGAME_WORLD: #15 (w=0.01) N:.T.J.6 .A..KQ .5.9.5 .K4.K.
[04:32:19.420] ENDGAME_WORLD: #16 (w=1.00) N:.T..65 .A..KQ .5.J9. .K4.K.
[04:32:19.420] ENDGAME_WORLD: #17 (w=0.01) N:..J9.5 .A..KQ .T5..6 .K4.K.
[04:32:19.420] ENDGAME_WORLD: #18 (w=0.01) N:..J9.6 .A..KQ .T5..5 .K4.K.
[04:32:19.420] ENDGAME_WORLD: #19 (w=1.00) N:..9.65 .A..KQ .T5.J. .K4.K.
[04:32:19.420] ENDGAME_WORLD: #20 (w=0.01) N:..J.65 .A..KQ .T5.9. .K4.K.
[04:32:19.421] ENDGAME: Evaluating 3 candidates across 20 worlds (totalWeight=10.10, rankByScore=True):
[04:32:19.421]   H4: defeat 100 % (10.1/10.1), makes 100 % (10.1/10.1), avgDeclTricks=9.0, dist=[9:10.1]
[04:32:19.421]   HK: defeat 100 % (10.1/10.1), makes 100 % (10.1/10.1), avgDeclTricks=9.0, dist=[9:10.1]
[04:32:19.421]   DK: defeat 100 % (10.1/10.1), makes 100 % (10.1/10.1), avgDeclTricks=9.0, dist=[9:10.1]
[04:32:19.421]   IMP H4: 0.00
[04:32:19.421]   IMP HK: 0.00
[04:32:19.421]   IMP DK: 0.00
[04:32:19.421] ENDGAME: Selected DK (100 %)
[04:32:19.421] ENDGAME: CLAIM -- best line wins all 3 remaining tricks in every world
[04:32:19.421] Tied cards: DK,HK,H4 -- invoking NN directly on tied set
[04:32:19.422] === FindBestCardAsync: Position=W, CardsPlayed=40 ===
[04:32:19.422] Finding card to play for W: K84.KQ42.K742.J8
[04:32:19.422] Relative position: Dummy, Contract type: NoTrump
[04:32:19.422] Cards in hand mask: 3
[04:32:19.423]   Candidate: KD = 61.2 %
[04:32:19.423]   Candidate: xH = 32.9 %
[04:32:19.423]   Candidate: KH = 5.9 %
[04:32:19.423] Selected: DK (61.2 %)
[04:32:19.624] Activated: 3 tricks remaining, threshold=5
[04:32:19.624] ENDGAME: Hidden cards=5 between N and S, need 2+3, declarer tricks=6, defense tricks=4
[04:32:19.625] ENDGAME: Contract=3N, Declarer=E, ToPlay=E, Trump=NT
[04:32:19.625] ENDGAME: E [- HA - CKQ]
[04:32:19.625] ENDGAME: W [- HK4 - -]
[04:32:19.625] ENDGAME: Hidden [- H5 DJ9 C65]
[04:32:19.625] ENDGAME: Current trick (2 cards, led by W): DK HT
[04:32:19.625] ENDGAME: 3 valid worlds (after void filtering)
[04:32:19.625] [DealFinder] Explained bid N P: "Opening Bid, HCP < 12, RuleOf < 21" -> require: (none)
[04:32:19.626] [DealFinder] Explained bid E 1N: "Opening Bid, Balanced, HCP >= 15, HCP <= 16, H = 5, S = 5, (Balanced OR SemiBalanced), HCP <= 17, S <= 4, H <= 4" -> require: (none)
[04:32:19.626] [DealFinder] Explained bid S P: "Responses to 1N, True" -> require: (none)
[04:32:19.627] [DealFinder] Explained bid W 2C: "Artificial - Stayman, Smolen, (H = 4 OR S = 4), HCP >= 8, H Add S <= 8, HCP <= 9, HCP >= 10, S >= 4, H >= 4, H Add S >= 9" -> require: (none)
[04:32:19.627] [DealFinder] Explained bid N P: "Responses to 1N-P-2C, Defensive bidding after two bids from opponents, True" -> require: (none)
[04:32:19.627] [DealFinder] Explained bid E 2D: "Responses to 2C-PX (Stayman after 1V-P-1W-1N-PX-2C), (S < 4 OR OpponentSuit(S)), (H < 4 OR OpponentSuit(H))" -> require: (none)
[04:32:19.628] [DealFinder] Explained bid S P: "Responses to 1N-P-2C-P-2D, True" -> require: (none)
[04:32:19.628] [DealFinder] Explained bid W 3N: "Responses to 2C-2D-P-P (Stayman after 1V-P-1W-1N-PX-2C), (CombinedHcpMin >= 25 OR IsGameForcing OR TwoOpenersGame), NOT (Comb. Pts >= 32, CombinedHcpMin >= 28)" -> require: (none)
[04:32:19.629] [DealFinder] Explained bid N P: "Defensive bidding when our side has passed twice, True" -> require: (none)
[04:32:19.629] [DealFinder] Explained bid E P: "Passable situations - Stayman (Stayman after 1V-P-1W-1N-PX-2C), True" -> require: (none)
[04:32:19.629] [DealFinder] Explained bid S P: "Defensive bidding when our side has passed twice, True" -> require: (none)
[04:32:19.639] [DealFinder] N constraints: HCP[0-11], Suits=(none), Trivial=False
[04:32:19.639] [DealFinder]   Expression (4407 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:32:19.639] [Timing] N precompute: 9ms mem d=222KB (total=1453MB)
[04:32:19.641] [DealFinder] E Spades: tightened from [0-13] to [2-5] using HandUnderstanding
[04:32:19.641] [DealFinder] E Hearts: tightened from [0-13] to [2-5] using HandUnderstanding
[04:32:19.641] [DealFinder] E Diamonds: tightened from [0-13] to [2-5] using HandUnderstanding
[04:32:19.641] [DealFinder] E Clubs: tightened from [0-13] to [2-5] using HandUnderstanding
[04:32:19.641] [DealFinder] E constraints: HCP[15-17], Suits=S[2-5] H[2-5] D[2-5] C[2-5], Trivial=False
[04:32:19.641] [DealFinder]   Expression (789 chars): (((Balanced OR SemiBalanced) & HCP >= 15 & HCP <= 17 & S <= 4 & H <= 4) OR (Balanced & HCP >= 15 & HCP <= 16 & H = 5) OR (Balanced & HCP >= 15 & HCP <= 16 & S = 5)) & 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 (H >= 9 & HCP >= 6 & HCP <= 11 & LoserLevel >= 5 & S <= 4) & NOT (S >= 9 & HCP >= 6 & HCP <= 11 & LoserLevel >= 5 & H <= 4) & NOT (balish & HCP >= 20 & HCP <= 21) & NOT (balish & HCP >= 25 & HCP <= 27 & H <= 4 & S <= 4) & (S < 4 OR OpponentSuit(S)) & (H < 4 OR OpponentSuit(H)) & NOT (H >= 4 & NOT OpponentSuit(H)) & NOT (S >= 4 & NOT OpponentSuit(S)) & True
[04:32:19.641] [Timing] E precompute: 2ms mem d=136KB (total=1453MB)
[04:32:19.643] [DealFinder] S constraints: HCP[0-37], Suits=(none), Trivial=False
[04:32:19.643] [DealFinder]   Expression (981 chars): True & NOT (Rebiddable(C) & C >= 7 & ClubPoints >= 14 & ClubPoints <= 17) & NOT (Rebiddable(D) & D >= 7 & DiamondPoints >= 14 & DiamondPoints <= 17) & NOT (Rebiddable(H) & H >= 7 & HeartPoints >= 14 & HeartPoints <= 17) & NOT (Rebiddable(S) & S >= 7 & SpadePoints >= 14 & SpadePoints <= 17) & NOT (Rebiddable(C) & C >= 7 & HCP <= 10 & LoserLevel >= 4) & NOT (Rebiddable(D) & D >= 7 & HCP <= 10 & LoserLevel >= 4) & NOT (Rebiddable(H) & H >= 7 & HCP <= 10 & LoserLevel >= 4) & NOT (Rebiddable(S) & S >= 7 & HCP <= 10 & LoserLevel >= 4) & NOT (TP >= 10 & LengthLongestSuit >= 6 & Single Suited & HCP >= 10) & NOT (TP >= 10 & LengthLongestSuit >= 7 & HCP >= 10) & NOT (H >= 5 & S >= 5 & HCP >= 10) & NOT (H >= 5 & (C >= 4 OR D >= 4) & LoserLevel >= 2 & TP >= 12 & HCP >= 10) & NOT (S >= 5 & (C >= 4 OR D >= 4) & LoserLevel >= 2 & TP >= 12 & HCP >= 10) & NOT (C >= 5 & D >= 5 & TP >= 15 & HCP >= 10) & True & NOT Overcall(H) & NOT Overcall(S) & NOT Overcall(C) & NOT Overcall(D) & True
[04:32:19.643] [Timing] S precompute: 1ms mem d=80KB (total=1453MB)
[04:32:19.646] [DealFinder] W HCP min: tightened from 8 to 10 using HandUnderstanding
[04:32:19.646] [DealFinder] W constraints: HCP[10-37], Suits=(none), Trivial=False
[04:32:19.646] [DealFinder]   Expression (1539 chars): ((HCP >= 10 & S >= 4 & H >= 4 & H Add S >= 9) OR ((H = 4 OR S = 4) & HCP >= 8 & H Add S <= 8) OR (HCP >= 8 & HCP <= 9)) & NOT (H >= 6 & ((NOT (Comb. Pts >= 32 & CombinedHcpMin >= 28) & Game in H) OR (Comb. Pts >= 32 & CombinedHcpMin >= 28))) & NOT (S >= 6 & ((NOT (Comb. Pts >= 32 & CombinedHcpMin >= 28) & Game in S) OR (Comb. Pts >= 32 & CombinedHcpMin >= 28))) & NOT (D <= 1 & H = 4 & S = 4 & CombinedHcpMin >= 23 & C >= 4) & NOT (H <= 1 & S = 4 & CombinedHcpMin >= 23 & C >= 3 & D >= 3) & NOT (S <= 1 & H = 4 & CombinedHcpMin >= 23 & C >= 3 & D >= 3) & (CombinedHcpMin >= 25 OR IsGameForcing OR TwoOpenersGame) & NOT (Comb. Pts >= 32 & CombinedHcpMin >= 28) & NOT (C >= 5 & Game in C) & NOT (D >= 5 & Game in D) & NOT (IsNtSlamViable & CombinedHcpMin >= NtSmallSlamPointTarget Subtract 2 & CombinedHcpMin < NtSmallSlamPointTarget) & NOT (IsNtSlamViable & CombinedHcpMin >= NtSmallSlamPointTarget & CombinedHcpMin < NtGrandSlamPointTarget & CombinedHcpMax >= NtGrandSlamPointTarget) & NOT (IsNtSlamViable & CombinedHcpMin >= NtSmallSlamPointTarget & CombinedHcpMin < NtGrandSlamPointTarget) & NOT (IsNtSlamViable & (CombinedHcpMin >= NtGrandSlamPointTarget OR (CombinedHcpMin >= NtGrandSlamPointTarget Subtract 2 & Aces = 4))) & NOT Game in H & NOT Game in S & NOT (H >= 6 & HCP >= 8 & NOT (Comb. Pts >= 32 & CombinedHcpMin >= 28)) & NOT (S >= 6 & HCP >= 8 & NOT (Comb. Pts >= 32 & CombinedHcpMin >= 28)) & NOT (H = 4 & S = 5 & NOT OpponentSuit(H) & NOT OpponentSuit(S)) & NOT (H = 5 & S = 4 & NOT OpponentSuit(H) & NOT OpponentSuit(S))
[04:32:19.646] [Timing] W precompute: 2ms mem d=146KB (total=1453MB)
[04:32:19.646] ENDGAME_WORLD: #1 (w=1.00) N:.5..5 .A..KQ ..J9.6 .K4..
[04:32:19.646] ENDGAME_WORLD: #2 (w=1.00) N:.5..6 .A..KQ ..J9.5 .K4..
[04:32:19.646] ENDGAME_WORLD: #3 (w=1.00) N:...65 .A..KQ .5.J9. .K4..
[04:32:19.646] ENDGAME: Evaluating 3 candidates across 3 worlds (totalWeight=3.00, rankByScore=True):
[04:32:19.646]   HA: defeat 100 % (3.0/3.0), makes 100 % (3.0/3.0), avgDeclTricks=9.0, dist=[9:3.0]
[04:32:19.646]   CQ: defeat 100 % (3.0/3.0), makes 100 % (3.0/3.0), avgDeclTricks=9.0, dist=[9:3.0]
[04:32:19.646]   CK: defeat 100 % (3.0/3.0), makes 100 % (3.0/3.0), avgDeclTricks=9.0, dist=[9:3.0]
[04:32:19.646]   IMP HA: 0.00
[04:32:19.646]   IMP CQ: 0.00
[04:32:19.646]   IMP CK: 0.00
[04:32:19.647] ENDGAME: Selected CK (100 %)
[04:32:19.647] Tied cards: CK,CQ,HA -- invoking NN directly on tied set
[04:32:19.647] === FindBestCardAsync: Position=E, CardsPlayed=42 ===
[04:32:19.647] Finding card to play for E: 65.AJ3.AQ8.KQT93
[04:32:19.647] Relative position: Declarer, Contract type: NoTrump
[04:32:19.647] Cards in hand mask: 3
[04:32:19.648]   Candidate: QC = 91.1 %
[04:32:19.648]   Candidate: AH = 4.8 %
[04:32:19.648]   Candidate: KC = 4.1 %
[04:32:19.648] Selected: CQ (91.1 %)
[04:32:19.876] Activated: 2 tricks remaining, threshold=5
[04:32:19.876] ENDGAME: Hidden cards=4 between N and S, need 2+2, declarer tricks=7, defense tricks=4
[04:32:19.876] ENDGAME: Contract=3N, Declarer=E, ToPlay=W, Trump=NT
[04:32:19.876] ENDGAME: W [- HK4 - -]
[04:32:19.876] ENDGAME: E [- HA - CK]
[04:32:19.876] ENDGAME: Hidden [- H5 DJ C65]
[04:32:19.876] ENDGAME: 3 valid worlds (after void filtering)
[04:32:19.877] [DealFinder] Explained bid N P: "Opening Bid, HCP < 12, RuleOf < 21" -> require: (none)
[04:32:19.877] [DealFinder] Explained bid E 1N: "Opening Bid, Balanced, HCP >= 15, HCP <= 16, H = 5, S = 5, (Balanced OR SemiBalanced), HCP <= 17, S <= 4, H <= 4" -> require: (none)
[04:32:19.878] [DealFinder] Explained bid S P: "Responses to 1N, True" -> require: (none)
[04:32:19.878] [DealFinder] Explained bid W 2C: "Artificial - Stayman, Smolen, (H = 4 OR S = 4), HCP >= 8, H Add S <= 8, HCP <= 9, HCP >= 10, S >= 4, H >= 4, H Add S >= 9" -> require: (none)
[04:32:19.878] [DealFinder] Explained bid N P: "Responses to 1N-P-2C, Defensive bidding after two bids from opponents, True" -> require: (none)
[04:32:19.879] [DealFinder] Explained bid E 2D: "Responses to 2C-PX (Stayman after 1V-P-1W-1N-PX-2C), (S < 4 OR OpponentSuit(S)), (H < 4 OR OpponentSuit(H))" -> require: (none)
[04:32:19.879] [DealFinder] Explained bid S P: "Responses to 1N-P-2C-P-2D, True" -> require: (none)
[04:32:19.880] [DealFinder] Explained bid W 3N: "Responses to 2C-2D-P-P (Stayman after 1V-P-1W-1N-PX-2C), (CombinedHcpMin >= 25 OR IsGameForcing OR TwoOpenersGame), NOT (Comb. Pts >= 32, CombinedHcpMin >= 28)" -> require: (none)
[04:32:19.880] [DealFinder] Explained bid N P: "Defensive bidding when our side has passed twice, True" -> require: (none)
[04:32:19.880] [DealFinder] Explained bid E P: "Passable situations - Stayman (Stayman after 1V-P-1W-1N-PX-2C), True" -> require: (none)
[04:32:19.881] [DealFinder] Explained bid S P: "Defensive bidding when our side has passed twice, True" -> require: (none)
[04:32:19.890] [DealFinder] N constraints: HCP[0-11], Suits=(none), Trivial=False
[04:32:19.891] [DealFinder]   Expression (4407 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:32:19.891] [Timing] N precompute: 9ms mem d=234KB (total=1447MB)
[04:32:19.893] [DealFinder] E Spades: tightened from [0-13] to [2-5] using HandUnderstanding
[04:32:19.893] [DealFinder] E Hearts: tightened from [0-13] to [2-5] using HandUnderstanding
[04:32:19.893] [DealFinder] E Diamonds: tightened from [0-13] to [2-5] using HandUnderstanding
[04:32:19.893] [DealFinder] E Clubs: tightened from [0-13] to [2-5] using HandUnderstanding
[04:32:19.893] [DealFinder] E constraints: HCP[15-17], Suits=S[2-5] H[2-5] D[2-5] C[2-5], Trivial=False
[04:32:19.893] [DealFinder]   Expression (789 chars): (((Balanced OR SemiBalanced) & HCP >= 15 & HCP <= 17 & S <= 4 & H <= 4) OR (Balanced & HCP >= 15 & HCP <= 16 & H = 5) OR (Balanced & HCP >= 15 & HCP <= 16 & S = 5)) & 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 (H >= 9 & HCP >= 6 & HCP <= 11 & LoserLevel >= 5 & S <= 4) & NOT (S >= 9 & HCP >= 6 & HCP <= 11 & LoserLevel >= 5 & H <= 4) & NOT (balish & HCP >= 20 & HCP <= 21) & NOT (balish & HCP >= 25 & HCP <= 27 & H <= 4 & S <= 4) & (S < 4 OR OpponentSuit(S)) & (H < 4 OR OpponentSuit(H)) & NOT (H >= 4 & NOT OpponentSuit(H)) & NOT (S >= 4 & NOT OpponentSuit(S)) & True
[04:32:19.893] [Timing] E precompute: 2ms mem d=136KB (total=1448MB)
[04:32:19.895] [DealFinder] S constraints: HCP[0-37], Suits=(none), Trivial=False
[04:32:19.895] [DealFinder]   Expression (981 chars): True & NOT (Rebiddable(C) & C >= 7 & ClubPoints >= 14 & ClubPoints <= 17) & NOT (Rebiddable(D) & D >= 7 & DiamondPoints >= 14 & DiamondPoints <= 17) & NOT (Rebiddable(H) & H >= 7 & HeartPoints >= 14 & HeartPoints <= 17) & NOT (Rebiddable(S) & S >= 7 & SpadePoints >= 14 & SpadePoints <= 17) & NOT (Rebiddable(C) & C >= 7 & HCP <= 10 & LoserLevel >= 4) & NOT (Rebiddable(D) & D >= 7 & HCP <= 10 & LoserLevel >= 4) & NOT (Rebiddable(H) & H >= 7 & HCP <= 10 & LoserLevel >= 4) & NOT (Rebiddable(S) & S >= 7 & HCP <= 10 & LoserLevel >= 4) & NOT (TP >= 10 & LengthLongestSuit >= 6 & Single Suited & HCP >= 10) & NOT (TP >= 10 & LengthLongestSuit >= 7 & HCP >= 10) & NOT (H >= 5 & S >= 5 & HCP >= 10) & NOT (H >= 5 & (C >= 4 OR D >= 4) & LoserLevel >= 2 & TP >= 12 & HCP >= 10) & NOT (S >= 5 & (C >= 4 OR D >= 4) & LoserLevel >= 2 & TP >= 12 & HCP >= 10) & NOT (C >= 5 & D >= 5 & TP >= 15 & HCP >= 10) & True & NOT Overcall(H) & NOT Overcall(S) & NOT Overcall(C) & NOT Overcall(D) & True
[04:32:19.895] [Timing] S precompute: 2ms mem d=80KB (total=1448MB)
[04:32:19.898] [DealFinder] W HCP min: tightened from 8 to 10 using HandUnderstanding
[04:32:19.898] [DealFinder] W constraints: HCP[10-37], Suits=(none), Trivial=False
[04:32:19.898] [DealFinder]   Expression (1539 chars): ((HCP >= 10 & S >= 4 & H >= 4 & H Add S >= 9) OR ((H = 4 OR S = 4) & HCP >= 8 & H Add S <= 8) OR (HCP >= 8 & HCP <= 9)) & NOT (H >= 6 & ((NOT (Comb. Pts >= 32 & CombinedHcpMin >= 28) & Game in H) OR (Comb. Pts >= 32 & CombinedHcpMin >= 28))) & NOT (S >= 6 & ((NOT (Comb. Pts >= 32 & CombinedHcpMin >= 28) & Game in S) OR (Comb. Pts >= 32 & CombinedHcpMin >= 28))) & NOT (D <= 1 & H = 4 & S = 4 & CombinedHcpMin >= 23 & C >= 4) & NOT (H <= 1 & S = 4 & CombinedHcpMin >= 23 & C >= 3 & D >= 3) & NOT (S <= 1 & H = 4 & CombinedHcpMin >= 23 & C >= 3 & D >= 3) & (CombinedHcpMin >= 25 OR IsGameForcing OR TwoOpenersGame) & NOT (Comb. Pts >= 32 & CombinedHcpMin >= 28) & NOT (C >= 5 & Game in C) & NOT (D >= 5 & Game in D) & NOT (IsNtSlamViable & CombinedHcpMin >= NtSmallSlamPointTarget Subtract 2 & CombinedHcpMin < NtSmallSlamPointTarget) & NOT (IsNtSlamViable & CombinedHcpMin >= NtSmallSlamPointTarget & CombinedHcpMin < NtGrandSlamPointTarget & CombinedHcpMax >= NtGrandSlamPointTarget) & NOT (IsNtSlamViable & CombinedHcpMin >= NtSmallSlamPointTarget & CombinedHcpMin < NtGrandSlamPointTarget) & NOT (IsNtSlamViable & (CombinedHcpMin >= NtGrandSlamPointTarget OR (CombinedHcpMin >= NtGrandSlamPointTarget Subtract 2 & Aces = 4))) & NOT Game in H & NOT Game in S & NOT (H >= 6 & HCP >= 8 & NOT (Comb. Pts >= 32 & CombinedHcpMin >= 28)) & NOT (S >= 6 & HCP >= 8 & NOT (Comb. Pts >= 32 & CombinedHcpMin >= 28)) & NOT (H = 4 & S = 5 & NOT OpponentSuit(H) & NOT OpponentSuit(S)) & NOT (H = 5 & S = 4 & NOT OpponentSuit(H) & NOT OpponentSuit(S))
[04:32:19.898] [Timing] W precompute: 2ms mem d=145KB (total=1448MB)
[04:32:19.898] ENDGAME_WORLD: #1 (w=1.00) N:.5..5 .A..K ..J.6 .K4..
[04:32:19.898] ENDGAME_WORLD: #2 (w=1.00) N:.5..6 .A..K ..J.5 .K4..
[04:32:19.898] ENDGAME_WORLD: #3 (w=1.00) N:...65 .A..K .5.J. .K4..
[04:32:19.898] ENDGAME: Evaluating 2 candidates across 3 worlds (totalWeight=3.00, rankByScore=True):
[04:32:19.898]   H4: defeat 100 % (3.0/3.0), makes 100 % (3.0/3.0), avgDeclTricks=9.0, dist=[9:3.0]
[04:32:19.898]   HK: defeat 100 % (3.0/3.0), makes 100 % (3.0/3.0), avgDeclTricks=9.0, dist=[9:3.0]
[04:32:19.898]   IMP H4: 0.00
[04:32:19.898]   IMP HK: 0.00
[04:32:19.899] ENDGAME: Selected HK (100 %)
[04:32:19.899] ENDGAME: CLAIM -- best line wins all 2 remaining tricks in every world
[04:32:19.899] Tied cards: HK,H4 -- invoking NN directly on tied set
[04:32:19.899] === FindBestCardAsync: Position=W, CardsPlayed=44 ===
[04:32:19.899] Finding card to play for W: K84.KQ42.K742.J8
[04:32:19.899] Relative position: Dummy, Contract type: NoTrump
[04:32:19.899] Cards in hand mask: 2
[04:32:19.900]   Candidate: xH = 59.3 %
[04:32:19.900]   Candidate: KH = 40.7 %
[04:32:19.900] Selected: H4 (59.3 %)