text: STATS = [
      {
          "num_node_expansions": 30,
          "plan_cost": 20,
          "plan_length": 20,
          "search_time": 1.80534,
          "total_time": 3.80481
      },
      {
          "num_node_expansions": 37,
          "plan_cost": 18,
          "plan_length": 18,
          "search_time": 1.56799,
          "total_time": 2.99723
      },
      {
          "num_node_expansions": 42,
          "plan_cost": 18,
          "plan_length": 18,
          "search_time": 8.99679,
          "total_time": 11.5762
      },
      {
          "num_node_expansions": 29,
          "plan_cost": 17,
          "plan_length": 17,
          "search_time": 10.0837,
          "total_time": 12.3508
      },
      {
          "num_node_expansions": 30,
          "plan_cost": 17,
          "plan_length": 17,
          "search_time": 0.842864,
          "total_time": 1.39871
      },
      {
          "num_node_expansions": 34,
          "plan_cost": 12,
          "plan_length": 12,
          "search_time": 1.15536,
          "total_time": 2.09749
      },
      {
          "num_node_expansions": 23,
          "plan_cost": 11,
          "plan_length": 11,
          "search_time": 9.78078,
          "total_time": 12.3313
      },
      {
          "num_node_expansions": 31,
          "plan_cost": 15,
          "plan_length": 15,
          "search_time": 10.281,
          "total_time": 13.3083
      },
      {
          "num_node_expansions": 29,
          "plan_cost": 15,
          "plan_length": 15,
          "search_time": 1.71649,
          "total_time": 2.84467
      },
      {
          "num_node_expansions": 17,
          "plan_cost": 10,
          "plan_length": 10,
          "search_time": 1.86945,
          "total_time": 2.84971
      },
      {
          "num_node_expansions": 33,
          "plan_cost": 14,
          "plan_length": 14,
          "search_time": 2.54938,
          "total_time": 3.92195
      },
      {
          "num_node_expansions": 23,
          "plan_cost": 13,
          "plan_length": 13,
          "search_time": 3.19361,
          "total_time": 4.97513
      },
      {
          "num_node_expansions": 40,
          "plan_cost": 23,
          "plan_length": 23,
          "search_time": 1.26872,
          "total_time": 2.53282
      },
      {
          "num_node_expansions": 46,
          "plan_cost": 27,
          "plan_length": 27,
          "search_time": 1.29007,
          "total_time": 2.41021
      },
      {
          "num_node_expansions": 52,
          "plan_cost": 24,
          "plan_length": 24,
          "search_time": 2.54596,
          "total_time": 4.07718
      },
      {
          "num_node_expansions": 30,
          "plan_cost": 16,
          "plan_length": 16,
          "search_time": 2.20679,
          "total_time": 3.38583
      },
      {
          "num_node_expansions": 26,
          "plan_cost": 13,
          "plan_length": 13,
          "search_time": 11.8217,
          "total_time": 15.5064
      },
      {
          "num_node_expansions": 22,
          "plan_cost": 11,
          "plan_length": 11,
          "search_time": 0.170711,
          "total_time": 0.44745
      },
      {
          "num_node_expansions": 28,
          "plan_cost": 16,
          "plan_length": 16,
          "search_time": 0.189485,
          "total_time": 0.665592
      },
      {
          "num_node_expansions": 32,
          "plan_cost": 15,
          "plan_length": 15,
          "search_time": 8.60072,
          "total_time": 11.6158
      },
      {
          "num_node_expansions": 18,
          "plan_cost": 13,
          "plan_length": 13,
          "search_time": 9.40024,
          "total_time": 12.1183
      },
      {
          "num_node_expansions": 41,
          "plan_cost": 22,
          "plan_length": 22,
          "search_time": 8.32032,
          "total_time": 11.635
      },
      {
          "num_node_expansions": 32,
          "plan_cost": 16,
          "plan_length": 16,
          "search_time": 7.684,
          "total_time": 10.4787
      },
      {
          "num_node_expansions": 27,
          "plan_cost": 16,
          "plan_length": 16,
          "search_time": 11.0368,
          "total_time": 13.7091
      },
      {
          "num_node_expansions": 52,
          "plan_cost": 20,
          "plan_length": 20,
          "search_time": 10.1848,
          "total_time": 12.5051
      },
      {
          "num_node_expansions": 39,
          "plan_cost": 19,
          "plan_length": 19,
          "search_time": 5.27233,
          "total_time": 7.93827
      },
      {
          "num_node_expansions": 33,
          "plan_cost": 19,
          "plan_length": 19,
          "search_time": 4.75833,
          "total_time": 6.85536
      },
      {
          "num_node_expansions": 23,
          "plan_cost": 14,
          "plan_length": 14,
          "search_time": 3.90549,
          "total_time": 5.94498
      },
      {
          "num_node_expansions": 43,
          "plan_cost": 20,
          "plan_length": 20,
          "search_time": 5.06055,
          "total_time": 7.23049
      },
      {
          "num_node_expansions": 30,
          "plan_cost": 17,
          "plan_length": 17,
          "search_time": 7.15955,
          "total_time": 9.49697
      },
      {
          "num_node_expansions": 10,
          "plan_cost": 7,
          "plan_length": 7,
          "search_time": 7.50601,
          "total_time": 9.07796
      },
      {
          "num_node_expansions": 29,
          "plan_cost": 13,
          "plan_length": 13,
          "search_time": 11.8941,
          "total_time": 14.5573
      },
      {
          "num_node_expansions": 63,
          "plan_cost": 27,
          "plan_length": 27,
          "search_time": 12.3606,
          "total_time": 16.8002
      },
      {
          "num_node_expansions": 37,
          "plan_cost": 16,
          "plan_length": 16,
          "search_time": 10.8256,
          "total_time": 13.5263
      },
      {
          "num_node_expansions": 47,
          "plan_cost": 19,
          "plan_length": 19,
          "search_time": 11.2377,
          "total_time": 14.7576
      },
      {
          "num_node_expansions": 26,
          "plan_cost": 8,
          "plan_length": 8,
          "search_time": 1.08119,
          "total_time": 1.66505
      },
      {
          "num_node_expansions": 33,
          "plan_cost": 14,
          "plan_length": 14,
          "search_time": 1.12043,
          "total_time": 1.91406
      },
      {
          "num_node_expansions": 24,
          "plan_cost": 13,
          "plan_length": 13,
          "search_time": 0.426165,
          "total_time": 0.753467
      },
      {
          "num_node_expansions": 38,
          "plan_cost": 19,
          "plan_length": 19,
          "search_time": 0.49158,
          "total_time": 0.991093
      },
      {
          "num_node_expansions": 17,
          "plan_cost": 11,
          "plan_length": 11,
          "search_time": 4.28559,
          "total_time": 5.79932
      },
      {
          "num_node_expansions": 59,
          "plan_cost": 24,
          "plan_length": 24,
          "search_time": 4.69824,
          "total_time": 6.97243
      },
      {
          "num_node_expansions": 27,
          "plan_cost": 14,
          "plan_length": 14,
          "search_time": 6.76632,
          "total_time": 8.9838
      },
      {
          "num_node_expansions": 29,
          "plan_cost": 13,
          "plan_length": 13,
          "search_time": 6.95304,
          "total_time": 8.92615
      },
      {
          "num_node_expansions": 23,
          "plan_cost": 14,
          "plan_length": 14,
          "search_time": 2.25177,
          "total_time": 3.45727
      },
      {
          "num_node_expansions": 56,
          "plan_cost": 21,
          "plan_length": 21,
          "search_time": 2.2046,
          "total_time": 3.5956
      },
      {
          "num_node_expansions": 34,
          "plan_cost": 17,
          "plan_length": 17,
          "search_time": 12.7857,
          "total_time": 15.9034
      },
      {
          "num_node_expansions": 27,
          "plan_cost": 10,
          "plan_length": 10,
          "search_time": 11.7798,
          "total_time": 14.0525
      },
      {
          "num_node_expansions": 20,
          "plan_cost": 13,
          "plan_length": 13,
          "search_time": 0.0351632,
          "total_time": 0.100245
      },
      {
          "num_node_expansions": 18,
          "plan_cost": 10,
          "plan_length": 10,
          "search_time": 0.033906,
          "total_time": 0.0954394
      },
      {
          "num_node_expansions": 25,
          "plan_cost": 14,
          "plan_length": 14,
          "search_time": 11.9196,
          "total_time": 15.1286
      },
      {
          "num_node_expansions": 20,
          "plan_cost": 10,
          "plan_length": 10,
          "search_time": 10.6794,
          "total_time": 13.364
      },
      {
          "num_node_expansions": 16,
          "plan_cost": 11,
          "plan_length": 11,
          "search_time": 0.0781917,
          "total_time": 0.212553
      },
      {
          "num_node_expansions": 25,
          "plan_cost": 16,
          "plan_length": 16,
          "search_time": 0.0824141,
          "total_time": 0.223153
      },
      {
          "num_node_expansions": 17,
          "plan_cost": 10,
          "plan_length": 10,
          "search_time": 1.88974,
          "total_time": 2.8847
      },
      {
          "num_node_expansions": 29,
          "plan_cost": 15,
          "plan_length": 15,
          "search_time": 1.40021,
          "total_time": 2.20847
      },
      {
          "num_node_expansions": 28,
          "plan_cost": 18,
          "plan_length": 18,
          "search_time": 8.18475,
          "total_time": 11.5086
      },
      {
          "num_node_expansions": 41,
          "plan_cost": 17,
          "plan_length": 17,
          "search_time": 8.40858,
          "total_time": 11.0768
      },
      {
          "num_node_expansions": 25,
          "plan_cost": 17,
          "plan_length": 17,
          "search_time": 6.25795,
          "total_time": 8.61478
      },
      {
          "num_node_expansions": 34,
          "plan_cost": 18,
          "plan_length": 18,
          "search_time": 5.71291,
          "total_time": 8.54911
      },
      {
          "num_node_expansions": 24,
          "plan_cost": 12,
          "plan_length": 12,
          "search_time": 2.10239,
          "total_time": 3.16366
      },
      {
          "num_node_expansions": 21,
          "plan_cost": 10,
          "plan_length": 10,
          "search_time": 1.77706,
          "total_time": 2.53183
      },
      {
          "num_node_expansions": 32,
          "plan_cost": 14,
          "plan_length": 14,
          "search_time": 0.46529,
          "total_time": 0.986036
      },
      {
          "num_node_expansions": 28,
          "plan_cost": 14,
          "plan_length": 14,
          "search_time": 0.377899,
          "total_time": 0.823001
      },
      {
          "num_node_expansions": 29,
          "plan_cost": 12,
          "plan_length": 12,
          "search_time": 8.90171,
          "total_time": 11.2983
      },
      {
          "num_node_expansions": 39,
          "plan_cost": 18,
          "plan_length": 18,
          "search_time": 9.23145,
          "total_time": 11.8836
      },
      {
          "num_node_expansions": 12,
          "plan_cost": 7,
          "plan_length": 7,
          "search_time": 0.123751,
          "total_time": 0.315193
      },
      {
          "num_node_expansions": 18,
          "plan_cost": 7,
          "plan_length": 7,
          "search_time": 0.129494,
          "total_time": 0.294813
      },
      {
          "num_node_expansions": 28,
          "plan_cost": 11,
          "plan_length": 11,
          "search_time": 1.23313,
          "total_time": 2.20992
      },
      {
          "num_node_expansions": 27,
          "plan_cost": 15,
          "plan_length": 15,
          "search_time": 1.20963,
          "total_time": 2.1973
      },
      {
          "num_node_expansions": 26,
          "plan_cost": 15,
          "plan_length": 15,
          "search_time": 8.75843,
          "total_time": 11.7956
      },
      {
          "num_node_expansions": 46,
          "plan_cost": 20,
          "plan_length": 20,
          "search_time": 9.65549,
          "total_time": 13.4932
      },
      {
          "num_node_expansions": 23,
          "plan_cost": 10,
          "plan_length": 10,
          "search_time": 11.0007,
          "total_time": 13.5296
      },
      {
          "num_node_expansions": 27,
          "plan_cost": 12,
          "plan_length": 12,
          "search_time": 11.1202,
          "total_time": 13.9007
      },
      {
          "num_node_expansions": 35,
          "plan_cost": 17,
          "plan_length": 17,
          "search_time": 5.11244,
          "total_time": 8.10074
      },
      {
          "num_node_expansions": 15,
          "plan_cost": 10,
          "plan_length": 10,
          "search_time": 5.62549,
          "total_time": 7.48067
      },
      {
          "num_node_expansions": 26,
          "plan_cost": 14,
          "plan_length": 14,
          "search_time": 6.13,
          "total_time": 7.76837
      },
      {
          "num_node_expansions": 43,
          "plan_cost": 18,
          "plan_length": 18,
          "search_time": 6.84235,
          "total_time": 9.11413
      },
      {
          "num_node_expansions": 29,
          "plan_cost": 17,
          "plan_length": 17,
          "search_time": 3.03195,
          "total_time": 4.53224
      },
      {
          "num_node_expansions": 43,
          "plan_cost": 17,
          "plan_length": 17,
          "search_time": 2.229,
          "total_time": 3.20796
      },
      {
          "num_node_expansions": 34,
          "plan_cost": 17,
          "plan_length": 17,
          "search_time": 0.0934008,
          "total_time": 0.231223
      },
      {
          "num_node_expansions": 37,
          "plan_cost": 18,
          "plan_length": 18,
          "search_time": 0.101371,
          "total_time": 0.238112
      },
      {
          "num_node_expansions": 32,
          "plan_cost": 14,
          "plan_length": 14,
          "search_time": 6.85869,
          "total_time": 9.01372
      },
      {
          "num_node_expansions": 48,
          "plan_cost": 20,
          "plan_length": 20,
          "search_time": 6.38859,
          "total_time": 8.76012
      },
      {
          "num_node_expansions": 23,
          "plan_cost": 12,
          "plan_length": 12,
          "search_time": 1.01512,
          "total_time": 1.75622
      },
      {
          "num_node_expansions": 39,
          "plan_cost": 19,
          "plan_length": 19,
          "search_time": 0.893175,
          "total_time": 1.88986
      },
      {
          "num_node_expansions": 24,
          "plan_cost": 12,
          "plan_length": 12,
          "search_time": 0.0631145,
          "total_time": 0.18499
      },
      {
          "num_node_expansions": 24,
          "plan_cost": 14,
          "plan_length": 14,
          "search_time": 0.0656215,
          "total_time": 0.201849
      },
      {
          "num_node_expansions": 31,
          "plan_cost": 15,
          "plan_length": 15,
          "search_time": 9.65639,
          "total_time": 12.6946
      },
      {
          "num_node_expansions": 29,
          "plan_cost": 13,
          "plan_length": 13,
          "search_time": 9.9136,
          "total_time": 13.0873
      },
      {
          "num_node_expansions": 30,
          "plan_cost": 19,
          "plan_length": 19,
          "search_time": 0.177995,
          "total_time": 0.521905
      },
      {
          "num_node_expansions": 27,
          "plan_cost": 17,
          "plan_length": 17,
          "search_time": 0.180622,
          "total_time": 0.576361
      },
      {
          "num_node_expansions": 34,
          "plan_cost": 13,
          "plan_length": 13,
          "search_time": 5.52002,
          "total_time": 7.65101
      },
      {
          "num_node_expansions": 18,
          "plan_cost": 12,
          "plan_length": 12,
          "search_time": 5.05018,
          "total_time": 7.00475
      },
      {
          "num_node_expansions": 45,
          "plan_cost": 19,
          "plan_length": 19,
          "search_time": 6.79306,
          "total_time": 9.12222
      },
      {
          "num_node_expansions": 29,
          "plan_cost": 16,
          "plan_length": 16,
          "search_time": 6.15874,
          "total_time": 7.78261
      },
      {
          "num_node_expansions": 48,
          "plan_cost": 10,
          "plan_length": 10,
          "search_time": 5.02699,
          "total_time": 6.5936
      },
      {
          "num_node_expansions": 23,
          "plan_cost": 13,
          "plan_length": 13,
          "search_time": 5.18363,
          "total_time": 6.91409
      },
      {
          "num_node_expansions": 31,
          "plan_cost": 19,
          "plan_length": 19,
          "search_time": 2.30755,
          "total_time": 3.7845
      },
      {
          "num_node_expansions": 28,
          "plan_cost": 14,
          "plan_length": 14,
          "search_time": 2.46077,
          "total_time": 3.82707
      },
      {
          "num_node_expansions": 42,
          "plan_cost": 12,
          "plan_length": 12,
          "search_time": 0.990698,
          "total_time": 1.70227
      },
      {
          "num_node_expansions": 35,
          "plan_cost": 8,
          "plan_length": 8,
          "search_time": 1.11164,
          "total_time": 1.73542
      },
      {
          "num_node_expansions": 24,
          "plan_cost": 16,
          "plan_length": 16,
          "search_time": 0.0996001,
          "total_time": 0.307856
      },
      {
          "num_node_expansions": 29,
          "plan_cost": 19,
          "plan_length": 19,
          "search_time": 0.100166,
          "total_time": 0.42064
      },
      {
          "num_node_expansions": 20,
          "plan_cost": 12,
          "plan_length": 12,
          "search_time": 2.63496,
          "total_time": 4.13805
      },
      {
          "num_node_expansions": 26,
          "plan_cost": 12,
          "plan_length": 12,
          "search_time": 2.45821,
          "total_time": 3.89711
      },
      {
          "num_node_expansions": 36,
          "plan_cost": 16,
          "plan_length": 16,
          "search_time": 1.6058,
          "total_time": 3.09057
      },
      {
          "num_node_expansions": 42,
          "plan_cost": 19,
          "plan_length": 19,
          "search_time": 1.25312,
          "total_time": 2.33263
      },
      {
          "num_node_expansions": 30,
          "plan_cost": 14,
          "plan_length": 14,
          "search_time": 1.32541,
          "total_time": 2.19814
      },
      {
          "num_node_expansions": 22,
          "plan_cost": 14,
          "plan_length": 14,
          "search_time": 1.51547,
          "total_time": 2.72138
      },
      {
          "num_node_expansions": 43,
          "plan_cost": 27,
          "plan_length": 27,
          "search_time": 2.07818,
          "total_time": 3.60643
      },
      {
          "num_node_expansions": 28,
          "plan_cost": 14,
          "plan_length": 14,
          "search_time": 2.01339,
          "total_time": 3.17076
      },
      {
          "num_node_expansions": 32,
          "plan_cost": 12,
          "plan_length": 12,
          "search_time": 0.101724,
          "total_time": 0.237387
      },
      {
          "num_node_expansions": 40,
          "plan_cost": 14,
          "plan_length": 14,
          "search_time": 0.101083,
          "total_time": 0.240746
      }
  ]
  num_timeouts = 59
  num_timeouts = 0
  num_problems = 172
  