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 K7 T ]/ Transitive-Closure-II:threads=2elapsed=13.924cpu=21.992gc=0.812factor=1.587zXZִF! ]ŗXf1-q恈͐7ӺV 0t ŠdrviJ#UHlyzyU<=^Q~} S)hOvP0鵵WQT=*9Tc,I'&r)!'|Ea8`E9.*jC̑G$#H3@@"Z{ˆA6Υ^̆lMa:_d,(Fi;rw߉!>a2["\Z-A@r׼2Q`UYV ƅe⍌>d3~)Qx0cp`8S.e1zTkŐ @@a^Pc*!$Գk@Gh$2Cj1턀,0w|~Imܥ: wSC`x d,ާ1pG,5Gas$ew+B>\ALZMtgYZ7zXZִF! ]ŗXiɟ1˦rXs=>HXU0Q-/ri@#\9TB#3Zho#L"#s}pm lgcڌD`0gK5"M0bX aՒɎiH/S$AATl/!gZ&BLKn$#Kl&?- tK޼~`Pģ8 u(#+dFㇹJ6w` yz޸*f￁YM5Rz5PGs Oz%@Q1ǃY>Y>/Gv͋xmo1qr[OȥeO#Aܔg NbX. Ym65)rs/E $fWenDZ cf 5a85T.a)[bG[Z-K,ve+CHf`jnJ2mSRIݭYKOc&W> LcLyF2Gd‡wj_8 lS韎 KC !JF&W#׹ˊ,̙51ޯ$[BL"ȕe0 n" 4J?xhOTt o`ڪKvx%EF] ֞T`;cH_qI, J Rr}QǸr?-ZuX.E. b2T3 +]  )zVn#80jcN,jר#JTD9xxX߄v#=7 %O}T]Z ^yPD'@%}r&j懈ۙ=Bw¹bw{n7OVo8J&fZs2#,33x3z s) B!l> 7S츋áAm\M*1P&ZRCeF`,x:*eХDl_brhf @4Hh[@[ pJ8ڗdΣST"n62NF'mω4.`vi 0o?a0rE/@8YfP Ox D9)q+3s֦u/t~>Nb:gQmlٌvu^hd+mG zIcuUXPy#J6CO/CإyU_;!cR=Ƙ10NjA[W_Nc@` 4;pU eOgYZe16939b633703031ea65086450fd06287943409e0779f416e0333e930b31960d36caa48e35918b68 b6896307526a9838816e0ef6f162a79ce98e509f 7 Transitive-Closure-II