
=========================================================
ALLOY ANALYZER STATE DUMP AT Mon Feb 18 15:54:37 EST 2002
=========================================================

Alloy build date:  Mon Feb 11 11:53:36 EST 2002 


	at alloy.transl.TranslVisitor._visitQuantifiedVariable(TranslVisitor.java:356)
	at alloy.transl.TranslVisitor.visit(TranslVisitor.java:334)
	at alloy.ast.VariableExpr.acceptReturnVisitor(VariableExpr.java:68)
	at alloy.ast.TreeNode.applyReturnVisitor(TreeNode.java:294)
	at alloy.transl.TranslVisitor.visit(TranslVisitor.java:380)
	at alloy.ast.ElemFormula.acceptReturnVisitor(ElemFormula.java:99)
	at alloy.ast.TreeNode.applyReturnVisitor(TreeNode.java:294)
	at alloy.transl.TranslVisitor.visit(TranslVisitor.java:402)
	at alloy.ast.FormulaSeq.acceptReturnVisitor(FormulaSeq.java:63)
	at alloy.ast.TreeNode.applyReturnVisitor(TreeNode.java:294)
	at alloy.transl.TranslVisitor.visit(TranslVisitor.java:402)
	at alloy.ast.FormulaSeq.acceptReturnVisitor(FormulaSeq.java:63)
	at alloy.ast.TreeNode.applyReturnVisitor(TreeNode.java:294)
	at alloy.transl.TranslVisitor.visit(TranslVisitor.java:431)
	at alloy.ast.ImplicationFormula.acceptReturnVisitor(ImplicationFormula.java:99)
	at alloy.ast.TreeNode.applyReturnVisitor(TreeNode.java:294)
	at alloy.transl.TranslVisitor.visit(TranslVisitor.java:502)
	at alloy.ast.QuantifiedFormula.acceptReturnVisitor(QuantifiedFormula.java:150)
	at alloy.ast.TreeNode.applyReturnVisitor(TreeNode.java:294)
	at alloy.transl.TranslVisitor.visit(TranslVisitor.java:402)
	at alloy.ast.FormulaSeq.acceptReturnVisitor(FormulaSeq.java:63)
	at alloy.ast.TreeNode.applyReturnVisitor(TreeNode.java:294)
	at alloy.transl.TranslVisitor.visit(TranslVisitor.java:402)
	at alloy.ast.FormulaSeq.acceptReturnVisitor(FormulaSeq.java:63)
	at alloy.ast.TreeNode.applyReturnVisitor(TreeNode.java:294)
	at alloy.transl.TranslVisitor.visit(TranslVisitor.java:402)
	at alloy.ast.FormulaSeq.acceptReturnVisitor(FormulaSeq.java:63)
	at alloy.ast.TreeNode.applyReturnVisitor(TreeNode.java:294)
	at alloy.transl.TranslVisitor.translate(TranslVisitor.java:257)
	at alloy.api.AlloyRunner.translateCommand(AlloyRunner.java:395)
	at alloy.gui.AlloyGUI$9.construct(AlloyGUI.java:1196)
	at alloy.util.SwingWorker$2.run(SwingWorker.java:109)
	at java.lang.Thread.run(Unknown Source)

Message: Fatal error!

------------------------------------------------------------
Object: actionCommand
------------------------------------------------------------

Execute

------------------------------------------------------------
Object: curGUIState
------------------------------------------------------------

_enabledMenuItems=[] progressSpinning=false solveRunning=true

------------------------------------------------------------
Object: savedGUIState
------------------------------------------------------------

_enabledMenuItems=[javax.swing.JMenuItem[,1,45,139x21,disabled,alignmentX=null,alignmentY=null,border=javax.swing.plaf.metal.MetalBorders$MenuItemBorder@268fd8,flags=1056,maximumSize=,minimumSize=,preferredSize=,defaultIcon=,disabledIcon=,disabledSelectedIcon=,margin=javax.swing.plaf.InsetsUIResource[top=2,left=2,bottom=2,right=2],paintBorder=true,paintFocus=false,pressedIcon=,rolloverEnabled=false,rolloverIcon=,rolloverSelectedIcon=,selectedIcon=,text=Edit Instance], javax.swing.JMenuItem[,1,108,151x21,alignmentX=null,alignmentY=null,border=javax.swing.plaf.metal.MetalBorders$MenuItemBorder@268fd8,flags=1056,maximumSize=,minimumSize=,preferredSize=,defaultIcon=,disabledIcon=,disabledSelectedIcon=,margin=javax.swing.plaf.InsetsUIResource[top=2,left=2,bottom=2,right=2],paintBorder=true,paintFocus=false,pressedIcon=,rolloverEnabled=false,rolloverIcon=,rolloverSelectedIcon=,selectedIcon=,text=Save Copy As...], javax.swing.JMenuItem[,0,0,0x0,invalid,alignmentX=null,alignmentY=null,border=javax.swing.plaf.metal.MetalBorders$MenuItemBorder@268fd8,flags=1056,maximumSize=,minimumSize=,preferredSize=,defaultIcon=,disabledIcon=,disabledSelectedIcon=,margin=javax.swing.plaf.InsetsUIResource[top=2,left=2,bottom=2,right=2],paintBorder=true,paintFocus=false,pressedIcon=,rolloverEnabled=false,rolloverIcon=,rolloverSelectedIcon=,selectedIcon=,text=Change Tree Font], javax.swing.JMenuItem[,0,0,0x0,invalid,alignmentX=null,alignmentY=null,border=javax.swing.plaf.metal.MetalBorders$MenuItemBorder@268fd8,flags=1056,maximumSize=,minimumSize=,preferredSize=,defaultIcon=,disabledIcon=,disabledSelectedIcon=,margin=javax.swing.plaf.InsetsUIResource[top=2,left=2,bottom=2,right=2],paintBorder=true,paintFocus=false,pressedIcon=,rolloverEnabled=false,rolloverIcon=,rolloverSelectedIcon=,selectedIcon=,text=Change Tab Width], javax.swing.JMenuItem[,1,87,151x21,alignmentX=null,alignmentY=null,border=javax.swing.plaf.metal.MetalBorders$MenuItemBorder@268fd8,flags=1056,maximumSize=,minimumSize=,preferredSize=,defaultIcon=,disabledIcon=,disabledSelectedIcon=,margin=javax.swing.plaf.InsetsUIResource[top=2,left=2,bottom=2,right=2],paintBorder=true,paintFocus=false,pressedIcon=,rolloverEnabled=false,rolloverIcon=,rolloverSelectedIcon=,selectedIcon=,text=Save As...], javax.swing.JCheckBoxMenuItem[,0,0,0x0,invalid,alignmentX=null,alignmentY=null,border=javax.swing.plaf.metal.MetalBorders$MenuItemBorder@97617,flags=1056,maximumSize=,minimumSize=,preferredSize=,defaultIcon=,disabledIcon=,disabledSelectedIcon=,margin=javax.swing.plaf.InsetsUIResource[top=2,left=2,bottom=2,right=2],paintBorder=true,paintFocus=false,pressedIcon=,rolloverEnabled=false,rolloverIcon=,rolloverSelectedIcon=,selectedIcon=javax.swing.plaf.metal.MetalIconFactory$CheckBoxMenuItemIcon@2dd538,text=Remember Tree Modality], javax.swing.JMenuItem[,0,0,0x0,invalid,alignmentX=null,alignmentY=null,border=javax.swing.plaf.metal.MetalBorders$MenuItemBorder@268fd8,flags=1056,maximumSize=,minimumSize=,preferredSize=,defaultIcon=,disabledIcon=,disabledSelectedIcon=,margin=javax.swing.plaf.InsetsUIResource[top=2,left=2,bottom=2,right=2],paintBorder=true,paintFocus=false,pressedIcon=,rolloverEnabled=false,rolloverIcon=,rolloverSelectedIcon=,selectedIcon=,text=About...], javax.swing.JMenuItem[,0,0,0x0,invalid,alignmentX=null,alignmentY=null,border=javax.swing.plaf.metal.MetalBorders$MenuItemBorder@268fd8,flags=1056,maximumSize=,minimumSize=,preferredSize=,defaultIcon=,disabledIcon=,disabledSelectedIcon=,margin=javax.swing.plaf.InsetsUIResource[top=2,left=2,bottom=2,right=2],paintBorder=true,paintFocus=false,pressedIcon=,rolloverEnabled=false,rolloverIcon=,rolloverSelectedIcon=,selectedIcon=,text=Send model to developers...], javax.swing.JMenuItem[,1,45,151x21,alignmentX=null,alignmentY=null,border=javax.swing.plaf.metal.MetalBorders$MenuItemBorder@268fd8,flags=1568,maximumSize=,minimumSize=,preferredSize=,defaultIcon=,disabledIcon=,disabledSelectedIcon=,margin=javax.swing.plaf.InsetsUIResource[top=2,left=2,bottom=2,right=2],paintBorder=true,paintFocus=false,pressedIcon=,rolloverEnabled=false,rolloverIcon=,rolloverSelectedIcon=,selectedIcon=,text=Reload], javax.swing.JCheckBoxMenuItem[,0,0,0x0,invalid,alignmentX=null,alignmentY=null,border=javax.swing.plaf.metal.MetalBorders$MenuItemBorder@97617,flags=1056,maximumSize=,minimumSize=,preferredSize=,defaultIcon=,disabledIcon=,disabledSelectedIcon=,margin=javax.swing.plaf.InsetsUIResource[top=2,left=2,bottom=2,right=2],paintBorder=true,paintFocus=false,pressedIcon=,rolloverEnabled=false,rolloverIcon=,rolloverSelectedIcon=,selectedIcon=javax.swing.plaf.metal.MetalIconFactory$CheckBoxMenuItemIcon@2dd538,text=Print status messages], javax.swing.JMenuItem[,1,133,151x21,alignmentX=null,alignmentY=null,border=javax.swing.plaf.metal.MetalBorders$MenuItemBorder@268fd8,flags=1568,maximumSize=,minimumSize=,preferredSize=,defaultIcon=,disabledIcon=,disabledSelectedIcon=,margin=javax.swing.plaf.InsetsUIResource[top=2,left=2,bottom=2,right=2],paintBorder=true,paintFocus=false,pressedIcon=,rolloverEnabled=false,rolloverIcon=,rolloverSelectedIcon=,selectedIcon=,text=Quit], javax.swing.JMenuItem[,1,49,117x21,alignmentX=null,alignmentY=null,border=javax.swing.plaf.metal.MetalBorders$MenuItemBorder@268fd8,flags=1568,maximumSize=,minimumSize=,preferredSize=,defaultIcon=,disabledIcon=,disabledSelectedIcon=,margin=javax.swing.plaf.InsetsUIResource[top=2,left=2,bottom=2,right=2],paintBorder=true,paintFocus=false,pressedIcon=,rolloverEnabled=false,rolloverIcon=,rolloverSelectedIcon=,selectedIcon=,text=Cut], javax.swing.JMenuItem[,1,24,117x21,alignmentX=null,alignmentY=null,border=javax.swing.plaf.metal.MetalBorders$MenuItemBorder@268fd8,flags=1568,maximumSize=,minimumSize=,preferredSize=,defaultIcon=,disabledIcon=,disabledSelectedIcon=,margin=javax.swing.plaf.InsetsUIResource[top=2,left=2,bottom=2,right=2],paintBorder=true,paintFocus=false,pressedIcon=,rolloverEnabled=false,rolloverIcon=,rolloverSelectedIcon=,selectedIcon=,text=Redo], javax.swing.JMenuItem[,1,3,117x21,alignmentX=null,alignmentY=null,border=javax.swing.plaf.metal.MetalBorders$MenuItemBorder@268fd8,flags=1568,maximumSize=,minimumSize=,preferredSize=,defaultIcon=,disabledIcon=,disabledSelectedIcon=,margin=javax.swing.plaf.InsetsUIResource[top=2,left=2,bottom=2,right=2],paintBorder=true,paintFocus=false,pressedIcon=,rolloverEnabled=false,rolloverIcon=,rolloverSelectedIcon=,selectedIcon=,text=Undo], javax.swing.JMenuItem[,1,3,139x21,disabled,alignmentX=null,alignmentY=null,border=javax.swing.plaf.metal.MetalBorders$MenuItemBorder@268fd8,flags=1568,maximumSize=,minimumSize=,preferredSize=,defaultIcon=,disabledIcon=,disabledSelectedIcon=,margin=javax.swing.plaf.InsetsUIResource[top=2,left=2,bottom=2,right=2],paintBorder=true,paintFocus=false,pressedIcon=,rolloverEnabled=false,rolloverIcon=,rolloverSelectedIcon=,selectedIcon=,text=Build], javax.swing.JMenuItem[,1,24,139x21,disabled,alignmentX=null,alignmentY=null,border=javax.swing.plaf.metal.MetalBorders$MenuItemBorder@268fd8,flags=1568,maximumSize=,minimumSize=,preferredSize=,defaultIcon=,disabledIcon=,disabledSelectedIcon=,margin=javax.swing.plaf.InsetsUIResource[top=2,left=2,bottom=2,right=2],paintBorder=true,paintFocus=false,pressedIcon=,rolloverEnabled=false,rolloverIcon=,rolloverSelectedIcon=,selectedIcon=,text=Execute], javax.swing.JMenuItem[,1,137,117x21,alignmentX=null,alignmentY=null,border=javax.swing.plaf.metal.MetalBorders$MenuItemBorder@268fd8,flags=1056,maximumSize=,minimumSize=,preferredSize=,defaultIcon=,disabledIcon=,disabledSelectedIcon=,margin=javax.swing.plaf.InsetsUIResource[top=2,left=2,bottom=2,right=2],paintBorder=true,paintFocus=false,pressedIcon=,rolloverEnabled=false,rolloverIcon=,rolloverSelectedIcon=,selectedIcon=,text=Options...], javax.swing.JMenuItem[,1,66,151x21,alignmentX=null,alignmentY=null,border=javax.swing.plaf.metal.MetalBorders$MenuItemBorder@268fd8,flags=1568,maximumSize=,minimumSize=,preferredSize=,defaultIcon=,disabledIcon=,disabledSelectedIcon=,margin=javax.swing.plaf.InsetsUIResource[top=2,left=2,bottom=2,right=2],paintBorder=true,paintFocus=false,pressedIcon=,rolloverEnabled=false,rolloverIcon=,rolloverSelectedIcon=,selectedIcon=,text=Save], javax.swing.JMenuItem[,1,70,117x21,alignmentX=null,alignmentY=null,border=javax.swing.plaf.metal.MetalBorders$MenuItemBorder@268fd8,flags=1568,maximumSize=,minimumSize=,preferredSize=,defaultIcon=,disabledIcon=,disabledSelectedIcon=,margin=javax.swing.plaf.InsetsUIResource[top=2,left=2,bottom=2,right=2],paintBorder=true,paintFocus=false,pressedIcon=,rolloverEnabled=false,rolloverIcon=,rolloverSelectedIcon=,selectedIcon=,text=Copy], javax.swing.JMenuItem[,1,91,117x21,alignmentX=null,alignmentY=null,border=javax.swing.plaf.metal.MetalBorders$MenuItemBorder@268fd8,flags=1568,maximumSize=,minimumSize=,preferredSize=,defaultIcon=,disabledIcon=,disabledSelectedIcon=,margin=javax.swing.plaf.InsetsUIResource[top=2,left=2,bottom=2,right=2],paintBorder=true,paintFocus=false,pressedIcon=,rolloverEnabled=false,rolloverIcon=,rolloverSelectedIcon=,selectedIcon=,text=Paste], javax.swing.JCheckBoxMenuItem[,0,0,0x0,invalid,alignmentX=null,alignmentY=null,border=javax.swing.plaf.metal.MetalBorders$MenuItemBorder@97617,flags=1056,maximumSize=,minimumSize=,preferredSize=,defaultIcon=,disabledIcon=,disabledSelectedIcon=,margin=javax.swing.plaf.InsetsUIResource[top=2,left=2,bottom=2,right=2],paintBorder=true,paintFocus=false,pressedIcon=,rolloverEnabled=false,rolloverIcon=,rolloverSelectedIcon=,selectedIcon=javax.swing.plaf.metal.MetalIconFactory$CheckBoxMenuItemIcon@2dd538,text=Specify primary relations], javax.swing.JMenuItem[,0,0,0x0,invalid,alignmentX=null,alignmentY=null,border=javax.swing.plaf.metal.MetalBorders$MenuItemBorder@268fd8,flags=1056,maximumSize=,minimumSize=,preferredSize=,defaultIcon=,disabledIcon=,disabledSelectedIcon=,margin=javax.swing.plaf.InsetsUIResource[top=2,left=2,bottom=2,right=2],paintBorder=true,paintFocus=false,pressedIcon=,rolloverEnabled=false,rolloverIcon=,rolloverSelectedIcon=,selectedIcon=,text=Change Text Font], javax.swing.JMenuItem[,1,112,117x21,alignmentX=null,alignmentY=null,border=javax.swing.plaf.metal.MetalBorders$MenuItemBorder@268fd8,flags=1056,maximumSize=,minimumSize=,preferredSize=,defaultIcon=,disabledIcon=,disabledSelectedIcon=,margin=javax.swing.plaf.InsetsUIResource[top=2,left=2,bottom=2,right=2],paintBorder=true,paintFocus=false,pressedIcon=,rolloverEnabled=false,rolloverIcon=,rolloverSelectedIcon=,selectedIcon=,text=Delete], javax.swing.JRadioButtonMenuItem[,1,3,131x21,alignmentX=null,alignmentY=null,border=javax.swing.plaf.metal.MetalBorders$MenuItemBorder@719d6e,flags=1056,maximumSize=,minimumSize=,preferredSize=,defaultIcon=,disabledIcon=,disabledSelectedIcon=,margin=javax.swing.plaf.InsetsUIResource[top=2,left=2,bottom=2,right=2],paintBorder=true,paintFocus=false,pressedIcon=,rolloverEnabled=false,rolloverIcon=,rolloverSelectedIcon=,selectedIcon=javax.swing.plaf.metal.MetalIconFactory$RadioButtonMenuItemIcon@27f79d,text=run Show for 76 ], javax.swing.JMenuItem[,1,24,151x21,alignmentX=null,alignmentY=null,border=javax.swing.plaf.metal.MetalBorders$MenuItemBorder@268fd8,flags=1568,maximumSize=,minimumSize=,preferredSize=,defaultIcon=,disabledIcon=,disabledSelectedIcon=,margin=javax.swing.plaf.InsetsUIResource[top=2,left=2,bottom=2,right=2],paintBorder=true,paintFocus=false,pressedIcon=,rolloverEnabled=false,rolloverIcon=,rolloverSelectedIcon=,selectedIcon=,text=Open], javax.swing.JMenuItem[,1,3,151x21,alignmentX=null,alignmentY=null,border=javax.swing.plaf.metal.MetalBorders$MenuItemBorder@268fd8,flags=1568,maximumSize=,minimumSize=,preferredSize=,defaultIcon=,disabledIcon=,disabledSelectedIcon=,margin=javax.swing.plaf.InsetsUIResource[top=2,left=2,bottom=2,right=2],paintBorder=true,paintFocus=false,pressedIcon=,rolloverEnabled=false,rolloverIcon=,rolloverSelectedIcon=,selectedIcon=,text=New]] progressSpinning=false solveRunning=false


------------------------------------------------------------
File: C:\WINNT\Profiles\terpstra\Desktop\Alloy Stuff\samples\wellcommentedsamples\genealogy.als
------------------------------------------------------------

/*
Toy model of genealogical relationships
Daniel Jackson, 11/13/01

The purpose of this model is to introduce basic concepts in Alloy.
The signature Person introduces a set of persons; this is paritioned into
two subsets, Man and Woman. The subsignature Adam declares a set of men
with one element -- that is, a scalar. Similarly, Eve declares a single 
woman.

The Person signature declares two fields: a person has one or zero spouses
and a set of parents. 

The facts should be self-explanatory. Note that the constraint that 
spouse is a symmetric relation (that is, p is a spouse of q if q is a spouse
of p) is written by equating the field, viewed as a relation, to its
transpose. Since signatures have their own namespaces, and the same field
name can refer to different fields in different relations, it is necessary
to indicate which signature the field belongs to. This is not necessary when
dereferencing a field, because the appropriate field is automatically
determined by the type of the referencing expression.

The command has no solutions. Given only 5 persons, it's not possible
to have a couple distinct from Adam and Eve without incest. To understand
the model, try weakening the constraints by commenting lines out (just
put two hyphens at the start of a line) and rerunning the command.
*/

module genealogy
sig Person {spouse: option Person, parents: set Person}
part sig Man, Woman extends Person {}
static sig Eve extends Woman {}
static sig Adam extends Man {}

fact Biology {
	-- nobody is his or her own ancestor
	no p: Person | p in p.^parents
	}

fact Bible {
	-- every person except Adam and Eve has a mother and father
	all p: Person - (Adam + Eve) | one mother: Woman, father: Man |
		p.parents = mother + father
	-- Adam and Eve have no parents
	no (Adam + Eve).parents
	-- Adam's spouse is Eve
	Adam.spouse = Eve
	}

fact SocialNorms {
	-- nobody is his or her own spouse
	no p: Person | p.spouse = p
	-- spouse is symmetric
	Person$spouse = ~Person$spouse
	-- a man's spouse is a woman and vice versa
	Man.spouse in Woman && Woman.spouse in Man
	}

fact NoIncest {
	-- can't marry a sibling
	no p: Person | some p.spouse.parents & p.parents
	-- can't marry a parent
	no p: Person | some p.spouse & p.parents
	}

fun Show () {
	some p: Person - (Adam + Eve) | some p.spouse
	}
run Show for 76

	




#System properties
#Mon Feb 18 15:54:38 EST 2002
java.runtime.name=Java(TM) 2 Runtime Environment, Standard Edition
sun.boot.library.path=C\:\\Program Files\\JavaSoft\\JRE\\1.3.1\\bin
java.vm.version=1.3.1-b24
java.vm.vendor=Sun Microsystems Inc.
java.vendor.url=http\://java.sun.com/
path.separator=;
java.vm.name=Java HotSpot(TM) Client VM
file.encoding.pkg=sun.io
java.vm.specification.name=Java Virtual Machine Specification
user.dir=C\:\\WINNT\\Profiles\\terpstra\\Desktop\\Alloy Stuff
java.runtime.version=1.3.1-b24
java.awt.graphicsenv=sun.awt.Win32GraphicsEnvironment
os.arch=x86
java.io.tmpdir=C\:\\TEMP\\
line.separator=\r\n
java.vm.specification.vendor=Sun Microsystems Inc.
java.awt.fonts=
os.name=Windows NT
java.library.path=C\:\\Program Files\\JavaSoft\\JRE\\1.3.1\\bin;.;C\:\\WINNT\\System32;C\:\\WINNT;C\:\\Program Files\\JavaSoft\\JRE\\1.3.1\\bin;D\:\\PROGRA~1\\RATIONAL\\RATION~1\\NUTCROOT\\bin;D\:\\PROGRA~1\\RATIONAL\\RATION~1\\NUTCROOT\\bin\\x11;D\:\\PROGRA~1\\RATIONAL\\RATION~1\\NUTCROOT\\mksnt;C\:\\WINNT\\system32;C\:\\WINNT;d\:\\Program Files\\Rational\\common;d\:\\Program Files\\Rational\\ClearCase\\bin;d\:\\Program Files\\Rational\\Rose\\TopLink\\;d\:\\Program Files\\Rational\\Rational Test;d\:\\Program Files\\Rational\\ClearQuest;d\:\\Program Files\\Rational\\Coverage;d\:\\Program Files\\Rational\\Coverage\\cache;d\:\\Program Files\\Rational\\Rose RealTime\\bin\\win32;d\:\\Program Files\\Rational\\Rose RealTime\\bin\\win32;;D\:\\Program Files\\Microsoft Visual Studio\\Common\\Tools\\WinNT;D\:\\Program Files\\Microsoft Visual Studio\\Common\\MSDev98\\Bin;D\:\\Program Files\\Microsoft Visual Studio\\Common\\Tools;D\:\\Program Files\\Microsoft Visual Studio\\VC98\\bin;d\:\\BC5\\BIN;D\:\\Program Files\\SSH Communications Security\\SSH Secure Shell
java.specification.name=Java Platform API Specification
java.class.version=47.0
os.version=4.0
user.home=C\:\\WINNT\\Profiles\\terpstra
user.timezone=America/New_York
java.awt.printerjob=sun.awt.windows.WPrinterJob
file.encoding=Cp1252
java.specification.version=1.3
java.class.path=C\:\\WINNT\\Profiles\\terpstra\\Desktop\\ALLOYS~1\\alloy.jar
user.name=terpstra
java.vm.specification.version=1.0
java.home=C\:\\Program Files\\JavaSoft\\JRE\\1.3.1
user.language=en
java.specification.vendor=Sun Microsystems Inc.
awt.toolkit=sun.awt.windows.WToolkit
java.vm.info=mixed mode
java.version=1.3.1
java.ext.dirs=C\:\\Program Files\\JavaSoft\\JRE\\1.3.1\\lib\\ext
sun.boot.class.path=C\:\\Program Files\\JavaSoft\\JRE\\1.3.1\\lib\\rt.jar;C\:\\Program Files\\JavaSoft\\JRE\\1.3.1\\lib\\i18n.jar;C\:\\Program Files\\JavaSoft\\JRE\\1.3.1\\lib\\sunrsasign.jar;C\:\\Program Files\\JavaSoft\\JRE\\1.3.1\\classes
java.vendor=Sun Microsystems Inc.
file.separator=\\
java.vendor.url.bug=http\://java.sun.com/cgi-bin/bugreport.cgi
sun.io.unicode.encoding=UnicodeLittle
sun.cpu.endian=little
user.region=US
sun.cpu.isalist=pentium_pro+mmx pentium_pro pentium+mmx pentium i486 i386

Free memory: 1648248
Total memory: 21045248

Args passed on command-line: 
=========================================================


