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  ] DT s/ DiskPaxos:threads=2elapsed=58.020cpu=83.708gc=1.232factor=1.447zXZִF! (]ŗXf1-/6vRZ3`ivF>qee#C nYCH6dQ1V$212렳 s-|%IGU>erCd:n# ?r e6&99`VVM .ݴi˸̖/:- n7)gՒ@ (ZVLCoI o"OX΍XB@Oj/?qI  >Fwa1)q!!p`&.48<rk\2v`Mk֡2X<4&*eSZBֿU m/{34fQmav{%%(Ks[:k 8gf>˷Vt Y*gp_:վ+mJI,og& -kI=7>aLvLHv1°I;QGepG=v?KS8+$7-ƁGnFڣjMdvB/mI<ߚ\Z.(Q!gYZ7zXZִF!  c]ŗXi%   DiskPaxos6T@Z5ES? ~[BEH_y/2_9խ!-BdBjs!:g0>{3~5qK})AN$܀V}qmw ,V_JQ@l" @6p|郈÷\(kڟм˒'5= Oq `˜w׭ңZVj׃=8Yѯ#4&AMQEZ*+2n#>\`iZb-@Ù); [اNb /~1XbA+?qp\G}ZieRmߖzKdo Z^2 LaNXji͂xn f 8Iw#͆7=oRKt'+8̾kn5XY14uShB3 ~X"Fku&)?by;Q ;x+)9 4hA}ȴu˄%V8Iܬު5Y LM7vN9HW^AR&aLfc{FdO,Mgz/龠4sbăPw>9Q+1M)1PI bL}$TK6koVI1$>ӪجM=^nJa2Ic_}hO mQujn^ 48>%id;@g)rIkOGHV]_@Z@6C(%XFsI\^X/B0ۇ` ԃ9>YT7&ŷQ3K* r!y՚ @'BvmbOGau܎ʛc‰Bͥ 9id][Jē}./ȃ@;_w^b),hǵڅd{y8rLn H%2R$4xvxZZIleԡWqNs_]C  t vōyD+sxߌW$C3Qmr|p{7 Cv8׊l"ktS]@(`*{3_pPI|۴՚%yLk͋ *i?b0ç?prOK)Er%Q[& #݅\+|@іߡ^:Pő,O&N!.m|:lnNz܅ozel, 8)\sH7swGZiq?7`k~1G};Ԛ͇3]  I^Bսʞ Lwo $!h<,V.N~HMmݭ9:Kb"R茠G L0Ȋ9 Fb'a5blǧ{ش0/`lYZp]g_Gn4q)L`+?u/r[-SKˠַ@R`>p̊;A>=0L˿R\=Mk]ws_VR,0`Ӳ$g[ؽ>| .劖[Ζ+:JI_hg gpog!k<=,Uxp.2CxMIu\"$M S 4Wc?)mO*^lݛq*Z]ύmfV v PcBݣL[6yo$k MY#jBnBvTtuN+ ̮Gw4ћli9