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 m $l ] IOA:threads=6elapsed=7.595cpu=32.984gc=1.332factor=4.347zXZִF! y ]ŗXf1-qN50^Xݾ V'褃)*%\i` ,;K gFso,tɂ5HTsJq/.gzl[]lJB;dP vcf]s\D0;Qλf `@PȰĆ:;k8`c·"UnB?pMZAm@Eֻ͉aBP̌ tQKKNKxo"_81`RCt7*xcLCaLїc|mol426dU`aL.0fw˭ֱ7گ.hy?A_flQ[EZcRUɠ~$im(Xa\ZrN(?;4j1葝,&A ..ו(dq RH%Ŗ=ez]ܜ2+ͱgYZ7zXZִF! `y]ŗXiɟdN'LvH۹$H@ x[? |tP mpfLoOc^Kj'B44c 00(W I t \cpT`oqWMI's/ YTssbYƀ34B.'5 5<v<2%,a eo:Da{U2 30+'r -8'Gۺp)+۱WGm> 1o¨hyCFYǽD\Gk(˘c8_#7fSL+#GףB=CҾ4 E(d  v gYZ7zXZִF! ,]ŗXi%B )]ytCk͛?>]aRc ;{`/=ͮ"(Z &{琟@ Pmx98њeM)-%[U,!CVZ6E̬i!Tad5 ڦ`AM×3g;z](͵oACRwPr+"j%|H '#@TMI e};@6UiȔI&\Tp`-m@Z+H@ WBCiǩнṠӫ=M Jxt< zL!* |ч^顡 X|;L=Ey*;2ݴ#rq:0EliNL:Ln<iϑ :A|ZүZ@q_[Y;+RAYl')@葴= %ʈ02 :Ҷ&8.ڟyUT̎# eof:Os92aP~%2=X1Bz3r]HdΆZ@z*|J#ĺT2.$,^sB xƘ)&"pfkpn=-d- *Z#(jx(xVhIV&8O]m7|w|3>frbh:a2<4p vGԊ5-XW: wmKrL {3 6?U(<;(#CŽnm1':/.7-D@¶t}/bLST4%ڲ3&Y [@O /q7= '(Ct 'QJb\5'Nz ȟIr0&;J:$;Uwm3n->fF@ӈ*Lx+rbYu`n| )aBE&f,!{Ó,͢3,J;Ү+Q5j.~K Ab%=_X&rS&@{,f/3f;X*`XLys@-0r(`m4 0MvIEekvjEgo>@ȗO uF羈7Z`ƫK[W$Cepni=KV v`w|=|.㲌< |t0كc{)>rjITn%Z? Yق{6gYZc1c088fac5870619c10976c567062e163825e1bd24a02e746c61040204a8bb5050040c0249134cdf 94f56250bb4f3fd3f203368dc609dc2dfcebeb97 8b17f295059d24ddf23ecdf726786258570d6a16  IOA