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 GG6C lt ] Boolean_Expression_Checkers:threads=4elapsed=14.456cpu=26.936gc=1.492factor=1.867zXZִF! g0]ŗXf[&]M̈vׅ0%_[vgص5WcRh0(`i*}%#_bvDIń/>ZtThd8z^dx2֯7ʴwF߮_.kW*7\ֺwr[m[UՔV)yEųvʭ|@tDi5{үP{ CohߴK=#LPiݨ0JIrjoK-OojDs=tb=ًxm`HÍOF΃xq)+ثpY5ovin. Cz~GiSigYZ7zXZִF! a@1]ŗXi%GgEMZt&I;/\5vbPɁ3E6ԙ6)WM0oޒG-%JOM 2%iw>y:݄OhwP<Qd%db-| 3J1nǍL[ݮq~>ߛ&OziZh4!%W& L D8$F5N\a-Dz[!{K}XwfVc+M Bj |)Rۇ,}?7P(2C#G"?יpI!ߗv0j$|M.ROciĬJvr^8H?$d}+_a>tF-[+tZ&ypF83ɥxxo>tҧċLYaljswD8&q$+Nׄܚ !a^3 s)wEʄm_?'4az+<Av>4 27W <z;Ρ->,zyML٠=R딲6B7R-=PZQ!;8Wt|:; M^涘Y4/:?z}7W 2y QmGأԢMlyuagcbqE DK_fDLX#apҰ&^49x@ʥ]|]i׹u*1d2VPs)kc3:n-4b`褯3 (ew#ȷ谯n=AĽ 2c[ {_0 RBŚ[W,!^u4'.pvbs S'k?YפymBm&/eR.tZD=eu2k N{a϶-"0n{|:3O@|$X<썰Q[ժ4Z0ˍtS|yyls ԿSm 8즨"q<ޭ]IqӶ8cZ2jy:`eK+"!cng;{H fɦnzbV@QsPwf.Xxr{{* .Ad7^aUEz]X܅< $S'NHX r hMY~ϵ>jfC,>o{4)3 9ߗ:rWV#d|=2IA@:۾V)f<e~{w&ؠ_BC_3 饋ŌfJVTہ!ڈaG^ q)4 6N$ls7 iVJ- >@HX