wm state . withdrawn [TCL_OK]
toplevel .guid3d [TCL_OK]
.guid3d configure -background "SystemButtonFace" [TCL_OK]
label .guid3d.guid5b [TCL_OK]
.guid3d.guid5b configure -anchor "w" [TCL_OK]
.guid3d.guid5b configure -background "SystemButtonFace" [TCL_OK]
.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_OK]
.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_OK]
.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_OK]
.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_OK]
.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_OK]
.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_OK]
.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_OK]
.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_OK]
.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_OK]
.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_OK]
.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_OK]
.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_OK]
.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_OK]
.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_OK]
.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_OK]
.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_OK]
.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_OK]
.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_OK]
.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_OK]
.guid3d.guid29c configure -state "normal" [TCL_OK]
.guid3d.guid29c configure -text "..." [TCL_OK]
button .guid3d.guid2ba [TCL_OK]
.guid3d.guid2ba configure -background "SystemButtonFace" [TCL_OK]
.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_OK]
.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_OK]
.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_OK]
.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_OK]
.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_OK]
.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_OK]
.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_OK]
.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]
toplevel .guid3af [TCL_OK]
.guid3af configure -background "SystemButtonFace" [TCL_OK]
label .guid3af.guid3cd [TCL_OK]
.guid3af.guid3cd configure -anchor "w" [TCL_OK]
.guid3af.guid3cd configure -background "SystemButtonFace" [TCL_OK]
.guid3af.guid3cd configure -state "normal" [TCL_OK]
.guid3af.guid3cd configure -text "FC-min" [TCL_OK]
label .guid3af.guid3eb [TCL_OK]
.guid3af.guid3eb configure -anchor "w" [TCL_OK]
.guid3af.guid3eb configure -background "SystemButtonFace" [TCL_OK]
.guid3af.guid3eb configure -state "normal" [TCL_OK]
.guid3af.guid3eb configure -text "CD-search ratio n (0-100)" [TCL_OK]
spinbox .guid3af.guid409 [TCL_OK]
.guid3af.guid409 configure -background "SystemWindow" [TCL_OK]
.guid3af.guid409 configure -increment "1.000000" [TCL_OK]
.guid3af.guid409 configure -state "normal" [TCL_OK]
.guid3af.guid409 configure -textvariable "guid40a" [TCL_OK]
.guid3af.guid409 configure -to "100.000000" [TCL_OK]
.guid3af.guid409 configure -values {} [TCL_OK]
.guid3af.guid409 configure -wrap "0" [TCL_OK]
label .guid3af.guid428 [TCL_OK]
.guid3af.guid428 configure -anchor "w" [TCL_OK]
.guid3af.guid428 configure -background "SystemButtonFace" [TCL_OK]
.guid3af.guid428 configure -state "normal" [TCL_OK]
.guid3af.guid428 configure -text "Depth Factor" [TCL_OK]
spinbox .guid3af.guid446 [TCL_OK]
.guid3af.guid446 configure -background "SystemWindow" [TCL_OK]
.guid3af.guid446 configure -increment "1.000000" [TCL_OK]
.guid3af.guid446 configure -state "normal" [TCL_OK]
.guid3af.guid446 configure -textvariable "guid447" [TCL_OK]
.guid3af.guid446 configure -to "100000000.000000" [TCL_OK]
.guid3af.guid446 configure -values {} [TCL_OK]
.guid3af.guid446 configure -wrap "0" [TCL_OK]
label .guid3af.guid465 [TCL_OK]
.guid3af.guid465 configure -anchor "w" [TCL_OK]
.guid3af.guid465 configure -background "SystemButtonFace" [TCL_OK]
.guid3af.guid465 configure -state "normal" [TCL_OK]
.guid3af.guid465 configure -text "Direction :" [TCL_OK]
radiobutton .guid3af.guid483 [TCL_OK]
.guid3af.guid483 configure -anchor "w" [TCL_OK]
.guid3af.guid483 configure -background "SystemButtonFace" [TCL_OK]
.guid3af.guid483 configure -state "normal" [TCL_OK]
.guid3af.guid483 configure -text "1:n" [TCL_OK]
.guid3af.guid483 configure -value "guid483" [TCL_OK]
.guid3af.guid483 configure -variable "guid703" [TCL_OK]
.guid3af.guid483 select [TCL_OK]
radiobutton .guid3af.guid4a1 [TCL_OK]
.guid3af.guid4a1 configure -background "SystemButtonFace" [TCL_OK]
.guid3af.guid4a1 configure -state "normal" [TCL_OK]
.guid3af.guid4a1 configure -text "n:1" [TCL_OK]
.guid3af.guid4a1 configure -value "guid4a1" [TCL_OK]
.guid3af.guid4a1 configure -variable "guid703" [TCL_OK]
label .guid3af.guid4bf [TCL_OK]
.guid3af.guid4bf configure -anchor "w" [TCL_OK]
.guid3af.guid4bf configure -background "SystemButtonFace" [TCL_OK]
.guid3af.guid4bf configure -state "normal" [TCL_OK]
.guid3af.guid4bf configure -text "CD-search mutations ratio (0-100)" [TCL_OK]
spinbox .guid3af.guid4dd [TCL_OK]
.guid3af.guid4dd configure -background "SystemWindow" [TCL_OK]
.guid3af.guid4dd configure -state "normal" [TCL_OK]
.guid3af.guid4dd configure -textvariable "guid4de" [TCL_OK]
.guid3af.guid4dd configure -to "100.000000" [TCL_OK]
.guid3af.guid4dd configure -wrap "0" [TCL_OK]
label .guid3af.guid4fc [TCL_OK]
.guid3af.guid4fc configure -anchor "w" [TCL_OK]
.guid3af.guid4fc configure -background "SystemButtonFace" [TCL_OK]
.guid3af.guid4fc configure -state "normal" [TCL_OK]
.guid3af.guid4fc configure -text "Reduction mutations ratio (0-100)" [TCL_OK]
spinbox .guid3af.guid51a [TCL_OK]
.guid3af.guid51a configure -background "SystemWindow" [TCL_OK]
.guid3af.guid51a configure -from "0.000000" [TCL_OK]
.guid3af.guid51a configure -increment "1.000000" [TCL_OK]
.guid3af.guid51a configure -state "normal" [TCL_OK]
.guid3af.guid51a configure -textvariable "guid51b" [TCL_OK]
.guid3af.guid51a configure -to "100.000000" [TCL_OK]
.guid3af.guid51a configure -values {} [TCL_OK]
.guid3af.guid51a configure -wrap "0" [TCL_OK]
label .guid3af.guid539 [TCL_OK]
.guid3af.guid539 configure -anchor "w" [TCL_OK]
.guid3af.guid539 configure -background "SystemButtonFace" [TCL_OK]
.guid3af.guid539 configure -state "normal" [TCL_OK]
.guid3af.guid539 configure -text "Implicant expansion type" [TCL_OK]
spinbox .guid3af.guid557 [TCL_OK]
.guid3af.guid557 configure -background "SystemWindow" [TCL_OK]
.guid3af.guid557 configure -state "readonly" [TCL_OK]
.guid3af.guid557 configure -textvariable "guid558" [TCL_OK]
.guid3af.guid557 configure -values {{Sequential search} {Distributed multiple IE} {Distributed exhaustive IE} {Multiple IE} {Exhaustive IE} } [TCL_OK]
.guid3af.guid557 configure -wrap "1" [TCL_OK]
label .guid3af.guid576 [TCL_OK]
.guid3af.guid576 configure -anchor "w" [TCL_OK]
.guid3af.guid576 configure -background "SystemButtonFace" [TCL_OK]
.guid3af.guid576 configure -state "normal" [TCL_OK]
.guid3af.guid576 configure -text "Input file:" [TCL_OK]
entry .guid3af.guid594 [TCL_OK]
.guid3af.guid594 configure -background "SystemWindow" [TCL_OK]
.guid3af.guid594 configure -state "normal" [TCL_OK]
.guid3af.guid594 configure -textvariable "guid595" [TCL_OK]
button .guid3af.guid5b3 [TCL_OK]
.guid3af.guid5b3 configure -background "SystemButtonFace" [TCL_OK]
.guid3af.guid5b3 configure -state "normal" [TCL_OK]
.guid3af.guid5b3 configure -text "..." [TCL_OK]
label .guid3af.guid5d1 [TCL_OK]
.guid3af.guid5d1 configure -anchor "w" [TCL_OK]
.guid3af.guid5d1 configure -background "SystemButtonFace" [TCL_OK]
.guid3af.guid5d1 configure -state "normal" [TCL_OK]
.guid3af.guid5d1 configure -text "Output file:" [TCL_OK]
entry .guid3af.guid5ef [TCL_OK]
.guid3af.guid5ef configure -background "SystemWindow" [TCL_OK]
.guid3af.guid5ef configure -state "normal" [TCL_OK]
.guid3af.guid5ef configure -textvariable "guid5f0" [TCL_OK]
button .guid3af.guid60e [TCL_OK]
.guid3af.guid60e configure -background "SystemButtonFace" [TCL_OK]
.guid3af.guid60e configure -state "normal" [TCL_OK]
.guid3af.guid60e configure -text "..." [TCL_OK]
button .guid3af.guid62c [TCL_OK]
.guid3af.guid62c configure -background "SystemButtonFace" [TCL_OK]
.guid3af.guid62c configure -state "normal" [TCL_OK]
.guid3af.guid62c configure -text "OK" [TCL_OK]
label .guid3af.guid64a [TCL_OK]
.guid3af.guid64a configure -anchor "w" [TCL_OK]
.guid3af.guid64a configure -background "SystemButtonFace" [TCL_OK]
.guid3af.guid64a configure -state "normal" [TCL_OK]
.guid3af.guid64a configure -text "Covering problem solution algorithm" [TCL_OK]
spinbox .guid3af.guid668 [TCL_OK]
.guid3af.guid668 configure -background "SystemWindow" [TCL_OK]
.guid3af.guid668 configure -state "readonly" [TCL_OK]
.guid3af.guid668 configure -textvariable "guid669" [TCL_OK]
.guid3af.guid668 configure -values {{LCMC} {Contributive selection} {Contributive removal} {Exact cover} } [TCL_OK]
.guid3af.guid668 configure -wrap "1" [TCL_OK]
label .guid3af.guid687 [TCL_OK]
.guid3af.guid687 configure -anchor "w" [TCL_OK]
.guid3af.guid687 configure -background "SystemButtonFace" [TCL_OK]
.guid3af.guid687 configure -state "normal" [TCL_OK]
.guid3af.guid687 configure -text "Stop after" [TCL_OK]
spinbox .guid3af.guid6a5 [TCL_OK]
.guid3af.guid6a5 configure -background "SystemWindow" [TCL_OK]
.guid3af.guid6a5 configure -increment "1.000000" [TCL_OK]
.guid3af.guid6a5 configure -state "normal" [TCL_OK]
.guid3af.guid6a5 configure -textvariable "guid6a6" [TCL_OK]
.guid3af.guid6a5 configure -to "1410065408.000000" [TCL_OK]
.guid3af.guid6a5 configure -values {} [TCL_OK]
.guid3af.guid6a5 configure -wrap "0" [TCL_OK]
spinbox .guid3af.guid6c4 [TCL_OK]
.guid3af.guid6c4 configure -background "SystemWindow" [TCL_OK]
.guid3af.guid6c4 configure -state "readonly" [TCL_OK]
.guid3af.guid6c4 configure -textvariable "guid6c5" [TCL_OK]
.guid3af.guid6c4 configure -to "0.000000" [TCL_OK]
.guid3af.guid6c4 configure -values {{seconds} {iterations} {equal to stopping interval} {meet quality of solution} } [TCL_OK]
.guid3af.guid6c4 configure -wrap "1" [TCL_OK]
label .guid3af.guid6e3 [TCL_OK]
.guid3af.guid6e3 configure -anchor "w" [TCL_OK]
.guid3af.guid6e3 configure -background "SystemButtonFace" [TCL_OK]
.guid3af.guid6e3 configure -state "normal" [TCL_OK]
.guid3af.guid6e3 configure -text "Optimalization criterion" [TCL_OK]
spinbox .guid3af.guid701 [TCL_OK]
.guid3af.guid701 configure -background "SystemWindow" [TCL_OK]
.guid3af.guid701 configure -state "readonly" [TCL_OK]
.guid3af.guid701 configure -textvariable "guid702" [TCL_OK]
.guid3af.guid701 configure -values {{terms} {literals} {output cost} {literals + output cost} {number of gates} {number of gate equivalents} } [TCL_OK]
.guid3af.guid701 configure -wrap "1" [TCL_OK]
place .guid3af.guid3cd -in .guid3af -x 4.000000 -y 24.000000 -width 64.000000 -height 24.000000 [TCL_OK]
place .guid3af.guid3eb -in .guid3af -x 4.000000 -y 48.000000 -width 140.000000 -height 24.000000 [TCL_OK]
place .guid3af.guid409 -in .guid3af -x 179.000000 -y 48.000000 -width 48.000000 -height 24.000000 [TCL_OK]
place .guid3af.guid428 -in .guid3af -x 4.000000 -y 72.000000 -width 140.000000 -height 24.000000 [TCL_OK]
place .guid3af.guid446 -in .guid3af -x 179.000000 -y 72.000000 -width 48.000000 -height 24.000000 [TCL_OK]
place .guid3af.guid465 -in .guid3af -x 230.000000 -y 72.000000 -width 64.000000 -height 24.000000 [TCL_OK]
place .guid3af.guid483 -in .guid3af -x 300.000000 -y 72.000000 -width 64.000000 -height 24.000000 [TCL_OK]
place .guid3af.guid4a1 -in .guid3af -x 350.000000 -y 72.000000 -width 64.000000 -height 24.000000 [TCL_OK]
place .guid3af.guid4bf -in .guid3af -x 4.000000 -y 96.000000 -width 164.000000 -height 24.000000 [TCL_OK]
place .guid3af.guid4dd -in .guid3af -x 179.000000 -y 96.000000 -width 48.000000 -height 24.000000 [TCL_OK]
place .guid3af.guid4fc -in .guid3af -x 4.000000 -y 120.000000 -width 164.000000 -height 24.000000 [TCL_OK]
place .guid3af.guid51a -in .guid3af -x 179.000000 -y 120.000000 -width 48.000000 -height 24.000000 [TCL_OK]
place .guid3af.guid539 -in .guid3af -x 4.000000 -y 144.000000 -width 164.000000 -height 24.000000 [TCL_OK]
place .guid3af.guid557 -in .guid3af -x 179.000000 -y 144.000000 -width 150.000000 -height 24.000000 [TCL_OK]
place .guid3af.guid576 -in .guid3af -x 4.000000 -y 300.000000 -width 64.000000 -height 24.000000 [TCL_OK]
place .guid3af.guid594 -in .guid3af -x 169.000000 -y 300.000000 -width 150.000000 -height 24.000000 [TCL_OK]
place .guid3af.guid5b3 -in .guid3af -x 324.000000 -y 300.000000 -width 24.000000 -height 24.000000 [TCL_OK]
place .guid3af.guid5d1 -in .guid3af -x 4.000000 -y 324.000000 -width 64.000000 -height 24.000000 [TCL_OK]
place .guid3af.guid5ef -in .guid3af -x 169.000000 -y 324.000000 -width 150.000000 -height 24.000000 [TCL_OK]
place .guid3af.guid60e -in .guid3af -x 324.000000 -y 324.000000 -width 24.000000 -height 24.000000 [TCL_OK]
place .guid3af.guid62c -in .guid3af -x 169.000000 -y 375.000000 -width 128.000000 -height 24.000000 [TCL_OK]
place .guid3af.guid64a -in .guid3af -x 4.000000 -y 168.000000 -width 174.000000 -height 24.000000 [TCL_OK]
place .guid3af.guid668 -in .guid3af -x 179.000000 -y 169.000000 -width 150.000000 -height 24.000000 [TCL_OK]
place .guid3af.guid687 -in .guid3af -x 4.000000 -y 192.000000 -width 64.000000 -height 24.000000 [TCL_OK]
place .guid3af.guid6a5 -in .guid3af -x 179.000000 -y 192.000000 -width 48.000000 -height 24.000000 [TCL_OK]
place .guid3af.guid6c4 -in .guid3af -x 230.000000 -y 192.000000 -width 160.000000 -height 24.000000 [TCL_OK]
place .guid3af.guid6e3 -in .guid3af -x 4.000000 -y 216.000000 -width 164.000000 -height 24.000000 [TCL_OK]
place .guid3af.guid701 -in .guid3af -x 179.000000 -y 216.000000 -width 150.000000 -height 24.000000 [TCL_OK]
wm geometry .guid3af 431x437+478+389 [TCL_OK]
wm state .guid3af withdrawn [TCL_OK]
wm title .guid3af "boom" [TCL_OK]
place .guid3af.guid3cd -in .guid3af -x 4.000000 -y 24.000000 -width 64.000000 -height 24.000000 [TCL_OK]
place .guid3af.guid3eb -in .guid3af -x 4.000000 -y 48.000000 -width 140.000000 -height 24.000000 [TCL_OK]
place .guid3af.guid409 -in .guid3af -x 179.000000 -y 48.000000 -width 48.000000 -height 24.000000 [TCL_OK]
place .guid3af.guid428 -in .guid3af -x 4.000000 -y 72.000000 -width 140.000000 -height 24.000000 [TCL_OK]
place .guid3af.guid446 -in .guid3af -x 179.000000 -y 72.000000 -width 48.000000 -height 24.000000 [TCL_OK]
place .guid3af.guid465 -in .guid3af -x 230.000000 -y 72.000000 -width 64.000000 -height 24.000000 [TCL_OK]
place .guid3af.guid483 -in .guid3af -x 300.000000 -y 72.000000 -width 64.000000 -height 24.000000 [TCL_OK]
place .guid3af.guid4a1 -in .guid3af -x 350.000000 -y 72.000000 -width 64.000000 -height 24.000000 [TCL_OK]
place .guid3af.guid4bf -in .guid3af -x 4.000000 -y 96.000000 -width 164.000000 -height 24.000000 [TCL_OK]
place .guid3af.guid4dd -in .guid3af -x 179.000000 -y 96.000000 -width 48.000000 -height 24.000000 [TCL_OK]
place .guid3af.guid4fc -in .guid3af -x 4.000000 -y 120.000000 -width 164.000000 -height 24.000000 [TCL_OK]
place .guid3af.guid51a -in .guid3af -x 179.000000 -y 120.000000 -width 48.000000 -height 24.000000 [TCL_OK]
place .guid3af.guid539 -in .guid3af -x 4.000000 -y 144.000000 -width 164.000000 -height 24.000000 [TCL_OK]
place .guid3af.guid557 -in .guid3af -x 179.000000 -y 144.000000 -width 150.000000 -height 24.000000 [TCL_OK]
place .guid3af.guid576 -in .guid3af -x 4.000000 -y 300.000000 -width 64.000000 -height 24.000000 [TCL_OK]
place .guid3af.guid594 -in .guid3af -x 169.000000 -y 300.000000 -width 150.000000 -height 24.000000 [TCL_OK]
place .guid3af.guid5b3 -in .guid3af -x 324.000000 -y 300.000000 -width 24.000000 -height 24.000000 [TCL_OK]
place .guid3af.guid5d1 -in .guid3af -x 4.000000 -y 324.000000 -width 64.000000 -height 24.000000 [TCL_OK]
place .guid3af.guid5ef -in .guid3af -x 169.000000 -y 324.000000 -width 150.000000 -height 24.000000 [TCL_OK]
place .guid3af.guid60e -in .guid3af -x 324.000000 -y 324.000000 -width 24.000000 -height 24.000000 [TCL_OK]
place .guid3af.guid62c -in .guid3af -x 169.000000 -y 375.000000 -width 128.000000 -height 24.000000 [TCL_OK]
place .guid3af.guid64a -in .guid3af -x 4.000000 -y 168.000000 -width 174.000000 -height 24.000000 [TCL_OK]
place .guid3af.guid668 -in .guid3af -x 179.000000 -y 169.000000 -width 150.000000 -height 24.000000 [TCL_OK]
place .guid3af.guid687 -in .guid3af -x 4.000000 -y 192.000000 -width 64.000000 -height 24.000000 [TCL_OK]
place .guid3af.guid6a5 -in .guid3af -x 179.000000 -y 192.000000 -width 48.000000 -height 24.000000 [TCL_OK]
place .guid3af.guid6c4 -in .guid3af -x 230.000000 -y 192.000000 -width 160.000000 -height 24.000000 [TCL_OK]
place .guid3af.guid6e3 -in .guid3af -x 4.000000 -y 216.000000 -width 164.000000 -height 24.000000 [TCL_OK]
place .guid3af.guid701 -in .guid3af -x 179.000000 -y 216.000000 -width 150.000000 -height 24.000000 [TCL_OK]
wm state .guid3af normal [TCL_OK]
wm title .guid3af "boom b1" [TCL_OK]
bind .guid3af.guid5b3 <ButtonRelease> {onevent "guid598" %# %i %t %R %S %T %W %E %b %s %x %y %X %Y } [TCL_OK]
bind .guid3af.guid60e <ButtonRelease> {onevent "guid5f3" %# %i %t %R %S %T %W %E %b %s %x %y %X %Y } [TCL_OK]
bind .guid3af.guid62c <ButtonRelease> {onevent "guid611" %# %i %t %R %S %T %W %E %b %s %x %y %X %Y } [TCL_OK]
tk_getOpenFile [TCL_OK]
