some libraries are reimported in Appendix, # of seeds was changed to 8k for constrained case

data/co2/OCO-Eads.json

@@ -25,7 +25,7 @@
       "obj_func" : "multitask entropy gain",
       "num_res" : "1",
       "num_threads" : 8,
-      "num_seeds" : "40000",
+      "num_seeds" : "8000",
       "qual_func_params" : "132 -2.0 -0.5",
       "hard_cutoffs" : "below"
     }

data/co2/lCO-Eads.json

@@ -25,7 +25,7 @@
       "obj_func" : "multitask entropy gain",
       "num_res" : "1",
       "num_threads" : 8,
-      "num_seeds" : "40000",
+      "num_seeds" : "8000",
       "qual_func_params" : "1.30 -2.0 -0.5",
       "hard_cutoffs" : "above"
     }