SQLite format 3@ .;  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 > L\d ]]]ZF:threads=6elapsed=12.175cpu=45.552gc=2.744factor=3.747zXZִF! _]ŗXf1-) enȈA XR„%n?67CD%A5;u3mQ)33Vxk9xS_M`P6DU^TNaYup杁?ղ]26/P"y\E^w"^.jx1&ڤcgYZ7zXZִF! %]ŗXiɟ 1FE`uɁ/0KfLVRPz %6xJ[x.6ЂjD+K(?Q$D-aEfERpyiZXkR?"^#X>qsO|,|̩q夑s`IQM,qnC=r-|\6Ҏ3=f+b†$H1.k<'!=4R*H8fQFdmXaY(i>ě^$^apd@[DB aiFACRV D7\8eN9#umr,` 1iApMQ[qSmv`wuC'T[g3st?J>@#ztJT3[{D5σtE=v=X?RJEJNfpU"m)j;5X o/}zIW3.OVe$(g5=5dgmcPd5C΁ 6gYZ7zXZִF! C9+]ŗXi%Jҋf>ޚq.nFtvjܵ1ߔ CNlL t,Xΰ.kh= F+ˌ6 Yh"H,jϘ :³rz]{gDA N E^ktZ{LF\'d~)s-צyRcNNv5͹Rk^^\ϸSOCf0 dOݤ[ Y dOD[ڱ<ܦ?0>b[s2 Gf\?)-(&@MͶfWߴa[aZBA - j˔lV陊7IG Wt)5/tX4EƬ%b>}wS7?]BrҲGFB [ cNm4,jc+JswCk*YnZ ޙ}f?!hl5P ?y % ,. hu2>1ҿ^vt4R[{ʪ3%(bwWgpw? }d“k;Ik(GOr"UjTtGK&Pr׈s]@Kd8!g/sOEFpȪݭxJg#pg#9]bA,>fB[Ֆ()?ٷpfRz,TϽxR?`љMQ\"dYgxYNkXY֎1rA9hKݨr'Xv85,?Ymcԍwe]OpdӾة ַƩ-l{j42%%l:F!(Q oncKE#ĮWS;f+7, w<,s`r//J"cH!FF.7&i΁#1 3P\(Q+eKyF||\|=޳K.  AޓzW3u2CGiE%Sh}L] :;KGBa_nj7('Ps*i=ſ[Sc "=2 hY#U^w&\{4؃: ]]%,0)>_[c̀o$ؐMJɗ4 BYlHa.l9ӓ[W 227o='tptբ?~J@|q/.D'+[ܡ^sly{x8vrXT|$pW p΁>b`ܐNBt^+*o` M@/= ]$gYZ90cb79334d23929b835062b53e76b2d6f9653cec62b46d030507eff717bda6aaba560c4c46c9bcf854a0718c4e4c4d7bde3f45eb0dcc7375f39c15ff  ZF