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 ) T< ]/ Card_Multisets:threads=4elapsed=8.396cpu=22.536gc=0.824factor=2.687zXZִF! B]ŗXf1-q恈͐7ӺV d>`;Gؽ8nt*q* .#lw gh,jm秉lzt3ᜀ]K6]K~>f[R8r8ђ[ώIj2LX+*`5:VNV@J-L;OpޔL\5X :>ؘ%ƥ'3ҙpkI=.Fz,>h{\;O\go9ϡZqVZ ѵkzQ?01S֟z59VnkD0ԡ 0ymSl}_^o~RTO$Bg(վPX(\'=2C{7a#d\_^h@ab}J*E|,+36=\gYZ7zXZִF! {]ŗXiɟ1˦rYsxgp9f閷V <$޻E] Mu0"KX+Į8jqP]hHnZ(yy|8:hThV2TgYZ7zXZִF! B]ŗXi%I o7FHFT^/5'}z)~YtSs{UMd/ld)c`o4 SCx 0]evr5k~y|6[mUnM=7hp1EJdAe*]9Go څB؆^5H^Gl'`6nB=QɆ}FXhQ"``ei.RBtWub/&q:4Wz2ec3`"$(;o pў8Qye1{$QvsD+C jlTE^g1J&W3*Sn5v4/-WMvQxxJCrdmbl~Xh1YPE% .u- rQߒ0r(c6 iiA|pd>Pj\S] *YM>$E,.E3@M,X=FvՕ[0{a)Ɏ1b.zjqoPYPVZ^"Q"}Bԛ!s츢( /`d4﫪o#Wmȭ >~Twۈ~X;`ŋӤ)I(Fzw[֐kۥy,Uiu+]}|2;dd:Ja4 MofW7-GS@9rޅѧX)ZH+"1Z:yiUqGFmꣻW1u,GtD 2Η*SbDz4%`&pXع%+6C%S ,QzTlo\uYM5'P`.+KL"G<ߣ0Y>vxψ`AoyPjdģm