#include "exam.h"
#include <cln/sfloat.h>
#include <cln/sfloat_io.h>

static minus_test sfloat_minus_tests[] = {

{ "0.57362s0", "-0.0545654s0",
  "0.62819s0" },

{ "-0.121063s0", "-0.157204s0",
  "0.0361404s0" },

{ "0.75334s0", "-0.186554s0",
  "0.939896s0" },

{ "0.879036s0", "-0.54558s0",
  "1.42462s0" },

{ "-0.245338s0", "-0.003891s0",
  "-0.241447s0" },

{ "-0.89576s0", "0.61608s0",
  "-1.51184s0" },

{ "-0.59227s0", "6.61s9",
  "-6.61s9" },

{ "0.381363s0", "1.88003s9",
  "-1.88003s9" },

{ "0.858986s0", "1.31028s9",
  "-1.31028s9" },

{ "0.56377s0", "-3.26553s9",
  "3.26553s9" },

{ "0.80342s0", "-1.46217s9",
  "1.46217s9" },

{ "0.093941s0", "8.30203s9",
  "-8.30203s9" },

{ "0.266243s0", "4.980s-14",
  "0.266243s0" },

{ "-0.169983s0", "8.01s-15",
  "-0.169983s0" },

{ "0.77925s0", "-2.777s-15",
  "0.77925s0" },

{ "-0.379807s0", "3.990s-15",
  "-0.379807s0" },

{ "-0.392517s0", "1.1080s-13",
  "-0.392517s0" },

{ "-0.26274s0", "-7.575s-14",
  "-0.26274s0" },

{ "0.72031s0", "4.1223s19",
  "-4.1223s19" },

{ "0.589775s0", "-2.9271s19",
  "2.9271s19" },

{ "0.205704s0", "-8.4906s19",
  "8.4906s19" },

{ "0.362556s0", "6.8624s19",
  "-6.8624s19" },

{ "-0.604004s0", "-1.42777s19",
  "1.42777s19" },

{ "-0.53121s0", "2.3539s19",
  "-2.3539s19" },

{ "-0.684906s0", "8.179s-24",
  "-0.684906s0" },

{ "0.43084s0", "-5.849s-24",
  "0.43084s0" },

{ "0.153358s0", "3.633s-24",
  "0.153358s0" },

{ "0.93678s0", "9.13s-24",
  "0.93678s0" },

{ "0.78924s0", "-7.766s-24",
  "0.78924s0" },

{ "0.33867s0", "3.510s-24",
  "0.33867s0" },

{ "8.0573s9", "-0.86206s0",
  "8.0573s9" },

{ "9.3318s9", "-0.93273s0",
  "9.3318s9" },

{ "-4.26515s9", "0.464104s0",
  "-4.26515s9" },

{ "-3.35557s9", "-0.93267s0",
  "-3.35557s9" },

{ "-6.81614s9", "-0.64528s0",
  "-6.81614s9" },

{ "-5.099s9", "0.67011s0",
  "-5.099s9" },

{ "-4.2206s9", "4.9182s9",
  "-9.1389s9" },

{ "-5.18173s9", "2.267s9",
  "-7.4487s9" },

{ "5.53314s9", "6.08856s9",
  "-5.5542s8" },

{ "9.88s9", "-3.3333s9",
  "1.32132s10" },

{ "4.87404s9", "7.17075s9",
  "-2.2967s9" },

{ "-2.9911s9", "-1.37177s8",
  "-2.85393s9" },

{ "-8.1379s9", "3.023s-15",
  "-8.1379s9" },

{ "4.8877s9", "-1.1596s-13",
  "4.8877s9" },

{ "-1.89071s9", "-4.330s-14",
  "-1.89071s9" },

{ "8.7563s9", "-4.676s-14",
  "8.7563s9" },

{ "-4.4533s9", "2.743s-15",
  "-4.4533s9" },

{ "4.0261s9", "2.1618s-13",
  "4.0261s9" },

{ "9.1731s9", "-8.0954s19",
  "8.0954s19" },

{ "6.984s9", "1.09772s19",
  "-1.09772s19" },

{ "-9.8832s9", "-8.0905s19",
  "8.0905s19" },

{ "-8.5769s9", "-6.24565s19",
  "6.24565s19" },

{ "8.5486s9", "2.77396s19",
  "-2.77396s19" },

{ "-9.4026s9", "-3.5611s19",
  "3.5611s19" },

{ "5.1003s9", "-1.9535s-23",
  "5.1003s9" },

{ "1.88706s9", "-1.6304s-23",
  "1.88706s9" },

{ "-9.4567s9", "-1.9848s-23",
  "-9.4567s9" },

{ "9.6498s9", "-1.57531s-21",
  "9.6498s9" },

{ "-5.733s9", "1.23215s-21",
  "-5.733s9" },

{ "-4.0567s9", "-5.229s-24",
  "-4.0567s9" },

{ "-4.379s-14", "-0.0201035s0",
  "0.0201035s0" },

{ "-4.036s-14", "0.82034s0",
  "-0.82034s0" },

{ "1.6661s-13", "-0.70753s0",
  "0.70753s0" },

{ "3.360s-14", "0.60217s0",
  "-0.60217s0" },

{ "4.977s-14", "-0.95905s0",
  "0.95905s0" },

{ "-2.967s-14", "0.55465s0",
  "-0.55465s0" },

{ "4.394s-14", "2.01859s9",
  "-2.01859s9" },

{ "3.683s-14", "4.77836s9",
  "-4.77836s9" },

{ "-6.887s-14", "-9.26s9",
  "9.26s9" },

{ "-2.643s-15", "-5.6812s9",
  "5.6812s9" },

{ "-8.498s-14", "-9.3728s9",
  "9.3728s9" },

{ "9.033s-14", "2.18002s9",
  "-2.18002s9" },

{ "3.113s-14", "-9.207s-14",
  "1.232s-13" },

{ "-3.239s-15", "-1.2957s-13",
  "1.26331s-13" },

{ "3.098s-15", "-6.117s-15",
  "9.2151s-15" },

{ "1.7706s-13", "4.829s-14",
  "1.2877s-13" },

{ "2.793s-15", "8.620s-14",
  "-8.3407s-14" },

{ "-5.019s-14", "4.125s-14",
  "-9.144s-14" },

{ "-9.495s-14", "-6.06994s18",
  "6.06994s18" },

{ "9.385s-14", "-7.9288s19",
  "7.9288s19" },

{ "-3.099s-14", "-6.64095s19",
  "6.64095s19" },

{ "3.397s-15", "2.92222s19",
  "-2.92222s19" },

{ "-8.463s-14", "-4.9708s19",
  "4.9708s19" },

{ "-2.735s-15", "-9.2672s19",
  "9.2672s19" },

{ "-2.974s-14", "-7.975s-24",
  "-2.974s-14" },

{ "-2.1853s-13", "2.736s-24",
  "-2.1853s-13" },

{ "3.243s-15", "-6.867s-24",
  "3.243s-15" },

{ "4.792s-14", "-2.659s-24",
  "4.792s-14" },

{ "4.672s-14", "7.831s-24",
  "4.672s-14" },

{ "2.0285s-13", "2.741s-24",
  "2.0285s-13" },

{ "-9.1884s19", "-0.22573s0",
  "-9.1884s19" },

{ "3.32245s19", "0.7651s0",
  "3.32245s19" },

{ "4.13513s17", "0.85135s0",
  "4.13513s17" },

{ "2.2249s19", "0.45778s0",
  "2.2249s19" },

{ "4.9103s19", "0.84862s0",
  "4.9103s19" },

{ "4.27386s19", "-0.06662s0",
  "4.27386s19" },

{ "-6.725s19", "5.11246s8",
  "-6.725s19" },

{ "-2.40906s19", "7.2238s9",
  "-2.40906s19" },

{ "6.1667s19", "-7.4303s9",
  "6.1667s19" },

{ "-7.746s19", "-4.29687s8",
  "-7.746s19" },

{ "-1.81419s19", "-5.68164s9",
  "-1.81419s19" },

{ "7.0665s19", "-8.9546s8",
  "7.0665s19" },

{ "2.47788s19", "-2.2961s-13",
  "2.47788s19" },

{ "-7.4962s19", "-3.378s-14",
  "-7.4962s19" },

{ "1.72135s19", "7.168s-14",
  "1.72135s19" },

{ "8.3699s19", "4.887s-14",
  "8.3699s19" },

{ "-4.5701s19", "-8.009s-14",
  "-4.5701s19" },

{ "-2.845s18", "1.1087s-13",
  "-2.845s18" },

{ "6.4084s19", "-4.569s19",
  "1.09774s20" },

{ "1.33888s19", "-6.8446s19",
  "8.1835s19" },

{ "-4.0631s19", "1.50864s19",
  "-5.57174s19" },

{ "-5.61754s18", "2.6413s18",
  "-8.2588s18" },

{ "-9.0749s19", "6.21626s19",
  "-1.5291s20" },

{ "-8.5269s19", "6.2002s19",
  "-1.47271s20" },

{ "3.15773s19", "5.433s-24",
  "3.15773s19" },

{ "5.1563s19", "-1.6366s-23",
  "5.1563s19" },

{ "-5.8449s19", "3.282s-24",
  "-5.8449s19" },

{ "4.70947s19", "1.5640s-23",
  "4.70947s19" },

{ "-4.32334s19", "-1.0593s-23",
  "-4.32334s19" },

{ "7.9621s19", "5.610s-24",
  "7.9621s19" },

{ "8.164s-24", "0.133362s0",
  "-0.133362s0" },

{ "-1.57089s-21", "0.3154s0",
  "-0.3154s0" },

{ "-3.736s-24", "-0.66536s0",
  "0.66536s0" },

{ "-6.923s-24", "-0.431366s0",
  "0.431366s0" },

{ "3.345s-24", "0.77436s0",
  "-0.77436s0" },

{ "-1.4322s-23", "0.799644s0",
  "-0.799644s0" },

{ "-1.3249s-23", "-4.22035s9",
  "4.22035s9" },

{ "2.707s-24", "-6.5029s9",
  "6.5029s9" },

{ "-3.490s-24", "-2.5205s9",
  "2.5205s9" },

{ "-1.0086s-23", "1.35048s9",
  "-1.35048s9" },

{ "1.4406s-23", "1.55487s9",
  "-1.55487s9" },

{ "3.370s-24", "-4.3973s9",
  "4.3973s9" },

{ "-1.31249s-21", "3.448s-14",
  "-3.448s-14" },

{ "-7.706s-24", "-1.9488s-13",
  "1.9488s-13" },

{ "-9.8403s-22", "2.2940s-13",
  "-2.294s-13" },

{ "-3.355s-24", "1.0187s-13",
  "-1.0187s-13" },

{ "9.5635s-22", "-8.663s-14",
  "8.663s-14" },

{ "-5.713s-24", "-3.169s-14",
  "3.169s-14" },

{ "2.645s-24", "-5.2307s19",
  "5.2307s19" },

{ "-9.960s-24", "-9.2854s19",
  "9.2854s19" },

{ "8.036s-24", "-7.11434s19",
  "7.11434s19" },

{ "3.475s-24", "-4.845s19",
  "4.845s19" },

{ "-3.062s-24", "4.91714s19",
  "-4.91714s19" },

{ "-2.541s-24", "-2.91276s19",
  "2.91276s19" },

{ "1.4371s-23", "1.1606s-23",
  "2.76508s-24" },

{ "-1.8769s-23", "2.965s-24",
  "-2.1734s-23" },

{ "3.713s-24", "-1.7581s-23",
  "2.1294s-23" },

{ "-5.954s-24", "-2.764s-24",
  "-3.19s-24" },

{ "3.21502s-22", "8.56s-24",
  "3.12942s-22" },

{ "9.969s-24", "5.912s-24",
  "4.057s-24" },

};