--- Showing last 200 of 3840 lines ---
[04:18:31.920] [DealFinder] Explained bid W P: "Responses to 2Ma-PX, NOT (CombinedHcpMin >= 25 OR IsGameForcing OR TwoOpenersGame)" -> require: (none)
[04:18:31.921] [DealFinder] Explained bid N 3H: "Responses to 2Ma-X-P, H >= 4, HCP >= 9, HCP <= 12" -> require: (none)
[04:18:31.921] [DealFinder] Explained bid E P: "Passable situations - Preemptive offensive, True" -> require: (none)
[04:18:31.922] [DealFinder] Explained bid S P: "Responses to 2Ma-P-P-X-P-3oMa-P, True" -> require: (none)
[04:18:31.922] [DealFinder] Explained bid W P: "Responses to 2S-X-P-3H-P-P, True" -> require: (none)
[04:18:31.931] [DealFinder] N HCP min 9 -> 6: dropped 3 of PRIVATE floor (reasoned from S's own cards, not advertised by the auction).
[04:18:31.931] [DealFinder] N constraints: HCP[9-11], Suits=H[4-13], Trivial=False
[04:18:31.931] [DealFinder]   Expression (3799 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:18:31.931] [Timing] N precompute: 8ms mem d=192KB (total=1492MB)
[04:18:31.937] [DealFinder] E HCP min 9 -> 6: dropped 3 of PRIVATE floor (reasoned from W's own cards, not advertised by the auction).
[04:18:31.937] [DealFinder] E constraints: HCP[6-11], Suits=S[6-6] H[0-4], Trivial=False
[04:18:31.937] [DealFinder]   Expression (2866 chars): ((HCP <= 11 & S = 6 & HCP > 4 & BestSuit(S) & LoserLevel >= 2 & SpadePoints >= 6 & H <= 4 & RuleOf < 21 & HCP >= 6) OR (HCP <= 11 & S = 6 & HCP > 4 & BestSuit(S) & 2 of Top 3 Honors in S & H <= 3 & RuleOf < 21 & HCP >= 6)) & 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 & (DiamondLongest OR ExplicitShape = 4=4=3=2)) & NOT (HCP >= 12 & HCP <= 21 & H >= 5 & H > S & HeartLongest) & NOT (HCP >= 12 & HCP <= 21 ...
[04:18:31.937] [Timing] E precompute: 5ms mem d=179KB (total=1492MB)
[04:18:31.940] [DealFinder] S HCP min 16 -> 13: dropped 3 of PRIVATE floor (reasoned from N's own cards, not advertised by the auction).
[04:18:31.940] [DealFinder] S HCP min: tightened from 0 to 13 using HandUnderstanding
[04:18:31.940] [DealFinder] S HCP max: tightened from 37 to 16 using HandUnderstanding
[04:18:31.941] [DealFinder] S constraints: HCP[13-16], Suits=(none), Trivial=False
[04:18:31.941] [DealFinder]   Expression (2297 chars): (DoubleThenOvercall(C) OR DoubleThenOvercall(D) OR HCP >= 18 OR (HCP >= 13 & H >= 4 & C >= 2 & D >= 2 & S <= 3) OR (HCP >= 15 & H >= 3 & S <= 3)) & NOT (H >= 6 & Losers <= 4 & HCP >= 15 & 3 of Top 5 Honors in H) & NOT (H >= 7 & HeartPoints >= 18 & Losers <= 4) & NOT (D >= 5 & C >= 5 & Losers <= 4 & HCP >= 17) & NOT (D >= 5 & C >= 5 & LoserLevel >= 4 & HCP >= 12) & NOT (RealSolid(C) & Losers = 1) & NOT (RealSolid(D) & Losers = 1) & NOT (RealSolid(C) & Losers <= 0) & NOT (RealSolid(D) & Losers <= 0) & NOT (RealSolid(H) & Losers = 1) & NOT (RealSolid(H) & Losers <= 0) & NOT (HCP >= 16 & HCP <= 18 & balish & Stopper in S) & NOT (HCP >= 19 & HCP <= 24 & balish & Stopper in S) & NOT (HCP >= 20 & HCP <= 24 & S >= 4 & Stopper in S) & NOT (BestMinor(C) & C >= 7 & HCP >= 19 & Single Suited & Losers >= 3) & NOT (BestMinor(D) & D >= 7 & HCP >= 19 & Single Suited & Losers >= 3) & NOT (H >= 5 & (D >= 5 OR C >= 5) & LoserLevel >= 3 & HCP >= 12) & True & NOT (H >= 4 & IsHeartSlamViable & CombinedHeartPointsMin >= HeartSmallSlamPointTarget Subtract 2 & CombinedHcpMin >= 28) & NOT (H >= 4 & HeartSlam) & NOT (H >= 4 & (RealSolid(H) OR IsTrump(H)) & Losers = 1) & NOT (H >= 4 & MonsterSlam(H)) & NOT (H >= 4 & IsHeartSlamViable & CombinedHeartPointsMin >= HeartSmallSlamPointTarget & CombinedHeartPointsMin < HeartGrandSlamPointTarget & CombinedHcpMin >= 28) & NOT (H >= 4 & (RealSolid(H) OR IsTrump(H)) & Losers <= 0) & NOT (H >= 4 & MonsterGrandSlam(H)) & NOT (H >= 4 & IsHeartSlamViable & CombinedHeartPointsMin >= HeartGrandSlamPointTarget Subtract 1 & CombinedHeartPointsMin < HeartGrandSlamPointTarget & CombinedHcpMin >= 28 & TP >= 13 & 1 of Top 3 Honors in H & NOT 2 of Top 3 Honors in H) & NOT (H >= 4 & IsNtSlamViable & (CombinedHcpMin >= NtGrandSlamPointTarget OR (CombinedHcpMin >= NtGrandSlamPointTarget Subtract 2 & Aces = 4))) & NOT ((CombinedHcpMin >= 25 OR IsGameForcing OR TwoOpenersGame) & Stopper in S) & NOT (BestMinor(C) & C >= 5 & (CombinedHcpMin >= 25 OR IsGameForcing OR TwoOpe...
[04:18:31.941] [Timing] S precompute: 3ms mem d=177KB (total=1493MB)
[04:18:31.952] [DealFinder] W constraints: HCP[0-11], Suits=(none), Trivial=False
[04:18:31.952] [DealFinder]   Expression (5539 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:18:31.953] [Timing] W precompute: 11ms mem d=226KB (total=1493MB)
[04:18:31.953] ENDGAME: Bidding weights applied to 19/20 worlds (range 0.00-1.00, total 1.18, 1 unpenalised)
[04:18:31.953] ENDGAME: Played by E: 6 HCP S:3 H:2 D:2 C:3; by W: 4 HCP S:2 H:3 D:2 C:3
[04:18:31.953] ENDGAME_WORLD: #1 (w=1.00) N:T.J..Q KJ7... .9.93. ..QT6.
[04:18:31.953] ENDGAME_WORLD: #2 (w=0.01) N:T.J..Q J7..6. .9.93. K..QT.
[04:18:31.953] ENDGAME_WORLD: #3 (w=0.01) N:T.J..Q J7..T. .9.93. K..Q6.
[04:18:31.953] ENDGAME_WORLD: #4 (w=0.01) N:T.J..Q J7..Q. .9.93. K..T6.
[04:18:31.953] ENDGAME_WORLD: #5 (w=0.01) N:T.J..Q K7..6. .9.93. J..QT.
[04:18:31.953] ENDGAME_WORLD: #6 (w=0.01) N:T.J..Q K7..T. .9.93. J..Q6.
[04:18:31.953] ENDGAME_WORLD: #7 (w=0.01) N:T.J..Q K7..Q. .9.93. J..T6.
[04:18:31.953] ENDGAME_WORLD: #8 (w=0.01) N:T.J..Q 7..T6. .9.93. KJ..Q.
[04:18:31.953] ENDGAME_WORLD: #9 (w=0.01) N:T.J..Q 7..Q6. .9.93. KJ..T.
[04:18:31.953] ENDGAME_WORLD: #10 (w=0.01) N:T.J..Q 7..QT. .9.93. KJ..6.
[04:18:31.953] ENDGAME_WORLD: #11 (w=0.01) N:T.J..Q KJ..6. .9.93. 7..QT.
[04:18:31.953] ENDGAME_WORLD: #12 (w=0.01) N:T.J..Q KJ..T. .9.93. 7..Q6.
[04:18:31.954] ENDGAME_WORLD: #13 (w=0.00) N:T.J..Q KJ..Q. .9.93. 7..T6.
[04:18:31.954] ENDGAME_WORLD: #14 (w=0.01) N:T.J..Q J..T6. .9.93. K7..Q.
[04:18:31.954] ENDGAME_WORLD: #15 (w=0.01) N:T.J..Q J..Q6. .9.93. K7..T.
[04:18:31.954] ENDGAME_WORLD: #16 (w=0.01) N:T.J..Q J..QT. .9.93. K7..6.
[04:18:31.954] ENDGAME_WORLD: #17 (w=0.01) N:T.J..Q K..T6. .9.93. J7..Q.
[04:18:31.954] ENDGAME_WORLD: #18 (w=0.01) N:T.J..Q K..Q6. .9.93. J7..T.
[04:18:31.954] ENDGAME_WORLD: #19 (w=0.01) N:T.J..Q K..QT. .9.93. J7..6.
[04:18:31.954] ENDGAME_WORLD: #20 (w=0.01) N:T.J..Q ..QT6. .9.93. KJ7...
[04:18:31.954] ENDGAME: Evaluating 3 candidates across 20 worlds (totalWeight=1.18, rankByScore=True):
[04:18:31.955]   H9: defeat 100 % (1.2/1.2), makes 100 % (1.2/1.2), avgDeclTricks=9.0, dist=[9:1.2]
[04:18:31.955]   D3: defeat 100 % (1.2/1.2), makes 100 % (1.2/1.2), avgDeclTricks=10.0, dist=[10:1.2]
[04:18:31.956]   D9: defeat 100 % (1.2/1.2), makes 100 % (1.2/1.2), avgDeclTricks=10.0, dist=[10:1.2]
[04:18:31.956]   IMP H9: -1.00
[04:18:31.956]   IMP D3: 0.50
[04:18:31.956]   IMP D9: 0.50
[04:18:31.956] ENDGAME: Selected D9 (100 %)
[04:18:31.956] ENDGAME: CLAIM -- best line wins all 3 remaining tricks in every world
[04:18:31.956] Tied cards: D9,D3 -- invoking NN directly on tied set
[04:18:31.956] === FindBestCardAsync: Position=S, CardsPlayed=40 ===
[04:18:31.956] Finding card to play for S: 32.K942.AK93.KJ9
[04:18:31.956] Relative position: Dummy, Contract type: Suit
[04:18:31.957] Cards in hand mask: 3
[04:18:31.958]   Candidate: xD = 66.7 %
[04:18:31.958]   Candidate: 9D = 29.0 %
[04:18:31.958]   Candidate: 9H = 4.2 %
[04:18:31.958] Selected: D3 (66.7 %)
=== Board DailyMP2026-08-30_b4_t2 (API) - DDS Engine (N) - 2026-08-30 04:18:32 ===
=== Board DailyMP2026-08-30_b4_t2 (API) - Neural Network Engine (N) - 2026-08-30 04:18:32 ===
[04:18:32.182] Activated: 3 tricks remaining, threshold=5
[04:18:32.182] ENDGAME: Hidden cards=5 between E and W, need 3+2, declarer tricks=7, defense tricks=3
[04:18:32.182] ENDGAME: Contract=3H, Declarer=N, ToPlay=N, Trump=H
[04:18:32.182] ENDGAME: N [ST HJ - CQ]
[04:18:32.183] ENDGAME: S [- H9 D9 -]
[04:18:32.183] ENDGAME: Hidden [SKJ7 - DQT -]
[04:18:32.183] ENDGAME: Current trick (2 cards, led by S): D3 D6
[04:18:32.183] ENDGAME: 10 valid worlds (after void filtering)
[04:18:32.184] [DealFinder] Explained bid W P: "Opening Bid, HCP < 12, RuleOf < 21" -> require: (none)
[04:18:32.184] [DealFinder] Explained bid N P: "Opening Bid, HCP < 12, RuleOf < 21" -> require: (none)
[04:18:32.184] [DealFinder] Explained bid E 2S: "Weak two major, HCP <= 11, S = 6, HCP > 4, BestSuit(S), LoserLevel >= 2, SpadePoints >= 6, H <= 4, RuleOf < 21, 2 of Top 3 Honors in S, H <= 3" -> require: (none)
[04:18:32.185] [DealFinder] Explained bid S X: "Overcalling Weak 2Ma Opening, HCP >= 18, HCP >= 13, H >= 4, C >= 2, D >= 2, S <= 3, HCP >= 15, H >= 3, DoubleThenOvercall(C), DoubleThenOvercall(D)" -> require: (none)
[04:18:32.186] [DealFinder] Explained bid W P: "Responses to 2Ma-PX, NOT (CombinedHcpMin >= 25 OR IsGameForcing OR TwoOpenersGame)" -> require: (none)
[04:18:32.187] [DealFinder] Explained bid N 3H: "Responses to 2Ma-X-P, H >= 4, HCP >= 9, HCP <= 12" -> require: (none)
[04:18:32.189] [DealFinder] Explained bid E P: "Passable situations - Preemptive offensive, True" -> require: (none)
[04:18:32.191] [DealFinder] Explained bid S P: "Responses to 2Ma-P-P-X-P-3oMa-P, True" -> require: (none)
[04:18:32.191] [DealFinder] Explained bid W P: "Responses to 2S-X-P-3H-P-P, True" -> require: (none)
[04:18:32.216] [DealFinder] N HCP min 9 -> 6: dropped 3 of PRIVATE floor (reasoned from S's own cards, not advertised by the auction).
[04:18:32.216] [DealFinder] N constraints: HCP[9-11], Suits=H[4-13], Trivial=False
[04:18:32.216] [DealFinder]   Expression (3799 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:18:32.216] [Timing] N precompute: 24ms mem d=199KB (total=1468MB)
[04:18:32.228] [DealFinder] E HCP min 9 -> 6: dropped 3 of PRIVATE floor (reasoned from W's own cards, not advertised by the auction).
[04:18:32.228] [DealFinder] E constraints: HCP[6-11], Suits=S[6-6] H[0-4], Trivial=False
[04:18:32.228] [DealFinder]   Expression (2866 chars): ((HCP <= 11 & S = 6 & HCP > 4 & BestSuit(S) & LoserLevel >= 2 & SpadePoints >= 6 & H <= 4 & RuleOf < 21 & HCP >= 6) OR (HCP <= 11 & S = 6 & HCP > 4 & BestSuit(S) & 2 of Top 3 Honors in S & H <= 3 & RuleOf < 21 & HCP >= 6)) & 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 & (DiamondLongest OR ExplicitShape = 4=4=3=2)) & NOT (HCP >= 12 & HCP <= 21 & H >= 5 & H > S & HeartLongest) & NOT (HCP >= 12 & HCP <= 21 ...
[04:18:32.228] [Timing] E precompute: 11ms mem d=186KB (total=1468MB)
[04:18:32.233] [DealFinder] S HCP min 16 -> 13: dropped 3 of PRIVATE floor (reasoned from N's own cards, not advertised by the auction).
[04:18:32.233] [DealFinder] S HCP min: tightened from 0 to 13 using HandUnderstanding
[04:18:32.233] [DealFinder] S HCP max: tightened from 37 to 16 using HandUnderstanding
[04:18:32.233] [DealFinder] S constraints: HCP[13-16], Suits=(none), Trivial=False
[04:18:32.233] [DealFinder]   Expression (2297 chars): (DoubleThenOvercall(C) OR DoubleThenOvercall(D) OR HCP >= 18 OR (HCP >= 13 & H >= 4 & C >= 2 & D >= 2 & S <= 3) OR (HCP >= 15 & H >= 3 & S <= 3)) & NOT (H >= 6 & Losers <= 4 & HCP >= 15 & 3 of Top 5 Honors in H) & NOT (H >= 7 & HeartPoints >= 18 & Losers <= 4) & NOT (D >= 5 & C >= 5 & Losers <= 4 & HCP >= 17) & NOT (D >= 5 & C >= 5 & LoserLevel >= 4 & HCP >= 12) & NOT (RealSolid(C) & Losers = 1) & NOT (RealSolid(D) & Losers = 1) & NOT (RealSolid(C) & Losers <= 0) & NOT (RealSolid(D) & Losers <= 0) & NOT (RealSolid(H) & Losers = 1) & NOT (RealSolid(H) & Losers <= 0) & NOT (HCP >= 16 & HCP <= 18 & balish & Stopper in S) & NOT (HCP >= 19 & HCP <= 24 & balish & Stopper in S) & NOT (HCP >= 20 & HCP <= 24 & S >= 4 & Stopper in S) & NOT (BestMinor(C) & C >= 7 & HCP >= 19 & Single Suited & Losers >= 3) & NOT (BestMinor(D) & D >= 7 & HCP >= 19 & Single Suited & Losers >= 3) & NOT (H >= 5 & (D >= 5 OR C >= 5) & LoserLevel >= 3 & HCP >= 12) & True & NOT (H >= 4 & IsHeartSlamViable & CombinedHeartPointsMin >= HeartSmallSlamPointTarget Subtract 2 & CombinedHcpMin >= 28) & NOT (H >= 4 & HeartSlam) & NOT (H >= 4 & (RealSolid(H) OR IsTrump(H)) & Losers = 1) & NOT (H >= 4 & MonsterSlam(H)) & NOT (H >= 4 & IsHeartSlamViable & CombinedHeartPointsMin >= HeartSmallSlamPointTarget & CombinedHeartPointsMin < HeartGrandSlamPointTarget & CombinedHcpMin >= 28) & NOT (H >= 4 & (RealSolid(H) OR IsTrump(H)) & Losers <= 0) & NOT (H >= 4 & MonsterGrandSlam(H)) & NOT (H >= 4 & IsHeartSlamViable & CombinedHeartPointsMin >= HeartGrandSlamPointTarget Subtract 1 & CombinedHeartPointsMin < HeartGrandSlamPointTarget & CombinedHcpMin >= 28 & TP >= 13 & 1 of Top 3 Honors in H & NOT 2 of Top 3 Honors in H) & NOT (H >= 4 & IsNtSlamViable & (CombinedHcpMin >= NtGrandSlamPointTarget OR (CombinedHcpMin >= NtGrandSlamPointTarget Subtract 2 & Aces = 4))) & NOT ((CombinedHcpMin >= 25 OR IsGameForcing OR TwoOpenersGame) & Stopper in S) & NOT (BestMinor(C) & C >= 5 & (CombinedHcpMin >= 25 OR IsGameForcing OR TwoOpe...
[04:18:32.233] [Timing] S precompute: 5ms mem d=178KB (total=1468MB)
[04:18:32.246] [DealFinder] W constraints: HCP[0-11], Suits=(none), Trivial=False
[04:18:32.246] [DealFinder]   Expression (5539 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:18:32.247] [Timing] W precompute: 13ms mem d=225KB (total=1468MB)
[04:18:32.247] ENDGAME: Bidding weights applied to 9/10 worlds (range 0.00-1.00, total 1.08, 1 unpenalised)
[04:18:32.247] ENDGAME: Played by E: 6 HCP S:3 H:2 D:2 C:3; by W: 4 HCP S:2 H:3 D:3 C:3
[04:18:32.247] ENDGAME_WORLD: #1 (w=1.00) N:T.J..Q KJ7... .9.9. ..QT.
[04:18:32.247] ENDGAME_WORLD: #2 (w=0.01) N:T.J..Q J7..T. .9.9. K..Q.
[04:18:32.247] ENDGAME_WORLD: #3 (w=0.01) N:T.J..Q J7..Q. .9.9. K..T.
[04:18:32.247] ENDGAME_WORLD: #4 (w=0.01) N:T.J..Q K7..T. .9.9. J..Q.
[04:18:32.247] ENDGAME_WORLD: #5 (w=0.01) N:T.J..Q K7..Q. .9.9. J..T.
[04:18:32.247] ENDGAME_WORLD: #6 (w=0.01) N:T.J..Q 7..QT. .9.9. KJ...
[04:18:32.247] ENDGAME_WORLD: #7 (w=0.01) N:T.J..Q KJ..T. .9.9. 7..Q.
[04:18:32.247] ENDGAME_WORLD: #8 (w=0.00) N:T.J..Q KJ..Q. .9.9. 7..T.
[04:18:32.247] ENDGAME_WORLD: #9 (w=0.01) N:T.J..Q J..QT. .9.9. K7...
[04:18:32.248] ENDGAME_WORLD: #10 (w=0.01) N:T.J..Q K..QT. .9.9. J7...
[04:18:32.248] ENDGAME: Evaluating 3 candidates across 10 worlds (totalWeight=1.08, rankByScore=True):
[04:18:32.248]   ST: defeat 100 % (1.1/1.1), makes 100 % (1.1/1.1), avgDeclTricks=9.0, dist=[9:1.1]
[04:18:32.248]   HJ: defeat 100 % (1.1/1.1), makes 100 % (1.1/1.1), avgDeclTricks=10.0, dist=[10:1.1]
[04:18:32.248]   CQ: defeat 100 % (1.1/1.1), makes 100 % (1.1/1.1), avgDeclTricks=9.0, dist=[9:1.1]
[04:18:32.248]   IMP ST: -0.50
[04:18:32.248]   IMP HJ: 1.00
[04:18:32.248]   IMP CQ: -0.50
[04:18:32.248] ENDGAME: Selected HJ (100 %)
[04:18:32.480] Activated: 2 tricks remaining, threshold=5
[04:18:32.480] ENDGAME: Hidden cards=4 between E and W, need 2+2, declarer tricks=8, defense tricks=3
[04:18:32.481] ENDGAME: Contract=3H, Declarer=N, ToPlay=N, Trump=H
[04:18:32.481] ENDGAME: N [ST - - CQ]
[04:18:32.481] ENDGAME: S [- H9 D9 -]
[04:18:32.481] ENDGAME: Hidden [SKJ - DQT -]
[04:18:32.481] ENDGAME: 1 valid worlds (after void filtering)
[04:18:32.481] [DealFinder] Explained bid W P: "Opening Bid, HCP < 12, RuleOf < 21" -> require: (none)
[04:18:32.482] [DealFinder] Explained bid N P: "Opening Bid, HCP < 12, RuleOf < 21" -> require: (none)
[04:18:32.482] [DealFinder] Explained bid E 2S: "Weak two major, HCP <= 11, S = 6, HCP > 4, BestSuit(S), LoserLevel >= 2, SpadePoints >= 6, H <= 4, RuleOf < 21, 2 of Top 3 Honors in S, H <= 3" -> require: (none)
[04:18:32.483] [DealFinder] Explained bid S X: "Overcalling Weak 2Ma Opening, HCP >= 18, HCP >= 13, H >= 4, C >= 2, D >= 2, S <= 3, HCP >= 15, H >= 3, DoubleThenOvercall(C), DoubleThenOvercall(D)" -> require: (none)
[04:18:32.483] [DealFinder] Explained bid W P: "Responses to 2Ma-PX, NOT (CombinedHcpMin >= 25 OR IsGameForcing OR TwoOpenersGame)" -> require: (none)
[04:18:32.484] [DealFinder] Explained bid N 3H: "Responses to 2Ma-X-P, H >= 4, HCP >= 9, HCP <= 12" -> require: (none)
[04:18:32.484] [DealFinder] Explained bid E P: "Passable situations - Preemptive offensive, True" -> require: (none)
[04:18:32.485] [DealFinder] Explained bid S P: "Responses to 2Ma-P-P-X-P-3oMa-P, True" -> require: (none)
[04:18:32.485] [DealFinder] Explained bid W P: "Responses to 2S-X-P-3H-P-P, True" -> require: (none)
[04:18:32.494] [DealFinder] N HCP min 9 -> 6: dropped 3 of PRIVATE floor (reasoned from S's own cards, not advertised by the auction).
[04:18:32.494] [DealFinder] N constraints: HCP[9-11], Suits=H[4-13], Trivial=False
[04:18:32.494] [DealFinder]   Expression (3799 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:18:32.494] [Timing] N precompute: 8ms mem d=199KB (total=1485MB)
[04:18:32.501] [DealFinder] E HCP min 9 -> 6: dropped 3 of PRIVATE floor (reasoned from W's own cards, not advertised by the auction).
[04:18:32.501] [DealFinder] E constraints: HCP[6-11], Suits=S[6-6] H[0-4], Trivial=False
[04:18:32.501] [DealFinder]   Expression (2866 chars): ((HCP <= 11 & S = 6 & HCP > 4 & BestSuit(S) & LoserLevel >= 2 & SpadePoints >= 6 & H <= 4 & RuleOf < 21 & HCP >= 6) OR (HCP <= 11 & S = 6 & HCP > 4 & BestSuit(S) & 2 of Top 3 Honors in S & H <= 3 & RuleOf < 21 & HCP >= 6)) & 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 & (DiamondLongest OR ExplicitShape = 4=4=3=2)) & NOT (HCP >= 12 & HCP <= 21 & H >= 5 & H > S & HeartLongest) & NOT (HCP >= 12 & HCP <= 21 ...
[04:18:32.501] [Timing] E precompute: 6ms mem d=193KB (total=1486MB)
[04:18:32.505] [DealFinder] S HCP min 16 -> 13: dropped 3 of PRIVATE floor (reasoned from N's own cards, not advertised by the auction).
[04:18:32.506] [DealFinder] S HCP min: tightened from 0 to 13 using HandUnderstanding
[04:18:32.506] [DealFinder] S HCP max: tightened from 37 to 16 using HandUnderstanding
[04:18:32.506] [DealFinder] S constraints: HCP[13-16], Suits=(none), Trivial=False
[04:18:32.506] [DealFinder]   Expression (2297 chars): (DoubleThenOvercall(C) OR DoubleThenOvercall(D) OR HCP >= 18 OR (HCP >= 13 & H >= 4 & C >= 2 & D >= 2 & S <= 3) OR (HCP >= 15 & H >= 3 & S <= 3)) & NOT (H >= 6 & Losers <= 4 & HCP >= 15 & 3 of Top 5 Honors in H) & NOT (H >= 7 & HeartPoints >= 18 & Losers <= 4) & NOT (D >= 5 & C >= 5 & Losers <= 4 & HCP >= 17) & NOT (D >= 5 & C >= 5 & LoserLevel >= 4 & HCP >= 12) & NOT (RealSolid(C) & Losers = 1) & NOT (RealSolid(D) & Losers = 1) & NOT (RealSolid(C) & Losers <= 0) & NOT (RealSolid(D) & Losers <= 0) & NOT (RealSolid(H) & Losers = 1) & NOT (RealSolid(H) & Losers <= 0) & NOT (HCP >= 16 & HCP <= 18 & balish & Stopper in S) & NOT (HCP >= 19 & HCP <= 24 & balish & Stopper in S) & NOT (HCP >= 20 & HCP <= 24 & S >= 4 & Stopper in S) & NOT (BestMinor(C) & C >= 7 & HCP >= 19 & Single Suited & Losers >= 3) & NOT (BestMinor(D) & D >= 7 & HCP >= 19 & Single Suited & Losers >= 3) & NOT (H >= 5 & (D >= 5 OR C >= 5) & LoserLevel >= 3 & HCP >= 12) & True & NOT (H >= 4 & IsHeartSlamViable & CombinedHeartPointsMin >= HeartSmallSlamPointTarget Subtract 2 & CombinedHcpMin >= 28) & NOT (H >= 4 & HeartSlam) & NOT (H >= 4 & (RealSolid(H) OR IsTrump(H)) & Losers = 1) & NOT (H >= 4 & MonsterSlam(H)) & NOT (H >= 4 & IsHeartSlamViable & CombinedHeartPointsMin >= HeartSmallSlamPointTarget & CombinedHeartPointsMin < HeartGrandSlamPointTarget & CombinedHcpMin >= 28) & NOT (H >= 4 & (RealSolid(H) OR IsTrump(H)) & Losers <= 0) & NOT (H >= 4 & MonsterGrandSlam(H)) & NOT (H >= 4 & IsHeartSlamViable & CombinedHeartPointsMin >= HeartGrandSlamPointTarget Subtract 1 & CombinedHeartPointsMin < HeartGrandSlamPointTarget & CombinedHcpMin >= 28 & TP >= 13 & 1 of Top 3 Honors in H & NOT 2 of Top 3 Honors in H) & NOT (H >= 4 & IsNtSlamViable & (CombinedHcpMin >= NtGrandSlamPointTarget OR (CombinedHcpMin >= NtGrandSlamPointTarget Subtract 2 & Aces = 4))) & NOT ((CombinedHcpMin >= 25 OR IsGameForcing OR TwoOpenersGame) & Stopper in S) & NOT (BestMinor(C) & C >= 5 & (CombinedHcpMin >= 25 OR IsGameForcing OR TwoOpe...
[04:18:32.506] [Timing] S precompute: 4ms mem d=160KB (total=1486MB)
[04:18:32.518] [DealFinder] W constraints: HCP[0-11], Suits=(none), Trivial=False
[04:18:32.518] [DealFinder]   Expression (5539 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:18:32.518] [Timing] W precompute: 12ms mem d=236KB (total=1486MB)
[04:18:32.518] ENDGAME_WORLD: #1 (w=1.00) N:T...Q KJ... .9.9. ..QT.
[04:18:32.518] ENDGAME: Evaluating 2 candidates across 1 worlds (totalWeight=1.00, rankByScore=True):
[04:18:32.518]   ST: defeat 100 % (1.0/1.0), makes 100 % (1.0/1.0), avgDeclTricks=9.0, dist=[9:1.0]
[04:18:32.518]   CQ: defeat 100 % (1.0/1.0), makes 100 % (1.0/1.0), avgDeclTricks=10.0, dist=[10:1.0]
[04:18:32.518]   IMP ST: -1.00
[04:18:32.519]   IMP CQ: 1.00
[04:18:32.519] ENDGAME: Selected CQ (100 %)
[04:18:32.519] ENDGAME: CLAIM -- best line wins all 2 remaining tricks in every world
[04:18:32.791] Activated: 2 tricks remaining, threshold=5
[04:18:32.791] ENDGAME: Hidden cards=3 between E and W, need 1+2, declarer tricks=8, defense tricks=3
[04:18:32.791] ENDGAME: Contract=3H, Declarer=N, ToPlay=S, Trump=H
[04:18:32.791] ENDGAME: S [- H9 D9 -]
[04:18:32.791] ENDGAME: N [ST - - -]
[04:18:32.792] ENDGAME: Hidden [SK - DQT -]
[04:18:32.792] ENDGAME: Current trick (2 cards, led by N): CQ SJ
[04:18:32.792] ENDGAME: 1 valid worlds (after void filtering)
[04:18:32.792] [DealFinder] Explained bid W P: "Opening Bid, HCP < 12, RuleOf < 21" -> require: (none)
[04:18:32.793] [DealFinder] Explained bid N P: "Opening Bid, HCP < 12, RuleOf < 21" -> require: (none)
[04:18:32.793] [DealFinder] Explained bid E 2S: "Weak two major, HCP <= 11, S = 6, HCP > 4, BestSuit(S), LoserLevel >= 2, SpadePoints >= 6, H <= 4, RuleOf < 21, 2 of Top 3 Honors in S, H <= 3" -> require: (none)
[04:18:32.793] [DealFinder] Explained bid S X: "Overcalling Weak 2Ma Opening, HCP >= 18, HCP >= 13, H >= 4, C >= 2, D >= 2, S <= 3, HCP >= 15, H >= 3, DoubleThenOvercall(C), DoubleThenOvercall(D)" -> require: (none)
[04:18:32.794] [DealFinder] Explained bid W P: "Responses to 2Ma-PX, NOT (CombinedHcpMin >= 25 OR IsGameForcing OR TwoOpenersGame)" -> require: (none)
[04:18:32.794] [DealFinder] Explained bid N 3H: "Responses to 2Ma-X-P, H >= 4, HCP >= 9, HCP <= 12" -> require: (none)
[04:18:32.795] [DealFinder] Explained bid E P: "Passable situations - Preemptive offensive, True" -> require: (none)
[04:18:32.795] [DealFinder] Explained bid S P: "Responses to 2Ma-P-P-X-P-3oMa-P, True" -> require: (none)
[04:18:32.796] [DealFinder] Explained bid W P: "Responses to 2S-X-P-3H-P-P, True" -> require: (none)
[04:18:32.804] [DealFinder] N HCP min 9 -> 6: dropped 3 of PRIVATE floor (reasoned from S's own cards, not advertised by the auction).
[04:18:32.804] [DealFinder] N constraints: HCP[9-11], Suits=H[4-13], Trivial=False
[04:18:32.804] [DealFinder]   Expression (3799 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:18:32.804] [Timing] N precompute: 8ms mem d=195KB (total=1459MB)
[04:18:32.811] [DealFinder] E HCP min 9 -> 6: dropped 3 of PRIVATE floor (reasoned from W's own cards, not advertised by the auction).
[04:18:32.811] [DealFinder] E constraints: HCP[6-11], Suits=S[6-6] H[0-4], Trivial=False
[04:18:32.811] [DealFinder]   Expression (2866 chars): ((HCP <= 11 & S = 6 & HCP > 4 & BestSuit(S) & LoserLevel >= 2 & SpadePoints >= 6 & H <= 4 & RuleOf < 21 & HCP >= 6) OR (HCP <= 11 & S = 6 & HCP > 4 & BestSuit(S) & 2 of Top 3 Honors in S & H <= 3 & RuleOf < 21 & HCP >= 6)) & 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 & (DiamondLongest OR ExplicitShape = 4=4=3=2)) & NOT (HCP >= 12 & HCP <= 21 & H >= 5 & H > S & HeartLongest) & NOT (HCP >= 12 & HCP <= 21 ...
[04:18:32.811] [Timing] E precompute: 6ms mem d=187KB (total=1459MB)
[04:18:32.814] [DealFinder] S HCP min 16 -> 13: dropped 3 of PRIVATE floor (reasoned from N's own cards, not advertised by the auction).
[04:18:32.815] [DealFinder] S HCP min: tightened from 0 to 13 using HandUnderstanding
[04:18:32.815] [DealFinder] S HCP max: tightened from 37 to 16 using HandUnderstanding
[04:18:32.815] [DealFinder] S constraints: HCP[13-16], Suits=(none), Trivial=False
[04:18:32.815] [DealFinder]   Expression (2297 chars): (DoubleThenOvercall(C) OR DoubleThenOvercall(D) OR HCP >= 18 OR (HCP >= 13 & H >= 4 & C >= 2 & D >= 2 & S <= 3) OR (HCP >= 15 & H >= 3 & S <= 3)) & NOT (H >= 6 & Losers <= 4 & HCP >= 15 & 3 of Top 5 Honors in H) & NOT (H >= 7 & HeartPoints >= 18 & Losers <= 4) & NOT (D >= 5 & C >= 5 & Losers <= 4 & HCP >= 17) & NOT (D >= 5 & C >= 5 & LoserLevel >= 4 & HCP >= 12) & NOT (RealSolid(C) & Losers = 1) & NOT (RealSolid(D) & Losers = 1) & NOT (RealSolid(C) & Losers <= 0) & NOT (RealSolid(D) & Losers <= 0) & NOT (RealSolid(H) & Losers = 1) & NOT (RealSolid(H) & Losers <= 0) & NOT (HCP >= 16 & HCP <= 18 & balish & Stopper in S) & NOT (HCP >= 19 & HCP <= 24 & balish & Stopper in S) & NOT (HCP >= 20 & HCP <= 24 & S >= 4 & Stopper in S) & NOT (BestMinor(C) & C >= 7 & HCP >= 19 & Single Suited & Losers >= 3) & NOT (BestMinor(D) & D >= 7 & HCP >= 19 & Single Suited & Losers >= 3) & NOT (H >= 5 & (D >= 5 OR C >= 5) & LoserLevel >= 3 & HCP >= 12) & True & NOT (H >= 4 & IsHeartSlamViable & CombinedHeartPointsMin >= HeartSmallSlamPointTarget Subtract 2 & CombinedHcpMin >= 28) & NOT (H >= 4 & HeartSlam) & NOT (H >= 4 & (RealSolid(H) OR IsTrump(H)) & Losers = 1) & NOT (H >= 4 & MonsterSlam(H)) & NOT (H >= 4 & IsHeartSlamViable & CombinedHeartPointsMin >= HeartSmallSlamPointTarget & CombinedHeartPointsMin < HeartGrandSlamPointTarget & CombinedHcpMin >= 28) & NOT (H >= 4 & (RealSolid(H) OR IsTrump(H)) & Losers <= 0) & NOT (H >= 4 & MonsterGrandSlam(H)) & NOT (H >= 4 & IsHeartSlamViable & CombinedHeartPointsMin >= HeartGrandSlamPointTarget Subtract 1 & CombinedHeartPointsMin < HeartGrandSlamPointTarget & CombinedHcpMin >= 28 & TP >= 13 & 1 of Top 3 Honors in H & NOT 2 of Top 3 Honors in H) & NOT (H >= 4 & IsNtSlamViable & (CombinedHcpMin >= NtGrandSlamPointTarget OR (CombinedHcpMin >= NtGrandSlamPointTarget Subtract 2 & Aces = 4))) & NOT ((CombinedHcpMin >= 25 OR IsGameForcing OR TwoOpenersGame) & Stopper in S) & NOT (BestMinor(C) & C >= 5 & (CombinedHcpMin >= 25 OR IsGameForcing OR TwoOpe...
[04:18:32.815] [Timing] S precompute: 3ms mem d=186KB (total=1460MB)
[04:18:32.826] [DealFinder] W constraints: HCP[0-11], Suits=(none), Trivial=False
[04:18:32.826] [DealFinder]   Expression (5539 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:18:32.826] [Timing] W precompute: 11ms mem d=222KB (total=1460MB)
[04:18:32.826] ENDGAME_WORLD: #1 (w=1.00) N:T... K... .9.9. ..QT.
[04:18:32.826] ENDGAME: Evaluating 2 candidates across 1 worlds (totalWeight=1.00, rankByScore=True):
[04:18:32.826]   H9: defeat 100 % (1.0/1.0), makes 100 % (1.0/1.0), avgDeclTricks=9.0, dist=[9:1.0]
[04:18:32.826]   D9: defeat 100 % (1.0/1.0), makes 100 % (1.0/1.0), avgDeclTricks=10.0, dist=[10:1.0]
[04:18:32.826]   IMP H9: -1.00
[04:18:32.826]   IMP D9: 1.00
[04:18:32.826] ENDGAME: Selected D9 (100 %)