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  #,tt ]S]HOL-Algebra:threads=6elapsed=30.137cpu=137.212gc=9.612factor=4.557zXZִF! J]ŗXf1-q恈\T,rB I|2C;" FEIsmY}HI^ ,nR>8A>0눨7/ W(;" *]k[*U$0}+3(lLj$ s[ᳪo_)AOjXr7XJ|)Ê. ֔Ef<[gRpOi2͔hA\&8thYPA(C " vD 'ᰄ_$оvޠH8@pwR9>C6#bRR=ZUhM ¾`ٗ>Zl̹hx2l{8`jh(9KF=e"}1L5uZw2׸A %|VU]19XX[4YFԯ2)ȊDAō扢9/>D(|ƞtOhvt2LYvF;5Tu[ " %),LeUzoDB47rj{VсHDC k_SpLrћzGBS-K`6k]5_f)OgWUkZmPI+jcq WsHaο_e40$D/+RVlrݓvT]6L1լX(u g .XN )lAz[DБ(^y:;B~Q=ꝿ?2UXg  M`Ha UmpŇ+*AzRȽ'F9n{=gj.شŢ9e&>QfS +2/h}C/_"˦'Gpjfb_@yQAvfSI{I^$5x00u q?5lN\{舱t˛+r(cu huQI~eoʉX0&1v"XȈ3᥵MaX4oEzAbGu{қm1pr}9-'ł]cX`fE s9KP-*iul7٦2-\1 V7 V$3䋋V5{%V7PaGT =Nrqgq]ybfI6K<נX f˹iYIP!TXXL*@UZ/w!u[q',XOsͧ <8sRDB7Ţ@OEGHs(9NXVGkr~4j}&|;:gYZ7zXZִF! ]ŗXiɟ1`?#DaCu8 I~qF, p7ZX91R;.YMZZP&ͷ2 %" " ]htQ4r2'c!Ki[×rs7r`>1_eVBVV:  q ,= gWE*quRֺ$B<6 —mptفǾ{ 4a޺b4g%9]z;{jH"H 8rgYZ7zXZִF! Y 2]ŗXi%;y:k849l3Ƽ7_hZs/m|F}ay 7DU-5>/2 '^ؔ0 1rfץW(!a<цQ^`#M 7vXA˄].{!tgmQO[e"]Erڄi<@DM╵c,I{J֚G}O5(BHl_Gk 63Qy[8I%T>o6k=r?sN؏p,:tQ aOOjFEP"T)>7|'"WɠQ1QZU2 g!45Ds͘7NN/p@>rxStn$@/2&ɱO@:Y;B3} :@oBt&ˬjL&"`G4|PwyB'O$XGF;`frԜb E2MfޘOBBjEŻbd3G$YMm Iͬ:!\ #!pC5ei(:;:Dځy֛ƾ^M{.4Z10Y 0++hw\AΙAY}/(J3 >p /8#⊉bwP4dfǬ %uhKOWۡכּ4 TGot R,K Na{K@]]AaL3;4N׭[M2KiI;TpkC坠[`&]GtR$ͦ߇[`ig&g~32nj&j*V={-%tb~hMBܔ>ֲ[篡K@7f̤C@jU Ӣp=*|5hf.Pkq Ka_GXXYțX00"oآFHBpְjgQZ2U($pZ@Wwꢹ+ `:lzx?9+$;/%i:2U:|cZ})oe 1<5V-:_k ߂$BAr>-Xcsv`YϷ?kNv/OPGj/S­9WR>` >N{?į[7X O/ dz2Hz} s+%yN+{ē-!D :;TـgJULAWIWf!6iov4^*WK,)v)N [}E+D%Sz 2ԲO#,]T(j"O@ eG&D(JixŽ<>.tVIcQe+}F䥼?&!1' -OMIYE'^d7TB RIá?JR Vj&@֣̒I3q.V1'b!W(6OF  {(O@2;32Xo|<s >}/pZ3~h>IRL&(3R1g-cyd{x, =BU}ٹgkgͷj݌aF-?߶.%& |+JDW` - qELuqMwϠ $9N&iъ8{D a3Wҧ!{ Z)W g8?x nkր |-@UeVKS22 {Hs|yYEjdWzCnTFc:v! .RD .PFivji(Y#7+p[|| 8JڎgYZ1ffff39d32a16c59ccd9807b5e25d14690e126d5da36a99885b072ea1df6da1ecd17877fde202f52 bdf29acc00c9b494811f7778844336d9d406d3ec fc50af8af4747fe4fb2fbf997be512c5134346b4 982130482d32ab9f52fe75ca0ef4f9947fca3cad683623427087f5522da8f8afbc4c94987f01e870