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 l $ s/ DiskPaxos:threads=2elapsed=41.142cpu=80.088gc=1.092factor=1.957zXZִF! 9L]ŗXf1-/6vRZ3`ivF>qee#C n./Gfɥ%jȻT~LsENĬ˥㴇7 EE24 K.A(q֩}š30cm”;SVXlnMb   DiskPaxosY`(p\7jUY/+LJEz!RI4>NgV؍^cK::Nh ͂)F߹CŊuA{~h< YhY2>E tװBVYv8臜$/f._B8RqCm VM^vmԹXFa/xwn pkT ݑj.5*Aw*Da(KQEF+xqYe7p +[Jlv MzYS %_n[tK qaH+A畻0R1س/"u'54m_6mjp@kh{>&S!.nlhx@}yr]9iYڴq*l"^&P}"iz1n'au74:ԣso-z CIB+Noa{8dML3G,r,~<2\Xґd57KG,qSZ(PLOQՈ?9 c5ZW_c9\)w~뉝OٻjZw]YVDۊ2>w a?IEFGid L>1S*^Hq> <2a1IwQWFSGD9Cs &T(9i7#qvVʖ*]|ge`(U@{S-|~ZS3'8F(zWҴE䦢0OD-z7HVߍrh|\_%>X$̈=Ϋ"iV! }׎qV?&6NgqO5%~BU-S Zzz"2[tࠕIts%b2PO!KGYoOt@f|[ds#aԺ@$ oG}G( CTjBp.E!_ϗŮUGަKAA/˪R<G4< U\ЀQ ȋjS^xH9Ira*I2Yi6.6#A,) K 5OVCbx<ާf2BJ(I iw\ %?v@W%GEη.;3j`O mh̼"'ͤ!Zxc{.5@ÎP&w!]mEw⽆I7SoFT iGѦ ƅ :H>dkǥG0>UeoF" IZ0JIo.mz^|Df{/W >ˑ&ﺙT4N|6f]xTB W$MyK4Ř< 7應iCD._K=v`DSfM^$;A`c}FT q|n5 H3 ֳ.o;|]3UFM=q%ok)YQͫ 5BiWe9nE1re(?`8$=X[aԆPFR͓O<[ǼĪQ!y/ rZdl޳gx]١]4 IK홠mEKuiq|}ǽۆBe)}9/r'h Ǘq˾{Z r |Q 4s;'<;\`ȇHNk)#.~%>ܱh2J7{蚡bY0Crޓ>c=Vĝ"stHaNIh#c'za@qTGNAaL(I=,j_Eq_NJjʻ¥٩ʀ$#4@u2ZfӳHƖn<r7t|yЙ(2&qDcy q.kXB3C _o"nrW j͌{zrJ2`髞u2YFuU.h,Es]XdcG(M JW_*(7_x1*Oz$& Ff]y] GpH6#1N1!7"}i'G5NXVoЩ:Wk RFSYR t e%&2j][ TEUnkH [ ؇_- vmm{emXZs=#nNTӺ3qP{3ACÿ Hn4k7uUfَ.[*TgdWzC_?[q/1!XV6QhX諉䞍CI!ovί_{Ś5/yiC ۃ'G4l"mw v]`]S@ᡯcK[39s ueUi,.|?I n~%Tk钰0JЬLYm6@X[ POh^Kϫf `96>%@:l694ro-%>C`Kt'XO8!@ᄊ ^:.Y`ɁG3/n>K嫂 aav4غ<9Cx^jO]$l3dgO&8/8TW2Z\u'Ȫ5Ldι÷)6m~gc uJr6):)d'6bEnfrW.S+9&P- KϮ)ZGrL:Er `is$F*5S*ݕ|1d?0;,MV&ۈ/:u<4 @.n+}-Hu@S)@ב (MF1G0,GvD%CUf\zjw~y􅫩7WwgŘ!"Wn[ȑhhIqj$K W֐a)dO{OU*Hhm;wA*dvR 1$z{)iI&{TQ} J޷SĭX)2榵KLpcU%ξ1 G^sS}c_MXrcw^й3}WXuH=2[ 0`_zԤvHi%.d9Rm[]\VW-:tE"qKnI䧂UE} l8^EgYZ7zXZִF! A]ŗXi%;x\#4 l^J3) WӌJgZ4|;@3߽g_d\&iW<VSL{uPD(;{3ӡIĠb`C%*T&% cG7̴oPPB&Q'9,9Boj)mVUMZExK%iE[jvA(sؒD&A,YMck{-tߤ;^~orkmϕ"M_yn(4!'r%KcsWք6J拾SGPeg0s}c5u֊'Rg@NfY$f]19!{[zx|:/V&f\|B֒ͅǦԬ]խ~.%E?AK:+x#+&o8J,)G0<}OOvφ:[s nPd>mD'f,U̢M$s6ZgodǹS^mV(z ;CmK#2ښ'pĖO $]dz  aV-~UVpLd,$ vp]LFb;ꍬY6zF/lQTr`ŋI1]A\K9N<71+QA1+v&X<ԭttQ u}_hsT4DI{Ն<)1xR>7#@G1Ş%KgtULMn XX,"d!yœ ũ]hOޔ#\Fr`*.Ǣl@;z,bՇ' ׸ =pߨ5;fx ް4xm8VGiot X!;Gf8`}G#Zqŭ\:,\sCDs3 %% lm}*-Ǩ` eR2.UaNvr$`Ն4 c*i B.(ibOH_CFBg ٭QF/L`bx0%zgqnX2lZl>Ѿ !ǯap6`vYF/oK6 '''=pt!huPٲ BA" c`%S>4ip?9=`tmZLUSC)/FbreUJJZP7 ͹jK]NMIctIC(1|y Pvg+ڦPd kv4oGs8GK=Jeyk1#}*8B!JRܸ8 tUJjo$:-J/-wIR ]%>d/vH˄0gwa7%q:Dm&d6nbYiB@Mnn(v[?pfHݭ~T`q >p g~OUZ~-n/fm;ƐیQ1u*Yc!XjTryE5쨹}?@HVD6)$ɕ}{rVW09& 3^޹Db(-}ڃ:~d7:y/-C:AEeulgzU9}7lчyhZkOоb(P\[V&4E7B򲥐X >e&' וݽ%K^7ei ,g,ZR T*<]bUoQgO+H׼\9wA3qyUOEWA&l+֘l]D5.wa!}N _P_.0S. zYG,iu }(@ΐKOJףgYZ04a43496bb242f13e354743173d0d2bc1fa7ebbc 0656abe3fdd4f4f6f193d53a89040a0ffeefb811 09fa04c7b8476fa8c77b0c0ad42c6e9ca9c31389 0ae049394f15799fe308733fd40ab6470b4c9d43 1d9a9f7dc7edf38db5fc870652903059307b79b6 32b10e31779588b653adc058c327efb402a538b7 38a543d37ba34776e1d7ef875464f82e08164c78 3bcac56793b7c7950e37b3f428eb71e137d33280 46f7afc89931a2ddb63fc239d13b9f4a132af7b4 51a05f62c9853cfa902c72518302e03dc1df9d65 95ec0550ff2aa5b8e675bbdc0d1ee6e26360172f aadea86f7cb9f3ec835e34257674b727cde4ea38 b86421ee558301fabf796ec560da728b109d765d c2523bd3d6534ce2b5cadabe4178f914f00e45cd c5645ad5c40c76284175e9fca39ab6d593418635 ccab0e0433d2972ca6748e5896916dfb44aa8ca7 d1b248d492602f6555d3114a8296c78c7bea08d2 df58bbb0b2243d7e2e3825b8f01a1c36dcfc76e7 f06e9df332e58ff02a866853dd83e646c319b749 f31dee03bfffaf9ee50c063725fef2021dcd0f5d878527395436048d51bd6287a500d1cb05dc0aeb b7f78dc5556061cc8d808a0347899300b2842457