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 2 $ ]S Lp:threads=2elapsed=39.168cpu=68.408gc=1.588factor=1.757zXZִF! !f]ŗXf1-/6vRZektZZ/BcHkIv[ W % 6:W.B-1sY%٤-ᦁܺz، +WA*jf{׳ E(wiYAzAKS=#ͯ 2UwО 43(NoӃ T`*zGo@1w|U3ge 3v4sEI}/C|`J`nGu,qbk4V`!5*q է>FXa`jݾT^2K*ϡ;\x$gIӎot68*jHHY} -F-{*}+AMg/E{Q@12fK 1b)wnE 61:NB"8j'JIkr3 i,\ {a[ 8qK$88T[>|= E\MeꟂͅM!o= `OL,F@jaK,.yf˴tVAٴ&2X+5jb@XsFF(!7,.+`pX;p[p^V?j8/]̽ǵŨ]A(ҰMB-q*M{M|A]d::1W~geɶ;6E9^5&;=~T9rM>]Ni#kK ֓7{qy5b0I7Ԇ9p.pD†V͊kQBF ko>sDWڿO۾拡2|(tw+] sjLCO\3cb'mXv°ހWtBdD3aS%y.2}M Osj쐐y$T C@E78yUkriW[%X~wӧȘa$i4W`l%϶ Nn-132b~oC:j<+ߣcz'׏Tk7!S=tG`}'dq2xfsVxl~P$NؙDt1ٞ \52fR>pvº5J7 ȃԘxDBbF=KpGx66w.Eb!1LՒ*ëf/SxgbGRH7,fwv:go՗Z[yusЈIC\D}è+3.pMd 6[@pt<0uNJP(bݩQq/HϝUa `).b67CgF; +g!ܵWO9;x{Ilm)x7+—NB9M=0! "35㖢eLsBvlw;e1|ȲP>EhR ǩM-|n1-SC"N7XGdNZ IF'DTysE_9N uh8叢Y̘ɯ Yom0t̼z'{hE7`ױN?^4SR|c_5 Ma`-mLP"ST(~_xvi]'t l~E {cTAa61̆*@@ ;Tb~hxҴJa&U_q3Ü> řS/d[A hן+zD5})`vݔX\ur%|5jg 3^뙷3O(/tHDЧҎMFѽ?ԗdFg@44B!kk!)ub;aPU^ZÄ<e vaK_9GAZF 5Cçcb=8g݃ W(*:Xi.6vf\":Ov%etwQ,ۆ7Q}\C{opbe+.F4_%]3DDTbSYgYZ56582c8fd639726f0157f5ca57213cd86db2cbce665af98eb5b604629a3a80f1bd6c88145ac43a21 27625c6a71bbe28fc0d93a17cd760af834a4e6e7 2369b8ce4e84580554195548d17ce55ba9cff784 6287b454d7db781d7a850744573e8a503c49bc9d