(guest (name 1) (sex m) (hobby h2))
(guest (name 1) (sex m) (hobby h3))
(guest (name 1) (sex m) (hobby h1))
(guest (name 1) (sex m) (hobby h4))
(guest (name 1) (sex m) (hobby h5))
(guest (name 2) (sex f) (hobby h3))
(guest (name 2) (sex f) (hobby h2))
(guest (name 2) (sex f) (hobby h1))
(guest (name 2) (sex f) (hobby h4))
(guest (name 2) (sex f) (hobby h5))
(guest (name 3) (sex f) (hobby h5))
(guest (name 3) (sex f) (hobby h4))
(guest (name 3) (sex f) (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 4) (sex m) (hobby h4))
(guest (name 5) (sex m) (hobby h2))
(guest (name 5) (sex m) (hobby h5))
(guest (name 5) (sex m) (hobby h3))
(guest (name 6) (sex f) (hobby h1))
(guest (name 6) (sex f) (hobby h4))
(guest (name 6) (sex f) (hobby h2))
(guest (name 6) (sex f) (hobby h5))
(guest (name 6) (sex f) (hobby h3))
(guest (name 7) (sex f) (hobby h1))
(guest (name 7) (sex f) (hobby h2))
(guest (name 7) (sex f) (hobby h3))
(guest (name 7) (sex f) (hobby h5))
(guest (name 8) (sex m) (hobby h3))
(guest (name 8) (sex m) (hobby h5))
(guest (name 9) (sex m) (hobby h3))
(guest (name 9) (sex m) (hobby h5))
(guest (name 9) (sex m) (hobby h2))
(guest (name 9) (sex m) (hobby h4))
(guest (name 10) (sex m) (hobby h2))
(guest (name 10) (sex m) (hobby h3))
(guest (name 10) (sex m) (hobby h4))
(guest (name 10) (sex m) (hobby h5))
(guest (name 10) (sex m) (hobby h1))
(guest (name 11) (sex m) (hobby h2))
(guest (name 11) (sex m) (hobby h4))
(guest (name 11) (sex m) (hobby h5))
(guest (name 11) (sex m) (hobby h1))
(guest (name 12) (sex f) (hobby h3))
(guest (name 12) (sex f) (hobby h5))
(guest (name 12) (sex f) (hobby h2))
(guest (name 13) (sex f) (hobby h5))
(guest (name 13) (sex f) (hobby h1))
(guest (name 14) (sex m) (hobby h3))
(guest (name 14) (sex m) (hobby h5))
(guest (name 14) (sex m) (hobby h1))
(guest (name 14) (sex m) (hobby h4))
(guest (name 15) (sex m) (hobby h5))
(guest (name 15) (sex m) (hobby h2))
(guest (name 15) (sex m) (hobby h1))
(guest (name 15) (sex m) (hobby h3))
(guest (name 15) (sex m) (hobby h4))
(guest (name 16) (sex m) (hobby h2))
(guest (name 16) (sex m) (hobby h5))
(guest (name 16) (sex m) (hobby h4))
(guest (name 17) (sex m) (hobby h4))
(guest (name 17) (sex m) (hobby h3))
(guest (name 18) (sex f) (hobby h2))
(guest (name 18) (sex f) (hobby h4))
(guest (name 18) (sex f) (hobby h5))
(guest (name 18) (sex f) (hobby h1))
(guest (name 19) (sex m) (hobby h5))
(guest (name 19) (sex m) (hobby h2))
(guest (name 20) (sex m) (hobby h2))
(guest (name 20) (sex m) (hobby h3))
(guest (name 21) (sex m) (hobby h4))
(guest (name 21) (sex m) (hobby h3))
(guest (name 21) (sex m) (hobby h2))
(guest (name 21) (sex m) (hobby h1))
(guest (name 22) (sex m) (hobby h1))
(guest (name 22) (sex m) (hobby h2))
(guest (name 22) (sex m) (hobby h4))
(guest (name 23) (sex f) (hobby h4))
(guest (name 23) (sex f) (hobby h5))
(guest (name 23) (sex f) (hobby h2))
(guest (name 24) (sex f) (hobby h4))
(guest (name 24) (sex f) (hobby h3))
(guest (name 24) (sex f) (hobby h2))
(guest (name 24) (sex f) (hobby h1))
(guest (name 24) (sex f) (hobby h5))
(guest (name 25) (sex m) (hobby h4))
(guest (name 25) (sex m) (hobby h5))
(guest (name 26) (sex m) (hobby h1))
(guest (name 26) (sex m) (hobby h2))
(guest (name 27) (sex m) (hobby h3))
(guest (name 27) (sex m) (hobby h5))
(guest (name 27) (sex m) (hobby h2))
(guest (name 28) (sex f) (hobby h4))
(guest (name 28) (sex f) (hobby h1))
(guest (name 28) (sex f) (hobby h3))
(guest (name 28) (sex f) (hobby h2))
(guest (name 28) (sex f) (hobby h5))
(guest (name 29) (sex f) (hobby h3))
(guest (name 29) (sex f) (hobby h5))
(guest (name 30) (sex m) (hobby h2))
(guest (name 30) (sex m) (hobby h1))
(guest (name 31) (sex m) (hobby h3))
(guest (name 31) (sex m) (hobby h1))
(guest (name 31) (sex m) (hobby h4))
(guest (name 32) (sex f) (hobby h2))
(guest (name 32) (sex f) (hobby h1))
(guest (name 32) (sex f) (hobby h5))
(guest (name 33) (sex f) (hobby h5))
(guest (name 33) (sex f) (hobby h4))
(guest (name 34) (sex m) (hobby h4))
(guest (name 34) (sex m) (hobby h5))
(guest (name 34) (sex m) (hobby h2))
(guest (name 35) (sex f) (hobby h3))
(guest (name 35) (sex f) (hobby h1))
(guest (name 35) (sex f) (hobby h4))
(guest (name 35) (sex f) (hobby h5))
(guest (name 35) (sex f) (hobby h2))
(guest (name 36) (sex m) (hobby h1))
(guest (name 36) (sex m) (hobby h4))
(guest (name 36) (sex m) (hobby h2))
(guest (name 36) (sex m) (hobby h3))
(guest (name 37) (sex f) (hobby h4))
(guest (name 37) (sex f) (hobby h2))
(guest (name 37) (sex f) (hobby h1))
(guest (name 38) (sex f) (hobby h3))
(guest (name 38) (sex f) (hobby h1))
(guest (name 38) (sex f) (hobby h2))
(guest (name 38) (sex f) (hobby h4))
(guest (name 39) (sex m) (hobby h5))
(guest (name 39) (sex m) (hobby h2))
(guest (name 40) (sex m) (hobby h2))
(guest (name 40) (sex m) (hobby h3))
(guest (name 41) (sex f) (hobby h5))
(guest (name 41) (sex f) (hobby h3))
(guest (name 42) (sex m) (hobby h5))
(guest (name 42) (sex m) (hobby h4))
(guest (name 43) (sex m) (hobby h3))
(guest (name 43) (sex m) (hobby h4))
(guest (name 43) (sex m) (hobby h5))
(guest (name 44) (sex f) (hobby h2))
(guest (name 44) (sex f) (hobby h4))
(guest (name 44) (sex f) (hobby h3))
(guest (name 44) (sex f) (hobby h1))
(guest (name 45) (sex m) (hobby h2))
(guest (name 45) (sex m) (hobby h4))
(guest (name 46) (sex m) (hobby h4))
(guest (name 46) (sex m) (hobby h1))
(guest (name 46) (sex m) (hobby h5))
(guest (name 47) (sex m) (hobby h2))
(guest (name 47) (sex m) (hobby h5))
(guest (name 47) (sex m) (hobby h4))
(guest (name 48) (sex f) (hobby h3))
(guest (name 48) (sex f) (hobby h1))
(guest (name 49) (sex m) (hobby h1))
(guest (name 49) (sex m) (hobby h5))
(guest (name 49) (sex m) (hobby h4))
(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 h4))
(guest (name 50) (sex m) (hobby h3))
(guest (name 51) (sex m) (hobby h1))
(guest (name 51) (sex m) (hobby h2))
(guest (name 51) (sex m) (hobby h5))
(guest (name 51) (sex m) (hobby h4))
(guest (name 52) (sex f) (hobby h5))
(guest (name 52) (sex f) (hobby h3))
(guest (name 52) (sex f) (hobby h1))
(guest (name 52) (sex f) (hobby h4))
(guest (name 53) (sex f) (hobby h5))
(guest (name 53) (sex f) (hobby h1))
(guest (name 53) (sex f) (hobby h4))
(guest (name 53) (sex f) (hobby h2))
(guest (name 53) (sex f) (hobby h3))
(guest (name 54) (sex f) (hobby h1))
(guest (name 54) (sex f) (hobby h3))
(guest (name 55) (sex m) (hobby h2))
(guest (name 55) (sex m) (hobby h4))
(guest (name 56) (sex m) (hobby h2))
(guest (name 56) (sex m) (hobby h3))
(guest (name 57) (sex f) (hobby h2))
(guest (name 57) (sex f) (hobby h1))
(guest (name 57) (sex f) (hobby h4))
(guest (name 58) (sex m) (hobby h5))
(guest (name 58) (sex m) (hobby h3))
(guest (name 58) (sex m) (hobby h2))
(guest (name 58) (sex m) (hobby h1))
(guest (name 58) (sex m) (hobby h4))
(guest (name 59) (sex f) (hobby h2))
(guest (name 59) (sex f) (hobby h3))
(guest (name 59) (sex f) (hobby h5))
(guest (name 60) (sex f) (hobby h4))
(guest (name 60) (sex f) (hobby h2))
(guest (name 60) (sex f) (hobby h3))
(guest (name 60) (sex f) (hobby h5))
(guest (name 61) (sex m) (hobby h1))
(guest (name 61) (sex m) (hobby h2))
(guest (name 61) (sex m) (hobby h4))
(guest (name 61) (sex m) (hobby h3))
(guest (name 62) (sex f) (hobby h3))
(guest (name 62) (sex f) (hobby h2))
(guest (name 62) (sex f) (hobby h5))
(guest (name 62) (sex f) (hobby h4))
(guest (name 62) (sex f) (hobby h1))
(guest (name 63) (sex f) (hobby h2))
(guest (name 63) (sex f) (hobby h3))
(guest (name 63) (sex f) (hobby h4))
(guest (name 63) (sex f) (hobby h1))
(guest (name 63) (sex f) (hobby h5))
(guest (name 64) (sex f) (hobby h2))
(guest (name 64) (sex f) (hobby h4))
(guest (name 64) (sex f) (hobby h1))
(guest (name 64) (sex f) (hobby h5))
(guest (name 64) (sex f) (hobby h3))
(guest (name 65) (sex m) (hobby h5))
(guest (name 65) (sex m) (hobby h3))
(guest (name 65) (sex m) (hobby h2))
(guest (name 65) (sex m) (hobby h1))
(guest (name 65) (sex m) (hobby h4))
(guest (name 66) (sex f) (hobby h5))
(guest (name 66) (sex f) (hobby h3))
(guest (name 66) (sex f) (hobby h4))
(guest (name 67) (sex f) (hobby h1))
(guest (name 67) (sex f) (hobby h4))
(guest (name 68) (sex m) (hobby h4))
(guest (name 68) (sex m) (hobby h2))
(guest (name 68) (sex m) (hobby h1))
(guest (name 68) (sex m) (hobby h5))
(guest (name 69) (sex m) (hobby h3))
(guest (name 69) (sex m) (hobby h4))
(guest (name 69) (sex m) (hobby h1))
(guest (name 70) (sex f) (hobby h3))
(guest (name 70) (sex f) (hobby h5))
(guest (name 70) (sex f) (hobby h1))
(guest (name 70) (sex f) (hobby h4))
(guest (name 70) (sex f) (hobby h2))
(guest (name 71) (sex m) (hobby h3))
(guest (name 71) (sex m) (hobby h1))
(guest (name 71) (sex m) (hobby h4))
(guest (name 72) (sex m) (hobby h4))
(guest (name 72) (sex m) (hobby h3))
(guest (name 72) (sex m) (hobby h1))
(guest (name 73) (sex f) (hobby h4))
(guest (name 73) (sex f) (hobby h1))
(guest (name 73) (sex f) (hobby h3))
(guest (name 74) (sex f) (hobby h1))
(guest (name 74) (sex f) (hobby h4))
(guest (name 74) (sex f) (hobby h2))
(guest (name 74) (sex f) (hobby h5))
(guest (name 74) (sex f) (hobby h3))
(guest (name 75) (sex f) (hobby h4))
(guest (name 75) (sex f) (hobby h2))
(guest (name 76) (sex f) (hobby h5))
(guest (name 76) (sex f) (hobby h4))
(guest (name 76) (sex f) (hobby h3))
(guest (name 76) (sex f) (hobby h2))
(guest (name 76) (sex f) (hobby h1))
(guest (name 77) (sex m) (hobby h1))
(guest (name 77) (sex m) (hobby h5))
(guest (name 78) (sex m) (hobby h5))
(guest (name 78) (sex m) (hobby h1))
(guest (name 79) (sex f) (hobby h1))
(guest (name 79) (sex f) (hobby h3))
(guest (name 79) (sex f) (hobby h4))
(guest (name 79) (sex f) (hobby h2))
(guest (name 79) (sex f) (hobby h5))
(guest (name 80) (sex m) (hobby h5))
(guest (name 80) (sex m) (hobby h1))
(guest (name 80) (sex m) (hobby h2))
(guest (name 80) (sex m) (hobby h4))
(guest (name 81) (sex m) (hobby h4))
(guest (name 81) (sex m) (hobby h1))
(guest (name 82) (sex m) (hobby h3))
(guest (name 82) (sex m) (hobby h4))
(guest (name 82) (sex m) (hobby h1))
(guest (name 82) (sex m) (hobby h2))
(guest (name 82) (sex m) (hobby h5))
(guest (name 83) (sex f) (hobby h1))
(guest (name 83) (sex f) (hobby h3))
(guest (name 83) (sex f) (hobby h4))
(guest (name 84) (sex m) (hobby h3))
(guest (name 84) (sex m) (hobby h4))
(guest (name 85) (sex f) (hobby h4))
(guest (name 85) (sex f) (hobby h1))
(guest (name 86) (sex m) (hobby h3))
(guest (name 86) (sex m) (hobby h4))
(guest (name 87) (sex m) (hobby h5))
(guest (name 87) (sex m) (hobby h4))
(guest (name 87) (sex m) (hobby h2))
(guest (name 87) (sex m) (hobby h3))
(guest (name 88) (sex m) (hobby h2))
(guest (name 88) (sex m) (hobby h5))
(guest (name 88) (sex m) (hobby h3))
(guest (name 88) (sex m) (hobby h1))
(guest (name 88) (sex m) (hobby h4))
(guest (name 89) (sex f) (hobby h5))
(guest (name 89) (sex f) (hobby h2))
(guest (name 89) (sex f) (hobby h4))
(guest (name 89) (sex f) (hobby h1))
(guest (name 90) (sex m) (hobby h2))
(guest (name 90) (sex m) (hobby h4))
(guest (name 90) (sex m) (hobby h5))
(guest (name 91) (sex f) (hobby h2))
(guest (name 91) (sex f) (hobby h3))
(guest (name 91) (sex f) (hobby h5))
(guest (name 91) (sex f) (hobby h1))
(guest (name 91) (sex f) (hobby h4))
(guest (name 92) (sex f) (hobby h3))
(guest (name 92) (sex f) (hobby h1))
(guest (name 92) (sex f) (hobby h2))
(guest (name 92) (sex f) (hobby h5))
(guest (name 93) (sex f) (hobby h3))
(guest (name 93) (sex f) (hobby h1))
(guest (name 93) (sex f) (hobby h2))
(guest (name 94) (sex f) (hobby h2))
(guest (name 94) (sex f) (hobby h5))
(guest (name 95) (sex f) (hobby h3))
(guest (name 95) (sex f) (hobby h4))
(guest (name 96) (sex m) (hobby h1))
(guest (name 96) (sex m) (hobby h4))
(guest (name 96) (sex m) (hobby h2))
(guest (name 96) (sex m) (hobby h5))
(guest (name 96) (sex m) (hobby h3))
(guest (name 97) (sex f) (hobby h4))
(guest (name 97) (sex f) (hobby h2))
(guest (name 97) (sex f) (hobby h5))
(guest (name 98) (sex m) (hobby h5))
(guest (name 98) (sex m) (hobby h4))
(guest (name 99) (sex f) (hobby h2))
(guest (name 99) (sex f) (hobby h5))
(guest (name 100) (sex m) (hobby h2))
(guest (name 100) (sex m) (hobby h3))
(guest (name 100) (sex m) (hobby h5))
(guest (name 100) (sex m) (hobby h4))
(guest (name 101) (sex f) (hobby h2))
(guest (name 101) (sex f) (hobby h1))
(guest (name 101) (sex f) (hobby h5))
(guest (name 101) (sex f) (hobby h3))
(guest (name 101) (sex f) (hobby h4))
(guest (name 102) (sex f) (hobby h2))
(guest (name 102) (sex f) (hobby h1))
(guest (name 102) (sex f) (hobby h5))
(guest (name 102) (sex f) (hobby h3))
(guest (name 102) (sex f) (hobby h4))
(guest (name 103) (sex m) (hobby h2))
(guest (name 103) (sex m) (hobby h1))
(guest (name 103) (sex m) (hobby h4))
(guest (name 103) (sex m) (hobby h3))
(guest (name 103) (sex m) (hobby h5))
(guest (name 104) (sex m) (hobby h5))
(guest (name 104) (sex m) (hobby h3))
(guest (name 104) (sex m) (hobby h4))
(guest (name 104) (sex m) (hobby h1))
(guest (name 104) (sex m) (hobby h2))
(guest (name 105) (sex f) (hobby h4))
(guest (name 105) (sex f) (hobby h2))
(guest (name 106) (sex f) (hobby h4))
(guest (name 106) (sex f) (hobby h5))
(guest (name 106) (sex f) (hobby h1))
(guest (name 107) (sex f) (hobby h3))
(guest (name 107) (sex f) (hobby h1))
(guest (name 107) (sex f) (hobby h2))
(guest (name 107) (sex f) (hobby h5))
(guest (name 107) (sex f) (hobby h4))
(guest (name 108) (sex f) (hobby h4))
(guest (name 108) (sex f) (hobby h5))
(guest (name 108) (sex f) (hobby h1))
(guest (name 108) (sex f) (hobby h2))
(guest (name 108) (sex f) (hobby h3))
(guest (name 109) (sex f) (hobby h1))
(guest (name 109) (sex f) (hobby h2))
(guest (name 110) (sex m) (hobby h5))
(guest (name 110) (sex m) (hobby h4))
(guest (name 110) (sex m) (hobby h1))
(guest (name 110) (sex m) (hobby h2))
(guest (name 111) (sex f) (hobby h3))
(guest (name 111) (sex f) (hobby h2))
(guest (name 112) (sex f) (hobby h4))
(guest (name 112) (sex f) (hobby h3))
(guest (name 112) (sex f) (hobby h5))
(guest (name 112) (sex f) (hobby h2))
(guest (name 112) (sex f) (hobby h1))
(guest (name 113) (sex f) (hobby h1))
(guest (name 113) (sex f) (hobby h3))
(guest (name 113) (sex f) (hobby h5))
(guest (name 113) (sex f) (hobby h2))
(guest (name 114) (sex m) (hobby h3))
(guest (name 114) (sex m) (hobby h2))
(guest (name 115) (sex m) (hobby h2))
(guest (name 115) (sex m) (hobby h1))
(guest (name 115) (sex m) (hobby h5))
(guest (name 115) (sex m) (hobby h4))
(guest (name 116) (sex m) (hobby h3))
(guest (name 116) (sex m) (hobby h4))
(guest (name 116) (sex m) (hobby h5))
(guest (name 116) (sex m) (hobby h1))
(guest (name 117) (sex f) (hobby h4))
(guest (name 117) (sex f) (hobby h5))
(guest (name 117) (sex f) (hobby h2))
(guest (name 118) (sex f) (hobby h2))
(guest (name 118) (sex f) (hobby h4))
(guest (name 118) (sex f) (hobby h3))
(guest (name 119) (sex m) (hobby h5))
(guest (name 119) (sex m) (hobby h3))
(guest (name 120) (sex m) (hobby h5))
(guest (name 120) (sex m) (hobby h1))
(guest (name 120) (sex m) (hobby h3))
(guest (name 120) (sex m) (hobby h2))
(guest (name 120) (sex m) (hobby h4))
(guest (name 121) (sex f) (hobby h4))
(guest (name 121) (sex f) (hobby h2))
(guest (name 121) (sex f) (hobby h3))
(guest (name 121) (sex f) (hobby h5))
(guest (name 122) (sex m) (hobby h1))
(guest (name 122) (sex m) (hobby h2))
(guest (name 122) (sex m) (hobby h5))
(guest (name 123) (sex m) (hobby h2))
(guest (name 123) (sex m) (hobby h3))
(guest (name 123) (sex m) (hobby h1))
(guest (name 123) (sex m) (hobby h5))
(guest (name 124) (sex f) (hobby h2))
(guest (name 124) (sex f) (hobby h3))
(guest (name 124) (sex f) (hobby h4))
(guest (name 125) (sex f) (hobby h3))
(guest (name 125) (sex f) (hobby h5))
(guest (name 125) (sex f) (hobby h2))
(guest (name 125) (sex f) (hobby h4))
(guest (name 126) (sex f) (hobby h2))
(guest (name 126) (sex f) (hobby h3))
(guest (name 126) (sex f) (hobby h1))
(guest (name 126) (sex f) (hobby h4))
(guest (name 127) (sex f) (hobby h5))
(guest (name 127) (sex f) (hobby h1))
(guest (name 128) (sex f) (hobby h2))
(guest (name 128) (sex f) (hobby h4))
(guest (name 128) (sex f) (hobby h1))
(guest (name 128) (sex f) (hobby h3))
(last_seat (seat 128))
(count (c 1))
(context (state start))