--- Showing last 200 of 3767 lines ---
[04:34:25.388] [DealFinder] N constraints: HCP[0-18], Suits=(none), Trivial=False
[04:34:25.388] [DealFinder]   Expression (1065 chars): NOT ((CombinedHcpMin >= 25 OR IsGameForcing OR TwoOpenersGame)) & NOT PreemptGame(S) & NOT SpadeCompGame & NOT (S >= 2 & IsDiamondSlamViable & CombinedDiamondPointsMin >= DiamondSmallSlamPointTarget Subtract 2) & NOT (S >= 2 & (RealSolid(D) OR IsTrump(D)) & Losers = 1) & NOT (S >= 2 & (RealSolid(D) OR IsTrump(D)) & Losers <= 0) & NOT (S >= 2 & MonsterSlam(D)) & NOT (S >= 2 & MonsterGrandSlam(D)) & NOT (S >= 2 & DiamondSlam) & NOT (S >= 2 & 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 (S >= 2 & IsDiamondSlamViable & CombinedDiamondPointsMin >= DiamondSmallSlamPointTarget & CombinedDiamondPointsMin < DiamondGrandSlamPointTarget) & NOT (S >= 2 & IsNtSlamViable & (CombinedHcpMin >= NtGrandSlamPointTarget OR (CombinedHcpMin >= NtGrandSlamPointTarget Subtract 2 & Aces = 4))) & NOT ((CombinedHcpMin >= 25 OR IsGameForcing OR TwoOpenersGame) & stoppersOK) & NOT (S >= 3 & HCP >= 14) & True
[04:34:25.388] [Timing] N precompute: 2ms mem d=80KB (total=1431MB)
[04:34:25.389] [DealFinder] E HCP min 3 -> 0: dropped 3 of PRIVATE floor (reasoned from W's own cards, not advertised by the auction).
[04:34:25.389] [DealFinder] E constraints: HCP[0-37], Suits=H[3-13], Trivial=False
[04:34:25.389] [DealFinder]   Expression (133 chars): ((H >= 4 & TP >= 7 & TP <= 12) OR (H >= 3 & TP >= 12) OR H >= 3 OR (H >= 2 & TP >= 13) OR (H >= 3 & TP >= 7)) & NOT (D >= 5 & C >= 5)
[04:34:25.389] [Timing] E precompute: 0ms mem d=72KB (total=1431MB)
[04:34:25.395] [DealFinder] S constraints: HCP[6-11], Suits=S[6-6] H[0-4], Trivial=False
[04:34:25.395] [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:34:25.395] [Timing] S precompute: 6ms mem d=184KB (total=1431MB)
[04:34:25.397] [DealFinder] W HCP max: tightened from 37 to 29 using HandUnderstanding
[04:34:25.397] [DealFinder] W constraints: HCP[12-29], Suits=H[5-13], Trivial=False
[04:34:25.397] [DealFinder]   Expression (492 chars): H >= 5 & (D >= 5 OR C >= 5) & LoserLevel >= 3 & HCP >= 12 & NOT (D >= 5 & C >= 5 & Losers <= 4 & HCP >= 17) & 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) & True & NOT HeartSlam & NOT (Losers <= 1 & H >= 5) & NOT (IsDiamondSlamViable & CombinedDiamondPointsMin >= DiamondSmallSlamPointTarget Subtract 2) & NOT (Losers <= 1 & S >= 5)
[04:34:25.397] [Timing] W precompute: 1ms mem d=72KB (total=1431MB)
[04:34:25.397] ENDGAME: Bidding weights applied to 8/20 worlds (range 0.01-1.00, total 12.08, 12 unpenalised)
[04:34:25.397] ENDGAME: Played by N: 1 HCP S:2 H:1 D:3 C:4; by S: 6 HCP S:4 H:3 D:2 C:1
[04:34:25.397] ENDGAME_WORLD: #1 (w=0.01) N:JT7... ..J94. Q..QT. .J..74
[04:34:25.397] ENDGAME_WORLD: #2 (w=0.01) N:QT7... ..J94. J..QT. .J..74
[04:34:25.397] ENDGAME_WORLD: #3 (w=1.00) N:T7..T. ..J94. QJ..Q. .J..74
[04:34:25.397] ENDGAME_WORLD: #4 (w=1.00) N:T7..Q. ..J94. QJ..T. .J..74
[04:34:25.397] ENDGAME_WORLD: #5 (w=0.01) N:QJ7... ..J94. T..QT. .J..74
[04:34:25.397] ENDGAME_WORLD: #6 (w=1.00) N:J7..T. ..J94. QT..Q. .J..74
[04:34:25.397] ENDGAME_WORLD: #7 (w=1.00) N:J7..Q. ..J94. QT..T. .J..74
[04:34:25.397] ENDGAME_WORLD: #8 (w=1.00) N:Q7..T. ..J94. JT..Q. .J..74
[04:34:25.397] ENDGAME_WORLD: #9 (w=1.00) N:Q7..Q. ..J94. JT..T. .J..74
[04:34:25.398] ENDGAME_WORLD: #10 (w=0.01) N:7..QT. ..J94. QJT... .J..74
[04:34:25.398] ENDGAME_WORLD: #11 (w=0.01) N:QJT... ..J94. 7..QT. .J..74
[04:34:25.398] ENDGAME_WORLD: #12 (w=1.00) N:JT..T. ..J94. Q7..Q. .J..74
[04:34:25.398] ENDGAME_WORLD: #13 (w=1.00) N:JT..Q. ..J94. Q7..T. .J..74
[04:34:25.398] ENDGAME_WORLD: #14 (w=1.00) N:QT..T. ..J94. J7..Q. .J..74
[04:34:25.398] ENDGAME_WORLD: #15 (w=1.00) N:QT..Q. ..J94. J7..T. .J..74
[04:34:25.398] ENDGAME_WORLD: #16 (w=0.01) N:T..QT. ..J94. QJ7... .J..74
[04:34:25.398] ENDGAME_WORLD: #17 (w=1.00) N:QJ..T. ..J94. T7..Q. .J..74
[04:34:25.398] ENDGAME_WORLD: #18 (w=1.00) N:QJ..Q. ..J94. T7..T. .J..74
[04:34:25.398] ENDGAME_WORLD: #19 (w=0.01) N:J..QT. ..J94. QT7... .J..74
[04:34:25.398] ENDGAME_WORLD: #20 (w=0.01) N:Q..QT. ..J94. JT7... .J..74
[04:34:25.398] ENDGAME: Evaluating 3 candidates across 20 worlds (totalWeight=12.08, rankByScore=True):
[04:34:25.398]   D4: defeat 100 % (12.1/12.1), makes 100 % (12.1/12.1), avgDeclTricks=12.0, dist=[12:12.1]
[04:34:25.399]   D9: defeat 100 % (12.1/12.1), makes 100 % (12.1/12.1), avgDeclTricks=12.0, dist=[12:12.1]
[04:34:25.399]   DJ: defeat 100 % (12.1/12.1), makes 100 % (12.1/12.1), avgDeclTricks=12.0, dist=[12:12.1]
[04:34:25.399]   IMP D4: 0.00
[04:34:25.399]   IMP D9: 0.00
[04:34:25.399]   IMP DJ: 0.00
[04:34:25.399] ENDGAME: Selected DJ (100 %)
[04:34:25.399] ENDGAME: CLAIM -- best line wins all 3 remaining tricks in every world
[04:34:25.399] Tied cards: DJ,D9,D4 -- invoking NN directly on tied set
[04:34:25.399] === FindBestCardAsync: Position=E, CardsPlayed=40 ===
[04:34:25.400] Finding card to play for E: 52.AK94.KJ954.K9
[04:34:25.400] Relative position: Declarer, Contract type: Suit
[04:34:25.400] Cards in hand mask: 3
[04:34:25.401]   Candidate: xD = 47.9 %
[04:34:25.401]   Candidate: JD = 39.8 %
[04:34:25.401]   Candidate: 9D = 12.3 %
[04:34:25.401] Selected: D4 (47.9 %)
[04:34:25.540] Activated: 3 tricks remaining, threshold=5
[04:34:25.541] ENDGAME: Hidden cards=5 between N and S, need 3+2, declarer tricks=9, defense tricks=1
[04:34:25.541] ENDGAME: Contract=4H, Declarer=E, ToPlay=W, Trump=H
[04:34:25.541] ENDGAME: W [- HJ - C74]
[04:34:25.541] ENDGAME: E [- - DJ9 -]
[04:34:25.541] ENDGAME: Hidden [SQJT7 - DQ -]
[04:34:25.541] ENDGAME: Current trick (2 cards, led by E): D4 DT
[04:34:25.541] ENDGAME: 10 valid worlds (after void filtering)
[04:34:25.541] [DealFinder] Explained bid S 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:34:25.542] [DealFinder] Explained bid W 3S: "Artificial - MichaelsCuebid2X, H >= 5, (D >= 5 OR C >= 5), LoserLevel >= 3, HCP >= 12" -> require: (none)
[04:34:25.542] [DealFinder] Explained bid N P: "Responses to 2Ma-3Ma, NOT (CombinedHcpMin >= 25 OR IsGameForcing OR TwoOpenersGame)" -> require: (none)
[04:34:25.543] [DealFinder] Explained bid E 4H: "Responses to 3Ma-PX (MichaelsCuebid2X after 2Ma-P-P-3Ma), Responses to 2S-P-P-3S-P, H >= 3, TP >= 7, H >= 2, TP >= 13, TP >= 12, H >= 4, TP <= 12" -> require: (none)
[04:34:25.543] [DealFinder] Explained bid S P: "Passable situations - MichaelsCuebid2XDefence, True" -> require: (none)
[04:34:25.544] [DealFinder] Explained bid W P: "Responses to 3Ma-PX-4oMa-P (MichaelsCuebid2X after 2Ma-P-P-3Ma), True" -> require: (none)
[04:34:25.544] [DealFinder] Explained bid N P: "Passable situations - MichaelsCuebid2XDefence, True" -> require: (none)
[04:34:25.546] [DealFinder] N HCP max: tightened from 37 to 18 using HandUnderstanding
[04:34:25.546] [DealFinder] N constraints: HCP[0-18], Suits=(none), Trivial=False
[04:34:25.546] [DealFinder]   Expression (1065 chars): NOT ((CombinedHcpMin >= 25 OR IsGameForcing OR TwoOpenersGame)) & NOT PreemptGame(S) & NOT SpadeCompGame & NOT (S >= 2 & IsDiamondSlamViable & CombinedDiamondPointsMin >= DiamondSmallSlamPointTarget Subtract 2) & NOT (S >= 2 & (RealSolid(D) OR IsTrump(D)) & Losers = 1) & NOT (S >= 2 & (RealSolid(D) OR IsTrump(D)) & Losers <= 0) & NOT (S >= 2 & MonsterSlam(D)) & NOT (S >= 2 & MonsterGrandSlam(D)) & NOT (S >= 2 & DiamondSlam) & NOT (S >= 2 & 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 (S >= 2 & IsDiamondSlamViable & CombinedDiamondPointsMin >= DiamondSmallSlamPointTarget & CombinedDiamondPointsMin < DiamondGrandSlamPointTarget) & NOT (S >= 2 & IsNtSlamViable & (CombinedHcpMin >= NtGrandSlamPointTarget OR (CombinedHcpMin >= NtGrandSlamPointTarget Subtract 2 & Aces = 4))) & NOT ((CombinedHcpMin >= 25 OR IsGameForcing OR TwoOpenersGame) & stoppersOK) & NOT (S >= 3 & HCP >= 14) & True
[04:34:25.546] [Timing] N precompute: 2ms mem d=72KB (total=1438MB)
[04:34:25.547] [DealFinder] E HCP min 3 -> 0: dropped 3 of PRIVATE floor (reasoned from W's own cards, not advertised by the auction).
[04:34:25.547] [DealFinder] E constraints: HCP[0-37], Suits=H[3-13], Trivial=False
[04:34:25.547] [DealFinder]   Expression (133 chars): ((H >= 4 & TP >= 7 & TP <= 12) OR (H >= 3 & TP >= 12) OR H >= 3 OR (H >= 2 & TP >= 13) OR (H >= 3 & TP >= 7)) & NOT (D >= 5 & C >= 5)
[04:34:25.547] [Timing] E precompute: 0ms mem d=72KB (total=1438MB)
[04:34:25.553] [DealFinder] S constraints: HCP[6-11], Suits=S[6-6] H[0-4], Trivial=False
[04:34:25.553] [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:34:25.553] [Timing] S precompute: 6ms mem d=180KB (total=1438MB)
[04:34:25.555] [DealFinder] W HCP max: tightened from 37 to 29 using HandUnderstanding
[04:34:25.555] [DealFinder] W constraints: HCP[12-29], Suits=H[5-13], Trivial=False
[04:34:25.555] [DealFinder]   Expression (492 chars): H >= 5 & (D >= 5 OR C >= 5) & LoserLevel >= 3 & HCP >= 12 & NOT (D >= 5 & C >= 5 & Losers <= 4 & HCP >= 17) & 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) & True & NOT HeartSlam & NOT (Losers <= 1 & H >= 5) & NOT (IsDiamondSlamViable & CombinedDiamondPointsMin >= DiamondSmallSlamPointTarget Subtract 2) & NOT (Losers <= 1 & S >= 5)
[04:34:25.555] [Timing] W precompute: 1ms mem d=72KB (total=1438MB)
[04:34:25.555] ENDGAME: Bidding weights applied to 4/10 worlds (range 0.01-1.00, total 6.04, 6 unpenalised)
[04:34:25.555] ENDGAME: Played by N: 1 HCP S:2 H:1 D:3 C:4; by S: 6 HCP S:4 H:3 D:3 C:1
[04:34:25.555] ENDGAME_WORLD: #1 (w=0.01) N:JT7... ..J9. Q..Q. .J..74
[04:34:25.555] ENDGAME_WORLD: #2 (w=0.01) N:QT7... ..J9. J..Q. .J..74
[04:34:25.555] ENDGAME_WORLD: #3 (w=1.00) N:T7..Q. ..J9. QJ... .J..74
[04:34:25.555] ENDGAME_WORLD: #4 (w=0.01) N:QJ7... ..J9. T..Q. .J..74
[04:34:25.555] ENDGAME_WORLD: #5 (w=1.00) N:J7..Q. ..J9. QT... .J..74
[04:34:25.555] ENDGAME_WORLD: #6 (w=1.00) N:Q7..Q. ..J9. JT... .J..74
[04:34:25.556] ENDGAME_WORLD: #7 (w=0.01) N:QJT... ..J9. 7..Q. .J..74
[04:34:25.556] ENDGAME_WORLD: #8 (w=1.00) N:JT..Q. ..J9. Q7... .J..74
[04:34:25.556] ENDGAME_WORLD: #9 (w=1.00) N:QT..Q. ..J9. J7... .J..74
[04:34:25.556] ENDGAME_WORLD: #10 (w=1.00) N:QJ..Q. ..J9. T7... .J..74
[04:34:25.556] ENDGAME: Evaluating 3 candidates across 10 worlds (totalWeight=6.04, rankByScore=True):
[04:34:25.556]   HJ: defeat 100 % (6.0/6.0), makes 100 % (6.0/6.0), avgDeclTricks=12.0, dist=[12:6.0]
[04:34:25.556]   C4: defeat 100 % (6.0/6.0), makes 100 % (6.0/6.0), avgDeclTricks=11.0, dist=[11:6.0]
[04:34:25.556]   C7: defeat 100 % (6.0/6.0), makes 100 % (6.0/6.0), avgDeclTricks=11.0, dist=[11:6.0]
[04:34:25.556]   IMP HJ: 1.00
[04:34:25.556]   IMP C4: -0.50
[04:34:25.556]   IMP C7: -0.50
[04:34:25.556] ENDGAME: Selected HJ (100 %)
[04:34:25.670] Activated: 2 tricks remaining, threshold=5
[04:34:25.671] ENDGAME: Hidden cards=4 between N and S, need 2+2, declarer tricks=10, defense tricks=1
[04:34:25.671] ENDGAME: Contract=4H, Declarer=E, ToPlay=W, Trump=H
[04:34:25.671] ENDGAME: W [- - - C74]
[04:34:25.671] ENDGAME: E [- - DJ9 -]
[04:34:25.671] ENDGAME: Hidden [SQJT7 - - -]
[04:34:25.671] ENDGAME: 6 valid worlds (after void filtering)
[04:34:25.672] [DealFinder] Explained bid S 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:34:25.672] [DealFinder] Explained bid W 3S: "Artificial - MichaelsCuebid2X, H >= 5, (D >= 5 OR C >= 5), LoserLevel >= 3, HCP >= 12" -> require: (none)
[04:34:25.672] [DealFinder] Explained bid N P: "Responses to 2Ma-3Ma, NOT (CombinedHcpMin >= 25 OR IsGameForcing OR TwoOpenersGame)" -> require: (none)
[04:34:25.673] [DealFinder] Explained bid E 4H: "Responses to 3Ma-PX (MichaelsCuebid2X after 2Ma-P-P-3Ma), Responses to 2S-P-P-3S-P, H >= 3, TP >= 7, H >= 2, TP >= 13, TP >= 12, H >= 4, TP <= 12" -> require: (none)
[04:34:25.673] [DealFinder] Explained bid S P: "Passable situations - MichaelsCuebid2XDefence, True" -> require: (none)
[04:34:25.674] [DealFinder] Explained bid W P: "Responses to 3Ma-PX-4oMa-P (MichaelsCuebid2X after 2Ma-P-P-3Ma), True" -> require: (none)
[04:34:25.674] [DealFinder] Explained bid N P: "Passable situations - MichaelsCuebid2XDefence, True" -> require: (none)
[04:34:25.676] [DealFinder] N HCP max: tightened from 37 to 18 using HandUnderstanding
[04:34:25.676] [DealFinder] N constraints: HCP[0-18], Suits=(none), Trivial=False
[04:34:25.676] [DealFinder]   Expression (1065 chars): NOT ((CombinedHcpMin >= 25 OR IsGameForcing OR TwoOpenersGame)) & NOT PreemptGame(S) & NOT SpadeCompGame & NOT (S >= 2 & IsDiamondSlamViable & CombinedDiamondPointsMin >= DiamondSmallSlamPointTarget Subtract 2) & NOT (S >= 2 & (RealSolid(D) OR IsTrump(D)) & Losers = 1) & NOT (S >= 2 & (RealSolid(D) OR IsTrump(D)) & Losers <= 0) & NOT (S >= 2 & MonsterSlam(D)) & NOT (S >= 2 & MonsterGrandSlam(D)) & NOT (S >= 2 & DiamondSlam) & NOT (S >= 2 & 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 (S >= 2 & IsDiamondSlamViable & CombinedDiamondPointsMin >= DiamondSmallSlamPointTarget & CombinedDiamondPointsMin < DiamondGrandSlamPointTarget) & NOT (S >= 2 & IsNtSlamViable & (CombinedHcpMin >= NtGrandSlamPointTarget OR (CombinedHcpMin >= NtGrandSlamPointTarget Subtract 2 & Aces = 4))) & NOT ((CombinedHcpMin >= 25 OR IsGameForcing OR TwoOpenersGame) & stoppersOK) & NOT (S >= 3 & HCP >= 14) & True
[04:34:25.676] [Timing] N precompute: 2ms mem d=80KB (total=1429MB)
[04:34:25.677] [DealFinder] E HCP min 3 -> 0: dropped 3 of PRIVATE floor (reasoned from W's own cards, not advertised by the auction).
[04:34:25.677] [DealFinder] E constraints: HCP[0-37], Suits=H[3-13], Trivial=False
[04:34:25.677] [DealFinder]   Expression (133 chars): ((H >= 4 & TP >= 7 & TP <= 12) OR (H >= 3 & TP >= 12) OR H >= 3 OR (H >= 2 & TP >= 13) OR (H >= 3 & TP >= 7)) & NOT (D >= 5 & C >= 5)
[04:34:25.677] [Timing] E precompute: 0ms mem d=72KB (total=1429MB)
[04:34:25.683] [DealFinder] S constraints: HCP[6-11], Suits=S[6-6] H[0-4], Trivial=False
[04:34:25.684] [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:34:25.684] [Timing] S precompute: 6ms mem d=178KB (total=1429MB)
[04:34:25.685] [DealFinder] W HCP max: tightened from 37 to 29 using HandUnderstanding
[04:34:25.685] [DealFinder] W constraints: HCP[12-29], Suits=H[5-13], Trivial=False
[04:34:25.685] [DealFinder]   Expression (492 chars): H >= 5 & (D >= 5 OR C >= 5) & LoserLevel >= 3 & HCP >= 12 & NOT (D >= 5 & C >= 5 & Losers <= 4 & HCP >= 17) & 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) & True & NOT HeartSlam & NOT (Losers <= 1 & H >= 5) & NOT (IsDiamondSlamViable & CombinedDiamondPointsMin >= DiamondSmallSlamPointTarget Subtract 2) & NOT (Losers <= 1 & S >= 5)
[04:34:25.685] [Timing] W precompute: 1ms mem d=80KB (total=1429MB)
[04:34:25.685] ENDGAME_WORLD: #1 (w=1.00) N:T7... ..J9. QJ... ...74
[04:34:25.685] ENDGAME_WORLD: #2 (w=1.00) N:J7... ..J9. QT... ...74
[04:34:25.685] ENDGAME_WORLD: #3 (w=1.00) N:Q7... ..J9. JT... ...74
[04:34:25.685] ENDGAME_WORLD: #4 (w=1.00) N:JT... ..J9. Q7... ...74
[04:34:25.686] ENDGAME_WORLD: #5 (w=1.00) N:QT... ..J9. J7... ...74
[04:34:25.686] ENDGAME_WORLD: #6 (w=1.00) N:QJ... ..J9. T7... ...74
[04:34:25.686] ENDGAME: Evaluating 2 candidates across 6 worlds (totalWeight=6.00, rankByScore=True):
[04:34:25.686]   C4: defeat 100 % (6.0/6.0), makes 100 % (6.0/6.0), avgDeclTricks=12.0, dist=[12:6.0]
[04:34:25.686]   C7: defeat 100 % (6.0/6.0), makes 100 % (6.0/6.0), avgDeclTricks=12.0, dist=[12:6.0]
[04:34:25.686]   IMP C4: 0.00
[04:34:25.686]   IMP C7: 0.00
[04:34:25.686] ENDGAME: Selected C7 (100 %)
[04:34:25.686] ENDGAME: CLAIM -- best line wins all 2 remaining tricks in every world
[04:34:25.686] Tied cards: C7,C4 -- invoking NN directly on tied set
[04:34:25.686] === FindBestCardAsync: Position=W, CardsPlayed=44 ===
[04:34:25.686] Finding card to play for W: K.J8762.A.AQ7432
[04:34:25.687] Relative position: Dummy, Contract type: Suit
[04:34:25.687] Cards in hand mask: 1
[04:34:25.688]   Candidate: xC = 100.0 %
[04:34:25.688] Selected: C4 (100.0 %)
[04:34:25.891] Activated: 2 tricks remaining, threshold=5
[04:34:25.891] ENDGAME: Hidden cards=3 between N and S, need 1+2, declarer tricks=10, defense tricks=1
[04:34:25.891] ENDGAME: Contract=4H, Declarer=E, ToPlay=E, Trump=H
[04:34:25.891] ENDGAME: E [- - DJ9 -]
[04:34:25.891] ENDGAME: W [- - - C7]
[04:34:25.891] ENDGAME: Hidden [SQT7 - - -]
[04:34:25.891] ENDGAME: Current trick (2 cards, led by W): C4 SJ
[04:34:25.891] ENDGAME: 3 valid worlds (after void filtering)
[04:34:25.892] [DealFinder] Explained bid S 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:34:25.892] [DealFinder] Explained bid W 3S: "Artificial - MichaelsCuebid2X, H >= 5, (D >= 5 OR C >= 5), LoserLevel >= 3, HCP >= 12" -> require: (none)
[04:34:25.893] [DealFinder] Explained bid N P: "Responses to 2Ma-3Ma, NOT (CombinedHcpMin >= 25 OR IsGameForcing OR TwoOpenersGame)" -> require: (none)
[04:34:25.893] [DealFinder] Explained bid E 4H: "Responses to 3Ma-PX (MichaelsCuebid2X after 2Ma-P-P-3Ma), Responses to 2S-P-P-3S-P, H >= 3, TP >= 7, H >= 2, TP >= 13, TP >= 12, H >= 4, TP <= 12" -> require: (none)
[04:34:25.894] [DealFinder] Explained bid S P: "Passable situations - MichaelsCuebid2XDefence, True" -> require: (none)
[04:34:25.894] [DealFinder] Explained bid W P: "Responses to 3Ma-PX-4oMa-P (MichaelsCuebid2X after 2Ma-P-P-3Ma), True" -> require: (none)
[04:34:25.894] [DealFinder] Explained bid N P: "Passable situations - MichaelsCuebid2XDefence, True" -> require: (none)
[04:34:25.896] [DealFinder] N HCP max: tightened from 37 to 18 using HandUnderstanding
[04:34:25.897] [DealFinder] N constraints: HCP[0-18], Suits=(none), Trivial=False
[04:34:25.897] [DealFinder]   Expression (1065 chars): NOT ((CombinedHcpMin >= 25 OR IsGameForcing OR TwoOpenersGame)) & NOT PreemptGame(S) & NOT SpadeCompGame & NOT (S >= 2 & IsDiamondSlamViable & CombinedDiamondPointsMin >= DiamondSmallSlamPointTarget Subtract 2) & NOT (S >= 2 & (RealSolid(D) OR IsTrump(D)) & Losers = 1) & NOT (S >= 2 & (RealSolid(D) OR IsTrump(D)) & Losers <= 0) & NOT (S >= 2 & MonsterSlam(D)) & NOT (S >= 2 & MonsterGrandSlam(D)) & NOT (S >= 2 & DiamondSlam) & NOT (S >= 2 & 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 (S >= 2 & IsDiamondSlamViable & CombinedDiamondPointsMin >= DiamondSmallSlamPointTarget & CombinedDiamondPointsMin < DiamondGrandSlamPointTarget) & NOT (S >= 2 & IsNtSlamViable & (CombinedHcpMin >= NtGrandSlamPointTarget OR (CombinedHcpMin >= NtGrandSlamPointTarget Subtract 2 & Aces = 4))) & NOT ((CombinedHcpMin >= 25 OR IsGameForcing OR TwoOpenersGame) & stoppersOK) & NOT (S >= 3 & HCP >= 14) & True
[04:34:25.897] [Timing] N precompute: 2ms mem d=74KB (total=1441MB)
[04:34:25.897] [DealFinder] E HCP min 3 -> 0: dropped 3 of PRIVATE floor (reasoned from W's own cards, not advertised by the auction).
[04:34:25.898] [DealFinder] E constraints: HCP[0-37], Suits=H[3-13], Trivial=False
[04:34:25.898] [DealFinder]   Expression (133 chars): ((H >= 4 & TP >= 7 & TP <= 12) OR (H >= 3 & TP >= 12) OR H >= 3 OR (H >= 2 & TP >= 13) OR (H >= 3 & TP >= 7)) & NOT (D >= 5 & C >= 5)
[04:34:25.898] [Timing] E precompute: 0ms mem d=72KB (total=1441MB)
[04:34:25.904] [DealFinder] S constraints: HCP[6-11], Suits=S[6-6] H[0-4], Trivial=False
[04:34:25.904] [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:34:25.904] [Timing] S precompute: 6ms mem d=180KB (total=1441MB)
[04:34:25.905] [DealFinder] W HCP max: tightened from 37 to 29 using HandUnderstanding
[04:34:25.905] [DealFinder] W constraints: HCP[12-29], Suits=H[5-13], Trivial=False
[04:34:25.905] [DealFinder]   Expression (492 chars): H >= 5 & (D >= 5 OR C >= 5) & LoserLevel >= 3 & HCP >= 12 & NOT (D >= 5 & C >= 5 & Losers <= 4 & HCP >= 17) & 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) & True & NOT HeartSlam & NOT (Losers <= 1 & H >= 5) & NOT (IsDiamondSlamViable & CombinedDiamondPointsMin >= DiamondSmallSlamPointTarget Subtract 2) & NOT (Losers <= 1 & S >= 5)
[04:34:25.905] [Timing] W precompute: 1ms mem d=72KB (total=1441MB)
[04:34:25.905] ENDGAME_WORLD: #1 (w=1.00) N:7... ..J9. QT... ...7
[04:34:25.905] ENDGAME_WORLD: #2 (w=1.00) N:T... ..J9. Q7... ...7
[04:34:25.906] ENDGAME_WORLD: #3 (w=1.00) N:Q... ..J9. T7... ...7
[04:34:25.906] ENDGAME: Evaluating 2 candidates across 3 worlds (totalWeight=3.00, rankByScore=True):
[04:34:25.906]   D9: defeat 100 % (3.0/3.0), makes 100 % (3.0/3.0), avgDeclTricks=12.0, dist=[12:3.0]
[04:34:25.906]   DJ: defeat 100 % (3.0/3.0), makes 100 % (3.0/3.0), avgDeclTricks=12.0, dist=[12:3.0]
[04:34:25.906]   IMP D9: 0.00
[04:34:25.906]   IMP DJ: 0.00
[04:34:25.906] ENDGAME: Selected DJ (100 %)
[04:34:25.906] Tied cards: DJ,D9 -- invoking NN directly on tied set
[04:34:25.906] === FindBestCardAsync: Position=E, CardsPlayed=46 ===
[04:34:25.906] Finding card to play for E: 52.AK94.KJ954.K9
[04:34:25.906] Relative position: Declarer, Contract type: Suit
[04:34:25.906] Cards in hand mask: 2
[04:34:25.907]   Candidate: 9D = 86.1 %
[04:34:25.907]   Candidate: JD = 13.9 %
[04:34:25.908] Selected: D9 (86.1 %)