SQLite format 3@ . YYQ77Atableisabelle_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]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info F#t ]/ Free-Groups:threads=2elapsed=104.742cpu=188.404gc=10.868factor=1.807zXZִF! [ ]ŗXf1-q恈͐7ӺV d>`;Gؽ8nt*q* .#lw gh,jkw`~%.J#6GF+KuZNY )O:($Bw${n8_Ĥ܁-At1b +m7Q'< cqvM #a$1 enj6ͣNŋ=I@ƌuLpYi%;N ݇%dSєn$6ܬi5nwX'kb_TmWrGL?Ț 4:`?Jyc$eXbd h#8;umG02K\=j9SIh9GJ q}WƚxM3D_]}Y+.[g@(m;=mΨdd1ApOz&]W"qQӁr\8=u+3Dݐ.p 4ߺ(OD9$ykkEŠwJ͊IjO#_[I0rv]ʏ= t7#F|\=E_6%t GolDf *aoSgoqYU{J+YN%_1\m]:]\BiUBb搴 MÚ_T~}dDn"{$  xsYq {fe$^"hEyz99~^F?SI0&Z uK㯯N,[Ot^LaB-|EaZgm<k/?5ٓvР8xwBT30zK1mpsRZ$;kϴ#obH%4ߴ0II3_$tExsƖ),c_ !ݦYᨇi |&DGsj؉L5iy8iΜi嵑0@,|$d|?Dɔ0LAiTN ^P W2{@_L4 ,`] A\s}c#ׄJpO--IyxI\IC{2-w!oz0vi\^P,Q lvUrhbVQ!$籠n<% "|[<2Of lU}{RϜv+T,KP{yQtP[xzal~irq*0 &∑T>l/;wŧ܌Vgbs@4efb•Xy,zL#Zә|.4 1OɝmOϦ3r/@5M2]t%o * %Lj QfH"FBhMgf{엜*\bxb ;Ȃ;e19* Rw9G2VaYN(oH՜#0,xɆH8w BM]uLl^@V=4@:Ezױِ 羻GZmU $u-V_*='&qaz/&;iݗeVB#%HI?\fNcrslj@T. .#*֌:EkfJ$@)yDW )klm:oy?0@bdUdEA,Ko$Fh zl T~DY9By↣g͒qfɮh2`q=YҰ|<%uI7 *7PޤdUGhg.\}Glyc- IxQ&cDPShe>z LA?_ʀRYP^l;g8گRS8!H6N09XޟƷgYZ7zXZִF! 5:]ŗXi%6.`BAӖ.\v?YzEjX bVa9/W1 5 4t,sⲪqE$sUCM[ӫR8]tr-46_0gl_꧱CM Xj XWE XMqN\\~ߕh SE+c?XGzߡ߿ s[ڿz&tHOg3s?ovW+O#:)eC!8wouʈ; M]UfZxOV' ^20_,F~7>yy{OX2FeYj9|I"?oAuܯ$_󔶯̝`?vl}O4Ҵԁ~8_ͮ0Տ9xM{D?zPP,v(o83XXaBm@BgӨay1KvR O-jOO xEN >L]- h=5'Fo{g, a˘C݇ xZFRx0fJ@0Y\&„7x͓^h {o4~mIoqp]9 aR4vx̿؋qh0uLvZ=_\JP΍, *!Xn;HVMI}9jೕć)hIM}F&| QDOkMyæ@ 6892w\xc*mU1&񃣺t}ט}UN7k#F1, TZJ!YQq<E/?UEOQG^/ޫeHcq7oLÖP[{GאRkC.M,|"4dczp4ǬhqhvQɄwIJ_SЦ5vE5ǨeI}0=Dm? E杪˒Uwa-CiŶ]tTBTŅ E8lA:agL$Y&Y3&7s- o;f!袟iG-Z_* xs(_zӭM1ww׮У;( :9*. df9zmb8nZ\\ $QjwOD"/dXN#ШKۈKëI4 \/ .(v \+fvvJ\+Gc2"vaM2p%@ y f6~"AӃS\N 蔋L$ˣ`_3SGu0fIցmрGKkIqD f"moh{_I|,Y$Kyo@7VTNS;2$'_p_-2vpJFQp̲,-I23&8R`] $TCcR qƉra.dڢ_IiZ?:]@+@rX A5f%2%˞hPے g/4Vpz eZcX.up)P 'Q"u8ن0c9 z+K\wPK|V ls;<<Ąlͭ8>ڳ@<ʫ3\1~F6l5\ 7K@xYOif] M$u-];oG]eLM R+73(&^`f炌|IeUNj (p ?"͠^w럍R0B:2,9f`:6L| δAߗNX2M{s-ZÊ]fcrpFS3`7?JF3Ye ygL#{:R´S~O \r{p1<1}q>f"@=Y$϶샣OGr;!=Y}WrwB h~k/`E1>yoͅ7Ri(EWghl8 0@vVAssL9p4TPcKEo"cqH&`#;Oup{d}Oȟ@Xoב)`)4̓9:ItQy(H퇵7OPBQ;*kx+Ev0:r0(-mc{SCZ:=N&}~Pok[J[A΋lC,Efm_$%BCͯi%pzW\8) ^pT{ւ:k ?h,Aj,'h 7U1%DEn|P[V{8+Ưi!y?K;̽2dFN|?(MžuwU3t<eN\dnY{8ez* , ɚvwy=4@Pvd:}`FBF5ۦJKaVE~ F zɵjKOTz/c1읷屝1er_PL;BHwnKǔ Ft +0ߕCkXm(iWɲ]?WܐqwSѝPG#La^otc:ܨ#6 ׮M,SI;=0zH|Me$`J+7kyCaAC,)TͿ]S _G/n'lG#a=4>F3>%׷ҿ)8 w.DjVzUM1\2҈ܶ&KJM$`c2uU# 'dZfWF(z&Ľ4\yU\;L3;rcaOp?l6Mos]Rr-5ղsQ@5$u9G+`ˮi }-KՎX:o71F㯊{W ;r=eR;.Om]lc\n^&u>=FZThz; 晌-Z.YX*T PR$%('Nsu'!qE|3Gכ8oOHDfnEaݕAlg6l>zJ)]$-/p28a6na"/ufxM RH|5S0q̞ *or Oܧ=$G˝q1Y)˩(h]Ԇp-".eW'!ϞQϹL8ݭF: WOnkCqLW9VH/̾M|CWyrOM ?yQ]A#q u,X̰:[uj`пNf=\}i+$D& Ze48{K7xi% |NEDBCx$|/P-YLXI䴡dROMrBN^n@[E戬M"pT1LPilվ~nv8Fo 2&紱C) ;G5a: ;H.z kq)![W(>vGb,]X TM+i p.**-Ɑ*yV-j]E`q|v'N"{