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 f u(x3uyMQa|)h1j6D2H.Da_&mTAϟKt AteS@ q{(|َ4^kWXVoY>w{1,}>)M SN.ŘfOVY.`C*"4,ge \dwya;f8x薢3pwL3㯦u)d/3Dz.jȗVc%`V9) A nbefyߪfsa&f">9̥Seu;jO/q!Ͽq栋AM,1&)e.^GETrCZEO N7gD(췚&T%Wˁ+!9 DZ.kq݇E[6'$S iIk q<m .V.:J)@?Շ_qvVd%<*gYZ7zXZִF! +]ŗXiɟ 1FE`空>ͽ_3ZZK`;>V'{fcB! kqnL1$X(ͨZ!w}z8?S7] D$&YNxQkihBzSlyasbeq2H?8β"0W~ނ!Re/*KB9[rE ʹH01p9EljH)ძ#ډd2kdΝ1 W UF.q7)M^kҳj[<o!S ͻ4oLy nYZԪk‹28}kB(K."qmW{-$в[RP=?zf 3yIO-l:L!ĵ|À >.wUd{=NSy?zIщ om:axoZgYZ7zXZִF! CLU]ŗXi%J6Nvm;$v?Eui?n) wucT D9t;'ѡC[I`];Jz7kyOrheXQx =E_f@}z_p{EkͲpeYP;gw Q@Ŋ$?~:.0k8:LoMu^kz0}s| 7ȹ .k&Χf{U׿eeﵮ]vKjb.lH>.7 i\ ]5úu\3Z {-5O n\w8MW$5 @%%Sص /_`݂S0]nMbt˗|8/1QL?>`MEqY$X+.G65WPc"?aH" ]Ԑ-s9%?$JNV羽%pɭ7Όxq&~p@AQzQv{ ǜT4Ϟ:LXũ#t@S Kb^Z0|*ŌbRi8= 2Kqdq(@w1z~xD Y֊zf\CkɎ}E[ 3Bc퍪6dI4os`%#i Q0G乺Cb7 : k'_v~Y)q%1;);\c "mp5 #C1)0$bxFN.ń9ɀ]vCCwSS~: X?]"/ 6hn0ۭYVͪyv%^iK}UX x]cm(, pwNA寔f5ް@m!+rO:o {R_P 2؄L^M)(/BP%"Sݳʎqs' =d\7a6jɱI@NSLlrxQ{BJ,jQG^0s~T%W VΓ{n즿2O?,ʂ< ͆ȓgYZ3588628a148c66c1097aefab10a82ae7e8419d68ed49615d0f34d882905c1347e93972344c93c592c0fbedc008969073b4e755bd1487fbd5a8321dd5  ZF