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

static plus_test sfloat_plus_tests[] = {

{ "0.52019s0", "0.98203s0",
  "1.50223s0" },

{ "0.026268s0", "0.6137s0",
  "0.63997s0" },

{ "-0.338943s0", "0.450523s0",
  "0.11158s0" },

{ "-0.032799s0", "0.995186s0",
  "0.96239s0" },

{ "0.249222s0", "0.96463s0",
  "1.21385s0" },

{ "-0.46177s0", "-0.80114s0",
  "-1.26291s0" },

{ "-0.127754s0", "-1.88775s9",
  "-1.88775s9" },

{ "-0.65572s0", "-9.1112s9",
  "-9.1112s9" },

{ "-0.99359s0", "-7.6134s9",
  "-7.6134s9" },

{ "0.0169907s0", "-5.9027s9",
  "-5.9027s9" },

{ "0.77272s0", "-9.5384s9",
  "-9.5384s9" },

{ "-0.50671s0", "1.95366s9",
  "1.95366s9" },

{ "-0.281487s0", "-1.4109s-13",
  "-0.281487s0" },

{ "0.86259s0", "-1.8225s-13",
  "0.86259s0" },

{ "0.42874s0", "6.326s-14",
  "0.42874s0" },

{ "-0.53545s0", "3.607s-14",
  "-0.53545s0" },

{ "0.63671s0", "-4.723s-14",
  "0.63671s0" },

{ "0.34449s0", "-4.873s-14",
  "0.34449s0" },

{ "-0.480698s0", "3.03292s19",
  "3.03292s19" },

{ "0.85132s0", "-6.325s19",
  "-6.325s19" },

{ "-0.54742s0", "-2.83806s19",
  "-2.83806s19" },

{ "0.45269s0", "1.62964s19",
  "1.62964s19" },

{ "-0.5122s0", "-3.6148s18",
  "-3.6148s18" },

{ "0.192093s0", "5.3618s19",
  "5.3618s19" },

{ "-0.43486s0", "-8.918s-24",
  "-0.43486s0" },

{ "0.289955s0", "-5.911s-24",
  "0.289955s0" },

{ "0.274345s0", "-1.6779s-23",
  "0.274345s0" },

{ "0.392723s0", "-7.441s-24",
  "0.392723s0" },

{ "-0.62215s0", "3.521s-24",
  "-0.62215s0" },

{ "-0.5406s0", "-7.718s-24",
  "-0.5406s0" },

{ "6.5444s9", "-0.060898s0",
  "6.5444s9" },

{ "-8.541s9", "-0.181755s0",
  "-8.541s9" },

{ "3.02993s9", "0.694534s0",
  "3.02993s9" },

{ "9.3926s9", "-0.77226s0",
  "9.3926s9" },

{ "-6.4481s9", "0.252235s0",
  "-6.4481s9" },

{ "-1.1734s8", "0.94104s0",
  "-1.1734s8" },

{ "-5.1049s9", "1.28059s9",
  "-3.82435s9" },

{ "-7.39554s9", "8.9347s9",
  "1.53911s9" },

{ "3.11457s9", "1.71478s9",
  "4.82935s9" },

{ "-8.0461s9", "9.0508s9",
  "1.00467s9" },

{ "-8.58006s8", "-2.82289s7",
  "-8.86235s8" },

{ "1.82954s9", "-1.83914s9",
  "-9601000.0s0" },

{ "7.6292s9", "1.3988s-13",
  "7.6292s9" },

{ "-1.43837s9", "-2.482s-15",
  "-1.43837s9" },

{ "-6.4696s9", "-1.3269s-13",
  "-6.4696s9" },

{ "9.6744s9", "-3.132s-14",
  "9.6744s9" },

{ "-1.18927s9", "-1.9405s-13",
  "-1.18927s9" },

{ "-3.81462s9", "-8.602s-14",
  "-3.81462s9" },

{ "5.5761s9", "1.32286s19",
  "1.32286s19" },

{ "7.1631s9", "-9.3184s19",
  "-9.3184s19" },

{ "4.7921s9", "-5.8008s19",
  "-5.8008s19" },

{ "7.792s9", "9.7695s19",
  "9.7695s19" },

{ "8.9575s9", "7.0198s19",
  "7.0198s19" },

{ "4.4688s9", "7.2066s19",
  "7.2066s19" },

{ "8.9222s9", "-1.3243s-23",
  "8.9222s9" },

{ "-9.7717s9", "3.434s-24",
  "-9.7717s9" },

{ "-4.22478s9", "-7.938s-24",
  "-4.22478s9" },

{ "3.9261s8", "7.916s-24",
  "3.9261s8" },

{ "-3.239s9", "-8.986s-24",
  "-3.239s9" },

{ "-4.6268s9", "-1.0129s-23",
  "-4.6268s9" },

{ "1.1171s-13", "0.73372s0",
  "0.73372s0" },

{ "-3.575s-14", "0.94588s0",
  "0.94588s0" },

{ "3.176s-14", "-0.160759s0",
  "-0.160759s0" },

{ "5.055s-15", "-0.0258102s0",
  "-0.0258102s0" },

{ "6.371s-14", "0.480484s0",
  "0.480484s0" },

{ "-9.257s-14", "0.698975s0",
  "0.698975s0" },

{ "-1.0281s-13", "-9.4453s9",
  "-9.4453s9" },

{ "5.960s-14", "-1.71395s9",
  "-1.71395s9" },

{ "6.805s-14", "-5.8515s9",
  "-5.8515s9" },

{ "1.1645s-13", "7.4758s9",
  "7.4758s9" },

{ "-1.0064s-13", "-1.86868s9",
  "-1.86868s9" },

{ "8.912s-15", "-8.4908s9",
  "-8.4908s9" },

{ "4.036s-14", "3.308s-15",
  "4.3668s-14" },

{ "-2.503s-15", "-7.642s-14",
  "-7.8923s-14" },

{ "4.653s-14", "-4.612s-14",
  "4.10262s-16" },

{ "4.700s-14", "-8.456s-14",
  "-3.756s-14" },

{ "8.181s-14", "-4.658s-14",
  "3.52305s-14" },

{ "-1.5467s-13", "2.3608s-13",
  "8.1409s-14" },

{ "-4.341s-14", "-5.14576s19",
  "-5.14576s19" },

{ "-3.159s-14", "-9.4925s19",
  "-9.4925s19" },

{ "-7.325s-14", "3.49983s19",
  "3.49983s19" },

{ "4.134s-14", "7.07955s19",
  "7.07955s19" },

{ "4.080s-15", "-3.7832s19",
  "-3.7832s19" },

{ "1.1577s-13", "3.30522s19",
  "3.30522s19" },

{ "-6.838s-14", "2.739s-24",
  "-6.838s-14" },

{ "5.050s-14", "6.768s-24",
  "5.05s-14" },

{ "-1.9477s-13", "-6.657s-24",
  "-1.9477s-13" },

{ "-6.348s-14", "-5.222s-24",
  "-6.348s-14" },

{ "-8.770s-14", "-1.58234s-22",
  "-8.77s-14" },

{ "7.906s-14", "4.9202s-22",
  "7.906s-14" },

{ "3.7985s19", "0.8199s0",
  "3.7985s19" },

{ "9.891s19", "0.79037s0",
  "9.891s19" },

{ "-1.49583s19", "-0.360153s0",
  "-1.49583s19" },

{ "-7.36023s19", "0.8185s0",
  "-7.36023s19" },

{ "3.62075s19", "-0.364594s0",
  "3.62075s19" },

{ "8.0477s19", "-0.531815s0",
  "8.0477s19" },

{ "3.62182s19", "-7.2661s9",
  "3.62182s19" },

{ "-3.23868s19", "-9.6806s9",
  "-3.23868s19" },

{ "-6.08735s19", "2.89138s9",
  "-6.08735s19" },

{ "5.00175s19", "-6.3548s9",
  "5.00175s19" },

{ "2.82944s19", "4.7262s9",
  "2.82944s19" },

{ "4.6168s19", "-6.8772s9",
  "4.6168s19" },

{ "1.15555s19", "-3.786s-14",
  "1.15555s19" },

{ "8.1897s19", "-8.971s-14",
  "8.1897s19" },

{ "4.32734s19", "-4.794s-14",
  "4.32734s19" },

{ "-9.4559s19", "-1.9717s-13",
  "-9.4559s19" },

{ "-4.20726s19", "-8.657s-14",
  "-4.20726s19" },

{ "9.7697s19", "-3.376s-14",
  "9.7697s19" },

{ "6.09264s19", "-7.5608s18",
  "5.33654s19" },

{ "-5.2828s19", "6.8924s18",
  "-4.59356s19" },

{ "5.73685s19", "-1.4978s19",
  "4.23907s19" },

{ "-1.30897s19", "4.8593s19",
  "3.55036s19" },

{ "-8.5586s19", "-9.712s19",
  "-1.82707s20" },

{ "3.8772s19", "-8.6355s19",
  "-4.75833s19" },

{ "-1.03845s19", "6.88s-24",
  "-1.03845s19" },

{ "8.4716s19", "9.614s-24",
  "8.4716s19" },

{ "-4.3023s19", "-7.649s-24",
  "-4.3023s19" },

{ "5.9593s19", "-2.552s-24",
  "5.9593s19" },

{ "9.8934s19", "1.3093s-23",
  "9.8934s19" },

{ "-5.70567s19", "7.918s-24",
  "-5.70567s19" },

{ "-2.893s-24", "-0.93898s0",
  "-0.93898s0" },

{ "8.795s-24", "-0.030014s0",
  "-0.030014s0" },

{ "-9.366s-24", "0.200493s0",
  "0.200493s0" },

{ "-9.3102s-22", "-0.28704s0",
  "-0.28704s0" },

{ "7.142s-24", "-0.45701s0",
  "-0.45701s0" },

{ "9.420s-24", "0.957794s0",
  "0.957794s0" },

{ "2.975s-24", "-6.84104s9",
  "-6.84104s9" },

{ "2.26822s-22", "-8.9898s9",
  "-8.9898s9" },

{ "-1.531s-23", "8.1961s9",
  "8.1961s9" },

{ "1.7221s-23", "-1.53725s9",
  "-1.53725s9" },

{ "-9.488s-24", "-4.77676s8",
  "-4.77676s8" },

{ "-1.5077s-23", "2.8251s9",
  "2.8251s9" },

{ "3.410s-24", "-4.701s-14",
  "-4.701s-14" },

{ "-3.361s-24", "-4.947s-15",
  "-4.947s-15" },

{ "9.026s-24", "7.353s-14",
  "7.353s-14" },

{ "-6.385s-24", "7.789s-14",
  "7.789s-14" },

{ "1.8237s-23", "8.517s-14",
  "8.517s-14" },

{ "3.4439s-22", "-4.345s-14",
  "-4.345s-14" },

{ "-6.817s-24", "-9.8611s19",
  "-9.8611s19" },

{ "6.213s-24", "-2.7257s19",
  "-2.7257s19" },

{ "-1.9353s-23", "-2.71446s19",
  "-2.71446s19" },

{ "-3.653s-24", "-7.7565s19",
  "-7.7565s19" },

{ "1.2298s-23", "-1.56532s19",
  "-1.56532s19" },

{ "2.905s-24", "2.334s19",
  "2.334s19" },

{ "3.182s-24", "-5.727s-24",
  "-2.545s-24" },

{ "-1.0745s-23", "3.640s-24",
  "-7.1049s-24" },

{ "-9.7145s-22", "8.77s-24",
  "-9.6267s-22" },

{ "1.3734s-23", "3.225s-24",
  "1.69588s-23" },

{ "2.745s-24", "1.0505s-23",
  "1.325s-23" },

{ "2.780s-24", "2.747s-24",
  "5.527s-24" },

};