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 C7 \ ]/ WHATandWHERE_Security:threads=4elapsed=24.478cpu=82.236gc=2.720factor=3.367zXZִF! )']ŗXf[&jӯB: ϨGvAq#2QxOJRظ7J1TL?Brb8t!2=n_Z1*xbʵCJJ'L{;S0۳q( D*L1IoӄªsqcHZ#^]Mmcn;;9 Gdt·qHښ^W W(mͥ(x2@XuH7B!O+3\Abb)i/~mpF'|vF9NUlM*d(GN:b 7 WHATandWHERE_Security  I V(w/`\a/+-ڣΗQU@G8v`N4@zM'KՐ \UwaY{c7c]09NSdzT iF7x(T@]CT83 ӻy]FM;Li}x8G!7ǔ_.GRܚ/N/0bZr$8!9lçuh >e|YѧRrLT)؜E?#ED`ucbUb,ZsLz26-P WHt \ 2e87,bx;Fl_N-~R~xy|OF|7U" H\(U<= 9ΰ*(.E!)nV}QI'02T*yAW c!fG ]MxU@YDڇ.s$VRYu^h7V<Ķt;_9ӦbHvvb ^#K.Cs'a1?Dyо|XW =/;UPr?^jyHN>Ҫ toFrOɕ^*Ҥaek@ebeb__\@O$݂}h5t]ͣԠH/%4>3)krSuYQ W |B]QK ˙|"JG!kFHՒhTxt86BX{@3xޜ_f@h]tx=;]ٖ/YTA^Džd-n9z> ".["6i"`V];߿N"Klg\ %J"kgO/&Z"{㮀ܩ%%60`7$()Zy6R"vX.q<R ,֪TxJPБݚ;%zz᪘XLDŽ~"kmZbn?gF%viG҇d nż4n~hOpLG/8u# QԃY*%p{h;DӊrzL(+-&Y BB=z^R^ߒw/tdX,0h,U|7dikS*&l]٦777c`lC4})H50gP#r_mJX2J<&n-ܳ3Zآ78A"VcX~BIԅ LCy`go 4&PSඥ%(hS+8YaxRvzeϕdOg<F$B,$-2-76A vf5[_ݸEP ( ;&mz}ux'bvhsve=~bö'59T>KbfƌÉ#T*o};@7[[Η&(9VZ^ٴy`iUZC\n1tv~z#:/^PhE *ݎ!%?H?].P%G% T߸W?.uH=4B!uAߣxF>tl36{}2O<2 &%B5ʁ 2lK2@\/;Ba9RqJA:D_h 3Mp6wo[-U2Izbػla -9|erPf$Q-m'2c:me2%MCeC%;ܩ3(+3Ya xx2?V#BxKUF-L¡"fўKAzV}اs!mFVcrC'HeYW 7Jkϔq\@C;6 + H5[;A Ͳ_=wا )% Lޅ%ڔu#Z]$P5w4`'uVM\ЩSX8d`+~tacTrLSt<*>+C_==P,,’[mE5A&=0,rq+7