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