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 ^C dD ] Boolean_Expression_Checkers:threads=4elapsed=15.609cpu=28.680gc=1.580factor=1.847zXZִF! +]ŗXf[&]M̈vׅ0%_[vgص5WcRh0(`i*}%#_bvSae?u6tjUED$=} O=%pDyY3b9 ؤj(U\ Fxc󵶀> I]cgyF))?Ӿ42>sЀ_|_ElXh&`SOeYDXB=L>Ac:1.AJH )+΀6wڻ z(u͸ ھgYZ7zXZִF! P]ŗXiɟ$@u$lA{HAu aCԄ+F=>4ǩx=4|2pvBƣ &o%k, ikK6ﵝ-Rdhf?1f/gYZ7zXZִF! fY]ŗXi%ES3Wb/1&{r[ԩX%DH*J$5t!&A AESXvg;Ʌ+`(\51TV[mb zAUN{xwC5;Aa{Zeȇ d)Ď[:VI[BV~޹tQ[ѴWѾzA>֝]?ϝPpM֨A&O;94DFK'%IlؾUlVKٯ[H"gJB0;1Df0k h(94GSJ$_hg #olK:d%@zEy攏 l|SQ^i YTxc.\ lK1~]o v46[4=ցֿ+P+ j!A֓]V%vZ6p8ڡ!|2^hucS/!`²S`- `Q?A6L 8/jsZ-BL|! UԂ4Y`ٵ7ZuIZ["Dgjݩn^v_<8li92laAC)X? rE;ԤF8~@W¹"ZKi4pC1<մ^1J6yY۟I,ÙL8#٦swkU|&|4봊3Ikl֮|TUd y=[F_ѾbT.މ}HL͖JD[0F@{֗o:a#yDRs&Js{5alIY u*9һK0\PVMNk7c|,kЉ&DcbeJhqirUT0!<4{Ƭ[}\7p ܁BS5!jky`^=Kp%I KgYZ9b20f882e78df8c62093f7e81aef8a54f05ca8ef76b019a50eeda51c4b74870607c55fbf00aca327 dd820facb07e73b2c93e51e4d0b3041a08b59568 f6058b8b17c98ebd707ef216357bee44fcaa8403 C Boolean_Expression_Checkers