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.022cpu=0.024gc=0.000factor=1.127zXZִF! @;]ŗXiɟղ >{jk^';M'`{;rWA}YZ7zXZִF! S ]ŗXi%;~icWpW; vL]Nb{nAz^cl H&PRk|4݂TCy >Gml$(xKg귃"Ȣީĉ,}tid=V kiFoPQkPB*۝c|kx여k;K1=T5BJX,r]:2J0xNf=2CET gYZ1e4a17c31b911fd24c6b895ec847f750a8783deb04546e13b3ec7f70b074138ed2f4d8667390e734  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