SQLite format 3@ .0:  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 rr 1 |\, ]/ Tree_Decomposition:threads=4elapsed=4.901cpu=14.292gc=0.464factor=2.927zXZִF!  6]ŗXf[&}/;`h ;,`%uUxp)ayP_g-w#%n5r1>r=k.ŢAl{ݔ3MjGqdO^Y+-2dv}bbGv^ {AY-,\Riv3a*~I?q|D*@dj3=0،TsUl_T[N&bΟj=*ct2 r0s1 "$#F˯#8[(qO"`.Q*ah ?ls̍dݤ xi Q"CHO06[ϡxgYZ7zXZִF! ]ŗXiɟl%_LW\Y1d.^(^S*!h?X}o%х6a{ƞM(#[՘ȩaUUk.ޓݻjt{X=>ՖF ob! }doWC 5h۲ݳ6vs?6Z#-sxsΔ#Cڰp2@A(ٱܪtFr-ɇu"r˟X}(npsUP@/ӒumP &Zd%aGc6֌u MbC{rL/3F}", K+_sItY7'Jž꫘G=]O2 <\{v)ɏ-?@XՒ5*`QH2޼Is8f*.SF +~jՌZ!-:V,ťs5>(kza͓| cvYj@.7^ogFดE62*x塊7|.aͪ`TE 8D綒,n\x{sdҎJYpęk>ðz #%%"KwӾ>[ດDG_ºsrI; ei f9hp5xRee:q,/H7>eDi m쁃5Nd03 c8(t+rCEՖ\"]b\nQ4A !laah~͑ +ouH1 lʭSL xN9ݡ>|@&rdڅ}?nВ2mi`~C, c=saYhA l;Crd',gYZ2f3d62a979fbd32e630111308a291e961018ed224b4d09c9c1841a4f01c8958af89ec039a11204c4 f852689b23f90c1209b23c794bf5ab75a3b8eaf2 1 Tree_Decomposition