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 ((U1 d|d ] Separation_Algebra:threads=2elapsed=19.308cpu=32.352gc=1.700factor=1.687zXZִF! Pl]ŗXf1-/6vR[]]uRlindBkTi 3A \A~z[UqtV$ֹ:v Fq6 X5jdU5E@ޭXw?cQK/Q u_kEvOcu~!Q>1 =V OK>29 U||©{ o@lF#Ouj]82 2~ZAhUMnٶ¡)]BݐwLh)BnY& 7;%VÉpY?a_?q1L/`FĆ5OoӒnܦ8̜'&6mkNIL.'б[jzs "%JBhwR(P-(Ap?$YF*vrH!!Eg@\!vnb]AO"lnR9y0FtۉsU!ZSJ7(#Z..8#<ƛ8Y_gJ3k㔩j?Xh-DG|i-foe5jj*Hןq$)$9{\Nϒ]$XgYZ7zXZִF! ^8]ŗXiɟ1S:J'h?H6 #G7sx,'RB>6=Qش=a{6\qm-@ UD%-ImH '@J[O'm[r\ ĉa5u3`É)Xj=d諒c%4W|c mؿWbY\0\=P {ӆ=k6;ߢJZfzPQ ~\1}$|Uパ|i /U^D.| U ?8ѪK~`n 9fa!@gYZ7zXZִF! il]ŗXi%;уuD-yv8zq' 0T"mjc`lzՌYΤ*!Ǐ5{.B1X_ܱx*#!i}'ZUTo@\Wj٤&'C\ƕs5HA(Yn#<=ea|(:E\ob J(]ET"f' >ˠVc|BMvx}9KmPysK9e=Ozfފ7 <{LMz83אl^YKIo`uݬ%9yI=AmXnq1;|Tort"濈hK27GW}dtǗu:/3i-&$=n 0C|ݗU*9f[Ǖ6c z-X& rIUXei P5{sJrA๹c1y1$'QT? 37 BDۻ uaMgtL}D.jѳ>0Xߨ:{aa0| MyB&5G\Qbg`;;%M/T-[_MHIق].i+Ѻ,1P?Cހzd9$Yg{07gh&YBKļvc%44Y IG`O.W$+,=5 q6 wy--.~#X|hE=McOoû kNeGuwrҴWI"˾Y )_{WLSqLs_ޢow{g X }gYZ7648f9cf774c2d7e87e462573dfe625c63c890e079d8e835726df87c7b301a8f091eddccadfabbca f1715b405e31ccabbdc6fec58464e458364e7dc6 04e2628ece6af1d725778cf37e5368e06983deb5 1 Separation_Algebra