SQLite format 3@  - llB77#tableisabelle_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, "sources" TEXT, "input_heaps" TEXT, "output_heap" TEXT, "return_code" INTEGER, PRIMARY KEY (session_name))I]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info YY T s/ DiskPaxos:threads=2elapsed=41.088cpu=80.300gc=0.960factor=1.957zXZִF! щ#]ŗXf1-/6vRZ3`ivF>   DiskPaxosqee#C n./Gfɥ%jȻT~LsK1< gL8>T~?4GıH=-V{Du‘ynدB aB{{Z%3I{S2"a=mԸ;1(* yW)W"Vc|5jÒ.jw{l¾k7v ևWR:ciԏݗ[[V7lnQ_2lr%;c% e7N^Hnԗ8٭dڂm?LU0Bbݚ eVD&ۏsFz58o0TbXLs u~'ճSZ?:z{CHٓ #pxUYc˛n7v{艰o R.o1j!5b{u@cs'I#Cb\9vq( {DGdc'^Xd5>S`NLFxrIj 4*`a1g6AzLSM:җC[٩J/'z]۰aPnbz筗4{~39 wjz:ʢP)F0mE,D " n@9=ȝ- mmԨ w v,KNz_v?3""T02WxOKa} U^AcaZ8Cp _=QH #X2q1=޿ pSW0#~-D Q=v =ϒօ龗 ٠@r(HƠFc[l+ δ^&"TR#~vvyu(l7 @ A ,V5.Ї *֊5xЄ0w J `zPZLQG[.yѼCZJZP <%^{$&ԋa5Z'FnjΪDooݘ8, Z^&wfT4A:?'=Bƽmq M`F$QQ E30~%M O{:`wh/4|Dh)m" ! uso1˜jICnnOotINJV<*Uk^vxͳvƝLYX] Ù ~"5Gʤ:K>nLO}0Fʉ\:^"Imr8  Y ,vyԀƚ5->w%0Xk_Ԫ\ cCT(Wݭ'$dI?R%/ݗБmA%/:k-ސMo0Z]kUdX绂S8Ϯv[lwaS\si)ep*:Dy~ ȲIsZT`I&S.C۠z"H"؏SArWk0(4eNWkm/j %tB%2惋tɽc?9eW&Hٟvd LIc׳s7qq};a}|dHE5iX 7U@f9tSP٧!eāY^bN.T~>aS5uaJ؋~ /73 W!b[NJ2{v!X?Jb/,8],iGeHyo^Y|o).Иn,ޜƝ`YJ6()Kӆ-~μA4 -~<;ٺmiiS?SAM\Kcv*${M۾ʖ_D~&ѳu(pƆиpG["?28>DnFfhO{LH7C\9ȡ.E|y&nj M;D|JWKdA⢿tr,!>;n{11_QeZ nVd|<9:*WmBNlv\{IaM(MFY;Hy-[-J1]L[QtYG:_UM+?B#*k[>;nJL3E=$nr2iݑ z4/N8KwF5|Ij?mVrou/Zv/]@~GaW1iLgV/qs )l.%}sxT̍ð˾#`ǥ<0֟1 '_ qʠI\X4H*䋣:V 6xjiM1ו}h{f7=Gw6;I1ƒRbq*ۥm7Py96IxņYEJ}EVEs– rPŀ{* <~t0 Ұ:/yV@?og|95J%`̧>;mR; Y'w!hbZ1$bz:4ԞqXBt;$|6%t&·Gel,`,/ׂ0 xķCTUx(Y.Uub? 99U^fٱ{p{ptIA-WhFhSzeIgKguPgbaG{A?aZ ]R- /-:fu=*-XNfPׂ$)0Lr<4S5 fM-Y1r}EԫaAʖ߭Dڠ (rO#Z%߫qb lJÙ>u@ ACx&7PE=|F%y xW5m~btO OQ*kG c EN٫*dH-OC^WAk;Bv͵aoNř=:hcd=WbOo;a-铕Ln&W-۔SK/ʒ@3h6uѬoJ-4øBdnV8WҙԑcqP*L37Tl<9-^͟I:dF[C]Vj؊vfj/V(,k֌}MPX[@)+EySR$xkt]m!#O]s.gRAߺ&Y> q]Jt^"بw[[.gYZ7zXZִF! ]ŗXi%DQ҅ϟ*뉛T>ÁDNx5SM\ćI|= D%J4)LMf}*, 4kL2cG#4I|%Va+R.dh `WñVBq- BԬ-&z>[զixr{:oW>Ɏ "^kX$ڲ_Ğ]0i2>!I)U/ƫ>-CBrDx\GfV2 N  k`N{AOZX@ E%ҧ[Հ[m谱< %Av4;7;?0%}*/7y?Jvt'$0hYSۃXT:RIo֛LdfuC5t֍EԞ\l<]ݦpXkF]]wxr΅+:ܼWЫZL[ưSt%][IȈ{'=%gOVVٯP+k<ij_5VI)d)z`D~r_0wjj/ <5rs] Pm .{'xj52qf)jNt #m PD#7j"'x%Fjj}!.jl _'R~Pw'p(Nʔ}7%zV5Euqδv ;4 $mX jil5~IqP}e"Ld(ݔWւ|j-Ӂk!ʐ_[ X`oXik)u!P.%@msG".\ZG WQƭ2py)&)^@iꇵ~Bו7&HB+uT lrcd Ma~BtEMsMĹ>'DwPs=j<h,Yw9X; dS8X&x8qQliTvv`Xc%3~JwcrXǠih:,`D(ݧ{VN(-."zZp[4>"&\y+A>kJPPV'UkK%"O!xM8@Zi).tE lW?҅^n8窺N?Pq4f fK#q:i._d`K?},!ꉳXa+?Sư-X6H2SmC/p! ǥ!.}6Ps)F?J%ZIi#l5x3%09v^?҉&j,uXb?d#L\'߅UD+!fcBojoi' ^ͱyQ*I- ; IQaçE+^|[* qT*4HhIk.:驠n`.!g9F-I:*Vs];:3&CuYK%8f~hI"*<}(cYR'73֥WdB!sGeB`6W;,߆<֦Yo#^O֫%Xܠy;Ku/ _??*ZlFħ^;X|#raY?Fj0\Mq!ˢ݌C=~~5&6ku(廜ӈ4 .4z{t |3Qng̲683#|0EYxyvv FGB_<_)#*SB ~O0,lJY>NFGC ies|m:mX A2N$b*@kuq\~S 2_,Υ@=(vAuQ9ԛYϝmj6~;MvlWecP 5nwCAJ}Ó"tFb {Dcsbun}WҠjk:SBwEAOs}%%][ub?Zeo5cjvcѣgYZ04a43496bb242f13e354743173d0d2bc1fa7ebbc 0656abe3fdd4f4f6f193d53a89040a0ffeefb811 06e40270ba3acfef4e5002e0489f2b0b7986a3a4 09fa04c7b8476fa8c77b0c0ad42c6e9ca9c31389 0ae049394f15799fe308733fd40ab6470b4c9d43 1d9a9f7dc7edf38db5fc870652903059307b79b6 32b10e31779588b653adc058c327efb402a538b7 38a543d37ba34776e1d7ef875464f82e08164c78 3bcac56793b7c7950e37b3f428eb71e137d33280 46f7afc89931a2ddb63fc239d13b9f4a132af7b4 51a05f62c9853cfa902c72518302e03dc1df9d65 95ec0550ff2aa5b8e675bbdc0d1ee6e26360172f aadea86f7cb9f3ec835e34257674b727cde4ea38 b86421ee558301fabf796ec560da728b109d765d c2523bd3d6534ce2b5cadabe4178f914f00e45cd c5645ad5c40c76284175e9fca39ab6d593418635 ccab0e0433d2972ca6748e5896916dfb44aa8ca7 df58bbb0b2243d7e2e3825b8f01a1c36dcfc76e7 f06e9df332e58ff02a866853dd83e646c319b749 f31dee03bfffaf9ee50c063725fef2021dcd0f5d7df075489bbe200b6262e37edcd5270d19378d2e 9bfbf87d82e3125a825023e51521c6c0733cbb56