[{"data":1,"prerenderedAt":-1},["ShallowReactive",2],{"summary-39ac2714d1861de1-formal-verification-for-reliable-ai-agent-workflow-summary":3,"summaries-facets-categories":99,"summary-related-39ac2714d1861de1-formal-verification-for-reliable-ai-agent-workflow-summary":4574},{"id":4,"title":5,"ai":6,"body":13,"categories":64,"created_at":66,"date_modified":66,"description":59,"extension":67,"faq":66,"featured":68,"kicker_label":66,"meta":69,"navigation":81,"path":82,"published_at":83,"question":66,"scraped_at":83,"seo":84,"sitemap":85,"source_id":86,"source_name":87,"source_type":88,"source_url":89,"stem":90,"tags":91,"thumbnail_url":66,"tldr":96,"tweet":66,"unknown_tags":97,"__hash__":98},"summaries\u002Fsummaries\u002F39ac2714d1861de1-formal-verification-for-reliable-ai-agent-workflow-summary.md","Formal Verification for Reliable AI Agent Workflows",{"provider":7,"model":8,"input_tokens":9,"output_tokens":10,"processing_time_ms":11,"cost_usd":12},"openrouter","google\u002Fgemini-3.1-flash-lite",4091,474,3579,0.00173375,{"type":14,"value":15,"toc":58},"minimark",[16,21,25,29,32,55],[17,18,20],"h2",{"id":19},"formalizing-agent-behavior-with-lean-4","Formalizing Agent Behavior with Lean 4",[22,23,24],"p",{},"As AI agents move from simple chat interfaces to complex, multi-step autonomous workflows, the lack of reliability and predictability becomes a critical bottleneck. Lean4Agent addresses this by applying formal methods—traditionally used in high-assurance software engineering—to the domain of LLM-based agents. By leveraging the Lean 4 theorem prover, the framework allows developers to define agent workflows as formal specifications, enabling mathematical verification of agent trajectories.",[17,26,28],{"id":27},"moving-beyond-probabilistic-guarantees","Moving Beyond Probabilistic Guarantees",[22,30,31],{},"Traditional agent evaluation relies on probabilistic testing (e.g., success rates on benchmarks), which fails to provide guarantees for edge cases or complex state transitions. Lean4Agent shifts this paradigm by:",[33,34,35,43,49],"ul",{},[36,37,38,42],"li",{},[39,40,41],"strong",{},"Modeling Workflows:"," Representing agent decision-making processes, tool usage, and state transitions as formal logic structures.",[36,44,45,48],{},[39,46,47],{},"Trajectory Verification:"," Ensuring that an agent’s execution path adheres to defined safety constraints and logical invariants throughout the entire task lifecycle.",[36,50,51,54],{},[39,52,53],{},"Correctness Proofs:"," Providing a mechanism to prove that an agent will reach a desired goal state without violating predefined operational boundaries, effectively bridging the gap between non-deterministic LLM outputs and deterministic system requirements.",[22,56,57],{},"This approach is particularly valuable for high-stakes environments where agent failure could lead to security vulnerabilities or system instability. By treating agent workflows as formal software artifacts, developers can apply rigorous testing and verification cycles that are currently missing from standard agentic development pipelines.",{"title":59,"searchDepth":60,"depth":60,"links":61},"",2,[62,63],{"id":19,"depth":60,"text":20},{"id":27,"depth":60,"text":28},[65],"AI & LLMs",null,"md",false,{"content_references":70,"triage":76},[71],{"type":72,"title":73,"url":74,"context":75},"tool","Lean 4","https:\u002F\u002Flean-lang.org\u002F","recommended",{"relevance":77,"novelty":78,"quality":78,"actionability":78,"composite":79,"reasoning":80},5,4,4.35,"Category: AI & LLMs. The article discusses a formal verification framework for AI agent workflows, addressing a critical pain point of reliability in AI systems. It provides actionable insights into using formal methods for verifying agent behavior, which is directly applicable to developers building AI-powered products.",true,"\u002Fsummaries\u002F39ac2714d1861de1-formal-verification-for-reliable-ai-agent-workflow-summary","2026-06-08 12:56:51",{"title":5,"description":59},{"loc":82},"39ac2714d1861de1","arXiv cs.AI","article","https:\u002F\u002Farxiv.org\u002Fabs\u002F2606.06523","summaries\u002F39ac2714d1861de1-formal-verification-for-reliable-ai-agent-workflow-summary",[92,93,94,95],"agents","ai-tools","formal-verification","software-engineering","Lean4Agent introduces a formal modeling framework using the Lean 4 theorem prover to verify the correctness, safety, and trajectory of AI agent workflows.",[94,95],"SxVy-ercVF_ZmE1k2yd8ZoTMWsLqEuZ0Con1CclXvho",[100,103,106,108,111,114,116,118,120,122,124,126,129,131,133,135,137,139,141,143,145,147,149,151,153,155,158,161,163,165,167,169,172,174,176,178,181,183,185,187,189,191,193,195,197,199,201,203,206,208,210,212,214,216,218,220,222,224,226,228,230,232,234,236,238,240,242,244,246,248,250,252,254,256,258,260,262,264,266,268,270,272,274,276,278,280,282,284,286,288,290,292,294,296,298,300,302,304,306,308,310,312,314,316,318,320,322,324,326,328,330,332,334,336,338,340,342,344,346,348,350,352,354,356,358,360,362,364,366,368,370,372,374,376,378,380,382,384,386,388,390,392,394,396,398,400,402,404,406,408,410,412,414,416,418,420,422,424,426,428,430,432,434,436,438,440,442,444,446,448,450,452,454,456,458,460,462,464,466,468,470,472,474,476,478,480,482,484,486,488,490,492,494,496,498,500,502,504,506,508,510,512,514,516,518,520,522,524,526,528,530,532,534,536,538,540,542,544,546,548,550,552,554,556,558,560,562,564,566,568,570,572,574,576,578,580,582,584,586,588,590,592,594,596,598,600,602,604,606,608,610,612,614,616,618,620,622,624,626,628,630,632,634,636,638,640,642,644,646,648,650,652,654,656,658,660,662,664,666,668,670,672,674,676,678,680,682,684,686,688,690,692,694,696,698,700,702,704,706,708,710,712,714,716,718,720,722,724,726,728,730,732,734,736,738,740,742,744,746,748,750,752,754,756,758,760,762,764,766,768,770,772,774,776,778,780,782,784,786,788,790,792,794,796,798,800,802,804,806,808,810,812,814,816,818,820,822,824,826,828,830,832,834,836,838,840,842,844,846,848,850,852,854,856,858,860,862,864,866,868,870,872,874,876,878,880,882,884,886,888,890,892,894,896,898,900,902,904,906,908,910,912,914,916,918,920,922,924,926,928,930,932,934,936,938,940,942,944,946,948,950,952,954,956,958,960,962,964,966,968,970,972,974,976,978,980,982,984,986,988,990,992,994,996,998,1000,1002,1004,1006,1008,1010,1012,1014,1016,1018,1020,1022,1024,1026,1028,1030,1032,1034,1036,1038,1040,1042,1044,1046,1048,1050,1052,1054,1056,1058,1060,1062,1064,1066,1068,1070,1072,1074,1076,1078,1080,1082,1084,1086,1088,1090,1092,1094,1096,1098,1100,1102,1104,1106,1108,1110,1112,1114,1116,1118,1120,1122,1124,1126,1128,1130,1132,1134,1136,1138,1140,1142,1144,1146,1148,1150,1152,1154,1156,1158,1160,1162,1164,1166,1168,1170,1172,1174,1176,1178,1180,1182,1184,1186,1188,1190,1192,1194,1196,1198,1200,1202,1204,1206,1208,1210,1212,1214,1216,1218,1220,1222,1224,1226,1228,1230,1232,1234,1236,1238,1240,1242,1244,1246,1248,1250,1252,1254,1256,1258,1260,1262,1264,1266,1268,1270,1272,1274,1276,1278,1280,1282,1284,1286,1288,1290,1292,1294,1296,1298,1300,1302,1304,1306,1308,1310,1312,1314,1316,1318,1320,1322,1324,1326,1328,1330,1332,1334,1336,1338,1340,1342,1344,1346,1348,1350,1352,1354,1356,1358,1360,1362,1364,1366,1368,1370,1372,1374,1376,1378,1380,1382,1384,1386,1388,1390,1392,1394,1396,1398,1400,1402,1404,1406,1408,1410,1412,1414,1416,1418,1420,1422,1424,1426,1428,1430,1432,1434,1436,1438,1440,1442,1444,1446,1448,1450,1452,1454,1456,1458,1460,1462,1464,1466,1468,1470,1472,1474,1476,1478,1480,1482,1484,1486,1488,1490,1492,1494,1496,1498,1500,1502,1504,1506,1508,1510,1512,1514,1516,1518,1520,1522,1524,1526,1528,1530,1532,1534,1536,1538,1540,1542,1544,1546,1548,1550,1552,1554,1556,1558,1560,1562,1564,1566,1568,1570,1572,1574,1576,1578,1580,1582,1584,1586,1588,1590,1592,1594,1596,1598,1600,1602,1604,1606,1608,1610,1612,1614,1616,1618,1620,1622,1624,1626,1628,1630,1632,1634,1636,1638,1640,1642,1644,1646,1648,1650,1652,1654,1656,1658,1660,1662,1664,1666,1668,1670,1672,1674,1676,1678,1680,1682,1684,1686,1688,1690,1692,1694,1696,1698,1700,1702,1704,1706,1708,1710,1712,1714,1716,1718,1720,1722,1724,1726,1728,1730,1732,1734,1736,1738,1740,1742,1744,1746,1748,1750,1752,1754,1756,1758,1760,1762,1764,1766,1768,1770,1772,1774,1776,1778,1780,1782,1784,1786,1788,1790,1792,1794,1796,1798,1800,1802,1804,1806,1808,1810,1812,1814,1816,1818,1820,1822,1824,1826,1828,1830,1832,1834,1836,1838,1840,1842,1844,1846,1848,1850,1852,1854,1856,1858,1860,1862,1864,1866,1868,1870,1872,1874,1876,1878,1880,1882,1884,1886,1888,1890,1892,1894,1896,1898,1900,1902,1904,1906,1908,1910,1912,1914,1916,1918,1920,1922,1924,1926,1928,1930,1932,1934,1936,1938,1940,1942,1944,1946,1948,1950,1952,1954,1956,1958,1960,1962,1964,1966,1968,1970,1972,1974,1976,1978,1980,1982,1984,1986,1988,1990,1992,1994,1996,1998,2000,2002,2004,2006,2008,2010,2012,2014,2016,2018,2020,2022,2024,2026,2028,2030,2032,2034,2036,2038,2040,2042,2044,2046,2048,2050,2052,2054,2056,2058,2060,2062,2064,2066,2068,2070,2072,2074,2076,2078,2080,2082,2084,2086,2088,2090,2092,2094,2096,2098,2100,2102,2104,2106,2108,2110,2112,2114,2116,2118,2120,2122,2124,2126,2128,2130,2132,2134,2136,2138,2140,2142,2144,2146,2148,2150,2152,2154,2156,2158,2160,2162,2164,2166,2168,2170,2172,2174,2176,2178,2180,2182,2184,2186,2188,2190,2192,2194,2196,2198,2200,2202,2204,2206,2208,2210,2212,2214,2216,2218,2220,2222,2224,2226,2228,2230,2232,2234,2236,2238,2240,2242,2244,2246,2248,2250,2252,2254,2256,2258,2260,2262,2264,2266,2268,2270,2272,2274,2276,2278,2280,2282,2284,2286,2288,2290,2292,2294,2296,2298,2300,2302,2304,2306,2308,2310,2312,2314,2316,2318,2320,2322,2324,2326,2328,2330,2332,2334,2336,2338,2340,2342,2344,2346,2348,2350,2352,2354,2356,2358,2360,2362,2364,2366,2368,2370,2372,2374,2376,2378,2380,2382,2384,2386,2388,2390,2392,2394,2396,2398,2400,2402,2404,2406,2408,2410,2412,2414,2416,2418,2420,2422,2424,2426,2428,2430,2432,2434,2436,2438,2440,2442,2444,2446,2448,2450,2452,2454,2456,2458,2460,2462,2464,2466,2468,2470,2472,2474,2476,2478,2480,2482,2484,2486,2488,2490,2492,2494,2496,2498,2500,2502,2504,2506,2508,2510,2512,2514,2516,2518,2520,2522,2524,2526,2528,2530,2532,2534,2536,2538,2540,2542,2544,2546,2548,2550,2552,2554,2556,2558,2560,2562,2564,2566,2568,2570,2572,2574,2576,2578,2580,2582,2584,2586,2588,2590,2592,2594,2596,2598,2600,2602,2604,2606,2608,2610,2612,2614,2616,2618,2620,2622,2624,2626,2628,2630,2632,2634,2636,2638,2640,2642,2644,2646,2648,2650,2652,2654,2656,2658,2660,2662,2664,2666,2668,2670,2672,2674,2676,2678,2680,2682,2684,2686,2688,2690,2692,2694,2696,2698,2700,2702,2704,2706,2708,2710,2712,2714,2716,2718,2720,2722,2724,2726,2728,2730,2732,2734,2736,2738,2740,2742,2744,2746,2748,2750,2752,2754,2756,2758,2760,2762,2764,2766,2768,2770,2772,2774,2776,2778,2780,2782,2784,2786,2788,2790,2792,2794,2796,2798,2800,2802,2804,2806,2808,2810,2812,2814,2816,2818,2820,2822,2824,2826,2828,2830,2832,2834,2836,2838,2840,2842,2844,2846,2848,2850,2852,2854,2856,2858,2860,2862,2864,2866,2868,2870,2872,2874,2876,2878,2880,2882,2884,2886,2888,2890,2892,2894,2896,2898,2900,2902,2904,2906,2908,2910,2912,2914,2916,2918,2920,2922,2924,2926,2928,2930,2932,2934,2936,2938,2940,2942,2944,2946,2948,2950,2952,2954,2956,2958,2960,2962,2964,2966,2968,2970,2972,2974,2976,2978,2980,2982,2984,2986,2988,2990,2992,2994,2996,2998,3000,3002,3004,3006,3008,3010,3012,3014,3016,3018,3020,3022,3024,3026,3028,3030,3032,3034,3036,3038,3040,3042,3044,3046,3048,3050,3052,3054,3056,3058,3060,3062,3064,3066,3068,3070,3072,3074,3076,3078,3080,3082,3084,3086,3088,3090,3092,3094,3096,3098,3100,3102,3104,3106,3108,3110,3112,3114,3116,3118,3120,3122,3124,3126,3128,3130,3132,3134,3136,3138,3140,3142,3144,3146,3148,3150,3152,3154,3156,3158,3160,3162,3164,3166,3168,3170,3172,3174,3176,3178,3180,3182,3184,3186,3188,3190,3192,3194,3196,3198,3200,3202,3204,3206,3208,3210,3212,3214,3216,3218,3220,3222,3224,3226,3228,3230,3232,3234,3236,3238,3240,3242,3244,3246,3248,3250,3252,3254,3256,3258,3260,3262,3264,3266,3268,3270,3272,3274,3276,3278,3280,3282,3284,3286,3288,3290,3292,3294,3296,3298,3300,3302,3304,3306,3308,3310,3312,3314,3316,3318,3320,3322,3324,3326,3328,3330,3332,3334,3336,3338,3340,3342,3344,3346,3348,3350,3352,3354,3356,3358,3360,3362,3364,3366,3368,3370,3372,3374,3376,3378,3380,3382,3384,3386,3388,3390,3392,3394,3396,3398,3400,3402,3404,3406,3408,3410,3412,3414,3416,3418,3420,3422,3424,3426,3428,3430,3432,3434,3436,3438,3440,3442,3444,3446,3448,3450,3452,3454,3456,3458,3460,3462,3464,3466,3468,3470,3472,3474,3476,3478,3480,3482,3484,3486,3488,3490,3492,3494,3496,3498,3500,3502,3504,3506,3508,3510,3512,3514,3516,3518,3520,3522,3524,3526,3528,3530,3532,3534,3536,3538,3540,3542,3544,3546,3548,3550,3552,3554,3556,3558,3560,3562,3564,3566,3568,3570,3572,3574,3576,3578,3580,3582,3584,3586,3588,3590,3592,3594,3596,3598,3600,3602,3604,3606,3608,3610,3612,3614,3616,3618,3620,3622,3624,3626,3628,3630,3632,3634,3636,3638,3640,3642,3644,3646,3648,3650,3652,3654,3656,3658,3660,3662,3664,3666,3668,3670,3672,3674,3676,3678,3680,3682,3684,3686,3688,3690,3692,3694,3696,3698,3700,3702,3704,3706,3708,3710,3712,3714,3716,3718,3720,3722,3724,3726,3728,3730,3732,3734,3736,3738,3740,3742,3744,3746,3748,3750,3752,3754,3756,3758,3760,3762,3764,3766,3768,3770,3772,3774,3776,3778,3780,3782,3784,3786,3788,3790,3792,3794,3796,3798,3800,3802,3804,3806,3808,3810,3812,3814,3816,3818,3820,3822,3824,3826,3828,3830,3832,3834,3836,3838,3840,3842,3844,3846,3848,3850,3852,3854,3856,3858,3860,3862,3864,3866,3868,3870,3872,3874,3876,3878,3880,3882,3884,3886,3888,3890,3892,3894,3896,3898,3900,3902,3904,3906,3908,3910,3912,3914,3916,3918,3920,3922,3924,3926,3928,3930,3932,3934,3936,3938,3940,3942,3944,3946,3948,3950,3952,3954,3956,3958,3960,3962,3964,3966,3968,3970,3972,3974,3976,3978,3980,3982,3984,3986,3988,3990,3992,3994,3996,3998,4000,4002,4004,4006,4008,4010,4012,4014,4016,4018,4020,4022,4024,4026,4028,4030,4032,4034,4036,4038,4040,4042,4044,4046,4048,4050,4052,4054,4056,4058,4060,4062,4064,4066,4068,4070,4072,4074,4076,4078,4080,4082,4084,4086,4088,4090,4092,4094,4096,4098,4100,4102,4104,4106,4108,4110,4112,4114,4116,4118,4120,4122,4124,4126,4128,4130,4132,4134,4136,4138,4140,4142,4144,4146,4148,4150,4152,4154,4156,4158,4160,4162,4164,4166,4168,4170,4172,4174,4176,4178,4180,4182,4184,4186,4188,4190,4192,4194,4196,4198,4200,4202,4204,4206,4208,4210,4212,4214,4216,4218,4220,4222,4224,4226,4228,4230,4232,4234,4236,4238,4240,4242,4244,4246,4248,4250,4252,4254,4256,4258,4260,4262,4264,4266,4268,4270,4272,4274,4276,4278,4280,4282,4284,4286,4288,4290,4292,4294,4296,4298,4300,4302,4304,4306,4308,4310,4312,4314,4316,4318,4320,4322,4324,4326,4328,4330,4332,4334,4336,4338,4340,4342,4344,4346,4348,4350,4352,4354,4356,4358,4360,4362,4364,4366,4368,4370,4372,4374,4376,4378,4380,4382,4384,4386,4388,4390,4392,4394,4396,4398,4400,4402,4404,4406,4408,4410,4412,4414,4416,4418,4420,4422,4424,4426,4428,4430,4432,4434,4436,4438,4440,4442,4444,4446,4448,4450,4452,4454,4456,4458,4460,4462,4464,4466,4468,4470,4472,4474,4476,4478,4480,4482,4484,4486,4488,4490,4492,4494,4496,4498,4500,4502,4504,4506,4508,4510,4512,4514,4516,4518,4520,4522,4524,4526,4528,4530,4532,4534,4536,4538,4540,4542,4544,4546,4548,4550,4552,4554,4556,4558,4560,4562,4564,4566,4568,4570,4572],{"categories":101},[102],"Developer Productivity",{"categories":104},[105],"Business & SaaS",{"categories":107},[65],{"categories":109},[110],"AI Automation",{"categories":112},[113],"Product Strategy",{"categories":115},[65],{"categories":117},[102],{"categories":119},[105],{"categories":121},[],{"categories":123},[65],{"categories":125},[],{"categories":127},[128],"AI News & Trends",{"categories":130},[110],{"categories":132},[110],{"categories":134},[128],{"categories":136},[110],{"categories":138},[110],{"categories":140},[110],{"categories":142},[65],{"categories":144},[65],{"categories":146},[65],{"categories":148},[128],{"categories":150},[65],{"categories":152},[65],{"categories":154},[],{"categories":156},[157],"Design & Frontend",{"categories":159},[160],"Data Science & Visualization",{"categories":162},[128],{"categories":164},[65],{"categories":166},[],{"categories":168},[65],{"categories":170},[171],"Software Engineering",{"categories":173},[65],{"categories":175},[110],{"categories":177},[65],{"categories":179},[180],"Marketing & Growth",{"categories":182},[157],{"categories":184},[65],{"categories":186},[110],{"categories":188},[],{"categories":190},[],{"categories":192},[157],{"categories":194},[110],{"categories":196},[102],{"categories":198},[171],{"categories":200},[157],{"categories":202},[65],{"categories":204},[205],"DevOps & Cloud",{"categories":207},[110],{"categories":209},[128],{"categories":211},[65],{"categories":213},[],{"categories":215},[],{"categories":217},[110],{"categories":219},[171],{"categories":221},[],{"categories":223},[105],{"categories":225},[],{"categories":227},[],{"categories":229},[65],{"categories":231},[110],{"categories":233},[65],{"categories":235},[65],{"categories":237},[110],{"categories":239},[65],{"categories":241},[65],{"categories":243},[65],{"categories":245},[],{"categories":247},[171],{"categories":249},[],{"categories":251},[],{"categories":253},[171],{"categories":255},[],{"categories":257},[171],{"categories":259},[65],{"categories":261},[65],{"categories":263},[180],{"categories":265},[157],{"categories":267},[157],{"categories":269},[65],{"categories":271},[171],{"categories":273},[110],{"categories":275},[171],{"categories":277},[65],{"categories":279},[65],{"categories":281},[110],{"categories":283},[110],{"categories":285},[160],{"categories":287},[128],{"categories":289},[110],{"categories":291},[110],{"categories":293},[180],{"categories":295},[110],{"categories":297},[113],{"categories":299},[171],{"categories":301},[],{"categories":303},[110],{"categories":305},[],{"categories":307},[110],{"categories":309},[171],{"categories":311},[205],{"categories":313},[157],{"categories":315},[65],{"categories":317},[],{"categories":319},[171],{"categories":321},[65],{"categories":323},[],{"categories":325},[110],{"categories":327},[],{"categories":329},[65],{"categories":331},[],{"categories":333},[102],{"categories":335},[171],{"categories":337},[105],{"categories":339},[65],{"categories":341},[65],{"categories":343},[128],{"categories":345},[65],{"categories":347},[],{"categories":349},[65],{"categories":351},[],{"categories":353},[171],{"categories":355},[160],{"categories":357},[],{"categories":359},[65],{"categories":361},[157],{"categories":363},[],{"categories":365},[157],{"categories":367},[110],{"categories":369},[],{"categories":371},[65],{"categories":373},[65],{"categories":375},[110],{"categories":377},[128],{"categories":379},[105],{"categories":381},[65],{"categories":383},[],{"categories":385},[171],{"categories":387},[110],{"categories":389},[65],{"categories":391},[113],{"categories":393},[],{"categories":395},[65],{"categories":397},[113],{"categories":399},[110],{"categories":401},[65],{"categories":403},[110],{"categories":405},[],{"categories":407},[160],{"categories":409},[65],{"categories":411},[],{"categories":413},[102],{"categories":415},[65],{"categories":417},[105],{"categories":419},[65],{"categories":421},[110],{"categories":423},[65],{"categories":425},[171],{"categories":427},[65],{"categories":429},[],{"categories":431},[],{"categories":433},[65],{"categories":435},[65],{"categories":437},[],{"categories":439},[157],{"categories":441},[],{"categories":443},[65],{"categories":445},[],{"categories":447},[110],{"categories":449},[65],{"categories":451},[157],{"categories":453},[],{"categories":455},[65],{"categories":457},[65],{"categories":459},[105],{"categories":461},[110],{"categories":463},[65],{"categories":465},[65],{"categories":467},[157],{"categories":469},[110],{"categories":471},[],{"categories":473},[110],{"categories":475},[],{"categories":477},[128],{"categories":479},[],{"categories":481},[65],{"categories":483},[105,180],{"categories":485},[],{"categories":487},[65],{"categories":489},[110],{"categories":491},[],{"categories":493},[],{"categories":495},[157],{"categories":497},[65],{"categories":499},[],{"categories":501},[65],{"categories":503},[205],{"categories":505},[],{"categories":507},[128],{"categories":509},[157],{"categories":511},[],{"categories":513},[128],{"categories":515},[65],{"categories":517},[110],{"categories":519},[128],{"categories":521},[65],{"categories":523},[180],{"categories":525},[],{"categories":527},[105],{"categories":529},[171],{"categories":531},[65],{"categories":533},[110],{"categories":535},[],{"categories":537},[65,205],{"categories":539},[65],{"categories":541},[65],{"categories":543},[65],{"categories":545},[110],{"categories":547},[65,171],{"categories":549},[160],{"categories":551},[65],{"categories":553},[171],{"categories":555},[180],{"categories":557},[110],{"categories":559},[65],{"categories":561},[110],{"categories":563},[],{"categories":565},[110],{"categories":567},[65],{"categories":569},[65,105],{"categories":571},[105],{"categories":573},[],{"categories":575},[157],{"categories":577},[157],{"categories":579},[],{"categories":581},[],{"categories":583},[128],{"categories":585},[],{"categories":587},[102],{"categories":589},[65],{"categories":591},[171],{"categories":593},[65],{"categories":595},[157],{"categories":597},[110],{"categories":599},[171],{"categories":601},[128],{"categories":603},[157],{"categories":605},[],{"categories":607},[65],{"categories":609},[65],{"categories":611},[65],{"categories":613},[65],{"categories":615},[65],{"categories":617},[65],{"categories":619},[128],{"categories":621},[102],{"categories":623},[65],{"categories":625},[110],{"categories":627},[205],{"categories":629},[157],{"categories":631},[65],{"categories":633},[110],{"categories":635},[],{"categories":637},[],{"categories":639},[157],{"categories":641},[128],{"categories":643},[160],{"categories":645},[],{"categories":647},[65],{"categories":649},[65],{"categories":651},[105],{"categories":653},[65],{"categories":655},[65],{"categories":657},[65],{"categories":659},[128],{"categories":661},[157],{"categories":663},[],{"categories":665},[110],{"categories":667},[171],{"categories":669},[],{"categories":671},[65],{"categories":673},[65],{"categories":675},[110],{"categories":677},[171],{"categories":679},[65],{"categories":681},[],{"categories":683},[],{"categories":685},[65],{"categories":687},[],{"categories":689},[113],{"categories":691},[105],{"categories":693},[110],{"categories":695},[110],{"categories":697},[],{"categories":699},[102],{"categories":701},[65],{"categories":703},[105],{"categories":705},[128],{"categories":707},[102],{"categories":709},[],{"categories":711},[65],{"categories":713},[],{"categories":715},[],{"categories":717},[128],{"categories":719},[128],{"categories":721},[],{"categories":723},[157],{"categories":725},[171],{"categories":727},[],{"categories":729},[105],{"categories":731},[],{"categories":733},[],{"categories":735},[102],{"categories":737},[],{"categories":739},[180],{"categories":741},[110],{"categories":743},[105],{"categories":745},[110],{"categories":747},[171],{"categories":749},[],{"categories":751},[113],{"categories":753},[157],{"categories":755},[171],{"categories":757},[65],{"categories":759},[110],{"categories":761},[105],{"categories":763},[65],{"categories":765},[],{"categories":767},[],{"categories":769},[171],{"categories":771},[160],{"categories":773},[113],{"categories":775},[110],{"categories":777},[65],{"categories":779},[],{"categories":781},[205],{"categories":783},[],{"categories":785},[110],{"categories":787},[],{"categories":789},[102],{"categories":791},[],{"categories":793},[65],{"categories":795},[65],{"categories":797},[157],{"categories":799},[180],{"categories":801},[171],{"categories":803},[110],{"categories":805},[],{"categories":807},[171],{"categories":809},[102],{"categories":811},[],{"categories":813},[128],{"categories":815},[65,205],{"categories":817},[65],{"categories":819},[128],{"categories":821},[65],{"categories":823},[65],{"categories":825},[105],{"categories":827},[65],{"categories":829},[],{"categories":831},[65],{"categories":833},[105],{"categories":835},[65],{"categories":837},[],{"categories":839},[110],{"categories":841},[171],{"categories":843},[157],{"categories":845},[128],{"categories":847},[160],{"categories":849},[65],{"categories":851},[102],{"categories":853},[65],{"categories":855},[110],{"categories":857},[171],{"categories":859},[],{"categories":861},[],{"categories":863},[110],{"categories":865},[113],{"categories":867},[],{"categories":869},[65],{"categories":871},[],{"categories":873},[157],{"categories":875},[110],{"categories":877},[171],{"categories":879},[157],{"categories":881},[65],{"categories":883},[157],{"categories":885},[],{"categories":887},[],{"categories":889},[128],{"categories":891},[110],{"categories":893},[110],{"categories":895},[65],{"categories":897},[65],{"categories":899},[65],{"categories":901},[105],{"categories":903},[65],{"categories":905},[],{"categories":907},[171],{"categories":909},[171],{"categories":911},[105],{"categories":913},[],{"categories":915},[65],{"categories":917},[65],{"categories":919},[110],{"categories":921},[102],{"categories":923},[105],{"categories":925},[128],{"categories":927},[110],{"categories":929},[180],{"categories":931},[65],{"categories":933},[110],{"categories":935},[],{"categories":937},[157],{"categories":939},[],{"categories":941},[65],{"categories":943},[65],{"categories":945},[],{"categories":947},[105],{"categories":949},[110],{"categories":951},[],{"categories":953},[65],{"categories":955},[205],{"categories":957},[160],{"categories":959},[171],{"categories":961},[180],{"categories":963},[65],{"categories":965},[157],{"categories":967},[65],{"categories":969},[171],{"categories":971},[110],{"categories":973},[],{"categories":975},[],{"categories":977},[110],{"categories":979},[102],{"categories":981},[110],{"categories":983},[113],{"categories":985},[105],{"categories":987},[],{"categories":989},[65],{"categories":991},[113],{"categories":993},[65],{"categories":995},[65],{"categories":997},[65],{"categories":999},[65],{"categories":1001},[180],{"categories":1003},[65],{"categories":1005},[65],{"categories":1007},[65],{"categories":1009},[157],{"categories":1011},[110],{"categories":1013},[],{"categories":1015},[],{"categories":1017},[205],{"categories":1019},[171],{"categories":1021},[],{"categories":1023},[110],{"categories":1025},[65],{"categories":1027},[157,65],{"categories":1029},[102],{"categories":1031},[],{"categories":1033},[65],{"categories":1035},[102],{"categories":1037},[157],{"categories":1039},[110],{"categories":1041},[171],{"categories":1043},[],{"categories":1045},[65],{"categories":1047},[],{"categories":1049},[],{"categories":1051},[65],{"categories":1053},[102],{"categories":1055},[65],{"categories":1057},[],{"categories":1059},[110],{"categories":1061},[113],{"categories":1063},[65],{"categories":1065},[65],{"categories":1067},[65],{"categories":1069},[157],{"categories":1071},[110],{"categories":1073},[205],{"categories":1075},[157],{"categories":1077},[105],{"categories":1079},[110],{"categories":1081},[65],{"categories":1083},[65],{"categories":1085},[65],{"categories":1087},[110],{"categories":1089},[171],{"categories":1091},[65],{"categories":1093},[113],{"categories":1095},[],{"categories":1097},[128],{"categories":1099},[],{"categories":1101},[113],{"categories":1103},[110],{"categories":1105},[157],{"categories":1107},[65],{"categories":1109},[65],{"categories":1111},[110],{"categories":1113},[171],{"categories":1115},[157],{"categories":1117},[110],{"categories":1119},[128],{"categories":1121},[],{"categories":1123},[65],{"categories":1125},[],{"categories":1127},[65],{"categories":1129},[157],{"categories":1131},[65],{"categories":1133},[102],{"categories":1135},[128],{"categories":1137},[65],{"categories":1139},[180],{"categories":1141},[65],{"categories":1143},[65],{"categories":1145},[110],{"categories":1147},[110],{"categories":1149},[65],{"categories":1151},[110],{"categories":1153},[110],{"categories":1155},[65],{"categories":1157},[65],{"categories":1159},[110],{"categories":1161},[157],{"categories":1163},[65],{"categories":1165},[65],{"categories":1167},[],{"categories":1169},[],{"categories":1171},[171],{"categories":1173},[],{"categories":1175},[102],{"categories":1177},[205],{"categories":1179},[65],{"categories":1181},[],{"categories":1183},[102],{"categories":1185},[105],{"categories":1187},[65],{"categories":1189},[180],{"categories":1191},[],{"categories":1193},[105],{"categories":1195},[],{"categories":1197},[65],{"categories":1199},[171],{"categories":1201},[],{"categories":1203},[],{"categories":1205},[],{"categories":1207},[],{"categories":1209},[65],{"categories":1211},[110],{"categories":1213},[205],{"categories":1215},[102],{"categories":1217},[171],{"categories":1219},[65],{"categories":1221},[65],{"categories":1223},[171],{"categories":1225},[113],{"categories":1227},[65],{"categories":1229},[180],{"categories":1231},[105],{"categories":1233},[65],{"categories":1235},[65],{"categories":1237},[65],{"categories":1239},[65,102],{"categories":1241},[171],{"categories":1243},[171],{"categories":1245},[157],{"categories":1247},[110],{"categories":1249},[65],{"categories":1251},[65],{"categories":1253},[],{"categories":1255},[],{"categories":1257},[65],{"categories":1259},[],{"categories":1261},[171],{"categories":1263},[160],{"categories":1265},[128],{"categories":1267},[157],{"categories":1269},[65],{"categories":1271},[171],{"categories":1273},[],{"categories":1275},[65],{"categories":1277},[65],{"categories":1279},[],{"categories":1281},[110],{"categories":1283},[65],{"categories":1285},[65],{"categories":1287},[],{"categories":1289},[110],{"categories":1291},[65],{"categories":1293},[105],{"categories":1295},[],{"categories":1297},[102],{"categories":1299},[65],{"categories":1301},[102],{"categories":1303},[65],{"categories":1305},[171],{"categories":1307},[180],{"categories":1309},[110],{"categories":1311},[110],{"categories":1313},[65,157],{"categories":1315},[128],{"categories":1317},[65],{"categories":1319},[157],{"categories":1321},[],{"categories":1323},[171],{"categories":1325},[205],{"categories":1327},[157],{"categories":1329},[171],{"categories":1331},[65],{"categories":1333},[65],{"categories":1335},[110],{"categories":1337},[],{"categories":1339},[],{"categories":1341},[],{"categories":1343},[],{"categories":1345},[171],{"categories":1347},[110],{"categories":1349},[110],{"categories":1351},[205],{"categories":1353},[65],{"categories":1355},[65],{"categories":1357},[110],{"categories":1359},[65],{"categories":1361},[65],{"categories":1363},[],{"categories":1365},[157],{"categories":1367},[171],{"categories":1369},[],{"categories":1371},[],{"categories":1373},[110],{"categories":1375},[],{"categories":1377},[],{"categories":1379},[180],{"categories":1381},[180],{"categories":1383},[110],{"categories":1385},[171],{"categories":1387},[],{"categories":1389},[65],{"categories":1391},[65],{"categories":1393},[171],{"categories":1395},[157],{"categories":1397},[157],{"categories":1399},[110],{"categories":1401},[102],{"categories":1403},[65],{"categories":1405},[65],{"categories":1407},[157],{"categories":1409},[157],{"categories":1411},[110],{"categories":1413},[110],{"categories":1415},[65],{"categories":1417},[],{"categories":1419},[65],{"categories":1421},[],{"categories":1423},[65],{"categories":1425},[110],{"categories":1427},[128],{"categories":1429},[171],{"categories":1431},[65],{"categories":1433},[102],{"categories":1435},[65],{"categories":1437},[],{"categories":1439},[110],{"categories":1441},[110],{"categories":1443},[],{"categories":1445},[65],{"categories":1447},[102],{"categories":1449},[65],{"categories":1451},[102],{"categories":1453},[102],{"categories":1455},[],{"categories":1457},[171],{"categories":1459},[],{"categories":1461},[110],{"categories":1463},[128],{"categories":1465},[65],{"categories":1467},[110],{"categories":1469},[65],{"categories":1471},[110],{"categories":1473},[65],{"categories":1475},[128],{"categories":1477},[160],{"categories":1479},[65],{"categories":1481},[113],{"categories":1483},[128],{"categories":1485},[157],{"categories":1487},[],{"categories":1489},[],{"categories":1491},[128],{"categories":1493},[],{"categories":1495},[],{"categories":1497},[],{"categories":1499},[],{"categories":1501},[171],{"categories":1503},[171],{"categories":1505},[160],{"categories":1507},[],{"categories":1509},[65],{"categories":1511},[65],{"categories":1513},[160],{"categories":1515},[171],{"categories":1517},[],{"categories":1519},[],{"categories":1521},[110],{"categories":1523},[110],{"categories":1525},[171],{"categories":1527},[110],{"categories":1529},[128],{"categories":1531},[128],{"categories":1533},[110],{"categories":1535},[110],{"categories":1537},[102],{"categories":1539},[65,205],{"categories":1541},[],{"categories":1543},[157],{"categories":1545},[171],{"categories":1547},[102],{"categories":1549},[110],{"categories":1551},[157],{"categories":1553},[],{"categories":1555},[110],{"categories":1557},[110],{"categories":1559},[65],{"categories":1561},[180],{"categories":1563},[171],{"categories":1565},[157],{"categories":1567},[65],{"categories":1569},[],{"categories":1571},[110],{"categories":1573},[157],{"categories":1575},[65],{"categories":1577},[110],{"categories":1579},[110],{"categories":1581},[110],{"categories":1583},[180],{"categories":1585},[160],{"categories":1587},[65],{"categories":1589},[110],{"categories":1591},[65],{"categories":1593},[],{"categories":1595},[180],{"categories":1597},[128],{"categories":1599},[171],{"categories":1601},[65],{"categories":1603},[110],{"categories":1605},[],{"categories":1607},[],{"categories":1609},[65],{"categories":1611},[110],{"categories":1613},[65],{"categories":1615},[128],{"categories":1617},[65],{"categories":1619},[110],{"categories":1621},[110],{"categories":1623},[],{"categories":1625},[65],{"categories":1627},[],{"categories":1629},[],{"categories":1631},[65],{"categories":1633},[110],{"categories":1635},[],{"categories":1637},[],{"categories":1639},[160],{"categories":1641},[65],{"categories":1643},[160],{"categories":1645},[128],{"categories":1647},[65],{"categories":1649},[65],{"categories":1651},[110],{"categories":1653},[65],{"categories":1655},[110],{"categories":1657},[],{"categories":1659},[],{"categories":1661},[205],{"categories":1663},[65],{"categories":1665},[],{"categories":1667},[],{"categories":1669},[102],{"categories":1671},[],{"categories":1673},[],{"categories":1675},[65],{"categories":1677},[],{"categories":1679},[],{"categories":1681},[171],{"categories":1683},[128],{"categories":1685},[180],{"categories":1687},[105],{"categories":1689},[65],{"categories":1691},[65],{"categories":1693},[105],{"categories":1695},[],{"categories":1697},[157],{"categories":1699},[110],{"categories":1701},[105],{"categories":1703},[65],{"categories":1705},[65],{"categories":1707},[102],{"categories":1709},[65],{"categories":1711},[],{"categories":1713},[102],{"categories":1715},[65],{"categories":1717},[180],{"categories":1719},[110],{"categories":1721},[128],{"categories":1723},[65],{"categories":1725},[105],{"categories":1727},[65],{"categories":1729},[65],{"categories":1731},[110],{"categories":1733},[],{"categories":1735},[65],{"categories":1737},[102],{"categories":1739},[65],{"categories":1741},[65],{"categories":1743},[],{"categories":1745},[128],{"categories":1747},[65],{"categories":1749},[65],{"categories":1751},[],{"categories":1753},[105],{"categories":1755},[105],{"categories":1757},[113],{"categories":1759},[65],{"categories":1761},[65],{"categories":1763},[],{"categories":1765},[171],{"categories":1767},[],{"categories":1769},[],{"categories":1771},[65],{"categories":1773},[128],{"categories":1775},[],{"categories":1777},[205],{"categories":1779},[65],{"categories":1781},[65],{"categories":1783},[],{"categories":1785},[65],{"categories":1787},[171],{"categories":1789},[65],{"categories":1791},[65],{"categories":1793},[65,205],{"categories":1795},[65],{"categories":1797},[65],{"categories":1799},[157],{"categories":1801},[110],{"categories":1803},[],{"categories":1805},[110],{"categories":1807},[110],{"categories":1809},[65],{"categories":1811},[65],{"categories":1813},[65],{"categories":1815},[65],{"categories":1817},[102],{"categories":1819},[160],{"categories":1821},[102],{"categories":1823},[171],{"categories":1825},[157],{"categories":1827},[110],{"categories":1829},[],{"categories":1831},[65],{"categories":1833},[128],{"categories":1835},[65],{"categories":1837},[110],{"categories":1839},[65],{"categories":1841},[65],{"categories":1843},[105],{"categories":1845},[],{"categories":1847},[205],{"categories":1849},[157],{"categories":1851},[157],{"categories":1853},[171],{"categories":1855},[110],{"categories":1857},[65],{"categories":1859},[105],{"categories":1861},[128],{"categories":1863},[157],{"categories":1865},[110],{"categories":1867},[65],{"categories":1869},[],{"categories":1871},[65],{"categories":1873},[65],{"categories":1875},[],{"categories":1877},[],{"categories":1879},[65],{"categories":1881},[65],{"categories":1883},[65],{"categories":1885},[65],{"categories":1887},[110],{"categories":1889},[65],{"categories":1891},[65],{"categories":1893},[],{"categories":1895},[160],{"categories":1897},[65],{"categories":1899},[110],{"categories":1901},[],{"categories":1903},[],{"categories":1905},[65],{"categories":1907},[65],{"categories":1909},[65],{"categories":1911},[128],{"categories":1913},[],{"categories":1915},[157],{"categories":1917},[65],{"categories":1919},[205],{"categories":1921},[128],{"categories":1923},[171],{"categories":1925},[171],{"categories":1927},[128],{"categories":1929},[128],{"categories":1931},[205],{"categories":1933},[],{"categories":1935},[128],{"categories":1937},[65],{"categories":1939},[102],{"categories":1941},[65],{"categories":1943},[128],{"categories":1945},[],{"categories":1947},[65],{"categories":1949},[171],{"categories":1951},[160],{"categories":1953},[65],{"categories":1955},[128],{"categories":1957},[171],{"categories":1959},[110],{"categories":1961},[128],{"categories":1963},[205],{"categories":1965},[110],{"categories":1967},[65],{"categories":1969},[65],{"categories":1971},[65],{"categories":1973},[],{"categories":1975},[105],{"categories":1977},[],{"categories":1979},[],{"categories":1981},[65],{"categories":1983},[65],{"categories":1985},[65],{"categories":1987},[65],{"categories":1989},[],{"categories":1991},[160],{"categories":1993},[102],{"categories":1995},[110],{"categories":1997},[157],{"categories":1999},[],{"categories":2001},[65],{"categories":2003},[171],{"categories":2005},[65],{"categories":2007},[205],{"categories":2009},[205],{"categories":2011},[],{"categories":2013},[110],{"categories":2015},[128],{"categories":2017},[128],{"categories":2019},[65],{"categories":2021},[110],{"categories":2023},[],{"categories":2025},[157],{"categories":2027},[65],{"categories":2029},[65],{"categories":2031},[],{"categories":2033},[65],{"categories":2035},[],{"categories":2037},[65],{"categories":2039},[171],{"categories":2041},[205],{"categories":2043},[65],{"categories":2045},[171],{"categories":2047},[105],{"categories":2049},[65],{"categories":2051},[],{"categories":2053},[110],{"categories":2055},[102],{"categories":2057},[102],{"categories":2059},[],{"categories":2061},[65],{"categories":2063},[65],{"categories":2065},[171],{"categories":2067},[157],{"categories":2069},[65],{"categories":2071},[110],{"categories":2073},[],{"categories":2075},[65],{"categories":2077},[65],{"categories":2079},[110],{"categories":2081},[],{"categories":2083},[110],{"categories":2085},[171],{"categories":2087},[],{"categories":2089},[65],{"categories":2091},[110],{"categories":2093},[105],{"categories":2095},[],{"categories":2097},[65],{"categories":2099},[],{"categories":2101},[65],{"categories":2103},[65],{"categories":2105},[],{"categories":2107},[65],{"categories":2109},[65],{"categories":2111},[128],{"categories":2113},[65],{"categories":2115},[65],{"categories":2117},[102],{"categories":2119},[65],{"categories":2121},[160],{"categories":2123},[128],{"categories":2125},[110],{"categories":2127},[],{"categories":2129},[65],{"categories":2131},[157],{"categories":2133},[180],{"categories":2135},[65],{"categories":2137},[110],{"categories":2139},[],{"categories":2141},[],{"categories":2143},[],{"categories":2145},[102],{"categories":2147},[128],{"categories":2149},[110],{"categories":2151},[65],{"categories":2153},[65],{"categories":2155},[157],{"categories":2157},[110],{"categories":2159},[],{"categories":2161},[110],{"categories":2163},[110],{"categories":2165},[],{"categories":2167},[65],{"categories":2169},[110],{"categories":2171},[65],{"categories":2173},[],{"categories":2175},[65],{"categories":2177},[65],{"categories":2179},[128],{"categories":2181},[157],{"categories":2183},[110],{"categories":2185},[157],{"categories":2187},[105],{"categories":2189},[],{"categories":2191},[],{"categories":2193},[65],{"categories":2195},[102],{"categories":2197},[128],{"categories":2199},[],{"categories":2201},[157],{"categories":2203},[],{"categories":2205},[171],{"categories":2207},[171],{"categories":2209},[157],{"categories":2211},[171],{"categories":2213},[],{"categories":2215},[65],{"categories":2217},[65],{"categories":2219},[],{"categories":2221},[180],{"categories":2223},[65],{"categories":2225},[205],{"categories":2227},[171],{"categories":2229},[],{"categories":2231},[110],{"categories":2233},[65],{"categories":2235},[102],{"categories":2237},[110],{"categories":2239},[110],{"categories":2241},[65],{"categories":2243},[65],{"categories":2245},[],{"categories":2247},[102],{"categories":2249},[65],{"categories":2251},[105],{"categories":2253},[171],{"categories":2255},[157],{"categories":2257},[],{"categories":2259},[],{"categories":2261},[],{"categories":2263},[110],{"categories":2265},[171],{"categories":2267},[157],{"categories":2269},[128],{"categories":2271},[65],{"categories":2273},[128],{"categories":2275},[110],{"categories":2277},[157],{"categories":2279},[65],{"categories":2281},[],{"categories":2283},[65],{"categories":2285},[157],{"categories":2287},[128],{"categories":2289},[105],{"categories":2291},[171],{"categories":2293},[65],{"categories":2295},[128],{"categories":2297},[180],{"categories":2299},[],{"categories":2301},[],{"categories":2303},[160],{"categories":2305},[65,171],{"categories":2307},[128],{"categories":2309},[65],{"categories":2311},[65],{"categories":2313},[110],{"categories":2315},[65],{"categories":2317},[110],{"categories":2319},[65],{"categories":2321},[65],{"categories":2323},[],{"categories":2325},[171],{"categories":2327},[65],{"categories":2329},[160],{"categories":2331},[110],{"categories":2333},[180],{"categories":2335},[205],{"categories":2337},[],{"categories":2339},[102],{"categories":2341},[110],{"categories":2343},[110],{"categories":2345},[113],{"categories":2347},[171],{"categories":2349},[65],{"categories":2351},[65],{"categories":2353},[],{"categories":2355},[],{"categories":2357},[],{"categories":2359},[205],{"categories":2361},[65],{"categories":2363},[128],{"categories":2365},[65],{"categories":2367},[65],{"categories":2369},[65],{"categories":2371},[],{"categories":2373},[160],{"categories":2375},[105],{"categories":2377},[110],{"categories":2379},[],{"categories":2381},[65],{"categories":2383},[110],{"categories":2385},[65],{"categories":2387},[205],{"categories":2389},[],{"categories":2391},[157],{"categories":2393},[157],{"categories":2395},[],{"categories":2397},[171],{"categories":2399},[65],{"categories":2401},[157],{"categories":2403},[65],{"categories":2405},[105],{"categories":2407},[],{"categories":2409},[128],{"categories":2411},[65],{"categories":2413},[65],{"categories":2415},[157],{"categories":2417},[110],{"categories":2419},[128],{"categories":2421},[],{"categories":2423},[110],{"categories":2425},[110],{"categories":2427},[157],{"categories":2429},[65],{"categories":2431},[],{"categories":2433},[65],{"categories":2435},[65],{"categories":2437},[205],{"categories":2439},[128],{"categories":2441},[160],{"categories":2443},[160],{"categories":2445},[],{"categories":2447},[],{"categories":2449},[],{"categories":2451},[110],{"categories":2453},[110],{"categories":2455},[171],{"categories":2457},[171],{"categories":2459},[65],{"categories":2461},[65],{"categories":2463},[],{"categories":2465},[],{"categories":2467},[65],{"categories":2469},[],{"categories":2471},[65],{"categories":2473},[110],{"categories":2475},[65],{"categories":2477},[],{"categories":2479},[113],{"categories":2481},[65],{"categories":2483},[157],{"categories":2485},[65],{"categories":2487},[105],{"categories":2489},[65],{"categories":2491},[180],{"categories":2493},[110],{"categories":2495},[65],{"categories":2497},[65],{"categories":2499},[65],{"categories":2501},[171],{"categories":2503},[],{"categories":2505},[128],{"categories":2507},[110],{"categories":2509},[],{"categories":2511},[128],{"categories":2513},[110],{"categories":2515},[110],{"categories":2517},[65],{"categories":2519},[110],{"categories":2521},[],{"categories":2523},[105],{"categories":2525},[110],{"categories":2527},[],{"categories":2529},[171],{"categories":2531},[65],{"categories":2533},[102],{"categories":2535},[128],{"categories":2537},[205],{"categories":2539},[110],{"categories":2541},[65],{"categories":2543},[110],{"categories":2545},[102],{"categories":2547},[],{"categories":2549},[65],{"categories":2551},[],{"categories":2553},[],{"categories":2555},[157],{"categories":2557},[65,105],{"categories":2559},[110],{"categories":2561},[65],{"categories":2563},[],{"categories":2565},[102],{"categories":2567},[160],{"categories":2569},[65],{"categories":2571},[171],{"categories":2573},[65],{"categories":2575},[110],{"categories":2577},[65],{"categories":2579},[65],{"categories":2581},[65],{"categories":2583},[128],{"categories":2585},[110],{"categories":2587},[65],{"categories":2589},[],{"categories":2591},[],{"categories":2593},[110],{"categories":2595},[65],{"categories":2597},[205],{"categories":2599},[],{"categories":2601},[65],{"categories":2603},[110],{"categories":2605},[110],{"categories":2607},[],{"categories":2609},[110],{"categories":2611},[65],{"categories":2613},[180],{"categories":2615},[160],{"categories":2617},[110],{"categories":2619},[65],{"categories":2621},[205],{"categories":2623},[],{"categories":2625},[65],{"categories":2627},[180],{"categories":2629},[157],{"categories":2631},[65],{"categories":2633},[65],{"categories":2635},[],{"categories":2637},[180],{"categories":2639},[128],{"categories":2641},[65],{"categories":2643},[65],{"categories":2645},[102],{"categories":2647},[65],{"categories":2649},[],{"categories":2651},[],{"categories":2653},[157],{"categories":2655},[65],{"categories":2657},[160],{"categories":2659},[180],{"categories":2661},[110],{"categories":2663},[180],{"categories":2665},[128],{"categories":2667},[],{"categories":2669},[65],{"categories":2671},[],{"categories":2673},[65],{"categories":2675},[110],{"categories":2677},[65],{"categories":2679},[65],{"categories":2681},[],{"categories":2683},[65,171],{"categories":2685},[128],{"categories":2687},[110],{"categories":2689},[171],{"categories":2691},[65],{"categories":2693},[102],{"categories":2695},[],{"categories":2697},[],{"categories":2699},[110],{"categories":2701},[171],{"categories":2703},[102],{"categories":2705},[171],{"categories":2707},[171],{"categories":2709},[65],{"categories":2711},[180],{"categories":2713},[65],{"categories":2715},[171],{"categories":2717},[],{"categories":2719},[157,65],{"categories":2721},[205],{"categories":2723},[102],{"categories":2725},[],{"categories":2727},[65],{"categories":2729},[105],{"categories":2731},[105],{"categories":2733},[65],{"categories":2735},[65],{"categories":2737},[65],{"categories":2739},[171],{"categories":2741},[110],{"categories":2743},[128],{"categories":2745},[180],{"categories":2747},[157],{"categories":2749},[65],{"categories":2751},[65],{"categories":2753},[65],{"categories":2755},[65],{"categories":2757},[102],{"categories":2759},[65],{"categories":2761},[110],{"categories":2763},[110],{"categories":2765},[128],{"categories":2767},[171],{"categories":2769},[],{"categories":2771},[],{"categories":2773},[160],{"categories":2775},[171],{"categories":2777},[65],{"categories":2779},[157],{"categories":2781},[65],{"categories":2783},[160],{"categories":2785},[65],{"categories":2787},[65],{"categories":2789},[65],{"categories":2791},[110],{"categories":2793},[110],{"categories":2795},[65,105],{"categories":2797},[],{"categories":2799},[157],{"categories":2801},[],{"categories":2803},[65],{"categories":2805},[128],{"categories":2807},[102],{"categories":2809},[102],{"categories":2811},[110],{"categories":2813},[110],{"categories":2815},[110],{"categories":2817},[65],{"categories":2819},[65],{"categories":2821},[105],{"categories":2823},[171],{"categories":2825},[180],{"categories":2827},[65],{"categories":2829},[],{"categories":2831},[128],{"categories":2833},[65],{"categories":2835},[65],{"categories":2837},[65],{"categories":2839},[65],{"categories":2841},[65],{"categories":2843},[171],{"categories":2845},[128],{"categories":2847},[171],{"categories":2849},[171],{"categories":2851},[65],{"categories":2853},[65],{"categories":2855},[65],{"categories":2857},[110],{"categories":2859},[128],{"categories":2861},[110],{"categories":2863},[65],{"categories":2865},[157],{"categories":2867},[65],{"categories":2869},[65],{"categories":2871},[205],{"categories":2873},[65],{"categories":2875},[113],{"categories":2877},[110],{"categories":2879},[65],{"categories":2881},[128],{"categories":2883},[110],{"categories":2885},[180],{"categories":2887},[65],{"categories":2889},[105],{"categories":2891},[65],{"categories":2893},[],{"categories":2895},[65],{"categories":2897},[65],{"categories":2899},[],{"categories":2901},[],{"categories":2903},[],{"categories":2905},[105],{"categories":2907},[65],{"categories":2909},[110],{"categories":2911},[128],{"categories":2913},[128],{"categories":2915},[128],{"categories":2917},[128],{"categories":2919},[],{"categories":2921},[102],{"categories":2923},[110],{"categories":2925},[128],{"categories":2927},[65],{"categories":2929},[102],{"categories":2931},[110],{"categories":2933},[65],{"categories":2935},[65,110],{"categories":2937},[110],{"categories":2939},[205],{"categories":2941},[128],{"categories":2943},[110],{"categories":2945},[128],{"categories":2947},[110],{"categories":2949},[65],{"categories":2951},[],{"categories":2953},[128],{"categories":2955},[180],{"categories":2957},[102],{"categories":2959},[65],{"categories":2961},[65],{"categories":2963},[],{"categories":2965},[171],{"categories":2967},[],{"categories":2969},[102],{"categories":2971},[110],{"categories":2973},[128],{"categories":2975},[65],{"categories":2977},[128],{"categories":2979},[102],{"categories":2981},[128],{"categories":2983},[128],{"categories":2985},[],{"categories":2987},[105],{"categories":2989},[110],{"categories":2991},[128],{"categories":2993},[128],{"categories":2995},[128],{"categories":2997},[128],{"categories":2999},[128],{"categories":3001},[128],{"categories":3003},[128],{"categories":3005},[128],{"categories":3007},[128],{"categories":3009},[128],{"categories":3011},[160],{"categories":3013},[102],{"categories":3015},[65],{"categories":3017},[65],{"categories":3019},[110],{"categories":3021},[110],{"categories":3023},[],{"categories":3025},[65,102],{"categories":3027},[],{"categories":3029},[110],{"categories":3031},[128],{"categories":3033},[110],{"categories":3035},[65],{"categories":3037},[65],{"categories":3039},[65],{"categories":3041},[65],{"categories":3043},[65],{"categories":3045},[110],{"categories":3047},[105],{"categories":3049},[110],{"categories":3051},[],{"categories":3053},[157],{"categories":3055},[128],{"categories":3057},[65],{"categories":3059},[],{"categories":3061},[],{"categories":3063},[110],{"categories":3065},[157],{"categories":3067},[65],{"categories":3069},[],{"categories":3071},[65],{"categories":3073},[],{"categories":3075},[180],{"categories":3077},[65],{"categories":3079},[],{"categories":3081},[],{"categories":3083},[128],{"categories":3085},[102],{"categories":3087},[65],{"categories":3089},[105],{"categories":3091},[65],{"categories":3093},[65],{"categories":3095},[105],{"categories":3097},[157],{"categories":3099},[],{"categories":3101},[65],{"categories":3103},[128],{"categories":3105},[],{"categories":3107},[157],{"categories":3109},[65],{"categories":3111},[180],{"categories":3113},[65],{"categories":3115},[205],{"categories":3117},[],{"categories":3119},[180],{"categories":3121},[],{"categories":3123},[65],{"categories":3125},[],{"categories":3127},[110],{"categories":3129},[171],{"categories":3131},[],{"categories":3133},[105],{"categories":3135},[102],{"categories":3137},[110],{"categories":3139},[157],{"categories":3141},[171],{"categories":3143},[],{"categories":3145},[],{"categories":3147},[65],{"categories":3149},[102],{"categories":3151},[65],{"categories":3153},[180],{"categories":3155},[],{"categories":3157},[110],{"categories":3159},[110],{"categories":3161},[128],{"categories":3163},[171],{"categories":3165},[65],{"categories":3167},[110],{"categories":3169},[65],{"categories":3171},[110],{"categories":3173},[65],{"categories":3175},[113],{"categories":3177},[180],{"categories":3179},[128],{"categories":3181},[],{"categories":3183},[180],{"categories":3185},[],{"categories":3187},[171],{"categories":3189},[110],{"categories":3191},[],{"categories":3193},[65],{"categories":3195},[65],{"categories":3197},[110],{"categories":3199},[105],{"categories":3201},[102],{"categories":3203},[65],{"categories":3205},[157],{"categories":3207},[171],{"categories":3209},[171],{"categories":3211},[65],{"categories":3213},[160],{"categories":3215},[110],{"categories":3217},[65],{"categories":3219},[110],{"categories":3221},[105],{"categories":3223},[157],{"categories":3225},[171],{"categories":3227},[110],{"categories":3229},[65],{"categories":3231},[65],{"categories":3233},[110],{"categories":3235},[65],{"categories":3237},[128],{"categories":3239},[],{"categories":3241},[102],{"categories":3243},[65],{"categories":3245},[65],{"categories":3247},[65],{"categories":3249},[110],{"categories":3251},[65],{"categories":3253},[65],{"categories":3255},[],{"categories":3257},[65],{"categories":3259},[157],{"categories":3261},[105],{"categories":3263},[128],{"categories":3265},[110],{"categories":3267},[65],{"categories":3269},[65],{"categories":3271},[157],{"categories":3273},[110],{"categories":3275},[65],{"categories":3277},[180],{"categories":3279},[160],{"categories":3281},[65],{"categories":3283},[128],{"categories":3285},[65],{"categories":3287},[110],{"categories":3289},[205],{"categories":3291},[65],{"categories":3293},[110],{"categories":3295},[160],{"categories":3297},[],{"categories":3299},[110],{"categories":3301},[171],{"categories":3303},[157],{"categories":3305},[65],{"categories":3307},[102],{"categories":3309},[171],{"categories":3311},[105],{"categories":3313},[171],{"categories":3315},[65],{"categories":3317},[],{"categories":3319},[110],{"categories":3321},[110],{"categories":3323},[65],{"categories":3325},[160],{"categories":3327},[],{"categories":3329},[128],{"categories":3331},[],{"categories":3333},[128],{"categories":3335},[65],{"categories":3337},[65],{"categories":3339},[110],{"categories":3341},[110],{"categories":3343},[110],{"categories":3345},[],{"categories":3347},[128],{"categories":3349},[],{"categories":3351},[65],{"categories":3353},[65],{"categories":3355},[],{"categories":3357},[157],{"categories":3359},[171],{"categories":3361},[110],{"categories":3363},[65],{"categories":3365},[180],{"categories":3367},[65],{"categories":3369},[65],{"categories":3371},[102],{"categories":3373},[],{"categories":3375},[65],{"categories":3377},[],{"categories":3379},[102],{"categories":3381},[128],{"categories":3383},[171],{"categories":3385},[65],{"categories":3387},[65],{"categories":3389},[65],{"categories":3391},[171],{"categories":3393},[128],{"categories":3395},[157],{"categories":3397},[65],{"categories":3399},[65],{"categories":3401},[65],{"categories":3403},[128],{"categories":3405},[157],{"categories":3407},[65],{"categories":3409},[128],{"categories":3411},[157],{"categories":3413},[128],{"categories":3415},[110],{"categories":3417},[110],{"categories":3419},[171],{"categories":3421},[128],{"categories":3423},[110],{"categories":3425},[110],{"categories":3427},[65],{"categories":3429},[171],{"categories":3431},[157],{"categories":3433},[65],{"categories":3435},[],{"categories":3437},[110],{"categories":3439},[],{"categories":3441},[],{"categories":3443},[],{"categories":3445},[105],{"categories":3447},[110],{"categories":3449},[65],{"categories":3451},[110],{"categories":3453},[102],{"categories":3455},[110],{"categories":3457},[180],{"categories":3459},[110],{"categories":3461},[],{"categories":3463},[110],{"categories":3465},[],{"categories":3467},[102],{"categories":3469},[110],{"categories":3471},[],{"categories":3473},[110],{"categories":3475},[65],{"categories":3477},[65],{"categories":3479},[128],{"categories":3481},[65],{"categories":3483},[110],{"categories":3485},[65],{"categories":3487},[65],{"categories":3489},[128],{"categories":3491},[110],{"categories":3493},[171],{"categories":3495},[157],{"categories":3497},[102],{"categories":3499},[],{"categories":3501},[110],{"categories":3503},[157],{"categories":3505},[205],{"categories":3507},[128],{"categories":3509},[65],{"categories":3511},[157],{"categories":3513},[65],{"categories":3515},[102],{"categories":3517},[],{"categories":3519},[110],{"categories":3521},[65],{"categories":3523},[65],{"categories":3525},[110],{"categories":3527},[65],{"categories":3529},[157],{"categories":3531},[],{"categories":3533},[110],{"categories":3535},[113],{"categories":3537},[128],{"categories":3539},[110],{"categories":3541},[105],{"categories":3543},[],{"categories":3545},[65],{"categories":3547},[113],{"categories":3549},[65],{"categories":3551},[110],{"categories":3553},[128],{"categories":3555},[102],{"categories":3557},[205],{"categories":3559},[65],{"categories":3561},[65],{"categories":3563},[65],{"categories":3565},[128],{"categories":3567},[105],{"categories":3569},[65],{"categories":3571},[157],{"categories":3573},[128],{"categories":3575},[205],{"categories":3577},[65],{"categories":3579},[],{"categories":3581},[],{"categories":3583},[65],{"categories":3585},[205],{"categories":3587},[160],{"categories":3589},[110],{"categories":3591},[110],{"categories":3593},[128],{"categories":3595},[65],{"categories":3597},[102],{"categories":3599},[65],{"categories":3601},[157],{"categories":3603},[110],{"categories":3605},[110],{"categories":3607},[65],{"categories":3609},[180],{"categories":3611},[65],{"categories":3613},[110],{"categories":3615},[],{"categories":3617},[65],{"categories":3619},[65],{"categories":3621},[65],{"categories":3623},[128],{"categories":3625},[102],{"categories":3627},[],{"categories":3629},[65],{"categories":3631},[65],{"categories":3633},[171],{"categories":3635},[157],{"categories":3637},[65,110],{"categories":3639},[180,105],{"categories":3641},[65],{"categories":3643},[65],{"categories":3645},[],{"categories":3647},[110],{"categories":3649},[],{"categories":3651},[171],{"categories":3653},[65],{"categories":3655},[],{"categories":3657},[65],{"categories":3659},[128],{"categories":3661},[],{"categories":3663},[110],{"categories":3665},[65],{"categories":3667},[],{"categories":3669},[157],{"categories":3671},[65],{"categories":3673},[110],{"categories":3675},[65],{"categories":3677},[102],{"categories":3679},[110],{"categories":3681},[65],{"categories":3683},[],{"categories":3685},[205],{"categories":3687},[180],{"categories":3689},[105],{"categories":3691},[105],{"categories":3693},[65],{"categories":3695},[102],{"categories":3697},[102],{"categories":3699},[65],{"categories":3701},[110],{"categories":3703},[65],{"categories":3705},[65],{"categories":3707},[171],{"categories":3709},[102],{"categories":3711},[65],{"categories":3713},[180],{"categories":3715},[128],{"categories":3717},[65],{"categories":3719},[65],{"categories":3721},[110],{"categories":3723},[65],{"categories":3725},[],{"categories":3727},[171],{"categories":3729},[],{"categories":3731},[171],{"categories":3733},[110],{"categories":3735},[102],{"categories":3737},[],{"categories":3739},[205],{"categories":3741},[65],{"categories":3743},[],{"categories":3745},[128],{"categories":3747},[110],{"categories":3749},[171],{"categories":3751},[65],{"categories":3753},[110],{"categories":3755},[171],{"categories":3757},[110],{"categories":3759},[128],{"categories":3761},[102],{"categories":3763},[128],{"categories":3765},[171],{"categories":3767},[65],{"categories":3769},[157],{"categories":3771},[65],{"categories":3773},[65],{"categories":3775},[65],{"categories":3777},[65],{"categories":3779},[65],{"categories":3781},[110],{"categories":3783},[65],{"categories":3785},[110],{"categories":3787},[65],{"categories":3789},[102],{"categories":3791},[65],{"categories":3793},[110],{"categories":3795},[157],{"categories":3797},[110],{"categories":3799},[102],{"categories":3801},[110],{"categories":3803},[157],{"categories":3805},[],{"categories":3807},[65],{"categories":3809},[160],{"categories":3811},[65],{"categories":3813},[65],{"categories":3815},[171],{"categories":3817},[],{"categories":3819},[110],{"categories":3821},[180],{"categories":3823},[65],{"categories":3825},[128],{"categories":3827},[180],{"categories":3829},[110],{"categories":3831},[105],{"categories":3833},[105],{"categories":3835},[65],{"categories":3837},[65],{"categories":3839},[102],{"categories":3841},[],{"categories":3843},[110],{"categories":3845},[65],{"categories":3847},[171],{"categories":3849},[],{"categories":3851},[102],{"categories":3853},[65],{"categories":3855},[110],{"categories":3857},[110],{"categories":3859},[],{"categories":3861},[171],{"categories":3863},[171],{"categories":3865},[180],{"categories":3867},[157],{"categories":3869},[],{"categories":3871},[65],{"categories":3873},[110],{"categories":3875},[102],{"categories":3877},[65],{"categories":3879},[171],{"categories":3881},[102],{"categories":3883},[128],{"categories":3885},[128],{"categories":3887},[],{"categories":3889},[128],{"categories":3891},[110],{"categories":3893},[157],{"categories":3895},[160],{"categories":3897},[65],{"categories":3899},[],{"categories":3901},[128],{"categories":3903},[171],{"categories":3905},[65],{"categories":3907},[105],{"categories":3909},[65],{"categories":3911},[102],{"categories":3913},[205],{"categories":3915},[102],{"categories":3917},[],{"categories":3919},[],{"categories":3921},[110],{"categories":3923},[128],{"categories":3925},[],{"categories":3927},[110],{"categories":3929},[110],{"categories":3931},[110],{"categories":3933},[],{"categories":3935},[65],{"categories":3937},[],{"categories":3939},[128],{"categories":3941},[102],{"categories":3943},[157],{"categories":3945},[65],{"categories":3947},[128],{"categories":3949},[65],{"categories":3951},[128],{"categories":3953},[],{"categories":3955},[128],{"categories":3957},[102],{"categories":3959},[110],{"categories":3961},[65],{"categories":3963},[],{"categories":3965},[171],{"categories":3967},[110],{"categories":3969},[113],{"categories":3971},[110],{"categories":3973},[102],{"categories":3975},[],{"categories":3977},[],{"categories":3979},[],{"categories":3981},[157],{"categories":3983},[110],{"categories":3985},[65],{"categories":3987},[65],{"categories":3989},[],{"categories":3991},[],{"categories":3993},[],{"categories":3995},[157],{"categories":3997},[],{"categories":3999},[110],{"categories":4001},[65],{"categories":4003},[102],{"categories":4005},[],{"categories":4007},[],{"categories":4009},[157],{"categories":4011},[65],{"categories":4013},[128],{"categories":4015},[],{"categories":4017},[180],{"categories":4019},[128],{"categories":4021},[180],{"categories":4023},[160],{"categories":4025},[65],{"categories":4027},[65],{"categories":4029},[],{"categories":4031},[],{"categories":4033},[110],{"categories":4035},[],{"categories":4037},[65],{"categories":4039},[],{"categories":4041},[110],{"categories":4043},[65],{"categories":4045},[],{"categories":4047},[110],{"categories":4049},[65],{"categories":4051},[128],{"categories":4053},[65],{"categories":4055},[180],{"categories":4057},[65],{"categories":4059},[65],{"categories":4061},[160],{"categories":4063},[110],{"categories":4065},[110],{"categories":4067},[],{"categories":4069},[],{"categories":4071},[65],{"categories":4073},[],{"categories":4075},[128],{"categories":4077},[],{"categories":4079},[],{"categories":4081},[157],{"categories":4083},[102],{"categories":4085},[],{"categories":4087},[105],{"categories":4089},[180],{"categories":4091},[65],{"categories":4093},[171],{"categories":4095},[102],{"categories":4097},[160],{"categories":4099},[105],{"categories":4101},[171],{"categories":4103},[171],{"categories":4105},[],{"categories":4107},[65],{"categories":4109},[],{"categories":4111},[110],{"categories":4113},[102],{"categories":4115},[157],{"categories":4117},[102],{"categories":4119},[110],{"categories":4121},[205],{"categories":4123},[65],{"categories":4125},[65],{"categories":4127},[102],{"categories":4129},[110],{"categories":4131},[],{"categories":4133},[65],{"categories":4135},[171],{"categories":4137},[128],{"categories":4139},[171],{"categories":4141},[65],{"categories":4143},[],{"categories":4145},[157],{"categories":4147},[128],{"categories":4149},[102],{"categories":4151},[65],{"categories":4153},[110],{"categories":4155},[65],{"categories":4157},[105],{"categories":4159},[110],{"categories":4161},[110,205],{"categories":4163},[110],{"categories":4165},[171],{"categories":4167},[65],{"categories":4169},[65],{"categories":4171},[160],{"categories":4173},[110],{"categories":4175},[180],{"categories":4177},[110],{"categories":4179},[],{"categories":4181},[110],{"categories":4183},[65],{"categories":4185},[105],{"categories":4187},[],{"categories":4189},[],{"categories":4191},[65],{"categories":4193},[160],{"categories":4195},[180],{"categories":4197},[65],{"categories":4199},[110],{"categories":4201},[],{"categories":4203},[128],{"categories":4205},[],{"categories":4207},[128],{"categories":4209},[171],{"categories":4211},[102],{"categories":4213},[171],{"categories":4215},[65],{"categories":4217},[110],{"categories":4219},[65],{"categories":4221},[65],{"categories":4223},[180],{"categories":4225},[171],{"categories":4227},[],{"categories":4229},[128],{"categories":4231},[65],{"categories":4233},[],{"categories":4235},[65],{"categories":4237},[65],{"categories":4239},[65],{"categories":4241},[110],{"categories":4243},[65],{"categories":4245},[113],{"categories":4247},[110],{"categories":4249},[65],{"categories":4251},[65],{"categories":4253},[65],{"categories":4255},[65],{"categories":4257},[105],{"categories":4259},[],{"categories":4261},[113],{"categories":4263},[128],{"categories":4265},[110],{"categories":4267},[65],{"categories":4269},[171],{"categories":4271},[],{"categories":4273},[171],{"categories":4275},[171],{"categories":4277},[171],{"categories":4279},[65],{"categories":4281},[65],{"categories":4283},[65],{"categories":4285},[110],{"categories":4287},[128],{"categories":4289},[65],{"categories":4291},[65],{"categories":4293},[65],{"categories":4295},[105],{"categories":4297},[65],{"categories":4299},[110],{"categories":4301},[157],{"categories":4303},[],{"categories":4305},[160],{"categories":4307},[110],{"categories":4309},[65],{"categories":4311},[],{"categories":4313},[65],{"categories":4315},[65],{"categories":4317},[128],{"categories":4319},[65],{"categories":4321},[110],{"categories":4323},[180],{"categories":4325},[],{"categories":4327},[],{"categories":4329},[128],{"categories":4331},[128],{"categories":4333},[65],{"categories":4335},[180],{"categories":4337},[65],{"categories":4339},[102],{"categories":4341},[110],{"categories":4343},[65],{"categories":4345},[110],{"categories":4347},[110],{"categories":4349},[65],{"categories":4351},[105],{"categories":4353},[],{"categories":4355},[160],{"categories":4357},[],{"categories":4359},[128],{"categories":4361},[65],{"categories":4363},[160],{"categories":4365},[65],{"categories":4367},[171],{"categories":4369},[171],{"categories":4371},[171],{"categories":4373},[110],{"categories":4375},[110],{"categories":4377},[157],{"categories":4379},[160],{"categories":4381},[160],{"categories":4383},[],{"categories":4385},[128],{"categories":4387},[65],{"categories":4389},[65],{"categories":4391},[171],{"categories":4393},[],{"categories":4395},[128],{"categories":4397},[128],{"categories":4399},[128],{"categories":4401},[],{"categories":4403},[110],{"categories":4405},[65],{"categories":4407},[],{"categories":4409},[102],{"categories":4411},[105],{"categories":4413},[],{"categories":4415},[65],{"categories":4417},[65],{"categories":4419},[],{"categories":4421},[171],{"categories":4423},[],{"categories":4425},[],{"categories":4427},[],{"categories":4429},[],{"categories":4431},[65],{"categories":4433},[128],{"categories":4435},[],{"categories":4437},[],{"categories":4439},[65],{"categories":4441},[65],{"categories":4443},[65],{"categories":4445},[160],{"categories":4447},[65],{"categories":4449},[160],{"categories":4451},[],{"categories":4453},[160],{"categories":4455},[160],{"categories":4457},[205],{"categories":4459},[110],{"categories":4461},[171],{"categories":4463},[],{"categories":4465},[],{"categories":4467},[160],{"categories":4469},[171],{"categories":4471},[171],{"categories":4473},[171],{"categories":4475},[],{"categories":4477},[102],{"categories":4479},[171],{"categories":4481},[171],{"categories":4483},[102],{"categories":4485},[171],{"categories":4487},[105],{"categories":4489},[171],{"categories":4491},[171],{"categories":4493},[171],{"categories":4495},[160],{"categories":4497},[128],{"categories":4499},[128],{"categories":4501},[65],{"categories":4503},[171],{"categories":4505},[160],{"categories":4507},[205],{"categories":4509},[160],{"categories":4511},[160],{"categories":4513},[160],{"categories":4515},[],{"categories":4517},[105],{"categories":4519},[],{"categories":4521},[205],{"categories":4523},[171],{"categories":4525},[171],{"categories":4527},[171],{"categories":4529},[110],{"categories":4531},[128,105],{"categories":4533},[160],{"categories":4535},[],{"categories":4537},[],{"categories":4539},[160],{"categories":4541},[],{"categories":4543},[160],{"categories":4545},[128],{"categories":4547},[110],{"categories":4549},[],{"categories":4551},[171],{"categories":4553},[65],{"categories":4555},[157],{"categories":4557},[],{"categories":4559},[65],{"categories":4561},[],{"categories":4563},[128],{"categories":4565},[102],{"categories":4567},[160],{"categories":4569},[],{"categories":4571},[171],{"categories":4573},[128],[4575,4642,4788,4856],{"id":4576,"title":4577,"ai":4578,"body":4583,"categories":4620,"created_at":66,"date_modified":66,"description":59,"extension":67,"faq":66,"featured":68,"kicker_label":66,"meta":4621,"navigation":81,"path":4631,"published_at":4632,"question":66,"scraped_at":4632,"seo":4633,"sitemap":4634,"source_id":4635,"source_name":87,"source_type":88,"source_url":4627,"stem":4636,"tags":4637,"thumbnail_url":66,"tldr":4639,"tweet":66,"unknown_tags":4640,"__hash__":4641},"summaries\u002Fsummaries\u002Ffc8e9df3a4af179f-contract2tool-improving-llm-agent-reliability-via-summary.md","Contract2Tool: Improving LLM Agent Reliability via Formal Contracts",{"provider":7,"model":8,"input_tokens":4579,"output_tokens":4580,"processing_time_ms":4581,"cost_usd":4582},4064,510,3408,0.001781,{"type":14,"value":4584,"toc":4616},[4585,4589,4592,4596,4599,4613],[17,4586,4588],{"id":4587},"the-reliability-gap-in-tool-augmented-agents","The Reliability Gap in Tool-Augmented Agents",[22,4590,4591],{},"Modern LLM agents often struggle with tool selection and execution because they lack a formal understanding of the operational requirements for the tools they use. When an agent treats a tool as a black box, it frequently fails to satisfy necessary preconditions (e.g., required input formats, state dependencies) or misinterprets the side effects of an action. Contract2Tool addresses this by introducing a framework that learns and enforces formal 'contracts'—preconditions and effects—for each tool, ensuring that the agent only invokes functions when it is safe and logical to do so.",[17,4593,4595],{"id":4594},"learning-and-enforcing-operational-contracts","Learning and Enforcing Operational Contracts",[22,4597,4598],{},"The core of the Contract2Tool approach is the transition from implicit prompt-based tool descriptions to explicit, learned constraints. By analyzing historical execution data and tool documentation, the system derives a structured contract for each tool.",[33,4600,4601,4607],{},[36,4602,4603,4606],{},[39,4604,4605],{},"Preconditions:"," These define the state or input requirements that must be met before a tool is triggered. By explicitly checking these, the agent avoids runtime errors and invalid API calls.",[36,4608,4609,4612],{},[39,4610,4611],{},"Effects:"," These define the expected state changes following a successful execution. This allows the agent to verify whether an action achieved the desired outcome, enabling better planning and error recovery.",[22,4614,4615],{},"By integrating these contracts into the agent's reasoning loop, the system significantly reduces 'hallucinated' tool usage and improves the robustness of multi-step task completion. This shift moves agent architecture toward a more deterministic, software-engineering-focused paradigm where tool interaction is treated as a contract-based interface rather than a probabilistic guess.",{"title":59,"searchDepth":60,"depth":60,"links":4617},[4618,4619],{"id":4587,"depth":60,"text":4588},{"id":4594,"depth":60,"text":4595},[65],{"content_references":4622,"triage":4629},[4623],{"type":4624,"title":4625,"author":4626,"url":4627,"context":4628},"paper","Contract2Tool: Learning Preconditions and Effects for Reliable Tool-Augmented LLM Agents","Unknown","https:\u002F\u002Farxiv.org\u002Fabs\u002F2606.07904","cited",{"relevance":77,"novelty":78,"quality":78,"actionability":78,"composite":79,"reasoning":4630},"Category: AI & LLMs. The article directly addresses the reliability of LLM agents in tool usage, a core concern for developers integrating AI into products. It presents a novel framework for improving agent performance through formal contracts, which is actionable for those looking to enhance AI tool interactions.","\u002Fsummaries\u002Ffc8e9df3a4af179f-contract2tool-improving-llm-agent-reliability-via-summary","2026-06-09 12:58:19",{"title":4577,"description":59},{"loc":4631},"fc8e9df3a4af179f","summaries\u002Ffc8e9df3a4af179f-contract2tool-improving-llm-agent-reliability-via-summary",[4638,92,93,95],"llm","Contract2Tool enhances LLM agent reliability by learning explicit preconditions and effects for tools, reducing execution errors and improving task success rates.",[95],"iN4xYIMCp3jfZdBtfdDVcr_1nXbJbmSAGExyNrzdnH0",{"id":4643,"title":4644,"ai":4645,"body":4650,"categories":4760,"created_at":66,"date_modified":66,"description":59,"extension":67,"faq":66,"featured":68,"kicker_label":66,"meta":4761,"navigation":81,"path":4772,"published_at":4773,"question":66,"scraped_at":4774,"seo":4775,"sitemap":4776,"source_id":4777,"source_name":4778,"source_type":4779,"source_url":4780,"stem":4781,"tags":4782,"thumbnail_url":4783,"tldr":4784,"tweet":4785,"unknown_tags":4786,"__hash__":4787},"summaries\u002Fsummaries\u002Fd2c1202ababa372c-optimizing-ai-agents-solving-the-u-curve-and-orche-summary.md","Optimizing AI Agents: Solving the U-Curve and Orchestration Paradox",{"provider":7,"model":8,"input_tokens":4646,"output_tokens":4647,"processing_time_ms":4648,"cost_usd":4649},8203,733,4145,0.00315025,{"type":14,"value":4651,"toc":4755},[4652,4656,4659,4666,4692,4696,4699,4706,4720,4724,4731,4738,4741],[17,4653,4655],{"id":4654},"the-u-curve-problem-in-context-processing","The U-Curve Problem in Context Processing",[22,4657,4658],{},"Large context windows do not guarantee better performance. LLMs frequently exhibit a \"U-curve\" behavior where they attend to the beginning and end of a prompt but ignore the middle. Simply dumping an entire codebase into an agent's context window leads to information loss and degraded reasoning.",[22,4660,4661,4662,4665],{},"Instead of relying on massive context, developers should implement ",[39,4663,4664],{},"context optimization"," strategies:",[33,4667,4668,4674,4680,4686],{},[36,4669,4670,4673],{},[39,4671,4672],{},"Context Engines:"," Use search and ranking logic to act as a \"bouncer,\" feeding only the most relevant data to the model.",[36,4675,4676,4679],{},[39,4677,4678],{},"Hierarchical Summarization:"," Generate summaries for files and folders. While this requires high upfront LLM processing, it allows agents to navigate large repositories efficiently.",[36,4681,4682,4685],{},[39,4683,4684],{},"Knowledge Graphs:"," Ideal for complex projects with deep logical dependencies between files, though they require significant initial setup.",[36,4687,4688,4691],{},[39,4689,4690],{},"Iterative Retrieval:"," Use a \"library card\" approach to index topics, allowing agents to perform deep dives into specific code sections only when necessary.",[17,4693,4695],{"id":4694},"solving-the-orchestration-paradox","Solving the Orchestration Paradox",[22,4697,4698],{},"Highly capable models often fall into an \"orchestration paradox,\" where they spend the majority of their token budget planning or researching how to solve a problem rather than actually solving it. This results in infinite loops of self-doubt and wasted compute.",[22,4700,4701,4702,4705],{},"To mitigate this, adopt an ",[39,4703,4704],{},"80\u002F20 hybrid approach",":",[33,4707,4708,4714],{},[36,4709,4710,4713],{},[39,4711,4712],{},"80% Discovery\u002FResearch:"," Use high-reasoning models for open-ended tasks, planning, and tool selection. Implement hard constraints like timeout counters or iteration limits (e.g., 4-5 attempts) to prevent infinite loops.",[36,4715,4716,4719],{},[39,4717,4718],{},"20% Validation\u002FExecution:"," Use lighter, deterministic models for final validation, summarization, and task execution. These models do not need to \"think\" or research; they simply follow rigid, goal-oriented instructions.",[17,4721,4723],{"id":4722},"multi-agent-architecture-and-calibration","Multi-Agent Architecture and Calibration",[22,4725,4726,4727,4730],{},"Rather than building one \"god-agent\" that attempts to handle testing, security, and reviews simultaneously, use a ",[39,4728,4729],{},"Mixture of Agents (MoA)"," architecture. By breaking tasks into specialized expert agents, you avoid the cognitive load that causes agents to lose focus on specific tasks.",[22,4732,4733,4734,4737],{},"To ensure these specialized agents work in harmony, implement a ",[39,4735,4736],{},"Judge Agent",". This node collects outputs from various experts, filters them for relevance, and reconciles conflicting suggestions.",[22,4739,4740],{},"Calibration is critical for production-grade results:",[33,4742,4743,4749],{},[36,4744,4745,4748],{},[39,4746,4747],{},"PR History:"," Index past pull requests to understand team-specific coding patterns and preferences.",[36,4750,4751,4754],{},[39,4752,4753],{},"Feedback Loops:"," Track whether developers accept or reject agent suggestions. Accepted suggestions increase the weight of that specific rule or pattern for future runs, while rejections decrease it, allowing the system to learn organizational standards over time.",{"title":59,"searchDepth":60,"depth":60,"links":4756},[4757,4758,4759],{"id":4654,"depth":60,"text":4655},{"id":4694,"depth":60,"text":4695},{"id":4722,"depth":60,"text":4723},[65],{"content_references":4762,"triage":4770},[4763,4766],{"type":72,"title":4764,"url":4765,"context":75},"Qodo","https:\u002F\u002Fwww.qodo.ai\u002F",{"type":72,"title":4767,"url":4768,"context":4769},"LangChain","https:\u002F\u002Fwww.langchain.com\u002F","mentioned",{"relevance":77,"novelty":78,"quality":78,"actionability":78,"composite":79,"reasoning":4771},"Category: AI & LLMs. The article provides in-depth strategies for optimizing AI agents, addressing specific pain points like the U-curve problem and orchestration paradox, which are relevant to developers building AI-powered products. It offers actionable techniques such as context engines and an 80\u002F20 hybrid approach that can be directly applied in real-world scenarios.","\u002Fsummaries\u002Fd2c1202ababa372c-optimizing-ai-agents-solving-the-u-curve-and-orche-summary","2026-06-08 15:00:17","2026-06-09 12:56:17",{"title":4644,"description":59},{"loc":4772},"d2c1202ababa372c","AI Engineer","video","https:\u002F\u002Fwww.youtube.com\u002Fwatch?v=EcqMYoIV57A","summaries\u002Fd2c1202ababa372c-optimizing-ai-agents-solving-the-u-curve-and-orche-summary",[4638,92,93,95],"https:\u002F\u002Fi.ytimg.com\u002Fvi\u002FEcqMYoIV57A\u002Fhqdefault.jpg","LLMs often ignore middle-context data and waste tokens on excessive planning. To fix this, use targeted context retrieval, specialized multi-agent architectures, and a hybrid 80\u002F20 model approach.","This talk explains the \"U-curve\" phenomenon where LLMs ignore the middle of large context windows and details how to mitigate it using retrieval strategies like hierarchical summarization and iterative indexing. It also addresses the \"orchestration paradox,\" proposing an 80\u002F20 hybrid architecture that uses high-reasoning models for open-ended discovery and deterministic models for validation.",[95],"CUuBcpM0U4weyi_mLHoxxqVCdys6POWL0--eEKe-WU8",{"id":4789,"title":4790,"ai":4791,"body":4796,"categories":4824,"created_at":66,"date_modified":66,"description":59,"extension":67,"faq":66,"featured":68,"kicker_label":66,"meta":4825,"navigation":81,"path":4842,"published_at":4843,"question":66,"scraped_at":4844,"seo":4845,"sitemap":4846,"source_id":4847,"source_name":4848,"source_type":88,"source_url":4849,"stem":4850,"tags":4851,"thumbnail_url":66,"tldr":4853,"tweet":66,"unknown_tags":4854,"__hash__":4855},"summaries\u002Fsummaries\u002F3e28aed62a286e57-cognition-ceo-scott-wu-on-ai-agents-as-partners-no-summary.md","Cognition CEO Scott Wu on AI Agents as Partners, Not Replacements",{"provider":7,"model":8,"input_tokens":4792,"output_tokens":4793,"processing_time_ms":4794,"cost_usd":4795},6449,630,3389,0.00255725,{"type":14,"value":4797,"toc":4819},[4798,4802,4805,4809,4812,4816],[17,4799,4801],{"id":4800},"the-philosophy-of-augmentation","The Philosophy of Augmentation",[22,4803,4804],{},"Scott Wu, CEO of Cognition, rejects the narrative that AI coding agents are intended to replace human software engineers. Instead, he positions tools like Devin as \"buddies\" that help developers build more efficiently. Wu draws a parallel to the evolution of development environments, suggesting that agents serve as a new layer of abstraction—moving developers further away from machine instructions and closer to the act of product creation. By automating long-tail maintenance tasks, such as platform migrations and legacy code updates, agents aim to remove the \"toil\" that often distracts engineers from creative work.",[17,4806,4808],{"id":4807},"practical-application-and-performance","Practical Application and Performance",[22,4810,4811],{},"While Cognition reports that 89% of its own internal code commits are generated by Devin and local agents from their acquired platform, Windsurf, Wu clarifies that the agent operates at the level of a junior-to-mid-level engineer depending on the specific task. The goal is to allow humans to retain control over the creative direction of software projects. Wu emphasizes that the joy of programming—the ability to turn an idea into a product—remains a human-centric pursuit that he intends to preserve rather than automate away.",[17,4813,4815],{"id":4814},"future-outlook","Future Outlook",[22,4817,4818],{},"Looking beyond software engineering, Wu anticipates that this agent-based paradigm will extend into other professional fields, including medicine and customer service. He maintains that in all these sectors, the ultimate decision-making power should remain with the human. While he acknowledges that the industry is entering a \"wild ride\" regarding recursive self-improving agents, he remains focused on the potential for these tools to empower workers across various industries.",{"title":59,"searchDepth":60,"depth":60,"links":4820},[4821,4822,4823],{"id":4800,"depth":60,"text":4801},{"id":4807,"depth":60,"text":4808},{"id":4814,"depth":60,"text":4815},[65],{"content_references":4826,"triage":4838},[4827,4832,4836],{"type":4828,"title":4829,"author":4830,"url":4831,"context":4769},"other","Scott Wu Tapes","Colossus","https:\u002F\u002Fcolossus.com\u002Farticle\u002Fscott-wu-tapes-cognition\u002F",{"type":72,"title":4833,"author":4834,"url":4835,"context":4769},"Devin","Cognition","https:\u002F\u002Fcognition.ai\u002F",{"type":72,"title":4837,"author":4834,"context":4769},"Windsurf",{"relevance":78,"novelty":4839,"quality":78,"actionability":4839,"composite":4840,"reasoning":4841},3,3.6,"Category: AI & LLMs. The article discusses the role of AI coding agents in software engineering, addressing the audience's pain point of understanding how AI can augment their work rather than replace it. It provides insights into the practical application of AI agents, though it lacks specific frameworks or step-by-step guidance for implementation.","\u002Fsummaries\u002F3e28aed62a286e57-cognition-ceo-scott-wu-on-ai-agents-as-partners-no-summary","2026-05-29 16:13:47","2026-05-30 14:03:25",{"title":4790,"description":59},{"loc":4842},"3e28aed62a286e57","TechCrunch — AI","https:\u002F\u002Ftechcrunch.com\u002F2026\u002F05\u002F29\u002Fcognitions-scott-wu-says-ai-coding-agents-shouldnt-replace-humans\u002F","summaries\u002F3e28aed62a286e57-cognition-ceo-scott-wu-on-ai-agents-as-partners-no-summary",[93,4852,92,95],"coding","Cognition CEO Scott Wu argues that AI coding agents like Devin are designed to augment human developers by handling repetitive toil, rather than replacing them, framing agents as a new layer of abstraction for software creation.",[95],"2hOUcCPy2qYJXMofdnspksfrdlQO7BNmhLyNaoDlePw",{"id":4857,"title":4858,"ai":4859,"body":4865,"categories":4962,"created_at":66,"date_modified":66,"description":59,"extension":67,"faq":66,"featured":68,"kicker_label":66,"meta":4963,"navigation":81,"path":5002,"published_at":5003,"question":66,"scraped_at":5004,"seo":5005,"sitemap":5006,"source_id":5007,"source_name":5008,"source_type":88,"source_url":5009,"stem":5010,"tags":5011,"thumbnail_url":66,"tldr":5013,"tweet":66,"unknown_tags":5014,"__hash__":5015},"summaries\u002Fsummaries\u002F3fb40c95df5de396-2026-ai-coding-agents-ranked-by-key-benchmarks-summary.md","2026 AI Coding Agents Ranked by Key Benchmarks",{"provider":7,"model":4860,"input_tokens":4861,"output_tokens":4862,"processing_time_ms":4863,"cost_usd":4864},"x-ai\u002Fgrok-4.1-fast",9217,2890,55307,0.0032659,{"type":14,"value":4866,"toc":4955},[4867,4871,4874,4877,4881,4884,4887,4890,4894,4897,4900,4903,4906,4909,4912,4916,4919,4922,4926],[17,4868,4870],{"id":4869},"benchmark-reliability-has-fracturedprioritize-pro-over-verified","Benchmark Reliability Has Fractured—Prioritize Pro Over Verified",[22,4872,4873],{},"SWE-bench Verified, once the gold standard for end-to-end GitHub issue resolution, is now disputed due to 59.4% flawed test cases and training data contamination across top models like GPT-5.2, Claude Opus 4.5, and Gemini 3 Flash. OpenAI stopped reporting it in February 2026, shifting to SWE-bench Pro (1,865 tasks from public, held-out, and proprietary sets), where scores vary wildly by scaffold: original Scale AI tests hit sub-25%, but optimized runs now exceed 60% (Claude Opus 4.7 at 64.3%, GPT-5.5 at 58.6%). Terminal-Bench 2.0 better captures terminal\u002FDevOps workflows, with GPT-5.5 at 82.7% vs Claude's 69.4%, but harness differences create 7-point gaps for the same model. Agent scaffolds amplify model gaps by up to 17 points on 731 tasks, so scores reflect full stack, not model alone.",[22,4875,4876],{},"\"Improvements on SWE-bench Verified no longer reflect meaningful improvements in models’ real-world software development abilities.\" — OpenAI Frontier Evals team, explaining their benchmark abandonment; this forces reliance on Pro and Terminal-Bench for production signals.",[17,4878,4880],{"id":4879},"claude-code-and-codex-dominate-quality-vs-execution","Claude Code and Codex Dominate Quality vs Execution",[22,4882,4883],{},"Anthropic's Claude Code (#1) leverages Opus 4.7 (April 2026 release) for 87.6% SWE-bench Verified (up 7 points from 80.8% on 4.6), 64.3% Pro (11-point gain), and self-verification (auto-writes\u002Fruns tests) plus multi-agent coordination for parallel review\u002Fdocumentation. 1M token context handles large repos, but needs indexing for monorepos. Pricing splits CLI\u002FIDE subs ($20–$200\u002Fmo) from API ($5\u002F$25M tokens). Rakuten saw 3x task resolution; CodeRabbit 10%+ PR recall. Tradeoff: Trails GPT-5.5 on terminal tasks.",[22,4885,4886],{},"OpenAI Codex (#2, GPT-5.5 April 2026) flips to 82.7% Terminal-Bench leadership for shell\u002FDevOps, 58.6% Pro Public, ~88.7% Verified (third-party). CLI runs locally (GitHub: openai\u002Fcodex), web\u002FIDE cloud-sandboxed. 85% OpenAI staff use weekly. API $5\u002F$30M tokens (2x prior). Best for fire-and-forget automation, but lags Claude on multi-file quality.",[22,4888,4889],{},"\"Complex command-line workflows requiring planning, iteration, and tool coordination.\" — OpenAI on why Terminal-Bench fits Codex; highlights execution over pure coding.",[17,4891,4893],{"id":4892},"ide-native-and-free-options-scale-adoption","IDE-Native and Free Options Scale Adoption",[22,4895,4896],{},"Cursor (#3, $2B ARR Feb 2026) hits ~51.7% Verified default but scales with backends (Opus 4.7 boosts CursorBench to 70%). VS Code fork with Plan\u002FAct mode, per-task models, Pro+ background agents ($60\u002Fmo). 30% faster than Copilot, but editor lock-in limits JetBrains\u002FNeovim users.",[22,4898,4899],{},"Google's Gemini CLI (#4, open-source npm) delivers 80.6% Verified \u002F 68.5% Terminal-Bench via Gemini 3.1 Pro (Feb 2026, free tier\u002FGoogle One Premium). Strong reasoning (94.3% GPQA), GCP integration. Removes paywall for solos\u002Fopen-source.",[22,4901,4902],{},"GitHub Copilot (#5, 4.7M subs) at ~56% Verified Agent Mode, multi-model (Claude\u002FGPT backends Feb 2026), shifting to AI Credits billing June 2026 ($10–$39\u002Fmo + credits). Enterprise king for compliance\u002FIDE breadth (VS Code to Xcode).",[22,4904,4905],{},"Devin 2.0 (#6) excels scoped tasks (upgrades\u002Fmigrations) in sandboxed cloud IDE with planning\u002FWiki, but falters on ambiguity (community tests: more failures than successes on varied tasks). Free–$200\u002Fmo tiers.",[22,4907,4908],{},"Claude Mythos Preview (93.9% Verified) leads but restricted to partners via Project Glasswing—no broad access due to cyber concerns.",[22,4910,4911],{},"\"The model writes tests, runs them, and fixes failures before surfacing results.\" — Anthropic on Opus 4.7 self-verification; core to its quality edge on complex tasks.",[17,4913,4915],{"id":4914},"tradeoffs-dictate-choice-workflow-cost-access","Tradeoffs Dictate Choice: Workflow, Cost, Access",[22,4917,4918],{},"No universal winner—Claude for engineering depth (large repos, refactoring), Codex for terminal speed, Cursor for IDE flow, Gemini for free frontier access, Copilot for enterprise scale. Costs range free (Gemini) to $200\u002Fmo (high tiers); adoption signals (Copilot 4.7M subs, Cursor $2B ARR) beat pure benchmarks. Scaffolds\u002Fmodels interplay means test in your repo. 85% developers use AI coding by 2026, but production hinges on matching agent to task archetype.",[22,4920,4921],{},"\"Agent scaffolding matters as much as the underlying model.\" — Article insight from 17-point gaps on same model; why vendor scores aren't apples-to-apples.",[17,4923,4925],{"id":4924},"key-takeaways","Key Takeaways",[33,4927,4928,4931,4934,4937,4940,4943,4946,4949,4952],{},[36,4929,4930],{},"Ditch SWE-bench Verified rankings without Pro\u002FTerminal-Bench context—contamination kills reliability.",[36,4932,4933],{},"Test Claude Code (Opus 4.7) first for multi-file fixes; expect 64.3% Pro, self-fixing tests.",[36,4935,4936],{},"Use Codex CLI (GPT-5.5) for DevOps\u002Fterminal: 82.7% Terminal-Bench, local run saves security headaches.",[36,4938,4939],{},"Cursor shines in VS Code ($20–60\u002Fmo) with 30% speed edge, model choice; switch editors if committed.",[36,4941,4942],{},"Free Gemini CLI (80.6% Verified) for solos; Copilot ($10\u002Fmo entry) for enterprise compliance.",[36,4944,4945],{},"Devin 2.0 for scoped chores only—ambiguity tanks it; always review plans.",[36,4947,4948],{},"Factor scaffolds: 2–17 point swings mean your mileage varies by harness\u002Frepo.",[36,4950,4951],{},"Pricing shift: Copilot credits June 2026; API cheaper for custom agents (Claude $5\u002F$25M).",[36,4953,4954],{},"Internal wins: 3x Rakuten tasks (Claude), 85% OpenAI staff (Codex), $2B Cursor ARR.",{"title":59,"searchDepth":60,"depth":60,"links":4956},[4957,4958,4959,4960,4961],{"id":4869,"depth":60,"text":4870},{"id":4879,"depth":60,"text":4880},{"id":4892,"depth":60,"text":4893},{"id":4914,"depth":60,"text":4915},{"id":4924,"depth":60,"text":4925},[65],{"content_references":4964,"triage":4999},[4965,4969,4973,4976,4980,4983,4986,4989,4992,4995],{"type":4828,"title":4966,"author":4967,"url":4968,"context":4628},"Why We No Longer Evaluate SWE-bench Verified","OpenAI Frontier Evals","https:\u002F\u002Fopenai.com\u002Findex\u002Fwhy-we-no-longer-evaluate-swe-bench-verified\u002F",{"type":4624,"title":4970,"author":4971,"url":4972,"context":4628},"SWE-bench Pro","Scale AI","https:\u002F\u002Farxiv.org\u002Fhtml\u002F2509.16941v1",{"type":4828,"title":4974,"url":4975,"context":4769},"SWE-bench Pro Public Leaderboard","https:\u002F\u002Flabs.scale.com\u002Fleaderboard\u002Fswe_bench_pro_public",{"type":4828,"title":4977,"author":4978,"url":4979,"context":4628},"Introducing GPT-5.5","OpenAI","https:\u002F\u002Fopenai.com\u002Findex\u002Fintroducing-gpt-5-5\u002F",{"type":72,"title":4981,"url":4982,"context":4769},"Claude Code","https:\u002F\u002Fwww.anthropic.com\u002Fproduct\u002Fclaude-code",{"type":72,"title":4984,"url":4985,"context":4769},"Codex CLI","https:\u002F\u002Fgithub.com\u002Fopenai\u002Fcodex",{"type":72,"title":4987,"url":4988,"context":4769},"Cursor","https:\u002F\u002Fcursor.com\u002F",{"type":72,"title":4990,"url":4991,"context":4769},"Gemini CLI","https:\u002F\u002Fgeminicli.com\u002F",{"type":72,"title":4993,"url":4994,"context":4769},"GitHub Copilot","https:\u002F\u002Fgithub.com\u002Ffeatures\u002Fcopilot",{"type":4828,"title":4996,"author":4997,"url":4998,"context":4769},"Devin 2.0 Blog","Cognition AI","https:\u002F\u002Fcognition.ai\u002Fblog\u002Fdevin-2",{"relevance":77,"novelty":78,"quality":78,"actionability":4839,"composite":5000,"reasoning":5001},4.15,"Category: AI & LLMs. The article provides a detailed ranking of AI coding agents based on key benchmarks, addressing the practical needs of developers looking to integrate AI tools into their workflows. It highlights specific performance metrics and trade-offs, which can help product builders make informed decisions about which AI agents to adopt.","\u002Fsummaries\u002F3fb40c95df5de396-2026-ai-coding-agents-ranked-by-key-benchmarks-summary","2026-05-15 08:23:01","2026-05-15 11:00:28",{"title":4858,"description":59},{"loc":5002},"3fb40c95df5de396","MarkTechPost","https:\u002F\u002Fwww.marktechpost.com\u002F2026\u002F05\u002F15\u002Fbest-ai-agents-for-software-development-ranked-a-benchmark-driven-look-at-the-current-field\u002F","summaries\u002F3fb40c95df5de396-2026-ai-coding-agents-ranked-by-key-benchmarks-summary",[92,93,95,5012],"dev-productivity","Claude Code tops code quality at 87.6% SWE-bench Verified and 64.3% Pro, but GPT-5.5 leads Terminal-Bench at 82.7%; pick by workflow—terminal DevOps vs multi-file engineering—with caveats on benchmark contamination.",[95,5012],"58zz4JlKgE8uYY5g9KjoswWsvbzsUt4SnnBOdejo51w"]