SQLite format 3@ - llB77#tableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "ml_statistics" BLOB, "task_statistics" 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 //6, SS Hermite:threads=2elapsed=74.594cpu=119.040gc=14.828factor=1.607zXZִF! YM]ŗXf1-/6vRZ*F"Q z/8չbAU<PYcD0{TՌl}^᳀(uҝukd{2G_ 7?yf%=XJb 0%mt @* aۉBRWg&zl0%s:?Yk܆6pGBWRFtF| C9m~^ Xt'2 r?dܠ(] U"4VS"ȁHEJ-q̀Ƀ])gXo!:·7HRمV%U _ʖjGTuUgɽ Y!][h5Roc(P=k0; T*9˾N} vap9{ye۸R+<'RA` c   Hermite9U%F.n3r5t)4ڤ̮՘5}A*9"i8X5 G?Ě!މ~cSgl}V KMjZ\@w 5ƞ,sx5)v\6hmRiYsdGlhV"?aYZ b6T0*C$hJG#P/==AH"oF_}ixrE[Ę;LhTpPTN[+jgl>H<7~|,-Th;BlIK+iR@m74S qA X-kc:zCm@8Nh9<|{y|2(-G'޹DdLp uZv bƩTybuAm1i|+|_t+ V$O@toncn\SnKm2E%'{w9 m›/Vn#=3(x)(7^PHRσcy񄈷"sxpKz=͵ę?9Gk}`kI]@I>uйzj^H Q̜ℑsOG¢o۳foxbgYZ7zXZִF! IH]ŗXi%HJeVQ_ZQoi]gY]ՠˍ4A0i~eD^EPc/6hWM8S^vR#7V])ncDzH0(|9wˆd" ʺ /)u zU1c-L[1WR>#YI뙈)Vހ*|Yx/)P(HnEDuJK2^|D~WkW6ak>9[b iw,l'Lq5j=exU0p ,JD ՗d)3mL3A*2ٲ$mxL l"Hw;A^친aoCHZ1G~Hr`C\,dR(ZgKǟ~$_0,5`E:+݊f*g;s"IuE$CWձ~}CXhT؋&,z;j>sFZ;_Ec"3'lѱUVɹKGa"M(( GpBv?fU teJ s8 K,)چSQ=#Ü QpiPvր_c{n1~7fYY,Ⓣ&k~k_81g7#abA Dz1p7 bI~^AQ\E%":?pPCA/i\Eop*RO/;Ci"ey-*{:HPwZfN3ʕ<|BqzQ]dRa>HLw؞VIX 8GǤh)\Dt#d5ŭt>_y+@x5FSʀQ$A`W^ОkJ!] u\%;$py)`(:)TXTBeМ 4US%@ eaЍ#d4JcPZQhZhIP>y: Ѹg? W^ k&Htv(3\Nj@'`i%UTl-ƇU>JRN?啚<'ǝRYZ?v p XX6!}zdg]0$-ZFq~hbKwg q{ yln*hy~>#tm@*Ɠl>3c˯C<)-4 :SwC ˵ O&T3,#/l6Jk! ƧőڦxAf O'VýK`i%%&6Gd`@$6'ǕrTrsEv=d;L='I˹P!hT^S\6D(YCsx6oa/(0c۵J|1ݖ$CI 9=MZ6kn  J݀]_%"D>)?.Re$C5̛xE[ҲӁB-8UQw`>(I[-G ֥DW?fm~>\ H]nZNXf!+%NЄ(+uWyBbGf~ Z/ph-W3h [xQ9ɃE7[V,RL42kdA.;?gϽy Xnyȳ7o_Bü1Y!*1" c,տ ,|r,إSGт'tpi'ޭcf{Q-q+~p0.24b 6yJm@K1!esSABi4LmD[J"0Q&HS%~pm]R>S-;{ m.Ic!OO%-cA$uݣ6r3aWAjgFtݖuV,Q@@H{KEdt5u%Y?~aNƏaYe !hrH*[NMrn#ޛm۝o'J{CMz{*hVK"$MK]  i"Q~Id@~Y!X]vt5FmG+[rV0,VhF'm% Qe|ߺ+j hҨsY Pҝ=ffy>[qZde-xZ[˖Ѽb1Er34/[F˽~3i)+JW1h65MKlu/LǮ*rSݱk /%qq.X2XNi=ڋ$Ǩ\+"ew:o0ےTlJR\SSRUGf*J]BB]0b!0sR/E`__gf_aYcČͺGjV항