SQLite format 3@ .;  B --?tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "executable" INTEGER, "compressed" INTEGER, "body" BLOB, PRIMARY KEY (session_name, theory_name, name))?S-indexsqlite_autoindex_isabelle_exports_1isabelle_exportsh77otableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "theory_timings" BLOB, "ml_statistics" BLOB, "task_statistics" BLOB, "errors" BLOB, "sources" TEXT, "input_heaps" TEXT, "output_heap" TEXT, "return_code" INTEGER, PRIMARY KEY (session_name))I]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info c1 tTl ]/ Tree_Decomposition:threads=4elapsed=4.958cpu=14.608gc=0.436factor=2.957zXZִF! A2]ŗXf[&}/;`h ;,`%uUxp)ayP_g-w#%n5r1>r="tH(-f]r Z~RΔ&o\7: ;JpMX x6}3Iߣ3ZYG li6ME sULI)QZEtԂcO[ҖH;zl\P꺃3Xf)6%HNrPqޱ NN0urU;Ӎn?EmQA脖H i~PnDgYZ7zXZִF! ]ŗXiɟl%_LW\Y1d.^(^SG㿢?6^.^b +Vѝ|_1/hSYغs`.:7+b1m& rpGY6_- "##KXh-·8Iӹ{3VzUgYZ7zXZִF! 4n]ŗXi%L SGRg+`p-V<)6Y7kw g!!9ǯ*v/I_=m'AkCnˆTƆ\ pYT~Au(v!0'D Չd~Yb遞y#@kT>=54_Xfyb02'uSJbW?)Q)ZKih.r˜[8Z3Bԭ܃jgʿ#dPYLdxaT<0`-/+;6t@@ջ-CC^Vy d[dj;ahۦVmVzm߆/p“%Z8FfOPg+]Ƀ3ĩUW.JFTkdZP\crǘza5k cwbHL"P18~3W ([frCWdĹoagt Gd' 8O0e !T?߰ySAVP;"ɍFC \nb]*Mِ_Kgb41Ve{q$ै5vvf;-'.gƆ)_"?9g 3^>9"V=*?*76qvjtOBx i$<gYZ3d045831de63193350f3e384048feb513530a6f5d3f90704504dab3f9fc94e3d143d1180eb260c4a 05a03eacc3059078cac786ce4b0187a596b54f20 1 Tree_Decomposition