(guest (name 1) (sex m) (hobby h2) )
(guest (name 1) (sex m) (hobby h1) )
(guest (name 1) (sex m) (hobby h3) )
(guest (name 2) (sex f) (hobby h2) )
(guest (name 2) (sex f) (hobby h1) )
(guest (name 2) (sex f) (hobby h3) )
(guest (name 3) (sex m) (hobby h3) )
(guest (name 3) (sex m) (hobby h2) )
(guest (name 4) (sex m) (hobby h3) )
(guest (name 4) (sex m) (hobby h2) )
(guest (name 4) (sex m) (hobby h1) )
(guest (name 5) (sex m) (hobby h2) )
(guest (name 5) (sex m) (hobby h1) )
(guest (name 5) (sex m) (hobby h3) )
(guest (name 6) (sex m) (hobby h2) )
(guest (name 6) (sex m) (hobby h3) )
(guest (name 6) (sex m) (hobby h1) )
(guest (name 7) (sex f) (hobby h1) )
(guest (name 7) (sex f) (hobby h2) )
(guest (name 7) (sex f) (hobby h3) )
(guest (name 8) (sex m) (hobby h3) )
(guest (name 8) (sex m) (hobby h1) )
(guest (name 9) (sex m) (hobby h2) )
(guest (name 9) (sex m) (hobby h3) )
(guest (name 9) (sex m) (hobby h1) )
(guest (name 10) (sex m) (hobby h3) )
(guest (name 10) (sex m) (hobby h2) )
(guest (name 10) (sex m) (hobby h1) )
(guest (name 11) (sex m) (hobby h1) )
(guest (name 11) (sex m) (hobby h3) )
(guest (name 11) (sex m) (hobby h2) )
(guest (name 12) (sex f) (hobby h3) )
(guest (name 12) (sex f) (hobby h1) )
(guest (name 12) (sex f) (hobby h2) )
(guest (name 13) (sex m) (hobby h2) )
(guest (name 13) (sex m) (hobby h3) )
(guest (name 14) (sex m) (hobby h1) )
(guest (name 14) (sex m) (hobby h2) )
(guest (name 15) (sex m) (hobby h2) )
(guest (name 15) (sex m) (hobby h3) )
(guest (name 15) (sex m) (hobby h1) )
(guest (name 16) (sex f) (hobby h2) )
(guest (name 16) (sex f) (hobby h3) )
(guest (name 17) (sex f) (hobby h3) )
(guest (name 17) (sex f) (hobby h2) )
(guest (name 18) (sex m) (hobby h1) )
(guest (name 18) (sex m) (hobby h3) )
(guest (name 18) (sex m) (hobby h2) )
(guest (name 19) (sex f) (hobby h3) )
(guest (name 19) (sex f) (hobby h1) )
(guest (name 20) (sex f) (hobby h1) )
(guest (name 20) (sex f) (hobby h3) )
(guest (name 20) (sex f) (hobby h2) )
(guest (name 21) (sex m) (hobby h2) )
(guest (name 21) (sex m) (hobby h3) )
(guest (name 22) (sex m) (hobby h2) )
(guest (name 22) (sex m) (hobby h3) )
(guest (name 23) (sex f) (hobby h1) )
(guest (name 23) (sex f) (hobby h2) )
(guest (name 24) (sex f) (hobby h3) )
(guest (name 24) (sex f) (hobby h1) )
(guest (name 24) (sex f) (hobby h2) )
(guest (name 25) (sex f) (hobby h3) )
(guest (name 25) (sex f) (hobby h1) )
(guest (name 25) (sex f) (hobby h2) )
(guest (name 26) (sex m) (hobby h2) )
(guest (name 26) (sex m) (hobby h1) )
(guest (name 26) (sex m) (hobby h3) )
(guest (name 27) (sex f) (hobby h2) )
(guest (name 27) (sex f) (hobby h3) )
(guest (name 27) (sex f) (hobby h1) )
(guest (name 28) (sex m) (hobby h1) )
(guest (name 28) (sex m) (hobby h2) )
(guest (name 29) (sex f) (hobby h2) )
(guest (name 29) (sex f) (hobby h3) )
(guest (name 29) (sex f) (hobby h1) )
(guest (name 30) (sex f) (hobby h2) )
(guest (name 30) (sex f) (hobby h1) )
(guest (name 30) (sex f) (hobby h3) )
(guest (name 31) (sex m) (hobby h1) )
(guest (name 31) (sex m) (hobby h2) )
(guest (name 31) (sex m) (hobby h3) )
(guest (name 32) (sex m) (hobby h1) )
(guest (name 32) (sex m) (hobby h2) )
(guest (name 33) (sex m) (hobby h2) )
(guest (name 33) (sex m) (hobby h3) )
(guest (name 33) (sex m) (hobby h1) )
(guest (name 34) (sex f) (hobby h2) )
(guest (name 34) (sex f) (hobby h1) )
(guest (name 34) (sex f) (hobby h3) )
(guest (name 35) (sex f) (hobby h2) )
(guest (name 35) (sex f) (hobby h3) )
(guest (name 36) (sex m) (hobby h2) )
(guest (name 36) (sex m) (hobby h1) )
(guest (name 37) (sex m) (hobby h2) )
(guest (name 37) (sex m) (hobby h1) )
(guest (name 38) (sex f) (hobby h1) )
(guest (name 38) (sex f) (hobby h3) )
(guest (name 38) (sex f) (hobby h2) )
(guest (name 39) (sex m) (hobby h3) )
(guest (name 39) (sex m) (hobby h1) )
(guest (name 39) (sex m) (hobby h2) )
(guest (name 40) (sex f) (hobby h1) )
(guest (name 40) (sex f) (hobby h2) )
(guest (name 40) (sex f) (hobby h3) )
(guest (name 41) (sex m) (hobby h2) )
(guest (name 41) (sex m) (hobby h1) )
(guest (name 41) (sex m) (hobby h3) )
(guest (name 42) (sex m) (hobby h3) )
(guest (name 42) (sex m) (hobby h1) )
(guest (name 43) (sex m) (hobby h1) )
(guest (name 43) (sex m) (hobby h3) )
(guest (name 43) (sex m) (hobby h2) )
(guest (name 44) (sex m) (hobby h3) )
(guest (name 44) (sex m) (hobby h1) )
(guest (name 44) (sex m) (hobby h2) )
(guest (name 45) (sex m) (hobby h1) )
(guest (name 45) (sex m) (hobby h2) )
(guest (name 46) (sex f) (hobby h1) )
(guest (name 46) (sex f) (hobby h2) )
(guest (name 46) (sex f) (hobby h3) )
(guest (name 47) (sex m) (hobby h1) )
(guest (name 47) (sex m) (hobby h2) )
(guest (name 48) (sex f) (hobby h3) )
(guest (name 48) (sex f) (hobby h2) )
(guest (name 49) (sex m) (hobby h3) )
(guest (name 49) (sex m) (hobby h2) )
(guest (name 50) (sex m) (hobby h2) )
(guest (name 50) (sex m) (hobby h3) )
(guest (name 51) (sex f) (hobby h2) )
(guest (name 51) (sex f) (hobby h1) )
(guest (name 51) (sex f) (hobby h3) )
(guest (name 52) (sex m) (hobby h1) )
(guest (name 52) (sex m) (hobby h2) )
(guest (name 52) (sex m) (hobby h3) )
(guest (name 53) (sex f) (hobby h2) )
(guest (name 53) (sex f) (hobby h1) )
(guest (name 54) (sex f) (hobby h1) )
(guest (name 54) (sex f) (hobby h2) )
(guest (name 54) (sex f) (hobby h3) )
(guest (name 55) (sex f) (hobby h1) )
(guest (name 55) (sex f) (hobby h2) )
(guest (name 55) (sex f) (hobby h3) )
(guest (name 56) (sex f) (hobby h2) )
(guest (name 56) (sex f) (hobby h1) )
(guest (name 56) (sex f) (hobby h3) )
(guest (name 57) (sex f) (hobby h3) )
(guest (name 57) (sex f) (hobby h2) )
(guest (name 57) (sex f) (hobby h1) )
(guest (name 58) (sex f) (hobby h3) )
(guest (name 58) (sex f) (hobby h1) )
(guest (name 58) (sex f) (hobby h2) )
(guest (name 59) (sex f) (hobby h1) )
(guest (name 59) (sex f) (hobby h2) )
(guest (name 59) (sex f) (hobby h3) )
(guest (name 60) (sex f) (hobby h3) )
(guest (name 60) (sex f) (hobby h1) )
(guest (name 61) (sex f) (hobby h3) )
(guest (name 61) (sex f) (hobby h2) )
(guest (name 62) (sex f) (hobby h1) )
(guest (name 62) (sex f) (hobby h2) )
(guest (name 62) (sex f) (hobby h3) )
(guest (name 63) (sex f) (hobby h3) )
(guest (name 63) (sex f) (hobby h1) )
(guest (name 63) (sex f) (hobby h2) )
(guest (name 64) (sex f) (hobby h3) )
(guest (name 64) (sex f) (hobby h2) )  
(last_seat (seat 64) )
(context (state start))