Created:  Nov. 2, 2016

                              This is CompIneq.txt

             It is one of the packages that accompany the article

 Using the Quasi-Polynomial Ansatz to Count Intger Compositions Satisfying a\
     Set of Inequalities

                    by Shalosh B. Ekhad and Doron Zeilberger

                  and also available from Zeilberger's website



           Please report bugs to zeilberg at math dot rutgers dot edu



              The most current version of this  package and paper

                               are  available from

                   http://www.math.rutgers.edu/~zeilberg/  .

                    ---------------------------------------

      For a list of the Supporting procedures type ezra1();, for help with

              a specific procedure, type ezra(procedure_name);   .



                    ---------------------------------------

                    ---------------------------------------

         For a list of the MAIN procedures type ezra();, for help with

              a specific procedure, type ezra(procedure_name);   .



                    ---------------------------------------

[0, 0, 6, 0, 270, 90, 10500, 6720, 392910, 355950, 14478156, 16439346, 
529404876, 706810104, 19272783816, 29111692896, 699677161326, 1165747995126, 
25353979229436, 45774091141350, 917549732994180, 1771818950042856, 
33174260647148088, 67845990480870498, 1198569964080659820, 2576217011384276520,
43279979034548697720, 97172396306861238720, 1562151084311426575320, 
3645494682112649782440, 56364895696677322208400, 136156526172748961935200, 
2033162581408415428229550, 5066507265019626353202630, 
73322069395323981081793500, 187939363676310774342456750, 
2643706560575331509749420500, 6952888937871643394146357800, 
95306151219566977999148535000, 256632941320578733939956369270, 
3435329091855352094619142017060, 9453458631038672249283002481720, 
123812379936714903942117773215080, 347623412550354359085613206886560, 
4461851663701935271912084788763560, 12763153196675804005956747381942360, 
160778258838191766507231740405560560, 467965621751281288493359486772101410, 
5793026200170719131181221470879740460, 17137271130912909801809606767015420200,
208715023775792055004589499371039269656, 
626897384888398383786501373897438885536, 
7519265559117988709964896895641635381416, 
22910043002293523401246081641910619333304, 
270877893397621394036184987041567724515376, 
836510093539168123146589556095498183292256, 
9757771639085931004530711120359767623040536, 
30518848286150870253293452807846195757365656, 
351486666796749948852186133697196078418141296, 
1112623225434768542071755478271892713782039176, 
12660476796654515871858668490218015723955620016, 
40535794640743076365018629755938804691056027104, 
456011620422624350590787782129438892148917419296, 
1475924657569060199274765368707627104481265770080, 
16424336562181586082931443914811529310612036733486, 
53708892367407972725307383455894570238952653608806, 
591544066106735452455645826298250055935538588112796, 
1953457326400006136780303356764262101838904029371006, 
21304670567727385781006629520231479753347510897408756, 
71015729706399813078758348105852044178440462602648744, 
767276657060247963029790737652936598895812326605743896, 
2580557057336037345798599445143265686252606851953938430, 
27632454785284839879372804630663977085343700088943018356, 
93733430431012238383726811959451508166072198047801771384, 
995125953334575297979464398144902466819072118377713316616, 
3403377977769829381041993246779270315709456080774562847296, 
35836735509750657049783735167835207736361966517892514583176, 
123529814711924942190148991266518596515529904096853123398456, 
1290539383630631624568994120189501102251830729399179466604336, 
4482183027288648242855388082192225203222814725778802902173366, 
46473682070502836666585099043754462744227718154343975560909796, 
162582166514840552188529595975751785324474061835055476220348216, 
1673541217135401393205059858597665055003124297152354938789074056, 
5895630537047027331047152756051157643283406243983085695152087456, 
60264244450548955547637370377941694679120528205504407115677754616, 
213731938688846106655200639624565013416035926155763603835189299496, 
2170088331046984553910367419602975686757927027293076397637279180176, 
7746357374761868264237397805660669290216192948197874589012687750656, 
78142964214670649645461668423228834139218476107226929377915706719336, 
280686234051139033566195557327021004925075795083893226468325955828136, 
2813827520491288126112901176523632548170231369693926999600968552657296, 
10168249560619146341975373081585104789279080481789331569959149360337656, 
101321241780490969554046260489277508447088394569089161979003266909960656, 
368280160872799067434823747759617470960812646639286159042413231359699616, 
3648373265504060205743295823781661850799406136835757281529992071016987616, 
13335908814166514522725365980265233111552390340677821963204146844602298146, 
131369341154909242552539703517923031587716968510229768591448450078464821676, 
482818399939546601035547422950777761151674272302646076051779700506342793256, 
4730260082388292511841745272926745688512122857057647922359560599658427285336, 
17476976329619523832432637594890456071191083840453582730712512493101660961600]
                         This took, 8989.856, seconds.