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 T! l , ]/ NormByEval:threads=2elapsed=25.872cpu=44.564gc=1.264factor=1.727zXZִF! bp]ŗXf1-/6vR[yK6Φ + ?+)82AN2mt:l# h78qMHDbA}`=V9شÐ."7ɘ)x#KS. VFQHBͯ2)-{tO2aL<0X5+hRE) (evڱD&| 7my5j9[? ۵םX^Ԝ C,k=w|eqS[?$5a Ux>M3Zf!ᗌן{q@e>nC& :ƙ1\^H0S& |c.nX\n9T-iIвS+qQ@Mw8d+eeJYʡ~9 6=,-Wk )t*RF%1~]+f𧎿mMЏ{R6WʵOpDT8=|FK? ?3Z"ǓP6)^^5E1UFh(`³ /H&+#w2d%XCe~h'#$q͸BdeWmpCAD L!lnU<=N Xed d1\f09@6шz#r-ʶ0tLOA? r,cÅ_@f6n`k<ƾztP /Y!vߴPXB7<̝>w$3[RW|Gzx)W¾~Hgq.nى-W?P.Ýlv<7N_U@jvjx S{ԉ=̳Dee~*ZFNS{/Nb{yy?}[BQ` ł8Y; /x>%@'>s.f6#kȻNED9I{XmR&:$^Uƥo.%Tb6+HA!lUpn5+(8Lx$-ǂ7AjIhrm9!Vwl'+͓6%I8NBIo!%{Z 5$,|0$Vi;BX98n (RQC]vzߤW oWutRgnDA%b+5[76hf|fPVWRB`ĘEkʼU.4Ce$ofy}9y)f $(ZS>9nQ+ƮZim^1lmӢ,f0>q/11oqk]p.U[NTc"N?qX{sr(RVOSү*K a0P3Q ]~U \\.?SrWxzUTxs+B[|%Hj QrdּbJd~ȢLYbOfJO{꽢Vu)V?f:+9(c%CwONgmO۫YSPYTAZ.#2[GS"nqc=fM959MfR lLWTJcy O݉ŵ}UQј)UiI[/rnN"ױe3vS_fGOH]3magS Ɓx1aCg+xo6u7aNrctM?5 >a?qXayHrnc\!E2*§PTtqH/`wrT&KmJfOTƟ׌^X^BZz{sےj^ F)n[de v#lm !@ʹ}FG;*G[ʆ*4\_.{T n&ՌG?"э-iNg bla{>o~;wA^Q7 e.VMqaC UK4d4Z 8<VnSyV1JtKGyaie5Н߯d$1>)/H^!`އ*ygYZ5ee54b60ad16aa4e5f03c36803f64a90dfa6399b8ae0489170ffa4e9aeecb054da5126bd23bcab2b a42132ca83816d0082ab6b716aea896bf4d99d0a  ! NormByEval