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 zC T ] Boolean_Expression_Checkers:threads=4elapsed=15.085cpu=27.268gc=1.340factor=1.817zXZִF! {$]ŗXf[&]M̈vׅ0%_[vgص5WcRh0(`i*}%#_bvS=퀟`O6ƷiLtFLh>_닀fS(6I/"*Q,w +GCm;ZuԏS\NN%A;v׼&L00d@f ۆ"o n-^1+# 0vٵ=G_$VF:f(}_ucL͂ xVv}b`"ԩ ~ 9ѮEfxgYZ7zXZִF! P]ŗXiɟ$@u$lA{HAu aCԄ+F=5ozPҋ0S(:E=!pxjBWidZg4m ̾92xv@ u8ߖd~T\PgYZ7zXZִF! f]ŗXi%B:g NNQӜOl麆"k͉HhѪK˜WyP dGlī8 K4B,wTv F' $,z'O^ (Xo0i=q{_SsI7NXr$)j;k 󤻀2+8?(S(~w;nAa дnwbS0SKy' 'ӢX{BHzXV/npߜMN9.cC%+wVOuqM@lFm{#ȋG{;X2kO e.빋(h[t)r](ӉH@%V"alm_?LC+(0d2vF¹L\uNJ4܂@&ǐ#,oKՎeS%75z;!V'=AIYi[U7%{|^JkB&E^jFkyunuVM_fK¦s$4X^dzl~#ۇD2; v% =.hA0ne%V-MWQo͆Wn{ckC(-" M33aBYw)!m97#wN/ otv.:Z0%ȍ 4Wy C B9~f" - PF=,t޽瑊ռ#缨|<"Gp5T'|03JG(*gbckhI|W3Le\? ) )-^UtsF3( n[ݎ݌-sOcƢ3 ֓@1+IeԟG!+ႄ߳3L`SGZ-7bSH "J OEkg"Os^j!Qrq"ЩNuOlFYS+E 83xS%Or=t5@ƻ9 ueR+?dV LJQt;úKIbaWwp~ ̲JP]mmZiyM_WwOBH(cɤEmMx8_\j_WſA;$>D;WC~qX%US2 ϼ)z:A4? _sL&,_ H" !?HroX^T;3H/y*'r3EePK rgYZ665821a4c600754409061bb64d24325d29cbd35613f786b8f4762c1203e3da5c15d634b6876ecf36 7ac514d3394501c5bf6707600eeac5a1d30a5454 8995119552147f6d78790acd1b2d4551c1ffc2d5 C Boolean_Expression_Checkers