SQLite format 3@ .0:  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 f oe6jwB*]%eFػ5,wzգLWx&7(+Qmyq߇ F1e%זY$2,4QŒoreQrCbnݍЩ7]m2C1nߍR|pk+SZ90~kz@jɨ`H)`Ք;ڂq|u5ȥSؕR!Db!>BSx~kٙi ~AEtr gK@*5S\](QB#A5'>0`U%Ad=mAŪ+o]y'<~Nڎҵ u >UkG}>>RƼ KszzZm69nM^S^j|Ws!E)xx}+\"&iGeS+ܩ R%e[p$KoR?%_^н{v.X @dMKFu{ze6a}h"ώ7n\m-)TbHkD:N_q/[ XZDiyjL<%}/CCn~D4熎ȀjԘ{U2jgYZ7zXZִF! <#]ŗXiɟrj#>׋DĩOTL}e4[VIG!Ʀo)%'[g%X_l Hw=4H8hHW)8 }(1'aD*_7<i9 sIoi`FۦAW'踌_+ ]4 u0~oTй~Mxy38G*j+. ,VtZi]|~a yȚQEIvR6T&/`1ϙkZ9n[摼c h9U.?3"0X_ͥc{~™Wz3ljNe ]woKac҂^h63+=fE79 O'wsH+xip0PW&x|cRtm|)A[m:G͡~ pvE[eG%iI:?qnfm`P\5M wp%3=OcVS sg4zbS Tbl-cn-Qq!X~AOT=*Qy gwx Pװov 40dQp3*ְY.GʷW߳laK hu"E 3myʼkҽΐqf]\t!LvmL-'Ei$10T)-omfO'ܜܰ^q8N+ LGvX7.jKr8R)h)^gYZ7zXZִF! \c]ŗXi%Bnv_6kCMZlP;lh,`*JO,ßW*VBb)3J[Ϗ-B8줲'&L5wRj^.!(mƵ<2l_F2\b?"^liAowZʭhc7&$^R@2r+H9ACHޮK:8K8 7moOzHЍcӶcbBNu[ݞn\z@}rLs5": Hk !>nb/{׻+"oHi+lo- !LIB/mhtKPD((<-l Fbb*}_)roĹkU?o:xf[؞=ù(Nv}x}u]xQ=8v*>poN>bF!T"o NxG[(\X t-f? K۟a}+@ԡA1MC C~&rLXx 7^6&=YV>;8R yXB QnY[`taLChA1QCu|&!5^x#h3E fPsfa(i5Bs%Ch|U1=Ykf[ٙqB:d%}|HNj.f:}1c;/.0$\6s=C[sƥ}"?@~ _6%+GLͭnn$ mLr&=M틣 L dAc>"Mucc$ɧop((j}kLSPbd4vy9rxC\t~W;;>b+XGEHrl4K1H {R%vDML[ J~)[ղڹÄ3`T/}JY<䰜*jUoՌmJKrVmIcğa"Ҙx@ۛD$|دaV@MV%KDC㶦cb |PGsp}fxAiK}k⦕ lܱ䵍u2m{s['Q^A~*o;#5e\o. 9FltR A: hbsJ;UYnq hggsB{T\ 4D MxN"!h!VM᱄EU%W[J9H