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  \+ $$ ]%]Simple_Firewall:threads=2elapsed=35.053cpu=65.160gc=3.188factor=1.867zXZִF! 4J]ŗXf1-/6vR[]~~;S0ɞtx?ۅ==0! Np[e QW)'&[]A"6gF0d N[ۼ ]Y*@Âc_h q3n=OrqޝXِKEFToEۍM6-dx{m:I=T VLXycXo-*vyĢ2p\1}qo}.ƚF zD 꺃1L:&bu?#;nkA>b>OA\W eof.EX!֩Wp!W=˥ [sKf6qDcoؤwM=T>͉ˡ$r2h: e tv1i5єp89bFǟ9OT'uxp0(_hÔB UDGlćx*j^昰 + Simple_FirewallD%7F~2 $H\Ia+aM'1T=j l'B}ϱB+_O gk'5O6:3ˣ׮-^HzR\B%ss0k.P'M%_\NTfkꨖݟ2cI碔?IZťd}vtǶҁyDa6:7_Xw:U3v:%$gSǞTY`O$Ş,$ f a|]l MT q2&>ۤ2LUnBxtvSod+&f$t@tHbsp|_}y0qKܧ!(x :avGRtJNΕS.@6q3F>:X5BIXm=D_#Ph悁gh!`o:l(i+᷒+}RV7KtZ{s ]t7㥛bHO-La2jn"YTȽ8Sz9 '$'GBxXd.}CV2d{rrPrdh.OI%/5|Ccv${oЪ-<$1Ob X+N X:xZ[YL"۩m FgYZ7zXZִF! w ]ŗXi%9(R6aMӲJArV( ^xֶTDkqu~GO\]o֝]VR 1`%0:)4yZ=!LFibaad-%-K*5Z,&X ;'Ɩ(*s~DDn01%HcM{0kfJ,%D:I*ÎGht N}D2]_ŪIetԇy%mܴ 9kjF(x3})ÓTfCp4."muH՜rqۗXڻBGIN0?$kK[l;_fN;<Mj^gB;{U@崏nSr[olvVl)3e2/m@2$v1..wS+:&=G"Pp ?dR=_  }.bՍĽ5z4+Y먔$>,F5}a_1\2nBo7娢,Qix"U-@n>Ts9:AvCǃpyrgҁ=/v, Puթ&/Ƞ z\ +و}q^'3L:/I&bʗEgTo$wj HuFf'AU7k8hA1MOW]6+hj ܤ!qx6jբ$zS?@чq?;gCLovq9ܰ}]+Rc[а 9$CDQ/AiiWr1NʋkWFmVqXt%9BI{lϾIO}quZAqML6uCjϿ$~d!?$߲ Ւ/7.S=~Jgh/7i3X΄nw}gƼ /Ċ)ceiXΈ-&b{2`x4]Uִ@v~c7,#(%7lAv gR lmK_28[{0A{|C$UxEb2kI ~,Qs(Bk~̓ϒcT>oFe/ٺn8& ^-$wyף|n 6P_ 67.gPm~9U(v{':⬰]4}!y9$KQ<%kQ}r+61AS"5$#I%9.\sW uÆR(L ;Jm $>*<>V8*< Q{JC3RƦ0B\"unWn0mrѲJjg3zr) =KWUdW>T<=t_JKiY Poԝ?|: 6J4[e)5|pvf}n`:vj<[ ѳI!ZܧXk^!kڞ4N,c"gR`e$MmZ,eRڣ7Q''1CHSsg`x)96زǦ.*yB҃_4ATrPu; 06L$42׹1LGC<ǖŦþ2&^? |"Iiɱti&/[*}Ρ2j&`X_Đ\)' H$3sUm7q97ӰYH6ҺdИhftv=ꀙ%i|\N`7h&Vij-R΀icZ9uo>l=. 0c)GW^:ф!216t,1'# Tȷ.;]: 3dUlRhA៓G鴍># "֤"ױgYZf18fd93f4c665623c9dddd2e420d03e1a1e6b2ac2722ec1bc2993f9863f5084b9ee07bd97dd3d36c 3f001195d7415da4b8cf06d884af4e156b801fea ab58c73c43072a722217713615f96ad2250391b9 14879ff0b74d00378f383fa5277c3a4a58e6f917 92bea6cf330f9a404baf42abe3b2a4ce1ba49982ae2c697adb8f76617366bcb28adae8034be20a30