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 uu! , T ]/ NormByEval:threads=2elapsed=27.037cpu=45.688gc=1.220factor=1.697zXZִF! P]ŗXf1-/6vR[yK6Φ + ?+)82AN2mt:l# h2z<6Q.=?_0LA趆R`a[P765fDh>n9Dˈ,h"DaC8H t1xpֶN=0ik΁2;{'H|BWw w!/WFW43e}%"4 D3/S\S`01"RV~׸5px juubEH$"PѼ"AA-O2_Rw┃,WAV V`ui$Cz#2m6jݿī AW/BTC4Ux/iEҡ̐ q$˺/c$ uebS2`8hd|BTJ,J~sKT8EK^&8fS8PЗ;PtBb$kzF zî~u7S˂176A"<0@TN s[w-)q|q3@LPgYZ7zXZִF! D::name=NormByEval.NBEelapsed=10.881cpu=19.596gc=0.768>F[`]E-#%)}YZ7zXZִF! d]ŗXi%90ø-d ]q1 2(IeRk,< @^5I!N-p7mڝĆ 1 : (P }$Zx#rȓ#'"û/N˥z•{" ` I'c+핫zʙ"llB:YX( \Tl x,@+&9FLMEDt/w~r> n2 D3oN3 獥,բ7iE0- 1i$Z1'Jl ^}jP5@+::G@]  tǹͷ9qe0GcшVҫW%bQ%-)z鴷8%tfA eQW~ip, Xk&ZH-@7hr~NE" |eT"_\e{--FƮk†sYΕTj{9;%Oz2F6ݫt2ͻRn(>TwknİL746~M5R7N*IKߙٰP"7o.`|a8pWOSOqaEܼԵhڂ9M:ڭZa_v2NYf '|[5өbG0onB_#Zt(p +(^DǁtP鴲s sQ(]'3;EBI%酏/5"=`Cƅ/8mGr}+ 7&>4/j#<d?(zf|PYB@ruC7OڡC]#<5AXˀ eb`N3.bjUYUE8S"Eꀿ{l鰤f7,P l@-Ggf?O\w&v,veB#C\Yl!s儂)#v&#_mڀQCNs<+sN4͔x]eD:7BTVs+>slt-,tl+_zZec V̈́m6RRV<7]Rϟ2t{oZ]tA+LI r^8LƄ6 (hײzL`R^wzc27TtC/Z~j)!J dA(M͜Y 0uwK$K<Ɣ[%uQ聁 V6Q/5.o|&X-/l$KIk 5.hpV?x4lZZyU: ,YIV? DZAB(xE2ܸZWL]Sa}y,])j(o*)\Ǣknhbg-#T(7ٸOP?i$s^$9=#~fE;T $VvD'ǽ5 Mv5MbL>˯xR'yk;n l~@#  ]t[IekV'o)SFRo 7SeeDح zU