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 --P+ ,$D ]/ Strong_Security:threads=4elapsed=9.054cpu=30.476gc=1.340factor=3.377zXZִF! k]ŗXf[&R h V c?D:G=Cng Eg]xlf4Nؓ bO~R!Nǀٸ M)r`^CLe2;t 9qHr׎J ߓSU.ff[˷x.#RjXyY$=MN9Q+v.n,U2 [بP< }ݘe![:@#؄'gI@DPQ nfԐm6jvd6Nɡ .|/g@tpް>7XMvcz8:j()nͱ 5VL;#EB)2ގ1I9ҀQK)PZ~oy|ptM%; fe9Vkkڒxk' ](떨4Ryy}όO'Mp3!놸Nh 7eb[(TfCgV(Ar9M݅'`f,j=j>ɷ4rqI5e%H H+r$+C#\$S_6b;zu)ћDZc R2C-=C9~s֜iӀ<,E*Yly3@MaA`&YϕgYZ7zXZִF!  ]ŗXiɟWڱIY\u-Iv*#oԎb;Cs"f5i]ZITa͹kjQ?^VdCTJj`,lW'|v26eIw86=$&K#RE8f\--k1]:rU jc )Ԫ{*y!p^ Ca}'.4@o$pa6JZNdB"*m/l!Buq; cvgYZ7zXZִF! H]ŗXi%L S'ƒ`>H]]e&!əWWha đ $2X]RjF6)u< 6ЂgϏOpӵ%mIz.ziBhK2=I'`kxAp8ڮF6CuuM'zRdʳ8o?$aܰ.h C$ƉOn`TB3Qp]cE3 F] .&rG&Պ%ey]kg#_1yDV7!5eriNaLF=Ryo@R|731d`r S81**N3KQ("nNm%UGDQ˦ 8$q)KE!bz m " "ĿM-xlY5%nlUA2 jaJ*cD<Ia|;US]AS$ '#(([~"PxH-|2ǡ(XX)IP="s֠ @Fj)Q 6)4&K~-lYtY|a\}U̗ &3b oEbUy2(?P D_ƖNfr饱L&`c tWဣ+ۇ:v*>!4fk?PTBri.d71_!8YPp)MDOJeKIl3ANN^6וi遐$]N|dE܀^dypfk-1,6.vTDrxb9'u\݋_ᜲ&L&Jڕo4]#ͷ>!8z WE ܟrC̬_;hKCHe.=(ŷ޼šƲ I˓;󫋀2z <(Jpm/45_VÝm7;RӔFJPY~H=TX. DnD({Hmq`G ~ogYZbd4dbc91a2be54cfc8916254034a35ec378e89dad3f90704504dab3f9fc94e3d143d1180eb260c4a 05a03eacc3059078cac786ce4b0187a596b54f20 + Strong_Security