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.014cpu=0.016gc=0.0007zXZִF! @;]ŗXiɟղ >{jk^ nfEt Q`(|{o5؉Oʸ_[=; ^rh('"&غŹĤ<}~mEX8|8.q?{? Hn({áą޳vgYZef191ec3afcaa9dc77f2a8937d45c5ff7f0b0ad3e9a2742a9719f5ffc5f20b8afc6477c5b3ed39a9  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