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 7 T$, ] pGCL:threads=4elapsed=20.870cpu=80.552gc=1.812factor=3.867zXZִF! "Pa]ŗXf[&.Ir?.kL|{Hk:D\SjoM.4pfaPtMo #yǯY^iQ {GlΉ{?#k6o=H1.z_24JnBHpy>4< b|60FH}c  -Yo kwpu˜9ދ ,ywEqJ`ɝtޙ ވ{ߌ^,%gmF>)ޚ 1V}&QId4UdGz@[?G d;m^[ڣY&3a$9+-e]6Jx  pGCL  (T`!pu0u9Hv1w`b5\:]eKʡDf=$חYw-ZL'yߑ㐒W6{zcfݟU:W8NkoRZ+B4:;`1@(M/[uI1UQf[(AEX|Y?r Y7d׈lSΈmH)곆LЕ!7GRWY$)glbBFB 8Qu$]dҊPlrAh&1R@(A-E\Sџƞ$"mLMߛ&Ag[󋼐1cG@^I&~`H.d՚<{h B=WɝhLS0 mÎiUҝEL%-k,,',T`nM~*wE@t5c;*Y9؃utTOtw%=aw# ,z.!|9bx $ECv 'b 5἖5xPqOg1 6Vs<_X0!]0I4hzp:مl%4PUmӄ|7l BG{{C0EU&b(ķe1ni $` X(?hep6~N-jKy4^ A+%t7A=EQ.VR)$HhΨ@ 88))i2]]57hZT.]o їu[Ň1r/b1C d7q\:Ych^)8hM6$q}ܶ g`~1A?G#aqlFeG@͈!"C/^_Km Kn-XyH_Eu#-5X74_(uis*Sꠞ s~~s)_vn^cf6L^XdmgQ[IZq<^:[*eVy.V:7ǀ Th\Rٰ:97Q3-/i9rCgM,,5oq w3~"lc$gkfJ tgu(E;&u* oD觕5 Ã-𙖷Sq۱]-pKP&})697j*Ab5p2Bw \M7`ۯ:_Ww))?<Uec6LI%}™67As֜{veDPjR/\Sr7t[/s}Q ޿tB0su3ӽμ̍4 %396E'H ݣ\nBD%=[ԟwmPVP3N3{$;U20F5{H_ a?%ŌXgyz&":U]WRթ V߄ УI\_l6 U<=+gYZb4453ade1896e4ff72a2f650f4c9e4317dea0ace78a79cd9fdc2a13431ba56bd0a48c2d53a6a6920 db0b9f381bf5e847e834c0dde3ed15877688cc59 c8db6564a7ffaed04f8e9e08ffcc3e87fdd94065