{"abstract":"The setpoint oscillates between occupied and setback during recovery.","category":"HVAC thermostat control","checks":8,"contract":"Optimal start for a heating setback, sampled per minute from minute 0; rate is the recovery rate in tenths F per hour. While not recovering, required minutes = ceil(max(0, occ_sp - temp) * 60 / rate); recovery starts (and latches) when minutes left until occupancy <= required, but never more than 180 minutes early, and in any case at occupancy. Return the active setpoint per minute.","evaluation_group":"w2-hvac-thermostat-control-optimal-start-recovery","failed_approach":"Releasing recovery only once the space reaches the occupied setpoint still returns to setback before occupancy.","family":"w2-hvac-thermostat-control-optimal-start-recovery-recovery-latch","id":"FA-92766","implementations":{"attempt":{"sha256":"112b52e37fb88d1239911a5ca72df3a470a917c118cd30431997ad725ab4d776","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(occ_minute, occ_sp, unocc_sp, rate, temps):\n    recovering = False\n    out = []\n    for minute, temp in enumerate(temps):\n        left = occ_minute - minute\n        need = occ_sp - temp\n        if recovering and temp >= occ_sp:\n            recovering = False\n        if not recovering:\n            required = -(-max(0, need) * 60 // rate)\n            if left <= 0 or (left <= required and left <= 180):\n                recovering = True\n        out.append(occ_sp if recovering else unocc_sp)\n    return out\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\nfixtures = [[['regression: warming before occupancy',\n   [40,\n    700,\n    600,\n    60,\n    [680,\n     680,\n     680,\n     680,\n     680,\n     680,\n     680,\n     680,\n     680,\n     680,\n     680,\n     680,\n     680,\n     680,\n     680,\n     680,\n     680,\n     680,\n     680,\n     680,\n     680,\n     680,\n     680,\n     680,\n     680,\n     680,\n     680,\n     680,\n     680,\n     680,\n     700,\n     700,\n     700,\n     700,\n     700,\n     700,\n     700,\n     700,\n     700,\n     700,\n     700,\n     700,\n     700,\n     700,\n     700]],\n   [600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700]],\n  ['control: steady recovery',\n   [30,\n    700,\n    600,\n    120,\n    [650,\n     650,\n     650,\n     650,\n     650,\n     650,\n     650,\n     650,\n     650,\n     650,\n     650,\n     650,\n     650,\n     650,\n     650,\n     650,\n     650,\n     650,\n     650,\n     650,\n     650,\n     650,\n     650,\n     650,\n     650,\n     650,\n     650,\n     650,\n     650,\n     650,\n     650,\n     650,\n     650,\n     650,\n     650,\n     650,\n     650,\n     650,\n     650,\n     650]],\n   [600,\n    600,\n    600,\n    600,\n    600,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700]],\n  ['control: lead limit',\n   [200,\n    700,\n    600,\n    30,\n    [600,\n     600,\n     600,\n     600,\n     600,\n     600,\n     600,\n     600,\n     600,\n     600,\n     600,\n     600,\n     600,\n     600,\n     600,\n     600,\n     600,\n     600,\n     600,\n     600,\n     600,\n     600,\n     600,\n     600,\n     600]],\n   [600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    700,\n    700,\n    700,\n    700,\n    700]],\n  ['control: fractional minutes',\n   [60,\n    700,\n    600,\n    90,\n    [655,\n     655,\n     655,\n     655,\n     655,\n     655,\n     655,\n     655,\n     655,\n     655,\n     655,\n     655,\n     655,\n     655,\n     655,\n     655,\n     655,\n     655,\n     655,\n     655,\n     655,\n     655,\n     655,\n     655,\n     655,\n     655,\n     655,\n     655,\n     655,\n     655,\n     655,\n     655,\n     655,\n     655,\n     655,\n     655,\n     655,\n     655,\n     655,\n     655,\n     655,\n     655,\n     655,\n     655,\n     655]],\n   [600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700]],\n  ['control: lead limit boundary',\n   [200,\n    700,\n    600,\n    30,\n    [610,\n     610,\n     610,\n     610,\n     610,\n     610,\n     610,\n     610,\n     610,\n     610,\n     610,\n     610,\n     610,\n     610,\n     610,\n     610,\n     610,\n     610,\n     610,\n     610,\n     610,\n     610,\n     610,\n     610,\n     610]],\n   [600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    700,\n    700,\n    700,\n    700,\n    700]],\n  ['control: scenario 1',\n   [60,\n    700,\n    600,\n    30,\n    [604,\n     604,\n     605,\n     605,\n     605,\n     607,\n     609,\n     611,\n     611,\n     611,\n     612,\n     612,\n     614,\n     615,\n     617,\n     619,\n     620,\n     620,\n     620,\n     620,\n     621,\n     621,\n     623,\n     623,\n     623,\n     623,\n     624,\n     625,\n     626,\n     626,\n     628,\n     629,\n     630,\n     630,\n     631,\n     632,\n     633,\n     633,\n     633,\n     635,\n     636,\n     638,\n     640,\n     640,\n     640,\n     641,\n     643,\n     643,\n     645,\n     646,\n     646,\n     646,\n     648,\n     648,\n     648,\n     648,\n     648,\n     648,\n     648,\n     650,\n     651,\n     651,\n     651,\n     652]],\n   [700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700]],\n  ['control: scenario 2',\n   [60,\n    700,\n    600,\n    240,\n    [603,\n     603,\n     605,\n     606,\n     606,\n     607,\n     607,\n     608,\n     608,\n     608,\n     608,\n     608,\n     608,\n     608,\n     608,\n     608,\n     610,\n     611,\n     612,\n     613,\n     615,\n     615,\n     615,\n     617,\n     617,\n     619,\n     619,\n     620,\n     620,\n     620,\n     622,\n     624,\n     624,\n     624,\n     625,\n     625,\n     625,\n     626,\n     626,\n     628,\n     630,\n     631,\n     632,\n     634,\n     636,\n     638,\n     638,\n     638,\n     638,\n     639,\n     640,\n     642,\n     644,\n     645,\n     645,\n     646,\n     646,\n     647,\n     648,\n     650,\n     652,\n     654,\n     656,\n     656,\n     656,\n     657,\n     659,\n     659]],\n   [600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700]],\n  ['control: scenario 3',\n   [45,\n    700,\n    600,\n    120,\n    [619,\n     619,\n     619,\n     620,\n     620,\n     620,\n     620,\n     620,\n     620,\n     620,\n     620,\n     622,\n     622,\n     622,\n     623,\n     623,\n     625,\n     627,\n     627,\n     628,\n     629,\n     629,\n     629,\n     629,\n     630,\n     631,\n     631,\n     631,\n     632,\n     633,\n     635,\n     635,\n     636,\n     636,\n     638,\n     639,\n     640,\n     640,\n     641,\n     641,\n     641,\n     641,\n     643,\n     643,\n     643,\n     643,\n     643,\n     643,\n     644,\n     646,\n     646,\n     646,\n     648]],\n   [600,\n    600,\n    600,\n    600,\n    600,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700]]],\n [['regression: scenario 12',\n   [30,\n    700,\n    600,\n    60,\n    [679,\n     680,\n     682,\n     682,\n     682,\n     682,\n     682,\n     682,\n     683,\n     685,\n     687,\n     689,\n     690,\n     692,\n     692,\n     692,\n     692,\n     692,\n     692,\n     694,\n     695,\n     696,\n     696,\n     696,\n     696,\n     696,\n     696,\n     698,\n     698,\n     699,\n     699,\n     699,\n     699,\n     699,\n     700,\n     701,\n     701,\n     701]],\n   [600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700]],\n  ['regression: scenario 15',\n   [45,\n    700,\n    600,\n    30,\n    [677,\n     677,\n     679,\n     680,\n     681,\n     681,\n     681,\n     681,\n     683,\n     683,\n     683,\n     684,\n     686,\n     686,\n     686,\n     688,\n     688,\n     689,\n     691,\n     693,\n     693,\n     693,\n     693,\n     693,\n     694,\n     695,\n     695,\n     696,\n     696,\n     696,\n     697,\n     699,\n     700,\n     700,\n     700,\n     700,\n     701,\n     703,\n     704,\n     706,\n     707,\n     709,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710]],\n   [700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700]],\n  ['control: steady recovery',\n   [30,\n    700,\n    600,\n    120,\n    [650,\n     650,\n     650,\n     650,\n     650,\n     650,\n     650,\n     650,\n     650,\n     650,\n     650,\n     650,\n     650,\n     650,\n     650,\n     650,\n     650,\n     650,\n     650,\n     650,\n     650,\n     650,\n     650,\n     650,\n     650,\n     650,\n     650,\n     650,\n     650,\n     650,\n     650,\n     650,\n     650,\n     650,\n     650,\n     650,\n     650,\n     650,\n     650,\n     650]],\n   [600,\n    600,\n    600,\n    600,\n    600,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700]],\n  ['control: lead limit',\n   [200,\n    700,\n    600,\n    30,\n    [600,\n     600,\n     600,\n     600,\n     600,\n     600,\n     600,\n     600,\n     600,\n     600,\n     600,\n     600,\n     600,\n     600,\n     600,\n     600,\n     600,\n     600,\n     600,\n     600,\n     600,\n     600,\n     600,\n     600,\n     600]],\n   [600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    700,\n    700,\n    700,\n    700,\n    700]],\n  ['control: fractional minutes',\n   [60,\n    700,\n    600,\n    90,\n    [655,\n     655,\n     655,\n     655,\n     655,\n     655,\n     655,\n     655,\n     655,\n     655,\n     655,\n     655,\n     655,\n     655,\n     655,\n     655,\n     655,\n     655,\n     655,\n     655,\n     655,\n     655,\n     655,\n     655,\n     655,\n     655,\n     655,\n     655,\n     655,\n     655,\n     655,\n     655,\n     655,\n     655,\n     655,\n     655,\n     655,\n     655,\n     655,\n     655,\n     655,\n     655,\n     655,\n     655,\n     655]],\n   [600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700]],\n  ['regression: warming before occupancy',\n   [40,\n    700,\n    600,\n    60,\n    [680,\n     680,\n     680,\n     680,\n     680,\n     680,\n     680,\n     680,\n     680,\n     680,\n     680,\n     680,\n     680,\n     680,\n     680,\n     680,\n     680,\n     680,\n     680,\n     680,\n     680,\n     680,\n     680,\n     680,\n     680,\n     680,\n     680,\n     680,\n     680,\n     680,\n     700,\n     700,\n     700,\n     700,\n     700,\n     700,\n     700,\n     700,\n     700,\n     700,\n     700,\n     700,\n     700,\n     700,\n     700]],\n   [600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700]],\n  ['control: lead limit boundary',\n   [200,\n    700,\n    600,\n    30,\n    [610,\n     610,\n     610,\n     610,\n     610,\n     610,\n     610,\n     610,\n     610,\n     610,\n     610,\n     610,\n     610,\n     610,\n     610,\n     610,\n     610,\n     610,\n     610,\n     610,\n     610,\n     610,\n     610,\n     610,\n     610]],\n   [600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    700,\n    700,\n    700,\n    700,\n    700]],\n  ['control: scenario 1',\n   [60,\n    700,\n    600,\n    240,\n    [689,\n     689,\n     689,\n     689,\n     690,\n     692,\n     693,\n     695,\n     696,\n     697,\n     697,\n     699,\n     700,\n     702,\n     703,\n     703,\n     703,\n     703,\n     704,\n     704,\n     706,\n     707,\n     707,\n     708,\n     709,\n     709,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710]],\n   [600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700]]],\n [['regression: warming before occupancy',\n   [40,\n    700,\n    600,\n    60,\n    [680,\n     680,\n     680,\n     680,\n     680,\n     680,\n     680,\n     680,\n     680,\n     680,\n     680,\n     680,\n     680,\n     680,\n     680,\n     680,\n     680,\n     680,\n     680,\n     680,\n     680,\n     680,\n     680,\n     680,\n     680,\n     680,\n     680,\n     680,\n     680,\n     680,\n     700,\n     700,\n     700,\n     700,\n     700,\n     700,\n     700,\n     700,\n     700,\n     700,\n     700,\n     700,\n     700,\n     700,\n     700]],\n   [600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700]],\n  ['regression: scenario 59',\n   [60,\n    700,\n    600,\n    30,\n    [663,\n     663,\n     665,\n     666,\n     668,\n     669,\n     671,\n     671,\n     672,\n     672,\n     672,\n     674,\n     676,\n     678,\n     678,\n     679,\n     679,\n     679,\n     680,\n     680,\n     680,\n     680,\n     680,\n     680,\n     680,\n     682,\n     683,\n     684,\n     685,\n     685,\n     686,\n     687,\n     689,\n     689,\n     689,\n     690,\n     691,\n     691,\n     692,\n     692,\n     692,\n     693,\n     693,\n     694,\n     695,\n     695,\n     695,\n     696,\n     698,\n     700,\n     702,\n     704,\n     705,\n     706,\n     706,\n     706,\n     706,\n     706,\n     706,\n     706,\n     708,\n     710,\n     710,\n     710]],\n   [700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700]],\n  ['control: steady recovery',\n   [30,\n    700,\n    600,\n    120,\n    [650,\n     650,\n     650,\n     650,\n     650,\n     650,\n     650,\n     650,\n     650,\n     650,\n     650,\n     650,\n     650,\n     650,\n     650,\n     650,\n     650,\n     650,\n     650,\n     650,\n     650,\n     650,\n     650,\n     650,\n     650,\n     650,\n     650,\n     650,\n     650,\n     650,\n     650,\n     650,\n     650,\n     650,\n     650,\n     650,\n     650,\n     650,\n     650,\n     650]],\n   [600,\n    600,\n    600,\n    600,\n    600,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700]],\n  ['control: lead limit',\n   [200,\n    700,\n    600,\n    30,\n    [600,\n     600,\n     600,\n     600,\n     600,\n     600,\n     600,\n     600,\n     600,\n     600,\n     600,\n     600,\n     600,\n     600,\n     600,\n     600,\n     600,\n     600,\n     600,\n     600,\n     600,\n     600,\n     600,\n     600,\n     600]],\n   [600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    700,\n    700,\n    700,\n    700,\n    700]],\n  ['control: fractional minutes',\n   [60,\n    700,\n    600,\n    90,\n    [655,\n     655,\n     655,\n     655,\n     655,\n     655,\n     655,\n     655,\n     655,\n     655,\n     655,\n     655,\n     655,\n     655,\n     655,\n     655,\n     655,\n     655,\n     655,\n     655,\n     655,\n     655,\n     655,\n     655,\n     655,\n     655,\n     655,\n     655,\n     655,\n     655,\n     655,\n     655,\n     655,\n     655,\n     655,\n     655,\n     655,\n     655,\n     655,\n     655,\n     655,\n     655,\n     655,\n     655,\n     655]],\n   [600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700]],\n  ['control: lead limit boundary',\n   [200,\n    700,\n    600,\n    30,\n    [610,\n     610,\n     610,\n     610,\n     610,\n     610,\n     610,\n     610,\n     610,\n     610,\n     610,\n     610,\n     610,\n     610,\n     610,\n     610,\n     610,\n     610,\n     610,\n     610,\n     610,\n     610,\n     610,\n     610,\n     610]],\n   [600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    700,\n    700,\n    700,\n    700,\n    700]],\n  ['control: scenario 1',\n   [45,\n    700,\n    600,\n    90,\n    [624,\n     624,\n     626,\n     627,\n     627,\n     628,\n     628,\n     628,\n     630,\n     632,\n     633,\n     635,\n     636,\n     638,\n     638,\n     638,\n     640,\n     640,\n     640,\n     640,\n     641,\n     642,\n     642,\n     644,\n     644,\n     644,\n     646,\n     646,\n     647,\n     647,\n     649,\n     651,\n     652,\n     653,\n     655,\n     655,\n     656,\n     656,\n     657,\n     657,\n     657,\n     659,\n     660,\n     662,\n     662,\n     663,\n     663,\n     663,\n     664]],\n   [700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700]],\n  ['control: scenario 2',\n   [60,\n    700,\n    600,\n    30,\n    [652,\n     652,\n     652,\n     652,\n     654,\n     656,\n     658,\n     658,\n     658,\n     659,\n     659,\n     661,\n     661,\n     661,\n     663,\n     664,\n     664,\n     664,\n     665,\n     665,\n     667,\n     668,\n     668,\n     668,\n     669,\n     671,\n     671,\n     671,\n     671,\n     671,\n     671,\n     671,\n     671,\n     671,\n     672,\n     673,\n     673,\n     673,\n     675,\n     677,\n     677,\n     678,\n     678,\n     678,\n     679,\n     681,\n     682,\n     684,\n     684,\n     686,\n     686,\n     688,\n     689,\n     690,\n     690,\n     690,\n     691,\n     691,\n     691,\n     692,\n     692,\n     692,\n     693,\n     694]],\n   [700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700]]],\n [['regression: warming before occupancy',\n   [40,\n    700,\n    600,\n    60,\n    [680,\n     680,\n     680,\n     680,\n     680,\n     680,\n     680,\n     680,\n     680,\n     680,\n     680,\n     680,\n     680,\n     680,\n     680,\n     680,\n     680,\n     680,\n     680,\n     680,\n     680,\n     680,\n     680,\n     680,\n     680,\n     680,\n     680,\n     680,\n     680,\n     680,\n     700,\n     700,\n     700,\n     700,\n     700,\n     700,\n     700,\n     700,\n     700,\n     700,\n     700,\n     700,\n     700,\n     700,\n     700]],\n   [600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700]],\n  ['control: steady recovery',\n   [30,\n    700,\n    600,\n    120,\n    [650,\n     650,\n     650,\n     650,\n     650,\n     650,\n     650,\n     650,\n     650,\n     650,\n     650,\n     650,\n     650,\n     650,\n     650,\n     650,\n     650,\n     650,\n     650,\n     650,\n     650,\n     650,\n     650,\n     650,\n     650,\n     650,\n     650,\n     650,\n     650,\n     650,\n     650,\n     650,\n     650,\n     650,\n     650,\n     650,\n     650,\n     650,\n     650,\n     650]],\n   [600,\n    600,\n    600,\n    600,\n    600,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700]],\n  ['control: lead limit',\n   [200,\n    700,\n    600,\n    30,\n    [600,\n     600,\n     600,\n     600,\n     600,\n     600,\n     600,\n     600,\n     600,\n     600,\n     600,\n     600,\n     600,\n     600,\n     600,\n     600,\n     600,\n     600,\n     600,\n     600,\n     600,\n     600,\n     600,\n     600,\n     600]],\n   [600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    700,\n    700,\n    700,\n    700,\n    700]],\n  ['control: fractional minutes',\n   [60,\n    700,\n    600,\n    90,\n    [655,\n     655,\n     655,\n     655,\n     655,\n     655,\n     655,\n     655,\n     655,\n     655,\n     655,\n     655,\n     655,\n     655,\n     655,\n     655,\n     655,\n     655,\n     655,\n     655,\n     655,\n     655,\n     655,\n     655,\n     655,\n     655,\n     655,\n     655,\n     655,\n     655,\n     655,\n     655,\n     655,\n     655,\n     655,\n     655,\n     655,\n     655,\n     655,\n     655,\n     655,\n     655,\n     655,\n     655,\n     655]],\n   [600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700]],\n  ['control: lead limit boundary',\n   [200,\n    700,\n    600,\n    30,\n    [610,\n     610,\n     610,\n     610,\n     610,\n     610,\n     610,\n     610,\n     610,\n     610,\n     610,\n     610,\n     610,\n     610,\n     610,\n     610,\n     610,\n     610,\n     610,\n     610,\n     610,\n     610,\n     610,\n     610,\n     610]],\n   [600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    700,\n    700,\n    700,\n    700,\n    700]],\n  ['control: scenario 1',\n   [200,\n    700,\n    600,\n    60,\n    [658,\n     660,\n     660,\n     661,\n     661,\n     661,\n     661,\n     663,\n     663,\n     663,\n     663,\n     665,\n     665,\n     665,\n     666,\n     666,\n     667,\n     669,\n     669,\n     669,\n     670,\n     670,\n     671,\n     671,\n     672,\n     672,\n     672,\n     672,\n     672,\n     672,\n     672,\n     674,\n     674,\n     674,\n     674,\n     674,\n     674,\n     676,\n     676,\n     676,\n     678,\n     679,\n     681,\n     681,\n     681,\n     681,\n     681,\n     681,\n     683,\n     683,\n     683,\n     683,\n     683,\n     685,\n     686,\n     687,\n     687,\n     687,\n     689,\n     691,\n     692,\n     694,\n     694,\n     694,\n     694,\n     696,\n     696,\n     696,\n     698,\n     699,\n     701,\n     702,\n     702,\n     703,\n     703,\n     703,\n     704,\n     706,\n     707,\n     707,\n     709,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710]],\n   [600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700]],\n  ['control: scenario 2',\n   [60,\n    700,\n    600,\n    30,\n    [673,\n     674,\n     675,\n     676,\n     678,\n     680,\n     682,\n     684,\n     684,\n     684,\n     686,\n     687,\n     688,\n     690,\n     692,\n     693,\n     694,\n     694,\n     694,\n     695,\n     696,\n     696,\n     696,\n     696,\n     698,\n     699,\n     699,\n     701,\n     701,\n     701,\n     702,\n     704,\n     706,\n     708,\n     708,\n     708,\n     708,\n     708,\n     709,\n     709,\n     709,\n     709,\n     709,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710]],\n   [600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700]],\n  ['control: scenario 3',\n   [200,\n    700,\n    600,\n    120,\n    [616,\n     618,\n     620,\n     620,\n     620,\n     621,\n     622,\n     622,\n     623,\n     624,\n     625,\n     626,\n     626,\n     626,\n     626,\n     628,\n     629,\n     631,\n     631,\n     632,\n     632,\n     634,\n     634,\n     634,\n     634,\n     636,\n     636,\n     637,\n     639,\n     639,\n     640,\n     641,\n     641,\n     641,\n     641,\n     641,\n     642,\n     642,\n     642,\n     642,\n     642,\n     644,\n     644,\n     645,\n     645,\n     645,\n     645,\n     647,\n     648,\n     649,\n     649,\n     650,\n     651,\n     653,\n     655,\n     657,\n     657,\n     658,\n     658,\n     659,\n     659,\n     659,\n     660,\n     660,\n     660,\n     661,\n     661,\n     661,\n     661,\n     661,\n     662,\n     663,\n     664,\n     664,\n     665,\n     665,\n     666,\n     666,\n     666,\n     668,\n     669,\n     669,\n     669,\n     669,\n     671,\n     671,\n     671,\n     672,\n     672,\n     674,\n     674,\n     676,\n     676,\n     676,\n     676,\n     676,\n     676,\n     678,\n     678,\n     679,\n     679,\n     681,\n     681,\n     683,\n     683,\n     683,\n     685,\n     686,\n     687,\n     687,\n     688,\n     689,\n     691,\n     692,\n     694,\n     695,\n     697,\n     697,\n     698,\n     698,\n     698,\n     698,\n     700,\n     700,\n     701,\n     702,\n     702,\n     702,\n     703,\n     703,\n     703,\n     703,\n     705,\n     707,\n     707,\n     707,\n     707,\n     708,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710]],\n   [600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    700,\n    700,\n    700]]],\n [['regression: warming before occupancy',\n   [40,\n    700,\n    600,\n    60,\n    [680,\n     680,\n     680,\n     680,\n     680,\n     680,\n     680,\n     680,\n     680,\n     680,\n     680,\n     680,\n     680,\n     680,\n     680,\n     680,\n     680,\n     680,\n     680,\n     680,\n     680,\n     680,\n     680,\n     680,\n     680,\n     680,\n     680,\n     680,\n     680,\n     680,\n     700,\n     700,\n     700,\n     700,\n     700,\n     700,\n     700,\n     700,\n     700,\n     700,\n     700,\n     700,\n     700,\n     700,\n     700]],\n   [600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700]],\n  ['regression: scenario 32',\n   [60,\n    700,\n    600,\n    30,\n    [664,\n     664,\n     666,\n     666,\n     666,\n     666,\n     666,\n     668,\n     670,\n     671,\n     671,\n     672,\n     673,\n     674,\n     674,\n     676,\n     677,\n     677,\n     678,\n     678,\n     678,\n     678,\n     679,\n     679,\n     679,\n     679,\n     681,\n     682,\n     683,\n     684,\n     685,\n     686,\n     687,\n     688,\n     689,\n     689,\n     691,\n     692,\n     692,\n     692,\n     692,\n     693,\n     693,\n     695,\n     695,\n     695,\n     695,\n     695,\n     695,\n     697,\n     697,\n     697,\n     698,\n     699,\n     699,\n     701,\n     702,\n     702,\n     702,\n     702,\n     704,\n     704,\n     705,\n     705,\n     705,\n     707]],\n   [700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700]],\n  ['control: steady recovery',\n   [30,\n    700,\n    600,\n    120,\n    [650,\n     650,\n     650,\n     650,\n     650,\n     650,\n     650,\n     650,\n     650,\n     650,\n     650,\n     650,\n     650,\n     650,\n     650,\n     650,\n     650,\n     650,\n     650,\n     650,\n     650,\n     650,\n     650,\n     650,\n     650,\n     650,\n     650,\n     650,\n     650,\n     650,\n     650,\n     650,\n     650,\n     650,\n     650,\n     650,\n     650,\n     650,\n     650,\n     650]],\n   [600,\n    600,\n    600,\n    600,\n    600,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700]],\n  ['control: lead limit',\n   [200,\n    700,\n    600,\n    30,\n    [600,\n     600,\n     600,\n     600,\n     600,\n     600,\n     600,\n     600,\n     600,\n     600,\n     600,\n     600,\n     600,\n     600,\n     600,\n     600,\n     600,\n     600,\n     600,\n     600,\n     600,\n     600,\n     600,\n     600,\n     600]],\n   [600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    700,\n    700,\n    700,\n    700,\n    700]],\n  ['control: fractional minutes',\n   [60,\n    700,\n    600,\n    90,\n    [655,\n     655,\n     655,\n     655,\n     655,\n     655,\n     655,\n     655,\n     655,\n     655,\n     655,\n     655,\n     655,\n     655,\n     655,\n     655,\n     655,\n     655,\n     655,\n     655,\n     655,\n     655,\n     655,\n     655,\n     655,\n     655,\n     655,\n     655,\n     655,\n     655,\n     655,\n     655,\n     655,\n     655,\n     655,\n     655,\n     655,\n     655,\n     655,\n     655,\n     655,\n     655,\n     655,\n     655,\n     655]],\n   [600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700]],\n  ['control: lead limit boundary',\n   [200,\n    700,\n    600,\n    30,\n    [610,\n     610,\n     610,\n     610,\n     610,\n     610,\n     610,\n     610,\n     610,\n     610,\n     610,\n     610,\n     610,\n     610,\n     610,\n     610,\n     610,\n     610,\n     610,\n     610,\n     610,\n     610,\n     610,\n     610,\n     610]],\n   [600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    700,\n    700,\n    700,\n    700,\n    700]],\n  ['control: scenario 1',\n   [200,\n    700,\n    600,\n    120,\n    [674,\n     676,\n     677,\n     677,\n     678,\n     678,\n     679,\n     679,\n     681,\n     682,\n     684,\n     686,\n     687,\n     687,\n     687,\n     687,\n     687,\n     689,\n     690,\n     692,\n     694,\n     696,\n     697,\n     697,\n     697,\n     698,\n     700,\n     700,\n     702,\n     702,\n     703,\n     703,\n     704,\n     705,\n     707,\n     709,\n     709,\n     709,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710]],\n   [600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    700,\n    700,\n    700,\n    700]],\n  ['control: scenario 2',\n   [60,\n    700,\n    600,\n    30,\n    [690,\n     692,\n     694,\n     695,\n     697,\n     697,\n     697,\n     697,\n     697,\n     697,\n     698,\n     699,\n     699,\n     699,\n     699,\n     700,\n     700,\n     700,\n     700,\n     702,\n     704,\n     705,\n     705,\n     705,\n     706,\n     706,\n     707,\n     709,\n     709,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710]],\n   [600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    700,\n    700,\n    700,\n    700,\n    700]]]]\nfor label, args, expected in fixtures[N-1]:\n    check(label, solve(*args), expected)\nprint(json.dumps({\"observations\": observations, \"passed\": all(x[\"passed\"] for x in observations)}, ensure_ascii=False))\nraise SystemExit(0 if all(x[\"passed\"] for x in observations) else 1)\n"},"broken":{"sha256":"721a45792cbee30d390960a1b20b5ec1f72521c6a3e98a279eb7011ab07683a0","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(occ_minute, occ_sp, unocc_sp, rate, temps):\n    recovering = False\n    out = []\n    for minute, temp in enumerate(temps):\n        left = occ_minute - minute\n        need = occ_sp - temp\n        recovering = False\n        if not recovering:\n            required = -(-max(0, need) * 60 // rate)\n            if left <= 0 or (left <= required and left <= 180):\n                recovering = True\n        out.append(occ_sp if recovering else unocc_sp)\n    return out\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\nfixtures = [[['regression: warming before occupancy',\n   [40,\n    700,\n    600,\n    60,\n    [680,\n     680,\n     680,\n     680,\n     680,\n     680,\n     680,\n     680,\n     680,\n     680,\n     680,\n     680,\n     680,\n     680,\n     680,\n     680,\n     680,\n     680,\n     680,\n     680,\n     680,\n     680,\n     680,\n     680,\n     680,\n     680,\n     680,\n     680,\n     680,\n     680,\n     700,\n     700,\n     700,\n     700,\n     700,\n     700,\n     700,\n     700,\n     700,\n     700,\n     700,\n     700,\n     700,\n     700,\n     700]],\n   [600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700]],\n  ['control: steady recovery',\n   [30,\n    700,\n    600,\n    120,\n    [650,\n     650,\n     650,\n     650,\n     650,\n     650,\n     650,\n     650,\n     650,\n     650,\n     650,\n     650,\n     650,\n     650,\n     650,\n     650,\n     650,\n     650,\n     650,\n     650,\n     650,\n     650,\n     650,\n     650,\n     650,\n     650,\n     650,\n     650,\n     650,\n     650,\n     650,\n     650,\n     650,\n     650,\n     650,\n     650,\n     650,\n     650,\n     650,\n     650]],\n   [600,\n    600,\n    600,\n    600,\n    600,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700]],\n  ['control: lead limit',\n   [200,\n    700,\n    600,\n    30,\n    [600,\n     600,\n     600,\n     600,\n     600,\n     600,\n     600,\n     600,\n     600,\n     600,\n     600,\n     600,\n     600,\n     600,\n     600,\n     600,\n     600,\n     600,\n     600,\n     600,\n     600,\n     600,\n     600,\n     600,\n     600]],\n   [600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    700,\n    700,\n    700,\n    700,\n    700]],\n  ['control: fractional minutes',\n   [60,\n    700,\n    600,\n    90,\n    [655,\n     655,\n     655,\n     655,\n     655,\n     655,\n     655,\n     655,\n     655,\n     655,\n     655,\n     655,\n     655,\n     655,\n     655,\n     655,\n     655,\n     655,\n     655,\n     655,\n     655,\n     655,\n     655,\n     655,\n     655,\n     655,\n     655,\n     655,\n     655,\n     655,\n     655,\n     655,\n     655,\n     655,\n     655,\n     655,\n     655,\n     655,\n     655,\n     655,\n     655,\n     655,\n     655,\n     655,\n     655]],\n   [600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700]],\n  ['control: lead limit boundary',\n   [200,\n    700,\n    600,\n    30,\n    [610,\n     610,\n     610,\n     610,\n     610,\n     610,\n     610,\n     610,\n     610,\n     610,\n     610,\n     610,\n     610,\n     610,\n     610,\n     610,\n     610,\n     610,\n     610,\n     610,\n     610,\n     610,\n     610,\n     610,\n     610]],\n   [600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    700,\n    700,\n    700,\n    700,\n    700]],\n  ['control: scenario 1',\n   [60,\n    700,\n    600,\n    30,\n    [604,\n     604,\n     605,\n     605,\n     605,\n     607,\n     609,\n     611,\n     611,\n     611,\n     612,\n     612,\n     614,\n     615,\n     617,\n     619,\n     620,\n     620,\n     620,\n     620,\n     621,\n     621,\n     623,\n     623,\n     623,\n     623,\n     624,\n     625,\n     626,\n     626,\n     628,\n     629,\n     630,\n     630,\n     631,\n     632,\n     633,\n     633,\n     633,\n     635,\n     636,\n     638,\n     640,\n     640,\n     640,\n     641,\n     643,\n     643,\n     645,\n     646,\n     646,\n     646,\n     648,\n     648,\n     648,\n     648,\n     648,\n     648,\n     648,\n     650,\n     651,\n     651,\n     651,\n     652]],\n   [700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700]],\n  ['control: scenario 2',\n   [60,\n    700,\n    600,\n    240,\n    [603,\n     603,\n     605,\n     606,\n     606,\n     607,\n     607,\n     608,\n     608,\n     608,\n     608,\n     608,\n     608,\n     608,\n     608,\n     608,\n     610,\n     611,\n     612,\n     613,\n     615,\n     615,\n     615,\n     617,\n     617,\n     619,\n     619,\n     620,\n     620,\n     620,\n     622,\n     624,\n     624,\n     624,\n     625,\n     625,\n     625,\n     626,\n     626,\n     628,\n     630,\n     631,\n     632,\n     634,\n     636,\n     638,\n     638,\n     638,\n     638,\n     639,\n     640,\n     642,\n     644,\n     645,\n     645,\n     646,\n     646,\n     647,\n     648,\n     650,\n     652,\n     654,\n     656,\n     656,\n     656,\n     657,\n     659,\n     659]],\n   [600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700]],\n  ['control: scenario 3',\n   [45,\n    700,\n    600,\n    120,\n    [619,\n     619,\n     619,\n     620,\n     620,\n     620,\n     620,\n     620,\n     620,\n     620,\n     620,\n     622,\n     622,\n     622,\n     623,\n     623,\n     625,\n     627,\n     627,\n     628,\n     629,\n     629,\n     629,\n     629,\n     630,\n     631,\n     631,\n     631,\n     632,\n     633,\n     635,\n     635,\n     636,\n     636,\n     638,\n     639,\n     640,\n     640,\n     641,\n     641,\n     641,\n     641,\n     643,\n     643,\n     643,\n     643,\n     643,\n     643,\n     644,\n     646,\n     646,\n     646,\n     648]],\n   [600,\n    600,\n    600,\n    600,\n    600,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700]]],\n [['regression: scenario 12',\n   [30,\n    700,\n    600,\n    60,\n    [679,\n     680,\n     682,\n     682,\n     682,\n     682,\n     682,\n     682,\n     683,\n     685,\n     687,\n     689,\n     690,\n     692,\n     692,\n     692,\n     692,\n     692,\n     692,\n     694,\n     695,\n     696,\n     696,\n     696,\n     696,\n     696,\n     696,\n     698,\n     698,\n     699,\n     699,\n     699,\n     699,\n     699,\n     700,\n     701,\n     701,\n     701]],\n   [600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700]],\n  ['regression: scenario 15',\n   [45,\n    700,\n    600,\n    30,\n    [677,\n     677,\n     679,\n     680,\n     681,\n     681,\n     681,\n     681,\n     683,\n     683,\n     683,\n     684,\n     686,\n     686,\n     686,\n     688,\n     688,\n     689,\n     691,\n     693,\n     693,\n     693,\n     693,\n     693,\n     694,\n     695,\n     695,\n     696,\n     696,\n     696,\n     697,\n     699,\n     700,\n     700,\n     700,\n     700,\n     701,\n     703,\n     704,\n     706,\n     707,\n     709,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710]],\n   [700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700]],\n  ['control: steady recovery',\n   [30,\n    700,\n    600,\n    120,\n    [650,\n     650,\n     650,\n     650,\n     650,\n     650,\n     650,\n     650,\n     650,\n     650,\n     650,\n     650,\n     650,\n     650,\n     650,\n     650,\n     650,\n     650,\n     650,\n     650,\n     650,\n     650,\n     650,\n     650,\n     650,\n     650,\n     650,\n     650,\n     650,\n     650,\n     650,\n     650,\n     650,\n     650,\n     650,\n     650,\n     650,\n     650,\n     650,\n     650]],\n   [600,\n    600,\n    600,\n    600,\n    600,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700]],\n  ['control: lead limit',\n   [200,\n    700,\n    600,\n    30,\n    [600,\n     600,\n     600,\n     600,\n     600,\n     600,\n     600,\n     600,\n     600,\n     600,\n     600,\n     600,\n     600,\n     600,\n     600,\n     600,\n     600,\n     600,\n     600,\n     600,\n     600,\n     600,\n     600,\n     600,\n     600]],\n   [600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    700,\n    700,\n    700,\n    700,\n    700]],\n  ['control: fractional minutes',\n   [60,\n    700,\n    600,\n    90,\n    [655,\n     655,\n     655,\n     655,\n     655,\n     655,\n     655,\n     655,\n     655,\n     655,\n     655,\n     655,\n     655,\n     655,\n     655,\n     655,\n     655,\n     655,\n     655,\n     655,\n     655,\n     655,\n     655,\n     655,\n     655,\n     655,\n     655,\n     655,\n     655,\n     655,\n     655,\n     655,\n     655,\n     655,\n     655,\n     655,\n     655,\n     655,\n     655,\n     655,\n     655,\n     655,\n     655,\n     655,\n     655]],\n   [600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700]],\n  ['regression: warming before occupancy',\n   [40,\n    700,\n    600,\n    60,\n    [680,\n     680,\n     680,\n     680,\n     680,\n     680,\n     680,\n     680,\n     680,\n     680,\n     680,\n     680,\n     680,\n     680,\n     680,\n     680,\n     680,\n     680,\n     680,\n     680,\n     680,\n     680,\n     680,\n     680,\n     680,\n     680,\n     680,\n     680,\n     680,\n     680,\n     700,\n     700,\n     700,\n     700,\n     700,\n     700,\n     700,\n     700,\n     700,\n     700,\n     700,\n     700,\n     700,\n     700,\n     700]],\n   [600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700]],\n  ['control: lead limit boundary',\n   [200,\n    700,\n    600,\n    30,\n    [610,\n     610,\n     610,\n     610,\n     610,\n     610,\n     610,\n     610,\n     610,\n     610,\n     610,\n     610,\n     610,\n     610,\n     610,\n     610,\n     610,\n     610,\n     610,\n     610,\n     610,\n     610,\n     610,\n     610,\n     610]],\n   [600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    700,\n    700,\n    700,\n    700,\n    700]],\n  ['control: scenario 1',\n   [60,\n    700,\n    600,\n    240,\n    [689,\n     689,\n     689,\n     689,\n     690,\n     692,\n     693,\n     695,\n     696,\n     697,\n     697,\n     699,\n     700,\n     702,\n     703,\n     703,\n     703,\n     703,\n     704,\n     704,\n     706,\n     707,\n     707,\n     708,\n     709,\n     709,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710]],\n   [600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700]]],\n [['regression: warming before occupancy',\n   [40,\n    700,\n    600,\n    60,\n    [680,\n     680,\n     680,\n     680,\n     680,\n     680,\n     680,\n     680,\n     680,\n     680,\n     680,\n     680,\n     680,\n     680,\n     680,\n     680,\n     680,\n     680,\n     680,\n     680,\n     680,\n     680,\n     680,\n     680,\n     680,\n     680,\n     680,\n     680,\n     680,\n     680,\n     700,\n     700,\n     700,\n     700,\n     700,\n     700,\n     700,\n     700,\n     700,\n     700,\n     700,\n     700,\n     700,\n     700,\n     700]],\n   [600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700]],\n  ['regression: scenario 59',\n   [60,\n    700,\n    600,\n    30,\n    [663,\n     663,\n     665,\n     666,\n     668,\n     669,\n     671,\n     671,\n     672,\n     672,\n     672,\n     674,\n     676,\n     678,\n     678,\n     679,\n     679,\n     679,\n     680,\n     680,\n     680,\n     680,\n     680,\n     680,\n     680,\n     682,\n     683,\n     684,\n     685,\n     685,\n     686,\n     687,\n     689,\n     689,\n     689,\n     690,\n     691,\n     691,\n     692,\n     692,\n     692,\n     693,\n     693,\n     694,\n     695,\n     695,\n     695,\n     696,\n     698,\n     700,\n     702,\n     704,\n     705,\n     706,\n     706,\n     706,\n     706,\n     706,\n     706,\n     706,\n     708,\n     710,\n     710,\n     710]],\n   [700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700]],\n  ['control: steady recovery',\n   [30,\n    700,\n    600,\n    120,\n    [650,\n     650,\n     650,\n     650,\n     650,\n     650,\n     650,\n     650,\n     650,\n     650,\n     650,\n     650,\n     650,\n     650,\n     650,\n     650,\n     650,\n     650,\n     650,\n     650,\n     650,\n     650,\n     650,\n     650,\n     650,\n     650,\n     650,\n     650,\n     650,\n     650,\n     650,\n     650,\n     650,\n     650,\n     650,\n     650,\n     650,\n     650,\n     650,\n     650]],\n   [600,\n    600,\n    600,\n    600,\n    600,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700]],\n  ['control: lead limit',\n   [200,\n    700,\n    600,\n    30,\n    [600,\n     600,\n     600,\n     600,\n     600,\n     600,\n     600,\n     600,\n     600,\n     600,\n     600,\n     600,\n     600,\n     600,\n     600,\n     600,\n     600,\n     600,\n     600,\n     600,\n     600,\n     600,\n     600,\n     600,\n     600]],\n   [600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    700,\n    700,\n    700,\n    700,\n    700]],\n  ['control: fractional minutes',\n   [60,\n    700,\n    600,\n    90,\n    [655,\n     655,\n     655,\n     655,\n     655,\n     655,\n     655,\n     655,\n     655,\n     655,\n     655,\n     655,\n     655,\n     655,\n     655,\n     655,\n     655,\n     655,\n     655,\n     655,\n     655,\n     655,\n     655,\n     655,\n     655,\n     655,\n     655,\n     655,\n     655,\n     655,\n     655,\n     655,\n     655,\n     655,\n     655,\n     655,\n     655,\n     655,\n     655,\n     655,\n     655,\n     655,\n     655,\n     655,\n     655]],\n   [600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700]],\n  ['control: lead limit boundary',\n   [200,\n    700,\n    600,\n    30,\n    [610,\n     610,\n     610,\n     610,\n     610,\n     610,\n     610,\n     610,\n     610,\n     610,\n     610,\n     610,\n     610,\n     610,\n     610,\n     610,\n     610,\n     610,\n     610,\n     610,\n     610,\n     610,\n     610,\n     610,\n     610]],\n   [600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    700,\n    700,\n    700,\n    700,\n    700]],\n  ['control: scenario 1',\n   [45,\n    700,\n    600,\n    90,\n    [624,\n     624,\n     626,\n     627,\n     627,\n     628,\n     628,\n     628,\n     630,\n     632,\n     633,\n     635,\n     636,\n     638,\n     638,\n     638,\n     640,\n     640,\n     640,\n     640,\n     641,\n     642,\n     642,\n     644,\n     644,\n     644,\n     646,\n     646,\n     647,\n     647,\n     649,\n     651,\n     652,\n     653,\n     655,\n     655,\n     656,\n     656,\n     657,\n     657,\n     657,\n     659,\n     660,\n     662,\n     662,\n     663,\n     663,\n     663,\n     664]],\n   [700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700]],\n  ['control: scenario 2',\n   [60,\n    700,\n    600,\n    30,\n    [652,\n     652,\n     652,\n     652,\n     654,\n     656,\n     658,\n     658,\n     658,\n     659,\n     659,\n     661,\n     661,\n     661,\n     663,\n     664,\n     664,\n     664,\n     665,\n     665,\n     667,\n     668,\n     668,\n     668,\n     669,\n     671,\n     671,\n     671,\n     671,\n     671,\n     671,\n     671,\n     671,\n     671,\n     672,\n     673,\n     673,\n     673,\n     675,\n     677,\n     677,\n     678,\n     678,\n     678,\n     679,\n     681,\n     682,\n     684,\n     684,\n     686,\n     686,\n     688,\n     689,\n     690,\n     690,\n     690,\n     691,\n     691,\n     691,\n     692,\n     692,\n     692,\n     693,\n     694]],\n   [700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700]]],\n [['regression: warming before occupancy',\n   [40,\n    700,\n    600,\n    60,\n    [680,\n     680,\n     680,\n     680,\n     680,\n     680,\n     680,\n     680,\n     680,\n     680,\n     680,\n     680,\n     680,\n     680,\n     680,\n     680,\n     680,\n     680,\n     680,\n     680,\n     680,\n     680,\n     680,\n     680,\n     680,\n     680,\n     680,\n     680,\n     680,\n     680,\n     700,\n     700,\n     700,\n     700,\n     700,\n     700,\n     700,\n     700,\n     700,\n     700,\n     700,\n     700,\n     700,\n     700,\n     700]],\n   [600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700]],\n  ['control: steady recovery',\n   [30,\n    700,\n    600,\n    120,\n    [650,\n     650,\n     650,\n     650,\n     650,\n     650,\n     650,\n     650,\n     650,\n     650,\n     650,\n     650,\n     650,\n     650,\n     650,\n     650,\n     650,\n     650,\n     650,\n     650,\n     650,\n     650,\n     650,\n     650,\n     650,\n     650,\n     650,\n     650,\n     650,\n     650,\n     650,\n     650,\n     650,\n     650,\n     650,\n     650,\n     650,\n     650,\n     650,\n     650]],\n   [600,\n    600,\n    600,\n    600,\n    600,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700]],\n  ['control: lead limit',\n   [200,\n    700,\n    600,\n    30,\n    [600,\n     600,\n     600,\n     600,\n     600,\n     600,\n     600,\n     600,\n     600,\n     600,\n     600,\n     600,\n     600,\n     600,\n     600,\n     600,\n     600,\n     600,\n     600,\n     600,\n     600,\n     600,\n     600,\n     600,\n     600]],\n   [600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    700,\n    700,\n    700,\n    700,\n    700]],\n  ['control: fractional minutes',\n   [60,\n    700,\n    600,\n    90,\n    [655,\n     655,\n     655,\n     655,\n     655,\n     655,\n     655,\n     655,\n     655,\n     655,\n     655,\n     655,\n     655,\n     655,\n     655,\n     655,\n     655,\n     655,\n     655,\n     655,\n     655,\n     655,\n     655,\n     655,\n     655,\n     655,\n     655,\n     655,\n     655,\n     655,\n     655,\n     655,\n     655,\n     655,\n     655,\n     655,\n     655,\n     655,\n     655,\n     655,\n     655,\n     655,\n     655,\n     655,\n     655]],\n   [600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700]],\n  ['control: lead limit boundary',\n   [200,\n    700,\n    600,\n    30,\n    [610,\n     610,\n     610,\n     610,\n     610,\n     610,\n     610,\n     610,\n     610,\n     610,\n     610,\n     610,\n     610,\n     610,\n     610,\n     610,\n     610,\n     610,\n     610,\n     610,\n     610,\n     610,\n     610,\n     610,\n     610]],\n   [600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    700,\n    700,\n    700,\n    700,\n    700]],\n  ['control: scenario 1',\n   [200,\n    700,\n    600,\n    60,\n    [658,\n     660,\n     660,\n     661,\n     661,\n     661,\n     661,\n     663,\n     663,\n     663,\n     663,\n     665,\n     665,\n     665,\n     666,\n     666,\n     667,\n     669,\n     669,\n     669,\n     670,\n     670,\n     671,\n     671,\n     672,\n     672,\n     672,\n     672,\n     672,\n     672,\n     672,\n     674,\n     674,\n     674,\n     674,\n     674,\n     674,\n     676,\n     676,\n     676,\n     678,\n     679,\n     681,\n     681,\n     681,\n     681,\n     681,\n     681,\n     683,\n     683,\n     683,\n     683,\n     683,\n     685,\n     686,\n     687,\n     687,\n     687,\n     689,\n     691,\n     692,\n     694,\n     694,\n     694,\n     694,\n     696,\n     696,\n     696,\n     698,\n     699,\n     701,\n     702,\n     702,\n     703,\n     703,\n     703,\n     704,\n     706,\n     707,\n     707,\n     709,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710]],\n   [600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700]],\n  ['control: scenario 2',\n   [60,\n    700,\n    600,\n    30,\n    [673,\n     674,\n     675,\n     676,\n     678,\n     680,\n     682,\n     684,\n     684,\n     684,\n     686,\n     687,\n     688,\n     690,\n     692,\n     693,\n     694,\n     694,\n     694,\n     695,\n     696,\n     696,\n     696,\n     696,\n     698,\n     699,\n     699,\n     701,\n     701,\n     701,\n     702,\n     704,\n     706,\n     708,\n     708,\n     708,\n     708,\n     708,\n     709,\n     709,\n     709,\n     709,\n     709,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710]],\n   [600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700]],\n  ['control: scenario 3',\n   [200,\n    700,\n    600,\n    120,\n    [616,\n     618,\n     620,\n     620,\n     620,\n     621,\n     622,\n     622,\n     623,\n     624,\n     625,\n     626,\n     626,\n     626,\n     626,\n     628,\n     629,\n     631,\n     631,\n     632,\n     632,\n     634,\n     634,\n     634,\n     634,\n     636,\n     636,\n     637,\n     639,\n     639,\n     640,\n     641,\n     641,\n     641,\n     641,\n     641,\n     642,\n     642,\n     642,\n     642,\n     642,\n     644,\n     644,\n     645,\n     645,\n     645,\n     645,\n     647,\n     648,\n     649,\n     649,\n     650,\n     651,\n     653,\n     655,\n     657,\n     657,\n     658,\n     658,\n     659,\n     659,\n     659,\n     660,\n     660,\n     660,\n     661,\n     661,\n     661,\n     661,\n     661,\n     662,\n     663,\n     664,\n     664,\n     665,\n     665,\n     666,\n     666,\n     666,\n     668,\n     669,\n     669,\n     669,\n     669,\n     671,\n     671,\n     671,\n     672,\n     672,\n     674,\n     674,\n     676,\n     676,\n     676,\n     676,\n     676,\n     676,\n     678,\n     678,\n     679,\n     679,\n     681,\n     681,\n     683,\n     683,\n     683,\n     685,\n     686,\n     687,\n     687,\n     688,\n     689,\n     691,\n     692,\n     694,\n     695,\n     697,\n     697,\n     698,\n     698,\n     698,\n     698,\n     700,\n     700,\n     701,\n     702,\n     702,\n     702,\n     703,\n     703,\n     703,\n     703,\n     705,\n     707,\n     707,\n     707,\n     707,\n     708,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710]],\n   [600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    700,\n    700,\n    700]]],\n [['regression: warming before occupancy',\n   [40,\n    700,\n    600,\n    60,\n    [680,\n     680,\n     680,\n     680,\n     680,\n     680,\n     680,\n     680,\n     680,\n     680,\n     680,\n     680,\n     680,\n     680,\n     680,\n     680,\n     680,\n     680,\n     680,\n     680,\n     680,\n     680,\n     680,\n     680,\n     680,\n     680,\n     680,\n     680,\n     680,\n     680,\n     700,\n     700,\n     700,\n     700,\n     700,\n     700,\n     700,\n     700,\n     700,\n     700,\n     700,\n     700,\n     700,\n     700,\n     700]],\n   [600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700]],\n  ['regression: scenario 32',\n   [60,\n    700,\n    600,\n    30,\n    [664,\n     664,\n     666,\n     666,\n     666,\n     666,\n     666,\n     668,\n     670,\n     671,\n     671,\n     672,\n     673,\n     674,\n     674,\n     676,\n     677,\n     677,\n     678,\n     678,\n     678,\n     678,\n     679,\n     679,\n     679,\n     679,\n     681,\n     682,\n     683,\n     684,\n     685,\n     686,\n     687,\n     688,\n     689,\n     689,\n     691,\n     692,\n     692,\n     692,\n     692,\n     693,\n     693,\n     695,\n     695,\n     695,\n     695,\n     695,\n     695,\n     697,\n     697,\n     697,\n     698,\n     699,\n     699,\n     701,\n     702,\n     702,\n     702,\n     702,\n     704,\n     704,\n     705,\n     705,\n     705,\n     707]],\n   [700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700]],\n  ['control: steady recovery',\n   [30,\n    700,\n    600,\n    120,\n    [650,\n     650,\n     650,\n     650,\n     650,\n     650,\n     650,\n     650,\n     650,\n     650,\n     650,\n     650,\n     650,\n     650,\n     650,\n     650,\n     650,\n     650,\n     650,\n     650,\n     650,\n     650,\n     650,\n     650,\n     650,\n     650,\n     650,\n     650,\n     650,\n     650,\n     650,\n     650,\n     650,\n     650,\n     650,\n     650,\n     650,\n     650,\n     650,\n     650]],\n   [600,\n    600,\n    600,\n    600,\n    600,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700]],\n  ['control: lead limit',\n   [200,\n    700,\n    600,\n    30,\n    [600,\n     600,\n     600,\n     600,\n     600,\n     600,\n     600,\n     600,\n     600,\n     600,\n     600,\n     600,\n     600,\n     600,\n     600,\n     600,\n     600,\n     600,\n     600,\n     600,\n     600,\n     600,\n     600,\n     600,\n     600]],\n   [600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    700,\n    700,\n    700,\n    700,\n    700]],\n  ['control: fractional minutes',\n   [60,\n    700,\n    600,\n    90,\n    [655,\n     655,\n     655,\n     655,\n     655,\n     655,\n     655,\n     655,\n     655,\n     655,\n     655,\n     655,\n     655,\n     655,\n     655,\n     655,\n     655,\n     655,\n     655,\n     655,\n     655,\n     655,\n     655,\n     655,\n     655,\n     655,\n     655,\n     655,\n     655,\n     655,\n     655,\n     655,\n     655,\n     655,\n     655,\n     655,\n     655,\n     655,\n     655,\n     655,\n     655,\n     655,\n     655,\n     655,\n     655]],\n   [600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700]],\n  ['control: lead limit boundary',\n   [200,\n    700,\n    600,\n    30,\n    [610,\n     610,\n     610,\n     610,\n     610,\n     610,\n     610,\n     610,\n     610,\n     610,\n     610,\n     610,\n     610,\n     610,\n     610,\n     610,\n     610,\n     610,\n     610,\n     610,\n     610,\n     610,\n     610,\n     610,\n     610]],\n   [600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    700,\n    700,\n    700,\n    700,\n    700]],\n  ['control: scenario 1',\n   [200,\n    700,\n    600,\n    120,\n    [674,\n     676,\n     677,\n     677,\n     678,\n     678,\n     679,\n     679,\n     681,\n     682,\n     684,\n     686,\n     687,\n     687,\n     687,\n     687,\n     687,\n     689,\n     690,\n     692,\n     694,\n     696,\n     697,\n     697,\n     697,\n     698,\n     700,\n     700,\n     702,\n     702,\n     703,\n     703,\n     704,\n     705,\n     707,\n     709,\n     709,\n     709,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710]],\n   [600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    700,\n    700,\n    700,\n    700]],\n  ['control: scenario 2',\n   [60,\n    700,\n    600,\n    30,\n    [690,\n     692,\n     694,\n     695,\n     697,\n     697,\n     697,\n     697,\n     697,\n     697,\n     698,\n     699,\n     699,\n     699,\n     699,\n     700,\n     700,\n     700,\n     700,\n     702,\n     704,\n     705,\n     705,\n     705,\n     706,\n     706,\n     707,\n     709,\n     709,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710]],\n   [600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    700,\n    700,\n    700,\n    700,\n    700]]]]\nfor label, args, expected in fixtures[N-1]:\n    check(label, solve(*args), expected)\nprint(json.dumps({\"observations\": observations, \"passed\": all(x[\"passed\"] for x in observations)}, ensure_ascii=False))\nraise SystemExit(0 if all(x[\"passed\"] for x in observations) else 1)\n"},"fixed":{"sha256":"cbf15d867425ed306ce3f9be1592c50880b5ad453c25da9e3a2aac4127899795","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(occ_minute, occ_sp, unocc_sp, rate, temps):\n    recovering = False\n    out = []\n    for minute, temp in enumerate(temps):\n        left = occ_minute - minute\n        need = occ_sp - temp\n        if not recovering:\n            required = -(-max(0, need) * 60 // rate)\n            if left <= 0 or (left <= required and left <= 180):\n                recovering = True\n        out.append(occ_sp if recovering else unocc_sp)\n    return out\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\nfixtures = [[['regression: warming before occupancy',\n   [40,\n    700,\n    600,\n    60,\n    [680,\n     680,\n     680,\n     680,\n     680,\n     680,\n     680,\n     680,\n     680,\n     680,\n     680,\n     680,\n     680,\n     680,\n     680,\n     680,\n     680,\n     680,\n     680,\n     680,\n     680,\n     680,\n     680,\n     680,\n     680,\n     680,\n     680,\n     680,\n     680,\n     680,\n     700,\n     700,\n     700,\n     700,\n     700,\n     700,\n     700,\n     700,\n     700,\n     700,\n     700,\n     700,\n     700,\n     700,\n     700]],\n   [600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700]],\n  ['control: steady recovery',\n   [30,\n    700,\n    600,\n    120,\n    [650,\n     650,\n     650,\n     650,\n     650,\n     650,\n     650,\n     650,\n     650,\n     650,\n     650,\n     650,\n     650,\n     650,\n     650,\n     650,\n     650,\n     650,\n     650,\n     650,\n     650,\n     650,\n     650,\n     650,\n     650,\n     650,\n     650,\n     650,\n     650,\n     650,\n     650,\n     650,\n     650,\n     650,\n     650,\n     650,\n     650,\n     650,\n     650,\n     650]],\n   [600,\n    600,\n    600,\n    600,\n    600,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700]],\n  ['control: lead limit',\n   [200,\n    700,\n    600,\n    30,\n    [600,\n     600,\n     600,\n     600,\n     600,\n     600,\n     600,\n     600,\n     600,\n     600,\n     600,\n     600,\n     600,\n     600,\n     600,\n     600,\n     600,\n     600,\n     600,\n     600,\n     600,\n     600,\n     600,\n     600,\n     600]],\n   [600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    700,\n    700,\n    700,\n    700,\n    700]],\n  ['control: fractional minutes',\n   [60,\n    700,\n    600,\n    90,\n    [655,\n     655,\n     655,\n     655,\n     655,\n     655,\n     655,\n     655,\n     655,\n     655,\n     655,\n     655,\n     655,\n     655,\n     655,\n     655,\n     655,\n     655,\n     655,\n     655,\n     655,\n     655,\n     655,\n     655,\n     655,\n     655,\n     655,\n     655,\n     655,\n     655,\n     655,\n     655,\n     655,\n     655,\n     655,\n     655,\n     655,\n     655,\n     655,\n     655,\n     655,\n     655,\n     655,\n     655,\n     655]],\n   [600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700]],\n  ['control: lead limit boundary',\n   [200,\n    700,\n    600,\n    30,\n    [610,\n     610,\n     610,\n     610,\n     610,\n     610,\n     610,\n     610,\n     610,\n     610,\n     610,\n     610,\n     610,\n     610,\n     610,\n     610,\n     610,\n     610,\n     610,\n     610,\n     610,\n     610,\n     610,\n     610,\n     610]],\n   [600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    700,\n    700,\n    700,\n    700,\n    700]],\n  ['control: scenario 1',\n   [60,\n    700,\n    600,\n    30,\n    [604,\n     604,\n     605,\n     605,\n     605,\n     607,\n     609,\n     611,\n     611,\n     611,\n     612,\n     612,\n     614,\n     615,\n     617,\n     619,\n     620,\n     620,\n     620,\n     620,\n     621,\n     621,\n     623,\n     623,\n     623,\n     623,\n     624,\n     625,\n     626,\n     626,\n     628,\n     629,\n     630,\n     630,\n     631,\n     632,\n     633,\n     633,\n     633,\n     635,\n     636,\n     638,\n     640,\n     640,\n     640,\n     641,\n     643,\n     643,\n     645,\n     646,\n     646,\n     646,\n     648,\n     648,\n     648,\n     648,\n     648,\n     648,\n     648,\n     650,\n     651,\n     651,\n     651,\n     652]],\n   [700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700]],\n  ['control: scenario 2',\n   [60,\n    700,\n    600,\n    240,\n    [603,\n     603,\n     605,\n     606,\n     606,\n     607,\n     607,\n     608,\n     608,\n     608,\n     608,\n     608,\n     608,\n     608,\n     608,\n     608,\n     610,\n     611,\n     612,\n     613,\n     615,\n     615,\n     615,\n     617,\n     617,\n     619,\n     619,\n     620,\n     620,\n     620,\n     622,\n     624,\n     624,\n     624,\n     625,\n     625,\n     625,\n     626,\n     626,\n     628,\n     630,\n     631,\n     632,\n     634,\n     636,\n     638,\n     638,\n     638,\n     638,\n     639,\n     640,\n     642,\n     644,\n     645,\n     645,\n     646,\n     646,\n     647,\n     648,\n     650,\n     652,\n     654,\n     656,\n     656,\n     656,\n     657,\n     659,\n     659]],\n   [600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700]],\n  ['control: scenario 3',\n   [45,\n    700,\n    600,\n    120,\n    [619,\n     619,\n     619,\n     620,\n     620,\n     620,\n     620,\n     620,\n     620,\n     620,\n     620,\n     622,\n     622,\n     622,\n     623,\n     623,\n     625,\n     627,\n     627,\n     628,\n     629,\n     629,\n     629,\n     629,\n     630,\n     631,\n     631,\n     631,\n     632,\n     633,\n     635,\n     635,\n     636,\n     636,\n     638,\n     639,\n     640,\n     640,\n     641,\n     641,\n     641,\n     641,\n     643,\n     643,\n     643,\n     643,\n     643,\n     643,\n     644,\n     646,\n     646,\n     646,\n     648]],\n   [600,\n    600,\n    600,\n    600,\n    600,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700]]],\n [['regression: scenario 12',\n   [30,\n    700,\n    600,\n    60,\n    [679,\n     680,\n     682,\n     682,\n     682,\n     682,\n     682,\n     682,\n     683,\n     685,\n     687,\n     689,\n     690,\n     692,\n     692,\n     692,\n     692,\n     692,\n     692,\n     694,\n     695,\n     696,\n     696,\n     696,\n     696,\n     696,\n     696,\n     698,\n     698,\n     699,\n     699,\n     699,\n     699,\n     699,\n     700,\n     701,\n     701,\n     701]],\n   [600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700]],\n  ['regression: scenario 15',\n   [45,\n    700,\n    600,\n    30,\n    [677,\n     677,\n     679,\n     680,\n     681,\n     681,\n     681,\n     681,\n     683,\n     683,\n     683,\n     684,\n     686,\n     686,\n     686,\n     688,\n     688,\n     689,\n     691,\n     693,\n     693,\n     693,\n     693,\n     693,\n     694,\n     695,\n     695,\n     696,\n     696,\n     696,\n     697,\n     699,\n     700,\n     700,\n     700,\n     700,\n     701,\n     703,\n     704,\n     706,\n     707,\n     709,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710]],\n   [700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700]],\n  ['control: steady recovery',\n   [30,\n    700,\n    600,\n    120,\n    [650,\n     650,\n     650,\n     650,\n     650,\n     650,\n     650,\n     650,\n     650,\n     650,\n     650,\n     650,\n     650,\n     650,\n     650,\n     650,\n     650,\n     650,\n     650,\n     650,\n     650,\n     650,\n     650,\n     650,\n     650,\n     650,\n     650,\n     650,\n     650,\n     650,\n     650,\n     650,\n     650,\n     650,\n     650,\n     650,\n     650,\n     650,\n     650,\n     650]],\n   [600,\n    600,\n    600,\n    600,\n    600,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700]],\n  ['control: lead limit',\n   [200,\n    700,\n    600,\n    30,\n    [600,\n     600,\n     600,\n     600,\n     600,\n     600,\n     600,\n     600,\n     600,\n     600,\n     600,\n     600,\n     600,\n     600,\n     600,\n     600,\n     600,\n     600,\n     600,\n     600,\n     600,\n     600,\n     600,\n     600,\n     600]],\n   [600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    700,\n    700,\n    700,\n    700,\n    700]],\n  ['control: fractional minutes',\n   [60,\n    700,\n    600,\n    90,\n    [655,\n     655,\n     655,\n     655,\n     655,\n     655,\n     655,\n     655,\n     655,\n     655,\n     655,\n     655,\n     655,\n     655,\n     655,\n     655,\n     655,\n     655,\n     655,\n     655,\n     655,\n     655,\n     655,\n     655,\n     655,\n     655,\n     655,\n     655,\n     655,\n     655,\n     655,\n     655,\n     655,\n     655,\n     655,\n     655,\n     655,\n     655,\n     655,\n     655,\n     655,\n     655,\n     655,\n     655,\n     655]],\n   [600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700]],\n  ['regression: warming before occupancy',\n   [40,\n    700,\n    600,\n    60,\n    [680,\n     680,\n     680,\n     680,\n     680,\n     680,\n     680,\n     680,\n     680,\n     680,\n     680,\n     680,\n     680,\n     680,\n     680,\n     680,\n     680,\n     680,\n     680,\n     680,\n     680,\n     680,\n     680,\n     680,\n     680,\n     680,\n     680,\n     680,\n     680,\n     680,\n     700,\n     700,\n     700,\n     700,\n     700,\n     700,\n     700,\n     700,\n     700,\n     700,\n     700,\n     700,\n     700,\n     700,\n     700]],\n   [600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700]],\n  ['control: lead limit boundary',\n   [200,\n    700,\n    600,\n    30,\n    [610,\n     610,\n     610,\n     610,\n     610,\n     610,\n     610,\n     610,\n     610,\n     610,\n     610,\n     610,\n     610,\n     610,\n     610,\n     610,\n     610,\n     610,\n     610,\n     610,\n     610,\n     610,\n     610,\n     610,\n     610]],\n   [600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    700,\n    700,\n    700,\n    700,\n    700]],\n  ['control: scenario 1',\n   [60,\n    700,\n    600,\n    240,\n    [689,\n     689,\n     689,\n     689,\n     690,\n     692,\n     693,\n     695,\n     696,\n     697,\n     697,\n     699,\n     700,\n     702,\n     703,\n     703,\n     703,\n     703,\n     704,\n     704,\n     706,\n     707,\n     707,\n     708,\n     709,\n     709,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710]],\n   [600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700]]],\n [['regression: warming before occupancy',\n   [40,\n    700,\n    600,\n    60,\n    [680,\n     680,\n     680,\n     680,\n     680,\n     680,\n     680,\n     680,\n     680,\n     680,\n     680,\n     680,\n     680,\n     680,\n     680,\n     680,\n     680,\n     680,\n     680,\n     680,\n     680,\n     680,\n     680,\n     680,\n     680,\n     680,\n     680,\n     680,\n     680,\n     680,\n     700,\n     700,\n     700,\n     700,\n     700,\n     700,\n     700,\n     700,\n     700,\n     700,\n     700,\n     700,\n     700,\n     700,\n     700]],\n   [600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700]],\n  ['regression: scenario 59',\n   [60,\n    700,\n    600,\n    30,\n    [663,\n     663,\n     665,\n     666,\n     668,\n     669,\n     671,\n     671,\n     672,\n     672,\n     672,\n     674,\n     676,\n     678,\n     678,\n     679,\n     679,\n     679,\n     680,\n     680,\n     680,\n     680,\n     680,\n     680,\n     680,\n     682,\n     683,\n     684,\n     685,\n     685,\n     686,\n     687,\n     689,\n     689,\n     689,\n     690,\n     691,\n     691,\n     692,\n     692,\n     692,\n     693,\n     693,\n     694,\n     695,\n     695,\n     695,\n     696,\n     698,\n     700,\n     702,\n     704,\n     705,\n     706,\n     706,\n     706,\n     706,\n     706,\n     706,\n     706,\n     708,\n     710,\n     710,\n     710]],\n   [700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700]],\n  ['control: steady recovery',\n   [30,\n    700,\n    600,\n    120,\n    [650,\n     650,\n     650,\n     650,\n     650,\n     650,\n     650,\n     650,\n     650,\n     650,\n     650,\n     650,\n     650,\n     650,\n     650,\n     650,\n     650,\n     650,\n     650,\n     650,\n     650,\n     650,\n     650,\n     650,\n     650,\n     650,\n     650,\n     650,\n     650,\n     650,\n     650,\n     650,\n     650,\n     650,\n     650,\n     650,\n     650,\n     650,\n     650,\n     650]],\n   [600,\n    600,\n    600,\n    600,\n    600,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700]],\n  ['control: lead limit',\n   [200,\n    700,\n    600,\n    30,\n    [600,\n     600,\n     600,\n     600,\n     600,\n     600,\n     600,\n     600,\n     600,\n     600,\n     600,\n     600,\n     600,\n     600,\n     600,\n     600,\n     600,\n     600,\n     600,\n     600,\n     600,\n     600,\n     600,\n     600,\n     600]],\n   [600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    700,\n    700,\n    700,\n    700,\n    700]],\n  ['control: fractional minutes',\n   [60,\n    700,\n    600,\n    90,\n    [655,\n     655,\n     655,\n     655,\n     655,\n     655,\n     655,\n     655,\n     655,\n     655,\n     655,\n     655,\n     655,\n     655,\n     655,\n     655,\n     655,\n     655,\n     655,\n     655,\n     655,\n     655,\n     655,\n     655,\n     655,\n     655,\n     655,\n     655,\n     655,\n     655,\n     655,\n     655,\n     655,\n     655,\n     655,\n     655,\n     655,\n     655,\n     655,\n     655,\n     655,\n     655,\n     655,\n     655,\n     655]],\n   [600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700]],\n  ['control: lead limit boundary',\n   [200,\n    700,\n    600,\n    30,\n    [610,\n     610,\n     610,\n     610,\n     610,\n     610,\n     610,\n     610,\n     610,\n     610,\n     610,\n     610,\n     610,\n     610,\n     610,\n     610,\n     610,\n     610,\n     610,\n     610,\n     610,\n     610,\n     610,\n     610,\n     610]],\n   [600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    700,\n    700,\n    700,\n    700,\n    700]],\n  ['control: scenario 1',\n   [45,\n    700,\n    600,\n    90,\n    [624,\n     624,\n     626,\n     627,\n     627,\n     628,\n     628,\n     628,\n     630,\n     632,\n     633,\n     635,\n     636,\n     638,\n     638,\n     638,\n     640,\n     640,\n     640,\n     640,\n     641,\n     642,\n     642,\n     644,\n     644,\n     644,\n     646,\n     646,\n     647,\n     647,\n     649,\n     651,\n     652,\n     653,\n     655,\n     655,\n     656,\n     656,\n     657,\n     657,\n     657,\n     659,\n     660,\n     662,\n     662,\n     663,\n     663,\n     663,\n     664]],\n   [700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700]],\n  ['control: scenario 2',\n   [60,\n    700,\n    600,\n    30,\n    [652,\n     652,\n     652,\n     652,\n     654,\n     656,\n     658,\n     658,\n     658,\n     659,\n     659,\n     661,\n     661,\n     661,\n     663,\n     664,\n     664,\n     664,\n     665,\n     665,\n     667,\n     668,\n     668,\n     668,\n     669,\n     671,\n     671,\n     671,\n     671,\n     671,\n     671,\n     671,\n     671,\n     671,\n     672,\n     673,\n     673,\n     673,\n     675,\n     677,\n     677,\n     678,\n     678,\n     678,\n     679,\n     681,\n     682,\n     684,\n     684,\n     686,\n     686,\n     688,\n     689,\n     690,\n     690,\n     690,\n     691,\n     691,\n     691,\n     692,\n     692,\n     692,\n     693,\n     694]],\n   [700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700]]],\n [['regression: warming before occupancy',\n   [40,\n    700,\n    600,\n    60,\n    [680,\n     680,\n     680,\n     680,\n     680,\n     680,\n     680,\n     680,\n     680,\n     680,\n     680,\n     680,\n     680,\n     680,\n     680,\n     680,\n     680,\n     680,\n     680,\n     680,\n     680,\n     680,\n     680,\n     680,\n     680,\n     680,\n     680,\n     680,\n     680,\n     680,\n     700,\n     700,\n     700,\n     700,\n     700,\n     700,\n     700,\n     700,\n     700,\n     700,\n     700,\n     700,\n     700,\n     700,\n     700]],\n   [600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700]],\n  ['control: steady recovery',\n   [30,\n    700,\n    600,\n    120,\n    [650,\n     650,\n     650,\n     650,\n     650,\n     650,\n     650,\n     650,\n     650,\n     650,\n     650,\n     650,\n     650,\n     650,\n     650,\n     650,\n     650,\n     650,\n     650,\n     650,\n     650,\n     650,\n     650,\n     650,\n     650,\n     650,\n     650,\n     650,\n     650,\n     650,\n     650,\n     650,\n     650,\n     650,\n     650,\n     650,\n     650,\n     650,\n     650,\n     650]],\n   [600,\n    600,\n    600,\n    600,\n    600,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700]],\n  ['control: lead limit',\n   [200,\n    700,\n    600,\n    30,\n    [600,\n     600,\n     600,\n     600,\n     600,\n     600,\n     600,\n     600,\n     600,\n     600,\n     600,\n     600,\n     600,\n     600,\n     600,\n     600,\n     600,\n     600,\n     600,\n     600,\n     600,\n     600,\n     600,\n     600,\n     600]],\n   [600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    700,\n    700,\n    700,\n    700,\n    700]],\n  ['control: fractional minutes',\n   [60,\n    700,\n    600,\n    90,\n    [655,\n     655,\n     655,\n     655,\n     655,\n     655,\n     655,\n     655,\n     655,\n     655,\n     655,\n     655,\n     655,\n     655,\n     655,\n     655,\n     655,\n     655,\n     655,\n     655,\n     655,\n     655,\n     655,\n     655,\n     655,\n     655,\n     655,\n     655,\n     655,\n     655,\n     655,\n     655,\n     655,\n     655,\n     655,\n     655,\n     655,\n     655,\n     655,\n     655,\n     655,\n     655,\n     655,\n     655,\n     655]],\n   [600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700]],\n  ['control: lead limit boundary',\n   [200,\n    700,\n    600,\n    30,\n    [610,\n     610,\n     610,\n     610,\n     610,\n     610,\n     610,\n     610,\n     610,\n     610,\n     610,\n     610,\n     610,\n     610,\n     610,\n     610,\n     610,\n     610,\n     610,\n     610,\n     610,\n     610,\n     610,\n     610,\n     610]],\n   [600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    700,\n    700,\n    700,\n    700,\n    700]],\n  ['control: scenario 1',\n   [200,\n    700,\n    600,\n    60,\n    [658,\n     660,\n     660,\n     661,\n     661,\n     661,\n     661,\n     663,\n     663,\n     663,\n     663,\n     665,\n     665,\n     665,\n     666,\n     666,\n     667,\n     669,\n     669,\n     669,\n     670,\n     670,\n     671,\n     671,\n     672,\n     672,\n     672,\n     672,\n     672,\n     672,\n     672,\n     674,\n     674,\n     674,\n     674,\n     674,\n     674,\n     676,\n     676,\n     676,\n     678,\n     679,\n     681,\n     681,\n     681,\n     681,\n     681,\n     681,\n     683,\n     683,\n     683,\n     683,\n     683,\n     685,\n     686,\n     687,\n     687,\n     687,\n     689,\n     691,\n     692,\n     694,\n     694,\n     694,\n     694,\n     696,\n     696,\n     696,\n     698,\n     699,\n     701,\n     702,\n     702,\n     703,\n     703,\n     703,\n     704,\n     706,\n     707,\n     707,\n     709,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710]],\n   [600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700]],\n  ['control: scenario 2',\n   [60,\n    700,\n    600,\n    30,\n    [673,\n     674,\n     675,\n     676,\n     678,\n     680,\n     682,\n     684,\n     684,\n     684,\n     686,\n     687,\n     688,\n     690,\n     692,\n     693,\n     694,\n     694,\n     694,\n     695,\n     696,\n     696,\n     696,\n     696,\n     698,\n     699,\n     699,\n     701,\n     701,\n     701,\n     702,\n     704,\n     706,\n     708,\n     708,\n     708,\n     708,\n     708,\n     709,\n     709,\n     709,\n     709,\n     709,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710]],\n   [600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700]],\n  ['control: scenario 3',\n   [200,\n    700,\n    600,\n    120,\n    [616,\n     618,\n     620,\n     620,\n     620,\n     621,\n     622,\n     622,\n     623,\n     624,\n     625,\n     626,\n     626,\n     626,\n     626,\n     628,\n     629,\n     631,\n     631,\n     632,\n     632,\n     634,\n     634,\n     634,\n     634,\n     636,\n     636,\n     637,\n     639,\n     639,\n     640,\n     641,\n     641,\n     641,\n     641,\n     641,\n     642,\n     642,\n     642,\n     642,\n     642,\n     644,\n     644,\n     645,\n     645,\n     645,\n     645,\n     647,\n     648,\n     649,\n     649,\n     650,\n     651,\n     653,\n     655,\n     657,\n     657,\n     658,\n     658,\n     659,\n     659,\n     659,\n     660,\n     660,\n     660,\n     661,\n     661,\n     661,\n     661,\n     661,\n     662,\n     663,\n     664,\n     664,\n     665,\n     665,\n     666,\n     666,\n     666,\n     668,\n     669,\n     669,\n     669,\n     669,\n     671,\n     671,\n     671,\n     672,\n     672,\n     674,\n     674,\n     676,\n     676,\n     676,\n     676,\n     676,\n     676,\n     678,\n     678,\n     679,\n     679,\n     681,\n     681,\n     683,\n     683,\n     683,\n     685,\n     686,\n     687,\n     687,\n     688,\n     689,\n     691,\n     692,\n     694,\n     695,\n     697,\n     697,\n     698,\n     698,\n     698,\n     698,\n     700,\n     700,\n     701,\n     702,\n     702,\n     702,\n     703,\n     703,\n     703,\n     703,\n     705,\n     707,\n     707,\n     707,\n     707,\n     708,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710]],\n   [600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    700,\n    700,\n    700]]],\n [['regression: warming before occupancy',\n   [40,\n    700,\n    600,\n    60,\n    [680,\n     680,\n     680,\n     680,\n     680,\n     680,\n     680,\n     680,\n     680,\n     680,\n     680,\n     680,\n     680,\n     680,\n     680,\n     680,\n     680,\n     680,\n     680,\n     680,\n     680,\n     680,\n     680,\n     680,\n     680,\n     680,\n     680,\n     680,\n     680,\n     680,\n     700,\n     700,\n     700,\n     700,\n     700,\n     700,\n     700,\n     700,\n     700,\n     700,\n     700,\n     700,\n     700,\n     700,\n     700]],\n   [600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700]],\n  ['regression: scenario 32',\n   [60,\n    700,\n    600,\n    30,\n    [664,\n     664,\n     666,\n     666,\n     666,\n     666,\n     666,\n     668,\n     670,\n     671,\n     671,\n     672,\n     673,\n     674,\n     674,\n     676,\n     677,\n     677,\n     678,\n     678,\n     678,\n     678,\n     679,\n     679,\n     679,\n     679,\n     681,\n     682,\n     683,\n     684,\n     685,\n     686,\n     687,\n     688,\n     689,\n     689,\n     691,\n     692,\n     692,\n     692,\n     692,\n     693,\n     693,\n     695,\n     695,\n     695,\n     695,\n     695,\n     695,\n     697,\n     697,\n     697,\n     698,\n     699,\n     699,\n     701,\n     702,\n     702,\n     702,\n     702,\n     704,\n     704,\n     705,\n     705,\n     705,\n     707]],\n   [700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700]],\n  ['control: steady recovery',\n   [30,\n    700,\n    600,\n    120,\n    [650,\n     650,\n     650,\n     650,\n     650,\n     650,\n     650,\n     650,\n     650,\n     650,\n     650,\n     650,\n     650,\n     650,\n     650,\n     650,\n     650,\n     650,\n     650,\n     650,\n     650,\n     650,\n     650,\n     650,\n     650,\n     650,\n     650,\n     650,\n     650,\n     650,\n     650,\n     650,\n     650,\n     650,\n     650,\n     650,\n     650,\n     650,\n     650,\n     650]],\n   [600,\n    600,\n    600,\n    600,\n    600,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700]],\n  ['control: lead limit',\n   [200,\n    700,\n    600,\n    30,\n    [600,\n     600,\n     600,\n     600,\n     600,\n     600,\n     600,\n     600,\n     600,\n     600,\n     600,\n     600,\n     600,\n     600,\n     600,\n     600,\n     600,\n     600,\n     600,\n     600,\n     600,\n     600,\n     600,\n     600,\n     600]],\n   [600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    700,\n    700,\n    700,\n    700,\n    700]],\n  ['control: fractional minutes',\n   [60,\n    700,\n    600,\n    90,\n    [655,\n     655,\n     655,\n     655,\n     655,\n     655,\n     655,\n     655,\n     655,\n     655,\n     655,\n     655,\n     655,\n     655,\n     655,\n     655,\n     655,\n     655,\n     655,\n     655,\n     655,\n     655,\n     655,\n     655,\n     655,\n     655,\n     655,\n     655,\n     655,\n     655,\n     655,\n     655,\n     655,\n     655,\n     655,\n     655,\n     655,\n     655,\n     655,\n     655,\n     655,\n     655,\n     655,\n     655,\n     655]],\n   [600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700,\n    700]],\n  ['control: lead limit boundary',\n   [200,\n    700,\n    600,\n    30,\n    [610,\n     610,\n     610,\n     610,\n     610,\n     610,\n     610,\n     610,\n     610,\n     610,\n     610,\n     610,\n     610,\n     610,\n     610,\n     610,\n     610,\n     610,\n     610,\n     610,\n     610,\n     610,\n     610,\n     610,\n     610]],\n   [600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    700,\n    700,\n    700,\n    700,\n    700]],\n  ['control: scenario 1',\n   [200,\n    700,\n    600,\n    120,\n    [674,\n     676,\n     677,\n     677,\n     678,\n     678,\n     679,\n     679,\n     681,\n     682,\n     684,\n     686,\n     687,\n     687,\n     687,\n     687,\n     687,\n     689,\n     690,\n     692,\n     694,\n     696,\n     697,\n     697,\n     697,\n     698,\n     700,\n     700,\n     702,\n     702,\n     703,\n     703,\n     704,\n     705,\n     707,\n     709,\n     709,\n     709,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710]],\n   [600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    700,\n    700,\n    700,\n    700]],\n  ['control: scenario 2',\n   [60,\n    700,\n    600,\n    30,\n    [690,\n     692,\n     694,\n     695,\n     697,\n     697,\n     697,\n     697,\n     697,\n     697,\n     698,\n     699,\n     699,\n     699,\n     699,\n     700,\n     700,\n     700,\n     700,\n     702,\n     704,\n     705,\n     705,\n     705,\n     706,\n     706,\n     707,\n     709,\n     709,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710,\n     710]],\n   [600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    600,\n    700,\n    700,\n    700,\n    700,\n    700]]]]\nfor label, args, expected in fixtures[N-1]:\n    check(label, solve(*args), expected)\nprint(json.dumps({\"observations\": observations, \"passed\": all(x[\"passed\"] for x in observations)}, ensure_ascii=False))\nraise SystemExit(0 if all(x[\"passed\"] for x in observations) else 1)\n"}},"limitations":"A deterministic bounded teaching model of one thermostat or HVAC controller decision evaluated per sample. Temperatures are integer tenths of a degree Fahrenheit unless stated otherwise. The contract is a stipulated toy convention, not a claim of conformance to any manufacturer, ASHRAE guideline or code. This reproducer isolates one failure mechanism. Results cover the supplied fixtures. Variants within a family share a test contract and should remain grouped when constructing evaluation splits. Related mechanisms with a shared evaluation_group must also remain together; these controlled models are not independent production incidents.","method":"Deterministic executable model with adversarial boundary fixtures.","provenance":{"created_by":"Failure Map","dependencies":"Python standard library","family":"w2-hvac-thermostat-control-optimal-start-recovery-recovery-latch","generated_at":"2026-09-29T14:51:49.039062+00:00","license":"CC0-1.0","python":"3.12.14","seed":1,"split":"open-access"},"relevance":"Residential and light-commercial thermostats make these decisions sample by sample; each defect changes equipment calls in a way that shows up as short cycling, comfort complaints or equipment stress.","repair":"Latch recovery once it starts.","root_cause":"The recovery decision is recomputed every minute instead of latched.","sha256":"56383af897ce5f493f97862d17ed91c7f40f8f9aec707d4b839004f463fa4093","title":"Optimal start drops back to setback as the space warms · case 01","variant":1,"variant_policy":"Five numbered records share a model and may reuse boundary fixtures.","verification":{"attempt":{"elapsed_ms":44.872,"exit_code":1,"observations":[{"actual":[600,600,600,600,600,600,600,600,600,600,600,600,600,600,600,600,600,600,600,600,700,700,700,700,700,700,700,700,700,700,600,600,600,600,600,600,600,600,600,600,700,700,700,700,700],"check":"regression: warming before occupancy","expected":[600,600,600,600,600,600,600,600,600,600,600,600,600,600,600,600,600,600,600,600,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700],"passed":false},{"actual":[600,600,600,600,600,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700],"check":"control: steady recovery","expected":[600,600,600,600,600,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700],"passed":true},{"actual":[600,600,600,600,600,600,600,600,600,600,600,600,600,600,600,600,600,600,600,600,700,700,700,700,700],"check":"control: lead limit","expected":[600,600,600,600,600,600,600,600,600,600,600,600,600,600,600,600,600,600,600,600,700,700,700,700,700],"passed":true},{"actual":[600,600,600,600,600,600,600,600,600,600,600,600,600,600,600,600,600,600,600,600,600,600,600,600,600,600,600,600,600,600,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700],"check":"control: fractional minutes","expected":[600,600,600,600,600,600,600,600,600,600,600,600,600,600,600,600,600,600,600,600,600,600,600,600,600,600,600,600,600,600,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700],"passed":true},{"actual":[600,600,600,600,600,600,600,600,600,600,600,600,600,600,600,600,600,600,600,600,700,700,700,700,700],"check":"control: lead limit boundary","expected":[600,600,600,600,600,600,600,600,600,600,600,600,600,600,600,600,600,600,600,600,700,700,700,700,700],"passed":true},{"actual":[700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700],"check":"control: scenario 1","expected":[700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700],"passed":true},{"actual":[600,600,600,600,600,600,600,600,600,600,600,600,600,600,600,600,600,600,600,600,600,600,600,600,600,600,600,600,600,600,600,600,600,600,600,600,600,600,600,600,600,600,600,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700],"check":"control: scenario 2","expected":[600,600,600,600,600,600,600,600,600,600,600,600,600,600,600,600,600,600,600,600,600,600,600,600,600,600,600,600,600,600,600,600,600,600,600,600,600,600,600,600,600,600,600,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700],"passed":true},{"actual":[600,600,600,600,600,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700],"check":"control: scenario 3","expected":[600,600,600,600,600,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700],"passed":true}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"regression: warming before occupancy\", \"actual\": [600, 600, 600, 600, 600, 600, 600, 600, 600, 600, 600, 600, 600, 600, 600, 600, 600, 600, 600, 600, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 600, 600, 600, 600, 600, 600, 600, 600, 600, 600, 700, 700, 700, 700, 700], \"expected\": [600, 600, 600, 600, 600, 600, 600, 600, 600, 600, 600, 600, 600, 600, 600, 600, 600, 600, 600, 600, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700], \"passed\": false}, {\"check\": \"control: steady recovery\", \"actual\": [600, 600, 600, 600, 600, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700], \"expected\": [600, 600, 600, 600, 600, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700], \"passed\": true}, {\"check\": \"control: lead limit\", \"actual\": [600, 600, 600, 600, 600, 600, 600, 600, 600, 600, 600, 600, 600, 600, 600, 600, 600, 600, 600, 600, 700, 700, 700, 700, 700], \"expected\": [600, 600, 600, 600, 600, 600, 600, 600, 600, 600, 600, 600, 600, 600, 600, 600, 600, 600, 600, 600, 700, 700, 700, 700, 700], \"passed\": true}, {\"check\": \"control: fractional minutes\", \"actual\": [600, 600, 600, 600, 600, 600, 600, 600, 600, 600, 600, 600, 600, 600, 600, 600, 600, 600, 600, 600, 600, 600, 600, 600, 600, 600, 600, 600, 600, 600, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700], \"expected\": [600, 600, 600, 600, 600, 600, 600, 600, 600, 600, 600, 600, 600, 600, 600, 600, 600, 600, 600, 600, 600, 600, 600, 600, 600, 600, 600, 600, 600, 600, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700], \"passed\": true}, {\"check\": \"control: lead limit boundary\", \"actual\": [600, 600, 600, 600, 600, 600, 600, 600, 600, 600, 600, 600, 600, 600, 600, 600, 600, 600, 600, 600, 700, 700, 700, 700, 700], \"expected\": [600, 600, 600, 600, 600, 600, 600, 600, 600, 600, 600, 600, 600, 600, 600, 600, 600, 600, 600, 600, 700, 700, 700, 700, 700], \"passed\": true}, {\"check\": \"control: scenario 1\", \"actual\": [700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700], \"expected\": [700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700], \"passed\": true}, {\"check\": \"control: scenario 2\", \"actual\": [600, 600, 600, 600, 600, 600, 600, 600, 600, 600, 600, 600, 600, 600, 600, 600, 600, 600, 600, 600, 600, 600, 600, 600, 600, 600, 600, 600, 600, 600, 600, 600, 600, 600, 600, 600, 600, 600, 600, 600, 600, 600, 600, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700], \"expected\": [600, 600, 600, 600, 600, 600, 600, 600, 600, 600, 600, 600, 600, 600, 600, 600, 600, 600, 600, 600, 600, 600, 600, 600, 600, 600, 600, 600, 600, 600, 600, 600, 600, 600, 600, 600, 600, 600, 600, 600, 600, 600, 600, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700], \"passed\": true}, {\"check\": \"control: scenario 3\", \"actual\": [600, 600, 600, 600, 600, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700], \"expected\": [600, 600, 600, 600, 600, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700], \"passed\": true}], \"passed\": false}\n"},"broken":{"elapsed_ms":45.284,"exit_code":1,"observations":[{"actual":[600,600,600,600,600,600,600,600,600,600,600,600,600,600,600,600,600,600,600,600,700,700,700,700,700,700,700,700,700,700,600,600,600,600,600,600,600,600,600,600,700,700,700,700,700],"check":"regression: warming before occupancy","expected":[600,600,600,600,600,600,600,600,600,600,600,600,600,600,600,600,600,600,600,600,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700],"passed":false},{"actual":[600,600,600,600,600,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700],"check":"control: steady recovery","expected":[600,600,600,600,600,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700],"passed":true},{"actual":[600,600,600,600,600,600,600,600,600,600,600,600,600,600,600,600,600,600,600,600,700,700,700,700,700],"check":"control: lead limit","expected":[600,600,600,600,600,600,600,600,600,600,600,600,600,600,600,600,600,600,600,600,700,700,700,700,700],"passed":true},{"actual":[600,600,600,600,600,600,600,600,600,600,600,600,600,600,600,600,600,600,600,600,600,600,600,600,600,600,600,600,600,600,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700],"check":"control: fractional minutes","expected":[600,600,600,600,600,600,600,600,600,600,600,600,600,600,600,600,600,600,600,600,600,600,600,600,600,600,600,600,600,600,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700],"passed":true},{"actual":[600,600,600,600,600,600,600,600,600,600,600,600,600,600,600,600,600,600,600,600,700,700,700,700,700],"check":"control: lead limit boundary","expected":[600,600,600,600,600,600,600,600,600,600,600,600,600,600,600,600,600,600,600,600,700,700,700,700,700],"passed":true},{"actual":[700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700],"check":"control: scenario 1","expected":[700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700],"passed":true},{"actual":[600,600,600,600,600,600,600,600,600,600,600,600,600,600,600,600,600,600,600,600,600,600,600,600,600,600,600,600,600,600,600,600,600,600,600,600,600,600,600,600,600,600,600,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700],"check":"control: scenario 2","expected":[600,600,600,600,600,600,600,600,600,600,600,600,600,600,600,600,600,600,600,600,600,600,600,600,600,600,600,600,600,600,600,600,600,600,600,600,600,600,600,600,600,600,600,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700],"passed":true},{"actual":[600,600,600,600,600,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700],"check":"control: scenario 3","expected":[600,600,600,600,600,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700],"passed":true}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"regression: warming before occupancy\", \"actual\": [600, 600, 600, 600, 600, 600, 600, 600, 600, 600, 600, 600, 600, 600, 600, 600, 600, 600, 600, 600, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 600, 600, 600, 600, 600, 600, 600, 600, 600, 600, 700, 700, 700, 700, 700], \"expected\": [600, 600, 600, 600, 600, 600, 600, 600, 600, 600, 600, 600, 600, 600, 600, 600, 600, 600, 600, 600, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700], \"passed\": false}, {\"check\": \"control: steady recovery\", \"actual\": [600, 600, 600, 600, 600, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700], \"expected\": [600, 600, 600, 600, 600, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700], \"passed\": true}, {\"check\": \"control: lead limit\", \"actual\": [600, 600, 600, 600, 600, 600, 600, 600, 600, 600, 600, 600, 600, 600, 600, 600, 600, 600, 600, 600, 700, 700, 700, 700, 700], \"expected\": [600, 600, 600, 600, 600, 600, 600, 600, 600, 600, 600, 600, 600, 600, 600, 600, 600, 600, 600, 600, 700, 700, 700, 700, 700], \"passed\": true}, {\"check\": \"control: fractional minutes\", \"actual\": [600, 600, 600, 600, 600, 600, 600, 600, 600, 600, 600, 600, 600, 600, 600, 600, 600, 600, 600, 600, 600, 600, 600, 600, 600, 600, 600, 600, 600, 600, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700], \"expected\": [600, 600, 600, 600, 600, 600, 600, 600, 600, 600, 600, 600, 600, 600, 600, 600, 600, 600, 600, 600, 600, 600, 600, 600, 600, 600, 600, 600, 600, 600, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700], \"passed\": true}, {\"check\": \"control: lead limit boundary\", \"actual\": [600, 600, 600, 600, 600, 600, 600, 600, 600, 600, 600, 600, 600, 600, 600, 600, 600, 600, 600, 600, 700, 700, 700, 700, 700], \"expected\": [600, 600, 600, 600, 600, 600, 600, 600, 600, 600, 600, 600, 600, 600, 600, 600, 600, 600, 600, 600, 700, 700, 700, 700, 700], \"passed\": true}, {\"check\": \"control: scenario 1\", \"actual\": [700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700], \"expected\": [700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700], \"passed\": true}, {\"check\": \"control: scenario 2\", \"actual\": [600, 600, 600, 600, 600, 600, 600, 600, 600, 600, 600, 600, 600, 600, 600, 600, 600, 600, 600, 600, 600, 600, 600, 600, 600, 600, 600, 600, 600, 600, 600, 600, 600, 600, 600, 600, 600, 600, 600, 600, 600, 600, 600, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700], \"expected\": [600, 600, 600, 600, 600, 600, 600, 600, 600, 600, 600, 600, 600, 600, 600, 600, 600, 600, 600, 600, 600, 600, 600, 600, 600, 600, 600, 600, 600, 600, 600, 600, 600, 600, 600, 600, 600, 600, 600, 600, 600, 600, 600, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700], \"passed\": true}, {\"check\": \"control: scenario 3\", \"actual\": [600, 600, 600, 600, 600, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700], \"expected\": [600, 600, 600, 600, 600, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700], \"passed\": true}], \"passed\": false}\n"},"fixed":{"elapsed_ms":45.09,"exit_code":0,"observations":[{"actual":[600,600,600,600,600,600,600,600,600,600,600,600,600,600,600,600,600,600,600,600,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700],"check":"regression: warming before occupancy","expected":[600,600,600,600,600,600,600,600,600,600,600,600,600,600,600,600,600,600,600,600,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700],"passed":true},{"actual":[600,600,600,600,600,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700],"check":"control: steady recovery","expected":[600,600,600,600,600,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700],"passed":true},{"actual":[600,600,600,600,600,600,600,600,600,600,600,600,600,600,600,600,600,600,600,600,700,700,700,700,700],"check":"control: lead limit","expected":[600,600,600,600,600,600,600,600,600,600,600,600,600,600,600,600,600,600,600,600,700,700,700,700,700],"passed":true},{"actual":[600,600,600,600,600,600,600,600,600,600,600,600,600,600,600,600,600,600,600,600,600,600,600,600,600,600,600,600,600,600,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700],"check":"control: fractional minutes","expected":[600,600,600,600,600,600,600,600,600,600,600,600,600,600,600,600,600,600,600,600,600,600,600,600,600,600,600,600,600,600,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700],"passed":true},{"actual":[600,600,600,600,600,600,600,600,600,600,600,600,600,600,600,600,600,600,600,600,700,700,700,700,700],"check":"control: lead limit boundary","expected":[600,600,600,600,600,600,600,600,600,600,600,600,600,600,600,600,600,600,600,600,700,700,700,700,700],"passed":true},{"actual":[700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700],"check":"control: scenario 1","expected":[700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700],"passed":true},{"actual":[600,600,600,600,600,600,600,600,600,600,600,600,600,600,600,600,600,600,600,600,600,600,600,600,600,600,600,600,600,600,600,600,600,600,600,600,600,600,600,600,600,600,600,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700],"check":"control: scenario 2","expected":[600,600,600,600,600,600,600,600,600,600,600,600,600,600,600,600,600,600,600,600,600,600,600,600,600,600,600,600,600,600,600,600,600,600,600,600,600,600,600,600,600,600,600,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700],"passed":true},{"actual":[600,600,600,600,600,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700],"check":"control: scenario 3","expected":[600,600,600,600,600,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700],"passed":true}],"passed":true,"stderr":"","stdout":"{\"observations\": [{\"check\": \"regression: warming before occupancy\", \"actual\": [600, 600, 600, 600, 600, 600, 600, 600, 600, 600, 600, 600, 600, 600, 600, 600, 600, 600, 600, 600, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700], \"expected\": [600, 600, 600, 600, 600, 600, 600, 600, 600, 600, 600, 600, 600, 600, 600, 600, 600, 600, 600, 600, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700], \"passed\": true}, {\"check\": \"control: steady recovery\", \"actual\": [600, 600, 600, 600, 600, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700], \"expected\": [600, 600, 600, 600, 600, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700], \"passed\": true}, {\"check\": \"control: lead limit\", \"actual\": [600, 600, 600, 600, 600, 600, 600, 600, 600, 600, 600, 600, 600, 600, 600, 600, 600, 600, 600, 600, 700, 700, 700, 700, 700], \"expected\": [600, 600, 600, 600, 600, 600, 600, 600, 600, 600, 600, 600, 600, 600, 600, 600, 600, 600, 600, 600, 700, 700, 700, 700, 700], \"passed\": true}, {\"check\": \"control: fractional minutes\", \"actual\": [600, 600, 600, 600, 600, 600, 600, 600, 600, 600, 600, 600, 600, 600, 600, 600, 600, 600, 600, 600, 600, 600, 600, 600, 600, 600, 600, 600, 600, 600, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700], \"expected\": [600, 600, 600, 600, 600, 600, 600, 600, 600, 600, 600, 600, 600, 600, 600, 600, 600, 600, 600, 600, 600, 600, 600, 600, 600, 600, 600, 600, 600, 600, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700], \"passed\": true}, {\"check\": \"control: lead limit boundary\", \"actual\": [600, 600, 600, 600, 600, 600, 600, 600, 600, 600, 600, 600, 600, 600, 600, 600, 600, 600, 600, 600, 700, 700, 700, 700, 700], \"expected\": [600, 600, 600, 600, 600, 600, 600, 600, 600, 600, 600, 600, 600, 600, 600, 600, 600, 600, 600, 600, 700, 700, 700, 700, 700], \"passed\": true}, {\"check\": \"control: scenario 1\", \"actual\": [700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700], \"expected\": [700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700], \"passed\": true}, {\"check\": \"control: scenario 2\", \"actual\": [600, 600, 600, 600, 600, 600, 600, 600, 600, 600, 600, 600, 600, 600, 600, 600, 600, 600, 600, 600, 600, 600, 600, 600, 600, 600, 600, 600, 600, 600, 600, 600, 600, 600, 600, 600, 600, 600, 600, 600, 600, 600, 600, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700], \"expected\": [600, 600, 600, 600, 600, 600, 600, 600, 600, 600, 600, 600, 600, 600, 600, 600, 600, 600, 600, 600, 600, 600, 600, 600, 600, 600, 600, 600, 600, 600, 600, 600, 600, 600, 600, 600, 600, 600, 600, 600, 600, 600, 600, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700], \"passed\": true}, {\"check\": \"control: scenario 3\", \"actual\": [600, 600, 600, 600, 600, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700], \"expected\": [600, 600, 600, 600, 600, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700], \"passed\": true}], \"passed\": true}\n"}},"verified":true,"visibility":"public"}