diff --git a/real/dom-lt/dom-lt.faststdout b/real/dom-lt/dom-lt.faststdout
new file mode 100644
index 0000000000000000000000000000000000000000..b415425876d2db3d6497bc24cf665a0b3319e09e
--- /dev/null
+++ b/real/dom-lt/dom-lt.faststdout
@@ -0,0 +1 @@
+133008
diff --git a/real/dom-lt/dom-lt.slowstdout b/real/dom-lt/dom-lt.slowstdout
new file mode 100644
index 0000000000000000000000000000000000000000..9d1b08cd7eebf3d879f5515d8d6d1dd08a28e423
--- /dev/null
+++ b/real/dom-lt/dom-lt.slowstdout
@@ -0,0 +1 @@
+83076683
diff --git a/real/dom-lt/dom-lt.stdout b/real/dom-lt/dom-lt.stdout
new file mode 100644
index 0000000000000000000000000000000000000000..d2d710c17ecaa8ad59b75fb53269ef7a3b56e1c4
--- /dev/null
+++ b/real/dom-lt/dom-lt.stdout
@@ -0,0 +1 @@
+2238783