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 AA,9 4D wS InformationFlowSlicing:threads=2elapsed=9.578cpu=18.364gc=0.908factor=1.927zXZִF! gT]ŗXf1-/6vRZ;׬S@à;@&% \CQa(?|HTĩ80Ta({$Y2"%&m;hcS!!ŕrbY$ļ1.L]{@B@c l=J(3v 9 InformationFlowSlicingYØl8zDhU6aO&fc G R7M!M/dגIcpPZ/M2|L9aH03ͽw΀LOiU5C02teM„|g z?sCPI@G?/wKS~~*ma4ie;dܺ;`nB`)rKXկ6 <~Ļx'k9<^zEu7u d ~޹Pߊtڈs|pq{f٭C:<\u7NuW; ؚIo' =+U潟DP3Ĵ̨o_XtXKnpP?_4m ,7%'8~UV+.*H|O|tLz;{7PW +VShw#t}ꓒI]ŖGxWBnIeEIG{e`  J1 ǩ,(Oߟyh& Ъ=ȮlWͅ).&K|ZX,L6-VMTqKAyd9S=b4 )8OuTъr'me[v~'ʬIEXꨚ&2>ygCJU,ˡ.(Q0&_x<_mGj ~c7Ƀ@M2&Q%hi2}>)ԦcCv z܈:t$Mq,Vr pa?_I/7$|uо TJafXwa$,BfB7 Q4Z߸pi4ϢT_Y۶U'7_h( E)ǟp"Hc'ޛ~t1 fiv[}er|?UVAsRV#OӪMcdw{uаU,N~㾐RnF!ƶ@AX{4zy_4#y~Q,nŏ(mtM>[}*f0J^R\Zx 8 35?c òE J!UڙA._BCnkzX߳MU+Wkbl/" &W;XO B.̋}s~~DlP!υqPiX +&ի P=ZP+[jA ȩ~=K=T.B=8a}KQsIy7f-JcaBe[=aQAעcwH@C! KVގ@ҝ1vyǃPC4o>X5+q_pJ;E# KxXG! $fg@7*˂;.@ɤ; hJ'@;qե\DFmKًj &ttT*e`?.Zm1x^ |$bX,s.dt!6Vq]ݿڦ5tG,gBxhOF*#M"Y'%,U ̠uPQRr.5 Չy[\gYZ7zXZִF! 8D]ŗXi%B׆Tq-i.}MF6m7GUl|ґ5%bb$ͮ:gOYG_A;h^VQv}.N.aEFZ=0UX+38]]uC"MWahkd4F.Df Y%=,[JLU"+V-*+sʰuG荆ic?0lC}lS 76YIb=r;QIg jHE~dJ9pO/%7^Ռ-Z-?'ϋ['jyH-\RFXvi&VC-9dF`9Es[ XwWŗKw>h `q3ր^F#E)h8LtО<^