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  R74 O HOL-Datatype_Examples:threads=6elapsed=95.484cpu=337.104gc=30.224factor=3.537zXZִF! Y]ŗXf1-q恈&!&ʁ'^ X'Mb;xM*:Pk2WCd\rKF71V`%fN G5kT*y*4(QO&)HRD^=Ae{:Bz3Х05,8%!1dD3jd{i#i!$@ǞD.']Q@SIUq5klp-sM U~ fε n–^.f"3[ZE0;i%O  m/Ӫax[Ry^ Du9[CW!N1Ю􁂞AK7,[;){DBsz?[_oȻ72o9GaGZpfQts/gHj1u[ߴn C?GMٜ{;E'"E{wE$|9_^ ţЃ㻪`@ *\THaF$H6" By@Zb.RR-]#9W_ w-|ܬY {+=d!^yb Ua G~ g0h)>|+ԟUqT$qC<1 gt'×"1I37 ;$}eȸnqq%צ!.fINj@5yd91r< {/\< $c6qzXb݆KWF;@@#t2%_CvtKt ݽRnO*R/?@gYZ7zXZִF! R]ŗXi%6z4a([k {_NwHj!s$$V!?^:Gsnº6?hqxE;cdszʛwk@Abd[CGu6/"C}s(.3)motu/24$"v==VU٣Qq9On7Z`P"OkĐw-~h?': ︜};g]S!(9[-1^Ice.Ne&a$BDd7ԇXQ@t[@ $%;- f9.")j_b%P},HqrR8cD3tci/IڸtWr~k=W\MNr8* P?gʒ&ϮVnf$a3zVkZ 7ڭ+ _۱Qb4S Θl i.yK~&uG l0OWdî@۵uȪ.LhI U*㍨P5o@ҎD0{p;K+˒r0em]떏Sן^@i5o{ыq: %9 )xkm}F*k.ΤIbV]Ipjf?uh6iq/mv+kF|P L p߮;ek4הa‚ʼ>_;m7žӣ~CN.8~yrfn%\ݼ}·ȄG ;Qk6~+dc?u 7?k&^"5@?4kx40ӎNTA=9vF|&n״uڦlMb!%dՑGևc(=롆b j- *OFA+D+W]԰E^XIa ct?r~gJRjOMRC}8%fSz5 kWVE@qJz.Rfiv#7i{?NX؝[<]\6lY6&r #w$m3D ۅDi[O…1+e[kr}| c /(qջw5#$#T; '-0Ir%DH+lf ps8֔¬kt5f$ Xy7-%9/?LwP)uџaXvTDtN, /N/dVa'#J;hYwG ˣ/GnW>5*)1RNۤ\YP58323Q5n3ߊQM -pnۉM:Ǒ Y(KsP%+k|֎$o^ă|a, sU7mrC;c9c)˫brS!T|ۊ$@'JM37L\a6 G)Dj-bHC exs $Ӈk\Av@ߕv0GG^x >﹄'wF+"m;U JG"i礗T$ّl+u`% +_Pޜ/R:lT0^h? vRQ&K8!>‚=yU/z|UGE+DYj2qÈre_@I(.nyP|41!0C 6Zѕr0p:yI.^EZVAޥs#7()DwpemB.)%g}H=QhsgЄMZ2n_kS@Ɩ3#&c_]Jsqu6nf;U l Op:$P|WM?LN:Z4D4Xíw—%# .1؝cV i>3PG(PBi2 pn HZ;8$l_}@ TS-`7i{rGB.kQˣec',RLOR}ΜwMc\*>.cŢ[趋, 6b-R*mLU4<;غS2۔몽 :5I5aޘ"?"S;{oK+يP=5H`>cDnIpfִՈX8:#k$|C;µEN[oz Mihk75AX#Xj'2zÕ߾#rReonY ˧NtR, ܧjBݴ7YEuNݨaB$?3grTraBK6F}՛OݢK$۔=o6g `;_ a1B#ҖPنfXPykh .JC=rIZ芪%C oV(%krx-07%<|0Ydm2%_BɐMօg4U2n] ,hmm*)B;IJ1#G-Ǩ"9J-[1֩Nӵ;V"ȋ$wtL?)QM_k/G><9IZYA֟:* 0vA6:Κ}%.[ep\ IGGhfMuגrz"wI_UΒsJ<=9r>0H'{RZ%a ηEe4BT ?ttʣ.c=puzDd_¨?/{5M퐹} fM;rj]tY"݀ÅJ/.S5ɼr Kʀh t?Vav(LI,m%:'{ $+7mrSWA9jVBkd!INĤa4C`}nx[Ľ*Vq͍k[@?ZdRɂiͰavV9G:j|ÿÝS'ۊ[lP6|hH֔8z@e@N.Glt O3Д_0}JmQ%H6FL^S$!72tލ&XϮY7tz$3"X`-,Nb߈ac$~wG+#EvXCqk* }-Rnfk`Mcs薆U4\F%*9 &L-ajWzE͈,sS.&}{!B&whV,]J\p¶YTa?G9a Q ;n*ץ^^Fwʈo+ \cÔţt3IGNB6 ;{p͋XBiT,r6z*3CFa֣`{Le{pU4|Ê'mdT'm$^` BNIcia\n.|{Zhv%YSRbޑື{4]P-+xa q핈> a 5k%ζ@v"<3}iKMSZ{ͽ)Ӷ>ޱ ֆB}鷜C}ދYo!d>Ȍ61DOpkGDRh}|#/Go{U.8錌aSm/aLKcG?rr6breR|s?R*P˵>qޒ1Ze}ЦL<PhnW^6= g08K"=ofGu঒ܘ6c:,I5R3jflQkshf=>+`%8Tˉf0/`?ZShM5e_ռǃ(mp~&"r1z❾e"EqF)*Xf'T5[b8-A2!W<_*u*W