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 y+ t,D ]/ Strong_Security:threads=2elapsed=15.371cpu=28.108gc=1.000factor=1.837zXZִF! s]ŗXf1-/6vR[]IJ!@W&abZWdTUNZ`[KPu~-4ѭǻ|4TC/e0<'N%Ǚw&fƄs` s3Q_*E\N}.I+[̪9;NfKBT%Lϫ&f'eeirؽ>Ck^l#/d\4Bd~, Z_|fvI/窱4H[{;1fRExPΌ3m|CٯUsrqo P"˸aql ȯJ-6"1Ba8iZbΔys.镜+tCҍfҾoGWmiN˩/$'o~O B-ć((FuކOo[Q,gzki9y~x4~$}.ŜO=M, T `,~o UG)?'e)vhwxsD}6MnhVy}|O:=WoIL{sT40u\ʦ"tKS4Q"1mGhPо<'Y 2|g(va%͘VH+0ww] &PO=3&M]R6GZzj@$%,2Y+x+&#m9KY 9'¥Wi_\Dwt=85A.vS ~;"tt!J\5OmL(VfB2d:ybר +AzfO1ppglOGԛ )/HU,D8Ky\XdH ܗ2tH# |N36u(/ TqY#Xﷆ,sQF@+-s6ʳIz6e-ܼfE )FRS )42xB Sm2yho2z[v/֌ Yl=A/FfJ#hyx9t2Lc5:&%{Ć7X2]EHK[=lLCah}?qBț|(mVp&@DBސqwbhR70!"s<ÕUU&}o7<]# ?;Lf"E mX-Lk%tGg1nB0bTtC`\7+Z*XFː*4׃D!^<7XP:o;fAM+]5dߋ0=Db$7@Gf$&V wT$|gfjtަ2|?\Ma!ٙ/3} Zw/r^Ё'v#}&>1*H'Eju, |ױgYZeeb20d58ad8d83a68e073e02b5576ca452a93501665af98eb5b604629a3a80f1bd6c88145ac43a21 27625c6a71bbe28fc0d93a17cd760af834a4e6e7 + Strong_Security