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  i , s/ DiskPaxos:threads=2elapsed=57.260cpu=82.728gc=1.244factor=1.447zXZִF! *]ŗXf1-/6vRZ3`ivF>qee#C nYCH6dQ1V$21ΠwJC>mOOگ1 PyiM*9Bi3s:T}yift{}jhf4WTvˆO" v|{{'x)d>#FܙɼjEIU&OȿehQQԽ p(sHARRRGbKwK=|sUܖJ̌CzY+ݒ.fSzaw㜗“EΫj>~F_[2Z,CzQ;/@ϙF))6z!2_xn0g{@gblI2_=}(P cCDw}:<2N͂I*Qs\uQVG4H<ڹp]$ymz။Q nh2Ro#"BK͹ /B#Q 'B9dF 5ދsIND+{=t;èјif;rt l{h@Us^ "NR G.^GHN,"'WKC>qLJ2=J|eߤb5LyC/kh,²$ƣ jc2+%2]-}0*EdL"ugB>vzX7T?PKCOO!M}[ (qPY;/M@ODXqш-C>51 W9'< | 9Q[c,^r m:J?0>"],4w Oz.tm‘|BatኀjaUM -gYZ7zX   DiskPaxosZִF! 0 <]ŗXi%6{AM(Ӊ6 ._ l$/yH[ Cs'UbTOvpкJAM3f nSKxm=J7s3/E7K-)?[RqD=GCd<^Z_׸h, ˈ6}&W]vfD ʁ96+TԖM6戲`f 2Tb`del!Nr vZc4#6/KdDxXSj8)ynbv;5#99n2vNiCD;}68ڗT ި;!o$?/ ]xۏŹtR'\&Y4AH؄EšL*@ FB }Doy{Cjv=5K*ZhgW^ފ̎w1Sl*Io9q6~ߖES(c+YYx^Kv.scwL8UeҨtVȦlVZ3a^ Y&nyciVSZ0~#a[NP==cFVe+E^.sдsM$KIܰtkHt3cW`+l1ʥ֘v4I7q\ "%1*&IyRCݯQE~q,]uV滮?%qeIcqȘKc]I5%9<~0z_N_eT(FBb;|>s/ƞF^xDjBpG'9y=[ /LH=ːU]P{")h-.q_'^9EPbCiZfrBPXW[1sG+W5ZhdRgD76FF9LٜnέjlA,4hMX%sOlvj4^~:SQ(v4j8sF.R-(ԾЬ_̾slK\℄SsI Ud=.7zTIp pچa[eA;:}`pakʞ[JM'O v9롟:PQCF 3drgۻтU4d f.ρØK:ȮBjYZ}܈tzt[{^Rzl#bZ؜eX Y|l碬e̼[KI`jKizzwuziH vM4-GZ:xmg0 'Ĥޓw P`FDbB_K n>GzSJ9d{ڱ4] A&giEK6rLf5nGhr-2|1ŗU=p$6?+8Sswmj4s,flfLdifv*MSz6kZOA=ؙj_(] m]VXT%"ʟ $.w9sfڧ\󔼥Sk.wLv cRrsvG& ѵy2>>vUhJVunݒvX_pmֶf Әme)]F*.y Q$Eh>GˈG VP-Էysڧ Lo%fYR'm0BP rb\@2lۘ_n }2t#Q! r]BDI>%LuOOFdy˖isG!/^ntM{E:Ԛs[ iD(tϣfiXP{Dc5/M z5d!#-Ua!RI]o/^l2sw)6:-*|` \'E^ \Ϟ ;FY6;(97d©sdSshl@f%zBXr5+v}b ` 8cZeV0ibBWw/O\Tz\OY9xʿ@/_hXEH'V}כ .BjugQXn!_k zNܚ|S4}TSy *^3;c6gr #3jp}6%}/GX&ţ; !Yz_͓xP](n-D@|Vbw= aL| 06~xcujF`{ֱ]&J eM|bEm}E>߬H_>%^5,8RJwQ.MxUn{ͳ=_H?E /֦ ޿)inGgN[<,7`Sen!n4vB!:Wc