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 C <l ] pGCL:threads=2elapsed=36.537cpu=69.764gc=2.092factor=1.917zXZִF! ]ŗXf1-/6vR]uC)Y5aX%u[.C;mAH[\oa4+8(k)>ʬq[ۤ㪔+*^%!bvؗQb|=ilG'F/*/[ řT\tYQ;lٱSLEZ4$".{Md ÷%h>E>;CDG`]n Aia^'X_l(nzWODƸo_ l>c-XJe~zECLoczR"]+r2IƬEsQP6YWHQ5Ѝ  pGCL  @%%qMӸ=Qn &T7H\b&)f!8:)HeUQneAOOtbcr4HHZ-> S$dz;24TKAlN;N^Ӏ6%lZh+~!hI D)`}O1" h9l˸FS#QX 1Cv!/P5Wq/%v!qqܜKbT>yVwΉn_:BM=G$&W/OS60#X`_"?%gӕ-8oLJF+E<$׏c'F氒MR;NOHD$<_ z1ia+.~r5_).&1NAeVy#BFԩLƻD4ċe7l,*Ġ=3 XREZ 3j)*gYZ7zXZִF! Ҍ .]ŗXi%;HNa6G~tED9N2C_ۢӽ.+0JB)( lzX$`doƗd 奩(*?Rnk(p>X:VHOom5Ӿ-E&Pe#|,wsyif,ӂar#~hc3D&]_:(\ 1wZ窴[YYy?`_z`4-2f0oy{OY=uP!6 K2HQ8~ɢh;Ī0JP2n{kڞp`Uh ݇qHT4eK5F&!KL8k8Us͒u:)Z]2-)wط,4[#\f|ΈaBKU҇A cۺh3c E9N#vIkwud~icE4IsC&Tᢥ)qsg3ܬŸŎ9Q5MQ7;8HE1hj#ApYgA:+4|Of$uwڃ:{n-8jWT$ kf|zĕ˕~K"Kl;_e51u<؞5G3A3 LhtܼCNǶnr~CMMoB;p'e3Cfl~[eVL;{ pOx]PP}[ihjo "cluB`0#v$/Kvvt#7jKLBg*Ũ:w b7&!/|Pk7e%DeV$C4Do& =-OjBMƌAvxCZg`+M⼣$-SIҵ J:a[ zB'\K(SJ)ɤE,K^6=`ZU 7gE]T Rpǭz-`mc8,4]or*.rv -,z?Gv4zy(w,RBs3[D `. l%՗}SRxM ȧ|]+XIw2K~"Mu0bi/R&k+/5c9:uCϏE{X\THP?_[=䙈1mELeE%R@|r#rN{rEi < `dU!S!_1yߪB+?8bpOו Q8N>3""ϗ, 8@sML7Ko ȁ[lAocpO@Kc.ISO2ߵA^ek G,jU2h3 >-"Շ\@;D9?B& o:u[[A#G+Z7f{({ʹ>wة+mXsg/ύzyv){yf.4x Ǻ \FW[iBN-3.;]г  -* &V_G3ɲ+ \0 %Dͨ1 zn!ߞA; /jf !z7^}XzD̤C!4o;w>+'S_V`?$J?yr:/HLe/0:3G3F!=Ǹ,,ٓ)9!K3|Yu)YVJTlH\e O| FMcٙB?}}ǁnwϥBɅ!lj[B^ ª Nes-fcdE[xD)!^EYDPۀ -fmpUJdqc°ǣ0h. 3eB\mY^W#^(GLqa`yPIBif|޵<ӥ(I}z!~˰-HWZش*@Һaz gYZc3ff0d35552ba4d7d50ce7785889ac116ba38605a70f3b1dab78f27422c2c199c67ce3165c51f78c f87e99c2e2333d54a40f2ebcf261012b052e5e39 c382ccf41ab8971be7e30191e1f54a96cf9fa69e