[Question]
  [
# Description
Here's a very superstitious hotel elevator in Shanghai:
               [![enter image description here](https://i.stack.imgur.com/cqpmlm.jpg)](https://i.stack.imgur.com/cqpmlm.jpg)
It avoids the number 13, because thirteen is unlucky in the Western world, and it avoids the digit 4, because four is unlucky in parts of Asia. What if this hotel was taller?
Read a positive even integer `n` from STDIN, representing the number of floors, and print what the button layout would look like to STDOUT: `-1`, followed by the next `n-1` positive integers that aren't equal to 13 and don't contain digit 4. Arrange these numbers in two columns such as in the above image: print two floor numbers per line, separated by a horizontal tab, so that reading the lines in reverse order from left-to-right yields the sequence in ascending order. (You may optionally print a trailing newline character, too.)
# Test cases
For the input `14`, output should be as in the above image:
```
15  16
11  12
9   10
7   8
5   6
2   3
-1  1
```
where the whitespace in each line is a single horizontal tab character.
For the input `2`, you should print `-1 1`.
For the input `100`, you should print:
```
120 121
118 119
116 117
113 115
111 112
109 110
107 108
105 106
102 103
100 101
98  99
96  97
93  95
91  92
89  90
87  88
85  86
82  83
80  81
78  79
76  77
73  75
71  72
69  70
67  68
65  66
62  63
60  61
58  59
56  57
53  55
51  52
39  50
37  38
35  36
32  33
30  31
28  29
26  27
23  25
21  22
19  20
17  18
15  16
11  12
9   10
7   8
5   6
2   3
-1  1
```
# Goal
This is [code-golf](/questions/tagged/code-golf "show questions tagged 'code-golf'"). Shortest answer in bytes wins.
  
[Answer]
# Bash + common utils, 51
```
seq 9$1|sed 13d\;/4/d\;1i-1|rs 0 2|sed $[$1/2]q|tac
```
* `seq` generates ascending integers from 1 to N with an extra 9 digit in front - more than enough for 64bit integer input
* `sed` filters out the unlucky floors and inserts `-1` before line 1
* `rs` reshapes into two tab-separated columns
* `sed` stops after N/2 lines
* `tac` reverses output line order
[Answer]
# JavaScript ES6, ~~236~~ ~~234~~ ~~233~~ ~~210~~ ~~195~~ 188 bytes
Saved a whole bunch 'a bytes thanks to usandfriends!
Uses the `function*` for generators. Probably a shorter way to do this, but it was fun. *Way* fun. I'll bet some golfing can be done. Those weird whitespace things are tabs.
```
z=prompt(i=x=0,l=[]);y=(function*(){while(i<z-x)yield(i?(/4/.test(i)||i==13?--x&&".":i):-1)+(0*++i)})();while(a=y.next().value)+a&&l.push(a);l.join`    `.match(/-?\d+  \d+/g).reverse().join`
`
```
[Answer]
# Pyth, 27 bytes
```
jjLC9_c+_1.f&!@\4`ZnZ13tQ)2
```
[Try it online here](http://pyth.herokuapp.com/?code=jjLC9_c%2B_1.f%26%21%40%5C4%60ZnZ13tQ%292&input=100&debug=0).
Gets `.f`irst `Q-1` numbers that match the filter `!=13` and `4` isn't in the string representation of the number. Then it prepends `-1` , chops in half, joins each by tabs(`C9`) and joins by newlines.
[Answer]
# C, 282 Bytes
```
int main(int r,char*v[]){int c=atoi(v[1]),a[c],b,E=1E9,g,i,t,o=t=g=(E)-2;while(i++<c){while(t>0){r=t%10;t=t/10;if(r==4||g==(E)+13||g<=o||g==E)t=++g;}a[i-1]=o=t=g;}for(c-=3;c>=0;c-=2){printf("%d\t",a[c+1]-E);printf("%d\n",a[c+2]-E);}printf("%d\t",a[0]-E);if(i%2)printf("%d",a[1]-E);}
```
### Formatted :
```
int main ( int r , char * v[] ) {
    int c = atoi ( v[ 1 ] ) , a[c] , b , E = 1E9 , g , i , t , o = t = g = ( E ) - 2;
    while ( i ++ < c ) {
        while ( t > 0 ) {
            r = t % 10;
            t = t / 10;
            if ( r == 4 || g == ( E ) + 13 || g <= o || g == E )t = ++ g;
        }
        a[ i - 1 ] = o = t = g;
    }
    for ( c -= 3 ; c >= 0 ; c -= 2 ) {
        printf ( "%d\t" , a[ c + 1 ] - E );
        printf ( "%d\n" , a[ c + 2 ] - E );
    }
    printf ( "%d\t" , a[ 0 ] - E );
    if ( i % 2 )printf ( "%d" , a[ 1 ] - E );
}
```
**Features :**
It can compute up to 2095984 floors, if each floor is `19.5m` high (incl. ceiling) then this building is long enough to be wrapped around the equator! `2095984*19.5=40871688m=~40000km=one 'lap' around the planet`.
[Answer]
# Julia, ~~134~~ 132 bytes
```
x=[-1;filter(i->i!=13&&'4'∉"$i",1:2(n=parse(readline())))][1:n]
for i=2:2:endof(x) println(join((r=reverse)(r(x)[i-1:i]),"  "))end
```
That funny whitespace in there is a literal tab. As Conor O'Brien noted, this is a byte shorter than doing `\t`.
Ungolfed:
```
# Read an integer from STDIN
n = parse(readline())
# Generate all numbers from 1 to 2n, exclude 0, 13, and all numbers containing 4,
# prepend -1, then take the first n
x = [-1; filter(i -> i != 13 && '4' ∉ "$i", 1:2n)][1:n]
# Loop over pairs, print tab-separated
for i = 2:2:endof(x)
    println(join(reverse(reverse(x)[i-1:i]), "  "))
end
```
[Answer]
## Python 2, ~~120~~ 110 bytes
```
N=input()
n=['-1']+[`i`for i in range(N*2)if i!=13and'4'not in`i`][1:N]
while n:x=n.pop();print n.pop()+'\t'+x
```
[Answer]
# JavaScript, 116 ~~122~~
**Edit** Saved 6 bytes thx @Neil
Simple array solution - not even using ES6
Try with any browser
```
/* test */ console.log=function(x){ O.innerHTML+=x+'\n'; }
n=prompt();for(r=[-1],v=1;n;v++)v!=13&!/4/.test(v)&&--n&&r.push(v);for(;r[0];)console.log(a=r.pop(b=r.pop())+'\t'+b)
```
```
<pre id=O></pre>
```
[Answer]
# [Python 2](https://docs.python.org/2/), 94 bytes
```
n=input();c=-1;s=''
while n:
 if('4'in`c`)==0!=c!=13:n-=1;s=(n%2*'%d	%%d\n'+s)%c
 c+=1
print s
```
[Try it online!](https://tio.run/##FcrBCoMwDADQ8/oV9RDSKkLrPCn5kx2EqBgYWbGVsa@v7J1f@pXjo0OtSqLpKs7PTH2cMyGa7yHvzepkrOwORxRdePFEoSFuKD4n7elfncLQIqwPgPWl2GUPbCx3FE06RYvNtcYQbg "Python 2 – Try It Online")
There's a tab character in the string that SE doesn't render (thanks to Sp3000 for suggested to use it, saving a byte).
Tests floors `c` starting from floor `-1` until the quota `n` of floors is reached. For each floor, tests that it doesn't contain a `4` nor equals `0` or `13`. If so, prepends it to the elevator string `s` and decrements the quota `n`.
A trick with string formatting is used to get the two floors per column to appear in the proper order when prepended. Each new line is prepared as `'%d\t%%d\n'`, so that when two floors are substituted in order, the first is on the left and the second is on the right. For example,
```
('%d\t%%d\n'%2)%3 == ('2\t%d\n')%3 == '2\t3\n'  
```
[Answer]
# C#, 296 bytes
```
namespace System.Collections.Generic{using Linq;class X{static void Main(){var a=new List<int>();var b=new List<int>();for(int i=int.Parse(Console.ReadLine()),j=-2;i>0;)if(++j!=13&&j!=0&&!(j+"").Contains("4"))(i--%2<1?a:b).Insert(0,j);Console.Write(string.Join("\n",a.Zip(b,(x,y)=>x+"\t"+y)));}}}
```
Ungolfed:
```
namespace System.Collections.Generic
{
    using Linq;
    class X
    {
        static void Main()
        {
            var a = new List<int>();
            var b = new List<int>();
            for (int i = int.Parse(Console.ReadLine()), j = -2; i > 0;)
                if (++j != 13 && j != 0 && !(j + "").Contains("4"))
                    (i-- % 2 < 1 ? a : b).Insert(0, j);
            Console.Write(string.Join("\n", a.Zip(b, (x, y) => x + "\t" + y)));
        }
    }
}
```
Golfing tricks used:
* *i* (the running counter) and *j* (the current number under consideration) are decremented/incremented, respectively, inside the expression in the loop body instead of the for statement as is normal
* `j+""` instead of `j.ToString()`
* Place everything inside `namespace System.Collections.Generic` not only so that we can access `List<T>`, but also implicitly use the namespace `System` without further qualification
* Place the `using` inside the namespace so that we can write `using Linq;` instead of `using System.Linq;`
* `.Insert(0,j)` is shorter than using `.Add(j)` and later applying `.Reverse()`
It is unfortunate that the `using Linq;` is necessary, since it is needed only for `.Zip`, but writing it as `Linq.Enumerable.Zip()` is longer.
[Answer]
# Ruby 2.3, ~~84~~ 83 characters
(82 characters code + 1 characters command line option)
```
puts (["-1",*?1..?1+$_].grep_v(/^13$|4/)[0..$_.to_i]*?\t).scan(/\S+\t\d+/).reverse
```
Sample run:
```
bash-4.3$ ruby -ne 'puts (["-1",*?1..?1+$_].grep_v(/^13$|4/)[0..$_.to_i]*?\t).scan(/\S+\t\d+/).reverse' <<< '14'
15      16
11      12
9       10
7       8
5       6
2       3
-1      1
```
## Ruby, ~~93~~ 92 characters
(91 characters code + 1 character command line option)
```
puts ([-1,*1..2*n=$_.to_i].reject{|i|i==13||i.to_s[?4]}[0..n]*?\t).scan(/\S+\t\d+/).reverse
```
Sample run:
```
bash-4.3$ ruby -ne 'puts ([-1,*1..2*n=$_.to_i].reject{|i|i==13||i.to_s[?4]}[0..n]*?\t).scan(/\S+\t\d+/).reverse' <<< '14'
15      16
11      12
9       10
7       8
5       6
2       3
-1      1
```
[Answer]
# Lua, 169 Bytes
```
t={-1}i=1 repeat if(i..""):find("4")or i==13 then else table.insert(t,i)end i=i+1 until #t==arg[1] for i=#t%2==0 and#t-1 or#t,1,-2 do print(t[i],t[i+1]and t[i+1]or"")end
```
Fairly straight forward, we first assemble a table filled with all the button values. Then we iterate through it backwards, printing two values at a time, or nothing if the second value does not exist.
[Answer]
# Mathematica, 105 bytes
```
StringRiffle[Reverse[Select[Range[2#]-2,#!=13&&#!=0&&DigitCount[#,10,4]<1&][[;;#]]~Partition~2],"
","\t"]&
```
Replace the `\t` with an actual tab character.
[Answer]
# [Brachylog](https://github.com/JCumin/Brachylog), 105 bytes
```
,Ll?,Lbb:1{h_.|[L:I]hhH,I+1=J((13;J:Zm4),L:J:1&.;Lb:J:1&:[J]c.)}:[1:-1]c{_|hJ,?bhw,[9:J]:"~c~w
"w,?bb:2&}
```
Would have been a lot shorter with CLPFD support, here I have to iteratively try integers in the first sub-predicate.
The new line before `"w,?bb:2&}` is mandatory, this is the new line that is printed between every row.
[Answer]
## C#, 277 343
```
using System;using System.Collections.Generic;static void f(int v){List<int>a=new List<int>();List<int>b=new List<int>();int s=1;for(int i=-1;i<v-1;i++){if(i==13||i.ToString().Contains("4")||i==0){ v++;continue;}if(s==1){s=2;a.Add(i);}else{s=1;b.Add(i);}}a.Reverse();b.Reverse();int l=0;foreach(int y in a){Console.WriteLine(y+" "+b[l]);l++;}}
```
This is as a function only. I'm new to C#. Increase was to make valid for 40-49, and for including `using`s
Ungolfed, as a complete running program:
```
using System;
using System.Collections.Generic;
class P {
    static void Main()
    {
        List<int> a = new List<int>();
        List<int> b = new List<int>();
        int v = Int32.Parse(Console.ReadLine());
        int s = 1;
        for (int i = -1; i < v - 1; i++)
        {
            if (i == 13 || i.ToString().Contains("4") || i == 0)
            {
                v++;
                continue;
            }
            if (s == 1)
            {
                s = 2;
                a.Add(i);
            }
            else {
                s = 1;
                b.Add(i);
            }
        }
        a.Reverse();
        b.Reverse();
        int l = 0;
        foreach (int y in a)
        {
            Console.WriteLine(y + " " + b[l]);
            l++;
        }
        Console.ReadLine();
    }
}
```
Explained
I create two lists, and alternate between pushing to them, reverse them, loop through one, and grab the other by index.
[Answer]
## Python 3, 155 bytes
I think listifying, reversing, and self-zipping the floor-number generator `s()` may have been too clever for its own good, but others have already done the alternative (popping two items at a time), not to mention using Python 2 which saves bytes on some key points.
```
def s(m,n=-1):
 while m:
  if not(n in(0,13)or'4'in str(n)):yield n;m-=1
  n+=1
*f,=s(int(input()))
g=iter(f[::-1])
h=zip(g,g)
for a,b in h:print(b,'\t',a)
```
The shorter, but already-done-better alternative takes 140 bytes.
```
def s(m,n=-1):
 while m:
  if not(n in(0,13)or'4'in str(n)):yield n;m-=1
  n+=1
*f,=s(int(input()))
while f:a=f.pop();print(f.pop(),'\t',a)
```
[Answer]
# Japt, 42 bytes
```
JoU*2 k0 kD f@!Xs f4} ¯U ã f@Yv} w ®q'    } ·
```
The four spaces should be an actual tab char. [Try it online!](http://ethproductions.github.io/japt?v=master&code=Sm9VKjIgazAga0QgZkAhWHMgZjR9IK9VIOMgZkBZdn0gdyCucScJfSC3&input=MTQ=)
### How it works
```
          // Implicit: U = input integer, D = 13
JoU*2     // Create the range of integers [-1,U*2).
k0 kD     // Remove 0 and 13.
f@!Xs f4} // Filter out the items X where X.toString().match(/4/g) is not null, i.e. the numbers that contain a 4.
¯U ã      // Slice to the first U items, and generate all adjacent pairs of items.
f@Yv}     // Filter out the items where the index Y is odd. This discards every other pair.
w         // Reverse.
®q'\t}    // Join each item with tabs.
·         // Join the whole list with newlines.
          // Implicit: output last expression
```
[Answer]
# Lua, 141 bytes
```
n,s=1,'-1 1'function g()repeat n=n+1 until s.find(n,4)==z and n~=13 return n end for i=4,io.read(),2 do s=g()..' '..g().."\n"..s end print(s)
```
# Ungolfed
```
n,s = 1,'-1'1' --n is the current floor number, S is the string to be printed
function g() --This function raises n to the next valid floor
    repeat --Same as while loop except it runs the following block before checking the expression
        n = n + 1 --Self-explanatory, increases n by one
    until --Checks the expression, if it is true, it breaks out of the loop
        s.find(n,4) == z --[[Strings have a member :find(X) where it finds the position of
                             X in the string (X can also be a pattern). However, calling it 
                             by .find(S,X) executes find on S with argument X. I can't 
                             directly do n:find(4) because n is a number. This is a "hack" 
                             (sort of) to cut down some bytes. Also, if X is not a string,
                             lua tries to (in this case, succeeds) cast X to a
                             string and then look for it. I check if this is equal to z
                             because z is nil (because it is undefined), and find returns
                             nil if X is not found in S.
                             TL;DR: Checks if 4 is not the last digit.]]
        and n ~= 13 --Self-explanatory, checks if n is not 13
        return n --Self-explanatory, returns n
end
for i = 4, io.read(), 2 do --[[Start at floor 3 (shows 4 because we're going by target
                               floor, not by starting floor), continue until we reach
                               floor io.read() (io.read returns user input), increment by
                               2 floors per iteration)]]
    s = g() .. ' ' .. g() .. "\n" .. s --[[Prepend the next floor, a space, the next floor,
                               and a newline to s]]
end
print(s) --Self-explanatory, output the string
```
[Try it online](http://www.tutorialspoint.com/execute_lua_online.php?PID=0Bw_CjBb95KQMdlgwV2dEdFdIY0U) (you need to click 'execute' on the top and then click the terminal on the bottom before typing input; I'm looking for a better way to test lua online with stdin and stdout)
[Answer]
# [05AB1E](https://github.com/Adriandmen/05AB1E), ~~25~~ ~~23~~ 22 bytes
-1 byte thanks to @ASCII-only
```
·Ý<0K13Kʒ4å_}s£2ôR9çý»
```
[Try it online!](https://tio.run/##ASsA1P9vc2FiaWX//8K3w508MEsxM0vKkjTDpV99c8KjMsO0UjnDp8O9wrv//zE0)
## Explanation
```
                           # Implicit input: integer n
·Ý<                        # Push list [-1,0,1,...,2n-1]
   0K                      # Remove 0 from [-1,0,1,...,2n-1]
     13K                   # Remove 13 from [-1,1,...,2n-1]
        ʒ4å_}              # Filter out every number containing a 4 from the list
             s£            # Pick out the n first element in the list
               2ôR         # Splice list into parts of length 2
                  9çý      # Join with tab character (ascii value 9)
                     »     # Join with newlines
```
[Answer]
## C++11, 259 258 203 202 195 194 bytes
Slashed off 1 byte, thanks to Conor O'Brien's idea to use literal tab instead of `\t`.
UPD 2: slashed off 55 bytes with improved logic and comma abuse.
UPD 3: another byte off thanks to ceilingcat.
UPD 4: 7 bytes off courtesy of ceilingcat.
UPD 5: and another byte off by ceilingcat.
Happy to have all includes in place AND still beat the C and C# solutions.
```
#include<iostream>
#include<string>
int main(){std::string o="-1    1",c,b;int n,i=2,s=2;for(std::cin>>n;s<n;o=i==14|~c.find(52)?o:(++s&1?b=c,"":b+'    '+c+'\n')+o)c=std::to_string(i++);std::cout<<o;}
```
Ungolfed:
```
#include <iostream>
#include <string>
int main()
{
    std::string o = "-1 1", c, b;
    int n, i = 2, s = 2;
    for (std::cin >> n;
         s < n;
         o = i == 14 | ~c.find(52) ? o : (++s & 1 ? b = c, "" : b + '   ' + c + '\n') + o
    )
        c = std::to_string(i++);
    std::cout << o;
}
```
[Answer]
# Java, 333 Bytes
```
import java.util.*;interface E{static void main(String[]a){byte i=-1;Stack<Byte>s=new Stack<>();while(s.size()<Byte.valueOf(a[0])){if(i==13|i==0|String.valueOf(i).contains("4")){i++;continue;}s.add(i);i++;}if(s.size()%2!=0){System.out.println(s.pop());}while(!s.isEmpty()){int r=s.pop();int l=s.pop();System.out.println(l+"\t"+r);}}}
```
Adds allowed floor numbers to a stack then pops them back off to print them.
I played around using an IntStream, but with all the imports this one ended up being smaller.
[Answer]
**Scala 147**
```
val n=io.StdIn.readInt;(-1 to 4*n).filter(i=>i!=0&&i!=13&&(!(i+"").contains(52))).take(n).reverse.grouped(2).toList.map{i=>println(i(1)+"\t"+i(0))}
```
[Answer]
# Python 3, 117 Bytes
```
n=int(input())
l=[-1]+[i for i in range(n*2)if(i!=13)*(not'4'in str(i))][1:n]
while l:x=l.pop();print(l.pop(),'\t',x)
```
Modified version of the python 2 post to fit the python 3 specification.
[Answer]
# PowerShell, 106 ~~107~~ bytes
```
$c=,-1+$(while($i+1-lt"$args"){if(++$c-notmatch'^13$|4'){$c;++$i}})
while($c){$a,$b,$c=$c;$s="$a    $b
$s"}$s
```
# Ungolfed
```
# Calculate floors:
$c=,-1 # Array with one element
  +
  $( # Result of subexpression
    while($i+1-lt"$args"){ # Uninitialized $i is 0, +1 ensures loop start from 1
      if(
        ++$c-match'^13$|4' # Expression increments uninitialized $c (i.e. start from 1)
                           # and matches resulting number to regex.
      ){
        $c;++$i # Return $c and increment $i counter 
      }
    }
  )
# Print floors:
while($c){ # Loop until no more elements in $c
  $a,$b,$c=$c # Use PS's multiple assignment feature
              # $a - first element of $c array
              # $b - second element of $c array
              # $c - the rest of elements of $c array
  $s="$a    $b
$s" # Create string with tabs and newlines,
    # literal characters are used
}
$s # Output resulting string
```
# Example
```
PS > .\Elevator.ps1 14
15  16
11  12
9   10
7   8
5   6
2   3
-1  1
```
[Answer]
## Haskell 202 bytes
```
t=(-1):[x|x<-[1..],x/=13,all (/='4')(show x)]
by2 []=[[]]
by2 [a]=[[a]]
by2 [a,b]=[[a,b]]
by2 (a:b:xs)=[a,b]:(by2 xs)
main=do
 n<-getLine
 putStr$unlines$map unwords$by2$map show$reverse$take(read n) t
```
I’am haskell beginner… 
* first create the infinite list of values. (t list)
* function by2 group a list into sublists of 2 elements.
* main take the value.
	+ take value elements of *t* list
	+ reverse the list to have greaters elements first
	+ map show function to convert int list to string list
	+ group element 2 by 2 with by2 function
	+ We have a list like [ ["4", "5"], ["6", "7"] ] transformed like [ "4 5", "6 7"] with *unwords* function mapped on list
	+ unlines the list (each element of the list separate by '\n')
	+ finish with putStrLn to write string on terminal.
[Answer]
# Javascript ES6 114 bytes
```
n=>[...Array(n)].map(_=>{while(/^13$|4|^0/.test(++i));return i;},i=-2).join`    `.match(/-?\d+  \d+/g).reverse().join`\n`
```
Usage
```
f=n=>[...Array(n)].map(_=>{while(/^13$|4|^0/.test(++i));return i;},i=-2).join`  `.match(/-?\d+  \d+/g).reverse().join`\n`
```
f(100);
[Answer]
# [Perl 6](http://perl6.org/), 73 bytes
```
{.join("    ").say for (-1,|grep {$_-13&!/4/},1..Inf)[^$_].rotor(2).reverse}
```
Assumes an even number of floors, since the problem statement seems to assume it as well and at least one other provided solution breaks for odd numbers of floors. Just add `,:partial` as a second argument to `rotor`, for nine more bytes, to support odd numbers of floors.
[Answer]
# [Jelly](https://github.com/DennisMitchell/jelly), 20 [bytes](https://github.com/DennisMitchell/jelly/wiki/Code-page)
```
ḟ13D_4Ȧµ#o-s2Ṛj€9Ọ¤Y
```
**[Try it online!](https://tio.run/##ASsA1P9qZWxsef//4bifMTNEXzTIpsK1I28tczLhuZpq4oKsOeG7jMKkWf//MTAw "Jelly – Try It Online")**
### How?
```
ḟ13D_4Ȧµ#o-s2Ṛj€9Ọ¤Y - Main Link: no arguments
        #            - start at n=0 and collect the first INPUT values which are truthy under:
       µ             -   the monad (i.e. f(n)):        e.g.:    0      3      4      13     42        813
ḟ13                  -     filter out thirteens                 [0]    [3]    [4]    []     [42]      [813]
   D                 -     convert to decimal lists             [[0]]  [[3]]  [[4]]  []     [[4,2]]   [[8,1,3]]
    _4               -     subtract four (vectorises)           [[-4]] [[-1]] [[0]]  []     [[0,-2]]  [[4,-3,-1]
      Ȧ              -     any & all?                           1      1      0      0      0         1
         o-          - logical OR with -1 (replace floor 0 with floor -1)
           s2        - split into twos
             Ṛ       - reverse
                  ¤  - nilad followed by link(s) as a nilad:
                9    -   literal nine
                 Ọ   -   to character (a tab)
              j€     - join €ach
                   Y - join with newlines
                     - implicit print
```
[Answer]
# JavaScript (ES6), ~~151~~ 146
```
alert([for(a of Array((n=+prompt(i=0))*2).keys())if((i+=t=/4/.test(a)||a==13,!t&&a<n+i))a].reduce((a,b,j,r)=>j%2-1?(b||-1)+`  ${r[j+1]}
`+a:a,''))
```
Did this before I realized edc65 had already made a shorter one. Oh well!
[Answer]
# [R](https://www.r-project.org/), 106 bytes
```
n=scan();x=-1:n^2;x=x[-grep(4,x)][-14][-2][n:1];cat(paste0(matrix(x,2,n/2)[2:1,],c("	","\n"),collapse=""))
```
[Try it online!](https://tio.run/##DcZBCgMhDADAc7@RUwKRVvHk4kusBREphW0q6iG/t3sZZuwtcdYiSIdGY4O83BVN5j1aR89KORnrL1xOEmw@alnYy1ztgd@yxkdR2bHcHSUXLGeuCDdgeAoQ1995lj5bBCDa1u8/ "R – Try It Online")
Explanation: it starts with the vector of floors from \$-1\$ to \$n^2\$, which is more than enough in all my tests. Should that ever be insufficient, we could switch to \$n^3\$ or \$n^9\$. It then removes the unlucky floor numbers (as well as floor 0), converts to a 2-row matrix form and inverts the rows to get the numbers in correct order, then outputs in the desired format, recycling the vector `c("\t","\n")`. As [suggested](https://codegolf.stackexchange.com/a/68869/86301) by Conor O'Brien, use a literal tab instead of `\t` for -1 byte.
```
n=scan();                                        # read number of floors n
x=-1:n^2;                                        # initial vector of numbers
x=x[-grep(4,x)]                                  # remove floors with a 4
               [-14]                             # remove floor 13
                    [-2]                         # remove floor 0
                        [n:1];                   # keep lowest n remaining floors, highest to lowest
cat(paste0( 
  matrix(x,2,n/2)                                # split vector of floors into 2 rows
                 [2:1,],                         # take row 2 then row 1
                        c("   ","\n"),           # separate integers with alternating tabs and newlines (uses recycling)
                                    collapse=""))
```
[Answer]
# [APL (Dyalog)](https://www.dyalog.com/), 34 bytes
```
{⊖(⍵÷2)2⍴o/⍨~'4'∊¨⍕¨o←13~⍨¯1,⍳⍵×⍵}
```
[Try it online!](https://tio.run/##SyzI0U2pTMzJT///P@1R24TqR13TNB71bj283UjT6FHvlnz9R70r6tRN1B91dB1a8ah36qEV@UBlhsZ1QPFD6w11HvVuBimfDiRqgUYoGHGpa6tzpSkYmsEYBgYA "APL (Dyalog Unicode) – Try It Online")
]