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  Z Z#p |< ]] SML:threads=4elapsed=0.017cpu=0.016gc=0.0007zXZִF! @;]ŗXiɟղ >{jk^ϲԳ2-AX6yYQWA}YZ7zXZִF! V]ŗXi%D1 IN;N,e%36k5HRp k'tpBBՐKni[O\?OPL/OǾ<X{#<w >=lQԆNTICʛ=.2Bkb!1VeVѢ1u4BI *h1[x -(Diemk ƝxTZVm[* n%_6s_?}Êjx{A MagG?%[~)P*s47&42N(ws3H"?q'c gYZf2f20f3141219f223df70cbc4862b036523320e1c3d726d89c950dda47a94cd6c59e05975f526e9c  SML  %% DSMLSML.Examplesdocument.tex7zXZִF! ]A-MՋhvG"uIBm5v'y(cŚ5FT5oLMR6j®o7 M85Zo#c/eY$3jr+q?/!@~9&S؅[H)"_@H&cZ8BʠE9[41iObJx1G3݊>y-JVI.ę>ダ_Vr1!?:%fYt/)\ I7w0qk3ƘfnhEz '-#4 DoM3Weׂ'o?Ъyim ܑ#) 6n$g/9f_3U}C_y5#\)Kk3V֋!6{cbV VGmQM~[pVlhTtގtp ]}Omb40}9}B\K@aFBF`T[~W*"keNaѺ^k)6; 0ncXUAq:jW WB2z3@\<_4.tBRqŞORwH$rf"@# bWRc6/ugϗd&\˛PWXe93").ڂɠ_rV'(bHk|R6e( vF^ބ:(\3txU6q~ئ5BhXv-dz}3J/~AvV|j`E&O[pf DGW3 :^بb0 hX Nj1[FF Ε`jy}ݲ[Oe*4'Fi2/[ ]]R^cQT%1-tCy͔X:{ qZ}nAr<_TxMcx C> &8_2a>KL1 ׷|>%Z3b/@3!lI_E&ī ӑC;Yohfմ oE