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 gg# $ ] Optimal_BST:threads=2elapsed=21.621cpu=37.492gc=0.956factor=1.737zXZִF! w]ŗXf1-/6vR[$G~࿚#J~)G3OG`@ĐAhfQq2a!wLP S ⦆-Qӛ-aL [s8 '"vy֦Jy]. ȥ^4kY#^n;í\}PZ]h]-B<~'{[M2#!J\t] JŹ&s=:4FS}4Zb=u8.YLV/L5aYjU!m}:*lAD\mGcʹ} Xg}W+?~y0 S%ѳ)b/Vėq5NK̲pFGNEP2lrj) ҹqJk| (5m^ hכZ: "37 @rPg ΍.1U 8x^2 i@+&ٽn6 l,9v| G2@Uў Rec e)d'|'RmG/.zk5`w-#LY7pкCⵟ~D_69Fߋ8>0 VCM *V!#N(x ⵀz9p+f^ؙP?G7x?+ ><>u#lc =R$g85OX.!@Xs˶ v]± w~A,r-+U_EanO$֮ԝȽ:@WgYZ7zXZִF! =]ŗXiɟ.#Vv&FJr2[:;%_|Q 4٪>{V<4ҫT *vT(%{3ƮH>,噇ZdeODU}(GhksgRMVw$=rk鄊!M@-rvmm.zF ['t:/'Oe R5DgYZ7zXZִF! x ]ŗXi%;C`& ϪU⩬]I&Aiz{JƜؗ[lB/㛺:/[53gXۿqz>p߾ǑK "^O9|ϱC (Txˑ'](|V>7 I]` keF`Ը1 bǘ7g@-YR2ޙ9n}&NUJ[&J3=CG7,ՈX!hmAZ8cQz7l2FW )VJc33JNeR\uH-c2, }$m=vءޙ]嵻K$n0&3u"; }ĀGxB $_!9ilJٙ9G-P BÔb33~^4T!:^V:W{gtUOPub"]#++#}ՙ{"KtNy4ᗖҟrNWjCtʱUpyA ;r07E8<3Wܳ- N`V> ^q-B>hW&pd ?K ;ϧ^Mfċ[}< /XRm%r(n)yʎq#LJVA,(DL˵%?zpOsVN{3Uݺ~P#N[@cڕėsž"Wd&!y,E} PDF}`p2!ryٲlF`t5a))4)05$"+leM>"yB٭ulls pOXmE}}dʘ!۬3