#include "exam.h"
#include <cln/lfloat.h>
#include <cln/lfloat_io.h>

static minus_test lfloat_minus_tests[] = {

{ "0.3211111183819802968L0", "-0.7024866236309383056L0",
  "1.0235977420129186024L0" },

{ "-0.29770116676264721836L0", "0.8494818768850108081L0",
  "-1.1471830436476580264L0" },

{ "-0.7677860965279355367L0", "0.9474539728585997539L0",
  "-1.7152400693865352905L0" },

{ "-0.25414380069764370257L0", "0.82619594943351718565L0",
  "-1.0803397501311608883L0" },

{ "0.21685951051311267031L0", "0.13084151170902027524L0",
  "0.08601799880409239507L0" },

{ "-0.6658362643286463323L0", "-0.101768362258000388376L0",
  "-0.56406790207064594393L0" },

{ "-0.8594165074009265017L0", "3.58724520062188585L9",
  "-3.5872452014813023575L9" },

{ "-0.58779846333918551446L0", "-2.8410824560251060135L9",
  "2.84108245543730755L9" },

{ "0.37819983918255152712L0", "1.75837003745458279L9",
  "-1.7583700370763829509L9" },

{ "-0.19345242719447268632L0", "-8.900743696911070234L9",
  "8.900743696717617807L9" },

{ "0.9170636757513836193L0", "-5.181144559509726756L9",
  "5.1811445604267904316L9" },

{ "0.20643137049004858552L0", "3.3215544303850617772L9",
  "-3.3215544301786304067L9" },

{ "-0.4014437452394343757L0", "4.7898418688154180505L-11",
  "-0.40144374528733279438L0" },

{ "0.0725076594551243524L0", "-3.5321788599004111594L-11",
  "0.072507659490446140996L0" },

{ "-0.65551702819898271043L0", "3.1653130032883009534L-11",
  "-0.6555170282306358405L0" },

{ "0.9237105409310637695L0", "-8.9028024814928743296L-11",
  "0.9237105410200917943L0" },

{ "0.8779771368966066218L0", "7.399233988536237696L-12",
  "0.8779771368892073878L0" },

{ "0.51385216558296334914L0", "-3.3989256599054576304L-11",
  "0.51385216561695260575L0" },

{ "0.74939199427992763254L0", "-6.6998781480191798724L19",
  "6.6998781480191798724L19" },

{ "0.8073774220299670944L0", "2.0433771569275457978L18",
  "-2.043377156927545797L18" },

{ "-0.75286822781531276375L0", "-7.7011647701976081504L19",
  "7.7011647701976081504L19" },

{ "-0.6361916050116532222L0", "1.2717052281488651182L19",
  "-1.2717052281488651183L19" },

{ "0.08977643006115956575L0", "1.2624046205072289204L19",
  "-1.2624046205072289204L19" },

{ "-0.4220171145412169327L0", "8.9155115345908061576L19",
  "-8.9155115345908061576L19" },

{ "0.397772867452284942L0", "5.7785851646148710778L-21",
  "0.397772867452284942L0" },

{ "-0.53062845978690011166L0", "-3.648685738612220277L-21",
  "-0.53062845978690011166L0" },

{ "0.25409096540159836552L0", "-7.8088660109317384514L-21",
  "0.25409096540159836552L0" },

{ "0.78038095936361252965L0", "5.166705522400390383L-21",
  "0.78038095936361252965L0" },

{ "0.2384997171475220939L0", "9.580584601627251829L-21",
  "0.23849971714752209389L0" },

{ "0.38777493167494073L0", "-7.930455614605653916L-22",
  "0.38777493167494073L0" },

{ "9.34906594120583919L8", "-0.06276538462885111519L0",
  "9.349065941833493036L8" },

{ "3.8000098261497040978L9", "0.08156195452126583918L0",
  "3.8000098260681421433L9" },

{ "-8.5084000619874580647L9", "-0.49084164337509169664L0",
  "-8.5084000614966164213L9" },

{ "-9.367354572017391158L9", "0.7369625068937909906L0",
  "-9.367354572754353665L9" },

{ "6.810025547716964613L9", "-0.65456201729278556224L0",
  "6.8100255483715266306L9" },

{ "-2.0476539871173359762L9", "-0.61684944260168028793L0",
  "-2.0476539865004865336L9" },

{ "7.927587886187347037L9", "-9.075678068210342653L9",
  "1.700326595439768969L10" },

{ "8.3881162961959078424L9", "-8.168276983460029623L9",
  "1.6556393279655937465L10" },

{ "-9.837108887605194379L9", "-5.518197215327419734L9",
  "-4.3189116722777746445L9" },

{ "6.0530403690423784372L9", "-4.794777582812792957L9",
  "1.0847817951855171394L10" },

{ "-7.6786817362598780694L8", "3.0685743382723052597L9",
  "-3.8364425118982930668L9" },

{ "-1.035869943077157163L9", "6.964469962306024778L8",
  "-1.7323169393077596407L9" },

{ "-5.236689202734255992L9", "-3.2118444581504684365L-12",
  "-5.236689202734255992L9" },

{ "-5.374622629137047618L9", "6.0449117144963868685L-11",
  "-5.374622629137047618L9" },

{ "-1.03444332932187716727L9", "-7.849504746710041045L-11",
  "-1.0344433293218771672L9" },

{ "5.1103879354813158946L8", "6.53093826849017485L-11",
  "5.110387935481315894L8" },

{ "-9.748335199611953219L9", "-1.0598402609119659922L-11",
  "-9.748335199611953219L9" },

{ "-7.3482164921795502603L9", "7.644598674874161005L-11",
  "-7.3482164921795502603L9" },

{ "-7.4770248834652064083L8", "-6.510822784079429222L19",
  "6.5108227840046589732L19" },

{ "8.3114910321533068423L9", "-6.2387352982669333472L19",
  "6.2387352990980824504L19" },

{ "-1.0718584220381511548L9", "8.521462332927085385L19",
  "-8.521462333034271227L19" },

{ "-1.9155322368803175137L8", "1.3150623743950738752L19",
  "-1.3150623744142291976L19" },

{ "3.8652241507510457716L9", "8.702412273358053775L19",
  "-8.70241227297153136L19" },

{ "2.922009617968977308L8", "-8.409184530486676791L19",
  "8.409184530515896887L19" },

{ "-7.3431860804237713437L9", "9.020687655591526829L-21",
  "-7.3431860804237713437L9" },

{ "-1.1188563145822172016L9", "-2.7575065881283248758L-21",
  "-1.1188563145822172016L9" },

{ "2.5835681218682880315L9", "-3.786022710650191692L-21",
  "2.5835681218682880315L9" },

{ "4.3854765424506375063L9", "1.8847509423241615905L-21",
  "4.3854765424506375063L9" },

{ "-3.4713769831512517224L9", "-2.322290027198980782L-21",
  "-3.4713769831512517224L9" },

{ "414355.71501652302632L0", "3.5411352752491676944L-21",
  "414355.71501652302632L0" },

{ "9.032857346451659148L-11", "0.45111022909893884074L0",
  "-0.45111022900861026729L0" },

{ "-6.5860623447077106086L-11", "-0.16349916999618723413L0",
  "0.16349916993032661068L0" },

{ "-9.239429491581222244L-11", "0.34742997377809253703L0",
  "-0.34742997387048683193L0" },

{ "-1.3189202177704638207L-11", "0.6447775025861344695L0",
  "-0.64477750259932367166L0" },

{ "-8.6095719029859522596L-11", "0.36611643318066821885L0",
  "-0.3661164332667639379L0" },

{ "-7.9284738631391966236L-11", "-0.28883099180012157807L0",
  "0.28883099172083683944L0" },

{ "-9.9602023259578447484L-11", "8.944817052366967221L9",
  "-8.944817052366967221L9" },

{ "-4.7036434158090755064L-11", "-7.652311009876441256L9",
  "7.652311009876441256L9" },

{ "-7.237899450242616437L-11", "-2.0865196011945540415L9",
  "2.0865196011945540414L9" },

{ "1.619466049424876382L-11", "5.1184733211578935236L9",
  "-5.1184733211578935236L9" },

{ "4.1799408897021043963L-11", "7.3289378733409777703L9",
  "-7.3289378733409777703L9" },

{ "-7.1652994078281664426L-11", "-8.756819754593247181L9",
  "8.756819754593247181L9" },

{ "-3.7074082585707708083L-11", "7.8185038704847907146L-11",
  "-1.1525912129055561523L-10" },

{ "-6.236585731179139659L-11", "7.2778046100364844843L-11",
  "-1.3514390341215624144L-10" },

{ "4.435573645212270856L-11", "-5.0777570123416204425L-11",
  "9.5133306575538912986L-11" },

{ "-8.308776483243665939L-11", "9.147453931535851365L-11",
  "-1.7456230414779517304L-10" },

{ "9.9047307392438733836L-11", "-2.5521271062995892868L-11",
  "1.245685784554346267L-10" },

{ "7.964304540045338675L-11", "-8.2763721216842256806L-11",
  "1.6240676661729564355L-10" },

{ "6.3981149909251410836L-11", "-8.199461198383311753L19",
  "8.199461198383311753L19" },

{ "3.2676777703423324814L-11", "4.4068061681801047868L19",
  "-4.4068061681801047868L19" },

{ "-6.239367423070186989L-11", "3.6883672788938434168L19",
  "-3.6883672788938434168L19" },

{ "-2.2122757699951901351L-11", "2.1264312306673926188L19",
  "-2.1264312306673926188L19" },

{ "8.873182931301984606L-11", "1.6930709481447417272L19",
  "-1.6930709481447417272L19" },

{ "-6.88393272917067128L-11", "9.590650870092490293L19",
  "-9.590650870092490293L19" },

{ "6.858643038376546876L-11", "7.344128953107545512L-21",
  "6.858643037642133981L-11" },

{ "2.6458055358368033053L-11", "5.403788941414579396L-21",
  "2.6458055352964244111L-11" },

{ "-2.0808117056914325832L-11", "-9.598437242399057154L-21",
  "-2.080811704731588859L-11" },

{ "-6.7475294377176982065L-11", "7.066634775850918749L-21",
  "-6.747529438424361684L-11" },

{ "-9.3542684131795074026L-11", "-2.671834604826394793L-22",
  "-9.354268413152789057L-11" },

{ "-3.656675383727620855L-11", "-5.7226858095399702763L-21",
  "-3.656675383155352274L-11" },

{ "4.4004114393746579576L19", "0.9981645829158248139L0",
  "4.4004114393746579576L19" },

{ "-2.1157157847974045162L19", "-0.73136590134089295135L0",
  "-2.1157157847974045162L19" },

{ "-6.58288354566033103L19", "0.6435204448077814454L0",
  "-6.58288354566033103L19" },

{ "-6.1300052513232283715L18", "0.37782114066015354996L0",
  "-6.130005251323228372L18" },

{ "-8.3428987469650376416L19", "0.092302889297602909923L0",
  "-8.3428987469650376416L19" },

{ "4.478146018721476673L18", "-0.7594367116407568048L0",
  "4.4781460187214766738L18" },

{ "3.9553793567888621644L19", "7.272309486263127643L9",
  "3.9553793560616312156L19" },

{ "8.4985452245750157485L18", "-8.180191224624705388L9",
  "8.498545232755206973L18" },

{ "-4.9006940756698268444L19", "5.635530637330344937L9",
  "-4.900694076233379908L19" },

{ "3.321094625885548145L19", "7.739325488496469393L9",
  "3.3210946251116155962L19" },

{ "-4.094717236852398814L19", "2.8833151826524522544L9",
  "-4.0947172371407303324L19" },

{ "-7.297938416992967256L19", "1.7849049534461509205L9",
  "-7.2979384171714577512L19" },

{ "-1.6274534493365811085L19", "-7.214220253590898893L-11",
  "-1.6274534493365811085L19" },

{ "-8.8349360721401487896L19", "4.4201546048906225832L-11",
  "-8.8349360721401487896L19" },

{ "2.1193875854469716176L19", "5.4852102858193519493L-11",
  "2.1193875854469716176L19" },

{ "5.8956188285652689564L19", "5.2591781987716878005L-12",
  "5.8956188285652689564L19" },

{ "3.8130742288947136824L19", "-6.2032926048476626596L-11",
  "3.8130742288947136824L19" },

{ "-8.2648264381835919784L19", "5.240041099543619651L-11",
  "-8.2648264381835919784L19" },

{ "-8.9795702979594840016L19", "5.3071479395700422216L19",
  "-1.4286718237529526223L20" },

{ "7.4902067869555502376L19", "8.527286348112666809L18",
  "6.6374781521442835568L19" },

{ "-9.945686226441305483L19", "-7.164943842935287866L19",
  "-2.7807423835060176172L19" },

{ "-6.9451908461424534725L18", "1.7337328244166615333L19",
  "-2.4282519090309068806L19" },

{ "-7.2554820480127785552L19", "-3.6345553532831870424L19",
  "-3.6209266947295915128L19" },

{ "4.80739562024854996L19", "-9.8058600290712759904L19",
  "1.46132556493198259504L20" },

{ "-2.2910115296639597206L19", "3.7450560231732721633L-21",
  "-2.2910115296639597206L19" },

{ "6.3398397438838205245L18", "5.9452907771459291318L-21",
  "6.3398397438838205245L18" },

{ "-3.6223171453314706578L19", "-7.3897558037422565484L-21",
  "-3.6223171453314706578L19" },

{ "-5.253323265732561348L19", "-2.4894382246759080012L-21",
  "-5.253323265732561348L19" },

{ "8.706482285826808214L18", "-5.353671688426432468L-21",
  "8.706482285826808214L18" },

{ "2.2257683364797036278L18", "-8.640543721759613242L-21",
  "2.2257683364797036278L18" },

{ "4.793610535063041737L-21", "-0.46707949288138879385L0",
  "0.46707949288138879385L0" },

{ "-8.1177127707349576126L-22", "-0.524723160625887566L0",
  "0.524723160625887566L0" },

{ "4.3845050204409245572L-21", "0.25137862247046227512L0",
  "-0.25137862247046227512L0" },

{ "9.521149905664397992L-21", "-0.8412363166750659234L0",
  "0.8412363166750659234L0" },

{ "9.174773471390805996L-21", "-0.101196005202611894716L0",
  "0.10119600520261189472L0" },

{ "7.109559498077443181L-21", "0.9205539164614073537L0",
  "-0.9205539164614073537L0" },

{ "4.698785699006337068L-21", "-2.1800327611972026394L9",
  "2.1800327611972026394L9" },

{ "5.613624265510662971L-21", "-9.950548243828975189L9",
  "9.950548243828975189L9" },

{ "4.6909741937286841078L-21", "-1.7837781830572891826L9",
  "1.7837781830572891826L9" },

{ "-4.846242463794952647L-21", "-8.0162418694778434667L9",
  "8.0162418694778434667L9" },

{ "2.40959428070040729L-21", "-8.889381116534260471L9",
  "8.889381116534260471L9" },

{ "3.767840665510686708L-21", "-6.5742819327593306936L9",
  "6.5742819327593306936L9" },

{ "-4.2984578582437655097L-21", "-7.11707524430297521L-11",
  "7.117075243873129424L-11" },

{ "-8.2197602823824843314L-21", "5.6157517586290544195L-11",
  "-5.6157517594510304478L-11" },

{ "9.693403466151038911L-21", "-2.4790192993953556532L-11",
  "2.4790193003646959998L-11" },

{ "-1.7473025967684817638L-21", "-6.763791909706180161L-11",
  "6.763791909531449901L-11" },

{ "-4.545821853960128388L-21", "-2.0149758755990572603L-11",
  "2.0149758751444750749L-11" },

{ "-6.727743751498960878L-21", "4.6105155267302345166L-11",
  "-4.6105155274030088917L-11" },

{ "3.1693009676315354841L-21", "-8.292132887357976433L19",
  "8.292132887357976433L19" },

{ "-1.5197222855116101305L-21", "-6.8790212191073234628L19",
  "6.8790212191073234628L19" },

{ "9.221684449614781083L-21", "-5.9085200983462461748L19",
  "5.9085200983462461748L19" },

{ "8.784720275148798145L-21", "-3.507151222326700691L19",
  "3.507151222326700691L19" },

{ "3.824100155304652155L-21", "1.2903444775641864255L19",
  "-1.2903444775641864255L19" },

{ "-1.0750770892330241413L-21", "2.516785805333378789L19",
  "-2.516785805333378789L19" },

{ "-9.607606672669937465L-21", "2.8158700323501294737L-21",
  "-1.2423476705020066939L-20" },

{ "7.9685140548406097L-21", "-1.4252185339263422407L-21",
  "9.393732588766951941L-21" },

{ "-3.1900732903251523987L-21", "1.30212230775860485605L-21",
  "-4.4921955980837572548L-21" },

{ "2.845180721925488069L-21", "9.0340678136597289194L-21",
  "-6.1888870917342408505L-21" },

{ "-5.1500491616497403683L-21", "-5.4818765813663490764L-21",
  "3.3182741971660870814L-22" },

{ "5.3946808417918276896L-21", "2.1630450195342998269L-21",
  "3.2316358222575278627L-21" },

};