Re: JESS: Jess Manners Benchmark with Java Implementation

James Owen jco Fri, 03 Sep 2004 04:30:45 -0700

Attached... I ran these quite some time ago for most rulebased Java engines.

Kochhar, Gaurav wrote:

Hi,
    I am trying to create a Benchmark for finalizing a Rule Engine in
our Company. We need rule engine for a J2EE based application. I already
ran the pumps application in Jess examples. As a standard Benchmark with
couple of other rule engines we chose Miss Manners.


Could you point me to a JAVA implementation of Miss Manners in Jess?

I did find a Miss Manners implementation using C but I need it for Java.

Thanks
Gaurav








-----Original Message-----
From: friedman_hill ernest j [mailto:[EMAIL PROTECTED]] 
Sent: Thursday, September 02, 2004 3:46 PM
To: Kochhar, Gaurav
Subject: Re: Welcome to jess-users


To post to the list, send mail to [EMAIL PROTECTED].


I think Kochhar, Gaurav wrote:

I just subscribed to the jess-mailing list.

How do I post a question on this mailing list??





-----Original Message-----
From: [EMAIL PROTECTED] [mailto:[EMAIL PROTECTED]] 
Sent: Thursday, September 02, 2004 2:54 PM
To: Kochhar, Gaurav
Subject: Welcome to jess-users

--

Welcome to the jess-users mailing list!

Please save this message for future reference.  Thank you.

If you ever want to remove yourself from this mailing list,
you can send mail to <[EMAIL PROTECTED]> with the following
command in the body of your email message:

    unsubscribe jess-users

or from another account, besides [EMAIL PROTECTED]:

    unsubscribe jess-users [EMAIL PROTECTED]

If you ever need to get in contact with the owner of the list,
(if you have trouble unsubscribing, or have questions about the
list itself) send email to <[EMAIL PROTECTED]> .
This is the general rule for most mailing lists when you need
to contact a human.

 Here's the general information for the list you've subscribed to,
 in case you don't already have it:

[Last updated on: Fri Nov  9  9:00:29 2001]
The jess-users list is for discussion of Jess, the rule engine for the
Java platform, from Sandia National Laboratories.




---------------------------------------------------------
Ernest Friedman-Hill  
Advanced Software Research          Phone: (925) 294-2154
Sandia National Labs                FAX:   (925) 294-2234
PO Box 969, MS 9012                 [EMAIL PROTECTED]
Livermore, CA 94550         http://herzberg.ca.sandia.gov



--------------------------------------------------------------------
To unsubscribe, send the words 'unsubscribe jess-users [EMAIL PROTECTED]'
in the BODY of a message to [EMAIL PROTECTED], NOT to the list
(use your own address!) List problems? Notify [EMAIL PROTECTED].
--------------------------------------------------------------------

-- 
------------
SDG 
jco

"Do No Evil.  
    Do Only Good Things.
        See the good in every one.
Always keep learning.
    Teach those who want to be taught.
        Avoid fools at all costs.
Harm No One,
    Except to Defend Yourself,
        Or to Defend Another.
Kill No One,
    Except to Keep From Being Killed,
        Or to Keep Another From Being Killed."

CafeBabe
1210151411101114

CLASSPATH=/home/ejfried/Jess61p5 java -server -XX:NewSize=16m -Xms32m -Xmx32m 
jess.Main manners.clp

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

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

Re: JESS: Jess Manners Benchmark with Java Implementation

Reply via email to