ℹ️ About Codex in GitHub

\\n
\\n\\n[Your team has set up Codex to review pull requests in this repo](https://chatgpt.com/codex/cloud/settings/general). Reviews are triggered when you\\n- Open a pull request for review\\n- Mark a draft as ready\\n- Comment \\\"@codex review\\\".\\n\\nIf Codex has suggestions, it will comment; otherwise it will react with 👍.\\n\\n\\n\\n\\nCodex can also answer questions or update the PR. Try commenting \\\"@codex address that feedback\\\".\\n \\n

\",\"path\":null,\"side\":null,\"line\":null}","text_elements",[],{"_459":1022,"_446":447,"_461":449},{"_462":1023,"_464":-5,"_41":-5,"_465":-5,"_95":316,"_91":467},[1024],{"_45":1018,"_91":1025},"input_text","turn/started",{"_446":447,"_86":1028},{"_102":-5,"_41":449,"_450":1029,"_452":1030},[],"inProgress",{"_452":1032,"_446":447},{"_1033":1034,"_91":1035},"activeFlags",[],"active",{"_459":1037,"_446":447,"_461":1038},{"_462":1039,"_464":-5,"_41":-5,"_465":-5,"_95":316,"_91":467},"auto-compact-0",[1040,1041],{"_45":1043,"_91":1025},{"_45":1042,"_91":1025},"\n /workspace/blackjack-premium\n bash\n 2026-04-25\n Etc/UTC\n","# AGENTS.md instructions for /workspace/blackjack-premium\n\n\n## Skills\nA skill is a set of local instructions to follow that is stored in a `SKILL.md` file. Below is the list of skills that can be used. Each entry includes a name, description, and file path so you can open the source for full instructions when using a specific skill.\n### Available skills\n- skill-creator: Guide for creating effective skills. This skill should be used when users want to create a new skill (or update an existing skill) that extends Codex's capabilities with specialized knowledge, workflows, or tool integrations. (file: /opt/codex/skills/.system/skill-creator/SKILL.md)\n- skill-installer: Install Codex skills into $CODEX_HOME/skills from a curated list or a GitHub repo path. Use when a user asks to list installable skills, install a curated skill, or install a skill from another repo (including private repos). (file: /opt/codex/skills/.system/skill-installer/SKILL.md)\n### How to use skills\n- Discovery: The list above is the skills available in this session (name + description + file path). Skill bodies live on disk at the listed paths.\n- Trigger rules: If the user names a skill (with `$SkillName` or plain text) OR the task clearly matches a skill's description shown above, you must use that skill for that turn. Multiple mentions mean use them all. Do not carry skills across turns unless re-mentioned.\n- Missing/blocked: If a named skill isn't in the list or the path can't be read, say so briefly and continue with the best fallback.\n- How to use a skill (progressive disclosure):\n 1) After deciding to use a skill, open its `SKILL.md`. Read only enough to follow the workflow.\n 2) When `SKILL.md` references relative paths (e.g., `scripts/foo.py`), resolve them relative to the skill directory listed above first, and only consider other paths if needed.\n 3) If `SKILL.md` points to extra folders such as `references/`, load only the specific files needed for the request; don't bulk-load everything.\n 4) If `scripts/` exist, prefer running or patching them instead of retyping large code blocks.\n 5) If `assets/` or templates exist, reuse them instead of recreating from scratch.\n- Coordination and sequencing:\n - If multiple skills apply, choose the minimal set that covers the request and state the order you'll use them.\n - Announce which skill(s) you're using and why (one short line). If you skip an obvious skill, say why.\n- Context hygiene:\n - Keep context small: summarize long sections instead of pasting them; only load extra files when needed.\n - Avoid deep reference-chasing: prefer opening only files directly linked from `SKILL.md` unless you're blocked.\n - When variants exist (frameworks, providers, domains), pick only the relevant reference file(s) and note that choice.\n- Safety and fallback: If a skill can't be applied cleanly (missing files, unclear instructions), state the issue, pick the next-best approach, and continue.\n",{"_459":1045,"_446":447,"_461":1038},{"_462":1046,"_464":-5,"_41":-5,"_465":-5,"_95":1047,"_91":467},[1048],"developer",{"_45":1049,"_91":1025},"\nFilesystem sandboxing defines which files can be read or written. `sandbox_mode` is `danger-full-access`: No filesystem sandboxing - all commands are permitted. Network access is enabled.\nApproval policy is currently never. Do not provide the `sandbox_permissions` for any reason, commands will be rejected.\n","thread/started",{"_1052":1053},"thread",{"_1054":-5,"_1055":-5,"_1056":1057,"_1058":1059,"_503":504,"_1060":15,"_1061":-5,"_41":447,"_1062":1063,"_196":-5,"_169":1064,"_1065":214,"_1066":1067,"_452":1068,"_76":1069,"_1070":1059},"agentNickname","agentRole","cliVersion","0.114.0","createdAt",1777151744,"ephemeral","gitInfo","modelProvider","openai","/opt/codex/sessions/2026/04/25/rollout-2026-04-25T21-15-44-019dc67f-9a6e-7830-aff4-c8ffe94f7f23.jsonl","preview","source","vscode",{"_91":456},[],"updatedAt",[],"messages",[1074],{"_41":1075,"_1076":1077,"_1078":1079,"_1080":1079,"_462":1081,"_452":1082,"_464":-5,"_1083":31,"_1084":1085,"_1086":1087,"_1088":-5},"62ec411e-1f3d-45ee-b20a-f7811e8020e0","author",{"_95":316,"_196":-5,"_1084":1097},"create_time",1777151744.221812,"update_time",{"_1093":45,"_1094":1095},"finished_successfully","weight","metadata",{"_1089":1090},"recipient","all","channel","l1239dk1",{"_1091":1092},"inline_comments",[],"content_type","parts",[1096],"@codex resolve the problems:\\n\\nP1 Badge Clamp seeded RNG result to avoid out-of-range swap index\\n\\nIn seededShuffle, value is calculated as view[0] / 0xffffffff, which can produce exactly 1 when the hash chunk is 0xffffffff. That makes j = Math.floor(rand * (i + 1)) evaluate to i + 1, an invalid Fisher–Yates index, so the shuffle can swap with an out-of-bounds slot and corrupt the permutation (e.g., introducing undefined values). This is rare but deterministic for specific seeds, so it can break fairness verification.\\n\\nUseful? React with 👍 / 👎.\\n\\n—-\\n\\nP1 Badge Clamp seeded RNG result to avoid out-of-range swap index\\n\\nIn seededShuffle, value is calculated as view[0] / 0xffffffff, which can produce exactly 1 when the hash chunk is 0xffffffff. That makes j = Math.floor(rand * (i + 1)) evaluate to i + 1, an invalid Fisher–Yates index, so the shuffle can swap with an out-of-bounds slot and corrupt the permutation (e.g., introducing undefined values). This is rare but deterministic for specific seeds, so it can break fairness verification.\\n\\nUseful? React with 👍 / 👎.\\n\\n\\n—-\\n\\n\\nResolve merge conflicts then update package lock and dependencies installed. Once passing finalize merge\nFeat/m2 t3 hand evaluation logic\n\n\n@codex \\n\\nreview the merge conflicts and resolve them \n**_{_{![P1 Badge](https://img.shields.io/badge/P1-orange?style=flat)}} Clamp seeded RNG result to avoid out-of-range swap index**\n\nIn `seededShuffle`, `value` is calculated as `view[0] / 0xffffffff`, which can produce exactly `1` when the hash chunk is `0xffffffff`. That makes `j = Math.floor(rand * (i + 1))` evaluate to `i + 1`, an invalid Fisher–Yates index, so the shuffle can swap with an out-of-bounds slot and corrupt the permutation (e.g., introducing `undefined` values). This is rare but deterministic for specific seeds, so it can break fairness verification.\n\nUseful? React with 👍 / 👎.\n**_{_{![P2 Badge](https://img.shields.io/badge/P2-yellow?style=flat)}} Permit insurance when balance is below the max side bet**\n\n`canPlaceInsurance` currently rejects players unless their balance covers the full `getMaxInsuranceBet(hand)`, even though `validateInsuranceBet` accepts any positive amount up to that maximum. This creates inconsistent behavior where a bet amount can be valid by validator rules but impossible to place because eligibility fails first, blocking legitimate insurance bets for lower balances.\n\nUseful? React with 👍 / 👎.\n\n### 💡 Codex Review\n\nHere are some automated review suggestions for this pull request.\n\n**Reviewed commit:** `5c00fc0803`\n \n\n

ℹ️ About Codex in GitHub

\n
\n\n[Your team has set up Codex to review pull requests in this repo](https://chatgpt.com/codex/cloud/settings/general). Reviews are triggered when you\n- Open a pull request for review\n- Mark a draft as ready\n- Comment \"@codex review\".\n\nIf Codex has suggestions, it will comment; otherwise it will react with 👍.\n\n\n\n\nCodex can also answer questions or update the PR. Try commenting \"@codex address that feedback\".\n \n

",{},"created",1777151829.2267747,"Completing the task","event_type","info",{"_91":467,"_95":92,"_462":1863},{"_91":1131,"_1132":1133},{"_91":1106,"_1107":1108,"_1109":1110,"_1111":1112,"_1113":-5},"pr","pr_title","Fix seeded shuffle bounds and insurance eligibility consistency","pr_message","### Motivation\n- Prevent a rare but deterministic seeded shuffle bug where `seededShuffle` could compute `j === i + 1` (out-of-range) when a hash chunk equals `0xffffffff`, corrupting permutations.\n- Align insurance eligibility with validation rules by allowing players to place insurance when they have any positive finite balance rather than requiring coverage for the maximum insurance amount.\n\n### Description\n- Normalize the seeded RNG output by dividing the first uint32 by `0x100000000` so generated values are always in `[0, 1)` and Fisher–Yates indices stay in range (`src/engine/probablyFair.ts`).\n- Change `canPlaceInsurance` to only require dealer shows an Ace, hand has a positive bet, and the player has a positive finite balance (removing the requirement to cover the maximum insurance bet) (`src/engine/insurance.ts`).\n- Add a regression test that mocks `crypto.subtle.digest` to return a `0xffffffff` chunk and verifies `seededShuffle` still produces a valid permutation (`src/engine/__tests__/probablyFair.test.ts`).\n- Update insurance tests to assert eligibility for balances below the max insurance bet and to reject non-finite balances (`src/engine/__tests__/insurance.test.ts`).\n\n### Testing\n- `npm install` was attempted but failed in this environment due to a registry 403 (security/policy) error, preventing a full dependency install.\n- Ran targeted tests with `npm test -- --run src/engine/__tests__/probablyFair.test.ts src/engine/__tests__/insurance.test.ts` and both test files passed (47 + 31 = 78 tests total).","output_diff",{"_91":1111,"_1114":504,"_127":128,"_1115":-5,"_315":1116,"_1117":1118,"_1119":1120,"_1121":1122,"_1123":319,"_1124":1125,"_1126":1127},"pre_apply_patch","repo_id","preapply_patch_base_commit_sha","diff --git a/src/engine/__tests__/insurance.test.ts b/src/engine/__tests__/insurance.test.ts\nindex 7ae1fb3e4730d9f5074cde6b515d5c2cd9fa4930..e85489078254831756c5bace44b1a4b18bce4619 100644\n--- a/src/engine/__tests__/insurance.test.ts\n+++ b/src/engine/__tests__/insurance.test.ts\n@@ -185,85 +185,93 @@ describe('Insurance Logic', () => {\n \n const payout = calculateInsurancePayout(insuranceBet, dealerCards);\n expect(payout).toBe(1500);\n });\n });\n \n describe('canPlaceInsurance', () => {\n it('should allow insurance when dealer shows Ace and player has sufficient balance', () => {\n const dealerUpCard = createCard('A');\n const hand = createHand(100);\n const balance = 1000;\n \n const result = canPlaceInsurance(dealerUpCard, hand, balance);\n expect(result).toBe(true);\n });\n \n it('should not allow insurance when dealer does not show Ace', () => {\n const dealerUpCard = createCard('K');\n const hand = createHand(100);\n const balance = 1000;\n \n const result = canPlaceInsurance(dealerUpCard, hand, balance);\n expect(result).toBe(false);\n });\n \n- it('should not allow insurance when player has insufficient balance', () => {\n+ it('should allow insurance when balance is below max insurance bet', () => {\n const dealerUpCard = createCard('A');\n const hand = createHand(100);\n const balance = 40; // Less than half the bet (50)\n \n const result = canPlaceInsurance(dealerUpCard, hand, balance);\n- expect(result).toBe(false);\n+ expect(result).toBe(true);\n });\n \n it('should allow insurance with exactly sufficient balance', () => {\n const dealerUpCard = createCard('A');\n const hand = createHand(100);\n const balance = 50; // Exactly half the bet\n \n const result = canPlaceInsurance(dealerUpCard, hand, balance);\n expect(result).toBe(true);\n });\n \n it('should not allow insurance when hand has zero bet', () => {\n const dealerUpCard = createCard('A');\n const hand = createHand(0);\n const balance = 1000;\n \n const result = canPlaceInsurance(dealerUpCard, hand, balance);\n expect(result).toBe(false);\n });\n \n it('should handle edge case with minimum balance', () => {\n const dealerUpCard = createCard('A');\n const hand = createHand(2);\n const balance = 1;\n \n const result = canPlaceInsurance(dealerUpCard, hand, balance);\n expect(result).toBe(true);\n });\n+\n+ it('should not allow insurance with non-finite balance', () => {\n+ const dealerUpCard = createCard('A');\n+ const hand = createHand(100);\n+\n+ expect(canPlaceInsurance(dealerUpCard, hand, Number.NaN)).toBe(false);\n+ expect(canPlaceInsurance(dealerUpCard, hand, Number.POSITIVE_INFINITY)).toBe(false);\n+ });\n });\n \n describe('Edge Cases and Integration', () => {\n it('should handle full insurance flow - dealer blackjack wins', () => {\n const dealerUpCard = createCard('A');\n const hand = createHand(100);\n const balance = 1000;\n \n // Check if insurance should be offered\n expect(shouldOfferInsurance(dealerUpCard)).toBe(true);\n \n // Check if player can place insurance\n expect(canPlaceInsurance(dealerUpCard, hand, balance)).toBe(true);\n \n // Get max insurance bet\n const maxBet = getMaxInsuranceBet(hand);\n expect(maxBet).toBe(50);\n \n // Validate insurance bet\n const validation = validateInsuranceBet(50, hand, balance);\n expect(validation.valid).toBe(true);\n \n // Calculate payout (dealer has blackjack)\n const dealerCards = [dealerUpCard, createCard('K', '♥', false)];\n const payout = calculateInsurancePayout(50, dealerCards);\ndiff --git a/src/engine/__tests__/probablyFair.test.ts b/src/engine/__tests__/probablyFair.test.ts\nindex 2d8c55ae3457a3e973b49f3ef6917879f6d909b0..b2bb5c30a5e239937b277d31bc9e750a90346b4e 100644\n--- a/src/engine/__tests__/probablyFair.test.ts\n+++ b/src/engine/__tests__/probablyFair.test.ts\n@@ -1,26 +1,26 @@\n-import { describe, it, expect, beforeEach } from 'vitest';\n+import { describe, it, expect, beforeEach, vi } from 'vitest';\n import {\n generateSeed,\n hashSeed,\n generateShuffleProof,\n verifyShuffleProof,\n seededShuffle,\n verifyShuffleWithSeed,\n shuffleCardsWithSeed,\n } from '../probablyFair';\n import type { ShuffleProof } from '../probablyFair';\n \n describe('ProbablyFair Implementation', () => {\n describe('generateSeed', () => {\n it('should generate a 64-character hex string', () => {\n const seed = generateSeed();\n expect(seed).toMatch(/^[a-f0-9]{64}$/);\n expect(seed.length).toBe(64);\n });\n \n it('should generate different seeds on each call', () => {\n const seed1 = generateSeed();\n const seed2 = generateSeed();\n expect(seed1).not.toBe(seed2);\n });\n \n@@ -212,50 +212,65 @@ describe('ProbablyFair Implementation', () => {\n });\n \n it('should work with large decks', async () => {\n const deck = Array.from({ length: 312 }, (_, i) => i); // 6 decks\n const seed = generateSeed();\n const shuffled = await seededShuffle(deck, seed);\n expect(shuffled).toHaveLength(312);\n expect(new Set(shuffled).size).toBe(312); // All unique\n });\n \n it('should throw error for invalid seed', async () => {\n const deck = [0, 1, 2, 3];\n await expect(seededShuffle(deck, 'invalid')).rejects.toThrow('Invalid seed format');\n await expect(seededShuffle(deck, 'abc')).rejects.toThrow('Invalid seed format');\n });\n \n it('should validate seed format strictly', async () => {\n const deck = [0, 1, 2, 3];\n const validSeed = generateSeed();\n // Should work\n await expect(seededShuffle(deck, validSeed)).resolves.toBeDefined();\n // Should fail\n await expect(seededShuffle(deck, validSeed.slice(0, 63))).rejects.toThrow();\n });\n \n+ it('should keep fisher-yates index in range when hash chunk is 0xffffffff', async () => {\n+ const deck = [0, 1];\n+ const seed = generateSeed();\n+ const maxUint32Buffer = new Uint32Array([0xffffffff, 0, 0, 0, 0, 0, 0, 0]).buffer;\n+ const digestSpy = vi.spyOn(crypto.subtle, 'digest').mockResolvedValue(maxUint32Buffer);\n+\n+ try {\n+ const shuffled = await seededShuffle(deck, seed);\n+ expect(shuffled).toHaveLength(deck.length);\n+ expect(shuffled).toEqual(expect.arrayContaining(deck));\n+ } finally {\n+ digestSpy.mockRestore();\n+ }\n+ });\n+\n it('should produce unbiased distribution over multiple shuffles', async () => {\n // Statistical test: position 0 should appear at each index roughly equally\n const deck = Array.from({ length: 10 }, (_, i) => i);\n const positions = new Map();\n \n for (let i = 0; i < 100; i++) {\n const seed = generateSeed();\n const shuffled = await seededShuffle(deck, seed);\n const pos = shuffled.indexOf(0); // Where did card 0 end up?\n positions.set(pos, (positions.get(pos) ?? 0) + 1);\n }\n \n // Each position should have roughly equal frequency (10 positions, 100 tests)\n // With some tolerance (5-15 occurrences expected instead of 10)\n for (const count of positions.values()) {\n expect(count).toBeGreaterThan(3); // Not too skewed\n expect(count).toBeLessThan(25); // Not too concentrated\n }\n });\n });\n \n describe('verifyShuffleWithSeed', () => {\n it('should verify correct shuffle with seed', async () => {\n const deck = Array.from({ length: 52 }, (_, i) => i);\n const seed = generateSeed();\ndiff --git a/src/engine/insurance.ts b/src/engine/insurance.ts\nindex 3b10ea9dae793c926dce78a8224fb6a8677390dc..c28c53d6bcccfbe53dd31fb29b2d8a15df9d36c0 100644\n--- a/src/engine/insurance.ts\n+++ b/src/engine/insurance.ts\n@@ -113,58 +113,57 @@ export function validateInsuranceBet(\n * { rank: '9', suit: '♥', faceUp: true }\n * ];\n * const noPayout = calculateInsurancePayout(50, noBjCards); // 0\n * ```\n */\n export function calculateInsurancePayout(insuranceBet: number, dealerCards: Card[]): number {\n const handValue = evaluateHand(dealerCards);\n \n // Insurance only pays if dealer has blackjack\n // Blackjack is only with exactly 2 cards\n if (handValue.isBlackjack && dealerCards.length === 2) {\n // Insurance pays 2:1 plus original bet back\n // This means total payout is 3x the insurance bet\n return insuranceBet * 3;\n }\n \n return 0;\n }\n \n /**\n * Determines if a player can place an insurance bet.\n *\n * Checks all conditions required for placing insurance:\n * - Dealer must show an Ace\n * - Player must have a bet placed\n- * - Player must have sufficient balance for at least minimum insurance\n+ * - Player must have positive balance available for insurance\n *\n * @param dealerUpCard - The dealer's visible card\n * @param hand - The player's hand\n * @param balance - The player's current balance\n * @returns True if player can place insurance, false otherwise\n *\n * @example\n * ```typescript\n * const dealerCard = { rank: 'A', suit: '♠', faceUp: true };\n * const hand = { bet: 100, cards: [], status: 'playing', isDouble: false, isSplit: false };\n * const canPlace = canPlaceInsurance(dealerCard, hand, 1000); // true\n * ```\n */\n export function canPlaceInsurance(dealerUpCard: Card, hand: Hand, balance: number): boolean {\n // Must offer insurance (dealer shows Ace)\n if (!shouldOfferInsurance(dealerUpCard)) {\n return false;\n }\n \n // Hand must have a bet\n if (hand.bet <= 0) {\n return false;\n }\n \n- // Must have enough balance for at least the maximum insurance bet\n- const maxInsuranceBet = getMaxInsuranceBet(hand);\n- if (balance < maxInsuranceBet) {\n+ // Must have positive balance to place any valid insurance amount\n+ if (balance <= 0 || !Number.isFinite(balance)) {\n return false;\n }\n \n return true;\n }\ndiff --git a/src/engine/probablyFair.ts b/src/engine/probablyFair.ts\nindex 83d82b1a1232dfee358c67e6e94123f0efe8c25f..1b85a54eb25f8a805163cce7cbb9fc4efa93b3ae 100644\n--- a/src/engine/probablyFair.ts\n+++ b/src/engine/probablyFair.ts\n@@ -233,51 +233,52 @@ export async function verifyShuffleProof(proof: ShuffleProof): Promise {\n // Validate seed format\n if (!/^[a-f0-9]{64}$/i.test(seed)) {\n throw new Error('Invalid seed format. Expected 64 hexadecimal characters.');\n }\n \n const shuffled = [...deck];\n const deckSize = shuffled.length;\n let seedCounter = 0;\n \n /**\n * Deterministic PRNG using SHA-256 in counter mode\n * Produces reproducible random numbers from seed\n */\n const seededRandom = async (): Promise => {\n const encoder = new TextEncoder();\n const seedWithCounter = seed + seedCounter.toString().padStart(10, '0');\n const data = encoder.encode(seedWithCounter);\n const hashBuffer = await crypto.subtle.digest(HASH_ALGORITHM, data);\n seedCounter++;\n \n const view = new Uint32Array(hashBuffer);\n // Convert first 4 bytes to number in range [0, 1)\n- const value = view[0] / 0xffffffff;\n+ // Use 0x100000000 to ensure result is always < 1\n+ const value = view[0] / 0x100000000;\n return value;\n };\n \n // Fisher-Yates shuffle with seeded randomness\n for (let i = deckSize - 1; i > 0; i--) {\n const rand = await seededRandom();\n const j = Math.floor(rand * (i + 1));\n [shuffled[i], shuffled[j]] = [shuffled[j], shuffled[i]];\n }\n \n return shuffled;\n }\n \n /**\n * Verify that a shuffle was performed with a specific seed\n *\n * Reproduces the shuffle using the given seed and compares it with\n * the provided shuffled result. If they match, the shuffle was fair\n * and reproducible using the claimed seed.\n *\n * @param originalDeck Original unshuaffle deck indices [0, 1, 2, ...]\n * @param shuffledDeck The shuffled deck that was claimed to use the seed\n * @param seed Hex-encoded seed to verify\n * @returns true if the seed produces the given shuffle result\n *\n","external_storage_diff",{"_1128":1129,"_1130":-5},"files_modified",4,"lines_added",31,"lines_removed","commit_message","Fix seeded shuffle index bounds and insurance eligibility","additional_parent_commit_shas",[],"file_id","file_00000000f44471f7b7224d5570c122da","ttl","partial_repo_snapshot","files",[1134,1135,1136,1137],{"_169":526,"_1138":-5,"_1139":1657,"_1141":-5},{"_169":523,"_1138":-5,"_1139":1554,"_1141":-5},{"_169":520,"_1138":-5,"_1139":1308,"_1141":-5},{"_169":516,"_1138":-5,"_1139":1140,"_1141":-5},"contents","line_range_contents",[1142],"missing_reason",{"_1143":609,"_1144":1145,"_462":1146,"_1147":57},"line_range_start","line_range_end",322,[1148,1149,1150,1151,1152,1153,1154,1155,1156,214,1157,1158,1159,1160,1161,214,1162,1163,1164,1165,1166,1167,1168,1169,1161,214,1170,1171,1172,1173,1174,1175,214,1176,1177,1178,1179,1180,1175,214,1181,1182,1183,1175,1184,214,1185,1186,1187,1188,1175,214,1189,1190,1191,1175,214,1192,1193,1194,1175,214,1195,1196,1197,1175,1184,214,1198,1199,1187,1200,214,1201,1202,1175,214,1203,1187,1204,214,1201,1175,214,1205,1187,1206,214,1207,1208,1175,214,1209,1187,1210,214,1207,1211,1175,214,1212,1187,214,1213,1214,1215,214,1216,1217,1218,1175,214,1219,1187,214,1220,1221,214,1222,1223,1175,214,1224,1225,1226,214,1201,1175,1184,214,1227,1228,1229,1230,214,1231,214,1232,1233,1175,214,1234,1235,1236,214,1231,1237,1175,214,1238,1239,1240,214,1231,1241,1175,214,1242,1243,1230,214,1231,1244,1175,214,1245,1246,1230,214,1231,1244,1175,214,1247,1229,1248,214,1231,1249,1175,214,1250,1251,1252,214,1231,1253,1175,1184,214,1254,1255,1173,1187,1256,214,1257,1258,1175,214,1259,1260,1187,1256,214,1257,1261,1175,214,1262,1173,1187,1263,214,1257,1258,1175,214,1264,1173,1187,1265,214,1257,1258,1175,214,1266,1173,1196,1256,214,1257,1261,1175,214,1267,1173,1225,1268,214,1257,1258,1175,214,1269,1173,1187,214,1270,1271,1175,1184,214,1272,1273,1173,1187,1256,214,1274,1174,214,1275,1276,214,1277,1278,1279,214,1280,1281,1282,214,1283,1284,1285,1233,214,1286,1287,1175,214,1288,1173,1187,1256,214,1289,1230,1290,1282,214,1291,1292,1231,1244,214,1293,1294,1175,214,1295,1187,1296,214,1297,1298,1299,214,1300,1301,1302,1303,214,1304,1305,1306,1307,1175,1184,1161],"contains_end_of_file","import { describe, it, expect } from 'vitest';","import {"," shouldOfferInsurance,"," validateInsuranceBet,"," calculateInsurancePayout,"," canPlaceInsurance,"," getMaxInsuranceBet,","} from '../insurance';","import type { Card, Hand, Rank, Suit } from '../../types';","const createCard = (rank: string, suit: string = '♠', faceUp: boolean = true): Card => ({"," rank: rank as Rank,"," suit: suit as Suit,"," faceUp,","});","const createHand = (bet: number, cards: Card[] = []): Hand => ({"," cards,"," bet,"," status: 'playing',"," isDouble: false,"," isSplit: false,"," splitFromAces: false,"," canHit: true,","describe('Insurance Logic', () => {"," describe('shouldOfferInsurance', () => {"," it('should offer insurance when dealer shows Ace', () => {"," const dealerUpCard = createCard('A');"," expect(shouldOfferInsurance(dealerUpCard)).toBe(true);"," });"," it('should not offer insurance when dealer shows non-Ace', () => {"," expect(shouldOfferInsurance(createCard('K'))).toBe(false);"," expect(shouldOfferInsurance(createCard('10'))).toBe(false);"," expect(shouldOfferInsurance(createCard('5'))).toBe(false);"," expect(shouldOfferInsurance(createCard('2'))).toBe(false);"," it('should not offer insurance when dealer card is face down', () => {"," const dealerDownCard = createCard('A', '♠', false);"," expect(shouldOfferInsurance(dealerDownCard)).toBe(false);"," });"," describe('getMaxInsuranceBet', () => {"," it('should return half of original bet', () => {"," const hand = createHand(100);"," expect(getMaxInsuranceBet(hand)).toBe(50);"," it('should handle odd bet amounts', () => {"," const hand = createHand(75);"," expect(getMaxInsuranceBet(hand)).toBe(37.5);"," it('should handle small bets', () => {"," const hand = createHand(1);"," expect(getMaxInsuranceBet(hand)).toBe(0.5);"," it('should return 0 for zero bet', () => {"," const hand = createHand(0);"," expect(getMaxInsuranceBet(hand)).toBe(0);"," describe('validateInsuranceBet', () => {"," it('should accept valid insurance bet (exactly half of original)', () => {"," const result = validateInsuranceBet(50, hand, 1000);"," expect(result.valid).toBe(true);"," expect(result.error).toBeUndefined();"," it('should accept insurance bet less than half', () => {"," const result = validateInsuranceBet(25, hand, 1000);"," it('should reject insurance bet greater than half of original', () => {"," const result = validateInsuranceBet(51, hand, 1000);"," expect(result.valid).toBe(false);"," expect(result.error).toContain('cannot exceed half');"," it('should reject insurance bet when insufficient balance', () => {"," const result = validateInsuranceBet(50, hand, 40);"," expect(result.error).toContain('Insufficient balance');"," it('should reject zero or negative insurance bet', () => {"," const zeroResult = validateInsuranceBet(0, hand, 1000);"," expect(zeroResult.valid).toBe(false);"," expect(zeroResult.error).toContain('must be greater than 0');"," const negativeResult = validateInsuranceBet(-10, hand, 1000);"," expect(negativeResult.valid).toBe(false);"," expect(negativeResult.error).toContain('must be greater than 0');"," it('should reject invalid number values', () => {"," const nanResult = validateInsuranceBet(NaN, hand, 1000);"," expect(nanResult.valid).toBe(false);"," const infinityResult = validateInsuranceBet(Infinity, hand, 1000);"," expect(infinityResult.valid).toBe(false);"," it('should handle edge case with minimum bet', () => {"," const hand = createHand(2);"," const result = validateInsuranceBet(1, hand, 100);"," describe('calculateInsurancePayout', () => {"," it('should pay 2:1 when dealer has blackjack', () => {"," const dealerCards = [createCard('A'), createCard('K')];"," const insuranceBet = 50;"," const payout = calculateInsurancePayout(insuranceBet, dealerCards);"," // Insurance pays 2:1 plus original bet back = 3x total"," expect(payout).toBe(150);"," it('should pay 2:1 with Ace and 10', () => {"," const dealerCards = [createCard('A'), createCard('10')];"," const insuranceBet = 25;"," expect(payout).toBe(75);"," it('should pay 2:1 with Ace and face card (Q)', () => {"," const dealerCards = [createCard('A'), createCard('Q')];"," const insuranceBet = 100;"," expect(payout).toBe(300);"," it('should return 0 when dealer does not have blackjack', () => {"," const dealerCards = [createCard('A'), createCard('9')];"," expect(payout).toBe(0);"," it('should return 0 when dealer has 21 but not blackjack (3+ cards)', () => {"," const dealerCards = [createCard('A'), createCard('5'), createCard('5')];"," it('should handle small insurance bets', () => {"," const insuranceBet = 0.5;"," expect(payout).toBe(1.5);"," it('should handle large insurance bets', () => {"," const dealerCards = [createCard('A'), createCard('J')];"," const insuranceBet = 500;"," expect(payout).toBe(1500);"," describe('canPlaceInsurance', () => {"," it('should allow insurance when dealer shows Ace and player has sufficient balance', () => {"," const balance = 1000;"," const result = canPlaceInsurance(dealerUpCard, hand, balance);"," expect(result).toBe(true);"," it('should not allow insurance when dealer does not show Ace', () => {"," const dealerUpCard = createCard('K');"," expect(result).toBe(false);"," it('should allow insurance when balance is below max insurance bet', () => {"," const balance = 40; // Less than half the bet (50)"," it('should allow insurance with exactly sufficient balance', () => {"," const balance = 50; // Exactly half the bet"," it('should not allow insurance when hand has zero bet', () => {"," it('should handle edge case with minimum balance', () => {"," const balance = 1;"," it('should not allow insurance with non-finite balance', () => {"," expect(canPlaceInsurance(dealerUpCard, hand, Number.NaN)).toBe(false);"," expect(canPlaceInsurance(dealerUpCard, hand, Number.POSITIVE_INFINITY)).toBe(false);"," describe('Edge Cases and Integration', () => {"," it('should handle full insurance flow - dealer blackjack wins', () => {"," // Check if insurance should be offered"," // Check if player can place insurance"," expect(canPlaceInsurance(dealerUpCard, hand, balance)).toBe(true);"," // Get max insurance bet"," const maxBet = getMaxInsuranceBet(hand);"," expect(maxBet).toBe(50);"," // Validate insurance bet"," const validation = validateInsuranceBet(50, hand, balance);"," expect(validation.valid).toBe(true);"," // Calculate payout (dealer has blackjack)"," const dealerCards = [dealerUpCard, createCard('K', '♥', false)];"," const payout = calculateInsurancePayout(50, dealerCards);"," // Net result: paid 50 for insurance, got back 150, net +100"," // Original bet lost, but insurance covered it"," it('should handle full insurance flow - dealer no blackjack loses', () => {"," // Place insurance"," const validation = validateInsuranceBet(insuranceBet, hand, balance);"," // Dealer does not have blackjack"," const dealerCards = [dealerUpCard, createCard('6', '♥', false)];"," // Net result: paid 50 for insurance, got back 0, net -50"," // Game continues, original bet still in play"," it('should handle multiple validations in sequence', () => {"," const balance = 200;"," // First insurance bet - valid"," const result1 = validateInsuranceBet(50, hand, balance);"," expect(result1.valid).toBe(true);"," // After first bet, balance reduces but is still sufficient"," const afterFirstBet = balance - 50; // 150"," const result2 = validateInsuranceBet(50, hand, afterFirstBet);"," expect(result2.valid).toBe(true);"," // Attempting to bet more than max fails (max is 50 for bet of 100)"," const result3 = validateInsuranceBet(60, hand, afterFirstBet);"," expect(result3.valid).toBe(false);"," expect(result3.error).toContain('cannot exceed half');",[1309],{"_1143":609,"_1144":1310,"_462":1311,"_1147":57},434,[1312,1149,1313,1314,1315,1316,1317,1318,1319,1320,1321,214,1322,1323,1324,1325,1326,1327,1175,214,1328,1329,1330,1331,1175,214,1332,1333,1334,1335,1175,214,1336,1337,1338,1339,1175,214,1340,1341,1342,1175,214,1343,1344,1345,1346,1175,1184,214,1347,1348,1325,1349,1350,1351,1175,214,1352,1325,1353,1354,1355,1175,214,1356,1329,1330,1357,1358,1359,1175,214,1360,1361,1362,1363,1364,1355,1175,1184,214,1365,1366,1367,1368,1369,1370,1371,1175,214,1372,1367,1373,1175,214,1374,1367,1375,1175,214,1376,1367,1377,1378,1175,214,1379,1367,1380,1175,214,1381,1325,1382,1383,1384,1175,214,1385,1367,1386,1387,1175,1184,214,1388,1389,214,1390,1391,1175,214,1392,1393,1201,1202,1175,214,1394,1367,1395,1396,1207,1397,1175,214,1398,1367,1399,1396,1207,1400,1175,214,1401,1367,1402,1396,1207,1403,1175,214,1404,1393,1405,1406,1407,1175,214,1408,1367,1409,1396,1207,1410,1175,1184,214,1411,1412,1413,1325,1414,1415,1416,1175,214,1417,1418,1325,1419,1420,1421,1175,214,1422,1418,1329,1330,1423,1424,1425,1175,214,1426,1413,1427,1325,1428,1429,1175,214,1430,1431,1325,1414,1432,1433,1175,214,1434,1435,1436,1437,1175,214,1438,1435,1439,1440,1441,1442,1443,1175,214,1444,1445,1325,1446,1447,214,1448,1449,1450,1451,1452,1453,1454,1175,214,1455,1456,1457,1458,214,1459,1460,1449,1461,1462,1454,214,1463,1464,1465,1466,1467,1454,1175,1184,214,1468,1469,1418,1325,1414,1470,1471,1175,214,1472,1418,1325,1414,1473,1474,1470,1475,1175,214,1476,1418,1329,1330,1477,1478,1475,1175,214,1479,1418,1480,1481,1475,1175,214,1482,1483,1325,1484,1485,1486,1175,1184,214,1487,1488,1489,1325,1490,1491,1492,1175,214,1493,1494,1495,1325,1496,1497,1175,214,1498,1499,1325,1500,1501,1502,1175,214,1503,1504,1505,1175,214,1506,1507,1508,1325,1509,1510,214,1511,1512,1513,1514,1175,1184,214,1515,1516,1517,1418,214,1518,1367,1519,214,1520,1521,1522,214,1523,1524,1525,1175,214,1526,1527,1367,1528,214,1529,1418,1519,214,1530,1531,1471,214,1532,1386,1533,1175,214,1534,1418,1325,214,1535,1536,1537,1538,214,1539,1540,1541,1454,1175,1184,214,1542,1543,1544,1545,1546,1454,1547,1548,1175,214,1549,1550,1325,1544,1551,1552,1454,1547,1553,1175,1184,1161],"import { describe, it, expect, beforeEach, vi } from 'vitest';"," generateSeed,"," hashSeed,"," generateShuffleProof,"," verifyShuffleProof,"," seededShuffle,"," verifyShuffleWithSeed,"," shuffleCardsWithSeed,","} from '../probablyFair';","import type { ShuffleProof } from '../probablyFair';","describe('ProbablyFair Implementation', () => {"," describe('generateSeed', () => {"," it('should generate a 64-character hex string', () => {"," const seed = generateSeed();"," expect(seed).toMatch(/^[a-f0-9]{64}$/);"," expect(seed.length).toBe(64);"," it('should generate different seeds on each call', () => {"," const seed1 = generateSeed();"," const seed2 = generateSeed();"," expect(seed1).not.toBe(seed2);"," it('should accept and return provided seed in lowercase', () => {"," const provided = 'A'.repeat(64);"," const seed = generateSeed(provided);"," expect(seed).toBe(provided.toLowerCase());"," it('should throw error for invalid seed format', () => {"," expect(() => generateSeed('invalid')).toThrow('Invalid seed format');"," expect(() => generateSeed('xyz')).toThrow('Invalid seed format');"," expect(() => generateSeed('1'.repeat(63))).toThrow('Invalid seed format'); // 63 chars"," it('should throw error for non-hex characters', () => {"," expect(() => generateSeed('g' + 'a'.repeat(63))).toThrow('Invalid seed format');"," expect(() => generateSeed('z' + 'a'.repeat(63))).toThrow('Invalid seed format');"," it('should accept uppercase and convert to lowercase', () => {"," const upper = 'ABCDEF0123456789'.repeat(4); // 64 chars"," const result = generateSeed(upper);"," expect(result).toBe(upper.toLowerCase());"," describe('hashSeed', () => {"," it('should return 64-character hex hash', async () => {"," const hash = await hashSeed(seed);"," expect(hash).toMatch(/^[a-f0-9]{64}$/);"," expect(hash.length).toBe(64);"," it('should be deterministic (same seed = same hash)', async () => {"," const hash1 = await hashSeed(seed);"," const hash2 = await hashSeed(seed);"," expect(hash1).toBe(hash2);"," it('should differ for different seeds', async () => {"," const hash1 = await hashSeed(seed1);"," const hash2 = await hashSeed(seed2);"," expect(hash1).not.toBe(hash2);"," it('should produce consistent SHA-256 output', async () => {"," // Known seed should always produce same hash"," const knownSeed = 'a'.repeat(64);"," const hash1 = await hashSeed(knownSeed);"," const hash2 = await hashSeed(knownSeed);"," describe('generateShuffleProof', () => {"," it('should generate a valid shuffle proof', async () => {"," const proof = await generateShuffleProof();"," expect(proof).toHaveProperty('seed');"," expect(proof).toHaveProperty('seedHash');"," expect(proof).toHaveProperty('timestamp');"," expect(proof).toHaveProperty('version');"," it('should have 64-char hex seed', async () => {"," expect(proof.seed).toMatch(/^[a-f0-9]{64}$/);"," it('should have 64-char hex seedHash', async () => {"," expect(proof.seedHash).toMatch(/^[a-f0-9]{64}$/);"," it('should have valid ISO 8601 timestamp', async () => {"," const date = new Date(proof.timestamp);"," expect(date.getTime()).not.toBeNaN();"," it('should have correct version', async () => {"," expect(proof.version).toBe('PF-VL-1.0-A');"," it('should use provided seed', async () => {"," const proof = await generateShuffleProof(seed);"," expect(proof.seed).toBe(seed);"," expect(proof.seedHash).toBe(await hashSeed(seed));"," it('seedHash should match hash of seed', async () => {"," const recalculatedHash = await hashSeed(proof.seed);"," expect(proof.seedHash).toBe(recalculatedHash);"," describe('verifyShuffleProof', () => {"," let validProof: ShuffleProof;"," beforeEach(async () => {"," validProof = await generateShuffleProof();"," it('should verify a valid proof', async () => {"," const result = await verifyShuffleProof(validProof);"," it('should detect invalid seed hash', async () => {"," proof.seedHash = 'a'.repeat(64); // Wrong hash"," const result = await verifyShuffleProof(proof);"," expect(result.error).toContain('Seed hash does not match');"," it('should detect invalid timestamp', async () => {"," proof.timestamp = 'invalid-date';"," expect(result.error).toContain('Invalid timestamp');"," it('should detect unsupported version', async () => {"," proof.version = 'PF-VL-2.0-A';"," expect(result.error).toContain('Unsupported version');"," it('should provide detailed verification info', async () => {"," expect(result.details).toHaveProperty('seedHashValid', true);"," expect(result.details).toHaveProperty('timestampValid', true);"," expect(result.details).toHaveProperty('versionSupported', true);"," it('should fail gracefully on invalid seed format', async () => {"," proof.seed = 'invalid'; // Not hex"," expect(result.error).toBeDefined();"," describe('seededShuffle', () => {"," it('should shuffle an array of indices', async () => {"," const deck = [0, 1, 2, 3, 4];"," const shuffled = await seededShuffle(deck, seed);"," expect(shuffled.sort((a, b) => a - b)).toEqual(deck.sort((a, b) => a - b));"," expect(shuffled).toHaveLength(5);"," it('should be deterministic (same seed = same shuffle)', async () => {"," const deck = Array.from({ length: 52 }, (_, i) => i);"," const shuffle1 = await seededShuffle(deck, seed);"," const shuffle2 = await seededShuffle(deck, seed);"," expect(shuffle1).toEqual(shuffle2);"," it('should produce different shuffles with different seeds', async () => {"," const shuffle1 = await seededShuffle(deck, seed1);"," const shuffle2 = await seededShuffle(deck, seed2);"," expect(shuffle1).not.toEqual(shuffle2);"," it('should not modify original deck', async () => {"," const original = [...deck];"," await seededShuffle(deck, seed);"," expect(deck).toEqual(original);"," it('should work with large decks', async () => {"," const deck = Array.from({ length: 312 }, (_, i) => i); // 6 decks"," expect(shuffled).toHaveLength(312);"," expect(new Set(shuffled).size).toBe(312); // All unique"," it('should throw error for invalid seed', async () => {"," const deck = [0, 1, 2, 3];"," await expect(seededShuffle(deck, 'invalid')).rejects.toThrow('Invalid seed format');"," await expect(seededShuffle(deck, 'abc')).rejects.toThrow('Invalid seed format');"," it('should validate seed format strictly', async () => {"," const validSeed = generateSeed();"," // Should work"," await expect(seededShuffle(deck, validSeed)).resolves.toBeDefined();"," // Should fail"," await expect(seededShuffle(deck, validSeed.slice(0, 63))).rejects.toThrow();"," it('should keep fisher-yates index in range when hash chunk is 0xffffffff', async () => {"," const deck = [0, 1];"," const maxUint32Buffer = new Uint32Array([0xffffffff, 0, 0, 0, 0, 0, 0, 0]).buffer;"," const digestSpy = vi.spyOn(crypto.subtle, 'digest').mockResolvedValue(maxUint32Buffer);"," try {"," const shuffled = await seededShuffle(deck, seed);"," expect(shuffled).toHaveLength(deck.length);"," expect(shuffled).toEqual(expect.arrayContaining(deck));"," } finally {"," digestSpy.mockRestore();"," }"," it('should produce unbiased distribution over multiple shuffles', async () => {"," // Statistical test: position 0 should appear at each index roughly equally"," const deck = Array.from({ length: 10 }, (_, i) => i);"," const positions = new Map();"," for (let i = 0; i < 100; i++) {"," const seed = generateSeed();"," const pos = shuffled.indexOf(0); // Where did card 0 end up?"," positions.set(pos, (positions.get(pos) ?? 0) + 1);"," // Each position should have roughly equal frequency (10 positions, 100 tests)"," // With some tolerance (5-15 occurrences expected instead of 10)"," for (const count of positions.values()) {"," expect(count).toBeGreaterThan(3); // Not too skewed"," expect(count).toBeLessThan(25); // Not too concentrated"," describe('verifyShuffleWithSeed', () => {"," it('should verify correct shuffle with seed', async () => {"," const isValid = await verifyShuffleWithSeed(deck, shuffled, seed);"," expect(isValid).toBe(true);"," it('should reject incorrect shuffle', async () => {"," // Manually shuffle to create wrong shuffle"," shuffled[0] = shuffled[1];"," expect(isValid).toBe(false);"," it('should reject wrong seed', async () => {"," const shuffled = await seededShuffle(deck, seed1);"," const isValid = await verifyShuffleWithSeed(deck, shuffled, seed2);"," it('should handle invalid seed gracefully', async () => {"," const shuffled = await seededShuffle(deck, generateSeed());"," const isValid = await verifyShuffleWithSeed(deck, shuffled, 'invalid');"," it('should verify full roundtrip', async () => {"," const originalDeck = Array.from({ length: 100 }, (_, i) => i);"," const shuffled = await seededShuffle(originalDeck, seed);"," const verified = await verifyShuffleWithSeed(originalDeck, shuffled, seed);"," expect(verified).toBe(true);"," describe('shuffleCardsWithSeed', () => {"," it('should shuffle an array of objects deterministically', async () => {"," const cards = Array.from({ length: 5 }, (_, i) => ({ id: i, value: i * 2 }));"," const shuffled1 = await shuffleCardsWithSeed(cards, seed);"," const shuffled2 = await shuffleCardsWithSeed(cards, seed);"," expect(shuffled1).toEqual(shuffled2);"," it('should not modify original array', async () => {"," const cards = [{ id: 1 }, { id: 2 }, { id: 3 }];"," const original = JSON.parse(JSON.stringify(cards));"," await shuffleCardsWithSeed(cards, seed);"," expect(cards).toEqual(original);"," it('should maintain all elements', async () => {"," const cards = Array.from({ length: 52 }, (_, i) => ({ index: i }));"," const shuffled = await shuffleCardsWithSeed(cards, seed);"," expect(shuffled).toHaveLength(52);"," expect(new Set(shuffled.map(c => c.index)).size).toBe(52);"," it('should throw on invalid seed', async () => {"," const cards = [1, 2, 3];"," await expect(shuffleCardsWithSeed(cards, 'invalid')).rejects.toThrow();"," it('should work with different data types', async () => {"," // Test with strings"," const strings = ['a', 'b', 'c', 'd'];"," const shuffledStrings = await shuffleCardsWithSeed(strings, seed);"," expect(new Set(shuffledStrings)).toEqual(new Set(strings));"," // Test with objects"," const objects = [{ name: 'Alice' }, { name: 'Bob' }];"," const shuffledObjects = await shuffleCardsWithSeed(objects, seed);"," expect(shuffledObjects).toHaveLength(2);"," describe('Integration Tests', () => {"," it('should support full shuffle-and-verify workflow', async () => {"," // Setup"," // Generate proof and shuffle"," const shuffled = await seededShuffle(deck, proof.seed);"," // Verify proof"," const proofResult = await verifyShuffleProof(proof);"," expect(proofResult.valid).toBe(true);"," // Verify shuffle with seed"," const shuffleResult = await verifyShuffleWithSeed(deck, shuffled, proof.seed);"," expect(shuffleResult).toBe(true);"," it('should support auditable shuffle workflow', async () => {"," // Phase 1: Server generates seed and commits"," const seedHash = proof.seedHash; // Send to client for commitment"," // Phase 2: Server shuffles with seed"," // Phase 3: Client can verify with revealed seed"," const isValid = await verifyShuffleWithSeed(deck, shuffled, proof.seed);"," // Phase 4: Client verifies seed hash matches"," expect(recalculatedHash).toBe(seedHash);"," it('should maintain consistency across multiple shuffles', async () => {"," // Multiple shuffles with same seed"," const shuffles = await Promise.all("," Array.from({ length: 10 }, () => seededShuffle(deck, seed))"," );"," // All should be identical"," for (let i = 1; i < shuffles.length; i++) {"," expect(shuffles[i]).toEqual(shuffles[0]);"," describe('Performance Benchmarks', () => {"," it('should generate seed quickly', () => {"," const start = performance.now();"," for (let i = 0; i < 1000; i++) {"," generateSeed();"," const duration = performance.now() - start;"," expect(duration).toBeLessThan(1000); // Should be < 1 second for 1000 seeds"," it('should shuffle 312 cards quickly', async () => {"," const deck = Array.from({ length: 312 }, (_, i) => i);"," for (let i = 0; i < 10; i++) {"," await seededShuffle(deck, seed);"," expect(duration).toBeLessThan(5000); // Should be < 5 second for 10 shuffles",[1555],{"_1143":609,"_1144":1556,"_462":1557,"_1147":57},169,[1558,1559,214,1560,1561,1562,1563,1564,1565,1563,1566,1567,1568,1569,1570,1571,1572,1573,1574,1575,214,1560,1576,1577,1563,1578,1579,1563,1566,1567,1580,1581,1570,1571,1582,1583,1575,214,1560,1584,1563,1585,1586,1587,1588,1589,1563,1590,1578,1591,1592,1563,1566,1567,1580,1593,1594,1563,1595,1596,1570,1571,1597,1598,1599,1600,1601,1602,1603,1604,1605,214,1606,1607,1608,1605,214,1609,1610,1611,1612,1605,214,1613,1614,1615,1605,214,1616,1575,214,1560,1617,1563,1618,1619,1620,1563,1621,1622,1623,1563,1566,1567,1624,1625,1626,1627,1628,1563,1629,1625,1630,1627,1631,1570,1571,1632,1633,214,1634,1635,1636,1637,1638,1639,1605,214,1640,1575,214,1560,1641,1563,1642,1643,1644,1645,1563,1564,1578,1591,1646,1563,1566,1567,1568,1580,1647,1570,1571,1648,1649,1650,1651,1605,214,1652,1653,1651,1605,214,1654,1655,1651,1605,214,1656,1575],"import type { Card, Hand } from '../types';","import { evaluateHand } from './hand';","/**"," * Determines if insurance should be offered to the player."," * Insurance is only offered when the dealer's face-up card is an Ace."," *"," * @param dealerUpCard - The dealer's visible card"," * @returns True if insurance should be offered, false otherwise"," * @example"," * ```typescript"," * const dealerCard = { rank: 'A', suit: '♠', faceUp: true };"," * const shouldOffer = shouldOfferInsurance(dealerCard); // true"," * ```"," */","export function shouldOfferInsurance(dealerUpCard: Card): boolean {"," // Insurance is only offered when dealer shows Ace and card is face up"," return dealerUpCard.faceUp && dealerUpCard.rank === 'A';","}"," * Calculates the maximum allowed insurance bet."," * The maximum insurance bet is always half of the original hand bet."," * @param hand - The player's hand"," * @returns The maximum insurance bet amount (half of the original bet)"," * const hand = { bet: 100, cards: [], status: 'playing', isDouble: false, isSplit: false };"," * const maxBet = getMaxInsuranceBet(hand); // 50","export function getMaxInsuranceBet(hand: Hand): number {"," return hand.bet / 2;"," * Validates an insurance bet amount against game rules and player balance."," * Rules:"," * - Insurance bet must be greater than 0"," * - Insurance bet cannot exceed half of the original bet"," * - Player must have sufficient balance"," * - Insurance bet must be a valid finite number"," * @param amount - The insurance bet amount to validate"," * @param balance - The player's current balance"," * @returns Validation result with valid flag and optional error message"," * const result = validateInsuranceBet(50, hand, 1000);"," * // { valid: true }"," * const invalidResult = validateInsuranceBet(60, hand, 1000);"," * // { valid: false, error: 'Insurance bet cannot exceed half of original bet' }","export function validateInsuranceBet("," amount: number,"," hand: Hand,"," balance: number","): { valid: boolean; error?: string } {"," // Check for invalid number values"," if (!Number.isFinite(amount)) {"," return { valid: false, error: 'Insurance bet must be a valid number' };"," }"," // Check for zero or negative amount"," if (amount <= 0) {"," return { valid: false, error: 'Insurance bet must be greater than 0' };"," // Check against maximum (half of original bet)"," const maxBet = getMaxInsuranceBet(hand);"," if (amount > maxBet) {"," return { valid: false, error: `Insurance bet cannot exceed half of original bet (${maxBet})` };"," // Check balance"," if (amount > balance) {"," return { valid: false, error: 'Insufficient balance for insurance bet' };"," return { valid: true };"," * Calculates the insurance payout based on dealer's final hand."," * Insurance pays 2:1 if the dealer has blackjack (Ace + 10-value card in 2 cards)."," * Returns 0 if dealer does not have blackjack."," * The payout includes the original insurance bet plus the winnings (3x total)."," * @param insuranceBet - The amount of the insurance bet"," * @param dealerCards - The dealer's complete hand"," * @returns The total payout amount (0 if dealer doesn't have blackjack, 3x bet if they do)"," * const dealerCards = ["," * { rank: 'A', suit: '♠', faceUp: true },"," * { rank: 'K', suit: '♥', faceUp: true }"," * ];"," * const payout = calculateInsurancePayout(50, dealerCards); // 150 (2:1 + original bet)"," * const noBjCards = ["," * { rank: '9', suit: '♥', faceUp: true }"," * const noPayout = calculateInsurancePayout(50, noBjCards); // 0","export function calculateInsurancePayout(insuranceBet: number, dealerCards: Card[]): number {"," const handValue = evaluateHand(dealerCards);"," // Insurance only pays if dealer has blackjack"," // Blackjack is only with exactly 2 cards"," if (handValue.isBlackjack && dealerCards.length === 2) {"," // Insurance pays 2:1 plus original bet back"," // This means total payout is 3x the insurance bet"," return insuranceBet * 3;"," return 0;"," * Determines if a player can place an insurance bet."," * Checks all conditions required for placing insurance:"," * - Dealer must show an Ace"," * - Player must have a bet placed"," * - Player must have positive balance available for insurance"," * @returns True if player can place insurance, false otherwise"," * const canPlace = canPlaceInsurance(dealerCard, hand, 1000); // true","export function canPlaceInsurance(dealerUpCard: Card, hand: Hand, balance: number): boolean {"," // Must offer insurance (dealer shows Ace)"," if (!shouldOfferInsurance(dealerUpCard)) {"," return false;"," // Hand must have a bet"," if (hand.bet <= 0) {"," // Must have positive balance to place any valid insurance amount"," if (balance <= 0 || !Number.isFinite(balance)) {"," return true;",[1658],{"_1143":609,"_1144":1659,"_462":1660,"_1147":57},329,[1560,1661,1662,1563,1663,1664,1563,1665,1571,214,1560,1666,1571,1667,1668,1669,1670,1671,1672,1673,1674,1675,1575,214,1560,1676,1571,1677,1678,1679,1680,1681,1682,1683,1684,1685,1686,1687,1575,214,1688,1689,1690,214,1560,1691,1571,1692,1693,1694,1575,214,1560,1695,1563,1696,1697,1563,1698,1699,1563,1566,1700,1701,1563,1702,1703,1571,1704,1705,1706,1707,1708,1709,1710,1605,214,1711,1712,1713,1714,1575,214,1560,1715,1563,1716,1717,1718,1563,1719,1720,1563,1566,1701,1721,1571,1722,1723,1724,1725,1726,1575,214,1560,1727,1563,1728,1729,1563,1730,1731,1563,1566,1732,1733,1734,1571,1735,1736,1737,214,1738,1739,1740,1741,1742,1687,1575,214,1560,1743,1563,1744,1745,1746,1747,1563,1748,1749,1563,1566,1732,1750,1751,1752,1753,1571,1754,1755,1756,1757,1758,1687,214,1759,1760,1761,1762,1763,1764,1765,1766,1767,1768,1709,1769,1770,1771,1772,1773,1774,1605,214,1775,1760,1776,1777,1778,1764,1765,1779,1767,1768,1709,1769,1770,1771,1780,1773,1774,1605,214,1781,1782,1783,1770,1771,1784,1773,1774,1605,214,1738,1785,1786,1687,1575,214,1560,1787,1563,1788,1789,1790,1563,1791,1792,1563,1793,1719,1794,1563,1795,1563,1566,1796,1797,1701,1798,1799,1800,1801,1571,1802,1803,1804,1805,1605,214,1806,1807,1808,214,1809,1810,1811,1812,1813,1814,1815,1816,1817,1818,214,1819,1820,1821,1822,1823,1687,214,1824,1825,1826,1827,1828,1605,214,1829,1575,214,1560,1830,1563,1831,1832,1833,1563,1834,1835,1836,1837,1563,1566,1838,1701,1839,1840,1841,1571,1842,1843,1844,1845,1846,1760,1847,1848,1769,1651,1605,1575,214,1560,1849,1563,1850,1851,1563,1852,1719,1853,1563,1854,1563,1566,1855,1856,1563,1857,1701,1858,1571,1859,1860,1861,1862,1575]," * ProbablyFair Verifiability Layer (PF-VL-1.0) compatible implementation"," * for provably fair card shuffling and verification."," * This module provides cryptographic seed generation, deterministic shuffling,"," * and verification capabilities aligned with ProbablyFair standards."," * Uses Web Crypto API for browser/Node.js compatibility"," * Represents a shuffle proof containing the seed and verification hash","export interface ShuffleProof {"," /** Hex-encoded seed used for deterministic shuffle */"," seed: string;"," /** SHA-256 hash of the seed for pre-commitment */"," seedHash: string;"," /** Timestamp when shuffle was performed (ISO 8601) */"," timestamp: string;"," /** Version of the shuffle algorithm */"," version: string;"," * Verification result for a shuffle proof","export interface VerificationResult {"," /** Whether the proof is valid */"," valid: boolean;"," /** Error message if invalid */"," error?: string;"," /** Details about the verification */"," details: {"," seedHashValid: boolean;"," timestampValid: boolean;"," versionSupported: boolean;"," };","const ALGORITHM_VERSION = 'PF-VL-1.0-A';","const SEED_BYTES = 32; // 256 bits for strong entropy","const HASH_ALGORITHM = 'SHA-256';"," * Convert array buffer to hex string","function bufferToHex(buffer: ArrayBuffer): string {"," const view = new Uint8Array(buffer);"," return Array.from(view).map(b => b.toString(16).padStart(2, '0')).join('');"," * Generate a cryptographically secure random seed"," * Uses crypto.getRandomValues for secure entropy generation."," * The seed is deterministic when provided, or random if not."," * @param providedSeed Optional hex-encoded seed. If not provided, a new one is generated."," * @returns Hex-encoded seed string of 64 characters (256 bits)"," * // Generate a new random seed"," * const seed = generateSeed();"," * // Use a specific seed for reproducibility"," * const seed = generateSeed('abc123...');","export function generateSeed(providedSeed?: string): string {"," if (providedSeed) {"," // Validate provided seed format"," if (!/^[a-f0-9]{64}$/i.test(providedSeed)) {"," throw new Error('Invalid seed format. Expected 64 hexadecimal characters.');"," }"," return providedSeed.toLowerCase();"," // Generate random seed using crypto.getRandomValues"," const randomArray = new Uint8Array(SEED_BYTES);"," crypto.getRandomValues(randomArray);"," return bufferToHex(randomArray.buffer);"," * Create a SHA-256 hash of a seed for pre-commitment"," * Used in the commitment phase of the shuffle proof to hash the seed"," * before it's revealed. This prevents the server from changing the seed"," * after the shuffle has been generated."," * @param seed Hex-encoded seed string"," * @returns Hex-encoded SHA-256 hash"," * const seedHash = hashSeed(seed);","export async function hashSeed(seed: string): Promise {"," const encoder = new TextEncoder();"," const data = encoder.encode(seed);"," const hashBuffer = await crypto.subtle.digest(HASH_ALGORITHM, data);"," return bufferToHex(hashBuffer);"," * Generate a shuffle proof (commitment + hash)"," * Creates a verifiable record of the shuffle with timestamp and version info."," * This proof can be stored and later used to verify the shuffle was fair."," * @param seed Optional hex-encoded seed. If not provided, a new one is generated."," * @returns ShuffleProof object containing seed, hash, timestamp, and version"," * const proof = await generateShuffleProof();"," * // Store proof for later verification"," * console.log(proof.seedHash); // Can be committed to client before shuffle","export async function generateShuffleProof(seed?: string): Promise {"," const finalSeed = generateSeed(seed);"," const seedHash = await hashSeed(finalSeed);"," return {"," seed: finalSeed,"," seedHash,"," timestamp: new Date().toISOString(),"," version: ALGORITHM_VERSION,"," * Verify a shuffle proof is valid and well-formed"," * Validates that:"," * - The seed hash matches the hash of the seed"," * - The timestamp is a valid ISO 8601 date"," * - The algorithm version is supported"," * @param proof ShuffleProof to verify"," * @returns VerificationResult with validation status and details"," * const result = await verifyShuffleProof(proof);"," * if (result.valid) {"," * console.log('Shuffle proof is valid');"," * }","export async function verifyShuffleProof(proof: ShuffleProof): Promise {"," const details = {"," seedHashValid: false,"," timestampValid: false,"," versionSupported: false,"," // Verify seed hash"," try {"," const calculatedHash = await hashSeed(proof.seed);"," details.seedHashValid = calculatedHash === proof.seedHash;"," if (!details.seedHashValid) {"," return {"," valid: false,"," error: 'Seed hash does not match provided seed',"," details,"," };"," } catch {"," return {"," valid: false,"," error: 'Invalid seed format',"," details,"," };"," // Verify timestamp"," const timestamp = new Date(proof.timestamp);"," details.timestampValid = !isNaN(timestamp.getTime());"," if (!details.timestampValid) {"," error: 'Invalid timestamp format',"," error: 'Timestamp parsing failed',"," // Verify version support"," details.versionSupported = proof.version === ALGORITHM_VERSION;"," if (!details.versionSupported) {"," error: `Unsupported version: ${proof.version}. Expected: ${ALGORITHM_VERSION}`,"," valid: true,"," details,"," * Deterministically shuffle a deck using a seed"," * Implements Fisher-Yates shuffle algorithm using a seeded PRNG."," * Given the same seed, produces identical shuffles (deterministic)."," * This allows independent verification of shuffle fairness."," * The PRNG uses SHA-256 in counter mode for deterministic randomness"," * that matches the ProbablyFair specification."," * @param deck Array of indices [0, 1, 2, ..., deckSize-1] to shuffle"," * @returns Shuffled array maintaining all original indices"," * @throws Error if seed is invalid format"," * // Shuffle a 52-card deck deterministically"," * const deckIndices = Array.from({ length: 52 }, (_, i) => i);"," * const shuffled = seededShuffle(deckIndices, seed);"," * // Same seed always produces same shuffle"," * const shuffled2 = seededShuffle(deckIndices, seed);"," * // shuffled === shuffled2 (deep equal)","export async function seededShuffle(deck: number[], seed: string): Promise {"," // Validate seed format"," if (!/^[a-f0-9]{64}$/i.test(seed)) {"," throw new Error('Invalid seed format. Expected 64 hexadecimal characters.');"," const shuffled = [...deck];"," const deckSize = shuffled.length;"," let seedCounter = 0;"," /**"," * Deterministic PRNG using SHA-256 in counter mode"," * Produces reproducible random numbers from seed"," */"," const seededRandom = async (): Promise => {"," const encoder = new TextEncoder();"," const seedWithCounter = seed + seedCounter.toString().padStart(10, '0');"," const data = encoder.encode(seedWithCounter);"," const hashBuffer = await crypto.subtle.digest(HASH_ALGORITHM, data);"," seedCounter++;"," const view = new Uint32Array(hashBuffer);"," // Convert first 4 bytes to number in range [0, 1)"," // Use 0x100000000 to ensure result is always < 1"," const value = view[0] / 0x100000000;"," return value;"," // Fisher-Yates shuffle with seeded randomness"," for (let i = deckSize - 1; i > 0; i--) {"," const rand = await seededRandom();"," const j = Math.floor(rand * (i + 1));"," [shuffled[i], shuffled[j]] = [shuffled[j], shuffled[i]];"," return shuffled;"," * Verify that a shuffle was performed with a specific seed"," * Reproduces the shuffle using the given seed and compares it with"," * the provided shuffled result. If they match, the shuffle was fair"," * and reproducible using the claimed seed."," * @param originalDeck Original unshuaffle deck indices [0, 1, 2, ...]"," * @param shuffledDeck The shuffled deck that was claimed to use the seed"," * @param seed Hex-encoded seed to verify"," * @returns true if the seed produces the given shuffle result"," * const deck = Array.from({ length: 52 }, (_, i) => i);"," * const shuffled = await seededShuffle(deck, seed);"," * const isValid = await verifyShuffleWithSeed(deck, shuffled, seed);"," * // isValid === true","export async function verifyShuffleWithSeed("," originalDeck: number[],"," shuffledDeck: number[],"," seed: string","): Promise {"," const reproducedShuffle = await seededShuffle(originalDeck, seed);"," return JSON.stringify(reproducedShuffle) === JSON.stringify(shuffledDeck);"," * Apply a seeded shuffle to a deck of cards"," * High-level convenience function that takes a card deck and seed,"," * returns a shuffled deck using deterministic seeded algorithm."," * @param cards Array of Card objects"," * @returns Shuffled card array"," * @throws Error if seed is invalid"," * import { Card } from '../types';"," * import { createShoe } from './deck';"," * const shoe = createShoe(6);"," * const shuffled = await shuffleCardsWithSeed(shoe, seed);","export async function shuffleCardsWithSeed(cards: T[], seed: string): Promise {"," const indices = Array.from({ length: cards.length }, (_, i) => i);"," const shuffledIndices = await seededShuffle(indices, seed);"," return shuffledIndices.map(i => cards[i]);",[1864,1865,1866,1867,1868,1869,1870,1871,1872],{"_1093":45,"_45":1885},{"_1093":1874,"_169":526,"_1143":1883,"_1144":1884},{"_1093":45,"_45":1882},{"_1093":1874,"_169":523,"_1143":1881,"_1144":1556},{"_1093":45,"_45":1880},{"_1093":1874,"_169":520,"_1143":1878,"_1144":1879},{"_1093":45,"_45":1877},{"_1093":1874,"_169":516,"_1143":1875,"_1144":1876},{"_1093":45,"_45":1873},"\n* Committed changes on branch `work` (`27918a4`) and created a follow-up PR via `make_pr` titled **“Follow-up: fix seeded shuffle bounds and insurance eligibility consistency”**.\n\n### Testing\n* ⚠️ `npm install` (failed due to registry/security policy 403 in this environment)\n* ✅ `npm test -- --run src/engine/__tests__/probablyFair.test.ts src/engine/__tests__/insurance.test.ts`","repo_file_citation",210,252,"\n* Updated insurance tests to confirm users can place insurance with balances below max insurance, and added coverage for non-finite balance rejection.",237,250,"\n* Added a regression test that mocks a hash chunk of `0xffffffff` and verifies `seededShuffle` still returns a valid permutation without out-of-bounds behavior.",152,"\n* Updated insurance placement eligibility to require a positive finite balance (instead of requiring balance to cover the maximum insurance bet), aligning `canPlaceInsurance` behavior with bet validation rules.",256,267,"### Summary\n* Fixed the seeded shuffle RNG normalization so generated values are always `< 1` by dividing by `0x100000000`, which prevents Fisher–Yates from ever producing an out-of-range swap index (`i + 1`).",{"_91":316,"_41":83,"_95":316,"_1888":1889,"_1890":1891,"_1892":1893,"_131":-5,"_118":1894},[82],"input_items",[1911,1912,1913,1914,1915,1916],"external_post_config",{"_1895":1896,"_256":257,"_1897":297,"_268":-5,"_1114":251,"_1898":-5,"_1899":1900,"_1901":1902,"_1903":-5,"_1904":-5,"_1905":1906,"_1907":15,"_1908":57,"_1909":52,"_1910":15},"user_model_slug","slug",1777151736.524532,"installation_id",121731450,"pr_number","review_trigger","comment_id",4320571917,"comment_type","issue","pr_write_guard_token","pending_pr_reaction_id","pending_comment_reaction_id",350689940,"comment_if_no_findings","comment_on_error","share_url","is_parallel_review",{"_91":467,"_95":316,"_462":1930},{"_304":305,"_306":214,"_1927":311,"_1928":128,"_313":-5,"_91":1929},{"_91":1917,"_306":1926,"_169":-5,"_1919":-5,"_1920":-5},{"_91":1917,"_306":1924,"_169":526,"_1919":1922,"_1920":1925},{"_91":1917,"_306":1921,"_169":523,"_1919":1922,"_1920":1923},{"_91":1917,"_306":1918,"_169":-5,"_1919":-5,"_1920":-5},"pull_request_comment","\n### 💡 Codex Review\n\nHere are some automated review suggestions for this pull request.\n\n**Reviewed commit:** `5c00fc0803`\n \n\n

ℹ️ About Codex in GitHub

","side","line","**_{_{![P2 Badge](https://img.shields.io/badge/P2-yellow?style=flat)}} Permit insurance when balance is below the max side bet**\n\n`canPlaceInsurance` currently rejects players unless their balance covers the full `getMaxInsuranceBet(hand)`, even though `validateInsuranceBet` accepts any positive amount up to that maximum. This creates inconsistent behavior where a bet amount can be valid by validator rules but impossible to place because eligibility fails first, blocking legitimate insurance bets for lower balances.\n\nUseful? React with 👍 / 👎.","RIGHT",166,"**_{_{![P1 Badge](https://img.shields.io/badge/P1-orange?style=flat)}} Clamp seeded RNG result to avoid out-of-range swap index**\n\nIn `seededShuffle`, `value` is calculated as `view[0] / 0xffffffff`, which can produce exactly `1` when the hash chunk is `0xffffffff`. That makes `j = Math.floor(rand * (i + 1))` evaluate to `i + 1`, an invalid Fisher–Yates index, so the shuffle can swap with an out-of-bounds slot and corrupt the permutation (e.g., introducing `undefined` values). This is rare but deterministic for specific seeds, so it can break fairness verification.\n\nUseful? React with 👍 / 👎.",259,"@codex \\n\\nreview the merge conflicts and resolve them ","base_ref","head_ref","pull_request_info",[1931],{"_1093":45,"_45":1932},"@codex resolve the problems:\\n\\nP1 Badge Clamp seeded RNG result to avoid out-of-range swap index\\n\\nIn seededShuffle, value is calculated as view[0] / 0xffffffff, which can produce exactly 1 when the hash chunk is 0xffffffff. That makes j = Math.floor(rand * (i + 1)) evaluate to i + 1, an invalid Fisher–Yates index, so the shuffle can swap with an out-of-bounds slot and corrupt the permutation (e.g., introducing undefined values). This is rare but deterministic for specific seeds, so it can break fairness verification.\\n\\nUseful? React with 👍 / 👎.\\n\\n—-\\n\\nP1 Badge Clamp seeded RNG result to avoid out-of-range swap index\\n\\nIn seededShuffle, value is calculated as view[0] / 0xffffffff, which can produce exactly 1 when the hash chunk is 0xffffffff. That makes j = Math.floor(rand * (i + 1)) evaluate to i + 1, an invalid Fisher–Yates index, so the shuffle can swap with an out-of-bounds slot and corrupt the permutation (e.g., introducing undefined values). This is rare but deterministic for specific seeds, so it can break fairness verification.\\n\\nUseful? React with 👍 / 👎.\\n\\n\\n—-\\n\\n\\nResolve merge conflicts then update package lock and dependencies installed. Once passing finalize merge",[2451,2452,2453],[],{"_1098":1099,"_45":1100,"_1101":1102},{"_1072":2442},{"_330":2441},{"_330":1977},{"_296":297,"_288":298,"_299":300,"_301":15,"_302":15,"_303":15,"_304":305,"_306":-5,"_307":308,"_309":126,"_310":311,"_312":128,"_313":-5,"_314":-5,"_315":-5,"_316":1976,"_318":319,"_320":321,"_322":323,"_324":325},{"_41":122,"_208":209,"_210":211,"_212":15,"_213":214,"_215":216,"_217":1965,"_219":-5,"_220":-5,"_221":1966,"_223":214,"_224":214,"_225":1967,"_227":1968,"_229":1969,"_231":-5,"_232":233,"_234":235,"_236":237,"_238":1970,"_53":-5,"_118":240,"_241":1971,"_243":1972,"_245":246,"_247":15},{"_132":1958},[1943,1944,1945,1946,1947,1948,1949,1950,1951,1952,1953,1954,1955,1956,1957],{"_156":187,"_158":183,"_160":184,"_162":163,"_164":186,"_166":167,"_168":31,"_169":-5},{"_156":182,"_158":183,"_160":184,"_162":185,"_164":186,"_166":167,"_168":31,"_169":-5},{"_156":181,"_158":159,"_160":161,"_162":163,"_164":165,"_166":167,"_168":31,"_169":-5},{"_156":180,"_158":159,"_160":161,"_162":163,"_164":165,"_166":167,"_168":31,"_169":-5},{"_156":179,"_158":159,"_160":161,"_162":163,"_164":165,"_166":167,"_168":31,"_169":-5},{"_156":178,"_158":159,"_160":161,"_162":163,"_164":165,"_166":167,"_168":31,"_169":-5},{"_156":177,"_158":159,"_160":161,"_162":163,"_164":165,"_166":167,"_168":31,"_169":-5},{"_156":176,"_158":159,"_160":161,"_162":163,"_164":165,"_166":167,"_168":31,"_169":-5},{"_156":175,"_158":159,"_160":161,"_162":163,"_164":165,"_166":167,"_168":31,"_169":-5},{"_156":174,"_158":159,"_160":161,"_162":163,"_164":165,"_166":167,"_168":31,"_169":-5},{"_156":173,"_158":159,"_160":161,"_162":163,"_164":165,"_166":167,"_168":31,"_169":-5},{"_156":172,"_158":159,"_160":161,"_162":163,"_164":165,"_166":167,"_168":31,"_169":-5},{"_156":171,"_158":159,"_160":161,"_162":163,"_164":165,"_166":167,"_168":31,"_169":-5},{"_156":170,"_158":159,"_160":161,"_162":163,"_164":165,"_166":167,"_168":31,"_169":-5},{"_156":157,"_158":159,"_160":161,"_162":163,"_164":165,"_166":167,"_168":31,"_169":-5},[1959,1960,1961],{"_192":1964,"_194":205},{"_192":1963,"_194":201},{"_192":1962,"_194":195},{"_196":197,"_91":198,"_118":199},{"_196":202,"_91":198,"_118":203},{"_196":206,"_91":198,"_118":207},{"_290":291,"_292":-5,"_293":-5,"_294":-5,"_295":-5},[251],{"_251":1973},{},{},[],{"_250":57},{"_248":57,"_249":214},{"_41":253,"_196":211,"_254":1974,"_256":257,"_258":259,"_260":261,"_262":263,"_264":265,"_266":267,"_268":62,"_269":15,"_270":57,"_271":57,"_272":57,"_273":57,"_274":57,"_275":-5,"_168":276,"_277":-5,"_53":1975},{"_282":283,"_41":284,"_91":285,"_286":287,"_288":289},{"_279":57,"_280":57,"_281":57},{"_282":326,"_196":326,"_327":-5,"_286":328,"_41":329},[1978,1979,1980,1981,1982,1983,1984,1985,1986,1987,1988,1989,1990,1991,1992,1993,1994,1995,1996,1997,1998,1999,2000,2001,2002,2003,2004,2005,2006,2007,2008,2009,2010,2011,2012,2013,2014,2015,2016,2017,2018,2019,2020,2021,2022,2023,2024,2025,2026,2027,2028,2029,2030,2031,2032,2033,2034,2035,2036,2037,2038,2039,2040,2041,2042,2043,2044,2045,2046,2047,2048,2049,2050,2051,2052,2053,2054,2055,2056,2057,2058,2059,2060,2061,2062,2063,2064,2065,2066,2067,2068,2069,2070,2071,2072,2073,2074,2075,2076,2077,2078,2079,2080,2081,2082,2083,2084,2085,2086,2087,2088],{"_162":1050,"_444":2437},{"_162":457,"_444":2433},{"_162":457,"_444":2428},{"_162":453,"_444":2425},{"_162":1026,"_444":2422},{"_162":457,"_444":2418},{"_162":471,"_444":2413},{"_162":471,"_444":2409},{"_162":457,"_444":2406},{"_162":457,"_444":2404},{"_162":471,"_444":2400},{"_162":457,"_444":2398},{"_162":471,"_444":2394},{"_162":457,"_444":2391},{"_162":457,"_444":2389},{"_162":471,"_444":2385},{"_162":457,"_444":2383},{"_162":471,"_444":2379},{"_162":457,"_444":2376},{"_162":457,"_444":2374},{"_162":471,"_444":2370},{"_162":457,"_444":2368},{"_162":471,"_444":2364},{"_162":457,"_444":2361},{"_162":457,"_444":2359},{"_162":471,"_444":2353},{"_162":457,"_444":2351},{"_162":471,"_444":2347},{"_162":457,"_444":2344},{"_162":457,"_444":2342},{"_162":471,"_444":2338},{"_162":457,"_444":2336},{"_162":471,"_444":2332},{"_162":457,"_444":2329},{"_162":457,"_444":2327},{"_162":471,"_444":2323},{"_162":457,"_444":2321},{"_162":471,"_444":2317},{"_162":457,"_444":2314},{"_162":457,"_444":2312},{"_162":471,"_444":2308},{"_162":457,"_444":2306},{"_162":471,"_444":2302},{"_162":457,"_444":2299},{"_162":457,"_444":2297},{"_162":471,"_444":2293},{"_162":457,"_444":2291},{"_162":471,"_444":2287},{"_162":457,"_444":2284},{"_162":457,"_444":2282},{"_162":471,"_444":2277},{"_162":457,"_444":2275},{"_162":457,"_444":2273},{"_162":471,"_444":2268},{"_162":457,"_444":2266},{"_162":471,"_444":2262},{"_162":457,"_444":2259},{"_162":457,"_444":2257},{"_162":471,"_444":2252},{"_162":457,"_444":2250},{"_162":471,"_444":2246},{"_162":457,"_444":2243},{"_162":457,"_444":2241},{"_162":471,"_444":2236},{"_162":457,"_444":2234},{"_162":471,"_444":2230},{"_162":457,"_444":2227},{"_162":457,"_444":2225},{"_162":471,"_444":2220},{"_162":457,"_444":2218},{"_162":471,"_444":2214},{"_162":457,"_444":2211},{"_162":457,"_444":2209},{"_162":471,"_444":2205},{"_162":457,"_444":2203},{"_162":471,"_444":2199},{"_162":457,"_444":2196},{"_162":457,"_444":2194},{"_162":471,"_444":2190},{"_162":457,"_444":2188},{"_162":471,"_444":2184},{"_162":457,"_444":2181},{"_162":457,"_444":2179},{"_162":471,"_444":2175},{"_162":457,"_444":2173},{"_162":471,"_444":2169},{"_162":457,"_444":2166},{"_162":457,"_444":2164},{"_162":471,"_444":2160},{"_162":457,"_444":2158},{"_162":471,"_444":2154},{"_162":457,"_444":2151},{"_162":457,"_444":2149},{"_162":471,"_444":2145},{"_162":457,"_444":2143},{"_162":471,"_444":2139},{"_162":457,"_444":2136},{"_162":457,"_444":2134},{"_162":471,"_444":2127},{"_162":457,"_444":2125},{"_162":471,"_444":2121},{"_162":457,"_444":2118},{"_162":457,"_444":2116},{"_162":471,"_444":2109},{"_162":457,"_444":2107},{"_162":471,"_444":2103},{"_162":457,"_444":2100},{"_162":471,"_444":2098},{"_162":457,"_444":2094},{"_162":453,"_444":2092},{"_162":443,"_444":2089},{"_446":447,"_86":2090},{"_102":-5,"_41":449,"_450":2091,"_452":112},[],{"_452":2093,"_446":447},{"_91":456},{"_459":2095,"_446":447,"_461":449},{"_462":2096,"_464":-5,"_41":-5,"_465":466,"_95":92,"_91":467},[2097],{"_45":469,"_91":470},{"_459":2099,"_446":447,"_461":449},{"_41":474,"_465":466,"_45":469,"_91":475},{"_459":2101,"_446":447,"_461":449},{"_462":-5,"_478":479,"_41":-5,"_480":2102,"_91":482},[],{"_459":2104,"_446":447,"_461":449},{"_462":2105,"_41":486,"_480":2106,"_91":482},[],[],{"_459":2108,"_446":447,"_461":449},{"_490":491,"_492":493,"_91":494},{"_459":2110,"_446":447,"_461":449},{"_497":498,"_499":500,"_501":2111,"_503":504,"_505":31,"_506":31,"_41":491,"_507":508,"_452":112,"_91":509},[2112,2113,2114,2115],{"_499":524,"_196":525,"_169":526,"_91":517},{"_499":521,"_196":522,"_169":523,"_91":517},{"_499":518,"_196":519,"_169":520,"_91":517},{"_499":514,"_196":515,"_169":516,"_91":517},{"_459":2117,"_446":447,"_461":449},{"_529":530,"_490":491,"_41":-5,"_196":531,"_91":532},{"_459":2119,"_446":447,"_461":449},{"_462":-5,"_478":535,"_41":-5,"_480":2120,"_91":482},[],{"_459":2122,"_446":447,"_461":449},{"_462":2123,"_41":540,"_480":2124,"_91":482},[],[],{"_459":2126,"_446":447,"_461":449},{"_490":544,"_492":545,"_91":494},{"_459":2128,"_446":447,"_461":449},{"_529":2129,"_505":549,"_102":-5,"_41":544,"_550":2130,"_552":553,"_452":112,"_554":553,"_91":555},{"_304":559,"_306":560},{"_462":2131,"_557":2132},[2133],{"_304":559,"_306":560},{"_91":45,"_45":562},{"_459":2135,"_446":447,"_461":449},{"_529":545,"_490":544,"_41":-5,"_196":565,"_91":532},{"_459":2137,"_446":447,"_461":449},{"_462":-5,"_478":568,"_41":-5,"_480":2138,"_91":482},[],{"_459":2140,"_446":447,"_461":449},{"_462":2141,"_41":573,"_480":2142,"_91":482},[],[],{"_459":2144,"_446":447,"_461":449},{"_490":577,"_492":578,"_91":494},{"_459":2146,"_446":447,"_461":449},{"_497":581,"_499":582,"_501":2147,"_503":504,"_505":31,"_506":31,"_41":577,"_507":584,"_452":112,"_91":509},[2148],{"_499":586,"_91":587},{"_459":2150,"_446":447,"_461":449},{"_529":590,"_490":577,"_41":-5,"_196":531,"_91":532},{"_459":2152,"_446":447,"_461":449},{"_462":-5,"_478":593,"_41":-5,"_480":2153,"_91":482},[],{"_459":2155,"_446":447,"_461":449},{"_462":2156,"_41":598,"_480":2157,"_91":482},[],[],{"_459":2159,"_446":447,"_461":449},{"_490":602,"_492":603,"_91":494},{"_459":2161,"_446":447,"_461":449},{"_497":606,"_499":607,"_501":2162,"_503":504,"_505":609,"_506":31,"_41":602,"_507":610,"_452":112,"_91":509},[2163],{"_499":612,"_91":587},{"_459":2165,"_446":447,"_461":449},{"_529":615,"_490":602,"_41":-5,"_196":531,"_91":532},{"_459":2167,"_446":447,"_461":449},{"_462":-5,"_478":618,"_41":-5,"_480":2168,"_91":482},[],{"_459":2170,"_446":447,"_461":449},{"_462":2171,"_41":623,"_480":2172,"_91":482},[],[],{"_459":2174,"_446":447,"_461":449},{"_490":627,"_492":628,"_91":494},{"_459":2176,"_446":447,"_461":449},{"_497":631,"_499":632,"_501":2177,"_503":504,"_505":31,"_506":31,"_41":627,"_507":634,"_452":112,"_91":509},[2178],{"_499":636,"_91":587},{"_459":2180,"_446":447,"_461":449},{"_529":639,"_490":627,"_41":-5,"_196":531,"_91":532},{"_459":2182,"_446":447,"_461":449},{"_462":-5,"_478":642,"_41":-5,"_480":2183,"_91":482},[],{"_459":2185,"_446":447,"_461":449},{"_462":2186,"_41":647,"_480":2187,"_91":482},[],[],{"_459":2189,"_446":447,"_461":449},{"_490":651,"_492":652,"_91":494},{"_459":2191,"_446":447,"_461":449},{"_497":655,"_499":656,"_501":2192,"_503":504,"_505":658,"_506":31,"_41":651,"_507":659,"_452":112,"_91":509},[2193],{"_499":661,"_91":587},{"_459":2195,"_446":447,"_461":449},{"_529":664,"_490":651,"_41":-5,"_196":531,"_91":532},{"_459":2197,"_446":447,"_461":449},{"_462":-5,"_478":667,"_41":-5,"_480":2198,"_91":482},[],{"_459":2200,"_446":447,"_461":449},{"_462":2201,"_41":672,"_480":2202,"_91":482},[],[],{"_459":2204,"_446":447,"_461":449},{"_490":676,"_492":677,"_91":494},{"_459":2206,"_446":447,"_461":449},{"_497":680,"_499":681,"_501":2207,"_503":504,"_505":683,"_506":609,"_41":676,"_507":684,"_452":685,"_91":509},[2208],{"_499":687,"_91":587},{"_459":2210,"_446":447,"_461":449},{"_529":690,"_490":676,"_41":-5,"_196":531,"_91":532},{"_459":2212,"_446":447,"_461":449},{"_462":-5,"_478":693,"_41":-5,"_480":2213,"_91":482},[],{"_459":2215,"_446":447,"_461":449},{"_462":2216,"_41":698,"_480":2217,"_91":482},[],[],{"_459":2219,"_446":447,"_461":449},{"_490":702,"_492":703,"_91":704},{"_459":2221,"_446":447,"_461":449},{"_707":2222,"_41":702,"_452":112,"_91":709},[2223],{"_315":711,"_9":2224,"_169":713},{"_714":-5,"_91":715},{"_459":2226,"_446":447,"_461":449},{"_490":702,"_41":-5,"_718":719,"_196":720,"_452":112,"_91":721},{"_459":2228,"_446":447,"_461":449},{"_462":-5,"_478":724,"_41":-5,"_480":2229,"_91":482},[],{"_459":2231,"_446":447,"_461":449},{"_462":2232,"_41":729,"_480":2233,"_91":482},[],[],{"_459":2235,"_446":447,"_461":449},{"_490":733,"_492":703,"_91":704},{"_459":2237,"_446":447,"_461":449},{"_707":2238,"_41":733,"_452":112,"_91":709},[2239],{"_315":738,"_9":2240,"_169":713},{"_714":-5,"_91":715},{"_459":2242,"_446":447,"_461":449},{"_490":733,"_41":-5,"_718":742,"_196":720,"_452":112,"_91":721},{"_459":2244,"_446":447,"_461":449},{"_462":-5,"_478":745,"_41":-5,"_480":2245,"_91":482},[],{"_459":2247,"_446":447,"_461":449},{"_462":2248,"_41":750,"_480":2249,"_91":482},[],[],{"_459":2251,"_446":447,"_461":449},{"_490":754,"_492":755,"_91":704},{"_459":2253,"_446":447,"_461":449},{"_707":2254,"_41":754,"_452":112,"_91":709},[2255],{"_315":760,"_9":2256,"_169":762},{"_714":-5,"_91":715},{"_459":2258,"_446":447,"_461":449},{"_490":754,"_41":-5,"_718":765,"_196":720,"_452":112,"_91":721},{"_459":2260,"_446":447,"_461":449},{"_462":-5,"_478":768,"_41":-5,"_480":2261,"_91":482},[],{"_459":2263,"_446":447,"_461":449},{"_462":2264,"_41":773,"_480":2265,"_91":482},[],[],{"_459":2267,"_446":447,"_461":449},{"_490":777,"_492":778,"_91":704},{"_459":2269,"_446":447,"_461":449},{"_707":2270,"_41":777,"_452":112,"_91":709},[2271],{"_315":783,"_9":2272,"_169":785},{"_714":-5,"_91":715},{"_459":2274,"_446":447,"_461":449},{"_490":777,"_41":-5,"_718":788,"_196":720,"_452":112,"_91":721},{"_459":2276,"_446":447,"_461":449},{"_490":791,"_492":792,"_91":704},{"_459":2278,"_446":447,"_461":449},{"_707":2279,"_41":791,"_452":112,"_91":709},[2280],{"_315":797,"_9":2281,"_169":799},{"_714":-5,"_91":715},{"_459":2283,"_446":447,"_461":449},{"_490":791,"_41":-5,"_718":802,"_196":720,"_452":112,"_91":721},{"_459":2285,"_446":447,"_461":449},{"_462":-5,"_478":805,"_41":-5,"_480":2286,"_91":482},[],{"_459":2288,"_446":447,"_461":449},{"_462":2289,"_41":810,"_480":2290,"_91":482},[],[],{"_459":2292,"_446":447,"_461":449},{"_490":814,"_492":815,"_91":494},{"_459":2294,"_446":447,"_461":449},{"_497":818,"_499":819,"_501":2295,"_503":504,"_505":31,"_506":31,"_41":814,"_507":821,"_452":112,"_91":509},[2296],{"_499":823,"_196":519,"_169":520,"_91":517},{"_459":2298,"_446":447,"_461":449},{"_529":826,"_490":814,"_41":-5,"_196":531,"_91":532},{"_459":2300,"_446":447,"_461":449},{"_462":-5,"_478":829,"_41":-5,"_480":2301,"_91":482},[],{"_459":2303,"_446":447,"_461":449},{"_462":2304,"_41":834,"_480":2305,"_91":482},[],[],{"_459":2307,"_446":447,"_461":449},{"_490":838,"_492":839,"_91":494},{"_459":2309,"_446":447,"_461":449},{"_497":842,"_499":843,"_501":2310,"_503":504,"_505":31,"_506":31,"_41":838,"_507":845,"_452":112,"_91":509},[2311],{"_499":847,"_196":519,"_169":520,"_91":517},{"_459":2313,"_446":447,"_461":449},{"_529":850,"_490":838,"_41":-5,"_196":531,"_91":532},{"_459":2315,"_446":447,"_461":449},{"_462":-5,"_478":853,"_41":-5,"_480":2316,"_91":482},[],{"_459":2318,"_446":447,"_461":449},{"_462":2319,"_41":858,"_480":2320,"_91":482},[],[],{"_459":2322,"_446":447,"_461":449},{"_490":862,"_492":863,"_91":494},{"_459":2324,"_446":447,"_461":449},{"_497":866,"_499":867,"_501":2325,"_503":504,"_505":31,"_506":31,"_41":862,"_507":869,"_452":112,"_91":509},[2326],{"_499":871,"_169":-5,"_91":872},{"_459":2328,"_446":447,"_461":449},{"_529":875,"_490":862,"_41":-5,"_196":531,"_91":532},{"_459":2330,"_446":447,"_461":449},{"_462":-5,"_478":878,"_41":-5,"_480":2331,"_91":482},[],{"_459":2333,"_446":447,"_461":449},{"_462":2334,"_41":883,"_480":2335,"_91":482},[],[],{"_459":2337,"_446":447,"_461":449},{"_490":887,"_492":888,"_91":494},{"_459":2339,"_446":447,"_461":449},{"_497":891,"_499":892,"_501":2340,"_503":504,"_505":31,"_506":31,"_41":887,"_507":894,"_452":112,"_91":509},[2341],{"_499":896,"_196":522,"_169":523,"_91":517},{"_459":2343,"_446":447,"_461":449},{"_529":899,"_490":887,"_41":-5,"_196":531,"_91":532},{"_459":2345,"_446":447,"_461":449},{"_462":-5,"_478":902,"_41":-5,"_480":2346,"_91":482},[],{"_459":2348,"_446":447,"_461":449},{"_462":2349,"_41":907,"_480":2350,"_91":482},[],[],{"_459":2352,"_446":447,"_461":449},{"_490":911,"_492":912,"_91":494},{"_459":2354,"_446":447,"_461":449},{"_497":915,"_499":916,"_501":2355,"_503":504,"_505":31,"_506":31,"_41":911,"_507":918,"_452":112,"_91":509},[2356,2357,2358],{"_499":924,"_196":525,"_169":526,"_91":517},{"_499":923,"_196":522,"_169":523,"_91":517},{"_499":922,"_196":515,"_169":516,"_91":517},{"_459":2360,"_446":447,"_461":449},{"_529":927,"_490":911,"_41":-5,"_196":531,"_91":532},{"_459":2362,"_446":447,"_461":449},{"_462":-5,"_478":930,"_41":-5,"_480":2363,"_91":482},[],{"_459":2365,"_446":447,"_461":449},{"_462":2366,"_41":935,"_480":2367,"_91":482},[],[],{"_459":2369,"_446":447,"_461":449},{"_490":939,"_492":940,"_91":494},{"_459":2371,"_446":447,"_461":449},{"_497":-5,"_499":943,"_501":2372,"_503":504,"_505":31,"_506":609,"_41":939,"_507":945,"_452":685,"_91":509},[2373],{"_499":947,"_169":948,"_949":950,"_91":951},{"_459":2375,"_446":447,"_461":449},{"_529":954,"_490":939,"_41":-5,"_196":531,"_91":532},{"_459":2377,"_446":447,"_461":449},{"_462":-5,"_478":957,"_41":-5,"_480":2378,"_91":482},[],{"_459":2380,"_446":447,"_461":449},{"_462":2381,"_41":962,"_480":2382,"_91":482},[],[],{"_459":2384,"_446":447,"_461":449},{"_490":966,"_492":967,"_91":494},{"_459":2386,"_446":447,"_461":449},{"_497":970,"_499":971,"_501":2387,"_503":504,"_505":31,"_506":31,"_41":966,"_507":973,"_452":112,"_91":509},[2388],{"_499":975,"_91":587},{"_459":2390,"_446":447,"_461":449},{"_529":978,"_490":966,"_41":-5,"_196":531,"_91":532},{"_459":2392,"_446":447,"_461":449},{"_462":-5,"_478":981,"_41":-5,"_480":2393,"_91":482},[],{"_459":2395,"_446":447,"_461":449},{"_462":2396,"_41":986,"_480":2397,"_91":482},[],[],{"_459":2399,"_446":447,"_461":449},{"_490":990,"_492":991,"_91":494},{"_459":2401,"_446":447,"_461":449},{"_497":994,"_499":995,"_501":2402,"_503":504,"_505":31,"_506":31,"_41":990,"_507":997,"_452":112,"_91":509},[2403],{"_499":999,"_91":587},{"_459":2405,"_446":447,"_461":449},{"_529":1002,"_490":990,"_41":-5,"_196":531,"_91":532},{"_459":2407,"_446":447,"_461":449},{"_462":-5,"_478":1005,"_41":-5,"_480":2408,"_91":482},[],{"_459":2410,"_446":447,"_461":449},{"_462":2411,"_41":1010,"_480":2412,"_91":482},[],[],{"_459":2414,"_446":447,"_461":449},{"_462":2415,"_41":1015,"_91":1016},[2416],{"_45":1018,"_1019":2417,"_91":45},[],{"_459":2419,"_446":447,"_461":449},{"_462":2420,"_464":-5,"_41":-5,"_465":-5,"_95":316,"_91":467},[2421],{"_45":1018,"_91":1025},{"_446":447,"_86":2423},{"_102":-5,"_41":449,"_450":2424,"_452":1030},[],{"_452":2426,"_446":447},{"_1033":2427,"_91":1035},[],{"_459":2429,"_446":447,"_461":1038},{"_462":2430,"_464":-5,"_41":-5,"_465":-5,"_95":316,"_91":467},[2431,2432],{"_45":1043,"_91":1025},{"_45":1042,"_91":1025},{"_459":2434,"_446":447,"_461":1038},{"_462":2435,"_464":-5,"_41":-5,"_465":-5,"_95":1047,"_91":467},[2436],{"_45":1049,"_91":1025},{"_1052":2438},{"_1054":-5,"_1055":-5,"_1056":1057,"_1058":1059,"_503":504,"_1060":15,"_1061":-5,"_41":447,"_1062":1063,"_196":-5,"_169":1064,"_1065":214,"_1066":1067,"_452":2439,"_76":2440,"_1070":1059},{"_91":456},[],[],[2443],{"_41":1075,"_1076":2444,"_1078":1079,"_1080":1079,"_462":2445,"_452":1082,"_464":-5,"_1083":31,"_1084":2446,"_1086":1087,"_1088":-5},{"_95":316,"_196":-5,"_1084":2450},{"_1093":45,"_1094":2449},{"_1089":2447},{"_1091":2448},[],[1096],{},{"_91":467,"_95":92,"_462":2474},{"_91":1131,"_1132":2457},{"_91":1106,"_1107":1108,"_1109":1110,"_1111":2454,"_1113":-5},{"_91":1111,"_1114":504,"_127":128,"_1115":-5,"_315":1116,"_1117":2455,"_1119":1120,"_1121":1122,"_1123":319,"_1124":1125,"_1126":2456},{"_1128":1129,"_1130":-5},[],[2458,2459,2460,2461],{"_169":526,"_1138":-5,"_1139":2471,"_1141":-5},{"_169":523,"_1138":-5,"_1139":2468,"_1141":-5},{"_169":520,"_1138":-5,"_1139":2465,"_1141":-5},{"_169":516,"_1138":-5,"_1139":2462,"_1141":-5},[2463],{"_1143":609,"_1144":1145,"_462":2464,"_1147":57},[1148,1149,1150,1151,1152,1153,1154,1155,1156,214,1157,1158,1159,1160,1161,214,1162,1163,1164,1165,1166,1167,1168,1169,1161,214,1170,1171,1172,1173,1174,1175,214,1176,1177,1178,1179,1180,1175,214,1181,1182,1183,1175,1184,214,1185,1186,1187,1188,1175,214,1189,1190,1191,1175,214,1192,1193,1194,1175,214,1195,1196,1197,1175,1184,214,1198,1199,1187,1200,214,1201,1202,1175,214,1203,1187,1204,214,1201,1175,214,1205,1187,1206,214,1207,1208,1175,214,1209,1187,1210,214,1207,1211,1175,214,1212,1187,214,1213,1214,1215,214,1216,1217,1218,1175,214,1219,1187,214,1220,1221,214,1222,1223,1175,214,1224,1225,1226,214,1201,1175,1184,214,1227,1228,1229,1230,214,1231,214,1232,1233,1175,214,1234,1235,1236,214,1231,1237,1175,214,1238,1239,1240,214,1231,1241,1175,214,1242,1243,1230,214,1231,1244,1175,214,1245,1246,1230,214,1231,1244,1175,214,1247,1229,1248,214,1231,1249,1175,214,1250,1251,1252,214,1231,1253,1175,1184,214,1254,1255,1173,1187,1256,214,1257,1258,1175,214,1259,1260,1187,1256,214,1257,1261,1175,214,1262,1173,1187,1263,214,1257,1258,1175,214,1264,1173,1187,1265,214,1257,1258,1175,214,1266,1173,1196,1256,214,1257,1261,1175,214,1267,1173,1225,1268,214,1257,1258,1175,214,1269,1173,1187,214,1270,1271,1175,1184,214,1272,1273,1173,1187,1256,214,1274,1174,214,1275,1276,214,1277,1278,1279,214,1280,1281,1282,214,1283,1284,1285,1233,214,1286,1287,1175,214,1288,1173,1187,1256,214,1289,1230,1290,1282,214,1291,1292,1231,1244,214,1293,1294,1175,214,1295,1187,1296,214,1297,1298,1299,214,1300,1301,1302,1303,214,1304,1305,1306,1307,1175,1184,1161],[2466],{"_1143":609,"_1144":1310,"_462":2467,"_1147":57},[1312,1149,1313,1314,1315,1316,1317,1318,1319,1320,1321,214,1322,1323,1324,1325,1326,1327,1175,214,1328,1329,1330,1331,1175,214,1332,1333,1334,1335,1175,214,1336,1337,1338,1339,1175,214,1340,1341,1342,1175,214,1343,1344,1345,1346,1175,1184,214,1347,1348,1325,1349,1350,1351,1175,214,1352,1325,1353,1354,1355,1175,214,1356,1329,1330,1357,1358,1359,1175,214,1360,1361,1362,1363,1364,1355,1175,1184,214,1365,1366,1367,1368,1369,1370,1371,1175,214,1372,1367,1373,1175,214,1374,1367,1375,1175,214,1376,1367,1377,1378,1175,214,1379,1367,1380,1175,214,1381,1325,1382,1383,1384,1175,214,1385,1367,1386,1387,1175,1184,214,1388,1389,214,1390,1391,1175,214,1392,1393,1201,1202,1175,214,1394,1367,1395,1396,1207,1397,1175,214,1398,1367,1399,1396,1207,1400,1175,214,1401,1367,1402,1396,1207,1403,1175,214,1404,1393,1405,1406,1407,1175,214,1408,1367,1409,1396,1207,1410,1175,1184,214,1411,1412,1413,1325,1414,1415,1416,1175,214,1417,1418,1325,1419,1420,1421,1175,214,1422,1418,1329,1330,1423,1424,1425,1175,214,1426,1413,1427,1325,1428,1429,1175,214,1430,1431,1325,1414,1432,1433,1175,214,1434,1435,1436,1437,1175,214,1438,1435,1439,1440,1441,1442,1443,1175,214,1444,1445,1325,1446,1447,214,1448,1449,1450,1451,1452,1453,1454,1175,214,1455,1456,1457,1458,214,1459,1460,1449,1461,1462,1454,214,1463,1464,1465,1466,1467,1454,1175,1184,214,1468,1469,1418,1325,1414,1470,1471,1175,214,1472,1418,1325,1414,1473,1474,1470,1475,1175,214,1476,1418,1329,1330,1477,1478,1475,1175,214,1479,1418,1480,1481,1475,1175,214,1482,1483,1325,1484,1485,1486,1175,1184,214,1487,1488,1489,1325,1490,1491,1492,1175,214,1493,1494,1495,1325,1496,1497,1175,214,1498,1499,1325,1500,1501,1502,1175,214,1503,1504,1505,1175,214,1506,1507,1508,1325,1509,1510,214,1511,1512,1513,1514,1175,1184,214,1515,1516,1517,1418,214,1518,1367,1519,214,1520,1521,1522,214,1523,1524,1525,1175,214,1526,1527,1367,1528,214,1529,1418,1519,214,1530,1531,1471,214,1532,1386,1533,1175,214,1534,1418,1325,214,1535,1536,1537,1538,214,1539,1540,1541,1454,1175,1184,214,1542,1543,1544,1545,1546,1454,1547,1548,1175,214,1549,1550,1325,1544,1551,1552,1454,1547,1553,1175,1184,1161],[2469],{"_1143":609,"_1144":1556,"_462":2470,"_1147":57},[1558,1559,214,1560,1561,1562,1563,1564,1565,1563,1566,1567,1568,1569,1570,1571,1572,1573,1574,1575,214,1560,1576,1577,1563,1578,1579,1563,1566,1567,1580,1581,1570,1571,1582,1583,1575,214,1560,1584,1563,1585,1586,1587,1588,1589,1563,1590,1578,1591,1592,1563,1566,1567,1580,1593,1594,1563,1595,1596,1570,1571,1597,1598,1599,1600,1601,1602,1603,1604,1605,214,1606,1607,1608,1605,214,1609,1610,1611,1612,1605,214,1613,1614,1615,1605,214,1616,1575,214,1560,1617,1563,1618,1619,1620,1563,1621,1622,1623,1563,1566,1567,1624,1625,1626,1627,1628,1563,1629,1625,1630,1627,1631,1570,1571,1632,1633,214,1634,1635,1636,1637,1638,1639,1605,214,1640,1575,214,1560,1641,1563,1642,1643,1644,1645,1563,1564,1578,1591,1646,1563,1566,1567,1568,1580,1647,1570,1571,1648,1649,1650,1651,1605,214,1652,1653,1651,1605,214,1654,1655,1651,1605,214,1656,1575],[2472],{"_1143":609,"_1144":1659,"_462":2473,"_1147":57},[1560,1661,1662,1563,1663,1664,1563,1665,1571,214,1560,1666,1571,1667,1668,1669,1670,1671,1672,1673,1674,1675,1575,214,1560,1676,1571,1677,1678,1679,1680,1681,1682,1683,1684,1685,1686,1687,1575,214,1688,1689,1690,214,1560,1691,1571,1692,1693,1694,1575,214,1560,1695,1563,1696,1697,1563,1698,1699,1563,1566,1700,1701,1563,1702,1703,1571,1704,1705,1706,1707,1708,1709,1710,1605,214,1711,1712,1713,1714,1575,214,1560,1715,1563,1716,1717,1718,1563,1719,1720,1563,1566,1701,1721,1571,1722,1723,1724,1725,1726,1575,214,1560,1727,1563,1728,1729,1563,1730,1731,1563,1566,1732,1733,1734,1571,1735,1736,1737,214,1738,1739,1740,1741,1742,1687,1575,214,1560,1743,1563,1744,1745,1746,1747,1563,1748,1749,1563,1566,1732,1750,1751,1752,1753,1571,1754,1755,1756,1757,1758,1687,214,1759,1760,1761,1762,1763,1764,1765,1766,1767,1768,1709,1769,1770,1771,1772,1773,1774,1605,214,1775,1760,1776,1777,1778,1764,1765,1779,1767,1768,1709,1769,1770,1771,1780,1773,1774,1605,214,1781,1782,1783,1770,1771,1784,1773,1774,1605,214,1738,1785,1786,1687,1575,214,1560,1787,1563,1788,1789,1790,1563,1791,1792,1563,1793,1719,1794,1563,1795,1563,1566,1796,1797,1701,1798,1799,1800,1801,1571,1802,1803,1804,1805,1605,214,1806,1807,1808,214,1809,1810,1811,1812,1813,1814,1815,1816,1817,1818,214,1819,1820,1821,1822,1823,1687,214,1824,1825,1826,1827,1828,1605,214,1829,1575,214,1560,1830,1563,1831,1832,1833,1563,1834,1835,1836,1837,1563,1566,1838,1701,1839,1840,1841,1571,1842,1843,1844,1845,1846,1760,1847,1848,1769,1651,1605,1575,214,1560,1849,1563,1850,1851,1563,1852,1719,1853,1563,1854,1563,1566,1855,1856,1563,1857,1701,1858,1571,1859,1860,1861,1862,1575],[2475,2476,2477,2478,2479,2480,2481,2482,2483],{"_1093":45,"_45":1885},{"_1093":1874,"_169":526,"_1143":1883,"_1144":1884},{"_1093":45,"_45":1882},{"_1093":1874,"_169":523,"_1143":1881,"_1144":1556},{"_1093":45,"_45":1880},{"_1093":1874,"_169":520,"_1143":1878,"_1144":1879},{"_1093":45,"_45":1877},{"_1093":1874,"_169":516,"_1143":1875,"_1144":1876},{"_1093":45,"_45":1873},[3002,3003,3004],[],{"_1098":1099,"_45":1100,"_1101":1102},{"_1072":2993},{"_330":2992},{"_330":2528},{"_296":297,"_288":298,"_299":300,"_301":15,"_302":15,"_303":15,"_304":305,"_306":-5,"_307":308,"_309":126,"_310":311,"_312":128,"_313":-5,"_314":-5,"_315":-5,"_316":2527,"_318":319,"_320":321,"_322":323,"_324":325},{"_41":122,"_208":209,"_210":211,"_212":15,"_213":214,"_215":216,"_217":2516,"_219":-5,"_220":-5,"_221":2517,"_223":214,"_224":214,"_225":2518,"_227":2519,"_229":2520,"_231":-5,"_232":233,"_234":235,"_236":237,"_238":2521,"_53":-5,"_118":240,"_241":2522,"_243":2523,"_245":246,"_247":15},{"_132":2509},[2494,2495,2496,2497,2498,2499,2500,2501,2502,2503,2504,2505,2506,2507,2508],{"_156":187,"_158":183,"_160":184,"_162":163,"_164":186,"_166":167,"_168":31,"_169":-5},{"_156":182,"_158":183,"_160":184,"_162":185,"_164":186,"_166":167,"_168":31,"_169":-5},{"_156":181,"_158":159,"_160":161,"_162":163,"_164":165,"_166":167,"_168":31,"_169":-5},{"_156":180,"_158":159,"_160":161,"_162":163,"_164":165,"_166":167,"_168":31,"_169":-5},{"_156":179,"_158":159,"_160":161,"_162":163,"_164":165,"_166":167,"_168":31,"_169":-5},{"_156":178,"_158":159,"_160":161,"_162":163,"_164":165,"_166":167,"_168":31,"_169":-5},{"_156":177,"_158":159,"_160":161,"_162":163,"_164":165,"_166":167,"_168":31,"_169":-5},{"_156":176,"_158":159,"_160":161,"_162":163,"_164":165,"_166":167,"_168":31,"_169":-5},{"_156":175,"_158":159,"_160":161,"_162":163,"_164":165,"_166":167,"_168":31,"_169":-5},{"_156":174,"_158":159,"_160":161,"_162":163,"_164":165,"_166":167,"_168":31,"_169":-5},{"_156":173,"_158":159,"_160":161,"_162":163,"_164":165,"_166":167,"_168":31,"_169":-5},{"_156":172,"_158":159,"_160":161,"_162":163,"_164":165,"_166":167,"_168":31,"_169":-5},{"_156":171,"_158":159,"_160":161,"_162":163,"_164":165,"_166":167,"_168":31,"_169":-5},{"_156":170,"_158":159,"_160":161,"_162":163,"_164":165,"_166":167,"_168":31,"_169":-5},{"_156":157,"_158":159,"_160":161,"_162":163,"_164":165,"_166":167,"_168":31,"_169":-5},[2510,2511,2512],{"_192":2515,"_194":205},{"_192":2514,"_194":201},{"_192":2513,"_194":195},{"_196":197,"_91":198,"_118":199},{"_196":202,"_91":198,"_118":203},{"_196":206,"_91":198,"_118":207},{"_290":291,"_292":-5,"_293":-5,"_294":-5,"_295":-5},[251],{"_251":2524},{},{},[],{"_250":57},{"_248":57,"_249":214},{"_41":253,"_196":211,"_254":2525,"_256":257,"_258":259,"_260":261,"_262":263,"_264":265,"_266":267,"_268":62,"_269":15,"_270":57,"_271":57,"_272":57,"_273":57,"_274":57,"_275":-5,"_168":276,"_277":-5,"_53":2526},{"_282":283,"_41":284,"_91":285,"_286":287,"_288":289},{"_279":57,"_280":57,"_281":57},{"_282":326,"_196":326,"_327":-5,"_286":328,"_41":329},[2529,2530,2531,2532,2533,2534,2535,2536,2537,2538,2539,2540,2541,2542,2543,2544,2545,2546,2547,2548,2549,2550,2551,2552,2553,2554,2555,2556,2557,2558,2559,2560,2561,2562,2563,2564,2565,2566,2567,2568,2569,2570,2571,2572,2573,2574,2575,2576,2577,2578,2579,2580,2581,2582,2583,2584,2585,2586,2587,2588,2589,2590,2591,2592,2593,2594,2595,2596,2597,2598,2599,2600,2601,2602,2603,2604,2605,2606,2607,2608,2609,2610,2611,2612,2613,2614,2615,2616,2617,2618,2619,2620,2621,2622,2623,2624,2625,2626,2627,2628,2629,2630,2631,2632,2633,2634,2635,2636,2637,2638,2639],{"_162":1050,"_444":2988},{"_162":457,"_444":2984},{"_162":457,"_444":2979},{"_162":453,"_444":2976},{"_162":1026,"_444":2973},{"_162":457,"_444":2969},{"_162":471,"_444":2964},{"_162":471,"_444":2960},{"_162":457,"_444":2957},{"_162":457,"_444":2955},{"_162":471,"_444":2951},{"_162":457,"_444":2949},{"_162":471,"_444":2945},{"_162":457,"_444":2942},{"_162":457,"_444":2940},{"_162":471,"_444":2936},{"_162":457,"_444":2934},{"_162":471,"_444":2930},{"_162":457,"_444":2927},{"_162":457,"_444":2925},{"_162":471,"_444":2921},{"_162":457,"_444":2919},{"_162":471,"_444":2915},{"_162":457,"_444":2912},{"_162":457,"_444":2910},{"_162":471,"_444":2904},{"_162":457,"_444":2902},{"_162":471,"_444":2898},{"_162":457,"_444":2895},{"_162":457,"_444":2893},{"_162":471,"_444":2889},{"_162":457,"_444":2887},{"_162":471,"_444":2883},{"_162":457,"_444":2880},{"_162":457,"_444":2878},{"_162":471,"_444":2874},{"_162":457,"_444":2872},{"_162":471,"_444":2868},{"_162":457,"_444":2865},{"_162":457,"_444":2863},{"_162":471,"_444":2859},{"_162":457,"_444":2857},{"_162":471,"_444":2853},{"_162":457,"_444":2850},{"_162":457,"_444":2848},{"_162":471,"_444":2844},{"_162":457,"_444":2842},{"_162":471,"_444":2838},{"_162":457,"_444":2835},{"_162":457,"_444":2833},{"_162":471,"_444":2828},{"_162":457,"_444":2826},{"_162":457,"_444":2824},{"_162":471,"_444":2819},{"_162":457,"_444":2817},{"_162":471,"_444":2813},{"_162":457,"_444":2810},{"_162":457,"_444":2808},{"_162":471,"_444":2803},{"_162":457,"_444":2801},{"_162":471,"_444":2797},{"_162":457,"_444":2794},{"_162":457,"_444":2792},{"_162":471,"_444":2787},{"_162":457,"_444":2785},{"_162":471,"_444":2781},{"_162":457,"_444":2778},{"_162":457,"_444":2776},{"_162":471,"_444":2771},{"_162":457,"_444":2769},{"_162":471,"_444":2765},{"_162":457,"_444":2762},{"_162":457,"_444":2760},{"_162":471,"_444":2756},{"_162":457,"_444":2754},{"_162":471,"_444":2750},{"_162":457,"_444":2747},{"_162":457,"_444":2745},{"_162":471,"_444":2741},{"_162":457,"_444":2739},{"_162":471,"_444":2735},{"_162":457,"_444":2732},{"_162":457,"_444":2730},{"_162":471,"_444":2726},{"_162":457,"_444":2724},{"_162":471,"_444":2720},{"_162":457,"_444":2717},{"_162":457,"_444":2715},{"_162":471,"_444":2711},{"_162":457,"_444":2709},{"_162":471,"_444":2705},{"_162":457,"_444":2702},{"_162":457,"_444":2700},{"_162":471,"_444":2696},{"_162":457,"_444":2694},{"_162":471,"_444":2690},{"_162":457,"_444":2687},{"_162":457,"_444":2685},{"_162":471,"_444":2678},{"_162":457,"_444":2676},{"_162":471,"_444":2672},{"_162":457,"_444":2669},{"_162":457,"_444":2667},{"_162":471,"_444":2660},{"_162":457,"_444":2658},{"_162":471,"_444":2654},{"_162":457,"_444":2651},{"_162":471,"_444":2649},{"_162":457,"_444":2645},{"_162":453,"_444":2643},{"_162":443,"_444":2640},{"_446":447,"_86":2641},{"_102":-5,"_41":449,"_450":2642,"_452":112},[],{"_452":2644,"_446":447},{"_91":456},{"_459":2646,"_446":447,"_461":449},{"_462":2647,"_464":-5,"_41":-5,"_465":466,"_95":92,"_91":467},[2648],{"_45":469,"_91":470},{"_459":2650,"_446":447,"_461":449},{"_41":474,"_465":466,"_45":469,"_91":475},{"_459":2652,"_446":447,"_461":449},{"_462":-5,"_478":479,"_41":-5,"_480":2653,"_91":482},[],{"_459":2655,"_446":447,"_461":449},{"_462":2656,"_41":486,"_480":2657,"_91":482},[],[],{"_459":2659,"_446":447,"_461":449},{"_490":491,"_492":493,"_91":494},{"_459":2661,"_446":447,"_461":449},{"_497":498,"_499":500,"_501":2662,"_503":504,"_505":31,"_506":31,"_41":491,"_507":508,"_452":112,"_91":509},[2663,2664,2665,2666],{"_499":524,"_196":525,"_169":526,"_91":517},{"_499":521,"_196":522,"_169":523,"_91":517},{"_499":518,"_196":519,"_169":520,"_91":517},{"_499":514,"_196":515,"_169":516,"_91":517},{"_459":2668,"_446":447,"_461":449},{"_529":530,"_490":491,"_41":-5,"_196":531,"_91":532},{"_459":2670,"_446":447,"_461":449},{"_462":-5,"_478":535,"_41":-5,"_480":2671,"_91":482},[],{"_459":2673,"_446":447,"_461":449},{"_462":2674,"_41":540,"_480":2675,"_91":482},[],[],{"_459":2677,"_446":447,"_461":449},{"_490":544,"_492":545,"_91":494},{"_459":2679,"_446":447,"_461":449},{"_529":2680,"_505":549,"_102":-5,"_41":544,"_550":2681,"_552":553,"_452":112,"_554":553,"_91":555},{"_304":559,"_306":560},{"_462":2682,"_557":2683},[2684],{"_304":559,"_306":560},{"_91":45,"_45":562},{"_459":2686,"_446":447,"_461":449},{"_529":545,"_490":544,"_41":-5,"_196":565,"_91":532},{"_459":2688,"_446":447,"_461":449},{"_462":-5,"_478":568,"_41":-5,"_480":2689,"_91":482},[],{"_459":2691,"_446":447,"_461":449},{"_462":2692,"_41":573,"_480":2693,"_91":482},[],[],{"_459":2695,"_446":447,"_461":449},{"_490":577,"_492":578,"_91":494},{"_459":2697,"_446":447,"_461":449},{"_497":581,"_499":582,"_501":2698,"_503":504,"_505":31,"_506":31,"_41":577,"_507":584,"_452":112,"_91":509},[2699],{"_499":586,"_91":587},{"_459":2701,"_446":447,"_461":449},{"_529":590,"_490":577,"_41":-5,"_196":531,"_91":532},{"_459":2703,"_446":447,"_461":449},{"_462":-5,"_478":593,"_41":-5,"_480":2704,"_91":482},[],{"_459":2706,"_446":447,"_461":449},{"_462":2707,"_41":598,"_480":2708,"_91":482},[],[],{"_459":2710,"_446":447,"_461":449},{"_490":602,"_492":603,"_91":494},{"_459":2712,"_446":447,"_461":449},{"_497":606,"_499":607,"_501":2713,"_503":504,"_505":609,"_506":31,"_41":602,"_507":610,"_452":112,"_91":509},[2714],{"_499":612,"_91":587},{"_459":2716,"_446":447,"_461":449},{"_529":615,"_490":602,"_41":-5,"_196":531,"_91":532},{"_459":2718,"_446":447,"_461":449},{"_462":-5,"_478":618,"_41":-5,"_480":2719,"_91":482},[],{"_459":2721,"_446":447,"_461":449},{"_462":2722,"_41":623,"_480":2723,"_91":482},[],[],{"_459":2725,"_446":447,"_461":449},{"_490":627,"_492":628,"_91":494},{"_459":2727,"_446":447,"_461":449},{"_497":631,"_499":632,"_501":2728,"_503":504,"_505":31,"_506":31,"_41":627,"_507":634,"_452":112,"_91":509},[2729],{"_499":636,"_91":587},{"_459":2731,"_446":447,"_461":449},{"_529":639,"_490":627,"_41":-5,"_196":531,"_91":532},{"_459":2733,"_446":447,"_461":449},{"_462":-5,"_478":642,"_41":-5,"_480":2734,"_91":482},[],{"_459":2736,"_446":447,"_461":449},{"_462":2737,"_41":647,"_480":2738,"_91":482},[],[],{"_459":2740,"_446":447,"_461":449},{"_490":651,"_492":652,"_91":494},{"_459":2742,"_446":447,"_461":449},{"_497":655,"_499":656,"_501":2743,"_503":504,"_505":658,"_506":31,"_41":651,"_507":659,"_452":112,"_91":509},[2744],{"_499":661,"_91":587},{"_459":2746,"_446":447,"_461":449},{"_529":664,"_490":651,"_41":-5,"_196":531,"_91":532},{"_459":2748,"_446":447,"_461":449},{"_462":-5,"_478":667,"_41":-5,"_480":2749,"_91":482},[],{"_459":2751,"_446":447,"_461":449},{"_462":2752,"_41":672,"_480":2753,"_91":482},[],[],{"_459":2755,"_446":447,"_461":449},{"_490":676,"_492":677,"_91":494},{"_459":2757,"_446":447,"_461":449},{"_497":680,"_499":681,"_501":2758,"_503":504,"_505":683,"_506":609,"_41":676,"_507":684,"_452":685,"_91":509},[2759],{"_499":687,"_91":587},{"_459":2761,"_446":447,"_461":449},{"_529":690,"_490":676,"_41":-5,"_196":531,"_91":532},{"_459":2763,"_446":447,"_461":449},{"_462":-5,"_478":693,"_41":-5,"_480":2764,"_91":482},[],{"_459":2766,"_446":447,"_461":449},{"_462":2767,"_41":698,"_480":2768,"_91":482},[],[],{"_459":2770,"_446":447,"_461":449},{"_490":702,"_492":703,"_91":704},{"_459":2772,"_446":447,"_461":449},{"_707":2773,"_41":702,"_452":112,"_91":709},[2774],{"_315":711,"_9":2775,"_169":713},{"_714":-5,"_91":715},{"_459":2777,"_446":447,"_461":449},{"_490":702,"_41":-5,"_718":719,"_196":720,"_452":112,"_91":721},{"_459":2779,"_446":447,"_461":449},{"_462":-5,"_478":724,"_41":-5,"_480":2780,"_91":482},[],{"_459":2782,"_446":447,"_461":449},{"_462":2783,"_41":729,"_480":2784,"_91":482},[],[],{"_459":2786,"_446":447,"_461":449},{"_490":733,"_492":703,"_91":704},{"_459":2788,"_446":447,"_461":449},{"_707":2789,"_41":733,"_452":112,"_91":709},[2790],{"_315":738,"_9":2791,"_169":713},{"_714":-5,"_91":715},{"_459":2793,"_446":447,"_461":449},{"_490":733,"_41":-5,"_718":742,"_196":720,"_452":112,"_91":721},{"_459":2795,"_446":447,"_461":449},{"_462":-5,"_478":745,"_41":-5,"_480":2796,"_91":482},[],{"_459":2798,"_446":447,"_461":449},{"_462":2799,"_41":750,"_480":2800,"_91":482},[],[],{"_459":2802,"_446":447,"_461":449},{"_490":754,"_492":755,"_91":704},{"_459":2804,"_446":447,"_461":449},{"_707":2805,"_41":754,"_452":112,"_91":709},[2806],{"_315":760,"_9":2807,"_169":762},{"_714":-5,"_91":715},{"_459":2809,"_446":447,"_461":449},{"_490":754,"_41":-5,"_718":765,"_196":720,"_452":112,"_91":721},{"_459":2811,"_446":447,"_461":449},{"_462":-5,"_478":768,"_41":-5,"_480":2812,"_91":482},[],{"_459":2814,"_446":447,"_461":449},{"_462":2815,"_41":773,"_480":2816,"_91":482},[],[],{"_459":2818,"_446":447,"_461":449},{"_490":777,"_492":778,"_91":704},{"_459":2820,"_446":447,"_461":449},{"_707":2821,"_41":777,"_452":112,"_91":709},[2822],{"_315":783,"_9":2823,"_169":785},{"_714":-5,"_91":715},{"_459":2825,"_446":447,"_461":449},{"_490":777,"_41":-5,"_718":788,"_196":720,"_452":112,"_91":721},{"_459":2827,"_446":447,"_461":449},{"_490":791,"_492":792,"_91":704},{"_459":2829,"_446":447,"_461":449},{"_707":2830,"_41":791,"_452":112,"_91":709},[2831],{"_315":797,"_9":2832,"_169":799},{"_714":-5,"_91":715},{"_459":2834,"_446":447,"_461":449},{"_490":791,"_41":-5,"_718":802,"_196":720,"_452":112,"_91":721},{"_459":2836,"_446":447,"_461":449},{"_462":-5,"_478":805,"_41":-5,"_480":2837,"_91":482},[],{"_459":2839,"_446":447,"_461":449},{"_462":2840,"_41":810,"_480":2841,"_91":482},[],[],{"_459":2843,"_446":447,"_461":449},{"_490":814,"_492":815,"_91":494},{"_459":2845,"_446":447,"_461":449},{"_497":818,"_499":819,"_501":2846,"_503":504,"_505":31,"_506":31,"_41":814,"_507":821,"_452":112,"_91":509},[2847],{"_499":823,"_196":519,"_169":520,"_91":517},{"_459":2849,"_446":447,"_461":449},{"_529":826,"_490":814,"_41":-5,"_196":531,"_91":532},{"_459":2851,"_446":447,"_461":449},{"_462":-5,"_478":829,"_41":-5,"_480":2852,"_91":482},[],{"_459":2854,"_446":447,"_461":449},{"_462":2855,"_41":834,"_480":2856,"_91":482},[],[],{"_459":2858,"_446":447,"_461":449},{"_490":838,"_492":839,"_91":494},{"_459":2860,"_446":447,"_461":449},{"_497":842,"_499":843,"_501":2861,"_503":504,"_505":31,"_506":31,"_41":838,"_507":845,"_452":112,"_91":509},[2862],{"_499":847,"_196":519,"_169":520,"_91":517},{"_459":2864,"_446":447,"_461":449},{"_529":850,"_490":838,"_41":-5,"_196":531,"_91":532},{"_459":2866,"_446":447,"_461":449},{"_462":-5,"_478":853,"_41":-5,"_480":2867,"_91":482},[],{"_459":2869,"_446":447,"_461":449},{"_462":2870,"_41":858,"_480":2871,"_91":482},[],[],{"_459":2873,"_446":447,"_461":449},{"_490":862,"_492":863,"_91":494},{"_459":2875,"_446":447,"_461":449},{"_497":866,"_499":867,"_501":2876,"_503":504,"_505":31,"_506":31,"_41":862,"_507":869,"_452":112,"_91":509},[2877],{"_499":871,"_169":-5,"_91":872},{"_459":2879,"_446":447,"_461":449},{"_529":875,"_490":862,"_41":-5,"_196":531,"_91":532},{"_459":2881,"_446":447,"_461":449},{"_462":-5,"_478":878,"_41":-5,"_480":2882,"_91":482},[],{"_459":2884,"_446":447,"_461":449},{"_462":2885,"_41":883,"_480":2886,"_91":482},[],[],{"_459":2888,"_446":447,"_461":449},{"_490":887,"_492":888,"_91":494},{"_459":2890,"_446":447,"_461":449},{"_497":891,"_499":892,"_501":2891,"_503":504,"_505":31,"_506":31,"_41":887,"_507":894,"_452":112,"_91":509},[2892],{"_499":896,"_196":522,"_169":523,"_91":517},{"_459":2894,"_446":447,"_461":449},{"_529":899,"_490":887,"_41":-5,"_196":531,"_91":532},{"_459":2896,"_446":447,"_461":449},{"_462":-5,"_478":902,"_41":-5,"_480":2897,"_91":482},[],{"_459":2899,"_446":447,"_461":449},{"_462":2900,"_41":907,"_480":2901,"_91":482},[],[],{"_459":2903,"_446":447,"_461":449},{"_490":911,"_492":912,"_91":494},{"_459":2905,"_446":447,"_461":449},{"_497":915,"_499":916,"_501":2906,"_503":504,"_505":31,"_506":31,"_41":911,"_507":918,"_452":112,"_91":509},[2907,2908,2909],{"_499":924,"_196":525,"_169":526,"_91":517},{"_499":923,"_196":522,"_169":523,"_91":517},{"_499":922,"_196":515,"_169":516,"_91":517},{"_459":2911,"_446":447,"_461":449},{"_529":927,"_490":911,"_41":-5,"_196":531,"_91":532},{"_459":2913,"_446":447,"_461":449},{"_462":-5,"_478":930,"_41":-5,"_480":2914,"_91":482},[],{"_459":2916,"_446":447,"_461":449},{"_462":2917,"_41":935,"_480":2918,"_91":482},[],[],{"_459":2920,"_446":447,"_461":449},{"_490":939,"_492":940,"_91":494},{"_459":2922,"_446":447,"_461":449},{"_497":-5,"_499":943,"_501":2923,"_503":504,"_505":31,"_506":609,"_41":939,"_507":945,"_452":685,"_91":509},[2924],{"_499":947,"_169":948,"_949":950,"_91":951},{"_459":2926,"_446":447,"_461":449},{"_529":954,"_490":939,"_41":-5,"_196":531,"_91":532},{"_459":2928,"_446":447,"_461":449},{"_462":-5,"_478":957,"_41":-5,"_480":2929,"_91":482},[],{"_459":2931,"_446":447,"_461":449},{"_462":2932,"_41":962,"_480":2933,"_91":482},[],[],{"_459":2935,"_446":447,"_461":449},{"_490":966,"_492":967,"_91":494},{"_459":2937,"_446":447,"_461":449},{"_497":970,"_499":971,"_501":2938,"_503":504,"_505":31,"_506":31,"_41":966,"_507":973,"_452":112,"_91":509},[2939],{"_499":975,"_91":587},{"_459":2941,"_446":447,"_461":449},{"_529":978,"_490":966,"_41":-5,"_196":531,"_91":532},{"_459":2943,"_446":447,"_461":449},{"_462":-5,"_478":981,"_41":-5,"_480":2944,"_91":482},[],{"_459":2946,"_446":447,"_461":449},{"_462":2947,"_41":986,"_480":2948,"_91":482},[],[],{"_459":2950,"_446":447,"_461":449},{"_490":990,"_492":991,"_91":494},{"_459":2952,"_446":447,"_461":449},{"_497":994,"_499":995,"_501":2953,"_503":504,"_505":31,"_506":31,"_41":990,"_507":997,"_452":112,"_91":509},[2954],{"_499":999,"_91":587},{"_459":2956,"_446":447,"_461":449},{"_529":1002,"_490":990,"_41":-5,"_196":531,"_91":532},{"_459":2958,"_446":447,"_461":449},{"_462":-5,"_478":1005,"_41":-5,"_480":2959,"_91":482},[],{"_459":2961,"_446":447,"_461":449},{"_462":2962,"_41":1010,"_480":2963,"_91":482},[],[],{"_459":2965,"_446":447,"_461":449},{"_462":2966,"_41":1015,"_91":1016},[2967],{"_45":1018,"_1019":2968,"_91":45},[],{"_459":2970,"_446":447,"_461":449},{"_462":2971,"_464":-5,"_41":-5,"_465":-5,"_95":316,"_91":467},[2972],{"_45":1018,"_91":1025},{"_446":447,"_86":2974},{"_102":-5,"_41":449,"_450":2975,"_452":1030},[],{"_452":2977,"_446":447},{"_1033":2978,"_91":1035},[],{"_459":2980,"_446":447,"_461":1038},{"_462":2981,"_464":-5,"_41":-5,"_465":-5,"_95":316,"_91":467},[2982,2983],{"_45":1043,"_91":1025},{"_45":1042,"_91":1025},{"_459":2985,"_446":447,"_461":1038},{"_462":2986,"_464":-5,"_41":-5,"_465":-5,"_95":1047,"_91":467},[2987],{"_45":1049,"_91":1025},{"_1052":2989},{"_1054":-5,"_1055":-5,"_1056":1057,"_1058":1059,"_503":504,"_1060":15,"_1061":-5,"_41":447,"_1062":1063,"_196":-5,"_169":1064,"_1065":214,"_1066":1067,"_452":2990,"_76":2991,"_1070":1059},{"_91":456},[],[],[2994],{"_41":1075,"_1076":2995,"_1078":1079,"_1080":1079,"_462":2996,"_452":1082,"_464":-5,"_1083":31,"_1084":2997,"_1086":1087,"_1088":-5},{"_95":316,"_196":-5,"_1084":3001},{"_1093":45,"_1094":3000},{"_1089":2998},{"_1091":2999},[],[1096],{},{"_91":467,"_95":92,"_462":3025},{"_91":1131,"_1132":3008},{"_91":1106,"_1107":1108,"_1109":1110,"_1111":3005,"_1113":-5},{"_91":1111,"_1114":504,"_127":128,"_1115":-5,"_315":1116,"_1117":3006,"_1119":1120,"_1121":1122,"_1123":319,"_1124":1125,"_1126":3007},{"_1128":1129,"_1130":-5},[],[3009,3010,3011,3012],{"_169":526,"_1138":-5,"_1139":3022,"_1141":-5},{"_169":523,"_1138":-5,"_1139":3019,"_1141":-5},{"_169":520,"_1138":-5,"_1139":3016,"_1141":-5},{"_169":516,"_1138":-5,"_1139":3013,"_1141":-5},[3014],{"_1143":609,"_1144":1145,"_462":3015,"_1147":57},[1148,1149,1150,1151,1152,1153,1154,1155,1156,214,1157,1158,1159,1160,1161,214,1162,1163,1164,1165,1166,1167,1168,1169,1161,214,1170,1171,1172,1173,1174,1175,214,1176,1177,1178,1179,1180,1175,214,1181,1182,1183,1175,1184,214,1185,1186,1187,1188,1175,214,1189,1190,1191,1175,214,1192,1193,1194,1175,214,1195,1196,1197,1175,1184,214,1198,1199,1187,1200,214,1201,1202,1175,214,1203,1187,1204,214,1201,1175,214,1205,1187,1206,214,1207,1208,1175,214,1209,1187,1210,214,1207,1211,1175,214,1212,1187,214,1213,1214,1215,214,1216,1217,1218,1175,214,1219,1187,214,1220,1221,214,1222,1223,1175,214,1224,1225,1226,214,1201,1175,1184,214,1227,1228,1229,1230,214,1231,214,1232,1233,1175,214,1234,1235,1236,214,1231,1237,1175,214,1238,1239,1240,214,1231,1241,1175,214,1242,1243,1230,214,1231,1244,1175,214,1245,1246,1230,214,1231,1244,1175,214,1247,1229,1248,214,1231,1249,1175,214,1250,1251,1252,214,1231,1253,1175,1184,214,1254,1255,1173,1187,1256,214,1257,1258,1175,214,1259,1260,1187,1256,214,1257,1261,1175,214,1262,1173,1187,1263,214,1257,1258,1175,214,1264,1173,1187,1265,214,1257,1258,1175,214,1266,1173,1196,1256,214,1257,1261,1175,214,1267,1173,1225,1268,214,1257,1258,1175,214,1269,1173,1187,214,1270,1271,1175,1184,214,1272,1273,1173,1187,1256,214,1274,1174,214,1275,1276,214,1277,1278,1279,214,1280,1281,1282,214,1283,1284,1285,1233,214,1286,1287,1175,214,1288,1173,1187,1256,214,1289,1230,1290,1282,214,1291,1292,1231,1244,214,1293,1294,1175,214,1295,1187,1296,214,1297,1298,1299,214,1300,1301,1302,1303,214,1304,1305,1306,1307,1175,1184,1161],[3017],{"_1143":609,"_1144":1310,"_462":3018,"_1147":57},[1312,1149,1313,1314,1315,1316,1317,1318,1319,1320,1321,214,1322,1323,1324,1325,1326,1327,1175,214,1328,1329,1330,1331,1175,214,1332,1333,1334,1335,1175,214,1336,1337,1338,1339,1175,214,1340,1341,1342,1175,214,1343,1344,1345,1346,1175,1184,214,1347,1348,1325,1349,1350,1351,1175,214,1352,1325,1353,1354,1355,1175,214,1356,1329,1330,1357,1358,1359,1175,214,1360,1361,1362,1363,1364,1355,1175,1184,214,1365,1366,1367,1368,1369,1370,1371,1175,214,1372,1367,1373,1175,214,1374,1367,1375,1175,214,1376,1367,1377,1378,1175,214,1379,1367,1380,1175,214,1381,1325,1382,1383,1384,1175,214,1385,1367,1386,1387,1175,1184,214,1388,1389,214,1390,1391,1175,214,1392,1393,1201,1202,1175,214,1394,1367,1395,1396,1207,1397,1175,214,1398,1367,1399,1396,1207,1400,1175,214,1401,1367,1402,1396,1207,1403,1175,214,1404,1393,1405,1406,1407,1175,214,1408,1367,1409,1396,1207,1410,1175,1184,214,1411,1412,1413,1325,1414,1415,1416,1175,214,1417,1418,1325,1419,1420,1421,1175,214,1422,1418,1329,1330,1423,1424,1425,1175,214,1426,1413,1427,1325,1428,1429,1175,214,1430,1431,1325,1414,1432,1433,1175,214,1434,1435,1436,1437,1175,214,1438,1435,1439,1440,1441,1442,1443,1175,214,1444,1445,1325,1446,1447,214,1448,1449,1450,1451,1452,1453,1454,1175,214,1455,1456,1457,1458,214,1459,1460,1449,1461,1462,1454,214,1463,1464,1465,1466,1467,1454,1175,1184,214,1468,1469,1418,1325,1414,1470,1471,1175,214,1472,1418,1325,1414,1473,1474,1470,1475,1175,214,1476,1418,1329,1330,1477,1478,1475,1175,214,1479,1418,1480,1481,1475,1175,214,1482,1483,1325,1484,1485,1486,1175,1184,214,1487,1488,1489,1325,1490,1491,1492,1175,214,1493,1494,1495,1325,1496,1497,1175,214,1498,1499,1325,1500,1501,1502,1175,214,1503,1504,1505,1175,214,1506,1507,1508,1325,1509,1510,214,1511,1512,1513,1514,1175,1184,214,1515,1516,1517,1418,214,1518,1367,1519,214,1520,1521,1522,214,1523,1524,1525,1175,214,1526,1527,1367,1528,214,1529,1418,1519,214,1530,1531,1471,214,1532,1386,1533,1175,214,1534,1418,1325,214,1535,1536,1537,1538,214,1539,1540,1541,1454,1175,1184,214,1542,1543,1544,1545,1546,1454,1547,1548,1175,214,1549,1550,1325,1544,1551,1552,1454,1547,1553,1175,1184,1161],[3020],{"_1143":609,"_1144":1556,"_462":3021,"_1147":57},[1558,1559,214,1560,1561,1562,1563,1564,1565,1563,1566,1567,1568,1569,1570,1571,1572,1573,1574,1575,214,1560,1576,1577,1563,1578,1579,1563,1566,1567,1580,1581,1570,1571,1582,1583,1575,214,1560,1584,1563,1585,1586,1587,1588,1589,1563,1590,1578,1591,1592,1563,1566,1567,1580,1593,1594,1563,1595,1596,1570,1571,1597,1598,1599,1600,1601,1602,1603,1604,1605,214,1606,1607,1608,1605,214,1609,1610,1611,1612,1605,214,1613,1614,1615,1605,214,1616,1575,214,1560,1617,1563,1618,1619,1620,1563,1621,1622,1623,1563,1566,1567,1624,1625,1626,1627,1628,1563,1629,1625,1630,1627,1631,1570,1571,1632,1633,214,1634,1635,1636,1637,1638,1639,1605,214,1640,1575,214,1560,1641,1563,1642,1643,1644,1645,1563,1564,1578,1591,1646,1563,1566,1567,1568,1580,1647,1570,1571,1648,1649,1650,1651,1605,214,1652,1653,1651,1605,214,1654,1655,1651,1605,214,1656,1575],[3023],{"_1143":609,"_1144":1659,"_462":3024,"_1147":57},[1560,1661,1662,1563,1663,1664,1563,1665,1571,214,1560,1666,1571,1667,1668,1669,1670,1671,1672,1673,1674,1675,1575,214,1560,1676,1571,1677,1678,1679,1680,1681,1682,1683,1684,1685,1686,1687,1575,214,1688,1689,1690,214,1560,1691,1571,1692,1693,1694,1575,214,1560,1695,1563,1696,1697,1563,1698,1699,1563,1566,1700,1701,1563,1702,1703,1571,1704,1705,1706,1707,1708,1709,1710,1605,214,1711,1712,1713,1714,1575,214,1560,1715,1563,1716,1717,1718,1563,1719,1720,1563,1566,1701,1721,1571,1722,1723,1724,1725,1726,1575,214,1560,1727,1563,1728,1729,1563,1730,1731,1563,1566,1732,1733,1734,1571,1735,1736,1737,214,1738,1739,1740,1741,1742,1687,1575,214,1560,1743,1563,1744,1745,1746,1747,1563,1748,1749,1563,1566,1732,1750,1751,1752,1753,1571,1754,1755,1756,1757,1758,1687,214,1759,1760,1761,1762,1763,1764,1765,1766,1767,1768,1709,1769,1770,1771,1772,1773,1774,1605,214,1775,1760,1776,1777,1778,1764,1765,1779,1767,1768,1709,1769,1770,1771,1780,1773,1774,1605,214,1781,1782,1783,1770,1771,1784,1773,1774,1605,214,1738,1785,1786,1687,1575,214,1560,1787,1563,1788,1789,1790,1563,1791,1792,1563,1793,1719,1794,1563,1795,1563,1566,1796,1797,1701,1798,1799,1800,1801,1571,1802,1803,1804,1805,1605,214,1806,1807,1808,214,1809,1810,1811,1812,1813,1814,1815,1816,1817,1818,214,1819,1820,1821,1822,1823,1687,214,1824,1825,1826,1827,1828,1605,214,1829,1575,214,1560,1830,1563,1831,1832,1833,1563,1834,1835,1836,1837,1563,1566,1838,1701,1839,1840,1841,1571,1842,1843,1844,1845,1846,1760,1847,1848,1769,1651,1605,1575,214,1560,1849,1563,1850,1851,1563,1852,1719,1853,1563,1854,1563,1566,1855,1856,1563,1857,1701,1858,1571,1859,1860,1861,1862,1575],[3026,3027,3028,3029,3030,3031,3032,3033,3034],{"_1093":45,"_45":1885},{"_1093":1874,"_169":526,"_1143":1883,"_1144":1884},{"_1093":45,"_45":1882},{"_1093":1874,"_169":523,"_1143":1881,"_1144":1556},{"_1093":45,"_45":1880},{"_1093":1874,"_169":520,"_1143":1878,"_1144":1879},{"_1093":45,"_45":1877},{"_1093":1874,"_169":516,"_1143":1875,"_1144":1876},{"_1093":45,"_45":1873},[3037,3038,3039,3040,3041,3042],{"_1895":1896,"_256":257,"_1897":297,"_268":-5,"_1114":251,"_1898":-5,"_1899":1900,"_1901":1902,"_1903":-5,"_1904":-5,"_1905":1906,"_1907":15,"_1908":57,"_1909":52,"_1910":15},{"_91":467,"_95":316,"_462":3043},{"_304":305,"_306":214,"_1927":311,"_1928":128,"_313":-5,"_91":1929},{"_91":1917,"_306":1926,"_169":-5,"_1919":-5,"_1920":-5},{"_91":1917,"_306":1924,"_169":526,"_1919":1922,"_1920":1925},{"_91":1917,"_306":1921,"_169":523,"_1919":1922,"_1920":1923},{"_91":1917,"_306":1918,"_169":-5,"_1919":-5,"_1920":-5},[3044],{"_1093":45,"_45":1932},"task_e_69ed2ef788148328a10a54876f9b47b1",1777151735.531962,"Github Mention: Feat/m2 t3 hand evaluation logic","has_generated_title","has_unread_turn","denormalized_metadata",{"_3076":31,"_3077":3078,"_3079":-5,"_3080":-5,"_3070":3081,"_3082":-5,"_3083":-5,"_3084":-5,"_3085":-5},"task_status_display",{"_3064":3065,"_3066":211,"_129":126,"_3067":-5,"_3068":1106},"creator_workspace","external_pull_requests",[3057],{"_41":3058,"_3059":82,"_3060":3061,"_3062":128},"github-1138993480-116","assistant_turn_id","pull_request",{"_296":297,"_288":298,"_299":300,"_301":15,"_302":15,"_303":15,"_304":305,"_306":-5,"_307":308,"_309":126,"_310":311,"_312":128,"_313":-5,"_314":-5,"_315":-5,"_316":3063,"_318":319,"_320":321,"_322":323,"_324":325},"codex_updated_sha",{"_282":326,"_196":326,"_327":-5,"_286":328,"_41":329},"latest_turn_status_display",{"_3069":82,"_111":112,"_3070":3071,"_93":3072,"_3073":-5,"_3074":-5,"_3075":1106,"_113":-5},"environment_label","fix_task_id","initial_intent","turn_id","diff_stats",{"_1119":1120,"_1121":1122,"_1123":319},[],"image_asset_pointer_citations","issue_counts","intent","num_follow_ups","repo_name_map",{},"last_user_turn_created_at","last_turn_status",{"_1119":-5,"_1121":-5,"_1123":-5},"last_pushed_turn_id","start_branch_name","pushed_branch_name","cached_pull_request_data","dd",{"_3097":3098,"_3099":3100},"disablePrefetch","shouldPrefetchAccount","shouldPrefetchUser","shouldPrefetchSystemHints","promoteCss","disableSSR","stripModulepreloadImports","statsigGateEvaluationsPromise",["P",3096],"traceId","8017391099680990965","traceTime",1777242475820]