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 44I/ \| ]S Monomorphic_Monad:threads=2elapsed=31.342cpu=50.504gc=2.820factor=1.617zXZִF! ;]ŗXf1-q恈͐7ӺV -O\9p)1O JҞ.m*ozk= ΖNQ<]'dRL=v U9j}@̧x nm\ pmX?jjI ݟ*3{iuN8 GSZ54+#/v{ONBDЋd[9+Krױ3PU5TDE$ʴpڷHl{]7M_?;}Y&G}yan"o ]y`~}1J>1z dfr,.tt+VEBʋnMuɎNUߗ'- ?(TM8kWMQATU{E Y f͕k0Yz||hgg]NJ{|:0dc~_-jF`-G _AW6oc ѝ7vre]-@{jg5?1~^^7CdGmX--SVgR9,bP(k`6l:H u923}Jjdκ#:Ysqv|H:zf3A,\NԟKWmyRzF}fΑ>&ųJ)pK gYZ7zXZִF! d]ŗXi%;N( de瓈I s$!VfnX&'!qCzx 9 Vn 6`Siu#QpG~)S.oם%>}*w)jҪ~d x}^t%`F,&E>PԐZm[&%"d =B"s-C,E%eD)`l0R8wK^̻<]n@obG??UФ` _K J]JO4*g0!1›"^+6=CԚ/,Hn6VCNtUW:ABu:r* -U{Z|%iL=1@&J$ybB\aٺM0A ?Q eF\1[$Yj`Hɭ!E1#h^ˍˑYWfM~ $VB՝Mabz ?٠-SrMXD8} 8-@7 ^M\堋=p] t_Ql+49W"nhmGŕ`JͰv. Z:XZI.d70Kx^5k/p $4Oۍݯ(kO0l)E@9ZNa(آ V,vwPQ O\#8%k  t"J7:=̛̙e!mʋi-3#P &K}8i tn1DoJ/쯼XjhSO\Q/iֽ@֟krgbPR|p,%wюtR0, ͤ **}s2ԘTd U8LTꛙVR0@OT3i)ub4dUIŲjSkD])hC-2EӇR. B=>d!?8ÇŇĨ!.(s=._wV!/B^tN7RPh c]C1zުNlc5K $Vس9^; 6vW 5Km 3iHs[xJsdt:?TQo]Aj0udӅ,J|/{.?gfCs\(0[qNPhwb|(u׿47pFQ0UO4l](MF [#$ES6Fj?~T~2XmCQ{z39`Nh'Otq\^;J<9Id+_h1siGH"BK 3t>\?~HOEN6ҵA/U[RC_ˢ_QUms o_UA!1x?on*C ZEtyyZF9ACTM?~:KZp6`6!4z#,&$wQ[9)v%wt;,TH28/bǕ^aȷA1܂U)ة.]a*u D{gٸĴnxmc,  NX0;[륟ߎ}GRD aV9&Q}6wԬ`s@LQyBjpN@}ۉ)v);c! F'f_'rѓūP(RݑlwdHtTPQrK6e` v\ NDYo|5T