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 vC d$l ] Boolean_Expression_Checkers:threads=4elapsed=15.190cpu=27.484gc=1.852factor=1.817zXZִF! ,]ŗXf[&]M̈vׅ0%_[vgص5WcRh0(`i*}%#_bvaz2CuYVcC^U|;}BVd8/|c-$ )˞U6`{W #;~oa1]ۿ ӂ}କ.I(6]rCGcXD*Xۇ2(ӨLu1*+9ؐPXEŢ(ĵaGglmyFS9ħԹhǼKJ,d6ۋGwp9g/χgYZ7zXZִF! P]ŗXiɟ$@u$lA{HAu aCԄ+F=Xkc(SwR ~{'@rxu`1kmdXC#lF7Fnu JLڷ>U0 M ?nWj3 gYZ7zXZִF! d.p]ŗXi%B }  \ˌusxԒ-\ɓ# TLYuIF nRdLuYq^dH< 8 x0;,Ʀ!چr5fԥыj-њIHd>;~K~j+oPa$肋lH,$9"҅dcW)峪PHW [1~?KC~o\vJ2k1JpP#@!E ^;Yhv$S .D={f8i1?n hY-˜ͩ 7]|s^7g+ʧ i Y&p wLhs3AbPBg"Y^_]![MM|> }){jM J3OeG<R`[[FHv c ]b_2cD_Ub9Ho!`*>LmW}T88a~ԌCWi;֦oɅU%KF&aR6{e NykJ<Yb~6[ d+gl#rd\#} _OR,W@Z*޼,b}i$C ۸i;̖QO 2iP^OSZ& T>ބez ;{ǭb]PўEAO OY$9[J}@K95&.}cukH8y-w.NJ€J?ءmJO&k.wE 1?DSr6)mܗWt:>LU(fydcpH/k~2>gY ƻ CJ)r׷!Pfp:^]0pv!=\kV'{=i U=6ZAldl]$h&P J3>Or3@ϬKHw?)[&=b&QwPV)83oA=Xܸ nVeϞZLnm}ɳaR͘wW}V*tl@GXcáu)q,0sDnɁE [bzRY?Uؐ^>HNt.Fid`#HxR?we܂X.m1 {b?M7YV XC ֺ\!vG /h!s sxȍk %;gYZ3b839f1a1bfabad0b1d93413cb79e2d5e6c74075c3b947847b1e58dfe1077ffbed892968d4b16441 badb05b9f5040e431c6534bb870828cec160d71a f68a72c977425ca249c872eac11835e5323c220c C Boolean_Expression_Checkers