SQLite format 3@ .0:  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 33JC L4 ] Boolean_Expression_Checkers:threads=4elapsed=14.744cpu=26.976gc=1.468factor=1.837zXZִF! {]ŗXf[&]M̈vׅ0%_[vgص5WcRh0(`i*}%#_bvS\|*ޣ֛!_u C*ȡNB-mwX%MS$*LcRViݿav}%Y{}n\Z zQN@)9oՎ,,ŸNq; G_uO$hOLRdngYZ7zXZִF! P]ŗXiɟ$@u$lA{HAu aCԄ+F=5v!a*g=#/!hX'y ͮYIJ?~";4{`.|P6F¥;UEjG7gYZ7zXZִF! dT]ŗXi%GV50mWL?~xA#~eӕ:FAYWY4>⨠ @w*nw.M>Tӳi)tU>|l\ NKvXgKMRّL\8MtWϵC0$l8Ƞ# U*!95T6C4;gæ*XZmIj]"ؒUB*SZD=*vӴ]̰ =/^Bk{Xf&'qTk2^q2*|]&3 dET|M?YbY]r>XUE^\*HW-'zC(LjUT}7+uV4ALbQ34V`|~@TV@WN{qn-2]th;WʫDCt)K\jIT'_yұ/3KKRoB@ O].] rz_KKj?~6'ތo{M'p9B/'(:xD@87*-Slk 0+RX3;yyvO' m;WQ~:ΐZeIMp<4~Z5S!]Y[_p !"Z,2I!]a+}gm zI9Z$*- DI"ۣ_Adk ^w0IMe@lwd6[_Ui-\|moN1.ة 㞌!q|SPiZN=7fvtg3IzU7iXDžߙTPoYĂ=S`ˊ:j@tcgUU`H>%lM?˲vx8b+s36]wbmH}Ҕ垏,? UIEMh2]aF1d>GY,tK>A+l p gYZe53511f96df1b6167b249079e585f4bf29299bc84b4d09c9c1841a4f01c8958af89ec039a11204c4 f852689b23f90c1209b23c794bf5ab75a3b8eaf2 4f0f038ecec92406e0882716c4c085a6c2f252bf C Boolean_Expression_Checkers