SQLite format 3@ .  B p--tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "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 ?1 dl ]/ Tree_Decomposition:threads=4elapsed=5.332cpu=15.692gc=0.376factor=2.947zXZִF! zi]ŗXf[&}/;`h ;,`%uUxp)a|yg-w#%n5r1>{aЀp?;Q6^Aq0@<"wx`^=Og-΂#8s@n}.Z8R j% 'fʃ7-֏蜟zY0vSŇ]%e7xѢV@]$ sST4jKb Y:}:Weɝ' V6¶]l#"|QjGxw ?Z20 Gl4/W\ۃri{M=BMgYZ7zXZִF! ]ŗXiɟl%_LW\Y1d.^(^ScL/t0 K>FBfQmXR5F]XXJୱ=tɊ UJIrvũnؓsow`gѨl+nwyFN!_*je J.gYZ7zXZִF! -]ŗXi%@b^~Z9 o#`[ZP) \N\fȤ_"QȅCߔM0>δ:|k$P|sh@ HTAbFJJF(O(-/FH%?QΒUy9J(۩K͠4O .A1~NZb BdKXdsQy31*M(7K6ǧ~w\lA%4d{gV*/#'- ~H.2X3G,|>BaS<͌6W "J}O%, #Ty`0߬%@E;͒Py،>~L;wD\2~gi- lQӿg 寕#:U (tY$=OpDs$se8ab8wұ0GkCؽ͋`-Y؋.:c".MqJwc;2ui[3qltg-S"Njr Տ:@-בGLY3֚uV2/;!?II @^kYO9Hm8(Lo@o>:;4}i[8nq Иb1QzJ.}G4JǕEAVWA"!e}=&̻#VWEB tLӣp)ڴruGu`90ؼΑ3c{*J$-( ^s7J\P%cJFoYE=E>JX5s09 7ڈҸ?%Pbm+;5%j :R)UW@`um%װ*^ymJ?T2 v[?hQ}gYZ168955205b6359d6e7c3cc8c529203092f00535831f92072f849172c668aadca4c36428f18253840 bb6d91cc82c83410f56f890ddd921ae98427d5a5 1 Tree_Decomposition