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 "C l$< ] Boolean_Expression_Checkers:threads=4elapsed=19.503cpu=35.548gc=1.928factor=1.827zXZִF! v/]ŗXf[&]M̈vׅ0%_[vgص5WcRh0(`i*}%#_bv|2в|u&X>&d)^ 70ڔt`Vf[ %D|v ڇxh%!C1!&GM0 ia𿢁V0&+8(g̠h)乣?ZBTm!J>^6x?/LN&J!l`pվoa&"|L|]8xx2o\ SRtə0ƱgYZ7zXZִF! Q]ŗXiɟ$@u$lA{HAu aCԄ+F=R>YBFWU4et޾ !CjgL+H)}rtܫάr8YEew2! K( W$$ }xgL=8gYZ7zXZִF! l)]ŗXi%B4ƴ 6RsF:H&>(/6+3Zr;p(ux6Nm놝ٺ&8ȮY ڈ Z`Hc#ұg1mH۔ktҰ{^zeŚMLB%d2l]:F"Hq 1̟m^K'јC,IZײ>OxfPA*f5 H2#|ğ>s. _HV/u9Ć!ҵӽY=IW]`I/#Kr= }y^ XxSh:?Hax::ouKM+r2|z F;MrvttE..f#8DDZ2A cz>bq>N_ `QC0ݰphcd/QiO,$*Ƕ):Ƹls,K\_™ )8$NY:2X9/:nc%P;)X'Qb+燉 B:v $oZfzuy4R0Jgl6YxX耈\RKD9-8E0_;{w9 Wh? d{6k j+l;s7bg仐ݫVg#6[ I*0)əf1@bQۉAwDflb 0}<D7fj(ZԽcV; Re <]?D8Bq=").C1|5W˵yCTƝE9=$fvJfm7I -;= E_[ ~q윴In:4(ft-^?ӟ*-K:˜U v(!'$v=fpy%bLћkˉ]Q:4{BqVTQ50U @Jk^M˂2𴗢gLi+x9򁍬k&ڦȫ{ִ%R+}aag)i;O;lؔUAv )wSP +CF#Hvliel\Zkv'S:=7yQ[Nc:Zj@9{gL%вi;0~ q5 G/# Y87V EAsĭԸȳ0\A2I+\M1gak-_%p/N=0CQ{euE+ M=쥾@Q2/;tl]CTxA \ܫcS_S9(Yf~}ì|Gk%Ŷ?fp5 sͱag{q>H APlU$@<g[(D (gYZ342467754bab6c25509922626eb06e21a49b249d9cd33e2f2669d2e2ef0833012528b204015b12df e5cff2820287d96832c0244f64103884811e226d 8dec91fb776e1454bcd259b128d2077a5afa959c C Boolean_Expression_Checkers