This file is indexed.

/usr/share/doc/dealer/Examples/Descr.junkstayman is in dealer 0.20040530-4.

This file is owned by root:root, with mode 0o644.

The actual contents of the file can be viewed below.

 1
 2
 3
 4
 5
 6
 7
 8
 9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
#junk stayman

east_notrump =
        shape(east, any 4333, any 4432, 2335, 3235, 3325, 2353, 3253, 3352)
        && hcp(east)>=12 && hcp(east)<=14

west_low = (hcp(west)<8)
x3=shape(west,4450)
d=diamonds(east)+diamonds(west)
h=hearts(east)+hearts(west)
s=spades(east)+spades(west)
m8=((s==8) or (h==8))


condition
        (east_notrump and west_low and x3)

generate
	1000000

action  average "4450,7d" ((d==7) and (not m8)),
        average "4450,8d" ((d>7) and (not m8)),
        average "4450,8M" m8,
        frequency (m8,0,1),
        frequency (d,0,13)