#include "exam.h"
#include <cln/dfloat.h>
#include <cln/dfloat_io.h>

static mul_test dfloat_mul_tests[] = {

{ "-0.2554913394465045d0", "0.27042187315261135d0",
  "-0.0690904465873934d0" },

{ "-0.4489211233229662d0", "-0.42892136850270857d0",
  "0.19255186256545986d0" },

{ "-0.44586465919973783d0", "-0.15168042462027043d0",
  "0.0676289408305884d0" },

{ "0.5509395670465355d0", "0.3577558280766836d0",
  "0.19710184102894285d0" },

{ "-0.42780066410606965d0", "0.22704747885906007d0",
  "-0.0971310622395147d0" },

{ "0.20955388816500042d0", "0.605628751935113d0",
  "0.12691185975251945d0" },

{ "0.9993471610818964d0", "-4.363771855901198d9",
  "-4.360923015803941d9" },

{ "0.10502219375257282d0", "3.425205053451057d9",
  "3.5972254876582843d8" },

{ "0.7768651149081368d0", "1.666066330143864d9",
  "1.2943088110117908d9" },

{ "-0.6438389801759042d0", "2.8922130868526487d9",
  "-1.8621195242906134d9" },

{ "-0.7427680566504474d0", "6.763974500466173d9",
  "-5.02406419494444d9" },

{ "-0.8563035843259611d0", "2.9100478627456827d9",
  "-2.4918844154292307d9" },

{ "0.6219502737119671d0", "2.8868752190811842d-11",
  "1.7954928326798375d-11" },

{ "0.6767479505813657d0", "2.9324524289075574d-11",
  "1.9845311714405376d-11" },

{ "0.7944531541461581d0", "8.282076647859848d-11",
  "6.579721915772496d-11" },

{ "-0.4662914070981966d0", "-6.921260263903422d-11",
  "3.227324187348362d-11" },

{ "0.037804762510578516d0", "-3.044514833184461d-11",
  "-1.1509716022847211d-12" },

{ "-0.5364168049485208d0", "-3.695280705974925d-11",
  "1.9822106696869836d-11" },

{ "0.10343751426551051d0", "4.8902635121181385d19",
  "5.058367017968255d18" },

{ "-0.45511004829813784d0", "1.8210069906740634d19",
  "-8.287585794769196d18" },

{ "-0.9675158737162977d0", "8.097401718869682d19",
  "-7.83436469886405d19" },

{ "-0.06573561186185628d0", "2.6049125586869125d19",
  "-1.712355208919178d18" },

{ "-0.5574365795036731d0", "-8.822383181882661d19",
  "4.917919103979403d19" },

{ "-0.4222667103024276d0", "-1.8561723355961213d19",
  "7.837997859065477d18" },

{ "-0.8412207478192143d0", "2.3416069046402696d-22",
  "-1.9698083114201234d-22" },

{ "0.24291385591230452d0", "-9.448120185342916d-21",
  "-2.295079305344525d-21" },

{ "-0.37792600430678414d0", "-2.3929024368177364d-21",
  "9.043400566424941d-22" },

{ "-0.007648867433060369d0", "-5.3162210182098465d-21",
  "4.066306981313633d-23" },

{ "-0.7631807323096114d0", "-4.534410248041209d-21",
  "3.4605745336922964d-21" },

{ "0.4735366300649959d0", "-1.3895270471326203d-21",
  "-6.579919552833457d-22" },

{ "-8.64834403600587d9", "-0.14057280586223464d0",
  "1.215721987203268d9" },

{ "-1.5525713051163936d9", "0.10621224657238759d0",
  "-1.64902086280236d8" },

{ "3.297132746298694d9", "0.05318660311813239d0",
  "1.7536329080518654d8" },

{ "2.1659831568875275d9", "0.11704159596099262d0",
  "2.5351012550674528d8" },

{ "-5.533403510176525d9", "0.37778599060251605d0",
  "-2.0904423264954782d9" },

{ "-2.4217306331294374d9", "0.6051350227557695d0",
  "-1.465474021787126d9" },

{ "1.4048311850866513d9", "-4.304799039580996d9",
  "-6.047515936334449d18" },

{ "-5.070278162013437d9", "-9.116233758795675d9",
  "4.622184094703138d19" },

{ "8.452801605894673d9", "-9.002885976919611d9",
  "-7.609960904339272d19" },

{ "6.352601599408395d9", "-4.484034289922495d9",
  "-2.848528340196373d19" },

{ "-6.565407710101401d8", "-6.718825369609182d9",
  "4.4111827884457016d18" },

{ "-9.37193973536698d9", "9.577576231327314d9",
  "-8.976046725088279d19" },

{ "-1.7766859308675253d9", "-4.079350537765101d-11",
  "0.0724772470752413d0" },

{ "2.3810136983742104d9", "9.195156930614704d-11",
  "0.2189379461049417d0" },

{ "-3.313966320976337d9", "-3.44704749912067d-11",
  "0.11423399318891611d0" },

{ "6.598963960681895d9", "-2.4298605961767928d-11",
  "-0.1603456250365168d0" },

{ "7.908258993705348d9", "1.528909719631646d-11",
  "0.12091014040840486d0" },

{ "-5.906667889594469d9", "5.917852809041966d-11",
  "-0.3495479116251461d0" },

{ "4.86261281419926d9", "-2.3925611132123714d19",
  "-1.1634098327861323d29" },

{ "-9.753392818607462d9", "-2.5653634777279775d18",
  "2.502099772078992d28" },

{ "1.5861252889272392d9", "5.12939252547053d19",
  "8.135859201483165d28" },

{ "-8.422142961023593d8", "1.0428099441045047d19",
  "-8.782694430425161d27" },

{ "-3.109042783121446d9", "-4.138252722536039d19",
  "1.286600476173335d29" },

{ "-6.459303282089468d8", "1.8408981660472957d19",
  "-1.189091956594178d28" },

{ "-1.432764110232635d9", "8.98766033001457d-21",
  "-1.2877197155806476d-11" },

{ "8.539623949953406d9", "-3.498784805440049d-21",
  "-2.987830652026891d-11" },

{ "7.336784327799637d9", "-1.048985206018761d-21",
  "-7.696178219612119d-12" },

{ "-4.320357143553698d9", "2.591531476439043d-21",
  "-1.119634152697768d-11" },

{ "-9.374098076239548d9", "5.5773248420603045d-21",
  "-5.228239007252054d-11" },

{ "9.118926580475056d9", "-1.379170270330765d-21",
  "-1.2576552437120181d-11" },

{ "8.145792307872788d-11", "-0.06511382435429458d0",
  "-5.304036895613926d-12" },

{ "-6.1928426627437d-11", "0.2526275616632321d0",
  "-1.5644827416529785d-11" },

{ "-8.555119338859813d-11", "-0.8366318482083728d0",
  "7.157485304113478d-11" },

{ "8.243060442429263d-12", "0.3939656708074719d0",
  "3.2474828367081808d-12" },

{ "8.600529286105945d-11", "-0.891441509265547d0",
  "-7.666868807288822d-11" },

{ "-7.531046724969747d-11", "0.24398797995196886d0",
  "-1.8374848773492595d-11" },

{ "-3.7666526619188126d-12", "4.659322150343885d9",
  "-0.017550048180330083d0" },

{ "3.032501107241211d-11", "-9.592046453776636d9",
  "-0.2908789149178678d0" },

{ "7.311626957349528d-11", "-9.061108567148174d9",
  "-0.6625144566303135d0" },

{ "4.898078204161461d-11", "8.88014689134599d9",
  "0.4349565393825394d0" },

{ "1.278207138618518d-11", "-4.279966992086118d9",
  "-0.05470684362336102d0" },

{ "-8.538580654966055d-11", "-5.191059833953482d8",
  "0.0443242830769665d0" },

{ "4.0761422500127225d-11", "1.527607426117321d-11",
  "6.226745171030001d-22" },

{ "-9.186363051001198d-11", "8.557763803549676d-11",
  "-7.861472520412421d-21" },

{ "-9.89183505930065d-11", "9.717968160611499d-11",
  "-9.612853815630427d-21" },

{ "7.440627873114725d-12", "-4.535521332601712d-11",
  "-3.374712644646274d-22" },

{ "8.701410920357686d-11", "-7.032883383151379d-12",
  "-6.119600827175551d-22" },

{ "9.866226673114161d-11", "-2.814669610817353d-11",
  "-2.777016839025002d-21" },

{ "5.192240545105114d-11", "-3.366056660574579d19",
  "-1.747737587015645d9" },

{ "-1.372355669576939d-11", "-4.819955130360066d19",
  "6.61469275025609d8" },

{ "3.637511103766519d-11", "-4.071776382810416d19",
  "-1.4811131804527159d9" },

{ "7.446388208685151d-13", "2.7760294268649034d19",
  "2.0671392791169815d7" },

{ "6.267855179410938d-11", "7.471751480940298d19",
  "4.683185621908299d9" },

{ "-4.336562006766369d-11", "8.143188451558233d19",
  "-3.5313441652966094d9" },

{ "-1.0432655006975122d-11", "-9.379512413340694d-21",
  "9.785321714202411d-32" },

{ "-8.167646898574611d-11", "-5.810795749825724d-21",
  "4.746052788431461d-31" },

{ "-4.33805459341994d-11", "-2.4289860591796017d-21",
  "1.053707413137707d-31" },

{ "-1.384613082275421d-11", "2.2174009100764947d-21",
  "-3.070242308741339d-32" },

{ "-4.910905591314494d-11", "-5.456657623752349d-21",
  "2.679713043437427d-31" },

{ "1.3653011366548008d-11", "-3.925911962906968d-21",
  "-5.360052065363564d-32" },

{ "7.641468950470222d19", "0.9034599537348024d0",
  "6.903761184457755d19" },

{ "5.146778093125584d19", "-0.2791459460022878d0",
  "-1.436702239669392d19" },

{ "-8.874303077863696d19", "-0.23153988023519345d0",
  "2.054755071819369d19" },

{ "7.10798162637783d19", "-0.4719034863212067d0",
  "-3.354281310194779d19" },

{ "-9.820386602197546d19", "0.03346146041258036d0",
  "-3.286044775256677d18" },

{ "-5.210458089116161d19", "0.11173798093222442d0",
  "-5.822060666098161d18" },

{ "3.257626718953688d18", "-6.150510855712356d9",
  "-2.0036068498783283d28" },

{ "-7.755105754004988d19", "5.514896832715505d9",
  "-4.27686081601359d29" },

{ "2.426235084788384d19", "8.685431434428486d9",
  "2.1072898472734294d29" },

{ "-2.847383850475709d19", "-2.412830829567453d9",
  "6.870255538040273d28" },

{ "1.4664659669727164d19", "-4.8673539253155d9",
  "-7.1378088806862425d28" },

{ "-4.24770317054668d19", "1.3102543269150825d9",
  "-5.5655714586597015d28" },

{ "2.17116835964837d19", "-3.654789326884115d-11",
  "-7.935162947711353d8" },

{ "-1.8125809977916906d17", "-5.944782899600832d-11",
  "1.0775400519813456d7" },

{ "-7.915462827540546d19", "9.762153025588201d-11",
  "-7.727195939080587d9" },

{ "-4.360953588949649d19", "-7.152431005584812d-11",
  "3.119141966351983d9" },

{ "3.550776271395866d19", "-6.387656982922894d-11",
  "-2.268114084477872d9" },

{ "-8.278954580496595d19", "-7.359178231519021d-11",
  "6.092630232852524d9" },

{ "-5.5022682113038156d19", "-8.979630229039327d19",
  "4.940833395850589d39" },

{ "1.1716230943203277d19", "5.5764415854118265d19",
  "6.533487745596758d38" },

{ "7.462799608352103d19", "6.061883497941003d19",
  "4.523862179431019d39" },

{ "-3.2160334983646097d19", "-3.8817785710003675d19",
  "1.2483929917571087d39" },

{ "5.868090263060238d19", "-8.37300331667736d19",
  "-4.91335392351655d39" },

{ "-7.3652924769962656d19", "9.725738480757314d19",
  "-7.163290846555493d39" },

{ "-6.447063647969567d19", "4.0587529685661844d-21",
  "-0.2616703871973161d0" },

{ "-3.1999317568381926d17", "3.015031281949113d-21",
  "-9.647894346969533d-4" },

{ "-1.5005852398726605d19", "5.391316601974659d-21",
  "-0.080901301164036d0" },

{ "1.0084552719733576d19", "2.78150956101201d-21",
  "0.02805027980846861d0" },

{ "-7.171404412051077d19", "1.4733392992015492d-21",
  "-0.10565911950742231d0" },

{ "-5.909802783283228d19", "5.356071274587122d-21",
  "-0.31653324926018317d0" },

{ "8.272641144282955d-22", "-0.16191056182923802d0",
  "-1.3394279754825238d-22" },

{ "8.410471541398583d-21", "-0.43256058128353736d0",
  "-3.63803845881602d-21" },

{ "-7.887238384137063d-22", "0.5589746137044918d0",
  "-4.408766028968254d-22" },

{ "4.778995446616728d-21", "0.21608373898977795d0",
  "1.0326632047200663d-21" },

{ "3.992449163872154d-21", "0.9593422165456676d0",
  "3.830125030315009d-21" },

{ "-9.700320218813958d-21", "-0.42620535269852766d0",
  "4.134328400148262d-21" },

{ "-1.7901566262876555d-21", "9.461674014776534d8",
  "-1.6937878433325936d-12" },

{ "1.0928019952544443d-22", "8.279199780524873d9",
  "9.047526039267738d-13" },

{ "9.942869097320962d-21", "9.523169242022762d9",
  "9.468762516506561d-11" },

{ "-2.7432601692209267d-21", "-4.922145522647528d9",
  "1.3502725759388083d-11" },

{ "-5.97929682563092d-21", "-6.147792689359443d8",
  "3.6759477312123895d-12" },

{ "-1.3564305221188254d-21", "1.0862842413758955d9",
  "-1.473469100698958d-12" },

{ "-5.446806293721964d-21", "-1.5358504316888942d-11",
  "8.365479797538665d-32" },

{ "-1.0222776562632463d-21", "-1.9781477525280056d-11",
  "2.0222162481967376d-32" },

{ "8.192540157543917d-21", "3.3215076993103644d-11",
  "2.7211585210191467d-31" },

{ "9.685592607330157d-21", "6.034805605641166d-11",
  "5.8450668560672665d-31" },

{ "6.671870463340688d-21", "-9.07657686679269d-11",
  "-6.055774510579552d-31" },

{ "-1.109409648670322d-21", "-4.7905821901849965d-11",
  "5.314718104539439d-32" },

{ "-3.9052432481663676d-22", "2.0306112771345453d19",
  "-0.007930030979680168d0" },

{ "8.596834841113507d-21", "-9.453548987989818d19",
  "-0.8127059931212419d0" },

{ "3.946325780779758d-21", "-9.084484011754447d19",
  "-0.35850333460668093d0" },

{ "5.3518824877647604d-21", "-6.814116447592617d19",
  "-0.36468350485460743d0" },

{ "-7.456278485417833d-22", "9.61914445493285d19",
  "-0.07172301984744206d0" },

{ "-5.0781537010216826d-21", "9.216915512986622d19",
  "-0.4680491362427718d0" },

{ "3.2906792172396555d-22", "4.571445785546992d-21",
  "1.50431616392373d-42" },

{ "5.39814714322422d-21", "6.687033308557664d-21",
  "3.6097589751235757d-41" },

{ "4.3506183844841724d-21", "7.266196706225928d-21",
  "3.1612448975384865d-41" },

{ "6.910763289107986d-21", "3.910584203890238d-21",
  "2.702512175521024d-41" },

{ "-4.6131515924393325d-21", "5.228174479773633d-21",
  "-2.411836142691841d-41" },

{ "-2.1886866436065787d-21", "6.29322016055891d-22",
  "-1.3773886910690934d-42" },

};