formal_lp/hypermap/ineqs/lp_body_ineqs_data.hl

   1 module Lp_body_ineqs_data = struct
   2
   3 let data = [
   4         "ineq32", "3137600529", "apex_flat_h";
   5         "ineq33", "6284721194", "apex_std3_hll";
   6         "ineq34", "9185711902", "apex_std3_hll";
   7         "ineq35", "6725783616", "apex_flat";
   8         "ineq36", "1248932983", "apex_std3_lhh";
   9         "ineq37", "1836408787", "apex_std3_lhh";
  10         "ineq38", "5943578801", "apex_sup_flat";
  11         "ineq39", "2763799127", "apex_sup_flat";
  12         "ineq40", "4306175952", "dart_mll_n";
  13         "ineq41", "2923748598", "dart_mll_n";
  14         "ineq42", "6410081357", "apex_std3_lll_wxx";
  15         "ineq43", "7316455966", "apex_std3_lll_wxx";
  16         "ineq44", "3425739813", "apex_flat";
  17         "ineq45", "5756588587", "apex_std3_lll_wxx";
  18         "ineq46", "4222324842", "apex_std3_lll_xww";
  19         "ineq47", "9641946727", "apex_flat_l";
  20         "ineq48", "2390583444", "dart_std3_mini";
  21         "ineq49", "7291663656", "apex_flat";
  22         "ineq50", "6987934000", "dart_mll_w";
  23         "ineq51", "7819193535", "dart_std3_lw";
  24         "ineq52", "8384511215", "apex_flat";
  25         "ineq53", "4750199435", "apex_flat";
  26         "ineq54", "1894886027", "dart_Hll_w";
  27         "ineq55", "5835568093", "dart_Hll_n";
  28         "ineq56", "4002562507", "dart_mll_n";
  29         "ineq57", "7409690040", "dart_mll_w";
  30         "ineq58", "9925287433", "dart_Hll_w";
  31         "ineq59", "4841020453", "dart_Hll_n";
  32         "ineq60", "3139693500", "dart_mll_n";
  33         "ineq61", "3872614111", "dart_mll_w";
  34         "ineq62", "4041673283", "apex_std3_small_hll";
  35         "ineq63", "1284543870", "apex_std3_small_hll";
  36         "ineq64", "6619134733", "apex_std3_small_hll";
  37         "ineq65", "8657368829", "apex_std3_small_hll";
  38         "ineq66", "7743522046", "apex_std3_hll";
  39         "ineq67", "5298513205", "apex_std3_hll";
  40         "ineq68", "3636849632", "apex_std3_hll";
  41         "ineq69", "6836427086", "apex_std3_hll";
  42         "ineq70", "2151506422", "apex_std3_hll";
  43         "ineq71", "181212899 5", "apexff5";
  44         "ineq72", "181212899 4", "apexf5";
  45         "ineq73", "181212899 3", "apexff4";
  46         "ineq74", "181212899 2", "apexf4";
  47         "ineq75", "181212899 1", "apexfA";
  48         "ineq76", "181212899 0", "apexffA";
  49         "ineq77", "8611785756", "dart_std3_big_200_218";
  50         "ineq78", "8282573160", "apex_flat_hll";
  51         "ineq79", "4491491732", "dart_std3_mini";
  52         "ineq80", "1550635295", "dart_std3_mini";
  53         "ineq81", "9229542852", "dart_std3_mini";
  54         "ineq82", "1085358243", "apex_sup_flat";
  55         "ineq83", "3566713650", "apex_sup_flat";
  56         "ineq84", "7718591733", "apex_sup_flat";
  57         "ineq85", "7863247282", "apex_sup_flat";
  58         "ineq86", "1642527039", "apex_sup_flat";
  59         "ineq87", "4840774900", "apex_sup_flat";
  60         "ineq88", "5451229371", "apex_sup_flat";
  61         "ineq89", "6224332984", "dart_std3_big";
  62         "ineq90", "7761782916", "dart_std3_big";
  63         "ineq91", "9291937879", "dart_std3_small";
  64         "ineq92", "9225295803", "dart_std3_small";
  65         "ineq93", "7931207804", "apex_A";
  66         "ineq94", "2563100177", "apex_A";
  67         "ineq95", "5760733457", "apex_A";
  68         "ineq96", "8082208587", "apex_A";
  69         "ineq97", "9756015945", "apex_flat";
  70         "ineq98", "9251360200", "apex_flat";
  71         "ineq99", "5000076558", "apex_flat";
  72         "ineq100", "9922699028", "apex_flat";
  73         "ineq101", "3318775219", "apex_flat";
  74         "ineq102", "8248508703", "apex_flat";
  75         "ineq103", "6988401556", "apex_flat";
  76         "ineq104", "9995621667", "dart4_diag3";
  77         "ineq105", "9414951439", "dartY";
  78         "ineq106", "3020140039", "dartX";
  79         "ineq107", "5957966880", "dart_std3";
  80         "ineq108", "3526497018", "dart_std3";
  81         "ineq109", "4047599236", "dart_std3";
  82         "ineq110", "7726998381", "dart_std3";
  83         "ineq111", "7394240696", "dart_std3";
  84         "ineq112", "1395142356", "dart_std3";
  85         "ineq113", "4667071578", "dart_std3";
  86         "ineq114", "8519146937", "dart_std3";
  87         "ineq115", "3296257235", "dart_std3";
  88         "ineq116", "5490182221", "dart_std3";
  89         "ineq117", "5735387903", "dart_std3";
  90         "ineq118", "9563139965D", "dart4_diag3_b";
  91         "ineq119", "3862621143 revised", "dart_std4";
  92         "ineq120", "4240815464 a", "dart_std4";
  93         "ineq121", "6944699408 a", "dart_std4";
  94         "ineq122", "7043724150 a", "dart_std4";
  95 ];;
  96
  97 let sym_data = [
  98         "ineq0", "3137600529", "apex_flat_h";
  99         "ineq1", "6284721194", "apex_std3_hll";
 100         "ineq2", "9185711902", "apex_std3_hll";
 101         "ineq3", "6725783616", "apex_flat";
 102         "ineq4", "1248932983", "apex_std3_lhh";
 103         "ineq5", "1836408787", "apex_std3_lhh";
 104         "ineq6", "5943578801", "apex_sup_flat";
 105         "ineq7", "2763799127", "apex_sup_flat";
 106         "ineq8", "4306175952", "dart_mll_n";
 107         "ineq9", "2923748598", "dart_mll_n";
 108         "ineq10", "6410081357", "apex_std3_lll_wxx";
 109         "ineq11", "7316455966", "apex_std3_lll_wxx";
 110         "ineq12", "3425739813", "apex_flat";
 111         "ineq13", "5756588587", "apex_std3_lll_wxx";
 112         "ineq14", "4222324842", "apex_std3_lll_xww";
 113         "ineq15", "9641946727", "apex_flat_l";
 114         "ineq16", "2390583444", "dart_std3_mini";
 115         "ineq17", "7291663656", "apex_flat";
 116         "ineq18", "6987934000", "dart_mll_w";
 117         "ineq19", "7819193535", "dart_std3_lw";
 118         "ineq20", "8384511215", "apex_flat";
 119         "ineq21", "4750199435", "apex_flat";
 120         "ineq22", "1894886027", "dart_Hll_w";
 121         "ineq23", "5835568093", "dart_Hll_n";
 122         "ineq24", "4002562507", "dart_mll_n";
 123         "ineq25", "7409690040", "dart_mll_w";
 124         "ineq26", "4041673283", "apex_std3_small_hll";
 125         "ineq27", "1284543870", "apex_std3_small_hll";
 126         "ineq28", "7743522046", "apex_std3_hll";
 127         "ineq29", "5298513205", "apex_std3_hll";
 128         "ineq30", "9756015945", "apex_flat";
 129         "ineq31", "5000076558", "apex_flat";
 130 ];;
 131
 132 end;;