SQLite format 3@ . BBh77otableisabelle_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 / lt ]% SDS_Impossibility:threads=2elapsed=56.223cpu=76.920gc=1.952factor=1.377zXZִF! 0]ŗXf1-/6vR[\NW,)IFCOt&; 2[Y Q'KBe2B,lPy+NZusE7}ݩŻ/fZx{ꆿ@;'˝yE_+e <2K{ / SDS_ImpossibilityA[t<6NmKaQSvC7Izi*>яQiqzii_=,wA@TkvMc-zi׏0KgYZ7zXZִF! YK]ŗXiɟբX LT9W"qP}G Eyٿ膨l_q)^Ts%Ȏf#v,/:gZ}YZ7zXZִF!  q]ŗXi%9#o#. H Kft]L b>BA$F݇ۢYj{tL@es#^{- AP.E4n? mM (jRçjZs~GaTŦ1 aPр [bUyWSbsviDJyRa5/, +fU8tڌ|ol X:%!oMں5K(# qpqѨ1O)Gl(Vœh[9Y E[aR,%Zcz9)P(= f*}ʲF1^KKI:[_=ܑLUyr^e6A6Y|X;i"ROQ8v3Z1v *Rcho?|^yǀվӓ f [Y"6aD27;Kv>,: nAǓ_H)1LqB^dV;5҅1KgY~9e܃w͘FJ\Z: 3e`?13"%~`1pN:k$ϗDLKY}_#] 5v ؋u" +¾'3^o?4 "4CTҲ|- 8Nџ0 [f N;7df7)GB+frndeP< (pJ r`vi;re Z:՘UND1Rl6uq@q:ђzR(|^ZdJ߹Q|ת r^)a--aH)j'VL GZ;HHDmv W]cXrV(a9Q#p íoȁ0f Z*&j#o i{ԥxkk ՕM TOeSgReAEq@^^$%rp jp"iaK hzڵ?9Άf`fĿ\FG?F:`)X^9DD\ivN6[R /YP7B`|lU쮝wvgsv1D[|~RҀu9+GUBܾDrDT3?wA9cBᙐwOE18հ^nC< )(@A&}_x0xZB # Q!JƕnV#BrrYcYHLI?Cbz-r7 ?|SCkt{ +ް.FaKRI|c;U Qb YyY1ɪz#|Pj łV>/ &r|8oO@+;1bH]l񫫞 "]|P_W8J7֏4Og&HOj!rdpZ3bU8[q9WE/-ugݧUԌ*-9mfr4jR%db݄݊lC$A/{S}vnn򽺐K3>ΐD3X|޳6| ,;ٿ4u'JM%?s T첸VdJKQt=K\aمQ P+yEDwբ`=Mx}{ xl0"P ӼBJHEC:_ U;6fÙlez6 ^O@iKBS҈ڸ/(4Lt Eэ գI phhtq\:&!w\:F—1DkjxFy}-0tR+C~ztŭzY1PDah翁bvb AF-lWj"L3msA62~%iϐҐk&y9xg5jۆ$Zj V3Xm9nHK- IHf[ $Gat 6e!GuԳxYkKĊ2+=ΌǞn!-ߓpz!CܒZ thvsbg>!;tU%Ki$ \AXZJֵIzpY~ ̾>"*Ԉ$?"ڗs?XP7Sw4HTATP:3a,OG!/A6ِ R7V&7 7Մ9ʑO3{ʣп,T.hPLkWvR$W塞M`I'.C{0{f,PWqV#((4tHy<%%owogYZe8a41caa4af39cd220896731a3060ef04da320b98ae0489170ffa4e9aeecb054da5126bd23bcab2b a42132ca83816d0082ab6b716aea896bf4d99d0a 4f980edf476e1d267841215178fca737808515ef 058f9ae2f545853b9ac66d3443f26d23073423d9 3b55858d967b6089609815dc2a2c0bad7178ef8e