SQLite format 3@ .;  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| ]/ Inductive_Confidentiality:threads=4elapsed=11.323cpu=33.508gc=1.416factor=2.967zXZִF! XZ]ŗXf[&JpB1=eH j9ۑBm6 Auam͟r4j6XZSbFl:t !tAXe&K|bu2 É6_ymL*18zArL~_Vpy VXjcҟэ.3JU*u hۊυw|Lb@X,ޡN(;q_7 Ls5YF#HᙳқrM3,~(NLPNUxHUOk%Ì&kb,ġASܡ0ScV|^efI/s%q;т5._덿dUWߔuQc-t UFG'ypdC]4ZY~?5͏JOx3G=KЄgms㩠Jw}{*$bQT,LJ&Q +S9v0$dsH/P qb.Iy]2 ޶q<"EB^5}uv & ԉr#ԧ2{_m,a[ p\%hW;WRoaSi9`mBk殯8@nB'7!4T4$0ל[SB8|Ԭ2AJ|3nzl#ijWcYV(lz`9=pv%`MAs~5Z:>@_3>>ʼnW:Bs`XS@ӠJWsywxj@ڬgq\rˋWP?TowUP] [0 d}ӵ@LMy|,"URq2q%'0µ 2vݤ*!z%Hg- ̮Oc\pCnFmGX'sފ#anj: D>QbY%tފK)L2k·vaxܝ%rW42ɆGnE^zcUC[@Vw$@n-)FeHE͔3zI-2#Uv~݀S?^?_v{SG\O֗S8DT;ӑP֞[ZV ~VStW$f`vqJz,p(.[0- Vg e7kMv˪|pr' ;z&{_IȊHepW^܌ Y`?g%D!ẖi8~' }xbA`MJ1I(]==e{)];7sC}Q3I`q[qq*!zu fn5 =v{"Js>1 SZQÖx;h3Y}aJ2]pz=[*ë;{~Fpʇi{}ʞrm)_>:J5Ρ r ˙ uYMm%O(N?=t7́cT7ksb/xlarz'#z3PržgzD楱/_aB\