SQLite format 3@ .  B p--tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "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  T T)1 ]% Transitive-Closure:threads=2elapsed=3.685cpu=6.556gc=0.264factor=1.787zXZִF! `]ŗXf1-/6vR[Uy{n > gA[@L \A&|XBSIیxNYߵFCjGuc,#ݙǓص$g/(Wއ࡬4P6D9_uaP5hՏ#jlI9){ aêU" k#2[Y$`l:p9q\3AANjj+3ΥC(9Riz;@gYZ7zXZִF! /]ŗXiɟReDH$ 3gE= -aפ(3+K|D!3nNE㴯1Dz-.:b_$6V4~d1ڞ26Q"Ÿk/Q[⋈csܙ;%tTASjbvݠ  Q3G(7cIHN CR$Mp:6 gYZ7zXZִF! !h]ŗXi%>g!LW ƞT">+mMr.Yp\B|b.9Ke jk[/3}zmR)C&x\. 5jxC^a]֎q`HW}D!X~Zߑ`>&^蒝" eF0239V Z0UݰDF vc=s^T¤ $[_kj H|6aFazSGŚCT؅հVnv*"cB7 Y( 89űooU<)$4^MZ$*,g])3t~9aOPpܞXQnOcu)NŸشTLLuCO qr vvt͋Yl,u!%+ nއy(B7lq[c/+a@ S.f O_K/dLQ8ZtJM>9\lO󔣱hLGwʦ#fl?Ԇ,!+ Y7o4C?4 1d䭼)Y g~<}l3_Xq+ݾ<1ԯF7ix>czDÈЉ~ x6Ehmu1bz&#@S\J7Uq)lvAh (2вvMVQB8PgYZ7bc89c71b10776825a15907c5593e6ea757b5adba70f3b1dab78f27422c2c199c67ce3165c51f78c b7ea345064e6ade7544c71fbd991740359381db8 6b8c07c29be9e22268dcfe432d5c0c9b09163bca 083f9902691e545c91ca63c0f3e471bde55c6330 7cb875d988d1e3bb7bbde6be5305b3f83e991f63 1 Transitive-Closure