[{"data":1,"prerenderedAt":-1},["ShallowReactive",2],{"summary-f9e464ad82911844-mask-proof-automated-data-curation-for-mathematica-summary":3,"summaries-facets-categories":80,"summary-related-f9e464ad82911844-mask-proof-automated-data-curation-for-mathematica-summary":4809},{"id":4,"title":5,"ai":6,"body":13,"categories":46,"created_at":48,"date_modified":48,"description":40,"extension":49,"faq":48,"featured":50,"kicker_label":48,"meta":51,"navigation":63,"path":64,"published_at":65,"question":48,"scraped_at":65,"seo":66,"sitemap":67,"source_id":68,"source_name":69,"source_type":70,"source_url":56,"stem":71,"tags":72,"thumbnail_url":48,"tldr":77,"tweet":48,"unknown_tags":78,"__hash__":79},"summaries\u002Fsummaries\u002Ff9e464ad82911844-mask-proof-automated-data-curation-for-mathematica-summary.md","Mask-Proof: Automated Data Curation for Mathematical Proofs",{"provider":7,"model":8,"input_tokens":9,"output_tokens":10,"processing_time_ms":11,"cost_usd":12},"openrouter","google\u002Fgemini-3.1-flash-lite",4082,460,2839,0.0017105,{"type":14,"value":15,"toc":39},"minimark",[16,21,25,29,32,36],[17,18,20],"h2",{"id":19},"the-challenge-of-mathematical-data-curation","The Challenge of Mathematical Data Curation",[22,23,24],"p",{},"Mathematical reasoning remains a frontier for Large Language Models (LLMs), largely due to the difficulty of sourcing high-quality, verified proof data. Traditional datasets often suffer from noise, lack of formal structure, or insufficient verification, which hinders the model's ability to perform complex logical derivations. The Mask-Proof pipeline addresses this by providing a systematic, LLM-driven approach to curate and refine mathematical proofs at scale.",[17,26,28],{"id":27},"the-mask-proof-pipeline-architecture","The Mask-Proof Pipeline Architecture",[22,30,31],{},"Mask-Proof functions as an automated data curation framework that leverages the reasoning capabilities of LLMs to filter, verify, and structure mathematical content. By implementing a multi-stage pipeline, the system identifies potentially valid proofs, masks critical logical steps to test the model's internal reasoning, and validates the output against formal or semi-formal constraints. This process effectively converts raw, unstructured mathematical text into high-fidelity training data that is better suited for fine-tuning models in domain-specific reasoning tasks.",[17,33,35],{"id":34},"impact-on-model-reasoning","Impact on Model Reasoning",[22,37,38],{},"By automating the curation process, Mask-Proof reduces the reliance on manual data labeling, which is both expensive and prone to human error. The pipeline's ability to generate 'masked' versions of proofs forces models to reconstruct logical steps, serving as a form of self-supervised learning that improves the model's grasp of mathematical syntax and logical flow. This approach is particularly effective for scaling up datasets for training models that require rigorous adherence to mathematical axioms and deductive consistency.",{"title":40,"searchDepth":41,"depth":41,"links":42},"",2,[43,44,45],{"id":19,"depth":41,"text":20},{"id":27,"depth":41,"text":28},{"id":34,"depth":41,"text":35},[47],"AI & LLMs",null,"md",false,{"content_references":52,"triage":58},[53],{"type":54,"title":55,"url":56,"context":57},"paper","Mask-Proof: An LLM-based Automated Data Curation Pipeline on Mathematical Proofs","https:\u002F\u002Farxiv.org\u002Fabs\u002F2606.15258","cited",{"relevance":59,"novelty":60,"quality":59,"actionability":41,"composite":61,"reasoning":62},4,3,3.4,"Category: AI & LLMs. The article discusses an LLM-based pipeline for automating data curation in mathematical proofs, which directly relates to AI engineering and addresses the challenge of sourcing high-quality training data. However, while it presents a novel approach, it lacks specific actionable steps for implementation that the audience could directly apply.",true,"\u002Fsummaries\u002Ff9e464ad82911844-mask-proof-automated-data-curation-for-mathematica-summary","2026-06-16 12:56:57",{"title":5,"description":40},{"loc":64},"f9e464ad82911844","arXiv cs.AI","article","summaries\u002Ff9e464ad82911844-mask-proof-automated-data-curation-for-mathematica-summary",[73,74,75,76],"llm","machine-learning","research","automation","Mask-Proof is an LLM-based pipeline designed to automate the curation of high-quality mathematical proof data, addressing the scarcity of reliable training sets for formal reasoning models.",[],"1OhJWnC3fQbrCXd4hYjIXaBtYp6M9aEjUdC0AUoiXzU",[81,84,87,89,92,95,97,99,101,103,105,107,109,111,114,116,118,120,122,124,126,128,130,132,134,136,138,140,142,145,148,150,152,154,156,158,161,163,165,167,170,172,174,176,178,180,182,184,186,188,190,192,195,197,199,201,203,205,207,209,211,213,215,217,219,221,223,225,227,229,231,233,235,237,239,241,243,245,247,249,251,253,255,257,259,261,263,265,267,269,271,273,275,277,279,281,283,285,287,289,291,293,295,297,299,301,303,305,307,309,311,313,315,317,319,321,323,325,327,329,331,333,335,337,339,341,343,345,347,349,351,353,355,357,359,361,363,365,367,369,371,373,375,377,379,381,383,385,387,389,391,393,395,397,399,401,403,405,407,409,411,413,415,417,419,421,423,425,427,429,431,433,435,437,439,441,443,445,447,449,451,453,455,457,459,461,463,465,467,469,471,473,475,477,479,481,483,485,487,489,491,493,495,497,499,501,503,505,507,509,511,513,515,517,519,521,523,525,527,529,531,533,535,537,539,541,543,545,547,549,551,553,555,557,559,561,563,565,567,569,571,573,575,577,579,581,583,585,587,589,591,593,595,597,599,601,603,605,607,609,611,613,615,617,619,621,623,625,627,629,631,633,635,637,639,641,643,645,647,649,651,653,655,657,659,661,663,665,667,669,671,673,675,677,679,681,683,685,687,689,691,693,695,697,699,701,703,705,707,709,711,713,715,717,719,721,723,725,727,729,731,733,735,737,739,741,743,745,747,749,751,753,755,757,759,761,763,765,767,769,771,773,775,777,779,781,783,785,787,789,791,793,795,797,799,801,803,805,807,809,811,813,815,817,819,821,823,825,827,829,831,833,835,837,839,841,843,845,847,849,851,853,855,857,859,861,863,865,867,869,871,873,875,877,879,881,883,885,887,889,891,893,895,897,899,901,903,905,907,909,911,913,915,917,919,921,923,925,927,929,931,933,935,937,939,941,943,945,947,949,951,953,955,957,959,961,963,965,967,969,971,973,975,977,979,981,983,985,987,989,991,993,995,997,999,1001,1003,1005,1007,1009,1011,1013,1015,1017,1019,1021,1023,1025,1027,1029,1031,1033,1035,1037,1039,1041,1043,1045,1047,1049,1051,1053,1055,1057,1059,1061,1063,1065,1067,1069,1071,1073,1075,1077,1079,1081,1083,1085,1087,1089,1091,1093,1095,1097,1099,1101,1103,1105,1107,1109,1111,1113,1115,1117,1119,1121,1123,1125,1127,1129,1131,1133,1135,1137,1139,1141,1143,1145,1147,1149,1151,1153,1155,1157,1159,1161,1163,1165,1167,1169,1171,1173,1175,1177,1179,1181,1183,1185,1187,1189,1191,1193,1195,1197,1199,1201,1203,1205,1207,1209,1211,1213,1215,1217,1219,1221,1223,1225,1227,1229,1231,1233,1235,1237,1239,1241,1243,1245,1247,1249,1251,1253,1255,1257,1259,1261,1263,1265,1267,1269,1271,1273,1275,1277,1279,1281,1283,1285,1287,1289,1291,1293,1295,1297,1299,1301,1303,1305,1307,1309,1311,1313,1315,1317,1319,1321,1323,1325,1327,1329,1331,1333,1335,1337,1339,1341,1343,1345,1347,1349,1351,1353,1355,1357,1359,1361,1363,1365,1367,1369,1371,1373,1375,1377,1379,1381,1383,1385,1387,1389,1391,1393,1395,1397,1399,1401,1403,1405,1407,1409,1411,1413,1415,1417,1419,1421,1423,1425,1427,1429,1431,1433,1435,1437,1439,1441,1443,1445,1447,1449,1451,1453,1455,1457,1459,1461,1463,1465,1467,1469,1471,1473,1475,1477,1479,1481,1483,1485,1487,1489,1491,1493,1495,1497,1499,1501,1503,1505,1507,1509,1511,1513,1515,1517,1519,1521,1523,1525,1527,1529,1531,1533,1535,1537,1539,1541,1543,1545,1547,1549,1551,1553,1555,1557,1559,1561,1563,1565,1567,1569,1571,1573,1575,1577,1579,1581,1583,1585,1587,1589,1591,1593,1595,1597,1599,1601,1603,1605,1607,1609,1611,1613,1615,1617,1619,1621,1623,1625,1627,1629,1631,1633,1635,1637,1639,1641,1643,1645,1647,1649,1651,1653,1655,1657,1659,1661,1663,1665,1667,1669,1671,1673,1675,1677,1679,1681,1683,1685,1687,1689,1691,1693,1695,1697,1699,1701,1703,1705,1707,1709,1711,1713,1715,1717,1719,1721,1723,1725,1727,1729,1731,1733,1735,1737,1739,1741,1743,1745,1747,1749,1751,1753,1755,1757,1759,1761,1763,1765,1767,1769,1771,1773,1775,1777,1779,1781,1783,1785,1787,1789,1791,1793,1795,1797,1799,1801,1803,1805,1807,1809,1811,1813,1815,1817,1819,1821,1823,1825,1827,1829,1831,1833,1835,1837,1839,1841,1843,1845,1847,1849,1851,1853,1855,1857,1859,1861,1863,1865,1867,1869,1871,1873,1875,1877,1879,1881,1883,1885,1887,1889,1891,1893,1895,1897,1899,1901,1903,1905,1907,1909,1911,1913,1915,1917,1919,1921,1923,1925,1927,1929,1931,1933,1935,1937,1939,1941,1943,1945,1947,1949,1951,1953,1955,1957,1959,1961,1963,1965,1967,1969,1971,1973,1975,1977,1979,1981,1983,1985,1987,1989,1991,1993,1995,1997,1999,2001,2003,2005,2007,2009,2011,2013,2015,2017,2019,2021,2023,2025,2027,2029,2031,2033,2035,2037,2039,2041,2043,2045,2047,2049,2051,2053,2055,2057,2059,2061,2063,2065,2067,2069,2071,2073,2075,2077,2079,2081,2083,2085,2087,2089,2091,2093,2095,2097,2099,2101,2103,2105,2107,2109,2111,2113,2115,2117,2119,2121,2123,2125,2127,2129,2131,2133,2135,2137,2139,2141,2143,2145,2147,2149,2151,2153,2155,2157,2159,2161,2163,2165,2167,2169,2171,2173,2175,2177,2179,2181,2183,2185,2187,2189,2191,2193,2195,2197,2199,2201,2203,2205,2207,2209,2211,2213,2215,2217,2219,2221,2223,2225,2227,2229,2231,2233,2235,2237,2239,2241,2243,2245,2247,2249,2251,2253,2255,2257,2259,2261,2263,2265,2267,2269,2271,2273,2275,2277,2279,2281,2283,2285,2287,2289,2291,2293,2295,2297,2299,2301,2303,2305,2307,2309,2311,2313,2315,2317,2319,2321,2323,2325,2327,2329,2331,2333,2335,2337,2339,2341,2343,2345,2347,2349,2351,2353,2355,2357,2359,2361,2363,2365,2367,2369,2371,2373,2375,2377,2379,2381,2383,2385,2387,2389,2391,2393,2395,2397,2399,2401,2403,2405,2407,2409,2411,2413,2415,2417,2419,2421,2423,2425,2427,2429,2431,2433,2435,2437,2439,2441,2443,2445,2447,2449,2451,2453,2455,2457,2459,2461,2463,2465,2467,2469,2471,2473,2475,2477,2479,2481,2483,2485,2487,2489,2491,2493,2495,2497,2499,2501,2503,2505,2507,2509,2511,2513,2515,2517,2519,2521,2523,2525,2527,2529,2531,2533,2535,2537,2539,2541,2543,2545,2547,2549,2551,2553,2555,2557,2559,2561,2563,2565,2567,2569,2571,2573,2575,2577,2579,2581,2583,2585,2587,2589,2591,2593,2595,2597,2599,2601,2603,2605,2607,2609,2611,2613,2615,2617,2619,2621,2623,2625,2627,2629,2631,2633,2635,2637,2639,2641,2643,2645,2647,2649,2651,2653,2655,2657,2659,2661,2663,2665,2667,2669,2671,2673,2675,2677,2679,2681,2683,2685,2687,2689,2691,2693,2695,2697,2699,2701,2703,2705,2707,2709,2711,2713,2715,2717,2719,2721,2723,2725,2727,2729,2731,2733,2735,2737,2739,2741,2743,2745,2747,2749,2751,2753,2755,2757,2759,2761,2763,2765,2767,2769,2771,2773,2775,2777,2779,2781,2783,2785,2787,2789,2791,2793,2795,2797,2799,2801,2803,2805,2807,2809,2811,2813,2815,2817,2819,2821,2823,2825,2827,2829,2831,2833,2835,2837,2839,2841,2843,2845,2847,2849,2851,2853,2855,2857,2859,2861,2863,2865,2867,2869,2871,2873,2875,2877,2879,2881,2883,2885,2887,2889,2891,2893,2895,2897,2899,2901,2903,2905,2907,2909,2911,2913,2915,2917,2919,2921,2923,2925,2927,2929,2931,2933,2935,2937,2939,2941,2943,2945,2947,2949,2951,2953,2955,2957,2959,2961,2963,2965,2967,2969,2971,2973,2975,2977,2979,2981,2983,2985,2987,2989,2991,2993,2995,2997,2999,3001,3003,3005,3007,3009,3011,3013,3015,3017,3019,3021,3023,3025,3027,3029,3031,3033,3035,3037,3039,3041,3043,3045,3047,3049,3051,3053,3055,3057,3059,3061,3063,3065,3067,3069,3071,3073,3075,3077,3079,3081,3083,3085,3087,3089,3091,3093,3095,3097,3099,3101,3103,3105,3107,3109,3111,3113,3115,3117,3119,3121,3123,3125,3127,3129,3131,3133,3135,3137,3139,3141,3143,3145,3147,3149,3151,3153,3155,3157,3159,3161,3163,3165,3167,3169,3171,3173,3175,3177,3179,3181,3183,3185,3187,3189,3191,3193,3195,3197,3199,3201,3203,3205,3207,3209,3211,3213,3215,3217,3219,3221,3223,3225,3227,3229,3231,3233,3235,3237,3239,3241,3243,3245,3247,3249,3251,3253,3255,3257,3259,3261,3263,3265,3267,3269,3271,3273,3275,3277,3279,3281,3283,3285,3287,3289,3291,3293,3295,3297,3299,3301,3303,3305,3307,3309,3311,3313,3315,3317,3319,3321,3323,3325,3327,3329,3331,3333,3335,3337,3339,3341,3343,3345,3347,3349,3351,3353,3355,3357,3359,3361,3363,3365,3367,3369,3371,3373,3375,3377,3379,3381,3383,3385,3387,3389,3391,3393,3395,3397,3399,3401,3403,3405,3407,3409,3411,3413,3415,3417,3419,3421,3423,3425,3427,3429,3431,3433,3435,3437,3439,3441,3443,3445,3447,3449,3451,3453,3455,3457,3459,3461,3463,3465,3467,3469,3471,3473,3475,3477,3479,3481,3483,3485,3487,3489,3491,3493,3495,3497,3499,3501,3503,3505,3507,3509,3511,3513,3515,3517,3519,3521,3523,3525,3527,3529,3531,3533,3535,3537,3539,3541,3543,3545,3547,3549,3551,3553,3555,3557,3559,3561,3563,3565,3567,3569,3571,3573,3575,3577,3579,3581,3583,3585,3587,3589,3591,3593,3595,3597,3599,3601,3603,3605,3607,3609,3611,3613,3615,3617,3619,3621,3623,3625,3627,3629,3631,3633,3635,3637,3639,3641,3643,3645,3647,3649,3651,3653,3655,3657,3659,3661,3663,3665,3667,3669,3671,3673,3675,3677,3679,3681,3683,3685,3687,3689,3691,3693,3695,3697,3699,3701,3703,3705,3707,3709,3711,3713,3715,3717,3719,3721,3723,3725,3727,3729,3731,3733,3735,3737,3739,3741,3743,3745,3747,3749,3751,3753,3755,3757,3759,3761,3763,3765,3767,3769,3771,3773,3775,3777,3779,3781,3783,3785,3787,3789,3791,3793,3795,3797,3799,3801,3803,3805,3807,3809,3811,3813,3815,3817,3819,3821,3823,3825,3827,3829,3831,3833,3835,3837,3839,3841,3843,3845,3847,3849,3851,3853,3855,3857,3859,3861,3863,3865,3867,3869,3871,3873,3875,3877,3879,3881,3883,3885,3887,3889,3891,3893,3895,3897,3899,3901,3903,3905,3907,3909,3911,3913,3915,3917,3919,3921,3923,3925,3927,3929,3931,3933,3935,3937,3939,3941,3943,3945,3947,3949,3951,3953,3955,3957,3959,3961,3963,3965,3967,3969,3971,3973,3975,3977,3979,3981,3983,3985,3987,3989,3991,3993,3995,3997,3999,4001,4003,4005,4007,4009,4011,4013,4015,4017,4019,4021,4023,4025,4027,4029,4031,4033,4035,4037,4039,4041,4043,4045,4047,4049,4051,4053,4055,4057,4059,4061,4063,4065,4067,4069,4071,4073,4075,4077,4079,4081,4083,4085,4087,4089,4091,4093,4095,4097,4099,4101,4103,4105,4107,4109,4111,4113,4115,4117,4119,4121,4123,4125,4127,4129,4131,4133,4135,4137,4139,4141,4143,4145,4147,4149,4151,4153,4155,4157,4159,4161,4163,4165,4167,4169,4171,4173,4175,4177,4179,4181,4183,4185,4187,4189,4191,4193,4195,4197,4199,4201,4203,4205,4207,4209,4211,4213,4215,4217,4219,4221,4223,4225,4227,4229,4231,4233,4235,4237,4239,4241,4243,4245,4247,4249,4251,4253,4255,4257,4259,4261,4263,4265,4267,4269,4271,4273,4275,4277,4279,4281,4283,4285,4287,4289,4291,4293,4295,4297,4299,4301,4303,4305,4307,4309,4311,4313,4315,4317,4319,4321,4323,4325,4327,4329,4331,4333,4335,4337,4339,4341,4343,4345,4347,4349,4351,4353,4355,4357,4359,4361,4363,4365,4367,4369,4371,4373,4375,4377,4379,4381,4383,4385,4387,4389,4391,4393,4395,4397,4399,4401,4403,4405,4407,4409,4411,4413,4415,4417,4419,4421,4423,4425,4427,4429,4431,4433,4435,4437,4439,4441,4443,4445,4447,4449,4451,4453,4455,4457,4459,4461,4463,4465,4467,4469,4471,4473,4475,4477,4479,4481,4483,4485,4487,4489,4491,4493,4495,4497,4499,4501,4503,4505,4507,4509,4511,4513,4515,4517,4519,4521,4523,4525,4527,4529,4531,4533,4535,4537,4539,4541,4543,4545,4547,4549,4551,4553,4555,4557,4559,4561,4563,4565,4567,4569,4571,4573,4575,4577,4579,4581,4583,4585,4587,4589,4591,4593,4595,4597,4599,4601,4603,4605,4607,4609,4611,4613,4615,4617,4619,4621,4623,4625,4627,4629,4631,4633,4635,4637,4639,4641,4643,4645,4647,4649,4651,4653,4655,4657,4659,4661,4663,4665,4667,4669,4671,4673,4675,4677,4679,4681,4683,4685,4687,4689,4691,4693,4695,4697,4699,4701,4703,4705,4707,4709,4711,4713,4715,4717,4719,4721,4723,4725,4727,4729,4731,4733,4735,4737,4739,4741,4743,4745,4747,4749,4751,4753,4755,4757,4759,4761,4763,4765,4767,4769,4771,4773,4775,4777,4779,4781,4783,4785,4787,4789,4791,4793,4795,4797,4799,4801,4803,4805,4807],{"categories":82},[83],"Developer Productivity",{"categories":85},[86],"Business & SaaS",{"categories":88},[47],{"categories":90},[91],"AI Automation",{"categories":93},[94],"Product Strategy",{"categories":96},[47],{"categories":98},[83],{"categories":100},[47],{"categories":102},[86],{"categories":104},[],{"categories":106},[47],{"categories":108},[91],{"categories":110},[],{"categories":112},[113],"AI News & Trends",{"categories":115},[91],{"categories":117},[91],{"categories":119},[113],{"categories":121},[91],{"categories":123},[91],{"categories":125},[47],{"categories":127},[91],{"categories":129},[47],{"categories":131},[47],{"categories":133},[47],{"categories":135},[113],{"categories":137},[47],{"categories":139},[47],{"categories":141},[],{"categories":143},[144],"Design & Frontend",{"categories":146},[147],"Data Science & Visualization",{"categories":149},[113],{"categories":151},[47],{"categories":153},[],{"categories":155},[47],{"categories":157},[91],{"categories":159},[160],"Software Engineering",{"categories":162},[47],{"categories":164},[91],{"categories":166},[47],{"categories":168},[169],"Marketing & Growth",{"categories":171},[144],{"categories":173},[47],{"categories":175},[91],{"categories":177},[],{"categories":179},[],{"categories":181},[144],{"categories":183},[91],{"categories":185},[83],{"categories":187},[160],{"categories":189},[144],{"categories":191},[47],{"categories":193},[194],"DevOps & Cloud",{"categories":196},[91],{"categories":198},[113],{"categories":200},[47],{"categories":202},[],{"categories":204},[47],{"categories":206},[],{"categories":208},[91],{"categories":210},[160],{"categories":212},[],{"categories":214},[86],{"categories":216},[],{"categories":218},[],{"categories":220},[47],{"categories":222},[91],{"categories":224},[47],{"categories":226},[47],{"categories":228},[91],{"categories":230},[47],{"categories":232},[47],{"categories":234},[47],{"categories":236},[],{"categories":238},[160],{"categories":240},[],{"categories":242},[],{"categories":244},[160],{"categories":246},[],{"categories":248},[160],{"categories":250},[47],{"categories":252},[47],{"categories":254},[169],{"categories":256},[144],{"categories":258},[144],{"categories":260},[47],{"categories":262},[160],{"categories":264},[91],{"categories":266},[160],{"categories":268},[47],{"categories":270},[47],{"categories":272},[91],{"categories":274},[91],{"categories":276},[147],{"categories":278},[113],{"categories":280},[91],{"categories":282},[91],{"categories":284},[169],{"categories":286},[91],{"categories":288},[94],{"categories":290},[160],{"categories":292},[],{"categories":294},[91],{"categories":296},[],{"categories":298},[91],{"categories":300},[47],{"categories":302},[160],{"categories":304},[194],{"categories":306},[144],{"categories":308},[47],{"categories":310},[],{"categories":312},[160],{"categories":314},[47],{"categories":316},[],{"categories":318},[91],{"categories":320},[],{"categories":322},[47],{"categories":324},[],{"categories":326},[83],{"categories":328},[160],{"categories":330},[86],{"categories":332},[47],{"categories":334},[47],{"categories":336},[113],{"categories":338},[47],{"categories":340},[],{"categories":342},[47],{"categories":344},[],{"categories":346},[160],{"categories":348},[147],{"categories":350},[],{"categories":352},[47],{"categories":354},[144],{"categories":356},[],{"categories":358},[144],{"categories":360},[91],{"categories":362},[],{"categories":364},[47],{"categories":366},[47],{"categories":368},[91],{"categories":370},[113],{"categories":372},[86],{"categories":374},[47],{"categories":376},[],{"categories":378},[160],{"categories":380},[91],{"categories":382},[47],{"categories":384},[94],{"categories":386},[],{"categories":388},[47],{"categories":390},[94],{"categories":392},[91],{"categories":394},[47],{"categories":396},[91],{"categories":398},[],{"categories":400},[147],{"categories":402},[47],{"categories":404},[],{"categories":406},[83],{"categories":408},[47],{"categories":410},[86],{"categories":412},[47],{"categories":414},[91],{"categories":416},[47],{"categories":418},[47],{"categories":420},[160],{"categories":422},[47],{"categories":424},[],{"categories":426},[],{"categories":428},[47],{"categories":430},[47],{"categories":432},[],{"categories":434},[144],{"categories":436},[],{"categories":438},[47],{"categories":440},[],{"categories":442},[91],{"categories":444},[47],{"categories":446},[144],{"categories":448},[],{"categories":450},[47],{"categories":452},[91],{"categories":454},[47],{"categories":456},[86],{"categories":458},[91],{"categories":460},[47],{"categories":462},[47],{"categories":464},[144],{"categories":466},[91],{"categories":468},[],{"categories":470},[160],{"categories":472},[91],{"categories":474},[],{"categories":476},[113],{"categories":478},[],{"categories":480},[47],{"categories":482},[47],{"categories":484},[86,169],{"categories":486},[],{"categories":488},[47],{"categories":490},[91],{"categories":492},[],{"categories":494},[],{"categories":496},[47],{"categories":498},[144],{"categories":500},[47],{"categories":502},[],{"categories":504},[47],{"categories":506},[194],{"categories":508},[],{"categories":510},[113],{"categories":512},[144],{"categories":514},[],{"categories":516},[113],{"categories":518},[47],{"categories":520},[91],{"categories":522},[113],{"categories":524},[47],{"categories":526},[169],{"categories":528},[],{"categories":530},[86],{"categories":532},[160],{"categories":534},[47],{"categories":536},[91],{"categories":538},[],{"categories":540},[47,194],{"categories":542},[47],{"categories":544},[47],{"categories":546},[47],{"categories":548},[91],{"categories":550},[47,160],{"categories":552},[147],{"categories":554},[47],{"categories":556},[160],{"categories":558},[91],{"categories":560},[169],{"categories":562},[91],{"categories":564},[47],{"categories":566},[91],{"categories":568},[],{"categories":570},[91],{"categories":572},[47],{"categories":574},[47,86],{"categories":576},[86],{"categories":578},[],{"categories":580},[144],{"categories":582},[144],{"categories":584},[],{"categories":586},[],{"categories":588},[113],{"categories":590},[],{"categories":592},[83],{"categories":594},[47],{"categories":596},[160],{"categories":598},[47],{"categories":600},[144],{"categories":602},[91],{"categories":604},[160],{"categories":606},[113],{"categories":608},[144],{"categories":610},[],{"categories":612},[47],{"categories":614},[47],{"categories":616},[47],{"categories":618},[47],{"categories":620},[47],{"categories":622},[47],{"categories":624},[113],{"categories":626},[83],{"categories":628},[47],{"categories":630},[91],{"categories":632},[194],{"categories":634},[144],{"categories":636},[47],{"categories":638},[91],{"categories":640},[],{"categories":642},[],{"categories":644},[144],{"categories":646},[113],{"categories":648},[147],{"categories":650},[],{"categories":652},[47],{"categories":654},[47],{"categories":656},[86],{"categories":658},[47],{"categories":660},[47],{"categories":662},[47],{"categories":664},[113],{"categories":666},[144],{"categories":668},[],{"categories":670},[91],{"categories":672},[160],{"categories":674},[],{"categories":676},[47],{"categories":678},[47],{"categories":680},[91],{"categories":682},[160],{"categories":684},[47],{"categories":686},[147],{"categories":688},[],{"categories":690},[],{"categories":692},[47],{"categories":694},[],{"categories":696},[94],{"categories":698},[86],{"categories":700},[91],{"categories":702},[91],{"categories":704},[],{"categories":706},[83],{"categories":708},[47],{"categories":710},[86],{"categories":712},[113],{"categories":714},[83],{"categories":716},[],{"categories":718},[47],{"categories":720},[],{"categories":722},[],{"categories":724},[113],{"categories":726},[113],{"categories":728},[],{"categories":730},[144],{"categories":732},[160],{"categories":734},[],{"categories":736},[86],{"categories":738},[],{"categories":740},[],{"categories":742},[83],{"categories":744},[147],{"categories":746},[],{"categories":748},[169],{"categories":750},[91],{"categories":752},[86],{"categories":754},[91],{"categories":756},[160],{"categories":758},[],{"categories":760},[94],{"categories":762},[144],{"categories":764},[160],{"categories":766},[47],{"categories":768},[91],{"categories":770},[86],{"categories":772},[47],{"categories":774},[],{"categories":776},[],{"categories":778},[160],{"categories":780},[147],{"categories":782},[94],{"categories":784},[47],{"categories":786},[91],{"categories":788},[47],{"categories":790},[],{"categories":792},[113],{"categories":794},[194],{"categories":796},[],{"categories":798},[91],{"categories":800},[],{"categories":802},[83],{"categories":804},[],{"categories":806},[47],{"categories":808},[47],{"categories":810},[144],{"categories":812},[169],{"categories":814},[160],{"categories":816},[91],{"categories":818},[],{"categories":820},[160],{"categories":822},[83],{"categories":824},[],{"categories":826},[113],{"categories":828},[47,194],{"categories":830},[47],{"categories":832},[113],{"categories":834},[47],{"categories":836},[47],{"categories":838},[86],{"categories":840},[47],{"categories":842},[],{"categories":844},[47],{"categories":846},[86],{"categories":848},[47],{"categories":850},[],{"categories":852},[91],{"categories":854},[160],{"categories":856},[144],{"categories":858},[113],{"categories":860},[147],{"categories":862},[47],{"categories":864},[83],{"categories":866},[47],{"categories":868},[91],{"categories":870},[160],{"categories":872},[],{"categories":874},[],{"categories":876},[91],{"categories":878},[94],{"categories":880},[],{"categories":882},[47],{"categories":884},[],{"categories":886},[144],{"categories":888},[91],{"categories":890},[160],{"categories":892},[144],{"categories":894},[47],{"categories":896},[144],{"categories":898},[],{"categories":900},[],{"categories":902},[113],{"categories":904},[91],{"categories":906},[91],{"categories":908},[47],{"categories":910},[47],{"categories":912},[47],{"categories":914},[86],{"categories":916},[47],{"categories":918},[],{"categories":920},[160],{"categories":922},[160],{"categories":924},[86],{"categories":926},[],{"categories":928},[47],{"categories":930},[47],{"categories":932},[91],{"categories":934},[83],{"categories":936},[86],{"categories":938},[113],{"categories":940},[91],{"categories":942},[169],{"categories":944},[47],{"categories":946},[91],{"categories":948},[],{"categories":950},[144],{"categories":952},[],{"categories":954},[47],{"categories":956},[47],{"categories":958},[],{"categories":960},[86],{"categories":962},[91],{"categories":964},[],{"categories":966},[47],{"categories":968},[194],{"categories":970},[147],{"categories":972},[160],{"categories":974},[169],{"categories":976},[47],{"categories":978},[144],{"categories":980},[47],{"categories":982},[160],{"categories":984},[91],{"categories":986},[],{"categories":988},[],{"categories":990},[91],{"categories":992},[83],{"categories":994},[91],{"categories":996},[94],{"categories":998},[86],{"categories":1000},[],{"categories":1002},[47],{"categories":1004},[94],{"categories":1006},[47],{"categories":1008},[47],{"categories":1010},[47],{"categories":1012},[47],{"categories":1014},[169],{"categories":1016},[47],{"categories":1018},[47],{"categories":1020},[47],{"categories":1022},[144],{"categories":1024},[91],{"categories":1026},[],{"categories":1028},[],{"categories":1030},[194],{"categories":1032},[160],{"categories":1034},[],{"categories":1036},[91],{"categories":1038},[47],{"categories":1040},[144,47],{"categories":1042},[83],{"categories":1044},[],{"categories":1046},[47],{"categories":1048},[83],{"categories":1050},[144],{"categories":1052},[91],{"categories":1054},[160],{"categories":1056},[],{"categories":1058},[47],{"categories":1060},[],{"categories":1062},[],{"categories":1064},[47],{"categories":1066},[83],{"categories":1068},[47],{"categories":1070},[],{"categories":1072},[91],{"categories":1074},[94],{"categories":1076},[160],{"categories":1078},[47],{"categories":1080},[47],{"categories":1082},[47],{"categories":1084},[144],{"categories":1086},[91],{"categories":1088},[194],{"categories":1090},[144],{"categories":1092},[86],{"categories":1094},[91],{"categories":1096},[47],{"categories":1098},[47],{"categories":1100},[47],{"categories":1102},[91],{"categories":1104},[160],{"categories":1106},[47],{"categories":1108},[94],{"categories":1110},[],{"categories":1112},[113],{"categories":1114},[],{"categories":1116},[94],{"categories":1118},[91],{"categories":1120},[144],{"categories":1122},[47],{"categories":1124},[47],{"categories":1126},[91],{"categories":1128},[160],{"categories":1130},[144],{"categories":1132},[91],{"categories":1134},[113],{"categories":1136},[],{"categories":1138},[47],{"categories":1140},[],{"categories":1142},[47],{"categories":1144},[47],{"categories":1146},[144],{"categories":1148},[47],{"categories":1150},[83],{"categories":1152},[113],{"categories":1154},[47],{"categories":1156},[47],{"categories":1158},[169],{"categories":1160},[47],{"categories":1162},[47],{"categories":1164},[91],{"categories":1166},[91],{"categories":1168},[47],{"categories":1170},[91],{"categories":1172},[91],{"categories":1174},[47],{"categories":1176},[47],{"categories":1178},[91],{"categories":1180},[144],{"categories":1182},[47],{"categories":1184},[47],{"categories":1186},[],{"categories":1188},[],{"categories":1190},[160],{"categories":1192},[],{"categories":1194},[83],{"categories":1196},[194],{"categories":1198},[47],{"categories":1200},[],{"categories":1202},[83],{"categories":1204},[86],{"categories":1206},[47],{"categories":1208},[169],{"categories":1210},[],{"categories":1212},[86],{"categories":1214},[],{"categories":1216},[47],{"categories":1218},[160],{"categories":1220},[],{"categories":1222},[],{"categories":1224},[],{"categories":1226},[],{"categories":1228},[47],{"categories":1230},[91],{"categories":1232},[194],{"categories":1234},[47],{"categories":1236},[83],{"categories":1238},[160],{"categories":1240},[47],{"categories":1242},[47],{"categories":1244},[160],{"categories":1246},[94],{"categories":1248},[47],{"categories":1250},[169],{"categories":1252},[160],{"categories":1254},[86],{"categories":1256},[47],{"categories":1258},[47],{"categories":1260},[47],{"categories":1262},[47],{"categories":1264},[91],{"categories":1266},[47,83],{"categories":1268},[160],{"categories":1270},[160],{"categories":1272},[144],{"categories":1274},[91],{"categories":1276},[160],{"categories":1278},[47],{"categories":1280},[47],{"categories":1282},[],{"categories":1284},[],{"categories":1286},[47],{"categories":1288},[],{"categories":1290},[47],{"categories":1292},[160],{"categories":1294},[147],{"categories":1296},[113],{"categories":1298},[144],{"categories":1300},[47],{"categories":1302},[160],{"categories":1304},[],{"categories":1306},[47],{"categories":1308},[47],{"categories":1310},[47],{"categories":1312},[47],{"categories":1314},[],{"categories":1316},[91],{"categories":1318},[47],{"categories":1320},[47],{"categories":1322},[],{"categories":1324},[91],{"categories":1326},[47],{"categories":1328},[86],{"categories":1330},[],{"categories":1332},[83],{"categories":1334},[47],{"categories":1336},[47],{"categories":1338},[83],{"categories":1340},[47],{"categories":1342},[160],{"categories":1344},[169],{"categories":1346},[91],{"categories":1348},[91],{"categories":1350},[47,144],{"categories":1352},[113],{"categories":1354},[47],{"categories":1356},[144],{"categories":1358},[],{"categories":1360},[160],{"categories":1362},[194],{"categories":1364},[144],{"categories":1366},[160],{"categories":1368},[47],{"categories":1370},[47],{"categories":1372},[91],{"categories":1374},[],{"categories":1376},[],{"categories":1378},[],{"categories":1380},[],{"categories":1382},[160],{"categories":1384},[47],{"categories":1386},[91],{"categories":1388},[86],{"categories":1390},[91],{"categories":1392},[194],{"categories":1394},[47],{"categories":1396},[47],{"categories":1398},[47],{"categories":1400},[91],{"categories":1402},[47],{"categories":1404},[47],{"categories":1406},[],{"categories":1408},[144],{"categories":1410},[160],{"categories":1412},[],{"categories":1414},[],{"categories":1416},[91],{"categories":1418},[],{"categories":1420},[],{"categories":1422},[169],{"categories":1424},[169],{"categories":1426},[91],{"categories":1428},[160],{"categories":1430},[],{"categories":1432},[47],{"categories":1434},[47],{"categories":1436},[160],{"categories":1438},[144],{"categories":1440},[144],{"categories":1442},[47],{"categories":1444},[91],{"categories":1446},[83],{"categories":1448},[47],{"categories":1450},[47],{"categories":1452},[144],{"categories":1454},[144],{"categories":1456},[91],{"categories":1458},[91],{"categories":1460},[47],{"categories":1462},[],{"categories":1464},[47],{"categories":1466},[],{"categories":1468},[47],{"categories":1470},[91],{"categories":1472},[113],{"categories":1474},[160],{"categories":1476},[47],{"categories":1478},[160],{"categories":1480},[83],{"categories":1482},[47],{"categories":1484},[],{"categories":1486},[91],{"categories":1488},[91],{"categories":1490},[],{"categories":1492},[47],{"categories":1494},[83],{"categories":1496},[47],{"categories":1498},[83],{"categories":1500},[83],{"categories":1502},[],{"categories":1504},[160],{"categories":1506},[],{"categories":1508},[91],{"categories":1510},[113],{"categories":1512},[47],{"categories":1514},[91],{"categories":1516},[47],{"categories":1518},[91],{"categories":1520},[47],{"categories":1522},[113],{"categories":1524},[147],{"categories":1526},[47],{"categories":1528},[94],{"categories":1530},[113],{"categories":1532},[144],{"categories":1534},[],{"categories":1536},[],{"categories":1538},[47],{"categories":1540},[47],{"categories":1542},[113],{"categories":1544},[],{"categories":1546},[],{"categories":1548},[],{"categories":1550},[91],{"categories":1552},[47],{"categories":1554},[],{"categories":1556},[160],{"categories":1558},[160],{"categories":1560},[147],{"categories":1562},[],{"categories":1564},[47],{"categories":1566},[47],{"categories":1568},[147],{"categories":1570},[160],{"categories":1572},[],{"categories":1574},[],{"categories":1576},[91],{"categories":1578},[91],{"categories":1580},[160],{"categories":1582},[91],{"categories":1584},[113],{"categories":1586},[113],{"categories":1588},[91],{"categories":1590},[91],{"categories":1592},[83],{"categories":1594},[47,194],{"categories":1596},[],{"categories":1598},[144],{"categories":1600},[160],{"categories":1602},[83],{"categories":1604},[47],{"categories":1606},[91],{"categories":1608},[144],{"categories":1610},[],{"categories":1612},[91],{"categories":1614},[91],{"categories":1616},[91],{"categories":1618},[47],{"categories":1620},[169],{"categories":1622},[47],{"categories":1624},[160],{"categories":1626},[144],{"categories":1628},[47],{"categories":1630},[],{"categories":1632},[91],{"categories":1634},[144],{"categories":1636},[47],{"categories":1638},[91],{"categories":1640},[91],{"categories":1642},[91],{"categories":1644},[169],{"categories":1646},[147],{"categories":1648},[47],{"categories":1650},[91],{"categories":1652},[47],{"categories":1654},[],{"categories":1656},[169],{"categories":1658},[113],{"categories":1660},[160],{"categories":1662},[47],{"categories":1664},[91],{"categories":1666},[],{"categories":1668},[],{"categories":1670},[47],{"categories":1672},[91],{"categories":1674},[47],{"categories":1676},[113],{"categories":1678},[47],{"categories":1680},[91],{"categories":1682},[91],{"categories":1684},[],{"categories":1686},[47],{"categories":1688},[],{"categories":1690},[],{"categories":1692},[47],{"categories":1694},[91],{"categories":1696},[],{"categories":1698},[],{"categories":1700},[147],{"categories":1702},[47],{"categories":1704},[147],{"categories":1706},[113],{"categories":1708},[47],{"categories":1710},[47],{"categories":1712},[91],{"categories":1714},[47],{"categories":1716},[91],{"categories":1718},[],{"categories":1720},[],{"categories":1722},[47],{"categories":1724},[194],{"categories":1726},[47],{"categories":1728},[],{"categories":1730},[],{"categories":1732},[83],{"categories":1734},[],{"categories":1736},[],{"categories":1738},[47],{"categories":1740},[],{"categories":1742},[],{"categories":1744},[160],{"categories":1746},[113],{"categories":1748},[169],{"categories":1750},[86],{"categories":1752},[47],{"categories":1754},[47],{"categories":1756},[86],{"categories":1758},[],{"categories":1760},[144],{"categories":1762},[47],{"categories":1764},[91],{"categories":1766},[86],{"categories":1768},[47],{"categories":1770},[47],{"categories":1772},[83],{"categories":1774},[47],{"categories":1776},[],{"categories":1778},[83],{"categories":1780},[47],{"categories":1782},[169],{"categories":1784},[91],{"categories":1786},[113],{"categories":1788},[47],{"categories":1790},[86],{"categories":1792},[47],{"categories":1794},[47],{"categories":1796},[91],{"categories":1798},[],{"categories":1800},[47],{"categories":1802},[160],{"categories":1804},[83],{"categories":1806},[47],{"categories":1808},[47],{"categories":1810},[],{"categories":1812},[113],{"categories":1814},[47],{"categories":1816},[47],{"categories":1818},[],{"categories":1820},[86],{"categories":1822},[86],{"categories":1824},[47],{"categories":1826},[47],{"categories":1828},[94],{"categories":1830},[47],{"categories":1832},[47],{"categories":1834},[],{"categories":1836},[160],{"categories":1838},[47],{"categories":1840},[],{"categories":1842},[],{"categories":1844},[47],{"categories":1846},[113],{"categories":1848},[],{"categories":1850},[194],{"categories":1852},[47],{"categories":1854},[47],{"categories":1856},[],{"categories":1858},[47],{"categories":1860},[160],{"categories":1862},[47],{"categories":1864},[47],{"categories":1866},[47,194],{"categories":1868},[47],{"categories":1870},[47],{"categories":1872},[144],{"categories":1874},[91],{"categories":1876},[],{"categories":1878},[91],{"categories":1880},[91],{"categories":1882},[47],{"categories":1884},[47],{"categories":1886},[47],{"categories":1888},[47],{"categories":1890},[83],{"categories":1892},[147],{"categories":1894},[83],{"categories":1896},[160],{"categories":1898},[144],{"categories":1900},[91],{"categories":1902},[47],{"categories":1904},[],{"categories":1906},[47],{"categories":1908},[113],{"categories":1910},[47],{"categories":1912},[91],{"categories":1914},[47],{"categories":1916},[47],{"categories":1918},[86],{"categories":1920},[],{"categories":1922},[194],{"categories":1924},[144],{"categories":1926},[144],{"categories":1928},[160],{"categories":1930},[91],{"categories":1932},[47],{"categories":1934},[86],{"categories":1936},[113],{"categories":1938},[144],{"categories":1940},[91],{"categories":1942},[47],{"categories":1944},[],{"categories":1946},[47],{"categories":1948},[47],{"categories":1950},[],{"categories":1952},[],{"categories":1954},[47],{"categories":1956},[47],{"categories":1958},[47],{"categories":1960},[160],{"categories":1962},[47],{"categories":1964},[47],{"categories":1966},[91],{"categories":1968},[47],{"categories":1970},[47],{"categories":1972},[],{"categories":1974},[147],{"categories":1976},[47],{"categories":1978},[91],{"categories":1980},[],{"categories":1982},[],{"categories":1984},[47],{"categories":1986},[47],{"categories":1988},[47],{"categories":1990},[113],{"categories":1992},[],{"categories":1994},[144],{"categories":1996},[47],{"categories":1998},[194],{"categories":2000},[113],{"categories":2002},[160],{"categories":2004},[160],{"categories":2006},[113],{"categories":2008},[113],{"categories":2010},[194],{"categories":2012},[],{"categories":2014},[113],{"categories":2016},[47],{"categories":2018},[83],{"categories":2020},[47],{"categories":2022},[113],{"categories":2024},[],{"categories":2026},[47],{"categories":2028},[160],{"categories":2030},[147],{"categories":2032},[47],{"categories":2034},[113],{"categories":2036},[47],{"categories":2038},[160],{"categories":2040},[91],{"categories":2042},[113],{"categories":2044},[91],{"categories":2046},[194],{"categories":2048},[91],{"categories":2050},[47],{"categories":2052},[47],{"categories":2054},[160],{"categories":2056},[47],{"categories":2058},[],{"categories":2060},[86],{"categories":2062},[],{"categories":2064},[],{"categories":2066},[47],{"categories":2068},[91],{"categories":2070},[47],{"categories":2072},[47],{"categories":2074},[47],{"categories":2076},[47],{"categories":2078},[],{"categories":2080},[147],{"categories":2082},[83],{"categories":2084},[91],{"categories":2086},[144],{"categories":2088},[],{"categories":2090},[47],{"categories":2092},[160],{"categories":2094},[47],{"categories":2096},[194],{"categories":2098},[194],{"categories":2100},[],{"categories":2102},[91],{"categories":2104},[113],{"categories":2106},[113],{"categories":2108},[47],{"categories":2110},[91],{"categories":2112},[],{"categories":2114},[144],{"categories":2116},[47],{"categories":2118},[47],{"categories":2120},[],{"categories":2122},[47],{"categories":2124},[],{"categories":2126},[47],{"categories":2128},[160],{"categories":2130},[194],{"categories":2132},[47],{"categories":2134},[160],{"categories":2136},[86],{"categories":2138},[47],{"categories":2140},[],{"categories":2142},[91],{"categories":2144},[83],{"categories":2146},[83],{"categories":2148},[],{"categories":2150},[47],{"categories":2152},[47],{"categories":2154},[47],{"categories":2156},[160],{"categories":2158},[144],{"categories":2160},[47],{"categories":2162},[91],{"categories":2164},[],{"categories":2166},[47],{"categories":2168},[47],{"categories":2170},[91],{"categories":2172},[47],{"categories":2174},[],{"categories":2176},[91],{"categories":2178},[47],{"categories":2180},[91],{"categories":2182},[91],{"categories":2184},[160],{"categories":2186},[],{"categories":2188},[47],{"categories":2190},[91],{"categories":2192},[86],{"categories":2194},[47],{"categories":2196},[],{"categories":2198},[47],{"categories":2200},[],{"categories":2202},[47],{"categories":2204},[47],{"categories":2206},[],{"categories":2208},[47],{"categories":2210},[47],{"categories":2212},[113],{"categories":2214},[47],{"categories":2216},[47],{"categories":2218},[83],{"categories":2220},[47],{"categories":2222},[47],{"categories":2224},[147],{"categories":2226},[113],{"categories":2228},[91],{"categories":2230},[],{"categories":2232},[47],{"categories":2234},[144],{"categories":2236},[47],{"categories":2238},[169],{"categories":2240},[47],{"categories":2242},[91],{"categories":2244},[],{"categories":2246},[],{"categories":2248},[],{"categories":2250},[83],{"categories":2252},[113],{"categories":2254},[91],{"categories":2256},[47],{"categories":2258},[47],{"categories":2260},[47],{"categories":2262},[144],{"categories":2264},[91],{"categories":2266},[],{"categories":2268},[91],{"categories":2270},[91],{"categories":2272},[],{"categories":2274},[47],{"categories":2276},[91],{"categories":2278},[47],{"categories":2280},[],{"categories":2282},[47],{"categories":2284},[47],{"categories":2286},[113],{"categories":2288},[144],{"categories":2290},[91],{"categories":2292},[144],{"categories":2294},[91],{"categories":2296},[86],{"categories":2298},[],{"categories":2300},[],{"categories":2302},[47],{"categories":2304},[83],{"categories":2306},[91],{"categories":2308},[113],{"categories":2310},[],{"categories":2312},[144],{"categories":2314},[],{"categories":2316},[160],{"categories":2318},[160],{"categories":2320},[144],{"categories":2322},[160],{"categories":2324},[47],{"categories":2326},[],{"categories":2328},[47],{"categories":2330},[47],{"categories":2332},[],{"categories":2334},[169],{"categories":2336},[47],{"categories":2338},[194],{"categories":2340},[160],{"categories":2342},[],{"categories":2344},[91],{"categories":2346},[47],{"categories":2348},[83],{"categories":2350},[91],{"categories":2352},[91],{"categories":2354},[47],{"categories":2356},[47],{"categories":2358},[],{"categories":2360},[83],{"categories":2362},[47],{"categories":2364},[86],{"categories":2366},[160],{"categories":2368},[144],{"categories":2370},[],{"categories":2372},[],{"categories":2374},[],{"categories":2376},[91],{"categories":2378},[160],{"categories":2380},[144],{"categories":2382},[113],{"categories":2384},[47],{"categories":2386},[113],{"categories":2388},[91],{"categories":2390},[144],{"categories":2392},[47],{"categories":2394},[],{"categories":2396},[47],{"categories":2398},[91],{"categories":2400},[144],{"categories":2402},[113],{"categories":2404},[86],{"categories":2406},[160],{"categories":2408},[47],{"categories":2410},[113],{"categories":2412},[169],{"categories":2414},[],{"categories":2416},[],{"categories":2418},[147],{"categories":2420},[91],{"categories":2422},[47,160],{"categories":2424},[113],{"categories":2426},[47],{"categories":2428},[47],{"categories":2430},[91],{"categories":2432},[47],{"categories":2434},[91],{"categories":2436},[47],{"categories":2438},[47],{"categories":2440},[],{"categories":2442},[160],{"categories":2444},[144],{"categories":2446},[47],{"categories":2448},[147],{"categories":2450},[91],{"categories":2452},[169],{"categories":2454},[194],{"categories":2456},[],{"categories":2458},[47],{"categories":2460},[86],{"categories":2462},[91],{"categories":2464},[83],{"categories":2466},[91],{"categories":2468},[91],{"categories":2470},[94],{"categories":2472},[160],{"categories":2474},[47],{"categories":2476},[47],{"categories":2478},[],{"categories":2480},[],{"categories":2482},[],{"categories":2484},[194],{"categories":2486},[47],{"categories":2488},[113],{"categories":2490},[47],{"categories":2492},[47],{"categories":2494},[47],{"categories":2496},[],{"categories":2498},[147],{"categories":2500},[86],{"categories":2502},[91],{"categories":2504},[],{"categories":2506},[47],{"categories":2508},[91],{"categories":2510},[47],{"categories":2512},[194],{"categories":2514},[],{"categories":2516},[144],{"categories":2518},[144],{"categories":2520},[],{"categories":2522},[160],{"categories":2524},[47],{"categories":2526},[144],{"categories":2528},[47],{"categories":2530},[86],{"categories":2532},[91],{"categories":2534},[],{"categories":2536},[113],{"categories":2538},[47],{"categories":2540},[47],{"categories":2542},[144],{"categories":2544},[91],{"categories":2546},[113],{"categories":2548},[],{"categories":2550},[91],{"categories":2552},[91],{"categories":2554},[144],{"categories":2556},[47],{"categories":2558},[47],{"categories":2560},[],{"categories":2562},[47],{"categories":2564},[47],{"categories":2566},[194],{"categories":2568},[113],{"categories":2570},[147],{"categories":2572},[147],{"categories":2574},[],{"categories":2576},[],{"categories":2578},[],{"categories":2580},[91],{"categories":2582},[91],{"categories":2584},[160],{"categories":2586},[160],{"categories":2588},[47],{"categories":2590},[47],{"categories":2592},[47],{"categories":2594},[47],{"categories":2596},[91],{"categories":2598},[],{"categories":2600},[],{"categories":2602},[47],{"categories":2604},[],{"categories":2606},[47],{"categories":2608},[91],{"categories":2610},[144],{"categories":2612},[47],{"categories":2614},[47],{"categories":2616},[],{"categories":2618},[94],{"categories":2620},[47],{"categories":2622},[144],{"categories":2624},[47],{"categories":2626},[86],{"categories":2628},[47],{"categories":2630},[169],{"categories":2632},[91],{"categories":2634},[47],{"categories":2636},[47],{"categories":2638},[91],{"categories":2640},[47],{"categories":2642},[160],{"categories":2644},[],{"categories":2646},[113],{"categories":2648},[91],{"categories":2650},[],{"categories":2652},[113],{"categories":2654},[91],{"categories":2656},[91],{"categories":2658},[47],{"categories":2660},[91],{"categories":2662},[],{"categories":2664},[86],{"categories":2666},[91],{"categories":2668},[],{"categories":2670},[160],{"categories":2672},[47],{"categories":2674},[83],{"categories":2676},[113],{"categories":2678},[194],{"categories":2680},[91],{"categories":2682},[47],{"categories":2684},[91],{"categories":2686},[83],{"categories":2688},[],{"categories":2690},[47],{"categories":2692},[],{"categories":2694},[],{"categories":2696},[144],{"categories":2698},[47,86],{"categories":2700},[91],{"categories":2702},[47],{"categories":2704},[],{"categories":2706},[83],{"categories":2708},[147],{"categories":2710},[47],{"categories":2712},[160],{"categories":2714},[47],{"categories":2716},[91],{"categories":2718},[47],{"categories":2720},[47],{"categories":2722},[47],{"categories":2724},[113],{"categories":2726},[91],{"categories":2728},[47],{"categories":2730},[],{"categories":2732},[],{"categories":2734},[91],{"categories":2736},[47],{"categories":2738},[194],{"categories":2740},[],{"categories":2742},[47],{"categories":2744},[91],{"categories":2746},[91],{"categories":2748},[],{"categories":2750},[91],{"categories":2752},[47],{"categories":2754},[169],{"categories":2756},[47],{"categories":2758},[147],{"categories":2760},[91],{"categories":2762},[47],{"categories":2764},[194],{"categories":2766},[],{"categories":2768},[47],{"categories":2770},[169],{"categories":2772},[144],{"categories":2774},[47],{"categories":2776},[47],{"categories":2778},[],{"categories":2780},[169],{"categories":2782},[113],{"categories":2784},[47],{"categories":2786},[47],{"categories":2788},[83],{"categories":2790},[47],{"categories":2792},[],{"categories":2794},[],{"categories":2796},[144],{"categories":2798},[47],{"categories":2800},[147],{"categories":2802},[169],{"categories":2804},[91],{"categories":2806},[169],{"categories":2808},[113],{"categories":2810},[],{"categories":2812},[47],{"categories":2814},[],{"categories":2816},[47],{"categories":2818},[91],{"categories":2820},[47],{"categories":2822},[47],{"categories":2824},[],{"categories":2826},[47,160],{"categories":2828},[113],{"categories":2830},[91],{"categories":2832},[160],{"categories":2834},[47],{"categories":2836},[83],{"categories":2838},[],{"categories":2840},[],{"categories":2842},[91],{"categories":2844},[47],{"categories":2846},[160],{"categories":2848},[83],{"categories":2850},[160],{"categories":2852},[160],{"categories":2854},[47],{"categories":2856},[169],{"categories":2858},[47],{"categories":2860},[160],{"categories":2862},[],{"categories":2864},[144,47],{"categories":2866},[194],{"categories":2868},[83],{"categories":2870},[],{"categories":2872},[47],{"categories":2874},[86],{"categories":2876},[86],{"categories":2878},[47],{"categories":2880},[47],{"categories":2882},[47],{"categories":2884},[160],{"categories":2886},[91],{"categories":2888},[113],{"categories":2890},[169],{"categories":2892},[144],{"categories":2894},[47],{"categories":2896},[47],{"categories":2898},[47],{"categories":2900},[47],{"categories":2902},[83],{"categories":2904},[47],{"categories":2906},[91],{"categories":2908},[91],{"categories":2910},[160],{"categories":2912},[113],{"categories":2914},[160],{"categories":2916},[],{"categories":2918},[],{"categories":2920},[147],{"categories":2922},[47],{"categories":2924},[160],{"categories":2926},[47],{"categories":2928},[144],{"categories":2930},[47],{"categories":2932},[47],{"categories":2934},[47],{"categories":2936},[147],{"categories":2938},[47],{"categories":2940},[47],{"categories":2942},[47],{"categories":2944},[91],{"categories":2946},[91],{"categories":2948},[47,86],{"categories":2950},[],{"categories":2952},[144],{"categories":2954},[],{"categories":2956},[47],{"categories":2958},[113],{"categories":2960},[83],{"categories":2962},[83],{"categories":2964},[91],{"categories":2966},[91],{"categories":2968},[91],{"categories":2970},[47],{"categories":2972},[47],{"categories":2974},[86],{"categories":2976},[160],{"categories":2978},[169],{"categories":2980},[47],{"categories":2982},[],{"categories":2984},[113],{"categories":2986},[47],{"categories":2988},[47],{"categories":2990},[47],{"categories":2992},[47],{"categories":2994},[47],{"categories":2996},[160],{"categories":2998},[113],{"categories":3000},[160],{"categories":3002},[160],{"categories":3004},[47],{"categories":3006},[47],{"categories":3008},[47],{"categories":3010},[91],{"categories":3012},[113],{"categories":3014},[47],{"categories":3016},[91],{"categories":3018},[47],{"categories":3020},[47],{"categories":3022},[144],{"categories":3024},[47],{"categories":3026},[47],{"categories":3028},[194],{"categories":3030},[47],{"categories":3032},[94],{"categories":3034},[91],{"categories":3036},[47],{"categories":3038},[47],{"categories":3040},[113],{"categories":3042},[47],{"categories":3044},[91],{"categories":3046},[169],{"categories":3048},[47],{"categories":3050},[47],{"categories":3052},[86],{"categories":3054},[47],{"categories":3056},[],{"categories":3058},[47],{"categories":3060},[160],{"categories":3062},[47],{"categories":3064},[],{"categories":3066},[],{"categories":3068},[],{"categories":3070},[86],{"categories":3072},[47],{"categories":3074},[91],{"categories":3076},[113],{"categories":3078},[113],{"categories":3080},[113],{"categories":3082},[113],{"categories":3084},[],{"categories":3086},[83],{"categories":3088},[91],{"categories":3090},[113],{"categories":3092},[47],{"categories":3094},[83],{"categories":3096},[91],{"categories":3098},[47],{"categories":3100},[47,91],{"categories":3102},[91],{"categories":3104},[194],{"categories":3106},[113],{"categories":3108},[91],{"categories":3110},[113],{"categories":3112},[91],{"categories":3114},[47],{"categories":3116},[],{"categories":3118},[113],{"categories":3120},[169],{"categories":3122},[83],{"categories":3124},[47],{"categories":3126},[47],{"categories":3128},[],{"categories":3130},[160],{"categories":3132},[],{"categories":3134},[83],{"categories":3136},[91],{"categories":3138},[113],{"categories":3140},[47],{"categories":3142},[113],{"categories":3144},[83],{"categories":3146},[113],{"categories":3148},[113],{"categories":3150},[],{"categories":3152},[86],{"categories":3154},[91],{"categories":3156},[113],{"categories":3158},[113],{"categories":3160},[113],{"categories":3162},[113],{"categories":3164},[113],{"categories":3166},[113],{"categories":3168},[113],{"categories":3170},[113],{"categories":3172},[113],{"categories":3174},[113],{"categories":3176},[147],{"categories":3178},[83],{"categories":3180},[47],{"categories":3182},[47],{"categories":3184},[91],{"categories":3186},[91],{"categories":3188},[],{"categories":3190},[47,83],{"categories":3192},[],{"categories":3194},[91],{"categories":3196},[113],{"categories":3198},[91],{"categories":3200},[47],{"categories":3202},[47],{"categories":3204},[47],{"categories":3206},[47],{"categories":3208},[47],{"categories":3210},[91],{"categories":3212},[86],{"categories":3214},[91],{"categories":3216},[],{"categories":3218},[144],{"categories":3220},[113],{"categories":3222},[47],{"categories":3224},[],{"categories":3226},[],{"categories":3228},[91],{"categories":3230},[144],{"categories":3232},[47],{"categories":3234},[],{"categories":3236},[47],{"categories":3238},[],{"categories":3240},[169],{"categories":3242},[47],{"categories":3244},[],{"categories":3246},[],{"categories":3248},[113],{"categories":3250},[83],{"categories":3252},[47],{"categories":3254},[86],{"categories":3256},[47],{"categories":3258},[47],{"categories":3260},[47],{"categories":3262},[86],{"categories":3264},[144],{"categories":3266},[],{"categories":3268},[47],{"categories":3270},[113],{"categories":3272},[],{"categories":3274},[144],{"categories":3276},[47],{"categories":3278},[169],{"categories":3280},[47],{"categories":3282},[194],{"categories":3284},[],{"categories":3286},[169],{"categories":3288},[],{"categories":3290},[47],{"categories":3292},[],{"categories":3294},[91],{"categories":3296},[160],{"categories":3298},[],{"categories":3300},[86],{"categories":3302},[83],{"categories":3304},[91],{"categories":3306},[144],{"categories":3308},[160],{"categories":3310},[],{"categories":3312},[],{"categories":3314},[47],{"categories":3316},[83],{"categories":3318},[47],{"categories":3320},[169],{"categories":3322},[],{"categories":3324},[91],{"categories":3326},[91],{"categories":3328},[91],{"categories":3330},[113],{"categories":3332},[160],{"categories":3334},[47],{"categories":3336},[91],{"categories":3338},[94],{"categories":3340},[47],{"categories":3342},[91],{"categories":3344},[47],{"categories":3346},[94],{"categories":3348},[169],{"categories":3350},[113],{"categories":3352},[],{"categories":3354},[169],{"categories":3356},[],{"categories":3358},[160],{"categories":3360},[91],{"categories":3362},[],{"categories":3364},[47],{"categories":3366},[47],{"categories":3368},[47],{"categories":3370},[91],{"categories":3372},[86],{"categories":3374},[83],{"categories":3376},[47],{"categories":3378},[144],{"categories":3380},[160],{"categories":3382},[160],{"categories":3384},[47],{"categories":3386},[147],{"categories":3388},[91],{"categories":3390},[47],{"categories":3392},[91],{"categories":3394},[47],{"categories":3396},[86],{"categories":3398},[144],{"categories":3400},[160],{"categories":3402},[91],{"categories":3404},[47],{"categories":3406},[47],{"categories":3408},[91],{"categories":3410},[47],{"categories":3412},[113],{"categories":3414},[],{"categories":3416},[83],{"categories":3418},[47],{"categories":3420},[47],{"categories":3422},[47],{"categories":3424},[91],{"categories":3426},[47],{"categories":3428},[47],{"categories":3430},[47],{"categories":3432},[],{"categories":3434},[47],{"categories":3436},[144],{"categories":3438},[86],{"categories":3440},[113],{"categories":3442},[91],{"categories":3444},[47],{"categories":3446},[47],{"categories":3448},[144],{"categories":3450},[91],{"categories":3452},[47],{"categories":3454},[169],{"categories":3456},[147],{"categories":3458},[47],{"categories":3460},[47],{"categories":3462},[113],{"categories":3464},[47],{"categories":3466},[91],{"categories":3468},[194],{"categories":3470},[47],{"categories":3472},[91],{"categories":3474},[147],{"categories":3476},[],{"categories":3478},[91],{"categories":3480},[160],{"categories":3482},[144],{"categories":3484},[47],{"categories":3486},[83],{"categories":3488},[160],{"categories":3490},[86],{"categories":3492},[160],{"categories":3494},[47],{"categories":3496},[],{"categories":3498},[91],{"categories":3500},[91],{"categories":3502},[47],{"categories":3504},[47],{"categories":3506},[147],{"categories":3508},[],{"categories":3510},[113],{"categories":3512},[],{"categories":3514},[113],{"categories":3516},[47],{"categories":3518},[47],{"categories":3520},[91],{"categories":3522},[91],{"categories":3524},[91],{"categories":3526},[],{"categories":3528},[113],{"categories":3530},[47],{"categories":3532},[],{"categories":3534},[47],{"categories":3536},[47],{"categories":3538},[],{"categories":3540},[144],{"categories":3542},[160],{"categories":3544},[91],{"categories":3546},[47],{"categories":3548},[47],{"categories":3550},[169],{"categories":3552},[47],{"categories":3554},[47],{"categories":3556},[83],{"categories":3558},[],{"categories":3560},[47],{"categories":3562},[],{"categories":3564},[83],{"categories":3566},[113],{"categories":3568},[160],{"categories":3570},[47],{"categories":3572},[47],{"categories":3574},[47],{"categories":3576},[160],{"categories":3578},[113],{"categories":3580},[144],{"categories":3582},[47],{"categories":3584},[47],{"categories":3586},[47],{"categories":3588},[113],{"categories":3590},[144],{"categories":3592},[47],{"categories":3594},[113],{"categories":3596},[144],{"categories":3598},[47],{"categories":3600},[113],{"categories":3602},[91],{"categories":3604},[91],{"categories":3606},[91],{"categories":3608},[160],{"categories":3610},[113],{"categories":3612},[91],{"categories":3614},[91],{"categories":3616},[47],{"categories":3618},[160],{"categories":3620},[144],{"categories":3622},[47],{"categories":3624},[],{"categories":3626},[91],{"categories":3628},[],{"categories":3630},[],{"categories":3632},[],{"categories":3634},[86],{"categories":3636},[91],{"categories":3638},[47],{"categories":3640},[91],{"categories":3642},[83],{"categories":3644},[91],{"categories":3646},[169],{"categories":3648},[91],{"categories":3650},[],{"categories":3652},[91],{"categories":3654},[],{"categories":3656},[83],{"categories":3658},[91],{"categories":3660},[],{"categories":3662},[91],{"categories":3664},[47],{"categories":3666},[47],{"categories":3668},[113],{"categories":3670},[47],{"categories":3672},[91],{"categories":3674},[47],{"categories":3676},[47],{"categories":3678},[113],{"categories":3680},[91],{"categories":3682},[160],{"categories":3684},[144],{"categories":3686},[83],{"categories":3688},[],{"categories":3690},[91],{"categories":3692},[144],{"categories":3694},[194],{"categories":3696},[113],{"categories":3698},[47],{"categories":3700},[144],{"categories":3702},[47],{"categories":3704},[83],{"categories":3706},[],{"categories":3708},[91],{"categories":3710},[47],{"categories":3712},[47],{"categories":3714},[91],{"categories":3716},[47],{"categories":3718},[144],{"categories":3720},[],{"categories":3722},[91],{"categories":3724},[94],{"categories":3726},[113],{"categories":3728},[91],{"categories":3730},[86],{"categories":3732},[],{"categories":3734},[47],{"categories":3736},[94],{"categories":3738},[47],{"categories":3740},[91],{"categories":3742},[113],{"categories":3744},[83],{"categories":3746},[194],{"categories":3748},[47],{"categories":3750},[47],{"categories":3752},[47],{"categories":3754},[113],{"categories":3756},[86],{"categories":3758},[47],{"categories":3760},[144],{"categories":3762},[113],{"categories":3764},[194],{"categories":3766},[47],{"categories":3768},[],{"categories":3770},[],{"categories":3772},[47],{"categories":3774},[194],{"categories":3776},[147],{"categories":3778},[91],{"categories":3780},[91],{"categories":3782},[113],{"categories":3784},[47],{"categories":3786},[83],{"categories":3788},[47],{"categories":3790},[144],{"categories":3792},[91],{"categories":3794},[91],{"categories":3796},[47],{"categories":3798},[169],{"categories":3800},[47],{"categories":3802},[91],{"categories":3804},[],{"categories":3806},[47],{"categories":3808},[47],{"categories":3810},[47],{"categories":3812},[113],{"categories":3814},[83],{"categories":3816},[],{"categories":3818},[47],{"categories":3820},[47],{"categories":3822},[160],{"categories":3824},[144],{"categories":3826},[47],{"categories":3828},[47,91],{"categories":3830},[169,86],{"categories":3832},[47],{"categories":3834},[47],{"categories":3836},[],{"categories":3838},[91],{"categories":3840},[],{"categories":3842},[160],{"categories":3844},[47],{"categories":3846},[160],{"categories":3848},[],{"categories":3850},[47],{"categories":3852},[113],{"categories":3854},[47],{"categories":3856},[],{"categories":3858},[91],{"categories":3860},[47],{"categories":3862},[],{"categories":3864},[144],{"categories":3866},[47],{"categories":3868},[91],{"categories":3870},[47],{"categories":3872},[83],{"categories":3874},[91],{"categories":3876},[47],{"categories":3878},[],{"categories":3880},[194],{"categories":3882},[169],{"categories":3884},[86],{"categories":3886},[86],{"categories":3888},[47],{"categories":3890},[83],{"categories":3892},[83],{"categories":3894},[47],{"categories":3896},[91],{"categories":3898},[47],{"categories":3900},[47],{"categories":3902},[47],{"categories":3904},[160],{"categories":3906},[83],{"categories":3908},[47],{"categories":3910},[169],{"categories":3912},[113],{"categories":3914},[47],{"categories":3916},[47],{"categories":3918},[91],{"categories":3920},[47],{"categories":3922},[],{"categories":3924},[160],{"categories":3926},[],{"categories":3928},[160],{"categories":3930},[91],{"categories":3932},[83],{"categories":3934},[],{"categories":3936},[194],{"categories":3938},[47],{"categories":3940},[160],{"categories":3942},[],{"categories":3944},[113],{"categories":3946},[91],{"categories":3948},[160],{"categories":3950},[47],{"categories":3952},[91],{"categories":3954},[160],{"categories":3956},[91],{"categories":3958},[113],{"categories":3960},[83],{"categories":3962},[113],{"categories":3964},[160],{"categories":3966},[47],{"categories":3968},[144],{"categories":3970},[86],{"categories":3972},[47],{"categories":3974},[47],{"categories":3976},[47],{"categories":3978},[47],{"categories":3980},[47],{"categories":3982},[91],{"categories":3984},[47],{"categories":3986},[91],{"categories":3988},[47],{"categories":3990},[47],{"categories":3992},[83],{"categories":3994},[47],{"categories":3996},[91],{"categories":3998},[144],{"categories":4000},[91],{"categories":4002},[91],{"categories":4004},[83],{"categories":4006},[91],{"categories":4008},[144],{"categories":4010},[],{"categories":4012},[47],{"categories":4014},[147],{"categories":4016},[47],{"categories":4018},[47],{"categories":4020},[160],{"categories":4022},[],{"categories":4024},[91],{"categories":4026},[169],{"categories":4028},[47],{"categories":4030},[113],{"categories":4032},[169],{"categories":4034},[91],{"categories":4036},[86],{"categories":4038},[86],{"categories":4040},[47],{"categories":4042},[47],{"categories":4044},[47],{"categories":4046},[83],{"categories":4048},[],{"categories":4050},[47],{"categories":4052},[91],{"categories":4054},[91],{"categories":4056},[47],{"categories":4058},[160],{"categories":4060},[],{"categories":4062},[83],{"categories":4064},[47],{"categories":4066},[47],{"categories":4068},[91],{"categories":4070},[91],{"categories":4072},[],{"categories":4074},[160],{"categories":4076},[160],{"categories":4078},[169],{"categories":4080},[144],{"categories":4082},[],{"categories":4084},[47],{"categories":4086},[91],{"categories":4088},[83],{"categories":4090},[47],{"categories":4092},[160],{"categories":4094},[83],{"categories":4096},[113],{"categories":4098},[113],{"categories":4100},[],{"categories":4102},[113],{"categories":4104},[91],{"categories":4106},[144],{"categories":4108},[147],{"categories":4110},[47],{"categories":4112},[],{"categories":4114},[91],{"categories":4116},[113],{"categories":4118},[160],{"categories":4120},[47],{"categories":4122},[86],{"categories":4124},[47],{"categories":4126},[83],{"categories":4128},[194],{"categories":4130},[83],{"categories":4132},[],{"categories":4134},[],{"categories":4136},[91],{"categories":4138},[113],{"categories":4140},[],{"categories":4142},[91],{"categories":4144},[91],{"categories":4146},[91],{"categories":4148},[],{"categories":4150},[47],{"categories":4152},[],{"categories":4154},[113],{"categories":4156},[83],{"categories":4158},[144],{"categories":4160},[47],{"categories":4162},[113],{"categories":4164},[47],{"categories":4166},[113],{"categories":4168},[],{"categories":4170},[113],{"categories":4172},[83],{"categories":4174},[91],{"categories":4176},[47],{"categories":4178},[],{"categories":4180},[160],{"categories":4182},[91],{"categories":4184},[94],{"categories":4186},[91],{"categories":4188},[83],{"categories":4190},[],{"categories":4192},[],{"categories":4194},[],{"categories":4196},[144],{"categories":4198},[91],{"categories":4200},[47],{"categories":4202},[47],{"categories":4204},[],{"categories":4206},[],{"categories":4208},[],{"categories":4210},[144],{"categories":4212},[],{"categories":4214},[91],{"categories":4216},[47],{"categories":4218},[83],{"categories":4220},[],{"categories":4222},[],{"categories":4224},[144],{"categories":4226},[47],{"categories":4228},[113],{"categories":4230},[],{"categories":4232},[169],{"categories":4234},[113],{"categories":4236},[169],{"categories":4238},[147],{"categories":4240},[47],{"categories":4242},[47],{"categories":4244},[],{"categories":4246},[],{"categories":4248},[91],{"categories":4250},[],{"categories":4252},[47],{"categories":4254},[],{"categories":4256},[91],{"categories":4258},[47],{"categories":4260},[],{"categories":4262},[91],{"categories":4264},[47],{"categories":4266},[113],{"categories":4268},[47],{"categories":4270},[169],{"categories":4272},[86],{"categories":4274},[47],{"categories":4276},[47],{"categories":4278},[147],{"categories":4280},[91],{"categories":4282},[91],{"categories":4284},[],{"categories":4286},[],{"categories":4288},[47],{"categories":4290},[],{"categories":4292},[113],{"categories":4294},[86],{"categories":4296},[],{"categories":4298},[],{"categories":4300},[144],{"categories":4302},[83],{"categories":4304},[],{"categories":4306},[86],{"categories":4308},[169],{"categories":4310},[47],{"categories":4312},[160],{"categories":4314},[83],{"categories":4316},[147],{"categories":4318},[86],{"categories":4320},[160],{"categories":4322},[160],{"categories":4324},[],{"categories":4326},[47],{"categories":4328},[],{"categories":4330},[91],{"categories":4332},[83],{"categories":4334},[144],{"categories":4336},[83],{"categories":4338},[91],{"categories":4340},[194],{"categories":4342},[47],{"categories":4344},[47],{"categories":4346},[83],{"categories":4348},[91],{"categories":4350},[],{"categories":4352},[47],{"categories":4354},[160],{"categories":4356},[113],{"categories":4358},[160],{"categories":4360},[47],{"categories":4362},[],{"categories":4364},[144],{"categories":4366},[113],{"categories":4368},[83],{"categories":4370},[91],{"categories":4372},[47],{"categories":4374},[47],{"categories":4376},[91],{"categories":4378},[47],{"categories":4380},[86],{"categories":4382},[91],{"categories":4384},[91,194],{"categories":4386},[91],{"categories":4388},[160],{"categories":4390},[47],{"categories":4392},[47],{"categories":4394},[147],{"categories":4396},[91],{"categories":4398},[169],{"categories":4400},[91],{"categories":4402},[86],{"categories":4404},[],{"categories":4406},[91],{"categories":4408},[47],{"categories":4410},[86],{"categories":4412},[],{"categories":4414},[],{"categories":4416},[47],{"categories":4418},[91],{"categories":4420},[147],{"categories":4422},[169],{"categories":4424},[47],{"categories":4426},[47],{"categories":4428},[91],{"categories":4430},[],{"categories":4432},[113],{"categories":4434},[],{"categories":4436},[113],{"categories":4438},[160],{"categories":4440},[83],{"categories":4442},[160],{"categories":4444},[47],{"categories":4446},[91],{"categories":4448},[47],{"categories":4450},[47],{"categories":4452},[169],{"categories":4454},[160],{"categories":4456},[],{"categories":4458},[113],{"categories":4460},[47],{"categories":4462},[],{"categories":4464},[47],{"categories":4466},[47],{"categories":4468},[47],{"categories":4470},[91],{"categories":4472},[47],{"categories":4474},[94],{"categories":4476},[91],{"categories":4478},[47],{"categories":4480},[47],{"categories":4482},[47],{"categories":4484},[47],{"categories":4486},[47],{"categories":4488},[86],{"categories":4490},[],{"categories":4492},[94],{"categories":4494},[113],{"categories":4496},[91],{"categories":4498},[47],{"categories":4500},[160],{"categories":4502},[],{"categories":4504},[160],{"categories":4506},[160],{"categories":4508},[91],{"categories":4510},[160],{"categories":4512},[47],{"categories":4514},[47],{"categories":4516},[160],{"categories":4518},[47],{"categories":4520},[91],{"categories":4522},[113],{"categories":4524},[47],{"categories":4526},[47],{"categories":4528},[47],{"categories":4530},[86],{"categories":4532},[47],{"categories":4534},[91],{"categories":4536},[144],{"categories":4538},[],{"categories":4540},[147],{"categories":4542},[91],{"categories":4544},[47],{"categories":4546},[],{"categories":4548},[47],{"categories":4550},[47],{"categories":4552},[113],{"categories":4554},[47],{"categories":4556},[91],{"categories":4558},[169],{"categories":4560},[],{"categories":4562},[],{"categories":4564},[113],{"categories":4566},[113],{"categories":4568},[47],{"categories":4570},[169],{"categories":4572},[47],{"categories":4574},[83],{"categories":4576},[91],{"categories":4578},[47],{"categories":4580},[91],{"categories":4582},[91],{"categories":4584},[47],{"categories":4586},[86],{"categories":4588},[],{"categories":4590},[147],{"categories":4592},[],{"categories":4594},[113],{"categories":4596},[47],{"categories":4598},[147],{"categories":4600},[47],{"categories":4602},[160],{"categories":4604},[160],{"categories":4606},[160],{"categories":4608},[91],{"categories":4610},[91],{"categories":4612},[144],{"categories":4614},[147],{"categories":4616},[147],{"categories":4618},[],{"categories":4620},[113],{"categories":4622},[47],{"categories":4624},[47],{"categories":4626},[160],{"categories":4628},[],{"categories":4630},[113],{"categories":4632},[113],{"categories":4634},[113],{"categories":4636},[],{"categories":4638},[91],{"categories":4640},[47],{"categories":4642},[],{"categories":4644},[83],{"categories":4646},[86],{"categories":4648},[],{"categories":4650},[47],{"categories":4652},[47],{"categories":4654},[],{"categories":4656},[160],{"categories":4658},[],{"categories":4660},[],{"categories":4662},[],{"categories":4664},[],{"categories":4666},[47],{"categories":4668},[113],{"categories":4670},[],{"categories":4672},[],{"categories":4674},[47],{"categories":4676},[47],{"categories":4678},[47],{"categories":4680},[147],{"categories":4682},[47],{"categories":4684},[147],{"categories":4686},[],{"categories":4688},[147],{"categories":4690},[147],{"categories":4692},[194],{"categories":4694},[91],{"categories":4696},[160],{"categories":4698},[],{"categories":4700},[],{"categories":4702},[147],{"categories":4704},[160],{"categories":4706},[160],{"categories":4708},[160],{"categories":4710},[],{"categories":4712},[83],{"categories":4714},[160],{"categories":4716},[160],{"categories":4718},[83],{"categories":4720},[160],{"categories":4722},[86],{"categories":4724},[160],{"categories":4726},[160],{"categories":4728},[160],{"categories":4730},[147],{"categories":4732},[113],{"categories":4734},[113],{"categories":4736},[47],{"categories":4738},[160],{"categories":4740},[147],{"categories":4742},[194],{"categories":4744},[147],{"categories":4746},[147],{"categories":4748},[147],{"categories":4750},[],{"categories":4752},[86],{"categories":4754},[],{"categories":4756},[194],{"categories":4758},[160],{"categories":4760},[160],{"categories":4762},[160],{"categories":4764},[91],{"categories":4766},[113,86],{"categories":4768},[147],{"categories":4770},[],{"categories":4772},[],{"categories":4774},[147],{"categories":4776},[],{"categories":4778},[147],{"categories":4780},[113],{"categories":4782},[91],{"categories":4784},[],{"categories":4786},[160],{"categories":4788},[47],{"categories":4790},[144],{"categories":4792},[],{"categories":4794},[47],{"categories":4796},[],{"categories":4798},[113],{"categories":4800},[83],{"categories":4802},[147],{"categories":4804},[],{"categories":4806},[160],{"categories":4808},[113],[4810,4880,4932,4984],{"id":4811,"title":4812,"ai":4813,"body":4818,"categories":4860,"created_at":48,"date_modified":48,"description":40,"extension":49,"faq":48,"featured":50,"kicker_label":48,"meta":4861,"navigation":63,"path":4869,"published_at":4870,"question":48,"scraped_at":4870,"seo":4871,"sitemap":4872,"source_id":4873,"source_name":69,"source_type":70,"source_url":4874,"stem":4875,"tags":4876,"thumbnail_url":48,"tldr":4877,"tweet":48,"unknown_tags":4878,"__hash__":4879},"summaries\u002Fsummaries\u002Fc762634c1fa4a782-comparing-diff-in-means-and-inlp-for-llm-refusal-m-summary.md","Comparing Diff-in-Means and INLP for LLM Refusal Mechanisms",{"provider":7,"model":8,"input_tokens":4814,"output_tokens":4815,"processing_time_ms":4816,"cost_usd":4817},4084,526,2784,0.00181,{"type":14,"value":4819,"toc":4855},[4820,4824,4827,4831,4848,4852],[17,4821,4823],{"id":4822},"the-challenge-of-linear-refusal-representations","The Challenge of Linear Refusal Representations",[22,4825,4826],{},"Recent research into LLM safety often relies on the assumption that 'refusal'—the model's tendency to decline answering certain prompts—can be isolated as a single, linear vector within the model's activation space. This paper investigates this assumption by comparing two primary methods for identifying these directions: Difference-in-Means (Diff-in-Means) and Iterative Null-space Projection (INLP).",[17,4828,4830],{"id":4829},"diff-in-means-vs-inlp-methodological-trade-offs","Diff-in-Means vs. INLP: Methodological Trade-offs",[4832,4833,4834,4842],"ul",{},[4835,4836,4837,4841],"li",{},[4838,4839,4840],"strong",{},"Diff-in-Means:"," This approach calculates the average activation difference between a set of refusal prompts and a set of benign prompts. While computationally efficient and straightforward, it assumes that the refusal behavior is concentrated in a single, dominant direction. The study suggests that this method may be too simplistic to capture the nuanced, multi-dimensional nature of model refusals.",[4835,4843,4844,4847],{},[4838,4845,4846],{},"INLP (Iterative Null-space Projection):"," This technique iteratively identifies and removes linear components that correlate with a specific behavior (in this case, refusal). By repeatedly projecting activations into the null-space of the identified refusal direction, INLP aims to 'scrub' the model of the behavior more thoroughly than a single vector subtraction. The authors evaluate whether this iterative process is more effective at neutralizing refusal without degrading general model performance.",[17,4849,4851],{"id":4850},"preliminary-findings-on-refusal-complexity","Preliminary Findings on Refusal Complexity",[22,4853,4854],{},"The core argument is that refusal is likely not a single direction but a complex, multi-faceted phenomenon. The study highlights that while both methods are useful for interpretability, they often fail to account for the non-linear ways in which models encode safety constraints. The authors suggest that relying on a single linear direction for intervention is insufficient for robust safety alignment, as models may have multiple, redundant pathways for triggering a refusal response.",{"title":40,"searchDepth":41,"depth":41,"links":4856},[4857,4858,4859],{"id":4822,"depth":41,"text":4823},{"id":4829,"depth":41,"text":4830},{"id":4850,"depth":41,"text":4851},[47],{"content_references":4862,"triage":4866},[4863],{"type":54,"title":4864,"author":4865,"context":57},"Refusal Beyond a Single Direction: A Preliminary Comparison of Diff-in-Means and INLP","Unknown",{"relevance":60,"novelty":59,"quality":59,"actionability":41,"composite":4867,"reasoning":4868},3.25,"Category: AI & LLMs. The article discusses methodologies for improving LLM safety, which is relevant to AI product builders. However, it lacks direct actionable insights for implementation, focusing more on theoretical evaluation of techniques.","\u002Fsummaries\u002Fc762634c1fa4a782-comparing-diff-in-means-and-inlp-for-llm-refusal-m-summary","2026-06-15 12:57:02",{"title":4812,"description":40},{"loc":4869},"c762634c1fa4a782","https:\u002F\u002Farxiv.org\u002Fabs\u002F2606.13720","summaries\u002Fc762634c1fa4a782-comparing-diff-in-means-and-inlp-for-llm-refusal-m-summary",[73,74,75],"This paper evaluates two common techniques—Difference-in-Means and Iterative Null-space Projection (INLP)—for identifying and mitigating refusal behaviors in LLMs, highlighting the limitations of assuming refusal is a single, linear direction.",[],"LrQPOQc-3znscIAip-3DyoNqgvg6zzyYJLUmaEfcKEU",{"id":4881,"title":4882,"ai":4883,"body":4888,"categories":4914,"created_at":48,"date_modified":48,"description":40,"extension":49,"faq":48,"featured":50,"kicker_label":48,"meta":4915,"navigation":63,"path":4922,"published_at":4923,"question":48,"scraped_at":4923,"seo":4924,"sitemap":4925,"source_id":4926,"source_name":69,"source_type":70,"source_url":4919,"stem":4927,"tags":4928,"thumbnail_url":48,"tldr":4929,"tweet":48,"unknown_tags":4930,"__hash__":4931},"summaries\u002Fsummaries\u002Fac1bb60ccdeadde6-lung-r1-enhancing-pulmonary-diagnostics-with-knowl-summary.md","Lung-R1: Enhancing Pulmonary Diagnostics with Knowledge Graphs",{"provider":7,"model":8,"input_tokens":4884,"output_tokens":4885,"processing_time_ms":4886,"cost_usd":4887},4055,465,2883,0.00171125,{"type":14,"value":4889,"toc":4910},[4890,4894,4897,4900,4904,4907],[17,4891,4893],{"id":4892},"integrating-structured-knowledge-with-llm-reasoning","Integrating Structured Knowledge with LLM Reasoning",[22,4895,4896],{},"Lung-R1 addresses the limitations of standard Large Language Models (LLMs) in clinical settings—specifically their tendency to hallucinate and their lack of access to structured, domain-specific medical taxonomies. By utilizing a Knowledge Graph (KG)-guided approach, the framework forces the model to ground its diagnostic reasoning in verified medical relationships rather than relying solely on probabilistic text generation.",[22,4898,4899],{},"This architecture functions by retrieving relevant clinical entities and their hierarchical relationships from a pulmonary-specific knowledge graph before the LLM generates a diagnosis. This retrieval-augmented process ensures that the model's output remains consistent with established medical guidelines, effectively bridging the gap between unstructured clinical notes and structured medical knowledge.",[17,4901,4903],{"id":4902},"improving-diagnostic-reliability-and-explainability","Improving Diagnostic Reliability and Explainability",[22,4905,4906],{},"The primary advantage of the Lung-R1 framework is its impact on diagnostic reliability. By constraining the reasoning path through the knowledge graph, the system provides a more transparent audit trail for its conclusions. This is critical in pulmonary medicine, where diagnostic decisions often involve complex differential diagnoses based on overlapping symptoms and imaging findings.",[22,4908,4909],{},"Compared to baseline LLMs, Lung-R1 demonstrates improved accuracy in identifying pulmonary conditions by reducing the frequency of medically implausible suggestions. The integration of the knowledge graph acts as a guardrail, ensuring that the model adheres to clinical logic, which is essential for building trust in AI-assisted diagnostic tools. This approach highlights a shift in AI engineering from purely data-driven models to hybrid systems that combine the linguistic capabilities of LLMs with the rigorous, structured nature of expert-curated knowledge bases.",{"title":40,"searchDepth":41,"depth":41,"links":4911},[4912,4913],{"id":4892,"depth":41,"text":4893},{"id":4902,"depth":41,"text":4903},[47],{"content_references":4916,"triage":4920},[4917],{"type":54,"title":4918,"url":4919,"context":57},"Lung-R1: A Knowledge Graph-Guided LLM for Pulmonary Diagnostic Reasoning","https:\u002F\u002Farxiv.org\u002Fabs\u002F2606.11675",{"relevance":60,"novelty":59,"quality":59,"actionability":41,"composite":4867,"reasoning":4921},"Category: AI & LLMs. The article discusses a novel approach to improving LLMs in clinical diagnostics by integrating knowledge graphs, which addresses a specific pain point of hallucinations in AI models. However, while it presents interesting insights, it lacks practical steps that the audience can directly apply to their work.","\u002Fsummaries\u002Fac1bb60ccdeadde6-lung-r1-enhancing-pulmonary-diagnostics-with-knowl-summary","2026-06-11 12:57:18",{"title":4882,"description":40},{"loc":4922},"ac1bb60ccdeadde6","summaries\u002Fac1bb60ccdeadde6-lung-r1-enhancing-pulmonary-diagnostics-with-knowl-summary",[73,74,75],"Lung-R1 improves diagnostic accuracy in pulmonary medicine by integrating structured knowledge graphs with LLMs, reducing hallucinations and improving clinical reasoning.",[],"rAMmcjwtDbV_ulSVBB4VHM2Oo9MVWwRlopuL2qIyN7g",{"id":4933,"title":4934,"ai":4935,"body":4940,"categories":4968,"created_at":48,"date_modified":48,"description":40,"extension":49,"faq":48,"featured":50,"kicker_label":48,"meta":4969,"navigation":63,"path":4973,"published_at":4974,"question":48,"scraped_at":4974,"seo":4975,"sitemap":4976,"source_id":4977,"source_name":69,"source_type":70,"source_url":4978,"stem":4979,"tags":4980,"thumbnail_url":48,"tldr":4981,"tweet":48,"unknown_tags":4982,"__hash__":4983},"summaries\u002Fsummaries\u002Fc2b41c8657d601e1-improving-llm-reasoning-via-direction-aware-divers-summary.md","Improving LLM Reasoning via Direction-Aware Diversity Exploration",{"provider":7,"model":8,"input_tokens":4936,"output_tokens":4937,"processing_time_ms":4938,"cost_usd":4939},4104,449,2687,0.0016995,{"type":14,"value":4941,"toc":4963},[4942,4946,4949,4953,4956,4960],[17,4943,4945],{"id":4944},"the-problem-memorization-vs-reasoning-in-rl","The Problem: Memorization vs. Reasoning in RL",[22,4947,4948],{},"Reinforcement Learning (RL) for Large Language Models often suffers from a critical failure mode: the model learns to memorize specific output patterns that yield high rewards rather than developing robust reasoning capabilities. This 'shortcut' behavior occurs because standard exploration strategies in RL often collapse into narrow, high-probability paths that the model has already seen during pre-training. When a model relies on memorization, it fails to generalize to novel problems, effectively capping its intelligence at the limits of its training data.",[17,4950,4952],{"id":4951},"direction-aware-diversity-exploration","Direction-Aware Diversity Exploration",[22,4954,4955],{},"The authors propose a 'Direction-Aware Diversity Exploration' (DADE) framework to mitigate this. Instead of treating exploration as a random process, DADE explicitly encourages the model to explore different 'directions' or semantic trajectories during the training phase. By forcing the model to generate diverse reasoning paths—even if they initially seem less optimal—the training process prevents the premature convergence on a single, memorized solution. This forces the model to evaluate the underlying logic of a problem rather than simply predicting the most likely next token based on historical reward signals.",[17,4957,4959],{"id":4958},"impact-on-model-robustness","Impact on Model Robustness",[22,4961,4962],{},"By diversifying the exploration space, the model is exposed to a broader range of logical structures. The researchers demonstrate that this approach significantly improves performance on tasks requiring multi-step reasoning. The core insight is that true reasoning requires the ability to navigate a decision tree; by ensuring the model explores multiple branches of that tree during RL, the training process effectively 'teaches' the model to evaluate the validity of a path rather than just mimicking a successful outcome. This leads to models that are more resilient to distribution shifts and better at handling complex, unseen queries.",{"title":40,"searchDepth":41,"depth":41,"links":4964},[4965,4966,4967],{"id":4944,"depth":41,"text":4945},{"id":4951,"depth":41,"text":4952},{"id":4958,"depth":41,"text":4959},[47],{"content_references":4970,"triage":4971},[],{"relevance":60,"novelty":59,"quality":59,"actionability":41,"composite":4867,"reasoning":4972},"Category: AI & LLMs. The article discusses a novel approach to improving LLM reasoning through a new exploration framework, which addresses a specific challenge in AI model training. However, it lacks practical steps for implementation, making it less actionable for product builders.","\u002Fsummaries\u002Fc2b41c8657d601e1-improving-llm-reasoning-via-direction-aware-divers-summary","2026-06-10 12:57:08",{"title":4934,"description":40},{"loc":4973},"c2b41c8657d601e1","https:\u002F\u002Farxiv.org\u002Fabs\u002F2606.10346","summaries\u002Fc2b41c8657d601e1-improving-llm-reasoning-via-direction-aware-divers-summary",[73,74,75],"The paper introduces a method to prevent memorization in LLM reinforcement learning by encouraging diverse exploration paths, ensuring models learn genuine reasoning rather than rote pattern matching.",[],"sT_iz9oKePpCwZRruMbTaSvCrDxju6WN_9knR_vXdgc",{"id":4985,"title":4986,"ai":4987,"body":4992,"categories":5012,"created_at":48,"date_modified":48,"description":40,"extension":49,"faq":48,"featured":50,"kicker_label":48,"meta":5013,"navigation":63,"path":5021,"published_at":5022,"question":48,"scraped_at":5022,"seo":5023,"sitemap":5024,"source_id":5025,"source_name":69,"source_type":70,"source_url":5017,"stem":5026,"tags":5027,"thumbnail_url":48,"tldr":5028,"tweet":48,"unknown_tags":5029,"__hash__":5030},"summaries\u002Fsummaries\u002F48f93f96a0be26e4-geometric-activation-steering-via-angle-norm-decom-summary.md","Geometric Activation Steering via Angle-Norm Decomposition",{"provider":7,"model":8,"input_tokens":4988,"output_tokens":4989,"processing_time_ms":4990,"cost_usd":4991},4043,436,2818,0.00166475,{"type":14,"value":4993,"toc":5008},[4994,4998,5001,5005],[17,4995,4997],{"id":4996},"decomposing-steering-vectors","Decomposing Steering Vectors",[22,4999,5000],{},"Activation steering—the practice of adding a vector to a model's internal activations to influence its output—is often treated as a black-box additive process. This research provides a geometric framework for understanding these interventions by decomposing the steering vector into two distinct components: the angle (direction) and the norm (magnitude). By analyzing how these components interact with the model's existing hidden states, the authors demonstrate that steering is not a monolithic operation but a combination of re-orienting the representation vector and adjusting its intensity.",[17,5002,5004],{"id":5003},"the-dominance-of-angular-shifts","The Dominance of Angular Shifts",[22,5006,5007],{},"The study reveals that the efficacy of most activation steering techniques is primarily driven by angular changes. When a steering vector is applied, the model's internal representation is pushed toward a new direction in the high-dimensional activation space. The authors argue that while norm adjustments (scaling) occur, they are often secondary to the directional shift. This geometric insight allows practitioners to predict the impact of a steering vector more accurately by measuring the cosine similarity shift it induces, rather than relying solely on the magnitude of the added vector. This approach provides a clearer path for optimizing steering vectors to achieve specific behavioral changes while minimizing unintended side effects in model performance.",{"title":40,"searchDepth":41,"depth":41,"links":5009},[5010,5011],{"id":4996,"depth":41,"text":4997},{"id":5003,"depth":41,"text":5004},[47],{"content_references":5014,"triage":5019},[5015],{"type":54,"title":5016,"url":5017,"context":5018},"A Geometric Account of Activation Steering through Angle-Norm Decomposition","https:\u002F\u002Farxiv.org\u002Fabs\u002F2606.06735","reviewed",{"relevance":60,"novelty":59,"quality":59,"actionability":41,"composite":4867,"reasoning":5020},"Category: AI & LLMs. The article discusses a specific aspect of activation steering in LLMs, which is relevant to AI engineering. While it presents new insights into the geometric understanding of steering vectors, it lacks practical applications or frameworks that the audience can directly implement.","\u002Fsummaries\u002F48f93f96a0be26e4-geometric-activation-steering-via-angle-norm-decom-summary","2026-06-08 12:56:52",{"title":4986,"description":40},{"loc":5021},"48f93f96a0be26e4","summaries\u002F48f93f96a0be26e4-geometric-activation-steering-via-angle-norm-decom-summary",[73,74,75],"Activation steering in LLMs can be decomposed into angular and norm-based components, revealing that steering vectors often function by shifting the direction of internal representations rather than simply scaling their magnitude.",[],"na90Ni3wC5ZTbR64CIDR2alJ4qt8lK2hWFT-FF-0lHM"]