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  d |$ ]] SML:threads=2elapsed=0.028cpu=0.032gc=0.000factor=1.137zXZִF! @;]ŗXiɟղ >{jk^EltQz)mWA}YZ7zXZִF! S ]ŗXi%;x^1S'$I8S50uY`fr |]AAf̀+v"Z5.֐*) !˒^ 6.䉒b/j)TYjGbeS!,N,CےX@UQ^94d|XC8-\H?Ҷ^Jeڷj2ACY7;Zn\ެwqOty7@}WI^QzM,gYZfe37cd34e28df2bc5f3320c2689771a844bddd4d12f9c2c1cca7af0c05e4d69fe4a540e3eb4f44f1  SML  %% LSMLSML.Examplesdocument.tex7zXZִF!  ]A-MՋhvG"uIBm5v'y(cŚ5FT5oLMR6j®o7 M85Zo#c/eY$3jr+q?/!@~9&S؅[H)"_@H&cZ8BʠE9[41iObJ "0O2z*~qXPx_tJH4կ w[bExucDgv۬Wj^>?pdp U[腾} B K-F _dX۬⫌@ Le _#iF(,* ;i,ASxy8'-]t5H͢@yM"g"mu"7+cKjv> q,).@@/ rF |G8gY9&!vP7='XY&'Q&eD- ÷$72_qi<(*<9ئ_yR6DE1\E5-*_K89M-=|#%/VJ?Cqb;X}W=^{7y S*jSZB+ttc/^*x#/Kk+?QJ4bښ6ucnWdy}Z U\hxO7Qq5ʽi]lYUFdc<3NGf4Dsx2!ҎGlzxz#IUDfM*қ(N!<“ msra)wh lToMrb\W$8u)%e[A!*m۠Ƕ %DDk$lTDB:=Fv]=t V9Q0e(um7.)T`|]A0vV+]v{JF5OfxNI#\ŜXaoD꽴#[o|yZe泗68O- oPR[F a 2c1tң`:9pAh>+ W  msgYZ  %% SMLSML.Examplesdocument.tex