[settings]
relationwindow_zoom=5
dirwindow_childsize=199
randomfill_percent=7
evalwindow_maxhistorylength=50
maxhistorylength=50
xrvprog-orientation=0
precalculation=1
ring_bell=1
ask_for_confirmation=0
debug_information=0

[windows]
GtkWindow=left 451, top 413, width 250, height 73
windowEvalTerm=left 468, top 436, width 278, height 167, visible 1
windowDirectory=left 395, top 13, width 350, height 393, visible 1
windowGraph=left 759, top 397, width 373, height 396, visible 1
windowRelation=left 760, top 11, width 374, height 358, visible 1
windowRelview=left 11, top 5, width 367, height 122, visible 1
windowTests=left 174, top 156, width 280, height 300, visible 0
windowIteration=left 200, top 182, width 285, height 215, visible 0
windowRelationNew=left 0, top 0, width 240, height 135
windowMarkNodesEdges=left 473, top 330, width 273, height 127
Powersets=left 397, top 519, width 336, height 160, visible 0
windowInputString=left 331, top 260, width 250, height 92
Closures=left 248, top 391, width 249, height 133, visible 0
windowFilechooser=left 3, top 435, width 450, height 210, visible 1
windowInput2String=left 523, top 151, width 182, height 133
windowLabels=left 53, top 161, width 400, height 300, visible 0
windowDefFun=left 254, top 341, width 350, height 79, visible 0
windowOptions=left 15, top 224, width 335, height 264, visible 1
windowRelviewOps=left 9, top 155, width 247, height 338, visible 0
windowDefDom=left 7, top 295, width 300, height 160, visible 0

[fonts]
default=-adobe-helvetica-medium-r-normal-*-*-120-*-*-p-*-iso8859-1