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 = l, ]/]HOL-Word:threads=6elapsed=8.875cpu=44.240gc=1.896factor=4.987zXZִF! ]ŗXf1-q恈͐7ӺV /K!W8DNKY>OjxiKGnC)p?yvZuf)&_JQ׀ G@ $uPo!cGwW|+vYjQrIĮ[D}QXLD)ZIƑ$Q\Q/9T,S+g{rU/ (Xmp LQ!H5 8wyLr EUd@&}~?.y_s-+jnv ~^B-6zNGس*idt&/bbC p{՘<N50ש%!l5z~_6P-כwdz6Idlz$LOqggx[&+XKeٛj C5ZvFoZgW qd.oa@ 1hdutre>ٽ"/hlx2K߾cR>_"`W m0WO џmC]f*f<Mxļ):mgEs_fiŠ<\LnLΟxGB%֚\l#5bE={%4N/y⾥*m)dH8E"+ j ,Vܚi~PJ~ko$՘gΗNJ!<*.ہAIfςNe؇0!Dab¾)rho> )r4+5TMY2&y ؚp[SЇ8u\]!%k KagYZ7zXZִF! 5@ ]ŗXi%B"{ 1Qeq)*`!m71eӅSvzbs;;f#@cV{mV-;*c= eJx"}r{'Ϙتq XɄWF}]=8S]*tM$7 l5OwldVN.e]QM3 YL?8Ǝ}KSY9v9Bvٓ9`Y ͗".%؄v=4,M\H-ɷHyL7zYѲAl3%Ӓ2vpLo%#bJ0b->csį2E)*ǣ%&6˓JeO}iDX+l}Avr JV?8@m9Sz4q+Xv,3d}uSs鶻Aq=4Sw^c)Whj~_ԶȤ 1,1W5TRUY?r!*kL\u93 x/B2x3N-*6:LDL#;W,/UOr;>T&TU+kƀ4:^^z5LTHp[P2+Zt`-#`Zn jKG