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  ) LD| ]/ BNF_Operations:threads=4elapsed=9.639cpu=34.764gc=3.276factor=3.617zXZִF! ]ŗXf1-q恈͐7ӺV 1̗e&$W$!>έhz+>뤡,[>u:^Hq|܈i'y^Ce caMAR &k~! VdHsX-<_f#٢~\T6西×3Fh"HY %gQlKS$͠=HCܧxo錢>v8tR+۞ᥢ ӧ|} cpުfcAR g0B, %;8?QEtRxK* &bͬŭp&'xvBXt}h.Q{&~NqSSp,aĞ&\*YD(Ɵʀ}—C#hdW[iB΢oIx\WZ\.*6ث+"i*c U ~N?>gYZ7zXZִF! P]ŗXiɟ1˦r*έ=F)I,HIaItFtz<@E1c3GҞrc xT27t^)Fadl.jkM h>`}ӕD S y {jV՟g:xxCױek#P;MهfCdߢé# 6+?5zA"gYZ7zXZִF! T]ŗXi%Bo"*RZI:`WL[־_@7KBeBV'нqy-#yj) 1n,GސZuye }&֜T߳Ҹ C;@|} KKl=!_ZM1a!xpF.*T fAOm$o.N䐀;[J*/nTpox4,\SlޮMkރrfW9Y >h.GgEtzOA}6xCL\9$mbUItlj 3 F\.Gn(l-_TGw.Eg;"Ʊ۞D򒤑>Ru2fNiu",SJWv RV.*ׯy@ - [/|f-Õ "`Phd~PΣ1:@ٖ:dS\ Jjj>r j-05vaH$GB8!h–jʴMFqGI\hh.]w-;*T Bzf6K s-J .d%uNƴ%P$Ε~!MCo Rcx.ʜYp5?Op_۵IYf@6rU](Vyu2.;[0%3/HreZW_?S W;h:d8PU䔉]2p3G qbwlP_Sy e64t7{BP)m 8BNjU_1w9{aPB.BDZi{_4鎷 ù[N@0wۍn_yJ?momĹxNqJixBx&(:j*XN-9.Hs՜3&vLv0([05V:E As,x:A\C|YY^՜qhJ N+:?dvL+ eN.Ptpұ$2S:8$桂; g Q%ҕGPL&