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 ggC d$, ] Boolean_Expression_Checkers:threads=2elapsed=17.124cpu=30.092gc=1.856factor=1.767zXZִF! +]ŗXf1-/6vRZk3&pTsqFK9/mGJ&hr.4%~"DFIUw,J #vX1}"Hn-(' *p`:{@pX%ZF*[8 9urZ#|,Jh;n{0ϫnx+={v&BK.5ˇa %7!8V2YwnA넑 ׹2ba0zTG z8Z]]p=A[CH?3\ƟȠ]We9,$)>JN?V`i(,#ɱgYZ7zXZִF! P]ŗXiɟ$@u$lA{HAu aCԄ+F=78dD {ȌXc_V25[`%Pn/6&70/ H?2e']dfg:퀫# m0E㥇@x еw*gYZ7zXZִF! ]]ŗXi%;38#j׶#j 8ޛ!*ӋƿXE1`C]#oE&$JbRHvqߙt;5,*Q*h+ .'+-dt[8h^_VԟN*KOŐjjjQ,00#~r|_p x.O"aqa>3s@ B=V7`ް8T fGJo>U[@ Xe&#nP!cܥ'*j >!5B@Bz[_u3Hl&jDϕeu %YDg%Upl#MZ&6]8\~u9pUR1f_rHSFӖ1G1E &FC_: šGliz$򮟅D}~,MkbXJ@fm9.m3Lu*}o^ն0h<]Ho.*XLFY\PFt4x0`a49 I=sJXkijL˦GFC=]KBO A̢u`yDJҗ8p}h?)C*' {[@6Ķ(o6̽g1Glo?}53})CWQUM!1iDuYa*}W>D`q|BNjrzCY(H$ιuoBf9#1dN67Myy#|[0.k ZZ/@$[cpȼ F_83_Dc D lqw 6!GFx<ܬJW@EXz,YqXXU"Lqr%U7r~r|Gܿ:SR/$--]Mzg 83ubw9uJ GTm5H*h00u.1򦷰0%, *Aj5z4aN*_n,p>SZg ?9eKSMw٩)Y_iC=cM/ #Ut"'\g"qaEz'NuՑhA3|>;{%pMseٿ1ȷ,H;VBKR#n|;zh4_[q1¥AuW2 A=#TGձ8tFWD:!#6:¬jF`AV{y;Sn{ƒ+PJL?O {+_gYZeff87fb1a18dda0543b2bc2596e17525b60403e1665af98eb5b604629a3a80f1bd6c88145ac43a21 5144ebd7f8a7159ba53f7601bdcfe133b83a40ee 86aea4174b1d0393ca3ab4a58bbf0589befc3a01 C Boolean_Expression_Checkers