wm state . withdrawn [TCL_OK]
toplevel .guid3d [TCL_OK]
.guid3d configure -background "SystemButtonFace" [TCL_ERROR]
Result : unknown color name "SystemButtonFace"
label .guid3d.guid5b [TCL_OK]
.guid3d.guid5b configure -anchor "w" [TCL_OK]
.guid3d.guid5b configure -background "SystemButtonFace" [TCL_ERROR]
Result : unknown color name "SystemButtonFace"
.guid3d.guid5b configure -state "normal" [TCL_OK]
.guid3d.guid5b configure -text "FC-min" [TCL_OK]
label .guid3d.guid79 [TCL_OK]
.guid3d.guid79 configure -anchor "w" [TCL_OK]
.guid3d.guid79 configure -background "SystemButtonFace" [TCL_ERROR]
Result : unknown color name "SystemButtonFace"
.guid3d.guid79 configure -state "normal" [TCL_OK]
.guid3d.guid79 configure -text "CD-search ratio n (0-100)" [TCL_OK]
spinbox .guid3d.guid97 [TCL_OK]
.guid3d.guid97 configure -background "SystemWindow" [TCL_ERROR]
Result : unknown color name "SystemWindow"
.guid3d.guid97 configure -increment "1.000000" [TCL_OK]
.guid3d.guid97 configure -state "normal" [TCL_OK]
.guid3d.guid97 configure -textvariable "guid98" [TCL_OK]
.guid3d.guid97 configure -to "100.000000" [TCL_OK]
.guid3d.guid97 configure -values {} [TCL_OK]
.guid3d.guid97 configure -wrap "0" [TCL_OK]
label .guid3d.guidb6 [TCL_OK]
.guid3d.guidb6 configure -anchor "w" [TCL_OK]
.guid3d.guidb6 configure -background "SystemButtonFace" [TCL_ERROR]
Result : unknown color name "SystemButtonFace"
.guid3d.guidb6 configure -state "normal" [TCL_OK]
.guid3d.guidb6 configure -text "Depth Factor" [TCL_OK]
spinbox .guid3d.guidd4 [TCL_OK]
.guid3d.guidd4 configure -background "SystemWindow" [TCL_ERROR]
Result : unknown color name "SystemWindow"
.guid3d.guidd4 configure -increment "1.000000" [TCL_OK]
.guid3d.guidd4 configure -state "normal" [TCL_OK]
.guid3d.guidd4 configure -textvariable "guidd5" [TCL_OK]
.guid3d.guidd4 configure -to "100000000.000000" [TCL_OK]
.guid3d.guidd4 configure -values {} [TCL_OK]
.guid3d.guidd4 configure -wrap "0" [TCL_OK]
label .guid3d.guidf3 [TCL_OK]
.guid3d.guidf3 configure -anchor "w" [TCL_OK]
.guid3d.guidf3 configure -background "SystemButtonFace" [TCL_ERROR]
Result : unknown color name "SystemButtonFace"
.guid3d.guidf3 configure -state "normal" [TCL_OK]
.guid3d.guidf3 configure -text "Direction :" [TCL_OK]
radiobutton .guid3d.guid111 [TCL_OK]
.guid3d.guid111 configure -anchor "w" [TCL_OK]
.guid3d.guid111 configure -background "SystemButtonFace" [TCL_ERROR]
Result : unknown color name "SystemButtonFace"
.guid3d.guid111 configure -state "normal" [TCL_OK]
.guid3d.guid111 configure -text "1:n" [TCL_OK]
.guid3d.guid111 configure -value "guid111" [TCL_OK]
.guid3d.guid111 configure -variable "guid391" [TCL_OK]
.guid3d.guid111 select [TCL_OK]
radiobutton .guid3d.guid12f [TCL_OK]
.guid3d.guid12f configure -background "SystemButtonFace" [TCL_ERROR]
Result : unknown color name "SystemButtonFace"
.guid3d.guid12f configure -state "normal" [TCL_OK]
.guid3d.guid12f configure -text "n:1" [TCL_OK]
.guid3d.guid12f configure -value "guid12f" [TCL_OK]
.guid3d.guid12f configure -variable "guid391" [TCL_OK]
label .guid3d.guid14d [TCL_OK]
.guid3d.guid14d configure -anchor "w" [TCL_OK]
.guid3d.guid14d configure -background "SystemButtonFace" [TCL_ERROR]
Result : unknown color name "SystemButtonFace"
.guid3d.guid14d configure -state "normal" [TCL_OK]
.guid3d.guid14d configure -text "CD-search mutations ratio (0-100)" [TCL_OK]
spinbox .guid3d.guid16b [TCL_OK]
.guid3d.guid16b configure -background "SystemWindow" [TCL_ERROR]
Result : unknown color name "SystemWindow"
.guid3d.guid16b configure -state "normal" [TCL_OK]
.guid3d.guid16b configure -textvariable "guid16c" [TCL_OK]
.guid3d.guid16b configure -to "100.000000" [TCL_OK]
.guid3d.guid16b configure -wrap "0" [TCL_OK]
label .guid3d.guid18a [TCL_OK]
.guid3d.guid18a configure -anchor "w" [TCL_OK]
.guid3d.guid18a configure -background "SystemButtonFace" [TCL_ERROR]
Result : unknown color name "SystemButtonFace"
.guid3d.guid18a configure -state "normal" [TCL_OK]
.guid3d.guid18a configure -text "Reduction mutations ratio (0-100)" [TCL_OK]
spinbox .guid3d.guid1a8 [TCL_OK]
.guid3d.guid1a8 configure -background "SystemWindow" [TCL_ERROR]
Result : unknown color name "SystemWindow"
.guid3d.guid1a8 configure -from "0.000000" [TCL_OK]
.guid3d.guid1a8 configure -increment "1.000000" [TCL_OK]
.guid3d.guid1a8 configure -state "normal" [TCL_OK]
.guid3d.guid1a8 configure -textvariable "guid1a9" [TCL_OK]
.guid3d.guid1a8 configure -to "100.000000" [TCL_OK]
.guid3d.guid1a8 configure -values {} [TCL_OK]
.guid3d.guid1a8 configure -wrap "0" [TCL_OK]
label .guid3d.guid1c7 [TCL_OK]
.guid3d.guid1c7 configure -anchor "w" [TCL_OK]
.guid3d.guid1c7 configure -background "SystemButtonFace" [TCL_ERROR]
Result : unknown color name "SystemButtonFace"
.guid3d.guid1c7 configure -state "normal" [TCL_OK]
.guid3d.guid1c7 configure -text "Implicant expansion type" [TCL_OK]
spinbox .guid3d.guid1e5 [TCL_OK]
.guid3d.guid1e5 configure -background "SystemWindow" [TCL_ERROR]
Result : unknown color name "SystemWindow"
.guid3d.guid1e5 configure -state "readonly" [TCL_OK]
.guid3d.guid1e5 configure -textvariable "guid1e6" [TCL_OK]
.guid3d.guid1e5 configure -values {{Sequential search} {Distributed multiple IE} {Distributed exhaustive IE} {Multiple IE} {Exhaustive IE} } [TCL_OK]
.guid3d.guid1e5 configure -wrap "1" [TCL_OK]
label .guid3d.guid204 [TCL_OK]
.guid3d.guid204 configure -anchor "w" [TCL_OK]
.guid3d.guid204 configure -background "SystemButtonFace" [TCL_ERROR]
Result : unknown color name "SystemButtonFace"
.guid3d.guid204 configure -state "normal" [TCL_OK]
.guid3d.guid204 configure -text "Input file:" [TCL_OK]
entry .guid3d.guid222 [TCL_OK]
.guid3d.guid222 configure -background "SystemWindow" [TCL_ERROR]
Result : unknown color name "SystemWindow"
.guid3d.guid222 configure -state "normal" [TCL_OK]
.guid3d.guid222 configure -textvariable "guid223" [TCL_OK]
button .guid3d.guid241 [TCL_OK]
.guid3d.guid241 configure -background "SystemButtonFace" [TCL_ERROR]
Result : unknown color name "SystemButtonFace"
.guid3d.guid241 configure -state "normal" [TCL_OK]
.guid3d.guid241 configure -text "..." [TCL_OK]
label .guid3d.guid25f [TCL_OK]
.guid3d.guid25f configure -anchor "w" [TCL_OK]
.guid3d.guid25f configure -background "SystemButtonFace" [TCL_ERROR]
Result : unknown color name "SystemButtonFace"
.guid3d.guid25f configure -state "normal" [TCL_OK]
.guid3d.guid25f configure -text "Output file:" [TCL_OK]
entry .guid3d.guid27d [TCL_OK]
.guid3d.guid27d configure -background "SystemWindow" [TCL_ERROR]
Result : unknown color name "SystemWindow"
.guid3d.guid27d configure -state "normal" [TCL_OK]
.guid3d.guid27d configure -textvariable "guid27e" [TCL_OK]
button .guid3d.guid29c [TCL_OK]
.guid3d.guid29c configure -background "SystemButtonFace" [TCL_ERROR]
Result : unknown color name "SystemButtonFace"
.guid3d.guid29c configure -state "normal" [TCL_OK]
.guid3d.guid29c configure -text "..." [TCL_OK]
button .guid3d.guid2ba [TCL_OK]
.guid3d.guid2ba configure -background "SystemButtonFace" [TCL_ERROR]
Result : unknown color name "SystemButtonFace"
.guid3d.guid2ba configure -state "normal" [TCL_OK]
.guid3d.guid2ba configure -text "OK" [TCL_OK]
label .guid3d.guid2d8 [TCL_OK]
.guid3d.guid2d8 configure -anchor "w" [TCL_OK]
.guid3d.guid2d8 configure -background "SystemButtonFace" [TCL_ERROR]
Result : unknown color name "SystemButtonFace"
.guid3d.guid2d8 configure -state "normal" [TCL_OK]
.guid3d.guid2d8 configure -text "Covering problem solution algorithm" [TCL_OK]
spinbox .guid3d.guid2f6 [TCL_OK]
.guid3d.guid2f6 configure -background "SystemWindow" [TCL_ERROR]
Result : unknown color name "SystemWindow"
.guid3d.guid2f6 configure -state "readonly" [TCL_OK]
.guid3d.guid2f6 configure -textvariable "guid2f7" [TCL_OK]
.guid3d.guid2f6 configure -values {{LCMC} {Contributive selection} {Contributive removal} {Exact cover} } [TCL_OK]
.guid3d.guid2f6 configure -wrap "1" [TCL_OK]
label .guid3d.guid315 [TCL_OK]
.guid3d.guid315 configure -anchor "w" [TCL_OK]
.guid3d.guid315 configure -background "SystemButtonFace" [TCL_ERROR]
Result : unknown color name "SystemButtonFace"
.guid3d.guid315 configure -state "normal" [TCL_OK]
.guid3d.guid315 configure -text "Stop after" [TCL_OK]
spinbox .guid3d.guid333 [TCL_OK]
.guid3d.guid333 configure -background "SystemWindow" [TCL_ERROR]
Result : unknown color name "SystemWindow"
.guid3d.guid333 configure -increment "1.000000" [TCL_OK]
.guid3d.guid333 configure -state "normal" [TCL_OK]
.guid3d.guid333 configure -textvariable "guid334" [TCL_OK]
.guid3d.guid333 configure -to "1410065408.000000" [TCL_OK]
.guid3d.guid333 configure -values {} [TCL_OK]
.guid3d.guid333 configure -wrap "0" [TCL_OK]
spinbox .guid3d.guid352 [TCL_OK]
.guid3d.guid352 configure -background "SystemWindow" [TCL_ERROR]
Result : unknown color name "SystemWindow"
.guid3d.guid352 configure -state "readonly" [TCL_OK]
.guid3d.guid352 configure -textvariable "guid353" [TCL_OK]
.guid3d.guid352 configure -to "0.000000" [TCL_OK]
.guid3d.guid352 configure -values {{seconds} {iterations} {equal to stopping interval} {meet quality of solution} } [TCL_OK]
.guid3d.guid352 configure -wrap "1" [TCL_OK]
label .guid3d.guid371 [TCL_OK]
.guid3d.guid371 configure -anchor "w" [TCL_OK]
.guid3d.guid371 configure -background "SystemButtonFace" [TCL_ERROR]
Result : unknown color name "SystemButtonFace"
.guid3d.guid371 configure -state "normal" [TCL_OK]
.guid3d.guid371 configure -text "Optimalization criterion" [TCL_OK]
spinbox .guid3d.guid38f [TCL_OK]
.guid3d.guid38f configure -background "SystemWindow" [TCL_ERROR]
Result : unknown color name "SystemWindow"
.guid3d.guid38f configure -state "readonly" [TCL_OK]
.guid3d.guid38f configure -textvariable "guid390" [TCL_OK]
.guid3d.guid38f configure -values {{terms} {literals} {output cost} {literals + output cost} {number of gates} {number of gate equivalents} } [TCL_OK]
.guid3d.guid38f configure -wrap "1" [TCL_OK]
place .guid3d.guid5b -in .guid3d -x 4.000000 -y 24.000000 -width 64.000000 -height 24.000000 [TCL_OK]
place .guid3d.guid79 -in .guid3d -x 4.000000 -y 48.000000 -width 140.000000 -height 24.000000 [TCL_OK]
place .guid3d.guid97 -in .guid3d -x 179.000000 -y 48.000000 -width 48.000000 -height 24.000000 [TCL_OK]
place .guid3d.guidb6 -in .guid3d -x 4.000000 -y 72.000000 -width 140.000000 -height 24.000000 [TCL_OK]
place .guid3d.guidd4 -in .guid3d -x 179.000000 -y 72.000000 -width 48.000000 -height 24.000000 [TCL_OK]
place .guid3d.guidf3 -in .guid3d -x 230.000000 -y 72.000000 -width 64.000000 -height 24.000000 [TCL_OK]
place .guid3d.guid111 -in .guid3d -x 300.000000 -y 72.000000 -width 64.000000 -height 24.000000 [TCL_OK]
place .guid3d.guid12f -in .guid3d -x 350.000000 -y 72.000000 -width 64.000000 -height 24.000000 [TCL_OK]
place .guid3d.guid14d -in .guid3d -x 4.000000 -y 96.000000 -width 164.000000 -height 24.000000 [TCL_OK]
place .guid3d.guid16b -in .guid3d -x 179.000000 -y 96.000000 -width 48.000000 -height 24.000000 [TCL_OK]
place .guid3d.guid18a -in .guid3d -x 4.000000 -y 120.000000 -width 164.000000 -height 24.000000 [TCL_OK]
place .guid3d.guid1a8 -in .guid3d -x 179.000000 -y 120.000000 -width 48.000000 -height 24.000000 [TCL_OK]
place .guid3d.guid1c7 -in .guid3d -x 4.000000 -y 144.000000 -width 164.000000 -height 24.000000 [TCL_OK]
place .guid3d.guid1e5 -in .guid3d -x 179.000000 -y 144.000000 -width 150.000000 -height 24.000000 [TCL_OK]
place .guid3d.guid204 -in .guid3d -x 4.000000 -y 300.000000 -width 64.000000 -height 24.000000 [TCL_OK]
place .guid3d.guid222 -in .guid3d -x 169.000000 -y 300.000000 -width 150.000000 -height 24.000000 [TCL_OK]
place .guid3d.guid241 -in .guid3d -x 324.000000 -y 300.000000 -width 24.000000 -height 24.000000 [TCL_OK]
place .guid3d.guid25f -in .guid3d -x 4.000000 -y 324.000000 -width 64.000000 -height 24.000000 [TCL_OK]
place .guid3d.guid27d -in .guid3d -x 169.000000 -y 324.000000 -width 150.000000 -height 24.000000 [TCL_OK]
place .guid3d.guid29c -in .guid3d -x 324.000000 -y 324.000000 -width 24.000000 -height 24.000000 [TCL_OK]
place .guid3d.guid2ba -in .guid3d -x 169.000000 -y 375.000000 -width 128.000000 -height 24.000000 [TCL_OK]
place .guid3d.guid2d8 -in .guid3d -x 4.000000 -y 168.000000 -width 174.000000 -height 24.000000 [TCL_OK]
place .guid3d.guid2f6 -in .guid3d -x 179.000000 -y 169.000000 -width 150.000000 -height 24.000000 [TCL_OK]
place .guid3d.guid315 -in .guid3d -x 4.000000 -y 192.000000 -width 64.000000 -height 24.000000 [TCL_OK]
place .guid3d.guid333 -in .guid3d -x 179.000000 -y 192.000000 -width 48.000000 -height 24.000000 [TCL_OK]
place .guid3d.guid352 -in .guid3d -x 230.000000 -y 192.000000 -width 160.000000 -height 24.000000 [TCL_OK]
place .guid3d.guid371 -in .guid3d -x 4.000000 -y 216.000000 -width 164.000000 -height 24.000000 [TCL_OK]
place .guid3d.guid38f -in .guid3d -x 179.000000 -y 216.000000 -width 150.000000 -height 24.000000 [TCL_OK]
wm geometry .guid3d 431x437+478+389 [TCL_OK]
wm state .guid3d withdrawn [TCL_OK]
wm title .guid3d "boom" [TCL_OK]
place .guid3d.guid5b -in .guid3d -x 4.000000 -y 24.000000 -width 64.000000 -height 24.000000 [TCL_OK]
place .guid3d.guid79 -in .guid3d -x 4.000000 -y 48.000000 -width 140.000000 -height 24.000000 [TCL_OK]
place .guid3d.guid97 -in .guid3d -x 179.000000 -y 48.000000 -width 48.000000 -height 24.000000 [TCL_OK]
place .guid3d.guidb6 -in .guid3d -x 4.000000 -y 72.000000 -width 140.000000 -height 24.000000 [TCL_OK]
place .guid3d.guidd4 -in .guid3d -x 179.000000 -y 72.000000 -width 48.000000 -height 24.000000 [TCL_OK]
place .guid3d.guidf3 -in .guid3d -x 230.000000 -y 72.000000 -width 64.000000 -height 24.000000 [TCL_OK]
place .guid3d.guid111 -in .guid3d -x 300.000000 -y 72.000000 -width 64.000000 -height 24.000000 [TCL_OK]
place .guid3d.guid12f -in .guid3d -x 350.000000 -y 72.000000 -width 64.000000 -height 24.000000 [TCL_OK]
place .guid3d.guid14d -in .guid3d -x 4.000000 -y 96.000000 -width 164.000000 -height 24.000000 [TCL_OK]
place .guid3d.guid16b -in .guid3d -x 179.000000 -y 96.000000 -width 48.000000 -height 24.000000 [TCL_OK]
place .guid3d.guid18a -in .guid3d -x 4.000000 -y 120.000000 -width 164.000000 -height 24.000000 [TCL_OK]
place .guid3d.guid1a8 -in .guid3d -x 179.000000 -y 120.000000 -width 48.000000 -height 24.000000 [TCL_OK]
place .guid3d.guid1c7 -in .guid3d -x 4.000000 -y 144.000000 -width 164.000000 -height 24.000000 [TCL_OK]
place .guid3d.guid1e5 -in .guid3d -x 179.000000 -y 144.000000 -width 150.000000 -height 24.000000 [TCL_OK]
place .guid3d.guid204 -in .guid3d -x 4.000000 -y 300.000000 -width 64.000000 -height 24.000000 [TCL_OK]
place .guid3d.guid222 -in .guid3d -x 169.000000 -y 300.000000 -width 150.000000 -height 24.000000 [TCL_OK]
place .guid3d.guid241 -in .guid3d -x 324.000000 -y 300.000000 -width 24.000000 -height 24.000000 [TCL_OK]
place .guid3d.guid25f -in .guid3d -x 4.000000 -y 324.000000 -width 64.000000 -height 24.000000 [TCL_OK]
place .guid3d.guid27d -in .guid3d -x 169.000000 -y 324.000000 -width 150.000000 -height 24.000000 [TCL_OK]
place .guid3d.guid29c -in .guid3d -x 324.000000 -y 324.000000 -width 24.000000 -height 24.000000 [TCL_OK]
place .guid3d.guid2ba -in .guid3d -x 169.000000 -y 375.000000 -width 128.000000 -height 24.000000 [TCL_OK]
place .guid3d.guid2d8 -in .guid3d -x 4.000000 -y 168.000000 -width 174.000000 -height 24.000000 [TCL_OK]
place .guid3d.guid2f6 -in .guid3d -x 179.000000 -y 169.000000 -width 150.000000 -height 24.000000 [TCL_OK]
place .guid3d.guid315 -in .guid3d -x 4.000000 -y 192.000000 -width 64.000000 -height 24.000000 [TCL_OK]
place .guid3d.guid333 -in .guid3d -x 179.000000 -y 192.000000 -width 48.000000 -height 24.000000 [TCL_OK]
place .guid3d.guid352 -in .guid3d -x 230.000000 -y 192.000000 -width 160.000000 -height 24.000000 [TCL_OK]
place .guid3d.guid371 -in .guid3d -x 4.000000 -y 216.000000 -width 164.000000 -height 24.000000 [TCL_OK]
place .guid3d.guid38f -in .guid3d -x 179.000000 -y 216.000000 -width 150.000000 -height 24.000000 [TCL_OK]
image create photo -file "images/arrow.gif" [TCL_OK]
image create photo -file "images/button.gif" [TCL_OK]
image create photo -file "images/entry.gif" [TCL_OK]
image create photo -file "images/checkbutton.gif" [TCL_OK]
image create photo -file "images/label.gif" [TCL_OK]
image create photo -file "images/listbox.gif" [TCL_OK]
image create photo -file "images/radiobutton.gif" [TCL_OK]
image create photo -file "images/spinbox.gif" [TCL_OK]
image create photo -file "images/text.gif" [TCL_OK]
image create photo -file "images/toplevel.gif" [TCL_OK]
toplevel .guid3af [TCL_OK]
radiobutton .guid3af.guid3cd [TCL_OK]
.guid3af.guid3cd configure -image "image1" [TCL_OK]
.guid3af.guid3cd configure -indicatoron "0" [TCL_OK]
.guid3af.guid3cd configure -value "guid3cd" [TCL_OK]
.guid3af.guid3cd configure -variable "guid4be" [TCL_OK]
bind .guid3af.guid3cd <ButtonPress> {onevent "guid3b1" %# %i %t %R %S %T %W %E %b %s %x %y %X %Y } [TCL_OK]
bind .guid3af.guid3cd <ButtonPress> {onevent "guid3b1" %# %i %t %R %S %T %W %E %b %s %x %y %X %Y } [TCL_OK]
.guid3af.guid3cd configure -variable "guid4dd" [TCL_OK]
.guid3af.guid3cd select [TCL_OK]
radiobutton .guid3af.guid3eb [TCL_OK]
.guid3af.guid3eb configure -image "image2" [TCL_OK]
.guid3af.guid3eb configure -indicatoron "0" [TCL_OK]
.guid3af.guid3eb configure -value "guid3eb" [TCL_OK]
.guid3af.guid3eb configure -variable "guid4be" [TCL_OK]
bind .guid3af.guid3eb <ButtonPress> {onevent "guid3cf" %# %i %t %R %S %T %W %E %b %s %x %y %X %Y } [TCL_OK]
bind .guid3af.guid3eb <ButtonPress> {onevent "guid3cf" %# %i %t %R %S %T %W %E %b %s %x %y %X %Y } [TCL_OK]
.guid3af.guid3eb configure -variable "guid4dd" [TCL_OK]
radiobutton .guid3af.guid409 [TCL_OK]
.guid3af.guid409 configure -image "image3" [TCL_OK]
.guid3af.guid409 configure -indicatoron "0" [TCL_OK]
.guid3af.guid409 configure -value "guid409" [TCL_OK]
.guid3af.guid409 configure -variable "guid4be" [TCL_OK]
bind .guid3af.guid409 <ButtonPress> {onevent "guid3ed" %# %i %t %R %S %T %W %E %b %s %x %y %X %Y } [TCL_OK]
bind .guid3af.guid409 <ButtonPress> {onevent "guid3ed" %# %i %t %R %S %T %W %E %b %s %x %y %X %Y } [TCL_OK]
.guid3af.guid409 configure -variable "guid4dd" [TCL_OK]
radiobutton .guid3af.guid427 [TCL_OK]
.guid3af.guid427 configure -image "image4" [TCL_OK]
.guid3af.guid427 configure -indicatoron "0" [TCL_OK]
.guid3af.guid427 configure -value "guid427" [TCL_OK]
.guid3af.guid427 configure -variable "guid4be" [TCL_OK]
bind .guid3af.guid427 <ButtonPress> {onevent "guid40b" %# %i %t %R %S %T %W %E %b %s %x %y %X %Y } [TCL_OK]
bind .guid3af.guid427 <ButtonPress> {onevent "guid40b" %# %i %t %R %S %T %W %E %b %s %x %y %X %Y } [TCL_OK]
.guid3af.guid427 configure -variable "guid4dd" [TCL_OK]
radiobutton .guid3af.guid445 [TCL_OK]
.guid3af.guid445 configure -image "image5" [TCL_OK]
.guid3af.guid445 configure -indicatoron "0" [TCL_OK]
.guid3af.guid445 configure -value "guid445" [TCL_OK]
.guid3af.guid445 configure -variable "guid4be" [TCL_OK]
bind .guid3af.guid445 <ButtonPress> {onevent "guid429" %# %i %t %R %S %T %W %E %b %s %x %y %X %Y } [TCL_OK]
bind .guid3af.guid445 <ButtonPress> {onevent "guid429" %# %i %t %R %S %T %W %E %b %s %x %y %X %Y } [TCL_OK]
.guid3af.guid445 configure -variable "guid4dd" [TCL_OK]
radiobutton .guid3af.guid463 [TCL_OK]
.guid3af.guid463 configure -image "image6" [TCL_OK]
.guid3af.guid463 configure -indicatoron "0" [TCL_OK]
.guid3af.guid463 configure -value "guid463" [TCL_OK]
.guid3af.guid463 configure -variable "guid4be" [TCL_OK]
bind .guid3af.guid463 <ButtonPress> {onevent "guid447" %# %i %t %R %S %T %W %E %b %s %x %y %X %Y } [TCL_OK]
bind .guid3af.guid463 <ButtonPress> {onevent "guid447" %# %i %t %R %S %T %W %E %b %s %x %y %X %Y } [TCL_OK]
.guid3af.guid463 configure -variable "guid4dd" [TCL_OK]
radiobutton .guid3af.guid481 [TCL_OK]
.guid3af.guid481 configure -image "image7" [TCL_OK]
.guid3af.guid481 configure -indicatoron "0" [TCL_OK]
.guid3af.guid481 configure -value "guid481" [TCL_OK]
.guid3af.guid481 configure -variable "guid4be" [TCL_OK]
bind .guid3af.guid481 <ButtonPress> {onevent "guid465" %# %i %t %R %S %T %W %E %b %s %x %y %X %Y } [TCL_OK]
bind .guid3af.guid481 <ButtonPress> {onevent "guid465" %# %i %t %R %S %T %W %E %b %s %x %y %X %Y } [TCL_OK]
.guid3af.guid481 configure -variable "guid4dd" [TCL_OK]
radiobutton .guid3af.guid49f [TCL_OK]
.guid3af.guid49f configure -image "image8" [TCL_OK]
.guid3af.guid49f configure -indicatoron "0" [TCL_OK]
.guid3af.guid49f configure -value "guid49f" [TCL_OK]
.guid3af.guid49f configure -variable "guid4be" [TCL_OK]
bind .guid3af.guid49f <ButtonPress> {onevent "guid483" %# %i %t %R %S %T %W %E %b %s %x %y %X %Y } [TCL_OK]
bind .guid3af.guid49f <ButtonPress> {onevent "guid483" %# %i %t %R %S %T %W %E %b %s %x %y %X %Y } [TCL_OK]
.guid3af.guid49f configure -variable "guid4dd" [TCL_OK]
radiobutton .guid3af.guid4bd [TCL_OK]
.guid3af.guid4bd configure -image "image9" [TCL_OK]
.guid3af.guid4bd configure -indicatoron "0" [TCL_OK]
.guid3af.guid4bd configure -value "guid4bd" [TCL_OK]
.guid3af.guid4bd configure -variable "guid4be" [TCL_OK]
bind .guid3af.guid4bd <ButtonPress> {onevent "guid4a1" %# %i %t %R %S %T %W %E %b %s %x %y %X %Y } [TCL_OK]
bind .guid3af.guid4bd <ButtonPress> {onevent "guid4a1" %# %i %t %R %S %T %W %E %b %s %x %y %X %Y } [TCL_OK]
.guid3af.guid4bd configure -variable "guid4dd" [TCL_OK]
button .guid3af.guid4dc [TCL_OK]
.guid3af.guid4dc configure -image "image10" [TCL_OK]
.guid3af.guid4dc configure -indicatoron "0" [TCL_ERROR]
Result : unknown option "-indicatoron"
bind .guid3af.guid4dc <ButtonPress> {onevent "guid4c0" %# %i %t %R %S %T %W %E %b %s %x %y %X %Y } [TCL_OK]
bind .guid3af.guid4dc <ButtonPress> {onevent "guid4c0" %# %i %t %R %S %T %W %E %b %s %x %y %X %Y } [TCL_OK]
place .guid3af.guid3cd -in .guid3af -x 0.000000 -y 26.000000 -width 24.000000 -height 24.000000 [TCL_OK]
place .guid3af.guid3eb -in .guid3af -x 26.000000 -y 26.000000 -width 24.000000 -height 24.000000 [TCL_OK]
place .guid3af.guid409 -in .guid3af -x 52.000000 -y 26.000000 -width 24.000000 -height 24.000000 [TCL_OK]
place .guid3af.guid427 -in .guid3af -x 78.000000 -y 26.000000 -width 24.000000 -height 24.000000 [TCL_OK]
place .guid3af.guid445 -in .guid3af -x 104.000000 -y 26.000000 -width 24.000000 -height 24.000000 [TCL_OK]
place .guid3af.guid463 -in .guid3af -x 130.000000 -y 26.000000 -width 24.000000 -height 24.000000 [TCL_OK]
place .guid3af.guid481 -in .guid3af -x 156.000000 -y 26.000000 -width 24.000000 -height 24.000000 [TCL_OK]
place .guid3af.guid49f -in .guid3af -x 182.000000 -y 26.000000 -width 24.000000 -height 24.000000 [TCL_OK]
place .guid3af.guid4bd -in .guid3af -x 208.000000 -y 26.000000 -width 24.000000 -height 24.000000 [TCL_OK]
place .guid3af.guid4dc -in .guid3af -x 246.000000 -y 26.000000 -width 24.000000 -height 24.000000 [TCL_OK]
wm geometry .guid3af 600x72+0+0 [TCL_OK]
wm protocol .guid3af WM_DELETE_WINDOW {ondeletewindow guid3af} [TCL_OK]
wm resizable .guid3af 0 0 [TCL_OK]
wm title .guid3af "Designer" [TCL_OK]
place .guid3af.guid3cd -in .guid3af -x 0.000000 -y 26.000000 -width 24.000000 -height 24.000000 [TCL_OK]
place .guid3af.guid3eb -in .guid3af -x 26.000000 -y 26.000000 -width 24.000000 -height 24.000000 [TCL_OK]
place .guid3af.guid409 -in .guid3af -x 52.000000 -y 26.000000 -width 24.000000 -height 24.000000 [TCL_OK]
place .guid3af.guid427 -in .guid3af -x 78.000000 -y 26.000000 -width 24.000000 -height 24.000000 [TCL_OK]
place .guid3af.guid445 -in .guid3af -x 104.000000 -y 26.000000 -width 24.000000 -height 24.000000 [TCL_OK]
place .guid3af.guid463 -in .guid3af -x 130.000000 -y 26.000000 -width 24.000000 -height 24.000000 [TCL_OK]
place .guid3af.guid481 -in .guid3af -x 156.000000 -y 26.000000 -width 24.000000 -height 24.000000 [TCL_OK]
place .guid3af.guid49f -in .guid3af -x 182.000000 -y 26.000000 -width 24.000000 -height 24.000000 [TCL_OK]
place .guid3af.guid4bd -in .guid3af -x 208.000000 -y 26.000000 -width 24.000000 -height 24.000000 [TCL_OK]
place .guid3af.guid4dc -in .guid3af -x 246.000000 -y 26.000000 -width 24.000000 -height 24.000000 [TCL_OK]
menu .guid3af.guid4fb [TCL_OK]
menu .guid519 [TCL_OK]
.guid519 configure -tearoff "0" [TCL_OK]
.guid519 add command -label "Save" -command {onmenuevent 1 "save"} [TCL_OK]
.guid519 add separator [TCL_OK]
.guid519 add command -label "Exit" -command {onmenuevent 1 "exit"} [TCL_OK]
.guid3af.guid4fb add cascade -label "File" -menu .guid519 [TCL_OK]
menu .guid537 [TCL_OK]
.guid537 configure -tearoff "0" [TCL_OK]
.guid537 add command -label "Properties editor" -command {onmenuevent 2 "editor"} [TCL_OK]
.guid537 add command -label "Forms list" -command {onmenuevent 2 "list"} [TCL_OK]
.guid3af.guid4fb add cascade -label "Show" -menu .guid537 [TCL_OK]
.guid3af configure -menu ".guid3af.guid4fb" [TCL_OK]
toplevel .guid555 [TCL_OK]
wm title .guid555 "Properties" [TCL_OK]
wm protocol .guid555 WM_DELETE_WINDOW {ondeletewindow guid555} [TCL_OK]
wm geometry .guid555 200x400+0+78 [TCL_OK]
toplevel .guidb09 [TCL_OK]
listbox .guidb09.guidb27 [TCL_OK]
.guidb09.guidb27 configure -listvariable "guidb28" [TCL_OK]
button .guidb09.guidacd [TCL_OK]
.guidb09.guidacd configure -text "open" [TCL_OK]
button .guidb09.guidaeb [TCL_OK]
.guidb09.guidaeb configure -text "delete" [TCL_OK]
grid .guidb09.guidb27 -in .guidb09 -row 0 -column 0 -rowspan 5 -columnspan 2 [TCL_OK]
grid .guidb09.guidacd -in .guidb09 -row 6 -column 0 -rowspan 1 -columnspan 1 -sticky ew [TCL_OK]
grid .guidb09.guidaeb -in .guidb09 -row 6 -column 1 -rowspan 1 -columnspan 1 -sticky ew [TCL_OK]
wm geometry .guidb09 200x200+0+510 [TCL_OK]
wm protocol .guidb09 WM_DELETE_WINDOW {ondeletewindow guidb09} [TCL_OK]
wm title .guidb09 "Forms" [TCL_OK]
grid .guidb09.guidb27 -in .guidb09 -row 0 -column 0 -rowspan 5 -columnspan 2 [TCL_OK]
grid .guidb09.guidacd -in .guidb09 -row 6 -column 0 -rowspan 1 -columnspan 1 -sticky ew [TCL_OK]
grid .guidb09.guidaeb -in .guidb09 -row 6 -column 1 -rowspan 1 -columnspan 1 -sticky ew [TCL_OK]
bind .guidb09.guidacd <ButtonPress> {onevent "guidab1" %# %i %t %R %S %T %W %E %b %s %x %y %X %Y } [TCL_OK]
bind .guidb09.guidaeb <ButtonPress> {onevent "guidacf" %# %i %t %R %S %T %W %E %b %s %x %y %X %Y } [TCL_OK]
.guidb09.guidb27 curselection [TCL_OK]
.guidb09.guidb27 curselection [TCL_OK]
wm state .guid3d normal [TCL_OK]
wm protocol .guid3d WM_DELETE_WINDOW {ondeletewindow guid3d} [TCL_OK]
bind .guid3d <Configure> {onevent "guid26" %# %i %t %R %S %T %W %E %a %h %w %B %o %v %x %y } [TCL_OK]
bind .guid3d <ButtonPress> {onevent "guid21" %# %i %t %R %S %T %W %E %b %s %x %y %X %Y } [TCL_OK]
.guid3d.guid1e5 cget -background [TCL_OK]
.guid3d.guid1e5 configure -background "#FF0000" [TCL_OK]
button .guid555.guid573 [TCL_OK]
.guid555.guid573 configure -text "delete" [TCL_OK]
bind .guid555.guid573 <ButtonPress> {onevent "guid557" %# %i %t %R %S %T %W %E %b %s %x %y %X %Y } [TCL_OK]
bind .guid555.guid573 <ButtonPress> {onevent "guid557" %# %i %t %R %S %T %W %E %b %s %x %y %X %Y } [TCL_OK]
grid .guid555.guid573 -in .guid555 -row 0 -column 0 -rowspan 1 -columnspan 2 -sticky ew [TCL_OK]
.guid555.guid573 configure -state "normal" [TCL_OK]
label .guid555.guid591 [TCL_OK]
.guid555.guid591 configure -anchor "w" [TCL_OK]
.guid555.guid591 configure -text "name" [TCL_OK]
grid .guid555.guid591 -in .guid555 -row 1 -column 0 -rowspan 1 -columnspan 1 -sticky ew [TCL_OK]
entry .guid555.guid5af [TCL_OK]
.guid555.guid5af configure -textvariable "guid5b0" [TCL_OK]
bind .guid555.guid5af <FocusOut> {onevent "guid5a1" %# %i %t %R %S %T %W %E %d %m } [TCL_OK]
bind .guid555.guid5af <KeyPress> {onevent "guid5a3" %# %i %t %R %S %T %W %E %k %s %A %K %N %X %Y } [TCL_OK]
grid .guid555.guid5af -in .guid555 -row 1 -column 1 -rowspan 1 -columnspan 1 -sticky ew [TCL_OK]
label .guid555.guid5ce [TCL_OK]
.guid555.guid5ce configure -anchor "w" [TCL_OK]
.guid555.guid5ce configure -text "x" [TCL_OK]
grid .guid555.guid5ce -in .guid555 -row 2 -column 0 -rowspan 1 -columnspan 1 -sticky ew [TCL_OK]
spinbox .guid555.guid5ec [TCL_OK]
.guid555.guid5ec configure -from "0.000000" [TCL_OK]
.guid555.guid5ec configure -increment "1.000000" [TCL_OK]
.guid555.guid5ec configure -textvariable "guid5ed" [TCL_OK]
.guid555.guid5ec configure -to "2147483647.000000" [TCL_OK]
.guid555.guid5ec configure -values {} [TCL_OK]
bind .guid555.guid5ec <ButtonRelease> {onevent "guid5d1" %# %i %t %R %S %T %W %E %b %s %x %y %X %Y } [TCL_OK]
bind .guid555.guid5ec <FocusOut> {onevent "guid5de" %# %i %t %R %S %T %W %E %d %m } [TCL_OK]
bind .guid555.guid5ec <KeyPress> {onevent "guid5e0" %# %i %t %R %S %T %W %E %k %s %A %K %N %X %Y } [TCL_OK]
grid .guid555.guid5ec -in .guid555 -row 2 -column 1 -rowspan 1 -columnspan 1 -sticky ew [TCL_OK]
label .guid555.guid60b [TCL_OK]
.guid555.guid60b configure -anchor "w" [TCL_OK]
.guid555.guid60b configure -text "y" [TCL_OK]
grid .guid555.guid60b -in .guid555 -row 3 -column 0 -rowspan 1 -columnspan 1 -sticky ew [TCL_OK]
spinbox .guid555.guid629 [TCL_OK]
.guid555.guid629 configure -from "0.000000" [TCL_OK]
.guid555.guid629 configure -increment "1.000000" [TCL_OK]
.guid555.guid629 configure -textvariable "guid62a" [TCL_OK]
.guid555.guid629 configure -to "2147483647.000000" [TCL_OK]
.guid555.guid629 configure -values {} [TCL_OK]
bind .guid555.guid629 <ButtonRelease> {onevent "guid60e" %# %i %t %R %S %T %W %E %b %s %x %y %X %Y } [TCL_OK]
bind .guid555.guid629 <FocusOut> {onevent "guid61b" %# %i %t %R %S %T %W %E %d %m } [TCL_OK]
bind .guid555.guid629 <KeyPress> {onevent "guid61d" %# %i %t %R %S %T %W %E %k %s %A %K %N %X %Y } [TCL_OK]
grid .guid555.guid629 -in .guid555 -row 3 -column 1 -rowspan 1 -columnspan 1 -sticky ew [TCL_OK]
label .guid555.guid648 [TCL_OK]
.guid555.guid648 configure -anchor "w" [TCL_OK]
.guid555.guid648 configure -text "width" [TCL_OK]
grid .guid555.guid648 -in .guid555 -row 4 -column 0 -rowspan 1 -columnspan 1 -sticky ew [TCL_OK]
spinbox .guid555.guid666 [TCL_OK]
.guid555.guid666 configure -from "0.000000" [TCL_OK]
.guid555.guid666 configure -increment "1.000000" [TCL_OK]
.guid555.guid666 configure -textvariable "guid667" [TCL_OK]
.guid555.guid666 configure -to "2147483647.000000" [TCL_OK]
.guid555.guid666 configure -values {} [TCL_OK]
bind .guid555.guid666 <ButtonRelease> {onevent "guid64b" %# %i %t %R %S %T %W %E %b %s %x %y %X %Y } [TCL_OK]
bind .guid555.guid666 <FocusOut> {onevent "guid658" %# %i %t %R %S %T %W %E %d %m } [TCL_OK]
bind .guid555.guid666 <KeyPress> {onevent "guid65a" %# %i %t %R %S %T %W %E %k %s %A %K %N %X %Y } [TCL_OK]
grid .guid555.guid666 -in .guid555 -row 4 -column 1 -rowspan 1 -columnspan 1 -sticky ew [TCL_OK]
label .guid555.guid685 [TCL_OK]
.guid555.guid685 configure -anchor "w" [TCL_OK]
.guid555.guid685 configure -text "height" [TCL_OK]
grid .guid555.guid685 -in .guid555 -row 5 -column 0 -rowspan 1 -columnspan 1 -sticky ew [TCL_OK]
spinbox .guid555.guid6a3 [TCL_OK]
.guid555.guid6a3 configure -from "0.000000" [TCL_OK]
.guid555.guid6a3 configure -increment "1.000000" [TCL_OK]
.guid555.guid6a3 configure -textvariable "guid6a4" [TCL_OK]
.guid555.guid6a3 configure -to "2147483647.000000" [TCL_OK]
.guid555.guid6a3 configure -values {} [TCL_OK]
bind .guid555.guid6a3 <ButtonRelease> {onevent "guid688" %# %i %t %R %S %T %W %E %b %s %x %y %X %Y } [TCL_OK]
bind .guid555.guid6a3 <FocusOut> {onevent "guid695" %# %i %t %R %S %T %W %E %d %m } [TCL_OK]
bind .guid555.guid6a3 <KeyPress> {onevent "guid697" %# %i %t %R %S %T %W %E %k %s %A %K %N %X %Y } [TCL_OK]
grid .guid555.guid6a3 -in .guid555 -row 5 -column 1 -rowspan 1 -columnspan 1 -sticky ew [TCL_OK]
.guid3d.guid1e5 cget -values [TCL_OK]
label .guid555.guid7d3 [TCL_OK]
.guid555.guid7d3 configure -anchor "w" [TCL_OK]
.guid555.guid7d3 configure -text "from" [TCL_OK]
grid .guid555.guid7d3 -in .guid555 -row 6 -column 0 -rowspan 1 -columnspan 1 -sticky ew [TCL_OK]
entry .guid555.guid7f1 [TCL_OK]
.guid555.guid7f1 configure -textvariable "guid7f2" [TCL_OK]
.guid555.guid7f1 configure -validate "all" [TCL_OK]
.guid555.guid7f1 configure -validatecommand {expr {[string is double %P] || [string match {[+-]} %P]}} [TCL_OK]
bind .guid555.guid7f1 <FocusOut> {onevent "guid7e3" %# %i %t %R %S %T %W %E %d %m } [TCL_OK]
bind .guid555.guid7f1 <KeyPress> {onevent "guid7e5" %# %i %t %R %S %T %W %E %k %s %A %K %N %X %Y } [TCL_OK]
grid .guid555.guid7f1 -in .guid555 -row 6 -column 1 -rowspan 1 -columnspan 1 -sticky ew [TCL_OK]
label .guid555.guid810 [TCL_OK]
.guid555.guid810 configure -anchor "w" [TCL_OK]
.guid555.guid810 configure -text "to" [TCL_OK]
grid .guid555.guid810 -in .guid555 -row 7 -column 0 -rowspan 1 -columnspan 1 -sticky ew [TCL_OK]
entry .guid555.guid82e [TCL_OK]
.guid555.guid82e configure -textvariable "guid82f" [TCL_OK]
.guid555.guid82e configure -validate "all" [TCL_OK]
.guid555.guid82e configure -validatecommand {expr {[string is double %P] || [string match {[+-]} %P]}} [TCL_OK]
bind .guid555.guid82e <FocusOut> {onevent "guid820" %# %i %t %R %S %T %W %E %d %m } [TCL_OK]
bind .guid555.guid82e <KeyPress> {onevent "guid822" %# %i %t %R %S %T %W %E %k %s %A %K %N %X %Y } [TCL_OK]
grid .guid555.guid82e -in .guid555 -row 7 -column 1 -rowspan 1 -columnspan 1 -sticky ew [TCL_OK]
label .guid555.guid84d [TCL_OK]
.guid555.guid84d configure -anchor "w" [TCL_OK]
.guid555.guid84d configure -text "increment" [TCL_OK]
grid .guid555.guid84d -in .guid555 -row 8 -column 0 -rowspan 1 -columnspan 1 -sticky ew [TCL_OK]
entry .guid555.guid86b [TCL_OK]
.guid555.guid86b configure -textvariable "guid86c" [TCL_OK]
.guid555.guid86b configure -validate "all" [TCL_OK]
.guid555.guid86b configure -validatecommand {expr {[string is double %P] || [string match {[+-]} %P]}} [TCL_OK]
bind .guid555.guid86b <FocusOut> {onevent "guid85d" %# %i %t %R %S %T %W %E %d %m } [TCL_OK]
bind .guid555.guid86b <KeyPress> {onevent "guid85f" %# %i %t %R %S %T %W %E %k %s %A %K %N %X %Y } [TCL_OK]
grid .guid555.guid86b -in .guid555 -row 8 -column 1 -rowspan 1 -columnspan 1 -sticky ew [TCL_OK]
label .guid555.guid73c [TCL_OK]
.guid555.guid73c configure -anchor "w" [TCL_OK]
.guid555.guid73c configure -text "value" [TCL_OK]
grid .guid555.guid73c -in .guid555 -row 9 -column 0 -rowspan 1 -columnspan 1 -sticky ew [TCL_OK]
frame .guid555.guid7b5 [TCL_OK]
entry .guid555.guid7b5.guid75a [TCL_OK]
.guid555.guid7b5.guid75a configure -textvariable "guid75b" [TCL_OK]
button .guid555.guid7b5.guid779 [TCL_OK]
.guid555.guid7b5.guid779 configure -text "+" [TCL_OK]
bind .guid555.guid7b5.guid779 <ButtonPress> {onevent "guid75d" %# %i %t %R %S %T %W %E %b %s %x %y %X %Y } [TCL_OK]
bind .guid555.guid7b5.guid779 <ButtonPress> {onevent "guid75d" %# %i %t %R %S %T %W %E %b %s %x %y %X %Y } [TCL_OK]
button .guid555.guid7b5.guid797 [TCL_OK]
.guid555.guid7b5.guid797 configure -text "X" [TCL_OK]
bind .guid555.guid7b5.guid797 <ButtonPress> {onevent "guid77b" %# %i %t %R %S %T %W %E %b %s %x %y %X %Y } [TCL_OK]
bind .guid555.guid7b5.guid797 <ButtonPress> {onevent "guid77b" %# %i %t %R %S %T %W %E %b %s %x %y %X %Y } [TCL_OK]
grid .guid555.guid7b5.guid75a -in .guid555.guid7b5 -row 0 -column 0 -rowspan 1 -columnspan 2 [TCL_OK]
grid .guid555.guid7b5.guid779 -in .guid555.guid7b5 -row 0 -column 3 -rowspan 1 -columnspan 1 [TCL_OK]
grid .guid555.guid7b5.guid797 -in .guid555.guid7b5 -row 0 -column 4 -rowspan 1 -columnspan 1 [TCL_OK]
grid .guid555.guid7b5 -in .guid555 -row 9 -column 1 -rowspan 1 -columnspan 1 -sticky ew [TCL_OK]
.guid3d.guid1e5 cget -wrap [TCL_OK]
.guid3d.guid1e5 configure -wrap "1" [TCL_OK]
label .guid555.guid97e [TCL_OK]
.guid555.guid97e configure -anchor "w" [TCL_OK]
.guid555.guid97e configure -text "wrap" [TCL_OK]
grid .guid555.guid97e -in .guid555 -row 10 -column 0 -rowspan 1 -columnspan 1 -sticky ew [TCL_OK]
checkbutton .guid555.guid99c [TCL_OK]
.guid555.guid99c configure -variable "guid99d" [TCL_OK]
grid .guid555.guid99c -in .guid555 -row 10 -column 1 -rowspan 1 -columnspan 1 -sticky ew [TCL_OK]
.guid3d.guid1e5 cget -state [TCL_OK]
label .guid555.guid904 [TCL_OK]
.guid555.guid904 configure -anchor "w" [TCL_OK]
.guid555.guid904 configure -text "state" [TCL_OK]
grid .guid555.guid904 -in .guid555 -row 11 -column 0 -rowspan 1 -columnspan 1 -sticky ew [TCL_OK]
spinbox .guid555.guid922 [TCL_OK]
.guid555.guid922 configure -state "readonly" [TCL_OK]
.guid555.guid922 configure -textvariable "guid923" [TCL_OK]
.guid555.guid922 configure -values {{normal} {disabled} {readonly} } [TCL_OK]
.guid555.guid922 configure -wrap "1" [TCL_OK]
grid .guid555.guid922 -in .guid555 -row 11 -column 1 -rowspan 1 -columnspan 1 -sticky ew [TCL_OK]
frame .guid555.guid9f8 [TCL_OK]
label .guid555.guid9f8.guida16 [TCL_OK]
.guid555.guid9f8.guida16 configure -anchor "w" [TCL_OK]
.guid555.guid9f8.guida16 configure -text "bind variable" [TCL_OK]
entry .guid555.guid9f8.guida71 [TCL_OK]
.guid555.guid9f8.guida71 configure -state "readonly" [TCL_OK]
.guid555.guid9f8.guida71 configure -textvariable "guida72" [TCL_OK]
scrollbar .guid555.guid9f8.guida53 [TCL_OK]
.guid555.guid9f8.guida53 configure -orient "vertical" [TCL_OK]
listbox .guid555.guid9f8.guida34 [TCL_OK]
.guid555.guid9f8.guida34 configure -listvariable "guida35" [TCL_OK]
bind .guid555.guid9f8.guida34 <Double-1> {onevent "guida22" %# %i %t %R %S %T %W %E %b %x %y %X %Y } [TCL_OK]
.guid555.guid9f8.guida53 configure -command {.guid555.guid9f8.guida34 yview} [TCL_OK]
.guid555.guid9f8.guida34 configure -yscrollcommand {.guid555.guid9f8.guida53 set} [TCL_OK]
grid .guid555.guid9f8.guida16 -in .guid555.guid9f8 -row 0 -column 0 -rowspan 1 -columnspan 3 -sticky news [TCL_OK]
grid .guid555.guid9f8.guida71 -in .guid555.guid9f8 -row 0 -column 3 -rowspan 1 -columnspan 3 -sticky news [TCL_OK]
grid .guid555.guid9f8.guida53 -in .guid555.guid9f8 -row 1 -column 5 -rowspan 5 -columnspan 1 -sticky news [TCL_OK]
grid .guid555.guid9f8.guida34 -in .guid555.guid9f8 -row 1 -column 0 -rowspan 5 -columnspan 5 -sticky news [TCL_OK]
grid .guid555.guid9f8 -in .guid555 -row 12 -column 0 -rowspan 6 -columnspan 2 -sticky news [TCL_OK]
place .guid3d.guid1e5 -in .guid3d -x 179.000000 -y 144.000000 -width 150.000000 -height 24.000000 [TCL_OK]
place .guid3d.guid1e5 -in .guid3d -x 179.000000 -y 144.000000 -width 15.000000 -height 24.000000 [TCL_OK]
grid remove .guid555.guid573 [TCL_OK]
grid remove .guid555.guid591 [TCL_OK]
grid remove .guid555.guid5af [TCL_OK]
grid remove .guid555.guid5ce [TCL_OK]
grid remove .guid555.guid5ec [TCL_OK]
grid remove .guid555.guid60b [TCL_OK]
grid remove .guid555.guid629 [TCL_OK]
grid remove .guid555.guid648 [TCL_OK]
grid remove .guid555.guid666 [TCL_OK]
grid remove .guid555.guid685 [TCL_OK]
grid remove .guid555.guid6a3 [TCL_OK]
grid remove .guid555.guid7d3 [TCL_OK]
grid remove .guid555.guid7f1 [TCL_OK]
grid remove .guid555.guid810 [TCL_OK]
grid remove .guid555.guid82e [TCL_OK]
grid remove .guid555.guid84d [TCL_OK]
grid remove .guid555.guid86b [TCL_OK]
grid remove .guid555.guid73c [TCL_OK]
grid remove .guid555.guid7b5 [TCL_OK]
grid remove .guid555.guid97e [TCL_OK]
grid remove .guid555.guid99c [TCL_OK]
grid remove .guid555.guid904 [TCL_OK]
grid remove .guid555.guid922 [TCL_OK]
grid remove .guid555.guid9f8 [TCL_OK]
.guid3d.guid1e5 configure -background "#efefef" [TCL_OK]
.guid3d.guid1e5 cget -background [TCL_OK]
.guid3d.guid1e5 configure -background "#FF0000" [TCL_OK]
grid .guid555.guid573 -in .guid555 -row 0 -column 0 -rowspan 1 -columnspan 2 -sticky ew [TCL_OK]
.guid555.guid573 configure -state "normal" [TCL_OK]
grid .guid555.guid591 -in .guid555 -row 1 -column 0 -rowspan 1 -columnspan 1 -sticky ew [TCL_OK]
grid .guid555.guid5af -in .guid555 -row 1 -column 1 -rowspan 1 -columnspan 1 -sticky ew [TCL_OK]
grid .guid555.guid5ce -in .guid555 -row 2 -column 0 -rowspan 1 -columnspan 1 -sticky ew [TCL_OK]
grid .guid555.guid5ec -in .guid555 -row 2 -column 1 -rowspan 1 -columnspan 1 -sticky ew [TCL_OK]
grid .guid555.guid60b -in .guid555 -row 3 -column 0 -rowspan 1 -columnspan 1 -sticky ew [TCL_OK]
grid .guid555.guid629 -in .guid555 -row 3 -column 1 -rowspan 1 -columnspan 1 -sticky ew [TCL_OK]
grid .guid555.guid648 -in .guid555 -row 4 -column 0 -rowspan 1 -columnspan 1 -sticky ew [TCL_OK]
grid .guid555.guid666 -in .guid555 -row 4 -column 1 -rowspan 1 -columnspan 1 -sticky ew [TCL_OK]
grid .guid555.guid685 -in .guid555 -row 5 -column 0 -rowspan 1 -columnspan 1 -sticky ew [TCL_OK]
grid .guid555.guid6a3 -in .guid555 -row 5 -column 1 -rowspan 1 -columnspan 1 -sticky ew [TCL_OK]
.guid3d.guid1e5 cget -values [TCL_OK]
grid .guid555.guid7d3 -in .guid555 -row 6 -column 0 -rowspan 1 -columnspan 1 -sticky ew [TCL_OK]
grid .guid555.guid7f1 -in .guid555 -row 6 -column 1 -rowspan 1 -columnspan 1 -sticky ew [TCL_OK]
grid .guid555.guid810 -in .guid555 -row 7 -column 0 -rowspan 1 -columnspan 1 -sticky ew [TCL_OK]
grid .guid555.guid82e -in .guid555 -row 7 -column 1 -rowspan 1 -columnspan 1 -sticky ew [TCL_OK]
grid .guid555.guid84d -in .guid555 -row 8 -column 0 -rowspan 1 -columnspan 1 -sticky ew [TCL_OK]
grid .guid555.guid86b -in .guid555 -row 8 -column 1 -rowspan 1 -columnspan 1 -sticky ew [TCL_OK]
grid .guid555.guid73c -in .guid555 -row 9 -column 0 -rowspan 1 -columnspan 1 -sticky ew [TCL_OK]
grid .guid555.guid7b5.guid75a -in .guid555.guid7b5 -row 0 -column 0 -rowspan 1 -columnspan 2 [TCL_OK]
grid .guid555.guid7b5.guid779 -in .guid555.guid7b5 -row 0 -column 3 -rowspan 1 -columnspan 1 [TCL_OK]
grid .guid555.guid7b5.guid797 -in .guid555.guid7b5 -row 0 -column 4 -rowspan 1 -columnspan 1 [TCL_OK]
grid .guid555.guid7b5 -in .guid555 -row 9 -column 1 -rowspan 1 -columnspan 1 -sticky ew [TCL_OK]
.guid3d.guid1e5 cget -wrap [TCL_OK]
.guid3d.guid1e5 configure -wrap "1" [TCL_OK]
grid .guid555.guid97e -in .guid555 -row 10 -column 0 -rowspan 1 -columnspan 1 -sticky ew [TCL_OK]
grid .guid555.guid99c -in .guid555 -row 10 -column 1 -rowspan 1 -columnspan 1 -sticky ew [TCL_OK]
.guid555.guid922 configure -values {{normal} {disabled} {readonly} } [TCL_OK]
.guid3d.guid1e5 cget -state [TCL_OK]
grid .guid555.guid904 -in .guid555 -row 11 -column 0 -rowspan 1 -columnspan 1 -sticky ew [TCL_OK]
grid .guid555.guid922 -in .guid555 -row 11 -column 1 -rowspan 1 -columnspan 1 -sticky ew [TCL_OK]
.guid555.guid9f8.guida53 configure -command {.guid555.guid9f8.guida34 yview} [TCL_OK]
.guid555.guid9f8.guida34 configure -yscrollcommand {.guid555.guid9f8.guida53 set} [TCL_OK]
grid .guid555.guid9f8.guida16 -in .guid555.guid9f8 -row 0 -column 0 -rowspan 1 -columnspan 3 -sticky news [TCL_OK]
grid .guid555.guid9f8.guida71 -in .guid555.guid9f8 -row 0 -column 3 -rowspan 1 -columnspan 3 -sticky news [TCL_OK]
grid .guid555.guid9f8.guida53 -in .guid555.guid9f8 -row 1 -column 5 -rowspan 5 -columnspan 1 -sticky news [TCL_OK]
grid .guid555.guid9f8.guida34 -in .guid555.guid9f8 -row 1 -column 0 -rowspan 5 -columnspan 5 -sticky news [TCL_OK]
grid .guid555.guid9f8 -in .guid555 -row 12 -column 0 -rowspan 6 -columnspan 2 -sticky news [TCL_OK]
place .guid3d.guid1e5 -in .guid3d -x 179.000000 -y 144.000000 -width 15.000000 -height 24.000000 [TCL_OK]
place .guid3d.guid1e5 -in .guid3d -x 179.000000 -y 144.000000 -width 150.000000 -height 24.000000 [TCL_OK]
place .guid3d.guid1e5 -in .guid3d -x 179.000000 -y 144.000000 -width 150.000000 -height 24.000000 [TCL_OK]
place .guid3d.guid1e5 -in .guid3d -x 179.000000 -y 144.000000 -width 150.000000 -height 24.000000 [TCL_OK]
place .guid3d.guid1e5 -in .guid3d -x 179.000000 -y 144.000000 -width 150.000000 -height 24.000000 [TCL_OK]
place .guid3d.guid1e5 -in .guid3d -x 179.000000 -y 144.000000 -width 150.000000 -height 24.000000 [TCL_OK]
place .guid3d.guid1e5 -in .guid3d -x 179.000000 -y 144.000000 -width 150.000000 -height 24.000000 [TCL_OK]
place .guid3d.guid1e5 -in .guid3d -x 179.000000 -y 144.000000 -width 15.000000 -height 24.000000 [TCL_OK]
place .guid3d.guid1e5 -in .guid3d -x 179.000000 -y 144.000000 -width 15.000000 -height 24.000000 [TCL_OK]
place .guid3d.guid1e5 -in .guid3d -x 179.000000 -y 144.000000 -width 15.000000 -height 24.000000 [TCL_OK]
place .guid3d.guid1e5 -in .guid3d -x 179.000000 -y 144.000000 -width 15.000000 -height 24.000000 [TCL_OK]
place .guid3d.guid1e5 -in .guid3d -x 179.000000 -y 144.000000 -width 15.000000 -height 24.000000 [TCL_OK]
place .guid3d.guid1e5 -in .guid3d -x 179.000000 -y 144.000000 -width 150.000000 -height 24.000000 [TCL_OK]
place .guid3d.guid1e5 -in .guid3d -x 179.000000 -y 144.000000 -width 150.000000 -height 24.000000 [TCL_OK]
place .guid3d.guid1e5 -in .guid3d -x 179.000000 -y 144.000000 -width 150.000000 -height 24.000000 [TCL_OK]
tk_messageBox -title "Question" -message "Save before exit ?" -type yesnocancel -icon warning -default yes [TCL_OK]
wm state .guidb09 withdrawn [TCL_OK]
wm state .guid555 withdrawn [TCL_OK]
wm state .guid3af withdrawn [TCL_OK]
destroy .guid3d [TCL_OK]
toplevel .guidb46 [TCL_OK]
.guidb46 configure -background "SystemButtonFace" [TCL_ERROR]
Result : unknown color name "SystemButtonFace"
label .guidb46.guidb64 [TCL_OK]
.guidb46.guidb64 configure -anchor "w" [TCL_OK]
.guidb46.guidb64 configure -background "SystemButtonFace" [TCL_ERROR]
Result : unknown color name "SystemButtonFace"
.guidb46.guidb64 configure -state "normal" [TCL_OK]
.guidb46.guidb64 configure -text "FC-min" [TCL_OK]
label .guidb46.guidb82 [TCL_OK]
.guidb46.guidb82 configure -anchor "w" [TCL_OK]
.guidb46.guidb82 configure -background "SystemButtonFace" [TCL_ERROR]
Result : unknown color name "SystemButtonFace"
.guidb46.guidb82 configure -state "normal" [TCL_OK]
.guidb46.guidb82 configure -text "CD-search ratio n (0-100)" [TCL_OK]
spinbox .guidb46.guidba0 [TCL_OK]
.guidb46.guidba0 configure -background "SystemWindow" [TCL_ERROR]
Result : unknown color name "SystemWindow"
.guidb46.guidba0 configure -increment "1.000000" [TCL_OK]
.guidb46.guidba0 configure -state "normal" [TCL_OK]
.guidb46.guidba0 configure -textvariable "guidba1" [TCL_OK]
.guidb46.guidba0 configure -to "100.000000" [TCL_OK]
.guidb46.guidba0 configure -values {} [TCL_OK]
.guidb46.guidba0 configure -wrap "0" [TCL_OK]
label .guidb46.guidbbf [TCL_OK]
.guidb46.guidbbf configure -anchor "w" [TCL_OK]
.guidb46.guidbbf configure -background "SystemButtonFace" [TCL_ERROR]
Result : unknown color name "SystemButtonFace"
.guidb46.guidbbf configure -state "normal" [TCL_OK]
.guidb46.guidbbf configure -text "Depth Factor" [TCL_OK]
spinbox .guidb46.guidbdd [TCL_OK]
.guidb46.guidbdd configure -background "SystemWindow" [TCL_ERROR]
Result : unknown color name "SystemWindow"
.guidb46.guidbdd configure -increment "1.000000" [TCL_OK]
.guidb46.guidbdd configure -state "normal" [TCL_OK]
.guidb46.guidbdd configure -textvariable "guidbde" [TCL_OK]
.guidb46.guidbdd configure -to "100000000.000000" [TCL_OK]
.guidb46.guidbdd configure -values {} [TCL_OK]
.guidb46.guidbdd configure -wrap "0" [TCL_OK]
label .guidb46.guidbfc [TCL_OK]
.guidb46.guidbfc configure -anchor "w" [TCL_OK]
.guidb46.guidbfc configure -background "SystemButtonFace" [TCL_ERROR]
Result : unknown color name "SystemButtonFace"
.guidb46.guidbfc configure -state "normal" [TCL_OK]
.guidb46.guidbfc configure -text "Direction :" [TCL_OK]
radiobutton .guidb46.guidc1a [TCL_OK]
.guidb46.guidc1a configure -anchor "w" [TCL_OK]
.guidb46.guidc1a configure -background "SystemButtonFace" [TCL_ERROR]
Result : unknown color name "SystemButtonFace"
.guidb46.guidc1a configure -state "normal" [TCL_OK]
.guidb46.guidc1a configure -text "1:n" [TCL_OK]
.guidb46.guidc1a configure -value "guidc1a" [TCL_OK]
.guidb46.guidc1a configure -variable "guide9a" [TCL_OK]
.guidb46.guidc1a select [TCL_OK]
radiobutton .guidb46.guidc38 [TCL_OK]
.guidb46.guidc38 configure -background "SystemButtonFace" [TCL_ERROR]
Result : unknown color name "SystemButtonFace"
.guidb46.guidc38 configure -state "normal" [TCL_OK]
.guidb46.guidc38 configure -text "n:1" [TCL_OK]
.guidb46.guidc38 configure -value "guidc38" [TCL_OK]
.guidb46.guidc38 configure -variable "guide9a" [TCL_OK]
label .guidb46.guidc56 [TCL_OK]
.guidb46.guidc56 configure -anchor "w" [TCL_OK]
.guidb46.guidc56 configure -background "SystemButtonFace" [TCL_ERROR]
Result : unknown color name "SystemButtonFace"
.guidb46.guidc56 configure -state "normal" [TCL_OK]
.guidb46.guidc56 configure -text "CD-search mutations ratio (0-100)" [TCL_OK]
spinbox .guidb46.guidc74 [TCL_OK]
.guidb46.guidc74 configure -background "SystemWindow" [TCL_ERROR]
Result : unknown color name "SystemWindow"
.guidb46.guidc74 configure -state "normal" [TCL_OK]
.guidb46.guidc74 configure -textvariable "guidc75" [TCL_OK]
.guidb46.guidc74 configure -to "100.000000" [TCL_OK]
.guidb46.guidc74 configure -wrap "0" [TCL_OK]
label .guidb46.guidc93 [TCL_OK]
.guidb46.guidc93 configure -anchor "w" [TCL_OK]
.guidb46.guidc93 configure -background "SystemButtonFace" [TCL_ERROR]
Result : unknown color name "SystemButtonFace"
.guidb46.guidc93 configure -state "normal" [TCL_OK]
.guidb46.guidc93 configure -text "Reduction mutations ratio (0-100)" [TCL_OK]
spinbox .guidb46.guidcb1 [TCL_OK]
.guidb46.guidcb1 configure -background "SystemWindow" [TCL_ERROR]
Result : unknown color name "SystemWindow"
.guidb46.guidcb1 configure -from "0.000000" [TCL_OK]
.guidb46.guidcb1 configure -increment "1.000000" [TCL_OK]
.guidb46.guidcb1 configure -state "normal" [TCL_OK]
.guidb46.guidcb1 configure -textvariable "guidcb2" [TCL_OK]
.guidb46.guidcb1 configure -to "100.000000" [TCL_OK]
.guidb46.guidcb1 configure -values {} [TCL_OK]
.guidb46.guidcb1 configure -wrap "0" [TCL_OK]
label .guidb46.guidcd0 [TCL_OK]
.guidb46.guidcd0 configure -anchor "w" [TCL_OK]
.guidb46.guidcd0 configure -background "SystemButtonFace" [TCL_ERROR]
Result : unknown color name "SystemButtonFace"
.guidb46.guidcd0 configure -state "normal" [TCL_OK]
.guidb46.guidcd0 configure -text "Implicant expansion type" [TCL_OK]
spinbox .guidb46.guidcee [TCL_OK]
.guidb46.guidcee configure -background "SystemWindow" [TCL_ERROR]
Result : unknown color name "SystemWindow"
.guidb46.guidcee configure -state "readonly" [TCL_OK]
.guidb46.guidcee configure -textvariable "guidcef" [TCL_OK]
.guidb46.guidcee configure -values {{Sequential search} {Distributed multiple IE} {Distributed exhaustive IE} {Multiple IE} {Exhaustive IE} } [TCL_OK]
.guidb46.guidcee configure -wrap "1" [TCL_OK]
label .guidb46.guidd0d [TCL_OK]
.guidb46.guidd0d configure -anchor "w" [TCL_OK]
.guidb46.guidd0d configure -background "SystemButtonFace" [TCL_ERROR]
Result : unknown color name "SystemButtonFace"
.guidb46.guidd0d configure -state "normal" [TCL_OK]
.guidb46.guidd0d configure -text "Input file:" [TCL_OK]
entry .guidb46.guidd2b [TCL_OK]
.guidb46.guidd2b configure -background "SystemWindow" [TCL_ERROR]
Result : unknown color name "SystemWindow"
.guidb46.guidd2b configure -state "normal" [TCL_OK]
.guidb46.guidd2b configure -textvariable "guidd2c" [TCL_OK]
button .guidb46.guidd4a [TCL_OK]
.guidb46.guidd4a configure -background "SystemButtonFace" [TCL_ERROR]
Result : unknown color name "SystemButtonFace"
.guidb46.guidd4a configure -state "normal" [TCL_OK]
.guidb46.guidd4a configure -text "..." [TCL_OK]
label .guidb46.guidd68 [TCL_OK]
.guidb46.guidd68 configure -anchor "w" [TCL_OK]
.guidb46.guidd68 configure -background "SystemButtonFace" [TCL_ERROR]
Result : unknown color name "SystemButtonFace"
.guidb46.guidd68 configure -state "normal" [TCL_OK]
.guidb46.guidd68 configure -text "Output file:" [TCL_OK]
entry .guidb46.guidd86 [TCL_OK]
.guidb46.guidd86 configure -background "SystemWindow" [TCL_ERROR]
Result : unknown color name "SystemWindow"
.guidb46.guidd86 configure -state "normal" [TCL_OK]
.guidb46.guidd86 configure -textvariable "guidd87" [TCL_OK]
button .guidb46.guidda5 [TCL_OK]
.guidb46.guidda5 configure -background "SystemButtonFace" [TCL_ERROR]
Result : unknown color name "SystemButtonFace"
.guidb46.guidda5 configure -state "normal" [TCL_OK]
.guidb46.guidda5 configure -text "..." [TCL_OK]
button .guidb46.guiddc3 [TCL_OK]
.guidb46.guiddc3 configure -background "SystemButtonFace" [TCL_ERROR]
Result : unknown color name "SystemButtonFace"
.guidb46.guiddc3 configure -state "normal" [TCL_OK]
.guidb46.guiddc3 configure -text "OK" [TCL_OK]
label .guidb46.guidde1 [TCL_OK]
.guidb46.guidde1 configure -anchor "w" [TCL_OK]
.guidb46.guidde1 configure -background "SystemButtonFace" [TCL_ERROR]
Result : unknown color name "SystemButtonFace"
.guidb46.guidde1 configure -state "normal" [TCL_OK]
.guidb46.guidde1 configure -text "Covering problem solution algorithm" [TCL_OK]
spinbox .guidb46.guiddff [TCL_OK]
.guidb46.guiddff configure -background "SystemWindow" [TCL_ERROR]
Result : unknown color name "SystemWindow"
.guidb46.guiddff configure -state "readonly" [TCL_OK]
.guidb46.guiddff configure -textvariable "guide00" [TCL_OK]
.guidb46.guiddff configure -values {{LCMC} {Contributive selection} {Contributive removal} {Exact cover} } [TCL_OK]
.guidb46.guiddff configure -wrap "1" [TCL_OK]
label .guidb46.guide1e [TCL_OK]
.guidb46.guide1e configure -anchor "w" [TCL_OK]
.guidb46.guide1e configure -background "SystemButtonFace" [TCL_ERROR]
Result : unknown color name "SystemButtonFace"
.guidb46.guide1e configure -state "normal" [TCL_OK]
.guidb46.guide1e configure -text "Stop after" [TCL_OK]
spinbox .guidb46.guide3c [TCL_OK]
.guidb46.guide3c configure -background "SystemWindow" [TCL_ERROR]
Result : unknown color name "SystemWindow"
.guidb46.guide3c configure -increment "1.000000" [TCL_OK]
.guidb46.guide3c configure -state "normal" [TCL_OK]
.guidb46.guide3c configure -textvariable "guide3d" [TCL_OK]
.guidb46.guide3c configure -to "1410065408.000000" [TCL_OK]
.guidb46.guide3c configure -values {} [TCL_OK]
.guidb46.guide3c configure -wrap "0" [TCL_OK]
spinbox .guidb46.guide5b [TCL_OK]
.guidb46.guide5b configure -background "SystemWindow" [TCL_ERROR]
Result : unknown color name "SystemWindow"
.guidb46.guide5b configure -state "readonly" [TCL_OK]
.guidb46.guide5b configure -textvariable "guide5c" [TCL_OK]
.guidb46.guide5b configure -to "0.000000" [TCL_OK]
.guidb46.guide5b configure -values {{seconds} {iterations} {equal to stopping interval} {meet quality of solution} } [TCL_OK]
.guidb46.guide5b configure -wrap "1" [TCL_OK]
label .guidb46.guide7a [TCL_OK]
.guidb46.guide7a configure -anchor "w" [TCL_OK]
.guidb46.guide7a configure -background "SystemButtonFace" [TCL_ERROR]
Result : unknown color name "SystemButtonFace"
.guidb46.guide7a configure -state "normal" [TCL_OK]
.guidb46.guide7a configure -text "Optimalization criterion" [TCL_OK]
spinbox .guidb46.guide98 [TCL_OK]
.guidb46.guide98 configure -background "SystemWindow" [TCL_ERROR]
Result : unknown color name "SystemWindow"
.guidb46.guide98 configure -state "readonly" [TCL_OK]
.guidb46.guide98 configure -textvariable "guide99" [TCL_OK]
.guidb46.guide98 configure -values {{terms} {literals} {output cost} {literals + output cost} {number of gates} {number of gate equivalents} } [TCL_OK]
.guidb46.guide98 configure -wrap "1" [TCL_OK]
place .guidb46.guidb64 -in .guidb46 -x 4.000000 -y 24.000000 -width 64.000000 -height 24.000000 [TCL_OK]
place .guidb46.guidb82 -in .guidb46 -x 4.000000 -y 48.000000 -width 140.000000 -height 24.000000 [TCL_OK]
place .guidb46.guidba0 -in .guidb46 -x 179.000000 -y 48.000000 -width 48.000000 -height 24.000000 [TCL_OK]
place .guidb46.guidbbf -in .guidb46 -x 4.000000 -y 72.000000 -width 140.000000 -height 24.000000 [TCL_OK]
place .guidb46.guidbdd -in .guidb46 -x 179.000000 -y 72.000000 -width 48.000000 -height 24.000000 [TCL_OK]
place .guidb46.guidbfc -in .guidb46 -x 230.000000 -y 72.000000 -width 64.000000 -height 24.000000 [TCL_OK]
place .guidb46.guidc1a -in .guidb46 -x 300.000000 -y 72.000000 -width 64.000000 -height 24.000000 [TCL_OK]
place .guidb46.guidc38 -in .guidb46 -x 350.000000 -y 72.000000 -width 64.000000 -height 24.000000 [TCL_OK]
place .guidb46.guidc56 -in .guidb46 -x 4.000000 -y 96.000000 -width 164.000000 -height 24.000000 [TCL_OK]
place .guidb46.guidc74 -in .guidb46 -x 179.000000 -y 96.000000 -width 48.000000 -height 24.000000 [TCL_OK]
place .guidb46.guidc93 -in .guidb46 -x 4.000000 -y 120.000000 -width 164.000000 -height 24.000000 [TCL_OK]
place .guidb46.guidcb1 -in .guidb46 -x 179.000000 -y 120.000000 -width 48.000000 -height 24.000000 [TCL_OK]
place .guidb46.guidcd0 -in .guidb46 -x 4.000000 -y 144.000000 -width 164.000000 -height 24.000000 [TCL_OK]
place .guidb46.guidcee -in .guidb46 -x 179.000000 -y 144.000000 -width 150.000000 -height 24.000000 [TCL_OK]
place .guidb46.guidd0d -in .guidb46 -x 4.000000 -y 300.000000 -width 64.000000 -height 24.000000 [TCL_OK]
place .guidb46.guidd2b -in .guidb46 -x 169.000000 -y 300.000000 -width 150.000000 -height 24.000000 [TCL_OK]
place .guidb46.guidd4a -in .guidb46 -x 324.000000 -y 300.000000 -width 24.000000 -height 24.000000 [TCL_OK]
place .guidb46.guidd68 -in .guidb46 -x 4.000000 -y 324.000000 -width 64.000000 -height 24.000000 [TCL_OK]
place .guidb46.guidd86 -in .guidb46 -x 169.000000 -y 324.000000 -width 150.000000 -height 24.000000 [TCL_OK]
place .guidb46.guidda5 -in .guidb46 -x 324.000000 -y 324.000000 -width 24.000000 -height 24.000000 [TCL_OK]
place .guidb46.guiddc3 -in .guidb46 -x 169.000000 -y 375.000000 -width 128.000000 -height 24.000000 [TCL_OK]
place .guidb46.guidde1 -in .guidb46 -x 4.000000 -y 168.000000 -width 174.000000 -height 24.000000 [TCL_OK]
place .guidb46.guiddff -in .guidb46 -x 179.000000 -y 169.000000 -width 150.000000 -height 24.000000 [TCL_OK]
place .guidb46.guide1e -in .guidb46 -x 4.000000 -y 192.000000 -width 64.000000 -height 24.000000 [TCL_OK]
place .guidb46.guide3c -in .guidb46 -x 179.000000 -y 192.000000 -width 48.000000 -height 24.000000 [TCL_OK]
place .guidb46.guide5b -in .guidb46 -x 230.000000 -y 192.000000 -width 160.000000 -height 24.000000 [TCL_OK]
place .guidb46.guide7a -in .guidb46 -x 4.000000 -y 216.000000 -width 164.000000 -height 24.000000 [TCL_OK]
place .guidb46.guide98 -in .guidb46 -x 179.000000 -y 216.000000 -width 150.000000 -height 24.000000 [TCL_OK]
wm geometry .guidb46 431x437+478+389 [TCL_OK]
wm state .guidb46 withdrawn [TCL_OK]
wm title .guidb46 "boom" [TCL_OK]
place .guidb46.guidb64 -in .guidb46 -x 4.000000 -y 24.000000 -width 64.000000 -height 24.000000 [TCL_OK]
place .guidb46.guidb82 -in .guidb46 -x 4.000000 -y 48.000000 -width 140.000000 -height 24.000000 [TCL_OK]
place .guidb46.guidba0 -in .guidb46 -x 179.000000 -y 48.000000 -width 48.000000 -height 24.000000 [TCL_OK]
place .guidb46.guidbbf -in .guidb46 -x 4.000000 -y 72.000000 -width 140.000000 -height 24.000000 [TCL_OK]
place .guidb46.guidbdd -in .guidb46 -x 179.000000 -y 72.000000 -width 48.000000 -height 24.000000 [TCL_OK]
place .guidb46.guidbfc -in .guidb46 -x 230.000000 -y 72.000000 -width 64.000000 -height 24.000000 [TCL_OK]
place .guidb46.guidc1a -in .guidb46 -x 300.000000 -y 72.000000 -width 64.000000 -height 24.000000 [TCL_OK]
place .guidb46.guidc38 -in .guidb46 -x 350.000000 -y 72.000000 -width 64.000000 -height 24.000000 [TCL_OK]
place .guidb46.guidc56 -in .guidb46 -x 4.000000 -y 96.000000 -width 164.000000 -height 24.000000 [TCL_OK]
place .guidb46.guidc74 -in .guidb46 -x 179.000000 -y 96.000000 -width 48.000000 -height 24.000000 [TCL_OK]
place .guidb46.guidc93 -in .guidb46 -x 4.000000 -y 120.000000 -width 164.000000 -height 24.000000 [TCL_OK]
place .guidb46.guidcb1 -in .guidb46 -x 179.000000 -y 120.000000 -width 48.000000 -height 24.000000 [TCL_OK]
place .guidb46.guidcd0 -in .guidb46 -x 4.000000 -y 144.000000 -width 164.000000 -height 24.000000 [TCL_OK]
place .guidb46.guidcee -in .guidb46 -x 179.000000 -y 144.000000 -width 150.000000 -height 24.000000 [TCL_OK]
place .guidb46.guidd0d -in .guidb46 -x 4.000000 -y 300.000000 -width 64.000000 -height 24.000000 [TCL_OK]
place .guidb46.guidd2b -in .guidb46 -x 169.000000 -y 300.000000 -width 150.000000 -height 24.000000 [TCL_OK]
place .guidb46.guidd4a -in .guidb46 -x 324.000000 -y 300.000000 -width 24.000000 -height 24.000000 [TCL_OK]
place .guidb46.guidd68 -in .guidb46 -x 4.000000 -y 324.000000 -width 64.000000 -height 24.000000 [TCL_OK]
place .guidb46.guidd86 -in .guidb46 -x 169.000000 -y 324.000000 -width 150.000000 -height 24.000000 [TCL_OK]
place .guidb46.guidda5 -in .guidb46 -x 324.000000 -y 324.000000 -width 24.000000 -height 24.000000 [TCL_OK]
place .guidb46.guiddc3 -in .guidb46 -x 169.000000 -y 375.000000 -width 128.000000 -height 24.000000 [TCL_OK]
place .guidb46.guidde1 -in .guidb46 -x 4.000000 -y 168.000000 -width 174.000000 -height 24.000000 [TCL_OK]
place .guidb46.guiddff -in .guidb46 -x 179.000000 -y 169.000000 -width 150.000000 -height 24.000000 [TCL_OK]
place .guidb46.guide1e -in .guidb46 -x 4.000000 -y 192.000000 -width 64.000000 -height 24.000000 [TCL_OK]
place .guidb46.guide3c -in .guidb46 -x 179.000000 -y 192.000000 -width 48.000000 -height 24.000000 [TCL_OK]
place .guidb46.guide5b -in .guidb46 -x 230.000000 -y 192.000000 -width 160.000000 -height 24.000000 [TCL_OK]
place .guidb46.guide7a -in .guidb46 -x 4.000000 -y 216.000000 -width 164.000000 -height 24.000000 [TCL_OK]
place .guidb46.guide98 -in .guidb46 -x 179.000000 -y 216.000000 -width 150.000000 -height 24.000000 [TCL_OK]
