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 MM   IOA:threads=6elapsed=7.473cpu=30.636gc=0.908factor=4.107zXZִF! C]ŗXf1-qN50^ ʕmy\5)NzPNzMr,HB1yD1Y*Z)^n1:dE뻂<6؞!dXp$b;L,YnwLy&{iEc5prF5A23!a&`zlJB}%o?2f8\FM;&0Sts ֏U~ ժH}[J.|&W't.x>G1-/kMXSQ)d&:K1 @v&DϢ;N ''ps3*^ɼC]g]2Nc'vh1똷FXgd8 %_ D{rUݧNгD$hcӏ%j)*n8&=ll>hK| JӥSPO=,D MR0"k/t̚m r-}Hfh+tPWiӱƏW7vLКEq6MB"Ab/JgHS78I3l@-ޭ4if EO[R'd?OWJ17[9a_b. Ić;lљ)Ɛ6 %l*b-"<ĹxN Q;iIqrαFԤ͸>J_[.dtAglX2BP#d2J_7Alh6%;BΛ{0x1y1  IOA+i$7; 5nIA.l42|7suU]XQGU@9mK (Fpx>L0D)t&ETԮW jf- i;$&4f$L{~C~ M`|5mENY3 x4<]ЮBm3cZ%b *6 24.AENqR 6ycpyVknlK6(qss 0o= ,eᐕSߕ4⩘*$WaWNխְRR/&/S6VPP$bv 5 BbzOf'˳7hhq9 vQM3W@r`]4Kq{bKjPhv>X"UIؤDŽݣZ I`[?XHc_Hakf"t;%.mSt" 8کEl@sѓo-9bv}P_ _е{W[. sKWpJ tɄ"BV N{y ^-tfTB`4}2Z-raD?\] 8rQmWNxȌygs2a9"TzÚH|ةh;dXZ7rrd)B` Qd ,rT]@R:!`TV V2 ygY(.ϫ(CB@}eFEQ4! e;@Np4fgJB3u99[IE a}:l{@[Tuy>6cv>cc*Wڻr5J\"ϵpt&Zy\h=/9I0#WE<_LuJ֫!)4p,H=w;TbD_Ͳ!3+M/f$@ B-Iq2}{7 AקpsNLg̘#k vC{V>ECMoV(?kcDUtA50~G~ff-Y,)@8A3C@L8)+ۼw7.BN8ؼ yc6I4UiYe<6h,&ח|ڪL!1`XCF_Y$ Ӏ7n8xߡo(˜ă5%=h|Z~@?$r|%X0=IB oaDxv2y =s_#պDP~"VޥjfJW1#S ŢQ(~Uy+*x3T;POAZ@=5z{q54IkY zhw -n ?`S]Qw٩ux Ccwr{ 3Se NkCw΄EZ~FCXnOvSU$5j!EBh;~xõ<ۅ ?ə1vssTds"׎m7)HYU[-,d_ˢYBEmE3GD~k[(7JL/Jc.nheGK+DiQ}<0ۆ/!GJ5KLTsHK QѼv|DLas'CڸBÛ_D&0d;ޮ#hi]U*_b$h+c%'9͙qCRxɜ0%ћap>(1@/;zRK-h؜\{׶lEL8Gho4Ddu=A=RK.Vx ji}c/Q(z8W33|?15\>IF90OLyEsW\CWS J*9iҜSt+Bl ǟ9Xd ІC7#i :(' w5f|Il-G@ePW69~dHf\(#G{4lHyW6DTԆ96hAWI>nRR0OO.}8T|_ x8Fr0!#𷜿sʭA] mN=6mMDUS/xS%(L) bgy?B@Vde]'}ov ~^*Y[m~GtD5ExU֊ѣXH}x?"@\z}ne;fr3SLFKXlz99Ռc[ƾ徝#ВJu=.-V8)g&m B8'#t`[Q ;tT E:Bd_B_ư.j%iZ=*:˥ϙ acvoZSTs=_AJ`ʒYeqg.E%8᳌FL x&ߢSځA- ?; (.'}`~! \S|qǦo3}M\1NTDVZ>h<.ĉ*E$T^ec  F<'+@ZscIwqPb.;d&RzƄBdmqSl?8/'~aIr@UϹ/UmO+3z_٠& ~Uп+'5|FTiw:)bl֧e5Mѽn겦8k 2279YP`7Z91FDtĺTu `)BBlv9V"'1F>a&(@ݧ$y`@,iCS}#od/ qabv+h`rQu^J"-Xf!0G-SlkJ'7*Z*|%geȏ`O=u؅ṟAkh },;1X*sb%MZ_DbJiA.&uy9Ea[pɱ뻑ùNUkۋ ֡;hR C\2sjI<