{"abstract":"Recovery starts only minutes before occupancy and the space is cold when people arrive.","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":"Scaling by 10 instead of 60 confuses tenths with minutes.","family":"w2-hvac-thermostat-control-optimal-start-recovery-rate-units","id":"FA-92771","implementations":{"attempt":{"sha256":"a03328efdd6a104a0859f4090ab2ceedddbf4eb672329b36e806d67a6d605647","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) * 10 // 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: 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 ['regression: 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 ['regression: 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 ['regression: 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 ['regression: 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 ['regression: 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 ['regression: 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: 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 ['regression: 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: 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 ['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: 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: scenario 2',\n [30,\n 700,\n 600,\n 30,\n [633,\n 633,\n 633,\n 633,\n 633,\n 634,\n 634,\n 635,\n 636,\n 638,\n 639,\n 641,\n 641,\n 641,\n 641,\n 643,\n 645,\n 647,\n 647,\n 648,\n 648,\n 648,\n 650,\n 650,\n 650,\n 652,\n 652,\n 652,\n 653,\n 655,\n 657,\n 658,\n 658,\n 659,\n 659,\n 659,\n 659,\n 659]],\n [700,\n 700,\n 700,\n 700,\n 700,\n 700,\n 700,\n 700,\n 700,\n 700,\n 700,\n 700,\n 700,\n 700,\n 700,\n 700,\n 700,\n 700,\n 700,\n 700,\n 700,\n 700,\n 700,\n 700,\n 700,\n 700,\n 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 3',\n [45,\n 700,\n 600,\n 30,\n [638,\n 638,\n 638,\n 638,\n 638,\n 639,\n 641,\n 643,\n 644,\n 644,\n 645,\n 645,\n 646,\n 646,\n 646,\n 646,\n 646,\n 648,\n 649,\n 649,\n 649,\n 650,\n 650,\n 650,\n 651,\n 653,\n 653,\n 655,\n 656,\n 656,\n 656,\n 657,\n 659,\n 659,\n 659,\n 659,\n 659,\n 659,\n 659,\n 659,\n 660,\n 661,\n 662,\n 662,\n 662,\n 663,\n 663,\n 664,\n 666,\n 666,\n 668,\n 668]],\n [700,\n 700,\n 700,\n 700,\n 700,\n 700,\n 700,\n 700,\n 700,\n 700,\n 700,\n 700,\n 700,\n 700,\n 700,\n 700,\n 700,\n 700,\n 700,\n 700,\n 700,\n 700,\n 700,\n 700,\n 700,\n 700,\n 700,\n 700,\n 700,\n 700,\n 700,\n 700,\n 700,\n 700,\n 700,\n 700,\n 700,\n 700,\n 700,\n 700,\n 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: 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 ['regression: 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 ['regression: 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 ['regression: 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 ['regression: 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 ['regression: 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 ['control: scenario 3',\n [200,\n 700,\n 600,\n 240,\n [637,\n 637,\n 638,\n 638,\n 638,\n 639,\n 639,\n 640,\n 641,\n 643,\n 643,\n 645,\n 645,\n 645,\n 645,\n 647,\n 648,\n 650,\n 651,\n 653,\n 654,\n 654,\n 656,\n 656,\n 656,\n 657,\n 657,\n 658,\n 660,\n 662,\n 663,\n 663,\n 663,\n 663,\n 664,\n 665,\n 667,\n 667,\n 669,\n 671,\n 671,\n 672,\n 673,\n 674,\n 675,\n 675,\n 676,\n 678,\n 678,\n 680,\n 680,\n 682,\n 682,\n 684,\n 685,\n 687,\n 689,\n 690,\n 691,\n 691,\n 693,\n 695,\n 695,\n 695,\n 696,\n 696,\n 697,\n 697,\n 697,\n 697,\n 697,\n 699,\n 699,\n 701,\n 701,\n 703,\n 703,\n 703,\n 703,\n 704,\n 705,\n 705,\n 705,\n 705,\n 705,\n 705,\n 705,\n 705,\n 706,\n 708,\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 [600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 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 [['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: 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 ['regression: 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 ['regression: 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 ['regression: 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: 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: 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 ['regression: scenario 3',\n [60,\n 700,\n 600,\n 240,\n [621,\n 623,\n 623,\n 625,\n 626,\n 628,\n 630,\n 631,\n 633,\n 635,\n 635,\n 637,\n 639,\n 639,\n 640,\n 640,\n 642,\n 644,\n 645,\n 646,\n 648,\n 648,\n 650,\n 652,\n 654,\n 654,\n 654,\n 655,\n 656,\n 656,\n 656,\n 658,\n 658,\n 658,\n 658,\n 658,\n 659,\n 659,\n 659,\n 660,\n 662,\n 663,\n 663,\n 665,\n 665,\n 667,\n 668,\n 669,\n 671,\n 671,\n 671,\n 673,\n 674,\n 676,\n 678,\n 678,\n 678,\n 679,\n 681,\n 682,\n 683,\n 685,\n 685,\n 686,\n 687,\n 687,\n 687]],\n [600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 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 ['regression: 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 ['regression: 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 ['regression: 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: 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":"92b05169be88ec3f2e0b11c9819e6add728a91e72847f97ebdb6cd6fba220924","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) // 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: 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 ['regression: 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 ['regression: 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 ['regression: 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 ['regression: 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 ['regression: 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 ['regression: 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: 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 ['regression: 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: 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 ['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: 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: scenario 2',\n [30,\n 700,\n 600,\n 30,\n [633,\n 633,\n 633,\n 633,\n 633,\n 634,\n 634,\n 635,\n 636,\n 638,\n 639,\n 641,\n 641,\n 641,\n 641,\n 643,\n 645,\n 647,\n 647,\n 648,\n 648,\n 648,\n 650,\n 650,\n 650,\n 652,\n 652,\n 652,\n 653,\n 655,\n 657,\n 658,\n 658,\n 659,\n 659,\n 659,\n 659,\n 659]],\n [700,\n 700,\n 700,\n 700,\n 700,\n 700,\n 700,\n 700,\n 700,\n 700,\n 700,\n 700,\n 700,\n 700,\n 700,\n 700,\n 700,\n 700,\n 700,\n 700,\n 700,\n 700,\n 700,\n 700,\n 700,\n 700,\n 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 3',\n [45,\n 700,\n 600,\n 30,\n [638,\n 638,\n 638,\n 638,\n 638,\n 639,\n 641,\n 643,\n 644,\n 644,\n 645,\n 645,\n 646,\n 646,\n 646,\n 646,\n 646,\n 648,\n 649,\n 649,\n 649,\n 650,\n 650,\n 650,\n 651,\n 653,\n 653,\n 655,\n 656,\n 656,\n 656,\n 657,\n 659,\n 659,\n 659,\n 659,\n 659,\n 659,\n 659,\n 659,\n 660,\n 661,\n 662,\n 662,\n 662,\n 663,\n 663,\n 664,\n 666,\n 666,\n 668,\n 668]],\n [700,\n 700,\n 700,\n 700,\n 700,\n 700,\n 700,\n 700,\n 700,\n 700,\n 700,\n 700,\n 700,\n 700,\n 700,\n 700,\n 700,\n 700,\n 700,\n 700,\n 700,\n 700,\n 700,\n 700,\n 700,\n 700,\n 700,\n 700,\n 700,\n 700,\n 700,\n 700,\n 700,\n 700,\n 700,\n 700,\n 700,\n 700,\n 700,\n 700,\n 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: 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 ['regression: 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 ['regression: 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 ['regression: 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 ['regression: 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 ['regression: 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 ['control: scenario 3',\n [200,\n 700,\n 600,\n 240,\n [637,\n 637,\n 638,\n 638,\n 638,\n 639,\n 639,\n 640,\n 641,\n 643,\n 643,\n 645,\n 645,\n 645,\n 645,\n 647,\n 648,\n 650,\n 651,\n 653,\n 654,\n 654,\n 656,\n 656,\n 656,\n 657,\n 657,\n 658,\n 660,\n 662,\n 663,\n 663,\n 663,\n 663,\n 664,\n 665,\n 667,\n 667,\n 669,\n 671,\n 671,\n 672,\n 673,\n 674,\n 675,\n 675,\n 676,\n 678,\n 678,\n 680,\n 680,\n 682,\n 682,\n 684,\n 685,\n 687,\n 689,\n 690,\n 691,\n 691,\n 693,\n 695,\n 695,\n 695,\n 696,\n 696,\n 697,\n 697,\n 697,\n 697,\n 697,\n 699,\n 699,\n 701,\n 701,\n 703,\n 703,\n 703,\n 703,\n 704,\n 705,\n 705,\n 705,\n 705,\n 705,\n 705,\n 705,\n 705,\n 706,\n 708,\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 [600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 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 [['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: 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 ['regression: 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 ['regression: 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 ['regression: 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: 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: 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 ['regression: scenario 3',\n [60,\n 700,\n 600,\n 240,\n [621,\n 623,\n 623,\n 625,\n 626,\n 628,\n 630,\n 631,\n 633,\n 635,\n 635,\n 637,\n 639,\n 639,\n 640,\n 640,\n 642,\n 644,\n 645,\n 646,\n 648,\n 648,\n 650,\n 652,\n 654,\n 654,\n 654,\n 655,\n 656,\n 656,\n 656,\n 658,\n 658,\n 658,\n 658,\n 658,\n 659,\n 659,\n 659,\n 660,\n 662,\n 663,\n 663,\n 665,\n 665,\n 667,\n 668,\n 669,\n 671,\n 671,\n 671,\n 673,\n 674,\n 676,\n 678,\n 678,\n 678,\n 679,\n 681,\n 682,\n 683,\n 685,\n 685,\n 686,\n 687,\n 687,\n 687]],\n [600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 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 ['regression: 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 ['regression: 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 ['regression: 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: 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":"a683184ac2a755f346645e537a9387d4ace632f018a4686673bafd78226b952c","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: 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 ['regression: 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 ['regression: 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 ['regression: 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 ['regression: 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 ['regression: 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 ['regression: 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: 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 ['regression: 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: 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 ['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: 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: scenario 2',\n [30,\n 700,\n 600,\n 30,\n [633,\n 633,\n 633,\n 633,\n 633,\n 634,\n 634,\n 635,\n 636,\n 638,\n 639,\n 641,\n 641,\n 641,\n 641,\n 643,\n 645,\n 647,\n 647,\n 648,\n 648,\n 648,\n 650,\n 650,\n 650,\n 652,\n 652,\n 652,\n 653,\n 655,\n 657,\n 658,\n 658,\n 659,\n 659,\n 659,\n 659,\n 659]],\n [700,\n 700,\n 700,\n 700,\n 700,\n 700,\n 700,\n 700,\n 700,\n 700,\n 700,\n 700,\n 700,\n 700,\n 700,\n 700,\n 700,\n 700,\n 700,\n 700,\n 700,\n 700,\n 700,\n 700,\n 700,\n 700,\n 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 3',\n [45,\n 700,\n 600,\n 30,\n [638,\n 638,\n 638,\n 638,\n 638,\n 639,\n 641,\n 643,\n 644,\n 644,\n 645,\n 645,\n 646,\n 646,\n 646,\n 646,\n 646,\n 648,\n 649,\n 649,\n 649,\n 650,\n 650,\n 650,\n 651,\n 653,\n 653,\n 655,\n 656,\n 656,\n 656,\n 657,\n 659,\n 659,\n 659,\n 659,\n 659,\n 659,\n 659,\n 659,\n 660,\n 661,\n 662,\n 662,\n 662,\n 663,\n 663,\n 664,\n 666,\n 666,\n 668,\n 668]],\n [700,\n 700,\n 700,\n 700,\n 700,\n 700,\n 700,\n 700,\n 700,\n 700,\n 700,\n 700,\n 700,\n 700,\n 700,\n 700,\n 700,\n 700,\n 700,\n 700,\n 700,\n 700,\n 700,\n 700,\n 700,\n 700,\n 700,\n 700,\n 700,\n 700,\n 700,\n 700,\n 700,\n 700,\n 700,\n 700,\n 700,\n 700,\n 700,\n 700,\n 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: 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 ['regression: 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 ['regression: 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 ['regression: 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 ['regression: 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 ['regression: 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 ['control: scenario 3',\n [200,\n 700,\n 600,\n 240,\n [637,\n 637,\n 638,\n 638,\n 638,\n 639,\n 639,\n 640,\n 641,\n 643,\n 643,\n 645,\n 645,\n 645,\n 645,\n 647,\n 648,\n 650,\n 651,\n 653,\n 654,\n 654,\n 656,\n 656,\n 656,\n 657,\n 657,\n 658,\n 660,\n 662,\n 663,\n 663,\n 663,\n 663,\n 664,\n 665,\n 667,\n 667,\n 669,\n 671,\n 671,\n 672,\n 673,\n 674,\n 675,\n 675,\n 676,\n 678,\n 678,\n 680,\n 680,\n 682,\n 682,\n 684,\n 685,\n 687,\n 689,\n 690,\n 691,\n 691,\n 693,\n 695,\n 695,\n 695,\n 696,\n 696,\n 697,\n 697,\n 697,\n 697,\n 697,\n 699,\n 699,\n 701,\n 701,\n 703,\n 703,\n 703,\n 703,\n 704,\n 705,\n 705,\n 705,\n 705,\n 705,\n 705,\n 705,\n 705,\n 706,\n 708,\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 [600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 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 [['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: 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 ['regression: 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 ['regression: 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 ['regression: 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: 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: 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 ['regression: scenario 3',\n [60,\n 700,\n 600,\n 240,\n [621,\n 623,\n 623,\n 625,\n 626,\n 628,\n 630,\n 631,\n 633,\n 635,\n 635,\n 637,\n 639,\n 639,\n 640,\n 640,\n 642,\n 644,\n 645,\n 646,\n 648,\n 648,\n 650,\n 652,\n 654,\n 654,\n 654,\n 655,\n 656,\n 656,\n 656,\n 658,\n 658,\n 658,\n 658,\n 658,\n 659,\n 659,\n 659,\n 660,\n 662,\n 663,\n 663,\n 665,\n 665,\n 667,\n 668,\n 669,\n 671,\n 671,\n 671,\n 673,\n 674,\n 676,\n 678,\n 678,\n 678,\n 679,\n 681,\n 682,\n 683,\n 685,\n 685,\n 686,\n 687,\n 687,\n 687]],\n [600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 600,\n 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 ['regression: 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 ['regression: 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 ['regression: 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: 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-rate-units","generated_at":"2026-09-29T14:51:49.053469+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":"Required minutes = deficit * 60 / rate.","root_cause":"The required time divides the deficit by the rate without converting hours to minutes.","sha256":"e4b15705f778928872c5b62815280bf643f29f013fdc1b8e7e9b668968497175","title":"Optimal start treats the hourly recovery rate as per minute ยท case 01","variant":1,"variant_policy":"Five numbered records share a model and may reuse boundary fixtures.","verification":{"attempt":{"elapsed_ms":46.014,"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,600,600,600,600,600,700,700,700,700,700,700,700,700,700,700,700,700,700,700,700],"check":"regression: 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":false},{"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],"check":"regression: 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":false},{"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,600,600],"check":"regression: 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":false},{"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,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,600,600,600,600,600,600,600,600,600,600,600,600,600,600,600,600,600,600,600,600],"check":"regression: 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":false},{"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,700,700,700,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: 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":false},{"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,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],"check":"regression: 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":false},{"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,700,700,700,700,700,700,700,700,700,700,700,700,700],"check":"regression: 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":false}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"regression: steady recovery\", \"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, 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\": false}, {\"check\": \"regression: lead limit\", \"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], \"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\": false}, {\"check\": \"regression: 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, 600, 600, 600, 600, 600, 600, 600, 600, 600, 600, 600, 600, 600, 600, 600], \"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\": false}, {\"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, 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, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700], \"passed\": false}, {\"check\": \"regression: lead limit boundary\", \"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], \"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\": false}, {\"check\": \"regression: scenario 1\", \"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, 700, 700, 700, 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\": false}, {\"check\": \"regression: 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, 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], \"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\": false}, {\"check\": \"regression: scenario 3\", \"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, 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\": false}], \"passed\": false}\n"},"broken":{"elapsed_ms":45.063,"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,600,600,600,600,600,600,600,600,600,700,700,700,700,700,700,700,700,700,700,700],"check":"regression: 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":false},{"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],"check":"regression: 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":false},{"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,600,600],"check":"regression: 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":false},{"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,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,600,600,600,600,600,600,600,600,600,600,600,600,600,600,600,600,600,600,600,600],"check":"regression: 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":false},{"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,600,600,600,600,600,600,600,600,600,600,600,600,600,600,600,700,700,700,700,700,700],"check":"regression: 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":false},{"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,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],"check":"regression: 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":false},{"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,600,700,700,700,700,700,700,700,700,700],"check":"regression: 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":false}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"regression: steady recovery\", \"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, 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\": false}, {\"check\": \"regression: lead limit\", \"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], \"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\": false}, {\"check\": \"regression: 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, 600, 600, 600, 600, 600, 600, 600, 600, 600, 600, 600, 600, 600, 600, 600], \"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\": false}, {\"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, 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, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700, 700], \"passed\": false}, {\"check\": \"regression: lead limit boundary\", \"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], \"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\": false}, {\"check\": \"regression: scenario 1\", \"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, 600, 600, 600, 600, 600, 600, 600, 600, 600, 600, 600, 600, 600, 600, 600, 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\": false}, {\"check\": \"regression: 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, 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], \"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\": false}, {\"check\": \"regression: scenario 3\", \"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, 600, 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\": false}], \"passed\": false}\n"},"fixed":{"elapsed_ms":41.881,"exit_code":0,"observations":[{"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":"regression: 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":"regression: 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":"regression: 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,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,600,600,600,600,600,600,600,600,600,600,600,600,600,600,600,700,700,700,700,700],"check":"regression: 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":"regression: 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":"regression: 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":"regression: 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: 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\": \"regression: 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\": \"regression: 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\": \"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\": \"regression: 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\": \"regression: 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\": \"regression: 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\": \"regression: 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"}