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? llL ]/ Inductive_Confidentiality:threads=4elapsed=10.563cpu=32.852gc=1.404factor=3.117zXZִF! Ro]ŗXf[&JpB1=eH j9ۑBm6 Auam͟r4j6XZSbFl:t !tAXeڨnSB~H1X*NGl Pk@:rS eh70 +ƻOb˅@gbRܰHbw<]s`6}DhK@͂P@:Np\I^)&\@(`+#)'j`)bN߼ &)ȯY`,&5>u;ȉRCԊvT2zRx_Q=|D~DlSB^=U dX Q! ] o!M-#j3 5^ .4qQ*(-Oȫ|!D%Q^2#p׽:J`#%BCL`"YX }|A{M3jgS +8")vOי|I!fSPSJs.NjVyYK@ѯ! ]~ t_8)xL Nh5K0B#l)ElQ <MN<\| {*$bQ}n@/3C,@ZY 8X-g+91gZiH۶=TɍV^QA,}xy(ߋ;3)HT_Է imE~EM&RJ~ P,&i4ǓCpTx]fxUxB_R*ͦY'9/ݬxO$R3Uu|Y@Ȣ\.sgYZ7zXZִF! S]ŗXi%L S#J48j4n/{TWҎ~ݧ ^rɇ9 {v8aX"GQ)o(#61׎R͘@Y%+}eK(T_h1*M%,lŒ:>REP^4np; 0S@GBn@9 f5V@6a,9J֎0RRqC ՜[\0apkD-O=ŁG;?mkAs15Jg#Hوh}y>O|p^%|ZfΖt|0PąZ=3%F4A Vj Ffv +dD'ix3=DMVt/?qhNV(Д;ʵTZ+{s(q,^  UVƎ]0 ]_W`8=W%b[PJ' m-ζnX** .H`X޶qt Le;n>5\.|;P2?2(c^9ʳO'Z8/e^5EJ=@5lYG TpButסyx8F?QexVd֍7Wx8hG)27m@?l].^"*Q{EBZ$֔$Z[ # pBoK_QwQEhN!]O1h*>7h0]nc~T3~^y/B JϘx(XAI TVfĩUaxXCI&2fgE FFƝV57Io@_ 12 T@JƃCt؋k OVeSpCG|F֚¤a㪖- &`y3[v6FN+sfr&v@Rak ||``~%3heww!dKIn$ Ѥ +$$h@B >z,')&ܛ[27m\azѶDw~AWnP`މhTlㅠRwYo 0dVݔUi+lؑNQw t 9LcZᦙ MT=p*#,r|D伆^EZ^"e n$sTAm,s ﹫kˁ 0>:?B:F'nu{>+N/#8%@oA~je~ir߁|?&\9c)Bk];c^~m%~T;VQ5)϶:A!GI"Ȁ:e~b~ 5N -[U.7pN5ɦ6pަŦ(3& 8oLӒ+{ #rgYZefd7d5d2206657b089e8ed7528c71a215732db8dd3f90704504dab3f9fc94e3d143d1180eb260c4a 05a03eacc3059078cac786ce4b0187a596b54f20 ? Inductive_Confidentiality