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 " ll ] ZF-UNITY:threads=6elapsed=5.896cpu=31.220gc=1.392factor=5.307zXZִF! A]ŗXf1-WHIk0p䋎dh֨/+aGb+45w"g/jbQ L63x@9tkר="^G&λ*5OU39Ykʔg C0B2HyG I Ko s ۛon.0X}8DdM$xU ȸmkX7Klv9n@ "+hӼU,}&lRem8+.+ܝ%BJ\GCi}bLygyTQKoF'#Vd}"r^0_j gN =Qy.d֔'Z3D#Qg;ݾ}wsV'da̴(7 [lY|\JZhN?nw?L@(.fc^4.ֻtdˮz)H@ұ"u-#d2;5U<[9C6oR??>ג/| Σ&- G[d'ZeGc9u 4n1+t QJk bL?[H Pl$#agYZ7zXZִF! ho]ŗXiɟ9 i:4V;}A<<ګMP7$P`ZuU8{yL%eLÃAUl 2B>iHJ572k6Rp @Au y(gT"ˆd l%Z_lg4[ICɛ/ s.lUY@ jj^7@%p#ZZ8|d',Br;_ X$b'26Ћ G;J;4{{MU* tTpC9Q9J-'T|@xK5.k_<@(<$R2*P45GVg?NrSLQa&4Lf1IA7'bg 5UEi,`'B*@L*7.F`ݡۤd\UtekQ9CNm] :+= ,>o  gBL՞## ۲7bAЃ "`mcnNi_CN D`+8%WWòNSJ9{-(eSY*~0Zl,?PBmWHiks⍊|-;D35:_0[%%Eɓb -(HxG1Z0OsO8YeDg]ȑ<{Vt\SU3 YJ*_ , FtBZl9^QE {EjtГg ݁% \~(9vy3kX3>1gYZfd14023cfc4ee082621ba5a3140a68479179a26a99005465b294440907f056706dc01a7cdcbed98f f6c572b5121c47ff4c9a71307e88b3e9c01e3c08 7b75312fbfd997c10f7f418817a006e8871ba53e   ZF-UNITY