SQLite format 3 @ .
Y Y Q77Atableisabelle_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, "errors" BLOB, "sources" TEXT, "input_heaps" TEXT, "output_heap" TEXT, "return_code" INTEGER, PRIMARY KEY (session_name))I]7 indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info
C C 2)$T ]Refine_Monadic:threads=2elapsed=63.726cpu=114.100gc=5.664factor=1.797zXZ ִF ! FI] ŗXf1-q恈͐7ӺV/K!W8DNA'EU` 5%α;| Baș1$햁"}s)Qn*FlJ;
Lǫ,#AĶ]~ dDaڀ/v|<@\Y3k+g]9)_<$G1'qFO\0$WjJa-983˙Bu.{W,{4gPTnM&;-}+V^<2zd\d<9
kEϔ3F+ݣg"$&/` h<_CIM%*dFuF!n9"C+0ie>qtPhu& l= K1Цƭ2o&-DdhEM=+1PM eY1Hi_}db$la&(ryН Yͫ1i{{i5I_%hdna]=#G?y_|۟',p2^PI]b㰖u'e_*GNR@: i'%̆2oN@H7S{BQgĮt]SWzWe7 v{}N %/ 3H
vФN{G|0k!+lM.wlVZfܵtM4ASęqr"Dbwj#p\»d=6Ch~fQ(;ѽ.*G]k
"鰞-`
n8~iBxU2+:@ELx-i!J3pH")$:3Z;ɤ8G# 'IHAh 'mh*C|K ~@(,+)&W+KXl P q\ ^pKy,tcXXBQ hwF"72P/ttHdӔ_NQXC]7pSN=FR?.H"7[W6b}p8?&J rpvz |CSU墨c2zfXs[7%<-SJ]#btC@m61MA9=FHu@:7
jW>n?QW:!SMP+ҝu[@rQy1gdD(5,@yc:쟈-J?>ʞvyqЕWD)\1?ۖb({eWES9$Mz!>,zGXkr鉄xY ]R-u0tM6MffC
gٔD:ȍpwYM<``l&4SC3`CG73PyYܓFնwq=4 :H1ntt$g#/3AI
h/(³?%bx)j,צb89vD$@41w*wl z<ƒOV\&!tgL0w{ +;*X3Q7[O~)Ll+C9Q$QB;Sv2d{O`aɻlli25'ۄ
q:-ngqlX:yh9 `0V D㩱g YZ7zXZ ִF ! 7] ŗXi%+"v罯8[-1Zz4q[HIkwHmGU:sY*But_ҪՐHoɔjqv>W)~#K0@
QW+՞Ic@>).
߸p;
!wL21f-@;>TCnf +gǖV6?=4
{߸8SpIʗlմ+kOA+`|&+?Wg
e3Q7腮ReΌyûk6zo/M$P-1phbkG"BNn8EvqW]aY6Y1b: n]Ʊ/Vn}EYGN(PYiZZMm:xUFUzsW;p@,ݭBhT
gOfnIa]P|Fmz W_QS8Ա8,z1o$
d~¢rǸؗ&uq
8SPލ9ر~ 2YVlIj9IyՎ$tY֦;b \]Mj7_1v ֱn^H*l725{w}1qUF^$JYHEd;҉W]dtC^пF#< kVn" Nk/A¢d?54*1OF5m'rH4xbt@&hhLqYLjhS!Thӥrph0ۚVc1p`%aIJP 8S+J#+Kҟ&)S`5/ЎqJP4:O}R%at-1<;2=FXG7nYվ$UL&Ա?|vgW!O(j
-Se@XpTZHf?4o9Ǖ"4@ХarX<>Ec*@t!-rN~"7mX0GEhp@*FoTlJ%H NWo+PM.X6l{JZs7q }EG9E@
Xwkx6X&NCj,>snvSH˄j63b `}"[CX[/Ѿy9
U`Ddח$Ow~4ZZI(\N0$1L|!QR>i#0i5 h~ 8ЀϙBx=f+ClZp.ԣMUM5(L /Q M6dg@GRmM:;]X+Io5LP挊
VΎY5WՋl,E@
9+uPQ1Z:{BKзj8 y3Fh&M\5$oΥL7M{8$K?xdv1VTcbWkoO8R.R~pנFF&EppNkJ<ѧ}8~D>aip^L;<}&Ζ>!|#%Y`0Nq,:U
g6ݯ-?88| )NG#+PרP+b,Pӟ
'K3:ZTS93G.|2@!ɯG죐_&睴
B8VEMC*2
) Refine_Monadic JEBis7&7g49ב{,+W̪g]/I)oRUKyBuA#"$m M9} Yq'S_C9+.DCkL۔5jbH!#ZbZlt?IȀtec~oz9AVGlީNYhq0 ¯HҋS`<X7I:/f9K7Ng)e?\yr-=v
iJ!Arv54V7rL-D-aƥvhQ?%d^ơ[#p"\HOvUw bp-}n@zLӿ7B (Ӈ;