module type Dodec_ineq_names =
sig
val dodec_ineqs : (string * term) list
end
module Dodec_ineq_names : Dodec_ineq_names =
struct
let dodec_ineqs = [
"D_232427898",D_232427898;
"D_501745932",D_501745932;
"D_454413312",D_454413312;
"D_484548925",D_484548925;
"D_140432082",D_140432082;
"D_211431164",D_211431164;
"D_120383233",D_120383233;
"D_950195574",D_950195574;
"D_411439162",D_411439162;
"D_930476095",D_930476095;
"D_504216105",D_504216105;
"D_303447655",D_303447655;
"D_999530305",D_999530305;
"D_774222998",D_774222998;
"D_583790155",D_583790155;
"D_954638763",D_954638763;
"D_836501282",D_836501282;
"D_815857122",D_815857122;
"D_143442051",D_143442051;
"D_616037833",D_616037833;
"D_943639543",D_943639543;
"D_348573741",D_348573741;
"D_887895540",D_887895540;
"D_292050936",D_292050936;
"D_747114280",D_747114280;
"D_407035272",D_407035272;
"D_746762527",D_746762527;
"D_908135697",D_908135697;
"D_852700722",D_852700722;
"D_187794654",D_187794654;
"D_241250402",D_241250402;
"D_614375500",D_614375500;
"D_392850749",D_392850749;
"D_324682944",D_324682944;
"D_102919537",D_102919537;
"D_756454529",D_756454529;
"D_563250599",D_563250599;
"D_439521695",D_439521695;
"D_805633512",D_805633512;
"D_892141600",D_892141600;
"D_224306197",D_224306197;
"D_120210454",D_120210454;
"D_479875130",D_479875130;
"D_629548058",D_629548058;
"D_469668150",D_469668150;
"D_218128189",D_218128189;
"D_169113912",D_169113912;
"D_143105921",D_143105921;
"D_421739939",D_421739939;
"D_595203705",D_595203705;
"D_943490566",D_943490566;
"D_797136399",D_797136399;
"D_603733089",D_603733089;
"D_459264712",D_459264712;
"D_557495949",D_557495949;
"D_171329882",D_171329882;
"D_720788076",D_720788076;
"D_554235027",D_554235027;
"D_569393441",D_569393441;
"D_992963254",D_992963254;
"D_157321192",D_157321192;
"D_954705068",D_954705068;
"D_607292193",D_607292193;
"D_852636576",D_852636576;
"D_981457443",D_981457443;
"D_400655725",D_400655725;
"D_552790530",D_552790530;
"D_339650543",D_339650543;
"D_195763418",D_195763418;
"D_346647038",D_346647038;
"D_542422328",D_542422328;
"D_958501031",D_958501031;
"D_977882706",D_977882706;
"D_817699709",D_817699709;
"D_221335081",D_221335081;
"D_380511524",D_380511524;
"D_534704091",D_534704091;
"D_510654661",D_510654661;
"D_296038926",D_296038926;
"D_725284239",D_725284239;
"D_508592316",D_508592316;
"D_780228595",D_780228595;
"D_129176394",D_129176394;
"D_794503453",D_794503453;
"D_820371697",D_820371697;
"D_993947481",D_993947481;
"D_888634003",D_888634003;
"D_985594975",D_985594975;
"D_278856582",D_278856582;
"D_309781213",D_309781213;
"D_546070702",D_546070702;
"D_273299220",D_273299220;
"D_420356876",D_420356876;
"D_168730298",D_168730298;
"D_563211815",D_563211815;
"D_923665644",D_923665644;
"D_131907821",D_131907821;
"D_632783039",D_632783039;
"D_997560269",D_997560269;
"D_849090707",D_849090707;
"D_741613981",D_741613981;
]
end