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 oo <4\ ]/]HOL-Word:threads=6elapsed=10.129cpu=49.000gc=1.928factor=4.847zXZִF! ]ŗXf1-q恈͐7ӺV /K!W8DNKY>OjxiKGnC)p?y\/{:ZnKye:ai+i_w듈~K|gUUc xҶb2a5 4l7ߚD[F$TCx~JVr}7|,-ޱw .3ruO15] 0q[&JÏ\ҿ#,?`ϯ ]C[|J'kg59ލ)'3 DR*&e,u[Df(n}Wm dV*$X7ONðxRL죓v7hFcu8CYc7b[ SX*>z\M@vцZٱe$ u<Z)x #.6*G ~q[?~.a9k-" $#%l uE>:Q2H\qߥw?5uܔt15UvZsuE?A)iL:HUkÀ3Gg8'o+&$2wTx**9_>A^I]Ko}yJX\09lZSދTia(b$8æO(n dTڹEեRAvqK}j/PǢ.=PY+JUgYZ7zXZִF! ?]ŗXiɟ1}?қѱfدyQ2$2|B.A.̍GB BG l?"G|?¸GT#0 v̶,gW'Ivy u=0lWHn|#@̢0W C.aH.rwI'YS 2AiGOWc+OFRuK@eMVNEU(D.4X6%<(,6IOl"e^h[R زⱆu$n]4b^8Hw"XNQET.HtC0 ]YRJ4[e%y3kI?|VJ -]U'_88S)ĈwN<~*FQ;Jt@M C9ܱgYZ7zXZִF! 2f]ŗXi%@Z懭]] "7&J&^lWfhl۲wa~"g֭"49U{- !)g@VRʒ613 "NTd,mxÎ{E:nSIͦDjOmH|zבU|7OGNg\6oqwcŹ2br-!'tRˎX6l!#=R 0z8 z%"Lo r=hr<_{w:C?;-ҾNGA~N Wv& ԵV|\J#T!e;@XMDHJ@Mފ'M6y"e$G9`K"wjC0UR| ]MX{H~}#r-;K9}Dv سilsftn[0kf1QFl|'WLОNrZǐ<B9>Ы8 Zǩ3/]}7$rl(ְ8Kr0,30srՆiQR`ҴPlB|0mNw$3BBFU,#T͓ 1+]Nt:Rcm3ѰsTI޻ku_7M#QCbu6U}5=@7