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 I% , S MSO_Examples:threads=2elapsed=68.644cpu=133.012gc=4.240factor=1.947zXZִF! @]ŗXf1-/6vR[UWdT-]!"Cu"0Lm% QWp37JDLqqyhdt=€àXm2?{.m3ZqگN!wF9JoǍ^Iuѩ6|Gsʮgx&f9CFx5uųue%G`RXLY2( % MSO_Examplesw9 |GkŅ b2_꿗֓yEc x Qa_zxF@~)DM#Wh`±05zIlCJz0d&G-îDG,YJ( ۝S_;"r+Dl$Cx^1ނlB\)6O+&QZ wKu>E(VPBk"v_sDqy$$ƱgYZ7zXZִF! ; ]ŗXi%BׅݥM T)ڧoƔ*d,RtrQb E0;>~w3ZoM+]/?aV駗XW!y^,\߈a꺇IgYA;/D_}T Ww0! 2s~4mhFQiTv77Š)@wg`W"p έMg+# BsN*gmF{#pJz̜zY3u@ " AVk jb_"~B' Wd1JeH}sisU#e_Xi]?FQkYU=bŒT;:4:! M^}WNVģ>Q[γ2) :m>N3wj-ӃO,caݦ.WLQo^ߢw/t:1t8/*vd&\mR%Z aK1hqL2/:Ѭ=!Qdr.bIzuv:$ VTN2"@Aj3eU(ph_}XdV5glӞE%3׎e4%LZljI. Gh4)B\߲I0՞t'ŗm6!{ˠ 9ūV׵jk -{DI,6Ɍvo'_Jpw_} \vKd|ਟn=:[IP\t/.($l%L]_"lR{"Aa,y*MXx f:8V7*`Tyu+WabsVD(튵9c8I&#zaYqꚸx`xj1Z*1G)aVt<֑5JÞ6Zln1j - 9ʏI(Kl'>ֳ !x=QUgܘՅ=iL,"aFJyw{ w7 @? 3EVgI5f/ICJZ.&<*3cEm9BV)>E"c۩%*\8+<6\sζas"cլ(6JӆiT^`f/0e3s >{\Myp{9k$ _P)4="i=wf OhGm 6D{e1<H$Ts ǔRYC!SfAGnQBB{D*ڀ`u!,e=6N ௑5bρ  :_]i!$-KuJy*C C9ئ8Rn8zM1r (l>l_s7"ݤ:E0h[9» ACSc[iSRSl;;m&2Js\;֧I>nixZL;'ʼn8P%ڸGa" ͔&\`+l%v=m'VHh=ƒ}Pޮ *pF'{̂M7+*͊P(ʜMu\k7ev5<Pe U8F񽞃gډ+M@ ݔ!./rm$+96In7M`` ٠0./.a#:(:q ֿv.Kʕ|Y(Io&[Ki6v=F ZՎ2sqo) /eZ\-m4s8-0DZ@^tZ<!={,N.~sK0l 'SdRCk}1N% پ)=0=Ϗ{Rif4ڕcd4IsA 1,MYigH`Qiԝ/+ v" CZFQהpў>ۡ977Jح^ IF1fg]P{R*.g#w9OL#5Vq>EA+-Y&`KI9z mŽ{ZG8w ^Ŗa΋}x4]|ul&'#љ@hVjQ)Zf\Ƃ O^ Yu U1Fl''3/iaU!WX+Рw\6MJlFQW F_6řc0W0TrjOYK;SO.*Fذ6T,z;C9䟗LLGy@${,qVxDzj90, š'T޲&WQ} TЏlBXI2ƱgYZ470fbf3dfdc53fa804b2df04acae923c573bbcb8 67764ef3aff652c71ef813384afab8f7337e32b8 d60e6f1b237777f66e8532733c0c11e9c656e7a2d7fa8d30fbb7c9d01b0a5d1cefdb96c3b547d5e0 e6067cb86581d04d2141f63fe8f84315b3b63295 3f36a11d8c74ccb5219961f66c2ee8539a4707a9 5a2623f5711a78a07d14da18743e6e079cd8b60a