# Start time=Fri Apr 20 15:23:51 2007
# Level=0 Description=Allow +-/*()
# Lowest number=13
# Number of short form entries for number of 4s: 1=1 2=4 3=12 4=30 Total=47
# The format of the rest of this file is
# <number>:<short form>:#:<long form>
# The [short|long] form format is
# 	<number of fours>:<impurity_level>:<text>
# The short form is the lowest number of fours.
# The long form is the number written with four fours.
# 100 lowest numbers not found:
# 13 14 18 19 21 22 23 25 26 27
# 29 30 31 33 34 35 37 38 39 41
# 42 46 47 49 50 51 53 54 55 56
# 57 58 59 61 62 63 65 66 67 69
# 70 71 72 73 74 75 76 77 78 79
# 81 82 83 84 85 86 87 89 90 91
# 92 93 94 95 96 97 98 99 100 101
# 102 103 104 105 106 107 108 109 110 112
# 113 114 115 116 117 118 119 120 121 122
# 123 124 125 126 127 129 130 131 132 133
1:2:0:4/4:#:4:0:5-4:
2:3:0:8/4:#:4:0:4-2:
3:3:0:4-1:#:4:0:12/4:
4:1:0:4:#:4:0:((4-4)*4)+4:
5:3:0:4+1:#:4:0:20/4:
6:4:0:4+2:#:4:0:4+2:
7:4:0:11-4:#:4:0:11-4:
8:2:0:4+4:#:4:0:12-4:
9:4:0:4+5:#:4:0:4+5:
10:4:0:40/4:#:4:0:40/4:
11:3:0:44/4:#:::
12:3:0:4+8:#:4:0:48/4:
15:4:0:4+11:#:4:0:4+11:
16:2:0:4*4:#:4:0:4+12:
17:4:0:16+1:#:4:0:16+1:
20:3:0:4+16:#:4:0:4*5:
24:4:0:4+20:#:4:0:4+20:
28:4:0:32-4:#:4:0:32-4:
32:3:0:4*8:#:4:0:16+16:
36:4:0:40-4:#:4:0:40-4:
40:3:0:44-4:#:::
43:4:0:44-1:#:4:0:44-1:
44:2:0:44:#:4:0:48-4:
45:4:0:44+1:#:4:0:44+1:
48:3:0:4+44:#:4:0:4*12:
52:4:0:4+48:#:4:0:4+48:
60:4:0:64-4:#:4:0:64-4:
64:3:0:4*16:#:4:0:8*8:
68:4:0:4+64:#:4:0:4+64:
80:4:0:4*20:#:4:0:4*20:
88:4:0:44+44:#:4:0:44+44:
111:4:0:444/4:#:4:0:444/4:
128:4:0:4*32:#:4:0:4*32:
160:4:0:4*40:#:4:0:4*40:
172:4:0:176-4:#:4:0:176-4:
176:3:0:4*44:#:::
180:4:0:4+176:#:4:0:4+176:
192:4:0:4*48:#:4:0:4*48:
256:4:0:4*64:#:4:0:4*64:
352:4:0:44*8:#:4:0:44*8:
440:4:0:444-4:#:4:0:444-4:
444:3:0:444:#:::
448:4:0:4+444:#:4:0:4+444:
704:4:0:4*176:#:4:0:4*176:
1776:4:0:4*444:#:4:0:4*444:
1936:4:0:44*44:#:4:0:44*44:
4444:4:0:4444:#:4:0:4444: