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.015cpu=0.016gc=0.000factor=1.067zXZִF! @9]ŗXiɟղ >{jk^kCv wZtUA^ovm.C(T x$u¿-$$dsDՔ:niv\Hm铞 cU?85Ԍ+:Vrn8sDۘ-͏??]n{N#qIF<6X;nOl[< ֔+DnJnd/:0Aq?(M.W`#T/}a_U,):9=q#"ʫ,p K,gYZfe37cd34e28df2bc5f3320c2689771a844bddd4d408130f68e215ede7936ca4ab0eafec3d85e645c  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