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 22K1 t\4 ]/ Tree_Decomposition:threads=4elapsed=5.214cpu=15.472gc=0.580factor=2.977zXZִF! q]ŗXf[&}/;`h ;,`%uUxp)ayP_g-w#%n5r1>r3su#{S-yB[%+SNxޟHra$t k٬03RA^I!rtӥ 6SaC՛TKt~.JX1P":g̪@Ap~׾<3y&,, Ϩ$x_0921oXH2$u\2kf `Vu kkV؞R~xd"J.}9 ]E"AɲNO$U6ON$gW=P' QaE& ]J&ZJl)g1)gYZ7zXZִF! ]ŗXiɟl%_LW\Y1d.^(^S&/]1D?{?k&`bEoJd|~--arbk^I^ wS>BɁod񍲪A_Z<{zMn)?f&X_B0{.jLgYZ7zXZִF! 2]ŗXi%L 0`?쾇*ʼn gh3I "F -#8kE_$9>8R I}mkfOzp )2cO[z{nتF V\4)e~4JGDܯ(U$mG W x\dޏ>,7K| zg"[5Y]je<v82`2zc )XEU`'D#cǥYJdsQ4<6ty~ <[B/'`*tuft'm_ |-\ط(ֿʾU,T«c"`ALG3}N6:̀Awנo 4}!Wrċ7>;>_{ËѢ$ʫ LNE~s-m빝EǢYzY9JS}W! _+/Yo6Qݳ8IfOpfUk@fF끨/{(mZDe*TQ#2^0~\t*{lalA!huu' 汥 v)(֑?_ Wrp[6LwB#7s JzjW.ʕN3jU-?Xh K8 9K֠ )3UeZM;$"cFKGnUB/ڲsZ_eOͽAx;^ˍw֌&۹DigQ`NR! q3_ #`gǂBfR44C{j !كz{Jl ; ,Yhbal909_JaJV0fYdLytvp7ۂoͭr'9![Yu=g`sPݫ<歨\uf hZ|ǰ&2yD>(JJ\.T;X }3p"#%$5B˺j"e<+m(?Q8d5EgYZc4a28f57115ab878f1bc60d7af55ee075c0c1d54d3f90704504dab3f9fc94e3d143d1180eb260c4a f6ffa714dac548bd1fa745e8527624877a3ec1f3 1 Tree_Decomposition