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 oo
٪ɗ?`ßyLk261x=٥q"-\sjT88:r멼 K7ޡ]nOɔM۫W!Ā׋vz*IgfFD$"V㪭ƺ29~m8v $$,R?Pm\u\~:7hש։eí#WP>j0sm)?%u/?g0[+ ex{U VPyH~< (ƄߏTeE$jʘ.Ds:z K.}MHh߂ SZ\6wALA5epNJՊuPl]ήlifIMeVl8!ҘJw5 `"O)^,)^9Sɱ?߷4F]yƤ_:5^rU2)neN }fтĬIFYPJGg˒zT̃90)Qy$^bV, A`] Tty !X5'wPXht}RdYQ1fz'c[dԁPd89F&UGmκO47EgdXxm, Hi4&'ȶ LSbE̯xڐ N.2mУ*h(7| hA;s* +u )T(+$L}$9uJ蔂+E6ײq x%gYZ7zXZִF! $W]ŗXi%B?Mc٨r ^U?HQ0&iJO&R<\'O,R.Zp=ndw#cg"\"I*䏲2IPc~ > fb8N}'Vj"ySBUiZ&FǾ@RQ$|@ZD-?愈%)nbMW=m^^Cȟ!oJzIRw`rCxICJ@5=ڞ>2лNl2 ۏ!gN,?J + { !rN<-{')nԲ9Ng* ~j{@8cfTBvɮɟ'2mL ym=nDS|];L>JqYQ(#XZޗ/i7n'%-x HaF:rJP_ g>< /kUuN.rwA|T$°06fخ`X ;,g'iS85$j+o l!x(FN߲ޫJ,q\х1L\} WS$L^c?dH=>M:WTFH $2!-r3t ܂6XlmG5HL&Ҏ**[Ke}cD% (IzT@A~|-ғM-{\[YC.Ik8K 7|ٰI`ȧ2bfE 7]Chϵx/ߐ£zek,ҐG 6VvU l&fUl,o]VLF:HXgYZ98e0fe543fda052beef90cae43e3622c720c1d6899ecf617d9791e97e2694500834b58fe8bc0930e e2b49c909bb956e0e7b56efa3c4634fb47d918ca ff2ad022c3625b31d2a047be3a879ad9c189ebe8   ZF-UNITY