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   ] 4 4 ] IOA:threads=6elapsed=7.615cpu=33.068gc=1.336factor=4.347zXZִF! s]ŗXf1-qN50^Xݾ V'褃)*%\i` ,;K CAXXmvn*\tz=cΈn pV2g۩ t)ܰígg"Z%V/K簿}+*y`ja<ߑӉ^(Vf8Bb,ew|!Fxo2lHR4,~O9Q)iW.na2}"TU X|Fs]7ժ~ )ײ_N7Q.Xnj~"۱&a1=Wa}} z*KzY^/s>t}VR?[H3e}3m)Zwy(8$Ƀ2;_|ECԄ2댱gYZ7zXZִF! `]ŗXiɟdN'LvH۹)A,K "0/eťXglv3%_VH @ĵ1CCg-87~ucF:1qT~Q Xw}g X~@Ja6µ6:3Kͅ2WÝ]m-[7Vb3}Kl\ 7NEBPm4Ku[jN~;"6K9?M"OD*,PnWxz7>IZˡ6-`P-qb},;$̶ߍ^t#gPx7AKMaj3i(JVn'bbDasx8 gYZ7zXZִF! &]ŗXi%@Zrgu?~Ԗ ҕ ڑ"{:<4p! d>$'VNea{ʵcjU <"󗔿&*6njjR+bUNCJc@?,1D;%2w$=̀Îܪ[咫\S+6^Ȗ=Oe1Î_&삛쫴*: Xmc|b~Y-sr+c;BEN0 l񨮰ZvF1׺0yE09JYiI^, A^` 8Ǣ,(#@3us7@Y**K TI>>"LI=? ӂɓ<iA,8¦:!<,`\B>DIjW!Z ;c:g^aLm#˞LE-?qыK+}cʺc2j\?qzR NY^f/,0s݌˻R'SL 320flԆHyS%Zvfjh&iZ d^Dr>@ʴS0 0=S&5SzG=v )2Q}߃#_gB/cE:Q&VQ2S>ouZXMR<\gYZ2cd504c92796df7d291fb0fa6ca28acb69c9f3657fc82d96a6cdcdfc2c4460ff25bb9a8c30e0eb7e 15b300149e9f03c6f17b2c67438a0a1255b696d9 d3edbaf58317c7152d5c22671cee272b3d622ff2  IOA