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 MM0 $L$ ] Corec:threads=2elapsed=56.684cpu=82.524gc=5.508factor=1.467zXZִF! ]ŗXf1-)&$c)zaBcFeN};0Hw;j/aHAE$s OnLst/XQ2џO)>)2TuLSRx+c!1kɰ*?Q3˻BF|~L &jIYV!8茶J'{sy9$$֯ۚpY [+PS0Pآ⪃by?)%W!P#dTxE(,ܽ.&o3t<]qꦸkBAO,v;.Gɂ]`tahX2~pgqxCtQҏ?֩#KT ;6W\T27)K1k=wA<Ƒ\o$/R(V7<WoX^1KPz-gYZ7zXZִF! ]ŗXi%96بUS̥X%]nfH|VTd@^Km9S&j㉯o i}S Xc#I,8`dɼ 9\Y&r!7%i~Gҭ4AS?yڐT!еSa%hi3̒(3KR_:l] U\Ie@Cd/m4)$ }Hu{Rt#,/T-v9V[s(}t&$I=tin}צ"R -`{D R}!LefMHKs\®@'|!E3V":P*g CZ:Ԙx[TGn2;۱4&i3Ow#~$"C#+12~j?.o{^kZs0@vVf;q%Tl)V,j 9澕T3~Մ-M%/Iaq|݁MfaZ(ѿiκlo6c`,g*nfh`Q \Z6! ظvocYIot72+𷶢Z$ާdx|ۉL0gO3rq3Y۬+3= S-´b=Qk6Bj#m,R'}M; Z6 Vj{i(DLSQ?GG?q*;,̬eV&4Yǫ0;dH8f[:J[D[֪YmŃy匦>O; I3@adft6} ؅!?ػM"ZQHO.՗ņ,3ތxkoOrd,9P56)T:[l=1j0;șnAF2\v*#"lu!H.IcΟO*Kjtr Jʦ3x@v kq!XYpǎ<ƣt-aD]>ddRP<EUv_lq[/)Jz[A48rb5s/7)"pej<׿fep]"9a}) )N]1gH.RK;[-^v#E[-֘,zcGZ9W2n016eړlkBd&)4GQ*xhcԼ z12zCsq@v 8 ݳY .[7Y4RYXBq[0 #up[BRgΤQ;w4MH=^F~`wq:|hB㢸 c&jꭐ\UFW { fHƩz=g1W_Ǐ~3צǻ:L#* |/aq"ҺMXRw.} NOtGk,kprADɨu% ?e]& -FC=vC>h4嵯ӯH?*l2A%3i 8j*u ><h`Xt5!oDںȽi%9J96/@oDRuZod'/-Z/Sߕ$sD D-Su8Gy үgQBղokI,`wS2|fz)2 &pRC~ŋM6/7R>JB9}B"h?hsz^ֱgYZ81e67ff5c653d9e5fc3467d1a846459fb83c1e82ccf9b9418e9c76b5688e2dd3ccca778f920a9297 2b81ca4de31fb7c354e77106786e7248d054178d 3653d2dde4cafce91f7a86412f9a6c796dab12b3  Corec