module Lp_body_ineqs_data = struct

let data = [
	"ineq32", "3137600529", "apex_flat_h";
	"ineq33", "6284721194", "apex_std3_hll";
	"ineq34", "9185711902", "apex_std3_hll";
	"ineq35", "6725783616", "apex_flat";
	"ineq36", "1248932983", "apex_std3_lhh";
	"ineq37", "1836408787", "apex_std3_lhh";
	"ineq38", "5943578801", "apex_sup_flat";
	"ineq39", "2763799127", "apex_sup_flat";
	"ineq40", "4306175952", "dart_mll_n";
	"ineq41", "2923748598", "dart_mll_n";
	"ineq42", "6410081357", "apex_std3_lll_wxx";
	"ineq43", "7316455966", "apex_std3_lll_wxx";
	"ineq44", "3425739813", "apex_flat";
	"ineq45", "5756588587", "apex_std3_lll_wxx";
	"ineq46", "4222324842", "apex_std3_lll_xww";
	"ineq47", "9641946727", "apex_flat_l";
	"ineq48", "2390583444", "dart_std3_mini";
	"ineq49", "7291663656", "apex_flat";
	"ineq50", "6987934000", "dart_mll_w";
	"ineq51", "7819193535", "dart_std3_lw";
	"ineq52", "8384511215", "apex_flat";
	"ineq53", "4750199435", "apex_flat";
	"ineq54", "1894886027", "dart_Hll_w";
	"ineq55", "5835568093", "dart_Hll_n";
	"ineq56", "4002562507", "dart_mll_n";
	"ineq57", "7409690040", "dart_mll_w";
	"ineq58", "9925287433", "dart_Hll_w";
	"ineq59", "4841020453", "dart_Hll_n";
	"ineq60", "3139693500", "dart_mll_n";
	"ineq61", "3872614111", "dart_mll_w";
	"ineq62", "4041673283", "apex_std3_small_hll";
	"ineq63", "1284543870", "apex_std3_small_hll";
	"ineq64", "6619134733", "apex_std3_small_hll";
	"ineq65", "8657368829", "apex_std3_small_hll";
	"ineq66", "7743522046", "apex_std3_hll";
	"ineq67", "5298513205", "apex_std3_hll";
	"ineq68", "3636849632", "apex_std3_hll";
	"ineq69", "6836427086", "apex_std3_hll";
	"ineq70", "2151506422", "apex_std3_hll";
	"ineq71", "181212899 5", "apexff5";
	"ineq72", "181212899 4", "apexf5";
	"ineq73", "181212899 3", "apexff4";
	"ineq74", "181212899 2", "apexf4";
	"ineq75", "181212899 1", "apexfA";
	"ineq76", "181212899 0", "apexffA";
	"ineq77", "8611785756", "dart_std3_big_200_218";
	"ineq78", "8282573160", "apex_flat_hll";
	"ineq79", "4491491732", "dart_std3_mini";
	"ineq80", "1550635295", "dart_std3_mini";
	"ineq81", "9229542852", "dart_std3_mini";
	"ineq82", "1085358243", "apex_sup_flat";
	"ineq83", "3566713650", "apex_sup_flat";
	"ineq84", "7718591733", "apex_sup_flat";
	"ineq85", "7863247282", "apex_sup_flat";
	"ineq86", "1642527039", "apex_sup_flat";
	"ineq87", "4840774900", "apex_sup_flat";
	"ineq88", "5451229371", "apex_sup_flat";
	"ineq89", "6224332984", "dart_std3_big";
	"ineq90", "7761782916", "dart_std3_big";
	"ineq91", "9291937879", "dart_std3_small";
	"ineq92", "9225295803", "dart_std3_small";
	"ineq93", "7931207804", "apex_A";
	"ineq94", "2563100177", "apex_A";
	"ineq95", "5760733457", "apex_A";
	"ineq96", "8082208587", "apex_A";
	"ineq97", "9756015945", "apex_flat";
	"ineq98", "9251360200", "apex_flat";
	"ineq99", "5000076558", "apex_flat";
	"ineq100", "9922699028", "apex_flat";
	"ineq101", "3318775219", "apex_flat";
	"ineq102", "8248508703", "apex_flat";
	"ineq103", "6988401556", "apex_flat";
	"ineq104", "9995621667", "dart4_diag3";
	"ineq105", "9414951439", "dartY";
	"ineq106", "3020140039", "dartX";
	"ineq107", "5957966880", "dart_std3";
	"ineq108", "3526497018", "dart_std3";
	"ineq109", "4047599236", "dart_std3";
	"ineq110", "7726998381", "dart_std3";
	"ineq111", "7394240696", "dart_std3";
	"ineq112", "1395142356", "dart_std3";
	"ineq113", "4667071578", "dart_std3";
	"ineq114", "8519146937", "dart_std3";
	"ineq115", "3296257235", "dart_std3";
	"ineq116", "5490182221", "dart_std3";
	"ineq117", "5735387903", "dart_std3";
	"ineq118", "9563139965D", "dart4_diag3_b";
	"ineq119", "3862621143 revised", "dart_std4";
	"ineq120", "4240815464 a", "dart_std4";
	"ineq121", "6944699408 a", "dart_std4";
	"ineq122", "7043724150 a", "dart_std4";
];;

let sym_data = [
	"ineq0", "3137600529", "apex_flat_h";
	"ineq1", "6284721194", "apex_std3_hll";
	"ineq2", "9185711902", "apex_std3_hll";
	"ineq3", "6725783616", "apex_flat";
	"ineq4", "1248932983", "apex_std3_lhh";
	"ineq5", "1836408787", "apex_std3_lhh";
	"ineq6", "5943578801", "apex_sup_flat";
	"ineq7", "2763799127", "apex_sup_flat";
	"ineq8", "4306175952", "dart_mll_n";
	"ineq9", "2923748598", "dart_mll_n";
	"ineq10", "6410081357", "apex_std3_lll_wxx";
	"ineq11", "7316455966", "apex_std3_lll_wxx";
	"ineq12", "3425739813", "apex_flat";
	"ineq13", "5756588587", "apex_std3_lll_wxx";
	"ineq14", "4222324842", "apex_std3_lll_xww";
	"ineq15", "9641946727", "apex_flat_l";
	"ineq16", "2390583444", "dart_std3_mini";
	"ineq17", "7291663656", "apex_flat";
	"ineq18", "6987934000", "dart_mll_w";
	"ineq19", "7819193535", "dart_std3_lw";
	"ineq20", "8384511215", "apex_flat";
	"ineq21", "4750199435", "apex_flat";
	"ineq22", "1894886027", "dart_Hll_w";
	"ineq23", "5835568093", "dart_Hll_n";
	"ineq24", "4002562507", "dart_mll_n";
	"ineq25", "7409690040", "dart_mll_w";
	"ineq26", "4041673283", "apex_std3_small_hll";
	"ineq27", "1284543870", "apex_std3_small_hll";
	"ineq28", "7743522046", "apex_std3_hll";
	"ineq29", "5298513205", "apex_std3_hll";
	"ineq30", "9756015945", "apex_flat";
	"ineq31", "5000076558", "apex_flat";
];;

end;;